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

2.2.2 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 Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 12 11 12 20 11 9

N.S.

1 1.00 1.00 0.80 0.73 0.80 1.33 0.73 0.60

time (sec)

N/A 0.162 0.008 0.371 0.200 0.233 0.128 0.260 0.030

Problem 102

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

17 17 17 14 13 7 20 13 7

N.S.

1 1.00 1.00 0.82 0.76 0.41 1.18 0.76 0.41

time (sec)

N/A 0.168 0.007 0.490 0.201 0.244 0.126 0.267 0.026

Problem 103

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

17 17 17 14 13 18 20 13 13

N.S.

1 1.00 1.00 0.82 0.76 1.06 1.18 0.76 0.76

time (sec)

N/A 0.165 0.006 0.460 0.192 0.252 0.130 0.265 0.032

Problem 104

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

35 35 25 28 28 25 56 29 58

N.S.

1 1.00 0.71 0.80 0.80 0.71 1.60 0.83 1.66

time (sec)

N/A 0.185 0.030 0.379 0.197 0.239 0.266 0.260 0.144

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 27 45 18 133 38 0 0 42

N.S.

1 1.35 2.25 0.90 6.65 1.90 0.00 0.00 2.10

time (sec)

N/A 0.187 0.085 1.010 0.282 0.250 0.000 0.000 28.274

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 48 19 0 38 0 0 42

N.S.

1 1.00 2.29 0.90 0.00 1.81 0.00 0.00 2.00

time (sec)

N/A 0.183 0.056 0.987 0.000 0.251 0.000 0.000 27.938

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

71 80 6161 54 0 101 0 0 295

N.S.

1 1.13 86.77 0.76 0.00 1.42 0.00 0.00 4.15

time (sec)

N/A 0.260 57.693 1.392 0.000 0.266 0.000 0.000 27.721

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 84 215 54 0 129 0 0 407

N.S.

1 1.00 2.56 0.64 0.00 1.54 0.00 0.00 4.85

time (sec)

N/A 0.305 1.043 1.137 0.000 0.276 0.000 0.000 27.898

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

89 93 628 99 0 134 0 0 787

N.S.

1 1.04 7.06 1.11 0.00 1.51 0.00 0.00 8.84

time (sec)

N/A 0.324 8.210 1.170 0.000 0.261 0.000 0.000 29.059

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 14 25 20 37 21 19 19 20

N.S.

1 1.40 2.50 2.00 3.70 2.10 1.90 1.90 2.00

time (sec)

N/A 0.182 0.102 1.118 0.207 0.251 0.358 0.276 26.277

Problem 111

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

45 55 47 36 131 39 0 39 39

N.S.

1 1.22 1.04 0.80 2.91 0.87 0.00 0.87 0.87

time (sec)

N/A 0.270 0.061 1.437 0.289 0.255 0.000 0.269 26.613

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 30 73 81 165 53 0 50 67

N.S.

1 1.07 2.61 2.89 5.89 1.89 0.00 1.79 2.39

time (sec)

N/A 0.241 0.108 1.111 0.299 0.266 0.000 0.271 26.447

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 110 133 224 0 137 0 117 611

N.S.

1 1.00 1.21 2.04 0.00 1.25 0.00 1.06 5.55

time (sec)

N/A 0.372 0.176 1.246 0.000 0.261 0.000 0.279 26.667

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 42 87 113 0 71 0 70 86

N.S.

1 1.11 2.29 2.97 0.00 1.87 0.00 1.84 2.26

time (sec)

N/A 0.260 0.097 1.143 0.000 0.251 0.000 0.275 27.399

Problem 115

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

92 92 179 0 0 0 0 0 0

N.S.

1 1.00 1.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.255 0.209 0.000 0.000 0.000 0.000 0.000 0.000

Problem 116

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

15 15 15 13 137 33 0 31 12

N.S.

1 1.00 1.00 0.87 9.13 2.20 0.00 2.07 0.80

time (sec)

N/A 0.176 0.019 1.563 0.294 0.249 0.000 0.260 0.172

Problem 117

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

44 15 15 13 76 53 0 31 16

