Mul Pow acot Pow x0 -3 cosh acoth log acsch x4 x0 
Add Mul x0 Mul Pow acot Pow x0 -3 Add cosh acoth log acsch x4 -1 Mul cosh acoth log acsch x4 Mul -1 Mul Mul Pow x0 4 -3 Pow Add 1 Mul Pow x0 -3 Pow x0 -3 -1 Pow acot Pow x0 -3 cosh acoth log acsch x4 