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

Integrals 301 to 400

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

verified

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

size

34 34 71 47 0 79 0 67 38 0

N.S.

1 1.00 2.09 1.38 0.00 2.32 0.00 1.97 1.12 0.00

time (sec)

N/A 0.321 0.133 0.820 0.000 0.074 0.000 0.151 0.209 0.000

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 81 135 93 0 196 0 0 63 0

N.S.

1 1.05 1.75 1.21 0.00 2.55 0.00 0.00 0.82 0.00

time (sec)

N/A 0.437 1.877 1.292 0.000 0.098 0.000 0.000 0.203 0.000

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

76 80 107 120 0 255 0 0 82 0

N.S.

1 1.05 1.41 1.58 0.00 3.36 0.00 0.00 1.08 0.00

time (sec)

N/A 0.444 2.366 0.774 0.000 0.088 0.000 0.000 0.200 0.000

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

113 121 176 187 0 336 0 0 103 0

N.S.

1 1.07 1.56 1.65 0.00 2.97 0.00 0.00 0.91 0.00

time (sec)

N/A 0.544 3.218 0.761 0.000 0.117 0.000 0.000 0.248 0.000

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

145 157 189 243 0 408 0 0 122 0

N.S.

1 1.08 1.30 1.68 0.00 2.81 0.00 0.00 0.84 0.00

time (sec)

N/A 0.670 5.044 0.777 0.000 0.097 0.000 0.000 0.231 0.000

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

145 146 1105 81 0 234 0 210 139 0

N.S.

1 1.01 7.62 0.56 0.00 1.61 0.00 1.45 0.96 0.00

time (sec)

N/A 0.815 13.368 7.392 0.000 0.097 0.000 0.233 0.197 0.000

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

109 109 66 71 0 201 0 177 69 0

N.S.

1 1.00 0.61 0.65 0.00 1.84 0.00 1.62 0.63 0.00

time (sec)

N/A 0.633 6.445 7.446 0.000 0.084 0.000 0.187 0.179 0.000

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

73 72 84 61 0 152 0 136 89 0

N.S.

1 0.99 1.15 0.84 0.00 2.08 0.00 1.86 1.22 0.00

time (sec)

N/A 0.502 8.077 1.073 0.000 0.082 0.000 0.196 0.181 0.000

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

36 36 73 49 0 114 0 101 64 0

N.S.

1 1.00 2.03 1.36 0.00 3.17 0.00 2.81 1.78 0.00

time (sec)

N/A 0.362 0.691 1.156 0.000 0.078 0.000 0.173 0.174 0.000

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

115 124 130 112 0 238 0 0 102 0

N.S.

1 1.08 1.13 0.97 0.00 2.07 0.00 0.00 0.89 0.00

time (sec)

N/A 0.629 8.778 1.038 0.000 0.092 0.000 0.000 0.193 0.000

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

115 123 149 146 0 299 0 0 128 0

N.S.

1 1.07 1.30 1.27 0.00 2.60 0.00 0.00 1.11 0.00

time (sec)

N/A 0.636 7.888 1.133 0.000 0.092 0.000 0.000 0.176 0.000

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

122 125 163 191 0 362 0 0 162 0

N.S.

1 1.02 1.34 1.57 0.00 2.97 0.00 0.00 1.33 0.00

time (sec)

N/A 0.632 8.640 1.055 0.000 0.105 0.000 0.000 0.188 0.000

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

156 166 307 245 0 440 0 0 188 0

N.S.

1 1.06 1.97 1.57 0.00 2.82 0.00 0.00 1.21 0.00

time (sec)

N/A 0.741 4.168 1.063 0.000 0.123 0.000 0.000 0.203 0.000

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

190 202 371 299 0 523 0 0 222 0

N.S.

1 1.06 1.95 1.57 0.00 2.75 0.00 0.00 1.17 0.00

time (sec)

N/A 0.881 5.268 1.086 0.000 0.113 0.000 0.000 0.217 0.000

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

145 146 112 81 0 265 0 243 95 0

