2.2.66 Integrals 6501 to 6600

Detailed conclusion table per each integral is given by 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 just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 6501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 19 19 22 19 17 19 19 24

N.S.

1 0.83 0.83 0.96 0.83 0.74 0.83 0.83 1.04

time (sec)

N/A 0.012 0.006 0.273 0.277 0.365 0.045 0.376 4.127

Problem 6502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 23 22 21 20 20 20 23 20

N.S.

1 0.92 0.88 0.84 0.80 0.80 0.80 0.92 0.80

time (sec)

N/A 0.038 0.014 0.941 0.276 0.440 0.164 0.387 0.249

Problem 6503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 11 11 9 10 10 10 10 10

N.S.

1 0.85 0.85 0.69 0.77 0.77 0.77 0.77 0.77

time (sec)

N/A 0.020 0.016 0.166 0.279 0.371 0.042 0.385 4.009

Problem 6504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C A A A A B

verified

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

size

25 0 30 483 25 25 19 30 22

N.S.

1 0.00 1.20 19.32 1.00 1.00 0.76 1.20 0.88

time (sec)

N/A 0.501 2.221 0.298 0.325 0.360 0.048 0.380 4.230

Problem 6505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A B B

verified

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

size

24 0 25 30 36 36 22 60 28

N.S.

1 0.00 1.04 1.25 1.50 1.50 0.92 2.50 1.17

time (sec)

N/A 0.413 0.066 43.499 0.324 0.493 0.042 0.392 0.205

Problem 6506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

11 9 9 9 8 8 7 8 8

N.S.

1 0.82 0.82 0.82 0.73 0.73 0.64 0.73 0.73

time (sec)

N/A 0.003 0.004 0.059 0.271 0.369 0.018 0.385 0.031

Problem 6507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 21 21 29 18 30 22 35 18

N.S.

1 1.05 1.05 1.45 0.90 1.50 1.10 1.75 0.90

time (sec)

N/A 0.011 0.008 1.082 0.296 0.361 0.032 0.394 0.067

Problem 6508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 16 16 17 28 18 15 87 16

N.S.

1 0.73 0.73 0.77 1.27 0.82 0.68 3.95 0.73

time (sec)

N/A 0.033 0.015 1.956 0.335 0.439 0.044 0.399 4.036

Problem 6509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A F

verified

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

size

27 0 31 43 31 31 31 42 -1

N.S.

1 0.00 1.15 1.59 1.15 1.15 1.15 1.56 -0.04

time (sec)

N/A 4.697 0.059 2.087 0.337 0.414 0.242 0.492 0.000

Problem 6510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 16 15 15 14 14 12 14 12

N.S.

1 1.23 1.15 1.15 1.08 1.08 0.92 1.08 0.92

time (sec)

N/A 0.004 0.000 0.278 0.282 0.374 0.007 0.383 0.036

Problem 6511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C A A A F(-1) F

verified

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

size

31 0 36 189 38 46 48 0 -1

N.S.

1 0.00 1.16 6.10 1.23 1.48 1.55 0.00 -0.03

time (sec)

N/A 3.100 0.204 1.276 0.380 0.435 0.205 0.000 0.000

Problem 6512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B B A F B

verified

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

size

27 0 27 24 124 90 32 0 139

N.S.

1 0.00 1.00 0.89 4.59 3.33 1.19 0.00 5.15

time (sec)

N/A 11.366 1.295 1.604 0.759 0.364 0.986 0.000 4.800

Problem 6513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

34 0 40 33 57 36 32 56 59

N.S.

1 0.00 1.18 0.97 1.68 1.06 0.94 1.65 1.74

time (sec)

N/A 24.629 2.787 1.523 0.647 0.363 0.479 0.498 4.709

Problem 6514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 24 22 21 31 28 15 48 23

N.S.

1 1.09 1.00 0.95 1.41 1.27 0.68 2.18 1.05

time (sec)

N/A 0.569 0.075 0.146 0.325 0.383 0.097 0.394 0.131

