TeX:
G = \int_{0}^{1} \frac{\operatorname{asinh}(x)}{\sqrt{1 - {x}^{2}}} \, dx
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
ConstCatalan | Catalan's constant | |
Integral | Integral | |
Sqrt | Principal square root | |
Pow | Power |
Source code for this entry:
Entry(ID("38c2d5"), Formula(Equal(ConstCatalan, Integral(Div(Asinh(x), Sqrt(Sub(1, Pow(x, 2)))), For(x, 0, 1)))))