arcsin(3/4) + arctan(1/7) = pi/4