modif canonicaly to lift toward input abs throught mul and true_div. This allow the canonicalizer simplier check_for_x_over_absX to cover more case.