simplify the expression of required Jink