Add Mul x0 Mul acot Add acos x0 Add x0 sin x2 x2 x0 
Add Add Mul acot Add acos x0 Add x0 sin x2 x2 Mul x0 Mul x2 Mul -1 Mul Add Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 Pow Add 1 Mul Add acos x0 Add x0 sin x2 Add acos x0 Add x0 sin x2 -1 1 