Trigonometric constants expressed in real radicals

Summary