[next] [tail] [up]

Integrals 1 to 100

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 1

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

141 141 134 155 175 176 150 190 195 351

N.S.

1 1.00 0.95 1.10 1.24 1.25 1.06 1.35 1.38 2.49

time (sec)

N/A 0.342 0.050 0.807 0.043 0.071 0.295 0.164 0.197 0.066

Problem 2

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

109 109 103 122 138 139 109 149 154 197

N.S.

1 1.00 0.94 1.12 1.27 1.28 1.00 1.37 1.41 1.81

time (sec)

N/A 0.297 0.030 0.852 0.040 0.069 0.237 0.145 0.209 0.037

Problem 3

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

65 65 73 88 97 98 70 105 113 127

N.S.

1 1.00 1.12 1.35 1.49 1.51 1.08 1.62 1.74 1.95

time (sec)

N/A 0.222 0.023 0.829 0.037 0.076 0.180 0.168 0.202 6.437

Problem 4

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

50 50 43 59 63 64 46 63 76 65

N.S.

1 1.00 0.86 1.18 1.26 1.28 0.92 1.26 1.52 1.30

time (sec)

N/A 0.190 0.014 0.651 0.037 0.067 0.142 0.160 0.196 0.047

Problem 5

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

62 65 55 82 82 76 112 84 107 81

N.S.

1 1.05 0.89 1.32 1.32 1.23 1.81 1.35 1.73 1.31

time (sec)

N/A 0.227 0.021 0.684 0.034 0.075 0.355 0.168 0.211 0.101

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

86 86 82 112 113 165 182 115 226 109

N.S.

1 1.00 0.95 1.30 1.31 1.92 2.12 1.34 2.63 1.27

time (sec)

N/A 0.252 0.031 0.944 0.054 0.073 0.616 0.147 0.190 6.752

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

87 87 87 138 149 271 185 149 389 100

N.S.

1 1.00 1.00 1.59 1.71 3.11 2.13 1.71 4.47 1.15

time (sec)

N/A 0.256 0.050 0.923 0.055 0.078 0.516 0.163 0.207 0.083

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

113 113 122 177 206 400 248 186 560 152

N.S.

1 1.00 1.08 1.57 1.82 3.54 2.19 1.65 4.96 1.35

time (sec)

N/A 0.288 0.038 0.944 0.044 0.076 0.668 0.186 0.201 0.085

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

139 139 142 199 236 511 282 213 723 180

N.S.

1 1.00 1.02 1.43 1.70 3.68 2.03 1.53 5.20 1.29

time (sec)

N/A 0.311 0.056 0.935 0.051 0.076 0.760 0.142 0.228 6.592

Problem 10

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

218 218 226 259 258 328 250 273 339 1029

N.S.

1 1.00 1.04 1.19 1.18 1.50 1.15 1.25 1.56 4.72

time (sec)

N/A 0.473 0.077 0.754 0.039 0.072 0.612 0.152 0.197 0.090

Problem 11

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

177 177 185 217 218 288 199 231 298 565

N.S.

1 1.00 1.05 1.23 1.23 1.63 1.12 1.31 1.68 3.19

time (sec)

N/A 0.416 0.075 0.774 0.040 0.074 0.522 0.142 0.203 6.536

Problem 12

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

146 146 154 177 182 251 162 191 257 316

N.S.

1 1.00 1.05 1.21 1.25 1.72 1.11 1.31 1.76 2.16

time (sec)

N/A 0.355 0.055 0.721 0.058 0.080 0.494 0.155 0.236 0.059

Problem 13

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

107 107 115 133 141 206 119 148 214 185

N.S.

1 1.00 1.07 1.24 1.32 1.93 1.11 1.38 2.00 1.73

time (sec)

N/A 0.307 0.056 0.728 0.039 0.070 0.377 0.149 0.250 0.043

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

78 78 83 93 104 157 94 108 170 116

N.S.

1 1.00 1.06 1.19 1.33 2.01 1.21 1.38 2.18 1.49

time (sec)

