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

2.2.4 Integrals 301 to 400

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 301

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 14 15 14 17 10 15 14

N.S.

1 1.00 0.88 0.94 0.88 1.06 0.62 0.94 0.88

time (sec)

N/A 0.193 0.007 0.042 0.204 0.259 0.041 0.328 9.329

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 18 14 12 17 17 14 12 12

N.S.

1 0.86 0.67 0.57 0.81 0.81 0.67 0.57 0.57

time (sec)

N/A 0.155 0.003 0.027 0.189 0.237 0.039 0.261 9.283

Problem 303

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

N.S.

1 1.00 1.00 1.07 1.53 1.53 1.13 2.00 1.00

time (sec)

N/A 0.195 0.009 0.785 0.185 0.248 0.048 0.287 9.220

Problem 304

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 31 29 28 28 3 29 57

N.S.

1 1.00 1.00 0.94 0.90 0.90 0.10 0.94 1.84

time (sec)

N/A 0.210 0.009 0.051 0.268 0.262 0.062 0.275 0.069

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 18 19 19 19 22 19

N.S.

1 1.00 1.00 0.72 0.76 0.76 0.76 0.88 0.76

time (sec)

N/A 0.224 0.005 0.045 0.188 0.283 0.065 0.277 0.038

Problem 306

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 29 25 24 36 20 26 22

N.S.

1 1.00 0.97 0.83 0.80 1.20 0.67 0.87 0.73

time (sec)

N/A 0.204 0.012 0.049 0.186 0.248 0.042 0.261 9.441

Problem 307

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 23 18 17 17 17 18 21

N.S.

1 1.00 1.00 0.78 0.74 0.74 0.74 0.78 0.91

time (sec)

N/A 0.214 0.004 0.788 0.268 0.264 0.069 0.271 9.807

Problem 308

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

103 103 93 72 77 136 88 74 96

N.S.

1 1.00 0.90 0.70 0.75 1.32 0.85 0.72 0.93

time (sec)

N/A 0.603 0.033 1.092 0.274 0.298 0.292 0.282 9.342

Problem 309

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

33 34 30 27 25 36 24 25 32

N.S.

1 1.03 0.91 0.82 0.76 1.09 0.73 0.76 0.97

time (sec)

N/A 0.187 0.009 0.793 0.258 0.290 0.055 0.264 0.021

Problem 310

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

33 33 33 28 29 44 27 30 33

N.S.

1 1.00 1.00 0.85 0.88 1.33 0.82 0.91 1.00

time (sec)

N/A 0.220 0.013 0.822 0.261 0.295 0.065 0.283 9.594

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 20 23 19 17 26 19

N.S.

1 1.00 1.00 0.80 0.92 0.76 0.68 1.04 0.76

time (sec)

N/A 0.222 0.005 0.845 0.189 0.279 0.044 0.269 0.019

Problem 312

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 32 31 31 36 31 56

N.S.

1 1.00 1.00 0.89 0.86 0.86 1.00 0.86 1.56

time (sec)

N/A 0.307 0.011 0.793 0.262 0.291 0.094 0.259 0.062

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 29 22 21 33 22 21 23

N.S.

1 1.00 1.00 0.76 0.72 1.14 0.76 0.72 0.79

time (sec)

N/A 0.283 0.012 0.829 0.266 0.311 0.083 0.283 0.026

Problem 314

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

46 46 46 36 35 39 46 36 49

N.S.

1 1.00 1.00 0.78 0.76 0.85 1.00 0.78 1.07

time (sec)

N/A 0.247 0.018 0.063 0.270 0.325 0.083 0.269 9.426

Problem 315

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

N.S.

1 1.18 1.18 0.86 0.82 0.82 0.77 0.91 0.64

time (sec)

N/A 0.187 0.004 0.835 0.180 0.340 0.040 0.296 0.024

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 15 15 15 18 15

N.S.

1 1.00 1.00 0.94 0.88 0.88 0.88 1.06 0.88

time (sec)

N/A 0.220 0.005 0.042 0.185 0.339 0.064 0.262 0.042

Problem 317

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

N.S.

1 1.00 1.00 1.07 1.00 1.29 1.00 1.14 1.00

time (sec)

