2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by 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 just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 101 112 0 445 0 0 -1

N.S.

1 1.00 1.02 1.13 0.00 4.49 0.00 0.00 -0.01

time (sec)

N/A 0.046 0.161 4.026 0.000 0.409 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 86 76 246 475 0 0 -1

N.S.

1 1.00 0.83 0.73 2.37 4.57 0.00 0.00 -0.01

time (sec)

N/A 0.048 0.058 8.348 0.305 0.381 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 136 141 0 803 0 0 -1

N.S.

1 1.00 0.99 1.03 0.00 5.86 0.00 0.00 -0.01

time (sec)

N/A 0.064 0.164 4.005 0.000 0.447 0.000 0.000 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

218 218 220 540 0 2430 1268 0 -1

N.S.

1 1.00 1.01 2.48 0.00 11.15 5.82 0.00 -0.00

time (sec)

N/A 0.346 0.203 10.983 0.000 0.450 0.823 0.000 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

186 186 212 437 0 1457 916 0 -1

N.S.

1 1.00 1.14 2.35 0.00 7.83 4.92 0.00 -0.01

time (sec)

N/A 0.278 0.170 6.086 0.000 0.486 0.579 0.000 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 168 290 0 784 610 0 -1

N.S.

1 1.00 1.12 1.93 0.00 5.23 4.07 0.00 -0.01

time (sec)

N/A 0.225 0.142 8.611 0.000 0.377 0.381 0.000 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 167 182 0 367 335 0 -1

N.S.

1 1.00 1.52 1.65 0.00 3.34 3.05 0.00 -0.01

time (sec)

N/A 0.164 0.142 13.897 0.000 0.380 0.219 0.000 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 105 100 0 141 143 0 -1

N.S.

1 1.00 1.64 1.56 0.00 2.20 2.23 0.00 -0.02

time (sec)

N/A 0.082 0.058 16.316 0.000 0.398 0.116 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 140 243 0 0 0 0 -1

N.S.

1 1.00 1.19 2.06 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.174 0.275 12.264 0.000 0.000 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 161 270 0 0 0 0 -1

N.S.

1 1.00 1.46 2.45 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.160 0.538 19.842 0.000 0.000 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 81 176 215 413 0 0 -1

N.S.

1 1.00 0.88 1.91 2.34 4.49 0.00 0.00 -0.01

time (sec)

N/A 0.136 0.138 16.990 0.519 0.409 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

186 186 251 352 0 0 0 0 -1

N.S.

1 1.00 1.35 1.89 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.247 0.693 16.743 0.000 0.000 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

382 382 404 1293 0 4401 2518 0 -1

N.S.

1 1.00 1.06 3.38 0.00 11.52 6.59 0.00 -0.00

time (sec)

N/A 0.477 0.370 31.689 0.000 0.427 1.382 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

307 307 359 647 0 2620 1828 0 -1

N.S.

1 1.00 1.17 2.11 0.00 8.53 5.95 0.00 -0.00

time (sec)

N/A 0.405 0.327 41.013 0.000 0.427 0.988 0.000 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

262 262 296 638 0 1389 1173 0 -1

N.S.

1 1.00 1.13 2.44 0.00 5.30 4.48 0.00 -0.00

time (sec)

N/A 0.310 0.243 37.656 0.000 0.394 0.628 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

175 175 244 301 0 642 685 0 -1

N.S.

1 1.00 1.39 1.72 0.00 3.67 3.91 0.00 -0.01

time (sec)

N/A 0.240 0.187 37.677 0.000 0.378 0.394 0.000 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 168 180 0 239 282 0 -1

N.S.

1 1.00 1.47 1.58 0.00 2.10 2.47 0.00 -0.01

time (sec)

N/A 0.120 0.117 49.309 0.000 0.371 0.192 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

159 159 217 436 0 0 0 0 -1

N.S.

1 1.00 1.36 2.74 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.191 0.385 43.264 0.000 0.000 0.000 0.000 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

186 186 327 0 0 0 0 0 -1

N.S.

1 1.00 1.76 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.227 0.850 0.178 0.000 0.000 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

164 164 266 339 0 0 0 0 -1

N.S.

1 1.00 1.62 2.07 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.264 0.784 42.894 0.000 0.000 0.000 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

297 297 601 0 0 0 0 0 -1

N.S.

1 1.00 2.02 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.399 1.346 0.207 0.000 0.000 0.000 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

377 377 562 875 0 4034 2876 0 -1

N.S.

1 1.00 1.49 2.32 0.00 10.70 7.63 0.00 -0.00

time (sec)

N/A 0.745 0.730 40.880 0.000 0.451 1.518 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

309 309 475 1058 0 2094 1889 0 -1

N.S.

1 1.00 1.54 3.42 0.00 6.78 6.11 0.00 -0.00

time (sec)

N/A 0.522 0.324 40.374 0.000 0.443 0.952 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

209 209 360 434 0 959 1027 0 -1

N.S.

1 1.00 1.72 2.08 0.00 4.59 4.91 0.00 -0.00

