Mul x0 Mul asech cosh Mul x0 x2 x1 
Add Mul asech cosh Mul x0 x2 x1 Mul x0 Mul x1 Mul Mul sinh Mul x0 x2 x2 Pow Mul Mul cosh Mul x0 x2 cosh Mul x0 x2 sqrt Add 1 Mul -1 Pow Mul cosh Mul x0 x2 cosh Mul x0 x2 -1 -1 