Mul exp x0 acos Pow exp Add Mul -4 Add x6 3 pi x0 
Add Mul acos Pow exp Add Mul -4 Add x6 3 pi x0 exp x0 Mul exp x0 Mul -1 Mul Mul Pow exp Add Mul -4 Add x6 3 pi Add x0 -1 Mul exp Add Mul -4 Add x6 3 pi log exp Add Mul -4 Add x6 3 pi Pow sqrt Add 1 Mul -1 Mul Pow exp Add Mul -4 Add x6 3 pi x0 Pow exp Add Mul -4 Add x6 3 pi x0 -1 