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

2.2.2 Integrals 101 to 200

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 Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 92 115 110 0 276 0 0 0

N.S.

1 0.93 1.16 1.11 0.00 2.79 0.00 0.00 0.00

time (sec)

N/A 0.306 0.100 0.645 0.000 0.299 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 97 86 76 260 208 0 0 0

N.S.

1 0.93 0.83 0.73 2.50 2.00 0.00 0.00 0.00

time (sec)

N/A 0.295 0.058 0.628 0.253 0.294 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 128 147 131 0 416 0 0 0

N.S.

1 0.93 1.07 0.96 0.00 3.04 0.00 0.00 0.00

time (sec)

N/A 0.317 0.159 0.667 0.000 0.322 0.000 0.000 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 192 220 218 0 618 0 0 0

N.S.

1 0.88 1.01 1.00 0.00 2.83 0.00 0.00 0.00

time (sec)

N/A 0.902 0.420 0.664 0.000 0.296 0.000 0.000 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

186 165 212 244 0 481 0 0 0

N.S.

1 0.89 1.14 1.31 0.00 2.59 0.00 0.00 0.00

time (sec)

N/A 0.864 0.359 0.674 0.000 0.276 0.000 0.000 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 134 168 167 0 358 0 0 0

N.S.

1 0.89 1.12 1.11 0.00 2.39 0.00 0.00 0.00

time (sec)

N/A 0.657 0.323 0.633 0.000 0.276 0.000 0.000 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 103 167 175 0 233 0 0 0

N.S.

1 0.94 1.52 1.59 0.00 2.12 0.00 0.00 0.00

time (sec)

N/A 0.575 0.316 0.086 0.000 0.280 0.000 0.000 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 66 105 98 0 141 0 0 0

N.S.

1 1.03 1.64 1.53 0.00 2.20 0.00 0.00 0.00

time (sec)

N/A 0.373 0.099 0.248 0.000 0.267 0.000 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

118 128 140 220 0 0 0 0 0

N.S.

1 1.08 1.19 1.86 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.715 0.474 0.668 0.000 0.000 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 92 161 246 0 0 0 0 0

N.S.

1 0.84 1.46 2.24 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.676 0.779 0.845 0.000 0.000 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 81 81 168 229 320 0 0 0

N.S.

1 0.88 0.88 1.83 2.49 3.48 0.00 0.00 0.00

time (sec)

N/A 0.507 0.150 0.814 0.313 0.310 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

186 154 251 314 0 0 0 0 0

N.S.

1 0.83 1.35 1.69 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.940 0.947 0.938 0.000 0.000 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

382 425 404 450 0 1074 0 0 0

N.S.

1 1.11 1.06 1.18 0.00 2.81 0.00 0.00 0.00

time (sec)

N/A 1.963 0.652 0.663 0.000 0.303 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

307 323 359 433 0 828 0 0 0

N.S.

1 1.05 1.17 1.41 0.00 2.70 0.00 0.00 0.00

time (sec)

N/A 1.646 0.575 0.688 0.000 0.287 0.000 0.000 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

262 251 296 326 0 607 0 0 0

N.S.

1 0.96 1.13 1.24 0.00 2.32 0.00 0.00 0.00

time (sec)

N/A 1.073 0.502 0.667 0.000 0.281 0.000 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 165 244 289 0 395 0 0 0

N.S.

1 0.94 1.39 1.65 0.00 2.26 0.00 0.00 0.00

time (sec)

N/A 0.876 0.429 0.094 0.000 0.274 0.000 0.000 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 107 168 180 0 239 0 0 0

N.S.

1 0.94 1.47 1.58 0.00 2.10 0.00 0.00 0.00

time (sec)

N/A 0.450 0.170 0.247 0.000 0.255 0.000 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

159 172 217 382 0 0 0 0 0

N.S.

1 1.08 1.36 2.40 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.851 0.593 0.699 0.000 0.000 0.000 0.000 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

186 152 327 0 0 0 0 0 0

N.S.

1 0.82 1.76 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.873 1.055 0.000 0.000 0.000 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No No Yes TBD TBD TBD TBD TBD

size

164 156 266 311 0 0 0 0 0

N.S.

1 0.95 1.62 1.90 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.963 1.007 0.827 0.000 0.000 0.000 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

297 248 489 0 0 0 0 0 0

N.S.

