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

2.2.2 Integrals 101 to 175

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 209 163 316 348 2778 0 374 513

N.S.

1 1.40 1.09 2.12 2.34 18.64 0.00 2.51 3.44

time (sec)

N/A 0.548 0.299 23.740 0.279 0.311 0.000 0.293 6.022

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 101 75 97 144 304 0 120 274

N.S.

1 0.93 0.69 0.89 1.32 2.79 0.00 1.10 2.51

time (sec)

N/A 0.275 0.139 3.434 0.190 0.256 0.000 0.276 4.669

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 61 126 68 96 124 0 58 237

N.S.

1 1.17 2.42 1.31 1.85 2.38 0.00 1.12 4.56

time (sec)

N/A 0.443 0.123 2.424 0.181 0.252 0.000 0.306 2.894

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 73 61 71 96 186 0 94 140

N.S.

1 0.95 0.79 0.92 1.25 2.42 0.00 1.22 1.82

time (sec)

N/A 0.257 0.084 1.672 0.200 0.285 0.000 0.277 0.622

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 41 71 35 42 50 0 34 85

N.S.

1 1.14 1.97 0.97 1.17 1.39 0.00 0.94 2.36

time (sec)

N/A 0.350 0.103 1.218 0.204 0.260 0.000 0.282 2.370

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 39 35 45 71 0 53 50

N.S.

1 1.00 0.87 0.78 1.00 1.58 0.00 1.18 1.11

time (sec)

N/A 0.234 0.030 0.804 0.192 0.278 0.000 0.281 0.244

Problem 107

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

13 13 13 15 15 11 0 11 14

N.S.

1 1.00 1.00 1.15 1.15 0.85 0.00 0.85 1.08

time (sec)

N/A 0.188 0.007 1.027 0.178 0.279 0.000 0.285 2.222

Problem 108

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

11 15 22 18 20 16 0 17 21

N.S.

1 1.36 2.00 1.64 1.82 1.45 0.00 1.55 1.91

time (sec)

N/A 0.214 0.071 1.625 0.195 0.274 0.000 0.267 0.164

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 20 12 12 36 40 0 39 27

N.S.

1 1.67 1.00 1.00 3.00 3.33 0.00 3.25 2.25

time (sec)

N/A 0.222 0.013 2.366 0.191 0.269 0.000 0.280 2.219

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 34 76 46 55 86 0 43 56

N.S.

1 1.26 2.81 1.70 2.04 3.19 0.00 1.59 2.07

time (sec)

N/A 0.285 0.050 3.824 0.184 0.275 0.000 0.274 0.263

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 36 30 54 75 100 0 65 81

N.S.

1 1.20 1.00 1.80 2.50 3.33 0.00 2.17 2.70

time (sec)

N/A 0.227 0.012 6.257 0.189 0.264 0.000 0.273 2.383

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 55 140 76 96 157 0 71 106

N.S.

1 1.28 3.26 1.77 2.23 3.65 0.00 1.65 2.47

time (sec)

N/A 0.376 0.069 10.997 0.193 0.274 0.000 0.291 2.606

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 257 253 364 383 4025 0 432 611

N.S.

1 1.32 1.30 1.88 1.97 20.75 0.00 2.23 3.15

time (sec)

N/A 0.490 0.340 0.812 0.286 0.368 0.000 0.301 7.331

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B F A B

verified

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

size

183 0 141 207 261 1746 0 215 707

N.S.

1 0.00 0.77 1.13 1.43 9.54 0.00 1.17 3.86

time (sec)

N/A 0.000 0.618 0.468 0.282 0.295 0.000 0.297 3.700

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 151 191 182 172 965 0 234 335

N.S.

1 1.34 1.69 1.61 1.52 8.54 0.00 2.07 2.96

time (sec)

N/A 0.374 0.133 0.447 0.286 0.296 0.000 0.271 4.346

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 112 82 95 108 349 0 102 376

N.S.

1 1.12 0.82 0.95 1.08 3.49 0.00 1.02 3.76

time (sec)

N/A 0.683 0.382 0.277 0.273 0.263 0.000 0.286 3.099

Problem 117

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

61 84 63 97 74 75 0 89 132

N.S.

1 1.38 1.03 1.59 1.21 1.23 0.00 1.46 2.16

time (sec)

N/A 0.303 0.040 0.298 0.278 0.304 0.000 0.278 3.156

Problem 118

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

19 22 11 21 28 27 0 22 25

N.S.

