log Mul Pow x2 Pow Add x0 x7 x0 acos exp x3 
Mul Mul acos exp x3 Mul Pow x2 Add Pow Add x0 x7 x0 -1 Mul Mul x2 log x2 Mul Pow Add x0 x7 Add x0 -1 Add x0 Mul Add x0 x7 log Add x0 x7 Pow Mul Pow x2 Pow Add x0 x7 x0 acos exp x3 -1 