[tail] [up]

Integrals 1 to 89

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 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A B A B B

verified

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

size

31 30 25 24 94 24 294 45 21 34

N.S.

1 0.97 0.81 0.77 3.03 0.77 9.48 1.45 0.68 1.10

time (sec)

N/A 0.249 0.240 0.570 0.115 0.077 0.452 0.114 0.216 42.175

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

16 16 13 16 14 14 51 14 17 11

N.S.

1 1.00 0.81 1.00 0.88 0.88 3.19 0.88 1.06 0.69

time (sec)

N/A 0.210 0.022 0.430 0.030 0.081 0.269 0.108 0.172 0.045

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A B A B B

verified

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

size

13 13 17 11 42 10 46 25 10 10

N.S.

1 1.00 1.31 0.85 3.23 0.77 3.54 1.92 0.77 0.77

time (sec)

N/A 0.209 0.049 0.379 0.119 0.081 0.174 0.106 0.160 41.297

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

10 12 12 12 12 12 8 10 10 10

N.S.

1 1.20 1.20 1.20 1.20 1.20 0.80 1.00 1.00 1.00

time (sec)

N/A 0.191 0.011 0.303 0.031 0.074 0.072 0.109 0.156 41.780

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

11 11 10 9 12 11 5 8 8 8

N.S.

1 1.00 0.91 0.82 1.09 1.00 0.45 0.73 0.73 0.73

time (sec)

N/A 0.181 0.008 0.250 0.029 0.067 0.097 0.107 0.159 43.183

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A F A B B

verified

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

size

23 29 42 20 31 37 0 34 19 20

N.S.

1 1.26 1.83 0.87 1.35 1.61 0.00 1.48 0.83 0.87

time (sec)

N/A 0.248 0.038 0.457 0.029 0.083 0.000 0.111 0.187 43.856

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A F A B B

verified

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

size

24 24 30 25 41 26 0 37 27 35

N.S.

1 1.00 1.25 1.04 1.71 1.08 0.00 1.54 1.12 1.46

time (sec)

N/A 0.270 0.219 0.458 0.033 0.066 0.000 0.118 0.167 40.364

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A F A B B

verified

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

size

55 62 60 36 58 83 0 52 40 45

N.S.

1 1.13 1.09 0.65 1.05 1.51 0.00 0.95 0.73 0.82

time (sec)

N/A 0.280 0.133 0.562 0.032 0.083 0.000 0.121 0.187 41.055

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A B A F A B B

verified

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

size

37 35 38 43 70 53 0 59 41 45

N.S.

1 0.95 1.03 1.16 1.89 1.43 0.00 1.59 1.11 1.22

time (sec)

N/A 0.294 0.219 0.519 0.030 0.070 0.000 0.111 0.185 42.171

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A B A A A B A A B B

verified

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

size

5 11 5 8 9 11 10 9 9 7

N.S.

1 2.20 1.00 1.60 1.80 2.20 2.00 1.80 1.80 1.40

time (sec)

N/A 0.193 0.011 0.454 0.034 0.075 0.053 0.104 0.192 0.062

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A B A B B B B B B B

verified

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

size

3 13 3 12 9 11 8 11 9 9

N.S.

1 4.33 1.00 4.00 3.00 3.67 2.67 3.67 3.00 3.00

time (sec)

N/A 0.193 0.005 0.411 0.024 0.080 0.060 0.109 0.227 0.091

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

6 6 12 7 6 6 5 6 10 6

N.S.

1 1.00 2.00 1.17 1.00 1.00 0.83 1.00 1.67 1.00

time (sec)

N/A 0.189 0.015 0.316 0.029 0.067 0.162 0.105 0.239 42.008

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

10 10 12 9 6 6 5 6 9 6

N.S.

1 1.00 1.20 0.90 0.60 0.60 0.50 0.60 0.90 0.60

time (sec)

N/A 0.188 0.014 0.315 0.031 0.073 0.165 0.116 0.222 42.127

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 18 11 23 18 7 10 10 10

N.S.

1 1.00 1.29 0.79 1.64 1.29 0.50 0.71 0.71 0.71

time (sec)

