complex_power(sqrt_minus_one, [-1, 0], [0.5, 0], [6.123233995736766e-17, 1.0]).
complex_power(e_to_i_pi, [2.718281828459045, 0], [0, 3.141592653589793], [-1.0, 1.2246467991473532e-16]).
complex_power(i_to_i, [0, 1], [0, 1], [0.20787957635076193, 0.0]).
complex_power(e_to_minus_pi_over_two, [2.718281828459045, 0], [-1.57079632679, 0], [0.20787957635177984, 0.0]).
complex_function(asin, two, [2, 0], [1.5707963267948966, 1.3169578969248166]).
complex_function(acos, two, [2, 0], [0.0, -1.3169578969248166]).

clause(1, pi(3.141592653589793), true).
clause(2, e(2.718281828459045), true).
clause(3,
       complex_exponentiation([var('A'), var('B')], [var('C'), var('D')], [var('E'), var('F')]),
       (complex_polar([var('A'), var('B')], [var('R'), var('T')]),
        var('Z1') is var('R') ** var('C'),
        var('Z2') is - var('D'),
        var('Z3') is var('Z2') * var('T'),
        e(var('Euler')),
        var('Z4') is var('Euler') ** var('Z3'),
        var('Z5') is log(var('R')),
        var('Z6') is var('D') * var('Z5'),
        var('Z7') is var('C') * var('T'),
        var('Z8') is var('Z6') + var('Z7'),
        var('Z9') is cos(var('Z8')),
        var('Z1z4') is var('Z1') * var('Z4'),
        var('E') is var('Z1z4') * var('Z9'),
        var('Z10') is sin(var('Z8')),
        var('F') is var('Z1z4') * var('Z10'))).
clause(4,
       complex_asin([var('A'), var('B')], [var('C'), var('D')]),
       (var('Z1') is 1 + var('A'),
        var('Z2') is var('Z1') ** 2,
        var('Z3') is var('B') ** 2,
        var('Z4') is var('Z2') + var('Z3'),
        var('Z5') is var('Z4') ** 0.5,
        var('Z6') is 1 - var('A'),
        var('Z7') is var('Z6') ** 2,
        var('Z8') is var('Z7') + var('Z3'),
        var('Z9') is var('Z8') ** 0.5,
        var('Z10') is var('Z5') - var('Z9'),
        var('E') is var('Z10') / 2,
        var('Z11') is var('Z5') + var('Z9'),
        var('F') is var('Z11') / 2,
        var('C') is asin(var('E')),
        var('Z12') is var('F') ** 2,
        var('Z13') is var('Z12') - 1,
        var('Z14') is var('Z13') ** 0.5,
        var('Z15') is var('F') + var('Z14'),
        var('D') is log(var('Z15')))).
clause(5,
       complex_acos([var('A'), var('B')], [var('C'), var('D')]),
       (var('Z1') is 1 + var('A'),
        var('Z2') is var('Z1') ** 2,
        var('Z3') is var('B') ** 2,
        var('Z4') is var('Z2') + var('Z3'),
        var('Z5') is var('Z4') ** 0.5,
        var('Z6') is 1 - var('A'),
        var('Z7') is var('Z6') ** 2,
        var('Z8') is var('Z7') + var('Z3'),
        var('Z9') is var('Z8') ** 0.5,
        var('Z10') is var('Z5') - var('Z9'),
        var('E') is var('Z10') / 2,
        var('Z11') is var('Z5') + var('Z9'),
        var('F') is var('Z11') / 2,
        var('C') is acos(var('E')),
        var('Z12') is var('F') ** 2,
        var('Z13') is var('Z12') - 1,
        var('Z14') is var('Z13') ** 0.5,
        var('Z15') is var('F') + var('Z14'),
        var('U') is log(var('Z15')),
        var('D') is - var('U'))).
clause(6,
       complex_polar([var('X'), var('Y')], [var('R'), var('Tp')]),
       (var('Z1') is var('X') ** 2,
        var('Z2') is var('Y') ** 2,
        var('Z3') is var('Z1') + var('Z2'),
        var('R') is var('Z3') ** 0.5,
        var('Z4') is abs(var('X')),
        var('Z5') is var('Z4') / var('R'),
        var('T') is acos(var('Z5')),
        complex_dial(var('X'), var('Y'), var('T'), var('Tp')))).
clause(7,
       complex_dial(var('X'), var('Y'), var('T'), var('Tp')),
       (var('X') >= 0, var('Y') >= 0, var('Tp') is 0 + var('T'))).
