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

Integrals 401 to 500

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 401

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

221 221 200 1401 701 1461 16288 2953 2040 1509

N.S.

1 1.00 0.90 6.34 3.17 6.61 73.70 13.36 9.23 6.83

time (sec)

N/A 0.440 0.296 1.000 0.074 0.108 3.625 0.397 0.243 6.013

Problem 402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

90 90 79 189 179 256 1982 490 297 259

N.S.

1 1.00 0.88 2.10 1.99 2.84 22.02 5.44 3.30 2.88

time (sec)

N/A 0.246 0.122 0.546 0.051 0.093 0.884 0.370 0.223 5.890

Problem 403

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

124 124 116 0 0 0 0 0 30 0

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 0.24 0.00

time (sec)

N/A 0.307 0.125 0.000 0.000 0.000 0.000 0.000 0.242 0.000

Problem 404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

286 333 253 0 0 0 0 0 95 0

N.S.

1 1.16 0.88 0.00 0.00 0.00 0.00 0.00 0.33 0.00

time (sec)

N/A 0.664 0.404 0.000 0.000 0.000 0.000 0.000 0.283 0.000

Problem 405

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

69 69 135 133 135 135 146 146 147 131

N.S.

1 1.00 1.96 1.93 1.96 1.96 2.12 2.12 2.13 1.90

time (sec)

N/A 0.268 0.029 0.465 0.029 0.067 0.046 0.445 0.217 5.612

Problem 406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

69 69 104 101 102 102 110 110 111 100

N.S.

1 1.00 1.51 1.46 1.48 1.48 1.59 1.59 1.61 1.45

time (sec)

N/A 0.239 0.018 0.471 0.041 0.066 0.034 0.378 0.210 5.416

Problem 407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

69 69 73 70 69 69 73 75 75 69

N.S.

1 1.00 1.06 1.01 1.00 1.00 1.06 1.09 1.09 1.00

time (sec)

N/A 0.230 0.018 0.469 0.044 0.067 0.033 0.347 0.202 0.019

Problem 408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

42 42 42 37 36 36 39 40 39 38

N.S.

1 1.00 1.00 0.88 0.86 0.86 0.93 0.95 0.93 0.90

time (sec)

N/A 0.188 0.009 0.173 0.029 0.072 0.027 0.318 0.261 0.024

Problem 409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 20 20 17 16 16 15 16 17 16

N.S.

1 1.00 1.00 0.85 0.80 0.80 0.75 0.80 0.85 0.80

time (sec)

N/A 0.148 0.000 0.032 0.030 0.080 0.025 0.314 0.245 0.014

Problem 410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

52 52 48 49 50 52 44 50 62 51

N.S.

1 1.00 0.92 0.94 0.96 1.00 0.85 0.96 1.19 0.98

time (sec)

N/A 0.209 0.015 0.546 0.036 0.081 0.141 0.325 0.243 0.036

Problem 411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

55 55 49 54 58 78 49 109 97 59

N.S.

1 1.00 0.89 0.98 1.05 1.42 0.89 1.98 1.76 1.07

time (sec)

N/A 0.213 0.022 0.529 0.039 0.076 0.231 0.390 0.258 0.042

Problem 412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

62 62 57 57 71 87 68 60 99 67

N.S.

1 1.00 0.92 0.92 1.15 1.40 1.10 0.97 1.60 1.08

time (sec)

N/A 0.219 0.017 0.523 0.036 0.084 0.330 0.348 0.268 0.038

Problem 413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

67 67 50 52 77 77 82 51 64 76

N.S.

1 1.00 0.75 0.78 1.15 1.15 1.22 0.76 0.96 1.13

time (sec)

N/A 0.218 0.016 0.526 0.044 0.072 0.526 0.325 0.204 5.761

Problem 414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

69 69 49 51 86 86 92 86 85 86

N.S.

1 1.00 0.71 0.74 1.25 1.25 1.33 1.25 1.23 1.25

time (sec)

N/A 0.221 0.017 0.544 0.036 0.075 0.789 0.346 0.230 0.032

Problem 415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

69 69 51 53 101 101 107 52 96 101

N.S.

1 1.00 0.74 0.77 1.46 1.46 1.55 0.75 1.39 1.46

