1545040852.457 * [misc]progress:  [Phase 1 of 3] Setting up.
1545040852.490 * * * [misc]progress:  [1/2] Preparing points
1545040852.491 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545040852.602 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040852.603 * * * * [misc]points:  Sampling 29 additional inputs, on iter 1 have 227 / 256
1545040852.608 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040852.608 * * * * [misc]points:  Sampling 4 additional inputs, on iter 2 have 254 / 256
1545040852.610 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040852.610 * * * * [exit]points:  Sampled 258 points with exact outputs
1545040852.610 * * * [misc]progress:  [2/2] Setting up program.
1545040852.613 * [misc]progress:  [Phase 2 of 3] Improving.
1545040852.614 * [enter]simplify:  Simplifying (+ (* re im) (* im re))
1545040852.615 * * [misc]simplify:  iters left: 4 (5 enodes)
1545040852.619 * * [misc]simplify:  iters left: 3 (7 enodes)
1545040852.621 * * [misc]simplify:  iters left: 2 (14 enodes)
1545040852.622 * * [misc]simplify:  iters left: 1 (16 enodes)
1545040852.625 * [exit]simplify:  Simplified to (* re (+ im im))
1545040852.682 * * [misc]progress:  iteration 1 / 4
1545040852.682 * * * [misc]progress:  picking best candidate
1545040852.690 * * * * [misc]pick:  Picked  #<alt (λ (re im) (+ (* re im) (* im re)))>
1545040852.690 * * * [misc]progress:  localizing error
1545040852.711 * * * [misc]progress:  generating rewritten candidates
1545040852.712 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1545040852.722 * * * [misc]progress:  generating series expansions
1545040852.722 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1545040852.730 * [misc]backup-simplify:  Simplify (+ (* re im) (* im re)) into (* 2 (* re im))
1545040852.730 * [misc]approximate:  Taking taylor expansion of (* 2 (* re im)) in (re im) around 0
1545040852.731 * [misc]taylor:  Taking taylor expansion of (* 2 (* re im)) in im
1545040852.731 * [misc]taylor:  Taking taylor expansion of 2 in im
1545040852.731 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.731 * [misc]taylor:  Taking taylor expansion of (* re im) in im
1545040852.731 * [misc]taylor:  Taking taylor expansion of re in im
1545040852.732 * [misc]backup-simplify:  Simplify re into re
1545040852.732 * [misc]taylor:  Taking taylor expansion of im in im
1545040852.732 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.732 * [misc]backup-simplify:  Simplify 1 into 1
1545040852.732 * [misc]taylor:  Taking taylor expansion of (* 2 (* re im)) in re
1545040852.732 * [misc]taylor:  Taking taylor expansion of 2 in re
1545040852.732 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.732 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1545040852.732 * [misc]taylor:  Taking taylor expansion of re in re
1545040852.732 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.732 * [misc]backup-simplify:  Simplify 1 into 1
1545040852.732 * [misc]taylor:  Taking taylor expansion of im in re
1545040852.732 * [misc]backup-simplify:  Simplify im into im
1545040852.732 * [misc]taylor:  Taking taylor expansion of (* 2 (* re im)) in re
1545040852.732 * [misc]taylor:  Taking taylor expansion of 2 in re
1545040852.732 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.732 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1545040852.732 * [misc]taylor:  Taking taylor expansion of re in re
1545040852.732 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.732 * [misc]backup-simplify:  Simplify 1 into 1
1545040852.732 * [misc]taylor:  Taking taylor expansion of im in re
1545040852.732 * [misc]backup-simplify:  Simplify im into im
1545040852.733 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1545040852.734 * [misc]backup-simplify:  Simplify (* 2 0) into 0
1545040852.734 * [misc]taylor:  Taking taylor expansion of 0 in im
1545040852.734 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.734 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.734 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1545040852.735 * [misc]backup-simplify:  Simplify (+ (* 2 im) (* 0 0)) into (* 2 im)
1545040852.735 * [misc]taylor:  Taking taylor expansion of (* 2 im) in im
1545040852.735 * [misc]taylor:  Taking taylor expansion of 2 in im
1545040852.735 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.735 * [misc]taylor:  Taking taylor expansion of im in im
1545040852.735 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.735 * [misc]backup-simplify:  Simplify 1 into 1
1545040852.735 * [misc]backup-simplify:  Simplify (* 2 0) into 0
1545040852.735 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.735 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.736 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 im))) into 0
1545040852.736 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 im) (* 0 0))) into 0
1545040852.736 * [misc]taylor:  Taking taylor expansion of 0 in im
1545040852.736 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.736 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.736 * [misc]backup-simplify:  Simplify (+ (* 2 1) (* 0 0)) into 2
1545040852.736 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.737 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.737 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 im)))) into 0
1545040852.738 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 im) (* 0 0)))) into 0
1545040852.738 * [misc]taylor:  Taking taylor expansion of 0 in im
1545040852.738 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.738 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.738 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.738 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0
1545040852.738 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.739 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.739 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0
1545040852.740 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 im) (* 0 0))))) into 0
1545040852.740 * [misc]taylor:  Taking taylor expansion of 0 in im
1545040852.740 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.740 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.740 * [misc]backup-simplify:  Simplify (* 2 (* im re)) into (* 2 (* re im))
1545040852.740 * [misc]backup-simplify:  Simplify (+ (* (/ 1 re) (/ 1 im)) (* (/ 1 im) (/ 1 re))) into (* 2 (/ 1 (* re im)))
1545040852.740 * [misc]approximate:  Taking taylor expansion of (* 2 (/ 1 (* re im))) in (re im) around 0
1545040852.741 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (* re im))) in im
1545040852.741 * [misc]taylor:  Taking taylor expansion of 2 in im
1545040852.741 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.741 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in im
1545040852.741 * [misc]taylor:  Taking taylor expansion of (* re im) in im
1545040852.741 * [misc]taylor:  Taking taylor expansion of re in im
1545040852.741 * [misc]backup-simplify:  Simplify re into re
1545040852.741 * [misc]taylor:  Taking taylor expansion of im in im
1545040852.741 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.741 * [misc]backup-simplify:  Simplify 1 into 1
1545040852.741 * [misc]backup-simplify:  Simplify (* re 0) into 0
1545040852.741 * [misc]backup-simplify:  Simplify (+ (* re 1) (* 0 0)) into re
1545040852.741 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1545040852.741 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (* re im))) in re
1545040852.741 * [misc]taylor:  Taking taylor expansion of 2 in re
1545040852.741 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.741 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in re
1545040852.741 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1545040852.741 * [misc]taylor:  Taking taylor expansion of re in re
1545040852.741 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.741 * [misc]backup-simplify:  Simplify 1 into 1
1545040852.742 * [misc]taylor:  Taking taylor expansion of im in re
1545040852.742 * [misc]backup-simplify:  Simplify im into im
1545040852.742 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1545040852.742 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1545040852.742 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1545040852.742 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (* re im))) in re
1545040852.742 * [misc]taylor:  Taking taylor expansion of 2 in re
1545040852.742 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.742 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in re
1545040852.742 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1545040852.742 * [misc]taylor:  Taking taylor expansion of re in re
1545040852.742 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.742 * [misc]backup-simplify:  Simplify 1 into 1
1545040852.742 * [misc]taylor:  Taking taylor expansion of im in re
1545040852.742 * [misc]backup-simplify:  Simplify im into im
1545040852.742 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1545040852.742 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1545040852.742 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1545040852.743 * [misc]backup-simplify:  Simplify (* 2 (/ 1 im)) into (/ 2 im)
1545040852.743 * [misc]taylor:  Taking taylor expansion of (/ 2 im) in im
1545040852.743 * [misc]taylor:  Taking taylor expansion of 2 in im
1545040852.743 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.743 * [misc]taylor:  Taking taylor expansion of im in im
1545040852.743 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.743 * [misc]backup-simplify:  Simplify 1 into 1
1545040852.743 * [misc]backup-simplify:  Simplify (/ 2 1) into 2
1545040852.743 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.744 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 im))) into 0
1545040852.744 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1545040852.744 * [misc]backup-simplify:  Simplify (+ (* 2 0) (* 0 (/ 1 im))) into 0
1545040852.744 * [misc]taylor:  Taking taylor expansion of 0 in im
1545040852.744 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.745 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)))) into 0
1545040852.745 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.745 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 im)))) into 0
1545040852.745 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1545040852.746 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 im)))) into 0
1545040852.746 * [misc]taylor:  Taking taylor expansion of 0 in im
1545040852.746 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.746 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.746 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545040852.746 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.747 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0
1545040852.747 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1545040852.748 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 im))))) into 0
1545040852.748 * [misc]taylor:  Taking taylor expansion of 0 in im
1545040852.748 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.748 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.748 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.748 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545040852.748 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.748 * [misc]backup-simplify:  Simplify (* 2 (* (/ 1 (/ 1 im)) (/ 1 (/ 1 re)))) into (* 2 (* re im))
1545040852.749 * [misc]backup-simplify:  Simplify (+ (* (/ 1 (- re)) (/ 1 (- im))) (* (/ 1 (- im)) (/ 1 (- re)))) into (* 2 (/ 1 (* re im)))
1545040852.749 * [misc]approximate:  Taking taylor expansion of (* 2 (/ 1 (* re im))) in (re im) around 0
1545040852.749 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (* re im))) in im
1545040852.749 * [misc]taylor:  Taking taylor expansion of 2 in im
1545040852.749 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.749 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in im
1545040852.749 * [misc]taylor:  Taking taylor expansion of (* re im) in im
1545040852.749 * [misc]taylor:  Taking taylor expansion of re in im
1545040852.749 * [misc]backup-simplify:  Simplify re into re
1545040852.749 * [misc]taylor:  Taking taylor expansion of im in im
1545040852.749 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.749 * [misc]backup-simplify:  Simplify 1 into 1
1545040852.749 * [misc]backup-simplify:  Simplify (* re 0) into 0
1545040852.749 * [misc]backup-simplify:  Simplify (+ (* re 1) (* 0 0)) into re
1545040852.749 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1545040852.749 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (* re im))) in re
1545040852.749 * [misc]taylor:  Taking taylor expansion of 2 in re
1545040852.749 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.749 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in re
1545040852.750 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1545040852.750 * [misc]taylor:  Taking taylor expansion of re in re
1545040852.750 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.750 * [misc]backup-simplify:  Simplify 1 into 1
1545040852.750 * [misc]taylor:  Taking taylor expansion of im in re
1545040852.750 * [misc]backup-simplify:  Simplify im into im
1545040852.750 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1545040852.750 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1545040852.750 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1545040852.750 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (* re im))) in re
1545040852.750 * [misc]taylor:  Taking taylor expansion of 2 in re
1545040852.750 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.750 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in re
1545040852.750 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1545040852.750 * [misc]taylor:  Taking taylor expansion of re in re
1545040852.750 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.750 * [misc]backup-simplify:  Simplify 1 into 1
1545040852.750 * [misc]taylor:  Taking taylor expansion of im in re
1545040852.750 * [misc]backup-simplify:  Simplify im into im
1545040852.750 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1545040852.750 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1545040852.751 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1545040852.751 * [misc]backup-simplify:  Simplify (* 2 (/ 1 im)) into (/ 2 im)
1545040852.751 * [misc]taylor:  Taking taylor expansion of (/ 2 im) in im
1545040852.751 * [misc]taylor:  Taking taylor expansion of 2 in im
1545040852.751 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.751 * [misc]taylor:  Taking taylor expansion of im in im
1545040852.751 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.751 * [misc]backup-simplify:  Simplify 1 into 1
1545040852.751 * [misc]backup-simplify:  Simplify (/ 2 1) into 2
1545040852.751 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.751 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 im))) into 0
1545040852.752 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1545040852.752 * [misc]backup-simplify:  Simplify (+ (* 2 0) (* 0 (/ 1 im))) into 0
1545040852.752 * [misc]taylor:  Taking taylor expansion of 0 in im
1545040852.752 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.752 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)))) into 0
1545040852.752 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.753 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 im)))) into 0
1545040852.753 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1545040852.753 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 im)))) into 0
1545040852.753 * [misc]taylor:  Taking taylor expansion of 0 in im
1545040852.753 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.753 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.754 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545040852.754 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.754 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0
1545040852.754 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1545040852.755 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 im))))) into 0
1545040852.755 * [misc]taylor:  Taking taylor expansion of 0 in im
1545040852.755 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.755 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.755 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.756 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545040852.756 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.756 * [misc]backup-simplify:  Simplify (* 2 (* (/ 1 (/ 1 (- im))) (/ 1 (/ 1 (- re))))) into (* 2 (* re im))
1545040852.756 * * * [misc]progress:  simplifying candidates
1545040852.756 * * * * [misc]progress:  [ 1 / 17 ] simplifiying candidate #<alt (λ (re im) (log1p (expm1 (+ (* re im) (* im re)))))>
1545040852.756 * * * * [misc]progress:  [ 2 / 17 ] simplifiying candidate #<alt (λ (re im) (expm1 (log1p (+ (* re im) (* im re)))))>
1545040852.756 * * * * [misc]progress:  [ 3 / 17 ] simplifiying candidate #<alt (λ (re im) (fma re im (* im re)))>
1545040852.757 * * * * [misc]progress:  [ 4 / 17 ] simplifiying candidate #<alt (λ (re im) (log (* (exp (* re im)) (exp (* im re)))))>
1545040852.757 * [enter]simplify:  Simplifying (* (exp (* re im)) (exp (* im re)))
1545040852.757 * * [misc]simplify:  iters left: 5 (7 enodes)
1545040852.760 * * [misc]simplify:  iters left: 4 (14 enodes)
1545040852.764 * * [misc]simplify:  iters left: 3 (28 enodes)
1545040852.770 * * [misc]simplify:  iters left: 2 (38 enodes)
1545040852.774 * [exit]simplify:  Simplified to (pow (exp im) (+ re re))
1545040852.774 * [misc]simplify:  Simplified (2 1) to (λ (re im) (log (pow (exp im) (+ re re))))
1545040852.774 * * * * [misc]progress:  [ 5 / 17 ] simplifiying candidate #<alt (λ (re im) (pow (+ (* re im) (* im re)) 1))>
1545040852.774 * * * * [misc]progress:  [ 6 / 17 ] simplifiying candidate #<alt (λ (re im) (exp (log (+ (* re im) (* im re)))))>
1545040852.774 * * * * [misc]progress:  [ 7 / 17 ] simplifiying candidate #<alt (λ (re im) (log (exp (+ (* re im) (* im re)))))>
1545040852.774 * * * * [misc]progress:  [ 8 / 17 ] simplifiying candidate #<alt (λ (re im) (* (* (cbrt (+ (* re im) (* im re))) (cbrt (+ (* re im) (* im re)))) (cbrt (+ (* re im) (* im re)))))>
1545040852.774 * * * * [misc]progress:  [ 9 / 17 ] simplifiying candidate #<alt (λ (re im) (cbrt (* (* (+ (* re im) (* im re)) (+ (* re im) (* im re))) (+ (* re im) (* im re)))))>
1545040852.774 * * * * [misc]progress:  [ 10 / 17 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (+ (* re im) (* im re))) (sqrt (+ (* re im) (* im re)))))>
1545040852.774 * * * * [misc]progress:  [ 11 / 17 ] simplifiying candidate #<alt (λ (re im) (/ (+ (pow (* re im) 3) (pow (* im re) 3)) (+ (* (* re im) (* re im)) (- (* (* im re) (* im re)) (* (* re im) (* im re))))))>
1545040852.774 * * * * [misc]progress:  [ 12 / 17 ] simplifiying candidate #<alt (λ (re im) (* 1 (+ (* re im) (* im re))))>
1545040852.774 * * * * [misc]progress:  [ 13 / 17 ] simplifiying candidate #<alt (λ (re im) (/ (- (* (* re im) (* re im)) (* (* im re) (* im re))) (- (* re im) (* im re))))>
1545040852.774 * * * * [misc]progress:  [ 14 / 17 ] simplifiying candidate #<alt (λ (re im) (+ (* im re) (* re im)))>
1545040852.774 * * * * [misc]progress:  [ 15 / 17 ] simplifiying candidate #<alt (λ (re im) (* 2 (* re im)))>
1545040852.774 * [enter]simplify:  Simplifying (* 2 (* re im))
1545040852.775 * * [misc]simplify:  iters left: 4 (5 enodes)
1545040852.775 * * [misc]simplify:  iters left: 3 (9 enodes)
1545040852.777 * * [misc]simplify:  iters left: 2 (15 enodes)
1545040852.779 * * [misc]simplify:  iters left: 1 (17 enodes)
1545040852.781 * [exit]simplify:  Simplified to (* (* im re) 2)
1545040852.781 * [misc]simplify:  Simplified (2) to (λ (re im) (* (* im re) 2))
1545040852.781 * * * * [misc]progress:  [ 16 / 17 ] simplifiying candidate #<alt (λ (re im) (* 2 (* re im)))>
1545040852.781 * [enter]simplify:  Simplifying (* 2 (* re im))
1545040852.781 * * [misc]simplify:  iters left: 4 (5 enodes)
1545040852.782 * * [misc]simplify:  iters left: 3 (9 enodes)
1545040852.784 * * [misc]simplify:  iters left: 2 (15 enodes)
1545040852.786 * * [misc]simplify:  iters left: 1 (17 enodes)
1545040852.788 * [exit]simplify:  Simplified to (* (* im re) 2)
1545040852.788 * [misc]simplify:  Simplified (2) to (λ (re im) (* (* im re) 2))
1545040852.788 * * * * [misc]progress:  [ 17 / 17 ] simplifiying candidate #<alt (λ (re im) (* 2 (* re im)))>
1545040852.788 * [enter]simplify:  Simplifying (* 2 (* re im))
1545040852.789 * * [misc]simplify:  iters left: 4 (5 enodes)
1545040852.790 * * [misc]simplify:  iters left: 3 (9 enodes)
1545040852.793 * * [misc]simplify:  iters left: 2 (15 enodes)
1545040852.797 * * [misc]simplify:  iters left: 1 (17 enodes)
1545040852.801 * [exit]simplify:  Simplified to (* (* im re) 2)
1545040852.801 * [misc]simplify:  Simplified (2) to (λ (re im) (* (* im re) 2))
1545040852.801 * * * [misc]progress:  adding candidates to table
1545040852.948 * * [misc]progress:  iteration 2 / 4
1545040852.948 * * * [misc]progress:  picking best candidate
1545040852.952 * * * * [misc]pick:  Picked  #<alt (λ (re im) (* re (+ im im)))>
1545040852.952 * * * [misc]progress:  localizing error
1545040852.960 * * * [misc]progress:  generating rewritten candidates
1545040852.960 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1545040852.963 * * * [misc]progress:  generating series expansions
1545040852.963 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1545040852.963 * [misc]backup-simplify:  Simplify (* re (+ im im)) into (* 2 (* re im))
1545040852.964 * [misc]approximate:  Taking taylor expansion of (* 2 (* re im)) in (re im) around 0
1545040852.964 * [misc]taylor:  Taking taylor expansion of (* 2 (* re im)) in im
1545040852.964 * [misc]taylor:  Taking taylor expansion of 2 in im
1545040852.964 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.964 * [misc]taylor:  Taking taylor expansion of (* re im) in im
1545040852.964 * [misc]taylor:  Taking taylor expansion of re in im
1545040852.964 * [misc]backup-simplify:  Simplify re into re
1545040852.964 * [misc]taylor:  Taking taylor expansion of im in im
1545040852.964 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.964 * [misc]backup-simplify:  Simplify 1 into 1
1545040852.964 * [misc]taylor:  Taking taylor expansion of (* 2 (* re im)) in re
1545040852.964 * [misc]taylor:  Taking taylor expansion of 2 in re
1545040852.964 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.964 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1545040852.964 * [misc]taylor:  Taking taylor expansion of re in re
1545040852.964 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.964 * [misc]backup-simplify:  Simplify 1 into 1
1545040852.964 * [misc]taylor:  Taking taylor expansion of im in re
1545040852.964 * [misc]backup-simplify:  Simplify im into im
1545040852.964 * [misc]taylor:  Taking taylor expansion of (* 2 (* re im)) in re
1545040852.964 * [misc]taylor:  Taking taylor expansion of 2 in re
1545040852.964 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.964 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1545040852.964 * [misc]taylor:  Taking taylor expansion of re in re
1545040852.964 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.964 * [misc]backup-simplify:  Simplify 1 into 1
1545040852.964 * [misc]taylor:  Taking taylor expansion of im in re
1545040852.964 * [misc]backup-simplify:  Simplify im into im
1545040852.964 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1545040852.964 * [misc]backup-simplify:  Simplify (* 2 0) into 0
1545040852.964 * [misc]taylor:  Taking taylor expansion of 0 in im
1545040852.964 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.964 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.964 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1545040852.965 * [misc]backup-simplify:  Simplify (+ (* 2 im) (* 0 0)) into (* 2 im)
1545040852.965 * [misc]taylor:  Taking taylor expansion of (* 2 im) in im
1545040852.965 * [misc]taylor:  Taking taylor expansion of 2 in im
1545040852.965 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.965 * [misc]taylor:  Taking taylor expansion of im in im
1545040852.965 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.965 * [misc]backup-simplify:  Simplify 1 into 1
1545040852.965 * [misc]backup-simplify:  Simplify (* 2 0) into 0
1545040852.965 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.965 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.965 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 im))) into 0
1545040852.965 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 im) (* 0 0))) into 0
1545040852.965 * [misc]taylor:  Taking taylor expansion of 0 in im
1545040852.965 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.965 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.966 * [misc]backup-simplify:  Simplify (+ (* 2 1) (* 0 0)) into 2
1545040852.966 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.966 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.966 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 im)))) into 0
1545040852.966 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 im) (* 0 0)))) into 0
1545040852.966 * [misc]taylor:  Taking taylor expansion of 0 in im
1545040852.966 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.966 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.966 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.966 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0
1545040852.966 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.966 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.967 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0
1545040852.967 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 im) (* 0 0))))) into 0
1545040852.967 * [misc]taylor:  Taking taylor expansion of 0 in im
1545040852.967 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.967 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.967 * [misc]backup-simplify:  Simplify (* 2 (* im re)) into (* 2 (* re im))
1545040852.967 * [misc]backup-simplify:  Simplify (* (/ 1 re) (+ (/ 1 im) (/ 1 im))) into (/ 2 (* re im))
1545040852.967 * [misc]approximate:  Taking taylor expansion of (/ 2 (* re im)) in (re im) around 0
1545040852.967 * [misc]taylor:  Taking taylor expansion of (/ 2 (* re im)) in im
1545040852.967 * [misc]taylor:  Taking taylor expansion of 2 in im
1545040852.967 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.968 * [misc]taylor:  Taking taylor expansion of (* re im) in im
1545040852.968 * [misc]taylor:  Taking taylor expansion of re in im
1545040852.968 * [misc]backup-simplify:  Simplify re into re
1545040852.968 * [misc]taylor:  Taking taylor expansion of im in im
1545040852.968 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.968 * [misc]backup-simplify:  Simplify 1 into 1
1545040852.968 * [misc]backup-simplify:  Simplify (* re 0) into 0
1545040852.968 * [misc]backup-simplify:  Simplify (+ (* re 1) (* 0 0)) into re
1545040852.968 * [misc]backup-simplify:  Simplify (/ 2 re) into (/ 2 re)
1545040852.968 * [misc]taylor:  Taking taylor expansion of (/ 2 (* re im)) in re
1545040852.968 * [misc]taylor:  Taking taylor expansion of 2 in re
1545040852.968 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.968 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1545040852.968 * [misc]taylor:  Taking taylor expansion of re in re
1545040852.968 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.968 * [misc]backup-simplify:  Simplify 1 into 1
1545040852.968 * [misc]taylor:  Taking taylor expansion of im in re
1545040852.968 * [misc]backup-simplify:  Simplify im into im
1545040852.968 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1545040852.968 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1545040852.968 * [misc]backup-simplify:  Simplify (/ 2 im) into (/ 2 im)
1545040852.968 * [misc]taylor:  Taking taylor expansion of (/ 2 (* re im)) in re
1545040852.968 * [misc]taylor:  Taking taylor expansion of 2 in re
1545040852.968 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.968 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1545040852.968 * [misc]taylor:  Taking taylor expansion of re in re
1545040852.968 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.968 * [misc]backup-simplify:  Simplify 1 into 1
1545040852.968 * [misc]taylor:  Taking taylor expansion of im in re
1545040852.968 * [misc]backup-simplify:  Simplify im into im
1545040852.968 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1545040852.968 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1545040852.968 * [misc]backup-simplify:  Simplify (/ 2 im) into (/ 2 im)
1545040852.969 * [misc]taylor:  Taking taylor expansion of (/ 2 im) in im
1545040852.969 * [misc]taylor:  Taking taylor expansion of 2 in im
1545040852.969 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.969 * [misc]taylor:  Taking taylor expansion of im in im
1545040852.969 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.969 * [misc]backup-simplify:  Simplify 1 into 1
1545040852.969 * [misc]backup-simplify:  Simplify (/ 2 1) into 2
1545040852.969 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.969 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 im))) into 0
1545040852.969 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ 2 im) (/ 0 im)))) into 0
1545040852.969 * [misc]taylor:  Taking taylor expansion of 0 in im
1545040852.969 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.969 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)))) into 0
1545040852.969 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.970 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 im)))) into 0
1545040852.970 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ 2 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1545040852.970 * [misc]taylor:  Taking taylor expansion of 0 in im
1545040852.970 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.970 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.970 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545040852.970 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.970 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0
1545040852.970 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ 2 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1545040852.970 * [misc]taylor:  Taking taylor expansion of 0 in im
1545040852.971 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.971 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.971 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.971 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545040852.971 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.971 * [misc]backup-simplify:  Simplify (* 2 (* (/ 1 (/ 1 im)) (/ 1 (/ 1 re)))) into (* 2 (* re im))
1545040852.971 * [misc]backup-simplify:  Simplify (* (/ 1 (- re)) (+ (/ 1 (- im)) (/ 1 (- im)))) into (/ 2 (* re im))
1545040852.971 * [misc]approximate:  Taking taylor expansion of (/ 2 (* re im)) in (re im) around 0
1545040852.971 * [misc]taylor:  Taking taylor expansion of (/ 2 (* re im)) in im
1545040852.971 * [misc]taylor:  Taking taylor expansion of 2 in im
1545040852.971 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.971 * [misc]taylor:  Taking taylor expansion of (* re im) in im
1545040852.971 * [misc]taylor:  Taking taylor expansion of re in im
1545040852.971 * [misc]backup-simplify:  Simplify re into re
1545040852.971 * [misc]taylor:  Taking taylor expansion of im in im
1545040852.971 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.971 * [misc]backup-simplify:  Simplify 1 into 1
1545040852.971 * [misc]backup-simplify:  Simplify (* re 0) into 0
1545040852.971 * [misc]backup-simplify:  Simplify (+ (* re 1) (* 0 0)) into re
1545040852.971 * [misc]backup-simplify:  Simplify (/ 2 re) into (/ 2 re)
1545040852.971 * [misc]taylor:  Taking taylor expansion of (/ 2 (* re im)) in re
1545040852.971 * [misc]taylor:  Taking taylor expansion of 2 in re
1545040852.971 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.971 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1545040852.972 * [misc]taylor:  Taking taylor expansion of re in re
1545040852.972 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.972 * [misc]backup-simplify:  Simplify 1 into 1
1545040852.972 * [misc]taylor:  Taking taylor expansion of im in re
1545040852.972 * [misc]backup-simplify:  Simplify im into im
1545040852.972 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1545040852.972 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1545040852.972 * [misc]backup-simplify:  Simplify (/ 2 im) into (/ 2 im)
1545040852.972 * [misc]taylor:  Taking taylor expansion of (/ 2 (* re im)) in re
1545040852.972 * [misc]taylor:  Taking taylor expansion of 2 in re
1545040852.972 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.972 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1545040852.972 * [misc]taylor:  Taking taylor expansion of re in re
1545040852.972 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.972 * [misc]backup-simplify:  Simplify 1 into 1
1545040852.972 * [misc]taylor:  Taking taylor expansion of im in re
1545040852.972 * [misc]backup-simplify:  Simplify im into im
1545040852.972 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1545040852.972 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1545040852.972 * [misc]backup-simplify:  Simplify (/ 2 im) into (/ 2 im)
1545040852.972 * [misc]taylor:  Taking taylor expansion of (/ 2 im) in im
1545040852.972 * [misc]taylor:  Taking taylor expansion of 2 in im
1545040852.972 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.972 * [misc]taylor:  Taking taylor expansion of im in im
1545040852.972 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.972 * [misc]backup-simplify:  Simplify 1 into 1
1545040852.972 * [misc]backup-simplify:  Simplify (/ 2 1) into 2
1545040852.972 * [misc]backup-simplify:  Simplify 2 into 2
1545040852.973 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 im))) into 0
1545040852.973 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ 2 im) (/ 0 im)))) into 0
1545040852.973 * [misc]taylor:  Taking taylor expansion of 0 in im
1545040852.973 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.973 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)))) into 0
1545040852.973 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.973 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 im)))) into 0
1545040852.973 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ 2 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1545040852.973 * [misc]taylor:  Taking taylor expansion of 0 in im
1545040852.973 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.973 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.974 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545040852.974 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.974 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0
1545040852.974 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ 2 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1545040852.974 * [misc]taylor:  Taking taylor expansion of 0 in im
1545040852.974 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.974 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.974 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.974 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545040852.974 * [misc]backup-simplify:  Simplify 0 into 0
1545040852.975 * [misc]backup-simplify:  Simplify (* 2 (* (/ 1 (/ 1 (- im))) (/ 1 (/ 1 (- re))))) into (* 2 (* re im))
1545040852.975 * * * [misc]progress:  simplifying candidates
1545040852.975 * * * * [misc]progress:  [ 1 / 20 ] simplifiying candidate #<alt (λ (re im) (log1p (expm1 (* re (+ im im)))))>
1545040852.975 * * * * [misc]progress:  [ 2 / 20 ] simplifiying candidate #<alt (λ (re im) (expm1 (log1p (* re (+ im im)))))>
1545040852.975 * * * * [misc]progress:  [ 3 / 20 ] simplifiying candidate #<alt (λ (re im) (pow (* re (+ im im)) 1))>
1545040852.975 * * * * [misc]progress:  [ 4 / 20 ] simplifiying candidate #<alt (λ (re im) (exp (log (* re (+ im im)))))>
1545040852.975 * * * * [misc]progress:  [ 5 / 20 ] simplifiying candidate #<alt (λ (re im) (log (exp (* re (+ im im)))))>
1545040852.975 * * * * [misc]progress:  [ 6 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* (cbrt (* re (+ im im))) (cbrt (* re (+ im im)))) (cbrt (* re (+ im im)))))>
1545040852.975 * * * * [misc]progress:  [ 7 / 20 ] simplifiying candidate #<alt (λ (re im) (cbrt (* (* (* re (+ im im)) (* re (+ im im))) (* re (+ im im)))))>
1545040852.975 * * * * [misc]progress:  [ 8 / 20 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (* re (+ im im))) (sqrt (* re (+ im im)))))>
1545040852.975 * * * * [misc]progress:  [ 9 / 20 ] simplifiying candidate #<alt (λ (re im) (* 1 (* re (+ im im))))>
1545040852.975 * * * * [misc]progress:  [ 10 / 20 ] simplifiying candidate #<alt (λ (re im) (+ (* re im) (* re im)))>
1545040852.975 * [enter]simplify:  Simplifying (* re im)
1545040852.975 * * [misc]simplify:  iters left: 2 (3 enodes)
1545040852.976 * * [misc]simplify:  iters left: 1 (4 enodes)
1545040852.976 * [exit]simplify:  Simplified to (* re im)
1545040852.976 * [misc]simplify:  Simplified (2 2) to (λ (re im) (+ (* re im) (* re im)))
1545040852.976 * * * * [misc]progress:  [ 11 / 20 ] simplifiying candidate #<alt (λ (re im) (+ (* im re) (* im re)))>
1545040852.976 * [enter]simplify:  Simplifying (* im re)
1545040852.976 * * [misc]simplify:  iters left: 2 (3 enodes)
1545040852.977 * * [misc]simplify:  iters left: 1 (4 enodes)
1545040852.978 * [exit]simplify:  Simplified to (* im re)
1545040852.978 * [misc]simplify:  Simplified (2 2) to (λ (re im) (+ (* im re) (* im re)))
1545040852.978 * * * * [misc]progress:  [ 12 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* re (* (cbrt (+ im im)) (cbrt (+ im im)))) (cbrt (+ im im))))>
1545040852.978 * [enter]simplify:  Simplifying (cbrt (+ im im))
1545040852.978 * * [misc]simplify:  iters left: 3 (3 enodes)
1545040852.978 * [exit]simplify:  Simplified to (cbrt (+ im im))
1545040852.978 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (* re (* (cbrt (+ im im)) (cbrt (+ im im)))) (cbrt (+ im im))))
1545040852.978 * * * * [misc]progress:  [ 13 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* re (sqrt (+ im im))) (sqrt (+ im im))))>
1545040852.978 * [enter]simplify:  Simplifying (sqrt (+ im im))
1545040852.978 * * [misc]simplify:  iters left: 3 (3 enodes)
1545040852.979 * [exit]simplify:  Simplified to (sqrt (+ im im))
1545040852.979 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (* re (sqrt (+ im im))) (sqrt (+ im im))))
1545040852.979 * * * * [misc]progress:  [ 14 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* re 1) (+ im im)))>
1545040852.979 * [enter]simplify:  Simplifying (+ im im)
1545040852.979 * * [misc]simplify:  iters left: 2 (2 enodes)
1545040852.980 * [exit]simplify:  Simplified to (+ im im)
1545040852.980 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (* re 1) (+ im im)))
1545040852.980 * * * * [misc]progress:  [ 15 / 20 ] simplifiying candidate #<alt (λ (re im) (/ (* re (+ (pow im 3) (pow im 3))) (+ (* im im) (- (* im im) (* im im)))))>
1545040852.980 * [enter]simplify:  Simplifying (+ (* im im) (- (* im im) (* im im)))
1545040852.980 * * [misc]simplify:  iters left: 6 (4 enodes)
1545040852.981 * * [misc]simplify:  iters left: 5 (9 enodes)
1545040852.982 * * [misc]simplify:  iters left: 4 (14 enodes)
1545040852.985 * * [misc]simplify:  iters left: 3 (20 enodes)
1545040852.987 * * [misc]simplify:  iters left: 2 (24 enodes)
1545040852.991 * [exit]simplify:  Simplified to (* im im)
1545040852.991 * [misc]simplify:  Simplified (2 2) to (λ (re im) (/ (* re (+ (pow im 3) (pow im 3))) (* im im)))
1545040852.991 * * * * [misc]progress:  [ 16 / 20 ] simplifiying candidate #<alt (λ (re im) (/ (* re (- (* im im) (* im im))) (- im im)))>
1545040852.991 * [enter]simplify:  Simplifying (- im im)
1545040852.991 * * [misc]simplify:  iters left: 2 (2 enodes)
1545040852.992 * * [misc]simplify:  iters left: 1 (3 enodes)
1545040852.993 * [exit]simplify:  Simplified to 0
1545040852.993 * [misc]simplify:  Simplified (2 2) to (λ (re im) (/ (* re (- (* im im) (* im im))) 0))
1545040852.993 * * * * [misc]progress:  [ 17 / 20 ] simplifiying candidate #<alt (λ (re im) (* (+ im im) re))>
1545040852.993 * * * * [misc]progress:  [ 18 / 20 ] simplifiying candidate #<alt (λ (re im) (* 2 (* re im)))>
1545040852.993 * [enter]simplify:  Simplifying (* 2 (* re im))
1545040852.993 * * [misc]simplify:  iters left: 4 (5 enodes)
1545040852.995 * * [misc]simplify:  iters left: 3 (9 enodes)
1545040852.998 * * [misc]simplify:  iters left: 2 (15 enodes)
1545040853.002 * * [misc]simplify:  iters left: 1 (17 enodes)
1545040853.008 * [exit]simplify:  Simplified to (* (* im re) 2)
1545040853.009 * [misc]simplify:  Simplified (2) to (λ (re im) (* (* im re) 2))
1545040853.009 * * * * [misc]progress:  [ 19 / 20 ] simplifiying candidate #<alt (λ (re im) (* 2 (* re im)))>
1545040853.009 * [enter]simplify:  Simplifying (* 2 (* re im))
1545040853.009 * * [misc]simplify:  iters left: 4 (5 enodes)
1545040853.011 * * [misc]simplify:  iters left: 3 (9 enodes)
1545040853.014 * * [misc]simplify:  iters left: 2 (15 enodes)
1545040853.018 * * [misc]simplify:  iters left: 1 (17 enodes)
1545040853.022 * [exit]simplify:  Simplified to (* (* im re) 2)
1545040853.022 * [misc]simplify:  Simplified (2) to (λ (re im) (* (* im re) 2))
1545040853.022 * * * * [misc]progress:  [ 20 / 20 ] simplifiying candidate #<alt (λ (re im) (* 2 (* re im)))>
1545040853.022 * [enter]simplify:  Simplifying (* 2 (* re im))
1545040853.022 * * [misc]simplify:  iters left: 4 (5 enodes)
1545040853.024 * * [misc]simplify:  iters left: 3 (9 enodes)
1545040853.027 * * [misc]simplify:  iters left: 2 (15 enodes)
1545040853.032 * * [misc]simplify:  iters left: 1 (17 enodes)
1545040853.036 * [exit]simplify:  Simplified to (* (* im re) 2)
1545040853.036 * [misc]simplify:  Simplified (2) to (λ (re im) (* (* im re) 2))
1545040853.036 * * * [misc]progress:  adding candidates to table
1545040853.146 * [misc]progress:  [Phase 3 of 3] Extracting.
1545040853.146 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (re im) (+ (* re im) (* im re)))> #<alt (λ (re im) (* re (+ im im)))>)
1545040853.146 * * * [misc]regime-changes:  Trying 3 branch expressions: (im re (+ (* re im) (* im re)))
1545040853.147 * * * * [misc]regimes:  Trying to branch on im from (#<alt (λ (re im) (+ (* re im) (* im re)))> #<alt (λ (re im) (* re (+ im im)))>)
1545040853.167 * * * * [misc]regimes:  Trying to branch on re from (#<alt (λ (re im) (+ (* re im) (* im re)))> #<alt (λ (re im) (* re (+ im im)))>)
1545040853.193 * * * * [misc]regimes:  Trying to branch on (+ (* re im) (* im re)) from (#<alt (λ (re im) (+ (* re im) (* im re)))> #<alt (λ (re im) (* re (+ im im)))>)
1545040853.234 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1545040853.234 * [enter]simplify:  Simplifying (+ (* re im) (* im re))
1545040853.234 * * [misc]simplify:  iters left: 4 (5 enodes)
1545040853.235 * * [misc]simplify:  iters left: 3 (6 enodes)
1545040853.235 * [exit]simplify:  Simplified to (+ (* re im) (* re im))
1545040853.235 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545040855.008 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040855.012 * * * * [misc]points:  Sampling 987 additional inputs, on iter 1 have 7013 / 8000
1545040855.180 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040855.180 * * * * [misc]points:  Sampling 134 additional inputs, on iter 2 have 7866 / 8000
1545040855.204 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040855.204 * * * * [misc]points:  Sampling 20 additional inputs, on iter 3 have 7980 / 8000
1545040855.207 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040855.207 * * * * [misc]points:  Sampling 4 additional inputs, on iter 4 have 7997 / 8000
1545040855.208 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040855.208 * * * * [exit]points:  Sampled 8000 points with exact outputs
1545040855.457 * [misc]regime-testing:  Baseline error score: 0.006625
1545040855.457 * [misc]regime-testing:  End program error score: 0.006625
1545040855.460 * [misc]regime-testing:  Oracle error score: 0