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