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

Integrals 5401 to 5500

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 5401

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

N.S.

1 0.81 0.89 0.70 0.67 0.74 0.70 0.67 0.67

time (sec)

N/A 0.085 0.111 0.588 0.296 0.249 0.080 0.255 11.559

Problem 5402

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

N.S.

1 0.00 0.92 1.00 0.80 0.80 0.76 0.96 0.00

time (sec)

N/A 0.000 0.365 0.119 0.235 0.243 0.145 0.275 0.000

Problem 5403

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 24 17 35 23 17 24 24

N.S.

1 1.65 1.20 0.85 1.75 1.15 0.85 1.20 1.20

time (sec)

N/A 0.067 0.133 0.037 0.185 0.248 0.055 0.276 0.078

Problem 5404

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

20 20 20 31 116 38 42 41 41

N.S.

1 1.00 1.00 1.55 5.80 1.90 2.10 2.05 2.05

time (sec)

N/A 1.966 0.337 0.621 0.531 0.253 0.163 4.016 13.983

Problem 5405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 26 92 32 23 0 32 23

N.S.

1 0.00 1.00 3.54 1.23 0.88 0.00 1.23 0.88

time (sec)

N/A 0.000 0.171 0.076 0.528 0.269 0.000 2.320 12.346

Problem 5406

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

35 42 42 33 32 32 37 34 32

N.S.

1 1.20 1.20 0.94 0.91 0.91 1.06 0.97 0.91

time (sec)

N/A 0.056 0.015 0.040 0.213 0.237 0.056 0.275 0.089

Problem 5407

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

30 0 25 22 23 23 22 23 86

N.S.

1 0.00 0.83 0.73 0.77 0.77 0.73 0.77 2.87

time (sec)

N/A 0.000 0.504 1.342 0.240 0.240 0.121 0.326 11.188

Problem 5408

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

24 0 24 24 39 39 22 39 23

N.S.

1 0.00 1.00 1.00 1.62 1.62 0.92 1.62 0.96

time (sec)

N/A 0.000 0.086 0.286 0.275 0.247 0.098 0.279 11.695

Problem 5409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 621 36 50 34 38 41 49 40

N.S.

1 23.00 1.33 1.85 1.26 1.41 1.52 1.81 1.48

time (sec)

N/A 3.855 6.534 0.198 0.235 0.237 0.195 0.293 11.211

Problem 5410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

29 0 0 38 92 100 46 108 59

N.S.

1 0.00 0.00 1.31 3.17 3.45 1.59 3.72 2.03

time (sec)

N/A 0.000 0.000 3.802 0.469 0.256 0.247 3.162 11.542

Problem 5411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 30 26 30 0 29 26 171 0

N.S.

1 1.03 0.90 1.03 0.00 1.00 0.90 5.90 0.00

time (sec)

N/A 0.329 0.051 0.923 0.000 0.244 47.028 0.503 0.000

Problem 5412

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

18 17 17 14 13 34 12 13 13

N.S.

1 0.94 0.94 0.78 0.72 1.89 0.67 0.72 0.72

time (sec)

N/A 0.014 0.065 0.124 0.182 0.239 0.059 0.258 0.099

Problem 5413

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

N.S.

1 1.00 1.00 0.96 1.04 1.04 0.96 1.04 1.08

time (sec)

N/A 0.150 0.035 0.070 0.196 0.250 0.070 0.275 0.171

Problem 5414

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 28 30 27 26 30 20 26 26

N.S.

1 1.40 1.50 1.35 1.30 1.50 1.00 1.30 1.30

time (sec)

N/A 0.044 0.015 0.270 0.182 0.237 0.047 0.256 0.047

Problem 5415

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

N.S.

1 0.36 0.36 0.43 0.36 0.36 0.36 0.36 0.36

time (sec)

N/A 0.001 0.000 0.024 0.191 0.231 0.016 0.247 0.002

Problem 5416

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

27 0 27 33 25 29 26 23 26

N.S.

1 0.00 1.00 1.22 0.93 1.07 0.96 0.85 0.96

time (sec)

N/A 0.000 0.842 1.091 0.407 0.241 0.157 0.346 11.661

Problem 5417

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 23 17 16 15 18 15 18 15

N.S.

1 0.92 0.68 0.64 0.60 0.72 0.60 0.72 0.60

time (sec)

