g x 0 0 g d s x s s g d x g h s 0 0 g h s s x s g h x double x g d x half x g h x f s x y f half s x double y f s 0 y y id x f x s 0 2.2 half x g h x f s x y double y double x g d x f s x y half s x id x f x s 0 g d s x g d x g h s s x g h x f s x y f half s x double y true id x f x s 0 false f s x y f half s x double y true Failed! NaTT certifiable-1.6