Add derivations doc