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

2.2.9 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 Mupad

grade

N/A A A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 19 19 28 127 18 31 18 20

N.S.

1 0.90 0.90 1.33 6.05 0.86 1.48 0.86 0.95

time (sec)

N/A 0.223 0.032 0.318 0.320 0.240 0.163 0.269 15.165

Problem 802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 127 30 35 367 34 39 34 16

N.S.

1 7.94 1.88 2.19 22.94 2.12 2.44 2.12 1.00

time (sec)

N/A 0.735 0.098 0.921 0.213 0.245 0.099 0.264 0.356

Problem 803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

33 0 36 36 43 35 31 43 35

N.S.

1 0.00 1.09 1.09 1.30 1.06 0.94 1.30 1.06

time (sec)

N/A 0.000 0.093 1.544 0.275 0.251 0.694 0.417 17.909

Problem 804

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 63 55 43 57 55 60 68 54

N.S.

1 1.97 1.72 1.34 1.78 1.72 1.88 2.12 1.69

time (sec)

N/A 0.364 0.493 0.648 0.223 0.243 0.144 0.276 0.182

Problem 805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

16 0 14 14 17 13 8 13 13

N.S.

1 0.00 0.88 0.88 1.06 0.81 0.50 0.81 0.81

time (sec)

N/A 0.000 0.013 0.586 0.226 0.237 0.059 0.273 15.928

Problem 806

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 23 16 13 43 12 14 43 12

N.S.

1 0.88 0.62 0.50 1.65 0.46 0.54 1.65 0.46

time (sec)

N/A 0.219 0.156 0.348 0.197 0.258 0.053 0.265 0.103

Problem 807

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 16 19 19 15 19 18

N.S.

1 1.00 1.00 0.80 0.95 0.95 0.75 0.95 0.90

time (sec)

N/A 0.150 0.000 0.155 0.193 0.249 0.021 0.256 16.859

Problem 808

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B B B B B

verified

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

size

22 0 21 22 61 119 63 281 82

N.S.

1 0.00 0.95 1.00 2.77 5.41 2.86 12.77 3.73

time (sec)

N/A 0.000 0.138 6.249 0.287 0.258 0.226 0.519 15.757

Problem 809

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

24 0 22 60 44 48 48 257 0

N.S.

1 0.00 0.92 2.50 1.83 2.00 2.00 10.71 0.00

time (sec)

N/A 0.000 1.183 5.687 0.254 0.237 0.154 1.034 0.000

Problem 810

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 16 16 14 13 14 12 22 20

N.S.

1 0.84 0.84 0.74 0.68 0.74 0.63 1.16 1.05

time (sec)

N/A 0.144 0.006 1.790 0.193 0.248 0.065 0.291 15.382

Problem 811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 75 21 21 22 20 15 20 20

N.S.

1 3.41 0.95 0.95 1.00 0.91 0.68 0.91 0.91

time (sec)

N/A 0.503 0.055 0.359 0.349 0.256 0.119 0.284 0.266

Problem 812

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A C A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 35 15 21 59 23 19 35 15

N.S.

1 2.19 0.94 1.31 3.69 1.44 1.19 2.19 0.94

time (sec)

N/A 0.539 0.132 0.106 0.227 0.245 0.038 0.272 15.212

Problem 813

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 24 13 11 14 20 10 12 12

N.S.

1 1.20 0.65 0.55 0.70 1.00 0.50 0.60 0.60

time (sec)

N/A 0.175 0.052 0.130 0.185 0.262 0.054 0.266 0.053

Problem 814

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

38 0 31 25 25 25 32 25 54

N.S.

1 0.00 0.82 0.66 0.66 0.66 0.84 0.66 1.42

time (sec)

N/A 0.000 2.328 1.378 0.337 0.260 0.104 0.273 14.937

Problem 815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 32 40 41 41 37 45 0

N.S.

