lt 0 s x true lt x 0 false lt s x s y lt x y logarithm x ifa lt 0 x x ifa true x help x 1 ifa false x logZeroError help x y ifb lt y x x y ifb true x y help half x s y ifb false x y y half 0 0 half s 0 0 half s s x s half x 2.2 help x y ifb lt y x x y ifb true x y help half x s y logarithm x lt 0 x ifb true x y half x lt s x s y lt x y help x y lt y x half s s x half x logarithm x ifa lt 0 x x ifa true x help x 1 true logarithm x ifa lt 0 x x false ifa true x help x 1 false logarithm x lt 0 x false ifb true x y help half x s y help x y ifb lt y x x y true Failed! NaTT certifiable-1.6