Pow x0 Pow acos Mul E x0 x6 
Mul Pow x0 Add Pow acos Mul E x0 x6 -1 Add Pow acos Mul E x0 x6 Mul Mul x0 log x0 Mul Pow acos Mul E x0 Add x6 -1 Mul x6 Mul -1 Mul E Pow sqrt Add 1 Mul -1 Mul Mul E x0 Mul E x0 -1 