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

Integrals 8801 to 8900

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 8801

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

N.S.

1 0.76 0.76 0.76 0.71 0.71 0.67 0.81 0.62

time (sec)

N/A 0.025 0.009 0.642 0.187 0.259 0.066 0.263 0.108

Problem 8802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A B B B

verified

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

size

21 0 20 20 127 32 56 63 33

N.S.

1 0.00 0.95 0.95 6.05 1.52 2.67 3.00 1.57

time (sec)

N/A 0.000 0.922 0.474 0.323 0.274 0.080 0.264 0.232

Problem 8803

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

19 0 22 22 33 23 22 46 46

N.S.

1 0.00 1.16 1.16 1.74 1.21 1.16 2.42 2.42

time (sec)

N/A 0.000 0.145 0.491 0.315 0.290 0.146 0.277 16.321

Problem 8804

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

28 0 31 37 36 52 29 65 78

N.S.

1 0.00 1.11 1.32 1.29 1.86 1.04 2.32 2.79

time (sec)

N/A 0.000 0.092 1.323 0.263 0.269 0.135 0.299 14.344

Problem 8805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 19 17 16 50 15 17 15 0

N.S.

1 0.90 0.81 0.76 2.38 0.71 0.81 0.71 0.00

time (sec)

N/A 0.195 0.191 244.741 0.281 0.282 2.085 0.262 0.000

Problem 8806

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 98 346 63 103 79 102 82 0

N.S.

1 2.97 10.48 1.91 3.12 2.39 3.09 2.48 0.00

time (sec)

N/A 0.169 0.246 0.321 0.184 0.302 2.314 0.271 0.000

Problem 8807

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

10 10 10 10 11 12 5 12 9

N.S.

1 1.00 1.00 1.00 1.10 1.20 0.50 1.20 0.90

time (sec)

N/A 0.018 0.010 0.199 0.210 0.256 0.041 0.265 14.512

Problem 8808

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 42 26 24 25 25 20 26 23

N.S.

1 1.31 0.81 0.75 0.78 0.78 0.62 0.81 0.72

time (sec)

N/A 0.108 0.120 0.125 0.181 0.302 0.064 0.265 14.452

Problem 8809

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B C B B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 157 46 68 126 66 32 91 54

N.S.

1 5.61 1.64 2.43 4.50 2.36 1.14 3.25 1.93

time (sec)

N/A 0.705 0.387 3.826 0.347 0.284 0.131 0.725 14.933

Problem 8810

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

25 0 31 62 82 76 83 71 73

N.S.

1 0.00 1.24 2.48 3.28 3.04 3.32 2.84 2.92

time (sec)

N/A 0.000 0.118 2.040 0.315 0.285 0.116 0.325 15.283

Problem 8811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A B B

verified

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

size

22 0 33 36 109 35 27 69 57

N.S.

1 0.00 1.50 1.64 4.95 1.59 1.23 3.14 2.59

time (sec)

N/A 0.000 0.254 0.814 0.433 0.271 0.256 0.833 15.845

Problem 8812

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 37 26 42 25 24 25 25

N.S.

1 0.00 1.42 1.00 1.62 0.96 0.92 0.96 0.96

time (sec)

N/A 0.000 0.377 242.346 0.272 0.285 2.744 9.078 14.809

Problem 8813

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B B B B B B B

verified

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

size

36 0 99 108 112 93 109 114 102

N.S.

1 0.00 2.75 3.00 3.11 2.58 3.03 3.17 2.83

time (sec)

N/A 0.000 0.417 0.564 0.205 0.339 24.767 0.707 14.458

Problem 8814

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 18 14 14 17 17 15 17 19

N.S.

1 1.12 0.88 0.88 1.06 1.06 0.94 1.06 1.19

time (sec)

N/A 0.075 0.050 0.099 0.180 0.282 0.054 0.258 0.076

Problem 8815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 152 33 42 70 41 0 41 42

N.S.

1 5.24 1.14 1.45 2.41 1.41 0.00 1.41 1.45

time (sec)

N/A 0.288 0.136 103.643 27.017 0.297 0.000 0.615 14.646

Problem 8816

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 0 26 31 31 33 0 23 32

N.S.

1 0.00 1.04 1.24 1.24 1.32 0.00 0.92 1.28

time (sec)

N/A 0.000 0.161 4.262 0.330 0.342 0.000 0.259 10.431

Problem 8817

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B F A A A F B

verified

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

size

