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

2.2.19 Integrals 1801 to 1900

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 1801

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 49 30 24 33 49 0 0 25

N.S.

1 1.58 0.97 0.77 1.06 1.58 0.00 0.00 0.81

time (sec)

N/A 0.320 0.076 0.715 0.391 0.258 0.000 0.000 13.830

Problem 1802

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

27 0 38 30 89 30 29 32 53

N.S.

1 0.00 1.41 1.11 3.30 1.11 1.07 1.19 1.96

time (sec)

N/A 0.000 4.424 0.650 0.363 0.254 0.222 0.601 13.510

Problem 1803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A A B B

verified

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

size

31 36 28 0 71 30 22 456 23

N.S.

1 1.16 0.90 0.00 2.29 0.97 0.71 14.71 0.74

time (sec)

N/A 0.569 0.044 0.000 0.360 0.258 0.171 0.316 13.671

Problem 1804

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

N.S.

1 0.75 0.75 0.80 0.75 0.75 0.50 0.75 0.75

time (sec)

N/A 0.381 0.017 0.381 0.243 0.231 0.062 0.337 13.836

Problem 1805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A B B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 83 45 95 86 119 88 48 58

N.S.

1 2.68 1.45 3.06 2.77 3.84 2.84 1.55 1.87

time (sec)

N/A 1.716 0.059 0.260 0.199 0.258 3.240 0.292 13.562

Problem 1806

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 34 35 31 30 30 32 30 32

N.S.

1 1.10 1.13 1.00 0.97 0.97 1.03 0.97 1.03

time (sec)

N/A 0.162 0.006 0.055 0.237 0.240 0.056 0.276 13.612

Problem 1807

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

N.S.

1 0.77 0.77 0.69 0.62 0.62 0.54 0.69 0.62

time (sec)

N/A 0.134 0.002 0.017 0.194 0.232 0.030 0.265 13.517

Problem 1808

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 33 24 32 31 31 31 31 23

N.S.

1 1.74 1.26 1.68 1.63 1.63 1.63 1.63 1.21

time (sec)

N/A 0.264 0.138 0.036 0.196 0.237 0.055 0.280 13.798

Problem 1809

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

33 0 34 29 54 28 24 0 29

N.S.

1 0.00 1.03 0.88 1.64 0.85 0.73 0.00 0.88

time (sec)

N/A 0.000 0.101 30.057 0.556 0.234 3.145 0.000 14.480

Problem 1810

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 24 28 23 26 20 25 0

N.S.

1 0.00 0.77 0.90 0.74 0.84 0.65 0.81 0.00

time (sec)

N/A 0.000 0.089 2.119 0.262 0.241 0.341 0.467 0.000

Problem 1811

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

N.S.

1 1.06 1.12 1.18 1.59 1.53 1.41 1.18 1.53

time (sec)

N/A 0.512 5.033 0.408 0.310 0.252 0.154 0.273 13.899

Problem 1812

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

N.S.

1 0.62 0.62 0.67 0.62 0.62 0.57 0.62 0.62

time (sec)

N/A 0.350 0.006 0.049 0.190 0.242 0.059 0.275 14.049

Problem 1813

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

N.S.

1 0.18 0.18 0.18 0.14 0.14 0.11 0.14 0.14

time (sec)

N/A 0.129 0.001 0.029 0.187 0.240 0.031 0.259 0.009

Problem 1814

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

20 0 0 21 20 20 15 20 20

N.S.

1 0.00 0.00 1.05 1.00 1.00 0.75 1.00 1.00

time (sec)

N/A 0.000 0.000 0.382 0.255 0.247 0.275 0.304 0.223

Problem 1815

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 30 28 23 27 27 32 27 25

N.S.

1 1.11 1.04 0.85 1.00 1.00 1.19 1.00 0.93

time (sec)

N/A 0.156 0.005 0.032 0.236 0.233 0.022 0.278 0.041

Problem 1816

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 15 0 14 15 0 14

N.S.

1 1.00 1.00 1.00 0.00 0.93 1.00 0.00 0.93

time (sec)

N/A 0.409 0.033 52.882 0.000 0.231 13.364 0.000 14.258

Problem 1817

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

30 0 30 29 58 64 27 736 0

N.S.

1 0.00 1.00 0.97 1.93 2.13 0.90 24.53 0.00

time (sec)

N/A 0.000 0.385 0.089 0.517 0.268 0.384 0.573 0.000

