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=32640, pos=[(0,804,5), (0,809,27), (1,78,31), (1,396,30), (1,427,64)])
  fraction__8: bits[1] = literal(value=0, id=32645, pos=[(0,3327,19), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.34003: bits[7] = bit_slice(x_bexp__2, start=1, width=7, id=34003, pos=[(0,3305,16), (1,367,48), (1,399,20), (1,427,64)])
  concat.34004: bits[8] = concat(fraction__8, bit_slice.34003, id=34004, pos=[(0,3305,16), (1,367,48), (1,399,20), (1,427,64)])
  literal.33942: bits[8] = literal(value=63, id=33942, pos=[(0,3305,16), (1,367,48), (1,399,20), (1,427,64)])
  add.33907: bits[8] = add(concat.34004, literal.33942, id=33907, pos=[(0,3305,16), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.34005: bits[1] = bit_slice(x_bexp__2, start=0, width=1, id=34005, pos=[(0,3305,16), (1,367,48), (1,399,20), (1,427,64)])
  concat.34047: bits[10] = concat(fraction__8, add.33907, bit_slice.34005, id=34047, pos=[(0,3305,16), (1,367,48), (1,399,20), (1,427,64)])
  literal.32655: bits[10] = literal(value=897, id=32655, pos=[(0,3305,16), (1,367,48), (1,399,20), (1,427,64)])
  exp: bits[10] = add(concat.34047, literal.32655, id=32659, pos=[(0,3305,16), (1,367,48), (1,399,20), (1,427,64)])
  literal.32660: bits[10] = literal(value=0, id=32660, pos=[(0,3314,29), (1,367,48), (1,399,20), (1,427,64)])
  literal.32647: bits[1] = literal(value=1, id=32647, pos=[(0,3290,23), (1,367,48), (1,399,20), (1,427,64)])
  tuple_index.32643: bits[23] = tuple_index(x, index=2, id=32643, pos=[(0,809,4), (1,78,31), (1,396,30), (1,427,64)])
  literal.32917: bits[2] = literal(value=1, id=32917, pos=[(2,1540,24), (2,1590,22), (2,1595,34), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  sle.32665: bits[1] = sle(exp, literal.32660, id=32665, pos=[(0,3342,22), (1,367,48), (1,399,20), (1,427,64)])
  fraction__2_squeezed: bits[25] = concat(literal.32647, tuple_index.32643, fraction__8, id=33826, pos=[(0,3327,19), (1,367,48), (1,399,20), (1,427,64)])
  concat.33828: bits[25] = concat(literal.32917, tuple_index.32643, id=33828, pos=[(0,3342,48), (1,367,48), (1,399,20), (1,427,64)])
  fraction__3_squeezed: bits[25] = sel(sle.32665, cases=[fraction__2_squeezed, concat.33828], id=33559, pos=[(0,3342,19), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.33820: bits[1] = bit_slice(fraction__3_squeezed, start=0, width=1, id=33820, pos=[(0,3353,30), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.33822: bits[1] = bit_slice(fraction__3_squeezed, start=1, width=1, id=33822, pos=[(0,3359,45), (1,367,48), (1,399,20), (1,427,64)])
  fraction__5: bits[23] = bit_slice(fraction__3_squeezed, start=1, width=23, id=33818, pos=[(1,367,48), (1,399,20), (1,427,64)])
  literal.32644: bits[23] = literal(value=0, id=32644, pos=[(0,131,73), (0,809,37), (1,78,31), (1,396,30), (1,427,64)])
  and.32674: bits[1] = and(bit_slice.33820, bit_slice.33822, id=32674, pos=[(0,3359,23), (1,367,48), (1,399,20), (1,427,64)])
  fraction__6: bits[24] = concat(fraction__8, fraction__5, id=33895, pos=[(1,367,48), (1,399,20), (1,427,64)])
  concat.34156: bits[24] = concat(literal.32644, and.32674, id=34156)
  fraction__7: bits[24] = add(fraction__6, concat.34156, id=33536)
  bit_slice.32678: bits[1] = bit_slice(fraction__7, start=23, width=1, id=32678, pos=[(0,3370,25), (1,367,48), (1,399,20), (1,427,64)])
  exp_squeezed: bits[9] = bit_slice(exp, start=0, width=9, id=34161, pos=[(0,3305,16), (1,367,48), (1,399,20), (1,427,64)])
  concat.34183: bits[9] = concat(fraction__8, x_bexp__2, id=34183, pos=[(0,3370,33), (1,367,48), (1,399,20), (1,427,64)])
  exp__3_squeezed: bits[9] = sel(bit_slice.32678, cases=[exp_squeezed, concat.34183], id=34163, pos=[(0,3370,14), (1,367,48), (1,399,20), (1,427,64)])
  literal.32684: bits[9] = literal(value=0, id=32684, pos=[(0,3380,39), (1,367,48), (1,399,20), (1,427,64)])
  is_subnormal: bits[1] = sle(exp__3_squeezed, literal.32684, id=34167, pos=[(0,3371,23), (1,367,48), (1,399,20), (1,427,64)])
  not.33565: bits[1] = not(is_subnormal, id=33565, pos=[(0,3380,21), (1,367,48), (1,399,20), (1,427,64)])
  sign_ext.33566: bits[9] = sign_ext(not.33565, new_bit_count=9, id=33566, pos=[(0,3380,21), (1,367,48), (1,399,20), (1,427,64)])
  result_exp__1: bits[9] = and(exp__3_squeezed, sign_ext.33566, id=33567, pos=[(0,3380,21), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.32689: bits[8] = bit_slice(result_exp__1, start=0, width=8, id=32689, pos=[(1,367,48), (1,399,20), (1,427,64)])
  x_sign__1: bits[1] = tuple_index(x, index=0, id=32692, pos=[(0,809,60), (1,78,31), (1,396,30), (1,427,64)])
  bit_slice.34042: bits[17] = bit_slice(tuple_index.32643, start=6, width=17, id=34042, pos=[(1,398,27), (1,427,64)])
  bit_slice.32695: bits[1] = bit_slice(result_exp__1, start=8, width=1, id=32695, pos=[(0,3386,11), (1,367,48), (1,399,20), (1,427,64)])
  and_reduce.32696: bits[1] = and_reduce(bit_slice.32689, id=32696, pos=[(0,3386,11), (1,367,48), (1,399,20), (1,427,64)])
  literal.33944: bits[27] = literal(value=49920718, id=33944, pos=[(1,398,27), (1,427,64)])
  concat.34012: bits[27] = concat(fraction__8, x_sign__1, x_bexp__2, bit_slice.34042, id=34012, pos=[(1,398,27), (1,427,64)])
  nor.33946: bits[1] = nor(bit_slice.32695, and_reduce.32696, is_subnormal, id=33946, pos=[(0,3393,26), (1,367,48), (1,399,20), (1,427,64)])
  or.33385: bits[1] = or(bit_slice.32695, and_reduce.32696, id=33385, pos=[(0,3400,21), (1,367,48), (1,399,20), (1,427,64)])
  high_exp: bits[8] = literal(value=255, id=32681, pos=[(0,3384,33), (1,367,48), (1,399,20), (1,427,64)])
  sub.33920: bits[27] = sub(literal.33944, concat.34012, id=33920, pos=[(1,398,27), (1,427,64)])
  result_fraction: bits[23] = bit_slice(fraction__7, start=0, width=23, id=32701, pos=[(1,367,48), (1,399,20), (1,427,64)])
  sign_ext.33569: bits[23] = sign_ext(nor.33946, new_bit_count=23, id=33569, pos=[(0,3393,26), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.34043: bits[5] = bit_slice(tuple_index.32643, start=1, width=5, id=34043, pos=[(1,398,27), (1,427,64)])
  result_exp__4: bits[8] = sel(or.33385, cases=[bit_slice.32689, high_exp], id=32706, pos=[(0,3400,21), (1,367,48), (1,399,20), (1,427,64)])
  literal.32641: bits[8] = literal(value=0, id=32641, pos=[(0,804,14), (0,809,27), (1,78,31), (1,396,30), (1,427,64)])
  approx_bexp__1: bits[8] = bit_slice(sub.33920, start=18, width=8, id=33991, pos=[(1,61,65), (1,398,26), (1,427,64)])
  result_fraction__3: bits[23] = and(result_fraction, sign_ext.33569, id=33570, pos=[(0,3393,26), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.33993: bits[18] = bit_slice(sub.33920, start=0, width=18, id=33993, pos=[(1,61,65), (1,398,26), (1,427,64)])
  not.33922: bits[5] = not(bit_slice.34043, id=33922, pos=[(1,398,27), (1,427,64)])
  eq.32710: bits[1] = eq(result_exp__4, literal.32641, id=32710, pos=[(0,804,5), (0,3287,40), (1,367,48), (1,403,22), (1,427,64)])
  eq.32711: bits[1] = eq(approx_bexp__1, literal.32641, id=32711, pos=[(0,804,5), (0,3287,67), (1,367,48), (1,403,22), (1,427,64)])
  half_x_fraction__4: bits[24] = concat(literal.32647, result_fraction__3, id=32712, pos=[(0,3290,23), (1,367,48), (1,403,22), (1,427,64)])
  approx_fraction__4: bits[24] = concat(literal.32647, bit_slice.33993, not.33922, id=34048, pos=[(0,3292,23), (1,367,48), (1,403,22), (1,427,64)])
  nor.33947: bits[1] = nor(eq.32710, eq.32711, id=33947, pos=[(0,3296,19), (1,367,48), (1,403,22), (1,427,64)])
  concat.32714: bits[9] = concat(fraction__8, result_exp__4, id=32714, pos=[(1,367,48), (1,403,22), (1,427,64)])
  concat.34049: bits[9] = concat(fraction__8, approx_bexp__1, id=34049, pos=[(1,367,48), (1,403,22), (1,427,64)])
  umul.32717: bits[48] = umul(half_x_fraction__4, approx_fraction__4, id=32717, pos=[(0,3296,63), (1,367,48), (1,403,22), (1,427,64)])
  sign_ext.33572: bits[48] = sign_ext(nor.33947, new_bit_count=48, id=33572, pos=[(0,3296,19), (1,367,48), (1,403,22), (1,427,64)])
  add.32719: bits[9] = add(concat.32714, concat.34049, id=32719, pos=[(0,3305,16), (1,367,48), (1,403,22), (1,427,64)])
  fraction__4: bits[48] = and(umul.32717, sign_ext.33572, id=33573, pos=[(0,3296,19), (1,367,48), (1,403,22), (1,427,64)])
  concat.32721: bits[10] = concat(fraction__8, add.32719, id=32721, pos=[(0,3305,16), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.32722: bits[1] = bit_slice(fraction__4, start=47, width=1, id=32722, pos=[(0,3320,33), (1,367,48), (1,403,22), (1,427,64)])
  exp__4: bits[10] = add(concat.32721, literal.32655, id=32723, pos=[(0,3305,16), (1,367,48), (1,403,22), (1,427,64)])
  sign_ext.33575: bits[10] = sign_ext(nor.33947, new_bit_count=10, id=33575, pos=[(0,3314,14), (1,367,48), (1,403,22), (1,427,64)])
  fraction__9: bits[48] = shrl(fraction__4, bit_slice.32722, id=32724, pos=[(0,3326,19), (1,367,48), (1,403,22), (1,427,64)])
  exp__5: bits[10] = and(exp__4, sign_ext.33575, id=33576, pos=[(0,3314,14), (1,367,48), (1,403,22), (1,427,64)])
  concat.32726: bits[10] = concat(literal.32684, bit_slice.32722, id=32726, pos=[(1,367,48), (1,403,22), (1,427,64)])
  bit_slice.32727: bits[1] = bit_slice(fraction__9, start=0, width=1, id=32727, pos=[(0,3327,19), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.32728: bits[1] = bit_slice(fraction__4, start=0, width=1, id=32728, pos=[(0,3325,25), (1,367,48), (1,403,22), (1,427,64)])
  exp__6: bits[10] = add(exp__5, concat.32726, id=32729, pos=[(0,3330,14), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.32730: bits[47] = bit_slice(fraction__9, start=1, width=47, id=32730, pos=[(0,3327,19), (1,367,48), (1,403,22), (1,427,64)])
  fraction__10: bits[1] = or(bit_slice.32727, bit_slice.32728, id=32731, pos=[(0,3327,19), (1,367,48), (1,403,22), (1,427,64)])
  sle.32732: bits[1] = sle(exp__6, literal.32660, id=32732, pos=[(0,3342,22), (1,367,48), (1,403,22), (1,427,64)])
  fraction__11: bits[48] = concat(bit_slice.32730, fraction__10, id=32733, pos=[(0,3327,19), (1,367,48), (1,403,22), (1,427,64)])
  concat.32734: bits[48] = concat(fraction__8, bit_slice.32730, id=32734, pos=[(0,3342,48), (1,367,48), (1,403,22), (1,427,64)])
  fraction__12: bits[48] = sel(sle.32732, cases=[fraction__11, concat.32734], id=32735, pos=[(0,3342,19), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.32736: bits[21] = bit_slice(fraction__12, start=1, width=21, id=32736, pos=[(0,3354,31), (1,367,48), (1,403,22), (1,427,64)])
  literal.32737: bits[21] = literal(value=0, id=32737, pos=[(0,3354,67), (1,367,48), (1,403,22), (1,427,64)])
  ne.32738: bits[1] = ne(bit_slice.32736, literal.32737, id=32738, pos=[(0,3356,41), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.32739: bits[1] = bit_slice(fraction__12, start=0, width=1, id=32739, pos=[(0,3343,19), (1,367,48), (1,403,22), (1,427,64)])
  or.32740: bits[1] = or(ne.32738, bit_slice.32739, bit_slice.32727, bit_slice.32728, id=32740, pos=[(0,3356,41), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.32741: bits[1] = bit_slice(fraction__12, start=22, width=1, id=32741, pos=[(0,3353,30), (1,367,48), (1,403,22), (1,427,64)])
  not.32742: bits[1] = not(or.32740, id=32742, pos=[(0,3354,31), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.32743: bits[1] = bit_slice(fraction__12, start=23, width=1, id=32743, pos=[(0,3359,45), (1,367,48), (1,403,22), (1,427,64)])
  greater_than_half_way__1: bits[1] = and(bit_slice.32741, or.32740, id=32745, pos=[(0,3355,40), (1,367,48), (1,403,22), (1,427,64)])
  and.32746: bits[1] = and(bit_slice.32741, not.32742, bit_slice.32743, id=32746, pos=[(0,3359,23), (1,367,48), (1,403,22), (1,427,64)])
  fraction__13: bits[23] = bit_slice(fraction__12, start=23, width=23, id=32744, pos=[(1,367,48), (1,403,22), (1,427,64)])
  do_round_up__1: bits[1] = or(greater_than_half_way__1, and.32746, id=32748, pos=[(0,3358,22), (1,367,48), (1,403,22), (1,427,64)])
  fraction__14: bits[24] = concat(fraction__8, fraction__13, id=32747, pos=[(1,367,48), (1,403,22), (1,427,64)])
  concat.34157: bits[24] = concat(literal.32644, do_round_up__1, id=34157)
  fraction__15: bits[24] = add(fraction__14, concat.34157, id=33539)
  literal.32677: bits[10] = literal(value=1, id=32677, pos=[(0,3370,39), (1,367,48), (1,399,20), (1,427,64)])
  bit_slice.32751: bits[1] = bit_slice(fraction__15, start=23, width=1, id=32751, pos=[(0,3370,25), (1,367,48), (1,403,22), (1,427,64)])
  add.32752: bits[10] = add(exp__6, literal.32677, id=32752, pos=[(0,3370,33), (1,367,48), (1,403,22), (1,427,64)])
  exp__7: bits[10] = sel(bit_slice.32751, cases=[exp__6, add.32752], id=32753, pos=[(0,3370,14), (1,367,48), (1,403,22), (1,427,64)])
  is_subnormal__1: bits[1] = sle(exp__7, literal.32660, id=32758, pos=[(0,3371,23), (1,367,48), (1,403,22), (1,427,64)])
  not.33579: bits[1] = not(is_subnormal__1, id=33579, pos=[(0,3380,21), (1,367,48), (1,403,22), (1,427,64)])
  literal.34094: bits[18] = literal(value=0, id=34094, pos=[(0,131,73), (0,809,37), (1,78,31), (1,396,30), (1,427,64)])
  literal.34128: bits[5] = literal(value=31, id=34128, pos=[(1,363,48), (1,406,22), (1,427,64)])
  result_exp__2: bits[9] = bit_slice(exp__7, start=0, width=9, id=32759, pos=[(1,367,48), (1,403,22), (1,427,64)])
  sign_ext.33580: bits[9] = sign_ext(not.33579, new_bit_count=9, id=33580, pos=[(0,3380,21), (1,367,48), (1,403,22), (1,427,64)])
  eq.32755: bits[1] = eq(result_fraction__3, literal.32644, id=32755, pos=[(0,96,44), (0,3391,31), (1,367,48), (1,403,22), (1,427,64)])
  eq.32756: bits[1] = eq(approx_bexp__1, high_exp, id=32756, pos=[(0,71,6), (0,3397,62), (1,367,48), (1,403,22), (1,427,64)])
  eq.34059: bits[1] = eq(bit_slice.33993, literal.34094, id=34059, pos=[(0,96,44), (0,3391,65), (1,367,48), (1,403,22), (1,427,64)])
  eq.34129: bits[1] = eq(bit_slice.34043, literal.34128, id=34129, pos=[(0,96,44), (0,3391,65), (1,367,48), (1,403,22), (1,427,64)])
  result_exp__3: bits[9] = and(result_exp__2, sign_ext.33580, id=33581, pos=[(0,3380,21), (1,367,48), (1,403,22), (1,427,64)])
  and.32760: bits[1] = and(or.33385, eq.32755, id=32760, pos=[(0,96,6), (0,3391,31), (1,367,48), (1,403,22), (1,427,64)])
  and.34130: bits[1] = and(eq.32756, eq.34059, eq.34129, id=34130, pos=[(0,96,6), (0,3391,65), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.32766: bits[8] = bit_slice(result_exp__3, start=0, width=8, id=32766, pos=[(1,367,48), (1,403,22), (1,427,64)])
  has_inf_arg__1: bits[1] = or(and.32760, and.34130, id=32765, pos=[(0,3398,28), (1,367,48), (1,403,22), (1,427,64)])
  bit_slice.32770: bits[1] = bit_slice(result_exp__3, start=8, width=1, id=32770, pos=[(0,3386,11), (1,367,48), (1,403,22), (1,427,64)])
  and_reduce.32771: bits[1] = and_reduce(bit_slice.32766, id=32771, pos=[(0,3386,11), (1,367,48), (1,403,22), (1,427,64)])
  nor.33945: bits[1] = nor(bit_slice.32695, and_reduce.32696, id=33945, pos=[(0,71,6), (0,3397,28), (1,367,48), (1,403,22), (1,427,64)])
  not.32764: bits[1] = not(eq.32756, id=32764, pos=[(0,71,6), (0,3397,62), (1,367,48), (1,403,22), (1,427,64)])
  and.34062: bits[1] = and(eq.34059, eq.34129, id=34062, pos=[(0,96,44), (0,3391,65), (1,367,48), (1,403,22), (1,427,64)])
  has_0_arg__1: bits[1] = or(eq.32710, eq.32711, id=32716, pos=[(0,3287,40), (1,367,48), (1,403,22), (1,427,64)])
  or.32773: bits[1] = or(has_inf_arg__1, bit_slice.32770, and_reduce.32771, is_subnormal__1, id=32773, pos=[(0,3393,26), (1,367,48), (1,403,22), (1,427,64)])
  nor.32767: bits[1] = nor(nor.33945, eq.32755, id=32767, pos=[(0,71,6), (0,3397,28), (1,367,48), (1,403,22), (1,427,64)])
  nor.32768: bits[1] = nor(not.32764, and.34062, id=32768, pos=[(0,71,6), (0,3397,62), (1,367,48), (1,403,22), (1,427,64)])
  and.32769: bits[1] = and(has_0_arg__1, has_inf_arg__1, id=32769, pos=[(0,3399,40), (1,367,48), (1,403,22), (1,427,64)])
  not.33582: bits[1] = not(or.32773, id=33582, pos=[(0,3393,26), (1,367,48), (1,403,22), (1,427,64)])
  is_result_nan__1: bits[1] = or(nor.32767, nor.32768, and.32769, id=32772, pos=[(0,3399,24), (1,367,48), (1,403,22), (1,427,64)])
  result_fraction__1: bits[23] = bit_slice(fraction__15, start=0, width=23, id=32774, pos=[(1,367,48), (1,403,22), (1,427,64)])
  sign_ext.33583: bits[23] = sign_ext(not.33582, new_bit_count=23, id=33583, pos=[(0,3393,26), (1,367,48), (1,403,22), (1,427,64)])
  or.32775: bits[1] = or(is_result_nan__1, has_inf_arg__1, bit_slice.32770, and_reduce.32771, id=32775, pos=[(0,3400,21), (1,367,48), (1,403,22), (1,427,64)])
  result_fraction__2: bits[23] = and(result_fraction__1, sign_ext.33583, id=33584, pos=[(0,3393,26), (1,367,48), (1,403,22), (1,427,64)])
  nan_fraction: bits[23] = literal(value=4194304, id=32705, pos=[(0,3401,23), (1,367,48), (1,399,20), (1,427,64)])
  result_exp__5: bits[8] = sel(or.32775, cases=[bit_slice.32766, high_exp], id=32777, pos=[(0,3400,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=32778, pos=[(0,3402,26), (1,367,48), (1,403,22), (1,427,64)])
  eq.32779: bits[1] = eq(result_exp__5, literal.32641, id=32779, pos=[(0,804,5), (0,3287,40), (1,367,48), (1,404,22), (1,427,64)])
  prod_fraction__3: bits[24] = concat(literal.32647, result_fraction__5, id=32780, pos=[(0,3290,23), (1,367,48), (1,404,22), (1,427,64)])
  nor.33948: bits[1] = nor(eq.32779, eq.32711, id=33948, pos=[(0,3296,19), (1,367,48), (1,404,22), (1,427,64)])
  concat.32781: bits[9] = concat(fraction__8, result_exp__5, id=32781, pos=[(1,367,48), (1,404,22), (1,427,64)])
  umul.32783: bits[48] = umul(prod_fraction__3, approx_fraction__4, id=32783, pos=[(0,3296,63), (1,367,48), (1,404,22), (1,427,64)])
  sign_ext.33586: bits[48] = sign_ext(nor.33948, new_bit_count=48, id=33586, pos=[(0,3296,19), (1,367,48), (1,404,22), (1,427,64)])
  add.32784: bits[9] = add(concat.32781, concat.34049, id=32784, pos=[(0,3305,16), (1,367,48), (1,404,22), (1,427,64)])
  fraction__16: bits[48] = and(umul.32783, sign_ext.33586, id=33587, pos=[(0,3296,19), (1,367,48), (1,404,22), (1,427,64)])
  concat.32786: bits[10] = concat(fraction__8, add.32784, id=32786, pos=[(0,3305,16), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.32787: bits[1] = bit_slice(fraction__16, start=47, width=1, id=32787, pos=[(0,3320,33), (1,367,48), (1,404,22), (1,427,64)])
  exp__8: bits[10] = add(concat.32786, literal.32655, id=32788, pos=[(0,3305,16), (1,367,48), (1,404,22), (1,427,64)])
  sign_ext.33589: bits[10] = sign_ext(nor.33948, new_bit_count=10, id=33589, pos=[(0,3314,14), (1,367,48), (1,404,22), (1,427,64)])
  fraction__17: bits[48] = shrl(fraction__16, bit_slice.32787, id=32789, pos=[(0,3326,19), (1,367,48), (1,404,22), (1,427,64)])
  exp__9: bits[10] = and(exp__8, sign_ext.33589, id=33590, pos=[(0,3314,14), (1,367,48), (1,404,22), (1,427,64)])
  concat.32791: bits[10] = concat(literal.32684, bit_slice.32787, id=32791, pos=[(1,367,48), (1,404,22), (1,427,64)])
  bit_slice.32792: bits[1] = bit_slice(fraction__17, start=0, width=1, id=32792, pos=[(0,3327,19), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.32793: bits[1] = bit_slice(fraction__16, start=0, width=1, id=32793, pos=[(0,3325,25), (1,367,48), (1,404,22), (1,427,64)])
  exp__10: bits[10] = add(exp__9, concat.32791, id=32794, pos=[(0,3330,14), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.32795: bits[47] = bit_slice(fraction__17, start=1, width=47, id=32795, pos=[(0,3327,19), (1,367,48), (1,404,22), (1,427,64)])
  fraction__18: bits[1] = or(bit_slice.32792, bit_slice.32793, id=32796, pos=[(0,3327,19), (1,367,48), (1,404,22), (1,427,64)])
  sle.32797: bits[1] = sle(exp__10, literal.32660, id=32797, pos=[(0,3342,22), (1,367,48), (1,404,22), (1,427,64)])
  fraction__19: bits[48] = concat(bit_slice.32795, fraction__18, id=32798, pos=[(0,3327,19), (1,367,48), (1,404,22), (1,427,64)])
  concat.32799: bits[48] = concat(fraction__8, bit_slice.32795, id=32799, pos=[(0,3342,48), (1,367,48), (1,404,22), (1,427,64)])
  fraction__20: bits[48] = sel(sle.32797, cases=[fraction__19, concat.32799], id=32800, pos=[(0,3342,19), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.32801: bits[21] = bit_slice(fraction__20, start=1, width=21, id=32801, pos=[(0,3354,31), (1,367,48), (1,404,22), (1,427,64)])
  ne.32802: bits[1] = ne(bit_slice.32801, literal.32737, id=32802, pos=[(0,3356,41), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.32803: bits[1] = bit_slice(fraction__20, start=0, width=1, id=32803, pos=[(0,3343,19), (1,367,48), (1,404,22), (1,427,64)])
  or.32804: bits[1] = or(ne.32802, bit_slice.32803, bit_slice.32792, bit_slice.32793, id=32804, pos=[(0,3356,41), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.32805: bits[1] = bit_slice(fraction__20, start=22, width=1, id=32805, pos=[(0,3353,30), (1,367,48), (1,404,22), (1,427,64)])
  not.32806: bits[1] = not(or.32804, id=32806, pos=[(0,3354,31), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.32807: bits[1] = bit_slice(fraction__20, start=23, width=1, id=32807, pos=[(0,3359,45), (1,367,48), (1,404,22), (1,427,64)])
  greater_than_half_way__2: bits[1] = and(bit_slice.32805, or.32804, id=32809, pos=[(0,3355,40), (1,367,48), (1,404,22), (1,427,64)])
  and.32810: bits[1] = and(bit_slice.32805, not.32806, bit_slice.32807, id=32810, pos=[(0,3359,23), (1,367,48), (1,404,22), (1,427,64)])
  fraction__21: bits[23] = bit_slice(fraction__20, start=23, width=23, id=32808, pos=[(1,367,48), (1,404,22), (1,427,64)])
  do_round_up__2: bits[1] = or(greater_than_half_way__2, and.32810, id=32812, pos=[(0,3358,22), (1,367,48), (1,404,22), (1,427,64)])
  fraction__22: bits[24] = concat(fraction__8, fraction__21, id=32811, pos=[(1,367,48), (1,404,22), (1,427,64)])
  concat.34158: bits[24] = concat(literal.32644, do_round_up__2, id=34158)
  fraction__23: bits[24] = add(fraction__22, concat.34158, id=33542)
  bit_slice.32815: bits[1] = bit_slice(fraction__23, start=23, width=1, id=32815, pos=[(0,3370,25), (1,367,48), (1,404,22), (1,427,64)])
  add.32816: bits[10] = add(exp__10, literal.32677, id=32816, pos=[(0,3370,33), (1,367,48), (1,404,22), (1,427,64)])
  exp__11: bits[10] = sel(bit_slice.32815, cases=[exp__10, add.32816], id=32819, pos=[(0,3370,14), (1,367,48), (1,404,22), (1,427,64)])
  is_subnormal__2: bits[1] = sle(exp__11, literal.32660, id=32821, pos=[(0,3371,23), (1,367,48), (1,404,22), (1,427,64)])
  eq.32818: bits[1] = eq(result_fraction__5, literal.32644, id=32818, pos=[(0,96,44), (0,3391,31), (1,367,48), (1,404,22), (1,427,64)])
  not.33593: bits[1] = not(is_subnormal__2, id=33593, pos=[(0,3380,21), (1,367,48), (1,404,22), (1,427,64)])
  and.32820: bits[1] = and(or.32775, eq.32818, id=32820, pos=[(0,96,6), (0,3391,31), (1,367,48), (1,404,22), (1,427,64)])
  result_exp__6: bits[9] = bit_slice(exp__11, start=0, width=9, id=32822, pos=[(1,367,48), (1,404,22), (1,427,64)])
  sign_ext.33594: bits[9] = sign_ext(not.33593, new_bit_count=9, id=33594, pos=[(0,3380,21), (1,367,48), (1,404,22), (1,427,64)])
  not.32823: bits[1] = not(or.32775, id=32823, pos=[(0,71,6), (0,3397,28), (1,367,48), (1,404,22), (1,427,64)])
  has_0_arg__2: bits[1] = or(eq.32779, eq.32711, id=32782, pos=[(0,3287,40), (1,367,48), (1,404,22), (1,427,64)])
  has_inf_arg__2: bits[1] = or(and.32820, and.34130, id=32824, pos=[(0,3398,28), (1,367,48), (1,404,22), (1,427,64)])
  result_exp__7: bits[9] = and(result_exp__6, sign_ext.33594, id=33595, pos=[(0,3380,21), (1,367,48), (1,404,22), (1,427,64)])
  nor.32826: bits[1] = nor(not.32823, eq.32818, id=32826, pos=[(0,71,6), (0,3397,28), (1,367,48), (1,404,22), (1,427,64)])
  and.32827: bits[1] = and(has_0_arg__2, has_inf_arg__2, id=32827, pos=[(0,3399,40), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.32828: bits[8] = bit_slice(result_exp__7, start=0, width=8, id=32828, pos=[(1,367,48), (1,404,22), (1,427,64)])
  is_result_nan__2: bits[1] = or(nor.32826, nor.32768, and.32827, id=32829, pos=[(0,3399,24), (1,367,48), (1,404,22), (1,427,64)])
  bit_slice.32830: bits[1] = bit_slice(result_exp__7, start=8, width=1, id=32830, pos=[(0,3386,11), (1,367,48), (1,404,22), (1,427,64)])
  and_reduce.32831: bits[1] = and_reduce(bit_slice.32828, id=32831, pos=[(0,3386,11), (1,367,48), (1,404,22), (1,427,64)])
  or.32832: bits[1] = or(is_result_nan__2, has_inf_arg__2, bit_slice.32830, and_reduce.32831, id=32832, pos=[(0,3400,21), (1,367,48), (1,404,22), (1,427,64)])
  or.32836: bits[1] = or(has_inf_arg__2, bit_slice.32830, and_reduce.32831, is_subnormal__2, id=32836, pos=[(0,3393,26), (1,367,48), (1,404,22), (1,427,64)])
  result_exp__8: bits[8] = sel(or.32832, cases=[bit_slice.32828, high_exp], id=32833, pos=[(0,3400,21), (1,367,48), (1,404,22), (1,427,64)])
  not.33596: bits[1] = not(or.32836, id=33596, pos=[(0,3393,26), (1,367,48), (1,404,22), (1,427,64)])
  nprod_bexpnot: bits[8] = not(result_exp__8, id=32834, pos=[(3,90,15), (0,3005,44), (0,3087,57), (1,363,48), (1,406,22), (1,427,64)])
  literal.33331: bits[8] = literal(value=128, id=33331, pos=[(2,1121,49), (3,91,63), (0,3005,44), (0,3087,57), (1,363,48), (1,406,22), (1,427,64)])
  result_fraction__6: bits[23] = bit_slice(fraction__23, start=0, width=23, id=32837, pos=[(1,367,48), (1,404,22), (1,427,64)])
  sign_ext.33597: bits[23] = sign_ext(not.33596, new_bit_count=23, id=33597, pos=[(0,3393,26), (1,367,48), (1,404,22), (1,427,64)])
  overflow_detected: bits[1] = ugt(nprod_bexpnot, literal.33331, id=33332, pos=[(2,1121,49), (3,91,63), (0,3005,44), (0,3087,57), (1,363,48), (1,406,22), (1,427,64)])
  result_fraction__7: bits[23] = and(result_fraction__6, sign_ext.33597, id=33598, pos=[(0,3393,26), (1,367,48), (1,404,22), (1,427,64)])
  eq.33394: bits[1] = eq(bit_slice.32828, literal.32641, id=33394, pos=[(0,3096,25), (1,363,48), (1,406,22), (1,427,64)])
  approx_sign__2: bits[1] = bit_slice(sub.33920, start=26, width=1, id=33995, pos=[(0,378,15), (1,61,65), (1,398,26), (1,427,64)])
  nprod_fraction: bits[23] = sel(overflow_detected, cases=[nan_fraction, result_fraction__7], id=33391, pos=[(0,3088,17), (1,363,48), (1,406,22), (1,427,64)])
  nand.33949: bits[1] = nand(overflow_detected, eq.33394, id=33949, pos=[(0,3096,21), (1,363,48), (1,406,22), (1,427,64)])
  ONE_POINT_FIVE_bexp__2: bits[8] = literal(value=127, id=32844, pos=[(0,3087,59), (1,363,48), (1,406,22), (1,427,64)])
  nc: bits[1] = not(overflow_detected, id=32843, pos=[(3,92,19), (0,3005,44), (0,3087,57), (1,363,48), (1,406,22), (1,427,64)])
  not.32865: bits[1] = not(is_result_nan__1, id=32865, pos=[(0,3403,22), (1,367,48), (1,403,22), (1,427,64)])
  result_sign__2: bits[1] = xor(x_sign__1, approx_sign__2, id=32866, pos=[(0,3374,23), (1,367,48), (1,403,22), (1,427,64)])
  or.33334: bits[1] = or(overflow_detected, is_result_nan__2, id=33334, pos=[(0,3088,17), (1,363,48), (1,406,22), (1,427,64)])
  fraction_y: bits[24] = concat(literal.32647, nprod_fraction, id=32862, pos=[(0,3092,22), (1,363,48), (1,406,22), (1,427,64)])
  sign_ext.33600: bits[24] = sign_ext(nand.33949, new_bit_count=24, id=33600, pos=[(0,3096,21), (1,363,48), (1,406,22), (1,427,64)])
  full_result__2: bits[8] = add(nprod_bexpnot, ONE_POINT_FIVE_bexp__2, id=33345, pos=[(2,1119,45), (3,91,63), (0,3005,44), (0,3087,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=32847, pos=[(3,94,32), (0,3005,44), (0,3087,57), (1,363,48), (1,406,22), (1,427,64)])
  literal.32848: bits[7] = literal(value=0, id=32848, pos=[(0,3006,68), (0,3087,57), (1,363,48), (1,406,22), (1,427,64)])
  result_sign__3: bits[1] = and(not.32865, result_sign__2, id=32871, pos=[(0,3403,22), (1,367,48), (1,403,22), (1,427,64)])
  ONE_POINT_FIVE_fraction__1: bits[23] = sel(or.33334, cases=[result_fraction__7, nan_fraction], id=33335, pos=[(0,3088,17), (1,363,48), (1,406,22), (1,427,64)])
  fraction_y__1: bits[24] = and(fraction_y, sign_ext.33600, id=33601, pos=[(0,3096,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=33606, pos=[(0,3106,19), (1,363,48), (1,406,22), (1,427,64)])
  result__5: bits[8] = xor(full_result__2, ONE_POINT_FIVE_bexpor_mask__1, id=32854, pos=[(3,95,18), (0,3005,44), (0,3087,57), (1,363,48), (1,406,22), (1,427,64)])
  concat.32855: bits[8] = concat(literal.32848, overflow_detected, id=32855, pos=[(0,3006,68), (0,3087,57), (1,363,48), (1,406,22), (1,427,64)])
  not.32876: bits[1] = not(is_result_nan__2, id=32876, pos=[(0,3403,22), (1,367,48), (1,404,22), (1,427,64)])
  result_sign__4: bits[1] = xor(result_sign__3, approx_sign__2, id=32877, pos=[(0,3374,23), (1,367,48), (1,404,22), (1,427,64)])
  wide_x_squeezed: bits[25] = concat(literal.32917, ONE_POINT_FIVE_fraction__1, id=33830, pos=[(0,3099,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=32873, pos=[(0,3112,31), (1,363,48), (1,406,22), (1,427,64)])
  shift: bits[8] = add(result__5, concat.32855, id=32864, pos=[(3,54,7), (0,3006,68), (0,3087,57), (1,363,48), (1,406,22), (1,427,64)])
  literal.32863: bits[28] = literal(value=268435455, id=32863, pos=[(2,1411,19), (2,1501,17), (2,1528,22), (0,3111,35), (1,363,48), (1,406,22), (1,427,64)])
  result_sign__5: bits[1] = and(not.32876, result_sign__4, id=32881, pos=[(0,3403,22), (1,367,48), (1,404,22), (1,427,64)])
  neg.32878: bits[25] = neg(wide_x_squeezed, id=32878, pos=[(0,3106,41), (1,363,48), (1,406,22), (1,427,64)])
  shrl.32879: bits[27] = shrl(wide_y_shift_bits, shift, id=32879, pos=[(0,3112,31), (1,363,48), (1,406,22), (1,427,64)])
  not.34064: bits[23] = not(nprod_fraction, id=34064, pos=[(2,1411,4), (2,1501,17), (2,1528,22), (0,3111,35), (1,363,48), (1,406,22), (1,427,64)])
  shll.32870: bits[28] = shll(literal.32863, shift, id=32870, pos=[(2,1411,19), (2,1501,17), (2,1528,22), (0,3111,35), (1,363,48), (1,406,22), (1,427,64)])
  ONE_POINT_FIVEddend_x__2_squeezed: bits[25] = sel(result_sign__5, cases=[neg.32878, wide_x_squeezed], id=33604, pos=[(0,3106,19), (1,363,48), (1,406,22), (1,427,64)])
  literal.32887: bits[2] = literal(value=0, id=32887, pos=[(1,363,48), (1,406,22), (1,427,64)])
  bit_slice.34045: bits[24] = bit_slice(shrl.32879, start=3, width=24, id=34045, pos=[(0,3116,20), (1,363,48), (1,406,22), (1,427,64)])
  concat.34067: bits[24] = concat(fraction__8, not.34064, id=34067, pos=[(2,1411,4), (2,1501,17), (2,1528,22), (0,3111,35), (1,363,48), (1,406,22), (1,427,64)])
  not.33952: bits[24] = not(sign_ext.33600, id=33952, pos=[(2,1411,4), (2,1501,17), (2,1528,22), (0,3111,35), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32875: bits[24] = bit_slice(shll.32870, start=3, width=24, id=32875, pos=[(2,1411,19), (2,1501,17), (2,1528,22), (0,3111,35), (1,363,48), (1,406,22), (1,427,64)])
  sign_ext.34016: bits[26] = sign_ext(ONE_POINT_FIVEddend_x__2_squeezed, new_bit_count=26, id=34016, pos=[(0,3116,20), (1,363,48), (1,406,22), (1,427,64)])
  concat.34018: bits[26] = concat(literal.32887, bit_slice.34045, id=34018, pos=[(0,3116,20), (1,363,48), (1,406,22), (1,427,64)])
  nor.33953: bits[24] = nor(concat.34067, not.33952, bit_slice.32875, id=33953, pos=[(2,1411,4), (2,1501,17), (2,1528,22), (0,3111,35), (1,363,48), (1,406,22), (1,427,64)])
  literal.32860: bits[24] = literal(value=0, id=32860, pos=[(0,3095,49), (1,363,48), (1,406,22), (1,427,64)])
  add.33926: bits[26] = add(sign_ext.34016, concat.34018, id=33926, pos=[(0,3116,20), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32884: bits[1] = bit_slice(shrl.32879, start=0, width=1, id=32884, pos=[(0,3049,40), (0,3112,30), (1,363,48), (1,406,22), (1,427,64)])
  sticky: bits[1] = ne(nor.33953, literal.32860, id=32885, pos=[(2,1501,17), (2,1528,22), (0,3111,35), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.33997: bits[25] = bit_slice(add.33926, start=0, width=25, id=33997, pos=[(0,3126,9), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.34046: bits[2] = bit_slice(shrl.32879, start=1, width=2, id=34046, pos=[(0,3116,20), (1,363,48), (1,406,22), (1,427,64)])
  or.32889: bits[1] = or(bit_slice.32884, sticky, id=32889, pos=[(0,3049,40), (0,3112,30), (1,363,48), (1,406,22), (1,427,64)])
  concat.34056: bits[28] = concat(bit_slice.33997, bit_slice.34046, or.32889, id=34056, pos=[(0,3126,9), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.33999: bits[1] = bit_slice(add.33926, start=25, width=1, id=33999, pos=[(0,3118,47), (1,363,48), (1,406,22), (1,427,64)])
  neg.32895: bits[28] = neg(concat.34056, id=32895, pos=[(0,3126,46), (1,363,48), (1,406,22), (1,427,64)])
  ONE_POINT_FIVEbs_fraction__1: bits[28] = sel(bit_slice.33999, cases=[concat.34056, neg.32895], id=32896, pos=[(0,3126,9), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32984: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=4, width=1, id=32984, pos=[(2,1590,70), (2,1595,64), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32960: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=6, width=1, id=32960, pos=[(2,1590,70), (2,1595,34), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32957: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=11, width=1, id=32957, pos=[(2,1590,40), (2,1595,34), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32935: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=10, width=1, id=32935, pos=[(2,1590,70), (2,1595,34), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32980: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=9, width=1, id=32980, pos=[(2,1590,40), (2,1595,64), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32959: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=8, width=1, id=32959, pos=[(2,1590,70), (2,1595,64), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32934: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=12, width=1, id=32934, pos=[(2,1590,70), (2,1595,64), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32914: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=14, width=1, id=32914, pos=[(2,1590,70), (2,1595,34), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32911: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=19, width=1, id=32911, pos=[(2,1590,40), (2,1595,34), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32902: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=18, width=1, id=32902, pos=[(2,1590,70), (2,1595,34), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32930: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=17, width=1, id=32930, pos=[(2,1590,40), (2,1595,64), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32913: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=16, width=1, id=32913, pos=[(2,1590,70), (2,1595,64), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,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=32898, pos=[(0,3131,32), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32897: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=26, width=1, id=32897, pos=[(2,1590,70), (2,1595,34), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32906: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=25, width=1, id=32906, pos=[(2,1590,40), (2,1595,64), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32900: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=24, width=1, id=32900, pos=[(2,1590,70), (2,1595,64), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32908: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=23, width=1, id=32908, pos=[(2,1590,40), (2,1595,34), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32901: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=22, width=1, id=32901, pos=[(2,1590,70), (2,1595,34), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32925: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=21, width=1, id=32925, pos=[(2,1590,40), (2,1595,64), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32910: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=20, width=1, id=32910, pos=[(2,1590,70), (2,1595,64), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32982: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=7, width=1, id=32982, pos=[(2,1590,40), (2,1595,34), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.33004: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=5, width=1, id=33004, pos=[(2,1590,40), (2,1595,64), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  not.33005: bits[1] = not(bit_slice.32984, id=33005, 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,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  not.32983: bits[1] = not(bit_slice.32960, id=32983, 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,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  or.33460: bits[1] = or(bit_slice.32957, bit_slice.32935, id=33460, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32999: bits[1] = nor(bit_slice.32980, bit_slice.32959, id=32999, pos=[(2,1590,22), (2,1595,64), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32978: bits[1] = nor(bit_slice.32957, bit_slice.32935, id=32978, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  not.32958: bits[1] = not(bit_slice.32935, id=32958, 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,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  not.32981: bits[1] = not(bit_slice.32959, id=32981, 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,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32932: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=15, width=1, id=32932, pos=[(2,1590,40), (2,1595,34), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.32955: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=13, width=1, id=32955, pos=[(2,1590,40), (2,1595,64), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  not.32956: bits[1] = not(bit_slice.32934, id=32956, 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,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  not.32933: bits[1] = not(bit_slice.32914, id=32933, 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,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  or.33461: bits[1] = or(bit_slice.32911, bit_slice.32902, id=33461, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32950: bits[1] = nor(bit_slice.32930, bit_slice.32913, id=32950, pos=[(2,1590,22), (2,1595,64), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32928: bits[1] = nor(bit_slice.32911, bit_slice.32902, id=32928, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  not.34137: bits[1] = not(bit_slice.32902, id=34137, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  not.32931: bits[1] = not(bit_slice.32913, id=32931, 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,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32904: bits[1] = nor(carry_bit, bit_slice.32897, id=32904, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32920: bits[1] = nor(bit_slice.32906, bit_slice.32900, id=32920, pos=[(2,1590,22), (2,1595,64), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  or.33463: bits[1] = or(carry_bit, bit_slice.32897, id=33463, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  not.34141: bits[1] = not(bit_slice.32897, id=34141, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  not.32907: bits[1] = not(bit_slice.32900, id=32907, 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,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  or.33464: bits[1] = or(bit_slice.32908, bit_slice.32901, id=33464, pos=[(2,1595,22), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32944: bits[1] = nor(bit_slice.32925, bit_slice.32910, id=32944, pos=[(2,1590,22), (2,1595,64), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32923: bits[1] = nor(bit_slice.32908, bit_slice.32901, id=32923, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  not.32909: bits[1] = not(bit_slice.32901, id=32909, 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,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  not.32926: bits[1] = not(bit_slice.32910, id=32926, 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,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.33026: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=3, width=1, id=33026, pos=[(2,1590,40), (2,1595,34), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.33006: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=2, width=1, id=33006, pos=[(2,1590,70), (2,1595,34), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.33050: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=1, width=1, id=33050, pos=[(2,1590,40), (2,1595,64), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.33028: bits[1] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=0, width=1, id=33028, pos=[(0,3133,65), (1,363,48), (1,406,22), (1,427,64)])
  or.33459: bits[1] = or(bit_slice.32982, bit_slice.32960, id=33459, pos=[(2,1595,22), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33024: bits[1] = nor(bit_slice.33004, bit_slice.32984, id=33024, pos=[(2,1590,22), (2,1595,64), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33023: bits[1] = nor(bit_slice.33004, not.33005, id=33023, pos=[(2,1590,22), (2,1595,64), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33002: bits[1] = nor(bit_slice.32982, bit_slice.32960, id=33002, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33001: bits[1] = nor(bit_slice.32982, not.32983, id=33001, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33081: bits[1] = nor(or.33460, nor.32999, id=33081, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  and.33082: bits[1] = and(nor.32978, nor.32999, id=33082, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32977: bits[1] = nor(bit_slice.32957, not.32958, id=32977, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32998: bits[1] = nor(bit_slice.32980, not.32981, id=32998, pos=[(2,1590,22), (2,1595,64), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  or.33462: bits[1] = or(bit_slice.32932, bit_slice.32914, id=33462, pos=[(2,1595,22), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32975: bits[1] = nor(bit_slice.32955, bit_slice.32934, id=32975, pos=[(2,1590,22), (2,1595,64), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32974: bits[1] = nor(bit_slice.32955, not.32956, id=32974, pos=[(2,1590,22), (2,1595,64), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32953: bits[1] = nor(bit_slice.32932, bit_slice.32914, id=32953, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32952: bits[1] = nor(bit_slice.32932, not.32933, id=32952, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33036: bits[1] = nor(or.33461, nor.32950, id=33036, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  and.33037: bits[1] = and(nor.32928, nor.32950, id=33037, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.34138: bits[1] = nor(bit_slice.32911, not.34137, id=34138, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32949: bits[1] = nor(bit_slice.32930, not.32931, id=32949, pos=[(2,1590,22), (2,1595,64), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  and.33008: bits[1] = and(nor.32904, nor.32920, id=33008, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33007: bits[1] = nor(or.33463, nor.32920, id=33007, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.34142: bits[1] = nor(carry_bit, not.34141, id=34142, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32919: bits[1] = nor(bit_slice.32906, not.32907, id=32919, pos=[(2,1590,22), (2,1595,64), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33033: bits[1] = nor(or.33464, nor.32944, id=33033, pos=[(2,1595,22), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  and.33034: bits[1] = and(nor.32923, nor.32944, id=33034, pos=[(2,1595,22), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32922: bits[1] = nor(bit_slice.32908, not.32909, id=32922, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.32943: bits[1] = nor(bit_slice.32925, not.32926, id=32943, pos=[(2,1590,22), (2,1595,64), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  or.33458: bits[1] = or(bit_slice.33026, bit_slice.33006, id=33458, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33072: bits[1] = nor(bit_slice.33050, bit_slice.33028, id=33072, pos=[(2,1590,22), (2,1595,64), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33048: bits[1] = nor(bit_slice.33026, bit_slice.33006, id=33048, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  not.33027: bits[1] = not(bit_slice.33006, id=33027, 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,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  not.33051: bits[1] = not(bit_slice.33028, id=33051, 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,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33098: bits[1] = nor(or.33459, nor.33024, id=33098, pos=[(2,1595,22), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33435: bits[2] = concat(literal.32647, nor.33023, id=33435, pos=[(2,1595,22), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33709: bits[2] = concat(nor.33002, nor.33001, id=33709, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33094: bits[2] = concat(nor.33081, and.33082, id=33094, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33902: bits[2] = concat(nor.32977, fraction__8, id=33902, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33867: bits[2] = concat(literal.32647, nor.32998, id=33867, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33700: bits[2] = concat(nor.32978, nor.32977, id=33700, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33061: bits[1] = nor(or.33462, nor.32975, id=33061, pos=[(2,1595,22), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33430: bits[2] = concat(literal.32647, nor.32974, id=33430, pos=[(2,1595,22), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33691: bits[2] = concat(nor.32953, nor.32952, id=33691, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33057: bits[2] = concat(nor.33036, and.33037, id=33057, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33901: bits[2] = concat(nor.34138, fraction__8, id=33901, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33858: bits[2] = concat(literal.32647, nor.32949, id=33858, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33682: bits[2] = concat(nor.32928, nor.34138, id=33682, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  not.33090: bits[1] = not(and.33008, id=33090, pos=[(2,1600,22), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33029: bits[2] = concat(nor.33007, and.33008, id=33029, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33900: bits[2] = concat(nor.34142, fraction__8, id=33900, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33851: bits[2] = concat(literal.32647, nor.32919, id=33851, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33664: bits[2] = concat(fraction__8, nor.34142, id=33664, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33053: bits[2] = concat(nor.33033, and.33034, id=33053, pos=[(2,1595,22), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33423: bits[2] = concat(nor.32922, fraction__8, id=33423, pos=[(2,1595,22), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33425: bits[2] = concat(literal.32647, nor.32943, id=33425, pos=[(2,1595,22), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33673: bits[2] = concat(nor.32923, nor.32922, id=33673, pos=[(2,1590,22), (2,1595,34), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33124: bits[1] = nor(or.33458, nor.33072, id=33124, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  and.33125: bits[1] = and(nor.33048, nor.33072, id=33125, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33047: bits[1] = nor(bit_slice.33026, not.33027, id=33047, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33071: bits[1] = nor(bit_slice.33050, not.33051, id=33071, pos=[(2,1590,22), (2,1595,64), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  not.33132: bits[1] = not(and.33082, id=33132, pos=[(2,1600,22), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  and.33099: bits[1] = and(nor.33002, nor.33024, id=33099, pos=[(2,1595,22), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.33478: bits[2] = priority_sel(nor.33098, cases=[concat.33435], default=concat.33709, id=33478, pos=[(2,1595,22), (2,1600,64), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.33740: bits[2] = priority_sel(concat.33094, cases=[concat.33902, concat.33867], default=concat.33700, id=33740, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  not.33106: bits[1] = not(and.33037, id=33106, pos=[(2,1600,22), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  and.33062: bits[1] = and(nor.32953, nor.32975, id=33062, pos=[(2,1595,22), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.33609: bits[2] = priority_sel(nor.33061, cases=[concat.33430], default=concat.33691, id=33609, pos=[(2,1595,22), (2,1600,64), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.33722: bits[2] = priority_sel(concat.33057, cases=[concat.33901, concat.33858], default=concat.33682, id=33722, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33103: bits[1] = nor(not.33090, and.33034, id=33103, pos=[(2,1600,22), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  and.33104: bits[1] = and(and.33008, and.33034, id=33104, pos=[(2,1600,22), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.33713: bits[2] = priority_sel(concat.33029, cases=[concat.33900, concat.33851], default=concat.33664, id=33713, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.33407: bits[2] = priority_sel(concat.33053, cases=[concat.33423, concat.33425], default=concat.33673, id=33407, pos=[(2,1595,22), (2,1600,64), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33134: bits[2] = concat(nor.33124, and.33125, id=33134, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33904: bits[2] = concat(nor.33047, fraction__8, id=33904, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33881: bits[2] = concat(literal.32647, nor.33071, id=33881, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33736: bits[2] = concat(nor.33048, nor.33047, id=33736, pos=[(2,1590,22), (2,1595,34), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33140: bits[1] = nor(not.33132, and.33099, id=33140, pos=[(2,1600,22), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33833: bits[3] = concat(literal.32647, priority_sel.33478, id=33833, pos=[(2,1540,24), (2,1600,22), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33745: bits[3] = concat(and.33082, priority_sel.33740, id=33745, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33119: bits[1] = nor(not.33106, and.33062, id=33119, pos=[(2,1600,22), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33440: bits[3] = concat(literal.32647, priority_sel.33609, id=33440, pos=[(2,1600,22), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33727: bits[3] = concat(and.33037, priority_sel.33722, id=33727, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33115: bits[2] = concat(nor.33103, and.33104, id=33115, pos=[(2,1600,22), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33903: bits[3] = concat(priority_sel.33713, fraction__8, id=33903, pos=[(2,1600,22), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33874: bits[3] = concat(literal.32647, priority_sel.33407, id=33874, pos=[(2,1600,22), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33718: bits[3] = concat(fraction__8, priority_sel.33713, id=33718, pos=[(2,1595,22), (2,1600,34), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.33758: bits[2] = priority_sel(concat.33134, cases=[concat.33904, concat.33881], default=concat.33736, id=33758, pos=[(2,1595,22), (2,1600,34), (2,1605,64), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.33612: bits[3] = priority_sel(nor.33140, cases=[concat.33833], default=concat.33745, id=33612, pos=[(2,1600,22), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  not.33144: bits[1] = not(and.33104, id=33144, pos=[(2,1605,22), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  and.33120: bits[1] = and(and.33037, and.33062, id=33120, pos=[(2,1600,22), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.33480: bits[3] = priority_sel(nor.33119, cases=[concat.33440], default=concat.33727, id=33480, pos=[(2,1600,22), (2,1605,64), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.33749: bits[3] = priority_sel(concat.33115, cases=[concat.33903, concat.33874], default=concat.33718, id=33749, pos=[(2,1600,22), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  and.33141: bits[1] = and(and.33082, and.33099, id=33141, pos=[(2,1600,22), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33896: bits[4] = concat(literal.32647, and.33125, priority_sel.33758, id=33896, pos=[(2,1605,22), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33898: bits[4] = concat(fraction__8, priority_sel.33612, id=33898, pos=[(2,1600,22), (2,1605,34), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  nor.33152: bits[1] = nor(not.33144, and.33120, id=33152, pos=[(2,1605,22), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33836: bits[4] = concat(literal.32647, priority_sel.33480, id=33836, pos=[(2,1540,24), (2,1605,22), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33754: bits[4] = concat(and.33104, priority_sel.33749, id=33754, pos=[(2,1600,22), (2,1605,34), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.33164: bits[4] = priority_sel(and.33141, cases=[concat.33896], default=concat.33898, id=33164, pos=[(2,1605,22), (2,1610,66), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  priority_sel.33618: bits[4] = priority_sel(nor.33152, cases=[concat.33836], default=concat.33754, id=33618, pos=[(2,1605,22), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  and.33153: bits[1] = and(and.33104, and.33120, id=33153, pos=[(2,1605,22), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33166: bits[5] = concat(literal.32647, priority_sel.33164, id=33166, pos=[(2,1610,22), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33899: bits[5] = concat(fraction__8, priority_sel.33618, id=33899, pos=[(2,1605,22), (2,1610,35), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  concat.33167: bits[29] = concat(fraction__8, ONE_POINT_FIVEbs_fraction__1, id=33167, pos=[(1,363,48), (1,406,22), (1,427,64)])
  leading_zeroes: bits[5] = priority_sel(and.33153, cases=[concat.33166], default=concat.33899, id=33168, pos=[(2,1610,22), (2,1643,30), (2,1707,13), (0,3137,34), (1,363,48), (1,406,22), (1,427,64)])
  cancel_fraction: bits[29] = shll(concat.33167, leading_zeroes, id=33169, pos=[(0,3140,26), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.33170: bits[26] = bit_slice(ONE_POINT_FIVEbs_fraction__1, start=2, width=26, id=33170, pos=[(0,3049,20), (0,3133,36), (1,363,48), (1,406,22), (1,427,64)])
  or.33171: bits[1] = or(bit_slice.33050, bit_slice.33028, id=33171, pos=[(0,3049,40), (0,3133,36), (1,363,48), (1,406,22), (1,427,64)])
  cancel_fraction__1: bits[27] = bit_slice(cancel_fraction, start=1, width=27, id=33172, pos=[(1,363,48), (1,406,22), (1,427,64)])
  carry_fraction__1: bits[27] = concat(bit_slice.33170, or.33171, id=33173, pos=[(0,3049,20), (0,3133,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=33174, pos=[(0,3142,27), (1,363,48), (1,406,22), (1,427,64)])
  normal_chunk: bits[3] = bit_slice(shifted_fraction, start=0, width=3, id=33175, pos=[(0,3154,39), (1,363,48), (1,406,22), (1,427,64)])
  fraction_shift__3: bits[3] = literal(value=4, id=33151, pos=[(0,3170,8), (1,363,48), (1,406,22), (1,427,64)])
  half_way_chunk: bits[2] = bit_slice(shifted_fraction, start=2, width=2, id=33176, pos=[(0,3155,41), (1,363,48), (1,406,22), (1,427,64)])
  literal.33177: bits[2] = literal(value=3, id=33177, pos=[(0,3156,68), (1,363,48), (1,406,22), (1,427,64)])
  ugt.33178: bits[1] = ugt(normal_chunk, fraction_shift__3, id=33178, pos=[(0,3156,23), (1,363,48), (1,406,22), (1,427,64)])
  eq.33179: bits[1] = eq(half_way_chunk, literal.33177, id=33179, pos=[(0,3156,50), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.34021: bits[24] = bit_slice(shifted_fraction, start=3, width=24, id=34021)
  do_round_up__3: bits[1] = or(ugt.33178, eq.33179, id=33182, pos=[(0,3156,23), (1,363,48), (1,406,22), (1,427,64)])
  concat.34022: bits[25] = concat(fraction__8, bit_slice.34021, id=34022)
  concat.34159: bits[25] = concat(literal.32860, do_round_up__3, id=34159)
  add.33938: bits[25] = add(concat.34022, concat.34159, id=33938)
  ONE_POINT_FIVE_bexp__3: bits[8] = sel(overflow_detected, cases=[result_exp__8, ONE_POINT_FIVE_bexp__2], id=32850, pos=[(0,3088,17), (1,363,48), (1,406,22), (1,427,64)])
  literal.33185: bits[5] = literal(value=0, id=33185, pos=[(1,363,48), (1,406,22), (1,427,64)])
  rounding_carry: bits[1] = bit_slice(add.33938, start=24, width=1, id=34001, pos=[(0,3164,41), (1,363,48), (1,406,22), (1,427,64)])
  literal.34111: bits[26] = literal(value=0, id=34111, pos=[(0,3117,39), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.34153: bits[1] = bit_slice(shrl.32879, start=1, width=1, id=34153, pos=[(0,3117,27), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.34154: bits[1] = bit_slice(shrl.32879, start=2, width=1, id=34154, pos=[(0,3117,27), (1,363,48), (1,406,22), (1,427,64)])
  concat.33187: bits[9] = concat(fraction__8, ONE_POINT_FIVE_bexp__3, id=33187, pos=[(1,363,48), (1,406,22), (1,427,64)])
  literal.33188: bits[9] = literal(value=1, id=33188, pos=[(0,3176,24), (1,363,48), (1,406,22), (1,427,64)])
  concat.34050: bits[6] = concat(literal.33185, rounding_carry, id=34050, pos=[(1,363,48), (1,406,22), (1,427,64)])
  concat.33190: bits[6] = concat(fraction__8, leading_zeroes, id=33190, pos=[(1,363,48), (1,406,22), (1,427,64)])
  eq.34079: bits[1] = eq(add.33926, literal.34111, id=34079, pos=[(0,3117,27), (1,363,48), (1,406,22), (1,427,64)])
  nor.34144: bits[1] = nor(bit_slice.34153, bit_slice.34154, id=34144, pos=[(0,3117,27), (1,363,48), (1,406,22), (1,427,64)])
  nor.34145: bits[1] = nor(bit_slice.32884, sticky, id=34145, pos=[(0,3117,27), (1,363,48), (1,406,22), (1,427,64)])
  add.33191: bits[9] = add(concat.33187, literal.33188, id=33191, pos=[(0,3175,26), (1,363,48), (1,406,22), (1,427,64)])
  sub.33192: bits[6] = sub(concat.34050, concat.33190, id=33192, pos=[(0,3175,26), (1,363,48), (1,406,22), (1,427,64)])
  fraction_is_zero: bits[1] = and(eq.34079, nor.34144, nor.34145, id=34127, pos=[(0,3117,27), (1,363,48), (1,406,22), (1,427,64)])
  wide_exponent_associative_element: bits[10] = concat(fraction__8, add.33191, id=33194, pos=[(0,3175,26), (1,363,48), (1,406,22), (1,427,64)])
  wide_exponent_associative_element__1: bits[10] = sign_ext(sub.33192, new_bit_count=10, id=33195, pos=[(0,3175,26), (1,363,48), (1,406,22), (1,427,64)])
  not.33624: bits[1] = not(fraction_is_zero, id=33624, pos=[(0,3177,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=33197, pos=[(0,3175,26), (1,363,48), (1,406,22), (1,427,64)])
  sign_ext.33625: bits[10] = sign_ext(not.33624, new_bit_count=10, id=33625, pos=[(0,3177,24), (1,363,48), (1,406,22), (1,427,64)])
  wide_exponent__1: bits[10] = and(wide_exponent, sign_ext.33625, id=33626, pos=[(0,3177,24), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.33204: bits[1] = bit_slice(wide_exponent__1, start=9, width=1, id=33204, pos=[(0,3180,27), (1,363,48), (1,406,22), (1,427,64)])
  not.33627: bits[1] = not(bit_slice.33204, id=33627, pos=[(0,3180,24), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.33205: bits[9] = bit_slice(wide_exponent__1, start=0, width=9, id=33205, pos=[(1,363,48), (1,406,22), (1,427,64)])
  sign_ext.33628: bits[9] = sign_ext(not.33627, new_bit_count=9, id=33628, pos=[(0,3180,24), (1,363,48), (1,406,22), (1,427,64)])
  wide_exponent__2: bits[9] = and(bit_slice.33205, sign_ext.33628, id=33629, pos=[(0,3180,24), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.33217: bits[8] = bit_slice(wide_exponent__2, start=1, width=8, id=33217, pos=[(0,3190,11), (1,363,48), (1,406,22), (1,427,64)])
  eq.33200: bits[1] = eq(ONE_POINT_FIVE_fraction__1, literal.32644, id=33200, pos=[(0,96,44), (0,3201,31), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.33223: bits[8] = bit_slice(wide_exponent__2, start=0, width=8, id=33223, pos=[(1,363,48), (1,406,22), (1,427,64)])
  or_reduce.33224: bits[1] = or_reduce(bit_slice.33217, id=33224, pos=[(0,3190,11), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.33225: bits[1] = bit_slice(wide_exponent__2, start=0, width=1, id=33225, pos=[(0,3190,11), (1,363,48), (1,406,22), (1,427,64)])
  fraction_shift__2: bits[3] = literal(value=3, id=33218, pos=[(0,3170,8), (1,363,48), (1,406,22), (1,427,64)])
  is_operand_inf: bits[1] = and(or.32832, eq.33200, id=33221, pos=[(0,96,6), (0,3201,31), (1,363,48), (1,406,22), (1,427,64)])
  bit_slice.33231: bits[1] = bit_slice(wide_exponent__2, start=8, width=1, id=33231, pos=[(0,3196,11), (1,363,48), (1,406,22), (1,427,64)])
  and_reduce.33232: bits[1] = and_reduce(bit_slice.33223, id=33232, pos=[(0,3196,11), (1,363,48), (1,406,22), (1,427,64)])
  nor.33233: bits[1] = nor(or_reduce.33224, bit_slice.33225, id=33233, pos=[(0,3190,11), (1,363,48), (1,406,22), (1,427,64)])
  rounded_fraction: bits[28] = concat(add.33938, normal_chunk, id=34055)
  fraction_shift__1: bits[3] = sel(rounding_carry, cases=[fraction_shift__2, fraction_shift__3], id=33226, pos=[(0,3170,8), (1,363,48), (1,406,22), (1,427,64)])
  or.33236: bits[1] = or(is_operand_inf, bit_slice.33231, and_reduce.33232, nor.33233, id=33236, pos=[(0,3203,26), (1,363,48), (1,406,22), (1,427,64)])
  not.33206: bits[1] = not(or.32832, id=33206, pos=[(0,3205,29), (1,363,48), (1,406,22), (1,427,64)])
  shrl.33234: bits[28] = shrl(rounded_fraction, fraction_shift__1, id=33234, pos=[(0,3171,27), (1,363,48), (1,406,22), (1,427,64)])
  not.33630: bits[1] = not(or.33236, id=33630, pos=[(0,3203,26), (1,363,48), (1,406,22), (1,427,64)])
  is_result_nan__3: bits[1] = nor(not.33206, eq.33200, id=33227, pos=[(0,71,6), (0,3213,30), (1,363,48), (1,406,22), (1,427,64)])
  result_fraction__9: bits[23] = bit_slice(shrl.33234, start=0, width=23, id=33237, pos=[(1,363,48), (1,406,22), (1,427,64)])
  sign_ext.33631: bits[23] = sign_ext(not.33630, new_bit_count=23, id=33631, pos=[(0,3203,26), (1,363,48), (1,406,22), (1,427,64)])
  or.33238: bits[1] = or(is_result_nan__3, is_operand_inf, bit_slice.33231, and_reduce.33232, id=33238, pos=[(0,3216,26), (1,363,48), (1,406,22), (1,427,64)])
  result_fraction__10: bits[23] = and(result_fraction__9, sign_ext.33631, id=33632, pos=[(0,3203,26), (1,363,48), (1,406,22), (1,427,64)])
  result_exponent__2: bits[8] = sel(or.33238, cases=[bit_slice.33223, high_exp], id=33240, pos=[(0,3216,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=33241, pos=[(0,3217,26), (1,363,48), (1,406,22), (1,427,64)])
  eq.33242: bits[1] = eq(result_exponent__2, literal.32641, id=33242, pos=[(0,804,5), (0,3287,67), (1,367,48), (1,407,11), (1,427,64)])
  diff_fraction__3: bits[24] = concat(literal.32647, result_fraction__11, id=33243, pos=[(0,3292,23), (1,367,48), (1,407,11), (1,427,64)])
  nor.33954: bits[1] = nor(eq.32711, eq.33242, id=33954, pos=[(0,3296,19), (1,367,48), (1,407,11), (1,427,64)])
  concat.33244: bits[9] = concat(fraction__8, result_exponent__2, id=33244, pos=[(1,367,48), (1,407,11), (1,427,64)])
  umul.33246: bits[48] = umul(approx_fraction__4, diff_fraction__3, id=33246, pos=[(0,3296,63), (1,367,48), (1,407,11), (1,427,64)])
  sign_ext.33634: bits[48] = sign_ext(nor.33954, new_bit_count=48, id=33634, pos=[(0,3296,19), (1,367,48), (1,407,11), (1,427,64)])
  add.33247: bits[9] = add(concat.34049, concat.33244, id=33247, pos=[(0,3305,16), (1,367,48), (1,407,11), (1,427,64)])
  fraction__25: bits[48] = and(umul.33246, sign_ext.33634, id=33635, pos=[(0,3296,19), (1,367,48), (1,407,11), (1,427,64)])
  concat.33249: bits[10] = concat(fraction__8, add.33247, id=33249, pos=[(0,3305,16), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.33250: bits[1] = bit_slice(fraction__25, start=47, width=1, id=33250, pos=[(0,3320,33), (1,367,48), (1,407,11), (1,427,64)])
  exp__12: bits[10] = add(concat.33249, literal.32655, id=33251, pos=[(0,3305,16), (1,367,48), (1,407,11), (1,427,64)])
  sign_ext.33637: bits[10] = sign_ext(nor.33954, new_bit_count=10, id=33637, pos=[(0,3314,14), (1,367,48), (1,407,11), (1,427,64)])
  fraction__26: bits[48] = shrl(fraction__25, bit_slice.33250, id=33252, pos=[(0,3326,19), (1,367,48), (1,407,11), (1,427,64)])
  exp__13: bits[10] = and(exp__12, sign_ext.33637, id=33638, pos=[(0,3314,14), (1,367,48), (1,407,11), (1,427,64)])
  concat.33254: bits[10] = concat(literal.32684, bit_slice.33250, id=33254, pos=[(1,367,48), (1,407,11), (1,427,64)])
  bit_slice.33255: bits[1] = bit_slice(fraction__26, start=0, width=1, id=33255, pos=[(0,3327,19), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.33256: bits[1] = bit_slice(fraction__25, start=0, width=1, id=33256, pos=[(0,3325,25), (1,367,48), (1,407,11), (1,427,64)])
  exp__14: bits[10] = add(exp__13, concat.33254, id=33257, pos=[(0,3330,14), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.33258: bits[47] = bit_slice(fraction__26, start=1, width=47, id=33258, pos=[(0,3327,19), (1,367,48), (1,407,11), (1,427,64)])
  fraction__27: bits[1] = or(bit_slice.33255, bit_slice.33256, id=33259, pos=[(0,3327,19), (1,367,48), (1,407,11), (1,427,64)])
  sle.33260: bits[1] = sle(exp__14, literal.32660, id=33260, pos=[(0,3342,22), (1,367,48), (1,407,11), (1,427,64)])
  fraction__28: bits[48] = concat(bit_slice.33258, fraction__27, id=33261, pos=[(0,3327,19), (1,367,48), (1,407,11), (1,427,64)])
  concat.33262: bits[48] = concat(fraction__8, bit_slice.33258, id=33262, pos=[(0,3342,48), (1,367,48), (1,407,11), (1,427,64)])
  fraction__29: bits[48] = sel(sle.33260, cases=[fraction__28, concat.33262], id=33263, pos=[(0,3342,19), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.33264: bits[21] = bit_slice(fraction__29, start=1, width=21, id=33264, pos=[(0,3354,31), (1,367,48), (1,407,11), (1,427,64)])
  ne.33265: bits[1] = ne(bit_slice.33264, literal.32737, id=33265, pos=[(0,3356,41), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.33266: bits[1] = bit_slice(fraction__29, start=0, width=1, id=33266, pos=[(0,3343,19), (1,367,48), (1,407,11), (1,427,64)])
  or.33267: bits[1] = or(ne.33265, bit_slice.33266, bit_slice.33255, bit_slice.33256, id=33267, pos=[(0,3356,41), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.33268: bits[1] = bit_slice(fraction__29, start=22, width=1, id=33268, pos=[(0,3353,30), (1,367,48), (1,407,11), (1,427,64)])
  not.33269: bits[1] = not(or.33267, id=33269, pos=[(0,3354,31), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.33270: bits[1] = bit_slice(fraction__29, start=23, width=1, id=33270, pos=[(0,3359,45), (1,367,48), (1,407,11), (1,427,64)])
  greater_than_half_way__3: bits[1] = and(bit_slice.33268, or.33267, id=33272, pos=[(0,3355,40), (1,367,48), (1,407,11), (1,427,64)])
  and.33273: bits[1] = and(bit_slice.33268, not.33269, bit_slice.33270, id=33273, pos=[(0,3359,23), (1,367,48), (1,407,11), (1,427,64)])
  fraction__30: bits[23] = bit_slice(fraction__29, start=23, width=23, id=33271, pos=[(1,367,48), (1,407,11), (1,427,64)])
  do_round_up__4: bits[1] = or(greater_than_half_way__3, and.33273, id=33275, pos=[(0,3358,22), (1,367,48), (1,407,11), (1,427,64)])
  fraction__31: bits[24] = concat(fraction__8, fraction__30, id=33274, pos=[(1,367,48), (1,407,11), (1,427,64)])
  concat.34160: bits[24] = concat(literal.32644, do_round_up__4, id=34160)
  fraction__32: bits[24] = add(fraction__31, concat.34160, id=33548)
  bit_slice.33279: bits[1] = bit_slice(fraction__32, start=23, width=1, id=33279, pos=[(0,3370,25), (1,367,48), (1,407,11), (1,427,64)])
  add.33280: bits[10] = add(exp__14, literal.32677, id=33280, pos=[(0,3370,33), (1,367,48), (1,407,11), (1,427,64)])
  exp__15: bits[10] = sel(bit_slice.33279, cases=[exp__14, add.33280], id=33284, pos=[(0,3370,14), (1,367,48), (1,407,11), (1,427,64)])
  is_subnormal__3: bits[1] = sle(exp__15, literal.32660, id=33288, pos=[(0,3371,23), (1,367,48), (1,407,11), (1,427,64)])
  not.33641: bits[1] = not(is_subnormal__3, id=33641, pos=[(0,3380,21), (1,367,48), (1,407,11), (1,427,64)])
  result_exp__9: bits[9] = bit_slice(exp__15, start=0, width=9, id=33289, pos=[(1,367,48), (1,407,11), (1,427,64)])
  sign_ext.33642: bits[9] = sign_ext(not.33641, new_bit_count=9, id=33642, pos=[(0,3380,21), (1,367,48), (1,407,11), (1,427,64)])
  not.33201: bits[1] = not(result_sign__5, id=33201, pos=[(1,405,32), (1,427,64)])
  eq.33282: bits[1] = eq(result_fraction__11, literal.32644, id=33282, pos=[(0,96,44), (0,3391,65), (1,367,48), (1,407,11), (1,427,64)])
  result_exp__10: bits[9] = and(result_exp__9, sign_ext.33642, id=33643, pos=[(0,3380,21), (1,367,48), (1,407,11), (1,427,64)])
  nprod_sign: bits[1] = and(overflow_detected, not.33201, id=33211, pos=[(0,3088,17), (1,363,48), (1,406,22), (1,427,64)])
  ONE_POINT_FIVE_sign__1: bits[1] = and(nc, not.33201, id=33208, pos=[(0,3088,17), (1,363,48), (1,406,22), (1,427,64)])
  and.33285: bits[1] = and(or.33238, eq.33282, id=33285, pos=[(0,96,6), (0,3391,65), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.33299: bits[8] = bit_slice(result_exp__10, start=0, width=8, id=33299, pos=[(1,367,48), (1,407,11), (1,427,64)])
  concat.34051: bits[2] = concat(bit_slice.33999, fraction_is_zero, id=34051, pos=[(1,363,48), (1,406,22), (1,427,64)])
  not.33287: bits[1] = not(nprod_sign, id=33287, pos=[(0,3120,25), (1,363,48), (1,406,22), (1,427,64)])
  has_pos_inf: bits[1] = nor(not.33206, ONE_POINT_FIVE_sign__1, id=33554, pos=[(0,3205,29), (1,363,48), (1,406,22), (1,427,64)])
  has_inf_arg__3: bits[1] = or(and.34130, and.33285, id=33291, pos=[(0,3398,28), (1,367,48), (1,407,11), (1,427,64)])
  bit_slice.33302: bits[1] = bit_slice(result_exp__10, start=8, width=1, id=33302, pos=[(0,3386,11), (1,367,48), (1,407,11), (1,427,64)])
  and_reduce.33303: bits[1] = and_reduce(bit_slice.33299, id=33303, pos=[(0,3386,11), (1,367,48), (1,407,11), (1,427,64)])
  not.33290: bits[1] = not(or.33238, id=33290, pos=[(0,71,6), (0,3397,62), (1,367,48), (1,407,11), (1,427,64)])
  has_0_arg__3: bits[1] = or(eq.32711, eq.33242, id=33245, pos=[(0,3287,40), (1,367,48), (1,407,11), (1,427,64)])
  result_sign__6: bits[1] = priority_sel(concat.34051, cases=[fraction__8, not.33287], default=nprod_sign, id=33292, pos=[(1,363,48), (1,406,22), (1,427,64)])
  not.33293: bits[1] = not(has_pos_inf, id=33293, pos=[(0,3207,42), (1,363,48), (1,406,22), (1,427,64)])
  or.33306: bits[1] = or(has_inf_arg__3, bit_slice.33302, and_reduce.33303, is_subnormal__3, id=33306, pos=[(0,3393,26), (1,367,48), (1,407,11), (1,427,64)])
  nor.33295: bits[1] = nor(not.33290, eq.33282, id=33295, pos=[(0,71,6), (0,3397,62), (1,367,48), (1,407,11), (1,427,64)])
  and.33296: bits[1] = and(has_0_arg__3, has_inf_arg__3, id=33296, pos=[(0,3399,40), (1,367,48), (1,407,11), (1,427,64)])
  not.33297: bits[1] = not(is_result_nan__3, id=33297, pos=[(0,3218,22), (1,363,48), (1,406,22), (1,427,64)])
  result_sign__7: bits[1] = sel(is_operand_inf, cases=[result_sign__6, not.33293], id=33298, pos=[(0,3207,22), (1,363,48), (1,406,22), (1,427,64)])
  not.33644: bits[1] = not(or.33306, id=33644, pos=[(0,3393,26), (1,367,48), (1,407,11), (1,427,64)])
  is_result_nan__4: bits[1] = or(nor.32768, nor.33295, and.33296, id=33300, pos=[(0,3399,24), (1,367,48), (1,407,11), (1,427,64)])
  result_sign__8: bits[1] = and(not.33297, result_sign__7, id=33301, pos=[(0,3218,22), (1,363,48), (1,406,22), (1,427,64)])
  result_fraction__12: bits[23] = bit_slice(fraction__32, start=0, width=23, id=33307, pos=[(1,367,48), (1,407,11), (1,427,64)])
  sign_ext.33645: bits[23] = sign_ext(not.33644, new_bit_count=23, id=33645, pos=[(0,3393,26), (1,367,48), (1,407,11), (1,427,64)])
  eq.32685: bits[1] = eq(x_bexp__2, high_exp, id=32685, pos=[(0,71,6), (0,3397,28), (1,367,48), (1,399,20), (1,427,64)])
  eq.33941: bits[1] = eq(tuple_index.32643, literal.32644, id=33941, pos=[(0,71,6), (0,3397,28), (1,367,48), (1,399,20), (1,427,64)])
  not.33304: bits[1] = not(is_result_nan__4, id=33304, pos=[(0,3403,22), (1,367,48), (1,407,11), (1,427,64)])
  result_sign__9: bits[1] = xor(approx_sign__2, result_sign__8, id=33305, pos=[(0,3374,23), (1,367,48), (1,407,11), (1,427,64)])
  result_fraction__13: bits[23] = and(result_fraction__12, sign_ext.33645, id=33646, pos=[(0,3393,26), (1,367,48), (1,407,11), (1,427,64)])
  nand.33955: bits[1] = nand(eq.32685, eq.33941, id=33955, pos=[(1,417,17), (1,427,64)])
  has_inf_arg: bits[1] = and(eq.32685, eq.33941, id=32694, pos=[(0,96,6), (0,3391,31), (1,367,48), (1,399,20), (1,427,64)])
  result_sign__10: bits[1] = and(not.33304, result_sign__9, id=33308, pos=[(0,3403,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=33313, pos=[(0,3402,26), (1,367,48), (1,407,11), (1,427,64)])
  sign_ext.33648: bits[23] = sign_ext(nand.33955, new_bit_count=23, id=33648, pos=[(1,417,17), (1,427,64)])
  not.33501: bits[1] = not(eq.32685, id=33501, pos=[(0,71,6), (0,3397,28), (1,367,48), (1,399,20), (1,427,64)])
  sel.33311: bits[1] = sel(has_inf_arg, cases=[result_sign__10, x_sign__1], id=33311, pos=[(1,417,17), (1,427,64)])
  or.33309: bits[1] = or(is_result_nan__4, has_inf_arg__3, bit_slice.33302, and_reduce.33303, id=33309, pos=[(0,3400,21), (1,367,48), (1,407,11), (1,427,64)])
  and.33649: bits[23] = and(result_fraction__14, sign_ext.33648, id=33649, pos=[(1,417,17), (1,427,64)])
  has_0_arg: bits[1] = eq(x_bexp__2, literal.32641, id=32642, pos=[(0,804,5), (0,809,27), (1,78,31), (1,396,30), (1,427,64)])
  nor.33533: bits[1] = nor(not.33501, eq.33941, id=33533, pos=[(0,71,6), (0,3397,28), (1,367,48), (1,399,20), (1,427,64)])
  not.33315: bits[1] = not(sel.33311, id=33315, pos=[(1,419,17), (1,427,64)])
  result_exp__11: bits[8] = sel(or.33309, cases=[bit_slice.33299, high_exp], id=33312, pos=[(0,3400,21), (1,367,48), (1,407,11), (1,427,64)])
  sign_ext.33651: bits[8] = sign_ext(nand.33955, new_bit_count=8, id=33651, pos=[(1,417,17), (1,427,64)])
  sel.33321: bits[23] = sel(x_sign__1, cases=[and.33649, nan_fraction], id=33321, pos=[(1,419,17), (1,427,64)])
  not.33653: bits[1] = not(has_0_arg, id=33653, pos=[(1,423,17), (1,427,64)])
  or.33339: bits[1] = or(has_0_arg, nor.33533, id=33339, pos=[(1,423,17), (1,427,64)])
  nor.33319: bits[1] = nor(x_sign__1, not.33315, id=33319, pos=[(1,419,17), (1,427,64)])
  or.33474: bits[1] = or(has_0_arg, nor.33533, x_sign__1, id=33474, pos=[(1,423,17), (1,427,64)])
  and.33652: bits[8] = and(result_exp__11, sign_ext.33651, id=33652, pos=[(1,417,17), (1,427,64)])
  sel.33324: bits[23] = sel(nor.33533, cases=[sel.33321, tuple_index.32643], id=33324, pos=[(1,421,17), (1,427,64)])
  sign_ext.33654: bits[23] = sign_ext(not.33653, new_bit_count=23, id=33654, pos=[(1,423,17), (1,427,64)])
  sel.33340: bits[1] = sel(or.33339, cases=[nor.33319, x_sign__1], id=33340, pos=[(1,423,17), (1,427,64)])
  sel.33473: bits[8] = sel(or.33474, cases=[and.33652, high_exp], id=33473, pos=[(1,423,17), (1,427,64)])
  and.33655: bits[23] = and(sel.33324, sign_ext.33654, id=33655, pos=[(1,423,17), (1,427,64)])
  ret result__4: (bits[1], bits[8], bits[23]) = tuple(sel.33340, sel.33473, and.33655, id=33328, pos=[(1,423,17), (1,427,64)])
}