Mul Pow Add x0 sinh Add pi Add x0 x0 exp pi sech x0 
Add Mul sech x0 Mul Pow Add x0 sinh Add pi Add x0 x0 Add exp pi -1 Mul exp pi Add 1 Mul cosh Add pi Add x0 x0 2 Mul Pow Add x0 sinh Add pi Add x0 x0 exp pi Mul tanh x0 Mul -1 sech x0 