N/A 0.199 0.025 0.363 0.117 0.072 0.196 0.108 0.179 40.564

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A C A A A A A B B

verified

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

size

16 16 26 11 23 16 8 12 16 10

N.S.

1 1.00 1.62 0.69 1.44 1.00 0.50 0.75 1.00 0.62

time (sec)

N/A 0.202 0.029 0.408 0.118 0.074 0.321 0.117 0.181 43.160

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

10 10 13 11 10 12 58 10 38 10

N.S.

1 1.00 1.30 1.10 1.00 1.20 5.80 1.00 3.80 1.00

time (sec)

N/A 0.218 0.032 0.444 0.027 0.081 0.209 0.118 0.169 0.045

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

12 12 13 11 10 12 58 12 38 10

N.S.

1 1.00 1.08 0.92 0.83 1.00 4.83 1.00 3.17 0.83

time (sec)

N/A 0.214 0.022 0.543 0.028 0.081 0.202 0.110 0.182 43.750

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

10 10 12 9 8 14 14 8 14 8

N.S.

1 1.00 1.20 0.90 0.80 1.40 1.40 0.80 1.40 0.80

time (sec)

N/A 0.184 0.012 0.363 0.026 0.068 0.262 0.105 0.159 0.041

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

12 12 12 11 8 14 15 8 16 8

N.S.

1 1.00 1.00 0.92 0.67 1.17 1.25 0.67 1.33 0.67

time (sec)

N/A 0.187 0.015 0.376 0.026 0.064 0.247 0.127 0.170 43.694

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

14 14 12 9 12 20 7 8 8 8

N.S.

1 1.00 0.86 0.64 0.86 1.43 0.50 0.57 0.57 0.57

time (sec)

N/A 0.194 0.094 0.346 0.034 0.080 0.294 0.109 0.187 43.733

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

16 16 12 9 12 22 10 8 8 8

N.S.

1 1.00 0.75 0.56 0.75 1.38 0.62 0.50 0.50 0.50

time (sec)

N/A 0.197 0.103 0.401 0.026 0.066 0.470 0.117 0.167 44.861

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

14 14 18 15 14 21 126 14 54 14

N.S.

1 1.00 1.29 1.07 1.00 1.50 9.00 1.00 3.86 1.00

time (sec)

N/A 0.220 0.014 0.493 0.031 0.076 0.250 0.132 0.171 44.224

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

20 20 20 17 16 22 126 18 54 16

N.S.

1 1.00 1.00 0.85 0.80 1.10 6.30 0.90 2.70 0.80

time (sec)

N/A 0.231 0.012 0.591 0.030 0.078 0.254 0.106 0.160 0.050

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

104 125 96 152 0 243 0 194 139 1677

N.S.

1 1.20 0.92 1.46 0.00 2.34 0.00 1.87 1.34 16.12

time (sec)

N/A 0.659 0.285 0.852 0.000 0.100 0.000 0.115 0.165 44.970

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A B A B B

verified

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

size

40 40 40 39 38 41 1421 39 105 38

N.S.

1 1.00 1.00 0.98 0.95 1.02 35.52 0.98 2.62 0.95

time (sec)

N/A 0.254 0.094 0.891 0.025 0.089 153.079 0.108 0.174 0.101

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

59 73 54 78 0 154 991 90 53 74

N.S.

1 1.24 0.92 1.32 0.00 2.61 16.80 1.53 0.90 1.25

time (sec)

N/A 0.393 0.136 0.461 0.000 0.100 50.680 0.118 0.181 44.729

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A A A B B

verified

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

size

12 12 12 13 12 15 17 13 12 12

N.S.

1 1.00 1.00 1.08 1.00 1.25 1.42 1.08 1.00 1.00

time (sec)

N/A 0.196 0.038 0.358 0.026 0.081 0.079 0.118 0.264 0.046

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

42 42 41 36 0 137 144 61 51 38

N.S.

1 1.00 0.98 0.86 0.00 3.26 3.43 1.45 1.21 0.90

time (sec)

N/A 0.202 0.075 0.236 0.000 0.092 1.699 0.111 0.233 45.336

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A A F A B B

