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

2.2.21 Integrals 2001 to 2100

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 2001

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

N.S.

1 1.14 1.14 1.14 1.10 1.10 0.95 1.10 1.10

time (sec)

N/A 0.147 0.006 0.028 0.172 0.255 0.044 0.277 0.043

Problem 2002

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

30 0 31 69 105 70 63 0 33

N.S.

1 0.00 1.03 2.30 3.50 2.33 2.10 0.00 1.10

time (sec)

N/A 0.000 0.100 7.384 0.229 0.254 0.614 0.000 12.863

Problem 2003

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

N.S.

1 1.35 0.71 0.74 0.68 0.65 0.84 0.71 0.65

time (sec)

N/A 0.251 0.086 0.150 0.180 0.234 0.114 0.294 0.262

Problem 2004

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

22 0 20 16 15 15 15 15 17

N.S.

1 0.00 0.91 0.73 0.68 0.68 0.68 0.68 0.77

time (sec)

N/A 0.000 0.344 0.084 0.219 0.259 0.083 0.280 13.570

Problem 2005

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

N.S.

1 1.35 0.88 0.88 0.82 0.82 0.71 0.94 0.82

time (sec)

N/A 0.184 0.008 0.216 0.178 0.242 0.089 0.273 0.111

Problem 2006

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

N.S.

1 0.96 0.96 1.00 0.92 1.04 0.80 0.92 0.92

time (sec)

N/A 0.733 0.770 0.514 0.290 0.250 0.105 0.291 0.411

Problem 2007

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

N.S.

1 1.35 1.76 1.24 1.18 1.18 1.41 1.18 0.88

time (sec)

N/A 0.148 0.004 0.267 0.187 0.266 0.022 0.305 0.065

Problem 2008

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 45 23 21 35 25 20 33 21

N.S.

1 1.88 0.96 0.88 1.46 1.04 0.83 1.38 0.88

time (sec)

N/A 0.397 0.123 0.188 0.221 0.252 0.119 0.279 13.134

Problem 2009

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B B B B B

verified

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

size

21 0 26 34 83 73 66 87 434

N.S.

1 0.00 1.24 1.62 3.95 3.48 3.14 4.14 20.67

time (sec)

N/A 0.000 0.070 0.337 0.320 0.269 0.141 0.310 13.823

Problem 2010

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

24 34 42 33 33 32 31 0 32

N.S.

1 1.42 1.75 1.38 1.38 1.33 1.29 0.00 1.33

time (sec)

N/A 0.556 0.071 1.010 0.316 0.269 0.362 0.000 13.458

Problem 2011

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

N.S.

1 0.79 0.86 0.79 0.71 0.71 0.86 0.79 0.71

time (sec)

N/A 0.140 0.003 0.082 0.174 0.262 0.043 0.276 12.358

Problem 2012

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

31 79 46 37 35 53 31 37 35

N.S.

1 2.55 1.48 1.19 1.13 1.71 1.00 1.19 1.13

time (sec)

N/A 0.404 0.053 0.219 0.185 0.254 0.407 0.273 12.649

Problem 2013

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

19 64 17 24 93 24 31 40 17

N.S.

1 3.37 0.89 1.26 4.89 1.26 1.63 2.11 0.89

time (sec)

N/A 0.605 0.056 0.072 0.227 0.247 0.091 0.281 12.341

Problem 2014

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 18 16 14 13 17 10 17 13

N.S.

1 0.95 0.84 0.74 0.68 0.89 0.53 0.89 0.68

time (sec)

N/A 0.168 0.009 0.040 0.198 0.251 0.050 0.270 12.960

Problem 2015

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

14 16 14 12 19 11 12 11 11

N.S.

1 1.14 1.00 0.86 1.36 0.79 0.86 0.79 0.79

time (sec)

N/A 0.174 0.088 0.160 0.216 0.246 0.046 0.287 0.063

Problem 2016

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

34 28 28 26 36 31 22 33 35

N.S.

1 0.82 0.82 0.76 1.06 0.91 0.65 0.97 1.03

time (sec)

N/A 0.625 0.072 0.113 0.232 0.245 0.080 0.290 0.193

Problem 2017

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 27 27 23 23 23 20 27 18

N.S.

1 1.50 1.50 1.28 1.28 1.28 1.11 1.50 1.00

time (sec)

N/A 0.180 0.008 0.054 0.175 0.248 0.050 0.296 13.418

