random formula generator (using dev version of Random_generator)