23 0 123 0 24 24 24 0 26

N.S.

1 0.00 5.35 0.00 1.04 1.04 1.04 0.00 1.13

time (sec)

N/A 0.000 0.399 0.000 0.365 0.307 0.781 0.000 13.116

Problem 8818

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F F A A A A B B

verified

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

size

20 0 0 19 21 21 17 44 20

N.S.

1 0.00 0.00 0.95 1.05 1.05 0.85 2.20 1.00

time (sec)

N/A 0.000 0.000 7.535 0.313 0.294 0.164 0.266 15.623

Problem 8819

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 50 23 23 0 27 22 32 21

N.S.

1 1.85 0.85 0.85 0.00 1.00 0.81 1.19 0.78

time (sec)

N/A 0.353 0.193 1.583 0.000 0.293 0.160 0.308 16.682

Problem 8820

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 25 23 30 32 39 32 27 28

N.S.

1 1.00 0.92 1.20 1.28 1.56 1.28 1.08 1.12

time (sec)

N/A 0.033 0.019 0.115 0.174 0.302 0.134 0.257 0.103

Problem 8821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

33 0 31 27 0 26 26 42 26

N.S.

1 0.00 0.94 0.82 0.00 0.79 0.79 1.27 0.79

time (sec)

N/A 0.000 0.112 0.138 0.000 0.302 0.560 0.534 14.643

Problem 8822

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 0 43 154 185 85 133 149 39

N.S.

1 0.00 1.39 4.97 5.97 2.74 4.29 4.81 1.26

time (sec)

N/A 0.000 0.203 11.099 0.347 0.295 0.276 0.423 13.271

Problem 8823

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

N.S.

1 1.11 1.07 0.96 0.96 1.11 0.89 0.93 0.89

time (sec)

N/A 0.012 0.017 0.102 0.180 0.292 0.056 0.273 0.056

Problem 8824

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

30 29 0 26 25 34 26 32 25

N.S.

1 0.97 0.00 0.87 0.83 1.13 0.87 1.07 0.83

time (sec)

N/A 0.063 0.000 0.200 0.177 0.290 0.095 0.266 12.796

Problem 8825

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 21 21 18 49 17 15 17 19

N.S.

1 1.00 1.00 0.86 2.33 0.81 0.71 0.81 0.90

time (sec)

N/A 0.044 0.339 0.045 0.216 0.323 0.051 0.286 12.458

Problem 8826

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 101 19960 157 136 115 139 120 0

N.S.

1 4.59 907.27 7.14 6.18 5.23 6.32 5.45 0.00

time (sec)

N/A 0.729 50.418 1.282 0.190 0.337 10.774 0.479 0.000

Problem 8827

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

24 45 22 27 44 26 27 35 19

N.S.

1 1.88 0.92 1.12 1.83 1.08 1.12 1.46 0.79

time (sec)

N/A 0.060 0.276 0.268 0.204 0.304 0.075 0.249 0.086

Problem 8828

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

21 82 99 97 99 127 95 104 124

N.S.

1 3.90 4.71 4.62 4.71 6.05 4.52 4.95 5.90

time (sec)

N/A 0.143 0.160 0.205 0.182 0.295 0.355 0.263 0.405

Problem 8829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 34 28 34 574 29 24 0 0

N.S.

1 1.17 0.97 1.17 19.79 1.00 0.83 0.00 0.00

time (sec)

N/A 0.344 0.105 3.468 0.495 0.316 0.246 0.000 0.000

Problem 8830

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 1216 40 144 1389 123 141 614 39

N.S.

1 45.04 1.48 5.33 51.44 4.56 5.22 22.74 1.44

time (sec)

N/A 2.601 0.091 1.028 0.229 0.287 0.172 0.287 14.059

Problem 8831

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

34 69 33 34 41 37 36 37 43

N.S.

1 2.03 0.97 1.00 1.21 1.09 1.06 1.09 1.26

time (sec)

N/A 0.779 1.001 0.293 0.351 0.296 0.098 0.277 14.026

Problem 8832

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 22 22 22 21 21 22 21 21

N.S.

1 0.92 0.92 0.92 0.88 0.88 0.92 0.88 0.88

time (sec)

N/A 0.016 0.007 0.107 0.199 0.305 0.072 0.258 14.582

Problem 8833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 23 29 84 85 78 0 0

N.S.

1 0.00 0.82 1.04 3.00 3.04 2.79 0.00 0.00

time (sec)

