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

2.2.11 Integrals 1001 to 1100

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 1001

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

22 0 24 24 21 21 22 0 21

N.S.

1 0.00 1.09 1.09 0.95 0.95 1.00 0.00 0.95

time (sec)

N/A 0.000 0.132 178.109 0.245 0.261 5.895 0.000 10.226

Problem 1002

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 28 28 30 28 41 52 0

N.S.

1 0.00 1.08 1.08 1.15 1.08 1.58 2.00 0.00

time (sec)

N/A 0.000 0.217 0.213 0.223 0.257 0.114 0.279 0.000

Problem 1003

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 27 28 29 28 0 29 21

N.S.

1 0.00 0.96 1.00 1.04 1.00 0.00 1.04 0.75

time (sec)

N/A 0.000 0.112 6.326 0.241 0.262 0.000 0.344 9.610

Problem 1004

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 21 21 21 20 27 17 27 20

N.S.

1 0.78 0.78 0.78 0.74 1.00 0.63 1.00 0.74

time (sec)

N/A 0.487 0.021 0.043 0.178 0.258 0.070 0.266 9.168

Problem 1005

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

32 94 150 93 102 102 163 102 106

N.S.

1 2.94 4.69 2.91 3.19 3.19 5.09 3.19 3.31

time (sec)

N/A 0.246 0.406 0.161 0.185 0.294 0.161 0.263 9.323

Problem 1006

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

29 0 32 29 28 25 26 28 28

N.S.

1 0.00 1.10 1.00 0.97 0.86 0.90 0.97 0.97

time (sec)

N/A 0.000 3.686 0.074 0.216 0.257 0.120 0.260 9.352

Problem 1007

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

31 21 21 20 19 19 17 20 19

N.S.

1 0.68 0.68 0.65 0.61 0.61 0.55 0.65 0.61

time (sec)

N/A 0.173 0.003 0.038 0.184 0.256 0.040 0.264 0.042

Problem 1008

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B B B B B

verified

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

size

27 0 27 33 73 73 42 126 46

N.S.

1 0.00 1.00 1.22 2.70 2.70 1.56 4.67 1.70

time (sec)

N/A 0.000 0.129 1.331 0.281 0.245 0.190 0.305 9.432

Problem 1009

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

17 17 17 16 21 19 10 15 15

N.S.

1 1.00 1.00 0.94 1.24 1.12 0.59 0.88 0.88

time (sec)

N/A 0.369 0.088 0.025 0.212 0.239 0.036 0.262 9.158

Problem 1010

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 25 27 24 27 24 24 25

N.S.

1 1.08 0.96 1.04 0.92 1.04 0.92 0.92 0.96

time (sec)

N/A 0.295 0.115 0.062 0.249 0.247 0.073 0.273 9.392

Problem 1011

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A B B

verified

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

size

30 0 56 35 41 34 29 16446 30

N.S.

1 0.00 1.87 1.17 1.37 1.13 0.97 548.20 1.00

time (sec)

N/A 0.000 0.225 3.966 0.437 0.247 0.188 0.556 10.105

Problem 1012

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 51 51 42 41 41 44 41 41

N.S.

1 1.76 1.76 1.45 1.41 1.41 1.52 1.41 1.41

time (sec)

N/A 0.300 0.115 0.035 0.178 0.251 0.051 0.262 9.672

Problem 1013

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

30 21 19 15 14 17 15 51 14

N.S.

1 0.70 0.63 0.50 0.47 0.57 0.50 1.70 0.47

time (sec)

N/A 0.195 0.017 0.073 0.181 0.238 0.046 0.263 9.475

Problem 1014

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A B B B B C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 194 19 120 127 98 114 796 179

N.S.

1 10.21 1.00 6.32 6.68 5.16 6.00 41.89 9.42

time (sec)

N/A 0.603 2.088 0.179 0.197 0.246 0.156 0.304 0.472

Problem 1015

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

25 0 35 32 38 35 31 66 30

N.S.

1 0.00 1.40 1.28 1.52 1.40 1.24 2.64 1.20

time (sec)

N/A 0.000 0.065 162.714 0.241 0.245 1.067 0.681 10.835

Problem 1016

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B B C B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 285 86 170 317 154 190 453 139

N.S.

1 8.38 2.53 5.00 9.32 4.53 5.59 13.32 4.09

time (sec)

N/A 0.836 2.092 0.108 0.229 0.250 0.247 0.290 9.435

Problem 1017

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 28 32 27 39 36 36 0

