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

Integrals 101 to 170

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 A A B A F(-1) C F B

verified

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

size

121 175 162 154 823 228 0 1281 31 202

N.S.

1 1.45 1.34 1.27 6.80 1.88 0.00 10.59 0.26 1.67

time (sec)

N/A 0.331 1.037 4.555 0.076 0.096 0.000 0.214 0.173 16.289

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

169 252 145 241 1798 343 0 1909 31 290

N.S.

1 1.49 0.86 1.43 10.64 2.03 0.00 11.30 0.18 1.72

time (sec)

N/A 0.398 0.742 3.431 0.131 0.251 0.000 0.203 0.181 16.408

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

121 175 105 154 823 166 2054 1281 29 203

N.S.

1 1.45 0.87 1.27 6.80 1.37 16.98 10.59 0.24 1.68

time (sec)

N/A 0.337 1.158 1.402 0.074 0.089 25.309 0.220 0.182 15.449

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

127 183 155 144 813 142 1579 1271 23 191

N.S.

1 1.44 1.22 1.13 6.40 1.12 12.43 10.01 0.18 1.50

time (sec)

N/A 0.354 0.417 0.918 0.076 0.091 3.818 0.200 0.189 0.002

Problem 105

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

size

179 198 249 0 0 0 0 0 29 0

N.S.

1 1.11 1.39 0.00 0.00 0.00 0.00 0.00 0.16 0.00

time (sec)

N/A 0.514 1.438 0.000 0.000 0.000 0.000 0.000 0.202 0.000

Problem 106

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

size

210 264 192 0 0 0 0 0 29 0

N.S.

1 1.26 0.91 0.00 0.00 0.00 0.00 0.00 0.14 0.00

time (sec)

N/A 0.582 0.983 0.000 0.000 0.000 0.000 0.000 0.191 0.000

Problem 107

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

size

174 212 173 0 0 0 0 0 23 0

N.S.

1 1.22 0.99 0.00 0.00 0.00 0.00 0.00 0.13 0.00

time (sec)

N/A 0.411 1.068 0.000 0.000 0.000 0.000 0.000 0.165 0.000

Problem 108

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

size

181 200 251 0 0 0 0 0 29 0

N.S.

1 1.10 1.39 0.00 0.00 0.00 0.00 0.00 0.16 0.00

time (sec)

N/A 0.520 1.171 0.000 0.000 0.000 0.000 0.000 0.174 0.000

Problem 109

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

size

163 179 134 0 0 0 0 0 27 0

N.S.

1 1.10 0.82 0.00 0.00 0.00 0.00 0.00 0.17 0.00

time (sec)

N/A 0.463 4.524 0.000 0.000 0.000 0.000 0.000 0.189 0.000

Problem 110

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

size

90 90 70 0 0 0 0 0 21 0

N.S.

1 1.00 0.78 0.00 0.00 0.00 0.00 0.00 0.23 0.00

time (sec)

N/A 0.265 0.112 0.000 0.000 0.000 0.000 0.000 0.172 0.000

Problem 111

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

size

84 84 84 0 0 0 0 0 21 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.25 0.00

time (sec)

N/A 0.209 0.008 0.000 0.000 0.000 0.000 0.000 0.173 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

83 228 110 0 0 0 0 0 27 0

N.S.

1 2.75 1.33 0.00 0.00 0.00 0.00 0.00 0.33 0.00

time (sec)

N/A 0.610 2.094 0.000 0.000 0.000 0.000 0.000 0.190 0.000

Problem 113

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

size

219 173 212 0 0 0 0 0 29 0

N.S.

1 0.79 0.97 0.00 0.00 0.00 0.00 0.00 0.13 0.00

time (sec)

N/A 0.466 0.792 0.000 0.000 0.000 0.000 0.000 0.178 0.000

Problem 114

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

280 218 443 0 0 0 0 0 29 0

N.S.

1 0.78 1.58 0.00 0.00 0.00 0.00 0.00 0.10 0.00

