cos(π/12)