17.494 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.066 * * * [progress]: [2/2] Setting up program. 0.069 * [progress]: [Phase 2 of 3] Improving. 0.069 * [simplify]: Simplifying using # : (exp (- (+ x (* y (log y))) z)) 0.070 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.071 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 0.073 * * [simplify]: iteration 2 : 36 enodes (cost 8 ) 0.077 * * [simplify]: iteration 3 : 64 enodes (cost 8 ) 0.088 * * [simplify]: iteration 4 : 117 enodes (cost 8 ) 0.105 * * [simplify]: iteration 5 : 225 enodes (cost 8 ) 0.155 * * [simplify]: iteration 6 : 666 enodes (cost 8 ) 0.417 * * [simplify]: iteration 7 : 1764 enodes (cost 8 ) 1.254 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 1.254 * [simplify]: Simplified to: (exp (- (fma y (log y) x) z)) 1.258 * * [progress]: iteration 1 / 4 1.258 * * * [progress]: picking best candidate 1.260 * * * * [pick]: Picked # 1.260 * * * [progress]: localizing error 1.267 * * * [progress]: generating rewritten candidates 1.267 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1) 1.268 * * * [progress]: generating series expansions 1.268 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1) 1.268 * [approximate]: Taking taylor expansion of (fma y (log y) x) in (y x) around 0 1.268 * [taylor]: Taking taylor expansion of (fma y (log y) x) in x 1.268 * [taylor]: Rewrote expression to (+ (* y (log y)) x) 1.268 * [taylor]: Taking taylor expansion of (* y (log y)) in x 1.268 * [taylor]: Taking taylor expansion of y in x 1.268 * [taylor]: Taking taylor expansion of (log y) in x 1.268 * [taylor]: Taking taylor expansion of y in x 1.268 * [taylor]: Taking taylor expansion of x in x 1.268 * [taylor]: Taking taylor expansion of (fma y (log y) x) in y 1.268 * [taylor]: Rewrote expression to (+ (* y (log y)) x) 1.268 * [taylor]: Taking taylor expansion of (* y (log y)) in y 1.268 * [taylor]: Taking taylor expansion of y in y 1.268 * [taylor]: Taking taylor expansion of (log y) in y 1.268 * [taylor]: Taking taylor expansion of y in y 1.269 * [taylor]: Taking taylor expansion of x in y 1.269 * [taylor]: Taking taylor expansion of (fma y (log y) x) in y 1.269 * [taylor]: Rewrote expression to (+ (* y (log y)) x) 1.269 * [taylor]: Taking taylor expansion of (* y (log y)) in y 1.269 * [taylor]: Taking taylor expansion of y in y 1.269 * [taylor]: Taking taylor expansion of (log y) in y 1.269 * [taylor]: Taking taylor expansion of y in y 1.269 * [taylor]: Taking taylor expansion of x in y 1.270 * [taylor]: Taking taylor expansion of x in x 1.271 * [taylor]: Taking taylor expansion of (log y) in x 1.271 * [taylor]: Taking taylor expansion of y in x 1.273 * [taylor]: Taking taylor expansion of 0 in x 1.278 * [taylor]: Taking taylor expansion of 0 in x 1.284 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in (y x) around 0 1.284 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in x 1.284 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (log (/ 1 y))) (/ 1 x)) 1.284 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in x 1.284 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.284 * [taylor]: Taking taylor expansion of y in x 1.284 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.284 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.284 * [taylor]: Taking taylor expansion of y in x 1.284 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.284 * [taylor]: Taking taylor expansion of x in x 1.285 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in y 1.285 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (log (/ 1 y))) (/ 1 x)) 1.285 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in y 1.285 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.285 * [taylor]: Taking taylor expansion of y in y 1.285 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.285 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.285 * [taylor]: Taking taylor expansion of y in y 1.285 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.286 * [taylor]: Taking taylor expansion of x in y 1.286 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in y 1.286 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (log (/ 1 y))) (/ 1 x)) 1.286 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in y 1.286 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.286 * [taylor]: Taking taylor expansion of y in y 1.286 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.286 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.286 * [taylor]: Taking taylor expansion of y in y 1.286 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.287 * [taylor]: Taking taylor expansion of x in y 1.287 * [taylor]: Taking taylor expansion of (- (log y)) in x 1.287 * [taylor]: Taking taylor expansion of (log y) in x 1.287 * [taylor]: Taking taylor expansion of y in x 1.289 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.289 * [taylor]: Taking taylor expansion of x in x 1.293 * [taylor]: Taking taylor expansion of 0 in x 1.299 * [taylor]: Taking taylor expansion of 0 in x 1.308 * [taylor]: Taking taylor expansion of 0 in x 1.308 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in (y x) around 0 1.308 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in x 1.308 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (log (/ -1 y))) (/ -1 x)) 1.308 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in x 1.308 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.308 * [taylor]: Taking taylor expansion of -1 in x 1.308 * [taylor]: Taking taylor expansion of y in x 1.308 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.308 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.308 * [taylor]: Taking taylor expansion of -1 in x 1.308 * [taylor]: Taking taylor expansion of y in x 1.308 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.308 * [taylor]: Taking taylor expansion of -1 in x 1.308 * [taylor]: Taking taylor expansion of x in x 1.309 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in y 1.309 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (log (/ -1 y))) (/ -1 x)) 1.309 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in y 1.309 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.309 * [taylor]: Taking taylor expansion of -1 in y 1.309 * [taylor]: Taking taylor expansion of y in y 1.309 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.309 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.309 * [taylor]: Taking taylor expansion of -1 in y 1.309 * [taylor]: Taking taylor expansion of y in y 1.310 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.310 * [taylor]: Taking taylor expansion of -1 in y 1.310 * [taylor]: Taking taylor expansion of x in y 1.310 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in y 1.310 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (log (/ -1 y))) (/ -1 x)) 1.310 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in y 1.310 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.310 * [taylor]: Taking taylor expansion of -1 in y 1.310 * [taylor]: Taking taylor expansion of y in y 1.310 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.310 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.310 * [taylor]: Taking taylor expansion of -1 in y 1.310 * [taylor]: Taking taylor expansion of y in y 1.311 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.311 * [taylor]: Taking taylor expansion of -1 in y 1.311 * [taylor]: Taking taylor expansion of x in y 1.312 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in x 1.312 * [taylor]: Taking taylor expansion of (log y) in x 1.312 * [taylor]: Taking taylor expansion of y in x 1.312 * [taylor]: Taking taylor expansion of (log -1) in x 1.312 * [taylor]: Taking taylor expansion of -1 in x 1.315 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.315 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.315 * [taylor]: Taking taylor expansion of x in x 1.321 * [taylor]: Taking taylor expansion of 0 in x 1.329 * [taylor]: Taking taylor expansion of 0 in x 1.340 * [taylor]: Taking taylor expansion of 0 in x 1.341 * * * [progress]: simplifying candidates 1.341 * [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)))) 1.343 * * [simplify]: iteration 0 : 28 enodes (cost 103 ) 1.347 * * [simplify]: iteration 1 : 48 enodes (cost 100 ) 1.353 * * [simplify]: iteration 2 : 100 enodes (cost 90 ) 1.375 * * [simplify]: iteration 3 : 224 enodes (cost 87 ) 1.428 * * [simplify]: iteration 4 : 800 enodes (cost 86 ) 1.792 * * [simplify]: iteration 5 : 3634 enodes (cost 81 ) 18.410 * * [simplify]: iteration done : 5000 enodes (cost 81 ) 18.411 * [simplify]: Simplified to: (expm1 (fma y (log y) x)) (log1p (fma y (log y) x)) (* (log y) 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 (log y) y x) (fma (log y) y x) (fma (log y) y x) 18.411 * * * [progress]: adding candidates to table 18.444 * [progress]: [Phase 3 of 3] Extracting. 18.446 * [simplify]: Simplifying using # : (exp (- (fma y (log y) x) z)) 18.446 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 18.447 * * [simplify]: iteration done : 7 enodes (cost 8 ) 18.447 * [simplify]: Simplified to: (exp (- (fma y (log y) x) z)) 20.504 * [regime-testing]: End program error score: 0.008096798138421027 20.538 * [regime-testing]: Target error score: 0.008096798138421027