half 0 0 half s 0 0 half s s x s half x le 0 y true le s x 0 false le s x s y le x y inc s x s inc x inc 0 s 0 logarithm x logIter x 0 logIter x y if le s 0 x le s s 0 x half x inc y if false b x y logZeroError if true false x s y y if true true x y logIter x y f g f h half 1 0 0 s 1 le 2 true 0 false 0 inc 1 logarithm 1 logIter 2 if 4 logZeroError 0 f 0 g 0 h 0 FULL ./TRS/secret06/aprove/logarithm.trs