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

Integrals 101 to 200

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 A C F A A F A F B

verified

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

size

244 259 56 0 227 198 0 223 20 132

N.S.

1 1.06 0.23 0.00 0.93 0.81 0.00 0.91 0.08 0.54

time (sec)

N/A 0.739 0.094 0.000 0.111 0.088 0.000 0.124 0.208 0.065

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

281 302 93 0 277 207 0 271 20 169

N.S.

1 1.07 0.33 0.00 0.99 0.74 0.00 0.96 0.07 0.60

time (sec)

N/A 0.869 0.150 0.000 0.117 0.079 0.000 0.156 0.203 0.086

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F A A F A F B

verified

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

size

253 272 173 0 259 119 0 234 20 229

N.S.

1 1.08 0.68 0.00 1.02 0.47 0.00 0.92 0.08 0.91

time (sec)

N/A 0.713 5.369 0.000 0.109 0.079 0.000 0.147 0.219 0.093

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F A A F A F B

verified

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

size

216 227 149 0 224 111 0 203 20 193

N.S.

1 1.05 0.69 0.00 1.04 0.51 0.00 0.94 0.09 0.89

time (sec)

N/A 0.603 5.289 0.000 0.112 0.116 0.000 0.156 0.201 0.082

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F A A F A F B

verified

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

size

179 186 125 0 187 103 0 172 20 157

N.S.

1 1.04 0.70 0.00 1.04 0.58 0.00 0.96 0.11 0.88

time (sec)

N/A 0.543 5.245 0.000 0.120 0.080 0.000 0.134 0.204 0.060

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F A A F A F B

verified

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

size

142 145 70 0 152 95 0 141 18 121

N.S.

1 1.02 0.49 0.00 1.07 0.67 0.00 0.99 0.13 0.85

time (sec)

N/A 0.449 0.227 0.000 0.116 0.085 0.000 0.160 0.184 23.381

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F A A F A F B

verified

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

size

98 102 55 0 112 86 0 109 17 79

N.S.

1 1.04 0.56 0.00 1.14 0.88 0.00 1.11 0.17 0.81

time (sec)

N/A 0.385 0.140 0.000 0.112 0.098 0.000 0.160 0.172 23.483

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

221 258 28 0 224 196 0 232 20 101

N.S.

1 1.17 0.13 0.00 1.01 0.89 0.00 1.05 0.09 0.46

time (sec)

N/A 0.748 0.086 0.000 0.116 0.105 0.000 0.130 0.195 0.047

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F A A F A F B

verified

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

size

194 220 149 0 187 175 0 187 20 88

N.S.

1 1.13 0.77 0.00 0.96 0.90 0.00 0.96 0.10 0.45

time (sec)

N/A 0.695 0.326 0.000 0.116 0.098 0.000 0.143 0.190 0.054

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F A A F A F B

verified

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

size

244 259 174 0 228 200 0 225 20 132

N.S.

1 1.06 0.71 0.00 0.93 0.82 0.00 0.92 0.08 0.54

time (sec)

N/A 0.790 0.242 0.000 0.124 0.079 0.000 0.135 0.192 0.056

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

281 302 93 0 270 208 0 271 20 169

N.S.

1 1.07 0.33 0.00 0.96 0.74 0.00 0.96 0.07 0.60

time (sec)

N/A 0.825 0.163 0.000 0.111 0.082 0.000 0.142 0.201 0.059

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

287 311 198 0 279 119 0 254 71 253

N.S.

1 1.08 0.69 0.00 0.97 0.41 0.00 0.89 0.25 0.88

time (sec)

N/A 0.750 5.427 0.000 0.117 0.081 0.000 0.155 0.252 24.064

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F A A F A F B

verified

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

size

250 268 161 0 244 111 0 223 71 217

N.S.

1 1.07 0.64 0.00 0.98 0.44 0.00 0.89 0.28 0.87

time (sec)

N/A 0.694 5.342 0.000 0.115 0.082 0.000 0.127 0.261 0.080

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F A A F A F B

