Integrals 8601 to 8700

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 8601

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 38 35 32 28 31 37 28 31

N.S.

1 1.46 1.35 1.23 1.08 1.19 1.42 1.08 1.19

time (sec)

N/A 0.024 0.015 1.445 0.195 0.242 0.143 0.267 12.895

Problem 8602

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

31 278 36 178 210 166 204 227 32

N.S.

1 8.97 1.16 5.74 6.77 5.35 6.58 7.32 1.03

time (sec)

N/A 0.133 0.053 0.359 0.192 0.249 0.162 0.267 13.845

Problem 8603

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

20 41 18 17 16 16 15 16 16

N.S.

1 2.05 0.90 0.85 0.80 0.80 0.75 0.80 0.80

time (sec)

N/A 0.093 0.088 0.372 0.267 0.234 0.141 0.263 12.976

Problem 8604

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 25 36 41 30 32 39 32

N.S.

1 0.00 1.04 1.50 1.71 1.25 1.33 1.62 1.33

time (sec)

N/A 0.000 0.113 7.899 0.302 0.249 0.241 0.409 12.611

Problem 8605

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

26 0 25 25 51 24 22 43 24

N.S.

1 0.00 0.96 0.96 1.96 0.92 0.85 1.65 0.92

time (sec)

N/A 0.000 0.057 4.753 0.355 0.244 0.113 0.360 15.501

Problem 8606

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

N.S.

1 0.00 1.38 1.12 1.42 1.21 1.21 1.42 1.25

time (sec)

N/A 0.000 1.117 0.781 0.287 0.253 0.361 0.315 13.459

Problem 8607

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

26 367 128 39 546 40 36 40 40

N.S.

1 14.12 4.92 1.50 21.00 1.54 1.38 1.54 1.54

time (sec)

N/A 0.360 0.142 0.520 0.302 0.254 0.133 0.259 0.127

Problem 8608

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

N.S.

1 1.00 1.00 1.00 0.92 0.92 0.92 1.00 0.92

time (sec)

N/A 0.191 0.242 0.068 0.219 0.248 0.086 0.283 13.160

Problem 8609

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

36 0 38 29 0 31 39 79 39

N.S.

1 0.00 1.06 0.81 0.00 0.86 1.08 2.19 1.08

time (sec)

N/A 0.000 4.393 0.122 0.000 0.239 0.124 0.349 14.273

Problem 8610

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 34 67 58 52 0 58 51

N.S.

1 0.00 1.21 2.39 2.07 1.86 0.00 2.07 1.82

time (sec)

N/A 0.000 0.292 1.262 0.302 0.243 0.000 0.281 13.924

Problem 8611

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

26 70 23 22 32 24 29 24 34

N.S.

1 2.69 0.88 0.85 1.23 0.92 1.12 0.92 1.31

time (sec)

N/A 0.412 0.985 0.628 0.255 0.243 0.110 0.292 13.931

Problem 8612

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

N.S.

1 0.95 0.95 0.80 0.75 0.75 0.85 0.75 0.75

time (sec)

N/A 0.005 0.009 0.035 0.183 0.243 0.053 0.264 0.055

Problem 8613

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

N.S.

1 1.00 1.00 0.82 0.73 0.73 0.64 0.73 0.73

time (sec)

N/A 0.006 0.002 0.085 0.181 0.258 0.042 0.259 0.024

Problem 8614

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

N.S.

1 0.94 1.00 1.06 1.00 1.00 0.82 1.00 1.00

time (sec)

N/A 0.183 0.118 0.551 0.220 0.238 0.046 0.262 13.861

Problem 8615

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

26 45 21 23 0 37 20 18 18

N.S.

1 1.73 0.81 0.88 0.00 1.42 0.77 0.69 0.69

time (sec)

N/A 0.456 1.243 0.072 0.000 0.239 0.061 0.274 13.706

Problem 8616

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 21 59 43 56 23 19 56 23

N.S.

1 0.95 2.68 1.95 2.55 1.05 0.86 2.55 1.05

time (sec)

N/A 0.021 0.064 0.089 0.191 0.261 0.064 0.258 0.178

Problem 8617

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 133 40 43 0 45 0 80 0

N.S.

1 4.16 1.25 1.34 0.00 1.41 0.00 2.50 0.00

