0.560 * [progress]: [Phase 1 of 3] Setting up.
0.004 * * * [progress]: [1/2] Preparing points
0.100 * * * [progress]: [2/2] Setting up program.
0.108 * [progress]: [Phase 2 of 3] Improving.
0.111 * [simplify]: Simplifying:
  (- (* re re) (* im im))
0.112 * * [simplify]: iteration 0: 5 enodes
0.120 * * [simplify]: iteration 1: 11 enodes
0.122 * * [simplify]: iteration 2: 18 enodes
0.127 * * [simplify]: iteration 3: 35 enodes
0.139 * * [simplify]: iteration 4: 67 enodes
0.210 * * [simplify]: iteration 5: 160 enodes
0.293 * * [simplify]: iteration 6: 366 enodes
0.554 * * [simplify]: iteration 7: 901 enodes
2.310 * * [simplify]: iteration 8: 3866 enodes
3.724 * * [simplify]: iteration complete: 5000 enodes
3.724 * * [simplify]: Extracting #0: cost 1 inf + 0
3.727 * * [simplify]: Extracting #1: cost 251 inf + 0
3.739 * * [simplify]: Extracting #2: cost 671 inf + 8504
3.796 * * [simplify]: Extracting #3: cost 153 inf + 97580
3.871 * * [simplify]: Extracting #4: cost 0 inf + 129595
3.933 * [simplify]: Simplified to:
  (- (* re re) (* im im))
