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

2.2.62 Integrals 6101 to 6200

Detailed conclusion table per each integral is given by 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 just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 6101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B B B B B B B

verified

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

size

32 0 129 135 178 182 63 1806 126

N.S.

1 0.00 4.03 4.22 5.56 5.69 1.97 56.44 3.94

time (sec)

N/A 10.020 0.464 0.397 0.438 0.408 0.344 0.648 5.466

Problem 6102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A B B

verified

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

size

35 0 31 31 52 38 37 61 785

N.S.

1 0.00 0.89 0.89 1.49 1.09 1.06 1.74 22.43

time (sec)

N/A 9.427 0.145 0.062 0.741 0.459 0.211 0.713 6.658

Problem 6103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 41 27 48 39 23 31 23 18

N.S.

1 1.78 1.17 2.09 1.70 1.00 1.35 1.00 0.78

time (sec)

N/A 0.021 0.005 0.230 0.282 0.376 0.058 0.410 4.447

Problem 6104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B A A A A B

verified

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

size

27 0 28 228 54 54 37 40 61

N.S.

1 0.00 1.04 8.44 2.00 2.00 1.37 1.48 2.26

time (sec)

N/A 0.942 0.033 1.410 0.303 0.364 0.060 0.408 4.837

Problem 6105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 46 27 76 78 32 29 34 33

N.S.

1 1.84 1.08 3.04 3.12 1.28 1.16 1.36 1.32

time (sec)

N/A 0.158 0.142 0.255 0.282 0.345 0.051 0.402 4.358

Problem 6106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 15 15 34 31 15 15 16 12

N.S.

1 0.60 0.60 1.36 1.24 0.60 0.60 0.64 0.48

time (sec)

N/A 0.015 0.005 0.352 0.280 0.364 0.038 0.405 4.412

Problem 6107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B B A B B F

verified

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

size

23 0 27 51 37 33 42 843 -1

N.S.

1 0.00 1.17 2.22 1.61 1.43 1.83 36.65 -0.04

time (sec)

N/A 9.915 0.099 0.033 0.335 0.373 0.125 216.102 0.000

Problem 6108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 27 22 30 24 23 22 24 22

N.S.

1 1.42 1.16 1.58 1.26 1.21 1.16 1.26 1.16

time (sec)

N/A 0.003 0.002 0.286 0.282 0.375 0.009 0.425 0.252

Problem 6109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B A A B B F

verified

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

size

32 0 34 87 57 34 119 151 -1

N.S.

1 0.00 1.06 2.72 1.78 1.06 3.72 4.72 -0.03

time (sec)

N/A 1.222 0.183 1.825 0.529 0.365 1.647 0.431 0.000

Problem 6110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 17 17 17 20 18 12 19 15

N.S.

1 0.68 0.68 0.68 0.80 0.72 0.48 0.76 0.60

time (sec)

N/A 0.029 0.012 0.104 0.285 0.432 0.033 0.390 4.296

Problem 6111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 23 25 30 29 34 29 27 29

N.S.

1 0.96 1.04 1.25 1.21 1.42 1.21 1.12 1.21

time (sec)

N/A 0.054 0.014 0.297 0.369 0.440 0.236 0.397 0.199

Problem 6112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 30 20 39 19 21 19 21 16

N.S.

1 1.67 1.11 2.17 1.06 1.17 1.06 1.17 0.89

time (sec)

N/A 0.012 0.024 0.478 0.339 0.348 0.030 0.416 4.217

Problem 6113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B B B B B B B

verified

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

size

25 0 53 69 56 56 54 68 68

N.S.

1 0.00 2.12 2.76 2.24 2.24 2.16 2.72 2.72

time (sec)

N/A 0.282 0.537 0.338 0.268 0.379 0.189 0.401 0.130

Problem 6114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

30 0 29 33 30 29 24 46 49

N.S.

1 0.00 0.97 1.10 1.00 0.97 0.80 1.53 1.63

time (sec)