1 0.00 1.14 1.43 1.46 1.46 1.32 1.61 0.00

time (sec)

N/A 0.000 0.528 1.163 0.223 0.254 0.213 0.282 0.000

Problem 816

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 9 9 10 9 9 10 9 9

N.S.

1 0.53 0.53 0.59 0.53 0.53 0.59 0.53 0.53

time (sec)

N/A 0.166 0.034 0.074 0.213 0.259 0.079 0.266 16.262

Problem 817

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

7 7 7 6 5 5 7 5 5

N.S.

1 1.00 1.00 0.86 0.71 0.71 1.00 0.71 0.71

time (sec)

N/A 0.122 0.000 0.062 0.184 0.237 0.017 0.264 0.002

Problem 818

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

30 0 21 21 34 34 15 32 20

N.S.

1 0.00 0.70 0.70 1.13 1.13 0.50 1.07 0.67

time (sec)

N/A 0.000 1.016 0.431 0.221 0.257 0.064 0.272 14.191

Problem 819

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 19 17 12 13 19 8 13 13

N.S.

1 0.59 0.53 0.38 0.41 0.59 0.25 0.41 0.41

time (sec)

N/A 0.167 0.009 1.090 0.183 0.240 0.040 0.269 0.045

Problem 820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 31 27 21 91 20 15 31 20

N.S.

1 1.41 1.23 0.95 4.14 0.91 0.68 1.41 0.91

time (sec)

N/A 0.544 0.185 0.863 0.356 0.254 0.150 0.280 0.307

Problem 821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 9 8 9 9 8 8 9 9

N.S.

1 0.64 0.57 0.64 0.64 0.57 0.57 0.64 0.64

time (sec)

N/A 0.123 0.000 0.029 0.206 0.242 0.021 0.256 0.002

Problem 822

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 200 48 48 83 52 51 0 90

N.S.

1 6.90 1.66 1.66 2.86 1.79 1.76 0.00 3.10

time (sec)

N/A 1.331 0.229 3.496 0.404 0.255 0.335 0.000 0.480

Problem 823

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F F A A A A A B

verified

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

size

30 0 0 44 39 42 39 44 45

N.S.

1 0.00 0.00 1.47 1.30 1.40 1.30 1.47 1.50

time (sec)

N/A 0.000 0.000 60.957 0.512 0.248 0.705 0.297 15.609

Problem 824

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 45 39 40 45 36 41 39 39

N.S.

1 1.55 1.34 1.38 1.55 1.24 1.41 1.34 1.34

time (sec)

N/A 0.267 0.188 0.226 0.240 0.266 0.169 0.270 16.077

Problem 825

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 40 26 32 70 31 31 31 23

N.S.

1 1.60 1.04 1.28 2.80 1.24 1.24 1.24 0.92

time (sec)

N/A 0.449 0.074 0.743 0.195 0.249 0.139 0.265 16.096

Problem 826

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 0 30 23 45 37 0 0 21

N.S.

1 0.00 1.20 0.92 1.80 1.48 0.00 0.00 0.84

time (sec)

N/A 0.000 0.105 1.998 0.249 0.269 0.000 0.000 14.814

Problem 827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A F B

verified

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

size

26 0 26 30 23 29 29 0 215

N.S.

1 0.00 1.00 1.15 0.88 1.12 1.12 0.00 8.27

time (sec)

N/A 0.000 0.175 0.052 0.296 0.261 3.350 0.000 14.985

Problem 828

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F A A A A A B

verified

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

size

14 14 0 13 17 12 14 17 12

N.S.

1 1.00 0.00 0.93 1.21 0.86 1.00 1.21 0.86

time (sec)

N/A 0.238 0.000 184.902 0.266 0.255 0.118 0.280 15.702

Problem 829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

23 0 21 17 18 18 14 29 18

N.S.

1 0.00 0.91 0.74 0.78 0.78 0.61 1.26 0.78

