[next] [prev] [prev-tail] [tail] [up]

2.2.3 Integrals 201 to 300

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 10 9 8 15 41 8 8

N.S.

1 1.00 1.25 1.12 1.00 1.88 5.12 1.00 1.00

time (sec)

N/A 0.271 0.009 0.291 0.278 0.252 0.441 0.253 27.277

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 19 24 18 15 35 248 49 26

N.S.

1 0.53 0.67 0.50 0.42 0.97 6.89 1.36 0.72

time (sec)

N/A 0.232 0.046 0.684 0.280 0.264 21.850 0.254 26.930

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 23 9 10 15 12 16 8

N.S.

1 1.00 2.88 1.12 1.25 1.88 1.50 2.00 1.00

time (sec)

N/A 0.269 0.015 0.286 0.277 0.250 0.351 0.278 25.786

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 20 23 19 16 35 61 49 27

N.S.

1 0.54 0.62 0.51 0.43 0.95 1.65 1.32 0.73

time (sec)

N/A 0.237 0.046 0.603 0.314 0.253 0.835 0.260 26.541

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 14 0 13 61 26 13

N.S.

1 1.00 1.00 1.00 0.00 0.93 4.36 1.86 0.93

time (sec)

N/A 0.333 0.024 0.394 0.000 0.237 28.273 0.262 27.946

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 105 73 88 0 254 2608 110 2429

N.S.

1 1.00 0.70 0.84 0.00 2.42 24.84 1.05 23.13

time (sec)

N/A 0.442 0.150 0.529 0.000 0.277 53.367 0.269 29.122

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 31 34 30 29 45 143 62 242

N.S.

1 0.54 0.60 0.53 0.51 0.79 2.51 1.09 4.25

time (sec)

N/A 0.282 0.195 0.504 0.294 0.259 4.136 0.266 26.732

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 17 19 24 29 13

N.S.

1 1.00 1.00 0.93 1.13 1.27 1.60 1.93 0.87

time (sec)

N/A 0.245 0.045 0.444 0.289 0.241 0.417 0.265 26.059

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 51 47 44 40 228 0 58 1987

N.S.

1 1.04 0.96 0.90 0.82 4.65 0.00 1.18 40.55

time (sec)

N/A 0.285 0.562 0.576 0.293 0.290 0.000 0.273 27.565

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 15 13 14 0 12 56 22 13

N.S.

1 1.15 1.00 1.08 0.00 0.92 4.31 1.69 1.00

time (sec)

N/A 0.325 0.030 0.642 0.000 0.235 37.137 0.271 27.427

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 72 86 0 262 2035 93 1646

N.S.

1 1.00 0.72 0.86 0.00 2.62 20.35 0.93 16.46

time (sec)

N/A 0.417 0.142 0.576 0.000 0.257 110.014 0.268 30.621

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 33 31 29 28 45 520 62 249

N.S.

1 0.59 0.55 0.52 0.50 0.80 9.29 1.11 4.45

time (sec)

N/A 0.326 0.231 0.829 0.298 0.266 22.714 0.269 25.776

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 12 14 13 14 18 51 23 12

N.S.

1 0.86 1.00 0.93 1.00 1.29 3.64 1.64 0.86

time (sec)

N/A 0.254 0.013 0.767 0.302 0.250 0.436 0.257 26.724

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 51 47 46 42 255 0 70 1774

N.S.

1 1.04 0.96 0.94 0.86 5.20 0.00 1.43 36.20

time (sec)

N/A 0.306 0.568 0.876 0.298 0.275 0.000 0.277 28.666

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 79 98 106 0 318 0 125 1302

N.S.

1 1.07 1.32 1.43 0.00 4.30 0.00 1.69 17.59

time (sec)

N/A 0.599 0.604 0.562 0.000 0.628 0.000 0.278 28.612

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 85 102 90 0 332 0 110 463

N.S.

1 1.18 1.42 1.25 0.00 4.61 0.00 1.53 6.43

time (sec)

N/A 0.578 1.000 0.875 0.000 0.592 0.000 0.273 27.903

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

136 136 94 0 0 0 0 0 0

