Crlibm.RoundDown
val exp : float -> float
val expm1 : float -> float
expm1 x returns exp x -. 1. in a way that is accurate even for values of x near zero.
expm1 x
exp x -. 1.
x
val log : float -> float
val log1p : float -> float
log1p x returns log(x +. 1.) in a way that is accurate even for values of x near zero.
log1p x
log(x +. 1.)
val cos : float -> float
val sin : float -> float
val tan : float -> float
val cospi : float -> float
cospi x returns cos(π·x).
cospi x
cos(π·x)
val sinpi : float -> float
sinpi x returns sin(π·x).
sinpi x
sin(π·x)
val tanpi : float -> float
tanpi x returns tan(π·x).
tanpi x
tan(π·x)
val asin : float -> float
val acos : float -> float
val atan : float -> float
val asinpi : float -> float
asinpi x returns (asin x)/π ∈ [-0.5, 0.5].
asinpi x
(asin x)/π
val acospi : float -> float
acospi x returns (acos x)/π ∈ [0., 1.].
acospi x
(acos x)/π
val atanpi : float -> float
atanpi x returns (atan x)/π ∈ [-0.5, 0.5].
atanpi x
(atan x)/π
val cosh : float -> float
val sinh : float -> float
val log2 : float -> float
val log10 : float -> float