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

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 F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

326 326 582 0 0 0 0 0 -1

N.S.

1 1.00 1.79 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.726 3.525 180.000 0.000 0.000 0.000 0.000 0.000

Problem 102

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

150 150 272 0 0 0 0 0 -1

N.S.

1 1.00 1.81 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.168 0.414 180.000 0.000 0.000 0.000 0.000 0.000

Problem 103

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

389 389 939 0 0 0 0 0 -1

N.S.

1 1.00 2.41 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.827 7.231 180.000 0.000 0.000 0.000 0.000 0.000

Problem 104

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

179 179 458 0 0 0 0 0 -1

N.S.

1 1.00 2.56 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.253 1.483 180.000 0.000 0.000 0.000 0.000 0.000

Problem 105

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

411 411 471 0 0 0 0 0 -1

N.S.

1 1.00 1.15 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.638 0.731 180.000 0.000 0.000 0.000 0.000 0.000

Problem 106

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

204 204 217 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.302 0.676 180.000 0.000 0.000 0.000 0.000 0.000

Problem 107

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

92 92 111 0 0 0 0 0 -1

N.S.

1 1.00 1.21 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.090 0.079 180.000 0.000 0.000 0.000 0.000 0.000

Problem 108

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

269 269 301 0 0 0 0 0 -1

N.S.

1 1.00 1.12 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.378 1.773 180.000 0.000 0.000 0.000 0.000 0.000

Problem 109

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

122 122 155 0 0 0 0 0 -1

N.S.

1 1.00 1.27 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.167 0.150 180.000 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 F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

365 365 375 0 0 0 0 0 -1

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.610 1.807 180.000 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 F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 207 0 0 0 0 0 -1

N.S.

1 1.00 1.31 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.196 0.400 180.000 0.000 0.000 0.000 0.000 0.000

Problem 112

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

445 445 429 0 0 0 0 0 -1

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.688 1.740 180.000 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 F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 238 0 0 0 0 0 -1

N.S.

1 1.00 1.22 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.286 0.358 180.000 0.000 0.000 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 79 0 0 0 0 0 -1

N.S.

1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.055 0.032 180.000 0.000 0.000 0.000 0.000 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 71 93 1221 1041 527 841 -1

N.S.

1 1.00 0.71 0.93 12.21 10.41 5.27 8.41 -0.01

time (sec)

N/A 0.056 0.069 0.724 0.291 0.363 0.508 0.920 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 83 86 782 663 394 613 -1

N.S.

1 1.00 0.79 0.82 7.45 6.31 3.75 5.84 -0.01

time (sec)

N/A 0.048 0.051 0.703 0.276 0.386 0.420 0.791 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 64 73 439 352 258 416 -1

N.S.

1 1.00 0.84 0.96 5.78 4.63 3.39 5.47 -0.01

time (sec)

N/A 0.044 0.031 0.718 0.273 0.404 0.209 0.697 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 57 62 205 167 148 243 -1

N.S.

1 1.00 0.84 0.91 3.01 2.46 2.18 3.57 -0.01

time (sec)

N/A 0.027 0.044 0.675 0.271 0.355 0.151 0.571 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 140 36 35 65 51 99 85

N.S.

1 1.00 3.59 0.92 0.90 1.67 1.31 2.54 2.18

time (sec)

N/A 0.015 0.251 0.628 0.254 0.337 0.097 0.406 0.484

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

size

81 81 70 145 0 0 0 0 -1

N.S.

1 1.00 0.86 1.79 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.111 0.018 2.389 0.000 0.000 0.000 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 43 54 72 210 0 134 -1

N.S.

1 1.00 0.88 1.10 1.47 4.29 0.00 2.73 -0.02

time (sec)

N/A 0.037 0.027 0.692 0.278 0.471 0.000 0.442 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 57 60 109 211 0 0 -1

N.S.

1 1.00 0.97 1.02 1.85 3.58 0.00 0.00 -0.02

time (sec)

N/A 0.038 0.039 0.700 0.262 0.354 0.000 0.000 0.000

Problem 123

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

84 84 82 74 0 512 0 0 -1

N.S.

1 1.00 0.98 0.88 0.00 6.10 0.00 0.00 -0.01

time (sec)

