[next] [tail] [up]

Integrals 1 to 100

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 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B B B B B B B

verified

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

size

212 189 261 574 1022 504 1158 3637 757 1195

N.S.

1 0.89 1.23 2.71 4.82 2.38 5.46 17.16 3.57 5.64

time (sec)

N/A 0.435 0.260 1.483 0.065 0.133 3.785 0.309 0.238 27.203

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B B B B B B B

verified

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

size

180 165 217 396 671 370 850 2418 541 638

N.S.

1 0.92 1.21 2.20 3.73 2.06 4.72 13.43 3.01 3.54

time (sec)

N/A 0.410 0.181 1.260 0.052 0.101 2.504 0.283 0.204 26.501

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A B B B B

verified

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

size

140 137 181 206 361 226 498 1254 326 282

N.S.

1 0.98 1.29 1.47 2.58 1.61 3.56 8.96 2.33 2.01

time (sec)

N/A 0.369 0.272 1.116 0.042 0.089 1.513 0.236 0.244 26.197

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B B B B

verified

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

size

81 77 70 108 144 127 253 627 181 126

N.S.

1 0.95 0.86 1.33 1.78 1.57 3.12 7.74 2.23 1.56

time (sec)

N/A 0.255 0.037 1.027 0.036 0.082 0.943 0.199 0.208 26.502

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

133 126 164 417 241 0 0 0 101 0

N.S.

1 0.95 1.23 3.14 1.81 0.00 0.00 0.00 0.76 0.00

time (sec)

N/A 0.673 0.140 2.937 0.100 0.000 0.000 0.000 0.205 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

142 134 175 370 0 0 0 0 449 0

N.S.

1 0.94 1.23 2.61 0.00 0.00 0.00 0.00 3.16 0.00

time (sec)

N/A 0.512 0.179 2.986 0.000 0.000 0.000 0.000 0.204 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B A B B B A B B

verified

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

size

85 72 208 153 570 177 384 134 335 197

N.S.

1 0.85 2.45 1.80 6.71 2.08 4.52 1.58 3.94 2.32

time (sec)

N/A 0.287 0.187 1.353 0.054 0.082 2.298 0.216 0.200 27.159

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B B B A B B

verified

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

size

173 136 187 279 933 363 629 270 894 361

N.S.

1 0.79 1.08 1.61 5.39 2.10 3.64 1.56 5.17 2.09

time (sec)

N/A 0.350 0.407 1.501 0.070 0.083 4.150 0.268 0.201 27.821

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B B B A B B

verified

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

size

269 201 210 390 1386 602 928 426 954 590

N.S.

1 0.75 0.78 1.45 5.15 2.24 3.45 1.58 3.55 2.19

time (sec)

N/A 0.423 0.489 2.093 0.097 0.092 6.895 0.336 0.196 28.155

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B B A B B B B

verified

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

size

423 375 429 925 1789 724 1727 4746 1036 2473

N.S.

1 0.89 1.01 2.19 4.23 1.71 4.08 11.22 2.45 5.85

time (sec)

N/A 0.622 0.400 1.764 0.084 0.211 6.069 0.355 0.205 27.930

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A B B B B

verified

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

size

337 301 362 636 1200 534 1266 3144 754 1287

N.S.

1 0.89 1.07 1.89 3.56 1.58 3.76 9.33 2.24 3.82

time (sec)

N/A 0.539 0.281 1.520 0.072 0.132 3.484 0.317 0.209 27.254

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A B B B B

verified

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

size

239 227 216 396 671 367 850 1975 545 636

N.S.

1 0.95 0.90 1.66 2.81 1.54 3.56 8.26 2.28 2.66

time (sec)

N/A 0.421 0.209 1.286 0.053 0.141 2.299 0.281 0.205 26.626

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B B B B B B

verified

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

size

118 105 97 206 280 223 491 1056 268 290

N.S.

1 0.89 0.82 1.75 2.37 1.89 4.16 8.95 2.27 2.46

time (sec)

N/A 0.289 0.043 1.184 0.041 0.089 1.344 0.237 0.195 26.442

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

