Integrals 7101 to 7200

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 7101

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

N.S.

1 0.95 0.89 1.05 0.89 0.84 0.79 0.89 1.00

time (sec)

N/A 0.008 0.008 0.103 0.176 0.265 0.055 0.287 0.048

Problem 7102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A B B B

verified

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

size

30 0 37 51 37 33 112 62 285

N.S.

1 0.00 1.23 1.70 1.23 1.10 3.73 2.07 9.50

time (sec)

N/A 0.000 0.148 1.829 0.333 0.264 0.400 0.495 12.634

Problem 7103

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

25 32 30 28 61 53 24 28 29

N.S.

1 1.28 1.20 1.12 2.44 2.12 0.96 1.12 1.16

time (sec)

N/A 0.067 0.309 0.136 0.194 0.258 0.055 0.295 0.073

Problem 7104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 19 23 32 14 47 26 0 0

N.S.

1 1.06 1.28 1.78 0.78 2.61 1.44 0.00 0.00

time (sec)

N/A 0.317 0.062 0.912 0.286 0.251 0.180 0.000 0.000

Problem 7105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 54 41 46 49 49 48 49 46

N.S.

1 2.25 1.71 1.92 2.04 2.04 2.00 2.04 1.92

time (sec)

N/A 0.014 0.019 0.084 0.194 0.250 0.023 0.303 12.984

Problem 7106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A B B

verified

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

size

28 0 30 48 65 48 48 98 96

N.S.

1 0.00 1.07 1.71 2.32 1.71 1.71 3.50 3.43

time (sec)

N/A 0.000 0.618 1.070 0.285 0.270 0.184 0.383 0.397

Problem 7107

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

N.S.

1 1.23 0.92 0.92 1.08 1.08 0.77 1.08 0.92

time (sec)

N/A 0.001 0.002 0.067 0.179 0.226 0.019 0.281 0.097

Problem 7108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B B B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 142 57 50 66 41 60 41 22

N.S.

1 5.92 2.38 2.08 2.75 1.71 2.50 1.71 0.92

time (sec)

N/A 0.058 0.035 0.237 0.181 0.256 0.108 0.287 14.010

Problem 7109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A A A B

verified

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

size

30 0 40 31 0 34 29 42 48

N.S.

1 0.00 1.33 1.03 0.00 1.13 0.97 1.40 1.60

time (sec)

N/A 0.000 10.096 0.948 0.000 0.262 4.218 0.330 13.702

Problem 7110

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

28 24 24 23 23 22 22 0 23

N.S.

1 0.86 0.86 0.82 0.82 0.79 0.79 0.00 0.82

time (sec)

N/A 0.064 0.080 0.680 0.406 0.252 174.418 0.000 13.462

Problem 7111

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

23 0 28 30 29 31 24 62 54

N.S.

1 0.00 1.22 1.30 1.26 1.35 1.04 2.70 2.35

time (sec)

N/A 0.000 1.736 0.300 0.241 0.251 0.129 0.294 0.220

Problem 7112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A B B

verified

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

size

22 0 21 25 33 33 29 71 21

N.S.

1 0.00 0.95 1.14 1.50 1.50 1.32 3.23 0.95

time (sec)

N/A 0.000 0.325 0.690 0.237 0.254 0.058 0.277 12.706

Problem 7113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 19 19 17 28 29 31 29 16

N.S.

1 0.90 0.90 0.81 1.33 1.38 1.48 1.38 0.76

time (sec)

N/A 0.008 0.005 0.140 0.205 0.240 0.051 0.274 0.060

Problem 7114

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

30 0 83 259 390 390 291 548 0

N.S.

1 0.00 2.77 8.63 13.00 13.00 9.70 18.27 0.00

time (sec)

N/A 0.000 10.263 21.997 0.367 0.274 0.373 0.551 0.000

Problem 7115

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 16 14 15 16 16 15 18 12

N.S.

1 0.80 0.70 0.75 0.80 0.80 0.75 0.90 0.60

time (sec)

N/A 0.014 0.007 0.478 0.186 0.241 0.042 0.279 12.088

Problem 7116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 0 29 56 0 56 53 35 36

N.S.

1 0.00 0.94 1.81 0.00 1.81 1.71 1.13 1.16

time (sec)

N/A 0.000 0.169 137.575 0.000 0.278 0.539 6.355 13.121

Problem 7117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A F A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 1053 82 24 0 23 37 263 23