N/A 0.009 0.006 0.047 0.206 0.251 0.081 0.269 11.351

Problem 5418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 549 479 2134 2993 2270 0 4266 4377

N.S.

1 18.93 16.52 73.59 103.21 78.28 0.00 147.10 150.93

time (sec)

N/A 2.014 0.821 2.371 0.271 0.315 0.000 0.307 18.545

Problem 5419

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

N.S.

1 0.77 0.77 0.82 0.73 0.77 0.77 0.86 0.77

time (sec)

N/A 0.027 0.022 0.453 0.187 0.237 0.073 0.257 0.077

Problem 5420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B A F B

verified

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

size

31 0 34 26 28 87 20 0 27

N.S.

1 0.00 1.10 0.84 0.90 2.81 0.65 0.00 0.87

time (sec)

N/A 0.000 0.638 0.250 0.273 0.259 0.206 0.000 0.281

Problem 5421

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

21 0 33 32 36 32 63 32 27

N.S.

1 0.00 1.57 1.52 1.71 1.52 3.00 1.52 1.29

time (sec)

N/A 0.000 4.245 0.327 0.265 0.266 0.166 0.277 11.031

Problem 5422

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

10 14 10 14 45 13 12 13 9

N.S.

1 1.40 1.00 1.40 4.50 1.30 1.20 1.30 0.90

time (sec)

N/A 0.066 0.073 0.050 0.191 0.241 0.043 0.251 10.810

Problem 5423

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 22 20 23 66 22 65 22 22

N.S.

1 0.92 0.83 0.96 2.75 0.92 2.71 0.92 0.92

time (sec)

N/A 0.058 0.023 0.069 0.194 0.244 0.090 0.262 10.981

Problem 5424

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

14 16 16 18 49 17 17 51 15

N.S.

1 1.14 1.14 1.29 3.50 1.21 1.21 3.64 1.07

time (sec)

N/A 0.008 0.007 0.105 0.185 0.241 0.047 0.254 10.728

Problem 5425

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

38 0 32 29 36 39 29 39 35

N.S.

1 0.00 0.84 0.76 0.95 1.03 0.76 1.03 0.92

time (sec)

N/A 0.000 1.019 0.421 0.328 0.242 0.105 0.299 11.334

Problem 5426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

35 0 33 32 31 30 20 569 0

N.S.

1 0.00 0.94 0.91 0.89 0.86 0.57 16.26 0.00

time (sec)

N/A 0.000 0.171 18.120 0.350 0.251 1.205 0.671 0.000

Problem 5427

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

27 55 23 25 41 25 56 25 34

N.S.

1 2.04 0.85 0.93 1.52 0.93 2.07 0.93 1.26

time (sec)

N/A 0.318 0.347 0.091 0.236 0.267 0.336 0.264 11.176

Problem 5428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 27 27 27 0 26 0 0 0

N.S.

1 1.08 1.08 1.08 0.00 1.04 0.00 0.00 0.00

time (sec)

N/A 0.055 0.148 0.290 0.000 0.269 0.000 0.000 0.000

Problem 5429

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 16 16 23 41 21 19 21 22

N.S.

1 0.67 0.67 0.96 1.71 0.88 0.79 0.88 0.92

time (sec)

N/A 0.096 0.086 0.479 0.368 0.256 0.074 0.269 11.266

Problem 5430

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

15 165 57 40 145 40 53 49 60

N.S.

1 11.00 3.80 2.67 9.67 2.67 3.53 3.27 4.00

time (sec)

N/A 0.160 0.038 0.097 0.247 0.244 0.150 0.272 11.054

Problem 5431

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

N.S.

1 0.42 0.42 0.37 0.42 0.42 0.37 0.47 0.32

time (sec)

N/A 0.003 0.003 0.462 0.211 0.247 0.031 0.271 0.071

Problem 5432

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

N.S.

1 0.80 0.80 0.85 0.80 0.80 0.70 0.80 0.80

time (sec)

N/A 0.054 0.009 0.465 0.204 0.233 0.154 0.257 0.845

Problem 5433

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

27 0 39 30 39 30 27 43 0

N.S.

1 0.00 1.44 1.11 1.44 1.11 1.00 1.59 0.00

time (sec)

N/A 0.000 0.622 0.517 0.220 0.247 0.219 0.271 0.000

Problem 5434

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

N.S.