1 1.16 0.58 1.11 1.47 1.42 0.00 1.16 1.32

time (sec)

N/A 0.209 0.007 0.316 0.185 0.265 0.000 0.269 0.088

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 68 75 84 90 141 0 89 316

N.S.

1 1.19 1.32 1.47 1.58 2.47 0.00 1.56 5.54

time (sec)

N/A 0.634 0.101 0.462 0.272 0.273 0.000 0.301 0.299

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 41 37 75 82 199 0 80 261

N.S.

1 1.28 1.16 2.34 2.56 6.22 0.00 2.50 8.16

time (sec)

N/A 0.265 0.034 0.670 0.188 0.277 0.000 0.278 2.443

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 118 172 150 178 831 0 161 378

N.S.

1 1.34 1.95 1.70 2.02 9.44 0.00 1.83 4.30

time (sec)

N/A 0.742 0.549 1.128 0.279 0.339 0.000 0.289 3.191

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 75 83 174 190 1288 0 170 155

N.S.

1 1.07 1.19 2.49 2.71 18.40 0.00 2.43 2.21

time (sec)

N/A 0.287 0.085 1.597 0.193 0.283 0.000 0.275 2.613

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 211 298 260 330 3160 0 305 543

N.S.

1 1.15 1.63 1.42 1.80 17.27 0.00 1.67 2.97

time (sec)

N/A 0.600 1.352 2.576 0.280 0.415 0.000 0.292 3.374

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 124 130 314 364 4024 0 295 317

N.S.

1 1.04 1.09 2.64 3.06 33.82 0.00 2.48 2.66

time (sec)

N/A 0.345 0.171 3.737 0.207 0.313 0.000 0.280 2.784

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B B F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

199 113 84 87 386 592 0 90 413

N.S.

1 0.57 0.42 0.44 1.94 2.97 0.00 0.45 2.08

time (sec)

N/A 0.462 0.062 1.368 0.283 0.260 0.000 0.288 2.283

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

147 93 72 65 209 315 0 77 91

N.S.

1 0.63 0.49 0.44 1.42 2.14 0.00 0.52 0.62

time (sec)

N/A 0.367 0.048 1.275 0.283 0.250 0.000 0.278 2.179

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

58 58 56 40 84 121 0 64 78

N.S.

1 1.00 0.97 0.69 1.45 2.09 0.00 1.10 1.34

time (sec)

N/A 0.310 0.034 0.358 0.283 0.253 0.000 0.292 2.156

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

46 46 44 29 39 42 0 48 0

N.S.

1 1.00 0.96 0.63 0.85 0.91 0.00 1.04 0.00

time (sec)

N/A 0.291 0.031 0.316 0.282 0.245 0.000 0.291 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

74 61 48 60 36 66 0 71 0

N.S.

1 0.82 0.65 0.81 0.49 0.89 0.00 0.96 0.00

time (sec)

N/A 0.329 0.036 0.416 0.279 0.250 0.000 0.282 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

162 74 76 75 62 126 0 204 0

N.S.

1 0.46 0.47 0.46 0.38 0.78 0.00 1.26 0.00

time (sec)

N/A 0.364 0.049 0.719 0.278 0.255 0.000 0.303 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes No TBD TBD TBD TBD TBD

size

250 102 109 88 90 218 0 278 0

N.S.

1 0.41 0.44 0.35 0.36 0.87 0.00 1.11 0.00

time (sec)

N/A 0.447 0.102 0.726 0.277 0.258 0.000 0.293 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

81 101 80 125 0 72 0 0 0

N.S.

1 1.25 0.99 1.54 0.00 0.89 0.00 0.00 0.00

time (sec)

N/A 0.316 0.133 0.822 0.000 0.089 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 28 44 39 46 48 0 0 42

N.S.

1 0.93 1.47 1.30 1.53 1.60 0.00 0.00 1.40

time (sec)

N/A 0.255 0.035 0.157 0.320 0.244 0.000 0.000 2.830

Problem 134

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

size

119 107 60 127 0 97 0 0 0

N.S.

1 0.90 0.50 1.07 0.00 0.82 0.00 0.00 0.00

time (sec)

N/A 0.364 0.086 0.653 0.000 0.090 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

69 73 74 97 0 92 0 0 0

N.S.

1 1.06 1.07 1.41 0.00 1.33 0.00 0.00 0.00

time (sec)

N/A 0.293 0.098 0.205 0.000 0.266 0.000 0.000 0.000

