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

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 A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 28 20 19 19 19 20 25

N.S.

1 1.00 1.22 0.87 0.83 0.83 0.83 0.87 1.09

time (sec)

N/A 0.023 0.009 0.181 0.282 0.242 0.066 0.295 0.055

Problem 202

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

28 28 28 24 23 23 29 24 55

N.S.

1 1.00 1.00 0.86 0.82 0.82 1.04 0.86 1.96

time (sec)

N/A 0.017 0.010 0.160 0.282 0.236 0.064 0.281 0.310

Problem 203

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

41 41 41 31 32 32 41 33 46

N.S.

1 1.00 1.00 0.76 0.78 0.78 1.00 0.80 1.12

time (sec)

N/A 0.017 0.006 0.145 0.275 0.256 0.060 0.271 0.065

Problem 204

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

41 41 42 34 35 35 42 36 47

N.S.

1 1.00 1.02 0.83 0.85 0.85 1.02 0.88 1.15

time (sec)

N/A 0.016 0.009 0.151 0.273 0.268 0.058 0.290 0.243

Problem 205

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

24 24 22 21 20 36 20 47 28

N.S.

1 1.00 0.92 0.88 0.83 1.50 0.83 1.96 1.17

time (sec)

N/A 0.024 0.016 0.184 0.280 0.238 0.068 0.290 0.045

Problem 206

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

14 14 26 19 18 18 19 20 10

N.S.

1 1.00 1.86 1.36 1.29 1.29 1.36 1.43 0.71

time (sec)

N/A 0.004 0.005 0.180 0.287 0.235 0.054 0.292 0.057

Problem 207

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

29 29 29 25 24 24 29 24 51

N.S.

1 1.00 1.00 0.86 0.83 0.83 1.00 0.83 1.76

time (sec)

N/A 0.089 0.015 0.174 0.295 0.248 0.087 0.295 0.079

Problem 208

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

23 23 23 18 17 17 19 17 33

N.S.

1 1.00 1.00 0.78 0.74 0.74 0.83 0.74 1.43

time (sec)

N/A 0.023 0.010 0.070 0.283 0.254 0.089 0.277 0.201

Problem 209

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

39 39 39 32 32 39 41 32 36

N.S.

1 1.00 1.00 0.82 0.82 1.00 1.05 0.82 0.92

time (sec)

N/A 0.012 0.025 0.634 0.302 0.239 0.055 0.285 0.044

Problem 210

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

10 10 10 11 14 18 8 14 10

N.S.

1 1.00 1.00 1.10 1.40 1.80 0.80 1.40 1.00

time (sec)

N/A 0.013 0.006 0.136 0.193 0.237 0.033 0.293 0.173

Problem 211

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

11 11 17 12 11 15 12 15 11

N.S.

1 1.00 1.55 1.09 1.00 1.36 1.09 1.36 1.00

time (sec)

N/A 0.033 0.199 0.296 0.188 0.261 0.093 0.319 0.088

Problem 212

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

20 20 82 18 17 17 19 17 17

N.S.

1 1.00 4.10 0.90 0.85 0.85 0.95 0.85 0.85

time (sec)

N/A 0.044 0.214 0.309 0.272 0.263 0.160 0.314 0.061

Problem 213

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

19 19 19 14 13 13 12 15 8

N.S.

1 1.00 1.00 0.74 0.68 0.68 0.63 0.79 0.42

time (sec)

N/A 0.005 0.003 0.175 0.202 0.238 0.045 0.331 0.078

Problem 214

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

17 17 17 12 11 11 10 13 6

N.S.

1 1.00 1.00 0.71 0.65 0.65 0.59 0.76 0.35

time (sec)

N/A 0.003 0.004 0.147 0.187 0.247 0.038 0.271 0.130

Problem 215

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

21 21 21 14 17 17 17 19 13

N.S.

1 1.00 1.00 0.67 0.81 0.81 0.81 0.90 0.62

time (sec)

N/A 0.007 0.006 0.181 0.196 0.238 0.045 0.267 0.239

Problem 216

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

49 49 44 27 37 44 46 40 36

N.S.

1 1.00 0.90 0.55 0.76 0.90 0.94 0.82 0.73

time (sec)

N/A 0.013 0.018 0.227 0.288 0.248 0.042 0.291 0.153

Problem 217

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

