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).

clause(4, target(1.0), true).
clause(5, eta(var('Eta')), var('Eta') is 1.0 / 5).
clause(6, x_bounds(0, 0.0, 2.0), true).
clause(7, index(0), true).
clause(8, index(1), true).
clause(9, index(2), true).
clause(10, index(3), true).
clause(11, index(4), true).
clause(12, index(5), true).
clause(13, index(6), true).
clause(14, index(7), true).
clause(15, index(8), true).
clause(16, index(9), true).
clause(17, index(10), true).
clause(18, previous(1, 0), true).
clause(19, previous(2, 1), true).
clause(20, previous(3, 2), true).
clause(21, previous(4, 3), true).
clause(22, previous(5, 4), true).
clause(23, previous(6, 5), true).
clause(24, previous(7, 6), true).
clause(25, previous(8, 7), true).
clause(26, previous(9, 8), true).
clause(27, previous(10, 9), true).
clause(28,
       g_bounds(var('K'), var('Gl'), var('Gu')),
       (target(var('A')),
        x_bounds(var('K'), var('L'), var('U')),
        var('Dl') is var('L') - var('A'),
        var('Du') is var('U') - var('A'),
        var('Gl') is 2 * var('Dl'),
        var('Gu') is 2 * var('Du'))).
clause(29,
       p_bounds(var('K'), var('Pl'), var('Pu')),
       (eta(var('Eta')),
        g_bounds(var('K'), var('Gl'), var('Gu')),
        var('Pl') is var('Eta') * var('Gl'),
        var('Pu') is var('Eta') * var('Gu'))).
clause(30,
       x_bounds(var('K1'), var('L1'), var('U1')),
       (previous(var('K1'), var('K')),
        x_bounds(var('K'), var('L'), var('U')),
        eta_le_half(true),
        target(var('A')),
        eta(var('Eta')),
        var('Dl') is var('L') - var('A'),
        var('Du') is var('U') - var('A'),
        var('L1') is var('L') - var('Eta') * 2 * var('Dl'),
        var('U1') is var('U') - var('Eta') * 2 * var('Du'))).
clause(31,
       width(var('K'), var('W')),
       (x_bounds(var('K'), var('L'), var('U')), var('W') is var('U') - var('L'))).
clause(32,
       midpoint(var('K'), var('M'), var('Halfw')),
       (x_bounds(var('K'), var('L'), var('U')),
        width(var('K'), var('W')),
        var('Halfw') is var('W') / 2,
        var('Sum') is var('L') + var('U'),
        var('M') is var('Sum') / 2)).
clause(33,
       eta_le_half(true),
       (eta(var('Eta')), var('Half') is 1.0 / 2, var('Eta') =< var('Half'))).
clause(34,
       width_contracts_at(var('K1'), true),
       (eta_le_half(true),
        previous(var('K1'), var('K')),
        width(var('K'), var('W')),
        width(var('K1'), var('W1')),
        var('W1') =< var('W'))).
clause(35, max2(var('A'), var('B'), var('A')), var('A') >= var('B')).
clause(36, max2(var('A'), var('B'), var('B')), var('A') < var('B')).
clause(39,
       end_squares(var('K'), var('Sl'), var('Su')),
       (target(var('A')),
        x_bounds(var('K'), var('L'), var('U')),
        var('Dl') is var('L') - var('A'),
        var('Du') is var('U') - var('A'),
        var('Sl') is var('Dl') * var('Dl'),
        var('Su') is var('Du') * var('Du'))).
clause(40,
       f_upper(var('K'), var('Fu')),
       (end_squares(var('K'), var('Sl'), var('Su')), max2(var('Sl'), var('Su'), var('Fu')))).
clause(41,
       f_lower(var('K'), 0.0),
       (target(var('A')),
        x_bounds(var('K'), var('L'), var('U')),
        var('L') =< var('A'),
        var('A') =< var('U'))).
clause(44, eta(result, var('Eta')), eta(var('Eta'))).
clause(45, etaLeHalf(result, true), eta_le_half(true)).
clause(46,
       xBounds(result, bounds(var('K'), var('L'), var('U'))),
       (index(var('K')), x_bounds(var('K'), var('L'), var('U')))).
clause(47,
       midpoint(result, midpoint(var('K'), var('M'), var('Halfw'))),
       (index(var('K')), midpoint(var('K'), var('M'), var('Halfw')))).
clause(48,
       width(result, width(var('K'), var('W'))),
       (index(var('K')), width(var('K'), var('W')))).
clause(49,
       gradientBounds(result, gradient(var('K'), var('Gl'), var('Gu'))),
       (index(var('K')), g_bounds(var('K'), var('Gl'), var('Gu')))).
clause(50,
       stepBounds(result, step(var('K'), var('Pl'), var('Pu'))),
       (index(var('K')), p_bounds(var('K'), var('Pl'), var('Pu')))).
clause(51,
       objectiveBounds(result, f(var('K'), var('Fl'), var('Fu'))),
       (index(var('K')), f_lower(var('K'), var('Fl')), f_upper(var('K'), var('Fu')))).
clause(52, widthContractsAt(result, var('K')), width_contracts_at(var('K'), true)).

step(width(0, 2.0),
     rule(31),
     ['K' = 0, 'W' = 2.0, 'L' = 0.0, 'U' = 2.0],
     [x_bounds(0, 0.0, 2.0), 2.0 is 2.0 - 0.0]).
step(x_bounds(0, 0.0, 2.0), fact(6), [], []).
step(2.0 is 2.0 - 0.0, builtin, [], []).
step(width(1, 1.2000000000000002),
     rule(31),
     ['K' = 1, 'W' = 1.2000000000000002, 'L' = 0.4, 'U' = 1.6],
     [x_bounds(1, 0.4, 1.6), 1.2000000000000002 is 1.6 - 0.4]).
step(x_bounds(1, 0.4, 1.6),
     rule(30),
     ['K1' = 1,
      'L1' = 0.4,
      'U1' = 1.6,
      'K' = 0,
      'L' = 0.0,
      'U' = 2.0,
      'A' = 1.0,
      'Eta' = 0.2,
      'Dl' = -1.0,
      'Du' = 1.0],
     [previous(1, 0),
      x_bounds(0, 0.0, 2.0),
      eta_le_half(true),
      target(1.0),
      eta(0.2),
      -1.0 is 0.0 - 1.0,
      1.0 is 2.0 - 1.0,
      0.4 is 0.0 - 0.2 * 2 * -1.0,
      1.6 is 2.0 - 0.2 * 2 * 1.0]).
step(previous(1, 0), fact(18), [], []).
step(eta_le_half(true),
     rule(33),
     ['Eta' = 0.2, 'Half' = 0.5],
     [eta(0.2), 0.5 is 1.0 / 2, 0.2 =< 0.5]).
step(eta(0.2), rule(5), ['Eta' = 0.2], [0.2 is 1.0 / 5]).
step(0.2 is 1.0 / 5, builtin, [], []).
step(0.5 is 1.0 / 2, builtin, [], []).
step(0.2 =< 0.5, builtin, [], []).
step(target(1.0), fact(4), [], []).
step(-1.0 is 0.0 - 1.0, builtin, [], []).
step(1.0 is 2.0 - 1.0, builtin, [], []).
step(0.4 is 0.0 - 0.2 * 2 * -1.0, builtin, [], []).
step(1.6 is 2.0 - 0.2 * 2 * 1.0, builtin, [], []).
step(1.2000000000000002 is 1.6 - 0.4, builtin, [], []).
step(width(2, 0.7200000000000001),
     rule(31),
     ['K' = 2, 'W' = 0.7200000000000001, 'L' = 0.64, 'U' = 1.36],
     [x_bounds(2, 0.64, 1.36), 0.7200000000000001 is 1.36 - 0.64]).
step(x_bounds(2, 0.64, 1.36),
     rule(30),
     ['K1' = 2,
      'L1' = 0.64,
      'U1' = 1.36,
      'K' = 1,
      'L' = 0.4,
      'U' = 1.6,
      'A' = 1.0,
      'Eta' = 0.2,
      'Dl' = -0.6,
      'Du' = 0.6000000000000001],
     [previous(2, 1),
      x_bounds(1, 0.4, 1.6),
      eta_le_half(true),
      target(1.0),
      eta(0.2),
      -0.6 is 0.4 - 1.0,
      0.6000000000000001 is 1.6 - 1.0,
      0.64 is 0.4 - 0.2 * 2 * -0.6,
      1.36 is 1.6 - 0.2 * 2 * 0.6000000000000001]).
step(previous(2, 1), fact(19), [], []).
step(-0.6 is 0.4 - 1.0, builtin, [], []).
step(0.6000000000000001 is 1.6 - 1.0, builtin, [], []).
step(0.64 is 0.4 - 0.2 * 2 * -0.6, builtin, [], []).
step(1.36 is 1.6 - 0.2 * 2 * 0.6000000000000001, builtin, [], []).
step(0.7200000000000001 is 1.36 - 0.64, builtin, [], []).
step(width(3, 0.43199999999999994),
     rule(31),
     ['K' = 3, 'W' = 0.43199999999999994, 'L' = 0.784, 'U' = 1.216],
     [x_bounds(3, 0.784, 1.216), 0.43199999999999994 is 1.216 - 0.784]).
step(x_bounds(3, 0.784, 1.216),
     rule(30),
     ['K1' = 3,
      'L1' = 0.784,
      'U1' = 1.216,
      'K' = 2,
      'L' = 0.64,
      'U' = 1.36,
      'A' = 1.0,
      'Eta' = 0.2,
      'Dl' = -0.36,
      'Du' = 0.3600000000000001],
     [previous(3, 2),
      x_bounds(2, 0.64, 1.36),
      eta_le_half(true),
      target(1.0),
      eta(0.2),
      -0.36 is 0.64 - 1.0,
      0.3600000000000001 is 1.36 - 1.0,
      0.784 is 0.64 - 0.2 * 2 * -0.36,
      1.216 is 1.36 - 0.2 * 2 * 0.3600000000000001]).
step(previous(3, 2), fact(20), [], []).
step(-0.36 is 0.64 - 1.0, builtin, [], []).
step(0.3600000000000001 is 1.36 - 1.0, builtin, [], []).
step(0.784 is 0.64 - 0.2 * 2 * -0.36, builtin, [], []).
step(1.216 is 1.36 - 0.2 * 2 * 0.3600000000000001, builtin, [], []).
step(0.43199999999999994 is 1.216 - 0.784, builtin, [], []).
step(width(4, 0.2591999999999999),
     rule(31),
     ['K' = 4, 'W' = 0.2591999999999999, 'L' = 0.8704000000000001, 'U' = 1.1296],
     [x_bounds(4, 0.8704000000000001, 1.1296),
      0.2591999999999999 is 1.1296 - 0.8704000000000001]).
step(x_bounds(4, 0.8704000000000001, 1.1296),
     rule(30),
     ['K1' = 4,
      'L1' = 0.8704000000000001,
      'U1' = 1.1296,
      'K' = 3,
      'L' = 0.784,
      'U' = 1.216,
      'A' = 1.0,
      'Eta' = 0.2,
      'Dl' = -0.21599999999999997,
      'Du' = 0.21599999999999997],
     [previous(4, 3),
      x_bounds(3, 0.784, 1.216),
      eta_le_half(true),
      target(1.0),
      eta(0.2),
      -0.21599999999999997 is 0.784 - 1.0,
      0.21599999999999997 is 1.216 - 1.0,
      0.8704000000000001 is 0.784 - 0.2 * 2 * -0.21599999999999997,
      1.1296 is 1.216 - 0.2 * 2 * 0.21599999999999997]).