Problem 1818

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 24 30 44 29 26 51 45

N.S.

1 0.00 0.86 1.07 1.57 1.04 0.93 1.82 1.61

time (sec)

N/A 0.000 1.017 0.615 0.408 0.242 0.298 0.330 0.339

Problem 1819

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 33 25 41 47 22 47 60

N.S.

1 0.00 1.18 0.89 1.46 1.68 0.79 1.68 2.14

time (sec)

N/A 0.000 0.210 2.727 0.286 0.249 0.219 0.395 14.339

Problem 1820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B C C C B

verified

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

size

23 0 34 42 60 37 44 41 43

N.S.

1 0.00 1.48 1.83 2.61 1.61 1.91 1.78 1.87

time (sec)

N/A 0.000 0.173 0.429 0.326 0.238 1.094 0.334 14.420

Problem 1821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 35 33 27 28 28 0 30 28

N.S.

1 1.35 1.27 1.04 1.08 1.08 0.00 1.15 1.08

time (sec)

N/A 0.495 0.025 0.078 0.200 0.274 0.000 0.263 0.197

Problem 1822

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

27 29 29 24 23 23 17 0 172

N.S.

1 1.07 1.07 0.89 0.85 0.85 0.63 0.00 6.37

time (sec)

N/A 2.292 0.110 3.239 0.338 0.254 0.179 0.000 14.634

Problem 1823

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 38 27 21 40 20 31 20 20

N.S.

1 1.31 0.93 0.72 1.38 0.69 1.07 0.69 0.69

time (sec)

N/A 0.212 0.041 0.041 0.223 0.249 0.055 0.254 0.067

Problem 1824

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

20 25 15 15 22 19 32 22 14

N.S.

1 1.25 0.75 0.75 1.10 0.95 1.60 1.10 0.70

time (sec)

N/A 0.175 0.112 0.072 0.276 0.245 0.141 0.269 0.102

Problem 1825

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 15 23 13 14 14 12 14 14

N.S.

1 0.94 1.44 0.81 0.88 0.88 0.75 0.88 0.88

time (sec)

N/A 0.151 0.022 0.037 0.191 0.253 0.041 0.288 0.087

Problem 1826

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 24 24 21 21 0 0 21

N.S.

1 0.00 0.89 0.89 0.78 0.78 0.00 0.00 0.78

time (sec)

N/A 0.000 0.145 138.064 0.293 0.251 0.000 0.000 14.685

Problem 1827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 26 15 17 173 23 124 23 15

N.S.

1 1.62 0.94 1.06 10.81 1.44 7.75 1.44 0.94

time (sec)

N/A 0.671 0.308 0.580 0.225 0.255 10.122 0.269 15.539

Problem 1828

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

N.S.

1 0.93 0.93 0.93 0.87 0.87 0.67 0.87 0.87

time (sec)

N/A 0.164 0.007 0.023 0.200 0.248 0.062 0.264 15.326

Problem 1829

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

N.S.

1 0.89 0.70 0.63 0.59 0.74 0.56 0.59 0.67

time (sec)

N/A 0.181 0.011 0.192 0.194 0.236 0.036 0.262 15.323

Problem 1830

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 25 26 27 23 17 33 0

N.S.

1 0.00 0.83 0.87 0.90 0.77 0.57 1.10 0.00

time (sec)

N/A 0.000 0.104 2.905 0.345 0.259 0.159 0.448 0.000

Problem 1831

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

N.S.

1 0.80 0.80 0.85 0.80 0.80 0.75 0.85 0.80

time (sec)

N/A 0.168 0.002 0.042 0.184 0.233 0.027 0.272 0.034

Problem 1832

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A B A B

verified

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

size

30 0 31 34 32 32 49 31 171

N.S.

1 0.00 1.03 1.13 1.07 1.07 1.63 1.03 5.70

time (sec)

N/A 0.000 0.183 0.050 0.365 0.264 0.323 0.383 15.641

Problem 1833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 44 40 32 98 31 54 0 50

N.S.

1 1.76 1.60 1.28 3.92 1.24 2.16 0.00 2.00

time (sec)

N/A 0.368 0.127 18.605 0.425 0.246 1.091 0.000 14.143

Problem 1834

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

34 37 35 31 63 40 19 24 42

N.S.

1 1.09 1.03 0.91 1.85 1.18 0.56 0.71 1.24

time (sec)

