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

Integrals 301 to 376

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 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

258 248 210 199 0 378 0 303 220 0

N.S.

1 0.96 0.81 0.77 0.00 1.47 0.00 1.17 0.85 0.00

time (sec)

N/A 0.889 0.778 0.715 0.000 0.102 0.000 0.183 0.243 0.000

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

214 206 151 171 0 313 0 269 179 0

N.S.

1 0.96 0.71 0.80 0.00 1.46 0.00 1.26 0.84 0.00

time (sec)

N/A 0.747 0.628 0.517 0.000 0.098 0.000 0.197 0.202 0.000

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

172 164 172 144 0 270 0 235 142 0

N.S.

1 0.95 1.00 0.84 0.00 1.57 0.00 1.37 0.83 0.00

time (sec)

N/A 0.625 0.514 0.570 0.000 0.104 0.000 0.169 0.200 0.000

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

131 124 110 127 0 221 0 184 103 0

N.S.

1 0.95 0.84 0.97 0.00 1.69 0.00 1.40 0.79 0.00

time (sec)

N/A 0.497 0.173 0.411 0.000 0.100 0.000 0.159 0.196 0.000

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

109 121 105 117 0 199 0 124 103 0

N.S.

1 1.11 0.96 1.07 0.00 1.83 0.00 1.14 0.94 0.00

time (sec)

N/A 0.547 0.211 0.405 0.000 0.103 0.000 0.240 0.201 0.000

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

107 114 98 119 0 204 0 122 96 0

N.S.

1 1.07 0.92 1.11 0.00 1.91 0.00 1.14 0.90 0.00

time (sec)

N/A 0.514 0.157 0.408 0.000 0.116 0.000 0.472 0.221 0.000

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F A B B

verified

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

size

70 70 43 45 0 66 0 98 111 74

N.S.

1 1.00 0.61 0.64 0.00 0.94 0.00 1.40 1.59 1.06

time (sec)

N/A 0.374 0.141 0.399 0.000 0.106 0.000 0.158 0.205 9.002

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F A B B

verified

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

size

112 112 70 67 0 91 0 142 153 99

N.S.

1 1.00 0.62 0.60 0.00 0.81 0.00 1.27 1.37 0.88

time (sec)

N/A 0.472 0.168 0.445 0.000 0.086 0.000 0.160 0.191 9.143

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

156 154 85 91 0 115 0 182 193 122

N.S.

1 0.99 0.54 0.58 0.00 0.74 0.00 1.17 1.24 0.78

time (sec)

N/A 0.540 0.203 0.396 0.000 0.090 0.000 0.188 0.209 8.944

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

343 328 248 243 0 459 0 655 299 0

N.S.

1 0.96 0.72 0.71 0.00 1.34 0.00 1.91 0.87 0.00

time (sec)

N/A 1.134 1.327 0.401 0.000 0.106 0.000 0.225 0.250 0.000

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

301 286 228 217 0 414 0 369 262 0

N.S.

1 0.95 0.76 0.72 0.00 1.38 0.00 1.23 0.87 0.00

time (sec)

N/A 0.979 1.079 0.430 0.000 0.105 0.000 0.191 0.225 0.000

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

260 244 205 198 0 367 0 329 222 0

N.S.

1 0.94 0.79 0.76 0.00 1.41 0.00 1.27 0.85 0.00

time (sec)

N/A 0.834 0.810 0.411 0.000 0.103 0.000 0.203 0.197 0.000

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

216 202 190 175 0 320 0 286 182 0

N.S.

1 0.94 0.88 0.81 0.00 1.48 0.00 1.32 0.84 0.00

time (sec)

N/A 0.724 0.652 0.417 0.000 0.112 0.000 0.190 0.216 0.000

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

172 162 136 150 0 273 0 230 142 0

N.S.

1 0.94 0.79 0.87 0.00 1.59 0.00 1.34 0.83 0.00

time (sec)

N/A 0.631 0.211 0.431 0.000 0.106 0.000 0.404 0.196 0.000

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

153 159 126 133 0 247 0 158 143 0

N.S.

1 1.04 0.82 0.87 0.00 1.61 0.00 1.03 0.93 0.00

time (sec)

N/A 0.617 0.371 0.500 0.000 0.116 0.000 0.410 0.205 0.000

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

