inverse_trig_and_right