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

2.2.8 Integrals 701 to 800

Detailed conclusion table per each integral is given by 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 just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 701

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 57 42 0 51 0 45 -1

N.S.

1 1.00 0.92 0.68 0.00 0.82 0.00 0.73 -0.02

time (sec)

N/A 0.018 0.073 0.020 0.000 0.593 0.000 1.741 0.000

Problem 702

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 59 55 0 61 0 55 -1

N.S.

1 1.00 0.79 0.73 0.00 0.81 0.00 0.73 -0.01

time (sec)

N/A 0.030 0.086 0.020 0.000 0.557 0.000 2.097 0.000

Problem 703

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 65 48 0 59 0 53 -1

N.S.

1 1.00 0.96 0.71 0.00 0.87 0.00 0.78 -0.01

time (sec)

N/A 0.030 0.077 0.021 0.000 0.593 0.000 1.506 0.000

Problem 704

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 75 60 0 73 0 67 -1

N.S.

1 1.00 0.94 0.75 0.00 0.91 0.00 0.84 -0.01

time (sec)

N/A 0.028 0.080 0.024 0.000 0.590 0.000 5.285 0.000

Problem 705

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 83 67 0 101 0 88 -1

N.S.

1 1.00 0.76 0.61 0.00 0.93 0.00 0.81 -0.01

time (sec)

N/A 0.051 0.201 0.024 0.000 0.934 0.000 3.308 0.000

Problem 706

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 43 32 0 47 0 33 -1

N.S.

1 1.00 0.91 0.68 0.00 1.00 0.00 0.70 -0.02

time (sec)

N/A 0.021 0.058 0.020 0.000 0.529 0.000 1.755 0.000

Problem 707

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 63 52 49 48 58 60 102

N.S.

1 1.00 0.94 0.78 0.73 0.72 0.87 0.90 1.52

time (sec)

N/A 0.092 0.081 0.186 0.492 0.342 18.195 2.415 3.090

Problem 708

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 67 54 51 59 60 62 118

N.S.

1 1.00 0.94 0.76 0.72 0.83 0.85 0.87 1.66

time (sec)

N/A 0.078 0.066 0.183 0.501 0.374 33.979 2.128 0.033

Problem 709

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 32 117 46 23 44 46 43

N.S.

1 1.00 0.62 2.25 0.88 0.44 0.85 0.88 0.83

time (sec)

N/A 0.037 0.042 0.356 0.504 0.367 0.207 2.906 3.170

Problem 710

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 31 14 0 37 0 25 -1

N.S.

1 1.00 1.55 0.70 0.00 1.85 0.00 1.25 -0.05

time (sec)

N/A 0.073 0.063 0.349 0.000 0.549 0.000 2.538 0.000

Problem 711

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 31 39 34 29 29 36 30 53

N.S.

1 0.72 0.91 0.79 0.67 0.67 0.84 0.70 1.23

time (sec)

N/A 0.047 0.026 0.391 0.492 0.362 0.543 2.567 3.105

Problem 712

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 130 90 89 76 0 89 88

N.S.

1 1.00 1.12 0.78 0.77 0.66 0.00 0.77 0.76

time (sec)

N/A 0.094 0.053 0.013 0.283 0.337 0.000 2.397 0.127

Problem 713

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 58 54 53 35 0 82 -1

N.S.

1 1.00 0.70 0.65 0.64 0.42 0.00 0.99 -0.01

time (sec)

N/A 0.039 0.054 0.161 0.275 0.352 0.000 2.838 0.000

Problem 714

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 62 41 40 39 216 268 -1

N.S.

1 1.00 0.97 0.64 0.62 0.61 3.38 4.19 -0.02

time (sec)

N/A 0.033 0.054 0.221 0.289 0.351 1.458 4.551 0.000

Problem 715

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 86 59 58 57 0 474 -1

N.S.

1 1.00 1.05 0.72 0.71 0.70 0.00 5.78 -0.01

time (sec)

N/A 0.055 0.061 0.177 0.285 0.340 0.000 3.222 0.000

Problem 716

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 58 54 53 35 0 82 -1

N.S.

