Integrals 2201 to 2300

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 2201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 54 66 62 65 61 68 71 0

N.S.

1 0.00 1.80 2.20 2.07 2.17 2.03 2.27 2.37 0.00

time (sec)

N/A 0.000 0.776 2.735 0.429 0.088 0.557 0.763 2.685 0.000

Problem 2202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 39 28 37 49 32 37 41 31

N.S.

1 0.00 1.44 1.04 1.37 1.81 1.19 1.37 1.52 1.15

time (sec)

N/A 0.000 0.050 1.476 0.230 0.087 0.089 0.187 0.186 3.273

Problem 2203

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

N.S.

1 1.20 1.00 1.10 1.30 1.30 0.80 1.60 1.00 1.50

time (sec)

N/A 0.166 0.004 0.052 0.031 0.079 0.040 0.108 0.172 2.303

Problem 2204

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

N.S.

1 0.36 0.36 0.36 0.29 0.29 0.21 0.29 0.36 0.29

time (sec)

N/A 0.137 0.001 0.051 0.033 0.077 0.028 0.119 0.175 0.008

Problem 2205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 0 27 33 37 31 31 41 40 33

N.S.

1 0.00 0.93 1.14 1.28 1.07 1.07 1.41 1.38 1.14

time (sec)

N/A 0.000 0.352 19.140 0.108 0.095 0.541 0.197 0.200 2.586

Problem 2206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 0 18 23 22 22 24 22 26 22

N.S.

1 0.00 0.95 1.21 1.16 1.16 1.26 1.16 1.37 1.16

time (sec)

N/A 0.000 0.083 0.468 0.091 0.089 0.472 0.167 0.194 2.538

Problem 2207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 0 14 15 12 14 12 14 14 14

N.S.

1 0.00 1.00 1.07 0.86 1.00 0.86 1.00 1.00 1.00

time (sec)

N/A 0.000 0.062 0.877 0.087 0.082 0.074 0.112 0.195 2.395

Problem 2208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 0 204 89 627 285 1028 0 86 520

N.S.

1 0.00 6.00 2.62 18.44 8.38 30.24 0.00 2.53 15.29

time (sec)

N/A 0.000 0.085 296.146 0.172 0.095 1.638 0.000 0.191 2.737

Problem 2209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 0 45 93 44 44 44 381 0 0

N.S.

1 0.00 1.55 3.21 1.52 1.52 1.52 13.14 0.00 0.00

time (sec)

N/A 0.000 0.106 0.059 0.250 0.097 0.277 0.220 0.267 0.000

Problem 2210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 0 26 24 23 23 24 44 32 21

N.S.

1 0.00 0.84 0.77 0.74 0.74 0.77 1.42 1.03 0.68

time (sec)

N/A 0.000 0.601 1.313 0.272 0.089 0.135 0.258 0.175 2.396

Problem 2211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 0 30 29 38 40 53 45 48 28

N.S.

1 0.00 0.91 0.88 1.15 1.21 1.61 1.36 1.45 0.85

time (sec)

N/A 0.000 3.957 2.171 0.117 0.093 0.229 0.173 0.184 2.987

Problem 2212

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 38 38 32 33 37 26 39 40 29

N.S.

1 1.65 1.65 1.39 1.43 1.61 1.13 1.70 1.74 1.26

time (sec)

N/A 0.303 0.009 0.267 0.039 0.081 0.116 0.106 0.179 0.068

Problem 2213

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

N.S.

1 1.00 1.00 1.00 0.93 0.93 1.00 0.93 1.07 0.93

time (sec)

N/A 0.159 0.009 0.145 0.028 0.091 0.042 0.112 0.171 0.015

Problem 2214

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 28 24 19 18 21 17 19 34 18

N.S.

1 0.80 0.69 0.54 0.51 0.60 0.49 0.54 0.97 0.51

time (sec)

N/A 0.238 0.006 0.075 0.034 0.084 0.056 0.119 0.173 0.037

Problem 2215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 0 22 21 27 20 15 20 20 20

N.S.

