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