Mul Pow Add x7 acos Add Mul x3 x0 -2 Add x0 x0 Add x6 x0 
Add Mul Add x6 x0 Mul Pow Add x7 acos Add Mul x3 x0 -2 Add Add x0 x0 -1 Add Mul Add x0 x0 Mul -1 Mul x3 Pow sqrt Add 1 Mul -1 Mul Add Mul x3 x0 -2 Add Mul x3 x0 -2 -1 Mul Mul Add x7 acos Add Mul x3 x0 -2 log Add x7 acos Add Mul x3 x0 -2 2 Pow Add x7 acos Add Mul x3 x0 -2 Add x0 x0 