step(previous(4, 3), fact(21), [], []).
step(-0.21599999999999997 is 0.784 - 1.0, builtin, [], []).
step(0.21599999999999997 is 1.216 - 1.0, builtin, [], []).
step(0.8704000000000001 is 0.784 - 0.2 * 2 * -0.21599999999999997, builtin, [], []).
step(1.1296 is 1.216 - 0.2 * 2 * 0.21599999999999997, builtin, [], []).
step(0.2591999999999999 is 1.1296 - 0.8704000000000001, builtin, [], []).
step(width(5, 0.15552),
     rule(31),
     ['K' = 5, 'W' = 0.15552, 'L' = 0.9222400000000001, 'U' = 1.07776],
     [x_bounds(5, 0.9222400000000001, 1.07776), 0.15552 is 1.07776 - 0.9222400000000001]).
step(x_bounds(5, 0.9222400000000001, 1.07776),
     rule(30),
     ['K1' = 5,
      'L1' = 0.9222400000000001,
      'U1' = 1.07776,
      'K' = 4,
      'L' = 0.8704000000000001,
      'U' = 1.1296,
      'A' = 1.0,
      'Eta' = 0.2,
      'Dl' = -0.12959999999999994,
      'Du' = 0.12959999999999994],
     [previous(5, 4),
      x_bounds(4, 0.8704000000000001, 1.1296),
      eta_le_half(true),
      target(1.0),
      eta(0.2),
      -0.12959999999999994 is 0.8704000000000001 - 1.0,
      0.12959999999999994 is 1.1296 - 1.0,
      0.9222400000000001 is 0.8704000000000001 - 0.2 * 2 * -0.12959999999999994,
      1.07776 is 1.1296 - 0.2 * 2 * 0.12959999999999994]).
step(previous(5, 4), fact(22), [], []).
step(-0.12959999999999994 is 0.8704000000000001 - 1.0, builtin, [], []).
step(0.12959999999999994 is 1.1296 - 1.0, builtin, [], []).
step(0.9222400000000001 is 0.8704000000000001 - 0.2 * 2 * -0.12959999999999994, builtin, [], []).
step(1.07776 is 1.1296 - 0.2 * 2 * 0.12959999999999994, builtin, [], []).
step(0.15552 is 1.07776 - 0.9222400000000001, builtin, [], []).
step(width(6, 0.09331199999999995),
     rule(31),
     ['K' = 6, 'W' = 0.09331199999999995, 'L' = 0.9533440000000001, 'U' = 1.046656],
     [x_bounds(6, 0.9533440000000001, 1.046656),
      0.09331199999999995 is 1.046656 - 0.9533440000000001]).
step(x_bounds(6, 0.9533440000000001, 1.046656),
     rule(30),
     ['K1' = 6,
      'L1' = 0.9533440000000001,
      'U1' = 1.046656,
      'K' = 5,
      'L' = 0.9222400000000001,
      'U' = 1.07776,
      'A' = 1.0,
      'Eta' = 0.2,
      'Dl' = -0.07775999999999994,
      'Du' = 0.07776000000000005],
     [previous(6, 5),
      x_bounds(5, 0.9222400000000001, 1.07776),
      eta_le_half(true),
      target(1.0),
      eta(0.2),
      -0.07775999999999994 is 0.9222400000000001 - 1.0,
      0.07776000000000005 is 1.07776 - 1.0,
      0.9533440000000001 is 0.9222400000000001 - 0.2 * 2 * -0.07775999999999994,
      1.046656 is 1.07776 - 0.2 * 2 * 0.07776000000000005]).
step(previous(6, 5), fact(23), [], []).
step(-0.07775999999999994 is 0.9222400000000001 - 1.0, builtin, [], []).
step(0.07776000000000005 is 1.07776 - 1.0, builtin, [], []).
step(0.9533440000000001 is 0.9222400000000001 - 0.2 * 2 * -0.07775999999999994, builtin, [], []).
step(1.046656 is 1.07776 - 0.2 * 2 * 0.07776000000000005, builtin, [], []).
step(0.09331199999999995 is 1.046656 - 0.9533440000000001, builtin, [], []).
step(width(7, 0.055987200000000015),
     rule(31),
     ['K' = 7, 'W' = 0.055987200000000015, 'L' = 0.9720064, 'U' = 1.0279936],
     [x_bounds(7, 0.9720064, 1.0279936), 0.055987200000000015 is 1.0279936 - 0.9720064]).
step(x_bounds(7, 0.9720064, 1.0279936),
     rule(30),
     ['K1' = 7,
      'L1' = 0.9720064,
      'U1' = 1.0279936,
      'K' = 6,
      'L' = 0.9533440000000001,
      'U' = 1.046656,
      'A' = 1.0,
      'Eta' = 0.2,
      'Dl' = -0.04665599999999992,
      'Du' = 0.04665600000000003],
     [previous(7, 6),
      x_bounds(6, 0.9533440000000001, 1.046656),
      eta_le_half(true),
      target(1.0),
      eta(0.2),
      -0.04665599999999992 is 0.9533440000000001 - 1.0,
      0.04665600000000003 is 1.046656 - 1.0,
      0.9720064 is 0.9533440000000001 - 0.2 * 2 * -0.04665599999999992,
      1.0279936 is 1.046656 - 0.2 * 2 * 0.04665600000000003]).
step(previous(7, 6), fact(24), [], []).
step(-0.04665599999999992 is 0.9533440000000001 - 1.0, builtin, [], []).
step(0.04665600000000003 is 1.046656 - 1.0, builtin, [], []).
step(0.9720064 is 0.9533440000000001 - 0.2 * 2 * -0.04665599999999992, builtin, [], []).
step(1.0279936 is 1.046656 - 0.2 * 2 * 0.04665600000000003, builtin, [], []).
step(0.055987200000000015 is 1.0279936 - 0.9720064, builtin, [], []).
step(width(8, 0.0335923199999999),
     rule(31),
     ['K' = 8, 'W' = 0.0335923199999999, 'L' = 0.98320384, 'U' = 1.01679616],
     [x_bounds(8, 0.98320384, 1.01679616), 0.0335923199999999 is 1.01679616 - 0.98320384]).
step(x_bounds(8, 0.98320384, 1.01679616),
     rule(30),
     ['K1' = 8,
      'L1' = 0.98320384,
      'U1' = 1.01679616,
      'K' = 7,
      'L' = 0.9720064,
      'U' = 1.0279936,
      'A' = 1.0,
      'Eta' = 0.2,
      'Dl' = -0.027993599999999952,
      'Du' = 0.027993600000000063],
     [previous(8, 7),
      x_bounds(7, 0.9720064, 1.0279936),
      eta_le_half(true),
      target(1.0),
      eta(0.2),
      -0.027993599999999952 is 0.9720064 - 1.0,
      0.027993600000000063 is 1.0279936 - 1.0,
      0.98320384 is 0.9720064 - 0.2 * 2 * -0.027993599999999952,
      1.01679616 is 1.0279936 - 0.2 * 2 * 0.027993600000000063]).
step(previous(8, 7), fact(25), [], []).
step(-0.027993599999999952 is 0.9720064 - 1.0, builtin, [], []).
step(0.027993600000000063 is 1.0279936 - 1.0, builtin, [], []).
step(0.98320384 is 0.9720064 - 0.2 * 2 * -0.027993599999999952, builtin, [], []).
step(1.01679616 is 1.0279936 - 0.2 * 2 * 0.027993600000000063, builtin, [], []).
step(0.0335923199999999 is 1.01679616 - 0.98320384, builtin, [], []).
step(width(9, 0.02015539199999994),
     rule(31),
     ['K' = 9, 'W' = 0.02015539199999994, 'L' = 0.989922304, 'U' = 1.010077696],
     [x_bounds(9, 0.989922304, 1.010077696), 0.02015539199999994 is 1.010077696 - 0.989922304]).
step(x_bounds(9, 0.989922304, 1.010077696),
     rule(30),
     ['K1' = 9,
      'L1' = 0.989922304,
      'U1' = 1.010077696,
      'K' = 8,
      'L' = 0.98320384,
      'U' = 1.01679616,
      'A' = 1.0,
      'Eta' = 0.2,
      'Dl' = -0.01679615999999995,
      'Du' = 0.01679615999999995],
     [previous(9, 8),
      x_bounds(8, 0.98320384, 1.01679616),
      eta_le_half(true),
      target(1.0),
      eta(0.2),
      -0.01679615999999995 is 0.98320384 - 1.0,
      0.01679615999999995 is 1.01679616 - 1.0,
      0.989922304 is 0.98320384 - 0.2 * 2 * -0.01679615999999995,
      1.010077696 is 1.01679616 - 0.2 * 2 * 0.01679615999999995]).
step(previous(9, 8), fact(26), [], []).
step(-0.01679615999999995 is 0.98320384 - 1.0, builtin, [], []).
step(0.01679615999999995 is 1.01679616 - 1.0, builtin, [], []).
step(0.989922304 is 0.98320384 - 0.2 * 2 * -0.01679615999999995, builtin, [], []).
step(1.010077696 is 1.01679616 - 0.2 * 2 * 0.01679615999999995, builtin, [], []).
step(0.02015539199999994 is 1.010077696 - 0.989922304, builtin, [], []).
step(width(10, 0.012093235200000052),
     rule(31),
     ['K' = 10, 'W' = 0.012093235200000052, 'L' = 0.9939533824, 'U' = 1.0060466176],
     [x_bounds(10, 0.9939533824, 1.0060466176),
      0.012093235200000052 is 1.0060466176 - 0.9939533824]).
step(x_bounds(10, 0.9939533824, 1.0060466176),
     rule(30),
     ['K1' = 10,
      'L1' = 0.9939533824,
      'U1' = 1.0060466176,
      'K' = 9,
      'L' = 0.989922304,
      'U' = 1.010077696,
      'A' = 1.0,
      'Eta' = 0.2,
      'Dl' = -0.01007769599999997,
      'Du' = 0.01007769599999997],
     [previous(10, 9),
      x_bounds(9, 0.989922304, 1.010077696),
      eta_le_half(true),
      target(1.0),
      eta(0.2),
      -0.01007769599999997 is 0.989922304 - 1.0,
      0.01007769599999997 is 1.010077696 - 1.0,
      0.9939533824 is 0.989922304 - 0.2 * 2 * -0.01007769599999997,
      1.0060466176 is 1.010077696 - 0.2 * 2 * 0.01007769599999997]).
step(previous(10, 9), fact(27), [], []).
step(-0.01007769599999997 is 0.989922304 - 1.0, builtin, [], []).
step(0.01007769599999997 is 1.010077696 - 1.0, builtin, [], []).
step(0.9939533824 is 0.989922304 - 0.2 * 2 * -0.01007769599999997, builtin, [], []).
step(1.0060466176 is 1.010077696 - 0.2 * 2 * 0.01007769599999997, builtin, [], []).
step(0.012093235200000052 is 1.0060466176 - 0.9939533824, builtin, [], []).
step(width(result, width(0, 2.0)), rule(48), ['K' = 0, 'W' = 2.0], [index(0), width(0, 2.0)]).
step(index(0), fact(7), [], []).
step(width(result, width(1, 1.2000000000000002)),
     rule(48),
     ['K' = 1, 'W' = 1.2000000000000002],
     [index(1), width(1, 1.2000000000000002)]).
step(index(1), fact(8), [], []).
step(width(result, width(2, 0.7200000000000001)),
     rule(48),
     ['K' = 2, 'W' = 0.7200000000000001],
     [index(2), width(2, 0.7200000000000001)]).
step(index(2), fact(9), [], []).
step(width(result, width(3, 0.43199999999999994)),
     rule(48),
     ['K' = 3, 'W' = 0.43199999999999994],
     [index(3), width(3, 0.43199999999999994)]).
