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 Reduce Mupad

grade

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

verified

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

size

274 273 78 329 0 62 90 0 46 0

N.S.

1 1.00 0.28 1.20 0.00 0.23 0.33 0.00 0.17 0.00

time (sec)

N/A 0.518 10.046 1.385 0.000 0.100 1.306 0.000 0.240 0.000

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

548 553 91 479 0 78 80 0 60 0

N.S.

1 1.01 0.17 0.87 0.00 0.14 0.15 0.00 0.11 0.00

time (sec)

N/A 0.950 10.097 1.497 0.000 0.106 1.460 0.000 0.258 0.000

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

517 523 75 463 0 51 80 0 38 0

N.S.

1 1.01 0.15 0.90 0.00 0.10 0.15 0.00 0.07 0.00

time (sec)

N/A 0.885 10.074 0.972 0.000 0.107 1.185 0.000 0.224 0.000

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

509 520 77 463 0 54 82 0 43 0

N.S.

1 1.02 0.15 0.91 0.00 0.11 0.16 0.00 0.08 0.00

time (sec)

N/A 0.918 10.044 0.915 0.000 0.142 1.016 0.000 0.232 0.000

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

550 551 78 481 0 70 88 0 46 0

N.S.

1 1.00 0.14 0.87 0.00 0.13 0.16 0.00 0.08 0.00

time (sec)

N/A 0.984 10.043 1.167 0.000 0.090 1.202 0.000 0.265 0.000

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

581 581 78 504 0 97 94 0 46 0

N.S.

1 1.00 0.13 0.87 0.00 0.17 0.16 0.00 0.08 0.00

time (sec)

N/A 1.046 10.042 2.132 0.000 0.115 1.361 0.000 0.246 0.000

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

103 103 77 68 116 88 175 114 34 152

N.S.

1 1.00 0.75 0.66 1.13 0.85 1.70 1.11 0.33 1.48

time (sec)

N/A 0.423 0.097 0.824 0.034 0.101 0.458 0.123 0.229 1.027

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

73 73 55 49 81 63 124 77 22 60

N.S.

1 1.00 0.75 0.67 1.11 0.86 1.70 1.05 0.30 0.82

time (sec)

N/A 0.367 0.076 0.818 0.027 0.088 0.357 0.120 0.223 0.929

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

46 46 33 30 47 41 75 38 13 33

N.S.

1 1.00 0.72 0.65 1.02 0.89 1.63 0.83 0.28 0.72

time (sec)

N/A 0.335 0.060 0.826 0.033 0.108 0.254 0.128 0.234 0.791

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

58 58 58 49 70 167 78 53 36 65

N.S.

1 1.00 1.00 0.84 1.21 2.88 1.34 0.91 0.62 1.12

time (sec)

N/A 0.323 0.122 0.821 0.109 0.127 5.324 0.121 0.225 1.053

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 83 77 68 144 230 264 99 61 131

N.S.

1 0.98 0.91 0.80 1.69 2.71 3.11 1.16 0.72 1.54

time (sec)

N/A 0.350 0.237 0.878 0.111 0.105 27.583 0.123 0.209 1.258

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

117 113 100 97 215 286 192 137 83 167

N.S.

1 0.97 0.85 0.83 1.84 2.44 1.64 1.17 0.71 1.43

time (sec)

N/A 0.374 0.265 0.904 0.107 0.136 68.396 0.132 0.252 1.469

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

298 298 103 406 0 122 80 0 57 0

N.S.

1 1.00 0.35 1.36 0.00 0.41 0.27 0.00 0.19 0.00

time (sec)

N/A 0.574 10.108 2.542 0.000 0.154 9.557 0.000 0.243 0.000

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

266 268 78 348 0 95 80 0 39 0

N.S.

1 1.01 0.29 1.31 0.00 0.36 0.30 0.00 0.15 0.00

time (sec)

N/A 0.503 10.087 1.649 0.000 0.122 4.303 0.000 0.252 0.000

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

251 251 73 336 0 83 78 0 20 0