1 0.00 1.00 0.95 1.23 0.91 0.68 0.91 0.91 0.91

time (sec)

N/A 0.000 0.263 0.996 0.157 0.077 0.076 0.229 0.172 0.351

Problem 2216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 43 29 35 76 30 37 30 43 22

N.S.

1 2.05 1.38 1.67 3.62 1.43 1.76 1.43 2.05 1.05

time (sec)

N/A 0.613 0.043 0.811 0.078 0.088 0.261 0.123 0.161 2.483

Problem 2217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 40 36 37 36 36 37 36 36 0

N.S.

1 2.86 2.57 2.64 2.57 2.57 2.64 2.57 2.57 0.00

time (sec)

N/A 0.779 0.022 1.888 0.082 0.090 0.100 0.150 0.172 0.000

Problem 2218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 24 17 20 27 16 19 16 17 16

N.S.

1 0.83 0.59 0.69 0.93 0.55 0.66 0.55 0.59 0.55

time (sec)

N/A 0.204 0.016 0.299 0.058 0.089 0.091 0.106 0.165 2.428

Problem 2219

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

N.S.

1 1.16 1.00 1.05 0.84 1.00 1.00 0.84 1.00 1.00

time (sec)

N/A 0.321 0.033 0.124 0.185 0.078 0.076 0.119 3.071 2.378

Problem 2220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

40 0 145 54 77 79 44 57 156 0

N.S.

1 0.00 3.62 1.35 1.92 1.98 1.10 1.42 3.90 0.00

time (sec)

N/A 0.000 0.069 1.807 0.098 0.106 0.252 0.205 0.225 0.000

Problem 2221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 0 28 26 17 26 22 26 31 46

N.S.

1 0.00 1.27 1.18 0.77 1.18 1.00 1.18 1.41 2.09

time (sec)

N/A 0.000 0.337 1.306 0.217 0.088 0.100 0.146 0.171 2.557

Problem 2222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 45 31 37 205 41 39 0 45 110

N.S.

1 1.45 1.00 1.19 6.61 1.32 1.26 0.00 1.45 3.55

time (sec)

N/A 0.454 2.142 1.651 0.214 0.090 0.315 0.000 0.169 2.946

Problem 2223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 33 21 21 0 23 19 32 23 22

N.S.

1 1.74 1.11 1.11 0.00 1.21 1.00 1.68 1.21 1.16

time (sec)

N/A 0.428 0.315 0.268 0.000 0.090 0.070 0.105 0.170 2.426

Problem 2224

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

N.S.

1 0.78 0.78 0.72 0.78 0.78 0.67 0.89 0.78 0.67

time (sec)

N/A 0.209 0.005 0.116 0.025 0.080 0.049 0.106 0.164 2.379

Problem 2225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 12 12 12 42 14 12 14 15 11

N.S.

1 0.63 0.63 0.63 2.21 0.74 0.63 0.74 0.79 0.58

time (sec)

N/A 0.263 0.057 0.089 0.030 0.090 0.130 0.108 0.181 0.028

Problem 2226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 88 23 78 61 61 95 61 84 93

N.S.

1 4.40 1.15 3.90 3.05 3.05 4.75 3.05 4.20 4.65

time (sec)

N/A 0.225 0.008 0.312 0.030 0.087 0.028 0.109 0.177 2.496

Problem 2227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 82 61 47 93 35 49 58 45 44

N.S.

1 2.56 1.91 1.47 2.91 1.09 1.53 1.81 1.41 1.38

time (sec)

N/A 0.292 0.024 1.526 0.039 0.096 0.095 0.113 0.175 2.507

Problem 2228

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

N.S.

1 0.33 0.33 0.33 0.29 0.29 0.29 0.29 0.33 0.29

time (sec)

N/A 0.125 0.000 0.041 0.033 0.086 0.021 0.108 0.183 0.022

Problem 2229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 48 22 39 74 34 41 40 43 21

N.S.

1 2.29 1.05 1.86 3.52 1.62 1.95 1.90 2.05 1.00

time (sec)

