2.2.8 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 F A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 69 57 42 0 51 48 45 0

N.S.

1 1.11 0.92 0.68 0.00 0.82 0.77 0.73 0.00

time (sec)

N/A 0.196 0.071 0.044 0.000 0.579 0.290 0.327 0.000

Problem 702

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 82 59 55 0 61 58 55 0

N.S.

1 1.09 0.79 0.73 0.00 0.81 0.77 0.73 0.00

time (sec)

N/A 0.243 0.080 0.048 0.000 0.559 0.326 0.401 0.000

Problem 703

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 75 65 48 0 59 51 53 0

N.S.

1 1.10 0.96 0.71 0.00 0.87 0.75 0.78 0.00

time (sec)

N/A 0.232 0.081 0.051 0.000 0.606 0.332 0.363 0.000

Problem 704

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 85 75 60 0 73 58 67 0

N.S.

1 1.06 0.94 0.75 0.00 0.91 0.72 0.84 0.00

time (sec)

N/A 0.230 0.083 0.056 0.000 0.523 0.411 0.372 0.000

Problem 705

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 116 83 67 0 101 66 88 0

N.S.

1 1.06 0.76 0.61 0.00 0.93 0.61 0.81 0.00

time (sec)

N/A 0.284 0.200 0.056 0.000 1.205 0.471 0.339 0.000

Problem 706

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 49 43 32 0 47 37 33 0

N.S.

1 1.04 0.91 0.68 0.00 1.00 0.79 0.70 0.00

time (sec)

N/A 0.223 0.060 0.050 0.000 0.515 0.325 0.389 0.000

Problem 707

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

67 72 63 52 49 48 58 60 102

N.S.

1 1.07 0.94 0.78 0.73 0.72 0.87 0.90 1.52

time (sec)

N/A 0.316 0.095 0.280 0.260 0.283 2.300 0.362 17.319

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

71 74 67 54 51 59 60 62 118

N.S.

1 1.04 0.94 0.76 0.72 0.83 0.85 0.87 1.66

time (sec)

N/A 0.303 0.066 0.285 0.266 0.289 2.277 0.354 0.034

Problem 709

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 54 32 61 46 23 44 46 43

N.S.

1 1.04 0.62 1.17 0.88 0.44 0.85 0.88 0.83

time (sec)

N/A 0.232 0.042 1.009 0.263 0.260 0.207 0.340 18.593

Problem 710

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 18 31 14 0 37 19 25 0

N.S.

1 0.90 1.55 0.70 0.00 1.85 0.95 1.25 0.00

time (sec)

N/A 0.265 0.063 1.085 0.000 0.452 0.408 0.415 0.000

Problem 711

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

43 45 39 30 29 29 36 30 53

N.S.

1 1.05 0.91 0.70 0.67 0.67 0.84 0.70 1.23

time (sec)

N/A 0.272 0.027 1.089 0.261 0.274 0.418 0.314 18.150

Problem 712

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

116 124 130 90 89 76 105 89 88

N.S.

1 1.07 1.12 0.78 0.77 0.66 0.91 0.77 0.76

time (sec)

N/A 0.339 0.052 0.028 0.180 0.265 1.103 0.319 0.156

Problem 713

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

83 61 58 54 53 35 71 82 0

N.S.

1 0.73 0.70 0.65 0.64 0.42 0.86 0.99 0.00

time (sec)

N/A 0.256 0.055 0.365 0.196 0.292 0.403 0.391 0.000

Problem 714

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

64 48 62 17 40 39 216 268 0

N.S.

1 0.75 0.97 0.27 0.62 0.61 3.38 4.19 0.00

time (sec)

N/A 0.252 0.055 0.418 0.198 0.283 1.396 0.386 0.000

Problem 715

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

82 68 86 59 58 57 65 474 0

N.S.

1 0.83 1.05 0.72 0.71 0.70 0.79 5.78 0.00

time (sec)

N/A 0.280 0.064 0.360 0.195 0.294 0.653 0.412 0.000

Problem 716

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

