Pow Mul sqrt x0 Pow Add Mul 3 x1 pi x0 Mul -1 cos x6 
Mul Pow Mul sqrt x0 Pow Add Mul 3 x1 pi x0 Add Mul -1 cos x6 -1 Mul Mul -1 cos x6 Add Mul Pow Add Mul 3 x1 pi x0 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 Mul Pow Add Mul 3 x1 pi Add x0 -1 Mul Add Mul 3 x1 pi log Add Mul 3 x1 pi 