Integrals 201 to 300

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 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

51 51 70 379 56 87 0 0 0

N.S.

1 1.00 1.37 7.43 1.10 1.71 0.00 0.00 0.00

time (sec)

N/A 0.053 0.010 0.325 0.249 0.253 0.000 0.000 0.000

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

77 77 91 401 78 117 0 0 0

N.S.

1 1.00 1.18 5.21 1.01 1.52 0.00 0.00 0.00

time (sec)

N/A 0.080 0.014 0.337 0.241 0.256 0.000 0.000 0.000

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

307 307 265 5257 281 899 0 0 0

N.S.

1 1.00 0.86 17.12 0.92 2.93 0.00 0.00 0.00

time (sec)

N/A 0.369 0.205 6.914 0.456 0.284 0.000 0.000 0.000

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

231 231 199 4953 215 745 0 0 0

N.S.

1 1.00 0.86 21.44 0.93 3.23 0.00 0.00 0.00

time (sec)

N/A 0.334 0.132 2.481 0.453 0.270 0.000 0.000 0.000

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 150 131 348 142 551 0 0 0

N.S.

1 1.00 0.87 2.32 0.95 3.67 0.00 0.00 0.00

time (sec)

N/A 0.182 0.145 2.750 0.466 0.278 0.000 0.000 0.000

Problem 206

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

15 15 17 15 17 17 14 17 17

N.S.

1 1.00 1.13 1.00 1.13 1.13 0.93 1.13 1.13

time (sec)

N/A 0.118 3.698 0.112 1.042 0.246 0.794 0.747 4.270

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

155 155 148 1684 149 450 0 0 0

N.S.

1 1.00 0.95 10.86 0.96 2.90 0.00 0.00 0.00

time (sec)

N/A 0.223 0.119 2.093 0.787 0.271 0.000 0.000 0.000

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

128 128 122 1625 125 381 0 0 0

N.S.

1 1.00 0.95 12.70 0.98 2.98 0.00 0.00 0.00

time (sec)

N/A 0.207 0.063 1.904 0.729 0.259 0.000 0.000 0.000

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

101 101 91 1542 101 322 0 0 0

N.S.

1 1.00 0.90 15.27 1.00 3.19 0.00 0.00 0.00

time (sec)

N/A 0.164 0.064 1.515 0.754 0.260 0.000 0.000 0.000

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 63 255 72 238 0 0 0

N.S.

1 1.00 0.91 3.70 1.04 3.45 0.00 0.00 0.00

time (sec)

N/A 0.113 0.078 1.597 0.746 0.274 0.000 0.000 0.000

Problem 211

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

16 16 18 16 18 18 15 18 18

N.S.

1 1.00 1.12 1.00 1.12 1.12 0.94 1.12 1.12

time (sec)

N/A 0.070 2.825 0.116 0.921 0.252 0.529 0.342 4.214

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

168 168 148 1754 146 423 0 0 0

N.S.

1 1.00 0.88 10.44 0.87 2.52 0.00 0.00 0.00

time (sec)

N/A 0.263 0.127 2.024 0.795 0.271 0.000 0.000 0.000

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

139 139 123 1697 123 359 0 0 0

N.S.

1 1.00 0.88 12.21 0.88 2.58 0.00 0.00 0.00

time (sec)

N/A 0.217 0.064 1.942 0.743 0.280 0.000 0.000 0.000

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

110 110 93 1616 100 305 0 0 0

N.S.

1 1.00 0.85 14.69 0.91 2.77 0.00 0.00 0.00

time (sec)

N/A 0.182 0.065 1.615 0.733 0.263 0.000 0.000 0.000

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 66 271 73 227 0 0 0

N.S.

1 1.00 0.87 3.57 0.96 2.99 0.00 0.00 0.00

time (sec)

N/A 0.111 0.085 1.633 0.762 0.286 0.000 0.000 0.000

Problem 216

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

19 19 21 19 20 19 17 21 19

N.S.

1 1.00 1.11 1.00 1.05 1.00 0.89 1.11 1.00

time (sec)

N/A 0.030 2.835 0.115 0.970 0.251 0.517 0.342 4.187

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

