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

Integrals 601 to 700

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 601

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 49 24 21 0 29 0 44 83 19

N.S.

1 2.04 1.00 0.88 0.00 1.21 0.00 1.83 3.46 0.79

time (sec)

N/A 3.645 1.174 0.319 0.000 0.089 0.000 0.125 200.022 2.577

Problem 602

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 25 21 75 0 54 65 0 104 0

N.S.

1 1.09 0.91 3.26 0.00 2.35 2.83 0.00 4.52 0.00

time (sec)

N/A 0.677 0.036 2.828 0.000 0.086 0.912 0.000 0.196 0.000

Problem 603

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

20 16 16 17 16 18 14 16 18 16

N.S.

1 0.80 0.80 0.85 0.80 0.90 0.70 0.80 0.90 0.80

time (sec)

N/A 0.172 0.001 0.050 0.043 0.070 0.081 0.112 0.181 0.040

Problem 604

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A B A B B B B B B B

verified

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

size

19 62 17 39 63 34 34 42 42 14

N.S.

1 3.26 0.89 2.05 3.32 1.79 1.79 2.21 2.21 0.74

time (sec)

N/A 0.256 1.228 0.239 0.036 0.093 0.177 0.111 0.175 0.120

Problem 605

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F A A A A A A B B

verified

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

size

16 0 14 16 14 14 12 14 16 14

N.S.

1 0.00 0.88 1.00 0.88 0.88 0.75 0.88 1.00 0.88

time (sec)

N/A 0.000 0.053 0.287 0.077 0.083 0.155 0.119 0.176 2.753

Problem 606

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

24 23 23 22 21 35 24 37 23 21

N.S.

1 0.96 0.96 0.92 0.88 1.46 1.00 1.54 0.96 0.88

time (sec)

N/A 0.201 0.014 0.063 0.033 0.084 0.282 0.119 0.188 2.595

Problem 607

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B B B B B B

verified

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

size

27 49 43 32 47 65 61 59 34 46

N.S.

1 1.81 1.59 1.19 1.74 2.41 2.26 2.19 1.26 1.70

time (sec)

N/A 0.330 0.015 0.259 0.027 0.079 0.506 0.115 0.180 0.200

Problem 608

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F F A A A A F B B

verified

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

size

25 0 0 22 41 21 17 0 35 29

N.S.

1 0.00 0.00 0.88 1.64 0.84 0.68 0.00 1.40 1.16

time (sec)

N/A 0.000 0.000 1.956 0.243 0.089 1.213 0.000 0.182 2.601

Problem 609

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A C A A A A A A B B

verified

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

size

27 618 30 33 36 34 34 40 37 37

N.S.

1 22.89 1.11 1.22 1.33 1.26 1.26 1.48 1.37 1.37

time (sec)

N/A 1.308 2.540 0.385 0.083 0.081 0.123 0.134 0.178 2.956

Problem 610

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 0 85 79 147 148 121 181 180 0

N.S.

1 0.00 2.93 2.72 5.07 5.10 4.17 6.24 6.21 0.00

time (sec)

N/A 0.000 0.179 0.207 0.100 0.089 0.425 0.167 0.169 0.000

Problem 611

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A A B B

verified

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

size

21 16 16 16 41 20 14 15 24 15

N.S.

1 0.76 0.76 0.76 1.95 0.95 0.67 0.71 1.14 0.71

time (sec)

N/A 0.311 0.057 0.121 0.038 0.076 0.100 0.106 0.175 2.429

Problem 612

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

18 23 27 20 21 21 22 21 23 17

N.S.

1 1.28 1.50 1.11 1.17 1.17 1.22 1.17 1.28 0.94

time (sec)

N/A 0.262 0.008 0.675 0.031 0.072 0.174 0.121 0.192 0.101

Problem 613

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

19 13 12 10 9 9 10 9 12 9

N.S.

1 0.68 0.63 0.53 0.47 0.47 0.53 0.47 0.63 0.47