N/A 0.354 1.190 0.911 0.067 0.087 0.072 0.108 0.169 2.404

Problem 2230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 32 28 29 51 26 32 36 42 27

N.S.

1 1.03 0.90 0.94 1.65 0.84 1.03 1.16 1.35 0.87

time (sec)

N/A 0.236 0.448 0.651 0.068 0.082 0.079 0.111 0.172 0.054

Problem 2231

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

N.S.

1 1.24 1.06 0.88 0.76 0.76 0.88 0.76 0.88 0.82

time (sec)

N/A 0.137 0.002 0.077 0.031 0.079 0.049 0.111 0.171 0.028

Problem 2232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 25 24 42 26 24 22 0 24 24

N.S.

1 1.00 0.96 1.68 1.04 0.96 0.88 0.00 0.96 0.96

time (sec)

N/A 0.582 0.042 1.086 0.094 0.100 0.267 0.000 0.172 3.000

Problem 2233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 31 22 28 21 20 21 34 21

N.S.

1 0.00 1.15 0.81 1.04 0.78 0.74 0.78 1.26 0.78

time (sec)

N/A 0.000 5.070 2.239 0.066 0.101 8.897 0.127 0.179 2.465

Problem 2234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 25 25 88 48 87 82 56 298 59

N.S.

1 0.89 0.89 3.14 1.71 3.11 2.93 2.00 10.64 2.11

time (sec)

N/A 7.875 0.223 9.852 0.516 0.103 5.682 10.612 200.026 2.665

Problem 2235

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 36 36 34 31 34 32 36 36 33

N.S.

1 1.44 1.44 1.36 1.24 1.36 1.28 1.44 1.44 1.32

time (sec)

N/A 4.224 0.061 3.095 0.095 0.110 0.285 0.131 0.186 3.018

Problem 2236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 29 28 21 81 18 24 50 18 18

N.S.

1 1.21 1.17 0.88 3.38 0.75 1.00 2.08 0.75 0.75

time (sec)

N/A 0.610 0.064 0.940 0.219 0.092 0.139 0.130 0.178 2.525

Problem 2237

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

27 36 35 24 33 32 66 33 32 64

N.S.

1 1.33 1.30 0.89 1.22 1.19 2.44 1.22 1.19 2.37

time (sec)

N/A 0.166 0.002 0.238 0.028 0.088 0.023 0.122 0.179 2.381

Problem 2238

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

N.S.

1 1.00 1.00 1.00 0.87 1.07 0.93 0.87 1.67 0.87

time (sec)

N/A 0.297 0.110 0.160 0.116 0.084 0.081 0.133 0.181 2.417

Problem 2239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 28 27 26 32 31 29 26 28 28

N.S.

1 1.27 1.23 1.18 1.45 1.41 1.32 1.18 1.27 1.27

time (sec)

N/A 0.283 0.173 0.289 0.060 0.100 0.059 0.126 0.182 2.455

Problem 2240

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 20 22 20 17 17 22 17 17 14

N.S.

1 0.87 0.96 0.87 0.74 0.74 0.96 0.74 0.74 0.61

time (sec)

N/A 0.136 0.001 0.184 0.034 0.100 0.020 0.121 0.182 0.037

Problem 2241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 0 21 24 54 26 148 127 78 21

N.S.

1 0.00 0.91 1.04 2.35 1.13 6.43 5.52 3.39 0.91

time (sec)

N/A 0.000 0.202 2.369 0.175 0.086 0.175 0.139 0.193 2.693

Problem 2242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 80 47 28 111 59 31 60 78 58

N.S.

1 2.86 1.68 1.00 3.96 2.11 1.11 2.14 2.79 2.07

time (sec)

N/A 2.249 5.434 0.826 0.117 0.086 0.078 0.139 0.202 0.146

Problem 2243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 0 17 16 0 18 14 22 15 15

N.S.

1 0.00 1.21 1.14 0.00 1.29 1.00 1.57 1.07 1.07

time (sec)

N/A 0.000 0.053 0.415 0.000 0.082 0.139 0.128 0.187 2.504

