package float32

file_number 0 "/inputs/subtree/xls/dslx/stdlib/std.x"
file_number 1 "/inputs/subtree/xls/dslx/stdlib/abs_diff.x"
file_number 2 "/inputs/subtree/xls/dslx/stdlib/apfloat.x"
file_number 3 "/inputs/subtree/xls/dslx/stdlib/float32.x"

top fn __float32__add(x: (bits[1], bits[8], bits[23]) id=835, y: (bits[1], bits[8], bits[23]) id=836) -> (bits[1], bits[8], bits[23]) {
  y_bexp__1: bits[8] = tuple_index(y, index=1, id=27425, pos=[(2,3091,67), (3,363,48)])
  literal.27426: bits[1] = literal(value=0, id=27426, pos=[(1,91,63), (2,3009,44), (2,3091,57), (3,363,48)])
  x_bexp__1: bits[8] = tuple_index(x, index=1, id=27427, pos=[(2,3091,59), (3,363,48)])
  y_bexpnot: bits[8] = not(y_bexp__1, id=27428, pos=[(1,90,15), (2,3009,44), (2,3091,57), (3,363,48)])
  x_bexp_extended__1: bits[9] = concat(literal.27426, x_bexp__1, id=27429, pos=[(1,91,63), (2,3009,44), (2,3091,57), (3,363,48)])
  y_bexpnot_extended: bits[9] = concat(literal.27426, y_bexpnot, id=27430, pos=[(1,91,63), (2,3009,44), (2,3091,57), (3,363,48)])
  full_result: bits[9] = add(x_bexp_extended__1, y_bexpnot_extended, id=27431, pos=[(0,1114,45), (1,91,63), (2,3009,44), (2,3091,57), (3,363,48)])
  overflow_detected: bits[1] = bit_slice(full_result, start=8, width=1, id=27432, pos=[(0,1116,49), (1,91,63), (2,3009,44), (2,3091,57), (3,363,48)])
  tuple_index.27434: bits[23] = tuple_index(y, index=2, id=27434, pos=[(2,3092,17), (3,363,48)])
  tuple_index.27435: bits[23] = tuple_index(x, index=2, id=27435, pos=[(2,3092,17), (3,363,48)])
  x_bexp: bits[8] = sel(overflow_detected, cases=[y_bexp__1, x_bexp__1], id=27852, pos=[(2,3092,17), (3,363,48)])
  literal.27437: bits[8] = literal(value=0, id=27437, pos=[(2,3099,34), (3,363,48)])
  y_bexp: bits[8] = sel(overflow_detected, cases=[x_bexp__1, y_bexp__1], id=27850, pos=[(2,3092,17), (3,363,48)])
  literal.27438: bits[1] = literal(value=1, id=27438, pos=[(2,3095,22), (3,363,48)])
  x_fraction: bits[23] = sel(overflow_detected, cases=[tuple_index.27434, tuple_index.27435], id=27853, pos=[(2,3092,17), (3,363,48)])
  ne.28245: bits[1] = ne(x_bexp, literal.27437, id=28245, pos=[(2,3099,21), (3,363,48)])
  y_fraction: bits[23] = sel(overflow_detected, cases=[tuple_index.27435, tuple_index.27434], id=27851, pos=[(2,3092,17), (3,363,48)])
  ne.28244: bits[1] = ne(y_bexp, literal.27437, id=28244, pos=[(2,3100,21), (3,363,48)])
  nc: bits[1] = not(overflow_detected, id=27433, pos=[(1,92,19), (2,3009,44), (2,3091,57), (3,363,48)])
  fraction_x: bits[24] = concat(literal.27438, x_fraction, id=27459, pos=[(2,3095,22), (3,363,48)])
  sign_ext.27979: bits[24] = sign_ext(ne.28245, new_bit_count=24, id=27979, pos=[(2,3099,21), (3,363,48)])
  fraction_y: bits[24] = concat(literal.27438, y_fraction, id=27441, pos=[(2,3096,22), (3,363,48)])
  sign_ext.27982: bits[24] = sign_ext(ne.28244, new_bit_count=24, id=27982, pos=[(2,3100,21), (3,363,48)])
  narrowed_result: bits[8] = bit_slice(full_result, start=0, width=8, id=27446, pos=[(1,91,63), (2,3009,44), (2,3091,57), (3,363,48)])
  x_bexpor_mask: bits[8] = sign_ext(nc, new_bit_count=8, id=27447, pos=[(1,94,32), (2,3009,44), (2,3091,57), (3,363,48)])
  literal.27448: bits[7] = literal(value=0, id=27448, pos=[(2,3010,68), (2,3091,57), (3,363,48)])
  tuple_index.27467: bits[1] = tuple_index(y, index=0, id=27467, pos=[(2,3092,17), (3,363,48)])
  tuple_index.27466: bits[1] = tuple_index(x, index=0, id=27466, pos=[(2,3092,17), (3,363,48)])
  fraction_x__1: bits[24] = and(fraction_x, sign_ext.27979, id=27980, pos=[(2,3099,21), (3,363,48)])
  fraction_y__1: bits[24] = and(fraction_y, sign_ext.27982, id=27983, pos=[(2,3100,21), (3,363,48)])
  xddend_x__1_squeezed_const_lsb_bits: bits[3] = literal(value=0, id=27444, pos=[(2,3104,17), (3,363,48)])
  result: bits[8] = xor(narrowed_result, x_bexpor_mask, id=27450, pos=[(1,95,18), (2,3009,44), (2,3091,57), (3,363,48)])
  concat.27451: bits[8] = concat(literal.27448, overflow_detected, id=27451, pos=[(2,3010,68), (2,3091,57), (3,363,48)])
  x_sign: bits[1] = sel(overflow_detected, cases=[tuple_index.27467, tuple_index.27466], id=27854, pos=[(2,3092,17), (3,363,48)])
  y_sign: bits[1] = sel(overflow_detected, cases=[tuple_index.27466, tuple_index.27467], id=27855, pos=[(2,3092,17), (3,363,48)])
  wide_x_squeezed: bits[25] = concat(literal.27426, fraction_x__1, id=27468, pos=[(2,3103,17), (3,363,48)])
  wide_y_shift_bits: bits[27] = concat(fraction_y__1, xddend_x__1_squeezed_const_lsb_bits, id=27463, pos=[(2,3116,31), (3,363,48)])
  shift: bits[8] = add(result, concat.27451, id=27457, pos=[(1,54,7), (2,3010,68), (2,3091,57), (3,363,48)])
  literal.27456: bits[28] = literal(value=268435455, id=27456, pos=[(0,1406,19), (0,1496,17), (0,1523,22), (2,3115,35), (3,363,48)])
  xor.27476: bits[1] = xor(x_sign, y_sign, id=27476, pos=[(2,3110,23), (3,363,48)])
  neg.27473: bits[25] = neg(wide_x_squeezed, id=27473, pos=[(2,3110,41), (3,363,48)])
  shrl.27469: bits[27] = shrl(wide_y_shift_bits, shift, id=27469, pos=[(2,3116,31), (3,363,48)])
  not.28326: bits[23] = not(y_fraction, id=28326, pos=[(0,1406,4), (0,1496,17), (0,1523,22), (2,3115,35), (3,363,48)])
  shll.27461: bits[28] = shll(literal.27456, shift, id=27461, pos=[(0,1406,19), (0,1496,17), (0,1523,22), (2,3115,35), (3,363,48)])
  xddend_x__1_squeezed: bits[25] = sel(xor.27476, cases=[wide_x_squeezed, neg.27473], id=27986, pos=[(2,3110,19), (3,363,48)])
  literal.27863: bits[2] = literal(value=0, id=27863, pos=[(3,363,48)])
  bit_slice.28318: bits[24] = bit_slice(shrl.27469, start=3, width=24, id=28318, pos=[(2,3120,20), (3,363,48)])
  concat.28329: bits[24] = concat(literal.27426, not.28326, id=28329, pos=[(0,1406,4), (0,1496,17), (0,1523,22), (2,3115,35), (3,363,48)])
  not.28248: bits[24] = not(sign_ext.27982, id=28248, pos=[(0,1406,4), (0,1496,17), (0,1523,22), (2,3115,35), (3,363,48)])
  bit_slice.27465: bits[24] = bit_slice(shll.27461, start=3, width=24, id=27465, pos=[(0,1406,19), (0,1496,17), (0,1523,22), (2,3115,35), (3,363,48)])
  sign_ext.28295: bits[26] = sign_ext(xddend_x__1_squeezed, new_bit_count=26, id=28295, pos=[(2,3120,20), (3,363,48)])
  concat.28297: bits[26] = concat(literal.27863, bit_slice.28318, id=28297, pos=[(2,3120,20), (3,363,48)])
  nor.28249: bits[24] = nor(concat.28329, not.28248, bit_slice.27465, id=28249, pos=[(0,1406,4), (0,1496,17), (0,1523,22), (2,3115,35), (3,363,48)])
  literal.27442: bits[24] = literal(value=0, id=27442, pos=[(2,3099,49), (3,363,48)])
  add.28229: bits[26] = add(sign_ext.28295, concat.28297, id=28229, pos=[(2,3120,20), (3,363,48)])
  bit_slice.27474: bits[1] = bit_slice(shrl.27469, start=0, width=1, id=27474, pos=[(2,3053,40), (2,3116,30), (3,363,48)])
  sticky: bits[1] = ne(nor.28249, literal.27442, id=27475, pos=[(0,1496,17), (0,1523,22), (2,3115,35), (3,363,48)])
  bit_slice.28288: bits[25] = bit_slice(add.28229, start=0, width=25, id=28288, pos=[(2,3120,20), (3,363,48)])
  bit_slice.28319: bits[2] = bit_slice(shrl.27469, start=1, width=2, id=28319, pos=[(2,3120,20), (3,363,48)])
  or.27480: bits[1] = or(bit_slice.27474, sticky, id=27480, pos=[(2,3053,40), (2,3116,30), (3,363,48)])
  concat.28324: bits[28] = concat(bit_slice.28288, bit_slice.28319, or.27480, id=28324, pos=[(2,3120,20), (3,363,48)])
  bit_slice.28290: bits[1] = bit_slice(add.28229, start=25, width=1, id=28290, pos=[(2,3130,12), (3,363,48)])
  neg.27488: bits[28] = neg(concat.28324, id=27488, pos=[(2,3130,46), (3,363,48)])
  xbs_fraction: bits[28] = sel(bit_slice.28290, cases=[concat.28324, neg.27488], id=27489, pos=[(2,3130,9), (3,363,48)])
  bit_slice.27577: bits[1] = bit_slice(xbs_fraction, start=4, width=1, id=27577, pos=[(0,1585,70), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  bit_slice.27553: bits[1] = bit_slice(xbs_fraction, start=6, width=1, id=27553, pos=[(0,1585,70), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  bit_slice.27550: bits[1] = bit_slice(xbs_fraction, start=11, width=1, id=27550, pos=[(0,1585,40), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  bit_slice.27528: bits[1] = bit_slice(xbs_fraction, start=10, width=1, id=27528, pos=[(0,1585,70), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  bit_slice.27573: bits[1] = bit_slice(xbs_fraction, start=9, width=1, id=27573, pos=[(0,1585,40), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  bit_slice.27552: bits[1] = bit_slice(xbs_fraction, start=8, width=1, id=27552, pos=[(0,1585,70), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  bit_slice.27527: bits[1] = bit_slice(xbs_fraction, start=12, width=1, id=27527, pos=[(0,1585,70), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  bit_slice.27507: bits[1] = bit_slice(xbs_fraction, start=14, width=1, id=27507, pos=[(0,1585,70), (0,1590,34), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  bit_slice.27504: bits[1] = bit_slice(xbs_fraction, start=19, width=1, id=27504, pos=[(0,1585,40), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  bit_slice.27495: bits[1] = bit_slice(xbs_fraction, start=18, width=1, id=27495, pos=[(0,1585,70), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  bit_slice.27523: bits[1] = bit_slice(xbs_fraction, start=17, width=1, id=27523, pos=[(0,1585,40), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  bit_slice.27506: bits[1] = bit_slice(xbs_fraction, start=16, width=1, id=27506, pos=[(0,1585,70), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  carry_bit: bits[1] = bit_slice(xbs_fraction, start=27, width=1, id=27491, pos=[(0,1585,40), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  bit_slice.27490: bits[1] = bit_slice(xbs_fraction, start=26, width=1, id=27490, pos=[(0,1585,70), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  bit_slice.27499: bits[1] = bit_slice(xbs_fraction, start=25, width=1, id=27499, pos=[(0,1585,40), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  bit_slice.27493: bits[1] = bit_slice(xbs_fraction, start=24, width=1, id=27493, pos=[(0,1585,70), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  bit_slice.27503: bits[1] = bit_slice(xbs_fraction, start=20, width=1, id=27503, pos=[(0,1585,70), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  bit_slice.27494: bits[1] = bit_slice(xbs_fraction, start=22, width=1, id=27494, pos=[(0,1585,70), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  bit_slice.27575: bits[1] = bit_slice(xbs_fraction, start=7, width=1, id=27575, pos=[(0,1585,40), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  bit_slice.27597: bits[1] = bit_slice(xbs_fraction, start=5, width=1, id=27597, pos=[(0,1585,40), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  not.27598: bits[1] = not(bit_slice.27577, id=27598, pos=[(0,1578,4), (0,1585,64), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  not.28418: bits[1] = not(bit_slice.27553, id=28418, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  or.27940: bits[1] = or(bit_slice.27550, bit_slice.27528, id=27940, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27592: bits[1] = nor(bit_slice.27573, bit_slice.27552, id=27592, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27571: bits[1] = nor(bit_slice.27550, bit_slice.27528, id=27571, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  not.28422: bits[1] = not(bit_slice.27528, id=28422, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  not.27574: bits[1] = not(bit_slice.27552, id=27574, pos=[(0,1578,4), (0,1585,64), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  bit_slice.27525: bits[1] = bit_slice(xbs_fraction, start=15, width=1, id=27525, pos=[(0,1585,40), (0,1590,34), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  bit_slice.27548: bits[1] = bit_slice(xbs_fraction, start=13, width=1, id=27548, pos=[(0,1585,40), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  not.27549: bits[1] = not(bit_slice.27527, id=27549, pos=[(0,1578,4), (0,1585,64), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  not.27526: bits[1] = not(bit_slice.27507, id=27526, pos=[(0,1578,4), (0,1585,64), (0,1590,34), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  or.27942: bits[1] = or(bit_slice.27504, bit_slice.27495, id=27942, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27543: bits[1] = nor(bit_slice.27523, bit_slice.27506, id=27543, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27521: bits[1] = nor(bit_slice.27504, bit_slice.27495, id=27521, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  not.27524: bits[1] = not(bit_slice.27506, id=27524, pos=[(0,1578,4), (0,1585,64), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  not.28425: bits[1] = not(bit_slice.27495, id=28425, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27497: bits[1] = nor(carry_bit, bit_slice.27490, id=27497, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27513: bits[1] = nor(bit_slice.27499, bit_slice.27493, id=27513, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  bit_slice.27501: bits[1] = bit_slice(xbs_fraction, start=23, width=1, id=27501, pos=[(0,1585,40), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  bit_slice.27518: bits[1] = bit_slice(xbs_fraction, start=21, width=1, id=27518, pos=[(0,1585,40), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  or.27943: bits[1] = or(carry_bit, bit_slice.27490, id=27943, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  not.28429: bits[1] = not(bit_slice.27490, id=28429, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  not.27500: bits[1] = not(bit_slice.27493, id=27500, pos=[(0,1578,4), (0,1585,64), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  not.27519: bits[1] = not(bit_slice.27503, id=27519, pos=[(0,1578,4), (0,1585,64), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  not.27502: bits[1] = not(bit_slice.27494, id=27502, pos=[(0,1578,4), (0,1585,64), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  bit_slice.27619: bits[1] = bit_slice(xbs_fraction, start=3, width=1, id=27619, pos=[(0,1585,40), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  bit_slice.27599: bits[1] = bit_slice(xbs_fraction, start=2, width=1, id=27599, pos=[(0,1585,70), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  bit_slice.27643: bits[1] = bit_slice(xbs_fraction, start=1, width=1, id=27643, pos=[(0,1585,40), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  bit_slice.27621: bits[1] = bit_slice(xbs_fraction, start=0, width=1, id=27621, pos=[(0,1585,70), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  or.27939: bits[1] = or(bit_slice.27575, bit_slice.27553, id=27939, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27617: bits[1] = nor(bit_slice.27597, bit_slice.27577, id=27617, pos=[(0,1585,22), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27616: bits[1] = nor(bit_slice.27597, not.27598, id=27616, pos=[(0,1585,22), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.28416: bits[1] = nor(bit_slice.27575, bit_slice.27553, id=28416, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.28419: bits[1] = nor(bit_slice.27575, not.28418, id=28419, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27674: bits[1] = nor(or.27940, nor.27592, id=27674, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  and.27675: bits[1] = and(nor.27571, nor.27592, id=27675, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.28423: bits[1] = nor(bit_slice.27550, not.28422, id=28423, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27591: bits[1] = nor(bit_slice.27573, not.27574, id=27591, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  or.27941: bits[1] = or(bit_slice.27525, bit_slice.27507, id=27941, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27568: bits[1] = nor(bit_slice.27548, bit_slice.27527, id=27568, pos=[(0,1585,22), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27567: bits[1] = nor(bit_slice.27548, not.27549, id=27567, pos=[(0,1585,22), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27545: bits[1] = nor(bit_slice.27525, not.27526, id=27545, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27629: bits[1] = nor(or.27942, nor.27543, id=27629, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  and.27630: bits[1] = and(nor.27521, nor.27543, id=27630, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27542: bits[1] = nor(bit_slice.27523, not.27524, id=27542, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.28426: bits[1] = nor(bit_slice.27504, not.28425, id=28426, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  and.27601: bits[1] = and(nor.27497, nor.27513, id=27601, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27516: bits[1] = nor(bit_slice.27501, bit_slice.27494, id=27516, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27537: bits[1] = nor(bit_slice.27518, bit_slice.27503, id=27537, pos=[(0,1585,22), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27600: bits[1] = nor(or.27943, nor.27513, id=27600, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.28430: bits[1] = nor(carry_bit, not.28429, id=28430, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27512: bits[1] = nor(bit_slice.27499, not.27500, id=27512, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  or.27944: bits[1] = or(bit_slice.27501, bit_slice.27494, id=27944, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27536: bits[1] = nor(bit_slice.27518, not.27519, id=27536, pos=[(0,1585,22), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27515: bits[1] = nor(bit_slice.27501, not.27502, id=27515, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  or.27938: bits[1] = or(bit_slice.27619, bit_slice.27599, id=27938, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27665: bits[1] = nor(bit_slice.27643, bit_slice.27621, id=27665, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27641: bits[1] = nor(bit_slice.27619, bit_slice.27599, id=27641, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  not.27644: bits[1] = not(bit_slice.27621, id=27644, pos=[(0,1578,4), (0,1585,64), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  not.28414: bits[1] = not(bit_slice.27599, id=28414, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27691: bits[1] = nor(or.27939, nor.27617, id=27691, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.27928: bits[2] = concat(literal.27438, nor.27616, id=27928, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.28052: bits[2] = concat(nor.28416, nor.28419, id=28052, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.27687: bits[2] = concat(nor.27674, and.27675, id=27687, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.28225: bits[2] = concat(nor.28423, literal.27426, id=28225, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.28200: bits[2] = concat(literal.27438, nor.27591, id=28200, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.28043: bits[2] = concat(nor.27571, nor.28423, id=28043, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27546: bits[1] = nor(bit_slice.27525, bit_slice.27507, id=27546, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27654: bits[1] = nor(or.27941, nor.27568, id=27654, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.27923: bits[2] = concat(literal.27438, nor.27567, id=27923, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.28439: bits[2] = concat(literal.27426, nor.27545, id=28439, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.27650: bits[2] = concat(nor.27629, and.27630, id=27650, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.28195: bits[2] = concat(literal.27438, nor.27542, id=28195, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.28034: bits[2] = concat(nor.27521, nor.28426, id=28034, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  not.27683: bits[1] = not(and.27601, id=27683, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  and.27627: bits[1] = and(nor.27516, nor.27537, id=27627, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.27622: bits[2] = concat(nor.27600, and.27601, id=27622, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.28224: bits[2] = concat(nor.28430, literal.27426, id=28224, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.28190: bits[2] = concat(literal.27438, nor.27512, id=28190, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.28025: bits[2] = concat(literal.27426, nor.28430, id=28025, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27626: bits[1] = nor(or.27944, nor.27537, id=27626, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.27920: bits[2] = concat(literal.27438, nor.27536, id=27920, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.28440: bits[2] = concat(literal.27426, nor.27515, id=28440, pos=[(0,1585,22), (0,1590,34), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27717: bits[1] = nor(or.27938, nor.27665, id=27717, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  and.27718: bits[1] = and(nor.27641, nor.27665, id=27718, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27664: bits[1] = nor(bit_slice.27643, not.27644, id=27664, pos=[(0,1585,22), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.28415: bits[1] = nor(bit_slice.27619, not.28414, id=28415, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  not.27725: bits[1] = not(and.27675, id=27725, pos=[(0,1595,22), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  and.27692: bits[1] = and(nor.28416, nor.27617, id=27692, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  priority_sel.27949: bits[2] = priority_sel(nor.27691, cases=[concat.27928], default=concat.28052, id=27949, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  priority_sel.28083: bits[2] = priority_sel(concat.27687, cases=[concat.28225, concat.28200], default=concat.28043, id=28083, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  not.27699: bits[1] = not(and.27630, id=27699, pos=[(0,1595,22), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  and.27655: bits[1] = and(nor.27546, nor.27568, id=27655, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  priority_sel.27904: bits[2] = priority_sel(nor.27654, cases=[concat.27923], default=concat.28439, id=27904, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  priority_sel.28065: bits[2] = priority_sel(concat.27650, cases=[literal.27863, concat.28195], default=concat.28034, id=28065, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27696: bits[1] = nor(not.27683, and.27627, id=27696, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  and.27697: bits[1] = and(and.27601, and.27627, id=27697, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  priority_sel.28056: bits[2] = priority_sel(concat.27622, cases=[concat.28224, concat.28190], default=concat.28025, id=28056, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  priority_sel.27901: bits[2] = priority_sel(nor.27626, cases=[concat.27920], default=concat.28440, id=27901, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.27727: bits[2] = concat(nor.27717, and.27718, id=27727, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.28212: bits[2] = concat(literal.27438, nor.27664, id=28212, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.28079: bits[2] = concat(nor.27641, nor.28415, id=28079, pos=[(0,1585,22), (0,1590,34), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27733: bits[1] = nor(not.27725, and.27692, id=27733, pos=[(0,1595,22), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.28179: bits[3] = concat(literal.27438, priority_sel.27949, id=28179, pos=[(0,1535,24), (0,1595,22), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.28088: bits[3] = concat(and.27675, priority_sel.28083, id=28088, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27712: bits[1] = nor(not.27699, and.27655, id=27712, pos=[(0,1595,22), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.27931: bits[3] = concat(literal.27438, priority_sel.27904, id=27931, pos=[(0,1595,22), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.28070: bits[3] = concat(and.27630, priority_sel.28065, id=28070, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.27708: bits[2] = concat(nor.27696, and.27697, id=27708, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.28226: bits[3] = concat(priority_sel.28056, literal.27426, id=28226, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.28207: bits[3] = concat(literal.27438, priority_sel.27901, id=28207, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.28061: bits[3] = concat(literal.27426, priority_sel.28056, id=28061, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  priority_sel.28101: bits[2] = priority_sel(concat.27727, cases=[literal.27863, concat.28212], default=concat.28079, id=28101, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  priority_sel.27996: bits[3] = priority_sel(nor.27733, cases=[concat.28179], default=concat.28088, id=27996, pos=[(0,1595,22), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  not.27737: bits[1] = not(and.27697, id=27737, pos=[(0,1600,22), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  and.27713: bits[1] = and(and.27630, and.27655, id=27713, pos=[(0,1595,22), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  priority_sel.27951: bits[3] = priority_sel(nor.27712, cases=[concat.27931], default=concat.28070, id=27951, pos=[(0,1595,22), (0,1600,64), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  priority_sel.28092: bits[3] = priority_sel(concat.27708, cases=[concat.28226, concat.28207], default=concat.28061, id=28092, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  and.27734: bits[1] = and(and.27675, and.27692, id=27734, pos=[(0,1595,22), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.28220: bits[4] = concat(literal.27438, and.27718, priority_sel.28101, id=28220, pos=[(0,1600,22), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.28222: bits[4] = concat(literal.27426, priority_sel.27996, id=28222, pos=[(0,1595,22), (0,1600,34), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  nor.27745: bits[1] = nor(not.27737, and.27713, id=27745, pos=[(0,1600,22), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.28182: bits[4] = concat(literal.27438, priority_sel.27951, id=28182, pos=[(0,1535,24), (0,1600,22), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.28097: bits[4] = concat(and.27697, priority_sel.28092, id=28097, pos=[(0,1595,22), (0,1600,34), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  priority_sel.27757: bits[4] = priority_sel(and.27734, cases=[concat.28220], default=concat.28222, id=27757, pos=[(0,1600,22), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  priority_sel.28002: bits[4] = priority_sel(nor.27745, cases=[concat.28182], default=concat.28097, id=28002, pos=[(0,1600,22), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  and.27746: bits[1] = and(and.27697, and.27713, id=27746, pos=[(0,1600,22), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.27759: bits[5] = concat(literal.27438, priority_sel.27757, id=27759, pos=[(0,1605,22), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.28223: bits[5] = concat(literal.27426, priority_sel.28002, id=28223, pos=[(0,1600,22), (0,1605,35), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  concat.27760: bits[29] = concat(literal.27426, xbs_fraction, id=27760, pos=[(3,363,48)])
  leading_zeroes: bits[5] = priority_sel(and.27746, cases=[concat.27759], default=concat.28223, id=27761, pos=[(0,1605,22), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  cancel_fraction: bits[29] = shll(concat.27760, leading_zeroes, id=27762, pos=[(2,3144,26), (3,363,48)])
  bit_slice.27763: bits[26] = bit_slice(xbs_fraction, start=2, width=26, id=27763, pos=[(2,3053,20), (2,3137,36), (3,363,48)])
  or.27764: bits[1] = or(bit_slice.27643, bit_slice.27621, id=27764, pos=[(2,3053,40), (2,3137,36), (3,363,48)])
  cancel_fraction__1: bits[27] = bit_slice(cancel_fraction, start=1, width=27, id=27765, pos=[(3,363,48)])
  carry_fraction__1: bits[27] = concat(bit_slice.27763, or.27764, id=27766, pos=[(2,3053,20), (2,3137,36), (3,363,48)])
  shifted_fraction: bits[27] = sel(carry_bit, cases=[cancel_fraction__1, carry_fraction__1], id=27767, pos=[(2,3146,27), (3,363,48)])
  normal_chunk: bits[3] = bit_slice(shifted_fraction, start=0, width=3, id=27768, pos=[(2,3158,39), (3,363,48)])
  fraction_shift__3: bits[3] = literal(value=4, id=27873, pos=[(0,1534,24), (0,1590,22), (0,1595,34), (0,1600,64), (0,1605,66), (0,1638,30), (0,1702,13), (2,3141,34), (3,363,48)])
  half_way_chunk: bits[2] = bit_slice(shifted_fraction, start=2, width=2, id=27769, pos=[(2,3159,41), (3,363,48)])
  literal.27770: bits[2] = literal(value=3, id=27770, pos=[(2,3160,68), (3,363,48)])
  ugt.27771: bits[1] = ugt(normal_chunk, fraction_shift__3, id=27771, pos=[(2,3160,23), (3,363,48)])
  eq.27772: bits[1] = eq(half_way_chunk, literal.27770, id=27772, pos=[(2,3160,50), (3,363,48)])
  bit_slice.28300: bits[24] = bit_slice(shifted_fraction, start=3, width=24, id=28300)
  do_round_up: bits[1] = or(ugt.27771, eq.27772, id=27775, pos=[(2,3160,23), (3,363,48)])
  concat.28301: bits[25] = concat(literal.27426, bit_slice.28300, id=28301)
  concat.28441: bits[25] = concat(literal.27442, do_round_up, id=28441)
  add.28241: bits[25] = add(concat.28301, concat.28441, id=28241)
  literal.27778: bits[5] = literal(value=0, id=27778, pos=[(3,363,48)])
  rounding_carry: bits[1] = bit_slice(add.28241, start=24, width=1, id=28292, pos=[(2,3168,41), (3,363,48)])
  literal.28388: bits[26] = literal(value=0, id=28388, pos=[(2,3121,39), (3,363,48)])
  bit_slice.28437: bits[1] = bit_slice(shrl.27469, start=1, width=1, id=28437, pos=[(2,3121,27), (3,363,48)])
  bit_slice.28438: bits[1] = bit_slice(shrl.27469, start=2, width=1, id=28438, pos=[(2,3121,27), (3,363,48)])
  concat.27780: bits[9] = concat(literal.27426, x_bexp, id=27780, pos=[(3,363,48)])
  literal.27781: bits[9] = literal(value=1, id=27781, pos=[(2,3180,24), (3,363,48)])
  concat.28320: bits[6] = concat(literal.27778, rounding_carry, id=28320, pos=[(3,363,48)])
  concat.27783: bits[6] = concat(literal.27426, leading_zeroes, id=27783, pos=[(3,363,48)])
  eq.28356: bits[1] = eq(add.28229, literal.28388, id=28356, pos=[(2,3121,27), (3,363,48)])
  nor.28411: bits[1] = nor(bit_slice.28437, bit_slice.28438, id=28411, pos=[(2,3121,27), (3,363,48)])
  nor.28412: bits[1] = nor(bit_slice.27474, sticky, id=28412, pos=[(2,3121,27), (3,363,48)])
  add.27784: bits[9] = add(concat.27780, literal.27781, id=27784, pos=[(2,3179,26), (3,363,48)])
  sub.27785: bits[6] = sub(concat.28320, concat.27783, id=27785, pos=[(2,3179,26), (3,363,48)])
  fraction_is_zero: bits[1] = and(eq.28356, nor.28411, nor.28412, id=28410, pos=[(2,3121,27), (3,363,48)])
  wide_exponent_associative_element: bits[10] = concat(literal.27426, add.27784, id=27787, pos=[(2,3179,26), (3,363,48)])
  wide_exponent_associative_element__1: bits[10] = sign_ext(sub.27785, new_bit_count=10, id=27788, pos=[(2,3179,26), (3,363,48)])
  not.28008: bits[1] = not(fraction_is_zero, id=28008, pos=[(2,3181,24), (3,363,48)])
  wide_exponent: bits[10] = add(wide_exponent_associative_element, wide_exponent_associative_element__1, id=27790, pos=[(2,3179,26), (3,363,48)])
  sign_ext.28009: bits[10] = sign_ext(not.28008, new_bit_count=10, id=28009, pos=[(2,3181,24), (3,363,48)])
  wide_exponent__1: bits[10] = and(wide_exponent, sign_ext.28009, id=28010, pos=[(2,3181,24), (3,363,48)])
  bit_slice.27799: bits[1] = bit_slice(wide_exponent__1, start=9, width=1, id=27799, pos=[(2,3184,27), (3,363,48)])
  not.28011: bits[1] = not(bit_slice.27799, id=28011, pos=[(2,3184,24), (3,363,48)])
  bit_slice.27800: bits[9] = bit_slice(wide_exponent__1, start=0, width=9, id=27800, pos=[(3,363,48)])
  sign_ext.28012: bits[9] = sign_ext(not.28011, new_bit_count=9, id=28012, pos=[(2,3184,24), (3,363,48)])
  MAX_EXPONENT: bits[8] = literal(value=255, id=27792, pos=[(2,96,29), (2,3209,29), (3,363,48)])
  literal.27793: bits[23] = literal(value=0, id=27793, pos=[(2,96,57), (2,3209,29), (3,363,48)])
  wide_exponent__2: bits[9] = and(bit_slice.27800, sign_ext.28012, id=28013, pos=[(2,3184,24), (3,363,48)])
  eq.27795: bits[1] = eq(x_bexp, MAX_EXPONENT, id=27795, pos=[(2,96,6), (2,3209,29), (3,363,48)])
  eq.27796: bits[1] = eq(x_fraction, literal.27793, id=27796, pos=[(2,96,44), (2,3209,29), (3,363,48)])
  eq.27797: bits[1] = eq(y_bexp, MAX_EXPONENT, id=27797, pos=[(2,96,6), (2,3210,29), (3,363,48)])
  eq.27798: bits[1] = eq(y_fraction, literal.27793, id=27798, pos=[(2,96,44), (2,3210,29), (3,363,48)])
  bit_slice.27812: bits[8] = bit_slice(wide_exponent__2, start=1, width=8, id=27812, pos=[(2,3194,11), (3,363,48)])
  not.27802: bits[1] = not(eq.27795, id=27802, pos=[(2,3209,29), (3,363,48)])
  not.27803: bits[1] = not(eq.27796, id=27803, pos=[(2,3209,29), (3,363,48)])
  not.27804: bits[1] = not(eq.27797, id=27804, pos=[(2,3210,29), (3,363,48)])
  not.27805: bits[1] = not(eq.27798, id=27805, pos=[(2,3210,29), (3,363,48)])
  and.27819: bits[1] = and(eq.27795, eq.27796, id=27819, pos=[(2,96,6), (2,3209,29), (3,363,48)])
  and.27820: bits[1] = and(eq.27797, eq.27798, id=27820, pos=[(2,96,6), (2,3210,29), (3,363,48)])
  bit_slice.27821: bits[8] = bit_slice(wide_exponent__2, start=0, width=8, id=27821, pos=[(2,3202,11), (3,363,48)])
  or_reduce.27822: bits[1] = or_reduce(bit_slice.27812, id=27822, pos=[(2,3194,11), (3,363,48)])
  bit_slice.27823: bits[1] = bit_slice(wide_exponent__2, start=0, width=1, id=27823, pos=[(2,3194,11), (3,363,48)])
  nor.27807: bits[1] = nor(not.27802, not.27803, x_sign, id=27807, pos=[(2,3209,29), (3,363,48)])
  nor.27808: bits[1] = nor(not.27804, not.27805, y_sign, id=27808, pos=[(2,3210,29), (3,363,48)])
  and.27809: bits[1] = and(eq.27795, eq.27796, x_sign, id=27809, pos=[(2,3215,29), (3,363,48)])
  and.27810: bits[1] = and(eq.27797, eq.27798, y_sign, id=27810, pos=[(2,3216,29), (3,363,48)])
  fraction_shift__2: bits[3] = literal(value=3, id=27813, pos=[(2,3174,8), (3,363,48)])
  is_operand_inf: bits[1] = or(and.27819, and.27820, id=27831, pos=[(2,3205,31), (3,363,48)])
  bit_slice.27832: bits[1] = bit_slice(wide_exponent__2, start=8, width=1, id=27832, pos=[(2,3202,11), (3,363,48)])
  and_reduce.27833: bits[1] = and_reduce(bit_slice.27821, id=27833, pos=[(2,3202,11), (3,363,48)])
  nor.27834: bits[1] = nor(or_reduce.27822, bit_slice.27823, id=27834, pos=[(2,3194,11), (3,363,48)])
  has_pos_inf: bits[1] = or(nor.27807, nor.27808, id=27816, pos=[(2,3209,29), (3,363,48)])
  has_neg_inf: bits[1] = or(and.27809, and.27810, id=27817, pos=[(2,3215,29), (3,363,48)])
  rounded_fraction: bits[28] = concat(add.28241, normal_chunk, id=28323)
  fraction_shift__1: bits[3] = sel(rounding_carry, cases=[fraction_shift__2, fraction_shift__3], id=27824, pos=[(2,3174,8), (3,363,48)])
  or.27839: bits[1] = or(is_operand_inf, bit_slice.27832, and_reduce.27833, nor.27834, id=27839, pos=[(2,3207,26), (3,363,48)])
  nor.27866: bits[1] = nor(not.27802, eq.27796, id=27866, pos=[(2,71,6), (2,3217,30), (3,363,48)])
  nor.27868: bits[1] = nor(not.27804, eq.27798, id=27868, pos=[(2,71,6), (2,3217,64), (3,363,48)])
  and.27827: bits[1] = and(has_pos_inf, has_neg_inf, id=27827, pos=[(2,3218,25), (3,363,48)])
  concat.28321: bits[2] = concat(bit_slice.28290, fraction_is_zero, id=28321, pos=[(3,363,48)])
  and.27829: bits[1] = and(x_sign, y_sign, id=27829, pos=[(2,3123,22), (3,363,48)])
  not.27830: bits[1] = not(y_sign, id=27830, pos=[(2,3210,59), (3,363,48)])
  shrl.27835: bits[28] = shrl(rounded_fraction, fraction_shift__1, id=27835, pos=[(2,3175,27), (3,363,48)])
  not.28014: bits[1] = not(or.27839, id=28014, pos=[(2,3207,26), (3,363,48)])
  is_result_nan: bits[1] = or(nor.27866, nor.27868, and.27827, id=27836, pos=[(2,3217,30), (3,363,48)])
  result_sign: bits[1] = priority_sel(concat.28321, cases=[and.27829, not.27830], default=y_sign, id=27837, pos=[(3,363,48)])
  not.27838: bits[1] = not(has_pos_inf, id=27838, pos=[(2,3211,42), (3,363,48)])
  result_fraction: bits[23] = bit_slice(shrl.27835, start=0, width=23, id=27840, pos=[(3,363,48)])
  sign_ext.28015: bits[23] = sign_ext(not.28014, new_bit_count=23, id=28015, pos=[(2,3207,26), (3,363,48)])
  not.27841: bits[1] = not(is_result_nan, id=27841, pos=[(2,3222,22), (3,363,48)])
  result_sign__1: bits[1] = sel(is_operand_inf, cases=[result_sign, not.27838], id=27842, pos=[(2,3211,22), (3,363,48)])
  or.27843: bits[1] = or(is_result_nan, is_operand_inf, bit_slice.27832, and_reduce.27833, id=27843, pos=[(2,3220,26), (3,363,48)])
  result_fraction__3: bits[23] = and(result_fraction, sign_ext.28015, id=28016, pos=[(2,3207,26), (3,363,48)])
  FRACTION_HIGH_BIT: bits[23] = literal(value=4194304, id=27845, pos=[(2,3219,30), (3,363,48)])
  result_sign__2: bits[1] = and(not.27841, result_sign__1, id=27846, pos=[(2,3222,22), (3,363,48)])
  result_exponent__2: bits[8] = sel(or.27843, cases=[bit_slice.27821, MAX_EXPONENT], id=27847, pos=[(2,3220,26), (3,363,48)])
  result_fraction__4: bits[23] = sel(is_result_nan, cases=[result_fraction__3, FRACTION_HIGH_BIT], id=27848, pos=[(2,3221,26), (3,363,48)])
  ret tuple.27849: (bits[1], bits[8], bits[23]) = tuple(result_sign__2, result_exponent__2, result_fraction__4, id=27849, pos=[(2,3225,33), (3,363,48)])
}