303 303 265 5185 277 879 0 0 0

N.S.

1 1.00 0.87 17.11 0.91 2.90 0.00 0.00 0.00

time (sec)

N/A 0.406 0.204 7.202 0.492 0.290 0.000 0.000 0.000

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

229 229 199 4881 213 729 0 0 0

N.S.

1 1.00 0.87 21.31 0.93 3.18 0.00 0.00 0.00

time (sec)

N/A 0.300 0.127 2.948 0.460 0.300 0.000 0.000 0.000

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 150 131 348 142 539 0 0 0

N.S.

1 1.00 0.87 2.32 0.95 3.59 0.00 0.00 0.00

time (sec)

N/A 0.189 0.166 2.950 0.464 0.277 0.000 0.000 0.000

Problem 220

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

15 15 17 15 17 17 14 17 17

N.S.

1 1.00 1.13 1.00 1.13 1.13 0.93 1.13 1.13

time (sec)

N/A 0.109 3.890 0.133 0.975 0.259 1.846 0.685 4.455

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

152 152 145 1656 146 423 0 0 0

N.S.

1 1.00 0.95 10.89 0.96 2.78 0.00 0.00 0.00

time (sec)

N/A 0.224 0.113 2.055 0.750 0.263 0.000 0.000 0.000

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

126 126 120 1599 123 359 0 0 0

N.S.

1 1.00 0.95 12.69 0.98 2.85 0.00 0.00 0.00

time (sec)

N/A 0.201 0.070 1.979 0.769 0.282 0.000 0.000 0.000

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

100 100 90 1518 100 305 0 0 0

N.S.

1 1.00 0.90 15.18 1.00 3.05 0.00 0.00 0.00

time (sec)

N/A 0.167 0.066 1.641 0.821 0.266 0.000 0.000 0.000

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 63 255 72 226 0 0 0

N.S.

1 1.00 0.91 3.70 1.04 3.28 0.00 0.00 0.00

time (sec)

N/A 0.127 0.089 1.700 0.749 0.273 0.000 0.000 0.000

Problem 225

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

16 16 18 16 18 18 15 18 18

N.S.

1 1.00 1.12 1.00 1.12 1.12 0.94 1.12 1.12

time (sec)

N/A 0.031 2.891 0.105 0.939 0.252 1.610 0.332 4.311

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

165 165 151 1782 149 450 0 0 0

N.S.

1 1.00 0.92 10.80 0.90 2.73 0.00 0.00 0.00

time (sec)

N/A 0.238 0.122 2.017 0.759 0.270 0.000 0.000 0.000

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

137 137 125 1723 125 381 0 0 0

N.S.

1 1.00 0.91 12.58 0.91 2.78 0.00 0.00 0.00

time (sec)

N/A 0.203 0.064 1.882 0.765 0.267 0.000 0.000 0.000

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

109 109 94 1640 101 322 0 0 0

N.S.

1 1.00 0.86 15.05 0.93 2.95 0.00 0.00 0.00

time (sec)

N/A 0.186 0.067 1.572 0.833 0.263 0.000 0.000 0.000

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 66 271 73 239 0 0 0

N.S.

1 1.00 0.87 3.57 0.96 3.14 0.00 0.00 0.00

time (sec)

N/A 0.122 0.065 1.663 0.803 0.259 0.000 0.000 0.000

Problem 230

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

19 19 21 19 20 19 17 21 19

N.S.

1 1.00 1.11 1.00 1.05 1.00 0.89 1.11 1.00

time (sec)

N/A 0.066 2.911 0.111 1.004 0.250 1.645 0.352 4.462

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

302 302 654 3640 0 1808 0 0 0

N.S.

1 1.00 2.17 12.05 0.00 5.99 0.00 0.00 0.00

time (sec)

N/A 0.214 0.201 24.711 0.000 0.324 0.000 0.000 0.000

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

234 234 409 2719 0 1282 0 0 0

N.S.

1 1.00 1.75 11.62 0.00 5.48 0.00 0.00 0.00

time (sec)

N/A 0.154 0.138 20.177 0.000 0.292 0.000 0.000 0.000

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

162 162 295 1818 0 834 0 0 0

