Integrals 201 to 300

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 201

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

85 85 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.059 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 202

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

85 85 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.065 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 203

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

75 75 83 0 0 0 0 0 0

N.S.

1 1.00 1.11 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.060 0.110 0.000 0.000 0.000 0.000 0.000 0.000

Problem 204

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

77 77 84 0 0 0 0 0 0

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.055 0.103 0.000 0.000 0.000 0.000 0.000 0.000

Problem 205

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

75 75 94 0 0 0 0 0 0

N.S.

1 1.00 1.25 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.063 0.075 0.000 0.000 0.000 0.000 0.000 0.000

Problem 206

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

77 77 101 0 0 0 0 0 0

N.S.

1 1.00 1.31 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.056 0.071 0.000 0.000 0.000 0.000 0.000 0.000

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C C A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 93 64 62 63 62 88 0 108

N.S.

1 1.00 0.69 0.67 0.68 0.67 0.95 0.00 1.16

time (sec)

N/A 0.054 0.020 0.271 0.195 0.248 0.402 0.000 0.121

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C C A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 51 54 55 53 65 0 89

N.S.

1 1.00 0.74 0.78 0.80 0.77 0.94 0.00 1.29

time (sec)

N/A 0.040 0.021 0.163 0.203 0.245 0.234 0.000 0.083

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C C A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 39 44 44 41 39 0 43

N.S.

1 1.00 0.87 0.98 0.98 0.91 0.87 0.00 0.96

time (sec)

N/A 0.023 0.021 0.135 0.192 0.245 0.157 0.000 5.087

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 22 0 0 24 0 0

N.S.

1 1.00 1.00 0.71 0.00 0.00 0.77 0.00 0.00

time (sec)

N/A 0.009 0.003 0.087 0.000 0.000 0.317 0.000 0.000

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 40 37 43 39 40 34 0 69

N.S.

1 1.00 0.92 1.08 0.98 1.00 0.85 0.00 1.72

time (sec)

N/A 0.024 0.019 0.189 0.246 0.255 0.200 0.000 4.868

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 51 62 39 52 60 0 89

N.S.

1 1.00 0.74 0.90 0.57 0.75 0.87 0.00 1.29

time (sec)

N/A 0.035 0.019 0.273 0.231 0.274 0.279 0.000 0.077

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 93 64 72 39 61 87 0 108

N.S.

1 1.00 0.69 0.77 0.42 0.66 0.94 0.00 1.16

time (sec)

N/A 0.049 0.018 0.539 0.249 0.255 0.486 0.000 4.851

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 105 57 62 51 59 99 0 51

N.S.

1 1.00 0.54 0.59 0.49 0.56 0.94 0.00 0.49

time (sec)

N/A 0.057 0.028 0.478 0.201 0.250 0.540 0.000 0.112

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 49 54 43 51 75 0 43

N.S.

1 1.00 0.60 0.67 0.53 0.63 0.93 0.00 0.53

time (sec)

N/A 0.043 0.021 0.214 0.205 0.271 0.302 0.000 4.830

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 41 46 35 43 49 0 35

N.S.

1 1.00 0.72 0.81 0.61 0.75 0.86 0.00 0.61

time (sec)

N/A 0.030 0.019 0.478 0.206 0.238 0.187 0.000 0.082

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 26 24 25 29 22 0 23

N.S.

1 1.00 1.00 0.92 0.96 1.12 0.85 0.00 0.88

time (sec)

N/A 0.004 0.006 0.314 0.198 0.241 0.065 0.000 0.052

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 27 23 29 32 0 23

N.S.

1 1.00 1.00 1.08 0.92 1.16 1.28 0.00 0.92

time (sec)

N/A 0.034 0.010 0.688 0.245 0.243 0.563 0.000 4.874

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 50 46 28 48 63 0 43

N.S.

1 1.00 0.93 0.85 0.52 0.89 1.17 0.00 0.80

time (sec)