276 307 252 698 518 0 0 0 191 0

N.S.

1 1.11 0.91 2.53 1.88 0.00 0.00 0.00 0.69 0.00

time (sec)

N/A 0.925 0.215 3.183 0.106 0.000 0.000 0.000 0.189 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

247 223 221 568 992 0 0 0 753 0

N.S.

1 0.90 0.89 2.30 4.02 0.00 0.00 0.00 3.05 0.00

time (sec)

N/A 0.523 0.259 3.061 0.112 0.000 0.000 0.000 0.207 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

230 203 244 522 0 0 0 0 1318 0

N.S.

1 0.88 1.06 2.27 0.00 0.00 0.00 0.00 5.73 0.00

time (sec)

N/A 0.762 0.349 3.106 0.000 0.000 0.000 0.000 0.219 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B B B B B A B B

verified

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

size

89 74 315 185 1515 271 614 140 534 423

N.S.

1 0.83 3.54 2.08 17.02 3.04 6.90 1.57 6.00 4.75

time (sec)

N/A 0.312 0.371 1.645 0.099 0.093 9.795 0.279 0.188 28.258

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B A B B B A B B

verified

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

size

181 138 454 319 2218 510 928 282 1274 647

N.S.

1 0.76 2.51 1.76 12.25 2.82 5.13 1.56 7.04 3.57

time (sec)

N/A 0.369 0.418 2.211 0.138 0.091 18.930 0.350 0.217 28.885

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B B B A B B

verified

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

size

281 205 344 430 3029 807 1300 444 1323 941

N.S.

1 0.73 1.22 1.53 10.78 2.87 4.63 1.58 4.71 3.35

time (sec)

N/A 0.427 0.935 2.311 0.184 0.099 41.371 0.376 0.267 29.824

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B B B B B B B

verified

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

size

457 401 586 1194 2637 912 2161 5520 1347 4347

N.S.

1 0.88 1.28 2.61 5.77 2.00 4.73 12.08 2.95 9.51

time (sec)

N/A 0.661 0.681 2.127 0.102 0.312 9.198 0.429 0.255 29.202

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B B B B B B B

verified

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

size

371 327 429 925 1789 722 1727 4110 1040 2465

N.S.

1 0.88 1.16 2.49 4.82 1.95 4.65 11.08 2.80 6.64

time (sec)

N/A 0.562 0.378 1.679 0.083 0.194 5.844 0.364 0.252 28.411

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B B A B B B B

verified

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

size

271 253 261 568 1022 502 1158 2589 703 1192

N.S.

1 0.93 0.96 2.10 3.77 1.85 4.27 9.55 2.59 4.40

time (sec)

N/A 0.445 0.232 1.441 0.062 0.146 3.535 0.303 0.205 27.976

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B B B B B B B

verified

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

size

149 129 120 314 439 322 706 1506 477 566

N.S.

1 0.87 0.81 2.11 2.95 2.16 4.74 10.11 3.20 3.80

time (sec)

N/A 0.311 0.065 1.244 0.044 0.096 1.976 0.270 0.201 27.080

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

356 462 352 1086 850 0 0 0 295 0

N.S.

1 1.30 0.99 3.05 2.39 0.00 0.00 0.00 0.83 0.00

time (sec)

N/A 1.306 0.309 3.314 0.113 0.000 0.000 0.000 0.216 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

373 326 374 863 1501 0 0 0 1084 0

N.S.

1 0.87 1.00 2.31 4.02 0.00 0.00 0.00 2.91 0.00

time (sec)

N/A 0.609 0.436 3.302 0.117 0.000 0.000 0.000 0.233 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

345 293 314 732 2302 0 0 0 0 0

N.S.

1 0.85 0.91 2.12 6.67 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.587 0.438 3.217 0.166 0.000 0.000 0.000 0.236 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

310 270 308 685 0 0 0 0 0 0

N.S.

1 0.87 0.99 2.21 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.001 0.493 3.256 0.000 0.000 0.000 0.000 0.378 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

