Integrals 4301 to 4400

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 4301

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

24 0 30 22 21 23 20 0 21

N.S.

1 0.00 1.25 0.92 0.88 0.96 0.83 0.00 0.88

time (sec)

N/A 0.000 1.118 1.555 0.392 0.245 0.250 0.000 11.104

Problem 4302

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 13 26 15 20 15

N.S.

1 1.00 1.00 0.89 0.72 1.44 0.83 1.11 0.83

time (sec)

N/A 0.087 0.049 1.751 0.232 0.241 0.045 0.250 10.365

Problem 4303

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

24 0 0 25 19 25 22 36 36

N.S.

1 0.00 0.00 1.04 0.79 1.04 0.92 1.50 1.50

time (sec)

N/A 0.000 0.000 2.374 0.413 0.273 0.276 0.253 11.979

Problem 4304

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

21 73 68 59 67 71 65 66 71

N.S.

1 3.48 3.24 2.81 3.19 3.38 3.10 3.14 3.38

time (sec)

N/A 0.086 0.038 0.418 0.210 0.242 0.162 0.246 10.002

Problem 4305

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

20 0 18 19 18 18 20 29 14

N.S.

1 0.00 0.90 0.95 0.90 0.90 1.00 1.45 0.70

time (sec)

N/A 0.000 0.040 0.280 0.242 0.260 0.611 0.254 11.093

Problem 4306

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 26 25 21 25 25 22 25 23

N.S.

1 1.24 1.19 1.00 1.19 1.19 1.05 1.19 1.10

time (sec)

N/A 0.003 0.002 0.415 0.216 0.240 0.022 0.254 10.563

Problem 4307

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

27 39 17 23 165 24 22 24 22

N.S.

1 1.44 0.63 0.85 6.11 0.89 0.81 0.89 0.81

time (sec)

N/A 0.034 0.082 0.460 0.260 0.253 0.073 0.257 0.113

Problem 4308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A F A A A B B

verified

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

size

29 0 40 0 38 46 46 106 44

N.S.

1 0.00 1.38 0.00 1.31 1.59 1.59 3.66 1.52

time (sec)

N/A 0.000 0.253 0.000 0.375 0.252 0.591 3.020 11.414

Problem 4309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

22 0 22 41 30 29 42 40 0

N.S.

1 0.00 1.00 1.86 1.36 1.32 1.91 1.82 0.00

time (sec)

N/A 0.000 0.378 1.615 0.340 0.230 0.124 0.320 0.000

Problem 4310

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 28 24 25 43 38 22 32 24

N.S.

1 1.22 1.04 1.09 1.87 1.65 0.96 1.39 1.04

time (sec)

N/A 0.220 0.138 19.572 0.315 0.230 0.070 0.276 11.433

Problem 4311

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

28 73 29 31 30 30 26 30 33

N.S.

1 2.61 1.04 1.11 1.07 1.07 0.93 1.07 1.18

time (sec)

N/A 0.150 0.148 0.441 0.301 0.235 0.091 0.263 10.672

Problem 4312

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

N.S.

1 0.84 0.89 0.84 0.84 0.79 0.89 0.84 1.00

time (sec)

N/A 0.104 0.093 0.707 0.277 0.251 0.059 0.249 11.416

Problem 4313

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

N.S.

1 0.00 1.07 1.13 1.10 1.10 1.07 1.10 1.20

time (sec)

N/A 0.000 0.337 0.330 0.276 0.243 0.142 0.461 10.408

Problem 4314

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

20 0 19 39 38 34 19 38 18

N.S.

1 0.00 0.95 1.95 1.90 1.70 0.95 1.90 0.90

time (sec)

N/A 0.000 0.273 0.801 0.331 0.243 0.129 0.266 10.836

Problem 4315

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

28 27 27 25 61 24 22 68 22

N.S.

1 0.96 0.96 0.89 2.18 0.86 0.79 2.43 0.79

time (sec)

N/A 0.153 0.172 0.215 0.357 0.238 0.085 0.288 11.627

Problem 4316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 25 25 36 36 0 24 24

N.S.

1 0.00 0.86 0.86 1.24 1.24 0.00 0.83 0.83

time (sec)

N/A 0.000 3.747 0.054 0.248 0.252 0.000 0.282 0.266

Problem 4317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B B B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 143 76 61 108 56 61 118 31

N.S.

