[next] [tail] [up]

2.2.1 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 Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

13 13 13 10 9 9 8 9 13 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 0.62 0.69 1.00 0.69

time (sec)

N/A 0.268 0.041 0.568 0.194 0.231 0.030 0.270 0.000 0.198

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

27 27 18 15 19 19 39 19 18 14

N.S.

1 1.00 0.67 0.56 0.70 0.70 1.44 0.70 0.67 0.52

time (sec)

N/A 0.129 0.014 0.191 0.182 0.233 0.600 0.256 0.000 0.052

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

34 34 21 18 22 22 48 22 21 19

N.S.

1 1.00 0.62 0.53 0.65 0.65 1.41 0.65 0.62 0.56

time (sec)

N/A 0.133 0.055 0.207 0.179 0.233 0.783 0.255 0.001 0.042

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C A B B

verified

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

size

27 27 18 14 19 14 60 19 13 14

N.S.

1 1.00 0.67 0.52 0.70 0.52 2.22 0.70 0.48 0.52

time (sec)

N/A 0.130 0.007 0.200 0.205 0.240 0.625 0.264 0.000 0.038

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 14 13 12 22 22 12 24 12

N.S.

1 1.00 1.00 0.93 0.86 1.57 1.57 0.86 1.71 0.86

time (sec)

N/A 0.118 0.022 0.261 0.192 0.239 0.042 0.271 0.000 0.046

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

13 13 15 11 11 11 8 11 14 10

N.S.

1 1.00 1.15 0.85 0.85 0.85 0.62 0.85 1.08 0.77

time (sec)

N/A 0.147 0.053 0.240 0.179 0.236 0.020 0.267 0.000 0.103

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C A B B

verified

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

size

23 23 18 13 15 17 92 15 17 12

N.S.

1 1.00 0.78 0.57 0.65 0.74 4.00 0.65 0.74 0.52

time (sec)

N/A 0.121 0.011 0.197 0.181 0.233 0.695 0.247 0.000 0.019

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

8 8 8 7 6 10 8 6 6 6

N.S.

1 1.00 1.00 0.88 0.75 1.25 1.00 0.75 0.75 0.75

time (sec)

N/A 0.161 0.014 0.036 0.185 0.225 0.041 0.271 0.000 0.260

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

16 16 16 13 12 18 29 12 17 12

N.S.

1 1.00 1.00 0.81 0.75 1.12 1.81 0.75 1.06 0.75

time (sec)

N/A 0.161 0.013 0.171 0.176 0.248 0.176 0.257 0.001 0.115

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

6 6 6 7 6 6 5 6 12 6

N.S.

1 1.00 1.00 1.17 1.00 1.00 0.83 1.00 2.00 1.00

time (sec)

N/A 0.152 0.015 0.058 0.171 0.254 0.225 0.284 0.000 0.027

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

12 12 12 11 10 12 12 6 9 9

N.S.

1 1.00 1.00 0.92 0.83 1.00 1.00 0.50 0.75 0.75

time (sec)

N/A 0.237 0.118 0.119 0.185 0.250 0.294 0.275 0.001 0.117

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

10 10 10 9 8 8 10 8 7 8

N.S.

1 1.00 1.00 0.90 0.80 0.80 1.00 0.80 0.70 0.80

time (sec)

N/A 0.176 0.021 0.101 0.177 0.252 0.124 0.259 0.000 0.104

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

9 9 9 10 9 9 7 9 9 9

N.S.

1 1.00 1.00 1.11 1.00 1.00 0.78 1.00 1.00 1.00

time (sec)

N/A 0.167 0.012 0.157 0.190 0.271 1.484 0.275 0.001 0.130

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

15 15 15 12 11 11 10 11 10 11

N.S.

1 1.00 1.00 0.80 0.73 0.73 0.67 0.73 0.67 0.73

time (sec)

N/A 0.115 0.015 0.318 0.206 0.240 0.098 0.258 0.000 0.216

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

23 23 18 13 15 15 34 15 15 12

N.S.

