machine

mining formulae for mixed method