TeX:
\pi = 8 \operatorname{atan}\!\left(\frac{1}{2}\right) - 4 \operatorname{atan}\!\left(\frac{1}{7}\right)Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| Pi | The constant pi (3.14...) | |
| Atan | Inverse tangent |
Source code for this entry:
Entry(ID("b1357b"),
Formula(Equal(Pi, Sub(Mul(8, Atan(Div(1, 2))), Mul(4, Atan(Div(1, 7)))))))