package float32

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

top fn __float32__fast_rsqrt(x: (bits[1], bits[8], bits[23]) id=1121) -> (bits[1], bits[8], bits[23]) {
  x_bexp__2: bits[8] = tuple_index(x, index=1, id=30224, pos=[(0,804,5), (0,809,27), (1,78,31), (1,396,30), (1,427,64)])
  literal.30231: bits[1] = literal(value=0, id=30231, pos=[(1,367,48), (1,399,20), (1,427,64)])
  bit_slice.31524: bits[7] = bit_slice(x_bexp__2, start=1, width=7, id=31524, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  concat.31525: bits[8] = concat(literal.30231, bit_slice.31524, id=31525, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  literal.31464: bits[8] = literal(value=63, id=31464, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  add.31428: bits[8] = add(concat.31525, literal.31464, id=31428, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.31526: bits[1] = bit_slice(x_bexp__2, start=0, width=1, id=31526, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  concat.31568: bits[10] = concat(literal.30231, add.31428, bit_slice.31526, id=31568, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  literal.30240: bits[10] = literal(value=897, id=30240, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  exp: bits[10] = add(concat.31568, literal.30240, id=30244, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  literal.30245: bits[10] = literal(value=0, id=30245, pos=[(0,3318,29), (1,367,48), (1,399,20), (1,427,64)])
  literal.31431: bits[1] = literal(value=1, id=31431, pos=[(0,3300,63), (1,367,48), (1,399,20), (1,427,64)])
  tuple_index.30227: bits[23] = tuple_index(x, index=2, id=30227, pos=[(0,809,4), (1,78,31), (1,396,30), (1,427,64)])
  literal.31433: bits[2] = literal(value=1, id=31433, pos=[(0,3346,48), (1,367,48), (1,399,20), (1,427,64)])
  sle.30249: bits[1] = sle(exp, literal.30245, id=30249, pos=[(0,3346,22), (1,367,48), (1,399,20), (1,427,64)])
  concat.31347: bits[25] = concat(literal.31431, tuple_index.30227, literal.30231, id=31347, pos=[(0,3300,63), (1,367,48), (1,399,20), (1,427,64)])
  concat.31349: bits[25] = concat(literal.31433, tuple_index.30227, id=31349, pos=[(0,3346,48), (1,367,48), (1,399,20), (1,427,64)])
  fraction__3_squeezed: bits[25] = sel(sle.30249, cases=[concat.31347, concat.31349], id=31074, pos=[(0,3346,19), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.31341: bits[1] = bit_slice(fraction__3_squeezed, start=0, width=1, id=31341, pos=[(0,3359,40), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.31343: bits[1] = bit_slice(fraction__3_squeezed, start=1, width=1, id=31343, pos=[(0,3363,45), (1,367,48), (1,399,20), (1,427,64)])
  fraction__5: bits[23] = bit_slice(fraction__3_squeezed, start=1, width=23, id=31339, pos=[(1,367,48), (1,399,20), (1,427,64)])
  literal.31608: bits[23] = literal(value=0, id=31608)
  and.30257: bits[1] = and(bit_slice.31341, bit_slice.31343, id=30257, pos=[(0,3363,23), (1,367,48), (1,399,20), (1,427,64)])
  fraction__6: bits[24] = concat(literal.30231, fraction__5, id=31416, pos=[(1,367,48), (1,399,20), (1,427,64)])
  concat.31675: bits[24] = concat(literal.31608, and.30257, id=31675)
  fraction__7: bits[24] = add(fraction__6, concat.31675, id=31058)
  bit_slice.30261: bits[1] = bit_slice(fraction__7, start=23, width=1, id=30261, pos=[(0,3374,25), (1,367,48), (1,399,20), (1,427,64)])
  exp_squeezed: bits[9] = bit_slice(exp, start=0, width=9, id=31680, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  concat.31702: bits[9] = concat(literal.30231, x_bexp__2, id=31702, pos=[(0,3374,33), (1,367,48), (1,399,20), (1,427,64)])
  exp__3_squeezed: bits[9] = sel(bit_slice.30261, cases=[exp_squeezed, concat.31702], id=31682, pos=[(0,3374,14), (1,367,48), (1,399,20), (1,427,64)])
  literal.31691: bits[9] = literal(value=0, id=31691, pos=[(0,3375,23), (1,367,48), (1,399,20), (1,427,64)])
  is_subnormal: bits[1] = sle(exp__3_squeezed, literal.31691, id=31686, pos=[(0,3375,23), (1,367,48), (1,399,20), (1,427,64)])
  not.31080: bits[1] = not(is_subnormal, id=31080, pos=[(0,3384,21), (1,367,48), (1,399,20), (1,427,64)])
  sign_ext.31081: bits[9] = sign_ext(not.31080, new_bit_count=9, id=31081, pos=[(0,3384,21), (1,367,48), (1,399,20), (1,427,64)])
  result_exp__1: bits[9] = and(exp__3_squeezed, sign_ext.31081, id=31082, pos=[(0,3384,21), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.30272: bits[8] = bit_slice(result_exp__1, start=0, width=8, id=30272, pos=[(0,3392,11), (1,367,48), (1,399,20), (1,427,64)])
  x_sign__1: bits[1] = tuple_index(x, index=0, id=30275, pos=[(0,809,60), (1,78,31), (1,396,30), (1,427,64)])
  bit_slice.31563: bits[17] = bit_slice(tuple_index.30227, start=6, width=17, id=31563, pos=[(1,398,27), (1,427,64)])
  bit_slice.30278: bits[1] = bit_slice(result_exp__1, start=8, width=1, id=30278, pos=[(0,3392,11), (1,367,48), (1,399,20), (1,427,64)])
  and_reduce.30279: bits[1] = and_reduce(bit_slice.30272, id=30279, pos=[(0,3392,11), (1,367,48), (1,399,20), (1,427,64)])
  literal.31466: bits[27] = literal(value=49920718, id=31466, pos=[(1,398,27), (1,427,64)])
  concat.31533: bits[27] = concat(literal.30231, x_sign__1, x_bexp__2, bit_slice.31563, id=31533, pos=[(1,398,27), (1,427,64)])
  nor.31468: bits[1] = nor(bit_slice.30278, and_reduce.30279, is_subnormal, id=31468, pos=[(0,3397,26), (1,367,48), (1,399,20), (1,427,64)])
  or.30949: bits[1] = or(bit_slice.30278, and_reduce.30279, id=30949, pos=[(0,3404,21), (1,367,48), (1,399,20), (1,427,64)])
  high_exp: bits[8] = literal(value=255, id=30264, pos=[(0,96,29), (0,3402,28), (1,367,48), (1,399,20), (1,427,64)])
  sub.31441: bits[27] = sub(literal.31466, concat.31533, id=31441, pos=[(1,398,27), (1,427,64)])
  result_fraction: bits[23] = bit_slice(fraction__7, start=0, width=23, id=30284, pos=[(1,367,48), (1,399,20), (1,427,64)])
  sign_ext.31084: bits[23] = sign_ext(nor.31468, new_bit_count=23, id=31084, pos=[(0,3397,26), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.31564: bits[5] = bit_slice(tuple_index.30227, start=1, width=5, id=31564, pos=[(1,398,27), (1,427,64)])
  result_exp__4: bits[8] = sel(or.30949, cases=[bit_slice.30272, high_exp], id=30289, pos=[(0,3404,21), (1,367,48), (1,399,20), (1,427,64)])
  literal.30225: bits[8] = literal(value=0, id=30225, pos=[(0,804,14), (0,809,27), (1,78,31), (1,396,30), (1,427,64)])
  approx_bexp__1: bits[8] = bit_slice(sub.31441, start=18, width=8, id=31512, pos=[(1,61,65), (1,398,26), (1,427,64)])
  result_fraction__3: bits[23] = and(result_fraction, sign_ext.31084, id=31085, pos=[(0,3397,26), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.31514: bits[18] = bit_slice(sub.31441, start=0, width=18, id=31514, pos=[(1,61,65), (1,398,26), (1,427,64)])
  not.31443: bits[5] = not(bit_slice.31564, id=31443, pos=[(1,398,27), (1,427,64)])
  eq.30293: bits[1] = eq(result_exp__4, literal.30225, id=30293, pos=[(0,804,5), (0,3291,40), (1,367,48), (1,403,22), (1,427,64)])
  eq.30294: bits[1] = eq(approx_bexp__1, literal.30225, id=30294, pos=[(0,804,5), (0,3291,67), (1,367,48), (1,403,22), (1,427,64)])
  half_x_fraction__4: bits[24] = concat(literal.31431, result_fraction__3, id=30295, pos=[(0,3294,23), (1,367,48), (1,403,22), (1,427,64)])
  approx_fraction__4: bits[24] = concat(literal.31431, bit_slice.31514, not.31443, id=31569, pos=[(0,3296,23), (1,367,48), (1,403,22), (1,427,64)])
  nor.31469: bits[1] = nor(eq.30293, eq.30294, id=31469, pos=[(0,3300,19), (1,367,48), (1,403,22), (1,427,64)])
  concat.30297: bits[9] = concat(literal.30231, result_exp__4, id=30297, pos=[(1,367,48), (1,403,22), (1,427,64)])
  concat.31570: bits[9] = concat(literal.30231, approx_bexp__1, id=31570, pos=[(1,367,48), (1,403,22), (1,427,64)])
  umul.30300: bits[48] = umul(half_x_fraction__4, approx_fraction__4, id=30300, pos=[(0,3300,63), (1,367,48), (1,403,22), (1,427,64)])
  sign_ext.31087: bits[48] = sign_ext(nor.31469, new_bit_count=48, id=31087, pos=[(0,3300,19), (1,367,48), (1,403,22), (1,427,64)])
  add.30301: bits[9] = add(concat.30297, concat.31570, id=30301, pos=[(0,3309,16), (1,367,48), (1,403,22), (1,427,64)])
  fraction__8: bits[48] = and(umul.30300, sign_ext.31087, id=31088, pos=[(0,3300,19), (1,367,48), (1,403,22), (1,427,64)])
  concat.30303: bits[10] = concat(literal.30231, add.30301, id=30303, pos=[(0,3309,16), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.30304: bits[1] = bit_slice(fraction__8, start=47, width=1, id=30304, pos=[(0,3324,33), (1,367,48), (1,403,22), (1,427,64)])
  literal.30305: bits[47] = literal(value=0, id=30305, pos=[(1,367,48), (1,403,22), (1,427,64)])
  bit_slice.30306: bits[1] = bit_slice(fraction__8, start=0, width=1, id=30306, pos=[(0,3329,25), (1,367,48), (1,403,22), (1,427,64)])
  exp__4: bits[10] = add(concat.30303, literal.30240, id=30307, pos=[(0,3309,16), (1,367,48), (1,403,22), (1,427,64)])
  sign_ext.31090: bits[10] = sign_ext(nor.31469, new_bit_count=10, id=31090, pos=[(0,3318,14), (1,367,48), (1,403,22), (1,427,64)])
  fraction__9: bits[48] = shrl(fraction__8, bit_slice.30304, id=30308, pos=[(0,3330,19), (1,367,48), (1,403,22), (1,427,64)])
  sticky__2: bits[48] = concat(literal.30305, bit_slice.30306, id=30309, pos=[(1,367,48), (1,403,22), (1,427,64)])
  exp__5: bits[10] = and(exp__4, sign_ext.31090, id=31091, pos=[(0,3318,14), (1,367,48), (1,403,22), (1,427,64)])
  concat.30311: bits[10] = concat(literal.31691, bit_slice.30304, id=30311, pos=[(1,367,48), (1,403,22), (1,427,64)])
  fraction__10: bits[48] = or(fraction__9, sticky__2, id=30312, pos=[(0,3331,19), (1,367,48), (1,403,22), (1,427,64)])
  exp__6: bits[10] = add(exp__5, concat.30311, id=30313, pos=[(0,3334,14), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.30314: bits[47] = bit_slice(fraction__10, start=1, width=47, id=30314, pos=[(0,3346,48), (1,367,48), (1,403,22), (1,427,64)])
  sle.30315: bits[1] = sle(exp__6, literal.30245, id=30315, pos=[(0,3346,22), (1,367,48), (1,403,22), (1,427,64)])
  concat.30316: bits[48] = concat(literal.30231, bit_slice.30314, id=30316, pos=[(0,3346,48), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.30317: bits[1] = bit_slice(fraction__10, start=0, width=1, id=30317, pos=[(0,3345,25), (1,367,48), (1,403,22), (1,427,64)])
  fraction__11: bits[48] = sel(sle.30315, cases=[fraction__10, concat.30316], id=30318, pos=[(0,3346,19), (1,367,48), (1,403,22), (1,427,64)])
  sticky__3: bits[48] = concat(literal.30305, bit_slice.30317, id=30319, pos=[(1,367,48), (1,403,22), (1,427,64)])
  fraction__12: bits[48] = or(fraction__11, sticky__3, id=30320, pos=[(0,3347,19), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.30321: bits[22] = bit_slice(fraction__12, start=0, width=22, id=30321, pos=[(0,3360,41), (1,367,48), (1,403,22), (1,427,64)])
  literal.31006: bits[22] = literal(value=0, id=31006, pos=[(0,3346,48), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.30323: bits[1] = bit_slice(fraction__12, start=22, width=1, id=30323, pos=[(0,3359,40), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.30324: bits[1] = bit_slice(fraction__12, start=23, width=1, id=30324, pos=[(0,3363,45), (1,367,48), (1,403,22), (1,427,64)])
  ne.30325: bits[1] = ne(bit_slice.30321, literal.31006, id=30325, pos=[(0,3360,41), (1,367,48), (1,403,22), (1,427,64)])
  not.30326: bits[1] = not(bit_slice.30323, id=30326, pos=[(0,3363,23), (1,367,48), (1,403,22), (1,427,64)])
  not.30327: bits[1] = not(bit_slice.30324, id=30327, pos=[(0,3363,23), (1,367,48), (1,403,22), (1,427,64)])
  greater_than_half_way__1: bits[1] = and(bit_slice.30323, ne.30325, id=30329, pos=[(0,3359,40), (1,367,48), (1,403,22), (1,427,64)])
  nor.30330: bits[1] = nor(not.30326, ne.30325, not.30327, id=30330, pos=[(0,3363,23), (1,367,48), (1,403,22), (1,427,64)])
  fraction__13: bits[23] = bit_slice(fraction__12, start=23, width=23, id=30328, pos=[(1,367,48), (1,403,22), (1,427,64)])
  do_round_up__1: bits[1] = or(greater_than_half_way__1, nor.30330, id=30332, pos=[(0,3362,22), (1,367,48), (1,403,22), (1,427,64)])
  fraction__14: bits[24] = concat(literal.30231, fraction__13, id=30331, pos=[(1,367,48), (1,403,22), (1,427,64)])
  concat.31676: bits[24] = concat(literal.31608, do_round_up__1, id=31676)
  fraction__15: bits[24] = add(fraction__14, concat.31676, id=31061)
  literal.30260: bits[10] = literal(value=1, id=30260, pos=[(0,3374,39), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.30335: bits[1] = bit_slice(fraction__15, start=23, width=1, id=30335, pos=[(0,3374,25), (1,367,48), (1,403,22), (1,427,64)])
  add.30336: bits[10] = add(exp__6, literal.30260, id=30336, pos=[(0,3374,33), (1,367,48), (1,403,22), (1,427,64)])
  exp__7: bits[10] = sel(bit_slice.30335, cases=[exp__6, add.30336], id=30337, pos=[(0,3374,14), (1,367,48), (1,403,22), (1,427,64)])
  is_subnormal__1: bits[1] = sle(exp__7, literal.30245, id=30342, pos=[(0,3375,23), (1,367,48), (1,403,22), (1,427,64)])
  not.31094: bits[1] = not(is_subnormal__1, id=31094, pos=[(0,3384,21), (1,367,48), (1,403,22), (1,427,64)])
  literal.31615: bits[18] = literal(value=0, id=31615, pos=[(0,131,73), (0,809,37), (1,78,31), (1,396,30), (1,427,64)])
  literal.31616: bits[5] = literal(value=0, id=31616, pos=[(0,131,73), (0,809,37), (1,78,31), (1,396,30), (1,427,64)])
  result_exp__2: bits[9] = bit_slice(exp__7, start=0, width=9, id=30343, pos=[(1,367,48), (1,403,22), (1,427,64)])
  sign_ext.31095: bits[9] = sign_ext(not.31094, new_bit_count=9, id=31095, pos=[(0,3384,21), (1,367,48), (1,403,22), (1,427,64)])
  eq.30339: bits[1] = eq(result_fraction__3, literal.31608, id=30339, pos=[(0,96,44), (0,3402,28), (1,367,48), (1,403,22), (1,427,64)])
  eq.30340: bits[1] = eq(approx_bexp__1, high_exp, id=30340, pos=[(0,96,6), (0,3402,62), (1,367,48), (1,403,22), (1,427,64)])
  eq.31580: bits[1] = eq(bit_slice.31514, literal.31615, id=31580, pos=[(0,96,44), (0,3402,62), (1,367,48), (1,403,22), (1,427,64)])
  eq.31582: bits[1] = eq(not.31443, literal.31616, id=31582, pos=[(0,96,44), (0,3402,62), (1,367,48), (1,403,22), (1,427,64)])
  result_exp__3: bits[9] = and(result_exp__2, sign_ext.31095, id=31096, pos=[(0,3384,21), (1,367,48), (1,403,22), (1,427,64)])
  and.30344: bits[1] = and(or.30949, eq.30339, id=30344, pos=[(0,96,6), (0,3402,28), (1,367,48), (1,403,22), (1,427,64)])
  and.31649: bits[1] = and(eq.30340, eq.31580, eq.31582, id=31649, pos=[(0,96,6), (0,3402,62), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.30350: bits[8] = bit_slice(result_exp__3, start=0, width=8, id=30350, pos=[(0,3392,11), (1,367,48), (1,403,22), (1,427,64)])
  has_inf_arg__1: bits[1] = or(and.30344, and.31649, id=30349, pos=[(0,3402,28), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.30354: bits[1] = bit_slice(result_exp__3, start=8, width=1, id=30354, pos=[(0,3392,11), (1,367,48), (1,403,22), (1,427,64)])
  and_reduce.30355: bits[1] = and_reduce(bit_slice.30350, id=30355, pos=[(0,3392,11), (1,367,48), (1,403,22), (1,427,64)])
  nor.31467: bits[1] = nor(bit_slice.30278, and_reduce.30279, id=31467, pos=[(0,71,6), (0,3401,28), (1,367,48), (1,403,22), (1,427,64)])
  not.30348: bits[1] = not(eq.30340, id=30348, pos=[(0,71,6), (0,3401,62), (1,367,48), (1,403,22), (1,427,64)])
  and.31583: bits[1] = and(eq.31580, eq.31582, id=31583, pos=[(0,96,44), (0,3402,62), (1,367,48), (1,403,22), (1,427,64)])
  has_0_arg__1: bits[1] = or(eq.30293, eq.30294, id=30299, pos=[(0,3291,40), (1,367,48), (1,403,22), (1,427,64)])
  or.30357: bits[1] = or(has_inf_arg__1, bit_slice.30354, and_reduce.30355, is_subnormal__1, id=30357, pos=[(0,3397,26), (1,367,48), (1,403,22), (1,427,64)])
  nor.30351: bits[1] = nor(nor.31467, eq.30339, id=30351, pos=[(0,71,6), (0,3401,28), (1,367,48), (1,403,22), (1,427,64)])
  nor.30352: bits[1] = nor(not.30348, and.31583, id=30352, pos=[(0,71,6), (0,3401,62), (1,367,48), (1,403,22), (1,427,64)])
  and.30353: bits[1] = and(has_0_arg__1, has_inf_arg__1, id=30353, pos=[(0,3403,40), (1,367,48), (1,403,22), (1,427,64)])
  not.31097: bits[1] = not(or.30357, id=31097, pos=[(0,3397,26), (1,367,48), (1,403,22), (1,427,64)])
  is_result_nan__1: bits[1] = or(nor.30351, nor.30352, and.30353, id=30356, pos=[(0,3403,24), (1,367,48), (1,403,22), (1,427,64)])
  result_fraction__1: bits[23] = bit_slice(fraction__15, start=0, width=23, id=30358, pos=[(1,367,48), (1,403,22), (1,427,64)])
  sign_ext.31098: bits[23] = sign_ext(not.31097, new_bit_count=23, id=31098, pos=[(0,3397,26), (1,367,48), (1,403,22), (1,427,64)])
  or.30359: bits[1] = or(is_result_nan__1, has_inf_arg__1, bit_slice.30354, and_reduce.30355, id=30359, pos=[(0,3404,21), (1,367,48), (1,403,22), (1,427,64)])
  result_fraction__2: bits[23] = and(result_fraction__1, sign_ext.31098, id=31099, pos=[(0,3397,26), (1,367,48), (1,403,22), (1,427,64)])
  nan_fraction: bits[23] = literal(value=4194304, id=30288, pos=[(0,3405,23), (1,367,48), (1,399,20), (1,427,64)])
  result_exp__5: bits[8] = sel(or.30359, cases=[bit_slice.30350, high_exp], id=30361, pos=[(0,3404,21), (1,367,48), (1,403,22), (1,427,64)])
  result_fraction__5: bits[23] = sel(is_result_nan__1, cases=[result_fraction__2, nan_fraction], id=30362, pos=[(0,3406,26), (1,367,48), (1,403,22), (1,427,64)])
  eq.30363: bits[1] = eq(result_exp__5, literal.30225, id=30363, pos=[(0,804,5), (0,3291,40), (1,367,48), (1,404,22), (1,427,64)])
  prod_fraction__3: bits[24] = concat(literal.31431, result_fraction__5, id=30364, pos=[(0,3294,23), (1,367,48), (1,404,22), (1,427,64)])
  nor.31470: bits[1] = nor(eq.30363, eq.30294, id=31470, pos=[(0,3300,19), (1,367,48), (1,404,22), (1,427,64)])
  concat.30365: bits[9] = concat(literal.30231, result_exp__5, id=30365, pos=[(1,367,48), (1,404,22), (1,427,64)])
  umul.30367: bits[48] = umul(prod_fraction__3, approx_fraction__4, id=30367, pos=[(0,3300,63), (1,367,48), (1,404,22), (1,427,64)])
  sign_ext.31101: bits[48] = sign_ext(nor.31470, new_bit_count=48, id=31101, pos=[(0,3300,19), (1,367,48), (1,404,22), (1,427,64)])
  add.30368: bits[9] = add(concat.30365, concat.31570, id=30368, pos=[(0,3309,16), (1,367,48), (1,404,22), (1,427,64)])
  fraction__16: bits[48] = and(umul.30367, sign_ext.31101, id=31102, pos=[(0,3300,19), (1,367,48), (1,404,22), (1,427,64)])
  concat.30370: bits[10] = concat(literal.30231, add.30368, id=30370, pos=[(0,3309,16), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.30371: bits[1] = bit_slice(fraction__16, start=47, width=1, id=30371, pos=[(0,3324,33), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.30372: bits[1] = bit_slice(fraction__16, start=0, width=1, id=30372, pos=[(0,3329,25), (1,367,48), (1,404,22), (1,427,64)])
  exp__8: bits[10] = add(concat.30370, literal.30240, id=30373, pos=[(0,3309,16), (1,367,48), (1,404,22), (1,427,64)])
  sign_ext.31104: bits[10] = sign_ext(nor.31470, new_bit_count=10, id=31104, pos=[(0,3318,14), (1,367,48), (1,404,22), (1,427,64)])
  fraction__17: bits[48] = shrl(fraction__16, bit_slice.30371, id=30374, pos=[(0,3330,19), (1,367,48), (1,404,22), (1,427,64)])
  sticky__4: bits[48] = concat(literal.30305, bit_slice.30372, id=30375, pos=[(1,367,48), (1,404,22), (1,427,64)])
  exp__9: bits[10] = and(exp__8, sign_ext.31104, id=31105, pos=[(0,3318,14), (1,367,48), (1,404,22), (1,427,64)])
  concat.30377: bits[10] = concat(literal.31691, bit_slice.30371, id=30377, pos=[(1,367,48), (1,404,22), (1,427,64)])
  fraction__18: bits[48] = or(fraction__17, sticky__4, id=30378, pos=[(0,3331,19), (1,367,48), (1,404,22), (1,427,64)])
  exp__10: bits[10] = add(exp__9, concat.30377, id=30379, pos=[(0,3334,14), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.30380: bits[47] = bit_slice(fraction__18, start=1, width=47, id=30380, pos=[(0,3346,48), (1,367,48), (1,404,22), (1,427,64)])
  sle.30381: bits[1] = sle(exp__10, literal.30245, id=30381, pos=[(0,3346,22), (1,367,48), (1,404,22), (1,427,64)])
  concat.30382: bits[48] = concat(literal.30231, bit_slice.30380, id=30382, pos=[(0,3346,48), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.30383: bits[1] = bit_slice(fraction__18, start=0, width=1, id=30383, pos=[(0,3345,25), (1,367,48), (1,404,22), (1,427,64)])
  fraction__19: bits[48] = sel(sle.30381, cases=[fraction__18, concat.30382], id=30384, pos=[(0,3346,19), (1,367,48), (1,404,22), (1,427,64)])
  sticky__5: bits[48] = concat(literal.30305, bit_slice.30383, id=30385, pos=[(1,367,48), (1,404,22), (1,427,64)])
  fraction__20: bits[48] = or(fraction__19, sticky__5, id=30386, pos=[(0,3347,19), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.30387: bits[22] = bit_slice(fraction__20, start=0, width=22, id=30387, pos=[(0,3360,41), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.30388: bits[1] = bit_slice(fraction__20, start=22, width=1, id=30388, pos=[(0,3359,40), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.30389: bits[1] = bit_slice(fraction__20, start=23, width=1, id=30389, pos=[(0,3363,45), (1,367,48), (1,404,22), (1,427,64)])
  ne.30390: bits[1] = ne(bit_slice.30387, literal.31006, id=30390, pos=[(0,3360,41), (1,367,48), (1,404,22), (1,427,64)])
  not.30391: bits[1] = not(bit_slice.30388, id=30391, pos=[(0,3363,23), (1,367,48), (1,404,22), (1,427,64)])
  not.30392: bits[1] = not(bit_slice.30389, id=30392, pos=[(0,3363,23), (1,367,48), (1,404,22), (1,427,64)])
  greater_than_half_way__2: bits[1] = and(bit_slice.30388, ne.30390, id=30394, pos=[(0,3359,40), (1,367,48), (1,404,22), (1,427,64)])
  nor.30395: bits[1] = nor(not.30391, ne.30390, not.30392, id=30395, pos=[(0,3363,23), (1,367,48), (1,404,22), (1,427,64)])
  fraction__21: bits[23] = bit_slice(fraction__20, start=23, width=23, id=30393, pos=[(1,367,48), (1,404,22), (1,427,64)])
  do_round_up__2: bits[1] = or(greater_than_half_way__2, nor.30395, id=30397, pos=[(0,3362,22), (1,367,48), (1,404,22), (1,427,64)])
  fraction__22: bits[24] = concat(literal.30231, fraction__21, id=30396, pos=[(1,367,48), (1,404,22), (1,427,64)])
  concat.31677: bits[24] = concat(literal.31608, do_round_up__2, id=31677)
  fraction__23: bits[24] = add(fraction__22, concat.31677, id=31064)
  bit_slice.30400: bits[1] = bit_slice(fraction__23, start=23, width=1, id=30400, pos=[(0,3374,25), (1,367,48), (1,404,22), (1,427,64)])
  add.30401: bits[10] = add(exp__10, literal.30260, id=30401, pos=[(0,3374,33), (1,367,48), (1,404,22), (1,427,64)])
  exp__11: bits[10] = sel(bit_slice.30400, cases=[exp__10, add.30401], id=30404, pos=[(0,3374,14), (1,367,48), (1,404,22), (1,427,64)])
  is_subnormal__2: bits[1] = sle(exp__11, literal.30245, id=30406, pos=[(0,3375,23), (1,367,48), (1,404,22), (1,427,64)])
  eq.30403: bits[1] = eq(result_fraction__5, literal.31608, id=30403, pos=[(0,96,44), (0,3402,28), (1,367,48), (1,404,22), (1,427,64)])
  not.31108: bits[1] = not(is_subnormal__2, id=31108, pos=[(0,3384,21), (1,367,48), (1,404,22), (1,427,64)])
  and.30405: bits[1] = and(or.30359, eq.30403, id=30405, pos=[(0,96,6), (0,3402,28), (1,367,48), (1,404,22), (1,427,64)])
  result_exp__6: bits[9] = bit_slice(exp__11, start=0, width=9, id=30407, pos=[(1,367,48), (1,404,22), (1,427,64)])
  sign_ext.31109: bits[9] = sign_ext(not.31108, new_bit_count=9, id=31109, pos=[(0,3384,21), (1,367,48), (1,404,22), (1,427,64)])
  not.30408: bits[1] = not(or.30359, id=30408, pos=[(0,71,6), (0,3401,28), (1,367,48), (1,404,22), (1,427,64)])
  has_0_arg__2: bits[1] = or(eq.30363, eq.30294, id=30366, pos=[(0,3291,40), (1,367,48), (1,404,22), (1,427,64)])
  has_inf_arg__2: bits[1] = or(and.30405, and.31649, id=30409, pos=[(0,3402,28), (1,367,48), (1,404,22), (1,427,64)])
  result_exp__7: bits[9] = and(result_exp__6, sign_ext.31109, id=31110, pos=[(0,3384,21), (1,367,48), (1,404,22), (1,427,64)])
  nor.30411: bits[1] = nor(not.30408, eq.30403, id=30411, pos=[(0,71,6), (0,3401,28), (1,367,48), (1,404,22), (1,427,64)])
  and.30412: bits[1] = and(has_0_arg__2, has_inf_arg__2, id=30412, pos=[(0,3403,40), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.30413: bits[8] = bit_slice(result_exp__7, start=0, width=8, id=30413, pos=[(0,3392,11), (1,367,48), (1,404,22), (1,427,64)])
  is_result_nan__2: bits[1] = or(nor.30411, nor.30352, and.30412, id=30414, pos=[(0,3403,24), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.30415: bits[1] = bit_slice(result_exp__7, start=8, width=1, id=30415, pos=[(0,3392,11), (1,367,48), (1,404,22), (1,427,64)])
  and_reduce.30416: bits[1] = and_reduce(bit_slice.30413, id=30416, pos=[(0,3392,11), (1,367,48), (1,404,22), (1,427,64)])
  or.30417: bits[1] = or(is_result_nan__2, has_inf_arg__2, bit_slice.30415, and_reduce.30416, id=30417, pos=[(0,3404,21), (1,367,48), (1,404,22), (1,427,64)])
  result_exp__8: bits[8] = sel(or.30417, cases=[bit_slice.30413, high_exp], id=30418, pos=[(0,3404,21), (1,367,48), (1,404,22), (1,427,64)])
  nprod_bexpnot: bits[8] = not(result_exp__8, id=30419, pos=[(3,90,15), (0,3009,44), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  nprod_bexpnot_extended: bits[9] = concat(literal.30231, nprod_bexpnot, id=30420, pos=[(3,91,63), (0,3009,44), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  ONE_POINT_FIVE_bexp_extended__2: bits[9] = literal(value=127, id=30421, pos=[(3,91,63), (0,3009,44), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  or.30424: bits[1] = or(has_inf_arg__2, bit_slice.30415, and_reduce.30416, is_subnormal__2, id=30424, pos=[(0,3397,26), (1,367,48), (1,404,22), (1,427,64)])
  full_result__1: bits[9] = add(nprod_bexpnot_extended, ONE_POINT_FIVE_bexp_extended__2, id=30422, pos=[(2,1120,45), (3,91,63), (0,3009,44), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  not.31111: bits[1] = not(or.30424, id=31111, pos=[(0,3397,26), (1,367,48), (1,404,22), (1,427,64)])
  overflow_detected: bits[1] = bit_slice(full_result__1, start=8, width=1, id=30426, pos=[(2,1122,49), (3,91,63), (0,3009,44), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  result_fraction__6: bits[23] = bit_slice(fraction__23, start=0, width=23, id=30425, pos=[(1,367,48), (1,404,22), (1,427,64)])
  sign_ext.31112: bits[23] = sign_ext(not.31111, new_bit_count=23, id=31112, pos=[(0,3397,26), (1,367,48), (1,404,22), (1,427,64)])
  ONE_POINT_FIVE_bexp__2: bits[8] = literal(value=127, id=30433, pos=[(0,3091,59), (1,363,48), (1,406,22), (1,427,64)])
  nc: bits[1] = not(overflow_detected, id=30921, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  or.30919: bits[1] = or(overflow_detected, is_result_nan__2, id=30919, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  result_fraction__7: bits[23] = and(result_fraction__6, sign_ext.31112, id=31113, pos=[(0,3397,26), (1,367,48), (1,404,22), (1,427,64)])
  ONE_POINT_FIVE_bexp__3: bits[8] = sel(overflow_detected, cases=[result_exp__8, ONE_POINT_FIVE_bexp__2], id=30439, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  or.30922: bits[1] = or(nc, is_result_nan__2, id=30922, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  nprod_bexp: bits[8] = sel(overflow_detected, cases=[ONE_POINT_FIVE_bexp__2, result_exp__8], id=30441, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  approx_sign__2: bits[1] = bit_slice(sub.31441, start=26, width=1, id=31516, pos=[(0,378,15), (1,61,65), (1,398,26), (1,427,64)])
  ONE_POINT_FIVE_fraction__1: bits[23] = sel(or.30919, cases=[result_fraction__7, nan_fraction], id=30920, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  ne.31463: bits[1] = ne(ONE_POINT_FIVE_bexp__3, literal.30225, id=31463, pos=[(0,3099,21), (1,363,48), (1,406,22), (1,427,64)])
  nprod_fraction: bits[23] = sel(or.30922, cases=[result_fraction__7, nan_fraction], id=30923, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  ne.31462: bits[1] = ne(nprod_bexp, literal.30225, id=31462, pos=[(0,3100,21), (1,363,48), (1,406,22), (1,427,64)])
  not.30431: bits[1] = not(is_result_nan__1, id=30431, pos=[(0,3407,22), (1,367,48), (1,403,22), (1,427,64)])
  result_sign__2: bits[1] = xor(x_sign__1, approx_sign__2, id=30432, pos=[(0,3378,23), (1,367,48), (1,403,22), (1,427,64)])
  fraction_x: bits[24] = concat(literal.31431, ONE_POINT_FIVE_fraction__1, id=30448, pos=[(0,3095,22), (1,363,48), (1,406,22), (1,427,64)])
  sign_ext.31115: bits[24] = sign_ext(ne.31463, new_bit_count=24, id=31115, pos=[(0,3099,21), (1,363,48), (1,406,22), (1,427,64)])
  fraction_y: bits[24] = concat(literal.31431, nprod_fraction, id=30451, pos=[(0,3096,22), (1,363,48), (1,406,22), (1,427,64)])
  sign_ext.31118: bits[24] = sign_ext(ne.31462, new_bit_count=24, id=31118, pos=[(0,3100,21), (1,363,48), (1,406,22), (1,427,64)])
  narrowed_result: bits[8] = bit_slice(full_result__1, start=0, width=8, id=30435, pos=[(3,91,63), (0,3009,44), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  ONE_POINT_FIVE_bexpor_mask__1: bits[8] = sign_ext(nc, new_bit_count=8, id=30436, pos=[(3,94,32), (0,3009,44), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  literal.30437: bits[7] = literal(value=0, id=30437, pos=[(0,3010,68), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  result_sign__3: bits[1] = and(not.30431, result_sign__2, id=30438, pos=[(0,3407,22), (1,367,48), (1,403,22), (1,427,64)])
  fraction_x__1: bits[24] = and(fraction_x, sign_ext.31115, id=31116, pos=[(0,3099,21), (1,363,48), (1,406,22), (1,427,64)])
  fraction_y__1: bits[24] = and(fraction_y, sign_ext.31118, id=31119, pos=[(0,3100,21), (1,363,48), (1,406,22), (1,427,64)])
  ONE_POINT_FIVEddend_x__2_squeezed_const_lsb_bits: bits[3] = literal(value=0, id=30457, pos=[(0,3104,17), (1,363,48), (1,406,22), (1,427,64)])
  result__5: bits[8] = xor(narrowed_result, ONE_POINT_FIVE_bexpor_mask__1, id=30443, pos=[(3,95,18), (0,3009,44), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  concat.30444: bits[8] = concat(literal.30437, overflow_detected, id=30444, pos=[(0,3010,68), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  not.30445: bits[1] = not(is_result_nan__2, id=30445, pos=[(0,3407,22), (1,367,48), (1,404,22), (1,427,64)])
  result_sign__4: bits[1] = xor(result_sign__3, approx_sign__2, id=30446, pos=[(0,3378,23), (1,367,48), (1,404,22), (1,427,64)])
  wide_x_squeezed: bits[25] = concat(literal.30231, fraction_x__1, id=30460, pos=[(0,3103,17), (1,363,48), (1,406,22), (1,427,64)])
  wide_y_shift_bits: bits[27] = concat(fraction_y__1, ONE_POINT_FIVEddend_x__2_squeezed_const_lsb_bits, id=30461, pos=[(0,3116,31), (1,363,48), (1,406,22), (1,427,64)])
  shift: bits[8] = add(result__5, concat.30444, id=30453, pos=[(3,54,7), (0,3010,68), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  literal.30452: bits[28] = literal(value=268435455, id=30452, pos=[(2,1412,19), (2,1502,17), (2,1529,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  result_sign__5: bits[1] = and(not.30445, result_sign__4, id=30454, pos=[(0,3407,22), (1,367,48), (1,404,22), (1,427,64)])
  neg.30466: bits[25] = neg(wide_x_squeezed, id=30466, pos=[(0,3110,41), (1,363,48), (1,406,22), (1,427,64)])
  shrl.30467: bits[27] = shrl(wide_y_shift_bits, shift, id=30467, pos=[(0,3116,31), (1,363,48), (1,406,22), (1,427,64)])
  not.31585: bits[23] = not(nprod_fraction, id=31585, pos=[(2,1412,4), (2,1502,17), (2,1529,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  shll.30458: bits[28] = shll(literal.30452, shift, id=30458, pos=[(2,1412,19), (2,1502,17), (2,1529,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  ONE_POINT_FIVEddend_x__2_squeezed: bits[25] = sel(result_sign__5, cases=[neg.30466, wide_x_squeezed], id=31122, pos=[(0,3110,19), (1,363,48), (1,406,22), (1,427,64)])
  literal.30475: bits[2] = literal(value=0, id=30475, pos=[(1,363,48), (1,406,22), (1,427,64)])
  bit_slice.31566: bits[24] = bit_slice(shrl.30467, start=3, width=24, id=31566, pos=[(0,3120,20), (1,363,48), (1,406,22), (1,427,64)])
  concat.31588: bits[24] = concat(literal.30231, not.31585, id=31588, pos=[(2,1412,4), (2,1502,17), (2,1529,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  not.31473: bits[24] = not(sign_ext.31118, id=31473, pos=[(2,1412,4), (2,1502,17), (2,1529,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30463: bits[24] = bit_slice(shll.30458, start=3, width=24, id=30463, pos=[(2,1412,19), (2,1502,17), (2,1529,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  sign_ext.31537: bits[26] = sign_ext(ONE_POINT_FIVEddend_x__2_squeezed, new_bit_count=26, id=31537, pos=[(0,3120,20), (1,363,48), (1,406,22), (1,427,64)])
  concat.31539: bits[26] = concat(literal.30475, bit_slice.31566, id=31539, pos=[(0,3120,20), (1,363,48), (1,406,22), (1,427,64)])
  nor.31474: bits[24] = nor(concat.31588, not.31473, bit_slice.30463, id=31474, pos=[(2,1412,4), (2,1502,17), (2,1529,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  literal.30449: bits[24] = literal(value=0, id=30449, pos=[(0,3099,49), (1,363,48), (1,406,22), (1,427,64)])
  add.31447: bits[26] = add(sign_ext.31537, concat.31539, id=31447, pos=[(0,3120,20), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30472: bits[1] = bit_slice(shrl.30467, start=0, width=1, id=30472, pos=[(0,3053,40), (0,3116,30), (1,363,48), (1,406,22), (1,427,64)])
  sticky__6: bits[1] = ne(nor.31474, literal.30449, id=30473, pos=[(2,1502,17), (2,1529,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.31518: bits[25] = bit_slice(add.31447, start=0, width=25, id=31518, pos=[(0,3120,20), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.31567: bits[2] = bit_slice(shrl.30467, start=1, width=2, id=31567, pos=[(0,3120,20), (1,363,48), (1,406,22), (1,427,64)])
  or.30477: bits[1] = or(bit_slice.30472, sticky__6, id=30477, pos=[(0,3053,40), (0,3116,30), (1,363,48), (1,406,22), (1,427,64)])
  concat.31577: bits[28] = concat(bit_slice.31518, bit_slice.31567, or.30477, id=31577, pos=[(0,3120,20), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.31520: bits[1] = bit_slice(add.31447, start=25, width=1, id=31520, pos=[(0,3130,12), (1,363,48), (1,406,22), (1,427,64)])
  neg.30483: bits[28] = neg(concat.31577, id=30483, pos=[(0,3130,46), (1,363,48), (1,406,22), (1,427,64)])
  ONE_POINT_FIVEbs_fraction__1: bits[28] = sel(bit_slice.31520, cases=[concat.31577, neg.30483], id=30484, pos=[(0,3130,9), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30572: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=4, width=1, id=30572, pos=[(2,1591,70), (2,1596,64), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30548: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=6, width=1, id=30548, pos=[(2,1591,70), (2,1596,34), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30545: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=11, width=1, id=30545, pos=[(2,1591,40), (2,1596,34), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30523: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=10, width=1, id=30523, pos=[(2,1591,70), (2,1596,34), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30568: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=9, width=1, id=30568, pos=[(2,1591,40), (2,1596,64), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30547: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=8, width=1, id=30547, pos=[(2,1591,70), (2,1596,64), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30522: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=12, width=1, id=30522, pos=[(2,1591,70), (2,1596,64), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30502: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=14, width=1, id=30502, pos=[(2,1591,70), (2,1596,34), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30499: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=19, width=1, id=30499, pos=[(2,1591,40), (2,1596,34), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30490: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=18, width=1, id=30490, pos=[(2,1591,70), (2,1596,34), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30518: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=17, width=1, id=30518, pos=[(2,1591,40), (2,1596,64), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30501: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=16, width=1, id=30501, pos=[(2,1591,70), (2,1596,64), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  carry_bit: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=27, width=1, id=30486, pos=[(2,1591,40), (2,1596,34), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30485: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=26, width=1, id=30485, pos=[(2,1591,70), (2,1596,34), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30494: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=25, width=1, id=30494, pos=[(2,1591,40), (2,1596,64), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30488: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=24, width=1, id=30488, pos=[(2,1591,70), (2,1596,64), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30496: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=23, width=1, id=30496, pos=[(2,1591,40), (2,1596,34), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30489: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=22, width=1, id=30489, pos=[(2,1591,70), (2,1596,34), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30513: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=21, width=1, id=30513, pos=[(2,1591,40), (2,1596,64), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30498: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=20, width=1, id=30498, pos=[(2,1591,70), (2,1596,64), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30570: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=7, width=1, id=30570, pos=[(2,1591,40), (2,1596,34), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30592: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=5, width=1, id=30592, pos=[(2,1591,40), (2,1596,64), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30593: bits[1] = not(bit_slice.30572, id=30593, pos=[(2,1584,4), (2,1591,64), (2,1596,64), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30571: bits[1] = not(bit_slice.30548, id=30571, pos=[(2,1584,4), (2,1591,64), (2,1596,34), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  or.31013: bits[1] = or(bit_slice.30545, bit_slice.30523, id=31013, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30587: bits[1] = nor(bit_slice.30568, bit_slice.30547, id=30587, pos=[(2,1591,22), (2,1596,64), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30566: bits[1] = nor(bit_slice.30545, bit_slice.30523, id=30566, pos=[(2,1591,22), (2,1596,34), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30546: bits[1] = not(bit_slice.30523, id=30546, pos=[(2,1584,4), (2,1591,64), (2,1596,34), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30569: bits[1] = not(bit_slice.30547, id=30569, pos=[(2,1584,4), (2,1591,64), (2,1596,64), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30520: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=15, width=1, id=30520, pos=[(2,1591,40), (2,1596,34), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30543: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=13, width=1, id=30543, pos=[(2,1591,40), (2,1596,64), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30544: bits[1] = not(bit_slice.30522, id=30544, pos=[(2,1584,4), (2,1591,64), (2,1596,64), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30521: bits[1] = not(bit_slice.30502, id=30521, pos=[(2,1584,4), (2,1591,64), (2,1596,34), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  or.31014: bits[1] = or(bit_slice.30499, bit_slice.30490, id=31014, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30538: bits[1] = nor(bit_slice.30518, bit_slice.30501, id=30538, pos=[(2,1591,22), (2,1596,64), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30516: bits[1] = nor(bit_slice.30499, bit_slice.30490, id=30516, pos=[(2,1591,22), (2,1596,34), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.31656: bits[1] = not(bit_slice.30490, id=31656, pos=[(2,1591,22), (2,1596,34), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30519: bits[1] = not(bit_slice.30501, id=30519, pos=[(2,1584,4), (2,1591,64), (2,1596,64), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30492: bits[1] = nor(carry_bit, bit_slice.30485, id=30492, pos=[(2,1591,22), (2,1596,34), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30508: bits[1] = nor(bit_slice.30494, bit_slice.30488, id=30508, pos=[(2,1591,22), (2,1596,64), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  or.31016: bits[1] = or(carry_bit, bit_slice.30485, id=31016, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.31660: bits[1] = not(bit_slice.30485, id=31660, pos=[(2,1591,22), (2,1596,34), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30495: bits[1] = not(bit_slice.30488, id=30495, pos=[(2,1584,4), (2,1591,64), (2,1596,64), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  or.31017: bits[1] = or(bit_slice.30496, bit_slice.30489, id=31017, pos=[(2,1596,22), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30532: bits[1] = nor(bit_slice.30513, bit_slice.30498, id=30532, pos=[(2,1591,22), (2,1596,64), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30511: bits[1] = nor(bit_slice.30496, bit_slice.30489, id=30511, pos=[(2,1591,22), (2,1596,34), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30497: bits[1] = not(bit_slice.30489, id=30497, pos=[(2,1584,4), (2,1591,64), (2,1596,34), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30514: bits[1] = not(bit_slice.30498, id=30514, pos=[(2,1584,4), (2,1591,64), (2,1596,64), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30614: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=3, width=1, id=30614, pos=[(2,1591,40), (2,1596,34), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30594: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=2, width=1, id=30594, pos=[(2,1591,70), (2,1596,34), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30638: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=1, width=1, id=30638, pos=[(2,1591,40), (2,1596,64), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30616: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=0, width=1, id=30616, pos=[(2,1591,70), (2,1596,64), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  or.31012: bits[1] = or(bit_slice.30570, bit_slice.30548, id=31012, pos=[(2,1596,22), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30612: bits[1] = nor(bit_slice.30592, bit_slice.30572, id=30612, pos=[(2,1591,22), (2,1596,64), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30611: bits[1] = nor(bit_slice.30592, not.30593, id=30611, pos=[(2,1591,22), (2,1596,64), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30590: bits[1] = nor(bit_slice.30570, bit_slice.30548, id=30590, pos=[(2,1591,22), (2,1596,34), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30589: bits[1] = nor(bit_slice.30570, not.30571, id=30589, pos=[(2,1591,22), (2,1596,34), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30669: bits[1] = nor(or.31013, nor.30587, id=30669, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30670: bits[1] = and(nor.30566, nor.30587, id=30670, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30565: bits[1] = nor(bit_slice.30545, not.30546, id=30565, pos=[(2,1591,22), (2,1596,34), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30586: bits[1] = nor(bit_slice.30568, not.30569, id=30586, pos=[(2,1591,22), (2,1596,64), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  or.31015: bits[1] = or(bit_slice.30520, bit_slice.30502, id=31015, pos=[(2,1596,22), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30563: bits[1] = nor(bit_slice.30543, bit_slice.30522, id=30563, pos=[(2,1591,22), (2,1596,64), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30562: bits[1] = nor(bit_slice.30543, not.30544, id=30562, pos=[(2,1591,22), (2,1596,64), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30541: bits[1] = nor(bit_slice.30520, bit_slice.30502, id=30541, pos=[(2,1591,22), (2,1596,34), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30540: bits[1] = nor(bit_slice.30520, not.30521, id=30540, pos=[(2,1591,22), (2,1596,34), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30624: bits[1] = nor(or.31014, nor.30538, id=30624, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30625: bits[1] = and(nor.30516, nor.30538, id=30625, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.31657: bits[1] = nor(bit_slice.30499, not.31656, id=31657, pos=[(2,1591,22), (2,1596,34), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30537: bits[1] = nor(bit_slice.30518, not.30519, id=30537, pos=[(2,1591,22), (2,1596,64), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30596: bits[1] = and(nor.30492, nor.30508, id=30596, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30595: bits[1] = nor(or.31016, nor.30508, id=30595, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.31661: bits[1] = nor(carry_bit, not.31660, id=31661, pos=[(2,1591,22), (2,1596,34), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30507: bits[1] = nor(bit_slice.30494, not.30495, id=30507, pos=[(2,1591,22), (2,1596,64), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30621: bits[1] = nor(or.31017, nor.30532, id=30621, pos=[(2,1596,22), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30622: bits[1] = and(nor.30511, nor.30532, id=30622, pos=[(2,1596,22), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30510: bits[1] = nor(bit_slice.30496, not.30497, id=30510, pos=[(2,1591,22), (2,1596,34), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30531: bits[1] = nor(bit_slice.30513, not.30514, id=30531, pos=[(2,1591,22), (2,1596,64), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  or.31011: bits[1] = or(bit_slice.30614, bit_slice.30594, id=31011, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30660: bits[1] = nor(bit_slice.30638, bit_slice.30616, id=30660, pos=[(2,1591,22), (2,1596,64), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30636: bits[1] = nor(bit_slice.30614, bit_slice.30594, id=30636, pos=[(2,1591,22), (2,1596,34), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30615: bits[1] = not(bit_slice.30594, id=30615, pos=[(2,1584,4), (2,1591,64), (2,1596,34), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30639: bits[1] = not(bit_slice.30616, id=30639, pos=[(2,1584,4), (2,1591,64), (2,1596,64), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30686: bits[1] = nor(or.31012, nor.30612, id=30686, pos=[(2,1596,22), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30996: bits[2] = concat(literal.31431, nor.30611, id=30996, pos=[(2,1596,22), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31230: bits[2] = concat(nor.30590, nor.30589, id=31230, pos=[(2,1591,22), (2,1596,34), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30682: bits[2] = concat(nor.30669, and.30670, id=30682, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31423: bits[2] = concat(nor.30565, literal.30231, id=31423, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31388: bits[2] = concat(literal.31431, nor.30586, id=31388, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31221: bits[2] = concat(nor.30566, nor.30565, id=31221, pos=[(2,1591,22), (2,1596,34), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30649: bits[1] = nor(or.31015, nor.30563, id=30649, pos=[(2,1596,22), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30991: bits[2] = concat(literal.31431, nor.30562, id=30991, pos=[(2,1596,22), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31212: bits[2] = concat(nor.30541, nor.30540, id=31212, pos=[(2,1591,22), (2,1596,34), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30645: bits[2] = concat(nor.30624, and.30625, id=30645, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31422: bits[2] = concat(nor.31657, literal.30231, id=31422, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31379: bits[2] = concat(literal.31431, nor.30537, id=31379, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31203: bits[2] = concat(nor.30516, nor.31657, id=31203, pos=[(2,1591,22), (2,1596,34), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30678: bits[1] = not(and.30596, id=30678, pos=[(2,1601,22), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30617: bits[2] = concat(nor.30595, and.30596, id=30617, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31421: bits[2] = concat(nor.31661, literal.30231, id=31421, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31372: bits[2] = concat(literal.31431, nor.30507, id=31372, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31185: bits[2] = concat(literal.30231, nor.31661, id=31185, pos=[(2,1591,22), (2,1596,34), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30641: bits[2] = concat(nor.30621, and.30622, id=30641, pos=[(2,1596,22), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30984: bits[2] = concat(nor.30510, literal.30231, id=30984, pos=[(2,1596,22), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30986: bits[2] = concat(literal.31431, nor.30531, id=30986, pos=[(2,1596,22), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31194: bits[2] = concat(nor.30511, nor.30510, id=31194, pos=[(2,1591,22), (2,1596,34), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30712: bits[1] = nor(or.31011, nor.30660, id=30712, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30713: bits[1] = and(nor.30636, nor.30660, id=30713, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30635: bits[1] = nor(bit_slice.30614, not.30615, id=30635, pos=[(2,1591,22), (2,1596,34), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30659: bits[1] = nor(bit_slice.30638, not.30639, id=30659, pos=[(2,1591,22), (2,1596,64), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30720: bits[1] = not(and.30670, id=30720, pos=[(2,1601,22), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30687: bits[1] = and(nor.30590, nor.30612, id=30687, pos=[(2,1596,22), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.31026: bits[2] = priority_sel(nor.30686, cases=[concat.30996], default=concat.31230, id=31026, pos=[(2,1596,22), (2,1601,64), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.31261: bits[2] = priority_sel(concat.30682, cases=[concat.31423, concat.31388], default=concat.31221, id=31261, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30694: bits[1] = not(and.30625, id=30694, pos=[(2,1601,22), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30650: bits[1] = and(nor.30541, nor.30563, id=30650, pos=[(2,1596,22), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.31127: bits[2] = priority_sel(nor.30649, cases=[concat.30991], default=concat.31212, id=31127, pos=[(2,1596,22), (2,1601,64), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.31243: bits[2] = priority_sel(concat.30645, cases=[concat.31422, concat.31379], default=concat.31203, id=31243, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30691: bits[1] = nor(not.30678, and.30622, id=30691, pos=[(2,1601,22), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30692: bits[1] = and(and.30596, and.30622, id=30692, pos=[(2,1601,22), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.31234: bits[2] = priority_sel(concat.30617, cases=[concat.31421, concat.31372], default=concat.31185, id=31234, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.30968: bits[2] = priority_sel(concat.30641, cases=[concat.30984, concat.30986], default=concat.31194, id=30968, pos=[(2,1596,22), (2,1601,64), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30722: bits[2] = concat(nor.30712, and.30713, id=30722, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31425: bits[2] = concat(nor.30635, literal.30231, id=31425, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31402: bits[2] = concat(literal.31431, nor.30659, id=31402, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31257: bits[2] = concat(nor.30636, nor.30635, id=31257, pos=[(2,1591,22), (2,1596,34), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30728: bits[1] = nor(not.30720, and.30687, id=30728, pos=[(2,1601,22), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31354: bits[3] = concat(literal.31431, priority_sel.31026, id=31354, pos=[(2,1541,24), (2,1601,22), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31266: bits[3] = concat(and.30670, priority_sel.31261, id=31266, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30707: bits[1] = nor(not.30694, and.30650, id=30707, pos=[(2,1601,22), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31001: bits[3] = concat(literal.31431, priority_sel.31127, id=31001, pos=[(2,1601,22), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31248: bits[3] = concat(and.30625, priority_sel.31243, id=31248, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30703: bits[2] = concat(nor.30691, and.30692, id=30703, pos=[(2,1601,22), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31424: bits[3] = concat(priority_sel.31234, literal.30231, id=31424, pos=[(2,1601,22), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31395: bits[3] = concat(literal.31431, priority_sel.30968, id=31395, pos=[(2,1601,22), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31239: bits[3] = concat(literal.30231, priority_sel.31234, id=31239, pos=[(2,1596,22), (2,1601,34), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.31279: bits[2] = priority_sel(concat.30722, cases=[concat.31425, concat.31402], default=concat.31257, id=31279, pos=[(2,1596,22), (2,1601,34), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.31130: bits[3] = priority_sel(nor.30728, cases=[concat.31354], default=concat.31266, id=31130, pos=[(2,1601,22), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.30732: bits[1] = not(and.30692, id=30732, pos=[(2,1606,22), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30708: bits[1] = and(and.30625, and.30650, id=30708, pos=[(2,1601,22), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.31028: bits[3] = priority_sel(nor.30707, cases=[concat.31001], default=concat.31248, id=31028, pos=[(2,1601,22), (2,1606,64), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.31270: bits[3] = priority_sel(concat.30703, cases=[concat.31424, concat.31395], default=concat.31239, id=31270, pos=[(2,1601,22), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30729: bits[1] = and(and.30670, and.30687, id=30729, pos=[(2,1601,22), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31417: bits[4] = concat(literal.31431, and.30713, priority_sel.31279, id=31417, pos=[(2,1606,22), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31419: bits[4] = concat(literal.30231, priority_sel.31130, id=31419, pos=[(2,1601,22), (2,1606,34), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.30740: bits[1] = nor(not.30732, and.30708, id=30740, pos=[(2,1606,22), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31357: bits[4] = concat(literal.31431, priority_sel.31028, id=31357, pos=[(2,1541,24), (2,1606,22), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31275: bits[4] = concat(and.30692, priority_sel.31270, id=31275, pos=[(2,1601,22), (2,1606,34), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.30752: bits[4] = priority_sel(and.30729, cases=[concat.31417], default=concat.31419, id=30752, pos=[(2,1606,22), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.31136: bits[4] = priority_sel(nor.30740, cases=[concat.31357], default=concat.31275, id=31136, pos=[(2,1606,22), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.30741: bits[1] = and(and.30692, and.30708, id=30741, pos=[(2,1606,22), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30754: bits[5] = concat(literal.31431, priority_sel.30752, id=30754, pos=[(2,1611,22), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.31420: bits[5] = concat(literal.30231, priority_sel.31136, id=31420, pos=[(2,1606,22), (2,1611,35), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.30755: bits[29] = concat(literal.30231, ONE_POINT_FIVEbs_fraction__1, id=30755, pos=[(1,363,48), (1,406,22), (1,427,64)])
  leading_zeroes: bits[5] = priority_sel(and.30741, cases=[concat.30754], default=concat.31420, id=30756, pos=[(2,1611,22), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  cancel_fraction: bits[29] = shll(concat.30755, leading_zeroes, id=30757, pos=[(0,3144,26), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30758: bits[26] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=2, width=26, id=30758, pos=[(0,3053,20), (0,3137,36), (1,363,48), (1,406,22), (1,427,64)])
  or.30759: bits[1] = or(bit_slice.30638, bit_slice.30616, id=30759, pos=[(0,3053,40), (0,3137,36), (1,363,48), (1,406,22), (1,427,64)])
  cancel_fraction__1: bits[27] = bit_slice(cancel_fraction, start=1, width=27, id=30760, pos=[(1,363,48), (1,406,22), (1,427,64)])
  carry_fraction__1: bits[27] = concat(bit_slice.30758, or.30759, id=30761, pos=[(0,3053,20), (0,3137,36), (1,363,48), (1,406,22), (1,427,64)])
  shifted_fraction: bits[27] = sel(carry_bit, cases=[cancel_fraction__1, carry_fraction__1], id=30762, pos=[(0,3146,27), (1,363,48), (1,406,22), (1,427,64)])
  normal_chunk: bits[3] = bit_slice(shifted_fraction, start=0, width=3, id=30763, pos=[(0,3158,39), (1,363,48), (1,406,22), (1,427,64)])
  fraction_shift__3: bits[3] = literal(value=4, id=30739, pos=[(2,1601,22), (2,1606,64), (2,1611,66), (2,1644,30), (2,1708,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  half_way_chunk: bits[2] = bit_slice(shifted_fraction, start=2, width=2, id=30764, pos=[(0,3159,41), (1,363,48), (1,406,22), (1,427,64)])
  literal.30765: bits[2] = literal(value=3, id=30765, pos=[(0,3160,68), (1,363,48), (1,406,22), (1,427,64)])
  ugt.30766: bits[1] = ugt(normal_chunk, fraction_shift__3, id=30766, pos=[(0,3160,23), (1,363,48), (1,406,22), (1,427,64)])
  eq.30767: bits[1] = eq(half_way_chunk, literal.30765, id=30767, pos=[(0,3160,50), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.31542: bits[24] = bit_slice(shifted_fraction, start=3, width=24, id=31542)
  do_round_up__3: bits[1] = or(ugt.30766, eq.30767, id=30770, pos=[(0,3160,23), (1,363,48), (1,406,22), (1,427,64)])
  concat.31543: bits[25] = concat(literal.30231, bit_slice.31542, id=31543)
  concat.31678: bits[25] = concat(literal.30449, do_round_up__3, id=31678)
  add.31459: bits[25] = add(concat.31543, concat.31678, id=31459)
  rounding_carry: bits[1] = bit_slice(add.31459, start=24, width=1, id=31522, pos=[(0,3168,41), (1,363,48), (1,406,22), (1,427,64)])
  literal.31632: bits[26] = literal(value=0, id=31632, pos=[(0,3121,39), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.31672: bits[1] = bit_slice(shrl.30467, start=1, width=1, id=31672, pos=[(0,3121,27), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.31673: bits[1] = bit_slice(shrl.30467, start=2, width=1, id=31673, pos=[(0,3121,27), (1,363,48), (1,406,22), (1,427,64)])
  concat.30775: bits[9] = concat(literal.30231, ONE_POINT_FIVE_bexp__3, id=30775, pos=[(1,363,48), (1,406,22), (1,427,64)])
  literal.30776: bits[9] = literal(value=1, id=30776, pos=[(0,3180,24), (1,363,48), (1,406,22), (1,427,64)])
  concat.31571: bits[6] = concat(literal.31616, rounding_carry, id=31571, pos=[(1,363,48), (1,406,22), (1,427,64)])
  concat.30778: bits[6] = concat(literal.30231, leading_zeroes, id=30778, pos=[(1,363,48), (1,406,22), (1,427,64)])
  eq.31600: bits[1] = eq(add.31447, literal.31632, id=31600, pos=[(0,3121,27), (1,363,48), (1,406,22), (1,427,64)])
  nor.31663: bits[1] = nor(bit_slice.31672, bit_slice.31673, id=31663, pos=[(0,3121,27), (1,363,48), (1,406,22), (1,427,64)])
  nor.31664: bits[1] = nor(bit_slice.30472, sticky__6, id=31664, pos=[(0,3121,27), (1,363,48), (1,406,22), (1,427,64)])
  add.30779: bits[9] = add(concat.30775, literal.30776, id=30779, pos=[(0,3179,26), (1,363,48), (1,406,22), (1,427,64)])
  sub.30780: bits[6] = sub(concat.31571, concat.30778, id=30780, pos=[(0,3179,26), (1,363,48), (1,406,22), (1,427,64)])
  fraction_is_zero: bits[1] = and(eq.31600, nor.31663, nor.31664, id=31648, pos=[(0,3121,27), (1,363,48), (1,406,22), (1,427,64)])
  wide_exponent_associative_element: bits[10] = concat(literal.30231, add.30779, id=30782, pos=[(0,3179,26), (1,363,48), (1,406,22), (1,427,64)])
  wide_exponent_associative_element__1: bits[10] = sign_ext(sub.30780, new_bit_count=10, id=30783, pos=[(0,3179,26), (1,363,48), (1,406,22), (1,427,64)])
  not.31142: bits[1] = not(fraction_is_zero, id=31142, pos=[(0,3181,24), (1,363,48), (1,406,22), (1,427,64)])
  wide_exponent: bits[10] = add(wide_exponent_associative_element, wide_exponent_associative_element__1, id=30785, pos=[(0,3179,26), (1,363,48), (1,406,22), (1,427,64)])
  sign_ext.31143: bits[10] = sign_ext(not.31142, new_bit_count=10, id=31143, pos=[(0,3181,24), (1,363,48), (1,406,22), (1,427,64)])
  wide_exponent__1: bits[10] = and(wide_exponent, sign_ext.31143, id=31144, pos=[(0,3181,24), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30791: bits[1] = bit_slice(wide_exponent__1, start=9, width=1, id=30791, pos=[(0,3184,27), (1,363,48), (1,406,22), (1,427,64)])
  not.31145: bits[1] = not(bit_slice.30791, id=31145, pos=[(0,3184,24), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30792: bits[9] = bit_slice(wide_exponent__1, start=0, width=9, id=30792, pos=[(1,363,48), (1,406,22), (1,427,64)])
  sign_ext.31146: bits[9] = sign_ext(not.31145, new_bit_count=9, id=31146, pos=[(0,3184,24), (1,363,48), (1,406,22), (1,427,64)])
  wide_exponent__2: bits[9] = and(bit_slice.30792, sign_ext.31146, id=31147, pos=[(0,3184,24), (1,363,48), (1,406,22), (1,427,64)])
  eq.30787: bits[1] = eq(ONE_POINT_FIVE_bexp__3, high_exp, id=30787, pos=[(0,96,6), (0,3209,29), (1,363,48), (1,406,22), (1,427,64)])
  eq.30788: bits[1] = eq(ONE_POINT_FIVE_fraction__1, literal.31608, id=30788, pos=[(0,96,44), (0,3209,29), (1,363,48), (1,406,22), (1,427,64)])
  not.30459: bits[1] = not(result_sign__5, id=30459, pos=[(1,405,32), (1,427,64)])
  eq.30789: bits[1] = eq(nprod_bexp, high_exp, id=30789, pos=[(0,96,6), (0,3210,29), (1,363,48), (1,406,22), (1,427,64)])
  eq.30790: bits[1] = eq(nprod_fraction, literal.31608, id=30790, pos=[(0,96,44), (0,3210,29), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30802: bits[8] = bit_slice(wide_exponent__2, start=1, width=8, id=30802, pos=[(0,3194,11), (1,363,48), (1,406,22), (1,427,64)])
  not.30793: bits[1] = not(eq.30787, id=30793, pos=[(0,3209,29), (1,363,48), (1,406,22), (1,427,64)])
  not.30794: bits[1] = not(eq.30788, id=30794, pos=[(0,3209,29), (1,363,48), (1,406,22), (1,427,64)])
  ONE_POINT_FIVE_sign__1: bits[1] = and(nc, not.30459, id=30464, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  not.30795: bits[1] = not(eq.30789, id=30795, pos=[(0,3210,29), (1,363,48), (1,406,22), (1,427,64)])
  not.30796: bits[1] = not(eq.30790, id=30796, pos=[(0,3210,29), (1,363,48), (1,406,22), (1,427,64)])
  nprod_sign: bits[1] = and(overflow_detected, not.30459, id=30465, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  and.30806: bits[1] = and(eq.30787, eq.30788, id=30806, pos=[(0,96,6), (0,3209,29), (1,363,48), (1,406,22), (1,427,64)])
  and.30807: bits[1] = and(eq.30789, eq.30790, id=30807, pos=[(0,96,6), (0,3210,29), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30808: bits[8] = bit_slice(wide_exponent__2, start=0, width=8, id=30808, pos=[(0,3202,11), (1,363,48), (1,406,22), (1,427,64)])
  or_reduce.30809: bits[1] = or_reduce(bit_slice.30802, id=30809, pos=[(0,3194,11), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30810: bits[1] = bit_slice(wide_exponent__2, start=0, width=1, id=30810, pos=[(0,3194,11), (1,363,48), (1,406,22), (1,427,64)])
  nor.30798: bits[1] = nor(not.30793, not.30794, ONE_POINT_FIVE_sign__1, id=30798, pos=[(0,3209,29), (1,363,48), (1,406,22), (1,427,64)])
  nor.30799: bits[1] = nor(not.30795, not.30796, nprod_sign, id=30799, pos=[(0,3210,29), (1,363,48), (1,406,22), (1,427,64)])
  and.30800: bits[1] = and(eq.30787, eq.30788, ONE_POINT_FIVE_sign__1, id=30800, pos=[(0,3215,29), (1,363,48), (1,406,22), (1,427,64)])
  and.30801: bits[1] = and(eq.30789, eq.30790, nprod_sign, id=30801, pos=[(0,3216,29), (1,363,48), (1,406,22), (1,427,64)])
  fraction_shift__2: bits[3] = literal(value=3, id=30803, pos=[(0,3174,8), (1,363,48), (1,406,22), (1,427,64)])
  is_operand_inf: bits[1] = or(and.30806, and.30807, id=30815, pos=[(0,3205,31), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.30816: bits[1] = bit_slice(wide_exponent__2, start=8, width=1, id=30816, pos=[(0,3202,11), (1,363,48), (1,406,22), (1,427,64)])
  and_reduce.30817: bits[1] = and_reduce(bit_slice.30808, id=30817, pos=[(0,3202,11), (1,363,48), (1,406,22), (1,427,64)])
  nor.30818: bits[1] = nor(or_reduce.30809, bit_slice.30810, id=30818, pos=[(0,3194,11), (1,363,48), (1,406,22), (1,427,64)])
  has_pos_inf: bits[1] = or(nor.30798, nor.30799, id=30804, pos=[(0,3209,29), (1,363,48), (1,406,22), (1,427,64)])
  has_neg_inf: bits[1] = or(and.30800, and.30801, id=30805, pos=[(0,3215,29), (1,363,48), (1,406,22), (1,427,64)])
  rounded_fraction: bits[28] = concat(add.31459, normal_chunk, id=31576)
  fraction_shift__1: bits[3] = sel(rounding_carry, cases=[fraction_shift__2, fraction_shift__3], id=30811, pos=[(0,3174,8), (1,363,48), (1,406,22), (1,427,64)])
  or.30821: bits[1] = or(is_operand_inf, bit_slice.30816, and_reduce.30817, nor.30818, id=30821, pos=[(0,3207,26), (1,363,48), (1,406,22), (1,427,64)])
  nor.30812: bits[1] = nor(not.30793, eq.30788, id=30812, pos=[(0,71,6), (0,3217,30), (1,363,48), (1,406,22), (1,427,64)])
  nor.30813: bits[1] = nor(not.30795, eq.30790, id=30813, pos=[(0,71,6), (0,3217,64), (1,363,48), (1,406,22), (1,427,64)])
  and.30814: bits[1] = and(has_pos_inf, has_neg_inf, id=30814, pos=[(0,3218,25), (1,363,48), (1,406,22), (1,427,64)])
  shrl.30819: bits[28] = shrl(rounded_fraction, fraction_shift__1, id=30819, pos=[(0,3175,27), (1,363,48), (1,406,22), (1,427,64)])
  not.31148: bits[1] = not(or.30821, id=31148, pos=[(0,3207,26), (1,363,48), (1,406,22), (1,427,64)])
  is_result_nan__3: bits[1] = or(nor.30812, nor.30813, and.30814, id=30820, pos=[(0,3217,30), (1,363,48), (1,406,22), (1,427,64)])
  result_fraction__9: bits[23] = bit_slice(shrl.30819, start=0, width=23, id=30822, pos=[(1,363,48), (1,406,22), (1,427,64)])
  sign_ext.31149: bits[23] = sign_ext(not.31148, new_bit_count=23, id=31149, pos=[(0,3207,26), (1,363,48), (1,406,22), (1,427,64)])
  or.30823: bits[1] = or(is_result_nan__3, is_operand_inf, bit_slice.30816, and_reduce.30817, id=30823, pos=[(0,3220,26), (1,363,48), (1,406,22), (1,427,64)])
  result_fraction__10: bits[23] = and(result_fraction__9, sign_ext.31149, id=31150, pos=[(0,3207,26), (1,363,48), (1,406,22), (1,427,64)])
  result_exponent__2: bits[8] = sel(or.30823, cases=[bit_slice.30808, high_exp], id=30825, pos=[(0,3220,26), (1,363,48), (1,406,22), (1,427,64)])
  result_fraction__11: bits[23] = sel(is_result_nan__3, cases=[result_fraction__10, nan_fraction], id=30826, pos=[(0,3221,26), (1,363,48), (1,406,22), (1,427,64)])
  eq.30827: bits[1] = eq(result_exponent__2, literal.30225, id=30827, pos=[(0,804,5), (0,3291,67), (1,367,48), (1,407,11), (1,427,64)])
  diff_fraction__3: bits[24] = concat(literal.31431, result_fraction__11, id=30828, pos=[(0,3296,23), (1,367,48), (1,407,11), (1,427,64)])
  nor.31475: bits[1] = nor(eq.30294, eq.30827, id=31475, pos=[(0,3300,19), (1,367,48), (1,407,11), (1,427,64)])
  concat.30829: bits[9] = concat(literal.30231, result_exponent__2, id=30829, pos=[(1,367,48), (1,407,11), (1,427,64)])
  umul.30831: bits[48] = umul(approx_fraction__4, diff_fraction__3, id=30831, pos=[(0,3300,63), (1,367,48), (1,407,11), (1,427,64)])
  sign_ext.31152: bits[48] = sign_ext(nor.31475, new_bit_count=48, id=31152, pos=[(0,3300,19), (1,367,48), (1,407,11), (1,427,64)])
  add.30832: bits[9] = add(concat.31570, concat.30829, id=30832, pos=[(0,3309,16), (1,367,48), (1,407,11), (1,427,64)])
  fraction__25: bits[48] = and(umul.30831, sign_ext.31152, id=31153, pos=[(0,3300,19), (1,367,48), (1,407,11), (1,427,64)])
  concat.30834: bits[10] = concat(literal.30231, add.30832, id=30834, pos=[(0,3309,16), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.30835: bits[1] = bit_slice(fraction__25, start=47, width=1, id=30835, pos=[(0,3324,33), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.30836: bits[1] = bit_slice(fraction__25, start=0, width=1, id=30836, pos=[(0,3329,25), (1,367,48), (1,407,11), (1,427,64)])
  exp__12: bits[10] = add(concat.30834, literal.30240, id=30837, pos=[(0,3309,16), (1,367,48), (1,407,11), (1,427,64)])
  sign_ext.31155: bits[10] = sign_ext(nor.31475, new_bit_count=10, id=31155, pos=[(0,3318,14), (1,367,48), (1,407,11), (1,427,64)])
  fraction__26: bits[48] = shrl(fraction__25, bit_slice.30835, id=30838, pos=[(0,3330,19), (1,367,48), (1,407,11), (1,427,64)])
  sticky__7: bits[48] = concat(literal.30305, bit_slice.30836, id=30839, pos=[(1,367,48), (1,407,11), (1,427,64)])
  exp__13: bits[10] = and(exp__12, sign_ext.31155, id=31156, pos=[(0,3318,14), (1,367,48), (1,407,11), (1,427,64)])
  concat.30841: bits[10] = concat(literal.31691, bit_slice.30835, id=30841, pos=[(1,367,48), (1,407,11), (1,427,64)])
  fraction__27: bits[48] = or(fraction__26, sticky__7, id=30842, pos=[(0,3331,19), (1,367,48), (1,407,11), (1,427,64)])
  exp__14: bits[10] = add(exp__13, concat.30841, id=30843, pos=[(0,3334,14), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.30844: bits[47] = bit_slice(fraction__27, start=1, width=47, id=30844, pos=[(0,3346,48), (1,367,48), (1,407,11), (1,427,64)])
  sle.30845: bits[1] = sle(exp__14, literal.30245, id=30845, pos=[(0,3346,22), (1,367,48), (1,407,11), (1,427,64)])
  concat.30846: bits[48] = concat(literal.30231, bit_slice.30844, id=30846, pos=[(0,3346,48), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.30847: bits[1] = bit_slice(fraction__27, start=0, width=1, id=30847, pos=[(0,3345,25), (1,367,48), (1,407,11), (1,427,64)])
  fraction__28: bits[48] = sel(sle.30845, cases=[fraction__27, concat.30846], id=30848, pos=[(0,3346,19), (1,367,48), (1,407,11), (1,427,64)])
  sticky__8: bits[48] = concat(literal.30305, bit_slice.30847, id=30849, pos=[(1,367,48), (1,407,11), (1,427,64)])
  fraction__29: bits[48] = or(fraction__28, sticky__8, id=30850, pos=[(0,3347,19), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.30851: bits[22] = bit_slice(fraction__29, start=0, width=22, id=30851, pos=[(0,3360,41), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.30852: bits[1] = bit_slice(fraction__29, start=22, width=1, id=30852, pos=[(0,3359,40), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.30853: bits[1] = bit_slice(fraction__29, start=23, width=1, id=30853, pos=[(0,3363,45), (1,367,48), (1,407,11), (1,427,64)])
  ne.30854: bits[1] = ne(bit_slice.30851, literal.31006, id=30854, pos=[(0,3360,41), (1,367,48), (1,407,11), (1,427,64)])
  not.30855: bits[1] = not(bit_slice.30852, id=30855, pos=[(0,3363,23), (1,367,48), (1,407,11), (1,427,64)])
  not.30856: bits[1] = not(bit_slice.30853, id=30856, pos=[(0,3363,23), (1,367,48), (1,407,11), (1,427,64)])
  greater_than_half_way__3: bits[1] = and(bit_slice.30852, ne.30854, id=30858, pos=[(0,3359,40), (1,367,48), (1,407,11), (1,427,64)])
  nor.30859: bits[1] = nor(not.30855, ne.30854, not.30856, id=30859, pos=[(0,3363,23), (1,367,48), (1,407,11), (1,427,64)])
  fraction__30: bits[23] = bit_slice(fraction__29, start=23, width=23, id=30857, pos=[(1,367,48), (1,407,11), (1,427,64)])
  do_round_up__4: bits[1] = or(greater_than_half_way__3, nor.30859, id=30861, pos=[(0,3362,22), (1,367,48), (1,407,11), (1,427,64)])
  fraction__31: bits[24] = concat(literal.30231, fraction__30, id=30860, pos=[(1,367,48), (1,407,11), (1,427,64)])
  concat.31679: bits[24] = concat(literal.31608, do_round_up__4, id=31679)
  fraction__32: bits[24] = add(fraction__31, concat.31679, id=31070)
  bit_slice.30865: bits[1] = bit_slice(fraction__32, start=23, width=1, id=30865, pos=[(0,3374,25), (1,367,48), (1,407,11), (1,427,64)])
  add.30866: bits[10] = add(exp__14, literal.30260, id=30866, pos=[(0,3374,33), (1,367,48), (1,407,11), (1,427,64)])
  exp__15: bits[10] = sel(bit_slice.30865, cases=[exp__14, add.30866], id=30870, pos=[(0,3374,14), (1,367,48), (1,407,11), (1,427,64)])
  is_subnormal__3: bits[1] = sle(exp__15, literal.30245, id=30875, pos=[(0,3375,23), (1,367,48), (1,407,11), (1,427,64)])
  not.31159: bits[1] = not(is_subnormal__3, id=31159, pos=[(0,3384,21), (1,367,48), (1,407,11), (1,427,64)])
  result_exp__9: bits[9] = bit_slice(exp__15, start=0, width=9, id=30876, pos=[(1,367,48), (1,407,11), (1,427,64)])
  sign_ext.31160: bits[9] = sign_ext(not.31159, new_bit_count=9, id=31160, pos=[(0,3384,21), (1,367,48), (1,407,11), (1,427,64)])
  eq.30867: bits[1] = eq(result_exponent__2, high_exp, id=30867, pos=[(0,96,6), (0,3402,62), (1,367,48), (1,407,11), (1,427,64)])
  eq.30868: bits[1] = eq(result_fraction__11, literal.31608, id=30868, pos=[(0,96,44), (0,3402,62), (1,367,48), (1,407,11), (1,427,64)])
  result_exp__10: bits[9] = and(result_exp__9, sign_ext.31160, id=31161, pos=[(0,3384,21), (1,367,48), (1,407,11), (1,427,64)])
  and.30871: bits[1] = and(eq.30867, eq.30868, id=30871, pos=[(0,96,6), (0,3402,62), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.30886: bits[8] = bit_slice(result_exp__10, start=0, width=8, id=30886, pos=[(0,3392,11), (1,367,48), (1,407,11), (1,427,64)])
  has_0_arg: bits[1] = eq(x_bexp__2, literal.30225, id=30226, pos=[(0,804,5), (0,809,27), (1,78,31), (1,396,30), (1,427,64)])
  concat.31572: bits[2] = concat(bit_slice.31520, fraction_is_zero, id=31572, pos=[(1,363,48), (1,406,22), (1,427,64)])
  not.30874: bits[1] = not(nprod_sign, id=30874, pos=[(0,3210,59), (1,363,48), (1,406,22), (1,427,64)])
  has_inf_arg__3: bits[1] = or(and.31649, and.30871, id=30878, pos=[(0,3402,28), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.30889: bits[1] = bit_slice(result_exp__10, start=8, width=1, id=30889, pos=[(0,3392,11), (1,367,48), (1,407,11), (1,427,64)])
  and_reduce.30890: bits[1] = and_reduce(bit_slice.30886, id=30890, pos=[(0,3392,11), (1,367,48), (1,407,11), (1,427,64)])
  not.31162: bits[1] = not(has_0_arg, id=31162, pos=[(0,809,4), (1,78,31), (1,396,30), (1,427,64)])
  not.30877: bits[1] = not(eq.30867, id=30877, pos=[(0,71,6), (0,3401,62), (1,367,48), (1,407,11), (1,427,64)])
  has_0_arg__3: bits[1] = or(eq.30294, eq.30827, id=30830, pos=[(0,3291,40), (1,367,48), (1,407,11), (1,427,64)])
  result_sign__6: bits[1] = priority_sel(concat.31572, cases=[literal.30231, not.30874], default=nprod_sign, id=30879, pos=[(1,363,48), (1,406,22), (1,427,64)])
  not.30880: bits[1] = not(has_pos_inf, id=30880, pos=[(0,3211,42), (1,363,48), (1,406,22), (1,427,64)])
  or.30893: bits[1] = or(has_inf_arg__3, bit_slice.30889, and_reduce.30890, is_subnormal__3, id=30893, pos=[(0,3397,26), (1,367,48), (1,407,11), (1,427,64)])
  sign_ext.31163: bits[23] = sign_ext(not.31162, new_bit_count=23, id=31163, pos=[(0,809,4), (1,78,31), (1,396,30), (1,427,64)])
  nor.30882: bits[1] = nor(not.30877, eq.30868, id=30882, pos=[(0,71,6), (0,3401,62), (1,367,48), (1,407,11), (1,427,64)])
  and.30883: bits[1] = and(has_0_arg__3, has_inf_arg__3, id=30883, pos=[(0,3403,40), (1,367,48), (1,407,11), (1,427,64)])
  not.30884: bits[1] = not(is_result_nan__3, id=30884, pos=[(0,3222,22), (1,363,48), (1,406,22), (1,427,64)])
  result_sign__7: bits[1] = sel(is_operand_inf, cases=[result_sign__6, not.30880], id=30885, pos=[(0,3211,22), (1,363,48), (1,406,22), (1,427,64)])
  not.31165: bits[1] = not(or.30893, id=31165, pos=[(0,3397,26), (1,367,48), (1,407,11), (1,427,64)])
  x__1_fraction__2: bits[23] = and(tuple_index.30227, sign_ext.31163, id=31164, pos=[(0,809,4), (1,78,31), (1,396,30), (1,427,64)])
  is_result_nan__4: bits[1] = or(nor.30352, nor.30882, and.30883, id=30887, pos=[(0,3403,24), (1,367,48), (1,407,11), (1,427,64)])
  result_sign__8: bits[1] = and(not.30884, result_sign__7, id=30888, pos=[(0,3222,22), (1,363,48), (1,406,22), (1,427,64)])
  result_fraction__12: bits[23] = bit_slice(fraction__32, start=0, width=23, id=30894, pos=[(1,367,48), (1,407,11), (1,427,64)])
  sign_ext.31166: bits[23] = sign_ext(not.31165, new_bit_count=23, id=31166, pos=[(0,3397,26), (1,367,48), (1,407,11), (1,427,64)])
  eq.30268: bits[1] = eq(x_bexp__2, high_exp, id=30268, pos=[(0,96,6), (0,3402,28), (1,367,48), (1,399,20), (1,427,64)])
  eq.30271: bits[1] = eq(x__1_fraction__2, literal.31608, id=30271, pos=[(0,96,44), (0,3402,28), (1,367,48), (1,399,20), (1,427,64)])
  not.30891: bits[1] = not(is_result_nan__4, id=30891, pos=[(0,3407,22), (1,367,48), (1,407,11), (1,427,64)])
  result_sign__9: bits[1] = xor(approx_sign__2, result_sign__8, id=30892, pos=[(0,3378,23), (1,367,48), (1,407,11), (1,427,64)])
  result_fraction__13: bits[23] = and(result_fraction__12, sign_ext.31166, id=31167, pos=[(0,3397,26), (1,367,48), (1,407,11), (1,427,64)])
  nand.31476: bits[1] = nand(eq.30268, eq.30271, id=31476, pos=[(1,417,17), (1,427,64)])
  has_inf_arg: bits[1] = and(eq.30268, eq.30271, id=30277, pos=[(0,96,6), (0,3402,28), (1,367,48), (1,399,20), (1,427,64)])
  result_sign__10: bits[1] = and(not.30891, result_sign__9, id=30895, pos=[(0,3407,22), (1,367,48), (1,407,11), (1,427,64)])
  result_fraction__14: bits[23] = sel(is_result_nan__4, cases=[result_fraction__13, nan_fraction], id=30900, pos=[(0,3406,26), (1,367,48), (1,407,11), (1,427,64)])
  sign_ext.31169: bits[23] = sign_ext(nand.31476, new_bit_count=23, id=31169, pos=[(1,417,17), (1,427,64)])
  not.30270: bits[1] = not(eq.30268, id=30270, pos=[(0,71,6), (0,3401,28), (1,367,48), (1,399,20), (1,427,64)])
  sel.30898: bits[1] = sel(has_inf_arg, cases=[result_sign__10, x_sign__1], id=30898, pos=[(1,417,17), (1,427,64)])
  or.30896: bits[1] = or(is_result_nan__4, has_inf_arg__3, bit_slice.30889, and_reduce.30890, id=30896, pos=[(0,3404,21), (1,367,48), (1,407,11), (1,427,64)])
  and.31170: bits[23] = and(result_fraction__14, sign_ext.31169, id=31170, pos=[(1,417,17), (1,427,64)])
  nor.30273: bits[1] = nor(not.30270, eq.30271, id=30273, pos=[(0,71,6), (0,3401,28), (1,367,48), (1,399,20), (1,427,64)])
  not.30902: bits[1] = not(sel.30898, id=30902, pos=[(1,419,17), (1,427,64)])
  result_exp__11: bits[8] = sel(or.30896, cases=[bit_slice.30886, high_exp], id=30899, pos=[(0,3404,21), (1,367,48), (1,407,11), (1,427,64)])
  sign_ext.31172: bits[8] = sign_ext(nand.31476, new_bit_count=8, id=31172, pos=[(1,417,17), (1,427,64)])
  sel.30908: bits[23] = sel(x_sign__1, cases=[and.31170, nan_fraction], id=30908, pos=[(1,419,17), (1,427,64)])
  or.30924: bits[1] = or(has_0_arg, nor.30273, id=30924, pos=[(1,423,17), (1,427,64)])
  nor.30906: bits[1] = nor(x_sign__1, not.30902, id=30906, pos=[(1,419,17), (1,427,64)])
  or.31022: bits[1] = or(has_0_arg, nor.30273, x_sign__1, id=31022, pos=[(1,423,17), (1,427,64)])
  and.31173: bits[8] = and(result_exp__11, sign_ext.31172, id=31173, pos=[(1,417,17), (1,427,64)])
  sel.30911: bits[23] = sel(nor.30273, cases=[sel.30908, tuple_index.30227], id=30911, pos=[(1,421,17), (1,427,64)])
  sel.30925: bits[1] = sel(or.30924, cases=[nor.30906, x_sign__1], id=30925, pos=[(1,423,17), (1,427,64)])
  sel.31021: bits[8] = sel(or.31022, cases=[and.31173, high_exp], id=31021, pos=[(1,423,17), (1,427,64)])
  and.31176: bits[23] = and(sel.30911, sign_ext.31163, id=31176, pos=[(1,423,17), (1,427,64)])
  ret result__4: (bits[1], bits[8], bits[23]) = tuple(sel.30925, sel.31021, and.31176, id=30915, pos=[(1,423,17), (1,427,64)])
}