N.S.

1 1.00 1.82 11.22 0.00 5.15 0.00 0.00 0.00

time (sec)

N/A 0.097 0.206 1.830 0.000 0.290 0.000 0.000 0.000

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 127 169 182 498 0 0 0

N.S.

1 1.00 1.61 2.14 2.30 6.30 0.00 0.00 0.00

time (sec)

N/A 0.039 0.018 1.060 0.336 0.278 0.000 0.000 0.000

Problem 235

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

15 15 17 15 17 17 14 17 17

N.S.

1 1.00 1.13 1.00 1.13 1.13 0.93 1.13 1.13

time (sec)

N/A 0.034 0.486 0.159 1.539 0.250 0.528 0.991 4.424

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

395 395 349 6855 0 2164 0 0 0

N.S.

1 1.00 0.88 17.35 0.00 5.48 0.00 0.00 0.00

time (sec)

N/A 0.391 0.747 20.796 0.000 0.323 0.000 0.000 0.000

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

295 295 259 6481 0 1688 0 0 0

N.S.

1 1.00 0.88 21.97 0.00 5.72 0.00 0.00 0.00

time (sec)

N/A 0.313 0.552 2.923 0.000 0.328 0.000 0.000 0.000

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

194 194 365 556 372 1184 0 0 0

N.S.

1 1.00 1.88 2.87 1.92 6.10 0.00 0.00 0.00

time (sec)

N/A 0.194 0.353 2.644 0.364 0.322 0.000 0.000 0.000

Problem 239

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

15 15 17 15 17 17 14 17 17

N.S.

1 1.00 1.13 1.00 1.13 1.13 0.93 1.13 1.13

time (sec)

N/A 0.042 0.336 0.102 3.479 0.258 0.698 1.494 5.967

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

170 170 155 2273 343 344 0 0 0

N.S.

1 1.00 0.91 13.37 2.02 2.02 0.00 0.00 0.00

time (sec)

N/A 0.217 0.158 2.313 0.237 0.284 0.000 0.000 0.000

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

133 133 119 2183 248 292 0 0 0

N.S.

1 1.00 0.89 16.41 1.86 2.20 0.00 0.00 0.00

time (sec)

N/A 0.171 0.076 1.977 0.241 0.283 0.000 0.000 0.000

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

93 93 766 307 262 217 0 0 0

N.S.

1 1.00 8.24 3.30 2.82 2.33 0.00 0.00 0.00

time (sec)

N/A 0.105 4.347 2.322 0.288 0.262 0.000 0.000 0.000

Problem 243

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

20 20 22 18 144 36 17 20 21

N.S.

1 1.00 1.10 0.90 7.20 1.80 0.85 1.00 1.05

time (sec)

N/A 0.068 0.641 0.129 4.086 0.249 0.719 0.772 5.375

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

171 171 156 2383 342 344 0 0 0

N.S.

1 1.00 0.91 13.94 2.00 2.01 0.00 0.00 0.00

time (sec)

N/A 0.227 0.147 2.414 0.223 0.273 0.000 0.000 0.000

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

134 134 120 2285 247 292 0 0 0

N.S.

1 1.00 0.90 17.05 1.84 2.18 0.00 0.00 0.00

time (sec)

N/A 0.178 0.082 2.162 0.247 0.281 0.000 0.000 0.000

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

94 94 723 320 260 218 0 0 0

N.S.

1 1.00 7.69 3.40 2.77 2.32 0.00 0.00 0.00

time (sec)

N/A 0.116 1.669 2.500 0.283 0.261 0.000 0.000 0.000

Problem 247

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

21 21 23 19 141 36 17 21 22

N.S.

1 1.00 1.10 0.90 6.71 1.71 0.81 1.00 1.05

time (sec)

N/A 0.075 0.621 0.127 4.389 0.252 0.758 0.850 4.818

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

302 302 654 3640 0 1566 0 0 0

N.S.

1 1.00 2.17 12.05 0.00 5.19 0.00 0.00 0.00

time (sec)

N/A 0.199 0.173 27.658 0.000 0.351 0.000 0.000 0.000

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

234 234 409 2719 0 1084 0 0 0

