ge x 0 true ge 0 s x false ge s x s y ge x y minus x 0 x minus s x s y minus x y div x y ify ge y s 0 x y ify false x y divByZeroError ify true x y if ge x y x y if false x y 0 if true x y s div minus x y y 2.2 div x y ge y s 0 ge s x s y ge x y ify true x y if ge x y x y minus s x s y minus x y if true x y div minus x y y div x y ify ge y s 0 x y ify true x y ge x y if true x y minus x y true div x y ify ge y s 0 x y if true x y div minus x y y ify true x y if ge x y x y true Failed! NaTT certifiable-1.6