1 0.84 1.65 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.678 2.015 0.000 0.000 0.000 0.000 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

377 409 562 658 0 1236 0 0 0

N.S.

1 1.08 1.49 1.75 0.00 3.28 0.00 0.00 0.00

time (sec)

N/A 2.783 0.866 0.685 0.000 0.297 0.000 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

309 313 475 517 0 890 0 0 0

N.S.

1 1.01 1.54 1.67 0.00 2.88 0.00 0.00 0.00

time (sec)

N/A 2.227 0.688 0.603 0.000 0.287 0.000 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 196 360 422 0 579 0 0 0

N.S.

1 0.94 1.72 2.02 0.00 2.77 0.00 0.00 0.00

time (sec)

N/A 1.354 0.580 0.104 0.000 0.278 0.000 0.000 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 125 261 275 0 344 0 0 0

N.S.

1 0.97 2.02 2.13 0.00 2.67 0.00 0.00 0.00

time (sec)

N/A 0.661 0.263 0.282 0.000 0.269 0.000 0.000 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

192 212 308 582 0 0 0 0 0

N.S.

1 1.10 1.60 3.03 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.016 0.890 0.716 0.000 0.000 0.000 0.000 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

264 216 872 0 0 0 0 0 0

N.S.

1 0.82 3.30 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.133 2.210 0.000 0.000 0.000 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No No Yes TBD TBD TBD TBD TBD

size

195 194 398 492 0 0 0 0 0

N.S.

1 0.99 2.04 2.52 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.166 1.850 0.865 0.000 0.000 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

432 358 1198 0 0 0 0 0 0

N.S.

1 0.83 2.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.207 6.658 0.000 0.000 0.000 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

213 169 151 194 0 0 0 0 0

N.S.

1 0.79 0.71 0.91 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.632 0.222 2.558 0.000 0.000 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 119 109 134 0 0 0 0 0

N.S.

1 0.82 0.75 0.92 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.562 0.169 1.914 0.000 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 115 102 130 0 0 0 0 0

N.S.

1 0.82 0.72 0.92 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.530 0.149 0.722 0.000 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 68 61 66 0 0 0 0 0

N.S.

1 0.99 0.88 0.96 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.578 0.064 0.053 0.000 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 61 50 60 0 0 0 0 0

N.S.

1 1.05 0.86 1.03 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.475 0.052 0.052 0.000 0.000 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

23 23 25 23 25 31 34 25 25

N.S.

1 1.00 1.09 1.00 1.09 1.35 1.48 1.09 1.09

time (sec)

N/A 0.291 0.746 0.260 0.270 0.251 1.211 0.356 2.877

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

263 216 293 665 0 0 0 0 0

N.S.

1 0.82 1.11 2.53 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.536 2.072 1.429 0.000 0.000 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

195 166 230 418 0 0 0 0 0

N.S.

1 0.85 1.18 2.14 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.461 2.295 1.199 0.000 0.000 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

191 162 150 374 0 0 0 0 0

N.S.

1 0.85 0.79 1.96 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.456 1.649 0.613 0.000 0.000 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

110 103 108 170 0 0 0 0 0

N.S.

1 0.94 0.98 1.55 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.545 0.479 0.075 0.000 0.000 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

98 92 89 139 0 0 0 0 0

N.S.

1 0.94 0.91 1.42 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.719 0.352 0.059 0.000 0.000 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

23 23 25 23 1077 61 73 25 25

N.S.

1 1.00 1.09 1.00 46.83 2.65 3.17 1.09 1.09

time (sec)

N/A 0.284 3.160 0.217 2.572 0.267 2.998 0.378 3.021

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

327 390 323 993 0 0 0 0 0

N.S.

1 1.19 0.99 3.04 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.515 0.955 1.252 0.000 0.000 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

254 292 186 624 0 0 0 0 0

N.S.

1 1.15 0.73 2.46 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.752 0.426 1.032 0.000 0.000 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

252 282 223 557 0 0 0 0 0

N.S.

1 1.12 0.88 2.21 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.796 0.517 0.609 0.000 0.000 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 160 127 254 0 0 0 0 0

N.S.

1 0.98 0.78 1.56 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.496 0.258 0.072 0.000 0.000 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 132 109 207 0 0 0 0 0

N.S.

1 1.00 0.83 1.57 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.835 0.311 0.069 0.000 0.000 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

size

23 23 25 23 6669 91 112 25 25

