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

2.2.14 Integrals 1301 to 1335

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

verified

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

size

28 0 43 39 73 43 37 73 78

N.S.

1 0.00 1.54 1.39 2.61 1.54 1.32 2.61 2.79

time (sec)

N/A 0.000 0.182 18.233 0.431 0.258 0.250 0.512 16.610

Problem 1302

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 26 26 27 25 22 25 0

N.S.

1 0.00 0.87 0.87 0.90 0.83 0.73 0.83 0.00

time (sec)

N/A 0.000 0.110 0.230 0.457 0.252 0.200 0.599 0.000

Problem 1303

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 25 25 25 31 24 19 24 19

N.S.

1 1.19 1.19 1.19 1.48 1.14 0.90 1.14 0.90

time (sec)

N/A 0.216 0.019 0.083 0.235 0.251 0.083 0.267 18.879

Problem 1304

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

19 19 19 19 26 24 15 32 18

N.S.

1 1.00 1.00 1.00 1.37 1.26 0.79 1.68 0.95

time (sec)

N/A 0.397 0.133 0.074 0.231 0.254 0.092 0.278 18.956

Problem 1305

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

32 0 30 33 30 30 27 32 0

N.S.

1 0.00 0.94 1.03 0.94 0.94 0.84 1.00 0.00

time (sec)

N/A 0.000 3.310 0.094 0.262 0.251 0.154 0.279 0.000

Problem 1306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A A B B

verified

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

size

29 0 26 28 0 26 31 46 20

N.S.

1 0.00 0.90 0.97 0.00 0.90 1.07 1.59 0.69

time (sec)

N/A 0.000 1.831 0.095 0.000 0.257 0.133 0.265 0.107

Problem 1307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B A B B F B

verified

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

size

28 0 32 62 26 82 53 0 48

N.S.

1 0.00 1.14 2.21 0.93 2.93 1.89 0.00 1.71

time (sec)

N/A 0.000 0.222 1.407 0.477 0.267 0.428 0.000 19.234

Problem 1308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

32 0 36 67 0 61 31 62 0

N.S.

1 0.00 1.12 2.09 0.00 1.91 0.97 1.94 0.00

time (sec)

N/A 0.000 0.172 0.404 0.000 0.263 0.190 0.302 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

28 29 24 28 21 22 27 22 24

N.S.

1 1.04 0.86 1.00 0.75 0.79 0.96 0.79 0.86

time (sec)

N/A 0.617 0.136 4.553 0.245 0.249 0.097 0.270 19.525

Problem 1310

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

N.S.

1 0.69 0.69 0.62 0.56 0.56 0.62 0.56 0.56

time (sec)

N/A 0.139 0.016 0.012 0.207 0.242 0.049 0.274 0.020

Problem 1311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A B B

verified

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

size

28 0 40 37 46 40 36 219 40

N.S.

1 0.00 1.43 1.32 1.64 1.43 1.29 7.82 1.43

time (sec)

N/A 0.000 0.240 1.345 0.330 0.255 0.212 9.323 19.565

Problem 1312

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 44 21 18 17 17 14 17 18

N.S.

1 2.00 0.95 0.82 0.77 0.77 0.64 0.77 0.82

time (sec)

N/A 0.189 0.042 0.028 0.200 0.258 0.083 0.261 0.088

Problem 1313

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

18 0 17 18 20 20 15 22 17

N.S.

1 0.00 0.94 1.00 1.11 1.11 0.83 1.22 0.94

time (sec)

N/A 0.000 0.156 0.980 0.245 0.244 0.064 0.268 17.132

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

23 31 22 21 30 20 20 30 18

N.S.

1 1.35 0.96 0.91 1.30 0.87 0.87 1.30 0.78

time (sec)

N/A 0.161 0.016 0.039 0.190 0.240 0.093 0.257 16.429

Problem 1315

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 26 25 18 17 25 12 17 17

N.S.

1 0.96 0.93 0.67 0.63 0.93 0.44 0.63 0.63

time (sec)

N/A 0.247 0.021 0.084 0.194 0.259 0.085 0.262 16.527

Problem 1316

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 23 17 15 14 22 14 14 14

N.S.

1 1.28 0.94 0.83 0.78 1.22 0.78 0.78 0.78

time (sec)

N/A 0.246 0.023 0.041 0.197 0.261 0.055 0.269 0.085

Problem 1317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 167 35 107 227 91 128 96 33

N.S.

1 5.57 1.17 3.57 7.57 3.03 4.27 3.20 1.10

time (sec)

N/A 0.565 2.506 0.103 0.202 0.252 0.162 0.265 17.745

Problem 1318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 0 34 68 34 67 0 74 67

