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

2.2.8 Integrals 701 to 800

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 701

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

55 64 55 44 107 115 102 61 69

N.S.

1 1.16 1.00 0.80 1.95 2.09 1.85 1.11 1.25

time (sec)

N/A 0.192 0.080 1.146 0.273 0.263 11.139 0.270 5.665

Problem 702

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

55 1277 42 2704 0 269 0 0 84

N.S.

1 23.22 0.76 49.16 0.00 4.89 0.00 0.00 1.53

time (sec)

N/A 3.539 0.009 2.017 0.000 0.312 0.000 0.000 7.079

Problem 703

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 55 73 79 134 56 0 31

N.S.

1 1.00 1.00 1.33 1.44 2.44 1.02 0.00 0.56

time (sec)

N/A 0.222 5.699 13.114 0.277 6.085 1.228 0.000 5.819

Problem 704

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 75 55 17 99 68 31 81 0

N.S.

1 1.36 1.00 0.31 1.80 1.24 0.56 1.47 0.00

time (sec)

N/A 0.194 0.186 1.894 0.281 0.256 1.029 0.253 0.000

Problem 705

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

55 85 81 33 0 93 0 53 0

N.S.

1 1.55 1.47 0.60 0.00 1.69 0.00 0.96 0.00

time (sec)

N/A 0.259 4.052 7.157 0.000 0.767 0.000 0.263 0.000

Problem 706

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

55 85 80 33 0 91 0 56 0

N.S.

1 1.55 1.45 0.60 0.00 1.65 0.00 1.02 0.00

time (sec)

N/A 0.249 7.008 5.291 0.000 0.756 0.000 0.264 0.000

Problem 707

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

55 63 75 52 0 55 0 65 0

N.S.

1 1.15 1.36 0.95 0.00 1.00 0.00 1.18 0.00

time (sec)

N/A 0.218 0.208 4.194 0.000 0.275 0.000 0.298 0.000

Problem 708

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

55 83 70 27 0 81 0 51 29

N.S.

1 1.51 1.27 0.49 0.00 1.47 0.00 0.93 0.53

time (sec)

N/A 0.228 0.155 1.887 0.000 0.243 0.000 0.276 6.018

Problem 709

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

55 0 55 91 0 50 0 0 0

N.S.

1 0.00 1.00 1.65 0.00 0.91 0.00 0.00 0.00

time (sec)

N/A 0.000 3.844 1.495 0.000 0.278 0.000 0.000 0.000

Problem 710

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

55 0 55 53 0 77 0 0 0

N.S.

1 0.00 1.00 0.96 0.00 1.40 0.00 0.00 0.00

time (sec)

N/A 0.000 0.184 21.186 0.000 0.336 0.000 0.000 0.000

Problem 711

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 61 46 55 57 104 39 186 34

N.S.

1 1.11 0.84 1.00 1.04 1.89 0.71 3.38 0.62

time (sec)

N/A 0.186 0.048 2.156 0.266 0.257 0.557 0.263 5.870

Problem 712

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 48 57 57 83 37 186 36

N.S.

1 1.00 0.87 1.04 1.04 1.51 0.67 3.38 0.65

time (sec)

N/A 0.182 0.036 0.806 0.271 0.261 0.507 0.287 5.854

Problem 713

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 64 46 55 57 104 41 186 39

N.S.

1 1.16 0.84 1.00 1.04 1.89 0.75 3.38 0.71

time (sec)

N/A 0.180 0.045 2.181 0.270 0.258 0.632 0.278 5.985

Problem 714

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

55 48 60 47 77 47 56 0 54

N.S.

1 0.87 1.09 0.85 1.40 0.85 1.02 0.00 0.98

time (sec)

N/A 0.206 0.100 0.939 0.270 0.266 4.229 0.000 6.381

Problem 715

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

55 0 93 48 39 0 39 39 39

N.S.

1 0.00 1.69 0.87 0.71 0.00 0.71 0.71 0.71

time (sec)

N/A 0.000 2.773 9.861 0.249 0.000 1.956 0.294 5.863

Problem 716

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

55 0 93 48 39 0 39 39 39

N.S.

1 0.00 1.69 0.87 0.71 0.00 0.71 0.71 0.71

time (sec)

