2.2.3 Integrals 201 to 300

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 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 11 29 11 30 0 14 21

N.S.

1 1.00 1.00 2.64 1.00 2.73 0.00 1.27 1.91

time (sec)

N/A 0.201 0.007 0.110 0.296 0.249 0.000 0.270 0.055

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 26 28 0 37 0 70 47

N.S.

1 1.00 0.90 0.97 0.00 1.28 0.00 2.41 1.62

time (sec)

N/A 0.214 0.009 0.118 0.000 0.259 0.000 0.290 0.065

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 63 34 33 0 62 0 91 32

N.S.

1 0.97 0.52 0.51 0.00 0.95 0.00 1.40 0.49

time (sec)

N/A 0.248 0.014 0.117 0.000 0.259 0.000 0.300 0.099

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 43 42 0 91 0 145 127

N.S.

1 1.00 0.44 0.43 0.00 0.94 0.00 1.49 1.31

time (sec)

N/A 0.278 0.017 0.146 0.000 0.254 0.000 0.286 0.108

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 131 51 50 0 117 0 164 167

N.S.

1 1.02 0.40 0.39 0.00 0.91 0.00 1.27 1.29

time (sec)

N/A 0.297 0.020 0.141 0.000 0.259 0.000 0.300 3.602

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

44 44 43 0 0 0 0 0 0

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.239 0.015 0.000 0.000 0.000 0.000 0.000 0.000

Problem 207

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

91 77 56 50 63 68 68 94 63

N.S.

1 0.85 0.62 0.55 0.69 0.75 0.75 1.03 0.69

time (sec)

N/A 0.277 0.017 0.094 0.197 0.253 0.082 0.271 0.055

Problem 208

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

73 62 48 42 52 57 56 82 52

N.S.

1 0.85 0.66 0.58 0.71 0.78 0.77 1.12 0.71

time (sec)

N/A 0.256 0.013 0.095 0.195 0.258 0.073 0.294 3.448

Problem 209

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

54 46 39 34 41 45 41 68 41

N.S.

1 0.85 0.72 0.63 0.76 0.83 0.76 1.26 0.76

time (sec)

N/A 0.245 0.012 0.074 0.197 0.250 0.066 0.271 0.051

Problem 210

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

26 25 25 24 24 28 24 50 26

N.S.

1 0.96 0.96 0.92 0.92 1.08 0.92 1.92 1.00

time (sec)

N/A 0.217 0.011 0.063 0.185 0.280 0.058 0.257 0.045

Problem 211

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

13 13 13 14 13 13 10 27 13

N.S.

1 1.00 1.00 1.08 1.00 1.00 0.77 2.08 1.00

time (sec)

N/A 0.199 0.006 0.067 0.177 0.240 0.034 0.269 0.038

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 11 24 29 23 22 25 11

N.S.

1 1.00 1.00 2.18 2.64 2.09 2.00 2.27 1.00

time (sec)

N/A 0.190 0.010 0.073 0.214 0.257 0.078 0.255 0.068

Problem 213

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

33 31 31 40 48 46 39 43 31

N.S.

1 0.94 0.94 1.21 1.45 1.39 1.18 1.30 0.94

time (sec)

N/A 0.227 0.016 0.094 0.197 0.245 0.114 0.304 0.073

Problem 214

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

51 46 35 51 63 76 56 58 47

N.S.

1 0.90 0.69 1.00 1.24 1.49 1.10 1.14 0.92

time (sec)

N/A 0.249 0.018 0.082 0.189 0.261 0.168 0.266 3.518

Problem 215

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

69 61 44 57 84 113 76 89 64

N.S.

1 0.88 0.64 0.83 1.22 1.64 1.10 1.29 0.93

time (sec)

N/A 0.254 0.025 0.078 0.202 0.255 0.216 0.273 3.471

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

65 63 60 0 0 0 0 0 0

N.S.

1 0.97 0.92 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.228 0.028 0.000 0.000 0.000 0.000 0.000 0.000

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A C A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 147 45 120 233 118 0 103 166

N.S.

1 0.90 0.28 0.74 1.43 0.72 0.00 0.63 1.02

