How do you solve #Arc tan(1-x) - arc tanx = pi#?