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

Integrals 4101 to 4200

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 4101

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 4102

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 4103

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 31 19 25 49 23 26 33 78

N.S.

1 1.55 0.95 1.25 2.45 1.15 1.30 1.65 3.90

time (sec)

N/A 0.049 0.065 2.541 0.195 0.268 0.097 0.267 16.119

Problem 4104

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

N.S.

1 0.70 0.70 0.61 0.57 0.57 0.52 0.57 0.57

time (sec)

N/A 0.003 0.004 0.215 0.197 0.262 0.041 0.269 0.045

Problem 4105

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

N.S.

1 0.54 0.54 0.46 0.54 0.54 0.38 0.54 0.38

time (sec)

N/A 0.001 0.000 0.196 0.171 0.238 0.017 0.272 0.027

Problem 4106

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 4107

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 4108

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 120 50 72 80 68 88 63 63

N.S.

1 4.00 1.67 2.40 2.67 2.27 2.93 2.10 2.10

time (sec)

N/A 0.119 0.054 3.081 0.178 0.286 1.294 0.300 10.230

Problem 4109

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 4110

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.099 0.289 2.784 0.238 0.255 0.064 0.279 10.322

Problem 4111

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 4112

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

N.S.

1 1.00 1.20 0.95 0.90 1.00 0.95 0.90 0.90

time (sec)

N/A 0.223 0.506 2.450 0.205 0.262 0.153 0.273 0.233

Problem 4113

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 29 33 27 51 47 29 47 26

N.S.

1 0.91 1.03 0.84 1.59 1.47 0.91 1.47 0.81

time (sec)

N/A 0.064 0.073 2.003 0.183 0.277 0.117 0.253 0.116

Problem 4114

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 4115

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.001 0.001 0.500 0.178 0.234 0.022 0.262 0.048

Problem 4116

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

N.S.

1 2.17 0.91 1.00 1.22 1.17 1.26 1.30 0.87

time (sec)

N/A 0.136 0.030 2.064 0.179 0.245 0.708 0.266 10.346

Problem 4117

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 4118

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 4119

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.001 0.001 1.032 0.172 0.230 0.021 0.261 0.031

Problem 4120

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 4121

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 4122

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

N.S.

1 1.37 1.37 0.89 0.79 1.16 0.74 0.89 0.84

time (sec)

N/A 0.115 0.138 5.116 0.206 0.234 0.043 0.268 9.856

Problem 4123

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.153 0.380 0.314 0.000 0.241 0.103 0.287 9.789

Problem 4124

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.002 0.002 0.697 0.195 0.235 0.029 0.265 0.059

Problem 4125

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.048 0.031 0.596 0.241 0.256 0.091 0.264 9.902

Problem 4126

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.502 0.168 50.220 0.315 0.246 0.371 0.262 10.120

Problem 4127

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 188 33 19 28 18 19 28 20

N.S.

1 8.55 1.50 0.86 1.27 0.82 0.86 1.27 0.91

time (sec)

N/A 1.301 0.456 4.248 0.320 0.241 1.479 0.276 10.116

Problem 4128

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.176 0.636 1.319 0.214 0.242 0.151 0.267 0.507

Problem 4129

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.041 0.074 0.733 0.184 0.244 0.101 0.264 9.794

Problem 4130

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.118 0.155 0.161 0.230 0.235 0.034 0.272 9.682

Problem 4131

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 26 23 40 30 29 31 30 0

N.S.

1 1.00 0.88 1.54 1.15 1.12 1.19 1.15 0.00

time (sec)

N/A 0.500 0.354 2.862 0.312 0.248 0.271 0.288 0.000

Problem 4132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A B B B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 330 30 73 61 71 71 0 72

N.S.

1 13.20 1.20 2.92 2.44 2.84 2.84 0.00 2.88

time (sec)

N/A 20.872 0.157 5.707 0.432 0.251 1.606 0.000 9.903

Problem 4133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 48 48 47 46 40 0 48 250

N.S.

1 1.78 1.78 1.74 1.70 1.48 0.00 1.78 9.26

time (sec)

N/A 2.936 0.117 5.573 0.235 0.251 0.000 0.426 15.099

Problem 4134

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 4135

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.018 0.003 0.934 0.177 0.246 0.068 0.268 9.741

Problem 4136

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.004 0.000 0.396 0.183 0.237 0.020 0.262 0.033

Problem 4137

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 4138

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 4139

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 4140

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.098 0.055 4.798 0.184 0.245 0.079 0.266 9.623

Problem 4141

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.219 1.415 0.469 0.212 0.257 0.070 0.298 10.073

Problem 4142

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.002 0.004 0.596 0.180 0.251 0.051 0.259 10.061

Problem 4143

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.001 0.000 0.424 0.176 0.254 0.019 0.258 0.025

Problem 4144

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.207 0.180 2.070 0.212 0.237 0.212 0.276 10.142

