2.2.6 Integrals 501 to 600

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 501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

43 40 34 44 41 39 53 46 41

N.S.

1 0.93 0.79 1.02 0.95 0.91 1.23 1.07 0.95

time (sec)

N/A 0.185 0.061 0.181 0.203 0.249 0.114 0.281 0.499

Problem 502

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

27 27 27 27 27 26 29 27 26

N.S.

1 1.00 1.00 1.00 1.00 0.96 1.07 1.00 0.96

time (sec)

N/A 0.147 0.013 0.040 0.228 0.244 0.059 0.281 0.400

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 46 53 55 51 62 250 691 68

N.S.

1 0.87 1.00 1.04 0.96 1.17 4.72 13.04 1.28

time (sec)

N/A 0.276 0.043 0.070 0.192 0.255 0.461 0.313 0.410

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 68 65 84 77 130 665 1033 81

N.S.

1 0.86 0.82 1.06 0.97 1.65 8.42 13.08 1.03

time (sec)

N/A 0.298 0.072 0.117 0.193 0.244 2.049 0.315 0.439

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 83 80 109 99 205 1350 1359 106

N.S.

1 0.85 0.82 1.11 1.01 2.09 13.78 13.87 1.08

time (sec)

N/A 0.318 0.077 0.118 0.202 0.248 16.753 0.354 0.443

Problem 506

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

72 80 73 0 0 0 0 0 0

N.S.

1 1.11 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.248 0.030 0.000 0.000 0.000 0.000 0.000 0.000

Problem 507

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

28 28 28 28 28 28 29 28 27

N.S.

1 1.00 1.00 1.00 1.00 1.00 1.04 1.00 0.96

time (sec)

N/A 0.141 0.010 0.036 0.227 0.242 0.059 0.268 0.330

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 46 53 55 51 64 248 691 69

N.S.

1 0.87 1.00 1.04 0.96 1.21 4.68 13.04 1.30

time (sec)

N/A 0.274 0.064 0.051 0.208 0.239 0.444 0.310 0.384

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 68 66 84 77 131 663 1033 81

N.S.

1 0.86 0.84 1.06 0.97 1.66 8.39 13.08 1.03

time (sec)

N/A 0.300 0.103 0.076 0.206 0.267 2.051 0.325 0.441

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 83 80 109 99 207 1348 1359 106

N.S.

1 0.85 0.82 1.11 1.01 2.11 13.76 13.87 1.08

time (sec)

N/A 0.313 0.107 0.082 0.204 0.245 16.580 0.355 0.403

Problem 511

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

74 82 75 0 0 0 0 0 0

N.S.

1 1.11 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.234 0.044 0.000 0.000 0.000 0.000 0.000 0.000

Problem 512

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

15 15 15 16 15 19 15 15 15

N.S.

1 1.00 1.00 1.07 1.00 1.27 1.00 1.00 1.00

time (sec)

N/A 0.131 0.008 0.028 0.198 0.234 0.036 0.286 0.360

Problem 513

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 32 35 31 31 29 44 30 26

N.S.

1 0.97 1.06 0.94 0.94 0.88 1.33 0.91 0.79

time (sec)

N/A 0.156 0.017 0.029 0.194 0.240 0.049 0.287 0.352

Problem 514

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 42 45 41 46 39 70 40 34

N.S.

1 0.84 0.90 0.82 0.92 0.78 1.40 0.80 0.68

time (sec)

N/A 0.161 0.020 0.042 0.196 0.254 0.061 0.292 0.359

Problem 515

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

65 50 53 50 61 47 87 48 42

N.S.

1 0.77 0.82 0.77 0.94 0.72 1.34 0.74 0.65

time (sec)

N/A 0.164 0.022 0.042 0.193 0.253 0.067 0.329 0.366

Problem 516

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

40 40 40 0 0 0 0 0 55

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 1.38

time (sec)

N/A 0.156 0.040 0.000 0.000 0.000 0.000 0.000 0.361

Problem 517

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 17 16 21 19 16 16

N.S.

1 1.00 1.00 1.06 1.00 1.31 1.19 1.00 1.00