step(index(3), fact(10), [], []).
step(width(result, width(4, 0.2591999999999999)),
     rule(48),
     ['K' = 4, 'W' = 0.2591999999999999],
     [index(4), width(4, 0.2591999999999999)]).
step(index(4), fact(11), [], []).
step(width(result, width(5, 0.15552)),
     rule(48),
     ['K' = 5, 'W' = 0.15552],
     [index(5), width(5, 0.15552)]).
step(index(5), fact(12), [], []).
step(width(result, width(6, 0.09331199999999995)),
     rule(48),
     ['K' = 6, 'W' = 0.09331199999999995],
     [index(6), width(6, 0.09331199999999995)]).
step(index(6), fact(13), [], []).
step(width(result, width(7, 0.055987200000000015)),
     rule(48),
     ['K' = 7, 'W' = 0.055987200000000015],
     [index(7), width(7, 0.055987200000000015)]).
step(index(7), fact(14), [], []).
step(width(result, width(8, 0.0335923199999999)),
     rule(48),
     ['K' = 8, 'W' = 0.0335923199999999],
     [index(8), width(8, 0.0335923199999999)]).
step(index(8), fact(15), [], []).
step(width(result, width(9, 0.02015539199999994)),
     rule(48),
     ['K' = 9, 'W' = 0.02015539199999994],
     [index(9), width(9, 0.02015539199999994)]).
step(index(9), fact(16), [], []).
step(width(result, width(10, 0.012093235200000052)),
     rule(48),
     ['K' = 10, 'W' = 0.012093235200000052],
     [index(10), width(10, 0.012093235200000052)]).
step(index(10), fact(17), [], []).
step(eta(result, 0.2), rule(44), ['Eta' = 0.2], [eta(0.2)]).
step(etaLeHalf(result, true), rule(45), [], [eta_le_half(true)]).
step(xBounds(result, bounds(0, 0.0, 2.0)),
     rule(46),
     ['K' = 0, 'L' = 0.0, 'U' = 2.0],
     [index(0), x_bounds(0, 0.0, 2.0)]).
step(xBounds(result, bounds(1, 0.4, 1.6)),
     rule(46),
     ['K' = 1, 'L' = 0.4, 'U' = 1.6],
     [index(1), x_bounds(1, 0.4, 1.6)]).
step(xBounds(result, bounds(2, 0.64, 1.36)),
     rule(46),
     ['K' = 2, 'L' = 0.64, 'U' = 1.36],
     [index(2), x_bounds(2, 0.64, 1.36)]).
step(xBounds(result, bounds(3, 0.784, 1.216)),
     rule(46),
     ['K' = 3, 'L' = 0.784, 'U' = 1.216],
     [index(3), x_bounds(3, 0.784, 1.216)]).
step(xBounds(result, bounds(4, 0.8704000000000001, 1.1296)),
     rule(46),
     ['K' = 4, 'L' = 0.8704000000000001, 'U' = 1.1296],
     [index(4), x_bounds(4, 0.8704000000000001, 1.1296)]).
step(xBounds(result, bounds(5, 0.9222400000000001, 1.07776)),
     rule(46),
     ['K' = 5, 'L' = 0.9222400000000001, 'U' = 1.07776],
     [index(5), x_bounds(5, 0.9222400000000001, 1.07776)]).
step(xBounds(result, bounds(6, 0.9533440000000001, 1.046656)),
     rule(46),
     ['K' = 6, 'L' = 0.9533440000000001, 'U' = 1.046656],
     [index(6), x_bounds(6, 0.9533440000000001, 1.046656)]).
step(xBounds(result, bounds(7, 0.9720064, 1.0279936)),
     rule(46),
     ['K' = 7, 'L' = 0.9720064, 'U' = 1.0279936],
     [index(7), x_bounds(7, 0.9720064, 1.0279936)]).
step(xBounds(result, bounds(8, 0.98320384, 1.01679616)),
     rule(46),
     ['K' = 8, 'L' = 0.98320384, 'U' = 1.01679616],
     [index(8), x_bounds(8, 0.98320384, 1.01679616)]).
step(xBounds(result, bounds(9, 0.989922304, 1.010077696)),
     rule(46),
     ['K' = 9, 'L' = 0.989922304, 'U' = 1.010077696],
     [index(9), x_bounds(9, 0.989922304, 1.010077696)]).
step(xBounds(result, bounds(10, 0.9939533824, 1.0060466176)),
     rule(46),
     ['K' = 10, 'L' = 0.9939533824, 'U' = 1.0060466176],
     [index(10), x_bounds(10, 0.9939533824, 1.0060466176)]).
step(midpoint(result, midpoint(0, 1.0, 1.0)),
     rule(47),
     ['K' = 0, 'M' = 1.0, 'Halfw' = 1.0],
     [index(0), midpoint(0, 1.0, 1.0)]).
step(midpoint(0, 1.0, 1.0),
     rule(32),
     ['K' = 0, 'M' = 1.0, 'Halfw' = 1.0, 'L' = 0.0, 'U' = 2.0, 'W' = 2.0, 'Sum' = 2.0],
     [x_bounds(0, 0.0, 2.0), width(0, 2.0), 1.0 is 2.0 / 2, 2.0 is 0.0 + 2.0, 1.0 is 2.0 / 2]).
step(1.0 is 2.0 / 2, builtin, [], []).
step(2.0 is 0.0 + 2.0, builtin, [], []).
step(midpoint(result, midpoint(1, 1.0, 0.6000000000000001)),
     rule(47),
     ['K' = 1, 'M' = 1.0, 'Halfw' = 0.6000000000000001],
     [index(1), midpoint(1, 1.0, 0.6000000000000001)]).
step(midpoint(1, 1.0, 0.6000000000000001),
     rule(32),
     ['K' = 1,
      'M' = 1.0,
      'Halfw' = 0.6000000000000001,
      'L' = 0.4,
      'U' = 1.6,
      'W' = 1.2000000000000002,
      'Sum' = 2.0],
     [x_bounds(1, 0.4, 1.6),
      width(1, 1.2000000000000002),
      0.6000000000000001 is 1.2000000000000002 / 2,
      2.0 is 0.4 + 1.6,
      1.0 is 2.0 / 2]).
step(0.6000000000000001 is 1.2000000000000002 / 2, builtin, [], []).
step(2.0 is 0.4 + 1.6, builtin, [], []).
step(midpoint(result, midpoint(2, 1.0, 0.36000000000000004)),
     rule(47),
     ['K' = 2, 'M' = 1.0, 'Halfw' = 0.36000000000000004],
     [index(2), midpoint(2, 1.0, 0.36000000000000004)]).
step(midpoint(2, 1.0, 0.36000000000000004),
     rule(32),
     ['K' = 2,
      'M' = 1.0,
      'Halfw' = 0.36000000000000004,
      'L' = 0.64,
      'U' = 1.36,
      'W' = 0.7200000000000001,
      'Sum' = 2.0],
     [x_bounds(2, 0.64, 1.36),
      width(2, 0.7200000000000001),
      0.36000000000000004 is 0.7200000000000001 / 2,
      2.0 is 0.64 + 1.36,
      1.0 is 2.0 / 2]).
step(0.36000000000000004 is 0.7200000000000001 / 2, builtin, [], []).
step(2.0 is 0.64 + 1.36, builtin, [], []).
step(midpoint(result, midpoint(3, 1.0, 0.21599999999999997)),
     rule(47),
     ['K' = 3, 'M' = 1.0, 'Halfw' = 0.21599999999999997],
     [index(3), midpoint(3, 1.0, 0.21599999999999997)]).
step(midpoint(3, 1.0, 0.21599999999999997),
     rule(32),
     ['K' = 3,
      'M' = 1.0,
      'Halfw' = 0.21599999999999997,
      'L' = 0.784,
      'U' = 1.216,
      'W' = 0.43199999999999994,
      'Sum' = 2.0],
     [x_bounds(3, 0.784, 1.216),
      width(3, 0.43199999999999994),
      0.21599999999999997 is 0.43199999999999994 / 2,
      2.0 is 0.784 + 1.216,
      1.0 is 2.0 / 2]).
step(0.21599999999999997 is 0.43199999999999994 / 2, builtin, [], []).
step(2.0 is 0.784 + 1.216, builtin, [], []).
step(midpoint(result, midpoint(4, 1.0, 0.12959999999999994)),
     rule(47),
     ['K' = 4, 'M' = 1.0, 'Halfw' = 0.12959999999999994],
     [index(4), midpoint(4, 1.0, 0.12959999999999994)]).
step(midpoint(4, 1.0, 0.12959999999999994),
     rule(32),
     ['K' = 4,
      'M' = 1.0,
      'Halfw' = 0.12959999999999994,
      'L' = 0.8704000000000001,
      'U' = 1.1296,
      'W' = 0.2591999999999999,
      'Sum' = 2.0],
     [x_bounds(4, 0.8704000000000001, 1.1296),
      width(4, 0.2591999999999999),
      0.12959999999999994 is 0.2591999999999999 / 2,
      2.0 is 0.8704000000000001 + 1.1296,
      1.0 is 2.0 / 2]).
step(0.12959999999999994 is 0.2591999999999999 / 2, builtin, [], []).
step(2.0 is 0.8704000000000001 + 1.1296, builtin, [], []).
step(midpoint(result, midpoint(5, 1.0, 0.07776)),
     rule(47),
     ['K' = 5, 'M' = 1.0, 'Halfw' = 0.07776],
     [index(5), midpoint(5, 1.0, 0.07776)]).
step(midpoint(5, 1.0, 0.07776),
     rule(32),
     ['K' = 5,
      'M' = 1.0,
      'Halfw' = 0.07776,
      'L' = 0.9222400000000001,
      'U' = 1.07776,
      'W' = 0.15552,
      'Sum' = 2.0],
     [x_bounds(5, 0.9222400000000001, 1.07776),
      width(5, 0.15552),
      0.07776 is 0.15552 / 2,
      2.0 is 0.9222400000000001 + 1.07776,
      1.0 is 2.0 / 2]).
step(0.07776 is 0.15552 / 2, builtin, [], []).
step(2.0 is 0.9222400000000001 + 1.07776, builtin, [], []).
step(midpoint(result, midpoint(6, 1.0, 0.046655999999999975)),
     rule(47),
     ['K' = 6, 'M' = 1.0, 'Halfw' = 0.046655999999999975],
     [index(6), midpoint(6, 1.0, 0.046655999999999975)]).
step(midpoint(6, 1.0, 0.046655999999999975),
     rule(32),
     ['K' = 6,
      'M' = 1.0,
      'Halfw' = 0.046655999999999975,
      'L' = 0.9533440000000001,
      'U' = 1.046656,
      'W' = 0.09331199999999995,
      'Sum' = 2.0],
     [x_bounds(6, 0.9533440000000001, 1.046656),
      width(6, 0.09331199999999995),
      0.046655999999999975 is 0.09331199999999995 / 2,
      2.0 is 0.9533440000000001 + 1.046656,
      1.0 is 2.0 / 2]).
step(0.046655999999999975 is 0.09331199999999995 / 2, builtin, [], []).
step(2.0 is 0.9533440000000001 + 1.046656, builtin, [], []).
step(midpoint(result, midpoint(7, 1.0, 0.027993600000000007)),
     rule(47),
     ['K' = 7, 'M' = 1.0, 'Halfw' = 0.027993600000000007],
     [index(7), midpoint(7, 1.0, 0.027993600000000007)]).
