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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 14 17 13 14 14 15 14 12

N.S.

1 0.93 1.13 0.87 0.93 0.93 1.00 0.93 0.80

time (sec)

N/A 0.127 0.001 0.024 0.199 0.237 0.026 0.254 0.044

Problem 1802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 31 31 30 35 29 29 0 29

N.S.

1 1.15 1.15 1.11 1.30 1.07 1.07 0.00 1.07

time (sec)

N/A 0.403 0.050 7.722 0.323 0.251 0.634 0.000 10.159

Problem 1803

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

31 0 44 60 37 50 49 103 108

N.S.

1 0.00 1.42 1.94 1.19 1.61 1.58 3.32 3.48

time (sec)

N/A 0.000 0.191 0.727 0.518 0.249 0.186 0.346 10.101

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

11 5 5 6 5 5 5 6 5

N.S.

1 0.45 0.45 0.55 0.45 0.45 0.45 0.55 0.45

time (sec)

N/A 0.145 0.001 0.037 0.184 0.243 0.034 0.256 9.874

Problem 1805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

34 0 37 55 43 44 0 90 0

N.S.

1 0.00 1.09 1.62 1.26 1.29 0.00 2.65 0.00

time (sec)

N/A 0.000 0.238 0.214 0.469 0.247 0.000 1.386 0.000

Problem 1806

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 26 31 45 29 26 26 32

N.S.

1 0.00 1.00 1.19 1.73 1.12 1.00 1.00 1.23

time (sec)

N/A 0.000 0.200 1.062 0.375 0.251 0.697 5.135 10.284

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

21 24 20 18 17 23 22 20 17

N.S.

1 1.14 0.95 0.86 0.81 1.10 1.05 0.95 0.81

time (sec)

N/A 0.164 0.006 0.057 0.191 0.251 0.054 0.256 0.066

Problem 1808

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

23 0 23 25 30 24 76 38 21

N.S.

1 0.00 1.00 1.09 1.30 1.04 3.30 1.65 0.91

time (sec)

N/A 0.000 1.428 0.168 0.248 0.248 0.096 0.257 0.162

Problem 1809

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 29 25 28 0 27 20 77 23

N.S.

1 0.97 0.83 0.93 0.00 0.90 0.67 2.57 0.77

time (sec)

N/A 0.256 2.299 0.826 0.000 0.269 0.108 0.261 9.448

Problem 1810

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 18 16 16 0 43 17 46 20

N.S.

1 0.95 0.84 0.84 0.00 2.26 0.89 2.42 1.05

time (sec)

N/A 0.879 0.031 0.087 0.000 0.246 0.090 0.267 0.177

Problem 1811

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

16 59 58 53 56 47 49 56 27

N.S.

1 3.69 3.62 3.31 3.50 2.94 3.06 3.50 1.69

time (sec)

N/A 0.205 0.015 0.023 0.211 0.254 0.077 0.261 9.087

Problem 1812

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 25 25 38 39 17 41 28

N.S.

1 0.00 0.76 0.76 1.15 1.18 0.52 1.24 0.85

time (sec)

N/A 0.000 0.274 0.296 0.220 0.240 0.115 0.271 9.631

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

27 41 36 28 35 33 26 33 33

N.S.

1 1.52 1.33 1.04 1.30 1.22 0.96 1.22 1.22

time (sec)

N/A 1.361 0.503 0.099 0.315 0.251 0.126 0.266 9.338

Problem 1814

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A C A A B B

verified

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

size

29 0 26 28 332 27 22 603 27

N.S.

1 0.00 0.90 0.97 11.45 0.93 0.76 20.79 0.93

time (sec)

N/A 0.000 0.368 10.984 1.107 0.247 0.200 0.566 9.963

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

23 33 23 20 19 19 19 19 19

N.S.

1 1.43 1.00 0.87 0.83 0.83 0.83 0.83 0.83

time (sec)

N/A 0.250 0.279 0.089 0.189 0.256 0.123 0.255 0.129

Problem 1816

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 19 19 19 21 21 19 21 28

N.S.

1 0.73 0.73 0.73 0.81 0.81 0.73 0.81 1.08

time (sec)

N/A 0.476 2.191 0.081 0.226 0.246 0.064 0.265 8.700

Problem 1817

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

26 45 34 25 37 23 22 32 32

N.S.

1 1.73 1.31 0.96 1.42 0.88 0.85 1.23 1.23