N/A 18.029 0.148 0.119 0.424 0.362 0.588 0.550 4.912

Problem 6115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

33 0 24 24 30 30 26 34 36

N.S.

1 0.00 0.73 0.73 0.91 0.91 0.79 1.03 1.09

time (sec)

N/A 1.105 2.461 0.177 0.328 0.367 0.095 0.407 4.443

Problem 6116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 22 16 22 0 21 26 21 15

N.S.

1 1.22 0.89 1.22 0.00 1.17 1.44 1.17 0.83

time (sec)

N/A 0.043 0.126 0.346 0.000 0.395 0.127 0.398 4.948

Problem 6117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B F B B A B B B

verified

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

size

30 109 0 64 163 51 60 77 125

N.S.

1 3.63 0.00 2.13 5.43 1.70 2.00 2.57 4.17

time (sec)

N/A 1.186 1.240 0.689 0.746 0.384 0.375 1.010 1.952

Problem 6118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 69 42 80 75 46 68 61 40

N.S.

1 3.29 2.00 3.81 3.57 2.19 3.24 2.90 1.90

time (sec)

N/A 0.070 0.017 0.273 0.260 0.391 0.105 0.408 4.666

Problem 6119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 16 16 17 16 16 15 18 16

N.S.

1 0.80 0.80 0.85 0.80 0.80 0.75 0.90 0.80

time (sec)

N/A 0.074 0.005 0.111 0.489 0.351 0.037 0.405 0.070

Problem 6120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 21 15 23 31 14 14 14 14

N.S.

1 1.40 1.00 1.53 2.07 0.93 0.93 0.93 0.93

time (sec)

N/A 0.173 0.025 0.100 0.303 0.390 0.028 0.413 4.267

Problem 6121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 24 20 20 20 17 20 19

N.S.

1 1.00 1.04 0.87 0.87 0.87 0.74 0.87 0.83

time (sec)

N/A 0.640 0.073 0.141 0.304 0.404 0.107 0.398 4.627

Problem 6122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C A B F A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 398 30 155 0 36 180 564 102

N.S.

1 18.09 1.36 7.05 0.00 1.64 8.18 25.64 4.64

time (sec)

N/A 0.523 0.039 1.299 0.000 0.376 0.510 0.594 5.652

Problem 6123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B A F(-1) F B

verified

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

size

28 0 30 37 64 36 0 0 38

N.S.

1 0.00 1.07 1.32 2.29 1.29 0.00 0.00 1.36

time (sec)

N/A 8.114 0.183 0.106 0.757 0.391 0.000 0.000 5.039

Problem 6124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 29 75 27 25 48 19 26 25

N.S.

1 1.26 3.26 1.17 1.09 2.09 0.83 1.13 1.09

time (sec)

N/A 0.040 0.063 1.489 0.264 0.394 0.171 0.393 0.191

Problem 6125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 9 9 8 7 7 8 7 7

N.S.

1 0.47 0.47 0.42 0.37 0.37 0.42 0.37 0.37

time (sec)

N/A 0.001 0.000 0.092 0.267 0.360 0.011 0.408 0.028

Problem 6126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A F B

verified

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

size

29 0 40 35 42 39 37 0 41

N.S.

1 0.00 1.38 1.21 1.45 1.34 1.28 0.00 1.41

time (sec)

N/A 30.365 0.224 1.239 0.596 0.428 2.976 0.000 4.869

Problem 6127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 24 19 23 24 20 20 24 178

N.S.

1 1.20 0.95 1.15 1.20 1.00 1.00 1.20 8.90

time (sec)

N/A 0.705 0.158 0.518 0.318 0.374 0.118 0.433 5.094

Problem 6128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 57 48 46 37 38 54 37 41

N.S.

1 1.46 1.23 1.18 0.95 0.97 1.38 0.95 1.05

time (sec)

N/A 0.021 0.030 0.323 0.280 0.403 0.204 0.403 0.354

Problem 6129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 14 14 11 11 10 11 12

N.S.