N/A 0.046 0.017 0.465 0.250 0.252 1.031 0.000 4.913

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 61 65 28 58 85 0 62

N.S.

1 1.00 0.78 0.83 0.36 0.74 1.09 0.00 0.79

time (sec)

N/A 0.056 0.020 0.756 0.240 0.256 1.806 0.000 4.939

Problem 221

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

279 279 237 457 0 263 746 0 357

N.S.

1 1.00 0.85 1.64 0.00 0.94 2.67 0.00 1.28

time (sec)

N/A 0.202 0.174 1.348 0.000 0.266 1.693 0.000 5.331

Problem 222

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

186 186 142 258 0 161 398 0 190

N.S.

1 1.00 0.76 1.39 0.00 0.87 2.14 0.00 1.02

time (sec)

N/A 0.130 0.121 1.059 0.000 0.255 0.810 0.000 5.161

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 78 117 0 89 178 0 106

N.S.

1 1.00 0.68 1.02 0.00 0.77 1.55 0.00 0.92

time (sec)

N/A 0.087 0.054 0.553 0.000 0.254 0.423 0.000 0.298

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 33 31 30 45 51 0 46

N.S.

1 1.00 0.94 0.89 0.86 1.29 1.46 0.00 1.31

time (sec)

N/A 0.006 0.013 0.358 0.198 0.242 0.134 0.000 0.145

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

14 14 16 14 16 16 12 16 16

N.S.

1 1.00 1.14 1.00 1.14 1.14 0.86 1.14 1.14

time (sec)

N/A 0.011 0.358 0.188 0.294 0.247 0.744 0.259 5.052

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

14 14 16 14 16 27 14 16 16

N.S.

1 1.00 1.14 1.00 1.14 1.93 1.00 1.14 1.14

time (sec)

N/A 0.028 0.538 0.195 0.269 0.235 9.394 0.265 5.128

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

14 14 16 14 16 38 14 16 16

N.S.

1 1.00 1.14 1.00 1.14 2.71 1.00 1.14 1.14

time (sec)

N/A 0.055 0.579 0.204 0.266 0.268 69.598 0.257 7.295

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 175 99 154 0 97 168 0 139

N.S.

1 1.00 0.57 0.88 0.00 0.55 0.96 0.00 0.79

time (sec)

N/A 0.178 0.031 0.362 0.000 0.250 0.533 0.000 5.275

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 124 82 112 0 79 116 0 100

N.S.

1 1.00 0.66 0.90 0.00 0.64 0.94 0.00 0.81

time (sec)

N/A 0.110 0.021 0.161 0.000 0.256 0.313 0.000 4.894

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 63 69 0 58 63 0 66

N.S.

1 1.00 0.89 0.97 0.00 0.82 0.89 0.00 0.93

time (sec)

N/A 0.052 0.014 0.117 0.000 0.260 0.183 0.000 4.888

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 8 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 0.80 1.20 1.20

time (sec)

N/A 0.012 0.023 0.023 0.218 0.248 1.070 0.266 4.801

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

65 65 60 0 0 64 0 0 0

N.S.

1 1.00 0.92 0.00 0.00 0.98 0.00 0.00 0.00

time (sec)

N/A 0.068 0.018 0.000 0.000 0.244 0.000 0.000 0.000

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

123 123 97 0 0 93 0 0 0

N.S.

1 1.00 0.79 0.00 0.00 0.76 0.00 0.00 0.00

time (sec)

N/A 0.114 0.021 0.000 0.000 0.251 0.000 0.000 0.000

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

174 174 114 0 0 113 0 0 0

N.S.

1 1.00 0.66 0.00 0.00 0.65 0.00 0.00 0.00

time (sec)

N/A 0.179 0.031 0.000 0.000 0.254 0.000 0.000 0.000

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

162 162 105 0 0 114 0 0 0

N.S.

1 1.00 0.65 0.00 0.00 0.70 0.00 0.00 0.00

time (sec)

N/A 0.145 0.034 0.000 0.000 0.258 0.000 0.000 0.000

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