verified

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

size

213 225 137 0 207 103 0 192 71 181

N.S.

1 1.06 0.64 0.00 0.97 0.48 0.00 0.90 0.33 0.85

time (sec)

N/A 0.615 5.302 0.000 0.112 0.092 0.000 0.148 0.228 0.078

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F A A F A F B

verified

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

size

176 179 121 0 172 95 0 161 69 145

N.S.

1 1.02 0.69 0.00 0.98 0.54 0.00 0.91 0.39 0.82

time (sec)

N/A 0.499 0.282 0.000 0.113 0.083 0.000 0.152 0.214 24.030

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

130 136 31 0 132 86 0 129 66 103

N.S.

1 1.05 0.24 0.00 1.02 0.66 0.00 0.99 0.51 0.79

time (sec)

N/A 0.436 0.092 0.000 0.111 0.078 0.000 0.148 0.191 23.783

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

250 287 28 0 244 211 0 252 69 118

N.S.

1 1.15 0.11 0.00 0.98 0.84 0.00 1.01 0.28 0.47

time (sec)

N/A 0.835 0.113 0.000 0.109 0.074 0.000 0.152 0.223 0.031

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

224 252 31 0 204 176 0 204 75 106

N.S.

1 1.12 0.14 0.00 0.91 0.79 0.00 0.91 0.33 0.47

time (sec)

N/A 0.730 0.094 0.000 0.113 0.079 0.000 0.118 0.226 23.664

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

276 292 101 0 247 200 0 243 77 153

N.S.

1 1.06 0.37 0.00 0.89 0.72 0.00 0.88 0.28 0.55

time (sec)

N/A 0.829 0.183 0.000 0.110 0.097 0.000 0.116 0.237 0.072

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

310 331 104 0 297 208 0 291 77 188

N.S.

1 1.07 0.34 0.00 0.96 0.67 0.00 0.94 0.25 0.61

time (sec)

N/A 0.884 0.199 0.000 0.112 0.101 0.000 0.130 0.259 23.586

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

237 266 189 1163 220 173 0 215 16 168

N.S.

1 1.12 0.80 4.91 0.93 0.73 0.00 0.91 0.07 0.71

time (sec)

N/A 0.693 5.285 7.394 0.112 0.107 0.000 0.136 0.295 0.148

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

210 233 167 1158 194 168 0 191 14 142

N.S.

1 1.11 0.80 5.51 0.92 0.80 0.00 0.91 0.07 0.68

time (sec)

N/A 0.633 0.616 6.851 0.113 0.082 0.000 0.123 0.247 0.117

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

175 201 35 1151 167 160 0 168 13 115

N.S.

1 1.15 0.20 6.58 0.95 0.91 0.00 0.96 0.07 0.66

time (sec)

N/A 0.555 0.061 7.297 0.110 0.078 0.000 0.147 0.197 23.641

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

290 371 26 2202 0 264 0 261 90 167

N.S.

1 1.28 0.09 7.59 0.00 0.91 0.00 0.90 0.31 0.58

time (sec)

N/A 0.890 0.049 10.052 0.000 0.082 0.000 0.159 0.161 0.151

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

173 214 39 889 152 151 0 152 50 109

N.S.

1 1.24 0.23 5.14 0.88 0.87 0.00 0.88 0.29 0.63

time (sec)

N/A 0.652 0.067 26.557 0.115 0.080 0.000 0.118 0.285 0.110

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

202 243 124 1502 178 168 0 175 64 136

N.S.

1 1.20 0.61 7.44 0.88 0.83 0.00 0.87 0.32 0.67

time (sec)

N/A 0.668 0.934 11.204 0.108 0.084 0.000 0.134 0.313 0.113

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

229 276 133 901 205 174 0 199 76 161

N.S.

1 1.21 0.58 3.93 0.90 0.76 0.00 0.87 0.33 0.70

time (sec)

N/A 0.716 0.237 17.214 0.120 0.100 0.000 0.137 0.308 23.453

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