83 61 58 54 53 35 71 82 0

N.S.

1 0.73 0.70 0.65 0.64 0.42 0.86 0.99 0.00

time (sec)

N/A 0.256 0.003 0.280 0.194 0.277 0.409 0.351 0.000

Problem 717

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

190 192 168 121 120 76 165 7916 0

N.S.

1 1.01 0.88 0.64 0.63 0.40 0.87 41.66 0.00

time (sec)

N/A 0.614 0.168 0.779 0.191 0.286 0.651 43.804 0.000

Problem 718

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

233 235 186 154 153 85 202 271 0

N.S.

1 1.01 0.80 0.66 0.66 0.36 0.87 1.16 0.00

time (sec)

N/A 0.689 0.171 0.967 0.199 0.274 0.730 4.877 0.000

Problem 719

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 162 94 107 106 62 139 859 0

N.S.

1 1.01 0.59 0.67 0.66 0.39 0.87 5.37 0.00

time (sec)

N/A 0.552 0.115 0.438 0.194 0.273 0.631 0.426 0.000

Problem 720

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 31 16 0 35 20 25 0

N.S.

1 1.00 1.55 0.80 0.00 1.75 1.00 1.25 0.00

time (sec)

N/A 0.266 0.002 1.015 0.000 0.446 0.394 0.333 0.000

Problem 721

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 52 59 38 0 85 39 49 0

N.S.

1 1.18 1.34 0.86 0.00 1.93 0.89 1.11 0.00

time (sec)

N/A 0.228 0.071 0.051 0.000 0.655 0.411 0.422 0.000

Problem 722

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

54 57 51 50 58 45 73 61 50

N.S.

1 1.06 0.94 0.93 1.07 0.83 1.35 1.13 0.93

time (sec)

N/A 0.499 0.048 1.012 0.185 0.263 1.278 0.424 18.262

Problem 723

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 77 64 50 0 84 48 44 0

N.S.

1 1.10 0.91 0.71 0.00 1.20 0.69 0.63 0.00

time (sec)

N/A 0.208 0.093 0.045 0.000 0.843 0.333 0.388 0.000

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

19 23 19 16 15 15 17 15 15

N.S.

1 1.21 1.00 0.84 0.79 0.79 0.89 0.79 0.79

time (sec)

N/A 0.173 0.014 0.998 0.189 0.253 0.075 0.336 18.260

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

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.227 0.031 1.044 0.186 0.267 0.345 0.361 0.051

Problem 726

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A B F A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 224 76 289 0 92 0 171 255

N.S.

1 2.80 0.95 3.61 0.00 1.15 0.00 2.14 3.19

time (sec)

N/A 0.536 0.130 1.366 0.000 0.287 0.000 0.826 0.099

Problem 727

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 97 81 130 0 87 0 81 0

N.S.

1 1.09 0.91 1.46 0.00 0.98 0.00 0.91 0.00

time (sec)

N/A 0.299 0.098 1.001 0.000 2.554 0.000 0.538 0.000

Problem 728

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 67 55 68 0 62 0 65 0

N.S.

1 1.10 0.90 1.11 0.00 1.02 0.00 1.07 0.00

time (sec)

N/A 0.636 0.115 1.010 0.000 1.614 0.000 0.634 0.000

Problem 729

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 18 7 27 18 26 14 14

N.S.

1 1.00 2.25 0.88 3.38 2.25 3.25 1.75 1.75

time (sec)

N/A 0.129 0.003 1.071 0.183 0.271 0.540 0.424 0.164

Problem 730

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 18 32 27 27 0 22 12

N.S.

1 1.00 2.25 4.00 3.38 3.38 0.00 2.75 1.50

time (sec)

N/A 0.146 0.004 0.123 0.183 0.271 0.000 0.367 0.066

Problem 731

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 51 27 49 28 63 22 26

N.S.

1 1.00 2.32 1.23 2.23 1.27 2.86 1.00 1.18

time (sec)

N/A 0.136 0.036 0.993 0.184 0.267 0.904 0.323 19.424

