Add exp Mul sqrt x0 Add Pow x3 1.38629436111989 Pow pi x0 x0 
Add Mul exp Mul sqrt x0 Add Pow x3 1.38629436111989 Pow pi x0 Add Mul Add Pow x3 1.38629436111989 Pow pi x0 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 Mul Pow pi Add x0 -1 Mul pi log pi 1 