2.2.4 Integrals 301 to 400

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 301

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

101 107 48 45 74 44 134 189 83

N.S.

1 1.06 0.48 0.45 0.73 0.44 1.33 1.87 0.82

time (sec)

N/A 0.465 0.080 0.539 0.219 0.242 2.176 0.271 0.047

Problem 302

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

80 86 40 37 60 36 109 142 66

N.S.

1 1.08 0.50 0.46 0.75 0.45 1.36 1.78 0.82

time (sec)

N/A 0.447 0.064 0.545 0.214 0.243 2.139 0.265 0.059

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 63 31 28 44 27 80 92 46

N.S.

1 1.11 0.54 0.49 0.77 0.47 1.40 1.61 0.81

time (sec)

N/A 0.376 0.056 0.549 0.212 0.245 2.532 0.252 0.051

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 44 23 20 30 19 56 44 32

N.S.

1 1.16 0.61 0.53 0.79 0.50 1.47 1.16 0.84

time (sec)

N/A 0.309 0.010 0.566 0.220 0.247 1.987 0.261 0.002

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 45 39 32 49 82 80 40 31

N.S.

1 1.15 1.00 0.82 1.26 2.10 2.05 1.03 0.79

time (sec)

N/A 0.400 0.036 0.510 0.298 0.254 3.959 0.273 4.096

Problem 306

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

42 49 42 43 62 97 0 48 34

N.S.

1 1.17 1.00 1.02 1.48 2.31 0.00 1.14 0.81

time (sec)

N/A 0.397 0.035 0.517 0.313 0.260 0.000 0.257 0.067

Problem 307

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

68 76 55 52 103 117 0 76 54

N.S.

1 1.12 0.81 0.76 1.51 1.72 0.00 1.12 0.79

time (sec)

N/A 0.406 0.055 0.541 0.294 0.260 0.000 0.267 4.501

Problem 308

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

89 103 63 62 134 133 0 104 74

N.S.

1 1.16 0.71 0.70 1.51 1.49 0.00 1.17 0.83

time (sec)

N/A 0.419 0.067 0.578 0.294 0.276 0.000 0.265 4.583

Problem 309

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

110 130 71 70 163 149 0 131 91

N.S.

1 1.18 0.65 0.64 1.48 1.35 0.00 1.19 0.83

time (sec)

N/A 0.439 0.077 0.542 0.293 0.257 0.000 0.256 0.077

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

309 233 130 146 0 304 0 0 0

N.S.

1 0.75 0.42 0.47 0.00 0.98 0.00 0.00 0.00

time (sec)

N/A 0.404 0.132 0.451 0.000 0.256 0.000 0.000 0.000

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

261 197 122 138 0 288 0 145 0

N.S.

1 0.75 0.47 0.53 0.00 1.10 0.00 0.56 0.00

time (sec)

N/A 0.401 0.103 0.456 0.000 0.270 0.000 0.294 0.000

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

211 170 114 125 0 272 0 0 0

N.S.

1 0.81 0.54 0.59 0.00 1.29 0.00 0.00 0.00

time (sec)

N/A 0.330 0.084 0.457 0.000 0.261 0.000 0.000 0.000

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 138 105 107 0 250 0 0 0

N.S.

1 0.85 0.64 0.66 0.00 1.53 0.00 0.00 0.00

time (sec)

N/A 0.290 0.047 0.445 0.000 0.262 0.000 0.000 0.000

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 131 120 107 0 352 0 0 0

N.S.

1 0.77 0.71 0.63 0.00 2.07 0.00 0.00 0.00

time (sec)

N/A 0.351 0.073 0.445 0.000 0.266 0.000 0.000 0.000

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 134 120 117 0 390 0 0 0

N.S.

1 0.78 0.70 0.68 0.00 2.27 0.00 0.00 0.00

time (sec)

N/A 0.348 0.065 0.471 0.000 0.275 0.000 0.000 0.000

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

224 157 132 144 0 428 0 0 0

N.S.

1 0.70 0.59 0.64 0.00 1.91 0.00 0.00 0.00

