int r^(2^x) dx