cos Pow Mul 2 Mul x0 x7 coth x0 
Mul Mul -1 sin Pow Mul 2 Mul x0 x7 coth x0 Mul Pow Mul 2 Mul x0 x7 Add coth x0 -1 Add Mul coth x0 Mul 2 x7 Mul Mul Mul 2 Mul x0 x7 log Mul 2 Mul x0 x7 Mul -1 Pow csch x0 2 