44.973 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.106 * * * [progress]: [2/2] Setting up program.
0.126 * [progress]: [Phase 2 of 3] Improving.
0.126 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y z) (exp (- (+ x (* y (log y))) z)))>
0.126 * [simplify]: Simplifying:
  (exp (- (+ x (* y (log y))) z))
0.127 * * [simplify]: iteration 0: 8 enodes
0.136 * * [simplify]: iteration 1: 17 enodes
0.145 * * [simplify]: iteration 2: 37 enodes
0.182 * * [simplify]: iteration 3: 65 enodes
0.232 * * [simplify]: iteration 4: 105 enodes
0.289 * * [simplify]: iteration 5: 224 enodes
0.539 * * [simplify]: iteration 6: 634 enodes
1.406 * * [simplify]: iteration 7: 1994 enodes
5.607 * * [simplify]: iteration complete: 5001 enodes
5.607 * * [simplify]: Extracting #0: cost 1 inf + 0
5.607 * * [simplify]: Extracting #1: cost 346 inf + 0
5.611 * * [simplify]: Extracting #2: cost 1151 inf + 1
5.616 * * [simplify]: Extracting #3: cost 1190 inf + 3054
5.626 * * [simplify]: Extracting #4: cost 994 inf + 67419
5.698 * * [simplify]: Extracting #5: cost 462 inf + 407023
5.830 * * [simplify]: Extracting #6: cost 43 inf + 716371
5.919 * * [simplify]: Extracting #7: cost 0 inf + 734065
6.031 * * [simplify]: Extracting #8: cost 0 inf + 732532
6.125 * * [simplify]: Extracting #9: cost 0 inf + 732248
6.252 * [simplify]: Simplified to:
  (exp (fma (log y) y (- x z)))
