1545990540.639 * [misc]progress:  [Phase 1 of 3] Setting up.
1545990540.640 * * * [misc]progress:  [1/2] Preparing points
1545990540.640 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545990540.759 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990540.760 * * * * [misc]points:  Sampling 28 additional inputs, on iter 1 have 228 / 256
1545990540.762 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990540.762 * * * * [misc]points:  Sampling 6 additional inputs, on iter 2 have 250 / 256
1545990540.764 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990540.764 * * * * [exit]points:  Sampled 256 points with exact outputs
1545990540.764 * * * [misc]progress:  [2/2] Setting up program.
1545990540.767 * [misc]progress:  [Phase 2 of 3] Improving.
1545990540.768 * [enter]simplify:  Simplifying (+ (* re im) (* im re))
1545990540.769 * * [misc]simplify:  iters left: 4 (5 enodes)
1545990540.774 * * [misc]simplify:  iters left: 3 (7 enodes)
1545990540.775 * * [misc]simplify:  iters left: 2 (14 enodes)
1545990540.777 * * [misc]simplify:  iters left: 1 (16 enodes)
1545990540.780 * [exit]simplify:  Simplified to (* re (+ im im))
1545990540.786 * * [misc]progress:  iteration 1 / 4
1545990540.787 * * * [misc]progress:  picking best candidate
1545990540.791 * * * * [misc]pick:  Picked  #<alt (λ (re im) (+ (* re im) (* im re)))>
1545990540.791 * * * [misc]progress:  localizing error
1545990540.803 * * * [misc]progress:  generating rewritten candidates
1545990540.803 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1545990540.863 * * * [misc]progress:  generating series expansions
1545990540.864 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1545990540.870 * [misc]backup-simplify:  Simplify (+ (* re im) (* im re)) into (* 2 (* re im))
1545990540.871 * [misc]approximate:  Taking taylor expansion of (* 2 (* re im)) in (re im) around 0
1545990540.872 * [misc]taylor:  Taking taylor expansion of (* 2 (* re im)) in im
1545990540.872 * [misc]taylor:  Taking taylor expansion of 2 in im
1545990540.872 * [misc]backup-simplify:  Simplify 2 into 2
1545990540.872 * [misc]taylor:  Taking taylor expansion of (* re im) in im
1545990540.872 * [misc]taylor:  Taking taylor expansion of re in im
1545990540.872 * [misc]backup-simplify:  Simplify re into re
1545990540.872 * [misc]taylor:  Taking taylor expansion of im in im
1545990540.872 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.872 * [misc]backup-simplify:  Simplify 1 into 1
1545990540.872 * [misc]taylor:  Taking taylor expansion of (* 2 (* re im)) in re
1545990540.872 * [misc]taylor:  Taking taylor expansion of 2 in re
1545990540.872 * [misc]backup-simplify:  Simplify 2 into 2
1545990540.872 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1545990540.872 * [misc]taylor:  Taking taylor expansion of re in re
1545990540.872 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.872 * [misc]backup-simplify:  Simplify 1 into 1
1545990540.872 * [misc]taylor:  Taking taylor expansion of im in re
1545990540.872 * [misc]backup-simplify:  Simplify im into im
1545990540.872 * [misc]taylor:  Taking taylor expansion of (* 2 (* re im)) in re
1545990540.872 * [misc]taylor:  Taking taylor expansion of 2 in re
1545990540.872 * [misc]backup-simplify:  Simplify 2 into 2
1545990540.872 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1545990540.872 * [misc]taylor:  Taking taylor expansion of re in re
1545990540.872 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.872 * [misc]backup-simplify:  Simplify 1 into 1
1545990540.872 * [misc]taylor:  Taking taylor expansion of im in re
1545990540.872 * [misc]backup-simplify:  Simplify im into im
1545990540.873 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1545990540.873 * [misc]backup-simplify:  Simplify (* 2 0) into 0
1545990540.874 * [misc]taylor:  Taking taylor expansion of 0 in im
1545990540.874 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.874 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.874 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1545990540.874 * [misc]backup-simplify:  Simplify (+ (* 2 im) (* 0 0)) into (* 2 im)
1545990540.874 * [misc]taylor:  Taking taylor expansion of (* 2 im) in im
1545990540.874 * [misc]taylor:  Taking taylor expansion of 2 in im
1545990540.874 * [misc]backup-simplify:  Simplify 2 into 2
1545990540.874 * [misc]taylor:  Taking taylor expansion of im in im
1545990540.874 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.874 * [misc]backup-simplify:  Simplify 1 into 1
1545990540.874 * [misc]backup-simplify:  Simplify (* 2 0) into 0
1545990540.875 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.875 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.875 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 im))) into 0
1545990540.875 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 im) (* 0 0))) into 0
1545990540.875 * [misc]taylor:  Taking taylor expansion of 0 in im
1545990540.875 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.875 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.875 * [misc]backup-simplify:  Simplify (+ (* 2 1) (* 0 0)) into 2
1545990540.875 * [misc]backup-simplify:  Simplify 2 into 2
1545990540.876 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.876 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 im)))) into 0
1545990540.877 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 im) (* 0 0)))) into 0
1545990540.877 * [misc]taylor:  Taking taylor expansion of 0 in im
1545990540.877 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.877 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.877 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.877 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0
1545990540.877 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.877 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.878 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0
1545990540.878 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 im) (* 0 0))))) into 0
1545990540.879 * [misc]taylor:  Taking taylor expansion of 0 in im
1545990540.879 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.879 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.879 * [misc]backup-simplify:  Simplify (* 2 (* im re)) into (* 2 (* re im))
1545990540.879 * [misc]backup-simplify:  Simplify (+ (* (/ 1 re) (/ 1 im)) (* (/ 1 im) (/ 1 re))) into (* 2 (/ 1 (* re im)))
1545990540.879 * [misc]approximate:  Taking taylor expansion of (* 2 (/ 1 (* re im))) in (re im) around 0
1545990540.879 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (* re im))) in im
1545990540.879 * [misc]taylor:  Taking taylor expansion of 2 in im
1545990540.879 * [misc]backup-simplify:  Simplify 2 into 2
1545990540.879 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in im
1545990540.879 * [misc]taylor:  Taking taylor expansion of (* re im) in im
1545990540.879 * [misc]taylor:  Taking taylor expansion of re in im
1545990540.879 * [misc]backup-simplify:  Simplify re into re
1545990540.879 * [misc]taylor:  Taking taylor expansion of im in im
1545990540.879 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.879 * [misc]backup-simplify:  Simplify 1 into 1
1545990540.880 * [misc]backup-simplify:  Simplify (* re 0) into 0
1545990540.880 * [misc]backup-simplify:  Simplify (+ (* re 1) (* 0 0)) into re
1545990540.880 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1545990540.880 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (* re im))) in re
1545990540.880 * [misc]taylor:  Taking taylor expansion of 2 in re
1545990540.880 * [misc]backup-simplify:  Simplify 2 into 2
1545990540.880 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in re
1545990540.880 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1545990540.880 * [misc]taylor:  Taking taylor expansion of re in re
1545990540.880 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.880 * [misc]backup-simplify:  Simplify 1 into 1
1545990540.880 * [misc]taylor:  Taking taylor expansion of im in re
1545990540.880 * [misc]backup-simplify:  Simplify im into im
1545990540.880 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1545990540.880 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1545990540.880 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1545990540.880 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (* re im))) in re
1545990540.880 * [misc]taylor:  Taking taylor expansion of 2 in re
1545990540.880 * [misc]backup-simplify:  Simplify 2 into 2
1545990540.880 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in re
1545990540.881 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1545990540.881 * [misc]taylor:  Taking taylor expansion of re in re
1545990540.881 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.881 * [misc]backup-simplify:  Simplify 1 into 1
1545990540.881 * [misc]taylor:  Taking taylor expansion of im in re
1545990540.881 * [misc]backup-simplify:  Simplify im into im
1545990540.881 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1545990540.881 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1545990540.881 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1545990540.881 * [misc]backup-simplify:  Simplify (* 2 (/ 1 im)) into (/ 2 im)
1545990540.881 * [misc]taylor:  Taking taylor expansion of (/ 2 im) in im
1545990540.881 * [misc]taylor:  Taking taylor expansion of 2 in im
1545990540.881 * [misc]backup-simplify:  Simplify 2 into 2
1545990540.881 * [misc]taylor:  Taking taylor expansion of im in im
1545990540.881 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.881 * [misc]backup-simplify:  Simplify 1 into 1
1545990540.881 * [misc]backup-simplify:  Simplify (/ 2 1) into 2
1545990540.882 * [misc]backup-simplify:  Simplify 2 into 2
1545990540.882 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 im))) into 0
1545990540.882 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1545990540.882 * [misc]backup-simplify:  Simplify (+ (* 2 0) (* 0 (/ 1 im))) into 0
1545990540.882 * [misc]taylor:  Taking taylor expansion of 0 in im
1545990540.882 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.883 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)))) into 0
1545990540.883 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.884 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 im)))) into 0
1545990540.884 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1545990540.884 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 im)))) into 0
1545990540.884 * [misc]taylor:  Taking taylor expansion of 0 in im
1545990540.884 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.884 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.884 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545990540.885 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.885 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0
1545990540.885 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1545990540.886 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 im))))) into 0
1545990540.886 * [misc]taylor:  Taking taylor expansion of 0 in im
1545990540.886 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.886 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.886 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.886 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545990540.887 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.887 * [misc]backup-simplify:  Simplify (* 2 (* (/ 1 (/ 1 im)) (/ 1 (/ 1 re)))) into (* 2 (* re im))
1545990540.887 * [misc]backup-simplify:  Simplify (+ (* (/ 1 (- re)) (/ 1 (- im))) (* (/ 1 (- im)) (/ 1 (- re)))) into (* 2 (/ 1 (* re im)))
1545990540.887 * [misc]approximate:  Taking taylor expansion of (* 2 (/ 1 (* re im))) in (re im) around 0
1545990540.887 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (* re im))) in im
1545990540.887 * [misc]taylor:  Taking taylor expansion of 2 in im
1545990540.887 * [misc]backup-simplify:  Simplify 2 into 2
1545990540.887 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in im
1545990540.887 * [misc]taylor:  Taking taylor expansion of (* re im) in im
1545990540.887 * [misc]taylor:  Taking taylor expansion of re in im
1545990540.887 * [misc]backup-simplify:  Simplify re into re
1545990540.887 * [misc]taylor:  Taking taylor expansion of im in im
1545990540.887 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.887 * [misc]backup-simplify:  Simplify 1 into 1
1545990540.887 * [misc]backup-simplify:  Simplify (* re 0) into 0
1545990540.888 * [misc]backup-simplify:  Simplify (+ (* re 1) (* 0 0)) into re
1545990540.888 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1545990540.888 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (* re im))) in re
1545990540.888 * [misc]taylor:  Taking taylor expansion of 2 in re
1545990540.888 * [misc]backup-simplify:  Simplify 2 into 2
1545990540.888 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in re
1545990540.888 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1545990540.888 * [misc]taylor:  Taking taylor expansion of re in re
1545990540.888 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.888 * [misc]backup-simplify:  Simplify 1 into 1
1545990540.888 * [misc]taylor:  Taking taylor expansion of im in re
1545990540.888 * [misc]backup-simplify:  Simplify im into im
1545990540.888 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1545990540.888 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1545990540.888 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1545990540.888 * [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (* re im))) in re
1545990540.888 * [misc]taylor:  Taking taylor expansion of 2 in re
1545990540.888 * [misc]backup-simplify:  Simplify 2 into 2
1545990540.888 * [misc]taylor:  Taking taylor expansion of (/ 1 (* re im)) in re
1545990540.888 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1545990540.888 * [misc]taylor:  Taking taylor expansion of re in re
1545990540.888 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.888 * [misc]backup-simplify:  Simplify 1 into 1
1545990540.888 * [misc]taylor:  Taking taylor expansion of im in re
1545990540.888 * [misc]backup-simplify:  Simplify im into im
1545990540.888 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1545990540.889 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1545990540.889 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1545990540.889 * [misc]backup-simplify:  Simplify (* 2 (/ 1 im)) into (/ 2 im)
1545990540.889 * [misc]taylor:  Taking taylor expansion of (/ 2 im) in im
1545990540.889 * [misc]taylor:  Taking taylor expansion of 2 in im
1545990540.889 * [misc]backup-simplify:  Simplify 2 into 2
1545990540.889 * [misc]taylor:  Taking taylor expansion of im in im
1545990540.889 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.889 * [misc]backup-simplify:  Simplify 1 into 1
1545990540.889 * [misc]backup-simplify:  Simplify (/ 2 1) into 2
1545990540.889 * [misc]backup-simplify:  Simplify 2 into 2
1545990540.889 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 im))) into 0
1545990540.889 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1545990540.890 * [misc]backup-simplify:  Simplify (+ (* 2 0) (* 0 (/ 1 im))) into 0
1545990540.890 * [misc]taylor:  Taking taylor expansion of 0 in im
1545990540.890 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.890 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)))) into 0
1545990540.890 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.890 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 im)))) into 0
1545990540.891 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1545990540.891 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 im)))) into 0
1545990540.891 * [misc]taylor:  Taking taylor expansion of 0 in im
1545990540.891 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.891 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.891 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545990540.891 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.892 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0
1545990540.892 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1545990540.892 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 im))))) into 0
1545990540.892 * [misc]taylor:  Taking taylor expansion of 0 in im
1545990540.893 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.893 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.893 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.893 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545990540.893 * [misc]backup-simplify:  Simplify 0 into 0
1545990540.893 * [misc]backup-simplify:  Simplify (* 2 (* (/ 1 (/ 1 (- im))) (/ 1 (/ 1 (- re))))) into (* 2 (* re im))
1545990540.893 * * * [misc]progress:  simplifying candidates
1545990540.893 * * * * [misc]progress:  [ 1 / 17 ] simplifiying candidate #<alt (λ (re im) (log1p (expm1 (+ (* re im) (* im re)))))>
1545990540.894 * * * * [misc]progress:  [ 2 / 17 ] simplifiying candidate #<alt (λ (re im) (expm1 (log1p (+ (* re im) (* im re)))))>
1545990540.894 * * * * [misc]progress:  [ 3 / 17 ] simplifiying candidate #<alt (λ (re im) (fma re im (* im re)))>
1545990540.894 * * * * [misc]progress:  [ 4 / 17 ] simplifiying candidate #<alt (λ (re im) (log (* (exp (* re im)) (exp (* im re)))))>
1545990540.894 * [enter]simplify:  Simplifying (* (exp (* re im)) (exp (* im re)))
1545990540.894 * * [misc]simplify:  iters left: 5 (7 enodes)
1545990540.896 * * [misc]simplify:  iters left: 4 (14 enodes)
1545990540.899 * * [misc]simplify:  iters left: 3 (28 enodes)
1545990540.904 * * [misc]simplify:  iters left: 2 (38 enodes)
1545990540.941 * [exit]simplify:  Simplified to (pow (exp im) (+ re re))
1545990540.941 * [misc]simplify:  Simplified (2 1) to (λ (re im) (log (pow (exp im) (+ re re))))
1545990540.942 * * * * [misc]progress:  [ 5 / 17 ] simplifiying candidate #<alt (λ (re im) (pow (+ (* re im) (* im re)) 1))>
1545990540.942 * * * * [misc]progress:  [ 6 / 17 ] simplifiying candidate #<alt (λ (re im) (exp (log (+ (* re im) (* im re)))))>
1545990540.942 * * * * [misc]progress:  [ 7 / 17 ] simplifiying candidate #<alt (λ (re im) (log (exp (+ (* re im) (* im re)))))>
1545990540.942 * * * * [misc]progress:  [ 8 / 17 ] simplifiying candidate #<alt (λ (re im) (* (* (cbrt (+ (* re im) (* im re))) (cbrt (+ (* re im) (* im re)))) (cbrt (+ (* re im) (* im re)))))>
1545990540.942 * * * * [misc]progress:  [ 9 / 17 ] simplifiying candidate #<alt (λ (re im) (cbrt (* (* (+ (* re im) (* im re)) (+ (* re im) (* im re))) (+ (* re im) (* im re)))))>
1545990540.942 * * * * [misc]progress:  [ 10 / 17 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (+ (* re im) (* im re))) (sqrt (+ (* re im) (* im re)))))>
1545990540.942 * * * * [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))))))>
1545990540.942 * * * * [misc]progress:  [ 12 / 17 ] simplifiying candidate #<alt (λ (re im) (* 1 (+ (* re im) (* im re))))>
1545990540.942 * * * * [misc]progress:  [ 13 / 17 ] simplifiying candidate #<alt (λ (re im) (/ (- (* (* re im) (* re im)) (* (* im re) (* im re))) (- (* re im) (* im re))))>
1545990540.942 * * * * [misc]progress:  [ 14 / 17 ] simplifiying candidate #<alt (λ (re im) (+ (* im re) (* re im)))>
1545990540.943 * * * * [misc]progress:  [ 15 / 17 ] simplifiying candidate #<alt (λ (re im) (* 2 (* re im)))>
1545990540.943 * [enter]simplify:  Simplifying (* 2 (* re im))
1545990540.943 * * [misc]simplify:  iters left: 4 (5 enodes)
1545990540.946 * * [misc]simplify:  iters left: 3 (9 enodes)
1545990540.950 * * [misc]simplify:  iters left: 2 (15 enodes)
1545990540.956 * * [misc]simplify:  iters left: 1 (17 enodes)
1545990540.961 * [exit]simplify:  Simplified to (* (* im re) 2)
1545990540.961 * [misc]simplify:  Simplified (2) to (λ (re im) (* (* im re) 2))
1545990540.962 * * * * [misc]progress:  [ 16 / 17 ] simplifiying candidate #<alt (λ (re im) (* 2 (* re im)))>
1545990540.962 * [enter]simplify:  Simplifying (* 2 (* re im))
1545990540.962 * * [misc]simplify:  iters left: 4 (5 enodes)
1545990540.964 * * [misc]simplify:  iters left: 3 (9 enodes)
1545990540.967 * * [misc]simplify:  iters left: 2 (15 enodes)
1545990540.972 * * [misc]simplify:  iters left: 1 (17 enodes)
1545990540.976 * [exit]simplify:  Simplified to (* (* im re) 2)
1545990540.976 * [misc]simplify:  Simplified (2) to (λ (re im) (* (* im re) 2))
1545990540.976 * * * * [misc]progress:  [ 17 / 17 ] simplifiying candidate #<alt (λ (re im) (* 2 (* re im)))>
1545990540.977 * [enter]simplify:  Simplifying (* 2 (* re im))
1545990540.977 * * [misc]simplify:  iters left: 4 (5 enodes)
1545990540.978 * * [misc]simplify:  iters left: 3 (9 enodes)
1545990541.014 * * [misc]simplify:  iters left: 2 (15 enodes)
1545990541.020 * * [misc]simplify:  iters left: 1 (17 enodes)
1545990541.026 * [exit]simplify:  Simplified to (* (* im re) 2)
1545990541.026 * [misc]simplify:  Simplified (2) to (λ (re im) (* (* im re) 2))
1545990541.026 * * * [misc]progress:  adding candidates to table
1545990541.214 * * [misc]progress:  iteration 2 / 4
1545990541.214 * * * [misc]progress:  picking best candidate
1545990541.218 * * * * [misc]pick:  Picked  #<alt (λ (re im) (* re (+ im im)))>
1545990541.218 * * * [misc]progress:  localizing error
1545990541.229 * * * [misc]progress:  generating rewritten candidates
1545990541.229 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1545990541.231 * * * [misc]progress:  generating series expansions
1545990541.232 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1545990541.232 * [misc]backup-simplify:  Simplify (* re (+ im im)) into (* 2 (* re im))
1545990541.232 * [misc]approximate:  Taking taylor expansion of (* 2 (* re im)) in (re im) around 0
1545990541.232 * [misc]taylor:  Taking taylor expansion of (* 2 (* re im)) in im
1545990541.232 * [misc]taylor:  Taking taylor expansion of 2 in im
1545990541.232 * [misc]backup-simplify:  Simplify 2 into 2
1545990541.232 * [misc]taylor:  Taking taylor expansion of (* re im) in im
1545990541.232 * [misc]taylor:  Taking taylor expansion of re in im
1545990541.232 * [misc]backup-simplify:  Simplify re into re
1545990541.232 * [misc]taylor:  Taking taylor expansion of im in im
1545990541.232 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.232 * [misc]backup-simplify:  Simplify 1 into 1
1545990541.232 * [misc]taylor:  Taking taylor expansion of (* 2 (* re im)) in re
1545990541.232 * [misc]taylor:  Taking taylor expansion of 2 in re
1545990541.232 * [misc]backup-simplify:  Simplify 2 into 2
1545990541.232 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1545990541.232 * [misc]taylor:  Taking taylor expansion of re in re
1545990541.232 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.232 * [misc]backup-simplify:  Simplify 1 into 1
1545990541.232 * [misc]taylor:  Taking taylor expansion of im in re
1545990541.232 * [misc]backup-simplify:  Simplify im into im
1545990541.232 * [misc]taylor:  Taking taylor expansion of (* 2 (* re im)) in re
1545990541.232 * [misc]taylor:  Taking taylor expansion of 2 in re
1545990541.232 * [misc]backup-simplify:  Simplify 2 into 2
1545990541.232 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1545990541.232 * [misc]taylor:  Taking taylor expansion of re in re
1545990541.232 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.232 * [misc]backup-simplify:  Simplify 1 into 1
1545990541.232 * [misc]taylor:  Taking taylor expansion of im in re
1545990541.232 * [misc]backup-simplify:  Simplify im into im
1545990541.233 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1545990541.233 * [misc]backup-simplify:  Simplify (* 2 0) into 0
1545990541.233 * [misc]taylor:  Taking taylor expansion of 0 in im
1545990541.233 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.233 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.233 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1545990541.234 * [misc]backup-simplify:  Simplify (+ (* 2 im) (* 0 0)) into (* 2 im)
1545990541.234 * [misc]taylor:  Taking taylor expansion of (* 2 im) in im
1545990541.234 * [misc]taylor:  Taking taylor expansion of 2 in im
1545990541.234 * [misc]backup-simplify:  Simplify 2 into 2
1545990541.234 * [misc]taylor:  Taking taylor expansion of im in im
1545990541.234 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.234 * [misc]backup-simplify:  Simplify 1 into 1
1545990541.234 * [misc]backup-simplify:  Simplify (* 2 0) into 0
1545990541.234 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.234 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.234 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 im))) into 0
1545990541.235 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 im) (* 0 0))) into 0
1545990541.235 * [misc]taylor:  Taking taylor expansion of 0 in im
1545990541.235 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.235 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.235 * [misc]backup-simplify:  Simplify (+ (* 2 1) (* 0 0)) into 2
1545990541.235 * [misc]backup-simplify:  Simplify 2 into 2
1545990541.235 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.236 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 im)))) into 0
1545990541.236 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 im) (* 0 0)))) into 0
1545990541.236 * [misc]taylor:  Taking taylor expansion of 0 in im
1545990541.236 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.236 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.236 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.236 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0
1545990541.237 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.237 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.237 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0
1545990541.238 * [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 im) (* 0 0))))) into 0
1545990541.238 * [misc]taylor:  Taking taylor expansion of 0 in im
1545990541.238 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.238 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.238 * [misc]backup-simplify:  Simplify (* 2 (* im re)) into (* 2 (* re im))
1545990541.238 * [misc]backup-simplify:  Simplify (* (/ 1 re) (+ (/ 1 im) (/ 1 im))) into (/ 2 (* re im))
1545990541.238 * [misc]approximate:  Taking taylor expansion of (/ 2 (* re im)) in (re im) around 0
1545990541.238 * [misc]taylor:  Taking taylor expansion of (/ 2 (* re im)) in im
1545990541.238 * [misc]taylor:  Taking taylor expansion of 2 in im
1545990541.238 * [misc]backup-simplify:  Simplify 2 into 2
1545990541.238 * [misc]taylor:  Taking taylor expansion of (* re im) in im
1545990541.238 * [misc]taylor:  Taking taylor expansion of re in im
1545990541.238 * [misc]backup-simplify:  Simplify re into re
1545990541.238 * [misc]taylor:  Taking taylor expansion of im in im
1545990541.238 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.238 * [misc]backup-simplify:  Simplify 1 into 1
1545990541.238 * [misc]backup-simplify:  Simplify (* re 0) into 0
1545990541.239 * [misc]backup-simplify:  Simplify (+ (* re 1) (* 0 0)) into re
1545990541.239 * [misc]backup-simplify:  Simplify (/ 2 re) into (/ 2 re)
1545990541.239 * [misc]taylor:  Taking taylor expansion of (/ 2 (* re im)) in re
1545990541.239 * [misc]taylor:  Taking taylor expansion of 2 in re
1545990541.239 * [misc]backup-simplify:  Simplify 2 into 2
1545990541.239 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1545990541.239 * [misc]taylor:  Taking taylor expansion of re in re
1545990541.239 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.239 * [misc]backup-simplify:  Simplify 1 into 1
1545990541.239 * [misc]taylor:  Taking taylor expansion of im in re
1545990541.239 * [misc]backup-simplify:  Simplify im into im
1545990541.239 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1545990541.239 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1545990541.239 * [misc]backup-simplify:  Simplify (/ 2 im) into (/ 2 im)
1545990541.239 * [misc]taylor:  Taking taylor expansion of (/ 2 (* re im)) in re
1545990541.239 * [misc]taylor:  Taking taylor expansion of 2 in re
1545990541.239 * [misc]backup-simplify:  Simplify 2 into 2
1545990541.239 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1545990541.239 * [misc]taylor:  Taking taylor expansion of re in re
1545990541.239 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.239 * [misc]backup-simplify:  Simplify 1 into 1
1545990541.240 * [misc]taylor:  Taking taylor expansion of im in re
1545990541.240 * [misc]backup-simplify:  Simplify im into im
1545990541.240 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1545990541.240 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1545990541.240 * [misc]backup-simplify:  Simplify (/ 2 im) into (/ 2 im)
1545990541.240 * [misc]taylor:  Taking taylor expansion of (/ 2 im) in im
1545990541.240 * [misc]taylor:  Taking taylor expansion of 2 in im
1545990541.240 * [misc]backup-simplify:  Simplify 2 into 2
1545990541.240 * [misc]taylor:  Taking taylor expansion of im in im
1545990541.240 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.240 * [misc]backup-simplify:  Simplify 1 into 1
1545990541.240 * [misc]backup-simplify:  Simplify (/ 2 1) into 2
1545990541.240 * [misc]backup-simplify:  Simplify 2 into 2
1545990541.241 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 im))) into 0
1545990541.241 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ 2 im) (/ 0 im)))) into 0
1545990541.241 * [misc]taylor:  Taking taylor expansion of 0 in im
1545990541.241 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.241 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)))) into 0
1545990541.241 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.242 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 im)))) into 0
1545990541.242 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ 2 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1545990541.242 * [misc]taylor:  Taking taylor expansion of 0 in im
1545990541.242 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.242 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.242 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545990541.242 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.243 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0
1545990541.243 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ 2 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1545990541.243 * [misc]taylor:  Taking taylor expansion of 0 in im
1545990541.243 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.243 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.244 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.244 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545990541.244 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.244 * [misc]backup-simplify:  Simplify (* 2 (* (/ 1 (/ 1 im)) (/ 1 (/ 1 re)))) into (* 2 (* re im))
1545990541.245 * [misc]backup-simplify:  Simplify (* (/ 1 (- re)) (+ (/ 1 (- im)) (/ 1 (- im)))) into (/ 2 (* re im))
1545990541.245 * [misc]approximate:  Taking taylor expansion of (/ 2 (* re im)) in (re im) around 0
1545990541.245 * [misc]taylor:  Taking taylor expansion of (/ 2 (* re im)) in im
1545990541.245 * [misc]taylor:  Taking taylor expansion of 2 in im
1545990541.245 * [misc]backup-simplify:  Simplify 2 into 2
1545990541.245 * [misc]taylor:  Taking taylor expansion of (* re im) in im
1545990541.245 * [misc]taylor:  Taking taylor expansion of re in im
1545990541.245 * [misc]backup-simplify:  Simplify re into re
1545990541.245 * [misc]taylor:  Taking taylor expansion of im in im
1545990541.245 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.245 * [misc]backup-simplify:  Simplify 1 into 1
1545990541.245 * [misc]backup-simplify:  Simplify (* re 0) into 0
1545990541.245 * [misc]backup-simplify:  Simplify (+ (* re 1) (* 0 0)) into re
1545990541.245 * [misc]backup-simplify:  Simplify (/ 2 re) into (/ 2 re)
1545990541.245 * [misc]taylor:  Taking taylor expansion of (/ 2 (* re im)) in re
1545990541.245 * [misc]taylor:  Taking taylor expansion of 2 in re
1545990541.245 * [misc]backup-simplify:  Simplify 2 into 2
1545990541.245 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1545990541.245 * [misc]taylor:  Taking taylor expansion of re in re
1545990541.245 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.245 * [misc]backup-simplify:  Simplify 1 into 1
1545990541.245 * [misc]taylor:  Taking taylor expansion of im in re
1545990541.246 * [misc]backup-simplify:  Simplify im into im
1545990541.246 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1545990541.246 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1545990541.246 * [misc]backup-simplify:  Simplify (/ 2 im) into (/ 2 im)
1545990541.246 * [misc]taylor:  Taking taylor expansion of (/ 2 (* re im)) in re
1545990541.246 * [misc]taylor:  Taking taylor expansion of 2 in re
1545990541.246 * [misc]backup-simplify:  Simplify 2 into 2
1545990541.246 * [misc]taylor:  Taking taylor expansion of (* re im) in re
1545990541.246 * [misc]taylor:  Taking taylor expansion of re in re
1545990541.246 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.246 * [misc]backup-simplify:  Simplify 1 into 1
1545990541.246 * [misc]taylor:  Taking taylor expansion of im in re
1545990541.246 * [misc]backup-simplify:  Simplify im into im
1545990541.246 * [misc]backup-simplify:  Simplify (* 0 im) into 0
1545990541.246 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 im)) into im
1545990541.247 * [misc]backup-simplify:  Simplify (/ 2 im) into (/ 2 im)
1545990541.247 * [misc]taylor:  Taking taylor expansion of (/ 2 im) in im
1545990541.247 * [misc]taylor:  Taking taylor expansion of 2 in im
1545990541.247 * [misc]backup-simplify:  Simplify 2 into 2
1545990541.247 * [misc]taylor:  Taking taylor expansion of im in im
1545990541.247 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.247 * [misc]backup-simplify:  Simplify 1 into 1
1545990541.247 * [misc]backup-simplify:  Simplify (/ 2 1) into 2
1545990541.247 * [misc]backup-simplify:  Simplify 2 into 2
1545990541.247 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 im))) into 0
1545990541.248 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ 2 im) (/ 0 im)))) into 0
1545990541.248 * [misc]taylor:  Taking taylor expansion of 0 in im
1545990541.248 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.248 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)))) into 0
1545990541.248 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.248 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 im)))) into 0
1545990541.249 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ 2 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1545990541.249 * [misc]taylor:  Taking taylor expansion of 0 in im
1545990541.249 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.249 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.249 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545990541.249 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.250 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0
1545990541.250 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ 2 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1545990541.250 * [misc]taylor:  Taking taylor expansion of 0 in im
1545990541.250 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.250 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.250 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.251 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545990541.251 * [misc]backup-simplify:  Simplify 0 into 0
1545990541.251 * [misc]backup-simplify:  Simplify (* 2 (* (/ 1 (/ 1 (- im))) (/ 1 (/ 1 (- re))))) into (* 2 (* re im))
1545990541.251 * * * [misc]progress:  simplifying candidates
1545990541.251 * * * * [misc]progress:  [ 1 / 20 ] simplifiying candidate #<alt (λ (re im) (log1p (expm1 (* re (+ im im)))))>
1545990541.251 * * * * [misc]progress:  [ 2 / 20 ] simplifiying candidate #<alt (λ (re im) (expm1 (log1p (* re (+ im im)))))>
1545990541.251 * * * * [misc]progress:  [ 3 / 20 ] simplifiying candidate #<alt (λ (re im) (pow (* re (+ im im)) 1))>
1545990541.251 * * * * [misc]progress:  [ 4 / 20 ] simplifiying candidate #<alt (λ (re im) (exp (log (* re (+ im im)))))>
1545990541.251 * * * * [misc]progress:  [ 5 / 20 ] simplifiying candidate #<alt (λ (re im) (log (exp (* re (+ im im)))))>
1545990541.251 * * * * [misc]progress:  [ 6 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* (cbrt (* re (+ im im))) (cbrt (* re (+ im im)))) (cbrt (* re (+ im im)))))>
1545990541.251 * * * * [misc]progress:  [ 7 / 20 ] simplifiying candidate #<alt (λ (re im) (cbrt (* (* (* re (+ im im)) (* re (+ im im))) (* re (+ im im)))))>
1545990541.251 * * * * [misc]progress:  [ 8 / 20 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (* re (+ im im))) (sqrt (* re (+ im im)))))>
1545990541.251 * * * * [misc]progress:  [ 9 / 20 ] simplifiying candidate #<alt (λ (re im) (* 1 (* re (+ im im))))>
1545990541.251 * * * * [misc]progress:  [ 10 / 20 ] simplifiying candidate #<alt (λ (re im) (+ (* re im) (* re im)))>
1545990541.252 * [enter]simplify:  Simplifying (* re im)
1545990541.252 * * [misc]simplify:  iters left: 2 (3 enodes)
1545990541.253 * * [misc]simplify:  iters left: 1 (4 enodes)
1545990541.254 * [exit]simplify:  Simplified to (* re im)
1545990541.254 * [misc]simplify:  Simplified (2 2) to (λ (re im) (+ (* re im) (* re im)))
1545990541.254 * * * * [misc]progress:  [ 11 / 20 ] simplifiying candidate #<alt (λ (re im) (+ (* im re) (* im re)))>
1545990541.254 * [enter]simplify:  Simplifying (* im re)
1545990541.254 * * [misc]simplify:  iters left: 2 (3 enodes)
1545990541.255 * * [misc]simplify:  iters left: 1 (4 enodes)
1545990541.256 * [exit]simplify:  Simplified to (* im re)
1545990541.256 * [misc]simplify:  Simplified (2 2) to (λ (re im) (+ (* im re) (* im re)))
1545990541.256 * * * * [misc]progress:  [ 12 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* re (* (cbrt (+ im im)) (cbrt (+ im im)))) (cbrt (+ im im))))>
1545990541.257 * [enter]simplify:  Simplifying (cbrt (+ im im))
1545990541.257 * * [misc]simplify:  iters left: 3 (3 enodes)
1545990541.258 * [exit]simplify:  Simplified to (cbrt (+ im im))
1545990541.258 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (* re (* (cbrt (+ im im)) (cbrt (+ im im)))) (cbrt (+ im im))))
1545990541.258 * * * * [misc]progress:  [ 13 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* re (sqrt (+ im im))) (sqrt (+ im im))))>
1545990541.258 * [enter]simplify:  Simplifying (sqrt (+ im im))
1545990541.258 * * [misc]simplify:  iters left: 3 (3 enodes)
1545990541.259 * [exit]simplify:  Simplified to (sqrt (+ im im))
1545990541.259 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (* re (sqrt (+ im im))) (sqrt (+ im im))))
1545990541.259 * * * * [misc]progress:  [ 14 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* re 1) (+ im im)))>
1545990541.259 * [enter]simplify:  Simplifying (+ im im)
1545990541.260 * * [misc]simplify:  iters left: 2 (2 enodes)
1545990541.260 * [exit]simplify:  Simplified to (+ im im)
1545990541.260 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (* re 1) (+ im im)))
1545990541.260 * * * * [misc]progress:  [ 15 / 20 ] simplifiying candidate #<alt (λ (re im) (/ (* re (+ (pow im 3) (pow im 3))) (+ (* im im) (- (* im im) (* im im)))))>
1545990541.261 * [enter]simplify:  Simplifying (+ (* im im) (- (* im im) (* im im)))
1545990541.261 * * [misc]simplify:  iters left: 6 (4 enodes)
1545990541.263 * * [misc]simplify:  iters left: 5 (9 enodes)
1545990541.266 * * [misc]simplify:  iters left: 4 (14 enodes)
1545990541.271 * * [misc]simplify:  iters left: 3 (20 enodes)
1545990541.275 * * [misc]simplify:  iters left: 2 (24 enodes)
1545990541.278 * [exit]simplify:  Simplified to (* im im)
1545990541.278 * [misc]simplify:  Simplified (2 2) to (λ (re im) (/ (* re (+ (pow im 3) (pow im 3))) (* im im)))
1545990541.278 * * * * [misc]progress:  [ 16 / 20 ] simplifiying candidate #<alt (λ (re im) (/ (* re (- (* im im) (* im im))) (- im im)))>
1545990541.279 * [enter]simplify:  Simplifying (- im im)
1545990541.279 * * [misc]simplify:  iters left: 2 (2 enodes)
1545990541.279 * * [misc]simplify:  iters left: 1 (3 enodes)
1545990541.280 * [exit]simplify:  Simplified to 0
1545990541.280 * [misc]simplify:  Simplified (2 2) to (λ (re im) (/ (* re (- (* im im) (* im im))) 0))
1545990541.280 * * * * [misc]progress:  [ 17 / 20 ] simplifiying candidate #<alt (λ (re im) (* (+ im im) re))>
1545990541.280 * * * * [misc]progress:  [ 18 / 20 ] simplifiying candidate #<alt (λ (re im) (* 2 (* re im)))>
1545990541.280 * [enter]simplify:  Simplifying (* 2 (* re im))
1545990541.280 * * [misc]simplify:  iters left: 4 (5 enodes)
1545990541.282 * * [misc]simplify:  iters left: 3 (9 enodes)
1545990541.285 * * [misc]simplify:  iters left: 2 (15 enodes)
1545990541.288 * * [misc]simplify:  iters left: 1 (17 enodes)
1545990541.290 * [exit]simplify:  Simplified to (* (* im re) 2)
1545990541.290 * [misc]simplify:  Simplified (2) to (λ (re im) (* (* im re) 2))
1545990541.290 * * * * [misc]progress:  [ 19 / 20 ] simplifiying candidate #<alt (λ (re im) (* 2 (* re im)))>
1545990541.290 * [enter]simplify:  Simplifying (* 2 (* re im))
1545990541.290 * * [misc]simplify:  iters left: 4 (5 enodes)
1545990541.291 * * [misc]simplify:  iters left: 3 (9 enodes)
1545990541.293 * * [misc]simplify:  iters left: 2 (15 enodes)
1545990541.295 * * [misc]simplify:  iters left: 1 (17 enodes)
1545990541.297 * [exit]simplify:  Simplified to (* (* im re) 2)
1545990541.297 * [misc]simplify:  Simplified (2) to (λ (re im) (* (* im re) 2))
1545990541.297 * * * * [misc]progress:  [ 20 / 20 ] simplifiying candidate #<alt (λ (re im) (* 2 (* re im)))>
1545990541.297 * [enter]simplify:  Simplifying (* 2 (* re im))
1545990541.297 * * [misc]simplify:  iters left: 4 (5 enodes)
1545990541.298 * * [misc]simplify:  iters left: 3 (9 enodes)
1545990541.300 * * [misc]simplify:  iters left: 2 (15 enodes)
1545990541.304 * * [misc]simplify:  iters left: 1 (17 enodes)
1545990541.308 * [exit]simplify:  Simplified to (* (* im re) 2)
1545990541.308 * [misc]simplify:  Simplified (2) to (λ (re im) (* (* im re) 2))
1545990541.308 * * * [misc]progress:  adding candidates to table
1545990541.468 * [misc]progress:  [Phase 3 of 3] Extracting.
1545990541.468 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (re im) (+ (* re im) (* im re)))> #<alt (λ (re im) (* re (+ im im)))>)
1545990541.469 * * * [misc]regime-changes:  Trying 3 branch expressions: (im re (+ (* re im) (* im re)))
1545990541.470 * * * * [misc]regimes:  Trying to branch on im from (#<alt (λ (re im) (+ (* re im) (* im re)))> #<alt (λ (re im) (* re (+ im im)))>)
1545990541.495 * * * * [misc]regimes:  Trying to branch on re from (#<alt (λ (re im) (+ (* re im) (* im re)))> #<alt (λ (re im) (* re (+ im im)))>)
1545990541.520 * * * * [misc]regimes:  Trying to branch on (+ (* re im) (* im re)) from (#<alt (λ (re im) (+ (* re im) (* im re)))> #<alt (λ (re im) (* re (+ im im)))>)
1545990541.561 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1545990541.562 * [enter]simplify:  Simplifying (+ (* re im) (* im re))
1545990541.562 * * [misc]simplify:  iters left: 4 (5 enodes)
1545990541.563 * * [misc]simplify:  iters left: 3 (6 enodes)
1545990541.563 * [exit]simplify:  Simplified to (+ (* re im) (* re im))
1545990541.563 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545990542.758 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990542.762 * * * * [misc]points:  Sampling 1044 additional inputs, on iter 1 have 6956 / 8000
1545990542.882 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990542.882 * * * * [misc]points:  Sampling 166 additional inputs, on iter 2 have 7834 / 8000
1545990542.899 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990542.900 * * * * [misc]points:  Sampling 31 additional inputs, on iter 3 have 7969 / 8000
1545990542.902 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990542.902 * * * * [misc]points:  Sampling 5 additional inputs, on iter 4 have 7995 / 8000
1545990542.903 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545990542.904 * * * * [exit]points:  Sampled 8000 points with exact outputs
1545990543.085 * [misc]regime-testing:  Baseline error score: 0.00825
1545990543.086 * [misc]regime-testing:  Oracle error score: 0
1545990543.088 * [misc]regime-testing:  End program error score: 0.00825