11.822 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.060 * * * [progress]: [2/2] Setting up program. 0.062 * [progress]: [Phase 2 of 3] Improving. 0.062 * [simplify]: Simplifying using # : (exp (- (+ x (* y (log y))) z)) 0.063 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.064 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 0.067 * * [simplify]: iteration 2 : 36 enodes (cost 8 ) 0.071 * * [simplify]: iteration 3 : 64 enodes (cost 8 ) 0.084 * * [simplify]: iteration 4 : 117 enodes (cost 8 ) 0.100 * * [simplify]: iteration 5 : 225 enodes (cost 8 ) 0.152 * * [simplify]: iteration 6 : 666 enodes (cost 8 ) 0.425 * * [simplify]: iteration 7 : 1764 enodes (cost 8 ) 1.297 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 1.298 * [simplify]: Simplified to: (exp (- (fma y (log y) x) z)) 1.301 * * [progress]: iteration 1 / 4 1.301 * * * [progress]: picking best candidate 1.303 * * * * [pick]: Picked # 1.303 * * * [progress]: localizing error 1.311 * * * [progress]: generating rewritten candidates 1.311 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 1.312 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 1.316 * * * [progress]: generating series expansions 1.316 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 1.316 * [approximate]: Taking taylor expansion of (fma y (log y) x) in (y x) around 0 1.316 * [taylor]: Taking taylor expansion of (fma y (log y) x) in x 1.316 * [taylor]: Rewrote expression to (+ (* y (log y)) x) 1.316 * [taylor]: Taking taylor expansion of (* y (log y)) in x 1.316 * [taylor]: Taking taylor expansion of y in x 1.316 * [taylor]: Taking taylor expansion of (log y) in x 1.316 * [taylor]: Taking taylor expansion of y in x 1.316 * [taylor]: Taking taylor expansion of x in x 1.316 * [taylor]: Taking taylor expansion of (fma y (log y) x) in y 1.316 * [taylor]: Rewrote expression to (+ (* y (log y)) x) 1.316 * [taylor]: Taking taylor expansion of (* y (log y)) in y 1.316 * [taylor]: Taking taylor expansion of y in y 1.316 * [taylor]: Taking taylor expansion of (log y) in y 1.316 * [taylor]: Taking taylor expansion of y in y 1.317 * [taylor]: Taking taylor expansion of x in y 1.317 * [taylor]: Taking taylor expansion of (fma y (log y) x) in y 1.317 * [taylor]: Rewrote expression to (+ (* y (log y)) x) 1.317 * [taylor]: Taking taylor expansion of (* y (log y)) in y 1.317 * [taylor]: Taking taylor expansion of y in y 1.317 * [taylor]: Taking taylor expansion of (log y) in y 1.317 * [taylor]: Taking taylor expansion of y in y 1.317 * [taylor]: Taking taylor expansion of x in y 1.318 * [taylor]: Taking taylor expansion of x in x 1.319 * [taylor]: Taking taylor expansion of (log y) in x 1.319 * [taylor]: Taking taylor expansion of y in x 1.322 * [taylor]: Taking taylor expansion of 0 in x 1.326 * [taylor]: Taking taylor expansion of 0 in x 1.332 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in (y x) around 0 1.332 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in x 1.332 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (log (/ 1 y))) (/ 1 x)) 1.332 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in x 1.332 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.332 * [taylor]: Taking taylor expansion of y in x 1.332 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.332 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.332 * [taylor]: Taking taylor expansion of y in x 1.332 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.332 * [taylor]: Taking taylor expansion of x in x 1.333 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in y 1.333 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (log (/ 1 y))) (/ 1 x)) 1.333 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in y 1.333 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.333 * [taylor]: Taking taylor expansion of y in y 1.333 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.333 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.333 * [taylor]: Taking taylor expansion of y in y 1.334 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.334 * [taylor]: Taking taylor expansion of x in y 1.334 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in y 1.334 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (log (/ 1 y))) (/ 1 x)) 1.334 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in y 1.334 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.334 * [taylor]: Taking taylor expansion of y in y 1.334 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.334 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.334 * [taylor]: Taking taylor expansion of y in y 1.335 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.335 * [taylor]: Taking taylor expansion of x in y 1.335 * [taylor]: Taking taylor expansion of (- (log y)) in x 1.335 * [taylor]: Taking taylor expansion of (log y) in x 1.335 * [taylor]: Taking taylor expansion of y in x 1.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.337 * [taylor]: Taking taylor expansion of x in x 1.341 * [taylor]: Taking taylor expansion of 0 in x 1.347 * [taylor]: Taking taylor expansion of 0 in x 1.357 * [taylor]: Taking taylor expansion of 0 in x 1.357 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in (y x) around 0 1.357 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in x 1.357 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (log (/ -1 y))) (/ -1 x)) 1.357 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in x 1.357 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.357 * [taylor]: Taking taylor expansion of -1 in x 1.357 * [taylor]: Taking taylor expansion of y in x 1.357 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.357 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.357 * [taylor]: Taking taylor expansion of -1 in x 1.357 * [taylor]: Taking taylor expansion of y in x 1.357 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.357 * [taylor]: Taking taylor expansion of -1 in x 1.357 * [taylor]: Taking taylor expansion of x in x 1.358 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in y 1.358 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (log (/ -1 y))) (/ -1 x)) 1.358 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in y 1.358 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.358 * [taylor]: Taking taylor expansion of -1 in y 1.358 * [taylor]: Taking taylor expansion of y in y 1.358 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.358 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.358 * [taylor]: Taking taylor expansion of -1 in y 1.358 * [taylor]: Taking taylor expansion of y in y 1.359 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.359 * [taylor]: Taking taylor expansion of -1 in y 1.359 * [taylor]: Taking taylor expansion of x in y 1.359 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in y 1.359 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (log (/ -1 y))) (/ -1 x)) 1.359 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in y 1.359 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.359 * [taylor]: Taking taylor expansion of -1 in y 1.359 * [taylor]: Taking taylor expansion of y in y 1.359 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.360 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.360 * [taylor]: Taking taylor expansion of -1 in y 1.360 * [taylor]: Taking taylor expansion of y in y 1.360 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.360 * [taylor]: Taking taylor expansion of -1 in y 1.360 * [taylor]: Taking taylor expansion of x in y 1.361 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in x 1.361 * [taylor]: Taking taylor expansion of (log y) in x 1.361 * [taylor]: Taking taylor expansion of y in x 1.361 * [taylor]: Taking taylor expansion of (log -1) in x 1.361 * [taylor]: Taking taylor expansion of -1 in x 1.364 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.365 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.365 * [taylor]: Taking taylor expansion of x in x 1.370 * [taylor]: Taking taylor expansion of 0 in x 1.378 * [taylor]: Taking taylor expansion of 0 in x 1.391 * [taylor]: Taking taylor expansion of 0 in x 1.391 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 1.391 * [approximate]: Taking taylor expansion of (- (fma y (log y) x) z) in (y x z) around 0 1.391 * [taylor]: Taking taylor expansion of (- (fma y (log y) x) z) in z 1.391 * [taylor]: Taking taylor expansion of (fma y (log y) x) in z 1.391 * [taylor]: Rewrote expression to (+ (* y (log y)) x) 1.392 * [taylor]: Taking taylor expansion of (* y (log y)) in z 1.392 * [taylor]: Taking taylor expansion of y in z 1.392 * [taylor]: Taking taylor expansion of (log y) in z 1.392 * [taylor]: Taking taylor expansion of y in z 1.392 * [taylor]: Taking taylor expansion of x in z 1.392 * [taylor]: Taking taylor expansion of z in z 1.392 * [taylor]: Taking taylor expansion of (- (fma y (log y) x) z) in x 1.392 * [taylor]: Taking taylor expansion of (fma y (log y) x) in x 1.392 * [taylor]: Rewrote expression to (+ (* y (log y)) x) 1.392 * [taylor]: Taking taylor expansion of (* y (log y)) in x 1.392 * [taylor]: Taking taylor expansion of y in x 1.392 * [taylor]: Taking taylor expansion of (log y) in x 1.392 * [taylor]: Taking taylor expansion of y in x 1.392 * [taylor]: Taking taylor expansion of x in x 1.392 * [taylor]: Taking taylor expansion of z in x 1.392 * [taylor]: Taking taylor expansion of (- (fma y (log y) x) z) in y 1.392 * [taylor]: Taking taylor expansion of (fma y (log y) x) in y 1.392 * [taylor]: Rewrote expression to (+ (* y (log y)) x) 1.392 * [taylor]: Taking taylor expansion of (* y (log y)) in y 1.392 * [taylor]: Taking taylor expansion of y in y 1.392 * [taylor]: Taking taylor expansion of (log y) in y 1.392 * [taylor]: Taking taylor expansion of y in y 1.392 * [taylor]: Taking taylor expansion of x in y 1.392 * [taylor]: Taking taylor expansion of z in y 1.392 * [taylor]: Taking taylor expansion of (- (fma y (log y) x) z) in y 1.392 * [taylor]: Taking taylor expansion of (fma y (log y) x) in y 1.392 * [taylor]: Rewrote expression to (+ (* y (log y)) x) 1.393 * [taylor]: Taking taylor expansion of (* y (log y)) in y 1.393 * [taylor]: Taking taylor expansion of y in y 1.393 * [taylor]: Taking taylor expansion of (log y) in y 1.393 * [taylor]: Taking taylor expansion of y in y 1.393 * [taylor]: Taking taylor expansion of x in y 1.393 * [taylor]: Taking taylor expansion of z in y 1.393 * [taylor]: Taking taylor expansion of (- x z) in x 1.393 * [taylor]: Taking taylor expansion of x in x 1.393 * [taylor]: Taking taylor expansion of z in x 1.393 * [taylor]: Taking taylor expansion of (- z) in z 1.393 * [taylor]: Taking taylor expansion of z in z 1.395 * [taylor]: Taking taylor expansion of (log y) in x 1.395 * [taylor]: Taking taylor expansion of y in x 1.395 * [taylor]: Taking taylor expansion of (log y) in z 1.395 * [taylor]: Taking taylor expansion of y in z 1.396 * [taylor]: Taking taylor expansion of 1 in z 1.397 * [approximate]: Taking taylor expansion of (- (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) (/ 1 z)) in (y x z) around 0 1.397 * [taylor]: Taking taylor expansion of (- (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) (/ 1 z)) in z 1.397 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in z 1.397 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (log (/ 1 y))) (/ 1 x)) 1.397 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in z 1.397 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.397 * [taylor]: Taking taylor expansion of y in z 1.397 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 1.397 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.397 * [taylor]: Taking taylor expansion of y in z 1.397 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.397 * [taylor]: Taking taylor expansion of x in z 1.397 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.397 * [taylor]: Taking taylor expansion of z in z 1.397 * [taylor]: Taking taylor expansion of (- (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) (/ 1 z)) in x 1.397 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in x 1.397 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (log (/ 1 y))) (/ 1 x)) 1.397 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in x 1.397 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.397 * [taylor]: Taking taylor expansion of y in x 1.397 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.397 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.397 * [taylor]: Taking taylor expansion of y in x 1.398 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.398 * [taylor]: Taking taylor expansion of x in x 1.398 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.398 * [taylor]: Taking taylor expansion of z in x 1.398 * [taylor]: Taking taylor expansion of (- (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) (/ 1 z)) in y 1.398 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in y 1.398 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (log (/ 1 y))) (/ 1 x)) 1.398 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in y 1.398 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.398 * [taylor]: Taking taylor expansion of y in y 1.398 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.398 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.398 * [taylor]: Taking taylor expansion of y in y 1.399 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.399 * [taylor]: Taking taylor expansion of x in y 1.399 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.399 * [taylor]: Taking taylor expansion of z in y 1.399 * [taylor]: Taking taylor expansion of (- (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) (/ 1 z)) in y 1.399 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in y 1.399 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (log (/ 1 y))) (/ 1 x)) 1.399 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in y 1.399 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.399 * [taylor]: Taking taylor expansion of y in y 1.399 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.399 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.399 * [taylor]: Taking taylor expansion of y in y 1.400 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.400 * [taylor]: Taking taylor expansion of x in y 1.400 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.400 * [taylor]: Taking taylor expansion of z in y 1.401 * [taylor]: Taking taylor expansion of (- (log y)) in x 1.401 * [taylor]: Taking taylor expansion of (log y) in x 1.401 * [taylor]: Taking taylor expansion of y in x 1.403 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 1.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.403 * [taylor]: Taking taylor expansion of x in x 1.403 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.403 * [taylor]: Taking taylor expansion of z in x 1.404 * [taylor]: Taking taylor expansion of 1 in z 1.404 * [taylor]: Taking taylor expansion of (- (log y)) in z 1.404 * [taylor]: Taking taylor expansion of (log y) in z 1.404 * [taylor]: Taking taylor expansion of y in z 1.408 * [taylor]: Taking taylor expansion of 0 in x 1.408 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.408 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.408 * [taylor]: Taking taylor expansion of z in z 1.410 * [taylor]: Taking taylor expansion of 0 in z 1.410 * [approximate]: Taking taylor expansion of (+ (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) (/ 1 z)) in (y x z) around 0 1.410 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) (/ 1 z)) in z 1.410 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in z 1.410 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (log (/ -1 y))) (/ -1 x)) 1.410 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in z 1.410 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.410 * [taylor]: Taking taylor expansion of -1 in z 1.411 * [taylor]: Taking taylor expansion of y in z 1.411 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 1.411 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.411 * [taylor]: Taking taylor expansion of -1 in z 1.411 * [taylor]: Taking taylor expansion of y in z 1.411 * [taylor]: Taking taylor expansion of (/ -1 x) in z 1.411 * [taylor]: Taking taylor expansion of -1 in z 1.411 * [taylor]: Taking taylor expansion of x in z 1.411 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.411 * [taylor]: Taking taylor expansion of z in z 1.411 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) (/ 1 z)) in x 1.411 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in x 1.411 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (log (/ -1 y))) (/ -1 x)) 1.411 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in x 1.411 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.411 * [taylor]: Taking taylor expansion of -1 in x 1.411 * [taylor]: Taking taylor expansion of y in x 1.411 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.411 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.411 * [taylor]: Taking taylor expansion of -1 in x 1.411 * [taylor]: Taking taylor expansion of y in x 1.411 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.411 * [taylor]: Taking taylor expansion of -1 in x 1.411 * [taylor]: Taking taylor expansion of x in x 1.412 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.412 * [taylor]: Taking taylor expansion of z in x 1.412 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) (/ 1 z)) in y 1.412 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in y 1.412 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (log (/ -1 y))) (/ -1 x)) 1.412 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in y 1.412 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.412 * [taylor]: Taking taylor expansion of -1 in y 1.412 * [taylor]: Taking taylor expansion of y in y 1.412 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.412 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.412 * [taylor]: Taking taylor expansion of -1 in y 1.412 * [taylor]: Taking taylor expansion of y in y 1.413 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.413 * [taylor]: Taking taylor expansion of -1 in y 1.413 * [taylor]: Taking taylor expansion of x in y 1.413 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.413 * [taylor]: Taking taylor expansion of z in y 1.413 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) (/ 1 z)) in y 1.413 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in y 1.413 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (log (/ -1 y))) (/ -1 x)) 1.413 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in y 1.413 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.413 * [taylor]: Taking taylor expansion of -1 in y 1.413 * [taylor]: Taking taylor expansion of y in y 1.418 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.418 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.418 * [taylor]: Taking taylor expansion of -1 in y 1.418 * [taylor]: Taking taylor expansion of y in y 1.419 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.419 * [taylor]: Taking taylor expansion of -1 in y 1.419 * [taylor]: Taking taylor expansion of x in y 1.419 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.419 * [taylor]: Taking taylor expansion of z in y 1.421 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in x 1.421 * [taylor]: Taking taylor expansion of (log y) in x 1.421 * [taylor]: Taking taylor expansion of y in x 1.421 * [taylor]: Taking taylor expansion of (log -1) in x 1.421 * [taylor]: Taking taylor expansion of -1 in x 1.424 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 1.424 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.424 * [taylor]: Taking taylor expansion of z in x 1.424 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.424 * [taylor]: Taking taylor expansion of x in x 1.425 * [taylor]: Taking taylor expansion of -1 in z 1.426 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 1.426 * [taylor]: Taking taylor expansion of (log y) in z 1.426 * [taylor]: Taking taylor expansion of y in z 1.426 * [taylor]: Taking taylor expansion of (log -1) in z 1.426 * [taylor]: Taking taylor expansion of -1 in z 1.430 * [taylor]: Taking taylor expansion of 0 in x 1.431 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.431 * [taylor]: Taking taylor expansion of z in z 1.433 * [taylor]: Taking taylor expansion of 0 in z 1.435 * * * [progress]: simplifying candidates 1.436 * [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)) (fma (* (cbrt (fma y (log y) x)) (cbrt (fma y (log y) x))) (cbrt (fma y (log y) x)) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (fma (* (cbrt (fma y (log y) x)) (cbrt (fma y (log y) x))) (cbrt (fma y (log y) x)) (- (* (sqrt z) (sqrt z)))) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (fma (* (cbrt (fma y (log y) x)) (cbrt (fma y (log y) x))) (cbrt (fma y (log y) x)) (- (* z 1))) (fma (- z) 1 (* z 1)) (fma (sqrt (fma y (log y) x)) (sqrt (fma y (log y) x)) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (fma (sqrt (fma y (log y) x)) (sqrt (fma y (log y) x)) (- (* (sqrt z) (sqrt z)))) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (fma (sqrt (fma y (log y) x)) (sqrt (fma y (log y) x)) (- (* z 1))) (fma (- z) 1 (* z 1)) (fma 1 (fma y (log y) x) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (fma 1 (fma y (log y) x) (- (* (sqrt z) (sqrt z)))) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (fma 1 (fma y (log y) x) (- (* z 1))) (fma (- z) 1 (* z 1)) (expm1 (- (fma y (log y) x) z)) (log1p (- (fma y (log y) x) z)) (- z) (- z) (- z) (/ (exp (fma y (log y) x)) (exp z)) (log (- (fma y (log y) x) z)) (exp (- (fma y (log y) x) z)) (* (cbrt (- (fma y (log y) x) z)) (cbrt (- (fma y (log y) x) z))) (cbrt (- (fma y (log y) x) z)) (* (* (- (fma y (log y) x) z) (- (fma y (log y) x) z)) (- (fma y (log y) x) z)) (sqrt (- (fma y (log y) x) z)) (sqrt (- (fma y (log y) x) z)) (- (pow (fma y (log y) x) 3) (pow z 3)) (+ (* (fma y (log y) x) (fma y (log y) x)) (+ (* z z) (* (fma y (log y) x) z))) (- z) (- (* (fma y (log y) x) (fma y (log y) x)) (* z z)) (+ (fma y (log y) x) z) (+ (sqrt (fma y (log y) x)) (sqrt z)) (- (sqrt (fma y (log y) x)) (sqrt z)) (- (fma y (log y) x) z) (- x z) (- z) (+ x (* y (log y))) (- x (* y (log (/ 1 y)))) (- (+ (* (log -1) y) x) (* y (log (/ -1 y)))) (- (+ x (* y (log y))) z) (- x (+ z (* y (log (/ 1 y))))) (- (+ (* (log -1) y) x) (+ (* y (log (/ -1 y))) z)) 1.438 * * [simplify]: iteration 0 : 83 enodes (cost 617 ) 1.452 * * [simplify]: iteration 1 : 177 enodes (cost 515 ) 1.489 * * [simplify]: iteration 2 : 531 enodes (cost 434 ) 1.700 * * [simplify]: iteration 3 : 2425 enodes (cost 390 ) 3.125 * * [simplify]: iteration done : 5001 enodes (cost 390 ) 3.125 * [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)) (- (pow (cbrt (fma y (log y) x)) 3) z) (* z 0) (- (pow (cbrt (fma y (log y) x)) 3) z) (* z 0) (- (pow (cbrt (fma y (log y) x)) 3) z) (* z 0) (- (fma y (log y) x) z) (* z 0) (- (fma y (log y) x) z) (* z 0) (- (fma y (log y) x) z) (* z 0) (- (fma y (log y) x) z) (* z 0) (- (fma y (log y) x) z) (* z 0) (- (fma y (log y) x) z) (* z 0) (expm1 (- (fma y (log y) x) z)) (log1p (- (fma y (log y) x) z)) (- z) (- z) (- z) (exp (- (fma y (log y) x) z)) (log (- (fma y (log y) x) z)) (exp (- (fma y (log y) x) z)) (* (cbrt (- (fma y (log y) x) z)) (cbrt (- (fma y (log y) x) z))) (cbrt (- (fma y (log y) x) z)) (pow (- (fma y (log y) x) z) 3) (sqrt (- (fma y (log y) x) z)) (sqrt (- (fma y (log y) x) z)) (- (pow (fma y (log y) x) 3) (pow z 3)) (fma z z (* (+ z (fma y (log y) x)) (fma y (log y) x))) (- z) (- (* (fma y (log y) x) (fma y (log y) x)) (* z z)) (+ z (fma y (log y) x)) (+ (sqrt (fma y (log y) x)) (sqrt z)) (- (sqrt (fma y (log y) x)) (sqrt z)) (- (fma y (log y) x) z) (- x z) (- z) (fma y (log y) x) (fma y (log y) x) (+ (* y (- (log -1) (log (/ -1 y)))) x) (- (fma y (log y) x) z) (- (fma y (log y) x) z) (- (fma (log -1) y x) (fma y (log (/ -1 y)) z)) 3.125 * * * [progress]: adding candidates to table 3.228 * [progress]: [Phase 3 of 3] Extracting. 3.230 * [simplify]: Simplifying using # : (exp (- (fma y (log y) x) z)) 3.231 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 3.231 * * [simplify]: iteration done : 7 enodes (cost 8 ) 3.231 * [simplify]: Simplified to: (exp (- (fma y (log y) x) z)) 5.265 * [regime-testing]: End program error score: 0.010750581725530223 5.300 * [regime-testing]: Target error score: 0.010750581725530223