N.S.

1 0.34 0.34 0.30 1.73 1.20 0.00 0.70 0.36

time (sec)

N/A 0.188 0.031 1.696 0.308 0.257 0.000 0.302 26.795

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 67 46 0 121 0 99 95

N.S.

1 1.00 0.94 0.65 0.00 1.70 0.00 1.39 1.34

time (sec)

N/A 0.224 0.129 1.790 0.000 0.255 0.000 0.307 26.856

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 89 84 44 0 231 0 105 217

N.S.

1 0.55 0.52 0.27 0.00 1.42 0.00 0.64 1.33

time (sec)

N/A 0.280 0.111 1.948 0.000 0.301 0.000 0.349 26.767

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 81 80 0 154 0 132 118

N.S.

1 1.00 0.95 0.94 0.00 1.81 0.00 1.55 1.39

time (sec)

N/A 0.264 0.107 1.810 0.000 0.274 0.000 0.308 26.135

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

10 10 10 14 19 21 20 21 10

N.S.

1 1.00 1.00 1.40 1.90 2.10 2.00 2.10 1.00

time (sec)

N/A 0.183 0.010 1.611 0.205 0.267 0.491 0.258 26.923

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 18 14 18 129 25 427 25 12

N.S.

1 1.29 1.00 1.29 9.21 1.79 30.50 1.79 0.86

time (sec)

N/A 0.188 0.010 1.667 0.294 0.246 1.951 0.255 0.032

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

7 7 21 9 35 19 15 17 5

N.S.

1 1.00 3.00 1.29 5.00 2.71 2.14 2.43 0.71

time (sec)

N/A 0.187 0.005 1.408 0.215 0.246 0.427 0.259 0.037

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 27 21 27 129 19 17 24 17

N.S.

1 1.29 1.00 1.29 6.14 0.90 0.81 1.14 0.81

time (sec)

N/A 0.184 0.013 1.678 0.289 0.247 0.561 0.261 26.320

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 66 28 163 52 248 48 55

N.S.

1 1.00 2.54 1.08 6.27 2.00 9.54 1.85 2.12

time (sec)

N/A 0.194 0.054 1.786 0.316 0.257 2.844 0.277 26.562

Problem 126

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

62 80 57 80 0 72 0 67 51

N.S.

1 1.29 0.92 1.29 0.00 1.16 0.00 1.08 0.82

time (sec)

N/A 0.273 0.079 1.812 0.000 0.245 0.000 0.265 27.454

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 37 83 47 0 70 0 68 74

N.S.

1 1.03 2.31 1.31 0.00 1.94 0.00 1.89 2.06

time (sec)

N/A 0.236 0.066 1.795 0.000 0.271 0.000 0.273 26.828

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 33 26 25 57 63 25 57

N.S.

1 1.00 1.00 0.79 0.76 1.73 1.91 0.76 1.73

time (sec)

N/A 0.203 0.079 0.766 0.211 0.282 0.596 0.280 0.111

Problem 129

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 33 26 25 39 71 25 78

N.S.

1 1.00 1.00 0.79 0.76 1.18 2.15 0.76 2.36

time (sec)

N/A 0.213 0.072 0.847 0.192 0.254 0.602 0.266 27.047

Problem 130

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

25 25 25 20 19 32 48 19 25

N.S.

1 1.00 1.00 0.80 0.76 1.28 1.92 0.76 1.00

time (sec)

N/A 0.203 0.047 0.548 0.189 0.240 0.262 0.263 27.607

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 18 17 42 42 17 17

N.S.

1 1.00 1.00 0.78 0.74 1.83 1.83 0.74 0.74

time (sec)

N/A 0.194 0.046 0.592 0.190 0.252 0.274 0.255 26.957

Problem 132

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 33 26 25 49 65 49 150

N.S.

1 1.00 1.00 0.79 0.76 1.48 1.97 1.48 4.55

time (sec)

N/A 0.204 0.014 0.771 0.196 0.298 0.613 0.272 27.025

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 24 23 67 70 23 198

N.S.

