(sqrt (4) == 2 && sqrt (-1) == i
 && abs (sqrt (1+i) - exp (0.5 * log (1+i))) < sqrt (eps))