1 1.00 1.00 1.00 0.79 0.79 0.71 0.79 0.86

time (sec)

N/A 0.014 0.012 0.060 0.282 0.402 0.041 0.399 4.302

Problem 6130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 19 19 98 23 21 19 0 21

N.S.

1 0.90 0.90 4.67 1.10 1.00 0.90 0.00 1.00

time (sec)

N/A 0.292 0.053 0.321 0.537 0.366 0.124 0.000 4.684

Problem 6131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F(-1) A B B B B F F

verified

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

size

33 0 65 73 98 98 73 0 -1

N.S.

1 0.00 1.97 2.21 2.97 2.97 2.21 0.00 -0.03

time (sec)

N/A 180.000 0.263 0.242 0.414 0.376 0.999 0.000 0.000

Problem 6132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

28 0 24 26 23 23 34 25 29

N.S.

1 0.00 0.86 0.93 0.82 0.82 1.21 0.89 1.04

time (sec)

N/A 2.985 3.649 0.064 0.396 0.384 0.101 0.412 4.543

Problem 6133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A B B B B

verified

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

size

29 0 31 46 47 62 42 66 51

N.S.

1 0.00 1.07 1.59 1.62 2.14 1.45 2.28 1.76

time (sec)

N/A 1.091 0.069 6.045 0.557 0.372 0.151 0.882 6.543

Problem 6134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A C A A A A B

verified

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

size

23 0 20 212 35 41 31 36 21

N.S.

1 0.00 0.87 9.22 1.52 1.78 1.35 1.57 0.91

time (sec)

N/A 2.960 0.113 0.734 0.405 0.392 0.365 0.520 5.008

Problem 6135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 11 11 12 11 17 10 12 11

N.S.

1 0.73 0.73 0.80 0.73 1.13 0.67 0.80 0.73

time (sec)

N/A 0.003 0.001 0.182 0.271 0.351 0.018 0.405 0.026

Problem 6136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 41 29 31 26 26 27 26 30

N.S.

1 1.41 1.00 1.07 0.90 0.90 0.93 0.90 1.03

time (sec)

N/A 0.028 0.071 0.191 0.336 0.476 0.039 0.409 4.357

Problem 6137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 14 14 14 13 13 10 13 14

N.S.

1 0.93 0.93 0.93 0.87 0.87 0.67 0.87 0.93

time (sec)

N/A 0.009 0.019 0.069 0.413 0.366 0.044 0.393 4.381

Problem 6138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 28 32 31 23 26 32 25 30

N.S.

1 1.17 1.33 1.29 0.96 1.08 1.33 1.04 1.25

time (sec)

N/A 0.057 0.028 0.224 0.280 0.395 0.244 0.402 4.572

Problem 6139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

29 0 20 33 20 19 26 19 19

N.S.

1 0.00 0.69 1.14 0.69 0.66 0.90 0.66 0.66

time (sec)

N/A 1.415 0.758 0.270 0.332 0.415 0.202 0.458 4.641

Problem 6140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A F B

verified

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

size

22 0 21 17 16 28 14 0 16

N.S.

1 0.00 0.95 0.77 0.73 1.27 0.64 0.00 0.73

time (sec)

N/A 0.057 0.030 0.141 0.336 0.392 0.117 0.000 0.097

Problem 6141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

27 0 26 25 42 39 42 42 36

N.S.

1 0.00 0.96 0.93 1.56 1.44 1.56 1.56 1.33

time (sec)

N/A 0.668 0.058 2.203 0.302 0.406 0.313 0.439 4.454

Problem 6142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

24 0 21 21 26 21 26 30 20

N.S.

1 0.00 0.88 0.88 1.08 0.88 1.08 1.25 0.83

time (sec)

N/A 2.362 0.087 0.146 0.339 0.355 0.098 0.414 4.600

Problem 6143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 39 35 110 51 36 87 75 34

N.S.

1 1.26 1.13 3.55 1.65 1.16 2.81 2.42 1.10

time (sec)

N/A 0.255 0.041 0.224 0.377 0.405 0.041 0.409 4.308

