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

Integrals 9501 to 9600

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 9501

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

N.S.

1 1.00 0.96 1.07 1.11 1.00 1.07 1.19 1.11

time (sec)

N/A 0.010 0.017 0.139 0.198 0.305 0.084 0.274 0.079

Problem 9502

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 32 32 29 26 28 29 28 28

N.S.

1 1.23 1.23 1.12 1.00 1.08 1.12 1.08 1.08

time (sec)

N/A 0.136 0.050 0.770 0.230 0.248 0.103 0.283 13.654

Problem 9503

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

32 0 28 25 31 24 24 49 0

N.S.

1 0.00 0.88 0.78 0.97 0.75 0.75 1.53 0.00

time (sec)

N/A 0.000 0.795 2.961 0.336 0.254 0.115 0.297 0.000

Problem 9504

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 18 18 18 15 26 15 29 17

N.S.

1 0.75 0.75 0.75 0.62 1.08 0.62 1.21 0.71

time (sec)

N/A 0.144 0.098 0.164 0.219 0.253 0.075 0.287 14.811

Problem 9505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

33 0 32 142 32 41 0 0 28

N.S.

1 0.00 0.97 4.30 0.97 1.24 0.00 0.00 0.85

time (sec)

N/A 0.000 0.313 0.089 0.405 0.285 0.000 0.000 15.882

Problem 9506

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

30 0 22 32 42 24 0 53 20

N.S.

1 0.00 0.73 1.07 1.40 0.80 0.00 1.77 0.67

time (sec)

N/A 0.000 0.803 2.653 0.250 0.283 0.000 0.285 15.373

Problem 9507

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

N.S.

1 1.00 0.88 0.88 0.81 0.81 0.62 0.81 0.81

time (sec)

N/A 0.080 0.034 0.154 0.230 0.259 0.063 0.274 0.175

Problem 9508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F A B A A F B

verified

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

size

24 38 0 26 92 29 39 0 29

N.S.

1 1.58 0.00 1.08 3.83 1.21 1.62 0.00 1.21

time (sec)

N/A 0.346 0.000 3.809 0.366 0.258 1.132 0.000 14.856

Problem 9509

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 42 37 30 66 36 26 32 25

N.S.

1 1.50 1.32 1.07 2.36 1.29 0.93 1.14 0.89

time (sec)

N/A 0.248 0.082 0.590 0.228 0.243 0.127 0.269 14.316

Problem 9510

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

N.S.

1 1.18 1.00 0.96 0.93 0.93 0.96 0.93 0.82

time (sec)

N/A 0.015 0.010 0.130 0.196 0.248 0.079 0.262 14.157

Problem 9511

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

30 0 71 73 78 71 73 0 87

N.S.

1 0.00 2.37 2.43 2.60 2.37 2.43 0.00 2.90

time (sec)

N/A 0.000 0.153 0.631 0.610 0.237 0.388 0.000 15.222

Problem 9512

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

28 17 17 22 0 21 17 72 21

N.S.

1 0.61 0.61 0.79 0.00 0.75 0.61 2.57 0.75

time (sec)

N/A 0.304 0.420 3.060 0.000 0.250 0.167 0.426 15.198

Problem 9513

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

33 0 41 70 40 38 48 49 39

N.S.

1 0.00 1.24 2.12 1.21 1.15 1.45 1.48 1.18

time (sec)

N/A 0.000 0.069 46.391 0.333 0.249 0.501 0.509 16.332

Problem 9514

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 34 30 39 32 29 0 30

N.S.

1 0.00 1.00 0.88 1.15 0.94 0.85 0.00 0.88

time (sec)

N/A 0.000 0.278 1.416 0.270 0.247 0.261 0.000 15.185

Problem 9515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 68 70 56 57 50 61 0 62

N.S.

1 2.12 2.19 1.75 1.78 1.56 1.91 0.00 1.94

time (sec)

N/A 0.205 0.089 0.923 0.206 0.258 4.511 0.000 15.550

Problem 9516

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

23 23 21 17 0 16 19 0 16

N.S.

1 1.00 0.91 0.74 0.00 0.70 0.83 0.00 0.70

time (sec)

N/A 0.016 0.026 1.000 0.000 0.241 0.129 0.000 13.868

Problem 9517

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

N.S.

