Add Pow x0 pi Mul coth x7 sech asin Mul Add x0 Add x0 Add x0 -4 sqrt E 
Add Mul Pow x0 Add pi -1 pi Mul coth x7 Mul Mul tanh asin Mul Add x0 Add x0 Add x0 -4 sqrt E Mul -1 sech asin Mul Add x0 Add x0 Add x0 -4 sqrt E Mul Mul sqrt E 3 Pow sqrt Add 1 Mul -1 Mul Mul Add x0 Add x0 Add x0 -4 sqrt E Mul Add x0 Add x0 Add x0 -4 sqrt E -1 