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

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 Reduce Mupad

grade

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

verified

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

size

39 44 39 32 48 89 80 40 35 31

N.S.

1 1.13 1.00 0.82 1.23 2.28 2.05 1.03 0.90 0.79

time (sec)

N/A 0.314 0.018 0.217 0.105 0.104 4.322 0.113 0.153 14.094

Problem 402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

43 48 43 42 62 102 0 47 45 35

N.S.

1 1.12 1.00 0.98 1.44 2.37 0.00 1.09 1.05 0.81

time (sec)

N/A 0.303 0.014 0.229 0.107 0.086 0.000 0.117 0.146 0.036

Problem 403

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

68 75 55 52 103 123 0 76 64 54

N.S.

1 1.10 0.81 0.76 1.51 1.81 0.00 1.12 0.94 0.79

time (sec)

N/A 0.306 0.029 0.240 0.107 0.087 0.000 0.117 0.146 0.041

Problem 404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

89 102 63 62 134 139 0 104 79 74

N.S.

1 1.15 0.71 0.70 1.51 1.56 0.00 1.17 0.89 0.83

time (sec)

N/A 0.338 0.035 0.245 0.113 0.092 0.000 0.109 0.148 0.039

Problem 405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

110 129 71 70 163 155 0 131 94 91

N.S.

1 1.17 0.65 0.64 1.48 1.41 0.00 1.19 0.85 0.83

time (sec)

N/A 0.347 0.042 0.253 0.111 0.089 0.000 0.112 0.146 0.059

Problem 406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

231 127 92 146 0 271 0 0 93 0

N.S.

1 0.55 0.40 0.63 0.00 1.17 0.00 0.00 0.40 0.00

time (sec)

N/A 0.383 0.057 0.223 0.000 0.083 0.000 0.000 0.163 0.000

Problem 407

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

157 95 84 129 0 255 0 130 79 0

N.S.

1 0.61 0.54 0.82 0.00 1.62 0.00 0.83 0.50 0.00

time (sec)

N/A 0.374 0.046 0.217 0.000 0.098 0.000 0.129 0.158 0.000

Problem 408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

157 103 76 112 0 239 0 0 65 0

N.S.

1 0.66 0.48 0.71 0.00 1.52 0.00 0.00 0.41 0.00

time (sec)

N/A 0.314 0.037 0.215 0.000 0.115 0.000 0.000 0.153 0.000

Problem 409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

119 131 67 95 0 217 0 0 51 0

N.S.

1 1.10 0.56 0.80 0.00 1.82 0.00 0.00 0.43 0.00

time (sec)

N/A 0.337 0.030 0.213 0.000 0.085 0.000 0.000 0.154 0.000

Problem 410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

110 69 66 98 0 314 0 0 129 0

N.S.

1 0.63 0.60 0.89 0.00 2.85 0.00 0.00 1.17 0.00

time (sec)

N/A 0.343 0.025 0.214 0.000 0.225 0.000 0.000 0.156 0.000

Problem 411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

115 78 75 105 0 351 0 0 189 0

N.S.

1 0.68 0.65 0.91 0.00 3.05 0.00 0.00 1.64 0.00

time (sec)

N/A 0.344 0.023 0.220 0.000 0.106 0.000 0.000 0.169 0.000

Problem 412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

161 100 92 131 0 384 0 0 183 0

N.S.

1 0.62 0.57 0.81 0.00 2.39 0.00 0.00 1.14 0.00

time (sec)

N/A 0.383 0.038 0.223 0.000 0.104 0.000 0.000 0.169 0.000

Problem 413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

201 122 100 151 0 400 0 0 197 0

N.S.

1 0.61 0.50 0.75 0.00 1.99 0.00 0.00 0.98 0.00

time (sec)

N/A 0.387 0.053 0.225 0.000 0.100 0.000 0.000 0.178 0.000

Problem 414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

241 144 108 171 0 416 0 0 211 0

N.S.

1 0.60 0.45 0.71 0.00 1.73 0.00 0.00 0.88 0.00

time (sec)

N/A 0.421 0.060 0.221 0.000 0.127 0.000 0.000 0.209 0.000

Problem 415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