Problem 6515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 16 16 42 26 22 12 22 15

N.S.

1 0.94 0.94 2.47 1.53 1.29 0.71 1.29 0.88

time (sec)

N/A 0.033 0.069 1.083 0.314 0.377 0.055 0.385 0.064

Problem 6516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 18 18 16 15 15 12 15 19

N.S.

1 0.95 0.95 0.84 0.79 0.79 0.63 0.79 1.00

time (sec)

N/A 0.011 0.007 0.061 0.278 0.413 0.054 0.400 4.138

Problem 6517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 20 20 18 16 17 15 16 17

N.S.

1 0.95 0.95 0.86 0.76 0.81 0.71 0.76 0.81

time (sec)

N/A 0.031 0.020 0.026 0.278 0.366 0.079 0.390 4.163

Problem 6518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

31 0 52 56 53 42 39 55 383

N.S.

1 0.00 1.68 1.81 1.71 1.35 1.26 1.77 12.35

time (sec)

N/A 27.601 0.123 1.543 0.557 0.385 0.258 0.930 5.117

Problem 6519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 30 30 30 27 27 26 29 29

N.S.

1 1.07 1.07 1.07 0.96 0.96 0.93 1.04 1.04

time (sec)

N/A 1.872 0.099 25.963 0.305 0.374 0.191 0.394 4.709

Problem 6520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C B B A B B

verified

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

size

23 0 22 290 74 59 31 393 30

N.S.

1 0.00 0.96 12.61 3.22 2.57 1.35 17.09 1.30

time (sec)

N/A 9.608 0.100 44.092 0.344 0.358 0.452 22.303 4.531

Problem 6521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C A B A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 143 22 231 31 34 29 34 33

N.S.

1 5.72 0.88 9.24 1.24 1.36 1.16 1.36 1.32

time (sec)

N/A 0.167 0.041 0.400 0.286 0.371 1.233 0.390 4.425

Problem 6522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 150 25 105 117 56 56 76 22

N.S.

1 6.52 1.09 4.57 5.09 2.43 2.43 3.30 0.96

time (sec)

N/A 0.586 1.443 0.295 0.287 0.379 0.138 0.411 0.242

Problem 6523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

4 2 2 3 2 2 2 3 2

N.S.

1 0.50 0.50 0.75 0.50 0.50 0.50 0.75 0.50

time (sec)

N/A 0.000 0.000 0.047 0.277 0.361 0.024 0.388 0.009

Problem 6524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 145 13 60 48 26 26 26 13

N.S.

1 9.67 0.87 4.00 3.20 1.73 1.73 1.73 0.87

time (sec)

N/A 0.560 0.044 0.935 0.313 0.378 0.036 0.406 4.220

Problem 6525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 27 21 20 41 20 0 23

N.S.

1 1.00 0.93 0.72 0.69 1.41 0.69 0.00 0.79

time (sec)

N/A 0.247 0.143 0.267 0.358 0.402 0.250 0.000 0.211

Problem 6526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

24 0 19 19 18 18 17 22 18

N.S.

1 0.00 0.79 0.79 0.75 0.75 0.71 0.92 0.75

time (sec)

N/A 0.272 0.412 0.122 0.312 0.391 0.076 0.378 0.518

Problem 6527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 35 22 123 0 33 19 60 -1

N.S.

1 1.52 0.96 5.35 0.00 1.43 0.83 2.61 -0.04

time (sec)

N/A 1.035 0.078 0.221 0.000 0.444 6.262 0.398 0.000

Problem 6528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A B A B

verified

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

size

34 0 27 24 22 22 71 42 53

N.S.

1 0.00 0.79 0.71 0.65 0.65 2.09 1.24 1.56

time (sec)

N/A 1.497 2.534 0.873 0.319 0.351 0.174 0.397 4.491

Problem 6529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 18 17 36 23 22 14 16 17

N.S.

1 1.12 1.06 2.25 1.44 1.38 0.88 1.00 1.06

time (sec)

N/A 0.043 0.033 0.280 0.311 0.360 0.025 0.392 4.175