1 0.00 0.88 0.73 0.65 0.69 0.65 0.96 0.73

time (sec)

N/A 0.000 0.141 0.249 0.245 0.247 0.102 0.274 0.220

Problem 9518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 62 82 275 210 119 121 0

N.S.

1 0.00 2.07 2.73 9.17 7.00 3.97 4.03 0.00

time (sec)

N/A 0.000 0.128 3.323 0.359 0.252 0.249 0.334 0.000

Problem 9519

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

N.S.

1 1.53 1.07 1.00 1.27 0.93 1.00 1.27 0.93

time (sec)

N/A 0.007 0.004 0.106 0.198 0.240 0.053 0.275 13.980

Problem 9520

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

5 5 5 5 4 4 3 4 5

N.S.

1 1.00 1.00 1.00 0.80 0.80 0.60 0.80 1.00

time (sec)

N/A 0.001 0.001 0.142 0.198 0.237 0.037 0.268 0.022

Problem 9521

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

N.S.

1 0.91 0.91 0.91 0.87 0.87 0.83 0.87 0.04

time (sec)

N/A 0.130 0.017 0.730 0.197 0.244 0.797 1.228 16.280

Problem 9522

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

N.S.

1 1.11 1.00 1.11 0.83 1.06 0.83 1.06 0.89

time (sec)

N/A 0.083 0.111 0.723 0.262 0.252 0.083 0.262 14.413

Problem 9523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 33 42 30 63 42 0 0

N.S.

1 0.00 1.22 1.56 1.11 2.33 1.56 0.00 0.00

time (sec)

N/A 0.000 0.485 160.295 0.574 0.262 0.357 0.000 0.000

Problem 9524

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

N.S.

1 1.80 0.80 0.75 1.00 0.70 0.50 0.70 0.70

time (sec)

N/A 0.211 0.152 1.860 0.327 0.242 0.060 0.266 15.423

Problem 9525

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

13 0 20 21 15 21 17 37 32

N.S.

1 0.00 1.54 1.62 1.15 1.62 1.31 2.85 2.46

time (sec)

N/A 0.000 0.220 0.319 0.309 0.237 0.081 0.264 14.063

Problem 9526

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

N.S.

1 0.62 0.62 0.62 0.54 0.54 0.38 0.54 0.54

time (sec)

N/A 0.001 0.001 0.118 0.208 0.259 0.031 0.268 0.022

Problem 9527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B B A A B

verified

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

size

26 0 26 27 45 45 34 26 26

N.S.

1 0.00 1.00 1.04 1.73 1.73 1.31 1.00 1.00

time (sec)

N/A 0.000 0.449 1.739 0.250 0.241 0.305 0.267 14.245

Problem 9528

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

N.S.

1 1.08 0.84 0.96 0.68 0.92 0.80 0.68 0.80

time (sec)

N/A 0.283 0.264 0.187 0.276 0.253 0.150 0.272 13.819

Problem 9529

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

N.S.

1 0.00 1.03 0.93 1.07 0.90 0.83 1.59 1.07

time (sec)

N/A 0.000 0.201 4.515 0.312 0.244 1.488 2.725 15.246

Problem 9530

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

N.S.

1 1.32 1.32 1.26 1.21 1.21 1.05 1.26 1.21

time (sec)

N/A 0.004 0.003 0.084 0.207 0.233 0.041 0.261 0.029

Problem 9531

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

N.S.

1 0.00 1.10 1.50 1.35 1.25 1.10 1.60 1.25

time (sec)

N/A 0.000 0.299 4.048 0.321 0.247 0.229 0.292 17.057

Problem 9532

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

27 0 48 52 94 94 66 114 0

N.S.

1 0.00 1.78 1.93 3.48 3.48 2.44 4.22 0.00

time (sec)

N/A 0.000 0.171 17.835 0.307 0.270 0.200 0.448 0.000

Problem 9533

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

31 0 48 30 31 33 26 0 31

N.S.

1 0.00 1.55 0.97 1.00 1.06 0.84 0.00 1.00

time (sec)

N/A 0.000 0.826 0.765 0.251 0.250 0.235 0.000 0.343

Problem 9534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 41 36 36 64 34 32 0 0

N.S.

1 1.78 1.57 1.57 2.78 1.48 1.39 0.00 0.00

time (sec)

