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

2.2.6 Integrals 501 to 600

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 501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 19 19 20 19 17 19 19 24

N.S.

1 0.83 0.83 0.87 0.83 0.74 0.83 0.83 1.04

time (sec)

N/A 0.169 0.007 0.096 0.179 0.258 0.066 0.268 12.657

Problem 502

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

N.S.

1 1.24 0.88 0.84 0.80 0.80 0.80 0.92 0.80

time (sec)

N/A 0.214 0.020 0.505 0.187 0.267 0.186 0.258 12.368

Problem 503

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

N.S.

1 0.85 0.85 0.69 0.77 0.77 0.77 0.77 0.77

time (sec)

N/A 0.187 0.023 0.097 0.181 0.271 0.063 0.294 0.078

Problem 504

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 25 25 25 19 30 22

N.S.

1 0.00 1.20 1.00 1.00 1.00 0.76 1.20 0.88

time (sec)

N/A 0.000 3.039 0.244 0.224 0.254 0.074 0.263 13.500

Problem 505

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

24 0 25 30 36 36 22 60 28

N.S.

1 0.00 1.04 1.25 1.50 1.50 0.92 2.50 1.17

time (sec)

N/A 0.000 0.182 8.107 0.223 0.267 0.067 0.296 0.269

Problem 506

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

N.S.

1 0.82 0.82 0.82 0.73 0.73 0.64 0.73 0.73

time (sec)

N/A 0.136 0.007 0.079 0.179 0.247 0.035 0.255 0.035

Problem 507

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

20 32 21 19 18 30 22 35 18

N.S.

1 1.60 1.05 0.95 0.90 1.50 1.10 1.75 0.90

time (sec)

N/A 0.164 0.014 0.485 0.188 0.249 0.053 0.252 0.078

Problem 508

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

N.S.

1 0.73 0.73 0.77 1.27 0.82 0.68 3.95 0.73

time (sec)

N/A 0.197 0.024 0.404 0.212 0.250 0.076 0.264 13.187

Problem 509

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 31 43 31 31 31 42 0

N.S.

1 0.00 1.15 1.59 1.15 1.15 1.15 1.56 0.00

time (sec)

N/A 0.000 0.091 8.486 0.260 0.265 0.255 0.405 0.000

Problem 510

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

N.S.

1 1.23 1.15 1.00 1.08 1.08 0.92 1.08 0.92

time (sec)

N/A 0.129 0.000 0.030 0.179 0.255 0.019 0.266 14.682

Problem 511

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

31 0 36 41 38 46 48 0 0

N.S.

1 0.00 1.16 1.32 1.23 1.48 1.55 0.00 0.00

time (sec)

N/A 0.000 0.675 2.315 0.288 0.254 0.189 0.000 0.000

Problem 512

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

27 0 27 24 124 90 32 0 139

N.S.

1 0.00 1.00 0.89 4.59 3.33 1.19 0.00 5.15

time (sec)

N/A 0.000 4.861 24.084 0.541 0.275 0.912 0.000 13.729

Problem 513

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 40 33 57 36 32 56 59

N.S.

1 0.00 1.18 0.97 1.68 1.06 0.94 1.65 1.74

time (sec)

N/A 0.000 0.617 28.174 0.454 0.263 0.491 0.383 12.485

Problem 514

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 24 22 21 31 28 15 48 23

N.S.

1 1.09 1.00 0.95 1.41 1.27 0.68 2.18 1.05

time (sec)

N/A 0.917 0.117 0.171 0.244 0.275 0.121 0.272 0.142

Problem 515

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

17 23 16 16 26 22 12 22 15

N.S.

1 1.35 0.94 0.94 1.53 1.29 0.71 1.29 0.88

time (sec)

N/A 0.209 0.066 0.340 0.217 0.257 0.064 0.279 0.072

Problem 516

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

N.S.

1 1.16 0.95 0.84 0.79 0.79 0.63 0.79 1.00

time (sec)

N/A 0.172 0.009 0.033 0.189 0.261 0.067 0.280 12.420

Problem 517

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

N.S.

1 0.95 0.95 0.86 0.76 0.81 0.71 0.76 0.81

time (sec)

N/A 0.200 0.037 0.085 0.196 0.255 0.097 0.285 12.342

