Pow cosh x3 Mul exp Pow x0 1.04283521277141 4 
Mul Pow cosh x3 Add Mul exp Pow x0 1.04283521277141 4 -1 Mul Mul cosh x3 log cosh x3 Mul 4 Mul exp Pow x0 1.04283521277141 Mul Pow x0 0.0428352127714058 1.04283521277141 