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

2.2.25 Integrals 2401 to 2500

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 2401

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

27 27 27 24 28 23 26 30 0

N.S.

1 1.00 1.00 0.89 1.04 0.85 0.96 1.11 0.00

time (sec)

N/A 0.546 0.054 2.334 0.327 0.244 0.366 0.459 0.000

Problem 2402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 111 30 23 0 29 36 0 31

N.S.

1 3.70 1.00 0.77 0.00 0.97 1.20 0.00 1.03

time (sec)

N/A 0.399 0.448 0.695 0.000 0.239 4.381 0.000 13.704

Problem 2403

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 29 25 19 18 18 17 30 18

N.S.

1 1.16 1.00 0.76 0.72 0.72 0.68 1.20 0.72

time (sec)

N/A 0.711 0.539 0.304 0.227 0.252 0.113 0.307 0.225

Problem 2404

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

22 0 31 30 28 28 37 36 47

N.S.

1 0.00 1.41 1.36 1.27 1.27 1.68 1.64 2.14

time (sec)

N/A 0.000 0.280 2.178 0.228 0.258 0.408 0.312 13.386

Problem 2405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 20 80 23 23 23 27 25 23

N.S.

1 0.91 3.64 1.05 1.05 1.05 1.23 1.14 1.05

time (sec)

N/A 0.178 0.062 0.072 0.180 0.247 0.304 0.271 13.363

Problem 2406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 74 37 28 40 30 29 0 0

N.S.

1 3.36 1.68 1.27 1.82 1.36 1.32 0.00 0.00

time (sec)

N/A 1.230 0.597 0.514 0.261 0.262 0.137 0.000 0.000

Problem 2407

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

28 0 28 26 24 29 27 211 23

N.S.

1 0.00 1.00 0.93 0.86 1.04 0.96 7.54 0.82

time (sec)

N/A 0.000 1.021 0.788 0.240 0.244 0.065 0.290 13.490

Problem 2408

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

20 30 36 31 29 32 39 33 30

N.S.

1 1.50 1.80 1.55 1.45 1.60 1.95 1.65 1.50

time (sec)

N/A 0.150 0.015 0.092 0.193 0.259 0.091 0.265 0.154

Problem 2409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 591 54 25 6875 565 8716 9072 20

N.S.

1 24.62 2.25 1.04 286.46 23.54 363.17 378.00 0.83

time (sec)

N/A 6.195 0.489 0.858 0.273 0.259 6.245 0.298 14.293

Problem 2410

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

17 49 17 14 11 11 15 0 11

N.S.

1 2.88 1.00 0.82 0.65 0.65 0.88 0.00 0.65

time (sec)

N/A 0.217 0.119 0.081 0.230 0.265 0.102 0.000 0.092

Problem 2411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 26 25 24 263 24 0 25 36

N.S.

1 1.37 1.32 1.26 13.84 1.26 0.00 1.32 1.89

time (sec)

N/A 0.674 0.151 0.626 0.393 0.272 0.000 0.261 0.410

Problem 2412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 285 406 70 105 95 107 82 0

N.S.

1 11.40 16.24 2.80 4.20 3.80 4.28 3.28 0.00

time (sec)

N/A 0.592 0.282 0.217 0.242 0.240 4.529 0.288 0.000

Problem 2413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B B A F B

verified

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

size

21 0 17 16 157 33 15 0 20

N.S.

1 0.00 0.81 0.76 7.48 1.57 0.71 0.00 0.95

time (sec)

N/A 0.000 0.792 0.038 0.503 0.249 0.149 0.000 14.422

Problem 2414

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

N.S.

1 0.00 0.90 0.72 0.69 0.90 0.59 1.83 0.76

time (sec)

N/A 0.000 0.313 0.493 0.220 0.246 0.089 0.279 13.754

Problem 2415

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

14 0 14 15 38 38 20 43 26

N.S.

1 0.00 1.00 1.07 2.71 2.71 1.43 3.07 1.86

time (sec)

N/A 0.000 0.258 0.451 0.226 0.262 0.049 0.279 12.916

Problem 2416

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

21 54 32 28 361 26 26 48 41

N.S.

1 2.57 1.52 1.33 17.19 1.24 1.24 2.29 1.95

time (sec)

N/A 0.317 1.093 0.512 0.380 0.250 0.086 0.337 12.913

Problem 2417

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

