Pow 1.73205080756888 Mul Add asinh x0 x0 Pow sqrt asec pi 4 
Mul Pow 1.73205080756888 Add Mul Add asinh x0 x0 Pow sqrt asec pi 4 -1 Mul 2.28135695190293 Mul Pow sqrt asec pi 4 Add Pow sqrt Add 1 Mul x0 x0 -1 1 