time (sec)

N/A 0.132 0.005 0.023 0.194 0.229 0.037 0.307 0.338

Problem 518

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 32 35 31 31 29 44 30 27

N.S.

1 0.97 1.06 0.94 0.94 0.88 1.33 0.91 0.82

time (sec)

N/A 0.159 0.018 0.030 0.221 0.237 0.050 0.300 0.345

Problem 519

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 42 45 41 46 39 70 40 35

N.S.

1 0.84 0.90 0.82 0.92 0.78 1.40 0.80 0.70

time (sec)

N/A 0.161 0.021 0.042 0.199 0.228 0.064 0.346 0.350

Problem 520

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

65 50 53 50 61 47 87 48 43

N.S.

1 0.77 0.82 0.77 0.94 0.72 1.34 0.74 0.66

time (sec)

N/A 0.165 0.023 0.046 0.200 0.241 0.071 0.299 0.352

Problem 521

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

44 44 44 0 0 0 0 0 57

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 1.30

time (sec)

N/A 0.160 0.040 0.000 0.000 0.000 0.000 0.000 0.342

Problem 522

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 30 38 23 23 22 15 26 22

N.S.

1 1.25 1.58 0.96 0.96 0.92 0.62 1.08 0.92

time (sec)

N/A 0.149 0.019 0.030 0.202 0.242 0.048 0.269 0.359

Problem 523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 119 97 26 100 311 22 116 104

N.S.

1 1.19 0.97 0.26 1.00 3.11 0.22 1.16 1.04

time (sec)

N/A 0.278 0.081 0.060 0.277 0.262 0.075 0.271 1.583

Problem 524

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

12 15 15 12 11 11 8 11 11

N.S.

1 1.25 1.25 1.00 0.92 0.92 0.67 0.92 0.92

time (sec)

N/A 0.166 0.014 0.032 0.193 0.252 0.030 0.279 0.049

Problem 525

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

47 54 45 38 37 39 22 37 39

N.S.

1 1.15 0.96 0.81 0.79 0.83 0.47 0.79 0.83

time (sec)

N/A 0.217 0.043 0.044 0.299 0.245 0.067 0.286 0.426

Problem 526

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 39 37 29 28 28 48 29 28

N.S.

1 1.00 0.95 0.74 0.72 0.72 1.23 0.74 0.72

time (sec)

N/A 0.222 0.049 0.053 0.286 0.252 0.094 0.278 0.094

Problem 527

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

30 30 30 33 32 37 94 32 29

N.S.

1 1.00 1.00 1.10 1.07 1.23 3.13 1.07 0.97

time (sec)

N/A 0.173 0.046 0.075 0.190 0.243 0.421 0.288 0.457

Problem 528

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

54 55 54 57 56 56 61 57 33

N.S.

1 1.02 1.00 1.06 1.04 1.04 1.13 1.06 0.61

time (sec)

N/A 0.170 0.030 0.066 0.268 0.236 0.535 0.293 0.408

Problem 529

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

59 59 59 0 0 0 0 0 75

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 1.27

time (sec)

N/A 0.176 0.036 0.000 0.000 0.000 0.000 0.000 0.481

Problem 530

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

18 18 22 15 7 18 37 18 14

N.S.

1 1.00 1.22 0.83 0.39 1.00 2.06 1.00 0.78

time (sec)

N/A 0.160 0.028 0.037 0.205 0.242 0.257 0.272 0.492

Problem 531

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

20 20 24 17 20 20 37 20 16

N.S.

1 1.00 1.20 0.85 1.00 1.00 1.85 1.00 0.80

time (sec)

N/A 0.162 0.029 0.037 0.205 0.237 0.274 0.277 0.520

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

40 40 42 0 39 46 0 0 0

N.S.

1 1.00 1.05 0.00 0.98 1.15 0.00 0.00 0.00

time (sec)

N/A 0.223 0.113 0.000 0.277 0.237 0.000 0.000 0.000

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

37 57 54 0 0 0 0 0 0

N.S.

1 1.54 1.46 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.210 0.032 0.000 0.000 0.000 0.000 0.000 0.000