N/A 0.000 0.001 9.390 0.236 0.000 1.756 0.294 0.002

Problem 717

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 64 46 55 57 104 41 186 34

N.S.

1 1.16 0.84 1.00 1.04 1.89 0.75 3.38 0.62

time (sec)

N/A 0.183 0.045 2.174 0.268 0.251 0.596 0.275 5.964

Problem 718

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

55 413 55 48 35 0 29 35 37

N.S.

1 7.51 1.00 0.87 0.64 0.00 0.53 0.64 0.67

time (sec)

N/A 1.020 0.831 1.051 0.222 0.000 61.254 1.635 6.065

Problem 719

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

55 413 55 48 35 0 29 35 37

N.S.

1 7.51 1.00 0.87 0.64 0.00 0.53 0.64 0.67

time (sec)

N/A 0.717 0.003 0.968 0.224 0.000 61.455 1.552 0.002

Problem 720

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

55 325 55 48 28 0 24 28 28

N.S.

1 5.91 1.00 0.87 0.51 0.00 0.44 0.51 0.51

time (sec)

N/A 0.951 0.448 1.221 0.222 0.000 4.713 0.301 5.923

Problem 721

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 79 60 59 0 98 0 74 0

N.S.

1 1.41 1.07 1.05 0.00 1.75 0.00 1.32 0.00

time (sec)

N/A 0.252 0.144 0.938 0.000 1.092 0.000 0.442 0.000

Problem 722

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

56 35 39 70 0 103 0 0 0

N.S.

1 0.62 0.70 1.25 0.00 1.84 0.00 0.00 0.00

time (sec)

N/A 0.184 0.099 3.981 0.000 0.266 0.000 0.000 0.000

Problem 723

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

56 63 56 49 107 117 105 62 69

N.S.

1 1.12 1.00 0.88 1.91 2.09 1.88 1.11 1.23

time (sec)

N/A 0.182 0.083 0.888 0.278 0.289 11.040 0.270 5.989

Problem 724

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

56 0 56 50 0 0 0 0 102

N.S.

1 0.00 1.00 0.89 0.00 0.00 0.00 0.00 1.82

time (sec)

N/A 0.000 0.787 6.637 0.000 0.000 0.000 0.000 12.396

Problem 725

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

56 0 56 91 0 50 0 0 0

N.S.

1 0.00 1.00 1.62 0.00 0.89 0.00 0.00 0.00

time (sec)

N/A 0.000 3.954 1.201 0.000 0.294 0.000 0.000 0.000

Problem 726

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

56 0 56 92 0 53 0 0 0

N.S.

1 0.00 1.00 1.64 0.00 0.95 0.00 0.00 0.00

time (sec)

N/A 0.000 3.983 1.275 0.000 0.282 0.000 0.000 0.000

Problem 727

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

56 0 56 54 0 0 0 0 102

N.S.

1 0.00 1.00 0.96 0.00 0.00 0.00 0.00 1.82

time (sec)

N/A 0.000 0.808 2.702 0.000 0.000 0.000 0.000 12.576

Problem 728

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

56 0 55 65 0 223 0 0 0

N.S.

1 0.00 0.98 1.16 0.00 3.98 0.00 0.00 0.00

time (sec)

N/A 0.000 22.787 1.579 0.000 0.372 0.000 0.000 0.000

Problem 729

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F A F A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

56 178 77 55 0 59 0 57 51

N.S.

1 3.18 1.38 0.98 0.00 1.05 0.00 1.02 0.91

time (sec)

N/A 0.485 0.231 3.152 0.000 0.272 0.000 0.327 6.769

Problem 730

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

56 0 56 55 0 0 0 0 0

N.S.

1 0.00 1.00 0.98 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 9.204 4.615 0.000 0.000 0.000 0.000 0.000

Problem 731

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 41 248 31 52 52 223 65 76

N.S.

1 0.73 4.43 0.55 0.93 0.93 3.98 1.16 1.36

time (sec)

N/A 0.372 10.478 2.331 0.234 0.312 5.310 0.545 6.712

Problem 732

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

56 65 52 49 0 61 0 0 0

N.S.

1 1.16 0.93 0.88 0.00 1.09 0.00 0.00 0.00

time (sec)

N/A 0.301 0.036 0.433 0.000 0.271 0.000 0.000 0.000

