[next] [tail] [up]

Integrals 1 to 100

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

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

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

37 37 37 34 33 33 32 34 37 34

N.S.

1 1.00 1.00 0.92 0.89 0.89 0.86 0.92 1.00 0.92

time (sec)

N/A 0.171 0.009 0.289 0.034 0.070 0.019 0.109 0.206 0.027

Problem 2

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

37 37 37 34 33 33 32 34 37 34

N.S.

1 1.00 1.00 0.92 0.89 0.89 0.86 0.92 1.00 0.92

time (sec)

N/A 0.174 0.004 0.205 0.042 0.065 0.024 0.107 0.200 0.020

Problem 3

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

149 171 131 201 230 145 0 190 228 1044

N.S.

1 1.15 0.88 1.35 1.54 0.97 0.00 1.28 1.53 7.01

time (sec)

N/A 0.328 0.419 1.161 0.119 0.101 0.000 0.125 0.230 14.124

Problem 4

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

93 102 93 156 131 99 0 113 130 580

N.S.

1 1.10 1.00 1.68 1.41 1.06 0.00 1.22 1.40 6.24

time (sec)

N/A 0.234 0.258 0.924 0.115 0.087 0.000 0.125 0.228 11.620

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

43 43 58 99 60 61 0 56 59 203

N.S.

1 1.00 1.35 2.30 1.40 1.42 0.00 1.30 1.37 4.72

time (sec)

N/A 0.171 0.138 0.883 0.114 0.100 0.000 0.126 0.205 8.448

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

50 50 235 322 0 152 0 1081 38 1615

N.S.

1 1.00 4.70 6.44 0.00 3.04 0.00 21.62 0.76 32.30

time (sec)

N/A 0.193 0.960 1.993 0.000 0.083 0.000 0.272 0.223 9.471

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

103 103 926 973 0 376 0 2553 62 0

N.S.

1 1.00 8.99 9.45 0.00 3.65 0.00 24.79 0.60 0.00

time (sec)

N/A 0.237 6.461 1.944 0.000 0.116 0.000 5.875 0.616 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

165 182 144 1982 0 731 0 4129 27 0

N.S.

1 1.10 0.87 12.01 0.00 4.43 0.00 25.02 0.16 0.00

time (sec)

N/A 0.308 15.170 1.971 0.000 0.131 0.000 29.624 200.058 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

124 161 129 350 227 188 0 375 194 0

N.S.

1 1.30 1.04 2.82 1.83 1.52 0.00 3.02 1.56 0.00

time (sec)

N/A 0.317 0.510 1.434 0.138 0.114 0.000 0.148 0.367 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

76 91 90 232 129 132 0 249 122 0

N.S.

1 1.20 1.18 3.05 1.70 1.74 0.00 3.28 1.61 0.00

time (sec)

N/A 0.227 0.321 1.009 0.119 0.095 0.000 0.134 0.340 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

37 37 54 124 56 84 168 152 61 0

N.S.

1 1.00 1.46 3.35 1.51 2.27 4.54 4.11 1.65 0.00

time (sec)

N/A 0.169 0.200 0.849 0.122 0.111 123.150 0.132 0.381 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

80 80 281 672 0 337 0 4653 84 0

N.S.

1 1.00 3.51 8.40 0.00 4.21 0.00 58.16 1.05 0.00

time (sec)

N/A 0.216 2.072 2.030 0.000 0.101 0.000 1.170 1.589 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

146 155 1036 1742 0 695 0 3493 27 0

N.S.

1 1.06 7.10 11.93 0.00 4.76 0.00 23.92 0.18 0.00

time (sec)

N/A 0.290 8.061 1.865 0.000 0.131 0.000 18.484 200.049 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

161 213 130 168 284 139 0 236 246 980

N.S.

1 1.32 0.81 1.04 1.76 0.86 0.00 1.47 1.53 6.09

time (sec)

N/A 0.340 0.436 0.768 0.040 0.098 0.000 0.129 0.270 17.088

Problem 15

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 No Yes TBD TBD TBD TBD TBD TBD

size

