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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 375 139 33 0 1042 0 0 0

N.S.

1 2.47 0.91 0.22 0.00 6.86 0.00 0.00 0.00

time (sec)

N/A 0.652 0.485 13.674 0.000 7.512 0.000 0.000 0.000

Problem 2102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

152 0 152 0 0 613 0 0 0

N.S.

1 0.00 1.00 0.00 0.00 4.03 0.00 0.00 0.00

time (sec)

N/A 0.000 0.423 0.000 0.000 14.677 0.000 0.000 0.000

Problem 2103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

153 228 147 180 202 210 42 199 72

N.S.

1 1.49 0.96 1.18 1.32 1.37 0.27 1.30 0.47

time (sec)

N/A 0.377 0.296 0.510 0.299 0.303 0.936 0.264 5.803

Problem 2104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

153 0 72 0 0 0 0 0 0

N.S.

1 0.00 0.47 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 15.358 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

153 228 147 180 202 205 42 199 72

N.S.

1 1.49 0.96 1.18 1.32 1.34 0.27 1.30 0.47

time (sec)

N/A 0.381 0.292 0.481 0.271 0.270 0.931 0.287 5.878

Problem 2106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

153 216 146 172 199 212 42 198 72

N.S.

1 1.41 0.95 1.12 1.30 1.39 0.27 1.29 0.47

time (sec)

N/A 0.373 0.243 0.321 0.297 0.276 0.858 0.263 5.769

Problem 2107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

153 0 161 50 56 1957 0 55 52

N.S.

1 0.00 1.05 0.33 0.37 12.79 0.00 0.36 0.34

time (sec)

N/A 0.000 3.989 0.011 0.251 15.276 0.000 0.528 6.217

Problem 2108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A N/A N/A C N/A N/A N/A

verified

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

size

153 0 153 386 33 361 34 33 33

N.S.

1 0.00 1.00 2.52 0.22 2.36 0.22 0.22 0.22

time (sec)

N/A 0.000 0.222 8.181 0.319 0.387 2.463 0.309 5.757

Problem 2109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

153 228 147 180 202 210 41 199 72

N.S.

1 1.49 0.96 1.18 1.32 1.37 0.27 1.30 0.47

time (sec)

N/A 0.383 0.216 0.725 0.303 0.262 0.878 0.279 6.239

Problem 2110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

153 0 72 0 0 0 0 0 0

N.S.

1 0.00 0.47 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 10.442 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

153 228 147 180 202 210 42 199 72

N.S.

1 1.49 0.96 1.18 1.32 1.37 0.27 1.30 0.47

time (sec)

N/A 0.369 0.240 0.464 0.275 0.281 0.809 0.272 5.796

Problem 2112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

153 228 147 182 202 205 42 199 72

N.S.

1 1.49 0.96 1.19 1.32 1.34 0.27 1.30 0.47

time (sec)

N/A 0.365 0.205 0.418 0.264 0.298 0.872 0.261 5.763

Problem 2113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 327 64 111 0 127 0 0 0

N.S.

1 2.14 0.42 0.73 0.00 0.83 0.00 0.00 0.00

time (sec)

N/A 2.502 1.386 2.375 0.000 0.382 0.000 0.000 0.000

Problem 2114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

153 0 208 0 0 153 0 0 0

N.S.

1 0.00 1.36 0.00 0.00 1.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.528 0.000 0.000 2.984 0.000 0.000 0.000

Problem 2115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

153 0 153 0 0 591 0 0 0

N.S.

1 0.00 1.00 0.00 0.00 3.86 0.00 0.00 0.00

time (sec)

N/A 0.000 0.294 0.000 0.000 7.644 0.000 0.000 0.000

Problem 2116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

153 0 120 0 0 0 0 0 0

N.S.

1 0.00 0.78 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.229 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

153 109 153 0 0 66 0 0 0

N.S.

1 0.71 1.00 0.00 0.00 0.43 0.00 0.00 0.00

time (sec)

N/A 0.432 0.233 0.000 0.000 0.273 0.000 0.000 0.000

Problem 2118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

154 0 124 129 0 0 0 130 0

N.S.

1 0.00 0.81 0.84 0.00 0.00 0.00 0.84 0.00

time (sec)

