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

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

21 16 14 13 12 16 12 12 17 12

N.S.

1 0.76 0.67 0.62 0.57 0.76 0.57 0.57 0.81 0.57

time (sec)

N/A 0.353 0.004 0.082 0.024 0.082 0.046 0.111 0.184 2.770

Problem 1302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

17 62 17 18 29 18 20 41 16 11

N.S.

1 3.65 1.00 1.06 1.71 1.06 1.18 2.41 0.94 0.65

time (sec)

N/A 0.226 0.049 0.120 0.034 0.081 0.064 0.115 0.191 0.045

Problem 1303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 24 21 32 32 20 25 37 40

N.S.

1 0.00 0.92 0.81 1.23 1.23 0.77 0.96 1.42 1.54

time (sec)

N/A 0.000 5.665 1.208 0.078 0.097 0.078 0.123 0.177 2.953

Problem 1304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

12 0 11 10 9 9 10 9 11 9

N.S.

1 0.00 0.92 0.83 0.75 0.75 0.83 0.75 0.92 0.75

time (sec)

N/A 0.000 0.038 0.106 0.083 0.089 0.102 0.130 0.181 2.849

Problem 1305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 0 19 23 22 28 19 22 32 22

N.S.

1 0.00 0.95 1.15 1.10 1.40 0.95 1.10 1.60 1.10

time (sec)

N/A 0.000 0.071 0.210 0.088 0.093 0.104 0.120 0.170 2.839

Problem 1306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 51 46 55 63 88 58 37 0

N.S.

1 0.00 1.89 1.70 2.04 2.33 3.26 2.15 1.37 0.00

time (sec)

N/A 0.000 0.432 34.596 0.160 0.082 0.163 0.137 0.195 0.000

Problem 1307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 0 35 23 29 38 22 39 44 30

N.S.

1 0.00 1.25 0.82 1.04 1.36 0.79 1.39 1.57 1.07

time (sec)

N/A 0.000 8.960 0.380 0.058 0.105 0.097 0.121 0.205 2.909

Problem 1308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 33 40 39 39 36 41 37 0

N.S.

1 0.00 1.10 1.33 1.30 1.30 1.20 1.37 1.23 0.00

time (sec)

N/A 0.000 2.378 10.220 0.076 0.092 0.249 0.128 0.190 0.000

Problem 1309

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

N.S.

1 0.67 0.67 0.67 0.61 0.61 0.56 0.61 0.67 0.61

time (sec)

N/A 0.155 0.002 0.047 0.031 0.070 0.042 0.113 0.172 0.024

Problem 1310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 0 53 55 58 30 49 61 59 0

N.S.

1 0.00 2.52 2.62 2.76 1.43 2.33 2.90 2.81 0.00

time (sec)

N/A 0.000 116.242 130.379 0.079 0.086 5.118 0.165 0.194 0.000

Problem 1311

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

N.S.

1 0.81 0.81 0.78 0.74 0.89 0.63 0.74 1.19 0.74

time (sec)

N/A 0.246 0.007 0.150 0.031 0.099 0.047 0.110 0.169 0.047

Problem 1312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 48 28 34 0 29 29 49 27 28

N.S.

1 1.71 1.00 1.21 0.00 1.04 1.04 1.75 0.96 1.00

time (sec)

N/A 1.088 0.090 7.600 0.000 0.112 0.467 11.801 0.175 3.080

Problem 1313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 0 20 32 0 31 0 20 23 59

N.S.

1 0.00 0.83 1.33 0.00 1.29 0.00 0.83 0.96 2.46

time (sec)

N/A 0.000 0.165 3.341 0.000 0.100 0.000 0.215 0.180 3.012

Problem 1314

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

20 21 21 17 16 16 20 16 19 19

N.S.

1 1.05 1.05 0.85 0.80 0.80 1.00 0.80 0.95 0.95

time (sec)

N/A 0.251 0.018 0.049 0.039 0.083 0.061 0.113 0.187 0.039

Problem 1315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 0 33 30 29 29 27 29 278 268

N.S.

1 0.00 1.06 0.97 0.94 0.94 0.87 0.94 8.97 8.65

