AlphaDev on the Tech Tree