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