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

2.2.7 Integrals 601 to 700

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 601

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

26 0 47 107 117 64 56 0 61

N.S.

1 0.00 1.81 4.12 4.50 2.46 2.15 0.00 2.35

time (sec)

N/A 0.000 0.089 0.887 0.291 0.375 0.167 0.000 12.138

Problem 602

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B B F B B B B

verified

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

size

29 0 67 97 0 77 70 104 83

N.S.

1 0.00 2.31 3.34 0.00 2.66 2.41 3.59 2.86

time (sec)

N/A 0.000 0.095 0.132 0.000 0.471 0.162 0.285 11.416

Problem 603

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 25 37 25 36 36 22 25

N.S.

1 0.00 1.00 1.48 1.00 1.44 1.44 0.88 1.00

time (sec)

N/A 0.000 0.067 1.330 0.467 0.427 0.186 0.651 11.404

Problem 604

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

32 34 0 31 0 25 34 30 28

N.S.

1 1.06 0.00 0.97 0.00 0.78 1.06 0.94 0.88

time (sec)

N/A 0.648 0.000 0.389 0.000 0.520 0.222 0.277 11.902

Problem 605

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

24 29 24 26 62 20 31 25 22

N.S.

1 1.21 1.00 1.08 2.58 0.83 1.29 1.04 0.92

time (sec)

N/A 0.191 0.062 0.112 0.197 0.279 0.088 0.273 11.253

Problem 606

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

N.S.

1 0.86 0.86 0.86 1.71 0.79 0.86 0.79 0.79

time (sec)

N/A 0.149 0.005 0.069 0.204 0.382 0.060 0.263 11.111

Problem 607

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 21 19 42 225 34 44 41 41

N.S.

1 1.24 1.12 2.47 13.24 2.00 2.59 2.41 2.41

time (sec)

N/A 0.348 0.018 0.623 0.196 0.495 0.120 0.271 0.267

Problem 608

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 34 54 54 450 53 53 99 56

N.S.

1 1.26 2.00 2.00 16.67 1.96 1.96 3.67 2.07

time (sec)

N/A 2.021 0.107 0.792 0.595 0.370 0.423 0.508 11.662

Problem 609

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

N.S.

1 0.81 0.81 0.69 0.62 0.75 0.50 0.62 0.62

time (sec)

N/A 0.147 0.003 0.090 0.189 0.286 0.053 0.269 11.062

Problem 610

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 35 20 19 0 18 15 33 19

N.S.

1 1.75 1.00 0.95 0.00 0.90 0.75 1.65 0.95

time (sec)

N/A 0.196 0.428 0.119 0.000 0.354 4.355 0.286 0.114

Problem 611

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 40 44 69 81 95 842 0

N.S.

1 0.00 1.14 1.26 1.97 2.31 2.71 24.06 0.00

time (sec)

N/A 0.000 0.228 1.434 0.313 0.380 0.232 0.848 0.000

Problem 612

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

18 49 24 19 32 17 26 17 13

N.S.

1 2.72 1.33 1.06 1.78 0.94 1.44 0.94 0.72

time (sec)

N/A 0.191 0.011 0.098 0.211 0.282 0.067 0.274 11.373

Problem 613

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 0 56 36 65 137 49 0 0

N.S.

1 0.00 1.81 1.16 2.10 4.42 1.58 0.00 0.00

time (sec)

N/A 0.000 0.268 2.022 0.458 0.342 0.160 0.000 0.000

Problem 614

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

21 25 23 21 51 32 22 36 28

N.S.

1 1.19 1.10 1.00 2.43 1.52 1.05 1.71 1.33

time (sec)

N/A 0.642 0.108 0.251 0.263 0.413 0.092 0.295 11.988

Problem 615

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A C A A A B

verified

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

size

29 0 24 34 59 33 20 22 22

N.S.

1 0.00 0.83 1.17 2.03 1.14 0.69 0.76 0.76

time (sec)

N/A 0.000 0.515 0.855 0.337 0.295 0.094 0.284 11.942

Problem 616

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 23 18 19 18 24 24 18 12

N.S.

1 1.53 1.20 1.27 1.20 1.60 1.60 1.20 0.80

time (sec)

N/A 0.169 0.018 0.508 0.236 0.445 0.091 0.259 12.191

Problem 617

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

N.S.

