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

2.2.26 Integrals 2501 to 2600

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 2501

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

N.S.

1 0.00 0.75 0.71 0.67 0.67 0.50 0.67 0.67

time (sec)

N/A 0.000 0.365 0.105 0.218 0.260 0.070 0.263 13.139

Problem 2502

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

27 75 23 25 22 25 20 25 23

N.S.

1 2.78 0.85 0.93 0.81 0.93 0.74 0.93 0.85

time (sec)

N/A 0.221 0.081 0.084 0.259 0.261 0.117 0.282 10.832

Problem 2503

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

27 32 30 31 33 37 27 0 42

N.S.

1 1.19 1.11 1.15 1.22 1.37 1.00 0.00 1.56

time (sec)

N/A 0.677 0.083 0.155 0.306 0.265 0.134 0.000 12.376

Problem 2504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 55 49 31 44 53 42 44 39

N.S.

1 2.39 2.13 1.35 1.91 2.30 1.83 1.91 1.70

time (sec)

N/A 0.358 0.031 0.313 0.182 0.249 0.653 0.268 10.819

Problem 2505

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 38 25 25 30 30 19 30 20

N.S.

1 1.65 1.09 1.09 1.30 1.30 0.83 1.30 0.87

time (sec)

N/A 0.192 0.017 0.083 0.178 0.255 0.030 0.256 0.046

Problem 2506

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

26 0 26 27 26 28 27 0 26

N.S.

1 0.00 1.00 1.04 1.00 1.08 1.04 0.00 1.00

time (sec)

N/A 0.000 3.712 0.556 0.254 0.266 0.124 0.000 12.572

Problem 2507

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 22 15 15 20 20 12 20 14

N.S.

1 1.22 0.83 0.83 1.11 1.11 0.67 1.11 0.78

time (sec)

N/A 0.150 0.014 0.053 0.182 0.261 0.050 0.256 0.095

Problem 2508

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

N.S.

1 0.79 0.79 0.74 0.74 0.68 0.79 0.74 0.68

time (sec)

N/A 0.143 0.006 0.057 0.180 0.239 0.051 0.277 10.736

Problem 2509

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

N.S.

1 1.00 1.00 0.71 0.65 0.65 0.82 0.65 0.65

time (sec)

N/A 0.173 0.020 0.069 0.202 0.260 0.060 0.305 0.067

Problem 2510

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

32 0 37 53 55 65 42 65 58

N.S.

1 0.00 1.16 1.66 1.72 2.03 1.31 2.03 1.81

time (sec)

N/A 0.000 5.755 0.127 0.257 0.293 0.121 0.349 13.201

Problem 2511

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

31 0 81 43 73 60 58 82 126

N.S.

1 0.00 2.61 1.39 2.35 1.94 1.87 2.65 4.06

time (sec)

N/A 0.000 0.209 1.360 0.337 0.253 0.204 0.372 14.991

Problem 2512

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

N.S.

1 0.84 0.89 0.74 1.32 0.74 0.79 0.74 0.68

time (sec)

N/A 0.265 0.108 0.788 0.291 0.244 0.093 0.282 11.620

Problem 2513

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 22 23 22 29 19 22 22

N.S.

1 1.33 1.05 1.10 1.05 1.38 0.90 1.05 1.05

time (sec)

N/A 0.304 0.024 0.256 0.188 0.249 0.241 0.275 12.493

Problem 2514

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

N.S.

1 0.67 0.67 1.00 0.83 0.83 0.83 0.83 0.83

time (sec)

N/A 0.121 0.000 0.011 0.187 0.243 0.017 0.276 0.005

Problem 2515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B A F B

verified

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

size

28 0 24 19 16 44 19 0 16

N.S.

1 0.00 0.86 0.68 0.57 1.57 0.68 0.00 0.57

time (sec)

N/A 0.000 0.305 0.095 0.340 0.263 0.180 0.000 12.960

Problem 2516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F F A A B A F B

verified

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

size

24 0 0 27 20 77 36 0 21

N.S.

1 0.00 0.00 1.12 0.83 3.21 1.50 0.00 0.88

time (sec)

N/A 0.000 0.000 0.413 0.437 0.263 0.263 0.000 12.151

Problem 2517

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

N.S.

1 1.00 1.00 1.12 0.88 1.00 0.62 1.00 1.00

