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

Integrals 101 to 190

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 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

155 160 314 0 0 0 0 0 0 0

N.S.

1 1.03 2.03 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.883 4.392 0.000 0.000 0.000 0.000 0.000 2.201 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

128 135 145 0 0 0 0 0 42 0

N.S.

1 1.05 1.13 0.00 0.00 0.00 0.00 0.00 0.33 0.00

time (sec)

N/A 1.197 0.207 0.000 0.000 0.000 0.000 0.000 0.204 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 25 27 23 25 0 88 25 82 25

N.S.

1 1.00 1.08 0.92 1.00 0.00 3.52 1.00 3.28 1.00

time (sec)

N/A 0.549 0.136 0.081 0.658 0.000 4.145 0.334 0.292 2.840

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

444 614 615 0 0 0 0 0 0 0

N.S.

1 1.38 1.39 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.234 2.224 0.000 0.000 0.000 0.000 0.000 4.479 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

333 436 391 0 0 0 0 0 0 0

N.S.

1 1.31 1.17 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.169 1.612 0.000 0.000 0.000 0.000 0.000 3.702 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

328 412 391 0 0 0 0 0 0 0

N.S.

1 1.26 1.19 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.312 1.946 0.000 0.000 0.000 0.000 0.000 3.204 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

216 223 687 0 0 0 0 0 0 0

N.S.

1 1.03 3.18 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.841 3.791 0.000 0.000 0.000 0.000 0.000 2.499 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

165 175 219 0 0 0 0 0 58 0

N.S.

1 1.06 1.33 0.00 0.00 0.00 0.00 0.00 0.35 0.00

time (sec)

N/A 0.917 0.399 0.000 0.000 0.000 0.000 0.000 0.231 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 25 27 23 25 0 155 25 117 25

N.S.

1 1.00 1.08 0.92 1.00 0.00 6.20 1.00 4.68 1.00

time (sec)

N/A 0.326 0.145 0.079 0.650 0.000 67.087 0.379 0.338 3.001

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

552 714 654 0 0 0 0 0 0 0

N.S.

1 1.29 1.18 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.605 3.063 0.000 0.000 0.000 0.000 0.000 5.198 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

441 542 445 0 0 0 0 0 0 0

N.S.

1 1.23 1.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.513 1.974 0.000 0.000 0.000 0.000 0.000 4.218 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

431 507 452 0 0 0 0 0 0 0

N.S.

1 1.18 1.05 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.908 1.874 0.000 0.000 0.000 0.000 0.000 3.445 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

266 271 916 0 0 0 0 0 0 0

N.S.

1 1.02 3.44 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.653 3.242 0.000 0.000 0.000 0.000 0.000 2.726 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

209 218 243 0 0 0 0 0 74 0

N.S.

1 1.04 1.16 0.00 0.00 0.00 0.00 0.00 0.35 0.00

time (sec)

N/A 1.326 0.523 0.000 0.000 0.000 0.000 0.000 0.218 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 25 27 23 25 0 0 25 152 25

N.S.

1 1.00 1.08 0.92 1.00 0.00 0.00 1.00 6.08 1.00

time (sec)

N/A 0.330 0.148 0.085 0.694 0.000 0.000 0.433 0.336 3.039

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

169 174 149 218 0 254 0 0 137 0

N.S.

1 1.03 0.88 1.29 0.00 1.50 0.00 0.00 0.81 0.00

time (sec)

N/A 0.361 0.254 6.447 0.000 0.157 0.000 0.000 0.434 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

145 150 109 253 0 185 0 0 90 0

N.S.

1 1.03 0.75 1.74 0.00 1.28 0.00 0.00 0.62 0.00

time (sec)

N/A 0.357 0.338 3.224 0.000 0.105 0.000 0.000 0.387 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

127 130 131 194 0 142 0 0 48 0

N.S.

1 1.02 1.03 1.53 0.00 1.12 0.00 0.00 0.38 0.00

time (sec)

N/A 0.338 0.300 2.217 0.000 0.108 0.000 0.000 0.280 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

104 102 94 138 0 93 0 0 38 0

N.S.

1 0.98 0.90 1.33 0.00 0.89 0.00 0.00 0.37 0.00

time (sec)

N/A 0.312 0.141 2.059 0.000 0.117 0.000 0.000 0.253 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

84 82 92 119 0 110 0 0 61 0

N.S.

1 0.98 1.10 1.42 0.00 1.31 0.00 0.00 0.73 0.00

time (sec)

N/A 0.299 0.110 2.092 0.000 0.115 0.000 0.000 0.279 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

