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

Integrals 801 to 900

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 801

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

27 57 34 44 54 38 34 50 82 51

N.S.

1 2.11 1.26 1.63 2.00 1.41 1.26 1.85 3.04 1.89

time (sec)

N/A 0.208 0.082 0.806 0.108 0.087 0.076 0.118 0.187 0.106

Problem 802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 33 216 36 34 0 36 37 0

N.S.

1 0.00 1.32 8.64 1.44 1.36 0.00 1.44 1.48 0.00

time (sec)

N/A 0.000 0.149 0.407 0.237 0.090 0.000 18.043 0.228 0.000

Problem 803

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 16 13 13 51 15 15 15 32 17

N.S.

1 0.84 0.68 0.68 2.68 0.79 0.79 0.79 1.68 0.89

time (sec)

N/A 0.192 0.015 0.231 0.082 0.101 0.054 0.113 0.193 0.043

Problem 804

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 36 28 31 36 30 29 32 33 25

N.S.

1 1.20 0.93 1.03 1.20 1.00 0.97 1.07 1.10 0.83

time (sec)

N/A 0.230 0.030 0.747 0.042 0.084 0.097 0.115 0.182 2.902

Problem 805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 105 19 38 116 48 53 89 40 18

N.S.

1 5.00 0.90 1.81 5.52 2.29 2.52 4.24 1.90 0.86

time (sec)

N/A 0.265 0.034 1.218 0.027 0.075 0.091 0.117 0.186 3.253

Problem 806

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

N.S.

1 1.67 0.90 0.90 3.00 0.86 0.81 0.86 0.86 0.86

time (sec)

N/A 0.250 0.038 0.108 0.028 0.097 0.042 0.110 0.187 0.030

Problem 807

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

25 0 23 23 46 46 49 46 54 46

N.S.

1 0.00 0.92 0.92 1.84 1.84 1.96 1.84 2.16 1.84

time (sec)

N/A 0.000 0.269 145.377 0.121 0.093 0.126 0.129 0.222 3.205

Problem 808

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

24 0 25 21 33 20 17 20 20 20

N.S.

1 0.00 1.04 0.88 1.38 0.83 0.71 0.83 0.83 0.83

time (sec)

N/A 0.000 0.170 2.212 0.158 0.075 0.062 0.135 0.189 3.012

Problem 809

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 0 21 18 20 17 0 20 19 17

N.S.

1 0.00 0.91 0.78 0.87 0.74 0.00 0.87 0.83 0.74

time (sec)

N/A 0.000 5.064 2.000 0.183 0.091 0.000 0.145 0.192 0.169

Problem 810

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

23 0 26 33 32 33 31 33 35 33

N.S.

1 0.00 1.13 1.43 1.39 1.43 1.35 1.43 1.52 1.43

time (sec)

N/A 0.000 0.086 4.708 0.088 0.094 0.374 0.201 0.194 122.096

Problem 811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 0 77 55 88 64 61 71 1060 0

N.S.

1 0.00 2.48 1.77 2.84 2.06 1.97 2.29 34.19 0.00

time (sec)

N/A 0.000 0.147 0.615 0.175 0.100 0.633 0.203 0.236 0.000

Problem 812

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 79 31 23 21 22 19 21 31 23

N.S.

1 2.82 1.11 0.82 0.75 0.79 0.68 0.75 1.11 0.82

time (sec)

N/A 0.280 0.413 0.296 0.153 0.089 0.201 0.116 0.213 2.828

Problem 813

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 51 37 33 0 50 37 40 145 122

N.S.

1 1.89 1.37 1.22 0.00 1.85 1.37 1.48 5.37 4.52

time (sec)

N/A 0.889 0.194 1.121 0.000 0.090 0.264 0.296 0.199 3.263

Problem 814

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

N.S.

1 1.18 1.18 0.71 0.65 1.00 1.12 0.94 1.00 0.88

time (sec)

N/A 0.338 0.045 0.098 0.027 0.089 0.067 0.115 0.189 0.062

Problem 815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 22 26 28 21 24 0 263 19

N.S.