time (sec)

N/A 0.641 5.318 0.000 0.000 0.000 0.000 0.000 0.175 0.000

Problem 115

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

size

207 261 247 0 0 0 0 0 29 0

N.S.

1 1.26 1.19 0.00 0.00 0.00 0.00 0.00 0.14 0.00

time (sec)

N/A 0.571 0.826 0.000 0.000 0.000 0.000 0.000 0.166 0.000

Problem 116

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

size

112 150 106 0 0 0 0 0 23 0

N.S.

1 1.34 0.95 0.00 0.00 0.00 0.00 0.00 0.21 0.00

time (sec)

N/A 0.336 1.055 0.000 0.000 0.000 0.000 0.000 0.169 0.000

Problem 117

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

size

132 175 113 0 0 0 0 0 27 0

N.S.

1 1.33 0.86 0.00 0.00 0.00 0.00 0.00 0.20 0.00

time (sec)

N/A 0.426 0.421 0.000 0.000 0.000 0.000 0.000 0.171 0.000

Problem 118

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

size

84 80 80 0 0 0 0 0 23 0

N.S.

1 0.95 0.95 0.00 0.00 0.00 0.00 0.00 0.27 0.00

time (sec)

N/A 0.208 0.009 0.000 0.000 0.000 0.000 0.000 0.167 0.000

Problem 119

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

size

215 177 211 0 0 0 0 0 29 0

N.S.

1 0.82 0.98 0.00 0.00 0.00 0.00 0.00 0.13 0.00

time (sec)

N/A 0.433 0.787 0.000 0.000 0.000 0.000 0.000 0.188 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

82 470 215 0 0 0 0 0 31 0

N.S.

1 5.73 2.62 0.00 0.00 0.00 0.00 0.00 0.38 0.00

time (sec)

N/A 1.007 0.866 0.000 0.000 0.000 0.000 0.000 0.179 0.000

Problem 121

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

327 351 327 0 0 0 0 0 31 0

N.S.

1 1.07 1.00 0.00 0.00 0.00 0.00 0.00 0.09 0.00

time (sec)

N/A 0.714 2.642 0.000 0.000 0.000 0.000 0.000 0.191 0.000

Problem 122

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

size

171 218 175 0 0 0 0 0 23 0

N.S.

1 1.27 1.02 0.00 0.00 0.00 0.00 0.00 0.13 0.00

time (sec)

N/A 0.415 0.868 0.000 0.000 0.000 0.000 0.000 0.174 0.000

Problem 123

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

size

196 265 169 0 0 0 0 0 29 0

N.S.

1 1.35 0.86 0.00 0.00 0.00 0.00 0.00 0.15 0.00

time (sec)

N/A 0.554 1.461 0.000 0.000 0.000 0.000 0.000 0.172 0.000

Problem 124

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

size

132 179 241 0 0 0 0 0 29 0

N.S.

1 1.36 1.83 0.00 0.00 0.00 0.00 0.00 0.22 0.00

time (sec)

N/A 0.430 1.278 0.000 0.000 0.000 0.000 0.000 0.174 0.000

Problem 125

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

size

84 154 112 0 0 0 0 0 23 0

N.S.

1 1.83 1.33 0.00 0.00 0.00 0.00 0.00 0.27 0.00

time (sec)

N/A 0.330 0.166 0.000 0.000 0.000 0.000 0.000 0.168 0.000

Problem 126

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

276 222 443 0 0 0 0 0 29 0

N.S.

1 0.80 1.61 0.00 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 0.619 5.751 0.000 0.000 0.000 0.000 0.000 0.190 0.000

Problem 127

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

346 349 291 0 0 0 0 0 31 0

N.S.

1 1.01 0.84 0.00 0.00 0.00 0.00 0.00 0.09 0.00

time (sec)

N/A 0.695 2.978 0.000 0.000 0.000 0.000 0.000 0.174 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

