sinh Add x0 asinh Pow acosh atanh x5 x0 
Mul cosh Add x0 asinh Pow acosh atanh x5 x0 Add 1 Mul Mul Pow acosh atanh x5 Add x0 -1 Mul acosh atanh x5 log acosh atanh x5 Pow sqrt Add 1 Mul Pow acosh atanh x5 x0 Pow acosh atanh x5 x0 -1 