package float32

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

top fn __float32__add(x: (bits[1], bits[8], bits[23]) id=843, y: (bits[1], bits[8], bits[23]) id=844) -> (bits[1], bits[8], bits[23]) {
  y_bexp__1: bits[8] = tuple_index(y, index=1, id=29941, pos=[(2,3091,67), (3,363,48)])
  literal.29942: bits[1] = literal(value=0, id=29942, pos=[(1,91,63), (2,3009,44), (2,3091,57), (3,363,48)])
  x_bexp__1: bits[8] = tuple_index(x, index=1, id=29943, pos=[(2,3091,59), (3,363,48)])
  y_bexpnot: bits[8] = not(y_bexp__1, id=29944, pos=[(1,90,15), (2,3009,44), (2,3091,57), (3,363,48)])
  x_bexp_extended__1: bits[9] = concat(literal.29942, x_bexp__1, id=29945, pos=[(1,91,63), (2,3009,44), (2,3091,57), (3,363,48)])
  y_bexpnot_extended: bits[9] = concat(literal.29942, y_bexpnot, id=29946, pos=[(1,91,63), (2,3009,44), (2,3091,57), (3,363,48)])
  full_result: bits[9] = add(x_bexp_extended__1, y_bexpnot_extended, id=29947, pos=[(0,1119,45), (1,91,63), (2,3009,44), (2,3091,57), (3,363,48)])
  overflow_detected: bits[1] = bit_slice(full_result, start=8, width=1, id=29948, pos=[(0,1121,49), (1,91,63), (2,3009,44), (2,3091,57), (3,363,48)])
  tuple_index.29950: bits[23] = tuple_index(y, index=2, id=29950, pos=[(2,3092,17), (3,363,48)])
  tuple_index.29951: bits[23] = tuple_index(x, index=2, id=29951, pos=[(2,3092,17), (3,363,48)])
  x_bexp: bits[8] = sel(overflow_detected, cases=[y_bexp__1, x_bexp__1], id=30368, pos=[(2,3092,17), (3,363,48)])
  literal.29953: bits[8] = literal(value=0, id=29953, pos=[(2,3099,34), (3,363,48)])
  y_bexp: bits[8] = sel(overflow_detected, cases=[x_bexp__1, y_bexp__1], id=30366, pos=[(2,3092,17), (3,363,48)])
  literal.29954: bits[1] = literal(value=1, id=29954, pos=[(2,3095,22), (3,363,48)])
  x_fraction: bits[23] = sel(overflow_detected, cases=[tuple_index.29950, tuple_index.29951], id=30369, pos=[(2,3092,17), (3,363,48)])
  ne.30763: bits[1] = ne(x_bexp, literal.29953, id=30763, pos=[(2,3099,21), (3,363,48)])
  y_fraction: bits[23] = sel(overflow_detected, cases=[tuple_index.29951, tuple_index.29950], id=30367, pos=[(2,3092,17), (3,363,48)])
  ne.30762: bits[1] = ne(y_bexp, literal.29953, id=30762, pos=[(2,3100,21), (3,363,48)])
  nc: bits[1] = not(overflow_detected, id=29949, pos=[(1,92,19), (2,3009,44), (2,3091,57), (3,363,48)])
  fraction_x: bits[24] = concat(literal.29954, x_fraction, id=29975, pos=[(2,3095,22), (3,363,48)])
  sign_ext.30497: bits[24] = sign_ext(ne.30763, new_bit_count=24, id=30497, pos=[(2,3099,21), (3,363,48)])
  fraction_y: bits[24] = concat(literal.29954, y_fraction, id=29957, pos=[(2,3096,22), (3,363,48)])
  sign_ext.30500: bits[24] = sign_ext(ne.30762, new_bit_count=24, id=30500, pos=[(2,3100,21), (3,363,48)])
  narrowed_result: bits[8] = bit_slice(full_result, start=0, width=8, id=29962, pos=[(1,91,63), (2,3009,44), (2,3091,57), (3,363,48)])
  x_bexpor_mask: bits[8] = sign_ext(nc, new_bit_count=8, id=29963, pos=[(1,94,32), (2,3009,44), (2,3091,57), (3,363,48)])
  literal.29964: bits[7] = literal(value=0, id=29964, pos=[(2,3010,68), (2,3091,57), (3,363,48)])
  tuple_index.29983: bits[1] = tuple_index(y, index=0, id=29983, pos=[(2,3092,17), (3,363,48)])
  tuple_index.29982: bits[1] = tuple_index(x, index=0, id=29982, pos=[(2,3092,17), (3,363,48)])
  fraction_x__1: bits[24] = and(fraction_x, sign_ext.30497, id=30498, pos=[(2,3099,21), (3,363,48)])
  fraction_y__1: bits[24] = and(fraction_y, sign_ext.30500, id=30501, pos=[(2,3100,21), (3,363,48)])
  xddend_x__1_squeezed_const_lsb_bits: bits[3] = literal(value=0, id=29960, pos=[(2,3104,17), (3,363,48)])
  result: bits[8] = xor(narrowed_result, x_bexpor_mask, id=29966, pos=[(1,95,18), (2,3009,44), (2,3091,57), (3,363,48)])
  concat.29967: bits[8] = concat(literal.29964, overflow_detected, id=29967, pos=[(2,3010,68), (2,3091,57), (3,363,48)])
  x_sign: bits[1] = sel(overflow_detected, cases=[tuple_index.29983, tuple_index.29982], id=30370, pos=[(2,3092,17), (3,363,48)])
  y_sign: bits[1] = sel(overflow_detected, cases=[tuple_index.29982, tuple_index.29983], id=30371, pos=[(2,3092,17), (3,363,48)])
  wide_x_squeezed: bits[25] = concat(literal.29942, fraction_x__1, id=29984, pos=[(2,3103,17), (3,363,48)])
  wide_y_shift_bits: bits[27] = concat(fraction_y__1, xddend_x__1_squeezed_const_lsb_bits, id=29979, pos=[(2,3116,31), (3,363,48)])
  shift: bits[8] = add(result, concat.29967, id=29973, pos=[(1,54,7), (2,3010,68), (2,3091,57), (3,363,48)])
  literal.29972: bits[28] = literal(value=268435455, id=29972, pos=[(0,1411,19), (0,1501,17), (0,1528,22), (2,3115,35), (3,363,48)])
  xor.29992: bits[1] = xor(x_sign, y_sign, id=29992, pos=[(2,3110,23), (3,363,48)])
  neg.29989: bits[25] = neg(wide_x_squeezed, id=29989, pos=[(2,3110,41), (3,363,48)])
  shrl.29985: bits[27] = shrl(wide_y_shift_bits, shift, id=29985, pos=[(2,3116,31), (3,363,48)])
  not.30844: bits[23] = not(y_fraction, id=30844, pos=[(0,1411,4), (0,1501,17), (0,1528,22), (2,3115,35), (3,363,48)])
  shll.29977: bits[28] = shll(literal.29972, shift, id=29977, pos=[(0,1411,19), (0,1501,17), (0,1528,22), (2,3115,35), (3,363,48)])
  xddend_x__1_squeezed: bits[25] = sel(xor.29992, cases=[wide_x_squeezed, neg.29989], id=30504, pos=[(2,3110,19), (3,363,48)])
  literal.30379: bits[2] = literal(value=0, id=30379, pos=[(3,363,48)])
  bit_slice.30836: bits[24] = bit_slice(shrl.29985, start=3, width=24, id=30836, pos=[(2,3120,20), (3,363,48)])
  concat.30847: bits[24] = concat(literal.29942, not.30844, id=30847, pos=[(0,1411,4), (0,1501,17), (0,1528,22), (2,3115,35), (3,363,48)])
  not.30766: bits[24] = not(sign_ext.30500, id=30766, pos=[(0,1411,4), (0,1501,17), (0,1528,22), (2,3115,35), (3,363,48)])
  bit_slice.29981: bits[24] = bit_slice(shll.29977, start=3, width=24, id=29981, pos=[(0,1411,19), (0,1501,17), (0,1528,22), (2,3115,35), (3,363,48)])
  sign_ext.30813: bits[26] = sign_ext(xddend_x__1_squeezed, new_bit_count=26, id=30813, pos=[(2,3120,20), (3,363,48)])
  concat.30815: bits[26] = concat(literal.30379, bit_slice.30836, id=30815, pos=[(2,3120,20), (3,363,48)])
  nor.30767: bits[24] = nor(concat.30847, not.30766, bit_slice.29981, id=30767, pos=[(0,1411,4), (0,1501,17), (0,1528,22), (2,3115,35), (3,363,48)])
  literal.29958: bits[24] = literal(value=0, id=29958, pos=[(2,3099,49), (3,363,48)])
  add.30747: bits[26] = add(sign_ext.30813, concat.30815, id=30747, pos=[(2,3120,20), (3,363,48)])
  bit_slice.29990: bits[1] = bit_slice(shrl.29985, start=0, width=1, id=29990, pos=[(2,3053,40), (2,3116,30), (3,363,48)])
  sticky: bits[1] = ne(nor.30767, literal.29958, id=29991, pos=[(0,1501,17), (0,1528,22), (2,3115,35), (3,363,48)])
  bit_slice.30806: bits[25] = bit_slice(add.30747, start=0, width=25, id=30806, pos=[(2,3120,20), (3,363,48)])
  bit_slice.30837: bits[2] = bit_slice(shrl.29985, start=1, width=2, id=30837, pos=[(2,3120,20), (3,363,48)])
  or.29996: bits[1] = or(bit_slice.29990, sticky, id=29996, pos=[(2,3053,40), (2,3116,30), (3,363,48)])
  concat.30842: bits[28] = concat(bit_slice.30806, bit_slice.30837, or.29996, id=30842, pos=[(2,3120,20), (3,363,48)])
  bit_slice.30808: bits[1] = bit_slice(add.30747, start=25, width=1, id=30808, pos=[(2,3130,12), (3,363,48)])
  neg.30004: bits[28] = neg(concat.30842, id=30004, pos=[(2,3130,46), (3,363,48)])
  xbs_fraction: bits[28] = sel(bit_slice.30808, cases=[concat.30842, neg.30004], id=30005, pos=[(2,3130,9), (3,363,48)])
  bit_slice.30093: bits[1] = bit_slice(xbs_fraction, start=4, width=1, id=30093, pos=[(0,1590,70), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  bit_slice.30069: bits[1] = bit_slice(xbs_fraction, start=6, width=1, id=30069, pos=[(0,1590,70), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  bit_slice.30066: bits[1] = bit_slice(xbs_fraction, start=11, width=1, id=30066, pos=[(0,1590,40), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  bit_slice.30044: bits[1] = bit_slice(xbs_fraction, start=10, width=1, id=30044, pos=[(0,1590,70), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  bit_slice.30089: bits[1] = bit_slice(xbs_fraction, start=9, width=1, id=30089, pos=[(0,1590,40), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  bit_slice.30068: bits[1] = bit_slice(xbs_fraction, start=8, width=1, id=30068, pos=[(0,1590,70), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  bit_slice.30043: bits[1] = bit_slice(xbs_fraction, start=12, width=1, id=30043, pos=[(0,1590,70), (0,1595,64), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  bit_slice.30023: bits[1] = bit_slice(xbs_fraction, start=14, width=1, id=30023, pos=[(0,1590,70), (0,1595,34), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  bit_slice.30020: bits[1] = bit_slice(xbs_fraction, start=19, width=1, id=30020, pos=[(0,1590,40), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  bit_slice.30011: bits[1] = bit_slice(xbs_fraction, start=18, width=1, id=30011, pos=[(0,1590,70), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  bit_slice.30039: bits[1] = bit_slice(xbs_fraction, start=17, width=1, id=30039, pos=[(0,1590,40), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  bit_slice.30022: bits[1] = bit_slice(xbs_fraction, start=16, width=1, id=30022, pos=[(0,1590,70), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  carry_bit: bits[1] = bit_slice(xbs_fraction, start=27, width=1, id=30007, pos=[(0,1590,40), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  bit_slice.30006: bits[1] = bit_slice(xbs_fraction, start=26, width=1, id=30006, pos=[(0,1590,70), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  bit_slice.30015: bits[1] = bit_slice(xbs_fraction, start=25, width=1, id=30015, pos=[(0,1590,40), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  bit_slice.30009: bits[1] = bit_slice(xbs_fraction, start=24, width=1, id=30009, pos=[(0,1590,70), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  bit_slice.30019: bits[1] = bit_slice(xbs_fraction, start=20, width=1, id=30019, pos=[(0,1590,70), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  bit_slice.30010: bits[1] = bit_slice(xbs_fraction, start=22, width=1, id=30010, pos=[(0,1590,70), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  bit_slice.30091: bits[1] = bit_slice(xbs_fraction, start=7, width=1, id=30091, pos=[(0,1590,40), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  bit_slice.30113: bits[1] = bit_slice(xbs_fraction, start=5, width=1, id=30113, pos=[(0,1590,40), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  not.30114: bits[1] = not(bit_slice.30093, id=30114, pos=[(0,1583,4), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  not.30936: bits[1] = not(bit_slice.30069, id=30936, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  or.30458: bits[1] = or(bit_slice.30066, bit_slice.30044, id=30458, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30108: bits[1] = nor(bit_slice.30089, bit_slice.30068, id=30108, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30087: bits[1] = nor(bit_slice.30066, bit_slice.30044, id=30087, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  not.30940: bits[1] = not(bit_slice.30044, id=30940, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  not.30090: bits[1] = not(bit_slice.30068, id=30090, pos=[(0,1583,4), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  bit_slice.30041: bits[1] = bit_slice(xbs_fraction, start=15, width=1, id=30041, pos=[(0,1590,40), (0,1595,34), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  bit_slice.30064: bits[1] = bit_slice(xbs_fraction, start=13, width=1, id=30064, pos=[(0,1590,40), (0,1595,64), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  not.30065: bits[1] = not(bit_slice.30043, id=30065, pos=[(0,1583,4), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  not.30042: bits[1] = not(bit_slice.30023, id=30042, pos=[(0,1583,4), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  or.30460: bits[1] = or(bit_slice.30020, bit_slice.30011, id=30460, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30059: bits[1] = nor(bit_slice.30039, bit_slice.30022, id=30059, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30037: bits[1] = nor(bit_slice.30020, bit_slice.30011, id=30037, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  not.30040: bits[1] = not(bit_slice.30022, id=30040, pos=[(0,1583,4), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  not.30943: bits[1] = not(bit_slice.30011, id=30943, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30013: bits[1] = nor(carry_bit, bit_slice.30006, id=30013, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30029: bits[1] = nor(bit_slice.30015, bit_slice.30009, id=30029, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  bit_slice.30017: bits[1] = bit_slice(xbs_fraction, start=23, width=1, id=30017, pos=[(0,1590,40), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  bit_slice.30034: bits[1] = bit_slice(xbs_fraction, start=21, width=1, id=30034, pos=[(0,1590,40), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  or.30461: bits[1] = or(carry_bit, bit_slice.30006, id=30461, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  not.30947: bits[1] = not(bit_slice.30006, id=30947, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  not.30016: bits[1] = not(bit_slice.30009, id=30016, pos=[(0,1583,4), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  not.30035: bits[1] = not(bit_slice.30019, id=30035, pos=[(0,1583,4), (0,1590,64), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  not.30018: bits[1] = not(bit_slice.30010, id=30018, pos=[(0,1583,4), (0,1590,64), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  bit_slice.30135: bits[1] = bit_slice(xbs_fraction, start=3, width=1, id=30135, pos=[(0,1590,40), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  bit_slice.30115: bits[1] = bit_slice(xbs_fraction, start=2, width=1, id=30115, pos=[(0,1590,70), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  bit_slice.30159: bits[1] = bit_slice(xbs_fraction, start=1, width=1, id=30159, pos=[(0,1590,40), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  bit_slice.30137: bits[1] = bit_slice(xbs_fraction, start=0, width=1, id=30137, pos=[(0,1590,70), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  or.30457: bits[1] = or(bit_slice.30091, bit_slice.30069, id=30457, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30133: bits[1] = nor(bit_slice.30113, bit_slice.30093, id=30133, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30132: bits[1] = nor(bit_slice.30113, not.30114, id=30132, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30934: bits[1] = nor(bit_slice.30091, bit_slice.30069, id=30934, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30937: bits[1] = nor(bit_slice.30091, not.30936, id=30937, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30190: bits[1] = nor(or.30458, nor.30108, id=30190, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  and.30191: bits[1] = and(nor.30087, nor.30108, id=30191, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30941: bits[1] = nor(bit_slice.30066, not.30940, id=30941, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30107: bits[1] = nor(bit_slice.30089, not.30090, id=30107, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  or.30459: bits[1] = or(bit_slice.30041, bit_slice.30023, id=30459, pos=[(0,1595,22), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30084: bits[1] = nor(bit_slice.30064, bit_slice.30043, id=30084, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30083: bits[1] = nor(bit_slice.30064, not.30065, id=30083, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30061: bits[1] = nor(bit_slice.30041, not.30042, id=30061, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30145: bits[1] = nor(or.30460, nor.30059, id=30145, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  and.30146: bits[1] = and(nor.30037, nor.30059, id=30146, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30058: bits[1] = nor(bit_slice.30039, not.30040, id=30058, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30944: bits[1] = nor(bit_slice.30020, not.30943, id=30944, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  and.30117: bits[1] = and(nor.30013, nor.30029, id=30117, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30032: bits[1] = nor(bit_slice.30017, bit_slice.30010, id=30032, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30053: bits[1] = nor(bit_slice.30034, bit_slice.30019, id=30053, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30116: bits[1] = nor(or.30461, nor.30029, id=30116, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30948: bits[1] = nor(carry_bit, not.30947, id=30948, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30028: bits[1] = nor(bit_slice.30015, not.30016, id=30028, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  or.30462: bits[1] = or(bit_slice.30017, bit_slice.30010, id=30462, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30052: bits[1] = nor(bit_slice.30034, not.30035, id=30052, pos=[(0,1590,22), (0,1595,64), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30031: bits[1] = nor(bit_slice.30017, not.30018, id=30031, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  or.30456: bits[1] = or(bit_slice.30135, bit_slice.30115, id=30456, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30181: bits[1] = nor(bit_slice.30159, bit_slice.30137, id=30181, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30157: bits[1] = nor(bit_slice.30135, bit_slice.30115, id=30157, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  not.30160: bits[1] = not(bit_slice.30137, id=30160, pos=[(0,1583,4), (0,1590,64), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  not.30932: bits[1] = not(bit_slice.30115, id=30932, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30207: bits[1] = nor(or.30457, nor.30133, id=30207, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30446: bits[2] = concat(literal.29954, nor.30132, id=30446, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30570: bits[2] = concat(nor.30934, nor.30937, id=30570, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30203: bits[2] = concat(nor.30190, and.30191, id=30203, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30743: bits[2] = concat(nor.30941, literal.29942, id=30743, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30718: bits[2] = concat(literal.29954, nor.30107, id=30718, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30561: bits[2] = concat(nor.30087, nor.30941, id=30561, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30062: bits[1] = nor(bit_slice.30041, bit_slice.30023, id=30062, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30170: bits[1] = nor(or.30459, nor.30084, id=30170, pos=[(0,1595,22), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30441: bits[2] = concat(literal.29954, nor.30083, id=30441, pos=[(0,1595,22), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30957: bits[2] = concat(literal.29942, nor.30061, id=30957, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30166: bits[2] = concat(nor.30145, and.30146, id=30166, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30713: bits[2] = concat(literal.29954, nor.30058, id=30713, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30552: bits[2] = concat(nor.30037, nor.30944, id=30552, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  not.30199: bits[1] = not(and.30117, id=30199, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  and.30143: bits[1] = and(nor.30032, nor.30053, id=30143, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30138: bits[2] = concat(nor.30116, and.30117, id=30138, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30742: bits[2] = concat(nor.30948, literal.29942, id=30742, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30708: bits[2] = concat(literal.29954, nor.30028, id=30708, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30543: bits[2] = concat(literal.29942, nor.30948, id=30543, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30142: bits[1] = nor(or.30462, nor.30053, id=30142, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30438: bits[2] = concat(literal.29954, nor.30052, id=30438, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30958: bits[2] = concat(literal.29942, nor.30031, id=30958, pos=[(0,1590,22), (0,1595,34), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30233: bits[1] = nor(or.30456, nor.30181, id=30233, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  and.30234: bits[1] = and(nor.30157, nor.30181, id=30234, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30180: bits[1] = nor(bit_slice.30159, not.30160, id=30180, pos=[(0,1590,22), (0,1595,64), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30933: bits[1] = nor(bit_slice.30135, not.30932, id=30933, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  not.30241: bits[1] = not(and.30191, id=30241, pos=[(0,1600,22), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  and.30208: bits[1] = and(nor.30934, nor.30133, id=30208, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  priority_sel.30467: bits[2] = priority_sel(nor.30207, cases=[concat.30446], default=concat.30570, id=30467, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  priority_sel.30601: bits[2] = priority_sel(concat.30203, cases=[concat.30743, concat.30718], default=concat.30561, id=30601, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  not.30215: bits[1] = not(and.30146, id=30215, pos=[(0,1600,22), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  and.30171: bits[1] = and(nor.30062, nor.30084, id=30171, pos=[(0,1595,22), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  priority_sel.30422: bits[2] = priority_sel(nor.30170, cases=[concat.30441], default=concat.30957, id=30422, pos=[(0,1595,22), (0,1600,64), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  priority_sel.30583: bits[2] = priority_sel(concat.30166, cases=[literal.30379, concat.30713], default=concat.30552, id=30583, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30212: bits[1] = nor(not.30199, and.30143, id=30212, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  and.30213: bits[1] = and(and.30117, and.30143, id=30213, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  priority_sel.30574: bits[2] = priority_sel(concat.30138, cases=[concat.30742, concat.30708], default=concat.30543, id=30574, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  priority_sel.30419: bits[2] = priority_sel(nor.30142, cases=[concat.30438], default=concat.30958, id=30419, pos=[(0,1595,22), (0,1600,64), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30243: bits[2] = concat(nor.30233, and.30234, id=30243, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30730: bits[2] = concat(literal.29954, nor.30180, id=30730, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30597: bits[2] = concat(nor.30157, nor.30933, id=30597, pos=[(0,1590,22), (0,1595,34), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30249: bits[1] = nor(not.30241, and.30208, id=30249, pos=[(0,1600,22), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30697: bits[3] = concat(literal.29954, priority_sel.30467, id=30697, pos=[(0,1540,24), (0,1600,22), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30606: bits[3] = concat(and.30191, priority_sel.30601, id=30606, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30228: bits[1] = nor(not.30215, and.30171, id=30228, pos=[(0,1600,22), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30449: bits[3] = concat(literal.29954, priority_sel.30422, id=30449, pos=[(0,1600,22), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30588: bits[3] = concat(and.30146, priority_sel.30583, id=30588, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30224: bits[2] = concat(nor.30212, and.30213, id=30224, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30744: bits[3] = concat(priority_sel.30574, literal.29942, id=30744, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30725: bits[3] = concat(literal.29954, priority_sel.30419, id=30725, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30579: bits[3] = concat(literal.29942, priority_sel.30574, id=30579, pos=[(0,1595,22), (0,1600,34), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  priority_sel.30619: bits[2] = priority_sel(concat.30243, cases=[literal.30379, concat.30730], default=concat.30597, id=30619, pos=[(0,1595,22), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  priority_sel.30514: bits[3] = priority_sel(nor.30249, cases=[concat.30697], default=concat.30606, id=30514, pos=[(0,1600,22), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  not.30253: bits[1] = not(and.30213, id=30253, pos=[(0,1605,22), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  and.30229: bits[1] = and(and.30146, and.30171, id=30229, pos=[(0,1600,22), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  priority_sel.30469: bits[3] = priority_sel(nor.30228, cases=[concat.30449], default=concat.30588, id=30469, pos=[(0,1600,22), (0,1605,64), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  priority_sel.30610: bits[3] = priority_sel(concat.30224, cases=[concat.30744, concat.30725], default=concat.30579, id=30610, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  and.30250: bits[1] = and(and.30191, and.30208, id=30250, pos=[(0,1600,22), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30738: bits[4] = concat(literal.29954, and.30234, priority_sel.30619, id=30738, pos=[(0,1605,22), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30740: bits[4] = concat(literal.29942, priority_sel.30514, id=30740, pos=[(0,1600,22), (0,1605,34), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  nor.30261: bits[1] = nor(not.30253, and.30229, id=30261, pos=[(0,1605,22), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30700: bits[4] = concat(literal.29954, priority_sel.30469, id=30700, pos=[(0,1540,24), (0,1605,22), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30615: bits[4] = concat(and.30213, priority_sel.30610, id=30615, pos=[(0,1600,22), (0,1605,34), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  priority_sel.30273: bits[4] = priority_sel(and.30250, cases=[concat.30738], default=concat.30740, id=30273, pos=[(0,1605,22), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  priority_sel.30520: bits[4] = priority_sel(nor.30261, cases=[concat.30700], default=concat.30615, id=30520, pos=[(0,1605,22), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  and.30262: bits[1] = and(and.30213, and.30229, id=30262, pos=[(0,1605,22), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30275: bits[5] = concat(literal.29954, priority_sel.30273, id=30275, pos=[(0,1610,22), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30741: bits[5] = concat(literal.29942, priority_sel.30520, id=30741, pos=[(0,1605,22), (0,1610,35), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  concat.30276: bits[29] = concat(literal.29942, xbs_fraction, id=30276, pos=[(3,363,48)])
  leading_zeroes: bits[5] = priority_sel(and.30262, cases=[concat.30275], default=concat.30741, id=30277, pos=[(0,1610,22), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  cancel_fraction: bits[29] = shll(concat.30276, leading_zeroes, id=30278, pos=[(2,3144,26), (3,363,48)])
  bit_slice.30279: bits[26] = bit_slice(xbs_fraction, start=2, width=26, id=30279, pos=[(2,3053,20), (2,3137,36), (3,363,48)])
  or.30280: bits[1] = or(bit_slice.30159, bit_slice.30137, id=30280, pos=[(2,3053,40), (2,3137,36), (3,363,48)])
  cancel_fraction__1: bits[27] = bit_slice(cancel_fraction, start=1, width=27, id=30281, pos=[(3,363,48)])
  carry_fraction__1: bits[27] = concat(bit_slice.30279, or.30280, id=30282, pos=[(2,3053,20), (2,3137,36), (3,363,48)])
  shifted_fraction: bits[27] = sel(carry_bit, cases=[cancel_fraction__1, carry_fraction__1], id=30283, pos=[(2,3146,27), (3,363,48)])
  normal_chunk: bits[3] = bit_slice(shifted_fraction, start=0, width=3, id=30284, pos=[(2,3158,39), (3,363,48)])
  fraction_shift__3: bits[3] = literal(value=4, id=30391, pos=[(0,1539,24), (0,1595,22), (0,1600,34), (0,1605,64), (0,1610,66), (0,1643,30), (0,1707,13), (2,3141,34), (3,363,48)])
  half_way_chunk: bits[2] = bit_slice(shifted_fraction, start=2, width=2, id=30285, pos=[(2,3159,41), (3,363,48)])
  literal.30286: bits[2] = literal(value=3, id=30286, pos=[(2,3160,68), (3,363,48)])
  ugt.30287: bits[1] = ugt(normal_chunk, fraction_shift__3, id=30287, pos=[(2,3160,23), (3,363,48)])
  eq.30288: bits[1] = eq(half_way_chunk, literal.30286, id=30288, pos=[(2,3160,50), (3,363,48)])
  bit_slice.30818: bits[24] = bit_slice(shifted_fraction, start=3, width=24, id=30818)
  do_round_up: bits[1] = or(ugt.30287, eq.30288, id=30291, pos=[(2,3160,23), (3,363,48)])
  concat.30819: bits[25] = concat(literal.29942, bit_slice.30818, id=30819)
  concat.30959: bits[25] = concat(literal.29958, do_round_up, id=30959)
  add.30759: bits[25] = add(concat.30819, concat.30959, id=30759)
  literal.30294: bits[5] = literal(value=0, id=30294, pos=[(3,363,48)])
  rounding_carry: bits[1] = bit_slice(add.30759, start=24, width=1, id=30810, pos=[(2,3168,41), (3,363,48)])
  literal.30906: bits[26] = literal(value=0, id=30906, pos=[(2,3121,39), (3,363,48)])
  bit_slice.30955: bits[1] = bit_slice(shrl.29985, start=1, width=1, id=30955, pos=[(2,3121,27), (3,363,48)])
  bit_slice.30956: bits[1] = bit_slice(shrl.29985, start=2, width=1, id=30956, pos=[(2,3121,27), (3,363,48)])
  concat.30296: bits[9] = concat(literal.29942, x_bexp, id=30296, pos=[(3,363,48)])
  literal.30297: bits[9] = literal(value=1, id=30297, pos=[(2,3180,24), (3,363,48)])
  concat.30838: bits[6] = concat(literal.30294, rounding_carry, id=30838, pos=[(3,363,48)])
  concat.30299: bits[6] = concat(literal.29942, leading_zeroes, id=30299, pos=[(3,363,48)])
  eq.30874: bits[1] = eq(add.30747, literal.30906, id=30874, pos=[(2,3121,27), (3,363,48)])
  nor.30929: bits[1] = nor(bit_slice.30955, bit_slice.30956, id=30929, pos=[(2,3121,27), (3,363,48)])
  nor.30930: bits[1] = nor(bit_slice.29990, sticky, id=30930, pos=[(2,3121,27), (3,363,48)])
  add.30300: bits[9] = add(concat.30296, literal.30297, id=30300, pos=[(2,3179,26), (3,363,48)])
  sub.30301: bits[6] = sub(concat.30838, concat.30299, id=30301, pos=[(2,3179,26), (3,363,48)])
  fraction_is_zero: bits[1] = and(eq.30874, nor.30929, nor.30930, id=30928, pos=[(2,3121,27), (3,363,48)])
  wide_exponent_associative_element: bits[10] = concat(literal.29942, add.30300, id=30303, pos=[(2,3179,26), (3,363,48)])
  wide_exponent_associative_element__1: bits[10] = sign_ext(sub.30301, new_bit_count=10, id=30304, pos=[(2,3179,26), (3,363,48)])
  not.30526: bits[1] = not(fraction_is_zero, id=30526, pos=[(2,3181,24), (3,363,48)])
  wide_exponent: bits[10] = add(wide_exponent_associative_element, wide_exponent_associative_element__1, id=30306, pos=[(2,3179,26), (3,363,48)])
  sign_ext.30527: bits[10] = sign_ext(not.30526, new_bit_count=10, id=30527, pos=[(2,3181,24), (3,363,48)])
  wide_exponent__1: bits[10] = and(wide_exponent, sign_ext.30527, id=30528, pos=[(2,3181,24), (3,363,48)])
  bit_slice.30315: bits[1] = bit_slice(wide_exponent__1, start=9, width=1, id=30315, pos=[(2,3184,27), (3,363,48)])
  not.30529: bits[1] = not(bit_slice.30315, id=30529, pos=[(2,3184,24), (3,363,48)])
  bit_slice.30316: bits[9] = bit_slice(wide_exponent__1, start=0, width=9, id=30316, pos=[(3,363,48)])
  sign_ext.30530: bits[9] = sign_ext(not.30529, new_bit_count=9, id=30530, pos=[(2,3184,24), (3,363,48)])
  MAX_EXPONENT: bits[8] = literal(value=255, id=30308, pos=[(2,96,29), (2,3209,29), (3,363,48)])
  literal.30309: bits[23] = literal(value=0, id=30309, pos=[(2,96,57), (2,3209,29), (3,363,48)])
  wide_exponent__2: bits[9] = and(bit_slice.30316, sign_ext.30530, id=30531, pos=[(2,3184,24), (3,363,48)])
  eq.30311: bits[1] = eq(x_bexp, MAX_EXPONENT, id=30311, pos=[(2,96,6), (2,3209,29), (3,363,48)])
  eq.30312: bits[1] = eq(x_fraction, literal.30309, id=30312, pos=[(2,96,44), (2,3209,29), (3,363,48)])
  eq.30313: bits[1] = eq(y_bexp, MAX_EXPONENT, id=30313, pos=[(2,96,6), (2,3210,29), (3,363,48)])
  eq.30314: bits[1] = eq(y_fraction, literal.30309, id=30314, pos=[(2,96,44), (2,3210,29), (3,363,48)])
  bit_slice.30328: bits[8] = bit_slice(wide_exponent__2, start=1, width=8, id=30328, pos=[(2,3194,11), (3,363,48)])
  not.30318: bits[1] = not(eq.30311, id=30318, pos=[(2,3209,29), (3,363,48)])
  not.30319: bits[1] = not(eq.30312, id=30319, pos=[(2,3209,29), (3,363,48)])
  not.30320: bits[1] = not(eq.30313, id=30320, pos=[(2,3210,29), (3,363,48)])
  not.30321: bits[1] = not(eq.30314, id=30321, pos=[(2,3210,29), (3,363,48)])
  and.30335: bits[1] = and(eq.30311, eq.30312, id=30335, pos=[(2,96,6), (2,3209,29), (3,363,48)])
  and.30336: bits[1] = and(eq.30313, eq.30314, id=30336, pos=[(2,96,6), (2,3210,29), (3,363,48)])
  bit_slice.30337: bits[8] = bit_slice(wide_exponent__2, start=0, width=8, id=30337, pos=[(2,3202,11), (3,363,48)])
  or_reduce.30338: bits[1] = or_reduce(bit_slice.30328, id=30338, pos=[(2,3194,11), (3,363,48)])
  bit_slice.30339: bits[1] = bit_slice(wide_exponent__2, start=0, width=1, id=30339, pos=[(2,3194,11), (3,363,48)])
  nor.30323: bits[1] = nor(not.30318, not.30319, x_sign, id=30323, pos=[(2,3209,29), (3,363,48)])
  nor.30324: bits[1] = nor(not.30320, not.30321, y_sign, id=30324, pos=[(2,3210,29), (3,363,48)])
  and.30325: bits[1] = and(eq.30311, eq.30312, x_sign, id=30325, pos=[(2,3215,29), (3,363,48)])
  and.30326: bits[1] = and(eq.30313, eq.30314, y_sign, id=30326, pos=[(2,3216,29), (3,363,48)])
  fraction_shift__2: bits[3] = literal(value=3, id=30329, pos=[(2,3174,8), (3,363,48)])
  is_operand_inf: bits[1] = or(and.30335, and.30336, id=30347, pos=[(2,3205,31), (3,363,48)])
  bit_slice.30348: bits[1] = bit_slice(wide_exponent__2, start=8, width=1, id=30348, pos=[(2,3202,11), (3,363,48)])
  and_reduce.30349: bits[1] = and_reduce(bit_slice.30337, id=30349, pos=[(2,3202,11), (3,363,48)])
  nor.30350: bits[1] = nor(or_reduce.30338, bit_slice.30339, id=30350, pos=[(2,3194,11), (3,363,48)])
  has_pos_inf: bits[1] = or(nor.30323, nor.30324, id=30332, pos=[(2,3209,29), (3,363,48)])
  has_neg_inf: bits[1] = or(and.30325, and.30326, id=30333, pos=[(2,3215,29), (3,363,48)])
  rounded_fraction: bits[28] = concat(add.30759, normal_chunk, id=30841)
  fraction_shift__1: bits[3] = sel(rounding_carry, cases=[fraction_shift__2, fraction_shift__3], id=30340, pos=[(2,3174,8), (3,363,48)])
  or.30355: bits[1] = or(is_operand_inf, bit_slice.30348, and_reduce.30349, nor.30350, id=30355, pos=[(2,3207,26), (3,363,48)])
  nor.30382: bits[1] = nor(not.30318, eq.30312, id=30382, pos=[(2,71,6), (2,3217,30), (3,363,48)])
  nor.30384: bits[1] = nor(not.30320, eq.30314, id=30384, pos=[(2,71,6), (2,3217,64), (3,363,48)])
  and.30343: bits[1] = and(has_pos_inf, has_neg_inf, id=30343, pos=[(2,3218,25), (3,363,48)])
  concat.30839: bits[2] = concat(bit_slice.30808, fraction_is_zero, id=30839, pos=[(3,363,48)])
  and.30345: bits[1] = and(x_sign, y_sign, id=30345, pos=[(2,3123,22), (3,363,48)])
  not.30346: bits[1] = not(y_sign, id=30346, pos=[(2,3210,59), (3,363,48)])
  shrl.30351: bits[28] = shrl(rounded_fraction, fraction_shift__1, id=30351, pos=[(2,3175,27), (3,363,48)])
  not.30532: bits[1] = not(or.30355, id=30532, pos=[(2,3207,26), (3,363,48)])
  is_result_nan: bits[1] = or(nor.30382, nor.30384, and.30343, id=30352, pos=[(2,3217,30), (3,363,48)])
  result_sign: bits[1] = priority_sel(concat.30839, cases=[and.30345, not.30346], default=y_sign, id=30353, pos=[(3,363,48)])
  not.30354: bits[1] = not(has_pos_inf, id=30354, pos=[(2,3211,42), (3,363,48)])
  result_fraction: bits[23] = bit_slice(shrl.30351, start=0, width=23, id=30356, pos=[(3,363,48)])
  sign_ext.30533: bits[23] = sign_ext(not.30532, new_bit_count=23, id=30533, pos=[(2,3207,26), (3,363,48)])
  not.30357: bits[1] = not(is_result_nan, id=30357, pos=[(2,3222,22), (3,363,48)])
  result_sign__1: bits[1] = sel(is_operand_inf, cases=[result_sign, not.30354], id=30358, pos=[(2,3211,22), (3,363,48)])
  or.30359: bits[1] = or(is_result_nan, is_operand_inf, bit_slice.30348, and_reduce.30349, id=30359, pos=[(2,3220,26), (3,363,48)])
  result_fraction__3: bits[23] = and(result_fraction, sign_ext.30533, id=30534, pos=[(2,3207,26), (3,363,48)])
  FRACTION_HIGH_BIT: bits[23] = literal(value=4194304, id=30361, pos=[(2,3219,30), (3,363,48)])
  result_sign__2: bits[1] = and(not.30357, result_sign__1, id=30362, pos=[(2,3222,22), (3,363,48)])
  result_exponent__2: bits[8] = sel(or.30359, cases=[bit_slice.30337, MAX_EXPONENT], id=30363, pos=[(2,3220,26), (3,363,48)])
  result_fraction__4: bits[23] = sel(is_result_nan, cases=[result_fraction__3, FRACTION_HIGH_BIT], id=30364, pos=[(2,3221,26), (3,363,48)])
  ret tuple.30365: (bits[1], bits[8], bits[23]) = tuple(result_sign__2, result_exponent__2, result_fraction__4, id=30365, pos=[(2,3225,33), (3,363,48)])
}