(cos π/12-sin π/12)(cosπ/12 + sin π/12)
= cos^2(pi/12) - sin^2(pi/12) = cos(2* pi/12) = cos(pi/6) = sgrt3/2