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

Integrals 101 to 190

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

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

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

148 148 255 171 0 0 0 0 30 0

N.S.

1 1.00 1.72 1.16 0.00 0.00 0.00 0.00 0.20 0.00

time (sec)

N/A 0.387 1.589 4.316 0.000 0.000 0.000 0.000 0.238 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

217 214 336 246 0 0 0 0 50 0

N.S.

1 0.99 1.55 1.13 0.00 0.00 0.00 0.00 0.23 0.00

time (sec)

N/A 0.471 2.166 4.408 0.000 0.000 0.000 0.000 0.230 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

205 232 273 213 514 956 0 0 153 0

N.S.

1 1.13 1.33 1.04 2.51 4.66 0.00 0.00 0.75 0.00

time (sec)

N/A 0.636 1.158 1.733 0.116 0.135 0.000 0.000 0.255 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

144 159 199 166 301 652 0 0 111 0

N.S.

1 1.10 1.38 1.15 2.09 4.53 0.00 0.00 0.77 0.00

time (sec)

N/A 0.444 0.838 1.608 0.113 0.139 0.000 0.000 0.298 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

99 103 150 136 134 488 71 0 69 0

N.S.

1 1.04 1.52 1.37 1.35 4.93 0.72 0.00 0.70 0.00

time (sec)

N/A 0.326 0.395 0.918 0.123 0.140 3.237 0.000 0.256 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

179 189 328 243 0 0 0 0 62 0

N.S.

1 1.06 1.83 1.36 0.00 0.00 0.00 0.00 0.35 0.00

time (sec)

N/A 0.415 2.466 1.168 0.000 0.000 0.000 0.000 0.224 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

261 263 370 288 0 0 0 0 104 0

N.S.

1 1.01 1.42 1.10 0.00 0.00 0.00 0.00 0.40 0.00

time (sec)

N/A 0.555 3.395 1.332 0.000 0.000 0.000 0.000 0.235 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

174 151 208 180 406 482 170 0 125 0

N.S.

1 0.87 1.20 1.03 2.33 2.77 0.98 0.00 0.72 0.00

time (sec)

N/A 0.380 0.829 1.230 0.113 0.101 6.705 0.000 0.287 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

141 129 180 152 322 424 82 0 83 0

N.S.

1 0.91 1.28 1.08 2.28 3.01 0.58 0.00 0.59 0.00

time (sec)

N/A 0.352 0.610 1.198 0.111 0.099 1.949 0.000 0.243 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

111 107 163 225 244 362 78 0 31 0

N.S.

1 0.96 1.47 2.03 2.20 3.26 0.70 0.00 0.28 0.00

time (sec)

N/A 0.306 0.034 0.020 0.117 0.089 1.262 0.000 0.228 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

99 103 150 136 134 488 71 0 69 0

N.S.

1 1.04 1.52 1.37 1.35 4.93 0.72 0.00 0.70 0.00

time (sec)

N/A 0.307 0.057 0.799 0.124 0.094 3.297 0.000 0.270 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

61 47 37 34 51 54 190 0 109 33

N.S.

1 0.77 0.61 0.56 0.84 0.89 3.11 0.00 1.79 0.54

time (sec)

N/A 0.258 0.281 0.823 0.027 0.084 22.507 0.000 0.259 0.804

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

91 88 60 52 86 87 709 0 149 87

N.S.

1 0.97 0.66 0.57 0.95 0.96 7.79 0.00 1.64 0.96

time (sec)

N/A 0.317 0.394 0.826 0.036 0.107 116.091 0.000 0.271 0.696

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

121 115 80 71 120 121 0 0 189 105

N.S.

1 0.95 0.66 0.59 0.99 1.00 0.00 0.00 1.56 0.87

time (sec)

N/A 0.357 0.542 0.840 0.034 0.089 0.000 0.000 0.331 0.675

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

151 142 100 90 154 155 0 0 229 132

N.S.

