4.167 * [progress]: [Phase 1 of 3] Setting up.
0.019 * * * [progress]: [1/2] Preparing points
0.401 * * * [progress]: [2/2] Setting up program.
0.502 * [progress]: [Phase 2 of 3] Improving.
0.613 * [simplify]: Simplifying:
  (+ (* re im) (* im re))
0.655 * * [simplify]: iteration 0: 5 enodes
0.771 * * [simplify]: iteration 1: 6 enodes
0.780 * * [simplify]: iteration 2: 10 enodes
0.788 * * [simplify]: iteration 3: 16 enodes
0.797 * * [simplify]: iteration 4: 20 enodes
0.804 * * [simplify]: iteration 5: 21 enodes
0.828 * * [simplify]: iteration complete: 21 enodes
0.842 * * [simplify]: Extracting #0: cost 1 inf + 0
0.849 * * [simplify]: Extracting #1: cost 7 inf + 0
0.872 * * [simplify]: Extracting #2: cost 4 inf + 3
0.872 * * [simplify]: Extracting #3: cost 0 inf + 209
0.872 * [simplify]: Simplified to:
  (+ (* im re) (* im re))
1.522 * * [progress]: iteration 1 / 4
1.522 * * * [progress]: picking best candidate
1.540 * * * * [pick]: Picked  #<alt (λ (re im) (+ (* im re) (* im re)))>
1.546 * * * [progress]: localizing error
1.629 * * * [progress]: generating rewritten candidates
1.632 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.832 * * * [progress]: generating series expansions
1.846 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.982 * [backup-simplify]: Simplify (+ (* im re) (* im re)) into (* 2 (* re im))
1.982 * [approximate]: Taking taylor expansion of (* 2 (* re im)) in (im re) around 0
1.989 * [taylor]: Taking taylor expansion of (* 2 (* re im)) in re
1.989 * [taylor]: Taking taylor expansion of 2 in re
1.989 * [backup-simplify]: Simplify 2 into 2
1.989 * [taylor]: Taking taylor expansion of (* re im) in re
1.989 * [taylor]: Taking taylor expansion of re in re
1.989 * [backup-simplify]: Simplify 0 into 0
1.990 * [backup-simplify]: Simplify 1 into 1
1.990 * [taylor]: Taking taylor expansion of im in re
1.990 * [backup-simplify]: Simplify im into im
1.990 * [taylor]: Taking taylor expansion of (* 2 (* re im)) in im
1.990 * [taylor]: Taking taylor expansion of 2 in im
1.990 * [backup-simplify]: Simplify 2 into 2
1.990 * [taylor]: Taking taylor expansion of (* re im) in im
1.990 * [taylor]: Taking taylor expansion of re in im
1.990 * [backup-simplify]: Simplify re into re
1.990 * [taylor]: Taking taylor expansion of im in im
1.990 * [backup-simplify]: Simplify 0 into 0
1.990 * [backup-simplify]: Simplify 1 into 1
1.990 * [taylor]: Taking taylor expansion of (* 2 (* re im)) in im
1.990 * [taylor]: Taking taylor expansion of 2 in im
1.990 * [backup-simplify]: Simplify 2 into 2
1.990 * [taylor]: Taking taylor expansion of (* re im) in im
1.990 * [taylor]: Taking taylor expansion of re in im
1.990 * [backup-simplify]: Simplify re into re
1.990 * [taylor]: Taking taylor expansion of im in im
1.990 * [backup-simplify]: Simplify 0 into 0
1.990 * [backup-simplify]: Simplify 1 into 1
2.007 * [backup-simplify]: Simplify (* re 0) into 0
2.010 * [backup-simplify]: Simplify (* 2 0) into 0
2.010 * [taylor]: Taking taylor expansion of 0 in re
2.010 * [backup-simplify]: Simplify 0 into 0
2.010 * [backup-simplify]: Simplify 0 into 0
2.017 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re
2.017 * [backup-simplify]: Simplify (+ (* 2 re) (* 0 0)) into (* 2 re)
2.017 * [taylor]: Taking taylor expansion of (* 2 re) in re
2.017 * [taylor]: Taking taylor expansion of 2 in re
2.017 * [backup-simplify]: Simplify 2 into 2
2.017 * [taylor]: Taking taylor expansion of re in re
2.017 * [backup-simplify]: Simplify 0 into 0
2.017 * [backup-simplify]: Simplify 1 into 1
2.018 * [backup-simplify]: Simplify (* 2 0) into 0
2.018 * [backup-simplify]: Simplify 0 into 0
2.018 * [backup-simplify]: Simplify 0 into 0
2.018 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 1) (* 0 0))) into 0
2.019 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 re) (* 0 0))) into 0
2.019 * [taylor]: Taking taylor expansion of 0 in re
2.019 * [backup-simplify]: Simplify 0 into 0
2.019 * [backup-simplify]: Simplify 0 into 0
2.020 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
2.020 * [backup-simplify]: Simplify 2 into 2
2.030 * [backup-simplify]: Simplify 0 into 0
2.040 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.042 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 re) (* 0 0)))) into 0
2.042 * [taylor]: Taking taylor expansion of 0 in re
2.042 * [backup-simplify]: Simplify 0 into 0
2.042 * [backup-simplify]: Simplify 0 into 0
2.042 * [backup-simplify]: Simplify 0 into 0
2.043 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0
2.043 * [backup-simplify]: Simplify 0 into 0
2.043 * [backup-simplify]: Simplify 0 into 0
2.048 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.049 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 re) (* 0 0))))) into 0
2.049 * [taylor]: Taking taylor expansion of 0 in re
2.049 * [backup-simplify]: Simplify 0 into 0
2.049 * [backup-simplify]: Simplify 0 into 0
2.050 * [backup-simplify]: Simplify (* 2 (* re im)) into (* 2 (* re im))
2.057 * [backup-simplify]: Simplify (+ (* (/ 1 im) (/ 1 re)) (* (/ 1 im) (/ 1 re))) into (* 2 (/ 1 (* re im)))
2.057 * [approximate]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in (im re) around 0
2.057 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in re
2.057 * [taylor]: Taking taylor expansion of 2 in re
2.057 * [backup-simplify]: Simplify 2 into 2
2.057 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re
2.057 * [taylor]: Taking taylor expansion of (* re im) in re
2.057 * [taylor]: Taking taylor expansion of re in re
2.057 * [backup-simplify]: Simplify 0 into 0
2.057 * [backup-simplify]: Simplify 1 into 1
2.057 * [taylor]: Taking taylor expansion of im in re
2.057 * [backup-simplify]: Simplify im into im
2.058 * [backup-simplify]: Simplify (* 0 im) into 0
2.059 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 im)) into im
2.059 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
2.059 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in im
2.059 * [taylor]: Taking taylor expansion of 2 in im
2.059 * [backup-simplify]: Simplify 2 into 2
2.059 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im
2.059 * [taylor]: Taking taylor expansion of (* re im) in im
2.059 * [taylor]: Taking taylor expansion of re in im
2.059 * [backup-simplify]: Simplify re into re
2.059 * [taylor]: Taking taylor expansion of im in im
2.059 * [backup-simplify]: Simplify 0 into 0
2.059 * [backup-simplify]: Simplify 1 into 1
2.059 * [backup-simplify]: Simplify (* re 0) into 0
2.060 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re
2.060 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
2.060 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in im
2.060 * [taylor]: Taking taylor expansion of 2 in im
2.060 * [backup-simplify]: Simplify 2 into 2
2.060 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im
2.060 * [taylor]: Taking taylor expansion of (* re im) in im
2.060 * [taylor]: Taking taylor expansion of re in im
2.060 * [backup-simplify]: Simplify re into re
2.060 * [taylor]: Taking taylor expansion of im in im
2.060 * [backup-simplify]: Simplify 0 into 0
2.060 * [backup-simplify]: Simplify 1 into 1
2.060 * [backup-simplify]: Simplify (* re 0) into 0
2.060 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re
2.061 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
2.061 * [backup-simplify]: Simplify (* 2 (/ 1 re)) into (/ 2 re)
2.061 * [taylor]: Taking taylor expansion of (/ 2 re) in re
2.061 * [taylor]: Taking taylor expansion of 2 in re
2.061 * [backup-simplify]: Simplify 2 into 2
2.061 * [taylor]: Taking taylor expansion of re in re
2.061 * [backup-simplify]: Simplify 0 into 0
2.061 * [backup-simplify]: Simplify 1 into 1
2.064 * [backup-simplify]: Simplify (/ 2 1) into 2
2.072 * [backup-simplify]: Simplify 2 into 2
2.086 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 1) (* 0 0))) into 0
2.086 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
2.087 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 re))) into 0
2.087 * [taylor]: Taking taylor expansion of 0 in re
2.087 * [backup-simplify]: Simplify 0 into 0
2.110 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)))) into 0
2.110 * [backup-simplify]: Simplify 0 into 0
2.111 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.111 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
2.112 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 re)))) into 0
2.112 * [taylor]: Taking taylor expansion of 0 in re
2.112 * [backup-simplify]: Simplify 0 into 0
2.112 * [backup-simplify]: Simplify 0 into 0
2.113 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.113 * [backup-simplify]: Simplify 0 into 0
2.126 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.133 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0
2.135 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 re))))) into 0
2.135 * [taylor]: Taking taylor expansion of 0 in re
2.135 * [backup-simplify]: Simplify 0 into 0
2.135 * [backup-simplify]: Simplify 0 into 0
2.135 * [backup-simplify]: Simplify 0 into 0
2.137 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.137 * [backup-simplify]: Simplify 0 into 0
2.137 * [backup-simplify]: Simplify (* 2 (* (/ 1 (/ 1 re)) (/ 1 (/ 1 im)))) into (* 2 (* re im))
2.140 * [backup-simplify]: Simplify (+ (* (/ 1 (- im)) (/ 1 (- re))) (* (/ 1 (- im)) (/ 1 (- re)))) into (* 2 (/ 1 (* re im)))
2.140 * [approximate]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in (im re) around 0
2.140 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in re
2.140 * [taylor]: Taking taylor expansion of 2 in re
2.140 * [backup-simplify]: Simplify 2 into 2
2.140 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in re
2.140 * [taylor]: Taking taylor expansion of (* re im) in re
2.140 * [taylor]: Taking taylor expansion of re in re
2.140 * [backup-simplify]: Simplify 0 into 0
2.140 * [backup-simplify]: Simplify 1 into 1
2.140 * [taylor]: Taking taylor expansion of im in re
2.140 * [backup-simplify]: Simplify im into im
2.140 * [backup-simplify]: Simplify (* 0 im) into 0
2.141 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 im)) into im
2.141 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
2.141 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in im
2.141 * [taylor]: Taking taylor expansion of 2 in im
2.141 * [backup-simplify]: Simplify 2 into 2
2.141 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im
2.141 * [taylor]: Taking taylor expansion of (* re im) in im
2.141 * [taylor]: Taking taylor expansion of re in im
2.141 * [backup-simplify]: Simplify re into re
2.141 * [taylor]: Taking taylor expansion of im in im
2.141 * [backup-simplify]: Simplify 0 into 0
2.141 * [backup-simplify]: Simplify 1 into 1
2.141 * [backup-simplify]: Simplify (* re 0) into 0
2.142 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re
2.142 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
2.142 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* re im))) in im
2.142 * [taylor]: Taking taylor expansion of 2 in im
2.142 * [backup-simplify]: Simplify 2 into 2
2.142 * [taylor]: Taking taylor expansion of (/ 1 (* re im)) in im
2.142 * [taylor]: Taking taylor expansion of (* re im) in im
2.142 * [taylor]: Taking taylor expansion of re in im
2.142 * [backup-simplify]: Simplify re into re
2.142 * [taylor]: Taking taylor expansion of im in im
2.142 * [backup-simplify]: Simplify 0 into 0
2.142 * [backup-simplify]: Simplify 1 into 1
2.142 * [backup-simplify]: Simplify (* re 0) into 0
2.142 * [backup-simplify]: Simplify (+ (* re 1) (* 0 0)) into re
2.142 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
2.143 * [backup-simplify]: Simplify (* 2 (/ 1 re)) into (/ 2 re)
2.143 * [taylor]: Taking taylor expansion of (/ 2 re) in re
2.143 * [taylor]: Taking taylor expansion of 2 in re
2.143 * [backup-simplify]: Simplify 2 into 2
2.143 * [taylor]: Taking taylor expansion of re in re
2.143 * [backup-simplify]: Simplify 0 into 0
2.143 * [backup-simplify]: Simplify 1 into 1
2.143 * [backup-simplify]: Simplify (/ 2 1) into 2
2.143 * [backup-simplify]: Simplify 2 into 2
2.144 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 1) (* 0 0))) into 0
2.144 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
2.145 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 re))) into 0
2.145 * [taylor]: Taking taylor expansion of 0 in re
2.145 * [backup-simplify]: Simplify 0 into 0
2.146 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)))) into 0
2.146 * [backup-simplify]: Simplify 0 into 0
2.147 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.147 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
2.148 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 re)))) into 0
2.148 * [taylor]: Taking taylor expansion of 0 in re
2.148 * [backup-simplify]: Simplify 0 into 0
2.148 * [backup-simplify]: Simplify 0 into 0
2.149 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.149 * [backup-simplify]: Simplify 0 into 0
2.150 * [backup-simplify]: Simplify (+ (* re 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.150 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0
2.152 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 re))))) into 0
2.152 * [taylor]: Taking taylor expansion of 0 in re
2.152 * [backup-simplify]: Simplify 0 into 0
2.152 * [backup-simplify]: Simplify 0 into 0
2.152 * [backup-simplify]: Simplify 0 into 0
2.153 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.153 * [backup-simplify]: Simplify 0 into 0
2.153 * [backup-simplify]: Simplify (* 2 (* (/ 1 (/ 1 (- re))) (/ 1 (/ 1 (- im))))) into (* 2 (* re im))
2.153 * * * [progress]: simplifying candidates
2.156 * [simplify]: Simplifying:
  (* (exp (* im re)) (exp (* im re)))
  (log (+ (* im re) (* im re)))
  (exp (+ (* im re) (* im re)))
  (* (cbrt (+ (* im re) (* im re))) (cbrt (+ (* im re) (* im re))))
  (cbrt (+ (* im re) (* im re)))
  (* (* (+ (* im re) (* im re)) (+ (* im re) (* im re))) (+ (* im re) (* im re)))
  (sqrt (+ (* im re) (* im re)))
  (sqrt (+ (* im re) (* im re)))
  (+ (pow (* im re) 3) (pow (* im re) 3))
  (+ (* (* im re) (* im re)) (- (* (* im re) (* im re)) (* (* im re) (* im re))))
  (- (* (* im re) (* im re)) (* (* im re) (* im re)))
  (- (* im re) (* im re))
  (+ re re)
  (+ im im)
  (* 2 (* re im))
  (* 2 (* re im))
  (* 2 (* re im))
