[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 F A C F B F(-1) F F(-1)

verified

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

size

39 0 54 152 0 93 0 0 0

N.S.

1 0.00 1.38 3.90 0.00 2.38 0.00 0.00 0.00

time (sec)

N/A 0.000 0.429 1.924 0.000 4.538 0.000 0.000 0.000

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 1709 51 40 0 45 0 0 49

N.S.

1 43.82 1.31 1.03 0.00 1.15 0.00 0.00 1.26

time (sec)

N/A 8.423 0.804 7.373 0.000 0.257 0.000 0.000 5.391

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A F F B

verified

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

size

39 0 39 63 0 66 0 0 2611

N.S.

1 0.00 1.00 1.62 0.00 1.69 0.00 0.00 66.95

time (sec)

N/A 0.000 0.280 7.545 0.000 0.260 0.000 0.000 6.318

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 64 64 27 0 172 0 0 51

N.S.

1 1.64 1.64 0.69 0.00 4.41 0.00 0.00 1.31

time (sec)

N/A 0.574 1.230 3.777 0.000 0.299 0.000 0.000 6.888

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 39 28 58 29 61 29 0

N.S.

1 1.00 1.00 0.72 1.49 0.74 1.56 0.74 0.00

time (sec)

N/A 0.164 0.114 0.938 0.198 0.239 0.813 0.263 0.000

Problem 506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 60 38 0 41 0 41 0

N.S.

1 1.00 1.54 0.97 0.00 1.05 0.00 1.05 0.00

time (sec)

N/A 0.186 0.134 3.464 0.000 0.269 0.000 0.280 0.000

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 54 58 38 0 37 0 43 0

N.S.

1 1.38 1.49 0.97 0.00 0.95 0.00 1.10 0.00

time (sec)

N/A 0.210 0.202 3.648 0.000 0.261 0.000 0.283 0.000

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 36 39 36 0 35 0 46 0

N.S.

1 0.92 1.00 0.92 0.00 0.90 0.00 1.18 0.00

time (sec)

N/A 0.206 0.072 2.151 0.000 0.255 0.000 0.317 0.000

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A F F B

verified

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

size

39 0 39 36 0 157 0 0 56

N.S.

1 0.00 1.00 0.92 0.00 4.03 0.00 0.00 1.44

time (sec)

N/A 0.000 0.942 1.248 0.000 1.610 0.000 0.000 5.530

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 56 40 0 39 0 49 0

N.S.

1 1.00 1.44 1.03 0.00 1.00 0.00 1.26 0.00

time (sec)

N/A 0.189 0.154 1.342 0.000 0.284 0.000 0.319 0.000

Problem 511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

39 0 39 36 0 146 0 0 0

N.S.

1 0.00 1.00 0.92 0.00 3.74 0.00 0.00 0.00

time (sec)

N/A 0.000 10.800 1.592 0.000 2.085 0.000 0.000 0.000

Problem 512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

39 45 39 0 0 29 0 0 0

N.S.

1 1.15 1.00 0.00 0.00 0.74 0.00 0.00 0.00

time (sec)

N/A 0.190 0.050 0.000 0.000 0.234 0.000 0.000 0.000

Problem 513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 64 62 27 0 33 0 0 223

N.S.

1 1.60 1.55 0.68 0.00 0.82 0.00 0.00 5.58

time (sec)

N/A 0.447 0.235 3.501 0.000 0.272 0.000 0.000 0.166

Problem 514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A F F B

verified

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

size

40 0 40 39 0 61 0 0 57

N.S.

1 0.00 1.00 0.98 0.00 1.52 0.00 0.00 1.42

time (sec)

N/A 0.000 0.256 4.290 0.000 0.261 0.000 0.000 5.243

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 64 62 27 0 64 0 0 227

N.S.

1 1.60 1.55 0.68 0.00 1.60 0.00 0.00 5.68

time (sec)

N/A 0.454 0.290 1.406 0.000 0.253 0.000 0.000 0.170

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F B F F B

verified

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

size

40 0 40 33 0 225 0 0 62

N.S.

1 0.00 1.00 0.82 0.00 5.62 0.00 0.00 1.55

time (sec)

N/A 0.000 0.089 5.432 0.000 0.276 0.000 0.000 5.495

Problem 517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F B F F B

verified

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

size

40 0 40 33 0 221 0 0 62

N.S.

1 0.00 1.00 0.82 0.00 5.52 0.00 0.00 1.55

time (sec)

N/A 0.000 0.086 5.447 0.000 0.278 0.000 0.000 5.629

Problem 518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

40 0 33 291 0 312 0 0 457

N.S.

1 0.00 0.82 7.28 0.00 7.80 0.00 0.00 11.42

time (sec)

N/A 0.000 12.758 0.822 0.000 0.465 0.000 0.000 5.279

Problem 519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

40 0 33 293 0 285 0 0 69

N.S.

1 0.00 0.82 7.32 0.00 7.12 0.00 0.00 1.72

time (sec)

N/A 0.000 12.467 0.878 0.000 0.994 0.000 0.000 8.287

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

40 67 26 30 34 34 0 34 18

N.S.

1 1.68 0.65 0.75 0.85 0.85 0.00 0.85 0.45

time (sec)

N/A 0.271 0.181 1.058 0.289 0.237 0.000 0.277 0.100

Problem 521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

40 0 53 37 0 40 0 37 0

N.S.

1 0.00 1.32 0.92 0.00 1.00 0.00 0.92 0.00

time (sec)

N/A 0.000 0.058 0.508 0.000 0.248 0.000 0.278 0.000

Problem 522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 467 30 29 34 36 0 0 33

N.S.

1 11.68 0.75 0.72 0.85 0.90 0.00 0.00 0.82

time (sec)

N/A 1.310 8.383 5.044 0.291 0.248 0.000 0.000 4.942

Problem 523

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

40 40 40 30 0 29 36 29 29

N.S.

1 1.00 1.00 0.75 0.00 0.72 0.90 0.72 0.72

time (sec)

N/A 0.192 0.037 1.405 0.000 0.250 10.123 0.269 5.038

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

40 54 40 45 52 46 65 53 198

N.S.

1 1.35 1.00 1.12 1.30 1.15 1.62 1.32 4.95

time (sec)

N/A 0.281 0.031 2.162 0.275 0.240 3.819 0.270 4.852

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

40 0 44 39 0 38 0 79 0

N.S.

1 0.00 1.10 0.98 0.00 0.95 0.00 1.98 0.00

time (sec)

N/A 0.000 0.076 0.676 0.000 0.257 0.000 0.287 0.000

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 40 40 28 0 465 0 0 0

N.S.

1 1.00 1.00 0.70 0.00 11.62 0.00 0.00 0.00

time (sec)

N/A 0.720 2.366 2.936 0.000 0.696 0.000 0.000 0.000

Problem 527

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

41 67 41 38 53 37 71 53 37

N.S.

1 1.63 1.00 0.93 1.29 0.90 1.73 1.29 0.90

time (sec)

N/A 0.201 0.032 0.864 0.188 0.237 0.267 0.265 5.690

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

41 46 41 27 34 37 68 33 33

N.S.

1 1.12 1.00 0.66 0.83 0.90 1.66 0.80 0.80

time (sec)

N/A 0.179 0.027 0.858 0.188 0.238 0.189 0.283 5.589

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F B F F B

verified

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

size

41 0 32 26 0 123 0 0 56

N.S.

1 0.00 0.78 0.63 0.00 3.00 0.00 0.00 1.37

time (sec)

N/A 0.000 0.817 1.286 0.000 0.270 0.000 0.000 6.809

Problem 530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 362 41 54 0 62 0 0 0

N.S.

1 8.83 1.00 1.32 0.00 1.51 0.00 0.00 0.00

time (sec)

N/A 1.155 0.708 2.850 0.000 0.269 0.000 0.000 0.000

Problem 531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

41 0 39 0 0 0 0 0 0

N.S.

1 0.00 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.286 0.000 0.000 0.000 0.000 0.000 0.000

Problem 532

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

41 55 41 45 55 55 80 56 198

N.S.

1 1.34 1.00 1.10 1.34 1.34 1.95 1.37 4.83

time (sec)

N/A 0.286 0.051 2.101 0.282 0.255 11.642 0.301 0.060

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A A A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

41 84 41 40 113 38 42 44 201

N.S.

1 2.05 1.00 0.98 2.76 0.93 1.02 1.07 4.90

time (sec)

N/A 0.251 0.059 2.436 0.288 0.265 51.492 0.286 5.241

Problem 534

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

41 41 41 58 0 29 37 29 29

N.S.

1 1.00 1.00 1.41 0.00 0.71 0.90 0.71 0.71

time (sec)

N/A 0.194 0.041 1.407 0.000 0.285 10.813 0.296 5.693

Problem 535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

41 0 0 66 0 0 0 0 0

N.S.

1 0.00 0.00 1.61 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 2.021 0.000 0.000 0.000 0.000 0.000

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

41 408 0 0 0 0 0 0 0

N.S.

1 9.95 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.896 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 47 42 45 44 44 37 45 30

N.S.

1 1.12 1.00 1.07 1.05 1.05 0.88 1.07 0.71

time (sec)

N/A 0.172 0.026 1.533 0.279 0.272 0.556 0.271 5.309

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

42 0 42 2262 0 459 0 0 456

N.S.

1 0.00 1.00 53.86 0.00 10.93 0.00 0.00 10.86

time (sec)

N/A 0.000 4.801 4.912 0.000 0.914 0.000 0.000 17.211

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 105 44 39 0 46 0 0 0

N.S.

1 2.50 1.05 0.93 0.00 1.10 0.00 0.00 0.00

time (sec)

N/A 0.236 0.112 1.248 0.000 0.278 0.000 0.000 0.000

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 104 44 39 0 45 0 0 0

N.S.

1 2.48 1.05 0.93 0.00 1.07 0.00 0.00 0.00

time (sec)

N/A 0.227 0.094 1.403 0.000 0.283 0.000 0.000 0.000

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 47 42 45 44 44 37 44 30

N.S.

1 1.12 1.00 1.07 1.05 1.05 0.88 1.05 0.71

time (sec)

N/A 0.167 0.023 4.052 0.290 0.251 0.536 0.340 5.138

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 56 42 35 70 43 53 59 0

N.S.

1 1.33 1.00 0.83 1.67 1.02 1.26 1.40 0.00

time (sec)

N/A 0.202 0.225 1.055 0.299 0.255 0.929 0.383 0.000

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 71 43 41 80 57 85 59 201

N.S.

1 1.65 1.00 0.95 1.86 1.33 1.98 1.37 4.67

time (sec)

N/A 0.177 0.045 2.163 0.207 0.239 6.518 0.345 0.048

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A C F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 109 43 36 0 39 0 55 85

N.S.

1 2.53 1.00 0.84 0.00 0.91 0.00 1.28 1.98

time (sec)

N/A 0.320 0.073 0.878 0.000 0.247 0.000 0.352 5.360

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A F F B

verified

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

size

43 0 43 44 0 55 0 0 70

N.S.

1 0.00 1.00 1.02 0.00 1.28 0.00 0.00 1.63

time (sec)

N/A 0.000 0.767 4.484 0.000 0.319 0.000 0.000 6.203

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 451 43 70 0 111 0 0 0

N.S.

1 10.49 1.00 1.63 0.00 2.58 0.00 0.00 0.00

time (sec)

N/A 1.363 0.286 3.622 0.000 0.292 0.000 0.000 0.000

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

43 0 43 42 0 67 0 0 0

N.S.

1 0.00 1.00 0.98 0.00 1.56 0.00 0.00 0.00

time (sec)

N/A 0.000 0.105 1.206 0.000 0.293 0.000 0.000 0.000

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

43 0 43 40 0 154 0 0 55

N.S.

1 0.00 1.00 0.93 0.00 3.58 0.00 0.00 1.28

time (sec)

N/A 0.000 10.486 1.276 0.000 1.414 0.000 0.000 5.209

Problem 549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 70 43 40 66 39 165 44 47

N.S.

1 1.63 1.00 0.93 1.53 0.91 3.84 1.02 1.09

time (sec)

N/A 0.175 0.038 1.288 0.281 0.249 6.907 0.280 5.192

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 60 42 35 86 37 104 55 0

N.S.

1 1.40 0.98 0.81 2.00 0.86 2.42 1.28 0.00

time (sec)

N/A 0.175 0.137 1.046 0.188 0.242 2.238 0.326 0.000

Problem 551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 70 43 40 66 39 160 44 47

N.S.

1 1.63 1.00 0.93 1.53 0.91 3.72 1.02 1.09

time (sec)

N/A 0.171 0.040 1.214 0.278 0.258 4.594 0.278 5.205

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 60 42 35 84 37 104 55 0

N.S.

1 1.40 0.98 0.81 1.95 0.86 2.42 1.28 0.00

time (sec)

N/A 0.169 0.178 1.091 0.198 0.248 1.735 0.311 0.000

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 498 43 42 0 53 0 0 0

N.S.

1 11.58 1.00 0.98 0.00 1.23 0.00 0.00 0.00

time (sec)

N/A 1.719 0.639 3.326 0.000 0.276 0.000 0.000 0.000

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 50 42 27 86 37 46 49 0

N.S.

1 1.16 0.98 0.63 2.00 0.86 1.07 1.14 0.00

time (sec)

N/A 0.165 0.139 1.131 0.212 0.253 2.255 0.315 0.000

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 71 43 40 119 57 117 58 85

N.S.

1 1.65 1.00 0.93 2.77 1.33 2.72 1.35 1.98

time (sec)

N/A 0.178 0.054 1.258 0.266 0.249 49.133 0.279 6.092

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 192 43 64 0 68 0 0 0

N.S.

1 4.47 1.00 1.49 0.00 1.58 0.00 0.00 0.00

time (sec)

N/A 1.343 0.621 4.848 0.000 0.284 0.000 0.000 0.000

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 192 43 64 0 68 0 0 0

N.S.

1 4.47 1.00 1.49 0.00 1.58 0.00 0.00 0.00

time (sec)

N/A 1.265 0.609 2.671 0.000 0.291 0.000 0.000 0.000

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

43 0 43 40 0 154 0 0 0

N.S.

1 0.00 1.00 0.93 0.00 3.58 0.00 0.00 0.00

time (sec)

N/A 0.000 10.621 1.502 0.000 2.124 0.000 0.000 0.000

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 60 43 45 85 57 99 59 198

N.S.

1 1.40 1.00 1.05 1.98 1.33 2.30 1.37 4.60

time (sec)

N/A 0.309 0.044 2.135 0.283 0.247 24.081 0.283 5.252

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

43 0 0 39 0 172 0 0 0

N.S.

1 0.00 0.00 0.91 0.00 4.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 1.553 0.000 0.357 0.000 0.000 0.000

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

43 0 43 349 0 167 0 0 0

N.S.

1 0.00 1.00 8.12 0.00 3.88 0.00 0.00 0.00

time (sec)

N/A 0.000 8.192 249.525 0.000 6.846 0.000 0.000 0.000

Problem 562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 47 43 78 14 14 0 0 0

N.S.

1 1.09 1.00 1.81 0.33 0.33 0.00 0.00 0.00

time (sec)

N/A 0.343 0.014 1.323 0.186 0.251 0.000 0.000 0.000

Problem 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

43 419 0 0 0 0 0 0 0

N.S.

1 9.74 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.134 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

43 0 0 0 0 0 0 0 0

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

43 0 37 0 0 37 0 0 0

N.S.

1 0.00 0.86 0.00 0.00 0.86 0.00 0.00 0.00

time (sec)

N/A 0.000 4.308 0.000 0.000 0.307 0.000 0.000 0.000

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

44 0 37 2291 0 224 0 0 465

N.S.

1 0.00 0.84 52.07 0.00 5.09 0.00 0.00 10.57

time (sec)

N/A 0.000 15.244 1.451 0.000 0.408 0.000 0.000 5.138

Problem 567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

44 0 37 2492 0 231 0 0 437

N.S.

1 0.00 0.84 56.64 0.00 5.25 0.00 0.00 9.93

time (sec)

N/A 0.000 15.278 1.569 0.000 0.493 0.000 0.000 5.072

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A F F B

verified

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

size

44 0 44 41 0 68 0 0 61

N.S.

1 0.00 1.00 0.93 0.00 1.55 0.00 0.00 1.39

time (sec)

N/A 0.000 0.245 5.098 0.000 0.277 0.000 0.000 6.111

Problem 569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

44 0 37 370 0 407 0 0 589

N.S.

1 0.00 0.84 8.41 0.00 9.25 0.00 0.00 13.39

time (sec)

N/A 0.000 10.844 1.076 0.000 0.504 0.000 0.000 5.562

Problem 570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

44 0 37 399 0 441 0 0 368

N.S.

1 0.00 0.84 9.07 0.00 10.02 0.00 0.00 8.36

time (sec)

N/A 0.000 10.805 1.142 0.000 0.702 0.000 0.000 11.500

Problem 571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

44 0 62 31 0 93 0 0 0

N.S.

1 0.00 1.41 0.70 0.00 2.11 0.00 0.00 0.00

time (sec)

N/A 0.000 2.305 5.131 0.000 0.296 0.000 0.000 0.000

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

44 0 8031 3170 0 471 0 0 1058

N.S.

1 0.00 182.52 72.05 0.00 10.70 0.00 0.00 24.05

time (sec)

N/A 0.000 16.837 1.737 0.000 2.295 0.000 0.000 101.047

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 51 44 35 57 46 53 59 0

N.S.

1 1.16 1.00 0.80 1.30 1.05 1.20 1.34 0.00

time (sec)

N/A 0.206 0.269 1.060 0.276 0.249 1.059 0.328 0.000

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

44 24 44 0 0 45 0 0 0

N.S.

1 0.55 1.00 0.00 0.00 1.02 0.00 0.00 0.00

time (sec)

N/A 0.446 0.017 0.000 0.000 0.270 0.000 0.000 0.000

Problem 575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

44 0 44 0 0 0 0 0 0

N.S.

1 0.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.104 0.000 0.000 0.000 0.000 0.000 0.000

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

44 31 44 0 0 60 15 0 0

N.S.

1 0.70 1.00 0.00 0.00 1.36 0.34 0.00 0.00

time (sec)

N/A 0.214 0.178 0.000 0.000 0.375 0.977 0.000 0.000

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 50 45 52 47 58 32 47 33

N.S.

1 1.11 1.00 1.16 1.04 1.29 0.71 1.04 0.73

time (sec)

N/A 0.164 0.044 1.458 0.268 0.255 0.635 0.264 5.582

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 47 41 58 47 57 32 48 33

N.S.

1 1.04 0.91 1.29 1.04 1.27 0.71 1.07 0.73

time (sec)

N/A 0.172 0.045 1.839 0.315 0.255 0.623 0.255 5.634

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 47 45 52 47 57 34 48 33

N.S.

1 1.04 1.00 1.16 1.04 1.27 0.76 1.07 0.73

time (sec)

N/A 0.164 0.031 1.821 0.265 0.260 0.586 0.263 5.533

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 60 61 43 0 43 0 49 0

N.S.

1 1.33 1.36 0.96 0.00 0.96 0.00 1.09 0.00

time (sec)

N/A 0.205 0.215 3.156 0.000 0.285 0.000 0.312 0.000

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

45 0 45 40 0 146 0 0 50

N.S.

1 0.00 1.00 0.89 0.00 3.24 0.00 0.00 1.11

time (sec)

N/A 0.000 10.613 1.268 0.000 0.980 0.000 0.000 5.684

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

45 0 45 64 0 115 0 0 77

N.S.

1 0.00 1.00 1.42 0.00 2.56 0.00 0.00 1.71

time (sec)

N/A 0.000 1.373 0.889 0.000 0.278 0.000 0.000 8.873

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 47 45 52 47 57 34 47 33

N.S.

1 1.04 1.00 1.16 1.04 1.27 0.76 1.04 0.73

time (sec)

N/A 0.173 0.037 4.138 0.265 0.271 0.638 0.260 5.535

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

45 0 45 807 0 256 0 0 0

N.S.

1 0.00 1.00 17.93 0.00 5.69 0.00 0.00 0.00

time (sec)

N/A 0.000 10.905 3.464 0.000 29.113 0.000 0.000 0.000

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

45 0 45 0 0 0 0 0 0

N.S.

1 0.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 11.109 0.000 0.000 0.000 0.000 0.000 0.000

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

45 1790 45 38 22 1957 0 22 22

N.S.

1 39.78 1.00 0.84 0.49 43.49 0.00 0.49 0.49

time (sec)

N/A 5.761 0.300 13.292 0.302 0.451 0.000 0.289 5.468

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

45 0 45 63 27 1933 0 27 27

N.S.

1 0.00 1.00 1.40 0.60 42.96 0.00 0.60 0.60

time (sec)

N/A 0.000 0.345 12.408 0.334 0.462 0.000 0.592 5.790

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

45 18 81 0 0 57 0 0 0

N.S.

1 0.40 1.80 0.00 0.00 1.27 0.00 0.00 0.00

time (sec)

N/A 0.312 0.161 0.000 0.000 0.486 0.000 0.000 0.000

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 75 64 43 0 44 0 50 0

N.S.

1 1.63 1.39 0.93 0.00 0.96 0.00 1.09 0.00

time (sec)

N/A 0.249 0.136 3.454 0.000 0.314 0.000 0.289 0.000

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 39 46 36 0 41 0 0 0

N.S.

1 0.85 1.00 0.78 0.00 0.89 0.00 0.00 0.00

time (sec)

N/A 0.493 0.582 4.536 0.000 0.282 0.000 0.000 0.000

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

46 0 46 40 0 39 0 0 0

N.S.

1 0.00 1.00 0.87 0.00 0.85 0.00 0.00 0.00

time (sec)

N/A 0.000 0.121 3.487 0.000 0.281 0.000 0.000 0.000

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

46 0 46 45 0 44 0 93 0

N.S.

1 0.00 1.00 0.98 0.00 0.96 0.00 2.02 0.00

time (sec)

N/A 0.000 0.079 0.534 0.000 0.284 0.000 0.282 0.000

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

46 58 53 53 0 52 0 50 0

N.S.

1 1.26 1.15 1.15 0.00 1.13 0.00 1.09 0.00

time (sec)

N/A 0.522 0.165 3.911 0.000 0.274 0.000 0.289 0.000

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B C A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

47 47 47 33 59 85 34 60 29

N.S.

1 1.00 1.00 0.70 1.26 1.81 0.72 1.28 0.62

time (sec)

N/A 0.181 0.011 2.866 0.268 1.436 0.552 0.279 5.680

Problem 595

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

47 60 47 57 53 49 56 53 39

N.S.

1 1.28 1.00 1.21 1.13 1.04 1.19 1.13 0.83

time (sec)

N/A 0.180 0.036 3.561 0.269 0.254 11.605 0.268 5.516

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

47 0 59 48 0 66 0 61 0

N.S.

1 0.00 1.26 1.02 0.00 1.40 0.00 1.30 0.00

time (sec)

N/A 0.000 0.120 0.526 0.000 0.243 0.000 0.284 0.000

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

47 1670 47 76 0 109 0 0 0

N.S.

1 35.53 1.00 1.62 0.00 2.32 0.00 0.00 0.00

time (sec)

N/A 2.899 0.302 3.920 0.000 0.289 0.000 0.000 0.000

Problem 598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

47 0 47 44 0 64 0 0 0

N.S.

1 0.00 1.00 0.94 0.00 1.36 0.00 0.00 0.00

time (sec)

N/A 0.000 0.108 8.411 0.000 0.317 0.000 0.000 0.000

Problem 599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

47 0 0 45 0 193 0 0 61

N.S.

1 0.00 0.00 0.96 0.00 4.11 0.00 0.00 1.30

time (sec)

N/A 0.000 0.000 1.420 0.000 0.280 0.000 0.000 5.632

Problem 600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

47 0 47 66 0 0 0 0 0

N.S.

1 0.00 1.00 1.40 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 1.452 0.918 0.000 0.000 0.000 0.000 0.000

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