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

verified

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

size

20 20 77 17 17 21 12 0 17 16

N.S.

1 1.00 3.85 0.85 0.85 1.05 0.60 0.00 0.85 0.80

time (sec)

N/A 0.255 0.164 0.188 0.069 0.072 0.660 0.000 0.191 3.646

Problem 402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 20 78 17 30 34 26 0 30 29

N.S.

1 1.00 3.90 0.85 1.50 1.70 1.30 0.00 1.50 1.45

time (sec)

N/A 0.258 0.166 0.364 0.073 0.097 1.448 0.000 0.194 3.677

Problem 403

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

149 137 106 1576 219 1104 16781 7893 996 563

N.S.

1 0.92 0.71 10.58 1.47 7.41 112.62 52.97 6.68 3.78

time (sec)

N/A 0.499 0.199 1.128 0.055 0.142 6.764 0.176 0.239 4.194

Problem 404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

111 102 78 699 155 527 5882 2951 480 265

N.S.

1 0.92 0.70 6.30 1.40 4.75 52.99 26.59 4.32 2.39

time (sec)

N/A 0.424 0.133 0.533 0.045 0.097 3.832 0.146 0.191 3.872

Problem 405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

72 66 49 229 91 185 1498 763 180 91

N.S.

1 0.92 0.68 3.18 1.26 2.57 20.81 10.60 2.50 1.26

time (sec)

N/A 0.347 0.063 0.241 0.038 0.107 1.930 0.130 0.185 3.668

Problem 406

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

39 36 26 38 40 57 194 117 41 28

N.S.

1 0.92 0.67 0.97 1.03 1.46 4.97 3.00 1.05 0.72

time (sec)

N/A 0.290 0.027 0.121 0.033 0.109 0.816 0.122 0.184 3.590

Problem 407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 77 57 0 0 0 377 0 13 0

N.S.

1 1.00 0.74 0.00 0.00 0.00 4.90 0.00 0.17 0.00

time (sec)

N/A 0.355 0.088 0.000 0.000 0.000 2.159 0.000 0.236 0.000

Problem 408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

106 106 83 0 0 0 2382 0 19 0

N.S.

1 1.00 0.78 0.00 0.00 0.00 22.47 0.00 0.18 0.00

time (sec)

N/A 0.394 0.092 0.000 0.000 0.000 11.208 0.000 0.193 0.000

Problem 409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

112 112 83 0 0 0 8303 0 32 0

N.S.

1 1.00 0.74 0.00 0.00 0.00 74.13 0.00 0.29 0.00

time (sec)

N/A 0.403 0.087 0.000 0.000 0.000 112.937 0.000 0.205 0.000

Problem 410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

128 142 118 0 0 0 352 0 0 0

N.S.

1 1.11 0.92 0.00 0.00 0.00 2.75 0.00 0.00 0.00

time (sec)

N/A 0.477 0.122 0.000 0.000 0.000 23.225 0.000 0.219 0.000

Problem 411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

127 141 117 0 0 0 167 0 728 0

N.S.

1 1.11 0.92 0.00 0.00 0.00 1.31 0.00 5.73 0.00

time (sec)

N/A 0.471 0.099 0.000 0.000 0.000 3.877 0.000 0.214 0.000

Problem 412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

123 125 117 0 0 0 165 0 179 0

N.S.

1 1.02 0.95 0.00 0.00 0.00 1.34 0.00 1.46 0.00

time (sec)

N/A 0.457 0.114 0.000 0.000 0.000 2.704 0.000 0.197 0.000

Problem 413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

144 139 120 0 0 0 165 0 27 0

N.S.

1 0.97 0.83 0.00 0.00 0.00 1.15 0.00 0.19 0.00

time (sec)

N/A 0.482 0.134 0.000 0.000 0.000 5.549 0.000 0.201 0.000

Problem 414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

144 144 120 0 0 0 165 0 40 0

N.S.

1 1.00 0.83 0.00 0.00 0.00 1.15 0.00 0.28 0.00

time (sec)