36 36 21 25 22 24 0 33 18 45

N.S.

1 1.00 0.58 0.69 0.61 0.67 0.00 0.92 0.50 1.25

time (sec)

N/A 0.248 0.005 0.191 0.033 0.076 0.000 0.133 0.153 14.767

Problem 416

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 25 16 20 17 19 0 19 13 31

N.S.

1 1.00 0.64 0.80 0.68 0.76 0.00 0.76 0.52 1.24

time (sec)

N/A 0.219 0.003 0.188 0.035 0.096 0.000 0.113 0.149 14.955

Problem 417

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 23 16 27 38 31 0 15 14 42

N.S.

1 1.00 0.70 1.17 1.65 1.35 0.00 0.65 0.61 1.83

time (sec)

N/A 0.234 0.005 0.194 0.043 0.091 0.000 0.108 0.163 14.951

Problem 418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

11 11 11 22 23 26 0 7 9 33

N.S.

1 1.00 1.00 2.00 2.09 2.36 0.00 0.64 0.82 3.00

time (sec)

N/A 0.199 0.002 0.193 0.037 0.070 0.000 0.111 0.155 14.892

Problem 419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

49 49 28 32 29 31 0 47 23 52

N.S.

1 1.00 0.57 0.65 0.59 0.63 0.00 0.96 0.47 1.06

time (sec)

N/A 0.253 0.005 0.194 0.033 0.067 0.000 0.113 0.158 14.591

Problem 420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

38 38 23 27 24 26 0 33 18 45

N.S.

1 1.00 0.61 0.71 0.63 0.68 0.00 0.87 0.47 1.18

time (sec)

N/A 0.222 0.004 0.189 0.031 0.076 0.000 0.111 0.158 14.884

Problem 421

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 34 21 32 48 38 0 22 21 33

N.S.

1 1.00 0.62 0.94 1.41 1.12 0.00 0.65 0.62 0.97

time (sec)

N/A 0.251 0.006 0.193 0.038 0.081 0.000 0.112 0.154 14.373

Problem 422

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 23 16 27 36 33 0 15 16 42

N.S.

1 1.00 0.70 1.17 1.57 1.43 0.00 0.65 0.70 1.83

time (sec)

N/A 0.219 0.004 0.193 0.037 0.080 0.000 0.115 0.155 13.931

Problem 423

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 25 16 20 15 19 0 19 13 19

N.S.

1 1.00 0.64 0.80 0.60 0.76 0.00 0.76 0.52 0.76

time (sec)

N/A 0.229 0.004 0.194 0.027 0.069 0.000 0.111 0.155 0.015

Problem 424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

11 11 11 17 12 16 0 9 8 16

N.S.

1 1.00 1.00 1.55 1.09 1.45 0.00 0.82 0.73 1.45

time (sec)

N/A 0.201 0.002 0.187 0.029 0.069 0.000 0.114 0.154 14.969

Problem 425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

42 42 36 56 0 79 0 44 38 0

N.S.

1 1.00 0.86 1.33 0.00 1.88 0.00 1.05 0.90 0.00

time (sec)

N/A 0.240 0.023 0.202 0.000 0.085 0.000 0.120 0.164 0.000

Problem 426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 31 31 47 0 74 0 37 31 0

N.S.

1 1.00 1.00 1.52 0.00 2.39 0.00 1.19 1.00 0.00

time (sec)

N/A 0.226 0.003 0.198 0.000 0.084 0.000 0.117 0.156 0.000

Problem 427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 34 34 50 0 71 0 43 39 0

N.S.

1 1.00 1.00 1.47 0.00 2.09 0.00 1.26 1.15 0.00

time (sec)

N/A 0.233 0.005 0.197 0.000 0.087 0.000 0.132 0.149 0.000

Problem 428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 23 23 40 0 45 0 37 29 0

N.S.

1 1.00 1.00 1.74 0.00 1.96 0.00 1.61 1.26 0.00

time (sec)

N/A 0.206 0.002 0.193 0.000 0.078 0.000 0.108 0.152 0.000

Problem 429

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

51 54 40 73 0 91 0 49 72 0

N.S.