N/A 0.000 15.311 1.273 0.000 0.000 0.000 0.487 0.000

Problem 2119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 321 157 180 0 1362 0 0 0

N.S.

1 2.08 1.02 1.17 0.00 8.84 0.00 0.00 0.00

time (sec)

N/A 0.978 0.443 1.528 0.000 41.619 0.000 0.000 0.000

Problem 2120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A N/A N/A C N/A C N/A

verified

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

size

154 0 161 122 24 586 22 392 24

N.S.

1 0.00 1.05 0.79 0.16 3.81 0.14 2.55 0.16

time (sec)

N/A 0.000 0.317 8.566 0.317 0.276 0.686 0.358 5.402

Problem 2121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A N/A N/A C N/A C N/A

verified

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

size

154 0 161 122 24 586 22 392 24

N.S.

1 0.00 1.05 0.79 0.16 3.81 0.14 2.55 0.16

time (sec)

N/A 0.000 0.016 70.902 0.310 0.281 0.680 0.347 0.003

Problem 2122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

154 0 154 142 0 413 0 0 0

N.S.

1 0.00 1.00 0.92 0.00 2.68 0.00 0.00 0.00

time (sec)

N/A 0.000 0.598 60.280 0.000 48.972 0.000 0.000 0.000

Problem 2123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

154 0 146 187 0 0 0 0 0

N.S.

1 0.00 0.95 1.21 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 1.275 1.543 0.000 0.000 0.000 0.000 0.000

Problem 2124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

154 0 188 295 0 1438 0 0 0

N.S.

1 0.00 1.22 1.92 0.00 9.34 0.00 0.00 0.00

time (sec)

N/A 0.000 0.807 46.414 0.000 2.029 0.000 0.000 0.000

Problem 2125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 157 148 220 0 420 0 221 0

N.S.

1 1.02 0.96 1.43 0.00 2.73 0.00 1.44 0.00

time (sec)

N/A 0.930 0.400 8.357 0.000 4.007 0.000 0.284 0.000

Problem 2126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

154 268 149 0 0 295 0 0 0

N.S.

1 1.74 0.97 0.00 0.00 1.92 0.00 0.00 0.00

time (sec)

N/A 0.676 0.636 0.000 0.000 0.306 0.000 0.000 0.000

Problem 2127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

154 0 0 0 0 0 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A N/A N/A C N/A N/A N/A

verified

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

size

154 549 149 139 41 5666 36 41 41

N.S.

1 3.56 0.97 0.90 0.27 36.79 0.23 0.27 0.27

time (sec)

N/A 1.563 1.098 0.355 0.242 0.697 114.390 0.914 5.627

Problem 2129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A N/A N/A C N/A N/A N/A

verified

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

size

154 549 149 139 41 5666 36 41 41

N.S.

1 3.56 0.97 0.90 0.27 36.79 0.23 0.27 0.27

time (sec)

N/A 1.177 0.003 0.392 0.225 0.691 111.531 0.918 0.003

Problem 2130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

154 0 134 178 0 0 0 0 0

N.S.

1 0.00 0.87 1.16 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 1.782 2.202 0.000 0.000 0.000 0.000 0.000

Problem 2131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

154 0 171 0 0 115 0 0 0

N.S.

1 0.00 1.11 0.00 0.00 0.75 0.00 0.00 0.00

time (sec)

N/A 0.000 3.535 0.000 0.000 0.257 0.000 0.000 0.000

Problem 2132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

154 208 154 0 0 84 0 0 0

N.S.

1 1.35 1.00 0.00 0.00 0.55 0.00 0.00 0.00

time (sec)

N/A 0.886 0.232 0.000 0.000 0.263 0.000 0.000 0.000

Problem 2133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

155 0 122 129 0 0 0 129 0

N.S.

1 0.00 0.79 0.83 0.00 0.00 0.00 0.83 0.00

time (sec)

N/A 0.000 15.268 0.580 0.000 0.000 0.000 0.350 0.000

Problem 2134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 232 147 156 0 0 0 0 0

N.S.

1 1.50 0.95 1.01 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.847 0.705 0.530 0.000 0.000 0.000 0.000 0.000

Problem 2135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

155 0 159 502 17 0 15 17 17

N.S.

1 0.00 1.03 3.24 0.11 0.00 0.10 0.11 0.11

