Integrals 6101 to 6200

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 6101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B B B B B B B

verified

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

size

32 0 129 135 178 182 63 1806 126

N.S.

1 0.00 4.03 4.22 5.56 5.69 1.97 56.44 3.94

time (sec)

N/A 0.000 0.419 3.778 0.330 0.272 0.297 0.509 12.565

Problem 6102

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 31 31 52 38 37 61 785

N.S.

1 0.00 0.89 0.89 1.49 1.09 1.06 1.74 22.43

time (sec)

N/A 0.000 0.196 28.365 0.549 0.258 0.225 0.666 14.590

Problem 6103

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 41 27 28 39 23 31 23 18

N.S.

1 1.78 1.17 1.22 1.70 1.00 1.35 1.00 0.78

time (sec)

N/A 0.022 0.007 0.108 0.175 0.264 0.084 0.295 11.068

Problem 6104

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 28 40 54 54 37 40 61

N.S.

1 0.00 1.04 1.48 2.00 2.00 1.37 1.48 2.26

time (sec)

N/A 0.000 0.052 1.091 0.197 0.239 0.089 0.285 11.077

Problem 6105

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 46 27 32 78 32 29 34 33

N.S.

1 1.84 1.08 1.28 3.12 1.28 1.16 1.36 1.32

time (sec)

N/A 0.145 0.436 0.083 0.182 0.242 0.076 0.284 10.785

Problem 6106

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

25 15 15 15 31 15 15 16 12

N.S.

1 0.60 0.60 0.60 1.24 0.60 0.60 0.64 0.48

time (sec)

N/A 0.015 0.008 0.086 0.174 0.250 0.056 0.262 10.874

Problem 6107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

23 0 27 41 37 33 42 843 0

N.S.

1 0.00 1.17 1.78 1.61 1.43 1.83 36.65 0.00

time (sec)

N/A 0.000 0.274 1.329 0.245 0.262 0.138 234.915 0.000

Problem 6108

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

N.S.

1 1.42 1.16 1.05 1.26 1.21 1.16 1.26 1.16

time (sec)

N/A 0.003 0.003 0.059 0.187 0.232 0.029 0.266 0.287

Problem 6109

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

32 0 34 37 57 34 119 151 0

N.S.

1 0.00 1.06 1.16 1.78 1.06 3.72 4.72 0.00

time (sec)

N/A 0.000 1.255 1.042 0.307 0.274 0.976 0.294 0.000

Problem 6110

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

25 17 17 17 20 18 12 19 15

N.S.

1 0.68 0.68 0.68 0.80 0.72 0.48 0.76 0.60

time (sec)

N/A 0.029 0.020 0.081 0.216 0.264 0.049 0.277 10.815

Problem 6111

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 23 25 30 29 34 29 27 29

N.S.

1 0.96 1.04 1.25 1.21 1.42 1.21 1.12 1.21

time (sec)

N/A 0.044 0.024 0.139 0.193 0.238 0.183 0.280 0.135

Problem 6112

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 30 20 20 19 21 19 21 16

N.S.

1 1.67 1.11 1.11 1.06 1.17 1.06 1.17 0.89

time (sec)

N/A 0.010 0.043 0.120 0.190 0.257 0.045 0.288 10.772

Problem 6113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B A B B B B B

verified

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

size

25 0 53 49 56 56 54 68 68

N.S.

1 0.00 2.12 1.96 2.24 2.24 2.16 2.72 2.72

time (sec)

N/A 0.000 0.897 0.145 0.191 0.268 0.080 0.287 10.853

Problem 6114

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 29 33 30 29 24 46 49

N.S.

1 0.00 0.97 1.10 1.00 0.97 0.80 1.53 1.63

time (sec)

N/A 0.000 0.220 3.708 0.341 0.253 0.601 0.448 13.215

Problem 6115

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

N.S.

1 0.00 0.73 0.73 0.91 0.91 0.79 1.03 1.09

time (sec)

N/A 0.000 3.253 0.214 0.240 0.242 0.092 0.279 11.711

Problem 6116

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

18 22 16 22 0 21 26 21 15

N.S.

1 1.22 0.89 1.22 0.00 1.17 1.44 1.17 0.83

time (sec)

N/A 0.042 0.204 0.230 0.000 0.257 0.138 0.276 11.631

Problem 6117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B F B B A B B B

verified

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

size

30 109 0 64 163 51 60 77 125

