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

Integrals 101 to 191

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 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 134 12 10 12 12 12

N.S.

1 1.00 1.20 1.00 13.40 1.20 1.00 1.20 1.20 1.20

time (sec)

N/A 0.340 0.357 1.449 0.347 0.094 2.801 0.193 0.233 2.696

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

137 132 123 0 0 0 0 0 12 0

N.S.

1 0.96 0.90 0.00 0.00 0.00 0.00 0.00 0.09 0.00

time (sec)

N/A 0.343 0.030 0.000 0.000 0.000 0.000 0.000 0.229 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

60 60 55 0 0 0 0 0 10 0

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 0.17 0.00

time (sec)

N/A 0.207 0.017 0.000 0.000 0.000 0.000 0.000 0.252 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 8 12 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 0.80 1.20 1.20 1.20

time (sec)

N/A 0.181 0.159 1.227 0.108 0.082 0.384 0.121 0.233 2.704

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 268 12 10 12 12 12

N.S.

1 1.00 1.20 1.00 26.80 1.20 1.00 1.20 1.20 1.20

time (sec)

N/A 0.178 0.165 1.267 0.445 0.082 0.714 0.124 0.226 2.627

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

182 186 152 0 0 0 0 0 11 0

N.S.

1 1.02 0.84 0.00 0.00 0.00 0.00 0.00 0.06 0.00

time (sec)

N/A 0.773 0.084 0.000 0.000 0.000 0.000 0.000 0.244 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

139 132 99 0 0 0 0 0 11 0

N.S.

1 0.95 0.71 0.00 0.00 0.00 0.00 0.00 0.08 0.00

time (sec)

N/A 0.882 0.053 0.000 0.000 0.000 0.000 0.000 0.245 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

120 126 99 0 0 0 0 0 11 0

N.S.

1 1.05 0.82 0.00 0.00 0.00 0.00 0.00 0.09 0.00

time (sec)

N/A 0.839 0.053 0.000 0.000 0.000 0.000 0.000 0.226 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

93 90 52 75 0 0 0 0 9 0

N.S.

1 0.97 0.56 0.81 0.00 0.00 0.00 0.00 0.10 0.00

time (sec)

N/A 0.623 0.025 0.979 0.000 0.000 0.000 0.000 0.216 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

53 61 45 42 0 0 0 0 7 0

N.S.

1 1.15 0.85 0.79 0.00 0.00 0.00 0.00 0.13 0.00

time (sec)

N/A 0.455 0.040 0.877 0.000 0.000 0.000 0.000 0.221 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

12 12 14 10 12 0 10 12 11 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 0.83 1.00 0.92 1.00

time (sec)

N/A 0.176 0.139 0.385 0.211 0.000 0.335 0.254 0.220 2.712

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

330 421 152 0 0 0 0 0 15 0

N.S.

1 1.28 0.46 0.00 0.00 0.00 0.00 0.00 0.05 0.00

time (sec)

N/A 2.491 0.076 0.000 0.000 0.000 0.000 0.000 0.247 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

199 279 99 0 0 0 0 0 15 0

N.S.

1 1.40 0.50 0.00 0.00 0.00 0.00 0.00 0.08 0.00

time (sec)

N/A 2.294 0.055 0.000 0.000 0.000 0.000 0.000 0.249 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

179 230 99 0 0 0 0 0 15 0

N.S.

1 1.28 0.55 0.00 0.00 0.00 0.00 0.00 0.08 0.00

time (sec)

N/A 1.776 0.053 0.000 0.000 0.000 0.000 0.000 0.235 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

122 136 52 102 0 0 0 0 13 0

N.S.

1 1.11 0.43 0.84 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 0.993 0.016 0.995 0.000 0.000 0.000 0.000 0.243 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

81 86 47 65 0 0 0 0 12 0

N.S.

1 1.06 0.58 0.80 0.00 0.00 0.00 0.00 0.15 0.00

time (sec)

N/A 0.542 0.023 0.945 0.000 0.000 0.000 0.000 0.224 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

12 12 14 10 12 0 10 12 15 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 0.83 1.00 1.25 1.00

time (sec)

N/A 0.172 0.114 0.365 0.223 0.000 1.397 0.419 0.222 2.674

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

379 519 152 0 0 0 0 0 17 0

N.S.

1 1.37 0.40 0.00 0.00 0.00 0.00 0.00 0.04 0.00

time (sec)

N/A 2.923 0.082 0.000 0.000 0.000 0.000 0.000 0.258 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

247 341 99 0 0 0 0 0 17 0

N.S.

1 1.38 0.40 0.00 0.00 0.00 0.00 0.00 0.07 0.00

