A formula interpreter for php