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

2.2.11 Integrals 1001 to 1100

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 1001

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 79 62 95 0 201 0 0 0

N.S.

1 1.04 0.82 1.25 0.00 2.64 0.00 0.00 0.00

time (sec)

N/A 0.274 0.258 4.341 0.000 2.020 0.000 0.000 0.000

Problem 1002

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

76 0 57 84 0 787 0 0 175

N.S.

1 0.00 0.75 1.11 0.00 10.36 0.00 0.00 2.30

time (sec)

N/A 0.000 10.289 3.132 0.000 1.099 0.000 0.000 14.141

Problem 1003

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

76 0 57 84 0 787 0 0 175

N.S.

1 0.00 0.75 1.11 0.00 10.36 0.00 0.00 2.30

time (sec)

N/A 0.000 10.259 0.717 0.000 1.087 0.000 0.000 13.622

Problem 1004

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

76 55 69 57 56 58 32 57 80

N.S.

1 0.72 0.91 0.75 0.74 0.76 0.42 0.75 1.05

time (sec)

N/A 0.188 0.053 6.943 0.274 0.265 0.536 0.267 6.406

Problem 1005

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

76 651 76 76 33 0 0 33 33

N.S.

1 8.57 1.00 1.00 0.43 0.00 0.00 0.43 0.43

time (sec)

N/A 1.070 0.213 20.767 0.332 0.000 0.000 0.275 7.145

Problem 1006

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

76 651 76 76 33 0 0 33 33

N.S.

1 8.57 1.00 1.00 0.43 0.00 0.00 0.43 0.43

time (sec)

N/A 0.887 0.001 20.423 0.316 0.000 0.000 0.276 0.002

Problem 1007

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 860 76 86 0 114 0 0 0

N.S.

1 11.32 1.00 1.13 0.00 1.50 0.00 0.00 0.00

time (sec)

N/A 2.891 0.565 17.758 0.000 0.330 0.000 0.000 0.000

Problem 1008

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 87 44 46 29 64 0 0 64

N.S.

1 1.14 0.58 0.61 0.38 0.84 0.00 0.00 0.84

time (sec)

N/A 0.393 0.029 1.214 0.270 0.234 0.000 0.000 0.100

Problem 1009

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 2548 62 2341 0 0 0 0 754

N.S.

1 33.09 0.81 30.40 0.00 0.00 0.00 0.00 9.79

time (sec)

N/A 9.656 15.564 1.906 0.000 0.000 0.000 0.000 0.140

Problem 1010

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

77 132 62 66 0 174 0 0 0

N.S.

1 1.71 0.81 0.86 0.00 2.26 0.00 0.00 0.00

time (sec)

N/A 1.314 10.996 1.743 0.000 0.313 0.000 0.000 0.000

Problem 1011

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 46 78 14 69 76 27 0 12

N.S.

1 0.60 1.01 0.18 0.90 0.99 0.35 0.00 0.16

time (sec)

N/A 0.159 0.024 3.167 0.279 0.279 0.430 0.000 5.888

Problem 1012

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C C F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 397 88 273 0 126 0 0 159

N.S.

1 5.16 1.14 3.55 0.00 1.64 0.00 0.00 2.06

time (sec)

N/A 1.224 22.099 3.125 0.000 0.297 0.000 0.000 5.914

Problem 1013

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

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

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C C A B

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

77 122 68 79 102 85 31 102 45

N.S.

1 1.58 0.88 1.03 1.32 1.10 0.40 1.32 0.58

time (sec)

N/A 0.317 0.018 6.655 0.273 0.261 0.480 0.251 5.953

Problem 1015

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

77 0 56 76 0 731 0 0 1150

N.S.

1 0.00 0.73 0.99 0.00 9.49 0.00 0.00 14.94

time (sec)

N/A 0.000 9.358 1.538 0.000 0.458 0.000 0.000 6.886

Problem 1016

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 81 77 85 185 184 78 0 0

N.S.

1 1.05 1.00 1.10 2.40 2.39 1.01 0.00 0.00

time (sec)

N/A 0.216 0.366 1.315 0.274 0.267 1.663 0.000 0.000

Problem 1017

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

77 94 85 71 0 0 0 186 40

N.S.

1 1.22 1.10 0.92 0.00 0.00 0.00 2.42 0.52

time (sec)

N/A 0.244 5.186 2.648 0.000 0.000 0.000 0.271 6.118