101 145 90 123 172 93 0 142 145 577

N.S.

1 1.44 0.89 1.22 1.70 0.92 0.00 1.41 1.44 5.71

time (sec)

N/A 0.255 0.295 0.815 0.042 0.100 0.000 0.122 0.219 18.760

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

47 47 58 91 89 55 0 69 69 293

N.S.

1 1.00 1.23 1.94 1.89 1.17 0.00 1.47 1.47 6.23

time (sec)

N/A 0.167 0.164 0.714 0.032 0.087 0.000 0.125 0.216 12.973

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

80 80 54 329 0 257 0 69 36 2280

N.S.

1 1.00 0.68 4.11 0.00 3.21 0.00 0.86 0.45 28.50

time (sec)

N/A 0.204 0.260 1.560 0.000 0.127 0.000 0.118 0.223 15.192

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

137 133 111 996 0 547 0 243 59 14522

N.S.

1 0.97 0.81 7.27 0.00 3.99 0.00 1.77 0.43 106.00

time (sec)

N/A 0.254 1.800 1.606 0.000 0.108 0.000 0.148 0.307 39.698

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

203 211 154 2029 0 1024 0 514 82 10632

N.S.

1 1.04 0.76 10.00 0.00 5.04 0.00 2.53 0.40 52.37

time (sec)

N/A 0.316 6.944 1.617 0.000 0.155 0.000 36.889 0.707 33.414

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

137 203 129 321 266 251 0 251 448 0

N.S.

1 1.48 0.94 2.34 1.94 1.83 0.00 1.83 3.27 0.00

time (sec)

N/A 0.335 0.501 0.785 0.038 0.104 0.000 0.154 0.229 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 125 89 238 156 172 0 157 287 0

N.S.

1 1.47 1.05 2.80 1.84 2.02 0.00 1.85 3.38 0.00

time (sec)

N/A 0.384 0.313 0.768 0.029 0.116 0.000 0.142 0.209 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

41 41 55 130 70 100 165 92 147 0

N.S.

1 1.00 1.34 3.17 1.71 2.44 4.02 2.24 3.59 0.00

time (sec)

N/A 0.165 0.239 0.658 0.047 0.082 119.814 0.127 0.208 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

116 112 90 687 0 506 0 0 78 0

N.S.

1 0.97 0.78 5.92 0.00 4.36 0.00 0.00 0.67 0.00

time (sec)

N/A 0.236 0.483 1.600 0.000 0.119 0.000 0.000 0.269 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

184 184 144 1781 0 999 0 0 127 0

N.S.

1 1.00 0.78 9.68 0.00 5.43 0.00 0.00 0.69 0.00

time (sec)

N/A 0.303 1.671 1.706 0.000 0.127 0.000 0.000 0.506 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

347 354 291 511 0 237 0 0 434 0

N.S.

1 1.02 0.84 1.47 0.00 0.68 0.00 0.00 1.25 0.00

time (sec)

N/A 0.578 22.260 5.467 0.000 0.106 0.000 0.000 4.983 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

270 270 237 351 0 157 0 0 223 0

N.S.

1 1.00 0.88 1.30 0.00 0.58 0.00 0.00 0.83 0.00

time (sec)

N/A 0.456 21.905 2.955 0.000 0.087 0.000 0.000 1.909 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

189 219 106 198 0 111 0 0 33 0

N.S.

1 1.16 0.56 1.05 0.00 0.59 0.00 0.00 0.17 0.00

time (sec)

N/A 0.375 13.656 1.442 0.000 0.109 0.000 0.000 0.388 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

98 251 201 234 0 134 0 0 44 0

N.S.

1 2.56 2.05 2.39 0.00 1.37 0.00 0.00 0.45 0.00

time (sec)

N/A 0.429 21.189 1.790 0.000 0.108 0.000 0.000 6.588 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

341 355 290 532 0 378 0 0 55 0

N.S.

1 1.04 0.85 1.56 0.00 1.11 0.00 0.00 0.16 0.00

time (sec)

N/A 0.541 22.650 1.758 0.000 0.103 0.000 0.000 25.018 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

