Mul x0 asec Mul Mul pi Pow x3 x0 cos x0 
Add asec Mul Mul pi Pow x3 x0 cos x0 Mul x0 Mul Add Mul cos x0 Mul pi Mul Pow x3 Add x0 -1 Mul x3 log x3 Mul Mul pi Pow x3 x0 Mul -1 sin x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Mul pi Pow x3 x0 cos x0 Mul Mul pi Pow x3 x0 cos x0 -1 Mul Mul pi Pow x3 x0 cos x0 Mul Mul pi Pow x3 x0 cos x0 -1 