111 111 87 0 0 95 0 0 0

N.S.

1 1.00 0.78 0.00 0.00 0.86 0.00 0.00 0.00

time (sec)

N/A 0.084 0.024 0.000 0.000 0.255 0.000 0.000 0.000

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

54 54 54 0 0 66 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 1.22 0.00 0.00 0.00

time (sec)

N/A 0.030 0.010 0.000 0.000 0.246 0.000 0.000 0.000

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 10 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20

time (sec)

N/A 0.013 0.027 0.017 0.228 0.236 1.051 0.263 4.830

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 10 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20

time (sec)

N/A 0.011 0.028 0.018 0.222 0.244 1.139 0.245 4.891

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 10 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20

time (sec)

N/A 0.011 0.032 0.020 0.225 0.262 1.388 0.258 4.729

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

366 366 0 0 0 282 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.77 0.00 0.00 0.00

time (sec)

N/A 0.256 0.000 0.000 0.000 0.262 0.000 0.000 0.000

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

184 184 128 0 0 172 0 0 0

N.S.

1 1.00 0.70 0.00 0.00 0.93 0.00 0.00 0.00

time (sec)

N/A 0.127 0.159 0.000 0.000 0.259 0.000 0.000 0.000

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

68 68 64 0 0 93 0 0 0

N.S.

1 1.00 0.94 0.00 0.00 1.37 0.00 0.00 0.00

time (sec)

N/A 0.106 0.038 0.000 0.000 0.256 0.000 0.000 0.000

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

16 16 18 16 18 18 14 18 18

N.S.

1 1.00 1.12 1.00 1.12 1.12 0.88 1.12 1.12

time (sec)

N/A 0.020 0.039 0.191 0.214 0.251 2.309 0.251 4.873

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

16 16 18 16 18 29 15 18 18

N.S.

1 1.00 1.12 1.00 1.12 1.81 0.94 1.12 1.12

time (sec)

N/A 0.019 0.073 0.204 0.239 0.251 11.244 0.265 5.229

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

102 102 90 0 0 127 0 0 0

N.S.

1 1.00 0.88 0.00 0.00 1.25 0.00 0.00 0.00

time (sec)

N/A 0.130 0.211 0.000 0.000 0.258 0.000 0.000 0.000

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

93 93 81 0 0 123 0 0 0

N.S.

1 1.00 0.87 0.00 0.00 1.32 0.00 0.00 0.00

time (sec)

N/A 0.105 0.197 0.000 0.000 0.263 0.000 0.000 0.000

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

91 91 78 0 0 123 0 0 0

N.S.

1 1.00 0.86 0.00 0.00 1.35 0.00 0.00 0.00

time (sec)

N/A 0.138 0.167 0.000 0.000 0.269 0.000 0.000 0.000

Problem 249

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

64 64 83 61 58 117 0 0 112

N.S.

1 1.00 1.30 0.95 0.91 1.83 0.00 0.00 1.75

time (sec)

N/A 0.030 0.060 1.177 0.196 0.261 0.000 0.000 5.132

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

94 94 82 0 0 127 0 0 0

N.S.

1 1.00 0.87 0.00 0.00 1.35 0.00 0.00 0.00

time (sec)

N/A 0.119 0.177 0.000 0.000 0.264 0.000 0.000 0.000

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

95 95 80 0 0 124 0 0 0

N.S.

1 1.00 0.84 0.00 0.00 1.31 0.00 0.00 0.00

time (sec)

N/A 0.117 0.188 0.000 0.000 0.256 0.000 0.000 0.000

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

126 126 126 0 0 181 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 1.44 0.00 0.00 0.00

time (sec)

N/A 0.198 0.312 0.000 0.000 0.263 0.000 0.000 0.000

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A A F B

verified

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

size

21 21 21 0 0 16 19 0 16

N.S.

1 1.00 1.00 0.00 0.00 0.76 0.90 0.00 0.76

time (sec)

N/A 0.021 0.009 0.000 0.000 0.252 0.363 0.000 0.104

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A A F B