Problem 2018

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

38 0 51 169 90 171 170 1565 1582

N.S.

1 0.00 1.34 4.45 2.37 4.50 4.47 41.18 41.63

time (sec)

N/A 0.000 0.206 0.016 4.516 0.275 2.931 0.589 14.609

Problem 2019

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

27 0 27 28 27 27 20 0 24

N.S.

1 0.00 1.00 1.04 1.00 1.00 0.74 0.00 0.89

time (sec)

N/A 0.000 0.136 6.093 0.246 0.245 0.235 0.000 13.853

Problem 2020

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 27 72 47 47 22 27 0

N.S.

1 0.00 1.00 2.67 1.74 1.74 0.81 1.00 0.00

time (sec)

N/A 0.000 0.114 22.316 0.246 0.265 0.132 0.493 0.000

Problem 2021

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 32 27 23 20 30 19 20 34

N.S.

1 1.07 0.90 0.77 0.67 1.00 0.63 0.67 1.13

time (sec)

N/A 0.268 0.023 0.064 0.177 0.243 0.173 0.283 13.419

Problem 2022

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 9 9 10 9 9 7 9 9

N.S.

1 0.90 0.90 1.00 0.90 0.90 0.70 0.90 0.90

time (sec)

N/A 0.235 0.002 0.025 0.178 0.251 0.042 0.296 13.050

Problem 2023

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

N.S.

1 1.00 1.00 0.95 0.91 0.55 0.45 0.68 0.68

time (sec)

N/A 0.144 0.005 0.028 0.183 0.247 0.033 0.281 0.109

Problem 2024

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

28 56 34 50 49 46 46 46 50

N.S.

1 2.00 1.21 1.79 1.75 1.64 1.64 1.64 1.79

time (sec)

N/A 0.269 1.753 0.171 0.191 0.252 0.074 0.295 0.080

Problem 2025

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

N.S.

1 1.00 1.00 0.64 0.57 0.57 0.86 0.57 0.57

time (sec)

N/A 0.125 0.000 0.017 0.179 0.254 0.016 0.274 0.003

Problem 2026

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 44 38 51 36 44 48 0 36

N.S.

1 1.52 1.31 1.76 1.24 1.52 1.66 0.00 1.24

time (sec)

N/A 1.138 5.068 0.530 0.349 0.256 0.219 0.000 14.178

Problem 2027

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

N.S.

1 0.81 0.81 0.81 0.86 0.86 0.81 0.90 0.86

time (sec)

N/A 0.137 0.006 0.350 0.178 0.250 0.106 0.290 0.089

Problem 2028

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

20 0 20 33 30 31 32 33 32

N.S.

1 0.00 1.00 1.65 1.50 1.55 1.60 1.65 1.60

time (sec)

N/A 0.000 0.305 0.307 0.299 0.253 0.136 0.593 13.095

Problem 2029

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

N.S.

1 0.67 0.67 0.78 0.67 0.67 0.56 0.78 0.67

time (sec)

N/A 0.132 0.001 0.031 0.179 0.256 0.030 0.284 0.016

Problem 2030

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

N.S.

1 0.70 0.70 0.70 0.65 1.13 0.83 0.70 1.00

time (sec)

N/A 0.203 0.229 0.169 0.181 0.259 0.091 0.307 13.486

Problem 2031

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

N.S.

1 0.71 0.71 0.67 0.62 1.12 0.42 0.62 0.62

time (sec)

N/A 0.349 0.039 0.056 0.217 0.248 0.061 0.311 0.223

Problem 2032

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

22 0 22 22 20 20 20 37 0

N.S.

1 0.00 1.00 1.00 0.91 0.91 0.91 1.68 0.00

time (sec)

N/A 0.000 0.506 1.814 0.270 0.253 0.481 0.351 0.000

Problem 2033

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 30 30 32 31 22 31 29

N.S.

1 1.35 1.30 1.30 1.39 1.35 0.96 1.35 1.26

time (sec)

N/A 15.146 0.049 0.168 0.178 0.248 0.094 0.320 13.701

Problem 2034

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

21 0 18 17 21 17 19 21 21

N.S.

1 0.00 0.86 0.81 1.00 0.81 0.90 1.00 1.00

time (sec)

N/A 0.000 0.148 0.260 0.266 0.269 0.270 0.333 13.409

Problem 2035

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

N.S.