time (sec)

N/A 0.220 0.018 0.520 0.033 0.086 1.083 0.309 0.207 0.039

Problem 416

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

156 156 283 283 277 277 337 340 342 283

N.S.

1 1.00 1.81 1.81 1.78 1.78 2.16 2.18 2.19 1.81

time (sec)

N/A 0.446 0.059 0.839 0.043 0.074 0.059 0.333 0.265 5.843

Problem 417

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

156 156 223 219 218 218 260 259 261 218

N.S.

1 1.00 1.43 1.40 1.40 1.40 1.67 1.66 1.67 1.40

time (sec)

N/A 0.392 0.048 0.852 0.041 0.083 0.044 0.369 0.214 0.046

Problem 418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

156 156 153 155 146 146 173 178 180 146

N.S.

1 1.00 0.98 0.99 0.94 0.94 1.11 1.14 1.15 0.94

time (sec)

N/A 0.347 0.036 0.830 0.041 0.070 0.041 0.339 0.216 0.037

Problem 419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

96 96 96 90 90 90 100 99 99 89

N.S.

1 1.00 1.00 0.94 0.94 0.94 1.04 1.03 1.03 0.93

time (sec)

N/A 0.258 0.016 0.794 0.039 0.071 0.028 0.328 0.223 6.114

Problem 420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

46 46 46 41 45 40 42 42 44 41

N.S.

1 1.00 1.00 0.89 0.98 0.87 0.91 0.91 0.96 0.89

time (sec)

N/A 0.191 0.006 0.720 0.049 0.069 0.033 0.346 0.242 0.013

Problem 421

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

129 129 128 170 168 170 143 191 222 185

N.S.

1 1.00 0.99 1.32 1.30 1.32 1.11 1.48 1.72 1.43

time (sec)

N/A 0.345 0.047 0.945 0.050 0.082 0.288 0.323 0.211 0.032

Problem 422

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

131 131 127 183 175 259 170 257 324 203

N.S.

1 1.00 0.97 1.40 1.34 1.98 1.30 1.96 2.47 1.55

time (sec)

N/A 0.342 0.080 0.877 0.046 0.088 0.574 0.320 0.238 5.608

Problem 423

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

138 138 176 180 185 286 211 187 371 200

N.S.

1 1.00 1.28 1.30 1.34 2.07 1.53 1.36 2.69 1.45

time (sec)

N/A 0.342 0.056 0.916 0.041 0.082 1.407 0.325 0.216 5.482

Problem 424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

139 139 176 179 194 282 218 180 297 203

N.S.

1 1.00 1.27 1.29 1.40 2.03 1.57 1.29 2.14 1.46

time (sec)

N/A 0.324 0.067 0.901 0.047 0.077 3.661 0.333 0.252 5.522

Problem 425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

150 150 170 182 215 263 238 306 286 186

N.S.

1 1.00 1.13 1.21 1.43 1.75 1.59 2.04 1.91 1.24

time (sec)

N/A 0.336 0.053 0.879 0.048 0.079 7.901 0.346 0.238 0.068

Problem 426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

151 151 160 179 219 219 253 192 202 221

N.S.

1 1.00 1.06 1.19 1.45 1.45 1.68 1.27 1.34 1.46

time (sec)

N/A 0.316 0.051 1.030 0.049 0.079 17.871 0.339 0.218 0.049

Problem 427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

156 156 159 178 229 229 265 192 248 233

N.S.

1 1.00 1.02 1.14 1.47 1.47 1.70 1.23 1.59 1.49

time (sec)

N/A 0.318 0.046 0.886 0.046 0.084 40.166 0.352 0.214 0.059

Problem 428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

156 156 161 183 245 245 279 193 259 249

N.S.

1 1.00 1.03 1.17 1.57 1.57 1.79 1.24 1.66 1.60

time (sec)

N/A 0.332 0.053 0.931 0.039 0.083 105.632 0.345 0.262 0.070

Problem 429

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

272 272 497 526 484 484 620 624 627 506

N.S.

1 1.00 1.83 1.93 1.78 1.78 2.28 2.29 2.31 1.86

time (sec)

N/A 0.698 0.122 0.822 0.043 0.081 0.063 0.346 0.220 5.453

