Pow atan Add x0 asin Mul x0 3 1.98393778104695 
Mul Pow atan Add x0 asin Mul x0 3 0.983937781046950 Mul 1.98393778104695 Mul Add 1 Mul 3 Pow sqrt Add 1 Mul -1 Mul Mul x0 3 Mul x0 3 -1 Pow Add 1 Mul Add x0 asin Mul x0 3 Add x0 asin Mul x0 3 -1 