- x 0 x - s x s y - x y * x 0 0 * x s y + * x y x if true x y x if false x y y odd 0 false odd s 0 true odd s s x odd x half 0 0 half s 0 0 half s s x s half x if true x y true if false x y false pow x y f x y s 0 f x 0 z z f x s y z if odd s y f x y * x z f * x x half s y z - 2 0 0 s 1 * 2 + 2 if 3 true 0 false 0 odd 1 half 1 pow 2 f 3 FULL ./TRS/HM/t001.trs