[next] [prev] [prev-tail] [tail] [up]

2.2.48 Integrals 4701 to 4800

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 4701

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 25 27 144 26 28 26 28 27

N.S.

1 1.19 1.29 6.86 1.24 1.33 1.24 1.33 1.29

time (sec)

N/A 0.253 0.015 1.055 0.296 0.345 0.947 0.430 3.394

Problem 4702

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A A A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 46 19 18 17 17 15 0 19

N.S.

1 2.09 0.86 0.82 0.77 0.77 0.68 0.00 0.86

time (sec)

N/A 0.097 0.051 0.130 0.310 0.371 3.426 0.000 3.204

Problem 4703

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

36 103 58 114 244 250 144 360 783

N.S.

1 2.86 1.61 3.17 6.78 6.94 4.00 10.00 21.75

time (sec)

N/A 10.890 0.141 1.559 0.400 0.382 0.260 0.461 4.139

Problem 4704

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A C A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 45 29 61 32 32 36 27 37

N.S.

1 2.05 1.32 2.77 1.45 1.45 1.64 1.23 1.68

time (sec)

N/A 0.041 0.006 0.325 0.267 0.353 0.070 0.397 0.117

Problem 4705

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

26 0 22 22 14 19 19 12 13

N.S.

1 0.00 0.85 0.85 0.54 0.73 0.73 0.46 0.50

time (sec)

N/A 0.411 0.037 14.001 0.546 0.361 0.129 0.408 3.584

Problem 4706

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B B B B F

verified

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

size

26 0 52 31 97 91 107 148 -1

N.S.

1 0.00 2.00 1.19 3.73 3.50 4.12 5.69 -0.04

time (sec)

N/A 3.642 0.149 3.522 0.570 0.333 0.242 0.443 0.000

Problem 4707

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 27 35 34 25 32 25 24

N.S.

1 0.00 0.90 1.17 1.13 0.83 1.07 0.83 0.80

time (sec)

N/A 4.583 0.074 124.291 0.574 0.374 0.154 0.462 3.493

Problem 4708

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

6 6 6 6 5 5 5 5 5

N.S.

1 1.00 1.00 1.00 0.83 0.83 0.83 0.83 0.83

time (sec)

N/A 0.001 0.000 6.307 0.334 0.353 0.004 0.427 0.002

Problem 4709

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B B B B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 228 23 69 68 145 76 0 68

N.S.

1 9.12 0.92 2.76 2.72 5.80 3.04 0.00 2.72

time (sec)

N/A 0.814 0.235 0.282 0.373 0.353 5.030 0.000 0.321

Problem 4710

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 22 24 25 34 30 29 24 22

N.S.

1 1.05 1.14 1.19 1.62 1.43 1.38 1.14 1.05

time (sec)

N/A 0.062 0.063 1.345 0.306 0.368 0.119 0.410 3.272

Problem 4711

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A F A A A F

verified

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

size

25 0 22 21 0 25 22 35 -1

N.S.

1 0.00 0.88 0.84 0.00 1.00 0.88 1.40 -0.04

time (sec)

N/A 4.497 0.325 0.478 0.000 0.369 0.144 0.427 0.000

Problem 4712

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C A A F B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 365 51 47 0 57 60 64 -1

N.S.

1 14.04 1.96 1.81 0.00 2.19 2.31 2.46 -0.04

time (sec)

N/A 4.830 0.092 1.552 0.000 0.398 0.237 0.416 0.000

Problem 4713

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 44 31 24 23 23 29 23 23

N.S.

1 2.10 1.48 1.14 1.10 1.10 1.38 1.10 1.10

time (sec)

N/A 0.069 0.031 0.105 0.282 0.380 0.044 0.406 3.165

Problem 4714

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A A A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 65 30 26 24 26 24 0 23

N.S.

1 2.10 0.97 0.84 0.77 0.84 0.77 0.00 0.74

time (sec)