N.S.

1 1.01 0.77 0.56 0.00 1.83 0.00 1.68 0.66 0.00

time (sec)

N/A 0.805 13.324 38.473 0.000 0.096 0.000 0.214 0.218 0.000

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

109 109 1105 71 0 234 0 210 135 0

N.S.

1 1.00 10.14 0.65 0.00 2.15 0.00 1.93 1.24 0.00

time (sec)

N/A 0.664 13.408 38.497 0.000 0.089 0.000 0.230 0.214 0.000

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

73 72 84 61 0 179 0 136 91 0

N.S.

1 0.99 1.15 0.84 0.00 2.45 0.00 1.86 1.25 0.00

time (sec)

N/A 0.504 9.708 2.195 0.000 0.090 0.000 0.190 0.202 0.000

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

36 36 73 49 0 141 0 131 88 0

N.S.

1 1.00 2.03 1.36 0.00 3.92 0.00 3.64 2.44 0.00

time (sec)

N/A 0.363 0.883 2.187 0.000 0.082 0.000 0.190 0.203 0.000

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

151 163 156 129 0 265 0 0 136 0

N.S.

1 1.08 1.03 0.85 0.00 1.75 0.00 0.00 0.90 0.00

time (sec)

N/A 0.838 7.977 2.107 0.000 0.092 0.000 0.000 0.209 0.000

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

150 162 173 189 0 326 0 0 172 0

N.S.

1 1.08 1.15 1.26 0.00 2.17 0.00 0.00 1.15 0.00

time (sec)

N/A 0.834 9.134 2.135 0.000 0.096 0.000 0.000 0.200 0.000

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

157 164 187 239 0 388 0 0 216 0

N.S.

1 1.04 1.19 1.52 0.00 2.47 0.00 0.00 1.38 0.00

time (sec)

N/A 0.812 8.495 2.103 0.000 0.099 0.000 0.000 0.218 0.000

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

157 166 307 245 0 440 0 0 252 0

N.S.

1 1.06 1.96 1.56 0.00 2.80 0.00 0.00 1.61 0.00

time (sec)

N/A 0.806 9.863 2.129 0.000 0.100 0.000 0.000 0.194 0.000

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

191 207 371 299 0 523 0 0 296 0

N.S.

1 1.08 1.94 1.57 0.00 2.74 0.00 0.00 1.55 0.00

time (sec)

N/A 0.939 7.144 2.151 0.000 0.110 0.000 0.000 0.196 0.000

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

225 243 435 353 0 600 0 0 332 0

N.S.

1 1.08 1.93 1.57 0.00 2.67 0.00 0.00 1.48 0.00

time (sec)

N/A 1.088 9.628 2.176 0.000 0.110 0.000 0.000 0.189 0.000

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

132 134 112 69 238 74 0 325 134 0

N.S.

1 1.02 0.85 0.52 1.80 0.56 0.00 2.46 1.02 0.00

time (sec)

N/A 0.824 9.935 1.525 0.123 0.082 0.000 0.206 0.195 0.000

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

98 99 102 59 192 58 0 225 98 0

N.S.

1 1.01 1.04 0.60 1.96 0.59 0.00 2.30 1.00 0.00

time (sec)

N/A 0.677 8.084 1.512 0.130 0.084 0.000 0.183 0.200 0.000

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

60 64 88 49 146 41 0 64 64 90

N.S.

1 1.07 1.47 0.82 2.43 0.68 0.00 1.07 1.07 1.50

time (sec)

N/A 0.510 2.476 0.446 0.118 0.078 0.000 0.160 0.211 18.321

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 29 29 39 76 29 0 62 30 40

N.S.

1 1.00 1.00 1.34 2.62 1.00 0.00 2.14 1.03 1.38

time (sec)

N/A 0.371 0.990 0.508 0.114 0.073 0.000 0.143 0.203 0.123

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

83 81 97 85 0 154 0 0 36 0

N.S.

1 0.98 1.17 1.02 0.00 1.86 0.00 0.00 0.43 0.00

