double 0 0 double s x s s double x + x 0 x + x s y s + x y + s x y s + x y double x + x x 2.2 double x + x x + s x y + x y double s x double x + x s y + x y true double s x double x true s 1 1 1 0 0 0 double 1 1 0 double 1 0 + 2 0 + 2 0 double x + x x false + x s y + x y + s x y + x y true s 1 1 1 0 0 0 double 1 0 double 1 0 + 2 0 + 2 1 0 + x s y + x y + x s y + x y true s 1 1 1 0 0 0 double 1 0 double 1 0 + 2 0 + 2 2 0 NaTT certifiable-1.6