time (sec)

N/A 0.373 0.175 0.464 0.000 0.274 0.000 0.000 0.000

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

274 188 140 165 0 444 0 0 0

N.S.

1 0.69 0.51 0.60 0.00 1.62 0.00 0.00 0.00

time (sec)

N/A 0.401 0.229 0.493 0.000 0.272 0.000 0.000 0.000

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

322 219 148 181 0 460 0 0 0

N.S.

1 0.68 0.46 0.56 0.00 1.43 0.00 0.00 0.00

time (sec)

N/A 0.431 0.294 0.487 0.000 0.279 0.000 0.000 0.000

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 120 46 37 27 33 0 0 48

N.S.

1 0.83 0.32 0.26 0.19 0.23 0.00 0.00 0.33

time (sec)

N/A 0.259 0.035 0.446 0.231 0.237 0.000 0.000 4.348

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 97 41 32 22 28 70 0 38

N.S.

1 0.91 0.38 0.30 0.21 0.26 0.65 0.00 0.36

time (sec)

N/A 0.234 0.025 0.431 0.221 0.249 42.547 0.000 4.268

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 95 48 34 22 45 0 63 35

N.S.

1 0.91 0.46 0.33 0.21 0.43 0.00 0.61 0.34

time (sec)

N/A 0.245 0.033 0.441 0.207 0.252 0.000 0.269 4.251

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 70 43 29 17 40 0 49 30

N.S.

1 1.03 0.63 0.43 0.25 0.59 0.00 0.72 0.44

time (sec)

N/A 0.214 0.025 0.448 0.217 0.256 0.000 0.262 4.242

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 97 39 30 20 26 0 0 38

N.S.

1 0.91 0.36 0.28 0.19 0.24 0.00 0.00 0.36

time (sec)

N/A 0.237 0.023 0.426 0.214 0.234 0.000 0.000 4.105

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 34 25 15 21 56 0 21

N.S.

1 1.00 0.49 0.36 0.21 0.30 0.80 0.00 0.30

time (sec)

N/A 0.212 0.019 0.448 0.203 0.249 2.948 0.000 4.114

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 70 41 29 17 40 0 49 30

N.S.

1 0.99 0.58 0.41 0.24 0.56 0.00 0.69 0.42

time (sec)

N/A 0.226 0.023 0.450 0.211 0.249 0.000 0.272 4.203

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 34 24 12 33 0 33 25

N.S.

1 1.00 1.70 1.20 0.60 1.65 0.00 1.65 1.25

time (sec)

N/A 0.191 0.017 0.457 0.202 0.250 0.000 0.262 4.522

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 70 26 25 13 21 48 0 21

N.S.

1 0.96 0.36 0.34 0.18 0.29 0.66 0.00 0.29

time (sec)

N/A 0.229 0.021 0.443 0.205 0.246 6.502 0.000 4.160

Problem 328

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

33 30 21 22 7 18 19 23 18

N.S.

1 0.91 0.64 0.67 0.21 0.55 0.58 0.70 0.55

time (sec)

N/A 0.206 0.013 0.444 0.221 0.264 6.478 0.270 4.129

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 98 69 66 0 72 0 0 0

N.S.

1 0.78 0.55 0.52 0.00 0.57 0.00 0.00 0.00

time (sec)

N/A 0.256 0.055 0.460 0.000 0.244 0.000 0.000 0.000

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 78 63 55 0 66 58 0 0

N.S.

1 0.87 0.70 0.61 0.00 0.73 0.64 0.00 0.00

time (sec)

N/A 0.228 0.035 0.455 0.000 0.248 13.994 0.000 0.000

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 78 65 47 0 46 0 0 0

N.S.

1 0.84 0.70 0.51 0.00 0.49 0.00 0.00 0.00

time (sec)

N/A 0.245 0.048 0.453 0.000 0.250 0.000 0.000 0.000

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

58 55 41 37 0 26 42 0 0

N.S.

1 0.95 0.71 0.64 0.00 0.45 0.72 0.00 0.00

