Integrals 6301 to 6400

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 6301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 37 26 28 69 24 26 24 23

N.S.

1 1.68 1.18 1.27 3.14 1.09 1.18 1.09 1.05

time (sec)

N/A 0.071 0.180 0.072 0.199 0.257 0.083 0.282 0.059

Problem 6302

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

17 0 15 15 14 14 14 14 14

N.S.

1 0.00 0.88 0.88 0.82 0.82 0.82 0.82 0.82

time (sec)

N/A 0.000 0.370 0.169 0.324 0.255 0.085 0.284 0.578

Problem 6303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

24 0 23 129 0 21 20 24 24

N.S.

1 0.00 0.96 5.38 0.00 0.88 0.83 1.00 1.00

time (sec)

N/A 0.000 2.365 0.147 0.000 0.249 5.638 0.923 12.371

Problem 6304

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

28 25 21 22 21 21 20 28 0

N.S.

1 0.89 0.75 0.79 0.75 0.75 0.71 1.00 0.00

time (sec)

N/A 0.221 0.069 3.260 0.304 0.257 0.073 0.300 0.000

Problem 6305

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

19 64 17 18 44 16 15 22 46

N.S.

1 3.37 0.89 0.95 2.32 0.84 0.79 1.16 2.42

time (sec)

N/A 0.103 0.153 0.092 0.365 0.282 0.157 0.372 12.138

Problem 6306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 164 33 31 50 52 31 78 0

N.S.

1 4.56 0.92 0.86 1.39 1.44 0.86 2.17 0.00

time (sec)

N/A 1.177 0.110 5.678 0.321 0.263 0.082 0.285 0.000

Problem 6307

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 25 25 25 24 24 20 24 24

N.S.

1 1.04 1.04 1.04 1.00 1.00 0.83 1.00 1.00

time (sec)

N/A 0.530 0.163 0.489 0.352 0.246 0.115 0.268 11.648

Problem 6308

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 31 27 18 15 15 27 15 22

N.S.

1 1.35 1.17 0.78 0.65 0.65 1.17 0.65 0.96

time (sec)

N/A 0.006 0.004 0.071 0.189 0.242 0.122 0.259 0.047

Problem 6309

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

N.S.

1 1.06 1.06 1.06 1.00 1.00 0.94 1.00 1.00

time (sec)

N/A 0.003 0.004 0.037 0.195 0.254 0.043 0.256 11.017

Problem 6310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A C A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 51 18 21 372 21 20 35 16

N.S.

1 2.83 1.00 1.17 20.67 1.17 1.11 1.94 0.89

time (sec)

N/A 0.286 1.417 0.086 0.279 0.268 0.097 0.277 11.072

Problem 6311

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

20 29 29 22 31 20 19 20 20

N.S.

1 1.45 1.45 1.10 1.55 1.00 0.95 1.00 1.00

time (sec)

N/A 0.055 0.114 0.137 0.215 0.255 0.081 0.291 11.174

Problem 6312

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

30 29 29 37 27 36 34 0 29

N.S.

1 0.97 0.97 1.23 0.90 1.20 1.13 0.00 0.97

time (sec)

N/A 1.148 1.669 131.604 0.294 0.267 0.334 0.000 11.316

Problem 6313

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

14 0 14 15 15 18 15 18 18

N.S.

1 0.00 1.00 1.07 1.07 1.29 1.07 1.29 1.29

time (sec)

N/A 0.000 0.122 3.024 0.322 0.252 0.059 0.277 11.311

Problem 6314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A B A B

verified

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

size

35 0 43 48 44 42 60 54 179

N.S.

1 0.00 1.23 1.37 1.26 1.20 1.71 1.54 5.11

time (sec)

N/A 0.000 0.109 0.235 0.239 0.253 0.127 0.287 11.157

Problem 6315

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

N.S.

1 0.86 0.86 0.91 0.86 0.95 0.77 0.86 0.86

time (sec)

N/A 0.006 0.002 0.049 0.186 0.256 0.033 0.262 0.040

Problem 6316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 28 25 585 42 24 44 0

N.S.

1 0.00 1.08 0.96 22.50 1.62 0.92 1.69 0.00

time (sec)

N/A 0.000 1.909 0.500 0.343 0.280 0.102 0.348 0.000

Problem 6317

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

23 55 24 23 42 21 27 21 22

N.S.

1 2.39 1.04 1.00 1.83 0.91 1.17 0.91 0.96

