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

Integrals 401 to 500

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 401

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 22 22 24 23 23 20 23 24 21

N.S.

1 1.10 1.10 1.20 1.15 1.15 1.00 1.15 1.20 1.05

time (sec)

N/A 1.248 0.615 2.961 0.153 0.077 0.111 0.296 0.181 3.124

Problem 402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 24 24 60 21 24 19 0 25 23

N.S.

1 1.00 1.00 2.50 0.88 1.00 0.79 0.00 1.04 0.96

time (sec)

N/A 0.941 0.043 2.881 0.146 0.100 0.161 0.000 0.165 3.263

Problem 403

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 113 26 48 173 48 49 0 65 29

N.S.

1 5.65 1.30 2.40 8.65 2.40 2.45 0.00 3.25 1.45

time (sec)

N/A 0.732 0.071 1.562 0.076 0.084 0.152 0.000 0.170 3.044

Problem 404

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 16 16 13 19 13 14 13

N.S.

1 0.00 0.89 0.89 0.89 0.72 1.06 0.72 0.78 0.72

time (sec)

N/A 0.000 0.434 0.423 0.138 0.087 1.312 0.121 0.174 3.183

Problem 405

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

21 20 20 19 33 18 15 18 13 13

N.S.

1 0.95 0.95 0.90 1.57 0.86 0.71 0.86 0.62 0.62

time (sec)

N/A 0.167 0.005 0.139 0.033 0.089 0.046 0.113 0.173 2.874

Problem 406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

12 12 12 12 0 11 0 0 12 11

N.S.

1 1.00 1.00 1.00 0.00 0.92 0.00 0.00 1.00 0.92

time (sec)

N/A 0.510 0.102 0.435 0.000 0.095 0.000 0.000 0.167 2.880

Problem 407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 143 66 45 75 43 37 42 44 43

N.S.

1 4.93 2.28 1.55 2.59 1.48 1.28 1.45 1.52 1.48

time (sec)

N/A 0.703 0.110 2.108 0.078 0.090 0.116 0.113 0.165 2.953

Problem 408

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

22 67 61 88 63 69 56 82 97 63

N.S.

1 3.05 2.77 4.00 2.86 3.14 2.55 3.73 4.41 2.86

time (sec)

N/A 1.430 5.056 3.200 0.060 0.084 0.201 0.131 0.170 3.186

Problem 409

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

13 0 19 16 16 16 12 17 18 17

N.S.

1 0.00 1.46 1.23 1.23 1.23 0.92 1.31 1.38 1.31

time (sec)

N/A 0.000 0.256 0.086 0.065 0.085 0.087 0.112 0.171 2.721

Problem 410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 0 21 75 30 30 0 30 30 25

N.S.

1 0.00 0.64 2.27 0.91 0.91 0.00 0.91 0.91 0.76

time (sec)

N/A 0.000 5.066 0.515 0.152 0.100 0.000 0.149 0.175 2.838

Problem 411

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

28 83 29 25 23 29 32 23 34 26

N.S.

1 2.96 1.04 0.89 0.82 1.04 1.14 0.82 1.21 0.93

time (sec)

N/A 0.274 0.021 0.151 0.124 0.085 0.142 0.118 0.171 2.837

Problem 412

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 16 16 17 16 26 12 17 27 16

N.S.

1 0.64 0.64 0.68 0.64 1.04 0.48 0.68 1.08 0.64

time (sec)

N/A 0.260 0.007 0.049 0.029 0.074 0.056 0.114 0.178 2.797

Problem 413

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

N.S.

1 0.68 0.58 0.53 0.47 0.63 0.53 0.47 0.63 0.47

time (sec)

N/A 0.157 0.001 0.034 0.029 0.067 0.085 0.113 0.186 0.014

Problem 414

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 49 33 31 49 56 26 48 60 105

N.S.

1 1.58 1.06 1.00 1.58 1.81 0.84 1.55 1.94 3.39

time (sec)

N/A 1.536 0.058 1.998 0.091 0.082 0.243 0.129 0.178 2.988

Problem 415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

15 0 15 15 14 14 0 0 18 14

N.S.

