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

2.2.12 Integrals 1101 to 1200

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 1101

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

29 0 29 37 29 39 27 43 38

N.S.

1 0.00 1.00 1.28 1.00 1.34 0.93 1.48 1.31

time (sec)

N/A 0.000 0.261 37.147 0.222 0.262 0.082 0.324 0.354

Problem 1102

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

31 0 31 27 30 27 27 27 0

N.S.

1 0.00 1.00 0.87 0.97 0.87 0.87 0.87 0.00

time (sec)

N/A 0.000 0.266 3.116 0.343 0.250 0.215 0.625 0.000

Problem 1103

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

20 38 19 25 49 23 26 33 78

N.S.

1 1.90 0.95 1.25 2.45 1.15 1.30 1.65 3.90

time (sec)

N/A 0.241 0.065 2.541 0.195 0.268 0.097 0.267 16.119

Problem 1104

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 18 16 14 13 13 12 13 13

N.S.

1 0.78 0.70 0.61 0.57 0.57 0.52 0.57 0.57

time (sec)

N/A 0.142 0.004 0.215 0.197 0.262 0.041 0.269 0.045

Problem 1105

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

N.S.

1 0.38 0.54 0.46 0.54 0.54 0.38 0.54 0.38

time (sec)

N/A 0.119 0.000 0.196 0.171 0.238 0.017 0.272 0.027

Problem 1106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A B B

verified

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

size

23 0 41 39 56 30 37 80 41

N.S.

1 0.00 1.78 1.70 2.43 1.30 1.61 3.48 1.78

time (sec)

N/A 0.000 2.846 0.799 0.289 0.270 0.161 0.287 0.217

Problem 1107

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

21 0 16 16 17 15 17 19 13

N.S.

1 0.00 0.76 0.76 0.81 0.71 0.81 0.90 0.62

time (sec)

N/A 0.000 0.133 0.812 0.296 0.255 0.110 0.269 9.963

Problem 1108

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

30 140 50 72 80 68 88 63 63

N.S.

1 4.67 1.67 2.40 2.67 2.27 2.93 2.10 2.10

time (sec)

N/A 0.519 0.054 3.081 0.178 0.286 1.294 0.300 10.230

Problem 1109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 33 41 55 55 0 39 37

N.S.

1 0.00 1.18 1.46 1.96 1.96 0.00 1.39 1.32

time (sec)

N/A 0.000 0.107 36.431 0.309 0.257 0.000 0.301 10.416

Problem 1110

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

21 20 20 22 16 21 19 21 21

N.S.

1 0.95 0.95 1.05 0.76 1.00 0.90 1.00 1.00

time (sec)

N/A 0.353 0.289 2.784 0.238 0.255 0.064 0.279 10.322

Problem 1111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

32 0 47 72 63 60 66 67 0

N.S.

1 0.00 1.47 2.25 1.97 1.88 2.06 2.09 0.00

time (sec)

N/A 0.000 0.125 4.303 0.258 0.272 0.164 4.161 0.000

Problem 1112

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 24 24 19 18 20 19 18 18

N.S.

1 1.20 1.20 0.95 0.90 1.00 0.95 0.90 0.90

time (sec)

N/A 0.551 0.506 2.450 0.205 0.262 0.153 0.273 0.233

Problem 1113

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

32 53 33 27 51 47 29 47 26

N.S.

1 1.66 1.03 0.84 1.59 1.47 0.91 1.47 0.81

time (sec)

N/A 0.286 0.073 2.003 0.183 0.277 0.117 0.253 0.116

Problem 1114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A C A A A A B

verified

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

size

26 0 26 299 47 36 20 38 26

N.S.

1 0.00 1.00 11.50 1.81 1.38 0.77 1.46 1.00

time (sec)

N/A 0.000 0.175 0.062 0.310 0.261 1.037 0.374 10.589

Problem 1115

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 10 10 8 7 7 8 7 7

