csch Pow Add Add x0 acsch x5 2 x0 
Mul Mul Mul -1 coth Pow Add Add x0 acsch x5 2 x0 csch Pow Add Add x0 acsch x5 2 x0 Mul Pow Add Add x0 acsch x5 2 Add x0 -1 Add x0 Mul Add Add x0 acsch x5 2 log Add Add x0 acsch x5 2 