combinational_critical_path {
  total_delay_ps: 1622
  nodes {
    total_delay_ps: 1622
    op: OP_TUPLE
    id: 528
    ir: "tuple.528: (bits[1], bits[11], bits[52]) = tuple(nor.539: bits[1], priority_sel.557: bits[11], concat.584: bits[52], id=528, pos=[(2,182,70)])"
  }
  nodes {
    total_delay_ps: 1622
    node_delay_ps: 142
    op: OP_PRIORITY_SEL
    id: 557
    ir: "priority_sel.557: bits[11] = priority_sel(concat.606, cases=[EXPR_MASK, literal.482], default=sel.522, id=557, pos=[(2,182,70)])"
  }
  nodes {
    total_delay_ps: 1480
    node_delay_ps: 121
    op: OP_SEL
    id: 522
    ir: "sel.522: bits[11] = sel(ult.518, cases=[f_bexp__1, sel.519], id=522, pos=[(1,4497,12), (2,182,70)])"
  }
  nodes {
    total_delay_ps: 1359
    node_delay_ps: 121
    op: OP_SEL
    id: 519
    ir: "sel.519: bits[11] = sel(nor.511, cases=[add.545, concat.689], id=519, pos=[(1,4499,19), (2,182,70)])"
  }
  nodes {
    total_delay_ps: 1238
    node_delay_ps: 245
    op: OP_ADD
    id: 545
    ir: "add.545: bits[11] = add(f_bexp__1: bits[11], concat.605: bits[11], id=545)"
  }
  nodes {
    total_delay_ps: 993
    op: OP_CONCAT
    id: 605
    ir: "concat.605: bits[11] = concat(literal.487: bits[10], and.604: bits[1], id=605)"
  }
  nodes {
    total_delay_ps: 993
    node_delay_ps: 23
    op: OP_AND
    id: 604
    ir: "and.604: bits[1] = and(f_sign__1: bits[1], bit_slice.488: bits[1], id=604)"
  }
  nodes {
    total_delay_ps: 970
    op: OP_BIT_SLICE
    id: 488
    ir: "bit_slice.488: bits[1] = bit_slice(fraction_up__2: bits[53], start=52, width=1, id=488, pos=[(1,4262,46), (1,4509,45), (2,182,70)])"
  }
  nodes {
    total_delay_ps: 970
    node_delay_ps: 415
    op: OP_ADD
    id: 483
    ir: "fraction_up__2: bits[53] = add(concat.478: bits[53], concat.479: bits[53], id=483, pos=[(1,4259,9), (1,4509,45), (2,182,70)])"
  }
  nodes {
    total_delay_ps: 555
    op: OP_CONCAT
    id: 479
    ir: "concat.479: bits[53] = concat(literal.475: bits[1], fractional_mask__1: bits[52], id=479, pos=[(1,4509,45), (2,182,70)])"
  }
  nodes {
    total_delay_ps: 555
    node_delay_ps: 293
    op: OP_SHRL
    id: 477
    ir: "fractional_mask__1: bits[52] = shrl(literal.473: bits[52], sign_ext.474: bits[32], id=477, pos=[(1,4240,40), (1,4509,45), (2,182,70)])"
  }
  nodes {
    total_delay_ps: 262
    node_delay_ps: 17
    op: OP_SIGN_EXT
    id: 474
    ir: "sign_ext.474: bits[32] = sign_ext(exp__1: bits[11], new_bit_count=32, id=474, pos=[(1,4509,45), (2,182,70)])"
  }
  nodes {
    total_delay_ps: 245
    node_delay_ps: 245
    op: OP_ADD
    id: 472
    ir: "exp__1: bits[11] = add(f_bexp__1: bits[11], literal.471: bits[11], id=472, pos=[(1,266,6), (1,4238,31), (1,4509,45), (2,182,70)])"
  }
  nodes {
    op: OP_LITERAL
    id: 471
    ir: "literal.471: bits[11] = literal(value=1025, id=471, pos=[(1,266,6), (1,4238,31), (1,4509,45), (2,182,70)])"
  }
}
all_nodes {
  op: OP_PARAM
  id: 204
  ir: "f: (bits[1], bits[11], bits[52]) = param(name=f, id=204)"
}
all_nodes {
  op: OP_TUPLE_INDEX
  id: 470
  ir: "f_bexp__1: bits[11] = tuple_index(f: (bits[1], bits[11], bits[52]), index=1, id=470, pos=[(1,266,6), (1,4238,31), (1,4509,45), (2,182,70)])"
}
all_nodes {
  op: OP_LITERAL
  id: 471
  ir: "literal.471: bits[11] = literal(value=1025, id=471, pos=[(1,266,6), (1,4238,31), (1,4509,45), (2,182,70)])"
}
all_nodes {
  node_delay_ps: 245
  op: OP_ADD
  id: 472
  ir: "exp__1: bits[11] = add(f_bexp__1: bits[11], literal.471: bits[11], id=472, pos=[(1,266,6), (1,4238,31), (1,4509,45), (2,182,70)])"
}
all_nodes {
  op: OP_LITERAL
  id: 473
  ir: "literal.473: bits[52] = literal(value=4503599627370495, id=473, pos=[(1,4240,40), (1,4509,45), (2,182,70)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 474
  ir: "sign_ext.474: bits[32] = sign_ext(exp__1: bits[11], new_bit_count=32, id=474, pos=[(1,4509,45), (2,182,70)])"
}
all_nodes {
  op: OP_LITERAL
  id: 475
  ir: "literal.475: bits[1] = literal(value=0, id=475, pos=[(1,4509,45), (2,182,70)])"
}
all_nodes {
  op: OP_TUPLE_INDEX
  id: 476
  ir: "f_fraction__1: bits[52] = tuple_index(f: (bits[1], bits[11], bits[52]), index=2, id=476, pos=[(1,4259,9), (1,4509,45), (2,182,70)])"
}
all_nodes {
  node_delay_ps: 293
  op: OP_SHRL
  id: 477
  ir: "fractional_mask__1: bits[52] = shrl(literal.473: bits[52], sign_ext.474: bits[32], id=477, pos=[(1,4240,40), (1,4509,45), (2,182,70)])"
}
all_nodes {
  op: OP_CONCAT
  id: 478
  ir: "concat.478: bits[53] = concat(literal.475: bits[1], f_fraction__1: bits[52], id=478, pos=[(1,4509,45), (2,182,70)])"
}
all_nodes {
  op: OP_CONCAT
  id: 479
  ir: "concat.479: bits[53] = concat(literal.475: bits[1], fractional_mask__1: bits[52], id=479, pos=[(1,4509,45), (2,182,70)])"
}
all_nodes {
  node_delay_ps: 415
  op: OP_ADD
  id: 483
  ir: "fraction_up__2: bits[53] = add(concat.478: bits[53], concat.479: bits[53], id=483, pos=[(1,4259,9), (1,4509,45), (2,182,70)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 489
  ir: "bit_slice.489: bits[52] = bit_slice(fraction_up__2: bits[53], start=0, width=52, id=489, pos=[(1,4264,39), (1,4509,45), (2,182,70)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 492
  ir: "bit_slice.492: bits[10] = bit_slice(f_bexp__1: bits[11], start=0, width=10, id=492, pos=[(1,4219,5), (1,4499,43), (2,182,70)])"
}
all_nodes {
  op: OP_LITERAL
  id: 482
  ir: "literal.482: bits[11] = literal(value=0, id=482, pos=[(1,41,9), (1,4492,13), (2,182,70)])"
}
all_nodes {
  op: OP_LITERAL
  id: 481
  ir: "literal.481: bits[52] = literal(value=0, id=481, pos=[(1,43,20), (1,4492,13), (2,182,70)])"
}
all_nodes {
  op: OP_LITERAL
  id: 480
  ir: "EXPR_MASK: bits[11] = literal(value=2047, id=480, pos=[(1,39,36), (1,4492,13), (2,182,70)])"
}
all_nodes {
  op: OP_NOT
  id: 494
  ir: "not.494: bits[52] = not(f_fraction__1: bits[52], id=494, pos=[(1,4276,29), (1,4512,47), (2,182,70)])"
}
all_nodes {
  op: OP_NOT
  id: 495
  ir: "not.495: bits[52] = not(bit_slice.489: bits[52], id=495, pos=[(1,4264,39), (1,4509,45), (2,182,70)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 502
  ir: "bit_slice.502: bits[1] = bit_slice(f_bexp__1: bits[11], start=10, width=1, id=502, pos=[(1,4219,5), (1,4499,43), (2,182,70)])"
}
all_nodes {
  node_delay_ps: 73
  op: OP_AND_REDUCE
  id: 503
  ir: "and_reduce.503: bits[1] = and_reduce(bit_slice.492: bits[10], id=503, pos=[(1,4219,5), (1,4499,43), (2,182,70)])"
}
all_nodes {
  node_delay_ps: 105
  op: OP_EQ
  id: 486
  ir: "eq.486: bits[1] = eq(f_bexp__1: bits[11], literal.482: bits[11], id=486, pos=[(1,4492,13), (2,182,70)])"
}
all_nodes {
  node_delay_ps: 154
  op: OP_EQ
  id: 485
  ir: "eq.485: bits[1] = eq(f_fraction__1: bits[52], literal.481: bits[52], id=485, pos=[(1,4492,13), (2,182,70)])"
}
all_nodes {
  node_delay_ps: 105
  op: OP_EQ
  id: 484
  ir: "eq.484: bits[1] = eq(f_bexp__1: bits[11], EXPR_MASK: bits[11], id=484, pos=[(1,4492,13), (2,182,70)])"
}
all_nodes {
  op: OP_TUPLE_INDEX
  id: 504
  ir: "f_sign__1: bits[1] = tuple_index(f: (bits[1], bits[11], bits[52]), index=0, id=504, pos=[(1,4277,21), (1,4512,47), (2,182,70)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 488
  ir: "bit_slice.488: bits[1] = bit_slice(fraction_up__2: bits[53], start=52, width=1, id=488, pos=[(1,4262,46), (1,4509,45), (2,182,70)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 507
  ir: "fraction_integral__2: bits[52] = nor(not.494: bits[52], fractional_mask__1: bits[52], id=507, pos=[(1,4276,29), (1,4512,47), (2,182,70)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 508
  ir: "fraction_integral__4: bits[52] = nor(not.495: bits[52], fractional_mask__1: bits[52], id=508, pos=[(1,4264,39), (1,4509,45), (2,182,70)])"
}
all_nodes {
  node_delay_ps: 19
  op: OP_OR
  id: 624
  ir: "or.624: bits[1] = or(bit_slice.502: bits[1], and_reduce.503: bits[1], id=624, pos=[(1,4499,19), (2,182,70)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 491
  ir: "and.491: bits[1] = and(eq.486: bits[1], eq.485: bits[1], id=491, pos=[(1,4492,13), (2,182,70)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 490
  ir: "and.490: bits[1] = and(eq.484: bits[1], eq.485: bits[1], id=490, pos=[(1,4492,13), (2,182,70)])"
}
all_nodes {
  op: OP_NOT
  id: 735
  ir: "not.735: bits[1] = not(eq.484: bits[1], id=735, pos=[(2,182,70)])"
}
all_nodes {
  op: OP_LITERAL
  id: 487
  ir: "literal.487: bits[10] = literal(value=0, id=487, pos=[(1,4509,45), (2,182,70)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 604
  ir: "and.604: bits[1] = and(f_sign__1: bits[1], bit_slice.488: bits[1], id=604)"
}
all_nodes {
  op: OP_LITERAL
  id: 510
  ir: "literal.510: bits[11] = literal(value=1075, id=510, pos=[(1,4192,17), (1,4497,35), (2,182,70)])"
}
all_nodes {
  node_delay_ps: 151
  op: OP_SEL
  id: 514
  ir: "sel.514: bits[52] = sel(f_sign__1, cases=[fraction_integral__2, fraction_integral__4], id=514, pos=[(1,4507,19), (2,182,70)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 551
  ir: "sign_ext.551: bits[52] = sign_ext(or.624: bits[1], new_bit_count=52, id=551, pos=[(1,4499,19), (2,182,70)])"
}
all_nodes {
  node_delay_ps: 19
  op: OP_OR
  id: 613
  ir: "or.613: bits[1] = or(and.491: bits[1], and.490: bits[1], id=613, pos=[(2,182,70)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 738
  ir: "nor.738: bits[1] = nor(not.735: bits[1], eq.485: bits[1], id=738, pos=[(2,182,70)])"
}
all_nodes {
  op: OP_CONCAT
  id: 605
  ir: "concat.605: bits[11] = concat(literal.487: bits[10], and.604: bits[1], id=605)"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 685
  ir: "sign_ext.685: bits[10] = sign_ext(f_sign__1: bits[1], new_bit_count=10, id=685, pos=[(1,4500,16), (2,182,70)])"
}
all_nodes {
  node_delay_ps: 147
  op: OP_ULT
  id: 518
  ir: "ult.518: bits[1] = ult(f_bexp__1: bits[11], literal.510: bits[11], id=518, pos=[(1,4192,5), (1,4497,35), (2,182,70)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 552
  ir: "and.552: bits[52] = and(sel.514: bits[52], sign_ext.551: bits[52], id=552, pos=[(1,4499,19), (2,182,70)])"
}
all_nodes {
  node_delay_ps: 19
  op: OP_OR
  id: 660
  ir: "or.660: bits[1] = or(or.613: bits[1], nor.738: bits[1], id=660, pos=[(2,182,70)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 511
  ir: "nor.511: bits[1] = nor(bit_slice.502: bits[1], and_reduce.503: bits[1], id=511, pos=[(1,4219,5), (1,4499,43), (2,182,70)])"
}
all_nodes {
  node_delay_ps: 245
  op: OP_ADD
  id: 545
  ir: "add.545: bits[11] = add(f_bexp__1: bits[11], concat.605: bits[11], id=545)"
}
all_nodes {
  op: OP_CONCAT
  id: 689
  ir: "concat.689: bits[11] = concat(literal.475: bits[1], sign_ext.685: bits[10], id=689, pos=[(1,4500,16), (2,182,70)])"
}
all_nodes {
  node_delay_ps: 151
  op: OP_SEL
  id: 524
  ir: "sel.524: bits[52] = sel(ult.518, cases=[f_fraction__1, and.552], id=524, pos=[(1,4497,12), (2,182,70)])"
}
all_nodes {
  op: OP_NOT
  id: 708
  ir: "not.708: bits[1] = not(or.660: bits[1], id=708, pos=[(2,182,70)])"
}
all_nodes {
  node_delay_ps: 121
  op: OP_SEL
  id: 519
  ir: "sel.519: bits[11] = sel(nor.511, cases=[add.545, concat.689], id=519, pos=[(1,4499,19), (2,182,70)])"
}
all_nodes {
  op: OP_CONCAT
  id: 607
  ir: "concat.607: bits[2] = concat(or.613: bits[1], nor.738: bits[1], id=607, pos=[(2,182,70)])"
}
all_nodes {
  op: OP_LITERAL
  id: 700
  ir: "literal.700: bits[1] = literal(value=1, id=700, pos=[(1,4492,13), (2,182,70)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 582
  ir: "bit_slice.582: bits[1] = bit_slice(sel.524: bits[52], start=51, width=1, id=582, pos=[(2,182,70)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 578
  ir: "bit_slice.578: bits[51] = bit_slice(sel.524: bits[52], start=0, width=51, id=578, pos=[(2,182,70)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 681
  ir: "sign_ext.681: bits[51] = sign_ext(not.708: bits[1], new_bit_count=51, id=681, pos=[(2,182,70)])"
}
all_nodes {
  op: OP_NOT
  id: 538
  ir: "not.538: bits[1] = not(f_sign__1: bits[1], id=538, pos=[(2,182,70)])"
}
all_nodes {
  op: OP_CONCAT
  id: 606
  ir: "concat.606: bits[2] = concat(and.491: bits[1], eq.484: bits[1], id=606, pos=[(2,182,70)])"
}
all_nodes {
  node_delay_ps: 121
  op: OP_SEL
  id: 522
  ir: "sel.522: bits[11] = sel(ult.518, cases=[f_bexp__1, sel.519], id=522, pos=[(1,4497,12), (2,182,70)])"
}
all_nodes {
  node_delay_ps: 90
  op: OP_PRIORITY_SEL
  id: 583
  ir: "priority_sel.583: bits[1] = priority_sel(concat.607, cases=[literal.700, literal.475], default=bit_slice.582, id=583, pos=[(2,182,70)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 682
  ir: "and.682: bits[51] = and(bit_slice.578: bits[51], sign_ext.681: bits[51], id=682, pos=[(2,182,70)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 539
  ir: "nor.539: bits[1] = nor(nor.738: bits[1], not.538: bits[1], id=539, pos=[(2,182,70)])"
}
all_nodes {
  node_delay_ps: 142
  op: OP_PRIORITY_SEL
  id: 557
  ir: "priority_sel.557: bits[11] = priority_sel(concat.606, cases=[EXPR_MASK, literal.482], default=sel.522, id=557, pos=[(2,182,70)])"
}
all_nodes {
  op: OP_CONCAT
  id: 584
  ir: "concat.584: bits[52] = concat(priority_sel.583: bits[1], and.682: bits[51], id=584, pos=[(2,182,70)])"
}
all_nodes {
  op: OP_TUPLE
  id: 528
  ir: "tuple.528: (bits[1], bits[11], bits[52]) = tuple(nor.539: bits[1], priority_sel.557: bits[11], concat.584: bits[52], id=528, pos=[(2,182,70)])"
}