TeX:
F\!\left(\frac{\pi}{3}, 1\right) = \log\!\left(2 + \sqrt{3}\right)Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| IncompleteEllipticF | Legendre incomplete elliptic integral of the first kind | |
| Pi | The constant pi (3.14...) | |
| Log | Natural logarithm | |
| Sqrt | Principal square root |
Source code for this entry:
Entry(ID("c584c3"),
Formula(Equal(IncompleteEllipticF(Div(Pi, 3), 1), Log(Add(2, Sqrt(3))))))