N.S.

1 1.00 0.69 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.349 0.218 0.000 0.000 0.000 0.000 0.000 0.000

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

95 95 88 0 0 0 0 0 0

N.S.

1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.271 0.156 0.000 0.000 0.000 0.000 0.000 0.000

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 120 246 271 257 257 461 316 422

N.S.

1 0.94 1.94 2.13 2.02 2.02 3.63 2.49 3.32

time (sec)

N/A 0.287 2.175 3.194 0.216 0.273 0.514 0.499 32.374

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 167 192 235 238 219 770 235 519

N.S.

1 1.04 1.19 1.46 1.48 1.36 4.78 1.46 3.22

time (sec)

N/A 0.431 2.218 2.365 0.222 0.259 0.414 0.385 28.246

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 89 156 167 172 155 267 187 248

N.S.

1 0.95 1.66 1.78 1.83 1.65 2.84 1.99 2.64

time (sec)

N/A 0.240 0.252 2.438 0.222 0.249 0.269 0.342 27.392

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 111 107 135 136 121 381 122 320

N.S.

1 1.03 0.99 1.25 1.26 1.12 3.53 1.13 2.96

time (sec)

N/A 0.304 0.213 1.698 0.233 0.249 0.197 0.305 27.992

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 56 81 75 84 77 117 91 104

N.S.

1 0.97 1.40 1.29 1.45 1.33 2.02 1.57 1.79

time (sec)

N/A 0.207 0.201 1.776 0.207 0.256 0.126 0.288 27.643

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 52 57 68 52 128 50 63

N.S.

1 1.00 0.95 1.04 1.24 0.95 2.33 0.91 1.15

time (sec)

N/A 0.198 0.052 0.809 0.217 0.244 0.094 0.271 25.830

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 46 23 24 23 31 24 38

N.S.

1 1.00 1.92 0.96 1.00 0.96 1.29 1.00 1.58

time (sec)

N/A 0.152 0.007 0.422 0.196 0.242 0.069 0.259 25.834

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 45 43 80 131 163 74 39

N.S.

1 1.00 0.96 0.91 1.70 2.79 3.47 1.57 0.83

time (sec)

N/A 0.206 0.040 0.638 0.301 0.250 2.923 0.301 28.704

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 32 21 21 57 0 20 47

N.S.

1 1.00 1.00 0.66 0.66 1.78 0.00 0.62 1.47

time (sec)

N/A 0.188 0.022 0.767 0.223 0.239 0.000 0.266 28.647

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 132 191 326 294 0 221 260

N.S.

1 1.00 1.28 1.85 3.17 2.85 0.00 2.15 2.52

time (sec)

N/A 0.327 0.225 0.973 0.323 0.270 0.000 0.311 31.504

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 85 64 85 217 0 50 222

N.S.

1 1.00 0.87 0.65 0.87 2.21 0.00 0.51 2.27

time (sec)

N/A 0.314 0.196 1.066 0.216 0.258 0.000 0.290 27.892

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 170 157 454 822 544 0 588 719

N.S.

1 1.09 1.01 2.91 5.27 3.49 0.00 3.77 4.61

time (sec)

N/A 0.466 1.032 2.222 0.325 0.288 0.000 0.346 32.328

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 165 182 125 174 441 0 118 470

N.S.

1 1.09 1.21 0.83 1.15 2.92 0.00 0.78 3.11

time (sec)

N/A 0.449 0.505 2.306 0.236 0.282 0.000 0.316 31.225

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

186 189 205 185 0 261 0 0 0

N.S.

1 1.02 1.10 0.99 0.00 1.40 0.00 0.00 0.00

time (sec)

N/A 0.562 1.433 1.365 0.000 0.108 0.000 0.000 0.000

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 131 256 250 0 247 0 0 0

N.S.

1 1.00 1.95 1.91 0.00 1.89 0.00 0.00 0.00

time (sec)

N/A 0.414 1.290 1.144 0.000 0.109 0.000 0.000 0.000

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 131 143 165 0 159 0 0 0

N.S.

1 1.00 1.09 1.26 0.00 1.21 0.00 0.00 0.00

