Mul 2 sin Mul Mul Mul Pow cosh x2 x0 Add 1 x0 x0 x7 
Mul 2 Mul cos Mul Mul Mul Pow cosh x2 x0 Add 1 x0 x0 x7 Mul x7 Add Mul x0 Add Mul Add 1 x0 Mul Pow cosh x2 Add x0 -1 Mul cosh x2 log cosh x2 Pow cosh x2 x0 Mul Pow cosh x2 x0 Add 1 x0 