135.609 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.413 * * * [progress]: [2/2] Setting up program.
0.524 * [progress]: [Phase 2 of 3] Improving.
0.525 * [simplify]: Simplifying:
  (exp (- (+ x (* y (log y))) z))
0.526 * * [simplify]: iteration 0: 8 enodes
0.530 * * [simplify]: iteration 1: 17 enodes
0.538 * * [simplify]: iteration 2: 37 enodes
0.554 * * [simplify]: iteration 3: 65 enodes
0.579 * * [simplify]: iteration 4: 105 enodes
0.623 * * [simplify]: iteration 5: 224 enodes
4.022 * * [simplify]: iteration 6: 635 enodes
6.552 * * [simplify]: iteration 7: 1870 enodes
21.165 * * [simplify]: iteration complete: 5000 enodes
21.165 * * [simplify]: Extracting #0: cost 1 inf + 0
21.166 * * [simplify]: Extracting #1: cost 289 inf + 0
21.182 * * [simplify]: Extracting #2: cost 1073 inf + 2
21.219 * * [simplify]: Extracting #3: cost 1128 inf + 1978
21.262 * * [simplify]: Extracting #4: cost 889 inf + 89406
21.437 * * [simplify]: Extracting #5: cost 355 inf + 426403
21.778 * * [simplify]: Extracting #6: cost 38 inf + 665440
22.067 * * [simplify]: Extracting #7: cost 0 inf + 681743
22.361 * * [simplify]: Extracting #8: cost 0 inf + 677832
22.682 * * [simplify]: Extracting #9: cost 0 inf + 677379
22.929 * * [simplify]: Extracting #10: cost 0 inf + 677186
23.072 * [simplify]: Simplified to:
  (exp (fma y (log y) (- x z)))
