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

verified

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

size

21 0 29 34 45 40 31 0 33

N.S.

1 0.00 1.38 1.62 2.14 1.90 1.48 0.00 1.57

time (sec)

N/A 0.000 1.097 0.166 0.222 0.280 0.214 0.000 9.709

Problem 2002

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

22 26 22 24 40 34 20 52 20

N.S.

1 1.18 1.00 1.09 1.82 1.55 0.91 2.36 0.91

time (sec)

N/A 0.387 0.061 0.161 0.223 0.241 0.066 0.272 9.351

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

15 15 15 14 17 17 19 17 11

N.S.

1 1.00 1.00 0.93 1.13 1.13 1.27 1.13 0.73

time (sec)

N/A 0.129 0.000 0.038 0.196 0.231 0.021 0.258 0.057

Problem 2004

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

N.S.

1 1.04 0.87 0.74 2.30 0.70 0.65 1.70 0.70

time (sec)

N/A 0.689 0.095 8.388 0.244 0.243 0.725 0.265 10.275

Problem 2005

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

16 0 26 16 23 15 14 19 16

N.S.

1 0.00 1.62 1.00 1.44 0.94 0.88 1.19 1.00

time (sec)

N/A 0.000 1.021 0.256 0.258 0.245 0.080 0.263 0.250

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

17 15 15 14 13 13 10 13 13

N.S.

1 0.88 0.88 0.82 0.76 0.76 0.59 0.76 0.76

time (sec)

N/A 0.405 0.022 0.520 0.224 0.229 0.057 0.254 9.826

Problem 2007

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

24 0 24 24 2123 47 46 21 21

N.S.

1 0.00 1.00 1.00 88.46 1.96 1.92 0.88 0.88

time (sec)

N/A 0.000 0.217 0.285 0.618 0.265 0.689 0.259 9.678

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

22 19 19 19 18 22 14 22 23

N.S.

1 0.86 0.86 0.86 0.82 1.00 0.64 1.00 1.05

time (sec)

N/A 0.327 0.076 0.897 0.305 0.250 0.061 0.263 9.443

Problem 2009

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

N.S.

1 0.70 0.70 0.61 0.65 0.65 0.65 0.65 0.57

time (sec)

N/A 0.202 0.030 0.068 0.191 0.236 0.072 0.253 9.183

Problem 2010

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

18 51 23 50 55 43 48 49 49

N.S.

1 2.83 1.28 2.78 3.06 2.39 2.67 2.72 2.72

time (sec)

N/A 0.395 0.061 0.079 0.228 0.244 0.153 0.265 9.284

Problem 2011

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B F B B F B

verified

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

size

19 0 19 104 0 112 112 0 23

N.S.

1 0.00 1.00 5.47 0.00 5.89 5.89 0.00 1.21

time (sec)

N/A 0.000 5.129 0.332 0.000 0.238 0.290 0.000 9.980

Problem 2012

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

25 0 23 22 25 30 19 51 21

N.S.

1 0.00 0.92 0.88 1.00 1.20 0.76 2.04 0.84

time (sec)

N/A 0.000 1.031 0.092 0.226 0.249 0.058 0.260 0.118

Problem 2013

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

N.S.

1 1.04 1.04 0.92 0.77 0.77 0.77 0.77 0.77

time (sec)

N/A 0.158 0.010 0.077 0.188 0.235 0.020 0.255 9.241

Problem 2014

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

N.S.

1 0.00 1.20 1.40 1.40 1.36 1.24 1.36 1.40

time (sec)

N/A 0.000 0.118 0.349 0.338 0.247 0.117 0.305 13.779

Problem 2015

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

N.S.

1 1.00 0.80 0.64 0.60 0.60 0.60 0.60 0.60

time (sec)

N/A 0.164 0.036 0.033 0.203 0.254 0.334 0.263 8.727

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

9 9 9 9 8 8 7 8 9

N.S.

1 1.00 1.00 1.00 0.89 0.89 0.78 0.89 1.00

time (sec)

N/A 0.158 0.016 0.065 0.203 0.250 0.040 0.255 8.495

Problem 2017

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

N.S.

1 0.00 1.00 1.04 1.00 1.09 0.83 1.04 0.91

time (sec)

N/A 0.000 0.681 0.718 0.232 0.245 0.163 0.301 9.126