1 4.93 2.62 2.10 3.72 1.93 2.10 4.07 1.07

time (sec)

N/A 0.051 0.102 0.059 0.205 0.238 0.102 0.259 10.645

Problem 4318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B A B B B A B

verified

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

size

26 0 70 42 61 63 51 33 59

N.S.

1 0.00 2.69 1.62 2.35 2.42 1.96 1.27 2.27

time (sec)

N/A 0.000 0.359 0.309 0.315 0.247 0.328 0.256 7.214

Problem 4319

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

N.S.

1 1.47 1.11 1.05 1.32 1.00 1.05 1.00 1.00

time (sec)

N/A 0.018 0.021 0.021 0.198 0.266 0.057 0.242 0.037

Problem 4320

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

23 0 25 42 34 73 37 38 99

N.S.

1 0.00 1.09 1.83 1.48 3.17 1.61 1.65 4.30

time (sec)

N/A 0.000 0.198 0.848 0.249 0.234 0.087 0.339 8.306

Problem 4321

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 27 25 23 27 22 17 129 25

N.S.

1 1.08 1.00 0.92 1.08 0.88 0.68 5.16 1.00

time (sec)

N/A 0.398 0.080 12.362 0.426 0.241 0.469 2.737 11.543

Problem 4322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 111 34 32 108 72 136 256 1729

N.S.

1 3.36 1.03 0.97 3.27 2.18 4.12 7.76 52.39

time (sec)

N/A 2.337 5.201 169.665 0.374 0.244 0.348 1.766 12.562

Problem 4323

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

16 40 16 16 15 26 17 15 17

N.S.

1 2.50 1.00 1.00 0.94 1.62 1.06 0.94 1.06

time (sec)

N/A 0.122 0.024 0.062 0.277 0.252 0.100 0.241 0.090

Problem 4324

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

N.S.

1 0.33 0.33 0.29 0.33 0.33 0.24 0.33 0.24

time (sec)

N/A 0.001 0.000 0.012 0.196 0.236 0.018 0.244 0.031

Problem 4325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B B A B B

verified

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

size

36 0 64 36 76 86 48 82 34

N.S.

1 0.00 1.78 1.00 2.11 2.39 1.33 2.28 0.94

time (sec)

N/A 0.000 0.104 0.379 0.350 0.243 0.107 0.351 11.003

Problem 4326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 0 69 37 0 34 32 72 64

N.S.

1 0.00 2.76 1.48 0.00 1.36 1.28 2.88 2.56

time (sec)

N/A 0.000 0.184 1.387 0.000 0.246 0.294 0.292 11.359

Problem 4327

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

23 41 54 25 58 65 83 58 196

N.S.

1 1.78 2.35 1.09 2.52 2.83 3.61 2.52 8.52

time (sec)

N/A 0.042 0.033 0.091 0.185 0.242 0.392 0.252 11.082

Problem 4328

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

N.S.

1 1.33 1.27 1.00 1.47 0.93 1.13 1.47 0.87

time (sec)

N/A 0.004 0.001 0.010 0.186 0.233 0.019 0.246 0.303

Problem 4329

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

23 0 28 24 24 24 26 28 23

N.S.

1 0.00 1.22 1.04 1.04 1.04 1.13 1.22 1.00

time (sec)

N/A 0.000 0.383 0.077 0.314 0.242 0.113 0.251 10.747

Problem 4330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A A F B

verified

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

size

23 23 23 0 54 39 34 0 39

N.S.

1 1.00 1.00 0.00 2.35 1.70 1.48 0.00 1.70

time (sec)

N/A 0.502 0.115 0.000 0.293 0.255 3.771 0.000 16.736

Problem 4331

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

N.S.

1 0.52 0.52 0.57 0.43 0.65 0.35 0.43 0.48

time (sec)

N/A 0.022 0.006 0.023 0.182 0.234 0.053 0.241 11.420

Problem 4332

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

28 0 25 25 24 25 27 24 0

N.S.

1 0.00 0.89 0.89 0.86 0.89 0.96 0.86 0.00

time (sec)

N/A 0.000 0.344 0.240 0.239 0.239 0.135 0.300 0.000

Problem 4333

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

28 0 23 22 22 22 22 22 33

N.S.

1 0.00 0.82 0.79 0.79 0.79 0.79 0.79 1.18

time (sec)