time (sec)

N/A 0.476 2.603 0.465 0.000 0.090 0.000 0.000 0.190 0.000

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

117 118 125 134 0 207 0 0 53 0

N.S.

1 1.01 1.07 1.15 0.00 1.77 0.00 0.00 0.45 0.00

time (sec)

N/A 0.569 3.949 0.469 0.000 0.094 0.000 0.000 0.190 0.000

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

156 154 162 210 0 241 0 0 54 0

N.S.

1 0.99 1.04 1.35 0.00 1.54 0.00 0.00 0.35 0.00

time (sec)

N/A 0.739 5.080 0.467 0.000 0.114 0.000 0.000 0.187 0.000

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

176 175 124 91 380 104 0 426 216 0

N.S.

1 0.99 0.70 0.52 2.16 0.59 0.00 2.42 1.23 0.00

time (sec)

N/A 0.979 12.389 20.751 0.130 0.085 0.000 0.225 0.231 0.000

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

136 138 112 79 334 91 0 119 174 0

N.S.

1 1.01 0.82 0.58 2.46 0.67 0.00 0.88 1.28 0.00

time (sec)

N/A 0.780 8.745 20.717 0.125 0.095 0.000 0.189 0.215 0.000

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

100 103 104 71 288 76 0 225 128 360

N.S.

1 1.03 1.04 0.71 2.88 0.76 0.00 2.25 1.28 3.60

time (sec)

N/A 0.627 3.559 20.681 0.128 0.084 0.000 0.177 0.185 23.046

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

68 70 92 61 239 57 0 111 84 120

N.S.

1 1.03 1.35 0.90 3.51 0.84 0.00 1.63 1.24 1.76

time (sec)

N/A 0.482 2.745 0.474 0.129 0.083 0.000 0.156 0.182 24.429

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

36 36 73 49 149 46 0 110 40 227

N.S.

1 1.00 2.03 1.36 4.14 1.28 0.00 3.06 1.11 6.31

time (sec)

N/A 0.331 1.240 0.545 0.130 0.076 0.000 0.146 0.173 19.634

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

124 117 109 109 0 204 0 0 52 0

N.S.

1 0.94 0.88 0.88 0.00 1.65 0.00 0.00 0.42 0.00

time (sec)

N/A 0.576 3.363 0.499 0.000 0.092 0.000 0.000 0.183 0.000

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

155 154 164 157 0 186 0 0 45 0

N.S.

1 0.99 1.06 1.01 0.00 1.20 0.00 0.00 0.29 0.00

time (sec)

N/A 0.699 4.733 0.463 0.000 0.097 0.000 0.000 0.194 0.000

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

192 190 156 233 0 241 0 0 72 0

N.S.

1 0.99 0.81 1.21 0.00 1.26 0.00 0.00 0.38 0.00

time (sec)

N/A 0.898 6.462 0.471 0.000 0.104 0.000 0.000 0.218 0.000

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

174 175 124 91 472 119 0 426 266 0

N.S.

1 1.01 0.71 0.52 2.71 0.68 0.00 2.45 1.53 0.00

time (sec)

N/A 0.971 11.463 134.544 0.129 0.100 0.000 0.230 0.201 0.000

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

134 138 114 81 426 106 0 325 214 542

N.S.

1 1.03 0.85 0.60 3.18 0.79 0.00 2.43 1.60 4.04

time (sec)

N/A 0.784 4.826 133.699 0.130 0.088 0.000 0.208 0.212 24.127

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

104 105 104 71 380 91 0 165 158 453

N.S.

1 1.01 1.00 0.68 3.65 0.88 0.00 1.59 1.52 4.36

time (sec)

N/A 0.647 3.983 133.962 0.126 0.086 0.000 0.176 0.224 21.544

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

73 72 92 61 331 74 0 207 104 355

N.S.

1 0.99 1.26 0.84 4.53 1.01 0.00 2.84 1.42 4.86

time (sec)

