use logcombine in constantsimp