sin(pi/12)*cos(7pi/12) - cos(pi/12)*sin(7pi/12)