1 1.06 0.78 1.43 0.00 1.78 0.00 0.96 1.41 0.00

time (sec)

N/A 0.256 0.019 0.201 0.000 0.103 0.000 0.118 0.158 0.000

Problem 430

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

37 37 36 64 0 85 0 42 55 0

N.S.

1 1.00 0.97 1.73 0.00 2.30 0.00 1.14 1.49 0.00

time (sec)

N/A 0.228 0.023 0.200 0.000 0.109 0.000 0.117 0.158 0.000

Problem 431

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

136 154 55 56 62 58 0 0 35 74

N.S.

1 1.13 0.40 0.41 0.46 0.43 0.00 0.00 0.26 0.54

time (sec)

N/A 0.427 0.024 0.212 0.040 0.086 0.000 0.000 0.154 14.368

Problem 432

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

101 113 46 47 50 49 0 65 27 75

N.S.

1 1.12 0.46 0.47 0.50 0.49 0.00 0.64 0.27 0.74

time (sec)

N/A 0.337 0.020 0.216 0.040 0.088 0.000 0.120 0.157 14.287

Problem 433

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

66 73 38 39 37 39 0 50 19 56

N.S.

1 1.11 0.58 0.59 0.56 0.59 0.00 0.76 0.29 0.85

time (sec)

N/A 0.274 0.014 0.210 0.041 0.078 0.000 0.115 0.152 0.001

Problem 434

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

68 74 44 69 0 180 0 82 32 0

N.S.

1 1.09 0.65 1.01 0.00 2.65 0.00 1.21 0.47 0.00

time (sec)

N/A 0.353 0.018 0.210 0.000 0.089 0.000 0.127 0.156 0.000

Problem 435

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

72 78 52 79 0 203 0 90 42 0

N.S.

1 1.08 0.72 1.10 0.00 2.82 0.00 1.25 0.58 0.00

time (sec)

N/A 0.362 0.028 0.223 0.000 0.096 0.000 0.128 0.148 0.000

Problem 436

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

112 117 64 101 0 228 0 117 60 0

N.S.

1 1.04 0.57 0.90 0.00 2.04 0.00 1.04 0.54 0.00

time (sec)

N/A 0.399 0.029 0.221 0.000 0.103 0.000 0.144 0.149 0.000

Problem 437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

148 156 56 121 0 244 0 132 74 0

N.S.

1 1.05 0.38 0.82 0.00 1.65 0.00 0.89 0.50 0.00

time (sec)

N/A 0.435 0.021 0.217 0.000 0.102 0.000 0.897 0.148 0.000

Problem 438

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

139 141 87 76 123 176 175 159 105 114

N.S.

1 1.01 0.63 0.55 0.88 1.27 1.26 1.14 0.76 0.82

time (sec)

N/A 0.411 0.075 0.230 0.105 0.092 8.519 0.142 0.151 0.051

Problem 439

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

97 99 78 68 97 159 136 105 90 80

N.S.

1 1.02 0.80 0.70 1.00 1.64 1.40 1.08 0.93 0.82

time (sec)

N/A 0.375 0.044 0.217 0.104 0.090 7.339 0.115 0.144 15.242

Problem 440

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

97 108 70 59 95 144 124 105 75 80

N.S.

1 1.11 0.72 0.61 0.98 1.48 1.28 1.08 0.77 0.82

time (sec)

N/A 0.324 0.033 0.208 0.104 0.093 6.348 0.120 0.150 15.192

Problem 441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

76 81 61 57 79 125 95 77 60 61

N.S.

1 1.07 0.80 0.75 1.04 1.64 1.25 1.01 0.79 0.80

time (sec)

N/A 0.272 0.034 0.201 0.109 0.107 5.278 0.117 0.142 0.001

Problem 442

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

74 84 74 58 97 170 122 67 67 57

N.S.

1 1.14 1.00 0.78 1.31 2.30 1.65 0.91 0.91 0.77

time (sec)

N/A 0.352 0.020 0.200 0.105 0.099 7.048 0.138 0.152 0.054

Problem 443

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

79 91 79 71 111 187 0 72 81 62

N.S.

1 1.15 1.00 0.90 1.41 2.37 0.00 0.91 1.03 0.78

