derivative.sats