Problem 733

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

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

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 52 49 45 0 44 745 37 48

N.S.

1 0.93 0.88 0.80 0.00 0.79 13.30 0.66 0.86

time (sec)

N/A 0.166 0.098 1.646 0.000 0.245 0.959 0.261 0.104

Problem 735

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

size

57 0 49 4588 0 345 0 0 122

N.S.

1 0.00 0.86 80.49 0.00 6.05 0.00 0.00 2.14

time (sec)

N/A 0.000 15.231 2.060 0.000 0.500 0.000 0.000 9.154

Problem 736

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

57 0 38 34 0 0 0 0 0

N.S.

1 0.00 0.67 0.60 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 10.689 4.148 0.000 0.000 0.000 0.000 0.000

Problem 737

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

57 75 56 33 99 70 32 82 0

N.S.

1 1.32 0.98 0.58 1.74 1.23 0.56 1.44 0.00

time (sec)

N/A 0.215 0.170 1.759 0.275 0.274 1.138 0.295 0.000

Problem 738

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 93 75 30 0 72 0 60 0

N.S.

1 1.63 1.32 0.53 0.00 1.26 0.00 1.05 0.00

time (sec)

N/A 0.270 0.232 1.415 0.000 0.266 0.000 0.286 0.000

Problem 739

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

57 0 57 81 0 180 0 0 0

N.S.

1 0.00 1.00 1.42 0.00 3.16 0.00 0.00 0.00

time (sec)

N/A 0.000 0.825 6.576 0.000 0.352 0.000 0.000 0.000

Problem 740

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 50 61 68 126 37 0 0

N.S.

1 1.00 0.88 1.07 1.19 2.21 0.65 0.00 0.00

time (sec)

N/A 0.182 0.262 2.387 0.285 0.269 0.527 0.000 0.000

Problem 741

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

57 281 57 50 23 0 19 23 24

N.S.

1 4.93 1.00 0.88 0.40 0.00 0.33 0.40 0.42

time (sec)

N/A 0.389 0.314 1.218 0.222 0.000 5.430 0.302 5.501

Problem 742

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 461 48 63 0 0 0 0 0

N.S.

1 8.09 0.84 1.11 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.487 8.369 2.516 0.000 0.000 0.000 0.000 0.000

Problem 743

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

57 0 0 79 0 124 0 0 0

N.S.

1 0.00 0.00 1.39 0.00 2.18 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 7.462 0.000 48.024 0.000 0.000 0.000

Problem 744

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

57 0 57 22 0 61 17 0 0

N.S.

1 0.00 1.00 0.39 0.00 1.07 0.30 0.00 0.00

time (sec)

N/A 0.000 0.084 0.109 0.000 0.469 0.451 0.000 0.000

Problem 745

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 82 84 92 0 76 0 0 100

N.S.

1 1.41 1.45 1.59 0.00 1.31 0.00 0.00 1.72

time (sec)

N/A 0.690 0.476 5.515 0.000 0.284 0.000 0.000 0.093

Problem 746

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 82 84 92 0 76 0 0 100

N.S.

1 1.41 1.45 1.59 0.00 1.31 0.00 0.00 1.72

time (sec)

N/A 0.668 0.467 3.649 0.000 0.299 0.000 0.000 5.704

Problem 747

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 82 84 92 0 76 0 0 100

N.S.

1 1.41 1.45 1.59 0.00 1.31 0.00 0.00 1.72

time (sec)

N/A 0.673 0.449 3.783 0.000 0.282 0.000 0.000 5.411

Problem 748

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 192 70 200 0 193 0 0 0

N.S.

1 3.31 1.21 3.45 0.00 3.33 0.00 0.00 0.00

time (sec)

N/A 0.455 0.104 2.189 0.000 1.723 0.000 0.000 0.000

Problem 749

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

58 96 75 54 0 54 0 61 0

N.S.

1 1.66 1.29 0.93 0.00 0.93 0.00 1.05 0.00

time (sec)

N/A 0.240 0.198 3.402 0.000 0.282 0.000 0.301 0.000

Problem 750

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

58 46 58 39 0 63 0 0 0

N.S.

1 0.79 1.00 0.67 0.00 1.09 0.00 0.00 0.00

time (sec)

N/A 0.336 0.463 4.625 0.000 0.311 0.000 0.000 0.000

