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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 82 67 64 66 42 65 76

N.S.

1 1.00 1.39 1.14 1.08 1.12 0.71 1.10 1.29

time (sec)

N/A 0.036 0.085 7.366 0.269 0.240 0.467 0.298 0.485

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 83 76 66 79 34 67 92

N.S.

1 1.00 1.19 1.09 0.94 1.13 0.49 0.96 1.31

time (sec)

N/A 0.031 0.126 6.638 0.270 0.240 0.681 0.273 0.392

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 68 20 83 146 41 83 18

N.S.

1 1.00 1.00 0.29 1.22 2.15 0.60 1.22 0.26

time (sec)

N/A 0.022 0.235 2.963 0.273 2.234 0.547 0.287 0.484

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 93 82 19 130 105 41 110 0

N.S.

1 1.00 0.88 0.20 1.40 1.13 0.44 1.18 0.00

time (sec)

N/A 0.024 0.389 2.229 0.269 0.257 0.916 0.313 0.000

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 93 82 20 129 105 39 109 0

N.S.

1 1.00 0.88 0.22 1.39 1.13 0.42 1.17 0.00

time (sec)

N/A 0.025 0.360 2.187 0.270 0.254 1.028 0.291 0.000

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 129 137 15 0 99 0 69 29

N.S.

1 1.39 1.47 0.16 0.00 1.06 0.00 0.74 0.31

time (sec)

N/A 0.063 0.704 2.615 0.000 0.349 0.000 0.297 0.402

Problem 307

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

126 114 69 51 0 87 0 66 27

N.S.

1 0.90 0.55 0.40 0.00 0.69 0.00 0.52 0.21

time (sec)

N/A 0.094 0.196 0.422 0.000 42.644 0.000 0.368 0.325

Problem 308

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

34 34 41 28 0 49 0 70 35

N.S.

1 1.00 1.21 0.82 0.00 1.44 0.00 2.06 1.03

time (sec)

N/A 0.024 0.254 0.856 0.000 0.261 0.000 0.301 0.553

Problem 309

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

58 58 55 41 0 47 0 49 43

N.S.

1 1.00 0.95 0.71 0.00 0.81 0.00 0.84 0.74

time (sec)

N/A 0.034 0.116 1.102 0.000 0.237 0.000 0.285 0.331

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 57 52 52 81 0 112 0

N.S.

1 1.00 0.80 0.73 0.73 1.14 0.00 1.58 0.00

time (sec)

N/A 0.045 0.137 0.217 0.270 0.245 0.000 0.285 0.000

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 52 23 52 59 0 69 49

N.S.

1 1.00 2.48 1.10 2.48 2.81 0.00 3.29 2.33

time (sec)

N/A 0.024 0.135 0.208 0.175 0.258 0.000 0.332 0.874

Problem 312

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

17 17 75 14 13 13 36 13 21

N.S.

1 1.00 4.41 0.82 0.76 0.76 2.12 0.76 1.24

time (sec)

N/A 0.008 10.073 0.326 0.180 0.243 0.183 0.310 0.387

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

46 46 40 116 34 35 221 34 34

N.S.

1 1.00 0.87 2.52 0.74 0.76 4.80 0.74 0.74

time (sec)

N/A 0.162 0.061 0.358 0.183 0.236 4.670 0.277 0.449

Problem 314

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

78 78 110 93 0 232 0 0 0

N.S.

1 1.00 1.41 1.19 0.00 2.97 0.00 0.00 0.00

time (sec)

N/A 0.015 0.357 3.120 0.000 1.651 0.000 0.000 0.000

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 141 76 100 0 225 0 0 0

N.S.

1 1.00 0.54 0.71 0.00 1.60 0.00 0.00 0.00

time (sec)

N/A 0.053 0.297 1.813 0.000 2.394 0.000 0.000 0.000

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 90 29 94 86 71 0 0

N.S.

1 1.00 1.43 0.46 1.49 1.37 1.13 0.00 0.00

time (sec)

N/A 0.009 0.264 1.628 0.272 0.247 0.966 0.000 0.000

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 74 87 0 313 0 0 0

N.S.

1 1.00 1.00 1.18 0.00 4.23 0.00 0.00 0.00

time (sec)

