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

2.2.2 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 Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 63 163 107 139 92 231 64 0

N.S.

1 0.94 2.43 1.60 2.07 1.37 3.45 0.96 0.00

time (sec)

N/A 0.195 0.299 1.005 0.276 0.295 0.751 0.307 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 60 86 87 135 70 228 86 0

N.S.

1 0.95 1.37 1.38 2.14 1.11 3.62 1.37 0.00

time (sec)

N/A 0.187 0.225 1.052 0.195 0.297 0.643 0.302 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

234 227 132 108 0 6315 238 0 374

N.S.

1 0.97 0.56 0.46 0.00 26.99 1.02 0.00 1.60

time (sec)

N/A 0.473 0.037 0.071 0.000 10.969 1.641 0.000 9.623

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 197 81 74 0 4759 158 0 437

N.S.

1 0.94 0.39 0.35 0.00 22.66 0.75 0.00 2.08

time (sec)

N/A 0.475 0.021 0.056 0.000 0.945 0.542 0.000 9.864

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 171 79 72 0 1950 83 0 145

N.S.

1 0.95 0.44 0.40 0.00 10.83 0.46 0.00 0.81

time (sec)

N/A 0.369 0.017 0.059 0.000 0.964 0.368 0.000 9.747

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 131 116 71 0 442 26 160 144

N.S.

1 0.94 0.83 0.51 0.00 3.16 0.19 1.14 1.03

time (sec)

N/A 0.278 0.024 0.047 0.000 0.285 0.118 0.302 10.075

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

224 241 119 105 0 4370 0 0 553

N.S.

1 1.08 0.53 0.47 0.00 19.51 0.00 0.00 2.47

time (sec)

N/A 0.520 0.037 0.092 0.000 0.950 0.000 0.000 0.075

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

314 315 173 143 0 8919 0 0 1588

N.S.

1 1.00 0.55 0.46 0.00 28.40 0.00 0.00 5.06

time (sec)

N/A 0.699 0.062 0.122 0.000 1.334 0.000 0.000 9.900

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

393 380 244 200 0 14765 0 0 1328

N.S.

1 0.97 0.62 0.51 0.00 37.57 0.00 0.00 3.38

time (sec)

N/A 0.824 0.103 0.151 0.000 3.883 0.000 0.000 9.265

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

356 342 106 97 0 0 374 0 1003

N.S.

1 0.96 0.30 0.27 0.00 0.00 1.05 0.00 2.82

time (sec)

N/A 0.497 0.028 0.097 0.000 0.000 2.238 0.000 9.617

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

318 307 106 97 0 61993 274 0 625

N.S.

1 0.97 0.33 0.31 0.00 194.95 0.86 0.00 1.97

time (sec)

N/A 0.427 0.024 0.078 0.000 58.699 1.600 0.000 9.271

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

261 250 104 95 0 40785 131 0 205

N.S.

1 0.96 0.40 0.36 0.00 156.26 0.50 0.00 0.79

time (sec)

N/A 0.377 0.019 0.074 0.000 11.051 0.478 0.000 9.128

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

221 228 161 94 0 152 26 103 60

N.S.

1 1.03 0.73 0.43 0.00 0.69 0.12 0.47 0.27

time (sec)

N/A 0.401 0.059 0.062 0.000 0.298 0.132 0.311 0.073

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

393 396 163 139 0 307773 0 0 882

N.S.

1 1.01 0.41 0.35 0.00 783.14 0.00 0.00 2.24

time (sec)

N/A 0.656 0.045 0.110 0.000 4.194 0.000 0.000 9.294

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

496 497 238 184 0 1128605 0 0 2440

N.S.

1 1.00 0.48 0.37 0.00 2275.41 0.00 0.00 4.92

time (sec)

N/A 0.957 0.088 0.142 0.000 78.189 0.000 0.000 9.527

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 125 195 179 192 179 199 219 175

N.S.

1 1.02 1.59 1.46 1.56 1.46 1.62 1.78 1.42

time (sec)

N/A 0.366 0.020 0.046 0.197 0.241 0.047 0.277 0.205

Problem 117

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

120 85 114 110 119 107 114 128 108

N.S.

1 0.71 0.95 0.92 0.99 0.89 0.95 1.07 0.90

