Integrals 201 to 300

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 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 24 18 29 17 22 0 17

N.S.

1 1.00 1.00 0.75 1.21 0.71 0.92 0.00 0.71

time (sec)

N/A 0.028 0.010 0.042 0.231 0.250 0.394 0.000 15.657

Problem 202

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

N.S.

1 1.00 1.00 0.77 0.73 0.73 0.91 0.73 0.73

time (sec)

N/A 0.013 0.007 0.024 0.200 0.246 0.101 0.277 0.003

Problem 203

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

N.S.

1 1.00 1.00 0.81 0.75 0.75 0.88 0.75 0.75

time (sec)

N/A 0.004 0.005 0.188 0.285 0.240 0.066 0.278 15.914

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 23 22 25 114 22 22

N.S.

1 1.00 1.00 0.77 0.73 0.83 3.80 0.73 0.73

time (sec)

N/A 0.035 0.005 0.850 0.186 0.270 0.886 0.274 16.175

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 34 34 185 30 0 29 0 0

N.S.

1 1.48 1.48 8.04 1.30 0.00 1.26 0.00 0.00

time (sec)

N/A 0.004 0.009 0.055 0.284 0.000 0.379 0.000 0.000

Problem 206

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

N.S.

1 1.00 1.00 3.00 1.33 1.33 1.00 1.33 1.33

time (sec)

N/A 0.001 0.000 0.012 0.188 0.237 0.016 0.264 0.013

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 264 131 16 2527 123 0 134 15

N.S.

1 24.00 11.91 1.45 229.73 11.18 0.00 12.18 1.36

time (sec)

N/A 4.540 0.423 0.640 0.367 0.339 0.000 0.323 16.884

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 11 9 34 7 8 33 8

N.S.

1 1.00 1.38 1.12 4.25 0.88 1.00 4.12 1.00

time (sec)

N/A 0.013 0.015 0.231 0.193 0.242 0.144 0.274 15.331

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 29 27 33 21 22 44 46

N.S.

1 1.00 1.21 1.12 1.38 0.88 0.92 1.83 1.92

time (sec)

N/A 0.014 0.102 0.190 0.278 0.262 0.407 0.292 0.384

Problem 210

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

N.S.

1 1.00 1.00 0.75 0.67 0.67 0.83 0.67 0.67

time (sec)

N/A 0.004 0.016 0.166 0.272 0.240 0.065 0.279 0.258

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B A B B F B

verified

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

size

5 0 5 12 5 11 7 0 5

N.S.

1 0.00 1.00 2.40 1.00 2.20 1.40 0.00 1.00

time (sec)

N/A 0.000 0.019 0.032 0.243 0.236 0.068 0.000 15.455

Problem 212

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

N.S.

1 1.00 1.00 1.09 1.18 1.00 0.73 1.18 1.00

time (sec)

N/A 0.014 0.007 0.170 0.176 0.243 0.039 0.267 15.515

Problem 213

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

2 2 16 3 2 14 2 25 2

N.S.

1 1.00 8.00 1.50 1.00 7.00 1.00 12.50 1.00

time (sec)

N/A 0.001 0.003 0.175 0.275 0.235 0.068 0.268 0.032

Problem 214

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

N.S.

1 2.00 1.00 1.11 2.00 1.00 1.11 1.11 1.00

time (sec)

N/A 0.046 0.014 0.052 0.184 0.252 0.048 0.273 15.230

Problem 215

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

N.S.

1 1.00 1.00 1.00 0.90 0.90 0.70 0.90 0.90

time (sec)

N/A 0.008 0.003 0.033 0.190 0.257 0.035 0.294 0.049

Problem 216

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 20 17 16 16 17 16 13

N.S.

1 1.00 1.00 0.85 0.80 0.80 0.85 0.80 0.65

time (sec)

N/A 0.027 0.011 0.039 0.190 0.249 0.118 0.277 14.933

Problem 217

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

25 25 25 22 22 20 15 107 20

N.S.

1 1.00 1.00 0.88 0.88 0.80 0.60 4.28 0.80

time (sec)