1 0.00 1.00 1.00 0.93 0.93 0.00 0.00 1.20 0.93

time (sec)

N/A 0.000 5.048 282.153 0.139 0.083 0.000 0.000 0.200 3.021

Problem 416

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

27 25 25 37 32 32 32 36 212 36

N.S.

1 0.93 0.93 1.37 1.19 1.19 1.19 1.33 7.85 1.33

time (sec)

N/A 3.995 2.932 47.408 1.735 0.101 8.754 0.166 200.022 3.217

Problem 417

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 61 51 28 28 26 29 28 57 30

N.S.

1 2.65 2.22 1.22 1.22 1.13 1.26 1.22 2.48 1.30

time (sec)

N/A 0.359 0.055 0.130 0.029 0.080 1.146 0.109 0.165 0.083

Problem 418

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

25 51 21 26 25 21 19 21 32 27

N.S.

1 2.04 0.84 1.04 1.00 0.84 0.76 0.84 1.28 1.08

time (sec)

N/A 1.052 2.495 1.082 0.100 0.081 0.110 0.120 0.176 3.174

Problem 419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 0 37 41 0 48 36 0 150 67

N.S.

1 0.00 1.16 1.28 0.00 1.50 1.12 0.00 4.69 2.09

time (sec)

N/A 0.000 0.242 3.887 0.000 0.085 1.910 0.000 200.018 3.418

Problem 420

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

30 470 76 356 526 203 267 400 329 153

N.S.

1 15.67 2.53 11.87 17.53 6.77 8.90 13.33 10.97 5.10

time (sec)

N/A 0.826 0.270 0.019 0.044 0.090 0.370 0.129 0.162 2.984

Problem 421

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

10 10 10 8 7 7 8 7 8 7

N.S.

1 1.00 1.00 0.80 0.70 0.70 0.80 0.70 0.80 0.70

time (sec)

N/A 0.133 0.000 0.071 0.026 0.066 0.049 0.105 0.163 3.480

Problem 422

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

17 17 18 17 17 16 15 20 17 16

N.S.

1 1.00 1.06 1.00 1.00 0.94 0.88 1.18 1.00 0.94

time (sec)

N/A 0.240 0.004 0.041 0.024 0.067 0.116 0.116 0.167 3.037

Problem 423

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

20 21 16 26 102 27 29 21 113 30

N.S.

1 1.05 0.80 1.30 5.10 1.35 1.45 1.05 5.65 1.50

time (sec)

N/A 0.436 0.050 0.763 0.147 0.083 0.208 0.124 0.175 3.170

Problem 424

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

9 13 9 9 15 8 7 8 9 8

N.S.

1 1.44 1.00 1.00 1.67 0.89 0.78 0.89 1.00 0.89

time (sec)

N/A 0.190 0.029 0.071 0.059 0.074 0.072 0.117 0.298 2.887

Problem 425

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

27 29 29 24 30 23 20 23 56 30

N.S.

1 1.07 1.07 0.89 1.11 0.85 0.74 0.85 2.07 1.11

time (sec)

N/A 0.510 0.015 0.369 0.146 0.080 0.121 0.117 0.230 3.362

Problem 426

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

27 38 26 24 27 39 22 26 56 21

N.S.

1 1.41 0.96 0.89 1.00 1.44 0.81 0.96 2.07 0.78

time (sec)

N/A 0.713 0.027 0.731 0.031 0.086 0.327 0.119 0.183 3.109

Problem 427

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 12 12 13 12 12 12 12 12 12

N.S.

1 0.92 0.92 1.00 0.92 0.92 0.92 0.92 0.92 0.92

time (sec)

N/A 0.376 0.003 0.067 0.026 0.081 0.174 0.121 0.167 2.824

Problem 428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 84 28 32 57 25 0 0 27 37

N.S.

1 3.00 1.00 1.14 2.04 0.89 0.00 0.00 0.96 1.32

time (sec)

N/A 2.011 0.096 31.995 0.267 0.086 0.000 0.000 0.171 3.140

Problem 429

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 69 27 28 50 31 26 0 30 0

N.S.

