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