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

2.2.5 Integrals 401 to 500

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 401

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 129 71 70 163 149 0 131 91

N.S.

1 1.17 0.65 0.64 1.48 1.35 0.00 1.19 0.83

time (sec)

N/A 0.318 0.047 0.151 0.278 0.274 0.000 0.263 0.104

Problem 402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

249 127 92 146 0 274 0 0 0

N.S.

1 0.51 0.37 0.59 0.00 1.10 0.00 0.00 0.00

time (sec)

N/A 0.353 0.060 0.110 0.000 0.272 0.000 0.000 0.000

Problem 403

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

169 95 84 129 0 258 0 130 0

N.S.

1 0.56 0.50 0.76 0.00 1.53 0.00 0.77 0.00

time (sec)

N/A 0.336 0.052 0.099 0.000 0.275 0.000 0.279 0.000

Problem 404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 103 76 112 0 242 0 0 0

N.S.

1 0.61 0.45 0.66 0.00 1.43 0.00 0.00 0.00

time (sec)

N/A 0.288 0.034 0.114 0.000 0.258 0.000 0.000 0.000

Problem 405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 131 67 95 0 220 0 0 0

N.S.

1 1.10 0.56 0.80 0.00 1.85 0.00 0.00 0.00

time (sec)

N/A 0.309 0.020 0.092 0.000 0.257 0.000 0.000 0.000

Problem 406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 69 66 98 0 321 0 0 0

N.S.

1 0.58 0.55 0.82 0.00 2.70 0.00 0.00 0.00

time (sec)

N/A 0.310 0.027 0.118 0.000 0.292 0.000 0.000 0.000

Problem 407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 78 75 105 0 358 0 0 0

N.S.

1 0.63 0.60 0.85 0.00 2.89 0.00 0.00 0.00

time (sec)

N/A 0.312 0.029 0.115 0.000 0.276 0.000 0.000 0.000

Problem 408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 100 92 131 0 391 0 0 0

N.S.

1 0.58 0.53 0.76 0.00 2.26 0.00 0.00 0.00

time (sec)

N/A 0.336 0.043 0.122 0.000 0.277 0.000 0.000 0.000

Problem 409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

216 122 100 151 0 407 0 0 0

N.S.

1 0.56 0.46 0.70 0.00 1.88 0.00 0.00 0.00

time (sec)

N/A 0.356 0.052 0.149 0.000 0.276 0.000 0.000 0.000

Problem 410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

259 144 108 171 0 423 0 0 0

N.S.

1 0.56 0.42 0.66 0.00 1.63 0.00 0.00 0.00

time (sec)

N/A 0.378 0.066 0.117 0.000 0.284 0.000 0.000 0.000

Problem 411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

114 106 77 0 0 0 0 0 0

N.S.

1 0.93 0.68 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.348 0.036 0.000 0.000 0.000 0.000 0.000 0.000

Problem 412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 154 55 56 62 58 0 0 74

N.S.

1 1.14 0.41 0.41 0.46 0.43 0.00 0.00 0.55

time (sec)

N/A 0.421 0.027 0.114 0.210 0.263 0.000 0.000 3.689

Problem 413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 113 46 47 50 49 0 65 75

N.S.

1 1.12 0.46 0.47 0.50 0.49 0.00 0.64 0.74

time (sec)

N/A 0.310 0.023 0.114 0.197 0.255 0.000 0.264 3.903

Problem 414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 73 38 39 37 39 0 50 56

N.S.

1 1.11 0.58 0.59 0.56 0.59 0.00 0.76 0.85

time (sec)

N/A 0.253 0.009 0.115 0.197 0.266 0.000 0.269 0.002

Problem 415

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

68 74 44 69 0 184 0 82 0

N.S.

1 1.09 0.65 1.01 0.00 2.71 0.00 1.21 0.00

time (sec)

N/A 0.333 0.018 0.164 0.000 0.262 0.000 0.289 0.000

Problem 416

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

72 78 52 79 0 207 0 90 0

N.S.

1 1.08 0.72 1.10 0.00 2.88 0.00 1.25 0.00

time (sec)

N/A 0.338 0.022 0.105 0.000 0.258 0.000 0.273 0.000