N.S.

1 0.00 0.93 1.07 0.90 1.30 1.20 1.20 0.00

time (sec)

N/A 0.000 0.173 2.545 0.376 0.252 0.325 1.963 0.000

Problem 1018

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 25 25 22 20 27 31 29 22

N.S.

1 1.19 1.19 1.05 0.95 1.29 1.48 1.38 1.05

time (sec)

N/A 0.216 0.009 0.099 0.177 0.278 0.057 0.260 0.207

Problem 1019

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

30 0 48 46 54 36 48 55 50

N.S.

1 0.00 1.60 1.53 1.80 1.20 1.60 1.83 1.67

time (sec)

N/A 0.000 0.098 2.151 0.218 0.249 0.310 0.297 10.219

Problem 1020

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

33 0 0 84 45 45 85 356 0

N.S.

1 0.00 0.00 2.55 1.36 1.36 2.58 10.79 0.00

time (sec)

N/A 0.000 0.000 1.529 0.346 0.295 0.880 3.499 0.000

Problem 1021

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

N.S.

1 1.00 1.00 0.64 0.55 0.55 0.73 0.55 0.55

time (sec)

N/A 0.144 0.011 0.030 0.174 0.268 0.030 0.254 0.028

Problem 1022

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B A B B B B B

verified

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

size

18 0 39 33 76 76 133 85 40

N.S.

1 0.00 2.17 1.83 4.22 4.22 7.39 4.72 2.22

time (sec)

N/A 0.000 4.445 0.182 0.211 0.275 0.087 0.269 0.451

Problem 1023

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

31 56 56 47 45 47 49 47 48

N.S.

1 1.81 1.81 1.52 1.45 1.52 1.58 1.52 1.55

time (sec)

N/A 0.356 0.036 0.048 0.178 0.232 0.312 0.271 10.418

Problem 1024

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 32 32 25 24 27 29 24 24

N.S.

1 1.28 1.28 1.00 0.96 1.08 1.16 0.96 0.96

time (sec)

N/A 0.207 0.005 0.024 0.178 0.242 0.030 0.260 9.332

Problem 1025

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 45 41 36 37 33 42 33 35

N.S.

1 1.80 1.64 1.44 1.48 1.32 1.68 1.32 1.40

time (sec)

N/A 0.181 0.065 0.039 0.266 0.245 0.060 0.257 0.075

Problem 1026

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

N.S.

1 0.00 0.85 0.77 0.85 0.85 0.73 0.85 0.73

time (sec)

N/A 0.000 2.108 0.047 0.210 0.231 0.075 0.269 0.229

Problem 1027

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

36 34 34 28 33 35 24 35 34

N.S.

1 0.94 0.94 0.78 0.92 0.97 0.67 0.97 0.94

time (sec)

N/A 1.410 0.211 0.211 0.221 0.238 0.180 0.284 9.723

Problem 1028

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

28 0 28 29 31 31 0 31 19

N.S.

1 0.00 1.00 1.04 1.11 1.11 0.00 1.11 0.68

time (sec)

N/A 0.000 0.389 26.720 0.314 0.245 0.000 0.271 9.205

Problem 1029

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 24 25 24 24 20 24 24

N.S.

1 0.00 1.04 1.09 1.04 1.04 0.87 1.04 1.04

time (sec)

N/A 0.000 0.013 0.030 0.197 0.236 0.050 0.262 9.179

Problem 1030

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

34 0 158 285 247 253 287 325 192

N.S.

1 0.00 4.65 8.38 7.26 7.44 8.44 9.56 5.65

time (sec)

N/A 0.000 0.830 3.818 0.245 0.274 76.411 1.889 11.708

Problem 1031

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

15 0 15 16 15 15 12 15 15

N.S.

1 0.00 1.00 1.07 1.00 1.00 0.80 1.00 1.00

time (sec)

N/A 0.000 0.141 0.172 0.205 0.227 0.054 0.264 9.833

Problem 1032

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A A B B

verified

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

size

28 0 56 31 0 32 29 54 35

N.S.

1 0.00 2.00 1.11 0.00 1.14 1.04 1.93 1.25

time (sec)

N/A 0.000 0.589 0.495 0.000 0.255 0.279 0.316 9.653

Problem 1033

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

12 11 11 11 10 10 8 10 10

N.S.

1 0.92 0.92 0.92 0.83 0.83 0.67 0.83 0.83

time (sec)

N/A 0.142 0.002 0.023 0.172 0.237 0.034 0.260 0.051