6.275 * * [progress]: iteration 1 / 4
6.275 * * * [progress]: picking best candidate
6.285 * * * * [pick]: Picked  #<alt (λ (x y z) (exp (fma (log y) y (- x z))))>
6.285 * * * [progress]: localizing error
6.302 * * * [progress]: generating rewritten candidates
6.302 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
6.304 * * * [progress]: generating series expansions
6.304 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
6.304 * [backup-simplify]: Simplify (fma (log y) y (- x z)) into (fma (log y) y (- x z))
6.304 * [approximate]: Taking taylor expansion of (fma (log y) y (- x z)) in (y x z) around 0
6.304 * [taylor]: Taking taylor expansion of (fma (log y) y (- x z)) in z
6.305 * [taylor]: Rewrote expression to (+ (* (log y) y) (- x z))
6.305 * [taylor]: Taking taylor expansion of (* (log y) y) in z
6.305 * [taylor]: Taking taylor expansion of (log y) in z
6.305 * [taylor]: Taking taylor expansion of y in z
6.305 * [backup-simplify]: Simplify y into y
6.305 * [backup-simplify]: Simplify (log y) into (log y)
6.305 * [taylor]: Taking taylor expansion of y in z
6.305 * [backup-simplify]: Simplify y into y
6.305 * [taylor]: Taking taylor expansion of (- x z) in z
6.305 * [taylor]: Taking taylor expansion of x in z
6.305 * [backup-simplify]: Simplify x into x
6.305 * [taylor]: Taking taylor expansion of z in z
6.305 * [backup-simplify]: Simplify 0 into 0
6.305 * [backup-simplify]: Simplify 1 into 1
6.305 * [taylor]: Taking taylor expansion of (fma (log y) y (- x z)) in x
6.306 * [taylor]: Rewrote expression to (+ (* (log y) y) (- x z))
6.306 * [taylor]: Taking taylor expansion of (* (log y) y) in x
6.306 * [taylor]: Taking taylor expansion of (log y) in x
6.306 * [taylor]: Taking taylor expansion of y in x
6.306 * [backup-simplify]: Simplify y into y
6.306 * [backup-simplify]: Simplify (log y) into (log y)
6.306 * [taylor]: Taking taylor expansion of y in x
6.306 * [backup-simplify]: Simplify y into y
6.306 * [taylor]: Taking taylor expansion of (- x z) in x
6.306 * [taylor]: Taking taylor expansion of x in x
6.306 * [backup-simplify]: Simplify 0 into 0
6.306 * [backup-simplify]: Simplify 1 into 1
6.306 * [taylor]: Taking taylor expansion of z in x
6.306 * [backup-simplify]: Simplify z into z
6.306 * [taylor]: Taking taylor expansion of (fma (log y) y (- x z)) in y
6.306 * [taylor]: Rewrote expression to (+ (* (log y) y) (- x z))
6.306 * [taylor]: Taking taylor expansion of (* (log y) y) in y
6.307 * [taylor]: Taking taylor expansion of (log y) in y
6.307 * [taylor]: Taking taylor expansion of y in y
6.307 * [backup-simplify]: Simplify 0 into 0
6.307 * [backup-simplify]: Simplify 1 into 1
6.307 * [backup-simplify]: Simplify (log 1) into 0
6.307 * [taylor]: Taking taylor expansion of y in y
6.307 * [backup-simplify]: Simplify 0 into 0
6.307 * [backup-simplify]: Simplify 1 into 1
6.307 * [taylor]: Taking taylor expansion of (- x z) in y
6.307 * [taylor]: Taking taylor expansion of x in y
6.307 * [backup-simplify]: Simplify x into x
6.307 * [taylor]: Taking taylor expansion of z in y
6.308 * [backup-simplify]: Simplify z into z
6.308 * [taylor]: Taking taylor expansion of (fma (log y) y (- x z)) in y
6.308 * [taylor]: Rewrote expression to (+ (* (log y) y) (- x z))
6.308 * [taylor]: Taking taylor expansion of (* (log y) y) in y
6.308 * [taylor]: Taking taylor expansion of (log y) in y
6.308 * [taylor]: Taking taylor expansion of y in y
6.308 * [backup-simplify]: Simplify 0 into 0
6.308 * [backup-simplify]: Simplify 1 into 1
6.308 * [backup-simplify]: Simplify (log 1) into 0
6.308 * [taylor]: Taking taylor expansion of y in y
6.308 * [backup-simplify]: Simplify 0 into 0
6.308 * [backup-simplify]: Simplify 1 into 1
6.308 * [taylor]: Taking taylor expansion of (- x z) in y
6.308 * [taylor]: Taking taylor expansion of x in y
6.309 * [backup-simplify]: Simplify x into x
6.309 * [taylor]: Taking taylor expansion of z in y
6.309 * [backup-simplify]: Simplify z into z
6.309 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
6.310 * [backup-simplify]: Simplify (* (log y) 0) into 0
6.310 * [backup-simplify]: Simplify (- z) into (- z)
6.310 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
6.310 * [backup-simplify]: Simplify (+ 0 (- x z)) into (- x z)
6.310 * [taylor]: Taking taylor expansion of (- x z) in x
6.310 * [taylor]: Taking taylor expansion of x in x
6.310 * [backup-simplify]: Simplify 0 into 0
6.310 * [backup-simplify]: Simplify 1 into 1
6.310 * [taylor]: Taking taylor expansion of z in x
6.310 * [backup-simplify]: Simplify z into z
6.311 * [backup-simplify]: Simplify (- z) into (- z)
6.311 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
6.311 * [taylor]: Taking taylor expansion of (- z) in z
6.311 * [taylor]: Taking taylor expansion of z in z
6.311 * [backup-simplify]: Simplify 0 into 0
6.311 * [backup-simplify]: Simplify 1 into 1
6.311 * [backup-simplify]: Simplify (- 0) into 0
6.311 * [backup-simplify]: Simplify 0 into 0
6.312 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
6.314 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
6.314 * [backup-simplify]: Simplify (+ (* (log y) 1) (* 0 0)) into (log y)
6.315 * [backup-simplify]: Simplify (- 0) into 0
6.315 * [backup-simplify]: Simplify (+ 0 0) into 0
6.316 * [backup-simplify]: Simplify (+ (log y) 0) into (log y)
6.316 * [taylor]: Taking taylor expansion of (log y) in x
6.316 * [taylor]: Taking taylor expansion of y in x
6.316 * [backup-simplify]: Simplify y into y
6.316 * [backup-simplify]: Simplify (log y) into (log y)
6.316 * [taylor]: Taking taylor expansion of (log y) in z
6.316 * [taylor]: Taking taylor expansion of y in z
6.316 * [backup-simplify]: Simplify y into y
6.316 * [backup-simplify]: Simplify (log y) into (log y)
6.317 * [backup-simplify]: Simplify (log y) into (log y)
6.317 * [backup-simplify]: Simplify (- 0) into 0
6.318 * [backup-simplify]: Simplify (+ 1 0) into 1
6.318 * [taylor]: Taking taylor expansion of 1 in z
6.318 * [backup-simplify]: Simplify 1 into 1
6.318 * [backup-simplify]: Simplify 1 into 1
6.318 * [backup-simplify]: Simplify (- 1) into -1
6.318 * [backup-simplify]: Simplify -1 into -1
6.320 * [backup-simplify]: Simplify (+ (* -1 (* z (* 1 1))) (+ (* 1 (* 1 (* x 1))) (* (log y) (* 1 (* 1 y))))) into (- (+ x (* y (log y))) z)
6.321 * [backup-simplify]: Simplify (fma (log (/ 1 y)) (/ 1 y) (- (/ 1 x) (/ 1 z))) into (fma (log (/ 1 y)) (/ 1 y) (- (/ 1 x) (/ 1 z)))
6.321 * [approximate]: Taking taylor expansion of (fma (log (/ 1 y)) (/ 1 y) (- (/ 1 x) (/ 1 z))) in (y x z) around 0
6.321 * [taylor]: Taking taylor expansion of (fma (log (/ 1 y)) (/ 1 y) (- (/ 1 x) (/ 1 z))) in z
6.321 * [taylor]: Rewrote expression to (+ (* (log (/ 1 y)) (/ 1 y)) (- (/ 1 x) (/ 1 z)))
6.321 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (/ 1 y)) in z
6.321 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z
6.321 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.321 * [taylor]: Taking taylor expansion of y in z
6.321 * [backup-simplify]: Simplify y into y
6.321 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.322 * [backup-simplify]: Simplify (log (/ 1 y)) into (log (/ 1 y))
6.322 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.322 * [taylor]: Taking taylor expansion of y in z
6.322 * [backup-simplify]: Simplify y into y
6.322 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.322 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
6.322 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.322 * [taylor]: Taking taylor expansion of x in z
6.322 * [backup-simplify]: Simplify x into x
6.322 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.322 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.322 * [taylor]: Taking taylor expansion of z in z
6.322 * [backup-simplify]: Simplify 0 into 0
6.322 * [backup-simplify]: Simplify 1 into 1
6.323 * [backup-simplify]: Simplify (/ 1 1) into 1
6.323 * [taylor]: Taking taylor expansion of (fma (log (/ 1 y)) (/ 1 y) (- (/ 1 x) (/ 1 z))) in x
6.323 * [taylor]: Rewrote expression to (+ (* (log (/ 1 y)) (/ 1 y)) (- (/ 1 x) (/ 1 z)))
6.323 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (/ 1 y)) in x
6.323 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
6.323 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.323 * [taylor]: Taking taylor expansion of y in x
6.323 * [backup-simplify]: Simplify y into y
6.323 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.324 * [backup-simplify]: Simplify (log (/ 1 y)) into (log (/ 1 y))
6.324 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.324 * [taylor]: Taking taylor expansion of y in x
6.324 * [backup-simplify]: Simplify y into y
6.324 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.324 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
6.324 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.324 * [taylor]: Taking taylor expansion of x in x
6.324 * [backup-simplify]: Simplify 0 into 0
6.324 * [backup-simplify]: Simplify 1 into 1
6.324 * [backup-simplify]: Simplify (/ 1 1) into 1
6.324 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.325 * [taylor]: Taking taylor expansion of z in x
6.325 * [backup-simplify]: Simplify z into z
6.325 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.325 * [taylor]: Taking taylor expansion of (fma (log (/ 1 y)) (/ 1 y) (- (/ 1 x) (/ 1 z))) in y
6.325 * [taylor]: Rewrote expression to (+ (* (log (/ 1 y)) (/ 1 y)) (- (/ 1 x) (/ 1 z)))
6.325 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (/ 1 y)) in y
6.325 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
6.325 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.325 * [taylor]: Taking taylor expansion of y in y
6.325 * [backup-simplify]: Simplify 0 into 0
6.325 * [backup-simplify]: Simplify 1 into 1
6.326 * [backup-simplify]: Simplify (/ 1 1) into 1
6.326 * [backup-simplify]: Simplify (log 1) into 0
6.326 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.326 * [taylor]: Taking taylor expansion of y in y
6.326 * [backup-simplify]: Simplify 0 into 0
6.326 * [backup-simplify]: Simplify 1 into 1
6.327 * [backup-simplify]: Simplify (/ 1 1) into 1
6.327 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
6.327 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.327 * [taylor]: Taking taylor expansion of x in y
6.327 * [backup-simplify]: Simplify x into x
6.327 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.327 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.327 * [taylor]: Taking taylor expansion of z in y
6.327 * [backup-simplify]: Simplify z into z
6.327 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.327 * [taylor]: Taking taylor expansion of (fma (log (/ 1 y)) (/ 1 y) (- (/ 1 x) (/ 1 z))) in y
6.327 * [taylor]: Rewrote expression to (+ (* (log (/ 1 y)) (/ 1 y)) (- (/ 1 x) (/ 1 z)))
6.327 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (/ 1 y)) in y
6.327 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
6.328 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.328 * [taylor]: Taking taylor expansion of y in y
6.328 * [backup-simplify]: Simplify 0 into 0
6.328 * [backup-simplify]: Simplify 1 into 1
6.328 * [backup-simplify]: Simplify (/ 1 1) into 1
6.328 * [backup-simplify]: Simplify (log 1) into 0
6.329 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.329 * [taylor]: Taking taylor expansion of y in y
6.329 * [backup-simplify]: Simplify 0 into 0
6.329 * [backup-simplify]: Simplify 1 into 1
6.329 * [backup-simplify]: Simplify (/ 1 1) into 1
6.329 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
6.329 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.329 * [taylor]: Taking taylor expansion of x in y
6.329 * [backup-simplify]: Simplify x into x
6.329 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.329 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.329 * [taylor]: Taking taylor expansion of z in y
6.329 * [backup-simplify]: Simplify z into z
6.329 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.330 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
6.331 * [backup-simplify]: Simplify (* (- (log y)) 1) into (* -1 (log y))
6.331 * [backup-simplify]: Simplify (+ (* -1 (log y)) 0) into (- (log y))
6.331 * [taylor]: Taking taylor expansion of (- (log y)) in x
6.331 * [taylor]: Taking taylor expansion of (log y) in x
6.331 * [taylor]: Taking taylor expansion of y in x
6.331 * [backup-simplify]: Simplify y into y
6.331 * [backup-simplify]: Simplify (log y) into (log y)
6.332 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
6.333 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.334 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.336 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
6.336 * [backup-simplify]: Simplify (+ (* (- (log y)) 0) (* 0 1)) into 0
6.336 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
6.336 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
6.337 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x) (/ 1 z))) into (- (/ 1 x) (/ 1 z))
6.337 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
6.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.337 * [taylor]: Taking taylor expansion of x in x
6.337 * [backup-simplify]: Simplify 0 into 0
6.337 * [backup-simplify]: Simplify 1 into 1
6.337 * [backup-simplify]: Simplify (/ 1 1) into 1
6.337 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.337 * [taylor]: Taking taylor expansion of z in x
6.337 * [backup-simplify]: Simplify z into z
6.337 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.337 * [backup-simplify]: Simplify (+ 1 0) into 1
6.337 * [taylor]: Taking taylor expansion of 1 in z
6.337 * [backup-simplify]: Simplify 1 into 1
6.338 * [backup-simplify]: Simplify (- (log y)) into (- (log y))
6.338 * [taylor]: Taking taylor expansion of (- (log y)) in z
6.338 * [taylor]: Taking taylor expansion of (log y) in z
6.338 * [taylor]: Taking taylor expansion of y in z
6.338 * [backup-simplify]: Simplify y into y
6.338 * [backup-simplify]: Simplify (log y) into (log y)
6.338 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
6.339 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.339 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.341 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
6.342 * [backup-simplify]: Simplify (+ (* (- (log y)) 0) (+ (* 0 0) (* 0 1))) into 0
6.342 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
6.342 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
6.342 * [backup-simplify]: Simplify (- 0) into 0
6.343 * [backup-simplify]: Simplify (+ 0 0) into 0
6.343 * [backup-simplify]: Simplify (+ 0 0) into 0
6.343 * [taylor]: Taking taylor expansion of 0 in x
6.343 * [backup-simplify]: Simplify 0 into 0
6.344 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.344 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
6.344 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
6.344 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
6.344 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.344 * [taylor]: Taking taylor expansion of z in z
6.344 * [backup-simplify]: Simplify 0 into 0
6.344 * [backup-simplify]: Simplify 1 into 1
6.344 * [backup-simplify]: Simplify (/ 1 1) into 1
6.344 * [backup-simplify]: Simplify (- 1) into -1
6.345 * [backup-simplify]: Simplify -1 into -1
6.345 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow y 1)))) 1) into 0
6.346 * [backup-simplify]: Simplify (- 0) into 0
6.346 * [taylor]: Taking taylor expansion of 0 in z
6.346 * [backup-simplify]: Simplify 0 into 0
6.346 * [backup-simplify]: Simplify 1 into 1
6.346 * [backup-simplify]: Simplify (- (log y)) into (- (log y))
6.346 * [backup-simplify]: Simplify (- (log y)) into (- (log y))
6.347 * [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 (+ (* y (log (/ 1 y))) z))
6.348 * [backup-simplify]: Simplify (fma (log (/ 1 (- y))) (/ 1 (- y)) (- (/ 1 (- x)) (/ 1 (- z)))) into (fma (log (/ -1 y)) (/ -1 y) (- (/ 1 z) (/ 1 x)))
6.348 * [approximate]: Taking taylor expansion of (fma (log (/ -1 y)) (/ -1 y) (- (/ 1 z) (/ 1 x))) in (y x z) around 0
6.348 * [taylor]: Taking taylor expansion of (fma (log (/ -1 y)) (/ -1 y) (- (/ 1 z) (/ 1 x))) in z
6.348 * [taylor]: Rewrote expression to (+ (* (log (/ -1 y)) (/ -1 y)) (- (/ 1 z) (/ 1 x)))
6.348 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (/ -1 y)) in z
6.348 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z
6.348 * [taylor]: Taking taylor expansion of (/ -1 y) in z
6.348 * [taylor]: Taking taylor expansion of -1 in z
6.348 * [backup-simplify]: Simplify -1 into -1
6.348 * [taylor]: Taking taylor expansion of y in z
6.348 * [backup-simplify]: Simplify y into y
6.348 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.348 * [backup-simplify]: Simplify (log (/ -1 y)) into (log (/ -1 y))
6.348 * [taylor]: Taking taylor expansion of (/ -1 y) in z
6.348 * [taylor]: Taking taylor expansion of -1 in z
6.348 * [backup-simplify]: Simplify -1 into -1
6.348 * [taylor]: Taking taylor expansion of y in z
6.348 * [backup-simplify]: Simplify y into y
6.348 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.348 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
6.348 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.348 * [taylor]: Taking taylor expansion of z in z
6.348 * [backup-simplify]: Simplify 0 into 0
6.348 * [backup-simplify]: Simplify 1 into 1
6.349 * [backup-simplify]: Simplify (/ 1 1) into 1
6.349 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.349 * [taylor]: Taking taylor expansion of x in z
6.349 * [backup-simplify]: Simplify x into x
6.349 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.349 * [taylor]: Taking taylor expansion of (fma (log (/ -1 y)) (/ -1 y) (- (/ 1 z) (/ 1 x))) in x
6.349 * [taylor]: Rewrote expression to (+ (* (log (/ -1 y)) (/ -1 y)) (- (/ 1 z) (/ 1 x)))
6.349 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (/ -1 y)) in x
6.349 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
6.349 * [taylor]: Taking taylor expansion of (/ -1 y) in x
6.349 * [taylor]: Taking taylor expansion of -1 in x
6.349 * [backup-simplify]: Simplify -1 into -1
6.349 * [taylor]: Taking taylor expansion of y in x
6.349 * [backup-simplify]: Simplify y into y
6.349 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.349 * [backup-simplify]: Simplify (log (/ -1 y)) into (log (/ -1 y))
6.349 * [taylor]: Taking taylor expansion of (/ -1 y) in x
6.349 * [taylor]: Taking taylor expansion of -1 in x
6.349 * [backup-simplify]: Simplify -1 into -1
6.349 * [taylor]: Taking taylor expansion of y in x
6.349 * [backup-simplify]: Simplify y into y
6.349 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.349 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
6.349 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.349 * [taylor]: Taking taylor expansion of z in x
6.349 * [backup-simplify]: Simplify z into z
6.349 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.350 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.350 * [taylor]: Taking taylor expansion of x in x
6.350 * [backup-simplify]: Simplify 0 into 0
6.350 * [backup-simplify]: Simplify 1 into 1
6.350 * [backup-simplify]: Simplify (/ 1 1) into 1
6.350 * [taylor]: Taking taylor expansion of (fma (log (/ -1 y)) (/ -1 y) (- (/ 1 z) (/ 1 x))) in y
6.350 * [taylor]: Rewrote expression to (+ (* (log (/ -1 y)) (/ -1 y)) (- (/ 1 z) (/ 1 x)))
6.350 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (/ -1 y)) in y
6.350 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
6.350 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.350 * [taylor]: Taking taylor expansion of -1 in y
6.350 * [backup-simplify]: Simplify -1 into -1
6.350 * [taylor]: Taking taylor expansion of y in y
6.350 * [backup-simplify]: Simplify 0 into 0
6.350 * [backup-simplify]: Simplify 1 into 1
6.350 * [backup-simplify]: Simplify (/ -1 1) into -1
6.351 * [backup-simplify]: Simplify (log -1) into (log -1)
6.351 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.351 * [taylor]: Taking taylor expansion of -1 in y
6.351 * [backup-simplify]: Simplify -1 into -1
6.351 * [taylor]: Taking taylor expansion of y in y
6.351 * [backup-simplify]: Simplify 0 into 0
6.351 * [backup-simplify]: Simplify 1 into 1
6.351 * [backup-simplify]: Simplify (/ -1 1) into -1
6.351 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
6.351 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.351 * [taylor]: Taking taylor expansion of z in y
6.351 * [backup-simplify]: Simplify z into z
6.351 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.351 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.351 * [taylor]: Taking taylor expansion of x in y
6.351 * [backup-simplify]: Simplify x into x
6.351 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.351 * [taylor]: Taking taylor expansion of (fma (log (/ -1 y)) (/ -1 y) (- (/ 1 z) (/ 1 x))) in y
6.352 * [taylor]: Rewrote expression to (+ (* (log (/ -1 y)) (/ -1 y)) (- (/ 1 z) (/ 1 x)))
6.352 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (/ -1 y)) in y
6.352 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
6.352 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.352 * [taylor]: Taking taylor expansion of -1 in y
6.352 * [backup-simplify]: Simplify -1 into -1
6.352 * [taylor]: Taking taylor expansion of y in y
6.352 * [backup-simplify]: Simplify 0 into 0
6.352 * [backup-simplify]: Simplify 1 into 1
6.352 * [backup-simplify]: Simplify (/ -1 1) into -1
6.352 * [backup-simplify]: Simplify (log -1) into (log -1)
6.352 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.352 * [taylor]: Taking taylor expansion of -1 in y
6.352 * [backup-simplify]: Simplify -1 into -1
6.352 * [taylor]: Taking taylor expansion of y in y
6.352 * [backup-simplify]: Simplify 0 into 0
6.352 * [backup-simplify]: Simplify 1 into 1
6.353 * [backup-simplify]: Simplify (/ -1 1) into -1
6.353 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
6.353 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.353 * [taylor]: Taking taylor expansion of z in y
6.353 * [backup-simplify]: Simplify z into z
6.353 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.353 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.353 * [taylor]: Taking taylor expansion of x in y
6.353 * [backup-simplify]: Simplify x into x
6.353 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.354 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) (log -1)) into (- (log -1) (log y))
6.354 * [backup-simplify]: Simplify (* (- (log -1) (log y)) -1) into (* -1 (- (log -1) (log y)))
6.355 * [backup-simplify]: Simplify (+ (* -1 (- (log -1) (log y))) 0) into (- (log y) (log -1))
6.355 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in x
6.355 * [taylor]: Taking taylor expansion of (log y) in x
6.355 * [taylor]: Taking taylor expansion of y in x
6.355 * [backup-simplify]: Simplify y into y
6.355 * [backup-simplify]: Simplify (log y) into (log y)
6.355 * [taylor]: Taking taylor expansion of (log -1) in x
6.355 * [taylor]: Taking taylor expansion of -1 in x
6.355 * [backup-simplify]: Simplify -1 into -1
6.356 * [backup-simplify]: Simplify (log -1) into (log -1)
6.356 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) (log -1)) into (- (log -1) (log y))
6.357 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
6.357 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
6.358 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
6.359 * [backup-simplify]: Simplify (+ (* (- (log -1) (log y)) 0) (* 0 -1)) into 0
6.359 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
6.359 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
6.360 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z) (/ 1 x))) into (- (/ 1 z) (/ 1 x))
6.360 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
6.360 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.360 * [taylor]: Taking taylor expansion of z in x
6.360 * [backup-simplify]: Simplify z into z
6.360 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.360 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.360 * [taylor]: Taking taylor expansion of x in x
6.360 * [backup-simplify]: Simplify 0 into 0
6.360 * [backup-simplify]: Simplify 1 into 1
6.360 * [backup-simplify]: Simplify (/ 1 1) into 1
6.360 * [backup-simplify]: Simplify (- 1) into -1
6.361 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.361 * [taylor]: Taking taylor expansion of -1 in z
6.361 * [backup-simplify]: Simplify -1 into -1
6.361 * [backup-simplify]: Simplify (- (log -1)) into (- (log -1))
6.362 * [backup-simplify]: Simplify (+ (log y) (- (log -1))) into (- (log y) (log -1))
6.362 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z
6.362 * [taylor]: Taking taylor expansion of (log y) in z
6.362 * [taylor]: Taking taylor expansion of y in z
6.362 * [backup-simplify]: Simplify y into y
6.362 * [backup-simplify]: Simplify (log y) into (log y)
6.362 * [taylor]: Taking taylor expansion of (log -1) in z
6.362 * [taylor]: Taking taylor expansion of -1 in z
6.362 * [backup-simplify]: Simplify -1 into -1
6.363 * [backup-simplify]: Simplify (log -1) into (log -1)
6.363 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) (log -1)) into (- (log -1) (log y))
6.364 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.365 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.366 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
6.367 * [backup-simplify]: Simplify (+ (* (- (log -1) (log y)) 0) (+ (* 0 0) (* 0 -1))) into 0
6.368 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
6.368 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
6.368 * [backup-simplify]: Simplify (- 0) into 0
6.368 * [backup-simplify]: Simplify (+ 0 0) into 0
6.369 * [backup-simplify]: Simplify (+ 0 0) into 0
6.369 * [taylor]: Taking taylor expansion of 0 in x
6.369 * [backup-simplify]: Simplify 0 into 0
6.374 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.375 * [backup-simplify]: Simplify (- 0) into 0
6.375 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
6.375 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.375 * [taylor]: Taking taylor expansion of z in z
6.375 * [backup-simplify]: Simplify 0 into 0
6.375 * [backup-simplify]: Simplify 1 into 1
6.376 * [backup-simplify]: Simplify (/ 1 1) into 1
6.376 * [backup-simplify]: Simplify 1 into 1
6.377 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow y 1)))) 1) into 0
6.379 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
6.379 * [backup-simplify]: Simplify (- 0) into 0
6.379 * [backup-simplify]: Simplify (+ 0 0) into 0
6.379 * [taylor]: Taking taylor expansion of 0 in z
6.379 * [backup-simplify]: Simplify 0 into 0
6.380 * [backup-simplify]: Simplify -1 into -1
6.381 * [backup-simplify]: Simplify (- (log -1)) into (- (log -1))
6.382 * [backup-simplify]: Simplify (+ (log y) (- (log -1))) into (- (log y) (log -1))
6.383 * [backup-simplify]: Simplify (- (log y) (log -1)) into (- (log y) (log -1))
6.386 * [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 (- (+ x (* y (log -1))) (+ (* y (log (/ -1 y))) z))
6.386 * * * [progress]: simplifying candidates
6.386 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (x y z) (exp (posit16->real (real->posit16 (fma (log y) y (- x z))))))>
6.386 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (x y z) (exp (log1p (expm1 (fma (log y) y (- x z))))))>
6.387 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (x y z) (exp (expm1 (log1p (fma (log y) y (- x z))))))>
6.387 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (x y z) (exp (+ (* (log y) y) (- x z))))>
6.387 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (x y z) (exp (pow (fma (log y) y (- x z)) 1)))>
6.387 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (x y z) (exp (exp (log (fma (log y) y (- x z))))))>
6.387 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (x y z) (exp (log (exp (fma (log y) y (- x z))))))>
6.387 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (x y z) (exp (* (* (cbrt (fma (log y) y (- x z))) (cbrt (fma (log y) y (- x z)))) (cbrt (fma (log y) y (- x z))))))>
6.387 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (x y z) (exp (cbrt (* (* (fma (log y) y (- x z)) (fma (log y) y (- x z))) (fma (log y) y (- x z))))))>
6.387 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (x y z) (exp (* (sqrt (fma (log y) y (- x z))) (sqrt (fma (log y) y (- x z))))))>
6.387 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (x y z) (exp (* 1 (fma (log y) y (- x z)))))>
6.387 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (x y z) (exp (- (+ x (* y (log y))) z)))>
6.387 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (x y z) (exp (- x (+ (* y (log (/ 1 y))) z))))>
6.387 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (x y z) (exp (- (+ x (* y (log -1))) (+ (* y (log (/ -1 y))) z))))>
6.388 * [simplify]: Simplifying:
  (real->posit16 (fma (log y) y (- x z)))
  (expm1 (fma (log y) y (- x z)))
  (log1p (fma (log y) y (- x z)))
  (* (log y) y)
  (log (fma (log y) y (- x z)))
  (exp (fma (log y) y (- x z)))
  (* (cbrt (fma (log y) y (- x z))) (cbrt (fma (log y) y (- x z))))
  (cbrt (fma (log y) y (- x z)))
  (* (* (fma (log y) y (- x z)) (fma (log y) y (- x z))) (fma (log y) y (- x z)))
  (sqrt (fma (log y) y (- x z)))
  (sqrt (fma (log y) y (- x z)))
  (- (+ x (* y (log y))) z)
  (- x (+ (* y (log (/ 1 y))) z))
  (- (+ x (* y (log -1))) (+ (* y (log (/ -1 y))) z))
