/usr/share/openturns/validation/SinhTanh.txt is in openturns-validation 1.5-7build2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 | > diff(sinh(sinh(x)),x);
cosh(sinh(x)) cosh(x)
> evalf[25](int(exp(-x^2),x=0..infinity));
0.8862269254527580136490835
> sinh(sinh(5.));
32
0.8414240067 10
> solve(sinh(sinh(x))=1e50,x);
5.445223815
> simplify(diff(tanh(sinh(t)),t));
cosh(t)
--------------
2
cosh(sinh(t))
> convert(simplify(1+tanh(sinh(t))),exp);
> convert(simplify(1-tanh(sinh(t))),exp);
exp(1/2 exp(t) - 1/2 exp(-t))/(1/2 exp(1/2 exp(t) - 1/2 exp(-t))
+ 1/2 exp(-1/2 exp(t) + 1/2 exp(-t)))
exp(-1/2 exp(t) + 1/2 exp(-t))/(1/2 exp(1/2 exp(t) - 1/2 exp(-t))
+ 1/2 exp(-1/2 exp(t) + 1/2 exp(-t)))
> convert(simplify(diff(tanh(sinh(t)),t)),exp);
(1/2 exp(t) + 1/2 exp(-t))/(1/2 exp(1/2 exp(t) - 1/2 exp(-t))
2
+ 1/2 exp(-1/2 exp(t) + 1/2 exp(-t)))
> evalf[12](tanh(sinh(7.0*0.5)));
1.00000000000
> convert(solve(tanh(sinh(k*h))=1-eps,k),exp);
arcsinh(arctanh(-1 + eps))
- --------------------------
h
>
|