Mul x0 Add Pow cosh Pow x0 log x7 x5 tan cosh x0 
Add Add Pow cosh Pow x0 log x7 x5 tan cosh x0 Mul x0 Add Mul Pow cosh Pow x0 log x7 Add x5 -1 Mul x5 Mul sinh Pow x0 log x7 Mul Pow x0 Add log x7 -1 log x7 Mul Pow sec cosh x0 2 sinh x0 