Mul x0 Add Mul sech acos Mul sqrt x0 x0 cosh x0 x0 
Add Add Mul sech acos Mul sqrt x0 x0 cosh x0 x0 Mul x0 Add Add Mul cosh x0 Mul Mul tanh acos Mul sqrt x0 x0 Mul -1 sech acos Mul sqrt x0 x0 Mul -1 Mul Add Mul x0 Pow Mul 2 sqrt x0 -1 sqrt x0 Pow sqrt Add 1 Mul -1 Mul Mul sqrt x0 x0 Mul sqrt x0 x0 -1 Mul sech acos Mul sqrt x0 x0 sinh x0 1 