1 0.54 0.54 0.69 0.65 0.58 0.54 1.23 0.54

time (sec)

N/A 0.159 0.006 0.143 0.192 0.252 0.058 0.270 13.604

Problem 2036

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

N.S.

1 2.00 1.27 1.36 1.27 1.27 1.27 1.27 0.73

time (sec)

N/A 0.153 0.004 0.041 0.186 0.253 0.040 0.286 0.049

Problem 2037

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

31 0 40 44 50 50 56 61 85

N.S.

1 0.00 1.29 1.42 1.61 1.61 1.81 1.97 2.74

time (sec)

N/A 0.000 0.049 0.349 0.291 0.262 0.130 0.271 13.596

Problem 2038

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

26 37 23 28 36 55 27 36 22

N.S.

1 1.42 0.88 1.08 1.38 2.12 1.04 1.38 0.85

time (sec)

N/A 0.270 0.082 0.190 0.206 0.245 0.139 0.291 13.326

Problem 2039

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

21 0 22 21 20 20 17 27 0

N.S.

1 0.00 1.05 1.00 0.95 0.95 0.81 1.29 0.00

time (sec)

N/A 0.000 0.348 0.124 0.263 0.261 0.090 0.302 0.000

Problem 2040

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

40 0 37 48 62 56 75 1267 0

N.S.

1 0.00 0.92 1.20 1.55 1.40 1.88 31.68 0.00

time (sec)

N/A 0.000 0.183 48.683 0.347 0.276 0.274 157.089 0.000

Problem 2041

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

35 0 68 64 81 63 0 0 0

N.S.

1 0.00 1.94 1.83 2.31 1.80 0.00 0.00 0.00

time (sec)

N/A 0.000 0.242 0.072 0.339 0.251 0.000 0.000 0.000

Problem 2042

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 1452 39 39 410 61 42 75 38

N.S.

1 48.40 1.30 1.30 13.67 2.03 1.40 2.50 1.27

time (sec)

N/A 3.438 0.905 0.205 0.292 0.257 0.149 0.282 0.495

Problem 2043

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 26 0 0 35 30 0 49 36

N.S.

1 0.93 0.00 0.00 1.25 1.07 0.00 1.75 1.29

time (sec)

N/A 1.889 0.000 0.000 0.415 0.261 0.000 0.886 13.473

Problem 2044

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

34 0 45 48 50 37 46 0 64

N.S.

1 0.00 1.32 1.41 1.47 1.09 1.35 0.00 1.88

time (sec)

N/A 0.000 5.154 0.608 0.241 0.270 0.142 0.000 12.346

Problem 2045

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 23 25 15 19 28 15 14 17

N.S.

1 0.92 1.00 0.60 0.76 1.12 0.60 0.56 0.68

time (sec)

N/A 0.226 0.187 0.095 0.186 0.250 0.049 0.292 12.128

Problem 2046

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

17 0 19 15 16 18 15 14 14

N.S.

1 0.00 1.12 0.88 0.94 1.06 0.88 0.82 0.82

time (sec)

N/A 0.000 0.102 1.660 0.303 0.271 0.078 0.278 13.466

Problem 2047

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 32 41 45 40 37 45 40

N.S.

1 0.00 1.10 1.41 1.55 1.38 1.28 1.55 1.38

time (sec)

N/A 0.000 0.083 6.365 0.221 0.273 0.231 0.343 13.388

Problem 2048

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 32 22 22 39 20 20 20 28

N.S.

1 1.10 0.76 0.76 1.34 0.69 0.69 0.69 0.97

time (sec)

N/A 0.261 0.185 0.047 0.176 0.261 0.067 0.273 0.062

Problem 2049

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

24 0 21 26 124 24 22 525 843

N.S.

1 0.00 0.88 1.08 5.17 1.00 0.92 21.88 35.12

time (sec)

N/A 0.000 0.359 24.990 0.432 0.258 0.153 0.382 14.006

Problem 2050

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

24 0 0 22 21 23 20 27 27

N.S.

1 0.00 0.00 0.92 0.88 0.96 0.83 1.12 1.12

time (sec)

N/A 0.000 0.000 0.167 0.331 0.280 0.104 0.351 13.352

Problem 2051

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B B B B B B B

verified

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

size

30 0 184 344 407 256 286 407 453

N.S.

1 0.00 6.13 11.47 13.57 8.53 9.53 13.57 15.10

