Add Pow exp E Mul Mul tan sqrt x0 x0 Add x0 x0 Mul -1 Pow x0 acos x4 
Add Mul Pow exp E Add Mul Mul tan sqrt x0 x0 Add x0 x0 -1 Mul Mul exp E log exp E Add Mul Add x0 x0 Add Mul x0 Mul Pow sec sqrt x0 2 Pow Mul 2 sqrt x0 -1 tan sqrt x0 Mul Mul tan sqrt x0 x0 2 Mul -1 Mul Pow x0 Add acos x4 -1 acos x4 