change DoubleExp tests to Miyamoto-Nagai for travis