time (sec)

N/A 6.977 0.082 0.377 0.000 0.243 0.000 0.712 0.000

Problem 8618

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A B B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 67 51 45 65 18 27 41 18

N.S.

1 2.58 1.96 1.73 2.50 0.69 1.04 1.58 0.69

time (sec)

N/A 0.267 0.079 0.207 0.327 0.260 0.142 0.266 14.092

Problem 8619

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

26 613 23 24 29 26 19 80 26

N.S.

1 23.58 0.88 0.92 1.12 1.00 0.73 3.08 1.00

time (sec)

N/A 1.139 0.577 0.372 0.336 0.242 0.096 0.291 0.329

Problem 8620

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 21 21 21 0 20 0 20 20

N.S.

1 0.95 0.95 0.95 0.00 0.91 0.00 0.91 0.91

time (sec)

N/A 0.615 0.369 7.361 0.000 0.235 0.000 0.453 14.606

Problem 8621

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B A A A B A B

verified

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

size

24 0 59 20 44 35 39 36 36

N.S.

1 0.00 2.46 0.83 1.83 1.46 1.62 1.50 1.50

time (sec)

N/A 0.000 0.483 1.327 0.244 0.251 0.238 0.268 14.194

Problem 8622

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 33 37 54 52 36 54 0

N.S.

1 0.00 1.10 1.23 1.80 1.73 1.20 1.80 0.00

time (sec)

N/A 0.000 0.123 5.988 0.239 0.241 0.115 0.288 0.000

Problem 8623

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

N.S.

1 1.00 1.00 0.95 1.00 1.00 0.71 1.10 0.90

time (sec)

N/A 0.033 0.010 0.539 0.181 0.231 0.040 0.272 0.065

Problem 8624

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 26 54 32 27 20 699 0

N.S.

1 0.00 0.96 2.00 1.19 1.00 0.74 25.89 0.00

time (sec)

N/A 0.000 0.126 1.659 0.346 0.239 0.146 2.447 0.000

Problem 8625

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 20 19 19 15 19 85

N.S.

1 0.00 1.00 0.91 0.86 0.86 0.68 0.86 3.86

time (sec)

N/A 0.000 0.643 0.378 0.239 0.236 0.087 0.290 12.941

Problem 8626

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 22 20 19 19 19 19 19

N.S.

1 0.00 1.16 1.05 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.000 0.900 0.096 0.227 0.253 0.083 0.270 0.104

Problem 8627

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

N.S.

1 0.00 1.00 0.94 0.88 1.25 0.88 1.25 0.88

time (sec)

N/A 0.000 0.077 0.065 0.228 0.255 0.065 0.260 12.464

Problem 8628

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

N.S.

1 0.62 0.62 0.52 0.48 0.48 0.33 0.71 0.48

time (sec)

N/A 0.013 0.008 0.177 0.187 0.242 0.048 0.254 12.333

Problem 8629

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F A B B A A B

verified

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

size

24 21 0 29 47 47 32 28 28

N.S.

1 0.88 0.00 1.21 1.96 1.96 1.33 1.17 1.17

time (sec)

N/A 0.037 0.000 0.635 0.229 0.258 0.337 0.286 12.792

Problem 8630

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

23 1004 24 43 42 42 0 47 42

N.S.

1 43.65 1.04 1.87 1.83 1.83 0.00 2.04 1.83

time (sec)

N/A 2.314 0.136 0.788 0.329 0.243 0.000 0.301 13.333

Problem 8631

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

18 56 21 21 20 20 17 20 22

N.S.

1 3.11 1.17 1.17 1.11 1.11 0.94 1.11 1.22

time (sec)

N/A 0.066 0.768 0.081 0.284 0.246 0.052 0.265 13.129

Problem 8632

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

35 0 57 53 264 203 48 0 130

N.S.

1 0.00 1.63 1.51 7.54 5.80 1.37 0.00 3.71

time (sec)

N/A 0.000 1.100 277.958 0.552 0.256 3.206 0.000 16.644

Problem 8633

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F F A B A A F B

verified

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

size

31 0 0 18 42 22 20 0 19

N.S.

1 0.00 0.00 0.58 1.35 0.71 0.65 0.00 0.61

time (sec)

N/A 0.000 0.000 0.055 0.374 0.250 9.782 0.000 13.298