Problem 430

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

272 272 372 406 367 367 484 479 481 381

N.S.

1 1.00 1.37 1.49 1.35 1.35 1.78 1.76 1.77 1.40

time (sec)

N/A 0.608 0.101 0.835 0.043 0.069 0.058 0.324 0.211 0.075

Problem 431

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

272 272 282 282 275 275 332 330 335 276

N.S.

1 1.00 1.04 1.04 1.01 1.01 1.22 1.21 1.23 1.01

time (sec)

N/A 0.559 0.074 0.835 0.035 0.069 0.045 0.316 0.205 5.357

Problem 432

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

161 161 161 164 163 163 190 187 189 163

N.S.

1 1.00 1.00 1.02 1.01 1.01 1.18 1.16 1.17 1.01

time (sec)

N/A 0.366 0.031 0.766 0.035 0.070 0.048 0.354 0.245 0.040

Problem 433

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

81 81 81 80 85 77 85 82 85 72

N.S.

1 1.00 1.00 0.99 1.05 0.95 1.05 1.01 1.05 0.89

time (sec)

N/A 0.238 0.010 0.728 0.036 0.071 0.025 0.355 0.228 5.371

Problem 434

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

260 260 308 432 401 403 384 493 547 433

N.S.

1 1.00 1.18 1.66 1.54 1.55 1.48 1.90 2.10 1.67

time (sec)

N/A 0.556 0.127 0.912 0.034 0.077 0.624 0.378 0.219 5.345

Problem 435

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

256 256 255 447 410 580 411 567 743 592

N.S.

1 1.00 1.00 1.75 1.60 2.27 1.61 2.21 2.90 2.31

time (sec)

N/A 0.551 0.076 0.904 0.048 0.079 1.250 0.333 0.223 0.058

Problem 436

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

255 255 265 441 417 638 466 465 869 521

N.S.

1 1.00 1.04 1.73 1.64 2.50 1.83 1.82 3.41 2.04

time (sec)

N/A 0.562 0.086 0.897 0.041 0.083 4.181 0.320 0.230 5.365

Problem 437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

251 251 260 441 430 664 502 457 859 484

N.S.

1 1.00 1.04 1.76 1.71 2.65 2.00 1.82 3.42 1.93

time (sec)

N/A 0.533 0.080 0.925 0.045 0.080 14.462 0.294 0.202 5.425

Problem 438

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

251 251 402 430 441 647 520 690 806 475

N.S.

1 1.00 1.60 1.71 1.76 2.58 2.07 2.75 3.21 1.89

time (sec)

N/A 0.511 0.124 0.917 0.046 0.079 61.783 0.338 0.268 5.710

Problem 439

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

256 256 396 444 449 600 0 447 655 493

N.S.

1 1.00 1.55 1.73 1.75 2.34 0.00 1.75 2.56 1.93

time (sec)

N/A 0.496 0.179 0.907 0.054 0.075 0.000 0.353 0.264 0.116

Problem 440

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

266 266 385 438 469 545 0 457 625 497

N.S.

1 1.00 1.45 1.65 1.76 2.05 0.00 1.72 2.35 1.87

time (sec)

N/A 0.503 0.114 0.898 0.049 0.076 0.000 0.341 0.304 0.112

Problem 441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

268 268 377 437 472 472 0 493 509 502

N.S.

1 1.00 1.41 1.63 1.76 1.76 0.00 1.84 1.90 1.87

time (sec)

N/A 0.480 0.100 0.901 0.060 0.078 0.000 0.401 0.213 5.509

Problem 442

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

269 269 375 436 482 482 0 493 571 512

N.S.

1 1.00 1.39 1.62 1.79 1.79 0.00 1.83 2.12 1.90

time (sec)

N/A 0.478 0.113 0.904 0.052 0.075 0.000 0.375 0.193 0.092

Problem 443

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

272 272 378 442 499 499 0 494 582 530

N.S.

1 1.00 1.39 1.62 1.83 1.83 0.00 1.82 2.14 1.95

time (sec)

N/A 0.464 0.106 0.918 0.059 0.077 0.000 0.400 0.206 5.403

Problem 444

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

443 443 766 838 762 762 998 1001 1002 817

N.S.

