[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 A B A A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

22 18 20 29 20 37 20 28 32

N.S.

1 0.82 0.91 1.32 0.91 1.68 0.91 1.27 1.45

time (sec)

N/A 0.201 0.020 4.276 0.211 0.259 0.040 0.280 27.407

Problem 802

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

5 5 7 6 5 5 12 5 5

N.S.

1 1.00 1.40 1.20 1.00 1.00 2.40 1.00 1.00

time (sec)

N/A 0.168 0.006 0.336 0.207 0.240 0.829 0.277 26.920

Problem 803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

7 7 23 13 5 7 12 7 5

N.S.

1 1.00 3.29 1.86 0.71 1.00 1.71 1.00 0.71

time (sec)

N/A 0.166 0.004 0.444 0.200 0.250 0.736 0.271 25.727

Problem 804

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

5 11 8 6 11 5 14 9 6

N.S.

1 2.20 1.60 1.20 2.20 1.00 2.80 1.80 1.20

time (sec)

N/A 0.179 0.002 3.151 0.214 0.239 1.642 0.282 25.924

Problem 805

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

15 15 30 18 69 35 32 29 24

N.S.

1 1.00 2.00 1.20 4.60 2.33 2.13 1.93 1.60

time (sec)

N/A 0.211 0.025 1.263 0.281 0.246 0.728 0.290 27.138

Problem 806

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

N.S.

1 1.00 1.55 1.09 1.00 1.36 1.09 1.36 1.00

time (sec)

N/A 0.217 0.154 0.523 0.211 0.254 0.080 0.280 0.112

Problem 807

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 82 18 17 17 19 17 17

N.S.

1 1.00 4.10 0.90 0.85 0.85 0.95 0.85 0.85

time (sec)

N/A 0.215 0.168 1.132 0.293 0.252 0.145 0.289 26.855

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

11 11 11 12 11 13 10 12 9

N.S.

1 1.00 1.00 1.09 1.00 1.18 0.91 1.09 0.82

time (sec)

N/A 0.191 0.015 0.375 0.194 0.247 0.071 0.270 0.192

Problem 809

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

26 35 26 31 34 27 36 0 29

N.S.

1 1.35 1.00 1.19 1.31 1.04 1.38 0.00 1.12

time (sec)

N/A 0.223 0.077 1.428 0.279 0.245 0.436 0.000 27.358

Problem 810

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 39 24 220 35 0 28 16

N.S.

1 1.00 1.62 1.00 9.17 1.46 0.00 1.17 0.67

time (sec)

N/A 0.192 0.035 0.867 0.209 0.238 0.000 0.275 27.486

Problem 811

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

40 40 29 26 38 26 39 26 34

N.S.

1 1.00 0.72 0.65 0.95 0.65 0.98 0.65 0.85

time (sec)

N/A 0.235 0.094 0.513 0.206 0.242 0.090 0.266 0.080

Problem 812

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

N.S.

1 1.00 0.81 0.74 0.70 0.78 0.96 0.70 0.70

time (sec)

N/A 0.160 0.040 0.342 0.197 0.239 0.165 0.268 0.034

Problem 813

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

23 23 31 18 17 12 26 42 12

N.S.

1 1.00 1.35 0.78 0.74 0.52 1.13 1.83 0.52

time (sec)

N/A 0.206 0.019 0.643 0.213 0.232 0.112 0.296 0.138

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

30 30 46 25 24 36 27 24 24

N.S.

1 1.00 1.53 0.83 0.80 1.20 0.90 0.80 0.80

time (sec)

N/A 0.166 0.052 0.592 0.198 0.255 0.027 0.275 26.174

Problem 815

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

6 6 6 7 6 6 3 14 6

N.S.

1 1.00 1.00 1.17 1.00 1.00 0.50 2.33 1.00

time (sec)

N/A 0.165 0.001 1.201 0.214 0.245 0.502 0.269 26.604

Problem 816

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

7 7 7 8 7 15 8 30 12

N.S.

1 1.00 1.00 1.14 1.00 2.14 1.14 4.29 1.71

time (sec)

N/A 0.194 0.002 5.481 0.197 0.241 2.904 0.269 25.428

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

13 11 10 10 13 10 14 13 6

N.S.

1 0.85 0.77 0.77 1.00 0.77 1.08 1.00 0.46

time (sec)

N/A 0.147 0.008 1.230 0.202 0.251 0.027 0.276 25.759

Problem 818

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

11 11 11 10 11 22 12 11 14

N.S.

1 1.00 1.00 0.91 1.00 2.00 1.09 1.00 1.27

time (sec)

N/A 0.140 0.024 1.255 0.204 0.241 0.023 0.302 26.630

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

10 10 15 17 10 18 10 11 24

N.S.

1 1.00 1.50 1.70 1.00 1.80 1.00 1.10 2.40

time (sec)

N/A 0.139 0.030 0.626 0.198 0.266 0.023 0.281 27.429

Problem 820

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

10 10 10 9 8 8 8 8 8

N.S.

1 1.00 1.00 0.90 0.80 0.80 0.80 0.80 0.80

time (sec)

N/A 0.175 0.011 0.496 0.194 0.232 0.061 0.264 0.067

Problem 821

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

18 18 18 13 12 14 32 12 12

N.S.

1 1.00 1.00 0.72 0.67 0.78 1.78 0.67 0.67

time (sec)

N/A 0.205 0.027 0.415 0.191 0.241 0.156 0.266 26.256

Problem 822

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

10 10 10 9 8 8 31 8 8

N.S.

1 1.00 1.00 0.90 0.80 0.80 3.10 0.80 0.80

time (sec)

N/A 0.147 0.005 0.128 0.220 0.238 0.501 0.271 26.625

Problem 823

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

16 16 25 11 10 21 12 10 14

N.S.

1 1.00 1.56 0.69 0.62 1.31 0.75 0.62 0.88

time (sec)

N/A 0.170 0.022 0.284 0.218 0.234 0.116 0.318 26.110

Problem 824

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

N.S.

1 1.00 1.00 1.14 1.00 1.86 1.14 1.29 1.29

time (sec)

N/A 0.176 0.006 0.264 0.201 0.265 0.052 0.270 0.092

Problem 825

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

13 13 13 17 16 25 15 41 15

N.S.

1 1.00 1.00 1.31 1.23 1.92 1.15 3.15 1.15

time (sec)

N/A 0.192 0.019 0.338 0.207 0.248 7.638 0.287 26.882

Problem 826

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

5 5 21 10 10 23 10 43 31

N.S.

1 1.00 4.20 2.00 2.00 4.60 2.00 8.60 6.20

time (sec)

N/A 0.188 0.015 0.123 0.209 0.237 0.533 0.270 27.840

Problem 827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

7 19 9 8 15 7 8 16 26

N.S.

1 2.71 1.29 1.14 2.14 1.00 1.14 2.29 3.71

time (sec)

N/A 0.221 0.004 1.335 0.219 0.264 1.160 0.274 26.437

Problem 828

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

4 4 4 5 4 4 20 4 4

N.S.

1 1.00 1.00 1.25 1.00 1.00 5.00 1.00 1.00

time (sec)

N/A 0.143 0.002 1.509 0.192 0.241 0.152 0.262 27.409

Problem 829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 21 21 14 74 27 0 81 13

N.S.

1 1.62 1.62 1.08 5.69 2.08 0.00 6.23 1.00

time (sec)

N/A 0.220 0.006 0.434 0.285 0.271 0.000 0.292 26.951

Problem 830

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 31 18 28 20 22 20 20 18

N.S.

1 1.94 1.12 1.75 1.25 1.38 1.25 1.25 1.12

time (sec)

N/A 0.193 0.010 2.332 0.287 0.243 0.020 0.264 26.207

Problem 831

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 50 26 34 35 28 36 31 26

N.S.

1 1.56 0.81 1.06 1.09 0.88 1.12 0.97 0.81

time (sec)

N/A 0.201 0.030 34.701 0.302 0.247 0.020 0.273 27.698

Problem 832

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 31 16 11 10 19 12 10 18

N.S.

1 1.72 0.89 0.61 0.56 1.06 0.67 0.56 1.00

time (sec)

N/A 0.213 0.031 0.159 0.212 0.252 0.023 0.279 0.051

Problem 833

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

34 48 32 23 18 25 32 22 24

N.S.

1 1.41 0.94 0.68 0.53 0.74 0.94 0.65 0.71

time (sec)

N/A 0.277 0.011 0.217 0.227 0.250 0.019 0.269 0.057

Problem 834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 19 33 14 13 21 12 13 13

N.S.

1 1.46 2.54 1.08 1.00 1.62 0.92 1.00 1.00

time (sec)

N/A 0.184 0.009 0.275 0.242 0.240 0.019 0.276 27.233

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

46 63 24 17 16 31 31 16 33

N.S.

1 1.37 0.52 0.37 0.35 0.67 0.67 0.35 0.72

time (sec)

N/A 0.335 0.025 1.042 0.243 0.249 0.023 0.278 0.052

Problem 836

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A C B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

9 21 9 20 20 19 20 18 13

N.S.

1 2.33 1.00 2.22 2.22 2.11 2.22 2.00 1.44

time (sec)

N/A 0.194 0.010 0.376 0.225 0.243 0.113 0.271 28.609

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

14 14 17 13 13 12 12 13 11

N.S.

1 1.00 1.21 0.93 0.93 0.86 0.86 0.93 0.79

time (sec)

N/A 0.144 0.005 0.451 0.212 0.242 0.022 0.263 26.402

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

1 1 1 2 1 1 0 1 1

N.S.

1 1.00 1.00 2.00 1.00 1.00 0.00 1.00 1.00

time (sec)

N/A 0.128 0.001 0.313 0.246 0.243 0.024 0.274 26.419

Problem 839

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

N.S.

1 1.00 1.33 1.17 1.00 1.00 1.17 1.00 1.00

time (sec)

N/A 0.134 0.002 0.517 0.274 0.233 0.021 0.269 26.148

Problem 840

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

N.S.

1 1.00 1.00 1.11 1.00 1.00 0.78 1.00 1.00

time (sec)

N/A 0.161 0.009 0.556 0.234 0.243 0.112 0.275 0.101

Problem 841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 8 7 35 6 22 6 6

N.S.

1 1.00 1.00 0.88 4.38 0.75 2.75 0.75 0.75

time (sec)

N/A 0.140 0.004 0.173 0.220 0.232 0.064 0.277 26.381

Problem 842

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

6 6 51 9 51 8 5 26 8

N.S.

1 1.00 8.50 1.50 8.50 1.33 0.83 4.33 1.33

time (sec)

N/A 0.308 0.041 0.212 0.402 0.236 0.140 0.286 0.131

Problem 843

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

N.S.

1 1.00 1.00 0.88 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.338 0.017 0.150 0.236 0.240 0.110 0.271 26.830

Problem 844

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

N.S.

1 1.00 1.50 1.12 1.00 1.00 0.88 0.75 1.00

time (sec)

N/A 0.144 0.014 0.112 0.237 0.237 0.105 0.276 26.623

Problem 845

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

N.S.

1 1.00 1.00 0.88 1.00 1.00 0.88 1.00 1.00

time (sec)

N/A 0.323 0.015 0.126 0.234 0.263 0.111 0.261 26.988

Problem 846

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 91 55 80 0 320 124 77 1108

N.S.

1 1.65 1.00 1.45 0.00 5.82 2.25 1.40 20.15

time (sec)

N/A 0.392 0.101 2.215 0.000 0.284 2.909 0.287 28.410

Problem 847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 83 54 72 0 322 124 77 1374

N.S.

1 1.51 0.98 1.31 0.00 5.85 2.25 1.40 24.98

time (sec)

N/A 0.328 0.072 2.247 0.000 0.302 2.981 0.279 26.735

Problem 848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 66 48 49 0 225 432 141 108

N.S.

1 1.27 0.92 0.94 0.00 4.33 8.31 2.71 2.08

time (sec)

N/A 0.294 0.121 2.228 0.000 0.286 16.323 0.287 26.847

Problem 849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 54 50 51 0 224 432 159 684

N.S.

1 1.04 0.96 0.98 0.00 4.31 8.31 3.06 13.15

time (sec)

N/A 0.267 0.070 2.147 0.000 0.280 16.276 0.302 26.608

Problem 850

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 31 30 76 91 0 56 0

N.S.

1 1.00 1.03 1.00 2.53 3.03 0.00 1.87 0.00

time (sec)

N/A 0.207 0.030 0.663 0.337 0.261 0.000 0.412 0.000

Problem 851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 31 51 84 0 27 0

N.S.

1 1.00 1.00 1.00 1.65 2.71 0.00 0.87 0.00

time (sec)

N/A 0.211 0.045 0.717 0.238 0.267 0.000 0.284 0.000

Problem 852

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

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.88 0.75 0.75

time (sec)

N/A 0.145 0.003 0.331 0.226 0.244 0.106 0.279 27.194

Problem 853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 22 25 41 21 0 14 0

N.S.

1 1.00 1.16 1.32 2.16 1.11 0.00 0.74 0.00

time (sec)

N/A 0.192 0.022 0.901 0.296 0.259 0.000 0.271 0.000

Problem 854

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

29 34 16 13 12 23 476 12 12

N.S.

1 1.17 0.55 0.45 0.41 0.79 16.41 0.41 0.41

time (sec)

N/A 0.257 0.018 0.298 0.207 0.260 8.127 0.267 26.874

Problem 855

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 43 29 36 103 26 32 34 45

N.S.

1 1.48 1.00 1.24 3.55 0.90 1.10 1.17 1.55

time (sec)

N/A 0.308 5.020 0.872 0.296 0.255 0.109 0.278 26.568

Problem 856

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 43 29 36 103 26 32 34 45

N.S.

1 1.48 1.00 1.24 3.55 0.90 1.10 1.17 1.55

time (sec)

N/A 0.271 5.018 0.746 0.282 0.247 0.109 0.297 26.397

Problem 857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 38 31 30 46 0 34 32

N.S.

1 1.00 0.86 0.70 0.68 1.05 0.00 0.77 0.73

time (sec)

N/A 0.238 0.058 0.905 0.210 0.244 0.000 0.278 0.082

Problem 858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 100 19 16 145 15 0 0 15

N.S.

1 5.26 1.00 0.84 7.63 0.79 0.00 0.00 0.79

time (sec)

N/A 0.872 0.090 5.019 0.337 0.252 0.000 0.000 26.858

Problem 859

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

44 0 68 124 518 96 0 0 0

N.S.

1 0.00 1.55 2.82 11.77 2.18 0.00 0.00 0.00

time (sec)

N/A 0.000 0.940 10.200 0.487 0.264 0.000 0.000 0.000

Problem 860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 72 17 12132 329 3 0 11 0

N.S.

1 3.79 0.89 638.53 17.32 0.16 0.00 0.58 0.00

time (sec)

N/A 1.469 0.064 8.306 0.353 0.245 0.000 0.281 0.000

Problem 861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 37 10 0 21 0 55 14

N.S.

1 1.00 2.85 0.77 0.00 1.62 0.00 4.23 1.08

time (sec)

N/A 0.421 0.058 1.049 0.000 0.252 0.000 0.372 0.369

Problem 862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 11 10 25 29 68 29

N.S.

1 1.00 1.00 0.79 0.71 1.79 2.07 4.86 2.07

time (sec)

N/A 0.214 0.086 0.490 0.217 0.253 0.178 0.288 26.595

Problem 863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 30 18 21 35 0 128 24

N.S.

1 1.00 1.20 0.72 0.84 1.40 0.00 5.12 0.96

time (sec)

N/A 0.287 0.256 0.692 0.236 0.253 0.000 0.271 27.378

Problem 864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 18 18 21 44 0 128 24

N.S.

1 1.00 0.72 0.72 0.84 1.76 0.00 5.12 0.96

time (sec)

N/A 0.272 0.033 0.651 0.222 0.240 0.000 0.268 27.031

Problem 865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

20 20 17 0 0 0 0 0 77

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 3.85

time (sec)

N/A 0.300 1.517 0.000 0.000 0.000 0.000 0.000 26.735

Problem 866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

76 95 78 37 136 34 0 97 0

N.S.

1 1.25 1.03 0.49 1.79 0.45 0.00 1.28 0.00

time (sec)

N/A 0.395 0.338 1.193 0.303 0.243 0.000 0.287 0.000

Problem 867

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 44 40 48 86 41 0 44 0

N.S.

1 0.54 0.49 0.59 1.06 0.51 0.00 0.54 0.00

time (sec)

N/A 0.443 0.044 0.937 0.202 0.250 0.000 0.277 0.000

Problem 868

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 53 69 83 79 124 0 0 0

N.S.

1 0.70 0.91 1.09 1.04 1.63 0.00 0.00 0.00

time (sec)

N/A 0.643 0.097 1.039 0.310 0.264 0.000 0.000 0.000

Problem 869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 87 99 106 107 227 0 0 0

N.S.

1 0.68 0.77 0.83 0.84 1.77 0.00 0.00 0.00

time (sec)

N/A 0.824 0.099 0.941 0.328 0.280 0.000 0.000 0.000

Problem 870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

186 127 147 137 131 327 0 0 0

N.S.

1 0.68 0.79 0.74 0.70 1.76 0.00 0.00 0.00

time (sec)

N/A 0.910 0.127 0.935 0.339 0.298 0.000 0.000 0.000

Problem 871

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 63 50 127 83 138 0 0 0

N.S.

1 0.78 0.62 1.57 1.02 1.70 0.00 0.00 0.00

time (sec)

N/A 0.674 0.080 1.108 0.292 0.283 0.000 0.000 0.000

Problem 872

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 86 75 153 113 248 0 0 0

N.S.

1 0.79 0.69 1.40 1.04 2.28 0.00 0.00 0.00

time (sec)

N/A 0.826 0.089 0.999 0.307 0.275 0.000 0.000 0.000

Problem 873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 111 87 181 137 356 0 0 0

N.S.

1 0.78 0.61 1.27 0.96 2.49 0.00 0.00 0.00

time (sec)

N/A 0.937 0.093 0.991 0.291 0.281 0.000 0.000 0.000

Problem 874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 62 108 290 294 140 0 0 0

N.S.

1 0.59 1.03 2.76 2.80 1.33 0.00 0.00 0.00

time (sec)

N/A 0.493 0.090 1.125 0.315 0.260 0.000 0.000 0.000

Problem 875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

225 153 174 200 0 337 0 0 0

N.S.

1 0.68 0.77 0.89 0.00 1.50 0.00 0.00 0.00

time (sec)

N/A 0.699 0.131 1.167 0.000 0.300 0.000 0.000 0.000

Problem 876

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

341 225 290 250 567 539 0 0 0

N.S.

1 0.66 0.85 0.73 1.66 1.58 0.00 0.00 0.00

time (sec)

N/A 0.806 0.324 1.344 0.326 0.332 0.000 0.000 0.000

Problem 877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 79 85 140 423 270 0 0 0

N.S.

1 0.56 0.60 0.99 2.98 1.90 0.00 0.00 0.00

time (sec)

N/A 0.559 0.259 1.035 0.322 0.288 0.000 0.000 0.000

Problem 878

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

220 115 138 191 639 550 0 0 0

N.S.

1 0.52 0.63 0.87 2.90 2.50 0.00 0.00 0.00

time (sec)

N/A 0.716 0.514 1.045 0.361 0.317 0.000 0.000 0.000

Problem 879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

356 203 191 254 852 740 0 0 0

N.S.

1 0.57 0.54 0.71 2.39 2.08 0.00 0.00 0.00

time (sec)

N/A 0.808 0.837 0.913 0.420 0.353 0.000 0.000 0.000

Problem 880

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

25 25 25 20 19 17 112 13 14

N.S.

1 1.00 1.00 0.80 0.76 0.68 4.48 0.52 0.56

time (sec)

N/A 0.202 0.010 1.361 0.195 0.236 0.870 0.266 26.887

Problem 881

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

30 30 30 23 22 25 114 22 22

N.S.

1 1.00 1.00 0.77 0.73 0.83 3.80 0.73 0.73

time (sec)

N/A 0.205 0.008 1.413 0.220 0.241 0.858 0.272 26.011

Problem 882

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

30 30 30 23 22 25 116 22 22

N.S.

1 1.00 1.00 0.77 0.73 0.83 3.87 0.73 0.73

time (sec)

N/A 0.203 0.007 1.194 0.208 0.248 0.895 0.272 26.087

Problem 883

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

25 25 25 20 19 19 114 19 19

N.S.

1 1.00 1.00 0.80 0.76 0.76 4.56 0.76 0.76

time (sec)

N/A 0.198 0.009 1.240 0.223 0.252 0.861 0.270 26.572

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

8 8 8 7 6 6 7 6 6

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.88 0.75 0.75

time (sec)

N/A 0.171 0.010 0.521 0.236 0.257 0.065 0.295 26.712

Problem 885

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 11 20 9 34 46 19 20

N.S.

1 1.00 1.00 1.82 0.82 3.09 4.18 1.73 1.82

time (sec)

N/A 0.171 0.042 2.072 0.222 0.246 0.257 0.265 26.365

Problem 886

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

11 18 18 12 133 15 8 52 16

N.S.

1 1.64 1.64 1.09 12.09 1.36 0.73 4.73 1.45

time (sec)

N/A 0.207 0.016 1.059 0.211 0.247 0.383 0.263 26.483

Problem 887

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

12 10 12 9 18 13 7 8 8

N.S.

1 0.83 1.00 0.75 1.50 1.08 0.58 0.67 0.67

time (sec)

N/A 0.204 0.053 4.722 0.215 0.246 0.595 0.268 26.591

Problem 888

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

12 23 17 27 26 33 29 24 19

N.S.

1 1.92 1.42 2.25 2.17 2.75 2.42 2.00 1.58

time (sec)

N/A 0.223 0.015 0.490 0.215 0.243 0.332 0.277 0.099

Problem 889

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 19 18 20 20 19 20 19

N.S.

1 1.00 1.00 0.95 1.05 1.05 1.00 1.05 1.00

time (sec)

N/A 0.225 0.017 249.260 0.194 0.245 2.522 0.278 27.223

Problem 890

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

44 53 52 50 49 65 51 51 69

N.S.

1 1.20 1.18 1.14 1.11 1.48 1.16 1.16 1.57

time (sec)

N/A 0.210 0.025 3.522 0.192 0.257 0.054 0.367 26.253

Problem 891

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 35 57 33 32 34 33 30

N.S.

1 1.00 0.95 1.54 0.89 0.86 0.92 0.89 0.81

time (sec)

N/A 0.197 0.095 5.074 0.192 0.234 0.043 0.558 26.445

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

54 63 68 58 57 73 61 59 85

N.S.

1 1.17 1.26 1.07 1.06 1.35 1.13 1.09 1.57

time (sec)

N/A 0.214 0.023 35.374 0.190 0.246 0.062 0.409 31.821

Problem 893

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

37 33 37 30 31 34 42 33 33

N.S.

1 0.89 1.00 0.81 0.84 0.92 1.14 0.89 0.89

time (sec)

N/A 0.248 0.098 1.030 0.187 0.243 123.549 0.270 26.125

Problem 894

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

34 54 42 46 46 49 49 42 69

N.S.

1 1.59 1.24 1.35 1.35 1.44 1.44 1.24 2.03

time (sec)

N/A 0.191 0.008 3.036 0.190 0.253 0.070 0.263 26.814

Problem 895

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

43 47 43 68 41 52 42 41 42

N.S.

1 1.09 1.00 1.58 0.95 1.21 0.98 0.95 0.98

time (sec)

N/A 0.204 0.018 4.932 0.187 0.255 0.046 0.294 26.543

Problem 896

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 85 87 72 73 92 0 73 74

N.S.

1 0.98 1.00 0.83 0.84 1.06 0.00 0.84 0.85

time (sec)

N/A 0.399 0.056 1.155 0.194 0.277 0.000 0.416 25.897

Problem 897

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

42 48 42 37 44 79 0 52 71

N.S.

1 1.14 1.00 0.88 1.05 1.88 0.00 1.24 1.69

time (sec)

N/A 0.346 0.040 14.661 0.187 0.264 0.000 0.271 26.990

Problem 898

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 63 49 57 84 0 57 57

N.S.

1 1.00 1.00 0.78 0.90 1.33 0.00 0.90 0.90

time (sec)

N/A 0.386 0.030 0.950 0.196 0.261 0.000 0.282 26.374

Problem 899

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

60 58 60 49 52 103 0 60 84

N.S.

1 0.97 1.00 0.82 0.87 1.72 0.00 1.00 1.40

time (sec)

N/A 0.361 0.028 45.951 0.202 0.262 0.000 0.335 28.169

Problem 900

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

47 47 59 38 41 42 44 41 42

N.S.

1 1.00 1.26 0.81 0.87 0.89 0.94 0.87 0.89

time (sec)

N/A 0.343 0.122 1.595 0.196 0.241 3.632 69.700 29.497

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