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