N.S.

1 3.63 0.00 2.13 5.43 1.70 2.00 2.57 4.17

time (sec)

N/A 1.089 0.000 0.726 0.507 0.254 0.385 1.177 1.785

Problem 6118

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

21 69 42 62 75 46 68 61 40

N.S.

1 3.29 2.00 2.95 3.57 2.19 3.24 2.90 1.90

time (sec)

N/A 0.066 0.029 0.125 0.183 0.252 0.145 0.284 12.154

Problem 6119

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

N.S.

1 0.80 0.80 0.85 0.80 0.80 0.75 0.90 0.80

time (sec)

N/A 0.071 0.008 0.047 0.265 0.237 0.054 0.290 11.424

Problem 6120

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

15 21 23 15 31 14 14 14 14

N.S.

1 1.40 1.53 1.00 2.07 0.93 0.93 0.93 0.93

time (sec)

N/A 0.157 0.037 0.058 0.207 0.229 0.061 0.269 10.969

Problem 6121

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 24 20 20 20 17 20 19

N.S.

1 1.00 1.04 0.87 0.87 0.87 0.74 0.87 0.83

time (sec)

N/A 0.624 0.203 0.732 0.208 0.261 0.122 0.267 11.062

Problem 6122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A B F A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 398 30 56 0 36 180 564 102

N.S.

1 18.09 1.36 2.55 0.00 1.64 8.18 25.64 4.64

time (sec)

N/A 0.490 0.105 0.845 0.000 0.254 0.214 0.462 12.482

Problem 6123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 30 37 64 36 0 0 38

N.S.

1 0.00 1.07 1.32 2.29 1.29 0.00 0.00 1.36

time (sec)

N/A 0.000 0.266 1.146 0.542 0.249 0.000 0.000 12.115

Problem 6124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 29 75 27 25 48 19 26 25

N.S.

1 1.26 3.26 1.17 1.09 2.09 0.83 1.13 1.09

time (sec)

N/A 0.038 0.090 2.989 0.194 0.237 0.075 0.298 0.154

Problem 6125

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

N.S.

1 0.47 0.47 0.42 0.37 0.37 0.42 0.37 0.37

time (sec)

N/A 0.001 0.001 0.027 0.189 0.233 0.029 0.278 0.031

Problem 6126

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

29 0 40 35 42 39 37 0 41

N.S.

1 0.00 1.38 1.21 1.45 1.34 1.28 0.00 1.41

time (sec)

N/A 0.000 0.355 3.799 0.553 0.249 2.212 0.000 11.679

Problem 6127

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 24 19 23 24 20 20 24 178

N.S.

1 1.20 0.95 1.15 1.20 1.00 1.00 1.20 8.90

time (sec)

N/A 0.673 0.715 0.988 0.229 0.251 0.124 0.314 13.399

Problem 6128

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

39 57 48 44 37 38 54 37 41

N.S.

1 1.46 1.23 1.13 0.95 0.97 1.38 0.95 1.05

time (sec)

N/A 0.021 0.049 0.128 0.176 0.256 0.212 0.273 0.347

Problem 6129

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

N.S.

1 1.00 1.00 0.86 0.79 0.79 0.71 0.79 0.86

time (sec)

N/A 0.014 0.022 0.069 0.181 0.245 0.053 0.276 0.059

Problem 6130

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

21 19 19 23 23 21 19 0 21

N.S.

1 0.90 0.90 1.10 1.10 1.00 0.90 0.00 1.00

time (sec)

N/A 0.273 0.082 16.618 0.311 0.281 0.134 0.000 11.770

Problem 6131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

33 0 65 67 98 98 73 0 0

N.S.

1 0.00 1.97 2.03 2.97 2.97 2.21 0.00 0.00

time (sec)

N/A 0.000 0.364 1.081 0.334 0.263 0.823 0.000 0.000

Problem 6132

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 24 26 23 23 34 25 29

N.S.

1 0.00 0.86 0.93 0.82 0.82 1.21 0.89 1.04

time (sec)

N/A 0.000 4.533 0.120 0.229 0.262 0.120 0.295 11.474

Problem 6133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B B B B

verified

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

size

29 0 31 46 47 62 42 66 51

N.S.

1 0.00 1.07 1.59 1.62 2.14 1.45 2.28 1.76

time (sec)

N/A 0.000 0.097 2.030 0.316 0.271 0.175 1.444 13.539