1 1.00 1.73 1.89 1.72 1.72 2.25 2.26 2.26 1.84

time (sec)

N/A 1.122 0.186 0.849 0.047 0.076 0.076 0.358 0.196 0.152

Problem 445

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

443 443 611 646 614 614 777 769 771 630

N.S.

1 1.00 1.38 1.46 1.39 1.39 1.75 1.74 1.74 1.42

time (sec)

N/A 0.961 0.140 0.838 0.050 0.081 0.071 0.367 0.234 5.391

Problem 446

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

441 441 428 454 436 436 537 537 540 445

N.S.

1 1.00 0.97 1.03 0.99 0.99 1.22 1.22 1.22 1.01

time (sec)

N/A 0.881 0.093 0.863 0.044 0.080 0.064 0.360 0.218 0.102

Problem 447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

268 268 268 264 276 276 313 307 309 263

N.S.

1 1.00 1.00 0.99 1.03 1.03 1.17 1.15 1.15 0.98

time (sec)

N/A 0.535 0.047 0.777 0.030 0.072 0.059 0.385 0.216 0.073

Problem 448

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

133 133 133 131 136 131 141 138 140 124

N.S.

1 1.00 1.00 0.98 1.02 0.98 1.06 1.04 1.05 0.93

time (sec)

N/A 0.324 0.015 0.730 0.037 0.069 0.031 0.331 0.205 5.272

Problem 449

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

428 428 616 875 797 799 808 1013 1098 870

N.S.

1 1.00 1.44 2.04 1.86 1.87 1.89 2.37 2.57 2.03

time (sec)

N/A 0.954 0.275 1.119 0.045 0.078 0.955 0.358 0.247 5.329

Problem 450

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

426 426 780 892 807 1095 847 1069 1414 1679

N.S.

1 1.00 1.83 2.09 1.89 2.57 1.99 2.51 3.32 3.94

time (sec)

N/A 0.933 0.223 0.928 0.038 0.092 2.200 0.339 0.229 5.359

Problem 451

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

430 430 440 890 819 1218 906 958 1651 1444

N.S.

1 1.00 1.02 2.07 1.90 2.83 2.11 2.23 3.84 3.36

time (sec)

N/A 0.930 0.131 0.930 0.051 0.089 8.791 0.379 7.932 5.504

Problem 452

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

417 417 425 887 827 1282 944 933 1735 1143

N.S.

1 1.00 1.02 2.13 1.98 3.07 2.26 2.24 4.16 2.74

time (sec)

N/A 0.926 0.148 0.915 0.067 0.102 56.459 0.379 0.192 5.485

Problem 453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

426 426 430 888 843 1303 0 1301 1777 1005

N.S.

1 1.00 1.01 2.08 1.98 3.06 0.00 3.05 4.17 2.36

time (sec)

N/A 0.891 0.141 0.895 0.069 0.095 0.000 0.423 0.518 5.340

Problem 454

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

414 414 419 887 850 1262 0 909 1564 959

N.S.

1 1.00 1.01 2.14 2.05 3.05 0.00 2.20 3.78 2.32

time (sec)

N/A 0.874 0.152 0.902 0.063 0.091 0.000 0.371 0.187 5.620

Problem 455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

426 426 764 889 866 1191 0 910 1472 955

N.S.

1 1.00 1.79 2.09 2.03 2.80 0.00 2.14 3.46 2.24

time (sec)

N/A 0.868 0.243 0.884 0.068 0.084 0.000 0.345 0.214 0.122

Problem 456

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

424 424 748 892 872 1082 0 900 1223 1306

N.S.

1 1.00 1.76 2.10 2.06 2.55 0.00 2.12 2.88 3.08

time (sec)

N/A 0.866 0.347 0.882 0.080 0.094 0.000 0.361 0.261 5.534

Problem 457

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

435 435 740 889 894 998 0 910 1193 1168

N.S.

1 1.00 1.70 2.04 2.06 2.29 0.00 2.09 2.74 2.69

time (sec)

N/A 0.867 0.279 0.892 0.067 0.083 0.000 0.349 0.262 0.198

Problem 458

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

436 436 730 880 893 893 0 1014 1039 966

N.S.

1 1.00 1.67 2.02 2.05 2.05 0.00 2.33 2.38 2.22