63 63 57 51 50 50 68 53 58

N.S.

1 1.00 0.90 0.81 0.79 0.79 1.08 0.84 0.92

time (sec)

N/A 0.064 0.028 0.074 0.291 0.260 0.199 0.277 0.337

Problem 218

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

86 86 67 54 59 103 65 59 71

N.S.

1 1.00 0.78 0.63 0.69 1.20 0.76 0.69 0.83

time (sec)

N/A 0.081 0.044 0.084 0.277 0.251 0.106 0.290 0.156

Problem 219

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

24 24 24 28 28 28 42 29 18

N.S.

1 1.00 1.00 1.17 1.17 1.17 1.75 1.21 0.75

time (sec)

N/A 0.006 0.020 0.142 0.227 0.253 0.506 0.282 0.041

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 200 126 124 272 638 0 139 223

N.S.

1 1.00 0.63 0.62 1.36 3.19 0.00 0.70 1.12

time (sec)

N/A 0.360 0.070 0.148 0.286 0.907 0.000 0.352 0.277

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 41 22 30 27 20 23 11

N.S.

1 1.00 2.28 1.22 1.67 1.50 1.11 1.28 0.61

time (sec)

N/A 0.015 0.030 0.221 0.200 0.249 0.126 0.290 0.493

Problem 222

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 18 18 15 15 14 15 14 14

N.S.

1 1.00 1.00 0.83 0.83 0.78 0.83 0.78 0.78

time (sec)

N/A 0.004 0.013 0.135 0.207 0.236 0.050 0.285 0.060

Problem 223

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

32 32 28 21 28 20 26 20 20

N.S.

1 1.00 0.88 0.66 0.88 0.62 0.81 0.62 0.62

time (sec)

N/A 0.012 0.021 0.143 0.202 0.231 0.052 0.269 0.028

Problem 224

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

16 16 16 13 12 12 14 12 12

N.S.

1 1.00 1.00 0.81 0.75 0.75 0.88 0.75 0.75

time (sec)

N/A 0.003 0.016 0.183 0.276 0.237 0.070 0.270 0.032

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 10 9 19 19 26 20 8

N.S.

1 1.00 1.00 0.90 1.90 1.90 2.60 2.00 0.80

time (sec)

N/A 0.004 0.015 0.147 0.210 0.246 0.346 0.276 0.171

Problem 226

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

14 14 25 11 17 8 22 18 8

N.S.

1 1.00 1.79 0.79 1.21 0.57 1.57 1.29 0.57

time (sec)

N/A 0.005 0.015 0.203 0.224 0.226 0.070 0.276 0.155

Problem 227

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

31 31 29 22 21 21 36 22 25

N.S.

1 1.00 0.94 0.71 0.68 0.68 1.16 0.71 0.81

time (sec)

N/A 0.018 0.019 0.119 0.204 0.242 0.657 0.278 0.202

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 21 17 22 17 76 22 19

N.S.

1 1.00 0.66 0.53 0.69 0.53 2.38 0.69 0.59

time (sec)

N/A 0.007 0.018 0.151 0.192 0.231 0.731 0.263 0.036

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 25 24 24 75 24 24

N.S.

1 1.00 1.00 0.81 0.77 0.77 2.42 0.77 0.77

time (sec)

N/A 0.006 0.033 0.199 0.314 0.240 0.758 0.269 0.164

Problem 230

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

29 29 22 20 19 14 117 19 12

N.S.

1 1.00 0.76 0.69 0.66 0.48 4.03 0.66 0.41

time (sec)

N/A 0.005 0.017 0.124 0.190 0.235 0.504 0.273 0.277

Problem 231

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

8 8 8 7 6 6 7 6 6

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.88 0.75 0.75

time (sec)

N/A 0.004 0.013 0.167 0.283 0.245 0.106 0.274 0.285

Problem 232

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

21 21 19 16 15 15 17 16 15

N.S.

1 1.00 0.90 0.76 0.71 0.71 0.81 0.76 0.71

time (sec)

N/A 0.009 0.016 0.142 0.200 0.261 0.055 0.274 0.216

Problem 233

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 30 28 23 22 22 26 23 22

N.S.

1 1.00 0.93 0.77 0.73 0.73 0.87 0.77 0.73

time (sec)

N/A 0.014 0.022 0.154 0.199 0.238 0.063 0.266 0.042