1 0.94 0.66 0.60 1.02 1.03 0.00 0.00 1.52 0.87

time (sec)

N/A 0.407 0.793 0.865 0.036 0.095 0.000 0.000 0.347 0.690

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 85 77 0 0 0 265 0 167 0

N.S.

1 1.00 0.91 0.00 0.00 0.00 3.12 0.00 1.96 0.00

time (sec)

N/A 0.311 8.537 0.000 0.000 0.000 3.122 0.000 0.263 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

83 83 75 0 0 0 170 0 125 0

N.S.

1 1.00 0.90 0.00 0.00 0.00 2.05 0.00 1.51 0.00

time (sec)

N/A 0.317 7.459 0.000 0.000 0.000 2.106 0.000 0.297 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

82 82 72 0 0 0 82 0 82 0

N.S.

1 1.00 0.88 0.00 0.00 0.00 1.00 0.00 1.00 0.00

time (sec)

N/A 0.315 0.065 0.000 0.000 0.000 1.118 0.000 0.227 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

82 82 73 0 0 0 78 0 31 0

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.95 0.00 0.38 0.00

time (sec)

N/A 0.318 10.051 0.000 0.000 0.000 1.004 0.000 0.221 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

78 93 66 0 0 0 78 0 69 0

N.S.

1 1.19 0.85 0.00 0.00 0.00 1.00 0.00 0.88 0.00

time (sec)

N/A 0.337 10.046 0.000 0.000 0.000 4.019 0.000 0.259 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

84 94 75 0 0 0 78 0 109 0

N.S.

1 1.12 0.89 0.00 0.00 0.00 0.93 0.00 1.30 0.00

time (sec)

N/A 0.334 10.054 0.000 0.000 0.000 39.442 0.000 0.272 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

259 208 293 243 672 717 270 0 242 0

N.S.

1 0.80 1.13 0.94 2.59 2.77 1.04 0.00 0.93 0.00

time (sec)

N/A 0.513 1.989 1.413 0.121 0.108 32.661 0.000 0.274 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

212 187 256 204 552 634 131 0 174 0

N.S.

1 0.88 1.21 0.96 2.60 2.99 0.62 0.00 0.82 0.00

time (sec)

N/A 0.486 1.358 1.381 0.114 0.095 5.560 0.000 0.250 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

172 165 223 166 436 554 126 0 54 0

N.S.

1 0.96 1.30 0.97 2.53 3.22 0.73 0.00 0.31 0.00

time (sec)

N/A 0.446 0.104 0.021 0.112 0.104 2.874 0.000 0.240 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

144 159 199 166 301 652 0 0 111 0

N.S.

1 1.10 1.38 1.15 2.09 4.53 0.00 0.00 0.77 0.00

time (sec)

N/A 0.431 0.238 0.021 0.112 0.124 0.000 0.000 0.254 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

147 164 186 221 190 719 0 0 171 0

N.S.

1 1.12 1.27 1.50 1.29 4.89 0.00 0.00 1.16 0.00

time (sec)

N/A 0.437 1.168 1.235 0.108 0.107 0.000 0.000 0.283 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

117 84 73 71 109 103 0 0 231 148

N.S.

1 0.72 0.62 0.61 0.93 0.88 0.00 0.00 1.97 1.26

time (sec)

N/A 0.332 0.902 0.999 0.039 0.082 0.000 0.000 0.342 0.736

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

162 150 106 96 159 152 0 0 291 176

N.S.

1 0.93 0.65 0.59 0.98 0.94 0.00 0.00 1.80 1.09

time (sec)

N/A 0.453 1.199 0.980 0.034 0.090 0.000 0.000 0.323 0.759

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

207 186 138 126 210 200 0 0 351 217

N.S.

1 0.90 0.67 0.61 1.01 0.97 0.00 0.00 1.70 1.05

time (sec)

N/A 0.544 1.661 0.987 0.036 0.097 0.000 0.000 0.366 0.769

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