time (sec)

N/A 0.852 1.511 0.299 0.226 0.249 0.352 0.275 10.991

Problem 6318

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

N.S.

1 0.95 0.95 0.95 0.91 0.91 0.86 1.00 0.91

time (sec)

N/A 0.040 0.023 0.108 0.194 0.250 0.505 0.278 11.206

Problem 6319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 74 68 99 189 152 104 205 170

N.S.

1 3.36 3.09 4.50 8.59 6.91 4.73 9.32 7.73

time (sec)

N/A 0.719 0.122 0.751 0.233 0.276 0.132 0.306 11.612

Problem 6320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A B A B

verified

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

size

20 0 20 27 107 26 39 38 41

N.S.

1 0.00 1.00 1.35 5.35 1.30 1.95 1.90 2.05

time (sec)

N/A 0.000 0.600 0.489 0.258 0.262 0.210 0.302 11.214

Problem 6321

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 12 12 15 14 25 10 14 28

N.S.

1 0.92 0.92 1.15 1.08 1.92 0.77 1.08 2.15

time (sec)

N/A 0.042 0.210 0.518 0.187 0.268 0.057 0.280 11.228

Problem 6322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 54 22 20 0 23 19 27 18

N.S.

1 2.45 1.00 0.91 0.00 1.05 0.86 1.23 0.82

time (sec)

N/A 0.170 0.082 0.102 0.000 0.260 0.122 0.272 11.328

Problem 6323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A A F B

verified

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

size

28 0 42 28 0 40 34 0 73

N.S.

1 0.00 1.50 1.00 0.00 1.43 1.21 0.00 2.61

time (sec)

N/A 0.000 0.242 4.853 0.000 0.265 6.118 0.000 12.041

Problem 6324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 0 25 24 26 22 20 0 0

N.S.

1 0.00 1.00 0.96 1.04 0.88 0.80 0.00 0.00

time (sec)

N/A 0.000 0.116 2.669 0.266 0.257 0.155 0.000 0.000

Problem 6325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A B A B

verified

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

size

30 0 42 42 63 42 41 42 121

N.S.

1 0.00 1.40 1.40 2.10 1.40 1.37 1.40 4.03

time (sec)

N/A 0.000 0.079 3.027 0.452 0.282 6.819 1.021 13.668

Problem 6326

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

28 99 32 37 147 44 32 42 40

N.S.

1 3.54 1.14 1.32 5.25 1.57 1.14 1.50 1.43

time (sec)

N/A 0.253 0.122 0.186 0.234 0.285 0.132 0.265 12.132

Problem 6327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 45 41 27 30 28 26 29 33

N.S.

1 1.29 1.17 0.77 0.86 0.80 0.74 0.83 0.94

time (sec)

N/A 0.711 2.524 0.168 0.474 0.263 0.242 0.314 12.495

Problem 6328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 54 13 13 12 12 12 0 12

N.S.

1 3.60 0.87 0.87 0.80 0.80 0.80 0.00 0.80

time (sec)

N/A 0.128 0.146 0.165 0.231 0.281 7.346 0.000 12.421

Problem 6329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

32 0 0 35 0 32 27 53 0

N.S.

1 0.00 0.00 1.09 0.00 1.00 0.84 1.66 0.00

time (sec)

N/A 0.000 0.000 1.941 0.000 0.259 0.498 0.303 0.000

Problem 6330

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

24 0 31 23 26 28 22 26 46

N.S.

1 0.00 1.29 0.96 1.08 1.17 0.92 1.08 1.92

time (sec)

N/A 0.000 0.347 2.623 0.205 0.255 0.087 0.304 12.740

Problem 6331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 34 43 43 78 62 60 48 32

N.S.

1 1.31 1.65 1.65 3.00 2.38 2.31 1.85 1.23

time (sec)

N/A 1.168 0.149 0.288 0.289 0.265 0.243 0.314 12.456

Problem 6332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 0 19 0 18 0 18 19

N.S.

1 0.00 0.00 0.73 0.00 0.69 0.00 0.69 0.73

time (sec)

N/A 0.000 0.000 0.463 0.000 0.262 0.000 0.290 12.694

Problem 6333

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

N.S.

1 0.89 0.89 0.79 0.75 0.79 0.79 0.75 0.71

time (sec)

N/A 0.009 0.009 0.079 0.190 0.250 0.051 0.285 0.052