N/A 0.020 0.412 2.648 0.000 3.411 0.000 0.000 0.000

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 59 26 23 73 40 0 0 23

N.S.

1 1.23 0.54 0.48 1.52 0.83 0.00 0.00 0.48

time (sec)

N/A 0.009 1.437 0.371 0.185 0.242 0.000 0.000 0.282

Problem 319

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

90 90 180 2517 0 458 0 0 0

N.S.

1 1.00 2.00 27.97 0.00 5.09 0.00 0.00 0.00

time (sec)

N/A 0.028 0.490 10.174 0.000 4.911 0.000 0.000 0.000

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 19 0 18 0 0 0

N.S.

1 1.00 1.00 0.83 0.00 0.78 0.00 0.00 0.00

time (sec)

N/A 0.025 0.006 0.704 0.000 0.263 0.000 0.000 0.000

Problem 321

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

23 23 23 22 0 42 0 0 0

N.S.

1 1.00 1.00 0.96 0.00 1.83 0.00 0.00 0.00

time (sec)

N/A 0.026 0.004 0.887 0.000 0.275 0.000 0.000 0.000

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 23 41 18 57 49 14 51 17

N.S.

1 1.44 2.56 1.12 3.56 3.06 0.88 3.19 1.06

time (sec)

N/A 0.018 0.092 0.320 0.268 0.239 3.626 0.289 0.152

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 23 39 18 57 47 14 51 17

N.S.

1 1.44 2.44 1.12 3.56 2.94 0.88 3.19 1.06

time (sec)

N/A 0.018 0.091 0.317 0.266 0.243 2.135 0.277 0.252

Problem 324

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

26 26 26 31 0 45 0 0 0

N.S.

1 1.00 1.00 1.19 0.00 1.73 0.00 0.00 0.00

time (sec)

N/A 0.030 0.261 1.207 0.000 0.268 0.000 0.000 0.000

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 0 13 0 0 0

N.S.

1 1.00 1.00 0.93 0.00 0.87 0.00 0.00 0.00

time (sec)

N/A 0.026 0.200 0.861 0.000 0.268 0.000 0.000 0.000

Problem 326

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

16 16 16 15 22 14 0 0 14

N.S.

1 1.00 1.00 0.94 1.38 0.88 0.00 0.00 0.88

time (sec)

N/A 0.014 0.448 0.314 0.238 0.257 0.000 0.000 0.057

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 65 78 0 252 0 0 0

N.S.

1 1.00 0.88 1.05 0.00 3.41 0.00 0.00 0.00

time (sec)

N/A 0.142 0.769 2.507 0.000 0.383 0.000 0.000 0.000

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

22 22 96 0 0 62 0 0 0

N.S.

1 1.00 4.36 0.00 0.00 2.82 0.00 0.00 0.00

time (sec)

N/A 0.048 0.366 0.000 0.000 0.631 0.000 0.000 0.000

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

24 24 26 0 0 0 0 0 0

N.S.

1 1.00 1.08 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.051 0.201 0.000 0.000 0.000 0.000 0.000 0.000

Problem 330

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

14 14 14 11 10 10 10 10 10

N.S.

1 1.00 1.00 0.79 0.71 0.71 0.71 0.71 0.71

time (sec)

N/A 0.006 0.002 0.055 0.223 0.248 0.016 0.266 0.201

Problem 331

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 11 9 10 8 9 9

N.S.

1 1.00 1.00 1.00 0.82 0.91 0.73 0.82 0.82

time (sec)

N/A 0.006 0.001 0.411 0.206 0.251 0.019 0.294 0.035

Problem 332

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

24 24 22 17 16 19 24 16 16

N.S.

1 1.00 0.92 0.71 0.67 0.79 1.00 0.67 0.67

time (sec)

N/A 0.009 0.002 0.382 0.199 0.242 0.018 0.316 0.037

Problem 333

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

34 34 30 23 24 25 36 22 22

N.S.

1 1.00 0.88 0.68 0.71 0.74 1.06 0.65 0.65

time (sec)

N/A 0.018 0.003 0.388 0.200 0.244 0.016 0.301 0.039

Problem 334

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

44 44 38 29 30 31 48 28 28

N.S.

1 1.00 0.86 0.66 0.68 0.70 1.09 0.64 0.64