time (sec)

N/A 0.135 0.001 0.032 0.042 0.069 0.041 0.117 0.182 2.460

Problem 614

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B B B B B

verified

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

size

29 55 52 45 43 77 42 85 91 44

N.S.

1 1.90 1.79 1.55 1.48 2.66 1.45 2.93 3.14 1.52

time (sec)

N/A 1.133 1.647 2.167 0.084 0.080 0.121 0.122 0.186 2.504

Problem 615

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 38 20 20 19 23 14 19 23 0

N.S.

1 1.81 0.95 0.95 0.90 1.10 0.67 0.90 1.10 0.00

time (sec)

N/A 1.204 0.306 0.698 0.148 0.102 0.193 0.118 0.175 0.000

Problem 616

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

23 26 26 23 26 26 24 29 35 22

N.S.

1 1.13 1.13 1.00 1.13 1.13 1.04 1.26 1.52 0.96

time (sec)

N/A 0.450 0.008 0.045 0.039 0.069 0.076 0.116 0.174 2.422

Problem 617

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A A A A A B B

verified

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

size

22 22 59 19 36 33 14 38 31 18

N.S.

1 1.00 2.68 0.86 1.64 1.50 0.64 1.73 1.41 0.82

time (sec)

N/A 0.881 0.066 0.332 0.185 0.093 0.130 0.134 0.189 0.139

Problem 618

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A A A B B

verified

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

size

25 36 23 19 0 29 15 32 29 29

N.S.

1 1.44 0.92 0.76 0.00 1.16 0.60 1.28 1.16 1.16

time (sec)

N/A 0.864 0.023 0.255 0.000 0.095 0.173 0.118 0.173 2.440

Problem 619

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 0 28 27 31 25 26 31 24 0

N.S.

1 0.00 0.82 0.79 0.91 0.74 0.76 0.91 0.71 0.00

time (sec)

N/A 0.000 0.403 24.986 0.165 0.081 0.179 0.830 0.185 0.000

Problem 620

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A B B B

verified

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

size

20 20 20 19 21 22 20 48 22 2430

N.S.

1 1.00 1.00 0.95 1.05 1.10 1.00 2.40 1.10 121.50

time (sec)

N/A 0.247 0.010 0.105 0.039 0.083 0.619 0.118 0.177 6.823

Problem 621

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A C A A A B B

verified

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

size

28 46 21 17 267 16 19 40 22 16

N.S.

1 1.64 0.75 0.61 9.54 0.57 0.68 1.43 0.79 0.57

time (sec)

N/A 0.237 0.438 0.168 0.215 0.080 0.088 0.118 0.173 0.128

Problem 622

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F A A B A A A B B

verified

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

size

27 0 53 23 50 24 20 29 39 30

N.S.

1 0.00 1.96 0.85 1.85 0.89 0.74 1.07 1.44 1.11

time (sec)

N/A 0.000 9.284 0.310 0.102 0.082 0.271 0.124 0.176 2.549

Problem 623

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F A A B A A B B B

verified

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

size

25 0 30 32 89 33 26 64 49 73

N.S.

1 0.00 1.20 1.28 3.56 1.32 1.04 2.56 1.96 2.92

time (sec)

N/A 0.000 5.208 1.441 0.246 0.105 0.649 0.193 0.178 2.789

Problem 624

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A B A A C A A B B B

verified

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

size

19 50 19 29 45 29 29 44 32 16

N.S.

1 2.63 1.00 1.53 2.37 1.53 1.53 2.32 1.68 0.84

time (sec)

N/A 0.567 0.151 0.105 0.076 0.096 0.184 0.111 0.169 2.441

Problem 625

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

12 10 10 9 10 10 8 11 34 8

N.S.

1 0.83 0.83 0.75 0.83 0.83 0.67 0.92 2.83 0.67

time (sec)

N/A 0.236 0.004 0.059 0.033 0.071 0.089 0.132 0.171 0.053