N/A 0.188 0.004 0.773 0.193 0.325 0.052 0.289 9.487

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 25 18 17 17 17 20 17

N.S.

1 1.00 1.32 0.95 0.89 0.89 0.89 1.05 0.89

time (sec)

N/A 0.195 0.005 0.039 0.184 0.340 0.069 0.276 9.620

Problem 319

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 23 18 17 17 19 17 33

N.S.

1 1.00 1.00 0.78 0.74 0.74 0.83 0.74 1.43

time (sec)

N/A 0.208 0.009 0.072 0.268 0.316 0.090 0.265 0.039

Problem 320

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

63 63 57 51 50 50 68 53 58

N.S.

1 1.00 0.90 0.81 0.79 0.79 1.08 0.84 0.92

time (sec)

N/A 0.266 0.020 0.082 0.263 0.327 0.216 0.336 0.093

Problem 321

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

69 86 67 54 59 103 65 59 71

N.S.

1 1.25 0.97 0.78 0.86 1.49 0.94 0.86 1.03

time (sec)

N/A 0.284 0.032 0.075 0.283 0.298 0.114 0.289 0.083

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 13 19 12 13 13

N.S.

1 1.00 1.00 0.82 0.76 1.12 0.71 0.76 0.76

time (sec)

N/A 0.164 0.006 0.790 0.270 0.247 0.049 0.265 0.020

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 18 17 17 15 17 17

N.S.

1 1.00 1.00 0.95 0.89 0.89 0.79 0.89 0.89

time (sec)

N/A 0.207 0.005 0.724 0.260 0.260 0.046 0.266 9.578

Problem 324

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

9 9 9 8 7 7 7 28 19

N.S.

1 1.00 1.00 0.89 0.78 0.78 0.78 3.11 2.11

time (sec)

N/A 0.244 0.005 0.798 0.266 0.298 0.072 0.297 9.263

Problem 325

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

N.S.

1 1.00 1.00 1.08 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.172 0.005 0.936 0.181 0.315 0.036 0.298 0.017

Problem 326

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

65 65 58 41 51 66 99 55 48

N.S.

1 1.00 0.89 0.63 0.78 1.02 1.52 0.85 0.74

time (sec)

N/A 0.261 0.025 0.875 0.323 0.309 0.245 0.266 0.063

Problem 327

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 29 28 46 24 28 28

N.S.

1 1.00 1.00 1.04 1.00 1.64 0.86 1.00 1.00

time (sec)

N/A 0.217 0.009 0.946 0.350 0.260 0.058 0.266 9.431

Problem 328

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 27 26 26 29 26 26

N.S.

1 1.00 1.00 0.84 0.81 0.81 0.91 0.81 0.81

time (sec)

N/A 0.218 0.023 0.829 0.349 0.265 0.048 0.310 0.014

Problem 329

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 47 39 24 23 23 26 27 23

N.S.

1 1.52 1.26 0.77 0.74 0.74 0.84 0.87 0.74

time (sec)

N/A 0.281 0.006 0.052 0.226 0.291 0.106 0.300 0.029

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 24 23 22 26 19 23 30

N.S.

1 1.00 1.00 0.96 0.92 1.08 0.79 0.96 1.25

time (sec)

N/A 0.240 0.007 0.831 0.358 0.276 0.068 0.276 9.211

Problem 331

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 23 19 24 35 20 19 23

N.S.

1 1.00 1.00 0.83 1.04 1.52 0.87 0.83 1.00

time (sec)

N/A 0.200 0.009 0.796 0.313 0.246 0.056 0.348 9.253

Problem 332

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 23 19 24 35 20 19 23

N.S.

1 1.00 1.00 0.83 1.04 1.52 0.87 0.83 1.00

time (sec)

N/A 0.232 0.004 0.074 0.301 0.259 0.059 0.273 0.017

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 14 13 15 10 13 13

N.S.

1 1.00 1.00 1.08 1.00 1.15 0.77 1.00 1.00

time (sec)

N/A 0.225 0.005 0.037 0.216 0.265 0.042 0.284 9.257

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

206 206 193 68 199 4545 138 208 357

N.S.

1 1.00 0.94 0.33 0.97 22.06 0.67 1.01 1.73