time (sec)

N/A 0.017 0.011 0.447 0.211 0.250 0.019 0.283 0.029

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 64 21 15 23 37 99 14 20

N.S.

1 3.20 1.05 0.75 1.15 1.85 4.95 0.70 1.00

time (sec)

N/A 0.019 0.052 0.442 0.202 0.257 0.128 0.275 0.323

Problem 336

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

31 31 31 22 23 22 39 23 22

N.S.

1 1.00 1.00 0.71 0.74 0.71 1.26 0.74 0.71

time (sec)

N/A 0.011 0.054 0.591 0.198 0.251 0.086 0.357 0.269

Problem 337

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

21 21 27 18 20 37 32 20 27

N.S.

1 1.00 1.29 0.86 0.95 1.76 1.52 0.95 1.29

time (sec)

N/A 0.008 0.012 0.418 0.213 0.246 0.018 0.285 0.224

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 95 32 54 93 60 112 44

N.S.

1 1.00 2.64 0.89 1.50 2.58 1.67 3.11 1.22

time (sec)

N/A 0.017 0.016 0.460 0.196 0.257 0.074 0.305 0.274

Problem 339

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

41 41 41 37 33 40 66 33 51

N.S.

1 1.00 1.00 0.90 0.80 0.98 1.61 0.80 1.24

time (sec)

N/A 0.014 0.011 0.688 0.190 0.242 0.019 0.275 0.230

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 40 40 40 51 70 388 53 35

N.S.

1 1.00 1.00 1.00 1.28 1.75 9.70 1.32 0.88

time (sec)

N/A 0.015 0.016 0.506 0.195 0.252 0.526 0.298 0.657

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

22 22 24 19 18 18 31 18 18

N.S.

1 1.00 1.09 0.86 0.82 0.82 1.41 0.82 0.82

time (sec)

N/A 0.012 0.001 0.029 0.266 0.256 0.025 0.291 0.035

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 23 26 22 40 19 37 26

N.S.

1 1.00 1.15 1.30 1.10 2.00 0.95 1.85 1.30

time (sec)

N/A 0.023 0.013 0.058 0.184 0.254 0.042 0.292 0.274

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 40 25 30 70 20 53 24

N.S.

1 1.00 1.25 0.78 0.94 2.19 0.62 1.66 0.75

time (sec)

N/A 0.016 0.022 0.075 0.264 0.251 0.067 0.302 0.090

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

56 56 46 35 24 37 56 34 38

N.S.

1 1.00 0.82 0.62 0.43 0.66 1.00 0.61 0.68

time (sec)

N/A 0.053 0.041 0.444 0.177 0.252 0.018 0.283 0.045

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

33 33 55 26 25 25 27 25 25

N.S.

1 1.00 1.67 0.79 0.76 0.76 0.82 0.76 0.76

time (sec)

N/A 0.022 0.102 0.252 0.181 0.252 0.022 0.275 0.229

Problem 346

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

46 46 46 37 40 38 44 42 36

N.S.

1 1.00 1.00 0.80 0.87 0.83 0.96 0.91 0.78

time (sec)

N/A 0.021 0.014 0.529 0.177 0.265 0.038 0.277 0.035

Problem 347

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

41 41 53 28 37 55 44 26 27

N.S.

1 1.00 1.29 0.68 0.90 1.34 1.07 0.63 0.66

time (sec)

N/A 0.030 0.052 0.705 0.197 0.239 0.023 0.292 0.125

Problem 348

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

24 24 14 11 10 19 14 10 18

N.S.

1 1.00 0.58 0.46 0.42 0.79 0.58 0.42 0.75

time (sec)

N/A 0.022 0.002 0.066 0.179 0.255 0.020 0.272 0.056

Problem 349

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

46 46 22 17 16 31 31 16 32

N.S.

1 1.00 0.48 0.37 0.35 0.67 0.67 0.35 0.70

time (sec)

N/A 0.052 0.002 0.418 0.179 0.250 0.021 0.311 0.040

Problem 350

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

68 68 30 23 24 43 46 22 44

N.S.

1 1.00 0.44 0.34 0.35 0.63 0.68 0.32 0.65

time (sec)

N/A 0.070 0.012 0.481 0.192 0.260 0.021 0.273 0.028