Problem 6134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A C A A A A B

verified

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

size

23 0 20 212 35 41 31 36 21

N.S.

1 0.00 0.87 9.22 1.52 1.78 1.35 1.57 0.91

time (sec)

N/A 0.000 0.169 0.409 0.311 0.265 0.304 0.469 12.120

Problem 6135

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 11 11 12 11 17 10 12 11

N.S.

1 0.73 0.73 0.80 0.73 1.13 0.67 0.80 0.73

time (sec)

N/A 0.003 0.001 0.148 0.181 0.256 0.045 0.289 0.027

Problem 6136

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

N.S.

1 1.41 1.00 1.00 0.90 0.90 0.93 0.90 1.03

time (sec)

N/A 0.029 0.147 0.065 0.174 0.249 0.052 0.284 11.278

Problem 6137

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

N.S.

1 0.93 0.93 0.93 0.87 0.87 0.67 0.87 0.93

time (sec)

N/A 0.011 0.029 0.038 0.184 0.246 0.050 0.282 11.666

Problem 6138

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 28 32 24 23 26 32 25 30

N.S.

1 1.17 1.33 1.00 0.96 1.08 1.33 1.04 1.25

time (sec)

N/A 0.054 0.043 0.142 0.177 0.265 0.231 0.304 0.274

Problem 6139

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 20 33 20 19 26 19 19

N.S.

1 0.00 0.69 1.14 0.69 0.66 0.90 0.66 0.66

time (sec)

N/A 0.000 1.217 0.256 0.221 0.256 0.175 0.339 11.945

Problem 6140

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 21 17 16 28 14 0 16

N.S.

1 0.00 0.95 0.77 0.73 1.27 0.64 0.00 0.73

time (sec)

N/A 0.000 0.050 0.162 0.246 0.247 0.133 0.000 11.705

Problem 6141

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 25 42 39 42 42 36

N.S.

1 0.00 0.96 0.93 1.56 1.44 1.56 1.56 1.33

time (sec)

N/A 0.000 0.086 1.207 0.215 0.255 0.147 0.343 11.718

Problem 6142

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 21 26 21 26 30 20

N.S.

1 0.00 0.88 0.88 1.08 0.88 1.08 1.25 0.83

time (sec)

N/A 0.000 0.547 0.185 0.231 0.258 0.123 0.276 11.565

Problem 6143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 39 45 37 51 36 87 75 34

N.S.

1 1.26 1.45 1.19 1.65 1.16 2.81 2.42 1.10

time (sec)

N/A 0.241 0.042 0.086 0.211 0.235 0.053 0.279 11.643

Problem 6144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 42 87 97 94 105 98 101

N.S.

1 0.00 1.40 2.90 3.23 3.13 3.50 3.27 3.37

time (sec)

N/A 0.000 0.378 0.268 0.246 0.260 0.210 0.381 12.228

Problem 6145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 48 50 56 49 36 49 0

N.S.

1 0.00 1.78 1.85 2.07 1.81 1.33 1.81 0.00

time (sec)

N/A 0.000 0.120 8.436 0.265 0.269 0.250 0.673 0.000

Problem 6146

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 17 19 20 28 24 27 28 22

N.S.

1 0.74 0.83 0.87 1.22 1.04 1.17 1.22 0.96

time (sec)

N/A 0.010 0.007 0.139 0.181 0.234 0.052 0.270 0.065

Problem 6147

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 25 25 22 21 21 26 21 21

N.S.

1 1.14 1.14 1.00 0.95 0.95 1.18 0.95 0.95

time (sec)

N/A 0.012 0.007 0.030 0.176 0.255 0.063 0.281 11.686

Problem 6148

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

N.S.

1 0.70 0.78 0.65 0.57 0.78 0.61 0.57 0.65

time (sec)

N/A 0.006 0.005 0.080 0.172 0.247 0.056 0.268 0.042

Problem 6149

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

18 29 18 18 43 17 20 17 17

N.S.

1 1.61 1.00 1.00 2.39 0.94 1.11 0.94 0.94

time (sec)

N/A 0.048 0.053 0.103 0.296 0.246 0.092 0.298 11.798

Problem 6150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 48 48 39 74 36 41 33 22

N.S.

1 2.09 2.09 1.70 3.22 1.57 1.78 1.43 0.96

time (sec)

N/A 0.102 0.028 0.071 0.190 0.238 0.098 0.288 11.751