time (sec)

N/A 0.217 0.024 0.442 0.000 0.253 40.258 0.000 0.000

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 112 75 90 0 84 126 41 0

N.S.

1 0.86 0.58 0.69 0.00 0.65 0.97 0.32 0.00

time (sec)

N/A 0.265 0.098 0.451 0.000 0.249 101.000 0.282 0.000

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 85 69 79 0 76 70 32 0

N.S.

1 0.94 0.77 0.88 0.00 0.84 0.78 0.36 0.00

time (sec)

N/A 0.233 0.061 0.468 0.000 0.245 97.850 0.289 0.000

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

131 135 102 0 0 0 0 0 0

N.S.

1 1.03 0.78 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.327 0.080 0.000 0.000 0.000 0.000 0.000 0.000

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 151 67 59 83 69 0 0 88

N.S.

1 1.06 0.47 0.42 0.58 0.49 0.00 0.00 0.62

time (sec)

N/A 0.333 0.052 0.457 0.213 0.241 0.000 0.000 4.539

Problem 337

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

104 119 58 50 69 60 0 69 57

N.S.

1 1.14 0.56 0.48 0.66 0.58 0.00 0.66 0.55

time (sec)

N/A 0.286 0.045 0.441 0.205 0.257 0.000 0.274 4.510

Problem 338

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

62 87 50 42 54 50 0 43 71

N.S.

1 1.40 0.81 0.68 0.87 0.81 0.00 0.69 1.15

time (sec)

N/A 0.242 0.026 0.438 0.201 0.246 0.000 0.271 0.003

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 82 74 80 0 206 0 40 0

N.S.

1 0.87 0.79 0.85 0.00 2.19 0.00 0.43 0.00

time (sec)

N/A 0.293 0.055 0.453 0.000 0.259 0.000 0.274 0.000

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 82 76 90 0 232 0 48 0

N.S.

1 0.85 0.79 0.94 0.00 2.42 0.00 0.50 0.00

time (sec)

N/A 0.298 0.047 0.464 0.000 0.256 0.000 0.271 0.000

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 142 85 75 123 168 175 159 114

N.S.

1 1.02 0.61 0.54 0.88 1.21 1.26 1.14 0.82

time (sec)

N/A 0.511 0.142 0.599 0.283 0.254 4.136 0.269 0.095

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 100 78 68 97 153 134 105 80

N.S.

1 1.03 0.80 0.70 1.00 1.58 1.38 1.08 0.82

time (sec)

N/A 0.486 0.100 0.554 0.296 0.255 3.619 0.260 4.221

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 109 70 59 95 136 122 105 80

N.S.

1 1.12 0.72 0.61 0.98 1.40 1.26 1.08 0.82

time (sec)

N/A 0.394 0.107 0.546 0.273 0.270 3.504 0.276 0.105

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 82 61 57 79 119 99 77 61

N.S.

1 1.08 0.80 0.75 1.04 1.57 1.30 1.01 0.80

time (sec)

N/A 0.327 0.024 0.527 0.277 0.248 2.632 0.263 0.003

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 85 74 58 98 157 122 67 57

N.S.

1 1.15 1.00 0.78 1.32 2.12 1.65 0.91 0.77

time (sec)

N/A 0.447 0.039 0.582 0.286 0.253 5.327 0.272 0.103

Problem 346

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

78 92 78 70 111 176 0 71 61

N.S.

1 1.18 1.00 0.90 1.42 2.26 0.00 0.91 0.78

time (sec)

N/A 0.463 0.046 0.552 0.280 0.257 0.000 0.274 4.100

Problem 347

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

106 119 93 80 152 204 0 106 88

N.S.

1 1.12 0.88 0.75 1.43 1.92 0.00 1.00 0.83

time (sec)

N/A 0.496 0.087 0.625 0.287 0.266 0.000 0.267 4.020

Problem 348

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

127 146 101 89 183 220 0 133 105

N.S.

1 1.15 0.80 0.70 1.44 1.73 0.00 1.05 0.83

