1-2sin²π/8=sinπ/4