N/A 0.583 0.160 0.131 0.323 0.247 0.071 0.270 14.358

Problem 1835

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

31 46 39 31 166 32 31 36 34

N.S.

1 1.48 1.26 1.00 5.35 1.03 1.00 1.16 1.10

time (sec)

N/A 0.490 1.876 0.620 0.320 0.260 0.230 0.270 14.658

Problem 1836

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

N.S.

1 0.46 0.46 0.38 0.38 0.38 0.42 0.38 0.33

time (sec)

N/A 0.124 0.001 0.019 0.198 0.240 0.018 0.268 0.035

Problem 1837

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 58 38 35 44 48 42 48 36

N.S.

1 2.07 1.36 1.25 1.57 1.71 1.50 1.71 1.29

time (sec)

N/A 4.042 1.587 0.236 0.261 0.243 0.089 0.271 13.336

Problem 1838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F F A A A A F B

verified

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

size

25 0 0 18 25 17 19 0 22

N.S.

1 0.00 0.00 0.72 1.00 0.68 0.76 0.00 0.88

time (sec)

N/A 0.000 0.000 1.973 0.329 0.254 0.135 0.000 13.385

Problem 1839

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

15 0 12 11 13 13 12 13 13

N.S.

1 0.00 0.80 0.73 0.87 0.87 0.80 0.87 0.87

time (sec)

N/A 0.000 0.125 0.078 0.332 0.259 0.088 0.280 0.114

Problem 1840

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 37 33 24 25 25 24 25 33

N.S.

1 1.68 1.50 1.09 1.14 1.14 1.09 1.14 1.50

time (sec)

N/A 0.248 0.014 0.069 0.211 0.251 0.214 0.256 13.073

Problem 1841

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

N.S.

1 0.22 0.22 0.33 0.22 0.22 0.22 0.33 0.22

time (sec)

N/A 0.115 0.000 0.019 0.185 0.239 0.018 0.262 0.009

Problem 1842

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 36 32 31 30 30 26 30 30

N.S.

1 1.33 1.19 1.15 1.11 1.11 0.96 1.11 1.11

time (sec)

N/A 0.269 0.104 0.073 0.190 0.239 0.050 0.267 0.080

Problem 1843

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F F A B B B F B

verified

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

size

28 0 0 54 68 180 54 0 54

N.S.

1 0.00 0.00 1.93 2.43 6.43 1.93 0.00 1.93

time (sec)

N/A 0.000 0.000 1.747 1.260 0.261 0.201 0.000 15.447

Problem 1844

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

N.S.

1 0.77 0.77 0.73 0.80 1.37 0.63 1.37 0.70

time (sec)

N/A 1.281 0.846 0.171 0.238 0.274 12.763 0.265 13.481

Problem 1845

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

N.S.

1 1.18 0.88 0.88 0.82 0.82 0.82 0.82 0.82

time (sec)

N/A 0.347 0.183 0.331 0.219 0.245 0.096 0.280 0.450

Problem 1846

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

30 0 32 26 31 25 22 53 28

N.S.

1 0.00 1.07 0.87 1.03 0.83 0.73 1.77 0.93

time (sec)

N/A 0.000 5.118 1.604 0.266 0.246 0.213 0.282 13.876

Problem 1847

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 23 26 35 35 17 37 62

N.S.

1 0.00 0.96 1.08 1.46 1.46 0.71 1.54 2.58

time (sec)

N/A 0.000 0.175 0.418 0.248 0.245 0.235 0.304 13.612

Problem 1848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B B B A B B B

verified

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

size

32 0 80 90 220 60 61 63 41

N.S.

1 0.00 2.50 2.81 6.88 1.88 1.91 1.97 1.28

time (sec)

N/A 0.000 0.413 0.371 0.212 0.251 0.129 0.267 13.470

Problem 1849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 0 34 65 79 47 65 0 0

N.S.

1 0.00 1.10 2.10 2.55 1.52 2.10 0.00 0.00

time (sec)

N/A 0.000 3.229 0.627 0.328 0.247 0.156 0.000 0.000

Problem 1850

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 23 27 20 20 24 20 19 19

N.S.

1 1.21 1.42 1.05 1.05 1.26 1.05 1.00 1.00

time (sec)

N/A 0.184 0.009 0.039 0.191 0.239 0.039 0.262 13.047

Problem 1851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B B B B B B

verified

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

size