Problem 351

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

90 90 38 29 30 55 61 28 56

N.S.

1 1.00 0.42 0.32 0.33 0.61 0.68 0.31 0.62

time (sec)

N/A 0.091 0.040 0.543 0.182 0.279 0.021 0.277 0.031

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F B

verified

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

size

68 68 58 0 0 0 0 0 52

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 0.76

time (sec)

N/A 0.027 0.065 0.000 0.000 0.000 0.000 0.000 0.766

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 47 25 41 71 54 132 24

N.S.

1 1.00 1.47 0.78 1.28 2.22 1.69 4.12 0.75

time (sec)

N/A 0.019 0.037 0.479 0.193 0.258 0.569 0.305 0.339

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 8 7 6 14 17 6 6

N.S.

1 1.00 1.00 0.88 0.75 1.75 2.12 0.75 0.75

time (sec)

N/A 0.015 0.003 0.170 0.183 0.242 0.018 0.338 0.029

Problem 355

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

11 11 11 10 14 22 15 14 11

N.S.

1 1.00 1.00 0.91 1.27 2.00 1.36 1.27 1.00

time (sec)

N/A 0.017 0.002 0.122 0.188 0.244 0.036 0.302 0.349

Problem 356

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

8 8 8 7 6 6 7 6 6

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.88 0.75 0.75

time (sec)

N/A 0.009 0.002 0.270 0.182 0.247 0.020 0.279 0.343

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 71 36 38 68 41 47 24

N.S.

1 1.00 2.73 1.38 1.46 2.62 1.58 1.81 0.92

time (sec)

N/A 0.030 0.034 0.134 0.194 0.247 0.068 0.264 0.337

Problem 358

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

17 17 17 22 14 30 15 14 13

N.S.

1 1.00 1.00 1.29 0.82 1.76 0.88 0.82 0.76

time (sec)

N/A 0.020 0.002 0.165 0.184 0.247 0.038 0.280 0.072

Problem 359

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

31 31 24 20 19 20 39 20 22

N.S.

1 1.00 0.77 0.65 0.61 0.65 1.26 0.65 0.71

time (sec)

N/A 0.022 0.077 0.332 0.193 0.248 13.120 0.293 1.142

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 22 14 13 27 0 13 32

N.S.

1 1.00 1.05 0.67 0.62 1.29 0.00 0.62 1.52

time (sec)

N/A 0.021 0.063 0.227 0.188 0.252 0.000 0.299 1.209

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 95 52 54 93 56 44 57

N.S.

1 1.00 2.50 1.37 1.42 2.45 1.47 1.16 1.50

time (sec)

N/A 0.049 0.037 0.230 0.185 0.254 0.066 0.296 0.316

Problem 362

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

76 76 74 76 74 82 0 95 75

N.S.

1 1.00 0.97 1.00 0.97 1.08 0.00 1.25 0.99

time (sec)

N/A 0.047 0.034 0.777 0.191 0.258 0.000 0.371 6.411

Problem 363

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

88 84 127 76 115 178 100 149 133

N.S.

1 0.95 1.44 0.86 1.31 2.02 1.14 1.69 1.51

time (sec)

N/A 0.451 3.584 59.217 0.277 0.287 158.344 0.293 0.410

Problem 364

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

70 70 74 46 54 54 148 54 94

N.S.

1 1.00 1.06 0.66 0.77 0.77 2.11 0.77 1.34

time (sec)

N/A 0.132 0.326 0.690 0.193 0.267 0.205 0.286 0.428

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 60 33 36 71 39 75 75

N.S.

1 1.00 1.82 1.00 1.09 2.15 1.18 2.27 2.27

time (sec)

N/A 0.055 0.048 0.125 0.281 0.262 0.219 0.296 0.576

Problem 366

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 20 21 14 26 24 14 26

N.S.

1 1.00 1.25 1.31 0.88 1.62 1.50 0.88 1.62

time (sec)

N/A 0.044 0.039 33.879 0.284 0.268 7.045 0.321 0.341

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 22 21 27 24 23 10

N.S.

1 1.00 1.00 1.83 1.75 2.25 2.00 1.92 0.83

time (sec)

N/A 0.028 0.015 0.622 0.183 0.274 0.429 0.276 0.291

