Add sin x0 sin asin Add asech acsch sin x6 cos x0 
Add cos x0 Mul cos asin Add asech acsch sin x6 cos x0 Mul Mul -1 sin x0 Pow sqrt Add 1 Mul -1 Mul Add asech acsch sin x6 cos x0 Add asech acsch sin x6 cos x0 -1 