157 167 189 616 149 100 0 144 16 171

N.S.

1 1.06 1.20 3.92 0.95 0.64 0.00 0.92 0.10 1.09

time (sec)

N/A 0.464 5.337 0.604 0.111 0.105 0.000 0.135 0.223 0.062

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

130 136 165 509 123 95 0 120 14 145

N.S.

1 1.05 1.27 3.92 0.95 0.73 0.00 0.92 0.11 1.12

time (sec)

N/A 0.404 0.762 0.596 0.110 0.083 0.000 0.122 0.226 0.048

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

96 104 85 397 96 87 0 97 13 118

N.S.

1 1.08 0.89 4.14 1.00 0.91 0.00 1.01 0.14 1.23

time (sec)

N/A 0.366 0.257 0.629 0.110 0.082 0.000 0.134 0.205 23.387

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

155 157 26 1039 140 86 0 79 16 82

N.S.

1 1.01 0.17 6.70 0.90 0.55 0.00 0.51 0.10 0.53

time (sec)

N/A 0.426 0.053 0.580 0.115 0.078 0.000 0.124 0.301 0.321

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

99 105 87 501 98 97 0 99 16 118

N.S.

1 1.06 0.88 5.06 0.99 0.98 0.00 1.00 0.16 1.19

time (sec)

N/A 0.376 0.184 0.705 0.111 0.077 0.000 0.118 0.311 0.026

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

130 134 134 675 124 111 0 122 16 145

N.S.

1 1.03 1.03 5.19 0.95 0.85 0.00 0.94 0.12 1.12

time (sec)

N/A 0.407 0.501 0.636 0.109 0.094 0.000 0.134 0.348 0.028

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

354 389 167 0 341 242 0 308 20 227

N.S.

1 1.10 0.47 0.00 0.96 0.68 0.00 0.87 0.06 0.64

time (sec)

N/A 0.920 5.357 0.000 0.118 0.088 0.000 0.141 0.259 24.129

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A F A A F A F B

verified

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

size

317 348 319 0 304 233 0 288 18 190

N.S.

1 1.10 1.01 0.00 0.96 0.74 0.00 0.91 0.06 0.60

time (sec)

N/A 0.811 0.799 0.000 0.116 0.114 0.000 0.154 0.215 0.163

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

277 305 56 0 265 224 0 0 17 149

N.S.

1 1.10 0.20 0.00 0.96 0.81 0.00 0.00 0.06 0.54

time (sec)

N/A 0.722 0.069 0.000 0.115 0.090 0.000 0.000 0.193 23.949

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

673 866 30 0 0 441 0 661 20 648

N.S.

1 1.29 0.04 0.00 0.00 0.66 0.00 0.98 0.03 0.96

time (sec)

N/A 1.986 0.053 0.000 0.000 0.134 0.000 0.712 0.224 23.913

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

502 624 46 0 0 374 0 432 316 162

N.S.

1 1.24 0.09 0.00 0.00 0.75 0.00 0.86 0.63 0.32

time (sec)

N/A 1.296 0.075 0.000 0.000 0.091 0.000 0.215 3.024 16.700

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

553 665 72 0 0 399 0 461 346 210

N.S.

1 1.20 0.13 0.00 0.00 0.72 0.00 0.83 0.63 0.38

time (sec)

N/A 1.438 0.101 0.000 0.000 0.097 0.000 0.257 3.149 0.075

Problem 140

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

60 60 50 231 0 0 0 0 494 0

N.S.

1 1.00 0.83 3.85 0.00 0.00 0.00 0.00 8.23 0.00

time (sec)

N/A 0.516 0.034 0.343 0.000 0.000 0.000 0.000 0.206 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

45 45 28 126 0 0 110 0 76 0

N.S.

1 1.00 0.62 2.80 0.00 0.00 2.44 0.00 1.69 0.00

time (sec)

N/A 0.470 0.013 0.191 0.000 0.000 1.316 0.000 0.200 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

