Mul Mul x0 Mul -4 Pow x5 asec Pow Pow x0 2 2 sqrt pi 
Mul sqrt pi Add Mul -4 Pow x5 asec Pow Pow x0 2 2 Mul x0 Mul -4 Mul Pow x5 Add asec Pow Pow x0 2 2 -1 Mul Mul x5 log x5 Mul Mul Pow x0 2 Mul 2 Mul x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Pow x0 2 2 Pow Pow x0 2 2 -1 Pow Pow x0 2 2 Pow Pow x0 2 2 -1 