quotMarked_minusfalseMarked_leminusMarked_logleif_minusMarked_quot0Marked_if_minusslogtrueyxle(0,y)truele(s(x),0)falsele(s(x),s(y))le(x,y)minus(0,y)0minus(s(x),y)if_minus(le(s(x),y),s(x),y)if_minus(true,s(x),y)0if_minus(false,s(x),y)s(minus(x,y))quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))log(s(0))0log(s(s(x)))s(log(s(quot(x,s(s(0))))))le(0,y)truele(s(x),0)falsele(s(x),s(y))le(x,y)minus(0,y)0minus(s(x),y)if_minus(le(s(x),y),s(x),y)if_minus(true,s(x),y)0if_minus(false,s(x),y)s(minus(x,y))quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))log(s(0))0log(s(s(x)))s(log(s(quot(x,s(s(0))))))Marked_le(s(x),s(y))Marked_le(x,y)Marked_minus(s(x),y)Marked_if_minus(le(s(x),y),s(x),y)Marked_minus(s(x),y)Marked_le(s(x),y)Marked_if_minus(false,s(x),y)Marked_minus(x,y)Marked_quot(s(x),s(y))Marked_quot(minus(x,y),s(y))Marked_quot(s(x),s(y))Marked_minus(x,y)Marked_log(s(s(x)))Marked_log(s(quot(x,s(s(0)))))Marked_log(s(s(x)))Marked_quot(x,s(s(0)))le(0,y)truele(s(x),0)falsele(s(x),s(y))le(x,y)minus(0,y)0minus(s(x),y)if_minus(le(s(x),y),s(x),y)if_minus(true,s(x),y)0if_minus(false,s(x),y)s(minus(x,y))quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))log(s(0))0log(s(s(x)))s(log(s(quot(x,s(s(0))))))Marked_log(s(s(x)))Marked_log(s(quot(x,s(s(0)))))true0log20s22000if_minus10le0Marked_log10minus10false0quot10le(0,y)truele(s(x),0)falsele(s(x),s(y))le(x,y)minus(0,y)0minus(s(x),y)if_minus(le(s(x),y),s(x),y)if_minus(true,s(x),y)0if_minus(false,s(x),y)s(minus(x,y))quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))log(s(0))0log(s(s(x)))s(log(s(quot(x,s(s(0))))))Marked_quot(s(x),s(y))Marked_quot(minus(x,y),s(y))true0log10s21000Marked_quot30if_minus10le0minus10false0quot10le(0,y)truele(s(x),0)falsele(s(x),s(y))le(x,y)minus(0,y)0minus(s(x),y)if_minus(le(s(x),y),s(x),y)if_minus(true,s(x),y)0if_minus(false,s(x),y)s(minus(x,y))quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))log(s(0))0log(s(s(x)))s(log(s(quot(x,s(s(0))))))Marked_minus(s(x),y)Marked_if_minus(le(s(x),y),s(x),y)Marked_if_minus(false,s(x),y)Marked_minus(x,y)Marked_if_minus2Marked_minus1Marked_if_minus(false,s(x),y)Marked_minus(x,y)le(0,y)truele(s(x),0)falsele(s(x),s(y))le(x,y)minus(0,y)0minus(s(x),y)if_minus(le(s(x),y),s(x),y)if_minus(true,s(x),y)0if_minus(false,s(x),y)s(minus(x,y))quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))log(s(0))0log(s(s(x)))s(log(s(quot(x,s(s(0))))))Marked_minus(s(x),y)Marked_if_minus(le(s(x),y),s(x),y)le(0,y)truele(s(x),0)falsele(s(x),s(y))le(x,y)minus(0,y)0minus(s(x),y)if_minus(le(s(x),y),s(x),y)if_minus(true,s(x),y)0if_minus(false,s(x),y)s(minus(x,y))quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))log(s(0))0log(s(s(x)))s(log(s(quot(x,s(s(0))))))Marked_le(s(x),s(y))Marked_le(x,y)Marked_le1Marked_le(s(x),s(y))Marked_le(x,y)le(0,y)truele(s(x),0)falsele(s(x),s(y))le(x,y)minus(0,y)0minus(s(x),y)if_minus(le(s(x),y),s(x),y)if_minus(true,s(x),y)0if_minus(false,s(x),y)s(minus(x,y))quot(0,s(y))0quot(s(x),s(y))s(quot(minus(x,y),s(y)))log(s(0))0log(s(s(x)))s(log(s(quot(x,s(s(0))))))