248 207 169 156 261 246 0 0 411 257

N.S.

1 0.83 0.68 0.63 1.05 0.99 0.00 0.00 1.66 1.04

time (sec)

N/A 0.624 2.566 1.010 0.038 0.114 0.000 0.000 0.392 0.842

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

131 143 177 0 0 0 418 0 310 0

N.S.

1 1.09 1.35 0.00 0.00 0.00 3.19 0.00 2.37 0.00

time (sec)

N/A 0.459 12.804 0.000 0.000 0.000 4.012 0.000 0.296 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

130 141 176 0 0 0 270 0 242 0

N.S.

1 1.08 1.35 0.00 0.00 0.00 2.08 0.00 1.86 0.00

time (sec)

N/A 0.468 12.966 0.000 0.000 0.000 2.655 0.000 0.311 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

128 139 179 0 0 0 131 0 173 0

N.S.

1 1.09 1.40 0.00 0.00 0.00 1.02 0.00 1.35 0.00

time (sec)

N/A 0.443 0.077 0.000 0.000 0.000 1.649 0.000 0.256 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

125 135 104 0 0 0 126 0 54 0

N.S.

1 1.08 0.83 0.00 0.00 0.00 1.01 0.00 0.43 0.00

time (sec)

N/A 0.461 15.104 0.000 0.000 0.000 1.528 0.000 0.217 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

132 146 171 0 0 0 0 0 111 0

N.S.

1 1.11 1.30 0.00 0.00 0.00 0.00 0.00 0.84 0.00

time (sec)

N/A 0.506 13.144 0.000 0.000 0.000 0.000 0.000 0.259 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

130 149 171 0 0 0 0 0 171 0

N.S.

1 1.15 1.32 0.00 0.00 0.00 0.00 0.00 1.32 0.00

time (sec)

N/A 0.484 15.051 0.000 0.000 0.000 0.000 0.000 0.245 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

186 121 120 110 182 166 0 0 393 271

N.S.

1 0.65 0.65 0.59 0.98 0.89 0.00 0.00 2.11 1.46

time (sec)

N/A 0.382 1.529 1.061 0.034 0.105 0.000 0.000 0.388 0.916

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

331 327 655 338 0 643 0 0 330 0

N.S.

1 0.99 1.98 1.02 0.00 1.94 0.00 0.00 1.00 0.00

time (sec)

N/A 0.825 10.861 3.009 0.000 5.591 0.000 0.000 0.491 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

273 276 467 326 0 535 0 0 190 0

N.S.

1 1.01 1.71 1.19 0.00 1.96 0.00 0.00 0.70 0.00

time (sec)

N/A 0.623 7.913 2.401 0.000 0.525 0.000 0.000 0.384 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

233 237 423 326 0 469 0 0 21 0

N.S.

1 1.02 1.82 1.40 0.00 2.01 0.00 0.00 0.09 0.00

time (sec)

N/A 0.492 4.912 1.535 0.000 0.125 0.000 0.000 0.239 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

148 148 255 171 0 0 0 0 30 0

N.S.

1 1.00 1.72 1.16 0.00 0.00 0.00 0.00 0.20 0.00

time (sec)

N/A 0.371 0.229 1.181 0.000 0.000 0.000 0.000 0.214 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

179 189 328 243 0 0 0 0 62 0

N.S.

1 1.06 1.83 1.36 0.00 0.00 0.00 0.00 0.35 0.00

time (sec)

N/A 0.433 0.585 1.157 0.000 0.000 0.000 0.000 0.246 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

226 249 364 243 0 0 0 0 104 0

N.S.

1 1.10 1.61 1.08 0.00 0.00 0.00 0.00 0.46 0.00

time (sec)

N/A 0.563 4.361 1.395 0.000 0.000 0.000 0.000 0.276 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

280 322 420 306 0 0 0 0 146 0

N.S.

1 1.15 1.50 1.09 0.00 0.00 0.00 0.00 0.52 0.00