N.S.

1 1.00 1.09 1.00 289.96 3.96 4.87 1.09 1.09

time (sec)

N/A 0.284 1.388 0.214 113.026 0.284 9.206 0.389 2.824

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

431 500 424 1375 0 0 0 0 0

N.S.

1 1.16 0.98 3.19 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.429 2.054 1.461 0.000 0.000 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

360 386 330 860 0 0 0 0 0

N.S.

1 1.07 0.92 2.39 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.760 1.309 1.091 0.000 0.000 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

352 374 272 777 0 0 0 0 0

N.S.

1 1.06 0.77 2.21 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.266 1.188 0.654 0.000 0.000 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 205 195 353 0 0 0 0 0

N.S.

1 0.94 0.89 1.62 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.443 0.897 0.082 0.000 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 171 144 295 0 0 0 0 0

N.S.

1 0.98 0.83 1.70 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.128 0.537 0.069 0.000 0.000 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

23 23 25 23 0 121 151 25 25

N.S.

1 1.00 1.09 1.00 0.00 5.26 6.57 1.09 1.09

time (sec)

N/A 0.294 5.763 0.242 0.000 0.341 30.571 0.430 2.763

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

361 331 342 0 0 0 0 0 0

N.S.

1 0.92 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.212 0.545 0.000 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 F F F(-2) F F F(-1)

verified

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

size

272 248 223 0 0 0 0 0 0

N.S.

1 0.91 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.058 0.408 0.000 0.000 0.000 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

245 227 237 0 0 0 0 0 0

N.S.

1 0.93 0.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.028 0.389 0.000 0.000 0.000 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

164 156 146 0 0 0 0 0 0

N.S.

1 0.95 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.883 0.364 0.000 0.000 0.000 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

115 115 110 0 0 0 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.734 0.188 0.000 0.000 0.000 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 25 27 23 25 0 20 25 25

N.S.

1 1.00 1.08 0.92 1.00 0.00 0.80 1.00 1.00

time (sec)

N/A 0.303 1.566 0.343 0.762 0.000 0.555 18.645 2.659

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

374 465 558 0 0 0 0 0 0

N.S.

1 1.24 1.49 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.162 2.225 0.000 0.000 0.000 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

342 414 592 0 0 0 0 0 0

N.S.

1 1.21 1.73 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.488 1.517 0.000 0.000 0.000 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

212 216 180 0 0 0 0 0 0

N.S.

1 1.02 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.119 0.682 0.000 0.000 0.000 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

157 162 295 0 0 0 0 0 0

N.S.

1 1.03 1.88 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.836 0.417 0.000 0.000 0.000 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 25 27 23 25 0 51 25 25

N.S.

1 1.00 1.08 0.92 1.00 0.00 2.04 1.00 1.00

time (sec)

N/A 0.308 0.225 0.306 0.885 0.000 7.636 28.528 2.723

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

469 555 968 0 0 0 0 0 0

N.S.

1 1.18 2.06 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.637 8.600 0.000 0.000 0.000 0.000 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

408 465 1008 0 0 0 0 0 0

N.S.

1 1.14 2.47 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.474 7.723 0.000 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 F F F(-2) F(-1) F F(-1)

verified

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

size

269 257 228 0 0 0 0 0 0

N.S.

1 0.96 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.080 1.278 0.000 0.000 0.000 0.000 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

186 182 494 0 0 0 0 0 0

N.S.

1 0.98 2.66 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.150 2.423 0.000 0.000 0.000 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 25 27 23 25 0 0 25 25

N.S.

1 1.00 1.08 0.92 1.00 0.00 0.00 1.00 1.00

time (sec)

N/A 0.309 0.257 0.292 1.299 0.000 0.000 47.466 2.728

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

509 699 1523 0 0 0 0 0 0

N.S.

1 1.37 2.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 7.364 10.457 0.000 0.000 0.000 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

319 317 288 0 0 0 0 0 0

N.S.

1 0.99 0.90 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.505 3.430 0.000 0.000 0.000 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

230 229 748 0 0 0 0 0 0

N.S.

1 1.00 3.25 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.290 5.057 0.000 0.000 0.000 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 25 27 23 25 0 0 25 25

N.S.

1 1.00 1.08 0.92 1.00 0.00 0.00 1.00 1.00

time (sec)

N/A 0.308 0.278 0.295 2.222 0.000 0.000 68.765 2.742

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

