asech Mul Pow Mul sin x0 pi x0 asech E 
Mul Mul asech E Mul Pow Mul sin x0 pi Add x0 -1 Add Mul x0 Mul pi cos x0 Mul Mul sin x0 pi log Mul sin x0 pi Pow Mul Mul Mul Pow Mul sin x0 pi x0 asech E Mul Pow Mul sin x0 pi x0 asech E sqrt Add 1 Mul -1 Pow Mul Mul Pow Mul sin x0 pi x0 asech E Mul Pow Mul sin x0 pi x0 asech E -1 -1 