time (sec)

N/A 0.000 1.570 1.053 0.254 0.248 0.107 0.270 14.929

Problem 830

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A B A B

verified

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

size

24 0 23 25 40 40 39 40 40

N.S.

1 0.00 0.96 1.04 1.67 1.67 1.62 1.67 1.67

time (sec)

N/A 0.000 0.047 4.562 0.198 0.241 4.402 0.274 16.724

Problem 831

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A B B B

verified

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

size

19 0 29 23 33 27 32 39 19

N.S.

1 0.00 1.53 1.21 1.74 1.42 1.68 2.05 1.00

time (sec)

N/A 0.000 0.164 1.332 0.229 0.252 0.127 0.273 16.171

Problem 832

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 81 31 28 95 26 71 39 0

N.S.

1 3.12 1.19 1.08 3.65 1.00 2.73 1.50 0.00

time (sec)

N/A 1.965 0.725 1.343 0.237 0.249 0.239 0.269 0.000

Problem 833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 25 25 27 32 26 20 32 0

N.S.

1 0.78 0.78 0.84 1.00 0.81 0.62 1.00 0.00

time (sec)

N/A 1.148 0.660 1.614 0.296 0.251 0.146 0.311 0.000

Problem 834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A A B

verified

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

size

33 0 30 26 85 25 29 48 551

N.S.

1 0.00 0.91 0.79 2.58 0.76 0.88 1.45 16.70

time (sec)

N/A 0.000 0.088 8.319 0.368 0.240 0.177 0.457 16.467

Problem 835

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

21 0 22 17 19 16 15 21 18

N.S.

1 0.00 1.05 0.81 0.90 0.76 0.71 1.00 0.86

time (sec)

N/A 0.000 0.318 0.329 0.214 0.250 0.077 0.267 15.366

Problem 836

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B F A B B A B B

verified

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

size

27 97 0 19 36 37 29 36 38

N.S.

1 3.59 0.00 0.70 1.33 1.37 1.07 1.33 1.41

time (sec)

N/A 0.449 0.000 0.354 0.345 0.243 0.211 0.344 15.874

Problem 837

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 10 10 11 10 10 8 10 10

N.S.

1 0.59 0.59 0.65 0.59 0.59 0.47 0.59 0.59

time (sec)

N/A 0.138 0.002 0.045 0.185 0.250 0.050 0.264 14.467

Problem 838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 35 33 30 29 29 34 32 91

N.S.

1 1.35 1.27 1.15 1.12 1.12 1.31 1.23 3.50

time (sec)

N/A 0.327 0.045 0.224 0.193 0.239 1.083 0.275 14.441

Problem 839

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

25 0 20 24 33 33 19 23 37

N.S.

1 0.00 0.80 0.96 1.32 1.32 0.76 0.92 1.48

time (sec)

N/A 0.000 0.291 1.217 0.222 0.262 0.061 0.277 14.420

Problem 840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 74 23 40 67 43 53 42 20

N.S.

1 2.85 0.88 1.54 2.58 1.65 2.04 1.62 0.77

time (sec)

N/A 0.276 0.024 0.342 0.196 0.265 0.097 0.268 16.746

Problem 841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 19 24 22 28 21 24 21 19

N.S.

1 1.12 1.41 1.29 1.65 1.24 1.41 1.24 1.12

time (sec)

N/A 0.576 0.213 1.911 0.214 0.284 0.105 0.273 16.743

Problem 842

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

24 0 24 30 47 43 49 59 0

N.S.

1 0.00 1.00 1.25 1.96 1.79 2.04 2.46 0.00

time (sec)

N/A 0.000 5.096 0.259 0.305 0.258 0.166 0.270 0.000

Problem 843

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 30 28 40 64 40 32 56 38

N.S.

1 1.03 0.97 1.38 2.21 1.38 1.10 1.93 1.31

time (sec)

