acot Mul Pow x0 tanh Pow x0 4 sinh x2 
Mul -1 Mul Mul sinh x2 Mul Pow x0 Add tanh Pow x0 4 -1 Add tanh Pow x0 4 Mul Mul x0 log x0 Mul Pow sech Pow x0 4 2 Mul Pow x0 3 4 Pow Add 1 Mul Mul Pow x0 tanh Pow x0 4 sinh x2 Mul Pow x0 tanh Pow x0 4 sinh x2 -1 