[next] [tail] [up]

Integrals 1 to 100

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 1

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

N.S.

1 1.00 1.00 0.80 0.76 0.68 4.56 0.52 0.56

time (sec)

N/A 0.037 0.008 1.017 0.192 0.278 1.041 0.270 16.607

Problem 2

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

17 17 31 24 23 13 65 13 14

N.S.

1 1.00 1.82 1.41 1.35 0.76 3.82 0.76 0.82

time (sec)

N/A 0.045 0.021 0.212 0.185 0.272 0.591 0.266 0.056

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 32 21 18 22 22 144 22 19

N.S.

1 1.52 1.00 0.86 1.05 1.05 6.86 1.05 0.90

time (sec)

N/A 0.007 0.023 0.276 0.192 0.249 0.856 0.260 16.727

Problem 4

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

27 27 27 22 21 23 20 60 31

N.S.

1 1.00 1.00 0.81 0.78 0.85 0.74 2.22 1.15

time (sec)

N/A 0.013 0.012 0.069 0.188 0.259 0.044 0.269 16.963

Problem 5

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 26 18 20 21 37 21 24

N.S.

1 1.00 0.96 0.67 0.74 0.78 1.37 0.78 0.89

time (sec)

N/A 0.006 0.012 0.276 0.197 0.254 0.194 0.262 16.198

Problem 6

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 12 15 10 11 11 8 11 11

N.S.

1 1.00 1.25 0.83 0.92 0.92 0.67 0.92 0.92

time (sec)

N/A 0.011 0.018 0.023 0.184 0.272 0.033 0.267 0.062

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 31 33 50 69 46 46 30

N.S.

1 1.00 1.03 1.10 1.67 2.30 1.53 1.53 1.00

time (sec)

N/A 0.037 0.028 0.290 0.200 0.270 0.076 0.269 15.254

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 11 10 10 24 10 10

N.S.

1 1.00 1.00 0.79 0.71 0.71 1.71 0.71 0.71

time (sec)

N/A 0.008 0.005 0.383 0.304 0.249 0.445 0.260 15.308

Problem 9

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 12 15 11 10 13 11

N.S.

1 1.00 1.00 0.92 1.15 0.85 0.77 1.00 0.85

time (sec)

N/A 0.006 0.004 0.141 0.196 0.251 0.040 0.266 0.080

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 98 40 49 80 73 0 80 65

N.S.

1 1.38 0.56 0.69 1.13 1.03 0.00 1.13 0.92

time (sec)

N/A 0.077 0.049 0.125 0.283 0.270 0.000 0.270 0.154

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 89 70 56 0 0 0 0

N.S.

1 1.00 1.00 0.79 0.63 0.00 0.00 0.00 0.00

time (sec)

N/A 0.087 0.013 0.224 0.298 0.000 0.000 0.000 0.000

Problem 12

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

53 53 51 36 35 35 0 36 35

N.S.

1 1.00 0.96 0.68 0.66 0.66 0.00 0.68 0.66

time (sec)

N/A 0.029 0.027 0.185 0.185 0.240 0.000 0.286 0.063

Problem 13

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 4 3 3 2 3 3

N.S.

1 1.00 1.00 1.33 1.00 1.00 0.67 1.00 1.00

time (sec)

N/A 0.041 0.014 0.020 0.216 0.260 0.050 0.269 16.258

Problem 14

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 46 29 36 28 31 66 28 25

N.S.

1 1.59 1.00 1.24 0.97 1.07 2.28 0.97 0.86

time (sec)

N/A 0.015 0.060 0.182 0.194 0.296 84.094 0.277 16.617

Problem 15

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 16 16 15 19 12 15 16

N.S.

1 1.00 0.84 0.84 0.79 1.00 0.63 0.79 0.84

time (sec)

N/A 0.003 0.008 0.207 0.263 0.253 0.045 0.278 0.037

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 37 26 25 25 26 29 13

N.S.

1 1.00 1.76 1.24 1.19 1.19 1.24 1.38 0.62

time (sec)

N/A 0.006 0.006 0.023 0.194 0.253 0.078 0.273 15.978

Problem 17

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

N.S.