time (sec)

N/A 0.183 0.039 0.736 0.226 0.247 0.049 0.257 12.470

Problem 2518

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

N.S.

1 1.00 1.00 0.88 0.83 0.83 0.71 0.96 0.75

time (sec)

N/A 0.225 0.011 0.048 0.182 0.241 0.058 0.272 11.053

Problem 2519

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

20 60 16 47 45 45 44 45 19

N.S.

1 3.00 0.80 2.35 2.25 2.25 2.20 2.25 0.95

time (sec)

N/A 0.277 0.190 0.039 0.181 0.264 0.064 0.260 0.127

Problem 2520

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

22 132 182 190 195 137 226 159 0

N.S.

1 6.00 8.27 8.64 8.86 6.23 10.27 7.23 0.00

time (sec)

N/A 0.373 0.139 0.215 0.187 0.268 2.724 0.294 0.000

Problem 2521

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

24 17 17 16 29 17 15 15 0

N.S.

1 0.71 0.71 0.67 1.21 0.71 0.62 0.62 0.00

time (sec)

N/A 0.278 0.045 0.104 0.184 0.243 0.066 0.272 0.000

Problem 2522

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

N.S.

1 0.79 0.64 0.71 0.64 0.64 0.36 0.64 0.50

time (sec)

N/A 0.122 0.000 0.005 0.186 0.241 0.020 0.260 0.192

Problem 2523

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

28 109 50 49 43 47 80 43 24

N.S.

1 3.89 1.79 1.75 1.54 1.68 2.86 1.54 0.86

time (sec)

N/A 1.033 7.635 0.161 0.235 0.258 0.120 0.272 0.415

Problem 2524

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

20 113 54 24 218 64 85 76 62

N.S.

1 5.65 2.70 1.20 10.90 3.20 4.25 3.80 3.10

time (sec)

N/A 0.524 5.049 0.100 0.199 0.251 0.106 0.262 0.180

Problem 2525

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 23 23 22 19 21 15 21 21

N.S.

1 0.92 0.92 0.88 0.76 0.84 0.60 0.84 0.84

time (sec)

N/A 0.602 0.138 0.833 0.226 0.252 0.089 0.269 14.514

Problem 2526

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

14 90 12 12 19 11 10 11 11

N.S.

1 6.43 0.86 0.86 1.36 0.79 0.71 0.79 0.79

time (sec)

N/A 0.528 0.166 0.080 0.194 0.235 0.053 0.254 11.419

Problem 2527

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 27 25 30 24 29 49 29

N.S.

1 1.08 1.08 1.00 1.20 0.96 1.16 1.96 1.16

time (sec)

N/A 0.543 0.048 0.184 0.259 0.249 0.068 0.261 11.837

Problem 2528

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

N.S.

1 1.22 0.94 1.11 1.00 1.06 0.94 1.00 0.72

time (sec)

N/A 0.300 0.108 0.035 0.187 0.240 0.047 0.270 0.065

Problem 2529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F F B B B B B B

verified

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

size

31 0 0 109 65 120 112 215 56

N.S.

1 0.00 0.00 3.52 2.10 3.87 3.61 6.94 1.81

time (sec)

N/A 0.000 0.000 23.028 0.262 0.280 0.858 3.983 13.873

Problem 2530

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

31 0 32 32 33 33 29 33 33

N.S.

1 0.00 1.03 1.03 1.06 1.06 0.94 1.06 1.06

time (sec)

N/A 0.000 0.048 0.523 0.185 0.262 0.145 0.326 12.642

Problem 2531

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 26 24 23 23 17 23 140

N.S.

1 0.00 1.00 0.92 0.88 0.88 0.65 0.88 5.38

time (sec)

N/A 0.000 0.071 4.367 0.232 0.260 0.483 0.305 12.842

Problem 2532

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 22 25 21 17 25 14

N.S.

1 1.00 0.76 0.88 1.00 0.84 0.68 1.00 0.56

time (sec)

N/A 0.147 0.003 0.051 0.191 0.252 0.034 0.248 0.051

Problem 2533

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

N.S.

1 0.38 0.29 0.33 0.29 0.29 0.21 0.29 0.29

time (sec)

N/A 0.136 0.001 0.572 0.189 0.253 0.037 0.283 0.046

Problem 2534

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

N.S.