N.S.

1 1.00 0.29 1.34 0.00 0.33 0.31 0.00 0.08 0.00

time (sec)

N/A 0.457 10.041 0.829 0.000 0.107 2.860 0.000 0.272 0.000

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

272 271 86 350 0 102 82 0 24 0

N.S.

1 1.00 0.32 1.29 0.00 0.38 0.30 0.00 0.09 0.00

time (sec)

N/A 0.509 10.042 1.356 0.000 0.088 9.280 0.000 0.268 0.000

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

304 302 72 386 0 119 90 0 24 0

N.S.

1 0.99 0.24 1.27 0.00 0.39 0.30 0.00 0.08 0.00

time (sec)

N/A 0.561 10.044 1.887 0.000 0.134 26.227 0.000 0.241 0.000

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

546 552 79 504 0 104 80 0 42 0

N.S.

1 1.01 0.14 0.92 0.00 0.19 0.15 0.00 0.08 0.00

time (sec)

N/A 0.939 10.087 2.060 0.000 0.090 5.251 0.000 0.279 0.000

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

524 535 71 490 0 94 80 0 21 0

N.S.

1 1.02 0.14 0.94 0.00 0.18 0.15 0.00 0.04 0.00

time (sec)

N/A 0.927 10.069 0.962 0.000 0.107 3.376 0.000 0.268 0.000

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

548 550 72 504 0 106 82 0 24 0

N.S.

1 1.00 0.13 0.92 0.00 0.19 0.15 0.00 0.04 0.00

time (sec)

N/A 0.969 10.037 1.502 0.000 0.101 7.245 0.000 0.260 0.000

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

580 580 72 540 0 127 88 0 24 0

N.S.

1 1.00 0.12 0.93 0.00 0.22 0.15 0.00 0.04 0.00

time (sec)

N/A 1.010 10.043 1.990 0.000 0.131 17.228 0.000 0.214 0.000

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

611 610 72 573 0 156 94 0 24 0

N.S.

1 1.00 0.12 0.94 0.00 0.26 0.15 0.00 0.04 0.00

time (sec)

N/A 1.040 10.042 2.680 0.000 0.106 46.083 0.000 0.207 0.000

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

103 103 73 70 116 98 338 104 42 145

N.S.

1 1.00 0.71 0.68 1.13 0.95 3.28 1.01 0.41 1.41

time (sec)

N/A 0.418 0.097 0.850 0.051 0.095 0.590 0.129 0.236 1.025

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

73 73 56 49 84 75 240 63 31 60

N.S.

1 1.00 0.77 0.67 1.15 1.03 3.29 0.86 0.42 0.82

time (sec)

N/A 0.374 0.078 0.975 0.043 0.087 0.536 0.126 0.221 1.065

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

46 48 33 30 49 52 144 32 22 33

N.S.

1 1.04 0.72 0.65 1.07 1.13 3.13 0.70 0.48 0.72

time (sec)

N/A 0.335 0.059 0.804 0.025 0.094 0.348 0.131 0.244 0.875

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 81 70 73 81 240 100 67 102 80

N.S.

1 1.05 0.91 0.95 1.05 3.12 1.30 0.87 1.32 1.04

time (sec)

N/A 0.347 0.166 0.885 0.111 0.125 8.624 0.126 0.236 1.011

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

112 106 99 94 170 348 1608 101 136 198

N.S.

1 0.95 0.88 0.84 1.52 3.11 14.36 0.90 1.21 1.77

time (sec)

N/A 0.381 0.225 0.987 0.115 0.153 131.439 0.124 0.240 1.196

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

295 297 108 397 0 153 80 0 116 0

N.S.

1 1.01 0.37 1.35 0.00 0.52 0.27 0.00 0.39 0.00

time (sec)

N/A 0.568 10.132 2.947 0.000 0.130 63.318 0.000 0.236 0.000

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

279 280 99 372 0 141 80 0 98 0

N.S.

1 1.00 0.35 1.33 0.00 0.51 0.29 0.00 0.35 0.00

