Add Mul -3 acot x7 Mul Mul sqrt tan Pow x0 sech x1 Add x0 Add Mul cos x6 x2 x0 x0 
Add Mul x0 Add Mul Add x0 Add Mul cos x6 x2 x0 Mul Pow Mul 2 sqrt tan Pow x0 sech x1 -1 Mul Pow sec Pow x0 sech x1 2 Mul Pow x0 Add sech x1 -1 sech x1 Mul sqrt tan Pow x0 sech x1 2 Mul sqrt tan Pow x0 sech x1 Add x0 Add Mul cos x6 x2 x0 