step(midpoint(7, 1.0, 0.027993600000000007),
     rule(32),
     ['K' = 7,
      'M' = 1.0,
      'Halfw' = 0.027993600000000007,
      'L' = 0.9720064,
      'U' = 1.0279936,
      'W' = 0.055987200000000015,
      'Sum' = 2.0],
     [x_bounds(7, 0.9720064, 1.0279936),
      width(7, 0.055987200000000015),
      0.027993600000000007 is 0.055987200000000015 / 2,
      2.0 is 0.9720064 + 1.0279936,
      1.0 is 2.0 / 2]).
step(0.027993600000000007 is 0.055987200000000015 / 2, builtin, [], []).
step(2.0 is 0.9720064 + 1.0279936, builtin, [], []).
step(midpoint(result, midpoint(8, 1.0, 0.01679615999999995)),
     rule(47),
     ['K' = 8, 'M' = 1.0, 'Halfw' = 0.01679615999999995],
     [index(8), midpoint(8, 1.0, 0.01679615999999995)]).
step(midpoint(8, 1.0, 0.01679615999999995),
     rule(32),
     ['K' = 8,
      'M' = 1.0,
      'Halfw' = 0.01679615999999995,
      'L' = 0.98320384,
      'U' = 1.01679616,
      'W' = 0.0335923199999999,
      'Sum' = 2.0],
     [x_bounds(8, 0.98320384, 1.01679616),
      width(8, 0.0335923199999999),
      0.01679615999999995 is 0.0335923199999999 / 2,
      2.0 is 0.98320384 + 1.01679616,
      1.0 is 2.0 / 2]).
step(0.01679615999999995 is 0.0335923199999999 / 2, builtin, [], []).
step(2.0 is 0.98320384 + 1.01679616, builtin, [], []).
step(midpoint(result, midpoint(9, 1.0, 0.01007769599999997)),
     rule(47),
     ['K' = 9, 'M' = 1.0, 'Halfw' = 0.01007769599999997],
     [index(9), midpoint(9, 1.0, 0.01007769599999997)]).
step(midpoint(9, 1.0, 0.01007769599999997),
     rule(32),
     ['K' = 9,
      'M' = 1.0,
      'Halfw' = 0.01007769599999997,
      'L' = 0.989922304,
      'U' = 1.010077696,
      'W' = 0.02015539199999994,
      'Sum' = 2.0],
     [x_bounds(9, 0.989922304, 1.010077696),
      width(9, 0.02015539199999994),
      0.01007769599999997 is 0.02015539199999994 / 2,
      2.0 is 0.989922304 + 1.010077696,
      1.0 is 2.0 / 2]).
step(0.01007769599999997 is 0.02015539199999994 / 2, builtin, [], []).
step(2.0 is 0.989922304 + 1.010077696, builtin, [], []).
step(midpoint(result, midpoint(10, 1.0, 0.006046617600000026)),
     rule(47),
     ['K' = 10, 'M' = 1.0, 'Halfw' = 0.006046617600000026],
     [index(10), midpoint(10, 1.0, 0.006046617600000026)]).
step(midpoint(10, 1.0, 0.006046617600000026),
     rule(32),
     ['K' = 10,
      'M' = 1.0,
      'Halfw' = 0.006046617600000026,
      'L' = 0.9939533824,
      'U' = 1.0060466176,
      'W' = 0.012093235200000052,
      'Sum' = 2.0],
     [x_bounds(10, 0.9939533824, 1.0060466176),
      width(10, 0.012093235200000052),
      0.006046617600000026 is 0.012093235200000052 / 2,
      2.0 is 0.9939533824 + 1.0060466176,
      1.0 is 2.0 / 2]).
step(0.006046617600000026 is 0.012093235200000052 / 2, builtin, [], []).
step(2.0 is 0.9939533824 + 1.0060466176, builtin, [], []).
step(gradientBounds(result, gradient(0, -2.0, 2.0)),
     rule(49),
     ['K' = 0, 'Gl' = -2.0, 'Gu' = 2.0],
     [index(0), g_bounds(0, -2.0, 2.0)]).
step(g_bounds(0, -2.0, 2.0),
     rule(28),
     ['K' = 0,
      'Gl' = -2.0,
      'Gu' = 2.0,
      'A' = 1.0,
      'L' = 0.0,
      'U' = 2.0,
      'Dl' = -1.0,
      'Du' = 1.0],
     [target(1.0),
      x_bounds(0, 0.0, 2.0),
      -1.0 is 0.0 - 1.0,
      1.0 is 2.0 - 1.0,
      -2.0 is 2 * -1.0,
      2.0 is 2 * 1.0]).
step(-2.0 is 2 * -1.0, builtin, [], []).
step(2.0 is 2 * 1.0, builtin, [], []).
step(gradientBounds(result, gradient(1, -1.2, 1.2000000000000002)),
     rule(49),
     ['K' = 1, 'Gl' = -1.2, 'Gu' = 1.2000000000000002],
     [index(1), g_bounds(1, -1.2, 1.2000000000000002)]).
step(g_bounds(1, -1.2, 1.2000000000000002),
     rule(28),
     ['K' = 1,
      'Gl' = -1.2,
      'Gu' = 1.2000000000000002,
      'A' = 1.0,
      'L' = 0.4,
      'U' = 1.6,
      'Dl' = -0.6,
      'Du' = 0.6000000000000001],
     [target(1.0),
      x_bounds(1, 0.4, 1.6),
      -0.6 is 0.4 - 1.0,
      0.6000000000000001 is 1.6 - 1.0,
      -1.2 is 2 * -0.6,
      1.2000000000000002 is 2 * 0.6000000000000001]).
step(-1.2 is 2 * -0.6, builtin, [], []).
step(1.2000000000000002 is 2 * 0.6000000000000001, builtin, [], []).
step(gradientBounds(result, gradient(2, -0.72, 0.7200000000000002)),
     rule(49),
     ['K' = 2, 'Gl' = -0.72, 'Gu' = 0.7200000000000002],
     [index(2), g_bounds(2, -0.72, 0.7200000000000002)]).
step(g_bounds(2, -0.72, 0.7200000000000002),
     rule(28),
     ['K' = 2,
      'Gl' = -0.72,
      'Gu' = 0.7200000000000002,
      'A' = 1.0,
      'L' = 0.64,
      'U' = 1.36,
      'Dl' = -0.36,
      'Du' = 0.3600000000000001],
     [target(1.0),
      x_bounds(2, 0.64, 1.36),
      -0.36 is 0.64 - 1.0,
      0.3600000000000001 is 1.36 - 1.0,
      -0.72 is 2 * -0.36,
      0.7200000000000002 is 2 * 0.3600000000000001]).
step(-0.72 is 2 * -0.36, builtin, [], []).
step(0.7200000000000002 is 2 * 0.3600000000000001, builtin, [], []).
step(gradientBounds(result, gradient(3, -0.43199999999999994, 0.43199999999999994)),
     rule(49),
     ['K' = 3, 'Gl' = -0.43199999999999994, 'Gu' = 0.43199999999999994],
     [index(3), g_bounds(3, -0.43199999999999994, 0.43199999999999994)]).
step(g_bounds(3, -0.43199999999999994, 0.43199999999999994),
     rule(28),
     ['K' = 3,
      'Gl' = -0.43199999999999994,
      'Gu' = 0.43199999999999994,
      'A' = 1.0,
      'L' = 0.784,
      'U' = 1.216,
      'Dl' = -0.21599999999999997,
      'Du' = 0.21599999999999997],
     [target(1.0),
      x_bounds(3, 0.784, 1.216),
      -0.21599999999999997 is 0.784 - 1.0,
      0.21599999999999997 is 1.216 - 1.0,
      -0.43199999999999994 is 2 * -0.21599999999999997,
      0.43199999999999994 is 2 * 0.21599999999999997]).
step(-0.43199999999999994 is 2 * -0.21599999999999997, builtin, [], []).
step(0.43199999999999994 is 2 * 0.21599999999999997, builtin, [], []).
step(gradientBounds(result, gradient(4, -0.2591999999999999, 0.2591999999999999)),
     rule(49),
     ['K' = 4, 'Gl' = -0.2591999999999999, 'Gu' = 0.2591999999999999],
     [index(4), g_bounds(4, -0.2591999999999999, 0.2591999999999999)]).
step(g_bounds(4, -0.2591999999999999, 0.2591999999999999),
     rule(28),
     ['K' = 4,
      'Gl' = -0.2591999999999999,
      'Gu' = 0.2591999999999999,
      'A' = 1.0,
      'L' = 0.8704000000000001,
      'U' = 1.1296,
      'Dl' = -0.12959999999999994,
      'Du' = 0.12959999999999994],
     [target(1.0),
      x_bounds(4, 0.8704000000000001, 1.1296),
      -0.12959999999999994 is 0.8704000000000001 - 1.0,
      0.12959999999999994 is 1.1296 - 1.0,
      -0.2591999999999999 is 2 * -0.12959999999999994,
      0.2591999999999999 is 2 * 0.12959999999999994]).
step(-0.2591999999999999 is 2 * -0.12959999999999994, builtin, [], []).
step(0.2591999999999999 is 2 * 0.12959999999999994, builtin, [], []).
step(gradientBounds(result, gradient(5, -0.15551999999999988, 0.1555200000000001)),
     rule(49),
     ['K' = 5, 'Gl' = -0.15551999999999988, 'Gu' = 0.1555200000000001],
     [index(5), g_bounds(5, -0.15551999999999988, 0.1555200000000001)]).
step(g_bounds(5, -0.15551999999999988, 0.1555200000000001),
     rule(28),
     ['K' = 5,
      'Gl' = -0.15551999999999988,
      'Gu' = 0.1555200000000001,
      'A' = 1.0,
      'L' = 0.9222400000000001,
      'U' = 1.07776,
      'Dl' = -0.07775999999999994,
      'Du' = 0.07776000000000005],
     [target(1.0),
      x_bounds(5, 0.9222400000000001, 1.07776),
      -0.07775999999999994 is 0.9222400000000001 - 1.0,
      0.07776000000000005 is 1.07776 - 1.0,
      -0.15551999999999988 is 2 * -0.07775999999999994,
      0.1555200000000001 is 2 * 0.07776000000000005]).
step(-0.15551999999999988 is 2 * -0.07775999999999994, builtin, [], []).
step(0.1555200000000001 is 2 * 0.07776000000000005, builtin, [], []).
step(gradientBounds(result, gradient(6, -0.09331199999999984, 0.09331200000000006)),
     rule(49),
     ['K' = 6, 'Gl' = -0.09331199999999984, 'Gu' = 0.09331200000000006],
     [index(6), g_bounds(6, -0.09331199999999984, 0.09331200000000006)]).
step(g_bounds(6, -0.09331199999999984, 0.09331200000000006),
     rule(28),
     ['K' = 6,
      'Gl' = -0.09331199999999984,
      'Gu' = 0.09331200000000006,
      'A' = 1.0,
      'L' = 0.9533440000000001,
      'U' = 1.046656,
      'Dl' = -0.04665599999999992,
      'Du' = 0.04665600000000003],
     [target(1.0),
      x_bounds(6, 0.9533440000000001, 1.046656),
      -0.04665599999999992 is 0.9533440000000001 - 1.0,
      0.04665600000000003 is 1.046656 - 1.0,
      -0.09331199999999984 is 2 * -0.04665599999999992,
      0.09331200000000006 is 2 * 0.04665600000000003]).
step(-0.09331199999999984 is 2 * -0.04665599999999992, builtin, [], []).
step(0.09331200000000006 is 2 * 0.04665600000000003, builtin, [], []).
step(gradientBounds(result, gradient(7, -0.055987199999999904, 0.055987200000000126)),
     rule(49),
     ['K' = 7, 'Gl' = -0.055987199999999904, 'Gu' = 0.055987200000000126],
     [index(7), g_bounds(7, -0.055987199999999904, 0.055987200000000126)]).
