simplify_x3