exp(x)
Original expression
(exp 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 (exp x) score: 80 [PROC] [80/8000] (exp x) [PROC] [430/8000] (* 1 (exp (* 1 x))) [PROC] [1550/8000] (* (exp 0) (exp (* (exp 0) x))) [PROC] [1430/8000] (exp (+ 0 (* (exp 0) x))) [PROC] [470/8000] (exp (+ 0 (* 1 x))) [PROC] [200/8000] (exp (* 1 x)) [PROC] [230/8000] (exp (+ 0 x)) [PROC] [224/8000] (exp (+ (eml 1 (eml (eml 1 1) 1)) x)) [PROC] [344/8000] (* (exp (eml 1 (eml (eml 1 1) 1))) (exp x)) [PROC] [350/8000] (* (exp 0) (exp x)) [PROC] [190/8000] (* 1 (exp x)) [PROC] [464/8000] (exp (+ (* 1 x) (eml 1 (eml (eml 1 1) 1)))) [PROC] [224/8000] (exp (+ x (eml 1 (eml (eml 1 1) 1)))) [PROC] [470/8000] (exp (+ (log 1) x)) [PROC] [584/8000] (* (exp (* 1 x)) (exp (eml 1 (eml (eml 1 1) 1)))) [PROC] [590/8000] (* (exp 0) (exp (* 1 x))) [PROC] [590/8000] (* (exp (log 1)) (exp x)) [PROC] [590/8000] (* (exp x) (log (exp 1))) [PROC] [680/8000] (exp (* (exp 0) x)) [PROC] [662/8000] (exp (* (exp (eml 1 (eml (eml 1 1) 1))) x)) [PROC] [710/8000] (exp (+ (log 1) (* 1 x))) [PROC] [470/8000] (exp (+ x (log 1))) [PROC] [830/8000] (* (exp (log 1)) (exp (* 1 x))) [PROC] [1388/8000] (exp (+ (* (exp (eml 1 (eml (eml 1 1) 1))) x) (eml 1 (eml (eml 1 1) 1)))) [PROC] [1400/8000] (exp (* (log (exp 1)) x)) [PROC] [1400/8000] (exp (* (exp (log 1)) x)) [PROC] [1508/8000] (* (exp (* (exp (eml 1 (eml (eml 1 1) 1))) x)) (exp (eml 1 (eml (eml 1 1) 1)))) [PROC] [1910/8000] (exp (+ (log (exp 0)) x)) [PROC] [1856/8000] (exp (+ (log (exp (eml 1 (eml (eml 1 1) 1)))) x)) [PROC] [1976/8000] (* (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (exp x)) [PROC] [2030/8000] (* (exp (log (exp 0))) (exp x)) [PROC] [2030/8000] (* (exp x) (log (exp (exp 0)))) [PROC] [1976/8000] (* (exp x) (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))) [PROC] [2144/8000] (exp (+ (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))) x)) [PROC] [2072/8000] (exp (+ (eml (exp (eml 1 (eml (eml 1 1) 1))) (eml (eml (exp (eml 1 (eml (eml 1 1) 1))) (exp (eml 1 (eml (eml 1 1) 1)))) (exp (eml 1 (eml (eml 1 1) 1))))) x)) [PROC] [2192/8000] (* (exp (eml (exp (eml 1 (eml (eml 1 1) 1))) (eml (eml (exp (eml 1 (eml (eml 1 1) 1))) (exp (eml 1 (eml (eml 1 1) 1)))) (exp (eml 1 (eml (eml 1 1) 1)))))) (exp x)) [PROC] [2264/8000] (* (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))) (exp x)) [PROC] [2270/8000] (exp (log (expt (exp 1) x))) [PROC] [920/8000] (exp (log (exp x))) [PROC] [2460/8000] (+ (exp (+ (* -1 (log 1)) x)) (* -1 (log 1))) [PROC] [343/8000] (eml (+ (* -1 (log 1)) x) 1) [PROC] [63/8000] (eml (+ 0 x) 1) Best expression found: (eml x 1)