Mul Pow x0 exp Add cosh Mul x0 E Mul x4 x0 sqrt x7 
Mul sqrt x7 Mul Pow x0 Add exp Add cosh Mul x0 E Mul x4 x0 -1 Add exp Add cosh Mul x0 E Mul x4 x0 Mul Mul x0 log x0 Mul exp Add cosh Mul x0 E Mul x4 x0 Add Mul sinh Mul x0 E E x4 