N/A 1.856 0.057 0.336 0.357 0.261 0.152 0.354 14.195

Problem 844

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B B B B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 534 169 165 1137 230 180 0 178

N.S.

1 18.41 5.83 5.69 39.21 7.93 6.21 0.00 6.14

time (sec)

N/A 3.062 0.144 0.614 0.269 0.277 29.004 0.000 16.075

Problem 845

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 27 25 22 41 21 20 149 29

N.S.

1 1.08 1.00 0.88 1.64 0.84 0.80 5.96 1.16

time (sec)

N/A 2.344 0.900 0.499 0.298 0.238 0.119 0.333 15.141

Problem 846

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B B B B B F B

verified

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

size

30 0 61 144 128 153 99 0 121

N.S.

1 0.00 2.03 4.80 4.27 5.10 3.30 0.00 4.03

time (sec)

N/A 0.000 0.620 2.900 0.397 0.260 81.647 0.000 15.143

Problem 847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A A F B

verified

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

size

32 0 34 50 0 36 37 0 105

N.S.

1 0.00 1.06 1.56 0.00 1.12 1.16 0.00 3.28

time (sec)

N/A 0.000 0.158 5.403 0.000 0.270 0.227 0.000 13.938

Problem 848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 13 13 11 12 12 12 13 10

N.S.

1 0.65 0.65 0.55 0.60 0.60 0.60 0.65 0.50

time (sec)

N/A 0.132 0.004 0.674 0.193 0.236 0.047 0.266 0.109

Problem 849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 115 121 84 557 106 110 139 33

N.S.

1 4.60 4.84 3.36 22.28 4.24 4.40 5.56 1.32

time (sec)

N/A 0.613 0.113 0.427 0.256 0.241 0.432 0.267 14.110

Problem 850

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B B B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 48 54 56 55 36 49 59 43

N.S.

1 2.40 2.70 2.80 2.75 1.80 2.45 2.95 2.15

time (sec)

N/A 0.367 0.032 0.517 0.191 0.251 10.172 0.261 13.890

Problem 851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 21 27 17 18 24 12 32 18

N.S.

1 0.84 1.08 0.68 0.72 0.96 0.48 1.28 0.72

time (sec)

N/A 0.507 0.057 0.635 0.229 0.284 0.093 0.268 13.659

Problem 852

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B B B B B B

verified

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

size

29 0 33 59 49 62 46 67 317

N.S.

1 0.00 1.14 2.03 1.69 2.14 1.59 2.31 10.93

time (sec)

N/A 0.000 0.175 51.583 0.291 0.275 0.415 0.559 14.156

Problem 853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 43 33 22 67 22 24 22 30

N.S.

1 2.05 1.57 1.05 3.19 1.05 1.14 1.05 1.43

time (sec)

N/A 0.334 0.060 0.855 0.188 0.244 0.082 0.275 0.223

Problem 854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A B B

verified

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

size

29 0 25 24 34 25 22 57 26

N.S.

1 0.00 0.86 0.83 1.17 0.86 0.76 1.97 0.90

time (sec)

N/A 0.000 5.831 0.202 0.230 0.252 0.176 0.279 14.486

Problem 855

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 18 17 19 20 17 14 0 18

N.S.

1 1.20 1.13 1.27 1.33 1.13 0.93 0.00 1.20

time (sec)

N/A 0.258 0.274 0.336 0.316 0.247 0.200 0.000 14.575

Problem 856

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A F B

verified

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

size

15 0 15 14 13 13 12 0 13

N.S.

1 0.00 1.00 0.93 0.87 0.87 0.80 0.00 0.87

time (sec)

N/A 0.000 0.107 0.145 0.333 0.251 0.120 0.000 0.122

Problem 857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 35 39 39 39 41 42 0

N.S.

1 0.00 1.21 1.34 1.34 1.34 1.41 1.45 0.00

time (sec)

