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

2.2.12 Integrals 1101 to 1200

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 1101

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.001 0.000 0.238 0.985 2.358 0.404 0.003

Problem 1102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 108 105 86 0 194 0 211 0

N.S.

1 1.32 1.28 1.05 0.00 2.37 0.00 2.57 0.00

time (sec)

N/A 0.252 0.271 1.187 0.000 0.259 0.000 0.276 0.000

Problem 1103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 112 111 86 0 199 0 207 0

N.S.

1 1.37 1.35 1.05 0.00 2.43 0.00 2.52 0.00

time (sec)

N/A 0.424 0.376 1.147 0.000 0.258 0.000 0.294 0.000

Problem 1104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

82 0 0 85 0 112 0 0 0

N.S.

1 0.00 0.00 1.04 0.00 1.37 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 6.905 0.000 1.052 0.000 0.000 0.000

Problem 1105

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

82 701 121 74 28 0 22 0 29

N.S.

1 8.55 1.48 0.90 0.34 0.00 0.27 0.00 0.35

time (sec)

N/A 1.803 0.537 1.566 0.222 0.000 7.647 0.000 5.616

Problem 1106

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

82 701 121 74 28 0 22 0 29

N.S.

1 8.55 1.48 0.90 0.34 0.00 0.27 0.00 0.35

time (sec)

N/A 1.492 0.001 0.000 0.218 0.000 7.810 0.000 0.002

Problem 1107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 103 82 91 127 0 70 0 0

N.S.

1 1.26 1.00 1.11 1.55 0.00 0.85 0.00 0.00

time (sec)

N/A 0.247 0.475 1.214 0.274 0.000 1.375 0.000 0.000

Problem 1108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

82 0 82 73 42 144 36 0 3940

N.S.

1 0.00 1.00 0.89 0.51 1.76 0.44 0.00 48.05

time (sec)

N/A 0.000 0.109 1.061 0.239 0.318 101.676 0.000 14.496

Problem 1109

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

size

83 84 109 15 0 84 0 55 25

N.S.

1 1.01 1.31 0.18 0.00 1.01 0.00 0.66 0.30

time (sec)

N/A 0.182 0.158 3.426 0.000 0.298 0.000 0.316 5.740

Problem 1110

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

83 0 64 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 10.547 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1111

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

83 0 64 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.110 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1112

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

83 0 60 0 0 0 0 0 0

N.S.

1 0.00 0.72 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 11.342 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1113

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

83 76 83 64 0 79 0 91 0

N.S.

1 0.92 1.00 0.77 0.00 0.95 0.00 1.10 0.00

time (sec)

N/A 0.312 0.092 2.160 0.000 0.293 0.000 0.300 0.000

Problem 1114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

83 0 69 106 0 0 0 0 0

N.S.

1 0.00 0.83 1.28 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.208 106.517 0.000 0.000 0.000 0.000 0.000

Problem 1115

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

83 83 66 80 0 509 0 0 0

N.S.

1 1.00 0.80 0.96 0.00 6.13 0.00 0.00 0.00

time (sec)

N/A 0.201 0.281 3.788 0.000 105.625 0.000 0.000 0.000

Problem 1116

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

83 128 122 109 0 0 0 192 45

N.S.

1 1.54 1.47 1.31 0.00 0.00 0.00 2.31 0.54

time (sec)

N/A 0.265 0.234 2.807 0.000 0.000 0.000 0.292 5.802

Problem 1117

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

83 757 122 75 26 0 22 26 26

N.S.

1 9.12 1.47 0.90 0.31 0.00 0.27 0.31 0.31

time (sec)

N/A 1.951 0.561 1.986 0.217 0.000 6.801 0.451 5.513

Problem 1118

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

83 757 122 75 26 0 22 26 26

N.S.

1 9.12 1.47 0.90 0.31 0.00 0.27 0.31 0.31

time (sec)

N/A 1.521 0.001 0.000 0.223 0.000 6.912 0.447 0.002

Problem 1119

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

83 115 74 68 0 64 66 82 0

N.S.

1 1.39 0.89 0.82 0.00 0.77 0.80 0.99 0.00

time (sec)

N/A 0.421 0.108 0.898 0.000 0.638 0.492 0.311 0.000