Problem 751

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

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

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

59 82 79 41 0 89 0 0 223

N.S.

1 1.39 1.34 0.69 0.00 1.51 0.00 0.00 3.78

time (sec)

N/A 0.684 0.254 2.546 0.000 0.274 0.000 0.000 5.623

Problem 753

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

59 0 38 34 0 0 0 0 0

N.S.

1 0.00 0.64 0.58 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 10.487 4.100 0.000 0.000 0.000 0.000 0.000

Problem 754

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

59 71 59 48 158 138 128 70 74

N.S.

1 1.20 1.00 0.81 2.68 2.34 2.17 1.19 1.25

time (sec)

N/A 0.188 0.108 0.944 0.276 0.276 28.784 0.269 5.892

Problem 755

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

59 69 59 48 158 136 128 69 74

N.S.

1 1.17 1.00 0.81 2.68 2.31 2.17 1.17 1.25

time (sec)

N/A 0.191 0.114 0.942 0.267 0.263 30.596 0.282 5.780

Problem 756

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

59 0 38 34 0 0 0 62 0

N.S.

1 0.00 0.64 0.58 0.00 0.00 0.00 1.05 0.00

time (sec)

N/A 0.000 10.574 5.717 0.000 0.000 0.000 0.546 0.000

Problem 757

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

59 0 38 34 0 0 0 69 0

N.S.

1 0.00 0.64 0.58 0.00 0.00 0.00 1.17 0.00

time (sec)

N/A 0.000 10.742 6.220 0.000 0.000 0.000 0.539 0.000

Problem 758

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

59 92 82 33 0 110 0 57 31

N.S.

1 1.56 1.39 0.56 0.00 1.86 0.00 0.97 0.53

time (sec)

N/A 0.209 0.167 3.003 0.000 0.719 0.000 0.272 5.789

Problem 759

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 110 89 17 0 102 0 57 0

N.S.

1 1.86 1.51 0.29 0.00 1.73 0.00 0.97 0.00

time (sec)

N/A 0.255 0.188 2.717 0.000 0.772 0.000 0.270 0.000

Problem 760

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

59 253 59 74 0 92 0 0 0

N.S.

1 4.29 1.00 1.25 0.00 1.56 0.00 0.00 0.00

time (sec)

N/A 2.133 0.594 5.481 0.000 0.283 0.000 0.000 0.000

Problem 761

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

59 0 56 85 0 168 0 0 0

N.S.

1 0.00 0.95 1.44 0.00 2.85 0.00 0.00 0.00

time (sec)

N/A 0.000 0.184 10.007 0.000 0.337 0.000 0.000 0.000

Problem 762

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

59 50 50 38 0 132 0 0 0

N.S.

1 0.85 0.85 0.64 0.00 2.24 0.00 0.00 0.00

time (sec)

N/A 0.248 0.549 1.769 0.000 0.315 0.000 0.000 0.000

Problem 763

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

59 0 59 66 0 0 0 0 0

N.S.

1 0.00 1.00 1.12 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 11.129 1.911 0.000 0.000 0.000 0.000 0.000

Problem 764

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

59 107 60 47 77 47 56 0 54

N.S.

1 1.81 1.02 0.80 1.31 0.80 0.95 0.00 0.92

time (sec)

N/A 0.224 0.112 0.984 0.279 0.272 4.174 0.000 6.314

Problem 765

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

59 0 59 48 34 0 34 34 37

N.S.

1 0.00 1.00 0.81 0.58 0.00 0.58 0.58 0.63

time (sec)

N/A 0.000 0.262 37.506 0.305 0.000 1.922 0.300 5.642

Problem 766

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

59 0 59 48 34 0 34 34 37

N.S.

1 0.00 1.00 0.81 0.58 0.00 0.58 0.58 0.63

time (sec)

N/A 0.000 0.002 30.764 0.302 0.000 1.918 0.278 0.002

Problem 767

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

59 0 59 48 35 0 34 35 35

N.S.

1 0.00 1.00 0.81 0.59 0.00 0.58 0.59 0.59

time (sec)

N/A 0.000 0.263 5.030 0.217 0.000 2.068 0.290 5.534

Problem 768

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

59 0 59 48 35 0 34 35 35

N.S.

