tan(1.5 milliradians) = x / 10000, solve for x