Problem 6334

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

N.S.

1 0.45 0.45 0.55 0.45 0.45 0.27 0.45 0.45

time (sec)

N/A 0.001 0.000 0.032 0.180 0.249 0.020 0.284 0.034

Problem 6335

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 30 31 25 26 26 34 26 24

N.S.

1 0.83 0.86 0.69 0.72 0.72 0.94 0.72 0.67

time (sec)

N/A 0.011 0.015 0.156 0.184 0.266 0.088 0.263 0.060

Problem 6336

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

N.S.

1 0.90 0.90 0.90 0.85 0.85 0.70 0.85 0.85

time (sec)

N/A 0.009 0.012 0.107 0.177 0.266 0.059 0.261 11.778

Problem 6337

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

22 28 24 33 29 31 56 35 31

N.S.

1 1.27 1.09 1.50 1.32 1.41 2.55 1.59 1.41

time (sec)

N/A 1.032 0.061 0.848 0.222 0.269 0.409 0.328 12.086

Problem 6338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 52 45 58 38 51 36 60 36

N.S.

1 1.58 1.36 1.76 1.15 1.55 1.09 1.82 1.09

time (sec)

N/A 3.760 0.188 87.266 0.323 0.260 0.579 0.328 11.663

Problem 6339

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

23 0 32 35 44 44 29 78 32

N.S.

1 0.00 1.39 1.52 1.91 1.91 1.26 3.39 1.39

time (sec)

N/A 0.000 0.044 2.258 0.310 0.251 0.070 0.754 11.946

Problem 6340

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

21 36 32 22 31 43 29 24 24

N.S.

1 1.71 1.52 1.05 1.48 2.05 1.38 1.14 1.14

time (sec)

N/A 0.032 0.024 0.082 0.183 0.250 0.101 0.280 0.093

Problem 6341

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

29 28 28 28 25 42 24 59 27

N.S.

1 0.97 0.97 0.97 0.86 1.45 0.83 2.03 0.93

time (sec)

N/A 0.141 0.109 1.445 0.211 0.256 0.062 0.296 11.271

Problem 6342

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

N.S.

1 0.93 0.93 0.90 0.90 0.86 0.83 0.90 0.79

time (sec)

N/A 0.126 0.065 3.835 0.229 0.240 0.140 0.310 11.310

Problem 6343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 25 26 25 31 27 25 0

N.S.

1 0.00 0.96 1.00 0.96 1.19 1.04 0.96 0.00

time (sec)

N/A 0.000 0.470 0.391 0.232 0.269 0.109 0.300 0.000

Problem 6344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A B B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 86 35 89 71 43 76 88 46

N.S.

1 2.77 1.13 2.87 2.29 1.39 2.45 2.84 1.48

time (sec)

N/A 2.877 0.101 0.731 0.305 0.284 0.277 0.329 11.625

Problem 6345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 29 22 90 76 0 103 0

N.S.

1 0.00 1.12 0.85 3.46 2.92 0.00 3.96 0.00

time (sec)

N/A 0.000 2.675 1.331 0.238 0.297 0.000 0.281 0.000

Problem 6346

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

26 0 29 31 35 30 34 30 23

N.S.

1 0.00 1.12 1.19 1.35 1.15 1.31 1.15 0.88

time (sec)

N/A 0.000 4.612 0.352 0.233 0.274 0.093 0.300 11.398

Problem 6347

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

13 25 13 12 22 11 0 19 78

N.S.

1 1.92 1.00 0.92 1.69 0.85 0.00 1.46 6.00

time (sec)

N/A 0.270 0.765 0.086 0.220 0.244 0.000 0.281 11.451

Problem 6348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 14 16 13 57 16 12 14 14

N.S.

1 0.67 0.76 0.62 2.71 0.76 0.57 0.67 0.67

time (sec)

N/A 0.016 0.115 0.210 0.254 0.256 0.063 0.276 11.618

Problem 6349

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 27 30 23 22 22 19 22 24

N.S.

1 1.17 1.30 1.00 0.96 0.96 0.83 0.96 1.04

time (sec)

N/A 0.008 0.010 0.048 0.175 0.239 0.050 0.273 0.048

Problem 6350

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

24 60 30 26 25 32 31 25 21

N.S.

1 2.50 1.25 1.08 1.04 1.33 1.29 1.04 0.88

time (sec)

N/A 0.021 0.038 0.112 0.174 0.247 0.076 0.273 11.583