461 480 325 711 0 770 0 0 66 0

N.S.

1 1.04 0.70 1.54 0.00 1.67 0.00 0.00 0.14 0.00

time (sec)

N/A 0.708 22.399 1.753 0.000 0.118 0.000 0.000 61.251 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

54 54 167 0 0 0 0 0 1407 0

N.S.

1 1.00 3.09 0.00 0.00 0.00 0.00 0.00 26.06 0.00

time (sec)

N/A 0.190 0.385 0.000 0.000 0.000 0.000 0.000 0.240 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

82 82 0 0 0 0 0 0 1395 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 17.01 0.00

time (sec)

N/A 0.222 0.000 0.000 0.000 0.000 0.000 0.000 0.250 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

89 89 0 0 0 0 0 0 1629 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 18.30 0.00

time (sec)

N/A 0.223 0.000 0.000 0.000 0.000 0.000 0.000 0.255 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

92 92 0 0 0 0 0 0 1665 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 18.10 0.00

time (sec)

N/A 0.234 0.000 0.000 0.000 0.000 0.000 0.000 0.257 0.000

Problem 35

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

242 242 283 244 326 419 503 859 483 222

N.S.

1 1.00 1.17 1.01 1.35 1.73 2.08 3.55 2.00 0.92

time (sec)

N/A 0.420 0.308 1.404 0.037 0.081 1.370 0.121 0.220 0.075

Problem 36

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

177 177 178 154 197 265 313 561 297 159

N.S.

1 1.00 1.01 0.87 1.11 1.50 1.77 3.17 1.68 0.90

time (sec)

N/A 0.343 0.182 1.344 0.041 0.073 1.241 0.120 0.214 5.805

Problem 37

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

115 115 94 78 104 143 167 310 147 100

N.S.

1 1.00 0.82 0.68 0.90 1.24 1.45 2.70 1.28 0.87

time (sec)

N/A 0.261 0.105 1.297 0.042 0.089 1.277 0.114 0.228 0.042

Problem 38

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

63 63 44 40 47 62 76 127 59 44

N.S.

1 1.00 0.70 0.63 0.75 0.98 1.21 2.02 0.94 0.70

time (sec)

N/A 0.195 0.048 0.592 0.037 0.095 0.601 0.106 0.220 5.988

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

131 135 131 132 0 306 178 165 207 192

N.S.

1 1.03 1.00 1.01 0.00 2.34 1.36 1.26 1.58 1.47

time (sec)

N/A 0.328 0.449 2.177 0.000 0.096 5.583 0.115 0.242 5.750

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

136 158 130 133 0 537 0 153 469 156

N.S.

1 1.16 0.96 0.98 0.00 3.95 0.00 1.12 3.45 1.15

time (sec)

N/A 0.364 0.546 0.964 0.000 0.100 0.000 0.118 0.230 5.694

Problem 41

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

187 237 184 184 0 876 0 271 896 230

N.S.

1 1.27 0.98 0.98 0.00 4.68 0.00 1.45 4.79 1.23

time (sec)

N/A 0.453 1.075 1.045 0.000 0.112 0.000 0.120 0.238 5.710

Problem 42

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

242 242 282 244 326 517 503 1452 607 222

N.S.

1 1.00 1.17 1.01 1.35 2.14 2.08 6.00 2.51 0.92

time (sec)

N/A 0.399 0.317 1.431 0.037 0.099 1.791 0.127 0.227 0.047

Problem 43

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

177 177 179 155 197 337 313 964 385 159

N.S.

1 1.00 1.01 0.88 1.11 1.90 1.77 5.45 2.18 0.90

time (sec)

N/A 0.330 0.196 1.418 0.051 0.083 1.358 0.130 0.211 0.035

Problem 44

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

115 115 95 79 104 190 167 548 199 100

N.S.

1 1.00 0.83 0.69 0.90 1.65 1.45 4.77 1.73 0.87

time (sec)

N/A 0.251 0.114 1.264 0.068 0.080 1.046 0.118 0.239 0.041

Problem 45

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

63 63 44 41 47 85 76 229 83 44

