[tail] [up]

Integrals 1 to 77

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

verified

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

size

117 140 154 402 286 531 0 0 171 0

N.S.

1 1.20 1.32 3.44 2.44 4.54 0.00 0.00 1.46 0.00

time (sec)

N/A 0.732 0.405 0.830 0.193 0.097 0.000 0.000 0.245 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

84 105 143 242 176 329 0 0 119 0

N.S.

1 1.25 1.70 2.88 2.10 3.92 0.00 0.00 1.42 0.00

time (sec)

N/A 0.555 0.250 0.747 0.164 0.103 0.000 0.000 0.221 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

57 71 59 109 78 171 0 0 67 0

N.S.

1 1.25 1.04 1.91 1.37 3.00 0.00 0.00 1.18 0.00

time (sec)

N/A 0.379 0.128 0.626 0.171 0.107 0.000 0.000 0.240 0.000

Problem 4

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

14 14 16 14 42 16 12 16 48 16

N.S.

1 1.00 1.14 1.00 3.00 1.14 0.86 1.14 3.43 1.14

time (sec)

N/A 0.229 8.703 0.143 0.278 0.079 0.410 0.116 0.266 2.171

Problem 5

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

14 14 16 14 71 27 14 16 155 16

N.S.

1 1.00 1.14 1.00 5.07 1.93 1.00 1.14 11.07 1.14

time (sec)

N/A 0.225 20.433 0.138 0.219 0.079 0.594 0.179 0.255 2.177

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

119 142 179 336 343 1505 0 0 669 0

N.S.

1 1.19 1.50 2.82 2.88 12.65 0.00 0.00 5.62 0.00

time (sec)

N/A 0.734 0.533 0.446 0.239 0.109 0.000 0.000 0.240 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

88 108 115 185 0 840 0 0 350 0

N.S.

1 1.23 1.31 2.10 0.00 9.55 0.00 0.00 3.98 0.00

time (sec)

N/A 0.523 0.426 0.400 0.000 0.103 0.000 0.000 0.317 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

43 43 77 63 127 232 66 127 141 56

N.S.

1 1.00 1.79 1.47 2.95 5.40 1.53 2.95 3.28 1.30

time (sec)

N/A 0.306 0.184 0.267 0.089 0.110 0.153 0.138 0.243 0.107

Problem 9

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

16 16 18 16 110 18 14 18 87 18

N.S.

1 1.00 1.12 1.00 6.88 1.12 0.88 1.12 5.44 1.12

time (sec)

N/A 0.220 21.496 0.138 0.156 0.076 0.398 0.155 0.247 2.130

Problem 10

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

16 16 18 16 195 29 15 18 275 18

N.S.

1 1.00 1.12 1.00 12.19 1.81 0.94 1.12 17.19 1.12

time (sec)

N/A 0.230 23.348 0.133 0.199 0.084 0.594 0.233 0.285 2.110

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

237 281 496 685 595 5569 0 0 0 0

N.S.

1 1.19 2.09 2.89 2.51 23.50 0.00 0.00 0.00 0.00

time (sec)

N/A 1.594 6.812 0.618 0.212 0.160 0.000 0.000 0.296 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

151 180 226 375 392 3071 0 0 1076 0

N.S.

1 1.19 1.50 2.48 2.60 20.34 0.00 0.00 7.13 0.00

time (sec)

N/A 1.012 2.787 0.557 0.227 0.162 0.000 0.000 0.277 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

100 117 89 166 0 1462 0 0 472 0

N.S.

1 1.17 0.89 1.66 0.00 14.62 0.00 0.00 4.72 0.00

time (sec)

N/A 0.560 0.894 0.342 0.000 0.118 0.000 0.000 0.297 0.000

Problem 14

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

16 16 18 16 303 18 14 18 205 18

N.S.

1 1.00 1.12 1.00 18.94 1.12 0.88 1.12 12.81 1.12

time (sec)

N/A 0.221 24.873 0.146 0.258 0.093 0.412 0.198 0.283 2.132

Problem 15

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

16 16 18 16 501 29 15 18 705 18

N.S.

1 1.00 1.12 1.00 31.31 1.81 0.94 1.12 44.06 1.12

time (sec)

N/A 0.224 20.723 0.141 0.365 0.091 0.605 0.365 0.270 2.174

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

1392 1298 0 0 0 0 0 0 48 0

