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