1 1.00 1.00 1.09 1.00 1.00 0.91 1.00 0.73

time (sec)

N/A 0.009 0.001 0.026 0.197 0.270 0.064 0.284 15.865

Problem 18

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

8 8 8 14 15 11 15 16 14

N.S.

1 1.00 1.00 1.75 1.88 1.38 1.88 2.00 1.75

time (sec)

N/A 0.025 0.135 0.062 0.206 0.286 0.084 0.279 16.238

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 10 25 65 10 8 79 10

N.S.

1 1.00 0.91 2.27 5.91 0.91 0.73 7.18 0.91

time (sec)

N/A 0.260 0.161 0.206 0.296 0.265 0.072 0.286 0.104

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B C F C F B B

verified

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

size

28 0 93 57 0 165 0 81 233

N.S.

1 0.00 3.32 2.04 0.00 5.89 0.00 2.89 8.32

time (sec)

N/A 0.000 1.251 0.213 0.000 0.288 0.000 0.294 16.058

Problem 21

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

26 26 23 20 18 37 0 37 21

N.S.

1 1.00 0.88 0.77 0.69 1.42 0.00 1.42 0.81

time (sec)

N/A 0.025 0.098 0.028 0.280 0.259 0.000 0.286 16.079

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 14 12 11 11 10 11 11

N.S.

1 1.00 0.64 0.55 0.50 0.50 0.45 0.50 0.50

time (sec)

N/A 0.022 0.026 0.024 0.188 0.257 0.033 0.279 15.787

Problem 23

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

6 6 6 7 12 6 3 6 6

N.S.

1 1.00 1.00 1.17 2.00 1.00 0.50 1.00 1.00

time (sec)

N/A 0.008 0.003 0.014 0.245 0.252 0.036 0.276 15.230

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 51 53 61 38 52 124 42 41

N.S.

1 0.96 1.00 1.15 0.72 0.98 2.34 0.79 0.77

time (sec)

N/A 0.014 0.118 0.217 0.284 0.251 1.886 0.287 0.122

Problem 25

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 16 16 13 12 12 10 12 13

N.S.

1 1.00 1.00 0.81 0.75 0.75 0.62 0.75 0.81

time (sec)

N/A 0.013 0.001 0.015 0.199 0.254 0.023 0.271 0.029

Problem 26

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

6 6 6 7 21 6 5 6 6

N.S.

1 1.00 1.00 1.17 3.50 1.00 0.83 1.00 1.00

time (sec)

N/A 0.007 0.001 0.009 0.195 0.261 0.033 0.276 14.715

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

4 4 4 5 16 18 20 4 14

N.S.

1 1.00 1.00 1.25 4.00 4.50 5.00 1.00 3.50

time (sec)

N/A 0.004 0.133 0.223 0.274 0.253 0.461 0.267 14.897

Problem 28

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 17 18 16 15 15 12 16 15

N.S.

1 1.00 1.06 0.94 0.88 0.88 0.71 0.94 0.88

time (sec)

N/A 0.010 0.005 0.182 0.203 0.255 0.028 0.265 0.035

Problem 29

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

17 17 31 12 301 29 162 39 39

N.S.

1 1.00 1.82 0.71 17.71 1.71 9.53 2.29 2.29

time (sec)

N/A 0.101 0.081 0.135 0.281 0.259 8.203 0.276 14.988

Problem 30

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

4 4 4 5 10 20 15 10 4

N.S.

1 1.00 1.00 1.25 2.50 5.00 3.75 2.50 1.00

time (sec)

N/A 0.008 0.004 0.226 0.191 0.235 0.228 0.254 0.019

Problem 31

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

17 17 27 14 13 20 29 13 13

N.S.

1 1.00 1.59 0.82 0.76 1.18 1.71 0.76 0.76

time (sec)

N/A 0.028 0.045 1.000 0.189 0.262 0.021 0.272 14.958

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 188 19 0 0 15

N.S.

1 1.00 1.00 0.92 14.46 1.46 0.00 0.00 1.15

time (sec)

N/A 0.059 0.029 0.598 0.367 0.265 0.000 0.000 15.457

Problem 33

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

N.S.

