reduce \&f @x