asec Mul Mul x0 0.779766272751776 Add sinh x0 x6 
Mul Add Mul Add sinh x0 x6 0.779766272751776 Mul Mul x0 0.779766272751776 cosh x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Mul x0 0.779766272751776 Add sinh x0 x6 Mul Mul x0 0.779766272751776 Add sinh x0 x6 -1 Mul Mul x0 0.779766272751776 Add sinh x0 x6 Mul Mul x0 0.779766272751776 Add sinh x0 x6 -1 