Much cleaner derivation printing for server output