time (sec)

N/A 0.498 0.016 0.156 0.294 0.254 0.000 0.297 3.585

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A C A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 118 45 113 196 106 0 91 150

N.S.

1 0.90 0.34 0.86 1.50 0.81 0.00 0.69 1.15

time (sec)

N/A 0.395 0.015 0.138 0.287 0.272 0.000 0.290 3.908

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 80 43 99 109 81 0 73 96

N.S.

1 0.88 0.47 1.09 1.20 0.89 0.00 0.80 1.05

time (sec)

N/A 0.297 0.013 0.118 0.290 0.271 0.000 0.275 0.059

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 39 59 593 0 60 0 53 70

N.S.

1 0.95 1.44 14.46 0.00 1.46 0.00 1.29 1.71

time (sec)

N/A 0.223 0.037 0.115 0.000 0.272 0.000 0.286 0.058

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 27 28 0 35 0 69 46

N.S.

1 1.00 0.96 1.00 0.00 1.25 0.00 2.46 1.64

time (sec)

N/A 0.207 0.012 0.160 0.000 0.263 0.000 0.277 0.041

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 18 0 33 0 29 17

N.S.

1 1.00 1.00 0.95 0.00 1.74 0.00 1.53 0.89

time (sec)

N/A 0.199 0.010 0.113 0.000 0.257 0.000 0.275 0.073

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 53 45 49 0 89 0 0 48

N.S.

1 0.96 0.82 0.89 0.00 1.62 0.00 0.00 0.87

time (sec)

N/A 0.223 0.014 0.184 0.000 0.287 0.000 0.000 3.624

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 52 56 0 98 0 174 233

N.S.

1 1.00 0.60 0.64 0.00 1.13 0.00 2.00 2.68

time (sec)

N/A 0.251 0.018 0.200 0.000 0.263 0.000 0.305 3.602

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 121 61 65 0 144 0 0 347

N.S.

1 1.02 0.51 0.55 0.00 1.21 0.00 0.00 2.92

time (sec)

N/A 0.282 0.024 0.267 0.000 0.259 0.000 0.000 0.079

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 188 70 71 150 91 0 87 90

N.S.

1 1.07 0.40 0.40 0.85 0.52 0.00 0.49 0.51

time (sec)

N/A 0.361 0.036 0.084 0.202 0.248 0.000 0.296 3.877

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 149 62 63 128 80 0 0 79

N.S.

1 1.06 0.44 0.45 0.91 0.57 0.00 0.00 0.56

time (sec)

N/A 0.309 0.032 0.079 0.212 0.259 0.000 0.000 3.670

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 110 54 55 106 69 0 61 68

N.S.

1 1.04 0.51 0.52 1.00 0.65 0.00 0.58 0.64

time (sec)

N/A 0.270 0.028 0.076 0.221 0.264 0.000 0.290 3.841

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 44 47 82 52 0 0 49

N.S.

1 1.00 0.62 0.66 1.15 0.73 0.00 0.00 0.69

time (sec)

N/A 0.240 0.020 0.069 0.215 0.264 0.000 0.000 3.850

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 37 34 58 39 0 34 37

N.S.

1 1.00 1.06 0.97 1.66 1.11 0.00 0.97 1.06

time (sec)

N/A 0.214 0.011 0.075 0.225 0.263 0.000 0.303 3.628

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 88 62 84 0 215 0 88 0

N.S.

1 1.06 0.75 1.01 0.00 2.59 0.00 1.06 0.00

time (sec)

N/A 0.275 0.025 0.092 0.000 0.269 0.000 0.279 0.000

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 87 80 111 0 258 0 58 0

N.S.

1 1.06 0.98 1.35 0.00 3.15 0.00 0.71 0.00

time (sec)

N/A 0.269 0.041 0.086 0.000 0.275 0.000 0.290 0.000

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 132 57 156 0 308 0 76 0

N.S.

1 1.08 0.47 1.28 0.00 2.52 0.00 0.62 0.00

time (sec)

N/A 0.314 0.016 0.089 0.000 0.289 0.000 0.305 0.000

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 172 57 208 0 364 0 92 0