Problem 8634

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 16 13 14 17 17 14 18 28

N.S.

1 1.33 1.08 1.17 1.42 1.42 1.17 1.50 2.33

time (sec)

N/A 0.004 0.013 0.464 0.198 0.236 0.102 0.259 13.275

Problem 8635

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

N.S.

1 0.00 0.74 0.78 0.78 0.78 0.61 0.83 1.48

time (sec)

N/A 0.000 0.163 0.749 0.230 0.243 0.073 0.279 13.494

Problem 8636

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

8 8 8 7 6 6 5 7 6

N.S.

1 1.00 1.00 0.88 0.75 0.75 0.62 0.88 0.75

time (sec)

N/A 0.001 0.001 0.530 0.200 0.243 0.020 0.278 0.032

Problem 8637

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

N.S.

1 0.89 0.89 1.00 0.89 0.89 0.78 1.00 0.89

time (sec)

N/A 0.002 0.001 0.046 0.190 0.233 0.028 0.257 0.018

Problem 8638

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

20 44 33 33 47 47 36 47 30

N.S.

1 2.20 1.65 1.65 2.35 2.35 1.80 2.35 1.50

time (sec)

N/A 0.010 0.008 0.060 0.197 0.233 0.026 0.259 0.096

Problem 8639

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 17 17 17 30 18 19 0 16

N.S.

1 0.81 0.81 0.81 1.43 0.86 0.90 0.00 0.76

time (sec)

N/A 0.029 0.024 0.366 0.315 0.233 0.061 0.000 13.040

Problem 8640

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 20 24 29 35 17 20 23

N.S.

1 0.00 0.69 0.83 1.00 1.21 0.59 0.69 0.79

time (sec)

N/A 0.000 0.238 0.690 0.223 0.251 0.055 0.282 13.315

Problem 8641

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 50 26 26 27 28 22 28 29

N.S.

1 2.00 1.04 1.04 1.08 1.12 0.88 1.12 1.16

time (sec)

N/A 0.061 0.975 0.139 0.255 0.243 0.058 0.273 12.788

Problem 8642

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 24 22 31 21 17 21 21

N.S.

1 0.00 1.14 1.05 1.48 1.00 0.81 1.00 1.00

time (sec)

N/A 0.000 0.267 0.181 0.319 0.251 0.089 0.286 12.531

Problem 8643

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 35 48 31 30 33 29 35 33

N.S.

1 1.09 1.50 0.97 0.94 1.03 0.91 1.09 1.03

time (sec)

N/A 0.303 0.080 0.129 0.196 0.251 0.696 0.275 12.493

Problem 8644

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

N.S.

1 0.91 0.91 1.00 1.00 1.00 0.96 1.00 0.91

time (sec)

N/A 0.028 0.012 0.106 0.195 0.235 0.194 0.260 12.370

Problem 8645

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

19 0 19 22 28 25 20 28 0

N.S.

1 0.00 1.00 1.16 1.47 1.32 1.05 1.47 0.00

time (sec)

N/A 0.000 0.863 4.699 0.332 0.239 0.120 0.411 0.000

Problem 8646

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B B B A B B

verified

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

size

26 0 42 70 54 52 37 76 57

N.S.

1 0.00 1.62 2.69 2.08 2.00 1.42 2.92 2.19

time (sec)

N/A 0.000 0.126 0.188 0.241 0.245 0.112 0.283 13.294

Problem 8647

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

N.S.

1 1.00 1.00 1.00 0.89 0.89 1.00 0.89 0.95

time (sec)

N/A 0.003 0.003 0.534 0.212 0.247 0.049 0.263 0.082

Problem 8648

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

N.S.

1 0.44 0.48 0.48 0.44 0.40 0.40 0.44 0.44

time (sec)

N/A 0.002 0.000 0.025 0.213 0.236 0.018 0.270 0.002

Problem 8649

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 26 20 25 18 26 22 18 22

N.S.

1 1.24 0.95 1.19 0.86 1.24 1.05 0.86 1.05

time (sec)

N/A 0.160 0.097 0.313 0.360 0.237 0.065 0.274 13.457

Problem 8650

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

N.S.

1 1.11 1.07 1.00 1.19 1.11 0.81 0.96 0.96

time (sec)