time (sec)

N/A 0.253 0.166 0.155 0.224 0.248 0.060 0.246 8.249

Problem 1818

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

32 132 22 21 34 34 32 34 36

N.S.

1 4.12 0.69 0.66 1.06 1.06 1.00 1.06 1.12

time (sec)

N/A 0.422 0.132 4.965 0.247 0.253 3.197 0.358 0.267

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

29 0 25 24 25 29 17 25 24

N.S.

1 0.00 0.86 0.83 0.86 1.00 0.59 0.86 0.83

time (sec)

N/A 0.000 0.390 0.612 0.230 0.239 0.307 0.271 8.136

Problem 1820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 14 14 14 0 13 0 0 13

N.S.

1 0.78 0.78 0.78 0.00 0.72 0.00 0.00 0.72

time (sec)

N/A 0.626 0.192 0.373 0.000 0.259 0.000 0.000 8.869

Problem 1821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B A A B

verified

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

size

20 0 23 38 28 51 31 32 32

N.S.

1 0.00 1.15 1.90 1.40 2.55 1.55 1.60 1.60

time (sec)

N/A 0.000 0.267 0.112 0.313 0.255 0.224 0.267 0.248

Problem 1822

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 40 37 67 42 39 35 0

N.S.

1 0.00 1.43 1.32 2.39 1.50 1.39 1.25 0.00

time (sec)

N/A 0.000 1.057 0.359 0.336 0.244 0.427 0.260 0.000

Problem 1823

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

21 0 21 18 39 38 41 39 0

N.S.

1 0.00 1.00 0.86 1.86 1.81 1.95 1.86 0.00

time (sec)

N/A 0.000 0.149 0.283 0.264 0.254 0.147 0.319 0.000

Problem 1824

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

30 0 30 32 27 27 68 29 0

N.S.

1 0.00 1.00 1.07 0.90 0.90 2.27 0.97 0.00

time (sec)

N/A 0.000 0.652 3.428 0.244 0.251 0.233 0.280 0.000

Problem 1825

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

28 0 49 72 52 56 60 74 56

N.S.

1 0.00 1.75 2.57 1.86 2.00 2.14 2.64 2.00

time (sec)

N/A 0.000 0.172 7.395 0.259 0.267 0.618 0.326 9.605

Problem 1826

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 164 50 63 217 78 63 87 70

N.S.

1 4.21 1.28 1.62 5.56 2.00 1.62 2.23 1.79

time (sec)

N/A 1.356 0.091 0.260 0.262 0.259 0.219 0.262 9.252

Problem 1827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 147 42 34 33 33 41 0 36

N.S.

1 5.25 1.50 1.21 1.18 1.18 1.46 0.00 1.29

time (sec)

N/A 0.792 0.133 0.218 0.356 0.246 0.198 0.000 9.321

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

27 27 27 19 19 27 20 19 19

N.S.

1 1.00 1.00 0.70 0.70 1.00 0.74 0.70 0.70

time (sec)

N/A 0.150 0.021 0.040 0.202 0.242 0.055 0.249 9.182

Problem 1829

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 23 23 31 31 31 38 86

N.S.

1 0.00 0.85 0.85 1.15 1.15 1.15 1.41 3.19

time (sec)

N/A 0.000 0.804 0.659 0.320 0.249 0.116 0.291 9.548

Problem 1830

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

30 0 37 33 34 34 31 34 85

N.S.

1 0.00 1.23 1.10 1.13 1.13 1.03 1.13 2.83

time (sec)

N/A 0.000 0.059 0.219 0.271 0.255 0.977 0.299 10.471

Problem 1831

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 56 61 56 53 53 61 59 0

N.S.

1 2.00 2.18 2.00 1.89 1.89 2.18 2.11 0.00

time (sec)

N/A 1.907 0.211 1.425 3.908 0.251 0.419 1.054 0.000

Problem 1832

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

N.S.

1 0.00 0.82 0.75 0.71 0.71 0.54 1.43 0.79

time (sec)

N/A 0.000 0.438 0.272 0.262 0.247 0.071 0.275 0.339

Problem 1833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B A A A A B

verified

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

size

28 0 29 96 30 32 22 34 28

N.S.

1 0.00 1.04 3.43 1.07 1.14 0.79 1.21 1.00

time (sec)

N/A 0.000 0.157 13.825 0.262 0.254 0.694 0.292 9.333

Problem 1834

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