N/A 0.316 0.347 0.120 0.606 0.349 0.213 0.000 3.423

Problem 4715

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 29 26 26 42 24 0 -1

N.S.

1 0.00 1.00 0.90 0.90 1.45 0.83 0.00 -0.03

time (sec)

N/A 12.949 0.129 0.273 0.374 0.353 0.777 0.000 0.000

Problem 4716

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

N.S.

1 0.57 0.57 0.46 0.43 0.61 0.36 0.43 0.50

time (sec)

N/A 0.007 0.002 0.178 0.275 0.336 0.029 0.403 0.027

Problem 4717

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B B B B B F B

verified

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

size

31 0 86 81 114 136 90 0 79

N.S.

1 0.00 2.77 2.61 3.68 4.39 2.90 0.00 2.55

time (sec)

N/A 4.130 0.130 0.965 0.413 0.384 0.340 0.000 3.723

Problem 4718

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 35 18 20 17 19 19 19 21

N.S.

1 1.59 0.82 0.91 0.77 0.86 0.86 0.86 0.95

time (sec)

N/A 0.581 0.041 2.505 0.296 0.356 0.038 0.414 3.551

Problem 4719

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 27 27 32 28 30 26 31 26

N.S.

1 0.96 0.96 1.14 1.00 1.07 0.93 1.11 0.93

time (sec)

N/A 0.470 0.792 1.916 0.314 0.378 0.215 0.420 6.923

Problem 4720

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

21 56 19 46 46 51 44 55 40

N.S.

1 2.67 0.90 2.19 2.19 2.43 2.10 2.62 1.90

time (sec)

N/A 0.202 0.599 0.296 0.499 0.364 0.068 0.405 0.096

Problem 4721

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C A A B B B

verified

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

size

26 0 46 470 30 32 48 56 32

N.S.

1 0.00 1.77 18.08 1.15 1.23 1.85 2.15 1.23

time (sec)

N/A 14.938 0.260 12.492 0.358 0.401 23.127 0.804 3.984

Problem 4722

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

23 36 22 36 43 18 17 31 12

N.S.

1 1.57 0.96 1.57 1.87 0.78 0.74 1.35 0.52

time (sec)

N/A 0.081 0.016 0.623 0.363 0.382 0.051 0.420 3.635

Problem 4723

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

26 0 33 194 30 25 22 26 18

N.S.

1 0.00 1.27 7.46 1.15 0.96 0.85 1.00 0.69

time (sec)

N/A 1.388 0.080 0.310 0.537 0.345 0.250 0.434 3.516

Problem 4724

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 20 16 16 15 15 17 15 15

N.S.

1 1.18 0.94 0.94 0.88 0.88 1.00 0.88 0.88

time (sec)

N/A 0.100 0.034 0.215 0.302 0.392 0.079 0.430 3.223

Problem 4725

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 46 30 44 68 31 56 32 32

N.S.

1 1.77 1.15 1.69 2.62 1.19 2.15 1.23 1.23

time (sec)

N/A 0.103 0.142 0.224 0.316 0.420 0.096 0.410 0.086

Problem 4726

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A F A A F F

verified

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

size

34 0 26 36 0 34 29 0 -1

N.S.

1 0.00 0.76 1.06 0.00 1.00 0.85 0.00 -0.03

time (sec)

N/A 2.202 0.079 0.227 0.000 0.359 7.421 0.000 0.000

Problem 4727

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C A C B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 162 42 960 108 82 51 93 178

N.S.

1 6.23 1.62 36.92 4.15 3.15 1.96 3.58 6.85

time (sec)

N/A 1.532 0.098 7.409 0.331 0.396 0.079 0.433 3.546

Problem 4728

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 28 20 25 17 17 22 38 22

N.S.

1 1.22 0.87 1.09 0.74 0.74 0.96 1.65 0.96

time (sec)

N/A 0.028 0.017 0.214 0.306 0.440 0.290 0.404 3.240

Problem 4729

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B A A A F

verified

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

