Add Add sqrt Pow Pow x0 sech atan x2 exp exp x5 x0 Mul Mul -2 x0 4 
Add Add Mul Pow Mul 2 sqrt Pow Pow x0 sech atan x2 exp exp x5 -1 Mul Pow Pow x0 sech atan x2 Add exp exp x5 -1 Mul exp exp x5 Mul Pow x0 Add sech atan x2 -1 sech atan x2 1 2 