34 30 23 21 0 40 15 38 20

N.S.

1 0.88 0.68 0.62 0.00 1.18 0.44 1.12 0.59

time (sec)

N/A 0.578 0.591 0.108 0.000 0.255 0.070 0.275 0.251

Problem 2418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 81 22 20 0 22 26 0 22

N.S.

1 3.38 0.92 0.83 0.00 0.92 1.08 0.00 0.92

time (sec)

N/A 0.345 0.040 0.391 0.000 0.248 1.626 0.000 13.340

Problem 2419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 45 25 29 0 24 29 28 0

N.S.

1 1.88 1.04 1.21 0.00 1.00 1.21 1.17 0.00

time (sec)

N/A 0.312 0.641 0.525 0.000 0.255 0.245 0.302 0.000

Problem 2420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F A B A A A B

verified

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

size

23 36 0 28 54 37 37 37 37

N.S.

1 1.57 0.00 1.22 2.35 1.61 1.61 1.61 1.61

time (sec)

N/A 3.270 0.000 0.970 0.830 0.262 0.248 0.295 13.923

Problem 2421

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 27 29 279 298 427 849 0

N.S.

1 0.00 0.96 1.04 9.96 10.64 15.25 30.32 0.00

time (sec)

N/A 0.000 0.814 33.219 1.702 0.293 0.707 0.806 0.000

Problem 2422

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 33 35 38 38 48 38 0

N.S.

1 0.00 1.22 1.30 1.41 1.41 1.78 1.41 0.00

time (sec)

N/A 0.000 0.050 0.605 0.192 0.251 0.901 0.276 0.000

Problem 2423

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

30 0 30 30 34 35 31 35 0

N.S.

1 0.00 1.00 1.00 1.13 1.17 1.03 1.17 0.00

time (sec)

N/A 0.000 5.079 0.410 1.807 0.265 3.765 0.296 0.000

Problem 2424

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

N.S.

1 1.08 1.08 1.12 1.08 1.08 1.08 1.12 1.08

time (sec)

N/A 0.187 0.041 0.057 0.189 0.259 0.029 0.266 0.031

Problem 2425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B A B B B B B

verified

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

size

24 0 49 46 53 45 53 50 50

N.S.

1 0.00 2.04 1.92 2.21 1.88 2.21 2.08 2.08

time (sec)

N/A 0.000 0.659 0.745 0.227 0.258 0.167 0.289 14.042

Problem 2426

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

20 43 21 22 48 54 65 48 38

N.S.

1 2.15 1.05 1.10 2.40 2.70 3.25 2.40 1.90

time (sec)

N/A 0.180 0.004 0.074 0.196 0.236 0.026 0.267 13.556

Problem 2427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

35 0 35 5397 132 64 0 211 45

N.S.

1 0.00 1.00 154.20 3.77 1.83 0.00 6.03 1.29

time (sec)

N/A 0.000 0.354 0.502 0.970 0.282 0.000 0.558 14.762

Problem 2428

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

N.S.

1 0.90 0.83 0.73 0.57 0.70 0.67 0.57 0.63

time (sec)

N/A 0.456 0.309 0.205 0.269 0.246 0.115 0.289 14.238

Problem 2429

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 29 33 26 31 26 31 56

N.S.

1 0.00 1.00 1.14 0.90 1.07 0.90 1.07 1.93

time (sec)

N/A 0.000 3.525 0.266 0.318 0.248 0.090 0.351 14.171

Problem 2430

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

19 25 19 17 92 19 15 19 17

N.S.

1 1.32 1.00 0.89 4.84 1.00 0.79 1.00 0.89

time (sec)

N/A 0.195 0.046 0.078 0.309 0.252 0.057 0.278 0.137

Problem 2431

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B B B B B B B

verified

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

size

26 0 65 56 72 73 65 58 92

N.S.

1 0.00 2.50 2.15 2.77 2.81 2.50 2.23 3.54

time (sec)

N/A 0.000 12.515 0.713 0.232 0.256 0.577 0.363 0.658

Problem 2432

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 41 39 38 35 39 38 38

N.S.

1 0.00 1.78 1.70 1.65 1.52 1.70 1.65 1.65

time (sec)

N/A 0.000 0.175 0.781 0.236 0.243 0.128 0.273 13.620

Problem 2433

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

22 25 19 26 0 24 20 26 20