Problem 626

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B B A B B B

verified

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

size

19 21 17 17 38 38 17 44 51 27

N.S.

1 1.11 0.89 0.89 2.00 2.00 0.89 2.32 2.68 1.42

time (sec)

N/A 1.142 0.825 0.145 0.102 0.083 0.210 0.113 0.175 2.536

Problem 627

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F A A A A A A F B

verified

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

size

20 0 22 21 29 29 20 21 110 20

N.S.

1 0.00 1.10 1.05 1.45 1.45 1.00 1.05 5.50 1.00

time (sec)

N/A 0.000 0.466 0.086 0.060 0.079 0.273 0.117 0.174 0.082

Problem 628

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A B A A A A A A B B

verified

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

size

21 69 20 21 22 20 15 20 18 17

N.S.

1 3.29 0.95 1.00 1.05 0.95 0.71 0.95 0.86 0.81

time (sec)

N/A 1.637 0.198 0.266 0.168 0.080 15.792 0.128 0.180 2.545

Problem 629

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F B B B B B B B B

verified

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

size

28 0 72 69 72 72 116 130 56 122

N.S.

1 0.00 2.57 2.46 2.57 2.57 4.14 4.64 2.00 4.36

time (sec)

N/A 0.000 0.041 4.016 0.078 0.092 0.251 0.132 0.178 2.751

Problem 630

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A B A A B A A A B B

verified

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

size

28 60 46 47 50 41 42 47 52 41

N.S.

1 2.14 1.64 1.68 1.79 1.46 1.50 1.68 1.86 1.46

time (sec)

N/A 0.516 0.058 1.195 0.063 0.097 0.331 0.124 0.177 2.574

Problem 631

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A A B B

verified

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

size

23 39 34 32 72 33 34 33 32 37

N.S.

1 1.70 1.48 1.39 3.13 1.43 1.48 1.43 1.39 1.61

time (sec)

N/A 1.249 0.047 0.483 0.091 0.091 0.446 0.116 0.182 2.497

Problem 632

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

23 21 21 18 31 26 17 26 21 17

N.S.

1 0.91 0.91 0.78 1.35 1.13 0.74 1.13 0.91 0.74

time (sec)

N/A 0.754 0.331 0.269 0.180 0.085 0.290 0.115 0.190 2.575

Problem 633

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

12 6 6 5 6 6 5 7 6 4

N.S.

1 0.50 0.50 0.42 0.50 0.50 0.42 0.58 0.50 0.33

time (sec)

N/A 0.213 0.001 0.050 0.040 0.071 0.020 0.110 0.184 0.061

Problem 634

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A B A A B A A A B B

verified

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

size

23 59 24 28 142 30 29 30 30 21

N.S.

1 2.57 1.04 1.22 6.17 1.30 1.26 1.30 1.30 0.91

time (sec)

N/A 0.522 0.161 0.068 0.048 0.070 0.053 0.116 0.176 2.363

Problem 635

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

35 49 49 680 80 45 41 7627 45 0

N.S.

1 1.40 1.40 19.43 2.29 1.29 1.17 217.91 1.29 0.00

time (sec)

N/A 3.318 0.181 0.087 0.386 0.095 0.360 0.661 0.359 0.000

Problem 636

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A B B B

verified

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

size

20 20 20 22 27 27 19 54 42 18

N.S.

1 1.00 1.00 1.10 1.35 1.35 0.95 2.70 2.10 0.90

time (sec)

N/A 0.747 0.040 0.370 0.042 0.091 0.132 0.123 0.175 2.404

Problem 637

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A C C A B A A A B B

verified

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

size

31 2189 380 28 143 40 20 24 41 34

N.S.

1 70.61 12.26 0.90 4.61 1.29 0.65 0.77 1.32 1.10

time (sec)

N/A 6.324 0.667 1.967 0.303 0.089 0.114 0.123 0.180 2.508

Problem 638

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F A A A A A A B B