time (sec)

N/A 0.000 0.108 103.477 0.130 0.090 0.320 0.266 200.019 3.163

Problem 1316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 0 19 18 19 19 36 44 21 21

N.S.

1 0.00 0.83 0.78 0.83 0.83 1.57 1.91 0.91 0.91

time (sec)

N/A 0.000 0.080 0.207 0.058 0.120 0.121 0.117 0.215 2.908

Problem 1317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 26 24 20 0 19 20 25 17 17

N.S.

1 0.84 0.77 0.65 0.00 0.61 0.65 0.81 0.55 0.55

time (sec)

N/A 0.955 0.267 0.319 0.000 0.122 0.163 0.155 0.201 2.959

Problem 1318

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

15 11 11 12 11 11 12 12 23 11

N.S.

1 0.73 0.73 0.80 0.73 0.73 0.80 0.80 1.53 0.73

time (sec)

N/A 0.237 0.002 0.107 0.025 0.090 0.047 0.109 0.213 0.035

Problem 1319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 803 96 156 123 94 92 0 165 98

N.S.

1 25.09 3.00 4.88 3.84 2.94 2.88 0.00 5.16 3.06

time (sec)

N/A 16.152 0.087 244.184 0.311 0.087 3.332 0.000 0.209 3.412

Problem 1320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 0 22 25 25 24 26 0 29 19

N.S.

1 0.00 1.05 1.19 1.19 1.14 1.24 0.00 1.38 0.90

time (sec)

N/A 0.000 0.080 0.414 0.250 0.088 0.217 0.000 0.215 2.980

Problem 1321

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

N.S.

1 1.20 1.27 1.20 1.23 1.23 1.13 1.40 1.27 1.23

time (sec)

N/A 1.219 0.149 0.504 0.160 0.105 0.095 0.144 0.208 2.978

Problem 1322

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

20 37 21 21 20 20 17 20 17 16

N.S.

1 1.85 1.05 1.05 1.00 1.00 0.85 1.00 0.85 0.80

time (sec)

N/A 0.291 0.003 0.106 0.037 0.098 0.048 0.108 0.200 0.026

Problem 1323

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

17 18 18 17 19 19 19 19 18 19

N.S.

1 1.06 1.06 1.00 1.12 1.12 1.12 1.12 1.06 1.12

time (sec)

N/A 1.062 0.180 0.268 0.067 0.093 0.128 0.118 0.202 2.870

Problem 1324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 31 262 2629 142 146 0 412 825

N.S.

1 0.00 1.03 8.73 87.63 4.73 4.87 0.00 13.73 27.50

time (sec)

N/A 0.000 0.204 0.049 27.056 0.106 22.990 0.000 2.255 3.444

Problem 1325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 0 21 19 19 18 19 0 21 0

N.S.

1 0.00 0.88 0.79 0.79 0.75 0.79 0.00 0.88 0.00

time (sec)

N/A 0.000 0.085 0.470 0.081 0.091 0.133 0.000 0.208 0.000

Problem 1326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 0 18 13 12 22 10 22 14 12

N.S.

1 0.00 0.86 0.62 0.57 1.05 0.48 1.05 0.67 0.57

time (sec)

N/A 0.000 0.051 0.052 0.107 0.106 0.111 0.122 0.205 2.866

Problem 1327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 41 31 71 417 68 76 68 285 66

N.S.

1 1.46 1.11 2.54 14.89 2.43 2.71 2.43 10.18 2.36

time (sec)

N/A 0.583 0.058 6.866 0.202 0.095 0.175 0.255 0.221 3.265

Problem 1328

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

20 25 19 25 24 24 24 24 24 20

N.S.

1 1.25 0.95 1.25 1.20 1.20 1.20 1.20 1.20 1.00

time (sec)

N/A 0.485 0.136 0.188 0.039 0.128 6.484 0.118 0.210 2.876

Problem 1329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 25 23 22 24 24 26 23 24

N.S.

1 0.00 0.93 0.85 0.81 0.89 0.89 0.96 0.85 0.89

time (sec)

N/A 0.000 0.939 0.162 0.061 0.082 0.107 0.122 0.209 2.857