time (sec)

N/A 2.531 0.051 0.000 0.000 0.000 0.000 0.000 0.247 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

210 287 99 0 0 0 0 0 17 0

N.S.

1 1.37 0.47 0.00 0.00 0.00 0.00 0.00 0.08 0.00

time (sec)

N/A 1.734 0.049 0.000 0.000 0.000 0.000 0.000 0.246 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

152 163 52 136 0 0 0 0 15 0

N.S.

1 1.07 0.34 0.89 0.00 0.00 0.00 0.00 0.10 0.00

time (sec)

N/A 0.981 0.024 0.944 0.000 0.000 0.000 0.000 0.221 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

94 110 45 78 0 0 0 0 14 0

N.S.

1 1.17 0.48 0.83 0.00 0.00 0.00 0.00 0.15 0.00

time (sec)

N/A 0.661 0.038 0.906 0.000 0.000 0.000 0.000 0.228 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

12 12 14 10 12 0 10 12 17 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 0.83 1.00 1.42 1.00

time (sec)

N/A 0.173 0.115 0.381 0.241 0.000 18.013 0.444 0.240 2.682

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

163 149 151 0 0 0 0 0 218 0

N.S.

1 0.91 0.93 0.00 0.00 0.00 0.00 0.00 1.34 0.00

time (sec)

N/A 0.412 0.074 0.000 0.000 0.000 0.000 0.000 0.306 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

109 101 99 0 0 0 0 0 145 0

N.S.

1 0.93 0.91 0.00 0.00 0.00 0.00 0.00 1.33 0.00

time (sec)

N/A 0.389 0.057 0.000 0.000 0.000 0.000 0.000 0.291 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

105 97 99 0 0 0 0 0 94 0

N.S.

1 0.92 0.94 0.00 0.00 0.00 0.00 0.00 0.90 0.00

time (sec)

N/A 0.579 0.052 0.000 0.000 0.000 0.000 0.000 0.266 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

63 70 52 37 0 0 0 0 73 0

N.S.

1 1.11 0.83 0.59 0.00 0.00 0.00 0.00 1.16 0.00

time (sec)

N/A 0.586 0.017 0.829 0.000 0.000 0.000 0.000 0.244 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

43 41 47 24 0 0 0 0 57 0

N.S.

1 0.95 1.09 0.56 0.00 0.00 0.00 0.00 1.33 0.00

time (sec)

N/A 0.521 0.022 0.835 0.000 0.000 0.000 0.000 0.244 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

12 12 14 10 12 0 12 12 17 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.00 1.00 1.42 1.00

time (sec)

N/A 0.287 0.137 0.549 0.217 0.000 0.374 0.275 0.217 2.798

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

12 12 14 10 12 0 14 12 17 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.17 1.00 1.42 1.00

time (sec)

N/A 0.221 1.092 0.469 0.204 0.000 0.502 0.268 0.236 2.677

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

188 176 265 0 0 0 0 0 273 0

N.S.

1 0.94 1.41 0.00 0.00 0.00 0.00 0.00 1.45 0.00

time (sec)

N/A 0.567 0.108 0.000 0.000 0.000 0.000 0.000 0.319 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

138 132 126 0 0 0 0 0 184 0

N.S.

1 0.96 0.91 0.00 0.00 0.00 0.00 0.00 1.33 0.00

time (sec)

N/A 0.364 0.032 0.000 0.000 0.000 0.000 0.000 0.284 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

130 124 140 0 0 0 0 0 123 0

N.S.

1 0.95 1.08 0.00 0.00 0.00 0.00 0.00 0.95 0.00

time (sec)

N/A 0.310 0.080 0.000 0.000 0.000 0.000 0.000 0.293 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

84 90 73 82 0 0 0 0 90 0

N.S.

1 1.07 0.87 0.98 0.00 0.00 0.00 0.00 1.07 0.00

time (sec)

N/A 0.367 0.019 1.065 0.000 0.000 0.000 0.000 0.254 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

64 75 69 65 0 0 0 0 74 0

N.S.

1 1.17 1.08 1.02 0.00 0.00 0.00 0.00 1.16 0.00

time (sec)

N/A 0.481 0.051 1.032 0.000 0.000 0.000 0.000 0.251 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

12 12 14 10 12 0 12 12 17 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.00 1.00 1.42 1.00

time (sec)

N/A 0.176 0.140 0.408 0.216 0.000 0.912 0.129 0.246 2.514

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

167 246 184 0 0 0 0 0 203 0

N.S.

1 1.47 1.10 0.00 0.00 0.00 0.00 0.00 1.22 0.00

