Pow x0 Pow cosh Add exp Add x7 1 4 x0 
Mul Pow x0 Add Pow cosh Add exp Add x7 1 4 x0 -1 Add Pow cosh Add exp Add x7 1 4 x0 Mul Mul x0 log x0 Mul Pow cosh Add exp Add x7 1 4 Add x0 -1 Mul cosh Add exp Add x7 1 4 log cosh Add exp Add x7 1 4 