Pow atan Add acsch x2 Pow E x0 cosh x0 
Mul Pow atan Add acsch x2 Pow E x0 Add cosh x0 -1 Add Mul cosh x0 Mul Mul Pow E Add x0 -1 Mul E log E Pow Add 1 Mul Add acsch x2 Pow E x0 Add acsch x2 Pow E x0 -1 Mul Mul atan Add acsch x2 Pow E x0 log atan Add acsch x2 Pow E x0 sinh x0 