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

verified

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

size

28 0 21 21 23 22 19 0 20

N.S.

1 0.00 0.75 0.75 0.82 0.79 0.68 0.00 0.71

time (sec)

N/A 0.000 0.106 0.383 0.251 0.243 0.376 0.000 9.218

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 44 39 39 39 42 39 0

N.S.

1 0.00 1.47 1.30 1.30 1.30 1.40 1.30 0.00

time (sec)

N/A 0.000 0.139 6.721 0.445 0.255 0.219 5.350 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 48 28 26 0 19 20 26 0

N.S.

1 1.71 1.00 0.93 0.00 0.68 0.71 0.93 0.00

time (sec)

N/A 0.645 0.169 5.591 0.000 0.270 0.564 0.333 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

32 0 218 1093 0 758 1156 1503 0

N.S.

1 0.00 6.81 34.16 0.00 23.69 36.12 46.97 0.00

time (sec)

N/A 0.000 0.496 1.390 0.000 0.302 1.260 0.345 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 0 25 46 34 34 0 0

N.S.

1 0.00 0.00 0.93 1.70 1.26 1.26 0.00 0.00

time (sec)

N/A 0.000 0.000 4.784 0.553 0.281 0.371 0.000 0.000

Problem 106

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

21 35 34 66 371 77 102 99 73

N.S.

1 1.67 1.62 3.14 17.67 3.67 4.86 4.71 3.48

time (sec)

N/A 0.490 0.314 0.190 0.328 0.292 0.066 0.264 9.859

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 36 34 24 29 29 51 29 0

N.S.

1 1.09 1.03 0.73 0.88 0.88 1.55 0.88 0.00

time (sec)

N/A 1.164 0.236 1.070 0.385 0.292 0.334 0.258 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A B A B

verified

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

size

26 0 28 28 32 31 51 32 29

N.S.

1 0.00 1.08 1.08 1.23 1.19 1.96 1.23 1.12

time (sec)

N/A 0.000 0.567 4.520 0.246 0.274 0.112 0.253 10.229

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

20 0 21 19 22 20 19 18 18

N.S.

1 0.00 1.05 0.95 1.10 1.00 0.95 0.90 0.90

time (sec)

N/A 0.000 0.598 0.358 0.225 0.283 0.093 0.243 0.104

Problem 110

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

20 13 11 10 9 12 7 9 9

N.S.

1 0.65 0.55 0.50 0.45 0.60 0.35 0.45 0.45

time (sec)

N/A 0.142 0.001 0.087 0.224 0.266 0.026 0.242 0.024

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 28 15 17 125 16 15 16 16

N.S.

1 1.27 0.68 0.77 5.68 0.73 0.68 0.73 0.73

time (sec)

N/A 0.168 0.111 0.059 0.258 0.283 0.045 0.255 0.075

Problem 112

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

19 25 25 15 18 18 27 18 14

N.S.

1 1.32 1.32 0.79 0.95 0.95 1.42 0.95 0.74

time (sec)

N/A 0.144 0.003 0.147 0.199 0.279 0.018 0.247 0.052

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A F B

verified

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

size

27 0 36 35 34 34 34 0 34

N.S.

1 0.00 1.33 1.30 1.26 1.26 1.26 0.00 1.26

time (sec)

N/A 0.000 0.240 0.115 0.225 0.293 0.191 0.000 9.808

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A B A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 60 45 61 42 62 60 47 48

N.S.

1 2.50 1.88 2.54 1.75 2.58 2.50 1.96 2.00

time (sec)

N/A 1.790 4.590 0.908 0.482 0.269 0.258 0.255 9.888

Problem 115

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 33 32 33 37 33 22 33 32

N.S.

1 1.00 0.97 1.00 1.12 1.00 0.67 1.00 0.97

time (sec)

N/A 0.359 0.058 35.110 0.331 0.263 0.226 0.395 9.622

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 0 25 25 22 24 20 24 0

N.S.

1 0.00 1.00 1.00 0.88 0.96 0.80 0.96 0.00

time (sec)

N/A 0.000 0.445 0.380 0.246 0.270 0.112 0.276 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 63 22 18 22 22 24 22 0

N.S.

1 2.62 0.92 0.75 0.92 0.92 1.00 0.92 0.00

time (sec)

N/A 0.269 0.449 0.313 0.368 0.291 0.139 0.266 0.000