1 1.00 0.78 0.57 0.65 0.65 1.48 0.65 0.65 0.52

time (sec)

N/A 0.141 0.009 0.046 0.192 0.244 0.619 0.267 0.001 0.019

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B A A B B

verified

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

size

11 11 11 10 9 22 8 9 21 9

N.S.

1 1.00 1.00 0.91 0.82 2.00 0.73 0.82 1.91 0.82

time (sec)

N/A 0.110 0.024 0.033 0.180 0.249 0.421 0.275 0.000 0.048

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

15 15 15 12 11 11 27 11 11 11

N.S.

1 1.00 1.00 0.80 0.73 0.73 1.80 0.73 0.73 0.73

time (sec)

N/A 0.119 0.009 0.087 0.180 0.229 0.096 0.274 0.001 0.115

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A F B

verified

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

size

15 15 15 12 11 11 12 11 29 15

N.S.

1 1.00 1.00 0.80 0.73 0.73 0.80 0.73 1.93 1.00

time (sec)

N/A 0.169 0.044 0.169 0.182 0.251 0.126 0.278 0.009 0.149

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F F A F A B B

verified

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

size

32 24 32 0 0 23 0 15 42 47

N.S.

1 0.75 1.00 0.00 0.00 0.72 0.00 0.47 1.31 1.47

time (sec)

N/A 0.293 1.641 0.000 0.000 0.277 0.000 0.278 0.002 0.357

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

17 17 17 14 13 13 14 13 42 13

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.82 0.76 2.47 0.76

time (sec)

N/A 0.237 0.025 0.023 0.197 0.275 0.136 0.271 0.001 0.124

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

16 16 13 10 7 12 15 12 12 9

N.S.

1 1.00 0.81 0.62 0.44 0.75 0.94 0.75 0.75 0.56

time (sec)

N/A 0.130 0.005 0.058 0.170 0.238 0.589 0.266 0.000 0.107

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

8 8 8 9 8 8 7 8 8 8

N.S.

1 1.00 1.00 1.12 1.00 1.00 0.88 1.00 1.00 1.00

time (sec)

N/A 0.167 0.010 0.040 0.185 0.247 0.070 0.262 0.000 0.049

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

17 17 15 17 15 15 17 15 17 15

N.S.

1 1.00 0.88 1.00 0.88 0.88 1.00 0.88 1.00 0.88

time (sec)

N/A 0.225 0.012 0.039 0.180 0.259 0.092 0.244 0.000 0.018

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

23 26 19 20 20 20 26 20 23 24

N.S.

1 1.13 0.83 0.87 0.87 0.87 1.13 0.87 1.00 1.04

time (sec)

N/A 0.289 0.012 0.040 0.187 0.249 0.140 0.276 0.001 0.018

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

24 27 20 23 21 21 26 21 24 23

N.S.

1 1.12 0.83 0.96 0.88 0.88 1.08 0.88 1.00 0.96

time (sec)

N/A 0.295 0.011 0.048 0.193 0.239 0.204 0.270 0.000 0.020

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

8 8 8 7 6 6 5 6 6 6

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.62 0.75 0.75 0.75

time (sec)

N/A 0.134 0.001 0.019 0.209 0.250 0.047 0.262 0.000 0.014

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

23 28 18 15 14 17 24 14 21 18

N.S.

1 1.22 0.78 0.65 0.61 0.74 1.04 0.61 0.91 0.78

time (sec)

N/A 0.170 0.002 0.043 0.180 0.247 0.107 0.282 0.000 0.068

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 14 11 10 10 10 10 10 10

N.S.

1 1.00 1.00 0.79 0.71 0.71 0.71 0.71 0.71 0.71

time (sec)

N/A 0.134 0.006 0.031 0.184 0.254 0.022 0.300 0.000 0.036

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

13 13 15 11 11 11 8 11 14 10

N.S.

1 1.00 1.15 0.85 0.85 0.85 0.62 0.85 1.08 0.77

time (sec)

N/A 0.146 0.001 0.000 0.176 0.256 0.028 0.280 0.001 0.002

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

