exp Add Add Pow x0 Pow cosh x7 -3 Pow x3 Add x3 x0 x0 
Mul exp Add Add Pow x0 Pow cosh x7 -3 Pow x3 Add x3 x0 x0 Add Add Mul Pow x0 Add Pow cosh x7 -3 -1 Pow cosh x7 -3 Mul Pow x3 Add Add x3 x0 -1 Mul x3 log x3 1 