3.915 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.387 * * * [progress]: [2/2] Setting up program. 0.394 * [progress]: [Phase 2 of 3] Improving. 0.394 * [simplify]: Simplifying: (* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))) 0.394 * * [simplify]: Extracting # 0 : cost 0 0.395 * * [simplify]: Extracting # 1 : cost 0 0.395 * * [simplify]: Extracting # 2 : cost 0 0.395 * * [simplify]: Extracting # 3 : cost 0 0.395 * * [simplify]: Extracting # 4 : cost 0 0.395 * * [simplify]: Extracting # 5 : cost 0 0.395 * * [simplify]: Extracting # 6 : cost 0 0.395 * * [simplify]: Extracting # 7 : cost 0 0.395 * * [simplify]: Extracting # 8 : cost 0 0.395 * * [simplify]: Extracting # 9 : cost 0 0.395 * * [simplify]: Extracting # 10 : cost 0 0.395 * * [simplify]: Extracting # 11 : cost 0 0.395 * * [simplify]: iteration 0 : 17 enodes (cost 18 ) 0.397 * * [simplify]: Extracting # 0 : cost 0 0.397 * * [simplify]: Extracting # 1 : cost 0 0.397 * * [simplify]: Extracting # 2 : cost 0 0.397 * * [simplify]: iteration 1 : 30 enodes (cost 18 ) 0.402 * * [simplify]: Extracting # 0 : cost 0 0.402 * * [simplify]: Extracting # 1 : cost 0 0.402 * * [simplify]: Extracting # 2 : cost 0 0.402 * * [simplify]: iteration 2 : 58 enodes (cost 18 ) 0.413 * * [simplify]: Extracting # 0 : cost 0 0.413 * * [simplify]: Extracting # 1 : cost 0 0.413 * * [simplify]: Extracting # 2 : cost 0 0.413 * * [simplify]: Extracting # 3 : cost 0 0.413 * * [simplify]: Extracting # 4 : cost 0 0.414 * * [simplify]: Extracting # 5 : cost 0 0.414 * * [simplify]: Extracting # 6 : cost 0 0.414 * * [simplify]: iteration 3 : 127 enodes (cost 18 ) 0.450 * * [simplify]: Extracting # 0 : cost 0 0.450 * * [simplify]: Extracting # 1 : cost 0 0.451 * * [simplify]: Extracting # 2 : cost 0 0.461 * * [simplify]: Extracting # 3 : cost 0 0.461 * * [simplify]: Extracting # 4 : cost 0 0.462 * * [simplify]: iteration 4 : 311 enodes (cost 17 ) 0.625 * * [simplify]: Extracting # 0 : cost 0 0.626 * * [simplify]: Extracting # 1 : cost 0 0.627 * * [simplify]: Extracting # 2 : cost 0 0.629 * * [simplify]: Extracting # 3 : cost 0 0.630 * * [simplify]: Extracting # 4 : cost 0 0.632 * * [simplify]: Extracting # 5 : cost 0 0.634 * * [simplify]: iteration 5 : 1010 enodes (cost 17 ) 2.078 * * [simplify]: Extracting # 0 : cost 0 2.085 * * [simplify]: Extracting # 1 : cost 0 2.091 * * [simplify]: Extracting # 2 : cost 0 2.097 * * [simplify]: Extracting # 3 : cost 0 2.108 * * [simplify]: Extracting # 4 : cost 0 2.120 * * [simplify]: Extracting # 5 : cost 0 2.131 * * [simplify]: iteration done: 5000 enodes (cost 17 ) 2.132 * [simplify]: Simplified to: (* (* x (pow (/ (- 1.0 z) (exp b)) a)) (pow (/ z (exp t)) y)) 2.141 * * [progress]: iteration 1 / 4 2.141 * * * [progress]: picking best candidate 2.148 * * * * [pick]: Picked # 2.148 * * * [progress]: localizing error 2.168 * * * [progress]: generating rewritten candidates 2.168 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2 1) 2.175 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 2.233 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 2.297 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2) 2.312 * * * [progress]: generating series expansions 2.312 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2 1) 2.312 * [backup-simplify]: Simplify (log (- 1.0 z)) into (log (- 1.0 z)) 2.312 * [approximate]: Taking taylor expansion of (log (- 1.0 z)) in (z) around 0 2.312 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in z 2.312 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 2.312 * [taylor]: Taking taylor expansion of 1.0 in z 2.312 * [backup-simplify]: Simplify 1.0 into 1.0 2.312 * [taylor]: Taking taylor expansion of z in z 2.312 * [backup-simplify]: Simplify 0 into 0 2.312 * [backup-simplify]: Simplify 1 into 1 2.313 * [backup-simplify]: Simplify (- 0) into 0 2.313 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.314 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 2.314 * [taylor]: Taking taylor expansion of (log (- 1.0 z)) in z 2.314 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 2.314 * [taylor]: Taking taylor expansion of 1.0 in z 2.314 * [backup-simplify]: Simplify 1.0 into 1.0 2.314 * [taylor]: Taking taylor expansion of z in z 2.314 * [backup-simplify]: Simplify 0 into 0 2.314 * [backup-simplify]: Simplify 1 into 1 2.314 * [backup-simplify]: Simplify (- 0) into 0 2.314 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.314 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 2.315 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 2.315 * [backup-simplify]: Simplify (- 1) into -1 2.315 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.319 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1.0 1)))) 1) into -1.0 2.319 * [backup-simplify]: Simplify -1.0 into -1.0 2.320 * [backup-simplify]: Simplify (- 0) into 0 2.320 * [backup-simplify]: Simplify (+ 0 0) into 0 2.326 * [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.326 * [backup-simplify]: Simplify (/ -1/2 (pow 1.0 2)) into (/ -1/2 (pow 1.0 2))