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

Integrals 701 to 800

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 701

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

26 30 21 31 78 28 27 28 18

N.S.

1 1.15 0.81 1.19 3.00 1.08 1.04 1.08 0.69

time (sec)

N/A 0.199 1.209 0.072 0.209 0.254 0.049 0.278 0.088

Problem 702

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

35 0 0 85 123 118 0 84 0

N.S.

1 0.00 0.00 2.43 3.51 3.37 0.00 2.40 0.00

time (sec)

N/A 0.000 0.000 0.746 0.426 0.291 0.000 1.322 0.000

Problem 703

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

30 6763 329 628 4571 592 508 0 0

N.S.

1 225.43 10.97 20.93 152.37 19.73 16.93 0.00 0.00

time (sec)

N/A 19.845 0.319 0.850 0.506 0.275 11.022 0.000 0.000

Problem 704

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

N.S.

1 0.94 0.82 0.82 0.76 1.06 0.47 0.76 0.76

time (sec)

N/A 0.008 0.007 0.101 0.184 0.234 0.044 0.263 0.053

Problem 705

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 21 21 17 29 16 19 24 16

N.S.

1 1.00 1.00 0.81 1.38 0.76 0.90 1.14 0.76

time (sec)

N/A 0.127 0.240 0.538 0.322 0.238 0.170 0.288 8.445

Problem 706

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

10 13 13 15 14 14 14 14 14

N.S.

1 1.30 1.30 1.50 1.40 1.40 1.40 1.40 1.40

time (sec)

N/A 0.002 0.000 0.027 0.184 0.229 0.017 0.276 0.029

Problem 707

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 21 18 34 17 15 28 18

N.S.

1 0.00 0.88 0.75 1.42 0.71 0.62 1.17 0.75

time (sec)

N/A 0.000 3.368 0.391 0.285 0.249 0.178 0.317 8.394

Problem 708

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 32 29 29 28 37 27 28 28

N.S.

1 1.23 1.12 1.12 1.08 1.42 1.04 1.08 1.08

time (sec)

N/A 0.260 5.046 0.236 0.309 0.259 0.201 0.311 8.316

Problem 709

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

35 0 33 28 27 43 29 63 52

N.S.

1 0.00 0.94 0.80 0.77 1.23 0.83 1.80 1.49

time (sec)

N/A 0.000 3.407 0.147 0.243 0.242 0.097 0.290 0.434

Problem 710

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 1255 76 44 464 38 46 64 71

N.S.

1 40.48 2.45 1.42 14.97 1.23 1.48 2.06 2.29

time (sec)

N/A 4.756 1.573 2.082 0.324 0.246 0.307 0.287 8.909

Problem 711

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

28 34 34 33 32 38 34 32 0

N.S.

1 1.21 1.21 1.18 1.14 1.36 1.21 1.14 0.00

time (sec)

N/A 0.274 0.178 0.123 0.285 0.241 0.118 0.582 0.000

Problem 712

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 27 19 21 30 26 20 30 14

N.S.

1 1.80 1.27 1.40 2.00 1.73 1.33 2.00 0.93

time (sec)

N/A 0.006 0.013 0.023 0.183 0.229 0.045 0.274 8.062

Problem 713

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

N.S.

1 0.00 0.78 0.74 0.57 0.70 0.74 0.57 0.61

time (sec)

N/A 0.000 0.088 0.065 0.230 0.234 0.093 0.281 7.794

Problem 714

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B A B B

verified

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

size

25 0 28 25 43 83 20 112 24

N.S.

1 0.00 1.12 1.00 1.72 3.32 0.80 4.48 0.96

time (sec)

N/A 0.000 0.265 2.224 0.259 0.247 0.488 1.323 8.259

Problem 715

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

20 0 20 20 19 19 19 23 19

N.S.

1 0.00 1.00 1.00 0.95 0.95 0.95 1.15 0.95

time (sec)

N/A 0.000 1.477 25.603 0.270 0.230 0.321 0.489 8.674

Problem 716

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

32 0 36 30 37 30 29 0 63

N.S.

1 0.00 1.12 0.94 1.16 0.94 0.91 0.00 1.97

time (sec)

N/A 0.000 1.752 1.016 0.414 0.232 0.201 0.000 8.576

Problem 717

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