Problem 118

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

22 27 56 35 955 132 321 178 1697

N.S.

1 1.23 2.55 1.59 43.41 6.00 14.59 8.09 77.14

time (sec)

N/A 0.497 0.088 0.894 0.327 0.277 0.510 0.258 12.178

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 78 20 70 66 66 58 66 57

N.S.

1 3.55 0.91 3.18 3.00 3.00 2.64 3.00 2.59

time (sec)

N/A 0.191 0.015 0.242 0.207 0.262 0.030 0.250 9.769

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 39 16 14 13 13 12 29 15

N.S.

1 2.29 0.94 0.82 0.76 0.76 0.71 1.71 0.88

time (sec)

N/A 0.619 0.018 0.535 0.251 0.278 0.078 0.263 9.340

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F A A A A F B

verified

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

size

26 33 0 25 40 20 19 0 63

N.S.

1 1.27 0.00 0.96 1.54 0.77 0.73 0.00 2.42

time (sec)

N/A 1.585 0.000 11.508 0.352 0.265 0.141 0.000 10.836

Problem 122

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

30 11 15 7 9 9 10 9 6

N.S.

1 0.37 0.50 0.23 0.30 0.30 0.33 0.30 0.20

time (sec)

N/A 0.126 0.001 0.070 0.201 0.264 0.017 0.253 0.034

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 21 21 82 19 81 80 81 81

N.S.

1 0.81 0.81 3.15 0.73 3.12 3.08 3.12 3.12

time (sec)

N/A 0.625 0.198 0.122 0.244 0.266 0.148 0.298 9.782

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

31 0 0 57 132 118 114 0 0

N.S.

1 0.00 0.00 1.84 4.26 3.81 3.68 0.00 0.00

time (sec)

N/A 0.000 0.000 1.763 0.409 0.269 0.244 0.000 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 62 22 20 19 19 19 19 21

N.S.

1 2.70 0.96 0.87 0.83 0.83 0.83 0.83 0.91

time (sec)

N/A 0.285 0.162 0.328 0.276 0.275 0.397 0.250 9.479

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 117 28 32 42 33 29 37 37

N.S.

1 3.90 0.93 1.07 1.40 1.10 0.97 1.23 1.23

time (sec)

N/A 1.172 0.059 0.533 0.404 0.267 0.133 0.359 9.571

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A C A A A B

verified

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

size

23 0 14 15 17 14 15 14 14

N.S.

1 0.00 0.61 0.65 0.74 0.61 0.65 0.61 0.61

time (sec)

N/A 0.000 0.231 0.836 0.314 0.260 0.132 0.265 11.584

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

26 0 26 22 34 30 36 38 36

N.S.

1 0.00 1.00 0.85 1.31 1.15 1.38 1.46 1.38

time (sec)

N/A 0.000 0.832 0.706 0.268 0.263 0.137 0.258 0.303

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

16 0 16 15 14 14 14 14 14

N.S.

1 0.00 1.00 0.94 0.88 0.88 0.88 0.88 0.88

time (sec)

N/A 0.000 1.038 4.375 0.448 0.267 0.065 0.602 9.167

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 54 29 35 50 42 44 50 33

N.S.

1 2.45 1.32 1.59 2.27 1.91 2.00 2.27 1.50

time (sec)

N/A 0.184 0.037 0.165 0.193 0.262 0.080 0.253 9.097

Problem 131

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

19 13 19 13 12 12 8 12 12

N.S.

1 0.68 1.00 0.68 0.63 0.63 0.42 0.63 0.63

time (sec)

N/A 0.139 0.003 0.035 0.203 0.256 0.036 0.243 9.200

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 129 147 137 136 135 143 151 151

N.S.

1 5.86 6.68 6.23 6.18 6.14 6.50 6.86 6.86

time (sec)

N/A 1.389 0.162 0.424 0.200 0.311 10.188 0.311 10.488

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B B F B B B B

verified

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

size

28 0 177 233 0 221 272 327 229

N.S.

1 0.00 6.32 8.32 0.00 7.89 9.71 11.68 8.18

time (sec)

N/A 0.000 0.191 0.362 0.000 0.276 0.499 0.284 9.913

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

31 0 42 27 37 37 34 37 39

N.S.

1 0.00 1.35 0.87 1.19 1.19 1.10 1.19 1.26

time (sec)