Problem 2018

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

23 0 16 15 17 35 14 70 27

N.S.

1 0.00 0.70 0.65 0.74 1.52 0.61 3.04 1.17

time (sec)

N/A 0.000 0.062 0.127 0.299 0.250 0.099 0.275 9.115

Problem 2019

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

19 0 20 23 0 21 0 37 32

N.S.

1 0.00 1.05 1.21 0.00 1.11 0.00 1.95 1.68

time (sec)

N/A 0.000 3.776 4.160 0.000 0.249 0.000 0.278 8.967

Problem 2020

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

25 0 31 33 0 27 31 0 31

N.S.

1 0.00 1.24 1.32 0.00 1.08 1.24 0.00 1.24

time (sec)

N/A 0.000 3.460 0.191 0.000 0.249 0.131 0.000 9.424

Problem 2021

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

35 0 28 26 25 37 22 0 26

N.S.

1 0.00 0.80 0.74 0.71 1.06 0.63 0.00 0.74

time (sec)

N/A 0.000 0.250 0.723 0.239 0.245 0.253 0.000 9.619

Problem 2022

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

27 897 445 28 434 43 36 119 35

N.S.

1 33.22 16.48 1.04 16.07 1.59 1.33 4.41 1.30

time (sec)

N/A 3.578 5.443 0.352 0.323 0.248 0.081 0.271 9.133

Problem 2023

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B A B A A F B

verified

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

size

30 0 174 41 76 44 42 0 47

N.S.

1 0.00 5.80 1.37 2.53 1.47 1.40 0.00 1.57

time (sec)

N/A 0.000 0.179 0.342 0.239 0.241 0.237 0.000 8.934

Problem 2024

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

27 54 47 45 85 47 39 117 73

N.S.

1 2.00 1.74 1.67 3.15 1.74 1.44 4.33 2.70

time (sec)

N/A 0.464 5.123 0.146 0.448 0.248 0.111 0.410 0.485

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

21 29 29 28 28 23 29 29 26

N.S.

1 1.38 1.38 1.33 1.33 1.10 1.38 1.38 1.24

time (sec)

N/A 0.187 0.012 0.064 0.193 0.245 0.116 0.258 0.111

Problem 2026

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

20 20 20 18 17 32 17 0 17

N.S.

1 1.00 1.00 0.90 0.85 1.60 0.85 0.00 0.85

time (sec)

N/A 0.189 0.034 0.060 0.180 0.261 0.108 0.000 8.736

Problem 2027

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

N.S.

1 0.00 1.00 0.77 0.73 1.09 0.68 0.73 0.73

time (sec)

N/A 0.000 0.066 0.311 0.220 0.250 0.048 0.263 9.037

Problem 2028

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

N.S.

1 0.47 0.47 0.47 0.42 0.42 0.42 0.42 0.42

time (sec)

N/A 0.140 0.003 0.084 0.187 0.244 0.048 0.258 0.025

Problem 2029

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 28 24 31 22 28 20

N.S.

1 0.00 1.00 1.17 1.00 1.29 0.92 1.17 0.83

time (sec)

N/A 0.000 0.442 0.662 0.243 0.236 0.232 0.278 9.386

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

27 24 23 27 26 26 29 26 28

N.S.

1 0.89 0.85 1.00 0.96 0.96 1.07 0.96 1.04

time (sec)

N/A 1.251 0.168 3.492 0.338 0.255 0.140 0.469 9.187

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

25 24 26 20 19 29 17 29 19

N.S.

1 0.96 1.04 0.80 0.76 1.16 0.68 1.16 0.76

time (sec)

N/A 0.201 0.022 0.145 0.195 0.238 0.116 0.259 9.595

Problem 2032

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

22 0 25 34 0 31 31 33 31

N.S.

1 0.00 1.14 1.55 0.00 1.41 1.41 1.50 1.41

time (sec)

N/A 0.000 0.188 0.641 0.000 0.237 0.165 0.267 9.480

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

21 22 22 22 21 21 19 21 21

N.S.

1 1.05 1.05 1.05 1.00 1.00 0.90 1.00 1.00

time (sec)

N/A 0.402 0.234 0.130 0.260 0.232 0.082 0.257 9.268

Problem 2034

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 214 28 26 36 31 31 66 82

N.S.

