27.875 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.107 * * * [progress]: [2/2] Setting up program. 0.110 * [progress]: [Phase 2 of 3] Improving. 0.110 * [simplify]: Simplifying: (exp (- (+ x (* y (log y))) z)) 0.110 * * [simplify]: Extracting # 0 : cost 0 0.110 * * [simplify]: Extracting # 1 : cost 0 0.110 * * [simplify]: Extracting # 2 : cost 0 0.110 * * [simplify]: Extracting # 3 : cost 0 0.110 * * [simplify]: Extracting # 4 : cost 0 0.110 * * [simplify]: Extracting # 5 : cost 0 0.110 * * [simplify]: Extracting # 6 : cost 0 0.110 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.111 * * [simplify]: Extracting # 0 : cost 0 0.112 * * [simplify]: Extracting # 1 : cost 0 0.112 * * [simplify]: Extracting # 2 : cost 0 0.112 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 0.118 * * [simplify]: Extracting # 0 : cost 0 0.118 * * [simplify]: Extracting # 1 : cost 0 0.118 * * [simplify]: Extracting # 2 : cost 0 0.118 * * [simplify]: iteration 2 : 37 enodes (cost 8 ) 0.134 * * [simplify]: Extracting # 0 : cost 0 0.134 * * [simplify]: Extracting # 1 : cost 0 0.134 * * [simplify]: Extracting # 2 : cost 0 0.134 * * [simplify]: iteration 3 : 70 enodes (cost 8 ) 0.187 * * [simplify]: Extracting # 0 : cost 0 0.187 * * [simplify]: Extracting # 1 : cost 0 0.187 * * [simplify]: Extracting # 2 : cost 0 0.188 * * [simplify]: Extracting # 3 : cost 0 0.188 * * [simplify]: Extracting # 4 : cost 0 0.188 * * [simplify]: Extracting # 5 : cost 0 0.188 * * [simplify]: Extracting # 6 : cost 0 0.188 * * [simplify]: iteration 4 : 101 enodes (cost 8 ) 0.225 * * [simplify]: Extracting # 0 : cost 0 0.225 * * [simplify]: Extracting # 1 : cost 0 0.226 * * [simplify]: Extracting # 2 : cost 0 0.226 * * [simplify]: Extracting # 3 : cost 0 0.226 * * [simplify]: Extracting # 4 : cost 0 0.227 * * [simplify]: iteration 5 : 174 enodes (cost 8 ) 0.344 * * [simplify]: Extracting # 0 : cost 0 0.345 * * [simplify]: Extracting # 1 : cost 0 0.346 * * [simplify]: Extracting # 2 : cost 0 0.346 * * [simplify]: Extracting # 3 : cost 0 0.347 * * [simplify]: Extracting # 4 : cost 0 0.347 * * [simplify]: Extracting # 5 : cost 0 0.348 * * [simplify]: iteration 6 : 416 enodes (cost 8 ) 0.895 * * [simplify]: Extracting # 0 : cost 0 0.898 * * [simplify]: Extracting # 1 : cost 0 0.900 * * [simplify]: Extracting # 2 : cost 0 0.902 * * [simplify]: Extracting # 3 : cost 0 0.904 * * [simplify]: Extracting # 4 : cost 0 0.906 * * [simplify]: Extracting # 5 : cost 0 0.908 * * [simplify]: iteration 7 : 1329 enodes (cost 8 ) 5.411 * * [simplify]: Extracting # 0 : cost 0 5.421 * * [simplify]: Extracting # 1 : cost 0 5.428 * * [simplify]: Extracting # 2 : cost 0 5.434 * * [simplify]: Extracting # 3 : cost 0 5.440 * * [simplify]: Extracting # 4 : cost 0 5.446 * * [simplify]: Extracting # 5 : cost 0 5.451 * * [simplify]: iteration 8 : 4586 enodes (cost 8 ) 7.112 * * [simplify]: Extracting # 0 : cost 0 7.128 * * [simplify]: Extracting # 1 : cost 0 7.135 * * [simplify]: Extracting # 2 : cost 0 7.139 * * [simplify]: iteration done: 5000 enodes (cost 8 ) 7.139 * [simplify]: Simplified to: (exp (- (fma y (log y) x) z)) 7.142 * * [progress]: iteration 1 / 4 7.142 * * * [progress]: picking best candidate 7.144 * * * * [pick]: Picked # 7.145 * * * [progress]: localizing error 7.154 * * * [progress]: generating rewritten candidates 7.154 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1) 7.154 * * * [progress]: generating series expansions 7.154 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1) 7.155 * [backup-simplify]: Simplify (fma y (log y) x) into (fma y (log y) x) 7.155 * [approximate]: Taking taylor expansion of (fma y (log y) x) in (y x) around 0 7.155 * [taylor]: Taking taylor expansion of (fma y (log y) x) in x 7.155 * [taylor]: Rewrote expression to (+ (* y (log y)) x) 7.155 * [taylor]: Taking taylor expansion of (* y (log y)) in x 7.155 * [taylor]: Taking taylor expansion of y in x 7.155 * [backup-simplify]: Simplify y into y 7.155 * [taylor]: Taking taylor expansion of (log y) in x 7.155 * [taylor]: Taking taylor expansion of y in x 7.155 * [backup-simplify]: Simplify y into y 7.155 * [backup-simplify]: Simplify (log y) into (log y) 7.155 * [taylor]: Taking taylor expansion of x in x 7.155 * [backup-simplify]: Simplify 0 into 0 7.155 * [backup-simplify]: Simplify 1 into 1 7.155 * [taylor]: Taking taylor expansion of (fma y (log y) x) in y 7.155 * [taylor]: Rewrote expression to (+ (* y (log y)) x) 7.155 * [taylor]: Taking taylor expansion of (* y (log y)) in y 7.155 * [taylor]: Taking taylor expansion of y in y 7.155 * [backup-simplify]: Simplify 0 into 0 7.155 * [backup-simplify]: Simplify 1 into 1 7.155 * [taylor]: Taking taylor expansion of (log y) in y 7.155 * [taylor]: Taking taylor expansion of y in y 7.155 * [backup-simplify]: Simplify 0 into 0 7.155 * [backup-simplify]: Simplify 1 into 1 7.156 * [backup-simplify]: Simplify (log 1) into 0 7.156 * [taylor]: Taking taylor expansion of x in y 7.156 * [backup-simplify]: Simplify x into x 7.156 * [taylor]: Taking taylor expansion of (fma y (log y) x) in y 7.156 * [taylor]: Rewrote expression to (+ (* y (log y)) x) 7.156 * [taylor]: Taking taylor expansion of (* y (log y)) in y 7.156 * [taylor]: Taking taylor expansion of y in y 7.156 * [backup-simplify]: Simplify 0 into 0 7.156 * [backup-simplify]: Simplify 1 into 1 7.156 * [taylor]: Taking taylor expansion of (log y) in y 7.156 * [taylor]: Taking taylor expansion of y in y 7.156 * [backup-simplify]: Simplify 0 into 0 7.156 * [backup-simplify]: Simplify 1 into 1 7.156 * [backup-simplify]: Simplify (log 1) into 0 7.156 * [taylor]: Taking taylor expansion of x in y 7.156 * [backup-simplify]: Simplify x into x 7.157 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y) 7.157 * [backup-simplify]: Simplify (* 0 (log y)) into 0 7.157 * [backup-simplify]: Simplify (+ 0 x) into x 7.157 * [taylor]: Taking taylor expansion of x in x 7.157 * [backup-simplify]: Simplify 0 into 0 7.157 * [backup-simplify]: Simplify 1 into 1 7.157 * [backup-simplify]: Simplify 0 into 0 7.158 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 7.158 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y) 7.158 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log y))) into (log y) 7.158 * [backup-simplify]: Simplify (+ (log y) 0) into (log y) 7.158 * [taylor]: Taking taylor expansion of (log y) in x 7.158 * [taylor]: Taking taylor expansion of y in x 7.158 * [backup-simplify]: Simplify y into y 7.158 * [backup-simplify]: Simplify (log y) into (log y) 7.158 * [backup-simplify]: Simplify (log y) into (log y) 7.158 * [backup-simplify]: Simplify 1 into 1 7.160 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 7.160 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y) 7.161 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (log y)))) into 0 7.161 * [backup-simplify]: Simplify (+ 0 0) into 0 7.161 * [taylor]: Taking taylor expansion of 0 in x 7.161 * [backup-simplify]: Simplify 0 into 0 7.161 * [backup-simplify]: Simplify 0 into 0 7.162 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow y 1)))) 1) into 0 7.162 * [backup-simplify]: Simplify 0 into 0 7.162 * [backup-simplify]: Simplify 0 into 0 7.166 * [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.166 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y) 7.167 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (log y))))) into 0 7.168 * [backup-simplify]: Simplify (+ 0 0) into 0 7.168 * [taylor]: Taking taylor expansion of 0 in x 7.168 * [backup-simplify]: Simplify 0 into 0 7.168 * [backup-simplify]: Simplify 0 into 0 7.168 * [backup-simplify]: Simplify 0 into 0 7.170 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow y 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow y 1)))) 2) into 0 7.170 * [backup-simplify]: Simplify 0 into 0 7.170 * [backup-simplify]: Simplify (+ (* 1 (* x 1)) (* (log y) (* 1 y))) into (+ x (* y (log y))) 7.171 * [backup-simplify]: Simplify (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) into (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) 7.171 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in (y x) around 0 7.171 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in x 7.171 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (log (/ 1 y))) (/ 1 x)) 7.171 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in x 7.171 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.171 * [taylor]: Taking taylor expansion of y in x 7.171 * [backup-simplify]: Simplify y into y 7.171 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.171 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 7.171 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.171 * [taylor]: Taking taylor expansion of y in x 7.171 * [backup-simplify]: Simplify y into y 7.171 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.171 * [backup-simplify]: Simplify (log (/ 1 y)) into (log (/ 1 y)) 7.171 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.171 * [taylor]: Taking taylor expansion of x in x 7.171 * [backup-simplify]: Simplify 0 into 0 7.172 * [backup-simplify]: Simplify 1 into 1 7.172 * [backup-simplify]: Simplify (/ 1 1) into 1 7.172 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in y 7.172 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (log (/ 1 y))) (/ 1 x)) 7.172 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in y 7.172 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.172 * [taylor]: Taking taylor expansion of y in y 7.172 * [backup-simplify]: Simplify 0 into 0 7.172 * [backup-simplify]: Simplify 1 into 1 7.173 * [backup-simplify]: Simplify (/ 1 1) into 1 7.173 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.173 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.173 * [taylor]: Taking taylor expansion of y in y 7.173 * [backup-simplify]: Simplify 0 into 0 7.173 * [backup-simplify]: Simplify 1 into 1 7.173 * [backup-simplify]: Simplify (/ 1 1) into 1 7.174 * [backup-simplify]: Simplify (log 1) into 0 7.174 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.174 * [taylor]: Taking taylor expansion of x in y 7.174 * [backup-simplify]: Simplify x into x 7.174 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.174 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (log (/ 1 y)) (/ 1 x)) in y 7.174 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (log (/ 1 y))) (/ 1 x)) 7.174 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (/ 1 y))) in y 7.174 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.174 * [taylor]: Taking taylor expansion of y in y 7.174 * [backup-simplify]: Simplify 0 into 0 7.174 * [backup-simplify]: Simplify 1 into 1 7.175 * [backup-simplify]: Simplify (/ 1 1) into 1 7.175 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.175 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.175 * [taylor]: Taking taylor expansion of y in y 7.175 * [backup-simplify]: Simplify 0 into 0 7.175 * [backup-simplify]: Simplify 1 into 1 7.175 * [backup-simplify]: Simplify (/ 1 1) into 1 7.175 * [backup-simplify]: Simplify (log 1) into 0 7.175 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.176 * [taylor]: Taking taylor expansion of x in y 7.176 * [backup-simplify]: Simplify x into x 7.176 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.176 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y)) 7.176 * [backup-simplify]: Simplify (* 1 (- (log y))) into (* -1 (log y)) 7.176 * [backup-simplify]: Simplify (+ (* -1 (log y)) 0) into (- (log y)) 7.176 * [taylor]: Taking taylor expansion of (- (log y)) in x 7.177 * [taylor]: Taking taylor expansion of (log y) in x 7.177 * [taylor]: Taking taylor expansion of y in x 7.177 * [backup-simplify]: Simplify y into y 7.177 * [backup-simplify]: Simplify (log y) into (log y) 7.177 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.179 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 7.180 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.180 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y)) 7.180 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- (log y)))) into 0 7.180 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x) 7.180 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.180 * [taylor]: Taking taylor expansion of x in x 7.180 * [backup-simplify]: Simplify 0 into 0 7.180 * [backup-simplify]: Simplify 1 into 1 7.181 * [backup-simplify]: Simplify (/ 1 1) into 1 7.181 * [backup-simplify]: Simplify 1 into 1 7.181 * [backup-simplify]: Simplify (- (log y)) into (- (log y)) 7.181 * [backup-simplify]: Simplify (- (log y)) into (- (log y)) 7.181 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.183 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 7.183 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.184 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y)) 7.184 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (- (log y))))) into 0 7.184 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 7.184 * [backup-simplify]: Simplify (+ 0 0) into 0 7.185 * [taylor]: Taking taylor expansion of 0 in x 7.185 * [backup-simplify]: Simplify 0 into 0 7.185 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.185 * [backup-simplify]: Simplify 0 into 0 7.186 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow y 1)))) 1) into 0 7.186 * [backup-simplify]: Simplify (- 0) into 0 7.186 * [backup-simplify]: Simplify 0 into 0 7.186 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.189 * [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.190 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.190 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y)) 7.191 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y)))))) into 0 7.191 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 7.191 * [backup-simplify]: Simplify (+ 0 0) into 0 7.191 * [taylor]: Taking taylor expansion of 0 in x 7.191 * [backup-simplify]: Simplify 0 into 0 7.191 * [backup-simplify]: Simplify 0 into 0 7.192 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.192 * [backup-simplify]: Simplify 0 into 0 7.193 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow y 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow y 1)))) 2) into 0 7.193 * [backup-simplify]: Simplify (- 0) into 0 7.193 * [backup-simplify]: Simplify 0 into 0 7.194 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.200 * [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.201 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.201 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y)) 7.202 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y))))))) into 0 7.202 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 7.202 * [backup-simplify]: Simplify (+ 0 0) into 0 7.202 * [taylor]: Taking taylor expansion of 0 in x 7.202 * [backup-simplify]: Simplify 0 into 0 7.203 * [backup-simplify]: Simplify 0 into 0 7.203 * [backup-simplify]: Simplify (+ (* (- (log (/ 1 y))) (* 1 (/ 1 (/ 1 y)))) (* 1 (* (/ 1 (/ 1 x)) 1))) into (- x (* y (log (/ 1 y)))) 7.203 * [backup-simplify]: Simplify (fma (/ 1 (- y)) (log (/ 1 (- y))) (/ 1 (- x))) into (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) 7.203 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in (y x) around 0 7.203 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in x 7.203 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (log (/ -1 y))) (/ -1 x)) 7.203 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in x 7.203 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.203 * [taylor]: Taking taylor expansion of -1 in x 7.203 * [backup-simplify]: Simplify -1 into -1 7.203 * [taylor]: Taking taylor expansion of y in x 7.203 * [backup-simplify]: Simplify y into y 7.203 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 7.203 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 7.203 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.203 * [taylor]: Taking taylor expansion of -1 in x 7.203 * [backup-simplify]: Simplify -1 into -1 7.203 * [taylor]: Taking taylor expansion of y in x 7.203 * [backup-simplify]: Simplify y into y 7.203 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 7.203 * [backup-simplify]: Simplify (log (/ -1 y)) into (log (/ -1 y)) 7.203 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.203 * [taylor]: Taking taylor expansion of -1 in x 7.203 * [backup-simplify]: Simplify -1 into -1 7.203 * [taylor]: Taking taylor expansion of x in x 7.203 * [backup-simplify]: Simplify 0 into 0 7.203 * [backup-simplify]: Simplify 1 into 1 7.204 * [backup-simplify]: Simplify (/ -1 1) into -1 7.204 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in y 7.204 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (log (/ -1 y))) (/ -1 x)) 7.204 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in y 7.204 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.204 * [taylor]: Taking taylor expansion of -1 in y 7.204 * [backup-simplify]: Simplify -1 into -1 7.204 * [taylor]: Taking taylor expansion of y in y 7.204 * [backup-simplify]: Simplify 0 into 0 7.204 * [backup-simplify]: Simplify 1 into 1 7.204 * [backup-simplify]: Simplify (/ -1 1) into -1 7.204 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 7.204 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.204 * [taylor]: Taking taylor expansion of -1 in y 7.204 * [backup-simplify]: Simplify -1 into -1 7.204 * [taylor]: Taking taylor expansion of y in y 7.204 * [backup-simplify]: Simplify 0 into 0 7.204 * [backup-simplify]: Simplify 1 into 1 7.205 * [backup-simplify]: Simplify (/ -1 1) into -1 7.205 * [backup-simplify]: Simplify (log -1) into (log -1) 7.205 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.205 * [taylor]: Taking taylor expansion of -1 in y 7.205 * [backup-simplify]: Simplify -1 into -1 7.205 * [taylor]: Taking taylor expansion of x in y 7.205 * [backup-simplify]: Simplify x into x 7.205 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 7.205 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (log (/ -1 y)) (/ -1 x)) in y 7.205 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (log (/ -1 y))) (/ -1 x)) 7.205 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (/ -1 y))) in y 7.205 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.205 * [taylor]: Taking taylor expansion of -1 in y 7.205 * [backup-simplify]: Simplify -1 into -1 7.205 * [taylor]: Taking taylor expansion of y in y 7.205 * [backup-simplify]: Simplify 0 into 0 7.205 * [backup-simplify]: Simplify 1 into 1 7.206 * [backup-simplify]: Simplify (/ -1 1) into -1 7.206 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 7.206 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.206 * [taylor]: Taking taylor expansion of -1 in y 7.206 * [backup-simplify]: Simplify -1 into -1 7.206 * [taylor]: Taking taylor expansion of y in y 7.206 * [backup-simplify]: Simplify 0 into 0 7.206 * [backup-simplify]: Simplify 1 into 1 7.206 * [backup-simplify]: Simplify (/ -1 1) into -1 7.206 * [backup-simplify]: Simplify (log -1) into (log -1) 7.206 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.206 * [taylor]: Taking taylor expansion of -1 in y 7.206 * [backup-simplify]: Simplify -1 into -1 7.206 * [taylor]: Taking taylor expansion of x in y 7.206 * [backup-simplify]: Simplify x into x 7.206 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 7.207 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) (log -1)) into (- (log -1) (log y)) 7.207 * [backup-simplify]: Simplify (* -1 (- (log -1) (log y))) into (* -1 (- (log -1) (log y))) 7.208 * [backup-simplify]: Simplify (+ (* -1 (- (log -1) (log y))) 0) into (- (log y) (log -1)) 7.208 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in x 7.208 * [taylor]: Taking taylor expansion of (log y) in x 7.208 * [taylor]: Taking taylor expansion of y in x 7.208 * [backup-simplify]: Simplify y into y 7.208 * [backup-simplify]: Simplify (log y) into (log y) 7.208 * [taylor]: Taking taylor expansion of (log -1) in x 7.208 * [taylor]: Taking taylor expansion of -1 in x 7.208 * [backup-simplify]: Simplify -1 into -1 7.208 * [backup-simplify]: Simplify (log -1) into (log -1) 7.213 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 7.214 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 7.215 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 7.216 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) (log -1)) into (- (log -1) (log y)) 7.216 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (log -1) (log y)))) into 0 7.216 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x)) 7.216 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.216 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.216 * [taylor]: Taking taylor expansion of x in x 7.216 * [backup-simplify]: Simplify 0 into 0 7.216 * [backup-simplify]: Simplify 1 into 1 7.217 * [backup-simplify]: Simplify (/ 1 1) into 1 7.217 * [backup-simplify]: Simplify (- 1) into -1 7.217 * [backup-simplify]: Simplify -1 into -1 7.217 * [backup-simplify]: Simplify (- (log -1)) into (- (log -1)) 7.218 * [backup-simplify]: Simplify (+ (log y) (- (log -1))) into (- (log y) (log -1)) 7.218 * [backup-simplify]: Simplify (- (log y) (log -1)) into (- (log y) (log -1)) 7.219 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.220 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 7.221 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.221 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) (log -1)) into (- (log -1) (log y)) 7.222 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (log -1) (log y))))) into 0 7.222 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 7.222 * [backup-simplify]: Simplify (+ 0 0) into 0 7.223 * [taylor]: Taking taylor expansion of 0 in x 7.223 * [backup-simplify]: Simplify 0 into 0 7.223 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.223 * [backup-simplify]: Simplify (- 0) into 0 7.223 * [backup-simplify]: Simplify 0 into 0 7.224 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow y 1)))) 1) into 0 7.225 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 7.226 * [backup-simplify]: Simplify (- 0) into 0 7.226 * [backup-simplify]: Simplify (+ 0 0) into 0 7.226 * [backup-simplify]: Simplify 0 into 0 7.227 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.232 * [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.234 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.234 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) (log -1)) into (- (log -1) (log y)) 7.236 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log y)))))) into 0 7.236 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 7.236 * [backup-simplify]: Simplify (+ 0 0) into 0 7.237 * [taylor]: Taking taylor expansion of 0 in x 7.237 * [backup-simplify]: Simplify 0 into 0 7.237 * [backup-simplify]: Simplify 0 into 0 7.238 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.238 * [backup-simplify]: Simplify (- 0) into 0 7.238 * [backup-simplify]: Simplify 0 into 0 7.240 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow y 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow y 1)))) 2) into 0 7.243 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 7.243 * [backup-simplify]: Simplify (- 0) into 0 7.244 * [backup-simplify]: Simplify (+ 0 0) into 0 7.244 * [backup-simplify]: Simplify 0 into 0 7.245 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) 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 (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.260 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) (log -1)) into (- (log -1) (log y)) 7.262 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log y))))))) into 0 7.262 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 7.263 * [backup-simplify]: Simplify (+ 0 0) into 0 7.263 * [taylor]: Taking taylor expansion of 0 in x 7.264 * [backup-simplify]: Simplify 0 into 0 7.264 * [backup-simplify]: Simplify 0 into 0 7.265 * [backup-simplify]: Simplify (+ (* (- (log (/ 1 (- y))) (log -1)) (* 1 (/ 1 (/ 1 (- y))))) (* -1 (* (/ 1 (/ 1 (- x))) 1))) into (- (+ (* (log -1) y) x) (* y (log (/ -1 y)))) 7.265 * * * [progress]: simplifying candidates 7.266 * [simplify]: Simplifying: (expm1 (fma y (log y) x)) (log1p (fma y (log y) x)) (* y (log y)) (log (fma y (log y) x)) (exp (fma y (log y) x)) (* (cbrt (fma y (log y) x)) (cbrt (fma y (log y) x))) (cbrt (fma y (log y) x)) (* (* (fma y (log y) x) (fma y (log y) x)) (fma y (log y) x)) (sqrt (fma y (log y) x)) (sqrt (fma y (log y) x)) (+ x (* y (log y))) (- x (* y (log (/ 1 y)))) (- (+ (* (log -1) y) x) (* y (log (/ -1 y)))) 7.266 * * [simplify]: Extracting # 0 : cost 0 7.266 * * [simplify]: Extracting # 1 : cost 0 7.267 * * [simplify]: Extracting # 2 : cost 0 7.267 * * [simplify]: Extracting # 3 : cost 0 7.267 * * [simplify]: Extracting # 4 : cost 0 7.267 * * [simplify]: Extracting # 5 : cost 0 7.267 * * [simplify]: Extracting # 6 : cost 0 7.267 * * [simplify]: Extracting # 7 : cost 0 7.267 * * [simplify]: Extracting # 8 : cost 0 7.267 * * [simplify]: iteration 0 : 28 enodes (cost 103 ) 7.277 * * [simplify]: Extracting # 0 : cost 0 7.277 * * [simplify]: Extracting # 1 : cost 0 7.277 * * [simplify]: Extracting # 2 : cost 0 7.277 * * [simplify]: Extracting # 3 : cost 0 7.278 * * [simplify]: iteration 1 : 48 enodes (cost 100 ) 7.292 * * [simplify]: Extracting # 0 : cost 0 7.292 * * [simplify]: Extracting # 1 : cost 0 7.292 * * [simplify]: Extracting # 2 : cost 0 7.292 * * [simplify]: iteration 2 : 97 enodes (cost 90 ) 7.317 * * [simplify]: Extracting # 0 : cost 0 7.317 * * [simplify]: Extracting # 1 : cost 0 7.318 * * [simplify]: Extracting # 2 : cost 0 7.318 * * [simplify]: Extracting # 3 : cost 0 7.318 * * [simplify]: Extracting # 4 : cost 0 7.318 * * [simplify]: iteration 3 : 240 enodes (cost 87 ) 7.457 * * [simplify]: Extracting # 0 : cost 0 7.458 * * [simplify]: Extracting # 1 : cost 0 7.459 * * [simplify]: Extracting # 2 : cost 0 7.459 * * [simplify]: Extracting # 3 : cost 0 7.460 * * [simplify]: Extracting # 4 : cost 0 7.461 * * [simplify]: iteration 4 : 746 enodes (cost 86 ) 9.593 * * [simplify]: Extracting # 0 : cost 0 9.597 * * [simplify]: Extracting # 1 : cost 0 9.600 * * [simplify]: Extracting # 2 : cost 0 9.602 * * [simplify]: Extracting # 3 : cost 0 9.605 * * [simplify]: Extracting # 4 : cost 0 9.609 * * [simplify]: iteration 5 : 3525 enodes (cost 81 ) 11.606 * * [simplify]: Extracting # 0 : cost 0 11.615 * * [simplify]: Extracting # 1 : cost 0 11.622 * * [simplify]: iteration done: 5000 enodes (cost 81 ) 11.623 * [simplify]: Simplified to: (expm1 (fma y (log y) x)) (log1p (fma y (log y) x)) (* y (log y)) (log (fma y (log y) x)) (exp (fma y (log y) x)) (* (cbrt (fma y (log y) x)) (cbrt (fma y (log y) x))) (cbrt (fma y (log y) x)) (pow (fma y (log y) x) 3) (sqrt (fma y (log y) x)) (sqrt (fma y (log y) x)) (fma (log y) y x) (fma (log y) y x) (fma (log y) y x) 11.623 * * * [progress]: adding candidates to table 11.674 * [progress]: [Phase 3 of 3] Extracting. 11.676 * [simplify]: Simplifying: (exp (- (fma y (log y) x) z)) 11.676 * * [simplify]: Extracting # 0 : cost 0 11.676 * * [simplify]: Extracting # 1 : cost 0 11.676 * * [simplify]: Extracting # 2 : cost 0 11.676 * * [simplify]: Extracting # 3 : cost 0 11.676 * * [simplify]: Extracting # 4 : cost 0 11.676 * * [simplify]: Extracting # 5 : cost 0 11.676 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 11.676 * * [simplify]: Extracting # 0 : cost 0 11.676 * * [simplify]: iteration done: 7 enodes (cost 8 ) 11.676 * [simplify]: Simplified to: (exp (- (fma y (log y) x) z)) 16.121 * [regime-testing]: Baseline error score: 0.008521954061565166 16.125 * [regime-testing]: Oracle error score: 0.008521954061565166 16.125 * [regime-testing]: End program error score: 0.008521954061565166 16.200 * [regime-testing]: Target error score: 0.008521954061565166