I have never had a tree chopped down, so no, it is obviously not from personal experience.
I would have guessed it would take two men a day to chop a tree down and dispose of it. £100 or £125 for a days work seems fair to me.
£400 or £450 seems like a massive overspend.