89 74 427 185 3107 355 0 140 727 780

N.S.

1 0.83 4.80 2.08 34.91 3.99 0.00 1.57 8.17 8.76

time (sec)

N/A 0.320 0.538 2.145 0.177 0.086 0.000 0.393 0.194 29.163

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

181 138 608 357 4218 644 0 282 1647 1053

N.S.

1 0.76 3.36 1.97 23.30 3.56 0.00 1.56 9.10 5.82

time (sec)

N/A 0.373 0.616 2.264 0.249 0.136 0.000 0.394 0.226 30.184

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

281 205 642 481 5524 991 0 444 1696 1396

N.S.

1 0.73 2.28 1.71 19.66 3.53 0.00 1.58 6.04 4.97

time (sec)

N/A 0.433 1.093 2.948 0.354 0.104 0.000 0.443 0.215 31.986

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

252 298 354 1105 790 0 0 3552 298 0

N.S.

1 1.18 1.40 4.38 3.13 0.00 0.00 14.10 1.18 0.00

time (sec)

N/A 0.726 0.332 3.352 0.115 0.000 0.000 66.588 0.230 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

198 225 254 657 477 0 0 2364 195 0

N.S.

1 1.14 1.28 3.32 2.41 0.00 0.00 11.94 0.98 0.00

time (sec)

N/A 0.577 0.208 3.199 0.099 0.000 0.000 55.507 0.215 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

125 145 162 332 221 0 0 1230 105 0

N.S.

1 1.16 1.30 2.66 1.77 0.00 0.00 9.84 0.84 0.00

time (sec)

N/A 0.426 0.127 2.961 0.099 0.000 0.000 43.187 0.203 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

81 81 95 146 0 0 0 617 45 0

N.S.

1 1.00 1.17 1.80 0.00 0.00 0.00 7.62 0.56 0.00

time (sec)

N/A 0.542 0.047 2.846 0.000 0.000 0.000 36.838 0.186 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A B A B B B B

verified

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

size

44 44 207 72 172 60 170 104 56 69

N.S.

1 1.00 4.70 1.64 3.91 1.36 3.86 2.36 1.27 1.57

time (sec)

N/A 0.302 0.135 1.389 0.040 0.074 0.303 0.133 0.192 27.498

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A B A B F B B

verified

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

size

173 127 292 230 424 144 386 0 297 241

N.S.

1 0.73 1.69 1.33 2.45 0.83 2.23 0.00 1.72 1.39

time (sec)

N/A 0.412 0.335 1.776 0.057 0.087 0.606 0.000 0.209 27.533

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A B A B A B B

verified

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

size

255 194 418 365 885 349 889 139 679 545

N.S.

1 0.76 1.64 1.43 3.47 1.37 3.49 0.55 2.66 2.14

time (sec)

N/A 0.471 0.426 1.990 0.091 0.087 2.615 41.449 0.204 28.843

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A B A B A B B

verified

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

size

373 262 492 500 1469 611 1392 270 1284 970

N.S.

1 0.70 1.32 1.34 3.94 1.64 3.73 0.72 3.44 2.60

time (sec)

N/A 0.536 0.732 2.427 0.147 0.093 7.732 53.522 0.219 31.784

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

341 304 359 846 1341 0 0 2814 1103 0

N.S.

1 0.89 1.05 2.48 3.93 0.00 0.00 8.25 3.23 0.00

time (sec)

N/A 0.647 0.482 3.293 0.115 0.000 0.000 69.450 0.232 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

260 227 239 532 886 0 0 1774 773 0

N.S.

1 0.87 0.92 2.05 3.41 0.00 0.00 6.82 2.97 0.00

time (sec)

N/A 0.538 0.269 3.063 0.100 0.000 0.000 59.344 0.214 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

160 146 175 295 0 0 0 895 464 0

N.S.

1 0.91 1.09 1.84 0.00 0.00 0.00 5.59 2.90 0.00

time (sec)

N/A 0.376 0.198 2.923 0.000 0.000 0.000 46.757 0.200 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

98 73 104 82 134 88 231 115 144 106