1 1.00 0.70 0.65 0.64 0.42 0.00 0.99 -0.01

time (sec)

N/A 0.031 0.002 0.115 0.281 0.385 0.000 2.525 0.000

Problem 717

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

190 190 168 121 120 76 0 7916 -1

N.S.

1 1.00 0.88 0.64 0.63 0.40 0.00 41.66 -0.01

time (sec)

N/A 0.253 0.158 0.355 0.269 0.384 0.000 35.370 0.000

Problem 718

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

233 233 186 154 153 85 0 271 -1

N.S.

1 1.00 0.80 0.66 0.66 0.36 0.00 1.16 -0.00

time (sec)

N/A 0.259 0.162 0.420 0.280 0.365 0.000 6.106 0.000

Problem 719

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

160 160 94 107 106 62 0 859 -1

N.S.

1 1.00 0.59 0.67 0.66 0.39 0.00 5.37 -0.01

time (sec)

N/A 0.200 0.112 0.284 0.273 0.397 0.000 5.690 0.000

Problem 720

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 31 16 0 35 0 25 -1

N.S.

1 1.00 1.55 0.80 0.00 1.75 0.00 1.25 -0.05

time (sec)

N/A 0.053 0.004 0.374 0.000 0.570 0.000 1.418 0.000

Problem 721

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 52 59 38 0 85 0 49 -1

N.S.

1 1.18 1.34 0.86 0.00 1.93 0.00 1.11 -0.02

time (sec)

N/A 0.023 0.074 0.022 0.000 0.878 0.000 3.252 0.000

Problem 722

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 51 50 58 45 99 61 50

N.S.

1 1.00 0.94 0.93 1.07 0.83 1.83 1.13 0.93

time (sec)

N/A 0.255 0.049 0.364 0.282 0.336 16.593 2.439 3.100

Problem 723

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 64 50 0 84 0 44 -1

N.S.

1 1.00 0.91 0.71 0.00 1.20 0.00 0.63 -0.01

time (sec)

N/A 0.025 0.084 0.021 0.000 0.827 0.000 2.070 0.000

Problem 724

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 19 19 16 15 15 17 15 15

N.S.

1 1.00 1.00 0.84 0.79 0.79 0.89 0.79 0.79

time (sec)

N/A 0.015 0.014 0.408 0.286 0.338 0.062 2.195 3.043

Problem 725

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 67 50 49 49 71 50 47

N.S.

1 1.00 0.87 0.65 0.64 0.64 0.92 0.65 0.61

time (sec)

N/A 0.049 0.034 0.398 0.304 0.366 0.391 2.177 0.048

Problem 726

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B F B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 224 76 289 0 302 56 171 255

N.S.

1 2.80 0.95 3.61 0.00 3.78 0.70 2.14 3.19

time (sec)

N/A 0.208 0.111 0.644 0.000 0.363 5.724 2.179 0.104

Problem 727

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 81 130 0 87 0 81 -1

N.S.

1 1.00 0.91 1.46 0.00 0.98 0.00 0.91 -0.01

time (sec)

N/A 0.185 0.102 0.415 0.000 2.044 0.000 2.586 0.000

Problem 728

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 55 68 0 62 0 65 -1

N.S.

1 1.00 0.90 1.11 0.00 1.02 0.00 1.07 -0.02

time (sec)

N/A 0.358 0.120 0.388 0.000 1.560 0.000 2.066 0.000

Problem 729

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B C B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

8 8 16 28 27 18 26 14 14

N.S.

1 1.00 2.00 3.50 3.38 2.25 3.25 1.75 1.75

time (sec)

N/A 0.002 0.021 0.377 0.276 0.334 0.461 1.571 0.158

Problem 730

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

8 8 14 32 27 27 0 22 12

N.S.

1 1.00 1.75 4.00 3.38 3.38 0.00 2.75 1.50

time (sec)

N/A 0.007 0.005 0.064 0.276 0.347 0.000 2.341 0.064

Problem 731

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 22 48 39 49 28 63 22 26

N.S.

1 1.00 2.18 1.77 2.23 1.27 2.86 1.00 1.18

time (sec)

N/A 0.003 0.043 0.382 0.277 0.343 0.834 1.493 3.719