size

27 0 53 29 56 28 24 28 -1

N.S.

1 0.00 1.96 1.07 2.07 1.04 0.89 1.04 -0.04

time (sec)

N/A 6.247 0.138 0.301 0.335 0.350 0.109 0.445 0.000

Problem 4730

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 30 34 33 33 36 42 32 31

N.S.

1 1.03 1.17 1.14 1.14 1.24 1.45 1.10 1.07

time (sec)

N/A 0.039 0.021 0.301 0.279 0.354 0.043 0.406 0.104

Problem 4731

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

22 0 22 317 19 21 22 19 23

N.S.

1 0.00 1.00 14.41 0.86 0.95 1.00 0.86 1.05

time (sec)

N/A 1.417 0.074 0.252 0.330 0.369 0.285 0.408 3.420

Problem 4732

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

21 24 27 58 44 37 27 35 30

N.S.

1 1.14 1.29 2.76 2.10 1.76 1.29 1.67 1.43

time (sec)

N/A 0.293 0.033 0.253 0.314 0.387 0.079 0.409 3.215

Problem 4733

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

23 0 21 21 22 20 20 22 20

N.S.

1 0.00 0.91 0.91 0.96 0.87 0.87 0.96 0.87

time (sec)

N/A 1.526 0.096 0.036 0.309 0.362 0.104 0.435 3.401

Problem 4734

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 35 27 33 44 48 48 47 40

N.S.

1 1.25 0.96 1.18 1.57 1.71 1.71 1.68 1.43

time (sec)

N/A 0.076 0.023 0.375 0.289 0.336 0.571 0.395 3.328

Problem 4735

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 31 0 32 34 0 0 -1

N.S.

1 0.00 1.03 0.00 1.07 1.13 0.00 0.00 -0.03

time (sec)

N/A 6.387 0.100 0.683 0.590 0.400 0.000 0.000 0.000

Problem 4736

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

18 138 312 160 119 92 128 113 494

N.S.

1 7.67 17.33 8.89 6.61 5.11 7.11 6.28 27.44

time (sec)

N/A 0.218 0.144 0.440 0.296 0.381 4.277 0.395 3.564

Problem 4737

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 26 26 25 24 24 20 26 34

N.S.

1 0.96 0.96 0.93 0.89 0.89 0.74 0.96 1.26

time (sec)

N/A 0.071 0.007 0.569 0.273 0.415 0.098 0.399 0.088

Problem 4738

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 48 42 41 40 40 0 40 -1

N.S.

1 1.60 1.40 1.37 1.33 1.33 0.00 1.33 -0.03

time (sec)

N/A 1.432 0.059 1.759 0.342 0.398 0.000 0.464 0.000

Problem 4739

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

25 0 23 30 25 25 22 25 21

N.S.

1 0.00 0.92 1.20 1.00 1.00 0.88 1.00 0.84

time (sec)

N/A 4.605 0.172 8.038 0.336 0.370 0.077 0.424 3.619

Problem 4740

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 61 55 45 82 82 0 82 78

N.S.

1 1.97 1.77 1.45 2.65 2.65 0.00 2.65 2.52

time (sec)

N/A 2.037 2.565 1.878 0.733 0.373 0.000 0.496 4.541

Problem 4741

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

31 0 31 61 34 28 42 53 85

N.S.

1 0.00 1.00 1.97 1.10 0.90 1.35 1.71 2.74

time (sec)

N/A 24.479 0.077 41.828 0.514 0.372 36.284 0.629 3.657

Problem 4742

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

N.S.

1 1.00 1.00 1.07 0.86 1.00 0.71 1.00 1.00

time (sec)

N/A 0.047 0.007 0.181 0.299 0.360 0.027 0.416 3.302

Problem 4743

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

31 0 26 396 24 29 24 62 25

N.S.

1 0.00 0.84 12.77 0.77 0.94 0.77 2.00 0.81

time (sec)

