Pow atanh csc Add atanh Mul x0 Add x0 Pow x4 acoth Mul sinh x3 Mul x1 acoth x0 x7 x0 
Mul Pow atanh csc Add atanh Mul x0 Add x0 Pow x4 acoth Mul sinh x3 Mul x1 acoth x0 x7 Add x0 -1 Add Mul x0 Mul Mul Mul Mul -1 cot Add atanh Mul x0 Add x0 Pow x4 acoth Mul sinh x3 Mul x1 acoth x0 x7 csc Add atanh Mul x0 Add x0 Pow x4 acoth Mul sinh x3 Mul x1 acoth x0 x7 Mul Add Add x0 Pow x4 acoth Mul sinh x3 Mul x1 acoth x0 Mul x0 Add 1 Mul Pow x4 Add acoth Mul sinh x3 Mul x1 acoth x0 -1 Mul Mul x4 log x4 Mul Mul sinh x3 Mul x1 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul sinh x3 Mul x1 acoth x0 Mul sinh x3 Mul x1 acoth x0 -1 Pow Add 1 Mul -1 Mul Mul x0 Add x0 Pow x4 acoth Mul sinh x3 Mul x1 acoth x0 Mul x0 Add x0 Pow x4 acoth Mul sinh x3 Mul x1 acoth x0 -1 Pow Add 1 Mul -1 Mul csc Add atanh Mul x0 Add x0 Pow x4 acoth Mul sinh x3 Mul x1 acoth x0 x7 csc Add atanh Mul x0 Add x0 Pow x4 acoth Mul sinh x3 Mul x1 acoth x0 x7 -1 Mul atanh csc Add atanh Mul x0 Add x0 Pow x4 acoth Mul sinh x3 Mul x1 acoth x0 x7 log atanh csc Add atanh Mul x0 Add x0 Pow x4 acoth Mul sinh x3 Mul x1 acoth x0 x7 