N.S.

1 1.14 0.86 1.18 0.00 1.09 0.91 1.18 0.91

time (sec)

N/A 0.708 0.150 0.243 0.000 0.242 0.073 0.280 13.606

Problem 2434

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

N.S.

1 1.04 1.04 1.09 1.00 0.91 1.04 0.96 0.91

time (sec)

N/A 0.139 0.007 0.157 0.224 0.237 0.035 0.272 0.170

Problem 2435

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 30 24 29 23 26 0 25 28

N.S.

1 1.25 1.00 1.21 0.96 1.08 0.00 1.04 1.17

time (sec)

N/A 1.764 0.082 18.198 0.289 0.256 0.000 0.663 15.978

Problem 2436

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 111 29 76 149 67 53 221 56

N.S.

1 4.27 1.12 2.92 5.73 2.58 2.04 8.50 2.15

time (sec)

N/A 0.462 0.033 0.234 0.246 0.254 0.112 0.296 13.524

Problem 2437

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

N.S.

1 0.73 0.82 0.82 0.82 0.82 0.64 0.82 0.82

time (sec)

N/A 0.124 0.000 0.040 0.233 0.224 0.016 0.266 0.002

Problem 2438

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

20 0 29 22 39 31 27 0 31

N.S.

1 0.00 1.45 1.10 1.95 1.55 1.35 0.00 1.55

time (sec)

N/A 0.000 0.116 5.956 0.347 0.240 7.380 0.000 13.418

Problem 2439

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

32 147 82 101 130 84 110 110 90

N.S.

1 4.59 2.56 3.16 4.06 2.62 3.44 3.44 2.81

time (sec)

N/A 0.557 0.139 0.138 0.255 0.243 0.131 0.291 13.503

Problem 2440

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

30 0 0 31 33 28 27 32 0

N.S.

1 0.00 0.00 1.03 1.10 0.93 0.90 1.07 0.00

time (sec)

N/A 0.000 0.000 0.482 0.339 0.251 0.172 0.649 0.000

Problem 2441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 132 57 41 69 69 37 157 42

N.S.

1 3.77 1.63 1.17 1.97 1.97 1.06 4.49 1.20

time (sec)

N/A 3.313 0.478 1.097 0.274 0.249 0.150 0.341 12.808

Problem 2442

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

N.S.

1 0.95 0.86 0.86 1.00 1.00 1.09 1.00 0.73

time (sec)

N/A 0.152 0.009 0.095 0.211 0.242 0.046 0.269 12.845

Problem 2443

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 33 22 25 30 35 32 30 34

N.S.

1 1.50 1.00 1.14 1.36 1.59 1.45 1.36 1.55

time (sec)

N/A 0.862 0.149 196.658 0.459 0.245 0.320 0.376 13.663

Problem 2444

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

N.S.

1 0.90 0.90 0.90 0.85 0.85 0.95 0.90 0.85

time (sec)

N/A 0.191 0.014 0.102 0.202 0.239 0.212 0.274 0.173

Problem 2445

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

N.S.

1 1.00 0.92 1.00 0.96 0.96 0.92 0.96 0.96

time (sec)

N/A 0.186 0.032 0.056 0.266 0.238 0.083 0.281 13.580

Problem 2446

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

N.S.

1 1.24 0.76 0.71 0.76 0.76 0.71 0.88 0.65

time (sec)

N/A 0.185 0.007 0.604 0.225 0.228 0.047 0.269 13.321

Problem 2447

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

18 35 20 29 26 26 58 26 28

N.S.

1 1.94 1.11 1.61 1.44 1.44 3.22 1.44 1.56

time (sec)

N/A 0.164 0.023 0.069 0.198 0.244 0.078 0.301 0.067

Problem 2448

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

31 18 24 18 0 27 12 24 18

N.S.

1 0.58 0.77 0.58 0.00 0.87 0.39 0.77 0.58

time (sec)

N/A 0.373 0.874 0.671 0.000 0.249 0.051 0.273 0.138

Problem 2449

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

N.S.

1 1.20 1.12 1.24 1.12 1.20 1.24 1.28 1.20

time (sec)

N/A 0.506 0.191 0.623 0.401 0.248 0.067 0.294 0.562

Problem 2450

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C C B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 39 39 41 82 54 313 443 38

N.S.