clause(8,
       complex_dial(var('X'), var('Y'), var('T'), var('Tp')),
       (var('X') < 0, var('Y') >= 0, pi(var('Pi')), var('Tp') is var('Pi') - var('T'))).
clause(11,
       complex_power(sqrt_minus_one, [-1, 0], [0.5, 0], var('Result')),
       complex_exponentiation([-1, 0], [0.5, 0], var('Result'))).
clause(12,
       complex_power(e_to_i_pi, [2.718281828459045, 0], [0, 3.141592653589793], var('Result')),
       complex_exponentiation([2.718281828459045, 0], [0, 3.141592653589793], var('Result'))).
clause(13,
       complex_power(i_to_i, [0, 1], [0, 1], var('Result')),
       complex_exponentiation([0, 1], [0, 1], var('Result'))).
clause(14,
       complex_power(e_to_minus_pi_over_two, [2.718281828459045, 0], [-1.57079632679, 0], var('Result')),
       complex_exponentiation([2.718281828459045, 0], [-1.57079632679, 0], var('Result'))).
clause(15,
       complex_function(asin, two, [2, 0], var('Result')),
       complex_asin([2, 0], var('Result'))).
clause(16,
       complex_function(acos, two, [2, 0], var('Result')),
       complex_acos([2, 0], var('Result'))).

step(complex_power(sqrt_minus_one, [-1, 0], [0.5, 0], [6.123233995736766e-17, 1.0]),
     rule(11),
     ['Result' = [6.123233995736766e-17, 1.0]],
     [complex_exponentiation([-1, 0], [0.5, 0], [6.123233995736766e-17, 1.0])]).
step(complex_exponentiation([-1, 0], [0.5, 0], [6.123233995736766e-17, 1.0]),
     rule(3),
     ['A' = -1,
      'B' = 0,
      'C' = 0.5,
      'D' = 0,
      'E' = 6.123233995736766e-17,
      'F' = 1.0,
      'R' = 1.0,
      'T' = 3.141592653589793,
      'Z1' = 1.0,
      'Z2' = 0,
      'Z3' = 0.0,
      'Euler' = 2.718281828459045,
      'Z4' = 1.0,
      'Z5' = 0.0,
      'Z6' = 0.0,
      'Z7' = 1.5707963267948966,
      'Z8' = 1.5707963267948966,
      'Z9' = 6.123233995736766e-17,
      'Z1z4' = 1.0,
      'Z10' = 1.0],
     [complex_polar([-1, 0], [1.0, 3.141592653589793]),
      1.0 is 1.0 ** 0.5,
      0 is - (0),
      0.0 is 0 * 3.141592653589793,
      e(2.718281828459045),
      1.0 is 2.718281828459045 ** 0.0,
      0.0 is log(1.0),
      0.0 is 0 * 0.0,
      1.5707963267948966 is 0.5 * 3.141592653589793,
      1.5707963267948966 is 0.0 + 1.5707963267948966,
      6.123233995736766e-17 is cos(1.5707963267948966),
      1.0 is 1.0 * 1.0,
      6.123233995736766e-17 is 1.0 * 6.123233995736766e-17,
      1.0 is sin(1.5707963267948966),
      1.0 is 1.0 * 1.0]).
step(complex_polar([-1, 0], [1.0, 3.141592653589793]),
     rule(6),
     ['X' = -1,
      'Y' = 0,
      'R' = 1.0,
      'Tp' = 3.141592653589793,
      'Z1' = 1.0,
      'Z2' = 0.0,
      'Z3' = 1.0,
      'Z4' = 1,
      'Z5' = 1.0,
      'T' = 0.0],
     [1.0 is -1 ** 2,
      0.0 is 0 ** 2,
      1.0 is 1.0 + 0.0,
      1.0 is 1.0 ** 0.5,
      1 is abs(-1),
      1.0 is 1 / 1.0,
      0.0 is acos(1.0),
      complex_dial(-1, 0, 0.0, 3.141592653589793)]).
step(1.0 is -1 ** 2, builtin, [], []).
step(0.0 is 0 ** 2, builtin, [], []).
step(1.0 is 1.0 + 0.0, builtin, [], []).
step(1.0 is 1.0 ** 0.5, builtin, [], []).
step(1 is abs(-1), builtin, [], []).
step(1.0 is 1 / 1.0, builtin, [], []).
step(0.0 is acos(1.0), builtin, [], []).
step(complex_dial(-1, 0, 0.0, 3.141592653589793),
     rule(8),
     ['X' = -1, 'Y' = 0, 'T' = 0.0, 'Tp' = 3.141592653589793, 'Pi' = 3.141592653589793],
     [-1 < 0, 0 >= 0, pi(3.141592653589793), 3.141592653589793 is 3.141592653589793 - 0.0]).