N.S.

1 0.93 0.00 0.00 0.00 0.00 0.00 0.00 0.03 0.00

time (sec)

N/A 2.615 0.000 0.000 0.000 0.000 0.000 0.000 0.256 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

1363 1269 0 0 0 0 0 0 59 0

N.S.

1 0.93 0.00 0.00 0.00 0.00 0.00 0.00 0.04 0.00

time (sec)

N/A 2.269 0.000 0.000 0.000 0.000 0.000 0.000 0.265 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

1280 1187 556 0 0 0 0 0 28 0

N.S.

1 0.93 0.43 0.00 0.00 0.00 0.00 0.00 0.02 0.00

time (sec)

N/A 1.934 4.278 0.000 0.000 0.000 0.000 0.000 0.260 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

1280 1187 556 0 0 0 0 0 48 0

N.S.

1 0.93 0.43 0.00 0.00 0.00 0.00 0.00 0.04 0.00

time (sec)

N/A 1.746 3.121 0.000 0.000 0.000 0.000 0.000 0.287 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

1365 1268 0 0 0 0 0 0 48 0

N.S.

1 0.93 0.00 0.00 0.00 0.00 0.00 0.00 0.04 0.00

time (sec)

N/A 2.116 0.000 0.000 0.000 0.000 0.000 0.000 0.266 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 20 22 18 20 0 19 20 89 20

N.S.

1 1.00 1.10 0.90 1.00 0.00 0.95 1.00 4.45 1.00

time (sec)

N/A 2.617 27.466 0.156 0.478 0.000 3.023 0.297 0.279 2.535

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 20 0 18 20 0 19 0 49 20

N.S.

1 1.00 0.00 0.90 1.00 0.00 0.95 0.00 2.45 1.00

time (sec)

N/A 0.263 0.000 0.195 0.477 0.000 1.286 0.000 0.231 2.596

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 20 0 18 20 0 19 0 77 20

N.S.

1 1.00 0.00 0.90 1.00 0.00 0.95 0.00 3.85 1.00

time (sec)

N/A 0.248 0.000 0.184 0.523 0.000 1.260 0.000 0.299 2.494

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 20 22 18 20 0 19 20 77 20

N.S.

1 1.00 1.10 0.90 1.00 0.00 0.95 1.00 3.85 1.00

time (sec)

N/A 2.371 28.350 0.159 0.457 0.000 1.430 0.330 0.250 2.539

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 20 22 18 20 0 17 20 27 20

N.S.

1 1.00 1.10 0.90 1.00 0.00 0.85 1.00 1.35 1.00

time (sec)

N/A 0.266 22.891 0.173 0.194 0.000 1.007 0.186 0.248 2.483

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 20 22 18 20 0 17 20 20 20

N.S.

1 1.00 1.10 0.90 1.00 0.00 0.85 1.00 1.00 1.00

time (sec)

N/A 0.262 1.838 0.204 0.194 0.000 0.627 0.135 0.315 2.200

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 20 22 18 20 0 19 20 36 20

N.S.

1 1.00 1.10 0.90 1.00 0.00 0.95 1.00 1.80 1.00

time (sec)

N/A 0.248 1.931 0.198 0.336 0.000 0.948 0.142 0.250 2.312

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

20 20 22 18 20 0 19 20 40 20

N.S.

1 1.00 1.10 0.90 1.00 0.00 0.95 1.00 2.00 1.00

time (sec)

N/A 0.258 20.062 0.170 0.327 0.000 1.102 0.232 0.225 2.580

Problem 29

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

12 12 14 12 171 14 12 14 1614 14

N.S.

1 1.00 1.17 1.00 14.25 1.17 1.00 1.17 134.50 1.17

time (sec)

N/A 0.229 0.655 0.105 0.714 0.076 0.627 0.170 0.237 2.188

Problem 30

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

12 12 14 12 144 14 12 14 99 14

N.S.

1 1.00 1.17 1.00 12.00 1.17 1.00 1.17 8.25 1.17

time (sec)

N/A 0.208 0.367 0.106 0.626 0.074 0.485 0.148 0.299 2.268

Problem 31

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

10 10 12 10 100 12 10 12 57 12

N.S.

1 1.00 1.20 1.00 10.00 1.20 1.00 1.20 5.70 1.20

time (sec)

