TeX:
G = \int_{0}^{\pi / 2} \operatorname{asinh}\!\left(\cos(x)\right) \, dxDefinitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| ConstCatalan | Catalan's constant | |
| Integral | Integral | |
| Cos | Cosine | |
| Pi | The constant pi (3.14...) |
Source code for this entry:
Entry(ID("d6415e"),
Formula(Equal(ConstCatalan, Integral(Asinh(Cos(x)), For(x, 0, Div(Pi, 2))))))