2.2.29 Integrals 2801 to 2900

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 2801

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.218 0.009 0.642 0.187 0.259 0.066 0.263 0.108

Problem 2802

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 2803

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 2804

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 2805

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.508 0.191 244.741 0.281 0.282 2.085 0.262 0.000

Problem 2806

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.469 0.246 0.321 0.184 0.302 2.314 0.271 0.000

Problem 2807

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.170 0.010 0.199 0.210 0.256 0.041 0.265 14.512

Problem 2808

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

N.S.

1 1.00 0.81 0.75 0.78 0.78 0.62 0.81 0.72

time (sec)

N/A 0.330 0.120 0.125 0.181 0.302 0.064 0.265 14.452

Problem 2809

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F C B B B A B B

verified

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

size

28 0 46 68 126 66 32 91 54

N.S.

1 0.00 1.64 2.43 4.50 2.36 1.14 3.25 1.93

time (sec)

N/A 0.000 0.387 3.826 0.347 0.284 0.131 0.725 14.933

Problem 2810

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 2811

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 2812

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 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 2813

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 2814

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.274 0.050 0.099 0.180 0.282 0.054 0.258 0.076

Problem 2815

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.588 0.136 103.643 27.017 0.297 0.000 0.615 14.646

Problem 2816

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 2817

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 2818

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 2819

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.803 0.193 1.583 0.000 0.293 0.160 0.308 16.682

Problem 2820

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.227 0.019 0.115 0.174 0.302 0.134 0.257 0.103

Problem 2821

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 2822

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

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 2823

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

N.S.

1 1.15 1.07 0.96 0.96 1.11 0.89 0.93 0.89

time (sec)

N/A 0.204 0.017 0.102 0.180 0.292 0.056 0.273 0.056

Problem 2824

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.285 0.000 0.200 0.177 0.290 0.095 0.266 12.796

Problem 2825

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.209 0.339 0.045 0.216 0.323 0.051 0.286 12.458

Problem 2826

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 1.214 50.418 1.282 0.190 0.337 10.774 0.479 0.000

Problem 2827

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 40 22 27 44 26 27 35 19

N.S.

1 1.67 0.92 1.12 1.83 1.08 1.12 1.46 0.79

time (sec)

N/A 0.248 0.276 0.268 0.204 0.304 0.075 0.249 0.086

Problem 2828

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 90 99 97 99 127 95 104 124

N.S.

1 4.29 4.71 4.62 4.71 6.05 4.52 4.95 5.90

time (sec)

N/A 0.494 0.160 0.205 0.182 0.295 0.355 0.263 0.405

Problem 2829

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.637 0.105 3.468 0.495 0.316 0.246 0.000 0.000

Problem 2830

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 3.989 0.091 1.028 0.229 0.287 0.172 0.287 14.059

Problem 2831

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 1.149 1.001 0.293 0.351 0.296 0.098 0.277 14.026

Problem 2832

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.179 0.007 0.107 0.199 0.305 0.072 0.258 14.582

Problem 2833

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 2834

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

N.S.

1 1.08 1.12 0.96 0.96 0.96 1.42 0.96 0.96

time (sec)

N/A 0.421 0.114 0.164 0.201 0.311 0.083 0.251 12.708

Problem 2835

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.378 0.048 0.747 0.222 0.288 0.040 0.267 11.820

Problem 2836

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 2837

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 42 27 26 44 25 27 25 25

N.S.

1 2.33 1.50 1.44 2.44 1.39 1.50 1.39 1.39

time (sec)

N/A 0.194 0.012 0.047 0.194 0.307 0.055 0.251 11.768

Problem 2838

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.241 0.037 0.742 0.281 0.294 0.062 0.267 0.129

Problem 2839

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 2840

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 2841

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.308 0.817 0.060 0.240 0.282 0.064 0.264 0.110

Problem 2842

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.183 0.007 0.611 0.178 0.264 0.044 0.251 12.474

Problem 2843

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.534 0.800 0.762 0.249 0.314 0.171 0.251 13.241

Problem 2844

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.445 0.100 0.031 0.224 0.267 0.041 0.260 7.432

Problem 2845

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 2846

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.152 0.029 0.027 0.187 0.270 0.040 0.264 12.966

Problem 2847

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 2848

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.199 0.011 0.464 0.220 0.264 0.068 0.254 12.830

Problem 2849

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 36 28 30 29 33 39 29 29

N.S.

1 1.64 1.27 1.36 1.32 1.50 1.77 1.32 1.32

time (sec)

N/A 0.708 0.131 0.148 0.192 0.285 0.154 0.253 0.395

Problem 2850

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.317 0.157 0.257 0.476 0.290 0.182 0.404 12.284

Problem 2851

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.155 0.026 0.107 0.205 0.263 0.039 0.261 11.936

Problem 2852

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 2853

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.120 0.000 0.028 0.192 0.240 0.015 0.262 0.002

Problem 2854

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 2855

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.131 0.002 0.083 0.198 0.239 0.022 0.252 0.088

Problem 2856

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 2857

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.165 0.057 0.073 0.218 0.298 0.048 0.259 11.993

Problem 2858

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.539 0.050 0.632 0.336 0.261 0.000 0.252 12.304