Problem 2244

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 13 13 12 11 16 22 12 13 11

N.S.

1 0.81 0.81 0.75 0.69 1.00 1.38 0.75 0.81 0.69

time (sec)

N/A 0.156 0.003 0.062 0.033 0.082 0.051 0.139 0.183 0.022

Problem 2245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 55 70 58 53 54 58 0 70 63

N.S.

1 2.04 2.59 2.15 1.96 2.00 2.15 0.00 2.59 2.33

time (sec)

N/A 1.045 0.033 0.602 0.047 0.090 4.147 0.000 0.185 2.765

Problem 2246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 0 34 84 59 147 116 898950 212 0

N.S.

1 0.00 1.48 3.65 2.57 6.39 5.04 39084.78 9.22 0.00

time (sec)

N/A 0.000 0.051 86.483 0.133 0.109 0.213 6.336 200.018 0.000

Problem 2247

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

29 12 12 12 11 11 8 11 12 11

N.S.

1 0.41 0.41 0.41 0.38 0.38 0.28 0.38 0.41 0.38

time (sec)

N/A 0.147 0.004 0.161 0.039 0.089 0.069 0.113 0.171 2.472

Problem 2248

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

N.S.

1 0.69 0.69 0.69 0.65 0.65 0.58 0.65 0.69 0.65

time (sec)

N/A 0.199 0.028 0.249 0.027 0.102 0.057 0.128 0.189 0.036

Problem 2249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 0 71 95 474 81 0 0 496 295

N.S.

1 0.00 2.45 3.28 16.34 2.79 0.00 0.00 17.10 10.17

time (sec)

N/A 0.000 0.736 4.306 0.218 0.093 0.000 0.000 0.232 2.709

Problem 2250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 23 30 39 30 29 40 27 0

N.S.

1 0.00 0.85 1.11 1.44 1.11 1.07 1.48 1.00 0.00

time (sec)

N/A 0.000 0.171 3.905 0.170 0.098 0.200 0.147 0.177 0.000

Problem 2251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

37 0 31 29 25 114 31 0 273 26

N.S.

1 0.00 0.84 0.78 0.68 3.08 0.84 0.00 7.38 0.70

time (sec)

N/A 0.000 2.402 1.039 0.250 0.091 0.498 0.000 0.343 2.672

Problem 2252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 0 0 26 42 44 0 0 80 44

N.S.

1 0.00 0.00 0.84 1.35 1.42 0.00 0.00 2.58 1.42

time (sec)

N/A 0.000 0.000 45.752 0.202 0.096 0.000 0.000 67.017 2.776

Problem 2253

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

25 24 24 21 20 20 15 20 88 27

N.S.

1 0.96 0.96 0.84 0.80 0.80 0.60 0.80 3.52 1.08

time (sec)

N/A 0.252 0.194 0.220 0.037 0.089 0.117 0.106 0.298 0.067

Problem 2254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 34 32 17 0 25 19 30 34 18

N.S.

1 1.48 1.39 0.74 0.00 1.09 0.83 1.30 1.48 0.78

time (sec)

N/A 0.414 0.103 0.346 0.000 0.097 0.081 0.118 0.189 2.580

Problem 2255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 0 77 82 213 246 78 0 0 232

N.S.

1 0.00 2.33 2.48 6.45 7.45 2.36 0.00 0.00 7.03

time (sec)

N/A 0.000 1.127 39.510 1.929 0.114 0.608 0.000 16.126 3.534

Problem 2256

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 15 18 17 17 20 17 15 15

N.S.

1 1.00 0.79 0.95 0.89 0.89 1.05 0.89 0.79 0.79

time (sec)

N/A 0.150 0.001 0.086 0.037 0.097 0.044 0.123 0.191 2.629

Problem 2257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 0 18 16 33 17 0 17 73 15

N.S.

1 0.00 0.86 0.76 1.57 0.81 0.00 0.81 3.48 0.71

time (sec)

N/A 0.000 0.478 4.889 0.329 0.120 0.000 0.151 200.024 2.680