N.S.

1 1.10 0.36 1.32 0.00 2.32 0.00 0.59 0.00

time (sec)

N/A 0.342 0.015 0.096 0.000 0.281 0.000 0.318 0.000

Problem 235

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

40 45 34 21 32 60 56 205 32

N.S.

1 1.12 0.85 0.52 0.80 1.50 1.40 5.12 0.80

time (sec)

N/A 0.241 0.031 0.121 0.196 0.260 3.115 0.259 0.050

Problem 236

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

40 45 34 21 32 49 56 141 32

N.S.

1 1.12 0.85 0.52 0.80 1.22 1.40 3.52 0.80

time (sec)

N/A 0.242 0.029 0.104 0.201 0.263 2.904 0.271 3.693

Problem 237

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

40 45 30 21 32 32 56 71 32

N.S.

1 1.12 0.75 0.52 0.80 0.80 1.40 1.78 0.80

time (sec)

N/A 0.239 0.025 0.092 0.203 0.265 2.818 0.256 0.041

Problem 238

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

38 43 23 20 30 19 54 44 32

N.S.

1 1.13 0.61 0.53 0.79 0.50 1.42 1.16 0.84

time (sec)

N/A 0.243 0.022 0.087 0.204 0.245 2.566 0.253 0.039

Problem 239

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

36 41 21 20 30 29 54 32 20

N.S.

1 1.14 0.58 0.56 0.83 0.81 1.50 0.89 0.56

time (sec)

N/A 0.239 0.020 0.085 0.194 0.260 2.767 0.260 0.045

Problem 240

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

38 43 34 21 26 44 54 36 20

N.S.

1 1.13 0.89 0.55 0.68 1.16 1.42 0.95 0.53

time (sec)

N/A 0.247 0.042 0.086 0.203 0.269 3.336 0.273 3.626

Problem 241

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

40 45 34 21 24 56 56 34 20

N.S.

1 1.12 0.85 0.52 0.60 1.40 1.40 0.85 0.50

time (sec)

N/A 0.248 0.045 0.087 0.194 0.261 3.711 0.257 3.829

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 45 34 21 26 66 56 36 20

N.S.

1 1.12 0.85 0.52 0.65 1.65 1.40 0.90 0.50

time (sec)

N/A 0.239 0.049 0.089 0.204 0.281 3.918 0.266 3.751

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 151 62 63 254 91 0 73 90

N.S.

1 1.07 0.44 0.45 1.80 0.65 0.00 0.52 0.64

time (sec)

N/A 0.311 0.035 0.085 0.240 0.269 0.000 0.288 3.983

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 112 54 55 210 80 0 0 79

N.S.

1 1.06 0.51 0.52 1.98 0.75 0.00 0.00 0.75

time (sec)

N/A 0.286 0.028 0.095 0.238 0.264 0.000 0.000 3.757

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 73 46 47 164 68 0 47 68

N.S.

1 1.03 0.65 0.66 2.31 0.96 0.00 0.66 0.96

time (sec)

N/A 0.252 0.029 0.098 0.235 0.257 0.000 0.270 3.751

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 37 34 121 49 0 0 49

N.S.

1 1.00 1.06 0.97 3.46 1.40 0.00 0.00 1.40

time (sec)

N/A 0.225 0.019 0.086 0.240 0.255 0.000 0.000 3.750

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 131 67 95 0 220 0 0 0

N.S.

1 1.10 0.56 0.80 0.00 1.85 0.00 0.00 0.00

time (sec)

N/A 0.307 0.027 0.092 0.000 0.286 0.000 0.000 0.000

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 130 57 127 0 259 0 70 0

N.S.

1 1.13 0.50 1.10 0.00 2.25 0.00 0.61 0.00

time (sec)

N/A 0.303 0.018 0.097 0.000 0.282 0.000 0.304 0.000

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 132 91 158 0 312 0 73 0

N.S.

1 1.08 0.75 1.30 0.00 2.56 0.00 0.60 0.00

time (sec)