N.S.

1 1.00 0.70 0.65 0.75 1.35 1.21 3.63 1.32 0.70

time (sec)

N/A 0.193 0.055 0.698 0.054 0.093 0.640 0.119 0.234 5.691

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

166 173 162 170 0 492 233 266 414 363

N.S.

1 1.04 0.98 1.02 0.00 2.96 1.40 1.60 2.49 2.19

time (sec)

N/A 0.377 0.440 0.941 0.000 0.093 5.011 0.129 0.243 5.698

Problem 47

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

173 204 180 194 0 539 0 269 485 338

N.S.

1 1.18 1.04 1.12 0.00 3.12 0.00 1.55 2.80 1.95

time (sec)

N/A 0.546 0.654 0.944 0.000 0.099 0.000 0.121 0.244 5.663

Problem 48

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

203 267 182 176 0 858 0 282 891 282

N.S.

1 1.32 0.90 0.87 0.00 4.23 0.00 1.39 4.39 1.39

time (sec)

N/A 0.687 1.004 0.967 0.000 0.130 0.000 0.122 0.235 5.916

Problem 49

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

240 240 282 243 326 324 502 380 363 222

N.S.

1 1.00 1.18 1.01 1.36 1.35 2.09 1.58 1.51 0.92

time (sec)

N/A 0.401 0.289 1.536 0.048 0.093 1.105 0.114 0.229 6.261

Problem 50

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

175 175 177 155 197 197 311 243 213 159

N.S.

1 1.00 1.01 0.89 1.13 1.13 1.78 1.39 1.22 0.91

time (sec)

N/A 0.331 0.179 1.344 0.044 0.075 1.024 0.113 0.230 0.040

Problem 51

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

113 113 94 79 104 100 165 132 99 100

N.S.

1 1.00 0.83 0.70 0.92 0.88 1.46 1.17 0.88 0.88

time (sec)

N/A 0.258 0.125 1.214 0.039 0.081 0.896 0.113 0.236 0.041

Problem 52

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

61 61 44 40 53 40 70 53 39 44

N.S.

1 1.00 0.72 0.66 0.87 0.66 1.15 0.87 0.64 0.72

time (sec)

N/A 0.196 0.049 0.618 0.055 0.089 0.396 0.112 0.218 6.114

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

104 106 92 82 0 297 143 109 183 107

N.S.

1 1.02 0.88 0.79 0.00 2.86 1.38 1.05 1.76 1.03

time (sec)

N/A 0.276 0.308 0.947 0.000 0.112 2.327 0.104 0.226 6.126

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

126 164 133 138 0 539 0 151 456 128

N.S.

1 1.30 1.06 1.10 0.00 4.28 0.00 1.20 3.62 1.02

time (sec)

N/A 0.327 0.616 0.929 0.000 0.102 0.000 0.117 0.226 6.135

Problem 55

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

182 221 166 166 0 896 0 285 890 224

N.S.

1 1.21 0.91 0.91 0.00 4.92 0.00 1.57 4.89 1.23

time (sec)

N/A 0.380 1.005 0.979 0.000 0.109 0.000 0.122 0.266 6.220

Problem 56

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

238 238 278 247 334 333 420 465 365 292

N.S.

1 1.00 1.17 1.04 1.40 1.40 1.76 1.95 1.53 1.23

time (sec)

N/A 0.391 0.315 0.727 0.050 0.095 13.378 0.123 0.254 0.063

Problem 57

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

173 173 177 154 205 206 264 277 215 199

N.S.

1 1.00 1.02 0.89 1.18 1.19 1.53 1.60 1.24 1.15

time (sec)

N/A 0.321 0.236 0.775 0.048 0.092 5.505 0.125 0.259 0.039

Problem 58

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

111 111 92 86 112 110 150 137 101 111

N.S.

1 1.00 0.83 0.77 1.01 0.99 1.35 1.23 0.91 1.00

time (sec)

N/A 0.257 0.108 0.708 0.040 0.084 2.267 0.111 0.258 0.044

Problem 59

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