N/A 0.481 3.097 0.475 0.124 0.084 0.000 0.181 0.235 22.859

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

36 36 73 49 218 61 0 157 50 90

N.S.

1 1.00 2.03 1.36 6.06 1.69 0.00 4.36 1.39 2.50

time (sec)

N/A 0.330 1.599 0.572 0.130 0.078 0.000 0.159 0.198 21.109

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

160 153 189 122 0 241 0 0 54 0

N.S.

1 0.96 1.18 0.76 0.00 1.51 0.00 0.00 0.34 0.00

time (sec)

N/A 0.741 3.792 0.503 0.000 0.094 0.000 0.000 0.194 0.000

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

191 190 174 170 0 238 0 0 69 0

N.S.

1 0.99 0.91 0.89 0.00 1.25 0.00 0.00 0.36 0.00

time (sec)

N/A 0.855 6.433 0.490 0.000 0.097 0.000 0.000 0.231 0.000

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

228 226 443 246 0 208 0 0 56 0

N.S.

1 0.99 1.94 1.08 0.00 0.91 0.00 0.00 0.25 0.00

time (sec)

N/A 1.067 8.000 0.515 0.000 0.100 0.000 0.000 0.186 0.000

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

43 43 83 92 0 95 0 51 129 99

N.S.

1 1.00 1.93 2.14 0.00 2.21 0.00 1.19 3.00 2.30

time (sec)

N/A 0.266 2.096 1.980 0.000 0.088 0.000 0.151 0.208 17.971

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

43 43 74 90 0 83 0 51 94 88

N.S.

1 1.00 1.72 2.09 0.00 1.93 0.00 1.19 2.19 2.05

time (sec)

N/A 0.270 1.733 1.902 0.000 0.093 0.000 0.145 0.188 18.562

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

43 43 60 73 0 61 0 51 61 71

N.S.

1 1.00 1.40 1.70 0.00 1.42 0.00 1.19 1.42 1.65

time (sec)

N/A 0.279 1.259 1.868 0.000 0.089 0.000 0.143 0.190 18.425

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

41 41 79 56 0 43 0 51 28 47

N.S.

1 1.00 1.93 1.37 0.00 1.05 0.00 1.24 0.68 1.15

time (sec)

N/A 0.268 0.117 1.819 0.000 0.081 0.000 0.142 0.171 0.266

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

52 53 119 137 63 0 0 53 42 0

N.S.

1 1.02 2.29 2.63 1.21 0.00 0.00 1.02 0.81 0.00

time (sec)

N/A 0.373 1.849 1.677 0.128 0.000 0.000 0.165 0.172 0.000

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

40 40 84 60 0 59 0 53 51 0

N.S.

1 1.00 2.10 1.50 0.00 1.48 0.00 1.32 1.28 0.00

time (sec)

N/A 0.280 1.529 1.877 0.000 0.082 0.000 0.135 0.169 0.000

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

43 43 87 88 0 73 0 53 62 142

N.S.

1 1.00 2.02 2.05 0.00 1.70 0.00 1.23 1.44 3.30

time (sec)

N/A 0.278 1.804 1.879 0.000 0.087 0.000 0.144 0.197 21.377

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

43 43 87 104 0 90 0 53 71 190

N.S.

1 1.00 2.02 2.42 0.00 2.09 0.00 1.23 1.65 4.42

time (sec)

N/A 0.278 2.539 1.902 0.000 0.089 0.000 0.150 0.220 20.978

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

89 89 146 125 0 101 0 104 130 111

N.S.

1 1.00 1.64 1.40 0.00 1.13 0.00 1.17 1.46 1.25

time (sec)

N/A 0.454 7.622 1.822 0.000 0.094 0.000 0.150 0.197 18.881

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

89 89 137 109 0 87 0 104 128 100

N.S.

1 1.00 1.54 1.22 0.00 0.98 0.00 1.17 1.44 1.12

time (sec)

N/A 0.454 6.017 1.759 0.000 0.111 0.000 0.157 0.207 1.137

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

