3.581 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.345 * * * [progress]: [2/2] Setting up program. 0.349 * [progress]: [Phase 2 of 3] Improving. 0.349 * [simplify]: Simplifying: (* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))) 0.349 * * [simplify]: Extracting # 0 : cost 0 0.349 * * [simplify]: Extracting # 1 : cost 0 0.349 * * [simplify]: Extracting # 2 : cost 0 0.349 * * [simplify]: Extracting # 3 : cost 0 0.349 * * [simplify]: Extracting # 4 : cost 0 0.349 * * [simplify]: Extracting # 5 : cost 0 0.349 * * [simplify]: Extracting # 6 : cost 0 0.349 * * [simplify]: Extracting # 7 : cost 0 0.349 * * [simplify]: Extracting # 8 : cost 0 0.349 * * [simplify]: Extracting # 9 : cost 0 0.349 * * [simplify]: Extracting # 10 : cost 0 0.350 * * [simplify]: Extracting # 11 : cost 0 0.350 * * [simplify]: iteration 0 : 17 enodes (cost 18 ) 0.352 * * [simplify]: Extracting # 0 : cost 0 0.352 * * [simplify]: Extracting # 1 : cost 0 0.352 * * [simplify]: Extracting # 2 : cost 0 0.352 * * [simplify]: iteration 1 : 30 enodes (cost 18 ) 0.356 * * [simplify]: Extracting # 0 : cost 0 0.356 * * [simplify]: Extracting # 1 : cost 0 0.356 * * [simplify]: Extracting # 2 : cost 0 0.356 * * [simplify]: iteration 2 : 58 enodes (cost 18 ) 0.366 * * [simplify]: Extracting # 0 : cost 0 0.366 * * [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.368 * * [simplify]: Extracting # 6 : cost 0 0.368 * * [simplify]: iteration 3 : 127 enodes (cost 18 ) 0.403 * * [simplify]: Extracting # 0 : cost 0 0.403 * * [simplify]: Extracting # 1 : cost 0 0.403 * * [simplify]: Extracting # 2 : cost 0 0.404 * * [simplify]: Extracting # 3 : cost 0 0.404 * * [simplify]: Extracting # 4 : cost 0 0.405 * * [simplify]: iteration 4 : 311 enodes (cost 17 ) 0.575 * * [simplify]: Extracting # 0 : cost 0 0.577 * * [simplify]: Extracting # 1 : cost 0 0.580 * * [simplify]: Extracting # 2 : cost 0 0.582 * * [simplify]: Extracting # 3 : cost 0 0.585 * * [simplify]: Extracting # 4 : cost 0 0.587 * * [simplify]: Extracting # 5 : cost 0 0.589 * * [simplify]: iteration 5 : 1010 enodes (cost 17 ) 2.011 * * [simplify]: Extracting # 0 : cost 0 2.031 * * [simplify]: Extracting # 1 : cost 0 2.045 * * [simplify]: Extracting # 2 : cost 0 2.058 * * [simplify]: Extracting # 3 : cost 0 2.073 * * [simplify]: Extracting # 4 : cost 0 2.085 * * [simplify]: Extracting # 5 : cost 0 2.097 * * [simplify]: iteration done: 5000 enodes (cost 17 ) 2.097 * [simplify]: Simplified to: (* (* x (pow (/ (- 1.0 z) (exp b)) a)) (pow (/ z (exp t)) y)) 2.106 * * [progress]: iteration 1 / 4 2.106 * * * [progress]: picking best candidate 2.120 * * * * [pick]: Picked # 2.120 * * * [progress]: localizing error 2.167 * * * [progress]: generating rewritten candidates 2.167 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2 1) 2.177 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 2.234 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 2.290 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 2.370 * * * [progress]: generating series expansions 2.371 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2 1) 2.371 * [backup-simplify]: Simplify (log (- 1.0 z)) into (log (- 1.0 z)) 2.371 * [approximate]: Taking taylor expansion of (log (- 1.0 z)) in (z) around 0 2.371 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in z 2.371 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 2.371 * [taylor]: Taking taylor expansion of 1.0 in z 2.371 * [backup-simplify]: Simplify 1.0 into 1.0 2.371 * [taylor]: Taking taylor expansion of z in z 2.371 * [backup-simplify]: Simplify 0 into 0 2.371 * [backup-simplify]: Simplify 1 into 1 2.371 * [backup-simplify]: Simplify (- 0) into 0 2.372 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.372 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 2.372 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in z 2.372 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 2.372 * [taylor]: Taking taylor expansion of 1.0 in z 2.372 * [backup-simplify]: Simplify 1.0 into 1.0 2.372 * [taylor]: Taking taylor expansion of z in z 2.372 * [backup-simplify]: Simplify 0 into 0 2.372 * [backup-simplify]: Simplify 1 into 1 2.372 * [backup-simplify]: Simplify (- 0) into 0 2.373 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.373 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 2.373 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 2.373 * [backup-simplify]: Simplify (- 1) into -1 2.374 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.377 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1.0 1)))) 1) into -1.0 2.377 * [backup-simplify]: Simplify -1.0 into -1.0 2.377 * [backup-simplify]: Simplify (- 0) into 0 2.378 * [backup-simplify]: Simplify (+ 0 0) into 0 2.386 * [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.387 * [backup-simplify]: Simplify (/ -1/2 (pow 1.0 2)) into (/ -1/2 (pow 1.0 2))