N.S.

1 1.00 1.00 0.80 0.70 0.70 0.80 0.70 0.70

time (sec)

N/A 0.122 0.001 0.500 0.178 0.234 0.022 0.262 0.048

Problem 1116

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 49 21 23 28 27 29 30 20

N.S.

1 2.13 0.91 1.00 1.22 1.17 1.26 1.30 0.87

time (sec)

N/A 0.318 0.030 2.064 0.179 0.245 0.708 0.266 10.346

Problem 1117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A C B A A F B

verified

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

size

28 0 29 75 116 32 29 0 56

N.S.

1 0.00 1.04 2.68 4.14 1.14 1.04 0.00 2.00

time (sec)

N/A 0.000 0.282 0.523 0.253 0.250 0.605 0.000 9.923

Problem 1118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

23 0 26 27 49 29 24 230 0

N.S.

1 0.00 1.13 1.17 2.13 1.26 1.04 10.00 0.00

time (sec)

N/A 0.000 0.055 22.575 0.245 0.240 0.145 0.364 0.000

Problem 1119

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

7 11 7 7 6 6 7 7 6

N.S.

1 1.57 1.00 1.00 0.86 0.86 1.00 1.00 0.86

time (sec)

N/A 0.127 0.001 1.032 0.172 0.230 0.021 0.261 0.031

Problem 1120

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 21 18 23 23 19 17 17

N.S.

1 0.00 1.31 1.12 1.44 1.44 1.19 1.06 1.06

time (sec)

N/A 0.000 0.519 0.556 0.224 0.251 0.121 0.268 0.115

Problem 1121

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

33 0 32 112 57 44 26 218 296

N.S.

1 0.00 0.97 3.39 1.73 1.33 0.79 6.61 8.97

time (sec)

N/A 0.000 0.125 7.305 0.342 0.269 0.121 0.718 10.430

Problem 1122

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 27 26 17 15 22 14 17 16

N.S.

1 1.42 1.37 0.89 0.79 1.16 0.74 0.89 0.84

time (sec)

N/A 0.360 0.138 5.116 0.206 0.234 0.043 0.268 9.856

Problem 1123

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

27 50 28 17 0 31 29 31 17

N.S.

1 1.85 1.04 0.63 0.00 1.15 1.07 1.15 0.63

time (sec)

N/A 0.441 0.380 0.314 0.000 0.241 0.103 0.287 9.789

Problem 1124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 10 12 15 23 14 15 11

N.S.

1 1.00 0.83 1.00 1.25 1.92 1.17 1.25 0.92

time (sec)

N/A 0.126 0.002 0.697 0.195 0.235 0.029 0.265 0.059

Problem 1125

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 36 14 14 13 13 12 13 13

N.S.

1 1.64 0.64 0.64 0.59 0.59 0.55 0.59 0.59

time (sec)

N/A 0.213 0.031 0.596 0.241 0.256 0.091 0.264 9.902

Problem 1126

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 17 17 15 14 14 14 14 14

N.S.

1 0.68 0.68 0.60 0.56 0.56 0.56 0.56 0.56

time (sec)

N/A 0.823 0.168 50.220 0.315 0.246 0.371 0.262 10.120

Problem 1127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 105 33 19 28 18 19 28 20

N.S.

1 4.77 1.50 0.86 1.27 0.82 0.86 1.27 0.91

time (sec)

N/A 1.172 0.456 4.248 0.320 0.241 1.479 0.276 10.116

Problem 1128

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 20 20 19 18 18 17 18 18

N.S.

1 0.91 0.91 0.86 0.82 0.82 0.77 0.82 0.82

time (sec)

N/A 0.464 0.636 1.319 0.214 0.242 0.151 0.267 0.507

Problem 1129

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

13 22 14 13 29 15 20 31 12

N.S.

1 1.69 1.08 1.00 2.23 1.15 1.54 2.38 0.92

time (sec)