89 89 69 91 0 60 0 100 64 66

N.S.

1 1.00 0.78 1.02 0.00 0.67 0.00 1.12 0.72 0.74

time (sec)

N/A 0.452 1.378 1.773 0.000 0.092 0.000 0.153 0.183 0.552

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

43 43 60 71 0 61 0 51 59 71

N.S.

1 1.00 1.40 1.65 0.00 1.42 0.00 1.19 1.37 1.65

time (sec)

N/A 0.272 1.191 1.832 0.000 0.088 0.000 0.134 0.193 17.994

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

96 97 113 156 0 0 0 96 83 0

N.S.

1 1.01 1.18 1.62 0.00 0.00 0.00 1.00 0.86 0.00

time (sec)

N/A 0.541 3.270 1.730 0.000 0.000 0.000 0.145 0.196 0.000

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

97 98 153 181 137 0 0 110 102 0

N.S.

1 1.01 1.58 1.87 1.41 0.00 0.00 1.13 1.05 0.00

time (sec)

N/A 0.554 7.617 1.837 0.130 0.000 0.000 0.141 0.192 0.000

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

42 42 99 63 0 80 0 87 123 0

N.S.

1 1.00 2.36 1.50 0.00 1.90 0.00 2.07 2.93 0.00

time (sec)

N/A 0.280 5.162 1.822 0.000 0.098 0.000 0.156 0.186 0.000

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

88 88 106 94 0 101 0 0 142 124

N.S.

1 1.00 1.20 1.07 0.00 1.15 0.00 0.00 1.61 1.41

time (sec)

N/A 0.489 3.601 1.809 0.000 0.101 0.000 0.000 0.201 21.419

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

92 92 106 109 0 114 0 87 163 195

N.S.

1 1.00 1.15 1.18 0.00 1.24 0.00 0.95 1.77 2.12

time (sec)

N/A 0.449 4.474 1.864 0.000 0.095 0.000 0.141 0.185 21.750

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

92 92 106 125 0 131 0 0 182 225

N.S.

1 1.00 1.15 1.36 0.00 1.42 0.00 0.00 1.98 2.45

time (sec)

N/A 0.452 5.357 1.853 0.000 0.095 0.000 0.000 0.187 23.999

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

134 138 156 127 0 112 0 156 196 124

N.S.

1 1.03 1.16 0.95 0.00 0.84 0.00 1.16 1.46 0.93

time (sec)

N/A 0.636 8.773 3.356 0.000 0.106 0.000 0.149 0.218 20.500

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

134 138 70 111 0 85 0 156 99 83

N.S.

1 1.03 0.52 0.83 0.00 0.63 0.00 1.16 0.74 0.62

time (sec)

N/A 0.634 1.708 3.235 0.000 0.089 0.000 0.159 0.185 1.040

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

89 89 133 93 0 87 0 150 128 100

N.S.

1 1.00 1.49 1.04 0.00 0.98 0.00 1.69 1.44 1.12

time (sec)

N/A 0.475 5.918 1.824 0.000 0.089 0.000 0.149 0.235 18.654

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

43 43 72 92 0 82 0 51 94 86

N.S.

1 1.00 1.67 2.14 0.00 1.91 0.00 1.19 2.19 2.00

time (sec)

N/A 0.270 1.434 1.892 0.000 0.089 0.000 0.143 0.225 17.762

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

141 144 127 175 0 0 0 128 131 0

N.S.

1 1.02 0.90 1.24 0.00 0.00 0.00 0.91 0.93 0.00

time (sec)

N/A 0.791 13.247 1.901 0.000 0.000 0.000 0.156 0.191 0.000

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

144 144 169 216 0 0 0 135 157 0

N.S.

1 1.00 1.17 1.50 0.00 0.00 0.00 0.94 1.09 0.00

time (sec)

N/A 0.782 8.653 1.933 0.000 0.000 0.000 0.156 0.188 0.000

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

147 148 190 236 184 0 0 125 191 0

N.S.