Problem 518

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

31 0 52 56 53 42 39 55 383

N.S.

1 0.00 1.68 1.81 1.71 1.35 1.26 1.77 12.35

time (sec)

N/A 0.000 0.177 1.313 0.367 0.253 0.221 0.761 12.537

Problem 519

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

N.S.

1 1.75 1.07 1.07 0.96 0.96 0.93 1.04 1.04

time (sec)

N/A 3.391 0.407 7.782 0.222 0.265 0.190 0.276 14.319

Problem 520

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

23 0 22 60 74 59 31 393 30

N.S.

1 0.00 0.96 2.61 3.22 2.57 1.35 17.09 1.30

time (sec)

N/A 0.000 0.147 39.259 0.270 0.269 0.440 44.407 12.363

Problem 521

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

25 143 22 22 31 34 29 34 33

N.S.

1 5.72 0.88 0.88 1.24 1.36 1.16 1.36 1.32

time (sec)

N/A 0.580 0.072 0.276 0.185 0.254 1.238 0.277 0.220

Problem 522

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 136 25 54 117 56 56 76 22

N.S.

1 5.91 1.09 2.35 5.09 2.43 2.43 3.30 0.96

time (sec)

N/A 0.630 5.893 0.089 0.211 0.257 0.113 0.265 0.271

Problem 523

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

4 2 2 3 2 2 2 3 2

N.S.

1 0.50 0.50 0.75 0.50 0.50 0.50 0.75 0.50

time (sec)

N/A 0.118 0.000 0.008 0.190 0.249 0.039 0.262 0.009

Problem 524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 149 13 27 48 26 26 26 13

N.S.

1 9.93 0.87 1.80 3.20 1.73 1.73 1.73 0.87

time (sec)

N/A 0.985 0.200 0.444 0.223 0.241 0.057 0.283 13.139

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 27 21 20 41 20 0 23

N.S.

1 1.00 0.93 0.72 0.69 1.41 0.69 0.00 0.79

time (sec)

N/A 0.447 1.537 0.208 0.288 0.250 0.272 0.000 0.242

Problem 526

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

N.S.

1 0.00 0.79 0.79 0.75 0.75 0.71 0.92 0.75

time (sec)

N/A 0.000 0.805 0.085 0.226 0.270 0.090 0.278 0.605

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 35 22 29 0 33 19 60 0

N.S.

1 1.52 0.96 1.26 0.00 1.43 0.83 2.61 0.00

time (sec)

N/A 1.345 0.266 0.446 0.000 0.262 4.777 0.289 0.000

Problem 528

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

34 0 27 21 22 22 71 42 53

N.S.

1 0.00 0.79 0.62 0.65 0.65 2.09 1.24 1.56

time (sec)

N/A 0.000 3.719 0.373 0.245 0.279 0.230 0.264 12.265

Problem 529

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

16 18 16 17 23 22 14 16 17

N.S.

1 1.12 1.00 1.06 1.44 1.38 0.88 1.00 1.06

time (sec)

N/A 0.233 0.032 0.083 0.209 0.259 0.056 0.258 12.266

Problem 530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 88 22 22 0 22 19 34 21

N.S.

1 3.38 0.85 0.85 0.00 0.85 0.73 1.31 0.81

time (sec)

N/A 0.732 0.111 9.739 0.000 0.267 0.284 0.293 12.288

Problem 531

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 113 124 548 86 112 126 113

N.S.

1 0.00 4.71 5.17 22.83 3.58 4.67 5.25 4.71

time (sec)

N/A 0.000 0.093 0.823 0.344 0.264 0.773 0.271 13.538

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A B A B

verified

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

size

21 0 26 29 61 25 31 28 24

N.S.

1 0.00 1.24 1.38 2.90 1.19 1.48 1.33 1.14

time (sec)

N/A 0.000 2.125 0.093 0.312 0.253 0.086 0.267 0.238

Problem 533

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

34 0 59 31 0 32 31 617 295

N.S.

1 0.00 1.74 0.91 0.00 0.94 0.91 18.15 8.68

time (sec)

N/A 0.000 0.422 6.972 0.000 0.270 0.284 3.229 13.090

Problem 534

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

N.S.

