Which bike would you buy?

Both bikes are $1,000. I will be coming from a 2016 trek series 1.2. Which bike would you buy out of these two? Maybe it isn’t a big enough upgrade? I am a casual rider (50-60 miles a week). Thank you

Fist bike:

“Full carbon fiber Specialized tarmac pro 2017. Ultegra Electric gear shifters. Carbon fiber Cervelo seat post”

Second bike:

“Road bicycle in very good shape. Domaine 5 series 500 OCLV Carbon Shimano Integra Isospeed
With clip-in and regular pedals”. 2017/18 I think.