Add Mul Mul csch Mul x0 x2 csch acosh atanh x1 cot x0 x0 
Add Add Mul cot x0 Mul csch acosh atanh x1 Mul Mul Mul -1 coth Mul x0 x2 csch Mul x0 x2 x2 Mul Mul csch Mul x0 x2 csch acosh atanh x1 Mul -1 Pow csc x0 2 1 