primitive sqrt(t^2 - 4)