83 732 155 0 0 0 0 0 31 0

N.S.

1 8.82 1.87 0.00 0.00 0.00 0.00 0.00 0.37 0.00

time (sec)

N/A 1.436 2.811 0.000 0.000 0.000 0.000 0.000 0.193 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

74 99 66 122 0 77 512 155744 52 91

N.S.

1 1.34 0.89 1.65 0.00 1.04 6.92 2104.65 0.70 1.23

time (sec)

N/A 0.270 0.451 0.409 0.000 0.086 13.583 5.664 0.178 15.776

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

44 0 44 41 0 43 0 0 33 42

N.S.

1 0.00 1.00 0.93 0.00 0.98 0.00 0.00 0.75 0.95

time (sec)

N/A 0.000 1.732 0.573 0.000 0.075 0.000 0.000 0.185 14.717

Problem 131

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

size

106 106 209 0 0 0 0 0 25 0

N.S.

1 1.00 1.97 0.00 0.00 0.00 0.00 0.00 0.24 0.00

time (sec)

N/A 0.267 0.743 0.000 0.000 0.000 0.000 0.000 0.181 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

72 98 72 121 0 81 476 24760 51 91

N.S.

1 1.36 1.00 1.68 0.00 1.12 6.61 343.89 0.71 1.26

time (sec)

N/A 0.265 0.409 0.398 0.000 0.084 12.777 1.322 0.176 15.977

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

44 0 44 41 28 43 0 0 115 42

N.S.

1 0.00 1.00 0.93 0.64 0.98 0.00 0.00 2.61 0.95

time (sec)

N/A 0.000 0.944 0.561 0.140 0.072 0.000 0.000 0.244 16.131

Problem 134

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

size

109 109 111 0 0 0 0 0 25 0

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 0.23 0.00

time (sec)

N/A 0.269 0.069 0.000 0.000 0.000 0.000 0.000 0.194 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 Yes N/A TBD TBD TBD TBD TBD TBD

size

140 115 95 0 0 0 0 0 25 0

N.S.

1 0.82 0.68 0.00 0.00 0.00 0.00 0.00 0.18 0.00

time (sec)

N/A 0.332 0.798 0.000 0.000 0.000 0.000 0.000 0.172 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

44 0 44 41 0 43 0 0 33 94

N.S.

1 0.00 1.00 0.93 0.00 0.98 0.00 0.00 0.75 2.14

time (sec)

N/A 0.000 1.100 0.724 0.000 0.071 0.000 0.000 0.595 18.053

Problem 137

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

size

138 113 93 0 0 0 0 0 25 0

N.S.

1 0.82 0.67 0.00 0.00 0.00 0.00 0.00 0.18 0.00

time (sec)

N/A 0.334 0.769 0.000 0.000 0.000 0.000 0.000 0.183 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

136 0 119 0 0 0 0 0 123 0

N.S.

1 0.00 0.88 0.00 0.00 0.00 0.00 0.00 0.90 0.00

time (sec)

N/A 0.000 10.628 0.000 0.000 0.000 0.000 0.000 0.182 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

268 0 0 0 0 0 0 0 33 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.12 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.177 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

263 0 0 0 0 0 0 0 33 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.13 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.185 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

132 0 0 0 0 0 0 0 33 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.25 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.186 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

224 0 260 0 0 0 0 0 33 0

N.S.

1 0.00 1.16 0.00 0.00 0.00 0.00 0.00 0.15 0.00

time (sec)

N/A 0.000 3.045 0.000 0.000 0.000 0.000 0.000 0.178 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

119 0 131 0 0 0 0 0 33 0

N.S.

1 0.00 1.10 0.00 0.00 0.00 0.00 0.00 0.28 0.00

time (sec)

N/A 0.000 2.205 0.000 0.000 0.000 0.000 0.000 0.177 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

117 0 125 0 0 0 0 0 33 0

N.S.

