Add and simplify.

Domain: all of x,