Problem 534

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 75 44 37 49 30 49 65 30

N.S.

1 1.03 0.60 0.51 0.67 0.41 0.67 0.89 0.41

time (sec)

N/A 0.200 0.040 0.032 0.207 0.249 0.915 0.322 0.136

Problem 535

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 50 23 21 19 19 20 19 21

N.S.

1 1.14 0.52 0.48 0.43 0.43 0.45 0.43 0.48

time (sec)

N/A 0.218 0.015 0.029 0.197 0.247 0.031 0.276 0.027

Problem 536

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

39 41 26 27 7 23 32 27 22

N.S.

1 1.05 0.67 0.69 0.18 0.59 0.82 0.69 0.56

time (sec)

N/A 0.193 0.024 0.068 0.222 0.247 0.732 0.272 0.364

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 53 29 28 27 27 37 826 27

N.S.

1 1.20 0.66 0.64 0.61 0.61 0.84 18.77 0.61

time (sec)

N/A 0.197 0.015 0.033 0.200 0.229 0.048 0.288 0.058

Problem 538

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

12 12 12 10 18 9 8 18 9

N.S.

1 1.00 1.00 0.83 1.50 0.75 0.67 1.50 0.75

time (sec)

N/A 0.176 0.021 0.036 0.205 0.240 0.033 0.278 0.058

Problem 539

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 36 31 25 25 33 24 40 26

N.S.

1 1.12 0.97 0.78 0.78 1.03 0.75 1.25 0.81

time (sec)

N/A 0.216 0.074 0.043 0.282 0.237 0.046 0.285 0.422

Problem 540

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

15 15 15 20 21 12 0 0 12

N.S.

1 1.00 1.00 1.33 1.40 0.80 0.00 0.00 0.80

time (sec)

N/A 0.180 0.176 0.267 0.254 0.242 0.000 0.000 0.522

Problem 541

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

27 27 22 20 19 21 26 19 19

N.S.

1 1.00 0.81 0.74 0.70 0.78 0.96 0.70 0.70

time (sec)

N/A 0.156 0.030 0.105 0.204 0.246 0.172 0.291 0.040

Problem 542

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

35 51 26 18 39 21 29 39 19

N.S.

1 1.46 0.74 0.51 1.11 0.60 0.83 1.11 0.54

time (sec)

N/A 0.341 0.072 0.257 0.201 0.250 0.235 0.269 0.111

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 70 37 32 31 0 70 39 33

N.S.

1 1.23 0.65 0.56 0.54 0.00 1.23 0.68 0.58

time (sec)

N/A 0.208 0.079 0.247 0.290 0.000 0.462 0.264 0.044

Problem 544

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

54 54 39 37 45 37 265 43 37

N.S.

1 1.00 0.72 0.69 0.83 0.69 4.91 0.80 0.69

time (sec)

N/A 0.201 0.027 0.262 0.214 0.251 0.434 0.268 0.058

Problem 545

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

82 81 64 60 73 65 638 63 47

N.S.

1 0.99 0.78 0.73 0.89 0.79 7.78 0.77 0.57

time (sec)

N/A 0.244 0.122 0.336 0.218 0.249 1.216 0.283 0.063

Problem 546

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

79 99 36 28 27 42 76 33 39

N.S.

1 1.25 0.46 0.35 0.34 0.53 0.96 0.42 0.49

time (sec)

N/A 0.262 0.056 0.381 0.193 0.244 0.444 0.272 0.384

Problem 547

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

36 36 21 19 27 40 70 24 18

N.S.

1 1.00 0.58 0.53 0.75 1.11 1.94 0.67 0.50

time (sec)

N/A 0.192 0.033 0.191 0.208 0.243 0.522 0.277 0.432

Problem 548

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

36 36 21 19 27 50 99 24 18

N.S.

1 1.00 0.58 0.53 0.75 1.39 2.75 0.67 0.50

time (sec)

N/A 0.191 0.040 0.266 0.192 0.255 0.536 0.280 0.452

Problem 549

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

58 85 97 0 0 0 0 0 0

N.S.

1 1.47 1.67 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.236 0.178 0.000 0.000 0.000 0.000 0.000 0.000

