1537027872.099 * [misc]progress:  [Phase 1 of 3] Setting up.
1537027872.100 * * * [misc]progress:  [1/2] Preparing points
1537027872.101 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1537027872.252 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537027872.253 * * * * [misc]points:  Sampling 96 additional inputs, on iter 1 have 160 / 256
1537027872.273 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537027872.273 * * * * [misc]points:  Sampling 39 additional inputs, on iter 2 have 217 / 256
1537027872.282 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537027872.282 * * * * [misc]points:  Sampling 18 additional inputs, on iter 3 have 238 / 256
1537027872.287 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537027872.288 * * * * [misc]points:  Sampling 8 additional inputs, on iter 4 have 248 / 256
1537027872.289 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537027872.289 * * * * [misc]points:  Sampling 4 additional inputs, on iter 5 have 253 / 256
1537027872.291 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537027872.291 * * * * [misc]points:  Sampling 4 additional inputs, on iter 6 have 255 / 256
1537027872.292 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537027872.292 * * * * [exit]points:  Sampled 257 points with exact outputs
1537027872.292 * * * [misc]progress:  [2/2] Setting up program.
1537027872.296 * [misc]progress:  [Phase 2 of 3] Improving.
1537027872.296 * [enter]simplify:  Simplifying (- (* re re) (* im im))
1537027872.298 * * [misc]simplify:  iters left: 4 (5 enodes)
1537027872.302 * * [misc]simplify:  iters left: 3 (11 enodes)
1537027872.305 * * [misc]simplify:  iters left: 2 (18 enodes)
1537027872.310 * * [misc]simplify:  iters left: 1 (35 enodes)
1537027872.322 * [exit]simplify:  Simplified to (- (* re re) (* im im))
1537027872.345 * * [misc]progress:  iteration 1 / 4
1537027872.345 * * * [misc]progress:  picking best candidate
1537027872.348 * * * * [misc]pick:  Picked  #<alt (λ (re im) (- (* re re) (* im im)))>
1537027872.348 * * * [misc]progress:  localizing error
1537027872.361 * * * [misc]progress:  generating rewritten candidates
1537027872.361 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1537027872.383 * * * [misc]progress:  generating series expansions
1537027872.383 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1537027872.389 * [misc]backup-simplify:  Simplify (- (* re re) (* im im)) into (- (pow re 2) (pow im 2))
1537027872.389 * [misc]approximate:  Taking taylor expansion of (- (pow re 2) (pow im 2)) in (re im) around 0
1537027872.390 * [misc]taylor:  Taking taylor expansion of (- (pow re 2) (pow im 2)) in im
1537027872.390 * [misc]taylor:  Taking taylor expansion of (pow re 2) in im
1537027872.390 * [misc]taylor:  Taking taylor expansion of re in im
1537027872.390 * [misc]backup-simplify:  Simplify re into re
1537027872.390 * [misc]taylor:  Taking taylor expansion of (pow im 2) in im
1537027872.390 * [misc]taylor:  Taking taylor expansion of im in im
1537027872.390 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.390 * [misc]backup-simplify:  Simplify 1 into 1
1537027872.391 * [misc]taylor:  Taking taylor expansion of (- (pow re 2) (pow im 2)) in re
1537027872.391 * [misc]taylor:  Taking taylor expansion of (pow re 2) in re
1537027872.391 * [misc]taylor:  Taking taylor expansion of re in re
1537027872.391 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.391 * [misc]backup-simplify:  Simplify 1 into 1
1537027872.391 * [misc]taylor:  Taking taylor expansion of (pow im 2) in re
1537027872.391 * [misc]taylor:  Taking taylor expansion of im in re
1537027872.391 * [misc]backup-simplify:  Simplify im into im
1537027872.391 * [misc]taylor:  Taking taylor expansion of (- (pow re 2) (pow im 2)) in re
1537027872.391 * [misc]taylor:  Taking taylor expansion of (pow re 2) in re
1537027872.391 * [misc]taylor:  Taking taylor expansion of re in re
1537027872.391 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.391 * [misc]backup-simplify:  Simplify 1 into 1
1537027872.391 * [misc]taylor:  Taking taylor expansion of (pow im 2) in re
1537027872.391 * [misc]taylor:  Taking taylor expansion of im in re
1537027872.391 * [misc]backup-simplify:  Simplify im into im
1537027872.392 * [misc]backup-simplify:  Simplify (* im im) into (pow im 2)
1537027872.392 * [misc]backup-simplify:  Simplify (- (pow im 2)) into (- (pow im 2))
1537027872.392 * [misc]backup-simplify:  Simplify (+ 0 (- (pow im 2))) into (- (pow im 2))
1537027872.392 * [misc]taylor:  Taking taylor expansion of (- (pow im 2)) in im
1537027872.392 * [misc]taylor:  Taking taylor expansion of (pow im 2) in im
1537027872.392 * [misc]taylor:  Taking taylor expansion of im in im
1537027872.392 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.392 * [misc]backup-simplify:  Simplify 1 into 1
1537027872.392 * [misc]backup-simplify:  Simplify (+ (* im 0) (* 0 im)) into 0
1537027872.392 * [misc]backup-simplify:  Simplify (- 0) into 0
1537027872.393 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537027872.393 * [misc]taylor:  Taking taylor expansion of 0 in im
1537027872.393 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.393 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.393 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537027872.393 * [misc]backup-simplify:  Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
1537027872.393 * [misc]backup-simplify:  Simplify (- 0) into 0
1537027872.393 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1537027872.393 * [misc]taylor:  Taking taylor expansion of 1 in im
1537027872.393 * [misc]backup-simplify:  Simplify 1 into 1
1537027872.393 * [misc]backup-simplify:  Simplify 1 into 1
1537027872.394 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.394 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537027872.394 * [misc]backup-simplify:  Simplify (- 1) into -1
1537027872.394 * [misc]backup-simplify:  Simplify -1 into -1
1537027872.394 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537027872.394 * [misc]backup-simplify:  Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0
1537027872.394 * [misc]backup-simplify:  Simplify (- 0) into 0
1537027872.395 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537027872.395 * [misc]taylor:  Taking taylor expansion of 0 in im
1537027872.395 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.395 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.395 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.395 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.395 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537027872.395 * [misc]backup-simplify:  Simplify (- 0) into 0
1537027872.395 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.395 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1537027872.396 * [misc]backup-simplify:  Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0
1537027872.396 * [misc]backup-simplify:  Simplify (- 0) into 0
1537027872.396 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537027872.396 * [misc]taylor:  Taking taylor expansion of 0 in im
1537027872.396 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.396 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.396 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.397 * [misc]backup-simplify:  Simplify (+ (* -1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (- (pow re 2) (pow im 2))
1537027872.397 * [misc]backup-simplify:  Simplify (- (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))
1537027872.398 * [misc]approximate:  Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0
1537027872.398 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im
1537027872.398 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow re 2)) in im
1537027872.398 * [misc]taylor:  Taking taylor expansion of (pow re 2) in im
1537027872.398 * [misc]taylor:  Taking taylor expansion of re in im
1537027872.398 * [misc]backup-simplify:  Simplify re into re
1537027872.398 * [misc]backup-simplify:  Simplify (* re re) into (pow re 2)
1537027872.398 * [misc]backup-simplify:  Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2))
1537027872.398 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow im 2)) in im
1537027872.398 * [misc]taylor:  Taking taylor expansion of (pow im 2) in im
1537027872.398 * [misc]taylor:  Taking taylor expansion of im in im
1537027872.398 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.398 * [misc]backup-simplify:  Simplify 1 into 1
1537027872.398 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537027872.399 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537027872.399 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
1537027872.399 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow re 2)) in re
1537027872.399 * [misc]taylor:  Taking taylor expansion of (pow re 2) in re
1537027872.399 * [misc]taylor:  Taking taylor expansion of re in re
1537027872.399 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.399 * [misc]backup-simplify:  Simplify 1 into 1
1537027872.399 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537027872.399 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537027872.399 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow im 2)) in re
1537027872.399 * [misc]taylor:  Taking taylor expansion of (pow im 2) in re
1537027872.399 * [misc]taylor:  Taking taylor expansion of im in re
1537027872.399 * [misc]backup-simplify:  Simplify im into im
1537027872.399 * [misc]backup-simplify:  Simplify (* im im) into (pow im 2)
1537027872.399 * [misc]backup-simplify:  Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
1537027872.400 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
1537027872.400 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow re 2)) in re
1537027872.400 * [misc]taylor:  Taking taylor expansion of (pow re 2) in re
1537027872.400 * [misc]taylor:  Taking taylor expansion of re in re
1537027872.400 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.400 * [misc]backup-simplify:  Simplify 1 into 1
1537027872.400 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537027872.400 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537027872.400 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow im 2)) in re
1537027872.400 * [misc]taylor:  Taking taylor expansion of (pow im 2) in re
1537027872.400 * [misc]taylor:  Taking taylor expansion of im in re
1537027872.400 * [misc]backup-simplify:  Simplify im into im
1537027872.400 * [misc]backup-simplify:  Simplify (* im im) into (pow im 2)
1537027872.400 * [misc]backup-simplify:  Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
1537027872.401 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1537027872.401 * [misc]taylor:  Taking taylor expansion of 1 in im
1537027872.401 * [misc]backup-simplify:  Simplify 1 into 1
1537027872.401 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537027872.401 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1537027872.402 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537027872.402 * [misc]taylor:  Taking taylor expansion of 0 in im
1537027872.402 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.402 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1537027872.402 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537027872.402 * [misc]backup-simplify:  Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2)))
1537027872.403 * [misc]backup-simplify:  Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2)))
1537027872.403 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow im 2))) in im
1537027872.403 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow im 2)) in im
1537027872.403 * [misc]taylor:  Taking taylor expansion of (pow im 2) in im
1537027872.403 * [misc]taylor:  Taking taylor expansion of im in im
1537027872.403 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.403 * [misc]backup-simplify:  Simplify 1 into 1
1537027872.403 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537027872.403 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537027872.403 * [misc]backup-simplify:  Simplify (- 1) into -1
1537027872.403 * [misc]backup-simplify:  Simplify -1 into -1
1537027872.404 * [misc]backup-simplify:  Simplify 1 into 1
1537027872.404 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1537027872.404 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537027872.404 * [misc]backup-simplify:  Simplify (+ (* im 0) (* 0 im)) into 0
1537027872.405 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0
1537027872.405 * [misc]backup-simplify:  Simplify (- 0) into 0
1537027872.405 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537027872.405 * [misc]taylor:  Taking taylor expansion of 0 in im
1537027872.405 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.405 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537027872.406 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1537027872.406 * [misc]backup-simplify:  Simplify (- 0) into 0
1537027872.406 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.406 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.406 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.406 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1537027872.407 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537027872.407 * [misc]backup-simplify:  Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
1537027872.407 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0
1537027872.408 * [misc]backup-simplify:  Simplify (- 0) into 0
1537027872.408 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537027872.408 * [misc]taylor:  Taking taylor expansion of 0 in im
1537027872.408 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.408 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1537027872.409 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537027872.409 * [misc]backup-simplify:  Simplify (- 0) into 0
1537027872.409 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.409 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.409 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.410 * [misc]backup-simplify:  Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 re))) 2)) (* -1 (pow (* (/ 1 (/ 1 im)) 1) 2))) into (- (pow re 2) (pow im 2))
1537027872.410 * [misc]backup-simplify:  Simplify (- (* (/ 1 (- re)) (/ 1 (- re))) (* (/ 1 (- im)) (/ 1 (- im)))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))
1537027872.410 * [misc]approximate:  Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0
1537027872.410 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im
1537027872.410 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow re 2)) in im
1537027872.410 * [misc]taylor:  Taking taylor expansion of (pow re 2) in im
1537027872.410 * [misc]taylor:  Taking taylor expansion of re in im
1537027872.410 * [misc]backup-simplify:  Simplify re into re
1537027872.410 * [misc]backup-simplify:  Simplify (* re re) into (pow re 2)
1537027872.410 * [misc]backup-simplify:  Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2))
1537027872.410 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow im 2)) in im
1537027872.410 * [misc]taylor:  Taking taylor expansion of (pow im 2) in im
1537027872.410 * [misc]taylor:  Taking taylor expansion of im in im
1537027872.410 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.410 * [misc]backup-simplify:  Simplify 1 into 1
1537027872.411 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537027872.411 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537027872.411 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
1537027872.411 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow re 2)) in re
1537027872.411 * [misc]taylor:  Taking taylor expansion of (pow re 2) in re
1537027872.411 * [misc]taylor:  Taking taylor expansion of re in re
1537027872.411 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.411 * [misc]backup-simplify:  Simplify 1 into 1
1537027872.411 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537027872.411 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537027872.411 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow im 2)) in re
1537027872.411 * [misc]taylor:  Taking taylor expansion of (pow im 2) in re
1537027872.411 * [misc]taylor:  Taking taylor expansion of im in re
1537027872.411 * [misc]backup-simplify:  Simplify im into im
1537027872.412 * [misc]backup-simplify:  Simplify (* im im) into (pow im 2)
1537027872.412 * [misc]backup-simplify:  Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
1537027872.412 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
1537027872.412 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow re 2)) in re
1537027872.412 * [misc]taylor:  Taking taylor expansion of (pow re 2) in re
1537027872.412 * [misc]taylor:  Taking taylor expansion of re in re
1537027872.412 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.412 * [misc]backup-simplify:  Simplify 1 into 1
1537027872.412 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537027872.412 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537027872.412 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow im 2)) in re
1537027872.412 * [misc]taylor:  Taking taylor expansion of (pow im 2) in re
1537027872.412 * [misc]taylor:  Taking taylor expansion of im in re
1537027872.412 * [misc]backup-simplify:  Simplify im into im
1537027872.412 * [misc]backup-simplify:  Simplify (* im im) into (pow im 2)
1537027872.412 * [misc]backup-simplify:  Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
1537027872.413 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1537027872.413 * [misc]taylor:  Taking taylor expansion of 1 in im
1537027872.413 * [misc]backup-simplify:  Simplify 1 into 1
1537027872.413 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537027872.413 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1537027872.413 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537027872.413 * [misc]taylor:  Taking taylor expansion of 0 in im
1537027872.414 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.414 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1537027872.414 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537027872.414 * [misc]backup-simplify:  Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2)))
1537027872.414 * [misc]backup-simplify:  Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2)))
1537027872.415 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow im 2))) in im
1537027872.415 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow im 2)) in im
1537027872.415 * [misc]taylor:  Taking taylor expansion of (pow im 2) in im
1537027872.415 * [misc]taylor:  Taking taylor expansion of im in im
1537027872.415 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.415 * [misc]backup-simplify:  Simplify 1 into 1
1537027872.415 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537027872.415 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537027872.415 * [misc]backup-simplify:  Simplify (- 1) into -1
1537027872.415 * [misc]backup-simplify:  Simplify -1 into -1
1537027872.415 * [misc]backup-simplify:  Simplify 1 into 1
1537027872.416 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1537027872.416 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537027872.416 * [misc]backup-simplify:  Simplify (+ (* im 0) (* 0 im)) into 0
1537027872.416 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0
1537027872.417 * [misc]backup-simplify:  Simplify (- 0) into 0
1537027872.417 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537027872.417 * [misc]taylor:  Taking taylor expansion of 0 in im
1537027872.417 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.417 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537027872.417 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1537027872.417 * [misc]backup-simplify:  Simplify (- 0) into 0
1537027872.418 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.418 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.418 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.418 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1537027872.419 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537027872.419 * [misc]backup-simplify:  Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
1537027872.419 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0
1537027872.419 * [misc]backup-simplify:  Simplify (- 0) into 0
1537027872.419 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537027872.419 * [misc]taylor:  Taking taylor expansion of 0 in im
1537027872.420 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.420 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1537027872.420 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537027872.420 * [misc]backup-simplify:  Simplify (- 0) into 0
1537027872.420 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.420 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.420 * [misc]backup-simplify:  Simplify 0 into 0
1537027872.421 * [misc]backup-simplify:  Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- re)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- im))) 1) 2))) into (- (pow re 2) (pow im 2))
1537027872.421 * * * [misc]progress:  simplifying candidates
1537027872.422 * * * * [misc]progress:  [ 1 / 20 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* im im))) (fma (- im) im (* im im))))>
1537027872.422 * [enter]simplify:  Simplifying (fma re re (- (* im im)))
1537027872.423 * * [misc]simplify:  iters left: 5 (5 enodes)
1537027872.426 * * [misc]simplify:  iters left: 4 (10 enodes)
1537027872.430 * * [misc]simplify:  iters left: 3 (12 enodes)
1537027872.779 * * [misc]simplify:  iters left: 2 (17 enodes)
1537027872.782 * * [misc]simplify:  iters left: 1 (20 enodes)
1537027872.788 * [exit]simplify:  Simplified to (* (- re im) (+ im re))
1537027872.788 * [misc]simplify:  Simplified (2 1) to (λ (re im) (+ (* (- re im) (+ im re)) (fma (- im) im (* im im))))
1537027872.789 * [enter]simplify:  Simplifying (fma (- im) im (* im im))
1537027872.789 * * [misc]simplify:  iters left: 3 (4 enodes)
1537027872.790 * * [misc]simplify:  iters left: 2 (6 enodes)
1537027872.791 * * [misc]simplify:  iters left: 1 (11 enodes)
1537027872.794 * [exit]simplify:  Simplified to (- (* im im) (* im im))
1537027872.794 * [misc]simplify:  Simplified (2 2) to (λ (re im) (+ (fma re re (- (* im im))) (- (* im im) (* im im))))
1537027872.794 * * * * [misc]progress:  [ 2 / 20 ] simplifiying candidate #<alt (λ (re im) (log1p (expm1 (- (* re re) (* im im)))))>
1537027872.795 * * * * [misc]progress:  [ 3 / 20 ] simplifiying candidate #<alt (λ (re im) (expm1 (log1p (- (* re re) (* im im)))))>
1537027872.795 * * * * [misc]progress:  [ 4 / 20 ] simplifiying candidate #<alt (λ (re im) (fma re re (- (* im im))))>
1537027872.795 * * * * [misc]progress:  [ 5 / 20 ] simplifiying candidate #<alt (λ (re im) (log (/ (exp (* re re)) (exp (* im im)))))>
1537027872.795 * [enter]simplify:  Simplifying (/ (exp (* re re)) (exp (* im im)))
1537027872.795 * * [misc]simplify:  iters left: 5 (7 enodes)
1537027872.797 * * [misc]simplify:  iters left: 4 (13 enodes)
1537027872.800 * * [misc]simplify:  iters left: 3 (19 enodes)
1537027872.804 * * [misc]simplify:  iters left: 2 (30 enodes)
1537027872.812 * * [misc]simplify:  iters left: 1 (57 enodes)
1537027872.840 * [exit]simplify:  Simplified to (exp (- (* re re) (* im im)))
1537027872.840 * [misc]simplify:  Simplified (2 1) to (λ (re im) (log (exp (- (* re re) (* im im)))))
1537027872.840 * * * * [misc]progress:  [ 6 / 20 ] simplifiying candidate #<alt (λ (re im) (pow (- (* re re) (* im im)) 1))>
1537027872.840 * * * * [misc]progress:  [ 7 / 20 ] simplifiying candidate #<alt (λ (re im) (exp (log (- (* re re) (* im im)))))>
1537027872.840 * * * * [misc]progress:  [ 8 / 20 ] simplifiying candidate #<alt (λ (re im) (log (exp (- (* re re) (* im im)))))>
1537027872.840 * * * * [misc]progress:  [ 9 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* (cbrt (- (* re re) (* im im))) (cbrt (- (* re re) (* im im)))) (cbrt (- (* re re) (* im im)))))>
1537027872.840 * * * * [misc]progress:  [ 10 / 20 ] simplifiying candidate #<alt (λ (re im) (cbrt (* (* (- (* re re) (* im im)) (- (* re re) (* im im))) (- (* re re) (* im im)))))>
1537027872.840 * * * * [misc]progress:  [ 11 / 20 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (- (* re re) (* im im))) (sqrt (- (* re re) (* im im)))))>
1537027872.840 * * * * [misc]progress:  [ 12 / 20 ] simplifiying candidate #<alt (λ (re im) (/ (- (pow (* re re) 3) (pow (* im im) 3)) (+ (* (* re re) (* re re)) (+ (* (* im im) (* im im)) (* (* re re) (* im im))))))>
1537027872.840 * * * * [misc]progress:  [ 13 / 20 ] simplifiying candidate #<alt (λ (re im) (+ (* re re) (- (* im im))))>
1537027872.840 * * * * [misc]progress:  [ 14 / 20 ] simplifiying candidate #<alt (λ (re im) (* 1 (- (* re re) (* im im))))>
1537027872.840 * * * * [misc]progress:  [ 15 / 20 ] simplifiying candidate #<alt (λ (re im) (/ (- (* (* re re) (* re re)) (* (* im im) (* im im))) (+ (* re re) (* im im))))>
1537027872.840 * * * * [misc]progress:  [ 16 / 20 ] simplifiying candidate #<alt (λ (re im) (* (+ re im) (- re im)))>
1537027872.840 * [enter]simplify:  Simplifying (+ re im)
1537027872.840 * * [misc]simplify:  iters left: 2 (3 enodes)
1537027872.841 * * [misc]simplify:  iters left: 1 (4 enodes)
1537027872.842 * [exit]simplify:  Simplified to (+ im re)
1537027872.842 * [misc]simplify:  Simplified (2 1) to (λ (re im) (* (+ im re) (- re im)))
1537027872.842 * [enter]simplify:  Simplifying (- re im)
1537027872.842 * * [misc]simplify:  iters left: 2 (3 enodes)
1537027872.843 * * [misc]simplify:  iters left: 1 (5 enodes)
1537027872.844 * [exit]simplify:  Simplified to (- re im)
1537027872.844 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (+ re im) (- re im)))
1537027872.844 * * * * [misc]progress:  [ 17 / 20 ] simplifiying candidate #<alt (λ (re im) (+ (* re re) (- (* im im))))>
1537027872.844 * * * * [misc]progress:  [ 18 / 20 ] simplifiying candidate #<alt (λ (re im) (- (pow re 2) (pow im 2)))>
1537027872.844 * [enter]simplify:  Simplifying (- (pow re 2) (pow im 2))
1537027872.844 * * [misc]simplify:  iters left: 3 (6 enodes)
1537027872.846 * * [misc]simplify:  iters left: 2 (10 enodes)
1537027872.848 * * [misc]simplify:  iters left: 1 (18 enodes)
1537027872.852 * [exit]simplify:  Simplified to (- (* re re) (* im im))
1537027872.852 * [misc]simplify:  Simplified (2) to (λ (re im) (- (* re re) (* im im)))
1537027872.852 * * * * [misc]progress:  [ 19 / 20 ] simplifiying candidate #<alt (λ (re im) (- (pow re 2) (pow im 2)))>
1537027872.853 * [enter]simplify:  Simplifying (- (pow re 2) (pow im 2))
1537027872.853 * * [misc]simplify:  iters left: 3 (6 enodes)
1537027872.854 * * [misc]simplify:  iters left: 2 (10 enodes)
1537027872.859 * * [misc]simplify:  iters left: 1 (18 enodes)
1537027872.872 * [exit]simplify:  Simplified to (- (* re re) (* im im))
1537027872.872 * [misc]simplify:  Simplified (2) to (λ (re im) (- (* re re) (* im im)))
1537027872.872 * * * * [misc]progress:  [ 20 / 20 ] simplifiying candidate #<alt (λ (re im) (- (pow re 2) (pow im 2)))>
1537027872.873 * [enter]simplify:  Simplifying (- (pow re 2) (pow im 2))
1537027872.873 * * [misc]simplify:  iters left: 3 (6 enodes)
1537027872.876 * * [misc]simplify:  iters left: 2 (10 enodes)
1537027872.881 * * [misc]simplify:  iters left: 1 (18 enodes)
1537027872.890 * [exit]simplify:  Simplified to (- (* re re) (* im im))
1537027872.890 * [misc]simplify:  Simplified (2) to (λ (re im) (- (* re re) (* im im)))
1537027872.891 * * * [misc]progress:  adding candidates to table
1537027873.116 * * [misc]progress:  iteration 2 / 4
1537027873.116 * * * [misc]progress:  picking best candidate
1537027873.121 * * * * [misc]pick:  Picked  #<alt (λ (re im) (* (+ re im) (- re im)))>
1537027873.121 * * * [misc]progress:  localizing error
1537027873.140 * * * [misc]progress:  generating rewritten candidates
1537027873.140 * * * [misc]progress:  generating series expansions
1537027873.140 * * * [misc]progress:  simplifying candidates
1537027873.140 * * * [misc]progress:  adding candidates to table
1537027873.140 * [misc]progress:  [Phase 3 of 3] Extracting.
1537027873.146 * [enter]simplify:  Simplifying (* (+ re im) (- re im))
1537027873.147 * * [misc]simplify:  iters left: 4 (5 enodes)
1537027873.148 * * [misc]simplify:  iters left: 3 (7 enodes)
1537027873.149 * [exit]simplify:  Simplified to (* (+ im re) (- re im))
1537027873.149 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1537027874.704 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537027874.712 * * * * [misc]points:  Sampling 3411 additional inputs, on iter 1 have 4589 / 8000
1537027875.675 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537027875.677 * * * * [misc]points:  Sampling 1482 additional inputs, on iter 2 have 6518 / 8000
1537027875.931 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537027875.932 * * * * [misc]points:  Sampling 657 additional inputs, on iter 3 have 7343 / 8000
1537027876.058 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537027876.058 * * * * [misc]points:  Sampling 276 additional inputs, on iter 4 have 7724 / 8000
1537027876.102 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537027876.103 * * * * [misc]points:  Sampling 122 additional inputs, on iter 5 have 7878 / 8000
1537027876.114 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537027876.115 * * * * [misc]points:  Sampling 56 additional inputs, on iter 6 have 7944 / 8000
1537027876.121 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537027876.121 * * * * [misc]points:  Sampling 30 additional inputs, on iter 7 have 7970 / 8000
1537027876.125 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537027876.125 * * * * [misc]points:  Sampling 14 additional inputs, on iter 8 have 7986 / 8000
1537027876.127 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537027876.127 * * * * [misc]points:  Sampling 8 additional inputs, on iter 9 have 7992 / 8000
1537027876.129 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537027876.129 * * * * [misc]points:  Sampling 5 additional inputs, on iter 10 have 7995 / 8000
1537027876.130 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537027876.131 * * * * [exit]points:  Sampled 8000 points with exact outputs