Problem 6530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 99 22 22 0 22 19 34 21

N.S.

1 3.81 0.85 0.85 0.00 0.85 0.73 1.31 0.81

time (sec)

N/A 0.224 0.070 0.727 0.000 0.443 0.265 0.416 4.615

Problem 6531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B C B B B B B

verified

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

size

24 0 113 941 548 86 112 126 113

N.S.

1 0.00 4.71 39.21 22.83 3.58 4.67 5.25 4.71

time (sec)

N/A 1.066 0.057 1.341 0.563 0.383 0.745 0.416 4.964

Problem 6532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B A B A B

verified

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

size

21 0 26 36 61 25 31 28 24

N.S.

1 0.00 1.24 1.71 2.90 1.19 1.48 1.33 1.14

time (sec)

N/A 0.764 1.355 0.138 0.533 0.386 0.059 0.386 0.183

Problem 6533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F(-1) A A F A A B B

verified

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

size

34 0 59 31 0 32 31 617 295

N.S.

1 0.00 1.74 0.91 0.00 0.94 0.91 18.15 8.68

time (sec)

N/A 180.000 0.291 0.187 0.000 0.388 0.285 2.853 4.628

Problem 6534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 24 22 19 18 24 15 18 20

N.S.

1 0.83 0.76 0.66 0.62 0.83 0.52 0.62 0.69

time (sec)

N/A 0.017 0.010 0.493 0.281 0.364 0.061 0.382 0.084

Problem 6535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B A A A B F

verified

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

size

31 0 38 67 53 53 36 60 -1

N.S.

1 0.00 1.23 2.16 1.71 1.71 1.16 1.94 -0.03

time (sec)

N/A 1.376 0.061 2.839 0.528 0.370 0.198 0.460 0.000

Problem 6536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A B A F B

verified

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

size

21 0 19 19 16 56 19 0 18

N.S.

1 0.00 0.90 0.90 0.76 2.67 0.90 0.00 0.86

time (sec)

N/A 1.130 0.169 1.956 0.416 0.441 0.402 0.000 4.350

Problem 6537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 39 32 41 34 25 29 25 26

N.S.

1 1.70 1.39 1.78 1.48 1.09 1.26 1.09 1.13

time (sec)

N/A 0.022 0.005 0.296 0.262 0.378 0.115 0.394 4.133

Problem 6538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 29 75 36 35 38 37 35 35

N.S.

1 1.12 2.88 1.38 1.35 1.46 1.42 1.35 1.35

time (sec)

N/A 0.007 0.000 0.106 0.281 0.384 0.005 0.379 0.002

Problem 6539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

24 0 38 617 56 57 60 0 -1

N.S.

1 0.00 1.58 25.71 2.33 2.38 2.50 0.00 -0.04

time (sec)

N/A 50.689 0.144 0.717 4.054 0.496 0.820 0.000 0.000

Problem 6540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A C B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 34 71 27 53 34 27 35 23

N.S.

1 1.70 3.55 1.35 2.65 1.70 1.35 1.75 1.15

time (sec)

N/A 0.242 0.043 3.270 0.456 0.375 0.122 0.408 4.442

Problem 6541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A B F

verified

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

size

33 0 41 48 62 62 39 74 -1

N.S.

1 0.00 1.24 1.45 1.88 1.88 1.18 2.24 -0.03

time (sec)

N/A 90.855 0.181 0.137 0.414 0.383 0.458 0.533 0.000

Problem 6542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 21 13 14 16 17 15 18 12

N.S.

1 0.78 0.48 0.52 0.59 0.63 0.56 0.67 0.44

time (sec)

N/A 0.009 0.002 0.202 0.282 0.457 0.042 0.383 0.057

Problem 6543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 31 17 17 16 17 15 17 17

N.S.

1 1.72 0.94 0.94 0.89 0.94 0.83 0.94 0.94

time (sec)

N/A 0.027 0.334 0.118 0.324 0.424 0.036 0.379 4.055