Problem 1034

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

18 20 18 15 21 14 0 14 14

N.S.

1 1.11 1.00 0.83 1.17 0.78 0.00 0.78 0.78

time (sec)

N/A 0.821 0.069 0.114 0.287 0.235 0.000 0.286 0.169

Problem 1035

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 0 31 31 29 29 76 74 0

N.S.

1 0.00 1.24 1.24 1.16 1.16 3.04 2.96 0.00

time (sec)

N/A 0.000 0.098 0.478 0.327 0.277 0.440 0.280 0.000

Problem 1036

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

36 0 41 65 58 58 51 72 0

N.S.

1 0.00 1.14 1.81 1.61 1.61 1.42 2.00 0.00

time (sec)

N/A 0.000 0.128 2.069 0.300 0.245 0.282 0.342 0.000

Problem 1037

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 20 20 16 15 15 14 15 15

N.S.

1 0.91 0.91 0.73 0.68 0.68 0.64 0.68 0.68

time (sec)

N/A 0.178 0.047 0.020 0.179 0.252 0.042 0.269 0.114

Problem 1038

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 38 34 34 39 35 36 34 34

N.S.

1 1.19 1.06 1.06 1.22 1.09 1.12 1.06 1.06

time (sec)

N/A 2.191 0.131 14.345 0.283 0.262 0.484 0.337 9.372

Problem 1039

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 40 34 36 28 36 36 36

N.S.

1 0.00 1.54 1.31 1.38 1.08 1.38 1.38 1.38

time (sec)

N/A 0.000 2.239 0.087 0.220 0.257 0.165 0.273 0.608

Problem 1040

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 0 73 206 56 66 0 0

N.S.

1 0.00 0.00 2.52 7.10 1.93 2.28 0.00 0.00

time (sec)

N/A 0.000 0.000 85.455 1.266 0.247 4.197 0.000 0.000

Problem 1041

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

26 0 36 42 30 30 0 34 34

N.S.

1 0.00 1.38 1.62 1.15 1.15 0.00 1.31 1.31

time (sec)

N/A 0.000 0.078 0.441 1.277 0.256 0.000 0.295 10.508

Problem 1042

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

N.S.

1 0.79 0.64 0.57 0.79 0.68 0.50 0.68 0.54

time (sec)

N/A 0.201 0.098 0.081 0.223 0.242 0.043 0.273 9.001

Problem 1043

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

26 48 44 44 52 40 41 40 55

N.S.

1 1.85 1.69 1.69 2.00 1.54 1.58 1.54 2.12

time (sec)

N/A 1.749 0.137 0.332 0.269 0.240 59.366 0.482 8.805

Problem 1044

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 28 28 29 28 26 27 28 28

N.S.

1 1.33 1.33 1.38 1.33 1.24 1.29 1.33 1.33

time (sec)

N/A 0.179 0.009 0.028 0.182 0.246 0.053 0.267 8.502

Problem 1045

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

25 20 20 20 36 21 14 21 23

N.S.

1 0.80 0.80 0.80 1.44 0.84 0.56 0.84 0.92

time (sec)

N/A 0.197 0.176 0.033 0.293 0.235 0.049 0.266 8.351

Problem 1046

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

N.S.

1 0.38 0.42 0.50 0.38 0.42 0.42 0.38 0.38

time (sec)

N/A 0.124 0.000 0.008 0.197 0.221 0.016 0.270 0.002

Problem 1047

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A C A A A A B

verified

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

size

31 0 27 31 53 39 37 54 74

N.S.

1 0.00 0.87 1.00 1.71 1.26 1.19 1.74 2.39

time (sec)

N/A 0.000 0.310 1.937 0.314 0.237 0.104 0.304 9.027

Problem 1048

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

3 3 3 5 4 4 3 4 4

N.S.

1 1.00 1.00 1.67 1.33 1.33 1.00 1.33 1.33

time (sec)

N/A 0.116 0.000 0.002 0.182 0.226 0.015 0.261 0.003

Problem 1049

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 26 1267 61 36 0 0 29

N.S.

1 0.00 1.00 48.73 2.35 1.38 0.00 0.00 1.12

time (sec)

N/A 0.000 0.196 0.205 0.671 0.246 0.000 0.000 9.767

Problem 1050

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 93 81 66 87 63 76 131 0

N.S.

1 2.82 2.45 2.00 2.64 1.91 2.30 3.97 0.00

time (sec)