Problem 6151

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 26 30 24 26 23 22 26 26

N.S.

1 0.90 1.03 0.83 0.90 0.79 0.76 0.90 0.90

time (sec)

N/A 0.008 0.005 0.040 0.180 0.239 0.044 0.281 0.034

Problem 6152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 56 26 26 0 25 19 37 24

N.S.

1 2.80 1.30 1.30 0.00 1.25 0.95 1.85 1.20

time (sec)

N/A 0.506 1.108 0.150 0.000 0.244 0.061 0.284 0.170

Problem 6153

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

25 14 12 11 10 10 10 10 12

N.S.

1 0.56 0.48 0.44 0.40 0.40 0.40 0.40 0.48

time (sec)

N/A 0.003 0.007 0.038 0.178 0.232 0.036 0.280 11.674

Problem 6154

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 5 5 5 4 4 3 4 4

N.S.

1 0.31 0.31 0.31 0.25 0.25 0.19 0.25 0.25

time (sec)

N/A 0.001 0.001 0.059 0.180 0.237 0.031 0.275 0.010

Problem 6155

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

22 70 46 22 48 48 54 48 52

N.S.

1 3.18 2.09 1.00 2.18 2.18 2.45 2.18 2.36

time (sec)

N/A 0.012 0.024 0.187 0.181 0.240 0.029 0.277 0.064

Problem 6156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 66 27 25 24 23 0 23 23

N.S.

1 2.44 1.00 0.93 0.89 0.85 0.00 0.85 0.85

time (sec)

N/A 0.075 0.033 1.569 0.271 0.242 0.000 0.469 12.085

Problem 6157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B A F B

verified

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

size

24 0 24 21 20 114 17 0 20

N.S.

1 0.00 1.00 0.88 0.83 4.75 0.71 0.00 0.83

time (sec)

N/A 0.000 0.256 263.674 0.588 0.253 29.759 0.000 0.314

Problem 6158

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

29 0 21 26 28 19 17 25 0

N.S.

1 0.00 0.72 0.90 0.97 0.66 0.59 0.86 0.00

time (sec)

N/A 0.000 0.386 0.698 0.298 0.239 0.119 0.298 0.000

Problem 6159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 139 27 30 58 0 0 0 66

N.S.

1 4.34 0.84 0.94 1.81 0.00 0.00 0.00 2.06

time (sec)

N/A 0.505 0.274 1.395 0.282 0.000 0.000 0.000 12.096

Problem 6160

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

8 18 8 6 12 5 7 5 5

N.S.

1 2.25 1.00 0.75 1.50 0.62 0.88 0.62 0.62

time (sec)

N/A 0.007 0.001 0.020 0.172 0.250 0.050 0.282 0.017

Problem 6161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 28 53 65 30 24 142 0

N.S.

1 0.00 1.00 1.89 2.32 1.07 0.86 5.07 0.00

time (sec)

N/A 0.000 5.067 6.853 0.331 0.254 0.214 0.315 0.000

Problem 6162

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

N.S.

1 0.83 0.78 0.78 0.83 0.78 0.74 0.96 0.70

time (sec)

N/A 0.026 0.009 0.046 0.176 0.247 0.063 0.284 12.445

Problem 6163

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

24 25 25 23 22 26 20 0 22

N.S.

1 1.04 1.04 0.96 0.92 1.08 0.83 0.00 0.92

time (sec)

N/A 0.117 0.043 0.427 0.301 0.247 0.095 0.000 13.451

Problem 6164

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

32 35 29 25 32 24 24 29 0

N.S.

1 1.09 0.91 0.78 1.00 0.75 0.75 0.91 0.00

time (sec)

N/A 0.924 0.326 1.543 0.310 0.257 0.537 0.697 0.000

Problem 6165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 138 35 77 464 68 105 605 0

N.S.

1 4.93 1.25 2.75 16.57 2.43 3.75 21.61 0.00

time (sec)

N/A 0.668 0.123 2.698 0.321 0.256 0.600 0.331 0.000

Problem 6166

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

25 27 28 26 30 26 26 27 24

N.S.

1 1.08 1.12 1.04 1.20 1.04 1.04 1.08 0.96

time (sec)

N/A 0.445 0.430 2.113 0.302 0.278 0.181 0.337 13.300

Problem 6167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 60 31 33 99 38 22 51 24

N.S.

1 2.50 1.29 1.38 4.12 1.58 0.92 2.12 1.00

