combinational_critical_path {
  total_delay_ps: 1626
  nodes {
    total_delay_ps: 1626
    op: OP_TUPLE
    id: 530
    ir: "tuple.530: (bits[1], bits[11], bits[52]) = tuple(nor.541: bits[1], priority_sel.561: bits[11], concat.588: bits[52], id=530, pos=[(2,178,68)])"
  }
  nodes {
    total_delay_ps: 1626
    node_delay_ps: 142
    op: OP_PRIORITY_SEL
    id: 561
    ir: "priority_sel.561: bits[11] = priority_sel(concat.610, cases=[EXPR_MASK, literal.484], default=sel.524, id=561, pos=[(2,178,68)])"
  }
  nodes {
    total_delay_ps: 1484
    node_delay_ps: 121
    op: OP_SEL
    id: 524
    ir: "sel.524: bits[11] = sel(ult.520, cases=[f_bexp__1, sel.521], id=524, pos=[(1,4291,12), (2,178,68)])"
  }
  nodes {
    total_delay_ps: 1363
    node_delay_ps: 121
    op: OP_SEL
    id: 521
    ir: "sel.521: bits[11] = sel(nor.513, cases=[add.547, concat.695], id=521, pos=[(1,4293,19), (2,178,68)])"
  }
  nodes {
    total_delay_ps: 1242
    node_delay_ps: 245
    op: OP_ADD
    id: 547
    ir: "add.547: bits[11] = add(f_bexp__1: bits[11], concat.609: bits[11], id=547)"
  }
  nodes {
    total_delay_ps: 997
    op: OP_CONCAT
    id: 609
    ir: "concat.609: bits[11] = concat(literal.489: bits[10], nor.670: bits[1], id=609)"
  }
  nodes {
    total_delay_ps: 997
    node_delay_ps: 27
    op: OP_NOR
    id: 670
    ir: "nor.670: bits[1] = nor(f_sign__1: bits[1], not.669: bits[1], id=670)"
  }
  nodes {
    total_delay_ps: 970
    op: OP_NOT
    id: 669
    ir: "not.669: bits[1] = not(bit_slice.490: bits[1], id=669)"
  }
  nodes {
    total_delay_ps: 970
    op: OP_BIT_SLICE
    id: 490
    ir: "bit_slice.490: bits[1] = bit_slice(fraction_up__2: bits[53], start=52, width=1, id=490, pos=[(1,4262,46), (1,4303,45), (2,178,68)])"
  }
  nodes {
    total_delay_ps: 970
    node_delay_ps: 415
    op: OP_ADD
    id: 485
    ir: "fraction_up__2: bits[53] = add(concat.480: bits[53], concat.481: bits[53], id=485, pos=[(1,4259,9), (1,4303,45), (2,178,68)])"
  }
  nodes {
    total_delay_ps: 555
    op: OP_CONCAT
    id: 481
    ir: "concat.481: bits[53] = concat(literal.477: bits[1], fractional_mask__1: bits[52], id=481, pos=[(1,4303,45), (2,178,68)])"
  }
  nodes {
    total_delay_ps: 555
    node_delay_ps: 293
    op: OP_SHRL
    id: 479
    ir: "fractional_mask__1: bits[52] = shrl(literal.475: bits[52], sign_ext.476: bits[32], id=479, pos=[(1,4240,40), (1,4303,45), (2,178,68)])"
  }
  nodes {
    total_delay_ps: 262
    node_delay_ps: 17
    op: OP_SIGN_EXT
    id: 476
    ir: "sign_ext.476: bits[32] = sign_ext(exp__1: bits[11], new_bit_count=32, id=476, pos=[(1,4303,45), (2,178,68)])"
  }
  nodes {
    total_delay_ps: 245
    node_delay_ps: 245
    op: OP_ADD
    id: 474
    ir: "exp__1: bits[11] = add(f_bexp__1: bits[11], literal.473: bits[11], id=474, pos=[(1,266,6), (1,4238,31), (1,4303,45), (2,178,68)])"
  }
  nodes {
    op: OP_LITERAL
    id: 473
    ir: "literal.473: bits[11] = literal(value=1025, id=473, pos=[(1,266,6), (1,4238,31), (1,4303,45), (2,178,68)])"
  }
}
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: 472
  ir: "f_bexp__1: bits[11] = tuple_index(f: (bits[1], bits[11], bits[52]), index=1, id=472, pos=[(1,266,6), (1,4238,31), (1,4303,45), (2,178,68)])"
}
all_nodes {
  op: OP_LITERAL
  id: 473
  ir: "literal.473: bits[11] = literal(value=1025, id=473, pos=[(1,266,6), (1,4238,31), (1,4303,45), (2,178,68)])"
}
all_nodes {
  node_delay_ps: 245
  op: OP_ADD
  id: 474
  ir: "exp__1: bits[11] = add(f_bexp__1: bits[11], literal.473: bits[11], id=474, pos=[(1,266,6), (1,4238,31), (1,4303,45), (2,178,68)])"
}
all_nodes {
  op: OP_LITERAL
  id: 475
  ir: "literal.475: bits[52] = literal(value=4503599627370495, id=475, pos=[(1,4240,40), (1,4303,45), (2,178,68)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 476
  ir: "sign_ext.476: bits[32] = sign_ext(exp__1: bits[11], new_bit_count=32, id=476, pos=[(1,4303,45), (2,178,68)])"
}
all_nodes {
  op: OP_LITERAL
  id: 477
  ir: "literal.477: bits[1] = literal(value=0, id=477, pos=[(1,4303,45), (2,178,68)])"
}
all_nodes {
  op: OP_TUPLE_INDEX
  id: 478
  ir: "f_fraction__1: bits[52] = tuple_index(f: (bits[1], bits[11], bits[52]), index=2, id=478, pos=[(1,4259,9), (1,4303,45), (2,178,68)])"
}
all_nodes {
  node_delay_ps: 293
  op: OP_SHRL
  id: 479
  ir: "fractional_mask__1: bits[52] = shrl(literal.475: bits[52], sign_ext.476: bits[32], id=479, pos=[(1,4240,40), (1,4303,45), (2,178,68)])"
}
all_nodes {
  op: OP_CONCAT
  id: 480
  ir: "concat.480: bits[53] = concat(literal.477: bits[1], f_fraction__1: bits[52], id=480, pos=[(1,4303,45), (2,178,68)])"
}
all_nodes {
  op: OP_CONCAT
  id: 481
  ir: "concat.481: bits[53] = concat(literal.477: bits[1], fractional_mask__1: bits[52], id=481, pos=[(1,4303,45), (2,178,68)])"
}
all_nodes {
  node_delay_ps: 415
  op: OP_ADD
  id: 485
  ir: "fraction_up__2: bits[53] = add(concat.480: bits[53], concat.481: bits[53], id=485, pos=[(1,4259,9), (1,4303,45), (2,178,68)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 491
  ir: "bit_slice.491: bits[52] = bit_slice(fraction_up__2: bits[53], start=0, width=52, id=491, pos=[(1,4264,39), (1,4303,45), (2,178,68)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 494
  ir: "bit_slice.494: bits[10] = bit_slice(f_bexp__1: bits[11], start=0, width=10, id=494, pos=[(1,4219,5), (1,4293,43), (2,178,68)])"
}
all_nodes {
  op: OP_LITERAL
  id: 484
  ir: "literal.484: bits[11] = literal(value=0, id=484, pos=[(1,41,9), (1,4286,13), (2,178,68)])"
}
all_nodes {
  op: OP_LITERAL
  id: 483
  ir: "literal.483: bits[52] = literal(value=0, id=483, pos=[(1,43,20), (1,4286,13), (2,178,68)])"
}
all_nodes {
  op: OP_LITERAL
  id: 482
  ir: "EXPR_MASK: bits[11] = literal(value=2047, id=482, pos=[(1,39,36), (1,4286,13), (2,178,68)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 490
  ir: "bit_slice.490: bits[1] = bit_slice(fraction_up__2: bits[53], start=52, width=1, id=490, pos=[(1,4262,46), (1,4303,45), (2,178,68)])"
}
all_nodes {
  op: OP_NOT
  id: 496
  ir: "not.496: bits[52] = not(bit_slice.491: bits[52], id=496, pos=[(1,4264,39), (1,4303,45), (2,178,68)])"
}
all_nodes {
  op: OP_NOT
  id: 497
  ir: "not.497: bits[52] = not(f_fraction__1: bits[52], id=497, pos=[(1,4276,29), (1,4306,47), (2,178,68)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 504
  ir: "bit_slice.504: bits[1] = bit_slice(f_bexp__1: bits[11], start=10, width=1, id=504, pos=[(1,4219,5), (1,4293,43), (2,178,68)])"
}
all_nodes {
  node_delay_ps: 73
  op: OP_AND_REDUCE
  id: 505
  ir: "and_reduce.505: bits[1] = and_reduce(bit_slice.494: bits[10], id=505, pos=[(1,4219,5), (1,4293,43), (2,178,68)])"
}
all_nodes {
  node_delay_ps: 105
  op: OP_EQ
  id: 488
  ir: "eq.488: bits[1] = eq(f_bexp__1: bits[11], literal.484: bits[11], id=488, pos=[(1,4286,13), (2,178,68)])"
}
all_nodes {
  node_delay_ps: 154
  op: OP_EQ
  id: 487
  ir: "eq.487: bits[1] = eq(f_fraction__1: bits[52], literal.483: bits[52], id=487, pos=[(1,4286,13), (2,178,68)])"
}
all_nodes {
  node_delay_ps: 105
  op: OP_EQ
  id: 486
  ir: "eq.486: bits[1] = eq(f_bexp__1: bits[11], EXPR_MASK: bits[11], id=486, pos=[(1,4286,13), (2,178,68)])"
}
all_nodes {
  op: OP_TUPLE_INDEX
  id: 506
  ir: "f_sign__1: bits[1] = tuple_index(f: (bits[1], bits[11], bits[52]), index=0, id=506, pos=[(1,4265,21), (1,4303,45), (2,178,68)])"
}
all_nodes {
  op: OP_NOT
  id: 669
  ir: "not.669: bits[1] = not(bit_slice.490: bits[1], id=669)"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 509
  ir: "fraction_integral__4: bits[52] = nor(not.496: bits[52], fractional_mask__1: bits[52], id=509, pos=[(1,4264,39), (1,4303,45), (2,178,68)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 510
  ir: "fraction_integral__2: bits[52] = nor(not.497: bits[52], fractional_mask__1: bits[52], id=510, pos=[(1,4276,29), (1,4306,47), (2,178,68)])"
}
all_nodes {
  node_delay_ps: 19
  op: OP_OR
  id: 628
  ir: "or.628: bits[1] = or(bit_slice.504: bits[1], and_reduce.505: bits[1], id=628, pos=[(1,4293,19), (2,178,68)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 493
  ir: "and.493: bits[1] = and(eq.488: bits[1], eq.487: bits[1], id=493, pos=[(1,4286,13), (2,178,68)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 492
  ir: "and.492: bits[1] = and(eq.486: bits[1], eq.487: bits[1], id=492, pos=[(1,4286,13), (2,178,68)])"
}
all_nodes {
  op: OP_NOT
  id: 741
  ir: "not.741: bits[1] = not(eq.486: bits[1], id=741, pos=[(2,178,68)])"
}
all_nodes {
  op: OP_LITERAL
  id: 489
  ir: "literal.489: bits[10] = literal(value=0, id=489, pos=[(1,4303,45), (2,178,68)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 670
  ir: "nor.670: bits[1] = nor(f_sign__1: bits[1], not.669: bits[1], id=670)"
}
all_nodes {
  op: OP_NOT
  id: 548
  ir: "not.548: bits[1] = not(f_sign__1: bits[1], id=548)"
}
all_nodes {
  op: OP_LITERAL
  id: 512
  ir: "literal.512: bits[11] = literal(value=1075, id=512, pos=[(1,4192,17), (1,4291,35), (2,178,68)])"
}
all_nodes {
  node_delay_ps: 151
  op: OP_SEL
  id: 516
  ir: "sel.516: bits[52] = sel(f_sign__1, cases=[fraction_integral__4, fraction_integral__2], id=516, pos=[(1,4301,19), (2,178,68)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 555
  ir: "sign_ext.555: bits[52] = sign_ext(or.628: bits[1], new_bit_count=52, id=555, pos=[(1,4293,19), (2,178,68)])"
}
all_nodes {
  node_delay_ps: 19
  op: OP_OR
  id: 617
  ir: "or.617: bits[1] = or(and.493: bits[1], and.492: bits[1], id=617, pos=[(2,178,68)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 744
  ir: "nor.744: bits[1] = nor(not.741: bits[1], eq.487: bits[1], id=744, pos=[(2,178,68)])"
}
all_nodes {
  op: OP_CONCAT
  id: 609
  ir: "concat.609: bits[11] = concat(literal.489: bits[10], nor.670: bits[1], id=609)"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 691
  ir: "sign_ext.691: bits[10] = sign_ext(not.548: bits[1], new_bit_count=10, id=691, pos=[(1,4294,16), (2,178,68)])"
}
all_nodes {
  node_delay_ps: 147
  op: OP_ULT
  id: 520
  ir: "ult.520: bits[1] = ult(f_bexp__1: bits[11], literal.512: bits[11], id=520, pos=[(1,4192,5), (1,4291,35), (2,178,68)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 556
  ir: "and.556: bits[52] = and(sel.516: bits[52], sign_ext.555: bits[52], id=556, pos=[(1,4293,19), (2,178,68)])"
}
all_nodes {
  node_delay_ps: 19
  op: OP_OR
  id: 664
  ir: "or.664: bits[1] = or(or.617: bits[1], nor.744: bits[1], id=664, pos=[(2,178,68)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 513
  ir: "nor.513: bits[1] = nor(bit_slice.504: bits[1], and_reduce.505: bits[1], id=513, pos=[(1,4219,5), (1,4293,43), (2,178,68)])"
}
all_nodes {
  node_delay_ps: 245
  op: OP_ADD
  id: 547
  ir: "add.547: bits[11] = add(f_bexp__1: bits[11], concat.609: bits[11], id=547)"
}
all_nodes {
  op: OP_CONCAT
  id: 695
  ir: "concat.695: bits[11] = concat(literal.477: bits[1], sign_ext.691: bits[10], id=695, pos=[(1,4294,16), (2,178,68)])"
}
all_nodes {
  node_delay_ps: 151
  op: OP_SEL
  id: 526
  ir: "sel.526: bits[52] = sel(ult.520, cases=[f_fraction__1, and.556], id=526, pos=[(1,4291,12), (2,178,68)])"
}
all_nodes {
  op: OP_NOT
  id: 714
  ir: "not.714: bits[1] = not(or.664: bits[1], id=714, pos=[(2,178,68)])"
}
all_nodes {
  node_delay_ps: 121
  op: OP_SEL
  id: 521
  ir: "sel.521: bits[11] = sel(nor.513, cases=[add.547, concat.695], id=521, pos=[(1,4293,19), (2,178,68)])"
}
all_nodes {
  op: OP_CONCAT
  id: 611
  ir: "concat.611: bits[2] = concat(or.617: bits[1], nor.744: bits[1], id=611, pos=[(2,178,68)])"
}
all_nodes {
  op: OP_LITERAL
  id: 706
  ir: "literal.706: bits[1] = literal(value=1, id=706, pos=[(1,4286,13), (2,178,68)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 586
  ir: "bit_slice.586: bits[1] = bit_slice(sel.526: bits[52], start=51, width=1, id=586, pos=[(2,178,68)])"
}
all_nodes {
  op: OP_BIT_SLICE
  id: 582
  ir: "bit_slice.582: bits[51] = bit_slice(sel.526: bits[52], start=0, width=51, id=582, pos=[(2,178,68)])"
}
all_nodes {
  node_delay_ps: 17
  op: OP_SIGN_EXT
  id: 687
  ir: "sign_ext.687: bits[51] = sign_ext(not.714: bits[1], new_bit_count=51, id=687, pos=[(2,178,68)])"
}
all_nodes {
  op: OP_CONCAT
  id: 610
  ir: "concat.610: bits[2] = concat(and.493: bits[1], eq.486: bits[1], id=610, pos=[(2,178,68)])"
}
all_nodes {
  node_delay_ps: 121
  op: OP_SEL
  id: 524
  ir: "sel.524: bits[11] = sel(ult.520, cases=[f_bexp__1, sel.521], id=524, pos=[(1,4291,12), (2,178,68)])"
}
all_nodes {
  node_delay_ps: 90
  op: OP_PRIORITY_SEL
  id: 587
  ir: "priority_sel.587: bits[1] = priority_sel(concat.611, cases=[literal.706, literal.477], default=bit_slice.586, id=587, pos=[(2,178,68)])"
}
all_nodes {
  node_delay_ps: 23
  op: OP_AND
  id: 688
  ir: "and.688: bits[51] = and(bit_slice.582: bits[51], sign_ext.687: bits[51], id=688, pos=[(2,178,68)])"
}
all_nodes {
  node_delay_ps: 27
  op: OP_NOR
  id: 541
  ir: "nor.541: bits[1] = nor(nor.744: bits[1], not.548: bits[1], id=541, pos=[(2,178,68)])"
}
all_nodes {
  node_delay_ps: 142
  op: OP_PRIORITY_SEL
  id: 561
  ir: "priority_sel.561: bits[11] = priority_sel(concat.610, cases=[EXPR_MASK, literal.484], default=sel.524, id=561, pos=[(2,178,68)])"
}
all_nodes {
  op: OP_CONCAT
  id: 588
  ir: "concat.588: bits[52] = concat(priority_sel.587: bits[1], and.688: bits[51], id=588, pos=[(2,178,68)])"
}
all_nodes {
  op: OP_TUPLE
  id: 530
  ir: "tuple.530: (bits[1], bits[11], bits[52]) = tuple(nor.541: bits[1], priority_sel.561: bits[11], concat.588: bits[52], id=530, pos=[(2,178,68)])"
}