solve for y: tan(x) = 1/tan(y)