Add Mul atanh acoth x1 Pow x0 Add Mul x0 5 Pow x1 Mul x6 Pow acsch csch E cot x7 -5 
Mul atanh acoth x1 Mul Pow x0 Add Add Mul x0 5 Pow x1 Mul x6 Pow acsch csch E cot x7 -1 Add Add Mul x0 5 Pow x1 Mul x6 Pow acsch csch E cot x7 Mul Mul x0 log x0 5 