N.S.

1 1.00 1.75 11.62 0.00 4.63 0.00 0.00 0.00

time (sec)

N/A 0.137 0.119 22.217 0.000 0.322 0.000 0.000 0.000

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

162 162 295 1818 0 680 0 0 0

N.S.

1 1.00 1.82 11.22 0.00 4.20 0.00 0.00 0.00

time (sec)

N/A 0.088 0.219 2.089 0.000 0.317 0.000 0.000 0.000

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 127 188 184 388 0 0 0

N.S.

1 1.00 1.61 2.38 2.33 4.91 0.00 0.00 0.00

time (sec)

N/A 0.040 0.017 1.434 0.325 0.290 0.000 0.000 0.000

Problem 252

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

15 15 17 15 17 17 14 17 17

N.S.

1 1.00 1.13 1.00 1.13 1.13 0.93 1.13 1.13

time (sec)

N/A 0.038 0.085 0.178 1.600 0.260 0.660 0.443 4.319

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

391 391 341 6661 0 1798 0 0 0

N.S.

1 1.00 0.87 17.04 0.00 4.60 0.00 0.00 0.00

time (sec)

N/A 0.390 0.809 27.599 0.000 0.467 0.000 0.000 0.000

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

293 293 255 6311 0 1462 0 0 0

N.S.

1 1.00 0.87 21.54 0.00 4.99 0.00 0.00 0.00

time (sec)

N/A 0.335 0.622 4.183 0.000 0.432 0.000 0.000 0.000

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

194 194 390 564 392 1098 0 0 0

N.S.

1 1.00 2.01 2.91 2.02 5.66 0.00 0.00 0.00

time (sec)

N/A 0.190 0.517 2.993 0.382 0.379 0.000 0.000 0.000

Problem 256

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

15 15 17 15 17 17 14 17 17

N.S.

1 1.00 1.13 1.00 1.13 1.13 0.93 1.13 1.13

time (sec)

N/A 0.106 0.341 0.204 3.571 0.257 0.982 0.712 6.148

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

168 168 155 2383 344 179 0 0 0

N.S.

1 1.00 0.92 14.18 2.05 1.07 0.00 0.00 0.00

time (sec)

N/A 0.227 0.146 2.530 0.238 0.266 0.000 0.000 0.000

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

132 132 119 2285 249 156 0 0 0

N.S.

1 1.00 0.90 17.31 1.89 1.18 0.00 0.00 0.00

time (sec)

N/A 0.212 0.091 2.094 0.228 0.258 0.000 0.000 0.000

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

93 93 709 307 286 121 0 0 0

N.S.

1 1.00 7.62 3.30 3.08 1.30 0.00 0.00 0.00

time (sec)

N/A 0.119 2.148 2.550 0.281 0.250 0.000 0.000 0.000

Problem 260

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

20 20 22 18 141 36 17 20 21

N.S.

1 1.00 1.10 0.90 7.05 1.80 0.85 1.00 1.05

time (sec)

N/A 0.054 0.583 0.169 5.127 0.262 1.004 0.475 5.263

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

169 169 155 2273 345 179 0 0 0

N.S.

1 1.00 0.92 13.45 2.04 1.06 0.00 0.00 0.00

time (sec)

N/A 0.229 0.138 2.491 0.244 0.266 0.000 0.000 0.000

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

133 133 119 2183 250 156 0 0 0

N.S.

1 1.00 0.89 16.41 1.88 1.17 0.00 0.00 0.00

time (sec)

N/A 0.187 0.082 2.071 0.234 0.258 0.000 0.000 0.000

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

94 94 605 320 288 121 0 0 0

N.S.

1 1.00 6.44 3.40 3.06 1.29 0.00 0.00 0.00

time (sec)

N/A 0.127 1.842 2.378 0.307 0.265 0.000 0.000 0.000

Problem 264

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

21 21 23 19 144 36 19 21 22

N.S.

1 1.00 1.10 0.90 6.86 1.71 0.90 1.00 1.05

time (sec)

N/A 0.076 0.628 0.173 4.999 0.253 1.016 0.477 5.276

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

160 160 131 414 0 326 0 0 0