Problem 6544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 57 57 58 65 49 51 52 57

N.S.

1 2.71 2.71 2.76 3.10 2.33 2.43 2.48 2.71

time (sec)

N/A 0.060 0.016 0.113 0.281 0.382 0.078 0.376 4.114

Problem 6545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

34 0 30 786 33 66 65 0 69

N.S.

1 0.00 0.88 23.12 0.97 1.94 1.91 0.00 2.03

time (sec)

N/A 2.790 0.055 0.980 0.755 0.355 0.315 0.000 5.207

Problem 6546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 13 16 12 11 11 14 11 9

N.S.

1 0.81 1.00 0.75 0.69 0.69 0.88 0.69 0.56

time (sec)

N/A 0.001 0.001 0.244 0.281 0.388 0.008 0.390 0.033

Problem 6547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

30 0 14 17 16 20 14 16 12

N.S.

1 0.00 0.47 0.57 0.53 0.67 0.47 0.53 0.40

time (sec)

N/A 0.252 0.048 0.128 0.315 0.364 0.060 0.389 4.058

Problem 6548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

8 10 9 7 8 8 7 9 6

N.S.

1 1.25 1.12 0.88 1.00 1.00 0.88 1.12 0.75

time (sec)

N/A 0.002 0.002 0.717 0.279 0.371 0.025 0.378 0.053

Problem 6549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A B A B

verified

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

size

30 0 31 41 37 37 42 46 49

N.S.

1 0.00 1.03 1.37 1.23 1.23 1.40 1.53 1.63

time (sec)

N/A 2.853 1.703 0.325 0.362 0.421 0.122 0.415 0.548

Problem 6550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 77 19 73 19 19 15 75 15

N.S.

1 4.81 1.19 4.56 1.19 1.19 0.94 4.69 0.94

time (sec)

N/A 0.376 0.047 2.666 0.337 0.388 0.058 0.407 4.161

Problem 6551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A F A A A A B

verified

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

size

21 0 27 0 30 30 26 30 23

N.S.

1 0.00 1.29 0.00 1.43 1.43 1.24 1.43 1.10

time (sec)

N/A 1.381 0.191 0.104 0.316 0.393 0.308 0.400 4.318

Problem 6552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 17 17 16 13 13 19 13 14

N.S.

1 0.94 0.94 0.89 0.72 0.72 1.06 0.72 0.78

time (sec)

N/A 0.004 0.001 0.220 0.265 0.417 0.013 0.391 4.068

Problem 6553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A B B

verified

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

size

36 0 42 39 44 39 39 8877 34

N.S.

1 0.00 1.17 1.08 1.22 1.08 1.08 246.58 0.94

time (sec)

N/A 9.678 0.228 0.219 0.353 0.358 0.180 0.477 4.231

Problem 6554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 77 39 84 44 41 49 50 55

N.S.

1 3.35 1.70 3.65 1.91 1.78 2.13 2.17 2.39

time (sec)

N/A 0.088 0.281 0.180 0.273 0.382 0.068 0.378 0.079

Problem 6555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B B B B B B B

verified

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

size

29 0 127 1296 1184 150 150 87 113

N.S.

1 0.00 4.38 44.69 40.83 5.17 5.17 3.00 3.90

time (sec)

N/A 0.896 0.103 2.175 0.574 0.380 0.604 0.395 4.820

Problem 6556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 20 20 22 19 17 19 19

N.S.

1 1.00 1.00 1.00 1.10 0.95 0.85 0.95 0.95

time (sec)

N/A 0.329 0.122 0.079 0.534 0.354 0.200 0.421 4.215

Problem 6557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 20 21 16 17 15 16 13

N.S.

1 1.00 1.11 1.17 0.89 0.94 0.83 0.89 0.72

time (sec)

N/A 0.006 0.002 0.334 0.334 0.365 0.024 0.390 0.041

Problem 6558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C B A A F B

verified

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

size

32 0 38 1811 189 55 48 0 50

N.S.

