Fungrim entry: 3da9b7

\left[ \frac{d}{d x}\, \operatorname{agm}\!\left(1, x\right) \right]_{x = 1} = \frac{1}{2}

TeX:

\left[ \frac{d}{d x}\, \operatorname{agm}\!\left(1, x\right) \right]_{x = 1} = \frac{1}{2}

Definitions:

Fungrim symbol	Notation	Short description
`ComplexDerivative`	$\frac{d}{d z}\, f\!\left(z\right)$	Complex derivative
`AGM`	$\operatorname{agm}\!\left(a, b\right)$	Arithmetic-geometric mean

Source code for this entry:

Entry(ID("3da9b7"),
    Formula(Equal(ComplexDerivative(AGM(1, x), For(x, 1)), Div(1, 2))))

Topics using this entry

2021-03-15 19:12:00.328586 UTC