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

Integrals 4501 to 4600

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 4501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

21 0 22 30 19 24 0 0 18

N.S.

1 0.00 1.05 1.43 0.90 1.14 0.00 0.00 0.86

time (sec)

N/A 0.000 0.684 5.054 0.371 0.226 0.000 0.000 15.150

Problem 4502

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

N.S.

1 0.96 0.96 0.79 0.75 1.42 0.79 1.42 0.75

time (sec)

N/A 0.124 0.179 0.127 0.237 0.234 0.138 0.265 14.968

Problem 4503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F A A A A F B

verified

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

size

19 19 0 18 17 25 17 0 21

N.S.

1 1.00 0.00 0.95 0.89 1.32 0.89 0.00 1.11

time (sec)

N/A 0.082 0.000 0.115 0.397 0.263 0.122 0.000 0.171

Problem 4504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B A A B

verified

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

size

27 0 25 23 47 97 22 45 68

N.S.

1 0.00 0.93 0.85 1.74 3.59 0.81 1.67 2.52

time (sec)

N/A 0.000 2.802 233.866 0.533 0.273 1.003 0.283 15.468

Problem 4505

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

29 0 27 28 33 26 22 150 0

N.S.

1 0.00 0.93 0.97 1.14 0.90 0.76 5.17 0.00

time (sec)

N/A 0.000 0.080 0.710 0.338 0.251 0.251 0.351 0.000

Problem 4506

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

22 0 24 20 17 59 20 0 20

N.S.

1 0.00 1.09 0.91 0.77 2.68 0.91 0.00 0.91

time (sec)

N/A 0.000 0.216 0.266 0.276 0.255 0.117 0.000 12.416

Problem 4507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 93 23 32 31 48 29 0 33

N.S.

1 4.43 1.10 1.52 1.48 2.29 1.38 0.00 1.57

time (sec)

N/A 0.605 0.386 0.423 0.352 0.251 0.120 0.000 14.368

Problem 4508

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

19 47 19 20 19 19 19 21 14

N.S.

1 2.47 1.00 1.05 1.00 1.00 1.00 1.11 0.74

time (sec)

N/A 0.054 0.013 0.075 0.185 0.231 0.088 0.270 0.114

Problem 4509

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

25 0 25 25 60 60 78 70 0

N.S.

1 0.00 1.00 1.00 2.40 2.40 3.12 2.80 0.00

time (sec)

N/A 0.000 0.589 3.349 0.291 0.236 0.229 0.294 0.000

Problem 4510

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

16 26 18 23 45 22 20 22 16

N.S.

1 1.62 1.12 1.44 2.81 1.38 1.25 1.38 1.00

time (sec)

N/A 0.082 0.190 0.028 0.198 0.243 0.048 0.261 13.533

Problem 4511

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 27 24 25 25 36 24 25 53

N.S.

1 0.84 0.75 0.78 0.78 1.12 0.75 0.78 1.66

time (sec)

N/A 0.066 0.037 0.041 0.195 0.249 0.129 0.276 0.140

Problem 4512

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

N.S.

1 0.95 1.05 1.00 1.10 1.05 1.10 1.15 0.95

time (sec)

N/A 0.055 0.015 0.032 0.192 0.237 0.194 0.290 0.227

Problem 4513

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

N.S.

1 0.70 0.70 0.74 0.70 0.87 0.61 0.70 0.74

time (sec)

N/A 0.008 0.002 0.020 0.189 0.232 0.050 0.265 12.976

Problem 4514

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

N.S.

1 1.32 1.16 0.95 1.05 1.05 0.89 1.05 0.89

time (sec)

N/A 0.006 0.007 0.025 0.191 0.224 0.019 0.260 13.316

Problem 4515

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 33 24 21 30 33 17 21 33

N.S.

1 1.38 1.00 0.88 1.25 1.38 0.71 0.88 1.38

time (sec)

N/A 0.281 0.172 0.221 0.223 0.243 0.057 0.274 13.733

Problem 4516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 26 23 0 43 24 94 42

N.S.

1 1.00 1.08 0.96 0.00 1.79 1.00 3.92 1.75

time (sec)

N/A 0.178 0.152 0.113 0.000 0.243 0.065 0.264 13.605

Problem 4517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 38 28 30 27 0 0 27

N.S.