N/A 0.000 6.028 0.174 0.327 0.258 0.183 0.398 11.129

Problem 135

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

20 21 21 22 21 21 19 22 21

N.S.

1 1.05 1.05 1.10 1.05 1.05 0.95 1.10 1.05

time (sec)

N/A 0.361 0.012 0.089 0.193 0.251 0.070 0.250 0.137

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 153 30 39 143 35 29 48 33

N.S.

1 5.88 1.15 1.50 5.50 1.35 1.12 1.85 1.27

time (sec)

N/A 1.704 0.163 0.162 0.252 0.260 0.111 0.251 9.459

Problem 137

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

13 9 9 9 8 8 8 8 8

N.S.

1 0.69 0.69 0.69 0.62 0.62 0.62 0.62 0.62

time (sec)

N/A 0.187 0.020 0.136 0.200 0.257 0.047 0.258 0.070

Problem 138

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

25 27 22 24 23 26 19 23 23

N.S.

1 1.08 0.88 0.96 0.92 1.04 0.76 0.92 0.92

time (sec)

N/A 0.237 0.032 0.154 0.214 0.264 0.295 0.249 0.122

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

18 0 17 13 12 12 10 12 12

N.S.

1 0.00 0.94 0.72 0.67 0.67 0.56 0.67 0.67

time (sec)

N/A 0.000 0.142 0.093 0.233 0.284 0.045 0.252 8.995

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A F B

verified

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

size

25 0 39 21 37 26 20 0 28

N.S.

1 0.00 1.56 0.84 1.48 1.04 0.80 0.00 1.12

time (sec)

N/A 0.000 7.272 0.148 0.382 0.284 0.218 0.000 9.336

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 30 0 29 52 28 22 0 28

N.S.

1 1.03 0.00 1.00 1.79 0.97 0.76 0.00 0.97

time (sec)

N/A 5.196 0.000 0.147 0.241 0.273 0.099 0.000 9.432

Problem 142

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

18 25 18 19 32 18 29 32 17

N.S.

1 1.39 1.00 1.06 1.78 1.00 1.61 1.78 0.94

time (sec)

N/A 0.274 2.110 0.472 0.258 0.282 0.077 0.258 0.204

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 25 25 25 381 22 29 111 22

N.S.

1 0.96 0.96 0.96 14.65 0.85 1.12 4.27 0.85

time (sec)

N/A 0.393 0.086 1.469 0.345 0.274 0.165 0.567 10.976

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B B A A B B

verified

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

size

29 0 50 56 118 52 41 59 53

N.S.

1 0.00 1.72 1.93 4.07 1.79 1.41 2.03 1.83

time (sec)

N/A 0.000 1.132 28.133 0.247 0.268 0.173 1.704 9.864

Problem 145

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

23 40 31 28 37 36 34 35 31

N.S.

1 1.74 1.35 1.22 1.61 1.57 1.48 1.52 1.35

time (sec)

N/A 0.203 0.018 0.111 0.202 0.262 0.086 0.256 8.444

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 36 23 19 18 18 20 0 19

N.S.

1 1.57 1.00 0.83 0.78 0.78 0.87 0.00 0.83

time (sec)

N/A 0.216 0.057 3.326 0.257 0.267 57.700 0.000 0.222

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 48 43 31 0 38 34 45 36

N.S.

1 1.50 1.34 0.97 0.00 1.19 1.06 1.41 1.12

time (sec)

N/A 0.639 0.176 0.757 0.000 0.268 0.081 0.264 8.549

Problem 148

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

13 13 13 14 13 13 14 13 13

N.S.

1 1.00 1.00 1.08 1.00 1.00 1.08 1.00 1.00

time (sec)

N/A 0.129 0.000 0.052 0.192 0.263 0.014 0.252 0.003

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

26 0 26 24 25 24 36 32 46

N.S.

1 0.00 1.00 0.92 0.96 0.92 1.38 1.23 1.77

time (sec)

N/A 0.000 0.147 2.233 0.320 0.265 0.263 0.359 8.849

Problem 150

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

10 8 8 8 7 7 14 8 7

N.S.

1 0.80 0.80 0.80 0.70 0.70 1.40 0.80 0.70

time (sec)

N/A 0.122 0.001 0.389 0.191 0.250 0.028 0.250 0.138

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

33 0 34 30 27 29 0 0 26

N.S.