1 0.00 1.19 56.59 5.91 1.72 1.50 0.00 1.56

time (sec)

N/A 17.357 0.085 1.577 0.370 0.424 0.486 0.000 4.929

Problem 6559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F(-1) A A B B B B B

verified

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

size

32 0 43 57 78 81 61 110 41

N.S.

1 0.00 1.34 1.78 2.44 2.53 1.91 3.44 1.28

time (sec)

N/A 180.000 5.909 0.244 0.338 0.385 0.201 0.453 4.296

Problem 6560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C A A A A B

verified

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

size

28 0 27 196 26 25 19 25 25

N.S.

1 0.00 0.96 7.00 0.93 0.89 0.68 0.89 0.89

time (sec)

N/A 17.995 0.127 0.278 0.358 0.385 0.129 0.435 0.289

Problem 6561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 6 6 7 6 6 5 6 6

N.S.

1 0.30 0.30 0.35 0.30 0.30 0.25 0.30 0.30

time (sec)

N/A 0.002 0.002 0.542 0.288 0.447 0.018 0.389 4.053

Problem 6562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 51 19 30 28 28 36 28 30

N.S.

1 2.43 0.90 1.43 1.33 1.33 1.71 1.33 1.43

time (sec)

N/A 0.059 0.068 0.217 0.279 0.401 0.050 0.388 0.053

Problem 6563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 0 820 63 22 22 22 22

N.S.

1 0.00 0.00 28.28 2.17 0.76 0.76 0.76 0.76

time (sec)

N/A 1.849 0.000 1.557 0.525 0.368 40.806 0.425 4.189

Problem 6564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 35 35 66 53 29 34 32 31

N.S.

1 1.30 1.30 2.44 1.96 1.07 1.26 1.19 1.15

time (sec)

N/A 0.055 0.033 0.110 0.277 0.368 0.098 0.387 4.135

Problem 6565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 22 23 17 24 20 15 16 12

N.S.

1 0.65 0.68 0.50 0.71 0.59 0.44 0.47 0.35

time (sec)

N/A 0.044 0.036 0.202 0.280 0.340 0.041 0.391 4.084

Problem 6566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A B A B B

verified

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

size

16 0 16 11 10 22 12 22 10

N.S.

1 0.00 1.00 0.69 0.62 1.38 0.75 1.38 0.62

time (sec)

N/A 0.230 0.056 0.151 0.378 0.400 0.100 0.402 4.157

Problem 6567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 28 28 54 55 54 61 0 60

N.S.

1 1.04 1.04 2.00 2.04 2.00 2.26 0.00 2.22

time (sec)

N/A 2.443 0.051 0.856 0.559 0.441 6.312 0.000 4.510

Problem 6568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 39 25 31 25 25 20 31 24

N.S.

1 1.30 0.83 1.03 0.83 0.83 0.67 1.03 0.80

time (sec)

N/A 0.041 0.008 0.233 0.279 0.370 0.197 0.395 0.088

Problem 6569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F(-1) F A B B B F B

verified

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

size

30 0 0 40 62 177 51 0 159

N.S.

1 0.00 0.00 1.33 2.07 5.90 1.70 0.00 5.30

time (sec)

N/A 180.002 5.163 0.321 2.568 0.381 3.075 0.000 5.011

Problem 6570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 13 22 13 20 20 8 20 12

N.S.

1 1.00 1.69 1.00 1.54 1.54 0.62 1.54 0.92

time (sec)

N/A 0.181 0.588 0.378 0.313 0.391 0.033 0.392 4.170

Problem 6571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

5 5 5 10 4 11 3 11 4

N.S.

1 1.00 1.00 2.00 0.80 2.20 0.60 2.20 0.80

time (sec)

N/A 0.001 0.004 0.350 0.264 0.350 0.016 0.390 0.029

Problem 6572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A B A B

verified

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

size

22 0 19 16 32 32 37 35 35

N.S.

1 0.00 0.86 0.73 1.45 1.45 1.68 1.59 1.59

time (sec)

