Pow x0 acos Add Pow x7 sech pi Add x0 x1 
Mul Pow x0 Add acos Add Pow x7 sech pi Add x0 x1 -1 Add acos Add Pow x7 sech pi Add x0 x1 Mul Mul x0 log x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add Pow x7 sech pi Add x0 x1 Add Pow x7 sech pi Add x0 x1 -1 