N/A 0.048 0.059 0.699 0.000 0.431 0.000 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 61 80 244 477 0 0 -1

N.S.

1 1.00 0.68 0.89 2.71 5.30 0.00 0.00 -0.01

time (sec)

N/A 0.046 0.054 0.688 0.284 0.422 0.000 0.000 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 61 94 0 896 0 0 -1

N.S.

1 1.00 0.53 0.82 0.00 7.79 0.00 0.00 -0.01

time (sec)

N/A 0.058 0.056 0.921 0.000 0.419 0.000 0.000 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

187 187 155 0 0 0 0 0 -1

N.S.

1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.145 0.083 180.000 0.000 0.000 0.000 0.000 0.000

Problem 127

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

197 197 192 582 0 2430 1268 0 -1

N.S.

1 1.00 0.97 2.95 0.00 12.34 6.44 0.00 -0.01

time (sec)

N/A 0.201 0.159 3.930 0.000 0.378 0.791 0.000 0.000

Problem 128

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

172 172 170 222 0 1477 916 0 -1

N.S.

1 1.00 0.99 1.29 0.00 8.59 5.33 0.00 -0.01

time (sec)

N/A 0.172 0.126 3.543 0.000 0.382 0.579 0.000 0.000

Problem 129

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

136 136 147 308 0 784 610 0 -1

N.S.

1 1.00 1.08 2.26 0.00 5.76 4.49 0.00 -0.01

time (sec)

N/A 0.144 0.107 3.138 0.000 0.385 0.340 0.000 0.000

Problem 130

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

103 103 120 135 0 361 335 0 -1

N.S.

1 1.00 1.17 1.31 0.00 3.50 3.25 0.00 -0.01

time (sec)

N/A 0.099 0.118 2.355 0.000 0.435 0.205 0.000 0.000

Problem 131

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

57 57 87 90 0 141 143 0 -1

N.S.

1 1.00 1.53 1.58 0.00 2.47 2.51 0.00 -0.02

time (sec)

N/A 0.049 0.065 2.173 0.000 0.359 0.113 0.000 0.000

Problem 132

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

116 116 100 369 0 0 0 0 -1

N.S.

1 1.00 0.86 3.18 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.182 0.034 2.523 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

100 100 154 207 0 0 0 0 -1

N.S.

1 1.00 1.54 2.07 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.113 0.407 3.366 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 B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 120 161 216 412 0 0 -1

N.S.

1 1.00 1.41 1.89 2.54 4.85 0.00 0.00 -0.01

time (sec)

N/A 0.094 0.159 4.228 0.281 0.488 0.000 0.000 0.000

Problem 135

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

169 169 212 274 0 0 0 0 -1

N.S.

1 1.00 1.25 1.62 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.168 1.132 4.790 0.000 0.000 0.000 0.000 0.000

Problem 136

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

87 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.01

time (sec)

N/A 0.118 3.124 180.000 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 B B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

326 326 355 1389 0 4411 2518 0 -1

N.S.

1 1.00 1.09 4.26 0.00 13.53 7.72 0.00 -0.00

time (sec)

N/A 0.315 0.292 4.431 0.000 0.579 1.326 0.000 0.000

Problem 138

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

279 279 303 409 0 2632 1828 0 -1

N.S.

1 1.00 1.09 1.47 0.00 9.43 6.55 0.00 -0.00

time (sec)

N/A 0.264 0.243 3.961 0.000 0.449 0.905 0.000 0.000

Problem 139

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

227 227 258 680 0 1395 1173 0 -1

N.S.

1 1.00 1.14 3.00 0.00 6.15 5.17 0.00 -0.00

time (sec)

N/A 0.214 0.199 3.348 0.000 0.404 0.564 0.000 0.000

Problem 140

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

161 161 200 243 0 632 685 0 -1

N.S.

1 1.00 1.24 1.51 0.00 3.93 4.25 0.00 -0.01

time (sec)

N/A 0.156 0.125 2.463 0.000 0.393 0.363 0.000 0.000

Problem 141

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

100 100 147 160 0 239 282 0 -1

N.S.

1 1.00 1.47 1.60 0.00 2.39 2.82 0.00 -0.01

time (sec)

N/A 0.077 0.104 2.289 0.000 0.407 0.176 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

155 155 128 674 0 0 0 0 -1