1 0.76 0.76 0.66 0.62 0.83 0.52 0.62 0.69

time (sec)

N/A 0.198 0.017 0.168 0.188 0.260 0.082 0.269 0.097

Problem 535

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

31 0 38 40 53 53 36 60 0

N.S.

1 0.00 1.23 1.29 1.71 1.71 1.16 1.94 0.00

time (sec)

N/A 0.000 0.087 1.257 0.331 0.257 0.191 0.306 0.000

Problem 536

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

21 0 19 19 16 56 19 0 18

N.S.

1 0.00 0.90 0.90 0.76 2.67 0.90 0.00 0.86

time (sec)

N/A 0.000 0.878 1.367 0.357 0.253 0.440 0.000 13.923

Problem 537

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

N.S.

1 1.70 1.39 1.35 1.48 1.09 1.26 1.09 1.13

time (sec)

N/A 0.200 0.008 0.063 0.200 0.246 0.108 0.260 12.828

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 29 75 31 35 38 37 35 35

N.S.

1 1.12 2.88 1.19 1.35 1.46 1.42 1.35 1.35

time (sec)

N/A 0.145 0.000 0.031 0.190 0.251 0.026 0.254 0.003

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

24 0 38 63 56 57 60 86 0

N.S.

1 0.00 1.58 2.62 2.33 2.38 2.50 3.58 0.00

time (sec)

N/A 0.000 0.212 7.454 4.003 0.289 0.683 5.913 0.000

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 39 29 27 53 34 27 35 23

N.S.

1 1.95 1.45 1.35 2.65 1.70 1.35 1.75 1.15

time (sec)

N/A 0.747 0.100 1.154 0.232 0.263 0.128 0.295 12.373

Problem 541

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

33 0 41 48 62 62 39 74 0

N.S.

1 0.00 1.24 1.45 1.88 1.88 1.18 2.24 0.00

time (sec)

N/A 0.000 0.281 231.832 0.337 0.261 0.460 0.424 0.000

Problem 542

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

N.S.

1 0.78 0.48 0.52 0.59 0.63 0.56 0.67 0.44

time (sec)

N/A 0.153 0.003 0.088 0.197 0.257 0.054 0.258 0.058

Problem 543

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

N.S.

1 1.72 0.94 0.94 0.89 0.94 0.83 0.94 0.94

time (sec)

N/A 0.197 0.390 0.089 0.247 0.284 0.052 0.257 11.675

Problem 544

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

21 57 57 53 65 49 51 52 57

N.S.

1 2.71 2.71 2.52 3.10 2.33 2.43 2.48 2.71

time (sec)

N/A 0.264 0.020 0.069 0.208 0.253 0.101 0.268 11.654

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B A B B B B

verified

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

size

34 0 30 68 33 66 65 69 69

N.S.

1 0.00 0.88 2.00 0.97 1.94 1.91 2.03 2.03

time (sec)

N/A 0.000 0.095 1.826 0.551 0.264 0.288 1.509 12.805

Problem 546

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

N.S.

1 0.81 1.00 0.62 0.69 0.69 0.88 0.69 0.56

time (sec)

N/A 0.124 0.001 0.079 0.194 0.234 0.020 0.263 0.052

Problem 547

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

N.S.

1 0.00 0.47 0.57 0.53 0.67 0.47 0.80 0.40

time (sec)

N/A 0.000 0.077 0.097 0.248 0.250 0.083 0.264 11.731

Problem 548

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

N.S.

1 1.25 1.12 0.88 1.00 1.00 0.88 1.12 0.75

time (sec)

N/A 0.130 0.004 0.452 0.191 0.245 0.040 0.278 0.064

Problem 549

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

30 0 31 41 37 37 42 46 49

N.S.

1 0.00 1.03 1.37 1.23 1.23 1.40 1.53 1.63

time (sec)

N/A 0.000 5.337 0.170 0.254 0.247 0.132 0.296 0.621

Problem 550

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

16 76 19 20 19 19 15 75 15

N.S.

1 4.75 1.19 1.25 1.19 1.19 0.94 4.69 0.94

time (sec)

N/A 0.836 0.166 0.633 0.230 0.248 0.083 0.272 11.887

Problem 551

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

N.S.

