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