N/A 3.673 0.125 0.579 0.333 0.363 0.348 0.465 3.902

Problem 4744

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B B A B B B B

verified

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

size

28 0 65 61 48 77 61 57 55

N.S.

1 0.00 2.32 2.18 1.71 2.75 2.18 2.04 1.96

time (sec)

N/A 7.974 0.092 0.362 0.375 0.351 0.424 0.501 4.513

Problem 4745

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 26 25 44 24 30 32 24 20

N.S.

1 1.18 1.14 2.00 1.09 1.36 1.45 1.09 0.91

time (sec)

N/A 0.099 0.104 0.474 0.515 0.348 0.063 0.413 0.084

Problem 4746

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B B B B B

verified

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

size

24 0 22 24 66 66 54 79 236

N.S.

1 0.00 0.92 1.00 2.75 2.75 2.25 3.29 9.83

time (sec)

N/A 0.608 0.087 10.464 0.345 0.369 0.082 0.450 3.802

Problem 4747

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

N.S.

1 1.00 1.00 0.80 0.90 0.75 0.70 0.85 0.75

time (sec)

N/A 0.080 1.167 14.849 0.542 0.380 0.050 0.458 3.250

Problem 4748

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 20 17 17 16 16 15 16 16

N.S.

1 1.54 1.31 1.31 1.23 1.23 1.15 1.23 1.23

time (sec)

N/A 0.003 0.001 0.408 0.276 0.336 0.009 0.416 0.035

Problem 4749

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A A A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 108 25 28 29 29 24 0 32

N.S.

1 4.00 0.93 1.04 1.07 1.07 0.89 0.00 1.19

time (sec)

N/A 0.444 0.289 0.290 0.414 0.358 2.189 0.000 3.344

Problem 4750

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F F C B A A B B

verified

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

size

24 0 0 676 50 28 24 50 24

N.S.

1 0.00 0.00 28.17 2.08 1.17 1.00 2.08 1.00

time (sec)

N/A 0.441 46.405 19.818 0.543 0.364 0.191 0.434 3.882

Problem 4751

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

6 4 4 5 4 4 3 5 4

N.S.

1 0.67 0.67 0.83 0.67 0.67 0.50 0.83 0.67

time (sec)

N/A 0.001 0.000 0.154 0.287 0.367 0.006 0.410 0.013

Problem 4752

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 25 47 34 39 34 57

N.S.

1 0.00 1.04 1.04 1.96 1.42 1.62 1.42 2.38

time (sec)

N/A 48.605 0.239 18.512 0.579 0.353 0.131 0.412 3.704

Problem 4753

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B C B A B B B

verified

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

size

27 0 61 8703 78 42 42 74 67

N.S.

1 0.00 2.26 322.33 2.89 1.56 1.56 2.74 2.48

time (sec)

N/A 8.091 0.665 13.704 0.591 0.366 0.188 1.104 0.734

Problem 4754

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 0 25 135 27 22 0 0 29

N.S.

1 0.00 1.00 5.40 1.08 0.88 0.00 0.00 1.16

time (sec)

N/A 12.205 0.316 0.723 0.394 0.428 0.000 0.000 3.626

Problem 4755

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 23 23 20 39 26 15 19 19

N.S.

1 1.21 1.21 1.05 2.05 1.37 0.79 1.00 1.00

time (sec)

N/A 0.146 0.049 10.354 0.512 0.421 0.038 0.409 3.278

Problem 4756

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 17 19 18 18 20 20 16

N.S.

1 1.00 0.94 1.06 1.00 1.00 1.11 1.11 0.89

time (sec)

N/A 0.046 0.006 1.362 0.283 0.373 0.294 0.405 0.116

Problem 4757

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

24 16 14 13 12 12 10 12 11

N.S.

1 0.67 0.58 0.54 0.50 0.50 0.42 0.50 0.46

time (sec)

N/A 0.005 0.000 0.345 0.274 0.344 0.009 0.409 3.304

