Pow Pow pi -3 Add Pow cosh x0 pi Mul x0 Pow sqrt x5 cos x0 
Mul Pow Pow pi -3 Add Add Pow cosh x0 pi Mul x0 Pow sqrt x5 cos x0 -1 Mul Mul Pow pi -3 log Pow pi -3 Add Mul Pow cosh x0 Add pi -1 Mul pi sinh x0 Add Pow sqrt x5 cos x0 Mul x0 Mul Pow sqrt x5 Add cos x0 -1 Mul Mul sqrt x5 log sqrt x5 Mul -1 sin x0 