time (sec)

N/A 0.541 10.108 1.283 0.000 0.096 41.133 0.000 0.221 0.000

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

283 282 103 364 0 145 78 0 31 0

N.S.

1 1.00 0.36 1.29 0.00 0.51 0.28 0.00 0.11 0.00

time (sec)

N/A 0.497 10.060 0.822 0.000 0.101 26.011 0.000 0.243 0.000

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

300 298 116 389 0 163 82 0 35 0

N.S.

1 0.99 0.39 1.30 0.00 0.54 0.27 0.00 0.12 0.00

time (sec)

N/A 0.539 10.071 2.263 0.000 0.121 90.131 0.000 0.221 0.000

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

334 331 83 425 0 178 0 0 35 0

N.S.

1 0.99 0.25 1.27 0.00 0.53 0.00 0.00 0.10 0.00

time (sec)

N/A 0.623 10.048 2.853 0.000 0.117 0.000 0.000 0.214 0.000

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

576 581 109 555 0 162 80 0 120 0

N.S.

1 1.01 0.19 0.96 0.00 0.28 0.14 0.00 0.21 0.00

time (sec)

N/A 1.018 10.115 3.457 0.000 0.090 82.424 0.000 0.261 0.000

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

557 564 92 528 0 154 80 0 103 0

N.S.

1 1.01 0.17 0.95 0.00 0.28 0.14 0.00 0.18 0.00

time (sec)

N/A 1.039 10.103 1.473 0.000 0.088 41.918 0.000 0.242 0.000

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

563 565 81 520 0 154 80 0 32 0

N.S.

1 1.00 0.14 0.92 0.00 0.27 0.14 0.00 0.06 0.00

time (sec)

N/A 0.978 10.085 0.966 0.000 0.123 26.304 0.000 0.217 0.000

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

578 579 86 545 0 167 82 0 35 0

N.S.

1 1.00 0.15 0.94 0.00 0.29 0.14 0.00 0.06 0.00

time (sec)

N/A 0.983 10.044 2.038 0.000 0.117 57.203 0.000 0.222 0.000

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

610 609 83 581 0 186 88 0 35 0

N.S.

1 1.00 0.14 0.95 0.00 0.30 0.14 0.00 0.06 0.00

time (sec)

N/A 1.048 10.050 3.234 0.000 0.111 165.610 0.000 0.276 0.000

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

161 152 123 138 0 295 298 330 112 0

N.S.

1 0.94 0.76 0.86 0.00 1.83 1.85 2.05 0.70 0.00

time (sec)

N/A 0.516 1.056 3.158 0.000 0.638 18.551 0.229 0.230 0.000

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

324 343 112 777 0 0 97 0 90 0

N.S.

1 1.06 0.35 2.40 0.00 0.00 0.30 0.00 0.28 0.00

time (sec)

N/A 0.714 10.183 4.148 0.000 0.000 21.703 0.000 0.358 0.000

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

581 625 94 1140 0 0 97 0 66 0

N.S.

1 1.08 0.16 1.96 0.00 0.00 0.17 0.00 0.11 0.00

time (sec)

N/A 1.224 10.112 3.401 0.000 0.000 7.069 0.000 0.393 0.000

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

121 118 96 109 0 221 253 177 88 0

N.S.

1 0.98 0.79 0.90 0.00 1.83 2.09 1.46 0.73 0.00

time (sec)

N/A 0.449 0.401 1.201 0.000 0.491 1.619 0.177 0.234 0.000

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

286 308 93 744 0 0 97 0 66 0

N.S.

1 1.08 0.33 2.60 0.00 0.00 0.34 0.00 0.23 0.00

time (sec)

N/A 0.633 10.080 2.374 0.000 0.000 2.936 0.000 0.363 0.000

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

580 622 98 1123 0 0 100 0 70 0

N.S.

1 1.07 0.17 1.94 0.00 0.00 0.17 0.00 0.12 0.00

time (sec)