1 3.19 0.88 0.94 0.81 1.00 0.88 1.00 0.88

time (sec)

N/A 0.220 0.017 0.286 0.262 0.270 0.069 0.266 12.635

Problem 618

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 121 25 23 0 22 0 0 22

N.S.

1 5.04 1.04 0.96 0.00 0.92 0.00 0.00 0.92

time (sec)

N/A 0.580 0.227 2.254 0.000 0.339 0.000 0.000 12.756

Problem 619

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

19 0 16 19 14 51 15 0 17

N.S.

1 0.00 0.84 1.00 0.74 2.68 0.79 0.00 0.89

time (sec)

N/A 0.000 0.170 0.518 1.798 0.356 0.112 0.000 11.972

Problem 620

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 33 44 35 39 31 34 80

N.S.

1 0.00 1.22 1.63 1.30 1.44 1.15 1.26 2.96

time (sec)

N/A 0.000 0.092 0.587 0.322 0.515 0.070 0.349 11.392

Problem 621

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

26 37 21 20 0 22 17 22 22

N.S.

1 1.42 0.81 0.77 0.00 0.85 0.65 0.85 0.85

time (sec)

N/A 0.232 0.467 0.078 0.000 0.359 0.069 0.261 11.146

Problem 622

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

23 58 23 20 19 19 19 0 22

N.S.

1 2.52 1.00 0.87 0.83 0.83 0.83 0.00 0.96

time (sec)

N/A 0.330 0.080 0.375 0.282 0.378 0.087 0.000 11.398

Problem 623

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 29 0 67 73 42 0 51

N.S.

1 0.00 1.00 0.00 2.31 2.52 1.45 0.00 1.76

time (sec)

N/A 0.000 0.126 0.000 1.373 0.378 0.310 0.000 11.728

Problem 624

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

N.S.

1 3.81 0.81 0.88 0.81 0.81 0.62 0.81 0.81

time (sec)

N/A 0.796 0.237 0.851 0.235 0.345 0.055 0.285 0.256

Problem 625

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

N.S.

1 1.44 1.44 1.19 1.19 1.19 1.06 1.19 1.12

time (sec)

N/A 0.168 0.005 0.628 0.193 0.353 0.097 0.278 0.142

Problem 626

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A B C B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 168 19 91 167 91 88 156 90

N.S.

1 10.50 1.19 5.69 10.44 5.69 5.50 9.75 5.62

time (sec)

N/A 7.270 0.801 2.113 0.301 0.387 0.182 0.293 11.511

Problem 627

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 41 47 16 97 15 14 15 12

N.S.

1 3.42 3.92 1.33 8.08 1.25 1.17 1.25 1.00

time (sec)

N/A 0.531 0.062 0.410 0.193 0.557 0.068 0.289 11.348

Problem 628

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

N.S.

1 1.94 1.72 1.56 1.33 1.44 1.72 1.39 1.56

time (sec)

N/A 0.190 0.009 0.188 0.207 0.285 0.091 0.292 11.124

Problem 629

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

22 0 22 38 62 35 34 137 401

N.S.

1 0.00 1.00 1.73 2.82 1.59 1.55 6.23 18.23

time (sec)

N/A 0.000 0.182 1.245 0.458 0.311 0.402 1.045 12.010

Problem 630

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 14 14 13 12 12 0 12 0

N.S.

1 0.88 0.88 0.81 0.75 0.75 0.00 0.75 0.00

time (sec)

N/A 0.234 0.032 1.922 0.253 0.387 0.000 0.348 0.000

Problem 631

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

29 0 0 29 0 27 22 0 22

N.S.

1 0.00 0.00 1.00 0.00 0.93 0.76 0.00 0.76

time (sec)

N/A 0.000 0.000 1.239 0.000 0.397 0.089 0.000 11.625

Problem 632

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 51 37 40 46 34 28 0

N.S.

1 0.00 1.70 1.23 1.33 1.53 1.13 0.93 0.00

time (sec)

N/A 0.000 0.100 0.290 0.268 0.394 0.107 0.382 0.000

Problem 633

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

34 0 0 63 43 60 61 114 0

N.S.

1 0.00 0.00 1.85 1.26 1.76 1.79 3.35 0.00

time (sec)

N/A 0.000 0.000 31.290 0.458 0.370 0.870 16.093 0.000