time (sec)

N/A 0.547 0.105 0.590 0.283 0.263 0.000 0.276 0.144

Problem 349

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

148 173 109 97 212 236 0 160 122

N.S.

1 1.17 0.74 0.66 1.43 1.59 0.00 1.08 0.82

time (sec)

N/A 0.559 0.123 0.614 0.300 0.269 0.000 0.275 4.064

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

281 204 73 80 117 77 0 0 74

N.S.

1 0.73 0.26 0.28 0.42 0.27 0.00 0.00 0.26

time (sec)

N/A 0.379 0.053 0.454 0.211 0.251 0.000 0.000 4.275

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 176 65 72 104 69 0 0 88

N.S.

1 0.76 0.28 0.31 0.45 0.30 0.00 0.00 0.38

time (sec)

N/A 0.356 0.042 0.462 0.235 0.252 0.000 0.000 4.577

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 144 57 64 91 61 0 0 58

N.S.

1 0.79 0.31 0.35 0.50 0.34 0.00 0.00 0.32

time (sec)

N/A 0.313 0.038 0.471 0.244 0.252 0.000 0.000 4.106

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 115 48 55 75 50 0 0 71

N.S.

1 0.84 0.35 0.40 0.55 0.36 0.00 0.00 0.52

time (sec)

N/A 0.267 0.019 0.466 0.200 0.261 0.000 0.000 0.002

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 107 78 80 0 207 0 0 0

N.S.

1 0.76 0.56 0.57 0.00 1.48 0.00 0.00 0.00

time (sec)

N/A 0.317 0.132 0.472 0.000 0.270 0.000 0.000 0.000

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 111 79 86 0 233 0 0 0

N.S.

1 0.79 0.56 0.61 0.00 1.66 0.00 0.00 0.00

time (sec)

N/A 0.328 0.092 0.487 0.000 0.271 0.000 0.000 0.000

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

190 141 90 103 0 262 0 0 0

N.S.

1 0.74 0.47 0.54 0.00 1.38 0.00 0.00 0.00

time (sec)

N/A 0.332 0.095 0.484 0.000 0.265 0.000 0.000 0.000

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

238 172 98 114 0 278 0 0 0

N.S.

1 0.72 0.41 0.48 0.00 1.17 0.00 0.00 0.00

time (sec)

N/A 0.341 0.100 0.470 0.000 0.259 0.000 0.000 0.000

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

286 203 106 125 0 294 0 0 0

N.S.

1 0.71 0.37 0.44 0.00 1.03 0.00 0.00 0.00

time (sec)

N/A 0.367 0.110 0.492 0.000 0.265 0.000 0.000 0.000

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

278 226 116 104 122 185 0 0 223

N.S.

1 0.81 0.42 0.37 0.44 0.67 0.00 0.00 0.80

time (sec)

N/A 0.372 0.087 1.574 0.216 0.259 0.000 0.000 4.594

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 129 78 61 68 93 0 0 140

N.S.

1 1.02 0.61 0.48 0.54 0.73 0.00 0.00 1.10

time (sec)

N/A 0.290 0.057 1.157 0.216 0.262 0.000 0.000 4.357

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 58 34 37 44 0 0 55

N.S.

1 1.00 1.61 0.94 1.03 1.22 0.00 0.00 1.53

time (sec)

N/A 0.213 0.022 1.142 0.203 0.262 0.000 0.000 4.291

Problem 362

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

80 96 78 0 0 0 0 0 0

N.S.

1 1.20 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.269 0.032 0.000 0.000 0.000 0.000 0.000 0.000

Problem 363

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

88 105 89 0 0 0 0 0 0

N.S.

1 1.19 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.277 0.045 0.000 0.000 0.000 0.000 0.000 0.000

Problem 364

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

104 104 104 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.285 0.052 0.000 0.000 0.000 0.000 0.000 0.000

Problem 365

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

81 81 190 0 0 0 0 0 0

N.S.

1 1.00 2.35 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.255 1.923 0.000 0.000 0.000 0.000 0.000 0.000

