Mul x0 Add 5 Add asinh Pow acot Add -3.62686040784702 x3 x1 exp Add sqrt x0 pi 
Add Add 5 Add asinh Pow acot Add -3.62686040784702 x3 x1 exp Add sqrt x0 pi Mul x0 Mul exp Add sqrt x0 pi Pow Mul 2 sqrt x0 -1 