Add x0 Add Add Mul x2 3 Pow asin x0 Mul Add x0 x0 x4 -0.850918128239322 
Add 1 Mul Pow asin x0 Add Mul Add x0 x0 x4 -1 Add Mul Mul Add x0 x0 x4 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul asin x0 log asin x0 Mul x4 2 