time (sec)

N/A 0.756 4.737 1.296 0.000 0.000 0.000 0.000 0.281 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

60 60 346 0 0 0 0 0 190 0

N.S.

1 1.00 5.77 0.00 0.00 0.00 0.00 0.00 3.17 0.00

time (sec)

N/A 0.300 10.259 0.000 0.000 0.000 0.000 0.000 0.378 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

59 59 160 0 0 0 0 0 21 0

N.S.

1 1.00 2.71 0.00 0.00 0.00 0.00 0.00 0.36 0.00

time (sec)

N/A 0.291 0.044 0.000 0.000 0.000 0.000 0.000 0.239 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

59 59 161 0 0 0 0 0 30 0

N.S.

1 1.00 2.73 0.00 0.00 0.00 0.00 0.00 0.51 0.00

time (sec)

N/A 0.318 10.070 0.000 0.000 0.000 0.000 0.000 0.241 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

62 62 332 0 0 0 0 0 62 0

N.S.

1 1.00 5.35 0.00 0.00 0.00 0.00 0.00 1.00 0.00

time (sec)

N/A 0.313 10.286 0.000 0.000 0.000 0.000 0.000 0.222 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

62 62 429 0 0 0 0 0 104 0

N.S.

1 1.00 6.92 0.00 0.00 0.00 0.00 0.00 1.68 0.00

time (sec)

N/A 0.320 10.830 0.000 0.000 0.000 0.000 0.000 0.240 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

351 341 698 477 0 819 0 0 0 0

N.S.

1 0.97 1.99 1.36 0.00 2.33 0.00 0.00 0.00 0.00

time (sec)

N/A 0.844 11.021 2.036 0.000 3.521 0.000 0.000 0.939 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

301 300 510 416 0 631 0 0 1010 0

N.S.

1 1.00 1.69 1.38 0.00 2.10 0.00 0.00 3.36 0.00

time (sec)

N/A 0.640 9.559 1.474 0.000 0.376 0.000 0.000 0.491 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

182 185 319 214 0 0 0 0 831 0

N.S.

1 1.02 1.75 1.18 0.00 0.00 0.00 0.00 4.57 0.00

time (sec)

N/A 0.406 2.779 1.232 0.000 0.000 0.000 0.000 0.445 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

217 214 336 246 0 0 0 0 50 0

N.S.

1 0.99 1.55 1.13 0.00 0.00 0.00 0.00 0.23 0.00

time (sec)

N/A 0.462 0.244 1.208 0.000 0.000 0.000 0.000 0.232 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

261 263 370 288 0 0 0 0 104 0

N.S.

1 1.01 1.42 1.10 0.00 0.00 0.00 0.00 0.40 0.00

time (sec)

N/A 0.559 0.513 1.239 0.000 0.000 0.000 0.000 0.244 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

324 338 443 326 0 0 0 0 172 0

N.S.

1 1.04 1.37 1.01 0.00 0.00 0.00 0.00 0.53 0.00

time (sec)

N/A 0.754 8.855 1.511 0.000 0.000 0.000 0.000 0.265 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

60 60 341 0 0 0 0 0 1075 0

N.S.

1 1.00 5.68 0.00 0.00 0.00 0.00 0.00 17.92 0.00

time (sec)

N/A 0.294 10.364 0.000 0.000 0.000 0.000 0.000 0.704 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

59 59 232 0 0 0 0 0 32 0

N.S.

1 1.00 3.93 0.00 0.00 0.00 0.00 0.00 0.54 0.00

time (sec)

N/A 0.292 0.239 0.000 0.000 0.000 0.000 0.000 0.478 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

59 59 393 0 0 0 0 0 50 0

N.S.

1 1.00 6.66 0.00 0.00 0.00 0.00 0.00 0.85 0.00

time (sec)

N/A 0.292 10.328 0.000 0.000 0.000 0.000 0.000 0.238 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

62 62 386 0 0 0 0 0 104 0