step(-1 < 0, builtin, [], []).
step(0 >= 0, builtin, [], []).
step(pi(3.141592653589793), fact(1), [], []).
step(3.141592653589793 is 3.141592653589793 - 0.0, builtin, [], []).
step(0 is - (0), builtin, [], []).
step(0.0 is 0 * 3.141592653589793, builtin, [], []).
step(e(2.718281828459045), fact(2), [], []).
step(1.0 is 2.718281828459045 ** 0.0, builtin, [], []).
step(0.0 is log(1.0), builtin, [], []).
step(0.0 is 0 * 0.0, builtin, [], []).
step(1.5707963267948966 is 0.5 * 3.141592653589793, builtin, [], []).
step(1.5707963267948966 is 0.0 + 1.5707963267948966, builtin, [], []).
step(6.123233995736766e-17 is cos(1.5707963267948966), builtin, [], []).
step(1.0 is 1.0 * 1.0, builtin, [], []).
step(6.123233995736766e-17 is 1.0 * 6.123233995736766e-17, builtin, [], []).
step(1.0 is sin(1.5707963267948966), builtin, [], []).
step(complex_power(e_to_i_pi, [2.718281828459045, 0], [0, 3.141592653589793], [-1.0, 1.2246467991473532e-16]),
     rule(12),
     ['Result' = [-1.0, 1.2246467991473532e-16]],
     [complex_exponentiation([2.718281828459045, 0], [0, 3.141592653589793], [-1.0, 1.2246467991473532e-16])]).
step(complex_exponentiation([2.718281828459045, 0], [0, 3.141592653589793], [-1.0, 1.2246467991473532e-16]),
     rule(3),
     ['A' = 2.718281828459045,
      'B' = 0,
      'C' = 0,
      'D' = 3.141592653589793,
      'E' = -1.0,
      'F' = 1.2246467991473532e-16,
      'R' = 2.718281828459045,
      'T' = 0.0,
      'Z1' = 1.0,
      'Z2' = -3.141592653589793,
      'Z3' = 0.0,
      'Euler' = 2.718281828459045,
      'Z4' = 1.0,
      'Z5' = 1.0,
      'Z6' = 3.141592653589793,
      'Z7' = 0.0,
      'Z8' = 3.141592653589793,
      'Z9' = -1.0,
      'Z1z4' = 1.0,
      'Z10' = 1.2246467991473532e-16],
     [complex_polar([2.718281828459045, 0], [2.718281828459045, 0.0]),
      1.0 is 2.718281828459045 ** 0,
      -3.141592653589793 is - (3.141592653589793),
      0.0 is -3.141592653589793 * 0.0,
      e(2.718281828459045),
      1.0 is 2.718281828459045 ** 0.0,
      1.0 is log(2.718281828459045),
      3.141592653589793 is 3.141592653589793 * 1.0,
      0.0 is 0 * 0.0,
      3.141592653589793 is 3.141592653589793 + 0.0,
      -1.0 is cos(3.141592653589793),
      1.0 is 1.0 * 1.0,
      -1.0 is 1.0 * -1.0,
      1.2246467991473532e-16 is sin(3.141592653589793),
      1.2246467991473532e-16 is 1.0 * 1.2246467991473532e-16]).
step(complex_polar([2.718281828459045, 0], [2.718281828459045, 0.0]),
     rule(6),
     ['X' = 2.718281828459045,
      'Y' = 0,
      'R' = 2.718281828459045,
      'Tp' = 0.0,
      'Z1' = 7.3890560989306495,
      'Z2' = 0.0,
      'Z3' = 7.3890560989306495,
      'Z4' = 2.718281828459045,
      'Z5' = 1.0,
      'T' = 0.0],
     [7.3890560989306495 is 2.718281828459045 ** 2,
      0.0 is 0 ** 2,
      7.3890560989306495 is 7.3890560989306495 + 0.0,
      2.718281828459045 is 7.3890560989306495 ** 0.5,
      2.718281828459045 is abs(2.718281828459045),
      1.0 is 2.718281828459045 / 2.718281828459045,
      0.0 is acos(1.0),
      complex_dial(2.718281828459045, 0, 0.0, 0.0)]).