N/A 0.200 0.074 0.733 0.184 0.244 0.101 0.264 9.794

Problem 1130

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

16 26 26 17 44 19 15 26 16

N.S.

1 1.62 1.62 1.06 2.75 1.19 0.94 1.62 1.00

time (sec)

N/A 0.336 0.155 0.161 0.230 0.235 0.034 0.272 9.682

Problem 1131

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

26 23 23 40 30 29 31 30 0

N.S.

1 0.88 0.88 1.54 1.15 1.12 1.19 1.15 0.00

time (sec)

N/A 0.925 0.354 2.862 0.312 0.248 0.271 0.288 0.000

Problem 1132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A B B B B F B

verified

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

size

25 0 30 73 61 71 71 0 72

N.S.

1 0.00 1.20 2.92 2.44 2.84 2.84 0.00 2.88

time (sec)

N/A 0.000 0.157 5.707 0.432 0.251 1.606 0.000 9.903

Problem 1133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 48 47 46 40 0 48 250

N.S.

1 0.00 1.78 1.74 1.70 1.48 0.00 1.78 9.26

time (sec)

N/A 0.000 0.117 5.573 0.235 0.251 0.000 0.426 15.099

Problem 1134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

33 0 35 38 0 29 0 59 56

N.S.

1 0.00 1.06 1.15 0.00 0.88 0.00 1.79 1.70

time (sec)

N/A 0.000 0.468 57.497 0.000 0.249 0.000 0.354 10.335

Problem 1135

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

28 23 23 27 22 21 17 21 21

N.S.

1 0.82 0.82 0.96 0.79 0.75 0.61 0.75 0.75

time (sec)

N/A 0.219 0.003 0.934 0.177 0.246 0.068 0.268 9.741

Problem 1136

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

28 14 27 19 26 26 20 26 21

N.S.

1 0.50 0.96 0.68 0.93 0.93 0.71 0.93 0.75

time (sec)

N/A 0.133 0.000 0.396 0.183 0.237 0.020 0.262 0.033

Problem 1137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A B B

verified

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

size

25 0 34 33 56 30 37 53 32

N.S.

1 0.00 1.36 1.32 2.24 1.20 1.48 2.12 1.28

time (sec)

N/A 0.000 5.075 12.704 0.311 0.266 0.153 0.372 10.639

Problem 1138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B B B B

verified

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

size

33 0 51 46 49 60 46 53 50

N.S.

1 0.00 1.55 1.39 1.48 1.82 1.39 1.61 1.52

time (sec)

N/A 0.000 0.200 7.969 0.531 0.256 0.478 0.707 10.444

Problem 1139

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

23 0 19 15 18 17 14 18 18

N.S.

1 0.00 0.83 0.65 0.78 0.74 0.61 0.78 0.78

time (sec)

N/A 0.000 0.365 0.392 0.205 0.244 0.097 0.273 0.095

Problem 1140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 86 21 27 76 27 27 62 20

N.S.

1 4.10 1.00 1.29 3.62 1.29 1.29 2.95 0.95

time (sec)

N/A 0.292 0.055 4.798 0.184 0.245 0.079 0.266 9.623

Problem 1141

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 21 21 20 24 24 22 24 25

N.S.

1 0.88 0.88 0.83 1.00 1.00 0.92 1.00 1.04

time (sec)

N/A 0.526 1.415 0.469 0.212 0.257 0.070 0.298 10.073

Problem 1142

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 11 11 12 11 11 10 11 10

N.S.

1 0.65 0.65 0.71 0.65 0.65 0.59 0.65 0.59

time (sec)

N/A 0.135 0.004 0.596 0.180 0.251 0.051 0.259 10.061

Problem 1143

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

12 7 7 8 7 7 5 7 7

N.S.

1 0.58 0.58 0.67 0.58 0.58 0.42 0.58 0.58

time (sec)

N/A 0.121 0.000 0.424 0.176 0.254 0.019 0.258 0.025