23.112 * * [progress]: iteration 1 / 4
23.112 * * * [progress]: picking best candidate
23.134 * * * * [pick]: Picked  #<alt (λ (x y z) (exp (fma y (log y) (- x z))))>
23.140 * * * [progress]: localizing error
23.217 * * * [progress]: generating rewritten candidates
23.217 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
23.230 * * * [progress]: generating series expansions
23.230 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
23.237 * [backup-simplify]: Simplify (fma y (log y) (- x z)) into (fma y (log y) (- x z))
23.237 * [approximate]: Taking taylor expansion of (fma y (log y) (- x z)) in (y x z) around 0
23.237 * [taylor]: Taking taylor expansion of (fma y (log y) (- x z)) in z
23.238 * [taylor]: Rewrote expression to (+ (* y (log y)) (- x z))
23.238 * [taylor]: Taking taylor expansion of (* y (log y)) in z
23.238 * [taylor]: Taking taylor expansion of y in z
23.238 * [backup-simplify]: Simplify y into y
23.238 * [taylor]: Taking taylor expansion of (log y) in z
23.238 * [taylor]: Taking taylor expansion of y in z
23.238 * [backup-simplify]: Simplify y into y
23.238 * [backup-simplify]: Simplify (log y) into (log y)
23.238 * [taylor]: Taking taylor expansion of (- x z) in z
23.238 * [taylor]: Taking taylor expansion of x in z
23.238 * [backup-simplify]: Simplify x into x
23.238 * [taylor]: Taking taylor expansion of z in z
23.238 * [backup-simplify]: Simplify 0 into 0
23.238 * [backup-simplify]: Simplify 1 into 1
23.238 * [taylor]: Taking taylor expansion of (fma y (log y) (- x z)) in x
23.238 * [taylor]: Rewrote expression to (+ (* y (log y)) (- x z))
23.238 * [taylor]: Taking taylor expansion of (* y (log y)) in x
23.238 * [taylor]: Taking taylor expansion of y in x
23.238 * [backup-simplify]: Simplify y into y
23.239 * [taylor]: Taking taylor expansion of (log y) in x
23.239 * [taylor]: Taking taylor expansion of y in x
23.239 * [backup-simplify]: Simplify y into y
23.239 * [backup-simplify]: Simplify (log y) into (log y)
23.239 * [taylor]: Taking taylor expansion of (- x z) in x
23.239 * [taylor]: Taking taylor expansion of x in x
23.239 * [backup-simplify]: Simplify 0 into 0
23.239 * [backup-simplify]: Simplify 1 into 1
23.239 * [taylor]: Taking taylor expansion of z in x
23.239 * [backup-simplify]: Simplify z into z
23.239 * [taylor]: Taking taylor expansion of (fma y (log y) (- x z)) in y
23.239 * [taylor]: Rewrote expression to (+ (* y (log y)) (- x z))
23.239 * [taylor]: Taking taylor expansion of (* y (log y)) in y
23.239 * [taylor]: Taking taylor expansion of y in y
23.239 * [backup-simplify]: Simplify 0 into 0
23.239 * [backup-simplify]: Simplify 1 into 1
23.239 * [taylor]: Taking taylor expansion of (log y) in y
23.239 * [taylor]: Taking taylor expansion of y in y
23.239 * [backup-simplify]: Simplify 0 into 0
23.239 * [backup-simplify]: Simplify 1 into 1
23.261 * [backup-simplify]: Simplify (log 1) into 0
23.261 * [taylor]: Taking taylor expansion of (- x z) in y
23.261 * [taylor]: Taking taylor expansion of x in y
23.261 * [backup-simplify]: Simplify x into x
23.261 * [taylor]: Taking taylor expansion of z in y
23.261 * [backup-simplify]: Simplify z into z
23.261 * [taylor]: Taking taylor expansion of (fma y (log y) (- x z)) in y
23.261 * [taylor]: Rewrote expression to (+ (* y (log y)) (- x z))
23.261 * [taylor]: Taking taylor expansion of (* y (log y)) in y
23.261 * [taylor]: Taking taylor expansion of y in y
23.261 * [backup-simplify]: Simplify 0 into 0
23.261 * [backup-simplify]: Simplify 1 into 1
23.261 * [taylor]: Taking taylor expansion of (log y) in y
23.262 * [taylor]: Taking taylor expansion of y in y
23.262 * [backup-simplify]: Simplify 0 into 0
23.262 * [backup-simplify]: Simplify 1 into 1
23.269 * [backup-simplify]: Simplify (log 1) into 0
23.269 * [taylor]: Taking taylor expansion of (- x z) in y
23.269 * [taylor]: Taking taylor expansion of x in y
23.269 * [backup-simplify]: Simplify x into x
23.269 * [taylor]: Taking taylor expansion of z in y
23.269 * [backup-simplify]: Simplify z into z
23.274 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
23.275 * [backup-simplify]: Simplify (* 0 (log y)) into 0
23.275 * [backup-simplify]: Simplify (- z) into (- z)
23.275 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
23.275 * [backup-simplify]: Simplify (+ 0 (- x z)) into (- x z)
23.275 * [taylor]: Taking taylor expansion of (- x z) in x
23.275 * [taylor]: Taking taylor expansion of x in x
23.275 * [backup-simplify]: Simplify 0 into 0
23.275 * [backup-simplify]: Simplify 1 into 1
23.275 * [taylor]: Taking taylor expansion of z in x
23.275 * [backup-simplify]: Simplify z into z
23.275 * [backup-simplify]: Simplify (- z) into (- z)
23.275 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
23.275 * [taylor]: Taking taylor expansion of (- z) in z
23.275 * [taylor]: Taking taylor expansion of z in z
23.275 * [backup-simplify]: Simplify 0 into 0
23.275 * [backup-simplify]: Simplify 1 into 1
23.276 * [backup-simplify]: Simplify (- 0) into 0
23.276 * [backup-simplify]: Simplify 0 into 0
23.281 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
23.282 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
23.282 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log y))) into (log y)
23.291 * [backup-simplify]: Simplify (- 0) into 0
23.295 * [backup-simplify]: Simplify (+ 0 0) into 0
23.295 * [backup-simplify]: Simplify (+ (log y) 0) into (log y)
23.295 * [taylor]: Taking taylor expansion of (log y) in x
23.295 * [taylor]: Taking taylor expansion of y in x
23.295 * [backup-simplify]: Simplify y into y
23.295 * [backup-simplify]: Simplify (log y) into (log y)
23.295 * [taylor]: Taking taylor expansion of (log y) in z
23.295 * [taylor]: Taking taylor expansion of y in z
23.295 * [backup-simplify]: Simplify y into y
23.295 * [backup-simplify]: Simplify (log y) into (log y)
23.295 * [backup-simplify]: Simplify (log y) into (log y)
23.305 * [backup-simplify]: Simplify (- 0) into 0
23.307 * [backup-simplify]: Simplify (+ 1 0) into 1
23.307 * [taylor]: Taking taylor expansion of 1 in z
23.307 * [backup-simplify]: Simplify 1 into 1
23.307 * [backup-simplify]: Simplify 1 into 1
23.308 * [backup-simplify]: Simplify (- 1) into -1
23.308 * [backup-simplify]: Simplify -1 into -1
23.309 * [backup-simplify]: Simplify (+ (* -1 (* z (* 1 1))) (+ (* 1 (* 1 (* x 1))) (* (log y) (* 1 (* 1 y))))) into (- (+ x (* y (log y))) z)
23.309 * [backup-simplify]: Simplify (fma (/ 1 y) (log (/ 1 y)) (- (/ 1 x) (/ 1 z))) into (fma (/ 1 y) (log (/ 1 y)) (- (/ 1 x) (/ 1 z)))
23.309 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (- (/ 1 x) (/ 1 z))) in (y x z) around 0
23.309 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (- (/ 1 x) (/ 1 z))) in z
23.310 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (log (/ 1 y))) (- (/ 1 x) (/ 1 z)))
23.310 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in z
23.310 * [taylor]: Taking taylor expansion of (/ 1 y) in z
23.310 * [taylor]: Taking taylor expansion of y in z
23.310 * [backup-simplify]: Simplify y into y
23.310 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
23.310 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z
23.310 * [taylor]: Taking taylor expansion of (/ 1 y) in z
23.310 * [taylor]: Taking taylor expansion of y in z
23.310 * [backup-simplify]: Simplify y into y
23.310 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
23.310 * [backup-simplify]: Simplify (log (/ 1 y)) into (log (/ 1 y))
23.310 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
23.310 * [taylor]: Taking taylor expansion of (/ 1 x) in z
23.310 * [taylor]: Taking taylor expansion of x in z
23.310 * [backup-simplify]: Simplify x into x
23.310 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
23.310 * [taylor]: Taking taylor expansion of (/ 1 z) in z
23.310 * [taylor]: Taking taylor expansion of z in z
23.310 * [backup-simplify]: Simplify 0 into 0
23.310 * [backup-simplify]: Simplify 1 into 1
23.318 * [backup-simplify]: Simplify (/ 1 1) into 1
23.318 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (- (/ 1 x) (/ 1 z))) in x
23.319 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (log (/ 1 y))) (- (/ 1 x) (/ 1 z)))
23.319 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in x
23.319 * [taylor]: Taking taylor expansion of (/ 1 y) in x
23.319 * [taylor]: Taking taylor expansion of y in x
23.319 * [backup-simplify]: Simplify y into y
23.319 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
23.319 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
23.319 * [taylor]: Taking taylor expansion of (/ 1 y) in x
23.319 * [taylor]: Taking taylor expansion of y in x
23.319 * [backup-simplify]: Simplify y into y
23.319 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
23.319 * [backup-simplify]: Simplify (log (/ 1 y)) into (log (/ 1 y))
23.319 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
23.319 * [taylor]: Taking taylor expansion of (/ 1 x) in x
23.319 * [taylor]: Taking taylor expansion of x in x
23.319 * [backup-simplify]: Simplify 0 into 0
23.319 * [backup-simplify]: Simplify 1 into 1
23.321 * [backup-simplify]: Simplify (/ 1 1) into 1
23.321 * [taylor]: Taking taylor expansion of (/ 1 z) in x
23.321 * [taylor]: Taking taylor expansion of z in x
23.321 * [backup-simplify]: Simplify z into z
23.321 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
23.321 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (- (/ 1 x) (/ 1 z))) in y
23.321 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (log (/ 1 y))) (- (/ 1 x) (/ 1 z)))
23.321 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in y
23.321 * [taylor]: Taking taylor expansion of (/ 1 y) in y
23.321 * [taylor]: Taking taylor expansion of y in y
23.321 * [backup-simplify]: Simplify 0 into 0
23.321 * [backup-simplify]: Simplify 1 into 1
23.324 * [backup-simplify]: Simplify (/ 1 1) into 1
23.324 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
23.324 * [taylor]: Taking taylor expansion of (/ 1 y) in y
23.324 * [taylor]: Taking taylor expansion of y in y
23.324 * [backup-simplify]: Simplify 0 into 0
23.324 * [backup-simplify]: Simplify 1 into 1
23.325 * [backup-simplify]: Simplify (/ 1 1) into 1
23.327 * [backup-simplify]: Simplify (log 1) into 0
23.327 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
23.327 * [taylor]: Taking taylor expansion of (/ 1 x) in y
23.327 * [taylor]: Taking taylor expansion of x in y
23.327 * [backup-simplify]: Simplify x into x
23.327 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
23.327 * [taylor]: Taking taylor expansion of (/ 1 z) in y
23.327 * [taylor]: Taking taylor expansion of z in y
23.327 * [backup-simplify]: Simplify z into z
23.327 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
23.327 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (- (/ 1 x) (/ 1 z))) in y
23.327 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (log (/ 1 y))) (- (/ 1 x) (/ 1 z)))
23.327 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in y
23.328 * [taylor]: Taking taylor expansion of (/ 1 y) in y
23.328 * [taylor]: Taking taylor expansion of y in y
23.328 * [backup-simplify]: Simplify 0 into 0
23.328 * [backup-simplify]: Simplify 1 into 1
23.333 * [backup-simplify]: Simplify (/ 1 1) into 1
23.333 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
23.333 * [taylor]: Taking taylor expansion of (/ 1 y) in y
23.333 * [taylor]: Taking taylor expansion of y in y
23.333 * [backup-simplify]: Simplify 0 into 0
23.333 * [backup-simplify]: Simplify 1 into 1
23.334 * [backup-simplify]: Simplify (/ 1 1) into 1
23.335 * [backup-simplify]: Simplify (log 1) into 0
23.335 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
23.335 * [taylor]: Taking taylor expansion of (/ 1 x) in y
23.335 * [taylor]: Taking taylor expansion of x in y
23.335 * [backup-simplify]: Simplify x into x
23.335 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
23.335 * [taylor]: Taking taylor expansion of (/ 1 z) in y
23.335 * [taylor]: Taking taylor expansion of z in y
23.336 * [backup-simplify]: Simplify z into z
23.336 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
23.340 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
23.340 * [backup-simplify]: Simplify (* 1 (- (log y))) into (* -1 (log y))
23.340 * [backup-simplify]: Simplify (+ (* -1 (log y)) 0) into (- (log y))
23.340 * [taylor]: Taking taylor expansion of (- (log y)) in x
23.341 * [taylor]: Taking taylor expansion of (log y) in x
23.341 * [taylor]: Taking taylor expansion of y in x
23.341 * [backup-simplify]: Simplify y into y
23.341 * [backup-simplify]: Simplify (log y) into (log y)
23.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.354 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
23.367 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.368 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
23.369 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- (log y)))) into 0
23.369 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
23.369 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
23.369 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x) (/ 1 z))) into (- (/ 1 x) (/ 1 z))
23.370 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
23.370 * [taylor]: Taking taylor expansion of (/ 1 x) in x
23.370 * [taylor]: Taking taylor expansion of x in x
23.370 * [backup-simplify]: Simplify 0 into 0
23.370 * [backup-simplify]: Simplify 1 into 1
23.372 * [backup-simplify]: Simplify (/ 1 1) into 1
23.372 * [taylor]: Taking taylor expansion of (/ 1 z) in x
23.372 * [taylor]: Taking taylor expansion of z in x
23.372 * [backup-simplify]: Simplify z into z
23.372 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
23.373 * [backup-simplify]: Simplify (+ 1 0) into 1
23.373 * [taylor]: Taking taylor expansion of 1 in z
23.373 * [backup-simplify]: Simplify 1 into 1
23.374 * [backup-simplify]: Simplify (- (log y)) into (- (log y))
23.374 * [taylor]: Taking taylor expansion of (- (log y)) in z
23.374 * [taylor]: Taking taylor expansion of (log y) in z
23.374 * [taylor]: Taking taylor expansion of y in z
23.374 * [backup-simplify]: Simplify y into y
23.374 * [backup-simplify]: Simplify (log y) into (log y)
23.379 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.383 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
23.386 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.389 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
23.391 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (- (log y))))) into 0
23.391 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
23.392 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
23.393 * [backup-simplify]: Simplify (- 0) into 0
23.394 * [backup-simplify]: Simplify (+ 0 0) into 0
23.397 * [backup-simplify]: Simplify (+ 0 0) into 0
23.397 * [taylor]: Taking taylor expansion of 0 in x
23.397 * [backup-simplify]: Simplify 0 into 0
23.399 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.400 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
23.400 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
23.400 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
23.400 * [taylor]: Taking taylor expansion of (/ 1 z) in z
23.400 * [taylor]: Taking taylor expansion of z in z
23.400 * [backup-simplify]: Simplify 0 into 0
23.400 * [backup-simplify]: Simplify 1 into 1
23.401 * [backup-simplify]: Simplify (/ 1 1) into 1
23.401 * [backup-simplify]: Simplify (- 1) into -1
23.401 * [backup-simplify]: Simplify -1 into -1
23.402 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow y 1)))) 1) into 0
23.403 * [backup-simplify]: Simplify (- 0) into 0
23.403 * [taylor]: Taking taylor expansion of 0 in z
23.403 * [backup-simplify]: Simplify 0 into 0
23.403 * [backup-simplify]: Simplify 1 into 1
23.403 * [backup-simplify]: Simplify (- (log y)) into (- (log y))
23.403 * [backup-simplify]: Simplify (- (log y)) into (- (log y))
23.412 * [backup-simplify]: Simplify (+ (* (- (log (/ 1 y))) (* 1 (* 1 (/ 1 (/ 1 y))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) 1))) (* -1 (* (/ 1 (/ 1 z)) (* 1 1))))) into (- x (+ z (* y (log (/ 1 y)))))
23.412 * [backup-simplify]: Simplify (fma (/ 1 (- y)) (log (/ 1 (- y))) (- (/ 1 (- x)) (/ 1 (- z)))) into (fma (/ -1 y) (log (/ -1 y)) (- (/ 1 z) (/ 1 x)))
23.412 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (- (/ 1 z) (/ 1 x))) in (y x z) around 0
23.412 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (- (/ 1 z) (/ 1 x))) in z
23.413 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (log (/ -1 y))) (- (/ 1 z) (/ 1 x)))
23.413 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in z
23.413 * [taylor]: Taking taylor expansion of (/ -1 y) in z
23.413 * [taylor]: Taking taylor expansion of -1 in z
23.413 * [backup-simplify]: Simplify -1 into -1
23.413 * [taylor]: Taking taylor expansion of y in z
23.413 * [backup-simplify]: Simplify y into y
23.413 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
23.413 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z
23.413 * [taylor]: Taking taylor expansion of (/ -1 y) in z
23.413 * [taylor]: Taking taylor expansion of -1 in z
23.413 * [backup-simplify]: Simplify -1 into -1
23.413 * [taylor]: Taking taylor expansion of y in z
23.413 * [backup-simplify]: Simplify y into y
23.413 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
23.416 * [backup-simplify]: Simplify (log (/ -1 y)) into (log (/ -1 y))
23.416 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
23.416 * [taylor]: Taking taylor expansion of (/ 1 z) in z
23.416 * [taylor]: Taking taylor expansion of z in z
23.416 * [backup-simplify]: Simplify 0 into 0
23.416 * [backup-simplify]: Simplify 1 into 1
23.417 * [backup-simplify]: Simplify (/ 1 1) into 1
23.417 * [taylor]: Taking taylor expansion of (/ 1 x) in z
23.417 * [taylor]: Taking taylor expansion of x in z
23.417 * [backup-simplify]: Simplify x into x
23.417 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
23.417 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (- (/ 1 z) (/ 1 x))) in x
23.417 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (log (/ -1 y))) (- (/ 1 z) (/ 1 x)))
23.417 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in x
23.417 * [taylor]: Taking taylor expansion of (/ -1 y) in x
23.417 * [taylor]: Taking taylor expansion of -1 in x
23.418 * [backup-simplify]: Simplify -1 into -1
23.418 * [taylor]: Taking taylor expansion of y in x
23.418 * [backup-simplify]: Simplify y into y
23.418 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
23.418 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
23.418 * [taylor]: Taking taylor expansion of (/ -1 y) in x
23.418 * [taylor]: Taking taylor expansion of -1 in x
23.418 * [backup-simplify]: Simplify -1 into -1
23.418 * [taylor]: Taking taylor expansion of y in x
23.418 * [backup-simplify]: Simplify y into y
23.418 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
23.418 * [backup-simplify]: Simplify (log (/ -1 y)) into (log (/ -1 y))
23.418 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
23.418 * [taylor]: Taking taylor expansion of (/ 1 z) in x
23.418 * [taylor]: Taking taylor expansion of z in x
23.418 * [backup-simplify]: Simplify z into z
23.418 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
23.418 * [taylor]: Taking taylor expansion of (/ 1 x) in x
23.418 * [taylor]: Taking taylor expansion of x in x
23.418 * [backup-simplify]: Simplify 0 into 0
23.418 * [backup-simplify]: Simplify 1 into 1
23.419 * [backup-simplify]: Simplify (/ 1 1) into 1
23.419 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (- (/ 1 z) (/ 1 x))) in y
23.419 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (log (/ -1 y))) (- (/ 1 z) (/ 1 x)))
23.419 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in y
23.419 * [taylor]: Taking taylor expansion of (/ -1 y) in y
23.420 * [taylor]: Taking taylor expansion of -1 in y
23.420 * [backup-simplify]: Simplify -1 into -1
23.420 * [taylor]: Taking taylor expansion of y in y
23.420 * [backup-simplify]: Simplify 0 into 0
23.420 * [backup-simplify]: Simplify 1 into 1
23.421 * [backup-simplify]: Simplify (/ -1 1) into -1
23.421 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
23.421 * [taylor]: Taking taylor expansion of (/ -1 y) in y
23.421 * [taylor]: Taking taylor expansion of -1 in y
23.421 * [backup-simplify]: Simplify -1 into -1
23.421 * [taylor]: Taking taylor expansion of y in y
23.421 * [backup-simplify]: Simplify 0 into 0
23.421 * [backup-simplify]: Simplify 1 into 1
23.422 * [backup-simplify]: Simplify (/ -1 1) into -1
23.424 * [backup-simplify]: Simplify (log -1) into (log -1)
23.424 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
23.424 * [taylor]: Taking taylor expansion of (/ 1 z) in y
23.424 * [taylor]: Taking taylor expansion of z in y
23.424 * [backup-simplify]: Simplify z into z
23.424 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
23.424 * [taylor]: Taking taylor expansion of (/ 1 x) in y
23.424 * [taylor]: Taking taylor expansion of x in y
23.424 * [backup-simplify]: Simplify x into x
23.424 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
23.424 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (- (/ 1 z) (/ 1 x))) in y
23.424 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (log (/ -1 y))) (- (/ 1 z) (/ 1 x)))
23.425 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in y
23.425 * [taylor]: Taking taylor expansion of (/ -1 y) in y
23.425 * [taylor]: Taking taylor expansion of -1 in y
23.425 * [backup-simplify]: Simplify -1 into -1
23.425 * [taylor]: Taking taylor expansion of y in y
23.425 * [backup-simplify]: Simplify 0 into 0
23.425 * [backup-simplify]: Simplify 1 into 1
23.426 * [backup-simplify]: Simplify (/ -1 1) into -1
23.426 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
23.426 * [taylor]: Taking taylor expansion of (/ -1 y) in y
23.426 * [taylor]: Taking taylor expansion of -1 in y
23.426 * [backup-simplify]: Simplify -1 into -1
23.426 * [taylor]: Taking taylor expansion of y in y
23.426 * [backup-simplify]: Simplify 0 into 0
23.426 * [backup-simplify]: Simplify 1 into 1
23.427 * [backup-simplify]: Simplify (/ -1 1) into -1
23.429 * [backup-simplify]: Simplify (log -1) into (log -1)
23.429 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
23.429 * [taylor]: Taking taylor expansion of (/ 1 z) in y
23.429 * [taylor]: Taking taylor expansion of z in y
23.430 * [backup-simplify]: Simplify z into z
23.430 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
23.430 * [taylor]: Taking taylor expansion of (/ 1 x) in y
23.430 * [taylor]: Taking taylor expansion of x in y
23.430 * [backup-simplify]: Simplify x into x
23.430 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
23.434 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) (log -1)) into (- (log -1) (log y))
23.435 * [backup-simplify]: Simplify (* -1 (- (log -1) (log y))) into (* -1 (- (log -1) (log y)))
23.435 * [backup-simplify]: Simplify (+ (* -1 (- (log -1) (log y))) 0) into (- (log y) (log -1))
23.435 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in x
23.435 * [taylor]: Taking taylor expansion of (log y) in x
23.435 * [taylor]: Taking taylor expansion of y in x
23.435 * [backup-simplify]: Simplify y into y
23.435 * [backup-simplify]: Simplify (log y) into (log y)
23.435 * [taylor]: Taking taylor expansion of (log -1) in x
23.436 * [taylor]: Taking taylor expansion of -1 in x
23.436 * [backup-simplify]: Simplify -1 into -1
23.436 * [backup-simplify]: Simplify (log -1) into (log -1)
23.438 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
23.439 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
23.440 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
23.442 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) (log -1)) into (- (log -1) (log y))
23.442 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (log -1) (log y)))) into 0
23.443 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
23.443 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
23.443 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z) (/ 1 x))) into (- (/ 1 z) (/ 1 x))
23.443 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
23.443 * [taylor]: Taking taylor expansion of (/ 1 z) in x
23.443 * [taylor]: Taking taylor expansion of z in x
23.443 * [backup-simplify]: Simplify z into z
23.443 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
23.443 * [taylor]: Taking taylor expansion of (/ 1 x) in x
23.443 * [taylor]: Taking taylor expansion of x in x
23.443 * [backup-simplify]: Simplify 0 into 0
23.443 * [backup-simplify]: Simplify 1 into 1
23.443 * [backup-simplify]: Simplify (/ 1 1) into 1
23.443 * [backup-simplify]: Simplify (- 1) into -1
23.444 * [backup-simplify]: Simplify (+ 0 -1) into -1
23.444 * [taylor]: Taking taylor expansion of -1 in z
23.444 * [backup-simplify]: Simplify -1 into -1
23.444 * [backup-simplify]: Simplify (- (log -1)) into (- (log -1))
23.445 * [backup-simplify]: Simplify (+ (log y) (- (log -1))) into (- (log y) (log -1))
23.445 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z
23.445 * [taylor]: Taking taylor expansion of (log y) in z
23.445 * [taylor]: Taking taylor expansion of y in z
23.445 * [backup-simplify]: Simplify y into y
23.445 * [backup-simplify]: Simplify (log y) into (log y)
23.445 * [taylor]: Taking taylor expansion of (log -1) in z
23.446 * [taylor]: Taking taylor expansion of -1 in z
23.446 * [backup-simplify]: Simplify -1 into -1
23.446 * [backup-simplify]: Simplify (log -1) into (log -1)
23.446 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.449 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
23.450 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.452 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) (log -1)) into (- (log -1) (log y))
23.454 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (log -1) (log y))))) into 0
23.454 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
23.454 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
23.455 * [backup-simplify]: Simplify (- 0) into 0
23.456 * [backup-simplify]: Simplify (+ 0 0) into 0
23.457 * [backup-simplify]: Simplify (+ 0 0) into 0
23.457 * [taylor]: Taking taylor expansion of 0 in x
23.457 * [backup-simplify]: Simplify 0 into 0
23.458 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.458 * [backup-simplify]: Simplify (- 0) into 0
23.458 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
23.458 * [taylor]: Taking taylor expansion of (/ 1 z) in z
23.458 * [taylor]: Taking taylor expansion of z in z
23.459 * [backup-simplify]: Simplify 0 into 0
23.459 * [backup-simplify]: Simplify 1 into 1
23.459 * [backup-simplify]: Simplify (/ 1 1) into 1
23.459 * [backup-simplify]: Simplify 1 into 1
23.460 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow y 1)))) 1) into 0
23.462 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
23.462 * [backup-simplify]: Simplify (- 0) into 0
23.462 * [backup-simplify]: Simplify (+ 0 0) into 0
23.462 * [taylor]: Taking taylor expansion of 0 in z
23.462 * [backup-simplify]: Simplify 0 into 0
23.463 * [backup-simplify]: Simplify -1 into -1
23.465 * [backup-simplify]: Simplify (- (log -1)) into (- (log -1))
23.466 * [backup-simplify]: Simplify (+ (log y) (- (log -1))) into (- (log y) (log -1))
23.467 * [backup-simplify]: Simplify (- (log y) (log -1)) into (- (log y) (log -1))
23.469 * [backup-simplify]: Simplify (+ (* (- (log (/ 1 (- y))) (log -1)) (* 1 (* 1 (/ 1 (/ 1 (- y)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- x))) 1))) (* 1 (* (/ 1 (/ 1 (- z))) (* 1 1))))) into (- (+ (* (log -1) y) x) (+ (* y (log (/ -1 y))) z))
23.469 * * * [progress]: simplifying candidates
23.470 * [simplify]: Simplifying:
  (expm1 (fma y (log y) (- x z)))
  (log1p (fma y (log y) (- x z)))
  (* y (log y))
  (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)))
  (- (+ x (* y (log y))) z)
  (- x (+ z (* y (log (/ 1 y)))))
  (- (+ (* (log -1) y) x) (+ (* y (log (/ -1 y))) z))