N.S.

1 1.64 0.91 0.77 0.73 1.05 0.68 0.73 0.82

time (sec)

N/A 0.220 2.394 0.298 0.248 0.245 0.082 0.270 0.263

Problem 1835

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A A F B

verified

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

size

29 0 27 24 0 45 19 0 23

N.S.

1 0.00 0.93 0.83 0.00 1.55 0.66 0.00 0.79

time (sec)

N/A 0.000 0.074 0.786 0.000 0.260 0.379 0.000 8.614

Problem 1836

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

26 26 26 26 25 25 22 0 34

N.S.

1 1.00 1.00 1.00 0.96 0.96 0.85 0.00 1.31

time (sec)

N/A 0.534 0.137 0.747 0.202 0.244 0.172 0.000 8.337

Problem 1837

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

N.S.

1 0.00 0.94 0.94 0.89 0.89 0.78 0.89 0.89

time (sec)

N/A 0.000 0.305 0.100 0.259 0.245 0.098 0.272 9.075

Problem 1838

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

N.S.

1 1.62 1.38 1.12 1.38 1.46 1.08 1.38 1.21

time (sec)

N/A 0.161 0.007 0.050 0.195 0.258 0.023 0.259 8.538

Problem 1839

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

32 0 32 34 37 32 42 0 34

N.S.

1 0.00 1.00 1.06 1.16 1.00 1.31 0.00 1.06

time (sec)

N/A 0.000 0.214 0.123 0.258 0.257 0.295 0.000 9.570

Problem 1840

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 24 24 23 25 20 23 62

N.S.

1 0.00 0.86 0.86 0.82 0.89 0.71 0.82 2.21

time (sec)

N/A 0.000 0.143 1.813 0.327 0.255 0.134 0.450 9.596

Problem 1841

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

26 50 22 34 31 31 31 93 21

N.S.

1 1.92 0.85 1.31 1.19 1.19 1.19 3.58 0.81

time (sec)

N/A 0.326 0.536 0.105 0.222 0.242 0.068 0.265 0.077

Problem 1842

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

19 21 19 22 22 21 17 60 22

N.S.

1 1.11 1.00 1.16 1.16 1.11 0.89 3.16 1.16

time (sec)

N/A 0.371 0.035 1.467 0.337 0.249 0.086 0.285 9.973

Problem 1843

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 29 30 35 36 31 37 30

N.S.

1 1.33 1.07 1.11 1.30 1.33 1.15 1.37 1.11

time (sec)

N/A 0.231 0.038 0.212 0.199 0.254 0.111 0.254 8.620

Problem 1844

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 30 88 90 42 42 0 54 54

N.S.

1 1.03 3.03 3.10 1.45 1.45 0.00 1.86 1.86

time (sec)

N/A 0.563 0.040 3.574 0.235 0.248 0.000 0.277 8.388

Problem 1845

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

29 0 36 25 36 36 22 31 31

N.S.

1 0.00 1.24 0.86 1.24 1.24 0.76 1.07 1.07

time (sec)

N/A 0.000 6.095 0.213 0.241 0.243 0.201 0.264 8.719

Problem 1846

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

N.S.

1 0.90 0.81 0.71 0.62 0.81 0.67 0.95 1.10

time (sec)

N/A 0.684 0.135 0.283 0.277 0.228 0.076 0.256 8.681

Problem 1847

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

N.S.

1 0.00 1.25 1.20 1.20 1.00 1.00 0.00 1.40

time (sec)

N/A 0.000 6.199 0.098 0.415 0.247 148.697 0.000 8.554

Problem 1848

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 16 13 15 19 48 19 19 35

N.S.

1 0.94 0.76 0.88 1.12 2.82 1.12 1.12 2.06

time (sec)

N/A 0.524 0.162 0.267 0.306 0.244 0.052 0.259 8.580

Problem 1849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 25 31 25 24 22 22 147 325

N.S.

1 1.04 1.29 1.04 1.00 0.92 0.92 6.12 13.54

time (sec)

N/A 0.313 0.019 0.236 0.188 0.235 0.277 0.262 0.203

Problem 1850

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 28 25 22 34 24 24 24 21

N.S.

1 1.47 1.32 1.16 1.79 1.26 1.26 1.26 1.11

time (sec)

N/A 0.230 0.059 0.202 0.222 0.238 0.059 0.257 8.553

Problem 1851

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

N.S.