N/A 0.000 0.073 1.432 0.315 0.297 0.157 0.000 0.000

Problem 8834

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 30 29 25 25 25 37 25 25

N.S.

1 1.15 1.12 0.96 0.96 0.96 1.42 0.96 0.96

time (sec)

N/A 0.177 0.114 0.164 0.201 0.311 0.083 0.251 12.708

Problem 8835

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

N.S.

1 0.88 0.88 0.82 0.76 0.76 0.71 0.76 0.76

time (sec)

N/A 0.113 0.048 0.747 0.222 0.288 0.040 0.267 11.820

Problem 8836

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B B F B B B B

verified

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

size

32 0 91 196 0 145 233 294 233

N.S.

1 0.00 2.84 6.12 0.00 4.53 7.28 9.19 7.28

time (sec)

N/A 0.000 0.153 0.260 0.000 0.308 0.226 0.346 12.943

Problem 8837

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

18 40 27 26 44 25 27 25 25

N.S.

1 2.22 1.50 1.44 2.44 1.39 1.50 1.39 1.39

time (sec)

N/A 0.027 0.012 0.047 0.194 0.307 0.055 0.251 11.768

Problem 8838

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

12 31 22 13 54 12 12 12 10

N.S.

1 2.58 1.83 1.08 4.50 1.00 1.00 1.00 0.83

time (sec)

N/A 0.043 0.037 0.742 0.281 0.294 0.062 0.267 0.129

Problem 8839

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

20 0 15 19 14 23 17 0 16

N.S.

1 0.00 0.75 0.95 0.70 1.15 0.85 0.00 0.80

time (sec)

N/A 0.000 0.144 0.214 0.266 0.316 0.098 0.000 12.039

Problem 8840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B B B B B B B

verified

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

size

23 0 63 95 94 63 70 63 67

N.S.

1 0.00 2.74 4.13 4.09 2.74 3.04 2.74 2.91

time (sec)

N/A 0.000 0.104 1.957 0.241 0.283 0.203 0.366 12.226

Problem 8841

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 42 37 37 46 36 34 38 36

N.S.

1 1.50 1.32 1.32 1.64 1.29 1.21 1.36 1.29

time (sec)

N/A 0.097 0.817 0.060 0.240 0.282 0.064 0.264 0.110

Problem 8842

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

18 16 16 16 12 15 12 13 15

N.S.

1 0.89 0.89 0.89 0.67 0.83 0.67 0.72 0.83

time (sec)

N/A 0.015 0.007 0.611 0.178 0.264 0.044 0.251 12.474

Problem 8843

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

35 35 33 46 91 39 27 50 121

N.S.

1 1.00 0.94 1.31 2.60 1.11 0.77 1.43 3.46

time (sec)

N/A 0.267 0.800 0.762 0.249 0.314 0.171 0.251 13.241

Problem 8844

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

20 36 36 25 50 25 22 25 24

N.S.

1 1.80 1.80 1.25 2.50 1.25 1.10 1.25 1.20

time (sec)

N/A 0.201 0.100 0.031 0.224 0.267 0.041 0.260 7.432

Problem 8845

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

17 0 16 19 15 15 15 15 15

N.S.

1 0.00 0.94 1.12 0.88 0.88 0.88 0.88 0.88

time (sec)

N/A 0.000 0.254 0.088 0.217 0.279 0.067 0.263 14.383

Problem 8846

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

N.S.

1 0.53 0.53 0.53 0.47 0.47 0.42 0.47 0.47

time (sec)

N/A 0.004 0.029 0.027 0.187 0.270 0.040 0.264 12.966

Problem 8847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 21 35 0 32 0 64 55

N.S.

1 0.00 0.78 1.30 0.00 1.19 0.00 2.37 2.04

time (sec)

N/A 0.000 0.566 0.149 0.000 0.274 0.000 0.261 13.339

Problem 8848

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

23 23 24 23 31 22 19 27 18

N.S.

1 1.00 1.04 1.00 1.35 0.96 0.83 1.17 0.78

time (sec)

N/A 0.030 0.011 0.464 0.220 0.264 0.068 0.254 12.830

Problem 8849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 40 28 30 29 33 39 29 29

N.S.

1 1.82 1.27 1.36 1.32 1.50 1.77 1.32 1.32

time (sec)

N/A 0.443 0.131 0.148 0.192 0.285 0.154 0.253 0.395

Problem 8850

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 64 51 45 78 44 49 44 87

N.S.

