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

2.2.14 Integrals 1301 to 1400

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 1301

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

N.S.

1 0.76 0.67 0.62 0.57 0.76 0.57 0.57 0.57

time (sec)

N/A 0.280 0.008 0.159 0.187 0.237 0.043 0.279 12.859

Problem 1302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 62 17 18 29 18 20 41 11

N.S.

1 3.65 1.00 1.06 1.71 1.06 1.18 2.41 0.65

time (sec)

N/A 0.205 0.081 0.244 0.194 0.236 0.059 0.285 0.087

Problem 1303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

26 0 24 21 32 32 20 25 40

N.S.

1 0.00 0.92 0.81 1.23 1.23 0.77 0.96 1.54

time (sec)

N/A 0.000 1.972 7.830 0.224 0.244 0.063 0.285 13.456

Problem 1304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

12 0 11 10 9 9 10 9 9

N.S.

1 0.00 0.92 0.83 0.75 0.75 0.83 0.75 0.75

time (sec)

N/A 0.000 0.060 0.113 0.235 0.259 0.089 0.294 13.054

Problem 1305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

20 0 19 23 22 28 19 22 22

N.S.

1 0.00 0.95 1.15 1.10 1.40 0.95 1.10 1.10

time (sec)

N/A 0.000 0.117 0.340 0.247 0.261 0.092 0.290 12.391

Problem 1306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 51 46 55 63 88 58 0

N.S.

1 0.00 1.89 1.70 2.04 2.33 3.26 2.15 0.00

time (sec)

N/A 0.000 0.690 144.195 0.315 0.258 0.153 0.318 0.000

Problem 1307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

28 0 35 23 29 38 22 39 30

N.S.

1 0.00 1.25 0.82 1.04 1.36 0.79 1.39 1.07

time (sec)

N/A 0.000 9.705 0.199 0.235 0.273 0.085 0.329 12.645

Problem 1308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 33 40 39 39 36 41 0

N.S.

1 0.00 1.10 1.33 1.30 1.30 1.20 1.37 0.00

time (sec)

N/A 0.000 3.504 9.001 0.262 0.242 0.257 0.301 0.000

Problem 1309

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 12 12 12 11 11 10 11 11

N.S.

1 0.67 0.67 0.67 0.61 0.61 0.56 0.61 0.61

time (sec)

N/A 0.143 0.003 0.074 0.205 0.252 0.041 0.288 0.045

Problem 1310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

21 0 53 56 58 30 49 61 0

N.S.

1 0.00 2.52 2.67 2.76 1.43 2.33 2.90 0.00

time (sec)

N/A 0.000 4.275 129.230 0.233 0.244 5.302 0.347 0.000

Problem 1311

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

N.S.

1 0.81 0.81 0.78 0.74 0.89 0.63 0.74 0.74

time (sec)

N/A 0.229 0.012 0.127 0.184 0.249 0.052 0.284 0.094

Problem 1312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 48 28 34 0 29 29 49 28

N.S.

1 1.71 1.00 1.21 0.00 1.04 1.04 1.75 1.00

time (sec)

N/A 0.716 0.150 8.546 0.000 0.251 0.461 13.680 13.652

Problem 1313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

24 0 20 21 0 31 0 20 59

N.S.

1 0.00 0.83 0.88 0.00 1.29 0.00 0.83 2.46

time (sec)

N/A 0.000 0.275 3.101 0.000 0.241 0.000 0.447 13.267

Problem 1314

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

20 21 21 17 16 16 20 16 19

N.S.

1 1.05 1.05 0.85 0.80 0.80 1.00 0.80 0.95

time (sec)

N/A 0.233 0.030 0.129 0.178 0.268 0.054 0.284 12.655

Problem 1315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

31 0 33 30 29 29 27 29 268

N.S.

1 0.00 1.06 0.97 0.94 0.94 0.87 0.94 8.65

time (sec)

N/A 0.000 0.170 109.764 0.286 0.261 0.302 0.456 13.421

Problem 1316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

23 0 19 18 19 19 36 44 21

N.S.

1 0.00 0.83 0.78 0.83 0.83 1.57 1.91 0.91

time (sec)

N/A 0.000 0.138 0.769 0.212 0.250 0.104 0.273 13.049

Problem 1317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 26 24 20 0 19 20 25 17

N.S.

1 0.84 0.77 0.65 0.00 0.61 0.65 0.81 0.55

time (sec)

N/A 0.552 0.436 1.270 0.000 0.259 0.145 0.308 13.215

