sinh Mul sqrt tan asinh x3 Add acos Add x0 x2 asinh x0 
Mul cosh Mul sqrt tan asinh x3 Add acos Add x0 x2 asinh x0 Mul sqrt tan asinh x3 Add Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x0 x2 Add x0 x2 -1 Pow sqrt Add 1 Mul x0 x0 -1 