time (sec)

N/A 1.115 0.266 0.000 0.000 0.000 0.000 0.000 0.294 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

161 214 222 0 0 0 0 0 135 0

N.S.

1 1.33 1.38 0.00 0.00 0.00 0.00 0.00 0.84 0.00

time (sec)

N/A 1.114 0.106 0.000 0.000 0.000 0.000 0.000 0.273 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

118 135 98 119 0 0 0 0 96 0

N.S.

1 1.14 0.83 1.01 0.00 0.00 0.00 0.00 0.81 0.00

time (sec)

N/A 1.217 0.117 1.012 0.000 0.000 0.000 0.000 0.278 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

84 91 105 81 0 0 0 0 80 0

N.S.

1 1.08 1.25 0.96 0.00 0.00 0.00 0.00 0.95 0.00

time (sec)

N/A 0.924 0.071 0.967 0.000 0.000 0.000 0.000 0.250 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

12 12 14 10 12 0 12 12 17 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.00 1.00 1.42 1.00

time (sec)

N/A 0.284 0.136 0.387 0.225 0.000 6.562 0.134 0.209 2.559

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

229 318 210 0 0 0 0 0 203 0

N.S.

1 1.39 0.92 0.00 0.00 0.00 0.00 0.00 0.89 0.00

time (sec)

N/A 1.213 0.472 0.000 0.000 0.000 0.000 0.000 0.283 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

222 291 221 0 0 0 0 0 135 0

N.S.

1 1.31 1.00 0.00 0.00 0.00 0.00 0.00 0.61 0.00

time (sec)

N/A 1.438 0.254 0.000 0.000 0.000 0.000 0.000 0.276 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

147 166 118 147 0 0 0 0 96 0

N.S.

1 1.13 0.80 1.00 0.00 0.00 0.00 0.00 0.65 0.00

time (sec)

N/A 0.822 0.203 1.004 0.000 0.000 0.000 0.000 0.245 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

112 133 111 105 0 0 0 0 80 0

N.S.

1 1.19 0.99 0.94 0.00 0.00 0.00 0.00 0.71 0.00

time (sec)

N/A 0.696 0.129 0.978 0.000 0.000 0.000 0.000 0.229 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

12 12 14 10 12 0 12 12 17 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.00 1.00 1.42 1.00

time (sec)

N/A 0.192 0.138 0.408 0.223 0.000 63.339 0.130 0.210 2.495

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

213 219 215 0 0 0 0 0 15 0

N.S.

1 1.03 1.01 0.00 0.00 0.00 0.00 0.00 0.07 0.00

time (sec)

N/A 1.131 0.292 0.000 0.000 0.000 0.000 0.000 0.212 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

145 142 111 0 0 0 0 0 13 0

N.S.

1 0.98 0.77 0.00 0.00 0.00 0.00 0.00 0.09 0.00

time (sec)

N/A 0.973 0.056 0.000 0.000 0.000 0.000 0.000 0.207 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

102 110 101 0 0 0 0 0 11 0

N.S.

1 1.08 0.99 0.00 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 0.971 0.147 0.000 0.000 0.000 0.000 0.000 0.212 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 18 14 16 0 14 16 15 16

N.S.

1 1.00 1.12 0.88 1.00 0.00 0.88 1.00 0.94 1.00

time (sec)

N/A 0.222 0.399 0.438 0.279 0.000 0.420 0.825 0.225 2.722

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 18 14 16 0 15 16 15 16

N.S.

1 1.00 1.12 0.88 1.00 0.00 0.94 1.00 0.94 1.00

time (sec)

N/A 0.207 3.443 0.695 0.235 0.000 0.366 0.866 0.274 2.539

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

282 377 215 0 0 0 0 0 39 0

N.S.

1 1.34 0.76 0.00 0.00 0.00 0.00 0.00 0.14 0.00

time (sec)

N/A 2.016 0.219 0.000 0.000 0.000 0.000 0.000 0.287 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

179 196 114 0 0 0 0 0 35 0

N.S.

1 1.09 0.64 0.00 0.00 0.00 0.00 0.00 0.20 0.00

time (sec)

N/A 1.442 0.064 0.000 0.000 0.000 0.000 0.000 0.269 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

135 140 251 0 0 0 0 0 32 0

N.S.

1 1.04 1.86 0.00 0.00 0.00 0.00 0.00 0.24 0.00

time (sec)

N/A 0.754 0.363 0.000 0.000 0.000 0.000 0.000 0.252 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 18 14 16 0 14 16 39 16

N.S.

1 1.00 1.12 0.88 1.00 0.00 0.88 1.00 2.44 1.00