N/A 1.180 10.066 2.693 0.000 0.000 3.775 0.000 0.418 0.000

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

118 117 82 100 0 207 160 0 89 0

N.S.

1 0.99 0.69 0.85 0.00 1.75 1.36 0.00 0.75 0.00

time (sec)

N/A 0.468 0.391 1.261 0.000 0.694 7.085 0.000 0.228 0.000

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

283 311 97 743 0 0 100 0 76 0

N.S.

1 1.10 0.34 2.63 0.00 0.00 0.35 0.00 0.27 0.00

time (sec)

N/A 0.637 10.067 3.258 0.000 0.000 13.808 0.000 0.448 0.000

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

564 536 81 1127 0 0 97 0 71 0

N.S.

1 0.95 0.14 2.00 0.00 0.00 0.17 0.00 0.13 0.00

time (sec)

N/A 1.040 10.097 4.523 0.000 0.000 10.180 0.000 0.479 0.000

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

79 78 75 84 81 180 131 109 88 0

N.S.

1 0.99 0.95 1.06 1.03 2.28 1.66 1.38 1.11 0.00

time (sec)

N/A 0.379 0.459 1.566 0.119 0.297 27.570 0.137 0.229 0.000

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

269 265 80 745 0 76 97 0 71 0

N.S.

1 0.99 0.30 2.77 0.00 0.28 0.36 0.00 0.26 0.00

time (sec)

N/A 0.549 10.113 4.342 0.000 0.150 73.181 0.000 0.567 0.000

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

201 183 144 162 0 355 634 494 133 0

N.S.

1 0.91 0.72 0.81 0.00 1.77 3.15 2.46 0.66 0.00

time (sec)

N/A 0.591 0.616 2.898 0.000 0.445 33.108 0.285 0.261 0.000

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

364 374 116 801 0 0 199 0 111 0

N.S.

1 1.03 0.32 2.20 0.00 0.00 0.55 0.00 0.30 0.00

time (sec)

N/A 0.765 10.197 5.642 0.000 0.000 70.828 0.000 0.380 0.000

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

621 656 96 1164 0 0 199 0 87 0

N.S.

1 1.06 0.15 1.87 0.00 0.00 0.32 0.00 0.14 0.00

time (sec)

N/A 1.259 10.149 4.412 0.000 0.000 23.507 0.000 0.358 0.000

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

161 149 121 134 0 273 546 415 109 0

N.S.

1 0.93 0.75 0.83 0.00 1.70 3.39 2.58 0.68 0.00

time (sec)

N/A 0.508 0.537 1.617 0.000 0.416 3.813 0.247 0.246 0.000

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

324 339 96 768 0 0 199 0 87 0

N.S.

1 1.05 0.30 2.37 0.00 0.00 0.61 0.00 0.27 0.00

time (sec)

N/A 0.665 10.087 3.980 0.000 0.000 8.341 0.000 0.386 0.000

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

614 653 84 1140 0 0 202 0 89 0

N.S.

1 1.06 0.14 1.86 0.00 0.00 0.33 0.00 0.14 0.00

time (sec)

N/A 1.237 10.081 3.982 0.000 0.000 11.718 0.000 0.430 0.000

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

152 148 101 117 0 255 289 0 112 0

N.S.

1 0.97 0.66 0.77 0.00 1.68 1.90 0.00 0.74 0.00

time (sec)

N/A 0.520 0.576 1.413 0.000 0.450 20.528 0.000 0.242 0.000

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

314 338 85 759 0 0 202 0 95 0

N.S.

1 1.08 0.27 2.42 0.00 0.00 0.64 0.00 0.30 0.00

time (sec)

N/A 0.688 10.084 3.709 0.000 0.000 25.773 0.000 0.447 0.000

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

241 214 165 186 0 409 1028 701 154 0

N.S.

1 0.89 0.68 0.77 0.00 1.70 4.27 2.91 0.64 0.00

time (sec)

N/A 0.659 0.768 6.415 0.000 0.509 49.733 0.353 0.248 0.000

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

