nisse at lysator.liu.se (Niels Möller) writes: Any other tricks? I think you forgot the save-the-transform trick. Since b is implicitly invariant over several a_i pieces, evaluating b once will be a slight win. -- Torbjörn