N/A 0.007 0.008 0.084 0.188 0.246 0.057 0.280 0.171

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 8 7 6 6 5 6 6

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.62 0.75 0.75

time (sec)

N/A 0.006 0.008 0.252 0.271 0.240 0.047 0.293 0.085

Problem 219

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 20 13 5 12 17 19 12

N.S.

1 1.00 1.00 0.65 0.25 0.60 0.85 0.95 0.60

time (sec)

N/A 0.070 0.008 0.098 0.333 0.244 0.512 0.289 15.403

Problem 220

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

12 12 25 20 8 19 10 19 16

N.S.

1 1.00 2.08 1.67 0.67 1.58 0.83 1.58 1.33

time (sec)

N/A 0.130 0.017 0.345 0.185 0.246 1.043 0.276 15.260

Problem 221

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

N.S.

1 1.00 1.00 1.06 1.00 1.00 0.94 1.00 1.00

time (sec)

N/A 0.005 0.004 0.051 0.276 0.245 0.050 0.269 0.092

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 10 13 13 12 13 9

N.S.

1 1.00 1.00 0.67 0.87 0.87 0.80 0.87 0.60

time (sec)

N/A 0.004 0.004 0.259 0.187 0.239 0.044 0.275 14.935

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 23 23 22 19 37 40 0

N.S.

1 1.00 0.82 0.82 0.79 0.68 1.32 1.43 0.00

time (sec)

N/A 0.014 0.011 0.013 0.271 0.256 0.776 0.263 0.000

Problem 224

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

13 13 13 21 13 47 17 13 24

N.S.

1 1.00 1.00 1.62 1.00 3.62 1.31 1.00 1.85

time (sec)

N/A 0.025 3.436 12.919 0.186 0.251 0.844 0.283 15.867

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

9 9 11 9 9 9 8 11 11

N.S.

1 1.00 1.22 1.00 1.00 1.00 0.89 1.22 1.22

time (sec)

N/A 0.010 1.895 0.040 0.400 0.249 0.495 0.267 15.397

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

14 14 16 12 1038 14 14 14 14

N.S.

1 1.00 1.14 0.86 74.14 1.00 1.00 1.00 1.00

time (sec)

N/A 0.022 9.778 0.105 0.736 0.247 0.800 0.278 15.380

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 11128 10106 10106 0 11171 10106 15

N.S.

1 1.00 483.83 439.39 439.39 0.00 485.70 439.39 0.65

time (sec)

N/A 0.027 0.137 9.328 2.400 0.000 2.596 1.104 31.766

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 19 19 10 9 19 29 19 15

N.S.

1 1.73 1.73 0.91 0.82 1.73 2.64 1.73 1.36

time (sec)

N/A 0.061 0.020 3.911 0.187 0.257 0.252 0.261 15.045

Problem 229

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

N.S.

1 1.00 1.00 1.20 1.00 1.00 0.60 1.00 1.00

time (sec)

N/A 0.064 0.018 0.034 0.224 0.251 0.066 0.268 15.455

Problem 230

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.006 0.236 0.277 0.237 0.083 0.293 0.029

Problem 231

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 28 22 21 21 20 35 21

N.S.

1 1.00 1.00 0.79 0.75 0.75 0.71 1.25 0.75

time (sec)

N/A 0.032 0.042 0.036 0.212 0.248 0.523 0.313 16.329

Problem 232

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

5 5 5 6 5 5 5 72 5

N.S.

1 1.00 1.00 1.20 1.00 1.00 1.00 14.40 1.00

time (sec)

N/A 0.023 0.066 0.188 0.201 0.250 0.073 0.276 0.093

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 57 12 9 5 0 5 0

N.S.

1 1.00 1.00 0.21 0.16 0.09 0.00 0.09 0.00

time (sec)

N/A 0.057 0.009 0.065 0.415 0.237 0.000 0.277 0.000

Problem 234

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

14 21 22 11 10 29 42 10 10

N.S.

1 1.50 1.57 0.79 0.71 2.07 3.00 0.71 0.71

time (sec)

