atan Add asec Pow log Mul log x0 Mul x0 x0 -4 pi 
Mul Mul Mul Pow log Mul log x0 Mul x0 x0 5 Mul -4 Mul Add Mul Mul x0 x0 Pow x0 -1 Mul log x0 Add x0 x0 Pow Mul log x0 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow log Mul log x0 Mul x0 x0 -4 Pow log Mul log x0 Mul x0 x0 -4 -1 Pow log Mul log x0 Mul x0 x0 -4 Pow log Mul log x0 Mul x0 x0 -4 -1 Pow Add 1 Mul Add asec Pow log Mul log x0 Mul x0 x0 -4 pi Add asec Pow log Mul log x0 Mul x0 x0 -4 pi -1 