acoth Pow tanh x0 sec log x0 
Mul Mul Pow tanh x0 Add sec log x0 -1 Add Mul sec log x0 Pow sech x0 2 Mul Mul tanh x0 log tanh x0 Mul Mul tan log x0 sec log x0 Pow x0 -1 Pow Add 1 Mul -1 Mul Pow tanh x0 sec log x0 Pow tanh x0 sec log x0 -1 