Problem 1018

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

77 0 56 87 0 871 0 0 0

N.S.

1 0.00 0.73 1.13 0.00 11.31 0.00 0.00 0.00

time (sec)

N/A 0.000 9.264 1.679 0.000 0.695 0.000 0.000 0.000

Problem 1019

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C C A B

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

77 126 68 79 102 85 34 102 45

N.S.

1 1.64 0.88 1.03 1.32 1.10 0.44 1.32 0.58

time (sec)

N/A 0.299 0.080 8.921 0.276 0.253 0.482 0.269 6.131

Problem 1020

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

77 3450 116 71 24 0 20 24 24

N.S.

1 44.81 1.51 0.92 0.31 0.00 0.26 0.31 0.31

time (sec)

N/A 6.373 8.510 4.461 0.234 0.000 6.557 8.128 5.996

Problem 1021

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

77 3450 116 71 24 0 20 24 24

N.S.

1 44.81 1.51 0.92 0.31 0.00 0.26 0.31 0.31

time (sec)

N/A 6.030 0.001 1.441 0.245 0.000 6.340 9.492 0.003

Problem 1022

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 74 80 75 0 73 0 52 111

N.S.

1 0.96 1.04 0.97 0.00 0.95 0.00 0.68 1.44

time (sec)

N/A 0.345 0.349 0.443 0.000 0.267 0.000 0.281 0.469

Problem 1023

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

77 0 77 34 36 2495 37 0 36

N.S.

1 0.00 1.00 0.44 0.47 32.40 0.48 0.00 0.47

time (sec)

N/A 0.000 0.133 0.188 0.584 0.966 2.480 0.000 6.323

Problem 1024

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

77 0 77 34 36 2495 37 0 36

N.S.

1 0.00 1.00 0.44 0.47 32.40 0.48 0.00 0.47

time (sec)

N/A 0.000 0.001 0.029 0.592 0.988 2.480 0.000 0.003

Problem 1025

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

77 0 74 61 0 202 0 0 0

N.S.

1 0.00 0.96 0.79 0.00 2.62 0.00 0.00 0.00

time (sec)

N/A 0.000 0.174 1.187 0.000 0.310 0.000 0.000 0.000

Problem 1026

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 64 70 65 53 89 0 84 0

N.S.

1 0.82 0.90 0.83 0.68 1.14 0.00 1.08 0.00

time (sec)

N/A 0.197 0.203 1.213 0.290 0.258 0.000 0.270 0.000

Problem 1027

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

78 86 78 82 94 192 41 221 58

N.S.

1 1.10 1.00 1.05 1.21 2.46 0.53 2.83 0.74

time (sec)

N/A 0.196 0.104 1.236 0.293 0.266 0.796 0.272 6.034

Problem 1028

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 157 76 73 540 87 0 0 86

N.S.

1 2.01 0.97 0.94 6.92 1.12 0.00 0.00 1.10

time (sec)

N/A 0.323 0.055 0.123 0.217 0.254 0.000 0.000 5.946

Problem 1029

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

78 86 78 82 94 187 41 221 58

N.S.

1 1.10 1.00 1.05 1.21 2.40 0.53 2.83 0.74

time (sec)

N/A 0.192 0.064 1.208 0.287 0.278 0.921 0.265 6.058

Problem 1030

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

78 76 78 148 0 72 0 0 0

N.S.

1 0.97 1.00 1.90 0.00 0.92 0.00 0.00 0.00

time (sec)

N/A 0.200 3.831 1.290 0.000 0.294 0.000 0.000 0.000

Problem 1031

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

78 0 78 90 0 368 0 0 0

N.S.

1 0.00 1.00 1.15 0.00 4.72 0.00 0.00 0.00

time (sec)

N/A 0.000 0.424 11.615 0.000 8.665 0.000 0.000 0.000

Problem 1032

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

78 86 78 82 94 192 39 221 58

N.S.

1 1.10 1.00 1.05 1.21 2.46 0.50 2.83 0.74

time (sec)

N/A 0.193 0.064 1.199 0.279 0.279 0.794 0.270 6.081

Problem 1033

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

78 86 78 82 94 192 41 221 58

N.S.

1 1.10 1.00 1.05 1.21 2.46 0.53 2.83 0.74

time (sec)

N/A 0.200 0.058 1.261 0.278 0.272 0.895 0.259 6.132