1 0.00 0.81 0.96 1.04 0.78 0.89 0.00 9.74 0.70

time (sec)

N/A 0.000 0.468 1.164 0.100 0.099 0.374 0.000 0.203 3.083

Problem 816

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 66 55 26 53 25 29 32 25 23

N.S.

1 2.28 1.90 0.90 1.83 0.86 1.00 1.10 0.86 0.79

time (sec)

N/A 0.274 0.115 0.407 0.037 0.090 0.075 0.112 0.189 3.058

Problem 817

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 36 36 59 64 87 0 0 74 0

N.S.

1 1.16 1.16 1.90 2.06 2.81 0.00 0.00 2.39 0.00

time (sec)

N/A 3.808 0.171 0.095 0.297 0.099 0.000 0.000 0.226 0.000

Problem 818

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 27 28 42 25 27 27 27 28

N.S.

1 1.07 1.00 1.04 1.56 0.93 1.00 1.00 1.00 1.04

time (sec)

N/A 0.277 0.022 0.460 0.032 0.079 0.067 0.121 0.190 0.063

Problem 819

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 11 11 10 11 18 7 11 14 9

N.S.

1 0.79 0.79 0.71 0.79 1.29 0.50 0.79 1.00 0.64

time (sec)

N/A 0.170 0.006 0.199 0.024 0.070 0.036 0.114 0.189 0.024

Problem 820

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

23 30 24 26 0 30 24 26 26 27

N.S.

1 1.30 1.04 1.13 0.00 1.30 1.04 1.13 1.13 1.17

time (sec)

N/A 0.627 0.168 0.510 0.000 0.086 0.126 0.106 0.189 2.806

Problem 821

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

28 0 27 32 49 34 0 0 32 32

N.S.

1 0.00 0.96 1.14 1.75 1.21 0.00 0.00 1.14 1.14

time (sec)

N/A 0.000 0.082 1.815 0.104 0.088 0.000 0.000 0.188 2.933

Problem 822

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

29 37 39 24 42 31 19 100 37 33

N.S.

1 1.28 1.34 0.83 1.45 1.07 0.66 3.45 1.28 1.14

time (sec)

N/A 0.219 0.015 0.487 0.028 0.089 0.075 0.120 0.187 2.975

Problem 823

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

N.S.

1 0.64 0.50 0.50 0.59 0.59 0.64 0.59 0.73 0.64

time (sec)

N/A 0.168 0.011 0.162 0.035 0.079 0.043 0.114 0.186 3.079

Problem 824

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

N.S.

1 1.18 1.18 1.00 0.94 0.94 1.00 0.94 0.94 0.94

time (sec)

N/A 0.513 0.030 0.125 0.067 0.096 0.071 0.112 0.186 3.182

Problem 825

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

16 30 16 16 38 26 10 15 21 15

N.S.

1 1.88 1.00 1.00 2.38 1.62 0.62 0.94 1.31 0.94

time (sec)

N/A 0.628 0.104 0.681 0.077 0.082 0.055 0.115 0.186 3.041

Problem 826

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

N.S.

1 0.28 0.39 0.39 0.33 0.44 0.28 0.33 0.28 0.33

time (sec)

N/A 0.127 0.000 0.040 0.025 0.064 0.018 0.108 0.184 0.001

Problem 827

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 21 27 53 37 24 29 56 35

N.S.

1 0.00 0.72 0.93 1.83 1.28 0.83 1.00 1.93 1.21

time (sec)

N/A 0.000 0.153 0.744 0.148 0.087 0.076 0.128 0.184 3.104

Problem 828

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

21 0 19 28 24 22 19 24 23 22

N.S.

1 0.00 0.90 1.33 1.14 1.05 0.90 1.14 1.10 1.05

time (sec)

N/A 0.000 0.064 15.029 0.168 0.107 0.462 0.180 0.182 3.346

Problem 829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 0 28 38 78 69 34 264 1481 2546

N.S.

1 0.00 1.00 1.36 2.79 2.46 1.21 9.43 52.89 90.93

time (sec)

