Pow Pow cosh x4 x0 Pow x0 Mul x0 3 
Mul Pow Pow cosh x4 x0 Add Pow x0 Mul x0 3 -1 Add Mul Pow x0 Mul x0 3 Mul Pow cosh x4 Add x0 -1 Mul cosh x4 log cosh x4 Mul Mul Pow cosh x4 x0 log Pow cosh x4 x0 Mul Pow x0 Add Mul x0 3 -1 Add Mul x0 3 Mul Mul x0 log x0 3 