[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 A A A A F(-1) B B B

verified

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

size

43 43 67 46 58 54 0 181 43 60

N.S.

1 1.00 1.56 1.07 1.35 1.26 0.00 4.21 1.00 1.40

time (sec)

N/A 0.221 0.022 0.397 0.025 0.093 0.000 0.126 0.164 3.490

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

42 37 42 37 37 50 0 188 63 52

N.S.

1 0.88 1.00 0.88 0.88 1.19 0.00 4.48 1.50 1.24

time (sec)

N/A 0.204 0.014 0.270 0.024 0.095 0.000 0.128 0.165 3.317

Problem 103

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

30 36 28 92 0 0 0 0 19 0

N.S.

1 1.20 0.93 3.07 0.00 0.00 0.00 0.00 0.63 0.00

time (sec)

N/A 0.244 0.029 0.204 0.000 0.000 0.000 0.000 0.175 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

40 42 45 47 41 55 0 51 79 55

N.S.

1 1.05 1.12 1.18 1.02 1.38 0.00 1.28 1.98 1.38

time (sec)

N/A 0.225 0.023 0.210 0.032 0.090 0.000 0.118 0.175 3.398

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

41 38 65 45 51 49 0 67 39 52

N.S.

1 0.93 1.59 1.10 1.24 1.20 0.00 1.63 0.95 1.27

time (sec)

N/A 0.220 0.023 0.300 0.031 0.070 0.000 0.126 0.176 3.571

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

56 54 61 63 51 65 0 65 95 67

N.S.

1 0.96 1.09 1.12 0.91 1.16 0.00 1.16 1.70 1.20

time (sec)

N/A 0.246 0.024 0.426 0.026 0.082 0.000 0.117 0.167 3.441

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

140 177 196 184 162 981 0 207 112 125

N.S.

1 1.26 1.40 1.31 1.16 7.01 0.00 1.48 0.80 0.89

time (sec)

N/A 0.411 0.051 0.362 0.112 0.110 0.000 0.163 0.164 4.004

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

101 101 136 99 90 260 0 109 119 107

N.S.

1 1.00 1.35 0.98 0.89 2.57 0.00 1.08 1.18 1.06

time (sec)

N/A 0.271 0.030 0.189 0.107 0.092 0.000 0.114 0.165 5.537

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

131 166 187 159 155 228 0 165 122 118

N.S.

1 1.27 1.43 1.21 1.18 1.74 0.00 1.26 0.93 0.90

time (sec)

N/A 0.374 0.053 0.292 0.115 0.106 0.000 0.168 0.174 4.076

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

115 127 196 172 100 151 0 125 166 135

N.S.

1 1.10 1.70 1.50 0.87 1.31 0.00 1.09 1.44 1.17

time (sec)

N/A 0.462 0.045 0.405 0.105 0.085 0.000 0.122 0.175 6.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

142 191 198 186 164 248 0 208 114 127

N.S.

1 1.35 1.39 1.31 1.15 1.75 0.00 1.46 0.80 0.89

time (sec)

N/A 0.656 0.036 0.641 0.108 0.099 0.000 0.204 0.169 4.008

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

117 125 198 114 103 149 0 126 132 124

N.S.

1 1.07 1.69 0.97 0.88 1.27 0.00 1.08 1.13 1.06

time (sec)

N/A 0.536 0.034 0.392 0.111 0.085 0.000 0.120 0.164 5.216

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

131 176 187 177 155 238 0 173 105 118

N.S.

1 1.34 1.43 1.35 1.18 1.82 0.00 1.32 0.80 0.90

time (sec)

N/A 0.552 0.028 0.283 0.126 0.083 0.000 0.202 0.163 4.006

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

104 110 183 105 94 117 0 106 133 117

N.S.

1 1.06 1.76 1.01 0.90 1.12 0.00 1.02 1.28 1.12

time (sec)

N/A 0.315 0.030 0.284 0.108 0.086 0.000 0.122 0.172 5.310

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

140 186 196 172 160 196 0 193 141 125

N.S.

1 1.33 1.40 1.23 1.14 1.40 0.00 1.38 1.01 0.89

time (sec)

N/A 0.407 0.046 0.362 0.114 0.082 0.000 0.335 0.174 4.151

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

125 153 146 163 217 176 0 175 182 335

N.S.

1 1.22 1.17 1.30 1.74 1.41 0.00 1.40 1.46 2.68

time (sec)

N/A 0.914 0.054 1.534 0.040 0.088 0.000 0.179 0.198 4.339

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

146 162 132 2906 0 0 0 0 175 0

N.S.

1 1.11 0.90 19.90 0.00 0.00 0.00 0.00 1.20 0.00

time (sec)

N/A 0.893 0.206 1.361 0.000 0.000 0.000 0.000 0.206 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

91 92 106 121 186 138 0 361 143 275

N.S.

1 1.01 1.16 1.33 2.04 1.52 0.00 3.97 1.57 3.02

time (sec)

N/A 0.516 0.040 1.030 0.036 0.086 0.000 0.159 0.201 4.175

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

96 104 99 134 0 0 0 0 92 0

N.S.

1 1.08 1.03 1.40 0.00 0.00 0.00 0.00 0.96 0.00

time (sec)

N/A 0.561 0.108 1.100 0.000 0.000 0.000 0.000 0.219 0.000

Problem 120

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

size

140 163 181 0 0 0 0 0 41 0

N.S.

1 1.16 1.29 0.00 0.00 0.00 0.00 0.00 0.29 0.00

time (sec)

N/A 0.838 0.307 0.000 0.000 0.000 0.000 0.000 0.187 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

90 91 117 2993 0 0 0 0 131 0

N.S.

1 1.01 1.30 33.26 0.00 0.00 0.00 0.00 1.46 0.00

time (sec)

N/A 0.556 0.118 0.866 0.000 0.000 0.000 0.000 0.178 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

88 87 111 152 175 151 0 0 169 278

N.S.

1 0.99 1.26 1.73 1.99 1.72 0.00 0.00 1.92 3.16

time (sec)

N/A 0.657 0.067 0.665 0.035 0.090 0.000 0.000 0.180 4.267

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

144 137 159 3062 0 0 0 0 191 0

N.S.

1 0.95 1.10 21.26 0.00 0.00 0.00 0.00 1.33 0.00

time (sec)

N/A 1.222 0.268 1.242 0.000 0.000 0.000 0.000 0.177 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

231 244 334 0 0 0 0 0 346 0

N.S.

1 1.06 1.45 0.00 0.00 0.00 0.00 0.00 1.50 0.00

time (sec)

N/A 2.242 0.350 0.000 0.000 0.000 0.000 0.000 0.196 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

139 158 185 800 0 0 0 0 235 0

N.S.

1 1.14 1.33 5.76 0.00 0.00 0.00 0.00 1.69 0.00

time (sec)

N/A 1.062 0.086 1.608 0.000 0.000 0.000 0.000 0.181 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

130 143 191 265 0 0 0 0 121 0

N.S.

1 1.10 1.47 2.04 0.00 0.00 0.00 0.00 0.93 0.00

time (sec)

N/A 0.806 0.176 1.937 0.000 0.000 0.000 0.000 0.193 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

210 240 368 0 0 0 0 0 63 0

N.S.

1 1.14 1.75 0.00 0.00 0.00 0.00 0.00 0.30 0.00

time (sec)

N/A 1.180 0.323 0.000 0.000 0.000 0.000 0.000 0.186 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

120 133 223 0 0 0 0 0 189 0

N.S.

1 1.11 1.86 0.00 0.00 0.00 0.00 0.00 1.58 0.00

time (sec)

N/A 0.852 0.287 0.000 0.000 0.000 0.000 0.000 0.195 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

136 137 218 0 0 0 0 0 300 0

N.S.

1 1.01 1.60 0.00 0.00 0.00 0.00 0.00 2.21 0.00

time (sec)

N/A 1.059 0.200 0.000 0.000 0.000 0.000 0.000 0.190 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 18 20 18 416 50 0 20 133 20

N.S.

1 1.00 1.11 1.00 23.11 2.78 0.00 1.11 7.39 1.11

time (sec)

N/A 0.253 1.588 0.098 2.491 0.084 0.000 0.182 0.197 3.561

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 18 20 18 239 34 0 20 88 20

N.S.

1 1.00 1.11 1.00 13.28 1.89 0.00 1.11 4.89 1.11

time (sec)

N/A 0.255 0.991 0.091 1.293 0.083 0.000 0.159 0.190 3.552

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

74 74 64 0 0 0 0 0 45 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 0.61 0.00

time (sec)

N/A 0.390 0.063 0.000 0.000 0.000 0.000 0.000 0.184 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 18 20 18 20 20 0 20 22 20

N.S.

1 1.00 1.11 1.00 1.11 1.11 0.00 1.11 1.22 1.11

time (sec)

N/A 0.335 0.315 0.102 0.083 0.071 0.000 0.143 0.206 3.335

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 18 20 18 141 36 0 20 38 20

N.S.

1 1.00 1.11 1.00 7.83 2.00 0.00 1.11 2.11 1.11

time (sec)

N/A 0.331 0.330 0.076 0.158 0.076 0.000 0.156 0.220 3.603

Problem 135

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

50 48 67 46 57 48 46 262 45 45

N.S.

1 0.96 1.34 0.92 1.14 0.96 0.92 5.24 0.90 0.90

time (sec)

N/A 0.377 0.018 0.555 0.030 0.086 0.163 0.119 0.174 3.621

Problem 136

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

45 42 50 57 42 49 49 227 52 42

N.S.

1 0.93 1.11 1.27 0.93 1.09 1.09 5.04 1.16 0.93

time (sec)

N/A 0.345 0.017 0.428 0.026 0.078 0.144 0.120 0.169 3.443

Problem 137

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

39 35 56 43 44 39 36 130 36 36

N.S.

1 0.90 1.44 1.10 1.13 1.00 0.92 3.33 0.92 0.92

time (sec)

N/A 0.259 0.015 0.473 0.032 0.072 0.130 0.115 0.174 3.580

Problem 138

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

29 29 29 32 29 35 24 150 34 27

N.S.

1 1.00 1.00 1.10 1.00 1.21 0.83 5.17 1.17 0.93

time (sec)

N/A 0.254 0.003 0.359 0.027 0.081 0.123 0.122 0.174 3.433

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 33 28 57 0 0 0 0 19 0

N.S.

1 1.10 0.93 1.90 0.00 0.00 0.00 0.00 0.63 0.00

time (sec)

N/A 0.246 0.024 0.405 0.000 0.000 0.000 0.000 0.181 0.000

Problem 140

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

35 35 38 37 37 48 39 87 48 43

N.S.

1 1.00 1.09 1.06 1.06 1.37 1.11 2.49 1.37 1.23

time (sec)

N/A 0.255 0.015 0.260 0.029 0.086 0.362 0.119 0.173 3.500

Problem 141

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

43 43 60 42 52 46 44 123 43 49

N.S.

1 1.00 1.40 0.98 1.21 1.07 1.02 2.86 1.00 1.14

time (sec)

N/A 0.219 0.016 0.427 0.031 0.070 0.312 0.123 0.167 3.517

Problem 142

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

48 55 62 57 55 62 68 234 68 59

N.S.

1 1.15 1.29 1.19 1.15 1.29 1.42 4.88 1.42 1.23

time (sec)

N/A 0.249 0.016 0.422 0.031 0.080 0.381 0.126 0.176 3.487

Problem 143

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

size

123 140 131 161 189 149 158 552 154 142

N.S.

1 1.14 1.07 1.31 1.54 1.21 1.28 4.49 1.25 1.15

time (sec)

N/A 1.015 0.043 1.833 0.035 0.082 0.237 0.129 0.171 3.607

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

142 131 145 298 0 0 0 0 147 0

N.S.

1 0.92 1.02 2.10 0.00 0.00 0.00 0.00 1.04 0.00

time (sec)

N/A 0.880 0.214 1.483 0.000 0.000 0.000 0.000 0.179 0.000

Problem 145

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

83 82 92 118 136 111 104 268 112 101

N.S.

1 0.99 1.11 1.42 1.64 1.34 1.25 3.23 1.35 1.22

time (sec)

N/A 0.615 0.029 1.511 0.032 0.081 0.162 0.122 0.169 3.474

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

74 80 97 235 0 0 0 0 55 0

N.S.

1 1.08 1.31 3.18 0.00 0.00 0.00 0.00 0.74 0.00

time (sec)

N/A 0.524 0.086 0.810 0.000 0.000 0.000 0.000 0.181 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

133 159 177 704 0 0 0 0 41 0

N.S.

1 1.20 1.33 5.29 0.00 0.00 0.00 0.00 0.31 0.00

time (sec)

N/A 0.849 0.286 13.598 0.000 0.000 0.000 0.000 0.170 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

87 101 101 134 0 0 0 0 101 0

N.S.

1 1.16 1.16 1.54 0.00 0.00 0.00 0.00 1.16 0.00

time (sec)

N/A 0.882 0.107 1.355 0.000 0.000 0.000 0.000 0.184 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

87 87 119 132 165 130 124 255 133 235

N.S.

1 1.00 1.37 1.52 1.90 1.49 1.43 2.93 1.53 2.70

time (sec)

N/A 0.859 0.048 2.035 0.037 0.092 0.365 0.126 0.177 4.298

Problem 150

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

size

203 266 286 1267 0 0 0 0 304 0

N.S.

1 1.31 1.41 6.24 0.00 0.00 0.00 0.00 1.50 0.00

time (sec)

N/A 2.546 0.423 20.358 0.000 0.000 0.000 0.000 0.170 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

217 216 316 1780 0 0 0 0 282 0

N.S.

1 1.00 1.46 8.20 0.00 0.00 0.00 0.00 1.30 0.00

time (sec)

N/A 2.035 0.563 36.307 0.000 0.000 0.000 0.000 0.189 0.000

Problem 152

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

size

135 131 193 5036 0 0 0 0 203 0

N.S.

1 0.97 1.43 37.30 0.00 0.00 0.00 0.00 1.50 0.00

time (sec)

N/A 1.046 0.213 22.586 0.000 0.000 0.000 0.000 0.177 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

108 121 198 1475 0 0 0 0 77 0

N.S.

1 1.12 1.83 13.66 0.00 0.00 0.00 0.00 0.71 0.00

time (sec)

N/A 1.067 0.201 27.389 0.000 0.000 0.000 0.000 0.189 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

208 236 373 1452 0 0 0 0 63 0

N.S.

1 1.13 1.79 6.98 0.00 0.00 0.00 0.00 0.30 0.00

time (sec)

N/A 1.723 0.322 15.621 0.000 0.000 0.000 0.000 0.188 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

126 140 205 265 0 0 0 0 158 0

N.S.

1 1.11 1.63 2.10 0.00 0.00 0.00 0.00 1.25 0.00

time (sec)

N/A 0.890 0.133 2.178 0.000 0.000 0.000 0.000 0.190 0.000

Problem 156

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

size

139 154 195 6081 0 0 0 0 262 0

N.S.

1 1.11 1.40 43.75 0.00 0.00 0.00 0.00 1.88 0.00

time (sec)

N/A 1.128 0.226 22.868 0.000 0.000 0.000 0.000 0.174 0.000

Problem 157

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

54 52 73 48 62 53 51 71 47 66

N.S.

1 0.96 1.35 0.89 1.15 0.98 0.94 1.31 0.87 1.22

time (sec)

N/A 0.250 0.025 0.658 0.033 0.082 3.164 0.118 0.189 4.346

Problem 158

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

45 42 50 59 42 52 75 52 50 56

N.S.

1 0.93 1.11 1.31 0.93 1.16 1.67 1.16 1.11 1.24

time (sec)

N/A 0.244 0.023 0.727 0.025 0.072 2.340 0.121 0.178 3.997

Problem 159

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

43 39 62 45 49 44 41 162 38 57

N.S.

1 0.91 1.44 1.05 1.14 1.02 0.95 3.77 0.88 1.33

time (sec)

N/A 0.230 0.022 0.550 0.030 0.077 1.687 0.118 0.185 3.894

Problem 160

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

39 34 39 42 34 43 61 184 39 47

N.S.

1 0.87 1.00 1.08 0.87 1.10 1.56 4.72 1.00 1.21

time (sec)

N/A 0.209 0.015 0.391 0.026 0.072 1.234 0.146 0.182 3.697

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

30 37 28 149 0 0 0 0 19 0

N.S.

1 1.23 0.93 4.97 0.00 0.00 0.00 0.00 0.63 0.00

time (sec)

N/A 0.244 0.024 0.366 0.000 0.000 0.000 0.000 0.176 0.000

Problem 162

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 37 42 37 37 55 76 52 54 56

N.S.

1 1.00 1.14 1.00 1.00 1.49 2.05 1.41 1.46 1.51

time (sec)

N/A 0.208 0.015 0.333 0.029 0.080 4.178 0.115 0.176 3.823

Problem 163

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

45 45 64 44 56 52 49 66 45 59

N.S.

1 1.00 1.42 0.98 1.24 1.16 1.09 1.47 1.00 1.31

time (sec)

N/A 0.233 0.022 0.377 0.025 0.081 5.207 0.121 0.181 3.806

Problem 164

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

48 55 62 45 55 67 94 65 68 66

N.S.

1 1.15 1.29 0.94 1.15 1.40 1.96 1.35 1.42 1.38

time (sec)

N/A 0.248 0.022 0.404 0.024 0.086 7.968 0.128 0.172 3.793

Problem 165

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

63 72 88 53 62 170 845 67 84 67

N.S.

1 1.14 1.40 0.84 0.98 2.70 13.41 1.06 1.33 1.06

time (sec)

N/A 0.245 0.027 0.705 0.103 0.090 3.851 0.151 0.194 3.875

Problem 166

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

61 65 86 51 61 162 830 69 74 65

N.S.

1 1.07 1.41 0.84 1.00 2.66 13.61 1.13 1.21 1.07

time (sec)

N/A 0.234 0.025 0.542 0.102 0.117 2.798 0.130 0.168 3.734

Problem 167

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

44 44 54 39 51 138 632 57 56 52

N.S.

1 1.00 1.23 0.89 1.16 3.14 14.36 1.30 1.27 1.18

time (sec)

N/A 0.173 0.014 0.409 0.104 0.095 2.550 0.118 0.172 3.613

Problem 168

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

46 55 72 44 57 159 886 62 72 59

N.S.

1 1.20 1.57 0.96 1.24 3.46 19.26 1.35 1.57 1.28

time (sec)

N/A 0.223 0.027 0.394 0.106 0.092 3.530 0.140 0.172 3.816

Problem 169

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

65 72 90 55 64 189 1046 72 91 69

N.S.

1 1.11 1.38 0.85 0.98 2.91 16.09 1.11 1.40 1.06

time (sec)

N/A 0.252 0.031 0.426 0.106 0.109 4.827 0.154 0.174 3.981

Problem 170

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

65 74 90 55 65 196 994 74 94 69

N.S.

1 1.14 1.38 0.85 1.00 3.02 15.29 1.14 1.45 1.06

time (sec)

N/A 0.235 0.029 0.476 0.107 0.093 6.723 0.175 0.173 3.916

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

94 88 104 805 157 126 151 327 118 247

N.S.

1 0.94 1.11 8.56 1.67 1.34 1.61 3.48 1.26 2.63

time (sec)

N/A 0.596 0.043 0.267 0.032 0.080 2.096 0.143 0.174 4.065

Problem 172

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

size

94 90 107 889 0 0 0 0 58 0

N.S.

1 0.96 1.14 9.46 0.00 0.00 0.00 0.00 0.62 0.00

time (sec)

N/A 0.571 0.098 1.805 0.000 0.000 0.000 0.000 0.188 0.000

Problem 173

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

size

144 163 183 0 0 0 0 0 41 0

N.S.

1 1.13 1.27 0.00 0.00 0.00 0.00 0.00 0.28 0.00

time (sec)

N/A 0.834 0.303 0.000 0.000 0.000 0.000 0.000 0.181 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

99 105 114 134 0 0 0 0 108 0

N.S.

1 1.06 1.15 1.35 0.00 0.00 0.00 0.00 1.09 0.00

time (sec)

N/A 0.575 0.045 1.598 0.000 0.000 0.000 0.000 0.185 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

97 91 131 138 183 143 172 0 135 262

N.S.

1 0.94 1.35 1.42 1.89 1.47 1.77 0.00 1.39 2.70

time (sec)

N/A 0.536 0.059 244.924 0.033 0.089 5.877 0.000 0.177 4.449

Problem 176

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

1214 1214 0 0 0 0 0 0 233 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.19 0.00

time (sec)

N/A 3.157 0.000 0.000 0.000 0.000 0.000 0.000 0.182 0.000

Problem 177

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

1172 1172 0 0 0 0 0 0 197 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.17 0.00

time (sec)

N/A 2.629 0.000 0.000 0.000 0.000 0.000 0.000 0.173 0.000

Problem 178

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

1050 1050 565 0 0 0 0 0 81 0

N.S.

1 1.00 0.54 0.00 0.00 0.00 0.00 0.00 0.08 0.00

time (sec)

N/A 1.752 2.249 0.000 0.000 0.000 0.000 0.000 0.193 0.000

Problem 179

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

1080 1117 568 0 0 0 0 0 98 0

N.S.

1 1.03 0.53 0.00 0.00 0.00 0.00 0.00 0.09 0.00

time (sec)

N/A 2.428 1.970 0.000 0.000 0.000 0.000 0.000 0.182 0.000

Problem 180

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

1263 1263 0 0 0 0 0 0 124 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.10 0.00

time (sec)

N/A 2.525 0.000 0.000 0.000 0.000 0.000 0.000 0.186 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 18 20 18 398 50 17 20 133 20

N.S.

1 1.00 1.11 1.00 22.11 2.78 0.94 1.11 7.39 1.11

time (sec)

N/A 0.200 1.980 0.117 2.541 0.085 54.854 0.168 0.193 3.905

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 18 20 18 228 34 17 20 88 20

N.S.

1 1.00 1.11 1.00 12.67 1.89 0.94 1.11 4.89 1.11

time (sec)

N/A 0.201 1.268 0.119 1.402 0.087 35.633 0.145 0.194 3.968

Problem 183

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

75 78 68 0 0 0 0 0 45 0

N.S.

1 1.04 0.91 0.00 0.00 0.00 0.00 0.00 0.60 0.00

time (sec)

N/A 0.278 0.070 0.000 0.000 0.000 0.000 0.000 0.177 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 18 20 18 20 20 15 20 22 20

N.S.

1 1.00 1.11 1.00 1.11 1.11 0.83 1.11 1.22 1.11

time (sec)

N/A 0.206 0.304 0.112 0.080 0.075 45.615 0.135 0.186 3.421

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

18 18 20 18 128 36 0 20 38 20

N.S.

1 1.00 1.11 1.00 7.11 2.00 0.00 1.11 2.11 1.11

time (sec)

N/A 0.204 0.303 0.120 0.153 0.084 0.000 0.133 0.187 3.769

Problem 186

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

88 101 114 79 86 89 0 359 74 86

N.S.

1 1.15 1.30 0.90 0.98 1.01 0.00 4.08 0.84 0.98

time (sec)

N/A 0.253 0.032 0.296 0.026 0.091 0.000 0.141 0.178 4.616

Problem 187

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

75 84 101 71 78 80 0 301 63 58

N.S.

1 1.12 1.35 0.95 1.04 1.07 0.00 4.01 0.84 0.77

time (sec)

N/A 0.240 0.026 0.293 0.030 0.084 0.000 0.137 0.172 4.251

Problem 188

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

62 67 88 63 69 70 0 239 51 49

N.S.

1 1.08 1.42 1.02 1.11 1.13 0.00 3.85 0.82 0.79

time (sec)

N/A 0.222 0.023 0.289 0.032 0.080 0.000 0.134 0.178 4.226

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

39 39 42 50 53 56 0 174 35 32

N.S.

1 1.00 1.08 1.28 1.36 1.44 0.00 4.46 0.90 0.82

time (sec)

N/A 0.169 0.037 0.286 0.032 0.090 0.000 0.133 0.170 4.050

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

29 40 29 57 61 0 0 0 18 0

N.S.

1 1.38 1.00 1.97 2.10 0.00 0.00 0.00 0.62 0.00

time (sec)

N/A 0.247 0.018 0.355 0.125 0.000 0.000 0.000 0.168 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

40 43 67 57 51 53 231 168 33 52

N.S.

1 1.08 1.68 1.42 1.28 1.32 5.78 4.20 0.82 1.30

time (sec)

N/A 0.216 0.025 0.305 0.031 0.081 2.555 0.131 0.175 4.348

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

60 59 86 65 64 64 342 356 46 61

N.S.

1 0.98 1.43 1.08 1.07 1.07 5.70 5.93 0.77 1.02

time (sec)

N/A 0.218 0.028 0.307 0.029 0.087 7.342 0.136 0.173 4.296

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

73 73 99 73 72 74 371 534 57 69

N.S.

1 1.00 1.36 1.00 0.99 1.01 5.08 7.32 0.78 0.95

time (sec)

N/A 0.228 0.030 0.305 0.024 0.088 21.144 0.139 0.169 4.065

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

211 305 224 309 265 273 0 0 230 453

N.S.

1 1.45 1.06 1.46 1.26 1.29 0.00 0.00 1.09 2.15

time (sec)

N/A 2.040 0.078 1.033 0.035 0.105 0.000 0.000 0.175 6.488

Problem 195

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

size

173 226 194 279 241 241 0 0 189 185

N.S.

1 1.31 1.12 1.61 1.39 1.39 0.00 0.00 1.09 1.07

time (sec)

N/A 2.353 0.073 1.014 0.035 0.116 0.000 0.000 0.183 4.259

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

129 159 160 249 215 207 0 0 147 143

N.S.

1 1.23 1.24 1.93 1.67 1.60 0.00 0.00 1.14 1.11

time (sec)

N/A 1.064 0.062 1.035 0.034 0.107 0.000 0.000 0.174 3.977

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 96 115 213 175 165 0 0 104 94

N.S.

1 1.13 1.35 2.51 2.06 1.94 0.00 0.00 1.22 1.11

time (sec)

N/A 0.515 0.038 0.999 0.036 0.102 0.000 0.000 0.182 3.768

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

145 177 203 662 0 0 0 0 39 0

N.S.

1 1.22 1.40 4.57 0.00 0.00 0.00 0.00 0.27 0.00

time (sec)

N/A 0.848 0.328 12.204 0.000 0.000 0.000 0.000 0.173 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

85 89 129 231 174 157 680 0 121 278

N.S.

1 1.05 1.52 2.72 2.05 1.85 8.00 0.00 1.42 3.27

time (sec)

N/A 0.626 0.080 0.457 0.038 0.096 2.622 0.000 0.183 4.426

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

133 152 178 263 234 201 972 0 168 341

N.S.

1 1.14 1.34 1.98 1.76 1.51 7.31 0.00 1.26 2.56

time (sec)

N/A 1.039 0.092 0.452 0.035 0.097 7.444 0.000 0.175 5.050

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