Mul Add -3 Add pi x0 acoth acos Mul coth E Add x0 x7 
Add acoth acos Mul coth E Add x0 x7 Mul Add -3 Add pi x0 Mul Mul -1 Mul coth E Pow sqrt Add 1 Mul -1 Mul Mul coth E Add x0 x7 Mul coth E Add x0 x7 -1 Pow Add 1 Mul -1 Mul acos Mul coth E Add x0 x7 acos Mul coth E Add x0 x7 -1 