1 1.30 1.30 1.37 2.73 1.80 10.43 14.77 1.27

time (sec)

N/A 0.806 0.109 2.824 0.364 0.268 34.013 1.249 13.803

Problem 2451

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

20 18 18 19 46 16 17 11 11

N.S.

1 0.90 0.90 0.95 2.30 0.80 0.85 0.55 0.55

time (sec)

N/A 0.357 0.052 0.541 0.259 0.259 0.113 0.264 0.339

Problem 2452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B B B B B B

verified

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

size

30 0 36 72 61 61 65 65 892

N.S.

1 0.00 1.20 2.40 2.03 2.03 2.17 2.17 29.73

time (sec)

N/A 0.000 0.228 110.984 0.293 0.267 0.157 0.339 13.852

Problem 2453

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 27 25 20 110 19 20 19 19

N.S.

1 1.23 1.14 0.91 5.00 0.86 0.91 0.86 0.86

time (sec)

N/A 0.303 0.028 12.908 0.233 0.248 0.077 0.280 12.870

Problem 2454

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

18 15 21 31 39 41 39 27 38

N.S.

1 0.83 1.17 1.72 2.17 2.28 2.17 1.50 2.11

time (sec)

N/A 0.174 0.011 0.139 0.223 0.259 0.128 0.271 0.159

Problem 2455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 48 50 34 37 35 37 35 33

N.S.

1 2.09 2.17 1.48 1.61 1.52 1.61 1.52 1.43

time (sec)

N/A 0.920 0.195 0.693 0.355 0.246 0.200 0.279 13.933

Problem 2456

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

N.S.

1 0.89 0.79 0.74 0.68 0.79 0.53 0.68 0.68

time (sec)

N/A 0.148 0.002 0.101 0.209 0.224 0.038 0.261 12.847

Problem 2457

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

N.S.

1 1.14 1.24 1.05 1.10 1.10 0.90 1.10 0.95

time (sec)

N/A 0.147 0.006 0.062 0.217 0.230 0.021 0.266 13.870

Problem 2458

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

N.S.

1 0.00 0.79 0.75 0.71 0.75 0.68 1.04 0.75

time (sec)

N/A 0.000 0.288 0.148 0.270 0.242 0.074 0.291 13.811

Problem 2459

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

38 0 25 40 38 37 37 62 28

N.S.

1 0.00 0.66 1.05 1.00 0.97 0.97 1.63 0.74

time (sec)

N/A 0.000 5.044 0.210 0.360 0.245 0.080 0.264 0.195

Problem 2460

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 40 24 18 0 17 26 41 21

N.S.

1 1.67 1.00 0.75 0.00 0.71 1.08 1.71 0.88

time (sec)

N/A 0.272 0.257 0.111 0.000 0.251 0.113 0.301 13.707

Problem 2461

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

13 10 10 8 12 7 8 7 7

N.S.

1 0.77 0.77 0.62 0.92 0.54 0.62 0.54 0.54

time (sec)

N/A 0.161 0.002 0.196 0.274 0.237 0.039 0.293 0.042

Problem 2462

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

18 0 23 24 37 23 22 23 23

N.S.

1 0.00 1.28 1.33 2.06 1.28 1.22 1.28 1.28

time (sec)

N/A 0.000 0.499 0.223 0.284 0.270 0.104 0.289 13.810

Problem 2463

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

18 47 39 40 48 40 37 39 14

N.S.

1 2.61 2.17 2.22 2.67 2.22 2.06 2.17 0.78

time (sec)

N/A 0.212 0.014 0.098 0.238 0.245 0.059 0.267 14.079

Problem 2464

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

N.S.

1 1.00 1.00 0.88 0.81 0.81 0.88 0.81 0.81

time (sec)

N/A 0.138 0.000 0.059 0.210 0.249 0.019 0.263 0.026

Problem 2465

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

21 51 19 25 0 22 26 24 18

N.S.

1 2.43 0.90 1.19 0.00 1.05 1.24 1.14 0.86

time (sec)

N/A 0.803 0.369 0.094 0.000 0.240 0.094 0.278 13.802

Problem 2466

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

N.S.

1 0.48 0.48 0.52 0.48 0.63 0.26 0.48 0.48

time (sec)

N/A 0.172 0.009 0.039 0.248 0.227 0.035 0.273 13.529

Problem 2467

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 36 23 21 29 23 17 23 20