1 0.00 1.41 1.04 1.11 1.00 0.00 0.00 1.00

time (sec)

N/A 0.000 0.338 42.517 0.443 0.245 0.000 0.000 14.061

Problem 4518

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

N.S.

1 0.00 0.67 0.63 0.67 0.67 0.57 0.67 0.60

time (sec)

N/A 0.000 0.109 0.610 0.222 0.228 0.059 0.280 13.771

Problem 4519

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

N.S.

1 0.00 1.19 1.00 1.54 1.27 1.04 0.88 0.88

time (sec)

N/A 0.000 3.144 0.410 0.261 0.246 0.126 0.268 13.717

Problem 4520

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

38 57 54 44 40 40 73 0 58

N.S.

1 1.50 1.42 1.16 1.05 1.05 1.92 0.00 1.53

time (sec)

N/A 0.173 0.053 0.211 0.194 0.249 1.000 0.000 0.829

Problem 4521

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

34 126 152 104 97 94 107 110 94

N.S.

1 3.71 4.47 3.06 2.85 2.76 3.15 3.24 2.76

time (sec)

N/A 0.067 0.018 0.083 0.210 0.238 0.436 0.270 13.656

Problem 4522

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 20 18 27 20 22 0 29

N.S.

1 0.00 0.83 0.75 1.12 0.83 0.92 0.00 1.21

time (sec)

N/A 0.000 2.185 0.512 0.408 0.248 1.426 0.000 14.387

Problem 4523

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.001 0.001 0.013 0.188 0.243 0.026 0.262 0.017

Problem 4524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 47 25 22 28 28 34 145 22

N.S.

1 1.81 0.96 0.85 1.08 1.08 1.31 5.58 0.85

time (sec)

N/A 0.422 0.121 0.196 0.356 0.258 0.151 0.296 14.443

Problem 4525

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

N.S.

1 0.62 0.71 0.58 0.50 0.54 0.42 0.58 0.54

time (sec)

N/A 0.005 0.003 0.025 0.196 0.235 0.045 0.279 0.040

Problem 4526

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

N.S.

1 1.44 1.24 1.20 1.20 1.20 1.24 1.20 1.16

time (sec)

N/A 0.056 0.034 0.058 0.190 0.243 0.347 0.271 0.180

Problem 4527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 71 25 28 17 22 19 18 0

N.S.

1 2.84 1.00 1.12 0.68 0.88 0.76 0.72 0.00

time (sec)

N/A 0.709 0.253 3.518 0.247 0.235 0.242 0.289 0.000

Problem 4528

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 12 16 15 13 13 15 13 17

N.S.

1 0.92 1.23 1.15 1.00 1.00 1.15 1.00 1.31

time (sec)

N/A 0.002 0.002 0.013 0.202 0.224 0.021 0.260 13.732

Problem 4529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 22 22 21 64 39 0 0 18

N.S.

1 0.92 0.92 0.88 2.67 1.62 0.00 0.00 0.75

time (sec)

N/A 0.071 0.286 7.811 0.368 0.252 0.000 0.000 14.121

Problem 4530

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

N.S.

1 0.97 0.79 0.79 0.66 0.97 1.07 0.66 0.72

time (sec)

N/A 0.337 0.155 4.355 0.385 0.234 0.132 0.274 11.653

Problem 4531

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

N.S.

1 1.00 1.17 0.94 1.00 0.89 1.06 0.89 0.83

time (sec)

N/A 0.084 0.076 0.197 0.234 0.237 0.046 0.260 11.201

Problem 4532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

27 0 24 23 22 22 19 22 25

N.S.

1 0.00 0.89 0.85 0.81 0.81 0.70 0.81 0.93

time (sec)

N/A 0.000 0.373 0.189 0.280 0.271 0.121 0.304 12.668

Problem 4533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 24 24 370 264 167 236 183 187

N.S.

1 0.83 0.83 12.76 9.10 5.76 8.14 6.31 6.45

time (sec)

N/A 0.413 0.084 2.307 0.316 0.254 0.487 1.757 13.483

Problem 4534

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

N.S.

1 0.87 0.87 0.74 0.70 0.70 0.61 0.70 0.74

time (sec)

N/A 0.031 0.033 0.043 0.191 0.245 0.060 0.263 13.163

Problem 4535

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