N/A 0.000 0.118 0.394 0.232 0.239 0.054 0.247 11.526

Problem 4334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F F A C A A A B

verified

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

size

26 0 0 39 40 23 41 41 41

N.S.

1 0.00 0.00 1.50 1.54 0.88 1.58 1.58 1.58

time (sec)

N/A 0.000 0.000 0.207 0.310 0.244 0.223 0.292 10.836

Problem 4335

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

19 0 18 18 31 35 34 17 29

N.S.

1 0.00 0.95 0.95 1.63 1.84 1.79 0.89 1.53

time (sec)

N/A 0.000 0.639 0.111 0.216 0.248 0.371 0.253 10.956

Problem 4336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

35 0 44 38 47 40 58 0 0

N.S.

1 0.00 1.26 1.09 1.34 1.14 1.66 0.00 0.00

time (sec)

N/A 0.000 0.123 0.195 0.269 0.243 0.171 0.000 0.000

Problem 4337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A C A A A A B

verified

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

size

24 0 24 2484 35 34 27 46 35

N.S.

1 0.00 1.00 103.50 1.46 1.42 1.12 1.92 1.46

time (sec)

N/A 0.000 0.110 149.494 0.335 0.250 0.633 0.447 11.564

Problem 4338

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

32 0 32 26 24 26 31 28 27

N.S.

1 0.00 1.00 0.81 0.75 0.81 0.97 0.88 0.84

time (sec)

N/A 0.000 1.280 0.031 0.220 0.251 0.116 0.291 0.113

Problem 4339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

32 0 38 0 33 36 34 50 36

N.S.

1 0.00 1.19 0.00 1.03 1.12 1.06 1.56 1.12

time (sec)

N/A 0.000 0.266 0.000 0.241 0.281 0.185 296.218 11.086

Problem 4340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 26 23 0 25 20 0 0

N.S.

1 0.00 0.96 0.85 0.00 0.93 0.74 0.00 0.00

time (sec)

N/A 0.000 0.169 0.187 0.000 0.241 0.098 0.000 0.000

Problem 4341

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

20 36 18 15 0 14 15 14 14

N.S.

1 1.80 0.90 0.75 0.00 0.70 0.75 0.70 0.70

time (sec)

N/A 0.036 0.026 0.046 0.000 0.237 0.079 0.262 10.308

Problem 4342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 129 42 30 135 36 29 47 37

N.S.

1 5.16 1.68 1.20 5.40 1.44 1.16 1.88 1.48

time (sec)

N/A 0.204 0.109 0.060 0.327 0.239 0.085 0.264 10.187

Problem 4343

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

28 0 36 26 21 89 29 52 22

N.S.

1 0.00 1.29 0.93 0.75 3.18 1.04 1.86 0.79

time (sec)

N/A 0.000 0.121 124.316 0.320 0.250 2.751 0.273 0.326

Problem 4344

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

23 0 30 28 27 27 26 27 27

N.S.

1 0.00 1.30 1.22 1.17 1.17 1.13 1.17 1.17

time (sec)

N/A 0.000 4.513 0.065 0.329 0.246 0.098 0.278 10.681

Problem 4345

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

N.S.

1 0.82 0.82 0.82 0.91 0.91 0.91 1.59 0.77

time (sec)

N/A 0.198 0.027 0.034 0.185 0.242 0.051 0.254 10.973

Problem 4346

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

N.S.

1 0.58 0.58 0.67 0.58 0.58 0.58 0.58 0.58

time (sec)

N/A 0.001 0.000 0.005 0.194 0.219 0.022 0.260 0.003

Problem 4347

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

N.S.

1 0.70 0.70 0.70 0.65 0.65 0.52 0.65 0.65

time (sec)

N/A 0.087 0.334 0.048 0.231 0.236 0.052 0.255 0.200

Problem 4348

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

23 37 32 37 67 64 31 223 37

N.S.

1 1.61 1.39 1.61 2.91 2.78 1.35 9.70 1.61

time (sec)

N/A 1.099 0.120 0.941 0.351 0.281 0.164 0.570 94.320

Problem 4349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 71 28 21 20 20 0 0 22

N.S.

1 2.54 1.00 0.75 0.71 0.71 0.00 0.00 0.79

time (sec)

N/A 0.201 1.466 9.025 0.631 0.257 0.000 0.000 10.444

Problem 4350

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

N.S.

