(3/2)/(9/2-y)=tan(pi/8)