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