How do you simplify f7×f1?