Problem 366

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

81 81 144 0 0 0 0 0 0

N.S.

1 1.00 1.78 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.248 1.179 0.000 0.000 0.000 0.000 0.000 0.000

Problem 367

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

79 79 104 0 0 0 0 0 0

N.S.

1 1.00 1.32 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.238 0.586 0.000 0.000 0.000 0.000 0.000 0.000

Problem 368

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

71 71 87 0 0 0 0 0 0

N.S.

1 1.00 1.23 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.243 0.309 0.000 0.000 0.000 0.000 0.000 0.000

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 33 33 0 58 187 0 32

N.S.

1 1.00 0.69 0.69 0.00 1.21 3.90 0.00 0.67

time (sec)

N/A 0.232 0.285 1.757 0.000 0.254 10.168 0.000 4.919

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 105 64 46 0 128 1112 0 113

N.S.

1 1.01 0.62 0.44 0.00 1.23 10.69 0.00 1.09

time (sec)

N/A 0.275 0.346 4.630 0.000 0.251 59.893 0.000 4.976

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

224 208 83 68 0 228 0 0 180

N.S.

1 0.93 0.37 0.30 0.00 1.02 0.00 0.00 0.80

time (sec)

N/A 0.368 0.408 12.144 0.000 0.255 0.000 0.000 4.697

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

98 106 103 0 0 0 0 0 0

N.S.

1 1.08 1.05 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.277 0.117 0.000 0.000 0.000 0.000 0.000 0.000

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

98 106 101 0 0 0 0 0 0

N.S.

1 1.08 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.276 0.083 0.000 0.000 0.000 0.000 0.000 0.000

Problem 374

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

98 106 98 0 0 0 0 0 0

N.S.

1 1.08 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.277 0.070 0.000 0.000 0.000 0.000 0.000 0.000

Problem 375

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

96 104 96 0 0 0 0 0 0

N.S.

1 1.08 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.279 0.065 0.000 0.000 0.000 0.000 0.000 0.000

Problem 376

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

96 104 94 0 0 0 0 0 0

N.S.

1 1.08 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.275 0.052 0.000 0.000 0.000 0.000 0.000 0.000

Problem 377

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

167 187 117 0 0 0 0 0 0

N.S.

1 1.12 0.70 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.312 0.127 0.000 0.000 0.000 0.000 0.000 0.000

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

245 249 138 0 0 0 0 0 0

N.S.

1 1.02 0.56 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.352 0.185 0.000 0.000 0.000 0.000 0.000 0.000

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 115 175 157 224 156 0 248 183

N.S.

1 1.01 1.54 1.38 1.96 1.37 0.00 2.18 1.61

time (sec)

N/A 0.451 0.217 0.091 0.284 0.252 0.000 0.286 4.266

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 167 140 201 146 0 221 163

N.S.

1 1.00 1.90 1.59 2.28 1.66 0.00 2.51 1.85

time (sec)

N/A 0.334 0.186 0.081 0.286 0.255 0.000 0.289 0.123

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 56 158 131 125 119 0 137 90

N.S.

1 0.90 2.55 2.11 2.02 1.92 0.00 2.21 1.45

time (sec)

N/A 0.294 0.197 0.084 0.288 0.254 0.000 0.279 4.698

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 34 31 63 66 48 0 42 60

N.S.

1 1.26 1.15 2.33 2.44 1.78 0.00 1.56 2.22

time (sec)

N/A 0.221 0.045 0.048 0.276 0.254 0.000 0.270 3.874

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 77 63 143 116 94 0 0 62

N.S.

1 1.10 0.90 2.04 1.66 1.34 0.00 0.00 0.89

time (sec)

N/A 0.322 0.140 0.147 0.201 0.252 0.000 0.000 3.790

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 104 94 185 137 134 0 0 104

N.S.

1 0.99 0.90 1.76 1.30 1.28 0.00 0.00 0.99

time (sec)

N/A 0.474 0.070 0.158 0.208 0.253 0.000 0.000 0.107