59 59 43 39 54 49 75 56 40 44

N.S.

1 1.00 0.73 0.66 0.92 0.83 1.27 0.95 0.68 0.75

time (sec)

N/A 0.196 0.054 0.647 0.055 0.082 0.731 0.109 0.256 0.031

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

112 112 114 112 0 492 151 114 221 141

N.S.

1 1.00 1.02 1.00 0.00 4.39 1.35 1.02 1.97 1.26

time (sec)

N/A 0.336 0.490 0.968 0.000 0.094 5.342 0.115 0.263 0.083

Problem 61

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

144 172 148 152 0 906 0 228 535 187

N.S.

1 1.19 1.03 1.06 0.00 6.29 0.00 1.58 3.72 1.30

time (sec)

N/A 0.390 0.783 0.969 0.000 0.117 0.000 0.116 0.219 6.384

Problem 62

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

214 260 230 230 0 1539 0 368 1062 310

N.S.

1 1.21 1.07 1.07 0.00 7.19 0.00 1.72 4.96 1.45

time (sec)

N/A 0.504 1.493 0.957 0.000 0.155 0.000 0.126 0.244 0.192

Problem 63

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

474 474 554 500 704 865 1032 1619 1018 479

N.S.

1 1.00 1.17 1.05 1.49 1.82 2.18 3.42 2.15 1.01

time (sec)

N/A 0.678 0.602 1.598 0.034 0.085 1.715 0.129 0.246 0.112

Problem 64

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

340 340 363 325 447 567 666 1090 650 343

N.S.

1 1.00 1.07 0.96 1.31 1.67 1.96 3.21 1.91 1.01

time (sec)

N/A 0.545 0.373 1.550 0.043 0.098 1.176 0.122 0.278 6.062

Problem 65

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

214 214 207 172 248 320 372 633 341 197

N.S.

1 1.00 0.97 0.80 1.16 1.50 1.74 2.96 1.59 0.92

time (sec)

N/A 0.393 0.209 1.497 0.033 0.085 1.008 0.118 0.267 0.054

Problem 66

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

127 127 96 88 113 143 177 274 141 114

N.S.

1 1.00 0.76 0.69 0.89 1.13 1.39 2.16 1.11 0.90

time (sec)

N/A 0.257 0.083 0.810 0.039 0.072 0.751 0.112 0.283 0.026

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

247 245 282 260 0 766 423 426 589 596

N.S.

1 0.99 1.14 1.05 0.00 3.10 1.71 1.72 2.38 2.41

time (sec)

N/A 0.489 0.548 1.079 0.000 0.126 4.987 0.119 0.282 6.195

Problem 68

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

245 265 281 274 0 1229 0 345 1117 552

N.S.

1 1.08 1.15 1.12 0.00 5.02 0.00 1.41 4.56 2.25

time (sec)

N/A 0.724 0.877 1.144 0.000 0.112 0.000 0.123 0.256 0.094

Problem 69

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

301 370 381 361 0 1865 0 524 1926 483

N.S.

1 1.23 1.27 1.20 0.00 6.20 0.00 1.74 6.40 1.60

time (sec)

N/A 1.199 1.511 1.135 0.000 0.193 0.000 0.122 0.271 6.187

Problem 70

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

474 474 554 499 704 1028 1032 2674 1224 479

N.S.

1 1.00 1.17 1.05 1.49 2.17 2.18 5.64 2.58 1.01

time (sec)

N/A 0.694 0.674 1.497 0.040 0.102 1.582 0.139 0.268 6.077

Problem 71

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

340 340 365 325 447 686 666 1819 797 343

N.S.

1 1.00 1.07 0.96 1.31 2.02 1.96 5.35 2.34 1.01

time (sec)

N/A 0.545 0.393 1.446 0.042 0.090 1.442 0.138 0.267 5.969

Problem 72

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

214 214 207 172 248 396 372 1072 429 197

N.S.

1 1.00 0.97 0.80 1.16 1.85 1.74 5.01 2.00 0.92

time (sec)

N/A 0.387 0.225 1.412 0.038 0.084 1.330 0.122 0.241 0.048