time (sec)

N/A 0.846 0.245 0.911 0.075 0.083 0.000 0.359 0.315 5.431

Problem 459

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

443 443 731 880 906 906 0 1014 1114 979

N.S.

1 1.00 1.65 1.99 2.05 2.05 0.00 2.29 2.51 2.21

time (sec)

N/A 0.842 0.221 0.922 0.081 0.087 0.000 0.394 0.259 5.532

Problem 460

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

440 440 731 887 924 924 0 1015 1125 997

N.S.

1 1.00 1.66 2.02 2.10 2.10 0.00 2.31 2.56 2.27

time (sec)

N/A 0.820 0.228 0.901 0.089 0.081 0.000 0.327 0.236 5.870

Problem 461

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 14 15 13 12 12 10 13 12 12

N.S.

1 1.00 1.07 0.93 0.86 0.86 0.71 0.93 0.86 0.86

time (sec)

N/A 0.157 0.004 0.447 0.032 0.070 0.031 0.358 0.226 0.018

Problem 462

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 19 18 16 15 15 14 16 15 15

N.S.

1 1.00 0.95 0.84 0.79 0.79 0.74 0.84 0.79 0.79

time (sec)

N/A 0.164 0.006 0.470 0.034 0.070 0.037 0.364 0.218 0.020

Problem 463

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 14 14 13 17 28 15 13 37 12

N.S.

1 1.00 1.00 0.93 1.21 2.00 1.07 0.93 2.64 0.86

time (sec)

N/A 0.160 0.005 0.455 0.030 0.073 0.038 0.386 0.227 5.625

Problem 464

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 19 19 15 19 27 15 15 42 14

N.S.

1 1.00 1.00 0.79 1.00 1.42 0.79 0.79 2.21 0.74

time (sec)

N/A 0.168 0.007 0.440 0.040 0.069 0.038 0.350 0.215 0.019

Problem 465

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

272 272 372 406 367 367 484 479 481 381

N.S.

1 1.00 1.37 1.49 1.35 1.35 1.78 1.76 1.77 1.40

time (sec)

N/A 0.631 0.095 0.799 0.052 0.075 0.047 0.372 0.198 0.001

Problem 466

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

272 272 372 406 305 367 484 479 481 381

N.S.

1 1.00 1.37 1.49 1.12 1.35 1.78 1.76 1.77 1.40

time (sec)

N/A 0.577 0.010 0.069 0.040 0.078 0.069 0.347 0.193 0.082

Problem 467

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

272 372 547 406 373 367 484 373 481 381

N.S.

1 1.37 2.01 1.49 1.37 1.35 1.78 1.37 1.77 1.40

time (sec)

N/A 0.540 0.000 0.151 0.040 0.088 0.052 0.376 0.235 5.674

Problem 468

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

243 243 240 297 0 821 1556 282 793 367

N.S.

1 1.00 0.99 1.22 0.00 3.38 6.40 1.16 3.26 1.51

time (sec)

N/A 0.575 0.130 1.121 0.000 0.125 4.149 0.403 0.195 5.824

Problem 469

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

151 151 148 174 0 526 892 169 484 208

N.S.

1 1.00 0.98 1.15 0.00 3.48 5.91 1.12 3.21 1.38

time (sec)

N/A 0.349 0.083 1.157 0.000 0.094 2.132 0.342 0.201 0.145

Problem 470

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

101 101 101 107 0 324 588 102 270 147

N.S.

1 1.00 1.00 1.06 0.00 3.21 5.82 1.01 2.67 1.46

time (sec)

N/A 0.279 0.052 1.005 0.000 0.084 1.121 0.355 0.204 5.818

Problem 471

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

66 66 66 62 0 204 280 63 123 162

N.S.

1 1.00 1.00 0.94 0.00 3.09 4.24 0.95 1.86 2.45

time (sec)

N/A 0.214 0.045 0.896 0.000 0.080 0.427 0.354 0.217 0.071

Problem 472

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 34 38 35 0 120 124 34 46 46

N.S.

1 1.00 1.12 1.03 0.00 3.53 3.65 1.00 1.35 1.35

time (sec)

N/A 0.160 0.006 0.839 0.000 0.083 0.121 0.378 0.197 5.684