150 148 94 268 0 181 0 0 147 0

N.S.

1 0.99 0.63 1.79 0.00 1.21 0.00 0.00 0.98 0.00

time (sec)

N/A 0.490 0.097 3.473 0.000 0.114 0.000 0.000 0.280 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

130 132 94 201 0 208 0 0 273 0

N.S.

1 1.02 0.72 1.55 0.00 1.60 0.00 0.00 2.10 0.00

time (sec)

N/A 0.552 0.106 4.733 0.000 0.116 0.000 0.000 0.281 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

153 154 140 0 0 0 0 0 229 0

N.S.

1 1.01 0.92 0.00 0.00 0.00 0.00 0.00 1.50 0.00

time (sec)

N/A 0.977 0.355 0.000 0.000 0.000 0.000 0.000 0.630 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

153 154 140 0 0 0 0 0 148 0

N.S.

1 1.01 0.92 0.00 0.00 0.00 0.00 0.00 0.97 0.00

time (sec)

N/A 0.696 0.334 0.000 0.000 0.000 0.000 0.000 0.464 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

153 154 140 0 0 0 0 0 76 0

N.S.

1 1.01 0.92 0.00 0.00 0.00 0.00 0.00 0.50 0.00

time (sec)

N/A 0.591 0.290 0.000 0.000 0.000 0.000 0.000 0.327 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

151 150 140 0 0 0 0 0 66 0

N.S.

1 0.99 0.93 0.00 0.00 0.00 0.00 0.00 0.44 0.00

time (sec)

N/A 0.546 0.203 0.000 0.000 0.000 0.000 0.000 0.277 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

149 148 140 0 0 0 0 0 107 0

N.S.

1 0.99 0.94 0.00 0.00 0.00 0.00 0.00 0.72 0.00

time (sec)

N/A 0.562 0.204 0.000 0.000 0.000 0.000 0.000 0.279 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

153 150 140 0 0 0 0 0 275 0

N.S.

1 0.98 0.92 0.00 0.00 0.00 0.00 0.00 1.80 0.00

time (sec)

N/A 0.572 0.239 0.000 0.000 0.000 0.000 0.000 0.310 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 25 27 23 0 100 22 25 204 25

N.S.

1 1.00 1.08 0.92 0.00 4.00 0.88 1.00 8.16 1.00

time (sec)

N/A 0.616 32.548 0.096 0.000 0.100 72.517 1.392 0.638 3.169

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 25 27 23 0 55 22 25 102 25

N.S.

1 1.00 1.08 0.92 0.00 2.20 0.88 1.00 4.08 1.00

time (sec)

N/A 0.622 94.850 0.079 0.000 0.102 6.739 0.994 0.399 3.095

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 25 27 23 0 55 22 25 94 25

N.S.

1 1.00 1.08 0.92 0.00 2.20 0.88 1.00 3.76 1.00

time (sec)

N/A 0.828 44.071 0.094 0.000 0.116 4.231 0.475 0.314 3.130

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 25 27 23 0 83 22 25 153 25

N.S.

1 1.00 1.08 0.92 0.00 3.32 0.88 1.00 6.12 1.00

time (sec)

N/A 0.986 17.681 0.087 0.000 0.103 8.153 0.614 0.335 3.039

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 25 27 23 0 97 22 0 405 25

N.S.

1 1.00 1.08 0.92 0.00 3.88 0.88 0.00 16.20 1.00

time (sec)

N/A 0.832 15.475 0.095 0.000 0.113 28.755 0.000 0.375 3.047

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

23 23 25 23 935 71 20 25 265 25

N.S.

1 1.00 1.09 1.00 40.65 3.09 0.87 1.09 11.52 1.09

time (sec)

N/A 0.807 2.473 0.572 6.372 0.117 94.446 1.056 0.286 3.190

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

23 23 25 23 713 55 20 25 204 25

N.S.

1 1.00 1.09 1.00 31.00 2.39 0.87 1.09 8.87 1.09

time (sec)

N/A 0.649 1.091 0.485 4.680 0.113 36.490 0.714 0.277 3.152

Problem 136

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

206 198 178 0 0 0 0 0 143 0

N.S.

1 0.96 0.86 0.00 0.00 0.00 0.00 0.00 0.69 0.00

time (sec)

N/A 0.600 0.286 0.000 0.000 0.000 0.000 0.000 0.264 0.000

Problem 137

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

112 122 106 0 0 0 0 0 82 0

N.S.

1 1.09 0.95 0.00 0.00 0.00 0.00 0.00 0.73 0.00