time (sec)

N/A 0.361 0.032 0.223 0.106 0.122 0.000 1.008 0.148 15.479

Problem 444

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

106 118 93 80 152 216 0 106 108 88

N.S.

1 1.11 0.88 0.75 1.43 2.04 0.00 1.00 1.02 0.83

time (sec)

N/A 0.405 0.063 0.237 0.113 0.101 0.000 0.142 0.147 0.075

Problem 445

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

127 145 101 89 183 232 0 133 123 105

N.S.

1 1.14 0.80 0.70 1.44 1.83 0.00 1.05 0.97 0.83

time (sec)

N/A 0.426 0.083 0.237 0.107 0.115 0.000 0.111 0.147 15.758

Problem 446

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

148 172 109 98 212 248 0 160 138 122

N.S.

1 1.16 0.74 0.66 1.43 1.68 0.00 1.08 0.93 0.82

time (sec)

N/A 0.453 0.089 0.238 0.112 0.103 0.000 0.114 0.154 0.080

Problem 447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

217 113 76 79 86 76 0 0 53 115

N.S.

1 0.52 0.35 0.36 0.40 0.35 0.00 0.00 0.24 0.53

time (sec)

N/A 0.381 0.026 0.228 0.048 0.080 0.000 0.000 0.144 15.790

Problem 448

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

182 99 68 71 75 68 0 0 45 107

N.S.

1 0.54 0.37 0.39 0.41 0.37 0.00 0.00 0.25 0.59

time (sec)

N/A 0.363 0.021 0.227 0.049 0.120 0.000 0.000 0.145 15.513

Problem 449

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

145 83 60 63 64 60 0 0 37 97

N.S.

1 0.57 0.41 0.43 0.44 0.41 0.00 0.00 0.26 0.67

time (sec)

N/A 0.317 0.018 0.224 0.047 0.073 0.000 0.000 0.144 15.811

Problem 450

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

103 108 51 54 50 49 0 0 28 40

N.S.

1 1.05 0.50 0.52 0.49 0.48 0.00 0.00 0.27 0.39

time (sec)

N/A 0.314 0.017 0.223 0.045 0.089 0.000 0.000 0.148 0.001

Problem 451

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

98 57 51 78 0 205 0 0 50 0

N.S.

1 0.58 0.52 0.80 0.00 2.09 0.00 0.00 0.51 0.00

time (sec)

N/A 0.342 0.019 0.222 0.000 0.111 0.000 0.000 0.145 0.000

Problem 452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

103 66 64 82 0 219 0 0 59 0

N.S.

1 0.64 0.62 0.80 0.00 2.13 0.00 0.00 0.57 0.00

time (sec)

N/A 0.323 0.024 0.226 0.000 0.097 0.000 0.000 0.156 0.000

Problem 453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

151 88 65 100 0 248 0 0 75 0

N.S.

1 0.58 0.43 0.66 0.00 1.64 0.00 0.00 0.50 0.00

time (sec)

N/A 0.326 0.019 0.228 0.000 0.094 0.000 0.000 0.144 0.000

Problem 454

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

191 110 65 111 0 264 0 0 83 0

N.S.

1 0.58 0.34 0.58 0.00 1.38 0.00 0.00 0.43 0.00

time (sec)

N/A 0.341 0.021 0.229 0.000 0.097 0.000 0.000 0.146 0.000

Problem 455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

231 132 65 122 0 280 0 0 91 0

N.S.

1 0.57 0.28 0.53 0.00 1.21 0.00 0.00 0.39 0.00

time (sec)

N/A 0.354 0.020 0.231 0.000 0.125 0.000 0.000 0.150 0.000

Problem 456

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

169 119 99 0 0 0 0 0 0 0

N.S.

1 0.70 0.59 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.380 0.072 0.000 0.000 0.000 0.000 0.000 0.257 0.000

Problem 457

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

119 91 76 0 0 0 0 0 417 0

N.S.

1 0.76 0.64 0.00 0.00 0.00 0.00 0.00 3.50 0.00

time (sec)

N/A 0.339 0.042 0.000 0.000 0.000 0.000 0.000 0.169 0.000