Problem 1120

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

83 115 74 68 0 64 66 62 0

N.S.

1 1.39 0.89 0.82 0.00 0.77 0.80 0.75 0.00

time (sec)

N/A 0.405 0.106 0.914 0.000 0.624 0.403 0.297 0.000

Problem 1121

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

83 115 74 68 0 64 66 82 0

N.S.

1 1.39 0.89 0.82 0.00 0.77 0.80 0.99 0.00

time (sec)

N/A 0.307 0.084 0.875 0.000 0.687 0.378 0.313 0.000

Problem 1122

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

83 90 65 0 0 47 107 0 0

N.S.

1 1.08 0.78 0.00 0.00 0.57 1.29 0.00 0.00

time (sec)

N/A 0.343 0.079 0.000 0.000 0.281 0.214 0.000 0.000

Problem 1123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

83 97 83 57 63 163 114 62 425

N.S.

1 1.17 1.00 0.69 0.76 1.96 1.37 0.75 5.12

time (sec)

N/A 0.435 0.013 4.412 0.215 0.274 15.840 0.625 5.662

Problem 1124

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

83 0 31 0 0 52 0 0 0

N.S.

1 0.00 0.37 0.00 0.00 0.63 0.00 0.00 0.00

time (sec)

N/A 0.000 2.856 0.000 0.000 0.257 0.000 0.000 0.000

Problem 1125

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

84 1216 59 2553 0 313 0 0 628

N.S.

1 14.48 0.70 30.39 0.00 3.73 0.00 0.00 7.48

time (sec)

N/A 5.767 14.277 2.160 0.000 0.481 0.000 0.000 0.193

Problem 1126

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

84 70 80 64 63 65 36 64 83

N.S.

1 0.83 0.95 0.76 0.75 0.77 0.43 0.76 0.99

time (sec)

N/A 0.194 0.051 2.945 0.273 0.252 0.539 0.294 5.485

Problem 1127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 120 123 95 0 0 0 209 0

N.S.

1 1.43 1.46 1.13 0.00 0.00 0.00 2.49 0.00

time (sec)

N/A 0.359 0.436 2.369 0.000 0.000 0.000 0.303 0.000

Problem 1128

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

84 0 83 128 0 171 0 0 0

N.S.

1 0.00 0.99 1.52 0.00 2.04 0.00 0.00 0.00

time (sec)

N/A 0.000 0.991 5.869 0.000 0.324 0.000 0.000 0.000

Problem 1129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

84 564 0 86 0 120 0 0 0

N.S.

1 6.71 0.00 1.02 0.00 1.43 0.00 0.00 0.00

time (sec)

N/A 1.975 0.000 5.640 0.000 0.329 0.000 0.000 0.000

Problem 1130

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

84 55 55 41 43 50 70 99 44

N.S.

1 0.65 0.65 0.49 0.51 0.60 0.83 1.18 0.52

time (sec)

N/A 0.186 0.036 0.599 0.174 0.312 0.399 0.279 5.573

Problem 1131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 69 80 62 63 65 73 63 79

N.S.

1 0.81 0.94 0.73 0.74 0.76 0.86 0.74 0.93

time (sec)

N/A 0.185 0.050 1.882 0.270 0.266 4.592 0.277 5.960

Problem 1132

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

85 138 65 71 0 177 0 0 0

N.S.

1 1.62 0.76 0.84 0.00 2.08 0.00 0.00 0.00

time (sec)

N/A 1.147 10.746 1.609 0.000 0.301 0.000 0.000 0.000

Problem 1133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A C F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 344 73 96 0 413 0 0 102

N.S.

1 4.05 0.86 1.13 0.00 4.86 0.00 0.00 1.20

time (sec)

N/A 0.838 10.937 2.872 0.000 0.315 0.000 0.000 0.120

Problem 1134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A C F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 414 73 222 0 389 0 0 159

N.S.

1 4.87 0.86 2.61 0.00 4.58 0.00 0.00 1.87

time (sec)

N/A 1.193 11.020 4.448 0.000 0.297 0.000 0.000 5.766

Problem 1135

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

85 0 71 202 0 100 0 0 0

N.S.

