with verified derivatives for all four params