Nuprl Definition : inv-sinh
inv-sinh(x) == ln(x + rsqrt((x * x) + r1))
Definitions occuring in Statement :
ln: ln(a),
rsqrt: rsqrt(x),
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,
radd: a + b,
rsqrt: rsqrt(x),
ln: ln(a)
FDL editor aliases :
inv-sinh
Latex:
inv-sinh(x) == ln(x + rsqrt((x * x) + r1))
Date html generated:
2016_11_08-AM-09_09_38
Last ObjectModification:
2016_10_30-PM-07_05_51
Theory : reals_2
Home
Index