1 2.56 1.00 1.04 1.85 1.15 0.96 0.00 1.11 0.00

time (sec)

N/A 0.637 0.456 0.727 0.093 0.084 10.403 0.000 0.176 0.000

Problem 430

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

27 33 27 28 28 29 27 28 38 28

N.S.

1 1.22 1.00 1.04 1.04 1.07 1.00 1.04 1.41 1.04

time (sec)

N/A 0.212 0.019 0.090 0.026 0.083 0.155 0.116 0.249 2.740

Problem 431

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 29 37 34 34 39 36 36 0

N.S.

1 0.00 1.07 1.37 1.26 1.26 1.44 1.33 1.33 0.00

time (sec)

N/A 0.000 5.047 2.748 0.133 0.094 0.603 0.241 0.301 0.000

Problem 432

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 0 32 76 28 65 22 0 27 0

N.S.

1 0.00 0.94 2.24 0.82 1.91 0.65 0.00 0.79 0.00

time (sec)

N/A 0.000 0.218 0.114 0.397 0.082 22.135 0.000 1.751 0.000

Problem 433

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 14 12 12 24 24 37 9 25 9

N.S.

1 1.00 0.86 0.86 1.71 1.71 2.64 0.64 1.79 0.64

time (sec)

N/A 0.169 0.002 0.056 0.036 0.073 0.438 0.112 0.177 0.046

Problem 434

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

21 20 20 20 19 19 17 19 18 15

N.S.

1 0.95 0.95 0.95 0.90 0.90 0.81 0.90 0.86 0.71

time (sec)

N/A 0.208 0.049 0.105 0.043 0.086 0.101 0.118 0.166 0.042

Problem 435

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 28 60 41 28 41 26 57 32 0

N.S.

1 0.97 2.07 1.41 0.97 1.41 0.90 1.97 1.10 0.00

time (sec)

N/A 0.330 0.022 0.397 0.034 0.071 0.490 0.118 0.174 0.000

Problem 436

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 24 18 15 14 31 15 31 22 14

N.S.

1 1.26 0.95 0.79 0.74 1.63 0.79 1.63 1.16 0.74

time (sec)

N/A 0.191 0.006 0.086 0.047 0.096 0.093 0.117 0.169 2.765

Problem 437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 0 23 25 39 38 22 17 129 17

N.S.

1 0.00 1.05 1.14 1.77 1.73 1.00 0.77 5.86 0.77

time (sec)

N/A 0.000 0.102 0.375 0.060 0.091 0.247 0.118 0.201 3.143

Problem 438

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 29 32 24 25 25 29 25 27 26

N.S.

1 1.45 1.60 1.20 1.25 1.25 1.45 1.25 1.35 1.30

time (sec)

N/A 0.173 0.003 0.049 0.032 0.069 0.065 0.107 0.167 2.968

Problem 439

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

21 48 21 24 0 23 24 49 22 24

N.S.

1 2.29 1.00 1.14 0.00 1.10 1.14 2.33 1.05 1.14

time (sec)

N/A 0.436 0.071 0.323 0.000 0.093 0.160 0.118 0.242 3.084

Problem 440

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

19 29 21 22 34 19 27 21 23 21

N.S.

1 1.53 1.11 1.16 1.79 1.00 1.42 1.11 1.21 1.11

time (sec)

N/A 0.268 0.142 0.226 0.067 0.073 0.147 0.115 0.190 0.041

Problem 441

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 34 31 34 43 36 32 34 32

N.S.

1 0.00 1.17 1.07 1.17 1.48 1.24 1.10 1.17 1.10

time (sec)

N/A 0.000 0.395 0.314 0.140 0.083 0.415 0.122 0.207 3.092

Problem 442

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 26 27 25 22 26 24 25 26 24

N.S.

1 1.00 1.04 0.96 0.85 1.00 0.92 0.96 1.00 0.92

time (sec)

N/A 0.213 0.008 0.060 0.026 0.076 0.132 0.110 0.164 0.033

Problem 443

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

21 0 17 18 27 19 20 35 25 0

N.S.

1 0.00 0.81 0.86 1.29 0.90 0.95 1.67 1.19 0.00