1 1.00 0.88 0.68 0.71 0.74 1.06 0.65 0.65

time (sec)

N/A 0.022 0.003 0.256 0.183 0.280 0.018 0.265 0.054

Problem 34

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 16 16 15 19 12 15 16

N.S.

1 1.00 0.84 0.84 0.79 1.00 0.63 0.79 0.84

time (sec)

N/A 0.003 0.006 0.019 0.280 0.252 0.041 0.265 0.033

Problem 35

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 17 17 11 10 13 15 13 13

N.S.

1 1.00 1.00 0.65 0.59 0.76 0.88 0.76 0.76

time (sec)

N/A 0.004 0.007 0.039 0.186 0.265 0.112 0.262 14.864

Problem 36

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

3 3 3 7 15 17 15 17 11

N.S.

1 1.00 1.00 2.33 5.00 5.67 5.00 5.67 3.67

time (sec)

N/A 0.003 0.001 0.053 0.212 0.257 0.058 0.266 0.055

Problem 37

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

24 24 11 8 7 21 0 20 16

N.S.

1 1.00 0.46 0.33 0.29 0.88 0.00 0.83 0.67

time (sec)

N/A 0.021 0.089 0.320 0.305 0.260 0.000 0.272 15.662

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 13 12 12 22 0 12

N.S.

1 1.00 1.00 0.93 0.86 0.86 1.57 0.00 0.86

time (sec)

N/A 0.003 0.004 0.175 0.200 0.269 0.325 0.000 15.016

Problem 39

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 31 31 24 23 30 66 23 27

N.S.

1 1.00 1.00 0.77 0.74 0.97 2.13 0.74 0.87

time (sec)

N/A 0.037 0.024 0.698 0.194 0.263 0.831 0.271 15.136

Problem 40

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

5 5 5 6 5 5 5 5 5

N.S.

1 1.00 1.00 1.20 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.006 0.003 0.019 0.229 0.259 0.085 0.269 15.168

Problem 41

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 16 8 12 11 11 10 11 11

N.S.

1 2.00 1.00 1.50 1.38 1.38 1.25 1.38 1.38

time (sec)

N/A 0.008 0.017 0.014 0.210 0.255 0.029 0.260 0.052

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 48 43 0 33 0 16 0

N.S.

1 1.00 1.17 1.05 0.00 0.80 0.00 0.39 0.00

time (sec)

N/A 0.024 0.277 0.784 0.000 0.278 0.000 0.272 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

6 6 25 7 15 15 12 16 6

N.S.

1 1.00 4.17 1.17 2.50 2.50 2.00 2.67 1.00

time (sec)

N/A 0.004 0.005 0.203 0.204 0.242 0.037 0.264 0.064

Problem 44

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 4 3 3 2 3 3

N.S.

1 1.00 1.00 1.33 1.00 1.00 0.67 1.00 1.00

time (sec)

N/A 0.038 0.003 0.000 0.232 0.250 0.051 0.260 0.003

Problem 45

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 35 47 27 36 35 26 25 26

N.S.

1 1.21 1.62 0.93 1.24 1.21 0.90 0.86 0.90

time (sec)

N/A 0.011 0.076 0.342 0.286 0.254 0.203 0.271 14.398

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 801 12 602 0 0 0 601 601

N.S.

1 66.75 1.00 50.17 0.00 0.00 0.00 50.08 50.08

time (sec)

N/A 0.632 0.008 1.155 0.000 0.000 0.000 0.286 21.211

Problem 47

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

N.S.

1 1.00 1.00 1.10 0.70 0.70 0.70 0.70 0.70

time (sec)

N/A 0.038 0.022 0.046 0.220 0.249 0.656 0.263 0.067

Problem 48

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 28 24 22 32 46 29 23 21

N.S.

1 1.00 0.86 0.79 1.14 1.64 1.04 0.82 0.75

time (sec)

N/A 0.032 0.016 0.024 0.206 0.254 0.040 0.273 0.064

Problem 49

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

38 38 64 39 43 32 0 29 43

N.S.

1 1.00 1.68 1.03 1.13 0.84 0.00 0.76 1.13

time (sec)

