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