Problem 4145

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 4146

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 4147

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.099 0.075 0.799 0.259 0.237 0.072 0.261 10.208

Problem 4148

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.070 0.011 0.635 0.174 0.248 0.049 0.261 10.148

Problem 4149

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.003 0.020 0.823 0.173 0.257 0.040 0.265 0.064

Problem 4150

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 4151

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.008 0.012 0.423 0.189 0.251 0.057 0.258 10.086

Problem 4152

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 4153

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 4154

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 4155

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 4156

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

N.S.

1 1.00 1.23 1.05 1.09 1.14 0.91 1.18 0.91

time (sec)

N/A 0.038 0.014 1.854 0.170 0.242 0.166 0.269 0.112

Problem 4157

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 4158

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.028 0.041 1.515 0.189 0.247 0.121 0.000 0.086

Problem 4159

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.429 1.004 7.674 0.000 0.240 0.221 0.278 10.036

Problem 4160

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 30 21 26 97 25 26 74 23

N.S.

1 1.36 0.95 1.18 4.41 1.14 1.18 3.36 1.05

time (sec)

N/A 0.178 0.070 3.231 0.195 0.265 0.133 0.265 10.166

Problem 4161

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 4162

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.175 0.235 3.622 0.240 0.249 0.120 0.000 10.848

Problem 4163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F(-1) 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 4164

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.062 0.052 2.832 0.254 0.251 0.081 0.279 10.510

Problem 4165

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.056 0.023 0.707 0.187 0.243 0.179 0.271 0.277

Problem 4166

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 4167

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.036 0.025 6.038 0.218 0.250 0.094 0.270 9.954

Problem 4168

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.007 0.007 0.378 0.181 0.245 0.038 0.260 0.136

Problem 4169

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 4170

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 4171

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.290 0.686 66.776 0.318 0.236 1.958 0.000 9.907

Problem 4172

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 31 14 15 69 19 17 19 14

N.S.

1 1.55 0.70 0.75 3.45 0.95 0.85 0.95 0.70

time (sec)

N/A 0.207 0.077 0.663 0.269 0.251 0.085 0.260 9.790

Problem 4173

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.019 0.019 1.480 0.200 0.239 0.066 0.271 9.781

Problem 4174

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.018 0.040 0.489 0.199 0.260 0.071 0.251 0.096

Problem 4175

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 4176

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.030 0.013 2.531 0.193 0.242 0.053 0.243 0.091

Problem 4177

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 4178

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.048 0.065 1.033 0.195 0.267 1.941 0.000 0.127

Problem 4179

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.001 0.001 0.342 0.175 0.249 0.024 0.244 0.107

Problem 4180

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 23 23 19 22 17 17 17 17

N.S.

1 0.92 0.92 0.76 0.88 0.68 0.68 0.68 0.68

time (sec)

N/A 0.029 0.018 1.186 0.210 0.251 0.077 0.249 0.062

Problem 4181

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 4182

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

N.S.

1 1.59 1.12 1.12 1.06 1.06 0.88 1.06 1.06

time (sec)

N/A 0.041 0.241 1.618 0.312 0.245 0.071 0.267 10.038

Problem 4183

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.014 0.018 0.485 0.179 0.236 0.293 0.252 0.067

Problem 4184

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.031 0.007 0.277 0.184 0.246 0.063 0.249 9.977

Problem 4185

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

N.S.

1 0.97 1.13 0.90 0.80 1.37 0.80 0.83 0.80

time (sec)

N/A 0.012 0.020 0.449 0.187 0.242 0.180 0.249 9.967

Problem 4186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F(-1) 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 4187

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.026 0.006 0.315 0.177 0.250 0.062 0.253 9.941

Problem 4188

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 4189

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 0.581 0.022 3.015 0.185 0.229 0.149 0.247 0.136

Problem 4190

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.663 0.156 0.986 0.191 0.243 0.080 0.254 10.090

Problem 4191

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 4192

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 4193

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.002 0.001 0.170 0.194 0.222 0.027 0.242 0.027

Problem 4194

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 0.574 0.124 1.805 0.245 0.254 0.202 0.262 9.981

Problem 4195

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.020 0.089 0.360 0.176 0.229 0.153 0.250 0.122

Problem 4196

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.470 0.577 5.159 0.367 0.249 0.549 0.250 10.578

Problem 4197

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.057 0.042 0.137 0.186 0.227 0.049 0.243 0.043

Problem 4198

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 0.931 5.072 4.796 0.347 0.269 0.148 0.311 11.071

Problem 4199

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 4200

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 51 53 48 45 43 41 45 42

N.S.

1 1.42 1.47 1.33 1.25 1.19 1.14 1.25 1.17

time (sec)

N/A 0.048 0.071 1.310 0.192 0.249 0.145 0.252 10.237

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