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

2.2.22 Integrals 2101 to 2200

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 2101

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

N.S.

1 0.94 0.94 0.89 0.83 0.83 0.83 0.94 0.83

time (sec)

N/A 0.163 0.008 0.255 0.189 0.249 0.598 0.254 0.146

Problem 2102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 29 443 33 26 0 28 0

N.S.

1 0.00 1.00 15.28 1.14 0.90 0.00 0.97 0.00

time (sec)

N/A 0.000 5.210 0.822 0.387 0.242 0.000 2.067 0.000

Problem 2103

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

33 17 17 16 17 20 12 20 15

N.S.

1 0.52 0.52 0.48 0.52 0.61 0.36 0.61 0.45

time (sec)

N/A 0.204 0.017 0.144 0.229 0.237 0.079 0.260 10.292

Problem 2104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C B A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 153 43 27 99 33 48 70 26

N.S.

1 7.65 2.15 1.35 4.95 1.65 2.40 3.50 1.30

time (sec)

N/A 0.836 0.163 0.092 0.238 0.259 0.161 0.251 10.408

Problem 2105

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

N.S.

1 1.74 0.79 0.74 0.68 0.68 0.79 0.68 0.74

time (sec)

N/A 0.189 0.018 0.113 0.243 0.269 0.103 0.262 0.065

Problem 2106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 17 24 16 31 16 14

N.S.

1 1.00 1.00 1.13 1.60 1.07 2.07 1.07 0.93

time (sec)

N/A 0.169 0.037 0.169 0.221 0.244 0.058 0.250 0.064

Problem 2107

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

19 0 19 63 43 48 49 109 17

N.S.

1 0.00 1.00 3.32 2.26 2.53 2.58 5.74 0.89

time (sec)

N/A 0.000 0.099 0.342 0.323 0.254 0.200 0.264 10.311

Problem 2108

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

12 14 11 11 10 12 5 10 10

N.S.

1 1.17 0.92 0.92 0.83 1.00 0.42 0.83 0.83

time (sec)

N/A 0.166 0.008 0.068 0.196 0.229 0.040 0.253 0.052

Problem 2109

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

N.S.

1 0.81 0.81 0.81 0.77 0.77 0.77 0.77 0.77

time (sec)

N/A 0.474 0.057 0.051 0.202 0.243 0.101 0.252 10.321

Problem 2110

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 23 26 27 27 22 27 67

N.S.

1 0.00 0.88 1.00 1.04 1.04 0.85 1.04 2.58

time (sec)

N/A 0.000 0.620 0.181 0.245 0.244 0.085 0.271 10.382

Problem 2111

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

12 12 12 13 15 15 15 15 14

N.S.

1 1.00 1.00 1.08 1.25 1.25 1.25 1.25 1.17

time (sec)

N/A 0.256 0.048 0.227 0.282 0.243 0.102 0.249 10.009

Problem 2112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 587 92 80 349 114 88 753 80

N.S.

1 17.79 2.79 2.42 10.58 3.45 2.67 22.82 2.42

time (sec)

N/A 12.369 6.517 0.927 0.341 0.239 0.156 0.479 10.119

Problem 2113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 28 36 29 28 0 0 0

N.S.

1 0.00 1.00 1.29 1.04 1.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.083 23.410 0.368 0.253 0.000 0.000 0.000

Problem 2114

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

N.S.

1 1.19 1.19 1.23 1.12 1.31 1.19 1.31 1.23

time (sec)

N/A 0.409 0.313 1.536 0.309 0.249 0.147 0.274 10.190

Problem 2115

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

N.S.

1 0.85 0.85 0.70 0.74 1.00 0.63 0.74 0.74

time (sec)

N/A 0.184 0.012 0.365 0.186 0.257 0.051 0.258 0.063

Problem 2116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

36 0 70 153 260 239 0 0 2084

N.S.

1 0.00 1.94 4.25 7.22 6.64 0.00 0.00 57.89

time (sec)

N/A 0.000 10.580 1.417 2.774 0.327 0.000 0.000 14.473

Problem 2117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 0 55 76 92 71 0 95 0

N.S.

1 0.00 1.77 2.45 2.97 2.29 0.00 3.06 0.00

time (sec)

N/A 0.000 0.338 28.915 0.333 0.266 0.000 2.973 0.000