1 6.29 0.82 0.76 1.06 0.91 0.91 1.94 2.41

time (sec)

N/A 0.881 0.496 0.234 0.310 0.236 0.056 0.266 0.297

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

10 11 9 8 9 9 7 9 7

N.S.

1 1.10 0.90 0.80 0.90 0.90 0.70 0.90 0.70

time (sec)

N/A 0.138 0.003 0.041 0.191 0.231 0.036 0.251 9.256

Problem 2036

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B B A B B

verified

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

size

30 0 36 29 65 150 37 87 65

N.S.

1 0.00 1.20 0.97 2.17 5.00 1.23 2.90 2.17

time (sec)

N/A 0.000 0.329 0.311 0.322 0.251 0.080 0.269 0.398

Problem 2037

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

N.S.

1 0.96 0.96 0.79 1.00 0.83 1.08 0.96 0.83

time (sec)

N/A 0.224 0.284 0.351 0.194 0.251 0.109 0.254 9.342

Problem 2038

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 49 49 41 55 38 44 46 38

N.S.

1 1.75 1.75 1.46 1.96 1.36 1.57 1.64 1.36

time (sec)

N/A 0.548 0.971 0.376 0.237 0.256 0.092 0.253 9.120

Problem 2039

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 30 30 29 29 24 48 29

N.S.

1 0.00 1.15 1.15 1.12 1.12 0.92 1.85 1.12

time (sec)

N/A 0.000 0.032 0.314 0.283 0.240 0.702 0.261 9.244

Problem 2040

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

N.S.

1 0.79 0.79 0.83 0.79 1.17 0.59 0.86 0.72

time (sec)

N/A 0.373 0.025 0.053 0.274 0.230 0.065 0.276 0.102

Problem 2041

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 46 27 26 34 24 34 26

N.S.

1 0.00 1.24 0.73 0.70 0.92 0.65 0.92 0.70

time (sec)

N/A 0.000 6.392 0.160 0.231 0.252 0.105 0.254 0.206

Problem 2042

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

N.S.

1 0.95 0.95 0.91 0.86 0.86 0.77 0.86 0.86

time (sec)

N/A 0.474 0.182 0.073 0.216 0.253 0.082 0.261 9.382

Problem 2043

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 279 92 41 56 56 39 84 33

N.S.

1 12.68 4.18 1.86 2.55 2.55 1.77 3.82 1.50

time (sec)

N/A 3.014 0.187 0.156 0.294 0.252 0.148 0.263 0.395

Problem 2044

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

N.S.

1 0.96 0.96 0.91 0.87 0.87 0.87 1.17 0.96

time (sec)

N/A 0.264 0.311 0.227 0.336 0.272 0.081 0.267 8.995

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

19 24 27 19 19 25 20 19 27

N.S.

1 1.26 1.42 1.00 1.00 1.32 1.05 1.00 1.42

time (sec)

N/A 0.391 0.046 0.350 0.185 0.266 0.074 0.261 9.075

Problem 2046

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

N.S.

1 1.14 1.05 0.81 0.76 0.76 0.95 0.76 0.76

time (sec)

N/A 0.235 0.069 0.940 0.303 0.260 0.085 0.251 0.118

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

18 0 16 17 29 16 31 16 16

N.S.

1 0.00 0.89 0.94 1.61 0.89 1.72 0.89 0.89

time (sec)

N/A 0.000 0.185 6.888 0.282 0.248 1.127 0.299 9.014

Problem 2048

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 29 34 30 34 36 41 35

N.S.

1 0.00 0.88 1.03 0.91 1.03 1.09 1.24 1.06

time (sec)

N/A 0.000 5.018 0.484 0.231 0.248 0.152 0.264 9.257

Problem 2049

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

24 30 26 19 28 28 49 28 18

N.S.

1 1.25 1.08 0.79 1.17 1.17 2.04 1.17 0.75

time (sec)

N/A 0.154 0.002 0.102 0.190 0.266 0.025 0.252 0.053

Problem 2050

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 36 25 23 38 26 24 33 25

N.S.

1 1.71 1.19 1.10 1.81 1.24 1.14 1.57 1.19

time (sec)

N/A 0.174 0.044 0.071 0.195 0.260 0.064 0.257 0.193

Problem 2051

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

34 0 39 36 52 61 32 0 45

