Pow Pow asin Add x0 x1 Pow x0 x2 pi 
Mul Pow Pow asin Add x0 x1 Pow x0 x2 Add pi -1 Mul pi Mul Pow asin Add x0 x1 Add Pow x0 x2 -1 Add Mul Pow x0 x2 Pow sqrt Add 1 Mul -1 Mul Add x0 x1 Add x0 x1 -1 Mul Mul asin Add x0 x1 log asin Add x0 x1 Mul Pow x0 Add x2 -1 x2 