Add x0 cos Mul E Add Mul cosh x3 Pow cosh x1 x0 Add -5 acot x0 
Add 1 Mul Mul -1 sin Mul E Add Mul cosh x3 Pow cosh x1 x0 Add -5 acot x0 Mul E Add Mul cosh x3 Mul Pow cosh x1 Add x0 -1 Mul cosh x1 log cosh x1 Mul -1 Pow Add 1 Mul x0 x0 -1 