24 29 22 17 16 19 24 16 18 16

N.S.

1 1.21 0.92 0.71 0.67 0.79 1.00 0.67 0.75 0.67

time (sec)

N/A 0.178 0.006 0.063 0.187 0.245 0.020 0.272 0.000 0.039

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

21 21 23 17 17 17 17 17 22 17

N.S.

1 1.00 1.10 0.81 0.81 0.81 0.81 0.81 1.05 0.81

time (sec)

N/A 0.151 0.006 0.068 0.181 0.245 0.027 0.259 0.001 0.045

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

34 44 30 23 24 25 36 22 26 22

N.S.

1 1.29 0.88 0.68 0.71 0.74 1.06 0.65 0.76 0.65

time (sec)

N/A 0.220 0.006 0.083 0.197 0.247 0.020 0.267 0.002 0.043

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

25 25 25 20 19 19 36 19 20 19

N.S.

1 1.00 1.00 0.80 0.76 0.76 1.44 0.76 0.80 0.76

time (sec)

N/A 0.149 0.010 0.033 0.190 0.250 0.099 0.268 0.001 0.106

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

33 32 31 23 23 23 39 23 25 25

N.S.

1 0.97 0.94 0.70 0.70 0.70 1.18 0.70 0.76 0.76

time (sec)

N/A 0.233 0.007 0.069 0.183 0.242 0.139 0.259 0.001 0.116

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A C A A A A B B

verified

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

size

41 46 29 19 26 29 56 26 31 28

N.S.

1 1.12 0.71 0.46 0.63 0.71 1.37 0.63 0.76 0.68

time (sec)

N/A 0.207 0.025 0.072 0.190 0.240 0.179 0.257 0.001 0.067

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 14 11 10 10 10 10 10 10

N.S.

1 1.00 1.00 0.79 0.71 0.71 0.71 0.71 0.71 0.71

time (sec)

N/A 0.134 0.005 0.030 0.177 0.248 0.018 0.266 0.001 0.027

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

11 11 11 11 9 10 8 9 12 9

N.S.

1 1.00 1.00 1.00 0.82 0.91 0.73 0.82 1.09 0.82

time (sec)

N/A 0.170 0.003 0.048 0.184 0.242 0.020 0.268 0.001 0.037

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

24 29 22 17 16 19 24 16 18 16

N.S.

1 1.21 0.92 0.71 0.67 0.79 1.00 0.67 0.75 0.67

time (sec)

N/A 0.181 0.005 0.059 0.187 0.249 0.017 0.279 0.001 0.031

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C A B B

verified

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

size

84 94 61 54 60 60 180 50 61 37

N.S.

1 1.12 0.73 0.64 0.71 0.71 2.14 0.60 0.73 0.44

time (sec)

N/A 0.155 0.140 0.164 0.265 0.238 2.398 0.278 0.002 0.222

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

38 42 25 21 34 21 39 28 20 20

N.S.

1 1.11 0.66 0.55 0.89 0.55 1.03 0.74 0.53 0.53

time (sec)

N/A 0.137 0.013 0.036 0.259 0.240 0.211 0.284 0.000 0.031

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C C F C A F F B

verified

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

size

172 172 34 17 0 17 31 0 28 301

N.S.

1 1.00 0.20 0.10 0.00 0.10 0.18 0.00 0.16 1.75

time (sec)

N/A 0.211 9.809 0.102 0.000 0.069 0.383 0.000 0.007 0.078

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

6 6 8 7 6 6 7 6 6 6

N.S.

1 1.00 1.33 1.17 1.00 1.00 1.17 1.00 1.00 1.00

time (sec)

N/A 0.137 0.004 0.011 0.275 0.249 0.029 0.257 0.000 0.069

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 16 13 12 12 19 12 12 12

N.S.

1 1.00 1.14 0.93 0.86 0.86 1.36 0.86 0.86 0.86

time (sec)

N/A 0.177 0.004 0.016 0.269 0.258 0.030 0.280 0.000 0.033

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A A B A B B B

verified

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

size