N.S.

1 0.00 1.15 1.06 1.53 1.79 0.94 0.00 1.32

time (sec)

N/A 0.000 0.161 0.455 0.249 0.257 0.194 0.000 9.997

Problem 2052

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 0 0 33 216 150 243 239 0

N.S.

1 0.00 0.00 1.06 6.97 4.84 7.84 7.71 0.00

time (sec)

N/A 0.000 0.000 2.586 0.344 0.257 0.390 0.301 0.000

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

28 32 32 30 30 34 27 30 27

N.S.

1 1.14 1.14 1.07 1.07 1.21 0.96 1.07 0.96

time (sec)

N/A 0.521 0.156 0.233 0.230 0.262 0.094 0.252 8.900

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 41 20 34 39 22 2069 23

N.S.

1 0.00 1.37 0.67 1.13 1.30 0.73 68.97 0.77

time (sec)

N/A 0.000 6.222 2.824 0.377 0.239 0.180 0.350 8.475

Problem 2055

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

25 31 28 34 45 30 32 0 33

N.S.

1 1.24 1.12 1.36 1.80 1.20 1.28 0.00 1.32

time (sec)

N/A 0.769 1.695 0.531 0.384 0.240 0.535 0.000 11.340

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

12 8 8 9 8 8 7 9 8

N.S.

1 0.67 0.67 0.75 0.67 0.67 0.58 0.75 0.67

time (sec)

N/A 0.134 0.001 0.024 0.189 0.237 0.026 0.251 0.018

Problem 2057

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

19 15 15 12 77 11 15 14 11

N.S.

1 0.79 0.79 0.63 4.05 0.58 0.79 0.74 0.58

time (sec)

N/A 0.476 0.179 0.217 0.329 0.244 0.070 0.257 8.874

Problem 2058

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

32 198 60 74 92 89 87 82 65

N.S.

1 6.19 1.88 2.31 2.88 2.78 2.72 2.56 2.03

time (sec)

N/A 11.466 0.051 0.121 0.186 0.242 5.194 0.257 8.523

Problem 2059

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

28 0 28 42 27 27 34 29 0

N.S.

1 0.00 1.00 1.50 0.96 0.96 1.21 1.04 0.00

time (sec)

N/A 0.000 1.704 0.194 0.345 0.260 0.115 0.301 0.000

Problem 2060

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 56 19 23 30 22 17 35 16

N.S.

1 2.95 1.00 1.21 1.58 1.16 0.89 1.84 0.84

time (sec)

N/A 0.263 0.089 0.111 0.193 0.238 0.094 0.253 8.828

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

10 8 8 6 5 5 7 5 5

N.S.

1 0.80 0.80 0.60 0.50 0.50 0.70 0.50 0.50

time (sec)

N/A 0.121 0.000 0.020 0.199 0.223 0.015 0.263 0.002

Problem 2062

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

24 28 19 22 81 38 17 52 20

N.S.

1 1.17 0.79 0.92 3.38 1.58 0.71 2.17 0.83

time (sec)

N/A 1.121 1.054 0.471 0.232 0.251 0.073 0.261 0.115

Problem 2063

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 129 111 34 113 31 34 36 35

N.S.

1 5.16 4.44 1.36 4.52 1.24 1.36 1.44 1.40

time (sec)

N/A 0.675 0.213 0.396 0.314 0.240 0.142 0.309 0.409

Problem 2064

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

27 0 25 28 42 42 19 27 0

N.S.

1 0.00 0.93 1.04 1.56 1.56 0.70 1.00 0.00

time (sec)

N/A 0.000 0.398 0.394 0.238 0.252 0.094 0.271 0.000

Problem 2065

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

22 21 21 32 82 24 32 48 42

N.S.

1 0.95 0.95 1.45 3.73 1.09 1.45 2.18 1.91

time (sec)

N/A 0.247 0.137 0.331 0.324 0.251 0.111 0.262 9.089

Problem 2066

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

N.S.

1 0.92 0.92 0.92 0.88 0.96 0.71 0.75 0.75

time (sec)

N/A 0.623 0.121 0.340 0.227 0.242 0.075 0.251 9.111

Problem 2067

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 42 22 25 20 91 20 114 36

N.S.

1 1.62 0.85 0.96 0.77 3.50 0.77 4.38 1.38