time (sec)

N/A 0.480 0.071 0.777 0.318 0.943 0.732 0.272 9.359

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 54 45 38 0 47 44 38 42

N.S.

1 1.20 1.00 0.84 0.00 1.04 0.98 0.84 0.93

time (sec)

N/A 0.273 0.019 0.056 0.000 0.273 0.078 0.418 9.337

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 66 44 41 0 75 46 42 47

N.S.

1 1.12 0.75 0.69 0.00 1.27 0.78 0.71 0.80

time (sec)

N/A 0.280 0.017 0.117 0.000 0.248 0.085 0.739 0.028

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 209 234 48 0 578003 0 1714 3942

N.S.

1 1.00 1.12 0.23 0.00 2765.56 0.00 8.20 18.86

time (sec)

N/A 0.483 0.154 0.151 0.000 29.017 0.000 1.121 10.016

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

224 224 245 54 0 540080 0 1724 3046

N.S.

1 1.00 1.09 0.24 0.00 2411.07 0.00 7.70 13.60

time (sec)

N/A 0.473 0.155 0.720 0.000 80.465 0.000 1.190 0.649

Problem 339

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

56 56 56 57 60 65 190 62 61

N.S.

1 1.00 1.00 1.02 1.07 1.16 3.39 1.11 1.09

time (sec)

N/A 0.215 0.018 0.809 0.184 0.275 0.612 0.270 0.108

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 73 75 84 162 0 85 347

N.S.

1 1.00 0.76 0.78 0.88 1.69 0.00 0.89 3.61

time (sec)

N/A 0.260 0.025 0.849 0.278 0.287 0.000 0.279 0.652

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

264 264 228 177 279 5975 0 320 570

N.S.

1 1.00 0.86 0.67 1.06 22.63 0.00 1.21 2.16

time (sec)

N/A 0.668 0.059 0.845 0.275 1.052 0.000 0.290 9.578

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

417 417 370 226 349 259898 0 406 823

N.S.

1 1.00 0.89 0.54 0.84 623.26 0.00 0.97 1.97

time (sec)

N/A 0.776 0.152 0.841 0.274 23.563 0.000 0.285 10.072

Problem 343

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

16 16 24 21 20 26 19 21 12

N.S.

1 1.00 1.50 1.31 1.25 1.62 1.19 1.31 0.75

time (sec)

N/A 0.154 0.007 0.746 0.190 0.249 0.044 0.276 0.029

Problem 344

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

19 19 27 24 23 34 20 30 17

N.S.

1 1.00 1.42 1.26 1.21 1.79 1.05 1.58 0.89

time (sec)

N/A 0.150 0.009 0.826 0.179 0.249 0.054 0.262 9.908

Problem 345

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

97 117 85 72 75 106 92 77 103

N.S.

1 1.21 0.88 0.74 0.77 1.09 0.95 0.79 1.06

time (sec)

N/A 0.307 0.036 0.822 0.268 0.269 0.184 0.291 0.111

Problem 346

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

N.S.

1 1.00 1.00 0.93 0.87 0.87 0.80 0.87 0.87

time (sec)

N/A 0.292 0.006 0.801 0.269 0.262 0.051 0.266 10.154

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 11 11 10 11 11

N.S.

1 1.00 1.00 0.92 0.85 0.85 0.77 0.85 0.85

time (sec)

N/A 0.278 0.006 0.785 0.263 0.273 0.054 0.285 0.022

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 29 25 24 24 29 24 51

N.S.

1 1.00 1.00 0.86 0.83 0.83 1.00 0.83 1.76

time (sec)

N/A 0.304 0.011 0.764 0.269 0.291 0.091 0.333 9.894

Problem 349

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 20 14 15 14 17 10 14 14

N.S.

1 1.43 1.00 1.07 1.00 1.21 0.71 1.00 1.00

time (sec)

N/A 0.180 0.007 0.912 0.264 0.293 0.059 0.298 0.025

Problem 350

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

N.S.

1 1.00 1.00 0.92 0.83 1.00 0.58 0.92 0.83

time (sec)

N/A 0.156 0.003 0.791 0.203 0.244 0.038 0.299 0.028

Problem 351

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

N.S.