Problem 4758

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 43 37 0 58 45 71 65 45

N.S.

1 1.54 1.32 0.00 2.07 1.61 2.54 2.32 1.61

time (sec)

N/A 20.788 0.094 0.014 0.535 0.351 0.691 0.633 3.781

Problem 4759

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B B A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 45 48 37 34 34 36 35 32

N.S.

1 2.14 2.29 1.76 1.62 1.62 1.71 1.67 1.52

time (sec)

N/A 0.017 0.008 0.295 0.271 0.399 0.048 0.395 3.297

Problem 4760

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 187 26 26 31 25 29 123 -1

N.S.

1 6.68 0.93 0.93 1.11 0.89 1.04 4.39 -0.04

time (sec)

N/A 0.489 0.149 16.791 0.523 0.349 0.177 0.496 0.000

Problem 4761

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

40 50 51 48 42 44 41 45 43

N.S.

1 1.25 1.28 1.20 1.05 1.10 1.02 1.12 1.08

time (sec)

N/A 0.036 0.017 0.306 0.299 0.349 0.066 0.404 0.060

Problem 4762

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 15 13 14 15 9 8 13 9

N.S.

1 1.36 1.18 1.27 1.36 0.82 0.73 1.18 0.82

time (sec)

N/A 0.010 0.002 0.153 0.294 0.340 0.030 0.414 3.549

Problem 4763

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

9 9 9 11 15 8 8 8 8

N.S.

1 1.00 1.00 1.22 1.67 0.89 0.89 0.89 0.89

time (sec)

N/A 0.031 0.027 9.111 0.312 0.351 0.028 0.409 0.058

Problem 4764

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 31 21 21 17 17 15 20 20

N.S.

1 1.94 1.31 1.31 1.06 1.06 0.94 1.25 1.25

time (sec)

N/A 0.019 0.007 0.893 0.291 0.353 0.038 0.394 3.291

Problem 4765

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

25 83 30 78 280 46 63 54 50

N.S.

1 3.32 1.20 3.12 11.20 1.84 2.52 2.16 2.00

time (sec)

N/A 0.588 0.077 0.354 0.295 0.353 0.094 0.411 3.569

Problem 4766

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 11 11 11 21 21 20 21 25

N.S.

1 0.55 0.55 0.55 1.05 1.05 1.00 1.05 1.25

time (sec)

N/A 0.618 0.215 10.450 0.281 0.378 0.045 0.396 0.066

Problem 4767

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F A A A A A B

verified

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

size

25 36 0 39 34 35 32 38 41

N.S.

1 1.44 0.00 1.56 1.36 1.40 1.28 1.52 1.64

time (sec)

N/A 0.338 0.549 0.727 0.282 0.376 0.063 0.411 0.165

Problem 4768

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

23 74 38 77 136 38 46 48 53

N.S.

1 3.22 1.65 3.35 5.91 1.65 2.00 2.09 2.30

time (sec)

N/A 0.535 0.160 1.262 0.320 0.355 0.334 0.402 3.379

Problem 4769

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C A A B B F

verified

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

size

27 0 27 584 35 32 97 81 -1

N.S.

1 0.00 1.00 21.63 1.30 1.19 3.59 3.00 -0.04

time (sec)

N/A 2.988 0.104 16.458 0.559 0.374 0.314 0.453 0.000

Problem 4770

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

19 0 16 19 18 20 17 20 18

N.S.

1 0.00 0.84 1.00 0.95 1.05 0.89 1.05 0.95

time (sec)

N/A 0.227 0.033 12.077 0.507 0.376 0.072 0.413 3.362

Problem 4771

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C A A A A F

verified

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

size

32 0 31 74 25 25 22 25 -1

N.S.

1 0.00 0.97 2.31 0.78 0.78 0.69 0.78 -0.03

time (sec)

N/A 10.296 0.321 1.398 0.547 0.361 0.081 0.423 0.000

Problem 4772

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 18 17 13 12 12 10 13 12