1 0.00 1.03 0.91 0.82 0.88 0.00 0.00 0.79

time (sec)

N/A 0.000 7.228 1.582 0.429 0.262 0.000 0.000 8.937

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 44 25 28 39 26 41 30 26

N.S.

1 2.10 1.19 1.33 1.86 1.24 1.95 1.43 1.24

time (sec)

N/A 0.348 0.052 0.622 0.320 0.252 0.318 0.254 8.948

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B A B B

verified

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

size

22 0 22 21 34 41 19 70 274

N.S.

1 0.00 1.00 0.95 1.55 1.86 0.86 3.18 12.45

time (sec)

N/A 0.000 0.336 0.492 0.257 0.261 0.121 0.277 0.677

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 101 97 101 100 89 116 111 100

N.S.

1 3.06 2.94 3.06 3.03 2.70 3.52 3.36 3.03

time (sec)

N/A 0.318 0.051 0.131 0.194 0.259 0.092 0.261 8.724

Problem 155

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

14 14 14 13 12 12 19 12 12

N.S.

1 1.00 1.00 0.93 0.86 0.86 1.36 0.86 0.86

time (sec)

N/A 0.176 0.014 0.352 0.257 0.270 0.074 0.251 8.603

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 44 21 20 24 19 0 0

N.S.

1 1.00 2.10 1.00 0.95 1.14 0.90 0.00 0.00

time (sec)

N/A 2.385 0.120 78.207 0.252 0.270 1.142 0.000 0.000

Problem 157

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

18 22 17 12 11 11 17 11 14

N.S.

1 1.22 0.94 0.67 0.61 0.61 0.94 0.61 0.78

time (sec)

N/A 0.214 0.030 0.093 0.187 0.275 0.218 0.253 8.446

Problem 158

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

25 34 24 23 24 28 20 30 20

N.S.

1 1.36 0.96 0.92 0.96 1.12 0.80 1.20 0.80

time (sec)

N/A 0.194 0.043 0.178 0.197 0.268 0.127 0.255 0.100

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

21 0 19 29 19 28 26 30 0

N.S.

1 0.00 0.90 1.38 0.90 1.33 1.24 1.43 0.00

time (sec)

N/A 0.000 0.138 1.954 0.259 0.261 0.528 0.437 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 42 58 40 61 60 44 269 0

N.S.

1 1.62 2.23 1.54 2.35 2.31 1.69 10.35 0.00

time (sec)

N/A 0.355 0.031 0.772 0.193 0.264 0.372 0.253 0.000

Problem 161

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 7 7 6 5 5 3 5 5

N.S.

1 0.26 0.26 0.22 0.19 0.19 0.11 0.19 0.19

time (sec)

N/A 0.117 0.000 0.010 0.190 0.261 0.029 0.252 0.021

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 129 18 24 227 31 20 36 29

N.S.

1 5.86 0.82 1.09 10.32 1.41 0.91 1.64 1.32

time (sec)

N/A 0.810 0.255 0.296 0.285 0.260 0.075 0.257 0.169

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 89 23 20 91 23 49 66 14

N.S.

1 3.42 0.88 0.77 3.50 0.88 1.88 2.54 0.54

time (sec)

N/A 0.487 0.066 0.865 0.239 0.253 0.096 0.249 9.524

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A B B

verified

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

size

29 0 29 30 46 37 27 926 158

N.S.

1 0.00 1.00 1.03 1.59 1.28 0.93 31.93 5.45

time (sec)

N/A 0.000 0.254 1.806 0.432 0.254 0.135 1.200 9.848

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 22 21 24 25 23 20 28 23

N.S.

1 0.81 0.78 0.89 0.93 0.85 0.74 1.04 0.85

time (sec)

N/A 0.527 0.384 13.333 0.339 0.275 1.086 0.456 10.881

Problem 166

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

20 16 16 16 15 15 15 17 15

N.S.

1 0.80 0.80 0.80 0.75 0.75 0.75 0.85 0.75

time (sec)

N/A 0.226 0.011 0.486 0.192 0.254 0.094 0.252 9.272

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 17 113 16 17 16 16

N.S.

1 1.00 1.00 1.00 6.65 0.94 1.00 0.94 0.94

time (sec)

N/A 0.467 0.068 0.642 0.342 0.263 0.071 0.261 0.517

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A F B

verified

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

size

30 0 32 26 81 25 27 0 31