Problem 2118

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 45 44 43 46 41 34

N.S.

1 0.00 0.94 1.29 1.26 1.23 1.31 1.17 0.97

time (sec)

N/A 0.000 0.046 0.402 0.199 0.263 0.995 0.276 0.333

Problem 2119

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

N.S.

1 1.00 1.00 1.05 1.00 1.05 0.89 1.00 0.79

time (sec)

N/A 0.136 0.003 0.263 0.189 0.287 0.028 0.266 10.183

Problem 2120

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

N.S.

1 0.00 0.96 0.85 0.85 0.85 0.65 0.85 0.81

time (sec)

N/A 0.000 0.332 1.871 0.319 0.230 0.080 0.274 10.324

Problem 2121

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

5 5 5 5 4 4 3 4 4

N.S.

1 1.00 1.00 1.00 0.80 0.80 0.60 0.80 0.80

time (sec)

N/A 0.131 0.014 0.046 0.190 0.298 0.030 0.253 0.019

Problem 2122

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 29 19 17 42 40 27 16 16

N.S.

1 1.45 0.95 0.85 2.10 2.00 1.35 0.80 0.80

time (sec)

N/A 0.262 0.017 0.123 0.194 0.270 0.255 0.251 0.118

Problem 2123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A B A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 129 71 40 83 44 76 0 39

N.S.

1 4.78 2.63 1.48 3.07 1.63 2.81 0.00 1.44

time (sec)

N/A 0.909 0.142 0.356 0.223 0.236 0.204 0.000 10.498

Problem 2124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B B B B B

verified

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

size

26 0 47 47 84 41 44 63 31

N.S.

1 0.00 1.81 1.81 3.23 1.58 1.69 2.42 1.19

time (sec)

N/A 0.000 0.327 0.426 0.324 0.277 0.188 0.273 10.268

Problem 2125

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 25 21 28 28 17 52 18

N.S.

1 0.00 1.14 0.95 1.27 1.27 0.77 2.36 0.82

time (sec)

N/A 0.000 0.247 0.310 0.346 0.356 0.056 0.268 10.498

Problem 2126

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

N.S.

1 0.91 0.91 0.86 0.82 0.73 0.68 0.82 0.82

time (sec)

N/A 0.179 0.003 0.037 0.195 0.274 0.056 0.251 9.657

Problem 2127

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 18 18 19 29 18 14 279 16

N.S.

1 1.00 1.00 1.06 1.61 1.00 0.78 15.50 0.89

time (sec)

N/A 0.454 0.024 0.199 0.316 0.282 0.079 0.296 10.041

Problem 2128

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 27 29 23 20 26 17 20 23

N.S.

1 0.96 1.04 0.82 0.71 0.93 0.61 0.71 0.82

time (sec)

N/A 0.187 0.018 0.338 0.189 0.286 0.077 0.261 0.067

Problem 2129

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

23 0 25 23 21 21 32 21 34

N.S.

1 0.00 1.09 1.00 0.91 0.91 1.39 0.91 1.48

time (sec)

N/A 0.000 1.464 0.048 0.246 0.238 0.118 0.264 9.682

Problem 2130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 63 25 0 22 24 114 0

N.S.

1 0.00 2.10 0.83 0.00 0.73 0.80 3.80 0.00

time (sec)

N/A 0.000 0.602 0.403 0.000 0.303 2.024 0.292 0.000

Problem 2131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 0 29 24 23 20 0 20 20

N.S.

1 0.00 1.16 0.96 0.92 0.80 0.00 0.80 0.80

time (sec)

N/A 0.000 1.388 0.066 0.465 0.290 0.000 1.308 14.817

Problem 2132

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

N.S.

1 1.05 1.05 0.95 0.86 1.19 1.29 1.19 0.90

time (sec)

N/A 0.376 0.035 0.271 0.255 0.236 0.127 0.252 9.318

Problem 2133

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 16 16 16 22 16 14 17 14

N.S.

1 0.80 0.80 0.80 1.10 0.80 0.70 0.85 0.70

time (sec)

N/A 0.185 0.113 0.266 0.225 0.284 0.055 0.257 0.069

Problem 2134

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

20 75 55 51 86 54 49 57 21

N.S.

