sin acos log acoth cosh x0 
Mul cos acos log acoth cosh x0 Mul -1 Mul Mul Mul sinh x0 Pow Add 1 Mul -1 Mul cosh x0 cosh x0 -1 Pow acoth cosh x0 -1 Pow sqrt Add 1 Mul -1 Mul log acoth cosh x0 log acoth cosh x0 -1 