N/A 2.821 3.197 0.469 0.257 0.248 48.583 0.299 0.000

Problem 1051

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 37 28 28 27 24 26 27 27

N.S.

1 1.54 1.17 1.17 1.12 1.00 1.08 1.12 1.12

time (sec)

N/A 0.224 0.121 0.055 0.203 0.245 0.124 0.270 8.429

Problem 1052

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

25 23 23 21 20 30 0 20 20

N.S.

1 0.92 0.92 0.84 0.80 1.20 0.00 0.80 0.80

time (sec)

N/A 1.331 0.065 26.682 0.266 0.245 0.000 0.297 8.646

Problem 1053

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

N.S.

1 0.60 0.96 0.56 0.60 0.60 0.56 0.64 0.52

time (sec)

N/A 0.151 0.010 0.122 0.184 0.231 0.046 0.263 0.042

Problem 1054

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 19 19 21 20 31 17 21 20

N.S.

1 0.83 0.83 0.91 0.87 1.35 0.74 0.91 0.87

time (sec)

N/A 0.299 0.026 0.052 0.194 0.232 0.126 0.268 0.087

Problem 1055

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 14 14 13 12 12 12 12 13

N.S.

1 0.50 0.50 0.46 0.43 0.43 0.43 0.43 0.46

time (sec)

N/A 0.827 0.042 0.031 0.180 0.241 0.073 0.263 0.066

Problem 1056

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B C B B

verified

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

size

27 0 30 26 26 61 44 154 33

N.S.

1 0.00 1.11 0.96 0.96 2.26 1.63 5.70 1.22

time (sec)

N/A 0.000 0.125 0.064 0.179 0.249 34.730 0.270 8.609

Problem 1057

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

N.S.

1 0.89 1.00 0.78 0.72 0.72 0.67 0.72 0.83

time (sec)

N/A 0.333 0.150 0.256 0.208 0.230 0.094 0.264 9.302

Problem 1058

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

N.S.

1 1.17 0.83 1.03 1.00 0.86 0.90 1.14 0.86

time (sec)

N/A 0.320 0.039 0.071 0.188 0.245 6.612 0.274 8.044

Problem 1059

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

18 8 8 8 12 7 7 7 7

N.S.

1 0.44 0.44 0.44 0.67 0.39 0.39 0.39 0.39

time (sec)

N/A 0.149 0.022 0.055 0.209 0.234 0.038 0.264 0.036

Problem 1060

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 19 16 23 30 30 20 30 18

N.S.

1 1.06 0.89 1.28 1.67 1.67 1.11 1.67 1.00

time (sec)

N/A 0.134 0.003 0.039 0.172 0.256 0.023 0.270 0.058

Problem 1061

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 15 15 11 10 15 15 10 18

N.S.

1 1.00 1.00 0.73 0.67 1.00 1.00 0.67 1.20

time (sec)

N/A 0.166 0.012 0.069 0.195 0.261 0.085 0.260 8.330

Problem 1062

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A B B B

verified

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

size

30 0 29 42 39 42 66 96 28

N.S.

1 0.00 0.97 1.40 1.30 1.40 2.20 3.20 0.93

time (sec)

N/A 0.000 0.050 1.065 0.245 0.246 42.983 0.283 8.339

Problem 1063

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 19 26 17 27 34 26 20 16

N.S.

1 0.90 1.24 0.81 1.29 1.62 1.24 0.95 0.76

time (sec)

N/A 0.373 0.018 0.216 0.184 0.242 0.307 0.268 0.151

Problem 1064

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 28 27 27 25 29 27 33

N.S.

1 0.00 1.17 1.12 1.12 1.04 1.21 1.12 1.38

time (sec)

N/A 0.000 1.134 0.106 0.319 0.254 0.120 0.287 8.375

Problem 1065

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

26 0 29 26 49 52 26 56 52

N.S.

1 0.00 1.12 1.00 1.88 2.00 1.00 2.15 2.00

time (sec)

N/A 0.000 0.503 0.092 0.295 0.251 0.062 0.275 8.401

Problem 1066

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 48 41 35 141 25 53 163 30

N.S.

1 1.78 1.52 1.30 5.22 0.93 1.96 6.04 1.11

time (sec)

N/A 0.281 0.052 0.501 0.346 0.254 0.108 0.313 9.117

Problem 1067

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 84 22 18 24 0 26 0 26

N.S.

1 3.36 0.88 0.72 0.96 0.00 1.04 0.00 1.04

time (sec)