N/A 0.000 4.997 0.188 0.251 0.264 0.209 0.289 0.000

Problem 858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 11 11 12 13 13 10 13 51

N.S.

1 0.73 0.73 0.80 0.87 0.87 0.67 0.87 3.40

time (sec)

N/A 0.162 0.006 1.548 0.196 0.231 0.102 0.270 15.144

Problem 859

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

27 0 32 37 45 33 37 48 33

N.S.

1 0.00 1.19 1.37 1.67 1.22 1.37 1.78 1.22

time (sec)

N/A 0.000 0.294 5.447 0.323 0.242 0.121 0.292 15.727

Problem 860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B B A A B

verified

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

size

28 0 25 29 50 50 26 29 44

N.S.

1 0.00 0.89 1.04 1.79 1.79 0.93 1.04 1.57

time (sec)

N/A 0.000 0.336 1.571 0.221 0.239 0.109 0.288 15.744

Problem 861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 58 19 22 16 23 20 17 16

N.S.

1 3.05 1.00 1.16 0.84 1.21 1.05 0.89 0.84

time (sec)

N/A 0.225 0.020 0.117 0.266 0.259 0.125 0.265 15.422

Problem 862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 19 19 18 17 21 14 21 17

N.S.

1 0.95 0.95 0.90 0.85 1.05 0.70 1.05 0.85

time (sec)

N/A 0.212 0.060 0.395 0.209 0.249 0.087 0.284 0.101

Problem 863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 46 28 30 34 34 34 34 28

N.S.

1 1.59 0.97 1.03 1.17 1.17 1.17 1.17 0.97

time (sec)

N/A 0.193 0.009 0.129 0.189 0.248 0.031 0.272 16.730

Problem 864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 15 17 15 19 14 15 17

N.S.

1 1.00 0.79 0.89 0.79 1.00 0.74 0.79 0.89

time (sec)

N/A 0.173 0.011 1.353 0.191 0.241 0.071 0.270 17.153

Problem 865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 25 21 15 26 14 17 14 13

N.S.

1 1.32 1.11 0.79 1.37 0.74 0.89 0.74 0.68

time (sec)

N/A 0.158 0.057 0.116 0.181 0.250 0.074 0.263 0.059

Problem 866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 28 24 21 21 21 19 21 15

N.S.

1 1.33 1.14 1.00 1.00 1.00 0.90 1.00 0.71

time (sec)

N/A 0.159 0.006 0.138 0.184 0.241 0.072 0.263 0.061

Problem 867

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 63 34 26 52 26 24 37 27

N.S.

1 2.52 1.36 1.04 2.08 1.04 0.96 1.48 1.08

time (sec)

N/A 0.304 0.121 0.502 0.241 0.259 0.089 0.269 16.883

Problem 868

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A B B

verified

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

size

24 0 35 28 28 31 32 47 36

N.S.

1 0.00 1.46 1.17 1.17 1.29 1.33 1.96 1.50

time (sec)

N/A 0.000 0.491 0.937 0.425 0.245 0.245 0.308 18.161

Problem 869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 10 10 10 38 9 8 9 9

N.S.

1 0.53 0.53 0.53 2.00 0.47 0.42 0.47 0.47

time (sec)

N/A 0.234 0.052 0.211 0.196 0.240 0.051 0.277 16.491

Problem 870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 29 876 37 34 0 34 32

N.S.

1 0.00 0.97 29.20 1.23 1.13 0.00 1.13 1.07

time (sec)

N/A 0.000 0.463 0.026 0.412 0.283 0.000 1.058 17.811

Problem 871

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 32 32 25 32 28 24 24 24

N.S.

1 1.14 1.14 0.89 1.14 1.00 0.86 0.86 0.86

time (sec)

N/A 0.404 0.040 0.495 0.221 0.255 0.130 0.276 17.925

Problem 872

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