time (sec)

N/A 0.298 0.012 0.033 0.199 0.253 0.031 0.296 0.081

Problem 118

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

72 52 66 60 65 56 65 65 61

N.S.

1 0.72 0.92 0.83 0.90 0.78 0.90 0.90 0.85

time (sec)

N/A 0.226 0.007 0.030 0.209 0.249 0.030 0.285 0.023

Problem 119

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

26 26 26 23 22 22 22 22 22

N.S.

1 1.00 1.00 0.88 0.85 0.85 0.85 0.85 0.85

time (sec)

N/A 0.153 0.000 0.023 0.204 0.248 0.020 0.294 0.011

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 57 51 0 457 66 2669 571

N.S.

1 1.00 0.64 0.57 0.00 5.13 0.74 29.99 6.42

time (sec)

N/A 0.231 0.018 0.067 0.000 0.249 0.543 2.518 0.323

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 165 150 158 0 1948 294 8503 4591

N.S.

1 0.98 0.89 0.93 0.00 11.53 1.74 50.31 27.17

time (sec)

N/A 0.313 0.047 0.069 0.000 0.269 3.339 6.370 11.032

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

252 254 254 400 0 3971 697 16632 8242

N.S.

1 1.01 1.01 1.59 0.00 15.76 2.77 66.00 32.71

time (sec)

N/A 0.442 0.091 0.112 0.000 0.310 8.015 11.962 12.115

Problem 123

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

210 210 204 182 182 182 212 222 178

N.S.

1 1.00 0.97 0.87 0.87 0.87 1.01 1.06 0.85

time (sec)

N/A 0.410 0.021 0.112 0.204 0.250 0.044 0.258 0.206

Problem 124

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

134 134 130 115 113 113 128 133 113

N.S.

1 1.00 0.97 0.86 0.84 0.84 0.96 0.99 0.84

time (sec)

N/A 0.316 0.013 0.109 0.206 0.237 0.033 0.272 9.638

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 75 63 59 59 70 68 64

N.S.

1 1.00 0.95 0.80 0.75 0.75 0.89 0.86 0.81

time (sec)

N/A 0.245 0.007 0.097 0.192 0.251 0.023 0.259 0.024

Problem 126

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

35 35 35 28 27 27 29 27 27

N.S.

1 1.00 1.00 0.80 0.77 0.77 0.83 0.77 0.77

time (sec)

N/A 0.179 0.003 0.022 0.203 0.253 0.017 0.265 0.013

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 121 59 52 0 140500 155 0 275

N.S.

1 1.04 0.51 0.45 0.00 1211.21 1.34 0.00 2.37

time (sec)

N/A 0.324 0.016 0.043 0.000 1.452 2.478 0.000 9.580

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

231 231 166 158 0 0 539 0 1167

N.S.

1 1.00 0.72 0.68 0.00 0.00 2.33 0.00 5.05

time (sec)

N/A 0.450 0.049 0.060 0.000 0.000 16.396 0.000 10.332

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

349 359 284 409 0 0 1102 0 2200

N.S.

1 1.03 0.81 1.17 0.00 0.00 3.16 0.00 6.30

time (sec)

N/A 0.667 0.096 0.114 0.000 0.000 42.836 0.000 9.931

Problem 130

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

210 210 204 182 182 182 219 222 178

N.S.

1 1.00 0.97 0.87 0.87 0.87 1.04 1.06 0.85

time (sec)

N/A 0.405 0.020 0.122 0.193 0.239 0.042 0.290 9.273

Problem 131

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

138 138 132 115 113 113 134 133 113

N.S.

1 1.00 0.96 0.83 0.82 0.82 0.97 0.96 0.82

time (sec)

N/A 0.330 0.012 0.126 0.192 0.242 0.032 0.284 9.107

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 73 63 59 59 73 68 64

N.S.

1 1.00 0.92 0.80 0.75 0.75 0.92 0.86 0.81

time (sec)

N/A 0.256 0.007 0.107 0.189 0.239 0.024 0.293 0.026

Problem 133

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

35 35 35 28 27 27 29 27 27

N.S.

1 1.00 1.00 0.80 0.77 0.77 0.83 0.77 0.77