8 8 18 13 10 20 8 18 8 8

N.S.

1 1.00 2.25 1.62 1.25 2.50 1.00 2.25 1.00 1.00

time (sec)

N/A 0.140 0.007 0.017 0.308 0.248 0.026 0.278 0.001 0.074

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A A B A B B B

verified

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

size

12 12 22 11 16 48 19 34 10 10

N.S.

1 1.00 1.83 0.92 1.33 4.00 1.58 2.83 0.83 0.83

time (sec)

N/A 0.180 0.005 0.028 0.261 0.249 0.028 0.259 0.000 0.024

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

22 22 26 18 20 18 26 18 20 20

N.S.

1 1.00 1.18 0.82 0.91 0.82 1.18 0.82 0.91 0.91

time (sec)

N/A 0.184 0.055 0.062 0.181 0.244 0.071 0.271 0.000 0.112

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

13 13 13 10 9 9 22 9 13 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 1.69 0.69 1.00 0.69

time (sec)

N/A 0.108 0.001 0.023 0.192 0.245 0.075 0.270 0.000 0.027

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B B A B B

verified

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

size

13 13 11 10 9 51 58 9 50 9

N.S.

1 1.00 0.85 0.77 0.69 3.92 4.46 0.69 3.85 0.69

time (sec)

N/A 0.112 0.001 0.049 0.189 0.241 0.018 0.266 0.001 0.108

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

18 18 16 14 19 19 15 14 20 14

N.S.

1 1.00 0.89 0.78 1.06 1.06 0.83 0.78 1.11 0.78

time (sec)

N/A 0.113 0.003 0.030 0.180 0.228 0.043 0.262 0.000 0.042

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B A A B B A B B

verified

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

size

11 11 43 10 9 31 31 9 30 31

N.S.

1 1.00 3.91 0.91 0.82 2.82 2.82 0.82 2.73 2.82

time (sec)

N/A 0.112 0.001 0.039 0.178 0.225 0.017 0.275 0.000 0.027

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B B B B B B B B

verified

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

size

56 56 140 106 106 106 131 106 105 106

N.S.

1 1.00 2.50 1.89 1.89 1.89 2.34 1.89 1.88 1.89

time (sec)

N/A 0.170 0.001 0.035 0.183 0.229 0.040 0.255 0.000 0.465

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

4 4 4 5 4 4 3 4 4 4

N.S.

1 1.00 1.00 1.25 1.00 1.00 0.75 1.00 1.00 1.00

time (sec)

N/A 0.157 0.008 0.053 0.214 0.230 0.179 0.270 0.000 0.101

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

62 67 46 49 37 37 60 37 47 41

N.S.

1 1.08 0.74 0.79 0.60 0.60 0.97 0.60 0.76 0.66

time (sec)

N/A 0.328 0.023 0.040 0.213 0.252 0.381 0.266 0.001 0.244

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

10 10 10 9 8 8 8 8 8 8

N.S.

1 1.00 1.00 0.90 0.80 0.80 0.80 0.80 0.80 0.80

time (sec)

N/A 0.131 0.002 0.044 0.171 0.257 0.104 0.268 0.001 0.055

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A F B

verified

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

size

16 16 16 13 12 12 15 12 16 12

N.S.

1 1.00 1.00 0.81 0.75 0.75 0.94 0.75 1.00 0.75

time (sec)

N/A 0.178 0.010 0.188 0.189 0.266 0.940 0.289 0.002 0.208

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

10 10 10 7 8 8 7 9 8 6

N.S.

1 1.00 1.00 0.70 0.80 0.80 0.70 0.90 0.80 0.60

time (sec)

N/A 0.108 0.000 0.021 0.180 0.241 0.022 0.266 0.000 0.075

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

15 17 15 16 12 15 15 15 12 12

N.S.

1 1.13 1.00 1.07 0.80 1.00 1.00 1.00 0.80 0.80

time (sec)

N/A 0.143 0.002 0.012 0.180 0.250 0.048 0.264 0.000 0.083

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