Problem 1034

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

78 703 78 76 35 0 0 35 35

N.S.

1 9.01 1.00 0.97 0.45 0.00 0.00 0.45 0.45

time (sec)

N/A 0.766 0.216 22.450 0.322 0.000 0.000 0.303 6.292

Problem 1035

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

78 703 78 76 35 0 0 35 35

N.S.

1 9.01 1.00 0.97 0.45 0.00 0.00 0.45 0.45

time (sec)

N/A 0.726 0.001 21.255 0.312 0.000 0.000 0.292 0.002

Problem 1036

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

78 86 73 82 94 187 41 221 58

N.S.

1 1.10 0.94 1.05 1.21 2.40 0.53 2.83 0.74

time (sec)

N/A 0.198 0.063 1.256 0.281 0.261 0.910 0.258 6.351

Problem 1037

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

78 522 74 3768 25 863 41 290 25

N.S.

1 6.69 0.95 48.31 0.32 11.06 0.53 3.72 0.32

time (sec)

N/A 1.848 0.264 16.585 0.314 3.709 42.267 0.312 6.172

Problem 1038

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

78 153 73 87 22 410 26 22 22

N.S.

1 1.96 0.94 1.12 0.28 5.26 0.33 0.28 0.28

time (sec)

N/A 0.453 0.252 19.085 0.318 0.273 67.748 0.276 5.940

Problem 1039

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

78 153 73 87 22 410 26 22 22

N.S.

1 1.96 0.94 1.12 0.28 5.26 0.33 0.28 0.28

time (sec)

N/A 0.426 0.001 16.209 0.312 0.299 66.736 0.273 0.002

Problem 1040

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

78 560 78 5226 32 1586 34 0 32

N.S.

1 7.18 1.00 67.00 0.41 20.33 0.44 0.00 0.41

time (sec)

N/A 1.687 0.275 119.393 0.332 5.109 58.901 0.000 6.350

Problem 1041

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

78 560 78 5228 32 1586 34 0 32

N.S.

1 7.18 1.00 67.03 0.41 20.33 0.44 0.00 0.41

time (sec)

N/A 1.656 0.001 116.017 0.341 5.108 61.276 0.000 0.003

Problem 1042

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

78 52 81 52 114 61 73 86 47

N.S.

1 0.67 1.04 0.67 1.46 0.78 0.94 1.10 0.60

time (sec)

N/A 0.213 0.105 1.842 0.283 0.262 16.295 0.285 6.331

Problem 1043

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 86 65 52 0 59 56 53 0

N.S.

1 1.10 0.83 0.67 0.00 0.76 0.72 0.68 0.00

time (sec)

N/A 0.249 0.090 0.031 0.000 0.520 0.357 0.274 0.000

Problem 1044

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

79 100 79 68 92 264 114 69 65

N.S.

1 1.27 1.00 0.86 1.16 3.34 1.44 0.87 0.82

time (sec)

N/A 0.213 0.065 2.599 0.286 0.256 5.907 0.261 6.378

Problem 1045

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

79 0 51 60 0 395 0 0 695

N.S.

1 0.00 0.65 0.76 0.00 5.00 0.00 0.00 8.80

time (sec)

N/A 0.000 15.393 3.454 0.000 0.476 0.000 0.000 6.049

Problem 1046

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

79 0 62 0 0 0 0 0 0

N.S.

1 0.00 0.78 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 11.184 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1047

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

79 100 97 104 0 105 0 0 232

N.S.

1 1.27 1.23 1.32 0.00 1.33 0.00 0.00 2.94

time (sec)

N/A 0.718 0.325 7.873 0.000 0.278 0.000 0.000 0.052

Problem 1048

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

79 808 79 72 0 115 0 0 0

N.S.

1 10.23 1.00 0.91 0.00 1.46 0.00 0.00 0.00

time (sec)

N/A 2.289 0.536 3.266 0.000 0.346 0.000 0.000 0.000

Problem 1049

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 45 102 113 0 341 0 63 0

N.S.

1 0.57 1.29 1.43 0.00 4.32 0.00 0.80 0.00

time (sec)

N/A 0.328 0.275 8.904 0.000 0.981 0.000 0.295 0.000

Problem 1050

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

79 60 63 54 0 106 0 97 0

N.S.

1 0.76 0.80 0.68 0.00 1.34 0.00 1.23 0.00