N/A 0.260 0.038 0.754 0.034 0.070 0.325 0.157 0.250 0.051

Problem 15

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

50 50 46 63 69 95 61 68 118 72

N.S.

1 1.00 0.92 1.26 1.38 1.90 1.22 1.36 2.36 1.44

time (sec)

N/A 0.217 0.027 0.810 0.054 0.075 0.209 0.169 0.287 6.346

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

86 86 91 112 114 168 182 117 226 111

N.S.

1 1.00 1.06 1.30 1.33 1.95 2.12 1.36 2.63 1.29

time (sec)

N/A 0.256 0.030 0.664 0.031 0.075 0.555 0.160 0.217 6.565

Problem 17

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

82 89 85 109 111 155 156 114 202 115

N.S.

1 1.09 1.04 1.33 1.35 1.89 1.90 1.39 2.46 1.40

time (sec)

N/A 0.264 0.026 0.655 0.032 0.075 0.376 0.152 0.204 6.419

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

121 121 139 180 212 417 279 201 556 198

N.S.

1 1.00 1.15 1.49 1.75 3.45 2.31 1.66 4.60 1.64

time (sec)

N/A 0.306 0.064 0.919 0.054 0.090 0.699 0.172 0.192 6.186

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

146 146 171 162 197 337 241 227 430 148

N.S.

1 1.00 1.17 1.11 1.35 2.31 1.65 1.55 2.95 1.01

time (sec)

N/A 0.338 0.063 0.846 0.039 0.078 0.746 0.139 0.210 0.079

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

178 178 195 241 298 648 376 264 884 274

N.S.

1 1.00 1.10 1.35 1.67 3.64 2.11 1.48 4.97 1.54

time (sec)

N/A 0.396 0.088 0.849 0.061 0.088 0.933 0.140 0.197 6.177

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

210 210 229 278 342 693 427 308 948 314

N.S.

1 1.00 1.09 1.32 1.63 3.30 2.03 1.47 4.51 1.50

time (sec)

N/A 0.435 0.113 0.925 0.064 0.082 1.127 0.154 0.208 6.413

Problem 22

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

179 179 193 216 227 336 219 226 364 375

N.S.

1 1.00 1.08 1.21 1.27 1.88 1.22 1.26 2.03 2.09

time (sec)

N/A 0.427 0.061 0.911 0.044 0.073 0.865 0.156 0.200 0.085

Problem 23

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

149 149 157 174 188 294 178 185 321 240

N.S.

1 1.00 1.05 1.17 1.26 1.97 1.19 1.24 2.15 1.61

time (sec)

N/A 0.375 0.053 0.758 0.036 0.074 0.692 0.163 0.201 6.321

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

118 118 118 133 149 241 151 143 266 161

N.S.

1 1.00 1.00 1.13 1.26 2.04 1.28 1.21 2.25 1.36

time (sec)

N/A 0.317 0.059 0.773 0.036 0.073 0.650 0.152 0.201 0.064

Problem 25

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

81 81 93 96 105 159 102 94 204 107

N.S.

1 1.00 1.15 1.19 1.30 1.96 1.26 1.16 2.52 1.32

time (sec)

N/A 0.269 0.029 0.702 0.042 0.077 0.507 0.174 0.206 0.068

Problem 26

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

61 61 49 69 81 100 83 72 116 80

N.S.

1 1.00 0.80 1.13 1.33 1.64 1.36 1.18 1.90 1.31

time (sec)

N/A 0.225 0.017 0.776 0.036 0.081 0.276 0.187 0.204 6.252

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

88 88 90 152 150 271 185 143 391 103

N.S.

1 1.00 1.02 1.73 1.70 3.08 2.10 1.62 4.44 1.17

time (sec)

N/A 0.264 0.051 0.743 0.043 0.088 0.510 0.197 0.201 6.215

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

122 122 140 183 211 417 277 200 556 198

N.S.

1 1.00 1.15 1.50 1.73 3.42 2.27 1.64 4.56 1.62

time (sec)