30 0 28 27 33 32 31 36 50

N.S.

1 0.00 0.93 0.90 1.10 1.07 1.03 1.20 1.67

time (sec)

N/A 0.000 0.841 1.653 0.319 0.245 0.138 0.287 8.474

Problem 718

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

N.S.

1 1.04 1.04 0.89 0.86 0.86 0.79 0.86 0.96

time (sec)

N/A 0.075 0.091 0.028 0.185 0.249 0.041 0.281 7.721

Problem 719

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

19 105 22 18 18 17 14 0 19

N.S.

1 5.53 1.16 0.95 0.95 0.89 0.74 0.00 1.00

time (sec)

N/A 0.196 0.165 0.638 0.238 0.261 2.405 0.000 0.181

Problem 720

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

N.S.

1 0.91 0.91 0.87 0.87 0.87 0.96 0.96 1.43

time (sec)

N/A 0.040 0.018 0.137 0.206 0.248 0.263 0.281 0.210

Problem 721

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 26 26 25 28 24 0 28 27

N.S.

1 1.18 1.18 1.14 1.27 1.09 0.00 1.27 1.23

time (sec)

N/A 0.730 0.262 3.141 0.313 0.255 0.000 0.300 8.606

Problem 722

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 27 37 36 31 36 112

N.S.

1 0.00 1.22 1.00 1.37 1.33 1.15 1.33 4.15

time (sec)

N/A 0.000 0.073 0.440 0.232 0.251 0.188 0.364 8.381

Problem 723

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

N.S.

1 0.00 1.00 0.91 1.14 1.05 1.32 1.00 1.59

time (sec)

N/A 0.000 0.310 0.206 0.235 0.250 0.059 0.272 8.208

Problem 724

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

N.S.

1 1.88 1.00 1.00 0.94 0.94 0.75 0.94 1.00

time (sec)

N/A 0.025 0.309 0.034 0.233 0.242 0.040 0.274 0.051

Problem 725

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

N.S.

1 0.71 0.71 0.64 0.71 0.71 0.86 0.79 0.57

time (sec)

N/A 0.002 0.001 0.063 0.186 0.226 0.021 0.265 0.079

Problem 726

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 18 16 22 41 24 22 24 27

N.S.

1 0.90 0.80 1.10 2.05 1.20 1.10 1.20 1.35

time (sec)

N/A 0.132 0.047 0.076 0.307 0.271 0.076 0.316 8.075

Problem 727

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 24 24 23 20 22 20 22 22

N.S.

1 1.04 1.04 1.00 0.87 0.96 0.87 0.96 0.96

time (sec)

N/A 0.636 0.231 0.700 0.235 0.249 0.117 0.319 8.122

Problem 728

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 14 20 12 34 12 12 0 12

N.S.

1 0.88 1.25 0.75 2.12 0.75 0.75 0.00 0.75

time (sec)

N/A 0.021 0.024 0.123 0.297 0.243 0.079 0.000 7.968

Problem 729

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 836 33 357 1988 253 316 375 163

N.S.

1 26.97 1.06 11.52 64.13 8.16 10.19 12.10 5.26

time (sec)

N/A 1.342 0.104 0.345 0.367 0.283 157.587 0.338 9.072

Problem 730

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 633 30 105 38 31 31 37 0

N.S.

1 23.44 1.11 3.89 1.41 1.15 1.15 1.37 0.00

time (sec)

N/A 6.862 1.056 2.337 0.331 0.247 0.180 0.388 0.000

Problem 731

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

N.S.

1 0.93 0.93 0.90 0.87 0.87 0.80 0.90 0.87

time (sec)

N/A 0.049 0.016 0.030 0.195 0.277 0.062 0.274 8.265

Problem 732

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

34 38 23 21 24 24 26 22 30

N.S.

1 1.12 0.68 0.62 0.71 0.71 0.76 0.65 0.88

time (sec)

N/A 0.027 0.009 0.033 0.221 0.252 0.105 0.273 7.837

Problem 733

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 11 11 11 10 13 8 11 10

N.S.

1 0.52 0.52 0.52 0.48 0.62 0.38 0.52 0.48

time (sec)

N/A 0.003 0.003 0.023 0.211 0.235 0.037 0.271 0.030

Problem 734

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

33 0 27 27 36 36 26 36 35