Problem 732

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 51 45 51 42 0 35 35

N.S.

1 1.00 2.32 2.05 2.32 1.91 0.00 1.59 1.59

time (sec)

N/A 0.147 0.001 0.109 0.187 0.308 0.000 0.341 18.839

Problem 733

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes 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.147 0.119 1.046 0.267 0.260 0.000 0.324 19.795

Problem 734

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 66 56 41 36 0 51 41

N.S.

1 1.00 1.83 1.56 1.14 1.00 0.00 1.42 1.14

time (sec)

N/A 0.164 0.005 0.224 0.259 0.266 0.000 0.343 0.058

Problem 735

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 74 78 60 55 46 0 47 473

N.S.

1 1.07 1.13 0.87 0.80 0.67 0.00 0.68 6.86

time (sec)

N/A 0.165 0.099 1.038 0.185 0.281 0.000 0.347 32.745

Problem 736

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 74 78 70 138 64 0 62 119

N.S.

1 1.07 1.13 1.01 2.00 0.93 0.00 0.90 1.72

time (sec)

N/A 0.184 0.001 0.119 0.187 0.296 0.000 0.339 0.050

Problem 737

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 42 33 13 13 0 20 13

N.S.

1 1.00 2.80 2.20 0.87 0.87 0.00 1.33 0.87

time (sec)

N/A 0.148 0.009 0.174 0.276 0.261 0.000 0.329 0.173

Problem 738

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes 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.151 0.030 0.959 0.272 0.265 0.000 0.336 17.865

Problem 739

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B A A F A B

verified

N/A Yes Yes Yes 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.187 0.053 1.057 0.277 0.278 0.000 0.379 18.265

Problem 740

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 77 80 59 105 0 61 31

N.S.

1 1.00 1.88 1.95 1.44 2.56 0.00 1.49 0.76

time (sec)

N/A 0.200 0.019 1.129 0.267 0.251 0.000 0.378 0.214

Problem 741

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 48 52 45 37 28 0 36 37

N.S.

1 1.50 1.62 1.41 1.16 0.88 0.00 1.12 1.16

time (sec)

N/A 0.156 0.008 0.181 0.271 0.263 0.000 0.339 0.033

Problem 742

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 57 64 39 43 32 0 29 43

N.S.

1 1.50 1.68 1.03 1.13 0.84 0.00 0.76 1.13

time (sec)

N/A 0.160 0.013 0.177 0.273 0.285 0.000 0.343 0.039

Problem 743

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 58 67 61 49 38 0 36 49

N.S.

1 1.38 1.60 1.45 1.17 0.90 0.00 0.86 1.17

time (sec)

N/A 0.161 0.032 0.154 0.271 0.289 0.000 0.326 17.923

Problem 744

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 60 67 62 70 58 0 40 51

N.S.

1 1.46 1.63 1.51 1.71 1.41 0.00 0.98 1.24

time (sec)

N/A 0.166 0.064 0.136 0.190 0.271 0.000 0.339 0.051

Problem 745

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 97 97 152 118 180 0 109 90

N.S.

1 1.28 1.28 2.00 1.55 2.37 0.00 1.43 1.18

time (sec)

N/A 0.187 0.053 0.091 0.268 0.296 0.000 0.380 0.275

Problem 746

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 75 76 80 54 0 74 57

N.S.

1 1.00 1.53 1.55 1.63 1.10 0.00 1.51 1.16

time (sec)

N/A 0.164 0.090 0.229 0.260 0.273 0.000 0.385 18.228

Problem 747

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 88 84 53 46 0 114 74

N.S.

1 1.00 1.91 1.83 1.15 1.00 0.00 2.48 1.61

time (sec)

N/A 0.179 0.172 0.243 0.269 0.292 0.000 0.338 0.159

Problem 748

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 32 19 17 27 17 0 17 17

N.S.

1 1.60 0.95 0.85 1.35 0.85 0.00 0.85 0.85

time (sec)

N/A 0.173 0.040 1.007 0.187 0.311 0.000 0.300 0.060