N.S.

1 40.50 3.15 0.92 0.00 0.88 1.42 10.12 0.88

time (sec)

N/A 0.966 0.487 0.674 0.000 0.250 0.206 0.318 13.111

Problem 7118

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 25 23 23 19 23 113

N.S.

1 0.00 1.00 1.00 0.92 0.92 0.76 0.92 4.52

time (sec)

N/A 0.000 0.988 0.573 0.312 0.256 0.096 0.347 12.878

Problem 7119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

32 0 39 72 56 51 53 74 0

N.S.

1 0.00 1.22 2.25 1.75 1.59 1.66 2.31 0.00

time (sec)

N/A 0.000 0.420 1.615 0.234 0.257 0.174 0.566 0.000

Problem 7120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A F B A A B B

verified

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

size

19 0 28 0 124 31 27 92 33

N.S.

1 0.00 1.47 0.00 6.53 1.63 1.42 4.84 1.74

time (sec)

N/A 0.000 0.073 0.000 0.241 0.265 0.225 0.801 14.156

Problem 7121

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

22 0 21 24 21 21 37 37 19

N.S.

1 0.00 0.95 1.09 0.95 0.95 1.68 1.68 0.86

time (sec)

N/A 0.000 0.185 2.326 0.309 0.284 0.087 0.316 12.289

Problem 7122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 68 23 20 17 19 15 19 17

N.S.

1 2.34 0.79 0.69 0.59 0.66 0.52 0.66 0.59

time (sec)

N/A 0.050 0.025 0.112 0.264 0.256 0.082 0.315 12.164

Problem 7123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

19 0 22 22 0 21 19 21 22

N.S.

1 0.00 1.16 1.16 0.00 1.11 1.00 1.11 1.16

time (sec)

N/A 0.000 0.353 0.091 0.000 0.276 0.084 0.306 12.724

Problem 7124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 57 39 20 18 19 24 0 20

N.S.

1 2.48 1.70 0.87 0.78 0.83 1.04 0.00 0.87

time (sec)

N/A 0.055 0.053 1.007 0.325 0.280 0.098 0.000 0.383

Problem 7125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 20 20 15 14 14 14 14 15

N.S.

1 0.87 0.87 0.65 0.61 0.61 0.61 0.61 0.65

time (sec)

N/A 0.007 0.032 0.139 0.186 0.253 0.038 0.284 0.096

Problem 7126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 81 35 34 134 45 32 56 25

N.S.

1 2.53 1.09 1.06 4.19 1.41 1.00 1.75 0.78

time (sec)

N/A 1.229 7.909 0.401 0.249 0.245 0.085 0.282 12.890

Problem 7127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 89 26 20 81 142 131 85 81

N.S.

1 5.56 1.62 1.25 5.06 8.88 8.19 5.31 5.06

time (sec)

N/A 0.110 0.117 0.152 0.182 0.269 0.136 0.303 12.883

Problem 7128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 23 21 19 18 18 24 18 18

N.S.

1 0.79 0.72 0.66 0.62 0.62 0.83 0.62 0.62

time (sec)

N/A 0.042 1.043 0.149 0.176 0.256 0.052 0.269 0.115

Problem 7129

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

N.S.

1 0.89 0.89 0.95 0.95 1.21 1.00 0.95 1.47

time (sec)

N/A 0.006 0.008 0.080 0.176 0.246 0.050 0.277 12.553

Problem 7130

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

31 0 51 55 71 47 44 0 50

N.S.

1 0.00 1.65 1.77 2.29 1.52 1.42 0.00 1.61

time (sec)

N/A 0.000 0.302 2.237 0.335 0.268 0.703 0.000 12.925

Problem 7131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 30 27 126 141 88 202 149 97

N.S.

1 1.15 1.04 4.85 5.42 3.38 7.77 5.73 3.73

time (sec)

N/A 0.320 0.045 3.102 0.245 0.255 0.424 0.308 13.532

Problem 7132

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

N.S.

1 0.00 0.78 0.78 0.56 1.22 0.74 0.56 0.56

time (sec)

N/A 0.000 0.214 0.112 0.221 0.244 0.119 0.303 11.944

Problem 7133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 22 22 21 20 20 20 20 24

N.S.

1 0.76 0.76 0.72 0.69 0.69 0.69 0.69 0.83

time (sec)

N/A 0.171 0.014 0.035 0.180 0.235 0.048 0.275 0.057