1 1.00 1.00 0.77 0.74 2.16 2.26 0.74 6.39

time (sec)

N/A 0.202 0.070 0.847 0.190 0.305 0.610 0.284 28.183

Problem 134

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

41 41 41 32 31 25 226 31 25

N.S.

1 1.00 1.00 0.78 0.76 0.61 5.51 0.76 0.61

time (sec)

N/A 0.216 0.073 1.214 0.211 0.252 1.510 0.262 0.089

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 26 24 23 50 58 23 36

N.S.

1 1.00 0.96 0.89 0.85 1.85 2.15 0.85 1.33

time (sec)

N/A 0.184 0.044 0.448 0.200 0.252 0.182 0.265 27.005

Problem 136

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

27 27 26 24 23 44 61 23 36

N.S.

1 1.00 0.96 0.89 0.85 1.63 2.26 0.85 1.33

time (sec)

N/A 0.194 0.032 0.467 0.191 0.249 0.167 0.261 27.344

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 26 24 23 50 58 23 36

N.S.

1 1.00 0.96 0.89 0.85 1.85 2.15 0.85 1.33

time (sec)

N/A 0.186 0.019 0.402 0.189 0.250 0.163 0.258 27.377

Problem 138

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

27 27 26 24 23 44 58 23 36

N.S.

1 1.00 0.96 0.89 0.85 1.63 2.15 0.85 1.33

time (sec)

N/A 0.184 0.017 0.464 0.210 0.270 0.161 0.267 27.899

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 47 31 173 371 145 7672 242 207

N.S.

1 1.21 0.79 4.44 9.51 3.72 196.72 6.21 5.31

time (sec)

N/A 0.289 0.411 0.362 0.220 0.249 2.877 0.293 31.894

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 41 28 145 290 145 7679 245 196

N.S.

1 1.21 0.82 4.26 8.53 4.26 225.85 7.21 5.76

time (sec)

N/A 0.284 0.413 0.394 0.220 0.268 4.071 0.286 31.883

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 51 31 177 549 118 7404 348 207

N.S.

1 1.31 0.79 4.54 14.08 3.03 189.85 8.92 5.31

time (sec)

N/A 0.288 0.393 0.373 0.248 0.263 11.460 0.296 31.687

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 44 30 149 432 118 7417 345 200

N.S.

1 1.29 0.88 4.38 12.71 3.47 218.15 10.15 5.88

time (sec)

N/A 0.285 0.383 0.388 0.240 0.258 12.039 0.292 31.828

Problem 143

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

36 36 28 54 349 107 0 171 249

N.S.

1 1.00 0.78 1.50 9.69 2.97 0.00 4.75 6.92

time (sec)

N/A 0.223 0.175 1.419 0.221 0.262 0.000 0.303 32.329

Problem 144

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

33 33 26 53 322 93 0 169 249

N.S.

1 1.00 0.79 1.61 9.76 2.82 0.00 5.12 7.55

time (sec)

N/A 0.219 0.169 1.381 0.216 0.273 0.000 0.313 33.694

Problem 145

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

36 40 28 79 564 110 0 396 249

N.S.

1 1.11 0.78 2.19 15.67 3.06 0.00 11.00 6.92

time (sec)

N/A 0.230 0.189 1.490 0.225 0.271 0.000 0.294 33.332

Problem 146

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

33 37 29 80 536 96 1824 397 249

N.S.

1 1.12 0.88 2.42 16.24 2.91 55.27 12.03 7.55

time (sec)

N/A 0.232 0.170 1.484 0.218 0.262 68.548 0.312 32.906

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 50 57 22 0 0 20

N.S.

1 1.00 1.00 3.85 4.38 1.69 0.00 0.00 1.54

time (sec)

N/A 0.233 0.074 2.470 0.300 0.254 0.000 0.000 27.875

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 55 23 522 57 26 0 0 0

N.S.

1 1.77 0.74 16.84 1.84 0.84 0.00 0.00 0.00

time (sec)

N/A 0.318 0.075 2.098 0.293 0.251 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 76 29 283 82 38 0 0 0

N.S.

