[SBV] tests/T14.hs:10:1 Proving "f", using Z3.
[Z3] Falsifiable. Counter-example:
  x = 1.0 :: Real
[SBV] Failed. (Use option 'IgnoreFailure' to continue.)