Mul acsch Pow asin Add 1 Add x0 x0 x4 x4 
Mul x4 Mul Mul -1 Mul Pow asin Add 1 Add x0 x0 Add x4 -1 Mul x4 Mul 2 Pow sqrt Add 1 Mul -1 Mul Add 1 Add x0 x0 Add 1 Add x0 x0 -1 Pow Mul Mul Pow asin Add 1 Add x0 x0 x4 Pow asin Add 1 Add x0 x0 x4 sqrt Add 1 Mul -1 Pow Mul Pow asin Add 1 Add x0 x0 x4 Pow asin Add 1 Add x0 x0 x4 -1 -1 