N/A 0.027 0.006 0.075 0.193 0.243 0.266 0.277 0.091

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 34 30 0 33 0 33 51

N.S.

1 1.00 0.76 0.67 0.00 0.73 0.00 0.73 1.13

time (sec)

N/A 0.037 0.313 0.040 0.000 0.235 0.000 0.284 14.998

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

5 5 7 5 7 7 7 7 7

N.S.

1 1.00 1.40 1.00 1.40 1.40 1.40 1.40 1.40

time (sec)

N/A 0.009 1.613 0.065 0.410 0.249 0.591 0.273 15.895

Problem 237

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

N.S.

1 1.00 1.00 0.85 0.80 0.80 0.75 0.80 0.80

time (sec)

N/A 0.018 0.002 0.132 0.194 0.245 0.114 0.275 0.119

Problem 238

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.004 0.204 0.187 0.254 0.046 0.279 0.004

Problem 239

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

2 2 2 3 10 20 14 10 2

N.S.

1 1.00 1.00 1.50 5.00 10.00 7.00 5.00 1.00

time (sec)

N/A 0.008 0.002 0.233 0.204 0.246 0.308 0.287 0.047

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

9 9 9 8 0 7 7 0 7

N.S.

1 1.00 1.00 0.89 0.00 0.78 0.78 0.00 0.78

time (sec)

N/A 0.043 0.014 0.042 0.000 0.262 0.070 0.000 0.068

Problem 241

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

35 35 26 24 23 21 306 30 10

N.S.

1 1.00 0.74 0.69 0.66 0.60 8.74 0.86 0.29

time (sec)

N/A 0.011 0.025 0.205 0.206 0.247 0.562 0.275 16.078

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 193 20 21 20 20 19 21 20

N.S.

1 8.04 0.83 0.88 0.83 0.83 0.79 0.88 0.83

time (sec)

N/A 0.796 0.007 0.026 0.264 0.239 0.051 0.275 16.006

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B F A B

verified

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

size

5 0 5 6 5 65 0 5 5

N.S.

1 0.00 1.00 1.20 1.00 13.00 0.00 1.00 1.00

time (sec)

N/A 0.000 0.126 12.754 0.384 0.245 0.000 0.275 16.485

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A C B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 33 12 40 79 14 80 55 14

N.S.

1 2.75 1.00 3.33 6.58 1.17 6.67 4.58 1.17

time (sec)

N/A 0.101 0.031 6.327 0.207 0.250 0.138 0.270 16.361

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

10 0 18 12 16 11 10 11 11

N.S.

1 0.00 1.80 1.20 1.60 1.10 1.00 1.10 1.10

time (sec)

N/A 0.000 0.011 0.222 0.190 0.240 0.189 0.263 16.435

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A C A F C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

3 42 3 4 14 3 0 40 3

N.S.

1 14.00 1.00 1.33 4.67 1.00 0.00 13.33 1.00

time (sec)

N/A 0.099 0.002 0.605 0.284 0.225 0.000 0.287 15.736

Problem 247

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

8 8 40 7 6 16 5 25 6

N.S.

1 1.00 5.00 0.88 0.75 2.00 0.62 3.12 0.75

time (sec)

N/A 0.003 0.013 0.240 0.282 0.231 0.196 0.264 14.980

Problem 248

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 15 14 13 31 63 46 26

N.S.

1 1.00 0.44 0.41 0.38 0.91 1.85 1.35 0.76

time (sec)

N/A 0.016 0.012 0.106 0.270 0.248 0.327 0.270 14.835

Problem 249

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

N.S.

1 1.00 1.00 0.89 1.00 1.06 0.78 1.11 1.00

time (sec)

N/A 0.010 0.007 0.047 0.199 0.232 0.059 0.257 0.052

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

56 0 56 0 51 69 0 0 0

N.S.

1 0.00 1.00 0.00 0.91 1.23 0.00 0.00 0.00

time (sec)

N/A 0.000 0.037 0.000 0.401 0.244 0.000 0.000 0.000

Problem 251

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

N.S.

1 1.00 1.00 0.85 0.80 0.80 0.75 0.80 0.85