1 0.85 0.85 0.77 0.69 0.69 0.62 0.69 0.69

time (sec)

N/A 0.127 0.000 0.025 0.188 0.248 0.015 0.250 0.003

Problem 1852

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 28 26 21 25 29 22 29 21

N.S.

1 1.08 1.00 0.81 0.96 1.12 0.85 1.12 0.81

time (sec)

N/A 0.374 0.531 0.500 0.252 0.246 0.128 0.266 9.431

Problem 1853

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

N.S.

1 0.52 0.52 0.48 0.43 0.43 0.38 0.43 0.52

time (sec)

N/A 0.239 0.054 0.287 0.230 0.251 0.059 0.256 8.629

Problem 1854

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 26 17 20 0 14 19 14 17

N.S.

1 1.37 0.89 1.05 0.00 0.74 1.00 0.74 0.89

time (sec)

N/A 0.439 0.232 0.291 0.000 0.260 0.076 0.254 8.811

Problem 1855

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 31 27 29 32 27 27 27 0

N.S.

1 1.19 1.04 1.12 1.23 1.04 1.04 1.04 0.00

time (sec)

N/A 0.825 0.094 1.201 0.384 0.247 0.163 0.795 0.000

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

18 14 14 14 18 18 15 18 13

N.S.

1 0.78 0.78 0.78 1.00 1.00 0.83 1.00 0.72

time (sec)

N/A 0.962 0.174 0.201 0.250 0.252 0.101 0.261 9.300

Problem 1857

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

23 0 25 24 23 24 27 26 0

N.S.

1 0.00 1.09 1.04 1.00 1.04 1.17 1.13 0.00

time (sec)

N/A 0.000 0.197 0.182 0.266 0.254 0.111 0.302 0.000

Problem 1858

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 64 35 37 91 39 41 55 46

N.S.

1 1.94 1.06 1.12 2.76 1.18 1.24 1.67 1.39

time (sec)

N/A 0.533 0.525 0.074 0.325 0.253 0.138 0.257 9.170

Problem 1859

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A B B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 39 19 38 37 24 34 28 23

N.S.

1 2.05 1.00 2.00 1.95 1.26 1.79 1.47 1.21

time (sec)

N/A 0.359 0.127 0.293 0.422 0.247 0.210 0.260 9.213

Problem 1860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A A F B

verified

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

size

28 0 27 39 0 40 39 0 92

N.S.

1 0.00 0.96 1.39 0.00 1.43 1.39 0.00 3.29

time (sec)

N/A 0.000 0.258 265.960 0.000 0.257 0.657 0.000 9.616

Problem 1861

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

33 25 25 23 24 36 20 186 22

N.S.

1 0.76 0.76 0.70 0.73 1.09 0.61 5.64 0.67

time (sec)

N/A 0.834 0.032 1.556 0.325 0.244 0.182 0.390 9.475

Problem 1862

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

34 0 30 34 144 147 63 178 0

N.S.

1 0.00 0.88 1.00 4.24 4.32 1.85 5.24 0.00

time (sec)

N/A 0.000 0.169 0.392 0.421 0.260 0.279 0.318 0.000

Problem 1863

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

N.S.

1 0.80 0.80 0.68 0.64 0.64 0.60 0.64 0.60

time (sec)

N/A 0.150 0.003 0.040 0.194 0.251 0.022 0.254 0.032

Problem 1864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 68 47 57 56 65 62 0

N.S.

1 0.00 2.62 1.81 2.19 2.15 2.50 2.38 0.00

time (sec)

N/A 0.000 0.091 0.581 0.234 0.242 0.257 0.267 0.000

Problem 1865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 83 11 12 0 11 8 11 11

N.S.

1 3.46 0.46 0.50 0.00 0.46 0.33 0.46 0.46

time (sec)

N/A 0.493 0.050 0.217 0.000 0.232 0.042 0.251 8.794

Problem 1866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B A B B

verified

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

size

32 0 29 35 52 72 26 91 91

N.S.

1 0.00 0.91 1.09 1.62 2.25 0.81 2.84 2.84

time (sec)

N/A 0.000 0.164 0.289 0.393 0.272 0.212 0.301 9.182

Problem 1867

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

26 0 26 40 51 44 42 0 47

N.S.

1 0.00 1.00 1.54 1.96 1.69 1.62 0.00 1.81

time (sec)

N/A 0.000 0.156 1.029 0.306 0.246 0.140 0.000 9.008