N.S.

1 1.71 1.10 1.00 1.38 1.10 0.81 1.10 0.95

time (sec)

N/A 0.572 0.631 0.117 0.270 0.249 0.063 0.274 13.444

Problem 2468

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 17 17 28 35 26 14 17 17

N.S.

1 0.94 0.94 1.56 1.94 1.44 0.78 0.94 0.94

time (sec)

N/A 0.550 0.032 1.164 0.287 0.249 0.085 0.843 13.922

Problem 2469

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B C B B B B

verified

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

size

25 0 28 65 105 59 100 70 94

N.S.

1 0.00 1.12 2.60 4.20 2.36 4.00 2.80 3.76

time (sec)

N/A 0.000 0.585 1.656 0.398 0.255 0.258 0.284 14.119

Problem 2470

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

N.S.

1 0.62 0.62 0.50 0.44 0.56 0.44 0.44 0.50

time (sec)

N/A 0.126 0.000 0.026 0.223 0.240 0.016 0.268 0.002

Problem 2471

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

N.S.

1 0.94 0.94 1.06 1.00 1.12 1.12 1.00 0.94

time (sec)

N/A 0.133 0.000 0.020 0.246 0.243 0.016 0.262 0.002

Problem 2472

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B A B B

verified

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

size

15 0 14 13 13 43 14 43 12

N.S.

1 0.00 0.93 0.87 0.87 2.87 0.93 2.87 0.80

time (sec)

N/A 0.000 0.084 0.177 0.362 0.254 0.226 0.313 13.933

Problem 2473

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 21 25 27 21 19 21 22

N.S.

1 0.00 0.91 1.09 1.17 0.91 0.83 0.91 0.96

time (sec)

N/A 0.000 0.021 0.566 0.296 0.248 0.051 0.269 13.042

Problem 2474

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 31 21 21 21 25 15 21 21

N.S.

1 1.24 0.84 0.84 0.84 1.00 0.60 0.84 0.84

time (sec)

N/A 0.233 0.012 0.058 0.214 0.238 0.042 0.267 13.683

Problem 2475

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B A B B

verified

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

size

20 0 35 17 27 43 14 212 28

N.S.

1 0.00 1.75 0.85 1.35 2.15 0.70 10.60 1.40

time (sec)

N/A 0.000 0.463 0.189 0.480 0.243 0.138 0.533 0.248

Problem 2476

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 116 78 81 86 71 122 0

N.S.

1 0.00 3.87 2.60 2.70 2.87 2.37 4.07 0.00

time (sec)

N/A 0.000 0.308 2.390 0.271 0.268 0.305 0.344 0.000

Problem 2477

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

N.S.

1 1.61 0.87 0.78 0.74 0.87 0.74 0.87 0.83

time (sec)

N/A 0.271 0.009 0.073 0.216 0.230 0.199 0.282 0.090

Problem 2478

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 17 16 13 26 15 28 15

N.S.

1 0.00 1.00 0.94 0.76 1.53 0.88 1.65 0.88

time (sec)

N/A 0.000 0.315 0.257 0.270 0.254 0.127 0.304 13.747

Problem 2479

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

N.S.

1 0.82 0.82 0.73 0.64 0.64 0.64 0.64 0.73

time (sec)

N/A 0.167 0.011 0.069 0.204 0.262 0.049 0.287 0.056

Problem 2480

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

35 0 44 59 123 118 126 364 0

N.S.

1 0.00 1.26 1.69 3.51 3.37 3.60 10.40 0.00

time (sec)

N/A 0.000 5.090 0.845 0.393 0.271 0.339 0.393 0.000

Problem 2481

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

20 22 20 15 0 14 15 0 12

N.S.

1 1.10 1.00 0.75 0.00 0.70 0.75 0.00 0.60

time (sec)

N/A 0.159 0.023 0.069 0.000 0.262 0.076 0.000 13.047

Problem 2482

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 0 41 0 33 0 0 0 0

N.S.

1 0.00 1.32 0.00 1.06 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.914 0.000 0.302 0.000 0.000 0.000 0.000

Problem 2483

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 60 39 36 96 33 42 33 51

N.S.

1 2.14 1.39 1.29 3.43 1.18 1.50 1.18 1.82

time (sec)

N/A 0.352 3.367 0.081 0.202 0.254 0.073 0.276 13.497