N.S.

1 1.12 1.06 0.81 0.75 0.75 0.62 0.81 0.75

time (sec)

N/A 0.011 0.005 0.822 0.283 0.359 0.018 0.405 0.038

Problem 4773

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

15 14 22 24 23 23 17 23 18

N.S.

1 0.93 1.47 1.60 1.53 1.53 1.13 1.53 1.20

time (sec)

N/A 0.008 0.000 0.156 0.277 0.366 0.009 0.399 0.031

Problem 4774

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 14 14 13 13 12 0 13

N.S.

1 1.00 0.88 0.88 0.81 0.81 0.75 0.00 0.81

time (sec)

N/A 0.035 0.010 0.171 0.331 0.393 0.050 0.000 3.409

Problem 4775

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B B B B B B

verified

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

size

27 0 31 60 64 106 112 573 562

N.S.

1 0.00 1.15 2.22 2.37 3.93 4.15 21.22 20.81

time (sec)

N/A 1.949 0.038 25.234 0.572 0.351 0.142 4.219 4.001

Problem 4776

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

15 15 15 18 17 15 15 15 15

N.S.

1 1.00 1.00 1.20 1.13 1.00 1.00 1.00 1.00

time (sec)

N/A 0.037 0.027 2.202 0.282 0.349 0.053 0.401 3.458

Problem 4777

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

33 0 61 68 83 83 0 96 -1

N.S.

1 0.00 1.85 2.06 2.52 2.52 0.00 2.91 -0.03

time (sec)

N/A 15.740 0.094 0.357 0.372 0.393 0.000 0.536 0.000

Problem 4778

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 4 4 5 4 4 3 5 4

N.S.

1 0.31 0.31 0.38 0.31 0.31 0.23 0.38 0.31

time (sec)

N/A 0.001 0.000 0.150 0.281 0.377 0.006 0.394 0.011

Problem 4779

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

N.S.

1 1.00 1.12 0.94 0.81 0.88 1.06 0.81 0.88

time (sec)

N/A 0.008 0.000 0.146 0.299 0.418 0.004 0.411 0.002

Problem 4780

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 15 26 19 26 14 19 12

N.S.

1 1.00 0.88 1.53 1.12 1.53 0.82 1.12 0.71

time (sec)

N/A 0.018 0.013 1.554 0.291 0.379 0.062 0.399 0.123

Problem 4781

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

28 0 25 24 47 47 48 51 45

N.S.

1 0.00 0.89 0.86 1.68 1.68 1.71 1.82 1.61

time (sec)

N/A 4.677 0.189 0.204 0.440 0.395 0.156 0.475 4.010

Problem 4782

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

32 230 48 279 722 163 168 150 208

N.S.

1 7.19 1.50 8.72 22.56 5.09 5.25 4.69 6.50

time (sec)

N/A 4.811 10.101 0.781 0.306 0.407 0.191 0.404 3.809

Problem 4783

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

31 0 30 39 49 72 34 136 66

N.S.

1 0.00 0.97 1.26 1.58 2.32 1.10 4.39 2.13

time (sec)

N/A 17.382 0.537 1.223 0.748 0.348 0.167 0.432 5.210

Problem 4784

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

21 16 16 34 36 18 12 18 15

N.S.

1 0.76 0.76 1.62 1.71 0.86 0.57 0.86 0.71

time (sec)

N/A 0.053 0.096 0.201 0.332 0.369 0.035 0.401 0.072

Problem 4785

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 33 65 30 26 29 29 29 27

N.S.

1 1.03 2.03 0.94 0.81 0.91 0.91 0.91 0.84

time (sec)

N/A 0.555 1.427 0.567 0.498 0.375 0.290 0.434 3.622

Problem 4786

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 31 37 55 0 33 26 54 32

N.S.

1 1.07 1.28 1.90 0.00 1.14 0.90 1.86 1.10

time (sec)

N/A 0.743 0.184 1.543 0.000 0.401 0.149 0.427 3.500

