MAYBE
LCTRS
  Theories
    Core, Reals
  Signature
    lif: (Bool, Real, Real) -> Real
    log: (Real, Real) -> Real
  Rules
    log(!x, !y) -> lif(and(>=(!x, !y), >(!y, 1.0)), !x, !y)
    lif(true, !x, !y) -> +(1.0, log(/(!x, !y), !y))
    lif(false, !x, !y) -> 0.0
No termination info given.

Elapsed Time:  36.92 ms