Problem 458

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

65 48 44 0 0 0 0 0 229 0

N.S.

1 0.74 0.68 0.00 0.00 0.00 0.00 0.00 3.52 0.00

time (sec)

N/A 0.299 0.016 0.000 0.000 0.000 0.000 0.000 0.155 0.000

Problem 459

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

76 53 0 0 0 0 0 0 369 0

N.S.

1 0.70 0.00 0.00 0.00 0.00 0.00 0.00 4.86 0.00

time (sec)

N/A 0.316 0.000 0.000 0.000 0.000 0.000 0.000 0.204 0.000

Problem 460

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

58 53 89 0 0 0 0 0 0 0

N.S.

1 0.91 1.53 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.335 0.062 0.000 0.000 0.000 0.000 0.000 0.341 0.000

Problem 461

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

58 53 68 0 0 0 0 0 359 0

N.S.

1 0.91 1.17 0.00 0.00 0.00 0.00 0.00 6.19 0.00

time (sec)

N/A 0.323 0.061 0.000 0.000 0.000 0.000 0.000 0.204 0.000

Problem 462

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 93 77 0 0 0 0 0 291 0

N.S.

1 1.09 0.91 0.00 0.00 0.00 0.00 0.00 3.42 0.00

time (sec)

N/A 0.352 0.040 0.000 0.000 0.000 0.000 0.000 0.161 0.000

Problem 463

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

113 131 123 0 0 0 0 0 1484 0

N.S.

1 1.16 1.09 0.00 0.00 0.00 0.00 0.00 13.13 0.00

time (sec)

N/A 0.390 0.210 0.000 0.000 0.000 0.000 0.000 0.174 0.000

Problem 464

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

76 55 0 0 0 0 0 0 470 0

N.S.

1 0.72 0.00 0.00 0.00 0.00 0.00 0.00 6.18 0.00

time (sec)

N/A 0.307 0.000 0.000 0.000 0.000 0.000 0.000 0.184 0.000

Problem 465

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 52 47 0 0 0 0 0 386 0

N.S.

1 0.79 0.71 0.00 0.00 0.00 0.00 0.00 5.85 0.00

time (sec)

N/A 0.325 0.015 0.000 0.000 0.000 0.000 0.000 0.171 0.000

Problem 466

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

121 116 78 0 0 0 0 0 291 0

N.S.

1 0.96 0.64 0.00 0.00 0.00 0.00 0.00 2.40 0.00

time (sec)

N/A 0.397 0.046 0.000 0.000 0.000 0.000 0.000 0.157 0.000

Problem 467

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

172 120 99 0 0 0 0 0 1484 0

N.S.

1 0.70 0.58 0.00 0.00 0.00 0.00 0.00 8.63 0.00

time (sec)

N/A 0.389 0.068 0.000 0.000 0.000 0.000 0.000 0.183 0.000

Problem 468

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

116 134 125 0 0 0 0 0 1504 0

N.S.

1 1.16 1.08 0.00 0.00 0.00 0.00 0.00 12.97 0.00

time (sec)

N/A 0.390 0.169 0.000 0.000 0.000 0.000 0.000 0.172 0.000

Problem 469

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

87 95 75 0 0 0 0 0 299 0

N.S.

1 1.09 0.86 0.00 0.00 0.00 0.00 0.00 3.44 0.00

time (sec)

N/A 0.341 0.033 0.000 0.000 0.000 0.000 0.000 0.155 0.000

Problem 470

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

60 55 69 0 0 0 0 0 369 0

N.S.

1 0.92 1.15 0.00 0.00 0.00 0.00 0.00 6.15 0.00

time (sec)

N/A 0.314 0.054 0.000 0.000 0.000 0.000 0.000 0.206 0.000

Problem 471

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

60 55 90 0 0 0 0 0 0 0

N.S.

1 0.92 1.50 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.329 0.072 0.000 0.000 0.000 0.000 0.000 0.329 0.000

Problem 472

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

141 109 167 128 190 132 354 263 134 137

N.S.

1 0.77 1.18 0.91 1.35 0.94 2.51 1.87 0.95 0.97

time (sec)