Problem 136

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

size

60 72 57 109 0 63 0 0 0

N.S.

1 1.20 0.95 1.82 0.00 1.05 0.00 0.00 0.00

time (sec)

N/A 0.274 0.120 0.560 0.000 0.084 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

60 68 75 0 0 86 0 0 0

N.S.

1 1.13 1.25 0.00 0.00 1.43 0.00 0.00 0.00

time (sec)

N/A 0.264 0.080 0.000 0.000 0.260 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 43 90 0 11 0 0 0

N.S.

1 1.00 0.93 1.96 0.00 0.24 0.00 0.00 0.00

time (sec)

N/A 0.277 0.082 0.420 0.000 0.085 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

41 41 54 0 0 43 0 0 0

N.S.

1 1.00 1.32 0.00 0.00 1.05 0.00 0.00 0.00

time (sec)

N/A 0.269 0.084 0.000 0.000 0.263 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 54 58 126 0 72 0 0 0

N.S.

1 0.73 0.78 1.70 0.00 0.97 0.00 0.00 0.00

time (sec)

N/A 0.307 0.072 0.679 0.000 0.088 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 29 33 38 89 37 0 0 58

N.S.

1 1.16 1.32 1.52 3.56 1.48 0.00 0.00 2.32

time (sec)

N/A 0.253 0.029 0.150 0.286 0.260 0.000 0.000 2.118

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

64 70 60 112 0 56 0 0 0

N.S.

1 1.09 0.94 1.75 0.00 0.88 0.00 0.00 0.00

time (sec)

N/A 0.287 0.070 0.569 0.000 0.087 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

128 133 95 121 0 110 0 0 0

N.S.

1 1.04 0.74 0.95 0.00 0.86 0.00 0.00 0.00

time (sec)

N/A 0.315 0.149 0.201 0.000 0.263 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

118 130 80 133 0 80 0 0 0

N.S.

1 1.10 0.68 1.13 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.333 0.123 0.571 0.000 0.084 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 28 44 47 46 56 0 0 42

N.S.

1 0.93 1.47 1.57 1.53 1.87 0.00 0.00 1.40

time (sec)

N/A 0.256 0.036 0.148 0.321 0.257 0.000 0.000 2.296

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

162 136 63 140 0 106 0 0 0

N.S.

1 0.84 0.39 0.86 0.00 0.65 0.00 0.00 0.00

time (sec)

N/A 0.386 0.094 0.660 0.000 0.092 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

96 102 87 113 0 102 0 0 0

N.S.

1 1.06 0.91 1.18 0.00 1.06 0.00 0.00 0.00

time (sec)

N/A 0.292 0.129 0.200 0.000 0.263 0.000 0.000 0.000

Problem 148

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

size

86 101 65 124 0 71 0 0 0

N.S.

1 1.17 0.76 1.44 0.00 0.83 0.00 0.00 0.00

time (sec)

N/A 0.310 0.089 0.550 0.000 0.082 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

91 89 88 0 0 94 0 0 0

N.S.

1 0.98 0.97 0.00 0.00 1.03 0.00 0.00 0.00

time (sec)

N/A 0.303 0.117 0.000 0.000 0.261 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

130 110 60 152 0 0 0 0 0

N.S.

1 0.85 0.46 1.17 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.354 0.115 0.646 0.000 0.000 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

96 96 63 130 0 106 0 0 0

N.S.

1 1.00 0.66 1.35 0.00 1.10 0.00 0.00 0.00

time (sec)

N/A 0.275 0.084 0.192 0.000 0.264 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 54 163 0 60 0 0 0

N.S.

1 1.00 0.81 2.43 0.00 0.90 0.00 0.00 0.00

time (sec)

N/A 0.354 0.098 0.450 0.000 0.080 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 31 33 0 87 29 0 0 29

N.S.

1 1.15 1.22 0.00 3.22 1.07 0.00 0.00 1.07

time (sec)

N/A 0.247 0.026 0.000 0.287 0.255 0.000 0.000 2.174

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

69 72 66 0 0 43 0 0 0

N.S.

1 1.04 0.96 0.00 0.00 0.62 0.00 0.00 0.00

time (sec)

N/A 0.283 0.089 0.000 0.000 0.080 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

69 67 53 0 0 78 0 0 0

N.S.

1 0.97 0.77 0.00 0.00 1.13 0.00 0.00 0.00

time (sec)

N/A 0.292 0.079 0.000 0.000 0.249 0.000 0.000 0.000

