0.238 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.147 * * * [progress]: [2/2] Setting up program.
0.153 * [progress]: [Phase 2 of 3] Improving.
0.153 * [simplify]: Simplifying:
  (- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
0.153 * * [simplify]: Extracting # 0 : cost  0
0.154 * * [simplify]: Extracting # 1 : cost  0
0.154 * * [simplify]: Extracting # 2 : cost  0
0.154 * * [simplify]: Extracting # 3 : cost  0
0.154 * * [simplify]: Extracting # 4 : cost  0
0.154 * * [simplify]: Extracting # 5 : cost  0
0.154 * * [simplify]: Extracting # 6 : cost  0
0.154 * * [simplify]: Extracting # 7 : cost  0
0.154 * * [simplify]: iteration  0 :  14  enodes  (cost  17 )
0.159 * * [simplify]: Extracting # 0 : cost  0
0.159 * * [simplify]: Extracting # 1 : cost  0
0.159 * * [simplify]: Extracting # 2 : cost  0
0.159 * * [simplify]: iteration  1 :  27  enodes  (cost  16 )
0.169 * * [simplify]: Extracting # 0 : cost  0
0.169 * * [simplify]: Extracting # 1 : cost  0
0.169 * * [simplify]: Extracting # 2 : cost  0
0.169 * * [simplify]: iteration  2 :  57  enodes  (cost  16 )
0.193 * * [simplify]: Extracting # 0 : cost  0
0.194 * * [simplify]: Extracting # 1 : cost  0
0.194 * * [simplify]: Extracting # 2 : cost  0
0.194 * * [simplify]: iteration  3 :  130  enodes  (cost  16 )
0.269 * * [simplify]: Extracting # 0 : cost  0
0.270 * * [simplify]: Extracting # 1 : cost  0
0.270 * * [simplify]: Extracting # 2 : cost  0
0.270 * * [simplify]: iteration  4 :  281  enodes  (cost  16 )
0.421 * * [simplify]: Extracting # 0 : cost  0
0.422 * * [simplify]: Extracting # 1 : cost  0
0.423 * * [simplify]: Extracting # 2 : cost  0
0.424 * * [simplify]: iteration  5 :  649  enodes  (cost  16 )
1.174 * * [simplify]: Extracting # 0 : cost  0
1.177 * * [simplify]: Extracting # 1 : cost  0
1.179 * * [simplify]: Extracting # 2 : cost  0
1.181 * * [simplify]: Extracting # 3 : cost  0
1.183 * * [simplify]: Extracting # 4 : cost  0
1.185 * * [simplify]: iteration  6 :  1372  enodes  (cost  16 )
4.082 * * [simplify]: Extracting # 0 : cost  0
4.089 * * [simplify]: Extracting # 1 : cost  0
4.091 * * [simplify]: Extracting # 2 : cost  0
4.094 * * [simplify]: Extracting # 3 : cost  0
4.097 * * [simplify]: Extracting # 4 : cost  0
4.100 * * [simplify]: iteration  7 :  2484  enodes  (cost  16 )
7.362 * * [simplify]: Extracting # 0 : cost  0
7.367 * * [simplify]: Extracting # 1 : cost  0
7.370 * * [simplify]: Extracting # 2 : cost  0
7.372 * * [simplify]: iteration  8 :  3329  enodes  (cost  16 )
10.902 * * [simplify]: Extracting # 0 : cost  0
10.904 * * [simplify]: Extracting # 1 : cost  0
10.906 * * [simplify]: iteration  9 :  3557  enodes  (cost  16 )
13.554 * * [simplify]: Extracting # 0 : cost  0
13.556 * * [simplify]: iteration  10 :  3561  enodes  (cost  16 )
16.186 * * [simplify]: Extracting # 0 : cost  0
16.189 * * [simplify]: iteration done:  3561  enodes  (cost  16 )
16.190 * [simplify]: Simplified to:
  (- (fma (- x 1.0) (log y) (* (- z 1.0) (log (- 1.0 y)))) t)
16.200 * * [progress]: iteration 1 / 4
16.200 * * * [progress]: picking best candidate
16.205 * * * * [pick]: Picked  #<alt (λ (x y z t) (- (fma (- x 1.0) (log y) (* (- z 1.0) (log (- 1.0 y)))) t))>
16.206 * * * [progress]: localizing error
16.238 * * * [progress]: generating rewritten candidates
16.238 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 3 2)
16.249 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
16.250 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
16.263 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 3)
16.333 * * * [progress]: generating series expansions
16.333 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 3 2)
16.334 * [backup-simplify]: Simplify (log (- 1.0 y)) into (log (- 1.0 y))
16.334 * [approximate]: Taking taylor expansion of (log (- 1.0 y)) in (y) around 0
16.334 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in y
16.334 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
16.334 * [taylor]: Taking taylor expansion of 1.0 in y
16.334 * [backup-simplify]: Simplify 1.0 into 1.0
16.334 * [taylor]: Taking taylor expansion of y in y
16.334 * [backup-simplify]: Simplify 0 into 0
16.334 * [backup-simplify]: Simplify 1 into 1
16.335 * [backup-simplify]: Simplify (- 0) into 0
16.335 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
16.336 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
16.336 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in y
16.336 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
16.336 * [taylor]: Taking taylor expansion of 1.0 in y
16.336 * [backup-simplify]: Simplify 1.0 into 1.0
16.336 * [taylor]: Taking taylor expansion of y in y
16.336 * [backup-simplify]: Simplify 0 into 0
16.336 * [backup-simplify]: Simplify 1 into 1
16.336 * [backup-simplify]: Simplify (- 0) into 0
16.337 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
16.337 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
16.338 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
16.338 * [backup-simplify]: Simplify (- 1) into -1
16.339 * [backup-simplify]: Simplify (+ 0 -1) into -1
16.345 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1.0 1)))) 1) into -1.0
16.345 * [backup-simplify]: Simplify -1.0 into -1.0
16.347 * [backup-simplify]: Simplify (- 0) into 0
16.347 * [backup-simplify]: Simplify (+ 0 0) into 0
16.359 * [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))
16.360 * [backup-simplify]: Simplify (/ -1/2 (pow 1.0 2)) into (/ -1/2 (pow 1.0 2))