Problem 417

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

112 117 64 101 0 232 0 117 0

N.S.

1 1.04 0.57 0.90 0.00 2.07 0.00 1.04 0.00

time (sec)

N/A 0.371 0.024 0.115 0.000 0.271 0.000 0.291 0.000

Problem 418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 156 56 121 0 248 0 132 0

N.S.

1 1.05 0.38 0.82 0.00 1.68 0.00 0.89 0.00

time (sec)

N/A 0.414 0.019 0.104 0.000 0.266 0.000 0.290 0.000

Problem 419

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

139 141 87 76 123 169 175 159 114

N.S.

1 1.01 0.63 0.55 0.88 1.22 1.26 1.14 0.82

time (sec)

N/A 0.382 0.091 0.131 0.268 0.264 10.949 0.285 0.095

Problem 420

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

97 99 78 68 97 154 136 105 80

N.S.

1 1.02 0.80 0.70 1.00 1.59 1.40 1.08 0.82

time (sec)

N/A 0.353 0.061 0.119 0.285 0.259 9.285 0.274 0.107

Problem 421

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

97 108 70 59 95 137 124 105 80

N.S.

1 1.11 0.72 0.61 0.98 1.41 1.28 1.08 0.82

time (sec)

N/A 0.298 0.064 0.118 0.277 0.264 8.588 0.266 0.105

Problem 422

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

76 81 61 57 79 120 95 77 61

N.S.

1 1.07 0.80 0.75 1.04 1.58 1.25 1.01 0.80

time (sec)

N/A 0.259 0.024 0.001 0.260 0.276 6.561 0.271 0.002

Problem 423

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

74 84 74 58 97 157 122 67 57

N.S.

1 1.14 1.00 0.78 1.31 2.12 1.65 0.91 0.77

time (sec)

N/A 0.327 0.021 0.119 0.273 0.287 8.517 0.267 3.545

Problem 424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 91 79 70 111 175 0 72 62

N.S.

1 1.15 1.00 0.89 1.41 2.22 0.00 0.91 0.78

time (sec)

N/A 0.337 0.033 0.128 0.276 0.286 0.000 0.276 0.126

Problem 425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 118 93 80 152 204 0 106 88

N.S.

1 1.11 0.88 0.75 1.43 1.92 0.00 1.00 0.83

time (sec)

N/A 0.364 0.055 0.135 0.324 0.281 0.000 0.279 3.672

Problem 426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 145 101 89 183 220 0 133 105

N.S.

1 1.14 0.80 0.70 1.44 1.73 0.00 1.05 0.83

time (sec)

N/A 0.393 0.066 0.145 0.307 0.269 0.000 0.269 0.144

Problem 427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 172 109 97 212 236 0 160 122

N.S.

1 1.16 0.74 0.66 1.43 1.59 0.00 1.08 0.82

time (sec)

N/A 0.438 0.076 0.167 0.289 0.271 0.000 0.290 0.147

Problem 428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

235 113 76 79 86 76 0 0 115

N.S.

1 0.48 0.32 0.34 0.37 0.32 0.00 0.00 0.49

time (sec)

N/A 0.359 0.037 0.126 0.203 0.264 0.000 0.000 4.285

Problem 429

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 99 68 71 75 68 0 0 107

N.S.

1 0.50 0.35 0.36 0.38 0.35 0.00 0.00 0.54

time (sec)

N/A 0.339 0.034 0.110 0.206 0.273 0.000 0.000 3.751

Problem 430

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 83 60 63 64 60 0 0 97

N.S.

1 0.53 0.38 0.40 0.41 0.38 0.00 0.00 0.62

time (sec)

N/A 0.299 0.027 0.100 0.224 0.261 0.000 0.000 3.689

Problem 431

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 108 51 54 50 49 0 0 40

N.S.

1 1.05 0.50 0.52 0.49 0.48 0.00 0.00 0.39

time (sec)

N/A 0.287 0.010 0.092 0.204 0.269 0.000 0.000 0.002

Problem 432

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 57 51 78 0 209 0 0 0

N.S.

1 0.53 0.48 0.73 0.00 1.95 0.00 0.00 0.00