404 405 116 825 0 0 308 0 132 0

N.S.

1 1.00 0.29 2.04 0.00 0.00 0.76 0.00 0.33 0.00

time (sec)

N/A 0.823 10.245 7.138 0.000 0.000 153.202 0.000 0.429 0.000

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

661 687 99 1188 0 0 308 0 108 0

N.S.

1 1.04 0.15 1.80 0.00 0.00 0.47 0.00 0.16 0.00

time (sec)

N/A 1.289 10.169 6.378 0.000 0.000 54.815 0.000 0.407 0.000

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

201 180 141 158 0 323 896 590 130 0

N.S.

1 0.90 0.70 0.79 0.00 1.61 4.46 2.94 0.65 0.00

time (sec)

N/A 0.575 0.668 2.371 0.000 0.458 8.368 0.303 0.247 0.000

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

364 370 84 792 0 0 308 0 108 0

N.S.

1 1.02 0.23 2.18 0.00 0.00 0.85 0.00 0.30 0.00

time (sec)

N/A 0.738 10.098 5.948 0.000 0.000 19.463 0.000 0.430 0.000

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

650 684 87 1166 0 0 311 0 108 0

N.S.

1 1.05 0.13 1.79 0.00 0.00 0.48 0.00 0.17 0.00

time (sec)

N/A 1.343 10.060 5.569 0.000 0.000 25.524 0.000 0.464 0.000

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

188 179 127 143 0 309 403 0 131 0

N.S.

1 0.95 0.68 0.76 0.00 1.64 2.14 0.00 0.70 0.00

time (sec)

N/A 0.574 0.826 1.917 0.000 0.509 49.341 0.000 0.243 0.000

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

352 373 88 786 0 0 311 0 114 0

N.S.

1 1.06 0.25 2.23 0.00 0.00 0.88 0.00 0.32 0.00

time (sec)

N/A 0.733 10.052 4.817 0.000 0.000 49.846 0.000 0.500 0.000

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

121 121 100 114 0 245 194 146 90 0

N.S.

1 1.00 0.83 0.94 0.00 2.02 1.60 1.21 0.74 0.00

time (sec)

N/A 0.478 0.576 1.414 0.000 0.417 14.917 0.166 0.227 0.000

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

286 312 98 753 0 0 94 0 69 0

N.S.

1 1.09 0.34 2.63 0.00 0.00 0.33 0.00 0.24 0.00

time (sec)

N/A 0.663 10.147 2.735 0.000 0.000 17.962 0.000 0.330 0.000

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

543 594 80 1124 0 0 94 0 47 0

N.S.

1 1.09 0.15 2.07 0.00 0.00 0.17 0.00 0.09 0.00

time (sec)

N/A 1.145 10.108 2.546 0.000 0.000 6.398 0.000 0.335 0.000

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

83 84 79 94 0 184 151 94 64 0

N.S.

1 1.01 0.95 1.13 0.00 2.22 1.82 1.13 0.77 0.00

time (sec)

N/A 0.404 0.966 1.194 0.000 0.445 2.247 0.164 0.221 0.000

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

249 278 80 728 0 0 94 0 47 0

N.S.

1 1.12 0.32 2.92 0.00 0.00 0.38 0.00 0.19 0.00

time (sec)

N/A 0.582 10.074 2.931 0.000 0.000 2.194 0.000 0.330 0.000

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

542 589 83 1119 0 0 97 0 53 0

N.S.

1 1.09 0.15 2.06 0.00 0.00 0.18 0.00 0.10 0.00

time (sec)

N/A 1.178 10.048 3.144 0.000 0.000 2.722 0.000 0.391 0.000

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

75 76 66 87 0 183 60 108 71 0

N.S.

1 1.01 0.88 1.16 0.00 2.44 0.80 1.44 0.95 0.00

time (sec)

N/A 0.377 0.441 1.315 0.000 0.244 6.843 0.146 0.217 0.000

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

246 275 82 740 0 58 97 0 59 0

N.S.