time (sec)

N/A 0.337 0.414 0.430 0.267 0.000 3.792 1.327 0.243 2.671

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 18 14 16 0 15 16 16 16

N.S.

1 1.00 1.12 0.88 1.00 0.00 0.94 1.00 1.00 1.00

time (sec)

N/A 0.338 2.829 0.674 0.258 0.000 2.617 1.319 200.030 2.700

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

327 444 198 0 0 0 0 0 68 0

N.S.

1 1.36 0.61 0.00 0.00 0.00 0.00 0.00 0.21 0.00

time (sec)

N/A 3.286 0.218 0.000 0.000 0.000 0.000 0.000 0.308 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

223 232 115 0 0 0 0 0 62 0

N.S.

1 1.04 0.52 0.00 0.00 0.00 0.00 0.00 0.28 0.00

time (sec)

N/A 1.453 0.058 0.000 0.000 0.000 0.000 0.000 0.314 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

155 169 282 0 0 0 0 0 58 0

N.S.

1 1.09 1.82 0.00 0.00 0.00 0.00 0.00 0.37 0.00

time (sec)

N/A 0.904 1.424 0.000 0.000 0.000 0.000 0.000 0.273 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 18 14 16 0 14 16 68 16

N.S.

1 1.00 1.12 0.88 1.00 0.00 0.88 1.00 4.25 1.00

time (sec)

N/A 0.209 0.478 0.476 0.249 0.000 21.254 2.102 0.234 2.446

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 18 14 16 0 15 16 16 16

N.S.

1 1.00 1.12 0.88 1.00 0.00 0.94 1.00 1.00 1.00

time (sec)

N/A 0.213 2.877 0.713 0.263 0.000 22.859 2.104 200.023 2.427

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

194 189 196 0 0 0 0 0 25 0

N.S.

1 0.97 1.01 0.00 0.00 0.00 0.00 0.00 0.13 0.00

time (sec)

N/A 0.547 0.175 0.000 0.000 0.000 0.000 0.000 0.183 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

107 117 108 0 0 0 0 0 23 0

N.S.

1 1.09 1.01 0.00 0.00 0.00 0.00 0.00 0.21 0.00

time (sec)

N/A 0.864 0.053 0.000 0.000 0.000 0.000 0.000 0.176 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

88 89 101 0 0 0 0 0 22 0

N.S.

1 1.01 1.15 0.00 0.00 0.00 0.00 0.00 0.25 0.00

time (sec)

N/A 0.631 0.068 0.000 0.000 0.000 0.000 0.000 0.179 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 18 14 16 0 15 16 25 16

N.S.

1 1.00 1.12 0.88 1.00 0.00 0.94 1.00 1.56 1.00

time (sec)

N/A 0.292 0.799 0.606 0.238 0.000 0.428 0.846 0.176 2.444

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 18 14 16 0 17 16 29 16

N.S.

1 1.00 1.12 0.88 1.00 0.00 1.06 1.00 1.81 1.00

time (sec)

N/A 0.253 3.165 0.628 0.244 0.000 0.523 0.834 0.206 2.477

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

226 223 290 0 0 0 0 0 39 0

N.S.

1 0.99 1.28 0.00 0.00 0.00 0.00 0.00 0.17 0.00

time (sec)

N/A 0.727 0.292 0.000 0.000 0.000 0.000 0.000 0.208 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

135 144 134 0 0 0 0 0 37 0

N.S.

1 1.07 0.99 0.00 0.00 0.00 0.00 0.00 0.27 0.00

time (sec)

N/A 0.510 0.089 0.000 0.000 0.000 0.000 0.000 0.208 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

116 130 137 0 0 0 0 0 810 0

N.S.

1 1.12 1.18 0.00 0.00 0.00 0.00 0.00 6.98 0.00

time (sec)

N/A 0.645 0.173 0.000 0.000 0.000 0.000 0.000 0.265 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 18 14 16 0 15 0 40 16

N.S.

1 1.00 1.12 0.88 1.00 0.00 0.94 0.00 2.50 1.00

time (sec)

N/A 0.247 0.729 0.530 0.264 0.000 1.671 0.000 0.221 2.444

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 18 14 16 0 17 16 46 16

N.S.

1 1.00 1.12 0.88 1.00 0.00 1.06 1.00 2.88 1.00

time (sec)

N/A 0.238 2.994 0.643 0.261 0.000 2.376 0.178 0.201 2.442

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

271 381 340 0 0 0 0 0 53 0

N.S.

1 1.41 1.25 0.00 0.00 0.00 0.00 0.00 0.20 0.00

time (sec)