N.S.

1 0.00 0.82 0.82 1.09 1.09 0.79 1.09 1.06

time (sec)

N/A 0.000 2.531 0.065 0.226 0.238 0.071 0.279 8.182

Problem 735

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

N.S.

1 0.00 1.00 0.75 0.67 0.67 0.79 0.67 0.71

time (sec)

N/A 0.000 0.190 0.064 0.249 0.237 0.098 0.327 8.117

Problem 736

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 0 29 25 44 0 0 0

N.S.

1 0.00 0.00 1.07 0.93 1.63 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.169 0.383 0.282 0.000 0.000 0.000

Problem 737

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

35 0 33 31 32 34 27 32 32

N.S.

1 0.00 0.94 0.89 0.91 0.97 0.77 0.91 0.91

time (sec)

N/A 0.000 0.943 0.097 0.220 0.237 0.094 0.274 7.980

Problem 738

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 22 27 21 17 27 106

N.S.

1 0.00 1.00 0.88 1.08 0.84 0.68 1.08 4.24

time (sec)

N/A 0.000 0.943 3.120 0.339 0.241 0.103 0.304 8.249

Problem 739

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

N.S.

1 0.00 1.00 1.00 1.06 0.94 0.71 0.94 0.94

time (sec)

N/A 0.000 2.591 0.254 0.320 0.238 0.217 0.401 8.089

Problem 740

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

N.S.

1 0.29 0.29 0.35 0.29 0.29 0.29 0.29 0.29

time (sec)

N/A 0.001 0.000 0.008 0.187 0.225 0.014 0.269 0.002

Problem 741

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

N.S.

1 1.04 1.04 1.00 0.96 0.96 0.92 0.96 1.00

time (sec)

N/A 0.011 0.058 0.031 0.198 0.254 0.070 0.265 0.125

Problem 742

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

25 32 20 17 209 18 51 39 135

N.S.

1 1.28 0.80 0.68 8.36 0.72 2.04 1.56 5.40

time (sec)

N/A 0.196 0.080 0.158 0.310 0.239 0.155 0.284 8.925

Problem 743

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 59 18 20 18 17 0 74 19

N.S.

1 3.28 1.00 1.11 1.00 0.94 0.00 4.11 1.06

time (sec)

N/A 0.097 0.197 0.265 0.340 0.238 0.000 0.621 8.145

Problem 744

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

N.S.

1 0.35 0.42 0.46 0.27 0.42 0.46 0.42 0.35

time (sec)

N/A 0.022 0.025 0.032 0.204 0.240 0.071 0.263 8.016

Problem 745

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

N.S.

1 0.87 0.78 0.87 0.78 0.83 0.83 0.87 0.83

time (sec)

N/A 0.186 0.159 0.165 0.231 0.247 0.076 0.267 8.328

Problem 746

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

N.S.

1 0.00 1.00 0.92 0.80 0.88 0.80 0.88 0.88

time (sec)

N/A 0.000 0.283 1.689 0.228 0.253 0.083 0.317 8.078

Problem 747

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A F B

verified

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

size

34 0 33 58 81 52 53 0 69

N.S.

1 0.00 0.97 1.71 2.38 1.53 1.56 0.00 2.03

time (sec)

N/A 0.000 0.288 22.390 0.608 0.248 1.020 0.000 8.710

Problem 748

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

N.S.

1 0.00 1.52 0.80 1.04 1.00 0.80 0.96 1.04

time (sec)

N/A 0.000 0.103 3.227 0.241 0.241 0.370 0.311 8.355

Problem 749

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

N.S.

1 0.71 0.71 0.67 0.62 0.79 0.62 0.62 0.58

time (sec)

N/A 0.010 0.003 0.023 0.221 0.239 0.056 0.288 8.014

Problem 750

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

N.S.

1 0.00 0.79 0.62 0.50 0.75 0.71 0.50 0.50

time (sec)

N/A 0.000 0.077 0.057 0.218 0.262 0.083 0.301 8.281

Problem 751

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A C B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 61 50 59 74 64 63 73 50

N.S.

1 2.10 1.72 2.03 2.55 2.21 2.17 2.52 1.72

time (sec)

N/A 0.097 2.606 0.085 0.228 0.234 0.145 0.268 0.172

Problem 752

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 45 23 45 52 52 44 52 39

