(* ADD-MUL to FMA *)