N/A 0.325 0.176 1.801 0.250 0.000 2.359 0.000 8.628

Problem 1068

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 19 19 22 25 23 24 21 19

N.S.

1 0.76 0.76 0.88 1.00 0.92 0.96 0.84 0.76

time (sec)

N/A 0.156 0.006 0.146 0.179 0.249 0.098 0.258 0.098

Problem 1069

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

25 152 27 28 130 25 31 198 41

N.S.

1 6.08 1.08 1.12 5.20 1.00 1.24 7.92 1.64

time (sec)

N/A 0.499 0.168 0.172 0.267 0.250 0.159 0.339 8.450

Problem 1070

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

18 0 22 22 17 24 19 36 41

N.S.

1 0.00 1.22 1.22 0.94 1.33 1.06 2.00 2.28

time (sec)

N/A 0.000 0.102 0.121 0.285 0.244 0.087 0.269 0.258

Problem 1071

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

19 0 19 18 20 20 22 22 17

N.S.

1 0.00 1.00 0.95 1.05 1.05 1.16 1.16 0.89

time (sec)

N/A 0.000 1.527 0.916 0.265 0.253 0.121 0.272 9.001

Problem 1072

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

21 0 21 27 61 61 70 900 0

N.S.

1 0.00 1.00 1.29 2.90 2.90 3.33 42.86 0.00

time (sec)

N/A 0.000 0.107 270.138 0.482 0.265 0.550 0.690 0.000

Problem 1073

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

24 36 26 25 0 28 26 31 26

N.S.

1 1.50 1.08 1.04 0.00 1.17 1.08 1.29 1.08

time (sec)

N/A 0.703 0.194 0.069 0.000 0.271 0.084 0.271 8.538

Problem 1074

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F F B B B B B B

verified

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

size

28 0 0 59 63 58 63 63 61

N.S.

1 0.00 0.00 2.11 2.25 2.07 2.25 2.25 2.18

time (sec)

N/A 0.000 0.000 12.393 0.461 0.259 0.755 3.151 8.818

Problem 1075

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 6015 41 32 385 75 29 82 32

N.S.

1 250.62 1.71 1.33 16.04 3.12 1.21 3.42 1.33

time (sec)

N/A 11.802 3.217 0.152 0.307 0.275 0.111 0.273 8.643

Problem 1076

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 37 37 42 43 43 42 43 36

N.S.

1 1.23 1.23 1.40 1.43 1.43 1.40 1.43 1.20

time (sec)

N/A 1.048 0.353 0.277 0.313 0.261 0.350 0.284 8.650

Problem 1077

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 19 19 18 15 18 22

N.S.

1 1.00 1.00 1.00 1.00 0.95 0.79 0.95 1.16

time (sec)

N/A 0.487 0.162 0.167 0.386 0.267 0.204 0.295 8.322

Problem 1078

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 24 22 21 21 19 21 23

N.S.

1 0.00 1.04 0.96 0.91 0.91 0.83 0.91 1.00

time (sec)

N/A 0.000 2.019 0.050 0.215 0.255 0.095 0.266 0.212

Problem 1079

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

25 49 50 58 54 59 63 59 56

N.S.

1 1.96 2.00 2.32 2.16 2.36 2.52 2.36 2.24

time (sec)

N/A 0.255 0.021 0.066 0.193 0.232 0.094 0.259 8.143

Problem 1080

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

24 35 29 36 38 37 42 47 45

N.S.

1 1.46 1.21 1.50 1.58 1.54 1.75 1.96 1.88

time (sec)

N/A 0.459 0.027 0.474 0.293 0.251 0.131 0.309 10.595

Problem 1081

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 23 23 24 23 39 22 621 0

N.S.

1 0.96 0.96 1.00 0.96 1.62 0.92 25.88 0.00

time (sec)

N/A 0.602 0.164 0.426 0.300 0.260 0.104 0.300 0.000

Problem 1082

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 55 32 41 30 27 1135 0

N.S.

1 0.00 1.83 1.07 1.37 1.00 0.90 37.83 0.00

time (sec)

N/A 0.000 0.387 0.632 0.439 0.257 0.140 0.564 0.000

Problem 1083

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

26 59 51 43 38 27 42 52 52

N.S.

1 2.27 1.96 1.65 1.46 1.04 1.62 2.00 2.00

time (sec)

N/A 0.678 0.152 6.783 0.325 0.261 0.085 0.267 8.676

Problem 1084

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

N.S.

1 1.00 1.00 1.05 1.00 1.00 0.79 1.00 1.00

