0.245 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.074 * * * [progress]: [2/2] Setting up program.
0.076 * [progress]: [Phase 2 of 3] Improving.
0.077 * [simplify]: Simplifying:
  (exp (- (+ x (* y (log y))) z))
0.077 * * [simplify]: Extracting # 0 : cost  0
0.077 * * [simplify]: Extracting # 1 : cost  0
0.077 * * [simplify]: Extracting # 2 : cost  0
0.077 * * [simplify]: Extracting # 3 : cost  0
0.077 * * [simplify]: Extracting # 4 : cost  0
0.077 * * [simplify]: Extracting # 5 : cost  0
0.077 * * [simplify]: Extracting # 6 : cost  0
0.077 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.078 * * [simplify]: Extracting # 0 : cost  0
0.078 * * [simplify]: Extracting # 1 : cost  0
0.078 * * [simplify]: Extracting # 2 : cost  0
0.078 * * [simplify]: iteration  1 :  17  enodes  (cost  9 )
0.081 * * [simplify]: Extracting # 0 : cost  0
0.081 * * [simplify]: Extracting # 1 : cost  0
0.081 * * [simplify]: Extracting # 2 : cost  0
0.081 * * [simplify]: iteration  2 :  33  enodes  (cost  9 )
0.094 * * [simplify]: Extracting # 0 : cost  0
0.094 * * [simplify]: Extracting # 1 : cost  0
0.094 * * [simplify]: Extracting # 2 : cost  0
0.094 * * [simplify]: Extracting # 3 : cost  0
0.094 * * [simplify]: iteration  3 :  62  enodes  (cost  8 )
0.116 * * [simplify]: Extracting # 0 : cost  0
0.116 * * [simplify]: Extracting # 1 : cost  0
0.116 * * [simplify]: Extracting # 2 : cost  0
0.116 * * [simplify]: Extracting # 3 : cost  0
0.117 * * [simplify]: Extracting # 4 : cost  0
0.117 * * [simplify]: iteration  4 :  91  enodes  (cost  8 )
0.176 * * [simplify]: Extracting # 0 : cost  0
0.177 * * [simplify]: Extracting # 1 : cost  0
0.177 * * [simplify]: Extracting # 2 : cost  0
0.177 * * [simplify]: Extracting # 3 : cost  0
0.178 * * [simplify]: iteration  5 :  164  enodes  (cost  8 )
0.273 * * [simplify]: Extracting # 0 : cost  0
0.273 * * [simplify]: Extracting # 1 : cost  0
0.274 * * [simplify]: Extracting # 2 : cost  0
0.274 * * [simplify]: Extracting # 3 : cost  0
0.274 * * [simplify]: Extracting # 4 : cost  0
0.275 * * [simplify]: iteration  6 :  407  enodes  (cost  8 )
0.794 * * [simplify]: Extracting # 0 : cost  0
0.797 * * [simplify]: Extracting # 1 : cost  0
0.799 * * [simplify]: Extracting # 2 : cost  0
0.801 * * [simplify]: Extracting # 3 : cost  0
0.803 * * [simplify]: Extracting # 4 : cost  0
0.805 * * [simplify]: Extracting # 5 : cost  0
0.808 * * [simplify]: iteration  7 :  1322  enodes  (cost  8 )
5.274 * * [simplify]: Extracting # 0 : cost  0
5.280 * * [simplify]: Extracting # 1 : cost  0
5.284 * * [simplify]: Extracting # 2 : cost  0
5.288 * * [simplify]: Extracting # 3 : cost  0
5.302 * * [simplify]: Extracting # 4 : cost  0
5.308 * * [simplify]: iteration  8 :  4605  enodes  (cost  8 )
6.817 * * [simplify]: Extracting # 0 : cost  0
6.828 * * [simplify]: Extracting # 1 : cost  0
6.835 * * [simplify]: Extracting # 2 : cost  0
6.840 * * [simplify]: iteration done:  5001  enodes  (cost  8 )
6.840 * [simplify]: Simplified to:
  (* (pow y y) (exp (- x z)))