Problem 2484

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 0 29 329 27 28 24 32 0

N.S.

1 0.00 0.94 10.61 0.87 0.90 0.77 1.03 0.00

time (sec)

N/A 0.000 0.090 29.167 0.521 0.263 117.052 1.944 0.000

Problem 2485

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

25 0 36 29 92 40 37 0 96

N.S.

1 0.00 1.44 1.16 3.68 1.60 1.48 0.00 3.84

time (sec)

N/A 0.000 0.211 0.498 0.548 0.277 0.258 0.000 0.367

Problem 2486

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

15 30 15 13 0 12 14 12 12

N.S.

1 2.00 1.00 0.87 0.00 0.80 0.93 0.80 0.80

time (sec)

N/A 0.365 0.344 0.788 0.000 0.267 0.062 0.286 0.096

Problem 2487

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 66 58 64 58 53 57 0

N.S.

1 0.00 2.54 2.23 2.46 2.23 2.04 2.19 0.00

time (sec)

N/A 0.000 0.218 0.418 0.300 0.284 1.551 0.496 0.000

Problem 2488

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

N.S.

1 0.75 0.75 0.75 0.67 0.67 0.58 0.67 0.67

time (sec)

N/A 0.136 0.002 0.063 0.206 0.243 0.031 0.278 0.033

Problem 2489

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 35 31 25 28 34 24 23 23

N.S.

1 1.35 1.19 0.96 1.08 1.31 0.92 0.88 0.88

time (sec)

N/A 0.237 0.015 0.059 0.201 0.250 0.041 0.278 12.411

Problem 2490

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

N.S.

1 1.13 0.91 0.74 0.96 0.70 0.83 0.70 0.70

time (sec)

N/A 0.179 0.016 0.055 0.200 0.241 0.055 0.273 0.052

Problem 2491

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

N.S.

1 0.81 0.81 0.81 0.76 0.86 0.71 0.86 0.81

time (sec)

N/A 0.216 0.011 0.439 0.210 0.255 0.121 0.267 0.138

Problem 2492

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

30 0 38 45 37 40 24 50 0

N.S.

1 0.00 1.27 1.50 1.23 1.33 0.80 1.67 0.00

time (sec)

N/A 0.000 0.097 0.735 0.349 0.257 0.169 0.321 0.000

Problem 2493

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

22 0 0 44 65 63 46 44 0

N.S.

1 0.00 0.00 2.00 2.95 2.86 2.09 2.00 0.00

time (sec)

N/A 0.000 0.000 0.152 0.337 0.263 0.549 0.294 0.000

Problem 2494

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

27 33 30 26 0 37 27 0 27

N.S.

1 1.22 1.11 0.96 0.00 1.37 1.00 0.00 1.00

time (sec)

N/A 0.923 1.723 0.825 0.000 0.260 0.409 0.000 13.373

Problem 2495

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 38 26 23 25 26 26 23 23

N.S.

1 1.31 0.90 0.79 0.86 0.90 0.90 0.79 0.79

time (sec)

N/A 0.266 0.020 0.105 0.201 0.250 0.345 0.260 0.166

Problem 2496

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

N.S.

1 0.74 0.74 0.70 1.30 0.65 0.52 0.65 0.65

time (sec)

N/A 0.821 0.241 0.542 0.548 0.270 0.066 0.306 12.756

Problem 2497

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 849 40 33 912 42 54 48 55

N.S.

1 29.28 1.38 1.14 31.45 1.45 1.86 1.66 1.90

time (sec)

N/A 1.903 3.868 0.934 0.284 0.269 0.389 0.318 12.677

Problem 2498

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

30 0 29 32 29 29 20 29 0

N.S.

1 0.00 0.97 1.07 0.97 0.97 0.67 0.97 0.00

time (sec)

N/A 0.000 0.100 1.539 0.261 0.265 0.137 0.429 0.000

Problem 2499

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 104 35 33 42 36 26 32 34

N.S.

1 3.35 1.13 1.06 1.35 1.16 0.84 1.03 1.10

time (sec)

N/A 0.563 0.095 0.375 0.306 0.263 0.078 0.298 0.215

Problem 2500

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

N.S.

1 0.74 0.61 0.65 0.65 0.61 0.52 0.78 0.61

time (sec)

N/A 0.207 0.009 0.046 0.209 0.235 0.047 0.283 0.072

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