Problem 634

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

34 0 30 39 0 38 0 53 56

N.S.

1 0.00 0.88 1.15 0.00 1.12 0.00 1.56 1.65

time (sec)

N/A 0.000 0.108 42.621 0.000 0.481 0.000 0.756 11.782

Problem 635

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

9 9 9 9 8 8 8 8 10

N.S.

1 1.00 1.00 1.00 0.89 0.89 0.89 0.89 1.11

time (sec)

N/A 0.269 0.045 0.106 0.250 0.306 0.087 0.280 11.124

Problem 636

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 18 18 18 72 25 0 17 17

N.S.

1 0.90 0.90 0.90 3.60 1.25 0.00 0.85 0.85

time (sec)

N/A 0.518 0.254 38.359 0.199 0.471 0.000 0.279 11.608

Problem 637

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 25 26 26 42 26 24

N.S.

1 0.00 1.00 0.96 1.00 1.00 1.62 1.00 0.92

time (sec)

N/A 0.000 0.133 32.042 0.231 0.368 0.813 0.326 0.406

Problem 638

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

30 0 23 34 101 37 32 56 69

N.S.

1 0.00 0.77 1.13 3.37 1.23 1.07 1.87 2.30

time (sec)

N/A 0.000 5.117 0.652 0.400 0.310 0.180 0.397 11.652

Problem 639

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

36 0 30 29 36 94 27 0 31

N.S.

1 0.00 0.83 0.81 1.00 2.61 0.75 0.00 0.86

time (sec)

N/A 0.000 0.187 16.856 0.636 0.404 0.382 0.000 0.378

Problem 640

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

17 26 25 13 15 28 17 12 15

N.S.

1 1.53 1.47 0.76 0.88 1.65 1.00 0.71 0.88

time (sec)

N/A 0.237 0.186 0.131 0.193 0.330 0.045 0.301 11.679

Problem 641

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

29 31 26 26 94 31 24 30 25

N.S.

1 1.07 0.90 0.90 3.24 1.07 0.83 1.03 0.86

time (sec)

N/A 0.225 0.044 0.286 0.231 0.288 0.119 0.320 11.881

Problem 642

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

21 17 17 12 14 15 10 15 11

N.S.

1 0.81 0.81 0.57 0.67 0.71 0.48 0.71 0.52

time (sec)

N/A 0.185 0.067 0.187 0.207 0.313 0.043 0.305 11.243

Problem 643

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

5 5 5 5 4 4 3 4 4

N.S.

1 1.00 1.00 1.00 0.80 0.80 0.60 0.80 0.80

time (sec)

N/A 0.119 0.000 0.120 0.184 0.428 0.019 0.295 0.019

Problem 644

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

26 0 34 38 46 34 41 36 50

N.S.

1 0.00 1.31 1.46 1.77 1.31 1.58 1.38 1.92

time (sec)

N/A 0.000 0.217 1.691 0.285 0.408 0.233 0.450 11.764

Problem 645

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

28 26 25 20 24 19 17 21 18

N.S.

1 0.93 0.89 0.71 0.86 0.68 0.61 0.75 0.64

time (sec)

N/A 0.231 0.136 0.063 0.218 0.274 0.083 0.280 0.067

Problem 646

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

20 18 18 18 17 18 15 44 24

N.S.

1 0.90 0.90 0.90 0.85 0.90 0.75 2.20 1.20

time (sec)

N/A 0.566 0.129 0.308 0.190 0.433 0.095 0.335 0.113

Problem 647

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B B B B B

verified

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

size

40 0 56 67 104 105 61 151 460

N.S.

1 0.00 1.40 1.68 2.60 2.62 1.52 3.78 11.50

time (sec)

N/A 0.000 0.279 41.466 0.432 0.395 0.772 9.986 13.329

Problem 648

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

N.S.

1 1.00 0.75 0.65 0.60 0.60 0.60 0.60 0.60

time (sec)

N/A 0.172 0.024 0.019 0.179 0.283 0.050 0.284 11.606

Problem 649

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

N.S.

1 0.87 0.91 0.70 0.57 0.65 0.74 0.65 0.65

time (sec)

N/A 0.163 0.006 0.401 0.185 0.334 0.113 0.283 0.073

Problem 650

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

28 43 35 33 48 34 24 109 40