N/A 0.547 0.107 0.300 0.114 0.090 5.354 0.167 0.149 0.028

Problem 473

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

97 84 159 109 111 121 224 207 95 114

N.S.

1 0.87 1.64 1.12 1.14 1.25 2.31 2.13 0.98 1.18

time (sec)

N/A 0.425 0.094 0.242 0.108 0.095 3.289 0.152 0.148 15.070

Problem 474

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

65 56 87 86 89 94 150 139 83 91

N.S.

1 0.86 1.34 1.32 1.37 1.45 2.31 2.14 1.28 1.40

time (sec)

N/A 0.389 0.174 0.217 0.109 0.085 3.086 0.123 0.145 0.024

Problem 475

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

41 42 84 34 50 41 61 58 30 37

N.S.

1 1.02 2.05 0.83 1.22 1.00 1.49 1.41 0.73 0.90

time (sec)

N/A 0.314 0.098 0.183 0.028 0.080 3.220 0.116 0.150 0.034

Problem 476

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

65 68 52 95 0 68 0 73 97 91

N.S.

1 1.05 0.80 1.46 0.00 1.05 0.00 1.12 1.49 1.40

time (sec)

N/A 0.359 0.040 0.200 0.000 0.078 0.000 0.128 0.145 0.034

Problem 477

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

94 108 64 150 0 107 0 0 181 140

N.S.

1 1.15 0.68 1.60 0.00 1.14 0.00 0.00 1.93 1.49

time (sec)

N/A 0.440 0.072 0.225 0.000 0.093 0.000 0.000 0.152 15.177

Problem 478

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

129 135 72 191 0 143 0 181 268 225

N.S.

1 1.05 0.56 1.48 0.00 1.11 0.00 1.40 2.08 1.74

time (sec)

N/A 0.595 0.069 0.257 0.000 0.082 0.000 0.132 0.151 15.136

Problem 479

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

62 49 56 48 58 67 63 59 51 49

N.S.

1 0.79 0.90 0.77 0.94 1.08 1.02 0.95 0.82 0.79

time (sec)

N/A 0.384 0.030 0.212 0.026 0.083 0.141 0.151 0.146 15.360

Problem 480

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

40 33 40 32 38 43 39 39 35 35

N.S.

1 0.82 1.00 0.80 0.95 1.08 0.98 0.98 0.88 0.88

time (sec)

N/A 0.373 0.017 0.195 0.027 0.067 0.104 0.120 0.148 15.042

Problem 481

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

40 33 40 32 37 45 37 38 35 35

N.S.

1 0.82 1.00 0.80 0.92 1.12 0.92 0.95 0.88 0.88

time (sec)

N/A 0.376 0.017 0.194 0.035 0.070 0.082 0.121 0.152 0.029

Problem 482

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 19 18 19 18 22 17 18 20 20

N.S.

1 1.06 1.00 1.06 1.00 1.22 0.94 1.00 1.11 1.11

time (sec)

N/A 0.359 0.006 0.171 0.027 0.067 0.044 0.148 0.146 0.022

Problem 483

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

13 12 13 14 13 14 12 14 12 12

N.S.

1 0.92 1.00 1.08 1.00 1.08 0.92 1.08 0.92 0.92

time (sec)

N/A 0.310 0.005 0.175 0.030 0.080 0.041 0.119 0.152 0.020

Problem 484

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

38 37 31 36 36 41 26 37 45 35

N.S.

1 0.97 0.82 0.95 0.95 1.08 0.68 0.97 1.18 0.92

time (sec)

N/A 0.359 0.017 0.166 0.034 0.071 0.081 0.114 0.148 15.340

Problem 485

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

53 51 51 48 55 71 51 42 72 54

N.S.

1 0.96 0.96 0.91 1.04 1.34 0.96 0.79 1.36 1.02

time (sec)

N/A 0.409 0.013 0.168 0.032 0.076 0.145 0.111 0.148 0.040

Problem 486

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

74 69 63 57 76 100 75 51 99 73

N.S.

1 0.93 0.85 0.77 1.03 1.35 1.01 0.69 1.34 0.99

time (sec)

N/A 0.425 0.014 0.168 0.027 0.066 0.184 0.112 0.145 14.947