N/A 0.305 0.066 0.675 0.039 0.087 0.722 0.168 0.214 6.117

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

126 158 110 135 152 252 144 146 327 114

N.S.

1 1.25 0.87 1.07 1.21 2.00 1.14 1.16 2.60 0.90

time (sec)

N/A 0.374 0.029 0.698 0.031 0.076 0.519 0.169 0.206 0.062

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

188 188 197 245 308 662 321 277 904 249

N.S.

1 1.00 1.05 1.30 1.64 3.52 1.71 1.47 4.81 1.32

time (sec)

N/A 0.406 0.096 0.957 0.049 0.088 1.013 0.155 0.207 0.101

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

235 235 244 286 359 793 372 335 1079 296

N.S.

1 1.00 1.04 1.22 1.53 3.37 1.58 1.43 4.59 1.26

time (sec)

N/A 0.473 0.108 0.829 0.045 0.088 1.145 0.170 0.198 6.247

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

156 169 164 274 288 272 0 520 536 417

N.S.

1 1.08 1.05 1.76 1.85 1.74 0.00 3.33 3.44 2.67

time (sec)

N/A 0.500 0.894 0.849 0.139 0.087 0.000 0.226 0.228 0.071

Problem 33

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

111 123 112 194 177 182 0 302 329 220

N.S.

1 1.11 1.01 1.75 1.59 1.64 0.00 2.72 2.96 1.98

time (sec)

N/A 0.306 0.439 0.757 0.139 0.086 0.000 0.200 0.219 5.922

Problem 34

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

69 73 72 108 88 103 0 148 160 116

N.S.

1 1.06 1.04 1.57 1.28 1.49 0.00 2.14 2.32 1.68

time (sec)

N/A 0.210 0.313 0.678 0.120 0.081 0.000 0.183 0.215 6.038

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

36 36 54 106 33 57 0 0 44 64

N.S.

1 1.00 1.50 2.94 0.92 1.58 0.00 0.00 1.22 1.78

time (sec)

N/A 0.163 0.168 0.611 0.114 0.086 0.000 0.000 0.202 6.482

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

107 107 101 481 0 300 0 272 805 136

N.S.

1 1.00 0.94 4.50 0.00 2.80 0.00 2.54 7.52 1.27

time (sec)

N/A 0.292 0.445 1.124 0.000 0.086 0.000 0.156 0.230 6.549

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

143 211 137 1077 0 909 0 389 2270 330

N.S.

1 1.48 0.96 7.53 0.00 6.36 0.00 2.72 15.87 2.31

time (sec)

N/A 0.412 0.655 1.133 0.000 0.149 0.000 0.169 1.193 6.330

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

221 400 244 2089 0 1851 0 705 29 696

N.S.

1 1.81 1.10 9.45 0.00 8.38 0.00 3.19 0.13 3.15

time (sec)

N/A 0.628 10.284 1.299 0.000 0.131 0.000 0.204 200.023 6.521

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

214 191 192 223 600 205 0 738 368 428

N.S.

1 0.89 0.90 1.04 2.80 0.96 0.00 3.45 1.72 2.00

time (sec)

N/A 0.507 0.768 0.767 0.149 0.095 0.000 0.209 0.255 6.388

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

145 147 132 152 375 137 0 455 227 242

N.S.

1 1.01 0.91 1.05 2.59 0.94 0.00 3.14 1.57 1.67

time (sec)

N/A 0.329 0.552 0.755 0.129 0.082 0.000 0.235 0.243 6.375

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 97 85 95 179 81 0 240 111 157

N.S.

1 1.14 1.00 1.12 2.11 0.95 0.00 2.82 1.31 1.85

time (sec)

N/A 0.229 0.383 0.734 0.130 0.080 0.000 0.178 0.244 6.374

Problem 42

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

39 60 55 60 50 48 0 103 41 56

N.S.

1 1.54 1.41 1.54 1.28 1.23 0.00 2.64 1.05 1.44

time (sec)