verified

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

size

53 66 50 44 47 52 0 54 51 52

N.S.

1 1.25 0.94 0.83 0.89 0.98 0.00 1.02 0.96 0.98

time (sec)

N/A 0.285 0.085 0.582 0.026 0.088 0.000 0.111 0.240 0.193

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

67 78 66 78 0 230 0 91 92 86

N.S.

1 1.16 0.99 1.16 0.00 3.43 0.00 1.36 1.37 1.28

time (sec)

N/A 0.317 0.404 0.523 0.000 0.095 0.000 0.146 0.162 44.811

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A A B F A B B

verified

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

size

100 118 99 91 115 181 0 136 141 112

N.S.

1 1.18 0.99 0.91 1.15 1.81 0.00 1.36 1.41 1.12

time (sec)

N/A 0.377 0.547 0.832 0.033 0.116 0.000 0.118 0.183 43.159

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

110 135 112 127 0 459 0 206 180 184

N.S.

1 1.23 1.02 1.15 0.00 4.17 0.00 1.87 1.64 1.67

time (sec)

N/A 0.579 0.805 0.716 0.000 0.105 0.000 0.118 0.191 42.892

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

129 135 108 127 0 136 0 0 51 0

N.S.

1 1.05 0.84 0.98 0.00 1.05 0.00 0.00 0.40 0.00

time (sec)

N/A 0.562 1.295 3.638 0.000 0.104 0.000 0.000 0.167 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

100 101 80 171 0 120 0 0 51 0

N.S.

1 1.01 0.80 1.71 0.00 1.20 0.00 0.00 0.51 0.00

time (sec)

N/A 0.437 0.962 3.095 0.000 0.104 0.000 0.000 0.163 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

100 101 80 116 0 99 0 0 47 0

N.S.

1 1.01 0.80 1.16 0.00 0.99 0.00 0.00 0.47 0.00

time (sec)

N/A 0.437 0.720 1.847 0.000 0.097 0.000 0.000 0.168 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F C F F F B

verified

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

size

68 68 60 117 0 82 0 0 37 60

N.S.

1 1.00 0.88 1.72 0.00 1.21 0.00 0.00 0.54 0.88

time (sec)

N/A 0.328 0.344 2.136 0.000 0.105 0.000 0.000 0.192 42.657

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

N/A A A A F C F F F B

verified

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

size

66 66 54 92 0 71 0 0 41 50

N.S.

1 1.00 0.82 1.39 0.00 1.08 0.00 0.00 0.62 0.76

time (sec)

N/A 0.333 0.416 1.917 0.000 0.082 0.000 0.000 0.194 43.254

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

96 97 58 153 0 108 0 0 55 0

N.S.

1 1.01 0.60 1.59 0.00 1.12 0.00 0.00 0.57 0.00

time (sec)

N/A 0.442 0.358 2.221 0.000 0.087 0.000 0.000 0.177 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

102 103 59 124 0 122 0 0 59 0

N.S.

1 1.01 0.58 1.22 0.00 1.20 0.00 0.00 0.58 0.00

time (sec)

N/A 0.441 0.430 2.416 0.000 0.091 0.000 0.000 0.164 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

131 135 74 187 0 166 0 0 59 0

N.S.

1 1.03 0.56 1.43 0.00 1.27 0.00 0.00 0.45 0.00

time (sec)

N/A 0.551 0.596 2.249 0.000 0.087 0.000 0.000 0.184 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

193 184 157 252 0 195 0 0 86 0

N.S.

1 0.95 0.81 1.31 0.00 1.01 0.00 0.00 0.45 0.00

time (sec)

N/A 0.801 2.781 11.235 0.000 0.137 0.000 0.000 0.193 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

154 150 116 332 0 168 0 0 86 0

N.S.

1 0.97 0.75 2.16 0.00 1.09 0.00 0.00 0.56 0.00

time (sec)

N/A 0.669 1.426 10.173 0.000 0.097 0.000 0.000 0.173 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

154 150 117 229 0 145 0 0 80 0

N.S.

1 0.97 0.76 1.49 0.00 0.94 0.00 0.00 0.52 0.00