time (sec)

N/A 0.380 0.132 0.000 0.000 0.000 0.000 0.000 0.240 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

23 23 25 23 25 25 19 25 25 25

N.S.

1 1.00 1.09 1.00 1.09 1.09 0.83 1.09 1.09 1.09

time (sec)

N/A 0.287 0.440 0.338 0.112 0.083 1.302 0.183 0.255 3.091

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

23 23 25 23 1180 41 20 25 41 25

N.S.

1 1.00 1.09 1.00 51.30 1.78 0.87 1.09 1.78 1.09

time (sec)

N/A 0.280 0.418 0.349 3.205 0.106 14.667 0.201 0.212 3.086

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

54 67 50 0 0 0 0 0 12 0

N.S.

1 1.24 0.93 0.00 0.00 0.00 0.00 0.00 0.22 0.00

time (sec)

N/A 0.364 0.039 0.000 0.000 0.000 0.000 0.000 0.182 0.000

Problem 141

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

size

117 125 79 75 56 40 0 60 47 0

N.S.

1 1.07 0.68 0.64 0.48 0.34 0.00 0.51 0.40 0.00

time (sec)

N/A 0.306 0.040 0.079 0.025 0.093 0.000 0.401 0.180 0.000

Problem 142

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

size

86 89 74 65 46 35 0 55 36 0

N.S.

1 1.03 0.86 0.76 0.53 0.41 0.00 0.64 0.42 0.00

time (sec)

N/A 0.257 0.032 0.024 0.024 0.089 0.000 0.404 0.192 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

50 51 273 49 33 28 0 47 24 40

N.S.

1 1.02 5.46 0.98 0.66 0.56 0.00 0.94 0.48 0.80

time (sec)

N/A 0.216 4.603 0.015 0.036 0.090 0.000 0.412 0.197 4.200

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

46 65 46 65 0 0 0 0 9 0

N.S.

1 1.41 1.00 1.41 0.00 0.00 0.00 0.00 0.20 0.00

time (sec)

N/A 0.344 0.033 0.108 0.000 0.000 0.000 0.000 0.205 0.000

Problem 145

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

40 40 40 29 19 26 0 45 21 0

N.S.

1 1.00 1.00 0.72 0.48 0.65 0.00 1.12 0.52 0.00

time (sec)

N/A 0.260 0.016 0.033 0.113 0.082 0.000 0.383 0.198 0.000

Problem 146

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

76 81 49 35 30 32 0 62 33 0

N.S.

1 1.07 0.64 0.46 0.39 0.42 0.00 0.82 0.43 0.00

time (sec)

N/A 0.305 0.019 0.030 0.108 0.100 0.000 0.424 0.189 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 24 59 38 17 72 0 22 6 23

N.S.

1 1.00 2.46 1.58 0.71 3.00 0.00 0.92 0.25 0.96

time (sec)

N/A 0.287 0.128 0.126 0.103 0.095 0.000 0.128 0.208 0.380

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

60 68 179 86 0 0 0 0 12 0

N.S.

1 1.13 2.98 1.43 0.00 0.00 0.00 0.00 0.20 0.00

time (sec)

N/A 0.583 0.378 0.118 0.000 0.000 0.000 0.000 0.186 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

145 145 264 1044 0 298 0 0 76 0

N.S.

1 1.00 1.82 7.20 0.00 2.06 0.00 0.00 0.52 0.00

time (sec)

N/A 0.503 0.140 0.211 0.000 0.093 0.000 0.000 0.197 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

120 122 171 473 0 210 0 0 56 0

N.S.

1 1.02 1.42 3.94 0.00 1.75 0.00 0.00 0.47 0.00

time (sec)

N/A 0.468 0.077 0.129 0.000 0.114 0.000 0.000 0.180 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

72 72 104 184 128 131 0 0 36 0

N.S.

1 1.00 1.44 2.56 1.78 1.82 0.00 0.00 0.50 0.00

time (sec)

N/A 0.218 0.042 0.095 0.094 0.089 0.000 0.000 0.209 0.000

Problem 152

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

44 49 37 36 44 63 37 62 16 32

N.S.

1 1.11 0.84 0.82 1.00 1.43 0.84 1.41 0.36 0.73

time (sec)

N/A 0.185 0.040 0.035 0.035 0.101 0.380 0.127 0.186 3.291

Problem 153

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

98 98 118 0 0 0 0 0 16 0

N.S.

1 1.00 1.20 0.00 0.00 0.00 0.00 0.00 0.16 0.00

time (sec)