Problem 4787

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F F C B A B B B

verified

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

size

35 0 155 2034 125 62 126 150 124

N.S.

1 0.00 4.43 58.11 3.57 1.77 3.60 4.29 3.54

time (sec)

N/A 5.810 7.836 40.572 0.669 0.384 1.018 0.581 3.884

Problem 4788

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 18 18 33 94 15 17 15 15

N.S.

1 0.86 0.86 1.57 4.48 0.71 0.81 0.71 0.71

time (sec)

N/A 0.419 0.059 10.926 0.551 0.364 0.088 0.410 3.617

Problem 4789

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B B F B B B B

verified

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

size

26 0 57 79 0 77 104 102 87

N.S.

1 0.00 2.19 3.04 0.00 2.96 4.00 3.92 3.35

time (sec)

N/A 1.680 0.364 0.230 0.000 0.376 0.159 0.444 3.599

Problem 4790

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 28 28 54 26 30 27 30 -1

N.S.

1 1.12 1.12 2.16 1.04 1.20 1.08 1.20 -0.04

time (sec)

N/A 0.243 0.080 1.732 0.512 0.396 0.120 0.418 0.000

Problem 4791

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 19 11 13 14 10 7 10 12

N.S.

1 1.06 0.61 0.72 0.78 0.56 0.39 0.56 0.67

time (sec)

N/A 0.012 0.013 0.092 0.271 0.367 0.024 0.408 3.463

Problem 4792

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 22 17 17 11 20 8 11 13

N.S.

1 1.38 1.06 1.06 0.69 1.25 0.50 0.69 0.81

time (sec)

N/A 0.229 0.028 0.388 0.282 0.358 0.056 0.408 3.313

Problem 4793

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 32 28 0 25 0 48 26

N.S.

1 0.00 1.14 1.00 0.00 0.89 0.00 1.71 0.93

time (sec)

N/A 2.444 2.102 0.590 0.000 0.400 0.000 0.421 3.783

Problem 4794

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A B A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 58 18 35 57 29 29 57 27

N.S.

1 2.64 0.82 1.59 2.59 1.32 1.32 2.59 1.23

time (sec)

N/A 0.204 0.055 7.921 0.278 0.353 0.123 0.410 3.367

Problem 4795

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 17 17 15 17 17 14 26 17

N.S.

1 0.89 0.89 0.79 0.89 0.89 0.74 1.37 0.89

time (sec)

N/A 0.027 0.007 0.331 0.281 0.355 0.095 0.401 0.218

Problem 4796

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 30 21 24 23 23 26 23 21

N.S.

1 1.11 0.78 0.89 0.85 0.85 0.96 0.85 0.78

time (sec)

N/A 0.069 0.062 0.239 0.286 0.375 0.038 0.427 3.396

Problem 4797

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B B B B B F

verified

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

size

31 0 52 72 68 68 63 65 -1

N.S.

1 0.00 1.68 2.32 2.19 2.19 2.03 2.10 -0.03

time (sec)

N/A 2.844 0.151 14.127 0.507 0.367 0.192 0.441 0.000

Problem 4798

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 21 28 23 23 29 19 22 21

N.S.

1 1.00 1.33 1.10 1.10 1.38 0.90 1.05 1.00

time (sec)

N/A 0.026 0.016 9.872 0.270 0.338 0.065 0.405 3.253

Problem 4799

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 24 24 24 26 31 23

N.S.

1 0.00 1.24 1.14 1.14 1.14 1.24 1.48 1.10

time (sec)

N/A 1.647 0.163 0.405 0.357 0.403 0.111 0.450 4.348

Problem 4800

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 28 27 33 25 37 27 28 26

N.S.

1 1.27 1.23 1.50 1.14 1.68 1.23 1.27 1.18

time (sec)

N/A 0.053 0.039 1.374 0.288 0.347 0.076 0.399 3.308

[next] [prev] [prev-tail] [front] [up]