width(0, 2.0).
width(1, 1.2000000000000002).
width(2, 0.7200000000000001).
width(3, 0.43199999999999994).
width(4, 0.2591999999999999).
width(5, 0.15552).
width(6, 0.09331199999999995).
width(7, 0.055987200000000015).
width(8, 0.0335923199999999).
width(9, 0.02015539199999994).
width(10, 0.012093235200000052).
width(result, width(0, 2.0)).
width(result, width(1, 1.2000000000000002)).
width(result, width(2, 0.7200000000000001)).
width(result, width(3, 0.43199999999999994)).
width(result, width(4, 0.2591999999999999)).
width(result, width(5, 0.15552)).
width(result, width(6, 0.09331199999999995)).
width(result, width(7, 0.055987200000000015)).
width(result, width(8, 0.0335923199999999)).
width(result, width(9, 0.02015539199999994)).
width(result, width(10, 0.012093235200000052)).
eta(result, 0.2).
etaLeHalf(result, true).
xBounds(result, bounds(0, 0.0, 2.0)).
xBounds(result, bounds(1, 0.4, 1.6)).
xBounds(result, bounds(2, 0.64, 1.36)).
xBounds(result, bounds(3, 0.784, 1.216)).
xBounds(result, bounds(4, 0.8704000000000001, 1.1296)).
xBounds(result, bounds(5, 0.9222400000000001, 1.07776)).
xBounds(result, bounds(6, 0.9533440000000001, 1.046656)).
xBounds(result, bounds(7, 0.9720064, 1.0279936)).
xBounds(result, bounds(8, 0.98320384, 1.01679616)).
xBounds(result, bounds(9, 0.989922304, 1.010077696)).
xBounds(result, bounds(10, 0.9939533824, 1.0060466176)).
midpoint(result, midpoint(0, 1.0, 1.0)).
midpoint(result, midpoint(1, 1.0, 0.6000000000000001)).
midpoint(result, midpoint(2, 1.0, 0.36000000000000004)).
midpoint(result, midpoint(3, 1.0, 0.21599999999999997)).
midpoint(result, midpoint(4, 1.0, 0.12959999999999994)).
midpoint(result, midpoint(5, 1.0, 0.07776)).
midpoint(result, midpoint(6, 1.0, 0.046655999999999975)).
midpoint(result, midpoint(7, 1.0, 0.027993600000000007)).
midpoint(result, midpoint(8, 1.0, 0.01679615999999995)).
midpoint(result, midpoint(9, 1.0, 0.01007769599999997)).
midpoint(result, midpoint(10, 1.0, 0.006046617600000026)).
gradientBounds(result, gradient(0, -2.0, 2.0)).
gradientBounds(result, gradient(1, -1.2, 1.2000000000000002)).
gradientBounds(result, gradient(2, -0.72, 0.7200000000000002)).
gradientBounds(result, gradient(3, -0.43199999999999994, 0.43199999999999994)).
gradientBounds(result, gradient(4, -0.2591999999999999, 0.2591999999999999)).
gradientBounds(result, gradient(5, -0.15551999999999988, 0.1555200000000001)).
gradientBounds(result, gradient(6, -0.09331199999999984, 0.09331200000000006)).
gradientBounds(result, gradient(7, -0.055987199999999904, 0.055987200000000126)).
gradientBounds(result, gradient(8, -0.0335923199999999, 0.0335923199999999)).
gradientBounds(result, gradient(9, -0.02015539199999994, 0.02015539199999994)).
gradientBounds(result, gradient(10, -0.012093235200000052, 0.012093235200000052)).
stepBounds(result, step(0, -0.4, 0.4)).
stepBounds(result, step(1, -0.24, 0.24000000000000005)).
stepBounds(result, step(2, -0.144, 0.14400000000000004)).
stepBounds(result, step(3, -0.08639999999999999, 0.08639999999999999)).
stepBounds(result, step(4, -0.051839999999999976, 0.051839999999999976)).
stepBounds(result, step(5, -0.03110399999999998, 0.03110400000000002)).
stepBounds(result, step(6, -0.018662399999999968, 0.018662400000000013)).
stepBounds(result, step(7, -0.011197439999999982, 0.011197440000000025)).
stepBounds(result, step(8, -0.0067184639999999796, 0.0067184639999999796)).
stepBounds(result, step(9, -0.0040310783999999876, 0.0040310783999999876)).
stepBounds(result, step(10, -0.0024186470400000106, 0.0024186470400000106)).
objectiveBounds(result, f(0, 0.0, 1.0)).
objectiveBounds(result, f(1, 0.0, 0.3600000000000001)).
objectiveBounds(result, f(2, 0.0, 0.12960000000000008)).
objectiveBounds(result, f(3, 0.0, 0.04665599999999999)).
objectiveBounds(result, f(4, 0.0, 0.016796159999999984)).
objectiveBounds(result, f(5, 0.0, 0.006046617600000008)).
objectiveBounds(result, f(6, 0.0, 0.002176782336000003)).
objectiveBounds(result, f(7, 0.0, 0.0007836416409600036)).
objectiveBounds(result, f(8, 0.0, 0.00028211099074559827)).
objectiveBounds(result, f(9, 0.0, 0.00010155995666841538)).
objectiveBounds(result, f(10, 0.0, 0.00003656158440063007)).
widthContractsAt(result, 1).
widthContractsAt(result, 2).
widthContractsAt(result, 3).
widthContractsAt(result, 4).
widthContractsAt(result, 5).
widthContractsAt(result, 6).
widthContractsAt(result, 7).
widthContractsAt(result, 8).
widthContractsAt(result, 9).
widthContractsAt(result, 10).