N.S.

1 0.00 1.36 2.72 1.36 2.68 0.00 2.96 2.68

time (sec)

N/A 0.000 0.081 14.112 0.349 0.253 0.000 0.496 18.433

Problem 1319

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

19 27 13 19 0 12 15 21 12

N.S.

1 1.42 0.68 1.00 0.00 0.63 0.79 1.11 0.63

time (sec)

N/A 0.371 0.115 0.080 0.000 0.252 0.131 0.278 19.095

Problem 1320

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

33 21 43 21 49 20 17 22 20

N.S.

1 0.64 1.30 0.64 1.48 0.61 0.52 0.67 0.61

time (sec)

N/A 0.230 1.459 0.075 0.344 0.251 0.085 0.274 17.195

Problem 1321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 46 37 47 141 143 53 59 133

N.S.

1 1.35 1.09 1.38 4.15 4.21 1.56 1.74 3.91

time (sec)

N/A 1.841 0.458 0.637 0.313 0.266 0.159 0.308 17.971

Problem 1322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 104 31 33 0 31 26 0 55

N.S.

1 3.59 1.07 1.14 0.00 1.07 0.90 0.00 1.90

time (sec)

N/A 2.744 1.798 0.533 0.000 0.269 0.221 0.000 17.517

Problem 1323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

32 0 32 37 30 29 0 30 47

N.S.

1 0.00 1.00 1.16 0.94 0.91 0.00 0.94 1.47

time (sec)

N/A 0.000 0.126 1.354 0.321 0.271 0.000 0.292 17.486

Problem 1324

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 23 25 21 30 19 24 24

N.S.

1 1.00 0.82 0.89 0.75 1.07 0.68 0.86 0.86

time (sec)

N/A 0.164 0.010 0.026 0.193 0.247 0.061 0.268 0.069

Problem 1325

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

25 0 28 25 108 34 37 62 43

N.S.

1 0.00 1.12 1.00 4.32 1.36 1.48 2.48 1.72

time (sec)

N/A 0.000 0.243 0.036 3.508 0.314 0.857 0.404 17.805

Problem 1326

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

N.S.

1 0.38 0.38 0.38 0.34 0.34 0.28 0.34 0.34

time (sec)

N/A 0.162 0.005 0.022 0.193 0.254 0.051 0.271 0.059

Problem 1327

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

N.S.

1 0.84 0.79 0.84 0.79 0.79 0.74 0.79 0.79

time (sec)

N/A 0.135 0.000 0.011 0.190 0.242 0.023 0.266 17.584

Problem 1328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 28 26 0 32 0 0 0

N.S.

1 0.00 0.97 0.90 0.00 1.10 0.00 0.00 0.00

time (sec)

N/A 0.000 0.257 0.033 0.000 0.263 0.000 0.000 0.000

Problem 1329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 13 27 12 13 14

N.S.

1 1.00 1.00 0.82 0.76 1.59 0.71 0.76 0.82

time (sec)

N/A 0.157 0.019 0.036 0.193 0.272 0.069 0.270 17.830

Problem 1330

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

20 17 17 15 0 14 15 14 14

N.S.

1 0.85 0.85 0.75 0.00 0.70 0.75 0.70 0.70

time (sec)

N/A 0.345 0.155 0.046 0.000 0.270 0.076 0.263 17.423

Problem 1331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 31 24 20 51 58 19 24 24

N.S.

1 1.29 1.00 0.83 2.12 2.42 0.79 1.00 1.00

time (sec)

N/A 0.412 0.203 0.109 0.295 0.281 0.105 0.264 17.992

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

13 18 15 17 16 16 17 16 16

N.S.

1 1.38 1.15 1.31 1.23 1.23 1.31 1.23 1.23

time (sec)

N/A 0.147 0.010 0.022 0.191 0.257 0.056 0.260 18.095

Problem 1333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 25 25 18 62 17 26 62 17

N.S.

1 1.09 1.09 0.78 2.70 0.74 1.13 2.70 0.74

time (sec)

N/A 0.161 0.011 0.037 0.196 0.253 0.059 0.264 16.334

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

24 21 21 21 21 20 19 20 20

N.S.

1 0.88 0.88 0.88 0.88 0.83 0.79 0.83 0.83

time (sec)

N/A 0.318 0.359 0.263 0.241 0.266 0.284 0.300 17.724

Problem 1335

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

31 0 23 22 42 42 42 46 0

N.S.

1 0.00 0.74 0.71 1.35 1.35 1.35 1.48 0.00

time (sec)

N/A 0.000 0.587 0.605 0.274 0.246 0.112 0.310 0.000

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