half x if ge x s s 0 x if false x 0 if true x s half p p x p 0 0 p s x x ge x 0 true ge 0 s x false ge s x s y ge x y log 0 0 log s x s log half s x 2.2 log s x half s x half x if ge x s s 0 x half x ge x s s 0 if true x p x if true x half p p x log s x log half s x ge s x s y ge x y if true x p p x true log s x log half s x true Failed! NaTT certifiable-1.6