verified

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

size

29 0 24 23 42 42 19 42 39 22

N.S.

1 0.00 0.83 0.79 1.45 1.45 0.66 1.45 1.34 0.76

time (sec)

N/A 0.000 2.920 1.018 0.097 0.086 0.091 0.182 0.180 2.512

Problem 639

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F A A B A A F B B

verified

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

size

24 0 21 29 53 28 29 0 23 55

N.S.

1 0.00 0.88 1.21 2.21 1.17 1.21 0.00 0.96 2.29

time (sec)

N/A 0.000 1.772 0.726 0.192 0.080 0.212 0.000 0.172 2.769

Problem 640

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 0 30 74 138 53 0 0 68 64

N.S.

1 0.00 0.97 2.39 4.45 1.71 0.00 0.00 2.19 2.06

time (sec)

N/A 0.000 0.307 0.089 1.669 0.088 0.000 0.000 0.367 3.432

Problem 641

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 0 32 39 64 62 32 64 65 0

N.S.

1 0.00 1.03 1.26 2.06 2.00 1.03 2.06 2.10 0.00

time (sec)

N/A 0.000 7.207 1.760 0.143 0.089 0.215 0.200 0.186 0.000

Problem 642

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A B B B

verified

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

size

25 32 29 28 35 34 27 43 29 27

N.S.

1 1.28 1.16 1.12 1.40 1.36 1.08 1.72 1.16 1.08

time (sec)

N/A 0.677 0.098 0.230 0.151 0.086 0.070 0.121 0.195 2.610

Problem 643

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

23 27 27 26 25 25 19 26 27 26

N.S.

1 1.17 1.17 1.13 1.09 1.09 0.83 1.13 1.17 1.13

time (sec)

N/A 0.232 0.014 0.264 0.032 0.089 0.072 0.108 0.193 2.442

Problem 644

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

13 11 11 9 8 8 7 8 8 8

N.S.

1 0.85 0.85 0.69 0.62 0.62 0.54 0.62 0.62 0.62

time (sec)

N/A 0.186 0.010 0.032 0.031 0.069 0.039 0.111 0.191 2.466

Problem 645

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

18 15 13 14 13 21 10 14 22 13

N.S.

1 0.83 0.72 0.78 0.72 1.17 0.56 0.78 1.22 0.72

time (sec)

N/A 0.315 0.006 0.040 0.031 0.070 0.042 0.113 0.203 2.410

Problem 646

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F A A A A A A B B

verified

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

size

22 0 22 25 22 25 24 22 27 22

N.S.

1 0.00 1.00 1.14 1.00 1.14 1.09 1.00 1.23 1.00

time (sec)

N/A 0.000 0.060 16.481 0.112 0.085 3.447 0.223 0.202 3.036

Problem 647

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 0 40 0 42 35 29 0 102 60

N.S.

1 0.00 1.38 0.00 1.45 1.21 1.00 0.00 3.52 2.07

time (sec)

N/A 0.000 0.270 180.000 0.266 0.100 0.299 0.000 0.211 3.115

Problem 648

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F A A F A A A B B

verified

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

size

27 0 26 36 0 30 26 33 47 24

N.S.

1 0.00 0.96 1.33 0.00 1.11 0.96 1.22 1.74 0.89

time (sec)

N/A 0.000 0.424 0.486 0.000 0.110 0.167 0.129 0.173 2.530

Problem 649

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A A B B

verified

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

size

27 38 25 32 55 52 19 25 72 25

N.S.

1 1.41 0.93 1.19 2.04 1.93 0.70 0.93 2.67 0.93

time (sec)

N/A 0.766 0.031 1.069 0.166 0.102 0.144 0.178 0.179 2.815

Problem 650

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A A A B B

verified

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

size

14 14 14 15 51 18 10 14 19 14

N.S.

1 1.00 1.00 1.07 3.64 1.29 0.71 1.00 1.36 1.00