N/A 0.204 0.320 0.109 0.384 0.094 0.396 0.129 0.227 2.070

Problem 32

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

169 179 244 165 186 304 0 188 195 273

N.S.

1 1.06 1.44 0.98 1.10 1.80 0.00 1.11 1.15 1.62

time (sec)

N/A 0.714 0.580 0.750 0.137 0.087 0.000 0.130 0.221 2.367

Problem 33

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

122 127 169 103 126 192 0 119 125 187

N.S.

1 1.04 1.39 0.84 1.03 1.57 0.00 0.98 1.02 1.53

time (sec)

N/A 0.496 0.360 0.661 0.098 0.086 0.000 0.128 0.299 2.273

Problem 34

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

74 78 81 46 74 101 0 64 69 76

N.S.

1 1.05 1.09 0.62 1.00 1.36 0.00 0.86 0.93 1.03

time (sec)

N/A 0.333 0.479 0.478 0.077 0.108 0.000 0.123 0.238 2.269

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

157 157 122 61 48 73 0 47 30 0

N.S.

1 1.00 0.78 0.39 0.31 0.46 0.00 0.30 0.19 0.00

time (sec)

N/A 0.789 0.397 0.577 0.225 0.084 0.000 0.130 0.250 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

159 169 206 90 56 217 0 320 127 0

N.S.

1 1.06 1.30 0.57 0.35 1.36 0.00 2.01 0.80 0.00

time (sec)

N/A 0.769 0.590 0.656 0.367 0.082 0.000 0.171 0.273 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

211 220 264 211 68 342 0 176 265 0

N.S.

1 1.04 1.25 1.00 0.32 1.62 0.00 0.83 1.26 0.00

time (sec)

N/A 1.068 0.783 0.731 0.567 0.109 0.000 0.133 0.273 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

230 230 420 273 296 573 0 368 385 267

N.S.

1 1.00 1.83 1.19 1.29 2.49 0.00 1.60 1.67 1.16

time (sec)

N/A 0.558 1.889 0.792 0.431 0.082 0.000 0.138 0.237 2.376

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

170 170 207 163 190 361 0 217 229 165

N.S.

1 1.00 1.22 0.96 1.12 2.12 0.00 1.28 1.35 0.97

time (sec)

N/A 0.498 1.401 0.757 0.290 0.082 0.000 0.143 0.225 2.321

Problem 40

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

133 133 114 74 106 192 0 103 111 89

N.S.

1 1.00 0.86 0.56 0.80 1.44 0.00 0.77 0.83 0.67

time (sec)

N/A 0.453 0.918 0.533 0.167 0.084 0.000 0.126 0.266 2.234

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

297 297 199 106 81 133 0 75 53 0

N.S.

1 1.00 0.67 0.36 0.27 0.45 0.00 0.25 0.18 0.00

time (sec)

N/A 1.267 0.745 0.672 0.725 0.089 0.000 0.126 0.259 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

420 420 442 163 100 609 0 583 249 0

N.S.

1 1.00 1.05 0.39 0.24 1.45 0.00 1.39 0.59 0.00

time (sec)

N/A 1.226 1.391 0.750 1.432 0.093 0.000 0.165 0.239 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

336 336 615 379 407 844 0 548 575 376

N.S.

1 1.00 1.83 1.13 1.21 2.51 0.00 1.63 1.71 1.12

time (sec)

N/A 0.706 3.229 0.859 1.860 0.098 0.000 0.138 0.263 2.669

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

246 246 371 223 255 532 0 315 333 236

N.S.

1 1.00 1.51 0.91 1.04 2.16 0.00 1.28 1.35 0.96

time (sec)

N/A 0.567 1.971 0.786 1.279 0.092 0.000 0.137 0.252 2.298

Problem 45

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

183 182 185 102 139 286 0 142 153 129

N.S.

1 0.99 1.01 0.56 0.76 1.56 0.00 0.78 0.84 0.70

time (sec)

N/A 0.556 1.143 0.567 0.710 0.092 0.000 0.137 0.224 2.301

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

437 437 312 151 114 193 0 103 76 0

N.S.

1 1.00 0.71 0.35 0.26 0.44 0.00 0.24 0.17 0.00

time (sec)

N/A 2.198 0.901 0.756 2.735 0.108 0.000 0.143 0.293 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

692 692 794 239 140 1164 0 840 371 0

