Pow Pow cosh x0 exp Add x0 -3 x0 
Mul Pow Pow cosh x0 exp Add x0 -3 Add x0 -1 Add Mul x0 Mul Pow cosh x0 Add exp Add x0 -3 -1 Add Mul exp Add x0 -3 sinh x0 Mul Mul cosh x0 log cosh x0 exp Add x0 -3 Mul Pow cosh x0 exp Add x0 -3 log Pow cosh x0 exp Add x0 -3 