asec Mul 4 Mul Pow sqrt x4 sinh exp exp x0 x6 
Mul Mul 4 Mul x6 Mul Pow sqrt x4 Add sinh exp exp x0 -1 Mul Mul sqrt x4 log sqrt x4 Mul cosh exp exp x0 Mul exp exp x0 exp x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul 4 Mul Pow sqrt x4 sinh exp exp x0 x6 Mul 4 Mul Pow sqrt x4 sinh exp exp x0 x6 -1 Mul 4 Mul Pow sqrt x4 sinh exp exp x0 x6 Mul 4 Mul Pow sqrt x4 sinh exp exp x0 x6 -1 