Problem 1330

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

23 27 14 14 13 13 10 13 14 13

N.S.

1 1.17 0.61 0.61 0.57 0.57 0.43 0.57 0.61 0.57

time (sec)

N/A 0.457 0.039 0.123 0.156 0.105 0.101 0.138 0.209 2.955

Problem 1331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 174 90 145 151 128 144 186 175 174

N.S.

1 6.21 3.21 5.18 5.39 4.57 5.14 6.64 6.25 6.21

time (sec)

N/A 0.667 0.060 0.700 0.057 0.100 0.300 0.118 0.210 3.119

Problem 1332

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

16 25 23 13 12 12 12 12 14 12

N.S.

1 1.56 1.44 0.81 0.75 0.75 0.75 0.75 0.88 0.75

time (sec)

N/A 0.336 0.019 0.037 0.034 0.107 0.058 0.114 0.201 2.829

Problem 1333

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

N.S.

1 0.92 0.92 0.88 0.84 0.84 0.80 0.84 0.84 0.84

time (sec)

N/A 0.243 0.002 0.105 0.033 0.089 0.033 0.112 0.203 0.033

Problem 1334

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

26 31 26 26 25 27 24 28 30 23

N.S.

1 1.19 1.00 1.00 0.96 1.04 0.92 1.08 1.15 0.88

time (sec)

N/A 0.681 0.137 0.141 0.031 0.080 0.120 0.133 0.207 0.103

Problem 1335

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

19 20 19 18 17 17 17 17 24 21

N.S.

1 1.05 1.00 0.95 0.89 0.89 0.89 0.89 1.26 1.11

time (sec)

N/A 0.418 0.060 0.063 0.035 0.087 0.087 0.117 0.199 2.812

Problem 1336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 25 24 59 48 31 52 55 23

N.S.

1 0.00 0.96 0.92 2.27 1.85 1.19 2.00 2.12 0.88

time (sec)

N/A 0.000 0.145 1.041 0.109 0.118 0.275 0.227 0.223 3.197

Problem 1337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

15 0 15 11 10 10 14 0 17 11

N.S.

1 0.00 1.00 0.73 0.67 0.67 0.93 0.00 1.13 0.73

time (sec)

N/A 0.000 0.155 2.338 0.154 0.144 31.775 0.000 0.207 2.923

Problem 1338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 0 32 289 33 36 0 36 40 0

N.S.

1 0.00 0.94 8.50 0.97 1.06 0.00 1.06 1.18 0.00

time (sec)

N/A 0.000 0.183 0.052 0.238 0.147 0.000 1.118 0.273 0.000

Problem 1339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 33 24 32 0 30 19 0 24 0

N.S.

1 1.32 0.96 1.28 0.00 1.20 0.76 0.00 0.96 0.00

time (sec)

N/A 10.911 1.284 1.227 0.000 0.189 10.252 0.000 0.208 0.000

Problem 1340

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

15 11 11 12 11 11 12 11 11 11

N.S.

1 0.73 0.73 0.80 0.73 0.73 0.80 0.73 0.73 0.73

time (sec)

N/A 0.321 0.044 0.113 0.055 0.126 0.066 0.105 0.201 2.811

Problem 1341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 0 56 44 65 45 42 46 87 43

N.S.

1 0.00 1.81 1.42 2.10 1.45 1.35 1.48 2.81 1.39

time (sec)

N/A 0.000 0.227 0.361 0.206 0.098 0.292 0.339 0.208 3.007

Problem 1342

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

21 15 28 15 14 14 8 14 23 14

N.S.

1 0.71 1.33 0.71 0.67 0.67 0.38 0.67 1.10 0.67

time (sec)

N/A 0.163 0.026 0.043 0.033 0.084 0.047 0.107 0.201 2.801

Problem 1343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 0 27 58 38 41 26 42 41 30

N.S.

1 0.00 0.84 1.81 1.19 1.28 0.81 1.31 1.28 0.94

time (sec)

N/A 0.000 0.074 5.126 0.093 0.110 0.367 0.191 0.220 2.997

