Pow atanh Mul x0 exp x0 sech Add Pow x0 cosh Add x0 x4 x0 
Mul Pow atanh Mul x0 exp x0 Add sech Add Pow x0 cosh Add x0 x4 x0 -1 Add Mul sech Add Pow x0 cosh Add x0 x4 x0 Mul Add exp x0 Mul x0 exp x0 Pow Add 1 Mul -1 Mul Mul x0 exp x0 Mul x0 exp x0 -1 Mul Mul atanh Mul x0 exp x0 log atanh Mul x0 exp x0 Mul Mul tanh Add Pow x0 cosh Add x0 x4 x0 Mul -1 sech Add Pow x0 cosh Add x0 x4 x0 Add Mul Pow x0 Add cosh Add x0 x4 -1 Add cosh Add x0 x4 Mul Mul x0 log x0 sinh Add x0 x4 1 