Problem 6351

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

N.S.

1 0.73 0.73 0.82 0.73 0.73 0.64 0.82 0.73

time (sec)

N/A 0.002 0.001 0.014 0.179 0.248 0.037 0.265 0.019

Problem 6352

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

N.S.

1 0.53 0.53 0.53 0.47 0.47 0.53 0.47 0.47

time (sec)

N/A 0.001 0.000 0.009 0.198 0.239 0.019 0.260 0.002

Problem 6353

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 25 23 19 18 24 15 18 21

N.S.

1 1.09 1.00 0.83 0.78 1.04 0.65 0.78 0.91

time (sec)

N/A 0.092 0.056 0.282 0.173 0.256 0.136 0.276 12.004

Problem 6354

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

N.S.

1 0.46 0.46 0.54 0.46 0.46 0.38 0.54 0.46

time (sec)

N/A 0.001 0.002 0.060 0.176 0.237 0.031 0.289 0.016

Problem 6355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A F B

verified

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

size

33 0 34 32 357 30 27 0 46

N.S.

1 0.00 1.03 0.97 10.82 0.91 0.82 0.00 1.39

time (sec)

N/A 0.000 0.255 1.213 0.404 0.263 13.110 0.000 12.175

Problem 6356

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

N.S.

1 0.77 0.73 0.64 0.64 0.64 0.64 0.64 0.64

time (sec)

N/A 0.090 0.030 0.083 0.185 0.256 0.051 0.295 0.069

Problem 6357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 22 22 16 79 21 15 25 21

N.S.

1 1.38 1.38 1.00 4.94 1.31 0.94 1.56 1.31

time (sec)

N/A 0.184 0.031 0.048 0.193 0.259 0.084 0.281 11.256

Problem 6358

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

33 98 51 44 81 40 48 41 42

N.S.

1 2.97 1.55 1.33 2.45 1.21 1.45 1.24 1.27

time (sec)

N/A 0.079 0.021 0.126 0.177 0.243 0.139 0.283 12.491

Problem 6359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 52 24 16 15 30 15 34 19

N.S.

1 2.74 1.26 0.84 0.79 1.58 0.79 1.79 1.00

time (sec)

N/A 0.116 0.452 0.727 0.311 0.245 0.074 0.272 0.188

Problem 6360

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

25 0 21 21 30 34 19 30 20

N.S.

1 0.00 0.84 0.84 1.20 1.36 0.76 1.20 0.80

time (sec)

N/A 0.000 0.203 1.259 0.202 0.258 0.080 0.270 13.877

Problem 6361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 29 40 28 40 23 27 28 16

N.S.

1 1.81 2.50 1.75 2.50 1.44 1.69 1.75 1.00

time (sec)

N/A 0.033 0.021 0.117 0.193 0.259 0.068 0.273 12.405

Problem 6362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F F A F A A F B

verified

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

size

26 0 0 40 0 42 34 0 38

N.S.

1 0.00 0.00 1.54 0.00 1.62 1.31 0.00 1.46

time (sec)

N/A 0.000 0.000 3.612 0.000 0.281 0.444 0.000 12.964

Problem 6363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 22 22 28 51 28 54 25 29

N.S.

1 1.22 1.22 1.56 2.83 1.56 3.00 1.39 1.61

time (sec)

N/A 0.053 0.035 1.015 0.303 0.259 0.465 0.291 13.171

Problem 6364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 61 51 24 183 16 31 58 16

N.S.

1 2.77 2.32 1.09 8.32 0.73 1.41 2.64 0.73

time (sec)

N/A 0.105 0.062 0.484 0.264 0.255 0.141 0.302 12.850

Problem 6365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 36 36 29 64 36 42 35 192

N.S.

1 1.29 1.29 1.04 2.29 1.29 1.50 1.25 6.86

time (sec)

N/A 0.873 1.116 1.036 0.304 0.256 0.167 0.278 13.083

Problem 6366

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 21 21 21 20 23 14 23 20

N.S.

1 0.95 0.95 0.95 0.91 1.05 0.64 1.05 0.91

time (sec)

N/A 0.010 0.018 0.251 0.181 0.255 0.046 0.284 13.005

Problem 6367

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

N.S.

1 1.50 0.92 0.92 1.33 0.83 1.17 0.83 1.17

time (sec)

N/A 0.008 0.044 0.066 0.190 0.249 0.053 0.270 0.064

