Derivatives of WS1S Formulas