Problem 1318

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

15 11 11 12 11 11 12 12 11

N.S.

1 0.73 0.73 0.80 0.73 0.73 0.80 0.80 0.73

time (sec)

N/A 0.138 0.004 1.036 0.179 0.238 0.040 0.260 0.065

Problem 1319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C B B B B B F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

32 803 96 156 123 94 92 0 98

N.S.

1 25.09 3.00 4.88 3.84 2.94 2.88 0.00 3.06

time (sec)

N/A 15.148 0.147 3.449 0.478 0.271 2.969 0.000 14.272

Problem 1320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A F B

verified

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

size

21 0 22 25 25 24 26 0 19

N.S.

1 0.00 1.05 1.19 1.19 1.14 1.24 0.00 0.90

time (sec)

N/A 0.000 0.136 0.636 0.408 0.243 0.211 0.000 13.612

Problem 1321

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 36 38 36 37 37 34 42 37

N.S.

1 1.20 1.27 1.20 1.23 1.23 1.13 1.40 1.23

time (sec)

N/A 0.702 0.249 1.427 0.329 0.251 0.100 0.302 12.891

Problem 1322

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

20 37 21 21 20 20 17 20 16

N.S.

1 1.85 1.05 1.05 1.00 1.00 0.85 1.00 0.80

time (sec)

N/A 0.167 0.006 0.021 0.189 0.267 0.044 0.283 0.049

Problem 1323

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

N.S.

1 1.06 1.06 1.00 1.12 1.12 1.12 1.12 1.12

time (sec)

N/A 0.649 0.299 0.801 0.232 0.237 0.129 0.304 14.673

Problem 1324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A C B B B F B

verified

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

size

30 0 31 262 2629 142 146 0 825

N.S.

1 0.00 1.03 8.73 87.63 4.73 4.87 0.00 27.50

time (sec)

N/A 0.000 0.330 4.574 24.267 0.258 20.496 0.000 15.911

Problem 1325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

24 0 21 19 19 18 19 0 0

N.S.

1 0.00 0.88 0.79 0.79 0.75 0.79 0.00 0.00

time (sec)

N/A 0.000 0.147 0.355 0.238 0.252 0.121 0.000 0.000

Problem 1326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

21 0 18 13 12 22 10 22 12

N.S.

1 0.00 0.86 0.62 0.57 1.05 0.48 1.05 0.57

time (sec)

N/A 0.000 0.087 0.138 0.275 0.260 0.108 0.276 14.150

Problem 1327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 41 31 71 417 68 76 68 66

N.S.

1 1.46 1.11 2.54 14.89 2.43 2.71 2.43 2.36

time (sec)

N/A 0.490 0.096 1.433 0.381 0.259 0.163 0.399 14.756

Problem 1328

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

20 25 19 25 24 24 24 24 20

N.S.

1 1.25 0.95 1.25 1.20 1.20 1.20 1.20 1.00

time (sec)

N/A 0.456 0.220 0.133 0.226 0.242 6.202 0.278 14.121

Problem 1329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

27 0 25 23 22 24 24 26 24

N.S.

1 0.00 0.93 0.85 0.81 0.89 0.89 0.96 0.89

time (sec)

N/A 0.000 1.232 0.877 0.227 0.268 0.094 0.267 14.130

Problem 1330

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

N.S.

1 1.17 0.61 0.61 0.57 0.57 0.43 0.57 0.57

time (sec)

N/A 0.415 0.063 0.065 0.337 0.248 0.088 0.268 14.572

Problem 1331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 174 90 145 151 128 144 186 174

N.S.

1 6.21 3.21 5.18 5.39 4.57 5.14 6.64 6.21

time (sec)

N/A 0.533 0.099 1.462 0.215 0.246 0.257 0.297 15.002

Problem 1332

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 25 23 13 12 12 12 12 12

N.S.

1 1.56 1.44 0.81 0.75 0.75 0.75 0.75 0.75

time (sec)

N/A 0.189 0.033 0.194 0.207 0.250 0.061 0.279 13.869

Problem 1333

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

N.S.

1 0.92 0.92 0.88 0.84 0.84 0.80 0.84 0.84

time (sec)

N/A 0.141 0.003 0.801 0.203 0.231 0.035 0.274 0.065

Problem 1334

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

N.S.

1 1.19 1.00 1.00 0.96 1.04 0.92 1.08 0.88

time (sec)

N/A 0.412 0.235 0.391 0.220 0.242 0.102 0.284 0.210