N/A 0.181 0.149 0.725 0.133 0.079 0.000 0.151 0.233 0.019

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

105 105 130 229 0 317 0 209 179 146

N.S.

1 1.00 1.24 2.18 0.00 3.02 0.00 1.99 1.70 1.39

time (sec)

N/A 0.280 0.528 1.272 0.000 0.161 0.000 0.187 0.262 0.084

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

127 191 146 1809 0 558 0 0 359 288

N.S.

1 1.50 1.15 14.24 0.00 4.39 0.00 0.00 2.83 2.27

time (sec)

N/A 0.366 0.709 1.164 0.000 0.185 0.000 0.000 0.253 6.478

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

162 344 132 3460 0 855 0 423 783 542

N.S.

1 2.12 0.81 21.36 0.00 5.28 0.00 2.61 4.83 3.35

time (sec)

N/A 0.526 0.748 1.543 0.000 0.098 0.000 0.171 1.299 6.268

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

277 298 301 604 1603 807 0 969 1448 0

N.S.

1 1.08 1.09 2.18 5.79 2.91 0.00 3.50 5.23 0.00

time (sec)

N/A 1.425 4.679 1.618 0.139 0.129 0.000 0.180 0.291 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

215 236 240 481 1190 624 0 757 1019 0

N.S.

1 1.10 1.12 2.24 5.53 2.90 0.00 3.52 4.74 0.00

time (sec)

N/A 1.011 1.585 1.355 0.154 0.184 0.000 0.171 0.246 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

183 202 157 667 903 454 0 560 505 0

N.S.

1 1.10 0.86 3.64 4.93 2.48 0.00 3.06 2.76 0.00

time (sec)

N/A 0.643 1.261 1.007 0.164 0.111 0.000 0.149 0.247 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

136 156 105 126 583 279 0 370 249 125

N.S.

1 1.15 0.77 0.93 4.29 2.05 0.00 2.72 1.83 0.92

time (sec)

N/A 0.326 0.728 1.017 0.044 0.088 0.000 0.142 0.256 6.001

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

123 113 77 80 373 183 0 276 179 79

N.S.

1 0.92 0.63 0.65 3.03 1.49 0.00 2.24 1.46 0.64

time (sec)

N/A 0.225 0.601 0.797 0.036 0.084 0.000 0.141 0.253 5.989

Problem 51

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

86 111 53 50 101 106 0 165 120 49

N.S.

1 1.29 0.62 0.58 1.17 1.23 0.00 1.92 1.40 0.57

time (sec)

N/A 0.223 0.463 0.715 0.044 0.078 0.000 0.141 0.253 5.853

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

242 324 225 1662 0 1767 0 642 1144 0

N.S.

1 1.34 0.93 6.87 0.00 7.30 0.00 2.65 4.73 0.00

time (sec)

N/A 0.596 10.416 1.073 0.000 0.138 0.000 0.184 0.259 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

352 328 341 3289 0 3305 0 0 31 0

N.S.

1 0.93 0.97 9.34 0.00 9.39 0.00 0.00 0.09 0.00

time (sec)

N/A 1.500 10.681 1.123 0.000 0.513 0.000 0.000 200.032 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

398 438 387 6396 0 5361 0 1401 9329 0

N.S.

1 1.10 0.97 16.07 0.00 13.47 0.00 3.52 23.44 0.00

time (sec)

N/A 2.953 11.456 1.194 0.000 2.172 0.000 0.312 0.877 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

107 112 130 229 0 318 0 131 175 148

N.S.

1 1.05 1.21 2.14 0.00 2.97 0.00 1.22 1.64 1.38

time (sec)

N/A 0.296 0.662 0.878 0.000 0.161 0.000 0.353 0.190 0.151

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

111 126 123 522 712 275 0 393 336 464

N.S.

1 1.14 1.11 4.70 6.41 2.48 0.00 3.54 3.03 4.18

time (sec)

N/A 0.290 0.562 1.020 0.136 0.096 0.000 0.170 0.196 0.061

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

120 119 123 270 0 275 0 393 436 464