N/A 0.307 0.063 0.085 0.000 0.271 0.000 0.321 0.000

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 177 57 208 0 364 0 92 0

N.S.

1 1.13 0.36 1.32 0.00 2.32 0.00 0.59 0.00

time (sec)

N/A 0.341 0.020 0.100 0.000 0.278 0.000 0.318 0.000

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 217 57 258 0 420 0 105 0

N.S.

1 1.13 0.30 1.34 0.00 2.19 0.00 0.55 0.00

time (sec)

N/A 0.372 0.020 0.089 0.000 0.276 0.000 0.344 0.000

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

206 229 73 72 82 91 0 0 96

N.S.

1 1.11 0.35 0.35 0.40 0.44 0.00 0.00 0.47

time (sec)

N/A 0.400 0.040 0.079 0.221 0.262 0.000 0.000 4.031

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 190 65 64 71 80 0 0 88

N.S.

1 1.11 0.38 0.37 0.42 0.47 0.00 0.00 0.51

time (sec)

N/A 0.348 0.031 0.082 0.204 0.260 0.000 0.000 3.937

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 151 57 56 60 69 0 0 80

N.S.

1 1.11 0.42 0.41 0.44 0.51 0.00 0.00 0.59

time (sec)

N/A 0.303 0.029 0.085 0.201 0.261 0.000 0.000 3.777

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 112 49 48 49 52 0 0 76

N.S.

1 1.11 0.49 0.48 0.49 0.51 0.00 0.00 0.75

time (sec)

N/A 0.273 0.024 0.085 0.224 0.266 0.000 0.000 3.467

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 73 38 39 37 39 0 50 56

N.S.

1 1.11 0.58 0.59 0.56 0.59 0.00 0.76 0.85

time (sec)

N/A 0.235 0.016 0.092 0.202 0.256 0.000 0.280 3.363

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 27 15 36 0 0 26

N.S.

1 1.00 1.00 0.90 0.50 1.20 0.00 0.00 0.87

time (sec)

N/A 0.207 0.015 0.092 0.213 0.252 0.000 0.000 3.955

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 44 68 0 133 0 62 0

N.S.

1 1.00 0.86 1.33 0.00 2.61 0.00 1.22 0.00

time (sec)

N/A 0.235 0.019 0.089 0.000 0.263 0.000 0.271 0.000

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 91 70 111 0 258 0 0 0

N.S.

1 1.01 0.78 1.23 0.00 2.87 0.00 0.00 0.00

time (sec)

N/A 0.269 0.045 0.089 0.000 0.281 0.000 0.000 0.000

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 131 52 158 0 312 0 80 0

N.S.

1 1.05 0.42 1.26 0.00 2.50 0.00 0.64 0.00

time (sec)

N/A 0.299 0.018 0.094 0.000 0.271 0.000 0.287 0.000

Problem 261

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

137 147 88 78 123 203 146 161 112

N.S.

1 1.07 0.64 0.57 0.90 1.48 1.07 1.18 0.82

time (sec)

N/A 0.300 0.057 0.131 0.283 0.265 6.159 0.277 0.093

Problem 262

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

116 125 80 70 109 183 129 134 95

N.S.

1 1.08 0.69 0.60 0.94 1.58 1.11 1.16 0.82

time (sec)

N/A 0.285 0.045 0.142 0.274 0.266 5.652 0.277 0.068

Problem 263

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

95 103 71 60 95 145 112 107 78

N.S.

1 1.08 0.75 0.63 1.00 1.53 1.18 1.13 0.82

time (sec)

N/A 0.261 0.032 0.095 0.283 0.264 5.460 0.268 0.092

Problem 264

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

76 81 61 57 79 120 95 77 61

N.S.

1 1.07 0.80 0.75 1.04 1.58 1.25 1.01 0.80

time (sec)

N/A 0.247 0.033 0.083 0.294 0.270 5.307 0.266 3.338

Problem 265

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

58 59 58 45 67 118 78 51 47

N.S.

1 1.02 1.00 0.78 1.16 2.03 1.34 0.88 0.81

time (sec)

N/A 0.233 0.018 0.080 0.278 0.260 5.236 0.267 0.080