N.S.

1 1.00 1.15 0.35 0.20 1.68 0.00 1.21 0.54 0.00

time (sec)

N/A 2.229 2.995 0.924 6.434 0.111 0.000 0.173 0.309 0.000

Problem 48

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

20 20 22 20 122 37 44 22 5344 22

N.S.

1 1.00 1.10 1.00 6.10 1.85 2.20 1.10 267.20 1.10

time (sec)

N/A 0.230 26.328 0.234 0.351 0.088 3.409 0.173 0.309 2.414

Problem 49

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 68 20 24 20 86 20

N.S.

1 1.00 1.11 1.00 3.78 1.11 1.33 1.11 4.78 1.11

time (sec)

N/A 0.219 16.051 0.192 0.146 0.091 1.923 0.140 0.236 2.347

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

89 89 116 0 0 148 0 0 201 0

N.S.

1 1.00 1.30 0.00 0.00 1.66 0.00 0.00 2.26 0.00

time (sec)

N/A 0.409 0.771 0.000 0.000 0.095 0.000 0.000 0.309 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

153 153 163 0 0 248 0 0 1305 0

N.S.

1 1.00 1.07 0.00 0.00 1.62 0.00 0.00 8.53 0.00

time (sec)

N/A 0.488 1.098 0.000 0.000 0.101 0.000 0.000 0.266 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

224 224 230 0 0 345 0 0 0 0

N.S.

1 1.00 1.03 0.00 0.00 1.54 0.00 0.00 0.00 0.00

time (sec)

N/A 0.580 1.265 0.000 0.000 0.107 0.000 0.000 0.251 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

137 137 161 470 304 583 0 0 218 0

N.S.

1 1.00 1.18 3.43 2.22 4.26 0.00 0.00 1.59 0.00

time (sec)

N/A 0.592 0.463 0.739 0.126 0.117 0.000 0.000 0.307 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

103 103 147 290 179 364 0 0 151 0

N.S.

1 1.00 1.43 2.82 1.74 3.53 0.00 0.00 1.47 0.00

time (sec)

N/A 0.444 0.335 0.550 0.127 0.098 0.000 0.000 0.239 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

75 75 72 129 0 191 0 0 84 0

N.S.

1 1.00 0.96 1.72 0.00 2.55 0.00 0.00 1.12 0.00

time (sec)

N/A 0.331 0.095 0.457 0.000 0.092 0.000 0.000 0.253 0.000

Problem 56

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 56 20 15 20 59 20

N.S.

1 1.00 1.11 1.00 3.11 1.11 0.83 1.11 3.28 1.11

time (sec)

N/A 0.225 2.659 0.156 0.103 0.091 0.743 0.131 0.336 2.291

Problem 57

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 87 31 17 20 162 20

N.S.

1 1.00 1.11 1.00 4.83 1.72 0.94 1.11 9.00 1.11

time (sec)

N/A 0.224 5.138 0.155 0.133 0.088 2.762 0.182 0.266 2.409

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

277 277 544 905 625 3744 0 0 0 0

N.S.

1 1.00 1.96 3.27 2.26 13.52 0.00 0.00 0.00 0.00

time (sec)

N/A 0.823 2.781 1.345 0.158 0.155 0.000 0.000 0.253 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

211 211 237 542 411 2123 0 0 1086 0

N.S.

1 1.00 1.12 2.57 1.95 10.06 0.00 0.00 5.15 0.00

time (sec)

N/A 0.657 1.680 1.177 0.129 0.153 0.000 0.000 0.329 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

127 127 214 221 0 944 0 0 484 0

N.S.

1 1.00 1.69 1.74 0.00 7.43 0.00 0.00 3.81 0.00

time (sec)

N/A 0.448 6.578 1.028 0.000 0.125 0.000 0.000 0.260 0.000

Problem 61

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

20 20 22 20 155 36 17 22 258 22

N.S.

1 1.00 1.10 1.00 7.75 1.80 0.85 1.10 12.90 1.10

time (sec)

N/A 0.243 25.142 0.433 0.240 0.100 1.181 0.172 0.257 2.545

Problem 62

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

20 20 22 20 280 47 19 22 803 22

N.S.

1 1.00 1.10 1.00 14.00 2.35 0.95 1.10 40.15 1.10

time (sec)