time (sec)

N/A 0.422 1.119 1.084 0.000 0.089 0.000 0.000 0.000

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 268 163 0 163 0 0 0

N.S.

1 1.00 3.57 2.17 0.00 2.17 0.00 0.00 0.00

time (sec)

N/A 0.267 0.883 3.509 0.000 0.088 0.000 0.000 0.000

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 92 124 0 128 0 0 0

N.S.

1 1.00 1.23 1.65 0.00 1.71 0.00 0.00 0.00

time (sec)

N/A 0.278 0.211 0.997 0.000 0.080 0.000 0.000 0.000

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 219 232 0 278 0 0 0

N.S.

1 1.00 1.59 1.68 0.00 2.01 0.00 0.00 0.00

time (sec)

N/A 0.440 2.381 1.084 0.000 0.091 0.000 0.000 0.000

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 142 145 182 0 406 0 0 0

N.S.

1 1.00 1.02 1.28 0.00 2.86 0.00 0.00 0.00

time (sec)

N/A 0.412 1.424 1.046 0.000 0.105 0.000 0.000 0.000

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 207 277 297 0 552 0 0 0

N.S.

1 1.05 1.41 1.51 0.00 2.80 0.00 0.00 0.00

time (sec)

N/A 0.600 1.930 1.092 0.000 0.116 0.000 0.000 0.000

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

120 125 153 128 0 118 0 0 0

N.S.

1 1.04 1.28 1.07 0.00 0.98 0.00 0.00 0.00

time (sec)

N/A 0.489 0.455 1.134 0.000 0.089 0.000 0.000 0.000

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 199 174 0 111 0 0 0

N.S.

1 1.00 2.65 2.32 0.00 1.48 0.00 0.00 0.00

time (sec)

N/A 0.344 0.929 0.871 0.000 0.086 0.000 0.000 0.000

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

75 75 133 108 0 96 0 0 0

N.S.

1 1.00 1.77 1.44 0.00 1.28 0.00 0.00 0.00

time (sec)

N/A 0.335 0.501 1.046 0.000 0.085 0.000 0.000 0.000

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 184 112 0 63 0 0 0

N.S.

1 1.00 6.81 4.15 0.00 2.33 0.00 0.00 0.00

time (sec)

N/A 0.220 0.817 1.637 0.000 0.087 0.000 0.000 0.000

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

27 27 88 85 0 58 0 0 0

N.S.

1 1.00 3.26 3.15 0.00 2.15 0.00 0.00 0.00

time (sec)

N/A 0.219 0.193 1.336 0.000 0.087 0.000 0.000 0.000

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 190 162 0 158 0 0 0

N.S.

1 1.00 2.60 2.22 0.00 2.16 0.00 0.00 0.00

time (sec)

N/A 0.339 1.015 0.861 0.000 0.087 0.000 0.000 0.000

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

75 75 157 118 0 189 0 0 0

N.S.

1 1.00 2.09 1.57 0.00 2.52 0.00 0.00 0.00

time (sec)

N/A 0.337 0.627 0.865 0.000 0.089 0.000 0.000 0.000

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 123 224 205 0 264 0 0 0

N.S.

1 1.02 1.87 1.71 0.00 2.20 0.00 0.00 0.00

time (sec)

N/A 0.480 1.512 0.908 0.000 0.090 0.000 0.000 0.000

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 31 31 59 23 42 23 0

N.S.

1 1.00 0.97 0.97 1.84 0.72 1.31 0.72 0.00

time (sec)

N/A 0.186 0.102 0.642 0.329 0.240 0.131 0.321 0.000

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 19 132 17 36 52 84

N.S.

1 1.00 1.00 0.61 4.26 0.55 1.16 1.68 2.71

time (sec)

N/A 0.186 0.516 1.952 0.225 0.258 0.092 0.312 27.281

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 19 83 17 36 52 66

N.S.

1 1.00 1.00 0.61 2.68 0.55 1.16 1.68 2.13

time (sec)

N/A 0.184 0.268 1.927 0.227 0.257 0.085 0.280 26.299

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 19 69 17 36 52 44

