5.126 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.144 * * * [progress]: [2/2] Setting up program.
0.147 * [progress]: [Phase 2 of 3] Improving.
0.147 * [simplify]: Simplifying:
  (- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
0.147 * * [simplify]: Extracting # 0 : cost  0
0.147 * * [simplify]: Extracting # 1 : cost  0
0.147 * * [simplify]: Extracting # 2 : cost  0
0.147 * * [simplify]: Extracting # 3 : cost  0
0.147 * * [simplify]: Extracting # 4 : cost  0
0.147 * * [simplify]: Extracting # 5 : cost  0
0.147 * * [simplify]: Extracting # 6 : cost  0
0.147 * * [simplify]: Extracting # 7 : cost  0
0.147 * * [simplify]: iteration  0 :  14  enodes  (cost  17 )
0.150 * * [simplify]: Extracting # 0 : cost  0
0.150 * * [simplify]: Extracting # 1 : cost  0
0.150 * * [simplify]: Extracting # 2 : cost  0
0.150 * * [simplify]: iteration  1 :  27  enodes  (cost  16 )
0.154 * * [simplify]: Extracting # 0 : cost  0
0.154 * * [simplify]: Extracting # 1 : cost  0
0.154 * * [simplify]: Extracting # 2 : cost  0
0.155 * * [simplify]: iteration  2 :  57  enodes  (cost  16 )
0.167 * * [simplify]: Extracting # 0 : cost  0
0.167 * * [simplify]: Extracting # 1 : cost  0
0.167 * * [simplify]: Extracting # 2 : cost  0
0.167 * * [simplify]: iteration  3 :  130  enodes  (cost  16 )
0.218 * * [simplify]: Extracting # 0 : cost  0
0.218 * * [simplify]: Extracting # 1 : cost  0
0.218 * * [simplify]: Extracting # 2 : cost  0
0.219 * * [simplify]: iteration  4 :  281  enodes  (cost  16 )
0.332 * * [simplify]: Extracting # 0 : cost  0
0.333 * * [simplify]: Extracting # 1 : cost  0
0.333 * * [simplify]: Extracting # 2 : cost  0
0.334 * * [simplify]: iteration  5 :  649  enodes  (cost  16 )
0.911 * * [simplify]: Extracting # 0 : cost  0
0.912 * * [simplify]: Extracting # 1 : cost  0
0.917 * * [simplify]: Extracting # 2 : cost  0
0.918 * * [simplify]: Extracting # 3 : cost  0
0.919 * * [simplify]: Extracting # 4 : cost  0
0.920 * * [simplify]: iteration  6 :  1372  enodes  (cost  16 )
3.356 * * [simplify]: Extracting # 0 : cost  0
3.362 * * [simplify]: Extracting # 1 : cost  0
3.365 * * [simplify]: Extracting # 2 : cost  0
3.368 * * [simplify]: Extracting # 3 : cost  0
3.371 * * [simplify]: Extracting # 4 : cost  0
3.373 * * [simplify]: iteration  7 :  2484  enodes  (cost  16 )
6.325 * * [simplify]: Extracting # 0 : cost  0
6.329 * * [simplify]: Extracting # 1 : cost  0
6.332 * * [simplify]: Extracting # 2 : cost  0
6.335 * * [simplify]: iteration  8 :  3329  enodes  (cost  16 )
9.097 * * [simplify]: Extracting # 0 : cost  0
9.099 * * [simplify]: Extracting # 1 : cost  0
9.100 * * [simplify]: iteration  9 :  3557  enodes  (cost  16 )
12.494 * * [simplify]: Extracting # 0 : cost  0
12.495 * * [simplify]: iteration  10 :  3561  enodes  (cost  16 )
15.394 * * [simplify]: Extracting # 0 : cost  0
15.395 * * [simplify]: iteration done:  3561  enodes  (cost  16 )
15.395 * [simplify]: Simplified to:
  (- (fma (- x 1.0) (log y) (* (- z 1.0) (log (- 1.0 y)))) t)
15.399 * * [progress]: iteration 1 / 4
15.399 * * * [progress]: picking best candidate
15.402 * * * * [pick]: Picked  #<alt (λ (x y z t) (- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t))>
15.402 * * * [progress]: localizing error
15.426 * * * [progress]: generating rewritten candidates
15.426 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2)
15.437 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
15.462 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
15.529 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
15.696 * * * [progress]: generating series expansions
15.696 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2)
15.696 * [backup-simplify]: Simplify (log (- 1.0 y)) into (log (- 1.0 y))
15.696 * [approximate]: Taking taylor expansion of (log (- 1.0 y)) in (y) around 0
15.696 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in y
15.697 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
15.697 * [taylor]: Taking taylor expansion of 1.0 in y
15.697 * [backup-simplify]: Simplify 1.0 into 1.0
15.697 * [taylor]: Taking taylor expansion of y in y
15.697 * [backup-simplify]: Simplify 0 into 0
15.697 * [backup-simplify]: Simplify 1 into 1
15.697 * [backup-simplify]: Simplify (- 0) into 0
15.698 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
15.698 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
15.698 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in y
15.699 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
15.699 * [taylor]: Taking taylor expansion of 1.0 in y
15.699 * [backup-simplify]: Simplify 1.0 into 1.0
15.699 * [taylor]: Taking taylor expansion of y in y
15.699 * [backup-simplify]: Simplify 0 into 0
15.699 * [backup-simplify]: Simplify 1 into 1
15.699 * [backup-simplify]: Simplify (- 0) into 0
15.700 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
15.700 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
15.700 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
15.701 * [backup-simplify]: Simplify (- 1) into -1
15.702 * [backup-simplify]: Simplify (+ 0 -1) into -1
15.712 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1.0 1)))) 1) into -1.0
15.712 * [backup-simplify]: Simplify -1.0 into -1.0
15.714 * [backup-simplify]: Simplify (- 0) into 0
15.714 * [backup-simplify]: Simplify (+ 0 0) into 0
15.724 * [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))
15.725 * [backup-simplify]: Simplify (/ -1/2 (pow 1.0 2)) into (/ -1/2 (pow 1.0 2))