sech Pow x2 sech Mul Pow x0 E x3 
Mul Mul tanh Pow x2 sech Mul Pow x0 E x3 Mul -1 sech Pow x2 sech Mul Pow x0 E x3 Mul Pow x2 Add sech Mul Pow x0 E x3 -1 Mul Mul x2 log x2 Mul Mul tanh Mul Pow x0 E x3 Mul -1 sech Mul Pow x0 E x3 Mul x3 Mul Pow x0 Add E -1 E 