Add Mul sqrt x7 Pow Pow x0 x0 acos E Mul Add Pow Add x0 x0 0.756802495307928 -3 -3 
Add Mul sqrt x7 Mul Pow Pow x0 x0 Add acos E -1 Mul acos E Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul -3 Mul Pow Add x0 x0 -0.243197504692072 2.75680249530793 