3.935 * * [progress]: iteration 1 / 4
3.935 * * * [progress]: picking best candidate
3.938 * * * * [pick]: Picked  #<alt (λ (re im) (- (* re re) (* im im)))>
3.939 * * * [progress]: localizing error
3.948 * * * [progress]: generating rewritten candidates
3.949 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.961 * * * [progress]: generating series expansions
3.961 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.968 * [backup-simplify]: Simplify (- (* re re) (* im im)) into (- (pow re 2) (pow im 2))
3.969 * [approximate]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in (re im) around 0
3.970 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in im
3.970 * [taylor]: Taking taylor expansion of (pow re 2) in im
3.970 * [taylor]: Taking taylor expansion of re in im
3.970 * [backup-simplify]: Simplify re into re
3.970 * [taylor]: Taking taylor expansion of (pow im 2) in im
3.970 * [taylor]: Taking taylor expansion of im in im
3.970 * [backup-simplify]: Simplify 0 into 0
3.970 * [backup-simplify]: Simplify 1 into 1
3.971 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re
3.971 * [taylor]: Taking taylor expansion of (pow re 2) in re
3.971 * [taylor]: Taking taylor expansion of re in re
3.971 * [backup-simplify]: Simplify 0 into 0
3.971 * [backup-simplify]: Simplify 1 into 1
3.971 * [taylor]: Taking taylor expansion of (pow im 2) in re
3.971 * [taylor]: Taking taylor expansion of im in re
3.971 * [backup-simplify]: Simplify im into im
3.971 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re
3.971 * [taylor]: Taking taylor expansion of (pow re 2) in re
3.971 * [taylor]: Taking taylor expansion of re in re
3.971 * [backup-simplify]: Simplify 0 into 0
3.971 * [backup-simplify]: Simplify 1 into 1
3.971 * [taylor]: Taking taylor expansion of (pow im 2) in re
3.971 * [taylor]: Taking taylor expansion of im in re
3.971 * [backup-simplify]: Simplify im into im
3.972 * [backup-simplify]: Simplify (* im im) into (pow im 2)
3.972 * [backup-simplify]: Simplify (- (pow im 2)) into (- (pow im 2))
3.973 * [backup-simplify]: Simplify (+ 0 (- (pow im 2))) into (- (pow im 2))
3.973 * [taylor]: Taking taylor expansion of (- (pow im 2)) in im
3.973 * [taylor]: Taking taylor expansion of (pow im 2) in im
3.973 * [taylor]: Taking taylor expansion of im in im
3.973 * [backup-simplify]: Simplify 0 into 0
3.973 * [backup-simplify]: Simplify 1 into 1
3.973 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
3.974 * [backup-simplify]: Simplify (- 0) into 0
3.974 * [backup-simplify]: Simplify (+ 0 0) into 0
3.974 * [taylor]: Taking taylor expansion of 0 in im
3.974 * [backup-simplify]: Simplify 0 into 0
3.974 * [backup-simplify]: Simplify 0 into 0
3.975 * [backup-simplify]: Simplify (* 1 1) into 1
3.984 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
3.985 * [backup-simplify]: Simplify (- 0) into 0
3.986 * [backup-simplify]: Simplify (+ 1 0) into 1
3.986 * [taylor]: Taking taylor expansion of 1 in im
3.986 * [backup-simplify]: Simplify 1 into 1
3.986 * [backup-simplify]: Simplify 1 into 1
3.986 * [backup-simplify]: Simplify 0 into 0
3.986 * [backup-simplify]: Simplify (* 1 1) into 1
3.987 * [backup-simplify]: Simplify (- 1) into -1
3.987 * [backup-simplify]: Simplify -1 into -1
3.988 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.989 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0
3.989 * [backup-simplify]: Simplify (- 0) into 0
3.989 * [backup-simplify]: Simplify (+ 0 0) into 0
3.989 * [taylor]: Taking taylor expansion of 0 in im
3.989 * [backup-simplify]: Simplify 0 into 0
3.989 * [backup-simplify]: Simplify 0 into 0
3.989 * [backup-simplify]: Simplify 0 into 0
3.989 * [backup-simplify]: Simplify 0 into 0
3.990 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.991 * [backup-simplify]: Simplify (- 0) into 0
3.991 * [backup-simplify]: Simplify 0 into 0
3.992 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.993 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0
3.993 * [backup-simplify]: Simplify (- 0) into 0
3.994 * [backup-simplify]: Simplify (+ 0 0) into 0
3.994 * [taylor]: Taking taylor expansion of 0 in im
3.994 * [backup-simplify]: Simplify 0 into 0
3.994 * [backup-simplify]: Simplify 0 into 0
3.994 * [backup-simplify]: Simplify 0 into 0
3.994 * [backup-simplify]: Simplify (+ (* -1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (- (pow re 2) (pow im 2))
3.995 * [backup-simplify]: Simplify (- (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))
3.995 * [approximate]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0
3.995 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im
3.995 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
3.995 * [taylor]: Taking taylor expansion of (pow re 2) in im
3.995 * [taylor]: Taking taylor expansion of re in im
3.995 * [backup-simplify]: Simplify re into re
3.995 * [backup-simplify]: Simplify (* re re) into (pow re 2)
3.995 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2))
3.995 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
3.995 * [taylor]: Taking taylor expansion of (pow im 2) in im
3.995 * [taylor]: Taking taylor expansion of im in im
3.996 * [backup-simplify]: Simplify 0 into 0
3.996 * [backup-simplify]: Simplify 1 into 1
3.996 * [backup-simplify]: Simplify (* 1 1) into 1
3.996 * [backup-simplify]: Simplify (/ 1 1) into 1
3.996 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
3.996 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
3.996 * [taylor]: Taking taylor expansion of (pow re 2) in re
3.996 * [taylor]: Taking taylor expansion of re in re
3.996 * [backup-simplify]: Simplify 0 into 0
3.997 * [backup-simplify]: Simplify 1 into 1
3.997 * [backup-simplify]: Simplify (* 1 1) into 1
3.997 * [backup-simplify]: Simplify (/ 1 1) into 1
3.997 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
3.997 * [taylor]: Taking taylor expansion of (pow im 2) in re
3.997 * [taylor]: Taking taylor expansion of im in re
3.997 * [backup-simplify]: Simplify im into im
3.997 * [backup-simplify]: Simplify (* im im) into (pow im 2)
3.998 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
3.998 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
3.998 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
3.998 * [taylor]: Taking taylor expansion of (pow re 2) in re
3.998 * [taylor]: Taking taylor expansion of re in re
3.998 * [backup-simplify]: Simplify 0 into 0
3.998 * [backup-simplify]: Simplify 1 into 1
3.998 * [backup-simplify]: Simplify (* 1 1) into 1
3.999 * [backup-simplify]: Simplify (/ 1 1) into 1
3.999 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
3.999 * [taylor]: Taking taylor expansion of (pow im 2) in re
3.999 * [taylor]: Taking taylor expansion of im in re
3.999 * [backup-simplify]: Simplify im into im
3.999 * [backup-simplify]: Simplify (* im im) into (pow im 2)
3.999 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
3.999 * [backup-simplify]: Simplify (+ 1 0) into 1
3.999 * [taylor]: Taking taylor expansion of 1 in im
3.999 * [backup-simplify]: Simplify 1 into 1
4.000 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.001 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.002 * [backup-simplify]: Simplify (+ 0 0) into 0
4.002 * [taylor]: Taking taylor expansion of 0 in im
4.002 * [backup-simplify]: Simplify 0 into 0
4.002 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.004 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.004 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2)))
4.004 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2)))
4.004 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im
4.004 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
4.004 * [taylor]: Taking taylor expansion of (pow im 2) in im
4.004 * [taylor]: Taking taylor expansion of im in im
4.004 * [backup-simplify]: Simplify 0 into 0
4.004 * [backup-simplify]: Simplify 1 into 1
4.005 * [backup-simplify]: Simplify (* 1 1) into 1
4.005 * [backup-simplify]: Simplify (/ 1 1) into 1
4.006 * [backup-simplify]: Simplify (- 1) into -1
4.006 * [backup-simplify]: Simplify -1 into -1
4.006 * [backup-simplify]: Simplify 1 into 1
4.007 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.008 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.008 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
4.008 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0
4.008 * [backup-simplify]: Simplify (- 0) into 0
4.009 * [backup-simplify]: Simplify (+ 0 0) into 0
4.009 * [taylor]: Taking taylor expansion of 0 in im
4.009 * [backup-simplify]: Simplify 0 into 0
4.010 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.010 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.011 * [backup-simplify]: Simplify (- 0) into 0
4.011 * [backup-simplify]: Simplify 0 into 0
4.011 * [backup-simplify]: Simplify 0 into 0
4.011 * [backup-simplify]: Simplify 0 into 0
4.012 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.013 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.014 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
4.014 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0
4.014 * [backup-simplify]: Simplify (- 0) into 0
4.015 * [backup-simplify]: Simplify (+ 0 0) into 0
4.015 * [taylor]: Taking taylor expansion of 0 in im
4.015 * [backup-simplify]: Simplify 0 into 0
4.016 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.017 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.017 * [backup-simplify]: Simplify (- 0) into 0
4.017 * [backup-simplify]: Simplify 0 into 0
4.017 * [backup-simplify]: Simplify 0 into 0
4.017 * [backup-simplify]: Simplify 0 into 0
4.017 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 re))) 2)) (* -1 (pow (* (/ 1 (/ 1 im)) 1) 2))) into (- (pow re 2) (pow im 2))
4.017 * [backup-simplify]: Simplify (- (* (/ 1 (- re)) (/ 1 (- re))) (* (/ 1 (- im)) (/ 1 (- im)))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))
4.017 * [approximate]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0
4.017 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im
4.017 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
4.017 * [taylor]: Taking taylor expansion of (pow re 2) in im
4.017 * [taylor]: Taking taylor expansion of re in im
4.018 * [backup-simplify]: Simplify re into re
4.018 * [backup-simplify]: Simplify (* re re) into (pow re 2)
4.018 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2))
4.018 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
4.018 * [taylor]: Taking taylor expansion of (pow im 2) in im
4.018 * [taylor]: Taking taylor expansion of im in im
4.018 * [backup-simplify]: Simplify 0 into 0
4.018 * [backup-simplify]: Simplify 1 into 1
4.018 * [backup-simplify]: Simplify (* 1 1) into 1
4.018 * [backup-simplify]: Simplify (/ 1 1) into 1
4.018 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
4.018 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
4.018 * [taylor]: Taking taylor expansion of (pow re 2) in re
4.018 * [taylor]: Taking taylor expansion of re in re
4.018 * [backup-simplify]: Simplify 0 into 0
4.018 * [backup-simplify]: Simplify 1 into 1
4.019 * [backup-simplify]: Simplify (* 1 1) into 1
4.019 * [backup-simplify]: Simplify (/ 1 1) into 1
4.019 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
4.019 * [taylor]: Taking taylor expansion of (pow im 2) in re
4.019 * [taylor]: Taking taylor expansion of im in re
4.019 * [backup-simplify]: Simplify im into im
4.019 * [backup-simplify]: Simplify (* im im) into (pow im 2)
4.019 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
4.019 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
4.019 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
4.019 * [taylor]: Taking taylor expansion of (pow re 2) in re
4.019 * [taylor]: Taking taylor expansion of re in re
4.019 * [backup-simplify]: Simplify 0 into 0
4.019 * [backup-simplify]: Simplify 1 into 1
4.019 * [backup-simplify]: Simplify (* 1 1) into 1
4.020 * [backup-simplify]: Simplify (/ 1 1) into 1
4.020 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
4.020 * [taylor]: Taking taylor expansion of (pow im 2) in re
4.020 * [taylor]: Taking taylor expansion of im in re
4.020 * [backup-simplify]: Simplify im into im
4.020 * [backup-simplify]: Simplify (* im im) into (pow im 2)
4.020 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
4.020 * [backup-simplify]: Simplify (+ 1 0) into 1
4.020 * [taylor]: Taking taylor expansion of 1 in im
4.020 * [backup-simplify]: Simplify 1 into 1
4.021 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.021 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.021 * [backup-simplify]: Simplify (+ 0 0) into 0
4.021 * [taylor]: Taking taylor expansion of 0 in im
4.021 * [backup-simplify]: Simplify 0 into 0
4.022 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.022 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.023 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2)))
4.023 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2)))
4.023 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im
4.023 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
4.023 * [taylor]: Taking taylor expansion of (pow im 2) in im
4.023 * [taylor]: Taking taylor expansion of im in im
4.023 * [backup-simplify]: Simplify 0 into 0
4.023 * [backup-simplify]: Simplify 1 into 1
4.023 * [backup-simplify]: Simplify (* 1 1) into 1
4.023 * [backup-simplify]: Simplify (/ 1 1) into 1
4.024 * [backup-simplify]: Simplify (- 1) into -1
4.024 * [backup-simplify]: Simplify -1 into -1
4.024 * [backup-simplify]: Simplify 1 into 1
4.024 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.025 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.025 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
4.025 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0
4.025 * [backup-simplify]: Simplify (- 0) into 0
4.026 * [backup-simplify]: Simplify (+ 0 0) into 0
4.026 * [taylor]: Taking taylor expansion of 0 in im
4.026 * [backup-simplify]: Simplify 0 into 0
4.026 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.027 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.027 * [backup-simplify]: Simplify (- 0) into 0
4.027 * [backup-simplify]: Simplify 0 into 0
4.027 * [backup-simplify]: Simplify 0 into 0
4.027 * [backup-simplify]: Simplify 0 into 0
4.028 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.028 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.029 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
4.029 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0
4.029 * [backup-simplify]: Simplify (- 0) into 0
4.029 * [backup-simplify]: Simplify (+ 0 0) into 0
4.029 * [taylor]: Taking taylor expansion of 0 in im
4.029 * [backup-simplify]: Simplify 0 into 0
4.030 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.031 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.031 * [backup-simplify]: Simplify (- 0) into 0
4.031 * [backup-simplify]: Simplify 0 into 0
4.031 * [backup-simplify]: Simplify 0 into 0
4.031 * [backup-simplify]: Simplify 0 into 0
4.031 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- re)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- im))) 1) 2))) into (- (pow re 2) (pow im 2))
4.031 * * * [progress]: simplifying candidates
4.032 * [simplify]: Simplifying:
  (fma re re (- (* im im)))
  (fma (- im) im (* im im))
  (expm1 (- (* re re) (* im im)))
  (log1p (- (* re re) (* im im)))
  (- (* im im))
  (/ (exp (* re re)) (exp (* im im)))
  (log (- (* re re) (* im im)))
  (exp (- (* re re) (* im im)))
  (* (cbrt (- (* re re) (* im im))) (cbrt (- (* re re) (* im im))))
  (cbrt (- (* re re) (* im im)))
  (* (* (- (* re re) (* im im)) (- (* re re) (* im im))) (- (* re re) (* im im)))
  (sqrt (- (* re re) (* im im)))
  (sqrt (- (* re re) (* im im)))
  (- (pow (* re re) 3) (pow (* im im) 3))
  (+ (* (* re re) (* re re)) (+ (* (* im im) (* im im)) (* (* re re) (* im im))))
  (- (* im im))
  (- (* (* re re) (* re re)) (* (* im im) (* im im)))
  (+ (* re re) (* im im))
  (+ re im)
  (- re im)
  (- (* im im))
  (- (pow re 2) (pow im 2))
  (- (pow re 2) (pow im 2))
  (- (pow re 2) (pow im 2))
