Pow pi Add asech Mul exp x0 x5 Mul -4 x0 
Mul Pow pi Add Add asech Mul exp x0 x5 Mul -4 x0 -1 Mul Mul pi log pi Add Mul Mul x5 exp x0 Pow Mul Mul Mul exp x0 x5 Mul exp x0 x5 sqrt Add 1 Mul -1 Pow Mul Mul exp x0 x5 Mul exp x0 x5 -1 -1 -4 