6.388 * * [simplify]: iteration 0: 35 enodes
6.420 * * [simplify]: iteration 1: 67 enodes
6.475 * * [simplify]: iteration 2: 117 enodes
6.596 * * [simplify]: iteration 3: 274 enodes
6.934 * * [simplify]: iteration 4: 1085 enodes
8.546 * * [simplify]: iteration complete: 5000 enodes
8.546 * * [simplify]: Extracting #0: cost 11 inf + 0
8.547 * * [simplify]: Extracting #1: cost 236 inf + 0
8.561 * * [simplify]: Extracting #2: cost 1330 inf + 272
8.579 * * [simplify]: Extracting #3: cost 1334 inf + 26957
8.620 * * [simplify]: Extracting #4: cost 623 inf + 211283
8.733 * * [simplify]: Extracting #5: cost 38 inf + 401215
8.894 * * [simplify]: Extracting #6: cost 0 inf + 415138
9.055 * [simplify]: Simplified to:
  (real->posit16 (fma (log y) y (- x z)))
  (expm1 (fma (log y) y (- x z)))
  (log1p (fma (log y) y (- x z)))
  (* y (log y))
  (log (fma (log y) y (- x z)))
  (exp (fma (log y) y (- x z)))
  (* (cbrt (fma (log y) y (- x z))) (cbrt (fma (log y) y (- x z))))
  (cbrt (fma (log y) y (- x z)))
  (* (* (fma (log y) y (- x z)) (fma (log y) y (- x z))) (fma (log y) y (- x z)))
  (sqrt (fma (log y) y (- x z)))
  (sqrt (fma (log y) y (- x z)))
  (fma (log y) y (- x z))
  (fma (log y) y (- x z))
  (fma (log y) y (- x z))
9.055 * * * [progress]: adding candidates to table
9.248 * [progress]: [Phase 3 of 3] Extracting.
9.258 * [simplify]: Simplifying:
  (exp (fma (log y) y (- x z)))
9.258 * * [simplify]: iteration 0: 7 enodes
9.259 * * [simplify]: iteration complete: 7 enodes
9.259 * * [simplify]: Extracting #0: cost 1 inf + 0
9.259 * * [simplify]: Extracting #1: cost 2 inf + 0
9.259 * * [simplify]: Extracting #2: cost 5 inf + 0
9.259 * * [simplify]: Extracting #3: cost 6 inf + 1
9.259 * * [simplify]: Extracting #4: cost 0 inf + 522
9.259 * [simplify]: Simplified to:
  (exp (fma (log y) y (- x z)))
15.691 * [regime-testing]: Baseline error score: 0.00871092411607858
15.738 * [regime-testing]: Oracle error score: 0.00871092411607858
15.738 * [regime-testing]: End program error score: 0.00871092411607858
16.200 * [regime-testing]: Target error score: 0.008876185785648198