time (sec)

N/A 0.318 0.026 0.113 0.000 0.269 0.000 0.000 0.000

Problem 433

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 66 64 82 0 223 0 0 0

N.S.

1 0.59 0.57 0.73 0.00 1.99 0.00 0.00 0.00

time (sec)

N/A 0.306 0.023 0.128 0.000 0.283 0.000 0.000 0.000

Problem 434

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 88 65 100 0 252 0 0 0

N.S.

1 0.54 0.40 0.61 0.00 1.55 0.00 0.00 0.00

time (sec)

N/A 0.306 0.022 0.128 0.000 0.268 0.000 0.000 0.000

Problem 435

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

206 110 65 111 0 268 0 0 0

N.S.

1 0.53 0.32 0.54 0.00 1.30 0.00 0.00 0.00

time (sec)

N/A 0.321 0.023 0.130 0.000 0.280 0.000 0.000 0.000

Problem 436

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

249 132 65 122 0 284 0 0 0

N.S.

1 0.53 0.26 0.49 0.00 1.14 0.00 0.00 0.00

time (sec)

N/A 0.330 0.022 0.127 0.000 0.274 0.000 0.000 0.000

Problem 437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

61 58 56 0 0 0 0 0 0

N.S.

1 0.95 0.92 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.246 0.020 0.000 0.000 0.000 0.000 0.000 0.000

Problem 438

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 32 32 26 38 0 0 37

N.S.

1 1.00 0.86 0.86 0.70 1.03 0.00 0.00 1.00

time (sec)

N/A 0.223 0.023 0.710 0.196 0.268 0.000 0.000 3.792

Problem 439

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

82 79 77 0 0 0 0 0 0

N.S.

1 0.96 0.94 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.251 0.022 0.000 0.000 0.000 0.000 0.000 0.000

Problem 440

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

68 68 65 0 0 0 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.239 0.021 0.000 0.000 0.000 0.000 0.000 0.000

Problem 441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

68 68 65 0 0 0 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.242 0.015 0.000 0.000 0.000 0.000 0.000 0.000

Problem 442

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

66 66 63 0 0 0 0 0 0

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.233 0.014 0.000 0.000 0.000 0.000 0.000 0.000

Problem 443

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

59 59 59 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.229 0.009 0.000 0.000 0.000 0.000 0.000 0.000

Problem 444

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 39 33 0 59 175 0 37

N.S.

1 1.00 1.00 0.85 0.00 1.51 4.49 0.00 0.95

time (sec)

N/A 0.223 0.018 1.104 0.000 0.264 11.309 0.000 3.829

Problem 445

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 82 51 46 0 129 1103 0 100

N.S.

1 0.98 0.61 0.55 0.00 1.54 13.13 0.00 1.19

time (sec)

N/A 0.263 0.029 3.460 0.000 0.267 58.621 0.000 3.938

Problem 446

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 126 74 68 0 229 0 0 167

N.S.

1 0.93 0.55 0.50 0.00 1.70 0.00 0.00 1.24

time (sec)

N/A 0.290 0.036 9.684 0.000 0.275 0.000 0.000 4.024

Problem 447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

60 60 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.346 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 448

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

125 109 167 128 190 132 354 263 137

N.S.

1 0.87 1.34 1.02 1.52 1.06 2.83 2.10 1.10

time (sec)

N/A 0.507 0.160 0.188 0.288 0.271 6.500 0.306 0.099

Problem 449

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

97 84 159 109 111 121 224 207 114

N.S.

1 0.87 1.64 1.12 1.14 1.25 2.31 2.13 1.18

time (sec)

N/A 0.392 0.122 0.161 0.293 0.274 4.022 0.304 0.040

Problem 450

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

65 56 87 86 89 94 150 139 91

N.S.

1 0.86 1.34 1.32 1.37 1.45 2.31 2.14 1.40

time (sec)

N/A 0.375 0.173 0.115 0.291 0.271 3.562 0.293 3.502

Problem 451

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 42 84 34 50 41 61 58 37

N.S.

1 1.02 2.05 0.83 1.22 1.00 1.49 1.41 0.90

time (sec)

N/A 0.296 0.075 0.103 0.195 0.253 3.816 0.271 0.062

