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