I think both sound okay, to be honest, but I'd be interested in the layover status of option 2.

You know your kids best, but if it were me making this decision for MY kids, I'd go with option 2. My kids do better staying up past bedtime than they do being woken at ungodly hours. For example, there is the possibility of her falling asleep in the option1 plane at around 9 PM as per her usual but having to wake up at the equivalent of midnight and then truck around an airport after only a few hours of sleep.... that would put my kids over the edge. However, my kids would be tired but generally alright being kept up til midnight and THEN being allowed to sleep for a long time after.

I'd say that look at where your daughter does better and when she does worse, and judge based on that.