2.2.4 Integrals 301 to 385

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 A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 42 34 63 53 36 30 49

N.S.

1 1.00 0.84 0.68 1.26 1.06 0.72 0.60 0.98

time (sec)

N/A 0.245 0.018 0.305 0.271 0.244 0.136 0.260 0.151

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 48 178 112 86 0 24 92

N.S.

1 1.00 0.66 2.44 1.53 1.18 0.00 0.33 1.26

time (sec)

N/A 0.245 0.012 0.333 0.179 0.281 0.000 0.279 0.631

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

30 30 30 28 43 31 19 24 28

N.S.

1 1.00 1.00 0.93 1.43 1.03 0.63 0.80 0.93

time (sec)

N/A 0.228 0.014 0.264 0.264 0.252 0.084 0.270 0.581

Problem 304

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

41 41 52 87 40 54 0 0 55

N.S.

1 1.00 1.27 2.12 0.98 1.32 0.00 0.00 1.34

time (sec)

N/A 0.220 0.022 0.260 0.190 0.265 0.000 0.000 0.576

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 24 15 8 11 15

N.S.

1 1.00 1.00 0.93 1.60 1.00 0.53 0.73 1.00

time (sec)

N/A 0.208 0.005 0.224 0.286 0.248 0.023 0.257 0.552

Problem 306

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 16 16 14 12 15 10 12 15

N.S.

1 1.00 1.00 0.88 0.75 0.94 0.62 0.75 0.94

time (sec)

N/A 0.204 0.005 0.250 0.208 0.252 0.025 0.273 0.569

Problem 307

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

41 41 56 149 33 54 0 0 56

N.S.

1 1.00 1.37 3.63 0.80 1.32 0.00 0.00 1.37

time (sec)

N/A 0.220 0.045 0.273 0.290 0.274 0.000 0.000 0.569

Problem 308

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

32 32 32 30 41 31 19 24 29

N.S.

1 1.00 1.00 0.94 1.28 0.97 0.59 0.75 0.91

time (sec)

N/A 0.239 0.013 0.234 0.193 0.269 0.088 0.279 0.568

Problem 309

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

73 73 82 305 107 86 0 24 93

N.S.

1 1.00 1.12 4.18 1.47 1.18 0.00 0.33 1.27

time (sec)

N/A 0.244 0.062 0.349 0.274 0.272 0.000 0.280 0.113

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 78 69 82 0 364 0 0 0

N.S.

1 0.60 0.53 0.63 0.00 2.78 0.00 0.00 0.00

time (sec)

N/A 0.349 0.030 0.257 0.000 0.295 0.000 0.000 0.000

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 112 71 526 0 186 0 132 0

N.S.

1 1.17 0.74 5.48 0.00 1.94 0.00 1.38 0.00

time (sec)

N/A 0.297 0.018 0.447 0.000 0.300 0.000 0.349 0.000

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 58 55 61 0 357 0 0 0

N.S.

1 0.69 0.65 0.73 0.00 4.25 0.00 0.00 0.00

time (sec)

N/A 0.342 0.023 0.253 0.000 0.287 0.000 0.000 0.000

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 68 91 204 0 152 0 70 0

N.S.

1 1.08 1.44 3.24 0.00 2.41 0.00 1.11 0.00

time (sec)

N/A 0.258 0.028 0.355 0.000 0.271 0.000 0.300 0.000

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 42 38 0 253 0 0 0

N.S.

1 1.00 1.00 0.90 0.00 6.02 0.00 0.00 0.00

time (sec)

N/A 0.308 0.011 0.234 0.000 0.281 0.000 0.000 0.000

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 43 39 15 253 0 0 0

N.S.

1 1.00 1.00 0.91 0.35 5.88 0.00 0.00 0.00

time (sec)

N/A 0.296 0.012 0.254 0.191 0.281 0.000 0.000 0.000

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 68 117 87 40 152 0 70 0

N.S.

1 1.08 1.86 1.38 0.63 2.41 0.00 1.11 0.00

time (sec)

N/A 0.253 0.046 0.284 0.268 0.262 0.000 0.337 0.000

Problem 317

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

86 60 60 66 35 357 0 0 0

N.S.

1 0.70 0.70 0.77 0.41 4.15 0.00 0.00 0.00

time (sec)

N/A 0.337 0.024 0.248 0.197 0.286 0.000 0.000 0.000

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 112 132 188 76 186 0 132 0

N.S.