46 46 29 113 0 0 129 0 72 0

N.S.

1 1.00 0.63 2.46 0.00 0.00 2.80 0.00 1.57 0.00

time (sec)

N/A 0.464 0.015 0.188 0.000 0.000 1.251 0.000 0.200 0.000

Problem 143

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

60 60 51 206 0 0 0 0 493 0

N.S.

1 1.00 0.85 3.43 0.00 0.00 0.00 0.00 8.22 0.00

time (sec)

N/A 0.506 0.026 0.328 0.000 0.000 0.000 0.000 0.201 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

117 180 229 0 0 0 0 0 72 0

N.S.

1 1.54 1.96 0.00 0.00 0.00 0.00 0.00 0.62 0.00

time (sec)

N/A 1.141 0.394 0.000 0.000 0.000 0.000 0.000 0.282 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

77 97 129 0 0 0 0 0 24 0

N.S.

1 1.26 1.68 0.00 0.00 0.00 0.00 0.00 0.31 0.00

time (sec)

N/A 0.467 0.433 0.000 0.000 0.000 0.000 0.000 0.210 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

78 96 116 0 0 0 0 0 24 0

N.S.

1 1.23 1.49 0.00 0.00 0.00 0.00 0.00 0.31 0.00

time (sec)

N/A 0.457 0.296 0.000 0.000 0.000 0.000 0.000 0.208 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

120 180 193 0 0 0 0 0 70 0

N.S.

1 1.50 1.61 0.00 0.00 0.00 0.00 0.00 0.58 0.00

time (sec)

N/A 1.140 0.322 0.000 0.000 0.000 0.000 0.000 0.244 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

42 42 0 0 0 0 0 0 78 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 1.86 0.00

time (sec)

N/A 0.399 0.000 0.000 0.000 0.000 0.000 0.000 0.354 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

42 42 0 0 0 0 0 0 24 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.57 0.00

time (sec)

N/A 0.394 0.000 0.000 0.000 0.000 0.000 0.000 0.295 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

42 42 0 0 0 0 0 0 24 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.57 0.00

time (sec)

N/A 0.386 0.000 0.000 0.000 0.000 0.000 0.000 0.317 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

42 42 0 0 0 0 0 0 24 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.57 0.00

time (sec)

N/A 0.389 0.000 0.000 0.000 0.000 0.000 0.000 0.311 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

42 42 0 0 0 0 0 0 24 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.57 0.00

time (sec)

N/A 0.386 0.000 0.000 0.000 0.000 0.000 0.000 0.305 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

35 35 0 0 0 0 0 0 20 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.57 0.00

time (sec)

N/A 0.357 0.000 0.000 0.000 0.000 0.000 0.000 0.390 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

35 35 0 0 0 0 0 0 20 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.57 0.00

time (sec)

N/A 0.363 0.000 0.000 0.000 0.000 0.000 0.000 0.399 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

42 42 0 0 0 0 0 0 24 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.57 0.00

time (sec)

N/A 0.382 0.000 0.000 0.000 0.000 0.000 0.000 0.351 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

46 46 0 0 0 0 0 0 18 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.39 0.00

time (sec)

N/A 0.393 0.000 0.000 0.000 0.000 0.000 0.000 0.143 0.000

Problem 157

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

174 178 118 0 0 0 0 0 14 0

N.S.

1 1.02 0.68 0.00 0.00 0.00 0.00 0.00 0.08 0.00

time (sec)

N/A 0.526 0.630 0.000 0.000 0.000 0.000 0.000 0.143 0.000

Problem 158

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

122 122 98 0 0 0 0 0 12 0

N.S.

1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 0.10 0.00

time (sec)

N/A 0.419 0.348 0.000 0.000 0.000 0.000 0.000 0.145 0.000

Problem 159

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

78 78 82 0 0 0 0 0 10 0

N.S.

1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 0.13 0.00

time (sec)

N/A 0.358 0.207 0.000 0.000 0.000 0.000 0.000 0.152 0.000

