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