1 0.39 0.39 0.44 0.39 0.50 0.17 0.39 0.39

time (sec)

N/A 0.002 0.001 0.009 0.186 0.242 0.024 0.247 0.033

Problem 4351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 15 15 11 45 11 0 11 10

N.S.

1 1.07 1.07 0.79 3.21 0.79 0.00 0.79 0.71

time (sec)

N/A 0.069 1.166 0.023 0.211 0.249 0.000 0.262 10.428

Problem 4352

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

28 0 21 24 32 32 19 32 23

N.S.

1 0.00 0.75 0.86 1.14 1.14 0.68 1.14 0.82

time (sec)

N/A 0.000 0.438 0.070 0.305 0.260 0.052 0.289 0.180

Problem 4353

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

N.S.

1 1.06 1.00 1.35 1.53 1.18 1.00 1.29 0.94

time (sec)

N/A 0.235 0.053 0.134 0.249 0.239 2.067 0.269 10.861

Problem 4354

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 48 26 25 33 33 34 33 22

N.S.

1 1.78 0.96 0.93 1.22 1.22 1.26 1.22 0.81

time (sec)

N/A 0.016 0.005 0.018 0.180 0.257 0.025 0.261 10.318

Problem 4355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

19 0 54 30 57 57 29 53 0

N.S.

1 0.00 2.84 1.58 3.00 3.00 1.53 2.79 0.00

time (sec)

N/A 0.000 0.756 0.257 0.227 0.244 0.288 0.261 0.000

Problem 4356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 49 51 32 69 31 31 68 58

N.S.

1 1.96 2.04 1.28 2.76 1.24 1.24 2.72 2.32

time (sec)

N/A 2.357 1.025 0.550 0.379 0.244 0.152 0.294 11.215

Problem 4357

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

29 0 24 23 37 35 19 28 40

N.S.

1 0.00 0.83 0.79 1.28 1.21 0.66 0.97 1.38

time (sec)

N/A 0.000 0.290 4.541 0.320 0.254 0.104 0.337 11.559

Problem 4358

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 28 36 26 27 27 27 27 24

N.S.

1 1.33 1.71 1.24 1.29 1.29 1.29 1.29 1.14

time (sec)

N/A 0.005 0.003 0.013 0.194 0.226 0.029 0.261 0.048

Problem 4359

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

N.S.

1 0.86 1.18 1.05 0.86 1.09 1.23 1.09 1.05

time (sec)

N/A 0.150 0.192 0.080 0.218 0.238 0.098 0.263 11.890

Problem 4360

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

N.S.

1 0.65 0.65 0.70 0.65 0.65 0.50 0.65 0.65

time (sec)

N/A 0.080 0.014 0.086 0.223 0.244 0.070 0.260 11.790

Problem 4361

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

6 6 6 7 6 6 7 6 6

N.S.

1 1.00 1.00 1.17 1.00 1.00 1.17 1.00 1.00

time (sec)

N/A 0.005 0.003 0.017 0.183 0.249 0.044 0.259 12.071

Problem 4362

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 35 30 37 41 37 29 29

N.S.

1 0.00 1.17 1.00 1.23 1.37 1.23 0.97 0.97

time (sec)

N/A 0.000 5.360 0.179 0.248 0.248 0.373 0.284 13.456

Problem 4363

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 35 34 28 33 37 26 31 27

N.S.

1 1.21 1.17 0.97 1.14 1.28 0.90 1.07 0.93

time (sec)

N/A 0.850 5.071 0.218 0.227 0.265 0.151 0.274 12.637

Problem 4364

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

N.S.

1 0.83 0.83 0.78 0.74 0.74 0.83 0.78 0.74

time (sec)

N/A 0.009 0.008 0.063 0.183 0.231 0.042 0.260 10.985

Problem 4365

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

N.S.

1 0.93 0.79 0.71 0.64 0.64 0.71 0.64 0.79

time (sec)

N/A 0.003 0.002 0.015 0.182 0.235 0.032 0.257 10.903

Problem 4366

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

21 19 17 13 12 23 12 0 12

N.S.

1 0.90 0.81 0.62 0.57 1.10 0.57 0.00 0.57

time (sec)

N/A 0.051 0.023 0.056 0.262 0.245 0.081 0.000 10.597

Problem 4367

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 11 15 7 9 9 10 9 6

N.S.

1 0.55 0.75 0.35 0.45 0.45 0.50 0.45 0.30