Problem 385

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

138 143 104 225 153 170 0 63 121

N.S.

1 1.04 0.75 1.63 1.11 1.23 0.00 0.46 0.88

time (sec)

N/A 0.629 0.086 0.171 0.197 0.263 0.000 0.295 3.811

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 178 112 265 169 204 0 0 137

N.S.

1 1.04 0.65 1.55 0.99 1.19 0.00 0.00 0.80

time (sec)

N/A 0.774 0.103 0.174 0.196 0.253 0.000 0.000 0.112

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 48 57 47 57 67 63 58 51

N.S.

1 0.79 0.93 0.77 0.93 1.10 1.03 0.95 0.84

time (sec)

N/A 0.426 0.088 0.637 0.197 0.251 0.186 0.288 0.079

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 34 41 32 37 43 39 38 35

N.S.

1 0.85 1.02 0.80 0.92 1.08 0.98 0.95 0.88

time (sec)

N/A 0.409 0.063 0.615 0.184 0.237 0.127 0.258 0.054

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 32 38 31 37 45 37 38 35

N.S.

1 0.82 0.97 0.79 0.95 1.15 0.95 0.97 0.90

time (sec)

N/A 0.402 0.058 0.593 0.192 0.247 0.128 0.261 4.275

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 20 16 17 16 21 15 16 19

N.S.

1 1.25 1.00 1.06 1.00 1.31 0.94 1.00 1.19

time (sec)

N/A 0.386 0.043 0.541 0.185 0.262 0.047 0.259 0.039

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 11 12 11 13 10 12 11

N.S.

1 1.00 1.00 1.09 1.00 1.18 0.91 1.09 1.00

time (sec)

N/A 0.336 0.030 0.502 0.191 0.232 0.051 0.257 3.814

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 36 30 35 35 40 26 36 34

N.S.

1 0.97 0.81 0.95 0.95 1.08 0.70 0.97 0.92

time (sec)

N/A 0.398 0.037 0.494 0.196 0.238 0.106 0.259 0.064

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 52 52 47 55 70 49 42 54

N.S.

1 0.98 0.98 0.89 1.04 1.32 0.92 0.79 1.02

time (sec)

N/A 0.437 0.065 0.490 0.203 0.241 0.163 0.255 3.821

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 68 63 56 75 100 73 50 71

N.S.

1 0.93 0.86 0.77 1.03 1.37 1.00 0.68 0.97

time (sec)

N/A 0.450 0.079 0.489 0.192 0.244 0.235 0.285 3.840

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 81 71 67 93 126 94 58 90

N.S.

1 0.93 0.82 0.77 1.07 1.45 1.08 0.67 1.03

time (sec)

N/A 0.463 0.096 0.489 0.195 0.250 0.279 0.266 0.093

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 102 175 157 223 156 0 248 183

N.S.

1 0.99 1.70 1.52 2.17 1.51 0.00 2.41 1.78

time (sec)

N/A 0.348 0.265 0.092 0.281 0.254 0.000 0.298 0.136

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 63 51 105 151 85 0 75 119

N.S.

1 1.03 0.84 1.72 2.48 1.39 0.00 1.23 1.95

time (sec)

N/A 0.247 0.078 0.088 0.272 0.255 0.000 0.284 3.849

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 67 154 131 125 114 0 138 90

N.S.

1 1.06 2.44 2.08 1.98 1.81 0.00 2.19 1.43

time (sec)

N/A 0.333 0.174 0.087 0.277 0.250 0.000 0.304 3.813

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 55 73 145 114 88 0 91 82

N.S.

1 1.12 1.49 2.96 2.33 1.80 0.00 1.86 1.67

time (sec)

N/A 0.325 0.121 0.125 0.286 0.255 0.000 0.276 0.101

Problem 400

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

105 109 70 183 133 128 0 63 100

N.S.

1 1.04 0.67 1.74 1.27 1.22 0.00 0.60 0.95

time (sec)

N/A 0.486 0.176 0.162 0.195 0.252 0.000 0.277 3.760