Problem 234

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 27 20 16 19 16 26 19 16

N.S.

1 1.00 0.74 0.59 0.70 0.59 0.96 0.70 0.59

time (sec)

N/A 0.013 0.020 0.147 0.210 0.237 0.539 0.258 0.294

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B B F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

201 201 127 132 293 547 0 140 208

N.S.

1 1.00 0.63 0.66 1.46 2.72 0.00 0.70 1.03

time (sec)

N/A 0.185 0.070 0.151 0.317 0.913 0.000 0.342 0.063

Problem 236

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 62 62 46 45 47 68 45 73

N.S.

1 1.00 1.00 0.74 0.73 0.76 1.10 0.73 1.18

time (sec)

N/A 0.034 0.063 0.135 0.280 0.251 0.180 0.263 0.194

Problem 237

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

130 130 117 83 82 76 121 82 82

N.S.

1 1.00 0.90 0.64 0.63 0.58 0.93 0.63 0.63

time (sec)

N/A 0.034 0.063 0.166 0.205 0.240 1.106 0.281 0.135

Problem 238

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

24 24 24 40 37 26 0 28 20

N.S.

1 1.00 1.00 1.67 1.54 1.08 0.00 1.17 0.83

time (sec)

N/A 0.008 0.032 0.190 0.278 0.253 0.000 0.277 0.188

Problem 239

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

11 11 11 12 11 13 10 12 9

N.S.

1 1.00 1.00 1.09 1.00 1.18 0.91 1.09 0.82

time (sec)

N/A 0.020 0.010 0.171 0.201 0.255 0.078 0.274 0.145

Problem 240

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

17 17 17 16 15 15 14 15 15

N.S.

1 1.00 1.00 0.94 0.88 0.88 0.82 0.88 0.88

time (sec)

N/A 0.036 0.043 0.067 0.195 0.259 0.064 0.273 0.215

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 10 21 21 22 21 9

N.S.

1 1.00 1.00 0.83 1.75 1.75 1.83 1.75 0.75

time (sec)

N/A 0.012 0.025 0.069 0.202 0.249 0.231 0.267 0.029

Problem 242

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

28 28 28 27 35 35 32 37 40

N.S.

1 1.00 1.00 0.96 1.25 1.25 1.14 1.32 1.43

time (sec)

N/A 0.012 0.034 0.086 0.202 0.250 0.396 0.272 0.205

Problem 243

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

43 43 43 22 30 27 20 23 11

N.S.

1 1.00 1.00 0.51 0.70 0.63 0.47 0.53 0.26

time (sec)

N/A 0.017 0.022 0.137 0.199 0.279 0.107 0.290 0.462

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 24 19 39 38 39 37 21

N.S.

1 1.00 1.14 0.90 1.86 1.81 1.86 1.76 1.00

time (sec)

N/A 0.010 0.022 0.143 0.375 0.256 0.226 0.307 0.392

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 24 16 25 17 14 17 11

N.S.

1 1.00 2.18 1.45 2.27 1.55 1.27 1.55 1.00

time (sec)

N/A 0.013 0.028 0.231 0.206 0.249 0.114 0.287 0.068

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 43 22 30 27 20 23 11

N.S.

1 1.00 2.39 1.22 1.67 1.50 1.11 1.28 0.61

time (sec)

N/A 0.014 0.028 0.224 0.323 0.271 0.150 0.291 0.499

Problem 247

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

24 24 35 24 25 35 0 28 16

N.S.

1 1.00 1.46 1.00 1.04 1.46 0.00 1.17 0.67

time (sec)

N/A 0.055 0.034 0.217 0.189 0.263 0.000 0.274 0.316

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 39 24 220 35 0 28 16

N.S.

1 1.00 1.62 1.00 9.17 1.46 0.00 1.17 0.67

time (sec)

N/A 0.024 0.035 0.358 0.212 0.274 0.000 0.281 0.353

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 24 23 33 0 25 22

N.S.

1 1.00 1.00 1.33 1.28 1.83 0.00 1.39 1.22

time (sec)

N/A 0.029 0.021 0.267 0.194 0.265 0.000 0.274 0.136

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 38 35 61 98 121 61 31

N.S.

1 1.00 1.06 0.97 1.69 2.72 3.36 1.69 0.86

time (sec)