N/A 0.815 0.210 4.704 0.331 0.271 49.159 0.000 0.000

Problem 9535

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

N.S.

1 0.85 0.75 0.70 0.80 0.80 0.75 0.80 0.75

time (sec)

N/A 0.146 0.114 0.337 0.243 0.252 0.072 0.258 17.324

Problem 9536

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

25 0 24 28 43 39 29 53 0

N.S.

1 0.00 0.96 1.12 1.72 1.56 1.16 2.12 0.00

time (sec)

N/A 0.000 5.119 61.593 0.342 0.260 0.249 0.278 0.000

Problem 9537

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 81 47 84 75 68 102 119 89

N.S.

1 2.53 1.47 2.62 2.34 2.12 3.19 3.72 2.78

time (sec)

N/A 0.059 0.197 0.652 0.215 0.249 0.264 0.265 15.797

Problem 9538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 67 39 52 515 85 49 54 52

N.S.

1 2.39 1.39 1.86 18.39 3.04 1.75 1.93 1.86

time (sec)

N/A 0.359 0.112 0.130 0.269 0.243 0.145 0.275 15.844

Problem 9539

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 31 25 30 38 24 30 26

N.S.

1 0.00 1.19 0.96 1.15 1.46 0.92 1.15 1.00

time (sec)

N/A 0.000 2.057 0.849 0.248 0.270 0.117 0.277 16.409

Problem 9540

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 39 22 40 42 15 42 24

N.S.

1 0.00 1.62 0.92 1.67 1.75 0.62 1.75 1.00

time (sec)

N/A 0.000 1.299 0.185 0.333 0.250 0.090 0.281 0.241

Problem 9541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 164 28 28 0 27 0 0 62

N.S.

1 6.07 1.04 1.04 0.00 1.00 0.00 0.00 2.30

time (sec)

N/A 0.801 0.086 1.274 0.000 0.250 0.000 0.000 15.671

Problem 9542

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 37 34 37 37 36 37 33

N.S.

1 0.00 1.68 1.55 1.68 1.68 1.64 1.68 1.50

time (sec)

N/A 0.000 5.118 0.923 0.247 0.235 0.148 0.274 15.028

Problem 9543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A A B B

verified

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

size

26 0 40 27 0 34 24 68 25

N.S.

1 0.00 1.54 1.04 0.00 1.31 0.92 2.62 0.96

time (sec)

N/A 0.000 1.993 0.877 0.000 0.246 6.242 0.293 14.647

Problem 9544

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 39 34 28 32 26 22 26 33

N.S.

1 1.50 1.31 1.08 1.23 1.00 0.85 1.00 1.27

time (sec)

N/A 0.724 4.032 4.203 0.447 0.245 0.276 0.342 14.410

Problem 9545

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

23 20 14 17 23 16 14 21 16

N.S.

1 0.87 0.61 0.74 1.00 0.70 0.61 0.91 0.70

time (sec)

N/A 0.043 0.075 0.296 0.233 0.232 0.050 0.265 0.077

Problem 9546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 23 57 29 108 26 27 26 19

N.S.

1 1.10 2.71 1.38 5.14 1.24 1.29 1.24 0.90

time (sec)

N/A 0.309 0.129 20.806 0.255 0.255 0.372 0.336 14.667

Problem 9547

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

N.S.

1 0.93 0.85 0.81 0.89 1.00 0.89 0.78 0.89

time (sec)

N/A 0.046 0.008 1.158 0.211 0.246 0.062 0.281 0.097

Problem 9548

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

N.S.

1 0.80 0.80 0.80 1.05 0.75 0.75 1.05 0.75

time (sec)

N/A 0.128 0.005 0.193 0.190 0.244 0.077 0.262 14.706

Problem 9549

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

N.S.

1 1.31 1.00 1.00 0.92 0.92 0.77 0.92 0.92

time (sec)

N/A 0.143 0.040 0.106 0.276 0.251 0.112 0.303 15.304

Problem 9550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 30 31 42 39 17 1136 0

N.S.

1 0.00 1.07 1.11 1.50 1.39 0.61 40.57 0.00

time (sec)

N/A 0.000 2.266 0.970 0.266 0.268 0.151 0.323 0.000

Problem 9551

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

34 0 37 31 86 51 31 0 41

N.S.