N.S.

1 0.74 1.06 0.84 1.37 0.90 2.36 1.17 1.47 1.08

time (sec)

N/A 0.222 0.058 1.148 0.043 0.076 0.634 0.186 0.237 26.593

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A B A B A B B

verified

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

size

156 109 292 231 421 151 386 233 301 247

N.S.

1 0.70 1.87 1.48 2.70 0.97 2.47 1.49 1.93 1.58

time (sec)

N/A 0.396 0.262 1.710 0.062 0.074 0.597 0.199 0.259 27.667

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A B A B A B B

verified

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

size

261 182 324 366 859 334 828 133 894 415

N.S.

1 0.70 1.24 1.40 3.29 1.28 3.17 0.51 3.43 1.59

time (sec)

N/A 0.417 0.418 1.884 0.082 0.082 1.881 42.641 0.203 27.994

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A B A B A B B

verified

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

size

346 254 453 506 1721 664 1562 276 1775 984

N.S.

1 0.73 1.31 1.46 4.97 1.92 4.51 0.80 5.13 2.84

time (sec)

N/A 0.520 0.651 3.593 0.161 0.094 12.134 53.396 0.201 31.107

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

457 313 520 640 2560 1019 0 436 2879 1679

N.S.

1 0.68 1.14 1.40 5.60 2.23 0.00 0.95 6.30 3.67

time (sec)

N/A 0.507 1.229 3.399 0.270 0.105 0.000 64.853 0.213 34.899

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

361 300 317 681 2037 0 0 0 0 0

N.S.

1 0.83 0.88 1.89 5.64 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.595 0.428 3.198 0.162 0.000 0.000 0.000 0.244 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

251 217 245 463 0 0 0 0 1347 0

N.S.

1 0.86 0.98 1.84 0.00 0.00 0.00 0.00 5.37 0.00

time (sec)

N/A 0.455 0.352 3.118 0.000 0.000 0.000 0.000 0.239 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B B B B B A B B

verified

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

size

85 72 207 174 567 185 382 132 339 198

N.S.

1 0.85 2.44 2.05 6.67 2.18 4.49 1.55 3.99 2.33

time (sec)

N/A 0.262 0.183 1.339 0.056 0.076 2.277 0.219 0.197 28.294

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

144 138 111 221 255 221 422 236 577 208

N.S.

1 0.96 0.77 1.53 1.77 1.53 2.93 1.64 4.01 1.44

time (sec)

N/A 0.336 0.122 1.354 0.045 0.081 1.103 0.210 0.204 27.255

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A B A B A B B

verified

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

size

243 182 418 367 885 355 889 442 674 545

N.S.

1 0.75 1.72 1.51 3.64 1.46 3.66 1.82 2.77 2.24

time (sec)

N/A 0.444 0.463 2.005 0.091 0.084 2.569 0.226 0.199 29.274

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A B A B F B B

verified

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

size

365 253 452 506 1721 672 1562 0 1782 983

N.S.

1 0.69 1.24 1.39 4.72 1.84 4.28 0.00 4.88 2.69

time (sec)

N/A 0.452 0.687 3.543 0.157 0.103 12.232 0.000 0.218 31.329

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A B B B F B B

verified

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

size

463 319 533 649 2380 1011 2106 0 2732 1443

N.S.

1 0.69 1.15 1.40 5.14 2.18 4.55 0.00 5.90 3.12

time (sec)

N/A 0.488 1.070 2.819 0.177 0.109 19.848 0.000 0.200 35.022

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

563 388 637 787 3816 1509 0 0 3982 2291

N.S.

1 0.69 1.13 1.40 6.78 2.68 0.00 0.00 7.07 4.07

time (sec)

N/A 0.638 1.514 8.757 0.379 0.132 0.000 0.000 0.217 38.946

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

539 617 905 0 3186 0 0 0 0 0

N.S.

1 1.14 1.68 0.00 5.91 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.442 0.766 0.000 0.190 0.000 0.000 0.000 0.262 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

450 516 680 0 2243 0 0 0 1657 0

