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