How do you prove #arccos(x/2) + arctan(x) = pi/2#?