N.S.

1 1.00 0.83 4.35 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.210 0.034 2.671 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

166 166 315 436 0 0 0 0 -1

N.S.

1 1.00 1.90 2.63 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.186 0.485 3.474 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

157 157 229 367 0 0 0 0 -1

N.S.

1 1.00 1.46 2.34 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.213 0.565 4.583 0.000 0.000 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

261 261 694 581 0 0 0 0 -1

N.S.

1 1.00 2.66 2.23 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.273 7.034 5.532 0.000 0.000 0.000 0.000 0.000

Problem 146

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

87 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.01

time (sec)

N/A 0.118 1.469 180.000 0.000 0.000 0.000 0.000 0.000

Problem 147

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

349 349 475 639 0 4046 2876 0 -1

N.S.

1 1.00 1.36 1.83 0.00 11.59 8.24 0.00 -0.00

time (sec)

N/A 0.432 0.397 4.323 0.000 0.500 1.480 0.000 0.000

Problem 148

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

281 281 412 1124 0 2103 1889 0 -1

N.S.

1 1.00 1.47 4.00 0.00 7.48 6.72 0.00 -0.00

time (sec)

N/A 0.330 0.280 4.784 0.000 0.462 0.919 0.000 0.000

Problem 149

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

195 195 300 371 0 949 1027 0 -1

N.S.

1 1.00 1.54 1.90 0.00 4.87 5.27 0.00 -0.01

time (sec)

N/A 0.212 0.188 2.562 0.000 0.399 0.544 0.000 0.000

Problem 150

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

115 115 226 245 0 344 444 0 -1

N.S.

1 1.00 1.97 2.13 0.00 2.99 3.86 0.00 -0.01

time (sec)

N/A 0.111 0.168 2.693 0.000 0.381 0.342 0.000 0.000

Problem 151

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

186 186 157 1058 0 0 0 0 -1

N.S.

1 1.00 0.84 5.69 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.219 0.046 2.817 0.000 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

234 234 501 748 0 0 0 0 -1

N.S.

1 1.00 2.14 3.20 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.214 1.078 3.652 0.000 0.000 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

186 186 360 654 0 0 0 0 -1

N.S.

1 1.00 1.94 3.52 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.268 0.856 5.115 0.000 0.000 0.000 0.000 0.000

Problem 154

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

385 385 1182 1087 0 0 0 0 -1

N.S.

1 1.00 3.07 2.82 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.381 7.991 5.812 0.000 0.000 0.000 0.000 0.000

Problem 155

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

25 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.042 1.461 180.000 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 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.319 0.255 6.076 0.000 0.000 0.000 0.000 0.000

Problem 157

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.242 0.171 7.517 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 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.201 0.141 6.077 0.000 0.000 0.000 0.000 0.000

Problem 159

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.105 0.063 5.092 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 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.061 0.063 3.054 0.000 0.000 0.000 0.000 0.000

Problem 161

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.635 180.000 0.000 0.000 0.000 0.000 0.000

Problem 162

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

256 256 281 602 0 0 0 0 -1

N.S.

1 1.00 1.10 2.35 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.272 0.823 7.062 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 B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

188 188 193 388 0 0 0 0 -1

N.S.

1 1.00 1.03 2.06 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.195 0.633 8.283 0.000 0.000 0.000 0.000 0.000

Problem 164

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

184 184 138 342 0 0 0 0 -1

N.S.

1 1.00 0.75 1.86 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.199 0.543 6.712 0.000 0.000 0.000 0.000 0.000

Problem 165

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

103 103 97 160 0 0 0 0 -1

N.S.

1 1.00 0.94 1.55 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.114 0.226 4.547 0.000 0.000 0.000 0.000 0.000

Problem 166

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

91 91 77 128 0 0 0 0 -1

N.S.

1 1.00 0.85 1.41 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.115 0.073 3.324 0.000 0.000 0.000 0.000 0.000

Problem 167

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.041 1.074 180.000 0.000 0.000 0.000 0.000 0.000

Problem 168

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

320 320 316 896 0 0 0 0 -1

N.S.

1 1.00 0.99 2.80 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.576 0.916 6.743 0.000 0.000 0.000 0.000 0.000

Problem 169

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

247 247 179 579 0 0 0 0 -1

N.S.

