Mul asech cosh Mul x0 -4 Mul -1 Add Mul x0 x0 x0 
Add Mul Mul -1 Add Mul x0 x0 x0 Mul Mul sinh Mul x0 -4 -4 Pow Mul Mul cosh Mul x0 -4 cosh Mul x0 -4 sqrt Add 1 Mul -1 Pow Mul cosh Mul x0 -4 cosh Mul x0 -4 -1 -1 Mul asech cosh Mul x0 -4 Mul -1 Add Add x0 x0 1 