Mul x0 atanh Pow x2 csch sin x0 
Add atanh Pow x2 csch sin x0 Mul x0 Mul Mul Pow x2 Add csch sin x0 -1 Mul Mul x2 log x2 Mul Mul Mul -1 coth sin x0 csch sin x0 cos x0 Pow Add 1 Mul -1 Mul Pow x2 csch sin x0 Pow x2 csch sin x0 -1 