Problem 1344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 24 20 27 32 24 19 23 27

N.S.

1 0.00 0.96 0.80 1.08 1.28 0.96 0.76 0.92 1.08

time (sec)

N/A 0.000 0.092 0.331 0.065 0.098 0.115 0.114 0.205 2.902

Problem 1345

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

20 25 25 15 14 14 14 14 17 14

N.S.

1 1.25 1.25 0.75 0.70 0.70 0.70 0.70 0.85 0.70

time (sec)

N/A 0.267 0.008 0.096 0.040 0.100 0.055 0.112 0.203 0.046

Problem 1346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 0 19 16 35 40 20 0 24 22

N.S.

1 0.00 1.00 0.84 1.84 2.11 1.05 0.00 1.26 1.16

time (sec)

N/A 0.000 0.696 0.340 0.181 0.099 0.168 0.000 0.209 2.933

Problem 1347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

19 43 33 34 83 32 29 40 43 34

N.S.

1 2.26 1.74 1.79 4.37 1.68 1.53 2.11 2.26 1.79

time (sec)

N/A 0.364 1.076 0.343 0.062 0.083 0.067 0.117 0.202 2.806

Problem 1348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 0 88 113 106 106 104 115 112 0

N.S.

1 0.00 2.67 3.42 3.21 3.21 3.15 3.48 3.39 0.00

time (sec)

N/A 0.000 0.100 23.064 0.128 0.090 0.270 0.937 0.242 0.000

Problem 1349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 0 35 39 67 67 34 69 84 0

N.S.

1 0.00 1.03 1.15 1.97 1.97 1.00 2.03 2.47 0.00

time (sec)

N/A 0.000 6.668 0.685 0.097 0.103 0.187 0.130 0.207 0.000

Problem 1350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 0 29 64 28 0 137 27 28

N.S.

1 0.00 0.00 0.97 2.13 0.93 0.00 4.57 0.90 0.93

time (sec)

N/A 0.000 0.000 52.841 0.231 0.092 0.000 0.438 0.204 3.104

Problem 1351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 0 30 26 26 27 646 27 28 0

N.S.

1 0.00 0.97 0.84 0.84 0.87 20.84 0.87 0.90 0.00

time (sec)

N/A 0.000 11.214 0.355 0.088 0.106 0.470 0.180 0.202 0.000

Problem 1352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

37 0 72 0 155 167 109 0 267 0

N.S.

1 0.00 1.95 0.00 4.19 4.51 2.95 0.00 7.22 0.00

time (sec)

N/A 0.000 0.562 0.000 2.350 0.109 103.030 0.000 0.265 0.000

Problem 1353

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

19 18 18 16 15 17 15 17 19 17

N.S.

1 0.95 0.95 0.84 0.79 0.89 0.79 0.89 1.00 0.89

time (sec)

N/A 0.327 0.016 0.079 0.029 0.090 0.042 0.106 0.171 0.064

Problem 1354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 0 33 53 25 42 37 45 58 0

N.S.

1 0.00 1.14 1.83 0.86 1.45 1.28 1.55 2.00 0.00

time (sec)

N/A 0.000 0.071 1.175 0.599 0.097 0.169 1.653 0.163 0.000

Problem 1355

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

12 13 12 12 12 11 12 12 13 12

N.S.

1 1.08 1.00 1.00 1.00 0.92 1.00 1.00 1.08 1.00

time (sec)

N/A 0.134 0.000 0.036 0.029 0.078 0.015 0.111 0.152 0.001

Problem 1356

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

N.S.

1 0.94 0.94 0.94 0.89 0.89 0.94 0.89 0.83 0.61

time (sec)

N/A 0.149 0.001 0.046 0.033 0.078 0.040 0.112 0.154 2.769

Problem 1357

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

15 17 10 11 10 10 7 10 8 10

N.S.

1 1.13 0.67 0.73 0.67 0.67 0.47 0.67 0.53 0.67

time (sec)

N/A 0.140 0.000 0.023 0.028 0.067 0.016 0.106 0.156 0.017

Problem 1358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 0 26 26 23 21 27 27 26 21

N.S.