1 0.00 1.09 0.91 2.53 1.50 0.91 0.00 1.21

time (sec)

N/A 0.000 0.160 3.541 0.407 0.274 0.172 0.000 15.024

Problem 9552

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

23 98 22 87 65 65 88 65 75

N.S.

1 4.26 0.96 3.78 2.83 2.83 3.83 2.83 3.26

time (sec)

N/A 0.049 0.073 0.395 0.203 0.250 0.045 0.261 15.276

Problem 9553

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

N.S.

1 1.00 1.00 0.91 0.91 0.91 0.73 0.91 0.82

time (sec)

N/A 0.001 0.001 0.118 0.206 0.233 0.025 0.270 0.036

Problem 9554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F F A B B B B B

verified

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

size

29 0 0 48 53 56 53 58 491

N.S.

1 0.00 0.00 1.66 1.83 1.93 1.83 2.00 16.93

time (sec)

N/A 0.000 0.000 1.796 0.339 0.273 0.727 0.309 17.601

Problem 9555

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

34 0 42 31 29 33 31 68 82

N.S.

1 0.00 1.24 0.91 0.85 0.97 0.91 2.00 2.41

time (sec)

N/A 0.000 2.884 0.697 0.512 0.238 0.342 0.277 14.014

Problem 9556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 35 16 24 31 31 48 16 28

N.S.

1 2.19 1.00 1.50 1.94 1.94 3.00 1.00 1.75

time (sec)

N/A 0.029 0.010 0.158 0.219 0.247 0.173 0.262 0.103

Problem 9557

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

20 40 19 17 285 17 20 17 17

N.S.

1 2.00 0.95 0.85 14.25 0.85 1.00 0.85 0.85

time (sec)

N/A 0.036 0.358 0.369 0.365 0.240 0.088 0.264 12.607

Problem 9558

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

22 87 60 46 197 59 65 66 65

N.S.

1 3.95 2.73 2.09 8.95 2.68 2.95 3.00 2.95

time (sec)

N/A 0.534 0.155 0.569 0.357 0.258 0.320 0.274 13.099

Problem 9559

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

N.S.

1 1.00 1.00 1.07 1.00 1.00 0.71 1.00 0.07

time (sec)

N/A 0.025 0.011 0.165 0.216 0.241 0.142 0.260 17.704

Problem 9560

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

N.S.

1 0.00 0.84 0.74 0.84 0.68 0.63 0.68 0.68

time (sec)

N/A 0.000 0.425 0.919 0.230 0.256 0.065 0.266 0.105

Problem 9561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 29 21 22 21 21 19 32 21

N.S.

1 1.07 0.78 0.81 0.78 0.78 0.70 1.19 0.78

time (sec)

N/A 0.169 0.187 0.550 0.254 0.253 0.086 0.270 14.073

Problem 9562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 0 0 76 48 42 0 97 0

N.S.

1 0.00 0.00 2.45 1.55 1.35 0.00 3.13 0.00

time (sec)

N/A 0.000 0.000 68.300 0.375 0.249 0.000 0.459 0.000

Problem 9563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C B A A A A A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

38 4395 90 37 37 54 32 37 38

N.S.

1 115.66 2.37 0.97 0.97 1.42 0.84 0.97 1.00

time (sec)

N/A 39.387 0.063 0.248 0.206 0.242 0.571 0.274 0.222

Problem 9564

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 30 29 28 28 26 28 28

N.S.

1 0.00 1.07 1.04 1.00 1.00 0.93 1.00 1.00

time (sec)

N/A 0.000 0.188 5.275 0.339 0.252 0.559 0.323 13.672

Problem 9565

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

N.S.

1 0.25 0.25 0.31 0.25 0.25 0.19 0.31 0.25

time (sec)

N/A 0.000 0.000 0.433 0.204 0.250 0.029 0.267 0.010

Problem 9566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A N/A N/A No TBD TBD TBD TBD TBD

size

30 0 0 58 0 30 24 0 53

N.S.

1 0.00 0.00 1.93 0.00 1.00 0.80 0.00 1.77

time (sec)

N/A 0.000 0.000 0.844 0.000 0.256 33.340 0.000 14.080

Problem 9567

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 25 29 28 28 39 32 34

N.S.

1 2.00 1.25 1.45 1.40 1.40 1.95 1.60 1.70

time (sec)

