asec Mul Mul x0 x1 Mul x0 cosh Pow x7 4 
Mul Add Mul Mul x0 cosh Pow x7 4 x1 Mul Mul x0 x1 cosh Pow x7 4 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Mul x0 x1 Mul x0 cosh Pow x7 4 Mul Mul x0 x1 Mul x0 cosh Pow x7 4 -1 Mul Mul x0 x1 Mul x0 cosh Pow x7 4 Mul Mul x0 x1 Mul x0 cosh Pow x7 4 -1 