The SmartSolar can provide output the Pi can use. Why not just throw a 12v-compatible USB power supply on there?
Going up to mains then back down to 5v seems inefficient. Am I missing something?
edit: I'm wrong! My SmartSolar has "LOAD" output but OP's does not. Ref: https://www.victronenergy.com/solar-charge-controllers/smart...