solve arctanx + arccosx = pi/4