1 3.75 2.75 2.55 4.30 2.70 2.45 2.85 1.05

time (sec)

N/A 0.275 0.020 0.100 0.194 0.300 0.116 0.262 9.775

Problem 2135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A B F B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 83 27 63 0 62 73 66 66

N.S.

1 3.07 1.00 2.33 0.00 2.30 2.70 2.44 2.44

time (sec)

N/A 0.521 0.162 0.178 0.000 0.247 0.233 0.261 9.286

Problem 2136

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 27 25 27 26 28 20 28 28

N.S.

1 1.04 0.96 1.04 1.00 1.08 0.77 1.08 1.08

time (sec)

N/A 0.192 0.032 0.075 0.195 0.339 0.071 0.258 9.270

Problem 2137

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

N.S.

1 1.23 0.96 1.04 1.12 1.00 1.00 1.23 1.23

time (sec)

N/A 0.261 0.029 1.384 0.195 0.296 0.135 0.255 0.177

Problem 2138

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

N.S.

1 1.15 1.00 0.92 0.85 0.85 0.92 0.85 0.69

time (sec)

N/A 0.141 0.039 0.066 0.194 0.259 0.056 0.261 9.032

Problem 2139

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

18 18 18 34 37 33 29 33 31

N.S.

1 1.00 1.00 1.89 2.06 1.83 1.61 1.83 1.72

time (sec)

N/A 0.448 0.032 7.613 0.311 0.317 0.507 0.336 9.388

Problem 2140

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 16 22 14 25 15 0 16

N.S.

1 0.00 0.73 1.00 0.64 1.14 0.68 0.00 0.73

time (sec)

N/A 0.000 0.498 0.335 0.306 0.250 0.120 0.000 9.110

Problem 2141

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

31 35 22 31 30 32 27 54 34

N.S.

1 1.13 0.71 1.00 0.97 1.03 0.87 1.74 1.10

time (sec)

N/A 0.546 0.051 0.376 0.370 0.287 0.118 0.281 0.268

Problem 2142

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 16 26 15 16 15 27 19 12

N.S.

1 1.00 1.62 0.94 1.00 0.94 1.69 1.19 0.75

time (sec)

N/A 0.175 0.012 0.276 0.191 0.262 0.143 0.280 0.144

Problem 2143

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 18 18 18 46 17 19 17 17

N.S.

1 0.78 0.78 0.78 2.00 0.74 0.83 0.74 0.74

time (sec)

N/A 0.376 0.095 0.450 0.369 0.242 0.085 0.274 9.207

Problem 2144

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 22 25 26 22 57 60

N.S.

1 0.00 0.95 1.00 1.14 1.18 1.00 2.59 2.73

time (sec)

N/A 0.000 0.478 0.131 0.308 0.292 0.083 0.242 9.155

Problem 2145

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 50 33 22 64 30 22 34 22

N.S.

1 1.92 1.27 0.85 2.46 1.15 0.85 1.31 0.85

time (sec)

N/A 0.484 0.084 0.428 0.230 0.280 0.095 0.261 0.257

Problem 2146

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

19 16 16 16 34 15 10 15 15

N.S.

1 0.84 0.84 0.84 1.79 0.79 0.53 0.79 0.79

time (sec)

N/A 0.191 0.192 0.060 0.229 0.240 0.043 0.252 9.166

Problem 2147

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

N.S.

1 0.00 1.09 1.00 1.09 1.13 0.96 1.17 1.04

time (sec)

N/A 0.000 0.632 0.762 0.251 0.286 0.143 0.286 9.320

Problem 2148

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

19 123 69 87 150 163 99 150 66

N.S.

1 6.47 3.63 4.58 7.89 8.58 5.21 7.89 3.47

time (sec)

N/A 0.292 0.305 0.133 0.187 0.297 1.791 0.262 1.031

Problem 2149

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

N.S.

1 0.54 0.73 0.62 0.58 0.85 0.38 0.58 0.58

time (sec)

N/A 0.176 0.022 0.368 0.203 0.263 0.049 0.250 0.072

Problem 2150

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

N.S.

1 0.97 0.73 0.87 0.70 0.83 0.80 0.70 0.80

time (sec)

N/A 0.376 0.075 0.118 0.285 0.257 0.074 0.255 9.260

