Mul x0 Pow Add cosh x0 x0 Pow cosh x0 4 
Add Pow Add cosh x0 x0 Pow cosh x0 4 Mul x0 Mul Pow Add cosh x0 x0 Add Pow cosh x0 4 -1 Add Mul Pow cosh x0 4 Add sinh x0 1 Mul Mul Add cosh x0 x0 log Add cosh x0 x0 Mul Pow cosh x0 3 Mul 4 sinh x0 