4.032 * * [simplify]: iteration 0: 38 enodes
4.039 * * [simplify]: iteration 1: 118 enodes
4.093 * * [simplify]: iteration 2: 646 enodes
4.559 * * [simplify]: iteration complete: 5000 enodes
4.559 * * [simplify]: Extracting #0: cost 17 inf + 0
4.561 * * [simplify]: Extracting #1: cost 513 inf + 0
4.571 * * [simplify]: Extracting #2: cost 1932 inf + 5720
4.623 * * [simplify]: Extracting #3: cost 812 inf + 136094
4.672 * * [simplify]: Extracting #4: cost 122 inf + 247843
4.759 * * [simplify]: Extracting #5: cost 25 inf + 271779
4.825 * * [simplify]: Extracting #6: cost 0 inf + 281168
4.880 * [simplify]: Simplified to:
  (* (+ re im) (- re im))
  (* im (+ (- im) im))
  (expm1 (* (+ re im) (- re im)))
  (log1p (* (+ re im) (- re im)))
  (- (* im im))
  (exp (* (+ re im) (- re im)))
  (log (* (+ re im) (- re im)))
  (exp (* (+ re im) (- re im)))
  (* (cbrt (* (+ re im) (- re im))) (cbrt (* (+ re im) (- re im))))
  (cbrt (* (+ re im) (- re im)))
  (* (* (+ re im) (- re im)) (* (* (+ re im) (- re im)) (* (+ re im) (- re im))))
  (sqrt (* (+ re im) (- re im)))
  (sqrt (* (+ re im) (- re im)))
  (- (* (* (* re re) (* re re)) (* re re)) (* (* (* im im) (* im im)) (* im im)))
  (fma (* re re) (* re re) (* (* im im) (+ (* re re) (* im im))))
  (- (* im im))
  (* (+ (* re re) (* im im)) (- (* re re) (* im im)))
  (fma re re (* im im))
  (+ re im)
  (- re im)
  (- (* im im))
  (* (+ re im) (- re im))
  (* (+ re im) (- re im))
  (* (+ re im) (- re im))
