cos(5π/8)*cosπ/8