atan Mul pi Add tanh exp coth x0 Pow x5 x0 
Mul Mul pi Add Mul Pow sech exp coth x0 2 Mul exp coth x0 Mul -1 Pow csch x0 2 Mul Pow x5 Add x0 -1 Mul x5 log x5 Pow Add 1 Mul Mul pi Add tanh exp coth x0 Pow x5 x0 Mul pi Add tanh exp coth x0 Pow x5 x0 -1 