Problem 1335

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

N.S.

1 1.05 1.00 0.95 0.89 0.89 0.89 0.89 1.11

time (sec)

N/A 0.243 0.099 0.224 0.201 0.242 0.082 0.273 14.003

Problem 1336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A B B

verified

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

size

26 0 25 24 59 48 31 52 23

N.S.

1 0.00 0.96 0.92 2.27 1.85 1.19 2.00 0.88

time (sec)

N/A 0.000 0.239 20.873 0.271 0.242 0.224 0.417 14.752

Problem 1337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A F B

verified

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

size

15 0 15 11 10 10 14 0 11

N.S.

1 0.00 1.00 0.73 0.67 0.67 0.93 0.00 0.73

time (sec)

N/A 0.000 0.260 2.865 0.331 0.255 29.672 0.000 14.087

Problem 1338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

34 0 32 289 33 36 0 36 0

N.S.

1 0.00 0.94 8.50 0.97 1.06 0.00 1.06 0.00

time (sec)

N/A 0.000 0.294 0.349 0.370 0.249 0.000 1.304 0.000

Problem 1339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 33 24 32 0 30 19 0 0

N.S.

1 1.32 0.96 1.28 0.00 1.20 0.76 0.00 0.00

time (sec)

N/A 8.976 2.069 3.595 0.000 0.248 10.520 0.000 0.000

Problem 1340

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

15 11 11 12 11 11 12 11 11

N.S.

1 0.73 0.73 0.80 0.73 0.73 0.80 0.73 0.73

time (sec)

N/A 0.304 0.071 1.286 0.230 0.253 0.062 0.264 13.461

Problem 1341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A A B

verified

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

size

31 0 56 44 65 45 42 46 43

N.S.

1 0.00 1.81 1.42 2.10 1.45 1.35 1.48 1.39

time (sec)

N/A 0.000 0.370 0.356 0.351 0.239 0.268 0.516 14.841

Problem 1342

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 15 28 15 14 14 8 14 14

N.S.

1 0.71 1.33 0.71 0.67 0.67 0.38 0.67 0.67

time (sec)

N/A 0.156 0.043 0.063 0.194 0.252 0.039 0.260 14.314

Problem 1343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

32 0 27 58 38 41 26 42 30

N.S.

1 0.00 0.84 1.81 1.19 1.28 0.81 1.31 0.94

time (sec)

N/A 0.000 0.111 5.905 0.273 0.251 0.348 0.341 14.911

Problem 1344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

25 0 24 20 27 32 24 19 27

N.S.

1 0.00 0.96 0.80 1.08 1.28 0.96 0.76 1.08

time (sec)

N/A 0.000 0.149 1.045 0.236 0.250 0.115 0.262 14.438

Problem 1345

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

20 25 25 15 14 14 14 14 14

N.S.

1 1.25 1.25 0.75 0.70 0.70 0.70 0.70 0.70

time (sec)

N/A 0.153 0.013 0.143 0.220 0.247 0.049 0.262 0.086

Problem 1346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B B A F B

verified

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

size

19 0 19 16 35 40 20 0 22

N.S.

1 0.00 1.00 0.84 1.84 2.11 1.05 0.00 1.16

time (sec)

N/A 0.000 1.164 0.437 0.343 0.253 0.156 0.000 12.722

Problem 1347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A C A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 43 33 34 83 32 29 40 34

N.S.

1 2.26 1.74 1.79 4.37 1.68 1.53 2.11 1.79

time (sec)

N/A 0.336 1.232 0.098 0.235 0.241 0.062 0.270 12.402

Problem 1348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

33 0 88 113 106 106 104 115 0

N.S.

1 0.00 2.67 3.42 3.21 3.21 3.15 3.48 0.00

time (sec)

N/A 0.000 0.154 12.730 0.292 0.262 0.279 1.084 0.000

Problem 1349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

34 0 35 39 67 67 34 69 0

N.S.

1 0.00 1.03 1.15 1.97 1.97 1.00 2.03 0.00

time (sec)

N/A 0.000 7.155 0.204 0.270 0.246 0.154 0.291 0.000

Problem 1350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 0 29 64 28 0 137 28

N.S.

1 0.00 0.00 0.97 2.13 0.93 0.00 4.57 0.93

time (sec)

N/A 0.000 0.000 79.133 0.383 0.257 0.000 0.599 11.947

Problem 1351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 0 30 26 26 27 646 27 0

N.S.

