atan Pow exp Add pi Pow x0 acos x5 4 
Mul Mul Pow exp Add pi Pow x0 acos x5 3 Mul 4 Mul exp Add pi Pow x0 acos x5 Mul Pow x0 Add acos x5 -1 acos x5 Pow Add 1 Mul Pow exp Add pi Pow x0 acos x5 4 Pow exp Add pi Pow x0 acos x5 4 -1 