147 161 121 134 0 233 0 187 127 0

N.S.

1 1.10 0.82 0.91 0.00 1.59 0.00 1.27 0.86 0.00

time (sec)

N/A 0.617 0.267 0.447 0.000 0.109 0.000 0.269 0.209 0.000

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

141 149 125 145 0 252 0 153 139 0

N.S.

1 1.06 0.89 1.03 0.00 1.79 0.00 1.09 0.99 0.00

time (sec)

N/A 0.576 0.227 0.426 0.000 0.125 0.000 0.390 0.209 0.000

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

70 70 43 45 0 89 0 105 153 99

N.S.

1 1.00 0.61 0.64 0.00 1.27 0.00 1.50 2.19 1.41

time (sec)

N/A 0.377 0.208 0.471 0.000 0.083 0.000 0.245 0.208 9.490

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

112 112 64 67 0 115 0 145 193 122

N.S.

1 1.00 0.57 0.60 0.00 1.03 0.00 1.29 1.72 1.09

time (sec)

N/A 0.455 0.251 0.435 0.000 0.089 0.000 0.211 0.222 9.375

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

156 154 88 91 0 140 0 189 233 146

N.S.

1 0.99 0.56 0.58 0.00 0.90 0.00 1.21 1.49 0.94

time (sec)

N/A 0.558 0.309 0.472 0.000 0.088 0.000 0.225 0.220 9.294

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

346 324 247 246 0 462 0 421 302 0

N.S.

1 0.94 0.71 0.71 0.00 1.34 0.00 1.22 0.87 0.00

time (sec)

N/A 1.122 1.310 0.600 0.000 0.103 0.000 0.252 0.258 0.000

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

302 282 230 223 0 417 0 375 262 0

N.S.

1 0.93 0.76 0.74 0.00 1.38 0.00 1.24 0.87 0.00

time (sec)

N/A 0.968 1.079 0.444 0.000 0.117 0.000 0.212 0.216 0.000

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

258 240 212 199 0 368 0 331 222 0

N.S.

1 0.93 0.82 0.77 0.00 1.43 0.00 1.28 0.86 0.00

time (sec)

N/A 0.844 0.883 0.446 0.000 0.106 0.000 0.339 0.223 0.000

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

214 200 155 174 0 321 0 271 182 0

N.S.

1 0.93 0.72 0.81 0.00 1.50 0.00 1.27 0.85 0.00

time (sec)

N/A 0.715 0.282 0.418 0.000 0.102 0.000 0.205 0.222 0.000

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

194 197 148 159 0 301 0 193 187 0

N.S.

1 1.02 0.76 0.82 0.00 1.55 0.00 0.99 0.96 0.00

time (sec)

N/A 0.745 0.514 0.410 0.000 0.099 0.000 0.263 0.219 0.000

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

197 199 139 159 0 287 0 235 182 0

N.S.

1 1.01 0.71 0.81 0.00 1.46 0.00 1.19 0.92 0.00

time (sec)

N/A 0.710 0.451 0.431 0.000 0.095 0.000 0.274 0.209 0.000

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

187 199 145 160 0 287 0 245 182 0

N.S.

1 1.06 0.78 0.86 0.00 1.53 0.00 1.31 0.97 0.00

time (sec)

N/A 0.734 0.359 0.414 0.000 0.098 0.000 0.375 0.211 0.000

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

177 184 143 169 0 304 0 183 183 0

N.S.

1 1.04 0.81 0.95 0.00 1.72 0.00 1.03 1.03 0.00

time (sec)

N/A 0.674 0.302 0.418 0.000 0.098 0.000 0.338 0.232 0.000

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

70 70 43 45 0 113 0 105 193 121

N.S.

1 1.00 0.61 0.64 0.00 1.61 0.00 1.50 2.76 1.73

time (sec)

N/A 0.357 0.280 0.409 0.000 0.098 0.000 0.277 0.221 9.438

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

112 112 64 67 0 138 0 149 233 144

N.S.

1 1.00 0.57 0.60 0.00 1.23 0.00 1.33 2.08 1.29

time (sec)

N/A 0.452 0.360 0.419 0.000 0.090 0.000 0.192 0.225 9.587

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