Problem 2258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 20 0 19 33 18 17 18 23 18

N.S.

1 0.80 0.00 0.76 1.32 0.72 0.68 0.72 0.92 0.72

time (sec)

N/A 0.375 0.000 0.411 0.261 0.089 0.107 0.139 0.182 0.197

Problem 2259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 0 19 20 47 19 15 19 19 19

N.S.

1 0.00 1.00 1.05 2.47 1.00 0.79 1.00 1.00 1.00

time (sec)

N/A 0.000 0.066 0.280 0.075 0.089 0.054 0.123 0.178 2.780

Problem 2260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 63 72 60 139 133 0 68 322 0

N.S.

1 2.17 2.48 2.07 4.79 4.59 0.00 2.34 11.10 0.00

time (sec)

N/A 2.613 2.115 1.546 0.186 0.119 0.000 0.303 0.253 0.000

Problem 2261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 0 52 197 0 165 178 0 239 553

N.S.

1 0.00 1.68 6.35 0.00 5.32 5.74 0.00 7.71 17.84

time (sec)

N/A 0.000 0.503 104.783 0.000 0.134 1.964 0.000 0.308 4.415

Problem 2262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

38 0 67 63 102 96 56 121 277 89

N.S.

1 0.00 1.76 1.66 2.68 2.53 1.47 3.18 7.29 2.34

time (sec)

N/A 0.000 2.381 0.064 0.140 0.094 0.166 0.189 200.017 2.931

Problem 2263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 74 42 31 45 32 29 39 32 17

N.S.

1 3.70 2.10 1.55 2.25 1.60 1.45 1.95 1.60 0.85

time (sec)

N/A 1.247 0.137 9.565 0.186 0.088 0.321 0.121 0.161 2.901

Problem 2264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 0 225 279 262 260 242 432 0

N.S.

1 0.00 0.00 7.50 9.30 8.73 8.67 8.07 14.40 0.00

time (sec)

N/A 0.000 0.000 0.801 0.298 0.112 1.281 0.207 0.173 0.000

Problem 2265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 29 0 47 48 45 20 61 136 0

N.S.

1 1.16 0.00 1.88 1.92 1.80 0.80 2.44 5.44 0.00

time (sec)

N/A 1.421 0.000 22.702 0.175 0.089 0.113 0.122 0.179 0.000

Problem 2266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 43 26 25 56 34 22 37 38 24

N.S.

1 1.87 1.13 1.09 2.43 1.48 0.96 1.61 1.65 1.04

time (sec)

N/A 0.447 0.068 0.382 0.096 0.093 0.124 0.117 0.174 2.642

Problem 2267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 0 22 29 35 29 31 454 28 112

N.S.

1 0.00 1.00 1.32 1.59 1.32 1.41 20.64 1.27 5.09

time (sec)

N/A 0.000 0.336 2.018 0.192 0.090 0.111 0.194 0.167 2.841

Problem 2268

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 16 16 14 20 20 22 20 26 13

N.S.

1 0.89 0.89 0.78 1.11 1.11 1.22 1.11 1.44 0.72

time (sec)

N/A 0.545 0.292 0.104 0.105 0.080 0.071 0.110 0.164 2.553

Problem 2269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 38 27 42 57 29 25 60 26

N.S.

1 0.00 1.41 1.00 1.56 2.11 1.07 0.93 2.22 0.96

time (sec)

N/A 0.000 3.706 2.357 0.123 0.109 0.217 0.116 0.176 2.640

Problem 2270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 0 32 28 30 30 24 30 862 0

N.S.

1 0.00 1.03 0.90 0.97 0.97 0.77 0.97 27.81 0.00

time (sec)

N/A 0.000 0.075 0.448 0.118 0.087 0.118 0.146 0.204 0.000

Problem 2271

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

N.S.

1 1.00 1.00 0.89 0.78 0.78 0.78 0.78 1.00 0.78

time (sec)

N/A 0.163 0.005 0.068 0.081 0.095 0.067 0.107 0.161 0.027

Problem 2272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 0 58 63 61 62 26 61 240 33