N/A 0.484 0.194 0.000 0.000 0.000 46.213 0.000 0.223 0.000

Problem 415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

100 100 99 0 0 0 109 0 1466 0

N.S.

1 1.00 0.99 0.00 0.00 0.00 1.09 0.00 14.66 0.00

time (sec)

N/A 0.400 0.087 0.000 0.000 0.000 6.728 0.000 0.211 0.000

Problem 416

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

100 100 99 0 0 0 109 0 1438 0

N.S.

1 1.00 0.99 0.00 0.00 0.00 1.09 0.00 14.38 0.00

time (sec)

N/A 0.390 0.071 0.000 0.000 0.000 4.364 0.000 0.243 0.000

Problem 417

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

89 89 94 0 0 0 107 0 1336 0

N.S.

1 1.00 1.06 0.00 0.00 0.00 1.20 0.00 15.01 0.00

time (sec)

N/A 0.393 0.026 0.000 0.000 0.000 3.001 0.000 0.202 0.000

Problem 418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

68 66 52 0 0 0 88 0 132 0

N.S.

1 0.97 0.76 0.00 0.00 0.00 1.29 0.00 1.94 0.00

time (sec)

N/A 0.310 0.044 0.000 0.000 0.000 12.335 0.000 0.199 0.000

Problem 419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

108 108 97 0 0 0 110 0 0 0

N.S.

1 1.00 0.90 0.00 0.00 0.00 1.02 0.00 0.00 0.00

time (sec)

N/A 0.427 0.080 0.000 0.000 0.000 4.256 0.000 0.215 0.000

Problem 420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

110 110 100 0 0 0 112 0 0 0

N.S.

1 1.00 0.91 0.00 0.00 0.00 1.02 0.00 0.00 0.00

time (sec)

N/A 0.431 0.084 0.000 0.000 0.000 6.380 0.000 0.217 0.000

Problem 421

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

124 136 116 0 0 0 0 0 0 0

N.S.

1 1.10 0.94 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.469 0.639 0.000 0.000 0.000 0.000 0.000 0.230 0.000

Problem 422

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

124 136 116 0 0 0 143 0 1519 0

N.S.

1 1.10 0.94 0.00 0.00 0.00 1.15 0.00 12.25 0.00

time (sec)

N/A 0.464 0.424 0.000 0.000 0.000 24.283 0.000 0.263 0.000

Problem 423

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

132 132 113 0 0 0 143 0 0 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 1.08 0.00 0.00 0.00

time (sec)

N/A 0.472 0.697 0.000 0.000 0.000 16.523 0.000 0.223 0.000

Problem 424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

120 120 113 0 0 0 146 0 0 0

N.S.

1 1.00 0.94 0.00 0.00 0.00 1.22 0.00 0.00 0.00

time (sec)

N/A 0.448 0.680 0.000 0.000 0.000 38.597 0.000 0.227 0.000

Problem 425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

123 124 116 0 0 0 0 0 0 0

N.S.

1 1.01 0.94 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.456 0.549 0.000 0.000 0.000 0.000 0.000 0.314 0.000

Problem 426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

99 99 100 0 0 0 175 0 1313 0

N.S.

1 1.00 1.01 0.00 0.00 0.00 1.77 0.00 13.26 0.00

time (sec)

N/A 0.404 0.119 0.000 0.000 0.000 9.872 0.000 0.204 0.000

Problem 427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

98 98 99 0 0 0 175 0 1099 0

N.S.

1 1.00 1.01 0.00 0.00 0.00 1.79 0.00 11.21 0.00

time (sec)

N/A 0.398 0.113 0.000 0.000 0.000 6.722 0.000 0.193 0.000

Problem 428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

91 91 88 0 0 0 172 0 1193 0

N.S.

1 1.00 0.97 0.00 0.00 0.00 1.89 0.00 13.11 0.00

time (sec)

N/A 0.377 0.070 0.000 0.000 0.000 4.695 0.000 0.204 0.000

Problem 429

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

16 16 16 31 16 21 85 16 21 16

N.S.