time (sec)

N/A 0.184 0.002 0.022 0.189 0.238 0.018 0.277 0.012

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 105 61 54 0 1515766 172 0 878

N.S.

1 1.06 0.62 0.55 0.00 15310.77 1.74 0.00 8.87

time (sec)

N/A 0.357 0.016 0.040 0.000 17.658 4.082 0.000 0.399

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

225 220 182 160 0 0 561 0 1218

N.S.

1 0.98 0.81 0.71 0.00 0.00 2.49 0.00 5.41

time (sec)

N/A 0.465 0.051 0.064 0.000 0.000 18.357 0.000 9.444

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

545 530 99 93 0 0 0 0 1563

N.S.

1 0.97 0.18 0.17 0.00 0.00 0.00 0.00 2.87

time (sec)

N/A 1.280 0.040 0.078 0.000 0.000 0.000 0.000 9.522

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

487 472 99 93 0 0 0 0 1354

N.S.

1 0.97 0.20 0.19 0.00 0.00 0.00 0.00 2.78

time (sec)

N/A 0.889 0.031 0.078 0.000 0.000 0.000 0.000 9.569

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

334 319 97 93 0 27094 0 0 825

N.S.

1 0.96 0.29 0.28 0.00 81.12 0.00 0.00 2.47

time (sec)

N/A 0.626 0.026 0.082 0.000 2.428 0.000 0.000 9.515

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

469 454 95 91 0 0 0 0 1057

N.S.

1 0.97 0.20 0.19 0.00 0.00 0.00 0.00 2.25

time (sec)

N/A 0.857 0.027 0.081 0.000 0.000 0.000 0.000 9.612

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

522 507 99 90 0 0 0 0 1394

N.S.

1 0.97 0.19 0.17 0.00 0.00 0.00 0.00 2.67

time (sec)

N/A 1.049 0.036 0.072 0.000 0.000 0.000 0.000 9.501

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

563 548 157 134 0 0 0 0 4002

N.S.

1 0.97 0.28 0.24 0.00 0.00 0.00 0.00 7.11

time (sec)

N/A 1.262 0.071 0.109 0.000 0.000 0.000 0.000 9.073

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

645 625 163 133 0 0 0 0 2663

N.S.

1 0.97 0.25 0.21 0.00 0.00 0.00 0.00 4.13

time (sec)

N/A 1.524 0.076 0.111 0.000 0.000 0.000 0.000 9.683

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

395 402 61 56 0 0 70 0 427

N.S.

1 1.02 0.15 0.14 0.00 0.00 0.18 0.00 1.08

time (sec)

N/A 1.360 0.013 0.056 0.000 0.000 0.121 0.000 0.375

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

377 379 61 56 0 0 65 0 390

N.S.

1 1.01 0.16 0.15 0.00 0.00 0.17 0.00 1.03

time (sec)

N/A 1.075 0.010 0.045 0.000 0.000 0.135 0.000 9.234

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

361 354 61 56 0 0 61 0 276

N.S.

1 0.98 0.17 0.16 0.00 0.00 0.17 0.00 0.76

time (sec)

N/A 0.847 0.010 0.044 0.000 0.000 0.111 0.000 0.304

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

248 241 59 56 0 1277 48 0 247

N.S.

1 0.97 0.24 0.23 0.00 5.15 0.19 0.00 1.00

time (sec)

N/A 0.651 0.009 0.046 0.000 0.929 0.083 0.000 9.526

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

361 354 57 54 0 0 61 0 176

N.S.

1 0.98 0.16 0.15 0.00 0.00 0.17 0.00 0.49

time (sec)

N/A 0.901 0.010 0.045 0.000 0.000 0.112 0.000 9.097

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

377 370 62 53 0 0 65 0 306

N.S.

1 0.98 0.16 0.14 0.00 0.00 0.17 0.00 0.81

time (sec)

N/A 1.070 0.009 0.043 0.000 0.000 0.132 0.000 9.356

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

415 401 103 73 0 0 82 0 432

N.S.

1 0.97 0.25 0.18 0.00 0.00 0.20 0.00 1.04

time (sec)

N/A 1.268 0.013 0.066 0.000 0.000 0.561 0.000 9.438

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

