Added a derivation for Goerzen's `ftphs`.