time (sec)

N/A 0.238 0.279 2.067 0.000 0.273 0.000 0.280 0.000

Problem 1051

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

79 0 79 81 0 96 0 0 0

N.S.

1 0.00 1.00 1.03 0.00 1.22 0.00 0.00 0.00

time (sec)

N/A 0.000 1.688 6.243 0.000 0.323 0.000 0.000 0.000

Problem 1052

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

79 455 79 79 30 0 0 0 30

N.S.

1 5.76 1.00 1.00 0.38 0.00 0.00 0.00 0.38

time (sec)

N/A 1.043 0.182 250.297 0.323 0.000 0.000 0.000 6.044

Problem 1053

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

79 455 79 79 30 0 0 0 30

N.S.

1 5.76 1.00 1.00 0.38 0.00 0.00 0.00 0.38

time (sec)

N/A 0.805 0.001 0.029 0.326 0.000 0.000 0.000 0.004

Problem 1054

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

79 0 79 71 0 102 0 0 0

N.S.

1 0.00 1.00 0.90 0.00 1.29 0.00 0.00 0.00

time (sec)

N/A 0.000 1.245 3.481 0.000 1.296 0.000 0.000 0.000

Problem 1055

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

79 0 60 106 0 309 0 0 0

N.S.

1 0.00 0.76 1.34 0.00 3.91 0.00 0.00 0.00

time (sec)

N/A 0.000 3.587 7.015 0.000 0.364 0.000 0.000 0.000

Problem 1056

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

79 0 61 0 0 58 0 0 0

N.S.

1 0.00 0.77 0.00 0.00 0.73 0.00 0.00 0.00

time (sec)

N/A 0.000 0.116 0.000 0.000 0.684 0.000 0.000 0.000

Problem 1057

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 77 60 84 0 43 92 0 0

N.S.

1 0.97 0.76 1.06 0.00 0.54 1.16 0.00 0.00

time (sec)

N/A 0.215 0.072 0.087 0.000 0.252 0.213 0.000 0.000

Problem 1058

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

79 0 79 22 0 81 15 0 0

N.S.

1 0.00 1.00 0.28 0.00 1.03 0.19 0.00 0.00

time (sec)

N/A 0.000 0.140 0.063 0.000 0.463 0.440 0.000 0.000

Problem 1059

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

79 0 76 0 0 81 0 0 0

N.S.

1 0.00 0.96 0.00 0.00 1.03 0.00 0.00 0.00

time (sec)

N/A 0.000 0.140 0.000 0.000 0.524 0.000 0.000 0.000

Problem 1060

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

80 0 80 284 0 100 0 0 0

N.S.

1 0.00 1.00 3.55 0.00 1.25 0.00 0.00 0.00

time (sec)

N/A 0.000 0.103 1.459 0.000 0.696 0.000 0.000 0.000

Problem 1061

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 1216 59 2557 0 312 0 0 628

N.S.

1 15.20 0.74 31.96 0.00 3.90 0.00 0.00 7.85

time (sec)

N/A 5.823 14.288 3.906 0.000 0.483 0.000 0.000 5.692

Problem 1062

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

80 3354 118 72 30 22203 24 30 30

N.S.

1 41.92 1.48 0.90 0.38 277.54 0.30 0.38 0.38

time (sec)

N/A 6.871 0.274 4.249 0.227 0.982 1.758 0.365 5.685

Problem 1063

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

80 3354 118 72 30 22203 24 30 30

N.S.

1 41.92 1.48 0.90 0.38 277.54 0.30 0.38 0.38

time (sec)

N/A 6.028 0.001 0.000 0.221 1.021 1.767 0.350 0.002

Problem 1064

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

80 0 74 204 0 105 0 0 0

N.S.

1 0.00 0.92 2.55 0.00 1.31 0.00 0.00 0.00

time (sec)

N/A 0.000 2.236 1.815 0.000 0.255 0.000 0.000 0.000

Problem 1065

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

80 87 75 85 110 201 37 0 0

N.S.

1 1.09 0.94 1.06 1.38 2.51 0.46 0.00 0.00

time (sec)

N/A 0.209 0.309 1.291 0.287 0.263 0.711 0.000 0.000

Problem 1066

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 120 111 97 0 0 0 185 44

N.S.

1 1.50 1.39 1.21 0.00 0.00 0.00 2.31 0.55

