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