time (sec)

N/A 0.355 0.261 39.493 0.000 0.403 0.578 0.000 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F B B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 261 275 0 344 444 0 -1

N.S.

1 1.00 2.02 2.13 0.00 2.67 3.44 0.00 -0.01

time (sec)

N/A 0.180 0.163 43.267 0.000 0.367 0.312 0.000 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

192 192 308 674 0 0 0 0 -1

N.S.

1 1.00 1.60 3.51 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.214 0.518 47.607 0.000 0.000 0.000 0.000 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

264 264 872 0 0 0 0 0 -1

N.S.

1 1.00 3.30 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.280 1.636 0.216 0.000 0.000 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

195 195 398 551 0 0 0 0 -1

N.S.

1 1.00 2.04 2.83 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.320 1.542 56.551 0.000 0.000 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

432 432 1309 0 0 0 0 0 -1

N.S.

1 1.00 3.03 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.553 7.418 0.205 0.000 0.000 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

213 213 151 194 0 0 0 0 -1

N.S.

1 1.00 0.71 0.91 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.303 0.214 58.105 0.000 0.000 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 109 134 0 0 0 0 -1

N.S.

1 1.00 0.75 0.92 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.238 0.216 49.329 0.000 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 102 130 0 0 0 0 -1

N.S.

1 1.00 0.72 0.92 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.203 0.119 50.621 0.000 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 61 66 0 0 0 0 -1

N.S.

1 1.00 0.88 0.96 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.110 0.096 51.918 0.000 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 49 60 0 0 0 0 -1

N.S.

1 1.00 0.84 1.03 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.068 0.088 40.375 0.000 0.000 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.046 0.659 180.000 0.000 0.000 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

263 263 293 665 0 0 0 0 -1

N.S.

1 1.00 1.11 2.53 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.273 1.394 50.064 0.000 0.000 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

195 195 230 418 0 0 0 0 -1

N.S.

1 1.00 1.18 2.14 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.203 2.026 59.759 0.000 0.000 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

191 191 150 374 0 0 0 0 -1

N.S.

1 1.00 0.79 1.96 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.194 1.340 71.378 0.000 0.000 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

110 110 108 170 0 0 0 0 -1

N.S.

1 1.00 0.98 1.55 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.099 0.357 57.510 0.000 0.000 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

98 98 143 139 0 0 0 0 -1

N.S.

1 1.00 1.46 1.42 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.178 0.728 41.239 0.000 0.000 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.048 6.156 180.000 0.000 0.000 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

327 327 323 993 0 0 0 0 -1

N.S.

1 1.00 0.99 3.04 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.740 1.122 0.529 0.000 0.000 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

254 254 186 624 0 0 0 0 -1

N.S.

1 1.00 0.73 2.46 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.585 0.502 0.184 0.000 0.000 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

252 252 223 557 0 0 0 0 -1

N.S.

1 1.00 0.88 2.21 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.534 0.512 0.106 0.000 0.000 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 127 254 0 0 0 0 -1

N.S.

1 1.00 0.78 1.56 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.339 0.376 0.055 0.000 0.000 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

132 132 109 207 0 0 0 0 -1

N.S.

1 1.00 0.83 1.57 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.188 0.304 0.035 0.000 0.000 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

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

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.046 1.465 0.062 0.000 0.000 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

431 431 424 1375 0 0 0 0 -1

N.S.

1 1.00 0.98 3.19 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.793 1.832 0.214 0.000 0.000 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

360 360 330 860 0 0 0 0 -1

N.S.

1 1.00 0.92 2.39 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.575 1.279 0.137 0.000 0.000 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

352 352 272 777 0 0 0 0 -1

N.S.

1 1.00 0.77 2.21 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.613 1.011 0.119 0.000 0.000 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-1) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

218 218 195 353 0 0 0 0 -1

N.S.

1 1.00 0.89 1.62 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.335 0.764 0.052 0.000 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-1) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

174 174 144 295 0 0 0 0 -1

N.S.

1 1.00 0.83 1.70 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.285 0.528 0.043 0.000 0.000 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.044 11.508 0.063 0.000 0.000 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

361 361 342 0 0 0 0 0 -1

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.672 0.519 0.241 0.000 0.000 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

272 272 223 0 0 0 0 0 -1

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.533 0.403 0.174 0.000 0.000 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

245 245 237 0 0 0 0 0 -1

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.502 0.360 0.096 0.000 0.000 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

164 164 437 0 0 0 0 0 -1

N.S.

1 1.00 2.66 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.354 1.994 0.023 0.000 0.000 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 110 0 0 0 0 0 -1

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.238 0.247 0.016 0.000 0.000 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.059 1.750 0.050 0.000 0.000 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

374 374 558 0 0 0 0 0 -1

N.S.

1 1.00 1.49 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.941 3.011 0.123 0.000 0.000 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

342 342 592 0 0 0 0 0 -1

N.S.

1 1.00 1.73 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.723 2.020 0.100 0.000 0.000 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