N/A 0.017 0.107 0.118 0.308 0.242 0.000 0.268 0.057

Problem 50

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

20 20 18 15 15 14 15 15 14

N.S.

1 1.00 0.90 0.75 0.75 0.70 0.75 0.75 0.70

time (sec)

N/A 0.008 0.015 0.151 0.213 0.240 0.049 0.271 0.071

Problem 51

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

21 21 15 14 13 14 105 13 9

N.S.

1 1.00 0.71 0.67 0.62 0.67 5.00 0.62 0.43

time (sec)

N/A 0.007 0.006 0.054 0.186 0.244 1.661 0.267 15.093

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 32 21 41 0 37 0 21 0

N.S.

1 1.60 1.05 2.05 0.00 1.85 0.00 1.05 0.00

time (sec)

N/A 0.203 0.121 0.155 0.000 0.260 0.000 0.279 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 22 20 19 186 138 16 53

N.S.

1 1.00 0.81 0.74 0.70 6.89 5.11 0.59 1.96

time (sec)

N/A 0.012 0.031 0.157 0.200 0.246 53.393 0.276 15.164

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 37 18 17 31 15 17 17

N.S.

1 1.00 1.61 0.78 0.74 1.35 0.65 0.74 0.74

time (sec)

N/A 0.003 0.064 0.260 0.277 0.248 0.070 0.277 0.032

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 23 10 11 21 10 29 11

N.S.

1 1.00 2.30 1.00 1.10 2.10 1.00 2.90 1.10

time (sec)

N/A 0.015 0.089 0.216 0.300 0.244 0.251 0.272 14.487

Problem 56

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

N.S.

1 1.00 1.00 1.12 0.88 1.00 0.88 0.88 1.00

time (sec)

N/A 0.001 0.001 0.010 0.191 0.252 0.035 0.271 0.021

Problem 57

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

10 10 23 11 15 18 8 10 10

N.S.

1 1.00 2.30 1.10 1.50 1.80 0.80 1.00 1.00

time (sec)

N/A 0.008 0.007 0.039 0.184 0.249 0.171 0.271 0.026

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 70 53 0 64 0 117 64

N.S.

1 1.00 1.32 1.00 0.00 1.21 0.00 2.21 1.21

time (sec)

N/A 0.053 0.208 0.022 0.000 0.240 0.000 0.308 16.545

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 46 18 0 18 0 0 179

N.S.

1 1.00 1.00 0.39 0.00 0.39 0.00 0.00 3.89

time (sec)

N/A 0.480 0.015 0.552 0.000 0.258 0.000 0.000 0.248

Problem 60

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 37 35 29 32 44 27 28 32

N.S.

1 1.00 0.95 0.78 0.86 1.19 0.73 0.76 0.86

time (sec)

N/A 0.046 0.014 0.023 0.190 0.236 0.037 0.267 13.811

Problem 61

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

5 5 5 6 5 5 5 5 5

N.S.

1 1.00 1.00 1.20 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.040 0.024 0.166 0.243 0.250 3.730 0.270 14.435

Problem 62

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

N.S.

1 1.00 1.00 0.82 1.00 0.76 0.59 0.94 0.76

time (sec)

N/A 0.010 0.005 0.159 0.201 0.236 0.041 0.263 0.075

Problem 63

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

17 17 17 16 15 15 12 15 0

N.S.

1 1.00 1.00 0.94 0.88 0.88 0.71 0.88 0.00

time (sec)

N/A 0.038 0.012 0.155 0.276 0.254 0.072 0.274 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 567 501 501 501 561 501 12

N.S.

1 1.00 24.65 21.78 21.78 21.78 24.39 21.78 0.52

time (sec)

N/A 0.008 0.010 0.188 0.198 0.238 0.079 0.269 13.917

Problem 65

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

N.S.

1 1.00 1.00 0.92 0.85 0.92 0.92 0.85 0.85

time (sec)

N/A 0.022 0.014 0.078 0.200 0.269 0.265 0.268 14.361

Problem 66

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

N.S.

1 1.00 1.00 0.81 0.75 0.75 0.94 0.75 0.75

time (sec)

N/A 0.009 0.036 0.156 0.270 0.244 0.408 0.272 14.481