1 2.56 2.04 1.80 3.12 1.76 1.96 1.76 3.48

time (sec)

N/A 1.043 0.157 0.257 0.476 0.290 0.182 0.404 12.284

Problem 8851

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

N.S.

1 0.57 0.57 0.52 0.48 1.00 0.35 0.48 0.48

time (sec)

N/A 0.007 0.026 0.107 0.205 0.263 0.039 0.261 11.936

Problem 8852

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

32 0 30 35 24 55 31 0 24

N.S.

1 0.00 0.94 1.09 0.75 1.72 0.97 0.00 0.75

time (sec)

N/A 0.000 5.131 1.099 0.342 0.265 0.282 0.000 12.139

Problem 8853

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

6 6 6 6 5 5 5 5 5

N.S.

1 1.00 1.00 1.00 0.83 0.83 0.83 0.83 0.83

time (sec)

N/A 0.001 0.000 0.028 0.192 0.240 0.015 0.262 0.002

Problem 8854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 37 33 34 0 0 0 36

N.S.

1 0.00 1.32 1.18 1.21 0.00 0.00 0.00 1.29

time (sec)

N/A 0.000 0.246 295.792 0.384 0.000 0.000 0.000 12.760

Problem 8855

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

N.S.

1 1.08 1.00 1.08 1.31 1.31 0.92 1.31 1.08

time (sec)

N/A 0.002 0.002 0.083 0.198 0.239 0.022 0.252 0.088

Problem 8856

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

37 0 67 63 142 142 119 176 0

N.S.

1 0.00 1.81 1.70 3.84 3.84 3.22 4.76 0.00

time (sec)

N/A 0.000 6.806 0.250 0.361 0.264 0.216 0.303 0.000

Problem 8857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 29 12 14 120 15 12 15 13

N.S.

1 2.23 0.92 1.08 9.23 1.15 0.92 1.15 1.00

time (sec)

N/A 0.016 0.057 0.073 0.218 0.298 0.048 0.259 11.993

Problem 8858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 27 19 21 22 21 0 16 15

N.S.

1 1.42 1.00 1.11 1.16 1.11 0.00 0.84 0.79

time (sec)

N/A 0.342 0.050 0.632 0.336 0.261 0.000 0.252 12.304

Problem 8859

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

18 0 15 16 15 15 14 15 15

N.S.

1 0.00 0.83 0.89 0.83 0.83 0.78 0.83 0.83

time (sec)

N/A 0.000 0.147 1.229 0.213 0.269 0.138 0.265 12.744

Problem 8860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 503 19 19 18 18 14 18 18

N.S.

1 22.86 0.86 0.86 0.82 0.82 0.64 0.82 0.82

time (sec)

N/A 0.746 0.578 0.095 0.228 0.247 0.056 0.268 0.267

Problem 8861

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

26 0 25 25 24 39 19 39 24

N.S.

1 0.00 0.96 0.96 0.92 1.50 0.73 1.50 0.92

time (sec)

N/A 0.000 1.698 0.220 0.206 0.247 0.055 0.268 12.448

Problem 8862

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

N.S.

1 1.64 1.05 1.00 1.23 1.14 1.09 1.14 1.09

time (sec)

N/A 0.043 0.021 0.070 0.177 0.259 0.285 0.255 0.107

Problem 8863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 333 112 103 71 192 146 114 0

N.S.

1 13.32 4.48 4.12 2.84 7.68 5.84 4.56 0.00

time (sec)

N/A 0.363 0.278 4.829 0.278 0.259 0.161 0.291 0.000

Problem 8864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B A F B

verified

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

size

29 0 30 23 28 82 22 0 31

N.S.

1 0.00 1.03 0.79 0.97 2.83 0.76 0.00 1.07

time (sec)

N/A 0.000 3.242 0.205 0.521 0.259 0.364 0.000 12.455

Problem 8865

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

N.S.

1 0.77 0.77 0.81 0.85 0.85 0.85 0.73 0.77

time (sec)

N/A 0.073 0.378 0.088 0.177 0.249 0.090 0.312 12.441

Problem 8866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 0 58 0 57 53 50 0

N.S.

1 0.00 0.00 1.93 0.00 1.90 1.77 1.67 0.00

time (sec)

N/A 0.000 0.000 1.629 0.000 0.254 1.687 1.084 0.000

Problem 8867

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

30 59 45 23 50 25 29 25 29

N.S.

1 1.97 1.50 0.77 1.67 0.83 0.97 0.83 0.97