time (sec)

N/A 0.393 0.017 0.227 0.169 0.079 0.064 0.119 0.188 2.587

Problem 651

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

26 16 16 17 16 16 17 17 16 18

N.S.

1 0.62 0.62 0.65 0.62 0.62 0.65 0.65 0.62 0.69

time (sec)

N/A 0.252 0.015 0.056 0.032 0.082 0.056 0.116 0.169 2.779

Problem 652

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A B A A F A A B B B

verified

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

size

20 43 20 41 0 22 29 44 25 19

N.S.

1 2.15 1.00 2.05 0.00 1.10 1.45 2.20 1.25 0.95

time (sec)

N/A 1.147 0.128 0.344 0.000 0.084 0.111 0.116 0.176 2.700

Problem 653

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

25 21 21 19 21 21 19 21 29 28

N.S.

1 0.84 0.84 0.76 0.84 0.84 0.76 0.84 1.16 1.12

time (sec)

N/A 1.081 0.121 0.437 0.114 0.079 0.069 0.123 0.177 2.724

Problem 654

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 0 44 41 74 25 49 48 27 0

N.S.

1 0.00 2.00 1.86 3.36 1.14 2.23 2.18 1.23 0.00

time (sec)

N/A 0.000 0.588 2.924 0.195 0.085 0.758 0.145 0.183 0.000

Problem 655

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A B B B B B B B B B

verified

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

size

23 135 164 131 205 115 138 130 126 38

N.S.

1 5.87 7.13 5.70 8.91 5.00 6.00 5.65 5.48 1.65

time (sec)

N/A 0.575 0.031 9.273 0.040 0.087 0.147 0.119 0.180 3.062

Problem 656

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F A A A A A A B B

verified

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

size

29 0 32 21 22 22 20 22 23 22

N.S.

1 0.00 1.10 0.72 0.76 0.76 0.69 0.76 0.79 0.76

time (sec)

N/A 0.000 0.298 0.356 0.089 0.109 0.142 0.121 0.186 2.727

Problem 657

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 62 19 20 19 29 0 0 22 19

N.S.

1 2.95 0.90 0.95 0.90 1.38 0.00 0.00 1.05 0.90

time (sec)

N/A 0.327 0.077 0.427 0.071 0.101 0.000 0.000 0.223 2.659

Problem 658

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F A B B B B B B B

verified

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

size

27 0 32 81 76 70 95 78 86 63

N.S.

1 0.00 1.19 3.00 2.81 2.59 3.52 2.89 3.19 2.33

time (sec)

N/A 0.000 0.175 1.495 0.046 0.114 11.892 0.269 0.190 3.086

Problem 659

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

19 14 15 12 12 12 10 13 15 11

N.S.

1 0.74 0.79 0.63 0.63 0.63 0.53 0.68 0.79 0.58

time (sec)

N/A 0.197 0.004 0.124 0.030 0.097 0.069 0.117 0.173 0.110

Problem 660

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F A A B A A B B B

verified

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

size

21 0 36 20 39 35 17 607 63 19

N.S.

1 0.00 1.71 0.95 1.86 1.67 0.81 28.90 3.00 0.90

time (sec)

N/A 0.000 0.120 8.027 0.108 0.096 0.117 0.213 0.190 2.746

Problem 661

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A F B

verified

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

size

26 25 24 27 18 24 20 22 135 22

N.S.

1 0.96 0.92 1.04 0.69 0.92 0.77 0.85 5.19 0.85

time (sec)

N/A 0.410 0.014 0.242 0.068 0.085 0.117 0.154 0.212 2.956

Problem 662

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 24 23 22 22 20 22 24 0

N.S.

1 0.00 0.89 0.85 0.81 0.81 0.74 0.81 0.89 0.00

time (sec)

N/A 0.000 0.219 0.356 0.102 0.098 0.138 0.137 0.193 0.000

Problem 663

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A B A A F B B B B B

verified

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

size