25 0 24 25 24 30 20 24 24

N.S.

1 0.00 0.96 1.00 0.96 1.20 0.80 0.96 0.96

time (sec)

N/A 0.000 0.227 1.225 0.235 0.250 0.146 0.285 18.959

Problem 873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 31 17 19 31 24 20 24 19

N.S.

1 1.48 0.81 0.90 1.48 1.14 0.95 1.14 0.90

time (sec)

N/A 0.191 0.020 0.151 0.204 0.260 0.085 0.265 16.857

Problem 874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 253 125 40 59 33 65 66 0

N.S.

1 7.91 3.91 1.25 1.84 1.03 2.03 2.06 0.00

time (sec)

N/A 7.205 1.236 1.083 0.341 0.264 0.192 0.295 0.000

Problem 875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

38 0 61 66 59 59 94 100 0

N.S.

1 0.00 1.61 1.74 1.55 1.55 2.47 2.63 0.00

time (sec)

N/A 0.000 10.129 1.393 0.399 0.279 0.341 0.360 0.000

Problem 876

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 41 29 33 41 40 44 40 39

N.S.

1 1.24 0.88 1.00 1.24 1.21 1.33 1.21 1.18

time (sec)

N/A 0.146 0.018 0.121 0.193 0.272 0.134 0.274 17.966

Problem 877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 22 22 21 21 21 19 21 21

N.S.

1 0.85 0.85 0.81 0.81 0.81 0.73 0.81 0.81

time (sec)

N/A 0.179 0.051 0.066 0.189 0.245 0.082 0.271 18.233

Problem 878

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 14 14 13 12 12 10 0 12

N.S.

1 0.64 0.64 0.59 0.55 0.55 0.45 0.00 0.55

time (sec)

N/A 0.180 0.014 0.115 0.270 0.266 0.060 0.000 0.154

Problem 879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

25 0 22 22 27 21 15 27 22

N.S.

1 0.00 0.88 0.88 1.08 0.84 0.60 1.08 0.88

time (sec)

N/A 0.000 0.399 11.051 0.337 0.258 0.101 0.330 15.241

Problem 880

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 32 32 36 32 32

N.S.

1 1.00 1.00 0.94 1.88 1.88 2.12 1.88 1.88

time (sec)

N/A 0.595 0.075 3.917 0.272 0.254 0.134 0.322 15.766

Problem 881

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

21 0 20 22 32 21 24 22 19

N.S.

1 0.00 0.95 1.05 1.52 1.00 1.14 1.05 0.90

time (sec)

N/A 0.000 0.504 0.232 0.195 0.265 2.815 0.335 16.009

Problem 882

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 20 17 17 18 17 15 21 15

N.S.

1 0.83 0.71 0.71 0.75 0.71 0.62 0.88 0.62

time (sec)

N/A 0.223 0.011 0.076 0.186 0.248 0.058 0.258 0.091

Problem 883

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B B C B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 180 94 75 2622 103 88 228 94

N.S.

1 6.67 3.48 2.78 97.11 3.81 3.26 8.44 3.48

time (sec)

N/A 8.644 0.312 0.360 0.536 0.281 0.209 0.315 0.473

Problem 884

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 20 16 15 17 12 17 15

N.S.

1 1.00 1.25 1.00 0.94 1.06 0.75 1.06 0.94

time (sec)

N/A 0.161 0.010 0.031 0.198 0.292 0.061 0.260 16.122

Problem 885

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 51 21 24 20 23 22 23 22

N.S.

1 2.12 0.88 1.00 0.83 0.96 0.92 0.96 0.92

time (sec)

N/A 0.195 0.033 1.122 0.257 0.282 0.517 0.272 15.609

Problem 886

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 20 19 19 41 19 19

N.S.

1 1.00 1.00 0.71 0.68 0.68 1.46 0.68 0.68

time (sec)

N/A 0.206 0.049 0.255 0.290 0.290 0.152 0.273 0.085

