Mul x0 Mul x0 cosh Add asin sqrt x0 x0 
Add Mul x0 cosh Add asin sqrt x0 x0 Mul x0 Add cosh Add asin sqrt x0 x0 Mul x0 Mul sinh Add asin sqrt x0 x0 Add Mul Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul -1 Mul sqrt x0 sqrt x0 -1 1 