N/A 0.243 0.124 0.000 0.000 0.000 0.000 0.000 0.185 0.000

Problem 154

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

150 150 130 0 0 0 0 0 34 0

N.S.

1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 0.23 0.00

time (sec)

N/A 0.264 0.776 0.000 0.000 0.000 0.000 0.000 0.175 0.000

Problem 155

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

180 183 152 0 0 0 0 0 52 0

N.S.

1 1.02 0.84 0.00 0.00 0.00 0.00 0.00 0.29 0.00

time (sec)

N/A 0.356 0.306 0.000 0.000 0.000 0.000 0.000 0.199 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

147 147 264 1044 0 298 0 0 76 0

N.S.

1 1.00 1.80 7.10 0.00 2.03 0.00 0.00 0.52 0.00

time (sec)

N/A 0.336 0.150 0.214 0.000 0.116 0.000 0.000 0.199 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

110 107 171 473 0 210 0 0 56 0

N.S.

1 0.97 1.55 4.30 0.00 1.91 0.00 0.00 0.51 0.00

time (sec)

N/A 0.281 0.079 0.135 0.000 0.104 0.000 0.000 0.192 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

73 73 104 184 128 131 0 0 36 0

N.S.

1 1.00 1.42 2.52 1.75 1.79 0.00 0.00 0.49 0.00

time (sec)

N/A 0.217 0.042 0.089 0.090 0.108 0.000 0.000 0.192 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 33 33 36 44 63 41 67 16 32

N.S.

1 1.00 1.00 1.09 1.33 1.91 1.24 2.03 0.48 0.97

time (sec)

N/A 0.169 0.016 0.039 0.033 0.097 0.388 0.130 0.182 4.175

Problem 160

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

98 98 86 0 0 0 0 0 16 0

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 0.16 0.00

time (sec)

N/A 0.218 0.108 0.000 0.000 0.000 0.000 0.000 0.182 0.000

Problem 161

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 No N/A TBD TBD TBD TBD TBD TBD

size

150 150 141 0 0 0 0 0 34 0

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 0.23 0.00

time (sec)

N/A 0.250 0.602 0.000 0.000 0.000 0.000 0.000 0.182 0.000

Problem 162

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

181 184 168 0 0 0 0 0 52 0

N.S.

1 1.02 0.93 0.00 0.00 0.00 0.00 0.00 0.29 0.00

time (sec)

N/A 0.345 0.426 0.000 0.000 0.000 0.000 0.000 0.200 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

280 282 311 0 0 0 0 0 78 0

N.S.

1 1.01 1.11 0.00 0.00 0.00 0.00 0.00 0.28 0.00

time (sec)

N/A 0.633 1.887 0.000 0.000 0.000 0.000 0.000 0.350 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

238 242 254 0 0 0 0 0 44 0

N.S.

1 1.02 1.07 0.00 0.00 0.00 0.00 0.00 0.18 0.00

time (sec)

N/A 0.675 0.406 0.000 0.000 0.000 0.000 0.000 0.305 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

205 205 210 0 0 0 0 0 15 0

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 0.07 0.00

time (sec)

N/A 0.451 0.134 0.000 0.000 0.000 0.000 0.000 0.199 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

165 165 166 0 0 0 0 0 30 0

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 0.18 0.00

time (sec)

N/A 0.285 0.280 0.000 0.000 0.000 0.000 0.000 0.192 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

213 213 242 0 0 0 0 0 997 0

N.S.

1 1.00 1.14 0.00 0.00 0.00 0.00 0.00 4.68 0.00

time (sec)

N/A 0.294 0.689 0.000 0.000 0.000 0.000 0.000 0.362 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

252 254 273 0 0 0 0 0 0 0

N.S.

1 1.01 1.08 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.385 0.635 0.000 0.000 0.000 0.000 0.000 0.393 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

301 302 291 0 0 0 0 0 0 0

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.437 0.795 0.000 0.000 0.000 0.000 0.000 0.419 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

281 284 277 0 0 0 0 0 78 0

N.S.

1 1.01 0.99 0.00 0.00 0.00 0.00 0.00 0.28 0.00

time (sec)

N/A 0.400 1.816 0.000 0.000 0.000 0.000 0.000 0.252 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

239 244 221 0 0 0 0 0 44 0

N.S.

1 1.02 0.92 0.00 0.00 0.00 0.00 0.00 0.18 0.00

time (sec)

N/A 0.367 0.237 0.000 0.000 0.000 0.000 0.000 0.231 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

206 206 178 0 0 0 0 0 15 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 0.07 0.00