N/A 0.000 0.306 74.275 0.192 0.094 0.138 2.797 0.327 4.409

Problem 830

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 0 81 30 63 26 29 32 0

N.S.

1 0.00 0.00 2.70 1.00 2.10 0.87 0.97 1.07 0.00

time (sec)

N/A 0.000 0.000 0.494 0.583 0.092 0.908 0.268 0.195 0.000

Problem 831

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

22 55 27 28 45 25 29 46 24 22

N.S.

1 2.50 1.23 1.27 2.05 1.14 1.32 2.09 1.09 1.00

time (sec)

N/A 0.211 0.004 0.173 0.034 0.087 0.061 0.118 0.184 2.955

Problem 832

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

N.S.

1 0.50 0.50 0.50 0.46 0.46 0.38 0.46 0.50 0.46

time (sec)

N/A 0.183 0.004 0.131 0.026 0.084 0.047 0.119 0.187 0.025

Problem 833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 0 18 20 14 71 22 14 21 16

N.S.

1 0.00 0.95 1.05 0.74 3.74 1.16 0.74 1.11 0.84

time (sec)

N/A 0.000 0.109 0.313 0.316 0.093 0.157 0.126 0.192 0.080

Problem 834

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 27 20 21 28 28 19 28 22 21

N.S.

1 1.12 0.83 0.88 1.17 1.17 0.79 1.17 0.92 0.88

time (sec)

N/A 0.233 0.023 0.161 0.028 0.088 0.057 0.102 0.189 3.004

Problem 835

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

10 10 10 11 23 10 8 10 10 10

N.S.

1 1.00 1.00 1.10 2.30 1.00 0.80 1.00 1.00 1.00

time (sec)

N/A 0.196 0.003 0.220 0.029 0.090 0.044 0.110 0.188 3.155

Problem 836

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

24 30 27 26 29 27 24 456 29 24

N.S.

1 1.25 1.12 1.08 1.21 1.12 1.00 19.00 1.21 1.00

time (sec)

N/A 0.467 0.023 0.891 0.158 0.087 0.105 0.188 0.186 3.285

Problem 837

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 15 21 16 15 19 12 15 19 15

N.S.

1 0.68 0.95 0.73 0.68 0.86 0.55 0.68 0.86 0.68

time (sec)

N/A 0.249 0.005 0.134 0.107 0.071 0.036 0.112 0.190 2.823

Problem 838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 0 0 47 37 31 27 62 29 29

N.S.

1 0.00 0.00 2.04 1.61 1.35 1.17 2.70 1.26 1.26

time (sec)

N/A 0.000 0.000 0.690 0.159 0.107 0.166 0.136 0.242 2.938

Problem 839

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 26 26 30 30 29 26 30 30 30

N.S.

1 0.96 0.96 1.11 1.11 1.07 0.96 1.11 1.11 1.11

time (sec)

N/A 2.817 0.061 27.297 0.087 0.103 0.309 0.213 0.201 2.972

Problem 840

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

20 20 17 52 84 33 36 77 31 29

N.S.

1 1.00 0.85 2.60 4.20 1.65 1.80 3.85 1.55 1.45

time (sec)

N/A 0.338 0.016 0.411 0.120 0.091 0.121 0.128 0.195 3.092

Problem 841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

35 0 62 61 314 285 1217 616 419 0

N.S.

1 0.00 1.77 1.74 8.97 8.14 34.77 17.60 11.97 0.00

time (sec)

N/A 0.000 0.178 11.243 0.277 0.108 0.552 0.432 0.200 0.000

Problem 842

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 29 40 60 59 27 31 43 41

N.S.

1 0.00 1.12 1.54 2.31 2.27 1.04 1.19 1.65 1.58

time (sec)

N/A 0.000 0.039 4.405 0.154 0.105 0.183 0.137 0.199 3.628

Problem 843

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

N.S.

1 1.14 1.07 0.93 0.86 0.93 1.00 0.86 0.86 0.86

time (sec)

N/A 0.146 0.000 0.100 0.032 0.088 0.016 0.111 0.217 0.001

Problem 844

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 96 22 37 36 61 34 21 67 21