N/A 0.086 0.538 0.059 0.203 0.241 0.063 0.265 0.089

Problem 8651

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

25 59 52 49 67 56 44 90 56

N.S.

1 2.36 2.08 1.96 2.68 2.24 1.76 3.60 2.24

time (sec)

N/A 0.334 10.830 0.136 0.246 0.251 0.094 0.279 13.536

Problem 8652

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 42 21 41 41 17 41 23

N.S.

1 0.00 1.27 0.64 1.24 1.24 0.52 1.24 0.70

time (sec)

N/A 0.000 5.416 0.302 0.244 0.259 0.067 0.270 13.223

Problem 8653

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B A B B B B B

verified

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

size

22 0 226 38 53 53 51 50 229

N.S.

1 0.00 10.27 1.73 2.41 2.41 2.32 2.27 10.41

time (sec)

N/A 0.000 6.147 1.249 0.314 0.255 0.069 0.277 14.270

Problem 8654

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 39 25 39 68 36 39 38 22

N.S.

1 1.26 0.81 1.26 2.19 1.16 1.26 1.23 0.71

time (sec)

N/A 0.147 0.086 1.366 0.212 0.251 2.928 0.280 14.547

Problem 8655

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 43 38 43 35 32 43 49

N.S.

1 0.00 1.43 1.27 1.43 1.17 1.07 1.43 1.63

time (sec)

N/A 0.000 0.180 0.283 0.516 0.242 0.439 0.426 14.780

Problem 8656

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

N.S.

1 0.60 0.60 0.70 0.60 0.60 0.50 0.70 0.60

time (sec)

N/A 0.000 0.001 0.510 0.196 0.230 0.018 0.262 0.023

Problem 8657

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

N.S.

1 0.88 0.88 0.94 0.88 0.88 0.62 0.88 0.81

time (sec)

N/A 0.002 0.000 0.046 0.185 0.233 0.021 0.258 0.026

Problem 8658

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

N.S.

1 1.37 1.21 1.26 1.32 0.89 0.89 1.32 1.21

time (sec)

N/A 0.242 0.130 0.299 0.237 0.266 1.223 0.268 14.920

Problem 8659

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

N.S.

1 1.00 0.91 0.82 1.09 0.77 0.77 3.36 0.77

time (sec)

N/A 0.089 0.044 0.787 0.356 0.237 0.737 0.325 14.559

Problem 8660

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

N.S.

1 0.86 0.86 0.93 0.86 0.86 0.86 1.00 0.86

time (sec)

N/A 0.012 0.006 0.477 0.199 0.255 0.044 0.282 0.050

Problem 8661

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 33 25 25 29 20 31 25

N.S.

1 0.00 1.32 1.00 1.00 1.16 0.80 1.24 1.00

time (sec)

N/A 0.000 8.810 0.075 0.245 0.241 0.113 0.264 0.226

Problem 8662

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

N.S.

1 0.85 0.85 0.90 0.85 0.85 0.85 0.90 0.85

time (sec)

N/A 0.005 0.002 0.089 0.186 0.228 0.032 0.269 0.037

Problem 8663

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

33 96 40 36 35 35 37 35 40

N.S.

1 2.91 1.21 1.09 1.06 1.06 1.12 1.06 1.21

time (sec)

N/A 0.200 7.423 0.154 0.364 0.241 0.075 0.324 14.187

Problem 8664

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

24 0 53 15 36 13 19 25 24

N.S.

1 0.00 2.21 0.62 1.50 0.54 0.79 1.04 1.00

time (sec)

N/A 0.000 0.512 0.286 0.323 0.276 81.358 0.291 14.193

Problem 8665

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 43 79 166 191 0 89 33761

N.S.

1 0.00 1.65 3.04 6.38 7.35 0.00 3.42 1298.50

time (sec)

N/A 0.000 0.096 0.609 0.227 0.262 0.000 0.374 24.855

Problem 8666

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 22 22 38 38 17 38 65

N.S.

1 0.00 1.10 1.10 1.90 1.90 0.85 1.90 3.25

time (sec)

N/A 0.000 0.315 1.908 0.236 0.253 0.098 0.272 14.101

Problem 8667

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 27 27 18 21 20 14 25 21

N.S.

1 1.04 1.04 0.69 0.81 0.77 0.54 0.96 0.81