4.881 * * * [progress]: adding candidates to table
4.965 * * [progress]: iteration 2 / 4
4.965 * * * [progress]: picking best candidate
4.968 * * * * [pick]: Picked  #<alt (λ (re im) (* (+ re im) (- re im)))>
4.968 * * * [progress]: localizing error
4.977 * * * [progress]: generating rewritten candidates
4.977 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
5.025 * * * [progress]: generating series expansions
5.025 * * * * [progress]: [ 1 / 1 ] generating series at (2)
5.026 * [backup-simplify]: Simplify (* (+ re im) (- re im)) into (* (- re im) (+ re im))
5.026 * [approximate]: Taking taylor expansion of (* (- re im) (+ re im)) in (re im) around 0
5.026 * [taylor]: Taking taylor expansion of (* (- re im) (+ re im)) in im
5.026 * [taylor]: Taking taylor expansion of (- re im) in im
5.026 * [taylor]: Taking taylor expansion of re in im
5.026 * [backup-simplify]: Simplify re into re
5.026 * [taylor]: Taking taylor expansion of im in im
5.026 * [backup-simplify]: Simplify 0 into 0
5.026 * [backup-simplify]: Simplify 1 into 1
5.026 * [taylor]: Taking taylor expansion of (+ re im) in im
5.026 * [taylor]: Taking taylor expansion of re in im
5.027 * [backup-simplify]: Simplify re into re
5.027 * [taylor]: Taking taylor expansion of im in im
5.027 * [backup-simplify]: Simplify 0 into 0
5.027 * [backup-simplify]: Simplify 1 into 1
5.027 * [taylor]: Taking taylor expansion of (* (- re im) (+ re im)) in re
5.027 * [taylor]: Taking taylor expansion of (- re im) in re
5.027 * [taylor]: Taking taylor expansion of re in re
5.027 * [backup-simplify]: Simplify 0 into 0
5.027 * [backup-simplify]: Simplify 1 into 1
5.027 * [taylor]: Taking taylor expansion of im in re
5.027 * [backup-simplify]: Simplify im into im
5.027 * [taylor]: Taking taylor expansion of (+ re im) in re
5.027 * [taylor]: Taking taylor expansion of re in re
5.027 * [backup-simplify]: Simplify 0 into 0
5.027 * [backup-simplify]: Simplify 1 into 1
5.027 * [taylor]: Taking taylor expansion of im in re
5.027 * [backup-simplify]: Simplify im into im
5.027 * [taylor]: Taking taylor expansion of (* (- re im) (+ re im)) in re
5.027 * [taylor]: Taking taylor expansion of (- re im) in re
5.027 * [taylor]: Taking taylor expansion of re in re
5.027 * [backup-simplify]: Simplify 0 into 0
5.027 * [backup-simplify]: Simplify 1 into 1
5.027 * [taylor]: Taking taylor expansion of im in re
5.027 * [backup-simplify]: Simplify im into im
5.027 * [taylor]: Taking taylor expansion of (+ re im) in re
5.027 * [taylor]: Taking taylor expansion of re in re
5.027 * [backup-simplify]: Simplify 0 into 0
5.027 * [backup-simplify]: Simplify 1 into 1
5.027 * [taylor]: Taking taylor expansion of im in re
5.027 * [backup-simplify]: Simplify im into im
5.028 * [backup-simplify]: Simplify (- im) into (- im)
5.028 * [backup-simplify]: Simplify (+ 0 (- im)) into (- im)
5.028 * [backup-simplify]: Simplify (+ 0 im) into im
5.028 * [backup-simplify]: Simplify (* (- im) im) into (* -1 (pow im 2))
5.028 * [taylor]: Taking taylor expansion of (* -1 (pow im 2)) in im
5.028 * [taylor]: Taking taylor expansion of -1 in im
5.028 * [backup-simplify]: Simplify -1 into -1
5.028 * [taylor]: Taking taylor expansion of (pow im 2) in im
5.028 * [taylor]: Taking taylor expansion of im in im
5.028 * [backup-simplify]: Simplify 0 into 0
5.028 * [backup-simplify]: Simplify 1 into 1
5.029 * [backup-simplify]: Simplify (+ 1 0) into 1
5.030 * [backup-simplify]: Simplify (- 0) into 0
5.030 * [backup-simplify]: Simplify (+ 1 0) into 1
5.030 * [backup-simplify]: Simplify (+ (* (- im) 1) (* 1 im)) into 0
5.030 * [taylor]: Taking taylor expansion of 0 in im
5.030 * [backup-simplify]: Simplify 0 into 0
5.030 * [backup-simplify]: Simplify 0 into 0
5.031 * [backup-simplify]: Simplify (+ 0 0) into 0
5.031 * [backup-simplify]: Simplify (- 0) into 0
5.032 * [backup-simplify]: Simplify (+ 0 0) into 0
5.032 * [backup-simplify]: Simplify (+ (* (- im) 0) (+ (* 1 1) (* 0 im))) into 1
5.032 * [taylor]: Taking taylor expansion of 1 in im
5.032 * [backup-simplify]: Simplify 1 into 1
5.032 * [backup-simplify]: Simplify 1 into 1
5.032 * [backup-simplify]: Simplify 0 into 0
5.033 * [backup-simplify]: Simplify (* 1 1) into 1
5.033 * [backup-simplify]: Simplify (* -1 1) into -1
5.033 * [backup-simplify]: Simplify -1 into -1
5.034 * [backup-simplify]: Simplify (+ 0 0) into 0
5.034 * [backup-simplify]: Simplify (- 0) into 0
5.034 * [backup-simplify]: Simplify (+ 0 0) into 0
5.035 * [backup-simplify]: Simplify (+ (* (- im) 0) (+ (* 1 0) (+ (* 0 1) (* 0 im)))) into 0
5.035 * [taylor]: Taking taylor expansion of 0 in im
5.035 * [backup-simplify]: Simplify 0 into 0
5.035 * [backup-simplify]: Simplify 0 into 0
5.035 * [backup-simplify]: Simplify 0 into 0
5.036 * [backup-simplify]: Simplify 0 into 0
5.036 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.037 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0
5.037 * [backup-simplify]: Simplify 0 into 0
5.037 * [backup-simplify]: Simplify (+ 0 0) into 0
5.038 * [backup-simplify]: Simplify (- 0) into 0
5.038 * [backup-simplify]: Simplify (+ 0 0) into 0
5.040 * [backup-simplify]: Simplify (+ (* (- im) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 im))))) into 0
5.040 * [taylor]: Taking taylor expansion of 0 in im
5.040 * [backup-simplify]: Simplify 0 into 0
5.040 * [backup-simplify]: Simplify 0 into 0
5.040 * [backup-simplify]: Simplify 0 into 0
5.040 * [backup-simplify]: Simplify (+ (* -1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (- (pow re 2) (pow im 2))
5.040 * [backup-simplify]: Simplify (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 re) (/ 1 im))) into (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 re) (/ 1 im)))
5.040 * [approximate]: Taking taylor expansion of (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 re) (/ 1 im))) in (re im) around 0
5.040 * [taylor]: Taking taylor expansion of (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 re) (/ 1 im))) in im
5.040 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in im
5.041 * [taylor]: Taking taylor expansion of (/ 1 re) in im
5.041 * [taylor]: Taking taylor expansion of re in im
5.041 * [backup-simplify]: Simplify re into re
5.041 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
5.041 * [taylor]: Taking taylor expansion of (/ 1 im) in im
5.041 * [taylor]: Taking taylor expansion of im in im
5.041 * [backup-simplify]: Simplify 0 into 0
5.041 * [backup-simplify]: Simplify 1 into 1
5.041 * [backup-simplify]: Simplify (/ 1 1) into 1
5.041 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in im
5.041 * [taylor]: Taking taylor expansion of (/ 1 re) in im
5.041 * [taylor]: Taking taylor expansion of re in im
5.041 * [backup-simplify]: Simplify re into re
5.041 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
5.041 * [taylor]: Taking taylor expansion of (/ 1 im) in im
5.041 * [taylor]: Taking taylor expansion of im in im
5.041 * [backup-simplify]: Simplify 0 into 0
5.041 * [backup-simplify]: Simplify 1 into 1
5.042 * [backup-simplify]: Simplify (/ 1 1) into 1
5.042 * [taylor]: Taking taylor expansion of (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 re) (/ 1 im))) in re
5.042 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in re
5.042 * [taylor]: Taking taylor expansion of (/ 1 re) in re
5.042 * [taylor]: Taking taylor expansion of re in re
5.042 * [backup-simplify]: Simplify 0 into 0
5.042 * [backup-simplify]: Simplify 1 into 1
5.042 * [backup-simplify]: Simplify (/ 1 1) into 1
5.042 * [taylor]: Taking taylor expansion of (/ 1 im) in re
5.042 * [taylor]: Taking taylor expansion of im in re
5.042 * [backup-simplify]: Simplify im into im
5.043 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
5.043 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re
5.043 * [taylor]: Taking taylor expansion of (/ 1 re) in re
5.043 * [taylor]: Taking taylor expansion of re in re
5.043 * [backup-simplify]: Simplify 0 into 0
5.043 * [backup-simplify]: Simplify 1 into 1
5.043 * [backup-simplify]: Simplify (/ 1 1) into 1
5.043 * [taylor]: Taking taylor expansion of (/ 1 im) in re
5.043 * [taylor]: Taking taylor expansion of im in re
5.043 * [backup-simplify]: Simplify im into im
5.043 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
5.043 * [taylor]: Taking taylor expansion of (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 re) (/ 1 im))) in re
5.043 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in re
5.043 * [taylor]: Taking taylor expansion of (/ 1 re) in re
5.043 * [taylor]: Taking taylor expansion of re in re
5.043 * [backup-simplify]: Simplify 0 into 0
5.043 * [backup-simplify]: Simplify 1 into 1
5.044 * [backup-simplify]: Simplify (/ 1 1) into 1
5.044 * [taylor]: Taking taylor expansion of (/ 1 im) in re
5.044 * [taylor]: Taking taylor expansion of im in re
5.044 * [backup-simplify]: Simplify im into im
5.044 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
5.044 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re
5.044 * [taylor]: Taking taylor expansion of (/ 1 re) in re
5.044 * [taylor]: Taking taylor expansion of re in re
5.044 * [backup-simplify]: Simplify 0 into 0
5.044 * [backup-simplify]: Simplify 1 into 1
5.044 * [backup-simplify]: Simplify (/ 1 1) into 1
5.044 * [taylor]: Taking taylor expansion of (/ 1 im) in re
5.044 * [taylor]: Taking taylor expansion of im in re
5.044 * [backup-simplify]: Simplify im into im
5.044 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
5.045 * [backup-simplify]: Simplify (+ 1 0) into 1
5.045 * [backup-simplify]: Simplify (+ 1 0) into 1
5.046 * [backup-simplify]: Simplify (* 1 1) into 1
5.046 * [taylor]: Taking taylor expansion of 1 in im
5.046 * [backup-simplify]: Simplify 1 into 1
5.047 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.047 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
5.047 * [backup-simplify]: Simplify (+ 0 (- (/ 1 im))) into (- (/ 1 im))
5.048 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.048 * [backup-simplify]: Simplify (+ 0 (/ 1 im)) into (/ 1 im)
5.048 * [backup-simplify]: Simplify (+ (* 1 (- (/ 1 im))) (* (/ 1 im) 1)) into 0
5.048 * [taylor]: Taking taylor expansion of 0 in im
5.048 * [backup-simplify]: Simplify 0 into 0
5.049 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.049 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
5.049 * [backup-simplify]: Simplify (- 0) into 0
5.050 * [backup-simplify]: Simplify (+ 0 0) into 0
5.051 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.051 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
5.051 * [backup-simplify]: Simplify (+ 0 0) into 0
5.052 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 im) (- (/ 1 im))) (* 0 1))) into (- (/ 1 (pow im 2)))
5.052 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im
5.052 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
5.053 * [taylor]: Taking taylor expansion of (pow im 2) in im
5.053 * [taylor]: Taking taylor expansion of im in im
5.053 * [backup-simplify]: Simplify 0 into 0
5.053 * [backup-simplify]: Simplify 1 into 1
5.053 * [backup-simplify]: Simplify (* 1 1) into 1
5.053 * [backup-simplify]: Simplify (/ 1 1) into 1
5.054 * [backup-simplify]: Simplify (- 1) into -1
5.054 * [backup-simplify]: Simplify -1 into -1
5.054 * [backup-simplify]: Simplify 1 into 1
5.055 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.055 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
5.055 * [backup-simplify]: Simplify (- 0) into 0
5.056 * [backup-simplify]: Simplify (+ 0 0) into 0
5.057 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.057 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
5.057 * [backup-simplify]: Simplify (+ 0 0) into 0
5.058 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 im) 0) (+ (* 0 (- (/ 1 im))) (* 0 1)))) into 0
5.058 * [taylor]: Taking taylor expansion of 0 in im
5.058 * [backup-simplify]: Simplify 0 into 0
5.059 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.060 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.060 * [backup-simplify]: Simplify (- 0) into 0
5.060 * [backup-simplify]: Simplify 0 into 0
5.060 * [backup-simplify]: Simplify 0 into 0
5.060 * [backup-simplify]: Simplify 0 into 0
5.061 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.062 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
5.062 * [backup-simplify]: Simplify (- 0) into 0
5.062 * [backup-simplify]: Simplify (+ 0 0) into 0
5.063 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.063 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
5.064 * [backup-simplify]: Simplify (+ 0 0) into 0
5.065 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 im) 0) (+ (* 0 0) (+ (* 0 (- (/ 1 im))) (* 0 1))))) into 0
5.065 * [taylor]: Taking taylor expansion of 0 in im
5.065 * [backup-simplify]: Simplify 0 into 0
5.066 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.067 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.067 * [backup-simplify]: Simplify (- 0) into 0
5.067 * [backup-simplify]: Simplify 0 into 0
5.068 * [backup-simplify]: Simplify 0 into 0
5.068 * [backup-simplify]: Simplify 0 into 0
5.068 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 re))) 2)) (* -1 (pow (* (/ 1 (/ 1 im)) 1) 2))) into (- (pow re 2) (pow im 2))
5.068 * [backup-simplify]: Simplify (* (+ (/ 1 (- re)) (/ 1 (- im))) (- (/ 1 (- re)) (/ 1 (- im)))) into (* -1 (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re))))
5.068 * [approximate]: Taking taylor expansion of (* -1 (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re)))) in (re im) around 0
5.069 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re)))) in im
5.069 * [taylor]: Taking taylor expansion of -1 in im
5.069 * [backup-simplify]: Simplify -1 into -1
5.069 * [taylor]: Taking taylor expansion of (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re))) in im
5.069 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in im
5.069 * [taylor]: Taking taylor expansion of (/ 1 re) in im
5.069 * [taylor]: Taking taylor expansion of re in im
5.069 * [backup-simplify]: Simplify re into re
5.069 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
5.069 * [taylor]: Taking taylor expansion of (/ 1 im) in im
5.069 * [taylor]: Taking taylor expansion of im in im
5.069 * [backup-simplify]: Simplify 0 into 0
5.069 * [backup-simplify]: Simplify 1 into 1
5.069 * [backup-simplify]: Simplify (/ 1 1) into 1
5.069 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in im
5.069 * [taylor]: Taking taylor expansion of (/ 1 im) in im
5.069 * [taylor]: Taking taylor expansion of im in im
5.069 * [backup-simplify]: Simplify 0 into 0
5.069 * [backup-simplify]: Simplify 1 into 1
5.070 * [backup-simplify]: Simplify (/ 1 1) into 1
5.070 * [taylor]: Taking taylor expansion of (/ 1 re) in im
5.070 * [taylor]: Taking taylor expansion of re in im
5.070 * [backup-simplify]: Simplify re into re
5.070 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
5.070 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re)))) in re
5.070 * [taylor]: Taking taylor expansion of -1 in re
5.070 * [backup-simplify]: Simplify -1 into -1
5.070 * [taylor]: Taking taylor expansion of (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re))) in re
5.070 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in re
5.070 * [taylor]: Taking taylor expansion of (/ 1 re) in re
5.070 * [taylor]: Taking taylor expansion of re in re
5.070 * [backup-simplify]: Simplify 0 into 0
5.070 * [backup-simplify]: Simplify 1 into 1
5.071 * [backup-simplify]: Simplify (/ 1 1) into 1
5.071 * [taylor]: Taking taylor expansion of (/ 1 im) in re
5.071 * [taylor]: Taking taylor expansion of im in re
5.071 * [backup-simplify]: Simplify im into im
5.071 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
5.071 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re
5.071 * [taylor]: Taking taylor expansion of (/ 1 im) in re
5.071 * [taylor]: Taking taylor expansion of im in re
5.071 * [backup-simplify]: Simplify im into im
5.071 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
5.071 * [taylor]: Taking taylor expansion of (/ 1 re) in re
5.071 * [taylor]: Taking taylor expansion of re in re
5.071 * [backup-simplify]: Simplify 0 into 0
5.071 * [backup-simplify]: Simplify 1 into 1
5.071 * [backup-simplify]: Simplify (/ 1 1) into 1
5.071 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re)))) in re
5.072 * [taylor]: Taking taylor expansion of -1 in re
5.072 * [backup-simplify]: Simplify -1 into -1
5.072 * [taylor]: Taking taylor expansion of (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re))) in re
5.072 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in re
5.072 * [taylor]: Taking taylor expansion of (/ 1 re) in re
5.072 * [taylor]: Taking taylor expansion of re in re
5.072 * [backup-simplify]: Simplify 0 into 0
5.072 * [backup-simplify]: Simplify 1 into 1
5.072 * [backup-simplify]: Simplify (/ 1 1) into 1
5.072 * [taylor]: Taking taylor expansion of (/ 1 im) in re
5.072 * [taylor]: Taking taylor expansion of im in re
5.072 * [backup-simplify]: Simplify im into im
5.072 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
5.072 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re
5.072 * [taylor]: Taking taylor expansion of (/ 1 im) in re
5.072 * [taylor]: Taking taylor expansion of im in re
5.072 * [backup-simplify]: Simplify im into im
5.072 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
5.072 * [taylor]: Taking taylor expansion of (/ 1 re) in re
5.073 * [taylor]: Taking taylor expansion of re in re
5.073 * [backup-simplify]: Simplify 0 into 0
5.073 * [backup-simplify]: Simplify 1 into 1
5.073 * [backup-simplify]: Simplify (/ 1 1) into 1
5.073 * [backup-simplify]: Simplify (+ 1 0) into 1
5.074 * [backup-simplify]: Simplify (- 1) into -1
5.074 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.075 * [backup-simplify]: Simplify (* 1 -1) into -1
5.075 * [backup-simplify]: Simplify (* -1 -1) into 1
5.075 * [taylor]: Taking taylor expansion of 1 in im
5.075 * [backup-simplify]: Simplify 1 into 1
5.076 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.076 * [backup-simplify]: Simplify (- 0) into 0
5.076 * [backup-simplify]: Simplify (+ (/ 1 im) 0) into (/ 1 im)
5.077 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.077 * [backup-simplify]: Simplify (+ 0 (/ 1 im)) into (/ 1 im)
5.077 * [backup-simplify]: Simplify (+ (* 1 (/ 1 im)) (* (/ 1 im) -1)) into 0
5.078 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
5.078 * [taylor]: Taking taylor expansion of 0 in im
5.078 * [backup-simplify]: Simplify 0 into 0
5.078 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
5.079 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.080 * [backup-simplify]: Simplify (- 0) into 0
5.080 * [backup-simplify]: Simplify (+ 0 0) into 0
5.081 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.081 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
5.081 * [backup-simplify]: Simplify (+ 0 0) into 0
5.082 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 im) (/ 1 im)) (* 0 -1))) into (/ 1 (pow im 2))
5.083 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (pow im 2))) (+ (* 0 0) (* 0 -1))) into (- (/ 1 (pow im 2)))
5.083 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im
5.083 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
5.083 * [taylor]: Taking taylor expansion of (pow im 2) in im
5.083 * [taylor]: Taking taylor expansion of im in im
5.084 * [backup-simplify]: Simplify 0 into 0
5.084 * [backup-simplify]: Simplify 1 into 1
5.084 * [backup-simplify]: Simplify (* 1 1) into 1
5.084 * [backup-simplify]: Simplify (/ 1 1) into 1
5.085 * [backup-simplify]: Simplify (- 1) into -1
5.085 * [backup-simplify]: Simplify -1 into -1
5.085 * [backup-simplify]: Simplify 1 into 1
5.085 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
5.086 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.086 * [backup-simplify]: Simplify (- 0) into 0
5.087 * [backup-simplify]: Simplify (+ 0 0) into 0
5.088 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.088 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
5.088 * [backup-simplify]: Simplify (+ 0 0) into 0
5.089 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 im) 0) (+ (* 0 (/ 1 im)) (* 0 -1)))) into 0
5.090 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 (pow im 2))) (+ (* 0 0) (* 0 -1)))) into 0
5.090 * [taylor]: Taking taylor expansion of 0 in im
5.090 * [backup-simplify]: Simplify 0 into 0
5.091 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.092 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.092 * [backup-simplify]: Simplify (- 0) into 0
5.092 * [backup-simplify]: Simplify 0 into 0
5.092 * [backup-simplify]: Simplify 0 into 0
5.092 * [backup-simplify]: Simplify 0 into 0
5.093 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
5.094 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.094 * [backup-simplify]: Simplify (- 0) into 0
5.094 * [backup-simplify]: Simplify (+ 0 0) into 0
5.095 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.095 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
5.096 * [backup-simplify]: Simplify (+ 0 0) into 0
5.101 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 im) 0) (+ (* 0 0) (+ (* 0 (/ 1 im)) (* 0 -1))))) into 0
5.102 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 (pow im 2))) (+ (* 0 0) (* 0 -1))))) into 0
5.102 * [taylor]: Taking taylor expansion of 0 in im
5.102 * [backup-simplify]: Simplify 0 into 0
5.103 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.103 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.104 * [backup-simplify]: Simplify (- 0) into 0
5.104 * [backup-simplify]: Simplify 0 into 0
5.104 * [backup-simplify]: Simplify 0 into 0
5.104 * [backup-simplify]: Simplify 0 into 0
5.104 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- re)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- im))) 1) 2))) into (- (pow re 2) (pow im 2))
5.104 * * * [progress]: simplifying candidates
5.105 * [simplify]: Simplifying:
  (expm1 (* (+ re im) (- re im)))
  (log1p (* (+ re im) (- re im)))
  (* (+ re im) (- re im))
  (+ (log (+ re im)) (log (- re im)))
  (log (* (+ re im) (- re im)))
  (exp (* (+ re im) (- re im)))
  (* (* (* (+ re im) (+ re im)) (+ re im)) (* (* (- re im) (- re im)) (- re im)))
  (* (cbrt (* (+ re im) (- re im))) (cbrt (* (+ re im) (- re im))))
  (cbrt (* (+ re im) (- re im)))
  (* (* (* (+ re im) (- re im)) (* (+ re im) (- re im))) (* (+ re im) (- re im)))
  (sqrt (* (+ re im) (- re im)))
  (sqrt (* (+ re im) (- re im)))
  (* (+ (pow re 3) (pow im 3)) (- (pow re 3) (pow im 3)))
  (* (+ (* re re) (- (* im im) (* re im))) (+ (* re re) (+ (* im im) (* re im))))
  (* (+ (pow re 3) (pow im 3)) (- (* re re) (* im im)))
  (* (+ (* re re) (- (* im im) (* re im))) (+ re im))
  (* (- (* re re) (* im im)) (- (pow re 3) (pow im 3)))
  (* (- re im) (+ (* re re) (+ (* im im) (* re im))))
  (* (- (* re re) (* im im)) (- (* re re) (* im im)))
  (* (- re im) (+ re im))
  (* (sqrt (+ re im)) (sqrt (- re im)))
  (* (sqrt (+ re im)) (sqrt (- re im)))
  (* (+ re im) (fma (* (cbrt re) (cbrt re)) (cbrt re) (- (* (cbrt im) (* (cbrt im) (cbrt im))))))
  (* (+ re im) (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im)))))
  (* (+ re im) (fma (* (cbrt re) (cbrt re)) (cbrt re) (- (* (sqrt im) (sqrt im)))))
  (* (+ re im) (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))))
  (* (+ re im) (fma (* (cbrt re) (cbrt re)) (cbrt re) (- (* im 1))))
  (* (+ re im) (fma (- im) 1 (* im 1)))
  (* (+ re im) (fma (sqrt re) (sqrt re) (- (* (cbrt im) (* (cbrt im) (cbrt im))))))
  (* (+ re im) (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im)))))
  (* (+ re im) (fma (sqrt re) (sqrt re) (- (* (sqrt im) (sqrt im)))))
  (* (+ re im) (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))))
  (* (+ re im) (fma (sqrt re) (sqrt re) (- (* im 1))))
  (* (+ re im) (fma (- im) 1 (* im 1)))
  (* (+ re im) (fma 1 re (- (* (cbrt im) (* (cbrt im) (cbrt im))))))
  (* (+ re im) (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im)))))
  (* (+ re im) (fma 1 re (- (* (sqrt im) (sqrt im)))))
  (* (+ re im) (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))))
  (* (+ re im) (fma 1 re (- (* im 1))))
  (* (+ re im) (fma (- im) 1 (* im 1)))
  (* (+ re im) re)
  (* (+ re im) (- im))
  (* (+ re im) re)
  (* (+ re im) (- im))
  (* (fma (* (cbrt re) (cbrt re)) (cbrt re) (- (* (cbrt im) (* (cbrt im) (cbrt im))))) (+ re im))
  (* (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im)))) (+ re im))
  (* (fma (* (cbrt re) (cbrt re)) (cbrt re) (- (* (sqrt im) (sqrt im)))) (+ re im))
  (* (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))) (+ re im))
  (* (fma (* (cbrt re) (cbrt re)) (cbrt re) (- (* im 1))) (+ re im))
  (* (fma (- im) 1 (* im 1)) (+ re im))
  (* (fma (sqrt re) (sqrt re) (- (* (cbrt im) (* (cbrt im) (cbrt im))))) (+ re im))
  (* (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im)))) (+ re im))
  (* (fma (sqrt re) (sqrt re) (- (* (sqrt im) (sqrt im)))) (+ re im))
  (* (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))) (+ re im))
  (* (fma (sqrt re) (sqrt re) (- (* im 1))) (+ re im))
  (* (fma (- im) 1 (* im 1)) (+ re im))
  (* (fma 1 re (- (* (cbrt im) (* (cbrt im) (cbrt im))))) (+ re im))
  (* (fma (- (cbrt im)) (* (cbrt im) (cbrt im)) (* (cbrt im) (* (cbrt im) (cbrt im)))) (+ re im))
  (* (fma 1 re (- (* (sqrt im) (sqrt im)))) (+ re im))
  (* (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))) (+ re im))
  (* (fma 1 re (- (* im 1))) (+ re im))
  (* (fma (- im) 1 (* im 1)) (+ re im))
  (* re (+ re im))
  (* (- im) (+ re im))
  (* re (+ re im))
  (* (- im) (+ re im))
  (* (+ re im) (* (cbrt (- re im)) (cbrt (- re im))))
  (* (+ re im) (sqrt (- re im)))
  (* (+ re im) 1)
  (* (+ re im) (+ (sqrt re) (sqrt im)))
  (* (+ re im) 1)
  (* (cbrt (+ re im)) (- re im))
  (* (sqrt (+ re im)) (- re im))
  (* (+ re im) (- re im))
  (* (+ re im) (- re im))
  (* (+ re im) (- (pow re 3) (pow im 3)))
  (* (+ re im) (- (* re re) (* im im)))
  (* (+ (pow re 3) (pow im 3)) (- re im))
  (* (- (* re re) (* im im)) (- re im))
  (- (pow re 2) (pow im 2))
  (- (pow re 2) (pow im 2))
  (- (pow re 2) (pow im 2))