1 1.17 1.38 1.96 0.79 1.94 0.00 1.38 0.00

time (sec)

N/A 0.299 0.063 0.382 0.273 0.291 0.000 0.347 0.000

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 24 20 59 35 39 18 21

N.S.

1 1.00 0.69 0.57 1.69 1.00 1.11 0.51 0.60

time (sec)

N/A 0.231 0.013 0.255 0.295 0.258 0.135 0.274 0.109

Problem 320

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

67 67 47 45 95 75 0 111 41

N.S.

1 1.00 0.70 0.67 1.42 1.12 0.00 1.66 0.61

time (sec)

N/A 0.229 0.014 0.313 0.206 0.268 0.000 0.287 0.607

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 18 15 35 21 20 12 24

N.S.

1 1.00 0.95 0.79 1.84 1.11 1.05 0.63 1.26

time (sec)

N/A 0.201 0.011 0.250 0.301 0.249 0.091 0.273 0.625

Problem 322

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

67 67 48 31 45 51 0 67 33

N.S.

1 1.00 0.72 0.46 0.67 0.76 0.00 1.00 0.49

time (sec)

N/A 0.219 0.011 0.250 0.208 0.264 0.000 0.283 0.626

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 21 24 28 49 32 35 23

N.S.

1 1.00 0.75 0.86 1.00 1.75 1.14 1.25 0.82

time (sec)

N/A 0.230 0.015 0.244 0.309 0.274 0.101 0.272 0.607

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 21 24 0 49 34 35 25

N.S.

1 1.00 0.72 0.83 0.00 1.69 1.17 1.21 0.86

time (sec)

N/A 0.232 0.015 0.256 0.000 0.260 0.098 0.281 0.596

Problem 325

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

67 67 48 46 58 51 0 67 31

N.S.

1 1.00 0.72 0.69 0.87 0.76 0.00 1.00 0.46

time (sec)

N/A 0.233 0.015 0.279 0.273 0.258 0.000 0.288 0.068

Problem 326

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

19 19 18 15 13 21 22 13 24

N.S.

1 1.00 0.95 0.79 0.68 1.11 1.16 0.68 1.26

time (sec)

N/A 0.204 0.011 0.229 0.216 0.240 0.081 0.274 0.059

Problem 327

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

67 67 47 46 99 75 0 111 40

N.S.

1 1.00 0.70 0.69 1.48 1.12 0.00 1.66 0.60

time (sec)

N/A 0.228 0.013 0.342 0.203 0.271 0.000 0.296 0.600

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 66 56 47 0 101 0 0 48

N.S.

1 0.69 0.59 0.49 0.00 1.06 0.00 0.00 0.51

time (sec)

N/A 0.340 0.024 0.262 0.000 0.262 0.000 0.000 1.886

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 77 77 57 0 66 0 134 46

N.S.

1 1.12 1.12 0.83 0.00 0.96 0.00 1.94 0.67

time (sec)

N/A 0.260 0.029 0.375 0.000 0.307 0.000 0.294 1.141

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 48 42 0 71 0 0 41

N.S.

1 1.00 0.98 0.86 0.00 1.45 0.00 0.00 0.84

time (sec)

N/A 0.298 0.022 0.243 0.000 0.250 0.000 0.000 1.409

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 59 78 46 0 47 0 76 32

N.S.

1 1.09 1.44 0.85 0.00 0.87 0.00 1.41 0.59

time (sec)

N/A 0.241 0.024 0.311 0.000 0.265 0.000 0.296 0.747

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 59 51 58 0 317 0 0 0

N.S.

1 0.67 0.58 0.66 0.00 3.60 0.00 0.00 0.00

time (sec)

N/A 0.331 0.029 0.251 0.000 0.282 0.000 0.000 0.000

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 60 60 86 52 317 0 0 0

N.S.

1 0.67 0.67 0.97 0.58 3.56 0.00 0.00 0.00

time (sec)

N/A 0.333 0.029 0.251 0.184 0.284 0.000 0.000 0.000

Problem 334

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

54 59 78 56 59 47 0 76 32

N.S.

1 1.09 1.44 1.04 1.09 0.87 0.00 1.41 0.59

time (sec)

N/A 0.259 0.028 0.260 0.181 0.275 0.000 0.343 0.738

Problem 335

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

49 49 48 42 29 71 0 0 49

N.S.

1 1.00 0.98 0.86 0.59 1.45 0.00 0.00 1.00

