[tail] [up]

Integrals 1 to 62

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

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

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

124 142 92 156 0 110 0 114 110 0

N.S.

1 1.15 0.74 1.26 0.00 0.89 0.00 0.92 0.89 0.00

time (sec)

N/A 0.425 0.395 0.009 0.000 0.098 0.000 0.140 0.174 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

99 117 82 137 0 100 0 104 89 0

N.S.

1 1.18 0.83 1.38 0.00 1.01 0.00 1.05 0.90 0.00

time (sec)

N/A 0.359 0.312 19.764 0.000 0.101 0.000 0.154 0.155 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

87 82 72 92 0 90 0 94 70 0

N.S.

1 0.94 0.83 1.06 0.00 1.03 0.00 1.08 0.80 0.00

time (sec)

N/A 0.226 0.205 0.145 0.000 0.095 0.000 0.143 0.158 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

103 103 87 156 0 107 0 111 116 0

N.S.

1 1.00 0.84 1.51 0.00 1.04 0.00 1.08 1.13 0.00

time (sec)

N/A 0.396 0.293 0.407 0.000 0.085 0.000 0.127 0.179 0.000

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

103 136 110 197 0 113 0 138 114 0

N.S.

1 1.32 1.07 1.91 0.00 1.10 0.00 1.34 1.11 0.00

time (sec)

N/A 0.464 0.292 0.170 0.000 0.085 0.000 0.145 0.178 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

131 167 119 219 0 133 0 185 146 0

N.S.

1 1.27 0.91 1.67 0.00 1.02 0.00 1.41 1.11 0.00

time (sec)

N/A 0.502 0.424 0.180 0.000 0.082 0.000 0.150 0.223 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

183 178 120 207 0 150 0 187 25 0

N.S.

1 0.97 0.66 1.13 0.00 0.82 0.00 1.02 0.14 0.00

time (sec)

N/A 0.495 0.457 0.021 0.000 0.088 0.000 0.137 200.021 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

133 153 110 188 0 140 0 177 23 0

N.S.

1 1.15 0.83 1.41 0.00 1.05 0.00 1.33 0.17 0.00

time (sec)

N/A 0.437 0.381 0.181 0.000 0.088 0.000 0.151 200.025 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

107 107 71 74 0 113 0 167 104 0

N.S.

1 1.00 0.66 0.69 0.00 1.06 0.00 1.56 0.97 0.00

time (sec)

N/A 0.230 0.333 0.065 0.000 0.090 0.000 0.154 0.163 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

140 139 126 207 0 164 0 184 261 0

N.S.

1 0.99 0.90 1.48 0.00 1.17 0.00 1.31 1.86 0.00

time (sec)

N/A 0.477 0.405 21.560 0.000 0.085 0.000 0.134 0.200 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

160 172 133 248 0 169 0 256 247 0

N.S.

1 1.08 0.83 1.55 0.00 1.06 0.00 1.60 1.54 0.00

time (sec)

N/A 0.538 0.470 0.179 0.000 0.095 0.000 0.160 0.225 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

186 219 130 0 0 185 0 236 25 0

N.S.

1 1.18 0.70 0.00 0.00 0.99 0.00 1.27 0.13 0.00

time (sec)

N/A 0.560 0.495 180.000 0.000 0.088 0.000 0.177 200.013 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

194 194 93 85 0 153 0 224 156 0

N.S.

1 1.00 0.48 0.44 0.00 0.79 0.00 1.15 0.80 0.00

time (sec)

N/A 0.496 0.399 0.085 0.000 0.086 0.000 0.149 0.161 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

132 132 83 75 0 143 0 216 163 0

N.S.

1 1.00 0.63 0.57 0.00 1.08 0.00 1.64 1.23 0.00

time (sec)

N/A 0.245 0.367 0.067 0.000 0.083 0.000 0.148 0.151 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

131 147 97 166 0 169 0 204 25 0

N.S.

1 1.12 0.74 1.27 0.00 1.29 0.00 1.56 0.19 0.00

time (sec)

N/A 0.428 0.385 66.283 0.000 0.196 0.000 0.145 200.017 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

184 159 137 242 0 210 0 218 364 0

N.S.

