0.072 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.134 * * * [progress]: [2/2] Setting up program.
0.139 * [progress]: [Phase 2 of 3] Improving.
0.139 * [simplify]: Simplifying:
  (exp (- (+ x (* y (log y))) z))
0.140 * * [simplify]: Extracting # 0 : cost  0
0.140 * * [simplify]: Extracting # 1 : cost  0
0.140 * * [simplify]: Extracting # 2 : cost  0
0.140 * * [simplify]: Extracting # 3 : cost  0
0.140 * * [simplify]: Extracting # 4 : cost  0
0.140 * * [simplify]: Extracting # 5 : cost  0
0.140 * * [simplify]: Extracting # 6 : cost  0
0.140 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.142 * * [simplify]: Extracting # 0 : cost  0
0.142 * * [simplify]: Extracting # 1 : cost  0
0.142 * * [simplify]: Extracting # 2 : cost  0
0.142 * * [simplify]: iteration  1 :  17  enodes  (cost  9 )
0.147 * * [simplify]: Extracting # 0 : cost  0
0.147 * * [simplify]: Extracting # 1 : cost  0
0.147 * * [simplify]: Extracting # 2 : cost  0
0.147 * * [simplify]: iteration  2 :  33  enodes  (cost  9 )
0.153 * * [simplify]: Extracting # 0 : cost  0
0.153 * * [simplify]: Extracting # 1 : cost  0
0.153 * * [simplify]: Extracting # 2 : cost  0
0.153 * * [simplify]: Extracting # 3 : cost  0
0.153 * * [simplify]: iteration  3 :  62  enodes  (cost  8 )
0.190 * * [simplify]: Extracting # 0 : cost  0
0.190 * * [simplify]: Extracting # 1 : cost  0
0.190 * * [simplify]: Extracting # 2 : cost  0
0.191 * * [simplify]: Extracting # 3 : cost  0
0.191 * * [simplify]: Extracting # 4 : cost  0
0.191 * * [simplify]: iteration  4 :  91  enodes  (cost  8 )
0.226 * * [simplify]: Extracting # 0 : cost  0
0.226 * * [simplify]: Extracting # 1 : cost  0
0.227 * * [simplify]: Extracting # 2 : cost  0
0.227 * * [simplify]: Extracting # 3 : cost  0
0.227 * * [simplify]: iteration  5 :  164  enodes  (cost  8 )
0.337 * * [simplify]: Extracting # 0 : cost  0
0.338 * * [simplify]: Extracting # 1 : cost  0
0.338 * * [simplify]: Extracting # 2 : cost  0
0.338 * * [simplify]: Extracting # 3 : cost  0
0.339 * * [simplify]: Extracting # 4 : cost  0
0.339 * * [simplify]: iteration  6 :  407  enodes  (cost  8 )
0.861 * * [simplify]: Extracting # 0 : cost  0
0.863 * * [simplify]: Extracting # 1 : cost  0
0.864 * * [simplify]: Extracting # 2 : cost  0
0.865 * * [simplify]: Extracting # 3 : cost  0
0.866 * * [simplify]: Extracting # 4 : cost  0
0.867 * * [simplify]: Extracting # 5 : cost  0
0.868 * * [simplify]: iteration  7 :  1322  enodes  (cost  8 )
5.028 * * [simplify]: Extracting # 0 : cost  0
5.039 * * [simplify]: Extracting # 1 : cost  0
5.045 * * [simplify]: Extracting # 2 : cost  0
5.051 * * [simplify]: Extracting # 3 : cost  0
5.066 * * [simplify]: Extracting # 4 : cost  0
5.069 * * [simplify]: iteration  8 :  4605  enodes  (cost  8 )
7.083 * * [simplify]: Extracting # 0 : cost  0
7.089 * * [simplify]: Extracting # 1 : cost  0
7.093 * * [simplify]: Extracting # 2 : cost  0
7.096 * * [simplify]: iteration done:  5001  enodes  (cost  8 )
7.096 * [simplify]: Simplified to:
  (* (pow y y) (exp (- x z)))