1 0.00 0.97 0.84 0.84 0.87 20.84 0.87 0.00

time (sec)

N/A 0.000 11.990 0.658 0.259 0.249 0.476 0.319 0.000

Problem 1352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

37 0 72 0 155 167 109 0 0

N.S.

1 0.00 1.95 0.00 4.19 4.51 2.95 0.00 0.00

time (sec)

N/A 0.000 0.904 0.000 2.570 0.263 99.283 0.000 0.000

Problem 1353

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 18 18 16 15 17 15 17 17

N.S.

1 0.95 0.95 0.84 0.79 0.89 0.79 0.89 0.89

time (sec)

N/A 0.191 0.025 0.059 0.187 0.255 0.054 0.277 0.122

Problem 1354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 33 53 25 42 37 45 0

N.S.

1 0.00 1.14 1.83 0.86 1.45 1.28 1.55 0.00

time (sec)

N/A 0.000 0.122 1.037 0.777 0.256 0.210 1.724 0.000

Problem 1355

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

N.S.

1 1.08 1.00 1.00 1.00 0.92 1.00 1.00 1.00

time (sec)

N/A 0.131 0.000 0.010 0.202 0.257 0.021 0.284 0.002

Problem 1356

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 17 17 17 16 16 17 16 11

N.S.

1 0.94 0.94 0.94 0.89 0.89 0.94 0.89 0.61

time (sec)

N/A 0.145 0.002 0.017 0.211 0.250 0.053 0.264 12.576

Problem 1357

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

15 17 10 11 10 10 7 10 10

N.S.

1 1.13 0.67 0.73 0.67 0.67 0.47 0.67 0.67

time (sec)

N/A 0.134 0.000 0.016 0.190 0.236 0.024 0.273 0.033

Problem 1358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

24 0 26 26 23 21 27 27 21

N.S.

1 0.00 1.08 1.08 0.96 0.88 1.12 1.12 0.88

time (sec)

N/A 0.000 5.026 0.105 0.313 0.260 0.103 0.275 13.174

Problem 1359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A A B

verified

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

size

15 0 15 14 34 13 14 13 14

N.S.

1 0.00 1.00 0.93 2.27 0.87 0.93 0.87 0.93

time (sec)

N/A 0.000 0.194 0.205 0.317 0.239 0.106 0.300 12.430

Problem 1360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A F B

verified

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

size

25 0 25 24 30 32 20 0 34

N.S.

1 0.00 1.00 0.96 1.20 1.28 0.80 0.00 1.36

time (sec)

N/A 0.000 0.346 399.414 0.451 0.248 86.067 0.000 12.580

Problem 1361

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 21 20 20 19 20 24

N.S.

1 1.00 1.00 0.84 0.80 0.80 0.76 0.80 0.96

time (sec)

N/A 0.356 0.334 0.092 0.183 0.265 0.159 0.297 12.163

Problem 1362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 32 32 26 25 25 27 37 22

N.S.

1 1.28 1.28 1.04 1.00 1.00 1.08 1.48 0.88

time (sec)

N/A 0.203 0.064 0.036 0.206 0.264 0.085 0.285 12.392

Problem 1363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 39 39 40 39 37 39 40 25

N.S.

1 2.60 2.60 2.67 2.60 2.47 2.60 2.67 1.67

time (sec)

N/A 0.225 0.007 0.029 0.202 0.260 0.082 0.283 12.551

Problem 1364

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 9 12 8 12 8 8

N.S.

1 1.00 1.00 0.90 1.20 0.80 1.20 0.80 0.80

time (sec)

N/A 0.222 0.071 0.086 0.316 0.257 0.104 0.289 13.356

Problem 1365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 77 57 40 38 36 37 49 49

N.S.

1 2.33 1.73 1.21 1.15 1.09 1.12 1.48 1.48

time (sec)

N/A 0.431 0.460 0.126 0.209 0.255 0.152 0.293 0.123

Problem 1366

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 27 27 26 27 26 26 27 26

N.S.

1 1.12 1.12 1.08 1.12 1.08 1.08 1.12 1.08

time (sec)

N/A 0.187 0.006 0.027 0.201 0.256 0.079 0.303 13.082

Problem 1367

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 28 26 20 19 19 20 19 19

N.S.

1 0.97 0.90 0.69 0.66 0.66 0.69 0.66 0.66

time (sec)

N/A 0.136 0.000 0.031 0.212 0.242 0.017 0.276 0.003

Problem 1368

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 4 4 5 4 4 3 5 4