N.S.

1 1.11 1.21 1.05 1.00 1.00 1.00 1.05 1.00

time (sec)

N/A 0.026 0.027 0.386 0.187 0.233 0.058 0.262 0.059

Problem 4536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F B A B B

verified

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

size

32 0 33 34 0 68 27 68 36

N.S.

1 0.00 1.03 1.06 0.00 2.12 0.84 2.12 1.12

time (sec)

N/A 0.000 0.064 44.118 0.000 0.240 0.249 0.383 14.164

Problem 4537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 50 50 24 24 42 26 24 24

N.S.

1 2.08 2.08 1.00 1.00 1.75 1.08 1.00 1.00

time (sec)

N/A 0.045 0.506 0.079 0.196 0.250 0.072 0.271 0.070

Problem 4538

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

32 0 60 70 72 70 48 85 109

N.S.

1 0.00 1.88 2.19 2.25 2.19 1.50 2.66 3.41

time (sec)

N/A 0.000 0.119 0.243 0.237 0.236 0.081 0.301 13.386

Problem 4539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B B A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 61 61 56 55 57 53 61 55

N.S.

1 2.10 2.10 1.93 1.90 1.97 1.83 2.10 1.90

time (sec)

N/A 0.039 0.025 0.065 0.183 0.249 0.091 0.265 13.131

Problem 4540

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

N.S.

1 0.57 0.57 0.43 0.39 0.43 0.43 0.39 0.43

time (sec)

N/A 0.003 0.001 0.019 0.199 0.224 0.026 0.270 0.026

Problem 4541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

23 0 80 36 59 59 0 35 49468

N.S.

1 0.00 3.48 1.57 2.57 2.57 0.00 1.52 2150.78

time (sec)

N/A 0.000 0.510 0.216 0.313 0.245 0.000 0.268 20.168

Problem 4542

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

26 0 37 51 41 47 39 50 42

N.S.

1 0.00 1.42 1.96 1.58 1.81 1.50 1.92 1.62

time (sec)

N/A 0.000 0.289 0.342 0.214 0.246 72.504 0.657 0.649

Problem 4543

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

30 226 29 27 104 123 110 528 25

N.S.

1 7.53 0.97 0.90 3.47 4.10 3.67 17.60 0.83

time (sec)

N/A 0.588 0.279 1.375 0.377 0.244 13.864 0.407 0.929

Problem 4544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F B A B B

verified

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

size

20 0 20 27 0 41 31 40 16

N.S.

1 0.00 1.00 1.35 0.00 2.05 1.55 2.00 0.80

time (sec)

N/A 0.000 0.525 0.312 0.000 0.241 0.129 0.272 12.928

Problem 4545

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

N.S.

1 1.21 0.86 0.71 0.86 0.86 1.00 0.86 0.86

time (sec)

N/A 0.020 0.073 0.026 0.198 0.232 0.050 0.270 12.285

Problem 4546

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

N.S.

1 0.88 0.71 0.75 0.83 0.92 0.50 0.96 0.71

time (sec)

N/A 0.013 0.069 0.025 0.182 0.225 0.050 0.266 0.080

Problem 4547

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

22 21 21 22 21 20 37 79 20

N.S.

1 0.95 0.95 1.00 0.95 0.91 1.68 3.59 0.91

time (sec)

N/A 0.417 0.332 0.244 0.214 0.230 0.407 0.279 12.686

Problem 4548

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

N.S.

1 1.00 1.00 0.89 0.78 0.78 0.78 0.78 0.78

time (sec)

N/A 0.010 0.050 0.021 0.188 0.228 0.050 0.269 12.656

Problem 4549

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

27 0 27 29 53 49 26 28 28

N.S.

1 0.00 1.00 1.07 1.96 1.81 0.96 1.04 1.04

time (sec)

N/A 0.000 0.456 0.179 0.303 0.256 0.111 0.289 12.559

Problem 4550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 0 0 22 25 21 0 0 21

N.S.

1 0.00 0.00 0.88 1.00 0.84 0.00 0.00 0.84

time (sec)

N/A 0.000 0.000 66.827 0.362 0.247 0.000 0.000 13.056

Problem 4551

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

N.S.

1 1.14 0.95 1.09 0.95 1.05 0.91 0.95 1.05

time (sec)

