Add x0 Pow acot Add Pow x0 asin Mul -1 x1 x0 2 
Add 1 Mul acot Add Pow x0 asin Mul -1 x1 x0 Mul 2 Mul -1 Mul Add Mul Pow x0 Add asin Mul -1 x1 -1 asin Mul -1 x1 1 Pow Add 1 Mul Add Pow x0 asin Mul -1 x1 x0 Add Pow x0 asin Mul -1 x1 x0 -1 