N.S.

1 1.00 1.00 0.61 2.23 0.55 1.16 1.68 1.42

time (sec)

N/A 0.181 0.159 1.011 0.207 0.228 0.085 0.274 26.862

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 51 17 24 15 26 24 20

N.S.

1 1.00 1.96 0.65 0.92 0.58 1.00 0.92 0.77

time (sec)

N/A 0.150 0.007 0.434 0.232 0.238 0.072 0.266 26.904

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 29 19 29 17 31 21 25

N.S.

1 1.00 1.00 0.66 1.00 0.59 1.07 0.72 0.86

time (sec)

N/A 0.184 0.015 0.823 0.225 0.239 0.085 0.275 26.923

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 19 22 17 44 30 31

N.S.

1 1.00 1.00 0.61 0.71 0.55 1.42 0.97 1.00

time (sec)

N/A 0.183 0.020 0.820 0.211 0.239 0.079 0.268 27.303

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 19 29 17 44 36 68

N.S.

1 1.00 1.00 0.61 0.94 0.55 1.42 1.16 2.19

time (sec)

N/A 0.180 0.020 1.006 0.231 0.227 0.084 0.273 28.248

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 19 29 17 44 44 91

N.S.

1 1.00 1.00 0.61 0.94 0.55 1.42 1.42 2.94

time (sec)

N/A 0.180 0.414 1.007 0.227 0.238 0.086 0.291 27.705

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 32 28 51 17 0 17 35

N.S.

1 1.00 0.97 0.85 1.55 0.52 0.00 0.52 1.06

time (sec)

N/A 0.184 0.102 1.805 0.321 0.238 0.000 0.389 0.616

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 32 28 51 17 0 25 33

N.S.

1 1.00 0.97 0.85 1.55 0.52 0.00 0.76 1.00

time (sec)

N/A 0.182 0.069 0.787 0.323 0.240 0.000 0.276 28.239

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 30 20 51 17 0 25 0

N.S.

1 1.00 0.97 0.65 1.65 0.55 0.00 0.81 0.00

time (sec)

N/A 0.181 0.040 0.716 0.321 0.242 0.000 0.267 0.000

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 30 20 51 17 0 25 0

N.S.

1 1.00 0.97 0.65 1.65 0.55 0.00 0.81 0.00

time (sec)

N/A 0.183 0.048 0.730 0.331 0.237 0.000 0.260 0.000

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 32 28 51 17 0 65 0

N.S.

1 1.00 0.97 0.85 1.55 0.52 0.00 1.97 0.00

time (sec)

N/A 0.183 0.048 0.710 0.313 0.233 0.000 0.801 0.000

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 32 28 51 17 0 67 0

N.S.

1 1.00 0.97 0.85 1.55 0.52 0.00 2.03 0.00

time (sec)

N/A 0.185 0.047 0.824 0.326 0.251 0.000 0.666 0.000

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 172 303 164 204 166 308 178 272

N.S.

1 1.15 2.03 1.10 1.37 1.11 2.07 1.19 1.83

time (sec)

N/A 0.455 1.015 60.632 0.225 0.270 2.123 0.268 29.643

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 107 96 74 72 80 97 131 115

N.S.

1 1.07 0.96 0.74 0.72 0.80 0.97 1.31 1.15

time (sec)

N/A 0.542 0.273 17.590 0.327 0.265 1.189 0.286 28.716

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 95 123 74 95 85 122 86 126

N.S.

1 1.27 1.64 0.99 1.27 1.13 1.63 1.15 1.68

time (sec)

N/A 0.353 0.451 4.855 0.233 0.249 1.273 0.272 28.614

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 25 26 26 29 22 40 40

N.S.

1 1.00 0.93 0.96 0.96 1.07 0.81 1.48 1.48

time (sec)

N/A 0.262 0.044 1.513 0.314 0.243 0.353 0.260 29.288

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 16 14 25 24 34 37

N.S.

1 1.00 1.00 1.33 1.17 2.08 2.00 2.83 3.08

time (sec)

N/A 0.144 0.010 0.384 0.208 0.262 0.058 0.265 29.042

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 11 12 50 11 32 12 55