N/A 0.496 0.419 3.326 0.332 0.356 0.079 0.403 4.914

Problem 6573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 13 13 17 22 21 17 12 12

N.S.

1 0.93 0.93 1.21 1.57 1.50 1.21 0.86 0.86

time (sec)

N/A 0.080 0.019 0.725 0.331 0.366 0.073 0.392 4.175

Problem 6574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 35 128 36 80 69 32 35 35

N.S.

1 1.35 4.92 1.38 3.08 2.65 1.23 1.35 1.35

time (sec)

N/A 0.678 0.051 0.425 0.528 0.367 0.126 0.403 4.566

Problem 6575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 27 20 77 25 24 19 20 21

N.S.

1 1.08 0.80 3.08 1.00 0.96 0.76 0.80 0.84

time (sec)

N/A 0.125 0.400 0.293 0.318 0.361 0.074 0.389 0.090

Problem 6576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 11 11 13 12 12 14 0 14

N.S.

1 0.85 0.85 1.00 0.92 0.92 1.08 0.00 1.08

time (sec)

N/A 0.120 0.061 1.263 0.612 0.417 0.173 0.000 0.120

Problem 6577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

24 0 25 22 21 21 22 35 21

N.S.

1 0.00 1.04 0.92 0.88 0.88 0.92 1.46 0.88

time (sec)

N/A 2.999 0.569 0.217 0.321 0.380 0.130 0.394 4.348

Problem 6578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 89 20 68 22 22 19 22 20

N.S.

1 4.45 1.00 3.40 1.10 1.10 0.95 1.10 1.00

time (sec)

N/A 0.482 0.038 4.598 0.617 0.400 0.060 0.394 0.384

Problem 6579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 16 12 15 11 16 12 11 13

N.S.

1 0.94 0.71 0.88 0.65 0.94 0.71 0.65 0.76

time (sec)

N/A 0.088 0.017 1.579 0.463 0.370 0.041 0.390 4.161

Problem 6580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A F B

verified

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

size

27 0 29 34 32 29 29 0 36

N.S.

1 0.00 1.07 1.26 1.19 1.07 1.07 0.00 1.33

time (sec)

N/A 2.220 0.265 0.740 0.370 0.385 0.131 0.000 4.564

Problem 6581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A F B A A B F

verified

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

size

28 0 37 0 97 41 37 99 -1

N.S.

1 0.00 1.32 0.00 3.46 1.46 1.32 3.54 -0.04

time (sec)

N/A 3.520 0.071 180.000 0.440 0.386 0.232 64.093 0.000

Problem 6582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 147 19 72 66 66 71 66 15

N.S.

1 7.74 1.00 3.79 3.47 3.47 3.74 3.47 0.79

time (sec)

N/A 0.134 1.002 2.315 0.324 0.412 0.121 0.406 0.222

Problem 6583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B B A B F

verified

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

size

28 0 41 38 71 71 36 1712 -1

N.S.

1 0.00 1.46 1.36 2.54 2.54 1.29 61.14 -0.04

time (sec)

N/A 3.607 0.108 0.351 0.458 0.401 0.201 23.765 0.000

Problem 6584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B B B A F(-1) B

verified

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

size

20 0 17 64 100 48 20 0 18

N.S.

1 0.00 0.85 3.20 5.00 2.40 1.00 0.00 0.90

time (sec)

N/A 1.258 0.204 0.491 0.563 0.370 0.098 0.000 4.224

Problem 6585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A B A B B

verified

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

size

26 0 26 28 25 55 29 100 28

N.S.

1 0.00 1.00 1.08 0.96 2.12 1.12 3.85 1.08

time (sec)

N/A 2.467 0.246 1.643 0.365 0.448 0.172 0.414 4.785

Problem 6586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 140 58 155 125 72 70 131 72

N.S.

1 4.67 1.93 5.17 4.17 2.40 2.33 4.37 2.40

time (sec)

N/A 0.110 0.029 3.231 0.508 0.372 0.110 0.390 4.305

Problem 6587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A F(-1) B