Problem 1144

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

30 81 64 73 78 54 65 71 65

N.S.

1 2.70 2.13 2.43 2.60 1.80 2.17 2.37 2.17

time (sec)

N/A 0.458 0.180 2.070 0.212 0.237 0.212 0.276 10.142

Problem 1145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F B B F B

verified

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

size

32 0 34 57 0 66 61 0 29

N.S.

1 0.00 1.06 1.78 0.00 2.06 1.91 0.00 0.91

time (sec)

N/A 0.000 7.209 2.524 0.000 0.257 0.285 0.000 0.499

Problem 1146

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 40 29 34 34 26 38 0

N.S.

1 0.00 1.60 1.16 1.36 1.36 1.04 1.52 0.00

time (sec)

N/A 0.000 0.295 2.602 0.230 0.243 0.238 0.290 0.000

Problem 1147

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 14 15 12 12 11 12 12 12

N.S.

1 0.82 0.88 0.71 0.71 0.65 0.71 0.71 0.71

time (sec)

N/A 0.287 0.075 0.799 0.259 0.237 0.072 0.261 10.208

Problem 1148

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

26 14 14 15 14 20 14 14 14

N.S.

1 0.54 0.54 0.58 0.54 0.77 0.54 0.54 0.54

time (sec)

N/A 0.261 0.011 0.635 0.174 0.248 0.049 0.261 10.148

Problem 1149

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 18 18 15 14 14 12 14 15

N.S.

1 1.00 1.00 0.83 0.78 0.78 0.67 0.78 0.83

time (sec)

N/A 0.141 0.020 0.823 0.173 0.257 0.040 0.265 0.064

Problem 1150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A B B

verified

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

size

28 0 38 34 53 30 32 52 31

N.S.

1 0.00 1.36 1.21 1.89 1.07 1.14 1.86 1.11

time (sec)

N/A 0.000 0.204 3.399 0.308 0.260 0.193 0.280 10.952

Problem 1151

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 9 9 8 7 7 7 7 7

N.S.

1 0.64 0.64 0.57 0.50 0.50 0.50 0.50 0.50

time (sec)

N/A 0.163 0.012 0.423 0.189 0.251 0.057 0.258 10.086

Problem 1152

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 24 24 22 24 0

N.S.

1 0.00 1.00 1.00 0.96 0.96 0.88 0.96 0.00

time (sec)

N/A 0.000 0.308 1.612 0.315 0.251 0.071 0.317 0.000

Problem 1153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B A A A A A B

verified

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

size

28 0 67 21 31 31 15 42 20

N.S.

1 0.00 2.39 0.75 1.11 1.11 0.54 1.50 0.71

time (sec)

N/A 0.000 2.356 1.671 0.237 0.266 0.130 0.291 10.215

Problem 1154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A C B A B B B

verified

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

size

28 0 26 44256 145 52 71 284 70

N.S.

1 0.00 0.93 1580.57 5.18 1.86 2.54 10.14 2.50

time (sec)

N/A 0.000 0.441 10.162 0.350 0.243 0.180 0.318 10.501

Problem 1155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B B B A A F B

verified

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

size

29 0 114 206 96 32 32 0 57

N.S.

1 0.00 3.93 7.10 3.31 1.10 1.10 0.00 1.97

time (sec)

N/A 0.000 0.124 3.160 0.192 0.270 0.132 0.000 10.520

Problem 1156

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 32 27 23 24 25 20 26 20

N.S.

1 1.45 1.23 1.05 1.09 1.14 0.91 1.18 0.91

time (sec)

N/A 0.250 0.014 1.854 0.170 0.242 0.166 0.269 0.112

Problem 1157

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

24 0 38 31 21 29 26 65 52

N.S.

1 0.00 1.58 1.29 0.88 1.21 1.08 2.71 2.17

time (sec)

N/A 0.000 0.623 3.241 0.391 0.237 0.090 0.265 10.144

