Pow Add x0 acos x7 Pow Mul x0 -2 Add 1 x0 
Mul Pow Add x0 acos x7 Add Pow Mul x0 -2 Add 1 x0 -1 Add Pow Mul x0 -2 Add 1 x0 Mul Mul Add x0 acos x7 log Add x0 acos x7 Mul Pow Mul x0 -2 Add Add 1 x0 -1 Add Mul Add 1 x0 -2 Mul Mul x0 -2 log Mul x0 -2 