asech cosh Mul x0 Add x3 -3 
Mul Mul sinh Mul x0 Add x3 -3 Add x3 -3 Pow Mul Mul cosh Mul x0 Add x3 -3 cosh Mul x0 Add x3 -3 sqrt Add 1 Mul -1 Pow Mul cosh Mul x0 Add x3 -3 cosh Mul x0 Add x3 -3 -1 -1 