verified

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

size

21 21 21 0 0 16 19 0 91

N.S.

1 1.00 1.00 0.00 0.00 0.76 0.90 0.00 4.33

time (sec)

N/A 0.019 0.006 0.000 0.000 0.250 0.143 0.000 5.004

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A A F B

verified

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

size

20 20 20 0 0 15 24 0 15

N.S.

1 1.00 1.00 0.00 0.00 0.75 1.20 0.00 0.75

time (sec)

N/A 0.022 0.011 0.000 0.000 0.248 0.182 0.000 4.662

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A A F B

verified

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

size

21 21 21 0 0 16 24 0 16

N.S.

1 1.00 1.00 0.00 0.00 0.76 1.14 0.00 0.76

time (sec)

N/A 0.021 0.006 0.000 0.000 0.240 0.391 0.000 0.108

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A A F B

verified

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

size

21 21 21 0 0 16 26 0 16

N.S.

1 1.00 1.00 0.00 0.00 0.76 1.24 0.00 0.76

time (sec)

N/A 0.020 0.006 0.000 0.000 0.249 0.675 0.000 4.891

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A B F B

verified

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

size

28 28 28 0 0 24 63 0 23

N.S.

1 1.00 1.00 0.00 0.00 0.86 2.25 0.00 0.82

time (sec)

N/A 0.026 0.009 0.000 0.000 0.255 1.476 0.000 4.827

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F B

verified

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

size

257 257 131 0 0 255 0 0 232

N.S.

1 1.00 0.51 0.00 0.00 0.99 0.00 0.00 0.90

time (sec)

N/A 0.324 0.197 0.000 0.000 0.267 0.000 0.000 5.297

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F B

verified

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

size

142 142 91 0 0 151 0 0 128

N.S.

1 1.00 0.64 0.00 0.00 1.06 0.00 0.00 0.90

time (sec)

N/A 0.111 0.124 0.000 0.000 0.270 0.000 0.000 5.276

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F B

verified

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

size

53 53 47 0 0 61 0 0 51

N.S.

1 1.00 0.89 0.00 0.00 1.15 0.00 0.00 0.96

time (sec)

N/A 0.028 0.015 0.000 0.000 0.248 0.000 0.000 4.846

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

17 17 19 16 18 18 17 18 18

N.S.

1 1.00 1.12 0.94 1.06 1.06 1.00 1.06 1.06

time (sec)

N/A 0.026 0.100 0.051 0.262 0.263 2.964 0.265 5.069

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

17 17 19 16 18 18 19 18 18

N.S.

1 1.00 1.12 0.94 1.06 1.06 1.12 1.06 1.06

time (sec)

N/A 0.105 0.132 0.158 0.255 0.239 5.810 0.275 5.845

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

17 17 19 16 18 18 19 18 18

N.S.

1 1.00 1.12 0.94 1.06 1.06 1.12 1.06 1.06

time (sec)

N/A 0.241 0.166 0.189 0.253 0.258 32.018 0.261 5.968

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

17 17 19 16 18 18 19 18 18

N.S.

1 1.00 1.12 0.94 1.06 1.06 1.12 1.06 1.06

time (sec)

N/A 0.179 0.199 0.069 0.265 0.260 51.571 0.257 6.221

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

17 17 19 16 18 18 19 18 18

N.S.

1 1.00 1.12 0.94 1.06 1.06 1.12 1.06 1.06

time (sec)

N/A 0.070 0.158 0.130 0.312 0.262 9.704 0.259 6.000

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

14 14 16 13 15 15 15 15 15

N.S.

1 1.00 1.14 0.93 1.07 1.07 1.07 1.07 1.07

time (sec)

N/A 0.013 0.023 0.082 0.287 0.254 2.209 0.262 5.574

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

17 17 19 16 18 18 19 18 18

N.S.

1 1.00 1.12 0.94 1.06 1.06 1.12 1.06 1.06

time (sec)

