Mul x0 Mul x0 asinh Mul Pow pi 2 Add Add x0 x6 x6 
Add Mul x0 asinh Mul Pow pi 2 Add Add x0 x6 x6 Mul x0 Add asinh Mul Pow pi 2 Add Add x0 x6 x6 Mul x0 Mul Pow pi 2 Pow sqrt Add 1 Mul Mul Pow pi 2 Add Add x0 x6 x6 Mul Pow pi 2 Add Add x0 x6 x6 -1 