1 1.12 0.33 3.01 0.00 0.24 0.39 0.00 0.24 0.00

time (sec)

N/A 0.587 10.054 4.166 0.000 0.100 20.136 0.000 0.447 0.000

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

119 120 93 129 0 307 0 132 67 0

N.S.

1 1.01 0.78 1.08 0.00 2.58 0.00 1.11 0.56 0.00

time (sec)

N/A 0.477 0.848 1.349 0.000 0.388 0.000 0.175 0.230 0.000

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

285 312 87 787 0 0 0 0 50 0

N.S.

1 1.09 0.31 2.76 0.00 0.00 0.00 0.00 0.18 0.00

time (sec)

N/A 0.649 10.127 5.740 0.000 0.000 0.000 0.000 0.317 0.000

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

553 607 77 1154 0 0 94 0 27 0

N.S.

1 1.10 0.14 2.09 0.00 0.00 0.17 0.00 0.05 0.00

time (sec)

N/A 1.212 10.143 3.980 0.000 0.000 82.058 0.000 0.272 0.000

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 86 81 92 0 234 95 93 45 0

N.S.

1 1.01 0.95 1.08 0.00 2.75 1.12 1.09 0.53 0.00

time (sec)

N/A 0.418 0.757 0.875 0.000 0.251 24.916 0.173 0.207 0.000

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

258 287 79 754 0 92 94 0 30 0

N.S.

1 1.11 0.31 2.92 0.00 0.36 0.36 0.00 0.12 0.00

time (sec)

N/A 0.606 10.078 4.733 0.000 0.108 27.071 0.000 0.281 0.000

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

585 629 77 1177 0 108 97 0 32 0

N.S.

1 1.08 0.13 2.01 0.00 0.18 0.17 0.00 0.05 0.00

time (sec)

N/A 1.230 10.051 7.634 0.000 0.102 46.477 0.000 0.320 0.000

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

67 67 44 39 0 57 90 100 25 70

N.S.

1 1.00 0.66 0.58 0.00 0.85 1.34 1.49 0.37 1.04

time (sec)

N/A 0.332 0.922 1.167 0.000 0.099 86.921 0.195 0.271 1.196

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

283 314 95 784 0 117 97 0 32 0

N.S.

1 1.11 0.34 2.77 0.00 0.41 0.34 0.00 0.11 0.00

time (sec)

N/A 0.635 10.065 7.436 0.000 0.108 155.848 0.000 0.364 0.000

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

121 119 100 157 0 345 0 126 124 0

N.S.

1 0.98 0.83 1.30 0.00 2.85 0.00 1.04 1.02 0.00

time (sec)

N/A 0.481 1.026 0.927 0.000 0.320 0.000 0.182 0.256 0.000

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

295 325 108 809 0 170 0 0 112 0

N.S.

1 1.10 0.37 2.74 0.00 0.58 0.00 0.00 0.38 0.00

time (sec)

N/A 0.672 10.174 5.514 0.000 0.172 0.000 0.000 0.573 0.000

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

596 643 86 1190 0 169 0 0 38 0

N.S.

1 1.08 0.14 2.00 0.00 0.28 0.00 0.00 0.06 0.00

time (sec)

N/A 1.257 10.138 5.358 0.000 0.116 0.000 0.000 0.423 0.000

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

79 79 44 39 0 59 0 72 27 73

N.S.

1 1.00 0.56 0.49 0.00 0.75 0.00 0.91 0.34 0.92

time (sec)

N/A 0.359 0.828 0.795 0.000 0.109 0.000 0.154 0.282 1.035

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

297 323 107 785 0 150 0 0 41 0

N.S.

1 1.09 0.36 2.64 0.00 0.51 0.00 0.00 0.14 0.00

time (sec)

N/A 0.646 10.113 6.722 0.000 0.126 0.000 0.000 0.386 0.000

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

624 665 85 1225 0 167 0 0 43 0

N.S.

1 1.07 0.14 1.96 0.00 0.27 0.00 0.00 0.07 0.00

time (sec)