Problem 452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 68 52 95 0 68 0 73 91

N.S.

1 1.05 0.80 1.46 0.00 1.05 0.00 1.12 1.40

time (sec)

N/A 0.340 0.027 0.105 0.000 0.245 0.000 0.288 0.071

Problem 453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 108 64 150 0 107 0 0 140

N.S.

1 1.04 0.62 1.44 0.00 1.03 0.00 0.00 1.35

time (sec)

N/A 0.416 0.081 0.146 0.000 0.276 0.000 0.000 3.485

Problem 454

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 135 72 191 0 143 0 181 225

N.S.

1 0.99 0.53 1.40 0.00 1.05 0.00 1.33 1.65

time (sec)

N/A 0.534 0.081 0.165 0.000 0.256 0.000 0.286 3.474

Problem 455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

168 163 95 232 0 177 0 0 389

N.S.

1 0.97 0.57 1.38 0.00 1.05 0.00 0.00 2.32

time (sec)

N/A 0.591 0.121 0.197 0.000 0.267 0.000 0.000 0.090

Problem 456

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

59 68 46 0 0 0 270 0 0

N.S.

1 1.15 0.78 0.00 0.00 0.00 4.58 0.00 0.00

time (sec)

N/A 0.286 0.024 0.000 0.000 0.000 6.220 0.000 0.000

Problem 457

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

62 49 56 48 58 67 63 59 49

N.S.

1 0.79 0.90 0.77 0.94 1.08 1.02 0.95 0.79

time (sec)

N/A 0.360 0.058 0.128 0.190 0.240 0.188 0.268 0.088

Problem 458

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

40 33 40 32 38 43 39 39 35

N.S.

1 0.82 1.00 0.80 0.95 1.08 0.98 0.98 0.88

time (sec)

N/A 0.344 0.043 0.116 0.189 0.251 0.121 0.273 3.469

Problem 459

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

40 33 40 32 37 45 37 38 35

N.S.

1 0.82 1.00 0.80 0.92 1.12 0.92 0.95 0.88

time (sec)

N/A 0.338 0.037 0.112 0.177 0.231 0.094 0.273 0.056

Problem 460

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

N.S.

1 1.06 1.00 1.06 1.00 1.22 0.94 1.00 1.11

time (sec)

N/A 0.324 0.031 0.099 0.200 0.234 0.050 0.272 0.037

Problem 461

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

N.S.

1 0.92 1.00 1.08 1.00 1.08 0.92 1.08 0.92

time (sec)

N/A 0.283 0.019 0.112 0.206 0.252 0.044 0.281 3.428

Problem 462

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

38 37 31 36 36 41 26 37 35

N.S.

1 0.97 0.82 0.95 0.95 1.08 0.68 0.97 0.92

time (sec)

N/A 0.333 0.021 0.103 0.187 0.246 0.102 0.271 0.068

Problem 463

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

53 51 51 48 55 71 51 42 54

N.S.

1 0.96 0.96 0.91 1.04 1.34 0.96 0.79 1.02

time (sec)

N/A 0.370 0.043 0.106 0.193 0.251 0.153 0.277 0.071

Problem 464

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

74 69 63 57 76 100 75 51 73

N.S.

1 0.93 0.85 0.77 1.03 1.35 1.01 0.69 0.99

time (sec)

N/A 0.384 0.055 0.113 0.197 0.246 0.225 0.270 3.485

Problem 465

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

88 80 71 68 94 126 95 59 90

N.S.

1 0.91 0.81 0.77 1.07 1.43 1.08 0.67 1.02

time (sec)

N/A 0.405 0.062 0.102 0.194 0.241 0.259 0.271 3.543

Problem 466

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 93 167 129 349 132 350 262 135

N.S.

1 0.90 1.62 1.25 3.39 1.28 3.40 2.54 1.31

time (sec)

N/A 0.434 0.153 0.233 0.270 0.264 9.596 0.311 0.053

Problem 467

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

77 71 114 72 188 78 129 97 64

N.S.

1 0.92 1.48 0.94 2.44 1.01 1.68 1.26 0.83

time (sec)