N.S.

1 1.55 0.79 1.55 1.79 1.79 1.52 1.79 1.34

time (sec)

N/A 0.020 0.011 0.038 0.227 0.254 0.023 0.287 8.048

Problem 753

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 0 115 124 204 173 88 242 0

N.S.

1 0.00 3.71 4.00 6.58 5.58 2.84 7.81 0.00

time (sec)

N/A 0.000 10.273 0.320 1.054 0.251 0.440 3.075 0.000

Problem 754

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

33 0 41 46 50 50 66 59 0

N.S.

1 0.00 1.24 1.39 1.52 1.52 2.00 1.79 0.00

time (sec)

N/A 0.000 0.085 2.124 0.233 0.243 0.332 0.380 0.000

Problem 755

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

25 0 30 36 32 32 31 30 31

N.S.

1 0.00 1.20 1.44 1.28 1.28 1.24 1.20 1.24

time (sec)

N/A 0.000 0.145 0.133 0.228 0.249 0.073 0.295 8.465

Problem 756

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

25 32 32 27 31 26 24 0 26

N.S.

1 1.28 1.28 1.08 1.24 1.04 0.96 0.00 1.04

time (sec)

N/A 0.348 0.081 0.273 0.358 0.253 0.188 0.000 8.449

Problem 757

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

N.S.

1 0.48 0.52 0.48 0.48 0.48 0.55 0.48 0.42

time (sec)

N/A 0.003 0.003 0.014 0.199 0.245 0.018 0.273 8.102

Problem 758

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A C A A B B

verified

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

size

31 0 39 47 67 46 32 61 53

N.S.

1 0.00 1.26 1.52 2.16 1.48 1.03 1.97 1.71

time (sec)

N/A 0.000 0.049 0.553 0.230 0.244 0.112 0.284 8.726

Problem 759

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

N.S.

1 1.05 1.05 1.00 0.95 0.95 1.00 1.05 0.95

time (sec)

N/A 0.270 0.400 0.139 0.213 0.247 0.100 0.276 8.400

Problem 760

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 0 28 44 30 20 30 31

N.S.

1 0.00 0.00 0.93 1.47 1.00 0.67 1.00 1.03

time (sec)

N/A 0.000 0.000 16.310 0.356 0.250 0.223 0.651 8.465

Problem 761

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 35 13 14 0 13

N.S.

1 1.00 1.00 0.93 2.33 0.87 0.93 0.00 0.87

time (sec)

N/A 0.028 0.011 0.099 0.302 0.242 0.054 0.000 7.988

Problem 762

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

29 0 45 38 39 46 31 38 31

N.S.

1 0.00 1.55 1.31 1.34 1.59 1.07 1.31 1.07

time (sec)

N/A 0.000 0.081 4.669 0.370 0.264 0.429 0.306 9.355

Problem 763

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

24 0 23 23 28 22 22 22 226

N.S.

1 0.00 0.96 0.96 1.17 0.92 0.92 0.92 9.42

time (sec)

N/A 0.000 0.733 5.009 0.432 0.252 0.143 0.392 8.508

Problem 764

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

33 90 79 52 79 86 82 80 80

N.S.

1 2.73 2.39 1.58 2.39 2.61 2.48 2.42 2.42

time (sec)

N/A 0.200 0.127 0.209 0.199 0.254 2.047 0.299 0.434

Problem 765

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

27 0 53 60 76 56 56 3434 295

N.S.

1 0.00 1.96 2.22 2.81 2.07 2.07 127.19 10.93

time (sec)

N/A 0.000 0.133 3.246 0.364 0.242 0.339 1.248 8.540

Problem 766

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 15 36 15 42 45 42 43 103

N.S.

1 0.88 2.12 0.88 2.47 2.65 2.47 2.53 6.06

time (sec)

N/A 0.050 0.027 0.113 0.184 0.255 0.155 0.265 8.008

Problem 767

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 29 28 30 30 27 32 106

N.S.

1 0.00 1.12 1.08 1.15 1.15 1.04 1.23 4.08

time (sec)

N/A 0.000 0.206 0.171 0.218 0.242 0.073 0.274 8.123

Problem 768

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 39 0 26 36 27 0 31 28

N.S.

1 1.26 0.00 0.84 1.16 0.87 0.00 1.00 0.90