1 0.00 1.00 0.81 0.59 0.00 0.58 0.59 0.59

time (sec)

N/A 0.000 0.002 4.276 0.215 0.000 1.957 0.278 0.002

Problem 769

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

59 0 97 53 43 0 41 43 43

N.S.

1 0.00 1.64 0.90 0.73 0.00 0.69 0.73 0.73

time (sec)

N/A 0.000 2.782 9.658 0.245 0.000 1.844 0.294 6.014

Problem 770

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

59 0 97 53 43 0 41 43 43

N.S.

1 0.00 1.64 0.90 0.73 0.00 0.69 0.73 0.73

time (sec)

N/A 0.000 0.001 9.699 0.247 0.000 1.884 0.297 0.003

Problem 771

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

59 0 59 48 41 0 37 41 46

N.S.

1 0.00 1.00 0.81 0.69 0.00 0.63 0.69 0.78

time (sec)

N/A 0.000 0.271 38.807 0.221 0.000 2.046 0.285 5.664

Problem 772

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

59 0 59 48 41 0 37 41 46

N.S.

1 0.00 1.00 0.81 0.69 0.00 0.63 0.69 0.78

time (sec)

N/A 0.000 0.001 31.066 0.232 0.000 2.099 0.300 0.002

Problem 773

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 460 50 70 0 0 0 0 0

N.S.

1 7.80 0.85 1.19 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.476 8.846 2.638 0.000 0.000 0.000 0.000 0.000

Problem 774

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

59 0 59 0 38 0 34 38 38

N.S.

1 0.00 1.00 0.00 0.64 0.00 0.58 0.64 0.64

time (sec)

N/A 0.000 1.388 0.000 0.227 0.000 4.478 0.303 5.676

Problem 775

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 454 289 8138 0 349 0 0 711

N.S.

1 7.57 4.82 135.63 0.00 5.82 0.00 0.00 11.85

time (sec)

N/A 11.232 31.995 2.575 0.000 12.245 0.000 0.000 5.733

Problem 776

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 469 308 9198 0 379 0 0 690

N.S.

1 7.82 5.13 153.30 0.00 6.32 0.00 0.00 11.50

time (sec)

N/A 13.835 33.096 2.593 0.000 16.762 0.000 0.000 5.757

Problem 777

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

60 93 39 36 0 92 0 0 64

N.S.

1 1.55 0.65 0.60 0.00 1.53 0.00 0.00 1.07

time (sec)

N/A 0.605 10.919 2.682 0.000 0.272 0.000 0.000 7.809

Problem 778

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

60 0 3908 510 0 638 0 0 946

N.S.

1 0.00 65.13 8.50 0.00 10.63 0.00 0.00 15.77

time (sec)

N/A 0.000 24.880 3.794 0.000 26.539 0.000 0.000 6.833

Problem 779

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

60 0 58 55 0 244 0 0 79

N.S.

1 0.00 0.97 0.92 0.00 4.07 0.00 0.00 1.32

time (sec)

N/A 0.000 0.474 7.473 0.000 0.284 0.000 0.000 6.691

Problem 780

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 85 85 37 0 219 0 0 78

N.S.

1 1.42 1.42 0.62 0.00 3.65 0.00 0.00 1.30

time (sec)

N/A 0.613 1.140 5.143 0.000 0.281 0.000 0.000 8.476

Problem 781

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

60 0 4752 534 0 651 0 0 569

N.S.

1 0.00 79.20 8.90 0.00 10.85 0.00 0.00 9.48

time (sec)

N/A 0.000 24.014 3.950 0.000 49.383 0.000 0.000 27.823

Problem 782

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

60 49 61 42 81 85 58 118 45

N.S.

1 0.82 1.02 0.70 1.35 1.42 0.97 1.97 0.75

time (sec)

N/A 0.217 0.172 0.938 0.269 0.260 2.759 0.273 6.289

Problem 783

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

60 41 58 38 78 73 75 81 42

N.S.

1 0.68 0.97 0.63 1.30 1.22 1.25 1.35 0.70

time (sec)

N/A 0.204 0.103 0.904 0.282 0.252 3.025 0.270 6.428

Problem 784

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 59 68 58 67 65 153 0 0

N.S.

1 0.98 1.13 0.97 1.12 1.08 2.55 0.00 0.00