time (sec)

N/A 0.673 1.517 2.834 0.000 0.091 0.000 0.000 0.192 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

114 117 83 272 0 117 0 0 64 0

N.S.

1 1.03 0.73 2.39 0.00 1.03 0.00 0.00 0.56 0.00

time (sec)

N/A 0.533 0.755 3.210 0.000 0.137 0.000 0.000 0.173 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

114 115 79 170 0 105 0 0 75 0

N.S.

1 1.01 0.69 1.49 0.00 0.92 0.00 0.00 0.66 0.00

time (sec)

N/A 0.539 1.083 2.741 0.000 0.099 0.000 0.000 0.183 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

118 121 75 283 0 135 0 0 95 0

N.S.

1 1.03 0.64 2.40 0.00 1.14 0.00 0.00 0.81 0.00

time (sec)

N/A 0.581 1.082 3.360 0.000 0.089 0.000 0.000 0.190 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

124 125 76 202 0 161 0 0 102 0

N.S.

1 1.01 0.61 1.63 0.00 1.30 0.00 0.00 0.82 0.00

time (sec)

N/A 0.574 1.232 3.218 0.000 0.091 0.000 0.000 0.171 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

165 158 109 351 0 216 0 0 102 0

N.S.

1 0.96 0.66 2.13 0.00 1.31 0.00 0.00 0.62 0.00

time (sec)

N/A 0.708 1.539 3.337 0.000 0.174 0.000 0.000 0.167 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

242 237 205 276 0 246 0 0 121 0

N.S.

1 0.98 0.85 1.14 0.00 1.02 0.00 0.00 0.50 0.00

time (sec)

N/A 1.145 4.026 43.706 0.000 0.115 0.000 0.000 0.202 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

202 203 149 356 0 206 0 0 121 0

N.S.

1 1.00 0.74 1.76 0.00 1.02 0.00 0.00 0.60 0.00

time (sec)

N/A 0.974 2.491 43.233 0.000 0.111 0.000 0.000 0.221 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

202 203 147 272 0 183 0 0 113 0

N.S.

1 1.00 0.73 1.35 0.00 0.91 0.00 0.00 0.56 0.00

time (sec)

N/A 0.975 2.171 3.826 0.000 0.107 0.000 0.000 0.210 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

161 169 105 314 0 140 0 0 88 0

N.S.

1 1.05 0.65 1.95 0.00 0.87 0.00 0.00 0.55 0.00

time (sec)

N/A 0.818 1.446 4.272 0.000 0.125 0.000 0.000 0.265 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

157 158 98 210 0 126 0 0 110 0

N.S.

1 1.01 0.62 1.34 0.00 0.80 0.00 0.00 0.70 0.00

time (sec)

N/A 0.811 1.630 4.012 0.000 0.091 0.000 0.000 0.270 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

165 168 101 313 0 163 0 0 141 0

N.S.

1 1.02 0.61 1.90 0.00 0.99 0.00 0.00 0.85 0.00

time (sec)

N/A 0.842 1.234 4.810 0.000 0.108 0.000 0.000 0.249 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

169 168 102 226 0 187 0 0 145 0

N.S.

1 0.99 0.60 1.34 0.00 1.11 0.00 0.00 0.86 0.00

time (sec)

N/A 0.847 2.109 4.484 0.000 0.106 0.000 0.000 0.165 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

192 199 130 375 0 243 0 0 145 0

N.S.

1 1.04 0.68 1.95 0.00 1.27 0.00 0.00 0.76 0.00

time (sec)

N/A 0.926 1.952 4.681 0.000 0.097 0.000 0.000 0.173 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

193 202 144 265 0 274 0 0 145 0

N.S.

1 1.05 0.75 1.37 0.00 1.42 0.00 0.00 0.75 0.00

time (sec)

N/A 0.939 2.258 4.946 0.000 0.137 0.000 0.000 0.182 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

544 555 2035 931 0 0 0 0 36 0

N.S.

1 1.02 3.74 1.71 0.00 0.00 0.00 0.00 0.07 0.00

time (sec)