1 0.00 0.84 2.38 0.00 1.18 0.00 0.00 0.00

time (sec)

N/A 0.000 0.101 1.557 0.000 0.724 0.000 0.000 0.000

Problem 1136

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

85 60 85 80 0 104 0 0 0

N.S.

1 0.71 1.00 0.94 0.00 1.22 0.00 0.00 0.00

time (sec)

N/A 0.174 0.168 3.504 0.000 0.506 0.000 0.000 0.000

Problem 1137

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

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

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

85 697 106 104 0 265 0 0 205

N.S.

1 8.20 1.25 1.22 0.00 3.12 0.00 0.00 2.41

time (sec)

N/A 1.268 0.425 8.573 0.000 0.294 0.000 0.000 0.035

Problem 1139

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

85 260 118 87 0 106 0 0 0

N.S.

1 3.06 1.39 1.02 0.00 1.25 0.00 0.00 0.00

time (sec)

N/A 0.887 1.025 5.280 0.000 0.777 0.000 0.000 0.000

Problem 1140

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

85 99 85 94 103 0 114 0 0

N.S.

1 1.16 1.00 1.11 1.21 0.00 1.34 0.00 0.00

time (sec)

N/A 0.229 0.274 1.204 0.296 0.000 1.602 0.000 0.000

Problem 1141

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

85 108 85 116 113 0 209 0 0

N.S.

1 1.27 1.00 1.36 1.33 0.00 2.46 0.00 0.00

time (sec)

N/A 0.225 0.291 1.201 0.287 0.000 1.659 0.000 0.000

Problem 1142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 104 85 87 0 83 223 0 0

N.S.

1 1.22 1.00 1.02 0.00 0.98 2.62 0.00 0.00

time (sec)

N/A 0.567 0.767 3.812 0.000 0.469 2.812 0.000 0.000

Problem 1143

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

85 0 118 79 0 108 0 0 0

N.S.

1 0.00 1.39 0.93 0.00 1.27 0.00 0.00 0.00

time (sec)

N/A 0.000 7.037 5.216 0.000 0.871 0.000 0.000 0.000

Problem 1144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

85 0 0 79 0 104 0 0 0

N.S.

1 0.00 0.00 0.93 0.00 1.22 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 9.023 0.000 1.602 0.000 0.000 0.000

Problem 1145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 134 77 94 0 80 0 0 0

N.S.

1 1.58 0.91 1.11 0.00 0.94 0.00 0.00 0.00

time (sec)

N/A 0.495 0.158 2.357 0.000 0.275 0.000 0.000 0.000

Problem 1146

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

85 369 85 51 25 1540 42 25 25

N.S.

1 4.34 1.00 0.60 0.29 18.12 0.49 0.29 0.29

time (sec)

N/A 0.663 0.268 23.517 0.325 7.676 3.410 0.290 5.765

Problem 1147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

85 199 85 0 31 1557 32 31 31

N.S.

1 2.34 1.00 0.00 0.36 18.32 0.38 0.36 0.36

time (sec)

N/A 0.597 0.282 0.000 0.315 12.280 100.670 0.308 5.836

Problem 1148

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

85 341 85 99 32 201 36 32 32

N.S.

1 4.01 1.00 1.16 0.38 2.36 0.42 0.38 0.38

time (sec)

N/A 0.735 0.311 7.980 0.316 0.269 14.146 0.296 6.040

Problem 1149

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

85 850 120 76 27 0 24 0 30

N.S.

1 10.00 1.41 0.89 0.32 0.00 0.28 0.00 0.35

time (sec)

N/A 2.600 0.541 2.321 0.229 0.000 10.995 0.000 5.791

Problem 1150

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

85 850 120 76 27 0 24 0 30

N.S.

1 10.00 1.41 0.89 0.32 0.00 0.28 0.00 0.35

time (sec)

N/A 2.075 0.002 0.000 0.215 0.000 10.849 0.000 0.002

Problem 1151

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

85 0 85 118 0 161 0 0 0

N.S.

1 0.00 1.00 1.39 0.00 1.89 0.00 0.00 0.00

time (sec)

N/A 0.000 1.391 10.692 0.000 31.630 0.000 0.000 0.000

Problem 1152

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