Problem 749

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 19 17 16 17 0 17 0

N.S.

1 1.00 1.06 0.94 0.89 0.94 0.00 0.94 0.00

time (sec)

N/A 0.177 0.005 0.985 0.197 0.255 0.000 0.312 0.000

Problem 750

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 59 68 79 103 83 0 129 62

N.S.

1 1.09 1.26 1.46 1.91 1.54 0.00 2.39 1.15

time (sec)

N/A 0.203 0.175 1.018 0.271 0.315 0.000 0.383 18.001

Problem 751

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 19 18 0 17 0 23 15

N.S.

1 1.00 1.73 1.64 0.00 1.55 0.00 2.09 1.36

time (sec)

N/A 0.134 0.025 1.078 0.000 0.268 0.000 0.330 18.254

Problem 752

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 41 40 0 34 0 0 0

N.S.

1 1.00 1.41 1.38 0.00 1.17 0.00 0.00 0.00

time (sec)

N/A 0.173 1.756 1.101 0.000 0.290 0.000 0.000 0.000

Problem 753

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

180 197 111 359 0 372 0 287 0

N.S.

1 1.09 0.62 1.99 0.00 2.07 0.00 1.59 0.00

time (sec)

N/A 0.481 0.271 1.259 0.000 0.285 0.000 0.394 0.000

Problem 754

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

172 165 94 104 0 171 0 350 0

N.S.

1 0.96 0.55 0.60 0.00 0.99 0.00 2.03 0.00

time (sec)

N/A 0.349 0.367 0.291 0.000 0.278 0.000 0.374 0.000

Problem 755

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

307 305 115 129 0 223 0 452 0

N.S.

1 0.99 0.37 0.42 0.00 0.73 0.00 1.47 0.00

time (sec)

N/A 0.538 0.438 0.332 0.000 0.268 0.000 0.380 0.000

Problem 756

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 67 78 71 0 77 0 81 0

N.S.

1 1.03 1.20 1.09 0.00 1.18 0.00 1.25 0.00

time (sec)

N/A 0.215 0.187 0.166 0.000 0.302 0.000 0.340 0.000

Problem 757

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 85 69 61 0 97 0 143 0

N.S.

1 1.02 0.83 0.73 0.00 1.17 0.00 1.72 0.00

time (sec)

N/A 0.212 0.300 0.125 0.000 0.279 0.000 0.337 0.000

Problem 758

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 105 83 69 0 129 0 184 0

N.S.

1 1.04 0.82 0.68 0.00 1.28 0.00 1.82 0.00

time (sec)

N/A 0.216 0.336 0.130 0.000 0.255 0.000 0.338 0.000

Problem 759

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 124 81 370 0 187 0 197 0

N.S.

1 1.15 0.75 3.43 0.00 1.73 0.00 1.82 0.00

time (sec)

N/A 0.324 0.225 1.039 0.000 0.278 0.000 0.329 0.000

Problem 760

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 100 84 110 0 121 0 263 0

N.S.

1 1.15 0.97 1.26 0.00 1.39 0.00 3.02 0.00

time (sec)

N/A 0.247 0.334 0.341 0.000 0.283 0.000 0.335 0.000

Problem 761

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 163 109 130 0 171 0 367 0

N.S.

1 1.09 0.73 0.87 0.00 1.15 0.00 2.46 0.00

time (sec)

N/A 0.304 0.392 0.573 0.000 0.262 0.000 0.328 0.000

Problem 762

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

42 74 42 35 59 58 182 58 38

N.S.

1 1.76 1.00 0.83 1.40 1.38 4.33 1.38 0.90

time (sec)

N/A 0.439 0.081 2.983 0.233 0.276 0.161 0.308 0.185

Problem 763

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

42 74 42 35 59 58 182 58 51

N.S.

1 1.76 1.00 0.83 1.40 1.38 4.33 1.38 1.21

time (sec)

N/A 0.450 0.071 1.561 0.236 0.251 0.766 0.320 18.468

Problem 764

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

