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