85 550 81 99 0 120 0 0 0

N.S.

1 6.47 0.95 1.16 0.00 1.41 0.00 0.00 0.00

time (sec)

N/A 2.759 0.374 7.022 0.000 0.320 0.000 0.000 0.000

Problem 1153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

85 0 101 0 0 610 0 0 0

N.S.

1 0.00 1.19 0.00 0.00 7.18 0.00 0.00 0.00

time (sec)

N/A 0.000 8.749 0.000 0.000 0.699 0.000 0.000 0.000

Problem 1154

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

85 0 67 0 0 65 0 0 0

N.S.

1 0.00 0.79 0.00 0.00 0.76 0.00 0.00 0.00

time (sec)

N/A 0.000 0.374 0.000 0.000 0.690 0.000 0.000 0.000

Problem 1155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

86 47 81 67 0 68 0 0 0

N.S.

1 0.55 0.94 0.78 0.00 0.79 0.00 0.00 0.00

time (sec)

N/A 0.206 0.075 4.389 0.000 0.254 0.000 0.000 0.000

Problem 1156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

86 47 81 67 0 68 0 0 0

N.S.

1 0.55 0.94 0.78 0.00 0.79 0.00 0.00 0.00

time (sec)

N/A 0.204 0.070 4.128 0.000 0.253 0.000 0.000 0.000

Problem 1157

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

86 69 82 66 65 67 37 66 83

N.S.

1 0.80 0.95 0.77 0.76 0.78 0.43 0.77 0.97

time (sec)

N/A 0.194 0.056 3.687 0.265 0.247 0.545 0.271 5.740

Problem 1158

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

86 0 72 276 0 104 0 0 0

N.S.

1 0.00 0.84 3.21 0.00 1.21 0.00 0.00 0.00

time (sec)

N/A 0.000 0.100 1.429 0.000 0.691 0.000 0.000 0.000

Problem 1159

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

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

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

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

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

86 140 86 64 109 92 36 109 52

N.S.

1 1.63 1.00 0.74 1.27 1.07 0.42 1.27 0.60

time (sec)

N/A 0.318 0.088 6.381 0.267 0.301 0.565 0.278 5.869

Problem 1162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

86 96 111 99 0 219 0 80 0

N.S.

1 1.12 1.29 1.15 0.00 2.55 0.00 0.93 0.00

time (sec)

N/A 0.324 0.244 6.597 0.000 0.500 0.000 0.281 0.000

Problem 1163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 113 102 99 0 369 0 72 0

N.S.

1 1.31 1.19 1.15 0.00 4.29 0.00 0.84 0.00

time (sec)

N/A 0.317 0.275 11.207 0.000 1.077 0.000 0.307 0.000

Problem 1164

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

86 410 103 93 24 496 19 24 28

N.S.

1 4.77 1.20 1.08 0.28 5.77 0.22 0.28 0.33

time (sec)

N/A 1.326 0.234 21.026 0.215 0.313 0.419 0.290 5.463

Problem 1165

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

86 410 103 93 24 496 19 24 28

N.S.

1 4.77 1.20 1.08 0.28 5.77 0.22 0.28 0.33

time (sec)

N/A 1.162 0.001 0.000 0.214 0.326 0.428 0.302 0.003

Problem 1166

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

86 93 81 94 120 211 41 0 0

N.S.

1 1.08 0.94 1.09 1.40 2.45 0.48 0.00 0.00

time (sec)

N/A 0.211 0.316 1.248 0.279 0.309 0.739 0.000 0.000

Problem 1167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 100 86 93 190 0 83 0 0

N.S.

1 1.16 1.00 1.08 2.21 0.00 0.97 0.00 0.00

time (sec)

N/A 0.230 0.298 1.215 0.289 0.000 1.539 0.000 0.000

Problem 1168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

86 319 82 79 30 0 0 30 33

N.S.

1 3.71 0.95 0.92 0.35 0.00 0.00 0.35 0.38

time (sec)

N/A 0.792 0.193 253.227 0.343 0.000 0.000 0.289 5.963

Problem 1169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

86 319 82 79 30 0 0 30 33

N.S.

1 3.71 0.95 0.92 0.35 0.00 0.00 0.35 0.38

