f true x f gt x 0 double x gt s x 0 true gt 0 y false gt s x s y gt x y double x plus x x plus 0 y y plus s x y plus x s y 2.2 double x plus x x gt s x s y gt x y f true x double x f true x f gt x 0 double x plus s x y plus x s y f true x gt x 0 true f true x f gt x 0 double x true Failed! NaTT certifiable-1.6