N/A 0.024 0.061 0.282 0.297 0.273 1.557 0.298 0.792

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 16 15 43 71839 26 15

N.S.

1 1.00 1.00 1.07 1.00 2.87 4789.27 1.73 1.00

time (sec)

N/A 0.021 0.034 0.492 0.275 0.256 16.133 0.292 0.512

Problem 252

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

12 12 10 9 8 8 7 9 8

N.S.

1 1.00 0.83 0.75 0.67 0.67 0.58 0.75 0.67

time (sec)

N/A 0.002 0.002 0.144 0.203 0.231 0.031 0.291 0.046

Problem 253

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

17 17 17 12 26 11 12 11 11

N.S.

1 1.00 1.00 0.71 1.53 0.65 0.71 0.65 0.65

time (sec)

N/A 0.002 0.003 0.029 0.204 0.233 0.050 0.285 0.027

Problem 254

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

12 12 8 9 10 10 7 8 6

N.S.

1 1.00 0.67 0.75 0.83 0.83 0.58 0.67 0.50

time (sec)

N/A 0.009 0.005 0.065 0.211 0.281 0.162 0.281 0.211

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 24 27 34 27 29 30

N.S.

1 1.00 1.00 1.50 1.69 2.12 1.69 1.81 1.88

time (sec)

N/A 0.011 0.002 0.104 0.191 0.251 0.051 0.266 0.002

Problem 256

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

17 17 17 14 14 14 14 14 13

N.S.

1 1.00 1.00 0.82 0.82 0.82 0.82 0.82 0.76

time (sec)

N/A 0.017 0.008 1.012 0.195 0.238 0.051 0.257 0.002

Problem 257

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

24 24 16 16 11 11 20 11 11

N.S.

1 1.00 0.67 0.67 0.46 0.46 0.83 0.46 0.46

time (sec)

N/A 0.007 0.003 0.023 0.209 0.233 0.067 0.283 0.002

Problem 258

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 42 42 31 30 30 36 33 30

N.S.

1 1.00 1.00 0.74 0.71 0.71 0.86 0.79 0.71

time (sec)

N/A 0.029 0.008 0.046 0.196 0.256 0.072 0.274 0.225

Problem 259

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

8 8 8 7 6 6 7 6 6

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.88 0.75 0.75

time (sec)

N/A 0.009 0.004 0.042 0.192 0.237 0.121 0.260 0.070

Problem 260

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

12 12 12 11 10 10 8 11 10

N.S.

1 1.00 1.00 0.92 0.83 0.83 0.67 0.92 0.83

time (sec)

N/A 0.004 0.004 0.147 0.188 0.246 0.031 0.294 0.032

Problem 261

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

5 5 5 4 3 3 3 3 3

N.S.

1 1.00 1.00 0.80 0.60 0.60 0.60 0.60 0.60

time (sec)

N/A 0.005 0.007 0.036 0.218 0.263 0.253 0.271 0.032

Problem 262

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

24 24 14 11 10 19 14 10 18

N.S.

1 1.00 0.58 0.46 0.42 0.79 0.58 0.42 0.75

time (sec)

N/A 0.023 0.002 0.096 0.185 0.272 0.022 0.281 0.002

Problem 263

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

8 8 8 9 8 11 8 18 32

N.S.

1 1.00 1.00 1.12 1.00 1.38 1.00 2.25 4.00

time (sec)

N/A 0.018 0.050 0.304 0.190 0.274 0.064 0.295 0.500

Problem 264

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 13 13 12 11 11 8 11 11

N.S.

1 1.00 1.00 0.92 0.85 0.85 0.62 0.85 0.85

time (sec)

N/A 0.003 0.001 0.144 0.189 0.262 0.064 0.288 0.002

Problem 265

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

17 17 17 14 13 13 12 13 9

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.71 0.76 0.53

time (sec)

N/A 0.005 0.003 0.029 0.192 0.258 0.039 0.287 0.228

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 24 19 18 18 109 18 18

N.S.

1 1.00 1.00 0.79 0.75 0.75 4.54 0.75 0.75

time (sec)

N/A 0.004 0.023 0.201 0.271 0.246 0.769 0.284 0.047

Problem 267

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

12 12 12 13 12 16 8 13 12

N.S.

1 1.00 1.00 1.08 1.00 1.33 0.67 1.08 1.00

time (sec)

N/A 0.004 0.004 0.141 0.189 0.245 0.025 0.286 0.037

