asec Pow Mul asech pi log x0 4 
Mul Mul Pow Mul asech pi log x0 3 Mul 4 Mul asech pi Pow x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Mul asech pi log x0 4 Pow Mul asech pi log x0 4 -1 Pow Mul asech pi log x0 4 Pow Mul asech pi log x0 4 -1 