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