Mul acosh sinh coth atan cot x0 Mul atanh x1 x1 
Mul Mul atanh x1 x1 Mul Mul cosh coth atan cot x0 Mul Mul -1 Pow csch atan cot x0 2 Mul Mul -1 Pow csc x0 2 Pow Add 1 Mul cot x0 cot x0 -1 Pow Mul sqrt Add sinh coth atan cot x0 -1 sqrt Add 1 sinh coth atan cot x0 -1 