Problem 7134

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

N.S.

1 0.60 0.60 0.47 0.43 0.43 0.50 0.43 0.43

time (sec)

N/A 0.003 0.009 0.033 0.180 0.243 0.037 0.272 0.044

Problem 7135

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

N.S.

1 0.80 1.10 0.90 0.80 0.80 0.80 0.80 0.80

time (sec)

N/A 0.003 0.002 0.161 0.183 0.267 0.039 0.292 0.034

Problem 7136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 24 22 17 17 24 12 17 16

N.S.

1 1.33 1.22 0.94 0.94 1.33 0.67 0.94 0.89

time (sec)

N/A 0.034 0.016 0.128 0.175 0.257 0.068 0.269 0.068

Problem 7137

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

32 0 20 19 18 18 15 36 18

N.S.

1 0.00 0.62 0.59 0.56 0.56 0.47 1.12 0.56

time (sec)

N/A 0.000 0.232 0.076 0.219 0.271 0.072 0.279 0.125

Problem 7138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B B B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 69 60 49 112 37 51 67 46

N.S.

1 2.76 2.40 1.96 4.48 1.48 2.04 2.68 1.84

time (sec)

N/A 0.113 0.070 0.627 0.202 0.272 0.132 0.295 11.896

Problem 7139

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

22 0 22 20 76 22 19 19 2169

N.S.

1 0.00 1.00 0.91 3.45 1.00 0.86 0.86 98.59

time (sec)

N/A 0.000 0.538 0.124 0.272 0.255 0.114 0.474 13.613

Problem 7140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 39 39 36 0 38 39 38 39

N.S.

1 1.39 1.39 1.29 0.00 1.36 1.39 1.36 1.39

time (sec)

N/A 1.263 0.175 0.336 0.000 0.271 0.428 1.031 12.644

Problem 7141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 30 30 27 31 28 27 0 26

N.S.

1 0.94 0.94 0.84 0.97 0.88 0.84 0.00 0.81

time (sec)

N/A 2.574 0.110 198.052 0.352 0.256 0.489 0.000 16.701

Problem 7142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

24 0 23 41 22 31 31 35 0

N.S.

1 0.00 0.96 1.71 0.92 1.29 1.29 1.46 0.00

time (sec)

N/A 0.000 5.127 0.781 0.244 0.251 0.135 0.364 0.000

Problem 7143

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 22 20 39 19 20 39 19

N.S.

1 1.04 0.96 0.87 1.70 0.83 0.87 1.70 0.83

time (sec)

N/A 0.010 0.007 0.153 0.176 0.249 0.062 0.304 12.726

Problem 7144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 28 31 29 27 32 26 28 22

N.S.

1 0.97 1.07 1.00 0.93 1.10 0.90 0.97 0.76

time (sec)

N/A 0.014 0.010 0.135 0.174 0.249 0.050 0.293 0.081

Problem 7145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 42 24 18 17 17 17 17 17

N.S.

1 2.21 1.26 0.95 0.89 0.89 0.89 0.89 0.89

time (sec)

N/A 0.017 0.049 0.202 0.176 0.254 0.047 0.294 0.060

Problem 7146

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

18 22 19 19 20 26 24 27 24

N.S.

1 1.22 1.06 1.06 1.11 1.44 1.33 1.50 1.33

time (sec)

N/A 0.354 0.144 0.618 0.356 0.265 0.095 0.308 12.150

Problem 7147

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 22 22 26 32 27 29 32 26

N.S.

1 1.10 1.10 1.30 1.60 1.35 1.45 1.60 1.30

time (sec)

N/A 0.012 0.008 0.140 0.182 0.261 0.078 0.297 11.907

Problem 7148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 22 23 43 43 0 24 22

N.S.

1 0.00 0.81 0.85 1.59 1.59 0.00 0.89 0.81

time (sec)

N/A 0.000 0.995 1.153 0.304 0.277 0.000 0.286 11.963

Problem 7149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 20 26 20 19 20 19

N.S.

1 1.00 1.00 1.05 1.37 1.05 1.00 1.05 1.00

time (sec)

N/A 0.120 0.020 1.351 0.298 0.253 0.061 0.308 12.158

Problem 7150

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

N.S.

1 0.50 0.50 0.57 0.50 0.50 0.50 0.50 0.57

time (sec)