time (sec)

N/A 0.228 0.162 1.250 0.266 0.264 3.083 0.000 0.000

Problem 785

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 52 65 57 64 62 168 0 0

N.S.

1 0.87 1.08 0.95 1.07 1.03 2.80 0.00 0.00

time (sec)

N/A 0.218 0.144 1.204 0.268 0.265 3.295 0.000 0.000

Problem 786

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

60 720 60 53 50 11793 0 50 50

N.S.

1 12.00 1.00 0.88 0.83 196.55 0.00 0.83 0.83

time (sec)

N/A 8.919 15.760 35.789 0.276 1.589 0.000 1.503 6.322

Problem 787

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

60 720 60 53 50 11793 0 50 50

N.S.

1 12.00 1.00 0.88 0.83 196.55 0.00 0.83 0.83

time (sec)

N/A 7.871 0.002 1.762 0.285 1.564 0.000 1.502 0.002

Problem 788

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

60 0 0 65 0 389 0 0 217

N.S.

1 0.00 0.00 1.08 0.00 6.48 0.00 0.00 3.62

time (sec)

N/A 0.000 0.000 2.760 0.000 0.309 0.000 0.000 10.733

Problem 789

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 209 149 72 0 75 0 0 0

N.S.

1 3.48 2.48 1.20 0.00 1.25 0.00 0.00 0.00

time (sec)

N/A 1.056 10.245 4.895 0.000 0.279 0.000 0.000 0.000

Problem 790

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

60 0 0 69 0 341 0 0 98

N.S.

1 0.00 0.00 1.15 0.00 5.68 0.00 0.00 1.63

time (sec)

N/A 0.000 0.000 2.814 0.000 0.328 0.000 0.000 8.915

Problem 791

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

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

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 70 59 130 27 27 0 0 0

N.S.

1 1.17 0.98 2.17 0.45 0.45 0.00 0.00 0.00

time (sec)

N/A 1.089 1.035 2.054 0.285 0.258 0.000 0.000 0.000

Problem 793

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A N/A N/A C N/A N/A N/A

verified

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

size

61 319 61 13410 20 451 14 20 20

N.S.

1 5.23 1.00 219.84 0.33 7.39 0.23 0.33 0.33

time (sec)

N/A 0.486 0.044 18.059 0.229 0.275 0.664 0.281 5.672

Problem 794

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A N/A N/A C N/A N/A N/A

verified

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

size

61 309 61 2779 20 451 14 20 20

N.S.

1 5.07 1.00 45.56 0.33 7.39 0.23 0.33 0.33

time (sec)

N/A 0.472 0.042 4.668 0.215 0.259 0.608 0.283 5.692

Problem 795

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

61 0 54 507 0 438 0 0 0

N.S.

1 0.00 0.89 8.31 0.00 7.18 0.00 0.00 0.00

time (sec)

N/A 0.000 10.356 7.618 0.000 3.473 0.000 0.000 0.000

Problem 796

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 349 73 64 0 239 0 0 234

N.S.

1 5.72 1.20 1.05 0.00 3.92 0.00 0.00 3.84

time (sec)

N/A 1.092 0.291 5.005 0.000 0.273 0.000 0.000 5.846

Problem 797

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

61 333 61 43 0 90 0 0 0

N.S.

1 5.46 1.00 0.70 0.00 1.48 0.00 0.00 0.00

time (sec)

N/A 0.951 1.038 2.514 0.000 0.291 0.000 0.000 0.000

Problem 798

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 61 73 81 101 56 0 33

N.S.

1 1.00 1.00 1.20 1.33 1.66 0.92 0.00 0.54

time (sec)

N/A 0.245 5.284 1.833 0.274 2.758 1.405 0.000 6.168

Problem 799

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 54 71 74 134 41 0 0

N.S.

1 1.00 0.89 1.16 1.21 2.20 0.67 0.00 0.00

time (sec)

N/A 0.184 0.236 2.601 0.262 0.268 0.614 0.000 0.000

Problem 800

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

61 0 84 74 0 121 0 0 81

N.S.

1 0.00 1.38 1.21 0.00 1.98 0.00 0.00 1.33

time (sec)

N/A 0.000 3.750 1.065 0.000 0.276 0.000 0.000 9.475

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