Pointwise multiplication of functions