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