Problem 266

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

38 38 38 30 52 89 60 35 29

N.S.

1 1.00 1.00 0.79 1.37 2.34 1.58 0.92 0.76

time (sec)

N/A 0.220 0.014 0.076 0.283 0.266 4.830 0.275 3.732

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 61 36 50 71 146 80 53 46

N.S.

1 1.07 0.63 0.88 1.25 2.56 1.40 0.93 0.81

time (sec)

N/A 0.241 0.018 0.096 0.285 0.275 5.357 0.271 0.094

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 90 39 64 81 196 100 73 64

N.S.

1 1.08 0.47 0.77 0.98 2.36 1.20 0.88 0.77

time (sec)

N/A 0.257 0.019 0.097 0.263 0.269 5.761 0.281 3.530

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 119 39 78 101 252 117 93 78

N.S.

1 1.14 0.38 0.75 0.97 2.42 1.12 0.89 0.75

time (sec)

N/A 0.270 0.022 0.100 0.279 0.270 6.476 0.276 3.466

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 186 70 71 73 82 0 0 116

N.S.

1 1.09 0.41 0.42 0.43 0.48 0.00 0.00 0.68

time (sec)

N/A 0.338 0.032 0.100 0.215 0.264 0.000 0.000 3.690

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 147 61 62 61 62 0 0 99

N.S.

1 1.08 0.45 0.46 0.45 0.46 0.00 0.00 0.73

time (sec)

N/A 0.313 0.027 0.085 0.207 0.268 0.000 0.000 3.613

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 108 51 54 50 49 0 0 40

N.S.

1 1.05 0.50 0.52 0.49 0.48 0.00 0.00 0.39

time (sec)

N/A 0.272 0.022 0.091 0.215 0.259 0.000 0.000 3.925

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 69 40 46 30 43 0 50 64

N.S.

1 1.03 0.60 0.69 0.45 0.64 0.00 0.75 0.96

time (sec)

N/A 0.245 0.022 0.085 0.219 0.306 0.000 0.270 3.599

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 35 34 28 42 0 30 43

N.S.

1 1.00 1.06 1.03 0.85 1.27 0.00 0.91 1.30

time (sec)

N/A 0.222 0.019 0.089 0.198 0.254 0.000 0.270 3.617

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 86 55 82 0 234 0 0 0

N.S.

1 1.01 0.65 0.96 0.00 2.75 0.00 0.00 0.00

time (sec)

N/A 0.269 0.018 0.097 0.000 0.260 0.000 0.000 0.000

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 126 57 124 0 310 0 82 0

N.S.

1 1.01 0.46 0.99 0.00 2.48 0.00 0.66 0.00

time (sec)

N/A 0.308 0.021 0.085 0.000 0.258 0.000 0.295 0.000

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 166 57 173 0 328 0 0 0

N.S.

1 1.04 0.36 1.08 0.00 2.05 0.00 0.00 0.00

time (sec)

N/A 0.338 0.020 0.092 0.000 0.292 0.000 0.000 0.000

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

81 86 80 0 0 0 0 0 0

N.S.

1 1.06 0.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.258 0.041 0.000 0.000 0.000 0.000 0.000 0.000

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

81 86 80 0 0 0 0 0 0

N.S.

1 1.06 0.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.259 0.038 0.000 0.000 0.000 0.000 0.000 0.000

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

81 86 78 0 0 0 0 0 0

N.S.

1 1.06 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.266 0.029 0.000 0.000 0.000 0.000 0.000 0.000

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

81 86 77 0 0 0 0 0 0

N.S.

1 1.06 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.256 0.025 0.000 0.000 0.000 0.000 0.000 0.000

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

81 86 78 0 0 0 0 0 0

N.S.

1 1.06 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.265 0.022 0.000 0.000 0.000 0.000 0.000 0.000

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

78 83 78 0 0 0 0 0 0

N.S.

1 1.06 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.269 0.020 0.000 0.000 0.000 0.000 0.000 0.000

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

78 83 80 0 0 0 0 0 0

N.S.

1 1.06 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.267 0.026 0.000 0.000 0.000 0.000 0.000 0.000

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

