Formula manipulation in algol 60 2 by Riet