156 154 94 91 0 163 0 189 273 168

N.S.

1 0.99 0.60 0.58 0.00 1.04 0.00 1.21 1.75 1.08

time (sec)

N/A 0.566 0.449 0.412 0.000 0.093 0.000 0.254 0.324 9.680

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

219 210 199 174 0 350 0 256 182 0

N.S.

1 0.96 0.91 0.79 0.00 1.60 0.00 1.17 0.83 0.00

time (sec)

N/A 0.794 0.608 0.405 0.000 0.103 0.000 0.139 0.247 0.000

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

175 168 138 150 0 297 0 218 142 0

N.S.

1 0.96 0.79 0.86 0.00 1.70 0.00 1.25 0.81 0.00

time (sec)

N/A 0.653 0.521 0.411 0.000 0.106 0.000 0.272 0.286 0.000

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

131 126 112 128 0 226 0 172 102 0

N.S.

1 0.96 0.85 0.98 0.00 1.73 0.00 1.31 0.78 0.00

time (sec)

N/A 0.544 0.322 0.398 0.000 0.106 0.000 0.134 0.216 0.000

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

83 83 100 108 0 185 0 135 66 0

N.S.

1 1.00 1.20 1.30 0.00 2.23 0.00 1.63 0.80 0.00

time (sec)

N/A 0.435 0.210 0.401 0.000 0.109 0.000 0.139 0.211 0.000

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 80 84 94 0 177 0 85 60 0

N.S.

1 1.04 1.09 1.22 0.00 2.30 0.00 1.10 0.78 0.00

time (sec)

N/A 0.401 0.112 0.394 0.000 0.105 0.000 0.214 0.207 0.000

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F A B B

verified

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

size

70 70 42 44 0 45 0 78 69 51

N.S.

1 1.00 0.60 0.63 0.00 0.64 0.00 1.11 0.99 0.73

time (sec)

N/A 0.358 0.120 0.401 0.000 0.087 0.000 0.245 0.201 9.661

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F A B B

verified

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

size

112 112 63 67 0 68 0 132 111 77

N.S.

1 1.00 0.56 0.60 0.00 0.61 0.00 1.18 0.99 0.69

time (sec)

N/A 0.440 0.141 0.424 0.000 0.091 0.000 0.189 0.207 9.740

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F A B B

verified

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

size

156 154 83 91 0 92 0 172 153 102

N.S.

1 0.99 0.53 0.58 0.00 0.59 0.00 1.10 0.98 0.65

time (sec)

N/A 0.542 0.182 0.403 0.000 0.083 0.000 0.163 0.227 10.038

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

171 180 171 214 0 362 0 230 157 0

N.S.

1 1.05 1.00 1.25 0.00 2.12 0.00 1.35 0.92 0.00

time (sec)

N/A 0.692 0.426 0.428 0.000 0.105 0.000 0.173 0.217 0.000

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

123 138 112 199 0 301 0 178 127 0

N.S.

1 1.12 0.91 1.62 0.00 2.45 0.00 1.45 1.03 0.00

time (sec)

N/A 0.566 0.343 0.418 0.000 0.103 0.000 0.151 0.203 0.000

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

87 90 90 174 0 246 0 126 88 0

N.S.

1 1.03 1.03 2.00 0.00 2.83 0.00 1.45 1.01 0.00

time (sec)

N/A 0.425 0.119 0.398 0.000 0.106 0.000 0.173 0.191 0.000

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F A B B

verified

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

size

66 66 40 44 0 55 0 111 71 68

N.S.

1 1.00 0.61 0.67 0.00 0.83 0.00 1.68 1.08 1.03

time (sec)

N/A 0.356 0.100 0.408 0.000 0.090 0.000 0.190 0.211 9.729

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F B B B

verified

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

size

111 110 61 66 0 76 0 304 95 98

N.S.

1 0.99 0.55 0.59 0.00 0.68 0.00 2.74 0.86 0.88

time (sec)

N/A 0.439 0.151 0.415 0.000 0.092 0.000 0.763 0.209 9.881

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F B B B

verified

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

size

151 149 82 91 0 103 0 323 129 115

N.S.

1 0.99 0.54 0.60 0.00 0.68 0.00 2.14 0.85 0.76

time (sec)