1 1.01 1.29 1.61 1.25 0.00 0.00 0.85 1.30 0.00

time (sec)

N/A 0.796 8.639 1.998 0.130 0.000 0.000 0.153 0.182 0.000

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

42 42 110 109 0 109 0 0 217 0

N.S.

1 1.00 2.62 2.60 0.00 2.60 0.00 0.00 5.17 0.00

time (sec)

N/A 0.285 13.646 1.797 0.000 0.089 0.000 0.000 0.211 0.000

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

88 88 118 96 0 133 0 123 251 242

N.S.

1 1.00 1.34 1.09 0.00 1.51 0.00 1.40 2.85 2.75

time (sec)

N/A 0.473 5.916 1.837 0.000 0.095 0.000 0.153 0.201 23.789

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

133 138 118 111 0 148 0 0 277 273

N.S.

1 1.04 0.89 0.83 0.00 1.11 0.00 0.00 2.08 2.05

time (sec)

N/A 0.677 7.835 1.850 0.000 0.108 0.000 0.000 0.193 23.790

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

140 144 118 127 0 162 0 123 311 287

N.S.

1 1.03 0.84 0.91 0.00 1.16 0.00 0.88 2.22 2.05

time (sec)

N/A 0.664 10.607 1.908 0.000 0.103 0.000 0.153 0.194 21.830

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

179 187 127 143 0 128 0 204 262 376

N.S.

1 1.04 0.71 0.80 0.00 0.72 0.00 1.14 1.46 2.10

time (sec)

N/A 0.853 11.701 3.442 0.000 0.107 0.000 0.166 0.237 21.623

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

179 187 80 127 0 101 0 204 134 179

N.S.

1 1.04 0.45 0.71 0.00 0.56 0.00 1.14 0.75 1.00

time (sec)

N/A 0.851 2.107 3.323 0.000 0.096 0.000 0.160 0.220 20.898

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

134 138 107 111 0 112 0 204 192 124

N.S.

1 1.03 0.80 0.83 0.00 0.84 0.00 1.52 1.43 0.93

time (sec)

N/A 0.682 8.258 3.302 0.000 0.098 0.000 0.165 0.215 19.650

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

89 89 93 93 0 101 0 104 130 109

N.S.

1 1.00 1.04 1.04 0.00 1.13 0.00 1.17 1.46 1.22

time (sec)

N/A 0.456 7.453 1.829 0.000 0.097 0.000 0.158 0.205 1.718

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

43 43 82 92 0 95 0 51 127 99

N.S.

1 1.00 1.91 2.14 0.00 2.21 0.00 1.19 2.95 2.30

time (sec)

N/A 0.274 1.864 1.962 0.000 0.090 0.000 0.134 0.264 18.845

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

184 191 150 193 0 0 0 141 174 0

N.S.

1 1.04 0.82 1.05 0.00 0.00 0.00 0.77 0.95 0.00

time (sec)

N/A 1.003 8.761 1.860 0.000 0.000 0.000 0.156 0.219 0.000

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

192 191 179 247 0 0 0 170 210 0

N.S.

1 0.99 0.93 1.29 0.00 0.00 0.00 0.89 1.09 0.00

time (sec)

N/A 0.986 10.244 1.931 0.000 0.000 0.000 0.163 0.186 0.000

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

195 196 207 252 0 0 0 153 254 0

N.S.

1 1.01 1.06 1.29 0.00 0.00 0.00 0.78 1.30 0.00

time (sec)

N/A 1.020 10.622 1.939 0.000 0.000 0.000 0.157 0.199 0.000

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

193 198 232 252 336 0 0 145 290 0

N.S.

1 1.03 1.20 1.31 1.74 0.00 0.00 0.75 1.50 0.00

time (sec)

N/A 0.984 10.370 1.923 0.136 0.000 0.000 0.157 0.189 0.000

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

42 42 115 109 0 127 0 155 334 0

N.S.

1 1.00 2.74 2.60 0.00 3.02 0.00 3.69 7.95 0.00

time (sec)