N/A 0.350 0.136 0.162 0.283 0.279 9.152 0.268 0.060

Problem 468

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 58 133 96 209 93 150 139 90

N.S.

1 0.87 1.99 1.43 3.12 1.39 2.24 2.07 1.34

time (sec)

N/A 0.384 0.086 0.174 0.279 0.266 7.547 0.292 0.046

Problem 469

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 46 60 145 140 66 102 68 56

N.S.

1 0.92 1.20 2.90 2.80 1.32 2.04 1.36 1.12

time (sec)

N/A 0.364 0.072 0.146 0.271 0.259 5.247 0.312 0.058

Problem 470

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 98 62 150 0 101 0 126 129

N.S.

1 0.99 0.63 1.52 0.00 1.02 0.00 1.27 1.30

time (sec)

N/A 0.362 0.033 0.175 0.000 0.260 0.000 0.295 0.070

Problem 471

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 126 71 193 0 143 0 180 270

N.S.

1 0.98 0.55 1.51 0.00 1.12 0.00 1.41 2.11

time (sec)

N/A 0.445 0.062 0.238 0.000 0.269 0.000 0.283 3.452

Problem 472

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 153 79 234 0 177 0 0 340

N.S.

1 0.99 0.51 1.51 0.00 1.14 0.00 0.00 2.19

time (sec)

N/A 0.601 0.070 0.265 0.000 0.273 0.000 0.000 0.076

Problem 473

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

190 192 87 275 0 213 0 288 579

N.S.

1 1.01 0.46 1.45 0.00 1.12 0.00 1.52 3.05

time (sec)

N/A 0.772 0.129 0.310 0.000 0.278 0.000 0.307 3.639

Problem 474

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

93 108 81 0 0 0 0 0 0

N.S.

1 1.16 0.87 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.340 0.035 0.000 0.000 0.000 0.000 0.000 0.000

Problem 475

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

64 51 51 48 59 67 63 60 51

N.S.

1 0.80 0.80 0.75 0.92 1.05 0.98 0.94 0.80

time (sec)

N/A 0.358 0.057 0.143 0.186 0.263 0.185 0.260 4.239

Problem 476

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

N.S.

1 0.93 0.93 0.90 1.03 1.20 1.03 1.03 0.90

time (sec)

N/A 0.333 0.035 0.119 0.195 0.247 0.109 0.270 0.045

Problem 477

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

38 35 38 30 34 43 37 35 31

N.S.

1 0.92 1.00 0.79 0.89 1.13 0.97 0.92 0.82

time (sec)

N/A 0.336 0.037 0.131 0.201 0.240 0.128 0.257 0.052

Problem 478

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

N.S.

1 0.85 0.85 0.89 1.00 1.19 0.96 1.04 0.93

time (sec)

N/A 0.324 0.030 0.115 0.183 0.248 0.075 0.270 3.854

Problem 479

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

N.S.

1 0.88 0.88 0.88 0.96 0.92 0.68 1.04 0.96

time (sec)

N/A 0.291 0.032 0.114 0.189 0.260 0.156 0.263 0.090

Problem 480

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

53 51 51 43 49 64 41 42 48

N.S.

1 0.96 0.96 0.81 0.92 1.21 0.77 0.79 0.91

time (sec)

N/A 0.338 0.023 0.099 0.207 0.261 0.177 0.268 3.825

Problem 481

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

71 66 63 56 75 100 73 50 71

N.S.

1 0.93 0.89 0.79 1.06 1.41 1.03 0.70 1.00

time (sec)

N/A 0.379 0.049 0.119 0.193 0.257 0.223 0.267 3.938

Problem 482

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

89 82 71 67 93 126 94 58 90

N.S.

1 0.92 0.80 0.75 1.04 1.42 1.06 0.65 1.01

time (sec)

N/A 0.399 0.058 0.103 0.191 0.242 0.289 0.266 0.097

Problem 483

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

105 94 79 78 113 154 114 66 109

N.S.

1 0.90 0.75 0.74 1.08 1.47 1.09 0.63 1.04

time (sec)

N/A 0.424 0.067 0.103 0.202 0.247 0.366 0.265 3.543

Problem 484

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

