ibn sina, ibn sina / ibn tufeyl, ibn tufeyl