Added examples simplify6