60 60 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.362 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 485

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 134 167 127 0 132 0 262 136

N.S.

1 0.96 1.19 0.91 0.00 0.94 0.00 1.87 0.97

time (sec)

N/A 0.738 0.131 0.205 0.000 0.256 0.000 0.298 0.048

Problem 486

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 102 158 119 0 119 0 206 113

N.S.

1 0.92 1.42 1.07 0.00 1.07 0.00 1.86 1.02

time (sec)

N/A 0.584 0.102 0.191 0.000 0.275 0.000 0.275 0.041

Problem 487

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 70 64 101 0 97 0 139 90

N.S.

1 0.85 0.78 1.23 0.00 1.18 0.00 1.70 1.10

time (sec)

N/A 0.484 0.123 0.164 0.000 0.262 0.000 0.273 0.044

Problem 488

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 46 80 98 70 67 0 68 56

N.S.

1 0.92 1.60 1.96 1.40 1.34 0.00 1.36 1.12

time (sec)

N/A 0.345 0.071 0.136 0.300 0.265 0.000 0.267 0.060

Problem 489

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 20 22 19 0 19 19

N.S.

1 1.00 1.00 0.95 1.05 0.90 0.00 0.90 0.90

time (sec)

N/A 0.296 0.013 0.100 0.194 0.249 0.000 0.263 3.374

Problem 490

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 67 40 110 0 71 0 72 89

N.S.

1 1.06 0.63 1.75 0.00 1.13 0.00 1.14 1.41

time (sec)

N/A 0.354 0.054 0.148 0.000 0.259 0.000 0.276 0.064

Problem 491

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 100 51 151 0 107 0 0 139

N.S.

1 1.06 0.54 1.61 0.00 1.14 0.00 0.00 1.48

time (sec)

N/A 0.496 0.078 0.196 0.000 0.265 0.000 0.000 0.065

Problem 492

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 125 72 192 0 143 0 180 272

N.S.

1 1.00 0.58 1.54 0.00 1.14 0.00 1.44 2.18

time (sec)

N/A 0.663 0.134 0.174 0.000 0.257 0.000 0.285 3.376

Problem 493

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

114 123 87 0 0 0 0 0 0

N.S.

1 1.08 0.76 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.357 0.042 0.000 0.000 0.000 0.000 0.000 0.000

Problem 494

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

66 53 53 52 61 71 58 112 63

N.S.

1 0.80 0.80 0.79 0.92 1.08 0.88 1.70 0.95

time (sec)

N/A 0.379 0.062 0.133 0.199 0.259 0.299 0.256 3.638

Problem 495

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

55 45 45 44 52 62 44 100 51

N.S.

1 0.82 0.82 0.80 0.95 1.13 0.80 1.82 0.93

time (sec)

N/A 0.356 0.053 0.118 0.193 0.246 0.214 0.275 3.480

Problem 496

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

42 33 33 34 42 44 32 72 42

N.S.

1 0.79 0.79 0.81 1.00 1.05 0.76 1.71 1.00

time (sec)

N/A 0.346 0.039 0.109 0.188 0.271 0.161 0.266 0.094

Problem 497

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

25 20 22 23 25 23 19 56 25

N.S.

1 0.80 0.88 0.92 1.00 0.92 0.76 2.24 1.00

time (sec)

N/A 0.298 0.027 0.097 0.186 0.251 0.123 0.271 0.075

Problem 498

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

20 23 18 19 20 20 19 41 18

N.S.

1 1.15 0.90 0.95 1.00 1.00 0.95 2.05 0.90

time (sec)

N/A 0.313 0.014 0.089 0.192 0.263 0.061 0.264 3.801

Problem 499

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

18 22 18 28 35 27 36 35 16

N.S.

1 1.22 1.00 1.56 1.94 1.50 2.00 1.94 0.89

time (sec)

N/A 0.322 0.039 0.100 0.188 0.249 0.087 0.287 3.643

Problem 500

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

58 56 56 49 54 59 58 85 53

N.S.

1 0.97 0.97 0.84 0.93 1.02 1.00 1.47 0.91

time (sec)

N/A 0.367 0.052 0.107 0.180 0.253 0.180 0.274 0.099

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