step(7.3890560989306495 is 2.718281828459045 ** 2, builtin, [], []).
step(7.3890560989306495 is 7.3890560989306495 + 0.0, builtin, [], []).
step(2.718281828459045 is 7.3890560989306495 ** 0.5, builtin, [], []).
step(2.718281828459045 is abs(2.718281828459045), builtin, [], []).
step(1.0 is 2.718281828459045 / 2.718281828459045, builtin, [], []).
step(complex_dial(2.718281828459045, 0, 0.0, 0.0),
     rule(7),
     ['X' = 2.718281828459045, 'Y' = 0, 'T' = 0.0, 'Tp' = 0.0],
     [2.718281828459045 >= 0, 0 >= 0, 0.0 is 0 + 0.0]).
step(2.718281828459045 >= 0, builtin, [], []).
step(0.0 is 0 + 0.0, builtin, [], []).
step(1.0 is 2.718281828459045 ** 0, builtin, [], []).
step(-3.141592653589793 is - (3.141592653589793), builtin, [], []).
step(0.0 is -3.141592653589793 * 0.0, builtin, [], []).
step(1.0 is log(2.718281828459045), builtin, [], []).
step(3.141592653589793 is 3.141592653589793 * 1.0, builtin, [], []).
step(3.141592653589793 is 3.141592653589793 + 0.0, builtin, [], []).
step(-1.0 is cos(3.141592653589793), builtin, [], []).
step(-1.0 is 1.0 * -1.0, builtin, [], []).
step(1.2246467991473532e-16 is sin(3.141592653589793), builtin, [], []).
step(1.2246467991473532e-16 is 1.0 * 1.2246467991473532e-16, builtin, [], []).
step(complex_power(i_to_i, [0, 1], [0, 1], [0.20787957635076193, 0.0]),
     rule(13),
     ['Result' = [0.20787957635076193, 0.0]],
     [complex_exponentiation([0, 1], [0, 1], [0.20787957635076193, 0.0])]).
step(complex_exponentiation([0, 1], [0, 1], [0.20787957635076193, 0.0]),
     rule(3),
     ['A' = 0,
      'B' = 1,
      'C' = 0,
      'D' = 1,
      'E' = 0.20787957635076193,
      'F' = 0.0,
      'R' = 1.0,
      'T' = 1.5707963267948966,
      'Z1' = 1.0,
      'Z2' = -1,
      'Z3' = -1.5707963267948966,
      'Euler' = 2.718281828459045,
      'Z4' = 0.20787957635076193,
      'Z5' = 0.0,
      'Z6' = 0.0,
      'Z7' = 0.0,
      'Z8' = 0.0,
      'Z9' = 1.0,
      'Z1z4' = 0.20787957635076193,
      'Z10' = 0.0],
     [complex_polar([0, 1], [1.0, 1.5707963267948966]),
      1.0 is 1.0 ** 0,
      -1 is - (1),
      -1.5707963267948966 is -1 * 1.5707963267948966,
      e(2.718281828459045),
      0.20787957635076193 is 2.718281828459045 ** -1.5707963267948966,
      0.0 is log(1.0),
      0.0 is 1 * 0.0,
      0.0 is 0 * 1.5707963267948966,
      0.0 is 0.0 + 0.0,
      1.0 is cos(0.0),
      0.20787957635076193 is 1.0 * 0.20787957635076193,
      0.20787957635076193 is 0.20787957635076193 * 1.0,
      0.0 is sin(0.0),
      0.0 is 0.20787957635076193 * 0.0]).
step(complex_polar([0, 1], [1.0, 1.5707963267948966]),
     rule(6),
     ['X' = 0,
      'Y' = 1,
      'R' = 1.0,
      'Tp' = 1.5707963267948966,
      'Z1' = 0.0,
      'Z2' = 1.0,
      'Z3' = 1.0,
      'Z4' = 0,
      'Z5' = 0.0,
      'T' = 1.5707963267948966],
     [0.0 is 0 ** 2,
      1.0 is 1 ** 2,
      1.0 is 0.0 + 1.0,
      1.0 is 1.0 ** 0.5,
      0 is abs(0),
      0.0 is 0 / 1.0,
      1.5707963267948966 is acos(0.0),
      complex_dial(0, 1, 1.5707963267948966, 1.5707963267948966)]).
