power rule integration