time (sec)

N/A 0.212 0.363 0.433 0.300 0.268 0.158 0.306 12.485

Problem 6168

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 28 33 27 27 36 32 30

N.S.

1 0.00 1.12 1.32 1.08 1.08 1.44 1.28 1.20

time (sec)

N/A 0.000 0.572 7.565 0.237 0.260 0.148 0.417 12.434

Problem 6169

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

20 0 28 20 0 19 15 25 25

N.S.

1 0.00 1.40 1.00 0.00 0.95 0.75 1.25 1.25

time (sec)

N/A 0.000 0.112 0.621 0.000 0.268 0.095 0.289 0.148

Problem 6170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 81 27 26 42 24 26 26

N.S.

1 1.00 3.12 1.04 1.00 1.62 0.92 1.00 1.00

time (sec)

N/A 0.053 0.041 0.638 0.180 0.251 0.087 0.287 0.137

Problem 6171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 97 24 39 43 26 37 0 0

N.S.

1 4.04 1.00 1.62 1.79 1.08 1.54 0.00 0.00

time (sec)

N/A 0.738 3.386 3.640 0.305 0.252 5.769 0.000 0.000

Problem 6172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B B B B B B B

verified

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

size

25 0 51 56 63 54 68 74 63

N.S.

1 0.00 2.04 2.24 2.52 2.16 2.72 2.96 2.52

time (sec)

N/A 0.000 0.222 2.253 0.298 0.264 0.187 0.403 12.154

Problem 6173

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

N.S.

1 1.26 0.91 1.09 0.96 1.04 1.13 0.96 1.04

time (sec)

N/A 0.316 0.649 0.229 0.274 0.274 0.158 0.305 11.604

Problem 6174

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

34 0 51 65 64 60 95 71 0

N.S.

1 0.00 1.50 1.91 1.88 1.76 2.79 2.09 0.00

time (sec)

N/A 0.000 0.165 3.154 0.328 0.262 0.544 0.817 0.000

Problem 6175

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

20 34 40 21 49 20 19 20 16

N.S.

1 1.70 2.00 1.05 2.45 1.00 0.95 1.00 0.80

time (sec)

N/A 0.062 0.020 0.364 0.283 0.265 0.081 0.289 0.127

Problem 6176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B B B F B

verified

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

size

32 0 39 36 69 69 68 0 66

N.S.

1 0.00 1.22 1.12 2.16 2.16 2.12 0.00 2.06

time (sec)

N/A 0.000 0.218 56.543 0.438 0.257 0.312 0.000 12.402

Problem 6177

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

20 0 16 15 27 14 17 14 14

N.S.

1 0.00 0.80 0.75 1.35 0.70 0.85 0.70 0.70

time (sec)

N/A 0.000 0.056 0.392 0.296 0.253 0.124 0.298 12.306

Problem 6178

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 50 29 29 40 48 24 46 54

N.S.

1 1.61 0.94 0.94 1.29 1.55 0.77 1.48 1.74

time (sec)

N/A 0.612 6.468 0.179 0.226 0.246 0.097 0.296 11.621

Problem 6179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 51 78 159 168 95 224 0

N.S.

1 0.00 1.89 2.89 5.89 6.22 3.52 8.30 0.00

time (sec)

N/A 0.000 10.123 0.528 0.250 0.267 0.175 0.449 0.000

Problem 6180

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

N.S.

1 0.52 0.62 0.43 0.43 0.43 0.38 0.43 0.38

time (sec)

N/A 0.001 0.001 0.024 0.181 0.245 0.020 0.281 0.034

Problem 6181

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

N.S.

1 0.75 0.75 0.81 0.69 0.69 0.88 0.75 0.62

time (sec)

N/A 0.008 0.004 0.384 0.183 0.234 0.031 0.276 11.964

Problem 6182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 65 89 96 76 95 0 68

N.S.

1 0.00 2.17 2.97 3.20 2.53 3.17 0.00 2.27

time (sec)

N/A 0.000 0.081 0.269 0.183 0.281 0.243 0.000 11.664

Problem 6183

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 31 27 27 26 26 27 26 26

N.S.

1 1.48 1.29 1.29 1.24 1.24 1.29 1.24 1.24

time (sec)

N/A 0.052 0.062 0.086 0.179 0.264 0.090 0.280 0.110

Problem 6184

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

22 30 20 30 43 23 27 29 19

N.S.