Problem 1158

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

15 13 13 9 8 8 10 0 8

N.S.

1 0.87 0.87 0.60 0.53 0.53 0.67 0.00 0.53

time (sec)

N/A 0.220 0.041 1.515 0.189 0.247 0.121 0.000 0.086

Problem 1159

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

23 28 23 24 0 36 20 19 22

N.S.

1 1.22 1.00 1.04 0.00 1.57 0.87 0.83 0.96

time (sec)

N/A 0.657 1.004 7.674 0.000 0.240 0.221 0.278 10.036

Problem 1160

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

22 31 21 26 97 25 26 74 23

N.S.

1 1.41 0.95 1.18 4.41 1.14 1.18 3.36 1.05

time (sec)

N/A 0.411 0.070 3.231 0.195 0.265 0.133 0.265 10.166

Problem 1161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A A A B

verified

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

size

27 0 26 24 0 23 22 43 23

N.S.

1 0.00 0.96 0.89 0.00 0.85 0.81 1.59 0.85

time (sec)

N/A 0.000 4.559 1.066 0.000 0.244 2.822 0.288 10.485

Problem 1162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 65 21 20 19 19 19 0 19

N.S.

1 2.83 0.91 0.87 0.83 0.83 0.83 0.00 0.83

time (sec)

N/A 0.401 0.235 3.622 0.240 0.249 0.120 0.000 10.848

Problem 1163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

37 0 53 107 222 115 114 0 419

N.S.

1 0.00 1.43 2.89 6.00 3.11 3.08 0.00 11.32

time (sec)

N/A 0.000 0.644 119.965 45.854 0.278 56.127 0.000 11.593

Problem 1164

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 44 20 24 19 23 20 23 21

N.S.

1 2.00 0.91 1.09 0.86 1.05 0.91 1.05 0.95

time (sec)

N/A 0.259 0.052 2.832 0.254 0.251 0.081 0.279 10.510

Problem 1165

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 22 18 29 41 47 42 41 39

N.S.

1 0.96 0.78 1.26 1.78 2.04 1.83 1.78 1.70

time (sec)

N/A 0.324 0.023 0.707 0.187 0.243 0.179 0.271 0.277

Problem 1166

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

23 0 0 22 27 23 19 23 80

N.S.

1 0.00 0.00 0.96 1.17 1.00 0.83 1.00 3.48

time (sec)

N/A 0.000 0.000 0.852 0.312 0.242 0.128 0.342 11.063

Problem 1167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 26 26 25 66 24 24 42 24

N.S.

1 1.04 1.04 1.00 2.64 0.96 0.96 1.68 0.96

time (sec)

N/A 0.219 0.025 6.038 0.218 0.250 0.094 0.270 9.954

Problem 1168

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 27 27 21 20 20 29 20 20

N.S.

1 0.90 0.90 0.70 0.67 0.67 0.97 0.67 0.67

time (sec)

N/A 0.142 0.007 0.378 0.181 0.245 0.038 0.260 0.136

Problem 1169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F B A B A A A B

verified

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

size

25 0 60 21 53 33 34 33 36

N.S.

1 0.00 2.40 0.84 2.12 1.32 1.36 1.32 1.44

time (sec)

N/A 0.000 0.340 1.771 0.270 0.238 0.205 0.742 9.799

Problem 1170

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 24 14 17 14 14 17 16

N.S.

1 0.00 0.96 0.56 0.68 0.56 0.56 0.68 0.64

time (sec)

N/A 0.000 1.186 17.397 0.526 0.244 0.416 0.274 10.316

Problem 1171

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

19 19 25 19 17 17 17 0 16

N.S.

1 1.00 1.32 1.00 0.89 0.89 0.89 0.00 0.84

time (sec)

N/A 0.510 0.686 66.776 0.318 0.236 1.958 0.000 9.907

Problem 1172

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

20 33 14 15 69 19 17 19 14

