Pow cos x0 sqrt Pow Mul 3 Mul x0 5 x0 
Mul Pow cos x0 Add sqrt Pow Mul 3 Mul x0 5 x0 -1 Add Mul sqrt Pow Mul 3 Mul x0 5 x0 Mul -1 sin x0 Mul Mul cos x0 log cos x0 Mul Pow Mul 2 sqrt Pow Mul 3 Mul x0 5 x0 -1 Mul Pow Mul 3 Mul x0 5 Add x0 -1 Add Mul x0 8 Mul Mul 3 Mul x0 5 log Mul 3 Mul x0 5 