N.S.

1 0.17 0.17 0.22 0.17 0.17 0.13 0.22 0.17

time (sec)

N/A 0.116 0.000 0.010 0.205 0.236 0.019 0.292 0.010

Problem 1369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A B B B

verified

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

size

27 0 27 41 34 34 56 58 41

N.S.

1 0.00 1.00 1.52 1.26 1.26 2.07 2.15 1.52

time (sec)

N/A 0.000 0.103 0.228 0.253 0.250 0.104 0.321 13.479

Problem 1370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A F B

verified

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

size

16 0 19 15 14 14 17 0 17

N.S.

1 0.00 1.19 0.94 0.88 0.88 1.06 0.00 1.06

time (sec)

N/A 0.000 0.098 0.089 0.250 0.248 0.119 0.000 13.152

Problem 1371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B B A B B

verified

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

size

24 0 38 31 45 45 60 73 30

N.S.

1 0.00 1.58 1.29 1.88 1.88 2.50 3.04 1.25

time (sec)

N/A 0.000 0.121 7.246 0.340 0.256 0.167 0.761 13.635

Problem 1372

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 19 19 16 19 19 15 15 15

N.S.

1 0.76 0.76 0.64 0.76 0.76 0.60 0.60 0.60

time (sec)

N/A 0.368 0.029 0.069 0.247 0.242 0.086 0.293 0.178

Problem 1373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 50 23 21 0 50 19 0 24

N.S.

1 2.17 1.00 0.91 0.00 2.17 0.83 0.00 1.04

time (sec)

N/A 0.414 1.007 0.664 0.000 0.254 0.100 0.000 13.614

Problem 1374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B B A A A B

verified

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

size

32 0 44 198 69 48 44 48 44

N.S.

1 0.00 1.38 6.19 2.16 1.50 1.38 1.50 1.38

time (sec)

N/A 0.000 0.169 2.889 0.337 0.263 0.236 0.629 13.661

Problem 1375

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

14 16 14 14 27 14 12 14 13

N.S.

1 1.14 1.00 1.00 1.93 1.00 0.86 1.00 0.93

time (sec)

N/A 0.157 0.006 0.054 0.203 0.245 0.078 0.275 13.377

Problem 1376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 0 32 87 83 83 90 132 0

N.S.

1 0.00 1.03 2.81 2.68 2.68 2.90 4.26 0.00

time (sec)

N/A 0.000 0.074 0.183 0.253 0.259 0.181 0.316 0.000

Problem 1377

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 11 11 9 10 10 10 11 8

N.S.

1 0.85 0.85 0.69 0.77 0.77 0.77 0.85 0.62

time (sec)

N/A 0.129 0.001 0.031 0.204 0.249 0.029 0.279 0.072

Problem 1378

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

28 46 33 30 40 28 27 0 44

N.S.

1 1.64 1.18 1.07 1.43 1.00 0.96 0.00 1.57

time (sec)

N/A 5.167 0.288 0.684 0.421 0.250 0.118 0.000 13.207

Problem 1379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A F B

verified

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

size

25 0 25 24 28 20 19 0 27

N.S.

1 0.00 1.00 0.96 1.12 0.80 0.76 0.00 1.08

time (sec)

N/A 0.000 2.532 0.207 0.331 0.277 0.147 0.000 12.611

Problem 1380

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 22 20 21 20 28 15 21 20

N.S.

1 0.96 0.87 0.91 0.87 1.22 0.65 0.91 0.87

time (sec)

N/A 0.231 0.012 0.029 0.202 0.243 0.042 0.297 0.054

Problem 1381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A F B

verified

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

size

20 0 19 20 23 18 17 0 23

N.S.

1 0.00 0.95 1.00 1.15 0.90 0.85 0.00 1.15

time (sec)

N/A 0.000 0.560 0.296 40.229 0.243 0.127 0.000 13.437

Problem 1382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 28 25 20 27 23 19 25 23

N.S.

1 1.33 1.19 0.95 1.29 1.10 0.90 1.19 1.10

time (sec)

N/A 0.252 0.126 0.044 0.232 0.249 0.057 0.309 13.011

Problem 1383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

25 0 26 24 26 26 22 20 20

N.S.

1 0.00 1.04 0.96 1.04 1.04 0.88 0.80 0.80

time (sec)

N/A 0.000 0.696 0.056 0.230 0.270 0.156 0.302 0.118

Problem 1384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 139 56 61 180 62 99 66 48