N/A 2.934 19.001 3.987 0.000 0.000 0.000 0.000 0.158 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

461 459 834 851 0 0 0 0 36 0

N.S.

1 1.00 1.81 1.85 0.00 0.00 0.00 0.00 0.08 0.00

time (sec)

N/A 2.164 17.375 3.635 0.000 0.000 0.000 0.000 0.176 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

474 478 1955 773 0 0 0 0 36 0

N.S.

1 1.01 4.12 1.63 0.00 0.00 0.00 0.00 0.08 0.00

time (sec)

N/A 2.214 17.626 3.506 0.000 0.000 0.000 0.000 0.162 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

399 390 757 639 0 0 0 0 36 0

N.S.

1 0.98 1.90 1.60 0.00 0.00 0.00 0.00 0.09 0.00

time (sec)

N/A 1.745 16.604 2.871 0.000 0.000 0.000 0.000 0.160 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

410 407 434 655 0 0 0 0 32 0

N.S.

1 0.99 1.06 1.60 0.00 0.00 0.00 0.00 0.08 0.00

time (sec)

N/A 1.719 7.150 1.570 0.000 0.000 0.000 0.000 0.196 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

302 297 361 496 0 0 0 0 25 0

N.S.

1 0.98 1.20 1.64 0.00 0.00 0.00 0.00 0.08 0.00

time (sec)

N/A 1.080 3.239 1.666 0.000 0.000 0.000 0.000 0.156 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

307 316 261 519 0 0 0 0 41 0

N.S.

1 1.03 0.85 1.69 0.00 0.00 0.00 0.00 0.13 0.00

time (sec)

N/A 1.183 3.638 1.371 0.000 0.000 0.000 0.000 0.179 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

426 405 791 774 0 0 0 0 45 0

N.S.

1 0.95 1.86 1.82 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 1.865 15.982 1.968 0.000 0.000 0.000 0.000 0.168 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

447 429 1192 711 0 0 0 0 45 0

N.S.

1 0.96 2.67 1.59 0.00 0.00 0.00 0.00 0.10 0.00

time (sec)

N/A 1.875 13.674 2.034 0.000 0.000 0.000 0.000 0.163 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

501 494 881 1007 0 0 0 0 45 0

N.S.

1 0.99 1.76 2.01 0.00 0.00 0.00 0.00 0.09 0.00

time (sec)

N/A 2.448 7.647 2.453 0.000 0.000 0.000 0.000 0.191 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

557 556 2029 1659 0 0 0 0 52 0

N.S.

1 1.00 3.64 2.98 0.00 0.00 0.00 0.00 0.09 0.00

time (sec)

N/A 2.679 19.387 17.014 0.000 0.000 0.000 0.000 0.162 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

473 460 835 1628 0 0 0 0 52 0

N.S.

1 0.97 1.77 3.44 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 2.100 17.292 16.414 0.000 0.000 0.000 0.000 0.162 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

487 479 1956 1501 0 0 0 0 52 0

N.S.

1 0.98 4.02 3.08 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 2.205 18.676 16.473 0.000 0.000 0.000 0.000 0.170 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

404 393 366 1668 0 0 0 0 52 0

N.S.

1 0.97 0.91 4.13 0.00 0.00 0.00 0.00 0.13 0.00

time (sec)

N/A 1.658 10.204 15.635 0.000 0.000 0.000 0.000 0.173 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

418 411 614 1371 0 0 0 0 129 0

N.S.

1 0.98 1.47 3.28 0.00 0.00 0.00 0.00 0.31 0.00

time (sec)

N/A 1.699 11.180 2.316 0.000 0.000 0.000 0.000 0.200 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

438 403 786 1306 0 0 0 0 41 0

N.S.

1 0.92 1.79 2.98 0.00 0.00 0.00 0.00 0.09 0.00

time (sec)

N/A 1.692 15.118 2.550 0.000 0.000 0.000 0.000 0.171 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

445 423 1182 1280 0 0 0 0 63 0

N.S.

1 0.95 2.66 2.88 0.00 0.00 0.00 0.00 0.14 0.00

time (sec)

N/A 1.741 12.422 2.279 0.000 0.000 0.000 0.000 0.176 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