22 104 25 33 0 45 39 52 38 21

N.S.

1 4.73 1.14 1.50 0.00 2.05 1.77 2.36 1.73 0.95

time (sec)

N/A 0.665 1.042 0.648 0.000 0.115 0.195 0.119 0.181 2.723

Problem 664

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A C A B F B B B B B

verified

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

size

20 203 23 49 0 62 82 51 66 64

N.S.

1 10.15 1.15 2.45 0.00 3.10 4.10 2.55 3.30 3.20

time (sec)

N/A 2.372 5.059 381.935 0.000 0.101 0.181 0.125 0.186 2.809

Problem 665

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F A A A A A A B B

verified

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

size

18 0 16 14 13 24 14 13 16 13

N.S.

1 0.00 0.89 0.78 0.72 1.33 0.78 0.72 0.89 0.72

time (sec)

N/A 0.000 0.029 0.038 0.048 0.082 0.078 0.129 0.177 0.074

Problem 666

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B A A A A A F B

verified

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

size

24 31 52 18 19 19 17 21 100 19

N.S.

1 1.29 2.17 0.75 0.79 0.79 0.71 0.88 4.17 0.79

time (sec)

N/A 0.360 0.062 0.041 0.062 0.094 0.061 0.119 0.185 2.542

Problem 667

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F F A B A A A B B

verified

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

size

26 0 0 31 92 28 24 30 103 46

N.S.

1 0.00 0.00 1.19 3.54 1.08 0.92 1.15 3.96 1.77

time (sec)

N/A 0.000 0.000 0.780 0.161 0.093 0.565 0.236 0.194 3.077

Problem 668

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

18 13 10 14 12 13 14 14 13 13

N.S.

1 0.72 0.56 0.78 0.67 0.72 0.78 0.78 0.72 0.72

time (sec)

N/A 0.292 0.024 0.088 0.161 0.081 0.085 0.113 0.184 2.722

Problem 669

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

29 26 23 25 24 24 24 24 24 22

N.S.

1 0.90 0.79 0.86 0.83 0.83 0.83 0.83 0.83 0.76

time (sec)

N/A 0.174 0.022 0.066 0.052 0.100 0.080 0.116 0.190 2.442

Problem 670

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F F A B B B F B B

verified

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

size

25 0 0 42 46 43 44 0 39 41

N.S.

1 0.00 0.00 1.68 1.84 1.72 1.76 0.00 1.56 1.64

time (sec)

N/A 0.000 0.000 0.672 0.154 0.097 0.165 0.000 0.188 2.812

Problem 671

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 699 146 115 0 44 153 49 50 0

N.S.

1 20.56 4.29 3.38 0.00 1.29 4.50 1.44 1.47 0.00

time (sec)

N/A 3.312 0.217 0.093 0.000 0.099 0.593 0.131 0.188 0.000

Problem 672

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B B A A B B B

verified

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

size

22 19 19 43 73 21 19 72 19 19

N.S.

1 0.86 0.86 1.95 3.32 0.95 0.86 3.27 0.86 0.86

time (sec)

N/A 0.664 0.026 0.530 0.083 0.089 0.234 0.135 0.188 3.520

Problem 673

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A C A A A B B

verified

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

size

12 6 6 7 12 6 3 6 6 6

N.S.

1 0.50 0.50 0.58 1.00 0.50 0.25 0.50 0.50 0.50

time (sec)

N/A 0.171 0.002 0.017 0.055 0.089 0.037 0.108 0.190 2.517

Problem 674

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 77 25 27 40 34 44 43 44 0

N.S.

1 3.08 1.00 1.08 1.60 1.36 1.76 1.72 1.76 0.00

time (sec)

N/A 0.393 0.144 0.188 0.247 0.086 0.116 0.121 0.272 0.000

Problem 675

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

34 39 41 33 37 43 32 37 37 75

N.S.

1 1.15 1.21 0.97 1.09 1.26 0.94 1.09 1.09 2.21