1 0.62 0.62 0.58 0.54 0.54 0.50 0.58 0.54

time (sec)

N/A 0.003 0.001 0.033 0.200 0.245 0.042 0.263 10.683

Problem 5435

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

N.S.

1 0.95 0.82 0.77 0.86 0.73 0.77 0.73 0.73

time (sec)

N/A 0.069 0.015 0.293 0.333 0.236 0.073 0.259 11.141

Problem 5436

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

N.S.

1 0.67 0.78 0.50 0.61 0.61 0.83 0.61 0.50

time (sec)

N/A 0.001 0.001 0.045 0.183 0.226 0.021 0.271 10.894

Problem 5437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 103 34 34 46 34 36 46 39

N.S.

1 3.03 1.00 1.00 1.35 1.00 1.06 1.35 1.15

time (sec)

N/A 0.379 0.876 0.115 0.230 0.255 0.077 0.259 10.756

Problem 5438

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

9 9 9 8 7 7 7 7 7

N.S.

1 1.00 1.00 0.89 0.78 0.78 0.78 0.78 0.78

time (sec)

N/A 0.001 0.001 0.034 0.182 0.234 0.048 0.256 0.026

Problem 5439

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 31 41 40 36 37 43 71

N.S.

1 0.00 1.19 1.58 1.54 1.38 1.42 1.65 2.73

time (sec)

N/A 0.000 0.608 1.426 0.212 0.251 0.137 0.313 10.860

Problem 5440

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

33 0 38 32 55 55 34 89 124

N.S.

1 0.00 1.15 0.97 1.67 1.67 1.03 2.70 3.76

time (sec)

N/A 0.000 0.043 0.508 0.248 0.244 0.078 0.274 11.078

Problem 5441

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

N.S.

1 1.26 0.81 0.67 0.78 0.63 0.70 0.63 0.70

time (sec)

N/A 0.010 0.031 0.029 0.193 0.248 0.054 0.264 0.061

Problem 5442

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 26 18 21 26 32 27 30 28

N.S.

1 1.44 1.00 1.17 1.44 1.78 1.50 1.67 1.56

time (sec)

N/A 0.010 0.006 0.062 0.189 0.265 0.057 0.261 0.065

Problem 5443

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

10 9 9 8 7 17 7 7 7

N.S.

1 0.90 0.90 0.80 0.70 1.70 0.70 0.70 0.70

time (sec)

N/A 0.004 0.002 0.015 0.203 0.248 0.051 0.262 10.560

Problem 5444

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

30 0 25 56 51 51 51 51 51

N.S.

1 0.00 0.83 1.87 1.70 1.70 1.70 1.70 1.70

time (sec)

N/A 0.000 0.058 0.737 0.215 0.246 0.168 0.275 11.609

Problem 5445

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

16 16 16 14 13 20 12 20 13

N.S.

1 1.00 1.00 0.88 0.81 1.25 0.75 1.25 0.81

time (sec)

N/A 0.015 0.008 0.060 0.193 0.257 0.054 0.256 11.888

Problem 5446

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

24 46 37 55 47 50 70 60 53

N.S.

1 1.92 1.54 2.29 1.96 2.08 2.92 2.50 2.21

time (sec)

N/A 0.068 0.854 0.159 0.187 0.244 0.135 0.276 12.697

Problem 5447

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

29 25 22 23 22 22 22 22 0

N.S.

1 0.86 0.76 0.79 0.76 0.76 0.76 0.76 0.00

time (sec)

N/A 0.227 0.047 2.494 0.312 0.264 0.149 0.291 0.000

Problem 5448

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 16 16 13 16 16 10 20 12

N.S.

1 0.67 0.67 0.54 0.67 0.67 0.42 0.83 0.50

time (sec)

N/A 0.173 0.631 0.261 0.246 0.257 0.122 0.260 12.109

Problem 5449

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

21 0 308 954 1075 1050 1107 6815 0

N.S.

1 0.00 14.67 45.43 51.19 50.00 52.71 324.52 0.00

time (sec)

N/A 0.000 0.704 4.232 0.739 0.289 1.491 0.989 0.000

Problem 5450

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

N.S.

1 1.00 1.00 0.96 1.04 1.00 1.42 0.92 0.83

time (sec)

N/A 0.041 0.019 0.203 0.188 0.247 0.303 0.258 0.234

Problem 5451

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B A F B