N.S.

1 1.65 0.70 0.75 3.45 0.95 0.85 0.95 0.70

time (sec)

N/A 0.523 0.077 0.663 0.269 0.251 0.085 0.260 9.790

Problem 1173

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

19 22 18 19 18 20 15 40 18

N.S.

1 1.16 0.95 1.00 0.95 1.05 0.79 2.11 0.95

time (sec)

N/A 0.180 0.019 1.480 0.200 0.239 0.066 0.271 9.781

Problem 1174

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 19 19 19 18 22 15 22 18

N.S.

1 0.79 0.79 0.79 0.75 0.92 0.62 0.92 0.75

time (sec)

N/A 0.185 0.040 0.489 0.199 0.260 0.071 0.251 0.096

Problem 1175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A B A A B B

verified

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

size

27 0 31 32 163 33 32 58 35

N.S.

1 0.00 1.15 1.19 6.04 1.22 1.19 2.15 1.30

time (sec)

N/A 0.000 0.086 4.332 0.438 0.258 0.438 0.278 10.119

Problem 1176

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 24 24 20 25 19 19 28 19

N.S.

1 1.00 1.00 0.83 1.04 0.79 0.79 1.17 0.79

time (sec)

N/A 0.234 0.013 2.531 0.193 0.242 0.053 0.243 0.091

Problem 1177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

18 0 16 16 0 15 0 17 15

N.S.

1 0.00 0.89 0.89 0.00 0.83 0.00 0.94 0.83

time (sec)

N/A 0.000 0.429 4.050 0.000 0.256 0.000 0.253 9.932

Problem 1178

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

19 34 32 28 26 26 29 0 35

N.S.

1 1.79 1.68 1.47 1.37 1.37 1.53 0.00 1.84

time (sec)

N/A 0.221 0.065 1.033 0.195 0.267 1.941 0.000 0.127

Problem 1179

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

12 6 6 7 6 6 5 7 6

N.S.

1 0.50 0.50 0.58 0.50 0.50 0.42 0.58 0.50

time (sec)

N/A 0.122 0.001 0.342 0.175 0.249 0.024 0.244 0.107

Problem 1180

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

25 22 23 19 22 17 17 17 17

N.S.

1 0.88 0.92 0.76 0.88 0.68 0.68 0.68 0.68

time (sec)

N/A 0.198 0.018 1.186 0.210 0.251 0.077 0.249 0.062

Problem 1181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

32 0 0 77 0 64 97 0 0

N.S.

1 0.00 0.00 2.41 0.00 2.00 3.03 0.00 0.00

time (sec)

N/A 0.000 0.000 13.928 0.000 0.260 0.285 0.000 0.000

Problem 1182

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 26 19 19 18 18 15 18 18

N.S.

1 1.53 1.12 1.12 1.06 1.06 0.88 1.06 1.06

time (sec)

N/A 0.290 0.241 1.618 0.312 0.245 0.071 0.267 10.038

Problem 1183

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 29 30 32 30 31 31 34 24

N.S.

1 0.97 1.00 1.07 1.00 1.03 1.03 1.13 0.80

time (sec)

N/A 0.188 0.018 0.485 0.179 0.236 0.293 0.252 0.067

Problem 1184

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 22 22 23 30 27 20 22 21

N.S.

1 0.88 0.88 0.92 1.20 1.08 0.80 0.88 0.84

time (sec)

N/A 0.213 0.007 0.277 0.184 0.246 0.063 0.249 9.977

Problem 1185

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 33 34 27 24 41 24 25 24

N.S.

1 1.10 1.13 0.90 0.80 1.37 0.80 0.83 0.80

time (sec)

N/A 0.222 0.020 0.449 0.187 0.242 0.180 0.249 9.967

Problem 1186

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 26 26 30 30 24 30 25

N.S.

1 0.00 0.84 0.84 0.97 0.97 0.77 0.97 0.81

time (sec)

