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 lt 2 0 0 s 1 true 0 false 0 logarithm 1 ifa 2 help 2 1 0 logZeroError 0 ifb 3 half 1 FULL ./TRS/SchneiderKamp/trs/otto05.trs