Problem 550

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

45 45 90 0 0 0 0 0 0

N.S.

1 1.00 2.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.166 0.141 0.000 0.000 0.000 0.000 0.000 0.000

Problem 551

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 81 66 0 0 0 0 0 0

N.S.

1 1.59 1.29 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.226 0.036 0.000 0.000 0.000 0.000 0.000 0.000

Problem 552

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

28 28 28 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.191 0.009 0.000 0.000 0.000 0.000 0.000 0.000

Problem 553

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

26 26 84 0 0 0 0 0 0

N.S.

1 1.00 3.23 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.195 0.115 0.000 0.000 0.000 0.000 0.000 0.000

Problem 554

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

30 30 61 0 0 0 0 0 0

N.S.

1 1.00 2.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.197 0.614 0.000 0.000 0.000 0.000 0.000 0.000

Problem 555

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

30 30 61 0 0 0 0 0 0

N.S.

1 1.00 2.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.196 0.622 0.000 0.000 0.000 0.000 0.000 0.000

Problem 556

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

15 15 12 11 22 12 0 10 8

N.S.

1 1.00 0.80 0.73 1.47 0.80 0.00 0.67 0.53

time (sec)

N/A 0.159 0.106 0.243 0.267 0.251 0.000 0.289 0.470

Problem 557

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

41 46 100 0 0 0 0 0 0

N.S.

1 1.12 2.44 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.361 0.617 0.000 0.000 0.000 0.000 0.000 0.000

Problem 558

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

12 12 12 8 22 11 0 7 7

N.S.

1 1.00 1.00 0.67 1.83 0.92 0.00 0.58 0.58

time (sec)

N/A 0.158 0.098 0.181 0.272 0.250 0.000 0.286 0.464

Problem 559

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

42 45 87 0 0 0 0 0 0

N.S.

1 1.07 2.07 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.349 0.435 0.000 0.000 0.000 0.000 0.000 0.000

Problem 560

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

46 49 72 0 0 0 0 0 0

N.S.

1 1.07 1.57 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.374 0.659 0.000 0.000 0.000 0.000 0.000 0.000

Problem 561

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

14 14 13 19 22 24 0 20 24

N.S.

1 1.00 0.93 1.36 1.57 1.71 0.00 1.43 1.71

time (sec)

N/A 0.151 0.046 0.251 0.273 0.249 0.000 0.290 0.502

Problem 562

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

43 48 73 0 0 0 0 0 0

N.S.

1 1.12 1.70 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.362 0.172 0.000 0.000 0.000 0.000 0.000 0.000

Problem 563

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

13 13 13 18 22 24 0 21 20

N.S.

1 1.00 1.00 1.38 1.69 1.85 0.00 1.62 1.54

time (sec)

N/A 0.156 0.044 0.248 0.276 0.252 0.000 0.297 0.528

Problem 564

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 18 16 17 17 27 15 17

N.S.

1 1.00 0.60 0.53 0.57 0.57 0.90 0.50 0.57

time (sec)

N/A 0.189 0.013 0.085 0.202 0.245 0.149 0.296 0.068

Problem 565

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 25 22 26 26 48 25 21

N.S.

1 1.00 0.50 0.44 0.52 0.52 0.96 0.50 0.42

time (sec)

N/A 0.269 0.027 0.110 0.208 0.241 0.285 0.296 0.404

Problem 566

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

75 80 38 31 33 37 80 33 39

N.S.

1 1.07 0.51 0.41 0.44 0.49 1.07 0.44 0.52

time (sec)

N/A 0.305 0.028 0.130 0.214 0.255 0.373 0.282 0.456

Problem 567

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

187 258 72 59 77 72 202 73 83

N.S.

1 1.38 0.39 0.32 0.41 0.39 1.08 0.39 0.44

time (sec)

N/A 0.622 0.099 0.345 0.219 0.250 1.006 0.262 0.359

Problem 568

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 92 40 40 41 41 85 39 51

N.S.

1 1.06 0.46 0.46 0.47 0.47 0.98 0.45 0.59

time (sec)

