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