step(g_bounds(7, -0.055987199999999904, 0.055987200000000126),
     rule(28),
     ['K' = 7,
      'Gl' = -0.055987199999999904,
      'Gu' = 0.055987200000000126,
      'A' = 1.0,
      'L' = 0.9720064,
      'U' = 1.0279936,
      'Dl' = -0.027993599999999952,
      'Du' = 0.027993600000000063],
     [target(1.0),
      x_bounds(7, 0.9720064, 1.0279936),
      -0.027993599999999952 is 0.9720064 - 1.0,
      0.027993600000000063 is 1.0279936 - 1.0,
      -0.055987199999999904 is 2 * -0.027993599999999952,
      0.055987200000000126 is 2 * 0.027993600000000063]).
step(-0.055987199999999904 is 2 * -0.027993599999999952, builtin, [], []).
step(0.055987200000000126 is 2 * 0.027993600000000063, builtin, [], []).
step(gradientBounds(result, gradient(8, -0.0335923199999999, 0.0335923199999999)),
     rule(49),
     ['K' = 8, 'Gl' = -0.0335923199999999, 'Gu' = 0.0335923199999999],
     [index(8), g_bounds(8, -0.0335923199999999, 0.0335923199999999)]).
step(g_bounds(8, -0.0335923199999999, 0.0335923199999999),
     rule(28),
     ['K' = 8,
      'Gl' = -0.0335923199999999,
      'Gu' = 0.0335923199999999,
      'A' = 1.0,
      'L' = 0.98320384,
      'U' = 1.01679616,
      'Dl' = -0.01679615999999995,
      'Du' = 0.01679615999999995],
     [target(1.0),
      x_bounds(8, 0.98320384, 1.01679616),
      -0.01679615999999995 is 0.98320384 - 1.0,
      0.01679615999999995 is 1.01679616 - 1.0,
      -0.0335923199999999 is 2 * -0.01679615999999995,
      0.0335923199999999 is 2 * 0.01679615999999995]).
step(-0.0335923199999999 is 2 * -0.01679615999999995, builtin, [], []).
step(0.0335923199999999 is 2 * 0.01679615999999995, builtin, [], []).
step(gradientBounds(result, gradient(9, -0.02015539199999994, 0.02015539199999994)),
     rule(49),
     ['K' = 9, 'Gl' = -0.02015539199999994, 'Gu' = 0.02015539199999994],
     [index(9), g_bounds(9, -0.02015539199999994, 0.02015539199999994)]).
step(g_bounds(9, -0.02015539199999994, 0.02015539199999994),
     rule(28),
     ['K' = 9,
      'Gl' = -0.02015539199999994,
      'Gu' = 0.02015539199999994,
      'A' = 1.0,
      'L' = 0.989922304,
      'U' = 1.010077696,
      'Dl' = -0.01007769599999997,
      'Du' = 0.01007769599999997],
     [target(1.0),
      x_bounds(9, 0.989922304, 1.010077696),
      -0.01007769599999997 is 0.989922304 - 1.0,
      0.01007769599999997 is 1.010077696 - 1.0,
      -0.02015539199999994 is 2 * -0.01007769599999997,
      0.02015539199999994 is 2 * 0.01007769599999997]).
step(-0.02015539199999994 is 2 * -0.01007769599999997, builtin, [], []).
step(0.02015539199999994 is 2 * 0.01007769599999997, builtin, [], []).
step(gradientBounds(result, gradient(10, -0.012093235200000052, 0.012093235200000052)),
     rule(49),
     ['K' = 10, 'Gl' = -0.012093235200000052, 'Gu' = 0.012093235200000052],
     [index(10), g_bounds(10, -0.012093235200000052, 0.012093235200000052)]).
step(g_bounds(10, -0.012093235200000052, 0.012093235200000052),
     rule(28),
     ['K' = 10,
      'Gl' = -0.012093235200000052,
      'Gu' = 0.012093235200000052,
      'A' = 1.0,
      'L' = 0.9939533824,
      'U' = 1.0060466176,
      'Dl' = -0.006046617600000026,
      'Du' = 0.006046617600000026],
     [target(1.0),
      x_bounds(10, 0.9939533824, 1.0060466176),
      -0.006046617600000026 is 0.9939533824 - 1.0,
      0.006046617600000026 is 1.0060466176 - 1.0,
      -0.012093235200000052 is 2 * -0.006046617600000026,
      0.012093235200000052 is 2 * 0.006046617600000026]).
step(-0.006046617600000026 is 0.9939533824 - 1.0, builtin, [], []).
step(0.006046617600000026 is 1.0060466176 - 1.0, builtin, [], []).
step(-0.012093235200000052 is 2 * -0.006046617600000026, builtin, [], []).
step(0.012093235200000052 is 2 * 0.006046617600000026, builtin, [], []).
step(stepBounds(result, step(0, -0.4, 0.4)),
     rule(50),
     ['K' = 0, 'Pl' = -0.4, 'Pu' = 0.4],
     [index(0), p_bounds(0, -0.4, 0.4)]).
step(p_bounds(0, -0.4, 0.4),
     rule(29),
     ['K' = 0, 'Pl' = -0.4, 'Pu' = 0.4, 'Eta' = 0.2, 'Gl' = -2.0, 'Gu' = 2.0],
     [eta(0.2), g_bounds(0, -2.0, 2.0), -0.4 is 0.2 * -2.0, 0.4 is 0.2 * 2.0]).
step(-0.4 is 0.2 * -2.0, builtin, [], []).
step(0.4 is 0.2 * 2.0, builtin, [], []).
step(stepBounds(result, step(1, -0.24, 0.24000000000000005)),
     rule(50),
     ['K' = 1, 'Pl' = -0.24, 'Pu' = 0.24000000000000005],
     [index(1), p_bounds(1, -0.24, 0.24000000000000005)]).
step(p_bounds(1, -0.24, 0.24000000000000005),
     rule(29),
     ['K' = 1,
      'Pl' = -0.24,
      'Pu' = 0.24000000000000005,
      'Eta' = 0.2,
      'Gl' = -1.2,
      'Gu' = 1.2000000000000002],
     [eta(0.2),
      g_bounds(1, -1.2, 1.2000000000000002),
      -0.24 is 0.2 * -1.2,
      0.24000000000000005 is 0.2 * 1.2000000000000002]).
step(-0.24 is 0.2 * -1.2, builtin, [], []).
step(0.24000000000000005 is 0.2 * 1.2000000000000002, builtin, [], []).
step(stepBounds(result, step(2, -0.144, 0.14400000000000004)),
     rule(50),
     ['K' = 2, 'Pl' = -0.144, 'Pu' = 0.14400000000000004],
     [index(2), p_bounds(2, -0.144, 0.14400000000000004)]).
step(p_bounds(2, -0.144, 0.14400000000000004),
     rule(29),
     ['K' = 2,
      'Pl' = -0.144,
      'Pu' = 0.14400000000000004,
      'Eta' = 0.2,
      'Gl' = -0.72,
      'Gu' = 0.7200000000000002],
     [eta(0.2),
      g_bounds(2, -0.72, 0.7200000000000002),
      -0.144 is 0.2 * -0.72,
      0.14400000000000004 is 0.2 * 0.7200000000000002]).
step(-0.144 is 0.2 * -0.72, builtin, [], []).
step(0.14400000000000004 is 0.2 * 0.7200000000000002, builtin, [], []).
step(stepBounds(result, step(3, -0.08639999999999999, 0.08639999999999999)),
     rule(50),
     ['K' = 3, 'Pl' = -0.08639999999999999, 'Pu' = 0.08639999999999999],
     [index(3), p_bounds(3, -0.08639999999999999, 0.08639999999999999)]).
step(p_bounds(3, -0.08639999999999999, 0.08639999999999999),
     rule(29),
     ['K' = 3,
      'Pl' = -0.08639999999999999,
      'Pu' = 0.08639999999999999,
      'Eta' = 0.2,
      'Gl' = -0.43199999999999994,
      'Gu' = 0.43199999999999994],
     [eta(0.2),
      g_bounds(3, -0.43199999999999994, 0.43199999999999994),
      -0.08639999999999999 is 0.2 * -0.43199999999999994,
      0.08639999999999999 is 0.2 * 0.43199999999999994]).
step(-0.08639999999999999 is 0.2 * -0.43199999999999994, builtin, [], []).
step(0.08639999999999999 is 0.2 * 0.43199999999999994, builtin, [], []).
step(stepBounds(result, step(4, -0.051839999999999976, 0.051839999999999976)),
     rule(50),
     ['K' = 4, 'Pl' = -0.051839999999999976, 'Pu' = 0.051839999999999976],
     [index(4), p_bounds(4, -0.051839999999999976, 0.051839999999999976)]).
step(p_bounds(4, -0.051839999999999976, 0.051839999999999976),
     rule(29),
     ['K' = 4,
      'Pl' = -0.051839999999999976,
      'Pu' = 0.051839999999999976,
      'Eta' = 0.2,
      'Gl' = -0.2591999999999999,
      'Gu' = 0.2591999999999999],
     [eta(0.2),
      g_bounds(4, -0.2591999999999999, 0.2591999999999999),
      -0.051839999999999976 is 0.2 * -0.2591999999999999,
      0.051839999999999976 is 0.2 * 0.2591999999999999]).
step(-0.051839999999999976 is 0.2 * -0.2591999999999999, builtin, [], []).
step(0.051839999999999976 is 0.2 * 0.2591999999999999, builtin, [], []).
step(stepBounds(result, step(5, -0.03110399999999998, 0.03110400000000002)),
     rule(50),
     ['K' = 5, 'Pl' = -0.03110399999999998, 'Pu' = 0.03110400000000002],
     [index(5), p_bounds(5, -0.03110399999999998, 0.03110400000000002)]).
step(p_bounds(5, -0.03110399999999998, 0.03110400000000002),
     rule(29),
     ['K' = 5,
      'Pl' = -0.03110399999999998,
      'Pu' = 0.03110400000000002,
      'Eta' = 0.2,
      'Gl' = -0.15551999999999988,
      'Gu' = 0.1555200000000001],
     [eta(0.2),
      g_bounds(5, -0.15551999999999988, 0.1555200000000001),
      -0.03110399999999998 is 0.2 * -0.15551999999999988,
      0.03110400000000002 is 0.2 * 0.1555200000000001]).
step(-0.03110399999999998 is 0.2 * -0.15551999999999988, builtin, [], []).
step(0.03110400000000002 is 0.2 * 0.1555200000000001, builtin, [], []).
step(stepBounds(result, step(6, -0.018662399999999968, 0.018662400000000013)),
     rule(50),
     ['K' = 6, 'Pl' = -0.018662399999999968, 'Pu' = 0.018662400000000013],
     [index(6), p_bounds(6, -0.018662399999999968, 0.018662400000000013)]).
step(p_bounds(6, -0.018662399999999968, 0.018662400000000013),
     rule(29),
     ['K' = 6,
      'Pl' = -0.018662399999999968,
      'Pu' = 0.018662400000000013,
      'Eta' = 0.2,
      'Gl' = -0.09331199999999984,
      'Gu' = 0.09331200000000006],
     [eta(0.2),
      g_bounds(6, -0.09331199999999984, 0.09331200000000006),
      -0.018662399999999968 is 0.2 * -0.09331199999999984,
      0.018662400000000013 is 0.2 * 0.09331200000000006]).
step(-0.018662399999999968 is 0.2 * -0.09331199999999984, builtin, [], []).
step(0.018662400000000013 is 0.2 * 0.09331200000000006, builtin, [], []).
step(stepBounds(result, step(7, -0.011197439999999982, 0.011197440000000025)),
     rule(50),
     ['K' = 7, 'Pl' = -0.011197439999999982, 'Pu' = 0.011197440000000025],
     [index(7), p_bounds(7, -0.011197439999999982, 0.011197440000000025)]).