1 0.86 0.74 1.32 0.00 1.14 0.00 1.18 1.98 0.00

time (sec)

N/A 0.542 0.508 0.186 0.000 0.097 0.000 0.170 0.290 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

381 174 258 549 0 275 0 323 238 0

N.S.

1 0.46 0.68 1.44 0.00 0.72 0.00 0.85 0.62 0.00

time (sec)

N/A 0.636 1.463 0.644 0.000 0.105 0.000 0.169 0.337 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

297 126 210 525 0 263 0 310 219 0

N.S.

1 0.42 0.71 1.77 0.00 0.89 0.00 1.04 0.74 0.00

time (sec)

N/A 0.463 1.162 0.589 0.000 0.092 0.000 0.146 0.356 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

217 105 166 509 0 248 0 294 124 0

N.S.

1 0.48 0.76 2.35 0.00 1.14 0.00 1.35 0.57 0.00

time (sec)

N/A 0.358 0.829 0.511 0.000 0.080 0.000 0.156 0.412 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

173 127 251 528 0 256 0 330 24 0

N.S.

1 0.73 1.45 3.05 0.00 1.48 0.00 1.91 0.14 0.00

time (sec)

N/A 0.603 0.865 0.517 0.000 0.087 0.000 0.176 0.257 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

271 188 293 581 0 284 0 386 28 0

N.S.

1 0.69 1.08 2.14 0.00 1.05 0.00 1.42 0.10 0.00

time (sec)

N/A 0.605 2.677 0.615 0.000 0.085 0.000 0.181 2.449 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

516 285 1100 1280 0 354 0 0 25 0

N.S.

1 0.55 2.13 2.48 0.00 0.69 0.00 0.00 0.05 0.00

time (sec)

N/A 0.821 8.927 0.683 0.000 0.129 0.000 0.000 200.018 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

352 195 1086 1195 0 337 0 0 43 0

N.S.

1 0.55 3.09 3.39 0.00 0.96 0.00 0.00 0.12 0.00

time (sec)

N/A 0.618 5.713 0.654 0.000 0.099 0.000 0.000 0.324 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

205 161 213 106 0 116 0 333 41 0

N.S.

1 0.79 1.04 0.52 0.00 0.57 0.00 1.62 0.20 0.00

time (sec)

N/A 0.469 1.562 0.221 0.000 0.078 0.000 0.134 0.234 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

330 235 1106 1515 0 356 0 529 25 0

N.S.

1 0.71 3.35 4.59 0.00 1.08 0.00 1.60 0.08 0.00

time (sec)

N/A 0.850 7.148 0.522 0.000 0.088 0.000 0.181 200.013 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

413 309 1119 1598 0 384 0 638 25 0

N.S.

1 0.75 2.71 3.87 0.00 0.93 0.00 1.54 0.06 0.00

time (sec)

N/A 0.949 13.065 0.680 0.000 0.106 0.000 0.172 200.024 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

485 361 1118 1178 0 439 0 607 66 0

N.S.

1 0.74 2.31 2.43 0.00 0.91 0.00 1.25 0.14 0.00

time (sec)

N/A 1.030 14.830 0.619 0.000 0.111 0.000 0.195 0.573 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

322 328 1077 126 0 166 0 445 64 0

N.S.

1 1.02 3.34 0.39 0.00 0.52 0.00 1.38 0.20 0.00

time (sec)

N/A 0.883 8.252 0.253 0.000 0.074 0.000 0.177 0.558 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

335 309 233 125 0 166 0 445 62 0

N.S.

1 0.92 0.70 0.37 0.00 0.50 0.00 1.33 0.19 0.00

time (sec)

N/A 0.782 2.412 0.260 0.000 0.076 0.000 0.138 0.539 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

446 386 1146 1480 0 465 0 641 25 0

N.S.

1 0.87 2.57 3.32 0.00 1.04 0.00 1.44 0.06 0.00

time (sec)

N/A 1.238 13.718 0.596 0.000 0.097 0.000 0.212 200.017 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

620 498 1169 1548 0 493 0 703 25 0

N.S.

1 0.80 1.89 2.50 0.00 0.80 0.00 1.13 0.04 0.00

time (sec)

N/A 1.363 13.582 0.631 0.000 0.091 0.000 0.192 200.025 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

