0.416 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.120 * * * [progress]: [2/2] Setting up program. 0.128 * [progress]: [Phase 2 of 3] Improving. 0.132 * [simplify]: Simplifying: (+ (* re im) (* im re)) 0.133 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.134 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.134 * * [simplify]: Extracting # 2 : cost 5 inf + 0 0.134 * * [simplify]: Extracting # 3 : cost 3 inf + 2 0.134 * * [simplify]: Extracting # 4 : cost 0 inf + 208 0.135 * * [simplify]: iteration 0 : 5 enodes (cost 122 ) 0.141 * * [simplify]: Extracting # 0 : cost 0 inf + 208 0.141 * * [simplify]: Extracting # 1 : cost 0 inf + 126 0.141 * * [simplify]: iteration 1 : 6 enodes (cost 82 ) 0.143 * * [simplify]: Extracting # 0 : cost 0 inf + 126 0.143 * * [simplify]: Extracting # 1 : cost 2 inf + 126 0.143 * * [simplify]: Extracting # 2 : cost 0 inf + 208 0.143 * * [simplify]: iteration 2 : 12 enodes (cost 82 ) 0.146 * * [simplify]: Extracting # 0 : cost 0 inf + 208 0.146 * * [simplify]: Extracting # 1 : cost 1 inf + 208 0.146 * * [simplify]: Extracting # 2 : cost 0 inf + 209 0.146 * * [simplify]: iteration 3 : 18 enodes (cost 82 ) 0.150 * * [simplify]: Extracting # 0 : cost 0 inf + 209 0.150 * * [simplify]: iteration 4 : 23 enodes (cost 82 ) 0.154 * * [simplify]: Extracting # 0 : cost 0 inf + 209 0.155 * * [simplify]: iteration done: 23 enodes (cost 82 ) 0.155 * [simplify]: Simplified to: (+ (* im re) (* im re)) 0.167 * * [progress]: iteration 1 / 4 0.167 * * * [progress]: picking best candidate 0.173 * * * * [pick]: Picked # 0.173 * * * [progress]: localizing error 0.187 * * * [progress]: generating rewritten candidates 0.188 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.609 * * * [progress]: generating series expansions 0.609 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.617 * [backup-simplify]: Simplify (+ (* im re) (* im re)) into (* 2 (* re im)) 0.617 * [approximate]: Taking taylor expansion of (* 2 (* re im)) in (im re) around 0 0.618 * [taylor]: Taking taylor expansion of (* 2 (* re im)) in re 0.618 * [taylor]: Taking taylor expansion of 2 in re 0.619 * [backup-simplify]: Simplify 2 into 2 0.619 * [taylor]: Taking taylor expansion of (* re im) in re 0.619 * [taylor]: Taking taylor expansion of re in re 0.619 * [backup-simplify]: Simplify 0 into 0 0.619 * [backup-simplify]: Simplify 1 into 1 0.619 * [taylor]: Taking taylor expansion of im in re 0.619 * [backup-simplify]: Simplify im into im 0.619 * [taylor]: Taking taylor expansion of (* 2 (* re im)) in im 0.619 * [taylor]: Taking taylor expansion of 2 in im 0.619 * [backup-simplify]: Simplify 2 into 2 0.619 * [taylor]: Taking taylor expansion of (* re im) in im 0.619 * [taylor]: Taking taylor expansion of re in im 0.619 * [backup-simplify]: Simplify re into re 0.619 * [taylor]: Taking taylor expansion of im in im 0.619 * [backup-simplify]: Simplify 0 into 0 0.619 * [backup-simplify]: Simplify 1 into 1 0.619 * [taylor]: Taking taylor expansion of (* 2 (* re im)) in im 0.619 * [taylor]: Taking taylor expansion of 2 in im 0.619 * [backup-simplify]: Simplify 2 into 2 0.619 * [taylor]: Taking taylor expansion of (* re im) in im 0.619 * [taylor]: Taking taylor expansion of re in im 0.619 * [backup-simplify]: Simplify re into re 0.619 * [taylor]: Taking taylor expansion of im in im 0.619 * [backup-simplify]: Simplify 0 into 0 0.619 * [backup-simplify]: Simplify 1 into 1 0.620 * [backup-simplify]: Simplify (* re 0) into 0 0.621 * [backup-simplify]: Simplify (* 2 0) into 0 0.621 * [taylor]: Taking taylor expansion of 0 in re 0.621 * [backup-simplify]: Simplify 0 into 0 0.621 * [backup-simplify]: Simplify 0 into 0 0.622 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re 0.623 * [backup-simplify]: Simplify (+ (* 2 re) (* 0 0)) into (* 2 re) 0.623 * [taylor]: Taking taylor expansion of (* 2 re) in re 0.623 * [taylor]: Taking taylor expansion of 2 in re 0.623 * [backup-simplify]: Simplify 2 into 2 0.623 * [taylor]: Taking taylor expansion of re in re 0.623 * [backup-simplify]: Simplify 0 into 0 0.623 * [backup-simplify]: Simplify 1 into 1 0.623 * [backup-simplify]: Simplify (* 2 0) into 0 0.623 * [backup-simplify]: Simplify 0 into 0 0.623 * [backup-simplify]: Simplify 0 into 0 0.624 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 1) (* 0 0))) into 0 0.625 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 re) (* 0 0))) into 0 0.625 * [taylor]: Taking taylor expansion of 0 in re 0.625 * [backup-simplify]: Simplify 0 into 0 0.625 * [backup-simplify]: Simplify 0 into 0 0.626 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 0.626 * [backup-simplify]: Simplify 2 into 2 0.626 * [backup-simplify]: Simplify 0 into 0 0.627 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.629 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 re) (* 0 0)))) into 0 0.629 * [taylor]: Taking taylor expansion of 0 in re 0.629 * [backup-simplify]: Simplify 0 into 0 0.629 * [backup-simplify]: Simplify 0 into 0 0.629 * [backup-simplify]: Simplify 0 into 0 0.630 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 0.630 * [backup-simplify]: Simplify 0 into 0 0.630 * [backup-simplify]: Simplify 0 into 0 0.631 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.633 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 re) (* 0 0))))) into 0 0.633 * [taylor]: Taking taylor expansion of 0 in re 0.633 * [backup-simplify]: Simplify 0 into 0 0.633 * [backup-simplify]: Simplify 0 into 0 0.633 * [backup-simplify]: Simplify (* 2 (* re im)) into (* 2 (* re im)) 0.633 * [backup-simplify]: Simplify (+ (* (/ 1 im) (/ 1 re)) (* (/ 1 im) (/ 1 re))) into (* 2 (/ 1 (* re im))) 0.633 * [approximate]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in (im re) around 0 0.633 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in re 0.633 * [taylor]: Taking taylor expansion of 2 in re 0.633 * [backup-simplify]: Simplify 2 into 2 0.633 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 0.633 * [taylor]: Taking taylor expansion of (* re im) in re 0.633 * [taylor]: Taking taylor expansion of re in re 0.633 * [backup-simplify]: Simplify 0 into 0 0.634 * [backup-simplify]: Simplify 1 into 1 0.634 * [taylor]: Taking taylor expansion of im in re 0.634 * [backup-simplify]: Simplify im into im 0.634 * [backup-simplify]: Simplify (* 0 im) into 0 0.634 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 im)) into im 0.634 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 0.634 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in im 0.634 * [taylor]: Taking taylor expansion of 2 in im 0.634 * [backup-simplify]: Simplify 2 into 2 0.634 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 0.634 * [taylor]: Taking taylor expansion of (* re im) in im 0.634 * [taylor]: Taking taylor expansion of re in im 0.635 * [backup-simplify]: Simplify re into re 0.635 * [taylor]: Taking taylor expansion of im in im 0.635 * [backup-simplify]: Simplify 0 into 0 0.635 * [backup-simplify]: Simplify 1 into 1 0.635 * [backup-simplify]: Simplify (* re 0) into 0 0.635 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re 0.635 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 0.635 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in im 0.635 * [taylor]: Taking taylor expansion of 2 in im 0.635 * [backup-simplify]: Simplify 2 into 2 0.635 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 0.635 * [taylor]: Taking taylor expansion of (* re im) in im 0.635 * [taylor]: Taking taylor expansion of re in im 0.635 * [backup-simplify]: Simplify re into re 0.635 * [taylor]: Taking taylor expansion of im in im 0.635 * [backup-simplify]: Simplify 0 into 0 0.635 * [backup-simplify]: Simplify 1 into 1 0.636 * [backup-simplify]: Simplify (* re 0) into 0 0.636 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re 0.636 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 0.636 * [backup-simplify]: Simplify (* 2 (/ 1 re)) into (/ 2 re) 0.636 * [taylor]: Taking taylor expansion of (/ 2 re) in re 0.636 * [taylor]: Taking taylor expansion of 2 in re 0.636 * [backup-simplify]: Simplify 2 into 2 0.636 * [taylor]: Taking taylor expansion of re in re 0.636 * [backup-simplify]: Simplify 0 into 0 0.636 * [backup-simplify]: Simplify 1 into 1 0.637 * [backup-simplify]: Simplify (/ 2 1) into 2 0.637 * [backup-simplify]: Simplify 2 into 2 0.638 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 1) (* 0 0))) into 0 0.638 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 0.639 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 re))) into 0 0.639 * [taylor]: Taking taylor expansion of 0 in re 0.639 * [backup-simplify]: Simplify 0 into 0 0.640 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)))) into 0 0.640 * [backup-simplify]: Simplify 0 into 0 0.641 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.641 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 0.642 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 re)))) into 0 0.642 * [taylor]: Taking taylor expansion of 0 in re 0.642 * [backup-simplify]: Simplify 0 into 0 0.642 * [backup-simplify]: Simplify 0 into 0 0.643 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.643 * [backup-simplify]: Simplify 0 into 0 0.644 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.645 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 0.646 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 re))))) into 0 0.646 * [taylor]: Taking taylor expansion of 0 in re 0.646 * [backup-simplify]: Simplify 0 into 0 0.646 * [backup-simplify]: Simplify 0 into 0 0.646 * [backup-simplify]: Simplify 0 into 0 0.647 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.647 * [backup-simplify]: Simplify 0 into 0 0.647 * [backup-simplify]: Simplify (* 2 (* (/ 1 (/ 1 re)) (/ 1 (/ 1 im)))) into (* 2 (* re im)) 0.647 * [backup-simplify]: Simplify (+ (* (/ 1 (- im)) (/ 1 (- re))) (* (/ 1 (- im)) (/ 1 (- re)))) into (* 2 (/ 1 (* re im))) 0.647 * [approximate]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in (im re) around 0 0.648 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in re 0.648 * [taylor]: Taking taylor expansion of 2 in re 0.648 * [backup-simplify]: Simplify 2 into 2 0.648 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re 0.648 * [taylor]: Taking taylor expansion of (* re im) in re 0.648 * [taylor]: Taking taylor expansion of re in re 0.648 * [backup-simplify]: Simplify 0 into 0 0.648 * [backup-simplify]: Simplify 1 into 1 0.648 * [taylor]: Taking taylor expansion of im in re 0.648 * [backup-simplify]: Simplify im into im 0.648 * [backup-simplify]: Simplify (* 0 im) into 0 0.648 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 im)) into im 0.648 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 0.648 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in im 0.648 * [taylor]: Taking taylor expansion of 2 in im 0.648 * [backup-simplify]: Simplify 2 into 2 0.648 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 0.648 * [taylor]: Taking taylor expansion of (* re im) in im 0.648 * [taylor]: Taking taylor expansion of re in im 0.648 * [backup-simplify]: Simplify re into re 0.648 * [taylor]: Taking taylor expansion of im in im 0.649 * [backup-simplify]: Simplify 0 into 0 0.649 * [backup-simplify]: Simplify 1 into 1 0.649 * [backup-simplify]: Simplify (* re 0) into 0 0.649 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re 0.649 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 0.649 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in im 0.649 * [taylor]: Taking taylor expansion of 2 in im 0.649 * [backup-simplify]: Simplify 2 into 2 0.649 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im 0.649 * [taylor]: Taking taylor expansion of (* re im) in im 0.649 * [taylor]: Taking taylor expansion of re in im 0.649 * [backup-simplify]: Simplify re into re 0.649 * [taylor]: Taking taylor expansion of im in im 0.649 * [backup-simplify]: Simplify 0 into 0 0.649 * [backup-simplify]: Simplify 1 into 1 0.649 * [backup-simplify]: Simplify (* re 0) into 0 0.650 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re 0.650 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 0.650 * [backup-simplify]: Simplify (* 2 (/ 1 re)) into (/ 2 re) 0.650 * [taylor]: Taking taylor expansion of (/ 2 re) in re 0.650 * [taylor]: Taking taylor expansion of 2 in re 0.650 * [backup-simplify]: Simplify 2 into 2 0.650 * [taylor]: Taking taylor expansion of re in re 0.650 * [backup-simplify]: Simplify 0 into 0 0.650 * [backup-simplify]: Simplify 1 into 1 0.651 * [backup-simplify]: Simplify (/ 2 1) into 2 0.651 * [backup-simplify]: Simplify 2 into 2 0.651 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 1) (* 0 0))) into 0 0.652 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 0.652 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 re))) into 0 0.652 * [taylor]: Taking taylor expansion of 0 in re 0.652 * [backup-simplify]: Simplify 0 into 0 0.653 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)))) into 0 0.653 * [backup-simplify]: Simplify 0 into 0 0.654 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.654 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 0.655 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 re)))) into 0 0.655 * [taylor]: Taking taylor expansion of 0 in re 0.655 * [backup-simplify]: Simplify 0 into 0 0.655 * [backup-simplify]: Simplify 0 into 0 0.656 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.656 * [backup-simplify]: Simplify 0 into 0 0.657 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.657 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 0.658 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 re))))) into 0 0.658 * [taylor]: Taking taylor expansion of 0 in re 0.659 * [backup-simplify]: Simplify 0 into 0 0.659 * [backup-simplify]: Simplify 0 into 0 0.659 * [backup-simplify]: Simplify 0 into 0 0.660 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.660 * [backup-simplify]: Simplify 0 into 0 0.660 * [backup-simplify]: Simplify (* 2 (* (/ 1 (/ 1 (- re))) (/ 1 (/ 1 (- im))))) into (* 2 (* re im)) 0.660 * * * [progress]: simplifying candidates 0.661 * [simplify]: Simplifying: (* (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)) 0.661 * * [simplify]: Extracting # 0 : cost 14 inf + 0 0.661 * * [simplify]: Extracting # 1 : cost 24 inf + 0 0.661 * * [simplify]: Extracting # 2 : cost 20 inf + 85 0.662 * * [simplify]: Extracting # 3 : cost 11 inf + 763 0.662 * * [simplify]: Extracting # 4 : cost 1 inf + 2505 0.663 * * [simplify]: Extracting # 5 : cost 0 inf + 2667 0.663 * * [simplify]: iteration 0 : 25 enodes (cost 2216 ) 0.673 * * [simplify]: Extracting # 0 : cost 0 inf + 2667 0.674 * * [simplify]: Extracting # 1 : cost 13 inf + 1966 0.675 * * [simplify]: Extracting # 2 : cost 2 inf + 3557 0.676 * * [simplify]: Extracting # 3 : cost 1 inf + 3558 0.677 * * [simplify]: Extracting # 4 : cost 0 inf + 3811 0.678 * * [simplify]: iteration 1 : 74 enodes (cost 1881 ) 0.698 * * [simplify]: Extracting # 0 : cost 0 inf + 3811 0.699 * * [simplify]: Extracting # 1 : cost 66 inf + 2900 0.701 * * [simplify]: Extracting # 2 : cost 4 inf + 11371 0.703 * * [simplify]: Extracting # 3 : cost 1 inf + 11737 0.706 * * [simplify]: Extracting # 4 : cost 0 inf + 11990 0.708 * * [simplify]: iteration 2 : 306 enodes (cost 1840 ) 1.081 * * [simplify]: Extracting # 0 : cost 0 inf + 11990 1.094 * * [simplify]: Extracting # 1 : cost 325 inf + 7634 1.116 * * [simplify]: Extracting # 2 : cost 17 inf + 58792 1.142 * * [simplify]: Extracting # 3 : cost 4 inf + 60782 1.161 * * [simplify]: Extracting # 4 : cost 0 inf + 62084 1.176 * * [simplify]: iteration 3 : 1705 enodes (cost 1840 ) 1.922 * * [simplify]: Extracting # 0 : cost 0 inf + 62084 1.974 * * [simplify]: Extracting # 1 : cost 1697 inf + 44739 2.051 * * [simplify]: Extracting # 2 : cost 62 inf + 303222 2.143 * * [simplify]: Extracting # 3 : cost 14 inf + 311060 2.267 * * [simplify]: Extracting # 4 : cost 0 inf + 315451 2.351 * * [simplify]: iteration done: 5001 enodes (cost 1800 ) 2.352 * [simplify]: Simplified to: (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)) 2.353 * * * [progress]: adding candidates to table 2.405 * * [progress]: iteration 2 / 4 2.405 * * * [progress]: picking best candidate 2.408 * * * * [pick]: Picked # 2.408 * * * [progress]: localizing error 2.413 * * * [progress]: generating rewritten candidates 2.413 * * * [progress]: generating series expansions 2.413 * * * [progress]: simplifying candidates 2.413 * [simplify]: Simplifying: 2.413 * * [simplify]: Extracting # 0 : cost 0 inf + 0 2.413 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 2.413 * * [simplify]: Extracting # 0 : cost 0 inf + 0 2.413 * * [simplify]: iteration done: 0 enodes (cost 0 ) 2.413 * [simplify]: Simplified to: 2.414 * * * [progress]: adding candidates to table 2.414 * [progress]: [Phase 3 of 3] Extracting. 2.418 * [simplify]: Simplifying: (* im (+ re re)) 2.418 * * [simplify]: Extracting # 0 : cost 1 inf + 0 2.418 * * [simplify]: Extracting # 1 : cost 3 inf + 0 2.418 * * [simplify]: Extracting # 2 : cost 3 inf + 1 2.418 * * [simplify]: Extracting # 3 : cost 0 inf + 125 2.418 * * [simplify]: iteration 0 : 4 enodes (cost 82 ) 2.418 * * [simplify]: Extracting # 0 : cost 0 inf + 125 2.418 * * [simplify]: iteration 1 : 5 enodes (cost 82 ) 2.418 * * [simplify]: Extracting # 0 : cost 0 inf + 125 2.418 * * [simplify]: iteration done: 5 enodes (cost 82 ) 2.418 * [simplify]: Simplified to: (* im (+ re re)) 3.296 * [regime-testing]: Baseline error score: 0.016002000250031255 3.305 * [regime-testing]: Oracle error score: 0.016002000250031255 3.305 * [regime-testing]: End program error score: 0.016002000250031255