N.S.

1 3.69 0.85 1.42 1.38 2.35 1.31 0.81 2.58 0.81

time (sec)

N/A 0.480 0.016 0.230 0.039 0.084 0.187 0.108 0.197 3.151

Problem 845

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 25 23 21 23 20 24 0 39 22

N.S.

1 0.86 0.79 0.72 0.79 0.69 0.83 0.00 1.34 0.76

time (sec)

N/A 0.225 0.368 1.493 0.119 0.088 0.141 0.000 0.195 3.201

Problem 846

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

19 0 19 18 50 26 19 17 32 17

N.S.

1 0.00 1.00 0.95 2.63 1.37 1.00 0.89 1.68 0.89

time (sec)

N/A 0.000 0.224 0.168 0.097 0.094 0.134 0.119 0.195 3.272

Problem 847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 81 112 73 72 97 97 73 691 97

N.S.

1 2.89 4.00 2.61 2.57 3.46 3.46 2.61 24.68 3.46

time (sec)

N/A 1.654 0.129 3.681 0.047 0.160 18.546 0.148 0.210 3.945

Problem 848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 48 47 17 0 22 19 22 28 16

N.S.

1 2.40 2.35 0.85 0.00 1.10 0.95 1.10 1.40 0.80

time (sec)

N/A 0.994 0.146 0.775 0.000 0.090 0.111 0.119 0.189 0.166

Problem 849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 0 0 82 116 96 83 0 135 134

N.S.

1 0.00 0.00 2.41 3.41 2.82 2.44 0.00 3.97 3.94

time (sec)

N/A 0.000 0.000 2.218 0.130 0.094 24.445 0.000 1.071 0.304

Problem 850

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

N.S.

1 1.07 1.07 1.00 0.93 0.93 0.93 0.93 1.07 0.93

time (sec)

N/A 0.167 0.004 0.122 0.027 0.081 0.070 0.114 0.192 3.295

Problem 851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 26 0 21 28 26 26 28 31 28

N.S.

1 1.30 0.00 1.05 1.40 1.30 1.30 1.40 1.55 1.40

time (sec)

N/A 0.297 0.000 0.287 0.186 0.093 0.069 0.114 0.245 3.155

Problem 852

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 36 27 31 397 52 29 134 61 34

N.S.

1 1.38 1.04 1.19 15.27 2.00 1.12 5.15 2.35 1.31

time (sec)

N/A 1.617 0.751 0.776 0.244 0.093 0.077 0.140 0.188 0.125

Problem 853

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

26 68 66 56 60 60 44 60 66 34

N.S.

1 2.62 2.54 2.15 2.31 2.31 1.69 2.31 2.54 1.31

time (sec)

N/A 0.219 0.009 0.161 0.034 0.076 0.028 0.106 0.187 3.244

Problem 854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

15 14 32 26 35 33 31 30 35 36

N.S.

1 0.93 2.13 1.73 2.33 2.20 2.07 2.00 2.33 2.40

time (sec)

N/A 0.423 0.038 0.120 0.028 0.105 0.085 0.116 0.189 3.200

Problem 855

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

28 27 27 107 319 85 109 85 92 88

N.S.

1 0.96 0.96 3.82 11.39 3.04 3.89 3.04 3.29 3.14

time (sec)

N/A 0.717 0.030 161.695 0.161 0.086 0.331 0.131 0.187 3.504

Problem 856

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 0 43 43 38 38 61 70 42 46

N.S.

1 0.00 1.26 1.26 1.12 1.12 1.79 2.06 1.24 1.35

time (sec)

N/A 0.000 0.323 2.017 0.080 0.079 0.180 0.127 0.186 3.450

Problem 857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 129 29 63 123 33 39 0 34 103

N.S.

1 4.30 0.97 2.10 4.10 1.10 1.30 0.00 1.13 3.43

time (sec)

N/A 0.342 0.063 8.782 0.295 0.083 27.736 0.000 0.186 3.278

Problem 858

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 51 47 105 79 155 88 135 371 48

N.S.