N/A 0.101 0.142 0.071 0.285 0.248 2.809 0.255 5.624

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

17 17 19 16 18 18 19 18 18

N.S.

1 1.00 1.12 0.94 1.06 1.06 1.12 1.06 1.06

time (sec)

N/A 0.243 0.216 0.175 0.252 0.244 13.673 0.260 5.819

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 107 68 103 0 79 99 0 82

N.S.

1 1.00 0.64 0.96 0.00 0.74 0.93 0.00 0.77

time (sec)

N/A 0.086 0.035 0.404 0.000 0.247 104.885 0.000 0.253

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 51 72 0 59 63 0 56

N.S.

1 1.00 0.72 1.01 0.00 0.83 0.89 0.00 0.79

time (sec)

N/A 0.049 0.022 0.193 0.000 0.255 17.147 0.000 0.199

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 32 41 0 40 27 0 27

N.S.

1 1.00 1.00 1.28 0.00 1.25 0.84 0.00 0.84

time (sec)

N/A 0.020 0.011 0.108 0.000 0.256 2.391 0.000 4.688

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 30 30 0 0 0 24 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.80 0.00 0.00

time (sec)

N/A 0.024 0.015 0.000 0.000 0.000 3.195 0.000 0.000

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

65 65 32 0 0 0 27 0 0

N.S.

1 1.00 0.49 0.00 0.00 0.00 0.42 0.00 0.00

time (sec)

N/A 0.052 0.014 0.000 0.000 0.000 7.391 0.000 0.000

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

105 105 34 0 0 0 32 0 0

N.S.

1 1.00 0.32 0.00 0.00 0.00 0.30 0.00 0.00

time (sec)

N/A 0.081 0.017 0.000 0.000 0.000 49.390 0.000 0.000

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

148 148 52 0 0 0 0 0 0

N.S.

1 1.00 0.35 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.107 0.019 0.000 0.000 0.000 0.000 0.000 0.000

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

109 109 43 0 0 0 0 0 0

N.S.

1 1.00 0.39 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.079 0.020 0.000 0.000 0.000 0.000 0.000 0.000

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

70 70 36 0 0 0 22 0 0

N.S.

1 1.00 0.51 0.00 0.00 0.00 0.31 0.00 0.00

time (sec)

N/A 0.041 0.013 0.000 0.000 0.000 27.871 0.000 0.000

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 27 27 0 0 0 20 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.74 0.00 0.00

time (sec)

N/A 0.012 0.007 0.000 0.000 0.000 4.091 0.000 0.000

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

60 60 26 0 0 0 41 0 0

N.S.

1 1.00 0.43 0.00 0.00 0.00 0.68 0.00 0.00

time (sec)

N/A 0.037 0.015 0.000 0.000 0.000 3.697 0.000 0.000

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

105 105 29 0 0 0 24 0 0

N.S.

1 1.00 0.28 0.00 0.00 0.00 0.23 0.00 0.00

time (sec)

N/A 0.065 0.014 0.000 0.000 0.000 24.916 0.000 0.000

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

144 144 29 0 0 0 0 0 0

N.S.

1 1.00 0.20 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.095 0.017 0.000 0.000 0.000 0.000 0.000 0.000

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F B

verified

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

size

144 144 95 0 0 106 0 0 206

N.S.

1 1.00 0.66 0.00 0.00 0.74 0.00 0.00 1.43

time (sec)

N/A 0.181 0.048 0.000 0.000 0.261 0.000 0.000 5.270

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F B

verified

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

size

97 97 77 0 0 86 0 0 117

N.S.

1 1.00 0.79 0.00 0.00 0.89 0.00 0.00 1.21

time (sec)

N/A 0.086 0.031 0.000 0.000 0.251 0.000 0.000 0.444

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F B

verified

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

size

47 47 42 0 0 49 0 0 50

N.S.

1 1.00 0.89 0.00 0.00 1.04 0.00 0.00 1.06

time (sec)

N/A 0.028 0.009 0.000 0.000 0.256 0.000 0.000 4.951

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