2.160 * * [simplify]: iteration 0: 25 enodes
2.233 * * [simplify]: iteration 1: 66 enodes
2.796 * * [simplify]: iteration 2: 281 enodes
4.373 * * [simplify]: iteration 3: 979 enodes
13.044 * * [simplify]: iteration 4: 2915 enodes
19.466 * * [simplify]: iteration complete: 5002 enodes
19.467 * * [simplify]: Extracting #0: cost 12 inf + 0
19.468 * * [simplify]: Extracting #1: cost 200 inf + 1
19.475 * * [simplify]: Extracting #2: cost 1219 inf + 1723
19.507 * * [simplify]: Extracting #3: cost 969 inf + 73744
19.585 * * [simplify]: Extracting #4: cost 314 inf + 199870
19.689 * * [simplify]: Extracting #5: cost 53 inf + 278307
19.889 * * [simplify]: Extracting #6: cost 3 inf + 294135
20.208 * * [simplify]: Extracting #7: cost 0 inf + 295017
20.306 * [simplify]: Simplified to:
  (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 im) (* (+ (* re im) (* re im)) (* re im)))
  (* (* re im) (* re im))
  0
  0
  (+ re re)
  (+ im im)
  (+ (* re im) (* re im))
  (+ (* re im) (* re im))
  (+ (* re im) (* re im))
