acot Mul cot Pow Add x0 5 -4 cosh x3 
Mul -1 Mul Mul cosh x3 Mul Mul -1 Pow csc Pow Add x0 5 -4 2 Mul Pow Add x0 5 5 -4 Pow Add 1 Mul Mul cot Pow Add x0 5 -4 cosh x3 Mul cot Pow Add x0 5 -4 cosh x3 -1 