time (sec)

N/A 4.896 4.637 0.298 0.544 0.261 0.210 0.925 9.846

Problem 2068

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 30 26 30 30 26 54 26

N.S.

1 0.00 1.00 0.87 1.00 1.00 0.87 1.80 0.87

time (sec)

N/A 0.000 0.179 17.842 0.338 0.274 0.199 0.303 9.423

Problem 2069

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B A B B B F B

verified

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

size

29 0 69 52 56 61 58 0 62

N.S.

1 0.00 2.38 1.79 1.93 2.10 2.00 0.00 2.14

time (sec)

N/A 0.000 6.967 3.322 0.252 0.254 0.285 0.000 9.464

Problem 2070

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 48 48 0 43 0 0 58

N.S.

1 0.00 1.60 1.60 0.00 1.43 0.00 0.00 1.93

time (sec)

N/A 0.000 0.091 22.186 0.000 0.254 0.000 0.000 9.632

Problem 2071

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

28 0 25 33 48 33 36 40 0

N.S.

1 0.00 0.89 1.18 1.71 1.18 1.29 1.43 0.00

time (sec)

N/A 0.000 5.152 1.420 0.379 0.256 0.175 0.345 0.000

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

26 23 21 25 30 26 20 26 17

N.S.

1 0.88 0.81 0.96 1.15 1.00 0.77 1.00 0.65

time (sec)

N/A 0.159 0.007 0.039 0.185 0.263 0.039 0.260 0.073

Problem 2073

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

31 0 20 30 42 36 27 36 17

N.S.

1 0.00 0.65 0.97 1.35 1.16 0.87 1.16 0.55

time (sec)

N/A 0.000 0.111 0.164 0.231 0.242 0.138 0.267 9.410

Problem 2074

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

N.S.

1 0.00 1.00 1.06 1.28 1.28 1.06 1.28 1.00

time (sec)

N/A 0.000 0.232 0.779 0.246 0.256 0.099 0.338 10.069

Problem 2075

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

24 0 81 67 68 68 73 85 71

N.S.

1 0.00 3.38 2.79 2.83 2.83 3.04 3.54 2.96

time (sec)

N/A 0.000 0.284 0.256 0.278 0.253 0.165 0.256 0.147

Problem 2076

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 31 45 35 41 0 44 35

N.S.

1 0.00 1.19 1.73 1.35 1.58 0.00 1.69 1.35

time (sec)

N/A 0.000 0.201 0.269 0.409 0.257 0.000 0.606 12.870

Problem 2077

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

N.S.

1 0.00 1.00 1.00 1.05 1.00 0.85 1.00 0.95

time (sec)

N/A 0.000 0.278 0.219 0.312 0.252 0.067 0.267 9.804

Problem 2078

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

23 174 113 106 55 55 58 173 57

N.S.

1 7.57 4.91 4.61 2.39 2.39 2.52 7.52 2.48

time (sec)

N/A 0.705 0.233 0.542 0.199 0.242 0.112 0.278 8.867

Problem 2079

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 16 0 15 15 0 15

N.S.

1 1.00 1.00 0.89 0.00 0.83 0.83 0.00 0.83

time (sec)

N/A 0.313 0.070 0.164 0.000 0.245 0.080 0.000 8.684

Problem 2080

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

31 0 28 27 71 61 19 27 26

N.S.

1 0.00 0.90 0.87 2.29 1.97 0.61 0.87 0.84

time (sec)

N/A 0.000 0.074 1.015 0.326 0.260 0.126 0.402 9.030

Problem 2081

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

30 28 25 20 83 34 24 24 22

N.S.

1 0.93 0.83 0.67 2.77 1.13 0.80 0.80 0.73

time (sec)

N/A 0.903 0.178 0.053 0.308 0.252 0.053 0.262 0.135

Problem 2082

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

N.S.

1 0.00 1.00 1.00 1.72 1.72 0.83 1.72 0.94

time (sec)

N/A 0.000 0.467 0.146 0.228 0.250 0.089 0.275 8.846

Problem 2083

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 20 18 19 18 18 17 37 113

N.S.

1 1.05 0.95 1.00 0.95 0.95 0.89 1.95 5.95

time (sec)

N/A 0.159 0.005 0.066 0.196 0.265 0.063 0.247 9.108