32 0 40 84 82 78 71 204 133

N.S.

1 0.00 1.25 2.62 2.56 2.44 2.22 6.38 4.16

time (sec)

N/A 0.000 0.154 0.552 0.234 0.238 0.219 0.348 13.791

Problem 1852

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

20 0 18 39 66 38 39 83 0

N.S.

1 0.00 0.90 1.95 3.30 1.90 1.95 4.15 0.00

time (sec)

N/A 0.000 0.490 0.355 0.337 0.242 14.098 0.274 0.000

Problem 1853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 55 53 40 113 41 39 35 34

N.S.

1 2.20 2.12 1.60 4.52 1.64 1.56 1.40 1.36

time (sec)

N/A 0.299 0.024 0.079 0.198 0.247 0.102 0.268 12.830

Problem 1854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 68 37 33 94 33 80 33 181

N.S.

1 2.52 1.37 1.22 3.48 1.22 2.96 1.22 6.70

time (sec)

N/A 0.363 0.129 0.489 0.480 0.249 4.876 0.400 12.267

Problem 1855

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

N.S.

1 1.41 1.41 1.23 1.18 1.18 1.18 1.23 1.36

time (sec)

N/A 0.219 0.033 0.170 0.193 0.259 0.117 0.271 12.661

Problem 1856

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 26 21 24 22 21 18

N.S.

1 1.00 1.00 1.13 0.91 1.04 0.96 0.91 0.78

time (sec)

N/A 0.165 0.009 0.112 0.186 0.240 0.062 0.257 12.396

Problem 1857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 77 47 53 61 76 61 54 62

N.S.

1 2.66 1.62 1.83 2.10 2.62 2.10 1.86 2.14

time (sec)

N/A 0.401 0.035 0.080 0.193 0.225 0.609 0.270 0.145

Problem 1858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B B A A B

verified

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

size

26 0 24 23 43 43 17 19 32

N.S.

1 0.00 0.92 0.88 1.65 1.65 0.65 0.73 1.23

time (sec)

N/A 0.000 0.052 0.336 0.238 0.258 0.071 0.299 12.437

Problem 1859

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

24 59 22 26 48 24 39 48 19

N.S.

1 2.46 0.92 1.08 2.00 1.00 1.62 2.00 0.79

time (sec)

N/A 0.710 0.257 0.277 0.225 0.249 0.128 0.264 13.049

Problem 1860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 78 80 14 20 20 17 20 18

N.S.

1 3.71 3.81 0.67 0.95 0.95 0.81 0.95 0.86

time (sec)

N/A 0.406 0.112 0.116 0.316 0.277 0.081 0.290 12.850

Problem 1861

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

11 0 11 12 11 17 8 11 11

N.S.

1 0.00 1.00 1.09 1.00 1.55 0.73 1.00 1.00

time (sec)

N/A 0.000 0.114 0.204 0.218 0.241 0.043 0.276 13.039

Problem 1862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 88 43 51 55 57 65 42 83

N.S.

1 3.67 1.79 2.12 2.29 2.38 2.71 1.75 3.46

time (sec)

N/A 0.305 0.036 0.118 0.186 0.244 0.759 0.258 12.984

Problem 1863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 249 265 14 13 13 14 13 13

N.S.

1 17.79 18.93 1.00 0.93 0.93 1.00 0.93 0.93

time (sec)

N/A 0.576 0.051 1.487 0.209 0.248 0.067 0.277 0.147

Problem 1864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 24 0 0 45 25 0 51 25

N.S.

1 0.92 0.00 0.00 1.73 0.96 0.00 1.96 0.96

time (sec)

N/A 5.421 0.000 0.000 0.323 0.254 0.000 0.385 14.388

Problem 1865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

24 0 23 26 25 25 20 65 0

N.S.

1 0.00 0.96 1.08 1.04 1.04 0.83 2.71 0.00

time (sec)

N/A 0.000 0.464 0.402 0.234 0.240 0.091 0.281 0.000

Problem 1866

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

38 35 24 24 40 20 20 20 20

N.S.

1 0.92 0.63 0.63 1.05 0.53 0.53 0.53 0.53

time (sec)

N/A 0.261 0.058 0.122 0.215 0.252 0.138 0.269 11.961

Problem 1867

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

23 29 29 14 44 13 14 13 13

N.S.

1 1.26 1.26 0.61 1.91 0.57 0.61 0.57 0.57

time (sec)