1 1.00 1.00 0.91 0.82 0.82 0.73 0.91 1.55

time (sec)

N/A 0.209 0.005 0.783 0.263 0.252 0.059 0.282 0.026

Problem 352

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

N.S.

1 1.00 1.00 0.92 0.83 1.08 0.67 0.92 0.83

time (sec)

N/A 0.182 0.003 0.779 0.183 0.271 0.035 0.306 0.028

Problem 353

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

N.S.

1 1.00 1.00 1.08 1.00 1.00 1.00 1.17 1.00

time (sec)

N/A 0.175 0.004 0.719 0.182 0.264 0.052 0.283 0.029

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 15 15 15 16 23

N.S.

1 1.00 1.00 0.94 0.88 0.88 0.88 0.94 1.35

time (sec)

N/A 0.211 0.007 0.783 0.308 0.290 0.060 0.309 9.919

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 14 13 13 10 14 19

N.S.

1 1.00 1.00 1.08 1.00 1.00 0.77 1.08 1.46

time (sec)

N/A 0.197 0.020 0.810 0.264 0.271 0.063 0.274 10.457

Problem 356

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 22 21 20 26 20 22 20

N.S.

1 1.00 0.79 0.75 0.71 0.93 0.71 0.79 0.71

time (sec)

N/A 0.186 0.013 0.815 0.192 0.252 0.053 0.274 0.046

Problem 357

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 25 26 37 26 43 22

N.S.

1 1.00 1.00 0.78 0.81 1.16 0.81 1.34 0.69

time (sec)

N/A 0.180 0.013 0.784 0.179 0.254 0.061 0.264 9.963

Problem 358

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 28 20 19 19 19 20 25

N.S.

1 1.00 1.22 0.87 0.83 0.83 0.83 0.87 1.09

time (sec)

N/A 0.203 0.006 0.765 0.265 0.279 0.063 0.270 0.030

Problem 359

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

24 24 22 21 20 36 20 47 28

N.S.

1 1.00 0.92 0.88 0.83 1.50 0.83 1.96 1.17

time (sec)

N/A 0.206 0.010 0.807 0.290 0.268 0.075 0.385 9.875

Problem 360

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

49 49 49 40 39 39 44 39 41

N.S.

1 1.00 1.00 0.82 0.80 0.80 0.90 0.80 0.84

time (sec)

N/A 0.332 0.011 1.234 0.278 0.274 0.105 0.277 9.705

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 19 20 19 19 19 22 19

N.S.

1 1.00 0.76 0.80 0.76 0.76 0.76 0.88 0.76

time (sec)

N/A 0.212 0.007 0.813 0.192 0.282 0.064 0.307 0.029

Problem 362

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

60 60 54 48 47 60 63 60 61

N.S.

1 1.00 0.90 0.80 0.78 1.00 1.05 1.00 1.02

time (sec)

N/A 0.266 0.037 1.022 0.271 0.269 0.125 0.274 0.076

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 11 7 9 9 5 9 6

N.S.

1 1.00 1.00 0.64 0.82 0.82 0.45 0.82 0.55

time (sec)

N/A 0.147 0.001 0.913 0.185 0.247 0.021 0.283 0.009

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 29 22 21 21 22 23 21

N.S.

1 1.00 1.00 0.76 0.72 0.72 0.76 0.79 0.72

time (sec)

N/A 0.185 0.004 0.821 0.194 0.256 0.057 0.340 9.255

Problem 365

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

45 50 45 37 37 52 37 37 49

N.S.

1 1.11 1.00 0.82 0.82 1.16 0.82 0.82 1.09

time (sec)

N/A 0.223 0.009 1.072 0.271 0.287 0.062 0.288 0.026

Problem 366

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 29 28 52 29 29 44

N.S.

1 1.00 1.00 0.91 0.88 1.62 0.91 0.91 1.38

time (sec)

N/A 0.422 0.015 0.847 0.268 0.271 0.119 0.292 9.284

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 148 159 44 132 106 146 122 124

N.S.

1 1.00 1.07 0.30 0.89 0.72 0.99 0.82 0.84

time (sec)

N/A 0.344 0.053 0.127 0.272 0.260 0.213 0.276 9.105

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 112 101 54 99 515 61 92 170

