Mul Pow cosh x0 Mul E cos Add x0 Pow x1 pi x0 
Add Mul x0 Mul Pow cosh x0 Add Mul E cos Add x0 Pow x1 pi -1 Add Mul Mul E cos Add x0 Pow x1 pi sinh x0 Mul Mul cosh x0 log cosh x0 Mul E Mul -1 sin Add x0 Pow x1 pi Pow cosh x0 Mul E cos Add x0 Pow x1 pi 