Aratati ca cos^2 45* - sin^2 30* = 1/4