1 1.00 1.00 0.85 0.92 0.92 0.77 0.92 0.92

time (sec)

N/A 0.146 0.003 0.069 0.182 0.260 0.063 0.273 0.069

Problem 2535

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

29 0 35 28 29 25 27 0 0

N.S.

1 0.00 1.21 0.97 1.00 0.86 0.93 0.00 0.00

time (sec)

N/A 0.000 0.173 15.240 0.340 0.272 18.727 0.000 0.000

Problem 2536

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 37 34 35 37 31 37 31 22

N.S.

1 1.76 1.62 1.67 1.76 1.48 1.76 1.48 1.05

time (sec)

N/A 0.216 0.017 0.091 0.180 0.256 0.102 0.266 11.076

Problem 2537

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

29 0 28 47 28 65 32 45 48

N.S.

1 0.00 0.97 1.62 0.97 2.24 1.10 1.55 1.66

time (sec)

N/A 0.000 0.182 28.020 0.516 0.267 0.722 0.821 11.408

Problem 2538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B C A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 85 188 29 88 27 26 88 27

N.S.

1 2.74 6.06 0.94 2.84 0.87 0.84 2.84 0.87

time (sec)

N/A 0.690 0.472 0.315 0.418 0.251 0.147 0.278 11.425

Problem 2539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 37 37 28 0 27 0 34 31

N.S.

1 1.95 1.95 1.47 0.00 1.42 0.00 1.79 1.63

time (sec)

N/A 1.420 0.670 0.237 0.000 0.252 0.000 0.281 11.268

Problem 2540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 51 80 46 50 73 46 44 47

N.S.

1 2.12 3.33 1.92 2.08 3.04 1.92 1.83 1.96

time (sec)

N/A 0.289 0.039 0.081 0.178 0.241 0.219 0.257 11.022

Problem 2541

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

N.S.

1 0.81 0.81 0.81 0.81 0.81 0.63 0.81 0.89

time (sec)

N/A 0.657 0.109 0.636 0.209 0.263 0.093 0.257 11.835

Problem 2542

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

30 0 35 25 0 25 22 26 27

N.S.

1 0.00 1.17 0.83 0.00 0.83 0.73 0.87 0.90

time (sec)

N/A 0.000 0.094 9.977 0.000 0.264 0.498 0.333 12.059

Problem 2543

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

21 51 20 19 151 36 27 25 29

N.S.

1 2.43 0.95 0.90 7.19 1.71 1.29 1.19 1.38

time (sec)

N/A 0.358 0.069 0.092 0.195 0.256 0.165 0.261 11.084

Problem 2544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 0 25 25 30 24 0 0 24

N.S.

1 0.00 1.00 1.00 1.20 0.96 0.00 0.00 0.96

time (sec)

N/A 0.000 5.145 2.102 0.239 0.256 0.000 0.000 11.346

Problem 2545

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

N.S.

1 1.00 0.88 0.88 1.08 0.92 0.83 0.92 0.92

time (sec)

N/A 0.323 0.311 2.071 0.328 0.255 0.251 0.278 11.846

Problem 2546

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 31 30 30 34 30 30

N.S.

1 0.00 1.30 1.35 1.30 1.30 1.48 1.30 1.30

time (sec)

N/A 0.000 0.171 4.611 0.242 0.248 1.048 0.283 11.358

Problem 2547

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

33 54 39 41 45 54 29 54 0

N.S.

1 1.64 1.18 1.24 1.36 1.64 0.88 1.64 0.00

time (sec)

N/A 2.356 5.111 0.429 0.316 0.270 0.173 0.268 0.000

Problem 2548

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 23 23 29 31 33 32 29 33

N.S.

1 0.96 0.96 1.21 1.29 1.38 1.33 1.21 1.38

time (sec)

N/A 0.549 0.062 0.626 0.299 0.262 0.408 0.318 12.575

Problem 2549

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

N.S.

1 0.83 0.83 0.79 0.67 0.75 0.71 0.75 0.75

time (sec)

N/A 0.551 0.115 0.516 0.308 0.257 0.066 0.272 10.813

Problem 2550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

24 0 27 0 296 83 76 0 234

N.S.

1 0.00 1.12 0.00 12.33 3.46 3.17 0.00 9.75

time (sec)

N/A 0.000 1.292 0.000 0.416 0.272 0.564 0.000 12.078