Problem 732

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 22 48 45 51 42 0 35 35

N.S.

1 1.00 2.18 2.05 2.32 1.91 0.00 1.59 1.59

time (sec)

N/A 0.004 0.001 0.059 0.266 0.326 0.000 2.187 3.124

Problem 733

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 66 43 20 39 0 42 138

N.S.

1 1.00 1.83 1.19 0.56 1.08 0.00 1.17 3.83

time (sec)

N/A 0.004 0.114 0.401 0.504 0.364 0.000 1.854 5.090

Problem 734

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

36 36 66 59 41 36 0 51 41

N.S.

1 1.00 1.83 1.64 1.14 1.00 0.00 1.42 1.14

time (sec)

N/A 0.010 0.007 0.122 0.496 0.335 0.000 2.496 0.060

Problem 735

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 74 76 55 46 83 47 473

N.S.

1 1.00 1.07 1.10 0.80 0.67 1.20 0.68 6.86

time (sec)

N/A 0.009 0.105 0.411 0.299 0.345 5.163 1.819 12.863

Problem 736

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 74 79 138 64 0 62 119

N.S.

1 1.00 1.07 1.14 2.00 0.93 0.00 0.90 1.72

time (sec)

N/A 0.018 0.002 0.096 0.270 0.346 0.000 2.881 0.050

Problem 737

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 37 33 13 13 0 20 13

N.S.

1 1.00 2.47 2.20 0.87 0.87 0.00 1.33 0.87

time (sec)

N/A 0.008 0.012 0.113 0.480 0.351 0.000 3.938 0.179

Problem 738

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 51 30 15 15 0 16 15

N.S.

1 1.00 2.83 1.67 0.83 0.83 0.00 0.89 0.83

time (sec)

N/A 0.014 0.036 0.365 0.502 0.354 0.000 4.089 3.139

Problem 739

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 63 85 24 24 0 41 36

N.S.

1 1.00 2.62 3.54 1.00 1.00 0.00 1.71 1.50

time (sec)

N/A 0.040 0.067 0.365 0.496 0.348 0.000 5.860 0.180

Problem 740

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 77 80 59 105 0 74 31

N.S.

1 1.00 1.88 1.95 1.44 2.56 0.00 1.80 0.76

time (sec)

N/A 0.041 0.074 0.398 0.478 0.336 0.000 4.224 0.204

Problem 741

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 49 46 37 28 0 36 37

N.S.

1 1.00 1.53 1.44 1.16 0.88 0.00 1.12 1.16

time (sec)

N/A 0.008 0.014 0.107 0.494 0.371 0.000 4.595 3.127

Problem 742

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 66 39 43 32 0 29 43

N.S.

1 1.00 1.74 1.03 1.13 0.84 0.00 0.76 1.13

time (sec)

N/A 0.010 0.069 0.109 0.489 0.348 0.000 4.972 0.030

Problem 743

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 67 61 49 38 0 36 49

N.S.

1 1.00 1.60 1.45 1.17 0.90 0.00 0.86 1.17

time (sec)

N/A 0.011 0.091 0.064 0.502 0.332 0.000 6.286 3.171

Problem 744

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 67 60 70 58 0 40 51

N.S.

1 1.00 1.63 1.46 1.71 1.41 0.00 0.98 1.24

time (sec)

N/A 0.013 0.081 0.069 0.266 0.337 0.000 6.905 0.050

Problem 745

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 114 152 118 180 0 119 90

N.S.

1 1.00 1.50 2.00 1.55 2.37 0.00 1.57 1.18

time (sec)

N/A 0.028 0.236 0.049 0.493 0.333 0.000 5.282 0.273

Problem 746

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 72 76 80 54 0 74 57

N.S.

1 1.00 1.47 1.55 1.63 1.10 0.00 1.51 1.16

time (sec)

N/A 0.009 0.095 0.121 0.495 0.341 0.000 5.096 3.164

Problem 747

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 88 106 53 46 0 114 74

N.S.

1 1.00 1.91 2.30 1.15 1.00 0.00 2.48 1.61

time (sec)

N/A 0.015 0.171 0.133 0.471 0.340 0.000 5.304 3.239