N/A 0.235 0.035 0.119 0.276 0.233 0.053 0.282 12.131

Problem 1868

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 22 55 27 31 35 17

N.S.

1 1.00 1.00 1.10 2.75 1.35 1.55 1.75 0.85

time (sec)

N/A 0.189 0.083 0.146 0.239 0.239 0.070 0.271 0.085

Problem 1869

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

18 18 16 16 55 26 14 17 18

N.S.

1 1.00 0.89 0.89 3.06 1.44 0.78 0.94 1.00

time (sec)

N/A 0.303 0.038 0.040 0.226 0.254 0.049 0.271 12.534

Problem 1870

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

24 149 57 92 108 74 75 90 76

N.S.

1 6.21 2.38 3.83 4.50 3.08 3.12 3.75 3.17

time (sec)

N/A 1.486 0.107 0.326 0.231 0.245 0.204 0.329 13.021

Problem 1871

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B B B B B B

verified

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

size

34 0 57 96 124 108 109 113 284

N.S.

1 0.00 1.68 2.82 3.65 3.18 3.21 3.32 8.35

time (sec)

N/A 0.000 2.915 0.902 4.333 0.277 4.835 11.172 13.344

Problem 1872

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 31 31 46 54 44 41 56 44

N.S.

1 1.07 1.07 1.59 1.86 1.52 1.41 1.93 1.52

time (sec)

N/A 7.004 0.149 35.569 0.347 0.250 0.328 0.615 12.165

Problem 1873

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

N.S.

1 0.00 1.00 0.96 1.04 0.96 0.79 0.96 0.92

time (sec)

N/A 0.000 0.109 0.125 0.308 0.249 0.094 0.271 11.940

Problem 1874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 57 25 23 91 33 29 33 54

N.S.

1 2.19 0.96 0.88 3.50 1.27 1.12 1.27 2.08

time (sec)

N/A 0.853 0.572 0.220 0.316 0.257 0.086 0.349 11.789

Problem 1875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 28 28 24 63 36 0 0 23

N.S.

1 0.97 0.97 0.83 2.17 1.24 0.00 0.00 0.79

time (sec)

N/A 1.539 1.656 0.434 0.327 0.258 0.000 0.000 12.132

Problem 1876

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

33 66 43 47 71 50 24 46 45

N.S.

1 2.00 1.30 1.42 2.15 1.52 0.73 1.39 1.36

time (sec)

N/A 0.886 0.122 1.140 0.370 0.252 5.339 0.281 11.788

Problem 1877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A A A B

verified

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

size

16 18 16 0 17 19 17 19 19

N.S.

1 1.12 1.00 0.00 1.06 1.19 1.06 1.19 1.19

time (sec)

N/A 0.287 0.031 0.000 0.226 0.243 0.210 0.309 13.649

Problem 1878

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

N.S.

1 0.87 1.00 0.93 0.87 0.87 1.27 0.93 0.87

time (sec)

N/A 0.126 0.003 0.148 0.177 0.240 0.030 0.270 0.211

Problem 1879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 47 21 31 0 21 36 33 33

N.S.

1 2.47 1.11 1.63 0.00 1.11 1.89 1.74 1.74

time (sec)

N/A 0.556 0.123 0.167 0.000 0.244 0.178 0.276 11.897

Problem 1880

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 23 23 22 21 21 17 25 21

N.S.

1 1.15 1.15 1.10 1.05 1.05 0.85 1.25 1.05

time (sec)

N/A 0.641 0.228 0.263 0.255 0.248 0.103 0.272 11.639

Problem 1881

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 0 26 31 31 28 0 0 254

N.S.

1 0.00 1.04 1.24 1.24 1.12 0.00 0.00 10.16

time (sec)

N/A 0.000 0.230 12.347 0.347 0.256 0.000 0.000 13.101

Problem 1882

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

22 0 0 23 32 22 17 22 22

N.S.

1 0.00 0.00 1.05 1.45 1.00 0.77 1.00 1.00

time (sec)

N/A 0.000 0.000 0.290 0.303 0.234 0.070 0.329 11.933

Problem 1883

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B B F B B B B

verified

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

size

29 0 59 56 0 57 70 100 64

N.S.

1 0.00 2.03 1.93 0.00 1.97 2.41 3.45 2.21

time (sec)

N/A 0.000 0.232 1.000 0.000 0.258 0.142 0.266 0.288

Problem 1884

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

