tan Mul cot asec Pow x0 acot acos x7 E 
Mul Pow sec Mul cot asec Pow x0 acot acos x7 E 2 Mul E Mul Mul -1 Pow csc asec Pow x0 acot acos x7 2 Mul Mul Pow x0 Add acot acos x7 -1 acot acos x7 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow x0 acot acos x7 Pow x0 acot acos x7 -1 Pow x0 acot acos x7 Pow x0 acot acos x7 -1 