time (sec)

N/A 0.000 0.348 0.175 0.233 0.000 2.104 1.036 5.705

Problem 2136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

155 0 159 502 17 0 15 17 17

N.S.

1 0.00 1.03 3.24 0.11 0.00 0.10 0.11 0.11

time (sec)

N/A 0.000 0.001 0.031 0.233 0.000 2.088 1.052 0.002

Problem 2137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

156 0 156 199 0 212 0 0 0

N.S.

1 0.00 1.00 1.28 0.00 1.36 0.00 0.00 0.00

time (sec)

N/A 0.000 0.725 3.161 0.000 1.009 0.000 0.000 0.000

Problem 2138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A N/A N/A C N/A C N/A

verified

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

size

156 0 161 122 27 526 26 392 27

N.S.

1 0.00 1.03 0.78 0.17 3.37 0.17 2.51 0.17

time (sec)

N/A 0.000 0.335 69.370 0.290 0.268 2.135 0.361 5.574

Problem 2139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A N/A N/A C N/A C N/A

verified

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

size

156 0 161 122 27 526 26 392 27

N.S.

1 0.00 1.03 0.78 0.17 3.37 0.17 2.51 0.17

time (sec)

N/A 0.000 0.001 8.134 0.302 0.285 2.165 0.357 0.002

Problem 2140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

156 0 171 203 0 656 0 0 0

N.S.

1 0.00 1.10 1.30 0.00 4.21 0.00 0.00 0.00

time (sec)

N/A 0.000 1.841 12.354 0.000 2.998 0.000 0.000 0.000

Problem 2141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

156 6787 185 131 35 48833 0 35 36

N.S.

1 43.51 1.19 0.84 0.22 313.03 0.00 0.22 0.23

time (sec)

N/A 12.555 0.717 0.659 0.236 1.358 0.000 12.579 5.767

Problem 2142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

156 0 150 154 28 2034 0 28 28

N.S.

1 0.00 0.96 0.99 0.18 13.04 0.00 0.18 0.18

time (sec)

N/A 0.000 0.244 0.280 0.584 0.967 0.000 4.271 6.141

Problem 2143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

156 0 150 154 28 2034 0 28 28

N.S.

1 0.00 0.96 0.99 0.18 13.04 0.00 0.18 0.18

time (sec)

N/A 0.000 0.001 0.184 0.587 0.984 0.000 4.166 0.002

Problem 2144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

157 0 177 131 30 3322 0 30 30

N.S.

1 0.00 1.13 0.83 0.19 21.16 0.00 0.19 0.19

time (sec)

N/A 0.000 0.339 153.362 0.206 0.918 0.000 0.321 5.715

Problem 2145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

157 0 177 131 30 3322 0 30 30

N.S.

1 0.00 1.13 0.83 0.19 21.16 0.00 0.19 0.19

time (sec)

N/A 0.000 0.001 134.703 0.219 0.938 0.000 0.312 0.003

Problem 2146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 155 157 133 0 291 0 0 0

N.S.

1 0.99 1.00 0.85 0.00 1.85 0.00 0.00 0.00

time (sec)

N/A 0.305 0.371 14.119 0.000 1.472 0.000 0.000 0.000

Problem 2147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 51 163 180 0 1380 0 0 0

N.S.

1 0.32 1.04 1.15 0.00 8.79 0.00 0.00 0.00

time (sec)

N/A 0.278 0.470 6.801 0.000 1.638 0.000 0.000 0.000

Problem 2148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

157 274 203 169 36 0 29 36 35

N.S.

1 1.75 1.29 1.08 0.23 0.00 0.18 0.23 0.22

time (sec)

N/A 1.148 0.578 0.530 0.229 0.000 14.012 0.852 5.672

Problem 2149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

157 274 203 169 36 0 29 36 35

N.S.

1 1.75 1.29 1.08 0.23 0.00 0.18 0.23 0.22

time (sec)

N/A 1.075 0.001 0.001 0.230 0.000 14.151 0.902 0.002

Problem 2150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

157 0 161 70 0 158 0 1 0

N.S.

1 0.00 1.03 0.45 0.00 1.01 0.00 0.01 0.00

time (sec)

N/A 0.000 0.717 0.359 0.000 0.265 0.000 0.348 0.000