verified

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

size

19 0 19 20 14 47 27 0 15

N.S.

1 0.00 1.00 1.05 0.74 2.47 1.42 0.00 0.79

time (sec)

N/A 0.000 2.062 1.546 0.252 0.260 0.309 0.000 11.620

Problem 5452

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 19 15 13 37 15 12 15 12

N.S.

1 1.12 0.88 0.76 2.18 0.88 0.71 0.88 0.71

time (sec)

N/A 0.049 0.041 0.047 0.205 0.255 0.044 0.257 11.993

Problem 5453

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

20 0 20 22 21 21 17 21 0

N.S.

1 0.00 1.00 1.10 1.05 1.05 0.85 1.05 0.00

time (sec)

N/A 0.000 0.425 0.991 0.217 0.241 0.111 0.322 0.000

Problem 5454

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

27 71 31 57 848 59 75 63 139

N.S.

1 2.63 1.15 2.11 31.41 2.19 2.78 2.33 5.15

time (sec)

N/A 0.831 0.320 0.379 0.321 0.253 0.677 0.284 12.108

Problem 5455

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

24 27 22 21 34 33 26 65 20

N.S.

1 1.12 0.92 0.88 1.42 1.38 1.08 2.71 0.83

time (sec)

N/A 0.033 0.046 0.161 0.214 0.253 0.066 0.271 0.101

Problem 5456

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

N.S.

1 1.00 0.90 0.90 0.95 0.95 0.90 0.95 1.10

time (sec)

N/A 0.047 0.068 0.077 0.190 0.245 0.058 0.268 11.415

Problem 5457

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

28 20 21 13 38 12 14 24 12

N.S.

1 0.71 0.75 0.46 1.36 0.43 0.50 0.86 0.43

time (sec)

N/A 0.064 0.027 0.311 0.259 0.243 0.071 0.269 11.784

Problem 5458

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 84 32 27 51 35 26 41 27

N.S.

1 2.55 0.97 0.82 1.55 1.06 0.79 1.24 0.82

time (sec)

N/A 0.359 0.178 0.244 0.215 0.264 0.127 0.259 11.818

Problem 5459

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 37 31 36 62 55 31 35 34

N.S.

1 1.68 1.41 1.64 2.82 2.50 1.41 1.59 1.55

time (sec)

N/A 0.094 0.068 0.359 0.192 0.251 0.137 0.294 11.848

Problem 5460

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

N.S.

1 1.00 1.00 0.94 0.89 1.00 0.78 1.00 0.89

time (sec)

N/A 0.101 0.148 0.467 0.213 0.263 0.085 0.254 11.739

Problem 5461

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

N.S.

1 2.00 0.90 0.90 1.14 1.14 0.95 1.14 1.14

time (sec)

N/A 0.045 0.239 0.156 0.228 0.249 0.068 0.263 0.313

Problem 5462

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

N.S.

1 0.69 0.69 0.69 0.62 0.62 0.54 0.62 0.69

time (sec)

N/A 0.007 0.015 0.092 0.192 0.259 0.043 0.253 11.576

Problem 5463

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

N.S.

1 0.69 0.69 0.85 0.77 0.77 0.62 0.77 0.77

time (sec)

N/A 0.013 0.009 0.598 0.186 0.250 0.065 0.253 0.119

Problem 5464

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

18 24 18 25 49 24 22 92 24

N.S.

1 1.33 1.00 1.39 2.72 1.33 1.22 5.11 1.33

time (sec)

N/A 0.054 0.025 0.165 0.223 0.268 0.069 0.290 11.900

Problem 5465

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 48 22 39 46 35 66 46 28

N.S.

1 1.71 0.79 1.39 1.64 1.25 2.36 1.64 1.00

time (sec)

N/A 0.496 0.105 0.335 0.232 0.259 0.122 0.277 11.604

Problem 5466

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 27 45 29 26 29 30

N.S.

1 0.00 1.00 0.93 1.55 1.00 0.90 1.00 1.03

time (sec)

N/A 0.000 0.542 0.177 0.387 0.246 0.395 0.325 11.965

Problem 5467

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

32 0 31 30 34 29 27 33 77

N.S.

1 0.00 0.97 0.94 1.06 0.91 0.84 1.03 2.41

time (sec)

N/A 0.000 0.072 3.563 0.324 0.256 0.136 0.360 14.372