1 1.36 0.91 1.36 1.95 1.05 1.23 1.32 0.86

time (sec)

N/A 0.562 0.177 0.575 0.215 0.271 0.187 0.283 11.642

Problem 6185

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 17 27 15 14 14 14 15 14

N.S.

1 0.85 1.35 0.75 0.70 0.70 0.70 0.75 0.70

time (sec)

N/A 0.013 0.019 0.418 0.180 0.273 0.061 0.273 0.079

Problem 6186

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

N.S.

1 1.19 1.19 1.07 1.19 1.19 1.15 1.26 1.11

time (sec)

N/A 0.057 0.014 0.076 0.183 0.271 0.073 0.302 0.141

Problem 6187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 51 33 68 52 51 85 0

N.S.

1 0.00 1.76 1.14 2.34 1.79 1.76 2.93 0.00

time (sec)

N/A 0.000 0.151 0.259 0.231 0.289 0.714 0.353 0.000

Problem 6188

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

26 0 26 27 26 26 22 28 0

N.S.

1 0.00 1.00 1.04 1.00 1.00 0.85 1.08 0.00

time (sec)

N/A 0.000 0.375 0.579 0.208 0.236 0.142 0.311 0.000

Problem 6189

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

23 0 29 21 20 21 20 0 30

N.S.

1 0.00 1.26 0.91 0.87 0.91 0.87 0.00 1.30

time (sec)

N/A 0.000 0.044 1.006 0.305 0.262 0.133 0.000 11.646

Problem 6190

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

31 38 33 30 41 37 27 38 29

N.S.

1 1.23 1.06 0.97 1.32 1.19 0.87 1.23 0.94

time (sec)

N/A 0.208 0.107 0.134 0.206 0.261 0.197 0.335 11.005

Problem 6191

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 42 25 25 42 29 24 26 24

N.S.

1 1.83 1.09 1.09 1.83 1.26 1.04 1.13 1.04

time (sec)

N/A 0.450 1.906 0.115 0.218 0.252 0.131 0.293 0.162

Problem 6192

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

N.S.

1 1.88 0.92 1.12 1.04 1.29 1.08 1.04 1.08

time (sec)

N/A 0.529 3.934 0.583 0.303 0.261 0.147 0.313 11.945

Problem 6193

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

25 33 41 30 32 33 1023 33 20

N.S.

1 1.32 1.64 1.20 1.28 1.32 40.92 1.32 0.80

time (sec)

N/A 0.152 0.075 0.244 0.183 0.249 3.991 0.289 0.232

Problem 6194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 97 28 28 0 29 22 0 27

N.S.

1 3.59 1.04 1.04 0.00 1.07 0.81 0.00 1.00

time (sec)

N/A 0.172 0.181 0.858 0.000 0.263 0.465 0.000 11.550

Problem 6195

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

29 36 35 29 52 36 37 38 26

N.S.

1 1.24 1.21 1.00 1.79 1.24 1.28 1.31 0.90

time (sec)

N/A 0.031 0.043 0.096 0.184 0.257 0.114 0.283 11.945

Problem 6196

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

26 0 26 138 82 74 121 435 77

N.S.

1 0.00 1.00 5.31 3.15 2.85 4.65 16.73 2.96

time (sec)

N/A 0.000 0.887 0.959 0.228 0.261 0.327 0.318 12.178

Problem 6197

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 31 28 34 30 32 100 38

N.S.

1 0.00 1.35 1.22 1.48 1.30 1.39 4.35 1.65

time (sec)

N/A 0.000 5.088 1.442 0.454 0.263 0.242 0.422 12.182

Problem 6198

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 25 19 16 25 27 24 25 26

N.S.

1 1.19 0.90 0.76 1.19 1.29 1.14 1.19 1.24

time (sec)

N/A 0.106 0.042 0.171 0.314 0.261 0.080 0.270 0.149

Problem 6199

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

19 0 19 26 15 25 20 15 18

N.S.

1 0.00 1.00 1.37 0.79 1.32 1.05 0.79 0.95

time (sec)

N/A 0.000 0.227 0.355 0.252 0.260 0.142 0.275 12.340

Problem 6200

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

27 25 24 31 58 51 17 60 25

N.S.

1 0.93 0.89 1.15 2.15 1.89 0.63 2.22 0.93

time (sec)

N/A 0.479 0.062 1.437 0.243 0.249 0.114 0.320 12.331