acot csch Pow acoth x0 sin Pow x6 -4 
Mul -1 Mul Mul Mul Mul -1 coth Pow acoth x0 sin Pow x6 -4 csch Pow acoth x0 sin Pow x6 -4 Mul Pow acoth x0 Add sin Pow x6 -4 -1 Mul sin Pow x6 -4 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul csch Pow acoth x0 sin Pow x6 -4 csch Pow acoth x0 sin Pow x6 -4 -1 