N.S.

1 0.00 1.81 1.97 1.91 1.94 0.81 1.91 7.50 1.03

time (sec)

N/A 0.000 0.097 15.803 0.238 0.101 0.163 0.508 200.017 2.655

Problem 2273

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 24 24 23 22 22 20 22 38 23

N.S.

1 0.89 0.89 0.85 0.81 0.81 0.74 0.81 1.41 0.85

time (sec)

N/A 0.500 0.029 0.457 0.165 0.089 0.072 0.114 0.191 0.048

Problem 2274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 41 23 28 38 27 27 33 33 36

N.S.

1 1.52 0.85 1.04 1.41 1.00 1.00 1.22 1.22 1.33

time (sec)

N/A 0.342 0.032 0.390 0.069 0.081 0.070 0.109 0.196 2.549

Problem 2275

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

20 32 18 19 35 18 14 18 18 21

N.S.

1 1.60 0.90 0.95 1.75 0.90 0.70 0.90 0.90 1.05

time (sec)

N/A 0.774 0.211 0.378 0.090 0.083 0.060 0.108 0.203 2.627

Problem 2276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 0 33 28 41 27 22 0 30 27

N.S.

1 0.00 1.38 1.17 1.71 1.12 0.92 0.00 1.25 1.12

time (sec)

N/A 0.000 0.231 0.249 0.112 0.081 2.176 0.000 0.210 2.627

Problem 2277

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

N.S.

1 1.46 1.15 0.77 0.69 0.69 0.77 0.69 0.77 0.69

time (sec)

N/A 0.184 0.016 0.069 0.041 0.083 0.040 0.124 0.195 0.026

Problem 2278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 24 21 44 57 43 41 405 62 25

N.S.

1 0.92 0.81 1.69 2.19 1.65 1.58 15.58 2.38 0.96

time (sec)

N/A 0.322 0.014 0.756 0.128 0.094 0.081 1.409 0.194 4.010

Problem 2279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 0 31 28 49 62 27 0 34 28

N.S.

1 0.00 1.11 1.00 1.75 2.21 0.96 0.00 1.21 1.00

time (sec)

N/A 0.000 0.645 5.540 0.065 0.092 0.632 0.000 0.223 2.891

Problem 2280

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

N.S.

1 0.80 0.80 0.87 0.80 0.80 0.80 0.80 0.80 0.80

time (sec)

N/A 0.330 0.060 0.112 0.084 0.103 0.063 0.122 0.187 2.492

Problem 2281

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 42 33 22 32 20 19 32 42 34

N.S.

1 1.83 1.43 0.96 1.39 0.87 0.83 1.39 1.83 1.48

time (sec)

N/A 0.255 0.168 0.181 0.124 0.084 0.057 0.131 0.206 0.067

Problem 2282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

36 0 93 77 42 77 105 143 1138 0

N.S.

1 0.00 2.58 2.14 1.17 2.14 2.92 3.97 31.61 0.00

time (sec)

N/A 0.000 0.116 3.382 0.273 0.095 0.627 0.321 0.257 0.000

Problem 2283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

12 12 12 13 20 12 12 59 12 12

N.S.

1 1.00 1.00 1.08 1.67 1.00 1.00 4.92 1.00 1.00

time (sec)

N/A 0.225 0.050 12.000 0.109 0.084 0.113 0.126 0.189 2.892

Problem 2284

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

N.S.

1 0.82 0.82 0.73 0.82 0.64 0.55 0.82 0.68 0.73

time (sec)

N/A 0.176 0.003 0.127 0.031 0.093 0.056 0.129 0.200 2.427

Problem 2285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 31 0 24 0 0 0 23 22

N.S.

1 0.00 1.24 0.00 0.96 0.00 0.00 0.00 0.92 0.88

time (sec)

N/A 0.000 0.134 0.000 0.099 0.000 0.000 0.000 0.206 3.683

Problem 2286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 27 198 0 23 0 0 25 23

N.S.

1 0.00 1.00 7.33 0.00 0.85 0.00 0.00 0.93 0.85