1 1.52 0.58 5.66 1.64 0.76 0.00 0.00 0.00

time (sec)

N/A 0.391 0.186 2.685 0.296 0.254 0.000 0.000 0.000

Problem 150

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

13 13 13 12 188 19 0 12 18

N.S.

1 1.00 1.00 0.92 14.46 1.46 0.00 0.92 1.38

time (sec)

N/A 0.236 0.096 1.915 0.350 0.267 0.000 0.267 25.581

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 55 21 17 314 23 0 19 0

N.S.

1 1.77 0.68 0.55 10.13 0.74 0.00 0.61 0.00

time (sec)

N/A 0.328 0.071 1.664 0.357 0.251 0.000 0.263 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 76 29 29 427 35 0 27 0

N.S.

1 1.52 0.58 0.58 8.54 0.70 0.00 0.54 0.00

time (sec)

N/A 0.415 0.118 4.340 0.367 0.259 0.000 0.275 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 64 56 159 0 236 0 0 0

N.S.

1 1.10 0.97 2.74 0.00 4.07 0.00 0.00 0.00

time (sec)

N/A 0.271 0.129 0.487 0.000 0.253 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 95 84 257 0 459 0 0 0

N.S.

1 1.12 0.99 3.02 0.00 5.40 0.00 0.00 0.00

time (sec)

N/A 0.373 0.230 0.721 0.000 0.267 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 58 154 0 227 1935 0 132

N.S.

1 1.00 0.98 2.61 0.00 3.85 32.80 0.00 2.24

time (sec)

N/A 0.265 0.088 0.402 0.000 0.266 151.660 0.000 29.711

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 103 85 250 0 417 0 0 0

N.S.

1 1.17 0.97 2.84 0.00 4.74 0.00 0.00 0.00

time (sec)

N/A 0.355 0.250 0.586 0.000 0.269 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 53 48 86 250 80 0 322 0

N.S.

1 1.06 0.96 1.72 5.00 1.60 0.00 6.44 0.00

time (sec)

N/A 0.359 0.166 2.013 0.208 0.266 0.000 0.376 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 54 48 87 250 81 0 322 0

N.S.

1 1.08 0.96 1.74 5.00 1.62 0.00 6.44 0.00

time (sec)

N/A 0.367 0.149 1.062 0.225 0.256 0.000 0.375 0.000

Problem 159

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

32 32 32 24 23 205 0 40 24

N.S.

1 1.00 1.00 0.75 0.72 6.41 0.00 1.25 0.75

time (sec)

N/A 0.227 0.063 1.645 0.282 0.259 0.000 0.477 26.638

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

211 241 512 1003 0 3284 0 0 0

N.S.

1 1.14 2.43 4.75 0.00 15.56 0.00 0.00 0.00

time (sec)

N/A 0.907 2.204 2.148 0.000 3.662 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

337 349 294 1251 0 4568 0 0 0

N.S.

1 1.04 0.87 3.71 0.00 13.55 0.00 0.00 0.00

time (sec)

N/A 1.369 1.017 2.101 0.000 2.286 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 40 40 34 43 300 0 76 45

N.S.

1 1.00 1.00 0.85 1.08 7.50 0.00 1.90 1.12

time (sec)

N/A 0.621 0.967 2.046 0.283 0.303 0.000 0.672 26.761

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

267 289 751 1670 0 4100 0 0 0

N.S.

1 1.08 2.81 6.25 0.00 15.36 0.00 0.00 0.00

time (sec)

N/A 1.103 4.097 2.657 0.000 4.599 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

407 417 314 2061 0 5696 0 0 0

N.S.

1 1.02 0.77 5.06 0.00 14.00 0.00 0.00 0.00

time (sec)

N/A 1.568 1.724 2.414 0.000 3.423 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

155 97 61 0 0 0 0 156 111

N.S.

1 0.63 0.39 0.00 0.00 0.00 0.00 1.01 0.72

time (sec)

N/A 0.599 3.128 0.000 0.000 0.000 0.000 0.301 28.107

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

118 78 54 0 0 0 0 119 86

N.S.

