Nuprl Definition : inv-cosh
inv-cosh(x) == ln(x + rsqrt((x * x) - r1))
Definitions occuring in Statement :
ln: ln(a),
rsqrt: rsqrt(x),
rsub: x - y,
rmul: a * b,
radd: a + b,
int-to-real: r(n),
natural_number: $n
Definitions occuring in definition :
natural_number: $n,
int-to-real: r(n),
rmul: a * b,
rsub: x - y,
rsqrt: rsqrt(x),
radd: a + b,
ln: ln(a)
FDL editor aliases :
inv-cosh
Latex:
inv-cosh(x) == ln(x + rsqrt((x * x) - r1))
Date html generated:
2016_11_08-AM-09_10_11
Last ObjectModification:
2016_10_30-PM-07_25_35
Theory : reals_2
Home
Index