N.S.

1 1.00 0.82 2.59 0.00 2.04 0.00 0.00 0.00

time (sec)

N/A 0.452 0.218 146.704 0.000 0.280 0.000 0.000 0.000

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

297 297 236 314 331 246 362 0 510

N.S.

1 1.00 0.79 1.06 1.11 0.83 1.22 0.00 1.72

time (sec)

N/A 0.306 0.094 4.222 0.213 0.268 2.453 0.000 5.570

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

225 225 192 249 271 195 286 0 414

N.S.

1 1.00 0.85 1.11 1.20 0.87 1.27 0.00 1.84

time (sec)

N/A 0.205 0.078 2.507 0.215 0.247 1.123 0.000 5.422

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 140 129 174 171 138 209 241 329

N.S.

1 1.00 0.92 1.24 1.22 0.99 1.49 1.72 2.35

time (sec)

N/A 0.098 0.057 1.631 0.208 0.248 0.558 0.391 5.596

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

381 381 0 589 167 0 0 0 0

N.S.

1 1.00 0.00 1.55 0.44 0.00 0.00 0.00 0.00

time (sec)

N/A 0.348 0.000 4.721 0.355 0.000 0.000 0.000 0.000

Problem 270

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

size

247 247 161 0 0 0 0 0 0

N.S.

1 1.00 0.65 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.385 0.094 0.000 0.000 0.000 0.000 0.000 0.000

Problem 271

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

size

339 339 307 0 0 0 0 0 0

N.S.

1 1.00 0.91 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.546 0.082 0.000 0.000 0.000 0.000 0.000 0.000

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A C C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

315 315 236 296 317 249 345 359 497

N.S.

1 1.00 0.75 0.94 1.01 0.79 1.10 1.14 1.58

time (sec)

N/A 0.570 0.081 3.315 0.201 0.264 1.684 0.545 5.495

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A C C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

247 247 183 229 252 198 265 282 414

N.S.

1 1.00 0.74 0.93 1.02 0.80 1.07 1.14 1.68

time (sec)

N/A 0.460 0.068 2.116 0.208 0.252 0.792 0.413 5.345

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A C C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 104 144 141 178 130 155 198 315

N.S.

1 1.00 1.38 1.36 1.71 1.25 1.49 1.90 3.03

time (sec)

N/A 0.149 0.021 1.250 0.210 0.252 0.357 0.347 4.987

Problem 275

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

size

105 105 332 0 0 0 0 0 0

N.S.

1 1.00 3.16 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.172 0.112 0.000 0.000 0.000 0.000 0.000 0.000

Problem 276

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

size

197 197 457 0 0 0 0 0 0

N.S.

1 1.00 2.32 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.320 0.230 0.000 0.000 0.000 0.000 0.000 0.000

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

256 256 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.472 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

512 512 1128 952 0 0 0 0 0

N.S.

1 1.00 2.20 1.86 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.564 6.103 6.951 0.000 0.000 0.000 0.000 0.000

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

546 546 1287 3508 0 0 0 0 0

N.S.

1 1.00 2.36 6.42 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.011 2.394 8.478 0.000 0.000 0.000 0.000 0.000

Problem 280

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

24 24 26 24 93 37 22 26 26

N.S.

1 1.00 1.08 1.00 3.88 1.54 0.92 1.08 1.08

time (sec)

N/A 0.210 0.151 0.566 0.398 0.260 113.024 0.300 5.667

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

560 560 1236 0 0 0 0 0 0

N.S.

1 1.00 2.21 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.855 2.518 0.000 0.000 0.000 0.000 0.000 0.000

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

712 712 1193 937 0 0 0 0 0

N.S.

1 1.00 1.68 1.32 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.842 4.958 9.688 0.000 0.000 0.000 0.000 0.000

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 51 22 58 64 0 0 0

N.S.

1 1.00 2.04 0.88 2.32 2.56 0.00 0.00 0.00

time (sec)

N/A 0.014 0.003 0.098 0.263 0.257 0.000 0.000 0.000

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 71 54 59 94 0 0 0

N.S.

1 1.00 1.39 1.06 1.16 1.84 0.00 0.00 0.00

