Mul x0 Pow Add x0 acot Mul 2 x3 asin x0 
Add Pow Add x0 acot Mul 2 x3 asin x0 Mul x0 Mul Pow Add x0 acot Mul 2 x3 Add asin x0 -1 Add asin x0 Mul Mul Add x0 acot Mul 2 x3 log Add x0 acot Mul 2 x3 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 