1 1.00 1.00 1.94 1.00 1.31 5.31 1.00 1.31 1.00

time (sec)

N/A 0.251 0.007 0.825 0.024 0.086 13.634 0.122 0.215 4.373

Problem 430

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

90 108 94 0 0 0 170 0 1468 0

N.S.

1 1.20 1.04 0.00 0.00 0.00 1.89 0.00 16.31 0.00

time (sec)

N/A 0.431 0.131 0.000 0.000 0.000 21.226 0.000 0.208 0.000

Problem 431

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

104 104 97 0 0 0 117 0 1619 0

N.S.

1 1.00 0.93 0.00 0.00 0.00 1.12 0.00 15.57 0.00

time (sec)

N/A 0.398 0.089 0.000 0.000 0.000 6.019 0.000 0.214 0.000

Problem 432

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

107 107 100 0 0 0 177 0 1652 0

N.S.

1 1.00 0.93 0.00 0.00 0.00 1.65 0.00 15.44 0.00

time (sec)

N/A 0.420 0.134 0.000 0.000 0.000 15.017 0.000 0.211 0.000

Problem 433

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

122 124 115 0 0 0 160 0 0 0

N.S.

1 1.02 0.94 0.00 0.00 0.00 1.31 0.00 0.00 0.00

time (sec)

N/A 0.465 0.102 0.000 0.000 0.000 34.223 0.000 0.212 0.000

Problem 434

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

93 101 87 0 0 0 82 0 118 0

N.S.

1 1.09 0.94 0.00 0.00 0.00 0.88 0.00 1.27 0.00

time (sec)

N/A 0.423 0.214 0.000 0.000 0.000 64.375 0.000 0.187 0.000

Problem 435

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 22 110 46 36 40 36 48 24 31

N.S.

1 1.00 5.00 2.09 1.64 1.82 1.64 2.18 1.09 1.41

time (sec)

N/A 0.257 0.160 8.722 0.088 0.099 2.571 0.145 0.239 3.610

Problem 436

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

89 89 78 0 0 0 0 0 32 0

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 0.36 0.00

time (sec)

N/A 0.352 0.081 0.000 0.000 0.000 0.000 0.000 0.176 0.000

Problem 437

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

89 89 78 0 0 0 0 0 30 0

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 0.34 0.00

time (sec)

N/A 0.346 0.073 0.000 0.000 0.000 0.000 0.000 0.201 0.000

Problem 438

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

72 72 64 0 0 0 0 0 28 0

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 0.39 0.00

time (sec)

N/A 0.326 0.021 0.000 0.000 0.000 0.000 0.000 0.196 0.000

Problem 439

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

63 63 58 58 69 58 348 0 57 162

N.S.

1 1.00 0.92 0.92 1.10 0.92 5.52 0.00 0.90 2.57

time (sec)

N/A 0.384 0.063 0.191 0.033 0.084 1.783 0.000 0.180 4.830

Problem 440

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

90 90 74 0 0 0 0 0 40 0

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 0.44 0.00

time (sec)

N/A 0.366 0.084 0.000 0.000 0.000 0.000 0.000 0.194 0.000

Problem 441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

95 95 77 0 0 0 0 0 40 0

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 0.42 0.00

time (sec)

N/A 0.378 0.086 0.000 0.000 0.000 0.000 0.000 0.211 0.000

Problem 442

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

142 160 135 0 0 0 0 0 60 0

N.S.

1 1.13 0.95 0.00 0.00 0.00 0.00 0.00 0.42 0.00

time (sec)

N/A 0.677 0.147 0.000 0.000 0.000 0.000 0.000 0.199 0.000

Problem 443

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

143 161 134 0 0 0 0 0 58 0

N.S.

1 1.13 0.94 0.00 0.00 0.00 0.00 0.00 0.41 0.00

time (sec)

N/A 0.618 0.141 0.000 0.000 0.000 0.000 0.000 0.191 0.000

Problem 444

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

122 142 108 0 0 0 0 0 56 0

N.S.