time (sec)

N/A 0.000 0.156 0.085 0.000 0.117 0.000 0.000 0.212 3.094

Problem 2287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

43 0 0 23 68 33 24 0 0 38

N.S.

1 0.00 0.00 0.53 1.58 0.77 0.56 0.00 0.00 0.88

time (sec)

N/A 0.000 0.000 8.405 0.234 0.106 0.481 0.000 16.453 2.780

Problem 2288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 39 37 40 0 43 32 46 45 37

N.S.

1 1.50 1.42 1.54 0.00 1.65 1.23 1.77 1.73 1.42

time (sec)

N/A 0.282 0.140 14.964 0.000 0.100 0.160 0.129 0.180 2.764

Problem 2289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 0 32 27 31 26 29 26 28 26

N.S.

1 0.00 1.03 0.87 1.00 0.84 0.94 0.84 0.90 0.84

time (sec)

N/A 0.000 0.064 2.062 0.229 0.101 0.338 0.257 0.182 2.686

Problem 2290

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 30 30 27 30 30 29 30 25 30

N.S.

1 1.36 1.36 1.23 1.36 1.36 1.32 1.36 1.14 1.36

time (sec)

N/A 0.172 0.000 0.108 0.026 0.090 0.037 0.120 0.196 2.542

Problem 2291

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

N.S.

1 0.75 0.92 1.00 1.17 1.17 1.17 1.17 1.17 1.17

time (sec)

N/A 0.134 0.000 0.074 0.040 0.094 0.017 0.121 0.182 0.001

Problem 2292

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

N.S.

1 1.09 1.00 0.87 1.04 0.83 0.74 0.91 0.91 0.91

time (sec)

N/A 0.483 0.175 0.289 0.152 0.110 0.095 0.129 0.180 2.658

Problem 2293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 26 25 39 35 34 45 40 27

N.S.

1 0.00 1.00 0.96 1.50 1.35 1.31 1.73 1.54 1.04

time (sec)

N/A 0.000 0.323 42.168 0.113 0.098 0.237 0.165 0.203 2.757

Problem 2294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 0 19 21 79 76 90 74 66 58

N.S.

1 0.00 1.00 1.11 4.16 4.00 4.74 3.89 3.47 3.05

time (sec)

N/A 0.000 0.495 0.565 0.193 0.102 0.183 0.127 0.175 2.665

Problem 2295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 34 19 18 18 18 15 51 35 29

N.S.

1 1.42 0.79 0.75 0.75 0.75 0.62 2.12 1.46 1.21

time (sec)

N/A 0.190 0.051 0.187 0.058 0.096 1.816 0.132 0.179 0.055

Problem 2296

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

N.S.

1 0.81 0.69 0.62 0.56 0.75 0.44 0.56 0.75 0.56

time (sec)

N/A 0.147 0.001 0.048 0.033 0.076 0.033 0.121 0.159 0.013

Problem 2297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 93 48 46 2490 45 0 0 886 1132

N.S.

1 3.21 1.66 1.59 85.86 1.55 0.00 0.00 30.55 39.03

time (sec)

N/A 10.637 0.289 101.553 0.298 0.099 0.000 0.000 0.497 3.053

Problem 2298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 0 16 17 48 48 48 101 46 0

N.S.

1 0.00 1.00 1.06 3.00 3.00 3.00 6.31 2.88 0.00

time (sec)

N/A 0.000 0.103 0.541 0.070 0.079 0.087 0.134 0.170 0.000

Problem 2299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 0 15 16 26 26 14 15 24 33

N.S.

1 0.00 0.71 0.76 1.24 1.24 0.67 0.71 1.14 1.57

time (sec)

N/A 0.000 0.106 0.480 0.075 0.112 0.076 0.143 0.175 2.656

Problem 2300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

13 0 13 12 11 11 8 11 13 11

N.S.

1 0.00 1.00 0.92 0.85 0.85 0.62 0.85 1.00 0.85

time (sec)

N/A 0.000 0.098 0.140 0.067 0.095 0.083 0.115 0.175 2.615