Problem 6144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F(-1) A B B B B B B

verified

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

size

30 0 42 87 97 94 105 98 101

N.S.

1 0.00 1.40 2.90 3.23 3.13 3.50 3.27 3.37

time (sec)

N/A 180.001 0.245 0.170 0.482 0.411 0.212 0.493 4.671

Problem 6145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

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

verified

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

size

27 0 48 703 56 49 36 49 -1

N.S.

1 0.00 1.78 26.04 2.07 1.81 1.33 1.81 -0.04

time (sec)

N/A 180.001 0.081 0.796 0.452 0.354 0.258 0.722 0.000

Problem 6146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 17 19 30 28 24 27 28 22

N.S.

1 0.74 0.83 1.30 1.22 1.04 1.17 1.22 0.96

time (sec)

N/A 0.011 0.003 0.357 0.346 0.391 0.034 0.415 0.058

Problem 6147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 25 25 22 21 21 26 21 21

N.S.

1 1.14 1.14 1.00 0.95 0.95 1.18 0.95 0.95

time (sec)

N/A 0.013 0.005 0.010 0.299 0.364 0.125 0.402 4.042

Problem 6148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 16 18 15 13 18 14 13 15

N.S.

1 0.70 0.78 0.65 0.57 0.78 0.61 0.57 0.65

time (sec)

N/A 0.006 0.003 0.227 0.399 0.396 0.038 0.399 0.038

Problem 6149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 29 18 26 43 17 20 17 17

N.S.

1 1.61 1.00 1.44 2.39 0.94 1.11 0.94 0.94

time (sec)

N/A 0.051 0.033 0.043 0.624 0.457 0.083 0.408 4.044

Problem 6150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B B A B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 48 48 43 74 36 41 33 22

N.S.

1 2.09 2.09 1.87 3.22 1.57 1.78 1.43 0.96

time (sec)

N/A 0.112 0.022 0.183 0.346 0.430 0.085 0.396 4.108

Problem 6151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 26 30 27 26 23 22 26 26

N.S.

1 0.90 1.03 0.93 0.90 0.79 0.76 0.90 0.90

time (sec)

N/A 0.007 0.003 0.011 0.258 0.361 0.026 0.412 0.030

Problem 6152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C A A F A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 56 26 26 0 25 19 37 24

N.S.

1 2.80 1.30 1.30 0.00 1.25 0.95 1.85 1.20

time (sec)

N/A 0.530 0.653 0.273 0.000 0.363 0.045 0.410 0.145

Problem 6153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 14 12 11 10 10 10 10 12

N.S.

1 0.56 0.48 0.44 0.40 0.40 0.40 0.40 0.48

time (sec)

N/A 0.003 0.004 0.011 0.339 0.365 0.028 0.409 3.979

Problem 6154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 5 5 5 4 4 3 4 4

N.S.

1 0.31 0.31 0.31 0.25 0.25 0.19 0.25 0.25

time (sec)

N/A 0.001 0.000 0.100 0.265 0.359 0.019 0.404 0.009

Problem 6155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B B A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 70 46 22 48 48 54 48 52

N.S.

1 3.18 2.09 1.00 2.18 2.18 2.45 2.18 2.36

time (sec)

N/A 0.012 0.015 0.571 0.356 0.411 0.022 0.401 0.057

Problem 6156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 66 27 25 24 23 0 23 23

N.S.

1 2.44 1.00 0.93 0.89 0.85 0.00 0.85 0.85

time (sec)

N/A 0.084 0.022 2.016 0.486 0.414 0.000 0.557 4.282

Problem 6157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A B A F B

verified

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

size

24 0 24 21 20 114 17 0 20

N.S.

1 0.00 1.00 0.88 0.83 4.75 0.71 0.00 0.83

time (sec)

N/A 16.968 0.161 1.733 0.848 0.383 33.473 0.000 4.199

Problem 6158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A F

verified

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

size

29 0 21 41 28 19 17 25 -1