time (sec)

N/A 0.660 0.002 0.030 0.319 0.000 0.000 0.301 0.002

Problem 1170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

86 313 82 79 35 0 0 35 35

N.S.

1 3.64 0.95 0.92 0.41 0.00 0.00 0.41 0.41

time (sec)

N/A 0.859 0.204 290.224 0.311 0.000 0.000 0.287 5.790

Problem 1171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

86 313 82 79 35 0 0 35 35

N.S.

1 3.64 0.95 0.92 0.41 0.00 0.00 0.41 0.41

time (sec)

N/A 0.687 0.001 0.033 0.316 0.000 0.000 0.295 0.002

Problem 1172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

86 327 82 79 35 0 0 35 35

N.S.

1 3.80 0.95 0.92 0.41 0.00 0.00 0.41 0.41

time (sec)

N/A 0.834 0.204 265.546 0.309 0.000 0.000 0.294 5.866

Problem 1173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

86 327 82 79 35 0 0 35 35

N.S.

1 3.80 0.95 0.92 0.41 0.00 0.00 0.41 0.41

time (sec)

N/A 0.688 0.001 0.031 0.321 0.000 0.000 0.290 0.003

Problem 1174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

86 171 86 53 22 1501 26 22 22

N.S.

1 1.99 1.00 0.62 0.26 17.45 0.30 0.26 0.26

time (sec)

N/A 0.476 0.263 30.119 0.304 9.976 7.697 0.278 5.550

Problem 1175

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

86 97 86 111 107 0 105 0 0

N.S.

1 1.13 1.00 1.29 1.24 0.00 1.22 0.00 0.00

time (sec)

N/A 0.259 0.462 1.272 0.272 0.000 1.242 0.000 0.000

Problem 1176

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

87 91 87 76 0 132 0 96 0

N.S.

1 1.05 1.00 0.87 0.00 1.52 0.00 1.10 0.00

time (sec)

N/A 0.371 0.185 1.134 0.000 1.193 0.000 0.576 0.000

Problem 1177

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

87 77 81 55 66 78 32 66 80

N.S.

1 0.89 0.93 0.63 0.76 0.90 0.37 0.76 0.92

time (sec)

N/A 0.196 0.087 2.234 0.279 0.252 0.627 0.267 5.544

Problem 1178

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

87 76 83 76 66 79 34 66 86

N.S.

1 0.87 0.95 0.87 0.76 0.91 0.39 0.76 0.99

time (sec)

N/A 0.200 0.069 2.264 0.277 0.258 0.599 0.270 5.682

Problem 1179

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

87 70 80 64 63 65 37 63 89

N.S.

1 0.80 0.92 0.74 0.72 0.75 0.43 0.72 1.02

time (sec)

N/A 0.193 0.038 1.718 0.270 0.265 0.561 0.275 5.486

Problem 1180

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

87 0 98 58 0 168 0 0 0

N.S.

1 0.00 1.13 0.67 0.00 1.93 0.00 0.00 0.00

time (sec)

N/A 0.000 2.184 19.150 0.000 0.354 0.000 0.000 0.000

Problem 1181

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

87 70 80 64 63 65 37 63 89

N.S.

1 0.80 0.92 0.74 0.72 0.75 0.43 0.72 1.02

time (sec)

N/A 0.196 0.051 5.382 0.270 0.247 0.565 0.262 5.516

Problem 1182

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

87 0 87 89 0 132 0 0 0

N.S.

1 0.00 1.00 1.02 0.00 1.52 0.00 0.00 0.00

time (sec)

N/A 0.000 0.983 9.937 0.000 2.402 0.000 0.000 0.000

Problem 1183

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

87 0 74 208 0 105 0 0 0

N.S.

1 0.00 0.85 2.39 0.00 1.21 0.00 0.00 0.00

time (sec)

N/A 0.000 2.222 1.835 0.000 0.261 0.000 0.000 0.000

Problem 1184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 85 72 87 0 0 0 0 0

N.S.

1 0.98 0.83 1.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.227 0.444 3.908 0.000 0.000 0.000 0.000 0.000

Problem 1185

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

87 87 70 87 0 525 0 0 0

N.S.