209 162 117 528 0 179 0 202 129 0

N.S.

1 0.78 0.56 2.53 0.00 0.86 0.00 0.97 0.62 0.00

time (sec)

N/A 0.618 0.394 0.024 0.000 0.111 0.000 0.148 0.155 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

157 132 105 502 0 169 0 192 110 0

N.S.

1 0.84 0.67 3.20 0.00 1.08 0.00 1.22 0.70 0.00

time (sec)

N/A 0.465 0.331 0.022 0.000 0.090 0.000 0.153 0.151 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

105 109 90 485 0 152 0 175 93 0

N.S.

1 1.04 0.86 4.62 0.00 1.45 0.00 1.67 0.89 0.00

time (sec)

N/A 0.358 0.304 0.928 0.000 0.081 0.000 0.121 0.140 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

141 112 119 486 0 162 0 184 179 0

N.S.

1 0.79 0.84 3.45 0.00 1.15 0.00 1.30 1.27 0.00

time (sec)

N/A 0.600 0.398 0.541 0.000 0.077 0.000 0.154 0.372 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

193 181 143 545 0 195 0 236 208 0

N.S.

1 0.94 0.74 2.82 0.00 1.01 0.00 1.22 1.08 0.00

time (sec)

N/A 0.673 0.423 0.646 0.000 0.089 0.000 0.142 0.216 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

227 221 152 0 0 274 0 363 25 0

N.S.

1 0.97 0.67 0.00 0.00 1.21 0.00 1.60 0.11 0.00

time (sec)

N/A 0.781 0.450 180.000 0.000 0.078 0.000 0.130 200.014 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

177 198 145 2977 0 264 0 346 23 0

N.S.

1 1.12 0.82 16.82 0.00 1.49 0.00 1.95 0.13 0.00

time (sec)

N/A 0.604 0.451 22.622 0.000 0.093 0.000 0.152 200.014 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

104 128 78 111 0 112 0 224 206 0

N.S.

1 1.23 0.75 1.07 0.00 1.08 0.00 2.15 1.98 0.00

time (sec)

N/A 0.450 0.354 0.211 0.000 0.071 0.000 0.120 0.350 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

215 209 169 1460 0 284 0 357 622 0

N.S.

1 0.97 0.79 6.79 0.00 1.32 0.00 1.66 2.89 0.00

time (sec)

N/A 0.824 0.514 0.532 0.000 0.081 0.000 0.149 0.279 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

308 270 193 1687 0 332 0 454 671 0

N.S.

1 0.88 0.63 5.48 0.00 1.08 0.00 1.47 2.18 0.00

time (sec)

N/A 0.916 0.703 0.723 0.000 0.088 0.000 0.138 0.590 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

249 378 160 13828 0 364 0 444 25 0

N.S.

1 1.52 0.64 55.53 0.00 1.46 0.00 1.78 0.10 0.00

time (sec)

N/A 1.003 0.543 0.293 0.000 0.083 0.000 0.180 200.012 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

176 310 100 131 0 162 0 322 23 0

N.S.

1 1.76 0.57 0.74 0.00 0.92 0.00 1.83 0.13 0.00

time (sec)

N/A 0.860 0.406 0.464 0.000 0.079 0.000 0.147 200.017 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

176 277 100 130 0 162 0 322 21 0

N.S.

1 1.57 0.57 0.74 0.00 0.92 0.00 1.83 0.12 0.00

time (sec)

N/A 0.745 0.413 0.537 0.000 0.072 0.000 0.134 200.016 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

253 286 158 341 0 344 0 426 947 0

N.S.

1 1.13 0.62 1.35 0.00 1.36 0.00 1.68 3.74 0.00

time (sec)

N/A 0.756 0.531 0.550 0.000 0.079 0.000 0.157 1.101 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

381 391 200 1489 0 441 0 463 1118 0

N.S.

1 1.03 0.52 3.91 0.00 1.16 0.00 1.22 2.93 0.00

time (sec)

N/A 1.253 0.732 1.088 0.000 0.084 0.000 0.171 2.603 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

411 192 260 500 0 279 0 410 273 0

N.S.

1 0.47 0.63 1.22 0.00 0.68 0.00 1.00 0.66 0.00