Problem 2151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 186 145 133 0 0 0 279 0

N.S.

1 1.18 0.92 0.85 0.00 0.00 0.00 1.78 0.00

time (sec)

N/A 1.164 15.768 0.670 0.000 0.000 0.000 0.310 0.000

Problem 2152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

157 391 159 125 29 5738 27 0 29

N.S.

1 2.49 1.01 0.80 0.18 36.55 0.17 0.00 0.18

time (sec)

N/A 1.541 0.248 0.245 0.338 9.804 19.987 0.000 5.973

Problem 2153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

157 391 159 125 29 5738 27 0 29

N.S.

1 2.49 1.01 0.80 0.18 36.55 0.17 0.00 0.18

time (sec)

N/A 1.324 0.001 0.296 0.337 9.685 21.093 0.000 0.002

Problem 2154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

157 0 135 0 0 236 0 0 0

N.S.

1 0.00 0.86 0.00 0.00 1.50 0.00 0.00 0.00

time (sec)

N/A 0.000 0.534 0.000 0.000 1.097 0.000 0.000 0.000

Problem 2155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

157 0 146 0 0 297 0 0 99

N.S.

1 0.00 0.93 0.00 0.00 1.89 0.00 0.00 0.63

time (sec)

N/A 0.000 0.373 0.000 0.000 0.423 0.000 0.000 6.608

Problem 2156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

158 0 101 0 0 0 0 0 0

N.S.

1 0.00 0.64 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 11.902 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A N/A N/A C N/A N/A N/A

verified

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

size

158 586 175 182 34 594 27 34 37

N.S.

1 3.71 1.11 1.15 0.22 3.76 0.17 0.22 0.23

time (sec)

N/A 1.885 0.385 38.061 0.302 0.271 2.098 0.332 5.750

Problem 2158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A N/A N/A C N/A N/A N/A

verified

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

size

158 586 175 182 34 594 27 34 37

N.S.

1 3.71 1.11 1.15 0.22 3.76 0.17 0.22 0.23

time (sec)

N/A 1.838 0.003 33.857 0.296 0.272 2.097 0.332 0.003

Problem 2159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

158 467 52 55 0 75 0 0 0

N.S.

1 2.96 0.33 0.35 0.00 0.47 0.00 0.00 0.00

time (sec)

N/A 1.398 0.354 5.089 0.000 0.333 0.000 0.000 0.000

Problem 2160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

158 267 197 161 37 0 31 37 36

N.S.

1 1.69 1.25 1.02 0.23 0.00 0.20 0.23 0.23

time (sec)

N/A 1.209 0.555 0.537 0.245 0.000 17.274 2.972 5.759

Problem 2161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

158 267 197 161 37 0 31 37 36

N.S.

1 1.69 1.25 1.02 0.23 0.00 0.20 0.23 0.23

time (sec)

N/A 1.151 0.013 0.003 0.235 0.000 17.337 2.885 0.003

Problem 2162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

158 0 102 64 0 330 0 0 0

N.S.

1 0.00 0.65 0.41 0.00 2.09 0.00 0.00 0.00

time (sec)

N/A 0.000 0.478 0.313 0.000 0.267 0.000 0.000 0.000

Problem 2163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A N/A N/A C N/A N/A N/A

verified

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

size

158 513 153 138 44 5434 34 44 41

N.S.

1 3.25 0.97 0.87 0.28 34.39 0.22 0.28 0.26

time (sec)

N/A 1.290 1.040 0.395 0.219 0.577 104.385 1.599 5.849

Problem 2164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A N/A N/A C N/A N/A N/A

verified

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

size

158 513 153 138 44 5434 34 44 41

N.S.

1 3.25 0.97 0.87 0.28 34.39 0.22 0.28 0.26

time (sec)

N/A 0.966 0.001 0.319 0.219 0.589 107.407 1.595 0.002

Problem 2165

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

159 135 169 140 0 163 0 98 0

N.S.

1 0.85 1.06 0.88 0.00 1.03 0.00 0.62 0.00

time (sec)

N/A 0.258 0.336 7.329 0.000 0.253 0.000 0.300 0.000

Problem 2166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 894 159 195 0 691 0 0 165

N.S.

1 5.62 1.00 1.23 0.00 4.35 0.00 0.00 1.04