1 1.00 0.80 1.00 0.00 6.03 0.00 0.00 0.00

time (sec)

N/A 0.194 0.278 1.218 0.000 106.336 0.000 0.000 0.000

Problem 1186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

87 0 67 246 0 605 0 0 135

N.S.

1 0.00 0.77 2.83 0.00 6.95 0.00 0.00 1.55

time (sec)

N/A 0.000 11.554 0.827 0.000 0.962 0.000 0.000 12.760

Problem 1187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 81 72 87 0 80 0 0 0

N.S.

1 0.93 0.83 1.00 0.00 0.92 0.00 0.00 0.00

time (sec)

N/A 0.960 11.349 5.669 0.000 0.326 0.000 0.000 0.000

Problem 1188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

87 0 0 86 83 0 0 83 85

N.S.

1 0.00 0.00 0.99 0.95 0.00 0.00 0.95 0.98

time (sec)

N/A 0.000 0.000 0.075 0.306 0.000 0.000 0.681 7.519

Problem 1189

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

87 70 80 64 63 65 37 64 89

N.S.

1 0.80 0.92 0.74 0.72 0.75 0.43 0.74 1.02

time (sec)

N/A 0.190 0.053 6.583 0.283 0.251 0.553 0.279 5.781

Problem 1190

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

87 70 80 64 63 65 36 63 89

N.S.

1 0.80 0.92 0.74 0.72 0.75 0.41 0.72 1.02

time (sec)

N/A 0.187 0.045 7.298 0.296 0.250 0.531 0.281 5.771

Problem 1191

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

87 0 62 59 0 184 0 0 0

N.S.

1 0.00 0.71 0.68 0.00 2.11 0.00 0.00 0.00

time (sec)

N/A 0.000 0.210 6.245 0.000 0.347 0.000 0.000 0.000

Problem 1192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

87 0 0 89 0 131 0 0 0

N.S.

1 0.00 0.00 1.02 0.00 1.51 0.00 0.00 0.00

time (sec)

N/A 0.000 0.000 221.161 0.000 26.488 0.000 0.000 0.000

Problem 1193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 76 82 48 62 94 0 126 80

N.S.

1 0.87 0.94 0.55 0.71 1.08 0.00 1.45 0.92

time (sec)

N/A 0.263 0.109 1.088 0.286 0.254 0.000 0.316 7.028

Problem 1194

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

87 98 87 127 0 93 0 87 0

N.S.

1 1.13 1.00 1.46 0.00 1.07 0.00 1.00 0.00

time (sec)

N/A 0.371 0.153 0.217 0.000 0.679 0.000 0.510 0.000

Problem 1195

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

87 78 81 60 88 183 94 82 63

N.S.

1 0.90 0.93 0.69 1.01 2.10 1.08 0.94 0.72

time (sec)

N/A 0.204 0.158 0.703 0.284 0.259 1.091 0.275 6.062

Problem 1196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

87 0 74 153 0 70 581 0 0

N.S.

1 0.00 0.85 1.76 0.00 0.80 6.68 0.00 0.00

time (sec)

N/A 0.000 0.131 0.119 0.000 0.291 2.007 0.000 0.000

Problem 1197

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

87 0 87 15 17 6796 17 17 17

N.S.

1 0.00 1.00 0.17 0.20 78.11 0.20 0.20 0.20

time (sec)

N/A 0.000 0.578 0.063 0.314 0.955 0.746 0.297 5.573

Problem 1198

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

87 0 87 15 17 6796 17 17 17

N.S.

1 0.00 1.00 0.17 0.20 78.11 0.20 0.20 0.20

time (sec)

N/A 0.000 0.001 0.000 0.307 0.954 0.750 0.303 0.003

Problem 1199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

88 51 79 67 0 70 0 0 0

N.S.

1 0.58 0.90 0.76 0.00 0.80 0.00 0.00 0.00

time (sec)

N/A 0.195 0.085 4.718 0.000 0.252 0.000 0.000 0.000

Problem 1200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 117 71 48 0 639 0 0 103

N.S.

1 1.33 0.81 0.55 0.00 7.26 0.00 0.00 1.17

time (sec)

N/A 0.912 10.604 4.863 0.000 0.885 0.000 0.000 9.584

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