N.S.

1 4.09 1.65 1.79 5.29 1.82 2.91 1.94 1.41

time (sec)

N/A 1.616 2.979 0.159 0.258 0.245 0.109 0.301 12.946

Problem 1385

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 41 26 24 31 31 27 31 23

N.S.

1 1.71 1.08 1.00 1.29 1.29 1.12 1.29 0.96

time (sec)

N/A 0.215 0.069 0.028 0.186 0.263 0.080 0.297 0.077

Problem 1386

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

25 40 29 28 33 60 48 33 25

N.S.

1 1.60 1.16 1.12 1.32 2.40 1.92 1.32 1.00

time (sec)

N/A 0.189 0.049 0.070 0.198 0.264 0.219 0.286 14.686

Problem 1387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F F A A A A A B

verified

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

size

33 0 0 38 36 36 37 36 32

N.S.

1 0.00 0.00 1.15 1.09 1.09 1.12 1.09 0.97

time (sec)

N/A 0.000 0.000 1.311 0.371 0.251 0.148 0.328 14.637

Problem 1388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 74 23 47 113 21 17 135 17

N.S.

1 2.64 0.82 1.68 4.04 0.75 0.61 4.82 0.61

time (sec)

N/A 0.228 0.010 0.055 0.292 0.258 0.044 0.284 12.234

Problem 1389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 33 49 32 32 34 0 32

N.S.

1 0.00 1.10 1.63 1.07 1.07 1.13 0.00 1.07

time (sec)

N/A 0.000 0.217 32.077 0.330 0.262 0.715 0.000 13.333

Problem 1390

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 36 17 16 19 19 15 26 15

N.S.

1 1.38 0.65 0.62 0.73 0.73 0.58 1.00 0.58

time (sec)

N/A 0.316 0.040 0.120 0.241 0.252 0.086 0.285 11.220

Problem 1391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 0 170 21 42 0 0 60

N.S.

1 0.00 0.00 6.54 0.81 1.62 0.00 0.00 2.31

time (sec)

N/A 0.000 0.000 0.189 0.561 0.250 0.000 0.000 11.846

Problem 1392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 21 26 20 20 20 20

N.S.

1 1.00 1.00 1.00 1.24 0.95 0.95 0.95 0.95

time (sec)

N/A 0.179 0.084 0.040 0.222 0.237 0.063 0.290 11.059

Problem 1393

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

21 19 19 17 104 29 15 16 16

N.S.

1 0.90 0.90 0.81 4.95 1.38 0.71 0.76 0.76

time (sec)

N/A 0.345 0.069 0.079 0.206 0.256 0.122 0.391 11.440

Problem 1394

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

7 6 6 7 6 6 3 7 6

N.S.

1 0.86 0.86 1.00 0.86 0.86 0.43 1.00 0.86

time (sec)

N/A 0.130 0.001 0.010 0.182 0.236 0.031 0.269 0.015

Problem 1395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 30 300 49 54 29 53 0

N.S.

1 0.00 1.00 10.00 1.63 1.80 0.97 1.77 0.00

time (sec)

N/A 0.000 0.301 0.048 0.343 0.256 4.617 13.008 0.000

Problem 1396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A B B B

verified

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

size

30 0 42 55 60 43 68 63 61

N.S.

1 0.00 1.40 1.83 2.00 1.43 2.27 2.10 2.03

time (sec)

N/A 0.000 0.309 0.906 0.232 0.269 0.135 0.278 12.024

Problem 1397

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

N.S.

1 0.88 0.92 0.85 0.92 0.81 0.77 0.92 0.81

time (sec)

N/A 9.422 0.942 0.460 0.184 0.254 0.173 0.302 12.872

Problem 1398

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 12 15 12 11 11 12 11 11

N.S.

1 0.67 0.83 0.67 0.61 0.61 0.67 0.61 0.61

time (sec)

N/A 0.164 0.005 0.016 0.188 0.249 0.046 0.279 11.854

Problem 1399

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 6 6 7 6 6 5 7 6

N.S.

1 0.43 0.43 0.50 0.43 0.43 0.36 0.50 0.43

time (sec)

N/A 0.126 0.001 0.011 0.204 0.235 0.028 0.290 0.019

Problem 1400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 20 19 15 0 24 27 24 24

N.S.

1 0.91 0.86 0.68 0.00 1.09 1.23 1.09 1.09

time (sec)

N/A 0.562 0.225 0.098 0.000 0.254 0.073 0.289 12.031

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