in clause plus/ioo(0,Y,Y). variables have no producer: ["Y"]
real 0m0.203s user 0m0.172s sys 0m0.020s