min X 0 X min s X s Y min X Y quot 0 s Y 0 quot s X s Y s quot min X Y s Y log s 0 0 log s s X s log s quot X s s 0 min 2 0 0 s 1 quot 2 log 1 FULL ./TRS/Rubio/logarquot.trs