double 0 0 double s x s s double x half 0 0 half s 0 0 half s s x s half x - x 0 x - s x s y - x y if 0 y z y if s x y z z half double x x 2.2 - s x s y - x y half s s x half x double s x double x true double s x double x true s 1 1 1 half 1 0 half 1 0 0 0 0 if 3 0 double 1 1 0 double 1 0 - 2 0 - 2 0 if 3 0 half s s x half x true s 1 1 1 half 1 1 0 half 1 0 0 0 0 if 3 0 double 1 0 double 1 0 - 2 0 - 2 0 if 3 0 - s x s y - x y true s 1 1 1 half 1 0 half 1 0 0 0 0 if 3 0 double 1 0 double 1 0 - 2 0 - 2 2 0 if 3 0 NaTT certifiable-1.6