time (sec)

N/A 0.254 0.240 2.877 0.000 0.000 0.000 0.280 5.788

Problem 1067

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

80 1034 80 6505 30 1398 0 30 34

N.S.

1 12.92 1.00 81.31 0.38 17.48 0.00 0.38 0.42

time (sec)

N/A 2.881 0.252 32.281 0.313 4.412 0.000 0.355 5.984

Problem 1068

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

80 1034 80 6505 30 1398 0 30 34

N.S.

1 12.92 1.00 81.31 0.38 17.48 0.00 0.38 0.42

time (sec)

N/A 2.884 0.001 0.026 0.303 4.404 0.000 0.349 0.002

Problem 1069

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

80 165 76 3975 35 1549 39 372 35

N.S.

1 2.06 0.95 49.69 0.44 19.36 0.49 4.65 0.44

time (sec)

N/A 0.678 0.294 0.025 0.321 4.736 18.978 0.289 5.973

Problem 1070

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

80 165 76 75 35 1549 39 372 35

N.S.

1 2.06 0.95 0.94 0.44 19.36 0.49 4.65 0.44

time (sec)

N/A 0.658 0.001 0.955 0.312 5.105 19.237 0.287 0.003

Problem 1071

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

81 0 60 98 0 0 0 0 0

N.S.

1 0.00 0.74 1.21 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 15.284 3.628 0.000 0.000 0.000 0.000 0.000

Problem 1072

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

81 69 78 48 61 63 34 62 75

N.S.

1 0.85 0.96 0.59 0.75 0.78 0.42 0.77 0.93

time (sec)

N/A 0.202 0.050 2.269 0.279 0.264 0.564 0.264 5.604

Problem 1073

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

81 0 62 0 0 0 0 0 0

N.S.

1 0.00 0.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 11.219 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1074

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

81 3278 119 71 32 24170 24 32 33

N.S.

1 40.47 1.47 0.88 0.40 298.40 0.30 0.40 0.41

time (sec)

N/A 6.609 0.269 2.769 0.227 1.060 1.635 0.362 5.758

Problem 1075

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

81 3278 119 71 32 24170 24 32 33

N.S.

1 40.47 1.47 0.88 0.40 298.40 0.30 0.40 0.41

time (sec)

N/A 5.816 0.001 0.001 0.232 1.034 1.674 0.355 0.002

Problem 1076

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

81 0 0 81 0 0 0 0 0

N.S.

1 0.00 0.00 1.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 3.564 0.000 0.000 0.000 0.000 0.000

Problem 1077

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 88 77 107 0 147 0 0 0

N.S.

1 1.09 0.95 1.32 0.00 1.81 0.00 0.00 0.00

time (sec)

N/A 0.242 0.234 2.785 0.000 0.277 0.000 0.000 0.000

Problem 1078

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

81 99 107 100 0 348 0 72 0

N.S.

1 1.22 1.32 1.23 0.00 4.30 0.00 0.89 0.00

time (sec)

N/A 0.369 0.271 12.775 0.000 1.282 0.000 0.288 0.000

Problem 1079

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

81 0 81 379 0 0 0 0 0

N.S.

1 0.00 1.00 4.68 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 6.126 3.695 0.000 0.000 0.000 0.000 0.000

Problem 1080

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

81 0 58 0 0 502 0 0 0

N.S.

1 0.00 0.72 0.00 0.00 6.20 0.00 0.00 0.00

time (sec)

N/A 0.000 0.871 0.000 0.000 4.714 0.000 0.000 0.000

Problem 1081

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

81 0 77 70 0 79 0 0 0

N.S.

1 0.00 0.95 0.86 0.00 0.98 0.00 0.00 0.00

time (sec)

N/A 0.000 0.114 0.546 0.000 0.260 0.000 0.000 0.000

Problem 1082

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

81 0 81 73 0 112 0 0 0

N.S.

1 0.00 1.00 0.90 0.00 1.38 0.00 0.00 0.00

time (sec)

N/A 0.000 1.182 4.694 0.000 1.369 0.000 0.000 0.000

Problem 1083

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

81 0 79 71 0 132 0 0 0

N.S.

1 0.00 0.98 0.88 0.00 1.63 0.00 0.00 0.00

time (sec)

N/A 0.000 3.362 4.854 0.000 0.296 0.000 0.000 0.000

