Add Mul x0 acsch atanh x1 Pow csch tanh csc x0 x0 
Add acsch atanh x1 Mul Pow csch tanh csc x0 Add x0 -1 Add Mul x0 Mul Mul Mul -1 coth tanh csc x0 csch tanh csc x0 Mul Pow sech csc x0 2 Mul Mul -1 cot x0 csc x0 Mul csch tanh csc x0 log csch tanh csc x0 