Nuprl Definition : arcsine_deriv
arcsine_deriv(x) == (r1/rsqrt(r1 - x * x))
Definitions occuring in Statement :
rsqrt: rsqrt(x),
rdiv: (x/y),
rsub: x - y,
rmul: a * b,
int-to-real: r(n),
natural_number: $n
Definitions occuring in definition :
rmul: a * b,
natural_number: $n,
int-to-real: r(n),
rsub: x - y,
rsqrt: rsqrt(x),
rdiv: (x/y)
FDL editor aliases :
arcsine_deriv
Latex:
arcsine\_deriv(x) == (r1/rsqrt(r1 - x * x))
Date html generated:
2016_10_26-PM-00_41_03
Last ObjectModification:
2016_09_12-PM-05_45_18
Theory : reals_2
Home
Index