time (sec)

N/A 0.224 0.128 1.034 0.297 0.253 0.137 0.257 0.277

Problem 8868

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 93 19 27 18 18 26 26 0

N.S.

1 4.89 1.00 1.42 0.95 0.95 1.37 1.37 0.00

time (sec)

N/A 0.860 0.361 48.643 0.223 0.253 8.028 0.309 0.000

Problem 8869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

22 0 25 23 0 24 0 26 25

N.S.

1 0.00 1.14 1.05 0.00 1.09 0.00 1.18 1.14

time (sec)

N/A 0.000 0.713 13.932 0.000 0.250 0.000 0.264 12.944

Problem 8870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 33 16 19 51 29 39 38 16

N.S.

1 2.06 1.00 1.19 3.19 1.81 2.44 2.38 1.00

time (sec)

N/A 0.013 0.014 0.727 0.179 0.262 0.325 0.254 12.190

Problem 8871

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 23 14 15 21 21 12 21 17

N.S.

1 1.53 0.93 1.00 1.40 1.40 0.80 1.40 1.13

time (sec)

N/A 0.004 0.008 0.082 0.189 0.248 0.021 0.258 12.442

Problem 8872

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

29 0 32 37 36 32 32 0 111

N.S.

1 0.00 1.10 1.28 1.24 1.10 1.10 0.00 3.83

time (sec)

N/A 0.000 0.090 0.357 31.755 0.266 0.174 0.000 0.196

Problem 8873

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

24 27 32 24 29 50 26 29 32

N.S.

1 1.12 1.33 1.00 1.21 2.08 1.08 1.21 1.33

time (sec)

N/A 0.058 0.021 0.079 0.201 0.248 0.050 0.256 0.080

Problem 8874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A B F A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 48 20 39 0 34 65 58 20

N.S.

1 2.40 1.00 1.95 0.00 1.70 3.25 2.90 1.00

time (sec)

N/A 0.489 0.256 0.247 0.000 0.256 0.124 0.288 13.090

Problem 8875

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

N.S.

1 0.67 0.58 0.58 0.50 1.08 0.58 1.54 0.54

time (sec)

N/A 0.037 0.070 0.107 0.290 0.251 0.074 0.277 12.860

Problem 8876

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 31 38 27 35 26 27 26 26

N.S.

1 1.35 1.65 1.17 1.52 1.13 1.17 1.13 1.13

time (sec)

N/A 0.014 0.016 0.060 0.202 0.283 0.076 0.286 13.099

Problem 8877

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

18 0 16 18 22 22 19 22 15

N.S.

1 0.00 0.89 1.00 1.22 1.22 1.06 1.22 0.83

time (sec)

N/A 0.000 0.287 0.156 0.220 0.247 0.063 0.282 12.970

Problem 8878

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 37 34 31 34 30 29 30 25

N.S.

1 1.12 1.03 0.94 1.03 0.91 0.88 0.91 0.76

time (sec)

N/A 0.865 0.050 0.748 0.313 0.266 0.197 0.300 13.440

Problem 8879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 28 93 487 630 195 201 0 132776

N.S.

1 1.08 3.58 18.73 24.23 7.50 7.73 0.00 5106.77

time (sec)

N/A 3.904 0.250 15.397 0.904 0.266 2.307 0.000 81.865

Problem 8880

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

15 11 11 12 27 11 14 27 11

N.S.

1 0.73 0.73 0.80 1.80 0.73 0.93 1.80 0.73

time (sec)

N/A 0.005 0.004 0.044 0.192 0.255 0.046 0.263 12.350

Problem 8881

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

24 0 24 26 32 22 19 22 22

N.S.

1 0.00 1.00 1.08 1.33 0.92 0.79 0.92 0.92

time (sec)

N/A 0.000 0.271 0.221 0.322 0.269 0.069 0.268 12.651

Problem 8882

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 0 31 29 26 36 0 127 0

N.S.

1 0.00 1.00 0.94 0.84 1.16 0.00 4.10 0.00

time (sec)

N/A 0.000 0.183 229.608 0.290 0.280 0.000 0.417 0.000

Problem 8883

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

19 42 48 49 53 50 54 54 50

N.S.

1 2.21 2.53 2.58 2.79 2.63 2.84 2.84 2.63

time (sec)

N/A 0.032 0.018 0.130 0.185 0.252 0.304 0.276 0.125

Problem 8884

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 26 33 97 127 162 154 0