Problem 2151

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

N.S.

1 1.23 1.09 1.23 1.73 1.32 1.18 1.32 1.14

time (sec)

N/A 0.224 0.149 0.058 0.200 0.312 0.060 0.247 9.222

Problem 2152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 84 38 36 45 42 42 36 27

N.S.

1 2.62 1.19 1.12 1.41 1.31 1.31 1.12 0.84

time (sec)

N/A 0.326 0.033 0.102 0.193 0.267 0.434 0.252 0.219

Problem 2153

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

23 34 25 23 32 29 42 27 41

N.S.

1 1.48 1.09 1.00 1.39 1.26 1.83 1.17 1.78

time (sec)

N/A 0.254 0.013 0.083 0.203 0.297 0.091 0.257 9.241

Problem 2154

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

33 54 41 46 178 33 36 45 49

N.S.

1 1.64 1.24 1.39 5.39 1.00 1.09 1.36 1.48

time (sec)

N/A 0.573 0.100 0.421 0.332 0.268 0.220 0.259 9.782

Problem 2155

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

N.S.

1 0.55 0.55 0.52 0.48 0.48 0.30 0.48 0.52

time (sec)

N/A 0.186 0.025 0.049 0.199 0.273 0.061 0.255 0.077

Problem 2156

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 30 28 35 37 33 32 40 34

N.S.

1 0.97 0.90 1.13 1.19 1.06 1.03 1.29 1.10

time (sec)

N/A 0.599 0.032 1.214 0.334 0.291 0.127 0.351 10.233

Problem 2157

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

24 31 31 28 45 27 24 30 0

N.S.

1 1.29 1.29 1.17 1.88 1.12 1.00 1.25 0.00

time (sec)

N/A 0.782 0.213 0.491 0.345 0.290 0.150 0.286 0.000

Problem 2158

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

21 0 21 20 24 25 22 25 0

N.S.

1 0.00 1.00 0.95 1.14 1.19 1.05 1.19 0.00

time (sec)

N/A 0.000 5.073 0.311 0.332 0.242 0.114 0.319 0.000

Problem 2159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F A B B A B B

verified

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

size

32 29 0 34 84 96 41 70 30

N.S.

1 0.91 0.00 1.06 2.62 3.00 1.28 2.19 0.94

time (sec)

N/A 2.070 0.000 54.671 0.417 0.283 0.939 0.333 9.506

Problem 2160

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

N.S.

1 1.00 1.00 0.90 0.86 0.95 0.90 0.95 0.95

time (sec)

N/A 0.558 0.092 1.591 0.379 0.297 0.262 0.278 131.061

Problem 2161

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

26 61 32 40 45 29 26 42 29

N.S.

1 2.35 1.23 1.54 1.73 1.12 1.00 1.62 1.12

time (sec)

N/A 0.639 1.219 0.215 0.252 0.258 3.417 0.252 9.185

Problem 2162

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

38 77 49 32 35 30 31 53 50

N.S.

1 2.03 1.29 0.84 0.92 0.79 0.82 1.39 1.32

time (sec)

N/A 1.528 3.963 0.299 0.271 0.236 0.076 0.352 9.612

Problem 2163

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

20 20 20 19 18 18 0 18 18

N.S.

1 1.00 1.00 0.95 0.90 0.90 0.00 0.90 0.90

time (sec)

N/A 0.594 0.213 3.537 0.308 0.247 0.000 0.622 0.409

Problem 2164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 40 43 56 61 0 48 0

N.S.

1 0.00 1.33 1.43 1.87 2.03 0.00 1.60 0.00

time (sec)

N/A 0.000 0.086 3.547 0.386 0.246 0.000 0.293 0.000

Problem 2165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

32 0 121 33 35 32 31 39 0

N.S.

1 0.00 3.78 1.03 1.09 1.00 0.97 1.22 0.00

time (sec)

N/A 0.000 5.072 0.669 0.338 0.253 72.476 0.262 0.000

Problem 2166

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

27 47 39 38 105 37 41 37 76

N.S.

1 1.74 1.44 1.41 3.89 1.37 1.52 1.37 2.81

time (sec)

N/A 4.281 0.353 1.742 0.620 0.242 13.778 19.943 9.238

Problem 2167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A A A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

