Pow x0 Pow Mul exp cosh E x0 Mul x6 x4 
Mul Pow x0 Add Pow Mul exp cosh E x0 Mul x6 x4 -1 Add Pow Mul exp cosh E x0 Mul x6 x4 Mul Mul x0 log x0 Mul Pow Mul exp cosh E x0 Add Mul x6 x4 -1 Mul Mul x6 x4 exp cosh E 