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=1124) -> (bits[1], bits[8], bits[23]) {
  x_bexp__2: bits[8] = tuple_index(x, index=1, id=32606, pos=[(0,804,5), (0,809,27), (1,78,31), (1,396,30), (1,427,64)])
  literal.32613: bits[1] = literal(value=0, id=32613, pos=[(1,367,48), (1,399,20), (1,427,64)])
  bit_slice.33906: bits[7] = bit_slice(x_bexp__2, start=1, width=7, id=33906, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  concat.33907: bits[8] = concat(literal.32613, bit_slice.33906, id=33907, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  literal.33846: bits[8] = literal(value=63, id=33846, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  add.33810: bits[8] = add(concat.33907, literal.33846, id=33810, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.33908: bits[1] = bit_slice(x_bexp__2, start=0, width=1, id=33908, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  concat.33950: bits[10] = concat(literal.32613, add.33810, bit_slice.33908, id=33950, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  literal.32622: bits[10] = literal(value=897, id=32622, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  exp: bits[10] = add(concat.33950, literal.32622, id=32626, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  literal.32627: bits[10] = literal(value=0, id=32627, pos=[(0,3318,29), (1,367,48), (1,399,20), (1,427,64)])
  literal.33813: bits[1] = literal(value=1, id=33813, pos=[(0,3300,63), (1,367,48), (1,399,20), (1,427,64)])
  tuple_index.32609: bits[23] = tuple_index(x, index=2, id=32609, pos=[(0,809,4), (1,78,31), (1,396,30), (1,427,64)])
  literal.33815: bits[2] = literal(value=1, id=33815, pos=[(0,3346,48), (1,367,48), (1,399,20), (1,427,64)])
  sle.32631: bits[1] = sle(exp, literal.32627, id=32631, pos=[(0,3346,22), (1,367,48), (1,399,20), (1,427,64)])
  concat.33729: bits[25] = concat(literal.33813, tuple_index.32609, literal.32613, id=33729, pos=[(0,3300,63), (1,367,48), (1,399,20), (1,427,64)])
  concat.33731: bits[25] = concat(literal.33815, tuple_index.32609, id=33731, pos=[(0,3346,48), (1,367,48), (1,399,20), (1,427,64)])
  fraction__3_squeezed: bits[25] = sel(sle.32631, cases=[concat.33729, concat.33731], id=33456, pos=[(0,3346,19), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.33723: bits[1] = bit_slice(fraction__3_squeezed, start=0, width=1, id=33723, pos=[(0,3359,40), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.33725: bits[1] = bit_slice(fraction__3_squeezed, start=1, width=1, id=33725, 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=33721, pos=[(1,367,48), (1,399,20), (1,427,64)])
  literal.33990: bits[23] = literal(value=0, id=33990)
  and.32639: bits[1] = and(bit_slice.33723, bit_slice.33725, id=32639, pos=[(0,3363,23), (1,367,48), (1,399,20), (1,427,64)])
  fraction__6: bits[24] = concat(literal.32613, fraction__5, id=33798, pos=[(1,367,48), (1,399,20), (1,427,64)])
  concat.34057: bits[24] = concat(literal.33990, and.32639, id=34057)
  fraction__7: bits[24] = add(fraction__6, concat.34057, id=33440)
  bit_slice.32643: bits[1] = bit_slice(fraction__7, start=23, width=1, id=32643, 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=34062, pos=[(0,3309,16), (1,367,48), (1,399,20), (1,427,64)])
  concat.34084: bits[9] = concat(literal.32613, x_bexp__2, id=34084, pos=[(0,3374,33), (1,367,48), (1,399,20), (1,427,64)])
  exp__3_squeezed: bits[9] = sel(bit_slice.32643, cases=[exp_squeezed, concat.34084], id=34064, pos=[(0,3374,14), (1,367,48), (1,399,20), (1,427,64)])
  literal.34073: bits[9] = literal(value=0, id=34073, pos=[(0,3375,23), (1,367,48), (1,399,20), (1,427,64)])
  is_subnormal: bits[1] = sle(exp__3_squeezed, literal.34073, id=34068, pos=[(0,3375,23), (1,367,48), (1,399,20), (1,427,64)])
  not.33462: bits[1] = not(is_subnormal, id=33462, pos=[(0,3384,21), (1,367,48), (1,399,20), (1,427,64)])
  sign_ext.33463: bits[9] = sign_ext(not.33462, new_bit_count=9, id=33463, pos=[(0,3384,21), (1,367,48), (1,399,20), (1,427,64)])
  result_exp__1: bits[9] = and(exp__3_squeezed, sign_ext.33463, id=33464, pos=[(0,3384,21), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.32654: bits[8] = bit_slice(result_exp__1, start=0, width=8, id=32654, pos=[(0,3392,11), (1,367,48), (1,399,20), (1,427,64)])
  x_sign__1: bits[1] = tuple_index(x, index=0, id=32657, pos=[(0,809,60), (1,78,31), (1,396,30), (1,427,64)])
  bit_slice.33945: bits[17] = bit_slice(tuple_index.32609, start=6, width=17, id=33945, pos=[(1,398,27), (1,427,64)])
  bit_slice.32660: bits[1] = bit_slice(result_exp__1, start=8, width=1, id=32660, pos=[(0,3392,11), (1,367,48), (1,399,20), (1,427,64)])
  and_reduce.32661: bits[1] = and_reduce(bit_slice.32654, id=32661, pos=[(0,3392,11), (1,367,48), (1,399,20), (1,427,64)])
  literal.33848: bits[27] = literal(value=49920718, id=33848, pos=[(1,398,27), (1,427,64)])
  concat.33915: bits[27] = concat(literal.32613, x_sign__1, x_bexp__2, bit_slice.33945, id=33915, pos=[(1,398,27), (1,427,64)])
  nor.33850: bits[1] = nor(bit_slice.32660, and_reduce.32661, is_subnormal, id=33850, pos=[(0,3397,26), (1,367,48), (1,399,20), (1,427,64)])
  or.33331: bits[1] = or(bit_slice.32660, and_reduce.32661, id=33331, pos=[(0,3404,21), (1,367,48), (1,399,20), (1,427,64)])
  high_exp: bits[8] = literal(value=255, id=32646, pos=[(0,96,29), (0,3402,28), (1,367,48), (1,399,20), (1,427,64)])
  sub.33823: bits[27] = sub(literal.33848, concat.33915, id=33823, pos=[(1,398,27), (1,427,64)])
  result_fraction: bits[23] = bit_slice(fraction__7, start=0, width=23, id=32666, pos=[(1,367,48), (1,399,20), (1,427,64)])
  sign_ext.33466: bits[23] = sign_ext(nor.33850, new_bit_count=23, id=33466, pos=[(0,3397,26), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.33946: bits[5] = bit_slice(tuple_index.32609, start=1, width=5, id=33946, pos=[(1,398,27), (1,427,64)])
  result_exp__4: bits[8] = sel(or.33331, cases=[bit_slice.32654, high_exp], id=32671, pos=[(0,3404,21), (1,367,48), (1,399,20), (1,427,64)])
  literal.32607: bits[8] = literal(value=0, id=32607, pos=[(0,804,14), (0,809,27), (1,78,31), (1,396,30), (1,427,64)])
  approx_bexp__1: bits[8] = bit_slice(sub.33823, start=18, width=8, id=33894, pos=[(1,61,65), (1,398,26), (1,427,64)])
  result_fraction__3: bits[23] = and(result_fraction, sign_ext.33466, id=33467, pos=[(0,3397,26), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.33896: bits[18] = bit_slice(sub.33823, start=0, width=18, id=33896, pos=[(1,61,65), (1,398,26), (1,427,64)])
  not.33825: bits[5] = not(bit_slice.33946, id=33825, pos=[(1,398,27), (1,427,64)])
  eq.32675: bits[1] = eq(result_exp__4, literal.32607, id=32675, pos=[(0,804,5), (0,3291,40), (1,367,48), (1,403,22), (1,427,64)])
  eq.32676: bits[1] = eq(approx_bexp__1, literal.32607, id=32676, pos=[(0,804,5), (0,3291,67), (1,367,48), (1,403,22), (1,427,64)])
  half_x_fraction__4: bits[24] = concat(literal.33813, result_fraction__3, id=32677, pos=[(0,3294,23), (1,367,48), (1,403,22), (1,427,64)])
  approx_fraction__4: bits[24] = concat(literal.33813, bit_slice.33896, not.33825, id=33951, pos=[(0,3296,23), (1,367,48), (1,403,22), (1,427,64)])
  nor.33851: bits[1] = nor(eq.32675, eq.32676, id=33851, pos=[(0,3300,19), (1,367,48), (1,403,22), (1,427,64)])
  concat.32679: bits[9] = concat(literal.32613, result_exp__4, id=32679, pos=[(1,367,48), (1,403,22), (1,427,64)])
  concat.33952: bits[9] = concat(literal.32613, approx_bexp__1, id=33952, pos=[(1,367,48), (1,403,22), (1,427,64)])
  umul.32682: bits[48] = umul(half_x_fraction__4, approx_fraction__4, id=32682, pos=[(0,3300,63), (1,367,48), (1,403,22), (1,427,64)])
  sign_ext.33469: bits[48] = sign_ext(nor.33851, new_bit_count=48, id=33469, pos=[(0,3300,19), (1,367,48), (1,403,22), (1,427,64)])
  add.32683: bits[9] = add(concat.32679, concat.33952, id=32683, pos=[(0,3309,16), (1,367,48), (1,403,22), (1,427,64)])
  fraction__8: bits[48] = and(umul.32682, sign_ext.33469, id=33470, pos=[(0,3300,19), (1,367,48), (1,403,22), (1,427,64)])
  concat.32685: bits[10] = concat(literal.32613, add.32683, id=32685, pos=[(0,3309,16), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.32686: bits[1] = bit_slice(fraction__8, start=47, width=1, id=32686, pos=[(0,3324,33), (1,367,48), (1,403,22), (1,427,64)])
  literal.32687: bits[47] = literal(value=0, id=32687, pos=[(1,367,48), (1,403,22), (1,427,64)])
  bit_slice.32688: bits[1] = bit_slice(fraction__8, start=0, width=1, id=32688, pos=[(0,3329,25), (1,367,48), (1,403,22), (1,427,64)])
  exp__4: bits[10] = add(concat.32685, literal.32622, id=32689, pos=[(0,3309,16), (1,367,48), (1,403,22), (1,427,64)])
  sign_ext.33472: bits[10] = sign_ext(nor.33851, new_bit_count=10, id=33472, pos=[(0,3318,14), (1,367,48), (1,403,22), (1,427,64)])
  fraction__9: bits[48] = shrl(fraction__8, bit_slice.32686, id=32690, pos=[(0,3330,19), (1,367,48), (1,403,22), (1,427,64)])
  sticky__2: bits[48] = concat(literal.32687, bit_slice.32688, id=32691, pos=[(1,367,48), (1,403,22), (1,427,64)])
  exp__5: bits[10] = and(exp__4, sign_ext.33472, id=33473, pos=[(0,3318,14), (1,367,48), (1,403,22), (1,427,64)])
  concat.32693: bits[10] = concat(literal.34073, bit_slice.32686, id=32693, pos=[(1,367,48), (1,403,22), (1,427,64)])
  fraction__10: bits[48] = or(fraction__9, sticky__2, id=32694, pos=[(0,3331,19), (1,367,48), (1,403,22), (1,427,64)])
  exp__6: bits[10] = add(exp__5, concat.32693, id=32695, pos=[(0,3334,14), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.32696: bits[47] = bit_slice(fraction__10, start=1, width=47, id=32696, pos=[(0,3346,48), (1,367,48), (1,403,22), (1,427,64)])
  sle.32697: bits[1] = sle(exp__6, literal.32627, id=32697, pos=[(0,3346,22), (1,367,48), (1,403,22), (1,427,64)])
  concat.32698: bits[48] = concat(literal.32613, bit_slice.32696, id=32698, pos=[(0,3346,48), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.32699: bits[1] = bit_slice(fraction__10, start=0, width=1, id=32699, pos=[(0,3345,25), (1,367,48), (1,403,22), (1,427,64)])
  fraction__11: bits[48] = sel(sle.32697, cases=[fraction__10, concat.32698], id=32700, pos=[(0,3346,19), (1,367,48), (1,403,22), (1,427,64)])
  sticky__3: bits[48] = concat(literal.32687, bit_slice.32699, id=32701, pos=[(1,367,48), (1,403,22), (1,427,64)])
  fraction__12: bits[48] = or(fraction__11, sticky__3, id=32702, pos=[(0,3347,19), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.32703: bits[22] = bit_slice(fraction__12, start=0, width=22, id=32703, pos=[(0,3360,41), (1,367,48), (1,403,22), (1,427,64)])
  literal.33388: bits[22] = literal(value=0, id=33388, pos=[(0,3346,48), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.32705: bits[1] = bit_slice(fraction__12, start=22, width=1, id=32705, pos=[(0,3359,40), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.32706: bits[1] = bit_slice(fraction__12, start=23, width=1, id=32706, pos=[(0,3363,45), (1,367,48), (1,403,22), (1,427,64)])
  ne.32707: bits[1] = ne(bit_slice.32703, literal.33388, id=32707, pos=[(0,3360,41), (1,367,48), (1,403,22), (1,427,64)])
  not.32708: bits[1] = not(bit_slice.32705, id=32708, pos=[(0,3363,23), (1,367,48), (1,403,22), (1,427,64)])
  not.32709: bits[1] = not(bit_slice.32706, id=32709, pos=[(0,3363,23), (1,367,48), (1,403,22), (1,427,64)])
  greater_than_half_way__1: bits[1] = and(bit_slice.32705, ne.32707, id=32711, pos=[(0,3359,40), (1,367,48), (1,403,22), (1,427,64)])
  nor.32712: bits[1] = nor(not.32708, ne.32707, not.32709, id=32712, 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=32710, pos=[(1,367,48), (1,403,22), (1,427,64)])
  do_round_up__1: bits[1] = or(greater_than_half_way__1, nor.32712, id=32714, pos=[(0,3362,22), (1,367,48), (1,403,22), (1,427,64)])
  fraction__14: bits[24] = concat(literal.32613, fraction__13, id=32713, pos=[(1,367,48), (1,403,22), (1,427,64)])
  concat.34058: bits[24] = concat(literal.33990, do_round_up__1, id=34058)
  fraction__15: bits[24] = add(fraction__14, concat.34058, id=33443)
  literal.32642: bits[10] = literal(value=1, id=32642, pos=[(0,3374,39), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.32717: bits[1] = bit_slice(fraction__15, start=23, width=1, id=32717, pos=[(0,3374,25), (1,367,48), (1,403,22), (1,427,64)])
  add.32718: bits[10] = add(exp__6, literal.32642, id=32718, pos=[(0,3374,33), (1,367,48), (1,403,22), (1,427,64)])
  exp__7: bits[10] = sel(bit_slice.32717, cases=[exp__6, add.32718], id=32719, pos=[(0,3374,14), (1,367,48), (1,403,22), (1,427,64)])
  is_subnormal__1: bits[1] = sle(exp__7, literal.32627, id=32724, pos=[(0,3375,23), (1,367,48), (1,403,22), (1,427,64)])
  not.33476: bits[1] = not(is_subnormal__1, id=33476, pos=[(0,3384,21), (1,367,48), (1,403,22), (1,427,64)])
  literal.33997: bits[18] = literal(value=0, id=33997, pos=[(0,131,73), (0,809,37), (1,78,31), (1,396,30), (1,427,64)])
  literal.33998: bits[5] = literal(value=0, id=33998, 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=32725, pos=[(1,367,48), (1,403,22), (1,427,64)])
  sign_ext.33477: bits[9] = sign_ext(not.33476, new_bit_count=9, id=33477, pos=[(0,3384,21), (1,367,48), (1,403,22), (1,427,64)])
  eq.32721: bits[1] = eq(result_fraction__3, literal.33990, id=32721, pos=[(0,96,44), (0,3402,28), (1,367,48), (1,403,22), (1,427,64)])
  eq.32722: bits[1] = eq(approx_bexp__1, high_exp, id=32722, pos=[(0,96,6), (0,3402,62), (1,367,48), (1,403,22), (1,427,64)])
  eq.33962: bits[1] = eq(bit_slice.33896, literal.33997, id=33962, pos=[(0,96,44), (0,3402,62), (1,367,48), (1,403,22), (1,427,64)])
  eq.33964: bits[1] = eq(not.33825, literal.33998, id=33964, 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.33477, id=33478, pos=[(0,3384,21), (1,367,48), (1,403,22), (1,427,64)])
  and.32726: bits[1] = and(or.33331, eq.32721, id=32726, pos=[(0,96,6), (0,3402,28), (1,367,48), (1,403,22), (1,427,64)])
  and.34031: bits[1] = and(eq.32722, eq.33962, eq.33964, id=34031, pos=[(0,96,6), (0,3402,62), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.32732: bits[8] = bit_slice(result_exp__3, start=0, width=8, id=32732, pos=[(0,3392,11), (1,367,48), (1,403,22), (1,427,64)])
  has_inf_arg__1: bits[1] = or(and.32726, and.34031, id=32731, pos=[(0,3402,28), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.32736: bits[1] = bit_slice(result_exp__3, start=8, width=1, id=32736, pos=[(0,3392,11), (1,367,48), (1,403,22), (1,427,64)])
  and_reduce.32737: bits[1] = and_reduce(bit_slice.32732, id=32737, pos=[(0,3392,11), (1,367,48), (1,403,22), (1,427,64)])
  nor.33849: bits[1] = nor(bit_slice.32660, and_reduce.32661, id=33849, pos=[(0,71,6), (0,3401,28), (1,367,48), (1,403,22), (1,427,64)])
  not.32730: bits[1] = not(eq.32722, id=32730, pos=[(0,71,6), (0,3401,62), (1,367,48), (1,403,22), (1,427,64)])
  and.33965: bits[1] = and(eq.33962, eq.33964, id=33965, pos=[(0,96,44), (0,3402,62), (1,367,48), (1,403,22), (1,427,64)])
  has_0_arg__1: bits[1] = or(eq.32675, eq.32676, id=32681, pos=[(0,3291,40), (1,367,48), (1,403,22), (1,427,64)])
  or.32739: bits[1] = or(has_inf_arg__1, bit_slice.32736, and_reduce.32737, is_subnormal__1, id=32739, pos=[(0,3397,26), (1,367,48), (1,403,22), (1,427,64)])
  nor.32733: bits[1] = nor(nor.33849, eq.32721, id=32733, pos=[(0,71,6), (0,3401,28), (1,367,48), (1,403,22), (1,427,64)])
  nor.32734: bits[1] = nor(not.32730, and.33965, id=32734, pos=[(0,71,6), (0,3401,62), (1,367,48), (1,403,22), (1,427,64)])
  and.32735: bits[1] = and(has_0_arg__1, has_inf_arg__1, id=32735, pos=[(0,3403,40), (1,367,48), (1,403,22), (1,427,64)])
  not.33479: bits[1] = not(or.32739, id=33479, pos=[(0,3397,26), (1,367,48), (1,403,22), (1,427,64)])
  is_result_nan__1: bits[1] = or(nor.32733, nor.32734, and.32735, id=32738, 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=32740, pos=[(1,367,48), (1,403,22), (1,427,64)])
  sign_ext.33480: bits[23] = sign_ext(not.33479, new_bit_count=23, id=33480, pos=[(0,3397,26), (1,367,48), (1,403,22), (1,427,64)])
  or.32741: bits[1] = or(is_result_nan__1, has_inf_arg__1, bit_slice.32736, and_reduce.32737, id=32741, pos=[(0,3404,21), (1,367,48), (1,403,22), (1,427,64)])
  result_fraction__2: bits[23] = and(result_fraction__1, sign_ext.33480, id=33481, pos=[(0,3397,26), (1,367,48), (1,403,22), (1,427,64)])
  nan_fraction: bits[23] = literal(value=4194304, id=32670, pos=[(0,3405,23), (1,367,48), (1,399,20), (1,427,64)])
  result_exp__5: bits[8] = sel(or.32741, cases=[bit_slice.32732, high_exp], id=32743, 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=32744, pos=[(0,3406,26), (1,367,48), (1,403,22), (1,427,64)])
  eq.32745: bits[1] = eq(result_exp__5, literal.32607, id=32745, pos=[(0,804,5), (0,3291,40), (1,367,48), (1,404,22), (1,427,64)])
  prod_fraction__3: bits[24] = concat(literal.33813, result_fraction__5, id=32746, pos=[(0,3294,23), (1,367,48), (1,404,22), (1,427,64)])
  nor.33852: bits[1] = nor(eq.32745, eq.32676, id=33852, pos=[(0,3300,19), (1,367,48), (1,404,22), (1,427,64)])
  concat.32747: bits[9] = concat(literal.32613, result_exp__5, id=32747, pos=[(1,367,48), (1,404,22), (1,427,64)])
  umul.32749: bits[48] = umul(prod_fraction__3, approx_fraction__4, id=32749, pos=[(0,3300,63), (1,367,48), (1,404,22), (1,427,64)])
  sign_ext.33483: bits[48] = sign_ext(nor.33852, new_bit_count=48, id=33483, pos=[(0,3300,19), (1,367,48), (1,404,22), (1,427,64)])
  add.32750: bits[9] = add(concat.32747, concat.33952, id=32750, pos=[(0,3309,16), (1,367,48), (1,404,22), (1,427,64)])
  fraction__16: bits[48] = and(umul.32749, sign_ext.33483, id=33484, pos=[(0,3300,19), (1,367,48), (1,404,22), (1,427,64)])
  concat.32752: bits[10] = concat(literal.32613, add.32750, id=32752, pos=[(0,3309,16), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.32753: bits[1] = bit_slice(fraction__16, start=47, width=1, id=32753, pos=[(0,3324,33), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.32754: bits[1] = bit_slice(fraction__16, start=0, width=1, id=32754, pos=[(0,3329,25), (1,367,48), (1,404,22), (1,427,64)])
  exp__8: bits[10] = add(concat.32752, literal.32622, id=32755, pos=[(0,3309,16), (1,367,48), (1,404,22), (1,427,64)])
  sign_ext.33486: bits[10] = sign_ext(nor.33852, new_bit_count=10, id=33486, pos=[(0,3318,14), (1,367,48), (1,404,22), (1,427,64)])
  fraction__17: bits[48] = shrl(fraction__16, bit_slice.32753, id=32756, pos=[(0,3330,19), (1,367,48), (1,404,22), (1,427,64)])
  sticky__4: bits[48] = concat(literal.32687, bit_slice.32754, id=32757, pos=[(1,367,48), (1,404,22), (1,427,64)])
  exp__9: bits[10] = and(exp__8, sign_ext.33486, id=33487, pos=[(0,3318,14), (1,367,48), (1,404,22), (1,427,64)])
  concat.32759: bits[10] = concat(literal.34073, bit_slice.32753, id=32759, pos=[(1,367,48), (1,404,22), (1,427,64)])
  fraction__18: bits[48] = or(fraction__17, sticky__4, id=32760, pos=[(0,3331,19), (1,367,48), (1,404,22), (1,427,64)])
  exp__10: bits[10] = add(exp__9, concat.32759, id=32761, pos=[(0,3334,14), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.32762: bits[47] = bit_slice(fraction__18, start=1, width=47, id=32762, pos=[(0,3346,48), (1,367,48), (1,404,22), (1,427,64)])
  sle.32763: bits[1] = sle(exp__10, literal.32627, id=32763, pos=[(0,3346,22), (1,367,48), (1,404,22), (1,427,64)])
  concat.32764: bits[48] = concat(literal.32613, bit_slice.32762, id=32764, pos=[(0,3346,48), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.32765: bits[1] = bit_slice(fraction__18, start=0, width=1, id=32765, pos=[(0,3345,25), (1,367,48), (1,404,22), (1,427,64)])
  fraction__19: bits[48] = sel(sle.32763, cases=[fraction__18, concat.32764], id=32766, pos=[(0,3346,19), (1,367,48), (1,404,22), (1,427,64)])
  sticky__5: bits[48] = concat(literal.32687, bit_slice.32765, id=32767, pos=[(1,367,48), (1,404,22), (1,427,64)])
  fraction__20: bits[48] = or(fraction__19, sticky__5, id=32768, pos=[(0,3347,19), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.32769: bits[22] = bit_slice(fraction__20, start=0, width=22, id=32769, pos=[(0,3360,41), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.32770: bits[1] = bit_slice(fraction__20, start=22, width=1, id=32770, pos=[(0,3359,40), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.32771: bits[1] = bit_slice(fraction__20, start=23, width=1, id=32771, pos=[(0,3363,45), (1,367,48), (1,404,22), (1,427,64)])
  ne.32772: bits[1] = ne(bit_slice.32769, literal.33388, id=32772, pos=[(0,3360,41), (1,367,48), (1,404,22), (1,427,64)])
  not.32773: bits[1] = not(bit_slice.32770, id=32773, pos=[(0,3363,23), (1,367,48), (1,404,22), (1,427,64)])
  not.32774: bits[1] = not(bit_slice.32771, id=32774, pos=[(0,3363,23), (1,367,48), (1,404,22), (1,427,64)])
  greater_than_half_way__2: bits[1] = and(bit_slice.32770, ne.32772, id=32776, pos=[(0,3359,40), (1,367,48), (1,404,22), (1,427,64)])
  nor.32777: bits[1] = nor(not.32773, ne.32772, not.32774, id=32777, 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=32775, pos=[(1,367,48), (1,404,22), (1,427,64)])
  do_round_up__2: bits[1] = or(greater_than_half_way__2, nor.32777, id=32779, pos=[(0,3362,22), (1,367,48), (1,404,22), (1,427,64)])
  fraction__22: bits[24] = concat(literal.32613, fraction__21, id=32778, pos=[(1,367,48), (1,404,22), (1,427,64)])
  concat.34059: bits[24] = concat(literal.33990, do_round_up__2, id=34059)
  fraction__23: bits[24] = add(fraction__22, concat.34059, id=33446)
  bit_slice.32782: bits[1] = bit_slice(fraction__23, start=23, width=1, id=32782, pos=[(0,3374,25), (1,367,48), (1,404,22), (1,427,64)])
  add.32783: bits[10] = add(exp__10, literal.32642, id=32783, pos=[(0,3374,33), (1,367,48), (1,404,22), (1,427,64)])
  exp__11: bits[10] = sel(bit_slice.32782, cases=[exp__10, add.32783], id=32786, pos=[(0,3374,14), (1,367,48), (1,404,22), (1,427,64)])
  is_subnormal__2: bits[1] = sle(exp__11, literal.32627, id=32788, pos=[(0,3375,23), (1,367,48), (1,404,22), (1,427,64)])
  eq.32785: bits[1] = eq(result_fraction__5, literal.33990, id=32785, pos=[(0,96,44), (0,3402,28), (1,367,48), (1,404,22), (1,427,64)])
  not.33490: bits[1] = not(is_subnormal__2, id=33490, pos=[(0,3384,21), (1,367,48), (1,404,22), (1,427,64)])
  and.32787: bits[1] = and(or.32741, eq.32785, id=32787, 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=32789, pos=[(1,367,48), (1,404,22), (1,427,64)])
  sign_ext.33491: bits[9] = sign_ext(not.33490, new_bit_count=9, id=33491, pos=[(0,3384,21), (1,367,48), (1,404,22), (1,427,64)])
  not.32790: bits[1] = not(or.32741, id=32790, pos=[(0,71,6), (0,3401,28), (1,367,48), (1,404,22), (1,427,64)])
  has_0_arg__2: bits[1] = or(eq.32745, eq.32676, id=32748, pos=[(0,3291,40), (1,367,48), (1,404,22), (1,427,64)])
  has_inf_arg__2: bits[1] = or(and.32787, and.34031, id=32791, pos=[(0,3402,28), (1,367,48), (1,404,22), (1,427,64)])
  result_exp__7: bits[9] = and(result_exp__6, sign_ext.33491, id=33492, pos=[(0,3384,21), (1,367,48), (1,404,22), (1,427,64)])
  nor.32793: bits[1] = nor(not.32790, eq.32785, id=32793, pos=[(0,71,6), (0,3401,28), (1,367,48), (1,404,22), (1,427,64)])
  and.32794: bits[1] = and(has_0_arg__2, has_inf_arg__2, id=32794, pos=[(0,3403,40), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.32795: bits[8] = bit_slice(result_exp__7, start=0, width=8, id=32795, pos=[(0,3392,11), (1,367,48), (1,404,22), (1,427,64)])
  is_result_nan__2: bits[1] = or(nor.32793, nor.32734, and.32794, id=32796, pos=[(0,3403,24), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.32797: bits[1] = bit_slice(result_exp__7, start=8, width=1, id=32797, pos=[(0,3392,11), (1,367,48), (1,404,22), (1,427,64)])
  and_reduce.32798: bits[1] = and_reduce(bit_slice.32795, id=32798, pos=[(0,3392,11), (1,367,48), (1,404,22), (1,427,64)])
  or.32799: bits[1] = or(is_result_nan__2, has_inf_arg__2, bit_slice.32797, and_reduce.32798, id=32799, pos=[(0,3404,21), (1,367,48), (1,404,22), (1,427,64)])
  result_exp__8: bits[8] = sel(or.32799, cases=[bit_slice.32795, high_exp], id=32800, pos=[(0,3404,21), (1,367,48), (1,404,22), (1,427,64)])
  nprod_bexpnot: bits[8] = not(result_exp__8, id=32801, 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.32613, nprod_bexpnot, id=32802, 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=32803, pos=[(3,91,63), (0,3009,44), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  or.32806: bits[1] = or(has_inf_arg__2, bit_slice.32797, and_reduce.32798, is_subnormal__2, id=32806, 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=32804, pos=[(2,1119,45), (3,91,63), (0,3009,44), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  not.33493: bits[1] = not(or.32806, id=33493, 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=32808, pos=[(2,1121,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=32807, pos=[(1,367,48), (1,404,22), (1,427,64)])
  sign_ext.33494: bits[23] = sign_ext(not.33493, new_bit_count=23, id=33494, pos=[(0,3397,26), (1,367,48), (1,404,22), (1,427,64)])
  ONE_POINT_FIVE_bexp__2: bits[8] = literal(value=127, id=32815, pos=[(0,3091,59), (1,363,48), (1,406,22), (1,427,64)])
  nc: bits[1] = not(overflow_detected, id=33303, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  or.33301: bits[1] = or(overflow_detected, is_result_nan__2, id=33301, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  result_fraction__7: bits[23] = and(result_fraction__6, sign_ext.33494, id=33495, 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=32821, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  or.33304: bits[1] = or(nc, is_result_nan__2, id=33304, 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=32823, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  approx_sign__2: bits[1] = bit_slice(sub.33823, start=26, width=1, id=33898, pos=[(0,378,15), (1,61,65), (1,398,26), (1,427,64)])
  ONE_POINT_FIVE_fraction__1: bits[23] = sel(or.33301, cases=[result_fraction__7, nan_fraction], id=33302, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  ne.33845: bits[1] = ne(ONE_POINT_FIVE_bexp__3, literal.32607, id=33845, pos=[(0,3099,21), (1,363,48), (1,406,22), (1,427,64)])
  nprod_fraction: bits[23] = sel(or.33304, cases=[result_fraction__7, nan_fraction], id=33305, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  ne.33844: bits[1] = ne(nprod_bexp, literal.32607, id=33844, pos=[(0,3100,21), (1,363,48), (1,406,22), (1,427,64)])
  not.32813: bits[1] = not(is_result_nan__1, id=32813, 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=32814, pos=[(0,3378,23), (1,367,48), (1,403,22), (1,427,64)])
  fraction_x: bits[24] = concat(literal.33813, ONE_POINT_FIVE_fraction__1, id=32830, pos=[(0,3095,22), (1,363,48), (1,406,22), (1,427,64)])
  sign_ext.33497: bits[24] = sign_ext(ne.33845, new_bit_count=24, id=33497, pos=[(0,3099,21), (1,363,48), (1,406,22), (1,427,64)])
  fraction_y: bits[24] = concat(literal.33813, nprod_fraction, id=32833, pos=[(0,3096,22), (1,363,48), (1,406,22), (1,427,64)])
  sign_ext.33500: bits[24] = sign_ext(ne.33844, new_bit_count=24, id=33500, 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=32817, 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=32818, pos=[(3,94,32), (0,3009,44), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  literal.32819: bits[7] = literal(value=0, id=32819, pos=[(0,3010,68), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  result_sign__3: bits[1] = and(not.32813, result_sign__2, id=32820, pos=[(0,3407,22), (1,367,48), (1,403,22), (1,427,64)])
  fraction_x__1: bits[24] = and(fraction_x, sign_ext.33497, id=33498, pos=[(0,3099,21), (1,363,48), (1,406,22), (1,427,64)])
  fraction_y__1: bits[24] = and(fraction_y, sign_ext.33500, id=33501, 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=32839, 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=32825, pos=[(3,95,18), (0,3009,44), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  concat.32826: bits[8] = concat(literal.32819, overflow_detected, id=32826, pos=[(0,3010,68), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  not.32827: bits[1] = not(is_result_nan__2, id=32827, 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=32828, pos=[(0,3378,23), (1,367,48), (1,404,22), (1,427,64)])
  wide_x_squeezed: bits[25] = concat(literal.32613, fraction_x__1, id=32842, 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=32843, pos=[(0,3116,31), (1,363,48), (1,406,22), (1,427,64)])
  shift: bits[8] = add(result__5, concat.32826, id=32835, pos=[(3,54,7), (0,3010,68), (0,3091,57), (1,363,48), (1,406,22), (1,427,64)])
  literal.32834: bits[28] = literal(value=268435455, id=32834, pos=[(2,1411,19), (2,1501,17), (2,1528,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  result_sign__5: bits[1] = and(not.32827, result_sign__4, id=32836, pos=[(0,3407,22), (1,367,48), (1,404,22), (1,427,64)])
  neg.32848: bits[25] = neg(wide_x_squeezed, id=32848, pos=[(0,3110,41), (1,363,48), (1,406,22), (1,427,64)])
  shrl.32849: bits[27] = shrl(wide_y_shift_bits, shift, id=32849, pos=[(0,3116,31), (1,363,48), (1,406,22), (1,427,64)])
  not.33967: bits[23] = not(nprod_fraction, id=33967, pos=[(2,1411,4), (2,1501,17), (2,1528,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  shll.32840: bits[28] = shll(literal.32834, shift, id=32840, pos=[(2,1411,19), (2,1501,17), (2,1528,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.32848, wide_x_squeezed], id=33504, pos=[(0,3110,19), (1,363,48), (1,406,22), (1,427,64)])
  literal.32857: bits[2] = literal(value=0, id=32857, pos=[(1,363,48), (1,406,22), (1,427,64)])
  bit_slice.33948: bits[24] = bit_slice(shrl.32849, start=3, width=24, id=33948, pos=[(0,3120,20), (1,363,48), (1,406,22), (1,427,64)])
  concat.33970: bits[24] = concat(literal.32613, not.33967, id=33970, pos=[(2,1411,4), (2,1501,17), (2,1528,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  not.33855: bits[24] = not(sign_ext.33500, id=33855, pos=[(2,1411,4), (2,1501,17), (2,1528,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32845: bits[24] = bit_slice(shll.32840, start=3, width=24, id=32845, pos=[(2,1411,19), (2,1501,17), (2,1528,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  sign_ext.33919: bits[26] = sign_ext(ONE_POINT_FIVEddend_x__2_squeezed, new_bit_count=26, id=33919, pos=[(0,3120,20), (1,363,48), (1,406,22), (1,427,64)])
  concat.33921: bits[26] = concat(literal.32857, bit_slice.33948, id=33921, pos=[(0,3120,20), (1,363,48), (1,406,22), (1,427,64)])
  nor.33856: bits[24] = nor(concat.33970, not.33855, bit_slice.32845, id=33856, pos=[(2,1411,4), (2,1501,17), (2,1528,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  literal.32831: bits[24] = literal(value=0, id=32831, pos=[(0,3099,49), (1,363,48), (1,406,22), (1,427,64)])
  add.33829: bits[26] = add(sign_ext.33919, concat.33921, id=33829, pos=[(0,3120,20), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32854: bits[1] = bit_slice(shrl.32849, start=0, width=1, id=32854, pos=[(0,3053,40), (0,3116,30), (1,363,48), (1,406,22), (1,427,64)])
  sticky__6: bits[1] = ne(nor.33856, literal.32831, id=32855, pos=[(2,1501,17), (2,1528,22), (0,3115,35), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.33900: bits[25] = bit_slice(add.33829, start=0, width=25, id=33900, pos=[(0,3120,20), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.33949: bits[2] = bit_slice(shrl.32849, start=1, width=2, id=33949, pos=[(0,3120,20), (1,363,48), (1,406,22), (1,427,64)])
  or.32859: bits[1] = or(bit_slice.32854, sticky__6, id=32859, pos=[(0,3053,40), (0,3116,30), (1,363,48), (1,406,22), (1,427,64)])
  concat.33959: bits[28] = concat(bit_slice.33900, bit_slice.33949, or.32859, id=33959, pos=[(0,3120,20), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.33902: bits[1] = bit_slice(add.33829, start=25, width=1, id=33902, pos=[(0,3130,12), (1,363,48), (1,406,22), (1,427,64)])
  neg.32865: bits[28] = neg(concat.33959, id=32865, pos=[(0,3130,46), (1,363,48), (1,406,22), (1,427,64)])
  ONE_POINT_FIVEbs_fraction__1: bits[28] = sel(bit_slice.33902, cases=[concat.33959, neg.32865], id=32866, pos=[(0,3130,9), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32954: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=4, width=1, id=32954, pos=[(2,1590,70), (2,1595,64), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32930: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=6, width=1, id=32930, pos=[(2,1590,70), (2,1595,34), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32927: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=11, width=1, id=32927, pos=[(2,1590,40), (2,1595,34), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32905: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=10, width=1, id=32905, pos=[(2,1590,70), (2,1595,34), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32950: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=9, width=1, id=32950, pos=[(2,1590,40), (2,1595,64), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32929: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=8, width=1, id=32929, pos=[(2,1590,70), (2,1595,64), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32904: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=12, width=1, id=32904, pos=[(2,1590,70), (2,1595,64), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32884: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=14, width=1, id=32884, pos=[(2,1590,70), (2,1595,34), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32881: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=19, width=1, id=32881, pos=[(2,1590,40), (2,1595,34), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32872: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=18, width=1, id=32872, pos=[(2,1590,70), (2,1595,34), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32900: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=17, width=1, id=32900, pos=[(2,1590,40), (2,1595,64), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32883: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=16, width=1, id=32883, pos=[(2,1590,70), (2,1595,64), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,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=32868, pos=[(2,1590,40), (2,1595,34), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32867: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=26, width=1, id=32867, pos=[(2,1590,70), (2,1595,34), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32876: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=25, width=1, id=32876, pos=[(2,1590,40), (2,1595,64), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32870: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=24, width=1, id=32870, pos=[(2,1590,70), (2,1595,64), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32878: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=23, width=1, id=32878, pos=[(2,1590,40), (2,1595,34), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32871: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=22, width=1, id=32871, pos=[(2,1590,70), (2,1595,34), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32895: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=21, width=1, id=32895, pos=[(2,1590,40), (2,1595,64), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32880: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=20, width=1, id=32880, pos=[(2,1590,70), (2,1595,64), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32952: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=7, width=1, id=32952, pos=[(2,1590,40), (2,1595,34), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32974: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=5, width=1, id=32974, pos=[(2,1590,40), (2,1595,64), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.32975: bits[1] = not(bit_slice.32954, id=32975, pos=[(2,1583,4), (2,1590,64), (2,1595,64), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.32953: bits[1] = not(bit_slice.32930, id=32953, pos=[(2,1583,4), (2,1590,64), (2,1595,34), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  or.33395: bits[1] = or(bit_slice.32927, bit_slice.32905, id=33395, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32969: bits[1] = nor(bit_slice.32950, bit_slice.32929, id=32969, pos=[(2,1590,22), (2,1595,64), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32948: bits[1] = nor(bit_slice.32927, bit_slice.32905, id=32948, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.32928: bits[1] = not(bit_slice.32905, id=32928, pos=[(2,1583,4), (2,1590,64), (2,1595,34), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.32951: bits[1] = not(bit_slice.32929, id=32951, pos=[(2,1583,4), (2,1590,64), (2,1595,64), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32902: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=15, width=1, id=32902, pos=[(2,1590,40), (2,1595,34), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32925: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=13, width=1, id=32925, pos=[(2,1590,40), (2,1595,64), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.32926: bits[1] = not(bit_slice.32904, id=32926, pos=[(2,1583,4), (2,1590,64), (2,1595,64), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.32903: bits[1] = not(bit_slice.32884, id=32903, pos=[(2,1583,4), (2,1590,64), (2,1595,34), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  or.33396: bits[1] = or(bit_slice.32881, bit_slice.32872, id=33396, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32920: bits[1] = nor(bit_slice.32900, bit_slice.32883, id=32920, pos=[(2,1590,22), (2,1595,64), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32898: bits[1] = nor(bit_slice.32881, bit_slice.32872, id=32898, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.34038: bits[1] = not(bit_slice.32872, id=34038, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.32901: bits[1] = not(bit_slice.32883, id=32901, pos=[(2,1583,4), (2,1590,64), (2,1595,64), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32874: bits[1] = nor(carry_bit, bit_slice.32867, id=32874, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32890: bits[1] = nor(bit_slice.32876, bit_slice.32870, id=32890, pos=[(2,1590,22), (2,1595,64), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  or.33398: bits[1] = or(carry_bit, bit_slice.32867, id=33398, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.34042: bits[1] = not(bit_slice.32867, id=34042, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.32877: bits[1] = not(bit_slice.32870, id=32877, pos=[(2,1583,4), (2,1590,64), (2,1595,64), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  or.33399: bits[1] = or(bit_slice.32878, bit_slice.32871, id=33399, pos=[(2,1595,22), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32914: bits[1] = nor(bit_slice.32895, bit_slice.32880, id=32914, pos=[(2,1590,22), (2,1595,64), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32893: bits[1] = nor(bit_slice.32878, bit_slice.32871, id=32893, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.32879: bits[1] = not(bit_slice.32871, id=32879, pos=[(2,1583,4), (2,1590,64), (2,1595,34), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.32896: bits[1] = not(bit_slice.32880, id=32896, pos=[(2,1583,4), (2,1590,64), (2,1595,64), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32996: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=3, width=1, id=32996, pos=[(2,1590,40), (2,1595,34), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32976: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=2, width=1, id=32976, pos=[(2,1590,70), (2,1595,34), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.33020: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=1, width=1, id=33020, pos=[(2,1590,40), (2,1595,64), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32998: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=0, width=1, id=32998, pos=[(2,1590,70), (2,1595,64), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  or.33394: bits[1] = or(bit_slice.32952, bit_slice.32930, id=33394, pos=[(2,1595,22), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32994: bits[1] = nor(bit_slice.32974, bit_slice.32954, id=32994, pos=[(2,1590,22), (2,1595,64), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32993: bits[1] = nor(bit_slice.32974, not.32975, id=32993, pos=[(2,1590,22), (2,1595,64), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32972: bits[1] = nor(bit_slice.32952, bit_slice.32930, id=32972, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32971: bits[1] = nor(bit_slice.32952, not.32953, id=32971, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33051: bits[1] = nor(or.33395, nor.32969, id=33051, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.33052: bits[1] = and(nor.32948, nor.32969, id=33052, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32947: bits[1] = nor(bit_slice.32927, not.32928, id=32947, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32968: bits[1] = nor(bit_slice.32950, not.32951, id=32968, pos=[(2,1590,22), (2,1595,64), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  or.33397: bits[1] = or(bit_slice.32902, bit_slice.32884, id=33397, pos=[(2,1595,22), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32945: bits[1] = nor(bit_slice.32925, bit_slice.32904, id=32945, pos=[(2,1590,22), (2,1595,64), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32944: bits[1] = nor(bit_slice.32925, not.32926, id=32944, pos=[(2,1590,22), (2,1595,64), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32923: bits[1] = nor(bit_slice.32902, bit_slice.32884, id=32923, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32922: bits[1] = nor(bit_slice.32902, not.32903, id=32922, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33006: bits[1] = nor(or.33396, nor.32920, id=33006, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.33007: bits[1] = and(nor.32898, nor.32920, id=33007, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.34039: bits[1] = nor(bit_slice.32881, not.34038, id=34039, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32919: bits[1] = nor(bit_slice.32900, not.32901, id=32919, pos=[(2,1590,22), (2,1595,64), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.32978: bits[1] = and(nor.32874, nor.32890, id=32978, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32977: bits[1] = nor(or.33398, nor.32890, id=32977, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.34043: bits[1] = nor(carry_bit, not.34042, id=34043, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32889: bits[1] = nor(bit_slice.32876, not.32877, id=32889, pos=[(2,1590,22), (2,1595,64), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33003: bits[1] = nor(or.33399, nor.32914, id=33003, pos=[(2,1595,22), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.33004: bits[1] = and(nor.32893, nor.32914, id=33004, pos=[(2,1595,22), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32892: bits[1] = nor(bit_slice.32878, not.32879, id=32892, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32913: bits[1] = nor(bit_slice.32895, not.32896, id=32913, pos=[(2,1590,22), (2,1595,64), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  or.33393: bits[1] = or(bit_slice.32996, bit_slice.32976, id=33393, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33042: bits[1] = nor(bit_slice.33020, bit_slice.32998, id=33042, pos=[(2,1590,22), (2,1595,64), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33018: bits[1] = nor(bit_slice.32996, bit_slice.32976, id=33018, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.32997: bits[1] = not(bit_slice.32976, id=32997, pos=[(2,1583,4), (2,1590,64), (2,1595,34), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.33021: bits[1] = not(bit_slice.32998, id=33021, pos=[(2,1583,4), (2,1590,64), (2,1595,64), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33068: bits[1] = nor(or.33394, nor.32994, id=33068, pos=[(2,1595,22), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33378: bits[2] = concat(literal.33813, nor.32993, id=33378, pos=[(2,1595,22), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33612: bits[2] = concat(nor.32972, nor.32971, id=33612, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33064: bits[2] = concat(nor.33051, and.33052, id=33064, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33805: bits[2] = concat(nor.32947, literal.32613, id=33805, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33770: bits[2] = concat(literal.33813, nor.32968, id=33770, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33603: bits[2] = concat(nor.32948, nor.32947, id=33603, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33031: bits[1] = nor(or.33397, nor.32945, id=33031, pos=[(2,1595,22), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33373: bits[2] = concat(literal.33813, nor.32944, id=33373, pos=[(2,1595,22), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33594: bits[2] = concat(nor.32923, nor.32922, id=33594, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33027: bits[2] = concat(nor.33006, and.33007, id=33027, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33804: bits[2] = concat(nor.34039, literal.32613, id=33804, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33761: bits[2] = concat(literal.33813, nor.32919, id=33761, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33585: bits[2] = concat(nor.32898, nor.34039, id=33585, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.33060: bits[1] = not(and.32978, id=33060, pos=[(2,1600,22), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.32999: bits[2] = concat(nor.32977, and.32978, id=32999, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33803: bits[2] = concat(nor.34043, literal.32613, id=33803, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33754: bits[2] = concat(literal.33813, nor.32889, id=33754, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33567: bits[2] = concat(literal.32613, nor.34043, id=33567, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33023: bits[2] = concat(nor.33003, and.33004, id=33023, pos=[(2,1595,22), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33366: bits[2] = concat(nor.32892, literal.32613, id=33366, pos=[(2,1595,22), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33368: bits[2] = concat(literal.33813, nor.32913, id=33368, pos=[(2,1595,22), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33576: bits[2] = concat(nor.32893, nor.32892, id=33576, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33094: bits[1] = nor(or.33393, nor.33042, id=33094, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.33095: bits[1] = and(nor.33018, nor.33042, id=33095, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33017: bits[1] = nor(bit_slice.32996, not.32997, id=33017, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33041: bits[1] = nor(bit_slice.33020, not.33021, id=33041, pos=[(2,1590,22), (2,1595,64), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.33102: bits[1] = not(and.33052, id=33102, pos=[(2,1600,22), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.33069: bits[1] = and(nor.32972, nor.32994, id=33069, pos=[(2,1595,22), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.33408: bits[2] = priority_sel(nor.33068, cases=[concat.33378], default=concat.33612, id=33408, pos=[(2,1595,22), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.33643: bits[2] = priority_sel(concat.33064, cases=[concat.33805, concat.33770], default=concat.33603, id=33643, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.33076: bits[1] = not(and.33007, id=33076, pos=[(2,1600,22), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.33032: bits[1] = and(nor.32923, nor.32945, id=33032, pos=[(2,1595,22), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.33509: bits[2] = priority_sel(nor.33031, cases=[concat.33373], default=concat.33594, id=33509, pos=[(2,1595,22), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.33625: bits[2] = priority_sel(concat.33027, cases=[concat.33804, concat.33761], default=concat.33585, id=33625, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33073: bits[1] = nor(not.33060, and.33004, id=33073, pos=[(2,1600,22), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.33074: bits[1] = and(and.32978, and.33004, id=33074, pos=[(2,1600,22), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.33616: bits[2] = priority_sel(concat.32999, cases=[concat.33803, concat.33754], default=concat.33567, id=33616, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.33350: bits[2] = priority_sel(concat.33023, cases=[concat.33366, concat.33368], default=concat.33576, id=33350, pos=[(2,1595,22), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33104: bits[2] = concat(nor.33094, and.33095, id=33104, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33807: bits[2] = concat(nor.33017, literal.32613, id=33807, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33784: bits[2] = concat(literal.33813, nor.33041, id=33784, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33639: bits[2] = concat(nor.33018, nor.33017, id=33639, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33110: bits[1] = nor(not.33102, and.33069, id=33110, pos=[(2,1600,22), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33736: bits[3] = concat(literal.33813, priority_sel.33408, id=33736, pos=[(2,1540,24), (2,1600,22), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33648: bits[3] = concat(and.33052, priority_sel.33643, id=33648, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33089: bits[1] = nor(not.33076, and.33032, id=33089, pos=[(2,1600,22), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33383: bits[3] = concat(literal.33813, priority_sel.33509, id=33383, pos=[(2,1600,22), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33630: bits[3] = concat(and.33007, priority_sel.33625, id=33630, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33085: bits[2] = concat(nor.33073, and.33074, id=33085, pos=[(2,1600,22), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33806: bits[3] = concat(priority_sel.33616, literal.32613, id=33806, pos=[(2,1600,22), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33777: bits[3] = concat(literal.33813, priority_sel.33350, id=33777, pos=[(2,1600,22), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33621: bits[3] = concat(literal.32613, priority_sel.33616, id=33621, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.33661: bits[2] = priority_sel(concat.33104, cases=[concat.33807, concat.33784], default=concat.33639, id=33661, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.33512: bits[3] = priority_sel(nor.33110, cases=[concat.33736], default=concat.33648, id=33512, pos=[(2,1600,22), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  not.33114: bits[1] = not(and.33074, id=33114, pos=[(2,1605,22), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.33090: bits[1] = and(and.33007, and.33032, id=33090, pos=[(2,1600,22), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.33410: bits[3] = priority_sel(nor.33089, cases=[concat.33383], default=concat.33630, id=33410, pos=[(2,1600,22), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.33652: bits[3] = priority_sel(concat.33085, cases=[concat.33806, concat.33777], default=concat.33621, id=33652, pos=[(2,1600,22), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.33111: bits[1] = and(and.33052, and.33069, id=33111, pos=[(2,1600,22), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33799: bits[4] = concat(literal.33813, and.33095, priority_sel.33661, id=33799, pos=[(2,1605,22), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33801: bits[4] = concat(literal.32613, priority_sel.33512, id=33801, pos=[(2,1600,22), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33122: bits[1] = nor(not.33114, and.33090, id=33122, pos=[(2,1605,22), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33739: bits[4] = concat(literal.33813, priority_sel.33410, id=33739, pos=[(2,1540,24), (2,1605,22), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33657: bits[4] = concat(and.33074, priority_sel.33652, id=33657, pos=[(2,1600,22), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.33134: bits[4] = priority_sel(and.33111, cases=[concat.33799], default=concat.33801, id=33134, pos=[(2,1605,22), (2,1610,66), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.33518: bits[4] = priority_sel(nor.33122, cases=[concat.33739], default=concat.33657, id=33518, pos=[(2,1605,22), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  and.33123: bits[1] = and(and.33074, and.33090, id=33123, pos=[(2,1605,22), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33136: bits[5] = concat(literal.33813, priority_sel.33134, id=33136, pos=[(2,1610,22), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33802: bits[5] = concat(literal.32613, priority_sel.33518, id=33802, pos=[(2,1605,22), (2,1610,35), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33137: bits[29] = concat(literal.32613, ONE_POINT_FIVEbs_fraction__1, id=33137, pos=[(1,363,48), (1,406,22), (1,427,64)])
  leading_zeroes: bits[5] = priority_sel(and.33123, cases=[concat.33136], default=concat.33802, id=33138, pos=[(2,1610,22), (2,1643,30), (2,1707,13), (0,3141,34), (1,363,48), (1,406,22), (1,427,64)])
  cancel_fraction: bits[29] = shll(concat.33137, leading_zeroes, id=33139, pos=[(0,3144,26), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.33140: bits[26] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=2, width=26, id=33140, pos=[(0,3053,20), (0,3137,36), (1,363,48), (1,406,22), (1,427,64)])
  or.33141: bits[1] = or(bit_slice.33020, bit_slice.32998, id=33141, 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=33142, pos=[(1,363,48), (1,406,22), (1,427,64)])
  carry_fraction__1: bits[27] = concat(bit_slice.33140, or.33141, id=33143, 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=33144, 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=33145, pos=[(0,3158,39), (1,363,48), (1,406,22), (1,427,64)])
  fraction_shift__3: bits[3] = literal(value=4, id=33121, pos=[(2,1600,22), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,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=33146, pos=[(0,3159,41), (1,363,48), (1,406,22), (1,427,64)])
  literal.33147: bits[2] = literal(value=3, id=33147, pos=[(0,3160,68), (1,363,48), (1,406,22), (1,427,64)])
  ugt.33148: bits[1] = ugt(normal_chunk, fraction_shift__3, id=33148, pos=[(0,3160,23), (1,363,48), (1,406,22), (1,427,64)])
  eq.33149: bits[1] = eq(half_way_chunk, literal.33147, id=33149, pos=[(0,3160,50), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.33924: bits[24] = bit_slice(shifted_fraction, start=3, width=24, id=33924)
  do_round_up__3: bits[1] = or(ugt.33148, eq.33149, id=33152, pos=[(0,3160,23), (1,363,48), (1,406,22), (1,427,64)])
  concat.33925: bits[25] = concat(literal.32613, bit_slice.33924, id=33925)
  concat.34060: bits[25] = concat(literal.32831, do_round_up__3, id=34060)
  add.33841: bits[25] = add(concat.33925, concat.34060, id=33841)
  rounding_carry: bits[1] = bit_slice(add.33841, start=24, width=1, id=33904, pos=[(0,3168,41), (1,363,48), (1,406,22), (1,427,64)])
  literal.34014: bits[26] = literal(value=0, id=34014, pos=[(0,3121,39), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.34054: bits[1] = bit_slice(shrl.32849, start=1, width=1, id=34054, pos=[(0,3121,27), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.34055: bits[1] = bit_slice(shrl.32849, start=2, width=1, id=34055, pos=[(0,3121,27), (1,363,48), (1,406,22), (1,427,64)])
  concat.33157: bits[9] = concat(literal.32613, ONE_POINT_FIVE_bexp__3, id=33157, pos=[(1,363,48), (1,406,22), (1,427,64)])
  literal.33158: bits[9] = literal(value=1, id=33158, pos=[(0,3180,24), (1,363,48), (1,406,22), (1,427,64)])
  concat.33953: bits[6] = concat(literal.33998, rounding_carry, id=33953, pos=[(1,363,48), (1,406,22), (1,427,64)])
  concat.33160: bits[6] = concat(literal.32613, leading_zeroes, id=33160, pos=[(1,363,48), (1,406,22), (1,427,64)])
  eq.33982: bits[1] = eq(add.33829, literal.34014, id=33982, pos=[(0,3121,27), (1,363,48), (1,406,22), (1,427,64)])
  nor.34045: bits[1] = nor(bit_slice.34054, bit_slice.34055, id=34045, pos=[(0,3121,27), (1,363,48), (1,406,22), (1,427,64)])
  nor.34046: bits[1] = nor(bit_slice.32854, sticky__6, id=34046, pos=[(0,3121,27), (1,363,48), (1,406,22), (1,427,64)])
  add.33161: bits[9] = add(concat.33157, literal.33158, id=33161, pos=[(0,3179,26), (1,363,48), (1,406,22), (1,427,64)])
  sub.33162: bits[6] = sub(concat.33953, concat.33160, id=33162, pos=[(0,3179,26), (1,363,48), (1,406,22), (1,427,64)])
  fraction_is_zero: bits[1] = and(eq.33982, nor.34045, nor.34046, id=34030, pos=[(0,3121,27), (1,363,48), (1,406,22), (1,427,64)])
  wide_exponent_associative_element: bits[10] = concat(literal.32613, add.33161, id=33164, pos=[(0,3179,26), (1,363,48), (1,406,22), (1,427,64)])
  wide_exponent_associative_element__1: bits[10] = sign_ext(sub.33162, new_bit_count=10, id=33165, pos=[(0,3179,26), (1,363,48), (1,406,22), (1,427,64)])
  not.33524: bits[1] = not(fraction_is_zero, id=33524, 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=33167, pos=[(0,3179,26), (1,363,48), (1,406,22), (1,427,64)])
  sign_ext.33525: bits[10] = sign_ext(not.33524, new_bit_count=10, id=33525, pos=[(0,3181,24), (1,363,48), (1,406,22), (1,427,64)])
  wide_exponent__1: bits[10] = and(wide_exponent, sign_ext.33525, id=33526, pos=[(0,3181,24), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.33173: bits[1] = bit_slice(wide_exponent__1, start=9, width=1, id=33173, pos=[(0,3184,27), (1,363,48), (1,406,22), (1,427,64)])
  not.33527: bits[1] = not(bit_slice.33173, id=33527, pos=[(0,3184,24), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.33174: bits[9] = bit_slice(wide_exponent__1, start=0, width=9, id=33174, pos=[(1,363,48), (1,406,22), (1,427,64)])
  sign_ext.33528: bits[9] = sign_ext(not.33527, new_bit_count=9, id=33528, pos=[(0,3184,24), (1,363,48), (1,406,22), (1,427,64)])
  wide_exponent__2: bits[9] = and(bit_slice.33174, sign_ext.33528, id=33529, pos=[(0,3184,24), (1,363,48), (1,406,22), (1,427,64)])
  eq.33169: bits[1] = eq(ONE_POINT_FIVE_bexp__3, high_exp, id=33169, pos=[(0,96,6), (0,3209,29), (1,363,48), (1,406,22), (1,427,64)])
  eq.33170: bits[1] = eq(ONE_POINT_FIVE_fraction__1, literal.33990, id=33170, pos=[(0,96,44), (0,3209,29), (1,363,48), (1,406,22), (1,427,64)])
  not.32841: bits[1] = not(result_sign__5, id=32841, pos=[(1,405,32), (1,427,64)])
  eq.33171: bits[1] = eq(nprod_bexp, high_exp, id=33171, pos=[(0,96,6), (0,3210,29), (1,363,48), (1,406,22), (1,427,64)])
  eq.33172: bits[1] = eq(nprod_fraction, literal.33990, id=33172, pos=[(0,96,44), (0,3210,29), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.33184: bits[8] = bit_slice(wide_exponent__2, start=1, width=8, id=33184, pos=[(0,3194,11), (1,363,48), (1,406,22), (1,427,64)])
  not.33175: bits[1] = not(eq.33169, id=33175, pos=[(0,3209,29), (1,363,48), (1,406,22), (1,427,64)])
  not.33176: bits[1] = not(eq.33170, id=33176, pos=[(0,3209,29), (1,363,48), (1,406,22), (1,427,64)])
  ONE_POINT_FIVE_sign__1: bits[1] = and(nc, not.32841, id=32846, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  not.33177: bits[1] = not(eq.33171, id=33177, pos=[(0,3210,29), (1,363,48), (1,406,22), (1,427,64)])
  not.33178: bits[1] = not(eq.33172, id=33178, pos=[(0,3210,29), (1,363,48), (1,406,22), (1,427,64)])
  nprod_sign: bits[1] = and(overflow_detected, not.32841, id=32847, pos=[(0,3092,17), (1,363,48), (1,406,22), (1,427,64)])
  and.33188: bits[1] = and(eq.33169, eq.33170, id=33188, pos=[(0,96,6), (0,3209,29), (1,363,48), (1,406,22), (1,427,64)])
  and.33189: bits[1] = and(eq.33171, eq.33172, id=33189, pos=[(0,96,6), (0,3210,29), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.33190: bits[8] = bit_slice(wide_exponent__2, start=0, width=8, id=33190, pos=[(0,3202,11), (1,363,48), (1,406,22), (1,427,64)])
  or_reduce.33191: bits[1] = or_reduce(bit_slice.33184, id=33191, pos=[(0,3194,11), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.33192: bits[1] = bit_slice(wide_exponent__2, start=0, width=1, id=33192, pos=[(0,3194,11), (1,363,48), (1,406,22), (1,427,64)])
  nor.33180: bits[1] = nor(not.33175, not.33176, ONE_POINT_FIVE_sign__1, id=33180, pos=[(0,3209,29), (1,363,48), (1,406,22), (1,427,64)])
  nor.33181: bits[1] = nor(not.33177, not.33178, nprod_sign, id=33181, pos=[(0,3210,29), (1,363,48), (1,406,22), (1,427,64)])
  and.33182: bits[1] = and(eq.33169, eq.33170, ONE_POINT_FIVE_sign__1, id=33182, pos=[(0,3215,29), (1,363,48), (1,406,22), (1,427,64)])
  and.33183: bits[1] = and(eq.33171, eq.33172, nprod_sign, id=33183, pos=[(0,3216,29), (1,363,48), (1,406,22), (1,427,64)])
  fraction_shift__2: bits[3] = literal(value=3, id=33185, pos=[(0,3174,8), (1,363,48), (1,406,22), (1,427,64)])
  is_operand_inf: bits[1] = or(and.33188, and.33189, id=33197, pos=[(0,3205,31), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.33198: bits[1] = bit_slice(wide_exponent__2, start=8, width=1, id=33198, pos=[(0,3202,11), (1,363,48), (1,406,22), (1,427,64)])
  and_reduce.33199: bits[1] = and_reduce(bit_slice.33190, id=33199, pos=[(0,3202,11), (1,363,48), (1,406,22), (1,427,64)])
  nor.33200: bits[1] = nor(or_reduce.33191, bit_slice.33192, id=33200, pos=[(0,3194,11), (1,363,48), (1,406,22), (1,427,64)])
  has_pos_inf: bits[1] = or(nor.33180, nor.33181, id=33186, pos=[(0,3209,29), (1,363,48), (1,406,22), (1,427,64)])
  has_neg_inf: bits[1] = or(and.33182, and.33183, id=33187, pos=[(0,3215,29), (1,363,48), (1,406,22), (1,427,64)])
  rounded_fraction: bits[28] = concat(add.33841, normal_chunk, id=33958)
  fraction_shift__1: bits[3] = sel(rounding_carry, cases=[fraction_shift__2, fraction_shift__3], id=33193, pos=[(0,3174,8), (1,363,48), (1,406,22), (1,427,64)])
  or.33203: bits[1] = or(is_operand_inf, bit_slice.33198, and_reduce.33199, nor.33200, id=33203, pos=[(0,3207,26), (1,363,48), (1,406,22), (1,427,64)])
  nor.33194: bits[1] = nor(not.33175, eq.33170, id=33194, pos=[(0,71,6), (0,3217,30), (1,363,48), (1,406,22), (1,427,64)])
  nor.33195: bits[1] = nor(not.33177, eq.33172, id=33195, pos=[(0,71,6), (0,3217,64), (1,363,48), (1,406,22), (1,427,64)])
  and.33196: bits[1] = and(has_pos_inf, has_neg_inf, id=33196, pos=[(0,3218,25), (1,363,48), (1,406,22), (1,427,64)])
  shrl.33201: bits[28] = shrl(rounded_fraction, fraction_shift__1, id=33201, pos=[(0,3175,27), (1,363,48), (1,406,22), (1,427,64)])
  not.33530: bits[1] = not(or.33203, id=33530, pos=[(0,3207,26), (1,363,48), (1,406,22), (1,427,64)])
  is_result_nan__3: bits[1] = or(nor.33194, nor.33195, and.33196, id=33202, pos=[(0,3217,30), (1,363,48), (1,406,22), (1,427,64)])
  result_fraction__9: bits[23] = bit_slice(shrl.33201, start=0, width=23, id=33204, pos=[(1,363,48), (1,406,22), (1,427,64)])
  sign_ext.33531: bits[23] = sign_ext(not.33530, new_bit_count=23, id=33531, pos=[(0,3207,26), (1,363,48), (1,406,22), (1,427,64)])
  or.33205: bits[1] = or(is_result_nan__3, is_operand_inf, bit_slice.33198, and_reduce.33199, id=33205, pos=[(0,3220,26), (1,363,48), (1,406,22), (1,427,64)])
  result_fraction__10: bits[23] = and(result_fraction__9, sign_ext.33531, id=33532, pos=[(0,3207,26), (1,363,48), (1,406,22), (1,427,64)])
  result_exponent__2: bits[8] = sel(or.33205, cases=[bit_slice.33190, high_exp], id=33207, 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=33208, pos=[(0,3221,26), (1,363,48), (1,406,22), (1,427,64)])
  eq.33209: bits[1] = eq(result_exponent__2, literal.32607, id=33209, pos=[(0,804,5), (0,3291,67), (1,367,48), (1,407,11), (1,427,64)])
  diff_fraction__3: bits[24] = concat(literal.33813, result_fraction__11, id=33210, pos=[(0,3296,23), (1,367,48), (1,407,11), (1,427,64)])
  nor.33857: bits[1] = nor(eq.32676, eq.33209, id=33857, pos=[(0,3300,19), (1,367,48), (1,407,11), (1,427,64)])
  concat.33211: bits[9] = concat(literal.32613, result_exponent__2, id=33211, pos=[(1,367,48), (1,407,11), (1,427,64)])
  umul.33213: bits[48] = umul(approx_fraction__4, diff_fraction__3, id=33213, pos=[(0,3300,63), (1,367,48), (1,407,11), (1,427,64)])
  sign_ext.33534: bits[48] = sign_ext(nor.33857, new_bit_count=48, id=33534, pos=[(0,3300,19), (1,367,48), (1,407,11), (1,427,64)])
  add.33214: bits[9] = add(concat.33952, concat.33211, id=33214, pos=[(0,3309,16), (1,367,48), (1,407,11), (1,427,64)])
  fraction__25: bits[48] = and(umul.33213, sign_ext.33534, id=33535, pos=[(0,3300,19), (1,367,48), (1,407,11), (1,427,64)])
  concat.33216: bits[10] = concat(literal.32613, add.33214, id=33216, pos=[(0,3309,16), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.33217: bits[1] = bit_slice(fraction__25, start=47, width=1, id=33217, pos=[(0,3324,33), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.33218: bits[1] = bit_slice(fraction__25, start=0, width=1, id=33218, pos=[(0,3329,25), (1,367,48), (1,407,11), (1,427,64)])
  exp__12: bits[10] = add(concat.33216, literal.32622, id=33219, pos=[(0,3309,16), (1,367,48), (1,407,11), (1,427,64)])
  sign_ext.33537: bits[10] = sign_ext(nor.33857, new_bit_count=10, id=33537, pos=[(0,3318,14), (1,367,48), (1,407,11), (1,427,64)])
  fraction__26: bits[48] = shrl(fraction__25, bit_slice.33217, id=33220, pos=[(0,3330,19), (1,367,48), (1,407,11), (1,427,64)])
  sticky__7: bits[48] = concat(literal.32687, bit_slice.33218, id=33221, pos=[(1,367,48), (1,407,11), (1,427,64)])
  exp__13: bits[10] = and(exp__12, sign_ext.33537, id=33538, pos=[(0,3318,14), (1,367,48), (1,407,11), (1,427,64)])
  concat.33223: bits[10] = concat(literal.34073, bit_slice.33217, id=33223, pos=[(1,367,48), (1,407,11), (1,427,64)])
  fraction__27: bits[48] = or(fraction__26, sticky__7, id=33224, pos=[(0,3331,19), (1,367,48), (1,407,11), (1,427,64)])
  exp__14: bits[10] = add(exp__13, concat.33223, id=33225, pos=[(0,3334,14), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.33226: bits[47] = bit_slice(fraction__27, start=1, width=47, id=33226, pos=[(0,3346,48), (1,367,48), (1,407,11), (1,427,64)])
  sle.33227: bits[1] = sle(exp__14, literal.32627, id=33227, pos=[(0,3346,22), (1,367,48), (1,407,11), (1,427,64)])
  concat.33228: bits[48] = concat(literal.32613, bit_slice.33226, id=33228, pos=[(0,3346,48), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.33229: bits[1] = bit_slice(fraction__27, start=0, width=1, id=33229, pos=[(0,3345,25), (1,367,48), (1,407,11), (1,427,64)])
  fraction__28: bits[48] = sel(sle.33227, cases=[fraction__27, concat.33228], id=33230, pos=[(0,3346,19), (1,367,48), (1,407,11), (1,427,64)])
  sticky__8: bits[48] = concat(literal.32687, bit_slice.33229, id=33231, pos=[(1,367,48), (1,407,11), (1,427,64)])
  fraction__29: bits[48] = or(fraction__28, sticky__8, id=33232, pos=[(0,3347,19), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.33233: bits[22] = bit_slice(fraction__29, start=0, width=22, id=33233, pos=[(0,3360,41), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.33234: bits[1] = bit_slice(fraction__29, start=22, width=1, id=33234, pos=[(0,3359,40), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.33235: bits[1] = bit_slice(fraction__29, start=23, width=1, id=33235, pos=[(0,3363,45), (1,367,48), (1,407,11), (1,427,64)])
  ne.33236: bits[1] = ne(bit_slice.33233, literal.33388, id=33236, pos=[(0,3360,41), (1,367,48), (1,407,11), (1,427,64)])
  not.33237: bits[1] = not(bit_slice.33234, id=33237, pos=[(0,3363,23), (1,367,48), (1,407,11), (1,427,64)])
  not.33238: bits[1] = not(bit_slice.33235, id=33238, pos=[(0,3363,23), (1,367,48), (1,407,11), (1,427,64)])
  greater_than_half_way__3: bits[1] = and(bit_slice.33234, ne.33236, id=33240, pos=[(0,3359,40), (1,367,48), (1,407,11), (1,427,64)])
  nor.33241: bits[1] = nor(not.33237, ne.33236, not.33238, id=33241, 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=33239, pos=[(1,367,48), (1,407,11), (1,427,64)])
  do_round_up__4: bits[1] = or(greater_than_half_way__3, nor.33241, id=33243, pos=[(0,3362,22), (1,367,48), (1,407,11), (1,427,64)])
  fraction__31: bits[24] = concat(literal.32613, fraction__30, id=33242, pos=[(1,367,48), (1,407,11), (1,427,64)])
  concat.34061: bits[24] = concat(literal.33990, do_round_up__4, id=34061)
  fraction__32: bits[24] = add(fraction__31, concat.34061, id=33452)
  bit_slice.33247: bits[1] = bit_slice(fraction__32, start=23, width=1, id=33247, pos=[(0,3374,25), (1,367,48), (1,407,11), (1,427,64)])
  add.33248: bits[10] = add(exp__14, literal.32642, id=33248, pos=[(0,3374,33), (1,367,48), (1,407,11), (1,427,64)])
  exp__15: bits[10] = sel(bit_slice.33247, cases=[exp__14, add.33248], id=33252, pos=[(0,3374,14), (1,367,48), (1,407,11), (1,427,64)])
  is_subnormal__3: bits[1] = sle(exp__15, literal.32627, id=33257, pos=[(0,3375,23), (1,367,48), (1,407,11), (1,427,64)])
  not.33541: bits[1] = not(is_subnormal__3, id=33541, 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=33258, pos=[(1,367,48), (1,407,11), (1,427,64)])
  sign_ext.33542: bits[9] = sign_ext(not.33541, new_bit_count=9, id=33542, pos=[(0,3384,21), (1,367,48), (1,407,11), (1,427,64)])
  eq.33249: bits[1] = eq(result_exponent__2, high_exp, id=33249, pos=[(0,96,6), (0,3402,62), (1,367,48), (1,407,11), (1,427,64)])
  eq.33250: bits[1] = eq(result_fraction__11, literal.33990, id=33250, 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.33542, id=33543, pos=[(0,3384,21), (1,367,48), (1,407,11), (1,427,64)])
  and.33253: bits[1] = and(eq.33249, eq.33250, id=33253, pos=[(0,96,6), (0,3402,62), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.33268: bits[8] = bit_slice(result_exp__10, start=0, width=8, id=33268, pos=[(0,3392,11), (1,367,48), (1,407,11), (1,427,64)])
  has_0_arg: bits[1] = eq(x_bexp__2, literal.32607, id=32608, pos=[(0,804,5), (0,809,27), (1,78,31), (1,396,30), (1,427,64)])
  concat.33954: bits[2] = concat(bit_slice.33902, fraction_is_zero, id=33954, pos=[(1,363,48), (1,406,22), (1,427,64)])
  not.33256: bits[1] = not(nprod_sign, id=33256, pos=[(0,3210,59), (1,363,48), (1,406,22), (1,427,64)])
  has_inf_arg__3: bits[1] = or(and.34031, and.33253, id=33260, pos=[(0,3402,28), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.33271: bits[1] = bit_slice(result_exp__10, start=8, width=1, id=33271, pos=[(0,3392,11), (1,367,48), (1,407,11), (1,427,64)])
  and_reduce.33272: bits[1] = and_reduce(bit_slice.33268, id=33272, pos=[(0,3392,11), (1,367,48), (1,407,11), (1,427,64)])
  not.33544: bits[1] = not(has_0_arg, id=33544, pos=[(0,809,4), (1,78,31), (1,396,30), (1,427,64)])
  not.33259: bits[1] = not(eq.33249, id=33259, pos=[(0,71,6), (0,3401,62), (1,367,48), (1,407,11), (1,427,64)])
  has_0_arg__3: bits[1] = or(eq.32676, eq.33209, id=33212, pos=[(0,3291,40), (1,367,48), (1,407,11), (1,427,64)])
  result_sign__6: bits[1] = priority_sel(concat.33954, cases=[literal.32613, not.33256], default=nprod_sign, id=33261, pos=[(1,363,48), (1,406,22), (1,427,64)])
  not.33262: bits[1] = not(has_pos_inf, id=33262, pos=[(0,3211,42), (1,363,48), (1,406,22), (1,427,64)])
  or.33275: bits[1] = or(has_inf_arg__3, bit_slice.33271, and_reduce.33272, is_subnormal__3, id=33275, pos=[(0,3397,26), (1,367,48), (1,407,11), (1,427,64)])
  sign_ext.33545: bits[23] = sign_ext(not.33544, new_bit_count=23, id=33545, pos=[(0,809,4), (1,78,31), (1,396,30), (1,427,64)])
  nor.33264: bits[1] = nor(not.33259, eq.33250, id=33264, pos=[(0,71,6), (0,3401,62), (1,367,48), (1,407,11), (1,427,64)])
  and.33265: bits[1] = and(has_0_arg__3, has_inf_arg__3, id=33265, pos=[(0,3403,40), (1,367,48), (1,407,11), (1,427,64)])
  not.33266: bits[1] = not(is_result_nan__3, id=33266, 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.33262], id=33267, pos=[(0,3211,22), (1,363,48), (1,406,22), (1,427,64)])
  not.33547: bits[1] = not(or.33275, id=33547, pos=[(0,3397,26), (1,367,48), (1,407,11), (1,427,64)])
  x__1_fraction__2: bits[23] = and(tuple_index.32609, sign_ext.33545, id=33546, pos=[(0,809,4), (1,78,31), (1,396,30), (1,427,64)])
  is_result_nan__4: bits[1] = or(nor.32734, nor.33264, and.33265, id=33269, pos=[(0,3403,24), (1,367,48), (1,407,11), (1,427,64)])
  result_sign__8: bits[1] = and(not.33266, result_sign__7, id=33270, 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=33276, pos=[(1,367,48), (1,407,11), (1,427,64)])
  sign_ext.33548: bits[23] = sign_ext(not.33547, new_bit_count=23, id=33548, pos=[(0,3397,26), (1,367,48), (1,407,11), (1,427,64)])
  eq.32650: bits[1] = eq(x_bexp__2, high_exp, id=32650, pos=[(0,96,6), (0,3402,28), (1,367,48), (1,399,20), (1,427,64)])
  eq.32653: bits[1] = eq(x__1_fraction__2, literal.33990, id=32653, pos=[(0,96,44), (0,3402,28), (1,367,48), (1,399,20), (1,427,64)])
  not.33273: bits[1] = not(is_result_nan__4, id=33273, 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=33274, pos=[(0,3378,23), (1,367,48), (1,407,11), (1,427,64)])
  result_fraction__13: bits[23] = and(result_fraction__12, sign_ext.33548, id=33549, pos=[(0,3397,26), (1,367,48), (1,407,11), (1,427,64)])
  nand.33858: bits[1] = nand(eq.32650, eq.32653, id=33858, pos=[(1,417,17), (1,427,64)])
  has_inf_arg: bits[1] = and(eq.32650, eq.32653, id=32659, pos=[(0,96,6), (0,3402,28), (1,367,48), (1,399,20), (1,427,64)])
  result_sign__10: bits[1] = and(not.33273, result_sign__9, id=33277, 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=33282, pos=[(0,3406,26), (1,367,48), (1,407,11), (1,427,64)])
  sign_ext.33551: bits[23] = sign_ext(nand.33858, new_bit_count=23, id=33551, pos=[(1,417,17), (1,427,64)])
  not.32652: bits[1] = not(eq.32650, id=32652, pos=[(0,71,6), (0,3401,28), (1,367,48), (1,399,20), (1,427,64)])
  sel.33280: bits[1] = sel(has_inf_arg, cases=[result_sign__10, x_sign__1], id=33280, pos=[(1,417,17), (1,427,64)])
  or.33278: bits[1] = or(is_result_nan__4, has_inf_arg__3, bit_slice.33271, and_reduce.33272, id=33278, pos=[(0,3404,21), (1,367,48), (1,407,11), (1,427,64)])
  and.33552: bits[23] = and(result_fraction__14, sign_ext.33551, id=33552, pos=[(1,417,17), (1,427,64)])
  nor.32655: bits[1] = nor(not.32652, eq.32653, id=32655, pos=[(0,71,6), (0,3401,28), (1,367,48), (1,399,20), (1,427,64)])
  not.33284: bits[1] = not(sel.33280, id=33284, pos=[(1,419,17), (1,427,64)])
  result_exp__11: bits[8] = sel(or.33278, cases=[bit_slice.33268, high_exp], id=33281, pos=[(0,3404,21), (1,367,48), (1,407,11), (1,427,64)])
  sign_ext.33554: bits[8] = sign_ext(nand.33858, new_bit_count=8, id=33554, pos=[(1,417,17), (1,427,64)])
  sel.33290: bits[23] = sel(x_sign__1, cases=[and.33552, nan_fraction], id=33290, pos=[(1,419,17), (1,427,64)])
  or.33306: bits[1] = or(has_0_arg, nor.32655, id=33306, pos=[(1,423,17), (1,427,64)])
  nor.33288: bits[1] = nor(x_sign__1, not.33284, id=33288, pos=[(1,419,17), (1,427,64)])
  or.33404: bits[1] = or(has_0_arg, nor.32655, x_sign__1, id=33404, pos=[(1,423,17), (1,427,64)])
  and.33555: bits[8] = and(result_exp__11, sign_ext.33554, id=33555, pos=[(1,417,17), (1,427,64)])
  sel.33293: bits[23] = sel(nor.32655, cases=[sel.33290, tuple_index.32609], id=33293, pos=[(1,421,17), (1,427,64)])
  sel.33307: bits[1] = sel(or.33306, cases=[nor.33288, x_sign__1], id=33307, pos=[(1,423,17), (1,427,64)])
  sel.33403: bits[8] = sel(or.33404, cases=[and.33555, high_exp], id=33403, pos=[(1,423,17), (1,427,64)])
  and.33558: bits[23] = and(sel.33293, sign_ext.33545, id=33558, pos=[(1,423,17), (1,427,64)])
  ret result__4: (bits[1], bits[8], bits[23]) = tuple(sel.33307, sel.33403, and.33558, id=33297, pos=[(1,423,17), (1,427,64)])
}