18.779 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.064 * * * [progress]: [2/2] Setting up program. 0.067 * [progress]: [Phase 2 of 3] Improving. 0.068 * [simplify]: Simplifying using # : (exp (- (+ x (* y (log y))) z)) 0.069 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.070 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 0.072 * * [simplify]: iteration 2 : 36 enodes (cost 8 ) 0.077 * * [simplify]: iteration 3 : 64 enodes (cost 8 ) 0.088 * * [simplify]: iteration 4 : 100 enodes (cost 8 ) 0.103 * * [simplify]: iteration 5 : 177 enodes (cost 8 ) 0.164 * * [simplify]: iteration 6 : 491 enodes (cost 8 ) 0.692 * * [simplify]: iteration 7 : 1423 enodes (cost 8 ) 4.433 * * [simplify]: iteration 8 : 4459 enodes (cost 8 ) 5.867 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 5.867 * [simplify]: Simplified to: (exp (- (fma y (log y) x) z)) 5.870 * * [progress]: iteration 1 / 4 5.870 * * * [progress]: picking best candidate 5.872 * * * * [pick]: Picked # 5.872 * * * [progress]: localizing error 5.881 * * * [progress]: generating rewritten candidates 5.881 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1) 5.882 * * * [progress]: generating series expansions 5.882 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1) 5.882 * [approximate]: Taking taylor expansion of (fma y (log y) x) in (y x) around 0 5.882 * [taylor]: Taking taylor expansion of (fma y (log y) x) in x 5.882 * [taylor]: Rewrote expression to (+ (* y (log y)) x) 5.882 * [taylor]: Taking taylor expansion of (* y (log y)) in x 5.882 * [taylor]: Taking taylor expansion of y in x 5.882 * [taylor]: Taking taylor expansion of (log y) in x 5.882 * [taylor]: Taking taylor expansion of y in x 5.882 * [taylor]: Taking taylor expansion of x in x 5.882 * [taylor]: Taking taylor expansion of (fma y (log y) x) in y 5.882 * [taylor]: Rewrote expression to (+ (* y (log y)) x) 5.882 * [taylor]: Taking taylor expansion of (* y (log y)) in y 5.882 * [taylor]: Taking taylor expansion of y in y 5.882 * [taylor]: Taking taylor expansion of (log y) in y 5.882 * [taylor]: Taking taylor expansion of y in y 5.883 * [taylor]: Taking taylor expansion of x in y 5.883 * [taylor]: Taking taylor expansion of (fma y (log y) x) in y 5.883 * [taylor]: Rewrote expression to (+ (* y (log y)) x) 5.883 * [taylor]: Taking taylor expansion of (* y (log y)) in y 5.883 * [taylor]: Taking taylor expansion of y in y 5.883 * [taylor]: Taking taylor expansion of (log y) in y 5.883 * [taylor]: Taking taylor expansion of y in y 5.883 * [taylor]: Taking taylor expansion of x in y 5.884 * [taylor]: Taking taylor expansion of x in x 5.886 * [taylor]: Taking taylor expansion of (log y) in x 5.886 * [taylor]: Taking taylor expansion of y in x 5.889 * [taylor]: Taking taylor expansion of 0 in x 5.894 * [taylor]: Taking taylor expansion of 0 in x 5.896 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in (y x) around 0 5.896 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in x 5.896 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (log (/ 1 y))) (/ 1 x)) 5.896 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in x 5.896 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.896 * [taylor]: Taking taylor expansion of y in x 5.896 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 5.896 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.896 * [taylor]: Taking taylor expansion of y in x 5.897 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.897 * [taylor]: Taking taylor expansion of x in x 5.897 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in y 5.897 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (log (/ 1 y))) (/ 1 x)) 5.897 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in y 5.897 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.897 * [taylor]: Taking taylor expansion of y in y 5.898 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.898 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.898 * [taylor]: Taking taylor expansion of y in y 5.898 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.898 * [taylor]: Taking taylor expansion of x in y 5.898 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in y 5.899 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (log (/ 1 y))) (/ 1 x)) 5.899 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in y 5.899 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.899 * [taylor]: Taking taylor expansion of y in y 5.899 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.899 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.899 * [taylor]: Taking taylor expansion of y in y 5.900 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.900 * [taylor]: Taking taylor expansion of x in y 5.900 * [taylor]: Taking taylor expansion of (- (log y)) in x 5.900 * [taylor]: Taking taylor expansion of (log y) in x 5.900 * [taylor]: Taking taylor expansion of y in x 5.903 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.904 * [taylor]: Taking taylor expansion of x in x 5.908 * [taylor]: Taking taylor expansion of 0 in x 5.916 * [taylor]: Taking taylor expansion of 0 in x 5.927 * [taylor]: Taking taylor expansion of 0 in x 5.927 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in (y x) around 0 5.927 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in x 5.927 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (log (/ -1 y))) (/ -1 x)) 5.927 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in x 5.927 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.927 * [taylor]: Taking taylor expansion of -1 in x 5.927 * [taylor]: Taking taylor expansion of y in x 5.927 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 5.927 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.927 * [taylor]: Taking taylor expansion of -1 in x 5.927 * [taylor]: Taking taylor expansion of y in x 5.928 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.928 * [taylor]: Taking taylor expansion of -1 in x 5.928 * [taylor]: Taking taylor expansion of x in x 5.928 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in y 5.928 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (log (/ -1 y))) (/ -1 x)) 5.928 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in y 5.928 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.928 * [taylor]: Taking taylor expansion of -1 in y 5.928 * [taylor]: Taking taylor expansion of y in y 5.929 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 5.929 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.929 * [taylor]: Taking taylor expansion of -1 in y 5.929 * [taylor]: Taking taylor expansion of y in y 5.930 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.930 * [taylor]: Taking taylor expansion of -1 in y 5.930 * [taylor]: Taking taylor expansion of x in y 5.930 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in y 5.930 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (log (/ -1 y))) (/ -1 x)) 5.930 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in y 5.930 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.930 * [taylor]: Taking taylor expansion of -1 in y 5.930 * [taylor]: Taking taylor expansion of y in y 5.930 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 5.930 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.930 * [taylor]: Taking taylor expansion of -1 in y 5.930 * [taylor]: Taking taylor expansion of y in y 5.931 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.931 * [taylor]: Taking taylor expansion of -1 in y 5.931 * [taylor]: Taking taylor expansion of x in y 5.933 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in x 5.933 * [taylor]: Taking taylor expansion of (log y) in x 5.933 * [taylor]: Taking taylor expansion of y in x 5.933 * [taylor]: Taking taylor expansion of (log -1) in x 5.933 * [taylor]: Taking taylor expansion of -1 in x 5.937 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 5.937 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.937 * [taylor]: Taking taylor expansion of x in x 5.948 * [taylor]: Taking taylor expansion of 0 in x 5.958 * [taylor]: Taking taylor expansion of 0 in x 5.973 * [taylor]: Taking taylor expansion of 0 in x 5.973 * * * [progress]: simplifying candidates 5.974 * [simplify]: Simplifying using # : (expm1 (fma y (log y) x)) (log1p (fma y (log y) x)) (* y (log y)) (log (fma y (log y) x)) (exp (fma y (log y) x)) (* (cbrt (fma y (log y) x)) (cbrt (fma y (log y) x))) (cbrt (fma y (log y) x)) (* (* (fma y (log y) x) (fma y (log y) x)) (fma y (log y) x)) (sqrt (fma y (log y) x)) (sqrt (fma y (log y) x)) (+ x (* y (log y))) (- x (* y (log (/ 1 y)))) (- (+ (* (log -1) y) x) (* y (log (/ -1 y)))) 5.975 * * [simplify]: iteration 0 : 28 enodes (cost 103 ) 5.980 * * [simplify]: iteration 1 : 48 enodes (cost 100 ) 5.987 * * [simplify]: iteration 2 : 96 enodes (cost 90 ) 6.007 * * [simplify]: iteration 3 : 209 enodes (cost 87 ) 6.097 * * [simplify]: iteration 4 : 672 enodes (cost 86 ) 7.100 * * [simplify]: iteration 5 : 2898 enodes (cost 81 ) 9.365 * * [simplify]: iteration done : 5001 enodes (cost 81 ) 9.365 * [simplify]: Simplified to: (expm1 (fma y (log y) x)) (log1p (fma y (log y) x)) (* y (log y)) (log (fma y (log y) x)) (exp (fma y (log y) x)) (* (cbrt (fma y (log y) x)) (cbrt (fma y (log y) x))) (cbrt (fma y (log y) x)) (pow (fma y (log y) x) 3) (sqrt (fma y (log y) x)) (sqrt (fma y (log y) x)) (fma y (log y) x) (fma y (log y) x) (fma y (log y) x) 9.365 * * * [progress]: adding candidates to table 9.409 * [progress]: [Phase 3 of 3] Extracting. 9.411 * [simplify]: Simplifying using # : (exp (- (fma y (log y) x) z)) 9.412 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 9.412 * * [simplify]: iteration done : 7 enodes (cost 8 ) 9.412 * [simplify]: Simplified to: (exp (- (fma y (log y) x) z)) 11.501 * [regime-testing]: End program error score: 0.00818942827191438 11.539 * [regime-testing]: Target error score: 0.008264220036301756