Problem 748

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 19 36 27 17 0 17 17

N.S.

1 1.00 0.95 1.80 1.35 0.85 0.00 0.85 0.85

time (sec)

N/A 0.036 0.037 0.436 0.277 0.322 0.000 6.115 0.057

Problem 749

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 19 37 16 17 0 17 -1

N.S.

1 1.00 1.06 2.06 0.89 0.94 0.00 0.94 -0.06

time (sec)

N/A 0.021 0.029 0.411 0.285 0.350 0.000 4.407 0.000

Problem 750

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 66 81 103 83 0 129 62

N.S.

1 1.00 1.22 1.50 1.91 1.54 0.00 2.39 1.15

time (sec)

N/A 0.039 0.158 0.440 0.513 0.387 0.000 3.744 0.089

Problem 751

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

11 11 19 32 0 17 0 23 15

N.S.

1 1.00 1.73 2.91 0.00 1.55 0.00 2.09 1.36

time (sec)

N/A 0.002 0.024 0.392 0.000 0.359 0.000 4.818 3.125

Problem 752

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 41 40 0 34 0 0 -1

N.S.

1 1.00 1.41 1.38 0.00 1.17 0.00 0.00 -0.03

time (sec)

N/A 0.009 1.572 0.483 0.000 0.411 0.000 0.000 0.000

Problem 753

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

180 180 111 359 0 372 0 287 -1

N.S.

1 1.00 0.62 1.99 0.00 2.07 0.00 1.59 -0.01

time (sec)

N/A 0.141 0.276 0.583 0.000 0.387 0.000 6.022 0.000

Problem 754

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

172 172 94 1066 0 171 0 350 -1

N.S.

1 1.00 0.55 6.20 0.00 0.99 0.00 2.03 -0.01

time (sec)

N/A 0.111 0.383 0.167 0.000 0.383 0.000 2.385 0.000

Problem 755

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

307 307 115 5984 0 223 0 452 -1

N.S.

1 1.00 0.37 19.49 0.00 0.73 0.00 1.47 -0.00

time (sec)

N/A 0.189 0.456 0.184 0.000 0.352 0.000 2.944 0.000

Problem 756

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 78 71 0 77 0 81 -1

N.S.

1 1.00 1.20 1.09 0.00 1.18 0.00 1.25 -0.02

time (sec)

N/A 0.020 0.195 0.097 0.000 0.332 0.000 1.707 0.000

Problem 757

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 69 118 0 97 0 143 -1

N.S.

1 1.00 0.83 1.42 0.00 1.17 0.00 1.72 -0.01

time (sec)

N/A 0.023 0.312 0.081 0.000 0.334 0.000 1.905 0.000

Problem 758

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 83 146 0 129 0 184 -1

N.S.

1 1.00 0.82 1.45 0.00 1.28 0.00 1.82 -0.01

time (sec)

N/A 0.025 0.343 0.069 0.000 0.369 0.000 1.997 0.000

Problem 759

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 81 370 0 187 0 197 -1

N.S.

1 1.00 0.75 3.43 0.00 1.73 0.00 1.82 -0.01

time (sec)

N/A 0.081 0.230 0.540 0.000 0.399 0.000 2.168 0.000

Problem 760

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 84 2407 0 121 0 263 -1

N.S.

1 1.00 0.97 27.67 0.00 1.39 0.00 3.02 -0.01

time (sec)

N/A 0.047 0.341 0.200 0.000 0.352 0.000 2.221 0.000

Problem 761

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 109 14530 0 171 0 367 -1

N.S.

1 1.00 0.73 97.52 0.00 1.15 0.00 2.46 -0.01

time (sec)

N/A 0.067 0.398 0.356 0.000 0.347 0.000 2.019 0.000

Problem 762

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 59 42 191 59 58 182 58 38

N.S.

1 1.40 1.00 4.55 1.40 1.38 4.33 1.38 0.90

time (sec)

N/A 0.144 0.056 0.727 0.306 0.342 0.247 1.431 0.183

Problem 763

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 59 30 191 59 58 182 58 51

N.S.