N.S.

1 1.54 1.25 1.18 1.71 1.21 0.86 3.89 1.43

time (sec)

N/A 0.333 0.110 0.595 0.220 0.294 0.062 0.307 12.137

Problem 651

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 18 17 17 14 19 17

N.S.

1 1.00 1.00 0.95 0.89 0.89 0.74 1.00 0.89

time (sec)

N/A 0.219 0.010 0.423 0.198 0.306 0.054 0.280 0.055

Problem 652

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

22 0 20 19 27 23 20 53 23

N.S.

1 0.00 0.91 0.86 1.23 1.05 0.91 2.41 1.05

time (sec)

N/A 0.000 0.177 0.432 0.340 0.334 0.086 0.300 12.304

Problem 653

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 39 24 25 32 27 15 27 18

N.S.

1 1.44 0.89 0.93 1.19 1.00 0.56 1.00 0.67

time (sec)

N/A 0.214 0.028 0.228 0.187 0.382 0.098 0.286 0.139

Problem 654

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

N.S.

1 0.00 0.83 1.61 1.61 1.13 0.96 1.61 1.00

time (sec)

N/A 0.000 0.285 3.340 0.223 0.311 0.188 0.322 12.008

Problem 655

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

N.S.

1 0.31 0.31 0.38 0.31 0.31 0.19 0.31 0.31

time (sec)

N/A 0.117 0.000 0.016 0.205 0.664 0.016 0.288 0.025

Problem 656

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

35 0 46 1449 51 49 41 53 48

N.S.

1 0.00 1.31 41.40 1.46 1.40 1.17 1.51 1.37

time (sec)

N/A 0.000 1.310 0.195 0.464 0.294 0.797 1.483 12.710

Problem 657

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 26 26 25 25 20 0 25

N.S.

1 0.00 0.93 0.93 0.89 0.89 0.71 0.00 0.89

time (sec)

N/A 0.000 0.305 4.160 0.318 0.313 0.153 0.000 12.386

Problem 658

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

29 0 57 105 195 88 386 189 107

N.S.

1 0.00 1.97 3.62 6.72 3.03 13.31 6.52 3.69

time (sec)

N/A 0.000 0.171 6.608 0.340 0.431 0.454 0.308 12.874

Problem 659

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 23 21 21 31 37 15 39 22

N.S.

1 0.77 0.70 0.70 1.03 1.23 0.50 1.30 0.73

time (sec)

N/A 0.779 0.358 0.208 0.230 0.344 0.084 0.294 12.457

Problem 660

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A B B B

verified

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

size

32 0 36 55 33 55 49 159 147

N.S.

1 0.00 1.12 1.72 1.03 1.72 1.53 4.97 4.59

time (sec)

N/A 0.000 0.146 4.145 97.028 0.316 1.525 0.325 13.035

Problem 661

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

N.S.

1 0.87 0.87 0.87 0.83 0.96 0.74 0.96 1.04

time (sec)

N/A 0.183 0.323 0.092 0.196 0.415 0.060 0.284 11.628

Problem 662

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

29 36 26 25 48 24 19 24 24

N.S.

1 1.24 0.90 0.86 1.66 0.83 0.66 0.83 0.83

time (sec)

N/A 0.242 0.652 0.043 0.218 0.394 0.120 0.284 0.180

Problem 663

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

N.S.

1 1.45 0.86 0.77 0.86 0.86 0.77 0.86 0.86

time (sec)

N/A 0.202 1.243 0.049 0.192 0.350 0.062 0.285 12.709

Problem 664

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 50 29 44 54 36 46 43 32

N.S.

1 1.79 1.04 1.57 1.93 1.29 1.64 1.54 1.14

time (sec)

N/A 0.321 0.104 0.270 0.232 0.595 0.200 0.319 13.514

Problem 665

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 11 11 12 11 13

N.S.

1 1.00 1.00 0.92 0.85 0.85 0.92 0.85 1.00

time (sec)

N/A 0.157 0.008 0.620 0.198 0.331 0.097 0.295 0.091

Problem 666

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 31 26 31 30 29 31 26

N.S.

1 0.00 1.19 1.00 1.19 1.15 1.12 1.19 1.00

time (sec)

N/A 0.000 5.060 1.361 0.314 0.351 0.244 0.334 15.282

Problem 667

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