Problem 160

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

127 127 142 0 0 0 0 0 14 0

N.S.

1 1.00 1.12 0.00 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 0.451 0.198 0.000 0.000 0.000 0.000 0.000 0.144 0.000

Problem 161

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

70 70 44 0 0 0 0 0 43 0

N.S.

1 1.00 0.63 0.00 0.00 0.00 0.00 0.00 0.61 0.00

time (sec)

N/A 0.384 0.046 0.000 0.000 0.000 0.000 0.000 0.157 0.000

Problem 162

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

114 114 107 0 0 0 0 0 48 0

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 0.42 0.00

time (sec)

N/A 0.429 0.399 0.000 0.000 0.000 0.000 0.000 0.151 0.000

Problem 163

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

167 171 132 0 0 0 0 0 121 0

N.S.

1 1.02 0.79 0.00 0.00 0.00 0.00 0.00 0.72 0.00

time (sec)

N/A 0.502 0.662 0.000 0.000 0.000 0.000 0.000 0.150 0.000

Problem 164

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

220 187 148 0 0 0 0 0 121 0

N.S.

1 0.85 0.67 0.00 0.00 0.00 0.00 0.00 0.55 0.00

time (sec)

N/A 0.531 0.549 0.000 0.000 0.000 0.000 0.000 0.157 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A F A B B

verified

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

size

132 128 80 128 259 125 0 138 120 214

N.S.

1 0.97 0.61 0.97 1.96 0.95 0.00 1.05 0.91 1.62

time (sec)

N/A 0.704 0.234 0.118 0.037 0.079 0.000 0.127 0.151 0.069

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A F A B B

verified

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

size

105 98 73 120 221 115 0 118 100 177

N.S.

1 0.93 0.70 1.14 2.10 1.10 0.00 1.12 0.95 1.69

time (sec)

N/A 0.531 0.230 0.123 0.040 0.080 0.000 0.134 0.146 13.760

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A F A B B

verified

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

size

78 70 64 112 181 103 0 98 80 138

N.S.

1 0.90 0.82 1.44 2.32 1.32 0.00 1.26 1.03 1.77

time (sec)

N/A 0.474 0.167 0.121 0.029 0.071 0.000 0.136 0.150 0.041

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B B A F A B B

verified

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

size

47 43 51 92 132 77 0 58 44 94

N.S.

1 0.91 1.09 1.96 2.81 1.64 0.00 1.23 0.94 2.00

time (sec)

N/A 0.390 0.110 0.064 0.035 0.092 0.000 0.128 0.146 13.417

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B A A F F B B

verified

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

size

52 54 60 249 78 87 0 0 56 48

N.S.

1 1.04 1.15 4.79 1.50 1.67 0.00 0.00 1.08 0.92

time (sec)

N/A 0.469 0.135 0.126 0.032 0.077 0.000 0.000 0.150 0.045

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A F A B B

verified

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

size

33 33 34 36 23 57 0 49 58 23

N.S.

1 1.00 1.03 1.09 0.70 1.73 0.00 1.48 1.76 0.70

time (sec)

N/A 0.377 0.174 0.127 0.026 0.095 0.000 0.157 0.152 0.023

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A F A B B

verified

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

size

67 64 42 41 39 77 0 85 93 39

N.S.

1 0.96 0.63 0.61 0.58 1.15 0.00 1.27 1.39 0.58

time (sec)

N/A 0.429 0.183 0.129 0.035 0.076 0.000 0.143 0.155 13.294

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A F A B B

verified

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

size

100 128 51 50 55 96 0 105 132 56

N.S.

1 1.28 0.51 0.50 0.55 0.96 0.00 1.05 1.32 0.56

time (sec)

N/A 0.575 0.179 0.129 0.033 0.100 0.000 0.166 0.151 13.318

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A F A B B

verified

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

size

133 192 59 58 71 116 0 125 168 72

N.S.

1 1.44 0.44 0.44 0.53 0.87 0.00 0.94 1.26 0.54