507 490 865 2002 0 0 0 0 69 0

N.S.

1 0.97 1.71 3.95 0.00 0.00 0.00 0.00 0.14 0.00

time (sec)

N/A 2.300 7.123 2.915 0.000 0.000 0.000 0.000 0.175 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

530 513 1257 1470 0 0 0 0 69 0

N.S.

1 0.97 2.37 2.77 0.00 0.00 0.00 0.00 0.13 0.00

time (sec)

N/A 2.265 16.500 3.051 0.000 0.000 0.000 0.000 0.168 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

590 583 950 1745 0 0 0 0 69 0

N.S.

1 0.99 1.61 2.96 0.00 0.00 0.00 0.00 0.12 0.00

time (sec)

N/A 2.811 7.382 3.401 0.000 0.000 0.000 0.000 0.191 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

590 543 930 2995 0 0 0 0 68 0

N.S.

1 0.92 1.58 5.08 0.00 0.00 0.00 0.00 0.12 0.00

time (sec)

N/A 2.533 16.722 107.099 0.000 0.000 0.000 0.000 0.179 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

604 562 2024 2754 0 0 0 0 68 0

N.S.

1 0.93 3.35 4.56 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 2.603 17.645 101.655 0.000 0.000 0.000 0.000 0.168 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

498 466 837 2736 0 0 0 0 68 0

N.S.

1 0.94 1.68 5.49 0.00 0.00 0.00 0.00 0.14 0.00

time (sec)

N/A 2.015 15.857 100.149 0.000 0.000 0.000 0.000 0.177 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

512 483 1954 2590 0 0 0 0 68 0

N.S.

1 0.94 3.82 5.06 0.00 0.00 0.00 0.00 0.13 0.00

time (sec)

N/A 2.160 18.276 98.709 0.000 0.000 0.000 0.000 0.176 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

520 464 831 2612 0 0 0 0 68 0

N.S.

1 0.89 1.60 5.02 0.00 0.00 0.00 0.00 0.13 0.00

time (sec)

N/A 2.047 15.921 96.435 0.000 0.000 0.000 0.000 0.246 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

534 483 1211 2494 0 0 0 0 64 0

N.S.

1 0.90 2.27 4.67 0.00 0.00 0.00 0.00 0.12 0.00

time (sec)

N/A 2.093 12.932 3.362 0.000 0.000 0.000 0.000 0.245 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

529 477 837 2365 0 0 0 0 57 0

N.S.

1 0.90 1.58 4.47 0.00 0.00 0.00 0.00 0.11 0.00

time (sec)

N/A 2.233 15.794 3.889 0.000 0.000 0.000 0.000 0.234 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

535 497 1226 2220 0 0 0 0 85 0

N.S.

1 0.93 2.29 4.15 0.00 0.00 0.00 0.00 0.16 0.00

time (sec)

N/A 2.239 13.919 3.271 0.000 0.000 0.000 0.000 0.161 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

611 575 922 2836 0 0 0 0 93 0

N.S.

1 0.94 1.51 4.64 0.00 0.00 0.00 0.00 0.15 0.00

time (sec)

N/A 2.877 7.245 4.200 0.000 0.000 0.000 0.000 0.180 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

629 598 1308 2679 0 0 0 0 93 0

N.S.

1 0.95 2.08 4.26 0.00 0.00 0.00 0.00 0.15 0.00

time (sec)

N/A 2.900 16.612 4.406 0.000 0.000 0.000 0.000 0.180 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

700 679 1014 3077 0 0 0 0 93 0

N.S.

1 0.97 1.45 4.40 0.00 0.00 0.00 0.00 0.13 0.00

time (sec)

N/A 3.637 7.617 4.959 0.000 0.000 0.000 0.000 0.172 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Reduce Mupad

grade

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

verified

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

size

159 159 676 0 0 0 0 0 27 0

N.S.

1 1.00 4.25 0.00 0.00 0.00 0.00 0.00 0.17 0.00

time (sec)

N/A 0.382 4.105 0.000 0.000 0.000 0.000 0.000 0.183 0.000

[front] [up]