Problem 2551

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

12 0 12 13 39 39 36 63 0

N.S.

1 0.00 1.00 1.08 3.25 3.25 3.00 5.25 0.00

time (sec)

N/A 0.000 0.196 0.631 0.217 0.280 0.067 0.277 0.000

Problem 2552

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

N.S.

1 0.85 0.85 0.90 2.00 0.85 0.70 0.85 0.85

time (sec)

N/A 0.261 0.040 0.511 0.294 0.258 0.068 0.280 10.976

Problem 2553

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 25 24 25 27 24 28 25

N.S.

1 1.09 1.09 1.04 1.09 1.17 1.04 1.22 1.09

time (sec)

N/A 0.313 0.013 0.047 0.183 0.257 0.077 0.291 10.773

Problem 2554

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

N.S.

1 1.94 1.44 1.44 1.28 1.28 1.22 1.39 1.39

time (sec)

N/A 0.463 0.028 1.027 0.220 0.253 0.103 0.272 11.778

Problem 2555

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

29 0 39 41 59 48 36 39 39

N.S.

1 0.00 1.34 1.41 2.03 1.66 1.24 1.34 1.34

time (sec)

N/A 0.000 0.225 0.606 0.289 0.273 0.258 0.267 11.144

Problem 2556

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

N.S.

1 0.68 0.68 0.68 0.63 0.63 0.74 0.68 0.63

time (sec)

N/A 0.128 0.004 0.457 0.178 0.248 0.032 0.263 0.099

Problem 2557

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 20 25 11 9 11 19 9 11

N.S.

1 0.65 0.81 0.35 0.29 0.35 0.61 0.29 0.35

time (sec)

N/A 0.133 0.000 0.018 0.174 0.247 0.020 0.266 0.002

Problem 2558

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

24 93 24 82 98 74 82 90 39

N.S.

1 3.88 1.00 3.42 4.08 3.08 3.42 3.75 1.62

time (sec)

N/A 0.296 0.034 0.205 0.183 0.259 0.110 0.258 10.900

Problem 2559

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

N.S.

1 0.00 1.00 0.94 0.88 0.88 0.82 0.88 0.88

time (sec)

N/A 0.000 0.268 0.136 0.229 0.256 0.093 0.276 11.018

Problem 2560

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

29 261 29 32 28 29 88 49 29

N.S.

1 9.00 1.00 1.10 0.97 1.00 3.03 1.69 1.00

time (sec)

N/A 6.235 0.166 4.065 0.266 0.264 1.510 7.167 13.469

Problem 2561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 70 69 102 68 0 90 173

N.S.

1 0.00 2.50 2.46 3.64 2.43 0.00 3.21 6.18

time (sec)

N/A 0.000 0.092 0.650 0.326 0.273 0.000 0.399 12.072

Problem 2562

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

N.S.

1 0.94 0.94 0.94 1.24 0.88 0.82 1.00 0.88

time (sec)

N/A 0.330 0.069 2.204 0.320 0.254 0.139 0.267 11.762

Problem 2563

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

32 81 25 24 23 23 24 75 24

N.S.

1 2.53 0.78 0.75 0.72 0.72 0.75 2.34 0.75

time (sec)

N/A 0.222 0.239 0.098 0.181 0.245 0.133 0.266 11.299

Problem 2564

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

N.S.

1 0.68 0.68 0.64 0.59 0.59 0.64 0.59 0.45

time (sec)

N/A 0.149 0.012 0.079 0.187 0.243 0.084 0.267 0.059

Problem 2565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

33 0 31 24 21 198 0 0 21

N.S.

1 0.00 0.94 0.73 0.64 6.00 0.00 0.00 0.64

time (sec)

N/A 0.000 0.099 0.177 1.306 0.269 0.000 0.000 12.148

Problem 2566

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 46 42 41 47 47 39 47 33

N.S.

1 1.64 1.50 1.46 1.68 1.68 1.39 1.68 1.18

time (sec)

N/A 0.205 0.007 0.067 0.179 0.236 0.025 0.267 11.167

Problem 2567

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 38 29 25 24 24 27 24 22

N.S.

1 1.65 1.26 1.09 1.04 1.04 1.17 1.04 0.96

time (sec)

N/A 0.163 0.018 0.046 0.199 0.268 0.045 0.272 0.057