step(1.0 is 1 ** 2, builtin, [], []).
step(1.0 is 0.0 + 1.0, builtin, [], []).
step(0 is abs(0), builtin, [], []).
step(0.0 is 0 / 1.0, builtin, [], []).
step(1.5707963267948966 is acos(0.0), builtin, [], []).
step(complex_dial(0, 1, 1.5707963267948966, 1.5707963267948966),
     rule(7),
     ['X' = 0, 'Y' = 1, 'T' = 1.5707963267948966, 'Tp' = 1.5707963267948966],
     [0 >= 0, 1 >= 0, 1.5707963267948966 is 0 + 1.5707963267948966]).
step(1 >= 0, builtin, [], []).
step(1.5707963267948966 is 0 + 1.5707963267948966, builtin, [], []).
step(1.0 is 1.0 ** 0, builtin, [], []).
step(-1 is - (1), builtin, [], []).
step(-1.5707963267948966 is -1 * 1.5707963267948966, builtin, [], []).
step(0.20787957635076193 is 2.718281828459045 ** -1.5707963267948966, builtin, [], []).
step(0.0 is 1 * 0.0, builtin, [], []).
step(0.0 is 0 * 1.5707963267948966, builtin, [], []).
step(0.0 is 0.0 + 0.0, builtin, [], []).
step(1.0 is cos(0.0), builtin, [], []).
step(0.20787957635076193 is 1.0 * 0.20787957635076193, builtin, [], []).
step(0.20787957635076193 is 0.20787957635076193 * 1.0, builtin, [], []).
step(0.0 is sin(0.0), builtin, [], []).
step(0.0 is 0.20787957635076193 * 0.0, builtin, [], []).
step(complex_power(e_to_minus_pi_over_two, [2.718281828459045, 0], [-1.57079632679, 0], [0.20787957635177984, 0.0]),
     rule(14),
     ['Result' = [0.20787957635177984, 0.0]],
     [complex_exponentiation([2.718281828459045, 0], [-1.57079632679, 0], [0.20787957635177984, 0.0])]).
step(complex_exponentiation([2.718281828459045, 0], [-1.57079632679, 0], [0.20787957635177984, 0.0]),
     rule(3),
     ['A' = 2.718281828459045,
      'B' = 0,
      'C' = -1.57079632679,
      'D' = 0,
      'E' = 0.20787957635177984,
      'F' = 0.0,
      'R' = 2.718281828459045,
      'T' = 0.0,
      'Z1' = 0.20787957635177984,
      'Z2' = 0,
      'Z3' = 0.0,
      'Euler' = 2.718281828459045,
      'Z4' = 1.0,
      'Z5' = 1.0,
      'Z6' = 0.0,
      'Z7' = 0.0,
      'Z8' = 0.0,
      'Z9' = 1.0,
      'Z1z4' = 0.20787957635177984,
      'Z10' = 0.0],
     [complex_polar([2.718281828459045, 0], [2.718281828459045, 0.0]),
      0.20787957635177984 is 2.718281828459045 ** -1.57079632679,
      0 is - (0),
      0.0 is 0 * 0.0,
      e(2.718281828459045),
      1.0 is 2.718281828459045 ** 0.0,
      1.0 is log(2.718281828459045),
      0.0 is 0 * 1.0,
      0.0 is -1.57079632679 * 0.0,
      0.0 is 0.0 + 0.0,
      1.0 is cos(0.0),
      0.20787957635177984 is 0.20787957635177984 * 1.0,
      0.20787957635177984 is 0.20787957635177984 * 1.0,
      0.0 is sin(0.0),
      0.0 is 0.20787957635177984 * 0.0]).
step(0.20787957635177984 is 2.718281828459045 ** -1.57079632679, builtin, [], []).
step(0.0 is 0 * 1.0, builtin, [], []).
step(0.0 is -1.57079632679 * 0.0, builtin, [], []).
step(0.20787957635177984 is 0.20787957635177984 * 1.0, builtin, [], []).
step(0.0 is 0.20787957635177984 * 0.0, builtin, [], []).
step(complex_function(asin, two, [2, 0], [1.5707963267948966, 1.3169578969248166]),
     rule(15),
     ['Result' = [1.5707963267948966, 1.3169578969248166]],
     [complex_asin([2, 0], [1.5707963267948966, 1.3169578969248166])]).