N.S.

1 0.00 1.07 0.87 2.70 0.83 0.90 0.00 1.03

time (sec)

N/A 0.000 0.188 3.174 0.410 0.273 0.350 0.000 10.592

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A B A B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 53 23 48 29 47 44 0 72

N.S.

1 2.30 1.00 2.09 1.26 2.04 1.91 0.00 3.13

time (sec)

N/A 0.265 0.036 0.255 0.309 0.272 0.259 0.000 10.295

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B B B B B B B

verified

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

size

19 0 97 172 805 171 170 1614 1631

N.S.

1 0.00 5.11 9.05 42.37 9.00 8.95 84.95 85.84

time (sec)

N/A 0.000 0.396 0.392 15.184 0.290 1.603 0.423 0.705

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 20 20 19 0 18 15 18 18

N.S.

1 0.71 0.71 0.68 0.00 0.64 0.54 0.64 0.64

time (sec)

N/A 0.474 0.107 1.661 0.000 0.277 0.115 0.262 0.269

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A B B B

verified

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

size

32 0 33 42 64 46 68 65 226

N.S.

1 0.00 1.03 1.31 2.00 1.44 2.12 2.03 7.06

time (sec)

N/A 0.000 0.139 3.789 0.350 0.268 0.309 0.392 9.815

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 80 47 31 134 29 24 32 27

N.S.

1 3.64 2.14 1.41 6.09 1.32 1.09 1.45 1.23

time (sec)

N/A 1.180 0.058 0.456 0.717 0.272 0.099 0.268 0.362

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

28 0 29 36 37 34 22 34 29

N.S.

1 0.00 1.04 1.29 1.32 1.21 0.79 1.21 1.04

time (sec)

N/A 0.000 0.115 5.898 0.237 0.255 0.331 0.358 10.170

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C B C B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 85 85 49 72 55 56 60 60

N.S.

1 4.05 4.05 2.33 3.43 2.62 2.67 2.86 2.86

time (sec)

N/A 0.687 0.286 0.414 0.217 0.296 0.066 0.263 9.602

Problem 176

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

29 30 28 22 20 30 15 50 26

N.S.

1 1.03 0.97 0.76 0.69 1.03 0.52 1.72 0.90

time (sec)

N/A 0.508 0.172 1.611 0.236 0.285 0.082 0.259 0.145

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

25 0 17 19 23 18 17 20 18

N.S.

1 0.00 0.68 0.76 0.92 0.72 0.68 0.80 0.72

time (sec)

N/A 0.000 0.126 1.697 0.220 0.275 0.070 0.250 9.395

Problem 178

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

18 13 13 13 12 12 10 12 12

N.S.

1 0.72 0.72 0.72 0.67 0.67 0.56 0.67 0.67

time (sec)

N/A 0.143 0.024 0.267 0.179 0.267 0.037 0.251 0.082

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 48 23 31 30 50 53 71 30

N.S.

1 2.18 1.05 1.41 1.36 2.27 2.41 3.23 1.36

time (sec)

N/A 0.203 0.026 2.018 0.228 0.279 0.223 0.260 10.120

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

38 0 34 30 88 74 39 0 67

N.S.

1 0.00 0.89 0.79 2.32 1.95 1.03 0.00 1.76

time (sec)

N/A 0.000 0.151 75.148 0.663 0.287 0.438 0.000 10.349

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 37 17 16 33 20 17 20 15

N.S.

1 1.76 0.81 0.76 1.57 0.95 0.81 0.95 0.71

time (sec)

N/A 0.658 0.081 1.586 0.331 0.271 0.080 0.270 9.837

Problem 182

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

13 6 6 7 6 6 3 6 6

N.S.

1 0.46 0.46 0.54 0.46 0.46 0.23 0.46 0.46

time (sec)

N/A 0.122 0.000 0.161 0.206 0.249 0.016 0.257 0.003

Problem 183

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 24 16 12 17 11 10 11 11

N.S.

1 1.41 0.94 0.71 1.00 0.65 0.59 0.65 0.65

time (sec)

N/A 0.152 0.008 0.148 0.193 0.265 0.038 0.253 9.680

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

25 0 27 38 45 28 68 36 0

N.S.

1 0.00 1.08 1.52 1.80 1.12 2.72 1.44 0.00

time (sec)

N/A 0.000 0.156 23.528 0.250 0.275 0.277 0.308 0.000

