Add x2 Mul asin Pow x0 Mul Mul x0 x0 x3 2 
Mul 2 Mul Mul Pow x0 Add Mul Mul x0 x0 x3 -1 Add Mul Mul x0 x0 x3 Mul Mul x0 log x0 Mul x3 Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Pow x0 Mul Mul x0 x0 x3 Pow x0 Mul Mul x0 x0 x3 -1 