N/A 0.000 0.022 0.845 0.182 0.246 0.867 0.254 0.124

Problem 1187

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 16 16 17 16 14 14 15 11

N.S.

1 1.23 1.23 1.31 1.23 1.08 1.08 1.15 0.85

time (sec)

N/A 0.189 0.006 0.315 0.177 0.250 0.062 0.253 9.941

Problem 1188

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

24 0 26 27 31 31 204 31 181

N.S.

1 0.00 1.08 1.12 1.29 1.29 8.50 1.29 7.54

time (sec)

N/A 0.000 2.062 32.295 0.220 0.261 0.308 0.266 10.500

Problem 1189

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

26 35 37 24 29 38 29 29 27

N.S.

1 1.35 1.42 0.92 1.12 1.46 1.12 1.12 1.04

time (sec)

N/A 2.709 0.022 3.015 0.185 0.229 0.149 0.247 0.136

Problem 1190

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 40 36 34 33 33 34 33 37

N.S.

1 1.38 1.24 1.17 1.14 1.14 1.17 1.14 1.28

time (sec)

N/A 0.933 0.156 0.986 0.191 0.243 0.080 0.254 10.090

Problem 1191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

36 0 64 58 62 57 0 111 528

N.S.

1 0.00 1.78 1.61 1.72 1.58 0.00 3.08 14.67

time (sec)

N/A 0.000 0.281 9.262 0.373 0.253 0.000 0.928 11.657

Problem 1192

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

35 0 376 675 663 412 350 626 291

N.S.

1 0.00 10.74 19.29 18.94 11.77 10.00 17.89 8.31

time (sec)

N/A 0.000 0.544 607.355 0.373 0.263 3.648 0.294 11.124

Problem 1193

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 8 8 9 12 8 5 9 8

N.S.

1 0.53 0.53 0.60 0.80 0.53 0.33 0.60 0.53

time (sec)

N/A 0.138 0.001 0.170 0.194 0.222 0.027 0.242 0.027

Problem 1194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B C B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 48 29 155 467 128 201 219 159

N.S.

1 2.00 1.21 6.46 19.46 5.33 8.38 9.12 6.62

time (sec)

N/A 1.135 0.124 1.805 0.245 0.254 0.202 0.262 9.981

Problem 1195

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 26 23 22 24 29 26 20 22

N.S.

1 1.08 0.96 0.92 1.00 1.21 1.08 0.83 0.92

time (sec)

N/A 0.171 0.089 0.360 0.176 0.229 0.153 0.250 0.122

Problem 1196

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

18 18 18 20 56 17 15 17 17

N.S.

1 1.00 1.00 1.11 3.11 0.94 0.83 0.94 0.94

time (sec)

N/A 0.788 0.577 5.159 0.367 0.249 0.549 0.250 10.578

Problem 1197

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

16 21 13 13 49 15 12 15 12

N.S.

1 1.31 0.81 0.81 3.06 0.94 0.75 0.94 0.75

time (sec)

N/A 0.239 0.042 0.137 0.186 0.227 0.049 0.243 0.043

Problem 1198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 116 28 31 37 32 26 277 78

N.S.

1 3.74 0.90 1.00 1.19 1.03 0.84 8.94 2.52

time (sec)

N/A 1.498 5.072 4.796 0.347 0.269 0.148 0.311 11.071

Problem 1199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F C A A B A B B

verified

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

size

28 0 901 29 47 82 22 304 27

N.S.

1 0.00 32.18 1.04 1.68 2.93 0.79 10.86 0.96

time (sec)

N/A 0.000 0.878 1.758 0.222 0.242 0.127 0.270 10.249

Problem 1200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 53 53 48 45 43 41 45 42

N.S.

1 1.47 1.47 1.33 1.25 1.19 1.14 1.25 1.17

time (sec)

N/A 0.242 0.071 1.310 0.192 0.249 0.145 0.252 10.237

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