448 453 109 69 0 0 70 0 340

N.S.

1 1.01 0.24 0.15 0.00 0.00 0.16 0.00 0.76

time (sec)

N/A 1.409 0.014 0.066 0.000 0.000 0.191 0.000 9.038

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

1064 1012 167 122 0 0 112 0 388

N.S.

1 0.95 0.16 0.11 0.00 0.00 0.11 0.00 0.36

time (sec)

N/A 2.764 0.025 0.064 0.000 0.000 0.234 0.000 9.153

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

1005 954 167 122 0 0 112 0 387

N.S.

1 0.95 0.17 0.12 0.00 0.00 0.11 0.00 0.39

time (sec)

N/A 2.738 0.019 0.065 0.000 0.000 0.281 0.000 9.322

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

677 638 167 122 0 0 112 0 388

N.S.

1 0.94 0.25 0.18 0.00 0.00 0.17 0.00 0.57

time (sec)

N/A 1.970 0.025 0.060 0.000 0.000 0.248 0.000 9.045

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

682 666 167 122 0 1445 104 0 299

N.S.

1 0.98 0.24 0.18 0.00 2.12 0.15 0.00 0.44

time (sec)

N/A 1.623 0.018 0.064 0.000 0.959 0.120 0.000 0.185

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

850 826 167 122 0 0 112 0 388

N.S.

1 0.97 0.20 0.14 0.00 0.00 0.13 0.00 0.46

time (sec)

N/A 2.009 0.024 0.063 0.000 0.000 0.246 0.000 9.104

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

873 855 167 122 0 0 112 0 387

N.S.

1 0.98 0.19 0.14 0.00 0.00 0.13 0.00 0.44

time (sec)

N/A 2.391 0.018 0.062 0.000 0.000 0.282 0.000 9.314

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

986 892 167 122 0 0 112 0 388

N.S.

1 0.90 0.17 0.12 0.00 0.00 0.11 0.00 0.39

time (sec)

N/A 2.463 0.027 0.059 0.000 0.000 0.235 0.000 9.090

Problem 158

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

25 25 25 22 21 21 22 21 21

N.S.

1 1.00 1.00 0.88 0.84 0.84 0.88 0.84 0.84

time (sec)

N/A 0.215 0.003 0.713 0.181 0.238 0.026 0.276 0.021

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 79 96 105 105 88 365 106

N.S.

1 1.00 0.84 1.02 1.12 1.12 0.94 3.88 1.13

time (sec)

N/A 0.313 0.024 0.771 0.182 0.259 0.144 0.282 0.033

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 172 13 13 154 175 13 154

N.S.

1 1.00 11.47 0.87 0.87 10.27 11.67 0.87 10.27

time (sec)

N/A 0.158 0.004 0.764 0.188 0.267 0.054 0.306 8.985

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 182 15 156 156 182 156 156

N.S.

1 1.00 11.38 0.94 9.75 9.75 11.38 9.75 9.75

time (sec)

N/A 0.153 0.004 0.781 0.187 0.236 0.049 0.282 8.856

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 186 15 156 156 185 156 156

N.S.

1 1.00 11.62 0.94 9.75 9.75 11.56 9.75 9.75

time (sec)

N/A 0.159 0.005 0.808 0.200 0.226 0.052 0.286 9.110

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 230 229 262 0 189 229

N.S.

1 1.00 1.00 10.95 10.90 12.48 0.00 9.00 10.90

time (sec)

N/A 0.164 0.012 0.021 0.201 0.252 0.000 0.500 10.208

Problem 164

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

10 10 9 9 10 10 8 11 8

N.S.

1 1.00 0.90 0.90 1.00 1.00 0.80 1.10 0.80

time (sec)

N/A 0.142 0.004 0.724 0.192 0.261 0.056 0.276 9.154

Problem 165

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

15 17 15 14 13 13 12 18 13

N.S.

1 1.13 1.00 0.93 0.87 0.87 0.80 1.20 0.87

time (sec)

N/A 0.190 0.004 0.735 0.194 0.256 0.084 0.266 8.969

Problem 166

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

15 17 15 14 13 13 12 15 13

N.S.

1 1.13 1.00 0.93 0.87 0.87 0.80 1.00 0.87

