eml(x, y) search

exp(1 - ln(x))

Original expression

(exp (- 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
(exp (+ 1 (* -1 (log x))))
score: 1370
[PROC] [1370/137000] (exp (+ 1 (* -1 (log x))))
[PROC] [1490/137000] (* (exp 1) (exp (* -1 (log x))))
[PROC] [1850/137000] (exp (+ (exp 0) (* -1 (log x))))
[PROC] [119/137000] (exp (eml 0 x))
[PROC] [116/137000] (exp (eml (eml 1 (eml (eml 1 1) 1)) x))
[PROC] [239/137000] (exp (eml (log 1) x))
[PROC] [959/137000] (exp (eml (log (exp 0)) x))
[PROC] [932/137000] (exp (eml (log (exp (eml 1 (eml (eml 1 1) 1)))) x))
[PROC] [1066/137000] (* 1 (exp (* 1 (eml 0 (* 1 x)))))
[PROC] [1054/137000] (* 1 (exp (* 1 (eml (eml 1 (eml (eml 1 1) 1)) (* 1 x)))))
[PROC] [1076/137000] (exp (eml (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))) x))
[PROC] [1040/137000] (exp (eml (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] [1546/137000] (* 1 (exp (* 1 (eml (log 1) (* 1 x)))))
[PROC] [1832/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x))))
[PROC] [1952/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* -1 (log x))))
[PROC] [1970/137000] (* (exp (exp 0)) (exp (* -1 (log x))))
[PROC] [2039/137000] (exp (eml (log (log (exp 1))) x))
[PROC] [2039/137000] (exp (eml (log (exp (log 1))) x))
[PROC] [2390/137000] (exp (+ 1 (log (expt x -1))))
[PROC] [2506/137000] (* 1 (exp (* 1 (eml (* 1 (log 1)) (* 1 x)))))
[PROC] [2510/137000] (* (exp 1) (exp (log (expt x -1))))
[PROC] [1490/137000] (* (exp 1) (exp (* (log x) -1)))
[PROC] [2516/137000] (exp (eml (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1)))) x))
[PROC] [2516/137000] (exp (eml (eml (exp (log 1)) (eml (eml (exp (log 1)) (exp (log 1))) (exp (log 1)))) x))
[PROC] [2570/137000] (exp (+ (log (exp 1)) (* -1 (log x))))
[PROC] [2570/137000] (exp (+ (exp (log 1)) (* -1 (log x))))
[PROC] [2690/137000] (* (exp (log (exp 1))) (exp (* -1 (log x))))
[PROC] [2690/137000] (* (exp (exp (log 1))) (exp (* -1 (log x))))
[PROC] [2852/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (expt x -1))))
[PROC] [2870/137000] (exp (+ (exp 0) (log (expt x -1))))
[PROC] [2972/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (expt x -1))))
[PROC] [1952/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* (log x) -1)))
[PROC] [2990/137000] (* (exp (exp 0)) (exp (log (expt x -1))))
[PROC] [1970/137000] (* (exp (exp 0)) (exp (* (log x) -1)))
[PROC] [3590/137000] (exp (+ (log (exp 1)) (log (expt x -1))))
[PROC] [3350/137000] (exp (log (* (exp 1) (expt x -1))))
[PROC] [3590/137000] (exp (+ (exp (log 1)) (log (expt x -1))))
[PROC] [3710/137000] (* (exp (log (exp 1))) (exp (log (expt x -1))))
[PROC] [2690/137000] (* (exp (log (exp 1))) (exp (* (log x) -1)))
[PROC] [3710/137000] (* (exp (exp (log 1))) (exp (log (expt x -1))))
[PROC] [2690/137000] (* (exp (exp (log 1))) (exp (* (log x) -1)))
[PROC] [3970/137000] (* 1 (exp (* 1 (eml (* 1 (eml 1 (* 1 (eml (* 1 (eml 1 1)) 1)))) (* 1 x)))))
[PROC] [4106/137000] (* (exp 0) (exp (* (exp 0) (eml 0 (* (exp 0) x)))))
[PROC] [3980/137000] (* (exp (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (eml 1 (eml (eml 1 1) 1)) (* (exp (eml 1 (eml (eml 1 1) 1))) x)))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [3860/137000] (exp (+ (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (eml 1 (eml (eml 1 1) 1)) (* (exp (eml 1 (eml (eml 1 1) 1))) x))) (eml 1 (eml (eml 1 1) 1))))
[PROC] [3986/137000] (exp (+ 0 (* (exp 0) (eml 0 (* (exp 0) x)))))
[PROC] [1106/137000] (exp (+ 0 (* 1 (eml 0 (* 1 x)))))
[PROC] [308/137000] (exp (+ 0 (eml 0 x)))
[PROC] [296/137000] (exp (+ (eml 1 (eml (eml 1 1) 1)) (eml (eml 1 (eml (eml 1 1) 1)) x)))
[PROC] [416/137000] (* (exp (eml 1 (eml (eml 1 1) 1))) (exp (eml (eml 1 (eml (eml 1 1) 1)) x)))
[PROC] [428/137000] (* (exp 0) (exp (eml 0 x)))
[PROC] [268/137000] (* 1 (exp (eml 0 x)))
[PROC] [262/137000] (* 1 (exp (eml (eml 1 (eml (eml 1 1) 1)) x)))
[PROC] [508/137000] (* 1 (exp (eml (log 1) x)))
[PROC] [518/137000] (exp (* 1 (eml 0 (* 1 x))))
[PROC] [512/137000] (exp (* 1 (eml (eml 1 (eml (eml 1 1) 1)) (* 1 x))))
[PROC] [668/137000] (* (exp (eml 0 x)) (log (exp 1)))
[PROC] [662/137000] (* (exp (eml (eml 1 (eml (eml 1 1) 1)) x)) (log (exp 1)))
[PROC] [758/137000] (exp (* 1 (eml (log 1) (* 1 x))))
[PROC] [788/137000] (exp (+ (log 1) (eml (log 1) x)))
[PROC] [908/137000] (* (exp (log 1)) (exp (eml (log 1) x)))
[PROC] [908/137000] (* (exp (eml (log 1) x)) (log (exp 1)))
[PROC] [1088/137000] (exp (+ (* 1 (eml (eml 1 (eml (eml 1 1) 1)) (* 1 x))) (eml 1 (eml (eml 1 1) 1))))
[PROC] [296/137000] (exp (+ (eml (eml 1 (eml (eml 1 1) 1)) x) (eml 1 (eml (eml 1 1) 1))))
[PROC] [1208/137000] (* (exp (* 1 (eml (eml 1 (eml (eml 1 1) 1)) (* 1 x)))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [1226/137000] (* (exp 0) (exp (* 1 (eml 0 (* 1 x)))))
[PROC] [1826/137000] (exp (+ (log 1) (* 1 (eml (log 1) (* 1 x)))))
[PROC] [788/137000] (exp (+ (eml (log 1) x) (log 1)))
[PROC] [1946/137000] (* (exp (log 1)) (exp (* 1 (eml (log 1) (* 1 x)))))
[PROC] [1958/137000] (exp (* (exp 0) (eml 0 (* (exp 0) x))))
[PROC] [1898/137000] (exp (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (eml 1 (eml (eml 1 1) 1)) (* (exp (eml 1 (eml (eml 1 1) 1))) x))))
[PROC] [2108/137000] (* (exp 0) (exp (eml (log (exp 0)) x)))
[PROC] [1988/137000] (exp (+ 0 (eml (log (exp 0)) x)))
[PROC] [548/137000] (exp (+ 0 (eml (log 1) x)))
[PROC] [542/137000] (exp (+ (eml 1 (eml (eml 1 1) 1)) (eml (log 1) x)))
[PROC] [302/137000] (exp (+ (eml 0 x) (eml 1 (eml (eml 1 1) 1))))
[PROC] [422/137000] (* (exp (eml 0 x)) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [662/137000] (* (exp (eml 1 (eml (eml 1 1) 1))) (exp (eml (log 1) x)))
[PROC] [668/137000] (* (exp 0) (exp (eml (log 1) x)))
[PROC] [1928/137000] (exp (+ (eml 1 (eml (eml 1 1) 1)) (eml (log (exp (eml 1 (eml (eml 1 1) 1)))) x)))
[PROC] [2048/137000] (* (exp (eml 1 (eml (eml 1 1) 1))) (exp (eml (log (exp (eml 1 (eml (eml 1 1) 1)))) x)))
[PROC] [2108/137000] (* (exp (eml 0 x)) (log (exp (exp 0))))
[PROC] [2048/137000] (* (exp (eml (eml 1 (eml (eml 1 1) 1)) x)) (log (exp (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [2222/137000] (exp (+ (eml 0 x) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [2144/137000] (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 (eml 1 (eml (eml 1 1) 1)) x)))
[PROC] [2264/137000] (* (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 (eml (eml 1 (eml (eml 1 1) 1)) x)))
[PROC] [2342/137000] (* (exp 0) (exp (eml (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))) x)))
[PROC] [2222/137000] (exp (+ 0 (eml (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))) x)))
[PROC] [302/137000] (exp (+ 0 (eml (eml 1 (eml (eml 1 1) 1)) x)))
[PROC] [422/137000] (* (exp 0) (exp (eml (eml 1 (eml (eml 1 1) 1)) x)))
[PROC] [542/137000] (exp (+ (log 1) (eml (eml 1 (eml (eml 1 1) 1)) x)))
[PROC] [548/137000] (exp (+ (log 1) (eml 0 x)))
[PROC] [662/137000] (* (exp (log 1)) (exp (eml (eml 1 (eml (eml 1 1) 1)) x)))
[PROC] [668/137000] (* (exp (log 1)) (exp (eml 0 x)))
[PROC] [1988/137000] (exp (+ (log (exp 0)) (eml 0 x)))
[PROC] [1928/137000] (exp (+ (log (exp (eml 1 (eml (eml 1 1) 1)))) (eml (eml 1 (eml (eml 1 1) 1)) x)))
[PROC] [2048/137000] (* (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (exp (eml (eml 1 (eml (eml 1 1) 1)) x)))
[PROC] [2108/137000] (* (exp (log (exp 0))) (exp (eml 0 x)))
[PROC] [2144/137000] (exp (+ (eml 1 (eml (eml 1 1) 1)) (eml (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] [2264/137000] (* (exp (eml 1 (eml (eml 1 1) 1))) (exp (eml (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] [2342/137000] (* (exp (eml 0 x)) (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [3638/137000] (exp (* (exp 0) (eml (log (exp 0)) (* (exp 0) x))))
[PROC] [3530/137000] (exp (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (log (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (eml 1 (eml (eml 1 1) 1))) x))))
[PROC] [3668/137000] (exp (+ (log (exp 0)) (eml (log (exp 0)) x)))
[PROC] [3560/137000] (exp (+ (log (exp (eml 1 (eml (eml 1 1) 1)))) (eml (log (exp (eml 1 (eml (eml 1 1) 1)))) x)))
[PROC] [3680/137000] (* (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (exp (eml (log (exp (eml 1 (eml (eml 1 1) 1)))) x)))
[PROC] [3730/137000] (* 1 (exp (+ (exp 0) (* -1 (log x)))))
[PROC] [2770/137000] (* 1 (exp (+ 1 (* -1 (log x)))))
[PROC] [3010/137000] (* 1 (* (exp 1) (exp (* -1 (log x)))))
[PROC] [1490/137000] (* 1 (exp 1) (exp (* -1 (log x))))
[PROC] [1650/137000] (* (exp (* -1 (log x))) (* 1 (exp 1)))
[PROC] [2130/137000] (* (exp 0) (exp (exp 0)) (exp (* -1 (log x))))
[PROC] [2106/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* -1 (log x))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [2510/137000] (* 1 (exp 1) (exp (log (expt x -1))))
[PROC] [1490/137000] (* 1 (exp 1) (exp (* (log x) -1)))
[PROC] [2670/137000] (* (exp (log (expt x -1))) (* 1 (exp 1)))
[PROC] [1650/137000] (* (exp (* (log x) -1)) (* 1 (exp 1)))
[PROC] [2930/137000] (* (exp (* -1 (log x))) (* (exp 0) (exp (exp 0))))
[PROC] [2570/137000] (exp (+ (* -1 (log x)) (+ 0 (exp 0))))
[PROC] [1370/137000] (exp (+ (* -1 (log x)) 1))
[PROC] [1910/137000] (exp (+ (* -1 (log x)) 0 (exp 0)))
[PROC] [1886/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x)) (eml 1 (eml (eml 1 1) 1))))
[PROC] [1910/137000] (exp (+ 0 (exp 0) (* -1 (log x))))
[PROC] [2522/137000] (exp (+ (* -1 (log x)) (+ (exp (eml 1 (eml (eml 1 1) 1))) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [1886/137000] (exp (+ (* -1 (log x)) (exp (eml 1 (eml (eml 1 1) 1))) (eml 1 (eml (eml 1 1) 1))))
[PROC] [2570/137000] (exp (+ (+ 0 (exp 0)) (* -1 (log x))))
[PROC] [2642/137000] (* (exp (* -1 (log x))) (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [2690/137000] (* (exp (* -1 (log x))) (exp (+ 0 (exp 0))))
[PROC] [2870/137000] (exp (+ (exp (log 1)) (log 1) (* -1 (log x))))
[PROC] [2882/137000] (* (exp (* -1 (log x))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [2906/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (expt x -1)) (eml 1 (eml (eml 1 1) 1))))
[PROC] [2930/137000] (exp (+ 0 (exp 0) (log (expt x -1))))
[PROC] [3090/137000] (* (exp (log (exp 1))) (exp (* -1 (log x))) (log (exp 1)))
[PROC] [3090/137000] (* (exp (exp (log 1))) (exp (log 1)) (exp (* -1 (log x))))
[PROC] [3126/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (expt x -1))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [2106/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* (log x) -1)) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [3150/137000] (* (exp 0) (exp (exp 0)) (exp (log (expt x -1))))
[PROC] [2130/137000] (* (exp 0) (exp (exp 0)) (exp (* (log x) -1)))
[PROC] [3320/137000] (exp (+ (+ (* -1 (log x)) (eml 1 (eml (eml 1 1) 1))) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [3320/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (+ (* -1 (log x)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [3350/137000] (exp (+ (exp 0) (+ 0 (* -1 (log x)))))
[PROC] [1850/137000] (exp (+ (* -1 (log x)) (exp 0)))
[PROC] [1910/137000] (exp (+ (exp 0) 0 (* -1 (log x))))
[PROC] [2870/137000] (exp (+ 1 (+ 0 (* -1 (log x)))))
[PROC] [2858/137000] (exp (+ 1 (+ (* -1 (log x)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [1424/137000] (exp (+ 1 (* -1 (log x)) (eml 1 (eml (eml 1 1) 1))))
[PROC] [2444/137000] (exp (+ 1 (log (expt x -1)) (eml 1 (eml (eml 1 1) 1))))
[PROC] [2804/137000] (exp (+ (+ 1 (* -1 (log x))) (eml 1 (eml (eml 1 1) 1))))
[PROC] [1424/137000] (exp (+ (eml 1 (eml (eml 1 1) 1)) 1 (* -1 (log x))))
[PROC] [2810/137000] (exp (+ 0 (+ 1 (* -1 (log x)))))
[PROC] [2858/137000] (exp (+ (+ (* -1 (log x)) (eml 1 (eml (eml 1 1) 1))) 1))
[PROC] [2924/137000] (* (exp (+ 1 (* -1 (log x)))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [2930/137000] (* (exp 0) (exp (+ 1 (* -1 (log x)))))
[PROC] [2978/137000] (* (exp 1) (exp (+ (* -1 (log x)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [2990/137000] (* (exp 1) (exp (+ 0 (* -1 (log x)))))
[PROC] [3050/137000] (exp (+ (log 1) (+ 1 (* -1 (log x)))))
[PROC] [1670/137000] (exp (+ (log 1) 1 (* -1 (log x))))
[PROC] [1670/137000] (exp (+ 1 (log 1) (* -1 (log x))))
[PROC] [2090/137000] (exp (+ (+ 1 (log 1)) (* -1 (log x))))
[PROC] [1670/137000] (exp (+ (* -1 (log x)) 1 (log 1)))
[PROC] [2090/137000] (exp (+ (* -1 (log x)) (+ 1 (log 1))))
[PROC] [2210/137000] (* (exp (* -1 (log x))) (exp (+ 1 (log 1))))
[PROC] [2450/137000] (* (exp (* -1 (log x))) (* (exp 1) (exp (log 1))))
[PROC] [1890/137000] (* (exp 1) (exp (log 1)) (exp (* -1 (log x))))
[PROC] [1650/137000] (* (exp 0) (exp 1) (exp (* -1 (log x))))
[PROC] [1644/137000] (* (exp 1) (exp (* -1 (log x))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [1970/137000] (* (exp (* -1 (log x))) (* (exp 0) (exp 1)))
[PROC] [1958/137000] (* (exp (* -1 (log x))) (* (exp 1) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [1598/137000] (exp (+ (* -1 (log x)) (+ 1 (eml 1 (eml (eml 1 1) 1)))))
[PROC] [1424/137000] (exp (+ (* -1 (log x)) 1 (eml 1 (eml (eml 1 1) 1))))
[PROC] [1718/137000] (* (exp (* -1 (log x))) (exp (+ 1 (eml 1 (eml (eml 1 1) 1)))))
[PROC] [2618/137000] (exp (+ (log (expt x -1)) (+ 1 (eml 1 (eml (eml 1 1) 1)))))
[PROC] [2390/137000] (exp (+ (log (expt x -1)) 1))
[PROC] [2444/137000] (exp (+ (log (expt x -1)) 1 (eml 1 (eml (eml 1 1) 1))))
[PROC] [2664/137000] (* (exp 1) (exp (log (expt x -1))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [1644/137000] (* (exp 1) (exp (* (log x) -1)) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [2670/137000] (* (exp 0) (exp 1) (exp (log (expt x -1))))
[PROC] [1650/137000] (* (exp 0) (exp 1) (exp (* (log x) -1)))
[PROC] [2690/137000] (exp (+ 1 (log 1) (log (expt x -1))))
[PROC] [2738/137000] (* (exp (log (expt x -1))) (exp (+ 1 (eml 1 (eml (eml 1 1) 1)))))
[PROC] [1718/137000] (* (exp (* (log x) -1)) (exp (+ 1 (eml 1 (eml (eml 1 1) 1)))))
[PROC] [2850/137000] (* (exp 0) (exp (log (exp 1))) (exp (* -1 (log x))))
[PROC] [2690/137000] (* 1 (exp (log (exp 1))) (exp (* -1 (log x))))
[PROC] [2844/137000] (* (exp (log (exp 1))) (exp (* -1 (log x))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [2910/137000] (* (exp 1) (exp (log 1)) (exp (log (expt x -1))))
[PROC] [1890/137000] (* (exp 1) (exp (log 1)) (exp (* (log x) -1)))
[PROC] [2978/137000] (* (exp (log (expt x -1))) (* (exp 1) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [1958/137000] (* (exp (* (log x) -1)) (* (exp 1) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [2990/137000] (* (exp (log (expt x -1))) (* (exp 0) (exp 1)))
[PROC] [1970/137000] (* (exp (* (log x) -1)) (* (exp 0) (exp 1)))
[PROC] [3090/137000] (* (exp (log 1)) (exp (log (exp 1))) (exp (* -1 (log x))))
[PROC] [3110/137000] (exp (+ (log (expt x -1)) (+ 1 (log 1))))
[PROC] [2690/137000] (exp (+ (log (expt x -1)) 1 (log 1)))
[PROC] [3110/137000] (exp (+ (+ 1 (log 1)) (log (expt x -1))))
[PROC] [3164/137000] (* (exp (eml 1 (eml (eml 1 1) 1))) (* (exp 1) (exp (* -1 (log x)))))
[PROC] [3170/137000] (* (exp 0) (* (exp 1) (exp (* -1 (log x)))))
[PROC] [3170/137000] (* (exp (log 1)) (exp (+ 1 (* -1 (log x)))))
[PROC] [3218/137000] (* (exp 1) (* (exp (* -1 (log x))) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [3230/137000] (* (exp 1) (* (exp 0) (exp (* -1 (log x)))))
[PROC] [2910/137000] (* (exp 1) (* 1 (exp (* -1 (log x)))))
[PROC] [3230/137000] (* (exp (log (expt x -1))) (exp (+ 1 (log 1))))
[PROC] [2210/137000] (* (exp (* (log x) -1)) (exp (+ 1 (log 1))))
[PROC] [3350/137000] (exp (+ 1 (+ (log 1) (* -1 (log x)))))
[PROC] [3350/137000] (exp (+ (+ (log 1) (* -1 (log x))) 1))
[PROC] [3410/137000] (* (exp (log 1)) (* (exp 1) (exp (* -1 (log x)))))
[PROC] [3440/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (+ (* -1 (log x)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [3470/137000] (* (exp (exp 0)) (exp (+ 0 (* -1 (log x)))))
[PROC] [3470/137000] (* (exp 1) (exp (+ (log 1) (* -1 (log x)))))
[PROC] [3470/137000] (* (exp (log (expt x -1))) (* (exp 1) (exp (log 1))))
[PROC] [2450/137000] (* (exp (* (log x) -1)) (* (exp 1) (exp (log 1))))
[PROC] [3542/137000] (exp (+ (log (expt x -1)) (+ (exp (eml 1 (eml (eml 1 1) 1))) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [2906/137000] (exp (+ (log (expt x -1)) (exp (eml 1 (eml (eml 1 1) 1))) (eml 1 (eml (eml 1 1) 1))))
[PROC] [3590/137000] (exp (+ (log (expt x -1)) (+ 0 (exp 0))))
[PROC] [2930/137000] (exp (+ (log (expt x -1)) 0 (exp 0)))
[PROC] [3590/137000] (exp (+ (+ 0 (exp 0)) (log (expt x -1))))
[PROC] [3590/137000] (exp (+ (exp 0) (log (exp 0)) (* -1 (log x))))
[PROC] [3518/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (exp (eml 1 (eml (eml 1 1) 1)))) (* -1 (log x))))
[PROC] [3662/137000] (* (exp (log (expt x -1))) (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [2642/137000] (* (exp (* (log x) -1)) (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [3680/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (* -1 (log x))) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [3694/137000] (* 1 (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x)))))
[PROC] [3710/137000] (* (exp (log (expt x -1))) (exp (+ 0 (exp 0))))
[PROC] [2690/137000] (* (exp (* (log x) -1)) (exp (+ 0 (exp 0))))
[PROC] [3710/137000] (* (exp 1) (* (exp (log 1)) (exp (* -1 (log x)))))
[PROC] [3710/137000] (* 1 (exp (log (exp 1))) (exp (log (expt x -1))))
[PROC] [2690/137000] (* 1 (exp (log (exp 1))) (exp (* (log x) -1)))
[PROC] [3710/137000] (* (exp (exp 0)) (* (exp 0) (exp (* -1 (log x)))))
[PROC] [3728/137000] (exp (+ (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x))) (eml 1 (eml (eml 1 1) 1))))
[PROC] [1886/137000] (exp (+ (eml 1 (eml (eml 1 1) 1)) (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x))))
[PROC] [3770/137000] (exp (+ 0 (+ (exp 0) (* -1 (log x)))))
[PROC] [3770/137000] (exp (+ (+ (exp 0) (* -1 (log x))) 0))
[PROC] [3788/137000] (* (exp (log (exp 0))) (exp (eml (log (exp 0)) x)))
[PROC] [3788/137000] (* (exp (eml (log (exp 0)) x)) (log (exp (exp 0))))
[PROC] [3680/137000] (* (exp (eml (log (exp (eml 1 (eml (eml 1 1) 1)))) x)) (log (exp (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [3810/137000] (* (exp (exp 0)) (exp (log (exp 0))) (exp (* -1 (log x))))
[PROC] [3738/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (exp (* -1 (log x))))
[PROC] [3824/137000] (exp (+ (exp 0) (* -1 (log x)) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [3734/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x)) (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] [3848/137000] (* (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x)))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [3864/137000] (* (exp (log (exp 1))) (exp (log (expt x -1))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [2844/137000] (* (exp (log (exp 1))) (exp (* (log x) -1)) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [3870/137000] (* (exp 0) (exp (log (exp 1))) (exp (log (expt x -1))))
[PROC] [2850/137000] (* (exp 0) (exp (log (exp 1))) (exp (* (log x) -1)))
[PROC] [3872/137000] (exp (* (exp 0) (eml (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))) (* (exp 0) x))))
[PROC] [3746/137000] (exp (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (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 (eml 1 (eml (eml 1 1) 1))) x))))
[PROC] [3890/137000] (* (exp 0) (exp (+ (exp 0) (* -1 (log x)))))
[PROC] [3890/137000] (exp (+ (exp (log 1)) (log 1) (log (expt x -1))))
[PROC] [3902/137000] (exp (+ (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))) (eml (log (exp 0)) x)))
[PROC] [3776/137000] (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 (log (exp (eml 1 (eml (eml 1 1) 1)))) x)))
[PROC] [3896/137000] (* (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 (eml (log (exp (eml 1 (eml (eml 1 1) 1)))) x)))
[PROC] [3902/137000] (exp (+ (log (exp 0)) (eml (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))) x)))
[PROC] [3776/137000] (exp (+ (log (exp (eml 1 (eml (eml 1 1) 1)))) (eml (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] [3896/137000] (* (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (exp (eml (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] [3902/137000] (* (exp (log (expt x -1))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [2882/137000] (* (exp (* (log x) -1)) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [3934/137000] (* 1 (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* -1 (log x)))))
[PROC] [1952/137000] (* 1 (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* -1 (log x))))
[PROC] [1970/137000] (* 1 (exp (exp 0)) (exp (* -1 (log x))))
[PROC] [2370/137000] (* (exp (exp 0)) (exp (* -1 (log x))) (log (exp 1)))
[PROC] [1890/137000] (* (exp 1) (exp (* -1 (log x))) (log (exp 1)))
[PROC] [2352/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* -1 (log x))) (log (exp 1)))
[PROC] [2574/137000] (* (exp (* -1 (log x))) (* 1 (exp (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [2610/137000] (* (exp (* -1 (log x))) (* 1 (exp (exp 0))))
[PROC] [2690/137000] (* 1 (exp (exp (log 1))) (exp (* -1 (log x))))
[PROC] [2910/137000] (* (exp 1) (exp (log (expt x -1))) (log (exp 1)))
[PROC] [1890/137000] (* (exp 1) (exp (* (log x) -1)) (log (exp 1)))
[PROC] [2972/137000] (* 1 (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (expt x -1))))
[PROC] [1952/137000] (* 1 (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* (log x) -1)))
[PROC] [2990/137000] (* 1 (exp (exp 0)) (exp (log (expt x -1))))
[PROC] [1970/137000] (* 1 (exp (exp 0)) (exp (* (log x) -1)))
[PROC] [3090/137000] (* (exp (exp (log 1))) (exp (* -1 (log x))) (log (exp 1)))
[PROC] [3372/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (expt x -1))) (log (exp 1)))
[PROC] [2352/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* (log x) -1)) (log (exp 1)))
[PROC] [3390/137000] (* (exp (exp 0)) (exp (log (expt x -1))) (log (exp 1)))
[PROC] [2370/137000] (* (exp (exp 0)) (exp (* (log x) -1)) (log (exp 1)))
[PROC] [3410/137000] (* (log (exp 1)) (* (exp 1) (exp (* -1 (log x)))))
[PROC] [3170/137000] (* (exp (+ 1 (* -1 (log x)))) (log (exp 1)))
[PROC] [3410/137000] (* (exp (* -1 (log x))) (* (exp (exp 0)) (log (exp 1))))
[PROC] [2450/137000] (* (exp (* -1 (log x))) (* (exp 1) (log (exp 1))))
[PROC] [3374/137000] (* (exp (* -1 (log x))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (log (exp 1))))
[PROC] [3470/137000] (* (exp (log (expt x -1))) (* (exp 1) (log (exp 1))))
[PROC] [2450/137000] (* (exp (* (log x) -1)) (* (exp 1) (log (exp 1))))
[PROC] [3594/137000] (* (exp (log (expt x -1))) (* 1 (exp (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [2574/137000] (* (exp (* (log x) -1)) (* 1 (exp (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [3630/137000] (* (exp (log (expt x -1))) (* 1 (exp (exp 0))))
[PROC] [2610/137000] (* (exp (* (log x) -1)) (* 1 (exp (exp 0))))
[PROC] [3710/137000] (* (exp 1) (* (exp (* -1 (log x))) (log (exp 1))))
[PROC] [3710/137000] (* 1 (exp (exp (log 1))) (exp (log (expt x -1))))
[PROC] [2690/137000] (* 1 (exp (exp (log 1))) (exp (* (log x) -1)))
[PROC] [3810/137000] (* (exp (exp 0)) (exp (* -1 (log x))) (log (exp (exp 0))))
[PROC] [3738/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* -1 (log x))) (log (exp (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [3950/137000] (* (exp (log (expt x -1))) (* (exp 0) (exp (exp 0))))
[PROC] [2930/137000] (* (exp (* (log x) -1)) (* (exp 0) (exp (exp 0))))
[PROC] [3970/137000] (* 1 (* (exp (exp 0)) (exp (* -1 (log x)))))
[PROC] [4010/137000] (exp (+ (log 1) (+ (exp 0) (* -1 (log x)))))
[PROC] [2150/137000] (exp (+ (log 1) (exp 0) (* -1 (log x))))
[PROC] [2132/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log 1) (* -1 (log x))))
[PROC] [1892/137000] (exp (+ 0 (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x))))
[PROC] [2150/137000] (exp (+ (exp 0) (log 1) (* -1 (log x))))
[PROC] [2534/137000] (exp (+ (+ 0 (exp (eml 1 (eml (eml 1 1) 1)))) (* -1 (log x))))
[PROC] [1892/137000] (exp (+ (* -1 (log x)) 0 (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [2534/137000] (exp (+ (* -1 (log x)) (+ 0 (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [2654/137000] (* (exp (* -1 (log x))) (exp (+ 0 (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [2894/137000] (* (exp (* -1 (log x))) (* (exp 0) (exp (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [2112/137000] (* (exp 0) (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* -1 (log x))))
[PROC] [2352/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log 1)) (exp (* -1 (log x))))
[PROC] [2370/137000] (* (exp (exp 0)) (exp (log 1)) (exp (* -1 (log x))))
[PROC] [2912/137000] (exp (+ 0 (exp (eml 1 (eml (eml 1 1) 1))) (log (expt x -1))))
[PROC] [3014/137000] (exp (+ (+ (exp (eml 1 (eml (eml 1 1) 1))) (log 1)) (* -1 (log x))))
[PROC] [2132/137000] (exp (+ (* -1 (log x)) (exp (eml 1 (eml (eml 1 1) 1))) (log 1)))
[PROC] [3014/137000] (exp (+ (* -1 (log x)) (+ (exp (eml 1 (eml (eml 1 1) 1))) (log 1))))
[PROC] [3050/137000] (exp (+ (+ (exp 0) (log 1)) (* -1 (log x))))
[PROC] [2150/137000] (exp (+ (* -1 (log x)) (exp 0) (log 1)))
[PROC] [3050/137000] (exp (+ (* -1 (log x)) (+ (exp 0) (log 1))))
[PROC] [3132/137000] (* (exp 0) (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (expt x -1))))
[PROC] [2112/137000] (* (exp 0) (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* (log x) -1)))
[PROC] [3134/137000] (* (exp (* -1 (log x))) (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log 1))))
[PROC] [3152/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log 1) (log (expt x -1))))
[PROC] [3170/137000] (exp (+ (exp 0) (log 1) (log (expt x -1))))
[PROC] [3170/137000] (* (exp (* -1 (log x))) (exp (+ (exp 0) (log 1))))
[PROC] [3372/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log 1)) (exp (log (expt x -1))))
[PROC] [2352/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log 1)) (exp (* (log x) -1)))
[PROC] [3374/137000] (* (exp (* -1 (log x))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log 1))))
[PROC] [3390/137000] (* (exp (exp 0)) (exp (log 1)) (exp (log (expt x -1))))
[PROC] [2370/137000] (* (exp (exp 0)) (exp (log 1)) (exp (* (log x) -1)))
[PROC] [3410/137000] (* (exp (* -1 (log x))) (* (exp (exp 0)) (exp (log 1))))
[PROC] [3554/137000] (exp (+ (log (expt x -1)) (+ 0 (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [2912/137000] (exp (+ (log (expt x -1)) 0 (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [3554/137000] (exp (+ (+ 0 (exp (eml 1 (eml (eml 1 1) 1)))) (log (expt x -1))))
[PROC] [3674/137000] (* (exp (log (expt x -1))) (exp (+ 0 (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [2654/137000] (* (exp (* (log x) -1)) (exp (+ 0 (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [3734/137000] (exp (+ (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x))) 0))
[PROC] [3734/137000] (exp (+ 0 (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x)))))
[PROC] [3812/137000] (exp (+ (+ (log 1) (* -1 (log x))) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [3332/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (+ 0 (* -1 (log x)))))
[PROC] [1832/137000] (exp (+ (* -1 (log x)) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [1892/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) 0 (* -1 (log x))))
[PROC] [3452/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (+ 0 (* -1 (log x)))))
[PROC] [3692/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp 0) (exp (* -1 (log x)))))
[PROC] [3372/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (* 1 (exp (* -1 (log x)))))
[PROC] [3390/137000] (* (exp (exp 0)) (* 1 (exp (* -1 (log x)))))
[PROC] [3812/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (+ (log 1) (* -1 (log x)))))
[PROC] [3830/137000] (exp (+ (+ (log 1) (* -1 (log x))) (exp 0)))
[PROC] [3830/137000] (exp (+ (exp 0) (+ (log 1) (* -1 (log x)))))
[PROC] [3854/137000] (* (exp 0) (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x)))))
[PROC] [3914/137000] (* (exp (log (expt x -1))) (* (exp 0) (exp (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [2894/137000] (* (exp (* (log x) -1)) (* (exp 0) (exp (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [3932/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (+ (log 1) (* -1 (log x)))))
[PROC] [3950/137000] (* (exp (exp 0)) (exp (+ (log 1) (* -1 (log x)))))
[PROC] [3974/137000] (exp (+ (log 1) (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x)))))
[PROC] [2132/137000] (exp (+ (log 1) (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x))))
[PROC] [4022/137000] (* (exp (eml (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))) x)) (log (exp (exp 0))))
[PROC] [3896/137000] (* (exp (eml (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)) (log (exp (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [4022/137000] (* (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))) (exp (eml (log (exp 0)) x)))
[PROC] [4022/137000] (* (exp (log (exp 0))) (exp (eml (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))) x)))
[PROC] [4034/137000] (exp (+ (log (expt x -1)) (+ (exp (eml 1 (eml (eml 1 1) 1))) (log 1))))
[PROC] [3152/137000] (exp (+ (log (expt x -1)) (exp (eml 1 (eml (eml 1 1) 1))) (log 1)))
[PROC] [4034/137000] (exp (+ (+ (exp (eml 1 (eml (eml 1 1) 1))) (log 1)) (log (expt x -1))))
[PROC] [4044/137000] (* (exp (exp 0)) (exp (* -1 (log x))) (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [3954/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* -1 (log x))) (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] [4050/137000] (* (exp (* -1 (log x))) (* 1 (exp (log (exp 1)))))
[PROC] [4050/137000] (* (exp (* -1 (log x))) (* 1 (exp (exp (log 1)))))
[PROC] [4070/137000] (exp (+ (log (exp 1)) (+ 0 (* -1 (log x)))))
[PROC] [2570/137000] (exp (+ (* -1 (log x)) (log (exp 1))))
[PROC] [2630/137000] (exp (+ (log (exp 1)) 0 (* -1 (log x))))
[PROC] [2624/137000] (exp (+ (log (exp 1)) (* -1 (log x)) (eml 1 (eml (eml 1 1) 1))))
[PROC] [2630/137000] (exp (+ 0 (log (exp 1)) (* -1 (log x))))
[PROC] [2870/137000] (exp (+ (log 1) (log (exp 1)) (* -1 (log x))))
[PROC] [3644/137000] (exp (+ (log (exp 1)) (log (expt x -1)) (eml 1 (eml (eml 1 1) 1))))
[PROC] [3650/137000] (exp (+ 0 (log (exp 1)) (log (expt x -1))))
[PROC] [3890/137000] (exp (+ (log 1) (log (exp 1)) (log (expt x -1))))
[PROC] [4010/137000] (exp (+ (+ 0 (log (exp 1))) (* -1 (log x))))
[PROC] [2630/137000] (exp (+ (* -1 (log x)) 0 (log (exp 1))))
[PROC] [3998/137000] (exp (+ (* -1 (log x)) (+ (log (exp 1)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [2624/137000] (exp (+ (* -1 (log x)) (log (exp 1)) (eml 1 (eml (eml 1 1) 1))))
[PROC] [4010/137000] (exp (+ (* -1 (log x)) (+ 0 (log (exp 1)))))
[PROC] [4058/137000] (exp (+ (log (exp 1)) (+ (* -1 (log x)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [4058/137000] (exp (+ (+ (* -1 (log x)) (eml 1 (eml (eml 1 1) 1))) (log (exp 1))))
[PROC] [4070/137000] (exp (+ (log (expt x -1)) (+ (exp 0) (log 1))))
[PROC] [3170/137000] (exp (+ (log (expt x -1)) (exp 0) (log 1)))
[PROC] [4070/137000] (exp (+ (+ (exp 0) (log 1)) (log (expt x -1))))
[PROC] [4088/137000] (* (exp (eml 1 (eml (eml 1 1) 1))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* -1 (log x)))))
[PROC] [4094/137000] (* (exp 0) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* -1 (log x)))))
[PROC] [4094/137000] (* (exp (log 1)) (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x)))))
[PROC] [4110/137000] (* (exp (log (exp 1))) (exp (log (expt x -1))) (log (exp 1)))
[PROC] [3090/137000] (* (exp (log (exp 1))) (exp (* (log x) -1)) (log (exp 1)))
[PROC] [4110/137000] (* (exp (exp (log 1))) (exp (log 1)) (exp (log (expt x -1))))
[PROC] [3090/137000] (* (exp (exp (log 1))) (exp (log 1)) (exp (* (log x) -1)))
[PROC] [4110/137000] (* (exp (log 1)) (exp (log (exp 1))) (exp (log (expt x -1))))
[PROC] [3090/137000] (* (exp (log 1)) (exp (log (exp 1))) (exp (* (log x) -1)))
[PROC] [4110/137000] (* (exp (exp (log 1))) (exp (log (expt x -1))) (log (exp 1)))
[PROC] [3090/137000] (* (exp (exp (log 1))) (exp (* (log x) -1)) (log (exp 1)))
[PROC] [4110/137000] (* (exp (exp (log 1))) (* 1 (exp (* -1 (log x)))))
[PROC] [4118/137000] (exp (* (log (exp 1)) (eml 0 (* (log (exp 1)) x))))
[PROC] [4112/137000] (exp (* (log (exp 1)) (eml (eml 1 (eml (eml 1 1) 1)) (* (log (exp 1)) x))))
[PROC] [4118/137000] (* (exp (* -1 (log x))) (exp (+ (log (exp 1)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [4130/137000] (* (exp (+ (exp 0) (* -1 (log x)))) (log (exp 1)))
[PROC] [4094/137000] (* (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x)))) (log (exp 1)))
[PROC] [4130/137000] (* (exp (log 1)) (exp (+ (exp 0) (* -1 (log x)))))
[PROC] [4130/137000] (* (exp 0) (* (exp (exp 0)) (exp (* -1 (log x)))))
[PROC] [4130/137000] (* (exp (* -1 (log x))) (exp (+ 0 (log (exp 1)))))
[PROC] [4136/137000] (exp (+ (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))) (eml (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))) x)))
[PROC] [3992/137000] (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 (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] [4112/137000] (* (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 (eml (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] [4148/137000] (exp (+ 0 (eml (log (log (exp 1))) x)))
[PROC] [4142/137000] (exp (+ (eml 1 (eml (eml 1 1) 1)) (eml (log (log (exp 1))) x)))
[PROC] [4148/137000] (exp (+ (log (log (exp 1))) (eml 0 x)))
[PROC] [4142/137000] (exp (+ (log (log (exp 1))) (eml (eml 1 (eml (eml 1 1) 1)) x)))
[PROC] [4154/137000] (* (exp (log (expt x -1))) (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log 1))))
[PROC] [3134/137000] (* (exp (* (log x) -1)) (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log 1))))
[PROC] [4172/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (* -1 (log x))) (log (exp 1))))
[PROC] [4172/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (log 1)) (exp (* -1 (log x)))))
[PROC] [4178/137000] (* (exp (log (exp 1))) (exp (+ (* -1 (log x)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [4190/137000] (* (exp (log (exp 1))) (exp (+ 0 (* -1 (log x)))))
[PROC] [4190/137000] (* (exp (exp 0)) (* (exp (* -1 (log x))) (log (exp 1))))
[PROC] [4190/137000] (* (exp (exp 0)) (* (exp (log 1)) (exp (* -1 (log x)))))
[PROC] [4190/137000] (* (exp (log (expt x -1))) (exp (+ (exp 0) (log 1))))
[PROC] [3170/137000] (* (exp (* (log x) -1)) (exp (+ (exp 0) (log 1))))
[PROC] [4256/137000] (* (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))) (exp (eml (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))) x)))
[PROC] [4262/137000] (* (exp (eml 1 (eml (eml 1 1) 1))) (exp (eml (log (log (exp 1))) x)))
[PROC] [4262/137000] (* (exp (log (log (exp 1)))) (exp (eml (eml 1 (eml (eml 1 1) 1)) x)))
[PROC] [4268/137000] (* (exp (eml 0 x)) (log (exp (log (exp 1)))))
[PROC] [4262/137000] (* (exp (eml (eml 1 (eml (eml 1 1) 1)) x)) (log (exp (log (exp 1)))))
[PROC] [4268/137000] (* (exp 0) (exp (eml (log (log (exp 1))) x)))
[PROC] [4108/137000] (* 1 (exp (eml (log (log (exp 1))) x)))
[PROC] [4268/137000] (* (exp (log (log (exp 1)))) (exp (eml 0 x)))
[PROC] [4334/137000] (* (log (exp 1)) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* -1 (log x)))))
[PROC] [4334/137000] (* (exp (log 1)) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* -1 (log x)))))
[PROC] [4358/137000] (exp (* (exp (log 1)) (eml (log 1) (* (exp (log 1)) x))))
[PROC] [4358/137000] (exp (* (log (exp 1)) (eml (log 1) (* (log (exp 1)) x))))
[PROC] [4358/137000] (* (exp (* -1 (log x))) (* (exp (log (exp 1))) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [4370/137000] (* (exp (* -1 (log x))) (* (exp 0) (exp (log (exp 1)))))
[PROC] [4370/137000] (* (log (exp 1)) (* (exp (exp 0)) (exp (* -1 (log x)))))
[PROC] [4370/137000] (* (exp (log 1)) (* (exp (exp 0)) (exp (* -1 (log x)))))
[PROC] [4388/137000] (exp (+ (log 1) (eml (log (exp (log 1))) x)))
[PROC] [4388/137000] (exp (+ (log (exp (log 1))) (eml (log 1) x)))
[PROC] [4388/137000] (exp (+ (log 1) (eml (log (log (exp 1))) x)))
[PROC] [4388/137000] (exp (+ (log (log (exp 1))) (eml (log 1) x)))
[PROC] [4394/137000] (* (exp (log (expt x -1))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (log (exp 1))))
[PROC] [3374/137000] (* (exp (* (log x) -1)) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (log (exp 1))))
[PROC] [4394/137000] (* (exp (log (expt x -1))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log 1))))
[PROC] [3374/137000] (* (exp (* (log x) -1)) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log 1))))
[PROC] [4418/137000] (* (exp (log (exp 1))) (* (exp (* -1 (log x))) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [4430/137000] (* (exp (log (exp 1))) (* (exp 0) (exp (* -1 (log x)))))
[PROC] [4110/137000] (* (exp (log (exp 1))) (* 1 (exp (* -1 (log x)))))
[PROC] [4430/137000] (* (exp (log (expt x -1))) (* (exp (exp 0)) (log (exp 1))))
[PROC] [3410/137000] (* (exp (* (log x) -1)) (* (exp (exp 0)) (log (exp 1))))
[PROC] [4430/137000] (* (exp (log (expt x -1))) (* (exp (exp 0)) (exp (log 1))))
[PROC] [3410/137000] (* (exp (* (log x) -1)) (* (exp (exp 0)) (exp (log 1))))
[PROC] [4490/137000] (exp (+ (* -1 (log x)) (+ (exp (log 1)) (log 1))))
[PROC] [2870/137000] (exp (+ (* -1 (log x)) (exp (log 1)) (log 1)))
[PROC] [4490/137000] (exp (+ (+ (exp (log 1)) (log 1)) (* -1 (log x))))
[PROC] [4490/137000] (exp (+ (+ (log 1) (log (exp 1))) (* -1 (log x))))
[PROC] [2870/137000] (exp (+ (* -1 (log x)) (log 1) (log (exp 1))))
[PROC] [4010/137000] (exp (+ (log (* 1 (exp 1))) (* -1 (log x))))
[PROC] [4130/137000] (* (exp (log (* 1 (exp 1)))) (exp (* -1 (log x))))
[PROC] [4490/137000] (exp (+ (* -1 (log x)) (+ (log 1) (log (exp 1)))))
[PROC] [4508/137000] (* (exp (eml (log (log (exp 1))) x)) (log (exp 1)))
[PROC] [4508/137000] (* (exp (log 1)) (exp (eml (log (exp (log 1))) x)))
[PROC] [4508/137000] (* (exp (eml (log 1) x)) (log (exp (exp (log 1)))))
[PROC] [4508/137000] (* (exp (log (exp (log 1)))) (exp (eml (log 1) x)))
[PROC] [4508/137000] (* (exp (eml (log 1) x)) (log (exp (log (exp 1)))))
[PROC] [4508/137000] (* (exp (log 1)) (exp (eml (log (log (exp 1))) x)))
[PROC] [4508/137000] (* (exp (log (log (exp 1)))) (exp (eml (log 1) x)))
[PROC] [4538/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (exp (eml 1 (eml (eml 1 1) 1)))) (log (expt x -1))))
[PROC] [4550/137000] (exp (+ (+ (log 1) (* -1 (log x))) (exp (log 1))))
[PROC] [4550/137000] (exp (+ (exp (log 1)) (+ (log 1) (* -1 (log x)))))
[PROC] [4550/137000] (exp (+ (log (exp 1)) (+ (log 1) (* -1 (log x)))))
[PROC] [2870/137000] (exp (+ (log (exp 1)) (log 1) (* -1 (log x))))
[PROC] [4610/137000] (* (exp (* -1 (log x))) (exp (+ (exp (log 1)) (log 1))))
[PROC] [4610/137000] (exp (+ (exp 0) (log (exp 0)) (log (expt x -1))))
[PROC] [4610/137000] (* (exp (* -1 (log x))) (exp (+ (log 1) (log (exp 1)))))
[PROC] [4670/137000] (* (exp (exp (log 1))) (exp (+ (log 1) (* -1 (log x)))))
[PROC] [4670/137000] (* (exp (log (exp 1))) (exp (+ (log 1) (* -1 (log x)))))
[PROC] [4754/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (expt x -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] [4758/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (exp (log (expt x -1))))
[PROC] [3738/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (exp (* (log x) -1)))
[PROC] [4758/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (expt x -1))) (log (exp (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [3738/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* (log x) -1)) (log (exp (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [4810/137000] (* 1 (exp (+ 1 (log (expt x -1)))))
[PROC] [4830/137000] (* (exp (exp 0)) (exp (log (exp 0))) (exp (log (expt x -1))))
[PROC] [3810/137000] (* (exp (exp 0)) (exp (log (exp 0))) (exp (* (log x) -1)))
[PROC] [4830/137000] (* (exp (exp 0)) (exp (log (expt x -1))) (log (exp (exp 0))))
[PROC] [3810/137000] (* (exp (exp 0)) (exp (* (log x) -1)) (log (exp (exp 0))))
[PROC] [4844/137000] (exp (+ (+ 1 (log (expt x -1))) (eml 1 (eml (eml 1 1) 1))))
[PROC] [2444/137000] (exp (+ (eml 1 (eml (eml 1 1) 1)) 1 (log (expt x -1))))
[PROC] [4844/137000] (exp (+ (exp 0) (log (expt x -1)) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [4850/137000] (* (exp (* -1 (log x))) (* (exp (log (exp 1))) (log (exp 1))))
[PROC] [4850/137000] (* (exp (* -1 (log x))) (* (exp (exp (log 1))) (exp (log 1))))
[PROC] [4850/137000] (exp (+ 0 (+ 1 (log (expt x -1)))))
[PROC] [4850/137000] (* (exp (* -1 (log x))) (* (exp (log 1)) (exp (log (exp 1)))))
[PROC] [4850/137000] (* (exp (* -1 (log x))) (* (exp (exp (log 1))) (log (exp 1))))
[PROC] [4898/137000] (exp (+ 1 (+ (log (expt x -1)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [4898/137000] (exp (+ (+ (log (expt x -1)) (eml 1 (eml (eml 1 1) 1))) 1))
[PROC] [4910/137000] (* (exp (log (exp 1))) (* (exp (* -1 (log x))) (log (exp 1))))
[PROC] [4910/137000] (* (exp (exp (log 1))) (* (exp (log 1)) (exp (* -1 (log x)))))
[PROC] [4910/137000] (exp (+ 1 (+ 0 (log (expt x -1)))))
[PROC] [4910/137000] (* (exp (exp (log 1))) (* (exp (* -1 (log x))) (log (exp 1))))
[PROC] [4910/137000] (* (exp (log (exp 1))) (* (exp (log 1)) (exp (* -1 (log x)))))
[PROC] [4950/137000] (* (exp 1) (* 1 (exp (log (expt x -1)))))
[PROC] [2910/137000] (* (exp 1) (* 1 (exp (* (log x) -1))))
[PROC] [4964/137000] (* (exp (+ 1 (log (expt x -1)))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [4970/137000] (* (exp 0) (exp (+ 1 (log (expt x -1)))))
[PROC] [4974/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (expt x -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] [3954/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* (log x) -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] [5018/137000] (* (exp 1) (exp (+ (log (expt x -1)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [5018/137000] (exp (+ (log (expt x -1)) (+ (log (exp 1)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [3644/137000] (exp (+ (log (expt x -1)) (log (exp 1)) (eml 1 (eml (eml 1 1) 1))))
[PROC] [5030/137000] (* (exp 1) (exp (+ 0 (log (expt x -1)))))
[PROC] [5030/137000] (exp (+ (+ 0 (log (exp 1))) (log (expt x -1))))
[PROC] [3650/137000] (exp (+ (log (expt x -1)) 0 (log (exp 1))))
[PROC] [5030/137000] (exp (+ (log (expt x -1)) (+ 0 (log (exp 1)))))
[PROC] [5030/137000] (exp (+ (log (* 1 (exp 1))) (log (expt x -1))))
[PROC] [4790/137000] (exp (log (* (* 1 (exp 1)) (expt x -1))))
[PROC] [3350/137000] (exp (log (* (expt x -1) 1 (exp 1))))
[PROC] [3350/137000] (exp (log (* 1 (exp 1) (expt x -1))))
[PROC] [5050/137000] (* 1 (* (exp 1) (exp (log (expt x -1)))))
[PROC] [3010/137000] (* 1 (* (exp 1) (exp (* (log x) -1))))
[PROC] [5064/137000] (* (exp (exp 0)) (exp (log (expt x -1))) (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [4044/137000] (* (exp (exp 0)) (exp (* (log x) -1)) (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [5070/137000] (* (exp (log (expt x -1))) (* 1 (exp (log (exp 1)))))
[PROC] [4050/137000] (* (exp (* (log x) -1)) (* 1 (exp (log (exp 1)))))
[PROC] [5070/137000] (* (exp (log (expt x -1))) (* 1 (exp (exp (log 1)))))
[PROC] [4050/137000] (* (exp (* (log x) -1)) (* 1 (exp (exp (log 1)))))
[PROC] [5090/137000] (exp (+ (log 1) (+ 1 (log (expt x -1)))))
[PROC] [2690/137000] (exp (+ (log 1) 1 (log (expt x -1))))
[PROC] [5102/137000] (exp (+ (eml 0 x) (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [5096/137000] (exp (+ (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1)))) (eml (eml 1 (eml (eml 1 1) 1)) x)))
[PROC] [5102/137000] (exp (+ 0 (eml (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1)))) x)))
[PROC] [5096/137000] (exp (+ (eml 1 (eml (eml 1 1) 1)) (eml (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1)))) x)))
[PROC] [5138/137000] (* (exp (log (expt x -1))) (exp (+ (log (exp 1)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [4118/137000] (* (exp (* (log x) -1)) (exp (+ (log (exp 1)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [5150/137000] (* (exp (log (expt x -1))) (exp (+ 0 (log (exp 1)))))
[PROC] [4130/137000] (* (exp (* (log x) -1)) (exp (+ 0 (log (exp 1)))))
[PROC] [5150/137000] (* (exp (log (* 1 (exp 1)))) (exp (log (expt x -1))))
[PROC] [4130/137000] (* (exp (log (* 1 (exp 1)))) (exp (* (log x) -1)))
[PROC] [5170/137000] (* 1 (exp (+ (exp (log 1)) (* -1 (log x)))))
[PROC] [5204/137000] (* (exp (eml 1 (eml (eml 1 1) 1))) (* (exp 1) (exp (log (expt x -1)))))
[PROC] [3164/137000] (* (exp (eml 1 (eml (eml 1 1) 1))) (* (exp 1) (exp (* (log x) -1))))
[PROC] [5204/137000] (exp (+ (+ (log (exp 1)) (* -1 (log x))) (eml 1 (eml (eml 1 1) 1))))
[PROC] [2624/137000] (exp (+ (eml 1 (eml (eml 1 1) 1)) (log (exp 1)) (* -1 (log x))))
[PROC] [5210/137000] (exp (+ 0 (+ (exp (log 1)) (* -1 (log x)))))
[PROC] [2630/137000] (exp (+ 0 (exp (log 1)) (* -1 (log x))))
[PROC] [2624/137000] (exp (+ (exp (log 1)) (* -1 (log x)) (eml 1 (eml (eml 1 1) 1))))
[PROC] [1904/137000] (exp (+ (exp 0) (* -1 (log x)) (eml 1 (eml (eml 1 1) 1))))
[PROC] [2924/137000] (exp (+ (exp 0) (log (expt x -1)) (eml 1 (eml (eml 1 1) 1))))
[PROC] [3338/137000] (exp (+ (+ (* -1 (log x)) (eml 1 (eml (eml 1 1) 1))) (exp 0)))
[PROC] [3338/137000] (exp (+ (exp 0) (+ (* -1 (log x)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [3458/137000] (* (exp (exp 0)) (exp (+ (* -1 (log x)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [3644/137000] (exp (+ (exp (log 1)) (log (expt x -1)) (eml 1 (eml (eml 1 1) 1))))
[PROC] [3650/137000] (exp (+ 0 (exp (log 1)) (log (expt x -1))))
[PROC] [3698/137000] (* (exp (exp 0)) (* (exp (* -1 (log x))) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [2124/137000] (* (exp (exp 0)) (exp (* -1 (log x))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [2844/137000] (* (exp (exp (log 1))) (exp (* -1 (log x))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [2850/137000] (* (exp 0) (exp (exp (log 1))) (exp (* -1 (log x))))
[PROC] [3144/137000] (* (exp (exp 0)) (exp (log (expt x -1))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [2124/137000] (* (exp (exp 0)) (exp (* (log x) -1)) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [3764/137000] (exp (+ (+ (exp 0) (* -1 (log x))) (eml 1 (eml (eml 1 1) 1))))
[PROC] [1904/137000] (exp (+ (eml 1 (eml (eml 1 1) 1)) (exp 0) (* -1 (log x))))
[PROC] [3864/137000] (* (exp (exp (log 1))) (exp (log (expt x -1))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [2844/137000] (* (exp (exp (log 1))) (exp (* (log x) -1)) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [3870/137000] (* (exp 0) (exp (exp (log 1))) (exp (log (expt x -1))))
[PROC] [2850/137000] (* (exp 0) (exp (exp (log 1))) (exp (* (log x) -1)))
[PROC] [3884/137000] (* (exp (+ (exp 0) (* -1 (log x)))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [4010/137000] (exp (+ (+ 0 (exp (log 1))) (* -1 (log x))))
[PROC] [2630/137000] (exp (+ (* -1 (log x)) 0 (exp (log 1))))
[PROC] [3998/137000] (exp (+ (* -1 (log x)) (+ (exp (log 1)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [2558/137000] (exp (+ (* -1 (log x)) (+ (exp 0) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [1904/137000] (exp (+ (* -1 (log x)) (exp 0) (eml 1 (eml (eml 1 1) 1))))
[PROC] [2624/137000] (exp (+ (* -1 (log x)) (exp (log 1)) (eml 1 (eml (eml 1 1) 1))))
[PROC] [2678/137000] (* (exp (* -1 (log x))) (exp (+ (exp 0) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [2918/137000] (* (exp (* -1 (log x))) (* (exp (exp 0)) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [3578/137000] (exp (+ (log (expt x -1)) (+ (exp 0) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [2924/137000] (exp (+ (log (expt x -1)) (exp 0) (eml 1 (eml (eml 1 1) 1))))
[PROC] [3698/137000] (* (exp (log (expt x -1))) (exp (+ (exp 0) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [2678/137000] (* (exp (* (log x) -1)) (exp (+ (exp 0) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [3938/137000] (* (exp (log (expt x -1))) (* (exp (exp 0)) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [2918/137000] (* (exp (* (log x) -1)) (* (exp (exp 0)) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [4010/137000] (exp (+ (* -1 (log x)) (+ 0 (exp (log 1)))))
[PROC] [4058/137000] (exp (+ (+ (* -1 (log x)) (eml 1 (eml (eml 1 1) 1))) (exp (log 1))))
[PROC] [4058/137000] (exp (+ (exp (log 1)) (+ (* -1 (log x)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [4070/137000] (exp (+ (exp (log 1)) (+ 0 (* -1 (log x)))))
[PROC] [2570/137000] (exp (+ (* -1 (log x)) (exp (log 1))))
[PROC] [2630/137000] (exp (+ (exp (log 1)) 0 (* -1 (log x))))
[PROC] [4118/137000] (* (exp (* -1 (log x))) (exp (+ (exp (log 1)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [4124/137000] (* (exp (eml 1 (eml (eml 1 1) 1))) (* (exp (exp 0)) (exp (* -1 (log x)))))
[PROC] [4130/137000] (* (exp (* -1 (log x))) (exp (+ 0 (exp (log 1)))))
[PROC] [4178/137000] (* (exp (exp (log 1))) (exp (+ (* -1 (log x)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [4190/137000] (* (exp (exp (log 1))) (exp (+ 0 (* -1 (log x)))))
[PROC] [4358/137000] (* (exp (* -1 (log x))) (* (exp (exp (log 1))) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [4370/137000] (* (exp (* -1 (log x))) (* (exp 0) (exp (exp (log 1)))))
[PROC] [4418/137000] (* (exp (exp (log 1))) (* (exp (* -1 (log x))) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [4430/137000] (* (exp (exp (log 1))) (* (exp 0) (exp (* -1 (log x)))))
[PROC] [5018/137000] (exp (+ (log (expt x -1)) (+ (exp (log 1)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [3644/137000] (exp (+ (log (expt x -1)) (exp (log 1)) (eml 1 (eml (eml 1 1) 1))))
[PROC] [5030/137000] (exp (+ (+ 0 (exp (log 1))) (log (expt x -1))))
[PROC] [3650/137000] (exp (+ (log (expt x -1)) 0 (exp (log 1))))
[PROC] [5030/137000] (exp (+ (log (expt x -1)) (+ 0 (exp (log 1)))))
[PROC] [5138/137000] (* (exp (log (expt x -1))) (exp (+ (exp (log 1)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [4118/137000] (* (exp (* (log x) -1)) (exp (+ (exp (log 1)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [5150/137000] (* (exp (log (expt x -1))) (exp (+ 0 (exp (log 1)))))
[PROC] [4130/137000] (* (exp (* (log x) -1)) (exp (+ 0 (exp (log 1)))))
[PROC] [5204/137000] (exp (+ (+ (exp (log 1)) (* -1 (log x))) (eml 1 (eml (eml 1 1) 1))))
[PROC] [2624/137000] (exp (+ (eml 1 (eml (eml 1 1) 1)) (exp (log 1)) (* -1 (log x))))
[PROC] [5210/137000] (exp (+ 0 (+ (log (exp 1)) (* -1 (log x)))))
[PROC] [5210/137000] (* (exp 0) (* (exp 1) (exp (log (expt x -1)))))
[PROC] [3170/137000] (* (exp 0) (* (exp 1) (exp (* (log x) -1))))
[PROC] [5210/137000] (* (exp (log 1)) (exp (+ 1 (log (expt x -1)))))
[PROC] [5210/137000] (* (exp (+ 1 (log (expt x -1)))) (log (exp 1)))
[PROC] [5210/137000] (exp (+ (+ (log (exp 1)) (* -1 (log x))) 0))
[PROC] [5210/137000] (exp (+ (+ (exp (log 1)) (* -1 (log x))) 0))
[PROC] [5216/137000] (* (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))) (exp (eml (eml 1 (eml (eml 1 1) 1)) x)))
[PROC] [5216/137000] (* (exp (eml 1 (eml (eml 1 1) 1))) (exp (eml (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1)))) x)))
[PROC] [5222/137000] (* (exp (eml 0 x)) (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [5222/137000] (* (exp 0) (exp (eml (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1)))) x)))
[PROC] [5062/137000] (* 1 (exp (eml (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1)))) x)))
[PROC] [5258/137000] (* (exp 1) (* (exp (log (expt x -1))) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [3218/137000] (* (exp 1) (* (exp (* (log x) -1)) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [5270/137000] (* (exp 1) (* (exp 0) (exp (log (expt x -1)))))
[PROC] [3230/137000] (* (exp 1) (* (exp 0) (exp (* (log x) -1))))
[PROC] [5324/137000] (* (exp (+ (log (exp 1)) (* -1 (log x)))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [5324/137000] (* (exp (+ (exp (log 1)) (* -1 (log x)))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [5330/137000] (* (exp 0) (exp (+ (exp (log 1)) (* -1 (log x)))))
[PROC] [5330/137000] (* (exp 0) (exp (+ (log (exp 1)) (* -1 (log x)))))
[PROC] [5170/137000] (* 1 (exp (+ (log (exp 1)) (* -1 (log x)))))
[PROC] [5342/137000] (exp (+ (eml (exp (log 1)) (eml (eml (exp (log 1)) (exp (log 1))) (exp (log 1)))) (eml (log 1) x)))
[PROC] [5342/137000] (exp (+ (log 1) (eml (eml (exp (log 1)) (eml (eml (exp (log 1)) (exp (log 1))) (exp (log 1)))) x)))
[PROC] [5342/137000] (exp (+ (eml (log 1) x) (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [5342/137000] (exp (+ (log 1) (eml (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1)))) x)))
[PROC] [5360/137000] (exp (+ (+ (log (expt x -1)) (eml 1 (eml (eml 1 1) 1))) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [5360/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (+ (log (expt x -1)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [5372/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (+ 0 (log (expt x -1)))))
[PROC] [2852/137000] (exp (+ (log (expt x -1)) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [2912/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) 0 (log (expt x -1))))
[PROC] [5378/137000] (* (exp (log (expt x -1))) (* (exp (log (exp 1))) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [4358/137000] (* (exp (* (log x) -1)) (* (exp (log (exp 1))) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [5378/137000] (exp (+ (+ (log (expt x -1)) (eml 1 (eml (eml 1 1) 1))) (exp 0)))
[PROC] [5378/137000] (exp (+ (exp 0) (+ (log (expt x -1)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [5378/137000] (* (exp (log (expt x -1))) (* (exp (exp (log 1))) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [4358/137000] (* (exp (* (log x) -1)) (* (exp (exp (log 1))) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [5390/137000] (exp (+ (exp 0) (+ 0 (log (expt x -1)))))
[PROC] [2870/137000] (exp (+ (log (expt x -1)) (exp 0)))
[PROC] [2930/137000] (exp (+ (exp 0) 0 (log (expt x -1))))
[PROC] [5390/137000] (exp (+ (+ (log 1) (log (expt x -1))) 1))
[PROC] [4910/137000] (exp (+ 1 (log (* 1 (expt x -1)))))
[PROC] [5030/137000] (* (exp 1) (exp (log (* 1 (expt x -1)))))
[PROC] [5390/137000] (exp (+ 1 (+ (log 1) (log (expt x -1)))))
[PROC] [5390/137000] (* (exp (log (expt x -1))) (* (exp 0) (exp (log (exp 1)))))
[PROC] [4370/137000] (* (exp (* (log x) -1)) (* (exp 0) (exp (log (exp 1)))))
[PROC] [5390/137000] (* (exp (log (expt x -1))) (* (exp 0) (exp (exp (log 1)))))
[PROC] [4370/137000] (* (exp (* (log x) -1)) (* (exp 0) (exp (exp (log 1)))))
[PROC] [5410/137000] (* 1 (* (exp (log (exp 1))) (exp (* -1 (log x)))))
[PROC] [5410/137000] (* 1 (* (exp (exp (log 1))) (exp (* -1 (log x)))))
[PROC] [5412/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (* 1 (exp (log (expt x -1)))))
[PROC] [3372/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (* 1 (exp (* (log x) -1))))
[PROC] [5430/137000] (* (exp (exp 0)) (* 1 (exp (log (expt x -1)))))
[PROC] [3390/137000] (* (exp (exp 0)) (* 1 (exp (* (log x) -1))))
[PROC] [5450/137000] (exp (+ (log 1) (+ (exp (log 1)) (* -1 (log x)))))
[PROC] [2870/137000] (exp (+ (log 1) (exp (log 1)) (* -1 (log x))))
[PROC] [5450/137000] (exp (+ (log (exp 0)) (+ (exp 0) (* -1 (log x)))))
[PROC] [3590/137000] (exp (+ (log (exp 0)) (exp 0) (* -1 (log x))))
[PROC] [5360/137000] (exp (+ (log (exp (eml 1 (eml (eml 1 1) 1)))) (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x)))))
[PROC] [3518/137000] (exp (+ (log (exp (eml 1 (eml (eml 1 1) 1)))) (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x))))
[PROC] [5450/137000] (* (exp (log 1)) (* (exp 1) (exp (log (expt x -1)))))
[PROC] [3410/137000] (* (exp (log 1)) (* (exp 1) (exp (* (log x) -1))))
[PROC] [5450/137000] (* (log (exp 1)) (* (exp 1) (exp (log (expt x -1)))))
[PROC] [3410/137000] (* (log (exp 1)) (* (exp 1) (exp (* (log x) -1))))
[PROC] [5450/137000] (exp (+ (+ (log (exp 1)) (* -1 (log x))) (log 1)))
[PROC] [5450/137000] (exp (+ (log 1) (+ (log (exp 1)) (* -1 (log x)))))
[PROC] [5462/137000] (* (exp (eml (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1)))) x)) (log (exp 1)))
[PROC] [5462/137000] (* (exp (log 1)) (exp (eml (eml (exp (log 1)) (eml (eml (exp (log 1)) (exp (log 1))) (exp (log 1)))) x)))
[PROC] [5462/137000] (* (exp (eml (exp (log 1)) (eml (eml (exp (log 1)) (exp (log 1))) (exp (log 1))))) (exp (eml (log 1) x)))
[PROC] [5462/137000] (* (exp (eml (log 1) x)) (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [5462/137000] (* (exp (log 1)) (exp (eml (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1)))) x)))
[PROC] [5480/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (+ (log (expt x -1)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [5480/137000] (* (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x)))))
[PROC] [5492/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (+ 0 (log (expt x -1)))))
[PROC] [5498/137000] (* (exp (exp 0)) (exp (+ (log (expt x -1)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [5510/137000] (* (exp (exp 0)) (exp (+ 0 (log (expt x -1)))))
[PROC] [5510/137000] (* (exp 1) (exp (+ (log 1) (log (expt x -1)))))
[PROC] [5510/137000] (exp (+ (log (expt x -1)) (+ (exp (log 1)) (log 1))))
[PROC] [3890/137000] (exp (+ (log (expt x -1)) (exp (log 1)) (log 1)))
[PROC] [5510/137000] (exp (+ (+ (exp (log 1)) (log 1)) (log (expt x -1))))
[PROC] [5510/137000] (exp (+ (+ (log 1) (log (exp 1))) (log (expt x -1))))
[PROC] [3890/137000] (exp (+ (log (expt x -1)) (log 1) (log (exp 1))))
[PROC] [5510/137000] (exp (+ (log (expt x -1)) (+ (log 1) (log (exp 1)))))
[PROC] [5564/137000] (* (exp (eml 1 (eml (eml 1 1) 1))) (* (exp (log (exp 1))) (exp (* -1 (log x)))))
[PROC] [5564/137000] (* (exp (eml 1 (eml (eml 1 1) 1))) (* (exp (exp (log 1))) (exp (* -1 (log x)))))
[PROC] [5570/137000] (* (exp (log 1)) (exp (+ (exp (log 1)) (* -1 (log x)))))
[PROC] [5570/137000] (* (exp (+ (exp (log 1)) (* -1 (log x)))) (log (exp 1)))
[PROC] [5570/137000] (* (exp (+ (exp 0) (* -1 (log x)))) (log (exp (exp 0))))
[PROC] [5480/137000] (* (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x)))) (log (exp (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [5570/137000] (* (exp (log (exp 0))) (exp (+ (exp 0) (* -1 (log x)))))
[PROC] [5570/137000] (* (exp (+ (log (exp 1)) (* -1 (log x)))) (log (exp 1)))
[PROC] [5570/137000] (* (exp 0) (* (exp (log (exp 1))) (exp (* -1 (log x)))))
[PROC] [5570/137000] (* (exp 0) (* (exp (exp (log 1))) (exp (* -1 (log x)))))
[PROC] [5570/137000] (* (exp (log 1)) (exp (+ (log (exp 1)) (* -1 (log x)))))
[PROC] [5576/137000] (exp (+ (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x))) (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] [3734/137000] (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 (eml 1 (eml (eml 1 1) 1))) (* -1 (log x))))
[PROC] [5630/137000] (* (exp (log (expt x -1))) (exp (+ (exp (log 1)) (log 1))))
[PROC] [4610/137000] (* (exp (* (log x) -1)) (exp (+ (exp (log 1)) (log 1))))
[PROC] [5630/137000] (* (exp (log (expt x -1))) (exp (+ (log 1) (log (exp 1)))))
[PROC] [4610/137000] (* (exp (* (log x) -1)) (exp (+ (log 1) (log (exp 1)))))
[PROC] [5684/137000] (exp (+ (+ (exp 0) (* -1 (log x))) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [3824/137000] (exp (+ (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))) (exp 0) (* -1 (log x))))
[PROC] [5696/137000] (* (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x)))) (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] [5720/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (log (expt x -1))) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [3680/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (* (log x) -1)) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [5720/137000] (* (log (exp (exp (eml 1 (eml (eml 1 1) 1))))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* -1 (log x)))))
[PROC] [5720/137000] (* (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* -1 (log x)))))
[PROC] [5732/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp 0) (exp (log (expt x -1)))))
[PROC] [3692/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp 0) (exp (* (log x) -1))))
[PROC] [5734/137000] (* 1 (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (expt x -1)))))
[PROC] [5738/137000] (* (exp (exp 0)) (* (exp (log (expt x -1))) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [3698/137000] (* (exp (exp 0)) (* (exp (* (log x) -1)) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [5750/137000] (* (exp 1) (* (exp (log 1)) (exp (log (expt x -1)))))
[PROC] [3710/137000] (* (exp 1) (* (exp (log 1)) (exp (* (log x) -1))))
[PROC] [5750/137000] (* (exp (exp 0)) (* (exp 0) (exp (log (expt x -1)))))
[PROC] [3710/137000] (* (exp (exp 0)) (* (exp 0) (exp (* (log x) -1))))
[PROC] [5750/137000] (* (exp 1) (* (exp (log (expt x -1))) (log (exp 1))))
[PROC] [3710/137000] (* (exp 1) (* (exp (* (log x) -1)) (log (exp 1))))
[PROC] [5750/137000] (exp (+ (exp 0) (log (log (exp 1))) (* -1 (log x))))
[PROC] [5270/137000] (exp (+ 1 (log (log (exp 1))) (* -1 (log x))))
[PROC] [5732/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (log (exp 1))) (* -1 (log x))))
[PROC] [5768/137000] (exp (+ (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (expt x -1))) (eml 1 (eml (eml 1 1) 1))))
[PROC] [2906/137000] (exp (+ (eml 1 (eml (eml 1 1) 1)) (exp (eml 1 (eml (eml 1 1) 1))) (log (expt x -1))))
[PROC] [5770/137000] (* 1 (exp (+ (exp 0) (log (expt x -1)))))
[PROC] [5774/137000] (exp (+ (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (expt x -1))) 0))
[PROC] [5774/137000] (exp (+ 0 (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (expt x -1)))))
[PROC] [5786/137000] (exp (+ (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (exp (eml 1 (eml (eml 1 1) 1))))) (* -1 (log x))))
[PROC] [3518/137000] (exp (+ (* -1 (log x)) (exp (eml 1 (eml (eml 1 1) 1))) (log (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [5786/137000] (exp (+ (* -1 (log x)) (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (exp (eml 1 (eml (eml 1 1) 1)))))))
[PROC] [5804/137000] (* (exp (+ (exp 0) (* -1 (log x)))) (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [5804/137000] (exp (+ (+ (exp 0) (log (expt x -1))) (eml 1 (eml (eml 1 1) 1))))
[PROC] [2924/137000] (exp (+ (eml 1 (eml (eml 1 1) 1)) (exp 0) (log (expt x -1))))
[PROC] [5810/137000] (* (log (exp 1)) (* (exp (log (exp 1))) (exp (* -1 (log x)))))
[PROC] [5810/137000] (exp (+ (+ (exp 0) (log (expt x -1))) 0))
[PROC] [5810/137000] (exp (+ 0 (+ (exp 0) (log (expt x -1)))))
[PROC] [5810/137000] (* (exp (log 1)) (* (exp (log (exp 1))) (exp (* -1 (log x)))))
[PROC] [5810/137000] (* (exp (log (exp 0))) (* (exp (exp 0)) (exp (* -1 (log x)))))
[PROC] [5810/137000] (* (log (exp 1)) (* (exp (exp (log 1))) (exp (* -1 (log x)))))
[PROC] [5810/137000] (* (log (exp (exp 0))) (* (exp (exp 0)) (exp (* -1 (log x)))))
[PROC] [5810/137000] (* (exp (log 1)) (* (exp (exp (log 1))) (exp (* -1 (log x)))))
[PROC] [5852/137000] (exp (+ (+ (log 1) (log (expt x -1))) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [5372/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (* 1 (expt x -1)))))
[PROC] [5390/137000] (exp (+ (exp 0) (log (* 1 (expt x -1)))))
[PROC] [5492/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (* 1 (expt x -1)))))
[PROC] [5510/137000] (* (exp (exp 0)) (exp (log (* 1 (expt x -1)))))
[PROC] [5852/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (+ (log 1) (log (expt x -1)))))
[PROC] [5870/137000] (* (exp (log (expt x -1))) (* (exp (log (exp 1))) (log (exp 1))))
[PROC] [4850/137000] (* (exp (* (log x) -1)) (* (exp (log (exp 1))) (log (exp 1))))
[PROC] [5870/137000] (* (exp (log (expt x -1))) (* (exp (exp (log 1))) (exp (log 1))))
[PROC] [4850/137000] (* (exp (* (log x) -1)) (* (exp (exp (log 1))) (exp (log 1))))
[PROC] [5870/137000] (exp (+ (+ (log 1) (log (expt x -1))) (exp 0)))
[PROC] [5870/137000] (exp (+ (exp 0) (+ (log 1) (log (expt x -1)))))
[PROC] [5870/137000] (* (exp (log (expt x -1))) (* (exp (log 1)) (exp (log (exp 1)))))
[PROC] [4850/137000] (* (exp (* (log x) -1)) (* (exp (log 1)) (exp (log (exp 1)))))
[PROC] [5870/137000] (* (exp (log (expt x -1))) (* (exp (exp (log 1))) (log (exp 1))))
[PROC] [4850/137000] (* (exp (* (log x) -1)) (* (exp (exp (log 1))) (log (exp 1))))
[PROC] [5888/137000] (* (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (expt x -1)))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [5894/137000] (* (exp 0) (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (expt x -1)))))
[PROC] [5906/137000] (* (exp (* -1 (log x))) (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (exp (eml 1 (eml (eml 1 1) 1)))))))
[PROC] [5924/137000] (* (exp (+ (exp 0) (log (expt x -1)))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [5930/137000] (exp (+ (* -1 (log x)) (+ (exp 0) (log (exp 0)))))
[PROC] [3590/137000] (exp (+ (* -1 (log x)) (exp 0) (log (exp 0))))
[PROC] [5930/137000] (exp (+ (+ (exp 0) (log (exp 0))) (* -1 (log x))))
[PROC] [5930/137000] (* (exp 0) (exp (+ (exp 0) (log (expt x -1)))))
[PROC] [5936/137000] (* (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 1 (eml (eml 1 1) 1)))) (exp (* -1 (log x)))))
[PROC] [5970/137000] (* (exp (exp 0)) (exp (* -1 (log x))) (log (exp (log (exp 1)))))
[PROC] [5490/137000] (* (exp 1) (exp (* -1 (log x))) (log (exp (log (exp 1)))))
[PROC] [5952/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* -1 (log x))) (log (exp (log (exp 1)))))
[PROC] [5970/137000] (* (exp (exp 0)) (exp (log (log (exp 1)))) (exp (* -1 (log x))))
[PROC] [5490/137000] (* (exp 1) (exp (log (log (exp 1)))) (exp (* -1 (log x))))
[PROC] [5952/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (log (exp 1)))) (exp (* -1 (log x))))
[PROC] [5972/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (+ (log 1) (log (expt x -1)))))
[PROC] [5974/137000] (* 1 (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (expt x -1)))))
[PROC] [3934/137000] (* 1 (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* (log x) -1))))
[PROC] [5990/137000] (* (exp (exp 0)) (exp (+ (log 1) (log (expt x -1)))))
[PROC] [6010/137000] (* 1 (* (exp (exp 0)) (exp (log (expt x -1)))))
[PROC] [3970/137000] (* 1 (* (exp (exp 0)) (exp (* (log x) -1))))
[PROC] [6014/137000] (exp (+ (log 1) (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (expt x -1)))))
[PROC] [3152/137000] (exp (+ (log 1) (exp (eml 1 (eml (eml 1 1) 1))) (log (expt x -1))))
[PROC] [6044/137000] (* (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))) (* (exp (exp 0)) (exp (* -1 (log x)))))
[PROC] [6050/137000] (* (exp (* -1 (log x))) (exp (+ (exp 0) (log (exp 0)))))
[PROC] [6050/137000] (exp (+ (log 1) (+ (exp 0) (log (expt x -1)))))
[PROC] [3170/137000] (exp (+ (log 1) (exp 0) (log (expt x -1))))
[PROC] [6098/137000] (exp (+ (+ (log (expt x -1)) (eml 1 (eml (eml 1 1) 1))) (log (exp 1))))
[PROC] [6098/137000] (exp (+ (log (exp 1)) (+ (log (expt x -1)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [6098/137000] (exp (+ (+ (log (expt x -1)) (eml 1 (eml (eml 1 1) 1))) (exp (log 1))))
[PROC] [6098/137000] (exp (+ (exp (log 1)) (+ (log (expt x -1)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [6110/137000] (exp (+ (log (exp 1)) (+ 0 (log (expt x -1)))))
[PROC] [3590/137000] (exp (+ (log (expt x -1)) (log (exp 1))))
[PROC] [3650/137000] (exp (+ (log (exp 1)) 0 (log (expt x -1))))
[PROC] [6110/137000] (exp (+ (exp (log 1)) (+ 0 (log (expt x -1)))))
[PROC] [3590/137000] (exp (+ (log (expt x -1)) (exp (log 1))))
[PROC] [3650/137000] (exp (+ (exp (log 1)) 0 (log (expt x -1))))
[PROC] [6110/137000] (exp (+ (exp (log 1)) (log (* 1 (expt x -1)))))
[PROC] [6128/137000] (* (exp (eml 1 (eml (eml 1 1) 1))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (expt x -1)))))
[PROC] [4088/137000] (* (exp (eml 1 (eml (eml 1 1) 1))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* (log x) -1))))
[PROC] [6134/137000] (* (exp 0) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (expt x -1)))))
[PROC] [4094/137000] (* (exp 0) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* (log x) -1))))
[PROC] [6134/137000] (* (exp (log 1)) (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (expt x -1)))))
[PROC] [6134/137000] (* (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (expt x -1)))) (log (exp 1)))
[PROC] [6146/137000] (* (exp (* -1 (log x))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (exp (eml 1 (eml (eml 1 1) 1)))))))
[PROC] [6150/137000] (* (exp (exp (log 1))) (* 1 (exp (log (expt x -1)))))
[PROC] [4110/137000] (* (exp (exp (log 1))) (* 1 (exp (* (log x) -1))))
[PROC] [6150/137000] (* (exp (log (exp 1))) (* 1 (exp (log (expt x -1)))))
[PROC] [4110/137000] (* (exp (log (exp 1))) (* 1 (exp (* (log x) -1))))
[PROC] [6164/137000] (* (exp (eml 1 (eml (eml 1 1) 1))) (* (exp (exp 0)) (exp (log (expt x -1)))))
[PROC] [4124/137000] (* (exp (eml 1 (eml (eml 1 1) 1))) (* (exp (exp 0)) (exp (* (log x) -1))))
[PROC] [6170/137000] (* (exp 0) (* (exp (exp 0)) (exp (log (expt x -1)))))
[PROC] [4130/137000] (* (exp 0) (* (exp (exp 0)) (exp (* (log x) -1))))
[PROC] [6170/137000] (* (exp (+ (exp 0) (log (expt x -1)))) (log (exp 1)))
[PROC] [6170/137000] (* (exp (log 1)) (exp (+ (exp 0) (log (expt x -1)))))
[PROC] [6212/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (log (expt x -1))) (log (exp 1))))
[PROC] [4172/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (* (log x) -1)) (log (exp 1))))
[PROC] [6212/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (log 1)) (exp (log (expt x -1)))))
[PROC] [4172/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (log 1)) (exp (* (log x) -1))))
[PROC] [6218/137000] (* (exp (log (exp 1))) (exp (+ (log (expt x -1)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [6218/137000] (* (exp (exp (log 1))) (exp (+ (log (expt x -1)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [6230/137000] (* (exp (exp 0)) (* (exp (log (expt x -1))) (log (exp 1))))
[PROC] [4190/137000] (* (exp (exp 0)) (* (exp (* (log x) -1)) (log (exp 1))))
[PROC] [6230/137000] (* (exp (exp 0)) (* (exp (log 1)) (exp (log (expt x -1)))))
[PROC] [4190/137000] (* (exp (exp 0)) (* (exp (log 1)) (exp (* (log x) -1))))
[PROC] [6230/137000] (* (exp (log (exp 1))) (exp (+ 0 (log (expt x -1)))))
[PROC] [6230/137000] (* (exp (exp (log 1))) (exp (+ 0 (log (expt x -1)))))
[PROC] [6230/137000] (* (exp (exp (log 1))) (exp (log (* 1 (expt x -1)))))
[PROC] [6290/137000] (* (exp (* -1 (log x))) (* (exp (exp 0)) (exp (log (exp 0)))))
[PROC] [6290/137000] (* (exp (* -1 (log x))) (* (exp (exp 0)) (log (exp (exp 0)))))
[PROC] [6146/137000] (* (exp (* -1 (log x))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))))
[PROC] [6290/137000] (exp (+ 1 (log (log (exp 1))) (log (expt x -1))))
[PROC] [6374/137000] (* (log (exp 1)) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (expt x -1)))))
[PROC] [4334/137000] (* (log (exp 1)) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* (log x) -1))))
[PROC] [6374/137000] (* (exp (log 1)) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (expt x -1)))))
[PROC] [4334/137000] (* (exp (log 1)) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* (log x) -1))))
[PROC] [6398/137000] (exp (+ (* -1 (log x)) (+ (exp 0) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))))
[PROC] [3824/137000] (exp (+ (* -1 (log x)) (exp 0) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [6218/137000] (exp (+ (* -1 (log x)) (+ (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] [3734/137000] (exp (+ (* -1 (log x)) (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] [6338/137000] (* (exp (* -1 (log x))) (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] [6410/137000] (* (log (exp 1)) (* (exp (exp 0)) (exp (log (expt x -1)))))
[PROC] [4370/137000] (* (log (exp 1)) (* (exp (exp 0)) (exp (* (log x) -1))))
[PROC] [6410/137000] (* (exp (log 1)) (* (exp (exp 0)) (exp (log (expt x -1)))))
[PROC] [4370/137000] (* (exp (log 1)) (* (exp (exp 0)) (exp (* (log x) -1))))
[PROC] [6458/137000] (* (exp (log (exp 1))) (* (exp (log (expt x -1))) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [4418/137000] (* (exp (log (exp 1))) (* (exp (* (log x) -1)) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [6458/137000] (* (exp (exp (log 1))) (* (exp (log (expt x -1))) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [4418/137000] (* (exp (exp (log 1))) (* (exp (* (log x) -1)) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [6470/137000] (exp (+ (log (exp 1)) (log (log (exp 1))) (* -1 (log x))))
[PROC] [6470/137000] (exp (+ (exp (log 1)) (log (exp (log 1))) (* -1 (log x))))
[PROC] [6470/137000] (* (exp (log (exp 1))) (* (exp 0) (exp (log (expt x -1)))))
[PROC] [4430/137000] (* (exp (log (exp 1))) (* (exp 0) (exp (* (log x) -1))))
[PROC] [6470/137000] (* (exp (exp (log 1))) (* (exp 0) (exp (log (expt x -1)))))
[PROC] [4430/137000] (* (exp (exp (log 1))) (* (exp 0) (exp (* (log x) -1))))
[PROC] [6470/137000] (exp (+ (exp (log 1)) (log (log (exp 1))) (* -1 (log x))))
[PROC] [6510/137000] (* (exp 1) (exp (log (expt x -1))) (log (exp (log (exp 1)))))
[PROC] [5490/137000] (* (exp 1) (exp (* (log x) -1)) (log (exp (log (exp 1)))))
[PROC] [6510/137000] (* (exp 1) (exp (log (log (exp 1)))) (exp (log (expt x -1))))
[PROC] [5490/137000] (* (exp 1) (exp (log (log (exp 1)))) (exp (* (log x) -1)))
[PROC] [6518/137000] (* (exp (* -1 (log x))) (exp (+ (exp 0) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))))
[PROC] [6578/137000] (* (exp (* -1 (log x))) (* (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] [6584/137000] (exp (+ (+ (log (exp (eml 1 (eml (eml 1 1) 1)))) (* -1 (log x))) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [6584/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (+ (log (exp (eml 1 (eml (eml 1 1) 1)))) (* -1 (log x)))))
[PROC] [6590/137000] (exp (+ (+ (log 1) (log (expt x -1))) (exp (log 1))))
[PROC] [6590/137000] (exp (+ (exp (log 1)) (+ (log 1) (log (expt x -1)))))
[PROC] [6590/137000] (exp (+ (log (exp 1)) (+ (log 1) (log (expt x -1)))))
[PROC] [3890/137000] (exp (+ (log (exp 1)) (log 1) (log (expt x -1))))
[PROC] [5870/137000] (exp (log (* (exp 1) (* 1 (expt x -1)))))
[PROC] [3350/137000] (exp (log (* (exp 1) 1 (expt x -1))))
[PROC] [3350/137000] (exp (log (* (expt x -1) (exp 1))))
[PROC] [6110/137000] (exp (+ (log (exp 1)) (log (* 1 (expt x -1)))))
[PROC] [6230/137000] (* (exp (log (exp 1))) (exp (log (* 1 (expt x -1)))))
[PROC] [6620/137000] (exp (* 1 (+ (exp 0) (* -1 (log (* 1 x))))))
[PROC] [5660/137000] (exp (* 1 (+ 1 (* -1 (log (* 1 x))))))
[PROC] [6584/137000] (exp (* 1 (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log (* 1 x))))))
[PROC] [6690/137000] (* (exp (log (exp 1))) (exp (log (log (exp 1)))) (exp (* -1 (log x))))
[PROC] [6690/137000] (* (exp (exp (log 1))) (exp (log (exp (log 1)))) (exp (* -1 (log x))))
[PROC] [6690/137000] (* (exp (log (exp 1))) (exp (* -1 (log x))) (log (exp (log (exp 1)))))
[PROC] [6690/137000] (* (exp (exp (log 1))) (exp (* -1 (log x))) (log (exp (exp (log 1)))))
[PROC] [6690/137000] (* (exp (exp (log 1))) (exp (* -1 (log x))) (log (exp (log (exp 1)))))
[PROC] [6690/137000] (* (exp (exp (log 1))) (exp (log (log (exp 1)))) (exp (* -1 (log x))))
[PROC] [6704/137000] (exp (+ (exp 0) (* -1 (log x)) (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [6224/137000] (exp (+ 1 (* -1 (log x)) (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [6686/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x)) (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [6704/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (+ (log (exp (eml 1 (eml (eml 1 1) 1)))) (* -1 (log x)))))
[PROC] [6710/137000] (exp (+ (exp 0) (+ (log (exp 0)) (* -1 (log x)))))
[PROC] [6710/137000] (exp (+ (+ (log (exp 0)) (* -1 (log x))) (exp 0)))
[PROC] [6710/137000] (* (exp (exp (log 1))) (exp (+ (log 1) (log (expt x -1)))))
[PROC] [6710/137000] (* (exp (log (exp 1))) (exp (+ (log 1) (log (expt x -1)))))
[PROC] [6752/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (log (exp 1))) (log (expt x -1))))
[PROC] [6758/137000] (* (exp (* -1 (log x))) (* (exp (exp 0)) (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))))
[PROC] [6770/137000] (exp (+ (exp 0) (log (log (exp 1))) (log (expt x -1))))
[PROC] [6770/137000] (exp (log (* (* (exp 1) (expt x -1)) 1)))
[PROC] [6770/137000] (exp (log (* 1 (* (exp 1) (expt x -1)))))
[PROC] [6806/137000] (exp (+ (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (exp (eml 1 (eml (eml 1 1) 1))))) (log (expt x -1))))
[PROC] [4538/137000] (exp (+ (log (expt x -1)) (exp (eml 1 (eml (eml 1 1) 1))) (log (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [6806/137000] (exp (+ (log (expt x -1)) (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (exp (eml 1 (eml (eml 1 1) 1)))))))
[PROC] [6830/137000] (* (exp (exp 0)) (exp (+ (log (exp 0)) (* -1 (log x)))))
[PROC] [6890/137000] (exp (+ (exp (log (exp 0))) (* -1 (log x))))
[PROC] [6728/137000] (exp (+ (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (* -1 (log x))))
[PROC] [6848/137000] (* (exp (exp (log (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (* -1 (log x))))
[PROC] [6890/137000] (exp (+ (log (exp (exp 0))) (* -1 (log x))))
[PROC] [6728/137000] (exp (+ (log (exp (exp (eml 1 (eml (eml 1 1) 1))))) (* -1 (log x))))
[PROC] [6848/137000] (* (exp (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (* -1 (log x))))
[PROC] [6924/137000] (* (exp (exp 0)) (exp (* -1 (log x))) (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [6444/137000] (* (exp 1) (exp (* -1 (log x))) (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [6906/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* -1 (log x))) (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [6926/137000] (* (exp (log (expt x -1))) (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (exp (eml 1 (eml (eml 1 1) 1)))))))
[PROC] [5906/137000] (* (exp (* (log x) -1)) (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (exp (eml 1 (eml (eml 1 1) 1)))))))
[PROC] [6944/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (exp (* -1 (log x)))))
[PROC] [6944/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (* -1 (log x))) (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))))
[PROC] [6950/137000] (exp (+ (log (expt x -1)) (+ (exp 0) (log (exp 0)))))
[PROC] [4610/137000] (exp (+ (log (expt x -1)) (exp 0) (log (exp 0))))
[PROC] [6950/137000] (exp (+ 0 (log (exp (exp 0))) (* -1 (log x))))
[PROC] [6782/137000] (exp (+ (log (exp (exp (eml 1 (eml (eml 1 1) 1))))) (* -1 (log x)) (eml 1 (eml (eml 1 1) 1))))
[PROC] [6950/137000] (* (exp (log (exp 1))) (* (exp (log (expt x -1))) (log (exp 1))))
[PROC] [4910/137000] (* (exp (log (exp 1))) (* (exp (* (log x) -1)) (log (exp 1))))
[PROC] [6950/137000] (* (exp (exp (log 1))) (* (exp (log 1)) (exp (log (expt x -1)))))
[PROC] [4910/137000] (* (exp (exp (log 1))) (* (exp (log 1)) (exp (* (log x) -1))))
[PROC] [6950/137000] (* (exp (exp (log 1))) (* (exp (log (expt x -1))) (log (exp 1))))
[PROC] [4910/137000] (* (exp (exp (log 1))) (* (exp (* (log x) -1)) (log (exp 1))))
[PROC] [6950/137000] (exp (+ (+ (exp 0) (log (exp 0))) (log (expt x -1))))
[PROC] [6950/137000] (* (exp (log (exp 1))) (* (exp (log 1)) (exp (log (expt x -1)))))
[PROC] [4910/137000] (* (exp (log (exp 1))) (* (exp (log 1)) (exp (* (log x) -1))))
[PROC] [6950/137000] (exp (+ 0 (exp (log (exp 0))) (* -1 (log x))))
[PROC] [6782/137000] (exp (+ (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (* -1 (log x)) (eml 1 (eml (eml 1 1) 1))))
[PROC] [6972/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (expt x -1))) (log (exp (log (exp 1)))))
[PROC] [5952/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* (log x) -1)) (log (exp (log (exp 1)))))
[PROC] [6972/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (log (exp 1)))) (exp (log (expt x -1))))
[PROC] [5952/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (log (exp 1)))) (exp (* (log x) -1)))
[PROC] [6990/137000] (* (exp (exp 0)) (exp (log (expt x -1))) (log (exp (log (exp 1)))))
[PROC] [5970/137000] (* (exp (exp 0)) (exp (* (log x) -1)) (log (exp (log (exp 1)))))
[PROC] [6990/137000] (* (exp (exp 0)) (exp (log (log (exp 1)))) (exp (log (expt x -1))))
[PROC] [5970/137000] (* (exp (exp 0)) (exp (log (log (exp 1)))) (exp (* (log x) -1)))
[PROC] [7010/137000] (* (exp (log (exp (exp 0)))) (exp (* -1 (log x))))
[PROC] [7010/137000] (* (exp (exp (log (exp 0)))) (exp (* -1 (log x))))
[PROC] [7010/137000] (* (log (exp (log (exp 1)))) (* (exp 1) (exp (* -1 (log x)))))
[PROC] [6770/137000] (* (exp (+ 1 (* -1 (log x)))) (log (exp (log (exp 1)))))
[PROC] [7010/137000] (exp (+ (log 1) (log (* (exp 1) (expt x -1)))))
[PROC] [6770/137000] (exp (+ 0 (log (* (exp 1) (expt x -1)))))
[PROC] [6764/137000] (exp (+ (log (* (exp 1) (expt x -1))) (eml 1 (eml (eml 1 1) 1))))
[PROC] [6884/137000] (* (exp (log (* (exp 1) (expt x -1)))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [6890/137000] (* (exp 0) (exp (log (* (exp 1) (expt x -1)))))
[PROC] [6730/137000] (* 1 (exp (log (* (exp 1) (expt x -1)))))
[PROC] [7016/137000] (exp (+ (+ (* -1 (log x)) (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 (eml 1 (eml (eml 1 1) 1)))))
[PROC] [7016/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (+ (* -1 (log x)) (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] [7070/137000] (* (exp (log (expt x -1))) (exp (+ (exp 0) (log (exp 0)))))
[PROC] [6050/137000] (* (exp (* (log x) -1)) (exp (+ (exp 0) (log (exp 0)))))
[PROC] [7070/137000] (* (exp (exp 0)) (* (exp (log (exp 0))) (exp (* -1 (log x)))))
[PROC] [7070/137000] (* (exp (exp 0)) (* (exp (* -1 (log x))) (log (exp (exp 0)))))
[PROC] [7130/137000] (* (exp (log 1)) (exp (log (* (exp 1) (expt x -1)))))
[PROC] [7136/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (+ (* -1 (log x)) (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] [7166/137000] (* (exp (log (expt x -1))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (exp (eml 1 (eml (eml 1 1) 1)))))))
[PROC] [6146/137000] (* (exp (* (log x) -1)) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (exp (eml 1 (eml (eml 1 1) 1)))))))
[PROC] [7166/137000] (* (exp (log (expt x -1))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))))
[PROC] [6146/137000] (* (exp (* (log x) -1)) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))))
[PROC] [7170/137000] (* (exp 0) (exp (log (exp (exp 0)))) (exp (* -1 (log x))))
[PROC] [7002/137000] (* (exp (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (* -1 (log x))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [7170/137000] (* (exp 0) (exp (exp (log (exp 0)))) (exp (* -1 (log x))))
[PROC] [7002/137000] (* (exp (exp (log (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (* -1 (log x))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [7178/137000] (exp (+ (exp 0) (+ (* -1 (log x)) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))))
[PROC] [7178/137000] (exp (+ (+ (* -1 (log x)) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))) (exp 0)))
[PROC] [7210/137000] (* 1 (exp (+ (exp (log 1)) (log (expt x -1)))))
[PROC] [7210/137000] (* 1 (exp (+ (log (exp 1)) (log (expt x -1)))))
[PROC] [7238/137000] (exp (+ (log (expt x -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] [4754/137000] (exp (+ (log (expt x -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] [7244/137000] (exp (+ (+ (log (exp 1)) (log (expt x -1))) (eml 1 (eml (eml 1 1) 1))))
[PROC] [3644/137000] (exp (+ (eml 1 (eml (eml 1 1) 1)) (log (exp 1)) (log (expt x -1))))
[PROC] [7244/137000] (exp (+ (+ (exp (log 1)) (log (expt x -1))) (eml 1 (eml (eml 1 1) 1))))
[PROC] [3644/137000] (exp (+ (eml 1 (eml (eml 1 1) 1)) (exp (log 1)) (log (expt x -1))))
[PROC] [7244/137000] (exp (+ 1 (log (expt x -1)) (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [7250/137000] (exp (+ (+ (log (exp 1)) (log (expt x -1))) 0))
[PROC] [7250/137000] (exp (+ 0 (+ (log (exp 1)) (log (expt x -1)))))
[PROC] [7250/137000] (exp (+ 0 (+ (exp (log 1)) (log (expt x -1)))))
[PROC] [7250/137000] (exp (+ (+ (exp (log 1)) (log (expt x -1))) 0))
[PROC] [7298/137000] (* (exp (exp 0)) (exp (+ (* -1 (log x)) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))))
[PROC] [7310/137000] (* (exp (log (expt x -1))) (* (exp (exp 0)) (exp (log (exp 0)))))
[PROC] [6290/137000] (* (exp (* (log x) -1)) (* (exp (exp 0)) (exp (log (exp 0)))))
[PROC] [7310/137000] (* (exp (log (expt x -1))) (* (exp (exp 0)) (log (exp (exp 0)))))
[PROC] [6290/137000] (* (exp (* (log x) -1)) (* (exp (exp 0)) (log (exp (exp 0)))))
[PROC] [7358/137000] (* (exp (log (expt x -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] [6338/137000] (* (exp (* (log x) -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] [7364/137000] (* (exp (+ (log (exp 1)) (log (expt x -1)))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [7364/137000] (* (exp (+ (exp (log 1)) (log (expt x -1)))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [7370/137000] (* (exp 0) (exp (+ (log (exp 1)) (log (expt x -1)))))
[PROC] [7370/137000] (* (exp 0) (exp (+ (exp (log 1)) (log (expt x -1)))))
[PROC] [7376/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (* -1 (log x))) (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] [7400/137000] (exp (+ (log (exp (eml 1 (eml (eml 1 1) 1)))) (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (expt x -1)))))
[PROC] [4538/137000] (exp (+ (log (exp (eml 1 (eml (eml 1 1) 1)))) (exp (eml 1 (eml (eml 1 1) 1))) (log (expt x -1))))
[PROC] [7418/137000] (exp (+ (log (expt x -1)) (+ (exp 0) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))))
[PROC] [4844/137000] (exp (+ (log (expt x -1)) (exp 0) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [7424/137000] (exp (+ (log (exp 1)) (* -1 (log x)) (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [7424/137000] (exp (+ (exp (log 1)) (* -1 (log x)) (eml (exp (log 1)) (eml (eml (exp (log 1)) (exp (log 1))) (exp (log 1))))))
[PROC] [7424/137000] (exp (+ (exp (log 1)) (* -1 (log x)) (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [7450/137000] (* 1 (* (exp (log (exp 1))) (exp (log (expt x -1)))))
[PROC] [5410/137000] (* 1 (* (exp (log (exp 1))) (exp (* (log x) -1))))
[PROC] [7450/137000] (* 1 (* (exp (exp (log 1))) (exp (log (expt x -1)))))
[PROC] [5410/137000] (* 1 (* (exp (exp (log 1))) (exp (* (log x) -1))))
[PROC] [7464/137000] (* (exp 1) (exp (log (expt x -1))) (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [6444/137000] (* (exp 1) (exp (* (log x) -1)) (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [7466/137000] (* (exp 0) (exp (* (exp 0) (eml (log (exp 0)) (* (exp 0) x)))))
[PROC] [7244/137000] (* (exp (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (log (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (eml 1 (eml (eml 1 1) 1))) x)))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [7124/137000] (exp (+ (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (log (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (eml 1 (eml (eml 1 1) 1))) x))) (eml 1 (eml (eml 1 1) 1))))
[PROC] [7346/137000] (exp (+ 0 (* (exp 0) (eml (log (exp 0)) (* (exp 0) x)))))
[PROC] [1586/137000] (exp (+ 0 (* 1 (eml (log 1) (* 1 x)))))
[PROC] [1580/137000] (exp (+ (* 1 (eml (log 1) (* 1 x))) (eml 1 (eml (eml 1 1) 1))))
[PROC] [542/137000] (exp (+ (eml (log 1) x) (eml 1 (eml (eml 1 1) 1))))
[PROC] [1100/137000] (exp (+ (* 1 (eml 0 (* 1 x))) (eml 1 (eml (eml 1 1) 1))))
[PROC] [1220/137000] (* (exp (* 1 (eml 0 (* 1 x)))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [1700/137000] (* (exp (* 1 (eml (log 1) (* 1 x)))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [1706/137000] (* (exp 0) (exp (* 1 (eml (log 1) (* 1 x)))))
[PROC] [5900/137000] (exp (+ (* (exp 0) (eml 0 (* (exp 0) x))) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [5708/137000] (exp (+ (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (eml 1 (eml (eml 1 1) 1)) (* (exp (eml 1 (eml (eml 1 1) 1))) x))) (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] [5828/137000] (* (exp (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (eml 1 (eml (eml 1 1) 1)) (* (exp (eml 1 (eml (eml 1 1) 1))) x)))) (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] [6020/137000] (* (exp (* (exp 0) (eml 0 (* (exp 0) x)))) (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [7490/137000] (exp (+ (log (exp 1)) (log (log (exp 1))) (log (expt x -1))))
[PROC] [7490/137000] (exp (+ (+ (log (exp 1)) (log (expt x -1))) (log 1)))
[PROC] [7490/137000] (exp (+ (log 1) (+ (log (exp 1)) (log (expt x -1)))))
[PROC] [7490/137000] (exp (+ (exp (log 1)) (log (exp (log 1))) (log (expt x -1))))
[PROC] [7490/137000] (exp (+ (log (exp 0)) (+ (exp 0) (log (expt x -1)))))
[PROC] [4610/137000] (exp (+ (log (exp 0)) (exp 0) (log (expt x -1))))
[PROC] [7490/137000] (exp (+ (log 1) (+ (exp (log 1)) (log (expt x -1)))))
[PROC] [3890/137000] (exp (+ (log 1) (exp (log 1)) (log (expt x -1))))
[PROC] [7490/137000] (exp (+ (exp (log 1)) (log (log (exp 1))) (log (expt x -1))))
[PROC] [7520/137000] (* (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (expt x -1)))))
[PROC] [7520/137000] (* (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (expt x -1)))) (log (exp (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [7538/137000] (* (exp (log (expt x -1))) (exp (+ (exp 0) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))))
[PROC] [6518/137000] (* (exp (* (log x) -1)) (exp (+ (exp 0) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))))
[PROC] [7538/137000] (* (exp (exp 0)) (* (exp (* -1 (log x))) (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))))
[PROC] [7580/137000] (exp (* 1 (+ 1 (* -1 (+ (log 1) (log x))))))
[PROC] [3770/137000] (exp (+ 1 (* -1 (+ (log 1) (log x)))))
[PROC] [2810/137000] (exp (+ 1 (* -1 (log (* 1 x)))))
[PROC] [2810/137000] (exp (+ 1 (* -1 (+ 0 (log x)))))
[PROC] [2786/137000] (exp (+ 1 (* -1 (+ (log x) (eml 1 (eml (eml 1 1) 1))))))
[PROC] [2906/137000] (* (exp 1) (exp (* -1 (+ (log x) (eml 1 (eml (eml 1 1) 1))))))
[PROC] [2930/137000] (* (exp 1) (exp (* -1 (log (* 1 x)))))
[PROC] [2930/137000] (* (exp 1) (exp (* -1 (+ 0 (log x)))))
[PROC] [3290/137000] (exp (+ (exp 0) (* -1 (+ 0 (log x)))))
[PROC] [3248/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (+ (log x) (eml 1 (eml (eml 1 1) 1))))))
[PROC] [3368/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* -1 (+ (log x) (eml 1 (eml (eml 1 1) 1))))))
[PROC] [3410/137000] (* (exp (exp 0)) (exp (* -1 (+ 0 (log x)))))
[PROC] [3890/137000] (* (exp 1) (exp (* -1 (+ (log 1) (log x)))))
[PROC] [4010/137000] (exp (+ (log (exp 1)) (* -1 (+ 0 (log x)))))
[PROC] [3986/137000] (exp (+ (log (exp 1)) (* -1 (+ (log x) (eml 1 (eml (eml 1 1) 1))))))
[PROC] [4106/137000] (* (exp (log (exp 1))) (exp (* -1 (+ (log x) (eml 1 (eml (eml 1 1) 1))))))
[PROC] [4130/137000] (* (exp (log (exp 1))) (exp (* -1 (+ 0 (log x)))))
[PROC] [4550/137000] (exp (+ 1 (log (expt (* 1 x) -1))))
[PROC] [4670/137000] (* (exp 1) (exp (log (expt (* 1 x) -1))))
[PROC] [2930/137000] (* (exp 1) (exp (* (log (* 1 x)) -1)))
[PROC] [4970/137000] (exp (+ (exp (log 1)) (* -1 (+ (log 1) (log x)))))
[PROC] [4010/137000] (exp (+ (exp (log 1)) (* -1 (log (* 1 x)))))
[PROC] [359/137000] (exp (eml (log 1) (* 1 x)))
[PROC] [239/137000] (exp (eml 0 (* 1 x)))
[PROC] [236/137000] (exp (eml (eml 1 (eml (eml 1 1) 1)) (* 1 x)))
[PROC] [719/137000] (exp (eml 0 (* (exp 0) x)))
[PROC] [698/137000] (exp (eml (eml 1 (eml (eml 1 1) 1)) (* (exp (eml 1 (eml (eml 1 1) 1))) x)))
[PROC] [1439/137000] (exp (eml 0 (* (log (exp 1)) x)))
[PROC] [1436/137000] (exp (eml (eml 1 (eml (eml 1 1) 1)) (* (log (exp 1)) x)))
[PROC] [1559/137000] (exp (eml (log (exp 0)) (* (exp 0) x)))
[PROC] [1514/137000] (exp (eml (log (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (eml 1 (eml (eml 1 1) 1))) x)))
[PROC] [1559/137000] (exp (eml (log 1) (* (exp (log 1)) x)))
[PROC] [1559/137000] (exp (eml (log 1) (* (log (exp 1)) x)))
[PROC] [1676/137000] (exp (eml (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))) (* (exp 0) x)))
[PROC] [1622/137000] (exp (eml (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 (eml 1 (eml (eml 1 1) 1))) x)))
[PROC] [2306/137000] (exp (eml (eml 1 (eml (eml 1 1) 1)) (log (expt (exp 1) x))))
[PROC] [956/137000] (exp (eml (eml 1 (eml (eml 1 1) 1)) (log (exp x))))
[PROC] [959/137000] (exp (eml 0 (log (exp x))))
[PROC] [1079/137000] (exp (eml (log 1) (log (exp x))))
[PROC] [1799/137000] (exp (eml (log (exp 0)) (log (exp x))))
[PROC] [1772/137000] (exp (eml (log (exp (eml 1 (eml (eml 1 1) 1)))) (log (exp x))))
[PROC] [1916/137000] (exp (eml (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))) (log (exp x))))
[PROC] [1880/137000] (exp (eml (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))))) (log (exp x))))
[PROC] [2309/137000] (exp (eml 0 (log (expt (exp 1) x))))
[PROC] [2429/137000] (exp (eml (log 1) (log (expt (exp 1) x))))
[PROC] [2879/137000] (exp (eml (log (log (exp 1))) (log (exp x))))
[PROC] [2879/137000] (exp (eml (log (exp (log 1))) (log (exp x))))
[PROC] [3290/137000] (exp (+ (exp 0) (* -1 (log (* 1 x)))))
[PROC] [3272/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log (* 1 x)))))
[PROC] [3356/137000] (exp (eml (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1)))) (log (exp x))))
[PROC] [3356/137000] (exp (eml (eml (exp (log 1)) (eml (eml (exp (log 1)) (exp (log 1))) (exp (log 1)))) (log (exp x))))
[PROC] [3359/137000] (exp (eml (log (log (exp 1))) (* (log (exp 1)) x)))
[PROC] [3359/137000] (exp (eml (log (exp (log 1))) (* (exp (log 1)) x)))
[PROC] [3392/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* -1 (log (* 1 x)))))
[PROC] [3410/137000] (* (exp (exp 0)) (exp (* -1 (log (* 1 x)))))
[PROC] [3836/137000] (exp (eml (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1)))) (* (log (exp 1)) x)))
[PROC] [3836/137000] (exp (eml (eml (exp (log 1)) (eml (eml (exp (log 1)) (exp (log 1))) (exp (log 1)))) (* (exp (log 1)) x)))
[PROC] [4130/137000] (* (exp (exp (log 1))) (exp (* -1 (log (* 1 x)))))
[PROC] [4229/137000] (exp (eml (log (log (exp 1))) (log (expt (exp 1) x))))
[PROC] [4232/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (+ (log 1) (log x)))))
[PROC] [3272/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (+ 0 (log x)))))
[PROC] [3392/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* -1 (+ 0 (log x)))))
[PROC] [4250/137000] (exp (+ (exp 0) (* -1 (+ (log 1) (log x)))))
[PROC] [4352/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* -1 (+ (log 1) (log x)))))
[PROC] [4370/137000] (* (exp (exp 0)) (exp (* -1 (+ (log 1) (log x)))))
[PROC] [4706/137000] (exp (eml (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1)))) (log (expt (exp 1) x))))
[PROC] [4970/137000] (exp (+ (log (exp 1)) (* -1 (+ (log 1) (log x)))))
[PROC] [4010/137000] (exp (+ (log (exp 1)) (* -1 (log (* 1 x)))))
[PROC] [4130/137000] (* (exp (log (exp 1))) (exp (* -1 (log (* 1 x)))))
[PROC] [5012/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (expt (* 1 x) -1))))
[PROC] [5030/137000] (exp (+ (exp 0) (log (expt (* 1 x) -1))))
[PROC] [5090/137000] (* (exp (exp (log 1))) (exp (* -1 (+ (log 1) (log x)))))
[PROC] [5090/137000] (* (exp (log (exp 1))) (exp (* -1 (+ (log 1) (log x)))))
[PROC] [5132/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (expt (* 1 x) -1))))
[PROC] [3392/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* (log (* 1 x)) -1)))
[PROC] [5150/137000] (* (exp (exp 0)) (exp (log (expt (* 1 x) -1))))
[PROC] [3410/137000] (* (exp (exp 0)) (exp (* (log (* 1 x)) -1)))
[PROC] [5660/137000] (exp (* 1 (+ 1 (* -1 (+ 0 (log x))))))
[PROC] [2780/137000] (exp (* 1 (+ 1 (* -1 (log x)))))
[PROC] [4220/137000] (exp (* (exp 0) (+ (exp 0) (* -1 (log x)))))
[PROC] [758/137000] (exp (* (exp 0) (eml 0 x)))
[PROC] [278/137000] (exp (* 1 (eml 0 x)))
[PROC] [272/137000] (exp (* 1 (eml (eml 1 (eml (eml 1 1) 1)) x)))
[PROC] [518/137000] (exp (* 1 (eml (log 1) x)))
[PROC] [734/137000] (exp (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (eml 1 (eml (eml 1 1) 1)) x)))
[PROC] [1478/137000] (exp (* (log (exp 1)) (eml 0 x)))
[PROC] [1472/137000] (exp (* (log (exp 1)) (eml (eml 1 (eml (eml 1 1) 1)) x)))
[PROC] [1718/137000] (exp (* (exp (log 1)) (eml (log 1) x)))
[PROC] [1718/137000] (exp (* (log (exp 1)) (eml (log 1) x)))
[PROC] [2438/137000] (exp (* (exp 0) (eml (log (exp 0)) x)))
[PROC] [2366/137000] (exp (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (log (exp (eml 1 (eml (eml 1 1) 1)))) x)))
[PROC] [2594/137000] (exp (log (expt (exp 1) (eml (eml 1 (eml (eml 1 1) 1)) x))))
[PROC] [1244/137000] (exp (log (exp (eml (eml 1 (eml (eml 1 1) 1)) x))))
[PROC] [1271/137000] (exp (log (exp (eml 0 x))))
[PROC] [2351/137000] (exp (log (exp (eml (log 1) x))))
[PROC] [2621/137000] (exp (log (expt (exp 1) (eml 0 x))))
[PROC] [2672/137000] (exp (* (exp 0) (eml (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))) x)))
[PROC] [2582/137000] (exp (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (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] [3701/137000] (exp (log (expt (exp 1) (eml (log 1) x))))
[PROC] [3740/137000] (exp (* 1 (+ (exp 0) (* -1 (log x)))))
[PROC] [3704/137000] (exp (* 1 (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x)))))
[PROC] [4166/137000] (exp (* (exp (eml 1 (eml (eml 1 1) 1))) (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x)))))
[PROC] [4820/137000] (exp (* 1 (+ 1 (log (expt x -1)))))
[PROC] [4940/137000] (exp (* (log (exp 1)) (+ (exp 0) (* -1 (log x)))))
[PROC] [3980/137000] (exp (* (log (exp 1)) (+ 1 (* -1 (log x)))))
[PROC] [4904/137000] (exp (* (log (exp 1)) (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x)))))
[PROC] [5180/137000] (exp (* 1 (+ (exp (log 1)) (* -1 (log x)))))
[PROC] [5318/137000] (exp (* (log (exp 1)) (eml (log (log (exp 1))) x)))
[PROC] [5318/137000] (exp (* (exp (log 1)) (eml (log (exp (log 1))) x)))
[PROC] [5612/137000] (exp (* 1 (+ 1 (* -1 (+ (log x) (eml 1 (eml (eml 1 1) 1)))))))
[PROC] [5744/137000] (exp (* 1 (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (expt x -1)))))
[PROC] [5750/137000] (exp (+ (exp (log 1)) (log (expt (* 1 x) -1))))
[PROC] [5750/137000] (exp (+ (log (exp 1)) (log (expt (* 1 x) -1))))
[PROC] [5510/137000] (exp (log (* (exp 1) (expt (* 1 x) -1))))
[PROC] [5759/137000] (exp (eml 0 (* (log (exp (exp 0))) x)))
[PROC] [5594/137000] (exp (eml (eml 1 (eml (eml 1 1) 1)) (* (log (exp (exp (eml 1 (eml (eml 1 1) 1))))) x)))
[PROC] [5780/137000] (exp (* 1 (+ (exp 0) (log (expt x -1)))))
[PROC] [5798/137000] (exp (* (log (exp (exp 0))) (eml 0 x)))
[PROC] [5630/137000] (exp (* (log (exp (exp (eml 1 (eml (eml 1 1) 1))))) (eml (eml 1 (eml (eml 1 1) 1)) x)))
[PROC] [5870/137000] (* (exp (exp (log 1))) (exp (log (expt (* 1 x) -1))))
[PROC] [4130/137000] (* (exp (exp (log 1))) (exp (* (log (* 1 x)) -1)))
[PROC] [5870/137000] (* (exp (log (exp 1))) (exp (log (expt (* 1 x) -1))))
[PROC] [4130/137000] (* (exp (log (exp 1))) (exp (* (log (* 1 x)) -1)))
[PROC] [6020/137000] (exp (* (log (exp 1)) (+ 1 (log (expt x -1)))))
[PROC] [6206/137000] (exp (* (exp (eml 1 (eml (eml 1 1) 1))) (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (expt x -1)))))
[PROC] [6260/137000] (exp (* (exp 0) (+ (exp 0) (log (expt x -1)))))
[PROC] [6272/137000] (exp (* (log (exp 1)) (eml (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1)))) x)))
[PROC] [6272/137000] (exp (* (exp (log 1)) (eml (eml (exp (log 1)) (eml (eml (exp (log 1)) (exp (log 1))) (exp (log 1)))) x)))
[PROC] [6380/137000] (exp (* (log (exp 1)) (+ (log (exp 1)) (* -1 (log x)))))
[PROC] [6380/137000] (exp (* (exp (log 1)) (+ (exp (log 1)) (* -1 (log x)))))
[PROC] [6380/137000] (exp (* (log (exp 1)) (+ (exp (log 1)) (* -1 (log x)))))
[PROC] [6599/137000] (exp (eml (log (exp 0)) (* (exp (log (exp 0))) x)))
[PROC] [6410/137000] (exp (eml (log (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) x)))
[PROC] [6599/137000] (exp (eml (log (exp 0)) (* (log (exp (exp 0))) x)))
[PROC] [6410/137000] (exp (eml (log (exp (eml 1 (eml (eml 1 1) 1)))) (* (log (exp (exp (eml 1 (eml (eml 1 1) 1))))) x)))
[PROC] [6716/137000] (exp (eml (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))) (* (log (exp (exp 0))) x)))
[PROC] [6518/137000] (exp (eml (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))))) (* (log (exp (exp (eml 1 (eml (eml 1 1) 1))))) x)))
[PROC] [6944/137000] (exp (* (log (exp 1)) (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (expt x -1)))))
[PROC] [6980/137000] (exp (* (log (exp 1)) (+ (exp 0) (log (expt x -1)))))
[PROC] [7100/137000] (exp (* (exp 0) (+ (exp 0) (* -1 (+ 0 (log x))))))
[PROC] [6998/137000] (exp (* (exp (eml 1 (eml (eml 1 1) 1))) (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (+ (log x) (eml 1 (eml (eml 1 1) 1)))))))
[PROC] [7220/137000] (exp (* 1 (+ (exp (log 1)) (log (expt x -1)))))
[PROC] [7418/137000] (exp (eml (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))) (* (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))) x)))
[PROC] [7166/137000] (exp (eml (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 (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] [7478/137000] (exp (* (exp (log (exp 0))) (eml (log (exp 0)) x)))
[PROC] [7262/137000] (exp (* (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (eml (log (exp (eml 1 (eml (eml 1 1) 1)))) x)))
[PROC] [7478/137000] (exp (* (log (exp (exp 0))) (eml (log (exp 0)) x)))
[PROC] [7262/137000] (exp (* (log (exp (exp (eml 1 (eml (eml 1 1) 1))))) (eml (log (exp (eml 1 (eml (eml 1 1) 1)))) x)))
[PROC] [7592/137000] (exp (+ (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))) (* -1 (log x))))
[PROC] [7376/137000] (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)))))) (* -1 (log x))))
[PROC] [7496/137000] (* (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))))))) (exp (* -1 (log x))))
[PROC] [7598/137000] (* (exp (log (expt x -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] [6578/137000] (* (exp (* (log x) -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] [7604/137000] (* (exp (eml 1 (eml (eml 1 1) 1))) (* (exp (log (exp 1))) (exp (log (expt x -1)))))
[PROC] [5564/137000] (* (exp (eml 1 (eml (eml 1 1) 1))) (* (exp (log (exp 1))) (exp (* (log x) -1))))
[PROC] [7604/137000] (* (exp (eml 1 (eml (eml 1 1) 1))) (* (exp (exp (log 1))) (exp (log (expt x -1)))))
[PROC] [5564/137000] (* (exp (eml 1 (eml (eml 1 1) 1))) (* (exp (exp (log 1))) (exp (* (log x) -1))))
[PROC] [7604/137000] (exp (+ (+ 1 (* -1 (log x))) (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [6224/137000] (exp (+ (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1)))) 1 (* -1 (log x))))
[PROC] [7610/137000] (* (exp 0) (* (exp (log (exp 1))) (exp (log (expt x -1)))))
[PROC] [5570/137000] (* (exp 0) (* (exp (log (exp 1))) (exp (* (log x) -1))))
[PROC] [7610/137000] (exp (+ (log (log (exp 1))) (+ (exp 0) (* -1 (log x)))))
[PROC] [5750/137000] (exp (+ (log (log (exp 1))) (exp 0) (* -1 (log x))))
[PROC] [6650/137000] (exp (+ (log (log (exp 1))) (+ 1 (* -1 (log x)))))
[PROC] [5270/137000] (exp (+ (log (log (exp 1))) 1 (* -1 (log x))))
[PROC] [6770/137000] (* (exp (log (log (exp 1)))) (exp (+ 1 (* -1 (log x)))))
[PROC] [7010/137000] (* (exp (log (log (exp 1)))) (* (exp 1) (exp (* -1 (log x)))))
[PROC] [7574/137000] (exp (+ (log (log (exp 1))) (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x)))))
[PROC] [5732/137000] (exp (+ (log (log (exp 1))) (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x))))
[PROC] [7610/137000] (* (exp (+ (log (exp 1)) (log (expt x -1)))) (log (exp 1)))
[PROC] [7130/137000] (* (exp (log (* (exp 1) (expt x -1)))) (log (exp 1)))
[PROC] [7610/137000] (* (exp 0) (* (exp (exp (log 1))) (exp (log (expt x -1)))))
[PROC] [5570/137000] (* (exp 0) (* (exp (exp (log 1))) (exp (* (log x) -1))))
[PROC] [7610/137000] (* (exp (log (exp 0))) (exp (+ (exp 0) (log (expt x -1)))))
[PROC] [7610/137000] (* (exp (+ (exp 0) (log (expt x -1)))) (log (exp (exp 0))))
[PROC] [7610/137000] (* (exp (log 1)) (exp (+ (exp (log 1)) (log (expt x -1)))))
[PROC] [7610/137000] (* (exp (+ (exp (log 1)) (log (expt x -1)))) (log (exp 1)))
[PROC] [7610/137000] (* (exp (log 1)) (exp (+ (log (exp 1)) (log (expt x -1)))))
[PROC] [7616/137000] (exp (+ (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (expt x -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] [4754/137000] (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 (eml 1 (eml (eml 1 1) 1))) (log (expt x -1))))
[PROC] [7644/137000] (* (exp (log (exp 1))) (exp (* -1 (log x))) (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [7644/137000] (* (exp (exp (log 1))) (exp (* -1 (log x))) (exp (eml (exp (log 1)) (eml (eml (exp (log 1)) (exp (log 1))) (exp (log 1))))))
[PROC] [7644/137000] (* (exp (exp (log 1))) (exp (* -1 (log x))) (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [7652/137000] (exp (+ 0 (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))) (* -1 (log x))))
[PROC] [7430/137000] (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)))))) (* -1 (log x)) (eml 1 (eml (eml 1 1) 1))))
[PROC] [7670/137000] (exp (log (* (exp (exp 0)) (expt x -1))))
[PROC] [7508/137000] (exp (log (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (expt x -1))))
[PROC] [7694/137000] (* (exp (log (log (exp 1)))) (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x)))))
[PROC] [7706/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (expt x -1)) (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [7710/137000] (* (exp (log (exp 1))) (exp (log (log (exp 1)))) (exp (log (expt x -1))))
[PROC] [6690/137000] (* (exp (log (exp 1))) (exp (log (log (exp 1)))) (exp (* (log x) -1)))
[PROC] [7710/137000] (* (exp (log (exp 1))) (exp (log (expt x -1))) (log (exp (log (exp 1)))))
[PROC] [6690/137000] (* (exp (log (exp 1))) (exp (* (log x) -1)) (log (exp (log (exp 1)))))
[PROC] [7710/137000] (* (exp (exp (log 1))) (exp (log (exp (log 1)))) (exp (log (expt x -1))))
[PROC] [6690/137000] (* (exp (exp (log 1))) (exp (log (exp (log 1)))) (exp (* (log x) -1)))
[PROC] [7710/137000] (* (exp (exp (log 1))) (exp (log (expt x -1))) (log (exp (exp (log 1)))))
[PROC] [6690/137000] (* (exp (exp (log 1))) (exp (* (log x) -1)) (log (exp (exp (log 1)))))
[PROC] [7710/137000] (* (exp (exp (log 1))) (exp (log (expt x -1))) (log (exp (log (exp 1)))))
[PROC] [6690/137000] (* (exp (exp (log 1))) (exp (* (log x) -1)) (log (exp (log (exp 1)))))
[PROC] [7710/137000] (* (exp (exp (log 1))) (exp (log (log (exp 1)))) (exp (log (expt x -1))))
[PROC] [6690/137000] (* (exp (exp (log 1))) (exp (log (log (exp 1)))) (exp (* (log x) -1)))
[PROC] [7712/137000] (* (exp (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))) (exp (* -1 (log x))))
[PROC] [7712/137000] (exp (* (log (exp (exp 0))) (eml (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))) x)))
[PROC] [7478/137000] (exp (* (log (exp (exp (eml 1 (eml (eml 1 1) 1))))) (eml (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] [7724/137000] (exp (+ (+ (exp 0) (log (expt x -1))) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [4844/137000] (exp (+ (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))) (exp 0) (log (expt x -1))))
[PROC] [7724/137000] (exp (+ (exp 0) (log (expt x -1)) (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [7724/137000] (* (exp (+ 1 (* -1 (log x)))) (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [7730/137000] (* (exp (+ (exp 0) (* -1 (log x)))) (log (exp (log (exp 1)))))
[PROC] [7694/137000] (* (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x)))) (log (exp (log (exp 1)))))
[PROC] [7730/137000] (* (exp (log (log (exp 1)))) (exp (+ (exp 0) (* -1 (log x)))))
[PROC] [7736/137000] (* (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (expt x -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] [7748/137000] (exp (+ (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (log (expt x -1))))
[PROC] [7748/137000] (exp (+ (log (exp (exp (eml 1 (eml (eml 1 1) 1))))) (log (expt x -1))))
[PROC] [7760/137000] (* (log (exp (exp (eml 1 (eml (eml 1 1) 1))))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (expt x -1)))))
[PROC] [5720/137000] (* (log (exp (exp (eml 1 (eml (eml 1 1) 1))))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* (log x) -1))))
[PROC] [7760/137000] (* (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (expt x -1)))))
[PROC] [5720/137000] (* (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* (log x) -1))))
[PROC] [7778/137000] (* (exp (log (expt x -1))) (* (exp (exp 0)) (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))))
[PROC] [6758/137000] (* (exp (* (log x) -1)) (* (exp (exp 0)) (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))))
[PROC] [7802/137000] (exp (+ (log (exp (exp (eml 1 (eml (eml 1 1) 1))))) (log (expt x -1)) (eml 1 (eml (eml 1 1) 1))))
[PROC] [7802/137000] (exp (+ (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (log (expt x -1)) (eml 1 (eml (eml 1 1) 1))))
[PROC] [7844/137000] (* (exp (+ (exp 0) (log (expt x -1)))) (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [7850/137000] (* (log (exp 1)) (* (exp (log (exp 1))) (exp (log (expt x -1)))))
[PROC] [5810/137000] (* (log (exp 1)) (* (exp (log (exp 1))) (exp (* (log x) -1))))
[PROC] [7850/137000] (* (exp (log 1)) (* (exp (log (exp 1))) (exp (log (expt x -1)))))
[PROC] [5810/137000] (* (exp (log 1)) (* (exp (log (exp 1))) (exp (* (log x) -1))))
[PROC] [7850/137000] (* (log (exp 1)) (* (exp (exp (log 1))) (exp (log (expt x -1)))))
[PROC] [5810/137000] (* (log (exp 1)) (* (exp (exp (log 1))) (exp (* (log x) -1))))
[PROC] [7850/137000] (* (log (exp (exp 0))) (* (exp (exp 0)) (exp (log (expt x -1)))))
[PROC] [5810/137000] (* (log (exp (exp 0))) (* (exp (exp 0)) (exp (* (log x) -1))))
[PROC] [7850/137000] (* (exp (log (exp 0))) (* (exp (exp 0)) (exp (log (expt x -1)))))
[PROC] [5810/137000] (* (exp (log (exp 0))) (* (exp (exp 0)) (exp (* (log x) -1))))
[PROC] [7850/137000] (* (exp (log 1)) (* (exp (exp (log 1))) (exp (log (expt x -1)))))
[PROC] [5810/137000] (* (exp (log 1)) (* (exp (exp (log 1))) (exp (* (log x) -1))))
[PROC] [7868/137000] (* (exp (exp (log (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (log (expt x -1))))
[PROC] [6848/137000] (* (exp (exp (log (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (* (log x) -1)))
[PROC] [7868/137000] (* (exp (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (log (expt x -1))))
[PROC] [6848/137000] (* (exp (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (* (log x) -1)))
[PROC] [7872/137000] (* (exp 0) (exp (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))) (exp (* -1 (log x))))
[PROC] [7650/137000] (* (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))))))) (exp (* -1 (log x))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [7910/137000] (exp (+ (log (exp (exp 0))) (log (expt x -1))))
[PROC] [7910/137000] (exp (+ (exp (log (exp 0))) (log (expt x -1))))
[PROC] [7926/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (expt x -1))) (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [6906/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* (log x) -1)) (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [7934/137000] (* (exp 0) (exp (* (exp 0) (eml (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))) (* (exp 0) x)))))
[PROC] [7676/137000] (* (exp (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (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 (eml 1 (eml (eml 1 1) 1))) x)))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [7556/137000] (exp (+ (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (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 (eml 1 (eml (eml 1 1) 1))) x))) (eml 1 (eml (eml 1 1) 1))))
[PROC] [7814/137000] (exp (+ 0 (* (exp 0) (eml (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))) (* (exp 0) x)))))
[PROC] [1094/137000] (exp (+ 0 (* 1 (eml (eml 1 (eml (eml 1 1) 1)) (* 1 x)))))
[PROC] [1214/137000] (* (exp 0) (exp (* 1 (eml (eml 1 (eml (eml 1 1) 1)) (* 1 x)))))
[PROC] [1334/137000] (exp (+ (log 1) (* 1 (eml (eml 1 (eml (eml 1 1) 1)) (* 1 x)))))
[PROC] [542/137000] (exp (+ (eml (eml 1 (eml (eml 1 1) 1)) x) (log 1)))
[PROC] [1346/137000] (exp (+ (log 1) (* 1 (eml 0 (* 1 x)))))
[PROC] [548/137000] (exp (+ (eml 0 x) (log 1)))
[PROC] [1454/137000] (* (exp (log 1)) (exp (* 1 (eml (eml 1 (eml (eml 1 1) 1)) (* 1 x)))))
[PROC] [1466/137000] (* (exp (log 1)) (exp (* 1 (eml 0 (* 1 x)))))
[PROC] [5666/137000] (exp (+ (log (exp 0)) (* (exp 0) (eml 0 (* (exp 0) x)))))
[PROC] [5492/137000] (exp (+ (log (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (eml 1 (eml (eml 1 1) 1)) (* (exp (eml 1 (eml (eml 1 1) 1))) x)))))
[PROC] [5612/137000] (* (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (exp (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (eml 1 (eml (eml 1 1) 1)) (* (exp (eml 1 (eml (eml 1 1) 1))) x)))))
[PROC] [5786/137000] (* (exp (log (exp 0))) (exp (* (exp 0) (eml 0 (* (exp 0) x)))))
[PROC] [7934/137000] (* (log (exp (log (exp 1)))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* -1 (log x)))))
[PROC] [7934/137000] (* (exp (log (log (exp 1)))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* -1 (log x)))))
[PROC] [7944/137000] (* (exp (exp 0)) (exp (log (expt x -1))) (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [6924/137000] (* (exp (exp 0)) (exp (* (log x) -1)) (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [7958/137000] (exp (* (log (exp 1)) (eml (log (log (exp 1))) (* (log (exp 1)) x))))
[PROC] [7958/137000] (exp (* (exp (log 1)) (eml (log (exp (log 1))) (* (exp (log 1)) x))))
[PROC] [7964/137000] (* (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))) (* (exp 1) (exp (* -1 (log x)))))
[PROC] [7970/137000] (exp (+ 0 (log (exp (exp 0))) (log (expt x -1))))
[PROC] [7970/137000] (* (log (exp (log (exp 1)))) (* (exp (exp 0)) (exp (* -1 (log x)))))
[PROC] [7970/137000] (* (exp (log (log (exp 1)))) (* (exp (exp 0)) (exp (* -1 (log x)))))
[PROC] [7970/137000] (exp (+ 0 (exp (log (exp 0))) (log (expt x -1))))
[PROC] [7976/137000] (* (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 1 (eml (eml 1 1) 1)))) (exp (log (expt x -1)))))
[PROC] [5936/137000] (* (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 1 (eml (eml 1 1) 1)))) (exp (* (log x) -1))))
[PROC] [7988/137000] (exp (+ (log (log (exp 1))) (eml (log (log (exp 1))) x)))
[PROC] [7988/137000] (exp (+ (log (exp (log 1))) (eml (log (exp (log 1))) x)))
[PROC] [8022/137000] (* (exp (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (log (expt x -1))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [7002/137000] (* (exp (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (* (log x) -1)) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [8022/137000] (* (exp (exp (log (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (log (expt x -1))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [7002/137000] (* (exp (exp (log (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (* (log x) -1)) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [8030/137000] (* (exp (log (exp (exp 0)))) (exp (log (expt x -1))))
[PROC] [7010/137000] (* (exp (log (exp (exp 0)))) (exp (* (log x) -1)))
[PROC] [8030/137000] (* (exp (exp (log (exp 0)))) (exp (log (expt x -1))))
[PROC] [7010/137000] (* (exp (exp (log (exp 0)))) (exp (* (log x) -1)))
[PROC] [8060/137000] (exp (* 1 (+ (exp (log 1)) (* -1 (log (* 1 x))))))
[PROC] [8084/137000] (* (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))) (* (exp (exp 0)) (exp (log (expt x -1)))))
[PROC] [6044/137000] (* (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))) (* (exp (exp 0)) (exp (* (log x) -1))))
[PROC] [8108/137000] (* (exp (log (log (exp 1)))) (exp (eml (log (log (exp 1))) x)))
[PROC] [8108/137000] (* (exp (eml (log (log (exp 1))) x)) (log (exp (log (exp 1)))))
[PROC] [8108/137000] (* (exp (log (exp (log 1)))) (exp (eml (log (exp (log 1))) x)))
[PROC] [8108/137000] (* (exp (eml (log (exp (log 1))) x)) (log (exp (exp (log 1)))))
[PROC] [8190/137000] (* (exp 0) (exp (log (exp (exp 0)))) (exp (log (expt x -1))))
[PROC] [7170/137000] (* (exp 0) (exp (log (exp (exp 0)))) (exp (* (log x) -1)))
[PROC] [8190/137000] (* (exp 0) (exp (exp (log (exp 0)))) (exp (log (expt x -1))))
[PROC] [7170/137000] (* (exp 0) (exp (exp (log (exp 0)))) (exp (* (log x) -1)))
[PROC] [8216/137000] (exp (+ (+ (* -1 (log x)) (eml 1 (eml (eml 1 1) 1))) (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))))
[PROC] [8216/137000] (exp (+ (log (exp (exp (eml 1 (eml (eml 1 1) 1))))) (+ (* -1 (log x)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [8216/137000] (exp (+ (+ (* -1 (log x)) (eml 1 (eml (eml 1 1) 1))) (exp (log (exp (eml 1 (eml (eml 1 1) 1)))))))
[PROC] [8216/137000] (exp (+ (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (+ (* -1 (log x)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [8270/137000] (exp (+ (exp 0) (log (* (exp 0) (expt x -1)))))
[PROC] [8144/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (* (exp (eml 1 (eml (eml 1 1) 1))) (expt x -1)))))
[PROC] [8264/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (* (exp (eml 1 (eml (eml 1 1) 1))) (expt x -1)))))
[PROC] [8306/137000] (exp (+ 0 (* (log (exp 1)) (eml 0 (* (log (exp 1)) x)))))
[PROC] [8288/137000] (exp (+ (* (log (exp 1)) (eml (eml 1 (eml (eml 1 1) 1)) (* (log (exp 1)) x))) (eml 1 (eml (eml 1 1) 1))))
[PROC] [8330/137000] (exp (+ (log (exp (exp 0))) (* -1 (+ 0 (log x)))))
[PROC] [8144/137000] (exp (+ (log (exp (exp (eml 1 (eml (eml 1 1) 1))))) (* -1 (+ (log x) (eml 1 (eml (eml 1 1) 1))))))
[PROC] [8264/137000] (* (exp (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (* -1 (+ (log x) (eml 1 (eml (eml 1 1) 1))))))
[PROC] [8336/137000] (* (exp (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (+ (* -1 (log x)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [8336/137000] (* (exp (exp (log (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (+ (* -1 (log x)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [8390/137000] (exp (+ (log (exp (exp 0))) (+ 0 (* -1 (log x)))))
[PROC] [6890/137000] (exp (+ (* -1 (log x)) (log (exp (exp 0)))))
[PROC] [6950/137000] (exp (+ (log (exp (exp 0))) 0 (* -1 (log x))))
[PROC] [8390/137000] (exp (+ (exp (log (exp 0))) (+ 0 (* -1 (log x)))))
[PROC] [6890/137000] (exp (+ (* -1 (log x)) (exp (log (exp 0)))))
[PROC] [6950/137000] (exp (+ (exp (log (exp 0))) 0 (* -1 (log x))))
[PROC] [8390/137000] (* (exp (exp 0)) (exp (log (* (exp 0) (expt x -1)))))
[PROC] [8396/137000] (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)))))) (log (expt x -1))))
[PROC] [8408/137000] (* (exp (* (log (exp 1)) (eml (eml 1 (eml (eml 1 1) 1)) (* (log (exp 1)) x)))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [8414/137000] (exp (* (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))) (eml (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))) x)))
[PROC] [8126/137000] (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)))))) (eml (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] [8420/137000] (exp (* (log (exp 1)) (+ (log (exp 1)) (log (expt x -1)))))
[PROC] [7940/137000] (exp (* (log (exp 1)) (log (* (exp 1) (expt x -1)))))
[PROC] [6740/137000] (exp (* 1 (log (* (exp 1) (expt x -1)))))
[PROC] [7220/137000] (exp (* 1 (+ (log (exp 1)) (log (expt x -1)))))
[PROC] [5180/137000] (exp (* 1 (+ (log (exp 1)) (* -1 (log x)))))
[PROC] [8420/137000] (exp (* (exp (log 1)) (+ (exp (log 1)) (log (expt x -1)))))
[PROC] [8420/137000] (exp (* (log (exp 1)) (+ (exp (log 1)) (log (expt x -1)))))
[PROC] [8426/137000] (* (exp 0) (exp (* (log (exp 1)) (eml 0 (* (log (exp 1)) x)))))
[PROC] [8266/137000] (* 1 (exp (* (log (exp 1)) (eml 0 (* (log (exp 1)) x)))))
[PROC] [8254/137000] (* 1 (exp (* (log (exp 1)) (eml (eml 1 (eml (eml 1 1) 1)) (* (log (exp 1)) x)))))
[PROC] [8444/137000] (exp (+ (log (exp 1)) (log (expt x -1)) (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [8444/137000] (exp (+ (exp (log 1)) (log (expt x -1)) (eml (exp (log 1)) (eml (eml (exp (log 1)) (exp (log 1))) (exp (log 1))))))
[PROC] [8444/137000] (exp (+ (exp (log 1)) (log (expt x -1)) (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [8450/137000] (* (exp (log (exp (exp 0)))) (exp (* -1 (+ 0 (log x)))))
[PROC] [8450/137000] (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)))))) (log (expt x -1)) (eml 1 (eml (eml 1 1) 1))))
[PROC] [8504/137000] (exp (* 1 (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (+ (log 1) (log x))))))
[PROC] [6584/137000] (exp (* 1 (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (+ 0 (log x))))))
[PROC] [6536/137000] (exp (* 1 (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (+ (log x) (eml 1 (eml (eml 1 1) 1)))))))
[PROC] [6620/137000] (exp (* 1 (+ (exp 0) (* -1 (+ 0 (log x))))))
[PROC] [7820/137000] (exp (* (log (exp 1)) (+ (exp 0) (* -1 (+ 0 (log x))))))
[PROC] [6860/137000] (exp (* (log (exp 1)) (+ 1 (* -1 (+ 0 (log x))))))
[PROC] [6812/137000] (exp (* (log (exp 1)) (+ 1 (* -1 (+ (log x) (eml 1 (eml (eml 1 1) 1)))))))
[PROC] [7736/137000] (exp (* (log (exp 1)) (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (+ (log x) (eml 1 (eml (eml 1 1) 1)))))))
[PROC] [8510/137000] (* (exp (log (exp (exp 0)))) (exp (+ 0 (* -1 (log x)))))
[PROC] [8510/137000] (* (exp (exp (log (exp 0)))) (exp (+ 0 (* -1 (log x)))))
[PROC] [8516/137000] (* (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))))))) (exp (log (expt x -1))))
[PROC] [7496/137000] (* (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))))))) (exp (* (log x) -1)))
[PROC] [8519/137000] (exp (eml (log (log (exp (exp 0)))) x))
[PROC] [8276/137000] (exp (eml (log (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))) x))
[PROC] [8519/137000] (exp (eml (log (exp (log (exp 0)))) x))
[PROC] [8276/137000] (exp (eml (log (exp (log (exp (eml 1 (eml (eml 1 1) 1)))))) x))
[PROC] [8528/137000] (exp (+ (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x))) (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [6686/137000] (exp (+ (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1)))) (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x))))
[PROC] [8540/137000] (exp (* 1 (+ (exp 0) (* -1 (+ (log 1) (log x))))))
[PROC] [8543/137000] (exp (eml (eml 1 (eml (eml 1 1) 1)) (log (expt (exp (exp (eml 1 (eml (eml 1 1) 1)))) x))))
[PROC] [8564/137000] (exp (+ (+ (exp 0) (* -1 (log x))) (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [6704/137000] (exp (+ (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1)))) (exp 0) (* -1 (log x))))
[PROC] [8576/137000] (* (exp (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))) (* (exp (* -1 (log x))) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [8576/137000] (* (exp (exp (log (exp (eml 1 (eml (eml 1 1) 1)))))) (* (exp (* -1 (log x))) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [8612/137000] (exp (+ (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))) (log (expt x -1))))
[PROC] [8624/137000] (exp (+ (+ (log (exp (eml 1 (eml (eml 1 1) 1)))) (log (expt x -1))) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [8624/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (+ (log (exp (eml 1 (eml (eml 1 1) 1)))) (log (expt x -1)))))
[PROC] [8630/137000] (exp (+ (exp (log (exp 0))) (log (exp 0)) (* -1 (log x))))
[PROC] [8414/137000] (exp (+ (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (log (exp (eml 1 (eml (eml 1 1) 1)))) (* -1 (log x))))
[PROC] [8630/137000] (exp (+ (log (exp 0)) (log (exp (exp 0))) (* -1 (log x))))
[PROC] [8414/137000] (exp (+ (log (exp (exp (eml 1 (eml (eml 1 1) 1))))) (log (exp (eml 1 (eml (eml 1 1) 1)))) (* -1 (log x))))
[PROC] [8648/137000] (* (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x)))) (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [8664/137000] (* (exp (log (exp 1))) (exp (log (expt x -1))) (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [7644/137000] (* (exp (log (exp 1))) (exp (* (log x) -1)) (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [8664/137000] (* (exp (exp (log 1))) (exp (log (expt x -1))) (exp (eml (exp (log 1)) (eml (eml (exp (log 1)) (exp (log 1))) (exp (log 1))))))
[PROC] [7644/137000] (* (exp (exp (log 1))) (exp (* (log x) -1)) (exp (eml (exp (log 1)) (eml (eml (exp (log 1)) (exp (log 1))) (exp (log 1))))))
[PROC] [8664/137000] (* (exp (exp (log 1))) (exp (log (expt x -1))) (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [7644/137000] (* (exp (exp (log 1))) (exp (* (log x) -1)) (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [8666/137000] (* (exp (* (log (exp 1)) (eml 0 (* (log (exp 1)) x)))) (log (exp 1)))
[PROC] [8654/137000] (* (exp (* (log (exp 1)) (eml (eml 1 (eml (eml 1 1) 1)) (* (log (exp 1)) x)))) (log (exp 1)))
[PROC] [8670/137000] (* (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))))))) (exp (log (expt x -1))) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [7650/137000] (* (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))))))) (exp (* (log x) -1)) (exp (eml 1 (eml (eml 1 1) 1))))
[PROC] [8672/137000] (exp (+ 0 (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))) (log (expt x -1))))
[PROC] [8684/137000] (* (exp (+ (exp 0) (* -1 (log x)))) (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [8690/137000] (exp (+ (log (log (exp 1))) (+ 1 (log (expt x -1)))))
[PROC] [6290/137000] (exp (+ (log (log (exp 1))) 1 (log (expt x -1))))
[PROC] [8732/137000] (* (exp (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))) (exp (log (expt x -1))))
[PROC] [7712/137000] (* (exp (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))) (exp (* (log x) -1)))
[PROC] [8744/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (+ (log (exp (eml 1 (eml (eml 1 1) 1)))) (log (expt x -1)))))
[PROC] [8746/137000] (* 1 (exp (* (log (exp 1)) (eml (log 1) (* (log (exp 1)) x)))))
[PROC] [8750/137000] (* (exp (exp (log (exp 0)))) (* (exp 0) (exp (* -1 (log x)))))
[PROC] [8750/137000] (* (exp (log (exp (exp 0)))) (* (exp 0) (exp (* -1 (log x)))))
[PROC] [8750/137000] (exp (+ (+ (log (exp 0)) (log (expt x -1))) (exp 0)))
[PROC] [8750/137000] (exp (+ (exp 0) (+ (log (exp 0)) (log (expt x -1)))))
[PROC] [8780/137000] (exp (* (log (exp 1)) (+ 1 (* -1 (+ (log 1) (log x))))))
[PROC] [6860/137000] (exp (* (log (exp 1)) (+ 1 (* -1 (log (* 1 x))))))
[PROC] [8789/137000] (exp (eml 0 (log (expt (exp (exp 0)) x))))
[PROC] [8810/137000] (* (exp (+ 1 (log (expt x -1)))) (log (exp (log (exp 1)))))
[PROC] [8810/137000] (* (exp (log (log (exp 1)))) (exp (+ 1 (log (expt x -1)))))
[PROC] [8831/137000] (exp (log (exp (eml (log (exp 0)) x))))
[PROC] [8588/137000] (exp (log (exp (eml (log (exp (eml 1 (eml (eml 1 1) 1)))) x))))
[PROC] [8831/137000] (exp (log (expt (exp (exp (eml 1 (eml (eml 1 1) 1)))) (eml (eml 1 (eml (eml 1 1) 1)) x))))
[PROC] [8850/137000] (* (exp (log (exp (exp 0)))) (exp (* -1 (log x))) (log (exp (exp 0))))
[PROC] [8634/137000] (* (exp (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (* -1 (log x))) (log (exp (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [8850/137000] (* (exp (exp (log (exp 0)))) (exp (log (exp 0))) (exp (* -1 (log x))))
[PROC] [8634/137000] (* (exp (exp (log (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (exp (* -1 (log x))))
[PROC] [8850/137000] (* (exp (log (exp 0))) (exp (log (exp (exp 0)))) (exp (* -1 (log x))))
[PROC] [8634/137000] (* (exp (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (exp (* -1 (log x))))
[PROC] [8850/137000] (* (exp (exp (log (exp 0)))) (exp (* -1 (log x))) (log (exp (exp 0))))
[PROC] [8634/137000] (* (exp (exp (log (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (* -1 (log x))) (log (exp (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [8864/137000] (exp (+ (log (exp (exp 0))) (* -1 (log x)) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [8630/137000] (exp (+ (log (exp (exp (eml 1 (eml (eml 1 1) 1))))) (* -1 (log x)) (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] [8864/137000] (exp (+ (exp (log (exp 0))) (* -1 (log x)) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [8630/137000] (exp (+ (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (* -1 (log x)) (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] [8864/137000] (exp (+ (+ (* -1 (log x)) (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] [8864/137000] (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)))))) (+ (* -1 (log x)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [8870/137000] (* (exp (exp 0)) (exp (+ (log (exp 0)) (log (expt x -1)))))
[PROC] [8888/137000] (* (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* -1 (log x)))))
[PROC] [8892/137000] (* (exp 0) (exp (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))) (exp (log (expt x -1))))
[PROC] [7872/137000] (* (exp 0) (exp (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))) (exp (* (log x) -1)))
[PROC] [8912/137000] (exp (* (log (exp 1)) (eml (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1)))) (* (log (exp 1)) x))))
[PROC] [8912/137000] (exp (* (exp (log 1)) (eml (eml (exp (log 1)) (eml (eml (exp (log 1)) (exp (log 1))) (exp (log 1)))) (* (exp (log 1)) x))))
[PROC] [8924/137000] (* (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))) (* (exp (exp 0)) (exp (* -1 (log x)))))
[PROC] [8942/137000] (exp (+ (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1)))) (eml (log (log (exp 1))) x)))
[PROC] [8942/137000] (exp (+ (log (log (exp 1))) (eml (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1)))) x)))
[PROC] [8942/137000] (exp (+ (eml (exp (log 1)) (eml (eml (exp (log 1)) (exp (log 1))) (exp (log 1)))) (eml (log (exp (log 1))) x)))
[PROC] [8942/137000] (exp (+ (log (exp (log 1))) (eml (eml (exp (log 1)) (eml (eml (exp (log 1)) (exp (log 1))) (exp (log 1)))) x)))
[PROC] [8984/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (exp (log (expt x -1)))))
[PROC] [6944/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (exp (* (log x) -1))))
[PROC] [8984/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (log (expt x -1))) (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))))
[PROC] [6944/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (* (log x) -1)) (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))))
[PROC] [8984/137000] (* (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))))))) (exp (+ (* -1 (log x)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [9026/137000] (exp (+ (log 1) (* (exp (log 1)) (eml (log 1) (* (exp (log 1)) x)))))
[PROC] [9026/137000] (exp (+ (log (exp 0)) (* (exp 0) (eml (log (exp 0)) (* (exp 0) x)))))
[PROC] [8756/137000] (exp (+ (log (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (log (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (eml 1 (eml (eml 1 1) 1))) x)))))
[PROC] [8876/137000] (* (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (exp (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (log (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (eml 1 (eml (eml 1 1) 1))) x)))))
[PROC] [9026/137000] (exp (+ (log 1) (* (log (exp 1)) (eml (log 1) (* (log (exp 1)) x)))))
[PROC] [9032/137000] (exp (+ (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))) (* -1 (+ 0 (log x)))))
[PROC] [8792/137000] (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)))))) (* -1 (+ (log x) (eml 1 (eml (eml 1 1) 1))))))
[PROC] [8912/137000] (* (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))))))) (exp (* -1 (+ (log x) (eml 1 (eml (eml 1 1) 1))))))
[PROC] [9050/137000] (exp (+ (log (log (exp 1))) (+ (log (exp 1)) (* -1 (log x)))))
[PROC] [6470/137000] (exp (+ (log (log (exp 1))) (log (exp 1)) (* -1 (log x))))
[PROC] [9050/137000] (exp (+ (log (exp (log 1))) (+ (exp (log 1)) (* -1 (log x)))))
[PROC] [6470/137000] (exp (+ (log (exp (log 1))) (exp (log 1)) (* -1 (log x))))
[PROC] [9050/137000] (exp (+ (log (log (exp 1))) (+ (exp (log 1)) (* -1 (log x)))))
[PROC] [6470/137000] (exp (+ (log (log (exp 1))) (exp (log 1)) (* -1 (log x))))
[PROC] [9050/137000] (* (log (exp (log (exp 1)))) (* (exp 1) (exp (log (expt x -1)))))
[PROC] [7010/137000] (* (log (exp (log (exp 1)))) (* (exp 1) (exp (* (log x) -1))))
[PROC] [9050/137000] (exp (+ (exp 0) (* -1 (log (* (exp 0) x)))))
[PROC] [8816/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log (* (exp (eml 1 (eml (eml 1 1) 1))) x)))))
[PROC] [8936/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* -1 (log (* (exp (eml 1 (eml (eml 1 1) 1))) x)))))
[PROC] [9050/137000] (* (exp (log (log (exp 1)))) (* (exp 1) (exp (log (expt x -1)))))
[PROC] [7010/137000] (* (exp (log (log (exp 1)))) (* (exp 1) (exp (* (log x) -1))))
[PROC] [9056/137000] (exp (+ (+ (log (expt x -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 (eml 1 (eml (eml 1 1) 1)))))
[PROC] [9056/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (+ (log (expt x -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] [9062/137000] (* (exp (eml (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1)))) x)) (log (exp (log (exp 1)))))
[PROC] [9062/137000] (* (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))) (exp (eml (log (log (exp 1))) x)))
[PROC] [9062/137000] (* (exp (log (log (exp 1)))) (exp (eml (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1)))) x)))
[PROC] [9062/137000] (* (exp (eml (eml (exp (log 1)) (eml (eml (exp (log 1)) (exp (log 1))) (exp (log 1)))) x)) (log (exp (exp (log 1)))))
[PROC] [9062/137000] (* (exp (eml (exp (log 1)) (eml (eml (exp (log 1)) (exp (log 1))) (exp (log 1))))) (exp (eml (log (exp (log 1))) x)))
[PROC] [9062/137000] (* (exp (log (exp (log 1)))) (exp (eml (eml (exp (log 1)) (eml (eml (exp (log 1)) (exp (log 1))) (exp (log 1)))) x)))
[PROC] [9084/137000] (* (exp (log (exp (exp 0)))) (exp (* -1 (log x))) (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [8850/137000] (* (exp (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (* -1 (log x))) (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] [9084/137000] (* (exp (exp (log (exp 0)))) (exp (* -1 (log x))) (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [8850/137000] (* (exp (exp (log (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (* -1 (log x))) (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] [9092/137000] (exp (+ (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))) (+ 0 (* -1 (log x)))))
[PROC] [7592/137000] (exp (+ (* -1 (log x)) (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))))
[PROC] [7652/137000] (exp (+ (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))) 0 (* -1 (log x))))
[PROC] [9101/137000] (exp (log (expt (exp (exp 0)) (eml 0 x))))
[PROC] [9110/137000] (* (exp (exp 0)) (* (exp (log (exp 0))) (exp (log (expt x -1)))))
[PROC] [7070/137000] (* (exp (exp 0)) (* (exp (log (exp 0))) (exp (* (log x) -1))))
[PROC] [9110/137000] (* (exp (exp 0)) (* (exp (log (expt x -1))) (log (exp (exp 0)))))
[PROC] [7070/137000] (* (exp (exp 0)) (* (exp (* (log x) -1)) (log (exp (exp 0)))))
[PROC] [9110/137000] (exp (log (* (exp 0) (exp (exp 0)) (expt x -1))))
[PROC] [8894/137000] (exp (log (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (eml 1 (eml (eml 1 1) 1))) (expt x -1))))
[PROC] [9140/137000] (exp (* 1 (+ 1 (log (expt (* 1 x) -1)))))
[PROC] [9146/137000] (* (exp (log 1)) (exp (* (exp (log 1)) (eml (log 1) (* (exp (log 1)) x)))))
[PROC] [9146/137000] (* (exp (log (exp 0))) (exp (* (exp 0) (eml (log (exp 0)) (* (exp 0) x)))))
[PROC] [9146/137000] (* (exp (log 1)) (exp (* (log (exp 1)) (eml (log 1) (* (log (exp 1)) x)))))
[PROC] [9146/137000] (* (exp (* (log (exp 1)) (eml (log 1) (* (log (exp 1)) x)))) (log (exp 1)))
[PROC] [9152/137000] (* (exp (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))) (exp (* -1 (+ 0 (log x)))))
[PROC] [9170/137000] (* (exp (log (log (exp 1)))) (exp (+ (log (exp 1)) (* -1 (log x)))))
[PROC] [9170/137000] (* (exp (+ (log (exp 1)) (* -1 (log x)))) (log (exp (log (exp 1)))))
[PROC] [9170/137000] (* (exp (+ (exp (log 1)) (* -1 (log x)))) (log (exp (exp (log 1)))))
[PROC] [9170/137000] (* (exp (log (exp (log 1)))) (exp (+ (exp (log 1)) (* -1 (log x)))))
[PROC] [9170/137000] (* (exp (+ (exp (log 1)) (* -1 (log x)))) (log (exp (log (exp 1)))))
[PROC] [9170/137000] (* (exp (log (log (exp 1)))) (exp (+ (exp (log 1)) (* -1 (log x)))))
[PROC] [9170/137000] (* (exp (exp 0)) (exp (* -1 (log (* (exp 0) x)))))
[PROC] [9176/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (+ (log (expt x -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] [9212/137000] (* (exp (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))) (exp (+ 0 (* -1 (log x)))))
[PROC] [9218/137000] (exp (+ (+ (log (expt x -1)) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))) (exp 0)))
[PROC] [9218/137000] (exp (+ (exp 0) (+ (log (expt x -1)) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))))
[PROC] [9224/137000] (* (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))))))) (* (exp (* -1 (log x))) (exp (eml 1 (eml (eml 1 1) 1)))))
[PROC] [9260/137000] (exp (+ (* (exp 0) (eml (log (exp 0)) (* (exp 0) x))) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [8972/137000] (exp (+ (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (log (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (eml 1 (eml (eml 1 1) 1))) x))) (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] [9092/137000] (* (exp (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (log (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (eml 1 (eml (eml 1 1) 1))) x)))) (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] [9260/137000] (exp (* (log (exp 1)) (+ (log (exp 1)) (* -1 (+ 0 (log x))))))
[PROC] [9212/137000] (exp (* (log (exp 1)) (+ (log (exp 1)) (* -1 (+ (log x) (eml 1 (eml (eml 1 1) 1)))))))
[PROC] [9260/137000] (exp (* (log (exp (exp 0))) (+ (exp 0) (* -1 (log x)))))
[PROC] [9062/137000] (exp (* (log (exp (exp (eml 1 (eml (eml 1 1) 1))))) (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (log x)))))
[PROC] [9290/137000] (exp (+ (+ 1 (log (log (exp 1)))) (* -1 (log x))))
[PROC] [5270/137000] (exp (+ (* -1 (log x)) 1 (log (log (exp 1)))))
[PROC] [9290/137000] (exp (+ (* -1 (log x)) (+ 1 (log (log (exp 1))))))
[PROC] [9332/137000] (exp (+ (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))) (log (exp 0)) (* -1 (log x))))
[PROC] [9062/137000] (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)))))) (log (exp (eml 1 (eml (eml 1 1) 1)))) (* -1 (log x))))
[PROC] [9338/137000] (* (exp (exp 0)) (exp (+ (log (expt x -1)) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))))
[PROC] [9359/137000] (exp (eml (log (log (exp (exp 0)))) (log (exp x))))
[PROC] [9116/137000] (exp (eml (log (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))) (log (exp x))))
[PROC] [9359/137000] (exp (eml (log (exp (log (exp 0)))) (log (exp x))))
[PROC] [9116/137000] (exp (eml (log (exp (log (exp (eml 1 (eml (eml 1 1) 1)))))) (log (exp x))))
[PROC] [9359/137000] (exp (eml (log (exp (eml 1 (eml (eml 1 1) 1)))) (log (expt (exp (exp (eml 1 (eml (eml 1 1) 1)))) x))))
[PROC] [9380/137000] (* (exp (* (exp 0) (eml (log (exp 0)) (* (exp 0) x)))) (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [9410/137000] (* (exp (log (log (exp 1)))) (* (exp (log (exp 1))) (exp (* -1 (log x)))))
[PROC] [9410/137000] (* (log (exp (log (exp 1)))) (* (exp (log (exp 1))) (exp (* -1 (log x)))))
[PROC] [9410/137000] (* (exp (log (exp (log 1)))) (* (exp (exp (log 1))) (exp (* -1 (log x)))))
[PROC] [9410/137000] (* (log (exp (exp (log 1)))) (* (exp (exp (log 1))) (exp (* -1 (log x)))))
[PROC] [9410/137000] (* (log (exp (log (exp 1)))) (* (exp (exp (log 1))) (exp (* -1 (log x)))))
[PROC] [9410/137000] (* (exp (log (log (exp 1)))) (* (exp (exp (log 1))) (exp (* -1 (log x)))))
[PROC] [9410/137000] (* (exp (* -1 (log x))) (exp (+ 1 (log (log (exp 1))))))
[PROC] [9416/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (log (expt x -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] [7376/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (* (log x) -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] [9434/137000] (exp (+ (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (log (exp (eml 1 (eml (eml 1 1) 1)))) (log (expt x -1))))
[PROC] [9434/137000] (exp (+ (log (exp (exp (eml 1 (eml (eml 1 1) 1))))) (log (exp (eml 1 (eml (eml 1 1) 1)))) (log (expt x -1))))
[PROC] [9452/137000] (* (exp (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))) (* (exp 0) (exp (* -1 (log x)))))
[PROC] [9467/137000] (exp (eml (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))))) (log (expt (exp (exp (eml 1 (eml (eml 1 1) 1)))) x))))
[PROC] [9494/137000] (exp (+ (log (exp 0)) (* (exp 0) (eml (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))) (* (exp 0) x)))))
[PROC] [9188/137000] (exp (+ (log (exp (eml 1 (eml (eml 1 1) 1)))) (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (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 (eml 1 (eml (eml 1 1) 1))) x)))))
[PROC] [9308/137000] (* (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (exp (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (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 (eml 1 (eml (eml 1 1) 1))) x)))))
[PROC] [9552/137000] (* (exp (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))) (exp (* -1 (log x))) (log (exp (exp 0))))
[PROC] [9282/137000] (* (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))))))) (exp (* -1 (log x))) (log (exp (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [9552/137000] (* (exp (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))) (exp (log (exp 0))) (exp (* -1 (log x))))
[PROC] [9282/137000] (* (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))))))) (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (exp (* -1 (log x))))
[PROC] [9566/137000] (exp (+ (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))) (* -1 (log x)) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [9278/137000] (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)))))) (* -1 (log x)) (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] [9572/137000] (exp (eml (log (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))) x))
[PROC] [9248/137000] (exp (eml (log (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] [9578/137000] (* (exp (exp 0)) (* (exp (log (expt x -1))) (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))))
[PROC] [7538/137000] (* (exp (exp 0)) (* (exp (* (log x) -1)) (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))))
[PROC] [9614/137000] (exp (+ (log (log (exp 1))) (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (expt x -1)))))
[PROC] [6752/137000] (exp (+ (log (log (exp 1))) (exp (eml 1 (eml (eml 1 1) 1))) (log (expt x -1))))
[PROC] [9614/137000] (* (exp (log (exp 0))) (exp (* (exp 0) (eml (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))) (* (exp 0) x)))))
[PROC] [9629/137000] (exp (eml (log (exp 0)) (log (expt (exp (exp 0)) x))))
[PROC] [9644/137000] (exp (+ (+ 1 (log (expt x -1))) (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [7244/137000] (exp (+ (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1)))) 1 (log (expt x -1))))
[PROC] [9650/137000] (exp (+ (exp (log (exp 0))) (log (exp 0)) (log (expt x -1))))
[PROC] [9650/137000] (exp (+ (log (exp 0)) (log (exp (exp 0))) (log (expt x -1))))
[PROC] [9650/137000] (* (exp (* -1 (log x))) (* (exp 1) (exp (log (log (exp 1))))))
[PROC] [9650/137000] (exp (+ (log (log (exp 1))) (+ (exp 0) (log (expt x -1)))))
[PROC] [6770/137000] (exp (+ (log (log (exp 1))) (exp 0) (log (expt x -1))))
[PROC] [9650/137000] (exp (+ (log (exp (exp (eml 1 (eml (eml 1 1) 1))))) (log (expt x -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] [9650/137000] (exp (+ (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (log (expt x -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] [9654/137000] (* (exp (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (log (expt x -1))) (log (exp (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [8634/137000] (* (exp (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (* (log x) -1)) (log (exp (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [9654/137000] (* (exp (exp (log (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (exp (log (expt x -1))))
[PROC] [8634/137000] (* (exp (exp (log (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (exp (* (log x) -1)))
[PROC] [9654/137000] (* (exp (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (exp (log (expt x -1))))
[PROC] [8634/137000] (* (exp (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (exp (* (log x) -1)))
[PROC] [9654/137000] (* (exp (exp (log (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (log (expt x -1))) (log (exp (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [8634/137000] (* (exp (exp (log (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (* (log x) -1)) (log (exp (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [9728/137000] (exp (+ (* (exp 0) (eml (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))) (* (exp 0) x))) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [9404/137000] (exp (+ (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (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 (eml 1 (eml (eml 1 1) 1))) x))) (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] [9524/137000] (* (exp (* (exp (eml 1 (eml (eml 1 1) 1))) (eml (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 (eml 1 (eml (eml 1 1) 1))) x)))) (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] [9734/137000] (* (exp (log (log (exp 1)))) (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (expt x -1)))))
[PROC] [9734/137000] (* (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (expt x -1)))) (log (exp (log (exp 1)))))
[PROC] [9746/137000] (exp (eml (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))) (log (expt (exp (exp 0)) x))))
[PROC] [9764/137000] (* (exp (+ 1 (log (expt x -1)))) (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [9770/137000] (* (exp (+ (exp 0) (log (expt x -1)))) (log (exp (log (exp 1)))))
[PROC] [9770/137000] (* (exp (log (log (exp 1)))) (exp (+ (exp 0) (log (expt x -1)))))
[PROC] [9776/137000] (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (* -1 (+ (log (exp (eml 1 (eml (eml 1 1) 1)))) (log x)))))
[PROC] [9786/137000] (* (exp (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))) (exp (* -1 (log x))) (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [9498/137000] (* (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))))))) (exp (* -1 (log x))) (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] [9848/137000] (* (exp (* (exp 0) (eml (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))) (* (exp 0) x)))) (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [9870/137000] (* (exp (log (exp (exp 0)))) (exp (log (expt x -1))) (log (exp (exp 0))))
[PROC] [8850/137000] (* (exp (log (exp (exp 0)))) (exp (* (log x) -1)) (log (exp (exp 0))))
[PROC] [9870/137000] (* (exp (exp (log (exp 0)))) (exp (log (exp 0))) (exp (log (expt x -1))))
[PROC] [8850/137000] (* (exp (exp (log (exp 0)))) (exp (log (exp 0))) (exp (* (log x) -1)))
[PROC] [9870/137000] (* (exp (log (exp 0))) (exp (log (exp (exp 0)))) (exp (log (expt x -1))))
[PROC] [8850/137000] (* (exp (log (exp 0))) (exp (log (exp (exp 0)))) (exp (* (log x) -1)))
[PROC] [9870/137000] (* (exp (exp (log (exp 0)))) (exp (log (expt x -1))) (log (exp (exp 0))))
[PROC] [8850/137000] (* (exp (exp (log (exp 0)))) (exp (* (log x) -1)) (log (exp (exp 0))))
[PROC] [9870/137000] (* (exp (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (log (expt x -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] [8850/137000] (* (exp (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (* (log x) -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] [9870/137000] (* (exp (exp (log (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (log (expt x -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] [8850/137000] (* (exp (exp (log (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (* (log x) -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] [9884/137000] (exp (+ (log (exp (exp 0))) (log (expt x -1)) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [9884/137000] (exp (+ (exp (log (exp 0))) (log (expt x -1)) (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [9884/137000] (exp (log (exp (eml (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))) x))))
[PROC] [9560/137000] (exp (log (exp (eml (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] [9896/137000] (exp (+ (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1)))) (eml (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1)))) x)))
[PROC] [9896/137000] (exp (+ (eml (exp (log 1)) (eml (eml (exp (log 1)) (exp (log 1))) (exp (log 1)))) (eml (eml (exp (log 1)) (eml (eml (exp (log 1)) (exp (log 1))) (exp (log 1)))) x)))
[PROC] [9896/137000] (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* -1 (+ (log (exp (eml 1 (eml (eml 1 1) 1)))) (log x)))))
[PROC] [9974/137000] (* (log (exp (log (exp 1)))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (expt x -1)))))
[PROC] [7934/137000] (* (log (exp (log (exp 1)))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* (log x) -1))))
[PROC] [9974/137000] (* (exp (log (log (exp 1)))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (log (expt x -1)))))
[PROC] [7934/137000] (* (exp (log (log (exp 1)))) (* (exp (exp (eml 1 (eml (eml 1 1) 1)))) (exp (* (log x) -1))))
[PROC] [9980/137000] (exp (* 1 (+ (exp (log 1)) (* -1 (+ (log 1) (log x))))))
[PROC] [10004/137000] (exp (+ (+ (log (exp 1)) (* -1 (log x))) (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [7424/137000] (exp (+ (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1)))) (log (exp 1)) (* -1 (log x))))
[PROC] [10004/137000] (exp (+ (+ (exp (log 1)) (* -1 (log x))) (eml (exp (log 1)) (eml (eml (exp (log 1)) (exp (log 1))) (exp (log 1))))))
[PROC] [7424/137000] (exp (+ (eml (exp (log 1)) (eml (eml (exp (log 1)) (exp (log 1))) (exp (log 1)))) (exp (log 1)) (* -1 (log x))))
[PROC] [10004/137000] (exp (+ (+ (exp (log 1)) (* -1 (log x))) (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [7424/137000] (exp (+ (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1)))) (exp (log 1)) (* -1 (log x))))
[PROC] [10004/137000] (* (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))) (* (exp 1) (exp (log (expt x -1)))))
[PROC] [7964/137000] (* (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))) (* (exp 1) (exp (* (log x) -1))))
[PROC] [10010/137000] (* (log (exp (log (exp 1)))) (* (exp (exp 0)) (exp (log (expt x -1)))))
[PROC] [7970/137000] (* (log (exp (log (exp 1)))) (* (exp (exp 0)) (exp (* (log x) -1))))
[PROC] [10010/137000] (* (exp (log (log (exp 1)))) (* (exp (exp 0)) (exp (log (expt x -1)))))
[PROC] [7970/137000] (* (exp (log (log (exp 1)))) (* (exp (exp 0)) (exp (* (log x) -1))))
[PROC] [10010/137000] (exp (+ (exp 0) (* -1 (+ (log (exp 0)) (log x)))))
[PROC] [10016/137000] (* (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))) (exp (eml (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1)))) x)))
[PROC] [10016/137000] (* (exp (eml (exp (log 1)) (eml (eml (exp (log 1)) (exp (log 1))) (exp (log 1))))) (exp (eml (eml (exp (log 1)) (eml (eml (exp (log 1)) (exp (log 1))) (exp (log 1)))) x)))
[PROC] [10064/137000] (exp (* 1 (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (expt (* 1 x) -1)))))
[PROC] [10082/137000] (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)))))) (log (exp (eml 1 (eml (eml 1 1) 1)))) (log (expt x -1))))
[PROC] [10100/137000] (exp (* 1 (+ (exp 0) (log (expt (* 1 x) -1)))))
[PROC] [10104/137000] (* (exp (log (exp (exp 0)))) (exp (log (expt x -1))) (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [9084/137000] (* (exp (log (exp (exp 0)))) (exp (* (log x) -1)) (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [10104/137000] (* (exp (exp (log (exp 0)))) (exp (log (expt x -1))) (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [9084/137000] (* (exp (exp (log (exp 0)))) (exp (* (log x) -1)) (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))))
[PROC] [10124/137000] (* (exp (+ (log (exp 1)) (* -1 (log x)))) (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [10124/137000] (* (exp (+ (exp (log 1)) (* -1 (log x)))) (exp (eml (exp (log 1)) (eml (eml (exp (log 1)) (exp (log 1))) (exp (log 1))))))
[PROC] [10124/137000] (* (exp (+ (exp (log 1)) (* -1 (log x)))) (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))))
[PROC] [10130/137000] (* (exp (exp 0)) (exp (* -1 (+ (log (exp 0)) (log x)))))
[PROC] [10214/137000] (exp (+ (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (log (exp 1)))) (* -1 (log x))))
[PROC] [5732/137000] (exp (+ (* -1 (log x)) (exp (eml 1 (eml (eml 1 1) 1))) (log (log (exp 1)))))
[PROC] [10214/137000] (exp (+ (* -1 (log x)) (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (log (exp 1))))))
[PROC] [10250/137000] (exp (+ (* -1 (log x)) (+ (exp 0) (log (log (exp 1))))))
[PROC] [5750/137000] (exp (+ (* -1 (log x)) (exp 0) (log (log (exp 1)))))
[PROC] [10250/137000] (exp (+ (+ (exp 0) (log (log (exp 1)))) (* -1 (log x))))
[PROC] [10256/137000] (exp (+ (+ (log (expt x -1)) (eml 1 (eml (eml 1 1) 1))) (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))))
[PROC] [10256/137000] (exp (+ (log (exp (exp (eml 1 (eml (eml 1 1) 1))))) (+ (log (expt x -1)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [10256/137000] (exp (+ (+ (log (expt x -1)) (eml 1 (eml (eml 1 1) 1))) (exp (log (exp (eml 1 (eml (eml 1 1) 1)))))))
[PROC] [10256/137000] (exp (+ (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (+ (log (expt x -1)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [10298/137000] (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)))))) (log (expt x -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] [10302/137000] (* (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))))))) (exp (log (expt x -1))) (log (exp (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [9282/137000] (* (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))))))) (exp (* (log x) -1)) (log (exp (exp (eml 1 (eml (eml 1 1) 1))))))
[PROC] [10302/137000] (* (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))))))) (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (exp (log (expt x -1))))
[PROC] [9282/137000] (* (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))))))) (exp (log (exp (eml 1 (eml (eml 1 1) 1))))) (exp (* (log x) -1)))
[PROC] [10310/137000] (exp (+ (+ 1 (log (log (exp 1)))) (log (expt x -1))))
[PROC] [6290/137000] (exp (+ (log (expt x -1)) 1 (log (log (exp 1)))))
[PROC] [10310/137000] (exp (+ (log (expt x -1)) (+ 1 (log (log (exp 1))))))
[PROC] [10334/137000] (* (exp (* -1 (log x))) (exp (+ (exp (eml 1 (eml (eml 1 1) 1))) (log (log (exp 1))))))
[PROC] [10340/137000] (exp (* (log (exp 1)) (+ 1 (log (expt (* 1 x) -1)))))
[PROC] [10352/137000] (exp (+ (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0)))) (log (exp 0)) (log (expt x -1))))
[PROC] [10364/137000] (* (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))) (* (exp (log (exp 1))) (exp (* -1 (log x)))))
[PROC] [10364/137000] (* (exp (eml (exp (log 1)) (eml (eml (exp (log 1)) (exp (log 1))) (exp (log 1))))) (* (exp (exp (log 1))) (exp (* -1 (log x)))))
[PROC] [10364/137000] (* (exp (eml (log (exp 1)) (eml (eml (log (exp 1)) (log (exp 1))) (log (exp 1))))) (* (exp (exp (log 1))) (exp (* -1 (log x)))))
[PROC] [10370/137000] (* (exp (* -1 (log x))) (exp (+ (exp 0) (log (log (exp 1))))))
[PROC] [10376/137000] (* (exp (log (exp (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (+ (log (expt x -1)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [10376/137000] (* (exp (exp (log (exp (eml 1 (eml (eml 1 1) 1)))))) (exp (+ (log (expt x -1)) (eml 1 (eml (eml 1 1) 1)))))
[PROC] [10412/137000] (exp (eml (log (exp (eml (exp 0) (eml (eml (exp 0) (exp 0)) (exp 0))))) (log (exp x))))
[PROC] [10088/137000] (exp (eml (log (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))))))) (log (exp x))))
[PROC] [10430/137000] (exp (+ (log (exp (exp 0))) (+ 0 (log (expt x -1)))))
[PROC] [7910/137000] (exp (+ (log (expt x -1)) (log (exp (exp 0)))))
[PROC] [7970/137000] (exp (+ (log (exp (exp 0))) 0 (log (expt x -1))))
[PROC] [10430/137000] (exp (+ (exp (log (exp 0))) (+ 0 (log (expt x -1)))))
[PROC] [7910/137000] (exp (+ (log (expt x -1)) (exp (log (exp 0)))))
[PROC] [7970/137000] (exp (+ (exp (log (exp 0))) 0 (log (expt x -1))))
[PROC] [10430/137000] (* (exp (log (expt x -1))) (exp (+ 1 (log (log (exp 1))))))
[PROC] [9410/137000] (* (exp (* (log x) -1)) (exp (+ 1 (log (log (exp 1))))))
[PROC] [10518/137000] (* (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))))))) (exp (log (expt x -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] [9498/137000] (* (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))))))) (exp (* (log x) -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] [10536/137000] (+ (exp (+ (* -1 (log 1)) (eml (+ (* -1 (log 1)) 0) (+ (* -1 (log 1)) x)))) (* -1 (log 1)))
[PROC] [1256/137000] (+ 0 (exp (+ 0 (eml 0 (+ 0 x)))))
[PROC] [1206/137000] (+ (exp (+ (eml 1 (eml (eml 1 1) 1)) (eml (eml 1 (eml (eml 1 1) 1)) (+ (eml 1 (eml (eml 1 1) 1)) x)))) (eml 1 (eml (eml 1 1) 1)))
[PROC] [1446/137000] (+ (* (exp (eml 1 (eml (eml 1 1) 1))) (exp (eml (eml 1 (eml (eml 1 1) 1)) (+ (eml 1 (eml (eml 1 1) 1)) x)))) (eml 1 (eml (eml 1 1) 1)))
[PROC] [1496/137000] (+ 0 (* (exp 0) (exp (eml 0 (+ 0 x)))))
[PROC] [1176/137000] (+ 0 (* 1 (exp (eml 0 (+ 0 x)))))
[PROC] [578/137000] (+ 0 (exp (eml 0 (+ 0 x))))
[PROC] [558/137000] (+ (exp (eml (eml 1 (eml (eml 1 1) 1)) (+ (eml 1 (eml (eml 1 1) 1)) x))) (eml 1 (eml (eml 1 1) 1)))
[PROC] [1138/137000] (+ (* 1 (exp (eml (eml 1 (eml (eml 1 1) 1)) (+ (eml 1 (eml (eml 1 1) 1)) x)))) (eml 1 (eml (eml 1 1) 1)))
[PROC] [1378/137000] (+ (exp (eml (log 1) (+ (log 1) x))) (log 1))
[PROC] [1689/137000] (eml (+ (* -1 (log 1)) (eml (+ 0 (* -1 (log 1))) (+ (* -1 (log 1)) x))) 1)
[PROC] [189/137000] (eml (+ 0 (eml 0 (+ 0 x))) 1)
[PROC] [26/137000] (eml (eml 0 x) 1)
Best expression found: (eml (eml (eml 1 (eml (eml 1 1) 1)) x) 1)