step(p_bounds(7, -0.011197439999999982, 0.011197440000000025),
     rule(29),
     ['K' = 7,
      'Pl' = -0.011197439999999982,
      'Pu' = 0.011197440000000025,
      'Eta' = 0.2,
      'Gl' = -0.055987199999999904,
      'Gu' = 0.055987200000000126],
     [eta(0.2),
      g_bounds(7, -0.055987199999999904, 0.055987200000000126),
      -0.011197439999999982 is 0.2 * -0.055987199999999904,
      0.011197440000000025 is 0.2 * 0.055987200000000126]).
step(-0.011197439999999982 is 0.2 * -0.055987199999999904, builtin, [], []).
step(0.011197440000000025 is 0.2 * 0.055987200000000126, builtin, [], []).
step(stepBounds(result, step(8, -0.0067184639999999796, 0.0067184639999999796)),
     rule(50),
     ['K' = 8, 'Pl' = -0.0067184639999999796, 'Pu' = 0.0067184639999999796],
     [index(8), p_bounds(8, -0.0067184639999999796, 0.0067184639999999796)]).
step(p_bounds(8, -0.0067184639999999796, 0.0067184639999999796),
     rule(29),
     ['K' = 8,
      'Pl' = -0.0067184639999999796,
      'Pu' = 0.0067184639999999796,
      'Eta' = 0.2,
      'Gl' = -0.0335923199999999,
      'Gu' = 0.0335923199999999],
     [eta(0.2),
      g_bounds(8, -0.0335923199999999, 0.0335923199999999),
      -0.0067184639999999796 is 0.2 * -0.0335923199999999,
      0.0067184639999999796 is 0.2 * 0.0335923199999999]).
step(-0.0067184639999999796 is 0.2 * -0.0335923199999999, builtin, [], []).
step(0.0067184639999999796 is 0.2 * 0.0335923199999999, builtin, [], []).
step(stepBounds(result, step(9, -0.0040310783999999876, 0.0040310783999999876)),
     rule(50),
     ['K' = 9, 'Pl' = -0.0040310783999999876, 'Pu' = 0.0040310783999999876],
     [index(9), p_bounds(9, -0.0040310783999999876, 0.0040310783999999876)]).
step(p_bounds(9, -0.0040310783999999876, 0.0040310783999999876),
     rule(29),
     ['K' = 9,
      'Pl' = -0.0040310783999999876,
      'Pu' = 0.0040310783999999876,
      'Eta' = 0.2,
      'Gl' = -0.02015539199999994,
      'Gu' = 0.02015539199999994],
     [eta(0.2),
      g_bounds(9, -0.02015539199999994, 0.02015539199999994),
      -0.0040310783999999876 is 0.2 * -0.02015539199999994,
      0.0040310783999999876 is 0.2 * 0.02015539199999994]).
step(-0.0040310783999999876 is 0.2 * -0.02015539199999994, builtin, [], []).
step(0.0040310783999999876 is 0.2 * 0.02015539199999994, builtin, [], []).
step(stepBounds(result, step(10, -0.0024186470400000106, 0.0024186470400000106)),
     rule(50),
     ['K' = 10, 'Pl' = -0.0024186470400000106, 'Pu' = 0.0024186470400000106],
     [index(10), p_bounds(10, -0.0024186470400000106, 0.0024186470400000106)]).
step(p_bounds(10, -0.0024186470400000106, 0.0024186470400000106),
     rule(29),
     ['K' = 10,
      'Pl' = -0.0024186470400000106,
      'Pu' = 0.0024186470400000106,
      'Eta' = 0.2,
      'Gl' = -0.012093235200000052,
      'Gu' = 0.012093235200000052],
     [eta(0.2),
      g_bounds(10, -0.012093235200000052, 0.012093235200000052),
      -0.0024186470400000106 is 0.2 * -0.012093235200000052,
      0.0024186470400000106 is 0.2 * 0.012093235200000052]).
step(-0.0024186470400000106 is 0.2 * -0.012093235200000052, builtin, [], []).
step(0.0024186470400000106 is 0.2 * 0.012093235200000052, builtin, [], []).
step(objectiveBounds(result, f(0, 0.0, 1.0)),
     rule(51),
     ['K' = 0, 'Fl' = 0.0, 'Fu' = 1.0],
     [index(0), f_lower(0, 0.0), f_upper(0, 1.0)]).
step(f_lower(0, 0.0),
     rule(41),
     ['K' = 0, 'A' = 1.0, 'L' = 0.0, 'U' = 2.0],
     [target(1.0), x_bounds(0, 0.0, 2.0), 0.0 =< 1.0, 1.0 =< 2.0]).
step(0.0 =< 1.0, builtin, [], []).
step(1.0 =< 2.0, builtin, [], []).
step(f_upper(0, 1.0),
     rule(40),
     ['K' = 0, 'Fu' = 1.0, 'Sl' = 1.0, 'Su' = 1.0],
     [end_squares(0, 1.0, 1.0), max2(1.0, 1.0, 1.0)]).
step(end_squares(0, 1.0, 1.0),
     rule(39),
     ['K' = 0, 'Sl' = 1.0, 'Su' = 1.0, 'A' = 1.0, 'L' = 0.0, 'U' = 2.0, 'Dl' = -1.0, 'Du' = 1.0],
     [target(1.0),
      x_bounds(0, 0.0, 2.0),
      -1.0 is 0.0 - 1.0,
      1.0 is 2.0 - 1.0,
      1.0 is -1.0 * -1.0,
      1.0 is 1.0 * 1.0]).
step(1.0 is -1.0 * -1.0, builtin, [], []).
step(1.0 is 1.0 * 1.0, builtin, [], []).
step(max2(1.0, 1.0, 1.0), rule(35), ['A' = 1.0, 'B' = 1.0], [1.0 >= 1.0]).
step(1.0 >= 1.0, builtin, [], []).
step(objectiveBounds(result, f(1, 0.0, 0.3600000000000001)),
     rule(51),
     ['K' = 1, 'Fl' = 0.0, 'Fu' = 0.3600000000000001],
     [index(1), f_lower(1, 0.0), f_upper(1, 0.3600000000000001)]).
step(f_lower(1, 0.0),
     rule(41),
     ['K' = 1, 'A' = 1.0, 'L' = 0.4, 'U' = 1.6],
     [target(1.0), x_bounds(1, 0.4, 1.6), 0.4 =< 1.0, 1.0 =< 1.6]).
step(0.4 =< 1.0, builtin, [], []).
step(1.0 =< 1.6, builtin, [], []).
step(f_upper(1, 0.3600000000000001),
     rule(40),
     ['K' = 1, 'Fu' = 0.3600000000000001, 'Sl' = 0.36, 'Su' = 0.3600000000000001],
     [end_squares(1, 0.36, 0.3600000000000001),
      max2(0.36, 0.3600000000000001, 0.3600000000000001)]).
step(end_squares(1, 0.36, 0.3600000000000001),
     rule(39),
     ['K' = 1,
      'Sl' = 0.36,
      'Su' = 0.3600000000000001,
      'A' = 1.0,
      'L' = 0.4,
      'U' = 1.6,
      'Dl' = -0.6,
      'Du' = 0.6000000000000001],
     [target(1.0),
      x_bounds(1, 0.4, 1.6),
      -0.6 is 0.4 - 1.0,
      0.6000000000000001 is 1.6 - 1.0,
      0.36 is -0.6 * -0.6,
      0.3600000000000001 is 0.6000000000000001 * 0.6000000000000001]).
step(0.36 is -0.6 * -0.6, builtin, [], []).
step(0.3600000000000001 is 0.6000000000000001 * 0.6000000000000001, builtin, [], []).
step(max2(0.36, 0.3600000000000001, 0.3600000000000001),
     rule(36),
     ['A' = 0.36, 'B' = 0.3600000000000001],
     [0.36 < 0.3600000000000001]).
step(0.36 < 0.3600000000000001, builtin, [], []).
step(objectiveBounds(result, f(2, 0.0, 0.12960000000000008)),
     rule(51),
     ['K' = 2, 'Fl' = 0.0, 'Fu' = 0.12960000000000008],
     [index(2), f_lower(2, 0.0), f_upper(2, 0.12960000000000008)]).
step(f_lower(2, 0.0),
     rule(41),
     ['K' = 2, 'A' = 1.0, 'L' = 0.64, 'U' = 1.36],
     [target(1.0), x_bounds(2, 0.64, 1.36), 0.64 =< 1.0, 1.0 =< 1.36]).
step(0.64 =< 1.0, builtin, [], []).
step(1.0 =< 1.36, builtin, [], []).
step(f_upper(2, 0.12960000000000008),
     rule(40),
     ['K' = 2, 'Fu' = 0.12960000000000008, 'Sl' = 0.1296, 'Su' = 0.12960000000000008],
     [end_squares(2, 0.1296, 0.12960000000000008),
      max2(0.1296, 0.12960000000000008, 0.12960000000000008)]).
step(end_squares(2, 0.1296, 0.12960000000000008),
     rule(39),
     ['K' = 2,
      'Sl' = 0.1296,
      'Su' = 0.12960000000000008,
      'A' = 1.0,
      'L' = 0.64,
      'U' = 1.36,
      'Dl' = -0.36,
      'Du' = 0.3600000000000001],
     [target(1.0),
      x_bounds(2, 0.64, 1.36),
      -0.36 is 0.64 - 1.0,
      0.3600000000000001 is 1.36 - 1.0,
      0.1296 is -0.36 * -0.36,
      0.12960000000000008 is 0.3600000000000001 * 0.3600000000000001]).
step(0.1296 is -0.36 * -0.36, builtin, [], []).
step(0.12960000000000008 is 0.3600000000000001 * 0.3600000000000001, builtin, [], []).
step(max2(0.1296, 0.12960000000000008, 0.12960000000000008),
     rule(36),
     ['A' = 0.1296, 'B' = 0.12960000000000008],
     [0.1296 < 0.12960000000000008]).
step(0.1296 < 0.12960000000000008, builtin, [], []).
step(objectiveBounds(result, f(3, 0.0, 0.04665599999999999)),
     rule(51),
     ['K' = 3, 'Fl' = 0.0, 'Fu' = 0.04665599999999999],
     [index(3), f_lower(3, 0.0), f_upper(3, 0.04665599999999999)]).
step(f_lower(3, 0.0),
     rule(41),
     ['K' = 3, 'A' = 1.0, 'L' = 0.784, 'U' = 1.216],
     [target(1.0), x_bounds(3, 0.784, 1.216), 0.784 =< 1.0, 1.0 =< 1.216]).
step(0.784 =< 1.0, builtin, [], []).
step(1.0 =< 1.216, builtin, [], []).
step(f_upper(3, 0.04665599999999999),
     rule(40),
     ['K' = 3,
      'Fu' = 0.04665599999999999,
      'Sl' = 0.04665599999999999,
      'Su' = 0.04665599999999999],
     [end_squares(3, 0.04665599999999999, 0.04665599999999999),
      max2(0.04665599999999999, 0.04665599999999999, 0.04665599999999999)]).
step(end_squares(3, 0.04665599999999999, 0.04665599999999999),
     rule(39),
     ['K' = 3,
      'Sl' = 0.04665599999999999,
      'Su' = 0.04665599999999999,
      'A' = 1.0,
      'L' = 0.784,
      'U' = 1.216,
      'Dl' = -0.21599999999999997,
      'Du' = 0.21599999999999997],
     [target(1.0),
      x_bounds(3, 0.784, 1.216),
      -0.21599999999999997 is 0.784 - 1.0,
      0.21599999999999997 is 1.216 - 1.0,
      0.04665599999999999 is -0.21599999999999997 * -0.21599999999999997,
      0.04665599999999999 is 0.21599999999999997 * 0.21599999999999997]).