Problem 5468

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A A B A F B

verified

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

size

24 0 22 29 19 86 26 0 59

N.S.

1 0.00 0.92 1.21 0.79 3.58 1.08 0.00 2.46

time (sec)

N/A 0.000 0.407 56.654 0.663 0.265 3.687 0.000 12.260

Problem 5469

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 29 29 39 38 22 29 31 22

N.S.

1 1.32 1.32 1.77 1.73 1.00 1.32 1.41 1.00

time (sec)

N/A 0.021 0.013 0.191 0.276 0.260 0.109 0.258 0.232

Problem 5470

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

21 0 30 28 45 37 34 0 65

N.S.

1 0.00 1.43 1.33 2.14 1.76 1.62 0.00 3.10

time (sec)

N/A 0.000 0.136 0.381 0.332 0.272 0.139 0.000 12.586

Problem 5471

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 21 19 17 27 17 15 23 16

N.S.

1 1.00 0.90 0.81 1.29 0.81 0.71 1.10 0.76

time (sec)

N/A 0.079 0.022 0.531 0.320 0.258 0.090 0.257 11.951

Problem 5472

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

26 56 25 43 30 37 19 36 24

N.S.

1 2.15 0.96 1.65 1.15 1.42 0.73 1.38 0.92

time (sec)

N/A 0.406 0.084 0.606 0.227 0.264 0.209 0.269 11.377

Problem 5473

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

26 0 38 45 85 85 65 87 0

N.S.

1 0.00 1.46 1.73 3.27 3.27 2.50 3.35 0.00

time (sec)

N/A 0.000 0.168 30.954 0.306 0.286 0.214 0.325 0.000

Problem 5474

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

19 0 19 21 26 17 17 26 28

N.S.

1 0.00 1.00 1.11 1.37 0.89 0.89 1.37 1.47

time (sec)

N/A 0.000 1.315 1.679 0.478 0.299 0.269 0.279 11.438

Problem 5475

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

13 0 11 12 11 11 10 11 11

N.S.

1 0.00 0.85 0.92 0.85 0.85 0.77 0.85 0.85

time (sec)

N/A 0.000 1.106 0.685 0.220 0.272 0.114 0.275 11.427

Problem 5476

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

N.S.

1 0.60 0.53 0.50 0.47 0.53 0.47 0.47 0.57

time (sec)

N/A 0.006 0.008 0.019 0.179 0.264 0.035 0.247 10.956

Problem 5477

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 54 27 33 0 34 37 44 26

N.S.

1 2.00 1.00 1.22 0.00 1.26 1.37 1.63 0.96

time (sec)

N/A 0.346 0.159 0.543 0.000 0.292 0.110 0.264 0.164

Problem 5478

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

16 16 16 13 12 12 12 12 12

N.S.

1 1.00 1.00 0.81 0.75 0.75 0.75 0.75 0.75

time (sec)

N/A 0.200 0.156 0.542 0.225 0.293 0.059 0.257 10.934

Problem 5479

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

28 0 47 41 40 42 39 42 0

N.S.

1 0.00 1.68 1.46 1.43 1.50 1.39 1.50 0.00

time (sec)

N/A 0.000 0.121 15.893 0.254 0.282 0.725 0.669 0.000

Problem 5480

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

N.S.

1 1.22 0.91 0.83 0.00 0.87 0.74 0.87 0.78

time (sec)

N/A 0.172 0.401 0.527 0.000 0.298 0.088 0.277 0.090

Problem 5481

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F A A F B

verified

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

size

30 0 35 23 0 26 19 0 21

N.S.

1 0.00 1.17 0.77 0.00 0.87 0.63 0.00 0.70

time (sec)

N/A 0.000 0.445 0.362 0.000 0.292 0.100 0.000 11.242

Problem 5482

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

33 0 70 80 120 71 162 0 0

N.S.

1 0.00 2.12 2.42 3.64 2.15 4.91 0.00 0.00

time (sec)

N/A 0.000 0.156 19.705 0.413 0.286 1.086 0.000 0.000

Problem 5483

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

23 0 20 28 21 29 24 0 23

N.S.

1 0.00 0.87 1.22 0.91 1.26 1.04 0.00 1.00

time (sec)

N/A 0.000 4.273 0.583 0.298 0.266 0.266 0.000 11.675