1 1.16 0.89 0.00 0.00 0.00 0.00 0.00 0.46 0.00

time (sec)

N/A 0.549 0.096 0.000 0.000 0.000 0.000 0.000 0.201 0.000

Problem 445

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

101 98 107 100 151 224 0 0 270 0

N.S.

1 0.97 1.06 0.99 1.50 2.22 0.00 0.00 2.67 0.00

time (sec)

N/A 0.470 0.141 0.258 0.044 0.090 0.000 0.000 0.267 0.000

Problem 446

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

142 158 133 0 0 0 0 0 74 0

N.S.

1 1.11 0.94 0.00 0.00 0.00 0.00 0.00 0.52 0.00

time (sec)

N/A 0.659 0.160 0.000 0.000 0.000 0.000 0.000 0.191 0.000

Problem 447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

145 163 136 0 0 0 0 0 74 0

N.S.

1 1.12 0.94 0.00 0.00 0.00 0.00 0.00 0.51 0.00

time (sec)

N/A 0.664 0.155 0.000 0.000 0.000 0.000 0.000 0.183 0.000

Problem 448

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

16 16 24 21 20 26 19 21 35 12

N.S.

1 1.00 1.50 1.31 1.25 1.62 1.19 1.31 2.19 0.75

time (sec)

N/A 0.253 0.007 0.073 0.031 0.076 0.059 0.116 0.174 0.044

Problem 449

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

19 19 27 24 23 34 20 30 41 17

N.S.

1 1.00 1.42 1.26 1.21 1.79 1.05 1.58 2.16 0.89

time (sec)

N/A 0.247 0.013 0.086 0.027 0.074 0.057 0.118 0.190 0.050

Problem 450

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

97 117 85 82 75 106 92 77 153 103

N.S.

1 1.21 0.88 0.85 0.77 1.09 0.95 0.79 1.58 1.06

time (sec)

N/A 0.512 0.038 0.122 0.107 0.084 0.229 0.122 0.194 3.729

Problem 451

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

88 122 108 47 98 122 61 100 187 47

N.S.

1 1.39 1.23 0.53 1.11 1.39 0.69 1.14 2.12 0.53

time (sec)

N/A 0.600 0.063 0.167 0.109 0.088 145.627 0.120 0.200 0.098

Problem 452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

130 119 134 188 231 177 347 0 217 0

N.S.

1 0.92 1.03 1.45 1.78 1.36 2.67 0.00 1.67 0.00

time (sec)

N/A 0.519 0.134 0.979 0.039 0.083 5.131 0.000 0.187 0.000

Problem 453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

90 82 87 118 150 108 221 0 131 0

N.S.

1 0.91 0.97 1.31 1.67 1.20 2.46 0.00 1.46 0.00

time (sec)

N/A 0.426 0.090 0.380 0.039 0.106 3.217 0.000 0.200 0.000

Problem 454

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

60 55 50 65 83 56 116 0 63 0

N.S.

1 0.92 0.83 1.08 1.38 0.93 1.93 0.00 1.05 0.00

time (sec)

N/A 0.360 0.055 0.187 0.035 0.110 1.906 0.000 0.200 0.000

Problem 455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

54 52 44 59 60 45 0 0 44 0

N.S.

1 0.96 0.81 1.09 1.11 0.83 0.00 0.00 0.81 0.00

time (sec)

N/A 0.361 0.059 0.384 0.038 0.087 0.000 0.000 0.231 0.000

Problem 456

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

75 70 75 107 121 120 0 0 128 0

N.S.

1 0.93 1.00 1.43 1.61 1.60 0.00 0.00 1.71 0.00

time (sec)

N/A 0.391 0.094 0.826 0.036 0.098 0.000 0.000 0.198 0.000

Problem 457

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

105 97 100 157 243 267 0 0 325 0

N.S.

1 0.92 0.95 1.50 2.31 2.54 0.00 0.00 3.10 0.00

time (sec)

N/A 0.436 0.141 1.826 0.040 0.111 0.000 0.000 0.215 0.000

Problem 458

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