N.S.

1 0.00 0.72 1.41 0.97 0.66 0.59 0.86 -0.03

time (sec)

N/A 1.499 0.097 1.542 0.680 0.409 0.081 0.403 0.000

Problem 6159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A B B F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 139 27 30 58 51 0 0 66

N.S.

1 4.34 0.84 0.94 1.81 1.59 0.00 0.00 2.06

time (sec)

N/A 0.574 0.099 0.671 0.452 0.386 0.000 0.000 4.514

Problem 6160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

8 18 8 6 12 5 7 5 5

N.S.

1 2.25 1.00 0.75 1.50 0.62 0.88 0.62 0.62

time (sec)

N/A 0.006 0.003 0.065 0.272 0.325 0.025 0.405 0.016

Problem 6161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B A A B F

verified

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

size

28 0 28 53 65 30 24 142 -1

N.S.

1 0.00 1.00 1.89 2.32 1.07 0.86 5.07 -0.04

time (sec)

N/A 3.357 0.587 32.177 0.687 0.367 0.183 0.435 0.000

Problem 6162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 19 18 20 19 18 17 22 16

N.S.

1 0.83 0.78 0.87 0.83 0.78 0.74 0.96 0.70

time (sec)

N/A 0.029 0.004 0.101 0.378 0.345 0.033 0.397 4.124

Problem 6163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 25 25 23 22 26 20 0 22

N.S.

1 1.04 1.04 0.96 0.92 1.08 0.83 0.00 0.92

time (sec)

N/A 0.123 0.026 1.026 0.606 0.353 0.053 0.000 5.179

Problem 6164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 35 29 0 32 24 24 29 -1

N.S.

1 1.09 0.91 0.00 1.00 0.75 0.75 0.91 -0.03

time (sec)

N/A 1.036 0.167 0.182 0.544 0.370 0.365 0.699 0.000

Problem 6165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 138 35 77 464 68 105 605 -1

N.S.

1 4.93 1.25 2.75 16.57 2.43 3.75 21.61 -0.04

time (sec)

N/A 0.718 0.075 4.658 0.656 0.380 0.473 0.437 0.000

Problem 6166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 27 28 64 30 26 26 27 24

N.S.

1 1.08 1.12 2.56 1.20 1.04 1.04 1.08 0.96

time (sec)

N/A 0.344 0.038 5.197 0.640 0.390 0.133 0.474 4.909

Problem 6167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A C A A B A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 60 31 40 99 38 22 51 24

N.S.

1 2.50 1.29 1.67 4.12 1.58 0.92 2.12 1.00

time (sec)

N/A 0.227 0.066 1.285 0.645 0.346 0.102 0.401 4.280

Problem 6168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B A A A A B

verified

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

size

25 0 28 60 27 27 36 32 30

N.S.

1 0.00 1.12 2.40 1.08 1.08 1.44 1.28 1.20

time (sec)

N/A 4.165 0.153 0.036 0.384 0.348 0.143 0.523 4.421

Problem 6169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A F A A A B

verified

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

size

20 0 28 33 0 19 15 25 25

N.S.

1 0.00 1.40 1.65 0.00 0.95 0.75 1.25 1.25

time (sec)

N/A 0.181 0.039 2.404 0.000 0.414 0.059 0.404 0.115

Problem 6170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 81 27 26 42 24 26 26

N.S.

1 1.00 3.12 1.04 1.00 1.62 0.92 1.00 1.00

time (sec)

N/A 0.055 0.031 1.541 0.355 0.375 0.068 0.402 0.135

Problem 6171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A C A A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 97 24 336 43 26 37 0 -1

N.S.

1 4.04 1.00 14.00 1.79 1.08 1.54 0.00 -0.04

time (sec)

N/A 0.808 0.218 10.656 0.526 0.391 3.545 0.000 0.000

Problem 6172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B B B B B B B

verified

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

size

25 0 51 75 63 54 68 74 63

N.S.

1 0.00 2.04 3.00 2.52 2.16 2.72 2.96 2.52