N/A 0.640 0.212 1.134 0.233 0.241 0.350 0.360 13.514

Problem 4552

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

23 0 25 20 0 36 24 0 21

N.S.

1 0.00 1.09 0.87 0.00 1.57 1.04 0.00 0.91

time (sec)

N/A 0.000 0.801 0.093 0.000 0.227 0.123 0.000 12.722

Problem 4553

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

36 0 40 36 111 106 54 120 0

N.S.

1 0.00 1.11 1.00 3.08 2.94 1.50 3.33 0.00

time (sec)

N/A 0.000 0.115 1.212 0.369 0.255 0.119 0.324 0.000

Problem 4554

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

27 24 24 21 32 20 26 20 21

N.S.

1 0.89 0.89 0.78 1.19 0.74 0.96 0.74 0.78

time (sec)

N/A 4.926 0.197 0.105 0.281 0.227 0.103 0.287 13.120

Problem 4555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 35 28 23 41 72 46 48 43

N.S.

1 1.75 1.40 1.15 2.05 3.60 2.30 2.40 2.15

time (sec)

N/A 0.045 0.029 0.159 0.193 0.229 0.145 0.257 0.189

Problem 4556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 19 19 22 16 28 17 28 17

N.S.

1 0.73 0.73 0.85 0.62 1.08 0.65 1.08 0.65

time (sec)

N/A 0.090 0.093 0.142 0.258 0.249 0.067 0.270 12.614

Problem 4557

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 33 55 55 27 59 60

N.S.

1 0.00 1.00 1.10 1.83 1.83 0.90 1.97 2.00

time (sec)

N/A 0.000 0.196 5.601 0.343 0.251 0.208 0.321 12.727

Problem 4558

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

N.S.

1 0.90 0.90 0.90 0.80 0.80 0.70 0.80 0.80

time (sec)

N/A 0.002 0.002 0.016 0.191 0.246 0.030 0.274 0.037

Problem 4559

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

28 51 49 23 29 29 20 0 22

N.S.

1 1.82 1.75 0.82 1.04 1.04 0.71 0.00 0.79

time (sec)

N/A 0.447 0.114 0.680 0.321 0.233 0.112 0.000 0.268

Problem 4560

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 33 53 53 20 2098 74

N.S.

1 0.00 1.24 0.97 1.56 1.56 0.59 61.71 2.18

time (sec)

N/A 0.000 0.117 0.972 0.291 0.234 0.132 0.367 12.648

Problem 4561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B B C B A B B

verified

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

size

32 0 65 56 72 61 48 55 58

N.S.

1 0.00 2.03 1.75 2.25 1.91 1.50 1.72 1.81

time (sec)

N/A 0.000 0.177 0.048 0.239 0.233 0.087 0.282 12.428

Problem 4562

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 76 57 56 103 63 65 74 68

N.S.

1 3.45 2.59 2.55 4.68 2.86 2.95 3.36 3.09

time (sec)

N/A 0.120 0.066 0.163 0.188 0.229 0.114 0.290 12.333

Problem 4563

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

24 288 242 230 322 216 226 0 223

N.S.

1 12.00 10.08 9.58 13.42 9.00 9.42 0.00 9.29

time (sec)

N/A 0.381 0.097 0.127 0.192 0.226 0.718 0.000 13.825

Problem 4564

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

15 0 13 12 14 50 14 0 14

N.S.

1 0.00 0.87 0.80 0.93 3.33 0.93 0.00 0.93

time (sec)

N/A 0.000 0.295 0.112 0.273 0.228 0.082 0.000 12.687

Problem 4565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A B A B

verified

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

size

23 0 23 25 29 24 66 24 26

N.S.

1 0.00 1.00 1.09 1.26 1.04 2.87 1.04 1.13

time (sec)

N/A 0.000 0.063 3.109 0.327 0.247 0.601 0.600 12.944

Problem 4566

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 31 21 24 37 26 24 24

N.S.

1 0.00 1.24 0.84 0.96 1.48 1.04 0.96 0.96

time (sec)

N/A 0.000 2.582 4.617 0.439 0.253 0.262 0.310 12.804

Problem 4567

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

21 39 34 38 90 90 100 207 1277

N.S.

1 1.86 1.62 1.81 4.29 4.29 4.76 9.86 60.81

time (sec)