1 0.00 1.07 0.00 0.00 0.00 0.00 0.00 0.28 0.00

time (sec)

N/A 0.000 3.244 0.000 0.000 0.000 0.000 0.000 0.187 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

144 0 0 0 0 0 0 0 109 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.76 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.202 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

119 0 127 0 0 0 0 0 149 0

N.S.

1 0.00 1.07 0.00 0.00 0.00 0.00 0.00 1.25 0.00

time (sec)

N/A 0.000 3.020 0.000 0.000 0.000 0.000 0.000 0.221 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

222 0 222 0 0 0 0 0 147 0

N.S.

1 0.00 1.00 0.00 0.00 0.00 0.00 0.00 0.66 0.00

time (sec)

N/A 0.000 4.543 0.000 0.000 0.000 0.000 0.000 0.224 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

158 0 0 0 0 0 0 0 110 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.70 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.216 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

117 0 122 0 0 0 0 0 33 0

N.S.

1 0.00 1.04 0.00 0.00 0.00 0.00 0.00 0.28 0.00

time (sec)

N/A 0.000 2.589 0.000 0.000 0.000 0.000 0.000 0.184 0.000

Problem 150

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

size

138 137 136 0 0 0 0 0 113 0

N.S.

1 0.99 0.99 0.00 0.00 0.00 0.00 0.00 0.82 0.00

time (sec)

N/A 0.588 0.078 0.000 0.000 0.000 0.000 0.000 0.180 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

129 0 212 0 0 0 0 0 36 0

N.S.

1 0.00 1.64 0.00 0.00 0.00 0.00 0.00 0.28 0.00

time (sec)

N/A 0.000 13.211 0.000 0.000 0.000 0.000 0.000 0.199 0.000

Problem 152

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

size

117 158 126 0 0 0 0 0 30 0

N.S.

1 1.35 1.08 0.00 0.00 0.00 0.00 0.00 0.26 0.00

time (sec)

N/A 0.666 0.123 0.000 0.000 0.000 0.000 0.000 0.175 0.000

Problem 153

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

size

138 137 136 0 0 0 0 0 111 0

N.S.

1 0.99 0.99 0.00 0.00 0.00 0.00 0.00 0.80 0.00

time (sec)

N/A 0.564 0.066 0.000 0.000 0.000 0.000 0.000 0.206 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

129 0 210 0 0 0 0 0 36 0

N.S.

1 0.00 1.63 0.00 0.00 0.00 0.00 0.00 0.28 0.00

time (sec)

N/A 0.000 13.158 0.000 0.000 0.000 0.000 0.000 0.215 0.000

Problem 155

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

size

117 156 126 0 0 0 0 0 30 0

N.S.

1 1.33 1.08 0.00 0.00 0.00 0.00 0.00 0.26 0.00

time (sec)

N/A 0.638 0.104 0.000 0.000 0.000 0.000 0.000 0.199 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

170 0 0 0 0 0 0 0 30 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.18 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.197 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

178 0 0 0 0 0 0 0 32 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.18 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 200.029 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

186 0 0 0 0 0 0 0 30 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.16 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.194 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

171 0 0 0 0 0 0 0 36 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.21 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.188 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

173 0 0 0 0 0 0 0 36 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.21 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.174 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

181 0 0 0 0 0 0 0 36 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.20 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.183 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

185 0 0 0 0 0 0 0 36 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.19 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.179 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

170 0 0 0 0 0 0 0 36 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.21 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.197 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

178 0 0 0 0 0 0 0 36 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.20 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.168 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

180 0 0 0 0 0 0 0 36 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.20 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.173 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

188 0 0 0 0 0 0 0 36 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.19 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.171 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

176 0 0 0 0 0 0 0 36 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.20 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.173 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

184 0 0 0 0 0 0 0 36 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.20 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.178 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

178 0 0 0 0 0 0 0 36 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.20 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.193 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

186 0 0 0 0 0 0 0 36 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.19 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.166 0.000

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