Add Mul asin Add x0 Pow Mul x1 2 Add x0 x4 3 -4 
Mul 3 Mul Add 1 Mul Pow Mul x1 2 Add Add x0 x4 -1 Mul Mul x1 2 log Mul x1 2 Pow sqrt Add 1 Mul -1 Mul Add x0 Pow Mul x1 2 Add x0 x4 Add x0 Pow Mul x1 2 Add x0 x4 -1 