time (sec)

N/A 0.001 0.001 0.006 0.203 0.224 0.017 0.256 0.034

Problem 4368

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

17 14 14 14 0 13 14 20 13

N.S.

1 0.82 0.82 0.82 0.00 0.76 0.82 1.18 0.76

time (sec)

N/A 0.522 0.069 1.126 0.000 0.249 0.118 0.275 10.990

Problem 4369

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

N.S.

1 0.85 0.85 0.77 0.69 0.69 0.62 0.69 0.69

time (sec)

N/A 0.045 0.020 0.013 0.216 0.240 0.046 0.266 11.011

Problem 4370

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

N.S.

1 0.81 0.81 0.69 0.62 0.62 0.62 0.62 0.62

time (sec)

N/A 0.007 0.005 0.014 0.209 0.243 0.050 0.253 0.041

Problem 4371

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

29 0 27 25 23 24 34 50 24

N.S.

1 0.00 0.93 0.86 0.79 0.83 1.17 1.72 0.83

time (sec)

N/A 0.000 0.621 157.733 0.280 0.240 0.291 49.180 14.293

Problem 4372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F A A A A A B

verified

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

size

37 26 0 26 38 34 29 27 35

N.S.

1 0.70 0.00 0.70 1.03 0.92 0.78 0.73 0.95

time (sec)

N/A 0.168 0.000 0.211 0.317 0.242 0.191 0.287 15.328

Problem 4373

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

36 0 46 45 42 48 24 48 27

N.S.

1 0.00 1.28 1.25 1.17 1.33 0.67 1.33 0.75

time (sec)

N/A 0.000 0.123 57.074 0.494 0.239 0.971 84.039 14.093

Problem 4374

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

N.S.

1 0.48 0.48 0.42 0.39 0.39 0.42 0.39 0.42

time (sec)

N/A 0.022 0.021 0.018 0.197 0.239 0.048 0.256 0.133

Problem 4375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A A A B

verified

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

size

31 0 21 21 0 20 15 30 20

N.S.

1 0.00 0.68 0.68 0.00 0.65 0.48 0.97 0.65

time (sec)

N/A 0.000 0.733 0.498 0.000 0.235 0.212 0.304 15.479

Problem 4376

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

24 18 28 18 0 39 19 34 17

N.S.

1 0.75 1.17 0.75 0.00 1.62 0.79 1.42 0.71

time (sec)

N/A 0.124 0.411 0.041 0.000 0.261 0.074 0.264 0.238

Problem 4377

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

N.S.

1 1.18 1.00 1.00 0.95 0.95 0.91 0.95 0.77

time (sec)

N/A 0.055 0.078 0.020 0.182 0.229 0.043 0.260 0.089

Problem 4378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C B A C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 22 18 270 45 32 179 24

N.S.

1 1.00 0.88 0.72 10.80 1.80 1.28 7.16 0.96

time (sec)

N/A 0.732 1.272 0.035 0.326 0.239 0.077 0.310 0.301

Problem 4379

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

26 17 23 17 40 22 17 22 16

N.S.

1 0.65 0.88 0.65 1.54 0.85 0.65 0.85 0.62

time (sec)

N/A 0.081 0.080 0.030 0.230 0.234 0.048 0.262 14.456

Problem 4380

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

26 0 42 44 66 44 37 0 42

N.S.

1 0.00 1.62 1.69 2.54 1.69 1.42 0.00 1.62

time (sec)

N/A 0.000 0.178 28.224 1.175 0.243 2.672 0.000 15.458

Problem 4381

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 29 28 29 40 33 37 33 38

N.S.

1 1.26 1.22 1.26 1.74 1.43 1.61 1.43 1.65

time (sec)

N/A 0.023 0.009 0.042 0.193 0.240 0.063 0.263 12.016

Problem 4382

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

28 41 25 21 32 32 36 32 30

N.S.

1 1.46 0.89 0.75 1.14 1.14 1.29 1.14 1.07

time (sec)

N/A 0.006 0.008 0.019 0.190 0.225 0.026 0.261 11.513

Problem 4383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 166 24 107 0 77 148 285 0

N.S.

1 6.92 1.00 4.46 0.00 3.21 6.17 11.88 0.00

time (sec)

N/A 1.133 0.175 0.131 0.000 0.258 0.273 0.274 0.000

Problem 4384

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

