Mul acosh atanh sin x0 coth x0 
Add Mul coth x0 Mul Mul cos x0 Pow Add 1 Mul -1 Mul sin x0 sin x0 -1 Pow Mul sqrt Add atanh sin x0 -1 sqrt Add 1 atanh sin x0 -1 Mul acosh atanh sin x0 Mul -1 Pow csch x0 2 