Problem 1868

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

N.S.

1 0.00 0.88 0.92 0.88 0.88 1.08 0.88 0.88

time (sec)

N/A 0.000 0.443 0.408 0.311 0.247 0.095 0.257 9.249

Problem 1869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A F B

verified

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

size

33 0 30 29 698 42 26 0 28

N.S.

1 0.00 0.91 0.88 21.15 1.27 0.79 0.00 0.85

time (sec)

N/A 0.000 0.714 0.653 0.333 0.248 0.135 0.000 9.279

Problem 1870

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

28 38 38 32 52 35 22 29 31

N.S.

1 1.36 1.36 1.14 1.86 1.25 0.79 1.04 1.11

time (sec)

N/A 0.494 0.157 0.090 0.236 0.236 0.062 0.253 8.778

Problem 1871

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 38 23 21 107 30 17 33 20

N.S.

1 1.81 1.10 1.00 5.10 1.43 0.81 1.57 0.95

time (sec)

N/A 0.393 0.145 0.125 0.284 0.233 0.069 0.263 8.982

Problem 1872

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

N.S.

1 0.00 1.00 1.06 0.94 0.94 0.83 0.94 1.00

time (sec)

N/A 0.000 0.075 1.141 0.228 0.260 0.075 0.258 12.471

Problem 1873

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

N.S.

1 1.31 0.92 0.85 0.85 0.85 0.77 0.85 0.77

time (sec)

N/A 0.132 0.000 0.046 0.198 0.229 0.018 0.255 0.034

Problem 1874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B B A A C B

verified

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

size

26 0 25 76 80 47 20 50 37

N.S.

1 0.00 0.96 2.92 3.08 1.81 0.77 1.92 1.42

time (sec)

N/A 0.000 0.092 87.146 0.239 0.244 0.086 0.375 9.128

Problem 1875

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 27 24 23 0 28 26 22 23

N.S.

1 0.96 0.86 0.82 0.00 1.00 0.93 0.79 0.82

time (sec)

N/A 0.745 5.128 5.173 0.000 0.240 0.221 0.290 9.020

Problem 1876

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

26 0 22 20 19 19 17 54 21

N.S.

1 0.00 0.85 0.77 0.73 0.73 0.65 2.08 0.81

time (sec)

N/A 0.000 1.095 0.283 0.228 0.240 0.241 0.336 8.629

Problem 1877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 26 50 0 48 0 119 145

N.S.

1 0.00 0.93 1.79 0.00 1.71 0.00 4.25 5.18

time (sec)

N/A 0.000 0.060 3.532 0.000 0.236 0.000 0.276 9.248

Problem 1878

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 21 21 26 26 22 26 29

N.S.

1 0.00 0.78 0.78 0.96 0.96 0.81 0.96 1.07

time (sec)

N/A 0.000 2.730 0.109 0.229 0.232 0.075 0.279 8.891

Problem 1879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 28 14 14 13 15 14 13 17

N.S.

1 1.87 0.93 0.93 0.87 1.00 0.93 0.87 1.13

time (sec)

N/A 0.185 0.054 0.076 0.196 0.247 0.061 0.248 0.082

Problem 1880

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 1299 1485 32 82 30 29 64 32

N.S.

1 72.17 82.50 1.78 4.56 1.67 1.61 3.56 1.78

time (sec)

N/A 3.560 0.565 0.296 0.294 0.247 0.119 0.294 12.208

Problem 1881

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 21 23 27 28 26 23 23

N.S.

1 1.25 1.05 1.15 1.35 1.40 1.30 1.15 1.15

time (sec)

N/A 0.154 0.013 0.048 0.206 0.248 0.106 0.252 9.154

Problem 1882

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

31 27 27 22 23 23 26 0 24

N.S.

1 0.87 0.87 0.71 0.74 0.74 0.84 0.00 0.77

time (sec)

N/A 0.421 5.097 0.376 0.285 0.237 0.453 0.000 8.848

Problem 1883

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F B A B B

verified

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

size

32 0 30 41 0 96 39 92 40

N.S.

1 0.00 0.94 1.28 0.00 3.00 1.22 2.88 1.25

time (sec)

N/A 0.000 5.052 0.334 0.000 0.252 0.100 0.269 9.297

Problem 1884

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

37 0 32 28 32 31 26 29 31

N.S.

1 0.00 0.86 0.76 0.86 0.84 0.70 0.78 0.84