time (sec)

N/A 0.368 0.017 0.096 0.025 0.078 0.434 0.111 0.185 0.117

Problem 676

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F A A A A A A B B

verified

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

size

32 0 22 37 22 35 19 23 35 21

N.S.

1 0.00 0.69 1.16 0.69 1.09 0.59 0.72 1.09 0.66

time (sec)

N/A 0.000 0.069 0.625 0.074 0.094 0.073 0.154 0.184 2.689

Problem 677

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A C A A B B B

verified

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

size

22 30 24 22 239 23 22 80 24 23

N.S.

1 1.36 1.09 1.00 10.86 1.05 1.00 3.64 1.09 1.05

time (sec)

N/A 0.514 0.310 0.282 0.162 0.084 0.362 0.125 0.190 0.105

Problem 678

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 36 46 51 44 29 51 65 0

N.S.

1 0.00 1.33 1.70 1.89 1.63 1.07 1.89 2.41 0.00

time (sec)

N/A 0.000 1.905 0.815 0.098 0.094 0.194 0.147 0.188 0.000

Problem 679

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 0 36 39 36 39 36 58 60 0

N.S.

1 0.00 1.09 1.18 1.09 1.18 1.09 1.76 1.82 0.00

time (sec)

N/A 0.000 0.089 0.462 0.087 0.086 0.166 0.117 0.180 0.000

Problem 680

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 23 0 27 23 0 23 196 20

N.S.

1 0.00 0.88 0.00 1.04 0.88 0.00 0.88 7.54 0.77

time (sec)

N/A 0.000 0.047 0.000 0.215 0.097 0.000 0.115 0.233 2.941

Problem 681

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A F B B

verified

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

size

31 47 50 41 43 43 42 0 85 49

N.S.

1 1.52 1.61 1.32 1.39 1.39 1.35 0.00 2.74 1.58

time (sec)

N/A 1.587 1.294 0.518 0.224 0.099 0.187 0.000 0.198 2.905

Problem 682

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

4 2 2 3 2 2 2 3 2 2

N.S.

1 0.50 0.50 0.75 0.50 0.50 0.50 0.75 0.50 0.50

time (sec)

N/A 0.205 0.000 0.011 0.022 0.120 0.035 0.111 0.185 0.008

Problem 683

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 0 24 24 23 23 24 0 141 23

N.S.

1 0.00 1.04 1.04 1.00 1.00 1.04 0.00 6.13 1.00

time (sec)

N/A 0.000 0.097 0.018 0.165 0.094 54.450 0.000 200.019 3.208

Problem 684

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 0 24 22 21 21 20 0 22 0

N.S.

1 0.00 1.04 0.96 0.91 0.91 0.87 0.00 0.96 0.00

time (sec)

N/A 0.000 0.137 1.315 0.098 0.083 0.272 0.000 0.161 0.000

Problem 685

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

31 59 32 33 33 38 27 33 38 37

N.S.

1 1.90 1.03 1.06 1.06 1.23 0.87 1.06 1.23 1.19

time (sec)

N/A 0.792 1.119 0.283 0.077 0.096 0.073 0.116 0.169 0.120

Problem 686

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 60 36 58 0 67 78 76 83 0

N.S.

1 2.31 1.38 2.23 0.00 2.58 3.00 2.92 3.19 0.00

time (sec)

N/A 0.388 0.099 3.152 0.000 0.084 0.176 0.118 0.168 0.000

Problem 687

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

31 30 30 32 26 31 29 26 58 28

N.S.

1 0.97 0.97 1.03 0.84 1.00 0.94 0.84 1.87 0.90

time (sec)

N/A 0.488 0.257 0.355 0.203 0.096 0.138 0.143 2.879 2.770

Problem 688

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 0 52 23 26 26 20 28 25 0

N.S.

1 0.00 2.17 0.96 1.08 1.08 0.83 1.17 1.04 0.00

time (sec)