N/A 0.167 0.293 0.718 0.333 0.236 0.146 0.291 12.900

Problem 4568

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

24 0 44 31 0 30 24 55 44

N.S.

1 0.00 1.83 1.29 0.00 1.25 1.00 2.29 1.83

time (sec)

N/A 0.000 0.134 0.765 0.000 0.232 0.261 0.711 13.340

Problem 4569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 37 22 30 0 95 54 147 52

N.S.

1 1.32 0.79 1.07 0.00 3.39 1.93 5.25 1.86

time (sec)

N/A 0.115 0.039 0.170 0.000 0.239 0.242 0.265 13.227

Problem 4570

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

N.S.

1 0.38 0.38 0.41 0.38 0.47 0.25 0.41 0.38

time (sec)

N/A 0.016 0.009 0.036 0.192 0.240 0.037 0.259 13.019

Problem 4571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

23 0 23 26 21 25 22 25 0

N.S.

1 0.00 1.00 1.13 0.91 1.09 0.96 1.09 0.00

time (sec)

N/A 0.000 0.434 11.283 0.250 0.234 1.185 0.322 0.000

Problem 4572

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

N.S.

1 0.59 0.50 0.55 0.50 0.68 0.23 0.50 0.50

time (sec)

N/A 0.006 0.008 0.081 0.189 0.224 0.030 0.253 12.253

Problem 4573

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

N.S.

1 1.85 0.90 0.80 0.75 0.75 0.70 0.00 0.75

time (sec)

N/A 0.025 0.034 0.125 0.260 0.229 0.444 0.000 11.207

Problem 4574

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

16 28 24 25 36 21 24 32 21

N.S.

1 1.75 1.50 1.56 2.25 1.31 1.50 2.00 1.31

time (sec)

N/A 0.008 0.059 0.033 0.195 0.229 0.056 0.261 11.446

Problem 4575

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

N.S.

1 1.71 0.75 0.71 1.00 0.68 0.61 0.68 0.68

time (sec)

N/A 0.335 0.099 0.295 0.234 0.230 0.168 0.275 13.159

Problem 4576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 486 32 24 255 24 26 34 19

N.S.

1 19.44 1.28 0.96 10.20 0.96 1.04 1.36 0.76

time (sec)

N/A 0.787 0.920 0.149 0.473 0.231 0.189 0.268 0.345

Problem 4577

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

17 25 17 21 50 20 20 20 15

N.S.

1 1.47 1.00 1.24 2.94 1.18 1.18 1.18 0.88

time (sec)

N/A 0.060 0.059 0.052 0.191 0.239 0.056 0.263 12.883

Problem 4578

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

24 238 21 22 73 21 20 34 23

N.S.

1 9.92 0.88 0.92 3.04 0.88 0.83 1.42 0.96

time (sec)

N/A 0.564 0.408 0.098 0.329 0.260 0.074 0.266 12.884

Problem 4579

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

28 0 24 23 42 22 0 24 24

N.S.

1 0.00 0.86 0.82 1.50 0.79 0.00 0.86 0.86

time (sec)

N/A 0.000 0.061 100.502 0.460 0.225 0.000 0.339 13.673

Problem 4580

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

N.S.

1 0.62 0.62 0.69 0.65 0.65 0.58 0.65 0.65

time (sec)

N/A 1.021 0.250 0.162 0.319 0.226 0.089 0.316 0.440

Problem 4581

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

19 0 19 16 48 15 15 23 15

N.S.

1 0.00 1.00 0.84 2.53 0.79 0.79 1.21 0.79

time (sec)

N/A 0.000 0.250 0.550 0.320 0.251 0.174 0.417 13.889

Problem 4582

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

N.S.

1 1.00 1.00 1.56 1.28 1.28 1.50 1.28 1.28

time (sec)

N/A 0.007 0.024 0.027 0.190 0.232 0.048 0.258 0.053

Problem 4583

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 22 25 92 24 22 36 21

N.S.

1 0.00 0.85 0.96 3.54 0.92 0.85 1.38 0.81

time (sec)

N/A 0.000 0.316 0.241 0.355 0.246 0.082 0.277 13.445

Problem 4584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 174 33 44 103 41 0 0 0

N.S.

1 4.83 0.92 1.22 2.86 1.14 0.00 0.00 0.00