1 2.32 2.14 4.77 3.59 7.05 4.00 6.14 16.86 2.18

time (sec)

N/A 0.416 0.055 1.233 0.036 0.096 3.035 0.112 0.188 0.251

Problem 859

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

29 26 24 21 0 36 20 36 39 33

N.S.

1 0.90 0.83 0.72 0.00 1.24 0.69 1.24 1.34 1.14

time (sec)

N/A 0.526 0.030 0.341 0.000 0.078 0.112 0.113 0.186 3.118

Problem 860

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

N.S.

1 0.78 0.78 0.61 0.56 1.17 0.67 0.61 0.67 0.56

time (sec)

N/A 0.297 0.027 0.230 0.038 0.080 0.098 0.116 0.188 3.159

Problem 861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

17 36 59 22 34 43 34 34 21 34

N.S.

1 2.12 3.47 1.29 2.00 2.53 2.00 2.00 1.24 2.00

time (sec)

N/A 0.255 0.018 0.538 0.043 0.068 0.179 0.114 0.192 0.082

Problem 862

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

33 0 37 46 50 55 27 66 67 69

N.S.

1 0.00 1.12 1.39 1.52 1.67 0.82 2.00 2.03 2.09

time (sec)

N/A 0.000 0.326 73.862 0.228 0.123 0.342 0.202 0.231 3.728

Problem 863

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

32 30 30 25 44 25 22 25 26 23

N.S.

1 0.94 0.94 0.78 1.38 0.78 0.69 0.78 0.81 0.72

time (sec)

N/A 0.259 0.023 0.663 0.057 0.097 0.106 0.115 0.188 3.235

Problem 864

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

18 98 76 57 91 62 60 80 54 20

N.S.

1 5.44 4.22 3.17 5.06 3.44 3.33 4.44 3.00 1.11

time (sec)

N/A 0.253 0.030 0.373 0.031 0.089 0.121 0.121 0.187 3.369

Problem 865

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

N.S.

1 0.70 0.70 0.65 0.60 1.15 0.60 0.60 0.70 0.60

time (sec)

N/A 0.159 0.007 0.055 0.032 0.077 0.058 0.108 0.191 3.371

Problem 866

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

24 24 24 19 29 19 15 0 21 18

N.S.

1 1.00 1.00 0.79 1.21 0.79 0.62 0.00 0.88 0.75

time (sec)

N/A 1.062 0.222 0.619 0.200 0.088 0.245 0.000 0.196 3.600

Problem 867

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 38 18 29 26 26 29 45 42 33

N.S.

1 2.11 1.00 1.61 1.44 1.44 1.61 2.50 2.33 1.83

time (sec)

N/A 0.214 0.018 0.180 0.034 0.084 0.114 0.113 0.192 3.218

Problem 868

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

11 13 16 13 11 11 10 11 11 12

N.S.

1 1.18 1.45 1.18 1.00 1.00 0.91 1.00 1.00 1.09

time (sec)

N/A 0.172 0.005 0.083 0.030 0.080 0.041 0.119 0.190 0.023

Problem 869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 0 31 31 34 30 0 34 101 27

N.S.

1 0.00 1.07 1.07 1.17 1.03 0.00 1.17 3.48 0.93

time (sec)

N/A 0.000 0.267 53.026 0.171 0.097 0.000 0.307 0.205 3.672

Problem 870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 30 26 564 318 35 58 44 34 32

N.S.

1 1.07 0.93 20.14 11.36 1.25 2.07 1.57 1.21 1.14

time (sec)

N/A 1.091 0.208 0.850 0.192 0.083 1.205 0.189 0.186 3.607

Problem 871

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 27 35 39 39 24 43 42 38

N.S.

1 0.00 0.84 1.09 1.22 1.22 0.75 1.34 1.31 1.19

time (sec)

N/A 0.000 4.158 0.345 0.080 0.092 0.116 0.124 0.193 3.321

Problem 872

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

28 41 23 21 55 23 20 23 22 22

N.S.

1 1.46 0.82 0.75 1.96 0.82 0.71 0.82 0.79 0.79

time (sec)