20 117 71 32 115 19 29 42 31

N.S.

1 5.85 3.55 1.60 5.75 0.95 1.45 2.10 1.55

time (sec)

N/A 0.131 0.091 0.116 0.338 0.240 0.172 0.277 11.926

Problem 4385

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

N.S.

1 0.92 0.92 0.83 0.79 0.79 0.71 1.83 0.83

time (sec)

N/A 0.064 0.046 0.047 0.188 0.237 0.120 0.278 0.120

Problem 4386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B B B B F B

verified

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

size

34 0 66 60 58 63 65 0 56

N.S.

1 0.00 1.94 1.76 1.71 1.85 1.91 0.00 1.65

time (sec)

N/A 0.000 0.184 11.616 0.547 0.247 0.238 0.000 13.542

Problem 4387

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 28 29 26 26 34 32 30 4850

N.S.

1 1.12 1.16 1.04 1.04 1.36 1.28 1.20 194.00

time (sec)

N/A 0.065 0.033 0.050 0.199 0.223 0.691 0.268 16.586

Problem 4388

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

N.S.

1 0.64 1.07 0.61 0.57 0.57 0.50 0.61 0.57

time (sec)

N/A 0.014 0.036 0.033 0.190 0.228 0.050 0.260 0.178

Problem 4389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 79 74 159 41 0 85 0

N.S.

1 0.00 3.04 2.85 6.12 1.58 0.00 3.27 0.00

time (sec)

N/A 0.000 3.102 19.701 0.344 0.256 0.000 1.076 0.000

Problem 4390

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

N.S.

1 1.00 1.00 1.00 0.88 0.88 0.62 0.88 0.88

time (sec)

N/A 0.001 0.000 0.011 0.184 0.227 0.021 0.265 0.023

Problem 4391

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

29 40 36 28 68 63 20 87 27

N.S.

1 1.38 1.24 0.97 2.34 2.17 0.69 3.00 0.93

time (sec)

N/A 1.156 2.954 0.569 0.298 0.244 0.141 0.295 0.743

Problem 4392

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

30 31 30 25 31 32 24 32 28

N.S.

1 1.03 1.00 0.83 1.03 1.07 0.80 1.07 0.93

time (sec)

N/A 0.085 0.099 0.057 0.220 0.252 0.088 0.260 13.428

Problem 4393

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 27 28 26 31 30 34 32 26

N.S.

1 1.29 1.33 1.24 1.48 1.43 1.62 1.52 1.24

time (sec)

N/A 0.035 0.012 0.024 0.185 0.231 0.204 0.260 0.156

Problem 4394

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 20 20 18 373 19 20 36 19

N.S.

1 0.91 0.91 0.82 16.95 0.86 0.91 1.64 0.86

time (sec)

N/A 0.031 0.311 0.045 0.285 0.245 0.083 0.261 13.614

Problem 4395

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

28 0 32 34 51 51 39 33 47

N.S.

1 0.00 1.14 1.21 1.82 1.82 1.39 1.18 1.68

time (sec)

N/A 0.000 0.214 25.648 0.258 0.267 0.362 0.339 12.345

Problem 4396

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

28 0 33 40 39 40 37 33 36

N.S.

1 0.00 1.18 1.43 1.39 1.43 1.32 1.18 1.29

time (sec)

N/A 0.000 0.180 1.556 0.342 0.254 0.489 0.400 10.370

Problem 4397

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

N.S.

1 1.21 1.50 1.14 1.14 1.14 1.36 1.14 1.07

time (sec)

N/A 0.005 0.004 0.023 0.195 0.238 0.056 0.260 0.048

Problem 4398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 23 64 71 62 54 66 97 66

N.S.

1 0.85 2.37 2.63 2.30 2.00 2.44 3.59 2.44

time (sec)

N/A 0.414 0.062 0.426 0.323 0.243 0.217 0.378 10.850

Problem 4399

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

25 21 21 19 0 18 17 21 18

N.S.

1 0.84 0.84 0.76 0.00 0.72 0.68 0.84 0.72

time (sec)

N/A 0.071 0.020 0.081 0.000 0.239 0.114 0.257 10.818

Problem 4400

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

N.S.

1 1.70 1.07 1.07 1.04 1.19 1.07 1.19 1.19

time (sec)

N/A 0.022 0.504 0.040 0.218 0.242 0.066 0.264 0.172