N.S.

1 1.00 1.00 0.88 1.38 1.33 0.83 0.92 0.83

time (sec)

N/A 0.505 0.052 0.122 0.293 0.257 0.058 0.276 13.100

Problem 1885

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

N.S.

1 0.89 0.89 0.89 0.84 0.84 0.79 0.89 0.74

time (sec)

N/A 0.138 0.005 0.143 0.182 0.243 0.085 0.289 13.193

Problem 1886

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

22 20 20 20 71 71 73 20 86

N.S.

1 0.91 0.91 0.91 3.23 3.23 3.32 0.91 3.91

time (sec)

N/A 0.295 0.051 0.066 0.199 0.245 0.084 0.259 0.323

Problem 1887

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

36 25 25 26 40 28 19 43 24

N.S.

1 0.69 0.69 0.72 1.11 0.78 0.53 1.19 0.67

time (sec)

N/A 0.415 0.058 0.199 0.191 0.250 0.063 0.264 12.516

Problem 1888

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

N.S.

1 1.15 0.85 1.00 0.96 0.89 1.15 1.00 0.70

time (sec)

N/A 0.171 0.012 0.151 0.181 0.240 0.051 0.276 0.110

Problem 1889

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

33 0 22 31 28 28 27 28 20

N.S.

1 0.00 0.67 0.94 0.85 0.85 0.82 0.85 0.61

time (sec)

N/A 0.000 0.301 0.129 0.225 0.252 0.074 0.286 12.042

Problem 1890

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 29 27 16 15 15 15 15 15

N.S.

1 1.45 1.35 0.80 0.75 0.75 0.75 0.75 0.75

time (sec)

N/A 1.394 0.257 0.563 0.227 0.255 0.200 0.287 11.881

Problem 1891

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

25 358 30 85 374 71 90 80 30

N.S.

1 14.32 1.20 3.40 14.96 2.84 3.60 3.20 1.20

time (sec)

N/A 0.761 0.050 0.169 0.199 0.253 0.096 0.270 12.233

Problem 1892

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 29 33 27 27 27 32 27 26

N.S.

1 1.07 1.22 1.00 1.00 1.00 1.19 1.00 0.96

time (sec)

N/A 0.143 0.000 0.024 0.198 0.267 0.024 0.276 0.105

Problem 1893

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

31 31 29 42 217 77 46 125 50

N.S.

1 1.00 0.94 1.35 7.00 2.48 1.48 4.03 1.61

time (sec)

N/A 0.699 0.032 0.272 0.308 0.247 0.071 0.778 12.908

Problem 1894

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

N.S.

1 0.87 0.78 0.65 0.61 0.61 0.74 0.61 0.65

time (sec)

N/A 0.161 0.023 0.181 0.221 0.248 0.246 0.266 11.626

Problem 1895

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

19 45 17 18 35 23 12 17 17

N.S.

1 2.37 0.89 0.95 1.84 1.21 0.63 0.89 0.89

time (sec)

N/A 0.692 0.183 0.278 0.220 0.237 0.052 0.283 12.179

Problem 1896

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

15 17 13 11 18 10 12 10 10

N.S.

1 1.13 0.87 0.73 1.20 0.67 0.80 0.67 0.67

time (sec)

N/A 0.174 0.059 0.140 0.216 0.239 0.052 0.281 0.056

Problem 1897

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

23 0 51 58 60 30 49 56 0

N.S.

1 0.00 2.22 2.52 2.61 1.30 2.13 2.43 0.00

time (sec)

N/A 0.000 5.170 0.888 0.314 0.263 0.247 0.318 0.000

Problem 1898

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 33 36 31 28 28 31 33 29

N.S.

1 1.43 1.57 1.35 1.22 1.22 1.35 1.43 1.26

time (sec)

N/A 0.498 0.034 0.071 0.186 0.236 0.232 0.274 0.167

Problem 1899

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 34 31 36 45 36 37 36

N.S.

1 0.00 1.06 0.97 1.12 1.41 1.12 1.16 1.12

time (sec)

N/A 0.000 3.596 0.115 0.289 0.247 0.167 0.304 13.009

Problem 1900

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

20 23 23 21 66 20 20 22 20

N.S.

1 1.15 1.15 1.05 3.30 1.00 1.00 1.10 1.00

time (sec)

N/A 0.263 0.026 0.065 0.212 0.252 0.080 0.271 13.394

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