Problem 368

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

17 17 17 14 13 18 20 13 13

N.S.

1 1.00 1.00 0.82 0.76 1.06 1.18 0.76 0.76

time (sec)

N/A 0.011 0.007 0.211 0.186 0.248 0.120 0.270 0.255

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 26 31 54 43 75 38 33

N.S.

1 1.00 1.00 1.19 2.08 1.65 2.88 1.46 1.27

time (sec)

N/A 0.029 0.056 38.577 0.186 0.280 6.979 0.271 0.258

Problem 370

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

38 38 38 29 30 31 139 28 36

N.S.

1 1.00 1.00 0.76 0.79 0.82 3.66 0.74 0.95

time (sec)

N/A 0.033 0.013 0.530 0.198 0.257 1.594 0.287 0.321

Problem 371

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

20 20 20 35 33 43 22 21 21

N.S.

1 1.00 1.00 1.75 1.65 2.15 1.10 1.05 1.05

time (sec)

N/A 0.049 0.015 25.099 0.193 0.282 8.365 0.277 0.070

Problem 372

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

12 12 12 19 19 25 14 13 35

N.S.

1 1.00 1.00 1.58 1.58 2.08 1.17 1.08 2.92

time (sec)

N/A 0.022 0.013 2.118 0.195 0.280 2.490 0.274 0.372

Problem 373

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

64 65 39 35 208 64 0 75 47

N.S.

1 1.02 0.61 0.55 3.25 1.00 0.00 1.17 0.73

time (sec)

N/A 0.078 0.065 0.441 0.291 0.286 0.000 0.289 0.368

Problem 374

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

11 17 17 27 92 17 0 24 25

N.S.

1 1.55 1.55 2.45 8.36 1.55 0.00 2.18 2.27

time (sec)

N/A 0.028 0.016 0.882 0.184 0.278 0.000 0.284 0.716

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

7 7 7 12 9 11 0 9 5

N.S.

1 1.00 1.00 1.71 1.29 1.57 0.00 1.29 0.71

time (sec)

N/A 0.034 0.125 12.969 0.273 0.277 0.000 0.273 0.290

Problem 376

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

53 83 33 43 27 38 107 78 23

N.S.

1 1.57 0.62 0.81 0.51 0.72 2.02 1.47 0.43

time (sec)

N/A 0.089 0.091 0.629 0.263 0.277 4.582 0.281 0.241

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 94 22 20 39 66 39 37 17

N.S.

1 2.85 0.67 0.61 1.18 2.00 1.18 1.12 0.52

time (sec)

N/A 0.060 0.062 0.188 0.265 0.277 0.264 0.310 0.087

Problem 378

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

27 27 9 8 7 21 219 20 16

N.S.

1 1.00 0.33 0.30 0.26 0.78 8.11 0.74 0.59

time (sec)

N/A 0.021 0.111 0.809 0.273 0.280 4.411 0.287 0.321

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 41 31 28 46 102 29 38

N.S.

1 1.00 1.46 1.11 1.00 1.64 3.64 1.04 1.36

time (sec)

N/A 0.038 0.046 0.191 0.264 0.265 0.231 0.277 0.347

Problem 380

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 58 39 38 61 0 78 120

N.S.

1 1.00 0.87 0.58 0.57 0.91 0.00 1.16 1.79

time (sec)

N/A 0.045 0.204 0.324 0.272 0.270 0.000 0.278 0.476

Problem 381

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

55 55 54 29 28 58 0 61 77

N.S.

1 1.00 0.98 0.53 0.51 1.05 0.00 1.11 1.40

time (sec)

N/A 0.037 1.136 0.207 0.269 0.273 0.000 0.311 0.413

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 58 45 44 77 252 39 48

N.S.

1 1.00 1.38 1.07 1.05 1.83 6.00 0.93 1.14

time (sec)

N/A 0.082 1.840 0.093 0.265 0.259 0.238 0.286 0.365

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

9 9 9 20 0 19 76 21 7

N.S.

1 1.00 1.00 2.22 0.00 2.11 8.44 2.33 0.78

time (sec)

N/A 0.019 0.011 0.897 0.000 0.259 1.799 0.277 0.395

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 35 13 129 33 0 49 12

