((sin(3pi/8))^2 - (sin(pi/8))^2) / ((sin(pi/12))*sin(5pi/12))