N.S.

1 1.00 0.90 0.48 0.88 4.60 0.54 0.82 1.52

time (sec)

N/A 0.332 0.034 0.805 0.277 0.954 0.526 0.272 9.350

Problem 369

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

N.S.

1 1.00 1.00 0.93 0.86 0.86 0.71 1.00 0.86

time (sec)

N/A 0.179 0.003 0.788 0.183 0.248 0.043 0.322 0.030

Problem 370

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

N.S.

1 1.00 1.00 0.92 0.83 0.83 0.67 1.00 0.83

time (sec)

N/A 0.204 0.004 0.864 0.209 0.255 0.047 0.281 9.144

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 15 21 14 17 15

N.S.

1 1.00 1.00 0.94 0.88 1.24 0.82 1.00 0.88

time (sec)

N/A 0.209 0.003 0.798 0.186 0.230 0.047 0.266 0.016

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 16 15 15 14 17 15

N.S.

1 1.00 1.00 0.94 0.88 0.88 0.82 1.00 0.88

time (sec)

N/A 0.208 0.004 0.791 0.214 0.247 0.044 0.275 0.019

Problem 373

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 24 18 17 16 25 15 23 16

N.S.

1 1.33 1.00 0.94 0.89 1.39 0.83 1.28 0.89

time (sec)

N/A 0.199 0.004 0.768 0.269 0.232 0.046 0.271 0.033

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 10 11 10 14 7 11 10

N.S.

1 1.00 1.00 1.10 1.00 1.40 0.70 1.10 1.00

time (sec)

N/A 0.191 0.004 0.034 0.195 0.264 0.035 0.284 9.397

Problem 375

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

42 42 42 31 30 30 36 33 30

N.S.

1 1.00 1.00 0.74 0.71 0.71 0.86 0.79 0.71

time (sec)

N/A 0.232 0.006 0.052 0.185 0.242 0.073 0.277 0.032

Problem 376

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

46 46 46 39 38 38 51 38 88

N.S.

1 1.00 1.00 0.85 0.83 0.83 1.11 0.83 1.91

time (sec)

N/A 0.328 0.013 0.984 0.297 0.248 0.103 0.285 0.001

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 21 19 14 15 15 14 17 8

N.S.

1 1.11 1.00 0.74 0.79 0.79 0.74 0.89 0.42

time (sec)

N/A 0.259 0.003 0.762 0.185 0.240 0.048 0.260 9.434

Problem 378

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

40 42 40 27 30 30 34 32 26

N.S.

1 1.05 1.00 0.68 0.75 0.75 0.85 0.80 0.65

time (sec)

N/A 0.200 0.004 0.035 0.192 0.248 0.053 0.267 9.305

Problem 379

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

33 35 33 22 25 25 27 27 21

N.S.

1 1.06 1.00 0.67 0.76 0.76 0.82 0.82 0.64

time (sec)

N/A 0.191 0.003 0.037 0.180 0.252 0.054 0.293 0.019

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 28 26 17 20 20 20 22 16

N.S.

1 1.08 1.00 0.65 0.77 0.77 0.77 0.85 0.62

time (sec)

N/A 0.185 0.005 0.034 0.181 0.232 0.054 0.303 0.042

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 23 21 14 17 17 17 19 13

N.S.

1 1.10 1.00 0.67 0.81 0.81 0.81 0.90 0.62

time (sec)

N/A 0.178 0.003 0.033 0.188 0.234 0.049 0.268 9.420

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 23 21 14 17 17 15 19 8

N.S.

1 1.10 1.00 0.67 0.81 0.81 0.71 0.90 0.38

time (sec)

N/A 0.177 0.002 0.045 0.181 0.253 0.055 0.289 0.046

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 29 27 18 21 21 24 24 17

N.S.

1 1.07 1.00 0.67 0.78 0.78 0.89 0.89 0.63

time (sec)

N/A 0.184 0.003 0.045 0.186 0.275 0.073 0.255 0.057

Problem 384

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 36 34 27 26 30 31 29 22

N.S.

1 1.06 1.00 0.79 0.76 0.88 0.91 0.85 0.65

time (sec)

