Experience with autodE