102 108 278 958 0 90 0 0 0

N.S.

1 1.06 2.73 9.39 0.00 0.88 0.00 0.00 0.00

time (sec)

N/A 0.268 22.479 2.635 0.000 0.082 0.000 0.000 0.000

Problem 765

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

62 66 256 936 0 69 0 0 0

N.S.

1 1.06 4.13 15.10 0.00 1.11 0.00 0.00 0.00

time (sec)

N/A 0.222 22.424 1.999 0.000 0.091 0.000 0.000 0.000

Problem 766

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

17 17 156 200 0 16 0 0 0

N.S.

1 1.00 9.18 11.76 0.00 0.94 0.00 0.00 0.00

time (sec)

N/A 0.165 32.153 1.365 0.000 0.071 0.000 0.000 0.000

Problem 767

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

73 73 261 932 0 119 0 0 0

N.S.

1 1.00 3.58 12.77 0.00 1.63 0.00 0.00 0.00

time (sec)

N/A 0.228 22.672 2.033 0.000 0.084 0.000 0.000 0.000

Problem 768

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

109 115 298 972 0 195 0 0 0

N.S.

1 1.06 2.73 8.92 0.00 1.79 0.00 0.00 0.00

time (sec)

N/A 0.266 22.849 2.067 0.000 0.081 0.000 0.000 0.000

Problem 769

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

102 108 278 954 0 90 0 0 0

N.S.

1 1.06 2.73 9.35 0.00 0.88 0.00 0.00 0.00

time (sec)

N/A 0.255 24.415 2.223 0.000 0.105 0.000 0.000 0.000

Problem 770

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

62 66 256 932 0 69 0 0 0

N.S.

1 1.06 4.13 15.03 0.00 1.11 0.00 0.00 0.00

time (sec)

N/A 0.217 18.905 1.946 0.000 0.097 0.000 0.000 0.000

Problem 771

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 100 200 0 16 0 0 0

N.S.

1 1.00 5.88 11.76 0.00 0.94 0.00 0.00 0.00

time (sec)

N/A 0.156 33.863 1.416 0.000 0.085 0.000 0.000 0.000

Problem 772

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

73 73 298 963 0 119 0 0 0

N.S.

1 1.00 4.08 13.19 0.00 1.63 0.00 0.00 0.00

time (sec)

N/A 0.217 19.717 1.446 0.000 0.088 0.000 0.000 0.000

Problem 773

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

109 115 327 1039 0 195 0 0 0

N.S.

1 1.06 3.00 9.53 0.00 1.79 0.00 0.00 0.00

time (sec)

N/A 0.263 22.028 1.489 0.000 0.102 0.000 0.000 0.000

Problem 774

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

730 843 10468 5229 0 0 0 0 0

N.S.

1 1.15 14.34 7.16 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.011 16.139 6.079 0.000 0.000 0.000 0.000 0.000

Problem 775

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

622 729 5218 4865 0 0 0 0 0

N.S.

1 1.17 8.39 7.82 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.652 16.070 5.159 0.000 0.000 0.000 0.000 0.000

Problem 776

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

227 258 822 1056 0 0 0 0 0

N.S.

1 1.14 3.62 4.65 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.283 11.488 1.042 0.000 0.000 0.000 0.000 0.000

Problem 777

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

674 777 5276 5024 0 0 0 0 0

N.S.

1 1.15 7.83 7.45 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.702 16.124 1.033 0.000 0.000 0.000 0.000 0.000

Problem 778

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

663 814 7543 7887 0 0 0 0 0

N.S.

1 1.23 11.38 11.90 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.768 13.922 7.218 0.000 0.000 0.000 0.000 0.000

Problem 779

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

235 279 1065 1704 0 0 0 0 0

N.S.

1 1.19 4.53 7.25 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.299 11.412 1.234 0.000 0.000 0.000 0.000 0.000

Problem 780

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

748 882 7629 8103 0 0 0 0 0

N.S.

1 1.18 10.20 10.83 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.829 16.144 1.373 0.000 0.000 0.000 0.000 0.000

