power in arithmetic circuits 6270275