exp Add Mul Add x2 Mul x0 x0 acos x0 acot Add x0 x0 
Mul exp Add Mul Add x2 Mul x0 x0 acos x0 acot Add x0 x0 Add Add Mul acos x0 Add x0 x0 Mul Add x2 Mul x0 x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul -1 Mul 2 Pow Add 1 Mul Add x0 x0 Add x0 x0 -1 