17 17 17 14 13 13 12 13 11 9

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.71 0.76 0.65 0.53

time (sec)

N/A 0.123 0.002 0.012 0.184 0.241 0.033 0.263 0.000 0.038

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

28 28 28 23 17 22 22 22 17 17

N.S.

1 1.00 1.00 0.82 0.61 0.79 0.79 0.79 0.61 0.61

time (sec)

N/A 0.149 0.002 0.013 0.190 0.239 0.055 0.272 0.000 0.034

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

4 4 4 5 4 4 3 5 4 4

N.S.

1 1.00 1.00 1.25 1.00 1.00 0.75 1.25 1.00 1.00

time (sec)

N/A 0.103 0.000 0.030 0.180 0.232 0.020 0.275 0.000 0.016

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B A A B A A B B

verified

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

size

3 3 7 4 3 11 3 4 17 3

N.S.

1 1.00 2.33 1.33 1.00 3.67 1.00 1.33 5.67 1.00

time (sec)

N/A 0.130 0.004 0.052 0.187 0.256 0.046 0.282 0.000 0.024

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B F B B

verified

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

size

28 28 21 36 28 32 61 0 27 38

N.S.

1 1.00 0.75 1.29 1.00 1.14 2.18 0.00 0.96 1.36

time (sec)

N/A 0.138 0.005 0.063 0.189 0.244 0.348 0.000 0.000 0.219

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

28 33 28 23 17 22 26 22 17 17

N.S.

1 1.18 1.00 0.82 0.61 0.79 0.93 0.79 0.61 0.61

time (sec)

N/A 0.158 0.002 0.017 0.207 0.248 0.051 0.267 0.000 0.035

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

3 3 3 4 3 3 3 4 3 3

N.S.

1 1.00 1.00 1.33 1.00 1.00 1.00 1.33 1.00 1.00

time (sec)

N/A 0.124 0.004 0.017 0.190 0.256 0.043 0.248 0.001 0.069

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

12 12 12 11 10 10 8 10 10 10

N.S.

1 1.00 1.00 0.92 0.83 0.83 0.67 0.83 0.83 0.83

time (sec)

N/A 0.153 0.003 0.056 0.191 0.253 0.049 0.261 0.000 0.368

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

23 23 16 18 17 12 20 17 11 13

N.S.

1 1.00 0.70 0.78 0.74 0.52 0.87 0.74 0.48 0.57

time (sec)

N/A 0.166 0.019 0.047 0.190 0.227 1.148 0.257 0.000 0.180

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

39 49 39 32 23 31 37 31 23 23

N.S.

1 1.26 1.00 0.82 0.59 0.79 0.95 0.79 0.59 0.59

time (sec)

N/A 0.190 0.002 0.024 0.197 0.242 0.062 0.257 0.000 0.035

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

9 9 9 7 6 6 5 6 7 6

N.S.

1 1.00 1.00 0.78 0.67 0.67 0.56 0.67 0.78 0.67

time (sec)

N/A 0.127 0.010 0.022 0.180 0.246 0.038 0.269 0.001 0.086

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 14 12 12 11 10 11 10 11

N.S.

1 1.00 1.00 0.86 0.86 0.79 0.71 0.79 0.71 0.79

time (sec)

N/A 0.135 0.003 0.048 0.174 0.256 0.068 0.256 0.000 0.117

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

10 10 10 8 7 7 7 7 8 7

N.S.

1 1.00 1.00 0.80 0.70 0.70 0.70 0.70 0.80 0.70

time (sec)

N/A 0.149 0.006 0.161 0.183 0.244 0.127 0.264 0.000 0.112

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

19 19 14 12 11 13 15 11 12 11

N.S.

1 1.00 0.74 0.63 0.58 0.68 0.79 0.58 0.63 0.58

time (sec)

N/A 0.139 0.012 0.063 0.176 0.240 0.138 0.260 0.000 0.020

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

19 19 12 10 9 13 15 9 10 9

N.S.

1 1.00 0.63 0.53 0.47 0.68 0.79 0.47 0.53 0.47

time (sec)