time (sec)

N/A 0.819 0.000 0.895 0.379 0.251 0.000 0.526 7.844

Problem 769

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

26 27 27 24 42 28 22 72 26

N.S.

1 1.04 1.04 0.92 1.62 1.08 0.85 2.77 1.00

time (sec)

N/A 0.169 0.096 0.118 0.188 0.254 0.064 0.294 0.120

Problem 770

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 26 25 22 32 19 22 22

N.S.

1 0.00 1.13 1.09 0.96 1.39 0.83 0.96 0.96

time (sec)

N/A 0.000 0.559 0.573 0.264 0.257 0.129 0.336 7.983

Problem 771

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

N.S.

1 0.00 1.08 1.04 0.88 1.40 1.08 1.00 1.00

time (sec)

N/A 0.000 1.012 0.072 0.248 0.253 0.136 0.297 8.408

Problem 772

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

N.S.

1 1.62 1.38 1.00 1.15 1.15 1.69 1.15 0.92

time (sec)

N/A 0.003 0.002 0.020 0.188 0.235 0.017 0.273 7.996

Problem 773

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 35 36 30 27 27 24 27 26

N.S.

1 1.30 1.33 1.11 1.00 1.00 0.89 1.00 0.96

time (sec)

N/A 0.008 0.005 0.036 0.179 0.263 0.021 0.256 0.044

Problem 774

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

N.S.

1 1.43 1.10 1.48 1.52 1.52 1.38 1.52 1.33

time (sec)

N/A 0.059 0.056 0.047 0.191 0.245 0.047 0.275 7.673

Problem 775

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 58 0 0 61 61 0 0

N.S.

1 0.00 2.23 0.00 0.00 2.35 2.35 0.00 0.00

time (sec)

N/A 0.000 0.176 0.000 0.000 0.264 0.494 0.000 0.000

Problem 776

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

28 0 40 29 50 44 39 50 54

N.S.

1 0.00 1.43 1.04 1.79 1.57 1.39 1.79 1.93

time (sec)

N/A 0.000 0.168 0.964 0.577 0.275 0.536 0.334 8.391

Problem 777

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

N.S.

1 1.07 1.07 0.87 0.93 0.80 0.93 0.93 0.80

time (sec)

N/A 0.003 0.002 0.026 0.187 0.246 0.032 0.267 8.153

Problem 778

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

22 0 22 22 17 22 0 27 22

N.S.

1 0.00 1.00 1.00 0.77 1.00 0.00 1.23 1.00

time (sec)

N/A 0.000 0.139 0.624 0.251 0.261 0.000 0.276 8.679

Problem 779

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A C B A A B

verified

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

size

19 0 19 22 61 48 27 33 15

N.S.

1 0.00 1.00 1.16 3.21 2.53 1.42 1.74 0.79

time (sec)

N/A 0.000 0.068 0.112 0.287 0.260 0.684 0.292 8.608

Problem 780

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A F F B

verified

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

size

30 0 26 19 21 30 0 0 18

N.S.

1 0.00 0.87 0.63 0.70 1.00 0.00 0.00 0.60

time (sec)

N/A 0.000 0.486 0.181 0.435 0.285 0.000 0.000 0.151

Problem 781

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

31 0 62 78 91 71 71 91 103

N.S.

1 0.00 2.00 2.52 2.94 2.29 2.29 2.94 3.32

time (sec)

N/A 0.000 0.162 0.284 0.486 0.255 0.241 0.605 8.093

Problem 782

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C A B A B F B

verified

N/A No No Yes TBD TBD TBD TBD TBD

size

26 1214 1186 51 513 48 53 0 50

N.S.

1 46.69 45.62 1.96 19.73 1.85 2.04 0.00 1.92

time (sec)

N/A 2.057 1.125 0.507 2.932 0.265 1.227 0.000 9.065

Problem 783

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

33 41 56 42 34 34 19 28 34

N.S.

1 1.24 1.70 1.27 1.03 1.03 0.58 0.85 1.03

time (sec)

N/A 0.427 0.118 0.466 0.318 0.271 0.177 0.270 8.252

Problem 784

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F F A B A A F B

verified

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

size

26 0 0 21 42 19 20 0 21

N.S.

1 0.00 0.00 0.81 1.62 0.73 0.77 0.00 0.81