Problem 1084

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 84 81 98 93 0 126 0 57

N.S.

1 1.04 1.00 1.21 1.15 0.00 1.56 0.00 0.70

time (sec)

N/A 0.204 0.265 1.435 0.275 0.000 1.055 0.000 6.636

Problem 1085

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 85 81 92 112 198 41 0 39

N.S.

1 1.05 1.00 1.14 1.38 2.44 0.51 0.00 0.48

time (sec)

N/A 0.192 0.237 1.116 0.281 0.308 0.645 0.000 5.746

Problem 1086

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 84 81 98 93 0 46 0 0

N.S.

1 1.04 1.00 1.21 1.15 0.00 0.57 0.00 0.00

time (sec)

N/A 0.185 0.224 0.876 0.280 0.000 0.708 0.000 0.000

Problem 1087

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B 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

81 891 115 71 26 452783 20 26 26

N.S.

1 11.00 1.42 0.88 0.32 5589.91 0.25 0.32 0.32

time (sec)

N/A 1.455 0.364 2.286 0.240 2.359 1.323 9.462 5.834

Problem 1088

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B 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

81 891 115 71 26 452783 20 26 26

N.S.

1 11.00 1.42 0.88 0.32 5589.91 0.25 0.32 0.32

time (sec)

N/A 1.205 0.003 0.000 0.239 2.218 1.327 9.300 0.002

Problem 1089

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 114 104 85 0 144 0 183 40

N.S.

1 1.41 1.28 1.05 0.00 1.78 0.00 2.26 0.49

time (sec)

N/A 0.252 0.231 2.664 0.000 0.267 0.000 0.284 5.991

Problem 1090

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

81 0 81 140 0 196 0 0 0

N.S.

1 0.00 1.00 1.73 0.00 2.42 0.00 0.00 0.00

time (sec)

N/A 0.000 0.138 10.625 0.000 29.652 0.000 0.000 0.000

Problem 1091

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 86 81 104 0 313 0 0 0

N.S.

1 1.06 1.00 1.28 0.00 3.86 0.00 0.00 0.00

time (sec)

N/A 0.238 0.352 6.911 0.000 3.645 0.000 0.000 0.000

Problem 1092

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

81 781 120 73 26 0 22 0 26

N.S.

1 9.64 1.48 0.90 0.32 0.00 0.27 0.00 0.32

time (sec)

N/A 1.843 0.512 1.511 0.236 0.000 7.003 0.000 5.682

Problem 1093

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

81 781 120 73 26 0 22 0 26

N.S.

1 9.64 1.48 0.90 0.32 0.00 0.27 0.00 0.32

time (sec)

N/A 1.391 0.002 0.000 0.227 0.000 6.870 0.000 0.002

Problem 1094

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 1632 66 114 0 623 0 0 0

N.S.

1 20.15 0.81 1.41 0.00 7.69 0.00 0.00 0.00

time (sec)

N/A 3.396 0.391 6.542 0.000 1.148 0.000 0.000 0.000

Problem 1095

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 1632 66 114 0 623 0 0 0

N.S.

1 20.15 0.81 1.41 0.00 7.69 0.00 0.00 0.00

time (sec)

N/A 3.045 0.467 9.398 0.000 1.138 0.000 0.000 0.000

Problem 1096

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

81 0 81 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.174 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1097

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

81 47 75 0 0 135 0 0 0

N.S.

1 0.58 0.93 0.00 0.00 1.67 0.00 0.00 0.00

time (sec)

N/A 0.255 0.306 0.000 0.000 1.186 0.000 0.000 0.000

Problem 1098

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

82 870 116 72 28 0 20 28 29

N.S.

1 10.61 1.41 0.88 0.34 0.00 0.24 0.34 0.35

time (sec)

N/A 1.272 0.348 1.513 0.216 0.000 1.337 8.314 5.668

Problem 1099

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

82 870 116 72 28 0 20 28 29

N.S.

1 10.61 1.41 0.88 0.34 0.00 0.24 0.34 0.35

time (sec)

N/A 1.068 0.001 0.000 0.216 0.000 1.386 8.484 0.003

Problem 1100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

82 0 116 70 29 7487 20 29 29

N.S.

1 0.00 1.41 0.85 0.35 91.30 0.24 0.35 0.35

time (sec)

N/A 0.000 0.349 2.026 0.230 0.977 2.533 0.396 5.577

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