time (sec)

N/A 0.029 0.003 0.010 0.193 0.222 0.015 0.273 0.035

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 13 12 32 11 65 0 11

N.S.

1 1.00 0.62 0.57 1.52 0.52 3.10 0.00 0.52

time (sec)

N/A 0.043 10.029 0.256 0.275 0.235 1.445 0.000 14.706

Problem 253

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

17 25 33 24 25 39 29 18 38

N.S.

1 1.47 1.94 1.41 1.47 2.29 1.71 1.06 2.24

time (sec)

N/A 0.032 0.054 0.392 0.192 0.242 0.026 0.270 15.193

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 25 8 7 61 10 5 6 6

N.S.

1 3.12 1.00 0.88 7.62 1.25 0.62 0.75 0.75

time (sec)

N/A 0.073 0.041 0.072 0.193 0.241 0.162 0.267 14.735

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 23 14 39 42 19 37 14

N.S.

1 1.00 1.35 0.82 2.29 2.47 1.12 2.18 0.82

time (sec)

N/A 0.030 0.015 9.814 0.197 0.239 0.170 0.273 14.884

Problem 256

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

33 33 22 23 31 22 34 51 22

N.S.

1 1.00 0.67 0.70 0.94 0.67 1.03 1.55 0.67

time (sec)

N/A 0.029 0.023 0.094 0.306 0.243 0.190 0.259 15.857

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A C F B F B B

verified

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

size

6 0 6 44 0 15 0 35 35

N.S.

1 0.00 1.00 7.33 0.00 2.50 0.00 5.83 5.83

time (sec)

N/A 0.000 0.084 0.489 0.000 0.257 0.000 0.276 16.005

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

9 81 21 28 45 16 0 5161 0

N.S.

1 9.00 2.33 3.11 5.00 1.78 0.00 573.44 0.00

time (sec)

N/A 0.084 0.879 1.581 0.277 0.255 0.000 1.841 0.000

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

67 67 56 0 0 0 0 0 0

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.064 0.056 0.000 0.000 0.000 0.000 0.000 0.000

Problem 260

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

84 84 84 63 66 62 394 62 78

N.S.

1 1.00 1.00 0.75 0.79 0.74 4.69 0.74 0.93

time (sec)

N/A 0.247 0.103 1.304 0.236 0.264 4.266 0.261 16.535

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 21 58 16 19 23 32

N.S.

1 1.00 1.00 1.05 2.90 0.80 0.95 1.15 1.60

time (sec)

N/A 0.031 0.110 0.376 0.289 0.271 0.063 0.273 16.873

Problem 262

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

63 63 89 53 62 83 119 50 0

N.S.

1 1.00 1.41 0.84 0.98 1.32 1.89 0.79 0.00

time (sec)

N/A 0.025 0.184 0.237 0.273 0.252 1.065 0.267 0.000

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 26 14 17 20 17 14

N.S.

1 1.00 1.00 1.24 0.67 0.81 0.95 0.81 0.67

time (sec)

N/A 0.010 0.013 0.188 0.215 0.274 0.346 0.261 16.239

Problem 264

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

76 76 41 40 103 39 36 39 39

N.S.

1 1.00 0.54 0.53 1.36 0.51 0.47 0.51 0.51

time (sec)

N/A 0.313 0.624 0.079 0.198 0.244 0.049 0.259 16.514

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

38 0 38 0 34 34 34 163 0

N.S.

1 0.00 1.00 0.00 0.89 0.89 0.89 4.29 0.00

time (sec)

N/A 0.000 0.027 0.000 0.296 0.246 0.099 0.283 0.000

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

52 115 0 0 0 0 0 0 0

N.S.

1 2.21 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.170 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 267

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

64 64 33 29 46 29 138 61 46

N.S.

1 1.00 0.52 0.45 0.72 0.45 2.16 0.95 0.72

time (sec)

N/A 0.016 0.027 0.212 0.204 0.236 1.700 0.270 0.034

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 77 70 47 0 0 56 0 0

N.S.

1 1.79 1.63 1.09 0.00 0.00 1.30 0.00 0.00