N/A 0.198 0.003 0.049 0.186 0.278 0.081 0.255 0.022

Problem 385

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 43 41 31 31 39 36 34 26

N.S.

1 1.05 1.00 0.76 0.76 0.95 0.88 0.83 0.63

time (sec)

N/A 0.200 0.004 0.053 0.181 0.285 0.089 0.285 9.327

Problem 386

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

48 50 48 36 36 44 41 39 32

N.S.

1 1.04 1.00 0.75 0.75 0.92 0.85 0.81 0.67

time (sec)

N/A 0.213 0.004 0.049 0.183 0.285 0.092 0.259 0.022

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 157 61 54 0 1506 41 0 144

N.S.

1 1.00 0.39 0.34 0.00 9.59 0.26 0.00 0.92

time (sec)

N/A 0.412 0.015 0.071 0.000 1.019 0.115 0.000 9.908

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 157 61 56 0 1546 41 0 142

N.S.

1 1.00 0.39 0.36 0.00 9.85 0.26 0.00 0.90

time (sec)

N/A 0.378 0.015 0.075 0.000 0.987 0.117 0.000 9.943

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 188 61 54 0 2271 39 0 142

N.S.

1 1.00 0.32 0.29 0.00 12.08 0.21 0.00 0.76

time (sec)

N/A 0.493 0.014 0.056 0.000 0.976 0.097 0.000 10.041

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 188 61 56 0 2259 39 0 142

N.S.

1 1.00 0.32 0.30 0.00 12.02 0.21 0.00 0.76

time (sec)

N/A 0.422 0.012 0.058 0.000 0.992 0.099 0.000 10.268

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

663 663 63 69 0 322185 133 0 328

N.S.

1 1.00 0.10 0.10 0.00 485.95 0.20 0.00 0.49

time (sec)

N/A 1.350 0.027 0.261 0.000 1.659 2.158 0.000 9.828

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

663 663 63 69 0 322185 133 0 328

N.S.

1 1.00 0.10 0.10 0.00 485.95 0.20 0.00 0.49

time (sec)

N/A 1.100 0.023 0.075 0.000 1.656 2.139 0.000 0.001

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F C C F C A F B

verified

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

size

168 0 95 67 0 5653 42 0 504

N.S.

1 0.00 0.57 0.40 0.00 33.65 0.25 0.00 3.00

time (sec)

N/A 0.000 0.042 0.822 0.000 0.922 1.041 0.000 10.476

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

320 320 322 54 310 141845 384 314 894

N.S.

1 1.00 1.01 0.17 0.97 443.27 1.20 0.98 2.79

time (sec)

N/A 0.485 0.153 0.769 0.266 14.634 28.210 0.276 9.674

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

291 291 243 43 275 86139 277 287 556

N.S.

1 1.00 0.84 0.15 0.95 296.01 0.95 0.99 1.91

time (sec)

N/A 0.433 0.067 0.813 0.272 2.481 1.685 0.291 9.198

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 219 184 32 207 41851 124 213 160

N.S.

1 1.00 0.84 0.15 0.95 191.10 0.57 0.97 0.73

time (sec)

N/A 0.354 0.044 0.795 0.300 1.227 0.442 0.286 9.161

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

185 200 134 27 169 112 20 179 33

N.S.

1 1.08 0.72 0.15 0.91 0.61 0.11 0.97 0.18

time (sec)

N/A 0.376 0.012 0.797 0.273 0.267 0.076 0.267 0.048

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

416 416 404 211 345 352864 0 377 874

N.S.

1 1.00 0.97 0.51 0.83 848.23 0.00 0.91 2.10

time (sec)

N/A 0.681 0.102 0.892 0.272 97.112 0.000 0.293 9.348

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

552 552 524 354 561 0 0 668 2436

N.S.

1 1.00 0.95 0.64 1.02 0.00 0.00 1.21 4.41

time (sec)

N/A 1.016 0.400 0.869 0.281 0.000 0.000 0.550 9.345

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

680 680 738 446 817 0 0 941 1955

N.S.

1 1.00 1.09 0.66 1.20 0.00 0.00 1.38 2.88

time (sec)

N/A 1.217 0.580 0.968 0.287 0.000 0.000 0.367 9.892

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