N/A 1.281 10.066 10.543 0.000 0.137 0.000 0.000 0.464 0.000

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

104 104 67 62 0 93 0 0 44 115

N.S.

1 1.00 0.64 0.60 0.00 0.89 0.00 0.00 0.42 1.11

time (sec)

N/A 0.384 0.782 1.237 0.000 0.124 0.000 0.000 0.248 1.248

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

320 350 121 829 0 178 0 0 43 0

N.S.

1 1.09 0.38 2.59 0.00 0.56 0.00 0.00 0.13 0.00

time (sec)

N/A 0.675 10.103 12.211 0.000 0.127 0.000 0.000 0.546 0.000

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

103 107 80 68 118 99 212 104 57 96

N.S.

1 1.04 0.78 0.66 1.15 0.96 2.06 1.01 0.55 0.93

time (sec)

N/A 0.418 0.093 0.760 0.035 0.109 0.509 0.127 0.226 0.853

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

73 77 56 49 84 75 162 73 45 76

N.S.

1 1.05 0.77 0.67 1.15 1.03 2.22 1.00 0.62 1.04

time (sec)

N/A 0.369 0.068 0.790 0.038 0.098 0.337 0.121 0.221 0.812

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

46 50 34 31 49 50 110 44 32 53

N.S.

1 1.09 0.74 0.67 1.07 1.09 2.39 0.96 0.70 1.15

time (sec)

N/A 0.332 0.046 0.808 0.036 0.092 0.253 0.123 0.208 0.790

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

119 124 146 115 115 127 68 125 55 140

N.S.

1 1.04 1.23 0.97 0.97 1.07 0.57 1.05 0.46 1.18

time (sec)

N/A 0.422 0.265 0.880 0.145 0.108 12.538 0.390 0.229 1.427

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

142 138 163 119 205 187 87 155 63 264

N.S.

1 0.97 1.15 0.84 1.44 1.32 0.61 1.09 0.44 1.86

time (sec)

N/A 0.431 0.468 1.180 0.114 0.150 17.856 0.405 0.245 1.417

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

161 146 168 134 263 235 85 214 64 342

N.S.

1 0.91 1.04 0.83 1.63 1.46 0.53 1.33 0.40 2.12

time (sec)

N/A 0.440 0.603 1.196 0.120 0.096 40.567 0.447 0.252 2.087

Problem 295

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

181 165 212 166 409 245 83 0 74 0

N.S.

1 0.91 1.17 0.92 2.26 1.35 0.46 0.00 0.41 0.00

time (sec)

N/A 0.442 1.203 1.276 0.115 0.124 5.288 0.000 0.242 0.000

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

146 135 181 273 320 243 83 0 49 0

N.S.

1 0.92 1.24 1.87 2.19 1.66 0.57 0.00 0.34 0.00

time (sec)

N/A 0.394 0.828 1.177 0.114 0.138 2.128 0.000 0.298 0.000

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

139 129 174 132 253 0 85 0 50 0

N.S.

1 0.93 1.25 0.95 1.82 0.00 0.61 0.00 0.36 0.00

time (sec)

N/A 0.394 0.711 1.236 0.127 0.000 1.545 0.000 0.248 0.000

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

113 116 167 143 135 0 116 0 54 60

N.S.

1 1.03 1.48 1.27 1.19 0.00 1.03 0.00 0.48 0.53

time (sec)

N/A 0.361 0.462 1.208 0.109 0.000 1.375 0.000 0.237 1.566

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

53 53 40 36 55 55 187 0 38 97

N.S.

1 1.00 0.75 0.68 1.04 1.04 3.53 0.00 0.72 1.83

time (sec)

N/A 0.301 0.239 0.853 0.028 0.136 1.302 0.000 0.233 1.176

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

84 83 62 55 90 81 646 0 49 132

N.S.

1 0.99 0.74 0.65 1.07 0.96 7.69 0.00 0.58 1.57

time (sec)

N/A 0.344 0.285 0.874 0.037 0.161 1.959 0.000 0.217 1.487