time (sec)

N/A 0.000 1.579 0.232 1.859 0.300 1.757 7.294 14.186

Problem 2052

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 29 27 34 29 31 31 30

N.S.

1 1.04 1.04 0.96 1.21 1.04 1.11 1.11 1.07

time (sec)

N/A 0.541 2.233 0.253 0.229 0.251 0.109 0.309 0.230

Problem 2053

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

N.S.

1 0.71 0.71 0.67 0.62 0.92 0.62 1.17 0.62

time (sec)

N/A 0.170 0.021 0.107 0.190 0.247 0.048 0.285 13.403

Problem 2054

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 29 30 37 29 24 137 51

N.S.

1 0.00 0.97 1.00 1.23 0.97 0.80 4.57 1.70

time (sec)

N/A 0.000 0.065 13.317 0.270 0.263 0.083 0.381 14.252

Problem 2055

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

23 0 29 30 27 33 27 27 29

N.S.

1 0.00 1.26 1.30 1.17 1.43 1.17 1.17 1.26

time (sec)

N/A 0.000 0.697 0.338 0.316 0.248 0.096 0.416 13.703

Problem 2056

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

N.S.

1 0.33 0.33 0.33 0.29 0.29 0.24 0.29 0.33

time (sec)

N/A 0.136 0.021 0.072 0.247 0.254 0.028 0.274 0.040

Problem 2057

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F F B B B B B B

verified

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

size

28 0 0 49 388 46 51 94 429

N.S.

1 0.00 0.00 1.75 13.86 1.64 1.82 3.36 15.32

time (sec)

N/A 0.000 0.000 241.783 2.042 0.291 1.126 1.964 13.371

Problem 2058

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B A B B B B

verified

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

size

24 0 29 91 30 79 78 101 79

N.S.

1 0.00 1.21 3.79 1.25 3.29 3.25 4.21 3.29

time (sec)

N/A 0.000 0.379 6.698 0.860 0.258 0.741 0.908 15.492

Problem 2059

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

22 21 23 21 30 31 22 31 0

N.S.

1 0.95 1.05 0.95 1.36 1.41 1.00 1.41 0.00

time (sec)

N/A 0.665 0.260 0.776 0.235 0.302 0.058 0.289 0.000

Problem 2060

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

35 33 33 28 33 29 26 29 27

N.S.

1 0.94 0.94 0.80 0.94 0.83 0.74 0.83 0.77

time (sec)

N/A 0.231 0.309 0.147 0.218 0.243 0.065 0.279 0.114

Problem 2061

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

N.S.

1 0.87 0.87 0.80 0.87 0.87 0.80 1.00 0.73

time (sec)

N/A 0.151 0.006 0.181 0.185 0.245 0.046 0.297 13.436

Problem 2062

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

26 169 27 81 94 94 122 56 111

N.S.

1 6.50 1.04 3.12 3.62 3.62 4.69 2.15 4.27

time (sec)

N/A 0.833 0.027 0.133 0.197 0.256 0.556 0.294 0.174

Problem 2063

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 34 33 21 35 34 17 23 35

N.S.

1 1.42 1.38 0.88 1.46 1.42 0.71 0.96 1.46

time (sec)

N/A 0.354 0.048 0.079 0.221 0.248 0.059 0.294 0.110

Problem 2064

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 16 21 15 14 3 2 3 14

N.S.

1 1.00 1.31 0.94 0.88 0.19 0.12 0.19 0.88

time (sec)

N/A 0.346 0.050 0.258 0.196 0.237 0.031 0.291 13.342

Problem 2065

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

19 48 16 17 44 19 14 19 16

N.S.

1 2.53 0.84 0.89 2.32 1.00 0.74 1.00 0.84

time (sec)

N/A 0.722 0.390 0.406 0.245 0.264 0.055 0.283 12.563

Problem 2066

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

22 0 29 45 78 78 48 0 18

N.S.

1 0.00 1.32 2.05 3.55 3.55 2.18 0.00 0.82

time (sec)

N/A 0.000 0.171 111.927 0.246 0.264 0.700 0.000 12.211

Problem 2067

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

27 0 30 30 38 41 26 145 29

N.S.

1 0.00 1.11 1.11 1.41 1.52 0.96 5.37 1.07

time (sec)

N/A 0.000 3.925 0.411 0.233 0.260 0.069 0.343 12.261