time (sec)

N/A 0.076 0.031 0.230 0.236 0.241 0.057 0.270 12.984

Problem 8668

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 26 32 21 20 49 20 76 20

N.S.

1 1.00 1.23 0.81 0.77 1.88 0.77 2.92 0.77

time (sec)

N/A 0.289 0.151 0.391 0.257 0.258 0.165 0.277 12.976

Problem 8669

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 34 19 21 15 27 26 20 15

N.S.

1 1.55 0.86 0.95 0.68 1.23 1.18 0.91 0.68

time (sec)

N/A 0.043 0.041 0.102 0.269 0.249 0.072 0.271 12.844

Problem 8670

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

20 0 38 38 51 49 32 37 0

N.S.

1 0.00 1.90 1.90 2.55 2.45 1.60 1.85 0.00

time (sec)

N/A 0.000 0.626 76.105 0.243 0.259 0.471 0.374 0.000

Problem 8671

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

N.S.

1 0.58 0.58 0.50 0.58 0.58 0.50 0.58 0.46

time (sec)

N/A 0.002 0.000 0.059 0.190 0.257 0.018 0.264 0.027

Problem 8672

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 40 28 23 32 35 35

N.S.

1 1.41 1.41 1.82 1.27 1.05 1.45 1.59 1.59

time (sec)

N/A 0.472 0.201 0.575 0.282 0.277 0.136 0.289 13.382

Problem 8673

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

22 26 21 19 44 20 15 18 16

N.S.

1 1.18 0.95 0.86 2.00 0.91 0.68 0.82 0.73

time (sec)

N/A 0.025 0.010 0.078 0.198 0.253 0.074 0.269 13.764

Problem 8674

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

32 0 23 28 87 87 34 68 0

N.S.

1 0.00 0.72 0.88 2.72 2.72 1.06 2.12 0.00

time (sec)

N/A 0.000 0.049 0.591 0.236 0.282 0.079 0.282 0.000

Problem 8675

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

N.S.

1 1.20 0.92 1.00 0.96 0.96 1.04 0.96 1.12

time (sec)

N/A 0.077 0.560 0.117 0.196 0.250 0.057 0.267 0.180

Problem 8676

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

21 0 17 16 40 34 15 0 19

N.S.

1 0.00 0.81 0.76 1.90 1.62 0.71 0.00 0.90

time (sec)

N/A 0.000 1.219 0.811 0.323 0.267 0.165 0.000 14.537

Problem 8677

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

30 0 26 54 68 66 71 140 70

N.S.

1 0.00 0.87 1.80 2.27 2.20 2.37 4.67 2.33

time (sec)

N/A 0.000 0.102 4.521 0.222 0.274 0.304 0.343 14.365

Problem 8678

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

12 22 12 12 27 14 10 14 11

N.S.

1 1.83 1.00 1.00 2.25 1.17 0.83 1.17 0.92

time (sec)

N/A 0.451 0.304 0.184 0.214 0.253 0.046 0.263 13.809

Problem 8679

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 42 48 26 40 20 0 0

N.S.

1 0.00 1.40 1.60 0.87 1.33 0.67 0.00 0.00

time (sec)

N/A 0.000 0.145 34.147 0.247 0.246 0.199 0.000 0.000

Problem 8680

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 24 25 29 24 22 24 24

N.S.

1 0.89 0.89 0.93 1.07 0.89 0.81 0.89 0.89

time (sec)

N/A 0.056 0.084 0.691 0.302 0.242 0.109 0.270 14.717

Problem 8681

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 48 52 39 43 146 55 0

N.S.

1 0.00 1.71 1.86 1.39 1.54 5.21 1.96 0.00

time (sec)

N/A 0.000 5.124 0.230 0.234 0.243 0.301 0.253 0.000

Problem 8682

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

N.S.

1 0.59 0.59 0.48 0.45 0.59 0.48 0.48 0.45

time (sec)

N/A 0.004 0.004 0.033 0.182 0.248 0.035 0.256 13.355

Problem 8683

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

N.S.

1 0.00 1.11 0.94 0.89 0.89 0.94 0.89 3.50

time (sec)

N/A 0.000 0.146 0.724 0.215 0.263 0.083 0.282 14.469

Problem 8684

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

N.S.