Problem 6368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

32 0 33 31 28 28 42 43 0

N.S.

1 0.00 1.03 0.97 0.88 0.88 1.31 1.34 0.00

time (sec)

N/A 0.000 5.097 0.178 0.236 0.280 0.141 0.899 0.000

Problem 6369

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

30 0 23 28 23 23 24 23 26

N.S.

1 0.00 0.77 0.93 0.77 0.77 0.80 0.77 0.87

time (sec)

N/A 0.000 2.438 1.233 0.273 0.261 0.286 0.290 13.257

Problem 6370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

22 0 20 20 18 18 17 18 0

N.S.

1 0.00 0.91 0.91 0.82 0.82 0.77 0.82 0.00

time (sec)

N/A 0.000 0.324 10.940 0.232 0.253 0.132 0.309 0.000

Problem 6371

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

N.S.

1 0.82 0.71 0.76 0.76 0.76 0.59 0.76 0.71

time (sec)

N/A 0.003 0.000 0.065 0.216 0.253 0.019 0.279 13.291

Problem 6372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 30 24 23 36 22 45 0

N.S.

1 0.00 1.03 0.83 0.79 1.24 0.76 1.55 0.00

time (sec)

N/A 0.000 4.209 0.237 0.242 0.254 0.085 0.286 0.000

Problem 6373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 0 46 43 28 31 40 0

N.S.

1 0.00 0.00 1.70 1.59 1.04 1.15 1.48 0.00

time (sec)

N/A 0.000 0.000 0.763 0.260 0.265 0.128 0.287 0.000

Problem 6374

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

N.S.

1 0.82 0.82 0.73 0.64 0.64 0.45 0.64 0.73

time (sec)

N/A 0.008 0.012 0.085 0.191 0.254 0.049 0.258 0.042

Problem 6375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 35 20 29 40 26 34 32 33

N.S.

1 1.35 0.77 1.12 1.54 1.00 1.31 1.23 1.27

time (sec)

N/A 0.042 0.034 0.530 0.218 0.247 0.090 0.268 13.625

Problem 6376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

33 0 29 30 0 29 26 29 31

N.S.

1 0.00 0.88 0.91 0.00 0.88 0.79 0.88 0.94

time (sec)

N/A 0.000 0.123 0.606 0.000 0.257 0.140 0.313 13.054

Problem 6377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 45 12 11 39 13 10 13 13

N.S.

1 2.25 0.60 0.55 1.95 0.65 0.50 0.65 0.65

time (sec)

N/A 0.117 0.028 0.457 0.170 0.243 0.053 0.279 13.710

Problem 6378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 24 21 22 148 21 24 21 21

N.S.

1 1.71 1.50 1.57 10.57 1.50 1.71 1.50 1.50

time (sec)

N/A 0.125 0.070 0.718 0.331 0.268 0.077 0.294 0.656

Problem 6379

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 27 24 26 25 26 19 25 27

N.S.

1 0.84 0.75 0.81 0.78 0.81 0.59 0.78 0.84

time (sec)

N/A 0.013 0.010 0.103 0.177 0.244 0.052 0.277 13.629

Problem 6380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F F A A A A A B

verified

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

size

37 0 0 42 53 45 36 51 48

N.S.

1 0.00 0.00 1.14 1.43 1.22 0.97 1.38 1.30

time (sec)

N/A 0.000 0.000 26.733 0.315 0.262 0.518 0.401 14.255

Problem 6381

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 15 15 9 14 14 17 14 8

N.S.

1 1.50 1.50 0.90 1.40 1.40 1.70 1.40 0.80

time (sec)

N/A 0.001 0.002 0.059 0.188 0.239 0.019 0.278 0.051

Problem 6382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A B B

verified

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

size

26 0 25 23 102 21 24 80 149

N.S.

1 0.00 0.96 0.88 3.92 0.81 0.92 3.08 5.73

time (sec)

N/A 0.000 0.310 1.369 0.335 0.256 0.134 0.392 14.203

Problem 6383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 31 27 0 23 26 24 23 30

N.S.

1 1.11 0.96 0.00 0.82 0.93 0.86 0.82 1.07

time (sec)

N/A 0.158 0.047 0.000 0.327 0.245 0.384 0.298 14.105

Problem 6384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A A B

verified

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

size

26 0 21 22 63 21 22 24 21

N.S.

1 0.00 0.81 0.85 2.42 0.81 0.85 0.92 0.81

