Pow Mul Pow x0 Add Pow cosh log x5 x0 Mul x1 3 Mul x0 x3 -5 
Mul Pow Mul Pow x0 Add Pow cosh log x5 x0 Mul x1 3 Mul x0 x3 6 Mul -5 Add Mul Mul x0 x3 Mul Pow x0 Add Add Pow cosh log x5 x0 Mul x1 3 -1 Add Add Pow cosh log x5 x0 Mul x1 3 Mul Mul x0 log x0 Mul Pow cosh log x5 Add x0 -1 Mul cosh log x5 log cosh log x5 Mul Pow x0 Add Pow cosh log x5 x0 Mul x1 3 x3 