1.367 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.363 * * * [progress]: [2/2] Setting up program. 0.367 * [progress]: [Phase 2 of 3] Improving. 0.367 * [simplify]: Simplifying: (* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))) 0.367 * * [simplify]: Extracting # 0 : cost 0 0.367 * * [simplify]: Extracting # 1 : cost 0 0.367 * * [simplify]: Extracting # 2 : cost 0 0.367 * * [simplify]: Extracting # 3 : cost 0 0.367 * * [simplify]: Extracting # 4 : cost 0 0.367 * * [simplify]: Extracting # 5 : cost 0 0.367 * * [simplify]: Extracting # 6 : cost 0 0.367 * * [simplify]: Extracting # 7 : cost 0 0.367 * * [simplify]: Extracting # 8 : cost 0 0.368 * * [simplify]: Extracting # 9 : cost 0 0.368 * * [simplify]: Extracting # 10 : cost 0 0.368 * * [simplify]: Extracting # 11 : cost 0 0.368 * * [simplify]: iteration 0 : 17 enodes (cost 18 ) 0.370 * * [simplify]: Extracting # 0 : cost 0 0.370 * * [simplify]: Extracting # 1 : cost 0 0.370 * * [simplify]: Extracting # 2 : cost 0 0.370 * * [simplify]: iteration 1 : 31 enodes (cost 17 ) 0.374 * * [simplify]: Extracting # 0 : cost 0 0.374 * * [simplify]: Extracting # 1 : cost 0 0.375 * * [simplify]: Extracting # 2 : cost 0 0.375 * * [simplify]: iteration 2 : 62 enodes (cost 17 ) 0.386 * * [simplify]: Extracting # 0 : cost 0 0.386 * * [simplify]: Extracting # 1 : cost 0 0.387 * * [simplify]: Extracting # 2 : cost 0 0.387 * * [simplify]: Extracting # 3 : cost 0 0.387 * * [simplify]: Extracting # 4 : cost 0 0.387 * * [simplify]: Extracting # 5 : cost 0 0.388 * * [simplify]: Extracting # 6 : cost 0 0.388 * * [simplify]: iteration 3 : 135 enodes (cost 17 ) 0.464 * * [simplify]: Extracting # 0 : cost 0 0.464 * * [simplify]: Extracting # 1 : cost 0 0.465 * * [simplify]: Extracting # 2 : cost 0 0.465 * * [simplify]: Extracting # 3 : cost 0 0.465 * * [simplify]: Extracting # 4 : cost 0 0.466 * * [simplify]: iteration 4 : 335 enodes (cost 17 ) 0.633 * * [simplify]: Extracting # 0 : cost 0 0.634 * * [simplify]: Extracting # 1 : cost 0 0.635 * * [simplify]: Extracting # 2 : cost 0 0.636 * * [simplify]: Extracting # 3 : cost 0 0.637 * * [simplify]: Extracting # 4 : cost 0 0.638 * * [simplify]: Extracting # 5 : cost 0 0.639 * * [simplify]: iteration 5 : 1091 enodes (cost 17 ) 2.094 * * [simplify]: Extracting # 0 : cost 0 2.100 * * [simplify]: Extracting # 1 : cost 0 2.106 * * [simplify]: Extracting # 2 : cost 0 2.112 * * [simplify]: Extracting # 3 : cost 0 2.122 * * [simplify]: Extracting # 4 : cost 0 2.139 * * [simplify]: iteration done: 5000 enodes (cost 17 ) 2.140 * [simplify]: Simplified to: (* (exp (fma y (- (log z) t) (* a (- (log (- 1.0 z)) b)))) x) 2.149 * * [progress]: iteration 1 / 4 2.149 * * * [progress]: picking best candidate 2.156 * * * * [pick]: Picked # 2.156 * * * [progress]: localizing error 2.194 * * * [progress]: generating rewritten candidates 2.194 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 3 2 1) 2.207 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 2.207 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 2.218 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 2.234 * * * [progress]: generating series expansions 2.234 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 3 2 1) 2.234 * [backup-simplify]: Simplify (log (- 1.0 z)) into (log (- 1.0 z)) 2.234 * [approximate]: Taking taylor expansion of (log (- 1.0 z)) in (z) around 0 2.240 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in z 2.241 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 2.241 * [taylor]: Taking taylor expansion of 1.0 in z 2.241 * [backup-simplify]: Simplify 1.0 into 1.0 2.241 * [taylor]: Taking taylor expansion of z in z 2.241 * [backup-simplify]: Simplify 0 into 0 2.241 * [backup-simplify]: Simplify 1 into 1 2.241 * [backup-simplify]: Simplify (- 0) into 0 2.242 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.242 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 2.242 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in z 2.242 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 2.242 * [taylor]: Taking taylor expansion of 1.0 in z 2.242 * [backup-simplify]: Simplify 1.0 into 1.0 2.242 * [taylor]: Taking taylor expansion of z in z 2.242 * [backup-simplify]: Simplify 0 into 0 2.242 * [backup-simplify]: Simplify 1 into 1 2.242 * [backup-simplify]: Simplify (- 0) into 0 2.243 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.243 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 2.243 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 2.243 * [backup-simplify]: Simplify (- 1) into -1 2.244 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.249 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1.0 1)))) 1) into -1.0 2.249 * [backup-simplify]: Simplify -1.0 into -1.0 2.250 * [backup-simplify]: Simplify (- 0) into 0 2.250 * [backup-simplify]: Simplify (+ 0 0) into 0 2.261 * [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.262 * [backup-simplify]: Simplify (/ -1/2 (pow 1.0 2)) into (/ -1/2 (pow 1.0 2))