time (sec)

N/A 0.000 0.148 9.570 0.354 0.244 0.228 0.383 14.246

Problem 6385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A A B

verified

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

size

30 0 35 30 65 31 24 31 29

N.S.

1 0.00 1.17 1.00 2.17 1.03 0.80 1.03 0.97

time (sec)

N/A 0.000 5.076 0.328 0.309 0.261 0.099 0.274 13.754

Problem 6386

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

N.S.

1 1.20 1.08 1.08 1.24 1.24 0.96 1.24 1.04

time (sec)

N/A 0.014 0.238 0.549 0.178 0.258 0.090 0.279 13.183

Problem 6387

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 10 19 7 8 8 7 13 6

N.S.

1 0.77 1.46 0.54 0.62 0.62 0.54 1.00 0.46

time (sec)

N/A 0.002 0.007 0.518 0.176 0.247 0.038 0.297 0.065

Problem 6388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

32 0 49 46 44 44 42 46 0

N.S.

1 0.00 1.53 1.44 1.38 1.38 1.31 1.44 0.00

time (sec)

N/A 0.000 0.226 107.277 0.399 0.262 5.194 1.377 0.000

Problem 6389

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

N.S.

1 1.00 1.00 0.76 0.71 0.81 0.81 0.81 0.71

time (sec)

N/A 0.026 0.010 1.106 0.182 0.259 0.040 0.269 13.191

Problem 6390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B A A B

verified

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

size

32 0 31 30 50 66 34 54 48

N.S.

1 0.00 0.97 0.94 1.56 2.06 1.06 1.69 1.50

time (sec)

N/A 0.000 0.106 9.383 0.230 0.251 0.098 0.302 13.574

Problem 6391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 174 32 92 368 86 105 103 31

N.S.

1 6.69 1.23 3.54 14.15 3.31 4.04 3.96 1.19

time (sec)

N/A 0.380 1.567 0.432 0.191 0.251 0.097 0.270 13.534

Problem 6392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 66 23 106 113 60 130 0

N.S.

1 0.00 2.36 0.82 3.79 4.04 2.14 4.64 0.00

time (sec)

N/A 0.000 3.873 1.000 0.249 0.268 0.176 0.510 0.000

Problem 6393

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 26 29 22 19 19 44 19 17

N.S.

1 0.87 0.97 0.73 0.63 0.63 1.47 0.63 0.57

time (sec)

N/A 0.007 0.005 0.149 0.174 0.265 0.089 0.291 12.916

Problem 6394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A F B

verified

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

size

35 0 34 28 27 29 29 0 27

N.S.

1 0.00 0.97 0.80 0.77 0.83 0.83 0.00 0.77

time (sec)

N/A 0.000 0.266 0.178 0.594 0.272 22.089 0.000 14.176

Problem 6395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 299 158 47 606 45 51 45 400

N.S.

1 11.50 6.08 1.81 23.31 1.73 1.96 1.73 15.38

time (sec)

N/A 0.354 0.429 0.475 0.278 0.247 0.105 0.269 1.342

Problem 6396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C B B C B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 217 111 128 219 131 122 230 207

N.S.

1 7.48 3.83 4.41 7.55 4.52 4.21 7.93 7.14

time (sec)

N/A 1.018 0.087 0.699 0.244 0.265 0.132 0.270 14.113

Problem 6397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B B B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 66 60 80 67 151 76 16 84

N.S.

1 3.00 2.73 3.64 3.05 6.86 3.45 0.73 3.82

time (sec)

N/A 0.163 0.057 0.497 0.175 0.262 0.596 0.266 12.490

Problem 6398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 39 39 39 36 36 36 38 36

N.S.

1 1.86 1.86 1.86 1.71 1.71 1.71 1.81 1.71

time (sec)

N/A 0.094 0.059 0.454 0.188 0.269 5.443 0.302 13.352

Problem 6399

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

N.S.

1 0.45 0.45 0.50 0.45 0.45 0.35 0.45 0.35

time (sec)

N/A 0.001 0.000 0.033 0.180 0.233 0.017 0.283 0.032

Problem 6400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C B A B A A B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

24 3127 49 29 60 28 24 60 25

N.S.

1 130.29 2.04 1.21 2.50 1.17 1.00 2.50 1.04

time (sec)

N/A 5.070 1.932 0.529 0.789 0.247 0.101 0.489 13.767