1 1.40 0.71 4.55 1.40 1.38 4.33 1.38 1.21

time (sec)

N/A 0.157 0.027 0.518 0.313 0.336 1.002 2.622 3.421

Problem 764

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

102 102 278 1050 0 58 0 0 -1

N.S.

1 1.00 2.73 10.29 0.00 0.57 0.00 0.00 -0.01

time (sec)

N/A 0.051 20.451 0.638 0.000 0.123 0.000 0.000 0.000

Problem 765

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

62 62 256 946 0 36 0 0 -1

N.S.

1 1.00 4.13 15.26 0.00 0.58 0.00 0.00 -0.02

time (sec)

N/A 0.034 20.412 0.471 0.000 0.089 0.000 0.000 0.000

Problem 766

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

17 17 156 200 0 16 0 0 -1

N.S.

1 1.00 9.18 11.76 0.00 0.94 0.00 0.00 -0.06

time (sec)

N/A 0.010 30.168 0.516 0.000 0.091 0.000 0.000 0.000

Problem 767

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

73 73 261 963 0 119 0 0 -1

N.S.

1 1.00 3.58 13.19 0.00 1.63 0.00 0.00 -0.01

time (sec)

N/A 0.035 20.620 0.493 0.000 0.075 0.000 0.000 0.000

Problem 768

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

109 109 298 1039 0 195 0 0 -1

N.S.

1 1.00 2.73 9.53 0.00 1.79 0.00 0.00 -0.01

time (sec)

N/A 0.055 20.748 0.499 0.000 0.086 0.000 0.000 0.000

Problem 769

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

102 102 278 1050 0 58 0 0 -1

N.S.

1 1.00 2.73 10.29 0.00 0.57 0.00 0.00 -0.01

time (sec)

N/A 0.049 22.683 0.559 0.000 0.102 0.000 0.000 0.000

Problem 770

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

62 62 256 946 0 36 0 0 -1

N.S.

1 1.00 4.13 15.26 0.00 0.58 0.00 0.00 -0.02

time (sec)

N/A 0.032 16.799 0.498 0.000 0.107 0.000 0.000 0.000

Problem 771

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 100 200 0 16 0 0 -1

N.S.

1 1.00 5.88 11.76 0.00 0.94 0.00 0.00 -0.06

time (sec)

N/A 0.009 31.921 0.513 0.000 0.081 0.000 0.000 0.000

Problem 772

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

73 73 298 963 0 119 0 0 -1

N.S.

1 1.00 4.08 13.19 0.00 1.63 0.00 0.00 -0.01

time (sec)

N/A 0.035 17.890 0.504 0.000 0.114 0.000 0.000 0.000

Problem 773

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

109 109 327 1039 0 195 0 0 -1

N.S.

1 1.00 3.00 9.53 0.00 1.79 0.00 0.00 -0.01

time (sec)

N/A 0.048 20.388 0.508 0.000 0.080 0.000 0.000 0.000

Problem 774

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

730 730 10468 5229 0 0 0 0 -1

N.S.

1 1.00 14.34 7.16 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.649 16.139 0.346 0.000 0.000 0.000 0.000 0.000

Problem 775

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

622 622 5218 4890 0 0 0 0 -1

N.S.

1 1.00 8.39 7.86 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.486 16.093 0.075 0.000 0.000 0.000 0.000 0.000

Problem 776

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

227 227 822 1056 0 0 0 0 -1

N.S.

1 1.00 3.62 4.65 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.132 11.409 0.058 0.000 0.000 0.000 0.000 0.000

Problem 777

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

674 674 5276 5024 0 0 0 0 -1

N.S.

1 1.00 7.83 7.45 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.525 16.110 0.076 0.000 0.000 0.000 0.000 0.000

Problem 778

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

663 663 7543 7887 0 0 0 0 -1

N.S.

1 1.00 11.38 11.90 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.556 14.866 0.345 0.000 0.000 0.000 0.000 0.000

Problem 779

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

235 235 1065 1704 0 0 0 0 -1

N.S.

1 1.00 4.53 7.25 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.128 11.546 0.053 0.000 0.000 0.000 0.000 0.000

Problem 780

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

748 748 7629 8103 0 0 0 0 -1

