Mul x0 Pow Mul acos x2 exp Mul x0 x5 Pow x0 2 
Add Pow Mul acos x2 exp Mul x0 x5 Pow x0 2 Mul x0 Mul Pow Mul acos x2 exp Mul x0 x5 Add Pow x0 2 -1 Add Mul Pow x0 2 Mul acos x2 Mul exp Mul x0 x5 x5 Mul Mul Mul acos x2 exp Mul x0 x5 log Mul acos x2 exp Mul x0 x5 Mul x0 2 