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