Problem 473

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

122 106 105 104 0 305 0 125 182 122

N.S.

1 0.87 0.86 0.85 0.00 2.50 0.00 1.02 1.49 1.00

time (sec)

N/A 0.275 0.057 1.040 0.000 0.248 0.000 0.344 0.211 6.142

Problem 474

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

186 206 151 197 0 1079 0 330 983 1786

N.S.

1 1.11 0.81 1.06 0.00 5.80 0.00 1.77 5.28 9.60

time (sec)

N/A 0.473 0.141 1.069 0.000 1.637 0.000 0.379 0.198 9.808

Problem 475

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

272 292 272 325 0 2793 0 631 2708 3506

N.S.

1 1.07 1.00 1.19 0.00 10.27 0.00 2.32 9.96 12.89

time (sec)

N/A 0.595 0.205 1.152 0.000 25.415 0.000 0.374 0.203 9.973

Problem 476

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

434 368 422 645 0 2763 2671 542 2993 1083

N.S.

1 0.85 0.97 1.49 0.00 6.37 6.15 1.25 6.90 2.50

time (sec)

N/A 0.784 0.436 1.080 0.000 0.175 16.412 0.320 0.227 6.359

Problem 477

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

320 267 298 436 0 1857 1924 373 2019 525

N.S.

1 0.83 0.93 1.36 0.00 5.80 6.01 1.17 6.31 1.64

time (sec)

N/A 0.611 0.314 1.082 0.000 0.130 8.105 0.350 0.210 5.857

Problem 478

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

173 185 201 287 0 1164 1238 244 1212 483

N.S.

1 1.07 1.16 1.66 0.00 6.73 7.16 1.41 7.01 2.79

time (sec)

N/A 0.425 0.194 1.005 0.000 0.096 3.426 0.371 0.204 6.139

Problem 479

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

99 99 128 149 0 669 517 140 611 230

N.S.

1 1.00 1.29 1.51 0.00 6.76 5.22 1.41 6.17 2.32

time (sec)

N/A 0.240 0.076 0.918 0.000 0.085 0.907 0.333 0.227 0.099

Problem 480

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

87 87 88 89 0 459 359 96 404 159

N.S.

1 1.00 1.01 1.02 0.00 5.28 4.13 1.10 4.64 1.83

time (sec)

N/A 0.224 0.052 0.876 0.000 0.088 0.564 0.323 0.220 0.071

Problem 481

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

66 66 70 68 0 341 265 76 241 119

N.S.

1 1.00 1.06 1.03 0.00 5.17 4.02 1.15 3.65 1.80

time (sec)

N/A 0.198 0.054 0.856 0.000 0.080 0.318 0.602 0.201 0.086

Problem 482

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

224 274 223 351 0 2128 0 489 1941 2953

N.S.

1 1.22 1.00 1.57 0.00 9.50 0.00 2.18 8.67 13.18

time (sec)

N/A 0.567 0.211 1.148 0.000 12.550 0.000 0.321 0.198 8.167

Problem 483

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

345 382 339 529 0 5498 0 932 7041 2239

N.S.

1 1.11 0.98 1.53 0.00 15.94 0.00 2.70 20.41 6.49

time (sec)

N/A 0.816 0.404 1.254 0.000 45.685 0.000 0.392 0.230 8.151

Problem 484

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

493 513 489 821 0 0 0 1720 13591 3748

N.S.

1 1.04 0.99 1.67 0.00 0.00 0.00 3.49 27.57 7.60

time (sec)

N/A 1.162 0.722 1.305 0.000 0.000 0.000 0.358 0.250 10.647

Problem 485

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

405 416 628 974 0 3865 3403 845 4384 1486

N.S.

1 1.03 1.55 2.40 0.00 9.54 8.40 2.09 10.82 3.67

time (sec)

N/A 0.990 0.755 1.105 0.000 0.178 67.768 0.367 0.203 7.343

Problem 486

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

169 180 413 667 0 2631 1355 649 2767 798

N.S.

1 1.07 2.44 3.95 0.00 15.57 8.02 3.84 16.37 4.72

time (sec)

N/A 0.323 0.398 0.959 0.000 0.114 14.470 0.376 0.219 0.435