N/A 0.325 0.056 0.128 0.197 0.241 0.295 0.270 0.447

Problem 569

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

185 185 76 78 77 72 202 73 83

N.S.

1 1.00 0.41 0.42 0.42 0.39 1.09 0.39 0.45

time (sec)

N/A 0.477 0.147 0.859 0.201 0.259 1.020 0.290 0.639

Problem 570

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

2 2 2 3 2 2 2 11 2

N.S.

1 1.00 1.00 1.50 1.00 1.00 1.00 5.50 1.00

time (sec)

N/A 0.137 0.002 0.025 0.187 0.243 0.064 0.286 0.020

Problem 571

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

2 2 2 3 2 2 2 11 2

N.S.

1 1.00 1.00 1.50 1.00 1.00 1.00 5.50 1.00

time (sec)

N/A 0.137 0.002 0.029 0.215 0.234 0.066 0.287 0.025

Problem 572

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

3 3 3 4 3 18 7 11 3

N.S.

1 1.00 1.00 1.33 1.00 6.00 2.33 3.67 1.00

time (sec)

N/A 0.142 0.000 0.045 0.221 0.243 0.046 0.285 0.021

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

3 3 7 4 3 18 12 12 3

N.S.

1 1.00 2.33 1.33 1.00 6.00 4.00 4.00 1.00

time (sec)

N/A 0.144 0.000 0.064 0.199 0.252 0.133 0.285 0.030

Problem 574

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

3 3 3 4 3 8 7 5 5

N.S.

1 1.00 1.00 1.33 1.00 2.67 2.33 1.67 1.67

time (sec)

N/A 0.143 0.002 0.195 0.189 0.236 0.178 0.328 0.023

Problem 575

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

5 5 17 6 5 17 5 14 5

N.S.

1 1.00 3.40 1.20 1.00 3.40 1.00 2.80 1.00

time (sec)

N/A 0.143 0.013 0.035 0.201 0.247 0.121 0.286 0.013

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 11 16 10 24 24 10

N.S.

1 1.00 1.00 0.79 1.14 0.71 1.71 1.71 0.71

time (sec)

N/A 0.151 0.006 0.079 0.195 0.236 0.064 0.279 0.028

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 23 18 35 42 29 37 15

N.S.

1 1.00 1.21 0.95 1.84 2.21 1.53 1.95 0.79

time (sec)

N/A 0.161 0.012 0.490 0.213 0.236 0.182 0.290 0.029

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 16 13 38 68 10 26 12

N.S.

1 1.00 1.14 0.93 2.71 4.86 0.71 1.86 0.86

time (sec)

N/A 0.186 0.005 0.037 0.219 0.242 0.078 0.284 0.072

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C B A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 24 47 11 45 211 0 45 16

N.S.

1 1.50 2.94 0.69 2.81 13.19 0.00 2.81 1.00

time (sec)

N/A 0.191 0.012 0.373 0.211 0.230 0.000 0.272 0.392

Problem 580

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 31 26 21 61 461 422 60 22

N.S.

1 1.19 1.00 0.81 2.35 17.73 16.23 2.31 0.85

time (sec)

N/A 0.250 0.004 0.965 0.284 0.245 1.168 0.277 0.074

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 24 18 17 35 257 0 43 35

N.S.

1 1.33 1.00 0.94 1.94 14.28 0.00 2.39 1.94

time (sec)

N/A 0.176 0.006 6.589 0.293 0.246 0.000 0.279 0.442

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 27 20 0 359 41 0 120

N.S.

1 1.00 0.87 0.65 0.00 11.58 1.32 0.00 3.87

time (sec)

N/A 0.186 0.054 0.200 0.000 0.237 39.538 0.000 0.177

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 42 41 36 0 175 126 32 43

N.S.

1 1.02 1.00 0.88 0.00 4.27 3.07 0.78 1.05

time (sec)

N/A 0.195 0.031 0.102 0.000 0.249 1.829 0.274 0.183

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 16 15 49 58 14 14 14

N.S.

1 1.00 0.64 0.60 1.96 2.32 0.56 0.56 0.56

time (sec)