5.106 * * [simplify]: iteration 0: 120 enodes
5.133 * * [simplify]: iteration 1: 401 enodes
5.434 * * [simplify]: iteration 2: 2818 enodes
7.315 * * [simplify]: iteration complete: 5000 enodes
7.315 * * [simplify]: Extracting #0: cost 32 inf + 0
7.320 * * [simplify]: Extracting #1: cost 990 inf + 0
7.335 * * [simplify]: Extracting #2: cost 1496 inf + 3645
7.350 * * [simplify]: Extracting #3: cost 656 inf + 91481
7.388 * * [simplify]: Extracting #4: cost 132 inf + 177426
7.445 * * [simplify]: Extracting #5: cost 53 inf + 198020
7.484 * * [simplify]: Extracting #6: cost 13 inf + 203053
7.540 * * [simplify]: Extracting #7: cost 0 inf + 206335
7.613 * [simplify]: Simplified to:
  (expm1 (* (- re im) (+ im re)))
  (log1p (* (- re im) (+ im re)))
  (* (- re im) (+ im re))
  (log (* (- re im) (+ im re)))
  (log (* (- re im) (+ im re)))
  (exp (* (- re im) (+ im re)))
  (* (* (- re im) (+ im re)) (* (* (- re im) (+ im re)) (* (- re im) (+ im re))))
  (* (cbrt (* (- re im) (+ im re))) (cbrt (* (- re im) (+ im re))))
  (cbrt (* (- re im) (+ im re)))
  (* (* (- re im) (+ im re)) (* (* (- re im) (+ im re)) (* (- re im) (+ im re))))
  (sqrt (* (- re im) (+ im re)))
  (sqrt (* (- re im) (+ im re)))
  (fma (* im (* im im)) (- (* (* re re) re) (* im (* im im))) (* (* (* re re) re) (- (* (* re re) re) (* im (* im im)))))
  (* (fma re re (* im (+ im re))) (fma re re (* im (- im re))))
  (* (+ re im) (* (- re im) (fma (* re re) re (* im (* im im)))))
  (* (fma re re (* im (- im re))) (+ re im))
  (* (- (* (* re re) re) (* im (* im im))) (* (+ re im) (- re im)))
  (* (fma re re (* im (+ im re))) (- re im))
  (* (* (+ re im) (- re im)) (* (+ re im) (- re im)))
  (* (- re im) (+ im re))
  (* (sqrt (+ im re)) (sqrt (- re im)))
  (* (sqrt (+ im re)) (sqrt (- re im)))
  (* (- (* (cbrt re) (* (cbrt re) (cbrt re))) im) (+ re im))
  (* (fma -1 im im) (+ re im))
  (* (- (* (cbrt re) (* (cbrt re) (cbrt re))) im) (+ re im))
  (* (fma -1 im im) (+ re im))
  (* (- (* (cbrt re) (* (cbrt re) (cbrt re))) im) (+ re im))
  (* (fma -1 im im) (+ re im))
  (* (- re im) (+ im re))
  (* (fma -1 im im) (+ re im))
  (* (- re im) (+ im re))
  (* (fma -1 im im) (+ re im))
  (* (- re im) (+ im re))
  (* (fma -1 im im) (+ re im))
  (* (- re im) (+ im re))
  (* (fma -1 im im) (+ re im))
  (* (- re im) (+ im re))
  (* (fma -1 im im) (+ re im))
  (* (- re im) (+ im re))
  (* (fma -1 im im) (+ re im))
  (* re (+ im re))
  (- (* (+ im re) im))
  (* re (+ im re))
  (- (* (+ im re) im))
  (* (- (* (cbrt re) (* (cbrt re) (cbrt re))) im) (+ re im))
  (* (fma -1 im im) (+ re im))
  (* (- (* (cbrt re) (* (cbrt re) (cbrt re))) im) (+ re im))
  (* (fma -1 im im) (+ re im))
  (* (- (* (cbrt re) (* (cbrt re) (cbrt re))) im) (+ re im))
  (* (fma -1 im im) (+ re im))
  (* (- re im) (+ im re))
  (* (fma -1 im im) (+ re im))
  (* (- re im) (+ im re))
  (* (fma -1 im im) (+ re im))
  (* (- re im) (+ im re))
  (* (fma -1 im im) (+ re im))
  (* (- re im) (+ im re))
  (* (fma -1 im im) (+ re im))
  (* (- re im) (+ im re))
  (* (fma -1 im im) (+ re im))
  (* (- re im) (+ im re))
  (* (fma -1 im im) (+ re im))
  (* re (+ im re))
  (- (* (+ im re) im))
  (* re (+ im re))
  (- (* (+ im re) im))
  (* (* (cbrt (- re im)) (cbrt (- re im))) (+ im re))
  (* (sqrt (- re im)) (+ im re))
  (+ im re)
  (* (+ (sqrt im) (sqrt re)) (+ im re))
  (+ im re)
  (* (cbrt (+ im re)) (- re im))
  (* (sqrt (+ im re)) (- re im))
  (* (- re im) (+ im re))
  (* (- re im) (+ im re))
  (* (- (* (* re re) re) (* im (* im im))) (+ im re))
  (* (* (+ im re) (+ re im)) (- re im))
  (* (- re im) (fma (* re re) re (* im (* im im))))
  (* (- re im) (* (+ re im) (- re im)))
  (* (+ re im) (- re im))
  (* (+ re im) (- re im))
  (* (+ re im) (- re im))