N/A 0.245 18.240 0.434 0.318 0.089 2.048 0.973 0.344 2.808

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

566 566 2010 1834 1297 12909 0 0 0 0

N.S.

1 1.00 3.55 3.24 2.29 22.81 0.00 0.00 0.00 0.00

time (sec)

N/A 1.478 7.719 1.827 0.224 0.273 0.000 0.000 9.100 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

396 396 1163 1066 869 7298 0 0 0 0

N.S.

1 1.00 2.94 2.69 2.19 18.43 0.00 0.00 0.00 0.00

time (sec)

N/A 1.085 7.167 1.503 0.238 0.203 0.000 0.000 0.301 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

259 259 303 459 475 3262 0 0 1407 0

N.S.

1 1.00 1.17 1.77 1.83 12.59 0.00 0.00 5.43 0.00

time (sec)

N/A 0.690 7.420 1.239 0.208 0.144 0.000 0.000 0.318 0.000

Problem 66

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

20 20 22 20 455 52 17 22 772 22

N.S.

1 1.00 1.10 1.00 22.75 2.60 0.85 1.10 38.60 1.10

time (sec)

N/A 0.268 31.539 0.842 0.446 0.095 1.400 0.226 0.365 2.390

Problem 67

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

20 20 22 20 926 63 19 22 2546 22

N.S.

1 1.00 1.10 1.00 46.30 3.15 0.95 1.10 127.30 1.10

time (sec)

N/A 0.261 32.962 0.848 0.578 0.145 2.374 0.585 0.296 2.492

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

212 202 247 1156 528 740 0 0 542 0

N.S.

1 0.95 1.17 5.45 2.49 3.49 0.00 0.00 2.56 0.00

time (sec)

N/A 1.122 0.964 0.894 0.199 0.113 0.000 0.000 0.276 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

157 155 200 733 337 500 0 0 373 0

N.S.

1 0.99 1.27 4.67 2.15 3.18 0.00 0.00 2.38 0.00

time (sec)

N/A 0.860 0.603 0.787 0.174 0.117 0.000 0.000 0.287 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

108 112 152 357 0 306 0 0 206 0

N.S.

1 1.04 1.41 3.31 0.00 2.83 0.00 0.00 1.91 0.00

time (sec)

N/A 0.518 0.659 0.528 0.000 0.106 0.000 0.000 0.247 0.000

Problem 71

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

20 20 22 20 114 27 17 22 271 22

N.S.

1 1.00 1.10 1.00 5.70 1.35 0.85 1.10 13.55 1.10

time (sec)

N/A 0.267 4.685 0.196 0.236 0.092 1.018 0.131 0.299 2.200

Problem 72

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

20 20 22 20 199 51 19 22 937 22

N.S.

1 1.00 1.10 1.00 9.95 2.55 0.95 1.10 46.85 1.10

time (sec)

N/A 0.247 8.598 0.202 0.442 0.088 1.704 0.214 0.332 2.449

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

642 642 656 2683 1060 6160 0 0 0 0

N.S.

1 1.00 1.02 4.18 1.65 9.60 0.00 0.00 0.00 0.00

time (sec)

N/A 2.461 5.100 1.023 0.462 0.222 0.000 0.000 0.296 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

476 476 516 1605 753 3693 0 0 0 0

N.S.

1 1.00 1.08 3.37 1.58 7.76 0.00 0.00 0.00 0.00

time (sec)

N/A 1.979 3.272 0.886 0.465 0.168 0.000 0.000 0.284 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

196 214 249 565 0 1790 0 0 0 0

N.S.

1 1.09 1.27 2.88 0.00 9.13 0.00 0.00 0.00 0.00

time (sec)

N/A 0.838 2.377 0.574 0.000 0.140 0.000 0.000 0.276 0.000

Problem 76

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

20 20 22 20 468 55 19 22 2595 22

N.S.

1 1.00 1.10 1.00 23.40 2.75 0.95 1.10 129.75 1.10

time (sec)

N/A 0.273 29.431 0.210 1.202 0.089 1.599 0.176 0.301 2.855

Problem 77

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

20 20 22 20 784 96 20 22 8964 22

N.S.

1 1.00 1.10 1.00 39.20 4.80 1.00 1.10 448.20 1.10

time (sec)

N/A 0.250 25.809 0.219 2.388 0.096 3.076 0.318 0.456 2.493

[front] [up]