Problem 73

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

127 127 97 88 113 181 177 471 182 114

N.S.

1 1.00 0.76 0.69 0.89 1.43 1.39 3.71 1.43 0.90

time (sec)

N/A 0.262 0.090 0.692 0.048 0.091 0.779 0.123 0.218 5.858

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

284 285 322 323 0 1150 515 596 997 838

N.S.

1 1.00 1.13 1.14 0.00 4.05 1.81 2.10 3.51 2.95

time (sec)

N/A 0.541 0.848 1.500 0.000 0.115 5.551 0.129 0.237 5.877

Problem 75

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

293 324 351 396 0 1255 0 552 1156 965

N.S.

1 1.11 1.20 1.35 0.00 4.28 0.00 1.88 3.95 3.29

time (sec)

N/A 0.869 1.215 1.211 0.000 0.141 0.000 0.129 0.235 5.803

Problem 76

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

338 426 376 385 0 1897 0 580 1964 723

N.S.

1 1.26 1.11 1.14 0.00 5.61 0.00 1.72 5.81 2.14

time (sec)

N/A 1.440 1.535 1.150 0.000 0.152 0.000 0.130 0.220 5.846

Problem 77

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

472 472 553 499 704 706 1030 734 816 479

N.S.

1 1.00 1.17 1.06 1.49 1.50 2.18 1.56 1.73 1.01

time (sec)

N/A 0.685 0.550 1.648 0.048 0.097 1.422 0.127 0.225 0.087

Problem 78

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

338 338 363 328 447 452 665 489 507 343

N.S.

1 1.00 1.07 0.97 1.32 1.34 1.97 1.45 1.50 1.01

time (sec)

N/A 0.542 0.343 1.651 0.039 0.090 1.162 0.126 0.253 0.075

Problem 79

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

212 212 207 176 248 247 371 280 257 197

N.S.

1 1.00 0.98 0.83 1.17 1.17 1.75 1.32 1.21 0.93

time (sec)

N/A 0.399 0.201 1.414 0.035 0.091 0.988 0.112 0.202 5.714

Problem 80

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

125 125 96 88 120 107 175 120 104 114

N.S.

1 1.00 0.77 0.70 0.96 0.86 1.40 0.96 0.83 0.91

time (sec)

N/A 0.265 0.074 0.691 0.042 0.078 0.641 0.117 0.221 0.025

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

218 214 193 190 0 735 371 333 543 381

N.S.

1 0.98 0.89 0.87 0.00 3.37 1.70 1.53 2.49 1.75

time (sec)

N/A 0.443 0.482 1.651 0.000 0.109 4.509 0.118 0.214 0.051

Problem 82

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

224 278 279 216 0 1157 0 329 1042 376

N.S.

1 1.24 1.25 0.96 0.00 5.17 0.00 1.47 4.65 1.68

time (sec)

N/A 0.923 1.024 1.060 0.000 0.147 0.000 0.118 0.226 0.078

Problem 83

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

282 359 362 351 0 1791 0 512 1841 395

N.S.

1 1.27 1.28 1.24 0.00 6.35 0.00 1.82 6.53 1.40

time (sec)

N/A 1.215 1.346 1.122 0.000 0.154 0.000 0.125 0.254 0.153

Problem 84

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

470 470 550 500 712 715 872 1014 818 617

N.S.

1 1.00 1.17 1.06 1.51 1.52 1.86 2.16 1.74 1.31

time (sec)

N/A 0.700 0.630 0.987 0.042 0.096 53.669 0.138 0.270 5.802

Problem 85

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

336 336 363 328 455 461 563 637 509 431

N.S.

1 1.00 1.08 0.98 1.35 1.37 1.68 1.90 1.51 1.28

time (sec)

N/A 0.530 0.418 0.833 0.043 0.092 21.141 0.124 0.227 5.764

Problem 86

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

210 210 206 177 256 257 323 335 259 237

N.S.

1 1.00 0.98 0.84 1.22 1.22 1.54 1.60 1.23 1.13

time (sec)