N/A 0.279 0.051 0.105 0.038 0.086 0.070 0.107 0.190 0.032

Problem 873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 24 22 24 78 73 82 88 347 0

N.S.

1 0.89 0.81 0.89 2.89 2.70 3.04 3.26 12.85 0.00

time (sec)

N/A 0.735 0.025 1.365 0.213 0.099 0.193 0.417 0.226 0.000

Problem 874

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

23 23 23 21 31 20 19 0 32 21

N.S.

1 1.00 1.00 0.91 1.35 0.87 0.83 0.00 1.39 0.91

time (sec)

N/A 6.542 0.095 12.625 0.173 0.092 43.302 0.000 0.208 3.842

Problem 875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 32 22 18 26 17 0 0 22 17

N.S.

1 1.45 1.00 0.82 1.18 0.77 0.00 0.00 1.00 0.77

time (sec)

N/A 0.163 0.012 0.668 0.117 0.087 0.000 0.000 0.186 0.188

Problem 876

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 0 31 0 0 50 42 0 48 100

N.S.

1 0.00 0.97 0.00 0.00 1.56 1.31 0.00 1.50 3.12

time (sec)

N/A 0.000 0.308 0.000 0.000 0.091 28.730 0.000 0.222 4.075

Problem 877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

37 0 62 71 106 73 0 77 78 69

N.S.

1 0.00 1.68 1.92 2.86 1.97 0.00 2.08 2.11 1.86

time (sec)

N/A 0.000 0.077 2.684 0.088 0.094 0.000 0.564 0.197 3.417

Problem 878

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 19 17 17 16 23 14 16 33 59

N.S.

1 0.95 0.85 0.85 0.80 1.15 0.70 0.80 1.65 2.95

time (sec)

N/A 0.200 0.009 0.349 0.030 0.084 0.057 0.116 0.183 3.178

Problem 879

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

13 27 20 19 18 18 19 18 20 18

N.S.

1 2.08 1.54 1.46 1.38 1.38 1.46 1.38 1.54 1.38

time (sec)

N/A 0.169 0.009 0.200 0.037 0.075 0.047 0.109 0.180 3.397

Problem 880

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 32 25 24 35 21 26 31 29 25

N.S.

1 1.60 1.25 1.20 1.75 1.05 1.30 1.55 1.45 1.25

time (sec)

N/A 0.238 0.177 0.189 0.035 0.087 0.066 0.120 0.179 3.470

Problem 881

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 20 95 19 33 77 34 18 84 34

N.S.

1 0.74 3.52 0.70 1.22 2.85 1.26 0.67 3.11 1.26

time (sec)

N/A 0.322 0.038 0.303 0.028 0.074 0.212 0.114 0.188 0.098

Problem 882

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 No TBD TBD TBD TBD TBD TBD

size

17 17 17 19 15 16 15 16 19 16

N.S.

1 1.00 1.00 1.12 0.88 0.94 0.88 0.94 1.12 0.94

time (sec)

N/A 0.349 0.037 2.422 0.100 0.086 0.145 0.138 0.182 3.205

Problem 883

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 0 41 29 63 28 24 28 28 28

N.S.

1 0.00 1.24 0.88 1.91 0.85 0.73 0.85 0.85 0.85

time (sec)

N/A 0.000 0.106 0.318 0.092 0.072 0.054 0.115 0.183 3.187

Problem 884

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

28 118 27 84 133 87 87 116 99 27

N.S.

1 4.21 0.96 3.00 4.75 3.11 3.11 4.14 3.54 0.96

time (sec)

N/A 1.332 0.477 1.623 0.101 0.091 0.098 0.129 0.187 2.934

Problem 885

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 0 52 60 47 46 57 255 60

N.S.

1 0.00 0.00 1.93 2.22 1.74 1.70 2.11 9.44 2.22

time (sec)

N/A 0.000 0.000 0.124 0.427 0.096 4.334 8.529 200.033 3.212

Problem 886

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

N.S.

1 0.20 0.20 0.25 0.20 0.20 0.15 0.20 0.20 0.20

time (sec)

