Add Add asin sqrt Add 1 Mul Pow x0 -3 x5 Mul Add x3 x0 x0 x0 
Add Add Mul Mul Pow Mul 2 sqrt Add 1 Mul Pow x0 -3 x5 -1 Mul x5 Mul Pow x0 4 -3 Pow sqrt Add 1 Mul -1 Mul sqrt Add 1 Mul Pow x0 -3 x5 sqrt Add 1 Mul Pow x0 -3 x5 -1 Add x0 Add x3 x0 1 