Mul x0 Mul x0 atan Mul coth x0 acos x6 
Add Mul x0 atan Mul coth x0 acos x6 Mul x0 Add atan Mul coth x0 acos x6 Mul x0 Mul Mul acos x6 Mul -1 Pow csch x0 2 Pow Add 1 Mul Mul coth x0 acos x6 Mul coth x0 acos x6 -1 