N/A 0.134 0.007 0.059 0.175 0.237 0.129 0.272 0.000 0.020

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

10 13 10 10 9 9 7 9 10 9

N.S.

1 1.30 1.00 1.00 0.90 0.90 0.70 0.90 1.00 0.90

time (sec)

N/A 0.128 0.009 0.021 0.202 0.241 0.040 0.269 0.000 0.049

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

11 11 7 7 6 6 5 6 7 6

N.S.

1 1.00 0.64 0.64 0.55 0.55 0.45 0.55 0.64 0.55

time (sec)

N/A 0.137 0.008 0.016 0.194 0.228 0.030 0.263 0.000 0.019

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

16 16 11 10 9 9 7 9 11 9

N.S.

1 1.00 0.69 0.62 0.56 0.56 0.44 0.56 0.69 0.56

time (sec)

N/A 0.139 0.009 0.019 0.221 0.232 0.029 0.249 0.001 0.023

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

19 21 12 12 11 11 10 11 12 11

N.S.

1 1.11 0.63 0.63 0.58 0.58 0.53 0.58 0.63 0.58

time (sec)

N/A 0.165 0.010 0.020 0.184 0.234 0.045 0.262 0.000 0.024

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

32 32 19 16 16 16 17 16 19 16

N.S.

1 1.00 0.59 0.50 0.50 0.50 0.53 0.50 0.59 0.50

time (sec)

N/A 0.171 0.012 0.021 0.178 0.242 0.038 0.298 0.000 0.077

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

24 25 16 16 11 11 20 11 10 11

N.S.

1 1.04 0.67 0.67 0.46 0.46 0.83 0.46 0.42 0.46

time (sec)

N/A 0.154 0.005 0.007 0.194 0.240 0.079 0.271 0.000 0.024

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

26 26 16 14 13 13 12 13 16 13

N.S.

1 1.00 0.62 0.54 0.50 0.50 0.46 0.50 0.62 0.50

time (sec)

N/A 0.157 0.016 0.023 0.182 0.244 0.039 0.264 0.000 0.109

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C A B B

verified

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

size

41 41 28 28 27 31 139 36 28 27

N.S.

1 1.00 0.68 0.68 0.66 0.76 3.39 0.88 0.68 0.66

time (sec)

N/A 0.155 0.023 0.105 0.183 0.248 0.284 0.259 0.001 0.031

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C A B B

verified

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

size

42 42 29 29 29 33 136 38 29 29

N.S.

1 1.00 0.69 0.69 0.69 0.79 3.24 0.90 0.69 0.69

time (sec)

N/A 0.154 0.022 0.072 0.204 0.250 0.275 0.284 0.000 0.020

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

15 15 15 14 13 13 12 21 13 13

N.S.

1 1.00 1.00 0.93 0.87 0.87 0.80 1.40 0.87 0.87

time (sec)

N/A 0.130 0.003 0.036 0.198 0.237 0.071 0.283 0.000 0.109

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B A B A C B F B

verified

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

size

19 19 64 22 35 33 17 37 4 21

N.S.

1 1.00 3.37 1.16 1.84 1.74 0.89 1.95 0.21 1.11

time (sec)

N/A 0.153 0.042 0.027 0.193 0.255 1.150 0.272 0.002 0.642

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B A B B A B F B

verified

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

size

17 17 64 20 35 35 17 37 4 20

N.S.

1 1.00 3.76 1.18 2.06 2.06 1.00 2.18 0.24 1.18

time (sec)

N/A 0.150 0.024 0.007 0.174 0.253 1.180 0.282 0.003 0.205

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

25 26 25 24 23 23 22 23 22 22

N.S.

1 1.04 1.00 0.96 0.92 0.92 0.88 0.92 0.88 0.88

time (sec)

N/A 0.190 0.004 0.051 0.276 0.257 0.083 0.268 0.001 0.033

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

22 22 22 21 33 39 22 38 17 20

N.S.

1 1.00 1.00 0.95 1.50 1.77 1.00 1.73 0.77 0.91

time (sec)