1 0.64 0.64 0.64 1.56 0.68 0.56 0.60 0.60

time (sec)

N/A 0.078 0.041 0.092 0.190 0.249 0.039 0.255 13.811

Problem 8685

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 79 28 39 34 40 39 51 44

N.S.

1 3.16 1.12 1.56 1.36 1.60 1.56 2.04 1.76

time (sec)

N/A 0.898 1.160 21.481 0.261 0.275 0.132 0.259 14.217

Problem 8686

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 140 23 36 28 31 30 21

N.S.

1 1.00 5.00 0.82 1.29 1.00 1.11 1.07 0.75

time (sec)

N/A 0.047 0.637 0.172 0.198 0.258 0.084 0.260 0.191

Problem 8687

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

26 0 39 29 54 51 73 71 562

N.S.

1 0.00 1.50 1.12 2.08 1.96 2.81 2.73 21.62

time (sec)

N/A 0.000 5.050 1.518 0.322 0.251 0.120 0.321 14.805

Problem 8688

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

N.S.

1 0.00 0.79 0.74 0.71 0.71 0.76 0.71 0.79

time (sec)

N/A 0.000 2.333 0.885 0.283 0.271 0.133 0.264 13.630

Problem 8689

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 23 66 55 51 52 65 57 0

N.S.

1 1.05 3.00 2.50 2.32 2.36 2.95 2.59 0.00

time (sec)

N/A 0.377 0.545 0.829 0.252 0.259 0.152 0.272 0.000

Problem 8690

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

24 0 0 137 136 138 173 150 0

N.S.

1 0.00 0.00 5.71 5.67 5.75 7.21 6.25 0.00

time (sec)

N/A 0.000 0.000 1.601 0.336 0.287 0.952 1.130 0.000

Problem 8691

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

22 0 20 20 17 17 22 0 17

N.S.

1 0.00 0.91 0.91 0.77 0.77 1.00 0.00 0.77

time (sec)

N/A 0.000 0.367 2.953 0.218 0.258 0.334 0.000 13.931

Problem 8692

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 22 28 27 28 19 28 25

N.S.

1 0.00 0.85 1.08 1.04 1.08 0.73 1.08 0.96

time (sec)

N/A 0.000 4.053 69.646 0.322 0.255 2.319 0.260 13.311

Problem 8693

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

25 18 16 15 74 16 15 24 16

N.S.

1 0.72 0.64 0.60 2.96 0.64 0.60 0.96 0.64

time (sec)

N/A 0.029 0.075 0.101 0.208 0.271 0.088 0.252 0.097

Problem 8694

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

N.S.

1 1.35 1.00 0.95 0.90 1.30 0.75 0.90 0.90

time (sec)

N/A 0.010 0.011 0.038 0.189 0.255 0.057 0.255 12.920

Problem 8695

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A C A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 84 20 29 101 28 42 38 47

N.S.

1 3.82 0.91 1.32 4.59 1.27 1.91 1.73 2.14

time (sec)

N/A 0.373 0.140 0.182 0.240 0.271 0.065 0.251 13.607

Problem 8696

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 39 26 31 25 24 25 0

N.S.

1 0.00 1.39 0.93 1.11 0.89 0.86 0.89 0.00

time (sec)

N/A 0.000 1.129 0.398 0.225 0.274 0.091 0.306 0.000

Problem 8697

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 40 27 16 40 40 37 40 39

N.S.

1 2.00 1.35 0.80 2.00 2.00 1.85 2.00 1.95

time (sec)

N/A 0.007 0.011 0.288 0.185 0.261 0.033 0.251 0.054

Problem 8698

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

35 0 51 45 43 43 42 47 47

N.S.

1 0.00 1.46 1.29 1.23 1.23 1.20 1.34 1.34

time (sec)

N/A 0.000 4.923 0.097 0.219 0.265 0.125 0.295 13.766

Problem 8699

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

N.S.

1 0.61 0.72 0.50 0.50 0.50 0.56 0.50 0.44

time (sec)

N/A 0.001 0.001 0.043 0.180 0.248 0.019 0.257 0.033

Problem 8700

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

N.S.

1 1.11 0.83 1.11 1.06 1.06 0.94 1.06 0.94

time (sec)

N/A 0.058 0.128 0.064 0.186 0.259 0.046 0.259 0.064