(cosπ/8+sinπ/8)(cos3π/8-sin3π/8)