add diophantine