time (sec)

N/A 0.846 0.207 0.141 0.033 0.072 0.000 0.172 0.160 0.026

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

37 36 23 45 60 60 66 60 44 60

N.S.

1 0.97 0.62 1.22 1.62 1.62 1.78 1.62 1.19 1.62

time (sec)

N/A 0.538 0.033 0.132 0.033 0.063 0.038 0.118 0.146 13.324

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

37 36 30 29 37 37 36 37 28 37

N.S.

1 0.97 0.81 0.78 1.00 1.00 0.97 1.00 0.76 1.00

time (sec)

N/A 0.512 0.025 0.129 0.029 0.069 0.033 0.111 0.146 0.026

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

37 36 30 29 38 38 37 38 28 38

N.S.

1 0.97 0.81 0.78 1.03 1.03 1.00 1.03 0.76 1.03

time (sec)

N/A 0.499 0.024 0.127 0.027 0.063 0.031 0.110 0.150 0.027

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 17 17 16 18 18 15 18 15 15

N.S.

1 0.85 0.85 0.80 0.90 0.90 0.75 0.90 0.75 0.75

time (sec)

N/A 0.463 0.015 0.125 0.026 0.059 0.024 0.118 0.156 0.015

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 26 26 10 12 12 12 12 10 9

N.S.

1 1.86 1.86 0.71 0.86 0.86 0.86 0.86 0.71 0.64

time (sec)

N/A 0.278 0.014 0.104 0.031 0.062 0.021 0.122 0.145 0.013

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 30 30 29 30 29 20 31 35 29

N.S.

1 0.94 0.94 0.91 0.94 0.91 0.62 0.97 1.09 0.91

time (sec)

N/A 0.502 0.023 0.131 0.027 0.065 0.084 0.132 0.152 0.029

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

14 14 25 13 26 26 24 34 33 13

N.S.

1 1.00 1.79 0.93 1.86 1.86 1.71 2.43 2.36 0.93

time (sec)

N/A 0.433 0.017 0.128 0.031 0.063 0.092 0.114 0.142 0.029

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

37 36 23 21 47 47 49 21 37 46

N.S.

1 0.97 0.62 0.57 1.27 1.27 1.32 0.57 1.00 1.24

time (sec)

N/A 0.489 0.027 0.131 0.034 0.065 0.146 0.123 0.142 13.344

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

37 36 23 21 57 57 60 21 45 56

N.S.

1 0.97 0.62 0.57 1.54 1.54 1.62 0.57 1.22 1.51

time (sec)

N/A 0.491 0.026 0.135 0.029 0.065 0.175 0.112 0.149 0.049

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A F A B B

verified

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

size

105 101 80 128 259 126 0 138 120 214

N.S.

1 0.96 0.76 1.22 2.47 1.20 0.00 1.31 1.14 2.04

time (sec)

N/A 0.490 0.322 0.120 0.034 0.095 0.000 0.136 0.145 0.055

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A F A B B

verified

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

size

78 76 64 106 221 109 0 84 66 176

N.S.

1 0.97 0.82 1.36 2.83 1.40 0.00 1.08 0.85 2.26

time (sec)

N/A 0.434 0.208 0.119 0.036 0.075 0.000 0.178 0.146 0.042

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A F A B B

verified

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

size

78 77 64 112 181 103 0 98 80 139

N.S.

1 0.99 0.82 1.44 2.32 1.32 0.00 1.26 1.03 1.78

time (sec)

N/A 0.517 0.193 0.118 0.037 0.078 0.000 0.126 0.147 13.606

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A F A B B

verified

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

size

65 70 53 99 135 81 0 74 58 97

N.S.

1 1.08 0.82 1.52 2.08 1.25 0.00 1.14 0.89 1.49

time (sec)

N/A 0.551 0.124 0.086 0.034 0.088 0.000 0.138 0.152 13.373

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A B A A F A B B

verified

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

size

81 81 63 345 95 120 0 35 98 63

