Pow atanh Pow x0 pi sec Add -4 Mul Pow cosh pi pi E 
Mul Pow atanh Pow x0 pi Add sec Add -4 Mul Pow cosh pi pi E -1 Mul sec Add -4 Mul Pow cosh pi pi E Mul Mul Pow x0 Add pi -1 pi Pow Add 1 Mul -1 Mul Pow x0 pi Pow x0 pi -1 