Problem 2068

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

33 0 43 41 43 43 0 0 40

N.S.

1 0.00 1.30 1.24 1.30 1.30 0.00 0.00 1.21

time (sec)

N/A 0.000 0.250 180.424 0.424 0.280 0.000 0.000 13.260

Problem 2069

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B B B B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 69 58 76 67 66 60 0 63

N.S.

1 2.76 2.32 3.04 2.68 2.64 2.40 0.00 2.52

time (sec)

N/A 0.293 0.078 0.112 0.189 0.243 0.183 0.000 12.487

Problem 2070

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 38 42 41 38 50 36 40 37

N.S.

1 1.41 1.56 1.52 1.41 1.85 1.33 1.48 1.37

time (sec)

N/A 0.258 0.034 0.324 0.183 0.263 0.073 0.275 0.079

Problem 2071

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B B C B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 123 80 106 224 86 107 111 101

N.S.

1 3.62 2.35 3.12 6.59 2.53 3.15 3.26 2.97

time (sec)

N/A 0.676 0.735 0.362 0.239 0.260 0.138 0.274 0.189

Problem 2072

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 11 11 10 11 11 10 11 9

N.S.

1 0.92 0.92 0.83 0.92 0.92 0.83 0.92 0.75

time (sec)

N/A 0.133 0.004 1.661 0.209 0.244 0.040 0.288 0.044

Problem 2073

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

34 0 42 41 38 38 36 56 56

N.S.

1 0.00 1.24 1.21 1.12 1.12 1.06 1.65 1.65

time (sec)

N/A 0.000 1.211 0.093 0.192 0.260 0.106 0.273 12.757

Problem 2074

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

24 0 23 22 26 33 19 0 25

N.S.

1 0.00 0.96 0.92 1.08 1.38 0.79 0.00 1.04

time (sec)

N/A 0.000 1.774 9.234 0.393 0.253 0.225 0.000 13.088

Problem 2075

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 25 19 18 21 22 21 18

N.S.

1 0.00 0.96 0.73 0.69 0.81 0.85 0.81 0.69

time (sec)

N/A 0.000 0.333 0.442 0.246 0.260 0.078 0.280 12.602

Problem 2076

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

34 0 31 29 0 30 29 26 0

N.S.

1 0.00 0.91 0.85 0.00 0.88 0.85 0.76 0.00

time (sec)

N/A 0.000 0.141 0.824 0.000 0.253 0.097 0.408 0.000

Problem 2077

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

N.S.

1 0.94 0.94 0.81 0.75 1.50 0.88 1.50 0.75

time (sec)

N/A 0.176 0.009 0.027 0.191 0.260 0.057 0.262 13.044

Problem 2078

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

22 0 25 26 26 25 24 26 141

N.S.

1 0.00 1.14 1.18 1.18 1.14 1.09 1.18 6.41

time (sec)

N/A 0.000 0.554 231.962 0.346 0.251 1.534 0.603 18.901

Problem 2079

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

32 40 40 27 32 32 39 32 37

N.S.

1 1.25 1.25 0.84 1.00 1.00 1.22 1.00 1.16

time (sec)

N/A 0.163 0.008 0.070 0.195 0.243 0.022 0.261 0.048

Problem 2080

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A A A B

verified

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

size

18 0 18 17 0 16 12 30 16

N.S.

1 0.00 1.00 0.94 0.00 0.89 0.67 1.67 0.89

time (sec)

N/A 0.000 0.937 0.280 0.000 0.255 0.652 0.300 12.875

Problem 2081

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

20 0 16 17 16 23 17 16 16

N.S.

1 0.00 0.80 0.85 0.80 1.15 0.85 0.80 0.80

time (sec)

N/A 0.000 0.319 0.588 0.255 0.268 0.047 0.312 13.126

Problem 2082

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

21 46 20 19 18 18 19 18 20

N.S.

1 2.19 0.95 0.90 0.86 0.86 0.90 0.86 0.95

time (sec)

N/A 0.209 0.054 0.113 0.269 0.262 0.101 0.268 12.404

Problem 2083

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

N.S.

1 0.90 0.90 0.95 1.00 1.00 0.90 1.00 1.67

time (sec)

N/A 0.420 0.044 0.214 0.353 0.251 0.071 0.281 13.029

Problem 2084

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

23 0 23 22 21 31 15 21 21

N.S.

