partial derivative has been incoorporated
However, we need to adopt a way to distribute functional application.