time (sec)

N/A 0.000 0.170 1.984 0.153 0.083 0.611 0.177 0.226 0.000

Problem 444

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 111 21 15 45 12 24 0 15 12

N.S.

1 5.29 1.00 0.71 2.14 0.57 1.14 0.00 0.71 0.57

time (sec)

N/A 0.721 0.054 1.360 0.168 0.087 22.605 0.000 0.165 2.815

Problem 445

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

24 27 24 21 27 20 19 20 22 22

N.S.

1 1.12 1.00 0.88 1.12 0.83 0.79 0.83 0.92 0.92

time (sec)

N/A 0.219 0.070 0.194 0.075 0.088 0.167 0.111 0.185 0.043

Problem 446

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

25 0 22 22 21 30 22 34 36 34

N.S.

1 0.00 0.88 0.88 0.84 1.20 0.88 1.36 1.44 1.36

time (sec)

N/A 0.000 0.197 0.241 0.146 0.082 0.170 0.123 0.185 0.093

Problem 447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 101 36 102 237 79 82 134 123 107

N.S.

1 3.74 1.33 3.78 8.78 2.93 3.04 4.96 4.56 3.96

time (sec)

N/A 0.485 0.037 13.120 0.100 0.086 0.257 0.129 0.169 3.121

Problem 448

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 0 109 26 25 25 24 28 76 25

N.S.

1 0.00 6.06 1.44 1.39 1.39 1.33 1.56 4.22 1.39

time (sec)

N/A 0.000 0.029 0.136 0.030 0.081 0.401 0.120 0.197 0.119

Problem 449

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

N.S.

1 1.05 0.95 0.74 0.84 0.84 1.42 0.84 0.79 0.68

time (sec)

N/A 0.162 0.002 0.028 0.031 0.076 0.047 0.113 0.247 0.019

Problem 450

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

N.S.

1 1.00 0.75 0.75 0.95 0.95 0.85 0.95 1.00 1.00

time (sec)

N/A 0.200 0.035 0.065 0.036 0.080 0.118 0.110 0.207 3.167

Problem 451

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

N.S.

1 0.00 0.89 0.95 0.84 1.47 0.89 0.84 1.53 0.79

time (sec)

N/A 0.000 0.236 49.159 0.194 0.103 0.843 0.146 0.200 3.127

Problem 452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 54 26 26 0 25 24 32 28 26

N.S.

1 2.25 1.08 1.08 0.00 1.04 1.00 1.33 1.17 1.08

time (sec)

N/A 0.358 0.245 0.157 0.000 0.077 0.100 0.117 0.202 2.972

Problem 453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 1206 29 24 138 34 20 23 40 25

N.S.

1 48.24 1.16 0.96 5.52 1.36 0.80 0.92 1.60 1.00

time (sec)

N/A 2.562 0.391 0.840 0.173 0.086 0.159 0.128 0.174 3.230

Problem 454

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 33 24 18 22 18 20 22 18 16

N.S.

1 1.38 1.00 0.75 0.92 0.75 0.83 0.92 0.75 0.67

time (sec)

N/A 0.187 0.004 0.088 0.028 0.068 0.078 0.116 0.182 3.159

Problem 455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 23 42 122 122 112 277 171 0

N.S.

1 0.00 0.85 1.56 4.52 4.52 4.15 10.26 6.33 0.00

time (sec)

N/A 0.000 1.382 0.564 0.085 0.072 0.774 0.161 0.182 0.000

Problem 456

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 95 28 26 101 31 37 55 50 25

N.S.

1 3.17 0.93 0.87 3.37 1.03 1.23 1.83 1.67 0.83

time (sec)

N/A 0.540 0.131 1.403 0.150 0.082 0.646 0.120 0.189 3.361

Problem 457

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 14 12 9 8 8 8 8 12 9

N.S.

1 1.17 1.00 0.75 0.67 0.67 0.67 0.67 1.00 0.75

time (sec)

N/A 0.159 0.009 0.044 0.029 0.081 0.111 0.113 0.218 0.029

Problem 458

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 226 27 35 36 31 26 34 27 24

