0.731 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.209 * * * [progress]: [2/2] Setting up program. 0.291 * [progress]: [Phase 2 of 3] Improving. 0.360 * [simplify]: Simplifying: (+ (* re im) (* im re)) 0.361 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.362 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.362 * * [simplify]: Extracting # 2 : cost 5 inf + 0 0.363 * * [simplify]: Extracting # 3 : cost 3 inf + 2 0.363 * * [simplify]: Extracting # 4 : cost 0 inf + 208 0.363 * * [simplify]: iteration 0 : 5 enodes (cost 122 ) 0.373 * * [simplify]: Extracting # 0 : cost 0 inf + 208 0.373 * * [simplify]: Extracting # 1 : cost 0 inf + 126 0.373 * * [simplify]: iteration 1 : 7 enodes (cost 82 ) 0.377 * * [simplify]: Extracting # 0 : cost 0 inf + 126 0.377 * * [simplify]: Extracting # 1 : cost 2 inf + 126 0.377 * * [simplify]: Extracting # 2 : cost 0 inf + 208 0.378 * * [simplify]: iteration 2 : 17 enodes (cost 82 ) 0.382 * * [simplify]: Extracting # 0 : cost 0 inf + 208 0.383 * * [simplify]: Extracting # 1 : cost 1 inf + 208 0.383 * * [simplify]: Extracting # 2 : cost 0 inf + 209 0.383 * * [simplify]: iteration 3 : 23 enodes (cost 82 ) 0.388 * * [simplify]: Extracting # 0 : cost 0 inf + 209 0.389 * * [simplify]: iteration 4 : 28 enodes (cost 82 ) 0.395 * * [simplify]: Extracting # 0 : cost 0 inf + 209 0.395 * * [simplify]: iteration done: 28 enodes (cost 82 ) 0.395 * [simplify]: Simplified to: (+ (* im re) (* im re)) 0.451 * * [progress]: iteration 1 / 4 0.451 * * * [progress]: picking best candidate 0.462 * * * * [pick]: Picked # 0.462 * * * [progress]: localizing error 1.155 * * * [progress]: generating rewritten candidates 1.155 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.176 * * * [progress]: generating series expansions 1.176 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.183 * [backup-simplify]: Simplify (+ (* im re) (* im re)) into (* 2 (* re im)) 1.183 * [approximate]: Taking taylor expansion of (* 2 (* re im)) in (im re) around 0 1.185 * [taylor]: Taking taylor expansion of (* 2 (* re im)) in re 1.185 * [taylor]: Taking taylor expansion of 2 in re 1.185 * [backup-simplify]: Simplify 2 into 2 1.185 * [taylor]: Taking taylor expansion of (* re im) in re 1.185 * [taylor]: Taking taylor expansion of re in re 1.185 * [backup-simplify]: Simplify 0 into 0 1.185 * [backup-simplify]: Simplify 1 into 1 1.185 * [taylor]: Taking taylor expansion of im in re 1.185 * [backup-simplify]: Simplify im into im 1.185 * [taylor]: Taking taylor expansion of (* 2 (* re im)) in im 1.185 * [taylor]: Taking taylor expansion of 2 in im 1.185 * [backup-simplify]: Simplify 2 into 2 1.185 * [taylor]: Taking taylor expansion of (* re im) in im 1.185 * [taylor]: Taking taylor expansion of re in im 1.185 * [backup-simplify]: Simplify re into re 1.185 * [taylor]: Taking taylor expansion of im in im 1.185 * [backup-simplify]: Simplify 0 into 0 1.185 * [backup-simplify]: Simplify 1 into 1 1.185 * [taylor]: Taking taylor expansion of (* 2 (* re im)) in im 1.185 * [taylor]: Taking taylor expansion of 2 in im 1.185 * [backup-simplify]: Simplify 2 into 2 1.185 * [taylor]: Taking taylor expansion of (* re im) in im 1.185 * [taylor]: Taking taylor expansion of re in im 1.185 * [backup-simplify]: Simplify re into re 1.185 * [taylor]: Taking taylor expansion of im in im 1.185 * [backup-simplify]: Simplify 0 into 0 1.185 * [backup-simplify]: Simplify 1 into 1 1.186 * [backup-simplify]: Simplify (* re 0) into 0 1.187 * [backup-simplify]: Simplify (* 2 0) into 0 1.187 * [taylor]: Taking taylor expansion of 0 in re 1.187 * [backup-simplify]: Simplify 0 into 0 1.187 * [backup-simplify]: Simplify 0 into 0 1.188 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re 1.188 * [backup-simplify]: Simplify (+ (* 2 re) (* 0 0)) into (* 2 re) 1.188 * [taylor]: Taking taylor expansion of (* 2 re) in re 1.188 * [taylor]: Taking taylor expansion of 2 in re 1.188 * [backup-simplify]: Simplify 2 into 2 1.188 * [taylor]: Taking taylor expansion of re in re 1.188 * [backup-simplify]: Simplify 0 into 0 1.188 * [backup-simplify]: Simplify 1 into 1 1.189 * [backup-simplify]: Simplify (* 2 0) into 0 1.189 * [backup-simplify]: Simplify 0 into 0 1.189 * [backup-simplify]: Simplify 0 into 0 1.190 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 1) (* 0 0))) into 0 1.192 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 re) (* 0 0))) into 0 1.192 * [taylor]: Taking taylor expansion of 0 in re 1.192 * [backup-simplify]: Simplify 0 into 0 1.192 * [backup-simplify]: Simplify 0 into 0 1.193 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 1.193 * [backup-simplify]: Simplify 2 into 2 1.193 * [backup-simplify]: Simplify 0 into 0 1.195 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.196 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 re) (* 0 0)))) into 0 1.196 * [taylor]: Taking taylor expansion of 0 in re 1.196 * [backup-simplify]: Simplify 0 into 0 1.196 * [backup-simplify]: Simplify 0 into 0 1.196 * [backup-simplify]: Simplify 0 into 0 1.197 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 1.197 * [backup-simplify]: Simplify 0 into 0 1.197 * [backup-simplify]: Simplify 0 into 0 1.199 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1.200 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 re) (* 0 0))))) into 0 1.200 * [taylor]: Taking taylor expansion of 0 in re 1.200 * [backup-simplify]: Simplify 0 into 0 1.200 * [backup-simplify]: Simplify 0 into 0 1.201 * [backup-simplify]: Simplify (* 2 (* re im)) into (* 2 (* re im)) 1.201 * [backup-simplify]: Simplify (+ (* (/ 1 im) (/ 1 re)) (* (/ 1 im) (/ 1 re))) into (* 2 (/ 1 (* re im))) 1.201 * [approximate]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in (im re) around 0 1.201 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in re 1.201 * [taylor]: Taking taylor expansion of 2 in re 1.201 * [backup-simplify]: Simplify 2 into 2 1.201 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 1.201 * [taylor]: Taking taylor expansion of (* re im) in re 1.201 * [taylor]: Taking taylor expansion of re in re 1.201 * [backup-simplify]: Simplify 0 into 0 1.201 * [backup-simplify]: Simplify 1 into 1 1.201 * [taylor]: Taking taylor expansion of im in re 1.201 * [backup-simplify]: Simplify im into im 1.202 * [backup-simplify]: Simplify (* 0 im) into 0 1.202 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 im)) into im 1.202 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1.202 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in im 1.202 * [taylor]: Taking taylor expansion of 2 in im 1.202 * [backup-simplify]: Simplify 2 into 2 1.202 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 1.202 * [taylor]: Taking taylor expansion of (* re im) in im 1.202 * [taylor]: Taking taylor expansion of re in im 1.202 * [backup-simplify]: Simplify re into re 1.202 * [taylor]: Taking taylor expansion of im in im 1.202 * [backup-simplify]: Simplify 0 into 0 1.202 * [backup-simplify]: Simplify 1 into 1 1.203 * [backup-simplify]: Simplify (* re 0) into 0 1.203 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re 1.203 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1.203 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in im 1.203 * [taylor]: Taking taylor expansion of 2 in im 1.203 * [backup-simplify]: Simplify 2 into 2 1.203 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 1.203 * [taylor]: Taking taylor expansion of (* re im) in im 1.203 * [taylor]: Taking taylor expansion of re in im 1.203 * [backup-simplify]: Simplify re into re 1.203 * [taylor]: Taking taylor expansion of im in im 1.203 * [backup-simplify]: Simplify 0 into 0 1.203 * [backup-simplify]: Simplify 1 into 1 1.203 * [backup-simplify]: Simplify (* re 0) into 0 1.204 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re 1.204 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1.204 * [backup-simplify]: Simplify (* 2 (/ 1 re)) into (/ 2 re) 1.204 * [taylor]: Taking taylor expansion of (/ 2 re) in re 1.204 * [taylor]: Taking taylor expansion of 2 in re 1.204 * [backup-simplify]: Simplify 2 into 2 1.204 * [taylor]: Taking taylor expansion of re in re 1.204 * [backup-simplify]: Simplify 0 into 0 1.204 * [backup-simplify]: Simplify 1 into 1 1.206 * [backup-simplify]: Simplify (/ 2 1) into 2 1.207 * [backup-simplify]: Simplify 2 into 2 1.208 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 1) (* 0 0))) into 0 1.208 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1.208 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 re))) into 0 1.208 * [taylor]: Taking taylor expansion of 0 in re 1.208 * [backup-simplify]: Simplify 0 into 0 1.210 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)))) into 0 1.210 * [backup-simplify]: Simplify 0 into 0 1.211 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.211 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1.212 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 re)))) into 0 1.212 * [taylor]: Taking taylor expansion of 0 in re 1.212 * [backup-simplify]: Simplify 0 into 0 1.212 * [backup-simplify]: Simplify 0 into 0 1.213 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.213 * [backup-simplify]: Simplify 0 into 0 1.215 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1.215 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1.217 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 re))))) into 0 1.217 * [taylor]: Taking taylor expansion of 0 in re 1.217 * [backup-simplify]: Simplify 0 into 0 1.217 * [backup-simplify]: Simplify 0 into 0 1.217 * [backup-simplify]: Simplify 0 into 0 1.218 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.218 * [backup-simplify]: Simplify 0 into 0 1.218 * [backup-simplify]: Simplify (* 2 (* (/ 1 (/ 1 re)) (/ 1 (/ 1 im)))) into (* 2 (* re im)) 1.219 * [backup-simplify]: Simplify (+ (* (/ 1 (- im)) (/ 1 (- re))) (* (/ 1 (- im)) (/ 1 (- re)))) into (* 2 (/ 1 (* re im))) 1.219 * [approximate]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in (im re) around 0 1.219 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in re 1.219 * [taylor]: Taking taylor expansion of 2 in re 1.219 * [backup-simplify]: Simplify 2 into 2 1.219 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 1.219 * [taylor]: Taking taylor expansion of (* re im) in re 1.219 * [taylor]: Taking taylor expansion of re in re 1.219 * [backup-simplify]: Simplify 0 into 0 1.219 * [backup-simplify]: Simplify 1 into 1 1.219 * [taylor]: Taking taylor expansion of im in re 1.219 * [backup-simplify]: Simplify im into im 1.219 * [backup-simplify]: Simplify (* 0 im) into 0 1.220 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 im)) into im 1.220 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 1.220 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in im 1.220 * [taylor]: Taking taylor expansion of 2 in im 1.220 * [backup-simplify]: Simplify 2 into 2 1.220 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 1.220 * [taylor]: Taking taylor expansion of (* re im) in im 1.220 * [taylor]: Taking taylor expansion of re in im 1.220 * [backup-simplify]: Simplify re into re 1.220 * [taylor]: Taking taylor expansion of im in im 1.220 * [backup-simplify]: Simplify 0 into 0 1.220 * [backup-simplify]: Simplify 1 into 1 1.220 * [backup-simplify]: Simplify (* re 0) into 0 1.220 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re 1.220 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1.221 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in im 1.221 * [taylor]: Taking taylor expansion of 2 in im 1.221 * [backup-simplify]: Simplify 2 into 2 1.221 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 1.221 * [taylor]: Taking taylor expansion of (* re im) in im 1.221 * [taylor]: Taking taylor expansion of re in im 1.221 * [backup-simplify]: Simplify re into re 1.221 * [taylor]: Taking taylor expansion of im in im 1.221 * [backup-simplify]: Simplify 0 into 0 1.221 * [backup-simplify]: Simplify 1 into 1 1.221 * [backup-simplify]: Simplify (* re 0) into 0 1.221 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re 1.221 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 1.222 * [backup-simplify]: Simplify (* 2 (/ 1 re)) into (/ 2 re) 1.222 * [taylor]: Taking taylor expansion of (/ 2 re) in re 1.222 * [taylor]: Taking taylor expansion of 2 in re 1.222 * [backup-simplify]: Simplify 2 into 2 1.222 * [taylor]: Taking taylor expansion of re in re 1.222 * [backup-simplify]: Simplify 0 into 0 1.222 * [backup-simplify]: Simplify 1 into 1 1.222 * [backup-simplify]: Simplify (/ 2 1) into 2 1.222 * [backup-simplify]: Simplify 2 into 2 1.223 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 1) (* 0 0))) into 0 1.223 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1.224 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 re))) into 0 1.224 * [taylor]: Taking taylor expansion of 0 in re 1.224 * [backup-simplify]: Simplify 0 into 0 1.225 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)))) into 0 1.225 * [backup-simplify]: Simplify 0 into 0 1.226 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.226 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1.227 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 re)))) into 0 1.227 * [taylor]: Taking taylor expansion of 0 in re 1.227 * [backup-simplify]: Simplify 0 into 0 1.227 * [backup-simplify]: Simplify 0 into 0 1.228 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.228 * [backup-simplify]: Simplify 0 into 0 1.228 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1.229 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1.230 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 re))))) into 0 1.230 * [taylor]: Taking taylor expansion of 0 in re 1.230 * [backup-simplify]: Simplify 0 into 0 1.230 * [backup-simplify]: Simplify 0 into 0 1.230 * [backup-simplify]: Simplify 0 into 0 1.230 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.230 * [backup-simplify]: Simplify 0 into 0 1.231 * [backup-simplify]: Simplify (* 2 (* (/ 1 (/ 1 (- re))) (/ 1 (/ 1 (- im))))) into (* 2 (* re im)) 1.231 * * * [progress]: simplifying candidates 1.231 * [simplify]: Simplifying: (expm1 (+ (* im re) (* im re))) (log1p (+ (* im re) (* im re))) (* (exp (* im re)) (exp (* im re))) (log (+ (* im re) (* im re))) (exp (+ (* im re) (* im re))) (* (cbrt (+ (* im re) (* im re))) (cbrt (+ (* im re) (* im re)))) (cbrt (+ (* im re) (* im re))) (* (* (+ (* im re) (* im re)) (+ (* im re) (* im re))) (+ (* im re) (* im re))) (sqrt (+ (* im re) (* im re))) (sqrt (+ (* im re) (* im re))) (+ (pow (* im re) 3) (pow (* im re) 3)) (+ (* (* im re) (* im re)) (- (* (* im re) (* im re)) (* (* im re) (* im re)))) (- (* (* im re) (* im re)) (* (* im re) (* im re))) (- (* im re) (* im re)) (+ re re) (+ im im) (* 2 (* re im)) (* 2 (* re im)) (* 2 (* re im)) 1.231 * * [simplify]: Extracting # 0 : cost 16 inf + 0 1.232 * * [simplify]: Extracting # 1 : cost 26 inf + 0 1.232 * * [simplify]: Extracting # 2 : cost 24 inf + 3 1.232 * * [simplify]: Extracting # 3 : cost 7 inf + 1845 1.232 * * [simplify]: Extracting # 4 : cost 0 inf + 2991 1.232 * * [simplify]: iteration 0 : 27 enodes (cost 2540 ) 1.238 * * [simplify]: Extracting # 0 : cost 0 inf + 2991 1.239 * * [simplify]: Extracting # 1 : cost 13 inf + 2356 1.239 * * [simplify]: Extracting # 2 : cost 2 inf + 3856 1.240 * * [simplify]: Extracting # 3 : cost 0 inf + 4110 1.241 * * [simplify]: iteration 1 : 80 enodes (cost 2180 ) 1.266 * * [simplify]: Extracting # 0 : cost 0 inf + 4110 1.268 * * [simplify]: Extracting # 1 : cost 69 inf + 3224 1.271 * * [simplify]: Extracting # 2 : cost 4 inf + 12251 1.274 * * [simplify]: Extracting # 3 : cost 0 inf + 12870 1.277 * * [simplify]: iteration 2 : 332 enodes (cost 2164 ) 1.638 * * [simplify]: Extracting # 0 : cost 0 inf + 12870 1.650 * * [simplify]: Extracting # 1 : cost 345 inf + 7958 1.664 * * [simplify]: Extracting # 2 : cost 15 inf + 62766 1.680 * * [simplify]: Extracting # 3 : cost 0 inf + 65814 1.705 * * [simplify]: iteration 3 : 1909 enodes (cost 2164 ) 5.082 * * [simplify]: Extracting # 0 : cost 0 inf + 65814 5.263 * * [simplify]: Extracting # 1 : cost 217 inf + 56669 5.320 * * [simplify]: Extracting # 2 : cost 56 inf + 79298 5.395 * * [simplify]: Extracting # 3 : cost 16 inf + 86164 5.446 * * [simplify]: Extracting # 4 : cost 0 inf + 90851 5.521 * * [simplify]: iteration done: 5000 enodes (cost 2124 ) 5.521 * [simplify]: Simplified to: (expm1 (+ (* im re) (* im re))) (log1p (+ (* im re) (* im re))) (exp (+ (* im re) (* im re))) (log (+ (* im re) (* im re))) (exp (+ (* im re) (* im re))) (* (cbrt (+ (* im re) (* im re))) (cbrt (+ (* im re) (* im re)))) (cbrt (+ (* im re) (* im re))) (* (* (+ (* im re) (* im re)) (+ (* im re) (* im re))) (+ (* im re) (* im re))) (sqrt (+ (* im re) (* im re))) (sqrt (+ (* im re) (* im re))) (* (* re im) (+ (* (* re im) (* re im)) (* (* re im) (* re im)))) (* (* re im) (* re im)) 0 0 (+ re re) (+ im im) (* im (+ re re)) (* im (+ re re)) (* im (+ re re)) 5.522 * * * [progress]: adding candidates to table 5.586 * * [progress]: iteration 2 / 4 5.586 * * * [progress]: picking best candidate 5.589 * * * * [pick]: Picked # 5.589 * * * [progress]: localizing error 5.594 * * * [progress]: generating rewritten candidates 5.594 * * * [progress]: generating series expansions 5.594 * * * [progress]: simplifying candidates 5.595 * [simplify]: Simplifying: 5.595 * * [simplify]: Extracting # 0 : cost 0 inf + 0 5.595 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 5.595 * * [simplify]: Extracting # 0 : cost 0 inf + 0 5.595 * * [simplify]: iteration done: 0 enodes (cost 0 ) 5.595 * [simplify]: Simplified to: 5.595 * * * [progress]: adding candidates to table 5.595 * [progress]: [Phase 3 of 3] Extracting. 5.598 * [simplify]: Simplifying: (* re (+ im im)) 5.598 * * [simplify]: Extracting # 0 : cost 1 inf + 0 5.598 * * [simplify]: Extracting # 1 : cost 3 inf + 0 5.598 * * [simplify]: Extracting # 2 : cost 3 inf + 1 5.598 * * [simplify]: Extracting # 3 : cost 0 inf + 125 5.599 * * [simplify]: iteration 0 : 4 enodes (cost 82 ) 5.599 * * [simplify]: Extracting # 0 : cost 0 inf + 125 5.599 * * [simplify]: iteration 1 : 5 enodes (cost 82 ) 5.599 * * [simplify]: Extracting # 0 : cost 0 inf + 125 5.599 * * [simplify]: iteration done: 5 enodes (cost 82 ) 5.599 * [simplify]: Simplified to: (* re (+ im im)) 6.531 * [regime-testing]: Baseline error score: 0.024003000375046882 6.548 * [regime-testing]: Oracle error score: 0.024003000375046882 6.548 * [regime-testing]: End program error score: 0.024003000375046882