29 58 56 40 73 51 42 56 50

N.S.

1 2.00 1.93 1.38 2.52 1.76 1.45 1.93 1.72

time (sec)

N/A 0.870 0.358 0.056 0.234 0.425 0.057 0.325 13.724

Problem 668

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

N.S.

1 1.21 0.79 0.64 0.57 0.57 0.57 0.57 0.57

time (sec)

N/A 0.138 0.016 0.088 0.179 0.275 0.047 0.290 0.058

Problem 669

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 17 17 15 14 34 15 34 14

N.S.

1 0.85 0.85 0.75 0.70 1.70 0.75 1.70 0.70

time (sec)

N/A 0.397 0.035 0.555 0.178 0.410 0.156 0.311 12.482

Problem 670

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

N.S.

1 0.75 0.75 0.80 0.65 0.95 0.70 0.75 1.05

time (sec)

N/A 0.269 0.118 0.638 0.216 0.416 0.084 0.306 14.138

Problem 671

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B B A A B

verified

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

size

23 0 23 30 49 71 29 18 277

N.S.

1 0.00 1.00 1.30 2.13 3.09 1.26 0.78 12.04

time (sec)

N/A 0.000 0.291 20.443 0.444 0.523 0.394 0.889 14.465

Problem 672

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 38 23 29 28 28 31 32 15

N.S.

1 1.58 0.96 1.21 1.17 1.17 1.29 1.33 0.62

time (sec)

N/A 0.228 0.030 0.072 0.208 0.375 0.135 0.332 15.255

Problem 673

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B B F B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 80 64 79 0 69 75 126 78

N.S.

1 3.20 2.56 3.16 0.00 2.76 3.00 5.04 3.12

time (sec)

N/A 0.454 0.151 0.830 0.000 0.459 0.358 0.305 14.467

Problem 674

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

30 0 41 38 66 71 37 5359 0

N.S.

1 0.00 1.37 1.27 2.20 2.37 1.23 178.63 0.00

time (sec)

N/A 0.000 0.180 0.279 0.360 0.379 0.247 1.417 0.000

Problem 675

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 37 31 35 32 29 27 0 0

N.S.

1 1.16 0.97 1.09 1.00 0.91 0.84 0.00 0.00

time (sec)

N/A 1.500 0.361 63.089 0.757 0.296 0.937 0.000 0.000

Problem 676

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

N.S.

1 1.09 1.09 0.78 0.74 0.74 0.83 0.74 0.74

time (sec)

N/A 0.149 0.002 0.013 0.200 0.369 0.026 0.272 0.035

Problem 677

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

N.S.

1 0.37 0.37 0.42 0.37 0.37 0.37 0.42 0.37

time (sec)

N/A 0.130 0.002 0.103 0.208 0.400 0.041 0.271 0.025

Problem 678

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

24 28 14 14 22 13 8 27 13

N.S.

1 1.17 0.58 0.58 0.92 0.54 0.33 1.12 0.54

time (sec)

N/A 0.177 0.009 0.304 0.229 0.291 0.051 0.276 13.597

Problem 679

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

N.S.

1 0.80 0.76 0.76 0.92 0.72 1.08 0.84 0.92

time (sec)

N/A 0.162 0.019 0.884 0.209 0.324 0.203 0.285 0.197

Problem 680

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

29 0 28 24 26 21 22 0 21

N.S.

1 0.00 0.97 0.83 0.90 0.72 0.76 0.00 0.72

time (sec)

N/A 0.000 1.477 4.029 0.403 0.555 23.831 0.000 12.895

Problem 681

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

N.S.

1 1.39 1.39 1.11 1.44 1.33 1.06 1.33 1.39

time (sec)

N/A 0.178 0.149 0.116 0.241 0.347 0.065 0.269 0.137

Problem 682

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 40 15 19 0 23 61 23 14

N.S.

1 1.82 0.68 0.86 0.00 1.05 2.77 1.05 0.64

time (sec)

N/A 0.501 1.048 0.090 0.000 0.474 0.102 0.278 0.153

Problem 683

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 27 25 41 28 43 37 43 43

N.S.

1 1.04 0.96 1.58 1.08 1.65 1.42 1.65 1.65

time (sec)

N/A 0.525 0.046 1.054 0.350 0.378 0.210 0.402 13.740