N/A 0.002 0.001 0.074 0.178 0.252 0.037 0.306 11.881

Problem 7151

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 26 27 39 39 24 30 31

N.S.

1 0.00 0.96 1.00 1.44 1.44 0.89 1.11 1.15

time (sec)

N/A 0.000 1.342 3.941 0.301 0.265 0.065 0.318 12.447

Problem 7152

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

19 19 19 23 68 18 17 18 51

N.S.

1 1.00 1.00 1.21 3.58 0.95 0.89 0.95 2.68

time (sec)

N/A 0.560 0.129 0.977 0.425 0.260 0.205 0.354 12.703

Problem 7153

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

23 40 27 26 44 38 27 32 25

N.S.

1 1.74 1.17 1.13 1.91 1.65 1.17 1.39 1.09

time (sec)

N/A 0.079 0.041 0.345 0.179 0.277 0.068 0.307 0.109

Problem 7154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B B A B B B B

verified

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

size

24 0 79 54 26 53 51 181 184

N.S.

1 0.00 3.29 2.25 1.08 2.21 2.12 7.54 7.67

time (sec)

N/A 0.000 0.193 0.998 0.530 0.292 1.016 0.323 13.621

Problem 7155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 73 73 72 73 67 68 70 73

N.S.

1 3.04 3.04 3.00 3.04 2.79 2.83 2.92 3.04

time (sec)

N/A 0.060 0.018 0.109 0.177 0.262 0.078 0.291 12.868

Problem 7156

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

N.S.

1 0.00 1.09 1.14 1.23 1.23 1.09 1.23 1.09

time (sec)

N/A 0.000 0.195 0.796 0.225 0.238 0.046 0.291 12.392

Problem 7157

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

N.S.

1 0.00 0.97 0.93 1.03 1.03 1.00 0.90 0.90

time (sec)

N/A 0.000 4.503 0.088 0.242 0.266 0.196 0.346 0.164

Problem 7158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 37 22 36 38 28 31 28 33

N.S.

1 1.68 1.00 1.64 1.73 1.27 1.41 1.27 1.50

time (sec)

N/A 0.018 0.109 0.140 0.194 0.248 0.281 0.278 0.140

Problem 7159

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

N.S.

1 0.79 0.79 0.68 0.64 0.64 0.54 0.64 0.71

time (sec)

N/A 0.081 0.329 0.215 0.263 0.264 0.095 0.306 0.095

Problem 7160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 68 25 21 19 19 22 34 20

N.S.

1 2.27 0.83 0.70 0.63 0.63 0.73 1.13 0.67

time (sec)

N/A 0.041 0.072 0.253 0.489 0.272 1.924 0.351 14.099

Problem 7161

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

N.S.

1 1.00 1.00 0.83 0.78 0.96 0.96 0.96 0.78

time (sec)

N/A 0.010 0.032 0.146 0.212 0.274 0.059 0.295 0.084

Problem 7162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 9 9 8 7 7 7 7 7

N.S.

1 0.50 0.50 0.44 0.39 0.39 0.39 0.39 0.39

time (sec)

N/A 0.001 0.001 0.072 0.190 0.247 0.021 0.289 13.568

Problem 7163

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 29 35 35 31 32 38 49

N.S.

1 0.00 1.00 1.21 1.21 1.07 1.10 1.31 1.69

time (sec)

N/A 0.000 0.185 110.451 0.337 0.265 1.064 0.852 14.744

Problem 7164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 0 0 30 63 29 0 67 31

N.S.

1 0.00 0.00 1.20 2.52 1.16 0.00 2.68 1.24

time (sec)

N/A 0.000 0.000 23.673 0.296 0.257 0.000 0.860 12.928

Problem 7165

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

15 0 15 19 14 18 15 20 15

N.S.

1 0.00 1.00 1.27 0.93 1.20 1.00 1.33 1.00

time (sec)

N/A 0.000 0.122 0.153 0.270 0.249 0.104 0.299 12.874

Problem 7166

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 31 24 23 23 26 33 23

N.S.

1 0.00 0.94 0.73 0.70 0.70 0.79 1.00 0.70

time (sec)

N/A 0.000 0.538 0.142 0.222 0.259 0.105 0.292 12.881

Problem 7167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

36 0 39 38 44 44 39 44 0

N.S.

1 0.00 1.08 1.06 1.22 1.22 1.08 1.22 0.00

time (sec)