N/A 0.128 0.000 0.039 0.043 0.070 0.017 0.116 0.202 0.001

Problem 887

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

16 15 20 13 12 12 10 12 13 12

N.S.

1 0.94 1.25 0.81 0.75 0.75 0.62 0.75 0.81 0.75

time (sec)

N/A 0.281 0.059 0.474 0.065 0.084 0.059 0.113 0.196 0.046

Problem 888

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 31 34 28 39 24 48 54 41

N.S.

1 0.00 1.03 1.13 0.93 1.30 0.80 1.60 1.80 1.37

time (sec)

N/A 0.000 0.143 40.784 0.171 0.104 0.187 0.202 0.463 0.271

Problem 889

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 17 18 18 17 20 20 12

N.S.

1 0.95 0.95 0.81 0.86 0.86 0.81 0.95 0.95 0.57

time (sec)

N/A 0.249 0.007 0.405 0.033 0.078 0.096 0.114 0.177 2.920

Problem 890

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 31 31 0 31 42 0 0 44 40

N.S.

1 1.19 1.19 0.00 1.19 1.62 0.00 0.00 1.69 1.54

time (sec)

N/A 3.758 0.415 0.000 0.304 0.104 0.000 0.000 0.216 3.774

Problem 891

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 18 18 38 22 34 37 41 37 38

N.S.

1 0.95 0.95 2.00 1.16 1.79 1.95 2.16 1.95 2.00

time (sec)

N/A 0.504 0.100 0.646 0.151 0.093 0.221 0.207 0.162 3.709

Problem 892

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

24 0 22 27 0 21 34 26 32 17

N.S.

1 0.00 0.92 1.12 0.00 0.88 1.42 1.08 1.33 0.71

time (sec)

N/A 0.000 0.139 0.510 0.000 0.078 0.093 0.117 0.164 3.102

Problem 893

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

N.S.

1 0.71 0.71 0.71 0.65 0.65 0.47 0.65 0.71 0.65

time (sec)

N/A 0.146 0.001 0.080 0.033 0.087 0.042 0.110 0.177 2.863

Problem 894

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 0 26 17 23 26 24 44 46 30

N.S.

1 0.00 1.13 0.74 1.00 1.13 1.04 1.91 2.00 1.30

time (sec)

N/A 0.000 0.124 1.351 0.062 0.083 0.124 0.127 0.176 3.450

Problem 895

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 22 20 22 71 21 19 21 29 22

N.S.

1 1.10 1.00 1.10 3.55 1.05 0.95 1.05 1.45 1.10

time (sec)

N/A 0.253 0.168 0.198 0.111 0.089 0.049 0.109 0.175 0.043

Problem 896

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 0 37 25 30 30 24 34 35 35

N.S.

1 0.00 2.06 1.39 1.67 1.67 1.33 1.89 1.94 1.94

time (sec)

N/A 0.000 3.874 0.441 0.084 0.091 0.276 0.124 0.172 3.046

Problem 897

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 23 22 19 13 18 15 0 21 13

N.S.

1 0.92 0.88 0.76 0.52 0.72 0.60 0.00 0.84 0.52

time (sec)

N/A 0.325 0.045 0.155 1.533 0.075 0.062 0.000 0.978 2.803

Problem 898

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 45 28 24 0 19 32 128 31 0

N.S.

1 1.73 1.08 0.92 0.00 0.73 1.23 4.92 1.19 0.00

time (sec)

N/A 1.210 4.727 8.925 0.000 0.083 0.334 0.123 0.173 0.000

Problem 899

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

16 16 22 15 14 14 14 14 18 14

N.S.

1 1.00 1.38 0.94 0.88 0.88 0.88 0.88 1.12 0.88

time (sec)

N/A 0.151 0.006 0.165 0.026 0.086 0.043 0.108 0.168 2.771

Problem 900

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

20 0 18 23 18 18 15 22 22 0

N.S.

1 0.00 0.90 1.15 0.90 0.90 0.75 1.10 1.10 0.00

time (sec)

N/A 0.000 0.426 2.457 0.084 0.088 0.136 0.142 0.171 0.000

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