time (sec)

N/A 0.017 0.037 0.249 0.000 0.000 0.730 0.000 0.000

Problem 269

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

41 41 58 31 30 48 34 30 31

N.S.

1 1.00 1.41 0.76 0.73 1.17 0.83 0.73 0.76

time (sec)

N/A 0.015 0.137 0.194 0.306 0.232 0.106 0.268 15.214

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

99 99 142 0 0 0 0 0 0

N.S.

1 1.00 1.43 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.058 0.183 0.000 0.000 0.000 0.000 0.000 0.000

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 36 31 29 36 0 0 0

N.S.

1 1.00 1.00 0.86 0.81 1.00 0.00 0.00 0.00

time (sec)

N/A 0.108 0.182 0.043 0.234 0.244 0.000 0.000 0.000

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 93 47 42 41 45 85 41 55

N.S.

1 2.11 1.07 0.95 0.93 1.02 1.93 0.93 1.25

time (sec)

N/A 0.748 0.048 0.162 0.203 0.242 1.033 0.260 16.529

Problem 273

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

56 56 33 30 58 29 68 42 30

N.S.

1 1.00 0.59 0.54 1.04 0.52 1.21 0.75 0.54

time (sec)

N/A 0.071 0.039 0.239 0.193 0.231 0.847 0.273 0.224

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 25 23 28 37 26 23 28

N.S.

1 1.00 0.81 0.74 0.90 1.19 0.84 0.74 0.90

time (sec)

N/A 0.005 0.015 0.201 0.291 0.233 0.068 0.264 0.064

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

108 0 132 96 115 262 0 0 0

N.S.

1 0.00 1.22 0.89 1.06 2.43 0.00 0.00 0.00

time (sec)

N/A 0.000 0.050 0.644 0.337 0.272 0.000 0.000 0.000

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

32 100 29 17 8 8 0 32 8

N.S.

1 3.12 0.91 0.53 0.25 0.25 0.00 1.00 0.25

time (sec)

N/A 0.306 0.023 2.327 0.220 0.254 0.000 0.870 15.603

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A C A F A B

verified

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

size

21 0 21 22 27 13 0 13 19

N.S.

1 0.00 1.00 1.05 1.29 0.62 0.00 0.62 0.90

time (sec)

N/A 0.000 0.057 0.114 0.241 0.239 0.000 0.256 0.035

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 102 114 13 117 114 31 0 0

N.S.

1 1.00 1.12 0.13 1.15 1.12 0.30 0.00 0.00

time (sec)

N/A 0.023 0.405 0.247 0.287 0.242 1.774 0.000 0.000

Problem 279

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

N.S.

1 1.00 1.00 3.00 1.33 1.33 1.00 1.33 1.33

time (sec)

N/A 0.001 0.000 0.017 0.200 0.227 0.013 0.248 0.004

Problem 280

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

3 3 3 4 3 8 7 5 5

N.S.

1 1.00 1.00 1.33 1.00 2.67 2.33 1.67 1.67

time (sec)

N/A 0.003 0.000 0.073 0.198 0.237 0.175 0.259 0.003

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

7 7 7 7 6 6 7 6 6

N.S.

1 1.00 1.00 1.00 0.86 0.86 1.00 0.86 0.86

time (sec)

N/A 0.076 0.022 0.054 0.198 0.243 0.068 0.269 0.182

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 23 22 22 20 22 22

N.S.

1 1.00 1.00 0.77 0.73 0.73 0.67 0.73 0.73

time (sec)

N/A 0.033 0.001 0.075 0.193 0.226 0.017 0.265 0.022

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 36 27 26 26 27 23 26

N.S.

1 1.00 1.00 0.75 0.72 0.72 0.75 0.64 0.72

time (sec)

N/A 0.037 0.003 0.015 0.205 0.221 0.017 0.263 0.024

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 20 20 17 16 16 15 16 8

N.S.

1 2.00 2.00 1.70 1.60 1.60 1.50 1.60 0.80

time (sec)

N/A 0.023 0.007 0.203 0.205 0.245 0.072 0.269 15.369