N/A 0.000 0.470 1.385 0.344 0.257 0.156 0.912 0.000

Problem 7168

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 36 17 20 25 21 22 25 5106

N.S.

1 1.33 0.63 0.74 0.93 0.78 0.81 0.93 189.11

time (sec)

N/A 0.061 0.023 0.161 0.187 0.244 0.294 0.285 13.652

Problem 7169

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

22 0 32 19 42 38 37 35 18

N.S.

1 0.00 1.45 0.86 1.91 1.73 1.68 1.59 0.82

time (sec)

N/A 0.000 0.969 0.309 0.320 0.267 0.145 0.313 13.173

Problem 7170

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

N.S.

1 0.85 0.85 0.81 0.77 0.85 0.58 0.77 0.77

time (sec)

N/A 0.026 0.010 0.064 0.180 0.252 0.053 0.296 13.337

Problem 7171

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 15 18 13 10 10 19 10 15

N.S.

1 1.15 1.38 1.00 0.77 0.77 1.46 0.77 1.15

time (sec)

N/A 0.002 0.003 0.054 0.193 0.233 0.061 0.287 0.038

Problem 7172

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

25 0 26 25 44 44 44 0 108

N.S.

1 0.00 1.04 1.00 1.76 1.76 1.76 0.00 4.32

time (sec)

N/A 0.000 3.691 17.753 0.318 0.250 0.501 0.000 13.929

Problem 7173

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

20 34 24 22 35 21 19 38 21

N.S.

1 1.70 1.20 1.10 1.75 1.05 0.95 1.90 1.05

time (sec)

N/A 0.065 0.179 0.261 0.217 0.263 0.060 0.284 0.084

Problem 7174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 71 32 35 50 30 42 30 40

N.S.

1 2.73 1.23 1.35 1.92 1.15 1.62 1.15 1.54

time (sec)

N/A 0.576 2.344 1.605 0.232 0.257 0.206 0.293 13.419

Problem 7175

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

N.S.

1 0.81 0.81 0.81 0.76 0.76 0.71 0.76 0.76

time (sec)

N/A 0.024 0.015 0.120 0.232 0.270 0.077 0.293 13.825

Problem 7176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 57 59 53 52 58 0 0

N.S.

1 0.00 2.04 2.11 1.89 1.86 2.07 0.00 0.00

time (sec)

N/A 0.000 0.269 1.462 0.634 0.255 0.273 0.000 0.000

Problem 7177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 24 20 18 24 17 20 58 17

N.S.

1 1.20 1.00 0.90 1.20 0.85 1.00 2.90 0.85

time (sec)

N/A 0.358 0.644 70.916 0.358 0.243 0.140 0.331 14.795

Problem 7178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 34 15 33 35 35 27 35 15

N.S.

1 2.12 0.94 2.06 2.19 2.19 1.69 2.19 0.94

time (sec)

N/A 0.008 0.010 0.091 0.190 0.245 0.026 0.273 12.229

Problem 7179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A F B

verified

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

size

22 0 23 21 24 24 20 0 23

N.S.

1 0.00 1.05 0.95 1.09 1.09 0.91 0.00 1.05

time (sec)

N/A 0.000 1.245 1.991 0.236 0.268 0.227 0.000 11.726

Problem 7180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

19 0 17 19 27 27 17 27 0

N.S.

1 0.00 0.89 1.00 1.42 1.42 0.89 1.42 0.00

time (sec)

N/A 0.000 0.237 0.274 0.312 0.254 0.080 0.362 0.000

Problem 7181

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 35 27 35 34 34 37 34 36

N.S.

1 1.84 1.42 1.84 1.79 1.79 1.95 1.79 1.89

time (sec)

N/A 0.034 0.017 0.099 0.306 0.254 0.058 0.272 0.099

Problem 7182

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

N.S.

1 0.63 0.58 0.58 0.79 0.53 0.42 0.53 0.53

time (sec)

N/A 0.007 0.002 0.108 0.195 0.260 0.049 0.273 0.057

Problem 7183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 23 25 19 21 22 20 22 18

N.S.

1 1.10 1.19 0.90 1.00 1.05 0.95 1.05 0.86

time (sec)

N/A 0.193 0.456 0.191 0.312 0.240 0.205 0.305 0.640

Problem 7184

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

15 28 28 25 34 22 24 28 22

N.S.

1 1.87 1.87 1.67 2.27 1.47 1.60 1.87 1.47