Problem 487

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

158 162 308 485 0 2084 1180 457 2233 636

N.S.

1 1.03 1.95 3.07 0.00 13.19 7.47 2.89 14.13 4.03

time (sec)

N/A 0.302 0.284 0.974 0.000 0.125 4.786 0.343 0.227 6.058

Problem 488

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

161 210 203 351 0 1555 1052 309 1699 517

N.S.

1 1.30 1.26 2.18 0.00 9.66 6.53 1.92 10.55 3.21

time (sec)

N/A 0.391 0.196 0.954 0.000 0.102 2.067 0.306 0.216 5.960

Problem 489

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

131 135 128 137 0 1116 651 199 988 353

N.S.

1 1.03 0.98 1.05 0.00 8.52 4.97 1.52 7.54 2.69

time (sec)

N/A 0.273 0.090 0.931 0.000 0.099 1.079 0.371 0.211 6.124

Problem 490

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

101 112 97 116 0 785 474 136 598 285

N.S.

1 1.11 0.96 1.15 0.00 7.77 4.69 1.35 5.92 2.82

time (sec)

N/A 0.245 0.077 0.840 0.000 0.096 0.643 0.382 0.235 0.128

Problem 491

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

433 510 429 1102 0 7575 0 1461 7351 3292

N.S.

1 1.18 0.99 2.55 0.00 17.49 0.00 3.37 16.98 7.60

time (sec)

N/A 1.057 0.770 1.255 0.000 165.600 0.000 0.346 0.278 11.086

Problem 492

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

259 258 572 1205 0 4631 2547 1167 5492 1463

N.S.

1 1.00 2.21 4.65 0.00 17.88 9.83 4.51 21.20 5.65

time (sec)

N/A 0.502 0.639 1.020 0.000 0.148 58.289 0.425 0.243 6.155

Problem 493

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

282 332 401 885 0 3608 2057 848 4152 1126

N.S.

1 1.18 1.42 3.14 0.00 12.79 7.29 3.01 14.72 3.99

time (sec)

N/A 0.582 0.482 0.983 0.000 0.121 10.622 0.332 0.200 5.964

Problem 494

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

266 259 258 649 0 2761 1635 607 2977 872

N.S.

1 0.97 0.97 2.44 0.00 10.38 6.15 2.28 11.19 3.28

time (sec)

N/A 0.453 0.366 0.938 0.000 0.115 3.572 0.388 0.202 5.660

Problem 495

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

173 181 168 185 0 1960 1062 365 1767 633

N.S.

1 1.05 0.97 1.07 0.00 11.33 6.14 2.11 10.21 3.66

time (sec)

N/A 0.308 0.135 0.877 0.000 0.146 1.723 0.343 0.210 0.271

Problem 496

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

136 160 134 164 0 1337 777 220 1056 0

N.S.

1 1.18 0.99 1.21 0.00 9.83 5.71 1.62 7.76 0.00

time (sec)

N/A 0.286 0.108 0.853 0.000 0.094 1.028 0.363 0.208 0.000

Problem 497

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

773 887 769 2811 0 0 0 3418 17681 13834

N.S.

1 1.15 0.99 3.64 0.00 0.00 0.00 4.42 22.87 17.90

time (sec)

N/A 3.100 1.997 1.675 0.000 0.000 0.000 0.408 78.118 24.883

Problem 498

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

89 99 78 68 77 136 90 68 248 82

N.S.

1 1.11 0.88 0.76 0.87 1.53 1.01 0.76 2.79 0.92

time (sec)

N/A 0.285 0.070 2.094 0.113 0.080 0.131 0.350 0.184 0.075

Problem 499

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

100 124 98 77 87 161 102 108 303 93

N.S.

1 1.24 0.98 0.77 0.87 1.61 1.02 1.08 3.03 0.93

time (sec)

N/A 0.302 0.054 1.115 0.110 0.080 0.136 0.354 0.192 0.064

Problem 500

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

110 125 88 78 97 186 110 78 358 102

N.S.

1 1.14 0.80 0.71 0.88 1.69 1.00 0.71 3.25 0.93

time (sec)

N/A 0.324 0.097 1.083 0.114 0.077 0.151 0.392 0.200 0.065

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