((((x)f)')·((x)g))+(((x)f)·(((x)g)'))