N/A 0.041 0.038 0.165 0.186 0.231 0.455 0.272 0.163

Problem 9568

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

N.S.

1 1.05 0.91 1.00 1.00 0.91 0.91 1.00 1.00

time (sec)

N/A 0.051 0.024 0.556 0.207 0.240 0.292 0.273 13.698

Problem 9569

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

N.S.

1 1.00 1.00 1.00 0.82 0.94 0.88 0.94 1.06

time (sec)

N/A 0.150 0.024 0.444 0.274 0.252 0.132 0.273 14.006

Problem 9570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 31 23 31 22 20 3138 0

N.S.

1 0.00 1.19 0.88 1.19 0.85 0.77 120.69 0.00

time (sec)

N/A 0.000 0.154 5.938 0.371 0.245 0.262 0.780 0.000

Problem 9571

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

26 30 48 27 26 20 27 26 27

N.S.

1 1.15 1.85 1.04 1.00 0.77 1.04 1.00 1.04

time (sec)

N/A 0.065 0.038 1.297 0.395 0.259 0.085 0.267 0.153

Problem 9572

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

27 29 31 24 0 29 22 32 22

N.S.

1 1.07 1.15 0.89 0.00 1.07 0.81 1.19 0.81

time (sec)

N/A 0.124 0.765 1.677 0.000 0.247 0.092 0.266 0.118

Problem 9573

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

29 50 36 38 44 44 46 44 34

N.S.

1 1.72 1.24 1.31 1.52 1.52 1.59 1.52 1.17

time (sec)

N/A 0.012 0.023 0.112 0.204 0.237 0.030 0.262 0.053

Problem 9574

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

28 78 47 41 148 49 56 58 42

N.S.

1 2.79 1.68 1.46 5.29 1.75 2.00 2.07 1.50

time (sec)

N/A 0.311 0.093 0.223 0.240 0.260 0.178 0.272 13.855

Problem 9575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

18 0 18 17 20 16 14 247 0

N.S.

1 0.00 1.00 0.94 1.11 0.89 0.78 13.72 0.00

time (sec)

N/A 0.000 10.043 2.273 0.328 0.246 0.127 0.314 0.000

Problem 9576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A C A A B

verified

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

size

22 0 22 23 31 53 22 36 18

N.S.

1 0.00 1.00 1.05 1.41 2.41 1.00 1.64 0.82

time (sec)

N/A 0.000 0.348 0.776 0.369 0.257 0.149 0.287 13.657

Problem 9577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 23 19 16 15 22 19 22 15

N.S.

1 1.15 0.95 0.80 0.75 1.10 0.95 1.10 0.75

time (sec)

N/A 0.011 0.006 0.115 0.223 0.259 0.080 0.271 0.096

Problem 9578

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

N.S.

1 0.84 0.84 0.74 0.84 0.84 0.63 0.84 0.68

time (sec)

N/A 0.002 0.000 0.156 0.204 0.232 0.032 0.265 0.030

Problem 9579

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

N.S.

1 1.36 1.00 1.27 1.18 1.23 1.32 1.18 1.27

time (sec)

N/A 0.344 2.083 0.916 0.277 0.257 0.167 0.279 12.540

Problem 9580

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

17 74 88 51 91 91 100 87 109

N.S.

1 4.35 5.18 3.00 5.35 5.35 5.88 5.12 6.41

time (sec)

N/A 0.102 0.053 0.345 0.203 0.241 0.544 0.270 12.702

Problem 9581

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

19 0 29 28 92 27 53 92 58

N.S.

1 0.00 1.53 1.47 4.84 1.42 2.79 4.84 3.05

time (sec)

N/A 0.000 5.171 2.222 0.245 0.245 0.632 0.372 13.244

Problem 9582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 0 0 56 54 45 70 74 0

N.S.

1 0.00 0.00 2.24 2.16 1.80 2.80 2.96 0.00

time (sec)

N/A 0.000 0.000 3.648 0.325 0.255 0.224 0.304 0.000

Problem 9583

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

28 0 27 26 0 24 20 39 25

N.S.

1 0.00 0.96 0.93 0.00 0.86 0.71 1.39 0.89

time (sec)

N/A 0.000 0.081 2.284 0.000 0.254 0.446 0.298 14.692

Problem 9584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A B F B

verified

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