18 33 55 16 36 15 15 15 15

N.S.

1 1.83 3.06 0.89 2.00 0.83 0.83 0.83 0.83

time (sec)

N/A 3.201 0.457 1.058 0.263 0.236 0.269 0.271 9.519

Problem 2168

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 36 36 25 30 44 24 29 29

N.S.

1 1.24 1.24 0.86 1.03 1.52 0.83 1.00 1.00

time (sec)

N/A 1.566 0.214 0.136 0.388 0.254 0.094 0.256 0.242

Problem 2169

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 42 41 40 40 39 36 43 39

N.S.

1 1.24 1.21 1.18 1.18 1.15 1.06 1.26 1.15

time (sec)

N/A 0.391 0.029 0.072 0.202 0.246 0.091 0.255 0.189

Problem 2170

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

17 43 17 15 14 14 15 14 14

N.S.

1 2.53 1.00 0.88 0.82 0.82 0.88 0.82 0.82

time (sec)

N/A 0.520 0.018 0.280 0.316 0.237 0.097 0.258 9.023

Problem 2171

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

N.S.

1 0.93 0.85 0.74 0.78 0.78 0.81 0.93 0.70

time (sec)

N/A 0.233 4.835 0.105 0.191 0.253 0.081 0.251 0.158

Problem 2172

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

N.S.

1 0.90 0.81 0.57 0.52 0.52 0.57 0.52 0.52

time (sec)

N/A 0.143 0.015 0.052 0.199 0.236 0.044 0.259 0.044

Problem 2173

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

N.S.

1 1.00 1.00 0.83 0.89 0.89 0.78 0.89 0.89

time (sec)

N/A 0.143 0.028 0.153 0.190 0.258 0.038 0.259 0.083

Problem 2174

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 33 33 36 35 35 36 35 35

N.S.

1 0.97 0.97 1.06 1.03 1.03 1.06 1.03 1.03

time (sec)

N/A 0.751 0.244 0.893 0.321 0.259 0.115 0.265 8.963

Problem 2175

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 33 32 24 30 30 20 30 23

N.S.

1 1.32 1.28 0.96 1.20 1.20 0.80 1.20 0.92

time (sec)

N/A 0.213 0.038 0.069 0.201 0.249 0.073 0.252 9.040

Problem 2176

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

N.S.

1 1.84 1.16 1.26 1.21 1.00 1.05 1.21 1.16

time (sec)

N/A 0.297 0.023 0.109 0.197 0.236 0.279 0.264 9.622

Problem 2177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 59 51 81 48 51 78 0

N.S.

1 0.00 2.03 1.76 2.79 1.66 1.76 2.69 0.00

time (sec)

N/A 0.000 2.059 0.707 0.307 0.250 17.049 0.274 0.000

Problem 2178

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

8 8 8 8 7 7 7 7 7

N.S.

1 1.00 1.00 1.00 0.88 0.88 0.88 0.88 0.88

time (sec)

N/A 0.122 0.000 0.035 0.186 0.219 0.020 0.251 0.024

Problem 2179

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

22 31 31 29 35 37 22 28 26

N.S.

1 1.41 1.41 1.32 1.59 1.68 1.00 1.27 1.18

time (sec)

N/A 0.304 0.098 0.191 0.226 0.241 0.054 0.261 9.103

Problem 2180

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

N.S.

1 1.38 1.52 1.24 1.43 1.43 1.29 1.43 1.33

time (sec)

N/A 0.159 0.003 0.052 0.183 0.229 0.026 0.250 8.956

Problem 2181

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

31 0 32 24 31 31 22 23 31

N.S.

1 0.00 1.03 0.77 1.00 1.00 0.71 0.74 1.00

time (sec)

N/A 0.000 5.066 0.422 0.303 0.243 0.169 0.457 9.412

Problem 2182

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

N.S.

1 0.00 1.11 0.96 0.93 0.93 1.29 0.93 0.93

time (sec)

N/A 0.000 0.236 6.342 0.329 0.252 4.487 7.876 9.310

Problem 2183

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

N.S.

1 0.00 0.83 0.67 0.62 0.71 0.79 0.71 0.71

time (sec)

N/A 0.000 0.248 0.048 0.236 0.244 0.103 0.261 9.303

Problem 2184

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 19 20 22 22 27 31 19