time (sec)

N/A 0.037 0.020 0.077 0.212 0.257 0.000 0.000 0.000

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 93 71 76 119 0 0 0

N.S.

1 1.00 1.33 1.01 1.09 1.70 0.00 0.00 0.00

time (sec)

N/A 0.062 0.020 0.092 0.215 0.257 0.000 0.000 0.000

Problem 286

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

41 41 68 49 107 137 0 0 0

N.S.

1 1.00 1.66 1.20 2.61 3.34 0.00 0.00 0.00

time (sec)

N/A 0.012 0.018 0.258 0.203 0.253 0.000 0.000 0.000

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 113 179 108 198 0 0 0

N.S.

1 1.00 1.36 2.16 1.30 2.39 0.00 0.00 0.00

time (sec)

N/A 0.056 0.031 0.249 0.210 0.252 0.000 0.000 0.000

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 119 149 244 142 247 0 0 0

N.S.

1 1.00 1.25 2.05 1.19 2.08 0.00 0.00 0.00

time (sec)

N/A 0.094 0.028 0.316 0.219 0.269 0.000 0.000 0.000

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

168 168 108 160 202 283 0 0 0

N.S.

1 1.00 0.64 0.95 1.20 1.68 0.00 0.00 0.00

time (sec)

N/A 0.104 0.046 1.161 0.218 0.264 0.000 0.000 0.000

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

216 216 177 590 194 395 0 0 0

N.S.

1 1.00 0.82 2.73 0.90 1.83 0.00 0.00 0.00

time (sec)

N/A 1.912 0.073 0.645 0.254 0.261 0.000 0.000 0.000

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

269 269 235 666 254 479 0 0 0

N.S.

1 1.00 0.87 2.48 0.94 1.78 0.00 0.00 0.00

time (sec)

N/A 1.748 0.045 1.040 0.240 0.256 0.000 0.000 0.000

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 21 21 14 44 15

N.S.

1 1.00 1.00 0.82 1.24 1.24 0.82 2.59 0.88

time (sec)

N/A 0.033 0.078 0.418 0.209 0.253 0.242 0.271 0.274

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 39 37 37 58 60 225 107

N.S.

1 1.00 0.89 0.84 0.84 1.32 1.36 5.11 2.43

time (sec)

N/A 0.043 0.014 0.300 0.200 0.252 0.709 0.281 4.415

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 42 118 40 108 0 119 58

N.S.

1 1.00 0.89 2.51 0.85 2.30 0.00 2.53 1.23

time (sec)

N/A 0.047 0.027 4.395 0.204 0.256 0.000 0.293 5.530

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B B F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

107 107 153 794 184 233 0 167 187

N.S.

1 1.00 1.43 7.42 1.72 2.18 0.00 1.56 1.75

time (sec)

N/A 0.147 0.102 3.447 0.291 0.271 0.000 0.456 4.574

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F B B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

49 49 60 824 64 92 0 98 119

N.S.

1 1.00 1.22 16.82 1.31 1.88 0.00 2.00 2.43

time (sec)

N/A 0.072 0.045 0.356 0.215 0.252 0.000 0.378 5.185

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 46 37 43 57 66 40 28

N.S.

1 1.00 1.02 0.82 0.96 1.27 1.47 0.89 0.62

time (sec)

N/A 0.053 0.046 0.181 0.219 0.249 0.715 0.270 0.119

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 46 29 42 25 0 35 28

N.S.

1 1.00 1.02 0.64 0.93 0.56 0.00 0.78 0.62

time (sec)

N/A 0.044 0.043 0.244 0.209 0.253 0.000 0.264 4.063

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

49 49 59 939 64 93 0 147 111

N.S.

1 1.00 1.20 19.16 1.31 1.90 0.00 3.00 2.27

time (sec)

N/A 0.055 0.046 0.354 0.223 0.251 0.000 0.315 4.263

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B B F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

107 107 150 920 184 234 0 157 179

N.S.

1 1.00 1.40 8.60 1.72 2.19 0.00 1.47 1.67

time (sec)

N/A 0.107 0.089 3.326 0.301 0.261 0.000 0.449 4.474