13 hours of plenty of time for a visit to the city
Option 1 would bother me as your trip is disrupted with the stop in Milan. This will likely cut into your sleep.
Option 2 allows for better sleep and getting adjusted while giving you some time for a visit to the city. You can take chauffer drive wherever you like and work your way back by taxi or metro.