N/A 0.548 0.171 0.415 0.000 0.100 0.000 0.284 0.204 9.823

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F B B B

verified

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

size

192 191 101 115 0 131 0 375 159 148

N.S.

1 0.99 0.53 0.60 0.00 0.68 0.00 1.95 0.83 0.77

time (sec)

N/A 0.651 0.229 0.430 0.000 0.091 0.000 0.414 0.224 9.488

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

214 223 190 319 0 494 0 290 296 0

N.S.

1 1.04 0.89 1.49 0.00 2.31 0.00 1.36 1.38 0.00

time (sec)

N/A 0.787 0.557 0.425 0.000 0.129 0.000 0.181 0.207 0.000

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

163 181 133 304 0 431 0 236 230 0

N.S.

1 1.11 0.82 1.87 0.00 2.64 0.00 1.45 1.41 0.00

time (sec)

N/A 0.657 0.486 0.431 0.000 0.120 0.000 0.230 0.212 0.000

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

120 130 108 247 0 336 0 151 146 0

N.S.

1 1.08 0.90 2.06 0.00 2.80 0.00 1.26 1.22 0.00

time (sec)

N/A 0.528 0.200 0.397 0.000 0.125 0.000 0.151 0.211 0.000

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 85 42 44 0 68 0 73 110 80

N.S.

1 1.00 0.49 0.52 0.00 0.80 0.00 0.86 1.29 0.94

time (sec)

N/A 0.394 0.120 0.401 0.000 0.103 0.000 0.141 0.204 9.731

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F A B B

verified

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

size

109 123 61 67 0 97 0 171 146 109

N.S.

1 1.13 0.56 0.61 0.00 0.89 0.00 1.57 1.34 1.00

time (sec)

N/A 0.495 0.154 0.425 0.000 0.107 0.000 0.391 0.212 9.512

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F B B B

verified

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

size

152 159 77 90 0 123 0 365 169 134

N.S.

1 1.05 0.51 0.59 0.00 0.81 0.00 2.40 1.11 0.88

time (sec)

N/A 0.577 0.170 0.437 0.000 0.102 0.000 1.457 0.209 9.393

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

194 188 102 115 0 141 0 0 200 152

N.S.

1 0.97 0.53 0.59 0.00 0.73 0.00 0.00 1.03 0.78

time (sec)

N/A 0.627 0.239 0.427 0.000 0.096 0.000 0.000 0.217 9.497

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

238 232 121 139 0 160 0 0 229 183

N.S.

1 0.97 0.51 0.58 0.00 0.67 0.00 0.00 0.96 0.77

time (sec)

N/A 0.746 0.295 0.447 0.000 0.101 0.000 0.000 0.218 9.452

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F A F B B B

verified

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

size

280 274 134 163 0 187 0 533 260 183

N.S.

1 0.98 0.48 0.58 0.00 0.67 0.00 1.90 0.93 0.65

time (sec)

N/A 0.870 0.309 0.474 0.000 0.101 0.000 2.072 0.219 9.367

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

121 125 90 457 161 383 2111 683 457 282

N.S.

1 1.03 0.74 3.78 1.33 3.17 17.45 5.64 3.78 2.33

time (sec)

N/A 0.482 0.142 0.399 0.059 0.096 0.704 0.389 0.226 9.106

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

91 95 74 92 115 219 1081 388 249 181

N.S.

1 1.04 0.81 1.01 1.26 2.41 11.88 4.26 2.74 1.99

time (sec)

N/A 0.423 0.109 0.342 0.044 0.099 0.465 0.291 0.197 8.939

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

60 64 60 61 69 96 425 173 101 99

N.S.

1 1.07 1.00 1.02 1.15 1.60 7.08 2.88 1.68 1.65

time (sec)

N/A 0.353 0.065 0.062 0.045 0.110 0.327 0.203 0.207 8.836

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

66 65 52 0 0 0 0 0 117 0

N.S.

1 0.98 0.79 0.00 0.00 0.00 0.00 0.00 1.77 0.00

time (sec)

N/A 0.313 0.067 0.000 0.000 0.000 0.000 0.000 0.207 0.000

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 94 69 0 0 0 0 0 821 0

N.S.

1 1.11 0.81 0.00 0.00 0.00 0.00 0.00 9.66 0.00