1 0.00 1.08 1.08 0.96 0.88 1.12 1.12 1.08 0.88

time (sec)

N/A 0.000 5.016 0.140 0.143 0.088 0.090 0.114 0.162 2.965

Problem 1359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

15 0 15 14 34 13 14 13 13 14

N.S.

1 0.00 1.00 0.93 2.27 0.87 0.93 0.87 0.87 0.93

time (sec)

N/A 0.000 0.111 0.225 0.150 0.094 0.092 0.118 0.157 2.929

Problem 1360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 25 24 30 32 20 0 842 34

N.S.

1 0.00 1.00 0.96 1.20 1.28 0.80 0.00 33.68 1.36

time (sec)

N/A 0.000 0.210 185.772 0.292 0.089 82.880 0.000 0.564 3.062

Problem 1361

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

N.S.

1 1.00 1.00 0.84 0.80 0.80 0.76 0.80 1.28 0.96

time (sec)

N/A 0.614 0.191 0.121 0.026 0.091 0.145 0.143 0.160 2.824

Problem 1362

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

25 32 32 26 25 25 27 37 23 22

N.S.

1 1.28 1.28 1.04 1.00 1.00 1.08 1.48 0.92 0.88

time (sec)

N/A 0.222 0.037 0.153 0.028 0.099 0.078 0.112 0.160 2.853

Problem 1363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

15 39 39 40 39 37 39 40 39 25

N.S.

1 2.60 2.60 2.67 2.60 2.47 2.60 2.67 2.60 1.67

time (sec)

N/A 0.289 0.004 0.379 0.035 0.090 0.066 0.116 0.156 2.836

Problem 1364

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 No TBD TBD TBD TBD TBD TBD

size

10 10 10 9 12 8 12 8 8 8

N.S.

1 1.00 1.00 0.90 1.20 0.80 1.20 0.80 0.80 0.80

time (sec)

N/A 0.248 0.042 0.082 0.135 0.088 0.099 0.115 0.156 2.882

Problem 1365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 77 57 40 38 36 37 49 83 49

N.S.

1 2.33 1.73 1.21 1.15 1.09 1.12 1.48 2.52 1.48

time (sec)

N/A 0.461 0.267 0.216 0.036 0.086 0.123 0.127 0.162 2.792

Problem 1366

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

24 27 27 26 27 26 26 27 28 26

N.S.

1 1.12 1.12 1.08 1.12 1.08 1.08 1.12 1.17 1.08

time (sec)

N/A 0.208 0.004 0.131 0.030 0.094 0.063 0.110 0.155 2.778

Problem 1367

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

29 28 26 20 19 19 20 19 24 19

N.S.

1 0.97 0.90 0.69 0.66 0.66 0.69 0.66 0.83 0.66

time (sec)

N/A 0.151 0.000 0.155 0.028 0.087 0.016 0.110 0.158 0.001

Problem 1368

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

23 4 4 5 4 4 3 5 4 4

N.S.

1 0.17 0.17 0.22 0.17 0.17 0.13 0.22 0.17 0.17

time (sec)

N/A 0.151 0.000 0.010 0.030 0.078 0.017 0.116 0.155 0.006

Problem 1369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 0 27 41 34 34 56 58 63 41

N.S.

1 0.00 1.00 1.52 1.26 1.26 2.07 2.15 2.33 1.52

time (sec)

N/A 0.000 0.062 0.020 0.076 0.089 0.096 0.152 0.156 2.880

Problem 1370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 0 19 15 14 14 17 0 76 17

N.S.

1 0.00 1.19 0.94 0.88 0.88 1.06 0.00 4.75 1.06

time (sec)

N/A 0.000 0.057 0.152 0.069 0.082 0.097 0.000 0.263 2.900

Problem 1371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

24 0 38 31 45 45 60 73 44 30

N.S.

1 0.00 1.58 1.29 1.88 1.88 2.50 3.04 1.83 1.25

time (sec)

N/A 0.000 0.075 6.262 0.174 0.086 0.140 0.463 0.158 2.947

Problem 1372

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

N.S.

1 0.76 0.76 0.64 0.76 0.76 0.60 0.60 1.48 0.60