158 144 185 342 286 230 428 0 283 0

N.S.

1 0.91 1.17 2.16 1.81 1.46 2.71 0.00 1.79 0.00

time (sec)

N/A 0.573 0.165 0.968 0.041 0.098 7.749 0.000 0.200 0.000

Problem 459

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

118 107 125 157 192 146 277 0 178 0

N.S.

1 0.91 1.06 1.33 1.63 1.24 2.35 0.00 1.51 0.00

time (sec)

N/A 0.472 0.110 0.391 0.042 0.093 5.125 0.000 0.200 0.000

Problem 460

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

86 78 76 91 112 82 150 0 92 0

N.S.

1 0.91 0.88 1.06 1.30 0.95 1.74 0.00 1.07 0.00

time (sec)

N/A 0.401 0.080 0.195 0.036 0.117 3.194 0.000 0.188 0.000

Problem 461

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

71 66 66 78 81 74 0 0 71 0

N.S.

1 0.93 0.93 1.10 1.14 1.04 0.00 0.00 1.00 0.00

time (sec)

N/A 0.388 0.079 0.396 0.036 0.132 0.000 0.000 0.212 0.000

Problem 462

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

95 90 93 125 147 166 0 0 194 0

N.S.

1 0.95 0.98 1.32 1.55 1.75 0.00 0.00 2.04 0.00

time (sec)

N/A 0.443 0.113 0.838 0.043 0.104 0.000 0.000 0.202 0.000

Problem 463

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

120 112 94 169 262 301 0 0 336 0

N.S.

1 0.93 0.78 1.41 2.18 2.51 0.00 0.00 2.80 0.00

time (sec)

N/A 0.486 0.181 1.810 0.041 0.105 0.000 0.000 0.203 0.000

Problem 464

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

14 14 172 13 154 154 175 13 153 154

N.S.

1 1.00 12.29 0.93 11.00 11.00 12.50 0.93 10.93 11.00

time (sec)

N/A 0.224 0.008 0.102 0.026 0.073 0.063 0.123 0.198 0.149

Problem 465

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 182 15 156 156 182 156 155 156

N.S.

1 1.00 11.38 0.94 9.75 9.75 11.38 9.75 9.69 9.75

time (sec)

N/A 0.245 0.004 0.209 0.034 0.074 0.071 0.124 0.264 3.824

Problem 466

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 186 15 156 156 185 156 155 156

N.S.

1 1.00 11.62 0.94 9.75 9.75 11.56 9.75 9.69 9.75

time (sec)

N/A 0.254 0.004 0.280 0.027 0.079 0.071 0.124 0.202 0.145

Problem 467

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

21 21 21 230 229 189 360 189 186 229

N.S.

1 1.00 1.00 10.95 10.90 9.00 17.14 9.00 8.86 10.90

time (sec)

N/A 0.254 0.044 214.131 0.035 0.101 13.793 0.211 0.184 4.068

Problem 468

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

13 13 107 50 16 32 39 70 13 25

N.S.

1 1.00 8.23 3.85 1.23 2.46 3.00 5.38 1.00 1.92

time (sec)

N/A 0.251 0.177 8.842 0.093 0.097 2.877 0.162 0.183 3.617

Problem 469

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

8 9 9 9 9 10 8 11 9 8

N.S.

1 1.12 1.12 1.12 1.12 1.25 1.00 1.38 1.12 1.00

time (sec)

N/A 0.248 0.005 0.092 0.026 0.084 0.099 0.116 0.211 3.517

Problem 470

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

15 17 15 14 17 13 12 18 13 13

N.S.

1 1.13 1.00 0.93 1.13 0.87 0.80 1.20 0.87 0.87

time (sec)

N/A 0.264 0.006 0.092 0.024 0.112 0.118 0.125 0.201 0.070

Problem 471

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

15 17 15 14 17 13 12 15 38 13

N.S.

1 1.13 1.00 0.93 1.13 0.87 0.80 1.00 2.53 0.87

time (sec)

N/A 0.266 0.006 0.085 0.024 0.075 0.213 0.130 0.205 3.542

