Add Mul acos cos Mul x3 x0 cos x0 atan Add x0 -4 
Add Add Mul cos x0 Mul -1 Mul Mul Mul -1 sin Mul x3 x0 x3 Pow sqrt Add 1 Mul -1 Mul cos Mul x3 x0 cos Mul x3 x0 -1 Mul acos cos Mul x3 x0 Mul -1 sin x0 Pow Add 1 Mul Add x0 -4 Add x0 -4 -1 