212 212 515 0 0 0 0 0 -1

N.S.

1 1.00 2.43 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.453 6.878 0.023 0.000 0.000 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

157 157 290 0 0 0 0 0 -1

N.S.

1 1.00 1.85 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.250 0.558 0.017 0.000 0.000 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.072 1.269 0.062 0.000 0.000 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

469 469 968 0 0 0 0 0 -1

N.S.

1 1.00 2.06 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.420 9.936 0.121 0.000 0.000 0.000 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

408 408 1008 0 0 0 0 0 -1

N.S.

1 1.00 2.47 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.175 8.438 0.105 0.000 0.000 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

269 269 1846 0 0 0 0 0 -1

N.S.

1 1.00 6.86 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.709 8.142 0.025 0.000 0.000 0.000 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

186 186 494 0 0 0 0 0 -1

N.S.

1 1.00 2.66 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.390 2.909 0.016 0.000 0.000 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.066 0.721 0.066 0.000 0.000 0.000 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

509 509 1523 0 0 0 0 0 -1

N.S.

1 1.00 2.99 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.365 11.922 0.102 0.000 0.000 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

319 319 288 0 0 0 0 0 -1

N.S.

1 1.00 0.90 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.800 4.521 0.034 0.000 0.000 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

230 230 748 0 0 0 0 0 -1

N.S.

1 1.00 3.25 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.429 5.629 0.016 0.000 0.000 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.068 0.750 0.057 0.000 0.000 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

326 326 319 0 0 0 0 0 -1

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.444 0.393 0.175 0.000 0.000 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

217 217 205 0 0 0 0 0 -1

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.314 0.288 0.130 0.000 0.000 0.000 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 216 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.295 0.244 0.093 0.000 0.000 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 306 0 0 0 0 0 -1

N.S.

1 1.00 2.71 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.154 1.008 0.025 0.000 0.000 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F(-2) F F F

verified

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

size

92 92 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.087 0.030 0.016 0.000 0.000 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.063 0.054 0.050 0.000 0.000 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

374 374 396 0 0 0 0 0 -1

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.453 1.323 0.159 0.000 0.000 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

269 269 265 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.315 0.746 0.111 0.000 0.000 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

262 262 265 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.327 1.094 0.083 0.000 0.000 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

155 155 314 0 0 0 0 0 -1

N.S.

1 1.00 2.03 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.156 5.298 0.023 0.000 0.000 0.000 0.000 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

128 128 145 0 0 0 0 0 -1

N.S.

1 1.00 1.13 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.233 0.355 0.018 0.000 0.000 0.000 0.000 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.073 0.064 0.047 0.000 0.000 0.000 0.000 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

444 444 615 0 0 0 0 0 -1

N.S.

1 1.00 1.39 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.187 2.516 0.163 0.000 0.000 0.000 0.000 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

333 333 391 0 0 0 0 0 -1

N.S.

1 1.00 1.17 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.937 1.763 0.122 0.000 0.000 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

328 328 391 0 0 0 0 0 -1

N.S.

1 1.00 1.19 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.813 2.391 0.086 0.000 0.000 0.000 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

216 216 687 0 0 0 0 0 -1

N.S.

1 1.00 3.18 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.497 4.739 0.025 0.000 0.000 0.000 0.000 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

165 165 219 0 0 0 0 0 -1

N.S.

1 1.00 1.33 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.262 1.128 0.017 0.000 0.000 0.000 0.000 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.069 0.069 0.045 0.000 0.000 0.000 0.000 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

552 552 654 0 0 0 0 0 -1

N.S.

1 1.00 1.18 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.155 3.581 0.176 0.000 0.000 0.000 0.000 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

441 441 445 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.924 2.450 0.118 0.000 0.000 0.000 0.000 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

431 431 452 0 0 0 0 0 -1

N.S.

1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.982 2.272 0.089 0.000 0.000 0.000 0.000 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

266 266 916 0 0 0 0 0 -1

N.S.

1 1.00 3.44 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.529 3.345 0.023 0.000 0.000 0.000 0.000 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

209 209 243 0 0 0 0 0 -1

N.S.

1 1.00 1.16 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.428 0.569 0.017 0.000 0.000 0.000 0.000 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.070 0.068 0.043 0.000 0.000 0.000 0.000 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 189 150 276 0 815 0 0 -1

N.S.

1 1.00 0.79 1.46 0.00 4.31 0.00 0.00 -0.01

time (sec)

N/A 0.100 0.234 0.143 0.000 0.111 0.000 0.000 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

169 169 180 218 0 517 0 0 -1

N.S.

1 1.00 1.07 1.29 0.00 3.06 0.00 0.00 -0.01

time (sec)

N/A 0.099 0.182 0.056 0.000 0.114 0.000 0.000 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 109 253 0 279 0 0 -1

N.S.

1 1.00 0.75 1.74 0.00 1.92 0.00 0.00 -0.01

time (sec)

N/A 0.083 0.352 0.048 0.000 0.104 0.000 0.000 0.000