N.S.

1 1.15 1.51 0.00 4.98 0.00 0.00 0.00 3.68 0.00

time (sec)

N/A 1.263 0.597 0.000 0.155 0.000 0.000 0.000 0.245 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

343 405 869 0 1252 0 0 0 940 0

N.S.

1 1.18 2.53 0.00 3.65 0.00 0.00 0.00 2.74 0.00

time (sec)

N/A 0.912 0.708 0.000 0.138 0.000 0.000 0.000 0.233 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

203 227 205 0 633 0 0 0 578 0

N.S.

1 1.12 1.01 0.00 3.12 0.00 0.00 0.00 2.85 0.00

time (sec)

N/A 0.625 0.218 0.000 0.117 0.000 0.000 0.000 0.261 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

286 272 1214 0 0 0 0 0 178 0

N.S.

1 0.95 4.24 0.00 0.00 0.00 0.00 0.00 0.62 0.00

time (sec)

N/A 1.076 1.383 0.000 0.000 0.000 0.000 0.000 0.216 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

241 218 1407 0 0 0 0 0 859 0

N.S.

1 0.90 5.84 0.00 0.00 0.00 0.00 0.00 3.56 0.00

time (sec)

N/A 0.909 2.116 0.000 0.000 0.000 0.000 0.000 0.264 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C B B B B A B B

verified

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

size

141 114 765 330 1987 289 714 206 684 469

N.S.

1 0.81 5.43 2.34 14.09 2.05 5.06 1.46 4.85 3.33

time (sec)

N/A 0.341 0.981 1.468 0.172 0.092 5.145 0.264 0.244 28.198

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C B B B B A B B

verified

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

size

287 218 1032 643 3282 601 1387 455 1481 955

N.S.

1 0.76 3.60 2.24 11.44 2.09 4.83 1.59 5.16 3.33

time (sec)

N/A 0.446 1.064 1.655 0.275 0.095 10.724 0.334 0.227 29.658

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C B B B B A B B

verified

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

size

445 334 1255 926 4808 985 2251 744 2224 1870

N.S.

1 0.75 2.82 2.08 10.80 2.21 5.06 1.67 5.00 4.20

time (sec)

N/A 0.548 1.209 2.359 0.408 0.100 90.492 0.389 0.254 33.251

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

711 963 1559 0 5178 0 0 0 0 0

N.S.

1 1.35 2.19 0.00 7.28 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.251 1.360 0.000 0.219 0.000 0.000 0.000 0.253 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

761 852 1194 0 3656 0 0 0 0 0

N.S.

1 1.12 1.57 0.00 4.80 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.103 0.976 0.000 0.193 0.000 0.000 0.000 0.228 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

589 670 677 0 2259 0 0 0 1663 0

N.S.

1 1.14 1.15 0.00 3.84 0.00 0.00 0.00 2.82 0.00

time (sec)

N/A 1.468 0.597 0.000 0.169 0.000 0.000 0.000 0.221 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

334 360 287 0 1202 0 0 0 962 0

N.S.

1 1.08 0.86 0.00 3.60 0.00 0.00 0.00 2.88 0.00

time (sec)

N/A 0.960 0.243 0.000 0.140 0.000 0.000 0.000 0.224 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

535 501 2615 0 0 0 0 0 314 0

N.S.

1 0.94 4.89 0.00 0.00 0.00 0.00 0.00 0.59 0.00

time (sec)

N/A 2.008 4.366 0.000 0.000 0.000 0.000 0.000 0.235 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

442 366 2649 0 0 0 0 0 1397 0

N.S.

1 0.83 5.99 0.00 0.00 0.00 0.00 0.00 3.16 0.00

time (sec)

N/A 0.724 4.615 0.000 0.000 0.000 0.000 0.000 0.263 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

387 329 3426 0 0 0 0 0 0 0

N.S.

1 0.85 8.85 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.407 7.384 0.000 0.000 0.000 0.000 0.000 0.314 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C B B B B A B B

verified

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

size

147 119 1352 367 5532 444 1182 219 1067 1153