1 0.00 1.29 1.48 1.43 1.43 1.24 1.43 1.10

time (sec)

N/A 0.000 0.633 1.117 0.222 0.256 0.326 0.296 11.818

Problem 552

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

N.S.

1 0.94 0.94 0.78 0.72 0.72 1.06 0.72 0.78

time (sec)

N/A 0.129 0.002 0.059 0.185 0.252 0.027 0.255 12.672

Problem 553

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

36 0 42 38 44 39 39 8877 34

N.S.

1 0.00 1.17 1.06 1.22 1.08 1.08 246.58 0.94

time (sec)

N/A 0.000 0.320 12.189 0.251 0.255 0.175 0.338 12.305

Problem 554

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 77 51 49 44 41 49 50 55

N.S.

1 3.35 2.22 2.13 1.91 1.78 2.13 2.17 2.39

time (sec)

N/A 0.288 0.347 0.064 0.182 0.258 0.081 0.265 0.086

Problem 555

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

29 0 127 31 1184 150 150 87 113

N.S.

1 0.00 4.38 1.07 40.83 5.17 5.17 3.00 3.90

time (sec)

N/A 0.000 0.301 0.912 0.355 0.237 0.628 0.266 12.619

Problem 556

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

N.S.

1 1.00 1.00 1.00 1.10 0.95 0.85 0.95 0.95

time (sec)

N/A 0.676 0.570 0.473 0.315 0.250 0.222 0.299 12.737

Problem 557

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

N.S.

1 1.22 1.11 0.78 0.89 0.94 0.83 0.89 0.72

time (sec)

N/A 0.177 0.004 0.101 0.194 0.251 0.048 0.250 0.047

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A C B A A F B

verified

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

size

32 0 38 1829 189 55 48 0 50

N.S.

1 0.00 1.19 57.16 5.91 1.72 1.50 0.00 1.56

time (sec)

N/A 0.000 0.123 4.722 0.272 0.263 0.504 0.000 13.046

Problem 559

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

32 64 43 49 78 81 61 110 41

N.S.

1 2.00 1.34 1.53 2.44 2.53 1.91 3.44 1.28

time (sec)

N/A 11.659 4.241 1.097 0.246 0.273 0.216 0.363 12.434

Problem 560

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

N.S.

1 0.00 0.96 0.93 0.93 0.89 0.68 0.89 0.89

time (sec)

N/A 0.000 0.686 1.224 0.263 0.261 0.160 0.314 0.317

Problem 561

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

N.S.

1 0.30 0.30 0.35 0.30 0.30 0.25 0.30 0.30

time (sec)

N/A 0.123 0.004 0.353 0.192 0.238 0.036 0.258 11.829

Problem 562

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

21 33 19 30 28 28 36 28 30

N.S.

1 1.57 0.90 1.43 1.33 1.33 1.71 1.33 1.43

time (sec)

N/A 0.227 0.120 0.115 0.195 0.270 0.073 0.262 0.061

Problem 563

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

29 0 29 23 63 22 22 22 22

N.S.

1 0.00 1.00 0.79 2.17 0.76 0.76 0.76 0.76

time (sec)

N/A 0.000 0.118 0.688 0.318 0.252 24.689 0.315 11.932

Problem 564

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

27 37 35 34 53 29 34 32 31

N.S.

1 1.37 1.30 1.26 1.96 1.07 1.26 1.19 1.15

time (sec)

N/A 0.241 0.016 0.063 0.204 0.262 0.123 0.269 11.884

Problem 565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 20 23 17 24 20 15 16 12

N.S.

1 0.59 0.68 0.50 0.71 0.59 0.44 0.47 0.35

time (sec)

N/A 0.239 0.018 0.055 0.198 0.269 0.060 0.261 12.644

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B A B B

verified

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

size

16 0 16 11 10 22 12 22 10

N.S.

1 0.00 1.00 0.69 0.62 1.38 0.75 1.38 0.62

time (sec)

N/A 0.000 0.095 0.241 0.314 0.251 0.110 0.280 13.048

Problem 567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 28 28 54 55 54 61 0 60

N.S.

1 1.04 1.04 2.00 2.04 2.00 2.26 0.00 2.22

time (sec)