time (sec)

N/A 0.667 4.090 0.842 0.000 0.096 0.000 0.164 0.198 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

326 141 234 476 0 269 0 400 254 0

N.S.

1 0.43 0.72 1.46 0.00 0.83 0.00 1.23 0.78 0.00

time (sec)

N/A 0.485 3.766 1.142 0.000 0.098 0.000 0.162 0.198 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

253 118 186 459 0 252 0 383 156 0

N.S.

1 0.47 0.74 1.81 0.00 1.00 0.00 1.51 0.62 0.00

time (sec)

N/A 0.376 1.198 0.966 0.000 0.085 0.000 0.161 0.202 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

262 138 219 477 0 255 0 421 0 0

N.S.

1 0.53 0.84 1.82 0.00 0.97 0.00 1.61 0.00 0.00

time (sec)

N/A 0.640 2.414 0.768 0.000 0.095 0.000 0.185 1.434 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

347 166 264 532 0 283 0 0 0 0

N.S.

1 0.48 0.76 1.53 0.00 0.82 0.00 0.00 0.00 0.00

time (sec)

N/A 0.708 9.598 0.857 0.000 0.080 0.000 0.000 1.127 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

554 253 1128 1172 0 374 0 673 0 0

N.S.

1 0.46 2.04 2.12 0.00 0.68 0.00 1.21 0.00 0.00

time (sec)

N/A 0.842 8.218 0.991 0.000 0.096 0.000 0.173 0.922 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

407 209 1122 1113 0 359 0 656 0 0

N.S.

1 0.51 2.76 2.73 0.00 0.88 0.00 1.61 0.00 0.00

time (sec)

N/A 0.642 13.101 0.950 0.000 0.090 0.000 0.178 0.843 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

191 148 142 110 0 124 0 457 0 0

N.S.

1 0.77 0.74 0.58 0.00 0.65 0.00 2.39 0.00 0.00

time (sec)

N/A 0.483 0.955 0.404 0.000 0.075 0.000 0.149 0.834 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

420 229 1157 1463 0 372 0 694 0 0

N.S.

1 0.55 2.75 3.48 0.00 0.89 0.00 1.65 0.00 0.00

time (sec)

N/A 0.882 12.567 1.006 0.000 0.119 0.000 0.172 1.335 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

596 257 1190 1479 0 418 0 844 0 0

N.S.

1 0.43 2.00 2.48 0.00 0.70 0.00 1.42 0.00 0.00

time (sec)

N/A 0.969 13.710 0.991 0.000 0.089 0.000 0.213 2.160 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

601 391 1165 1222 0 459 0 810 0 0

N.S.

1 0.65 1.94 2.03 0.00 0.76 0.00 1.35 0.00 0.00

time (sec)

N/A 1.184 8.397 1.717 0.000 0.103 0.000 0.230 1.724 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

340 330 1147 130 0 174 0 611 0 0

N.S.

1 0.97 3.37 0.38 0.00 0.51 0.00 1.80 0.00 0.00

time (sec)

N/A 0.987 13.243 0.512 0.000 0.119 0.000 0.212 1.827 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

346 295 1131 130 0 174 0 611 0 0

N.S.

1 0.85 3.27 0.38 0.00 0.50 0.00 1.77 0.00 0.00

time (sec)

N/A 0.816 13.668 0.467 0.000 0.082 0.000 0.173 1.914 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

635 411 1160 1483 0 482 0 848 0 0

N.S.

1 0.65 1.83 2.34 0.00 0.76 0.00 1.34 0.00 0.00

time (sec)

N/A 1.381 14.039 1.204 0.000 0.108 0.000 0.229 2.790 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

822 439 1176 1551 0 528 0 968 0 0

N.S.

1 0.53 1.43 1.89 0.00 0.64 0.00 1.18 0.00 0.00

time (sec)

N/A 1.437 14.110 1.227 0.000 0.098 0.000 0.248 13.202 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

57 57 54 0 0 46 0 0 19 0

N.S.

1 1.00 0.95 0.00 0.00 0.81 0.00 0.00 0.33 0.00

time (sec)

N/A 0.210 10.026 0.000 0.000 0.094 0.000 0.000 0.161 0.000

[front] [up]