Symbol: PBF_REG_COS1_UPPER_BOUND