Problem 268

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

16 16 16 17 16 16 15 16 16

N.S.

1 1.00 1.00 1.06 1.00 1.00 0.94 1.00 1.00

time (sec)

N/A 0.004 0.003 0.108 0.264 0.252 0.048 0.260 0.232

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 30 29 29 32 0 18

N.S.

1 1.00 1.00 1.36 1.32 1.32 1.45 0.00 0.82

time (sec)

N/A 0.036 0.042 0.063 0.192 0.232 0.630 0.000 0.287

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 56 43 19 46 54 42 42

N.S.

1 1.00 2.07 1.59 0.70 1.70 2.00 1.56 1.56

time (sec)

N/A 0.005 0.019 0.122 0.186 0.241 0.132 0.466 0.033

Problem 271

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

17 17 17 14 30 14 14 14 14

N.S.

1 1.00 1.00 0.82 1.76 0.82 0.82 0.82 0.82

time (sec)

N/A 0.017 0.014 2.787 0.200 0.246 0.050 0.381 0.241

Problem 272

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

22 22 22 17 16 16 15 16 16

N.S.

1 1.00 1.00 0.77 0.73 0.73 0.68 0.73 0.73

time (sec)

N/A 0.006 0.005 0.376 0.261 0.239 0.040 0.385 0.236

Problem 273

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

32 32 28 25 24 24 24 26 24

N.S.

1 1.00 0.88 0.78 0.75 0.75 0.75 0.81 0.75

time (sec)

N/A 0.008 0.010 0.017 0.274 0.269 0.087 0.327 0.029

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 25 35 28 66 40 30

N.S.

1 1.00 1.00 0.83 1.17 0.93 2.20 1.33 1.00

time (sec)

N/A 0.011 0.029 0.189 0.267 0.241 0.780 0.345 0.066

Problem 275

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 13 13 14 13 13 10 15 13

N.S.

1 1.00 1.00 1.08 1.00 1.00 0.77 1.15 1.00

time (sec)

N/A 0.003 0.004 0.182 0.195 0.245 0.035 0.345 0.053

Problem 276

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

16 16 14 17 44 14 17 27 16

N.S.

1 1.00 0.88 1.06 2.75 0.88 1.06 1.69 1.00

time (sec)

N/A 0.024 0.017 0.108 0.200 0.252 0.096 0.351 0.209

Problem 277

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

17 17 20 14 15 15 14 18 13

N.S.

1 1.00 1.18 0.82 0.88 0.88 0.82 1.06 0.76

time (sec)

N/A 0.013 0.007 0.032 0.192 0.236 0.037 0.348 0.074

Problem 278

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

3 3 3 4 3 3 3 3 3

N.S.

1 1.00 1.00 1.33 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.017 0.007 0.440 0.296 0.253 0.084 0.320 0.076

Problem 279

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

22 22 22 17 16 16 20 16 16

N.S.

1 1.00 1.00 0.77 0.73 0.73 0.91 0.73 0.73

time (sec)

N/A 0.009 0.007 0.073 0.196 0.250 0.105 0.330 0.297

Problem 280

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

9 9 9 10 9 9 7 9 9

N.S.

1 1.00 1.00 1.11 1.00 1.00 0.78 1.00 1.00

time (sec)

N/A 0.004 0.011 0.180 0.191 0.247 0.041 0.322 0.019

Problem 281

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

12 12 12 11 10 10 8 10 10

N.S.

1 1.00 1.00 0.92 0.83 0.83 0.67 0.83 0.83

time (sec)

N/A 0.015 0.003 0.036 0.187 0.237 0.038 0.328 0.049

Problem 282

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 27 22 20 19 21 26 19 19

N.S.

1 1.00 0.81 0.74 0.70 0.78 0.96 0.70 0.70

time (sec)

N/A 0.007 0.049 0.138 0.192 0.239 0.104 0.330 0.031

Problem 283

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

17 17 17 14 13 22 26 13 13

N.S.

1 1.00 1.00 0.82 0.76 1.29 1.53 0.76 0.76

time (sec)

N/A 0.006 0.008 0.272 0.199 0.248 0.140 0.321 0.068

Problem 284

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 25 25 20 19 19 19 20 25

N.S.

1 1.00 1.00 0.80 0.76 0.76 0.76 0.80 1.00