time (sec)

N/A 0.390 0.016 0.224 0.073 0.094 0.063 0.116 0.177 0.089

Problem 1373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

23 50 23 21 0 50 19 0 32 24

N.S.

1 2.17 1.00 0.91 0.00 2.17 0.83 0.00 1.39 1.04

time (sec)

N/A 0.437 0.592 0.634 0.000 0.084 0.100 0.000 0.165 2.921

Problem 1374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 0 44 216 69 48 44 48 48 44

N.S.

1 0.00 1.38 6.75 2.16 1.50 1.38 1.50 1.50 1.38

time (sec)

N/A 0.000 0.103 0.037 0.182 0.090 0.226 0.406 0.179 3.004

Problem 1375

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

14 16 14 14 27 14 12 14 14 13

N.S.

1 1.14 1.00 1.00 1.93 1.00 0.86 1.00 1.00 0.93

time (sec)

N/A 0.274 0.004 0.079 0.038 0.079 0.068 0.107 0.165 2.853

Problem 1376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

31 0 32 87 83 83 90 132 88 0

N.S.

1 0.00 1.03 2.81 2.68 2.68 2.90 4.26 2.84 0.00

time (sec)

N/A 0.000 0.044 0.861 0.082 0.091 0.151 0.138 0.163 0.000

Problem 1377

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

N.S.

1 0.85 0.85 0.69 0.77 0.77 0.77 0.85 0.85 0.62

time (sec)

N/A 0.136 0.001 0.034 0.028 0.075 0.020 0.104 0.177 0.042

Problem 1378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 46 33 30 40 28 27 0 62 44

N.S.

1 1.64 1.18 1.07 1.43 1.00 0.96 0.00 2.21 1.57

time (sec)

N/A 7.156 0.177 1.637 0.261 0.084 0.118 0.000 0.188 3.323

Problem 1379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 25 24 28 20 19 0 148 27

N.S.

1 0.00 1.00 0.96 1.12 0.80 0.76 0.00 5.92 1.08

time (sec)

N/A 0.000 1.492 0.421 0.156 0.099 0.150 0.000 0.211 2.837

Problem 1380

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

23 22 20 21 20 28 15 21 27 20

N.S.

1 0.96 0.87 0.91 0.87 1.22 0.65 0.91 1.17 0.87

time (sec)

N/A 0.236 0.007 0.031 0.031 0.089 0.044 0.120 0.169 0.028

Problem 1381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 0 19 20 23 18 17 0 37 23

N.S.

1 0.00 0.95 1.00 1.15 0.90 0.85 0.00 1.85 1.15

time (sec)

N/A 0.000 0.350 0.351 40.683 0.092 0.117 0.000 0.167 2.781

Problem 1382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 28 25 20 27 23 19 25 27 23

N.S.

1 1.33 1.19 0.95 1.29 1.10 0.90 1.19 1.29 1.10

time (sec)

N/A 0.445 0.073 0.170 0.061 0.099 0.047 0.115 0.164 0.042

Problem 1383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 0 26 24 26 26 22 20 21 20

N.S.

1 0.00 1.04 0.96 1.04 1.04 0.88 0.80 0.84 0.80

time (sec)

N/A 0.000 0.419 0.096 0.071 0.088 0.140 0.126 0.178 2.825

Problem 1384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

34 139 56 61 180 62 99 66 65 48

N.S.

1 4.09 1.65 1.79 5.29 1.82 2.91 1.94 1.91 1.41

time (sec)

N/A 2.159 2.588 1.433 0.091 0.086 0.096 0.110 0.158 2.853

Problem 1385

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

24 41 26 24 31 31 27 31 27 23

N.S.

1 1.71 1.08 1.00 1.29 1.29 1.12 1.29 1.12 0.96

time (sec)

N/A 0.219 0.042 0.139 0.028 0.083 0.065 0.105 0.166 0.043

Problem 1386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 40 29 28 33 60 48 33 39 25

N.S.

1 1.60 1.16 1.12 1.32 2.40 1.92 1.32 1.56 1.00

time (sec)