N.S.

1 0.99 1.02 2.25 0.00 2.29 0.00 3.28 3.63 3.87

time (sec)

N/A 0.254 0.484 0.750 0.000 0.090 0.000 0.196 0.185 0.051

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

367 403 426 631 0 318 0 0 450 0

N.S.

1 1.10 1.16 1.72 0.00 0.87 0.00 0.00 1.23 0.00

time (sec)

N/A 0.633 24.204 3.848 0.000 0.084 0.000 0.000 0.693 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

292 322 367 514 0 266 0 0 275 0

N.S.

1 1.10 1.26 1.76 0.00 0.91 0.00 0.00 0.94 0.00

time (sec)

N/A 0.437 23.256 3.118 0.000 0.081 0.000 0.000 0.472 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

137 216 307 318 0 210 0 0 44 0

N.S.

1 1.58 2.24 2.32 0.00 1.53 0.00 0.00 0.32 0.00

time (sec)

N/A 0.388 22.139 1.742 0.000 0.074 0.000 0.000 0.324 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

102 102 138 170 0 77 0 0 54 0

N.S.

1 1.00 1.35 1.67 0.00 0.75 0.00 0.00 0.53 0.00

time (sec)

N/A 0.239 21.221 2.233 0.000 0.082 0.000 0.000 0.272 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

196 213 338 535 0 300 0 0 90 0

N.S.

1 1.09 1.72 2.73 0.00 1.53 0.00 0.00 0.46 0.00

time (sec)

N/A 0.342 23.935 4.237 0.000 0.081 0.000 0.000 0.525 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

372 409 402 729 0 516 0 0 92 0

N.S.

1 1.10 1.08 1.96 0.00 1.39 0.00 0.00 0.25 0.00

time (sec)

N/A 0.563 12.243 6.249 0.000 0.089 0.000 0.000 1.108 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

475 528 491 862 0 868 0 0 140 0

N.S.

1 1.11 1.03 1.81 0.00 1.83 0.00 0.00 0.29 0.00

time (sec)

N/A 0.687 12.917 10.820 0.000 0.127 0.000 0.000 10.569 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

254 285 388 582 0 286 0 0 382 0

N.S.

1 1.12 1.53 2.29 0.00 1.13 0.00 0.00 1.50 0.00

time (sec)

N/A 0.477 23.808 3.448 0.000 0.083 0.000 0.000 0.845 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

186 212 338 488 0 241 0 0 236 0

N.S.

1 1.14 1.82 2.62 0.00 1.30 0.00 0.00 1.27 0.00

time (sec)

N/A 0.386 23.136 2.864 0.000 0.079 0.000 0.000 0.604 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

91 135 288 161 0 191 0 0 42 0

N.S.

1 1.48 3.16 1.77 0.00 2.10 0.00 0.00 0.46 0.00

time (sec)

N/A 0.298 22.030 1.737 0.000 0.076 0.000 0.000 0.515 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

62 62 129 155 0 71 0 0 48 0

N.S.

1 1.00 2.08 2.50 0.00 1.15 0.00 0.00 0.77 0.00

time (sec)

N/A 0.194 21.194 2.388 0.000 0.071 0.000 0.000 0.392 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

141 141 320 293 0 267 0 0 78 0

N.S.

1 1.00 2.27 2.08 0.00 1.89 0.00 0.00 0.55 0.00

time (sec)

N/A 0.282 23.412 4.249 0.000 0.093 0.000 0.000 0.792 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

247 285 365 664 0 439 0 0 78 0

N.S.

1 1.15 1.48 2.69 0.00 1.78 0.00 0.00 0.32 0.00

time (sec)

N/A 0.447 12.034 6.428 0.000 0.089 0.000 0.000 1.267 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

331 384 438 777 0 711 0 0 114 0

N.S.

1 1.16 1.32 2.35 0.00 2.15 0.00 0.00 0.34 0.00

time (sec)

N/A 0.571 12.882 10.662 0.000 0.090 0.000 0.000 9.629 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