time (sec)

N/A 0.193 0.005 0.733 0.207 0.249 0.093 0.268 8.925

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 17 19 18 47 23 29 0 0

N.S.

1 1.13 1.27 1.20 3.13 1.53 1.93 0.00 0.00

time (sec)

N/A 0.186 0.006 0.817 0.199 0.274 0.537 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 14 13 13 81 87 13 12

N.S.

1 1.00 0.93 0.87 0.87 5.40 5.80 0.87 0.80

time (sec)

N/A 0.141 0.015 0.717 0.199 0.260 0.459 0.268 10.133

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 81 81 87 15 14

N.S.

1 1.00 1.00 0.94 5.06 5.06 5.44 0.94 0.88

time (sec)

N/A 0.149 0.020 0.761 0.208 0.256 0.693 0.287 1.366

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 81 81 87 15 14

N.S.

1 1.00 1.00 0.94 5.06 5.06 5.44 0.94 0.88

time (sec)

N/A 0.155 0.024 0.856 0.217 0.265 0.926 0.299 12.023

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 203 612 143 0 0 0

N.S.

1 1.00 1.00 9.67 29.14 6.81 0.00 0.00 0.00

time (sec)

N/A 0.156 0.009 0.020 0.245 0.387 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 17 20 19 26 46 19 23

N.S.

1 1.00 0.89 1.05 1.00 1.37 2.42 1.00 1.21

time (sec)

N/A 0.143 0.006 0.726 0.203 0.253 0.272 0.263 9.105

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 97 31 35 32 80 54 45

N.S.

1 1.00 3.59 1.15 1.30 1.19 2.96 2.00 1.67

time (sec)

N/A 0.164 0.063 1.445 0.226 0.262 28.849 0.370 9.528

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

27 116 97 97 35 33 0 54 0

N.S.

1 4.30 3.59 3.59 1.30 1.22 0.00 2.00 0.00

time (sec)

N/A 0.251 0.002 4.743 0.236 0.271 0.000 0.311 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 99 33 35 34 0 58 49

N.S.

1 1.00 3.41 1.14 1.21 1.17 0.00 2.00 1.69

time (sec)

N/A 0.168 0.061 2.509 0.239 0.285 0.000 0.278 9.288

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

36 36 108 0 39 42 0 0 0

N.S.

1 1.00 3.00 0.00 1.08 1.17 0.00 0.00 0.00

time (sec)

N/A 0.179 0.172 0.000 0.276 0.296 0.000 0.000 0.000

Problem 177

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

32 32 32 27 26 26 29 26 26

N.S.

1 1.00 1.00 0.84 0.81 0.81 0.91 0.81 0.81

time (sec)

N/A 0.206 0.002 0.688 0.196 0.269 0.028 0.286 0.027

Problem 178

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

12 14 12 11 10 10 8 10 10

N.S.

1 1.17 1.00 0.92 0.83 0.83 0.67 0.83 0.83

time (sec)

N/A 0.198 0.002 0.706 0.203 0.268 0.028 0.289 0.011

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 42 32 31 98 124 31 32

N.S.

1 1.00 1.00 0.76 0.74 2.33 2.95 0.74 0.76

time (sec)

N/A 0.225 0.014 0.784 0.284 0.257 0.134 0.265 9.211

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 23 26 25 38 0 25 54

N.S.

1 1.00 0.92 1.04 1.00 1.52 0.00 1.00 2.16

time (sec)

N/A 0.178 0.067 0.144 0.215 0.258 0.000 0.274 9.245

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 21 25 24 36 0 24 46

N.S.

1 1.00 0.88 1.04 1.00 1.50 0.00 1.00 1.92

time (sec)

N/A 0.169 0.247 0.114 0.199 0.263 0.000 0.290 9.315

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 24 26 39 35 0 65 51

N.S.

1 1.00 0.96 1.04 1.56 1.40 0.00 2.60 2.04

time (sec)

N/A 0.170 0.084 1.873 0.252 0.271 0.000 0.304 9.114

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 21 20 28 0 20 39

N.S.

1 1.00 1.00 1.05 1.00 1.40 0.00 1.00 1.95

time (sec)