Problem 2568

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

N.S.

1 1.26 1.26 1.16 1.21 1.37 1.05 1.37 1.26

time (sec)

N/A 0.391 0.023 0.253 0.191 0.250 0.634 0.317 11.593

Problem 2569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 61 31 40 0 69 0 65 36

N.S.

1 1.97 1.00 1.29 0.00 2.23 0.00 2.10 1.16

time (sec)

N/A 0.288 0.500 0.278 0.000 0.260 0.000 0.265 11.289

Problem 2570

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

31 54 29 34 42 37 34 45 51

N.S.

1 1.74 0.94 1.10 1.35 1.19 1.10 1.45 1.65

time (sec)

N/A 0.217 0.055 0.257 0.190 0.258 0.298 0.266 11.285

Problem 2571

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

N.S.

1 1.10 1.20 1.10 1.00 1.25 0.95 1.05 1.05

time (sec)

N/A 0.184 0.007 0.070 0.190 0.233 0.052 0.268 10.853

Problem 2572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A B B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 525 37 94 105 72 31 91 89

N.S.

1 14.58 1.03 2.61 2.92 2.00 0.86 2.53 2.47

time (sec)

N/A 5.038 0.177 32.369 0.266 0.263 0.282 0.667 11.433

Problem 2573

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

N.S.

1 0.83 0.83 0.58 0.50 0.50 0.83 0.58 0.50

time (sec)

N/A 0.122 0.001 0.329 0.187 0.242 0.022 0.259 0.048

Problem 2574

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

N.S.

1 0.00 1.05 1.05 1.18 1.14 1.09 1.23 1.14

time (sec)

N/A 0.000 0.159 0.750 0.222 0.249 0.155 0.272 11.210

Problem 2575

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

12 29 12 13 182 14 14 38 14

N.S.

1 2.42 1.00 1.08 15.17 1.17 1.17 3.17 1.17

time (sec)

N/A 0.172 0.050 0.115 0.323 0.254 0.063 0.267 0.101

Problem 2576

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

29 400 29 37 703 44 31 45 28

N.S.

1 13.79 1.00 1.28 24.24 1.52 1.07 1.55 0.97

time (sec)

N/A 1.471 5.163 0.860 0.252 0.257 0.360 0.281 11.792

Problem 2577

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

26 29 29 27 42 26 26 0 28

N.S.

1 1.12 1.12 1.04 1.62 1.00 1.00 0.00 1.08

time (sec)

N/A 1.363 0.146 101.284 0.329 0.257 29.026 0.000 11.970

Problem 2578

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

N.S.

1 1.11 1.00 1.00 1.00 1.00 1.05 1.00 0.95

time (sec)

N/A 0.177 0.025 0.071 0.189 0.240 0.071 0.255 10.648

Problem 2579

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 24 22 28 0 42 29 40 27

N.S.

1 0.96 0.88 1.12 0.00 1.68 1.16 1.60 1.08

time (sec)

N/A 0.488 0.022 0.596 0.000 0.249 0.196 0.269 0.157

Problem 2580

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

27 0 20 19 32 32 17 22 18

N.S.

1 0.00 0.74 0.70 1.19 1.19 0.63 0.81 0.67

time (sec)

N/A 0.000 1.872 2.399 0.211 0.245 0.080 0.257 11.487

Problem 2581

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

25 0 25 28 56 56 27 68 57

N.S.

1 0.00 1.00 1.12 2.24 2.24 1.08 2.72 2.28

time (sec)

N/A 0.000 0.307 4.723 0.331 0.261 0.169 0.310 10.810

Problem 2582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B A A A A B

verified

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

size

31 0 40 142 60 43 37 48 43

N.S.

1 0.00 1.29 4.58 1.94 1.39 1.19 1.55 1.39

time (sec)

N/A 0.000 0.128 4.826 0.334 0.274 0.627 0.613 11.585

Problem 2583

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

21 81 23 26 18 25 24 25 18

N.S.

1 3.86 1.10 1.24 0.86 1.19 1.14 1.19 0.86

time (sec)

N/A 0.269 0.028 0.122 0.256 0.230 0.077 0.265 10.788

Problem 2584

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

27 0 33 30 48 43 44 0 42

N.S.

1 0.00 1.22 1.11 1.78 1.59 1.63 0.00 1.56