size

28 0 28 48 85 47 49 0 72

N.S.

1 0.00 1.00 1.71 3.04 1.68 1.75 0.00 2.57

time (sec)

N/A 0.000 0.302 2.405 0.416 0.264 0.554 0.000 14.913

Problem 9585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 40 31 34 37 34 39 153 0

N.S.

1 1.21 0.94 1.03 1.12 1.03 1.18 4.64 0.00

time (sec)

N/A 0.379 0.056 3.349 0.325 0.243 0.237 0.321 0.000

Problem 9586

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 49 58 52 52 153 177 0

N.S.

1 0.00 1.75 2.07 1.86 1.86 5.46 6.32 0.00

time (sec)

N/A 0.000 0.074 1.429 0.244 0.256 0.435 0.296 0.000

Problem 9587

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 21 37 24 34 31 71 75

N.S.

1 0.00 0.78 1.37 0.89 1.26 1.15 2.63 2.78

time (sec)

N/A 0.000 5.093 2.349 0.371 0.269 0.215 0.301 14.838

Problem 9588

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

N.S.

1 1.16 1.42 1.21 1.11 1.37 1.16 1.16 1.32

time (sec)

N/A 0.008 0.007 0.155 0.193 0.249 0.059 0.264 13.907

Problem 9589

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 29 42 26 26 29 28

N.S.

1 1.04 1.04 1.04 1.50 0.93 0.93 1.04 1.00

time (sec)

N/A 0.304 0.201 0.699 0.253 0.255 0.160 0.270 14.448

Problem 9590

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

23 35 23 20 38 30 20 26 18

N.S.

1 1.52 1.00 0.87 1.65 1.30 0.87 1.13 0.78

time (sec)

N/A 0.039 0.059 0.471 0.233 0.255 0.098 0.270 14.061

Problem 9591

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 53 32 46 33 31 40 31

N.S.

1 0.00 1.77 1.07 1.53 1.10 1.03 1.33 1.03

time (sec)

N/A 0.000 0.112 4.590 0.252 0.261 0.282 0.283 14.843

Problem 9592

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

N.S.

1 0.70 0.70 0.75 0.70 0.70 0.85 0.70 0.70

time (sec)

N/A 0.003 0.003 0.058 0.190 0.252 0.032 0.295 0.075

Problem 9593

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

N.S.

1 0.54 0.50 0.35 0.42 0.42 0.54 0.42 0.42

time (sec)

N/A 0.001 0.001 0.138 0.199 0.235 0.033 0.273 0.070

Problem 9594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 144 30 30 46 47 61 0 26

N.S.

1 6.26 1.30 1.30 2.00 2.04 2.65 0.00 1.13

time (sec)

N/A 0.615 0.361 6.650 0.259 0.276 0.294 0.000 14.963

Problem 9595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F C A F A A F B

verified

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

size

26 0 85 22 0 21 24 0 21

N.S.

1 0.00 3.27 0.85 0.00 0.81 0.92 0.00 0.81

time (sec)

N/A 0.000 3.940 3.155 0.000 0.246 18.118 0.000 15.762

Problem 9596

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 22 19 24 21 20 0 26

N.S.

1 0.00 1.00 0.86 1.09 0.95 0.91 0.00 1.18

time (sec)

N/A 0.000 5.243 5.314 0.552 0.268 24.506 0.000 14.392

Problem 9597

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

17 49 17 28 15 20 14 0 15

N.S.

1 2.88 1.00 1.65 0.88 1.18 0.82 0.00 0.88

time (sec)

N/A 0.052 0.033 30.648 0.271 0.260 0.136 0.000 14.465

Problem 9598

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

N.S.

1 0.00 1.04 1.07 1.14 1.04 0.93 1.11 1.04

time (sec)

N/A 0.000 0.045 2.655 0.318 0.252 0.275 0.301 15.758

Problem 9599

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

N.S.

1 0.93 1.07 0.93 0.87 0.87 0.80 0.87 0.87

time (sec)

N/A 0.041 0.033 0.070 0.203 0.266 0.108 0.274 13.752

Problem 9600

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

N.S.

1 0.94 0.94 0.94 0.88 0.88 0.82 0.88 0.88

time (sec)

N/A 0.184 0.017 0.077 0.210 0.255 0.098 0.268 15.335

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