Problem 2859

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 2860

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 482 19 19 18 18 14 18 18

N.S.

1 21.91 0.86 0.86 0.82 0.82 0.64 0.82 0.82

time (sec)

N/A 1.127 0.578 0.095 0.228 0.247 0.056 0.268 0.267

Problem 2861

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 2862

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.307 0.021 0.070 0.177 0.259 0.285 0.255 0.107

Problem 2863

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 441 112 103 71 192 146 114 0

N.S.

1 17.64 4.48 4.12 2.84 7.68 5.84 4.56 0.00

time (sec)

N/A 0.894 0.278 4.829 0.278 0.259 0.161 0.291 0.000

Problem 2864

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 2865

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.273 0.378 0.088 0.177 0.249 0.090 0.312 12.441

Problem 2866

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 2867

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.708 0.128 1.034 0.297 0.253 0.137 0.257 0.277

Problem 2868

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 2.237 0.361 48.643 0.223 0.253 8.028 0.309 0.000

Problem 2869

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

22 24 25 23 0 24 0 26 25

N.S.

1 1.09 1.14 1.05 0.00 1.09 0.00 1.18 1.14

time (sec)

N/A 0.964 0.713 13.932 0.000 0.250 0.000 0.264 12.944

Problem 2870

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 46 16 19 51 29 39 38 16

N.S.

1 2.88 1.00 1.19 3.19 1.81 2.44 2.38 1.00

time (sec)

N/A 0.177 0.014 0.727 0.179 0.262 0.325 0.254 12.190

Problem 2871

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.134 0.008 0.082 0.189 0.248 0.021 0.258 12.442

Problem 2872

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 2873

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.311 0.021 0.079 0.201 0.248 0.050 0.256 0.080

Problem 2874

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 43 20 39 0 34 65 58 20

N.S.

1 2.15 1.00 1.95 0.00 1.70 3.25 2.90 1.00

time (sec)

N/A 0.787 0.256 0.247 0.000 0.256 0.124 0.288 13.090

Problem 2875

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.219 0.070 0.107 0.290 0.251 0.074 0.277 12.860

Problem 2876

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

N.S.

1 1.65 1.65 1.17 1.52 1.13 1.17 1.13 1.13

time (sec)

N/A 0.168 0.016 0.060 0.202 0.283 0.076 0.286 13.099

Problem 2877

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 2878

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 1.304 0.050 0.748 0.313 0.266 0.197 0.300 13.440

Problem 2879

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 4.309 0.250 15.397 0.904 0.266 2.307 0.000 81.865

Problem 2880

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.133 0.004 0.044 0.192 0.255 0.046 0.263 12.350

Problem 2881

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 2882

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 2883

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 69 48 49 53 50 54 54 50

N.S.

1 3.63 2.53 2.58 2.79 2.63 2.84 2.84 2.63

time (sec)

N/A 0.252 0.018 0.130 0.185 0.252 0.304 0.276 0.125

Problem 2884

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 2885

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 78 59 55 51 51 88 51 62

N.S.

1 2.79 2.11 1.96 1.82 1.82 3.14 1.82 2.21

time (sec)

N/A 0.233 0.034 0.097 0.224 0.272 0.032 0.268 0.077

Problem 2886

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

N.S.

1 1.50 1.50 1.08 1.33 1.46 1.00 1.38 0.96

time (sec)

N/A 0.307 0.017 0.665 0.261 0.246 0.132 0.288 0.093

Problem 2887

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.442 0.092 0.183 0.000 0.275 0.164 0.297 13.403

Problem 2888

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 75 26 26 26 26 26 39 23

N.S.

1 2.21 0.76 0.76 0.76 0.76 0.76 1.15 0.68

time (sec)

N/A 0.247 0.130 0.159 0.263 0.267 1.294 0.299 13.694

Problem 2889

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 2890

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 2891

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

N.S.

1 1.30 0.93 1.00 0.96 0.96 0.81 0.96 1.04

time (sec)

N/A 0.177 0.051 0.102 0.214 0.268 0.077 0.279 0.123

Problem 2892

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.308 0.062 0.443 0.208 0.273 1.329 0.289 0.292

Problem 2893

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 150 40 54 0 60 0 0 34

N.S.

1 4.69 1.25 1.69 0.00 1.88 0.00 0.00 1.06

time (sec)

N/A 1.021 0.130 3.665 0.000 0.305 0.000 0.000 13.961

Problem 2894

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.731 0.114 1.123 0.289 0.280 0.160 0.294 14.011

Problem 2895

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.347 1.683 0.142 0.466 0.261 0.189 0.295 0.189

Problem 2896

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 2897

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F 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 2898

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 235 216 226 179 171 226 239 241

N.S.

1 8.39 7.71 8.07 6.39 6.11 8.07 8.54 8.61

time (sec)

N/A 0.513 0.061 0.268 0.196 0.276 8.055 0.272 0.288

Problem 2899

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

N.S.

1 1.12 0.77 0.88 1.23 1.08 0.92 1.19 0.88

time (sec)

N/A 0.365 0.052 0.288 0.182 0.253 0.077 0.274 13.331

Problem 2900

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.866 0.564 0.708 0.000 0.259 0.000 0.479 0.957