time (sec)

N/A 0.028 0.007 0.026 0.209 0.245 0.070 0.290 12.786

Problem 7185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 24 17 14 13 20 12 13 14

N.S.

1 1.33 0.94 0.78 0.72 1.11 0.67 0.72 0.78

time (sec)

N/A 0.139 0.047 0.135 0.190 0.255 0.073 0.296 12.878

Problem 7186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B F A B A A F B

verified

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

size

34 250 0 23 94 40 22 0 24

N.S.

1 7.35 0.00 0.68 2.76 1.18 0.65 0.00 0.71

time (sec)

N/A 1.107 0.000 0.917 0.359 0.266 0.243 0.000 12.607

Problem 7187

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 25 16 18 16 28 24 23 15

N.S.

1 1.32 0.84 0.95 0.84 1.47 1.26 1.21 0.79

time (sec)

N/A 0.204 0.030 0.391 0.342 0.250 0.115 0.279 12.321

Problem 7188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 74 73 73 76 75 73

N.S.

1 1.00 1.00 4.35 4.29 4.29 4.47 4.41 4.29

time (sec)

N/A 0.226 0.034 1.883 0.273 0.273 0.568 0.301 13.225

Problem 7189

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

27 0 38 32 51 38 39 39 68

N.S.

1 0.00 1.41 1.19 1.89 1.41 1.44 1.44 2.52

time (sec)

N/A 0.000 5.122 1.599 0.352 0.267 35.419 0.330 13.097

Problem 7190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 13 0 13 14 12 13

N.S.

1 1.00 1.00 0.87 0.00 0.87 0.93 0.80 0.87

time (sec)

N/A 0.016 0.015 0.541 0.000 0.276 0.076 0.288 0.066

Problem 7191

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

21 24 19 21 45 21 14 21 20

N.S.

1 1.14 0.90 1.00 2.14 1.00 0.67 1.00 0.95

time (sec)

N/A 0.032 0.084 0.091 0.194 0.235 0.061 0.274 0.085

Problem 7192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 39 22 22 21 21 26 24 21

N.S.

1 2.60 1.47 1.47 1.40 1.40 1.73 1.60 1.40

time (sec)

N/A 0.079 0.011 0.065 0.202 0.264 0.135 0.271 13.232

Problem 7193

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

N.S.

1 1.10 1.15 1.00 1.05 1.05 0.95 1.05 1.10

time (sec)

N/A 0.005 0.000 0.091 0.227 0.262 0.023 0.263 0.056

Problem 7194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A B B B

verified

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

size

26 0 48 50 55 49 53 69 49

N.S.

1 0.00 1.85 1.92 2.12 1.88 2.04 2.65 1.88

time (sec)

N/A 0.000 0.107 0.605 0.331 0.254 0.671 0.392 13.387

Problem 7195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B C B A B B

verified

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

size

28 0 28 145 215 88 39 31752 27

N.S.

1 0.00 1.00 5.18 7.68 3.14 1.39 1134.00 0.96

time (sec)

N/A 0.000 0.190 45.919 0.563 0.253 0.367 16.297 14.060

Problem 7196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 33 154 41 41 36 39 0

N.S.

1 0.00 1.27 5.92 1.58 1.58 1.38 1.50 0.00

time (sec)

N/A 0.000 0.079 48.355 0.255 0.261 0.191 0.362 0.000

Problem 7197

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

20 26 21 25 24 24 20 0 18

N.S.

1 1.30 1.05 1.25 1.20 1.20 1.00 0.00 0.90

time (sec)

N/A 0.016 0.038 0.149 0.192 0.249 0.085 0.000 12.944

Problem 7198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A B C B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 109 32 174 728 137 240 180 216

N.S.

1 3.63 1.07 5.80 24.27 4.57 8.00 6.00 7.20

time (sec)

N/A 0.245 0.101 0.745 0.339 0.266 0.466 0.291 13.325

Problem 7199

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 23 27 19 21 25 17 21 21

N.S.

1 1.00 1.17 0.83 0.91 1.09 0.74 0.91 0.91

time (sec)

N/A 0.015 0.012 0.971 0.189 0.248 0.029 0.275 0.053

Problem 7200

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

N.S.

1 0.48 0.48 0.48 0.44 0.44 0.37 0.52 0.44

time (sec)

N/A 0.006 0.005 0.563 0.212 0.232 0.089 0.274 0.097