Problem 2084

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 20 20 21 26 20 17 44 20

N.S.

1 0.83 0.83 0.88 1.08 0.83 0.71 1.83 0.83

time (sec)

N/A 1.179 0.123 1.540 0.312 0.244 0.130 0.299 9.287

Problem 2085

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

N.S.

1 1.14 1.00 0.79 1.43 0.79 0.50 0.79 0.79

time (sec)

N/A 0.376 0.029 0.040 0.217 0.228 0.031 0.251 8.915

Problem 2086

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

N.S.

1 1.36 1.68 1.32 1.36 1.32 1.21 1.50 1.32

time (sec)

N/A 0.528 0.036 0.057 0.204 0.238 0.097 0.263 0.226

Problem 2087

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

N.S.

1 1.10 0.87 0.84 0.77 0.71 0.84 0.77 0.77

time (sec)

N/A 0.187 0.015 0.083 0.197 0.262 0.058 0.254 9.052

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

16 20 20 21 20 20 19 20 18

N.S.

1 1.25 1.25 1.31 1.25 1.25 1.19 1.25 1.12

time (sec)

N/A 0.147 0.002 0.031 0.200 0.249 0.041 0.250 9.162

Problem 2089

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

N.S.

1 0.80 0.80 0.60 0.55 0.55 0.60 0.55 0.65

time (sec)

N/A 0.183 0.022 0.088 0.200 0.261 0.045 0.263 9.292

Problem 2090

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

22 22 15 15 0 16 15 16 14

N.S.

1 1.00 0.68 0.68 0.00 0.73 0.68 0.73 0.64

time (sec)

N/A 0.262 0.016 0.221 0.000 0.249 0.062 0.252 0.102

Problem 2091

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

N.S.

1 0.00 1.00 0.92 1.00 1.12 0.80 0.80 1.04

time (sec)

N/A 0.000 0.198 0.105 0.224 0.258 0.104 0.266 9.658

Problem 2092

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

34 202 35 26 93 33 34 33 22

N.S.

1 5.94 1.03 0.76 2.74 0.97 1.00 0.97 0.65

time (sec)

N/A 0.958 0.417 0.109 0.217 0.247 0.114 0.259 0.149

Problem 2093

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

N.S.

1 0.95 0.95 0.95 2.63 1.00 0.74 1.00 0.89

time (sec)

N/A 0.196 0.118 0.049 0.226 0.242 0.043 0.271 9.572

Problem 2094

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

28 341 149 257 465 247 253 0 255

N.S.

1 12.18 5.32 9.18 16.61 8.82 9.04 0.00 9.11

time (sec)

N/A 1.194 0.117 0.092 0.222 0.245 0.292 0.000 9.370

Problem 2095

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 57 31 27 66 33 32 41 38

N.S.

1 1.73 0.94 0.82 2.00 1.00 0.97 1.24 1.15

time (sec)

N/A 0.780 0.082 0.069 0.227 0.242 0.083 0.250 8.626

Problem 2096

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A B B B

verified

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

size

27 0 33 45 95 33 139 254 33

N.S.

1 0.00 1.22 1.67 3.52 1.22 5.15 9.41 1.22

time (sec)

N/A 0.000 0.217 3.775 0.337 0.256 0.964 0.729 10.203

Problem 2097

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

N.S.

1 1.10 1.00 0.90 1.20 1.10 0.85 1.10 0.95

time (sec)

N/A 0.133 0.002 0.085 0.183 0.246 0.022 0.252 9.049

Problem 2098

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

29 0 26 23 40 25 19 0 33

N.S.

1 0.00 0.90 0.79 1.38 0.86 0.66 0.00 1.14

time (sec)

N/A 0.000 0.482 0.293 0.260 0.247 0.180 0.000 10.693

Problem 2099

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 32 18 17 25 16 32 0 16

N.S.

1 1.68 0.95 0.89 1.32 0.84 1.68 0.00 0.84

time (sec)

N/A 0.159 0.014 0.336 0.192 0.246 0.078 0.000 0.200

Problem 2100

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 45 20 36 36 41 0

N.S.

1 0.00 0.77 1.45 0.65 1.16 1.16 1.32 0.00

time (sec)

N/A 0.000 6.109 2.839 0.247 0.253 0.164 1.894 0.000

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