1 0.66 0.46 0.00 0.00 0.00 0.00 1.01 0.73

time (sec)

N/A 0.498 1.513 0.000 0.000 0.000 0.000 0.316 27.416

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

74 58 44 0 0 0 0 82 61

N.S.

1 0.78 0.59 0.00 0.00 0.00 0.00 1.11 0.82

time (sec)

N/A 0.358 0.782 0.000 0.000 0.000 0.000 0.303 27.021

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

86 52 52 0 0 0 0 274 0

N.S.

1 0.60 0.60 0.00 0.00 0.00 0.00 3.19 0.00

time (sec)

N/A 0.488 0.756 0.000 0.000 0.000 0.000 0.323 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

123 66 65 0 0 0 0 886 0

N.S.

1 0.54 0.53 0.00 0.00 0.00 0.00 7.20 0.00

time (sec)

N/A 0.564 0.922 0.000 0.000 0.000 0.000 0.411 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

176 85 87 0 0 0 0 1022 0

N.S.

1 0.48 0.49 0.00 0.00 0.00 0.00 5.81 0.00

time (sec)

N/A 0.668 0.977 0.000 0.000 0.000 0.000 0.424 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

393 206 113 0 0 0 0 1487 216

N.S.

1 0.52 0.29 0.00 0.00 0.00 0.00 3.78 0.55

time (sec)

N/A 0.624 1.380 0.000 0.000 0.000 0.000 0.565 29.196

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

265 151 95 0 0 0 0 739 159

N.S.

1 0.57 0.36 0.00 0.00 0.00 0.00 2.79 0.60

time (sec)

N/A 0.533 1.045 0.000 0.000 0.000 0.000 0.427 28.362

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

168 115 73 0 0 0 0 311 123

N.S.

1 0.68 0.43 0.00 0.00 0.00 0.00 1.85 0.73

time (sec)

N/A 0.402 0.889 0.000 0.000 0.000 0.000 0.339 29.200

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

186 79 150 0 0 0 0 160 0

N.S.

1 0.42 0.81 0.00 0.00 0.00 0.00 0.86 0.00

time (sec)

N/A 0.811 2.567 0.000 0.000 0.000 0.000 0.320 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

273 106 231 0 0 0 0 608 0

N.S.

1 0.39 0.85 0.00 0.00 0.00 0.00 2.23 0.00

time (sec)

N/A 0.821 2.706 0.000 0.000 0.000 0.000 0.383 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

385 152 317 0 0 0 0 1502 0

N.S.

1 0.39 0.82 0.00 0.00 0.00 0.00 3.90 0.00

time (sec)

N/A 0.890 2.999 0.000 0.000 0.000 0.000 0.511 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

767 372 247 0 0 0 0 0 0

N.S.

1 0.49 0.32 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.369 2.849 0.000 0.000 0.000 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

555 268 194 0 0 0 0 0 0

N.S.

1 0.48 0.35 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.091 2.499 0.000 0.000 0.000 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

355 176 154 0 0 0 0 0 0

N.S.

1 0.50 0.43 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.761 2.030 0.000 0.000 0.000 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

37 37 39 33 35 0 34 35 35

N.S.

1 1.00 1.05 0.89 0.95 0.00 0.92 0.95 0.95

time (sec)

N/A 0.837 4.391 0.270 1.047 0.000 0.906 0.386 26.835

Problem 181

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

536 224 192 0 0 0 0 0 0

N.S.

1 0.42 0.36 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.950 2.298 0.000 0.000 0.000 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

280 124 154 0 0 0 0 0 0

N.S.

1 0.44 0.55 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.048 1.903 0.000 0.000 0.000 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F B B

verified

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

size

171 93 150 0 0 72 0 446 88

N.S.

1 0.54 0.88 0.00 0.00 0.42 0.00 2.61 0.51

time (sec)

N/A 1.196 1.023 0.000 0.000 0.253 0.000 0.380 28.316

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

300 141 85 154 56 75 0 0 0

N.S.

1 0.47 0.28 0.51 0.19 0.25 0.00 0.00 0.00

time (sec)

