Pow Add cosh x0 exp x0 Add -4 Add Mul Mul x0 x6 x0 exp exp asinh sqrt E 
Mul Pow Add cosh x0 exp x0 Add Add -4 Add Mul Mul x0 x6 x0 exp exp asinh sqrt E -1 Add Mul Add -4 Add Mul Mul x0 x6 x0 exp exp asinh sqrt E Add sinh x0 exp x0 Mul Mul Add cosh x0 exp x0 log Add cosh x0 exp x0 Add Mul x0 x6 Mul x0 x6 