Add Pow x0 Add x0 Mul E x0 Add x7 Add Add Add Add x0 x0 Mul csch x0 -4 x0 pi 
Add Mul Pow x0 Add Add x0 Mul E x0 -1 Add Add x0 Mul E x0 Mul Mul x0 log x0 Add 1 E Add Add 2 Mul -4 Mul Mul -1 coth x0 csch x0 1 