[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 C C F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

434 529 6019 5421 0 0 0 0 0

N.S.

1 1.22 13.87 12.49 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.759 16.102 2.992 0.000 0.000 0.000 0.000 0.000

Problem 802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

577 636 6084 5441 0 0 0 0 0

N.S.

1 1.10 10.54 9.43 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.017 16.098 2.841 0.000 0.000 0.000 0.000 0.000

Problem 803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

130 158 826 1180 0 0 0 0 0

N.S.

1 1.22 6.35 9.08 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.400 10.174 0.990 0.000 0.000 0.000 0.000 0.000

Problem 804

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

444 526 4974 5421 0 0 0 0 0

N.S.

1 1.18 11.20 12.21 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.782 15.989 1.343 0.000 0.000 0.000 0.000 0.000

Problem 805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 404 76 57 81 0 151 158

N.S.

1 1.00 7.21 1.36 1.02 1.45 0.00 2.70 2.82

time (sec)

N/A 0.362 1.665 0.627 0.263 0.269 0.000 0.487 25.149

Problem 806

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

65 65 68 56 0 84 63 89 55

N.S.

1 1.00 1.05 0.86 0.00 1.29 0.97 1.37 0.85

time (sec)

N/A 0.348 0.222 0.213 0.000 0.315 2.633 0.387 0.044

Problem 807

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 101 66 58 0 78 0 80 52

N.S.

1 1.91 1.25 1.09 0.00 1.47 0.00 1.51 0.98

time (sec)

N/A 0.397 0.167 0.139 0.000 0.256 0.000 0.367 0.044

Problem 808

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

N.S.

1 1.00 1.00 0.93 0.86 0.86 0.86 0.86 0.86

time (sec)

N/A 0.272 0.007 1.100 0.263 0.263 0.064 0.313 20.379

Problem 809

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

61 66 56 44 45 43 60 43 43

N.S.

1 1.08 0.92 0.72 0.74 0.70 0.98 0.70 0.70

time (sec)

N/A 0.292 0.063 0.086 0.178 0.264 0.648 0.329 21.011

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

114 121 103 85 85 91 116 84 84

N.S.

1 1.06 0.90 0.75 0.75 0.80 1.02 0.74 0.74

time (sec)

N/A 0.332 0.144 0.122 0.178 0.266 0.916 0.332 0.090

Problem 811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 60 111 102 0 180 73 92 46

N.S.

1 1.03 1.91 1.76 0.00 3.10 1.26 1.59 0.79

time (sec)

N/A 0.211 0.335 0.115 0.000 0.266 0.956 0.424 21.190

Problem 812

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 60 111 102 0 180 73 92 62

N.S.

1 1.03 1.91 1.76 0.00 3.10 1.26 1.59 1.07

time (sec)

N/A 0.280 0.003 0.069 0.000 0.272 2.218 0.426 21.204

Problem 813

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 55 39 0 125 0 123 67

N.S.

1 1.00 1.04 0.74 0.00 2.36 0.00 2.32 1.26

time (sec)

N/A 0.188 0.510 1.271 0.000 0.263 0.000 0.336 20.636

Problem 814

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

23 23 25 18 17 22 27 18 23

N.S.

1 1.00 1.09 0.78 0.74 0.96 1.17 0.78 1.00

time (sec)

N/A 0.161 0.017 1.031 0.183 0.267 0.078 0.315 0.031

Problem 815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 25 26 17 25 0 54 35

N.S.

1 1.00 1.09 1.13 0.74 1.09 0.00 2.35 1.52

time (sec)

N/A 0.162 0.001 1.048 0.259 0.259 0.000 0.467 21.379

Problem 816

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 54 58 36 37 0 39 180

N.S.

1 1.00 1.64 1.76 1.09 1.12 0.00 1.18 5.45

time (sec)

N/A 0.168 0.061 1.054 0.183 0.300 0.000 0.340 25.922

Problem 817

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 57 35 2 2 0 31 0

N.S.

1 1.00 1.27 0.78 0.04 0.04 0.00 0.69 0.00

time (sec)

N/A 0.316 0.804 1.064 0.264 0.276 0.000 0.324 0.000

Problem 818

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 57 35 2 2 0 31 0

N.S.

1 1.00 1.27 0.78 0.04 0.04 0.00 0.69 0.00

time (sec)

N/A 0.243 0.002 1.056 0.268 0.319 0.000 0.301 0.000

Problem 819

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 57 35 2 2 0 31 0

N.S.

1 1.00 1.27 0.78 0.04 0.04 0.00 0.69 0.00

time (sec)

N/A 0.284 0.001 1.041 0.270 0.273 0.000 0.313 0.000

Problem 820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 57 20 2 2 0 12 0

N.S.

1 1.00 1.27 0.44 0.04 0.04 0.00 0.27 0.00

time (sec)

N/A 0.332 3.792 1.073 0.263 0.276 0.000 0.308 0.000

Problem 821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 39 41 0 6 0 6 0

N.S.

1 1.00 0.75 0.79 0.00 0.12 0.00 0.12 0.00

time (sec)

N/A 0.356 1.604 1.064 0.000 0.277 0.000 0.336 0.000

Problem 822

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 39 21 6 6 0 6 0

N.S.

1 1.00 0.75 0.40 0.12 0.12 0.00 0.12 0.00

time (sec)

N/A 0.356 1.547 1.070 0.265 0.264 0.000 0.325 0.000

Problem 823

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 67 40 0 8 0 8 0

N.S.

1 1.00 0.99 0.59 0.00 0.12 0.00 0.12 0.00

time (sec)

N/A 0.422 1.646 0.058 0.000 0.269 0.000 0.310 0.000

Problem 824

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 39 29 27 25 0 54 19

N.S.

1 1.00 1.26 0.94 0.87 0.81 0.00 1.74 0.61

time (sec)

N/A 0.162 0.278 1.112 0.259 0.273 0.000 0.313 0.074

Problem 825

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 23 29 25 25 0 54 19

N.S.

1 1.00 0.74 0.94 0.81 0.81 0.00 1.74 0.61

time (sec)

N/A 0.408 0.247 1.187 0.216 0.265 0.000 0.338 0.037

Problem 826

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 23 29 0 25 0 68 19

N.S.

1 1.00 0.74 0.94 0.00 0.81 0.00 2.19 0.61

time (sec)

N/A 0.292 0.273 0.092 0.000 0.283 0.000 0.369 0.068

Problem 827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 23 29 0 25 0 68 19

N.S.

1 1.00 0.74 0.94 0.00 0.81 0.00 2.19 0.61

time (sec)

N/A 0.287 0.269 0.091 0.000 0.273 0.000 0.310 0.052

Problem 828

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 23 29 0 25 0 68 19

N.S.

1 1.00 0.74 0.94 0.00 0.81 0.00 2.19 0.61

time (sec)

N/A 0.677 0.278 1.092 0.000 0.290 0.000 0.379 21.082

Problem 829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 50 38 58 85 44 172 0 0

N.S.

1 1.16 0.88 1.35 1.98 1.02 4.00 0.00 0.00

time (sec)

N/A 0.241 0.133 1.206 0.182 0.304 1.218 0.000 0.000

Problem 830

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 53 45 0 44 0 57 31

N.S.

1 1.00 1.26 1.07 0.00 1.05 0.00 1.36 0.74

time (sec)

N/A 0.294 0.101 1.113 0.000 0.287 0.000 0.340 20.710

Problem 831

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 50 57 0 80 0 133 60

N.S.

1 1.00 0.77 0.88 0.00 1.23 0.00 2.05 0.92

time (sec)

N/A 0.312 0.123 1.117 0.000 0.262 0.000 0.332 0.387

Problem 832

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 206 179 729 0 1174 0 558 0

N.S.

1 1.06 0.92 3.74 0.00 6.02 0.00 2.86 0.00

time (sec)

N/A 0.405 0.933 1.389 0.000 0.299 0.000 0.343 0.000

Problem 833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 21 34 52 37 34 20

N.S.

1 1.00 1.00 0.75 1.21 1.86 1.32 1.21 0.71

time (sec)

N/A 0.154 0.029 1.543 0.264 0.256 5.908 0.295 21.788

Problem 834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 21 0 52 0 34 0

N.S.

1 1.00 1.00 0.75 0.00 1.86 0.00 1.21 0.00

time (sec)

N/A 0.229 0.001 1.335 0.000 0.258 0.000 0.307 0.000

Problem 835

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

22 22 22 19 18 18 17 18 18

N.S.

1 1.00 1.00 0.86 0.82 0.82 0.77 0.82 0.82

time (sec)

N/A 0.144 0.005 1.122 0.182 0.256 0.065 0.435 21.069

Problem 836

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

22 22 22 19 18 18 17 18 18

N.S.

1 1.00 1.00 0.86 0.82 0.82 0.77 0.82 0.82

time (sec)

N/A 0.247 0.001 1.142 0.188 0.273 0.212 0.471 0.032

Problem 837

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 12 0 11 36 11 11

N.S.

1 1.00 1.00 0.71 0.00 0.65 2.12 0.65 0.65

time (sec)

N/A 0.166 0.031 1.247 0.000 0.281 0.226 0.297 22.172

Problem 838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

17 17 17 125 0 11 0 11 0

N.S.

1 1.00 1.00 7.35 0.00 0.65 0.00 0.65 0.00

time (sec)

N/A 0.213 0.029 1.148 0.000 0.312 0.000 0.303 0.000

Problem 839

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 23 7 6 19 7 19 6

N.S.

1 1.00 2.30 0.70 0.60 1.90 0.70 1.90 0.60

time (sec)

N/A 0.123 0.022 1.548 0.272 0.287 0.070 0.354 0.011

Problem 840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B A B C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 23 34 6 25 49 12 32

N.S.

1 1.00 2.30 3.40 0.60 2.50 4.90 1.20 3.20

time (sec)

N/A 0.122 0.001 1.230 0.275 0.291 0.544 0.330 0.147

Problem 841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 23 7 6 19 7 19 6

N.S.

1 1.00 2.30 0.70 0.60 1.90 0.70 1.90 0.60

time (sec)

N/A 0.136 0.001 1.091 0.280 0.253 0.519 0.309 0.014

Problem 842

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

12 12 23 7 8 29 7 26 6

N.S.

1 1.00 1.92 0.58 0.67 2.42 0.58 2.17 0.50

time (sec)

N/A 0.135 0.050 1.211 0.265 0.259 0.265 0.327 21.282

Problem 843

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B A B C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 44 31 8 29 39 13 30

N.S.

1 1.00 3.67 2.58 0.67 2.42 3.25 1.08 2.50

time (sec)

N/A 0.138 0.024 1.205 0.262 0.261 0.530 0.327 0.126

Problem 844

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 44 7 8 29 7 26 6

N.S.

1 1.00 3.67 0.58 0.67 2.42 0.58 2.17 0.50

time (sec)

N/A 0.150 0.001 1.204 0.260 0.283 0.569 0.307 21.092

Problem 845

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

4 12 23 5 8 29 3 24 4

N.S.

1 3.00 5.75 1.25 2.00 7.25 0.75 6.00 1.00

time (sec)

N/A 0.134 0.046 1.264 0.269 0.266 0.271 0.444 21.150

Problem 846

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B B A B C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

4 12 44 29 8 29 39 13 33

N.S.

1 3.00 11.00 7.25 2.00 7.25 9.75 3.25 8.25

time (sec)

N/A 0.139 0.024 1.205 0.265 0.280 0.540 0.428 0.090

Problem 847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

4 12 44 5 8 29 3 24 4

N.S.

1 3.00 11.00 1.25 2.00 7.25 0.75 6.00 1.00

time (sec)

N/A 0.147 0.001 1.176 0.279 0.304 0.574 0.328 0.064

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

11 11 11 8 7 7 8 7 7

N.S.

1 1.00 1.00 0.73 0.64 0.64 0.73 0.64 0.64

time (sec)

N/A 0.130 0.001 0.035 0.186 0.249 0.020 0.305 0.027

Problem 849

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

N.S.

1 1.00 1.00 0.73 0.64 0.64 0.73 0.64 0.64

time (sec)

N/A 0.135 0.000 1.104 0.195 0.283 0.060 0.298 0.027

Problem 850

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 44 24 0 26 7 10 0

N.S.

1 1.00 1.63 0.89 0.00 0.96 0.26 0.37 0.00

time (sec)

N/A 0.145 0.023 1.099 0.000 0.261 0.770 0.360 0.000

Problem 851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 44 30 0 26 0 10 0

N.S.

1 1.00 1.63 1.11 0.00 0.96 0.00 0.37 0.00

time (sec)

N/A 0.144 0.001 0.160 0.000 0.271 0.000 0.316 0.000

Problem 852

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 56 28 14 14 15 26 0

N.S.

1 1.00 2.24 1.12 0.56 0.56 0.60 1.04 0.00

time (sec)

N/A 0.142 0.014 1.108 0.183 0.275 0.656 0.311 0.000

Problem 853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 29 56 28 0 14 0 21 0

N.S.

1 1.16 2.24 1.12 0.00 0.56 0.00 0.84 0.00

time (sec)

N/A 0.149 0.001 0.114 0.000 0.286 0.000 0.335 0.000

Problem 854

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

N.S.

1 1.00 1.00 0.91 0.82 0.82 0.73 0.82 0.82

time (sec)

N/A 0.118 0.001 1.121 0.184 0.273 0.023 0.313 21.178

Problem 855

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 20 17 12 16 0 15 16

N.S.

1 1.00 1.82 1.55 1.09 1.45 0.00 1.36 1.45

time (sec)

N/A 0.123 0.043 1.108 0.198 0.250 0.000 0.327 21.776

Problem 856

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

9 9 9 8 7 7 7 7 7

N.S.

1 1.00 1.00 0.89 0.78 0.78 0.78 0.78 0.78

time (sec)

N/A 0.115 0.001 1.082 0.187 0.249 0.019 0.397 21.409

Problem 857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B A C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

9 9 22 22 7 23 0 13 18

N.S.

1 1.00 2.44 2.44 0.78 2.56 0.00 1.44 2.00

time (sec)

N/A 0.118 0.041 1.138 0.195 0.254 0.000 0.316 21.496

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

13 13 13 10 9 12 10 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.92 0.77 0.69 0.69

time (sec)

N/A 0.117 0.001 1.199 0.186 0.242 0.022 0.337 0.095

Problem 859

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 22 20 12 19 0 15 20

N.S.

1 1.00 1.69 1.54 0.92 1.46 0.00 1.15 1.54

time (sec)

N/A 0.122 0.036 1.198 0.194 0.240 0.000 0.334 21.238

Problem 860

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

N.S.

1 1.00 1.00 0.73 0.64 0.64 0.73 0.64 0.64

time (sec)

N/A 0.115 0.001 1.165 0.191 0.238 0.024 0.335 21.306

Problem 861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 24 22 7 26 0 13 22

N.S.

1 1.00 2.18 2.00 0.64 2.36 0.00 1.18 2.00

time (sec)

N/A 0.120 0.036 1.147 0.195 0.254 0.000 0.297 21.446

Problem 862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 48 67 41 52 100 39 172

N.S.

1 1.00 1.37 1.91 1.17 1.49 2.86 1.11 4.91

time (sec)

N/A 0.141 0.075 1.144 0.276 0.274 0.950 0.298 24.154

Problem 863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 49 86 0 96 0 69 0

N.S.

1 1.00 1.40 2.46 0.00 2.74 0.00 1.97 0.00

time (sec)

N/A 0.154 1.678 1.296 0.000 0.279 0.000 0.374 0.000

Problem 864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 69 70 53 74 0 163 0

N.S.

1 1.00 1.60 1.63 1.23 1.72 0.00 3.79 0.00

time (sec)

N/A 0.167 0.168 1.158 0.269 0.255 0.000 0.383 0.000

Problem 865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 59 32 53 63 0 44 37

N.S.

1 1.00 1.69 0.91 1.51 1.80 0.00 1.26 1.06

time (sec)

N/A 0.178 0.112 1.197 0.280 0.245 0.000 0.384 25.777

Problem 866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 83 134 65 93 0 196 0

N.S.

1 1.00 1.63 2.63 1.27 1.82 0.00 3.84 0.00

time (sec)

N/A 0.185 0.214 1.181 0.270 0.280 0.000 0.435 0.000

Problem 867

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 71 99 65 82 0 87 82

N.S.

1 1.00 1.58 2.20 1.44 1.82 0.00 1.93 1.82

time (sec)

N/A 0.200 1.344 1.233 0.275 0.254 0.000 0.340 0.105

Problem 868

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

2 2 20 3 2 18 2 17 2

N.S.

1 1.00 10.00 1.50 1.00 9.00 1.00 8.50 1.00

time (sec)

N/A 0.119 0.001 1.148 0.294 0.253 0.062 0.346 0.007

Problem 869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

2 2 32 29 0 27 0 0 0

N.S.

1 1.00 16.00 14.50 0.00 13.50 0.00 0.00 0.00

time (sec)

N/A 0.132 0.542 1.231 0.000 0.250 0.000 0.000 0.000

Problem 870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

2 2 16 3 2 14 2 25 2

N.S.

1 1.00 8.00 1.50 1.00 7.00 1.00 12.50 1.00

time (sec)

N/A 0.120 0.011 1.240 0.271 0.270 0.062 0.335 0.029

Problem 871

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

2 2 42 29 0 81 0 0 0

N.S.

1 1.00 21.00 14.50 0.00 40.50 0.00 0.00 0.00

time (sec)

N/A 0.133 0.511 1.270 0.000 0.255 0.000 0.000 0.000

Problem 872

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

23 23 37 18 17 31 15 17 17

N.S.

1 1.00 1.61 0.78 0.74 1.35 0.65 0.74 0.74

time (sec)

N/A 0.135 0.035 1.269 0.271 0.241 0.079 0.329 0.033

Problem 873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 50 42 0 60 0 0 0

N.S.

1 1.00 2.17 1.83 0.00 2.61 0.00 0.00 0.00

time (sec)

N/A 0.149 0.610 1.169 0.000 0.246 0.000 0.000 0.000

Problem 874

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 21 33 16 15 25 15 25 15

N.S.

1 1.00 1.57 0.76 0.71 1.19 0.71 1.19 0.71

time (sec)

N/A 0.129 0.019 1.278 0.280 0.263 0.081 0.304 0.032

Problem 875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 70 47 0 120 0 0 0

N.S.

1 1.00 3.33 2.24 0.00 5.71 0.00 0.00 0.00

time (sec)

N/A 0.142 0.616 1.118 0.000 0.250 0.000 0.000 0.000

Problem 876

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F B

verified

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

size

49 57 53 0 0 0 0 0 54

N.S.

1 1.16 1.08 0.00 0.00 0.00 0.00 0.00 1.10

time (sec)

N/A 0.182 0.021 0.000 0.000 0.000 0.000 0.000 23.468

Problem 877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 33 21 0 30 65 30 20

N.S.

1 1.00 1.18 0.75 0.00 1.07 2.32 1.07 0.71

time (sec)

N/A 0.153 0.022 1.140 0.000 0.254 0.189 0.309 0.036

Problem 878

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 39 197 0 84 17 140 105

N.S.

1 1.00 1.05 5.32 0.00 2.27 0.46 3.78 2.84

time (sec)

N/A 0.222 0.040 0.298 0.000 0.243 0.070 0.328 0.153

Problem 879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 40 68 33 0 90 27 88 57

N.S.

1 1.00 1.70 0.82 0.00 2.25 0.68 2.20 1.42

time (sec)

N/A 0.224 0.093 0.230 0.000 0.262 0.089 0.384 0.189

Problem 880

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 79 45 94 67 0 117 86

N.S.

1 1.00 1.46 0.83 1.74 1.24 0.00 2.17 1.59

time (sec)

N/A 0.306 0.095 1.125 0.275 0.261 0.000 0.459 21.957

Problem 881

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 60 78 45 0 67 0 117 86

N.S.

1 1.00 1.30 0.75 0.00 1.12 0.00 1.95 1.43

time (sec)

N/A 0.437 0.079 1.131 0.000 0.240 0.000 0.377 21.712

Problem 882

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 45 35 0 66 0 50 0

N.S.

1 1.00 0.88 0.69 0.00 1.29 0.00 0.98 0.00

time (sec)

N/A 0.288 0.113 0.099 0.000 0.245 0.000 0.314 0.000

Problem 883

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 45 35 54 66 0 50 0

N.S.

1 1.00 0.88 0.69 1.06 1.29 0.00 0.98 0.00

time (sec)

N/A 0.278 0.095 1.193 0.273 0.243 0.000 0.325 0.000

Problem 884

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 45 51 54 64 0 109 56

N.S.

1 1.00 0.88 1.00 1.06 1.25 0.00 2.14 1.10

time (sec)

N/A 0.270 0.003 1.121 0.270 0.255 0.000 0.345 24.313

Problem 885

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 58 69 51 0 64 0 109 56

N.S.

1 1.07 1.28 0.94 0.00 1.19 0.00 2.02 1.04

time (sec)

N/A 0.289 0.105 0.036 0.000 0.260 0.000 0.376 0.063

Problem 886

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 25 23 20 0 20 0 0 20

N.S.

1 0.93 0.85 0.74 0.00 0.74 0.00 0.00 0.74

time (sec)

N/A 0.163 0.013 0.085 0.000 0.247 0.000 0.000 23.576

Problem 887

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 12 13 0 16 0 0 138

N.S.

1 1.00 0.86 0.93 0.00 1.14 0.00 0.00 9.86

time (sec)

N/A 0.205 0.158 1.172 0.000 0.263 0.000 0.000 22.464

Problem 888

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 11 0 16 0 0 10

N.S.

1 1.00 1.00 0.92 0.00 1.33 0.00 0.00 0.83

time (sec)

N/A 0.198 0.001 1.164 0.000 0.256 0.000 0.000 0.055

Problem 889

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 29 31 0 30 0 0 48

N.S.

1 1.00 0.81 0.86 0.00 0.83 0.00 0.00 1.33

time (sec)

N/A 0.295 0.008 1.158 0.000 0.260 0.000 0.000 22.126

Problem 890

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 29 31 0 30 0 0 43

N.S.

1 1.00 0.88 0.94 0.00 0.91 0.00 0.00 1.30

time (sec)

N/A 0.353 0.002 1.070 0.000 0.266 0.000 0.000 22.947

Problem 891

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 70 103 0 208 0 92 0

N.S.

1 1.00 1.00 1.47 0.00 2.97 0.00 1.31 0.00

time (sec)

N/A 0.199 0.348 1.108 0.000 0.256 0.000 0.349 0.000

Problem 892

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 62 56 60 0 38 0 46 0

N.S.

1 0.75 0.67 0.72 0.00 0.46 0.00 0.55 0.00

time (sec)

N/A 0.291 0.033 1.695 0.000 0.257 0.000 0.325 0.000

Problem 893

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 44 63 0 36 0 18 0

N.S.

1 1.00 0.94 1.34 0.00 0.77 0.00 0.38 0.00

time (sec)

N/A 0.447 5.268 1.115 0.000 0.289 0.000 0.304 0.000

Problem 894

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 82 70 75 0 74 0 39 0

N.S.

1 0.67 0.57 0.61 0.00 0.60 0.00 0.32 0.00

time (sec)

N/A 0.460 0.031 1.056 0.000 0.251 0.000 0.336 0.000

Problem 895

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 115 76 62 0 117 0 86 0

N.S.

1 0.86 0.57 0.47 0.00 0.88 0.00 0.65 0.00

time (sec)

N/A 0.291 0.255 0.331 0.000 0.258 0.000 0.323 0.000

Problem 896

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 76 56 49 0 83 0 67 0

N.S.

1 0.84 0.62 0.54 0.00 0.92 0.00 0.74 0.00

time (sec)

N/A 0.257 0.137 0.138 0.000 0.255 0.000 0.323 0.000

Problem 897

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 43 53 42 0 75 0 49 0

N.S.

1 0.70 0.87 0.69 0.00 1.23 0.00 0.80 0.00

time (sec)

N/A 0.220 0.063 0.126 0.000 0.266 0.000 0.306 0.000

Problem 898

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 71 82 79 0 142 0 88 0

N.S.

1 0.65 0.75 0.72 0.00 1.30 0.00 0.81 0.00

time (sec)

N/A 0.261 0.106 0.283 0.000 0.265 0.000 0.376 0.000

Problem 899

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 103 108 109 0 205 0 170 0

N.S.

1 0.72 0.75 0.76 0.00 1.42 0.00 1.18 0.00

time (sec)

N/A 0.292 0.266 0.293 0.000 0.288 0.000 0.399 0.000

Problem 900

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 25 25 0 31 0 30 23

N.S.

1 1.00 0.89 0.89 0.00 1.11 0.00 1.07 0.82

time (sec)

N/A 0.279 0.084 1.066 0.000 0.250 0.000 0.300 0.069

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