N.S.

1 1.00 1.00 1.09 4.55 1.00 2.91 1.09 5.00

time (sec)

N/A 0.219 0.007 0.551 0.303 0.283 0.134 0.260 31.001

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 77 344 92 0 308 0 94 604

N.S.

1 1.17 5.21 1.39 0.00 4.67 0.00 1.42 9.15

time (sec)

N/A 0.421 1.611 1.680 0.000 0.292 0.000 0.270 29.684

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 46 40 50 201 83 503 43 106

N.S.

1 0.90 0.78 0.98 3.94 1.63 9.86 0.84 2.08

time (sec)

N/A 0.291 0.210 6.999 0.314 0.254 1.061 0.267 29.630

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 182 2661 358 0 931 0 369 2782

N.S.

1 1.17 17.06 2.29 0.00 5.97 0.00 2.37 17.83

time (sec)

N/A 0.828 6.850 28.200 0.000 0.317 0.000 0.284 33.156

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 89 86 102 483 217 1719 91 541

N.S.

1 0.88 0.85 1.01 4.78 2.15 17.02 0.90 5.36

time (sec)

N/A 0.332 0.282 163.533 0.341 0.269 6.003 0.262 30.436

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 54 51 141 38 68 62 59

N.S.

1 1.00 1.80 1.70 4.70 1.27 2.27 2.07 1.97

time (sec)

N/A 0.257 0.044 8.766 0.224 0.259 1.978 0.267 29.073

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 64 32 28 61 44 20 20

N.S.

1 1.00 2.13 1.07 0.93 2.03 1.47 0.67 0.67

time (sec)

N/A 0.359 0.127 3.327 0.304 0.243 1.128 0.267 28.806

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 31 35 52 21 44 48 43

N.S.

1 1.00 1.72 1.94 2.89 1.17 2.44 2.67 2.39

time (sec)

N/A 0.243 0.024 1.643 0.220 0.254 1.200 0.275 28.301

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 14 15 14 28 10 14 14

N.S.

1 1.00 0.88 0.94 0.88 1.75 0.62 0.88 0.88

time (sec)

N/A 0.278 0.015 1.176 0.290 0.241 0.319 0.286 28.581

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 9 9 13 10 9 20 31 19

N.S.

1 0.69 0.69 1.00 0.77 0.69 1.54 2.38 1.46

time (sec)

N/A 0.137 0.001 0.317 0.225 0.241 0.061 0.272 30.081

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

5 5 16 6 31 5 17 22 21

N.S.

1 1.00 3.20 1.20 6.20 1.00 3.40 4.40 4.20

time (sec)

N/A 0.200 0.007 0.349 0.220 0.251 0.063 0.277 30.209

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 27 17 28 25 0 14 14

N.S.

1 1.00 1.93 1.21 2.00 1.79 0.00 1.00 1.00

time (sec)

N/A 0.221 0.025 0.592 0.305 0.233 0.000 0.276 30.143

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 34 17 64 20 301 45 41

N.S.

1 1.00 2.12 1.06 4.00 1.25 18.81 2.81 2.56

time (sec)

N/A 0.243 0.021 1.145 0.321 0.251 0.455 0.275 30.533

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 62 29 64 63 0 20 19

N.S.

1 1.00 2.38 1.12 2.46 2.42 0.00 0.77 0.73

time (sec)

N/A 0.288 0.066 2.801 0.305 0.246 0.000 0.257 31.757

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 39 23 92 35 1059 64 61

N.S.

1 1.00 1.77 1.05 4.18 1.59 48.14 2.91 2.77

time (sec)

N/A 0.248 0.044 6.852 0.307 0.246 1.660 0.267 30.561

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 173 143 167 188 292 308 169 174

N.S.

1 1.14 0.94 1.10 1.24 1.92 2.03 1.11 1.14

time (sec)

N/A 0.455 0.602 30.267 0.232 0.269 51.393 0.268 28.978

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 107 95 72 80 95 97 215 127

N.S.

1 1.06 0.94 0.71 0.79 0.94 0.96 2.13 1.26

