exp Pow sech Pow x0 x3 Add exp x0 x0 
Mul exp Pow sech Pow x0 x3 Add exp x0 x0 Mul Pow sech Pow x0 x3 Add Add exp x0 x0 -1 Add Mul Add exp x0 x0 Mul Mul tanh Pow x0 x3 Mul -1 sech Pow x0 x3 Mul Pow x0 Add x3 -1 x3 Mul Mul sech Pow x0 x3 log sech Pow x0 x3 Add exp x0 1 