6.843 * * [progress]: iteration 1 / 4
6.843 * * * [progress]: picking best candidate
6.846 * * * * [pick]: Picked  #<alt (λ (x y z) (exp (- (+ x (* y (log y))) z)))>
6.846 * * * [progress]: localizing error
6.856 * * * [progress]: generating rewritten candidates
6.857 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 2)
6.874 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
6.889 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
6.939 * * * [progress]: generating series expansions
6.939 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 2)
6.939 * [backup-simplify]: Simplify (* y (log y)) into (* y (log y))
6.939 * [approximate]: Taking taylor expansion of (* y (log y)) in (y) around 0
6.939 * [taylor]: Taking taylor expansion of (* y (log y)) in y
6.939 * [taylor]: Taking taylor expansion of y in y
6.939 * [backup-simplify]: Simplify 0 into 0
6.939 * [backup-simplify]: Simplify 1 into 1
6.940 * [taylor]: Taking taylor expansion of (log y) in y
6.940 * [taylor]: Taking taylor expansion of y in y
6.940 * [backup-simplify]: Simplify 0 into 0
6.940 * [backup-simplify]: Simplify 1 into 1
6.940 * [backup-simplify]: Simplify (log 1) into 0
6.940 * [taylor]: Taking taylor expansion of (* y (log y)) in y
6.940 * [taylor]: Taking taylor expansion of y in y
6.940 * [backup-simplify]: Simplify 0 into 0
6.940 * [backup-simplify]: Simplify 1 into 1
6.940 * [taylor]: Taking taylor expansion of (log y) in y
6.940 * [taylor]: Taking taylor expansion of y in y
6.940 * [backup-simplify]: Simplify 0 into 0
6.940 * [backup-simplify]: Simplify 1 into 1
6.941 * [backup-simplify]: Simplify (log 1) into 0
6.941 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
6.941 * [backup-simplify]: Simplify (* 0 (log y)) into 0
6.941 * [backup-simplify]: Simplify 0 into 0
6.942 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
6.942 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
6.943 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log y))) into (log y)
6.943 * [backup-simplify]: Simplify (log y) into (log y)
6.944 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
6.945 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
6.945 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (log y)))) into 0
6.945 * [backup-simplify]: Simplify 0 into 0
6.948 * [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
6.948 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
6.949 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (log y))))) into 0
6.949 * [backup-simplify]: Simplify 0 into 0
6.955 * [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
6.956 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
6.957 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log y)))))) into 0
6.957 * [backup-simplify]: Simplify 0 into 0
6.970 * [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
6.971 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
6.972 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log y))))))) into 0
6.972 * [backup-simplify]: Simplify 0 into 0
7.002 * [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.003 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
7.006 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log y)))))))) into 0
7.006 * [backup-simplify]: Simplify 0 into 0
7.060 * [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.061 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
7.062 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log y))))))))) into 0
7.062 * [backup-simplify]: Simplify 0 into 0
7.062 * [backup-simplify]: Simplify (* (log y) y) into (* y (log y))
7.063 * [backup-simplify]: Simplify (* (/ 1 y) (log (/ 1 y))) into (/ (log (/ 1 y)) y)
7.063 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) y) in (y) around 0
7.063 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y
7.063 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.063 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.063 * [taylor]: Taking taylor expansion of y in y
7.063 * [backup-simplify]: Simplify 0 into 0
7.063 * [backup-simplify]: Simplify 1 into 1
7.063 * [backup-simplify]: Simplify (/ 1 1) into 1
7.063 * [backup-simplify]: Simplify (log 1) into 0
7.063 * [taylor]: Taking taylor expansion of y in y
7.063 * [backup-simplify]: Simplify 0 into 0
7.063 * [backup-simplify]: Simplify 1 into 1
7.064 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
7.064 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
7.064 * [backup-simplify]: Simplify (/ (- (log y)) 1) into (* -1 (log y))
7.064 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y
7.064 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
7.064 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.064 * [taylor]: Taking taylor expansion of y in y
7.064 * [backup-simplify]: Simplify 0 into 0
7.064 * [backup-simplify]: Simplify 1 into 1
7.064 * [backup-simplify]: Simplify (/ 1 1) into 1
7.064 * [backup-simplify]: Simplify (log 1) into 0
7.064 * [taylor]: Taking taylor expansion of y in y
7.065 * [backup-simplify]: Simplify 0 into 0
7.065 * [backup-simplify]: Simplify 1 into 1
7.065 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
7.065 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
7.065 * [backup-simplify]: Simplify (/ (- (log y)) 1) into (* -1 (log y))
7.065 * [backup-simplify]: Simplify (* -1 (log y)) into (* -1 (log y))
7.066 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.067 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
7.067 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (log y)) (/ 0 1)))) into 0
7.067 * [backup-simplify]: Simplify 0 into 0
7.068 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.069 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
7.070 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (log y)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.070 * [backup-simplify]: Simplify 0 into 0
7.071 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.074 * [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.075 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (log y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.075 * [backup-simplify]: Simplify 0 into 0
7.075 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.081 * [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.083 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (log y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.083 * [backup-simplify]: Simplify 0 into 0
7.083 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.102 * [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.106 * [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.106 * [backup-simplify]: Simplify 0 into 0
7.107 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.142 * [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.145 * [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.145 * [backup-simplify]: Simplify 0 into 0
7.146 * [backup-simplify]: Simplify (* (* -1 (log (/ 1 y))) (/ 1 (/ 1 y))) into (* -1 (* y (log (/ 1 y))))
7.146 * [backup-simplify]: Simplify (* (/ 1 (- y)) (log (/ 1 (- y)))) into (* -1 (/ (log (/ -1 y)) y))
7.146 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) y)) in (y) around 0
7.146 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) y)) in y
7.146 * [taylor]: Taking taylor expansion of -1 in y
7.146 * [backup-simplify]: Simplify -1 into -1
7.146 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y
7.146 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
7.146 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.146 * [taylor]: Taking taylor expansion of -1 in y
7.146 * [backup-simplify]: Simplify -1 into -1
7.146 * [taylor]: Taking taylor expansion of y in y
7.146 * [backup-simplify]: Simplify 0 into 0
7.146 * [backup-simplify]: Simplify 1 into 1
7.147 * [backup-simplify]: Simplify (/ -1 1) into -1
7.147 * [backup-simplify]: Simplify (log -1) into (log -1)
7.147 * [taylor]: Taking taylor expansion of y in y
7.147 * [backup-simplify]: Simplify 0 into 0
7.147 * [backup-simplify]: Simplify 1 into 1
7.148 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) (log -1)) into (- (log -1) (log y))
7.149 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) (log -1)) into (- (log -1) (log y))
7.149 * [backup-simplify]: Simplify (/ (- (log -1) (log y)) 1) into (- (log -1) (log y))
7.149 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) y)) in y
7.149 * [taylor]: Taking taylor expansion of -1 in y
7.149 * [backup-simplify]: Simplify -1 into -1
7.149 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y
7.149 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
7.149 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.150 * [taylor]: Taking taylor expansion of -1 in y
7.150 * [backup-simplify]: Simplify -1 into -1
7.150 * [taylor]: Taking taylor expansion of y in y
7.150 * [backup-simplify]: Simplify 0 into 0
7.150 * [backup-simplify]: Simplify 1 into 1
7.150 * [backup-simplify]: Simplify (/ -1 1) into -1
7.151 * [backup-simplify]: Simplify (log -1) into (log -1)
7.151 * [taylor]: Taking taylor expansion of y in y
7.151 * [backup-simplify]: Simplify 0 into 0
7.151 * [backup-simplify]: Simplify 1 into 1
7.151 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) (log -1)) into (- (log -1) (log y))
7.152 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) (log -1)) into (- (log -1) (log y))
7.153 * [backup-simplify]: Simplify (/ (- (log -1) (log y)) 1) into (- (log -1) (log y))
7.153 * [backup-simplify]: Simplify (* -1 (- (log -1) (log y))) into (* -1 (- (log -1) (log y)))
7.154 * [backup-simplify]: Simplify (* -1 (- (log -1) (log y))) into (* -1 (- (log -1) (log y)))
7.155 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.156 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
7.158 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (log -1) (log y)) (/ 0 1)))) into 0
7.159 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (log -1) (log y)))) into 0
7.159 * [backup-simplify]: Simplify 0 into 0
7.160 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.162 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
7.163 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (log -1) (log y)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.164 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (log -1) (log y))))) into 0
7.164 * [backup-simplify]: Simplify 0 into 0
7.165 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.168 * [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.170 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (log -1) (log y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.171 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log y)))))) into 0
7.171 * [backup-simplify]: Simplify 0 into 0
7.171 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.178 * [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.180 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (log -1) (log y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.181 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log y))))))) into 0
7.181 * [backup-simplify]: Simplify 0 into 0
7.182 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.199 * [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.203 * [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.206 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log y)))))))) into 0
7.206 * [backup-simplify]: Simplify 0 into 0
7.207 * [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.235 * [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.237 * [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.239 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log y))))))))) into 0
7.239 * [backup-simplify]: Simplify 0 into 0
7.239 * [backup-simplify]: Simplify (* (* -1 (- (log -1) (log (/ 1 (- y))))) (/ 1 (/ 1 (- y)))) into (* (- (log -1) (log (/ -1 y))) y)
7.240 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
7.240 * [backup-simplify]: Simplify (+ x (* y (log y))) into (+ x (* y (log y)))
7.240 * [approximate]: Taking taylor expansion of (+ x (* y (log y))) in (x y) around 0
7.240 * [taylor]: Taking taylor expansion of (+ x (* y (log y))) in y
7.240 * [taylor]: Taking taylor expansion of x in y
7.240 * [backup-simplify]: Simplify x into x
7.240 * [taylor]: Taking taylor expansion of (* y (log y)) in y
7.240 * [taylor]: Taking taylor expansion of y in y
7.240 * [backup-simplify]: Simplify 0 into 0
7.240 * [backup-simplify]: Simplify 1 into 1
7.240 * [taylor]: Taking taylor expansion of (log y) in y
7.240 * [taylor]: Taking taylor expansion of y in y
7.240 * [backup-simplify]: Simplify 0 into 0
7.240 * [backup-simplify]: Simplify 1 into 1
7.240 * [backup-simplify]: Simplify (log 1) into 0
7.240 * [taylor]: Taking taylor expansion of (+ x (* y (log y))) in x
7.240 * [taylor]: Taking taylor expansion of x in x
7.240 * [backup-simplify]: Simplify 0 into 0
7.240 * [backup-simplify]: Simplify 1 into 1
7.240 * [taylor]: Taking taylor expansion of (* y (log y)) in x
7.240 * [taylor]: Taking taylor expansion of y in x
7.240 * [backup-simplify]: Simplify y into y
7.240 * [taylor]: Taking taylor expansion of (log y) in x
7.240 * [taylor]: Taking taylor expansion of y in x
7.240 * [backup-simplify]: Simplify y into y
7.240 * [backup-simplify]: Simplify (log y) into (log y)
7.240 * [taylor]: Taking taylor expansion of (+ x (* y (log y))) in x
7.240 * [taylor]: Taking taylor expansion of x in x
7.240 * [backup-simplify]: Simplify 0 into 0
7.240 * [backup-simplify]: Simplify 1 into 1
7.240 * [taylor]: Taking taylor expansion of (* y (log y)) in x
7.240 * [taylor]: Taking taylor expansion of y in x
7.240 * [backup-simplify]: Simplify y into y
7.240 * [taylor]: Taking taylor expansion of (log y) in x
7.241 * [taylor]: Taking taylor expansion of y in x
7.241 * [backup-simplify]: Simplify y into y
7.241 * [backup-simplify]: Simplify (log y) into (log y)
7.241 * [backup-simplify]: Simplify (* y (log y)) into (* y (log y))
7.241 * [backup-simplify]: Simplify (+ 0 (* y (log y))) into (* y (log y))
7.241 * [taylor]: Taking taylor expansion of (* y (log y)) in y
7.241 * [taylor]: Taking taylor expansion of y in y
7.241 * [backup-simplify]: Simplify 0 into 0
7.241 * [backup-simplify]: Simplify 1 into 1
7.241 * [taylor]: Taking taylor expansion of (log y) in y
7.241 * [taylor]: Taking taylor expansion of y in y
7.241 * [backup-simplify]: Simplify 0 into 0
7.241 * [backup-simplify]: Simplify 1 into 1
7.241 * [backup-simplify]: Simplify (log 1) into 0
7.241 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
7.241 * [backup-simplify]: Simplify (* 0 (log y)) into 0
7.242 * [backup-simplify]: Simplify 0 into 0
7.242 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow y 1)))) 1) into 0
7.242 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (log y))) into 0
7.243 * [backup-simplify]: Simplify (+ 1 0) into 1
7.243 * [taylor]: Taking taylor expansion of 1 in y
7.243 * [backup-simplify]: Simplify 1 into 1
7.243 * [backup-simplify]: Simplify 1 into 1
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)