asec Pow exp Add E Mul E x4 coth x0 
Mul Mul Pow exp Add E Mul E x4 Add coth x0 -1 Mul Mul exp Add E Mul E x4 log exp Add E Mul E x4 Mul -1 Pow csch x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow exp Add E Mul E x4 coth x0 Pow exp Add E Mul E x4 coth x0 -1 Pow exp Add E Mul E x4 coth x0 Pow exp Add E Mul E x4 coth x0 -1 