time (sec)

N/A 0.000 0.526 0.136 0.228 0.251 0.144 0.267 8.999

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

22 3 3 4 3 3 3 4 3

N.S.

1 0.14 0.14 0.18 0.14 0.14 0.14 0.18 0.14

time (sec)

N/A 0.141 0.001 0.043 0.200 0.241 0.040 0.255 9.023

Problem 1886

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

N.S.

1 0.85 0.85 0.78 0.74 0.89 0.70 0.78 0.74

time (sec)

N/A 0.168 0.007 0.050 0.197 0.241 0.042 0.246 9.321

Problem 1887

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B B B B F B

verified

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

size

33 0 32 130 436 200 369 0 316

N.S.

1 0.00 0.97 3.94 13.21 6.06 11.18 0.00 9.58

time (sec)

N/A 0.000 0.172 1.120 0.285 0.270 0.463 0.000 10.491

Problem 1888

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 145 15 14 21 13 12 13 13

N.S.

1 6.30 0.65 0.61 0.91 0.57 0.52 0.57 0.57

time (sec)

N/A 0.553 0.027 0.061 0.233 0.242 0.046 0.264 9.398

Problem 1889

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 39 25 29 30 28 24 30 21

N.S.

1 1.30 0.83 0.97 1.00 0.93 0.80 1.00 0.70

time (sec)

N/A 0.320 0.276 0.257 0.282 0.250 0.136 0.259 9.398

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

28 24 22 17 16 22 14 20 18

N.S.

1 0.86 0.79 0.61 0.57 0.79 0.50 0.71 0.64

time (sec)

N/A 0.185 0.010 0.029 0.203 0.229 0.050 0.249 0.060

Problem 1891

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

N.S.

1 0.93 0.93 0.93 0.79 1.00 0.86 1.00 0.79

time (sec)

N/A 0.379 0.071 0.243 0.319 0.263 0.721 0.253 8.822

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

17 14 14 13 12 16 15 14 14

N.S.

1 0.82 0.82 0.76 0.71 0.94 0.88 0.82 0.82

time (sec)

N/A 0.476 0.111 0.270 0.240 0.241 0.067 0.257 8.538

Problem 1893

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 42 32 39 39 26 36 36

N.S.

1 0.00 1.35 1.03 1.26 1.26 0.84 1.16 1.16

time (sec)

N/A 0.000 8.003 0.082 0.242 0.249 0.170 0.266 8.243

Problem 1894

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

19 0 16 15 14 14 12 31 14

N.S.

1 0.00 0.84 0.79 0.74 0.74 0.63 1.63 0.74

time (sec)

N/A 0.000 0.176 0.081 0.241 0.237 0.091 0.257 8.514

Problem 1895

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

26 24 20 20 60 25 15 25 27

N.S.

1 0.92 0.77 0.77 2.31 0.96 0.58 0.96 1.04

time (sec)

N/A 1.155 0.250 0.168 0.263 0.250 0.081 0.282 8.894

Problem 1896

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B A F B

verified

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

size

24 0 23 22 27 46 19 0 21

N.S.

1 0.00 0.96 0.92 1.12 1.92 0.79 0.00 0.88

time (sec)

N/A 0.000 0.241 0.994 0.257 0.251 0.160 0.000 8.693

Problem 1897

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B B B B F B

verified

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

size

35 0 53 133 117 120 129 0 49

N.S.

1 0.00 1.51 3.80 3.34 3.43 3.69 0.00 1.40

time (sec)

N/A 0.000 0.129 2.128 0.357 0.239 0.262 0.000 9.030

Problem 1898

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 188 26 33 0 41 32 43 0

N.S.

1 8.17 1.13 1.43 0.00 1.78 1.39 1.87 0.00

time (sec)

N/A 0.664 0.289 0.067 0.000 0.237 0.126 0.275 0.000

Problem 1899

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

23 23 23 23 0 31 20 23 22

N.S.

1 1.00 1.00 1.00 0.00 1.35 0.87 1.00 0.96

time (sec)

N/A 2.039 0.129 103.203 0.000 0.252 0.898 0.322 9.466

Problem 1900

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 114 45 87 70 60 0 0

N.S.

1 0.00 3.93 1.55 3.00 2.41 2.07 0.00 0.00

time (sec)

N/A 0.000 0.166 4.036 0.408 0.257 0.270 0.000 0.000

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