N/A 0.160 0.028 0.099 0.193 0.254 0.000 0.263 9.124

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 106 20 19 26 63 19 25

N.S.

1 1.00 5.58 1.05 1.00 1.37 3.32 1.00 1.32

time (sec)

N/A 0.157 0.079 0.795 0.203 0.260 5.275 0.271 9.206

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 108 23 31 27 66 39 26

N.S.

1 1.00 4.91 1.05 1.41 1.23 3.00 1.77 1.18

time (sec)

N/A 0.141 0.029 1.453 0.259 0.255 23.671 0.443 9.022

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 21 23 22 32 0 22 43

N.S.

1 1.00 0.95 1.05 1.00 1.45 0.00 1.00 1.95

time (sec)

N/A 0.163 0.052 0.094 0.219 0.256 0.000 0.274 9.017

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 19 22 21 30 53 21 27

N.S.

1 1.00 0.90 1.05 1.00 1.43 2.52 1.00 1.29

time (sec)

N/A 0.161 0.041 0.754 0.194 0.259 0.431 0.262 9.135

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 22 28 32 31 56 51 28

N.S.

1 1.00 0.92 1.17 1.33 1.29 2.33 2.12 1.17

time (sec)

N/A 0.158 0.013 1.184 0.244 0.248 1.549 0.401 9.519

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 23 32 29 53 41 26

N.S.

1 1.00 1.00 1.05 1.45 1.32 2.41 1.86 1.18

time (sec)

N/A 0.140 0.011 1.158 0.229 0.257 1.528 0.272 9.138

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 21 23 32 32 0 22 43

N.S.

1 1.00 0.95 1.05 1.45 1.45 0.00 1.00 1.95

time (sec)

N/A 0.156 0.002 0.097 0.238 0.291 0.000 0.300 9.013

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 19 26 32 30 53 21 27

N.S.

1 1.00 0.90 1.24 1.52 1.43 2.52 1.00 1.29

time (sec)

N/A 0.152 0.002 0.761 0.227 0.242 0.423 0.287 9.175

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 143 20 19 1528 1771 160 1576

N.S.

1 1.00 6.81 0.95 0.90 72.76 84.33 7.62 75.05

time (sec)

N/A 0.294 0.093 0.158 0.195 0.258 0.183 0.304 9.903

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 18 18 18 441 469 18 418

N.S.

1 1.00 0.90 0.90 0.90 22.05 23.45 0.90 20.90

time (sec)

N/A 0.190 0.017 0.273 0.191 0.267 0.084 0.297 9.396

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 18 439 441 441 469 18 418

N.S.

1 1.00 0.95 23.11 23.21 23.21 24.68 0.95 22.00

time (sec)

N/A 0.233 0.007 0.964 0.194 0.250 0.075 0.281 9.143

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 127 15 14 456 483 120 438

N.S.

1 1.00 7.94 0.94 0.88 28.50 30.19 7.50 27.38

time (sec)

N/A 0.198 0.037 0.220 0.198 0.237 0.082 0.272 9.690

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 98 14 13 88 97 13 88

N.S.

1 1.00 6.53 0.93 0.87 5.87 6.47 0.87 5.87

time (sec)

N/A 0.154 0.004 0.749 0.199 0.237 0.042 0.277 0.031

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 98 89 88 88 97 13 88

N.S.

1 1.00 6.12 5.56 5.50 5.50 6.06 0.81 5.50

time (sec)

N/A 0.142 0.002 0.768 0.200 0.247 0.034 0.331 0.023

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 115 17 16 458 484 136 440

N.S.

1 1.00 6.39 0.94 0.89 25.44 26.89 7.56 24.44

time (sec)

N/A 0.191 0.037 0.099 0.202 0.250 0.078 0.291 9.575

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 98 13 15 88 97 15 88

N.S.

1 1.00 5.76 0.76 0.88 5.18 5.71 0.88 5.18

time (sec)

N/A 0.166 0.006 0.725 0.200 0.229 0.041 0.378 9.325

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 98 13 88 88 97 15 88

N.S.

1 1.00 7.00 0.93 6.29 6.29 6.93 1.07 6.29

time (sec)

N/A 0.141 0.002 0.694 0.180 0.227 0.035 0.280 0.026

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