step(complex_asin([2, 0], [1.5707963267948966, 1.3169578969248166]),
     rule(4),
     ['A' = 2,
      'B' = 0,
      'C' = 1.5707963267948966,
      'D' = 1.3169578969248166,
      'Z1' = 3,
      'Z2' = 9.0,
      'Z3' = 0.0,
      'Z4' = 9.0,
      'Z5' = 3.0,
      'Z6' = -1,
      'Z7' = 1.0,
      'Z8' = 1.0,
      'Z9' = 1.0,
      'Z10' = 2.0,
      'E' = 1.0,
      'Z11' = 4.0,
      'F' = 2.0,
      'Z12' = 4.0,
      'Z13' = 3.0,
      'Z14' = 1.7320508075688772,
      'Z15' = 3.732050807568877],
     [3 is 1 + 2,
      9.0 is 3 ** 2,
      0.0 is 0 ** 2,
      9.0 is 9.0 + 0.0,
      3.0 is 9.0 ** 0.5,
      -1 is 1 - 2,
      1.0 is -1 ** 2,
      1.0 is 1.0 + 0.0,
      1.0 is 1.0 ** 0.5,
      2.0 is 3.0 - 1.0,
      1.0 is 2.0 / 2,
      4.0 is 3.0 + 1.0,
      2.0 is 4.0 / 2,
      1.5707963267948966 is asin(1.0),
      4.0 is 2.0 ** 2,
      3.0 is 4.0 - 1,
      1.7320508075688772 is 3.0 ** 0.5,
      3.732050807568877 is 2.0 + 1.7320508075688772,
      1.3169578969248166 is log(3.732050807568877)]).
step(3 is 1 + 2, builtin, [], []).
step(9.0 is 3 ** 2, builtin, [], []).
step(9.0 is 9.0 + 0.0, builtin, [], []).
step(3.0 is 9.0 ** 0.5, builtin, [], []).
step(-1 is 1 - 2, builtin, [], []).
step(2.0 is 3.0 - 1.0, builtin, [], []).
step(1.0 is 2.0 / 2, builtin, [], []).
step(4.0 is 3.0 + 1.0, builtin, [], []).
step(2.0 is 4.0 / 2, builtin, [], []).
step(1.5707963267948966 is asin(1.0), builtin, [], []).
step(4.0 is 2.0 ** 2, builtin, [], []).
step(3.0 is 4.0 - 1, builtin, [], []).
step(1.7320508075688772 is 3.0 ** 0.5, builtin, [], []).
step(3.732050807568877 is 2.0 + 1.7320508075688772, builtin, [], []).
step(1.3169578969248166 is log(3.732050807568877), builtin, [], []).
step(complex_function(acos, two, [2, 0], [0.0, -1.3169578969248166]),
     rule(16),
     ['Result' = [0.0, -1.3169578969248166]],
     [complex_acos([2, 0], [0.0, -1.3169578969248166])]).
step(complex_acos([2, 0], [0.0, -1.3169578969248166]),
     rule(5),
     ['A' = 2,
      'B' = 0,
      'C' = 0.0,
      'D' = -1.3169578969248166,
      'Z1' = 3,
      'Z2' = 9.0,
      'Z3' = 0.0,
      'Z4' = 9.0,
      'Z5' = 3.0,
      'Z6' = -1,
      'Z7' = 1.0,
      'Z8' = 1.0,
      'Z9' = 1.0,
      'Z10' = 2.0,
      'E' = 1.0,
      'Z11' = 4.0,
      'F' = 2.0,
      'Z12' = 4.0,
      'Z13' = 3.0,
      'Z14' = 1.7320508075688772,
      'Z15' = 3.732050807568877,
      'U' = 1.3169578969248166],
     [3 is 1 + 2,
      9.0 is 3 ** 2,
      0.0 is 0 ** 2,
      9.0 is 9.0 + 0.0,
      3.0 is 9.0 ** 0.5,
      -1 is 1 - 2,
      1.0 is -1 ** 2,
      1.0 is 1.0 + 0.0,
      1.0 is 1.0 ** 0.5,
      2.0 is 3.0 - 1.0,
      1.0 is 2.0 / 2,
      4.0 is 3.0 + 1.0,
      2.0 is 4.0 / 2,
      0.0 is acos(1.0),
      4.0 is 2.0 ** 2,
      3.0 is 4.0 - 1,
      1.7320508075688772 is 3.0 ** 0.5,
      3.732050807568877 is 2.0 + 1.7320508075688772,
      1.3169578969248166 is log(3.732050807568877),
      -1.3169578969248166 is - (1.3169578969248166)]).
step(-1.3169578969248166 is - (1.3169578969248166), builtin, [], []).