N/A 0.204 0.009 0.057 0.207 0.229 0.163 0.280 0.395

Problem 585

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 39 49 42 41 42 146 43 35

N.S.

1 1.00 1.26 1.08 1.05 1.08 3.74 1.10 0.90

time (sec)

N/A 0.270 0.086 0.050 0.201 0.247 0.223 0.272 0.146

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 33 31 98 76 288 1129 79 109

N.S.

1 1.06 1.00 3.16 2.45 9.29 36.42 2.55 3.52

time (sec)

N/A 0.195 0.452 0.316 0.320 0.250 15.576 0.273 0.766

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 37 35 74 0 388 874 50 106

N.S.

1 1.06 1.00 2.11 0.00 11.09 24.97 1.43 3.03

time (sec)

N/A 0.203 0.077 0.219 0.000 0.270 14.555 0.273 0.399

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 24 46 69 113 908 48 63

N.S.

1 1.00 0.96 1.84 2.76 4.52 36.32 1.92 2.52

time (sec)

N/A 0.176 0.270 0.447 0.281 0.257 2.479 0.271 0.519

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 37 44 70 74 102 22 22

N.S.

1 1.00 1.12 1.33 2.12 2.24 3.09 0.67 0.67

time (sec)

N/A 0.308 5.033 0.312 0.286 0.248 0.518 0.291 0.467

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 23 42 44 116 48 40

N.S.

1 1.00 1.00 0.77 1.40 1.47 3.87 1.60 1.33

time (sec)

N/A 0.199 0.055 2.092 0.194 0.249 0.939 0.284 0.502

Problem 591

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

30 30 30 23 42 111 139 48 40

N.S.

1 1.00 1.00 0.77 1.40 3.70 4.63 1.60 1.33

time (sec)

N/A 0.201 0.038 2.012 0.275 0.242 0.938 0.287 0.559

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

69 67 160 167 0 376 0 90 0

N.S.

1 0.97 2.32 2.42 0.00 5.45 0.00 1.30 0.00

time (sec)

N/A 0.808 18.500 1.328 0.000 0.260 0.000 0.335 0.000

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 26 30 125 474 0 38 57

N.S.

1 1.00 0.70 0.81 3.38 12.81 0.00 1.03 1.54

time (sec)

N/A 0.201 0.070 0.180 0.212 0.260 0.000 0.322 0.143

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 21 30 177 161 0 0 47

N.S.

1 1.00 0.72 1.03 6.10 5.55 0.00 0.00 1.62

time (sec)

N/A 0.269 0.038 0.236 0.332 0.262 0.000 0.000 0.525

Problem 595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 63 0 482 0 58 0

N.S.

1 1.00 1.00 4.20 0.00 32.13 0.00 3.87 0.00

time (sec)

N/A 0.174 0.009 0.490 0.000 0.258 0.000 0.299 0.000

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 24 49 93 17 51 21

N.S.

1 1.00 1.00 1.50 3.06 5.81 1.06 3.19 1.31

time (sec)

N/A 0.200 0.015 0.043 0.313 0.254 0.064 0.299 0.431

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 28 53 95 22 53 27

N.S.

1 1.00 1.00 1.75 3.31 5.94 1.38 3.31 1.69

time (sec)

N/A 0.209 0.015 0.067 0.238 0.250 0.263 0.280 0.399

Problem 598

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

20 20 23 14 13 20 26 11 16

N.S.

1 1.00 1.15 0.70 0.65 1.00 1.30 0.55 0.80

time (sec)

N/A 0.259 0.043 0.418 0.198 0.253 0.187 0.311 0.063

Problem 599

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 20 16 35 20 12 14 17

N.S.

1 1.00 1.33 1.07 2.33 1.33 0.80 0.93 1.13

time (sec)

N/A 0.266 0.061 0.186 0.193 0.240 0.149 0.293 0.342

Problem 600

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

20 20 20 15 22 75 0 24 24

N.S.

1 1.00 1.00 0.75 1.10 3.75 0.00 1.20 1.20

time (sec)

N/A 0.153 0.009 0.514 0.201 0.242 0.000 0.288 0.373