Mul coth acosh Add x3 Add x0 sech Pow 5 x5 cosh x1 
Mul cosh x1 Mul Mul -1 Pow csch acosh Add x3 Add x0 sech Pow 5 x5 2 Pow Mul sqrt Add Add x3 Add x0 sech Pow 5 x5 -1 sqrt Add 1 Add x3 Add x0 sech Pow 5 x5 -1 