N/A 0.000 0.791 5.046 0.228 0.088 0.419 0.279 0.174 0.000

Problem 689

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A C C F B B

verified

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

size

19 19 19 17 16 57 34 0 18 21

N.S.

1 1.00 1.00 0.89 0.84 3.00 1.79 0.00 0.95 1.11

time (sec)

N/A 0.210 0.009 0.217 0.039 0.081 0.221 0.000 0.177 2.880

Problem 690

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A B A A B A A A B B

verified

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

size

19 112 19 31 41 34 31 34 34 61

N.S.

1 5.89 1.00 1.63 2.16 1.79 1.63 1.79 1.79 3.21

time (sec)

N/A 0.705 0.474 0.214 0.220 0.092 0.132 0.156 0.169 2.824

Problem 691

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 386 33 31 0 30 0 0 35 32

N.S.

1 11.70 1.00 0.94 0.00 0.91 0.00 0.00 1.06 0.97

time (sec)

N/A 5.735 0.446 0.019 0.000 0.112 0.000 0.000 0.292 3.902

Problem 692

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F A A A A A A B B

verified

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

size

26 0 24 37 36 39 36 44 58 147

N.S.

1 0.00 0.92 1.42 1.38 1.50 1.38 1.69 2.23 5.65

time (sec)

N/A 0.000 0.172 3.498 0.089 0.087 0.168 0.182 0.191 3.185

Problem 693

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A A A B B

verified

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

size

25 42 27 26 0 28 31 39 39 30

N.S.

1 1.68 1.08 1.04 0.00 1.12 1.24 1.56 1.56 1.20

time (sec)

N/A 0.727 0.734 0.641 0.000 0.097 0.103 0.118 0.166 2.564

Problem 694

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F A A A A A A B B

verified

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

size

19 0 15 25 16 24 24 24 24 24

N.S.

1 0.00 0.79 1.32 0.84 1.26 1.26 1.26 1.26 1.26

time (sec)

N/A 0.000 0.136 0.117 0.158 0.080 0.112 0.142 0.171 3.042

Problem 695

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 0 22 22 202 200 270 0 311 0

N.S.

1 0.00 1.00 1.00 9.18 9.09 12.27 0.00 14.14 0.00

time (sec)

N/A 0.000 0.302 10.666 1.179 0.094 0.477 0.000 0.283 0.000

Problem 696

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F A A A A A F B B

verified

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

size

13 0 12 16 14 14 17 0 18 15

N.S.

1 0.00 0.92 1.23 1.08 1.08 1.31 0.00 1.38 1.15

time (sec)

N/A 0.000 0.061 0.242 0.063 0.084 0.226 0.000 0.172 2.734

Problem 697

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A F F A B A A F B B

verified

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

size

33 0 0 49 86 47 41 0 53 47

N.S.

1 0.00 0.00 1.48 2.61 1.42 1.24 0.00 1.61 1.42

time (sec)

N/A 0.000 0.000 6.567 0.238 0.087 1.365 0.000 0.184 4.178

Problem 698

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

24 37 22 22 31 21 20 21 22 21

N.S.

1 1.54 0.92 0.92 1.29 0.88 0.83 0.88 0.92 0.88

time (sec)

N/A 0.805 0.040 0.219 0.037 0.088 0.141 0.130 0.172 2.575

Problem 699

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

22 21 21 18 17 24 19 17 24 17

N.S.

1 0.95 0.95 0.82 0.77 1.09 0.86 0.77 1.09 0.77

time (sec)

N/A 0.191 0.004 0.095 0.032 0.074 0.067 0.107 0.171 2.457

Problem 700

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A C A A A B B

verified

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

size

31 58 30 29 44 34 29 35 42 28

N.S.

1 1.87 0.97 0.94 1.42 1.10 0.94 1.13 1.35 0.90

time (sec)

N/A 0.313 0.040 0.345 0.073 0.088 0.121 0.118 0.175 2.565

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