N.S.

1 0.81 9.20 2.50 37.63 3.02 8.04 1.49 7.26 7.84

time (sec)

N/A 0.392 2.028 1.723 0.412 0.094 27.695 0.343 0.234 29.440

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C B B B B A B B

verified

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

size

299 220 1703 685 8031 837 2055 479 2107 1940

N.S.

1 0.74 5.70 2.29 26.86 2.80 6.87 1.60 7.05 6.49

time (sec)

N/A 0.497 3.013 2.428 0.608 0.096 54.500 0.404 0.236 32.738

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

463 336 2010 968 10880 1323 0 780 3022 3434

N.S.

1 0.73 4.34 2.09 23.50 2.86 0.00 1.68 6.53 7.42

time (sec)

N/A 0.579 3.200 2.506 0.897 0.110 0.000 0.429 0.238 35.876

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

1089 1398 2330 0 6921 0 0 0 0 0

N.S.

1 1.28 2.14 0.00 6.36 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.506 3.359 0.000 0.252 0.000 0.000 0.000 5.235 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

908 1213 1555 0 5196 0 0 0 0 0

N.S.

1 1.34 1.71 0.00 5.72 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.042 1.381 0.000 0.202 0.000 0.000 0.000 0.753 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

730 959 901 0 3218 0 0 0 0 0

N.S.

1 1.31 1.23 0.00 4.41 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.236 0.765 0.000 0.179 0.000 0.000 0.000 0.231 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

420 515 389 0 1789 0 0 0 1533 0

N.S.

1 1.23 0.93 0.00 4.26 0.00 0.00 0.00 3.65 0.00

time (sec)

N/A 1.391 0.361 0.000 0.145 0.000 0.000 0.000 0.219 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

712 857 5044 0 0 0 0 0 464 0

N.S.

1 1.20 7.08 0.00 0.00 0.00 0.00 0.00 0.65 0.00

time (sec)

N/A 3.150 6.868 0.000 0.000 0.000 0.000 0.000 0.237 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

692 577 5266 0 0 0 0 0 0 0

N.S.

1 0.83 7.61 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.970 7.582 0.000 0.000 0.000 0.000 0.000 0.248 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

604 486 5989 0 0 0 0 0 0 0

N.S.

1 0.80 9.92 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.820 7.628 0.000 0.000 0.000 0.000 0.000 0.348 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

147 119 2401 367 11688 559 0 218 1432 1565

N.S.

1 0.81 16.33 2.50 79.51 3.80 0.00 1.48 9.74 10.65

time (sec)

N/A 0.385 1.299 2.362 0.841 0.099 0.000 0.454 0.200 31.532

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

299 220 2456 722 15765 1045 0 479 2741 3720

N.S.

1 0.74 8.21 2.41 52.73 3.49 0.00 1.60 9.17 12.44

time (sec)

N/A 0.504 5.015 2.503 1.258 0.104 0.000 0.430 0.211 35.595

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

463 336 2606 1019 20330 1610 0 780 3828 6275

N.S.

1 0.73 5.63 2.20 43.91 3.48 0.00 1.68 8.27 13.55

time (sec)

N/A 0.598 5.826 3.197 1.831 0.121 0.000 0.501 0.252 36.440

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

718 629 1020 0 0 0 0 0 471 0

N.S.

1 0.88 1.42 0.00 0.00 0.00 0.00 0.00 0.66 0.00

time (sec)

N/A 1.138 1.812 0.000 0.000 0.000 0.000 0.000 0.249 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

536 470 727 0 0 0 0 0 323 0

N.S.

1 0.88 1.36 0.00 0.00 0.00 0.00 0.00 0.60 0.00

time (sec)

N/A 0.804 1.485 0.000 0.000 0.000 0.000 0.000 0.214 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

283 260 1227 0 0 0 0 0 188 0

N.S.

1 0.92 4.34 0.00 0.00 0.00 0.00 0.00 0.66 0.00

time (sec)

N/A 0.550 1.172 0.000 0.000 0.000 0.000 0.000 0.207 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

