Mul Mul Pow x0 Mul x0 pi x0 Add Pow Add Add x0 -1 sech Pow E acos x7 log coth x3 pi 
Add Mul Add Pow Add Add x0 -1 sech Pow E acos x7 log coth x3 pi Add Mul x0 Mul Pow x0 Add Mul x0 pi -1 Add Mul x0 pi Mul Mul x0 log x0 pi Pow x0 Mul x0 pi Mul Mul Pow x0 Mul x0 pi x0 Mul Pow Add Add x0 -1 sech Pow E acos x7 Add log coth x3 -1 log coth x3 