N/A 0.574 0.128 0.572 0.298 0.261 0.000 0.000 0.000

Problem 185

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

18 18 20 24 23 32 27 51 54

N.S.

1 1.00 1.11 1.33 1.28 1.78 1.50 2.83 3.00

time (sec)

N/A 0.404 0.027 0.611 0.195 0.259 0.842 0.282 26.885

Problem 186

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

57 57 67 53 54 60 61 100 403

N.S.

1 1.00 1.18 0.93 0.95 1.05 1.07 1.75 7.07

time (sec)

N/A 0.621 0.420 0.727 0.209 0.255 1.241 0.269 27.834

Problem 187

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

75 81 80 67 84 77 92 125 431

N.S.

1 1.08 1.07 0.89 1.12 1.03 1.23 1.67 5.75

time (sec)

N/A 0.820 0.410 1.500 0.196 0.266 2.879 0.285 28.291

Problem 188

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

104 115 97 80 118 89 116 149 460

N.S.

1 1.11 0.93 0.77 1.13 0.86 1.12 1.43 4.42

time (sec)

N/A 1.037 0.484 1.857 0.203 0.265 6.662 0.270 26.380

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 71 35 63 47 0 46 25

N.S.

1 1.00 2.84 1.40 2.52 1.88 0.00 1.84 1.00

time (sec)

N/A 0.342 0.219 0.340 0.201 0.253 0.000 0.274 26.663

Problem 190

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

48 48 76 51 93 85 0 77 50

N.S.

1 1.00 1.58 1.06 1.94 1.77 0.00 1.60 1.04

time (sec)

N/A 0.486 0.307 0.333 0.205 0.267 0.000 0.270 27.591

Problem 191

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

75 85 88 64 119 122 0 102 92

N.S.

1 1.13 1.17 0.85 1.59 1.63 0.00 1.36 1.23

time (sec)

N/A 0.693 0.427 0.381 0.199 0.255 0.000 0.276 26.179

Problem 192

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

96 116 104 79 143 158 0 126 140

N.S.

1 1.21 1.08 0.82 1.49 1.65 0.00 1.31 1.46

time (sec)

N/A 0.899 0.721 0.389 0.211 0.273 0.000 0.270 26.962

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 106 78 225 43 123 0 134 0

N.S.

1 1.08 0.80 2.30 0.44 1.26 0.00 1.37 0.00

time (sec)

N/A 0.822 0.127 3.619 0.335 0.249 0.000 0.279 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 75 62 188 26 99 0 92 0

N.S.

1 1.04 0.86 2.61 0.36 1.38 0.00 1.28 0.00

time (sec)

N/A 0.594 0.080 2.111 0.319 0.261 0.000 0.279 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 47 154 13 81 0 61 0

N.S.

1 1.00 1.07 3.50 0.30 1.84 0.00 1.39 0.00

time (sec)

N/A 0.395 0.028 2.096 0.324 0.250 0.000 0.272 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 52 194 58 116 0 120 0

N.S.

1 1.00 0.76 2.85 0.85 1.71 0.00 1.76 0.00

time (sec)

N/A 0.497 0.037 2.046 0.334 0.259 0.000 0.293 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 97 73 270 9153 187 0 158 0

N.S.

1 1.05 0.79 2.93 99.49 2.03 0.00 1.72 0.00

time (sec)

N/A 0.705 0.291 2.567 0.788 0.255 0.000 0.281 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 131 95 322 50224 234 0 183 0

N.S.

1 1.09 0.79 2.68 418.53 1.95 0.00 1.52 0.00

time (sec)

N/A 0.941 0.389 2.788 14.433 0.258 0.000 0.293 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 58 0 35 0 283 0

N.S.

1 1.00 1.00 2.32 0.00 1.40 0.00 11.32 0.00

time (sec)

N/A 0.246 0.219 0.707 0.000 0.261 0.000 0.367 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 24 57 0 36 0 397 68

N.S.

1 1.00 1.00 2.38 0.00 1.50 0.00 16.54 2.83

time (sec)

N/A 0.253 0.123 0.618 0.000 0.241 0.000 0.358 26.224

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