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=840, y: (bits[1], bits[8], bits[23]) id=841) -> (bits[1], bits[8], bits[23]) {
  y_bexp__1: bits[8] = tuple_index(y, index=1, id=27559, pos=[(2,3091,67), (3,363,48)])
  literal.27560: bits[1] = literal(value=0, id=27560, pos=[(1,91,63), (2,3009,44), (2,3091,57), (3,363,48)])
  x_bexp__1: bits[8] = tuple_index(x, index=1, id=27561, pos=[(2,3091,59), (3,363,48)])
  y_bexpnot: bits[8] = not(y_bexp__1, id=27562, pos=[(1,90,15), (2,3009,44), (2,3091,57), (3,363,48)])
  x_bexp_extended__1: bits[9] = concat(literal.27560, x_bexp__1, id=27563, pos=[(1,91,63), (2,3009,44), (2,3091,57), (3,363,48)])
  y_bexpnot_extended: bits[9] = concat(literal.27560, y_bexpnot, id=27564, 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=27565, pos=[(0,1120,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=27566, pos=[(0,1122,49), (1,91,63), (2,3009,44), (2,3091,57), (3,363,48)])
  tuple_index.27568: bits[23] = tuple_index(y, index=2, id=27568, pos=[(2,3092,17), (3,363,48)])
  tuple_index.27569: bits[23] = tuple_index(x, index=2, id=27569, pos=[(2,3092,17), (3,363,48)])
  x_bexp: bits[8] = sel(overflow_detected, cases=[y_bexp__1, x_bexp__1], id=27986, pos=[(2,3092,17), (3,363,48)])
  literal.27571: bits[8] = literal(value=0, id=27571, pos=[(2,3099,34), (3,363,48)])
  y_bexp: bits[8] = sel(overflow_detected, cases=[x_bexp__1, y_bexp__1], id=27984, pos=[(2,3092,17), (3,363,48)])
  literal.27572: bits[1] = literal(value=1, id=27572, pos=[(2,3095,22), (3,363,48)])
  x_fraction: bits[23] = sel(overflow_detected, cases=[tuple_index.27568, tuple_index.27569], id=27987, pos=[(2,3092,17), (3,363,48)])
  ne.28381: bits[1] = ne(x_bexp, literal.27571, id=28381, pos=[(2,3099,21), (3,363,48)])
  y_fraction: bits[23] = sel(overflow_detected, cases=[tuple_index.27569, tuple_index.27568], id=27985, pos=[(2,3092,17), (3,363,48)])
  ne.28380: bits[1] = ne(y_bexp, literal.27571, id=28380, pos=[(2,3100,21), (3,363,48)])
  nc: bits[1] = not(overflow_detected, id=27567, pos=[(1,92,19), (2,3009,44), (2,3091,57), (3,363,48)])
  fraction_x: bits[24] = concat(literal.27572, x_fraction, id=27593, pos=[(2,3095,22), (3,363,48)])
  sign_ext.28115: bits[24] = sign_ext(ne.28381, new_bit_count=24, id=28115, pos=[(2,3099,21), (3,363,48)])
  fraction_y: bits[24] = concat(literal.27572, y_fraction, id=27575, pos=[(2,3096,22), (3,363,48)])
  sign_ext.28118: bits[24] = sign_ext(ne.28380, new_bit_count=24, id=28118, pos=[(2,3100,21), (3,363,48)])
  narrowed_result: bits[8] = bit_slice(full_result, start=0, width=8, id=27580, 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=27581, pos=[(1,94,32), (2,3009,44), (2,3091,57), (3,363,48)])
  literal.27582: bits[7] = literal(value=0, id=27582, pos=[(2,3010,68), (2,3091,57), (3,363,48)])
  tuple_index.27601: bits[1] = tuple_index(y, index=0, id=27601, pos=[(2,3092,17), (3,363,48)])
  tuple_index.27600: bits[1] = tuple_index(x, index=0, id=27600, pos=[(2,3092,17), (3,363,48)])
  fraction_x__1: bits[24] = and(fraction_x, sign_ext.28115, id=28116, pos=[(2,3099,21), (3,363,48)])
  fraction_y__1: bits[24] = and(fraction_y, sign_ext.28118, id=28119, pos=[(2,3100,21), (3,363,48)])
  xddend_x__1_squeezed_const_lsb_bits: bits[3] = literal(value=0, id=27578, pos=[(2,3104,17), (3,363,48)])
  result: bits[8] = xor(narrowed_result, x_bexpor_mask, id=27584, pos=[(1,95,18), (2,3009,44), (2,3091,57), (3,363,48)])
  concat.27585: bits[8] = concat(literal.27582, overflow_detected, id=27585, pos=[(2,3010,68), (2,3091,57), (3,363,48)])
  x_sign: bits[1] = sel(overflow_detected, cases=[tuple_index.27601, tuple_index.27600], id=27988, pos=[(2,3092,17), (3,363,48)])
  y_sign: bits[1] = sel(overflow_detected, cases=[tuple_index.27600, tuple_index.27601], id=27989, pos=[(2,3092,17), (3,363,48)])
  wide_x_squeezed: bits[25] = concat(literal.27560, fraction_x__1, id=27602, 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=27597, pos=[(2,3116,31), (3,363,48)])
  shift: bits[8] = add(result, concat.27585, id=27591, pos=[(1,54,7), (2,3010,68), (2,3091,57), (3,363,48)])
  literal.27590: bits[28] = literal(value=268435455, id=27590, pos=[(0,1412,19), (0,1502,17), (0,1529,22), (2,3115,35), (3,363,48)])
  xor.27610: bits[1] = xor(x_sign, y_sign, id=27610, pos=[(2,3110,23), (3,363,48)])
  neg.27607: bits[25] = neg(wide_x_squeezed, id=27607, pos=[(2,3110,41), (3,363,48)])
  shrl.27603: bits[27] = shrl(wide_y_shift_bits, shift, id=27603, pos=[(2,3116,31), (3,363,48)])
  not.28462: bits[23] = not(y_fraction, id=28462, pos=[(0,1412,4), (0,1502,17), (0,1529,22), (2,3115,35), (3,363,48)])
  shll.27595: bits[28] = shll(literal.27590, shift, id=27595, pos=[(0,1412,19), (0,1502,17), (0,1529,22), (2,3115,35), (3,363,48)])
  xddend_x__1_squeezed: bits[25] = sel(xor.27610, cases=[wide_x_squeezed, neg.27607], id=28122, pos=[(2,3110,19), (3,363,48)])
  literal.27997: bits[2] = literal(value=0, id=27997, pos=[(3,363,48)])
  bit_slice.28454: bits[24] = bit_slice(shrl.27603, start=3, width=24, id=28454, pos=[(2,3120,20), (3,363,48)])
  concat.28465: bits[24] = concat(literal.27560, not.28462, id=28465, pos=[(0,1412,4), (0,1502,17), (0,1529,22), (2,3115,35), (3,363,48)])
  not.28384: bits[24] = not(sign_ext.28118, id=28384, pos=[(0,1412,4), (0,1502,17), (0,1529,22), (2,3115,35), (3,363,48)])
  bit_slice.27599: bits[24] = bit_slice(shll.27595, start=3, width=24, id=27599, pos=[(0,1412,19), (0,1502,17), (0,1529,22), (2,3115,35), (3,363,48)])
  sign_ext.28431: bits[26] = sign_ext(xddend_x__1_squeezed, new_bit_count=26, id=28431, pos=[(2,3120,20), (3,363,48)])
  concat.28433: bits[26] = concat(literal.27997, bit_slice.28454, id=28433, pos=[(2,3120,20), (3,363,48)])
  nor.28385: bits[24] = nor(concat.28465, not.28384, bit_slice.27599, id=28385, pos=[(0,1412,4), (0,1502,17), (0,1529,22), (2,3115,35), (3,363,48)])
  literal.27576: bits[24] = literal(value=0, id=27576, pos=[(2,3099,49), (3,363,48)])
  add.28365: bits[26] = add(sign_ext.28431, concat.28433, id=28365, pos=[(2,3120,20), (3,363,48)])
  bit_slice.27608: bits[1] = bit_slice(shrl.27603, start=0, width=1, id=27608, pos=[(2,3053,40), (2,3116,30), (3,363,48)])
  sticky: bits[1] = ne(nor.28385, literal.27576, id=27609, pos=[(0,1502,17), (0,1529,22), (2,3115,35), (3,363,48)])
  bit_slice.28424: bits[25] = bit_slice(add.28365, start=0, width=25, id=28424, pos=[(2,3120,20), (3,363,48)])
  bit_slice.28455: bits[2] = bit_slice(shrl.27603, start=1, width=2, id=28455, pos=[(2,3120,20), (3,363,48)])
  or.27614: bits[1] = or(bit_slice.27608, sticky, id=27614, pos=[(2,3053,40), (2,3116,30), (3,363,48)])
  concat.28460: bits[28] = concat(bit_slice.28424, bit_slice.28455, or.27614, id=28460, pos=[(2,3120,20), (3,363,48)])
  bit_slice.28426: bits[1] = bit_slice(add.28365, start=25, width=1, id=28426, pos=[(2,3130,12), (3,363,48)])
  neg.27622: bits[28] = neg(concat.28460, id=27622, pos=[(2,3130,46), (3,363,48)])
  xbs_fraction: bits[28] = sel(bit_slice.28426, cases=[concat.28460, neg.27622], id=27623, pos=[(2,3130,9), (3,363,48)])
  bit_slice.27711: bits[1] = bit_slice(xbs_fraction, start=4, width=1, id=27711, pos=[(0,1591,70), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  bit_slice.27687: bits[1] = bit_slice(xbs_fraction, start=6, width=1, id=27687, pos=[(0,1591,70), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  bit_slice.27684: bits[1] = bit_slice(xbs_fraction, start=11, width=1, id=27684, pos=[(0,1591,40), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  bit_slice.27662: bits[1] = bit_slice(xbs_fraction, start=10, width=1, id=27662, pos=[(0,1591,70), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  bit_slice.27707: bits[1] = bit_slice(xbs_fraction, start=9, width=1, id=27707, pos=[(0,1591,40), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  bit_slice.27686: bits[1] = bit_slice(xbs_fraction, start=8, width=1, id=27686, pos=[(0,1591,70), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  bit_slice.27661: bits[1] = bit_slice(xbs_fraction, start=12, width=1, id=27661, pos=[(0,1591,70), (0,1596,64), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  bit_slice.27641: bits[1] = bit_slice(xbs_fraction, start=14, width=1, id=27641, pos=[(0,1591,70), (0,1596,34), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  bit_slice.27638: bits[1] = bit_slice(xbs_fraction, start=19, width=1, id=27638, pos=[(0,1591,40), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  bit_slice.27629: bits[1] = bit_slice(xbs_fraction, start=18, width=1, id=27629, pos=[(0,1591,70), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  bit_slice.27657: bits[1] = bit_slice(xbs_fraction, start=17, width=1, id=27657, pos=[(0,1591,40), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  bit_slice.27640: bits[1] = bit_slice(xbs_fraction, start=16, width=1, id=27640, pos=[(0,1591,70), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  carry_bit: bits[1] = bit_slice(xbs_fraction, start=27, width=1, id=27625, pos=[(0,1591,40), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  bit_slice.27624: bits[1] = bit_slice(xbs_fraction, start=26, width=1, id=27624, pos=[(0,1591,70), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  bit_slice.27633: bits[1] = bit_slice(xbs_fraction, start=25, width=1, id=27633, pos=[(0,1591,40), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  bit_slice.27627: bits[1] = bit_slice(xbs_fraction, start=24, width=1, id=27627, pos=[(0,1591,70), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  bit_slice.27637: bits[1] = bit_slice(xbs_fraction, start=20, width=1, id=27637, pos=[(0,1591,70), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  bit_slice.27628: bits[1] = bit_slice(xbs_fraction, start=22, width=1, id=27628, pos=[(0,1591,70), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  bit_slice.27709: bits[1] = bit_slice(xbs_fraction, start=7, width=1, id=27709, pos=[(0,1591,40), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  bit_slice.27731: bits[1] = bit_slice(xbs_fraction, start=5, width=1, id=27731, pos=[(0,1591,40), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  not.27732: bits[1] = not(bit_slice.27711, id=27732, pos=[(0,1584,4), (0,1591,64), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  not.28554: bits[1] = not(bit_slice.27687, id=28554, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  or.28076: bits[1] = or(bit_slice.27684, bit_slice.27662, id=28076, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27726: bits[1] = nor(bit_slice.27707, bit_slice.27686, id=27726, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27705: bits[1] = nor(bit_slice.27684, bit_slice.27662, id=27705, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  not.28558: bits[1] = not(bit_slice.27662, id=28558, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  not.27708: bits[1] = not(bit_slice.27686, id=27708, pos=[(0,1584,4), (0,1591,64), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  bit_slice.27659: bits[1] = bit_slice(xbs_fraction, start=15, width=1, id=27659, pos=[(0,1591,40), (0,1596,34), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  bit_slice.27682: bits[1] = bit_slice(xbs_fraction, start=13, width=1, id=27682, pos=[(0,1591,40), (0,1596,64), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  not.27683: bits[1] = not(bit_slice.27661, id=27683, pos=[(0,1584,4), (0,1591,64), (0,1596,64), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  not.27660: bits[1] = not(bit_slice.27641, id=27660, pos=[(0,1584,4), (0,1591,64), (0,1596,34), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  or.28078: bits[1] = or(bit_slice.27638, bit_slice.27629, id=28078, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27677: bits[1] = nor(bit_slice.27657, bit_slice.27640, id=27677, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27655: bits[1] = nor(bit_slice.27638, bit_slice.27629, id=27655, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  not.27658: bits[1] = not(bit_slice.27640, id=27658, pos=[(0,1584,4), (0,1591,64), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  not.28561: bits[1] = not(bit_slice.27629, id=28561, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27631: bits[1] = nor(carry_bit, bit_slice.27624, id=27631, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27647: bits[1] = nor(bit_slice.27633, bit_slice.27627, id=27647, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  bit_slice.27635: bits[1] = bit_slice(xbs_fraction, start=23, width=1, id=27635, pos=[(0,1591,40), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  bit_slice.27652: bits[1] = bit_slice(xbs_fraction, start=21, width=1, id=27652, pos=[(0,1591,40), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  or.28079: bits[1] = or(carry_bit, bit_slice.27624, id=28079, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  not.28565: bits[1] = not(bit_slice.27624, id=28565, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  not.27634: bits[1] = not(bit_slice.27627, id=27634, pos=[(0,1584,4), (0,1591,64), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  not.27653: bits[1] = not(bit_slice.27637, id=27653, pos=[(0,1584,4), (0,1591,64), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  not.27636: bits[1] = not(bit_slice.27628, id=27636, pos=[(0,1584,4), (0,1591,64), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  bit_slice.27753: bits[1] = bit_slice(xbs_fraction, start=3, width=1, id=27753, pos=[(0,1591,40), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  bit_slice.27733: bits[1] = bit_slice(xbs_fraction, start=2, width=1, id=27733, pos=[(0,1591,70), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  bit_slice.27777: bits[1] = bit_slice(xbs_fraction, start=1, width=1, id=27777, pos=[(0,1591,40), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  bit_slice.27755: bits[1] = bit_slice(xbs_fraction, start=0, width=1, id=27755, pos=[(0,1591,70), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  or.28075: bits[1] = or(bit_slice.27709, bit_slice.27687, id=28075, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27751: bits[1] = nor(bit_slice.27731, bit_slice.27711, id=27751, pos=[(0,1591,22), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27750: bits[1] = nor(bit_slice.27731, not.27732, id=27750, pos=[(0,1591,22), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.28552: bits[1] = nor(bit_slice.27709, bit_slice.27687, id=28552, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.28555: bits[1] = nor(bit_slice.27709, not.28554, id=28555, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27808: bits[1] = nor(or.28076, nor.27726, id=27808, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  and.27809: bits[1] = and(nor.27705, nor.27726, id=27809, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.28559: bits[1] = nor(bit_slice.27684, not.28558, id=28559, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27725: bits[1] = nor(bit_slice.27707, not.27708, id=27725, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  or.28077: bits[1] = or(bit_slice.27659, bit_slice.27641, id=28077, pos=[(0,1596,22), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27702: bits[1] = nor(bit_slice.27682, bit_slice.27661, id=27702, pos=[(0,1591,22), (0,1596,64), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27701: bits[1] = nor(bit_slice.27682, not.27683, id=27701, pos=[(0,1591,22), (0,1596,64), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27679: bits[1] = nor(bit_slice.27659, not.27660, id=27679, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27763: bits[1] = nor(or.28078, nor.27677, id=27763, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  and.27764: bits[1] = and(nor.27655, nor.27677, id=27764, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27676: bits[1] = nor(bit_slice.27657, not.27658, id=27676, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.28562: bits[1] = nor(bit_slice.27638, not.28561, id=28562, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  and.27735: bits[1] = and(nor.27631, nor.27647, id=27735, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27650: bits[1] = nor(bit_slice.27635, bit_slice.27628, id=27650, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27671: bits[1] = nor(bit_slice.27652, bit_slice.27637, id=27671, pos=[(0,1591,22), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27734: bits[1] = nor(or.28079, nor.27647, id=27734, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.28566: bits[1] = nor(carry_bit, not.28565, id=28566, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27646: bits[1] = nor(bit_slice.27633, not.27634, id=27646, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  or.28080: bits[1] = or(bit_slice.27635, bit_slice.27628, id=28080, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27670: bits[1] = nor(bit_slice.27652, not.27653, id=27670, pos=[(0,1591,22), (0,1596,64), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27649: bits[1] = nor(bit_slice.27635, not.27636, id=27649, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  or.28074: bits[1] = or(bit_slice.27753, bit_slice.27733, id=28074, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27799: bits[1] = nor(bit_slice.27777, bit_slice.27755, id=27799, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27775: bits[1] = nor(bit_slice.27753, bit_slice.27733, id=27775, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  not.27778: bits[1] = not(bit_slice.27755, id=27778, pos=[(0,1584,4), (0,1591,64), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  not.28550: bits[1] = not(bit_slice.27733, id=28550, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27825: bits[1] = nor(or.28075, nor.27751, id=27825, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.28064: bits[2] = concat(literal.27572, nor.27750, id=28064, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.28188: bits[2] = concat(nor.28552, nor.28555, id=28188, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.27821: bits[2] = concat(nor.27808, and.27809, id=27821, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.28361: bits[2] = concat(nor.28559, literal.27560, id=28361, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.28336: bits[2] = concat(literal.27572, nor.27725, id=28336, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.28179: bits[2] = concat(nor.27705, nor.28559, id=28179, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27680: bits[1] = nor(bit_slice.27659, bit_slice.27641, id=27680, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27788: bits[1] = nor(or.28077, nor.27702, id=27788, pos=[(0,1596,22), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.28059: bits[2] = concat(literal.27572, nor.27701, id=28059, pos=[(0,1596,22), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.28575: bits[2] = concat(literal.27560, nor.27679, id=28575, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.27784: bits[2] = concat(nor.27763, and.27764, id=27784, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.28331: bits[2] = concat(literal.27572, nor.27676, id=28331, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.28170: bits[2] = concat(nor.27655, nor.28562, id=28170, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  not.27817: bits[1] = not(and.27735, id=27817, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  and.27761: bits[1] = and(nor.27650, nor.27671, id=27761, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.27756: bits[2] = concat(nor.27734, and.27735, id=27756, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.28360: bits[2] = concat(nor.28566, literal.27560, id=28360, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.28326: bits[2] = concat(literal.27572, nor.27646, id=28326, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.28161: bits[2] = concat(literal.27560, nor.28566, id=28161, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27760: bits[1] = nor(or.28080, nor.27671, id=27760, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.28056: bits[2] = concat(literal.27572, nor.27670, id=28056, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.28576: bits[2] = concat(literal.27560, nor.27649, id=28576, pos=[(0,1591,22), (0,1596,34), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27851: bits[1] = nor(or.28074, nor.27799, id=27851, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  and.27852: bits[1] = and(nor.27775, nor.27799, id=27852, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27798: bits[1] = nor(bit_slice.27777, not.27778, id=27798, pos=[(0,1591,22), (0,1596,64), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.28551: bits[1] = nor(bit_slice.27753, not.28550, id=28551, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  not.27859: bits[1] = not(and.27809, id=27859, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  and.27826: bits[1] = and(nor.28552, nor.27751, id=27826, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  priority_sel.28085: bits[2] = priority_sel(nor.27825, cases=[concat.28064], default=concat.28188, id=28085, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  priority_sel.28219: bits[2] = priority_sel(concat.27821, cases=[concat.28361, concat.28336], default=concat.28179, id=28219, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  not.27833: bits[1] = not(and.27764, id=27833, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  and.27789: bits[1] = and(nor.27680, nor.27702, id=27789, pos=[(0,1596,22), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  priority_sel.28040: bits[2] = priority_sel(nor.27788, cases=[concat.28059], default=concat.28575, id=28040, pos=[(0,1596,22), (0,1601,64), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  priority_sel.28201: bits[2] = priority_sel(concat.27784, cases=[literal.27997, concat.28331], default=concat.28170, id=28201, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27830: bits[1] = nor(not.27817, and.27761, id=27830, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  and.27831: bits[1] = and(and.27735, and.27761, id=27831, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  priority_sel.28192: bits[2] = priority_sel(concat.27756, cases=[concat.28360, concat.28326], default=concat.28161, id=28192, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  priority_sel.28037: bits[2] = priority_sel(nor.27760, cases=[concat.28056], default=concat.28576, id=28037, pos=[(0,1596,22), (0,1601,64), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.27861: bits[2] = concat(nor.27851, and.27852, id=27861, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.28348: bits[2] = concat(literal.27572, nor.27798, id=28348, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.28215: bits[2] = concat(nor.27775, nor.28551, id=28215, pos=[(0,1591,22), (0,1596,34), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27867: bits[1] = nor(not.27859, and.27826, id=27867, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.28315: bits[3] = concat(literal.27572, priority_sel.28085, id=28315, pos=[(0,1541,24), (0,1601,22), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.28224: bits[3] = concat(and.27809, priority_sel.28219, id=28224, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27846: bits[1] = nor(not.27833, and.27789, id=27846, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.28067: bits[3] = concat(literal.27572, priority_sel.28040, id=28067, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.28206: bits[3] = concat(and.27764, priority_sel.28201, id=28206, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.27842: bits[2] = concat(nor.27830, and.27831, id=27842, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.28362: bits[3] = concat(priority_sel.28192, literal.27560, id=28362, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.28343: bits[3] = concat(literal.27572, priority_sel.28037, id=28343, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.28197: bits[3] = concat(literal.27560, priority_sel.28192, id=28197, pos=[(0,1596,22), (0,1601,34), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  priority_sel.28237: bits[2] = priority_sel(concat.27861, cases=[literal.27997, concat.28348], default=concat.28215, id=28237, pos=[(0,1596,22), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  priority_sel.28132: bits[3] = priority_sel(nor.27867, cases=[concat.28315], default=concat.28224, id=28132, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  not.27871: bits[1] = not(and.27831, id=27871, pos=[(0,1606,22), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  and.27847: bits[1] = and(and.27764, and.27789, id=27847, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  priority_sel.28087: bits[3] = priority_sel(nor.27846, cases=[concat.28067], default=concat.28206, id=28087, pos=[(0,1601,22), (0,1606,64), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  priority_sel.28228: bits[3] = priority_sel(concat.27842, cases=[concat.28362, concat.28343], default=concat.28197, id=28228, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  and.27868: bits[1] = and(and.27809, and.27826, id=27868, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.28356: bits[4] = concat(literal.27572, and.27852, priority_sel.28237, id=28356, pos=[(0,1606,22), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.28358: bits[4] = concat(literal.27560, priority_sel.28132, id=28358, pos=[(0,1601,22), (0,1606,34), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  nor.27879: bits[1] = nor(not.27871, and.27847, id=27879, pos=[(0,1606,22), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.28318: bits[4] = concat(literal.27572, priority_sel.28087, id=28318, pos=[(0,1541,24), (0,1606,22), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.28233: bits[4] = concat(and.27831, priority_sel.28228, id=28233, pos=[(0,1601,22), (0,1606,34), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  priority_sel.27891: bits[4] = priority_sel(and.27868, cases=[concat.28356], default=concat.28358, id=27891, pos=[(0,1606,22), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  priority_sel.28138: bits[4] = priority_sel(nor.27879, cases=[concat.28318], default=concat.28233, id=28138, pos=[(0,1606,22), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  and.27880: bits[1] = and(and.27831, and.27847, id=27880, pos=[(0,1606,22), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.27893: bits[5] = concat(literal.27572, priority_sel.27891, id=27893, pos=[(0,1611,22), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.28359: bits[5] = concat(literal.27560, priority_sel.28138, id=28359, pos=[(0,1606,22), (0,1611,35), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  concat.27894: bits[29] = concat(literal.27560, xbs_fraction, id=27894, pos=[(3,363,48)])
  leading_zeroes: bits[5] = priority_sel(and.27880, cases=[concat.27893], default=concat.28359, id=27895, pos=[(0,1611,22), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  cancel_fraction: bits[29] = shll(concat.27894, leading_zeroes, id=27896, pos=[(2,3144,26), (3,363,48)])
  bit_slice.27897: bits[26] = bit_slice(xbs_fraction, start=2, width=26, id=27897, pos=[(2,3053,20), (2,3137,36), (3,363,48)])
  or.27898: bits[1] = or(bit_slice.27777, bit_slice.27755, id=27898, pos=[(2,3053,40), (2,3137,36), (3,363,48)])
  cancel_fraction__1: bits[27] = bit_slice(cancel_fraction, start=1, width=27, id=27899, pos=[(3,363,48)])
  carry_fraction__1: bits[27] = concat(bit_slice.27897, or.27898, id=27900, 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=27901, pos=[(2,3146,27), (3,363,48)])
  normal_chunk: bits[3] = bit_slice(shifted_fraction, start=0, width=3, id=27902, pos=[(2,3158,39), (3,363,48)])
  fraction_shift__3: bits[3] = literal(value=4, id=28009, pos=[(0,1540,24), (0,1596,22), (0,1601,34), (0,1606,64), (0,1611,66), (0,1644,30), (0,1708,13), (2,3141,34), (3,363,48)])
  half_way_chunk: bits[2] = bit_slice(shifted_fraction, start=2, width=2, id=27903, pos=[(2,3159,41), (3,363,48)])
  literal.27904: bits[2] = literal(value=3, id=27904, pos=[(2,3160,68), (3,363,48)])
  ugt.27905: bits[1] = ugt(normal_chunk, fraction_shift__3, id=27905, pos=[(2,3160,23), (3,363,48)])
  eq.27906: bits[1] = eq(half_way_chunk, literal.27904, id=27906, pos=[(2,3160,50), (3,363,48)])
  bit_slice.28436: bits[24] = bit_slice(shifted_fraction, start=3, width=24, id=28436)
  do_round_up: bits[1] = or(ugt.27905, eq.27906, id=27909, pos=[(2,3160,23), (3,363,48)])
  concat.28437: bits[25] = concat(literal.27560, bit_slice.28436, id=28437)
  concat.28577: bits[25] = concat(literal.27576, do_round_up, id=28577)
  add.28377: bits[25] = add(concat.28437, concat.28577, id=28377)
  literal.27912: bits[5] = literal(value=0, id=27912, pos=[(3,363,48)])
  rounding_carry: bits[1] = bit_slice(add.28377, start=24, width=1, id=28428, pos=[(2,3168,41), (3,363,48)])
  literal.28524: bits[26] = literal(value=0, id=28524, pos=[(2,3121,39), (3,363,48)])
  bit_slice.28573: bits[1] = bit_slice(shrl.27603, start=1, width=1, id=28573, pos=[(2,3121,27), (3,363,48)])
  bit_slice.28574: bits[1] = bit_slice(shrl.27603, start=2, width=1, id=28574, pos=[(2,3121,27), (3,363,48)])
  concat.27914: bits[9] = concat(literal.27560, x_bexp, id=27914, pos=[(3,363,48)])
  literal.27915: bits[9] = literal(value=1, id=27915, pos=[(2,3180,24), (3,363,48)])
  concat.28456: bits[6] = concat(literal.27912, rounding_carry, id=28456, pos=[(3,363,48)])
  concat.27917: bits[6] = concat(literal.27560, leading_zeroes, id=27917, pos=[(3,363,48)])
  eq.28492: bits[1] = eq(add.28365, literal.28524, id=28492, pos=[(2,3121,27), (3,363,48)])
  nor.28547: bits[1] = nor(bit_slice.28573, bit_slice.28574, id=28547, pos=[(2,3121,27), (3,363,48)])
  nor.28548: bits[1] = nor(bit_slice.27608, sticky, id=28548, pos=[(2,3121,27), (3,363,48)])
  add.27918: bits[9] = add(concat.27914, literal.27915, id=27918, pos=[(2,3179,26), (3,363,48)])
  sub.27919: bits[6] = sub(concat.28456, concat.27917, id=27919, pos=[(2,3179,26), (3,363,48)])
  fraction_is_zero: bits[1] = and(eq.28492, nor.28547, nor.28548, id=28546, pos=[(2,3121,27), (3,363,48)])
  wide_exponent_associative_element: bits[10] = concat(literal.27560, add.27918, id=27921, pos=[(2,3179,26), (3,363,48)])
  wide_exponent_associative_element__1: bits[10] = sign_ext(sub.27919, new_bit_count=10, id=27922, pos=[(2,3179,26), (3,363,48)])
  not.28144: bits[1] = not(fraction_is_zero, id=28144, pos=[(2,3181,24), (3,363,48)])
  wide_exponent: bits[10] = add(wide_exponent_associative_element, wide_exponent_associative_element__1, id=27924, pos=[(2,3179,26), (3,363,48)])
  sign_ext.28145: bits[10] = sign_ext(not.28144, new_bit_count=10, id=28145, pos=[(2,3181,24), (3,363,48)])
  wide_exponent__1: bits[10] = and(wide_exponent, sign_ext.28145, id=28146, pos=[(2,3181,24), (3,363,48)])
  bit_slice.27933: bits[1] = bit_slice(wide_exponent__1, start=9, width=1, id=27933, pos=[(2,3184,27), (3,363,48)])
  not.28147: bits[1] = not(bit_slice.27933, id=28147, pos=[(2,3184,24), (3,363,48)])
  bit_slice.27934: bits[9] = bit_slice(wide_exponent__1, start=0, width=9, id=27934, pos=[(3,363,48)])
  sign_ext.28148: bits[9] = sign_ext(not.28147, new_bit_count=9, id=28148, pos=[(2,3184,24), (3,363,48)])
  MAX_EXPONENT: bits[8] = literal(value=255, id=27926, pos=[(2,96,29), (2,3209,29), (3,363,48)])
  literal.27927: bits[23] = literal(value=0, id=27927, pos=[(2,96,57), (2,3209,29), (3,363,48)])
  wide_exponent__2: bits[9] = and(bit_slice.27934, sign_ext.28148, id=28149, pos=[(2,3184,24), (3,363,48)])
  eq.27929: bits[1] = eq(x_bexp, MAX_EXPONENT, id=27929, pos=[(2,96,6), (2,3209,29), (3,363,48)])
  eq.27930: bits[1] = eq(x_fraction, literal.27927, id=27930, pos=[(2,96,44), (2,3209,29), (3,363,48)])
  eq.27931: bits[1] = eq(y_bexp, MAX_EXPONENT, id=27931, pos=[(2,96,6), (2,3210,29), (3,363,48)])
  eq.27932: bits[1] = eq(y_fraction, literal.27927, id=27932, pos=[(2,96,44), (2,3210,29), (3,363,48)])
  bit_slice.27946: bits[8] = bit_slice(wide_exponent__2, start=1, width=8, id=27946, pos=[(2,3194,11), (3,363,48)])
  not.27936: bits[1] = not(eq.27929, id=27936, pos=[(2,3209,29), (3,363,48)])
  not.27937: bits[1] = not(eq.27930, id=27937, pos=[(2,3209,29), (3,363,48)])
  not.27938: bits[1] = not(eq.27931, id=27938, pos=[(2,3210,29), (3,363,48)])
  not.27939: bits[1] = not(eq.27932, id=27939, pos=[(2,3210,29), (3,363,48)])
  and.27953: bits[1] = and(eq.27929, eq.27930, id=27953, pos=[(2,96,6), (2,3209,29), (3,363,48)])
  and.27954: bits[1] = and(eq.27931, eq.27932, id=27954, pos=[(2,96,6), (2,3210,29), (3,363,48)])
  bit_slice.27955: bits[8] = bit_slice(wide_exponent__2, start=0, width=8, id=27955, pos=[(2,3202,11), (3,363,48)])
  or_reduce.27956: bits[1] = or_reduce(bit_slice.27946, id=27956, pos=[(2,3194,11), (3,363,48)])
  bit_slice.27957: bits[1] = bit_slice(wide_exponent__2, start=0, width=1, id=27957, pos=[(2,3194,11), (3,363,48)])
  nor.27941: bits[1] = nor(not.27936, not.27937, x_sign, id=27941, pos=[(2,3209,29), (3,363,48)])
  nor.27942: bits[1] = nor(not.27938, not.27939, y_sign, id=27942, pos=[(2,3210,29), (3,363,48)])
  and.27943: bits[1] = and(eq.27929, eq.27930, x_sign, id=27943, pos=[(2,3215,29), (3,363,48)])
  and.27944: bits[1] = and(eq.27931, eq.27932, y_sign, id=27944, pos=[(2,3216,29), (3,363,48)])
  fraction_shift__2: bits[3] = literal(value=3, id=27947, pos=[(2,3174,8), (3,363,48)])
  is_operand_inf: bits[1] = or(and.27953, and.27954, id=27965, pos=[(2,3205,31), (3,363,48)])
  bit_slice.27966: bits[1] = bit_slice(wide_exponent__2, start=8, width=1, id=27966, pos=[(2,3202,11), (3,363,48)])
  and_reduce.27967: bits[1] = and_reduce(bit_slice.27955, id=27967, pos=[(2,3202,11), (3,363,48)])
  nor.27968: bits[1] = nor(or_reduce.27956, bit_slice.27957, id=27968, pos=[(2,3194,11), (3,363,48)])
  has_pos_inf: bits[1] = or(nor.27941, nor.27942, id=27950, pos=[(2,3209,29), (3,363,48)])
  has_neg_inf: bits[1] = or(and.27943, and.27944, id=27951, pos=[(2,3215,29), (3,363,48)])
  rounded_fraction: bits[28] = concat(add.28377, normal_chunk, id=28459)
  fraction_shift__1: bits[3] = sel(rounding_carry, cases=[fraction_shift__2, fraction_shift__3], id=27958, pos=[(2,3174,8), (3,363,48)])
  or.27973: bits[1] = or(is_operand_inf, bit_slice.27966, and_reduce.27967, nor.27968, id=27973, pos=[(2,3207,26), (3,363,48)])
  nor.28000: bits[1] = nor(not.27936, eq.27930, id=28000, pos=[(2,71,6), (2,3217,30), (3,363,48)])
  nor.28002: bits[1] = nor(not.27938, eq.27932, id=28002, pos=[(2,71,6), (2,3217,64), (3,363,48)])
  and.27961: bits[1] = and(has_pos_inf, has_neg_inf, id=27961, pos=[(2,3218,25), (3,363,48)])
  concat.28457: bits[2] = concat(bit_slice.28426, fraction_is_zero, id=28457, pos=[(3,363,48)])
  and.27963: bits[1] = and(x_sign, y_sign, id=27963, pos=[(2,3123,22), (3,363,48)])
  not.27964: bits[1] = not(y_sign, id=27964, pos=[(2,3210,59), (3,363,48)])
  shrl.27969: bits[28] = shrl(rounded_fraction, fraction_shift__1, id=27969, pos=[(2,3175,27), (3,363,48)])
  not.28150: bits[1] = not(or.27973, id=28150, pos=[(2,3207,26), (3,363,48)])
  is_result_nan: bits[1] = or(nor.28000, nor.28002, and.27961, id=27970, pos=[(2,3217,30), (3,363,48)])
  result_sign: bits[1] = priority_sel(concat.28457, cases=[and.27963, not.27964], default=y_sign, id=27971, pos=[(3,363,48)])
  not.27972: bits[1] = not(has_pos_inf, id=27972, pos=[(2,3211,42), (3,363,48)])
  result_fraction: bits[23] = bit_slice(shrl.27969, start=0, width=23, id=27974, pos=[(3,363,48)])
  sign_ext.28151: bits[23] = sign_ext(not.28150, new_bit_count=23, id=28151, pos=[(2,3207,26), (3,363,48)])
  not.27975: bits[1] = not(is_result_nan, id=27975, pos=[(2,3222,22), (3,363,48)])
  result_sign__1: bits[1] = sel(is_operand_inf, cases=[result_sign, not.27972], id=27976, pos=[(2,3211,22), (3,363,48)])
  or.27977: bits[1] = or(is_result_nan, is_operand_inf, bit_slice.27966, and_reduce.27967, id=27977, pos=[(2,3220,26), (3,363,48)])
  result_fraction__3: bits[23] = and(result_fraction, sign_ext.28151, id=28152, pos=[(2,3207,26), (3,363,48)])
  FRACTION_HIGH_BIT: bits[23] = literal(value=4194304, id=27979, pos=[(2,3219,30), (3,363,48)])
  result_sign__2: bits[1] = and(not.27975, result_sign__1, id=27980, pos=[(2,3222,22), (3,363,48)])
  result_exponent__2: bits[8] = sel(or.27977, cases=[bit_slice.27955, MAX_EXPONENT], id=27981, pos=[(2,3220,26), (3,363,48)])
  result_fraction__4: bits[23] = sel(is_result_nan, cases=[result_fraction__3, FRACTION_HIGH_BIT], id=27982, pos=[(2,3221,26), (3,363,48)])
  ret tuple.27983: (bits[1], bits[8], bits[23]) = tuple(result_sign__2, result_exponent__2, result_fraction__4, id=27983, pos=[(2,3225,33), (3,363,48)])
}