atanh Mul Mul x0 csch Mul Mul x1 x0 acsch cot atanh x0 x0 
Mul Add Mul x0 Add csch Mul Mul x1 x0 acsch cot atanh x0 Mul x0 Mul Mul Mul -1 coth Mul Mul x1 x0 acsch cot atanh x0 csch Mul Mul x1 x0 acsch cot atanh x0 Add Mul acsch cot atanh x0 x1 Mul Mul x1 x0 Mul Mul -1 Mul Mul -1 Pow csc atanh x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul cot atanh x0 cot atanh x0 sqrt Add 1 Mul -1 Pow Mul cot atanh x0 cot atanh x0 -1 -1 Mul x0 csch Mul Mul x1 x0 acsch cot atanh x0 Pow Add 1 Mul -1 Mul Mul Mul x0 csch Mul Mul x1 x0 acsch cot atanh x0 x0 Mul Mul x0 csch Mul Mul x1 x0 acsch cot atanh x0 x0 -1 