Mul x0 asech Pow sqrt x0 pi 
Add asech Pow sqrt x0 pi Mul x0 Mul Mul Pow sqrt x0 Add pi -1 Mul pi Pow Mul 2 sqrt x0 -1 Pow Mul Mul Pow sqrt x0 pi Pow sqrt x0 pi sqrt Add 1 Mul -1 Pow Mul Pow sqrt x0 pi Pow sqrt x0 pi -1 -1 