N.S.

1 1.00 0.78 4.26 1.17 1.48 0.00 0.43 1.21 0.78

time (sec)

N/A 0.739 0.194 0.129 0.028 0.081 0.000 0.133 0.149 13.408

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B F B B B

verified

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

size

33 33 36 36 23 77 0 69 96 23

N.S.

1 1.00 1.09 1.09 0.70 2.33 0.00 2.09 2.91 0.70

time (sec)

N/A 0.395 0.163 0.126 0.028 0.078 0.000 0.179 0.153 0.018

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A F B B B

verified

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

size

67 66 41 41 39 95 0 125 131 39

N.S.

1 0.99 0.61 0.61 0.58 1.42 0.00 1.87 1.96 0.58

time (sec)

N/A 0.444 0.177 0.132 0.029 0.071 0.000 0.181 0.150 14.162

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A F A B B

verified

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

size

100 101 50 50 55 116 0 145 168 56

N.S.

1 1.01 0.50 0.50 0.55 1.16 0.00 1.45 1.68 0.56

time (sec)

N/A 0.570 0.181 0.129 0.029 0.069 0.000 0.207 0.153 0.022

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A F A B B

verified

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

size

133 134 58 58 71 134 0 165 204 72

N.S.

1 1.01 0.44 0.44 0.53 1.01 0.00 1.24 1.53 0.54

time (sec)

N/A 0.827 0.183 0.156 0.029 0.078 0.000 0.236 0.157 13.340

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

53 48 31 45 59 59 63 42 44 59

N.S.

1 0.91 0.58 0.85 1.11 1.11 1.19 0.79 0.83 1.11

time (sec)

N/A 0.531 0.030 0.151 0.030 0.063 0.053 0.123 0.144 0.018

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

32 26 26 23 28 28 29 42 24 24

N.S.

1 0.81 0.81 0.72 0.88 0.88 0.91 1.31 0.75 0.75

time (sec)

N/A 0.482 0.023 0.145 0.028 0.061 0.040 0.141 0.142 0.023

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

35 33 30 29 37 37 37 42 28 37

N.S.

1 0.94 0.86 0.83 1.06 1.06 1.06 1.20 0.80 1.06

time (sec)

N/A 0.487 0.023 0.359 0.033 0.071 0.039 0.114 0.145 0.026

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

17 17 21 16 25 25 24 40 19 19

N.S.

1 1.00 1.24 0.94 1.47 1.47 1.41 2.35 1.12 1.12

time (sec)

N/A 0.436 0.021 0.131 0.032 0.067 0.030 0.104 0.159 0.018

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

27 26 26 24 24 28 26 50 27 26

N.S.

1 0.96 0.96 0.89 0.89 1.04 0.96 1.85 1.00 0.96

time (sec)

N/A 0.469 0.018 0.128 0.031 0.065 0.069 0.113 0.140 13.263

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

48 43 36 32 44 49 37 57 63 42

N.S.

1 0.90 0.75 0.67 0.92 1.02 0.77 1.19 1.31 0.88

time (sec)

N/A 0.554 0.028 0.139 0.037 0.082 0.129 0.134 0.144 0.033

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

25 25 25 24 51 51 51 50 39 25

N.S.

1 1.00 1.00 0.96 2.04 2.04 2.04 2.00 1.56 1.00

time (sec)

N/A 0.449 0.013 0.141 0.029 0.070 0.153 0.113 0.147 13.374

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

52 47 31 27 65 65 70 42 53 29

N.S.

1 0.90 0.60 0.52 1.25 1.25 1.35 0.81 1.02 0.56

time (sec)

N/A 0.519 0.024 0.144 0.032 0.077 0.192 0.134 0.153 0.051

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

53 48 31 27 77 77 80 42 61 29

N.S.

1 0.91 0.58 0.51 1.45 1.45 1.51 0.79 1.15 0.55

time (sec)

N/A 0.512 0.024 0.148 0.027 0.060 0.230 0.126 0.142 0.064

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