time (sec)

N/A 0.358 0.066 0.000 0.000 0.000 0.000 0.000 0.203 0.000

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 100 74 0 0 0 0 0 1674 0

N.S.

1 1.18 0.87 0.00 0.00 0.00 0.00 0.00 19.69 0.00

time (sec)

N/A 0.365 0.081 0.000 0.000 0.000 0.000 0.000 0.209 0.000

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

111 123 101 0 0 0 0 0 0 0

N.S.

1 1.11 0.91 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.472 0.112 0.000 0.000 0.000 0.000 0.000 0.228 0.000

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

106 121 115 0 0 0 0 0 1514 0

N.S.

1 1.14 1.08 0.00 0.00 0.00 0.00 0.00 14.28 0.00

time (sec)

N/A 0.487 0.082 0.000 0.000 0.000 0.000 0.000 0.232 0.000

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

146 137 115 1454 247 1171 18686 3372 1508 1641

N.S.

1 0.94 0.79 9.96 1.69 8.02 127.99 23.10 10.33 11.24

time (sec)

N/A 0.536 0.198 7.014 0.062 0.135 94.522 0.364 0.257 9.747

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

111 106 96 653 179 565 6790 1616 677 809

N.S.

1 0.95 0.86 5.88 1.61 5.09 61.17 14.56 6.10 7.29

time (sec)

N/A 0.468 0.155 1.748 0.048 0.123 29.238 0.254 0.243 8.680

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

63 62 74 205 99 190 1756 544 211 297

N.S.

1 0.98 1.17 3.25 1.57 3.02 27.87 8.63 3.35 4.71

time (sec)

N/A 0.380 0.085 0.409 0.043 0.094 11.991 0.295 0.276 5.362

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

82 85 61 0 0 0 0 0 421 0

N.S.

1 1.04 0.74 0.00 0.00 0.00 0.00 0.00 5.13 0.00

time (sec)

N/A 0.402 0.083 0.000 0.000 0.000 0.000 0.000 0.204 0.000

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

94 106 86 0 0 0 0 0 0 0

N.S.

1 1.13 0.91 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.431 0.080 0.000 0.000 0.000 0.000 0.000 0.206 0.000

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

99 113 93 0 0 0 0 0 0 0

N.S.

1 1.14 0.94 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.436 0.074 0.000 0.000 0.000 0.000 0.000 0.208 0.000

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

147 172 127 0 0 0 0 0 28 0

N.S.

1 1.17 0.86 0.00 0.00 0.00 0.00 0.00 0.19 0.00

time (sec)

N/A 0.503 0.345 0.000 0.000 0.000 0.000 0.000 200.037 0.000

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

147 172 127 0 0 0 0 0 86 0

N.S.

1 1.17 0.86 0.00 0.00 0.00 0.00 0.00 0.59 0.00

time (sec)

N/A 0.496 0.279 0.000 0.000 0.000 0.000 0.000 34.695 0.000

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

141 166 121 0 0 0 0 0 42 0

N.S.

1 1.18 0.86 0.00 0.00 0.00 0.00 0.00 0.30 0.00

time (sec)

N/A 0.484 0.221 0.000 0.000 0.000 0.000 0.000 1.723 0.000

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

145 170 106 0 0 0 0 0 52 0

N.S.

1 1.17 0.73 0.00 0.00 0.00 0.00 0.00 0.36 0.00

time (sec)

N/A 0.504 0.216 0.000 0.000 0.000 0.000 0.000 0.304 0.000

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

145 170 114 0 0 0 0 0 82 0

N.S.

1 1.17 0.79 0.00 0.00 0.00 0.00 0.00 0.57 0.00

time (sec)

N/A 0.498 0.281 0.000 0.000 0.000 0.000 0.000 0.373 0.000

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

146 173 115 0 0 0 0 0 126 0

N.S.

1 1.18 0.79 0.00 0.00 0.00 0.00 0.00 0.86 0.00

time (sec)

N/A 0.491 0.327 0.000 0.000 0.000 0.000 0.000 0.290 0.000

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

126 155 103 0 0 0 0 0 0 0

N.S.

1 1.23 0.82 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.482 0.077 0.000 0.000 0.000 0.000 0.000 0.288 0.000

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