time (sec)

N/A 0.558 0.293 10.311 0.298 0.242 16.150 0.268 29.139

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 98 79 80 87 128 124 86 82

N.S.

1 1.27 1.03 1.04 1.13 1.66 1.61 1.12 1.06

time (sec)

N/A 0.360 0.281 3.150 0.224 0.256 5.851 0.272 29.609

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 24 29 29 28 31 52 30

N.S.

1 1.00 0.83 1.00 1.00 0.97 1.07 1.79 1.03

time (sec)

N/A 0.272 0.165 1.115 0.317 0.244 1.135 0.278 30.308

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 30 16 15 27 24 15 27

N.S.

1 1.00 2.50 1.33 1.25 2.25 2.00 1.25 2.25

time (sec)

N/A 0.143 0.005 0.298 0.217 0.249 0.052 0.271 30.147

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 13 45 12 0 13 36

N.S.

1 1.00 1.00 1.08 3.75 1.00 0.00 1.08 3.00

time (sec)

N/A 0.223 0.032 0.535 0.308 0.250 0.000 0.264 30.744

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 72 71 86 0 307 0 107 440

N.S.

1 1.07 1.06 1.28 0.00 4.58 0.00 1.60 6.57

time (sec)

N/A 0.411 0.239 1.435 0.000 0.281 0.000 0.264 29.270

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 47 77 49 177 70 0 45 311

N.S.

1 0.94 1.54 0.98 3.54 1.40 0.00 0.90 6.22

time (sec)

N/A 0.294 0.194 5.556 0.313 0.282 0.000 0.249 28.501

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 179 150 197 0 878 0 282 3068

N.S.

1 1.13 0.94 1.24 0.00 5.52 0.00 1.77 19.30

time (sec)

N/A 0.832 0.414 20.358 0.000 0.308 0.000 0.270 33.917

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 87 138 107 497 166 0 93 538

N.S.

1 0.87 1.38 1.07 4.97 1.66 0.00 0.93 5.38

time (sec)

N/A 0.332 0.376 64.037 0.337 0.279 0.000 0.260 29.437

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 32 45 125 37 68 22 34

N.S.

1 1.00 1.14 1.61 4.46 1.32 2.43 0.79 1.21

time (sec)

N/A 0.255 0.072 1.439 0.218 0.241 131.279 0.264 27.529

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 31 56 36 44 20 16

N.S.

1 1.00 1.00 1.03 1.87 1.20 1.47 0.67 0.53

time (sec)

N/A 0.366 0.055 1.664 0.295 0.241 34.608 0.255 27.681

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 32 46 22 46 18 25

N.S.

1 1.00 1.00 1.60 2.30 1.10 2.30 0.90 1.25

time (sec)

N/A 0.247 0.044 0.986 0.215 0.247 8.997 0.252 28.133

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 12 15 16 16 17 12 10

N.S.

1 1.00 0.75 0.94 1.00 1.00 1.06 0.75 0.62

time (sec)

N/A 0.288 0.027 0.924 0.299 0.249 1.487 0.271 27.546

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

9 9 23 13 12 7 20 11 19

N.S.

1 1.00 2.56 1.44 1.33 0.78 2.22 1.22 2.11

time (sec)

N/A 0.136 0.003 0.287 0.231 0.252 0.049 0.268 27.419

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

7 7 9 8 14 9 0 7 9

N.S.

1 1.00 1.29 1.14 2.00 1.29 0.00 1.00 1.29

time (sec)

N/A 0.208 0.016 0.423 0.334 0.245 0.000 0.262 29.578

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 12 15 23 18 0 10 10

N.S.

1 1.00 0.86 1.07 1.64 1.29 0.00 0.71 0.71

time (sec)

N/A 0.229 0.015 0.464 0.322 0.254 0.000 0.259 28.429

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 18 15 28 21 0 14 18

N.S.

1 1.00 1.29 1.07 2.00 1.50 0.00 1.00 1.29

time (sec)

N/A 0.251 0.016 0.806 0.326 0.250 0.000 0.253 29.133

[next] [prev] [prev-tail] [front] [up]