Pow Pow cosh x7 Add Add Add Pow x0 2 x0 4 2 x0 
Mul Pow Pow cosh x7 Add Add Add Pow x0 2 x0 4 2 Add x0 -1 Add Mul x0 Mul Pow cosh x7 Add Add Add Add Pow x0 2 x0 4 2 -1 Mul Mul cosh x7 log cosh x7 Add Mul x0 2 1 Mul Pow cosh x7 Add Add Add Pow x0 2 x0 4 2 log Pow cosh x7 Add Add Add Pow x0 2 x0 4 2 