Mul x0 Mul sech Mul x0 sec E Pow x0 x0 
Add Mul sech Mul x0 sec E Pow x0 x0 Mul x0 Add Mul Pow x0 x0 Mul Mul tanh Mul x0 sec E Mul -1 sech Mul x0 sec E sec E Mul sech Mul x0 sec E Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 