N/A 0.397 0.223 0.758 0.044 0.088 6.685 0.111 0.230 0.052

Problem 87

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

123 123 97 88 121 117 160 140 106 128

N.S.

1 1.00 0.79 0.72 0.98 0.95 1.30 1.14 0.86 1.04

time (sec)

N/A 0.263 0.085 0.803 0.055 0.095 1.756 0.112 0.257 0.027

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

202 196 249 211 0 1062 314 272 571 319

N.S.

1 0.97 1.23 1.04 0.00 5.26 1.55 1.35 2.83 1.58

time (sec)

N/A 0.480 0.605 1.149 0.000 0.136 10.341 0.129 0.246 0.076

Problem 89

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

208 252 302 245 0 1736 0 407 1133 405

N.S.

1 1.21 1.45 1.18 0.00 8.35 0.00 1.96 5.45 1.95

time (sec)

N/A 0.831 1.309 1.214 0.000 0.139 0.000 0.120 0.226 5.779

Problem 90

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

290 349 453 393 0 2674 0 573 2032 519

N.S.

1 1.20 1.56 1.36 0.00 9.22 0.00 1.98 7.01 1.79

time (sec)

N/A 1.078 2.245 1.417 0.000 0.210 0.000 0.129 0.249 5.949

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

180 191 211 190 0 1530 0 316 268 4278

N.S.

1 1.06 1.17 1.06 0.00 8.50 0.00 1.76 1.49 23.77

time (sec)

N/A 0.425 0.544 1.096 0.000 0.124 0.000 0.153 0.228 0.293

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

154 161 189 132 0 2373 0 267 531 2058

N.S.

1 1.05 1.23 0.86 0.00 15.41 0.00 1.73 3.45 13.36

time (sec)

N/A 0.300 0.599 0.961 0.000 0.321 0.000 0.141 0.236 6.596

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

463 780 230 720 0 1574 0 318 1104 4400

N.S.

1 1.68 0.50 1.56 0.00 3.40 0.00 0.69 2.38 9.50

time (sec)

N/A 1.468 0.719 1.735 0.000 0.125 0.000 0.154 0.243 0.270

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

447 720 212 673 0 2385 0 275 1483 2133

N.S.

1 1.61 0.47 1.51 0.00 5.34 0.00 0.62 3.32 4.77

time (sec)

N/A 1.192 0.689 1.543 0.000 0.312 0.000 0.145 0.250 6.719

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

147 150 123 306 0 336 0 165 249 569

N.S.

1 1.02 0.84 2.08 0.00 2.29 0.00 1.12 1.69 3.87

time (sec)

N/A 0.311 0.519 1.013 0.000 0.145 0.000 0.134 0.284 17.379

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 16 13 9 12 0 12 10 16

N.S.

1 1.00 1.00 0.81 0.56 0.75 0.00 0.75 0.62 1.00

time (sec)

N/A 0.144 0.059 0.629 0.046 0.084 0.000 0.112 0.245 5.826

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

421 409 438 2385 0 0 0 0 54 0

N.S.

1 0.97 1.04 5.67 0.00 0.00 0.00 0.00 0.13 0.00

time (sec)

N/A 1.217 2.099 1.763 0.000 0.000 0.000 0.000 1.543 0.000

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

342 341 363 1495 0 0 0 0 24 0

N.S.

1 1.00 1.06 4.37 0.00 0.00 0.00 0.00 0.07 0.00

time (sec)

N/A 1.013 1.428 1.440 0.000 0.000 0.000 0.000 0.439 0.000

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

240 240 229 1383 0 1921 0 0 31 0

N.S.

1 1.00 0.95 5.76 0.00 8.00 0.00 0.00 0.13 0.00

time (sec)

N/A 0.482 10.495 1.476 0.000 5.556 0.000 0.000 0.374 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

351 340 361 5383 0 5816 0 0 55 0

N.S.

1 0.97 1.03 15.34 0.00 16.57 0.00 0.00 0.16 0.00

time (sec)

N/A 0.937 1.996 1.559 0.000 32.689 0.000 0.000 1.015 0.000

[next] [front] [up]