time (sec)

N/A 0.815 0.077 5.941 0.646 0.348 0.150 0.474 4.246

Problem 6173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 29 21 25 22 24 26 22 24

N.S.

1 1.26 0.91 1.09 0.96 1.04 1.13 0.96 1.04

time (sec)

N/A 0.326 0.157 0.163 0.447 0.345 0.135 0.426 4.061

Problem 6174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A B B F

verified

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

size

34 0 51 65 64 60 95 71 -1

N.S.

1 0.00 1.50 1.91 1.88 1.76 2.79 2.09 -0.03

time (sec)

N/A 93.675 0.113 0.088 0.528 0.367 0.523 0.868 0.000

Problem 6175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 34 40 45 49 20 19 20 16

N.S.

1 1.70 2.00 2.25 2.45 1.00 0.95 1.00 0.80

time (sec)

N/A 0.067 0.014 0.625 0.514 0.368 0.044 0.408 0.110

Problem 6176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B B B F B

verified

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

size

32 0 39 36 69 69 68 0 66

N.S.

1 0.00 1.22 1.12 2.16 2.16 2.12 0.00 2.06

time (sec)

N/A 9.257 0.146 0.138 0.740 0.362 0.291 0.000 4.757

Problem 6177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A C A A A B

verified

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

size

20 0 16 23 27 14 17 14 14

N.S.

1 0.00 0.80 1.15 1.35 0.70 0.85 0.70 0.70

time (sec)

N/A 0.061 0.022 1.810 0.647 0.363 0.078 0.427 4.692

Problem 6178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 50 29 67 40 48 24 46 54

N.S.

1 1.61 0.94 2.16 1.29 1.55 0.77 1.48 1.74

time (sec)

N/A 0.647 2.055 0.222 0.446 0.409 0.062 0.417 4.255

Problem 6179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A B B B B B F

verified

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

size

27 0 51 78 159 168 95 224 -1

N.S.

1 0.00 1.89 2.89 5.89 6.22 3.52 8.30 -0.04

time (sec)

N/A 3.509 10.079 0.868 0.366 0.446 0.131 0.541 0.000

Problem 6180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 11 13 10 9 9 8 9 8

N.S.

1 0.52 0.62 0.48 0.43 0.43 0.38 0.43 0.38

time (sec)

N/A 0.001 0.001 0.090 0.355 0.339 0.005 0.396 0.031

Problem 6181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 12 12 13 11 11 14 12 10

N.S.

1 0.75 0.75 0.81 0.69 0.69 0.88 0.75 0.62

time (sec)

N/A 0.008 0.003 0.508 0.276 0.332 0.016 0.405 4.484

Problem 6182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F B B B B B F(-1) B

verified

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

size

30 0 65 91 96 76 95 0 68

N.S.

1 0.00 2.17 3.03 3.20 2.53 3.17 0.00 2.27

time (sec)

N/A 0.346 0.058 0.334 0.285 0.384 0.218 0.000 4.462

Problem 6183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 31 27 27 26 26 27 26 26

N.S.

1 1.48 1.29 1.29 1.24 1.24 1.29 1.24 1.24

time (sec)

N/A 0.050 0.036 0.240 0.356 0.350 0.059 0.407 4.027

Problem 6184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 30 20 58 43 23 27 29 19

N.S.

1 1.36 0.91 2.64 1.95 1.05 1.23 1.32 0.86

time (sec)

N/A 0.602 0.058 0.900 0.395 0.340 0.158 0.411 4.367

Problem 6185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 17 27 15 14 14 14 15 14

N.S.

1 0.85 1.35 0.75 0.70 0.70 0.70 0.75 0.70

time (sec)

N/A 0.014 0.011 0.795 0.278 0.370 0.033 0.399 0.073

Problem 6186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 32 32 33 32 32 31 34 30

N.S.

1 1.19 1.19 1.22 1.19 1.19 1.15 1.26 1.11

time (sec)

