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