Mul x3 Pow x0 Pow cosh x2 Pow exp Add x0 Add x0 x0 x6 
Mul x3 Mul Pow x0 Add Pow cosh x2 Pow exp Add x0 Add x0 x0 x6 -1 Add Pow cosh x2 Pow exp Add x0 Add x0 x0 x6 Mul Mul x0 log x0 Mul Pow cosh x2 Add Pow exp Add x0 Add x0 x0 x6 -1 Mul Mul cosh x2 log cosh x2 Mul Pow exp Add x0 Add x0 x0 Add x6 -1 Mul x6 Mul exp Add x0 Add x0 x0 3 