78 83 80 0 0 0 0 0 0

N.S.

1 1.06 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.262 0.037 0.000 0.000 0.000 0.000 0.000 0.000

Problem 286

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

83 94 50 64 69 69 100 57 82

N.S.

1 1.13 0.60 0.77 0.83 0.83 1.20 0.69 0.99

time (sec)

N/A 0.269 0.045 0.119 0.295 0.266 0.765 0.277 3.437

Problem 287

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

45 48 32 28 58 39 66 47 36

N.S.

1 1.07 0.71 0.62 1.29 0.87 1.47 1.04 0.80

time (sec)

N/A 0.262 0.020 0.075 0.270 0.263 0.264 0.268 0.040

Problem 288

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

58 62 40 66 48 60 90 45 61

N.S.

1 1.07 0.69 1.14 0.83 1.03 1.55 0.78 1.05

time (sec)

N/A 0.255 0.031 0.096 0.293 0.276 0.684 0.280 3.444

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 19 37 29 42 18 18

N.S.

1 1.00 1.00 0.86 1.68 1.32 1.91 0.82 0.82

time (sec)

N/A 0.201 0.011 0.080 0.322 0.259 0.220 0.278 0.036

Problem 290

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

33 33 30 45 27 47 80 30 37

N.S.

1 1.00 0.91 1.36 0.82 1.42 2.42 0.91 1.12

time (sec)

N/A 0.198 0.004 0.079 0.285 0.255 0.720 0.285 0.003

Problem 291

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 39 57 32 44 36 73 53 31

N.S.

1 1.11 1.63 0.91 1.26 1.03 2.09 1.51 0.89

time (sec)

N/A 0.236 0.056 0.092 0.282 0.276 3.950 0.271 3.462

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 28 28 27 47 87 74 38

N.S.

1 1.00 0.97 0.97 0.93 1.62 3.00 2.55 1.31

time (sec)

N/A 0.231 0.022 0.090 0.283 0.274 1.076 0.281 0.052

Problem 293

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

46 44 67 40 51 47 87 70 38

N.S.

1 0.96 1.46 0.87 1.11 1.02 1.89 1.52 0.83

time (sec)

N/A 0.239 0.018 0.109 0.258 0.260 3.640 0.284 3.739

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 19 40 29 133 124 18

N.S.

1 1.00 1.00 0.86 1.82 1.32 6.05 5.64 0.82

time (sec)

N/A 0.207 0.012 0.095 0.270 0.249 1.411 0.284 3.380

Problem 295

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

124 153 89 102 141 104 163 92 154

N.S.

1 1.23 0.72 0.82 1.14 0.84 1.31 0.74 1.24

time (sec)

N/A 0.364 0.167 0.148 0.289 0.270 0.740 0.288 0.043

Problem 296

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

113 121 75 94 118 92 151 81 131

N.S.

1 1.07 0.66 0.83 1.04 0.81 1.34 0.72 1.16

time (sec)

N/A 0.331 0.065 0.125 0.257 0.258 0.784 0.280 0.039

Problem 297

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

70 86 67 86 95 82 136 69 108

N.S.

1 1.23 0.96 1.23 1.36 1.17 1.94 0.99 1.54

time (sec)

N/A 0.268 0.073 0.115 0.276 0.277 0.728 0.276 0.039

Problem 298

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

61 56 59 75 72 70 129 54 82

N.S.

1 0.92 0.97 1.23 1.18 1.15 2.11 0.89 1.34

time (sec)

N/A 0.227 0.047 0.106 0.287 0.252 0.763 0.294 0.002

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 57 125 114 76 76 182 84 77

N.S.

1 0.97 2.12 1.93 1.29 1.29 3.08 1.42 1.31

time (sec)

N/A 0.295 0.059 0.108 0.261 0.282 4.332 0.275 0.048

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 53 84 83 80 91 151 140 87

N.S.

1 0.91 1.45 1.43 1.38 1.57 2.60 2.41 1.50

time (sec)

N/A 0.292 0.141 0.121 0.299 0.268 1.793 0.285 0.046