19 19 21 18 20 20 19 20 20

N.S.

1 1.00 1.11 0.95 1.05 1.05 1.00 1.05 1.05

time (sec)

N/A 0.028 0.078 0.052 0.258 0.254 2.371 0.262 5.151

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

19 19 21 18 20 20 20 20 20

N.S.

1 1.00 1.11 0.95 1.05 1.05 1.05 1.05 1.05

time (sec)

N/A 0.090 0.117 0.121 0.276 0.244 3.951 0.268 5.655

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

19 19 21 18 20 20 20 20 20

N.S.

1 1.00 1.11 0.95 1.05 1.05 1.05 1.05 1.05

time (sec)

N/A 0.167 0.152 0.157 0.279 0.241 15.440 0.264 5.567

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A A F B

verified

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

size

121 121 78 0 0 74 124 0 126

N.S.

1 1.00 0.64 0.00 0.00 0.61 1.02 0.00 1.04

time (sec)

N/A 0.116 0.027 0.000 0.000 0.254 1.417 0.000 5.151

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A A F B

verified

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

size

69 69 58 0 0 53 68 0 86

N.S.

1 1.00 0.84 0.00 0.00 0.77 0.99 0.00 1.25

time (sec)

N/A 0.061 0.013 0.000 0.000 0.247 0.520 0.000 0.315

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A A F B

verified

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

size

21 21 21 0 0 16 19 0 91

N.S.

1 1.00 1.00 0.00 0.00 0.76 0.90 0.00 4.33

time (sec)

N/A 0.014 0.001 0.000 0.000 0.247 0.150 0.000 5.005

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

59 59 56 0 0 55 0 0 0

N.S.

1 1.00 0.95 0.00 0.00 0.93 0.00 0.00 0.00

time (sec)

N/A 0.062 0.017 0.000 0.000 0.272 0.000 0.000 0.000

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

118 118 91 0 0 85 0 0 0

N.S.

1 1.00 0.77 0.00 0.00 0.72 0.00 0.00 0.00

time (sec)

N/A 0.130 0.025 0.000 0.000 0.286 0.000 0.000 0.000

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F B

verified

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

size

304 304 206 0 0 262 0 0 336

N.S.

1 1.00 0.68 0.00 0.00 0.86 0.00 0.00 1.11

time (sec)

N/A 0.355 1.434 0.000 0.000 0.271 0.000 0.000 5.779

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F B

verified

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

size

78 78 73 0 0 100 0 0 79

N.S.

1 1.00 0.94 0.00 0.00 1.28 0.00 0.00 1.01

time (sec)

N/A 0.045 0.055 0.000 0.000 0.258 0.000 0.000 4.992

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

19 19 21 18 20 20 19 20 20

N.S.

1 1.00 1.11 0.95 1.05 1.05 1.00 1.05 1.05

time (sec)

N/A 0.027 0.131 0.049 0.269 0.258 5.272 0.263 5.501

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

19 19 21 18 20 20 20 20 20

N.S.

1 1.00 1.11 0.95 1.05 1.05 1.05 1.05 1.05

time (sec)

N/A 0.277 0.196 0.185 0.271 0.241 23.653 0.267 5.837

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

19 19 21 18 20 20 0 20 20

N.S.

1 1.00 1.11 0.95 1.05 1.05 0.00 1.05 1.05

time (sec)

N/A 0.690 0.310 0.066 0.253 0.236 0.000 0.259 6.886

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

19 19 21 18 20 20 20 20 20

N.S.

1 1.00 1.11 0.95 1.05 1.05 1.05 1.05 1.05

time (sec)

N/A 0.139 0.238 0.138 0.276 0.265 43.529 0.264 6.461

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

16 16 18 15 17 17 17 17 17

N.S.

1 1.00 1.12 0.94 1.06 1.06 1.06 1.06 1.06

time (sec)

N/A 0.013 0.026 0.063 0.260 0.254 4.268 0.259 6.080