Mul cos x3 coth Add Mul Mul 4 x0 x6 Pow Pow Mul -4 x0 -1 x0 
Mul cos x3 Mul Mul -1 Pow csch Add Mul Mul 4 x0 x6 Pow Pow Mul -4 x0 -1 x0 2 Add Mul x6 4 Mul Pow Pow Mul -4 x0 -1 Add x0 -1 Add Mul x0 Mul Pow Mul -4 x0 2 5 Mul Pow Mul -4 x0 -1 log Pow Mul -4 x0 -1 