13.238 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.340 * * * [progress]: [2/2] Setting up program. 0.343 * [progress]: [Phase 2 of 3] Improving. 0.344 * [simplify]: Simplifying: (* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))) 0.344 * * [simplify]: Extracting # 0 : cost 0 0.344 * * [simplify]: Extracting # 1 : cost 0 0.344 * * [simplify]: Extracting # 2 : cost 0 0.344 * * [simplify]: Extracting # 3 : cost 0 0.344 * * [simplify]: Extracting # 4 : cost 0 0.344 * * [simplify]: Extracting # 5 : cost 0 0.344 * * [simplify]: Extracting # 6 : cost 0 0.344 * * [simplify]: Extracting # 7 : cost 0 0.344 * * [simplify]: Extracting # 8 : cost 0 0.344 * * [simplify]: Extracting # 9 : cost 0 0.344 * * [simplify]: Extracting # 10 : cost 0 0.344 * * [simplify]: Extracting # 11 : cost 0 0.344 * * [simplify]: iteration 0 : 17 enodes (cost 18 ) 0.346 * * [simplify]: Extracting # 0 : cost 0 0.346 * * [simplify]: Extracting # 1 : cost 0 0.346 * * [simplify]: Extracting # 2 : cost 0 0.346 * * [simplify]: iteration 1 : 31 enodes (cost 17 ) 0.351 * * [simplify]: Extracting # 0 : cost 0 0.352 * * [simplify]: Extracting # 1 : cost 0 0.352 * * [simplify]: Extracting # 2 : cost 0 0.352 * * [simplify]: iteration 2 : 62 enodes (cost 17 ) 0.410 * * [simplify]: Extracting # 0 : cost 0 0.410 * * [simplify]: Extracting # 1 : cost 0 0.411 * * [simplify]: Extracting # 2 : cost 0 0.411 * * [simplify]: Extracting # 3 : cost 0 0.411 * * [simplify]: Extracting # 4 : cost 0 0.411 * * [simplify]: Extracting # 5 : cost 0 0.412 * * [simplify]: Extracting # 6 : cost 0 0.412 * * [simplify]: iteration 3 : 135 enodes (cost 17 ) 0.467 * * [simplify]: Extracting # 0 : cost 0 0.467 * * [simplify]: Extracting # 1 : cost 0 0.468 * * [simplify]: Extracting # 2 : cost 0 0.468 * * [simplify]: Extracting # 3 : cost 0 0.469 * * [simplify]: Extracting # 4 : cost 0 0.469 * * [simplify]: iteration 4 : 335 enodes (cost 17 ) 0.695 * * [simplify]: Extracting # 0 : cost 0 0.698 * * [simplify]: Extracting # 1 : cost 0 0.700 * * [simplify]: Extracting # 2 : cost 0 0.702 * * [simplify]: Extracting # 3 : cost 0 0.705 * * [simplify]: Extracting # 4 : cost 0 0.708 * * [simplify]: Extracting # 5 : cost 0 0.710 * * [simplify]: iteration 5 : 1091 enodes (cost 17 ) 2.125 * * [simplify]: Extracting # 0 : cost 0 2.136 * * [simplify]: Extracting # 1 : cost 0 2.149 * * [simplify]: Extracting # 2 : cost 0 2.167 * * [simplify]: Extracting # 3 : cost 0 2.179 * * [simplify]: Extracting # 4 : cost 0 2.190 * * [simplify]: iteration done: 5000 enodes (cost 17 ) 2.190 * [simplify]: Simplified to: (* (exp (fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))) x) 2.199 * * [progress]: iteration 1 / 4 2.199 * * * [progress]: picking best candidate 2.206 * * * * [pick]: Picked # 2.206 * * * [progress]: localizing error 2.244 * * * [progress]: generating rewritten candidates 2.244 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 3 2 1) 2.257 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 2.257 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 2.262 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 2.283 * * * [progress]: generating series expansions 2.283 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 3 2 1) 2.283 * [backup-simplify]: Simplify (log (- 1.0 z)) into (log (- 1.0 z)) 2.283 * [approximate]: Taking taylor expansion of (log (- 1.0 z)) in (z) around 0 2.283 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in z 2.283 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 2.283 * [taylor]: Taking taylor expansion of 1.0 in z 2.283 * [backup-simplify]: Simplify 1.0 into 1.0 2.283 * [taylor]: Taking taylor expansion of z in z 2.283 * [backup-simplify]: Simplify 0 into 0 2.283 * [backup-simplify]: Simplify 1 into 1 2.284 * [backup-simplify]: Simplify (- 0) into 0 2.284 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.284 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 2.284 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in z 2.284 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 2.284 * [taylor]: Taking taylor expansion of 1.0 in z 2.284 * [backup-simplify]: Simplify 1.0 into 1.0 2.284 * [taylor]: Taking taylor expansion of z in z 2.284 * [backup-simplify]: Simplify 0 into 0 2.285 * [backup-simplify]: Simplify 1 into 1 2.285 * [backup-simplify]: Simplify (- 0) into 0 2.285 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.285 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 2.286 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 2.286 * [backup-simplify]: Simplify (- 1) into -1 2.286 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.290 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1.0 1)))) 1) into -1.0 2.290 * [backup-simplify]: Simplify -1.0 into -1.0 2.290 * [backup-simplify]: Simplify (- 0) into 0 2.290 * [backup-simplify]: Simplify (+ 0 0) into 0 2.296 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -1/2 (pow 1.0 2)) 2.297 * [backup-simplify]: Simplify (/ -1/2 (pow 1.0 2)) into (/ -1/2 (pow 1.0 2))