[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 A A A B A F B

verified

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

size

1 1 1 2 1 1 34 1 33 1

N.S.

1 1.00 1.00 2.00 1.00 1.00 34.00 1.00 33.00 1.00

time (sec)

N/A 0.170 0.000 0.151 0.112 0.053 0.551 0.327 0.147 16.497

Problem 402

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

11 3 9 4 15 23 36 33 49 3

N.S.

1 0.27 0.82 0.36 1.36 2.09 3.27 3.00 4.45 0.27

time (sec)

N/A 0.179 0.004 0.307 0.029 0.073 0.167 0.330 0.144 17.907

Problem 403

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

13 13 8 13 12 15 48 6 16 6

N.S.

1 1.00 0.62 1.00 0.92 1.15 3.69 0.46 1.23 0.46

time (sec)

N/A 0.184 0.004 0.262 0.044 0.071 0.581 0.305 0.151 17.087

Problem 404

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

41 30 22 48 38 74 765 37 196 32

N.S.

1 0.73 0.54 1.17 0.93 1.80 18.66 0.90 4.78 0.78

time (sec)

N/A 0.198 0.007 0.607 0.026 0.073 1.423 0.281 0.150 15.386

Problem 405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

9 9 9 10 9 35 12007 20 17 9

N.S.

1 1.00 1.00 1.11 1.00 3.89 1334.11 2.22 1.89 1.00

time (sec)

N/A 0.186 0.038 0.790 0.110 0.080 9.057 0.307 0.154 15.660

Problem 406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

11 11 11 12 11 31 30189 22 17 11

N.S.

1 1.00 1.00 1.09 1.00 2.82 2744.45 2.00 1.55 1.00

time (sec)

N/A 0.185 0.037 0.826 0.110 0.082 11.220 0.279 0.169 16.026

Problem 407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

15 15 15 16 15 43 71839 26 21 15

N.S.

1 1.00 1.00 1.07 1.00 2.87 4789.27 1.73 1.40 1.00

time (sec)

N/A 0.202 0.039 1.219 0.112 0.086 16.153 0.291 0.158 16.332

Problem 408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

53 25 25 18 17 43 87 61 25 36

N.S.

1 0.47 0.47 0.34 0.32 0.81 1.64 1.15 0.47 0.68

time (sec)

N/A 0.200 0.062 0.429 0.107 0.075 0.328 0.329 0.149 15.574

Problem 409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

43 45 36 38 35 182 201 48 22 51

N.S.

1 1.05 0.84 0.88 0.81 4.23 4.67 1.12 0.51 1.19

time (sec)

N/A 0.313 0.183 0.378 0.120 0.104 0.637 0.285 0.154 15.979

Problem 410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

43 45 36 38 35 181 226 48 22 48

N.S.

1 1.05 0.84 0.88 0.81 4.21 5.26 1.12 0.51 1.12

time (sec)

N/A 0.279 0.054 0.303 0.112 0.093 0.595 0.278 0.163 16.428

Problem 411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

36 21 19 18 15 35 0 15 13 15

N.S.

1 0.58 0.53 0.50 0.42 0.97 0.00 0.42 0.36 0.42

time (sec)

N/A 0.198 0.073 1.787 0.113 0.081 0.000 0.296 0.150 15.743

Problem 412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

49 33 42 29 27 68 0 27 23 27

N.S.

1 0.67 0.86 0.59 0.55 1.39 0.00 0.55 0.47 0.55

time (sec)

N/A 0.207 0.160 89.201 0.104 0.088 0.000 0.271 0.173 15.522

Problem 413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

74 64 79 2 45 100 0 39 33 40

N.S.

1 0.86 1.07 0.03 0.61 1.35 0.00 0.53 0.45 0.54

time (sec)

N/A 0.236 0.180 15.687 0.115 0.088 0.000 0.310 0.172 16.022

Problem 414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

1 1 1 2 1 1 0 1 1 1

N.S.

1 1.00 1.00 2.00 1.00 1.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.158 0.000 0.455 0.103 0.060 0.000 0.303 0.158 16.408

Problem 415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

1 1 1 2 1 1 0 1 1 1

N.S.

1 1.00 1.00 2.00 1.00 1.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.166 0.000 5.901 0.101 0.058 0.000 0.321 0.157 16.141

Problem 416

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

1 1 1 2 1 1 0 1 1 1

N.S.

1 1.00 1.00 2.00 1.00 1.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.161 0.000 62.976 0.102 0.058 0.000 0.317 0.156 16.795

Problem 417

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

37 21 19 19 16 35 0 49 13 16

N.S.

1 0.57 0.51 0.51 0.43 0.95 0.00 1.32 0.35 0.43

time (sec)

N/A 0.195 0.073 1.720 0.111 0.084 0.000 0.288 0.157 17.032

Problem 418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

47 32 64 30 27 66 0 60 23 27

N.S.

1 0.68 1.36 0.64 0.57 1.40 0.00 1.28 0.49 0.57

time (sec)

N/A 0.207 0.118 98.322 0.112 0.086 0.000 0.326 0.147 16.805

Problem 419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

72 62 66 2 42 98 0 69 33 43

N.S.

1 0.86 0.92 0.03 0.58 1.36 0.00 0.96 0.46 0.60

time (sec)

N/A 0.237 0.164 12.861 0.104 0.083 0.000 0.303 0.155 16.603

Problem 420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

3 3 3 4 3 3 0 3 3 3

N.S.

1 1.00 1.00 1.33 1.00 1.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.171 0.001 0.361 0.110 0.060 0.000 0.304 0.146 16.457

Problem 421

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

1 1 1 2 1 1 0 1 1 1

N.S.

1 1.00 1.00 2.00 1.00 1.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.164 0.000 3.970 0.106 0.059 0.000 0.327 0.143 15.830

Problem 422

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

3 3 3 4 3 3 0 3 3 3

N.S.

1 1.00 1.00 1.33 1.00 1.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.168 0.000 43.850 0.110 0.062 0.000 0.323 0.157 15.888

Problem 423

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

9 9 9 13 149 27 0 79 108 34

N.S.

1 1.00 1.00 1.44 16.56 3.00 0.00 8.78 12.00 3.78

time (sec)

N/A 0.290 0.008 0.867 0.049 0.088 0.000 0.343 0.146 15.619

Problem 424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

9 9 9 6 149 27 0 81 108 32

N.S.

1 1.00 1.00 0.67 16.56 3.00 0.00 9.00 12.00 3.56

time (sec)

N/A 0.275 0.007 0.636 0.046 0.078 0.000 0.352 0.156 16.029

Problem 425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 21 18 56 149 36 0 88 138 38

N.S.

1 1.00 0.86 2.67 7.10 1.71 0.00 4.19 6.57 1.81

time (sec)

N/A 0.271 0.016 1.458 0.044 0.080 0.000 0.352 0.158 15.483

Problem 426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 21 18 54 149 36 0 90 91 38

N.S.

1 1.00 0.86 2.57 7.10 1.71 0.00 4.29 4.33 1.81

time (sec)

N/A 0.269 0.011 0.789 0.045 0.078 0.000 0.353 0.149 0.250

Problem 427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

9 0 9 16 15 7 0 0 67 15

N.S.

1 0.00 1.00 1.78 1.67 0.78 0.00 0.00 7.44 1.67

time (sec)

N/A 0.000 0.103 1.009 18.974 0.076 0.000 0.000 0.160 15.715

Problem 428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

9 0 9 16 15 7 0 0 33 15

N.S.

1 0.00 1.00 1.78 1.67 0.78 0.00 0.00 3.67 1.67

time (sec)

N/A 0.000 0.067 0.780 21.130 0.077 0.000 0.000 0.153 0.112

Problem 429

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

11 0 0 16 58945 0 0 0 67 15

N.S.

1 0.00 0.00 1.45 5358.64 0.00 0.00 0.00 6.09 1.36

time (sec)

N/A 0.000 0.000 0.437 24.831 0.000 0.000 0.000 0.188 58.304

Problem 430

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

11 0 0 16 63169 0 0 0 33 15

N.S.

1 0.00 0.00 1.45 5742.64 0.00 0.00 0.00 3.00 1.36

time (sec)

N/A 0.000 0.000 0.393 23.468 0.000 0.000 0.000 0.173 56.999

Problem 431

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

9 9 9 23 67 36 0 22 51 29

N.S.

1 1.00 1.00 2.56 7.44 4.00 0.00 2.44 5.67 3.22

time (sec)

N/A 0.295 0.008 19.750 0.116 0.071 0.000 0.358 0.158 15.582

Problem 432

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

9 9 9 21 67 32 0 20 49 27

N.S.

1 1.00 1.00 2.33 7.44 3.56 0.00 2.22 5.44 3.00

time (sec)

N/A 0.288 0.008 24.518 0.106 0.068 0.000 0.351 0.187 0.100

Problem 433

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 21 18 48 75 66 0 27 73 30

N.S.

1 1.00 0.86 2.29 3.57 3.14 0.00 1.29 3.48 1.43

time (sec)

N/A 0.269 0.013 1.540 0.109 0.071 0.000 0.345 0.168 16.471

Problem 434

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 21 18 46 75 66 0 27 69 28

N.S.

1 1.00 0.86 2.19 3.57 3.14 0.00 1.29 3.29 1.33

time (sec)

N/A 0.263 0.011 6.011 0.113 0.079 0.000 0.356 0.158 0.102

Problem 435

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

9 0 9 10 13 11 0 10 371 9

N.S.

1 0.00 1.00 1.11 1.44 1.22 0.00 1.11 41.22 1.00

time (sec)

N/A 0.000 0.140 14.604 0.251 0.068 0.000 0.290 0.175 16.988

Problem 436

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

9 0 9 10 13 11 0 9 437 9

N.S.

1 0.00 1.00 1.11 1.44 1.22 0.00 1.00 48.56 1.00

time (sec)

N/A 0.000 0.106 13.665 0.233 0.069 0.000 0.315 0.170 0.055

Problem 437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

11 0 673 14 738 2907 0 14 371 13

N.S.

1 0.00 61.18 1.27 67.09 264.27 0.00 1.27 33.73 1.18

time (sec)

N/A 0.000 3.351 1.178 0.251 0.153 0.000 0.301 0.159 0.152

Problem 438

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

11 0 673 14 806 2905 0 13 437 13

N.S.

1 0.00 61.18 1.27 73.27 264.09 0.00 1.18 39.73 1.18

time (sec)

N/A 0.000 3.295 1.154 0.239 0.162 0.000 0.309 0.165 16.508

Problem 439

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 33 33 27 26 259 0 61 18 43

N.S.

1 1.00 1.00 0.82 0.79 7.85 0.00 1.85 0.55 1.30

time (sec)

N/A 0.237 0.056 0.351 0.107 0.111 0.000 0.294 0.160 16.793

Problem 440

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

239 261 1022 820 0 2869 0 0 20 0

N.S.

1 1.09 4.28 3.43 0.00 12.00 0.00 0.00 0.08 0.00

time (sec)

N/A 0.941 0.907 0.388 0.000 4.137 0.000 0.000 0.143 0.000

Problem 441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

365 369 279 1161 0 4289 0 0 22 0

N.S.

1 1.01 0.76 3.18 0.00 11.75 0.00 0.00 0.06 0.00

time (sec)

N/A 1.357 4.342 0.286 0.000 3.044 0.000 0.000 0.152 0.000

Problem 442

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

195 234 149 172 246 150 566 158 245 456

N.S.

1 1.20 0.76 0.88 1.26 0.77 2.90 0.81 1.26 2.34

time (sec)

N/A 0.948 1.954 31.359 0.039 0.086 0.338 0.286 0.166 17.785

Problem 443

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

109 113 77 90 112 76 204 79 110 88

N.S.

1 1.04 0.71 0.83 1.03 0.70 1.87 0.72 1.01 0.81

time (sec)

N/A 0.384 0.737 1.810 0.035 0.075 0.138 0.285 0.157 15.715

Problem 444

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 32 23 24 0 23 0 50 23 39

N.S.

1 1.39 1.00 1.04 0.00 1.00 0.00 2.17 1.00 1.70

time (sec)

N/A 0.344 0.226 0.322 0.000 0.070 0.000 0.298 0.155 15.852

Problem 445

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

157 215 140 386 0 795 0 435 662 497

N.S.

1 1.37 0.89 2.46 0.00 5.06 0.00 2.77 4.22 3.17

time (sec)

N/A 0.872 0.897 1.164 0.000 0.112 0.000 0.366 0.152 18.940

Problem 446

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

242 250 286 263 0 6695 0 0 40 10465

N.S.

1 1.03 1.18 1.09 0.00 27.67 0.00 0.00 0.17 43.24

time (sec)

N/A 0.686 1.041 1.499 0.000 5.508 0.000 0.000 0.164 30.495

Problem 447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

331 216 140 152 556 112 0 229 173 0

N.S.

1 0.65 0.42 0.46 1.68 0.34 0.00 0.69 0.52 0.00

time (sec)

N/A 0.779 1.965 1.319 0.132 0.078 0.000 0.347 0.166 0.000

Problem 448

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

185 99 70 74 187 43 0 94 60 0

N.S.

1 0.54 0.38 0.40 1.01 0.23 0.00 0.51 0.32 0.00

time (sec)

N/A 0.372 0.250 0.546 0.137 0.077 0.000 0.308 0.153 0.000

Problem 449

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

137 114 85 127 0 204 0 110 51 0

N.S.

1 0.83 0.62 0.93 0.00 1.49 0.00 0.80 0.37 0.00

time (sec)

N/A 0.546 0.290 0.599 0.000 0.102 0.000 0.315 0.168 0.000

Problem 450

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

239 190 144 349 0 527 0 292 386 0

N.S.

1 0.79 0.60 1.46 0.00 2.21 0.00 1.22 1.62 0.00

time (sec)

N/A 0.762 0.596 1.096 0.000 0.100 0.000 0.374 0.165 0.000

Problem 451

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

11 20 11 12 0 11 0 32 11 24

N.S.

1 1.82 1.00 1.09 0.00 1.00 0.00 2.91 1.00 2.18

time (sec)

N/A 0.297 0.060 0.150 0.000 0.067 0.000 0.284 0.142 16.496

Problem 452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

246 246 241 254 0 6697 0 5300 23 11781

N.S.

1 1.00 0.98 1.03 0.00 27.22 0.00 21.54 0.09 47.89

time (sec)

N/A 0.657 0.941 1.424 0.000 5.687 0.000 2.360 200.022 31.289

Problem 453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

144 150 153 155 150 149 248 204 193 205

N.S.

1 1.04 1.06 1.08 1.04 1.03 1.72 1.42 1.34 1.42

time (sec)

N/A 0.887 1.577 0.124 0.108 0.081 0.165 0.578 0.168 16.149

Problem 454

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

72 72 88 77 74 74 122 90 88 105

N.S.

1 1.00 1.22 1.07 1.03 1.03 1.69 1.25 1.22 1.46

time (sec)

N/A 0.406 0.244 0.064 0.107 0.081 0.103 0.380 0.148 16.026

Problem 455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

101 125 187 125 161 191 1360 171 298 152

N.S.

1 1.24 1.85 1.24 1.59 1.89 13.47 1.69 2.95 1.50

time (sec)

N/A 0.739 1.745 0.166 0.109 0.079 0.752 0.436 0.166 15.747

Problem 456

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

197 261 308 218 419 580 0 345 1177 388

N.S.

1 1.32 1.56 1.11 2.13 2.94 0.00 1.75 5.97 1.97

time (sec)

N/A 1.356 3.700 0.327 0.125 0.099 0.000 0.466 0.152 16.337

Problem 457

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

284 149 147 158 166 102 0 235 121 0

N.S.

1 0.52 0.52 0.56 0.58 0.36 0.00 0.83 0.43 0.00

time (sec)

N/A 0.840 1.003 0.520 0.124 0.078 0.000 0.446 0.165 0.000

Problem 458

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

122 82 58 75 65 38 0 71 46 0

N.S.

1 0.67 0.48 0.61 0.53 0.31 0.00 0.58 0.38 0.00

time (sec)

N/A 0.474 0.208 0.422 0.119 0.073 0.000 0.329 0.149 0.000

Problem 459

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

138 102 111 114 137 71 0 161 84 0

N.S.

1 0.74 0.80 0.83 0.99 0.51 0.00 1.17 0.61 0.00

time (sec)

N/A 0.586 0.693 0.223 0.128 0.079 0.000 0.382 0.164 0.000

Problem 460

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

316 235 268 620 498 355 0 398 703 0

N.S.

1 0.74 0.85 1.96 1.58 1.12 0.00 1.26 2.22 0.00

time (sec)

N/A 1.135 3.308 0.239 0.138 0.084 0.000 0.489 0.176 0.000

Problem 461

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

184 207 144 200 299 198 0 447 666 323

N.S.

1 1.12 0.78 1.09 1.62 1.08 0.00 2.43 3.62 1.76

time (sec)

N/A 0.945 0.967 0.886 0.045 0.093 0.000 0.373 0.182 16.277

Problem 462

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

76 80 74 95 126 125 0 182 261 160

N.S.

1 1.05 0.97 1.25 1.66 1.64 0.00 2.39 3.43 2.11

time (sec)

N/A 0.302 0.276 0.289 0.036 0.086 0.000 0.356 0.162 16.009

Problem 463

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

92 135 97 120 0 279 0 139 155 444

N.S.

1 1.47 1.05 1.30 0.00 3.03 0.00 1.51 1.68 4.83

time (sec)

N/A 0.842 0.822 0.252 0.000 0.098 0.000 0.339 0.185 16.007

Problem 464

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

230 302 276 307 0 1335 0 469 1817 5469

N.S.

1 1.31 1.20 1.33 0.00 5.80 0.00 2.04 7.90 23.78

time (sec)

N/A 1.743 2.139 0.877 0.000 0.151 0.000 0.446 0.179 25.204

Problem 465

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

359 190 143 298 440 162 0 605 487 0

N.S.

1 0.53 0.40 0.83 1.23 0.45 0.00 1.69 1.36 0.00

time (sec)

N/A 0.768 0.823 3.074 0.141 0.091 0.000 0.403 0.155 0.000

Problem 466

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

173 87 67 174 164 85 0 208 123 0

N.S.

1 0.50 0.39 1.01 0.95 0.49 0.00 1.20 0.71 0.00

time (sec)

N/A 0.537 0.212 2.780 0.130 0.084 0.000 0.346 0.175 0.000

Problem 467

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

142 115 92 147 0 184 0 383 62 0

N.S.

1 0.81 0.65 1.04 0.00 1.30 0.00 2.70 0.44 0.00

time (sec)

N/A 0.651 0.602 2.599 0.000 0.089 0.000 0.602 0.158 0.000

Problem 468

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

330 268 216 621 0 798 0 405 937 0

N.S.

1 0.81 0.65 1.88 0.00 2.42 0.00 1.23 2.84 0.00

time (sec)

N/A 1.402 2.360 2.199 0.000 0.116 0.000 0.402 0.176 0.000

Problem 469

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

17 17 19 8 0 6 8 14 19 16

N.S.

1 1.00 1.12 0.47 0.00 0.35 0.47 0.82 1.12 0.94

time (sec)

N/A 0.208 0.052 0.127 0.000 0.061 0.038 0.268 0.147 16.361

Problem 470

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

17 17 19 8 0 6 10 14 20 13

N.S.

1 1.00 1.12 0.47 0.00 0.35 0.59 0.82 1.18 0.76

time (sec)

N/A 0.209 0.019 0.116 0.000 0.066 0.038 0.243 0.170 17.053

Problem 471

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

6 6 6 7 6 11 7 16 6 32

N.S.

1 1.00 1.00 1.17 1.00 1.83 1.17 2.67 1.00 5.33

time (sec)

N/A 0.181 0.042 0.160 0.034 0.074 0.057 0.266 0.152 16.766

Problem 472

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

47 47 39 60 181 59 360 77 1 1976

N.S.

1 1.00 0.83 1.28 3.85 1.26 7.66 1.64 0.02 42.04

time (sec)

N/A 0.226 0.177 0.257 0.113 0.082 0.373 0.295 0.168 28.130

Problem 473

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

74 74 75 113 271 194 0 132 44 129

N.S.

1 1.00 1.01 1.53 3.66 2.62 0.00 1.78 0.59 1.74

time (sec)

N/A 0.331 0.269 0.258 0.120 0.089 0.000 0.329 0.155 16.713

Problem 474

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

66 66 64 37 199 152 0 26 18 95

N.S.

1 1.00 0.97 0.56 3.02 2.30 0.00 0.39 0.27 1.44

time (sec)

N/A 0.319 0.217 0.326 0.051 0.073 0.000 0.300 0.168 15.609

Problem 475

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

84 84 78 167 243 155 1030 148 57 1099

N.S.

1 1.00 0.93 1.99 2.89 1.85 12.26 1.76 0.68 13.08

time (sec)

N/A 0.322 0.318 0.260 0.116 0.095 12.100 0.307 0.154 23.229

Problem 476

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 85 92 124 286 226 0 150 129 141

N.S.

1 1.00 1.08 1.46 3.36 2.66 0.00 1.76 1.52 1.66

time (sec)

N/A 0.343 0.364 0.237 0.127 0.086 0.000 0.302 0.171 15.967

Problem 477

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

129 141 122 218 451 311 0 270 1368 264

N.S.

1 1.09 0.95 1.69 3.50 2.41 0.00 2.09 10.60 2.05

time (sec)

N/A 0.526 0.634 0.381 0.145 0.103 0.000 0.392 0.168 16.724

Problem 478

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

115 113 95 185 0 627 0 178 166 1709

N.S.

1 0.98 0.83 1.61 0.00 5.45 0.00 1.55 1.44 14.86

time (sec)

N/A 0.386 0.246 0.303 0.000 0.133 0.000 0.293 0.159 42.800

Problem 479

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

113 119 118 206 0 1277 0 209 523 205

N.S.

1 1.05 1.04 1.82 0.00 11.30 0.00 1.85 4.63 1.81

time (sec)

N/A 0.401 0.290 0.332 0.000 0.146 0.000 0.278 0.176 15.915

Problem 480

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

200 225 326 853 0 3402 0 1162 9162 946

N.S.

1 1.12 1.63 4.26 0.00 17.01 0.00 5.81 45.81 4.73

time (sec)

N/A 0.717 0.653 0.740 0.000 0.274 0.000 0.376 4.768 21.393

Problem 481

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

84 84 147 86 0 72 94 168 157 99

N.S.

1 1.00 1.75 1.02 0.00 0.86 1.12 2.00 1.87 1.18

time (sec)

N/A 0.241 0.186 0.265 0.000 0.070 0.298 0.268 0.165 18.590

Problem 482

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

84 84 147 79 0 56 73 168 161 584

N.S.

1 1.00 1.75 0.94 0.00 0.67 0.87 2.00 1.92 6.95

time (sec)

N/A 0.235 0.169 0.290 0.000 0.072 0.321 0.275 0.154 21.694

Problem 483

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

116 114 96 187 0 625 0 177 165 1741

N.S.

1 0.98 0.83 1.61 0.00 5.39 0.00 1.53 1.42 15.01

time (sec)

N/A 0.379 0.331 0.316 0.000 0.142 0.000 0.282 0.157 43.592

Problem 484

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

114 120 123 207 0 1301 0 206 550 204

N.S.

1 1.05 1.08 1.82 0.00 11.41 0.00 1.81 4.82 1.79

time (sec)

N/A 0.402 0.429 0.334 0.000 0.137 0.000 0.275 0.155 16.210

Problem 485

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

200 226 361 832 0 3513 0 1054 4229 912

N.S.

1 1.13 1.80 4.16 0.00 17.56 0.00 5.27 21.14 4.56

time (sec)

N/A 0.694 0.802 0.725 0.000 0.296 0.000 0.389 0.249 19.715

Problem 486

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 85 152 84 0 71 100 169 215 96

N.S.

1 1.00 1.79 0.99 0.00 0.84 1.18 1.99 2.53 1.13

time (sec)

N/A 0.237 0.317 0.314 0.000 0.067 0.401 0.292 0.159 17.221

Problem 487

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 85 152 77 0 57 78 169 219 96

N.S.

1 1.00 1.79 0.91 0.00 0.67 0.92 1.99 2.58 1.13

time (sec)

N/A 0.241 0.327 0.248 0.000 0.072 0.407 0.259 0.172 17.333

Problem 488

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

119 125 98 217 0 687 0 187 87 1864

N.S.

1 1.05 0.82 1.82 0.00 5.77 0.00 1.57 0.73 15.66

time (sec)

N/A 0.381 0.446 0.331 0.000 0.141 0.000 0.273 0.185 46.287

Problem 489

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

110 116 116 206 0 1316 0 205 554 202

N.S.

1 1.05 1.05 1.87 0.00 11.96 0.00 1.86 5.04 1.84

time (sec)

N/A 0.390 0.474 0.340 0.000 0.155 0.000 0.263 0.169 16.204

Problem 490

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

197 221 311 795 0 3264 0 1034 14520 923

N.S.

1 1.12 1.58 4.04 0.00 16.57 0.00 5.25 73.71 4.69

time (sec)

N/A 0.663 0.808 0.706 0.000 0.282 0.000 0.373 2.409 20.426

Problem 491

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

92 87 195 118 0 78 110 178 235 118

N.S.

1 0.95 2.12 1.28 0.00 0.85 1.20 1.93 2.55 1.28

time (sec)

N/A 0.263 0.479 0.294 0.000 0.071 0.440 0.267 0.161 18.876

Problem 492

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

90 85 195 116 0 68 99 178 234 118

N.S.

1 0.94 2.17 1.29 0.00 0.76 1.10 1.98 2.60 1.31

time (sec)

N/A 0.262 0.469 0.291 0.000 0.070 0.409 0.287 0.150 16.988

Problem 493

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

131 129 110 227 0 713 0 199 1 2711

N.S.

1 0.98 0.84 1.73 0.00 5.44 0.00 1.52 0.01 20.69

time (sec)

N/A 0.405 0.460 0.425 0.000 0.147 0.000 0.308 0.161 81.555

Problem 494

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

127 133 137 231 0 1556 0 241 67 227

N.S.

1 1.05 1.08 1.82 0.00 12.25 0.00 1.90 0.53 1.79

time (sec)

N/A 0.421 0.586 0.353 0.000 0.166 0.000 0.300 0.178 16.413

Problem 495

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

237 262 452 1080 0 4240 0 1506 376 1160

N.S.

1 1.11 1.91 4.56 0.00 17.89 0.00 6.35 1.59 4.89

time (sec)

N/A 0.776 1.162 0.776 0.000 0.325 0.000 0.418 0.195 21.372

Problem 496

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

105 105 165 136 0 89 129 203 286 132

N.S.

1 1.00 1.57 1.30 0.00 0.85 1.23 1.93 2.72 1.26

time (sec)

N/A 0.273 0.489 0.303 0.000 0.105 0.683 0.298 0.161 21.334

Problem 497

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

103 103 167 135 0 73 105 203 285 133

N.S.

1 1.00 1.62 1.31 0.00 0.71 1.02 1.97 2.77 1.29

time (sec)

N/A 0.274 0.531 0.338 0.000 0.070 0.660 0.294 0.207 20.932

Problem 498

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 68 32 36 0 24 0 68 35 62

N.S.

1 2.83 1.33 1.50 0.00 1.00 0.00 2.83 1.46 2.58

time (sec)

N/A 0.271 0.143 0.357 0.000 0.068 0.000 0.294 0.165 16.968

Problem 499

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

390 424 7823 3334 0 2010 0 0 27 0

N.S.

1 1.09 20.06 8.55 0.00 5.15 0.00 0.00 0.07 0.00

time (sec)

N/A 2.309 6.635 3.311 0.000 0.193 0.000 0.000 200.021 0.000

Problem 500

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

294 314 5218 2163 0 1688 0 0 0 0

N.S.

1 1.07 17.75 7.36 0.00 5.74 0.00 0.00 0.00 0.00

time (sec)

N/A 1.550 6.387 0.809 0.000 0.145 0.000 0.000 0.453 0.000

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