Mul asin Add tan log x0 x6 tan Mul Pow pi Add x0 pi x0 
Add Mul tan Mul Pow pi Add x0 pi x0 Mul Mul Pow sec log x0 2 Pow x0 -1 Pow sqrt Add 1 Mul -1 Mul Add tan log x0 x6 Add tan log x0 x6 -1 Mul asin Add tan log x0 x6 Mul Pow sec Mul Pow pi Add x0 pi x0 2 Add Mul x0 Mul Pow pi Add Add x0 pi -1 Mul pi log pi Pow pi Add x0 pi 