Problem 67

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

25 25 54 22 24 28 26 36 21

N.S.

1 1.00 2.16 0.88 0.96 1.12 1.04 1.44 0.84

time (sec)

N/A 0.005 0.033 0.192 0.274 0.242 0.071 0.271 0.155

Problem 68

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

N.S.

1 1.00 1.00 0.83 0.75 0.75 0.83 0.75 0.75

time (sec)

N/A 0.011 0.030 0.041 0.282 0.232 0.221 0.272 0.135

Problem 69

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

N.S.

1 1.00 1.00 0.75 0.67 0.67 0.58 0.67 0.67

time (sec)

N/A 0.006 0.006 0.170 0.337 0.237 0.042 0.269 15.463

Problem 70

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

8 13 13 9 8 15 22 8 13

N.S.

1 1.62 1.62 1.12 1.00 1.88 2.75 1.00 1.62

time (sec)

N/A 0.019 0.031 0.140 0.196 0.252 0.327 0.299 15.118

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 39 27 26 80 22 49 30

N.S.

1 1.00 3.55 2.45 2.36 7.27 2.00 4.45 2.73

time (sec)

N/A 0.019 0.007 0.204 0.226 0.231 0.222 0.283 0.096

Problem 72

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 20 17 19 19 41 19 19

N.S.

1 1.00 0.74 0.63 0.70 0.70 1.52 0.70 0.70

time (sec)

N/A 0.014 0.024 0.231 0.183 0.245 0.093 0.277 0.051

Problem 73

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

N.S.

1 1.00 1.00 1.60 1.10 0.90 1.00 1.10 1.00

time (sec)

N/A 0.045 0.033 0.025 0.214 0.237 0.563 0.268 18.822

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 188 19 0 0 15

N.S.

1 1.00 1.00 0.92 14.46 1.46 0.00 0.00 1.15

time (sec)

N/A 0.060 0.022 0.434 0.363 0.258 0.000 0.000 0.002

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 15 14 5 7 14 16

N.S.

1 1.00 1.00 1.07 1.00 0.36 0.50 1.00 1.14

time (sec)

N/A 0.007 0.004 0.016 0.188 0.246 0.027 0.270 0.088

Problem 76

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 3 2 2 2 2 2

N.S.

1 1.00 1.00 1.00 0.67 0.67 0.67 0.67 0.67

time (sec)

N/A 0.001 0.000 0.013 0.198 0.260 0.025 0.278 0.009

Problem 77

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

7 0 7 8 7 7 5 20 7

N.S.

1 0.00 1.00 1.14 1.00 1.00 0.71 2.86 1.00

time (sec)

N/A 0.000 0.887 0.151 0.254 0.256 0.329 0.277 16.800

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 23 23 8 19 19 15 19 19

N.S.

1 2.09 2.09 0.73 1.73 1.73 1.36 1.73 1.73

time (sec)

N/A 0.004 0.000 0.009 0.183 0.242 0.015 0.268 0.033

Problem 79

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

35 35 43 23 22 36 27 23 25

N.S.

1 1.00 1.23 0.66 0.63 1.03 0.77 0.66 0.71

time (sec)

N/A 0.006 0.121 0.321 0.263 0.247 0.129 0.289 0.036

Problem 80

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

27 27 29 20 19 45 15 19 45

N.S.

1 1.00 1.07 0.74 0.70 1.67 0.56 0.70 1.67

time (sec)

N/A 0.008 0.040 0.193 0.196 0.260 0.048 0.264 16.237

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

15 15 15 36 13 5 0 6 0

N.S.

1 1.00 1.00 2.40 0.87 0.33 0.00 0.40 0.00

time (sec)

N/A 0.041 0.020 0.372 0.193 0.270 0.000 0.282 0.000

Problem 82

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

N.S.

1 1.00 1.00 0.78 0.78 0.78 0.56 0.78 0.67

time (sec)

N/A 0.014 0.000 0.010 0.191 0.224 0.019 0.272 0.020

Problem 83

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

N.S.

1 1.00 1.00 1.12 1.00 1.00 0.62 1.00 0.75

time (sec)