186 212 338 488 0 241 0 0 236 0

N.S.

1 1.14 1.82 2.62 0.00 1.30 0.00 0.00 1.27 0.00

time (sec)

N/A 0.381 0.990 2.940 0.000 0.083 0.000 0.000 0.411 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

186 212 179 491 0 244 0 0 246 0

N.S.

1 1.14 0.96 2.64 0.00 1.31 0.00 0.00 1.32 0.00

time (sec)

N/A 0.348 17.022 2.287 0.000 0.079 0.000 0.000 2.357 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

35 35 39 47 0 91 0 56 20 0

N.S.

1 1.00 1.11 1.34 0.00 2.60 0.00 1.60 0.57 0.00

time (sec)

N/A 0.169 0.332 0.658 0.000 0.079 0.000 0.157 0.179 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

35 29 39 45 0 97 0 25 20 0

N.S.

1 0.83 1.11 1.29 0.00 2.77 0.00 0.71 0.57 0.00

time (sec)

N/A 0.156 0.005 0.707 0.000 0.080 0.000 0.158 0.198 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 85 306 0 0 0 0 0 325 0

N.S.

1 1.00 3.60 0.00 0.00 0.00 0.00 0.00 3.82 0.00

time (sec)

N/A 0.220 21.931 0.000 0.000 0.000 0.000 0.000 2.777 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 85 306 0 0 0 0 0 325 0

N.S.

1 1.00 3.60 0.00 0.00 0.00 0.00 0.00 3.82 0.00

time (sec)

N/A 0.231 10.240 0.000 0.000 0.000 0.000 0.000 2.681 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 85 494 0 0 0 0 0 339 0

N.S.

1 1.00 5.81 0.00 0.00 0.00 0.00 0.00 3.99 0.00

time (sec)

N/A 0.194 19.502 0.000 0.000 0.000 0.000 0.000 15.999 0.000

Problem 79

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

117 117 101 124 121 143 0 391 142 179

N.S.

1 1.00 0.86 1.06 1.03 1.22 0.00 3.34 1.21 1.53

time (sec)

N/A 0.259 0.251 0.766 0.062 0.075 0.000 0.169 0.190 7.208

Problem 80

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

87 87 74 79 81 94 0 241 86 78

N.S.

1 1.00 0.85 0.91 0.93 1.08 0.00 2.77 0.99 0.90

time (sec)

N/A 0.225 0.199 0.685 0.055 0.080 0.000 0.144 0.184 6.501

Problem 81

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

53 53 50 45 46 53 0 123 41 44

N.S.

1 1.00 0.94 0.85 0.87 1.00 0.00 2.32 0.77 0.83

time (sec)

N/A 0.189 0.122 0.609 0.048 0.077 0.000 0.135 0.184 0.101

Problem 82

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

27 27 34 29 19 28 0 26 18 42

N.S.

1 1.00 1.26 1.07 0.70 1.04 0.00 0.96 0.67 1.56

time (sec)

N/A 0.156 0.072 0.628 0.039 0.070 0.000 0.144 0.181 0.049

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

90 89 113 144 0 289 0 91 111 0

N.S.

1 0.99 1.26 1.60 0.00 3.21 0.00 1.01 1.23 0.00

time (sec)

N/A 0.223 0.443 0.856 0.000 0.086 0.000 0.138 0.183 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

94 120 113 161 0 457 0 101 240 0

N.S.

1 1.28 1.20 1.71 0.00 4.86 0.00 1.07 2.55 0.00

time (sec)

N/A 0.241 0.439 0.877 0.000 0.087 0.000 0.143 0.181 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

124 130 141 340 0 674 0 149 408 0

N.S.

1 1.05 1.14 2.74 0.00 5.44 0.00 1.20 3.29 0.00

time (sec)

N/A 0.239 0.748 0.852 0.000 0.093 0.000 0.140 0.182 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

219 242 173 246 0 539 0 225 337 0

N.S.

1 1.11 0.79 1.12 0.00 2.46 0.00 1.03 1.54 0.00

