v / vlib / math / invhyp.v
52 lines · 48 sloc · 1.2 KB · b291d49de090b61c68a61b675964d0f6f6a9dff0
Raw
1module math
2
3import math.internal
4
5// acosh returns the non-negative area hyperbolic cosine of x
6pub fn acosh(x f64) f64 {
7 if x > 1.0 / internal.sqrt_f64_epsilon {
8 return log(x) + ln2
9 } else if x > 2.0 {
10 return log(2.0 * x - 1.0 / (sqrt(x * x - 1.0) + x))
11 } else if x > 1.0 {
12 t := x - 1.0
13 return log1p(t + sqrt(2.0 * t + t * t))
14 } else if x == 1.0 {
15 return 0.0
16 } else {
17 return nan()
18 }
19}
20
21// asinh returns the area hyperbolic sine of x
22pub fn asinh(x f64) f64 {
23 a := abs(x)
24 s := if x < 0 { -1.0 } else { 1.0 }
25 if a > 1.0 / internal.sqrt_f64_epsilon {
26 return s * (log(a) + ln2)
27 } else if a > 2.0 {
28 return s * log(2.0 * a + 1.0 / (a + sqrt(a * a + 1.0)))
29 } else if a > internal.sqrt_f64_epsilon {
30 a2 := a * a
31 return s * log1p(a + a2 / (1.0 + sqrt(1.0 + a2)))
32 } else {
33 return x
34 }
35}
36
37// atanh returns the area hyperbolic tangent of x
38pub fn atanh(x f64) f64 {
39 a := abs(x)
40 s := if x < 0 { -1.0 } else { 1.0 }
41 if a > 1.0 {
42 return nan()
43 } else if a == 1.0 {
44 return if x < 0 { inf(-1) } else { inf(1) }
45 } else if a >= 0.5 {
46 return s * 0.5 * log1p(2.0 * a / (1.0 - a))
47 } else if a > internal.f64_epsilon {
48 return s * 0.5 * log1p(2.0 * a + 2.0 * a * a / (1.0 - a))
49 } else {
50 return x
51 }
52}
53