Mul x0 Add Pow Pow Add x0 x0 atan Add coth x0 -4 atanh x6 x7 
Add Add Pow Pow Add x0 x0 atan Add coth x0 -4 atanh x6 x7 Mul x0 Mul Pow Pow Add x0 x0 atan Add coth x0 -4 Add atanh x6 -1 Mul atanh x6 Mul Pow Add x0 x0 Add atan Add coth x0 -4 -1 Add Mul atan Add coth x0 -4 2 Mul Mul Add x0 x0 log Add x0 x0 Mul Mul -1 Pow csch x0 2 Pow Add 1 Mul Add coth x0 -4 Add coth x0 -4 -1 