sqrt Pow cos Add x0 acos Mul x0 x0 -4 
Mul Pow Mul 2 sqrt Pow cos Add x0 acos Mul x0 x0 -4 -1 Mul Pow cos Add x0 acos Mul x0 x0 5 Mul -4 Mul Mul -1 sin Add x0 acos Mul x0 x0 Add 1 Mul -1 Mul Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 