Problem 472

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

15 17 19 17 47 17 29 0 17 15

N.S.

1 1.13 1.27 1.13 3.13 1.13 1.93 0.00 1.13 1.00

time (sec)

N/A 0.278 0.029 0.111 0.033 0.099 0.387 0.000 0.182 3.504

Problem 473

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

14 14 14 13 81 81 87 13 78 12

N.S.

1 1.00 1.00 0.93 5.79 5.79 6.21 0.93 5.57 0.86

time (sec)

N/A 0.215 0.016 0.153 0.126 0.087 0.547 0.121 0.206 5.920

Problem 474

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

16 16 16 15 81 81 87 15 80 14

N.S.

1 1.00 1.00 0.94 5.06 5.06 5.44 0.94 5.00 0.88

time (sec)

N/A 0.239 0.020 0.217 0.038 0.080 0.957 0.123 0.179 2.470

Problem 475

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

16 16 16 15 81 81 87 15 80 14

N.S.

1 1.00 1.00 0.94 5.06 5.06 5.44 0.94 5.00 0.88

time (sec)

N/A 0.241 0.025 0.193 0.040 0.078 1.099 0.127 0.227 8.768

Problem 476

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 21 21 23 612 105 129 0 99 105

N.S.

1 1.00 1.00 1.10 29.14 5.00 6.14 0.00 4.71 5.00

time (sec)

N/A 0.252 0.069 11.903 0.073 0.150 50.850 0.000 0.214 3.648

Problem 477

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

52 52 46 69 53 46 58 56 41 37

N.S.

1 1.00 0.88 1.33 1.02 0.88 1.12 1.08 0.79 0.71

time (sec)

N/A 0.289 0.055 0.686 0.104 0.086 34.768 0.127 21.262 3.510

Problem 478

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

93 93 142 143 0 705 0 0 179 0

N.S.

1 1.00 1.53 1.54 0.00 7.58 0.00 0.00 1.92 0.00

time (sec)

N/A 0.396 10.360 0.178 0.000 0.226 0.000 0.000 0.217 0.000

Problem 479

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

252 226 223 0 0 607 0 0 1009 0

N.S.

1 0.90 0.88 0.00 0.00 2.41 0.00 0.00 4.00 0.00

time (sec)

N/A 0.504 1.495 0.000 0.000 0.127 0.000 0.000 0.259 0.000

Problem 480

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

199 181 178 0 0 469 0 0 739 0

N.S.

1 0.91 0.89 0.00 0.00 2.36 0.00 0.00 3.71 0.00

time (sec)

N/A 0.468 0.663 0.000 0.000 0.144 0.000 0.000 0.246 0.000

Problem 481

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

146 136 141 0 0 359 0 0 511 0

N.S.

1 0.93 0.97 0.00 0.00 2.46 0.00 0.00 3.50 0.00

time (sec)

N/A 0.408 0.382 0.000 0.000 0.128 0.000 0.000 0.228 0.000

Problem 482

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

89 87 123 0 0 281 0 0 54 0

N.S.

1 0.98 1.38 0.00 0.00 3.16 0.00 0.00 0.61 0.00

time (sec)

N/A 0.360 0.227 0.000 0.000 0.094 0.000 0.000 0.192 0.000

Problem 483

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

91 89 122 0 0 408 0 0 84 0

N.S.

1 0.98 1.34 0.00 0.00 4.48 0.00 0.00 0.92 0.00

time (sec)

N/A 0.369 0.707 0.000 0.000 0.193 0.000 0.000 0.201 0.000

Problem 484

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

95 93 57 0 0 135 0 0 144 0

N.S.

1 0.98 0.60 0.00 0.00 1.42 0.00 0.00 1.52 0.00

time (sec)

N/A 0.360 0.702 0.000 0.000 0.255 0.000 0.000 0.183 0.000

Problem 485

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

356 295 274 0 0 771 0 0 1317 0

N.S.

1 0.83 0.77 0.00 0.00 2.17 0.00 0.00 3.70 0.00

