Mul -2 Mul sqrt coth Add x5 Pow Mul Mul -1 cos x6 x0 x4 Mul x2 atanh x0 
Mul -2 Add Mul Mul x2 atanh x0 Mul Pow Mul 2 sqrt coth Add x5 Pow Mul Mul -1 cos x6 x0 x4 -1 Mul Mul -1 Pow csch Add x5 Pow Mul Mul -1 cos x6 x0 x4 2 Mul Pow Mul Mul -1 cos x6 x0 Add x4 -1 Mul x4 Mul -1 cos x6 Mul sqrt coth Add x5 Pow Mul Mul -1 cos x6 x0 x4 Mul x2 Pow Add 1 Mul -1 Mul x0 x0 -1 