7.617 * * * [progress]: adding candidates to table
7.804 * [progress]: [Phase 3 of 3] Extracting.
7.805 * * [regime]: Finding splitpoints for: (#<alt (λ (re im) (- (* re re) (* im im)))> #<alt (λ (re im) (* (+ re im) (- re im)))>)
7.805 * * * [regime-changes]: Trying 5 branch expressions: ((* im im) (* re re) (- (* re re) (* im im)) im re)
7.806 * * * * [regimes]: Trying to branch on (* im im) from (#<alt (λ (re im) (- (* re re) (* im im)))> #<alt (λ (re im) (* (+ re im) (- re im)))>)
7.832 * * * * [regimes]: Trying to branch on (* re re) from (#<alt (λ (re im) (- (* re re) (* im im)))> #<alt (λ (re im) (* (+ re im) (- re im)))>)
7.859 * * * * [regimes]: Trying to branch on (- (* re re) (* im im)) from (#<alt (λ (re im) (- (* re re) (* im im)))> #<alt (λ (re im) (* (+ re im) (- re im)))>)
7.891 * * * * [regimes]: Trying to branch on im from (#<alt (λ (re im) (- (* re re) (* im im)))> #<alt (λ (re im) (* (+ re im) (- re im)))>)
7.944 * * * * [regimes]: Trying to branch on re from (#<alt (λ (re im) (- (* re re) (* im im)))> #<alt (λ (re im) (* (+ re im) (- re im)))>)
7.975 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
7.976 * [simplify]: Simplifying:
  (- (* re re) (* im im))
7.976 * * [simplify]: iteration 0: 5 enodes
7.976 * * [simplify]: iteration complete: 5 enodes
7.976 * * [simplify]: Extracting #0: cost 1 inf + 0
7.976 * * [simplify]: Extracting #1: cost 3 inf + 0
7.976 * * [simplify]: Extracting #2: cost 5 inf + 0
7.976 * * [simplify]: Extracting #3: cost 2 inf + 43
7.977 * * [simplify]: Extracting #4: cost 0 inf + 206
7.977 * [simplify]: Simplified to:
  (- (* re re) (* im im))
9.836 * [regime-testing]: Baseline error score: 0.00554973339452166
9.853 * [regime-testing]: Oracle error score: 0.0005000625078134767
9.880 * [regime-testing]: End program error score: 0.00554973339452166