time (sec)

N/A 0.487 0.032 12.671 0.237 0.265 0.155 0.372 9.090

Problem 1085

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A B B

verified

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

size

29 0 30 30 42 38 34 58 50

N.S.

1 0.00 1.03 1.03 1.45 1.31 1.17 2.00 1.72

time (sec)

N/A 0.000 0.204 34.541 0.648 0.256 0.409 1.118 8.499

Problem 1086

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

23 0 18 0 0 25 26 0 29038

N.S.

1 0.00 0.78 0.00 0.00 1.09 1.13 0.00 1262.52

time (sec)

N/A 0.000 5.226 0.000 0.000 0.276 0.563 0.000 13.802

Problem 1087

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 19 20 29 26 27 29 34 16

N.S.

1 0.86 0.91 1.32 1.18 1.23 1.32 1.55 0.73

time (sec)

N/A 0.348 0.050 0.231 0.217 0.252 0.081 0.267 0.091

Problem 1088

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A C A A A A B

verified

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

size

25 0 22 197 21 21 17 21 21

N.S.

1 0.00 0.88 7.88 0.84 0.84 0.68 0.84 0.84

time (sec)

N/A 0.000 0.076 0.462 0.287 0.247 0.180 0.364 9.471

Problem 1089

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A A B B

verified

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

size

26 0 24 42 0 43 39 54 21

N.S.

1 0.00 0.92 1.62 0.00 1.65 1.50 2.08 0.81

time (sec)

N/A 0.000 0.202 0.189 0.000 0.266 0.151 0.278 9.170

Problem 1090

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

20 0 12 16 17 15 12 15 10

N.S.

1 0.00 0.60 0.80 0.85 0.75 0.60 0.75 0.50

time (sec)

N/A 0.000 0.053 0.149 0.236 0.266 0.201 0.270 9.235

Problem 1091

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 26 30 28 26 27 19 31 0

N.S.

1 1.37 1.58 1.47 1.37 1.42 1.00 1.63 0.00

time (sec)

N/A 1.235 0.523 0.198 0.347 0.251 0.065 0.264 0.000

Problem 1092

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

28 0 49 63 113 128 124 994 1008

N.S.

1 0.00 1.75 2.25 4.04 4.57 4.43 35.50 36.00

time (sec)

N/A 0.000 0.284 85.911 5.805 0.274 3.546 2.587 11.180

Problem 1093

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

17 16 18 16 86 15 14 15 16

N.S.

1 0.94 1.06 0.94 5.06 0.88 0.82 0.88 0.94

time (sec)

N/A 0.326 0.077 0.033 0.299 0.263 0.048 0.263 0.125

Problem 1094

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 9 9 8 7 7 7 7 7

N.S.

1 0.64 0.64 0.57 0.50 0.50 0.50 0.50 0.50

time (sec)

N/A 0.129 0.001 0.019 0.175 0.234 0.022 0.259 8.581

Problem 1095

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

N.S.

1 0.54 0.54 0.54 0.46 0.46 0.38 0.46 0.54

time (sec)

N/A 0.155 0.020 0.024 0.192 0.247 0.039 0.258 8.583

Problem 1096

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

N.S.

1 1.00 1.00 1.08 1.00 1.00 0.77 1.00 1.00

time (sec)

N/A 0.351 0.152 0.233 0.210 0.267 0.249 0.323 9.159

Problem 1097

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 30 108 43 29 0 0 25

N.S.

1 0.00 1.00 3.60 1.43 0.97 0.00 0.00 0.83

time (sec)

N/A 0.000 1.106 0.049 0.239 0.275 0.000 0.000 9.709

Problem 1098

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A B A B

verified

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

size

27 0 27 23 106 26 90 22 83

N.S.

1 0.00 1.00 0.85 3.93 0.96 3.33 0.81 3.07

time (sec)

N/A 0.000 6.291 0.199 0.243 0.255 0.210 0.263 0.502

Problem 1099

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A A A B

verified

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

size

29 0 33 34 0 35 32 35 66

N.S.

1 0.00 1.14 1.17 0.00 1.21 1.10 1.21 2.28

time (sec)

N/A 0.000 0.509 0.866 0.000 0.258 0.245 0.281 9.445

Problem 1100

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

N.S.

1 0.95 0.95 1.23 0.95 1.32 0.91 0.86 0.86

time (sec)

N/A 0.338 0.129 0.176 0.203 0.275 0.087 0.269 8.640

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