Problem 285

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

12 12 12 15 14 24 17 28 14

N.S.

1 1.00 1.00 1.25 1.17 2.00 1.42 2.33 1.17

time (sec)

N/A 0.037 0.261 1.191 0.289 0.252 0.030 0.292 16.002

Problem 286

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

N.S.

1 1.00 1.00 1.00 0.88 0.88 0.88 0.88 0.88

time (sec)

N/A 0.010 0.006 0.050 0.206 0.244 0.057 0.269 18.451

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

1 3 1 2 1 1 0 26 1

N.S.

1 3.00 1.00 2.00 1.00 1.00 0.00 26.00 1.00

time (sec)

N/A 0.044 0.000 0.250 0.225 0.231 0.020 0.267 0.005

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

1 50 1 2 1 1 58 1 1

N.S.

1 50.00 1.00 2.00 1.00 1.00 58.00 1.00 1.00

time (sec)

N/A 0.075 0.001 0.334 0.211 0.231 0.029 0.273 18.137

Problem 289

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

9 9 9 9 81 8 8 8 9

N.S.

1 1.00 1.00 1.00 9.00 0.89 0.89 0.89 1.00

time (sec)

N/A 0.026 0.033 0.383 0.232 0.241 0.166 0.267 18.143

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 100 61 79 114 0 73 238

N.S.

1 1.00 2.04 1.24 1.61 2.33 0.00 1.49 4.86

time (sec)

N/A 0.020 0.080 0.346 0.282 0.252 0.000 0.292 17.803

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

13 13 13 0 11 0 0 15 0

N.S.

1 1.00 1.00 0.00 0.85 0.00 0.00 1.15 0.00

time (sec)

N/A 0.031 3.386 180.000 0.188 0.000 0.000 0.273 0.000

Problem 292

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

9 17 17 14 13 131 34 13 13

N.S.

1 1.89 1.89 1.56 1.44 14.56 3.78 1.44 1.44

time (sec)

N/A 0.017 0.103 2.044 0.197 1.626 0.126 0.287 17.314

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A C B A A B B

verified

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

size

19 0 21 30 91 16 17 119 22

N.S.

1 0.00 1.11 1.58 4.79 0.84 0.89 6.26 1.16

time (sec)

N/A 0.000 0.070 0.331 0.208 0.257 0.077 0.298 17.617

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

9 87 0 0 0 30 56 0 0

N.S.

1 9.67 0.00 0.00 0.00 3.33 6.22 0.00 0.00

time (sec)

N/A 0.060 0.000 0.000 0.000 0.252 18.125 0.000 0.000

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 32 24 24 24 26 24 24

N.S.

1 1.00 1.00 0.75 0.75 0.75 0.81 0.75 0.75

time (sec)

N/A 0.005 0.000 0.013 0.197 0.248 0.017 0.271 0.026

Problem 296

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

N.S.

1 1.00 1.00 1.07 1.00 1.00 1.00 1.14 0.71

time (sec)

N/A 0.009 0.007 0.209 0.200 0.239 0.041 0.269 0.047

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 34 28 80 65 0 0 0

N.S.

1 1.00 0.87 0.72 2.05 1.67 0.00 0.00 0.00

time (sec)

N/A 0.057 0.017 0.047 0.203 0.250 0.000 0.000 0.000

Problem 298

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

24 0 24 33 28 32 27 72 28

N.S.

1 0.00 1.00 1.38 1.17 1.33 1.12 3.00 1.17

time (sec)

N/A 0.000 0.047 0.121 0.247 0.237 0.051 0.276 18.187

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 20 19 0 34 0 22 17

N.S.

1 1.00 0.77 0.73 0.00 1.31 0.00 0.85 0.65

time (sec)

N/A 0.015 0.013 0.265 0.000 0.238 0.000 0.279 0.063

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 42 33 32 35 83 32 38

N.S.

1 1.00 0.95 0.75 0.73 0.80 1.89 0.73 0.86

time (sec)

N/A 0.033 0.019 0.369 0.206 0.243 0.178 0.269 16.927