Problem 684

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 0 51 51 51 51 0 0 46

N.S.

1 0.00 1.65 1.65 1.65 1.65 0.00 0.00 1.48

time (sec)

N/A 0.000 0.196 240.281 0.291 0.333 0.000 0.000 13.815

Problem 685

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 23 24 21 23 0 23 21

N.S.

1 0.00 0.79 0.83 0.72 0.79 0.00 0.79 0.72

time (sec)

N/A 0.000 0.339 1.197 0.265 0.314 0.000 0.312 13.468

Problem 686

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

7 10 10 11 10 7 10 10 7

N.S.

1 1.43 1.43 1.57 1.43 1.00 1.43 1.43 1.00

time (sec)

N/A 0.158 0.004 0.036 0.199 0.364 0.042 0.264 12.934

Problem 687

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

N.S.

1 0.97 0.93 0.90 0.90 0.83 0.83 1.48 1.59

time (sec)

N/A 0.280 0.019 0.499 0.202 0.431 0.664 0.283 12.678

Problem 688

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

N.S.

1 0.00 0.88 0.82 0.76 0.65 0.82 0.76 0.94

time (sec)

N/A 0.000 0.065 0.081 0.272 0.311 0.103 0.276 0.076

Problem 689

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

N.S.

1 0.62 0.62 0.67 0.62 0.62 0.67 0.62 0.62

time (sec)

N/A 0.188 0.039 0.037 0.238 0.360 0.075 0.282 12.437

Problem 690

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 29 32 28 31 31 41 129

N.S.

1 0.00 0.94 1.03 0.90 1.00 1.00 1.32 4.16

time (sec)

N/A 0.000 0.093 1.336 0.259 0.306 0.150 0.350 13.191

Problem 691

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

N.S.

1 0.00 0.75 0.71 0.71 0.67 0.71 0.67 0.67

time (sec)

N/A 0.000 0.122 0.686 0.310 0.302 0.091 0.273 14.058

Problem 692

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 39 35 29 34 34 32 34 31

N.S.

1 1.62 1.46 1.21 1.42 1.42 1.33 1.42 1.29

time (sec)

N/A 0.167 0.012 0.080 0.194 0.503 0.027 0.270 12.528

Problem 693

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

28 31 29 25 42 30 29 56 24

N.S.

1 1.11 1.04 0.89 1.50 1.07 1.04 2.00 0.86

time (sec)

N/A 0.555 0.049 0.496 0.325 0.399 0.388 0.288 12.500

Problem 694

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

31 65 28 31 42 42 46 46 28

N.S.

1 2.10 0.90 1.00 1.35 1.35 1.48 1.48 0.90

time (sec)

N/A 1.633 0.060 0.584 0.228 0.353 0.153 0.295 11.519

Problem 695

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 19 18 34 31 33 32 33 33

N.S.

1 0.90 0.86 1.62 1.48 1.57 1.52 1.57 1.57

time (sec)

N/A 0.990 0.164 0.502 0.309 0.343 0.205 0.294 12.027

Problem 696

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 23 25 38 22 19 0 22

N.S.

1 0.00 0.96 1.04 1.58 0.92 0.79 0.00 0.92

time (sec)

N/A 0.000 1.533 17.717 0.433 0.298 0.314 0.000 11.999

Problem 697

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B B B B B

verified

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

size

11 0 11 12 25 41 37 122 126

N.S.

1 0.00 1.00 1.09 2.27 3.73 3.36 11.09 11.45

time (sec)

N/A 0.000 0.131 0.276 0.222 0.305 0.109 0.289 11.698

Problem 698

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 26 24 64 47 72 20 932 26

N.S.

1 1.08 1.00 2.67 1.96 3.00 0.83 38.83 1.08

time (sec)

N/A 2.603 0.142 127.145 0.301 0.421 0.541 0.528 12.068

Problem 699

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

N.S.

1 0.00 1.00 1.26 1.05 1.21 1.00 1.21 1.11

time (sec)

N/A 0.000 0.049 0.482 0.253 0.272 0.075 0.285 11.531

Problem 700

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 29 26 25 25 22 814 286

N.S.

1 0.00 1.00 0.90 0.86 0.86 0.76 28.07 9.86

time (sec)

N/A 0.000 0.333 0.832 0.278 0.418 1.455 14.587 12.213

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