tanh Pow x0 Mul exp x0 Add log x1 Pow E x0 
Mul Pow sech Pow x0 Mul exp x0 Add log x1 Pow E x0 2 Mul Pow x0 Add Mul exp x0 Add log x1 Pow E x0 -1 Add Mul exp x0 Add log x1 Pow E x0 Mul Mul x0 log x0 Add Mul Add log x1 Pow E x0 exp x0 Mul exp x0 Mul Pow E Add x0 -1 Mul E log E 