cos Pow Mul Pow cos x0 3 x0 sqrt acot x7 
Mul Mul -1 sin Pow Mul Pow cos x0 3 x0 sqrt acot x7 Mul Pow Mul Pow cos x0 3 x0 Add sqrt acot x7 -1 Mul sqrt acot x7 Add Mul x0 Mul Pow cos x0 2 Mul 3 Mul -1 sin x0 Pow cos x0 3 