N.S.

1 1.00 2.33 0.87 8.60 2.20 0.00 3.27 0.80

time (sec)

N/A 0.012 0.089 0.463 0.274 0.274 0.000 0.310 0.129

Problem 385

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

17 17 28 21 128 26 22 20 9

N.S.

1 1.00 1.65 1.24 7.53 1.53 1.29 1.18 0.53

time (sec)

N/A 0.041 0.032 0.974 0.267 0.270 0.465 0.277 0.275

Problem 386

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

21 21 21 18 81 19 0 24 15

N.S.

1 1.00 1.00 0.86 3.86 0.90 0.00 1.14 0.71

time (sec)

N/A 0.031 0.020 2.367 0.268 0.266 0.000 0.282 0.122

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 27 129 19 17 24 17

N.S.

1 1.00 1.00 1.29 6.14 0.90 0.81 1.14 0.81

time (sec)

N/A 0.019 0.013 0.428 0.267 0.261 0.448 0.307 0.316

Problem 388

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

26 26 26 28 171 50 294 48 27

N.S.

1 1.00 1.00 1.08 6.58 1.92 11.31 1.85 1.04

time (sec)

N/A 0.024 0.028 0.322 0.281 0.258 3.242 0.290 0.501

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 70 28 171 50 294 48 27

N.S.

1 1.00 2.69 1.08 6.58 1.92 11.31 1.85 1.04

time (sec)

N/A 0.029 0.073 0.596 0.283 0.269 7.256 0.280 0.355

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 25 22 0 34 0 17 21

N.S.

1 1.00 1.56 1.38 0.00 2.12 0.00 1.06 1.31

time (sec)

N/A 0.009 0.017 0.514 0.000 0.257 0.000 0.309 0.276

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 27 31 0 35 0 29 23

N.S.

1 1.00 1.59 1.82 0.00 2.06 0.00 1.71 1.35

time (sec)

N/A 0.014 0.017 0.391 0.000 0.255 0.000 0.316 0.276

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 16 9 41 55 0 41 13

N.S.

1 1.00 0.59 0.33 1.52 2.04 0.00 1.52 0.48

time (sec)

N/A 0.012 0.012 0.156 0.310 0.253 0.000 0.275 0.061

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 33 17 101 58 0 16 28

N.S.

1 1.00 1.10 0.57 3.37 1.93 0.00 0.53 0.93

time (sec)

N/A 0.015 0.039 0.356 0.324 0.249 0.000 0.344 0.269

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 61 52 433 107 0 100 0

N.S.

1 1.00 1.15 0.98 8.17 2.02 0.00 1.89 0.00

time (sec)

N/A 0.032 0.188 0.510 0.330 0.268 0.000 0.308 0.000

Problem 395

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

73 73 76 47 0 71 0 72 0

N.S.

1 1.00 1.04 0.64 0.00 0.97 0.00 0.99 0.00

time (sec)

N/A 0.035 1.068 0.487 0.000 0.262 0.000 0.302 0.000

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 36 42 43 40 230 43 0

N.S.

1 1.00 0.65 0.76 0.78 0.73 4.18 0.78 0.00

time (sec)

N/A 0.116 0.097 0.493 0.181 0.269 37.509 0.325 0.000

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 40 49 80 73 0 80 65

N.S.

1 1.00 0.41 0.50 0.82 0.74 0.00 0.82 0.66

time (sec)

N/A 0.060 0.074 0.108 0.277 0.259 0.000 0.272 0.129

Problem 398

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

57 69 69 53 52 54 0 52 67

N.S.

1 1.21 1.21 0.93 0.91 0.95 0.00 0.91 1.18

time (sec)

N/A 0.049 0.062 0.096 0.269 0.259 0.000 0.332 0.747

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 73 130 3213 151 0 0 63

N.S.

1 1.00 0.84 1.49 36.93 1.74 0.00 0.00 0.72

time (sec)

N/A 0.102 0.113 0.287 0.519 0.256 0.000 0.000 0.468

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 40 30 31 30 82 0 31 105

N.S.

1 1.00 0.75 0.78 0.75 2.05 0.00 0.78 2.62

time (sec)

N/A 0.104 5.196 0.447 0.181 0.260 0.000 0.289 1.470