fadd_fsub rewrite