Problem 887

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 10 8 7 6 6 7 7 6

N.S.

1 1.25 1.00 0.88 0.75 0.75 0.88 0.88 0.75

time (sec)

N/A 0.121 0.002 0.946 0.187 0.252 0.028 0.266 0.098

Problem 888

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 37 34 46 41 65 36 99 65

N.S.

1 1.19 1.10 1.48 1.32 2.10 1.16 3.19 2.10

time (sec)

N/A 0.422 0.056 1.305 0.209 0.277 1.018 0.273 16.787

Problem 889

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A A F B

verified

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

size

31 0 45 41 0 45 42 0 41

N.S.

1 0.00 1.45 1.32 0.00 1.45 1.35 0.00 1.32

time (sec)

N/A 0.000 0.158 0.354 0.000 0.284 0.183 0.000 17.080

Problem 890

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B B B B B

verified

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

size

31 0 29 32 123 70 61 91 452

N.S.

1 0.00 0.94 1.03 3.97 2.26 1.97 2.94 14.58

time (sec)

N/A 0.000 0.200 9.307 5.845 0.277 0.329 92.323 19.625

Problem 891

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 29 29 28 27 27 24 253 28

N.S.

1 0.88 0.88 0.85 0.82 0.82 0.73 7.67 0.85

time (sec)

N/A 0.577 0.153 1.055 0.250 0.268 0.103 0.358 17.438

Problem 892

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 9 9 7 6 6 7 7 6

N.S.

1 0.82 0.82 0.64 0.55 0.55 0.64 0.64 0.55

time (sec)

N/A 0.118 0.000 0.093 0.190 0.260 0.025 0.264 0.039

Problem 893

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 39 23 22 0 23 22 23 23

N.S.

1 1.95 1.15 1.10 0.00 1.15 1.10 1.15 1.15

time (sec)

N/A 0.365 0.045 0.352 0.000 0.266 0.068 0.265 0.117

Problem 894

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 13 16 11 10 0 16

N.S.

1 1.00 1.00 0.93 1.14 0.79 0.71 0.00 1.14

time (sec)

N/A 0.254 0.074 0.436 0.213 0.273 0.091 0.000 0.163

Problem 895

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 39 33 31 38 34 26 73 26

N.S.

1 1.62 1.38 1.29 1.58 1.42 1.08 3.04 1.08

time (sec)

N/A 0.172 0.028 0.701 0.195 0.278 0.072 0.266 18.538

Problem 896

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

33 0 28 26 35 35 32 34 25

N.S.

1 0.00 0.85 0.79 1.06 1.06 0.97 1.03 0.76

time (sec)

N/A 0.000 0.374 3.681 0.247 0.331 0.092 0.283 17.962

Problem 897

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A F B

verified

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

size

26 0 26 24 41 36 37 0 21

N.S.

1 0.00 1.00 0.92 1.58 1.38 1.42 0.00 0.81

time (sec)

N/A 0.000 5.043 0.332 0.280 0.271 0.170 0.000 16.468

Problem 898

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 39 32 32 110 37 36 41 50

N.S.

1 1.26 1.03 1.03 3.55 1.19 1.16 1.32 1.61

time (sec)

N/A 0.417 1.609 0.374 0.329 0.278 0.479 0.279 0.156

Problem 899

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 21 22 21 20 20 20 20 20

N.S.

1 0.78 0.81 0.78 0.74 0.74 0.74 0.74 0.74

time (sec)

N/A 0.178 0.010 0.186 0.211 0.274 0.077 0.267 0.067

Problem 900

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A B B

verified

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

size

30 0 26 31 51 38 22 66 204

N.S.

1 0.00 0.87 1.03 1.70 1.27 0.73 2.20 6.80

time (sec)

N/A 0.000 0.140 21.258 0.338 0.265 1.544 0.461 16.897

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