tanh acoth Pow Add x0 atanh x2 cosh asin csc x3 
Mul Pow sech acoth Pow Add x0 atanh x2 cosh asin csc x3 2 Mul Mul Pow Add x0 atanh x2 Add cosh asin csc x3 -1 cosh asin csc x3 Pow Add 1 Mul -1 Mul Pow Add x0 atanh x2 cosh asin csc x3 Pow Add x0 atanh x2 cosh asin csc x3 -1 