N.S.

1 1.00 6.23 0.00 0.00 0.00 0.00 0.00 1.68 0.00

time (sec)

N/A 0.290 10.670 0.000 0.000 0.000 0.000 0.000 0.226 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

62 62 550 0 0 0 0 0 172 0

N.S.

1 1.00 8.87 0.00 0.00 0.00 0.00 0.00 2.77 0.00

time (sec)

N/A 0.290 11.062 0.000 0.000 0.000 0.000 0.000 0.265 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

541 505 1171 661 0 1555 0 0 0 0

N.S.

1 0.93 2.16 1.22 0.00 2.87 0.00 0.00 0.00 0.00

time (sec)

N/A 1.395 12.470 2.857 0.000 88.771 0.000 0.000 3.620 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

458 432 908 580 0 1246 0 0 0 0

N.S.

1 0.94 1.98 1.27 0.00 2.72 0.00 0.00 0.00 0.00

time (sec)

N/A 1.129 12.183 2.324 0.000 19.586 0.000 0.000 2.875 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

391 375 651 498 0 954 0 0 0 0

N.S.

1 0.96 1.66 1.27 0.00 2.44 0.00 0.00 0.00 0.00

time (sec)

N/A 0.851 11.116 1.985 0.000 2.337 0.000 0.000 0.904 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

217 222 344 244 0 0 0 0 0 0

N.S.

1 1.02 1.59 1.12 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.477 4.761 1.309 0.000 0.000 0.000 0.000 1.548 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

256 251 366 282 0 0 0 0 0 0

N.S.

1 0.98 1.43 1.10 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.544 5.230 1.327 0.000 0.000 0.000 0.000 1.276 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

307 294 407 292 0 0 0 0 70 0

N.S.

1 0.96 1.33 0.95 0.00 0.00 0.00 0.00 0.23 0.00

time (sec)

N/A 0.622 7.668 1.952 0.000 0.000 0.000 0.000 0.269 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

366 369 428 416 0 0 0 0 146 0

N.S.

1 1.01 1.17 1.14 0.00 0.00 0.00 0.00 0.40 0.00

time (sec)

N/A 0.766 14.166 1.536 0.000 0.000 0.000 0.000 0.260 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

442 466 337 424 0 0 0 0 240 0

N.S.

1 1.05 0.76 0.96 0.00 0.00 0.00 0.00 0.54 0.00

time (sec)

N/A 1.080 15.975 1.554 0.000 0.000 0.000 0.000 0.293 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

60 60 285 0 0 0 0 0 0 0

N.S.

1 1.00 4.75 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.297 10.508 0.000 0.000 0.000 0.000 0.000 1.423 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

59 59 407 0 0 0 0 0 43 0

N.S.

1 1.00 6.90 0.00 0.00 0.00 0.00 0.00 0.73 0.00

time (sec)

N/A 0.290 10.652 0.000 0.000 0.000 0.000 0.000 0.814 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

59 59 418 0 0 0 0 0 70 0

N.S.

1 1.00 7.08 0.00 0.00 0.00 0.00 0.00 1.19 0.00

time (sec)

N/A 0.300 10.789 0.000 0.000 0.000 0.000 0.000 0.234 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

62 62 531 0 0 0 0 0 146 0

N.S.

1 1.00 8.56 0.00 0.00 0.00 0.00 0.00 2.35 0.00

time (sec)

N/A 0.295 11.003 0.000 0.000 0.000 0.000 0.000 0.260 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

62 62 515 0 0 0 0 0 240 0

N.S.

1 1.00 8.31 0.00 0.00 0.00 0.00 0.00 3.87 0.00

time (sec)

N/A 0.292 11.687 0.000 0.000 0.000 0.000 0.000 0.274 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

87 161 90 0 0 0 0 0 0 0

N.S.

1 1.85 1.03 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.413 5.557 0.000 0.000 0.000 0.000 0.000 1.582 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

87 122 89 0 0 0 0 0 0 0