N/A 0.002 0.000 0.013 0.186 0.258 0.038 0.268 0.020

Problem 84

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

N.S.

1 2.00 1.00 1.67 1.50 1.50 1.33 1.67 1.17

time (sec)

N/A 0.012 0.016 0.019 0.203 0.246 0.036 0.282 15.700

Problem 85

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 24 14 11 10 19 14 10 18

N.S.

1 1.71 1.00 0.79 0.71 1.36 1.00 0.71 1.29

time (sec)

N/A 0.031 0.007 0.074 0.200 0.238 0.023 0.271 17.683

Problem 86

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

N.S.

1 1.00 1.00 0.90 0.80 0.80 1.00 0.80 0.80

time (sec)

N/A 0.017 0.033 0.073 0.202 0.281 0.106 0.274 17.252

Problem 87

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

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.008 0.002 0.016 0.268 0.255 0.023 0.269 0.038

Problem 88

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 52 31 26 21 21 48 21 28

N.S.

1 1.73 1.03 0.87 0.70 0.70 1.60 0.70 0.93

time (sec)

N/A 0.035 0.014 0.016 0.208 0.238 0.139 0.282 0.028

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 19 12 17 21 19 19 18

N.S.

1 1.00 2.38 1.50 2.12 2.62 2.38 2.38 2.25

time (sec)

N/A 0.012 0.006 0.096 0.197 0.268 0.048 0.275 16.474

Problem 90

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

6 6 6 7 21 6 5 6 6

N.S.

1 1.00 1.00 1.17 3.50 1.00 0.83 1.00 1.00

time (sec)

N/A 0.007 0.001 0.010 0.199 0.250 0.032 0.266 0.002

Problem 91

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

N.S.

1 1.00 1.00 0.83 0.78 0.78 0.67 0.78 0.78

time (sec)

N/A 0.010 0.004 0.151 0.188 0.235 0.028 0.278 16.802

Problem 92

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 5 4 4 3 4 4

N.S.

1 1.00 1.00 0.62 0.50 0.50 0.38 0.50 0.50

time (sec)

N/A 0.003 0.005 0.299 0.286 0.259 0.039 0.275 16.309

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 26 20 89 28 105 26 0

N.S.

1 1.00 1.73 1.33 5.93 1.87 7.00 1.73 0.00

time (sec)

N/A 0.024 0.015 0.244 0.193 0.283 0.568 0.283 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 23 7 17 17 15 18 6

N.S.

1 1.00 2.88 0.88 2.12 2.12 1.88 2.25 0.75

time (sec)

N/A 0.003 0.006 0.184 0.188 0.240 0.040 0.269 16.744

Problem 95

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

35 35 43 23 22 36 27 23 25

N.S.

1 1.00 1.23 0.66 0.63 1.03 0.77 0.66 0.71

time (sec)

N/A 0.005 0.001 0.184 0.274 0.269 0.127 0.273 0.002

Problem 96

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

N.S.

1 1.00 1.00 0.82 0.82 0.82 0.82 0.82 0.76

time (sec)

N/A 0.027 0.028 3.794 0.198 0.259 0.047 0.275 16.449

Problem 97

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

11 11 25 11 15 17 8 10 10

N.S.

1 1.00 2.27 1.00 1.36 1.55 0.73 0.91 0.91

time (sec)

N/A 0.009 0.022 0.054 0.200 0.246 0.175 0.270 0.025

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 18 14 24 39 18 18

N.S.

1 1.00 1.00 0.82 0.64 1.09 1.77 0.82 0.82

time (sec)

N/A 0.012 0.007 0.234 0.275 0.251 0.502 0.272 17.029

Problem 99

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

N.S.

1 1.00 1.00 1.10 1.00 1.00 0.80 1.00 0.80

time (sec)

N/A 0.002 0.000 0.010 0.189 0.257 0.029 0.271 0.017

Problem 100

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

35 35 29 26 21 21 34 21 21

N.S.

1 1.00 0.83 0.74 0.60 0.60 0.97 0.60 0.60

time (sec)

N/A 0.028 0.028 0.025 0.186 0.253 0.150 0.277 16.283

[next] [front] [up]