Mul asech Pow asec Mul -1 pi x0 Mul E x0 
Add Mul Mul E x0 Mul Mul Pow asec Mul -1 pi Add x0 -1 Mul asec Mul -1 pi log asec Mul -1 pi Pow Mul Mul Pow asec Mul -1 pi x0 Pow asec Mul -1 pi x0 sqrt Add 1 Mul -1 Pow Mul Pow asec Mul -1 pi x0 Pow asec Mul -1 pi x0 -1 -1 Mul asech Pow asec Mul -1 pi x0 E 