time (sec)

N/A 0.631 2.060 0.000 0.000 0.220 0.000 0.000 0.289 0.000

Problem 486

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

288 251 241 0 0 607 0 0 1012 0

N.S.

1 0.87 0.84 0.00 0.00 2.11 0.00 0.00 3.51 0.00

time (sec)

N/A 0.606 0.818 0.000 0.000 0.126 0.000 0.000 0.266 0.000

Problem 487

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

218 205 191 0 0 471 0 0 742 0

N.S.

1 0.94 0.88 0.00 0.00 2.16 0.00 0.00 3.40 0.00

time (sec)

N/A 0.540 0.415 0.000 0.000 0.123 0.000 0.000 0.278 0.000

Problem 488

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

154 151 157 0 0 361 0 0 515 0

N.S.

1 0.98 1.02 0.00 0.00 2.34 0.00 0.00 3.34 0.00

time (sec)

N/A 0.477 0.276 0.000 0.000 0.130 0.000 0.000 0.245 0.000

Problem 489

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

133 131 185 0 0 540 0 0 84 0

N.S.

1 0.98 1.39 0.00 0.00 4.06 0.00 0.00 0.63 0.00

time (sec)

N/A 0.458 0.489 0.000 0.000 0.240 0.000 0.000 0.199 0.000

Problem 490

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

147 163 217 0 0 769 0 0 114 0

N.S.

1 1.11 1.48 0.00 0.00 5.23 0.00 0.00 0.78 0.00

time (sec)

N/A 0.478 1.108 0.000 0.000 0.289 0.000 0.000 0.206 0.000

Problem 491

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

114 114 88 0 0 0 0 0 36 0

N.S.

1 1.00 0.77 0.00 0.00 0.00 0.00 0.00 0.32 0.00

time (sec)

N/A 0.404 0.200 0.000 0.000 0.000 0.000 0.000 0.195 0.000

Problem 492

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

175 195 141 0 0 0 0 0 64 0

N.S.

1 1.11 0.81 0.00 0.00 0.00 0.00 0.00 0.37 0.00

time (sec)

N/A 0.753 0.289 0.000 0.000 0.000 0.000 0.000 0.207 0.000

Problem 493

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

77 77 76 0 0 0 0 0 40 0

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 0.52 0.00

time (sec)

N/A 0.385 0.096 0.000 0.000 0.000 0.000 0.000 0.179 0.000

Problem 494

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

72 72 72 0 0 0 0 0 40 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.56 0.00

time (sec)

N/A 0.375 0.076 0.000 0.000 0.000 0.000 0.000 0.219 0.000

Problem 495

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

121 78 78 0 0 0 0 0 36 0

N.S.

1 0.64 0.64 0.00 0.00 0.00 0.00 0.00 0.30 0.00

time (sec)

N/A 0.398 0.119 0.000 0.000 0.000 0.000 0.000 0.212 0.000

Problem 496

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

357 513 212 0 0 0 0 0 0 0

N.S.

1 1.44 0.59 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.838 6.694 0.000 0.000 0.000 0.000 0.000 0.673 0.000

Problem 497

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

225 243 160 0 0 0 0 0 0 0

N.S.

1 1.08 0.71 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.840 6.264 0.000 0.000 0.000 0.000 0.000 0.307 0.000

Problem 498

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

122 124 115 0 0 0 160 0 0 0

N.S.

1 1.02 0.94 0.00 0.00 0.00 1.31 0.00 0.00 0.00

time (sec)

N/A 0.469 0.020 0.000 0.000 0.000 37.596 0.000 0.210 0.000

Problem 499

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

67 67 64 0 0 0 73 0 176 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 1.09 0.00 2.63 0.00

time (sec)

N/A 0.318 0.010 0.000 0.000 0.000 8.834 0.000 0.185 0.000

Problem 500

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

80 80 75 0 0 0 0 0 28 0

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 0.35 0.00

time (sec)

N/A 0.380 0.167 0.000 0.000 0.000 0.000 0.000 0.221 0.000

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