N.S.

1 8.37 1.00 1.30 1.33 1.15 0.96 1.26 1.00 0.89

time (sec)

N/A 1.743 0.038 0.910 0.079 0.085 0.429 0.131 0.193 3.465

Problem 459

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 127 72 59 0 62 82 67 52 64

N.S.

1 3.85 2.18 1.79 0.00 1.88 2.48 2.03 1.58 1.94

time (sec)

N/A 1.423 2.206 5.492 0.000 0.094 0.193 0.129 0.202 0.391

Problem 460

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

15 75 15 18 18 17 14 18 17 15

N.S.

1 5.00 1.00 1.20 1.20 1.13 0.93 1.20 1.13 1.00

time (sec)

N/A 0.765 0.259 0.165 0.144 0.084 0.139 0.118 0.193 3.139

Problem 461

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

15 32 48 32 30 63 31 17 133 31

N.S.

1 2.13 3.20 2.13 2.00 4.20 2.07 1.13 8.87 2.07

time (sec)

N/A 0.303 0.027 0.264 0.029 0.074 0.239 0.111 0.214 2.937

Problem 462

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 16 16 14 13 13 14 13 16 13

N.S.

1 0.89 0.89 0.78 0.72 0.72 0.78 0.72 0.89 0.72

time (sec)

N/A 0.199 0.071 0.086 0.068 0.091 0.274 0.118 0.187 0.046

Problem 463

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 0 51 377 53 53 48 57 0 52

N.S.

1 0.00 1.55 11.42 1.61 1.61 1.45 1.73 0.00 1.58

time (sec)

N/A 0.000 0.133 0.079 0.059 0.079 0.598 1.033 0.247 3.798

Problem 464

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 0 42 42 49 49 49 0 51 454

N.S.

1 0.00 1.35 1.35 1.58 1.58 1.58 0.00 1.65 14.65

time (sec)

N/A 0.000 0.096 0.097 0.165 0.091 0.535 0.000 0.214 3.658

Problem 465

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 28 26 47 95 78 80 0 169 106

N.S.

1 0.93 0.87 1.57 3.17 2.60 2.67 0.00 5.63 3.53

time (sec)

N/A 3.916 3.087 18.722 0.430 0.093 0.942 0.000 244.893 3.143

Problem 466

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 182 0 35 0 34 0 74 169 0

N.S.

1 6.07 0.00 1.17 0.00 1.13 0.00 2.47 5.63 0.00

time (sec)

N/A 18.933 0.000 0.091 0.000 0.088 0.000 0.215 200.021 0.000

Problem 467

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

14 4 4 5 4 4 3 5 4 4

N.S.

1 0.29 0.29 0.36 0.29 0.29 0.21 0.36 0.29 0.29

time (sec)

N/A 0.120 0.000 0.027 0.042 0.064 0.017 0.109 0.235 0.008

Problem 468

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 43 43 42 48 43 42 44 49 46

N.S.

1 1.87 1.87 1.83 2.09 1.87 1.83 1.91 2.13 2.00

time (sec)

N/A 2.643 4.177 11.846 0.182 0.084 0.342 0.531 0.226 3.409

Problem 469

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

31 0 32 25 24 24 22 24 29 24

N.S.

1 0.00 1.03 0.81 0.77 0.77 0.71 0.77 0.94 0.77

time (sec)

N/A 0.000 3.122 0.639 0.074 0.086 0.093 0.122 0.180 0.243

Problem 470

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 0 24 29 24 24 70 26 28 64

N.S.

1 0.00 0.73 0.88 0.73 0.73 2.12 0.79 0.85 1.94

time (sec)

N/A 0.000 0.208 1.902 0.069 0.087 0.136 0.143 0.181 3.639

Problem 471

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 25 16 18 38 35 12 0 17 14

N.S.

1 1.56 1.00 1.12 2.38 2.19 0.75 0.00 1.06 0.88

time (sec)

N/A 0.242 0.014 0.511 0.060 0.079 0.134 0.000 0.189 3.012

Problem 472

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

22 0 21 20 19 19 17 0 23 20

N.S.

