the domain of the function will be solved later