time (sec)

N/A 2.006 1.286 1.821 0.000 0.404 0.000 0.000 9.572

Problem 2167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

159 0 131 268 0 0 0 0 0

N.S.

1 0.00 0.82 1.69 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.633 0.283 0.000 0.000 0.000 0.000 0.000

Problem 2168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

159 0 129 294 0 0 0 0 0

N.S.

1 0.00 0.81 1.85 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.688 0.312 0.000 0.000 0.000 0.000 0.000

Problem 2169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

159 0 159 31 102 0 29 33 35

N.S.

1 0.00 1.00 0.19 0.64 0.00 0.18 0.21 0.22

time (sec)

N/A 0.000 0.902 0.080 0.340 0.000 1.953 0.522 5.971

Problem 2170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

159 0 159 31 102 0 29 33 35

N.S.

1 0.00 1.00 0.19 0.64 0.00 0.18 0.21 0.22

time (sec)

N/A 0.000 0.001 0.000 0.319 0.000 1.819 0.538 0.002

Problem 2171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

160 288 148 0 0 1197 0 0 0

N.S.

1 1.80 0.92 0.00 0.00 7.48 0.00 0.00 0.00

time (sec)

N/A 1.213 0.812 0.000 0.000 100.643 0.000 0.000 0.000

Problem 2172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

160 0 130 114 0 0 0 122 0

N.S.

1 0.00 0.81 0.71 0.00 0.00 0.00 0.76 0.00

time (sec)

N/A 0.000 15.301 1.114 0.000 0.000 0.000 0.467 0.000

Problem 2173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

161 0 128 111 0 0 0 0 0

N.S.

1 0.00 0.80 0.69 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 15.206 0.968 0.000 0.000 0.000 0.000 0.000

Problem 2174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

161 0 128 114 0 0 0 121 0

N.S.

1 0.00 0.80 0.71 0.00 0.00 0.00 0.75 0.00

time (sec)

N/A 0.000 15.251 0.605 0.000 0.000 0.000 0.340 0.000

Problem 2175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

161 0 161 151 0 438 0 0 0

N.S.

1 0.00 1.00 0.94 0.00 2.72 0.00 0.00 0.00

time (sec)

N/A 0.000 0.374 16.666 0.000 10.982 0.000 0.000 0.000

Problem 2176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 403 159 263 0 1593 0 0 0

N.S.

1 2.50 0.99 1.63 0.00 9.89 0.00 0.00 0.00

time (sec)

N/A 1.459 1.205 0.674 0.000 0.520 0.000 0.000 0.000

Problem 2177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

161 0 0 1066 0 741 0 0 0

N.S.

1 0.00 0.00 6.62 0.00 4.60 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 4.118 0.000 25.385 0.000 0.000 0.000

Problem 2178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

161 0 152 119 29 0 0 29 29

N.S.

1 0.00 0.94 0.74 0.18 0.00 0.00 0.18 0.18

time (sec)

N/A 0.000 0.171 0.116 0.340 0.000 0.000 0.422 5.937

Problem 2179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

161 0 152 119 29 0 0 29 29

N.S.

1 0.00 0.94 0.74 0.18 0.00 0.00 0.18 0.18

time (sec)

N/A 0.000 0.001 0.106 0.323 0.000 0.000 0.402 0.004

Problem 2180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F A A C F B

verified

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

size

162 142 53 0 152 352 126 0 184

N.S.

1 0.88 0.33 0.00 0.94 2.17 0.78 0.00 1.14

time (sec)

N/A 0.386 10.044 0.000 0.270 45.777 1.559 0.000 6.913

Problem 2181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 392 185 164 0 740 0 350 0

N.S.

1 2.42 1.14 1.01 0.00 4.57 0.00 2.16 0.00

time (sec)

N/A 0.639 0.725 0.336 0.000 0.252 0.000 0.305 0.000

Problem 2182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

162 0 0 0 0 0 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

162 0 160 0 0 469 0 0 0

N.S.

1 0.00 0.99 0.00 0.00 2.90 0.00 0.00 0.00

time (sec)

N/A 0.000 1.624 0.000 0.000 57.212 0.000 0.000 0.000

Problem 2184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 46 176 204 0 637 0 0 0

N.S.

