cos^2 75° = sin^2 15°