N/A 0.273 18.428 1.833 0.000 0.097 0.000 0.160 0.196 0.000

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

88 88 331 96 0 163 0 0 370 317

N.S.

1 1.00 3.76 1.09 0.00 1.85 0.00 0.00 4.20 3.60

time (sec)

N/A 0.450 11.825 1.872 0.000 0.106 0.000 0.000 0.207 23.866

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

133 138 335 111 0 178 0 155 414 330

N.S.

1 1.04 2.52 0.83 0.00 1.34 0.00 1.17 3.11 2.48

time (sec)

N/A 0.633 13.519 1.880 0.000 0.107 0.000 0.167 0.215 20.796

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

178 188 333 127 0 192 0 0 450 647

N.S.

1 1.06 1.87 0.71 0.00 1.08 0.00 0.00 2.53 3.63

time (sec)

N/A 0.871 13.755 1.947 0.000 0.111 0.000 0.000 0.234 22.329

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

188 196 128 143 0 204 0 155 494 673

N.S.

1 1.04 0.68 0.76 0.00 1.09 0.00 0.82 2.63 3.58

time (sec)

N/A 0.852 13.197 1.977 0.000 0.109 0.000 0.161 0.232 23.148

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

139 142 136 142 0 0 0 128 127 0

N.S.

1 1.02 0.98 1.02 0.00 0.00 0.00 0.92 0.91 0.00

time (sec)

N/A 0.749 13.306 1.899 0.000 0.000 0.000 0.152 0.185 0.000

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

93 95 119 124 0 0 0 96 84 0

N.S.

1 1.02 1.28 1.33 0.00 0.00 0.00 1.03 0.90 0.00

time (sec)

N/A 0.562 3.428 1.790 0.000 0.000 0.000 0.149 0.173 0.000

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

49 51 118 107 64 0 0 59 41 0

N.S.

1 1.04 2.41 2.18 1.31 0.00 0.00 1.20 0.84 0.00

time (sec)

N/A 0.354 1.759 1.726 0.139 0.000 0.000 0.172 0.179 0.000

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

46 46 71 158 0 158 0 0 47 0

N.S.

1 1.00 1.54 3.43 0.00 3.43 0.00 0.00 1.02 0.00

time (sec)

N/A 0.337 0.937 2.158 0.000 0.108 0.000 0.000 0.188 0.000

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

95 95 155 211 0 309 0 0 64 0

N.S.

1 1.00 1.63 2.22 0.00 3.25 0.00 0.00 0.67 0.00

time (sec)

N/A 0.527 1.713 1.757 0.000 0.124 0.000 0.000 0.174 0.000

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

140 145 202 242 0 374 0 0 65 0

N.S.

1 1.04 1.44 1.73 0.00 2.67 0.00 0.00 0.46 0.00

time (sec)

N/A 0.725 2.316 1.899 0.000 0.120 0.000 0.000 0.180 0.000

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

191 190 162 204 0 0 0 170 212 0

N.S.

1 0.99 0.85 1.07 0.00 0.00 0.00 0.89 1.11 0.00

time (sec)

N/A 0.974 10.034 2.051 0.000 0.000 0.000 0.154 0.183 0.000

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

143 143 153 188 0 0 0 0 157 0

N.S.

1 1.00 1.07 1.31 0.00 0.00 0.00 0.00 1.10 0.00

time (sec)

N/A 0.731 8.486 1.937 0.000 0.000 0.000 0.000 0.185 0.000

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

97 99 134 162 136 0 0 110 104 0

N.S.

1 1.02 1.38 1.67 1.40 0.00 0.00 1.13 1.07 0.00

time (sec)

N/A 0.536 2.732 1.937 0.168 0.000 0.000 0.149 0.201 0.000

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

41 41 85 86 0 58 0 53 51 52

N.S.

1 1.00 2.07 2.10 0.00 1.41 0.00 1.29 1.24 1.27

time (sec)

N/A 0.271 1.382 1.993 0.000 0.084 0.000 0.145 0.204 17.327

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