e - 1
Original expression
(- e 1)
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 1) (* -1 1)) score: 220 [PROC] [220] (+ (exp 1) (* -1 1)) [PROC] [140] (+ -1 (exp 1)) [PROC] [620] (+ -1 (exp (exp 0))) [PROC] [602] (+ -1 (exp (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [630] (* 1 (+ -1 (* 1 (exp 1)))) [PROC] [1020] (+ (exp (exp 0)) (* -1 (exp 0))) [PROC] [990] (+ (exp (exp (eml 1 (eml (eml 1 1) 1)))) (* -1 (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [1340] (+ -1 (exp (log (exp 1)))) [PROC] [1340] (+ -1 (exp (exp (log 1)))) [PROC] [2220] (+ (exp (log (exp 1))) (* -1 (log (exp 1)))) [PROC] [253] (eml (log (exp 1)) (exp 1)) [PROC] [53] (eml 1 (exp 1)) [PROC] [296] (* 1 (eml 1 (* 1 (exp 1)))) [PROC] [373] (eml (exp 0) (exp (exp 0))) [PROC] [361] (eml (exp (eml 1 (eml (eml 1 1) 1))) (exp (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [853] (eml (log (exp 1)) (exp (log (exp 1)))) [PROC] [853] (eml (exp (log 1)) (exp (exp (log 1)))) [PROC] [1020] (+ (exp 1) (* -1 (log (exp 1)))) [PROC] [1213] (eml (log (exp (exp 0))) (exp (exp 0))) [PROC] [1177] (eml (log (exp (exp (eml 1 (eml (eml 1 1) 1))))) (exp (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [1600] (+ (exp 1) (log (expt (exp 1) -1))) [PROC] [700] (+ (exp 1) (log (exp -1))) [PROC] [1180] (+ (exp (exp 0)) (log (exp -1))) [PROC] [1162] (+ (exp (exp (eml 1 (eml (eml 1 1) 1)))) (log (exp -1))) [PROC] [1896] (* (exp 0) (eml (exp 0) (* (exp 0) (exp (exp 0))))) [PROC] [1656] (* (exp 0) (eml (exp 0) (exp (+ 0 (exp 0))))) [PROC] [136] (* 1 (eml 1 (exp 1))) [PROC] [936] (* (exp 0) (eml (exp 0) (exp (exp 0)))) [PROC] [906] (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (exp (eml 1 (eml (eml 1 1) 1))) (exp (exp (eml 1 (eml (eml 1 1) 1)))))) [PROC] [1596] (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (exp (eml 1 (eml (eml 1 1) 1))) (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (eml 1 (eml (eml 1 1) 1)))))) [PROC] [1836] (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (exp (eml 1 (eml (eml 1 1) 1))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (eml 1 (eml (eml 1 1) 1)))))) [PROC] [1900] (+ (exp (log (exp 1))) (log (exp -1))) [PROC] [1900] (+ (exp (exp (log 1))) (log (exp -1))) [PROC] [2070] (* 1 (+ (exp 1) (* -1 (log (exp 1))))) [PROC] [310] (* 1 (+ -1 (exp 1))) [PROC] [1430] (* (exp 0) (+ -1 (exp (exp 0)))) [PROC] [1388] (* (exp (eml 1 (eml (eml 1 1) 1))) (+ -1 (exp (exp (eml 1 (eml (eml 1 1) 1)))))) [PROC] [2116] (* 1 (eml (* 1 (log (* 1 (exp 1)))) (* 1 (exp 1)))) [PROC] [2136] (* (log (exp 1)) (eml (log (exp 1)) (exp (log (exp 1))))) [PROC] [2136] (* (exp (log 1)) (eml (exp (log 1)) (exp (exp (log 1))))) [PROC] [2220] (+ (exp (exp (log 1))) (* -1 (exp (log 1)))) [PROC] [2436] (* 1 (eml (* 1 (+ (log 1) (log (exp 1)))) (* 1 (exp 1)))) [PROC] [573] (eml (+ (log 1) (log (exp 1))) (exp 1)) [PROC] [173] (eml (+ 1 (log 1)) (exp 1)) [PROC] [493] (eml (log (* 1 (exp 1))) (exp 1)) [PROC] [493] (eml (+ 0 (log (exp 1))) (exp 1)) [PROC] [491] (eml (+ (log (exp 1)) (eml 1 (eml (eml 1 1) 1))) (exp 1)) [PROC] [91] (eml (+ 1 (eml 1 (eml (eml 1 1) 1))) (exp 1)) [PROC] [836] (* 1 (eml (* 1 (+ 1 (log 1))) (* 1 (exp 1)))) [PROC] [1053] (eml (+ (exp 0) (log (exp 0))) (exp (exp 0))) [PROC] [493] (eml (+ 0 (exp 0)) (exp (exp 0))) [PROC] [476] (eml (+ (exp (eml 1 (eml (eml 1 1) 1))) (eml 1 (eml (eml 1 1) 1))) (exp (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [1020] (eml (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (exp (eml 1 (eml (eml 1 1) 1))))) (exp (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [1131] (eml (+ (exp 0) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))) (exp (exp 0))) [PROC] [1092] (eml (+ (exp (eml 1 (eml (eml 1 1) 1))) (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 (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [1173] (eml (+ (exp (log 1)) (log 1)) (exp (exp (log 1)))) [PROC] [1740] (+ (exp (+ 1 (log 1))) (* -1 (log (exp 1)))) [PROC] [860] (+ -1 (exp (+ 1 (log 1)))) [PROC] [1100] (+ -1 (* (exp 1) (exp (log 1)))) [PROC] [620] (+ -1 (* (exp 0) (exp 1))) [PROC] [300] (+ -1 (* 1 (exp 1))) [PROC] [608] (+ -1 (* (exp 1) (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [368] (+ -1 (exp (+ 1 (eml 1 (eml (eml 1 1) 1))))) [PROC] [1580] (+ -1 (* (exp 0) (exp (exp 0)))) [PROC] [1340] (+ -1 (exp (+ 0 (exp 0)))) [PROC] [1292] (+ -1 (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (eml 1 (eml (eml 1 1) 1))))) [PROC] [1532] (+ -1 (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [1980] (+ (* -1 (log (exp 1))) (* (exp 1) (exp (log 1)))) [PROC] [1500] (+ (* -1 (log (exp 1))) (* (exp 0) (exp 1))) [PROC] [1180] (+ (* -1 (log (exp 1))) (* 1 (exp 1))) [PROC] [1488] (+ (* -1 (log (exp 1))) (* (exp 1) (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [1248] (+ (exp (+ 1 (eml 1 (eml (eml 1 1) 1)))) (* -1 (log (exp 1)))) [PROC] [1760] (+ (log (expt (exp 1) -1)) (* 1 (exp 1))) [PROC] [860] (+ (log (exp -1)) (* 1 (exp 1))) [PROC] [1828] (+ (exp (+ 1 (eml 1 (eml (eml 1 1) 1)))) (log (expt (exp 1) -1))) [PROC] [928] (+ (exp (+ 1 (eml 1 (eml (eml 1 1) 1)))) (log (exp -1))) [PROC] [1168] (+ (log (exp -1)) (* (exp 1) (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [1180] (+ (log (exp -1)) (* (exp 0) (exp 1))) [PROC] [1660] (+ (log (exp -1)) (* (exp 1) (exp (log 1)))) [PROC] [1420] (+ (exp (+ 1 (log 1))) (log (exp -1))) [PROC] [2068] (+ (log (expt (exp 1) -1)) (* (exp 1) (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [2080] (+ (log (expt (exp 1) -1)) (* (exp 0) (exp 1))) [PROC] [2116] (* 1 (eml (* 1 (+ 0 (log (exp 1)))) (* 1 (exp 1)))) [PROC] [1156] (* 1 (eml (* 1 (log (exp 1))) (* 1 (exp 1)))) [PROC] [2108] (* 1 (eml (* 1 (+ (log (exp 1)) (eml 1 (eml (eml 1 1) 1)))) (* 1 (exp 1)))) [PROC] [508] (* 1 (eml (* 1 (+ 1 (eml 1 (eml (eml 1 1) 1)))) (* 1 (exp 1)))) [PROC] [2140] (+ (log (exp -1)) (* (exp 0) (exp (exp 0)))) [PROC] [1900] (+ (exp (+ 0 (exp 0))) (log (exp -1))) [PROC] [1852] (+ (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (eml 1 (eml (eml 1 1) 1)))) (log (exp -1))) [PROC] [2092] (+ (log (exp -1)) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [2173] (eml (+ 0 (log (exp (exp 0)))) (exp (exp 0))) [PROC] [2108] (eml (+ (log (exp (exp (eml 1 (eml (eml 1 1) 1))))) (eml 1 (eml (eml 1 1) 1))) (exp (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [2320] (+ (exp (+ 1 (log 1))) (log (expt (exp 1) -1))) [PROC] [2373] (eml (+ (log (exp 1)) (log (log (exp 1)))) (exp (log (exp 1)))) [PROC] [2293] (eml (log (* (exp 1) (log (exp 1)))) (exp (log (exp 1)))) [PROC] [2373] (eml (+ (exp (log 1)) (log (exp (log 1)))) (exp (exp (log 1)))) [PROC] [2560] (+ (log (expt (exp 1) -1)) (* (exp 1) (exp (log 1)))) [PROC] [2653] (eml (log (exp (log (exp 1)))) (exp (log (exp 1)))) [PROC] [2653] (eml (log (exp (exp (log 1)))) (exp (exp (log 1)))) [PROC] [2653] (eml (log (* (exp 0) (exp (exp 0)))) (exp (exp 0))) [PROC] [2293] (eml (log (exp (+ 0 (exp 0)))) (exp (exp 0))) [PROC] [2212] (eml (log (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (eml 1 (eml (eml 1 1) 1))))) (exp (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [2572] (eml (log (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (eml 1 (eml (eml 1 1) 1))))) (exp (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [2652] (eml (+ (log (exp (exp (eml 1 (eml (eml 1 1) 1))))) (log (exp (eml 1 (eml (eml 1 1) 1))))) (exp (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [2691] (eml (+ (log (exp 1)) (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))) (exp (log (exp 1)))) [PROC] [2691] (eml (+ (exp (log 1)) (eml (exp (log 1)) (eml (eml (exp (log 1)) (exp (log 1))) (exp (log 1))))) (exp (exp (log 1)))) [PROC] [2733] (eml (+ (log (exp 0)) (log (exp (exp 0)))) (exp (exp 0))) [PROC] [2800] (+ (exp (log (exp 1))) (log (expt (exp 1) -1))) [PROC] [2811] (eml (+ (log (exp (exp 0))) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))) (exp (exp 0))) [PROC] [2724] (eml (+ (log (exp (exp (eml 1 (eml (eml 1 1) 1))))) (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 (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [2956] (* 1 (eml (* 1 (exp 0)) (* 1 (exp (* 1 (exp 0)))))) [PROC] [2872] (* 1 (eml (* 1 (exp (eml 1 (eml (eml 1 1) 1)))) (* 1 (exp (* 1 (exp (eml 1 (eml (eml 1 1) 1)))))))) [PROC] [3020] (+ -1 (* (exp 0) (exp (log (exp 1))))) [PROC] [2700] (+ -1 (* 1 (exp (log (exp 1))))) [PROC] [2780] (+ -1 (exp (+ 0 (log (exp 1))))) [PROC] [2768] (+ -1 (exp (+ (log (exp 1)) (eml 1 (eml (eml 1 1) 1))))) [PROC] [3008] (+ -1 (* (exp (log (exp 1))) (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [3110] (* (log (exp 1)) (+ -1 (exp (log (exp 1))))) [PROC] [3110] (* (exp (log 1)) (+ -1 (exp (exp (log 1))))) [PROC] [3230] (* 1 (+ (exp 1) (log (expt (exp 1) -1)))) [PROC] [1430] (* 1 (+ (exp 1) (log (exp -1)))) [PROC] [2550] (* (exp 0) (+ (exp (exp 0)) (log (exp -1)))) [PROC] [2508] (* (exp (eml 1 (eml (eml 1 1) 1))) (+ (exp (exp (eml 1 (eml (eml 1 1) 1)))) (log (exp -1)))) [PROC] [3260] (+ -1 (exp (+ (exp (log 1)) (log 1)))) [PROC] [3260] (+ -1 (exp (+ (log 1) (log (exp 1))))) [PROC] [2780] (+ -1 (exp (log (* 1 (exp 1))))) [PROC] [3350] (* (exp 0) (+ -1 (* (exp 0) (exp (exp 0))))) [PROC] [2870] (* (exp 0) (+ -1 (exp (+ 0 (exp 0))))) [PROC] [2768] (* (exp (eml 1 (eml (eml 1 1) 1))) (+ -1 (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (eml 1 (eml (eml 1 1) 1)))))) [PROC] [3248] (* (exp (eml 1 (eml (eml 1 1) 1))) (+ -1 (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (eml 1 (eml (eml 1 1) 1)))))) [PROC] [3500] (+ -1 (* (exp (log (exp 1))) (log (exp 1)))) [PROC] [3500] (+ -1 (* (exp (exp (log 1))) (exp (log 1)))) [PROC] [3500] (+ -1 (* (exp (log 1)) (exp (log (exp 1))))) [PROC] [3580] (+ (log (exp -1)) (* (exp 0) (exp (log (exp 1))))) [PROC] [3260] (+ (log (exp -1)) (* 1 (exp (log (exp 1))))) [PROC] [3340] (+ (exp (+ 0 (log (exp 1)))) (log (exp -1))) [PROC] [3328] (+ (exp (+ (log (exp 1)) (eml 1 (eml (eml 1 1) 1)))) (log (exp -1))) [PROC] [3568] (+ (log (exp -1)) (* (exp (log (exp 1))) (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [3660] (+ (exp (log (* 1 (exp 1)))) (* -1 (log (exp 1)))) [PROC] [3660] (+ (exp (+ 0 (log (exp 1)))) (* -1 (log (exp 1)))) [PROC] [3648] (+ (exp (+ (log (exp 1)) (eml 1 (eml (eml 1 1) 1)))) (* -1 (log (exp 1)))) [PROC] [3733] (eml (log (exp (exp 0))) (exp (log (exp (exp 0))))) [PROC] [3625] (eml (log (exp (exp (eml 1 (eml (eml 1 1) 1))))) (exp (log (exp (exp (eml 1 (eml (eml 1 1) 1))))))) [PROC] [3733] (eml (exp (log (exp 0))) (exp (exp (log (exp 0))))) [PROC] [3625] (eml (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (exp (exp (log (exp (eml 1 (eml (eml 1 1) 1))))))) [PROC] [3820] (+ (exp (+ (exp (log 1)) (log 1))) (log (exp -1))) [PROC] [3820] (+ (exp (+ (log 1) (log (exp 1)))) (log (exp -1))) [PROC] [3340] (+ (exp (log (* 1 (exp 1)))) (log (exp -1))) [PROC] [3888] (+ (* -1 (log (exp 1))) (* (exp (log (exp 1))) (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [3900] (+ (* -1 (log (exp 1))) (* (exp 0) (exp (log (exp 1))))) [PROC] [3580] (+ (* -1 (log (exp 1))) (* 1 (exp (log (exp 1))))) [PROC] [3990] (* 1 (+ (exp 1) (* -1 (log (* 1 (exp 1)))))) [PROC] [4056] (* (exp (log 1)) (eml (exp (log 1)) (exp (+ (exp (log 1)) (log 1))))) [PROC] [4060] (+ (log (exp -1)) (* (exp (log (exp 1))) (log (exp 1)))) [PROC] [4060] (+ (log (exp -1)) (* (exp (exp (log 1))) (exp (log 1)))) [PROC] [4060] (+ (log (exp -1)) (* (exp (log 1)) (exp (log (exp 1))))) [PROC] [4140] (+ (exp (+ (log 1) (log (exp 1)))) (* -1 (log (exp 1)))) [PROC] [4160] (+ (log (expt (exp 1) -1)) (* 1 (exp (log (exp 1))))) [PROC] [4201] (eml (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))) (exp (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))) [PROC] [4057] (eml (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 (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)))))))) [PROC] [4228] (+ (exp (+ (log (exp 1)) (eml 1 (eml (eml 1 1) 1)))) (log (expt (exp 1) -1))) [PROC] [4230] (* (log (exp 1)) (+ (exp (log (exp 1))) (log (exp -1)))) [PROC] [4230] (* (exp (log 1)) (+ (exp (exp (log 1))) (log (exp -1)))) [PROC] [4240] (+ (exp (log (* 1 (exp 1)))) (log (expt (exp 1) -1))) [PROC] [4240] (+ (exp (+ 0 (log (exp 1)))) (log (expt (exp 1) -1))) [PROC] [4296] (* (log (exp 1)) (eml (log (exp 1)) (* (exp (log (exp 1))) (log (exp 1))))) [PROC] [4296] (* (exp (log 1)) (eml (exp (log 1)) (* (exp (exp (log 1))) (exp (log 1))))) [PROC] [4380] (+ (exp (exp 0)) (* -1 (log (exp (exp 0))))) [PROC] [4254] (+ (exp (exp (eml 1 (eml (eml 1 1) 1)))) (* -1 (log (exp (exp (eml 1 (eml (eml 1 1) 1))))))) [PROC] [4380] (+ (* -1 (log (exp 1))) (* (exp (log 1)) (exp (log (exp 1))))) [PROC] [4468] (+ (log (expt (exp 1) -1)) (* (exp (log (exp 1))) (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [4480] (+ (log (expt (exp 1) -1)) (* (exp 0) (exp (log (exp 1))))) [PROC] [4630] (* 1 (+ (exp 1) (* -1 (+ (log 1) (log (exp 1)))))) [PROC] [1430] (* 1 (+ (exp 1) (* -1 (+ 1 (log 1))))) [PROC] [700] (+ (exp 1) (* -1 (+ 1 (log 1)))) [PROC] [2300] (+ (exp 1) (* -1 (+ (log 1) (log (exp 1))))) [PROC] [1980] (+ (exp 1) (* -1 (log (* 1 (exp 1))))) [PROC] [133] (eml 1 (* 1 (exp 1))) [PROC] [853] (eml (exp 0) (* (exp 0) (exp (exp 0)))) [PROC] [733] (eml (exp 0) (exp (+ 0 (exp 0)))) [PROC] [706] (eml (exp (eml 1 (eml (eml 1 1) 1))) (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (eml 1 (eml (eml 1 1) 1))))) [PROC] [826] (eml (exp (eml 1 (eml (eml 1 1) 1))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [1813] (eml (exp (log 1)) (exp (+ (exp (log 1)) (log 1)))) [PROC] [1933] (eml (log (exp 1)) (* (exp (log (exp 1))) (log (exp 1)))) [PROC] [1933] (eml (exp (log 1)) (* (exp (exp (log 1))) (exp (log 1)))) [PROC] [1980] (+ (exp 1) (* -1 (+ 0 (log (exp 1))))) [PROC] [1972] (+ (exp 1) (* -1 (+ (log (exp 1)) (eml 1 (eml (eml 1 1) 1))))) [PROC] [372] (+ (exp 1) (* -1 (+ 1 (eml 1 (eml (eml 1 1) 1))))) [PROC] [3040] (+ (exp 1) (log (expt (* 1 (exp 1)) -1))) [PROC] [3740] (+ (exp (exp 0)) (* -1 (+ (exp 0) (log (exp 0))))) [PROC] [1500] (+ (exp (exp 0)) (* -1 (+ 0 (exp 0)))) [PROC] [1450] (+ (exp (exp (eml 1 (eml (eml 1 1) 1)))) (* -1 (+ (exp (eml 1 (eml (eml 1 1) 1))) (eml 1 (eml (eml 1 1) 1))))) [PROC] [3500] (+ (exp (exp (log 1))) (* -1 (+ (exp (log 1)) (log 1)))) [PROC] [3626] (+ (exp (exp (eml 1 (eml (eml 1 1) 1)))) (* -1 (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (exp (eml 1 (eml (eml 1 1) 1))))))) [PROC] [3990] (* 1 (+ (exp 1) (* -1 (+ 0 (log (exp 1)))))) [PROC] [3974] (* 1 (+ (exp 1) (* -1 (+ (log (exp 1)) (eml 1 (eml (eml 1 1) 1)))))) [PROC] [774] (* 1 (+ (exp 1) (* -1 (+ 1 (eml 1 (eml (eml 1 1) 1)))))) [PROC] [4052] (+ (exp (exp 0)) (* -1 (+ (exp 0) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))) [PROC] [3914] (+ (exp (exp (eml 1 (eml (eml 1 1) 1)))) (* -1 (+ (exp (eml 1 (eml (eml 1 1) 1))) (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)))))))) [PROC] [4693] (eml (+ 0 (log (exp (log (exp 1))))) (exp (log (exp 1)))) [PROC] [4691] (eml (+ (log (exp (log (exp 1)))) (eml 1 (eml (eml 1 1) 1))) (exp (log (exp 1)))) [PROC] [4700] (+ -1 (exp (+ (exp 0) (log (exp 0))))) [PROC] [4556] (+ -1 (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (exp (eml 1 (eml (eml 1 1) 1))))))) [PROC] [4720] (+ (exp (+ (log 1) (log (exp 1)))) (log (expt (exp 1) -1))) [PROC] [4773] (eml (+ (log 1) (log (exp (exp (log 1))))) (exp (exp (log 1)))) [PROC] [4693] (eml (log (* 1 (exp (exp (log 1))))) (exp (exp (log 1)))) [PROC] [2173] (eml (log (* 1 (exp (exp 0)))) (exp (exp 0))) [PROC] [2110] (eml (log (* 1 (exp (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [2190] (eml (+ (log 1) (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [558] (eml (+ (exp (eml 1 (eml (eml 1 1) 1))) (log 1)) (exp (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [478] (eml (+ 0 (exp (eml 1 (eml (eml 1 1) 1)))) (exp (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [573] (eml (+ (exp 0) (log 1)) (exp (exp 0))) [PROC] [1773] (eml (+ (exp 0) (log (log (exp 1)))) (exp (exp 0))) [PROC] [1373] (eml (+ 1 (log (log (exp 1)))) (exp 1)) [PROC] [1758] (eml (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (log (exp 1)))) (exp (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [2110] (eml (+ 0 (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [2253] (eml (+ (log 1) (log (exp (exp 0)))) (exp (exp 0))) [PROC] [2373] (eml (+ (exp (log 1)) (log (log (exp 1)))) (exp (exp (log 1)))) [PROC] [3373] (eml (log (* (exp (exp 0)) (log (exp 1)))) (exp (exp 0))) [PROC] [1693] (eml (log (* (exp 1) (log (exp 1)))) (exp 1)) [PROC] [1773] (eml (+ (log (exp 1)) (log (log (exp 1)))) (exp 1)) [PROC] [3310] (eml (log (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (log (exp 1)))) (exp (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [3390] (eml (+ (log (exp (exp (eml 1 (eml (eml 1 1) 1))))) (log (log (exp 1)))) (exp (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [3453] (eml (+ (log (exp (exp 0))) (log (log (exp 1)))) (exp (exp 0))) [PROC] [4773] (eml (+ (log 1) (log (exp (log (exp 1))))) (exp (log (exp 1)))) [PROC] [4693] (eml (log (* 1 (exp (log (exp 1))))) (exp (log (exp 1)))) [PROC] [4796] (+ -1 (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (exp (eml 1 (eml (eml 1 1) 1))))))) [PROC] [4940] (+ -1 (* (exp (exp 0)) (exp (log (exp 0))))) [PROC] [4960] (+ (log (expt (exp 1) -1)) (* (exp (log 1)) (exp (log (exp 1))))) [PROC] [5100] (+ (exp (+ 0 (exp 0))) (* -1 (log (exp (exp 0))))) [PROC] [1740] (+ (exp (+ 0 (exp 0))) (* -1 (exp 0))) [PROC] [1680] (+ (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (eml 1 (eml (eml 1 1) 1)))) (* -1 (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [1920] (+ (* -1 (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [1980] (+ (* -1 (exp 0)) (* (exp 0) (exp (exp 0)))) [PROC] [4140] (+ (exp (+ (exp (log 1)) (log 1))) (* -1 (exp (log 1)))) [PROC] [4380] (+ (* -1 (exp (log 1))) (* (exp (exp (log 1))) (exp (log 1)))) [PROC] [4944] (+ (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (eml 1 (eml (eml 1 1) 1)))) (* -1 (log (exp (exp (eml 1 (eml (eml 1 1) 1))))))) [PROC] [5156] (* (exp 0) (eml (* (exp 0) (+ (exp 0) (log (exp 0)))) (* (exp 0) (exp (exp 0))))) [PROC] [2916] (* (exp 0) (eml (* (exp 0) (+ 0 (exp 0))) (* (exp 0) (exp (exp 0))))) [PROC] [2436] (* (exp 0) (eml (* (exp 0) (exp 0)) (* (exp 0) (exp (exp 0))))) [PROC] [2358] (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (* (exp (eml 1 (eml (eml 1 1) 1))) (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (eml 1 (eml (eml 1 1) 1)))))) [PROC] [1878] (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (exp (+ (eml 1 (eml (eml 1 1) 1)) (eml 1 (eml (eml 1 1) 1)))) (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (eml 1 (eml (eml 1 1) 1)))))) [PROC] [1950] (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (exp (* 2 (eml 1 (eml (eml 1 1) 1)))) (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (eml 1 (eml (eml 1 1) 1)))))) [PROC] [2190] (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (exp (* 2 (eml 1 (eml (eml 1 1) 1)))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (eml 1 (eml (eml 1 1) 1)))))) [PROC] [2304] (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (eml 1 (eml (eml 1 1) 1)))))) [PROC] [2064] (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (eml 1 (eml (eml 1 1) 1)))))) [PROC] [2136] (* (exp 0) (eml (expt (exp 0) 2) (exp (+ 0 (exp 0))))) [PROC] [296] (* 1 (eml (expt 1 2) (exp 1))) [PROC] [133] (eml (expt 1 2) (exp 1)) [PROC] [613] (eml (expt (exp 0) 2) (exp (exp 0))) [PROC] [595] (eml (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (exp (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [1333] (eml (expt (log (exp 1)) 2) (exp (log (exp 1)))) [PROC] [1333] (eml (expt (exp (log 1)) 2) (exp (exp (log 1)))) [PROC] [1416] (* (exp 0) (eml (expt (exp 0) 2) (exp (exp 0)))) [PROC] [1374] (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (exp (exp (eml 1 (eml (eml 1 1) 1)))))) [PROC] [1500] (+ (exp (expt 1 2)) (* -1 (log (exp 1)))) [PROC] [620] (+ -1 (exp (expt 1 2))) [PROC] [2060] (+ -1 (exp (expt (exp 0) 2))) [PROC] [2006] (+ -1 (exp (expt (exp (eml 1 (eml (eml 1 1) 1))) 2))) [PROC] [2080] (+ (exp (expt 1 2)) (log (expt (exp 1) -1))) [PROC] [1180] (+ (exp (expt 1 2)) (log (exp -1))) [PROC] [2376] (* (exp 0) (eml (expt (exp 0) 2) (* (exp 0) (exp (exp 0))))) [PROC] [456] (* 1 (eml (expt 1 2) (* 1 (exp 1)))) [PROC] [2620] (+ (exp (expt (exp 0) 2)) (log (exp -1))) [PROC] [2566] (+ (exp (expt (exp (eml 1 (eml (eml 1 1) 1))) 2)) (log (exp -1))) [PROC] [2676] (* (exp 0) (eml (* (exp 0) (+ 0 (exp 0))) (exp (+ 0 (exp 0))))) [PROC] [1476] (* (exp 0) (eml (* (exp 0) (exp 0)) (exp (exp 0)))) [PROC] [1428] (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (* (exp (eml 1 (eml (eml 1 1) 1))) (exp (eml 1 (eml (eml 1 1) 1)))) (exp (exp (eml 1 (eml (eml 1 1) 1)))))) [PROC] [1188] (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (exp (+ (eml 1 (eml (eml 1 1) 1)) (eml 1 (eml (eml 1 1) 1)))) (exp (exp (eml 1 (eml (eml 1 1) 1)))))) [PROC] [1260] (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (exp (* 2 (eml 1 (eml (eml 1 1) 1)))) (exp (exp (eml 1 (eml (eml 1 1) 1)))))) [PROC] [2578] (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (* (exp (eml 1 (eml (eml 1 1) 1))) (+ (exp (eml 1 (eml (eml 1 1) 1))) (eml 1 (eml (eml 1 1) 1)))) (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (eml 1 (eml (eml 1 1) 1)))))) [PROC] [2818] (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (* (exp (eml 1 (eml (eml 1 1) 1))) (+ (exp (eml 1 (eml (eml 1 1) 1))) (eml 1 (eml (eml 1 1) 1)))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (eml 1 (eml (eml 1 1) 1)))))) [PROC] [3030] (* 1 (+ (exp (expt 1 2)) (* -1 (log (exp 1))))) [PROC] [1270] (* 1 (+ -1 (exp (expt 1 2)))) [PROC] [3096] (* (log (exp 1)) (eml (expt (log (exp 1)) 2) (exp (log (exp 1))))) [PROC] [3096] (* (exp (log 1)) (eml (expt (exp (log 1)) 2) (exp (exp (log 1))))) [PROC] [3396] (* (exp (log 1)) (eml (* (exp (log 1)) (exp (log 1))) (exp (exp (log 1))))) [PROC] [3156] (* (exp (log 1)) (eml (exp (+ (log 1) (log 1))) (exp (exp (log 1))))) [PROC] [2736] (* (exp (log 1)) (eml (exp (* 2 (log 1))) (exp (exp (log 1))))) [PROC] [4190] (* 1 (+ (exp (expt 1 2)) (log (expt (exp 1) -1)))) [PROC] [2390] (* 1 (+ (exp (expt 1 2)) (log (exp -1)))) [PROC] [4220] (+ -1 (exp (expt (log (exp 1)) 2))) [PROC] [4220] (+ -1 (exp (expt (exp (log 1)) 2))) [PROC] [4310] (* (exp 0) (+ -1 (exp (expt (exp 0) 2)))) [PROC] [4196] (* (exp (eml 1 (eml (eml 1 1) 1))) (+ -1 (exp (expt (exp (eml 1 (eml (eml 1 1) 1))) 2)))) [PROC] [4780] (+ (exp (expt (log (exp 1)) 2)) (log (exp -1))) [PROC] [4780] (+ (exp (expt (exp (log 1)) 2)) (log (exp -1))) [PROC] [4916] (* (exp 0) (eml (* (exp 0) (+ (exp 0) (log (exp 0)))) (exp (+ 0 (exp 0))))) [PROC] [676] (* 1 (eml (* 1 (+ 1 (log 1))) (exp 1))) [PROC] [4196] (* (exp 0) (eml (* (exp 0) (+ (exp 0) (log (exp 0)))) (exp (exp 0)))) [PROC] [1956] (* (exp 0) (eml (* (exp 0) (+ 0 (exp 0))) (exp (exp 0)))) [PROC] [1888] (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (* (exp (eml 1 (eml (eml 1 1) 1))) (+ (exp (eml 1 (eml (eml 1 1) 1))) (eml 1 (eml (eml 1 1) 1)))) (exp (exp (eml 1 (eml (eml 1 1) 1)))))) [PROC] [4064] (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (* (exp (eml 1 (eml (eml 1 1) 1))) (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (exp (eml 1 (eml (eml 1 1) 1)))))) [PROC] [4676] (* (exp (log 1)) (eml (* (exp (log 1)) (+ (exp (log 1)) (log 1))) (exp (exp (log 1))))) [PROC] [4754] (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (* (exp (eml 1 (eml (eml 1 1) 1))) (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (eml 1 (eml (eml 1 1) 1)))))) [PROC] [4950] (* 1 (+ (exp (expt 1 2)) (* -1 (log (* 1 (exp 1)))))) [PROC] [4994] (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (* (exp (eml 1 (eml (eml 1 1) 1))) (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (exp (eml 1 (eml (eml 1 1) 1)))))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (eml 1 (eml (eml 1 1) 1)))))) [PROC] [5016] (* (exp (log 1)) (eml (expt (exp (log 1)) 2) (exp (+ (exp (log 1)) (log 1))))) [PROC] [5168] (+ -1 (exp (+ (exp 0) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))) [PROC] [4988] (+ -1 (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (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)))))))) [PROC] [5184] (+ (* -1 (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [5190] (* 1 (+ -1 (* 1 (exp (* 1 (exp 0)))))) [PROC] [5046] (* 1 (+ -1 (* 1 (exp (* 1 (exp (eml 1 (eml (eml 1 1) 1)))))))) [PROC] [5228] (+ -1 (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (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)))))))) [PROC] [5253] (eml (+ (exp (log (exp 0))) (log (exp 0))) (exp (exp (log (exp 0))))) [PROC] [5100] (eml (+ (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (log (exp (eml 1 (eml (eml 1 1) 1))))) (exp (exp (log (exp (eml 1 (eml (eml 1 1) 1))))))) [PROC] [5256] (* (exp (log 1)) (eml (expt (exp (log 1)) 2) (* (exp (exp (log 1))) (exp (log 1))))) [PROC] [5256] (* (log (exp 1)) (eml (expt (log (exp 1)) 2) (* (exp (log (exp 1))) (log (exp 1))))) [PROC] [5260] (+ (exp (+ (exp 0) (log (exp 0)))) (log (exp -1))) [PROC] [5116] (+ (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (exp (eml 1 (eml (eml 1 1) 1)))))) (log (exp -1))) [PROC] [5278] (eml (+ 0 (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))) (exp (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))) [PROC] [5096] (eml (+ (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)))))) (eml 1 (eml (eml 1 1) 1))) (exp (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)))))))) [PROC] [5310] (* 1 (+ (exp (* 1 (+ 1 (log 1)))) (* -1 (log (exp 1))))) [PROC] [3550] (* 1 (+ -1 (exp (* 1 (+ 1 (log 1)))))) [PROC] [5340] (+ (* -1 (log (exp (exp 0)))) (* (exp 0) (exp (exp 0)))) [PROC] [5356] (+ (log (exp -1)) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (exp (eml 1 (eml (eml 1 1) 1))))))) [PROC] [5408] (+ -1 (* (exp (exp 0)) (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))) [PROC] [5430] (* (exp 0) (+ (exp (expt (exp 0) 2)) (log (exp -1)))) [PROC] [5316] (* (exp (eml 1 (eml (eml 1 1) 1))) (+ (exp (expt (exp (eml 1 (eml (eml 1 1) 1))) 2)) (log (exp -1)))) [PROC] [5468] (* (exp 0) (eml (* (exp 0) (+ (exp 0) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))) (* (exp 0) (exp (exp 0))))) [PROC] [5228] (* (exp 0) (eml (* (exp 0) (+ (exp 0) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))) (exp (+ 0 (exp 0))))) [PROC] [348] (* 1 (eml (* 1 (+ 1 (eml 1 (eml (eml 1 1) 1)))) (exp 1))) [PROC] [4508] (* (exp 0) (eml (* (exp 0) (+ (exp 0) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))) (exp (exp 0)))) [PROC] [4352] (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (* (exp (eml 1 (eml (eml 1 1) 1))) (+ (exp (eml 1 (eml (eml 1 1) 1))) (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 (exp (eml 1 (eml (eml 1 1) 1)))))) [PROC] [5042] (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (* (exp (eml 1 (eml (eml 1 1) 1))) (+ (exp (eml 1 (eml (eml 1 1) 1))) (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 (+ (exp (eml 1 (eml (eml 1 1) 1))) (eml 1 (eml (eml 1 1) 1)))))) [PROC] [5282] (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (* (exp (eml 1 (eml (eml 1 1) 1))) (+ (exp (eml 1 (eml (eml 1 1) 1))) (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 (exp (eml 1 (eml (eml 1 1) 1)))) (exp (eml 1 (eml (eml 1 1) 1)))))) [PROC] [5500] (+ (log (exp -1)) (* (exp (exp 0)) (exp (log (exp 0))))) [PROC] [5533] (eml (log (exp (+ (exp (log 1)) (log 1)))) (exp (exp (log 1)))) [PROC] [5556] (* (exp (log 1)) (eml (* (exp (log 1)) (exp (log 1))) (* (exp (exp (log 1))) (exp (log 1))))) [PROC] [5076] (* (exp (log 1)) (eml (exp (+ (log 1) (log 1))) (exp (+ (exp (log 1)) (log 1))))) [PROC] [4656] (* (exp (log 1)) (eml (exp (* 2 (log 1))) (exp (+ (exp (log 1)) (log 1))))) [PROC] [4896] (* (exp (log 1)) (eml (exp (* 2 (log 1))) (* (exp (exp (log 1))) (exp (log 1))))) [PROC] [5580] (+ (exp (+ (exp 0) (log 1))) (* -1 (log (exp (exp 0))))) [PROC] [2220] (+ (exp (+ (exp 0) (log 1))) (* -1 (exp 0))) [PROC] [2172] (+ (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log 1))) (* -1 (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [1692] (+ (exp (+ 0 (exp (eml 1 (eml (eml 1 1) 1))))) (* -1 (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [1932] (+ (* -1 (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp 0) (exp (exp (eml 1 (eml (eml 1 1) 1)))))) [PROC] [1612] (+ (* -1 (exp (eml 1 (eml (eml 1 1) 1)))) (* 1 (exp (exp (eml 1 (eml (eml 1 1) 1)))))) [PROC] [1660] (+ (* -1 (exp 0)) (* 1 (exp (exp 0)))) [PROC] [2412] (+ (* -1 (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log 1)))) [PROC] [2460] (+ (* -1 (exp 0)) (* (exp (exp 0)) (exp (log 1)))) [PROC] [2460] (+ (* -1 (exp 0)) (* (exp (exp 0)) (log (exp 1)))) [PROC] [1100] (+ -1 (* (exp 1) (log (exp 1)))) [PROC] [2412] (+ (* -1 (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (log (exp 1)))) [PROC] [3580] (+ (* -1 (exp (log 1))) (* 1 (exp (exp (log 1))))) [PROC] [4380] (+ (* -1 (exp (log 1))) (* (exp (exp (log 1))) (log (exp 1)))) [PROC] [4940] (+ -1 (* (exp (exp 0)) (log (exp (exp 0))))) [PROC] [4796] (+ -1 (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (log (exp (exp (eml 1 (eml (eml 1 1) 1))))))) [PROC] [5100] (+ (exp (+ (exp 0) (log (exp 0)))) (* -1 (exp 0))) [PROC] [4944] (+ (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (exp (eml 1 (eml (eml 1 1) 1)))))) (* -1 (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [5184] (+ (* -1 (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (exp (eml 1 (eml (eml 1 1) 1))))))) [PROC] [5340] (+ (* -1 (exp 0)) (* (exp (exp 0)) (exp (log (exp 0))))) [PROC] [5340] (+ (* -1 (exp 0)) (* (exp (exp 0)) (log (exp (exp 0))))) [PROC] [5184] (+ (* -1 (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (log (exp (exp (eml 1 (eml (eml 1 1) 1))))))) [PROC] [5436] (+ (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log 1))) (* -1 (log (exp (exp (eml 1 (eml (eml 1 1) 1))))))) [PROC] [4956] (+ (exp (+ 0 (exp (eml 1 (eml (eml 1 1) 1))))) (* -1 (log (exp (exp (eml 1 (eml (eml 1 1) 1))))))) [PROC] [5196] (+ (* -1 (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))) (* (exp 0) (exp (exp (eml 1 (eml (eml 1 1) 1)))))) [PROC] [4876] (+ (* -1 (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))) (* 1 (exp (exp (eml 1 (eml (eml 1 1) 1)))))) [PROC] [5020] (+ (* -1 (log (exp (exp 0)))) (* 1 (exp (exp 0)))) [PROC] [5590] (* 1 (+ (exp (expt 1 2)) (* -1 (+ (log 1) (log (exp 1)))))) [PROC] [2390] (* 1 (+ (exp (expt 1 2)) (* -1 (+ 1 (log 1))))) [PROC] [1180] (+ (exp (expt 1 2)) (* -1 (+ 1 (log 1)))) [PROC] [2780] (+ (exp (expt 1 2)) (* -1 (+ (log 1) (log (exp 1))))) [PROC] [2460] (+ (exp (expt 1 2)) (* -1 (log (* 1 (exp 1))))) [PROC] [213] (eml (expt 1 2) (* 1 (exp 1))) [PROC] [1093] (eml (expt (exp 0) 2) (* (exp 0) (exp (exp 0)))) [PROC] [973] (eml (expt (exp 0) 2) (exp (+ 0 (exp 0)))) [PROC] [940] (eml (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (eml 1 (eml (eml 1 1) 1))))) [PROC] [1060] (eml (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [2293] (eml (expt (exp (log 1)) 2) (exp (+ (exp (log 1)) (log 1)))) [PROC] [2413] (eml (expt (log (exp 1)) 2) (* (exp (log (exp 1))) (log (exp 1)))) [PROC] [2413] (eml (expt (exp (log 1)) 2) (* (exp (exp (log 1))) (exp (log 1)))) [PROC] [2460] (+ (exp (expt 1 2)) (* -1 (+ 0 (log (exp 1))))) [PROC] [2452] (+ (exp (expt 1 2)) (* -1 (+ (log (exp 1)) (eml 1 (eml (eml 1 1) 1))))) [PROC] [852] (+ (exp (expt 1 2)) (* -1 (+ 1 (eml 1 (eml (eml 1 1) 1))))) [PROC] [3520] (+ (exp (expt 1 2)) (log (expt (* 1 (exp 1)) -1))) [PROC] [4950] (* 1 (+ (exp (expt 1 2)) (* -1 (+ 0 (log (exp 1)))))) [PROC] [4934] (* 1 (+ (exp (expt 1 2)) (* -1 (+ (log (exp 1)) (eml 1 (eml (eml 1 1) 1)))))) [PROC] [1734] (* 1 (+ (exp (expt 1 2)) (* -1 (+ 1 (eml 1 (eml (eml 1 1) 1)))))) [PROC] [5180] (+ (exp (expt (exp 0) 2)) (* -1 (+ (exp 0) (log (exp 0))))) [PROC] [2940] (+ (exp (expt (exp 0) 2)) (* -1 (+ 0 (exp 0)))) [PROC] [2460] (+ (exp (expt (exp 0) 2)) (* -1 (exp 0))) [PROC] [2394] (+ (exp (expt (exp (eml 1 (eml (eml 1 1) 1))) 2)) (* -1 (exp (eml 1 (eml (eml 1 1) 1))))) [PROC] [2854] (+ (exp (expt (exp (eml 1 (eml (eml 1 1) 1))) 2)) (* -1 (+ (exp (eml 1 (eml (eml 1 1) 1))) (eml 1 (eml (eml 1 1) 1))))) [PROC] [5030] (+ (exp (expt (exp (eml 1 (eml (eml 1 1) 1))) 2)) (* -1 (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (exp (eml 1 (eml (eml 1 1) 1))))))) [PROC] [5100] (+ (exp (expt (exp (log 1)) 2)) (* -1 (exp (log 1)))) [PROC] [5492] (+ (exp (expt (exp 0) 2)) (* -1 (+ (exp 0) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))) [PROC] [5318] (+ (exp (expt (exp (eml 1 (eml (eml 1 1) 1))) 2)) (* -1 (+ (exp (eml 1 (eml (eml 1 1) 1))) (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)))))))) [PROC] [5646] (+ (* -1 (log 1)) (eml (+ (* -1 (log 1)) 1) (+ (* -1 (log 1)) (exp (+ (* -1 (log 1)) 1))))) [PROC] [326] (+ 0 (eml 1 (+ (exp 1) 0))) [PROC] [320] (+ (eml 1 (+ (exp 1) (eml 1 (eml (eml 1 1) 1)))) (eml 1 (eml (eml 1 1) 1))) [PROC] [326] (+ 0 (eml 1 (+ 0 (exp 1)))) [PROC] [566] (+ (log 1) (eml 1 (+ (exp 1) (log 1)))) [PROC] [1446] (+ 0 (eml (exp 0) (+ 0 (exp (exp 0))))) [PROC] [1398] (+ (eml 1 (eml (eml 1 1) 1)) (eml (exp (eml 1 (eml (eml 1 1) 1))) (+ (exp (exp (eml 1 (eml (eml 1 1) 1)))) (eml 1 (eml (eml 1 1) 1))))) [PROC] [1612] (+ (* -1 (log 1)) (eml (+ 1 (* -1 (log 1))) (eml (+ 1 (* -1 (log 1))) 1))) [PROC] [52] (+ 0 (eml 1 (eml 1 1))) Best expression found: (eml 1 (eml 1 1))