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