Problem 487

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

131 121 93 137 394 143 529 267 133 159

N.S.

1 0.92 0.71 1.05 3.01 1.09 4.04 2.04 1.02 1.21

time (sec)

N/A 0.511 0.133 0.376 0.122 0.087 10.265 0.153 0.153 0.031

Problem 488

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

103 93 167 129 349 132 350 262 134 135

N.S.

1 0.90 1.62 1.25 3.39 1.28 3.40 2.54 1.30 1.31

time (sec)

N/A 0.465 0.113 0.322 0.118 0.083 8.221 0.168 0.147 0.026

Problem 489

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 71 114 72 188 78 129 88 68 64

N.S.

1 0.92 1.48 0.94 2.44 1.01 1.68 1.14 0.88 0.83

time (sec)

N/A 0.394 0.151 0.252 0.111 0.098 7.325 0.113 0.150 0.033

Problem 490

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

67 58 133 96 209 93 150 139 83 90

N.S.

1 0.87 1.99 1.43 3.12 1.39 2.24 2.07 1.24 1.34

time (sec)

N/A 0.447 0.071 0.264 0.114 0.105 5.401 0.153 0.151 0.024

Problem 491

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

50 46 60 145 140 66 102 68 34 56

N.S.

1 0.92 1.20 2.90 2.80 1.32 2.04 1.36 0.68 1.12

time (sec)

N/A 0.394 0.084 0.231 0.109 0.081 4.329 0.147 0.142 14.793

Problem 492

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

101 98 62 150 0 101 0 126 181 129

N.S.

1 0.97 0.61 1.49 0.00 1.00 0.00 1.25 1.79 1.28

time (sec)

N/A 0.390 0.035 0.263 0.000 0.084 0.000 0.153 0.150 0.036

Problem 493

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

129 126 71 193 0 143 0 180 268 270

N.S.

1 0.98 0.55 1.50 0.00 1.11 0.00 1.40 2.08 2.09

time (sec)

N/A 0.466 0.042 0.319 0.000 0.103 0.000 0.136 0.153 15.027

Problem 494

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

159 153 79 234 0 177 0 0 405 340

N.S.

1 0.96 0.50 1.47 0.00 1.11 0.00 0.00 2.55 2.14

time (sec)

N/A 0.624 0.048 0.349 0.000 0.088 0.000 0.000 0.151 15.427

Problem 495

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

76 60 60 55 70 78 76 71 59 56

N.S.

1 0.79 0.79 0.72 0.92 1.03 1.00 0.93 0.78 0.74

time (sec)

N/A 0.391 0.021 0.230 0.033 0.070 0.183 0.110 0.147 15.006

Problem 496

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

64 51 51 48 59 67 63 60 51 51

N.S.

1 0.80 0.80 0.75 0.92 1.05 0.98 0.94 0.80 0.80

time (sec)

N/A 0.368 0.018 0.218 0.031 0.071 0.142 0.119 0.152 14.956

Problem 497

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 28 28 27 31 36 31 31 29 27

N.S.

1 0.93 0.93 0.90 1.03 1.20 1.03 1.03 0.97 0.90

time (sec)

N/A 0.355 0.011 0.195 0.031 0.080 0.076 0.113 0.145 0.024

Problem 498

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

38 35 38 30 34 43 37 35 35 31

N.S.

1 0.92 1.00 0.79 0.89 1.13 0.97 0.92 0.92 0.82

time (sec)

N/A 0.343 0.013 0.204 0.031 0.070 0.091 0.115 0.148 0.031

Problem 499

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 23 23 24 27 32 26 28 25 25

N.S.

1 0.85 0.85 0.89 1.00 1.19 0.96 1.04 0.93 0.93

time (sec)

N/A 0.335 0.009 0.181 0.026 0.067 0.060 0.117 0.150 0.027

Problem 500

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 22 22 22 24 23 17 26 21 24

N.S.

1 0.88 0.88 0.88 0.96 0.92 0.68 1.04 0.84 0.96

time (sec)

N/A 0.314 0.007 0.186 0.027 0.078 0.120 0.108 0.146 0.044

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