Problem 156

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

62 62 62 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.318 0.779 0.000 0.000 0.000 0.000 0.000 0.000

Problem 157

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

68 68 126 0 0 0 0 0 0

N.S.

1 1.00 1.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.319 2.863 0.000 0.000 0.000 0.000 0.000 0.000

Problem 158

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

69 69 101 0 0 0 0 0 0

N.S.

1 1.00 1.46 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.326 4.009 0.000 0.000 0.000 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

68 68 200 0 0 0 0 0 0

N.S.

1 1.00 2.94 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.323 5.653 0.000 0.000 0.000 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 137 30 82 95 187 0 215 65

N.S.

1 3.26 0.71 1.95 2.26 4.45 0.00 5.12 1.55

time (sec)

N/A 0.341 0.295 21.335 0.389 0.250 0.000 0.488 2.199

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F B A F A B

verified

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

size

26 27 62 0 76 48 0 38 48

N.S.

1 1.04 2.38 0.00 2.92 1.85 0.00 1.46 1.85

time (sec)

N/A 0.248 0.144 0.000 0.190 0.256 0.000 0.286 2.376

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F A A F A B

verified

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

size

26 26 65 0 49 49 0 39 36

N.S.

1 1.00 2.50 0.00 1.88 1.88 0.00 1.50 1.38

time (sec)

N/A 0.258 0.070 0.000 0.193 0.248 0.000 0.296 2.313

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

90 97 115 0 0 475 0 0 0

N.S.

1 1.08 1.28 0.00 0.00 5.28 0.00 0.00 0.00

time (sec)

N/A 0.356 1.537 0.000 0.000 0.267 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

66 107 140 0 0 539 0 0 0

N.S.

1 1.62 2.12 0.00 0.00 8.17 0.00 0.00 0.00

time (sec)

N/A 0.364 0.869 0.000 0.000 0.271 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 54 23 22 65 42 145 43

N.S.

1 1.00 2.70 1.15 1.10 3.25 2.10 7.25 2.15

time (sec)

N/A 0.221 0.044 0.261 0.180 0.256 0.437 0.313 2.411

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 20 29 71 0 28 25

N.S.

1 1.00 1.00 1.05 1.53 3.74 0.00 1.47 1.32

time (sec)

N/A 0.228 0.062 1.096 0.197 0.250 0.000 0.275 2.180

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 60 107 45 150 643 0 210 140

N.S.

1 1.09 1.95 0.82 2.73 11.69 0.00 3.82 2.55

time (sec)

N/A 0.301 0.045 2.374 0.203 0.280 0.000 0.340 2.160

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 45 56 36 92 272 0 47 55

N.S.

1 1.07 1.33 0.86 2.19 6.48 0.00 1.12 1.31

time (sec)

N/A 0.247 0.039 6.915 0.203 0.258 0.000 0.297 2.290

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 98 161 64 232 1806 0 248 318

N.S.

1 1.10 1.81 0.72 2.61 20.29 0.00 2.79 3.57

time (sec)

N/A 0.402 0.047 21.529 0.209 0.268 0.000 0.350 2.231

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 109 84 144 0 318 0 0 0

N.S.

1 0.98 0.76 1.30 0.00 2.86 0.00 0.00 0.00

time (sec)

N/A 0.407 0.139 1.589 0.000 0.090 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 105 80 212 0 159 0 0 0

N.S.

1 0.98 0.75 1.98 0.00 1.49 0.00 0.00 0.00

time (sec)

N/A 0.418 0.077 0.895 0.000 0.085 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 66 120 0 39 0 0 0

N.S.

1 1.00 0.92 1.67 0.00 0.54 0.00 0.00 0.00

time (sec)

N/A 0.298 0.059 0.819 0.000 0.076 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 68 146 0 248 0 0 0

N.S.

1 1.00 0.94 2.03 0.00 3.44 0.00 0.00 0.00

time (sec)

N/A 0.308 0.048 0.958 0.000 0.089 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 109 86 143 0 370 0 0 0

N.S.

1 0.98 0.77 1.29 0.00 3.33 0.00 0.00 0.00

time (sec)

N/A 0.394 0.087 0.940 0.000 0.093 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 109 95 227 0 602 0 0 0

N.S.

1 0.98 0.86 2.05 0.00 5.42 0.00 0.00 0.00

time (sec)

N/A 0.408 0.129 0.930 0.000 0.093 0.000 0.000 0.000

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