N/A 0.152 0.003 0.010 0.257 0.266 1.097 0.281 0.000 0.025

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C A B B

verified

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

size

16 16 16 15 6 23 19 28 6 14

N.S.

1 1.00 1.00 0.94 0.38 1.44 1.19 1.75 0.38 0.88

time (sec)

N/A 0.115 0.003 0.058 0.275 0.239 0.525 0.268 0.000 0.168

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A B A A B A B B B

verified

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

size

10 17 23 10 11 21 10 27 9 11

N.S.

1 1.70 2.30 1.00 1.10 2.10 1.00 2.70 0.90 1.10

time (sec)

N/A 0.127 0.050 0.201 0.269 0.244 0.262 0.282 0.001 0.091

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A C A B B

verified

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

size

10 10 10 11 10 10 20 10 10 10

N.S.

1 1.00 1.00 1.10 1.00 1.00 2.00 1.00 1.00 1.00

time (sec)

N/A 0.112 0.002 0.068 0.265 0.235 0.050 0.275 0.000 0.040

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

24 24 24 16 15 67 53 15 23 16

N.S.

1 1.00 1.00 0.67 0.62 2.79 2.21 0.62 0.96 0.67

time (sec)

N/A 0.117 0.009 0.056 0.282 0.236 0.057 0.250 0.000 0.105

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

19 19 19 17 16 16 26 16 15 16

N.S.

1 1.00 1.00 0.89 0.84 0.84 1.37 0.84 0.79 0.84

time (sec)

N/A 0.123 0.004 0.388 0.261 0.252 0.051 0.254 0.000 0.078

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

21 20 16 16 15 13 15 15 15 14

N.S.

1 0.95 0.76 0.76 0.71 0.62 0.71 0.71 0.71 0.67

time (sec)

N/A 0.139 0.003 0.042 0.268 0.249 0.123 0.271 0.001 0.026

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

40 43 30 34 33 24 32 33 31 24

N.S.

1 1.08 0.75 0.85 0.82 0.60 0.80 0.82 0.78 0.60

time (sec)

N/A 0.167 0.011 0.010 0.282 0.250 0.121 0.274 0.000 0.030

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

35 35 26 30 34 25 29 29 29 29

N.S.

1 1.00 0.74 0.86 0.97 0.71 0.83 0.83 0.83 0.83

time (sec)

N/A 0.290 0.007 0.064 0.289 0.254 0.137 0.277 0.000 0.126

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

22 29 18 17 16 14 19 16 13 16

N.S.

1 1.32 0.82 0.77 0.73 0.64 0.86 0.73 0.59 0.73

time (sec)

N/A 0.142 0.012 0.017 0.276 0.244 0.447 0.276 0.000 0.061

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

8 8 8 7 6 6 7 6 5 6

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.88 0.75 0.62 0.75

time (sec)

N/A 0.164 0.006 0.022 0.184 0.245 0.448 0.276 0.000 0.670

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

23 23 37 18 17 31 15 17 16 17

N.S.

1 1.00 1.61 0.78 0.74 1.35 0.65 0.74 0.70 0.74

time (sec)

N/A 0.116 0.034 0.264 0.304 0.237 0.106 0.276 0.000 0.077

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 22 37 16 0 15 31 24 23 0

N.S.

1 1.00 1.68 0.73 0.00 0.68 1.41 1.09 1.05 0.00

time (sec)

N/A 0.172 0.008 0.078 0.000 0.245 11.008 0.272 0.005 0.000

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 20 20 16 0 15 31 22 23 0

N.S.

1 1.00 1.00 0.80 0.00 0.75 1.55 1.10 1.15 0.00

time (sec)

N/A 0.154 0.005 0.041 0.000 0.252 10.172 0.279 0.005 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

19 19 19 16 15 21 12 15 22 17

N.S.

1 1.00 1.00 0.84 0.79 1.11 0.63 0.79 1.16 0.89

time (sec)

N/A 0.115 0.006 0.049 0.281 0.245 0.041 0.283 0.001 0.029

[next] [front] [up]