1 0.00 1.00 0.96 0.91 1.35 0.65 0.91 0.91

time (sec)

N/A 0.000 0.218 0.065 0.226 0.280 0.113 0.278 12.957

Problem 2085

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 22 33 33 32 29 33 32

N.S.

1 0.00 0.92 1.38 1.38 1.33 1.21 1.38 1.33

time (sec)

N/A 0.000 0.062 0.941 0.232 0.263 0.187 0.307 13.069

Problem 2086

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

N.S.

1 1.52 1.10 1.14 2.10 1.52 1.29 1.48 0.90

time (sec)

N/A 0.329 0.083 0.093 0.273 0.282 0.054 0.299 13.192

Problem 2087

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 17 15 15 14 10 26 12

N.S.

1 0.00 1.13 1.00 1.00 0.93 0.67 1.73 0.80

time (sec)

N/A 0.000 0.029 0.056 0.278 0.254 0.063 0.277 0.109

Problem 2088

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 24 18 20 25 17 22 22 12

N.S.

1 1.20 0.90 1.00 1.25 0.85 1.10 1.10 0.60

time (sec)

N/A 0.268 0.284 0.205 0.251 0.265 0.137 0.275 14.013

Problem 2089

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

30 33 31 32 68 38 29 59 28

N.S.

1 1.10 1.03 1.07 2.27 1.27 0.97 1.97 0.93

time (sec)

N/A 6.889 0.335 10.641 0.463 0.264 0.165 48.061 13.829

Problem 2090

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

32 31 31 41 36 42 29 49 0

N.S.

1 0.97 0.97 1.28 1.12 1.31 0.91 1.53 0.00

time (sec)

N/A 1.242 0.428 0.832 0.317 0.272 0.115 0.317 0.000

Problem 2091

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

N.S.

1 1.00 1.00 0.92 0.85 1.31 0.77 0.85 0.85

time (sec)

N/A 0.224 0.033 0.212 0.204 0.256 0.056 0.267 13.381

Problem 2092

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

25 0 31 52 93 93 83 90 0

N.S.

1 0.00 1.24 2.08 3.72 3.72 3.32 3.60 0.00

time (sec)

N/A 0.000 0.059 0.541 0.247 0.270 0.118 0.295 0.000

Problem 2093

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

N.S.

1 0.83 0.83 0.74 0.70 0.70 0.65 0.70 0.70

time (sec)

N/A 0.158 0.015 0.066 0.201 0.249 0.068 0.269 0.073

Problem 2094

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

28 56 30 40 81 53 60 90 43

N.S.

1 2.00 1.07 1.43 2.89 1.89 2.14 3.21 1.54

time (sec)

N/A 0.239 0.056 0.214 0.270 0.257 0.102 0.278 13.659

Problem 2095

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B B B A B

verified

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

size

25 0 27 28 77 78 82 27 27

N.S.

1 0.00 1.08 1.12 3.08 3.12 3.28 1.08 1.08

time (sec)

N/A 0.000 0.034 0.254 0.200 0.252 4.467 0.304 13.947

Problem 2096

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

18 0 18 19 34 29 20 257 31

N.S.

1 0.00 1.00 1.06 1.89 1.61 1.11 14.28 1.72

time (sec)

N/A 0.000 0.243 7.095 0.333 0.253 0.080 0.615 13.870

Problem 2097

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 147 114 55 329 117 99 237 130

N.S.

1 4.90 3.80 1.83 10.97 3.90 3.30 7.90 4.33

time (sec)

N/A 0.792 2.914 0.754 0.246 0.287 0.307 0.307 14.417

Problem 2098

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 321 28 59 54 29 0 33

N.S.

1 0.00 12.35 1.08 2.27 2.08 1.12 0.00 1.27

time (sec)

N/A 0.000 31.412 0.206 0.251 0.271 0.081 0.000 13.809

Problem 2099

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

28 0 29 26 26 27 20 0 28

N.S.

1 0.00 1.04 0.93 0.93 0.96 0.71 0.00 1.00

time (sec)

N/A 0.000 1.609 0.250 0.342 0.271 0.131 0.000 13.263

Problem 2100

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

28 29 26 23 29 24 0 0 24

N.S.

1 1.04 0.93 0.82 1.04 0.86 0.00 0.00 0.86

time (sec)

N/A 4.128 0.232 0.026 0.343 0.268 0.000 0.000 12.997

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