derivative from first principle