time (sec)

N/A 0.280 0.156 0.000 0.000 0.000 0.000 0.000 0.188 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

166 166 134 0 0 0 0 0 30 0

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 0.18 0.00

time (sec)

N/A 0.255 0.264 0.000 0.000 0.000 0.000 0.000 0.187 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

212 212 209 0 0 0 0 0 997 0

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 4.70 0.00

time (sec)

N/A 0.334 0.692 0.000 0.000 0.000 0.000 0.000 0.301 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

253 256 238 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.655 0.594 0.000 0.000 0.000 0.000 0.000 0.310 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

302 302 260 0 0 0 0 0 0 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.668 0.691 0.000 0.000 0.000 0.000 0.000 0.352 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

40 40 42 36 39 38 0 0 39 39

N.S.

1 1.00 1.05 0.90 0.98 0.95 0.00 0.00 0.98 0.98

time (sec)

N/A 0.423 0.288 0.145 23.473 0.125 0.000 0.000 0.253 2.971

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

265 247 0 844 0 0 0 0 150 0

N.S.

1 0.93 0.00 3.18 0.00 0.00 0.00 0.00 0.57 0.00

time (sec)

N/A 1.075 0.000 0.420 0.000 0.000 0.000 0.000 0.259 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

197 191 0 483 0 0 0 0 108 0

N.S.

1 0.97 0.00 2.45 0.00 0.00 0.00 0.00 0.55 0.00

time (sec)

N/A 0.767 0.000 0.164 0.000 0.000 0.000 0.000 0.251 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

133 135 0 207 0 0 0 0 64 0

N.S.

1 1.02 0.00 1.56 0.00 0.00 0.00 0.00 0.48 0.00

time (sec)

N/A 0.645 0.000 0.152 0.000 0.000 0.000 0.000 0.216 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

40 40 42 36 39 48 61 0 63 39

N.S.

1 1.00 1.05 0.90 0.98 1.20 1.52 0.00 1.58 0.98

time (sec)

N/A 0.254 0.466 0.088 1.710 0.161 73.551 0.000 0.247 2.996

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

40 40 42 36 1177 91 0 0 123 39

N.S.

1 1.00 1.05 0.90 29.42 2.28 0.00 0.00 3.08 0.98

time (sec)

N/A 0.250 3.287 0.082 2.705 0.186 0.000 0.000 0.250 3.614

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

76 82 0 110 0 0 0 0 12 0

N.S.

1 1.08 0.00 1.45 0.00 0.00 0.00 0.00 0.16 0.00

time (sec)

N/A 0.402 0.000 0.105 0.000 0.000 0.000 0.000 0.171 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

60 64 53 92 0 0 0 0 21 0

N.S.

1 1.07 0.88 1.53 0.00 0.00 0.00 0.00 0.35 0.00

time (sec)

N/A 0.449 0.058 0.144 0.000 0.000 0.000 0.000 0.180 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

3 3 3 17 0 0 0 0 20 0

N.S.

1 1.00 1.00 5.67 0.00 0.00 0.00 0.00 6.67 0.00

time (sec)

N/A 0.398 0.056 0.216 0.000 0.000 0.000 0.000 0.179 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

54 50 50 45 37 66 61 106 14 295

N.S.

1 0.93 0.93 0.83 0.69 1.22 1.13 1.96 0.26 5.46

time (sec)

N/A 0.324 0.051 0.101 0.031 0.099 0.384 0.149 0.267 7.009

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

55 50 50 0 39 152 0 124 17 303

N.S.

1 0.91 0.91 0.00 0.71 2.76 0.00 2.25 0.31 5.51

time (sec)

N/A 0.309 0.031 0.000 0.029 0.150 0.000 0.149 0.183 3.288

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

47 58 116 87 0 276 0 119 12 53

N.S.

1 1.23 2.47 1.85 0.00 5.87 0.00 2.53 0.26 1.13

time (sec)

N/A 0.331 0.233 0.489 0.000 0.310 0.000 2.393 0.195 3.699

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

62 62 62 0 0 108 0 0 24 0

N.S.

1 1.00 1.00 0.00 0.00 1.74 0.00 0.00 0.39 0.00

time (sec)

N/A 0.375 0.122 0.000 0.000 0.112 0.000 0.000 0.186 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

54 54 54 0 0 33 0 0 24 0

N.S.

1 1.00 1.00 0.00 0.00 0.61 0.00 0.00 0.44 0.00

time (sec)

N/A 0.358 0.071 0.000 0.000 0.083 0.000 0.000 0.178 0.000

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