time (sec)

N/A 0.656 0.171 268.585 0.471 0.265 0.000 0.000 0.000

Problem 4585

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

N.S.

1 1.00 1.00 1.00 0.92 1.23 1.08 0.92 1.00

time (sec)

N/A 0.015 0.022 0.038 0.204 0.253 0.071 0.259 13.356

Problem 4586

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

39 261 252 197 491 201 192 0 246

N.S.

1 6.69 6.46 5.05 12.59 5.15 4.92 0.00 6.31

time (sec)

N/A 0.713 0.125 0.224 0.222 0.238 0.317 0.000 16.332

Problem 4587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 21 19 16 19 19 17 42 15

N.S.

1 1.11 1.00 0.84 1.00 1.00 0.89 2.21 0.79

time (sec)

N/A 0.396 0.060 0.309 0.326 0.234 0.055 0.286 13.909

Problem 4588

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

N.S.

1 1.19 1.05 0.76 1.48 0.90 1.05 0.90 1.00

time (sec)

N/A 0.094 0.228 0.079 0.202 0.256 0.070 0.266 13.135

Problem 4589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 267 76 67 68 71 65 110 93

N.S.

1 8.34 2.38 2.09 2.12 2.22 2.03 3.44 2.91

time (sec)

N/A 0.537 0.787 0.148 0.311 0.247 0.082 0.320 12.991

Problem 4590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 24 25 22 24 23 20 0 0

N.S.

1 0.96 1.00 0.88 0.96 0.92 0.80 0.00 0.00

time (sec)

N/A 0.066 0.032 0.652 0.191 0.240 0.441 0.000 0.000

Problem 4591

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

N.S.

1 0.00 1.18 1.14 1.09 1.05 1.00 1.09 1.18

time (sec)

N/A 0.000 1.680 0.094 0.277 0.247 0.101 0.337 0.130

Problem 4592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B B B B

verified

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

size

32 0 32 32 26 109 366 108 28

N.S.

1 0.00 1.00 1.00 0.81 3.41 11.44 3.38 0.88

time (sec)

N/A 0.000 7.740 0.428 0.247 0.261 0.322 0.300 0.397

Problem 4593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

27 0 23 24 23 35 20 23 72

N.S.

1 0.00 0.85 0.89 0.85 1.30 0.74 0.85 2.67

time (sec)

N/A 0.000 0.188 0.424 0.224 0.229 0.056 0.306 13.350

Problem 4594

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

22 0 0 43 87 42 58 50 47

N.S.

1 0.00 0.00 1.95 3.95 1.91 2.64 2.27 2.14

time (sec)

N/A 0.000 0.000 1.300 0.486 0.234 0.873 3.694 13.903

Problem 4595

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

28 57 51 38 41 37 39 37 44

N.S.

1 2.04 1.82 1.36 1.46 1.32 1.39 1.32 1.57

time (sec)

N/A 0.020 0.079 0.046 0.301 0.254 0.079 0.266 13.087

Problem 4596

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 31 31 36 44 33 27 34 32

N.S.

1 1.00 1.00 1.16 1.42 1.06 0.87 1.10 1.03

time (sec)

N/A 0.863 0.249 27.757 0.411 0.246 0.458 1.033 10.888

Problem 4597

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

21 28 16 17 0 20 22 19 16

N.S.

1 1.33 0.76 0.81 0.00 0.95 1.05 0.90 0.76

time (sec)

N/A 0.386 0.119 0.080 0.000 0.232 0.082 0.258 10.111

Problem 4598

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

N.S.

1 0.79 0.79 0.68 0.71 1.64 0.61 1.64 0.61

time (sec)

N/A 0.123 0.076 0.142 0.441 0.239 0.111 0.257 10.081

Problem 4599

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

18 18 18 26 30 26 31 43 26

N.S.

1 1.00 1.00 1.44 1.67 1.44 1.72 2.39 1.44

time (sec)

N/A 0.375 0.060 1.635 0.322 0.244 0.270 0.853 12.718

Problem 4600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A A F B

verified

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

size

29 0 29 24 0 36 22 0 27

N.S.

1 0.00 1.00 0.83 0.00 1.24 0.76 0.00 0.93

time (sec)

N/A 0.000 1.143 0.342 0.000 0.237 0.232 0.000 10.700

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