1.3^(1.3^x) - x