time (sec)

N/A 0.304 0.022 0.252 0.178 0.261 0.000 0.000 1.231

Problem 336

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

69 77 77 58 119 66 0 134 45

N.S.

1 1.12 1.12 0.84 1.72 0.96 0.00 1.94 0.65

time (sec)

N/A 0.253 0.034 0.377 0.182 0.300 0.000 0.307 1.101

Problem 337

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

86 86 90 0 0 0 0 0 0

N.S.

1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.243 0.018 0.000 0.000 0.000 0.000 0.000 0.000

Problem 338

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

84 84 88 0 0 0 0 0 0

N.S.

1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.238 0.016 0.000 0.000 0.000 0.000 0.000 0.000

Problem 339

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 56 0 0 0 0 0 0

N.S.

1 1.00 0.69 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.207 0.012 0.000 0.000 0.000 0.000 0.000 0.000

Problem 340

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

131 208 141 0 0 0 0 0 0

N.S.

1 1.59 1.08 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.392 0.093 0.000 0.000 0.000 0.000 0.000 0.000

Problem 341

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

164 164 121 0 0 0 0 0 0

N.S.

1 1.00 0.74 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.340 0.090 0.000 0.000 0.000 0.000 0.000 0.000

Problem 342

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

122 120 109 0 0 0 0 0 0

N.S.

1 0.98 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.274 0.044 0.000 0.000 0.000 0.000 0.000 0.000

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 42 18 17 17 26 17 17

N.S.

1 1.00 2.33 1.00 0.94 0.94 1.44 0.94 0.94

time (sec)

N/A 0.213 0.007 0.521 0.265 0.267 0.439 0.255 0.639

Problem 344

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

65 120 120 0 0 0 0 0 0

N.S.

1 1.85 1.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.300 0.034 0.000 0.000 0.000 0.000 0.000 0.000

Problem 345

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

90 162 142 0 0 0 0 0 0

N.S.

1 1.80 1.58 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.359 0.039 0.000 0.000 0.000 0.000 0.000 0.000

Problem 346

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

126 223 174 0 0 0 0 0 0

N.S.

1 1.77 1.38 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.413 0.057 0.000 0.000 0.000 0.000 0.000 0.000

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 158 165 166 0 298 0 0 281

N.S.

1 0.87 0.91 0.92 0.00 1.65 0.00 0.00 1.55

time (sec)

N/A 0.651 0.347 35.408 0.000 0.276 0.000 0.000 0.980

Problem 348

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

121 121 118 0 0 0 0 0 0

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.368 0.080 0.000 0.000 0.000 0.000 0.000 0.000

Problem 349

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

120 120 117 0 0 0 0 0 0

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.360 0.043 0.000 0.000 0.000 0.000 0.000 0.000

Problem 350

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

120 120 117 0 0 0 0 0 0

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.365 0.029 0.000 0.000 0.000 0.000 0.000 0.000

Problem 351

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

283 236 217 0 0 0 0 0 0

N.S.

1 0.83 0.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.576 0.192 0.000 0.000 0.000 0.000 0.000 0.000

Problem 352

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

280 235 214 0 0 0 0 0 0

N.S.

1 0.84 0.76 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.553 0.153 0.000 0.000 0.000 0.000 0.000 0.000

Problem 353

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

322 275 248 0 0 0 0 0 0

N.S.

1 0.85 0.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.632 0.222 0.000 0.000 0.000 0.000 0.000 0.000

Problem 354

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

291 252 206 0 0 0 0 0 0

N.S.

1 0.87 0.71 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.601 0.140 0.000 0.000 0.000 0.000 0.000 0.000

Problem 355

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

202 184 176 0 0 0 0 0 0

N.S.

1 0.91 0.87 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.462 0.109 0.000 0.000 0.000 0.000 0.000 0.000

Problem 356

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

120 120 117 0 0 0 0 0 0

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.347 0.001 0.000 0.000 0.000 0.000 0.000 0.000

Problem 357

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

121 121 120 0 0 0 0 0 0

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.445 0.035 0.000 0.000 0.000 0.000 0.000 0.000

Problem 358

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

196 170 142 0 0 0 0 0 0

N.S.

1 0.87 0.72 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.492 0.050 0.000 0.000 0.000 0.000 0.000 0.000

Problem 359

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

281 230 159 0 0 0 0 0 0

N.S.

1 0.82 0.57 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.520 0.064 0.000 0.000 0.000 0.000 0.000 0.000