N/A 0.191 0.030 0.161 0.035 0.111 0.188 0.111 0.166 2.893

Problem 1387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

33 0 0 46 36 36 37 36 34 32

N.S.

1 0.00 0.00 1.39 1.09 1.09 1.12 1.09 1.03 0.97

time (sec)

N/A 0.000 0.000 0.078 0.171 0.093 0.137 0.168 0.207 0.379

Problem 1388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

28 74 23 47 113 21 17 135 40 17

N.S.

1 2.64 0.82 1.68 4.04 0.75 0.61 4.82 1.43 0.61

time (sec)

N/A 0.245 0.007 0.125 0.111 0.081 0.037 0.118 0.166 2.797

Problem 1389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 33 49 32 32 34 0 203 32

N.S.

1 0.00 1.10 1.63 1.07 1.07 1.13 0.00 6.77 1.07

time (sec)

N/A 0.000 0.131 26.464 0.179 0.106 0.630 0.000 200.017 3.026

Problem 1390

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

26 36 17 16 19 19 15 26 18 15

N.S.

1 1.38 0.65 0.62 0.73 0.73 0.58 1.00 0.69 0.58

time (sec)

N/A 0.356 0.024 0.194 0.087 0.091 0.082 0.114 0.156 2.803

Problem 1391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

26 0 0 170 21 42 0 0 221 60

N.S.

1 0.00 0.00 6.54 0.81 1.62 0.00 0.00 8.50 2.31

time (sec)

N/A 0.000 0.000 0.076 0.412 0.101 0.000 0.000 200.016 3.162

Problem 1392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

21 21 21 21 26 20 20 20 22 20

N.S.

1 1.00 1.00 1.00 1.24 0.95 0.95 0.95 1.05 0.95

time (sec)

N/A 0.293 0.049 0.056 0.059 0.083 0.056 0.115 0.153 0.034

Problem 1393

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

21 19 19 17 104 29 15 78 43 16

N.S.

1 0.90 0.90 0.81 4.95 1.38 0.71 3.71 2.05 0.76

time (sec)

N/A 0.602 0.041 0.099 0.040 0.099 0.106 0.129 0.153 2.965

Problem 1394

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

7 6 6 7 6 6 3 7 6 6

N.S.

1 0.86 0.86 1.00 0.86 0.86 0.43 1.00 0.86 0.86

time (sec)

N/A 0.223 0.000 0.015 0.030 0.071 0.026 0.109 0.150 0.009

Problem 1395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 30 300 49 54 29 0 124 0

N.S.

1 0.00 1.00 10.00 1.63 1.80 0.97 0.00 4.13 0.00

time (sec)

N/A 0.000 0.183 0.052 0.216 0.127 4.216 0.000 200.019 0.000

Problem 1396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 0 42 55 60 43 68 63 70 61

N.S.

1 0.00 1.40 1.83 2.00 1.43 2.27 2.10 2.33 2.03

time (sec)

N/A 0.000 0.191 125.141 0.080 0.098 0.120 0.120 0.179 2.967

Problem 1397

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

26 23 24 22 24 21 20 24 28 21

N.S.

1 0.88 0.92 0.85 0.92 0.81 0.77 0.92 1.08 0.81

time (sec)

N/A 9.950 0.771 2.553 0.041 0.084 0.151 0.140 0.170 3.270

Problem 1398

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

N.S.

1 0.67 0.83 0.67 0.61 0.61 0.67 0.61 0.61 0.61

time (sec)

N/A 0.174 0.003 0.069 0.029 0.081 0.047 0.108 0.179 2.837

Problem 1399

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

14 6 6 7 6 6 5 7 6 6

N.S.

1 0.43 0.43 0.50 0.43 0.43 0.36 0.50 0.43 0.43

time (sec)

N/A 0.139 0.001 0.019 0.032 0.101 0.027 0.107 0.194 0.009

Problem 1400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

22 20 19 15 0 24 27 24 26 24

N.S.

1 0.91 0.86 0.68 0.00 1.09 1.23 1.09 1.18 1.09

time (sec)

N/A 0.621 0.136 0.167 0.000 0.085 0.059 0.133 0.172 3.024

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