N.S.

1 1.40 1.02 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.353 5.825 0.000 0.000 0.000 0.000 0.000 0.554 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

87 122 89 0 0 0 0 0 40 0

N.S.

1 1.40 1.02 0.00 0.00 0.00 0.00 0.00 0.46 0.00

time (sec)

N/A 0.356 3.861 0.000 0.000 0.000 0.000 0.000 0.276 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

87 87 86 0 0 0 0 0 48 0

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 0.55 0.00

time (sec)

N/A 0.309 3.568 0.000 0.000 0.000 0.000 0.000 0.277 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

86 87 86 0 0 0 0 0 21 0

N.S.

1 1.01 1.00 0.00 0.00 0.00 0.00 0.00 0.24 0.00

time (sec)

N/A 0.292 5.738 0.000 0.000 0.000 0.000 0.000 0.261 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

86 87 89 0 0 0 0 0 48 0

N.S.

1 1.01 1.03 0.00 0.00 0.00 0.00 0.00 0.56 0.00

time (sec)

N/A 0.295 3.547 0.000 0.000 0.000 0.000 0.000 0.212 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

86 121 89 0 0 0 0 0 40 0

N.S.

1 1.41 1.03 0.00 0.00 0.00 0.00 0.00 0.47 0.00

time (sec)

N/A 0.353 5.673 0.000 0.000 0.000 0.000 0.000 0.203 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

86 121 89 0 0 0 0 0 60 0

N.S.

1 1.41 1.03 0.00 0.00 0.00 0.00 0.00 0.70 0.00

time (sec)

N/A 0.357 5.917 0.000 0.000 0.000 0.000 0.000 0.262 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

86 160 90 0 0 0 0 0 128 0

N.S.

1 1.86 1.05 0.00 0.00 0.00 0.00 0.00 1.49 0.00

time (sec)

N/A 0.413 5.804 0.000 0.000 0.000 0.000 0.000 0.227 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

79 79 172 0 0 0 0 0 1249 0

N.S.

1 1.00 2.18 0.00 0.00 0.00 0.00 0.00 15.81 0.00

time (sec)

N/A 0.361 0.332 0.000 0.000 0.000 0.000 0.000 0.376 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

283 288 137 0 0 0 0 0 0 0

N.S.

1 1.02 0.48 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.890 7.047 0.000 0.000 0.000 0.000 0.000 0.313 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

173 175 106 0 0 0 121 0 1442 0

N.S.

1 1.01 0.61 0.00 0.00 0.00 0.70 0.00 8.34 0.00

time (sec)

N/A 0.554 5.222 0.000 0.000 0.000 92.412 0.000 0.239 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 85 90 0 0 0 75 0 498 0

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.88 0.00 5.86 0.00

time (sec)

N/A 0.357 0.156 0.000 0.000 0.000 38.046 0.000 0.225 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

57 57 162 0 0 0 0 0 21 0

N.S.

1 1.00 2.84 0.00 0.00 0.00 0.00 0.00 0.37 0.00

time (sec)

N/A 0.304 0.397 0.000 0.000 0.000 0.000 0.000 0.247 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

57 57 162 0 0 0 0 0 32 0

N.S.

1 1.00 2.84 0.00 0.00 0.00 0.00 0.00 0.56 0.00

time (sec)

N/A 0.300 0.459 0.000 0.000 0.000 0.000 0.000 0.326 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

57 57 162 0 0 0 0 0 43 0

N.S.

1 1.00 2.84 0.00 0.00 0.00 0.00 0.00 0.75 0.00

time (sec)

N/A 0.301 0.591 0.000 0.000 0.000 0.000 0.000 0.394 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

53 53 52 71 0 91 0 0 137 131

N.S.

1 1.00 0.98 1.34 0.00 1.72 0.00 0.00 2.58 2.47

time (sec)

N/A 0.296 0.640 4.700 0.000 0.119 0.000 0.000 0.271 1.278

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