Pow Mul acos x0 5 acos sin x0 
Mul Pow Mul acos x0 5 Add acos sin x0 -1 Add Mul acos sin x0 Mul 5 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul acos x0 5 log Mul acos x0 5 Mul -1 Mul cos x0 Pow sqrt Add 1 Mul -1 Mul sin x0 sin x0 -1 