N.S.

1 1.00 10.20 10.83 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.552 16.114 0.087 0.000 0.000 0.000 0.000 0.000

Problem 781

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

452 452 6287 2655 0 0 0 0 -1

N.S.

1 1.00 13.91 5.87 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.421 16.110 0.148 0.000 0.000 0.000 0.000 0.000

Problem 782

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

397 397 3470 2519 0 0 0 0 -1

N.S.

1 1.00 8.74 6.35 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.293 16.061 0.047 0.000 0.000 0.000 0.000 0.000

Problem 783

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 540 530 0 0 0 0 -1

N.S.

1 1.00 3.75 3.68 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.075 11.007 0.036 0.000 0.000 0.000 0.000 0.000

Problem 784

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

437 437 3526 2601 0 0 0 0 -1

N.S.

1 1.00 8.07 5.95 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.300 16.069 0.041 0.000 0.000 0.000 0.000 0.000

Problem 785

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

517 517 6386 2757 0 0 0 0 -1

N.S.

1 1.00 12.35 5.33 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.406 16.125 0.058 0.000 0.000 0.000 0.000 0.000

Problem 786

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

558 558 7235 2694 0 0 0 0 -1

N.S.

1 1.00 12.97 4.83 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.412 16.123 0.053 0.000 0.000 0.000 0.000 0.000

Problem 787

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

466 466 4389 2551 0 0 0 0 -1

N.S.

1 1.00 9.42 5.47 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.332 13.081 0.049 0.000 0.000 0.000 0.000 0.000

Problem 788

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

179 179 813 788 0 0 0 0 -1

N.S.

1 1.00 4.54 4.40 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.109 11.788 0.036 0.000 0.000 0.000 0.000 0.000

Problem 789

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

474 474 3593 2616 0 0 0 0 -1

N.S.

1 1.00 7.58 5.52 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.326 13.757 0.042 0.000 0.000 0.000 0.000 0.000

Problem 790

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

591 591 6452 2777 0 0 0 0 -1

N.S.

1 1.00 10.92 4.70 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.438 16.107 0.058 0.000 0.000 0.000 0.000 0.000

Problem 791

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

585 585 8500 2733 0 0 0 0 -1

N.S.

1 1.00 14.53 4.67 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.505 16.149 0.056 0.000 0.000 0.000 0.000 0.000

Problem 792

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

485 485 5647 2582 0 0 0 0 -1

N.S.

1 1.00 11.64 5.32 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.398 13.201 0.054 0.000 0.000 0.000 0.000 0.000

Problem 793

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

388 388 1145 1147 0 0 0 0 -1

N.S.

1 1.00 2.95 2.96 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.278 13.981 0.036 0.000 0.000 0.000 0.000 0.000

Problem 794

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

311 311 2941 2607 0 0 0 0 -1

N.S.

1 1.00 9.46 8.38 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.241 13.780 0.044 0.000 0.000 0.000 0.000 0.000

Problem 795

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

582 582 5812 2780 0 0 0 0 -1

N.S.

1 1.00 9.99 4.78 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.496 16.124 0.071 0.000 0.000 0.000 0.000 0.000

Problem 796

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

129 129 927 965 0 0 0 0 -1

N.S.

1 1.00 7.19 7.48 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.204 10.580 0.891 0.000 0.000 0.000 0.000 0.000

Problem 797

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

431 431 4865 4426 0 0 0 0 -1

N.S.

1 1.00 11.29 10.27 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.366 16.041 0.647 0.000 0.000 0.000 0.000 0.000

Problem 798

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

108 108 249 961 0 0 0 0 -1

N.S.

1 1.00 2.31 8.90 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.142 10.392 0.949 0.000 0.000 0.000 0.000 0.000

Problem 799

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

367 367 602 2564 0 0 0 0 -1

N.S.

1 1.00 1.64 6.99 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.259 12.946 0.668 0.000 0.000 0.000 0.000 0.000

Problem 800

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

126 126 1148 1180 0 0 0 0 -1

N.S.

1 1.00 9.11 9.37 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.217 10.668 0.917 0.000 0.000 0.000 0.000 0.000

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