atan Pow x0 Add Mul Pow tanh x0 exp E x0 pi 
Mul Mul Pow x0 Add Add Mul Pow tanh x0 exp E x0 pi -1 Add Add Mul Pow tanh x0 exp E x0 pi Mul Mul x0 log x0 Add Mul x0 Mul Pow tanh x0 Add exp E -1 Mul exp E Pow sech x0 2 Pow tanh x0 exp E Pow Add 1 Mul Pow x0 Add Mul Pow tanh x0 exp E x0 pi Pow x0 Add Mul Pow tanh x0 exp E x0 pi -1 