csc Pow cosh x0 atan Add Pow E x0 2 
Mul Mul Mul -1 cot Pow cosh x0 atan Add Pow E x0 2 csc Pow cosh x0 atan Add Pow E x0 2 Mul Pow cosh x0 Add atan Add Pow E x0 2 -1 Add Mul atan Add Pow E x0 2 sinh x0 Mul Mul cosh x0 log cosh x0 Mul Mul Pow E Add x0 -1 Mul E log E Pow Add 1 Mul Add Pow E x0 2 Add Pow E x0 2 -1 