tanh tan Mul Mul Pow x0 2 Add Mul -4 x0 x5 4 
Mul Pow sech tan Mul Mul Pow x0 2 Add Mul -4 x0 x5 4 2 Mul Pow sec Mul Mul Pow x0 2 Add Mul -4 x0 x5 4 2 Mul 4 Add Mul Add Mul -4 x0 x5 Mul x0 2 Mul Pow x0 2 -4 