step(0.04665599999999999 is -0.21599999999999997 * -0.21599999999999997, builtin, [], []).
step(0.04665599999999999 is 0.21599999999999997 * 0.21599999999999997, builtin, [], []).
step(max2(0.04665599999999999, 0.04665599999999999, 0.04665599999999999),
     rule(35),
     ['A' = 0.04665599999999999, 'B' = 0.04665599999999999],
     [0.04665599999999999 >= 0.04665599999999999]).
step(0.04665599999999999 >= 0.04665599999999999, builtin, [], []).
step(objectiveBounds(result, f(4, 0.0, 0.016796159999999984)),
     rule(51),
     ['K' = 4, 'Fl' = 0.0, 'Fu' = 0.016796159999999984],
     [index(4), f_lower(4, 0.0), f_upper(4, 0.016796159999999984)]).
step(f_lower(4, 0.0),
     rule(41),
     ['K' = 4, 'A' = 1.0, 'L' = 0.8704000000000001, 'U' = 1.1296],
     [target(1.0),
      x_bounds(4, 0.8704000000000001, 1.1296),
      0.8704000000000001 =< 1.0,
      1.0 =< 1.1296]).
step(0.8704000000000001 =< 1.0, builtin, [], []).
step(1.0 =< 1.1296, builtin, [], []).
step(f_upper(4, 0.016796159999999984),
     rule(40),
     ['K' = 4,
      'Fu' = 0.016796159999999984,
      'Sl' = 0.016796159999999984,
      'Su' = 0.016796159999999984],
     [end_squares(4, 0.016796159999999984, 0.016796159999999984),
      max2(0.016796159999999984, 0.016796159999999984, 0.016796159999999984)]).
step(end_squares(4, 0.016796159999999984, 0.016796159999999984),
     rule(39),
     ['K' = 4,
      'Sl' = 0.016796159999999984,
      'Su' = 0.016796159999999984,
      'A' = 1.0,
      'L' = 0.8704000000000001,
      'U' = 1.1296,
      'Dl' = -0.12959999999999994,
      'Du' = 0.12959999999999994],
     [target(1.0),
      x_bounds(4, 0.8704000000000001, 1.1296),
      -0.12959999999999994 is 0.8704000000000001 - 1.0,
      0.12959999999999994 is 1.1296 - 1.0,
      0.016796159999999984 is -0.12959999999999994 * -0.12959999999999994,
      0.016796159999999984 is 0.12959999999999994 * 0.12959999999999994]).
step(0.016796159999999984 is -0.12959999999999994 * -0.12959999999999994, builtin, [], []).
step(0.016796159999999984 is 0.12959999999999994 * 0.12959999999999994, builtin, [], []).
step(max2(0.016796159999999984, 0.016796159999999984, 0.016796159999999984),
     rule(35),
     ['A' = 0.016796159999999984, 'B' = 0.016796159999999984],
     [0.016796159999999984 >= 0.016796159999999984]).
step(0.016796159999999984 >= 0.016796159999999984, builtin, [], []).
step(objectiveBounds(result, f(5, 0.0, 0.006046617600000008)),
     rule(51),
     ['K' = 5, 'Fl' = 0.0, 'Fu' = 0.006046617600000008],
     [index(5), f_lower(5, 0.0), f_upper(5, 0.006046617600000008)]).
step(f_lower(5, 0.0),
     rule(41),
     ['K' = 5, 'A' = 1.0, 'L' = 0.9222400000000001, 'U' = 1.07776],
     [target(1.0),
      x_bounds(5, 0.9222400000000001, 1.07776),
      0.9222400000000001 =< 1.0,
      1.0 =< 1.07776]).
step(0.9222400000000001 =< 1.0, builtin, [], []).
step(1.0 =< 1.07776, builtin, [], []).
step(f_upper(5, 0.006046617600000008),
     rule(40),
     ['K' = 5,
      'Fu' = 0.006046617600000008,
      'Sl' = 0.0060466175999999905,
      'Su' = 0.006046617600000008],
     [end_squares(5, 0.0060466175999999905, 0.006046617600000008),
      max2(0.0060466175999999905, 0.006046617600000008, 0.006046617600000008)]).
step(end_squares(5, 0.0060466175999999905, 0.006046617600000008),
     rule(39),
     ['K' = 5,
      'Sl' = 0.0060466175999999905,
      'Su' = 0.006046617600000008,
      'A' = 1.0,
      'L' = 0.9222400000000001,
      'U' = 1.07776,
      'Dl' = -0.07775999999999994,
      'Du' = 0.07776000000000005],
     [target(1.0),
      x_bounds(5, 0.9222400000000001, 1.07776),
      -0.07775999999999994 is 0.9222400000000001 - 1.0,
      0.07776000000000005 is 1.07776 - 1.0,
      0.0060466175999999905 is -0.07775999999999994 * -0.07775999999999994,
      0.006046617600000008 is 0.07776000000000005 * 0.07776000000000005]).
step(0.0060466175999999905 is -0.07775999999999994 * -0.07775999999999994, builtin, [], []).
step(0.006046617600000008 is 0.07776000000000005 * 0.07776000000000005, builtin, [], []).
step(max2(0.0060466175999999905, 0.006046617600000008, 0.006046617600000008),
     rule(36),
     ['A' = 0.0060466175999999905, 'B' = 0.006046617600000008],
     [0.0060466175999999905 < 0.006046617600000008]).
step(0.0060466175999999905 < 0.006046617600000008, builtin, [], []).
step(objectiveBounds(result, f(6, 0.0, 0.002176782336000003)),
     rule(51),
     ['K' = 6, 'Fl' = 0.0, 'Fu' = 0.002176782336000003],
     [index(6), f_lower(6, 0.0), f_upper(6, 0.002176782336000003)]).
step(f_lower(6, 0.0),
     rule(41),
     ['K' = 6, 'A' = 1.0, 'L' = 0.9533440000000001, 'U' = 1.046656],
     [target(1.0),
      x_bounds(6, 0.9533440000000001, 1.046656),
      0.9533440000000001 =< 1.0,
      1.0 =< 1.046656]).
step(0.9533440000000001 =< 1.0, builtin, [], []).
step(1.0 =< 1.046656, builtin, [], []).
step(f_upper(6, 0.002176782336000003),
     rule(40),
     ['K' = 6,
      'Fu' = 0.002176782336000003,
      'Sl' = 0.0021767823359999925,
      'Su' = 0.002176782336000003],
     [end_squares(6, 0.0021767823359999925, 0.002176782336000003),
      max2(0.0021767823359999925, 0.002176782336000003, 0.002176782336000003)]).
step(end_squares(6, 0.0021767823359999925, 0.002176782336000003),
     rule(39),
     ['K' = 6,
      'Sl' = 0.0021767823359999925,
      'Su' = 0.002176782336000003,
      'A' = 1.0,
      'L' = 0.9533440000000001,
      'U' = 1.046656,
      'Dl' = -0.04665599999999992,
      'Du' = 0.04665600000000003],
     [target(1.0),
      x_bounds(6, 0.9533440000000001, 1.046656),
      -0.04665599999999992 is 0.9533440000000001 - 1.0,
      0.04665600000000003 is 1.046656 - 1.0,
      0.0021767823359999925 is -0.04665599999999992 * -0.04665599999999992,
      0.002176782336000003 is 0.04665600000000003 * 0.04665600000000003]).
step(0.0021767823359999925 is -0.04665599999999992 * -0.04665599999999992, builtin, [], []).
step(0.002176782336000003 is 0.04665600000000003 * 0.04665600000000003, builtin, [], []).
step(max2(0.0021767823359999925, 0.002176782336000003, 0.002176782336000003),
     rule(36),
     ['A' = 0.0021767823359999925, 'B' = 0.002176782336000003],
     [0.0021767823359999925 < 0.002176782336000003]).
step(0.0021767823359999925 < 0.002176782336000003, builtin, [], []).
step(objectiveBounds(result, f(7, 0.0, 0.0007836416409600036)),
     rule(51),
     ['K' = 7, 'Fl' = 0.0, 'Fu' = 0.0007836416409600036],
     [index(7), f_lower(7, 0.0), f_upper(7, 0.0007836416409600036)]).
step(f_lower(7, 0.0),
     rule(41),
     ['K' = 7, 'A' = 1.0, 'L' = 0.9720064, 'U' = 1.0279936],
     [target(1.0), x_bounds(7, 0.9720064, 1.0279936), 0.9720064 =< 1.0, 1.0 =< 1.0279936]).
step(0.9720064 =< 1.0, builtin, [], []).
step(1.0 =< 1.0279936, builtin, [], []).
step(f_upper(7, 0.0007836416409600036),
     rule(40),
     ['K' = 7,
      'Fu' = 0.0007836416409600036,
      'Sl' = 0.0007836416409599973,
      'Su' = 0.0007836416409600036],
     [end_squares(7, 0.0007836416409599973, 0.0007836416409600036),
      max2(0.0007836416409599973, 0.0007836416409600036, 0.0007836416409600036)]).
step(end_squares(7, 0.0007836416409599973, 0.0007836416409600036),
     rule(39),
     ['K' = 7,
      'Sl' = 0.0007836416409599973,
      'Su' = 0.0007836416409600036,
      'A' = 1.0,
      'L' = 0.9720064,
      'U' = 1.0279936,
      'Dl' = -0.027993599999999952,
      'Du' = 0.027993600000000063],
     [target(1.0),
      x_bounds(7, 0.9720064, 1.0279936),
      -0.027993599999999952 is 0.9720064 - 1.0,
      0.027993600000000063 is 1.0279936 - 1.0,
      0.0007836416409599973 is -0.027993599999999952 * -0.027993599999999952,
      0.0007836416409600036 is 0.027993600000000063 * 0.027993600000000063]).
step(0.0007836416409599973 is -0.027993599999999952 * -0.027993599999999952, builtin, [], []).
step(0.0007836416409600036 is 0.027993600000000063 * 0.027993600000000063, builtin, [], []).
step(max2(0.0007836416409599973, 0.0007836416409600036, 0.0007836416409600036),
     rule(36),
     ['A' = 0.0007836416409599973, 'B' = 0.0007836416409600036],
     [0.0007836416409599973 < 0.0007836416409600036]).
step(0.0007836416409599973 < 0.0007836416409600036, builtin, [], []).
step(objectiveBounds(result, f(8, 0.0, 0.00028211099074559827)),
     rule(51),
     ['K' = 8, 'Fl' = 0.0, 'Fu' = 0.00028211099074559827],
     [index(8), f_lower(8, 0.0), f_upper(8, 0.00028211099074559827)]).
step(f_lower(8, 0.0),
     rule(41),
     ['K' = 8, 'A' = 1.0, 'L' = 0.98320384, 'U' = 1.01679616],
     [target(1.0), x_bounds(8, 0.98320384, 1.01679616), 0.98320384 =< 1.0, 1.0 =< 1.01679616]).
step(0.98320384 =< 1.0, builtin, [], []).
step(1.0 =< 1.01679616, builtin, [], []).
step(f_upper(8, 0.00028211099074559827),
     rule(40),
     ['K' = 8,
      'Fu' = 0.00028211099074559827,
      'Sl' = 0.00028211099074559827,
      'Su' = 0.00028211099074559827],
     [end_squares(8, 0.00028211099074559827, 0.00028211099074559827),
      max2(0.00028211099074559827, 0.00028211099074559827, 0.00028211099074559827)]).
