sin(pi/24)*cos(3*pi/24) + cos(pi/24)*sin(3*pi/24)