1 - ln(x)
Original expression
(- 1 (log x))
Engine output
[PATTERN] (log (exp (log (exp _)))) <=> ! () [PATTERN] (+ (+ b c) a . rest) <=> (+ a b c . rest) () [PATTERN] (+ (+ a b) c . rest) <=> (+ a b c . rest) () [PATTERN] (+ k (+ a b) . rest) <=> (+ k a b . rest) () [PATTERN] (+ 0 . rest) <=> (+ . rest) (one-way) [PATTERN] x <=> (+ (* -1 (log 1)) x) (once) [PATTERN] (* 0 . rest) <=> 0 (one-way) [PATTERN] (* (* b c) a . rest) <=> (* a b c . rest) () [PATTERN] (* (* a b) c . rest) <=> (* a b c . rest) () [PATTERN] (* k (* a b) . rest) <=> (* k a b . rest) () [PATTERN] (* 1 . rest) <=> (* . rest) (one-way) [PATTERN] x <=> (* 1 x) (one-way once) [PATTERN] (* (+ x y) z) <=> (+ (* x z) (* y z)) () [PATTERN] (+ a a . rest) <=> (+ (* 2 a) . rest) () [PATTERN] (* a a . rest) <=> (* (expt a 2) . rest) () [PATTERN] (expt x (+ y1 y2)) <=> (* (expt x y1) (expt x y2)) () [PATTERN] (expt (exp 1) x) <=> (exp x) (one-way) [PATTERN] (expt (expt a b) c) <=> (expt a (* b c)) () [PATTERN] (expt _ 0) <=> 1 (one-way) [PATTERN] (expt x 1) <=> x (one-way) [PATTERN] (expt 1 _) <=> 1 (one-way) [PATTERN] (expt 0 _) <=> ! () [PATTERN] (exp (+ a b)) <=> (* (exp a) (exp b)) () [PATTERN] (exp 0) <=> 1 () [PATTERN] (log (* a b)) <=> (+ (log a) (log b)) () [PATTERN] (log (expt x y)) <=> (* (log x) y) () [PATTERN] (log (exp 1)) <=> 1 () [PATTERN] (log (exp x)) <=> x (one-way) [PATTERN] (log 1) <=> 0 () [PATTERN] (* -1 (log x)) <=> (log (expt x -1)) () [PATTERN] (+ (exp x) (* -1 (log y))) <=> (eml x y) () [PATTERN] 0 <=> (eml 1 (eml (eml 1 1) 1)) () normalization (+ 1 (* -1 (log x))) score: 440 [PROC] [440/44000] (+ 1 (* -1 (log x))) [PROC] [600/44000] (+ (exp 0) (* -1 (log x))) [PROC] [23/44000] (eml 0 x) Best expression found: (eml (eml 1 (eml (eml 1 1) 1)) x)