N.S.

1 0.00 0.86 0.91 1.00 1.00 1.23 1.41 0.86

time (sec)

N/A 0.000 0.158 0.388 0.222 0.250 0.084 0.262 9.376

Problem 2185

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

N.S.

1 0.00 1.09 1.14 1.41 1.09 0.77 1.09 0.91

time (sec)

N/A 0.000 0.067 3.187 0.311 0.246 0.308 0.328 9.069

Problem 2186

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

N.S.

1 0.95 0.86 0.95 0.90 0.76 0.81 0.90 0.81

time (sec)

N/A 0.160 0.007 0.046 0.184 0.250 0.058 0.251 0.062

Problem 2187

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

14 12 12 12 18 11 8 11 11

N.S.

1 0.86 0.86 0.86 1.29 0.79 0.57 0.79 0.79

time (sec)

N/A 0.167 0.083 0.098 0.220 0.242 0.043 0.252 8.827

Problem 2188

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

25 52 34 31 99 32 26 32 30

N.S.

1 2.08 1.36 1.24 3.96 1.28 1.04 1.28 1.20

time (sec)

N/A 0.276 0.021 0.066 0.202 0.248 0.069 0.266 8.977

Problem 2189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 0 54 0 46 41 0 0 53

N.S.

1 0.00 1.74 0.00 1.48 1.32 0.00 0.00 1.71

time (sec)

N/A 0.000 0.387 180.000 0.418 0.268 0.000 0.000 9.879

Problem 2190

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

N.S.

1 0.81 0.62 0.76 0.71 0.71 0.67 0.71 0.62

time (sec)

N/A 0.135 0.002 0.043 0.194 0.245 0.021 0.246 9.398

Problem 2191

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 48 20 21 20 27 26 22 20

N.S.

1 2.00 0.83 0.88 0.83 1.12 1.08 0.92 0.83

time (sec)

N/A 0.263 0.057 0.208 0.342 0.250 0.089 0.262 9.168

Problem 2192

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

N.S.

1 1.21 1.08 1.00 1.17 1.17 1.00 1.17 1.21

time (sec)

N/A 0.559 2.920 0.348 0.353 0.261 0.150 0.291 9.186

Problem 2193

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

36 0 42 42 41 40 34 36 49

N.S.

1 0.00 1.17 1.17 1.14 1.11 0.94 1.00 1.36

time (sec)

N/A 0.000 0.359 13.252 0.307 0.262 0.533 1.492 9.968

Problem 2194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 0 25 113 44 47 0 0 52

N.S.

1 0.00 1.00 4.52 1.76 1.88 0.00 0.00 2.08

time (sec)

N/A 0.000 0.196 1.342 0.397 0.284 0.000 0.000 10.455

Problem 2195

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

N.S.

1 0.71 0.71 0.57 0.64 0.64 0.93 0.64 0.54

time (sec)

N/A 0.147 0.002 0.044 0.195 0.228 0.020 0.251 0.044

Problem 2196

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 33 28 31 32 36 25

N.S.

1 0.00 1.04 1.22 1.04 1.15 1.19 1.33 0.93

time (sec)

N/A 0.000 9.666 0.306 0.253 0.246 0.122 0.256 8.914

Problem 2197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 0 34 33 56 34 35 0

N.S.

1 0.00 0.00 1.17 1.14 1.93 1.17 1.21 0.00

time (sec)

N/A 0.000 0.000 0.257 0.546 0.256 9.685 0.280 0.000

Problem 2198

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

N.S.

1 0.00 0.92 0.96 1.08 1.00 0.85 1.08 1.04

time (sec)

N/A 0.000 0.637 0.908 0.329 0.241 0.201 0.275 0.846

Problem 2199

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

18 23 18 20 43 19 19 19 14

N.S.

1 1.28 1.00 1.11 2.39 1.06 1.06 1.06 0.78

time (sec)

N/A 0.339 0.559 0.074 0.202 0.243 0.080 0.251 9.955

Problem 2200

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

15 109 20 51 221 46 58 63 19

N.S.

1 7.27 1.33 3.40 14.73 3.07 3.87 4.20 1.27

time (sec)

N/A 0.505 5.671 0.155 0.202 0.232 0.068 0.255 10.058

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