Pow acos exp x0 Pow x0 x4 
Mul Pow acos exp x0 Add Pow x0 x4 -1 Add Mul Pow x0 x4 Mul -1 Mul exp x0 Pow sqrt Add 1 Mul -1 Mul exp x0 exp x0 -1 Mul Mul acos exp x0 log acos exp x0 Mul Pow x0 Add x4 -1 x4 