[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

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.193 0.017 0.139 0.198 0.305 0.084 0.274 0.079

Problem 502

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

N.S.

1 0.00 1.23 1.12 1.00 1.08 1.12 1.08 1.08

time (sec)

N/A 0.000 0.050 0.770 0.230 0.248 0.103 0.283 13.654

Problem 503

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 504

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.349 0.098 0.164 0.219 0.253 0.075 0.287 14.811

Problem 505

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 506

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 507

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.339 0.034 0.154 0.230 0.259 0.063 0.274 0.175

Problem 508

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.676 0.000 3.809 0.366 0.258 1.132 0.000 14.856

Problem 509

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

N.S.

1 1.57 1.32 1.07 2.36 1.29 0.93 1.14 0.89

time (sec)

N/A 0.721 0.082 0.590 0.228 0.243 0.127 0.269 14.316

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

28 37 28 27 26 26 27 26 23

N.S.

1 1.32 1.00 0.96 0.93 0.93 0.96 0.93 0.82

time (sec)

N/A 0.165 0.010 0.130 0.196 0.248 0.079 0.262 14.157

Problem 511

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 512

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.672 0.420 3.060 0.000 0.250 0.167 0.426 15.198

Problem 513

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 514

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 515

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.752 0.089 0.923 0.206 0.258 4.511 0.000 15.550

Problem 516

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.179 0.026 1.000 0.000 0.241 0.129 0.000 13.868

Problem 517

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 518

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

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.150 0.004 0.106 0.198 0.240 0.053 0.275 13.980

Problem 520

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.134 0.001 0.142 0.198 0.237 0.037 0.268 0.022

Problem 521

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

23 89 21 21 20 20 19 20 1

N.S.

1 3.87 0.91 0.91 0.87 0.87 0.83 0.87 0.04

time (sec)

N/A 0.588 0.017 0.730 0.197 0.244 0.797 1.228 16.280

Problem 522

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

N.S.

1 1.00 1.00 1.11 0.83 1.06 0.83 1.06 0.89

time (sec)

N/A 0.257 0.111 0.723 0.262 0.252 0.083 0.262 14.413

Problem 523

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 524

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.465 0.152 1.860 0.327 0.242 0.060 0.266 15.423

Problem 525

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 526

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.119 0.001 0.118 0.208 0.259 0.031 0.268 0.022

Problem 527

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 528

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.487 0.264 0.187 0.276 0.253 0.150 0.272 13.819

Problem 529

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 530

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.171 0.003 0.084 0.207 0.233 0.041 0.261 0.029

Problem 531

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 532

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 533

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 534

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 43 36 36 64 34 32 0 0

N.S.

1 1.87 1.57 1.57 2.78 1.48 1.39 0.00 0.00

time (sec)

N/A 1.250 0.210 4.704 0.331 0.271 49.159 0.000 0.000

Problem 535

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.435 0.114 0.337 0.243 0.252 0.072 0.258 17.324

Problem 536

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 537

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

N.S.

1 2.44 1.47 2.62 2.34 2.12 3.19 3.72 2.78

time (sec)

N/A 0.251 0.197 0.652 0.215 0.249 0.264 0.265 15.797

Problem 538

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 77 39 52 515 85 49 54 52

N.S.

1 2.75 1.39 1.86 18.39 3.04 1.75 1.93 1.86

time (sec)

N/A 0.742 0.112 0.130 0.269 0.243 0.145 0.275 15.844

Problem 539

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 540

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 541

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 1.118 0.086 1.274 0.000 0.250 0.000 0.000 15.671

Problem 542

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 543

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 544

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.965 4.032 4.203 0.447 0.245 0.276 0.342 14.410

Problem 545

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.210 0.075 0.296 0.233 0.232 0.050 0.265 0.077

Problem 546

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.719 0.129 20.806 0.255 0.255 0.372 0.336 14.667

Problem 547

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.297 0.008 1.158 0.211 0.246 0.062 0.281 0.097

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

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.384 0.005 0.193 0.190 0.244 0.077 0.262 14.706

Problem 549

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.427 0.040 0.106 0.276 0.251 0.112 0.303 15.304

Problem 550

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 551

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 552

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.235 0.073 0.395 0.203 0.250 0.045 0.261 15.276

Problem 553

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.125 0.001 0.118 0.206 0.233 0.025 0.270 0.036

Problem 554

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 555

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 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 27 16 24 31 31 48 16 28

N.S.

1 1.69 1.00 1.50 1.94 1.94 3.00 1.00 1.75

time (sec)

N/A 0.196 0.010 0.158 0.219 0.247 0.173 0.262 0.103

Problem 557

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.206 0.358 0.369 0.365 0.240 0.088 0.264 12.607

Problem 558

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 91 60 46 197 59 65 66 65

N.S.

1 4.14 2.73 2.09 8.95 2.68 2.95 3.00 2.95

time (sec)

N/A 1.316 0.155 0.569 0.357 0.258 0.320 0.274 13.099

Problem 559

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.192 0.011 0.165 0.216 0.241 0.142 0.260 17.704

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

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

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.420 0.187 0.550 0.254 0.253 0.086 0.270 14.073

Problem 562

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 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B A A A A A B

verified

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

size

38 0 90 37 37 54 32 37 38

N.S.

1 0.00 2.37 0.97 0.97 1.42 0.84 0.97 1.00

time (sec)

N/A 0.000 0.063 0.248 0.206 0.242 0.571 0.274 0.222

Problem 564

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

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.121 0.000 0.433 0.204 0.250 0.029 0.267 0.010

Problem 566

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 567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 48 25 29 28 28 39 32 34

N.S.

1 2.40 1.25 1.45 1.40 1.40 1.95 1.60 1.70

time (sec)

N/A 0.254 0.038 0.165 0.186 0.231 0.455 0.272 0.163

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

22 43 20 22 22 20 20 22 22

N.S.

1 1.95 0.91 1.00 1.00 0.91 0.91 1.00 1.00

time (sec)

N/A 0.294 0.024 0.556 0.207 0.240 0.292 0.273 13.698

Problem 569

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.353 0.024 0.444 0.274 0.252 0.132 0.273 14.006

Problem 570

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 571

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.286 0.038 1.297 0.395 0.259 0.085 0.267 0.153

Problem 572

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 35 31 24 0 29 22 32 22

N.S.

1 1.30 1.15 0.89 0.00 1.07 0.81 1.19 0.81

time (sec)

N/A 0.400 0.765 1.677 0.000 0.247 0.092 0.266 0.118

Problem 573

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.183 0.023 0.112 0.204 0.237 0.030 0.262 0.053

Problem 574

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.663 0.093 0.223 0.240 0.260 0.178 0.272 13.855

Problem 575

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 576

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 577

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

N.S.

1 0.95 0.95 0.80 0.75 1.10 0.95 1.10 0.75

time (sec)

N/A 0.175 0.006 0.115 0.223 0.259 0.080 0.271 0.096

Problem 578

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.139 0.000 0.156 0.204 0.232 0.032 0.265 0.030

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

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.582 2.083 0.916 0.277 0.257 0.167 0.279 12.540

Problem 580

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.356 0.053 0.345 0.203 0.241 0.544 0.270 12.702

Problem 581

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 582

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 583

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 584

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 585

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 34 31 34 37 34 39 153 0

N.S.

1 1.03 0.94 1.03 1.12 1.03 1.18 4.64 0.00

time (sec)

N/A 0.903 0.056 3.349 0.325 0.243 0.237 0.321 0.000

Problem 586

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 587

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 588

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.185 0.007 0.155 0.193 0.249 0.059 0.264 13.907

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 32 29 29 42 26 26 29 28

N.S.

1 1.14 1.04 1.04 1.50 0.93 0.93 1.04 1.00

time (sec)

N/A 0.512 0.201 0.699 0.253 0.255 0.160 0.270 14.448

Problem 590

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 39 23 20 38 30 20 26 18

N.S.

1 1.70 1.00 0.87 1.65 1.30 0.87 1.13 0.78

time (sec)

N/A 0.222 0.059 0.471 0.233 0.255 0.098 0.270 14.061

Problem 591

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 592

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.136 0.003 0.058 0.190 0.252 0.032 0.295 0.075

Problem 593

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.131 0.001 0.138 0.199 0.235 0.033 0.273 0.070

Problem 594

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.914 0.361 6.650 0.259 0.276 0.294 0.000 14.963

Problem 595

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 596

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 597

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.236 0.033 30.648 0.271 0.260 0.136 0.000 14.465

Problem 598

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 599

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.205 0.033 0.070 0.203 0.266 0.108 0.274 13.752

Problem 600

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.394 0.017 0.077 0.210 0.255 0.098 0.268 15.335

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