verified

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

size

36 0 50 41 39 39 37 0 47

N.S.

1 0.00 1.39 1.14 1.08 1.08 1.03 0.00 1.31

time (sec)

N/A 6.426 0.108 0.069 0.331 0.377 0.268 0.000 4.440

Problem 6588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C A A A B B

verified

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

size

24 0 23 467 40 30 26 53 31

N.S.

1 0.00 0.96 19.46 1.67 1.25 1.08 2.21 1.29

time (sec)

N/A 0.505 0.040 26.988 0.320 0.363 0.177 0.433 4.352

Problem 6589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B F F A A A F B

verified

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

size

32 132 0 0 49 40 34 0 52

N.S.

1 4.12 0.00 0.00 1.53 1.25 1.06 0.00 1.62

time (sec)

N/A 5.229 6.290 180.000 0.747 0.378 108.638 0.000 4.606

Problem 6590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 45 34 30 29 47 32 53 29

N.S.

1 1.45 1.10 0.97 0.94 1.52 1.03 1.71 0.94

time (sec)

N/A 0.423 0.048 0.026 0.544 0.371 0.179 0.407 4.356

Problem 6591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F F C B A F(-2) F(-1) B

verified

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

size

31 0 0 278332 668 27 0 0 27

N.S.

1 0.00 0.00 8978.45 21.55 0.87 0.00 0.00 0.87

time (sec)

N/A 5.405 0.183 33.805 0.588 0.506 0.000 0.000 5.054

Problem 6592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C A A A A B

verified

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

size

25 0 23 207 25 30 22 27 27

N.S.

1 0.00 0.92 8.28 1.00 1.20 0.88 1.08 1.08

time (sec)

N/A 6.336 0.094 0.657 0.554 0.390 0.242 0.667 4.450

Problem 6593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 21 21 18 23 18 12 13 14

N.S.

1 1.31 1.31 1.12 1.44 1.12 0.75 0.81 0.88

time (sec)

N/A 0.174 0.009 0.122 0.322 0.357 0.027 0.418 4.150

Problem 6594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 17 17 16 15 15 20 15 15

N.S.

1 1.31 1.31 1.23 1.15 1.15 1.54 1.15 1.15

time (sec)

N/A 0.008 0.003 1.421 0.277 0.388 0.063 0.403 4.094

Problem 6595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B B B B B B B

verified

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

size

26 0 60 92 158 188 112 255 146

N.S.

1 0.00 2.31 3.54 6.08 7.23 4.31 9.81 5.62

time (sec)

N/A 4.148 10.109 0.814 0.381 0.369 0.204 0.453 4.499

Problem 6596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

21 0 26 22 27 25 26 21 27

N.S.

1 0.00 1.24 1.05 1.29 1.19 1.24 1.00 1.29

time (sec)

N/A 0.178 0.496 0.946 0.569 0.366 0.138 0.485 4.305

Problem 6597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 20 20 22 24 20 24 24

N.S.

1 1.00 0.87 0.87 0.96 1.04 0.87 1.04 1.04

time (sec)

N/A 0.047 0.149 0.167 0.277 0.359 0.046 0.414 0.074

Problem 6598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 14 14 15 14 15 8 14 16

N.S.

1 0.64 0.64 0.68 0.64 0.68 0.36 0.64 0.73

time (sec)

N/A 0.004 0.001 0.103 0.270 0.346 0.014 0.403 0.029

Problem 6599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A F A A A B B

verified

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

size

23 0 23 0 28 32 41 116 35

N.S.

1 0.00 1.00 0.00 1.22 1.39 1.78 5.04 1.52

time (sec)

N/A 4.550 0.087 0.126 0.639 0.369 16.527 1.049 4.782

Problem 6600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B B B B B B B

verified

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

size

24 0 63 58 85 57 51 57 113

N.S.

1 0.00 2.62 2.42 3.54 2.38 2.12 2.38 4.71

time (sec)

N/A 2.988 0.047 27.182 0.331 0.368 0.082 0.645 7.984