width(0, 2.0).
width(1, 2.8).
width(2, 3.92).
width(3, 5.4879999999999995).
width(4, 7.683199999999999).
width(5, 10.75648).
width(6, 15.059072).
width(7, 21.0827008).
width(8, 29.51578112).
width(9, 41.322093568).
width(10, 57.8509309952).
width(result, width(0, 2.0)).
width(result, width(1, 2.8)).
width(result, width(2, 3.92)).
width(result, width(3, 5.4879999999999995)).
width(result, width(4, 7.683199999999999)).
width(result, width(5, 10.75648)).
width(result, width(6, 15.059072)).
width(result, width(7, 21.0827008)).
width(result, width(8, 29.51578112)).
width(result, width(9, 41.322093568)).
width(result, width(10, 57.8509309952)).
eta(result, 0.2).
etaLeHalf(result, true).
xBounds(result, bounds(0, 0.0, 2.0)).
xBounds(result, bounds(1, -0.4, 2.4)).
xBounds(result, bounds(2, -0.96, 2.96)).
xBounds(result, bounds(3, -1.744, 3.7439999999999998)).
xBounds(result, bounds(4, -2.8415999999999997, 4.8416)).
xBounds(result, bounds(5, -4.37824, 6.37824)).
xBounds(result, bounds(6, -6.529536, 8.529536)).
xBounds(result, bounds(7, -9.5413504, 11.5413504)).
xBounds(result, bounds(8, -13.75789056, 15.75789056)).
xBounds(result, bounds(9, -19.661046784, 21.661046784)).
xBounds(result, bounds(10, -27.9254654976, 29.9254654976)).
midpoint(result, midpoint(0, 1.0, 1.0)).
midpoint(result, midpoint(1, 1.0, 1.4)).
midpoint(result, midpoint(2, 1.0, 1.96)).
midpoint(result, midpoint(3, 0.9999999999999999, 2.7439999999999998)).
midpoint(result, midpoint(4, 1.0, 3.8415999999999997)).
midpoint(result, midpoint(5, 1.0, 5.37824)).
midpoint(result, midpoint(6, 1.0, 7.529536)).
midpoint(result, midpoint(7, 1.0, 10.5413504)).
midpoint(result, midpoint(8, 1.0, 14.75789056)).
midpoint(result, midpoint(9, 1.0, 20.661046784)).
midpoint(result, midpoint(10, 1.0, 28.9254654976)).
gradientBounds(result, gradient(0, -2.0, 2.0)).
gradientBounds(result, gradient(1, -2.8, 2.8)).
gradientBounds(result, gradient(2, -3.92, 3.92)).
gradientBounds(result, gradient(3, -5.4879999999999995, 5.4879999999999995)).
gradientBounds(result, gradient(4, -7.683199999999999, 7.683199999999999)).
gradientBounds(result, gradient(5, -10.75648, 10.75648)).
gradientBounds(result, gradient(6, -15.059072, 15.059072)).
gradientBounds(result, gradient(7, -21.0827008, 21.0827008)).
gradientBounds(result, gradient(8, -29.51578112, 29.51578112)).
gradientBounds(result, gradient(9, -41.322093568, 41.322093568)).
gradientBounds(result, gradient(10, -57.8509309952, 57.8509309952)).
stepBounds(result, step(0, -0.4, 0.4)).
stepBounds(result, step(1, -0.5599999999999999, 0.5599999999999999)).
stepBounds(result, step(2, -0.784, 0.784)).
stepBounds(result, step(3, -1.0976, 1.0976)).
stepBounds(result, step(4, -1.53664, 1.53664)).
stepBounds(result, step(5, -2.151296, 2.151296)).
stepBounds(result, step(6, -3.0118144000000004, 3.0118144000000004)).
stepBounds(result, step(7, -4.21654016, 4.21654016)).
stepBounds(result, step(8, -5.903156224, 5.903156224)).
stepBounds(result, step(9, -8.2644187136, 8.2644187136)).
stepBounds(result, step(10, -11.570186199040002, 11.570186199040002)).
objectiveBounds(result, f(0, 0.0, 1.0)).
objectiveBounds(result, f(1, 0.0, 1.9599999999999997)).
objectiveBounds(result, f(2, 0.0, 3.8415999999999997)).
objectiveBounds(result, f(3, 0.0, 7.5295359999999985)).
objectiveBounds(result, f(4, 0.0, 14.757890559999998)).
objectiveBounds(result, f(5, 0.0, 28.925465497599998)).
objectiveBounds(result, f(6, 0.0, 56.693912375296)).
objectiveBounds(result, f(7, 0.0, 111.12006825558018)).
objectiveBounds(result, f(8, 0.0, 217.7953337809371)).
objectiveBounds(result, f(9, 0.0, 426.87885421063675)).
objectiveBounds(result, f(10, 0.0, 836.682554252848)).