N/A 1.870 1.071 0.000 0.000 0.000 0.000 0.000 0.211 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

183 206 200 0 0 0 0 0 51 0

N.S.

1 1.13 1.09 0.00 0.00 0.00 0.00 0.00 0.28 0.00

time (sec)

N/A 1.478 0.527 0.000 0.000 0.000 0.000 0.000 0.206 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

143 156 181 0 0 0 0 0 0 0

N.S.

1 1.09 1.27 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.239 0.192 0.000 0.000 0.000 0.000 0.000 0.297 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 18 14 16 0 15 0 55 16

N.S.

1 1.00 1.12 0.88 1.00 0.00 0.94 0.00 3.44 1.00

time (sec)

N/A 0.342 0.736 0.508 0.283 0.000 7.475 0.000 0.191 2.502

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

16 16 18 14 16 0 17 16 63 16

N.S.

1 1.00 1.12 0.88 1.00 0.00 1.06 1.00 3.94 1.00

time (sec)

N/A 0.332 3.196 0.638 0.265 0.000 13.884 0.179 0.239 2.482

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

12 12 14 10 12 0 12 0 15 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.00 0.00 1.25 1.00

time (sec)

N/A 0.183 0.280 0.589 0.203 0.000 58.937 0.000 0.210 2.514

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

12 12 14 10 12 0 12 0 11 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.00 0.00 0.92 1.00

time (sec)

N/A 0.184 0.327 0.592 0.231 0.000 1.238 0.000 0.188 2.553

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

12 12 14 10 12 0 12 12 137 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.00 1.00 11.42 1.00

time (sec)

N/A 0.185 0.338 0.592 0.208 0.000 0.526 0.282 0.239 2.581

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

12 12 14 10 12 0 12 12 176 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.00 1.00 14.67 1.00

time (sec)

N/A 0.174 0.313 0.595 0.225 0.000 4.104 0.144 0.236 2.554

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

119 111 99 0 0 0 0 0 12 0

N.S.

1 0.93 0.83 0.00 0.00 0.00 0.00 0.00 0.10 0.00

time (sec)

N/A 0.393 0.050 0.000 0.000 0.000 0.000 0.000 0.198 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

113 105 97 0 0 0 0 0 12 0

N.S.

1 0.93 0.86 0.00 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 0.377 0.051 0.000 0.000 0.000 0.000 0.000 0.184 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

59 68 57 38 0 0 0 0 10 0

N.S.

1 1.15 0.97 0.64 0.00 0.00 0.00 0.00 0.17 0.00

time (sec)

N/A 0.358 0.011 0.648 0.000 0.000 0.000 0.000 0.183 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

49 47 45 40 0 0 0 0 8 0

N.S.

1 0.96 0.92 0.82 0.00 0.00 0.00 0.00 0.16 0.00

time (sec)

N/A 0.280 0.024 0.661 0.000 0.000 0.000 0.000 0.214 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 8 12 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 0.80 1.20 1.20 1.20

time (sec)

N/A 0.183 0.206 0.227 0.206 0.091 0.392 0.265 0.175 2.933

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

10 10 12 10 12 12 10 12 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20 1.20

time (sec)

N/A 0.187 0.772 0.263 0.209 0.095 0.572 0.254 0.201 2.660

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 14 16 12 14 16 0 0 16 14

N.S.

1 1.00 1.14 0.86 1.00 1.14 0.00 0.00 1.14 1.00

time (sec)

N/A 0.188 1.358 0.606 0.479 0.127 0.000 0.000 0.210 2.613

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 14 16 12 14 14 14 0 14 14

N.S.

1 1.00 1.14 0.86 1.00 1.00 1.00 0.00 1.00 1.00

time (sec)

N/A 0.182 2.153 0.725 0.495 0.125 3.738 0.000 0.235 2.619

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

14 14 16 12 14 20 14 14 18 14

N.S.

1 1.00 1.14 0.86 1.00 1.43 1.00 1.00 1.29 1.00

time (sec)

N/A 0.185 0.816 0.642 0.490 0.089 1.627 0.676 0.206 2.748

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

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

size

14 14 16 12 14 20 14 14 24 14

N.S.

1 1.00 1.14 0.86 1.00 1.43 1.00 1.00 1.71 1.00

time (sec)

N/A 0.197 0.824 0.784 0.514 0.105 12.895 0.720 0.197 2.668

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

12 12 14 12 14 14 12 0 16 14

N.S.

1 1.00 1.17 1.00 1.17 1.17 1.00 0.00 1.33 1.17

time (sec)

N/A 0.189 0.381 0.366 0.215 0.101 3.652 0.000 0.185 2.676

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