1 0.00 0.95 0.91 0.86 0.86 0.77 0.00 1.05 0.91

time (sec)

N/A 0.000 0.022 0.499 0.074 0.095 0.104 0.000 0.190 2.878

Problem 473

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

21 28 26 25 0 22 34 24 24 24

N.S.

1 1.33 1.24 1.19 0.00 1.05 1.62 1.14 1.14 1.14

time (sec)

N/A 0.298 0.912 1.301 0.000 0.096 0.133 0.114 0.185 3.043

Problem 474

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 0 25 38 74 76 201 74 92 371

N.S.

1 0.00 1.19 1.81 3.52 3.62 9.57 3.52 4.38 17.67

time (sec)

N/A 0.000 1.776 1.868 0.148 0.090 0.224 0.124 0.220 3.433

Problem 475

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

28 0 34 32 33 33 29 33 59 31

N.S.

1 0.00 1.21 1.14 1.18 1.18 1.04 1.18 2.11 1.11

time (sec)

N/A 0.000 2.578 0.351 0.086 0.106 0.106 0.119 0.214 3.416

Problem 476

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 20 18 21 20 20 20 136 29 24

N.S.

1 1.05 0.95 1.11 1.05 1.05 1.05 7.16 1.53 1.26

time (sec)

N/A 0.233 0.066 0.270 0.033 0.089 0.066 0.131 0.296 2.950

Problem 477

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 0 23 63 47 51 0 43 55 26

N.S.

1 0.00 1.00 2.74 2.04 2.22 0.00 1.87 2.39 1.13

time (sec)

N/A 0.000 3.688 10.533 0.120 0.102 0.000 0.136 0.223 3.234

Problem 478

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

30 0 23 25 32 32 27 33 35 27

N.S.

1 0.00 0.77 0.83 1.07 1.07 0.90 1.10 1.17 0.90

time (sec)

N/A 0.000 1.745 0.332 0.082 0.090 0.095 0.115 0.184 3.130

Problem 479

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

21 19 18 12 13 19 8 13 12 13

N.S.

1 0.90 0.86 0.57 0.62 0.90 0.38 0.62 0.57 0.62

time (sec)

N/A 0.188 0.008 0.151 0.029 0.062 0.036 0.111 0.182 3.042

Problem 480

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 38 35 36 34 33 32 38 36 33

N.S.

1 1.46 1.35 1.38 1.31 1.27 1.23 1.46 1.38 1.27

time (sec)

N/A 0.455 0.021 0.390 0.025 0.085 1.144 0.124 0.218 3.047

Problem 481

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

N.S.

1 0.92 0.75 0.67 0.75 0.58 0.67 0.75 0.75 0.67

time (sec)

N/A 0.138 0.000 0.052 0.024 0.070 0.018 0.114 0.225 0.001

Problem 482

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

41 51 26 17 0 22 17 16 21 16

N.S.

1 1.24 0.63 0.41 0.00 0.54 0.41 0.39 0.51 0.39

time (sec)

N/A 0.240 0.017 0.404 0.000 0.104 0.087 0.126 0.268 2.896

Problem 483

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 17 38 19 21 19 19 26 15

N.S.

1 0.00 0.77 1.73 0.86 0.95 0.86 0.86 1.18 0.68

time (sec)

N/A 0.000 0.137 0.244 0.058 0.080 0.088 0.110 0.226 0.065

Problem 484

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 26 20 21 26 25 24 26 25 18

N.S.

1 1.37 1.05 1.11 1.37 1.32 1.26 1.37 1.32 0.95

time (sec)

N/A 0.187 0.002 0.115 0.027 0.065 0.051 0.109 0.191 0.030

Problem 485

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

33 0 33 31 31 38 34 0 55 138

N.S.

1 0.00 1.00 0.94 0.94 1.15 1.03 0.00 1.67 4.18

time (sec)

N/A 0.000 0.205 296.852 0.156 0.081 0.925 0.000 0.195 3.555

Problem 486

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 17 12 12 11 11 10 11 11 11

N.S.

1 0.77 0.55 0.55 0.50 0.50 0.45 0.50 0.50 0.50

