Pow cos x2 Pow Mul 4 x0 Add Mul x0 3 Add asech x7 x0 
Mul Pow cos x2 Add Pow Mul 4 x0 Add Mul x0 3 Add asech x7 x0 -1 Mul Mul cos x2 log cos x2 Mul Pow Mul 4 x0 Add Add Mul x0 3 Add asech x7 x0 -1 Add Mul Add Mul x0 3 Add asech x7 x0 4 Mul Mul Mul 4 x0 log Mul 4 x0 4 