20.307 * * * [progress]: adding candidates to table
20.487 * * [progress]: iteration 2 / 4
20.487 * * * [progress]: picking best candidate
20.501 * * * * [pick]: Picked  #<alt (λ (re im) (* re (+ im im)))>
20.501 * * * [progress]: localizing error
20.714 * * * [progress]: generating rewritten candidates
20.714 * * * [progress]: generating series expansions
20.714 * * * [progress]: simplifying candidates
20.714 * [simplify]: Simplifying:
  
20.714 * * [simplify]: iteration 0: 0 enodes
20.714 * * [simplify]: iteration complete: 0 enodes
20.714 * * [simplify]: Extracting #0: cost 0 inf + 0
20.714 * [simplify]: Simplified to:
  
20.714 * * * [progress]: adding candidates to table
20.715 * [progress]: [Phase 3 of 3] Extracting.
20.724 * [simplify]: Simplifying:
  (* re (+ im im))
20.724 * * [simplify]: iteration 0: 4 enodes
20.724 * * [simplify]: iteration 1: 5 enodes
20.725 * * [simplify]: iteration complete: 5 enodes
20.725 * * [simplify]: Extracting #0: cost 1 inf + 0
20.725 * * [simplify]: Extracting #1: cost 3 inf + 0
20.725 * * [simplify]: Extracting #2: cost 3 inf + 1
20.725 * * [simplify]: Extracting #3: cost 1 inf + 43
20.725 * * [simplify]: Extracting #4: cost 0 inf + 125
20.725 * [simplify]: Simplified to:
  (* re (+ im im))
23.077 * [regime-testing]: Baseline error score: 0
23.362 * [regime-testing]: Oracle error score: 0
23.403 * [regime-testing]: End program error score: 0