1 1.00 0.72 2.34 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.446 0.506 8.082 0.000 0.000 0.000 0.000 0.000

Problem 170

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

246 246 216 507 0 0 0 0 -1

N.S.

1 1.00 0.88 2.06 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.410 0.570 6.562 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 A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 120 239 0 0 0 0 -1

N.S.

1 1.00 0.77 1.53 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.222 0.243 5.261 0.000 0.000 0.000 0.000 0.000

Problem 172

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

125 125 100 190 0 0 0 0 -1

N.S.

1 1.00 0.80 1.52 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.127 0.211 3.313 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 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 0.778 180.000 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 B F(-1) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

410 410 410 1244 0 0 0 0 -1

N.S.

1 1.00 1.00 3.03 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.581 1.395 6.905 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 B F(-1) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

340 340 318 800 0 0 0 0 -1

N.S.

1 1.00 0.94 2.35 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.439 0.814 8.213 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 B F(-1) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

331 331 258 709 0 0 0 0 -1

N.S.

1 1.00 0.78 2.14 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.481 0.652 6.628 0.000 0.000 0.000 0.000 0.000

Problem 177

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

204 204 181 333 0 0 0 0 -1

N.S.

1 1.00 0.89 1.63 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.230 0.591 4.477 0.000 0.000 0.000 0.000 0.000

Problem 178

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

160 160 130 272 0 0 0 0 -1

N.S.

1 1.00 0.81 1.70 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.191 0.315 3.336 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 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 2.548 180.000 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 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.617 0.450 180.000 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 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.453 0.211 180.000 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 Yes TBD TBD TBD TBD TBD TBD

size

245 245 238 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.394 0.287 180.000 0.000 0.000 0.000 0.000 0.000

Problem 183

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

164 164 140 0 0 0 0 0 -1

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.308 0.079 180.000 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 Yes TBD TBD TBD TBD TBD TBD

size

115 115 111 0 0 0 0 0 -1

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.162 0.100 0.140 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.058 1.441 180.000 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 Yes TBD TBD TBD TBD TBD TBD

size

601 601 343 0 0 0 0 0 -1

N.S.

1 1.00 0.57 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.090 0.335 180.000 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

360 360 225 0 0 0 0 0 -1

N.S.

1 1.00 0.62 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.711 0.219 180.000 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 238 0 0 0 0 0 -1

N.S.

1 1.00 0.73 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.578 0.215 180.000 0.000 0.000 0.000 0.000 0.000

Problem 189

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

205 205 142 0 0 0 0 0 -1

N.S.

1 1.00 0.69 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.326 0.079 180.000 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 Yes TBD TBD TBD TBD TBD TBD

size

150 150 272 0 0 0 0 0 -1

N.S.

1 1.00 1.81 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.174 0.172 0.170 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.064 0.989 180.000 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(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

701 701 342 0 0 0 0 0 -1

N.S.

1 1.00 0.49 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.454 0.498 180.000 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

455 455 223 0 0 0 0 0 -1

N.S.

1 1.00 0.49 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.016 0.232 180.000 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 Yes TBD TBD TBD TBD TBD TBD

size

394 394 238 0 0 0 0 0 -1

N.S.

1 1.00 0.60 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.839 0.303 180.000 0.000 0.000 0.000 0.000 0.000

Problem 195

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

262 262 126 0 0 0 0 0 -1

N.S.

1 1.00 0.48 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.476 0.058 180.000 0.000 0.000 0.000 0.000 0.000

Problem 196

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

179 179 458 0 0 0 0 0 -1

N.S.

1 1.00 2.56 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.268 1.396 0.122 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) 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.068 0.749 180.000 0.000 0.000 0.000 0.000 0.000

Problem 198

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

835 835 343 0 0 0 0 0 -1

N.S.

1 1.00 0.41 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 2.089 0.364 180.000 0.000 0.000 0.000 0.000 0.000

Problem 199

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

547 547 225 0 0 0 0 0 -1

N.S.

1 1.00 0.41 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.357 0.229 180.000 0.000 0.000 0.000 0.000 0.000

Problem 200

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

481 481 238 0 0 0 0 0 -1

N.S.

1 1.00 0.49 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.008 0.237 180.000 0.000 0.000 0.000 0.000 0.000

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