[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(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 193 204 124 0 1645 0 174 255

N.S.

1 1.45 1.53 0.93 0.00 12.37 0.00 1.31 1.92

time (sec)

N/A 0.540 0.243 1.435 0.000 0.464 0.000 0.414 1.855

Problem 702

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 19 54 31 167 216 0 50 42

N.S.

1 1.00 2.84 1.63 8.79 11.37 0.00 2.63 2.21

time (sec)

N/A 0.022 0.086 1.389 0.272 0.334 0.000 0.415 1.598

Problem 703

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 117 160 289 1268 3813 251 159

N.S.

1 1.00 1.12 1.54 2.78 12.19 36.66 2.41 1.53

time (sec)

N/A 0.175 0.540 1.467 0.302 0.386 1.701 0.420 1.699

Problem 704

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 19 40 55 167 216 0 48 42

N.S.

1 1.00 2.11 2.89 8.79 11.37 0.00 2.53 2.21

time (sec)

N/A 0.023 0.041 1.377 0.284 0.392 0.000 0.418 1.523

Problem 705

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 119 181 292 1269 3840 251 159

N.S.

1 1.00 1.14 1.74 2.81 12.20 36.92 2.41 1.53

time (sec)

N/A 0.137 0.752 1.427 0.301 0.383 1.722 0.420 1.630

Problem 706

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 79 92 0 427 678 60 157

N.S.

1 1.00 1.10 1.28 0.00 5.93 9.42 0.83 2.18

time (sec)

N/A 0.063 0.144 0.911 0.000 0.390 124.062 0.403 1.686

Problem 707

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 73 145 83 334 0 101 81

N.S.

1 1.00 0.72 1.42 0.81 3.27 0.00 0.99 0.79

time (sec)

N/A 0.114 0.180 1.081 0.264 0.388 0.000 0.409 1.682

Problem 708

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 180 166 0 1861 0 163 261

N.S.

1 1.00 1.31 1.21 0.00 13.58 0.00 1.19 1.91

time (sec)

N/A 0.148 0.781 1.112 0.000 0.391 0.000 0.414 1.780

Problem 709

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 73 146 84 334 0 102 81

N.S.

1 1.00 0.72 1.43 0.82 3.27 0.00 1.00 0.79

time (sec)

N/A 0.116 0.174 1.004 0.275 0.375 0.000 0.406 1.906

Problem 710

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 179 168 0 1847 0 159 260

N.S.

1 1.00 1.47 1.38 0.00 15.14 0.00 1.30 2.13

time (sec)

N/A 0.153 0.698 1.039 0.000 0.382 0.000 0.409 1.755

Problem 711

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

194 194 128 249 153 1158 0 199 127

N.S.

1 1.00 0.66 1.28 0.79 5.97 0.00 1.03 0.65

time (sec)

N/A 0.241 0.437 1.514 0.269 0.410 0.000 0.412 1.867

Problem 712

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 167 176 0 1829 0 163 259

N.S.

1 1.00 1.22 1.28 0.00 13.35 0.00 1.19 1.89

time (sec)

N/A 0.131 0.809 1.079 0.000 0.436 0.000 0.408 1.763

Problem 713

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

194 194 126 250 150 1162 0 202 129

N.S.

1 1.00 0.65 1.29 0.77 5.99 0.00 1.04 0.66

time (sec)

N/A 0.218 0.423 1.082 0.275 0.453 0.000 0.424 1.818

Problem 714

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

212 212 325 266 0 4935 0 325 371

N.S.

1 1.00 1.53 1.25 0.00 23.28 0.00 1.53 1.75

time (sec)

N/A 0.299 1.515 1.157 0.000 0.460 0.000 0.414 2.070

Problem 715

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 60 108 107 376 962 128 98

N.S.

1 1.00 0.65 1.16 1.15 4.04 10.34 1.38 1.05

time (sec)

N/A 0.145 0.162 1.362 0.274 0.392 0.665 0.409 1.931

Problem 716

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

165 165 222 128 0 1819 0 179 397

N.S.

1 1.00 1.35 0.78 0.00 11.02 0.00 1.08 2.41

time (sec)

N/A 0.215 0.744 1.466 0.000 0.468 0.000 0.418 1.819

Problem 717

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

215 215 176 177 241 1655 0 238 127

N.S.

1 1.00 0.82 0.82 1.12 7.70 0.00 1.11 0.59

time (sec)

N/A 0.403 0.720 1.476 0.283 0.417 0.000 0.411 1.823

Problem 718

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 264 130 0 1805 0 179 397

N.S.

1 1.00 1.62 0.80 0.00 11.07 0.00 1.10 2.44

time (sec)

N/A 0.225 0.640 1.469 0.000 0.363 0.000 0.433 1.822

Problem 719

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

205 205 174 190 244 1726 0 232 132

N.S.

1 1.00 0.85 0.93 1.19 8.42 0.00 1.13 0.64

time (sec)

N/A 0.462 1.422 1.477 0.284 0.383 0.000 0.411 1.854

Problem 720

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

261 261 474 208 0 5061 0 310 592

N.S.

1 1.00 1.82 0.80 0.00 19.39 0.00 1.19 2.27

time (sec)

N/A 0.631 2.700 1.555 0.000 0.428 0.000 0.417 1.948

Problem 721

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

215 215 183 178 240 1661 0 240 127

N.S.

1 1.00 0.85 0.83 1.12 7.73 0.00 1.12 0.59

time (sec)

N/A 0.363 0.898 1.550 0.302 0.406 0.000 0.418 1.834

Problem 722

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

259 259 481 198 0 5031 0 310 590

N.S.

1 1.00 1.86 0.76 0.00 19.42 0.00 1.20 2.28

time (sec)

N/A 0.618 1.491 1.566 0.000 0.393 0.000 0.418 1.968

Problem 723

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

314 314 366 276 384 4001 0 384 173

N.S.

1 1.00 1.17 0.88 1.22 12.74 0.00 1.22 0.55

time (sec)

N/A 1.118 1.021 1.561 0.301 0.410 0.000 0.415 1.922

Problem 724

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 78 126 0 233 367 80 178

N.S.

1 1.00 0.98 1.58 0.00 2.91 4.59 1.00 2.22

time (sec)

N/A 0.053 0.166 1.239 0.000 0.409 29.499 0.427 3.781

Problem 725

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 155 115 0 679 0 83 168

N.S.

1 1.00 1.89 1.40 0.00 8.28 0.00 1.01 2.05

time (sec)

N/A 0.051 0.325 1.875 0.000 0.384 0.000 0.409 1.847

Problem 726

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 134 187 0 1855 0 152 217

N.S.

1 1.00 1.09 1.52 0.00 15.08 0.00 1.24 1.76

time (sec)

N/A 0.089 0.832 1.671 0.000 0.436 0.000 0.414 1.685

Problem 727

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 78 126 0 234 697 80 177

N.S.

1 1.00 0.98 1.58 0.00 2.92 8.71 1.00 2.21

time (sec)

N/A 0.049 0.115 1.245 0.000 0.385 30.740 0.406 3.054

Problem 728

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 151 116 0 680 0 83 168

N.S.

1 1.00 1.94 1.49 0.00 8.72 0.00 1.06 2.15

time (sec)

N/A 0.043 0.201 1.399 0.000 0.394 0.000 0.411 1.793

Problem 729

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 134 214 0 1855 0 152 216

N.S.

1 1.00 1.12 1.78 0.00 15.46 0.00 1.27 1.80

time (sec)

N/A 0.088 0.723 1.422 0.000 0.415 0.000 0.413 1.673

Problem 730

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

11 11 17 22 6 16 8 6 6

N.S.

1 1.00 1.55 2.00 0.55 1.45 0.73 0.55 0.55

time (sec)

N/A 0.027 0.007 1.210 0.285 0.357 0.188 0.396 0.063

Problem 731

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

11 11 17 22 6 19 10 6 6

N.S.

1 1.00 1.55 2.00 0.55 1.73 0.91 0.55 0.55

time (sec)

N/A 0.024 0.010 1.118 0.265 0.355 0.164 0.407 1.534

Problem 732

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

14 14 15 13 10 13 12 13 16

N.S.

1 1.00 1.07 0.93 0.71 0.93 0.86 0.93 1.14

time (sec)

N/A 0.023 0.025 1.355 0.266 0.372 0.054 0.412 0.085

Problem 733

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 43 91 87 60 326 54 53

N.S.

1 1.00 0.81 1.72 1.64 1.13 6.15 1.02 1.00

time (sec)

N/A 0.041 0.081 1.147 0.267 0.365 0.346 0.412 1.562

Problem 734

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 87 118 0 749 0 88 199

N.S.

1 1.00 1.12 1.51 0.00 9.60 0.00 1.13 2.55

time (sec)

N/A 0.052 0.171 1.441 0.000 0.428 0.000 0.424 1.917

Problem 735

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 70 63 337 232 0 70 67

N.S.

1 1.00 0.99 0.89 4.75 3.27 0.00 0.99 0.94

time (sec)

N/A 0.050 0.122 1.370 0.298 0.395 0.000 0.416 1.664

Problem 736

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 90 175 0 264 643 89 302

N.S.

1 1.00 0.98 1.90 0.00 2.87 6.99 0.97 3.28

time (sec)

N/A 0.054 0.173 1.257 0.000 0.362 31.126 0.402 3.807

Problem 737

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 106 133 0 799 0 95 210

N.S.

1 1.00 1.20 1.51 0.00 9.08 0.00 1.08 2.39

time (sec)

N/A 0.047 0.201 1.357 0.000 0.371 0.000 0.403 1.745

Problem 738

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 146 228 0 1931 0 183 224

N.S.

1 1.00 1.08 1.69 0.00 14.30 0.00 1.36 1.66

time (sec)

N/A 0.100 0.537 1.444 0.000 0.373 0.000 0.432 1.687

Problem 739

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 116 259 137 160 196 219 131

N.S.

1 1.00 0.97 2.18 1.15 1.34 1.65 1.84 1.10

time (sec)

N/A 0.096 0.136 1.143 0.258 0.354 0.117 0.405 0.151

Problem 740

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

59 59 54 54 63 59 100 83 55

N.S.

1 1.00 0.92 0.92 1.07 1.00 1.69 1.41 0.93

time (sec)

N/A 0.029 0.059 1.438 0.256 0.424 0.079 0.419 1.544

Problem 741

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 12 12 13 12 12 12 26 12

N.S.

1 1.00 1.00 1.08 1.00 1.00 1.00 2.17 1.00

time (sec)

N/A 0.009 0.005 0.543 0.255 0.341 0.045 0.432 0.050

Problem 742

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 54 53 0 248 0 46 78

N.S.

1 1.00 1.06 1.04 0.00 4.86 0.00 0.90 1.53

time (sec)

N/A 0.052 0.058 1.024 0.000 0.356 0.000 0.411 0.205

Problem 743

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 105 191 0 1268 0 111 -1

N.S.

1 1.00 1.17 2.12 0.00 14.09 0.00 1.23 -0.01

time (sec)

N/A 0.076 0.194 1.417 0.000 0.379 0.000 0.405 0.000

Problem 744

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 183 577 0 7379 0 304 -1

N.S.

1 1.00 1.25 3.95 0.00 50.54 0.00 2.08 -0.01

time (sec)

N/A 0.125 0.355 1.622 0.000 0.445 0.000 0.420 0.000

Problem 745

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

220 220 488 1598 0 23093 0 717 -1

N.S.

1 1.00 2.22 7.26 0.00 104.97 0.00 3.26 -0.00

time (sec)

N/A 0.227 0.673 1.938 0.000 0.574 0.000 0.430 0.000

Problem 746

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

105 105 112 217 137 144 189 186 131

N.S.

1 1.00 1.07 2.07 1.30 1.37 1.80 1.77 1.25

time (sec)

N/A 0.084 0.116 1.144 0.256 0.369 0.118 0.411 0.147

Problem 747

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

57 57 55 55 63 57 100 81 51

N.S.

1 1.00 0.96 0.96 1.11 1.00 1.75 1.42 0.89

time (sec)

N/A 0.025 0.050 1.027 0.275 0.369 0.071 0.407 1.531

Problem 748

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 12 12 13 12 12 12 26 12

N.S.

1 1.00 1.00 1.08 1.00 1.00 1.00 2.17 1.00

time (sec)

N/A 0.008 0.005 0.447 0.273 0.361 0.045 0.419 1.486

Problem 749

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 35 14 36 32 17 39 46

N.S.

1 1.00 2.33 0.93 2.40 2.13 1.13 2.60 3.07

time (sec)

N/A 0.014 0.029 0.971 0.260 0.375 0.388 0.400 0.161

Problem 750

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 87 49 86 236 0 84 -1

N.S.

1 1.00 2.02 1.14 2.00 5.49 0.00 1.95 -0.02

time (sec)

N/A 0.028 0.216 1.368 0.265 0.362 0.000 0.415 0.000

Problem 751

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 148 103 248 1504 0 205 -1

N.S.

1 1.00 1.66 1.16 2.79 16.90 0.00 2.30 -0.01

time (sec)

N/A 0.064 0.382 1.523 0.290 0.399 0.000 0.415 0.000

Problem 752

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 300 178 487 4015 0 377 -1

N.S.

1 1.00 2.14 1.27 3.48 28.68 0.00 2.69 -0.01

time (sec)

N/A 0.151 0.445 1.642 0.304 0.406 0.000 0.412 0.000

Problem 753

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

188 188 208 519 277 1293 626 390 361

N.S.

1 1.00 1.11 2.76 1.47 6.88 3.33 2.07 1.92

time (sec)

N/A 0.105 0.361 1.310 0.257 0.515 0.371 0.426 0.451

Problem 754

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 134 278 161 664 298 194 144

N.S.

1 1.00 0.99 2.04 1.18 4.88 2.19 1.43 1.06

time (sec)

N/A 0.064 0.188 1.796 0.263 0.397 0.193 0.403 1.659

Problem 755

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 72 80 79 238 122 96 70

N.S.

1 1.00 0.80 0.89 0.88 2.64 1.36 1.07 0.78

time (sec)

N/A 0.035 0.084 1.414 0.278 0.357 0.092 0.400 1.607

Problem 756

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 24 23 22 61 20 36 22

N.S.

1 1.00 1.00 0.96 0.92 2.54 0.83 1.50 0.92

time (sec)

N/A 0.008 0.008 0.465 0.258 0.357 0.048 0.419 0.065

Problem 757

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 36 46 0 88 0 0 -1

N.S.

1 1.00 1.06 1.35 0.00 2.59 0.00 0.00 -0.03

time (sec)

N/A 0.024 0.060 1.319 0.000 0.498 0.000 0.000 0.000

Problem 758

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 68 217 0 660 0 0 -1

N.S.

1 1.00 0.68 2.17 0.00 6.60 0.00 0.00 -0.01

time (sec)

N/A 0.056 0.117 2.061 0.000 0.419 0.000 0.000 0.000

Problem 759

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 184 488 0 3035 0 0 -1

N.S.

1 1.00 1.26 3.34 0.00 20.79 0.00 0.00 -0.01

time (sec)

N/A 0.087 0.285 2.342 0.000 0.399 0.000 0.000 0.000

Problem 760

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

198 198 425 828 0 6590 0 0 -1

N.S.

1 1.00 2.15 4.18 0.00 33.28 0.00 0.00 -0.01

time (sec)

N/A 0.134 0.577 2.663 0.000 0.454 0.000 0.000 0.000

Problem 761

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

294 294 3775 899 0 928 0 0 -1

N.S.

1 1.00 12.84 3.06 0.00 3.16 0.00 0.00 -0.00

time (sec)

N/A 0.364 6.246 2.870 0.000 0.136 0.000 0.000 0.000

Problem 762

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

249 249 2292 321 0 463 0 0 -1

N.S.

1 1.00 9.20 1.29 0.00 1.86 0.00 0.00 -0.00

time (sec)

N/A 0.189 6.115 2.480 0.000 0.111 0.000 0.000 0.000

Problem 763

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

102 102 549 317 0 314 0 0 -1

N.S.

1 1.00 5.38 3.11 0.00 3.08 0.00 0.00 -0.01

time (sec)

N/A 0.053 5.836 2.734 0.000 0.129 0.000 0.000 0.000

Problem 764

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 237 251 0 108 0 0 -1

N.S.

1 1.00 2.32 2.46 0.00 1.06 0.00 0.00 -0.01

time (sec)

N/A 0.056 0.291 2.375 0.000 0.141 0.000 0.000 0.000

Problem 765

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

156 156 806 1432 0 798 0 0 -1

N.S.

1 1.00 5.17 9.18 0.00 5.12 0.00 0.00 -0.01

time (sec)

N/A 0.076 5.005 3.379 0.000 0.218 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(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

322 322 2492 6075 0 3730 0 0 -1

N.S.

1 1.00 7.74 18.87 0.00 11.58 0.00 0.00 -0.00

time (sec)

N/A 0.248 6.223 4.510 0.000 0.180 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(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

411 411 4093 58437 0 13897 0 0 -1

N.S.

1 1.00 9.96 142.18 0.00 33.81 0.00 0.00 -0.00

time (sec)

N/A 0.392 6.333 15.197 0.000 0.290 0.000 0.000 0.000

Problem 768

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

140 140 4500 500 1783 784 0 315 -1

N.S.

1 1.00 32.14 3.57 12.74 5.60 0.00 2.25 -0.01

time (sec)

N/A 0.081 83.228 3.051 2.451 0.365 0.000 0.440 0.000

Problem 769

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B B F B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

92 92 4392 190 640 329 0 183 -1

N.S.

1 1.00 47.74 2.07 6.96 3.58 0.00 1.99 -0.01

time (sec)

N/A 0.048 68.565 3.795 0.651 0.452 0.000 0.434 0.000

Problem 770

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 455 201 153 143 0 81 -1

N.S.

1 1.00 12.30 5.43 4.14 3.86 0.00 2.19 -0.03

time (sec)

N/A 0.023 64.088 2.805 0.517 0.349 0.000 0.431 0.000

Problem 771

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 211 129 0 681 0 538 -1

N.S.

1 1.00 2.13 1.30 0.00 6.88 0.00 5.43 -0.01

time (sec)

N/A 0.069 47.053 2.894 0.000 0.402 0.000 0.581 0.000

Problem 772

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

155 155 0 417 0 1801 0 0 -1

N.S.

1 1.00 0.00 2.69 0.00 11.62 0.00 0.00 -0.01

time (sec)

N/A 0.090 180.001 3.356 0.000 0.414 0.000 0.000 0.000

Problem 773

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

205 205 0 954 0 5297 0 0 -1

N.S.

1 1.00 0.00 4.65 0.00 25.84 0.00 0.00 -0.00

time (sec)

N/A 0.121 180.007 3.387 0.000 0.511 0.000 0.000 0.000

Problem 774

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

146 146 4368 275 1789 784 0 315 -1

N.S.

1 1.00 29.92 1.88 12.25 5.37 0.00 2.16 -0.01

time (sec)

N/A 0.095 96.866 3.205 2.468 0.366 0.000 0.446 0.000

Problem 775

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B B F B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

96 96 4260 190 644 329 0 184 -1

N.S.

1 1.00 44.38 1.98 6.71 3.43 0.00 1.92 -0.01

time (sec)

N/A 0.054 69.028 2.902 0.663 0.352 0.000 0.429 0.000

Problem 776

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B B F B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

39 39 4196 202 156 143 0 81 -1

N.S.

1 1.00 107.59 5.18 4.00 3.67 0.00 2.08 -0.03

time (sec)

N/A 0.025 80.537 2.777 0.517 0.415 0.000 0.414 0.000

Problem 777

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F B F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

102 102 52609 129 0 680 0 546 -1

N.S.

1 1.00 515.77 1.26 0.00 6.67 0.00 5.35 -0.01

time (sec)

N/A 0.071 48.640 2.634 0.000 0.427 0.000 0.628 0.000

Problem 778

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

159 159 0 415 0 2137 0 0 -1

N.S.

1 1.00 0.00 2.61 0.00 13.44 0.00 0.00 -0.01

time (sec)

N/A 0.086 180.000 3.233 0.000 0.453 0.000 0.000 0.000

Problem 779

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

211 211 0 984 0 5675 0 0 -1

N.S.

1 1.00 0.00 4.66 0.00 26.90 0.00 0.00 -0.00

time (sec)

N/A 0.117 180.004 3.514 0.000 0.505 0.000 0.000 0.000

Problem 780

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 86 177 0 429 0 106 472

N.S.

1 1.00 0.80 1.65 0.00 4.01 0.00 0.99 4.41

time (sec)

N/A 0.098 0.143 1.331 0.000 0.424 0.000 0.418 6.276

Problem 781

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 86 178 0 438 0 106 324

N.S.

1 1.00 0.76 1.58 0.00 3.88 0.00 0.94 2.87

time (sec)

N/A 0.127 0.155 1.253 0.000 0.445 0.000 0.413 0.704

Problem 782

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 86 181 0 455 0 106 325

N.S.

1 1.00 0.83 1.74 0.00 4.38 0.00 1.02 3.12

time (sec)

N/A 0.081 0.154 1.181 0.000 0.385 0.000 0.406 2.155

Problem 783

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

18 18 18 28 10 19 34 10 10

N.S.

1 1.00 1.00 1.56 0.56 1.06 1.89 0.56 0.56

time (sec)

N/A 0.017 0.031 1.477 0.255 0.366 0.258 0.397 0.046

Problem 784

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 54 53 0 234 0 46 78

N.S.

1 1.00 1.00 0.98 0.00 4.33 0.00 0.85 1.44

time (sec)

N/A 0.060 0.034 1.411 0.000 0.417 0.000 0.404 1.816

Problem 785

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 96 167 0 486 0 126 1069

N.S.

1 1.00 0.66 1.14 0.00 3.33 0.00 0.86 7.32

time (sec)

N/A 0.324 0.182 1.340 0.000 1.057 0.000 0.407 28.994

Problem 786

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

19 19 28 20 11 17 0 13 11

N.S.

1 1.00 1.47 1.05 0.58 0.89 0.00 0.68 0.58

time (sec)

N/A 0.035 0.049 1.070 0.260 0.400 0.000 0.407 0.057

Problem 787

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 54 53 0 244 0 46 78

N.S.

1 1.00 1.08 1.06 0.00 4.88 0.00 0.92 1.56

time (sec)

N/A 0.063 0.034 1.087 0.000 0.407 0.000 0.413 0.212

Problem 788

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 97 124 0 546 0 122 1069

N.S.

1 1.00 0.82 1.05 0.00 4.63 0.00 1.03 9.06

time (sec)

N/A 0.396 0.160 1.364 0.000 1.080 0.000 0.404 7.175

Problem 789

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 104 200 0 505 0 122 377

N.S.

1 1.00 0.87 1.67 0.00 4.21 0.00 1.02 3.14

time (sec)

N/A 0.082 0.185 1.382 0.000 0.462 0.000 0.411 0.753

Problem 790

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 130 224 0 2211 0 179 -1

N.S.

1 1.00 1.20 2.07 0.00 20.47 0.00 1.66 -0.01

time (sec)

N/A 0.081 0.229 1.513 0.000 0.494 0.000 0.409 0.000

Problem 791

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

198 198 373 836 0 12285 0 625 -1

N.S.

1 1.00 1.88 4.22 0.00 62.05 0.00 3.16 -0.01

time (sec)

N/A 0.191 0.578 1.736 0.000 0.584 0.000 0.429 0.000

Problem 792

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 104 197 0 508 0 122 375

N.S.

1 1.00 0.86 1.63 0.00 4.20 0.00 1.01 3.10

time (sec)

N/A 0.076 0.144 1.380 0.000 0.423 0.000 0.399 0.670

Problem 793

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 125 225 0 2228 0 177 -1

N.S.

1 1.00 1.16 2.08 0.00 20.63 0.00 1.64 -0.01

time (sec)

N/A 0.074 0.179 1.505 0.000 0.406 0.000 0.400 0.000

Problem 794

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

194 194 336 857 0 12366 0 625 -1

N.S.

1 1.00 1.73 4.42 0.00 63.74 0.00 3.22 -0.01

time (sec)

N/A 0.186 0.440 1.721 0.000 0.611 0.000 0.437 0.000

Problem 795

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 107 226 0 583 0 125 376

N.S.

1 1.00 0.86 1.81 0.00 4.66 0.00 1.00 3.01

time (sec)

N/A 0.079 0.231 1.461 0.000 0.405 0.000 0.406 0.700

Problem 796

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 123 225 0 2119 0 179 -1

N.S.

1 1.00 1.14 2.08 0.00 19.62 0.00 1.66 -0.01

time (sec)

N/A 0.076 0.224 1.548 0.000 0.415 0.000 0.408 0.000

Problem 797

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

194 194 319 800 0 10107 0 577 -1

N.S.

1 1.00 1.64 4.12 0.00 52.10 0.00 2.97 -0.01

time (sec)

N/A 0.167 0.478 1.696 0.000 0.502 0.000 0.439 0.000

Problem 798

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 119 237 0 605 0 136 454

N.S.

1 1.00 0.87 1.73 0.00 4.42 0.00 0.99 3.31

time (sec)

N/A 0.123 0.203 2.279 0.000 0.462 0.000 0.404 2.454

Problem 799

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 143 249 0 2541 0 207 -1

N.S.

1 1.00 1.18 2.06 0.00 21.00 0.00 1.71 -0.01

time (sec)

N/A 0.089 0.277 1.572 0.000 0.405 0.000 0.432 0.000

Problem 800

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

233 233 465 1084 0 13813 0 819 -1

N.S.

1 1.00 2.00 4.65 0.00 59.28 0.00 3.52 -0.00

time (sec)

N/A 0.346 0.694 1.799 0.000 0.560 0.000 0.429 0.000

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