N.S.

1 0.00 1.00 1.27 3.73 4.88 6.23 5.92 0.00

time (sec)

N/A 0.000 5.062 9.321 0.408 0.292 0.354 0.465 0.000

Problem 8885

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 80 59 55 51 51 88 51 62

N.S.

1 2.86 2.11 1.96 1.82 1.82 3.14 1.82 2.21

time (sec)

N/A 0.024 0.034 0.097 0.224 0.272 0.032 0.268 0.077

Problem 8886

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 26 36 26 32 35 24 33 23

N.S.

1 1.08 1.50 1.08 1.33 1.46 1.00 1.38 0.96

time (sec)

N/A 0.058 0.017 0.665 0.261 0.246 0.132 0.288 0.093

Problem 8887

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B B F B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 77 66 66 0 59 71 80 70

N.S.

1 2.75 2.36 2.36 0.00 2.11 2.54 2.86 2.50

time (sec)

N/A 0.171 0.092 0.183 0.000 0.275 0.164 0.297 13.403

Problem 8888

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

34 77 26 26 26 26 26 39 23

N.S.

1 2.26 0.76 0.76 0.76 0.76 0.76 1.15 0.68

time (sec)

N/A 0.068 0.130 0.159 0.263 0.267 1.294 0.299 13.694

Problem 8889

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 20 20 28 28 24 20 19

N.S.

1 0.00 0.87 0.87 1.22 1.22 1.04 0.87 0.83

time (sec)

N/A 0.000 0.682 0.137 0.258 0.275 0.114 0.279 13.353

Problem 8890

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

31 0 35 44 37 36 87 47 0

N.S.

1 0.00 1.13 1.42 1.19 1.16 2.81 1.52 0.00

time (sec)

N/A 0.000 11.535 0.278 0.243 0.274 0.349 0.279 0.000

Problem 8891

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

N.S.

1 1.19 0.93 1.00 0.96 0.96 0.81 0.96 1.04

time (sec)

N/A 0.021 0.051 0.102 0.214 0.268 0.077 0.279 0.123

Problem 8892

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 33 29 28 28 41 26 29 28

N.S.

1 1.14 1.00 0.97 0.97 1.41 0.90 1.00 0.97

time (sec)

N/A 0.082 0.062 0.443 0.208 0.273 1.329 0.289 0.292

Problem 8893

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 137 40 54 0 60 0 0 34

N.S.

1 4.28 1.25 1.69 0.00 1.88 0.00 0.00 1.06

time (sec)

N/A 0.579 0.130 3.665 0.000 0.305 0.000 0.000 13.961

Problem 8894

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 26 25 76 69 72 70 87 104

N.S.

1 1.13 1.09 3.30 3.00 3.13 3.04 3.78 4.52

time (sec)

N/A 0.264 0.114 1.123 0.289 0.280 0.160 0.294 14.011

Problem 8895

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 26 26 24 23 23 20 23 28

N.S.

1 1.04 1.04 0.96 0.92 0.92 0.80 0.92 1.12

time (sec)

N/A 0.195 1.683 0.142 0.466 0.261 0.189 0.295 0.189

Problem 8896

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

22 0 22 22 25 21 24 29 28

N.S.

1 0.00 1.00 1.00 1.14 0.95 1.09 1.32 1.27

time (sec)

N/A 0.000 0.755 0.178 0.293 0.260 0.098 0.275 14.113

Problem 8897

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 0 109 232 933 180 0 209 0

N.S.

1 0.00 3.52 7.48 30.10 5.81 0.00 6.74 0.00

time (sec)

N/A 0.000 0.433 0.046 7.191 0.308 0.000 14.462 0.000

Problem 8898

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

28 303 216 226 179 171 226 239 241

N.S.

1 10.82 7.71 8.07 6.39 6.11 8.07 8.54 8.61

time (sec)

N/A 0.131 0.061 0.268 0.196 0.276 8.055 0.272 0.288

Problem 8899

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 20 23 32 28 24 31 23

N.S.

1 1.35 0.77 0.88 1.23 1.08 0.92 1.19 0.88

time (sec)

N/A 0.142 0.052 0.288 0.182 0.253 0.077 0.274 13.331

Problem 8900

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 16 16 22 0 21 0 21 17

N.S.

1 0.70 0.70 0.96 0.00 0.91 0.00 0.91 0.74

time (sec)

N/A 0.475 0.564 0.708 0.000 0.259 0.000 0.479 0.957

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