326 300 319 0 0 0 0 0 0

N.S.

1 0.92 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.767 0.449 0.000 0.000 0.000 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

217 203 205 0 0 0 0 0 0

N.S.

1 0.94 0.94 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.631 0.298 0.000 0.000 0.000 0.000 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

214 200 216 0 0 0 0 0 0

N.S.

1 0.93 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.634 0.274 0.000 0.000 0.000 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

113 122 109 0 0 0 0 0 0

N.S.

1 1.08 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.606 0.221 0.000 0.000 0.000 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

92 100 110 0 0 0 0 0 0

N.S.

1 1.09 1.20 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.462 0.035 0.000 0.000 0.000 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 25 27 23 25 0 36 25 25

N.S.

1 1.00 1.08 0.92 1.00 0.00 1.44 1.00 1.00

time (sec)

N/A 0.308 0.115 0.318 0.757 0.000 0.927 19.793 2.968

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

374 345 396 0 0 0 0 0 0

N.S.

1 0.92 1.06 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.732 1.160 0.000 0.000 0.000 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

269 252 265 0 0 0 0 0 0

N.S.

1 0.94 0.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.603 0.731 0.000 0.000 0.000 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

262 245 265 0 0 0 0 0 0

N.S.

1 0.94 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.599 1.132 0.000 0.000 0.000 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

155 160 314 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

time (sec)

N/A 0.596 4.193 0.000 0.000 0.000 0.000 0.000 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

128 135 145 0 0 0 0 0 0

N.S.

1 1.05 1.13 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.773 0.345 0.000 0.000 0.000 0.000 0.000 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 25 27 23 25 0 88 25 25

N.S.

1 1.00 1.08 0.92 1.00 0.00 3.52 1.00 1.00

time (sec)

N/A 0.319 0.143 0.338 0.771 0.000 4.700 0.509 2.794

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

444 614 615 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

time (sec)

N/A 2.056 2.314 0.000 0.000 0.000 0.000 0.000 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

333 436 391 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

time (sec)

N/A 2.163 1.607 0.000 0.000 0.000 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

328 412 391 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

time (sec)

N/A 2.207 1.998 0.000 0.000 0.000 0.000 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

216 223 687 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

time (sec)

N/A 1.848 3.693 0.000 0.000 0.000 0.000 0.000 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

165 175 219 0 0 0 0 0 0

N.S.

1 1.06 1.33 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.924 0.728 0.000 0.000 0.000 0.000 0.000 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 25 27 23 25 0 155 25 25

N.S.

1 1.00 1.08 0.92 1.00 0.00 6.20 1.00 1.00

time (sec)

N/A 0.315 0.143 0.386 0.768 0.000 57.195 0.571 2.828

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

552 714 654 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

time (sec)

N/A 1.980 3.224 0.000 0.000 0.000 0.000 0.000 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

441 542 445 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

time (sec)

N/A 2.139 2.019 0.000 0.000 0.000 0.000 0.000 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

431 507 452 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

time (sec)

N/A 2.776 1.942 0.000 0.000 0.000 0.000 0.000 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

266 271 916 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

time (sec)

N/A 1.833 3.064 0.000 0.000 0.000 0.000 0.000 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

209 218 243 0 0 0 0 0 0

N.S.

1 1.04 1.16 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.251 0.487 0.000 0.000 0.000 0.000 0.000 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 25 27 23 25 0 0 25 25

N.S.

1 1.00 1.08 0.92 1.00 0.00 0.00 1.00 1.00

time (sec)

N/A 0.315 0.156 0.345 0.804 0.000 0.000 0.625 2.995

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

189 194 150 276 0 306 0 0 0

N.S.

1 1.03 0.79 1.46 0.00 1.62 0.00 0.00 0.00

time (sec)

N/A 0.360 0.233 7.437 0.000 0.110 0.000 0.000 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 174 149 218 0 254 0 0 0

N.S.

1 1.03 0.88 1.29 0.00 1.50 0.00 0.00 0.00

time (sec)

N/A 0.365 0.251 3.845 0.000 0.103 0.000 0.000 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 150 109 253 0 185 0 0 0

N.S.

1 1.03 0.75 1.74 0.00 1.28 0.00 0.00 0.00

time (sec)

N/A 0.337 0.331 2.067 0.000 0.098 0.000 0.000 0.000

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