23.471 * * [simplify]: iteration 0: 33 enodes
23.493 * * [simplify]: iteration 1: 65 enodes
23.525 * * [simplify]: iteration 2: 130 enodes
23.806 * * [simplify]: iteration 3: 357 enodes
25.917 * * [simplify]: iteration 4: 1668 enodes
29.697 * * [simplify]: iteration complete: 5004 enodes
29.717 * * [simplify]: Extracting #0: cost 10 inf + 0
29.718 * * [simplify]: Extracting #1: cost 151 inf + 0
29.771 * * [simplify]: Extracting #2: cost 815 inf + 1006
29.815 * * [simplify]: Extracting #3: cost 1161 inf + 62815
29.970 * * [simplify]: Extracting #4: cost 218 inf + 325136
30.143 * * [simplify]: Extracting #5: cost 7 inf + 383437
30.350 * * [simplify]: Extracting #6: cost 0 inf + 385392
30.494 * [simplify]: Simplified to:
  (expm1 (fma y (log y) (- x z)))
  (log1p (fma y (log y) (- x z)))
  (* (log y) y)
  (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)))
  (fma y (log y) (- x z))
  (fma y (log y) (- x z))
  (fma y (log y) (- x z))
30.494 * * * [progress]: adding candidates to table
30.599 * [progress]: [Phase 3 of 3] Extracting.
30.617 * [simplify]: Simplifying:
  (exp (fma y (log y) (- x z)))
30.617 * * [simplify]: iteration 0: 7 enodes
30.618 * * [simplify]: iteration complete: 7 enodes
30.618 * * [simplify]: Extracting #0: cost 1 inf + 0
30.618 * * [simplify]: Extracting #1: cost 2 inf + 0
30.618 * * [simplify]: Extracting #2: cost 5 inf + 0
30.618 * * [simplify]: Extracting #3: cost 5 inf + 72
30.618 * * [simplify]: Extracting #4: cost 3 inf + 74
30.618 * * [simplify]: Extracting #5: cost 0 inf + 522
30.618 * [simplify]: Simplified to:
  (exp (fma y (log y) (- x z)))
39.667 * [regime-testing]: Baseline error score: 0.007079526294316757
39.684 * [regime-testing]: Oracle error score: 0.007079526294316757
39.684 * [regime-testing]: End program error score: 0.007079526294316757
39.880 * [regime-testing]: Target error score: 0.007079526294316757