time (sec)

N/A 0.141 0.000 0.073 0.024 0.071 0.019 0.114 0.207 0.025

Problem 487

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

N.S.

1 1.00 1.00 0.89 0.83 0.83 0.83 0.83 1.00 0.83

time (sec)

N/A 0.157 0.016 0.102 0.029 0.072 0.057 0.108 0.281 0.036

Problem 488

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 15 15 16 15 18 12 16 18 15

N.S.

1 0.65 0.65 0.70 0.65 0.78 0.52 0.70 0.78 0.65

time (sec)

N/A 0.215 0.004 0.133 0.028 0.068 0.038 0.113 0.230 0.029

Problem 489

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 0 29 55 60 49 48 0 74 68

N.S.

1 0.00 1.04 1.96 2.14 1.75 1.71 0.00 2.64 2.43

time (sec)

N/A 0.000 2.646 2.043 0.133 0.086 0.157 0.000 0.292 3.099

Problem 490

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

30 41 36 36 38 38 32 35 1046 35

N.S.

1 1.37 1.20 1.20 1.27 1.27 1.07 1.17 34.87 1.17

time (sec)

N/A 1.268 0.106 31.197 0.150 0.090 1.508 0.558 0.270 3.008

Problem 491

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

30 21 21 20 19 19 19 19 22 19

N.S.

1 0.70 0.70 0.67 0.63 0.63 0.63 0.63 0.73 0.63

time (sec)

N/A 0.156 0.006 0.171 0.024 0.079 0.062 0.109 0.214 0.036

Problem 492

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

N.S.

1 0.23 0.23 0.27 0.23 0.23 0.14 0.23 0.23 0.23

time (sec)

N/A 0.128 0.000 0.030 0.025 0.063 0.019 0.114 0.272 0.008

Problem 493

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 34 34 151 0 38 0 0 34 33

N.S.

1 1.03 1.03 4.58 0.00 1.15 0.00 0.00 1.03 1.00

time (sec)

N/A 3.839 0.182 0.543 0.000 0.088 0.000 0.000 0.806 3.564

Problem 494

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

29 0 29 30 34 29 24 29 29 0

N.S.

1 0.00 1.00 1.03 1.17 1.00 0.83 1.00 1.00 0.00

time (sec)

N/A 0.000 0.058 141.436 0.097 0.085 0.155 0.403 0.182 0.000

Problem 495

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 0 22 26 0 25 24 375 28 28

N.S.

1 0.00 1.00 1.18 0.00 1.14 1.09 17.05 1.27 1.27

time (sec)

N/A 0.000 3.036 0.541 0.000 0.092 0.218 0.233 0.163 0.130

Problem 496

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

23 50 33 30 30 30 27 30 26 23

N.S.

1 2.17 1.43 1.30 1.30 1.30 1.17 1.30 1.13 1.00

time (sec)

N/A 0.237 0.011 0.354 0.028 0.084 0.053 0.114 0.162 0.036

Problem 497

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 13 13 11 10 10 10 10 11 10

N.S.

1 1.00 1.00 0.85 0.77 0.77 0.77 0.77 0.85 0.77

time (sec)

N/A 0.155 0.003 0.074 0.027 0.087 0.035 0.113 0.188 2.843

Problem 498

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

29 107 33 28 170 32 26 31 82 25

N.S.

1 3.69 1.14 0.97 5.86 1.10 0.90 1.07 2.83 0.86

time (sec)

N/A 0.906 0.151 3.246 0.603 0.082 0.102 0.129 0.160 3.273

Problem 499

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

20 0 18 17 16 16 17 0 18 0

N.S.

1 0.00 0.90 0.85 0.80 0.80 0.85 0.00 0.90 0.00

time (sec)

N/A 0.000 0.879 6.553 0.078 0.086 0.161 0.000 0.188 0.000

Problem 500

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

15 10 10 11 10 10 8 10 10 10

N.S.

1 0.67 0.67 0.73 0.67 0.67 0.53 0.67 0.67 0.67

time (sec)

N/A 0.151 0.002 0.063 0.024 0.076 0.039 0.113 0.196 2.974

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