N/A 2.976 0.093 83.102 0.502 0.275 5.041 0.000 13.455

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 39 25 22 25 25 20 31 24

N.S.

1 1.30 0.83 0.73 0.83 0.83 0.67 1.03 0.80

time (sec)

N/A 0.239 0.016 0.081 0.198 0.242 0.238 0.264 0.099

Problem 569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F F A B B B F B

verified

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

size

30 0 0 40 62 177 51 0 159

N.S.

1 0.00 0.00 1.33 2.07 5.90 1.70 0.00 5.30

time (sec)

N/A 0.000 0.000 122.073 2.435 0.279 2.618 0.000 13.994

Problem 570

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 22 13 20 20 8 20 12

N.S.

1 1.00 1.69 1.00 1.54 1.54 0.62 1.54 0.92

time (sec)

N/A 0.446 0.654 0.059 0.224 0.256 0.048 0.262 12.654

Problem 571

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

N.S.

1 1.00 1.00 1.00 0.80 2.20 0.60 2.20 0.80

time (sec)

N/A 0.131 0.001 0.086 0.197 0.250 0.029 0.266 0.032

Problem 572

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

22 0 19 16 32 32 37 35 35

N.S.

1 0.00 0.86 0.73 1.45 1.45 1.68 1.59 1.59

time (sec)

N/A 0.000 0.714 0.859 0.255 0.256 0.092 0.291 12.995

Problem 573

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 13 13 12 22 21 17 12 12

N.S.

1 0.93 0.93 0.86 1.57 1.50 1.21 0.86 0.86

time (sec)

N/A 0.278 0.030 0.211 0.222 0.275 0.107 0.268 12.541

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 35 128 36 80 69 32 35 35

N.S.

1 1.35 4.92 1.38 3.08 2.65 1.23 1.35 1.35

time (sec)

N/A 1.782 0.096 0.294 0.312 0.266 0.138 0.286 13.140

Problem 575

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

N.S.

1 1.08 0.80 0.88 1.00 0.96 0.76 0.80 0.84

time (sec)

N/A 0.323 0.487 0.086 0.224 0.264 0.074 0.267 12.333

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

13 9 11 13 12 12 14 0 14

N.S.

1 0.69 0.85 1.00 0.92 0.92 1.08 0.00 1.08

time (sec)

N/A 0.428 0.124 0.323 0.391 0.256 0.193 0.000 0.139

Problem 577

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

N.S.

1 0.00 1.04 0.92 0.88 0.88 0.92 1.46 0.88

time (sec)

N/A 0.000 5.061 0.987 0.237 0.265 0.155 0.272 12.679

Problem 578

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

N.S.

1 4.10 1.00 1.05 1.10 1.10 0.95 1.10 1.00

time (sec)

N/A 0.917 0.120 0.857 0.323 0.263 0.071 0.276 0.436

Problem 579

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

N.S.

1 0.94 0.71 0.88 0.65 0.94 0.71 0.65 0.76

time (sec)

N/A 0.272 0.039 0.267 0.267 0.259 0.067 0.267 12.285

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A F B

verified

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

size

27 0 29 31 32 29 29 0 36

N.S.

1 0.00 1.07 1.15 1.19 1.07 1.07 0.00 1.33

time (sec)

N/A 0.000 0.375 1.027 0.303 0.262 0.176 0.000 12.957

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 37 0 97 41 37 99 0

N.S.

1 0.00 1.32 0.00 3.46 1.46 1.32 3.54 0.00

time (sec)

N/A 0.000 0.112 0.000 0.310 0.279 0.217 77.686 0.000

Problem 582

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

19 145 19 69 66 66 71 66 15

N.S.

1 7.63 1.00 3.63 3.47 3.47 3.74 3.47 0.79

time (sec)

N/A 0.384 1.217 0.636 0.271 0.264 0.143 0.300 0.240

Problem 583

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

28 0 41 38 71 71 36 1712 0

N.S.

1 0.00 1.46 1.36 2.54 2.54 1.29 61.14 0.00

time (sec)

N/A 0.000 0.193 0.838 0.368 0.261 0.233 25.328 0.000

Problem 584

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

20 0 17 64 100 48 20 63 18

N.S.

1 0.00 0.85 3.20 5.00 2.40 1.00 3.15 0.90