N/A 0.060 0.009 0.123 0.351 0.361 0.049 0.408 4.123

Problem 6187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A B A A B F

verified

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

size

29 0 51 52 68 52 51 85 -1

N.S.

1 0.00 1.76 1.79 2.34 1.79 1.76 2.93 -0.03

time (sec)

N/A 18.675 0.105 0.147 0.405 0.357 0.648 0.429 0.000

Problem 6188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A F

verified

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

size

26 0 26 27 26 26 22 28 -1

N.S.

1 0.00 1.00 1.04 1.00 1.00 0.85 1.08 -0.04

time (sec)

N/A 1.502 0.049 1.225 0.329 0.543 0.099 0.418 0.000

Problem 6189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A F B

verified

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

size

23 0 29 21 20 21 20 0 30

N.S.

1 0.00 1.26 0.91 0.87 0.91 0.87 0.00 1.30

time (sec)

N/A 0.787 0.027 0.326 0.637 0.344 0.110 0.000 4.495

Problem 6190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 38 29 30 41 37 27 38 29

N.S.

1 1.23 0.94 0.97 1.32 1.19 0.87 1.23 0.94

time (sec)

N/A 0.233 0.199 0.221 0.389 0.364 0.147 0.411 4.330

Problem 6191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 42 25 114 42 29 24 26 24

N.S.

1 1.83 1.09 4.96 1.83 1.26 1.04 1.13 1.04

time (sec)

N/A 0.485 1.078 0.231 0.316 0.431 0.085 0.409 0.137

Problem 6192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 45 22 38 25 31 26 25 26

N.S.

1 1.88 0.92 1.58 1.04 1.29 1.08 1.04 1.08

time (sec)

N/A 0.645 0.199 1.149 0.649 0.461 0.092 0.403 4.378

Problem 6193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 33 41 30 32 33 1023 33 20

N.S.

1 1.32 1.64 1.20 1.28 1.32 40.92 1.32 0.80

time (sec)

N/A 0.166 0.040 0.681 0.357 0.350 3.726 0.406 0.211

Problem 6194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A A F A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 97 28 28 0 29 22 0 27

N.S.

1 3.59 1.04 1.04 0.00 1.07 0.81 0.00 1.00

time (sec)

N/A 0.185 0.080 0.094 0.000 0.349 0.373 0.000 4.322

Problem 6195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 36 35 57 52 36 37 38 26

N.S.

1 1.24 1.21 1.97 1.79 1.24 1.28 1.31 0.90

time (sec)

N/A 0.035 0.026 0.282 0.356 0.484 0.083 0.417 4.149

Problem 6196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F C B B B B B B

verified

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

size

26 0 769 138 82 74 121 435 77

N.S.

1 0.00 29.58 5.31 3.15 2.85 4.65 16.73 2.96

time (sec)

N/A 2.050 1.229 0.791 0.402 0.376 0.276 0.455 4.183

Problem 6197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A B B

verified

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

size

23 0 31 35 34 30 32 100 38

N.S.

1 0.00 1.35 1.52 1.48 1.30 1.39 4.35 1.65

time (sec)

N/A 4.220 0.152 0.279 0.632 0.381 0.180 0.544 4.353

Problem 6198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 25 19 16 25 27 24 25 26

N.S.

1 1.19 0.90 0.76 1.19 1.29 1.14 1.19 1.24

time (sec)

N/A 0.114 0.028 0.507 0.525 0.381 0.068 0.415 0.121

Problem 6199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A F A A A A A A B

verified

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

size

19 0 19 26 15 25 20 15 18

N.S.

1 0.00 1.00 1.37 0.79 1.32 1.05 0.79 0.95

time (sec)

N/A 0.251 0.087 0.972 0.424 0.376 0.088 0.410 4.121

Problem 6200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 25 24 31 58 51 17 60 25

N.S.

1 0.93 0.89 1.15 2.15 1.89 0.63 2.22 0.93

time (sec)

N/A 0.529 0.044 5.117 0.311 0.366 0.074 0.451 4.376

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