127 120 252 338 0 0 0 0 84 0

N.S.

1 0.94 1.98 2.66 0.00 0.00 0.00 0.00 0.66 0.00

time (sec)

N/A 0.432 0.996 3.110 0.000 0.000 0.000 0.000 0.213 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B B B B B B B

verified

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

size

44 37 79 106 397 87 206 132 85 96

N.S.

1 0.84 1.80 2.41 9.02 1.98 4.68 3.00 1.93 2.18

time (sec)

N/A 0.357 0.400 1.497 0.057 0.071 0.351 0.147 0.202 27.621

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B B A B F B B

verified

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

size

183 136 186 400 1008 231 541 0 537 419

N.S.

1 0.74 1.02 2.19 5.51 1.26 2.96 0.00 2.93 2.29

time (sec)

N/A 0.470 0.695 1.795 0.104 0.079 0.719 0.000 0.207 28.036

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B B A B A B B

verified

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

size

343 248 318 767 2115 540 1488 211 1426 981

N.S.

1 0.72 0.93 2.24 6.17 1.57 4.34 0.62 4.16 2.86

time (sec)

N/A 0.578 1.075 2.230 0.193 0.095 4.166 57.212 0.213 29.849

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B B A B A B B

verified

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

size

507 364 442 1076 3434 940 2388 451 2371 1882

N.S.

1 0.72 0.87 2.12 6.77 1.85 4.71 0.89 4.68 3.71

time (sec)

N/A 0.647 1.438 2.638 0.329 0.107 19.092 72.167 0.217 33.826

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

722 592 5199 0 0 0 0 0 0 0

N.S.

1 0.82 7.20 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.897 8.082 0.000 0.000 0.000 0.000 0.000 0.251 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

469 380 2622 0 0 0 0 0 1446 0

N.S.

1 0.81 5.59 0.00 0.00 0.00 0.00 0.00 3.08 0.00

time (sec)

N/A 0.642 6.491 0.000 0.000 0.000 0.000 0.000 0.237 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

261 239 1412 0 0 0 0 0 905 0

N.S.

1 0.92 5.41 0.00 0.00 0.00 0.00 0.00 3.47 0.00

time (sec)

N/A 0.485 1.831 0.000 0.000 0.000 0.000 0.000 0.232 0.000

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A B A B A B B

verified

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

size

152 111 315 182 416 155 432 173 332 222

N.S.

1 0.73 2.07 1.20 2.74 1.02 2.84 1.14 2.18 1.46

time (sec)

N/A 0.272 0.447 1.200 0.058 0.076 1.149 0.221 0.203 27.362

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A B A B B

verified

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

size

214 140 187 398 1004 236 539 339 565 423

N.S.

1 0.65 0.87 1.86 4.69 1.10 2.52 1.58 2.64 1.98

time (sec)

N/A 0.534 0.619 1.783 0.106 0.084 0.720 0.241 0.195 28.060

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B B A B A B B

verified

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

size

365 254 307 766 1995 515 1404 203 1957 731

N.S.

1 0.70 0.84 2.10 5.47 1.41 3.85 0.56 5.36 2.00

time (sec)

N/A 0.558 0.910 2.005 0.166 0.092 3.063 57.730 0.207 28.806

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B B A B A B B

verified

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

size

523 364 466 1080 4187 1005 2683 460 3290 1497

N.S.

1 0.70 0.89 2.07 8.01 1.92 5.13 0.88 6.29 2.86

time (sec)

N/A 0.624 1.275 3.477 0.394 0.108 27.334 71.573 0.238 32.857

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

682 475 613 1386 6160 1534 0 754 5157 2701

N.S.

1 0.70 0.90 2.03 9.03 2.25 0.00 1.11 7.56 3.96

time (sec)

N/A 0.718 1.849 3.591 0.575 0.121 0.000 86.562 0.245 35.648

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

635 504 5929 0 0 0 0 0 0 0

N.S.

1 0.79 9.34 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.776 8.396 0.000 0.000 0.000 0.000 0.000 0.287 0.000

[next] [front] [up]