TeX:
G = \int_{0}^{1} \frac{\operatorname{acos}(x)}{\sqrt{{x}^{2} + 1}} \, dxDefinitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| ConstCatalan | Catalan's constant | |
| Integral | Integral | |
| Sqrt | Principal square root | |
| Pow | Power |
Source code for this entry:
Entry(ID("fd82ab"),
Formula(Equal(ConstCatalan, Integral(Div(Acos(x), Sqrt(Add(Pow(x, 2), 1))), For(x, 0, 1)))))