sin asech Mul sqrt x0 asec x6 
Mul cos asech Mul sqrt x0 asec x6 Mul Mul asec x6 Pow Mul 2 sqrt x0 -1 Pow Mul Mul Mul sqrt x0 asec x6 Mul sqrt x0 asec x6 sqrt Add 1 Mul -1 Pow Mul Mul sqrt x0 asec x6 Mul sqrt x0 asec x6 -1 -1 