time (sec)

N/A 0.000 0.067 0.248 0.282 0.257 0.302 0.000 11.069

Problem 2585

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

27 0 23 19 18 20 24 20 18

N.S.

1 0.00 0.85 0.70 0.67 0.74 0.89 0.74 0.67

time (sec)

N/A 0.000 0.565 0.198 0.232 0.253 0.171 0.269 11.000

Problem 2586

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

19 0 17 18 21 17 14 17 17

N.S.

1 0.00 0.89 0.95 1.11 0.89 0.74 0.89 0.89

time (sec)

N/A 0.000 1.746 0.593 0.325 0.250 0.087 0.275 11.341

Problem 2587

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

23 0 23 42 114 40 20 1412 254

N.S.

1 0.00 1.00 1.83 4.96 1.74 0.87 61.39 11.04

time (sec)

N/A 0.000 0.524 1.467 0.322 0.248 0.173 2.357 11.688

Problem 2588

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

17 16 12 10 13 15 7 15 9

N.S.

1 0.94 0.71 0.59 0.76 0.88 0.41 0.88 0.53

time (sec)

N/A 0.187 0.013 0.125 0.216 0.245 0.044 0.264 0.055

Problem 2589

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

N.S.

1 0.00 0.96 0.88 1.48 1.48 1.48 1.48 1.48

time (sec)

N/A 0.000 0.191 1.774 0.254 0.252 0.201 0.325 0.187

Problem 2590

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

25 0 37 36 41 35 31 85 88

N.S.

1 0.00 1.48 1.44 1.64 1.40 1.24 3.40 3.52

time (sec)

N/A 0.000 1.264 0.286 0.371 0.241 0.173 0.263 11.901

Problem 2591

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 48 39 37 24 64 32

N.S.

1 0.00 0.90 1.66 1.34 1.28 0.83 2.21 1.10

time (sec)

N/A 0.000 0.644 1.078 0.304 0.258 0.085 0.399 12.650

Problem 2592

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

21 263 94 34 588 55 71 65 135

N.S.

1 12.52 4.48 1.62 28.00 2.62 3.38 3.10 6.43

time (sec)

N/A 1.097 0.087 0.379 0.197 0.250 0.116 0.293 11.568

Problem 2593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

24 23 0 55 23 34 24 0 21

N.S.

1 0.96 0.00 2.29 0.96 1.42 1.00 0.00 0.88

time (sec)

N/A 1.549 0.000 0.705 0.325 0.243 1.200 0.000 12.430

Problem 2594

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

N.S.

1 1.09 1.00 0.91 1.27 0.95 1.23 0.86 0.86

time (sec)

N/A 0.189 0.007 0.654 0.196 0.246 0.133 0.272 0.138

Problem 2595

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

17 0 0 17 16 16 17 23 23

N.S.

1 0.00 0.00 1.00 0.94 0.94 1.00 1.35 1.35

time (sec)

N/A 0.000 0.000 0.352 0.305 0.244 0.094 0.272 11.180

Problem 2596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

23 0 22 21 42 42 37 94 0

N.S.

1 0.00 0.96 0.91 1.83 1.83 1.61 4.09 0.00

time (sec)

N/A 0.000 0.156 0.709 0.211 0.240 0.093 0.274 0.000

Problem 2597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B A F B

verified

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

size

26 0 26 22 41 46 20 0 41

N.S.

1 0.00 1.00 0.85 1.58 1.77 0.77 0.00 1.58

time (sec)

N/A 0.000 5.157 20.699 0.420 0.246 0.476 0.000 11.018

Problem 2598

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

N.S.

1 0.41 0.41 0.45 0.41 0.64 0.23 0.41 0.41

time (sec)

N/A 0.154 0.007 0.434 0.177 0.240 0.034 0.269 0.036

Problem 2599

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 22 22 38 38 15 38 38

N.S.

1 0.00 0.85 0.85 1.46 1.46 0.58 1.46 1.46

time (sec)

N/A 0.000 0.364 0.759 0.305 0.246 0.107 0.302 11.580

Problem 2600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 29 26 27 28 28 0 0 21

N.S.

1 1.16 1.04 1.08 1.12 1.12 0.00 0.00 0.84

time (sec)

N/A 1.293 0.101 2.710 0.347 0.245 0.000 0.000 11.344

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