step(end_squares(8, 0.00028211099074559827, 0.00028211099074559827),
     rule(39),
     ['K' = 8,
      'Sl' = 0.00028211099074559827,
      'Su' = 0.00028211099074559827,
      'A' = 1.0,
      'L' = 0.98320384,
      'U' = 1.01679616,
      'Dl' = -0.01679615999999995,
      'Du' = 0.01679615999999995],
     [target(1.0),
      x_bounds(8, 0.98320384, 1.01679616),
      -0.01679615999999995 is 0.98320384 - 1.0,
      0.01679615999999995 is 1.01679616 - 1.0,
      0.00028211099074559827 is -0.01679615999999995 * -0.01679615999999995,
      0.00028211099074559827 is 0.01679615999999995 * 0.01679615999999995]).
step(0.00028211099074559827 is -0.01679615999999995 * -0.01679615999999995, builtin, [], []).
step(0.00028211099074559827 is 0.01679615999999995 * 0.01679615999999995, builtin, [], []).
step(max2(0.00028211099074559827, 0.00028211099074559827, 0.00028211099074559827),
     rule(35),
     ['A' = 0.00028211099074559827, 'B' = 0.00028211099074559827],
     [0.00028211099074559827 >= 0.00028211099074559827]).
step(0.00028211099074559827 >= 0.00028211099074559827, builtin, [], []).
step(objectiveBounds(result, f(9, 0.0, 0.00010155995666841538)),
     rule(51),
     ['K' = 9, 'Fl' = 0.0, 'Fu' = 0.00010155995666841538],
     [index(9), f_lower(9, 0.0), f_upper(9, 0.00010155995666841538)]).
step(f_lower(9, 0.0),
     rule(41),
     ['K' = 9, 'A' = 1.0, 'L' = 0.989922304, 'U' = 1.010077696],
     [target(1.0),
      x_bounds(9, 0.989922304, 1.010077696),
      0.989922304 =< 1.0,
      1.0 =< 1.010077696]).
step(0.989922304 =< 1.0, builtin, [], []).
step(1.0 =< 1.010077696, builtin, [], []).
step(f_upper(9, 0.00010155995666841538),
     rule(40),
     ['K' = 9,
      'Fu' = 0.00010155995666841538,
      'Sl' = 0.00010155995666841538,
      'Su' = 0.00010155995666841538],
     [end_squares(9, 0.00010155995666841538, 0.00010155995666841538),
      max2(0.00010155995666841538, 0.00010155995666841538, 0.00010155995666841538)]).
step(end_squares(9, 0.00010155995666841538, 0.00010155995666841538),
     rule(39),
     ['K' = 9,
      'Sl' = 0.00010155995666841538,
      'Su' = 0.00010155995666841538,
      'A' = 1.0,
      'L' = 0.989922304,
      'U' = 1.010077696,
      'Dl' = -0.01007769599999997,
      'Du' = 0.01007769599999997],
     [target(1.0),
      x_bounds(9, 0.989922304, 1.010077696),
      -0.01007769599999997 is 0.989922304 - 1.0,
      0.01007769599999997 is 1.010077696 - 1.0,
      0.00010155995666841538 is -0.01007769599999997 * -0.01007769599999997,
      0.00010155995666841538 is 0.01007769599999997 * 0.01007769599999997]).
step(0.00010155995666841538 is -0.01007769599999997 * -0.01007769599999997, builtin, [], []).
step(0.00010155995666841538 is 0.01007769599999997 * 0.01007769599999997, builtin, [], []).
step(max2(0.00010155995666841538, 0.00010155995666841538, 0.00010155995666841538),
     rule(35),
     ['A' = 0.00010155995666841538, 'B' = 0.00010155995666841538],
     [0.00010155995666841538 >= 0.00010155995666841538]).
step(0.00010155995666841538 >= 0.00010155995666841538, builtin, [], []).
step(objectiveBounds(result, f(10, 0.0, 0.00003656158440063007)),
     rule(51),
     ['K' = 10, 'Fl' = 0.0, 'Fu' = 0.00003656158440063007],
     [index(10), f_lower(10, 0.0), f_upper(10, 0.00003656158440063007)]).
step(f_lower(10, 0.0),
     rule(41),
     ['K' = 10, 'A' = 1.0, 'L' = 0.9939533824, 'U' = 1.0060466176],
     [target(1.0),
      x_bounds(10, 0.9939533824, 1.0060466176),
      0.9939533824 =< 1.0,
      1.0 =< 1.0060466176]).
step(0.9939533824 =< 1.0, builtin, [], []).
step(1.0 =< 1.0060466176, builtin, [], []).
step(f_upper(10, 0.00003656158440063007),
     rule(40),
     ['K' = 10,
      'Fu' = 0.00003656158440063007,
      'Sl' = 0.00003656158440063007,
      'Su' = 0.00003656158440063007],
     [end_squares(10, 0.00003656158440063007, 0.00003656158440063007),
      max2(0.00003656158440063007, 0.00003656158440063007, 0.00003656158440063007)]).
step(end_squares(10, 0.00003656158440063007, 0.00003656158440063007),
     rule(39),
     ['K' = 10,
      'Sl' = 0.00003656158440063007,
      'Su' = 0.00003656158440063007,
      'A' = 1.0,
      'L' = 0.9939533824,
      'U' = 1.0060466176,
      'Dl' = -0.006046617600000026,
      'Du' = 0.006046617600000026],
     [target(1.0),
      x_bounds(10, 0.9939533824, 1.0060466176),
      -0.006046617600000026 is 0.9939533824 - 1.0,
      0.006046617600000026 is 1.0060466176 - 1.0,
      0.00003656158440063007 is -0.006046617600000026 * -0.006046617600000026,
      0.00003656158440063007 is 0.006046617600000026 * 0.006046617600000026]).
step(0.00003656158440063007 is -0.006046617600000026 * -0.006046617600000026, builtin, [], []).
step(0.00003656158440063007 is 0.006046617600000026 * 0.006046617600000026, builtin, [], []).
step(max2(0.00003656158440063007, 0.00003656158440063007, 0.00003656158440063007),
     rule(35),
     ['A' = 0.00003656158440063007, 'B' = 0.00003656158440063007],
     [0.00003656158440063007 >= 0.00003656158440063007]).
step(0.00003656158440063007 >= 0.00003656158440063007, builtin, [], []).
step(widthContractsAt(result, 1), rule(52), ['K' = 1], [width_contracts_at(1, true)]).
step(width_contracts_at(1, true),
     rule(34),
     ['K1' = 1, 'K' = 0, 'W' = 2.0, 'W1' = 1.2000000000000002],
     [eta_le_half(true),
      previous(1, 0),
      width(0, 2.0),
      width(1, 1.2000000000000002),
      1.2000000000000002 =< 2.0]).
step(1.2000000000000002 =< 2.0, builtin, [], []).
step(widthContractsAt(result, 2), rule(52), ['K' = 2], [width_contracts_at(2, true)]).
step(width_contracts_at(2, true),
     rule(34),
     ['K1' = 2, 'K' = 1, 'W' = 1.2000000000000002, 'W1' = 0.7200000000000001],
     [eta_le_half(true),
      previous(2, 1),
      width(1, 1.2000000000000002),
      width(2, 0.7200000000000001),
      0.7200000000000001 =< 1.2000000000000002]).
step(0.7200000000000001 =< 1.2000000000000002, builtin, [], []).
step(widthContractsAt(result, 3), rule(52), ['K' = 3], [width_contracts_at(3, true)]).
step(width_contracts_at(3, true),
     rule(34),
     ['K1' = 3, 'K' = 2, 'W' = 0.7200000000000001, 'W1' = 0.43199999999999994],
     [eta_le_half(true),
      previous(3, 2),
      width(2, 0.7200000000000001),
      width(3, 0.43199999999999994),
      0.43199999999999994 =< 0.7200000000000001]).
step(0.43199999999999994 =< 0.7200000000000001, builtin, [], []).
step(widthContractsAt(result, 4), rule(52), ['K' = 4], [width_contracts_at(4, true)]).
step(width_contracts_at(4, true),
     rule(34),
     ['K1' = 4, 'K' = 3, 'W' = 0.43199999999999994, 'W1' = 0.2591999999999999],
     [eta_le_half(true),
      previous(4, 3),
      width(3, 0.43199999999999994),
      width(4, 0.2591999999999999),
      0.2591999999999999 =< 0.43199999999999994]).
step(0.2591999999999999 =< 0.43199999999999994, builtin, [], []).
step(widthContractsAt(result, 5), rule(52), ['K' = 5], [width_contracts_at(5, true)]).
step(width_contracts_at(5, true),
     rule(34),
     ['K1' = 5, 'K' = 4, 'W' = 0.2591999999999999, 'W1' = 0.15552],
     [eta_le_half(true),
      previous(5, 4),
      width(4, 0.2591999999999999),
      width(5, 0.15552),
      0.15552 =< 0.2591999999999999]).
step(0.15552 =< 0.2591999999999999, builtin, [], []).
step(widthContractsAt(result, 6), rule(52), ['K' = 6], [width_contracts_at(6, true)]).
step(width_contracts_at(6, true),
     rule(34),
     ['K1' = 6, 'K' = 5, 'W' = 0.15552, 'W1' = 0.09331199999999995],
     [eta_le_half(true),
      previous(6, 5),
      width(5, 0.15552),
      width(6, 0.09331199999999995),
      0.09331199999999995 =< 0.15552]).
step(0.09331199999999995 =< 0.15552, builtin, [], []).
step(widthContractsAt(result, 7), rule(52), ['K' = 7], [width_contracts_at(7, true)]).
step(width_contracts_at(7, true),
     rule(34),
     ['K1' = 7, 'K' = 6, 'W' = 0.09331199999999995, 'W1' = 0.055987200000000015],
     [eta_le_half(true),
      previous(7, 6),
      width(6, 0.09331199999999995),
      width(7, 0.055987200000000015),
      0.055987200000000015 =< 0.09331199999999995]).
step(0.055987200000000015 =< 0.09331199999999995, builtin, [], []).
step(widthContractsAt(result, 8), rule(52), ['K' = 8], [width_contracts_at(8, true)]).
step(width_contracts_at(8, true),
     rule(34),
     ['K1' = 8, 'K' = 7, 'W' = 0.055987200000000015, 'W1' = 0.0335923199999999],
     [eta_le_half(true),
      previous(8, 7),
      width(7, 0.055987200000000015),
      width(8, 0.0335923199999999),
      0.0335923199999999 =< 0.055987200000000015]).
step(0.0335923199999999 =< 0.055987200000000015, builtin, [], []).
step(widthContractsAt(result, 9), rule(52), ['K' = 9], [width_contracts_at(9, true)]).
step(width_contracts_at(9, true),
     rule(34),
     ['K1' = 9, 'K' = 8, 'W' = 0.0335923199999999, 'W1' = 0.02015539199999994],
     [eta_le_half(true),
      previous(9, 8),
      width(8, 0.0335923199999999),
      width(9, 0.02015539199999994),
      0.02015539199999994 =< 0.0335923199999999]).
step(0.02015539199999994 =< 0.0335923199999999, builtin, [], []).
step(widthContractsAt(result, 10), rule(52), ['K' = 10], [width_contracts_at(10, true)]).
step(width_contracts_at(10, true),
     rule(34),
     ['K1' = 10, 'K' = 9, 'W' = 0.02015539199999994, 'W1' = 0.012093235200000052],
     [eta_le_half(true),
      previous(10, 9),
      width(9, 0.02015539199999994),
      width(10, 0.012093235200000052),
      0.012093235200000052 =< 0.02015539199999994]).
step(0.012093235200000052 =< 0.02015539199999994, builtin, [], []).