Problem 360

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

120 120 120 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.357 0.047 0.000 0.000 0.000 0.000 0.000 0.000

Problem 361

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

120 120 120 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.358 0.036 0.000 0.000 0.000 0.000 0.000 0.000

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

120 120 120 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.362 0.036 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

123 123 123 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.364 0.040 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 F F F F F F F(-1)

verified

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

size

49 49 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.258 0.000 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 A F F F F F F(-1)

verified

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

size

51 51 96 0 0 0 0 0 0

N.S.

1 1.00 1.88 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.271 0.115 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 F F F F F F F(-1)

verified

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

size

51 51 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.270 0.000 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 F F F F F F F(-1)

verified

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

size

51 51 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.275 0.000 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 F F F F F F F(-1)

verified

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

size

79 79 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.421 0.000 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 F F F F F F F(-1)

verified

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

size

82 82 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.441 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

82 82 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.456 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 371

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

115 115 115 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.338 0.027 0.000 0.000 0.000 0.000 0.000 0.000

Problem 372

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

53 53 39 41 76 42 0 0 54

N.S.

1 1.00 0.74 0.77 1.43 0.79 0.00 0.00 1.02

time (sec)

N/A 0.304 0.024 0.817 0.214 0.287 0.000 0.000 0.732

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 39 41 0 44 0 0 54

N.S.

1 1.00 0.74 0.77 0.00 0.83 0.00 0.00 1.02

time (sec)

N/A 0.309 0.021 1.363 0.000 0.263 0.000 0.000 0.677

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 60 55 62 0 78 0 0 0

N.S.

1 1.00 0.92 1.03 0.00 1.30 0.00 0.00 0.00

time (sec)

N/A 0.303 0.019 5.089 0.000 0.271 0.000 0.000 0.000

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 36 34 292 379 439 299 0

N.S.

1 1.00 0.95 0.89 7.68 9.97 11.55 7.87 0.00

time (sec)

N/A 0.272 0.816 0.783 0.353 0.621 2.711 0.298 0.000

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 36 34 155 169 194 139 160

N.S.

1 1.00 0.95 0.89 4.08 4.45 5.11 3.66 4.21

time (sec)

N/A 0.256 0.164 0.452 0.279 0.276 0.811 0.273 3.923

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 36 34 62 49 54 45 47

N.S.

1 1.00 0.95 0.89 1.63 1.29 1.42 1.18 1.24

time (sec)

N/A 0.269 0.029 0.276 0.265 0.263 0.204 0.278 0.765

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 36 34 0 49 53 80 65

N.S.

1 1.00 0.95 0.89 0.00 1.29 1.39 2.11 1.71

time (sec)

N/A 0.254 0.029 0.292 0.000 0.257 0.213 0.274 0.712

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 36 34 0 169 192 139 159

N.S.

1 1.00 0.95 0.89 0.00 4.45 5.05 3.66 4.18

time (sec)

N/A 0.254 0.160 0.587 0.000 0.268 0.712 0.289 3.727

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 63 57 0 496 0 0 46

N.S.

1 1.00 0.97 0.88 0.00 7.63 0.00 0.00 0.71

time (sec)

N/A 0.434 0.375 0.375 0.000 0.359 0.000 0.000 2.468

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 65 57 0 192 0 0 48

N.S.

1 1.00 1.00 0.88 0.00 2.95 0.00 0.00 0.74

time (sec)

N/A 0.443 0.082 0.323 0.000 0.285 0.000 0.000 1.846

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 83 74 87 0 0 0 0 0

N.S.

1 0.58 0.52 0.61 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.486 0.041 0.243 0.000 0.000 0.000 0.000 0.000

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 84 75 86 54 0 0 0 0

N.S.

1 0.59 0.52 0.60 0.38 0.00 0.00 0.00 0.00

time (sec)

N/A 0.474 0.046 0.283 0.189 0.000 0.000 0.000 0.000

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 65 50 93 192 0 0 57

N.S.

1 1.00 1.00 0.77 1.43 2.95 0.00 0.00 0.88

time (sec)

N/A 0.440 0.083 0.314 0.189 0.283 0.000 0.000 1.800

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 63 50 274 496 0 0 47

N.S.

1 1.00 0.97 0.77 4.22 7.63 0.00 0.00 0.72

time (sec)

N/A 0.448 0.382 0.368 0.266 0.362 0.000 0.000 3.428