Problem 5484

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 25 24 29 29 20 37 23

N.S.

1 0.00 1.00 0.96 1.16 1.16 0.80 1.48 0.92

time (sec)

N/A 0.000 0.754 0.448 0.322 0.265 0.158 0.299 0.385

Problem 5485

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 18 14 13 13 24 13 15

N.S.

1 0.91 0.82 0.64 0.59 0.59 1.09 0.59 0.68

time (sec)

N/A 0.007 0.017 0.092 0.178 0.250 0.046 0.259 0.094

Problem 5486

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

N.S.

1 0.92 0.88 0.75 0.71 0.71 0.79 0.71 0.71

time (sec)

N/A 0.004 0.004 0.029 0.175 0.255 0.050 0.261 0.072

Problem 5487

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

N.S.

1 0.00 0.81 0.85 1.12 1.12 0.92 0.81 0.77

time (sec)

N/A 0.000 0.929 0.041 0.214 0.248 0.109 0.263 0.091

Problem 5488

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

N.S.

1 1.00 1.00 0.90 0.85 1.00 0.70 1.00 0.90

time (sec)

N/A 0.009 0.033 0.071 0.182 0.249 0.051 0.276 12.517

Problem 5489

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

N.S.

1 0.79 0.79 0.86 0.79 0.79 0.86 0.79 0.79

time (sec)

N/A 0.002 0.005 1.299 0.200 0.270 0.073 0.269 11.604

Problem 5490

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

N.S.

1 0.40 0.40 0.47 0.40 0.40 0.33 0.47 0.40

time (sec)

N/A 0.001 0.001 0.023 0.181 0.251 0.032 0.271 0.016

Problem 5491

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

21 41 18 18 196 15 19 15 15

N.S.

1 1.95 0.86 0.86 9.33 0.71 0.90 0.71 0.71

time (sec)

N/A 0.153 0.266 0.037 0.319 0.254 0.058 0.266 0.098

Problem 5492

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B A A F A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 99 25 23 0 22 17 0 22

N.S.

1 3.96 1.00 0.92 0.00 0.88 0.68 0.00 0.88

time (sec)

N/A 0.132 1.239 0.194 0.000 0.256 0.291 0.000 12.228

Problem 5493

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

36 0 63 38 38 47 31 0 0

N.S.

1 0.00 1.75 1.06 1.06 1.31 0.86 0.00 0.00

time (sec)

N/A 0.000 1.342 17.917 0.383 0.270 0.561 0.000 0.000

Problem 5494

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 33 23 34 49 45 31 42 63

N.S.

1 1.32 0.92 1.36 1.96 1.80 1.24 1.68 2.52

time (sec)

N/A 0.065 0.033 0.707 0.263 0.258 0.102 0.271 11.867

Problem 5495

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 47 39 43 84 57 36 62 54

N.S.

1 1.68 1.39 1.54 3.00 2.04 1.29 2.21 1.93

time (sec)

N/A 0.044 0.169 0.379 0.267 0.289 0.111 0.271 0.133

Problem 5496

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 16 16 16 15 19 12 24 15

N.S.

1 0.94 0.94 0.94 0.88 1.12 0.71 1.41 0.88

time (sec)

N/A 0.014 0.033 0.051 0.180 0.254 0.054 0.278 11.696

Problem 5497

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

17 0 17 16 56 28 27 38 42

N.S.

1 0.00 1.00 0.94 3.29 1.65 1.59 2.24 2.47

time (sec)

N/A 0.000 0.079 0.500 0.314 0.251 0.075 0.284 11.276

Problem 5498

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

28 0 0 27 42 49 34 33 0

N.S.

1 0.00 0.00 0.96 1.50 1.75 1.21 1.18 0.00

time (sec)

N/A 0.000 0.000 1.122 0.350 0.253 0.297 0.280 0.000

Problem 5499

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

17 16 14 14 0 20 10 20 13

N.S.

1 0.94 0.82 0.82 0.00 1.18 0.59 1.18 0.76

time (sec)

N/A 0.052 0.164 0.392 0.000 0.244 0.054 0.268 12.457

Problem 5500

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

24 0 23 21 18 20 0 0 19

N.S.

1 0.00 0.96 0.88 0.75 0.83 0.00 0.00 0.79

time (sec)

N/A 0.000 0.196 79.679 0.274 0.267 0.000 0.000 11.069

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