time (sec)

N/A 0.668 0.607 1.183 0.000 0.091 0.000 0.137 0.179 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

155 171 153 195 0 399 0 117 212 0

N.S.

1 1.10 0.99 1.26 0.00 2.57 0.00 0.75 1.37 0.00

time (sec)

N/A 0.351 0.490 0.997 0.000 0.086 0.000 0.129 0.193 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

111 111 134 122 0 307 0 71 113 0

N.S.

1 1.00 1.21 1.10 0.00 2.77 0.00 0.64 1.02 0.00

time (sec)

N/A 0.239 0.336 0.940 0.000 0.084 0.000 0.117 0.181 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

65 65 86 68 0 169 0 40 49 0

N.S.

1 1.00 1.32 1.05 0.00 2.60 0.00 0.62 0.75 0.00

time (sec)

N/A 0.175 0.158 0.865 0.000 0.080 0.000 0.136 0.183 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

157 169 186 133 0 784 0 111 156 0

N.S.

1 1.08 1.18 0.85 0.00 4.99 0.00 0.71 0.99 0.00

time (sec)

N/A 0.310 0.474 1.409 0.000 0.130 0.000 0.169 0.205 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

224 251 231 481 0 1969 0 225 623 0

N.S.

1 1.12 1.03 2.15 0.00 8.79 0.00 1.00 2.78 0.00

time (sec)

N/A 0.382 1.341 1.328 0.000 0.239 0.000 0.140 0.195 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

320 347 293 1179 0 3947 0 399 1532 0

N.S.

1 1.08 0.92 3.68 0.00 12.33 0.00 1.25 4.79 0.00

time (sec)

N/A 0.497 1.670 1.348 0.000 1.043 0.000 0.131 0.228 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

198 180 229 473 0 552 0 0 474 0

N.S.

1 0.91 1.16 2.39 0.00 2.79 0.00 0.00 2.39 0.00

time (sec)

N/A 0.263 10.617 0.882 0.000 0.118 0.000 0.000 0.198 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

151 144 197 338 0 454 0 0 307 0

N.S.

1 0.95 1.30 2.24 0.00 3.01 0.00 0.00 2.03 0.00

time (sec)

N/A 0.245 10.366 0.862 0.000 0.115 0.000 0.000 0.201 0.000

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

116 112 173 228 0 372 0 114 205 0

N.S.

1 0.97 1.49 1.97 0.00 3.21 0.00 0.98 1.77 0.00

time (sec)

N/A 0.225 10.324 0.885 0.000 0.110 0.000 0.162 0.191 0.000

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

103 133 141 271 0 410 0 113 112 0

N.S.

1 1.29 1.37 2.63 0.00 3.98 0.00 1.10 1.09 0.00

time (sec)

N/A 0.237 1.296 0.869 0.000 0.326 0.000 0.151 0.190 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

107 113 155 419 0 611 0 154 237 0

N.S.

1 1.06 1.45 3.92 0.00 5.71 0.00 1.44 2.21 0.00

time (sec)

N/A 0.222 1.550 0.829 0.000 0.128 0.000 0.229 0.201 0.000

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

83 83 65 55 0 198 0 119 116 181

N.S.

1 1.00 0.78 0.66 0.00 2.39 0.00 1.43 1.40 2.18

time (sec)

N/A 0.203 1.411 0.877 0.000 0.093 0.000 0.219 0.213 6.520

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

124 128 87 87 0 323 0 215 231 262

N.S.

1 1.03 0.70 0.70 0.00 2.60 0.00 1.73 1.86 2.11

time (sec)

N/A 0.228 10.060 0.860 0.000 0.091 0.000 0.218 0.198 6.371

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

165 170 117 132 0 473 0 338 381 355

N.S.

1 1.03 0.71 0.80 0.00 2.87 0.00 2.05 2.31 2.15

time (sec)

N/A 0.249 3.630 0.835 0.000 0.099 0.000 0.246 0.209 6.767

[next] [front] [up]