time (sec)

N/A 0.011 0.006 0.065 0.273 0.268 0.055 0.353 0.228

Problem 285

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

39 39 28 28 29 25 29 49 25

N.S.

1 1.00 0.72 0.72 0.74 0.64 0.74 1.26 0.64

time (sec)

N/A 0.012 0.012 0.066 0.202 0.245 0.044 0.325 0.043

Problem 286

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

26 26 16 14 13 13 12 13 13

N.S.

1 1.00 0.62 0.54 0.50 0.50 0.46 0.50 0.50

time (sec)

N/A 0.019 0.028 0.052 0.188 0.261 0.041 0.327 0.066

Problem 287

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

12 12 18 11 10 10 12 10 10

N.S.

1 1.00 1.50 0.92 0.83 0.83 1.00 0.83 0.83

time (sec)

N/A 0.005 0.011 0.037 0.292 0.274 0.034 0.405 0.230

Problem 288

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 25 24 21 22 20 22 41 20

N.S.

1 1.00 0.96 0.84 0.88 0.80 0.88 1.64 0.80

time (sec)

N/A 0.005 0.069 0.223 0.273 0.254 0.310 0.324 0.336

Problem 289

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 27 23 22 21 21 20 21 21

N.S.

1 1.00 0.85 0.81 0.78 0.78 0.74 0.78 0.78

time (sec)

N/A 0.012 0.008 0.076 0.212 0.253 0.107 0.345 0.223

Problem 290

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

19 19 19 12 11 11 15 11 12

N.S.

1 1.00 1.00 0.63 0.58 0.58 0.79 0.58 0.63

time (sec)

N/A 0.003 0.004 0.048 0.215 0.257 0.384 0.346 0.026

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

6 6 6 6 19 15 19 16 15

N.S.

1 1.00 1.00 1.00 3.17 2.50 3.17 2.67 2.50

time (sec)

N/A 0.008 0.035 0.036 0.209 0.253 0.047 0.338 0.111

Problem 292

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

14 14 14 11 10 10 10 10 10

N.S.

1 1.00 1.00 0.79 0.71 0.71 0.71 0.71 0.71

time (sec)

N/A 0.011 0.006 0.063 0.278 0.232 0.046 0.558 0.247

Problem 293

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

12 12 12 9 8 8 10 32 8

N.S.

1 1.00 1.00 0.75 0.67 0.67 0.83 2.67 0.67

time (sec)

N/A 0.003 0.017 0.250 0.268 0.250 0.078 0.320 0.278

Problem 294

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

34 34 30 23 18 25 31 22 26

N.S.

1 1.00 0.88 0.68 0.53 0.74 0.91 0.65 0.76

time (sec)

N/A 0.024 0.010 0.315 0.194 0.257 0.027 0.354 0.045

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 23 7 8 29 7 26 6

N.S.

1 1.00 1.92 0.58 0.67 2.42 0.58 2.17 0.50

time (sec)

N/A 0.006 0.078 0.237 0.272 0.247 0.284 0.312 0.190

Problem 296

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

16 16 16 15 14 21 48 14 21

N.S.

1 1.00 1.00 0.94 0.88 1.31 3.00 0.88 1.31

time (sec)

N/A 0.039 0.019 0.088 0.206 0.260 1.218 0.301 0.131

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

7 7 23 13 5 7 12 7 5

N.S.

1 1.00 3.29 1.86 0.71 1.00 1.71 1.00 0.71

time (sec)

N/A 0.019 0.005 0.159 0.195 0.253 0.798 0.302 0.050

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

6 6 6 6 15 15 15 16 15

N.S.

1 1.00 1.00 1.00 2.50 2.50 2.50 2.67 2.50

time (sec)

N/A 0.022 0.001 0.044 0.236 0.249 0.053 0.285 0.027

Problem 299

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

43 43 43 33 32 32 41 33 46

N.S.

1 1.00 1.00 0.77 0.74 0.74 0.95 0.77 1.07

time (sec)

N/A 0.019 0.008 0.166 0.281 0.253 0.056 0.285 0.091

Problem 300

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

37 37 29 33 74 30 42 57 37

N.S.

1 1.00 0.78 0.89 2.00 0.81 1.14 1.54 1.00

time (sec)

N/A 0.063 0.019 0.136 0.200 0.241 0.279 0.284 0.238

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