Problem 185

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

22 19 19 18 17 17 15 17 17

N.S.

1 0.86 0.86 0.82 0.77 0.77 0.68 0.77 0.77

time (sec)

N/A 0.160 0.014 0.245 0.183 0.276 0.077 0.254 0.066

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B B B B B

verified

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

size

30 0 40 38 74 74 63 83 37

N.S.

1 0.00 1.33 1.27 2.47 2.47 2.10 2.77 1.23

time (sec)

N/A 0.000 6.453 0.611 0.314 0.264 0.191 0.279 0.679

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 217 85 26 85 81 138 84 170

N.S.

1 10.85 4.25 1.30 4.25 4.05 6.90 4.20 8.50

time (sec)

N/A 0.956 0.036 1.396 0.197 0.277 0.906 0.261 0.272

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

30 0 142 175 35 38 32 0 0

N.S.

1 0.00 4.73 5.83 1.17 1.27 1.07 0.00 0.00

time (sec)

N/A 0.000 0.194 0.183 0.520 0.274 2.546 0.000 0.000

Problem 189

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

25 20 24 21 20 20 19 22 18

N.S.

1 0.80 0.96 0.84 0.80 0.80 0.76 0.88 0.72

time (sec)

N/A 0.249 0.011 0.210 0.185 0.249 0.075 0.252 0.089

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F F A A A A A B

verified

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

size

25 0 0 25 26 26 24 26 24

N.S.

1 0.00 0.00 1.00 1.04 1.04 0.96 1.04 0.96

time (sec)

N/A 0.000 0.000 0.644 0.238 0.289 0.354 0.312 0.679

Problem 191

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

13 11 17 11 10 10 10 10 10

N.S.

1 0.85 1.31 0.85 0.77 0.77 0.77 0.77 0.77

time (sec)

N/A 0.150 0.003 0.407 0.216 0.259 0.049 0.250 9.676

Problem 192

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

25 24 22 20 19 19 15 19 19

N.S.

1 0.96 0.88 0.80 0.76 0.76 0.60 0.76 0.76

time (sec)

N/A 0.735 0.360 1.504 0.348 0.252 0.213 0.255 0.402

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B B B B B B B

verified

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

size

24 0 51 49 80 80 63 98 26

N.S.

1 0.00 2.12 2.04 3.33 3.33 2.62 4.08 1.08

time (sec)

N/A 0.000 8.020 0.335 0.248 0.269 0.128 0.266 9.122

Problem 194

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

23 39 39 31 33 35 36 33 34

N.S.

1 1.70 1.70 1.35 1.43 1.52 1.57 1.43 1.48

time (sec)

N/A 0.209 0.010 0.295 0.190 0.239 0.139 0.250 8.904

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C B A A A A F B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

21 366 293 18 37 17 17 0 17

N.S.

1 17.43 13.95 0.86 1.76 0.81 0.81 0.00 0.81

time (sec)

N/A 1.138 0.194 0.534 0.201 0.265 0.099 0.000 9.457

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A A A A B

verified

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

size

31 0 39 29 29 29 22 45 33

N.S.

1 0.00 1.26 0.94 0.94 0.94 0.71 1.45 1.06

time (sec)

N/A 0.000 0.204 0.907 0.251 0.248 0.082 0.264 9.240

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

15 0 15 15 35 15 0 0 13

N.S.

1 0.00 1.00 1.00 2.33 1.00 0.00 0.00 0.87

time (sec)

N/A 0.000 0.378 1.377 0.337 0.244 0.000 0.000 0.187

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F B B F B

verified

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

size

22 22 54 0 0 67 65 0 34

N.S.

1 1.00 2.45 0.00 0.00 3.05 2.95 0.00 1.55

time (sec)

N/A 0.828 0.107 0.000 0.000 0.257 1.268 0.000 9.676

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 33 34 36 49 28 31 33 36

N.S.

1 1.14 1.17 1.24 1.69 0.97 1.07 1.14 1.24

time (sec)

N/A 0.388 0.039 1.155 0.191 0.257 0.132 0.252 0.313

Problem 200

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

24 15 18 16 15 20 12 15 15

N.S.

1 0.62 0.75 0.67 0.62 0.83 0.50 0.62 0.62

time (sec)

N/A 0.165 0.011 2.441 0.189 0.230 0.059 0.256 8.923

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