time (sec)

N/A 0.000 0.726 0.685 0.343 0.262 0.131 0.293 12.320

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B A B B

verified

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

size

26 0 26 28 25 55 29 100 28

N.S.

1 0.00 1.00 1.08 0.96 2.12 1.12 3.85 1.08

time (sec)

N/A 0.000 3.206 2.366 0.296 0.264 0.191 0.303 12.755

Problem 586

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

30 132 58 92 125 72 70 131 72

N.S.

1 4.40 1.93 3.07 4.17 2.40 2.33 4.37 2.40

time (sec)

N/A 0.340 0.053 0.714 0.290 0.280 0.100 0.279 11.633

Problem 587

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

36 0 50 41 39 39 37 47 47

N.S.

1 0.00 1.39 1.14 1.08 1.08 1.03 1.31 1.31

time (sec)

N/A 0.000 0.181 0.860 0.250 0.257 0.285 0.324 11.597

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B A A A B B

verified

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

size

24 0 23 50 40 30 26 53 31

N.S.

1 0.00 0.96 2.08 1.67 1.25 1.08 2.21 1.29

time (sec)

N/A 0.000 0.059 6.960 0.241 0.279 0.207 0.312 11.557

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

32 135 0 0 49 40 34 0 52

N.S.

1 4.22 0.00 0.00 1.53 1.25 1.06 0.00 1.62

time (sec)

N/A 6.429 0.000 0.000 0.579 0.266 95.551 0.000 11.691

Problem 590

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

31 121 34 30 29 47 32 53 29

N.S.

1 3.90 1.10 0.97 0.94 1.52 1.03 1.71 0.94

time (sec)

N/A 1.751 0.083 0.314 0.328 0.248 0.187 0.287 11.572

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 0 0 30 668 27 0 0 27

N.S.

1 0.00 0.00 0.97 21.55 0.87 0.00 0.00 0.87

time (sec)

N/A 0.000 0.000 54.858 0.377 0.265 0.000 0.000 12.552

Problem 592

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

N.S.

1 0.00 0.92 1.00 1.00 1.20 0.88 1.08 1.08

time (sec)

N/A 0.000 0.163 32.519 0.360 0.276 0.266 0.581 12.320

Problem 593

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

16 25 21 14 23 18 12 13 14

N.S.

1 1.56 1.31 0.88 1.44 1.12 0.75 0.81 0.88

time (sec)

N/A 0.318 0.031 0.042 0.219 0.265 0.041 0.273 11.929

Problem 594

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

N.S.

1 1.31 1.31 1.23 1.15 1.15 1.54 1.15 1.15

time (sec)

N/A 0.151 0.007 0.485 0.184 0.255 0.098 0.255 11.580

Problem 595

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

26 0 60 92 158 188 112 255 146

N.S.

1 0.00 2.31 3.54 6.08 7.23 4.31 9.81 5.62

time (sec)

N/A 0.000 10.188 0.480 0.277 0.326 0.193 0.334 11.506

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F F A A A A A B

verified

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

size

21 0 0 21 27 25 26 21 27

N.S.

1 0.00 0.00 1.00 1.29 1.19 1.24 1.00 1.29

time (sec)

N/A 0.000 0.000 0.894 0.362 0.660 0.151 0.358 11.461

Problem 597

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

N.S.

1 1.00 0.87 0.87 0.96 1.04 0.87 1.04 1.04

time (sec)

N/A 0.252 0.255 0.081 0.184 0.382 0.070 0.260 0.084

Problem 598

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

N.S.

1 0.64 0.64 0.68 0.64 0.68 0.36 0.64 0.73

time (sec)

N/A 0.155 0.002 0.057 0.185 0.340 0.032 0.261 0.030

Problem 599

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 23 30 28 32 41 116 35

N.S.

1 0.00 1.00 1.30 1.22 1.39 1.78 5.04 1.52

time (sec)

N/A 0.000 0.146 121.513 0.445 0.354 13.326 1.048 11.556

Problem 600

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 63 58 85 57 51 57 113

N.S.

1 0.00 2.62 2.42 3.54 2.38 2.12 2.38 4.71

time (sec)

N/A 0.000 0.084 10.564 0.250 0.295 0.096 0.579 15.245

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