Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components Exact optimization via sums of nonnegative circuits and arithmetic-geometric-mean-exponentials 