Mul 3 Pow x2 Pow 0.250000000000000 asin x0 
Mul 3 Mul Pow x2 Add Pow 0.250000000000000 asin x0 -1 Mul Mul x2 log x2 Mul Pow 0.250000000000000 Add asin x0 -1 Mul -1.13629436111989 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 