7.099 * * [progress]: iteration 1 / 4
7.099 * * * [progress]: picking best candidate
7.104 * * * * [pick]: Picked  #<alt (λ (x y z) (exp (- (+ x (* y (log y))) z)))>
7.104 * * * [progress]: localizing error
7.131 * * * [progress]: generating rewritten candidates
7.132 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 2)
7.151 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
7.166 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
7.241 * * * [progress]: generating series expansions
7.241 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 2)
7.242 * [backup-simplify]: Simplify (* y (log y)) into (* y (log y))
7.242 * [approximate]: Taking taylor expansion of (* y (log y)) in (y) around 0
7.242 * [taylor]: Taking taylor expansion of (* y (log y)) in y
7.242 * [taylor]: Taking taylor expansion of y in y
7.242 * [backup-simplify]: Simplify 0 into 0
7.242 * [backup-simplify]: Simplify 1 into 1
7.242 * [taylor]: Taking taylor expansion of (log y) in y
7.242 * [taylor]: Taking taylor expansion of y in y
7.242 * [backup-simplify]: Simplify 0 into 0
7.242 * [backup-simplify]: Simplify 1 into 1
7.242 * [backup-simplify]: Simplify (log 1) into 0
7.242 * [taylor]: Taking taylor expansion of (* y (log y)) in y
7.242 * [taylor]: Taking taylor expansion of y in y
7.242 * [backup-simplify]: Simplify 0 into 0
7.242 * [backup-simplify]: Simplify 1 into 1
7.242 * [taylor]: Taking taylor expansion of (log y) in y
7.242 * [taylor]: Taking taylor expansion of y in y
7.242 * [backup-simplify]: Simplify 0 into 0
7.243 * [backup-simplify]: Simplify 1 into 1
7.243 * [backup-simplify]: Simplify (log 1) into 0
7.243 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
7.243 * [backup-simplify]: Simplify (* 0 (log y)) into 0
7.243 * [backup-simplify]: Simplify 0 into 0
7.244 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
7.245 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
7.245 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log y))) into (log y)
7.245 * [backup-simplify]: Simplify (log y) into (log y)
7.247 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
7.247 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
7.248 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (log y)))) into 0
7.248 * [backup-simplify]: Simplify 0 into 0
7.251 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
7.251 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
7.252 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (log y))))) into 0
7.252 * [backup-simplify]: Simplify 0 into 0
7.258 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
7.259 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
7.260 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log y)))))) into 0
7.260 * [backup-simplify]: Simplify 0 into 0
7.271 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
7.272 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
7.274 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log y))))))) into 0
7.274 * [backup-simplify]: Simplify 0 into 0
7.308 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
7.309 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
7.312 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log y)))))))) into 0
7.312 * [backup-simplify]: Simplify 0 into 0
7.356 * [backup-simplify]: Simplify (/ (+ (* 720 (/ (* (pow (* 1 0) 7)) (pow 1 7))) (* -2520 (/ (* (pow (* 1 0) 5) (pow (* 2 0) 1)) (pow 1 6))) (* 2520 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 2)) (pow 1 5))) (* 840 (/ (* (pow (* 1 0) 4) 1 (pow (* 6 0) 1)) (pow 1 5))) (* -630 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 3)) (pow 1 4))) (* -1260 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 4))) (* -210 (/ (* (pow (* 1 0) 3) 1 1 (pow (* 24 0) 1)) (pow 1 4))) (* 210 (/ (* 1 (pow (* 2 0) 2) (pow (* 6 0) 1)) (pow 1 3))) (* 140 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 2)) (pow 1 3))) (* 210 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 3))) (* 42 (/ (* (pow (* 1 0) 2) 1 1 1 (pow (* 120 0) 1)) (pow 1 3))) (* -35 (/ (* 1 1 (pow (* 6 0) 1) (pow (* 24 0) 1)) (pow 1 2))) (* -21 (/ (* 1 (pow (* 2 0) 1) 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* -7 (/ (* (pow (* 1 0) 1) 1 1 1 1 (pow (* 720 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 1 (pow (* 5040 0) 1)) (pow 1 1)))) 5040) into 0
7.357 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
7.358 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log y))))))))) into 0
7.359 * [backup-simplify]: Simplify 0 into 0
7.359 * [backup-simplify]: Simplify (* (log y) y) into (* y (log y))
7.359 * [backup-simplify]: Simplify (* (/ 1 y) (log (/ 1 y))) into (/ (log (/ 1 y)) y)
7.359 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) y) in (y) around 0
7.359 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y
7.359 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.359 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.359 * [taylor]: Taking taylor expansion of y in y
7.359 * [backup-simplify]: Simplify 0 into 0
7.359 * [backup-simplify]: Simplify 1 into 1
7.359 * [backup-simplify]: Simplify (/ 1 1) into 1
7.359 * [backup-simplify]: Simplify (log 1) into 0
7.359 * [taylor]: Taking taylor expansion of y in y
7.359 * [backup-simplify]: Simplify 0 into 0
7.359 * [backup-simplify]: Simplify 1 into 1
7.360 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
7.360 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
7.360 * [backup-simplify]: Simplify (/ (- (log y)) 1) into (* -1 (log y))
7.360 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y
7.360 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.360 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.360 * [taylor]: Taking taylor expansion of y in y
7.360 * [backup-simplify]: Simplify 0 into 0
7.360 * [backup-simplify]: Simplify 1 into 1
7.360 * [backup-simplify]: Simplify (/ 1 1) into 1
7.361 * [backup-simplify]: Simplify (log 1) into 0
7.361 * [taylor]: Taking taylor expansion of y in y
7.361 * [backup-simplify]: Simplify 0 into 0
7.361 * [backup-simplify]: Simplify 1 into 1
7.361 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
7.361 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
7.361 * [backup-simplify]: Simplify (/ (- (log y)) 1) into (* -1 (log y))
7.361 * [backup-simplify]: Simplify (* -1 (log y)) into (* -1 (log y))
7.362 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.363 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
7.363 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (log y)) (/ 0 1)))) into 0
7.363 * [backup-simplify]: Simplify 0 into 0
7.364 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.366 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
7.367 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (log y)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.367 * [backup-simplify]: Simplify 0 into 0
7.367 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.370 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
7.371 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (log y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.371 * [backup-simplify]: Simplify 0 into 0
7.372 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.383 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
7.386 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (log y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.386 * [backup-simplify]: Simplify 0 into 0
7.387 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.407 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
7.410 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (log y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.410 * [backup-simplify]: Simplify 0 into 0
7.411 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.446 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
7.450 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (log y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.450 * [backup-simplify]: Simplify 0 into 0
7.450 * [backup-simplify]: Simplify (* (* -1 (log (/ 1 y))) (/ 1 (/ 1 y))) into (* -1 (* y (log (/ 1 y))))
7.451 * [backup-simplify]: Simplify (* (/ 1 (- y)) (log (/ 1 (- y)))) into (* -1 (/ (log (/ -1 y)) y))
7.451 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) y)) in (y) around 0
7.451 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) y)) in y
7.451 * [taylor]: Taking taylor expansion of -1 in y
7.451 * [backup-simplify]: Simplify -1 into -1
7.451 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y
7.451 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
7.451 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.451 * [taylor]: Taking taylor expansion of -1 in y
7.451 * [backup-simplify]: Simplify -1 into -1
7.451 * [taylor]: Taking taylor expansion of y in y
7.451 * [backup-simplify]: Simplify 0 into 0
7.451 * [backup-simplify]: Simplify 1 into 1
7.451 * [backup-simplify]: Simplify (/ -1 1) into -1
7.452 * [backup-simplify]: Simplify (log -1) into (log -1)
7.452 * [taylor]: Taking taylor expansion of y in y
7.452 * [backup-simplify]: Simplify 0 into 0
7.452 * [backup-simplify]: Simplify 1 into 1
7.453 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) (log -1)) into (- (log -1) (log y))
7.454 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) (log -1)) into (- (log -1) (log y))
7.454 * [backup-simplify]: Simplify (/ (- (log -1) (log y)) 1) into (- (log -1) (log y))
7.454 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) y)) in y
7.454 * [taylor]: Taking taylor expansion of -1 in y
7.454 * [backup-simplify]: Simplify -1 into -1
7.454 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y
7.454 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
7.454 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.454 * [taylor]: Taking taylor expansion of -1 in y
7.454 * [backup-simplify]: Simplify -1 into -1
7.454 * [taylor]: Taking taylor expansion of y in y
7.454 * [backup-simplify]: Simplify 0 into 0
7.455 * [backup-simplify]: Simplify 1 into 1
7.455 * [backup-simplify]: Simplify (/ -1 1) into -1
7.455 * [backup-simplify]: Simplify (log -1) into (log -1)
7.455 * [taylor]: Taking taylor expansion of y in y
7.455 * [backup-simplify]: Simplify 0 into 0
7.455 * [backup-simplify]: Simplify 1 into 1
7.456 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) (log -1)) into (- (log -1) (log y))
7.457 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) (log -1)) into (- (log -1) (log y))
7.457 * [backup-simplify]: Simplify (/ (- (log -1) (log y)) 1) into (- (log -1) (log y))
7.458 * [backup-simplify]: Simplify (* -1 (- (log -1) (log y))) into (* -1 (- (log -1) (log y)))
7.459 * [backup-simplify]: Simplify (* -1 (- (log -1) (log y))) into (* -1 (- (log -1) (log y)))
7.459 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.461 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
7.463 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (log -1) (log y)) (/ 0 1)))) into 0
7.464 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (log -1) (log y)))) into 0
7.464 * [backup-simplify]: Simplify 0 into 0
7.465 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.468 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
7.470 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (log -1) (log y)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.471 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (log -1) (log y))))) into 0
7.471 * [backup-simplify]: Simplify 0 into 0
7.472 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.478 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into 0
7.480 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (log -1) (log y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.482 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log y)))))) into 0
7.482 * [backup-simplify]: Simplify 0 into 0
7.483 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.500 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow -1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow -1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow -1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow -1 1)))) 24) into 0
7.503 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (log -1) (log y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.505 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log y))))))) into 0
7.505 * [backup-simplify]: Simplify 0 into 0
7.507 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.518 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow -1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow -1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow -1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow -1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow -1 1)))) 120) into 0
7.520 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (log -1) (log y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.521 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log y)))))))) into 0
7.521 * [backup-simplify]: Simplify 0 into 0
7.522 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.542 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow -1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow -1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow -1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow -1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow -1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow -1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow -1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow -1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow -1 1)))) 720) into 0
7.546 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (log -1) (log y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.549 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log y))))))))) into 0
7.549 * [backup-simplify]: Simplify 0 into 0
7.550 * [backup-simplify]: Simplify (* (* -1 (- (log -1) (log (/ 1 (- y))))) (/ 1 (/ 1 (- y)))) into (* (- (log -1) (log (/ -1 y))) y)
7.550 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
7.550 * [backup-simplify]: Simplify (+ x (* y (log y))) into (+ x (* y (log y)))
7.550 * [approximate]: Taking taylor expansion of (+ x (* y (log y))) in (x y) around 0
7.550 * [taylor]: Taking taylor expansion of (+ x (* y (log y))) in y
7.550 * [taylor]: Taking taylor expansion of x in y
7.550 * [backup-simplify]: Simplify x into x
7.550 * [taylor]: Taking taylor expansion of (* y (log y)) in y
7.550 * [taylor]: Taking taylor expansion of y in y
7.550 * [backup-simplify]: Simplify 0 into 0
7.550 * [backup-simplify]: Simplify 1 into 1
7.550 * [taylor]: Taking taylor expansion of (log y) in y
7.550 * [taylor]: Taking taylor expansion of y in y
7.550 * [backup-simplify]: Simplify 0 into 0
7.550 * [backup-simplify]: Simplify 1 into 1
7.551 * [backup-simplify]: Simplify (log 1) into 0
7.551 * [taylor]: Taking taylor expansion of (+ x (* y (log y))) in x
7.551 * [taylor]: Taking taylor expansion of x in x
7.551 * [backup-simplify]: Simplify 0 into 0
7.551 * [backup-simplify]: Simplify 1 into 1
7.551 * [taylor]: Taking taylor expansion of (* y (log y)) in x
7.551 * [taylor]: Taking taylor expansion of y in x
7.551 * [backup-simplify]: Simplify y into y
7.551 * [taylor]: Taking taylor expansion of (log y) in x
7.551 * [taylor]: Taking taylor expansion of y in x
7.551 * [backup-simplify]: Simplify y into y
7.551 * [backup-simplify]: Simplify (log y) into (log y)
7.551 * [taylor]: Taking taylor expansion of (+ x (* y (log y))) in x
7.551 * [taylor]: Taking taylor expansion of x in x
7.551 * [backup-simplify]: Simplify 0 into 0
7.551 * [backup-simplify]: Simplify 1 into 1
7.551 * [taylor]: Taking taylor expansion of (* y (log y)) in x
7.551 * [taylor]: Taking taylor expansion of y in x
7.551 * [backup-simplify]: Simplify y into y
7.551 * [taylor]: Taking taylor expansion of (log y) in x
7.551 * [taylor]: Taking taylor expansion of y in x
7.551 * [backup-simplify]: Simplify y into y
7.551 * [backup-simplify]: Simplify (log y) into (log y)
7.552 * [backup-simplify]: Simplify (* y (log y)) into (* y (log y))
7.552 * [backup-simplify]: Simplify (+ 0 (* y (log y))) into (* y (log y))
7.552 * [taylor]: Taking taylor expansion of (* y (log y)) in y
7.552 * [taylor]: Taking taylor expansion of y in y
7.552 * [backup-simplify]: Simplify 0 into 0
7.552 * [backup-simplify]: Simplify 1 into 1
7.552 * [taylor]: Taking taylor expansion of (log y) in y
7.552 * [taylor]: Taking taylor expansion of y in y
7.552 * [backup-simplify]: Simplify 0 into 0
7.552 * [backup-simplify]: Simplify 1 into 1
7.552 * [backup-simplify]: Simplify (log 1) into 0
7.553 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
7.553 * [backup-simplify]: Simplify (* 0 (log y)) into 0
7.553 * [backup-simplify]: Simplify 0 into 0
7.554 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow y 1)))) 1) into 0
7.554 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (log y))) into 0
7.554 * [backup-simplify]: Simplify (+ 1 0) into 1
7.555 * [taylor]: Taking taylor expansion of 1 in y
7.555 * [backup-simplify]: Simplify 1 into 1
7.555 * [backup-simplify]: Simplify 1 into 1
7.556 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
7.556 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
7.556 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log y))) into (log y)
7.556 * [backup-simplify]: Simplify (log y) into (log y)