time (sec)

N/A 0.000 0.000 0.944 0.342 0.283 0.215 0.000 8.423

Problem 785

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

N.S.

1 0.75 0.75 0.70 0.65 0.65 0.60 0.70 0.65

time (sec)

N/A 0.004 0.002 0.016 0.178 0.255 0.030 0.252 0.025

Problem 786

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

27 0 30 32 490 169 209 277 0

N.S.

1 0.00 1.11 1.19 18.15 6.26 7.74 10.26 0.00

time (sec)

N/A 0.000 2.494 53.557 0.784 0.280 0.732 0.343 0.000

Problem 787

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 28 42 0 41 0 26 27

N.S.

1 1.00 0.93 1.40 0.00 1.37 0.00 0.87 0.90

time (sec)

N/A 1.628 0.180 0.038 0.000 0.258 0.000 13.511 8.138

Problem 788

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

20 0 19 16 15 27 14 30 15

N.S.

1 0.00 0.95 0.80 0.75 1.35 0.70 1.50 0.75

time (sec)

N/A 0.000 0.026 0.095 0.253 0.291 0.067 0.260 7.826

Problem 789

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

N.S.

1 0.57 0.74 0.39 0.48 0.48 0.35 0.48 0.35

time (sec)

N/A 0.002 0.002 0.019 0.187 0.251 0.017 0.253 0.020

Problem 790

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 28 29 29 26 29 21

N.S.

1 0.00 1.05 1.27 1.32 1.32 1.18 1.32 0.95

time (sec)

N/A 0.000 0.920 0.199 0.240 0.264 0.068 0.267 7.660

Problem 791

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

24 0 55 35 124 98 61 136 0

N.S.

1 0.00 2.29 1.46 5.17 4.08 2.54 5.67 0.00

time (sec)

N/A 0.000 0.190 0.467 0.341 0.266 0.150 0.308 0.000

Problem 792

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 31 47 70 64 69 0 0 75

N.S.

1 1.03 1.57 2.33 2.13 2.30 0.00 0.00 2.50

time (sec)

N/A 11.426 0.551 217.056 0.292 0.270 0.000 0.000 8.684

Problem 793

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

24 0 28 29 51 51 20 55 28

N.S.

1 0.00 1.17 1.21 2.12 2.12 0.83 2.29 1.17

time (sec)

N/A 0.000 2.509 0.040 0.227 0.273 0.050 0.271 7.543

Problem 794

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B B A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 36 29 22 20 20 27 21 10

N.S.

1 2.57 2.07 1.57 1.43 1.43 1.93 1.50 0.71

time (sec)

N/A 0.010 0.008 0.016 0.181 0.260 0.054 0.253 7.901

Problem 795

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

N.S.

1 0.00 0.88 0.92 0.88 0.88 0.62 0.88 0.88

time (sec)

N/A 0.000 0.444 0.162 0.233 0.242 0.080 0.328 8.660

Problem 796

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

23 0 29 30 52 44 36 29 29

N.S.

1 0.00 1.26 1.30 2.26 1.91 1.57 1.26 1.26

time (sec)

N/A 0.000 0.201 0.136 0.324 0.256 0.211 0.273 8.967

Problem 797

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 32 32 44 0 51 46 0 49

N.S.

1 0.97 0.97 1.33 0.00 1.55 1.39 0.00 1.48

time (sec)

N/A 19.938 0.519 0.917 0.000 0.267 2.861 0.000 9.207

Problem 798

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

36 55 51 27 33 35 27 74 25

N.S.

1 1.53 1.42 0.75 0.92 0.97 0.75 2.06 0.69

time (sec)

N/A 0.258 0.095 0.113 0.299 0.252 0.063 0.284 8.188

Problem 799

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

24 0 31 29 29 28 24 3523 30

N.S.

1 0.00 1.29 1.21 1.21 1.17 1.00 146.79 1.25

time (sec)

N/A 0.000 0.281 167.758 7.390 0.265 2.393 205.735 10.093

Problem 800

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A B B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 56 42 46 53 38 44 45 45

N.S.

1 2.43 1.83 2.00 2.30 1.65 1.91 1.96 1.96

time (sec)

N/A 0.062 0.082 0.041 0.191 0.267 0.121 0.293 8.050

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