1 0.28 1.09 1.26 0.00 3.93 0.00 0.00 0.00

time (sec)

N/A 0.218 0.554 19.058 0.000 8.282 0.000 0.000 0.000

Problem 2185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 46 176 204 0 637 0 0 0

N.S.

1 0.28 1.09 1.26 0.00 3.93 0.00 0.00 0.00

time (sec)

N/A 0.217 0.002 17.424 0.000 8.428 0.000 0.000 0.000

Problem 2186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 42 176 205 0 652 0 0 0

N.S.

1 0.26 1.09 1.27 0.00 4.02 0.00 0.00 0.00

time (sec)

N/A 0.258 0.441 17.334 0.000 30.751 0.000 0.000 0.000

Problem 2187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 42 176 205 0 652 0 0 0

N.S.

1 0.26 1.09 1.27 0.00 4.02 0.00 0.00 0.00

time (sec)

N/A 0.255 0.001 18.750 0.000 30.318 0.000 0.000 0.000

Problem 2188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 104 178 206 0 652 0 0 0

N.S.

1 0.64 1.10 1.27 0.00 4.02 0.00 0.00 0.00

time (sec)

N/A 0.689 1.829 34.032 0.000 63.496 0.000 0.000 0.000

Problem 2189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 104 178 206 0 652 0 0 0

N.S.

1 0.64 1.10 1.27 0.00 4.02 0.00 0.00 0.00

time (sec)

N/A 0.656 0.001 32.299 0.000 64.439 0.000 0.000 0.000

Problem 2190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 104 178 205 0 652 0 0 0

N.S.

1 0.64 1.10 1.27 0.00 4.02 0.00 0.00 0.00

time (sec)

N/A 0.649 1.813 31.904 0.000 64.178 0.000 0.000 0.000

Problem 2191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 104 178 205 0 652 0 0 0

N.S.

1 0.64 1.10 1.27 0.00 4.02 0.00 0.00 0.00

time (sec)

N/A 0.642 0.001 31.611 0.000 62.367 0.000 0.000 0.000

Problem 2192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 122 162 152 0 291 0 0 0

N.S.

1 0.75 1.00 0.94 0.00 1.80 0.00 0.00 0.00

time (sec)

N/A 0.632 0.434 15.059 0.000 1.804 0.000 0.000 0.000

Problem 2193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 188 175 37 0 1135 0 0 0

N.S.

1 1.16 1.08 0.23 0.00 7.01 0.00 0.00 0.00

time (sec)

N/A 1.011 0.835 82.355 0.000 8.147 0.000 0.000 0.000

Problem 2194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 188 175 37 0 1135 0 0 0

N.S.

1 1.16 1.08 0.23 0.00 7.01 0.00 0.00 0.00

time (sec)

N/A 0.971 0.001 77.764 0.000 8.153 0.000 0.000 0.000

Problem 2195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 100 176 37 0 1624 0 0 0

N.S.

1 0.62 1.09 0.23 0.00 10.02 0.00 0.00 0.00

time (sec)

N/A 0.540 0.873 123.325 0.000 67.126 0.000 0.000 0.000

Problem 2196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 100 176 37 0 1624 0 0 0

N.S.

1 0.62 1.09 0.23 0.00 10.02 0.00 0.00 0.00

time (sec)

N/A 0.520 0.001 115.783 0.000 68.442 0.000 0.000 0.000

Problem 2197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

162 0 0 0 0 0 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A N/A N/A C N/A N/A N/A

verified

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

size

162 561 157 142 44 5690 36 44 44

N.S.

1 3.46 0.97 0.88 0.27 35.12 0.22 0.27 0.27

time (sec)

N/A 1.535 1.146 0.321 0.255 0.671 105.888 0.922 5.793

Problem 2199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

162 0 114 31 0 280 51 0 0

N.S.

1 0.00 0.70 0.19 0.00 1.73 0.31 0.00 0.00

time (sec)

N/A 0.000 0.244 0.030 0.000 55.702 0.717 0.000 0.000

Problem 2200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

162 0 114 0 0 280 49 0 0

N.S.

1 0.00 0.70 0.00 0.00 1.73 0.30 0.00 0.00

time (sec)

N/A 0.000 0.256 0.000 0.000 79.217 0.918 0.000 0.000