Problem 781

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

452 539 6287 2655 0 0 0 0 0

N.S.

1 1.19 13.91 5.87 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.661 16.104 5.237 0.000 0.000 0.000 0.000 0.000

Problem 782

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

397 481 3470 2519 0 0 0 0 0

N.S.

1 1.21 8.74 6.35 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.521 16.056 4.196 0.000 0.000 0.000 0.000 0.000

Problem 783

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 144 540 530 0 0 0 0 0

N.S.

1 1.00 3.75 3.68 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.245 11.033 0.878 0.000 0.000 0.000 0.000 0.000

Problem 784

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

437 509 3526 2601 0 0 0 0 0

N.S.

1 1.16 8.07 5.95 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.553 16.075 0.928 0.000 0.000 0.000 0.000 0.000

Problem 785

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

517 597 6386 2757 0 0 0 0 0

N.S.

1 1.15 12.35 5.33 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.647 16.135 0.959 0.000 0.000 0.000 0.000 0.000

Problem 786

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

558 635 7235 2694 0 0 0 0 0

N.S.

1 1.14 12.97 4.83 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.842 17.097 4.905 0.000 0.000 0.000 0.000 0.000

Problem 787

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

466 543 4389 2551 0 0 0 0 0

N.S.

1 1.17 9.42 5.47 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.750 14.891 4.755 0.000 0.000 0.000 0.000 0.000

Problem 788

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

179 173 813 788 0 0 0 0 0

N.S.

1 0.97 4.54 4.40 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.390 12.964 1.037 0.000 0.000 0.000 0.000 0.000

Problem 789

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

474 540 3593 2616 0 0 0 0 0

N.S.

1 1.14 7.58 5.52 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.691 14.360 1.122 0.000 0.000 0.000 0.000 0.000

Problem 790

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

591 664 6452 2777 0 0 0 0 0

N.S.

1 1.12 10.92 4.70 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.834 17.030 1.012 0.000 0.000 0.000 0.000 0.000

Problem 791

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

585 651 8500 2733 0 0 0 0 0

N.S.

1 1.11 14.53 4.67 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.917 17.053 4.146 0.000 0.000 0.000 0.000 0.000

Problem 792

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

485 555 5647 2582 0 0 0 0 0

N.S.

1 1.14 11.64 5.32 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.797 13.837 4.107 0.000 0.000 0.000 0.000 0.000

Problem 793

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

388 471 1145 1147 0 0 0 0 0

N.S.

1 1.21 2.95 2.96 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.680 15.188 1.437 0.000 0.000 0.000 0.000 0.000

Problem 794

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

311 389 2941 2607 0 0 0 0 0

N.S.

1 1.25 9.46 8.38 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.590 14.505 1.277 0.000 0.000 0.000 0.000 0.000

Problem 795

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

582 653 5812 2780 0 0 0 0 0

N.S.

1 1.12 9.99 4.78 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.889 17.139 1.511 0.000 0.000 0.000 0.000 0.000

Problem 796

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

129 168 927 965 0 0 0 0 0

N.S.

1 1.30 7.19 7.48 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.401 10.702 1.128 0.000 0.000 0.000 0.000 0.000

Problem 797

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

431 553 4865 4426 0 0 0 0 0

N.S.

1 1.28 11.29 10.27 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.755 16.151 2.704 0.000 0.000 0.000 0.000 0.000

Problem 798

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

108 115 249 961 0 0 0 0 0

N.S.

1 1.06 2.31 8.90 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.372 10.382 0.834 0.000 0.000 0.000 0.000 0.000

Problem 799

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No No Yes TBD TBD TBD TBD TBD

size

367 400 602 2564 0 0 0 0 0

N.S.

1 1.09 1.64 6.99 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.703 12.702 0.811 0.000 0.000 0.000 0.000 0.000

Problem 800

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

126 163 1148 1180 0 0 0 0 0

N.S.

1 1.29 9.11 9.37 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.423 10.615 1.158 0.000 0.000 0.000 0.000 0.000