Pow Add log acos log x0 x7 sec Pow pi x0 
Mul Pow Add log acos log x0 x7 Add sec Pow pi x0 -1 Add Mul sec Pow pi x0 Mul Mul -1 Mul Pow x0 -1 Pow sqrt Add 1 Mul -1 Mul log x0 log x0 -1 Pow acos log x0 -1 Mul Mul Add log acos log x0 x7 log Add log acos log x0 x7 Mul Mul tan Pow pi x0 sec Pow pi x0 Mul Pow pi Add x0 -1 Mul pi log pi 