0.727 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.189 * * * [progress]: [2/2] Setting up program.
0.195 * [progress]: [Phase 2 of 3] Improving.
0.195 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (re im) (- (* re re) (* im im)))>
0.197 * [simplify]: Simplifying:
  (- (* re re) (* im im))
0.199 * * [simplify]: iteration 1: (5 enodes)
0.204 * * [simplify]: iteration 2: (11 enodes)
0.206 * * [simplify]: iteration 3: (18 enodes)
0.210 * * [simplify]: iteration 4: (35 enodes)
0.257 * * [simplify]: iteration 5: (66 enodes)
0.330 * * [simplify]: iteration 6: (159 enodes)
0.412 * * [simplify]: iteration 7: (286 enodes)
0.658 * * [simplify]: iteration 8: (519 enodes)
1.295 * * [simplify]: iteration 9: (1414 enodes)
9.168 * * [simplify]: Extracting #0: cost 1 inf + 0
9.169 * * [simplify]: Extracting #1: cost 186 inf + 0
9.177 * * [simplify]: Extracting #2: cost 626 inf + 3312
9.203 * * [simplify]: Extracting #3: cost 260 inf + 73416
9.263 * * [simplify]: Extracting #4: cost 12 inf + 124038
9.333 * * [simplify]: Extracting #5: cost 0 inf + 126859
9.380 * * [simplify]: Extracting #6: cost 0 inf + 126648
9.424 * * [simplify]: Extracting #7: cost 0 inf + 126608
9.471 * [simplify]: Simplified to:
  (- (* re re) (* im im))
9.478 * * [progress]: iteration 1 / 4
9.478 * * * [progress]: picking best candidate
9.482 * * * * [pick]: Picked  #<alt (λ (re im) (- (* re re) (* im im)))>
9.482 * * * [progress]: localizing error
9.498 * * * [progress]: generating rewritten candidates
9.498 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
9.510 * * * [progress]: generating series expansions
9.510 * * * * [progress]: [ 1 / 1 ] generating series at (2)
9.515 * [backup-simplify]: Simplify (- (* re re) (* im im)) into (- (pow re 2) (pow im 2))
9.515 * [approximate]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in (re im) around 0
9.516 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in im
9.516 * [taylor]: Taking taylor expansion of (pow re 2) in im
9.516 * [taylor]: Taking taylor expansion of re in im
9.516 * [backup-simplify]: Simplify re into re
9.516 * [taylor]: Taking taylor expansion of (pow im 2) in im
9.516 * [taylor]: Taking taylor expansion of im in im
9.516 * [backup-simplify]: Simplify 0 into 0
9.516 * [backup-simplify]: Simplify 1 into 1
9.516 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re
9.516 * [taylor]: Taking taylor expansion of (pow re 2) in re
9.516 * [taylor]: Taking taylor expansion of re in re
9.516 * [backup-simplify]: Simplify 0 into 0
9.516 * [backup-simplify]: Simplify 1 into 1
9.516 * [taylor]: Taking taylor expansion of (pow im 2) in re
9.516 * [taylor]: Taking taylor expansion of im in re
9.516 * [backup-simplify]: Simplify im into im
9.516 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re
9.516 * [taylor]: Taking taylor expansion of (pow re 2) in re
9.516 * [taylor]: Taking taylor expansion of re in re
9.516 * [backup-simplify]: Simplify 0 into 0
9.516 * [backup-simplify]: Simplify 1 into 1
9.516 * [taylor]: Taking taylor expansion of (pow im 2) in re
9.516 * [taylor]: Taking taylor expansion of im in re
9.517 * [backup-simplify]: Simplify im into im
9.517 * [backup-simplify]: Simplify (* im im) into (pow im 2)
9.517 * [backup-simplify]: Simplify (- (pow im 2)) into (- (pow im 2))
9.517 * [backup-simplify]: Simplify (+ 0 (- (pow im 2))) into (- (pow im 2))
9.517 * [taylor]: Taking taylor expansion of (- (pow im 2)) in im
9.517 * [taylor]: Taking taylor expansion of (pow im 2) in im
9.518 * [taylor]: Taking taylor expansion of im in im
9.518 * [backup-simplify]: Simplify 0 into 0
9.518 * [backup-simplify]: Simplify 1 into 1
9.518 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
9.518 * [backup-simplify]: Simplify (- 0) into 0
9.519 * [backup-simplify]: Simplify (+ 0 0) into 0
9.519 * [taylor]: Taking taylor expansion of 0 in im
9.519 * [backup-simplify]: Simplify 0 into 0
9.519 * [backup-simplify]: Simplify 0 into 0
9.519 * [backup-simplify]: Simplify (* 1 1) into 1
9.520 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
9.520 * [backup-simplify]: Simplify (- 0) into 0
9.520 * [backup-simplify]: Simplify (+ 1 0) into 1
9.520 * [taylor]: Taking taylor expansion of 1 in im
9.520 * [backup-simplify]: Simplify 1 into 1
9.520 * [backup-simplify]: Simplify 1 into 1
9.521 * [backup-simplify]: Simplify 0 into 0
9.521 * [backup-simplify]: Simplify (* 1 1) into 1
9.521 * [backup-simplify]: Simplify (- 1) into -1
9.521 * [backup-simplify]: Simplify -1 into -1
9.522 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.522 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0
9.523 * [backup-simplify]: Simplify (- 0) into 0
9.523 * [backup-simplify]: Simplify (+ 0 0) into 0
9.523 * [taylor]: Taking taylor expansion of 0 in im
9.523 * [backup-simplify]: Simplify 0 into 0
9.523 * [backup-simplify]: Simplify 0 into 0
9.523 * [backup-simplify]: Simplify 0 into 0
9.523 * [backup-simplify]: Simplify 0 into 0
9.523 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.524 * [backup-simplify]: Simplify (- 0) into 0
9.524 * [backup-simplify]: Simplify 0 into 0
9.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.525 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0
9.525 * [backup-simplify]: Simplify (- 0) into 0
9.525 * [backup-simplify]: Simplify (+ 0 0) into 0
9.525 * [taylor]: Taking taylor expansion of 0 in im
9.525 * [backup-simplify]: Simplify 0 into 0
9.525 * [backup-simplify]: Simplify 0 into 0
9.525 * [backup-simplify]: Simplify 0 into 0
9.526 * [backup-simplify]: Simplify (+ (* -1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (- (pow re 2) (pow im 2))
9.526 * [backup-simplify]: Simplify (- (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))
9.526 * [approximate]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0
9.526 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im
9.526 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
9.526 * [taylor]: Taking taylor expansion of (pow re 2) in im
9.526 * [taylor]: Taking taylor expansion of re in im
9.526 * [backup-simplify]: Simplify re into re
9.526 * [backup-simplify]: Simplify (* re re) into (pow re 2)
9.526 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2))
9.526 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
9.526 * [taylor]: Taking taylor expansion of (pow im 2) in im
9.526 * [taylor]: Taking taylor expansion of im in im
9.526 * [backup-simplify]: Simplify 0 into 0
9.526 * [backup-simplify]: Simplify 1 into 1
9.527 * [backup-simplify]: Simplify (* 1 1) into 1
9.527 * [backup-simplify]: Simplify (/ 1 1) into 1
9.527 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
9.527 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
9.527 * [taylor]: Taking taylor expansion of (pow re 2) in re
9.527 * [taylor]: Taking taylor expansion of re in re
9.527 * [backup-simplify]: Simplify 0 into 0
9.527 * [backup-simplify]: Simplify 1 into 1
9.527 * [backup-simplify]: Simplify (* 1 1) into 1
9.528 * [backup-simplify]: Simplify (/ 1 1) into 1
9.528 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
9.528 * [taylor]: Taking taylor expansion of (pow im 2) in re
9.528 * [taylor]: Taking taylor expansion of im in re
9.528 * [backup-simplify]: Simplify im into im
9.528 * [backup-simplify]: Simplify (* im im) into (pow im 2)
9.528 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
9.528 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
9.528 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
9.528 * [taylor]: Taking taylor expansion of (pow re 2) in re
9.528 * [taylor]: Taking taylor expansion of re in re
9.528 * [backup-simplify]: Simplify 0 into 0
9.528 * [backup-simplify]: Simplify 1 into 1
9.528 * [backup-simplify]: Simplify (* 1 1) into 1
9.529 * [backup-simplify]: Simplify (/ 1 1) into 1
9.529 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
9.529 * [taylor]: Taking taylor expansion of (pow im 2) in re
9.529 * [taylor]: Taking taylor expansion of im in re
9.529 * [backup-simplify]: Simplify im into im
9.529 * [backup-simplify]: Simplify (* im im) into (pow im 2)
9.529 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
9.530 * [backup-simplify]: Simplify (+ 1 0) into 1
9.530 * [taylor]: Taking taylor expansion of 1 in im
9.530 * [backup-simplify]: Simplify 1 into 1
9.531 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.531 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.532 * [backup-simplify]: Simplify (+ 0 0) into 0
9.532 * [taylor]: Taking taylor expansion of 0 in im
9.532 * [backup-simplify]: Simplify 0 into 0
9.533 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.534 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.534 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2)))
9.534 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2)))
9.534 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im
9.534 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
9.534 * [taylor]: Taking taylor expansion of (pow im 2) in im
9.534 * [taylor]: Taking taylor expansion of im in im
9.534 * [backup-simplify]: Simplify 0 into 0
9.534 * [backup-simplify]: Simplify 1 into 1
9.535 * [backup-simplify]: Simplify (* 1 1) into 1
9.535 * [backup-simplify]: Simplify (/ 1 1) into 1
9.535 * [backup-simplify]: Simplify (- 1) into -1
9.535 * [backup-simplify]: Simplify -1 into -1
9.535 * [backup-simplify]: Simplify 1 into 1
9.536 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.537 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.538 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
9.538 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0
9.538 * [backup-simplify]: Simplify (- 0) into 0
9.539 * [backup-simplify]: Simplify (+ 0 0) into 0
9.539 * [taylor]: Taking taylor expansion of 0 in im
9.539 * [backup-simplify]: Simplify 0 into 0
9.539 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.540 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.540 * [backup-simplify]: Simplify (- 0) into 0
9.540 * [backup-simplify]: Simplify 0 into 0
9.541 * [backup-simplify]: Simplify 0 into 0
9.541 * [backup-simplify]: Simplify 0 into 0
9.542 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.543 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.543 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
9.544 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0
9.553 * [backup-simplify]: Simplify (- 0) into 0
9.554 * [backup-simplify]: Simplify (+ 0 0) into 0
9.554 * [taylor]: Taking taylor expansion of 0 in im
9.554 * [backup-simplify]: Simplify 0 into 0
9.555 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.556 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.557 * [backup-simplify]: Simplify (- 0) into 0
9.557 * [backup-simplify]: Simplify 0 into 0
9.557 * [backup-simplify]: Simplify 0 into 0
9.557 * [backup-simplify]: Simplify 0 into 0
9.557 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 re))) 2)) (* -1 (pow (* (/ 1 (/ 1 im)) 1) 2))) into (- (pow re 2) (pow im 2))
9.557 * [backup-simplify]: Simplify (- (* (/ 1 (- re)) (/ 1 (- re))) (* (/ 1 (- im)) (/ 1 (- im)))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))
9.557 * [approximate]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0
9.557 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im
9.557 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
9.557 * [taylor]: Taking taylor expansion of (pow re 2) in im
9.558 * [taylor]: Taking taylor expansion of re in im
9.558 * [backup-simplify]: Simplify re into re
9.558 * [backup-simplify]: Simplify (* re re) into (pow re 2)
9.558 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2))
9.558 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
9.558 * [taylor]: Taking taylor expansion of (pow im 2) in im
9.558 * [taylor]: Taking taylor expansion of im in im
9.558 * [backup-simplify]: Simplify 0 into 0
9.558 * [backup-simplify]: Simplify 1 into 1
9.558 * [backup-simplify]: Simplify (* 1 1) into 1
9.559 * [backup-simplify]: Simplify (/ 1 1) into 1
9.559 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
9.559 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
9.559 * [taylor]: Taking taylor expansion of (pow re 2) in re
9.559 * [taylor]: Taking taylor expansion of re in re
9.559 * [backup-simplify]: Simplify 0 into 0
9.559 * [backup-simplify]: Simplify 1 into 1
9.559 * [backup-simplify]: Simplify (* 1 1) into 1
9.560 * [backup-simplify]: Simplify (/ 1 1) into 1
9.560 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
9.560 * [taylor]: Taking taylor expansion of (pow im 2) in re
9.560 * [taylor]: Taking taylor expansion of im in re
9.560 * [backup-simplify]: Simplify im into im
9.560 * [backup-simplify]: Simplify (* im im) into (pow im 2)
9.560 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
9.560 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
9.560 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
9.560 * [taylor]: Taking taylor expansion of (pow re 2) in re
9.560 * [taylor]: Taking taylor expansion of re in re
9.560 * [backup-simplify]: Simplify 0 into 0
9.560 * [backup-simplify]: Simplify 1 into 1
9.561 * [backup-simplify]: Simplify (* 1 1) into 1
9.561 * [backup-simplify]: Simplify (/ 1 1) into 1
9.561 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
9.561 * [taylor]: Taking taylor expansion of (pow im 2) in re
9.561 * [taylor]: Taking taylor expansion of im in re
9.561 * [backup-simplify]: Simplify im into im
9.561 * [backup-simplify]: Simplify (* im im) into (pow im 2)
9.561 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
9.562 * [backup-simplify]: Simplify (+ 1 0) into 1
9.562 * [taylor]: Taking taylor expansion of 1 in im
9.562 * [backup-simplify]: Simplify 1 into 1
9.562 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.563 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.564 * [backup-simplify]: Simplify (+ 0 0) into 0
9.564 * [taylor]: Taking taylor expansion of 0 in im
9.564 * [backup-simplify]: Simplify 0 into 0
9.565 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.566 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2)))
9.566 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2)))
9.566 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im
9.566 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
9.566 * [taylor]: Taking taylor expansion of (pow im 2) in im
9.566 * [taylor]: Taking taylor expansion of im in im
9.566 * [backup-simplify]: Simplify 0 into 0
9.566 * [backup-simplify]: Simplify 1 into 1
9.566 * [backup-simplify]: Simplify (* 1 1) into 1
9.567 * [backup-simplify]: Simplify (/ 1 1) into 1
9.567 * [backup-simplify]: Simplify (- 1) into -1
9.567 * [backup-simplify]: Simplify -1 into -1
9.567 * [backup-simplify]: Simplify 1 into 1
9.568 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.569 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.570 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
9.570 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0
9.570 * [backup-simplify]: Simplify (- 0) into 0
9.571 * [backup-simplify]: Simplify (+ 0 0) into 0
9.571 * [taylor]: Taking taylor expansion of 0 in im
9.571 * [backup-simplify]: Simplify 0 into 0
9.571 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.572 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.572 * [backup-simplify]: Simplify (- 0) into 0
9.572 * [backup-simplify]: Simplify 0 into 0
9.572 * [backup-simplify]: Simplify 0 into 0
9.573 * [backup-simplify]: Simplify 0 into 0
9.574 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.575 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.575 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
9.575 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0
9.576 * [backup-simplify]: Simplify (- 0) into 0
9.576 * [backup-simplify]: Simplify (+ 0 0) into 0
9.576 * [taylor]: Taking taylor expansion of 0 in im
9.576 * [backup-simplify]: Simplify 0 into 0
9.577 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.578 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.578 * [backup-simplify]: Simplify (- 0) into 0
9.578 * [backup-simplify]: Simplify 0 into 0
9.578 * [backup-simplify]: Simplify 0 into 0
9.579 * [backup-simplify]: Simplify 0 into 0
9.579 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- re)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- im))) 1) 2))) into (- (pow re 2) (pow im 2))
9.579 * * * [progress]: simplifying candidates
9.579 * * * * [progress]: [ 1 / 21 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* im im))) (fma (- im) im (* im im))))>
9.579 * * * * [progress]: [ 2 / 21 ] simplifiying candidate #<alt (λ (re im) (log1p (expm1 (- (* re re) (* im im)))))>
9.579 * * * * [progress]: [ 3 / 21 ] simplifiying candidate #<alt (λ (re im) (expm1 (log1p (- (* re re) (* im im)))))>
9.580 * * * * [progress]: [ 4 / 21 ] simplifiying candidate #<alt (λ (re im) (fma re re (- (* im im))))>
9.580 * * * * [progress]: [ 5 / 21 ] simplifiying candidate #<alt (λ (re im) (log (/ (exp (* re re)) (exp (* im im)))))>
9.580 * * * * [progress]: [ 6 / 21 ] simplifiying candidate #<alt (λ (re im) (pow (- (* re re) (* im im)) 1))>
9.580 * * * * [progress]: [ 7 / 21 ] simplifiying candidate #<alt (λ (re im) (exp (log (- (* re re) (* im im)))))>
9.580 * * * * [progress]: [ 8 / 21 ] simplifiying candidate #<alt (λ (re im) (log (exp (- (* re re) (* im im)))))>
9.580 * * * * [progress]: [ 9 / 21 ] simplifiying candidate #<alt (λ (re im) (* (* (cbrt (- (* re re) (* im im))) (cbrt (- (* re re) (* im im)))) (cbrt (- (* re re) (* im im)))))>
9.580 * * * * [progress]: [ 10 / 21 ] simplifiying candidate #<alt (λ (re im) (cbrt (* (* (- (* re re) (* im im)) (- (* re re) (* im im))) (- (* re re) (* im im)))))>
9.580 * * * * [progress]: [ 11 / 21 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (- (* re re) (* im im))) (sqrt (- (* re re) (* im im)))))>
9.580 * * * * [progress]: [ 12 / 21 ] 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))))))>
9.580 * * * * [progress]: [ 13 / 21 ] simplifiying candidate #<alt (λ (re im) (+ (* re re) (- (* im im))))>
9.581 * * * * [progress]: [ 14 / 21 ] simplifiying candidate #<alt (λ (re im) (* 1 (- (* re re) (* im im))))>
9.581 * * * * [progress]: [ 15 / 21 ] simplifiying candidate #<alt (λ (re im) (/ (- (* (* re re) (* re re)) (* (* im im) (* im im))) (+ (* re re) (* im im))))>
9.581 * * * * [progress]: [ 16 / 21 ] simplifiying candidate #<alt (λ (re im) (* (+ re im) (- re im)))>
9.581 * * * * [progress]: [ 17 / 21 ] simplifiying candidate #<alt (λ (re im) (+ (* re re) (- (* im im))))>
9.581 * * * * [progress]: [ 18 / 21 ] simplifiying candidate #<alt (λ (re im) (posit16->real (real->posit16 (- (* re re) (* im im)))))>
9.581 * * * * [progress]: [ 19 / 21 ] simplifiying candidate #<alt (λ (re im) (- (pow re 2) (pow im 2)))>
9.581 * * * * [progress]: [ 20 / 21 ] simplifiying candidate #<alt (λ (re im) (- (pow re 2) (pow im 2)))>
9.581 * * * * [progress]: [ 21 / 21 ] simplifiying candidate #<alt (λ (re im) (- (pow re 2) (pow im 2)))>
9.582 * [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))
  (real->posit16 (- (* re re) (* im im)))
  (- (pow re 2) (pow im 2))
  (- (pow re 2) (pow im 2))
  (- (pow re 2) (pow im 2))
9.583 * * [simplify]: iteration 1: (39 enodes)
9.594 * * [simplify]: iteration 2: (102 enodes)
9.621 * * [simplify]: iteration 3: (320 enodes)
9.856 * * [simplify]: iteration 4: (1433 enodes)
12.654 * * [simplify]: Extracting #0: cost 18 inf + 0
12.655 * * [simplify]: Extracting #1: cost 288 inf + 1
12.661 * * [simplify]: Extracting #2: cost 1338 inf + 8772
12.703 * * [simplify]: Extracting #3: cost 698 inf + 180319
12.828 * * [simplify]: Extracting #4: cost 126 inf + 303560
12.949 * * [simplify]: Extracting #5: cost 13 inf + 346537
13.031 * * [simplify]: Extracting #6: cost 0 inf + 353047
13.133 * [simplify]: Simplified to:
  (* (+ re im) (- re im))
  0
  (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 (* im im) (* im im) (* (* re re) (+ (* re re) (* im im))))
  (* im (- im))
  (* (+ (* re re) (* im im)) (- (* re re) (* im im)))
  (fma re re (* im im))
  (+ im re)
  (- re im)
  (* im (- im))
  (real->posit16 (* (+ re im) (- re im)))
  (* (+ re im) (- re im))
  (* (+ re im) (- re im))
  (* (+ re im) (- re im))
13.135 * * * [progress]: adding candidates to table
13.285 * * [progress]: iteration 2 / 4
13.285 * * * [progress]: picking best candidate
13.289 * * * * [pick]: Picked  #<alt (λ (re im) (* (+ re im) (- re im)))>
13.289 * * * [progress]: localizing error
13.299 * * * [progress]: generating rewritten candidates
13.299 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
13.333 * * * [progress]: generating series expansions
13.333 * * * * [progress]: [ 1 / 1 ] generating series at (2)
13.333 * [backup-simplify]: Simplify (* (+ re im) (- re im)) into (* (- re im) (+ re im))
13.333 * [approximate]: Taking taylor expansion of (* (- re im) (+ re im)) in (re im) around 0
13.333 * [taylor]: Taking taylor expansion of (* (- re im) (+ re im)) in im
13.333 * [taylor]: Taking taylor expansion of (- re im) in im
13.333 * [taylor]: Taking taylor expansion of re in im
13.333 * [backup-simplify]: Simplify re into re
13.333 * [taylor]: Taking taylor expansion of im in im
13.333 * [backup-simplify]: Simplify 0 into 0
13.333 * [backup-simplify]: Simplify 1 into 1
13.333 * [taylor]: Taking taylor expansion of (+ re im) in im
13.333 * [taylor]: Taking taylor expansion of re in im
13.333 * [backup-simplify]: Simplify re into re
13.333 * [taylor]: Taking taylor expansion of im in im
13.333 * [backup-simplify]: Simplify 0 into 0
13.333 * [backup-simplify]: Simplify 1 into 1
13.333 * [taylor]: Taking taylor expansion of (* (- re im) (+ re im)) in re
13.333 * [taylor]: Taking taylor expansion of (- re im) in re
13.333 * [taylor]: Taking taylor expansion of re in re
13.333 * [backup-simplify]: Simplify 0 into 0
13.333 * [backup-simplify]: Simplify 1 into 1
13.333 * [taylor]: Taking taylor expansion of im in re
13.333 * [backup-simplify]: Simplify im into im
13.333 * [taylor]: Taking taylor expansion of (+ re im) in re
13.333 * [taylor]: Taking taylor expansion of re in re
13.333 * [backup-simplify]: Simplify 0 into 0
13.334 * [backup-simplify]: Simplify 1 into 1
13.334 * [taylor]: Taking taylor expansion of im in re
13.334 * [backup-simplify]: Simplify im into im
13.334 * [taylor]: Taking taylor expansion of (* (- re im) (+ re im)) in re
13.334 * [taylor]: Taking taylor expansion of (- re im) in re
13.334 * [taylor]: Taking taylor expansion of re in re
13.334 * [backup-simplify]: Simplify 0 into 0
13.334 * [backup-simplify]: Simplify 1 into 1
13.334 * [taylor]: Taking taylor expansion of im in re
13.334 * [backup-simplify]: Simplify im into im
13.334 * [taylor]: Taking taylor expansion of (+ re im) in re
13.334 * [taylor]: Taking taylor expansion of re in re
13.334 * [backup-simplify]: Simplify 0 into 0
13.334 * [backup-simplify]: Simplify 1 into 1
13.334 * [taylor]: Taking taylor expansion of im in re
13.334 * [backup-simplify]: Simplify im into im
13.334 * [backup-simplify]: Simplify (- im) into (- im)
13.334 * [backup-simplify]: Simplify (+ 0 (- im)) into (- im)
13.334 * [backup-simplify]: Simplify (+ 0 im) into im
13.334 * [backup-simplify]: Simplify (* (- im) im) into (* -1 (pow im 2))
13.334 * [taylor]: Taking taylor expansion of (* -1 (pow im 2)) in im
13.334 * [taylor]: Taking taylor expansion of -1 in im
13.334 * [backup-simplify]: Simplify -1 into -1
13.334 * [taylor]: Taking taylor expansion of (pow im 2) in im
13.334 * [taylor]: Taking taylor expansion of im in im
13.334 * [backup-simplify]: Simplify 0 into 0
13.334 * [backup-simplify]: Simplify 1 into 1
13.335 * [backup-simplify]: Simplify (+ 1 0) into 1
13.335 * [backup-simplify]: Simplify (- 0) into 0
13.335 * [backup-simplify]: Simplify (+ 1 0) into 1
13.335 * [backup-simplify]: Simplify (+ (* (- im) 1) (* 1 im)) into 0
13.335 * [taylor]: Taking taylor expansion of 0 in im
13.335 * [backup-simplify]: Simplify 0 into 0
13.335 * [backup-simplify]: Simplify 0 into 0
13.336 * [backup-simplify]: Simplify (+ 0 0) into 0
13.336 * [backup-simplify]: Simplify (- 0) into 0
13.336 * [backup-simplify]: Simplify (+ 0 0) into 0
13.336 * [backup-simplify]: Simplify (+ (* (- im) 0) (+ (* 1 1) (* 0 im))) into 1
13.336 * [taylor]: Taking taylor expansion of 1 in im
13.336 * [backup-simplify]: Simplify 1 into 1
13.336 * [backup-simplify]: Simplify 1 into 1
13.337 * [backup-simplify]: Simplify 0 into 0
13.337 * [backup-simplify]: Simplify (* 1 1) into 1
13.337 * [backup-simplify]: Simplify (* -1 1) into -1
13.337 * [backup-simplify]: Simplify -1 into -1
13.337 * [backup-simplify]: Simplify (+ 0 0) into 0
13.338 * [backup-simplify]: Simplify (- 0) into 0
13.338 * [backup-simplify]: Simplify (+ 0 0) into 0
13.338 * [backup-simplify]: Simplify (+ (* (- im) 0) (+ (* 1 0) (+ (* 0 1) (* 0 im)))) into 0
13.338 * [taylor]: Taking taylor expansion of 0 in im
13.338 * [backup-simplify]: Simplify 0 into 0
13.338 * [backup-simplify]: Simplify 0 into 0
13.339 * [backup-simplify]: Simplify 0 into 0
13.339 * [backup-simplify]: Simplify 0 into 0
13.339 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.339 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0
13.339 * [backup-simplify]: Simplify 0 into 0
13.340 * [backup-simplify]: Simplify (+ 0 0) into 0
13.340 * [backup-simplify]: Simplify (- 0) into 0
13.340 * [backup-simplify]: Simplify (+ 0 0) into 0
13.341 * [backup-simplify]: Simplify (+ (* (- im) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 im))))) into 0
13.342 * [taylor]: Taking taylor expansion of 0 in im
13.342 * [backup-simplify]: Simplify 0 into 0
13.342 * [backup-simplify]: Simplify 0 into 0
13.342 * [backup-simplify]: Simplify 0 into 0
13.342 * [backup-simplify]: Simplify (+ (* -1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (- (pow re 2) (pow im 2))
13.342 * [backup-simplify]: Simplify (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 re) (/ 1 im))) into (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 re) (/ 1 im)))
13.342 * [approximate]: Taking taylor expansion of (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 re) (/ 1 im))) in (re im) around 0
13.342 * [taylor]: Taking taylor expansion of (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 re) (/ 1 im))) in im
13.342 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in im
13.342 * [taylor]: Taking taylor expansion of (/ 1 re) in im
13.342 * [taylor]: Taking taylor expansion of re in im
13.342 * [backup-simplify]: Simplify re into re
13.342 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
13.342 * [taylor]: Taking taylor expansion of (/ 1 im) in im
13.342 * [taylor]: Taking taylor expansion of im in im
13.342 * [backup-simplify]: Simplify 0 into 0
13.342 * [backup-simplify]: Simplify 1 into 1
13.343 * [backup-simplify]: Simplify (/ 1 1) into 1
13.343 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in im
13.343 * [taylor]: Taking taylor expansion of (/ 1 re) in im
13.343 * [taylor]: Taking taylor expansion of re in im
13.343 * [backup-simplify]: Simplify re into re
13.343 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
13.343 * [taylor]: Taking taylor expansion of (/ 1 im) in im
13.343 * [taylor]: Taking taylor expansion of im in im
13.343 * [backup-simplify]: Simplify 0 into 0
13.343 * [backup-simplify]: Simplify 1 into 1
13.344 * [backup-simplify]: Simplify (/ 1 1) into 1
13.344 * [taylor]: Taking taylor expansion of (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 re) (/ 1 im))) in re
13.344 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in re
13.344 * [taylor]: Taking taylor expansion of (/ 1 re) in re
13.344 * [taylor]: Taking taylor expansion of re in re
13.344 * [backup-simplify]: Simplify 0 into 0
13.344 * [backup-simplify]: Simplify 1 into 1
13.344 * [backup-simplify]: Simplify (/ 1 1) into 1
13.344 * [taylor]: Taking taylor expansion of (/ 1 im) in re
13.344 * [taylor]: Taking taylor expansion of im in re
13.344 * [backup-simplify]: Simplify im into im
13.344 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
13.344 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re
13.344 * [taylor]: Taking taylor expansion of (/ 1 re) in re
13.344 * [taylor]: Taking taylor expansion of re in re
13.344 * [backup-simplify]: Simplify 0 into 0
13.344 * [backup-simplify]: Simplify 1 into 1
13.345 * [backup-simplify]: Simplify (/ 1 1) into 1
13.345 * [taylor]: Taking taylor expansion of (/ 1 im) in re
13.345 * [taylor]: Taking taylor expansion of im in re
13.345 * [backup-simplify]: Simplify im into im
13.345 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
13.345 * [taylor]: Taking taylor expansion of (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 re) (/ 1 im))) in re
13.345 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in re
13.345 * [taylor]: Taking taylor expansion of (/ 1 re) in re
13.345 * [taylor]: Taking taylor expansion of re in re
13.345 * [backup-simplify]: Simplify 0 into 0
13.345 * [backup-simplify]: Simplify 1 into 1
13.345 * [backup-simplify]: Simplify (/ 1 1) into 1
13.345 * [taylor]: Taking taylor expansion of (/ 1 im) in re
13.345 * [taylor]: Taking taylor expansion of im in re
13.345 * [backup-simplify]: Simplify im into im
13.346 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
13.346 * [taylor]: Taking taylor expansion of (- (/ 1 re) (/ 1 im)) in re
13.346 * [taylor]: Taking taylor expansion of (/ 1 re) in re
13.346 * [taylor]: Taking taylor expansion of re in re
13.346 * [backup-simplify]: Simplify 0 into 0
13.346 * [backup-simplify]: Simplify 1 into 1
13.346 * [backup-simplify]: Simplify (/ 1 1) into 1
13.346 * [taylor]: Taking taylor expansion of (/ 1 im) in re
13.346 * [taylor]: Taking taylor expansion of im in re
13.346 * [backup-simplify]: Simplify im into im
13.346 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
13.347 * [backup-simplify]: Simplify (+ 1 0) into 1
13.347 * [backup-simplify]: Simplify (+ 1 0) into 1
13.348 * [backup-simplify]: Simplify (* 1 1) into 1
13.348 * [taylor]: Taking taylor expansion of 1 in im
13.348 * [backup-simplify]: Simplify 1 into 1
13.348 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.348 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
13.349 * [backup-simplify]: Simplify (+ 0 (- (/ 1 im))) into (- (/ 1 im))
13.349 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.349 * [backup-simplify]: Simplify (+ 0 (/ 1 im)) into (/ 1 im)
13.350 * [backup-simplify]: Simplify (+ (* 1 (- (/ 1 im))) (* (/ 1 im) 1)) into 0
13.350 * [taylor]: Taking taylor expansion of 0 in im
13.350 * [backup-simplify]: Simplify 0 into 0
13.351 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.351 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
13.351 * [backup-simplify]: Simplify (- 0) into 0
13.351 * [backup-simplify]: Simplify (+ 0 0) into 0
13.352 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.353 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
13.353 * [backup-simplify]: Simplify (+ 0 0) into 0
13.354 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 im) (- (/ 1 im))) (* 0 1))) into (- (/ 1 (pow im 2)))
13.354 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im
13.354 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
13.354 * [taylor]: Taking taylor expansion of (pow im 2) in im
13.354 * [taylor]: Taking taylor expansion of im in im
13.354 * [backup-simplify]: Simplify 0 into 0
13.354 * [backup-simplify]: Simplify 1 into 1
13.354 * [backup-simplify]: Simplify (* 1 1) into 1
13.355 * [backup-simplify]: Simplify (/ 1 1) into 1
13.355 * [backup-simplify]: Simplify (- 1) into -1
13.355 * [backup-simplify]: Simplify -1 into -1
13.355 * [backup-simplify]: Simplify 1 into 1
13.356 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.356 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
13.356 * [backup-simplify]: Simplify (- 0) into 0
13.357 * [backup-simplify]: Simplify (+ 0 0) into 0
13.357 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.357 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
13.358 * [backup-simplify]: Simplify (+ 0 0) into 0
13.358 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 im) 0) (+ (* 0 (- (/ 1 im))) (* 0 1)))) into 0
13.358 * [taylor]: Taking taylor expansion of 0 in im
13.358 * [backup-simplify]: Simplify 0 into 0
13.359 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.359 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.359 * [backup-simplify]: Simplify (- 0) into 0
13.359 * [backup-simplify]: Simplify 0 into 0
13.359 * [backup-simplify]: Simplify 0 into 0
13.359 * [backup-simplify]: Simplify 0 into 0
13.360 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.360 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
13.360 * [backup-simplify]: Simplify (- 0) into 0
13.361 * [backup-simplify]: Simplify (+ 0 0) into 0
13.361 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.361 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
13.362 * [backup-simplify]: Simplify (+ 0 0) into 0
13.362 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 im) 0) (+ (* 0 0) (+ (* 0 (- (/ 1 im))) (* 0 1))))) into 0
13.362 * [taylor]: Taking taylor expansion of 0 in im
13.363 * [backup-simplify]: Simplify 0 into 0
13.363 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.364 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.364 * [backup-simplify]: Simplify (- 0) into 0
13.364 * [backup-simplify]: Simplify 0 into 0
13.364 * [backup-simplify]: Simplify 0 into 0
13.364 * [backup-simplify]: Simplify 0 into 0
13.364 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 re))) 2)) (* -1 (pow (* (/ 1 (/ 1 im)) 1) 2))) into (- (pow re 2) (pow im 2))
13.364 * [backup-simplify]: Simplify (* (+ (/ 1 (- re)) (/ 1 (- im))) (- (/ 1 (- re)) (/ 1 (- im)))) into (* -1 (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re))))
13.364 * [approximate]: Taking taylor expansion of (* -1 (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re)))) in (re im) around 0
13.364 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re)))) in im
13.364 * [taylor]: Taking taylor expansion of -1 in im
13.364 * [backup-simplify]: Simplify -1 into -1
13.364 * [taylor]: Taking taylor expansion of (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re))) in im
13.364 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in im
13.364 * [taylor]: Taking taylor expansion of (/ 1 re) in im
13.364 * [taylor]: Taking taylor expansion of re in im
13.364 * [backup-simplify]: Simplify re into re
13.364 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
13.364 * [taylor]: Taking taylor expansion of (/ 1 im) in im
13.364 * [taylor]: Taking taylor expansion of im in im
13.364 * [backup-simplify]: Simplify 0 into 0
13.365 * [backup-simplify]: Simplify 1 into 1
13.365 * [backup-simplify]: Simplify (/ 1 1) into 1
13.365 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in im
13.365 * [taylor]: Taking taylor expansion of (/ 1 im) in im
13.365 * [taylor]: Taking taylor expansion of im in im
13.365 * [backup-simplify]: Simplify 0 into 0
13.365 * [backup-simplify]: Simplify 1 into 1
13.365 * [backup-simplify]: Simplify (/ 1 1) into 1
13.365 * [taylor]: Taking taylor expansion of (/ 1 re) in im
13.365 * [taylor]: Taking taylor expansion of re in im
13.365 * [backup-simplify]: Simplify re into re
13.365 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
13.365 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re)))) in re
13.365 * [taylor]: Taking taylor expansion of -1 in re
13.365 * [backup-simplify]: Simplify -1 into -1
13.365 * [taylor]: Taking taylor expansion of (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re))) in re
13.365 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in re
13.365 * [taylor]: Taking taylor expansion of (/ 1 re) in re
13.365 * [taylor]: Taking taylor expansion of re in re
13.365 * [backup-simplify]: Simplify 0 into 0
13.365 * [backup-simplify]: Simplify 1 into 1
13.366 * [backup-simplify]: Simplify (/ 1 1) into 1
13.366 * [taylor]: Taking taylor expansion of (/ 1 im) in re
13.366 * [taylor]: Taking taylor expansion of im in re
13.366 * [backup-simplify]: Simplify im into im
13.366 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
13.366 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re
13.366 * [taylor]: Taking taylor expansion of (/ 1 im) in re
13.366 * [taylor]: Taking taylor expansion of im in re
13.366 * [backup-simplify]: Simplify im into im
13.366 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
13.366 * [taylor]: Taking taylor expansion of (/ 1 re) in re
13.366 * [taylor]: Taking taylor expansion of re in re
13.366 * [backup-simplify]: Simplify 0 into 0
13.366 * [backup-simplify]: Simplify 1 into 1
13.366 * [backup-simplify]: Simplify (/ 1 1) into 1
13.366 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re)))) in re
13.366 * [taylor]: Taking taylor expansion of -1 in re
13.366 * [backup-simplify]: Simplify -1 into -1
13.366 * [taylor]: Taking taylor expansion of (* (+ (/ 1 re) (/ 1 im)) (- (/ 1 im) (/ 1 re))) in re
13.366 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in re
13.366 * [taylor]: Taking taylor expansion of (/ 1 re) in re
13.366 * [taylor]: Taking taylor expansion of re in re
13.366 * [backup-simplify]: Simplify 0 into 0
13.366 * [backup-simplify]: Simplify 1 into 1
13.366 * [backup-simplify]: Simplify (/ 1 1) into 1
13.366 * [taylor]: Taking taylor expansion of (/ 1 im) in re
13.366 * [taylor]: Taking taylor expansion of im in re
13.366 * [backup-simplify]: Simplify im into im
13.367 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
13.367 * [taylor]: Taking taylor expansion of (- (/ 1 im) (/ 1 re)) in re
13.367 * [taylor]: Taking taylor expansion of (/ 1 im) in re
13.367 * [taylor]: Taking taylor expansion of im in re
13.367 * [backup-simplify]: Simplify im into im
13.367 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
13.367 * [taylor]: Taking taylor expansion of (/ 1 re) in re
13.367 * [taylor]: Taking taylor expansion of re in re
13.367 * [backup-simplify]: Simplify 0 into 0
13.367 * [backup-simplify]: Simplify 1 into 1
13.367 * [backup-simplify]: Simplify (/ 1 1) into 1
13.367 * [backup-simplify]: Simplify (+ 1 0) into 1
13.367 * [backup-simplify]: Simplify (- 1) into -1
13.368 * [backup-simplify]: Simplify (+ 0 -1) into -1
13.368 * [backup-simplify]: Simplify (* 1 -1) into -1
13.368 * [backup-simplify]: Simplify (* -1 -1) into 1
13.368 * [taylor]: Taking taylor expansion of 1 in im
13.368 * [backup-simplify]: Simplify 1 into 1
13.369 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.369 * [backup-simplify]: Simplify (- 0) into 0
13.369 * [backup-simplify]: Simplify (+ (/ 1 im) 0) into (/ 1 im)
13.370 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.370 * [backup-simplify]: Simplify (+ 0 (/ 1 im)) into (/ 1 im)
13.370 * [backup-simplify]: Simplify (+ (* 1 (/ 1 im)) (* (/ 1 im) -1)) into 0
13.370 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
13.370 * [taylor]: Taking taylor expansion of 0 in im
13.370 * [backup-simplify]: Simplify 0 into 0
13.370 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
13.371 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.371 * [backup-simplify]: Simplify (- 0) into 0
13.371 * [backup-simplify]: Simplify (+ 0 0) into 0
13.372 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.372 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
13.373 * [backup-simplify]: Simplify (+ 0 0) into 0
13.373 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 im) (/ 1 im)) (* 0 -1))) into (/ 1 (pow im 2))
13.374 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (pow im 2))) (+ (* 0 0) (* 0 -1))) into (- (/ 1 (pow im 2)))
13.374 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im
13.374 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
13.374 * [taylor]: Taking taylor expansion of (pow im 2) in im
13.374 * [taylor]: Taking taylor expansion of im in im
13.374 * [backup-simplify]: Simplify 0 into 0
13.374 * [backup-simplify]: Simplify 1 into 1
13.374 * [backup-simplify]: Simplify (* 1 1) into 1
13.374 * [backup-simplify]: Simplify (/ 1 1) into 1
13.375 * [backup-simplify]: Simplify (- 1) into -1
13.375 * [backup-simplify]: Simplify -1 into -1
13.375 * [backup-simplify]: Simplify 1 into 1
13.375 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
13.375 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.376 * [backup-simplify]: Simplify (- 0) into 0
13.376 * [backup-simplify]: Simplify (+ 0 0) into 0
13.376 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.377 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
13.377 * [backup-simplify]: Simplify (+ 0 0) into 0
13.377 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 im) 0) (+ (* 0 (/ 1 im)) (* 0 -1)))) into 0
13.378 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 (pow im 2))) (+ (* 0 0) (* 0 -1)))) into 0
13.378 * [taylor]: Taking taylor expansion of 0 in im
13.378 * [backup-simplify]: Simplify 0 into 0
13.379 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.379 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.379 * [backup-simplify]: Simplify (- 0) into 0
13.379 * [backup-simplify]: Simplify 0 into 0
13.379 * [backup-simplify]: Simplify 0 into 0
13.379 * [backup-simplify]: Simplify 0 into 0
13.379 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
13.380 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.380 * [backup-simplify]: Simplify (- 0) into 0
13.381 * [backup-simplify]: Simplify (+ 0 0) into 0
13.381 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.381 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
13.382 * [backup-simplify]: Simplify (+ 0 0) into 0
13.382 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 im) 0) (+ (* 0 0) (+ (* 0 (/ 1 im)) (* 0 -1))))) into 0
13.383 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 (pow im 2))) (+ (* 0 0) (* 0 -1))))) into 0
13.383 * [taylor]: Taking taylor expansion of 0 in im
13.383 * [backup-simplify]: Simplify 0 into 0
13.384 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.385 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.385 * [backup-simplify]: Simplify (- 0) into 0
13.385 * [backup-simplify]: Simplify 0 into 0
13.385 * [backup-simplify]: Simplify 0 into 0
13.385 * [backup-simplify]: Simplify 0 into 0
13.385 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- re)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- im))) 1) 2))) into (- (pow re 2) (pow im 2))
13.385 * * * [progress]: simplifying candidates
13.385 * * * * [progress]: [ 1 / 57 ] simplifiying candidate #<alt (λ (re im) (log1p (expm1 (* (+ re im) (- re im)))))>
13.385 * * * * [progress]: [ 2 / 57 ] simplifiying candidate #<alt (λ (re im) (expm1 (log1p (* (+ re im) (- re im)))))>
13.385 * * * * [progress]: [ 3 / 57 ] simplifiying candidate #<alt (λ (re im) (pow (* (+ re im) (- re im)) 1))>
13.385 * * * * [progress]: [ 4 / 57 ] simplifiying candidate #<alt (λ (re im) (pow (* (+ re im) (- re im)) 1))>
13.385 * * * * [progress]: [ 5 / 57 ] simplifiying candidate #<alt (λ (re im) (exp (+ (log (+ re im)) (log (- re im)))))>
13.385 * * * * [progress]: [ 6 / 57 ] simplifiying candidate #<alt (λ (re im) (exp (log (* (+ re im) (- re im)))))>
13.385 * * * * [progress]: [ 7 / 57 ] simplifiying candidate #<alt (λ (re im) (log (exp (* (+ re im) (- re im)))))>
13.385 * * * * [progress]: [ 8 / 57 ] simplifiying candidate #<alt (λ (re im) (cbrt (* (* (* (+ re im) (+ re im)) (+ re im)) (* (* (- re im) (- re im)) (- re im)))))>
13.385 * * * * [progress]: [ 9 / 57 ] simplifiying candidate #<alt (λ (re im) (* (* (cbrt (* (+ re im) (- re im))) (cbrt (* (+ re im) (- re im)))) (cbrt (* (+ re im) (- re im)))))>
13.385 * * * * [progress]: [ 10 / 57 ] simplifiying candidate #<alt (λ (re im) (cbrt (* (* (* (+ re im) (- re im)) (* (+ re im) (- re im))) (* (+ re im) (- re im)))))>
13.386 * * * * [progress]: [ 11 / 57 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (* (+ re im) (- re im))) (sqrt (* (+ re im) (- re im)))))>
13.386 * * * * [progress]: [ 12 / 57 ] simplifiying candidate #<alt (λ (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))))))>
13.386 * * * * [progress]: [ 13 / 57 ] simplifiying candidate #<alt (λ (re im) (/ (* (+ (pow re 3) (pow im 3)) (- (* re re) (* im im))) (* (+ (* re re) (- (* im im) (* re im))) (+ re im))))>
13.386 * * * * [progress]: [ 14 / 57 ] simplifiying candidate #<alt (λ (re im) (/ (* (- (* re re) (* im im)) (- (pow re 3) (pow im 3))) (* (- re im) (+ (* re re) (+ (* im im) (* re im))))))>
13.386 * * * * [progress]: [ 15 / 57 ] simplifiying candidate #<alt (λ (re im) (/ (* (- (* re re) (* im im)) (- (* re re) (* im im))) (* (- re im) (+ re im))))>
13.386 * * * * [progress]: [ 16 / 57 ] simplifiying candidate #<alt (λ (re im) (* 1 (* (+ re im) (- re im))))>
13.386 * * * * [progress]: [ 17 / 57 ] simplifiying candidate #<alt (λ (re im) (* (* (sqrt (+ re im)) (sqrt (- re im))) (* (sqrt (+ re im)) (sqrt (- re im)))))>
13.386 * * * * [progress]: [ 18 / 57 ] simplifiying candidate #<alt (λ (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)))))))>
13.386 * * * * [progress]: [ 19 / 57 ] simplifiying candidate #<alt (λ (re 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))))))>
13.386 * * * * [progress]: [ 20 / 57 ] simplifiying candidate #<alt (λ (re im) (+ (* (+ re im) (fma (* (cbrt re) (cbrt re)) (cbrt re) (- (* im 1)))) (* (+ re im) (fma (- im) 1 (* im 1)))))>
13.386 * * * * [progress]: [ 21 / 57 ] simplifiying candidate #<alt (λ (re im) (+ (* (+ 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)))))))>
13.386 * * * * [progress]: [ 22 / 57 ] simplifiying candidate #<alt (λ (re im) (+ (* (+ re im) (fma (sqrt re) (sqrt re) (- (* (sqrt im) (sqrt im))))) (* (+ re im) (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))))))>
13.386 * * * * [progress]: [ 23 / 57 ] simplifiying candidate #<alt (λ (re im) (+ (* (+ re im) (fma (sqrt re) (sqrt re) (- (* im 1)))) (* (+ re im) (fma (- im) 1 (* im 1)))))>
13.386 * * * * [progress]: [ 24 / 57 ] simplifiying candidate #<alt (λ (re im) (+ (* (+ 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)))))))>
13.386 * * * * [progress]: [ 25 / 57 ] simplifiying candidate #<alt (λ (re im) (+ (* (+ re im) (fma 1 re (- (* (sqrt im) (sqrt im))))) (* (+ re im) (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))))))>
13.386 * * * * [progress]: [ 26 / 57 ] simplifiying candidate #<alt (λ (re im) (+ (* (+ re im) (fma 1 re (- (* im 1)))) (* (+ re im) (fma (- im) 1 (* im 1)))))>
13.386 * * * * [progress]: [ 27 / 57 ] simplifiying candidate #<alt (λ (re im) (+ (* (+ re im) re) (* (+ re im) (- im))))>
13.386 * * * * [progress]: [ 28 / 57 ] simplifiying candidate #<alt (λ (re im) (+ (* (+ re im) re) (* (+ re im) (- im))))>
13.386 * * * * [progress]: [ 29 / 57 ] simplifiying candidate #<alt (λ (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))))>
13.386 * * * * [progress]: [ 30 / 57 ] simplifiying candidate #<alt (λ (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))))>
13.386 * * * * [progress]: [ 31 / 57 ] simplifiying candidate #<alt (λ (re im) (+ (* (fma (* (cbrt re) (cbrt re)) (cbrt re) (- (* im 1))) (+ re im)) (* (fma (- im) 1 (* im 1)) (+ re im))))>
13.386 * * * * [progress]: [ 32 / 57 ] simplifiying candidate #<alt (λ (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))))>
13.386 * * * * [progress]: [ 33 / 57 ] simplifiying candidate #<alt (λ (re im) (+ (* (fma (sqrt re) (sqrt re) (- (* (sqrt im) (sqrt im)))) (+ re im)) (* (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))) (+ re im))))>
13.386 * * * * [progress]: [ 34 / 57 ] simplifiying candidate #<alt (λ (re im) (+ (* (fma (sqrt re) (sqrt re) (- (* im 1))) (+ re im)) (* (fma (- im) 1 (* im 1)) (+ re im))))>
13.386 * * * * [progress]: [ 35 / 57 ] simplifiying candidate #<alt (λ (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))))>
13.386 * * * * [progress]: [ 36 / 57 ] simplifiying candidate #<alt (λ (re im) (+ (* (fma 1 re (- (* (sqrt im) (sqrt im)))) (+ re im)) (* (fma (- (sqrt im)) (sqrt im) (* (sqrt im) (sqrt im))) (+ re im))))>
13.387 * * * * [progress]: [ 37 / 57 ] simplifiying candidate #<alt (λ (re im) (+ (* (fma 1 re (- (* im 1))) (+ re im)) (* (fma (- im) 1 (* im 1)) (+ re im))))>
13.387 * * * * [progress]: [ 38 / 57 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (* (- im) (+ re im))))>
13.387 * * * * [progress]: [ 39 / 57 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (* (- im) (+ re im))))>
13.387 * * * * [progress]: [ 40 / 57 ] simplifiying candidate #<alt (λ (re im) (* (* (+ re im) (* (cbrt (- re im)) (cbrt (- re im)))) (cbrt (- re im))))>
13.387 * * * * [progress]: [ 41 / 57 ] simplifiying candidate #<alt (λ (re im) (* (* (+ re im) (sqrt (- re im))) (sqrt (- re im))))>
13.387 * * * * [progress]: [ 42 / 57 ] simplifiying candidate #<alt (λ (re im) (* (* (+ re im) 1) (- re im)))>
13.387 * * * * [progress]: [ 43 / 57 ] simplifiying candidate #<alt (λ (re im) (* (* (+ re im) (+ (sqrt re) (sqrt im))) (- (sqrt re) (sqrt im))))>
13.387 * * * * [progress]: [ 44 / 57 ] simplifiying candidate #<alt (λ (re im) (* (* (+ re im) 1) (- re im)))>
13.387 * * * * [progress]: [ 45 / 57 ] simplifiying candidate #<alt (λ (re im) (* (* (cbrt (+ re im)) (cbrt (+ re im))) (* (cbrt (+ re im)) (- re im))))>
13.387 * * * * [progress]: [ 46 / 57 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (+ re im)) (* (sqrt (+ re im)) (- re im))))>
13.387 * * * * [progress]: [ 47 / 57 ] simplifiying candidate #<alt (λ (re im) (* 1 (* (+ re im) (- re im))))>
13.387 * * * * [progress]: [ 48 / 57 ] simplifiying candidate #<alt (λ (re im) (* 1 (* (+ re im) (- re im))))>
13.387 * * * * [progress]: [ 49 / 57 ] simplifiying candidate #<alt (λ (re im) (/ (* (+ re im) (- (pow re 3) (pow im 3))) (+ (* re re) (+ (* im im) (* re im)))))>
13.387 * * * * [progress]: [ 50 / 57 ] simplifiying candidate #<alt (λ (re im) (/ (* (+ re im) (- (* re re) (* im im))) (+ re im)))>
13.387 * * * * [progress]: [ 51 / 57 ] simplifiying candidate #<alt (λ (re im) (/ (* (+ (pow re 3) (pow im 3)) (- re im)) (+ (* re re) (- (* im im) (* re im)))))>
13.387 * * * * [progress]: [ 52 / 57 ] simplifiying candidate #<alt (λ (re im) (/ (* (- (* re re) (* im im)) (- re im)) (- re im)))>
13.387 * * * * [progress]: [ 53 / 57 ] simplifiying candidate #<alt (λ (re im) (posit16->real (real->posit16 (* (+ re im) (- re im)))))>
13.387 * * * * [progress]: [ 54 / 57 ] simplifiying candidate #<alt (λ (re im) (* (- re im) (+ re im)))>
13.387 * * * * [progress]: [ 55 / 57 ] simplifiying candidate #<alt (λ (re im) (- (pow re 2) (pow im 2)))>
13.387 * * * * [progress]: [ 56 / 57 ] simplifiying candidate #<alt (λ (re im) (- (pow re 2) (pow im 2)))>
13.387 * * * * [progress]: [ 57 / 57 ] simplifiying candidate #<alt (λ (re im) (- (pow re 2) (pow im 2)))>
13.388 * [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))
  (real->posit16 (* (+ re im) (- re im)))
  (- (pow re 2) (pow im 2))
  (- (pow re 2) (pow im 2))
  (- (pow re 2) (pow im 2))
13.389 * * [simplify]: iteration 1: (121 enodes)
13.422 * * [simplify]: iteration 2: (386 enodes)
13.657 * * [simplify]: iteration 3: (1292 enodes)
15.769 * * [simplify]: Extracting #0: cost 33 inf + 0
15.771 * * [simplify]: Extracting #1: cost 462 inf + 0
15.781 * * [simplify]: Extracting #2: cost 1182 inf + 5249
15.823 * * [simplify]: Extracting #3: cost 635 inf + 108829
15.874 * * [simplify]: Extracting #4: cost 96 inf + 234135
15.948 * * [simplify]: Extracting #5: cost 10 inf + 261802
16.043 * * [simplify]: Extracting #6: cost 0 inf + 266142
16.135 * [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)) (* (* (+ im re) (- re im)) (* (+ im re) (- re im))))
  (* (cbrt (* (- re im) (+ im re))) (cbrt (* (- re im) (+ im re))))
  (cbrt (* (- re im) (+ im re)))
  (* (* (- re im) (+ im re)) (* (* (+ im re) (- re im)) (* (+ im re) (- re im))))
  (sqrt (* (- re im) (+ im re)))
  (sqrt (* (- re im) (+ im re)))
  (* (fma im (* im im) (* re (* re re))) (- (* re (* re re)) (* im (* im im))))
  (+ (* (fma im im (* re re)) (- (fma im im (* re re)) (* re im))) (* (- (fma im im (* re re)) (* re im)) (* re im)))
  (fma (fma im (* im im) (* re (* re re))) (* re re) (- (* (fma im (* im im) (* re (* re re))) (* im im))))
  (* (+ im re) (fma im (- im re) (* re re)))
  (fma (- (* re (* re re)) (* im (* im im))) (* re re) (- (* (* im im) (- (* re (* re re)) (* im (* im im))))))
  (* (- re im) (fma re re (* im (+ re im))))
  (* (* (+ im re) (- re im)) (* (+ im re) (- 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) (+ im re))
  (* (+ im re) (- im im))
  (* (- (* (cbrt re) (* (cbrt re) (cbrt re))) im) (+ im re))
  (* (+ im re) (- im im))
  (* (- (* (cbrt re) (* (cbrt re) (cbrt re))) im) (+ im re))
  (* (+ im re) (- im im))
  (* (- re im) (+ im re))
  (* (+ im re) (- im im))
  (* (- re im) (+ im re))
  (* (+ im re) (- im im))
  (* (- re im) (+ im re))
  (* (+ im re) (- im im))
  (* (- re im) (+ im re))
  (* (+ im re) (- im im))
  (* (- re im) (+ im re))
  (* (+ im re) (- im im))
  (* (- re im) (+ im re))
  (* (+ im re) (- im im))
  (* re (+ re im))
  (- (* im (+ re im)))
  (* re (+ re im))
  (- (* im (+ re im)))
  (* (- (* (cbrt re) (* (cbrt re) (cbrt re))) im) (+ im re))
  (* (+ im re) (- im im))
  (* (- (* (cbrt re) (* (cbrt re) (cbrt re))) im) (+ im re))
  (* (+ im re) (- im im))
  (* (- (* (cbrt re) (* (cbrt re) (cbrt re))) im) (+ im re))
  (* (+ im re) (- im im))
  (* (- re im) (+ im re))
  (* (+ im re) (- im im))
  (* (- re im) (+ im re))
  (* (+ im re) (- im im))
  (* (- re im) (+ im re))
  (* (+ im re) (- im im))
  (* (- re im) (+ im re))
  (* (+ im re) (- im im))
  (* (- re im) (+ im re))
  (* (+ im re) (- im im))
  (* (- re im) (+ im re))
  (* (+ im re) (- im im))
  (* re (+ im re))
  (- (* im (+ re im)))
  (* re (+ im re))
  (- (* im (+ re im)))
  (* (* (+ im re) (cbrt (- re im))) (cbrt (- re im)))
  (* (sqrt (- re im)) (+ im re))
  (+ im re)
  (* (+ im re) (+ (sqrt im) (sqrt 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) (+ im re)) (- re im))
  (* (fma im (* im im) (* re (* re re))) (- re im))
  (* (+ im re) (* (- re im) (- re im)))
  (real->posit16 (* (- re im) (+ im re)))
  (* (- re im) (+ im re))
  (* (- re im) (+ im re))
  (* (- re im) (+ im re))
16.142 * * * [progress]: adding candidates to table
16.624 * * [progress]: iteration 3 / 4
16.624 * * * [progress]: picking best candidate
16.628 * * * * [pick]: Picked  #<alt (λ (re im) (fma re re (- (* im im))))>
16.628 * * * [progress]: localizing error
16.638 * * * [progress]: generating rewritten candidates
16.638 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
16.639 * * * [progress]: generating series expansions
16.639 * * * * [progress]: [ 1 / 1 ] generating series at (2)
16.639 * [backup-simplify]: Simplify (fma re re (- (* im im))) into (fma re re (- (pow im 2)))
16.639 * [approximate]: Taking taylor expansion of (fma re re (- (pow im 2))) in (re im) around 0
16.639 * [taylor]: Taking taylor expansion of (fma re re (- (pow im 2))) in im
16.640 * [taylor]: Rewrote expression to (+ (* re re) (- (pow im 2)))
16.640 * [taylor]: Taking taylor expansion of (* re re) in im
16.640 * [taylor]: Taking taylor expansion of re in im
16.640 * [backup-simplify]: Simplify re into re
16.640 * [taylor]: Taking taylor expansion of re in im
16.640 * [backup-simplify]: Simplify re into re
16.640 * [taylor]: Taking taylor expansion of (- (pow im 2)) in im
16.640 * [taylor]: Taking taylor expansion of (pow im 2) in im
16.640 * [taylor]: Taking taylor expansion of im in im
16.640 * [backup-simplify]: Simplify 0 into 0
16.640 * [backup-simplify]: Simplify 1 into 1
16.640 * [taylor]: Taking taylor expansion of (fma re re (- (pow im 2))) in re
16.640 * [taylor]: Rewrote expression to (+ (* re re) (- (pow im 2)))
16.641 * [taylor]: Taking taylor expansion of (* re re) in re
16.641 * [taylor]: Taking taylor expansion of re in re
16.641 * [backup-simplify]: Simplify 0 into 0
16.641 * [backup-simplify]: Simplify 1 into 1
16.641 * [taylor]: Taking taylor expansion of re in re
16.641 * [backup-simplify]: Simplify 0 into 0
16.641 * [backup-simplify]: Simplify 1 into 1
16.641 * [taylor]: Taking taylor expansion of (- (pow im 2)) in re
16.641 * [taylor]: Taking taylor expansion of (pow im 2) in re
16.641 * [taylor]: Taking taylor expansion of im in re
16.641 * [backup-simplify]: Simplify im into im
16.641 * [taylor]: Taking taylor expansion of (fma re re (- (pow im 2))) in re
16.641 * [taylor]: Rewrote expression to (+ (* re re) (- (pow im 2)))
16.641 * [taylor]: Taking taylor expansion of (* re re) in re
16.641 * [taylor]: Taking taylor expansion of re in re
16.641 * [backup-simplify]: Simplify 0 into 0
16.641 * [backup-simplify]: Simplify 1 into 1
16.641 * [taylor]: Taking taylor expansion of re in re
16.641 * [backup-simplify]: Simplify 0 into 0
16.641 * [backup-simplify]: Simplify 1 into 1
16.641 * [taylor]: Taking taylor expansion of (- (pow im 2)) in re
16.641 * [taylor]: Taking taylor expansion of (pow im 2) in re
16.641 * [taylor]: Taking taylor expansion of im in re
16.641 * [backup-simplify]: Simplify im into im
16.641 * [backup-simplify]: Simplify (* 0 0) into 0
16.641 * [backup-simplify]: Simplify (* im im) into (pow im 2)
16.641 * [backup-simplify]: Simplify (- (pow im 2)) into (- (pow im 2))
16.642 * [backup-simplify]: Simplify (+ 0 (- (pow im 2))) into (- (pow im 2))
16.642 * [taylor]: Taking taylor expansion of (- (pow im 2)) in im
16.642 * [taylor]: Taking taylor expansion of (pow im 2) in im
16.642 * [taylor]: Taking taylor expansion of im in im
16.642 * [backup-simplify]: Simplify 0 into 0
16.642 * [backup-simplify]: Simplify 1 into 1
16.642 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
16.642 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
16.642 * [backup-simplify]: Simplify (- 0) into 0
16.643 * [backup-simplify]: Simplify (+ 0 0) into 0
16.643 * [taylor]: Taking taylor expansion of 0 in im
16.643 * [backup-simplify]: Simplify 0 into 0
16.643 * [backup-simplify]: Simplify 0 into 0
16.643 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
16.643 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
16.644 * [backup-simplify]: Simplify (- 0) into 0
16.644 * [backup-simplify]: Simplify (+ 1 0) into 1
16.644 * [taylor]: Taking taylor expansion of 1 in im
16.644 * [backup-simplify]: Simplify 1 into 1
16.644 * [backup-simplify]: Simplify 1 into 1
16.644 * [backup-simplify]: Simplify 0 into 0
16.644 * [backup-simplify]: Simplify (* 1 1) into 1
16.644 * [backup-simplify]: Simplify (- 1) into -1
16.644 * [backup-simplify]: Simplify -1 into -1
16.645 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
16.646 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0
16.646 * [backup-simplify]: Simplify (- 0) into 0
16.646 * [backup-simplify]: Simplify (+ 0 0) into 0
16.646 * [taylor]: Taking taylor expansion of 0 in im
16.646 * [backup-simplify]: Simplify 0 into 0
16.646 * [backup-simplify]: Simplify 0 into 0
16.646 * [backup-simplify]: Simplify 0 into 0
16.646 * [backup-simplify]: Simplify 0 into 0
16.647 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.647 * [backup-simplify]: Simplify (- 0) into 0
16.647 * [backup-simplify]: Simplify 0 into 0
16.647 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
16.648 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0
16.648 * [backup-simplify]: Simplify (- 0) into 0
16.649 * [backup-simplify]: Simplify (+ 0 0) into 0
16.649 * [taylor]: Taking taylor expansion of 0 in im
16.649 * [backup-simplify]: Simplify 0 into 0
16.649 * [backup-simplify]: Simplify 0 into 0
16.649 * [backup-simplify]: Simplify 0 into 0
16.649 * [backup-simplify]: Simplify (+ (* -1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (- (pow re 2) (pow im 2))
16.649 * [backup-simplify]: Simplify (fma (/ 1 re) (/ 1 re) (- (* (/ 1 im) (/ 1 im)))) into (fma (/ 1 re) (/ 1 re) (- (/ 1 (pow im 2))))
16.649 * [approximate]: Taking taylor expansion of (fma (/ 1 re) (/ 1 re) (- (/ 1 (pow im 2)))) in (re im) around 0
16.649 * [taylor]: Taking taylor expansion of (fma (/ 1 re) (/ 1 re) (- (/ 1 (pow im 2)))) in im
16.649 * [taylor]: Rewrote expression to (+ (* (/ 1 re) (/ 1 re)) (- (/ 1 (pow im 2))))
16.649 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in im
16.649 * [taylor]: Taking taylor expansion of (/ 1 re) in im
16.649 * [taylor]: Taking taylor expansion of re in im
16.649 * [backup-simplify]: Simplify re into re
16.649 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
16.649 * [taylor]: Taking taylor expansion of (/ 1 re) in im
16.649 * [taylor]: Taking taylor expansion of re in im
16.649 * [backup-simplify]: Simplify re into re
16.649 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
16.649 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im
16.649 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
16.649 * [taylor]: Taking taylor expansion of (pow im 2) in im
16.649 * [taylor]: Taking taylor expansion of im in im
16.649 * [backup-simplify]: Simplify 0 into 0
16.649 * [backup-simplify]: Simplify 1 into 1
16.650 * [backup-simplify]: Simplify (* 1 1) into 1
16.650 * [backup-simplify]: Simplify (/ 1 1) into 1
16.650 * [taylor]: Taking taylor expansion of (fma (/ 1 re) (/ 1 re) (- (/ 1 (pow im 2)))) in re
16.650 * [taylor]: Rewrote expression to (+ (* (/ 1 re) (/ 1 re)) (- (/ 1 (pow im 2))))
16.650 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in re
16.650 * [taylor]: Taking taylor expansion of (/ 1 re) in re
16.650 * [taylor]: Taking taylor expansion of re in re
16.650 * [backup-simplify]: Simplify 0 into 0
16.650 * [backup-simplify]: Simplify 1 into 1
16.650 * [backup-simplify]: Simplify (/ 1 1) into 1
16.650 * [taylor]: Taking taylor expansion of (/ 1 re) in re
16.650 * [taylor]: Taking taylor expansion of re in re
16.650 * [backup-simplify]: Simplify 0 into 0
16.650 * [backup-simplify]: Simplify 1 into 1
16.651 * [backup-simplify]: Simplify (/ 1 1) into 1
16.651 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in re
16.651 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
16.651 * [taylor]: Taking taylor expansion of (pow im 2) in re
16.651 * [taylor]: Taking taylor expansion of im in re
16.651 * [backup-simplify]: Simplify im into im
16.651 * [backup-simplify]: Simplify (* im im) into (pow im 2)
16.651 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
16.651 * [taylor]: Taking taylor expansion of (fma (/ 1 re) (/ 1 re) (- (/ 1 (pow im 2)))) in re
16.651 * [taylor]: Rewrote expression to (+ (* (/ 1 re) (/ 1 re)) (- (/ 1 (pow im 2))))
16.651 * [taylor]: Taking taylor expansion of (* (/ 1 re) (/ 1 re)) in re
16.651 * [taylor]: Taking taylor expansion of (/ 1 re) in re
16.651 * [taylor]: Taking taylor expansion of re in re
16.651 * [backup-simplify]: Simplify 0 into 0
16.651 * [backup-simplify]: Simplify 1 into 1
16.651 * [backup-simplify]: Simplify (/ 1 1) into 1
16.651 * [taylor]: Taking taylor expansion of (/ 1 re) in re
16.651 * [taylor]: Taking taylor expansion of re in re
16.651 * [backup-simplify]: Simplify 0 into 0
16.651 * [backup-simplify]: Simplify 1 into 1
16.651 * [backup-simplify]: Simplify (/ 1 1) into 1
16.651 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in re
16.651 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
16.651 * [taylor]: Taking taylor expansion of (pow im 2) in re
16.651 * [taylor]: Taking taylor expansion of im in re
16.651 * [backup-simplify]: Simplify im into im
16.652 * [backup-simplify]: Simplify (* im im) into (pow im 2)
16.652 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
16.652 * [backup-simplify]: Simplify (* 1 1) into 1
16.652 * [backup-simplify]: Simplify (+ 1 0) into 1
16.652 * [taylor]: Taking taylor expansion of 1 in im
16.652 * [backup-simplify]: Simplify 1 into 1
16.653 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.653 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.653 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.654 * [backup-simplify]: Simplify (+ 0 0) into 0
16.654 * [taylor]: Taking taylor expansion of 0 in im
16.654 * [backup-simplify]: Simplify 0 into 0
16.654 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.655 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.655 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.655 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2)))
16.655 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2)))
16.656 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im
16.656 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
16.656 * [taylor]: Taking taylor expansion of (pow im 2) in im
16.656 * [taylor]: Taking taylor expansion of im in im
16.656 * [backup-simplify]: Simplify 0 into 0
16.656 * [backup-simplify]: Simplify 1 into 1
16.656 * [backup-simplify]: Simplify (* 1 1) into 1
16.656 * [backup-simplify]: Simplify (/ 1 1) into 1
16.656 * [backup-simplify]: Simplify (- 1) into -1
16.656 * [backup-simplify]: Simplify -1 into -1
16.656 * [backup-simplify]: Simplify 1 into 1
16.657 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.658 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.658 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.658 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
16.658 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0
16.659 * [backup-simplify]: Simplify (- 0) into 0
16.659 * [backup-simplify]: Simplify (+ 0 0) into 0
16.659 * [taylor]: Taking taylor expansion of 0 in im
16.659 * [backup-simplify]: Simplify 0 into 0
16.659 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.660 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.660 * [backup-simplify]: Simplify (- 0) into 0
16.660 * [backup-simplify]: Simplify 0 into 0
16.660 * [backup-simplify]: Simplify 0 into 0
16.660 * [backup-simplify]: Simplify 0 into 0
16.666 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.667 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.669 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
16.669 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0
16.670 * [backup-simplify]: Simplify (- 0) into 0
16.670 * [backup-simplify]: Simplify (+ 0 0) into 0
16.670 * [taylor]: Taking taylor expansion of 0 in im
16.670 * [backup-simplify]: Simplify 0 into 0
16.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.672 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.673 * [backup-simplify]: Simplify (- 0) into 0
16.673 * [backup-simplify]: Simplify 0 into 0
16.673 * [backup-simplify]: Simplify 0 into 0
16.673 * [backup-simplify]: Simplify 0 into 0
16.673 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 re))) 2)) (* -1 (pow (* (/ 1 (/ 1 im)) 1) 2))) into (- (pow re 2) (pow im 2))
16.673 * [backup-simplify]: Simplify (fma (/ 1 (- re)) (/ 1 (- re)) (- (* (/ 1 (- im)) (/ 1 (- im))))) into (fma (/ -1 re) (/ -1 re) (- (/ 1 (pow im 2))))
16.673 * [approximate]: Taking taylor expansion of (fma (/ -1 re) (/ -1 re) (- (/ 1 (pow im 2)))) in (re im) around 0
16.673 * [taylor]: Taking taylor expansion of (fma (/ -1 re) (/ -1 re) (- (/ 1 (pow im 2)))) in im
16.674 * [taylor]: Rewrote expression to (+ (* (/ -1 re) (/ -1 re)) (- (/ 1 (pow im 2))))
16.674 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in im
16.674 * [taylor]: Taking taylor expansion of (/ -1 re) in im
16.674 * [taylor]: Taking taylor expansion of -1 in im
16.674 * [backup-simplify]: Simplify -1 into -1
16.674 * [taylor]: Taking taylor expansion of re in im
16.674 * [backup-simplify]: Simplify re into re
16.674 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
16.674 * [taylor]: Taking taylor expansion of (/ -1 re) in im
16.674 * [taylor]: Taking taylor expansion of -1 in im
16.674 * [backup-simplify]: Simplify -1 into -1
16.674 * [taylor]: Taking taylor expansion of re in im
16.674 * [backup-simplify]: Simplify re into re
16.674 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
16.674 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im
16.674 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
16.674 * [taylor]: Taking taylor expansion of (pow im 2) in im
16.674 * [taylor]: Taking taylor expansion of im in im
16.674 * [backup-simplify]: Simplify 0 into 0
16.674 * [backup-simplify]: Simplify 1 into 1
16.675 * [backup-simplify]: Simplify (* 1 1) into 1
16.675 * [backup-simplify]: Simplify (/ 1 1) into 1
16.675 * [taylor]: Taking taylor expansion of (fma (/ -1 re) (/ -1 re) (- (/ 1 (pow im 2)))) in re
16.675 * [taylor]: Rewrote expression to (+ (* (/ -1 re) (/ -1 re)) (- (/ 1 (pow im 2))))
16.675 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in re
16.675 * [taylor]: Taking taylor expansion of (/ -1 re) in re
16.675 * [taylor]: Taking taylor expansion of -1 in re
16.675 * [backup-simplify]: Simplify -1 into -1
16.675 * [taylor]: Taking taylor expansion of re in re
16.675 * [backup-simplify]: Simplify 0 into 0
16.675 * [backup-simplify]: Simplify 1 into 1
16.676 * [backup-simplify]: Simplify (/ -1 1) into -1
16.676 * [taylor]: Taking taylor expansion of (/ -1 re) in re
16.676 * [taylor]: Taking taylor expansion of -1 in re
16.676 * [backup-simplify]: Simplify -1 into -1
16.676 * [taylor]: Taking taylor expansion of re in re
16.676 * [backup-simplify]: Simplify 0 into 0
16.676 * [backup-simplify]: Simplify 1 into 1
16.676 * [backup-simplify]: Simplify (/ -1 1) into -1
16.676 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in re
16.676 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
16.676 * [taylor]: Taking taylor expansion of (pow im 2) in re
16.676 * [taylor]: Taking taylor expansion of im in re
16.676 * [backup-simplify]: Simplify im into im
16.677 * [backup-simplify]: Simplify (* im im) into (pow im 2)
16.677 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
16.677 * [taylor]: Taking taylor expansion of (fma (/ -1 re) (/ -1 re) (- (/ 1 (pow im 2)))) in re
16.677 * [taylor]: Rewrote expression to (+ (* (/ -1 re) (/ -1 re)) (- (/ 1 (pow im 2))))
16.677 * [taylor]: Taking taylor expansion of (* (/ -1 re) (/ -1 re)) in re
16.677 * [taylor]: Taking taylor expansion of (/ -1 re) in re
16.677 * [taylor]: Taking taylor expansion of -1 in re
16.677 * [backup-simplify]: Simplify -1 into -1
16.677 * [taylor]: Taking taylor expansion of re in re
16.677 * [backup-simplify]: Simplify 0 into 0
16.677 * [backup-simplify]: Simplify 1 into 1
16.677 * [backup-simplify]: Simplify (/ -1 1) into -1
16.677 * [taylor]: Taking taylor expansion of (/ -1 re) in re
16.677 * [taylor]: Taking taylor expansion of -1 in re
16.677 * [backup-simplify]: Simplify -1 into -1
16.677 * [taylor]: Taking taylor expansion of re in re
16.677 * [backup-simplify]: Simplify 0 into 0
16.678 * [backup-simplify]: Simplify 1 into 1
16.678 * [backup-simplify]: Simplify (/ -1 1) into -1
16.678 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in re
16.678 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
16.678 * [taylor]: Taking taylor expansion of (pow im 2) in re
16.678 * [taylor]: Taking taylor expansion of im in re
16.678 * [backup-simplify]: Simplify im into im
16.678 * [backup-simplify]: Simplify (* im im) into (pow im 2)
16.678 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
16.679 * [backup-simplify]: Simplify (* -1 -1) into 1
16.679 * [backup-simplify]: Simplify (+ 1 0) into 1
16.679 * [taylor]: Taking taylor expansion of 1 in im
16.679 * [backup-simplify]: Simplify 1 into 1
16.680 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
16.681 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
16.682 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
16.682 * [backup-simplify]: Simplify (+ 0 0) into 0
16.682 * [taylor]: Taking taylor expansion of 0 in im
16.682 * [backup-simplify]: Simplify 0 into 0
16.683 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.684 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.685 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0
16.685 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2)))
16.686 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2)))
16.686 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im
16.686 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
16.686 * [taylor]: Taking taylor expansion of (pow im 2) in im
16.686 * [taylor]: Taking taylor expansion of im in im
16.686 * [backup-simplify]: Simplify 0 into 0
16.686 * [backup-simplify]: Simplify 1 into 1
16.686 * [backup-simplify]: Simplify (* 1 1) into 1
16.687 * [backup-simplify]: Simplify (/ 1 1) into 1
16.687 * [backup-simplify]: Simplify (- 1) into -1
16.687 * [backup-simplify]: Simplify -1 into -1
16.687 * [backup-simplify]: Simplify 1 into 1
16.688 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.689 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.690 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
16.690 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
16.690 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0
16.691 * [backup-simplify]: Simplify (- 0) into 0
16.691 * [backup-simplify]: Simplify (+ 0 0) into 0
16.691 * [taylor]: Taking taylor expansion of 0 in im
16.691 * [backup-simplify]: Simplify 0 into 0
16.692 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.693 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.693 * [backup-simplify]: Simplify (- 0) into 0
16.693 * [backup-simplify]: Simplify 0 into 0
16.693 * [backup-simplify]: Simplify 0 into 0
16.693 * [backup-simplify]: Simplify 0 into 0
16.694 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.695 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.697 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
16.697 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
16.698 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0
16.698 * [backup-simplify]: Simplify (- 0) into 0
16.698 * [backup-simplify]: Simplify (+ 0 0) into 0
16.699 * [taylor]: Taking taylor expansion of 0 in im
16.699 * [backup-simplify]: Simplify 0 into 0
16.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.700 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.701 * [backup-simplify]: Simplify (- 0) into 0
16.701 * [backup-simplify]: Simplify 0 into 0
16.701 * [backup-simplify]: Simplify 0 into 0
16.701 * [backup-simplify]: Simplify 0 into 0
16.701 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- re)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- im))) 1) 2))) into (- (pow re 2) (pow im 2))
16.701 * * * [progress]: simplifying candidates
16.701 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (re im) (log1p (expm1 (fma re re (- (* im im))))))>
16.702 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (re im) (expm1 (log1p (fma re re (- (* im im))))))>
16.702 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (re im) (+ (* re re) (- (* im im))))>
16.702 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (re im) (pow (fma re re (- (* im im))) 1))>
16.702 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (re im) (exp (log (fma re re (- (* im im))))))>
16.702 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (re im) (log (exp (fma re re (- (* im im))))))>
16.702 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (re im) (* (* (cbrt (fma re re (- (* im im)))) (cbrt (fma re re (- (* im im))))) (cbrt (fma re re (- (* im im))))))>
16.702 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (re im) (cbrt (* (* (fma re re (- (* im im))) (fma re re (- (* im im)))) (fma re re (- (* im im))))))>
16.702 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (fma re re (- (* im im)))) (sqrt (fma re re (- (* im im))))))>
16.702 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (re im) (* 1 (fma re re (- (* im im)))))>
16.702 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (re im) (posit16->real (real->posit16 (fma re re (- (* im im))))))>
16.702 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (re im) (- (pow re 2) (pow im 2)))>
16.702 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (re im) (- (pow re 2) (pow im 2)))>
16.702 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (re im) (- (pow re 2) (pow im 2)))>
16.703 * [simplify]: Simplifying:
  (expm1 (fma re re (- (* im im))))
  (log1p (fma re re (- (* im im))))
  (* re re)
  (log (fma re re (- (* im im))))
  (exp (fma re re (- (* im im))))
  (* (cbrt (fma re re (- (* im im)))) (cbrt (fma re re (- (* im im)))))
  (cbrt (fma re re (- (* im im))))
  (* (* (fma re re (- (* im im))) (fma re re (- (* im im)))) (fma re re (- (* im im))))
  (sqrt (fma re re (- (* im im))))
  (sqrt (fma re re (- (* im im))))
  (real->posit16 (fma re re (- (* im im))))
  (- (pow re 2) (pow im 2))
  (- (pow re 2) (pow im 2))
  (- (pow re 2) (pow im 2))
16.703 * * [simplify]: iteration 1: (20 enodes)
16.710 * * [simplify]: iteration 2: (31 enodes)
16.720 * * [simplify]: iteration 3: (44 enodes)
16.731 * * [simplify]: iteration 4: (98 enodes)
16.756 * * [simplify]: iteration 5: (422 enodes)
17.481 * * [simplify]: Extracting #0: cost 11 inf + 0
17.482 * * [simplify]: Extracting #1: cost 151 inf + 0
17.484 * * [simplify]: Extracting #2: cost 669 inf + 1167
17.496 * * [simplify]: Extracting #3: cost 598 inf + 30967
17.540 * * [simplify]: Extracting #4: cost 127 inf + 128407
17.599 * * [simplify]: Extracting #5: cost 1 inf + 161552
17.676 * * [simplify]: Extracting #6: cost 0 inf + 161995
17.755 * [simplify]: Simplified to:
  (expm1 (* (+ im re) (- re im)))
  (log1p (* (+ im re) (- re im)))
  (* re re)
  (log (* (+ im re) (- re im)))
  (exp (* (+ im re) (- re im)))
  (* (cbrt (* (+ im re) (- re im))) (cbrt (* (+ im re) (- re im))))
  (cbrt (* (+ im re) (- re im)))
  (* (* (+ im re) (- re im)) (* (* (+ im re) (- re im)) (* (+ im re) (- re im))))
  (sqrt (* (+ im re) (- re im)))
  (sqrt (* (+ im re) (- re im)))
  (real->posit16 (* (+ im re) (- re im)))
  (* (+ im re) (- re im))
  (* (+ im re) (- re im))
  (* (+ im re) (- re im))
17.755 * * * [progress]: adding candidates to table
17.839 * * [progress]: iteration 4 / 4
17.839 * * * [progress]: picking best candidate
17.841 * * * * [pick]: Picked  #<alt (λ (re im) (+ (* re (+ re im)) (* (- im) (+ re im))))>
17.841 * * * [progress]: localizing error
17.857 * * * [progress]: generating rewritten candidates
17.857 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
17.880 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
17.894 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
17.913 * * * [progress]: generating series expansions
17.913 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
17.913 * [backup-simplify]: Simplify (* (- im) (+ re im)) into (* -1 (* im (+ re im)))
17.913 * [approximate]: Taking taylor expansion of (* -1 (* im (+ re im))) in (im re) around 0
17.913 * [taylor]: Taking taylor expansion of (* -1 (* im (+ re im))) in re
17.913 * [taylor]: Taking taylor expansion of -1 in re
17.913 * [backup-simplify]: Simplify -1 into -1
17.913 * [taylor]: Taking taylor expansion of (* im (+ re im)) in re
17.913 * [taylor]: Taking taylor expansion of im in re
17.913 * [backup-simplify]: Simplify im into im
17.913 * [taylor]: Taking taylor expansion of (+ re im) in re
17.913 * [taylor]: Taking taylor expansion of re in re
17.913 * [backup-simplify]: Simplify 0 into 0
17.913 * [backup-simplify]: Simplify 1 into 1
17.913 * [taylor]: Taking taylor expansion of im in re
17.913 * [backup-simplify]: Simplify im into im
17.913 * [taylor]: Taking taylor expansion of (* -1 (* im (+ re im))) in im
17.913 * [taylor]: Taking taylor expansion of -1 in im
17.913 * [backup-simplify]: Simplify -1 into -1
17.913 * [taylor]: Taking taylor expansion of (* im (+ re im)) in im
17.913 * [taylor]: Taking taylor expansion of im in im
17.913 * [backup-simplify]: Simplify 0 into 0
17.913 * [backup-simplify]: Simplify 1 into 1
17.913 * [taylor]: Taking taylor expansion of (+ re im) in im
17.913 * [taylor]: Taking taylor expansion of re in im
17.913 * [backup-simplify]: Simplify re into re
17.913 * [taylor]: Taking taylor expansion of im in im
17.913 * [backup-simplify]: Simplify 0 into 0
17.913 * [backup-simplify]: Simplify 1 into 1
17.913 * [taylor]: Taking taylor expansion of (* -1 (* im (+ re im))) in im
17.913 * [taylor]: Taking taylor expansion of -1 in im
17.913 * [backup-simplify]: Simplify -1 into -1
17.913 * [taylor]: Taking taylor expansion of (* im (+ re im)) in im
17.913 * [taylor]: Taking taylor expansion of im in im
17.913 * [backup-simplify]: Simplify 0 into 0
17.913 * [backup-simplify]: Simplify 1 into 1
17.913 * [taylor]: Taking taylor expansion of (+ re im) in im
17.913 * [taylor]: Taking taylor expansion of re in im
17.913 * [backup-simplify]: Simplify re into re
17.913 * [taylor]: Taking taylor expansion of im in im
17.913 * [backup-simplify]: Simplify 0 into 0
17.913 * [backup-simplify]: Simplify 1 into 1
17.914 * [backup-simplify]: Simplify (+ re 0) into re
17.914 * [backup-simplify]: Simplify (* 0 re) into 0
17.914 * [backup-simplify]: Simplify (* -1 0) into 0
17.914 * [taylor]: Taking taylor expansion of 0 in re
17.914 * [backup-simplify]: Simplify 0 into 0
17.914 * [backup-simplify]: Simplify 0 into 0
17.915 * [backup-simplify]: Simplify (+ 0 1) into 1
17.915 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 re)) into re
17.915 * [backup-simplify]: Simplify (+ (* -1 re) (* 0 0)) into (- re)
17.915 * [taylor]: Taking taylor expansion of (- re) in re
17.915 * [taylor]: Taking taylor expansion of re in re
17.915 * [backup-simplify]: Simplify 0 into 0
17.915 * [backup-simplify]: Simplify 1 into 1
17.915 * [backup-simplify]: Simplify (- 0) into 0
17.916 * [backup-simplify]: Simplify 0 into 0
17.916 * [backup-simplify]: Simplify 0 into 0
17.916 * [backup-simplify]: Simplify (+ 0 0) into 0
17.916 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 re))) into 1
17.917 * [backup-simplify]: Simplify (+ (* -1 1) (+ (* 0 re) (* 0 0))) into (- 1)
17.917 * [taylor]: Taking taylor expansion of (- 1) in re
17.917 * [taylor]: Taking taylor expansion of 1 in re
17.917 * [backup-simplify]: Simplify 1 into 1
17.917 * [backup-simplify]: Simplify (- 1) into -1
17.917 * [backup-simplify]: Simplify -1 into -1
17.917 * [backup-simplify]: Simplify (- 1) into -1
17.917 * [backup-simplify]: Simplify -1 into -1
17.918 * [backup-simplify]: Simplify 0 into 0
17.918 * [backup-simplify]: Simplify (+ 0 0) into 0
17.919 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 re)))) into 0
17.919 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (+ (* 0 re) (* 0 0)))) into 0
17.919 * [taylor]: Taking taylor expansion of 0 in re
17.919 * [backup-simplify]: Simplify 0 into 0
17.919 * [backup-simplify]: Simplify 0 into 0
17.920 * [backup-simplify]: Simplify (- 0) into 0
17.920 * [backup-simplify]: Simplify 0 into 0
17.920 * [backup-simplify]: Simplify (- 0) into 0
17.920 * [backup-simplify]: Simplify 0 into 0
17.920 * [backup-simplify]: Simplify 0 into 0
17.920 * [backup-simplify]: Simplify (+ 0 0) into 0
17.921 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 re))))) into 0
17.922 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 re) (* 0 0))))) into 0
17.922 * [taylor]: Taking taylor expansion of 0 in re
17.922 * [backup-simplify]: Simplify 0 into 0
17.922 * [backup-simplify]: Simplify 0 into 0
17.922 * [backup-simplify]: Simplify (+ (* -1 (* re im)) (* -1 (pow (* 1 im) 2))) into (- (+ (pow im 2) (* re im)))
17.922 * [backup-simplify]: Simplify (* (- (/ 1 im)) (+ (/ 1 re) (/ 1 im))) into (* -1 (/ (+ (/ 1 re) (/ 1 im)) im))
17.922 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 re) (/ 1 im)) im)) in (im re) around 0
17.923 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 re) (/ 1 im)) im)) in re
17.923 * [taylor]: Taking taylor expansion of -1 in re
17.923 * [backup-simplify]: Simplify -1 into -1
17.923 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 re) (/ 1 im)) im) in re
17.923 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in re
17.923 * [taylor]: Taking taylor expansion of (/ 1 re) in re
17.923 * [taylor]: Taking taylor expansion of re in re
17.923 * [backup-simplify]: Simplify 0 into 0
17.923 * [backup-simplify]: Simplify 1 into 1
17.923 * [backup-simplify]: Simplify (/ 1 1) into 1
17.923 * [taylor]: Taking taylor expansion of (/ 1 im) in re
17.923 * [taylor]: Taking taylor expansion of im in re
17.923 * [backup-simplify]: Simplify im into im
17.923 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
17.923 * [taylor]: Taking taylor expansion of im in re
17.923 * [backup-simplify]: Simplify im into im
17.923 * [backup-simplify]: Simplify (+ 1 0) into 1
17.923 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
17.923 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 re) (/ 1 im)) im)) in im
17.923 * [taylor]: Taking taylor expansion of -1 in im
17.923 * [backup-simplify]: Simplify -1 into -1
17.923 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 re) (/ 1 im)) im) in im
17.923 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in im
17.923 * [taylor]: Taking taylor expansion of (/ 1 re) in im
17.923 * [taylor]: Taking taylor expansion of re in im
17.923 * [backup-simplify]: Simplify re into re
17.923 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
17.923 * [taylor]: Taking taylor expansion of (/ 1 im) in im
17.924 * [taylor]: Taking taylor expansion of im in im
17.924 * [backup-simplify]: Simplify 0 into 0
17.924 * [backup-simplify]: Simplify 1 into 1
17.924 * [backup-simplify]: Simplify (/ 1 1) into 1
17.924 * [taylor]: Taking taylor expansion of im in im
17.924 * [backup-simplify]: Simplify 0 into 0
17.924 * [backup-simplify]: Simplify 1 into 1
17.924 * [backup-simplify]: Simplify (+ 0 1) into 1
17.924 * [backup-simplify]: Simplify (/ 1 1) into 1
17.924 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 re) (/ 1 im)) im)) in im
17.924 * [taylor]: Taking taylor expansion of -1 in im
17.924 * [backup-simplify]: Simplify -1 into -1
17.924 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 re) (/ 1 im)) im) in im
17.924 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in im
17.924 * [taylor]: Taking taylor expansion of (/ 1 re) in im
17.924 * [taylor]: Taking taylor expansion of re in im
17.924 * [backup-simplify]: Simplify re into re
17.925 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
17.925 * [taylor]: Taking taylor expansion of (/ 1 im) in im
17.925 * [taylor]: Taking taylor expansion of im in im
17.925 * [backup-simplify]: Simplify 0 into 0
17.925 * [backup-simplify]: Simplify 1 into 1
17.925 * [backup-simplify]: Simplify (/ 1 1) into 1
17.925 * [taylor]: Taking taylor expansion of im in im
17.925 * [backup-simplify]: Simplify 0 into 0
17.925 * [backup-simplify]: Simplify 1 into 1
17.925 * [backup-simplify]: Simplify (+ 0 1) into 1
17.925 * [backup-simplify]: Simplify (/ 1 1) into 1
17.926 * [backup-simplify]: Simplify (* -1 1) into -1
17.926 * [taylor]: Taking taylor expansion of -1 in re
17.926 * [backup-simplify]: Simplify -1 into -1
17.926 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
17.926 * [backup-simplify]: Simplify (+ (/ 1 re) 0) into (/ 1 re)
17.927 * [backup-simplify]: Simplify (- (/ (/ 1 re) 1) (+ (* 1 (/ 0 1)))) into (/ 1 re)
17.927 * [backup-simplify]: Simplify (+ (* -1 (/ 1 re)) (* 0 1)) into (- (/ 1 re))
17.927 * [taylor]: Taking taylor expansion of (- (/ 1 re)) in re
17.927 * [taylor]: Taking taylor expansion of (/ 1 re) in re
17.927 * [taylor]: Taking taylor expansion of re in re
17.927 * [backup-simplify]: Simplify 0 into 0
17.927 * [backup-simplify]: Simplify 1 into 1
17.927 * [backup-simplify]: Simplify (/ 1 1) into 1
17.928 * [backup-simplify]: Simplify (- 1) into -1
17.928 * [backup-simplify]: Simplify -1 into -1
17.928 * [backup-simplify]: Simplify -1 into -1
17.928 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
17.928 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.929 * [backup-simplify]: Simplify (+ 0 0) into 0
17.929 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 re) (/ 0 1)))) into 0
17.930 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 re)) (* 0 1))) into 0
17.930 * [taylor]: Taking taylor expansion of 0 in re
17.930 * [backup-simplify]: Simplify 0 into 0
17.930 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
17.931 * [backup-simplify]: Simplify (- 0) into 0
17.931 * [backup-simplify]: Simplify 0 into 0
17.931 * [backup-simplify]: Simplify 0 into 0
17.931 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
17.931 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.932 * [backup-simplify]: Simplify (+ 0 0) into 0
17.933 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 re) (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.934 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 re)) (* 0 1)))) into 0
17.934 * [taylor]: Taking taylor expansion of 0 in re
17.934 * [backup-simplify]: Simplify 0 into 0
17.934 * [backup-simplify]: Simplify 0 into 0
17.934 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.935 * [backup-simplify]: Simplify (- 0) into 0
17.935 * [backup-simplify]: Simplify 0 into 0
17.935 * [backup-simplify]: Simplify 0 into 0
17.935 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0
17.935 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.936 * [backup-simplify]: Simplify (+ 0 0) into 0
17.937 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 re) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.938 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 re)) (* 0 1))))) into 0
17.938 * [taylor]: Taking taylor expansion of 0 in re
17.938 * [backup-simplify]: Simplify 0 into 0
17.938 * [backup-simplify]: Simplify 0 into 0
17.938 * [backup-simplify]: Simplify (+ (* -1 (pow (* 1 (/ 1 (/ 1 im))) 2)) (* -1 (* (/ 1 (/ 1 re)) (/ 1 (/ 1 im))))) into (- (+ (pow im 2) (* re im)))
17.939 * [backup-simplify]: Simplify (* (- (/ 1 (- im))) (+ (/ 1 (- re)) (/ 1 (- im)))) into (* -1 (/ (+ (/ 1 re) (/ 1 im)) im))
17.939 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 re) (/ 1 im)) im)) in (im re) around 0
17.939 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 re) (/ 1 im)) im)) in re
17.939 * [taylor]: Taking taylor expansion of -1 in re
17.939 * [backup-simplify]: Simplify -1 into -1
17.939 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 re) (/ 1 im)) im) in re
17.939 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in re
17.939 * [taylor]: Taking taylor expansion of (/ 1 re) in re
17.939 * [taylor]: Taking taylor expansion of re in re
17.939 * [backup-simplify]: Simplify 0 into 0
17.939 * [backup-simplify]: Simplify 1 into 1
17.939 * [backup-simplify]: Simplify (/ 1 1) into 1
17.939 * [taylor]: Taking taylor expansion of (/ 1 im) in re
17.939 * [taylor]: Taking taylor expansion of im in re
17.939 * [backup-simplify]: Simplify im into im
17.939 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
17.939 * [taylor]: Taking taylor expansion of im in re
17.939 * [backup-simplify]: Simplify im into im
17.939 * [backup-simplify]: Simplify (+ 1 0) into 1
17.940 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
17.940 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 re) (/ 1 im)) im)) in im
17.940 * [taylor]: Taking taylor expansion of -1 in im
17.940 * [backup-simplify]: Simplify -1 into -1
17.940 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 re) (/ 1 im)) im) in im
17.940 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in im
17.940 * [taylor]: Taking taylor expansion of (/ 1 re) in im
17.940 * [taylor]: Taking taylor expansion of re in im
17.940 * [backup-simplify]: Simplify re into re
17.940 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
17.940 * [taylor]: Taking taylor expansion of (/ 1 im) in im
17.940 * [taylor]: Taking taylor expansion of im in im
17.940 * [backup-simplify]: Simplify 0 into 0
17.940 * [backup-simplify]: Simplify 1 into 1
17.940 * [backup-simplify]: Simplify (/ 1 1) into 1
17.940 * [taylor]: Taking taylor expansion of im in im
17.940 * [backup-simplify]: Simplify 0 into 0
17.940 * [backup-simplify]: Simplify 1 into 1
17.940 * [backup-simplify]: Simplify (+ 0 1) into 1
17.941 * [backup-simplify]: Simplify (/ 1 1) into 1
17.941 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 re) (/ 1 im)) im)) in im
17.941 * [taylor]: Taking taylor expansion of -1 in im
17.941 * [backup-simplify]: Simplify -1 into -1
17.941 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 re) (/ 1 im)) im) in im
17.941 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in im
17.941 * [taylor]: Taking taylor expansion of (/ 1 re) in im
17.941 * [taylor]: Taking taylor expansion of re in im
17.941 * [backup-simplify]: Simplify re into re
17.941 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
17.941 * [taylor]: Taking taylor expansion of (/ 1 im) in im
17.941 * [taylor]: Taking taylor expansion of im in im
17.941 * [backup-simplify]: Simplify 0 into 0
17.941 * [backup-simplify]: Simplify 1 into 1
17.941 * [backup-simplify]: Simplify (/ 1 1) into 1
17.941 * [taylor]: Taking taylor expansion of im in im
17.941 * [backup-simplify]: Simplify 0 into 0
17.941 * [backup-simplify]: Simplify 1 into 1
17.941 * [backup-simplify]: Simplify (+ 0 1) into 1
17.942 * [backup-simplify]: Simplify (/ 1 1) into 1
17.942 * [backup-simplify]: Simplify (* -1 1) into -1
17.942 * [taylor]: Taking taylor expansion of -1 in re
17.942 * [backup-simplify]: Simplify -1 into -1
17.942 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
17.942 * [backup-simplify]: Simplify (+ (/ 1 re) 0) into (/ 1 re)
17.943 * [backup-simplify]: Simplify (- (/ (/ 1 re) 1) (+ (* 1 (/ 0 1)))) into (/ 1 re)
17.943 * [backup-simplify]: Simplify (+ (* -1 (/ 1 re)) (* 0 1)) into (- (/ 1 re))
17.943 * [taylor]: Taking taylor expansion of (- (/ 1 re)) in re
17.943 * [taylor]: Taking taylor expansion of (/ 1 re) in re
17.943 * [taylor]: Taking taylor expansion of re in re
17.943 * [backup-simplify]: Simplify 0 into 0
17.943 * [backup-simplify]: Simplify 1 into 1
17.944 * [backup-simplify]: Simplify (/ 1 1) into 1
17.944 * [backup-simplify]: Simplify (- 1) into -1
17.944 * [backup-simplify]: Simplify -1 into -1
17.944 * [backup-simplify]: Simplify -1 into -1
17.944 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
17.945 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.945 * [backup-simplify]: Simplify (+ 0 0) into 0
17.946 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 re) (/ 0 1)))) into 0
17.946 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 re)) (* 0 1))) into 0
17.946 * [taylor]: Taking taylor expansion of 0 in re
17.946 * [backup-simplify]: Simplify 0 into 0
17.947 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
17.947 * [backup-simplify]: Simplify (- 0) into 0
17.947 * [backup-simplify]: Simplify 0 into 0
17.947 * [backup-simplify]: Simplify 0 into 0
17.947 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
17.948 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.948 * [backup-simplify]: Simplify (+ 0 0) into 0
17.950 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 re) (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.951 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 re)) (* 0 1)))) into 0
17.951 * [taylor]: Taking taylor expansion of 0 in re
17.951 * [backup-simplify]: Simplify 0 into 0
17.951 * [backup-simplify]: Simplify 0 into 0
17.952 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.952 * [backup-simplify]: Simplify (- 0) into 0
17.952 * [backup-simplify]: Simplify 0 into 0
17.952 * [backup-simplify]: Simplify 0 into 0
17.953 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0
17.954 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.954 * [backup-simplify]: Simplify (+ 0 0) into 0
17.961 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 re) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.962 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 re)) (* 0 1))))) into 0
17.962 * [taylor]: Taking taylor expansion of 0 in re
17.962 * [backup-simplify]: Simplify 0 into 0
17.962 * [backup-simplify]: Simplify 0 into 0
17.963 * [backup-simplify]: Simplify (+ (* -1 (pow (* 1 (/ 1 (/ 1 (- im)))) 2)) (* -1 (* (/ 1 (/ 1 (- re))) (/ 1 (/ 1 (- im)))))) into (- (+ (pow im 2) (* re im)))
17.963 * * * * [progress]: [ 2 / 3 ] generating series at (2)
17.963 * [backup-simplify]: Simplify (+ (* re (+ re im)) (* (- im) (+ re im))) into (- (pow re 2) (pow im 2))
17.963 * [approximate]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in (re im) around 0
17.963 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in im
17.963 * [taylor]: Taking taylor expansion of (pow re 2) in im
17.963 * [taylor]: Taking taylor expansion of re in im
17.963 * [backup-simplify]: Simplify re into re
17.963 * [taylor]: Taking taylor expansion of (pow im 2) in im
17.963 * [taylor]: Taking taylor expansion of im in im
17.963 * [backup-simplify]: Simplify 0 into 0
17.963 * [backup-simplify]: Simplify 1 into 1
17.963 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re
17.963 * [taylor]: Taking taylor expansion of (pow re 2) in re
17.963 * [taylor]: Taking taylor expansion of re in re
17.963 * [backup-simplify]: Simplify 0 into 0
17.963 * [backup-simplify]: Simplify 1 into 1
17.964 * [taylor]: Taking taylor expansion of (pow im 2) in re
17.964 * [taylor]: Taking taylor expansion of im in re
17.964 * [backup-simplify]: Simplify im into im
17.964 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re
17.964 * [taylor]: Taking taylor expansion of (pow re 2) in re
17.964 * [taylor]: Taking taylor expansion of re in re
17.964 * [backup-simplify]: Simplify 0 into 0
17.964 * [backup-simplify]: Simplify 1 into 1
17.964 * [taylor]: Taking taylor expansion of (pow im 2) in re
17.964 * [taylor]: Taking taylor expansion of im in re
17.964 * [backup-simplify]: Simplify im into im
17.964 * [backup-simplify]: Simplify (* im im) into (pow im 2)
17.964 * [backup-simplify]: Simplify (- (pow im 2)) into (- (pow im 2))
17.964 * [backup-simplify]: Simplify (+ 0 (- (pow im 2))) into (- (pow im 2))
17.964 * [taylor]: Taking taylor expansion of (- (pow im 2)) in im
17.964 * [taylor]: Taking taylor expansion of (pow im 2) in im
17.964 * [taylor]: Taking taylor expansion of im in im
17.964 * [backup-simplify]: Simplify 0 into 0
17.964 * [backup-simplify]: Simplify 1 into 1
17.964 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
17.965 * [backup-simplify]: Simplify (- 0) into 0
17.965 * [backup-simplify]: Simplify (+ 0 0) into 0
17.965 * [taylor]: Taking taylor expansion of 0 in im
17.965 * [backup-simplify]: Simplify 0 into 0
17.965 * [backup-simplify]: Simplify 0 into 0
17.966 * [backup-simplify]: Simplify (* 1 1) into 1
17.966 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
17.966 * [backup-simplify]: Simplify (- 0) into 0
17.967 * [backup-simplify]: Simplify (+ 1 0) into 1
17.967 * [taylor]: Taking taylor expansion of 1 in im
17.967 * [backup-simplify]: Simplify 1 into 1
17.967 * [backup-simplify]: Simplify 1 into 1
17.967 * [backup-simplify]: Simplify 0 into 0
17.967 * [backup-simplify]: Simplify (* 1 1) into 1
17.968 * [backup-simplify]: Simplify (- 1) into -1
17.968 * [backup-simplify]: Simplify -1 into -1
17.968 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
17.969 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0
17.969 * [backup-simplify]: Simplify (- 0) into 0
17.970 * [backup-simplify]: Simplify (+ 0 0) into 0
17.970 * [taylor]: Taking taylor expansion of 0 in im
17.970 * [backup-simplify]: Simplify 0 into 0
17.970 * [backup-simplify]: Simplify 0 into 0
17.970 * [backup-simplify]: Simplify 0 into 0
17.970 * [backup-simplify]: Simplify 0 into 0
17.971 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
17.971 * [backup-simplify]: Simplify (- 0) into 0
17.971 * [backup-simplify]: Simplify 0 into 0
17.972 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
17.973 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0
17.973 * [backup-simplify]: Simplify (- 0) into 0
17.974 * [backup-simplify]: Simplify (+ 0 0) into 0
17.974 * [taylor]: Taking taylor expansion of 0 in im
17.974 * [backup-simplify]: Simplify 0 into 0
17.974 * [backup-simplify]: Simplify 0 into 0
17.974 * [backup-simplify]: Simplify 0 into 0
17.974 * [backup-simplify]: Simplify (+ (* -1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (- (pow re 2) (pow im 2))
17.974 * [backup-simplify]: Simplify (+ (* (/ 1 re) (+ (/ 1 re) (/ 1 im))) (* (- (/ 1 im)) (+ (/ 1 re) (/ 1 im)))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))
17.975 * [approximate]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0
17.975 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im
17.975 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
17.975 * [taylor]: Taking taylor expansion of (pow re 2) in im
17.975 * [taylor]: Taking taylor expansion of re in im
17.975 * [backup-simplify]: Simplify re into re
17.975 * [backup-simplify]: Simplify (* re re) into (pow re 2)
17.975 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2))
17.975 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
17.975 * [taylor]: Taking taylor expansion of (pow im 2) in im
17.975 * [taylor]: Taking taylor expansion of im in im
17.975 * [backup-simplify]: Simplify 0 into 0
17.975 * [backup-simplify]: Simplify 1 into 1
17.975 * [backup-simplify]: Simplify (* 1 1) into 1
17.976 * [backup-simplify]: Simplify (/ 1 1) into 1
17.976 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
17.976 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
17.976 * [taylor]: Taking taylor expansion of (pow re 2) in re
17.976 * [taylor]: Taking taylor expansion of re in re
17.976 * [backup-simplify]: Simplify 0 into 0
17.976 * [backup-simplify]: Simplify 1 into 1
17.976 * [backup-simplify]: Simplify (* 1 1) into 1
17.977 * [backup-simplify]: Simplify (/ 1 1) into 1
17.977 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
17.977 * [taylor]: Taking taylor expansion of (pow im 2) in re
17.977 * [taylor]: Taking taylor expansion of im in re
17.977 * [backup-simplify]: Simplify im into im
17.977 * [backup-simplify]: Simplify (* im im) into (pow im 2)
17.977 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
17.977 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
17.977 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
17.977 * [taylor]: Taking taylor expansion of (pow re 2) in re
17.977 * [taylor]: Taking taylor expansion of re in re
17.977 * [backup-simplify]: Simplify 0 into 0
17.977 * [backup-simplify]: Simplify 1 into 1
17.977 * [backup-simplify]: Simplify (* 1 1) into 1
17.978 * [backup-simplify]: Simplify (/ 1 1) into 1
17.978 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
17.978 * [taylor]: Taking taylor expansion of (pow im 2) in re
17.978 * [taylor]: Taking taylor expansion of im in re
17.978 * [backup-simplify]: Simplify im into im
17.978 * [backup-simplify]: Simplify (* im im) into (pow im 2)
17.978 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
17.978 * [backup-simplify]: Simplify (+ 1 0) into 1
17.978 * [taylor]: Taking taylor expansion of 1 in im
17.978 * [backup-simplify]: Simplify 1 into 1
17.979 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
17.980 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
17.980 * [backup-simplify]: Simplify (+ 0 0) into 0
17.980 * [taylor]: Taking taylor expansion of 0 in im
17.980 * [backup-simplify]: Simplify 0 into 0
17.981 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
17.982 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.982 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2)))
17.982 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2)))
17.982 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im
17.982 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
17.982 * [taylor]: Taking taylor expansion of (pow im 2) in im
17.982 * [taylor]: Taking taylor expansion of im in im
17.982 * [backup-simplify]: Simplify 0 into 0
17.982 * [backup-simplify]: Simplify 1 into 1
17.983 * [backup-simplify]: Simplify (* 1 1) into 1
17.983 * [backup-simplify]: Simplify (/ 1 1) into 1
17.983 * [backup-simplify]: Simplify (- 1) into -1
17.983 * [backup-simplify]: Simplify -1 into -1
17.984 * [backup-simplify]: Simplify 1 into 1
17.985 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
17.986 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.986 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
17.986 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0
17.986 * [backup-simplify]: Simplify (- 0) into 0
17.987 * [backup-simplify]: Simplify (+ 0 0) into 0
17.987 * [taylor]: Taking taylor expansion of 0 in im
17.987 * [backup-simplify]: Simplify 0 into 0
17.987 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
17.988 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
17.988 * [backup-simplify]: Simplify (- 0) into 0
17.988 * [backup-simplify]: Simplify 0 into 0
17.988 * [backup-simplify]: Simplify 0 into 0
17.988 * [backup-simplify]: Simplify 0 into 0
17.989 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
17.990 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.990 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
17.990 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0
17.990 * [backup-simplify]: Simplify (- 0) into 0
17.991 * [backup-simplify]: Simplify (+ 0 0) into 0
17.991 * [taylor]: Taking taylor expansion of 0 in im
17.991 * [backup-simplify]: Simplify 0 into 0
17.991 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
17.992 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.992 * [backup-simplify]: Simplify (- 0) into 0
17.992 * [backup-simplify]: Simplify 0 into 0
17.992 * [backup-simplify]: Simplify 0 into 0
17.992 * [backup-simplify]: Simplify 0 into 0
17.993 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 re))) 2)) (* -1 (pow (* (/ 1 (/ 1 im)) 1) 2))) into (- (pow re 2) (pow im 2))
17.993 * [backup-simplify]: Simplify (+ (* (/ 1 (- re)) (+ (/ 1 (- re)) (/ 1 (- im)))) (* (- (/ 1 (- im))) (+ (/ 1 (- re)) (/ 1 (- im))))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))
17.993 * [approximate]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0
17.993 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im
17.993 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
17.993 * [taylor]: Taking taylor expansion of (pow re 2) in im
17.993 * [taylor]: Taking taylor expansion of re in im
17.993 * [backup-simplify]: Simplify re into re
17.993 * [backup-simplify]: Simplify (* re re) into (pow re 2)
17.993 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2))
17.993 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
17.993 * [taylor]: Taking taylor expansion of (pow im 2) in im
17.993 * [taylor]: Taking taylor expansion of im in im
17.993 * [backup-simplify]: Simplify 0 into 0
17.993 * [backup-simplify]: Simplify 1 into 1
17.994 * [backup-simplify]: Simplify (* 1 1) into 1
17.994 * [backup-simplify]: Simplify (/ 1 1) into 1
17.994 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
17.994 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
17.994 * [taylor]: Taking taylor expansion of (pow re 2) in re
17.994 * [taylor]: Taking taylor expansion of re in re
17.994 * [backup-simplify]: Simplify 0 into 0
17.994 * [backup-simplify]: Simplify 1 into 1
17.994 * [backup-simplify]: Simplify (* 1 1) into 1
17.994 * [backup-simplify]: Simplify (/ 1 1) into 1
17.994 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
17.994 * [taylor]: Taking taylor expansion of (pow im 2) in re
17.994 * [taylor]: Taking taylor expansion of im in re
17.994 * [backup-simplify]: Simplify im into im
17.995 * [backup-simplify]: Simplify (* im im) into (pow im 2)
17.995 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
17.995 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
17.995 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
17.995 * [taylor]: Taking taylor expansion of (pow re 2) in re
17.995 * [taylor]: Taking taylor expansion of re in re
17.995 * [backup-simplify]: Simplify 0 into 0
17.995 * [backup-simplify]: Simplify 1 into 1
17.995 * [backup-simplify]: Simplify (* 1 1) into 1
17.995 * [backup-simplify]: Simplify (/ 1 1) into 1
17.995 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
17.995 * [taylor]: Taking taylor expansion of (pow im 2) in re
17.995 * [taylor]: Taking taylor expansion of im in re
17.995 * [backup-simplify]: Simplify im into im
17.995 * [backup-simplify]: Simplify (* im im) into (pow im 2)
17.995 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
17.996 * [backup-simplify]: Simplify (+ 1 0) into 1
17.996 * [taylor]: Taking taylor expansion of 1 in im
17.996 * [backup-simplify]: Simplify 1 into 1
17.996 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
17.997 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
17.997 * [backup-simplify]: Simplify (+ 0 0) into 0
17.997 * [taylor]: Taking taylor expansion of 0 in im
17.997 * [backup-simplify]: Simplify 0 into 0
17.997 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
17.998 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.998 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2)))
17.998 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2)))
17.998 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im
17.998 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
17.998 * [taylor]: Taking taylor expansion of (pow im 2) in im
17.998 * [taylor]: Taking taylor expansion of im in im
17.998 * [backup-simplify]: Simplify 0 into 0
17.998 * [backup-simplify]: Simplify 1 into 1
17.999 * [backup-simplify]: Simplify (* 1 1) into 1
17.999 * [backup-simplify]: Simplify (/ 1 1) into 1
17.999 * [backup-simplify]: Simplify (- 1) into -1
17.999 * [backup-simplify]: Simplify -1 into -1
17.999 * [backup-simplify]: Simplify 1 into 1
18.000 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
18.000 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.000 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
18.001 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0
18.001 * [backup-simplify]: Simplify (- 0) into 0
18.001 * [backup-simplify]: Simplify (+ 0 0) into 0
18.001 * [taylor]: Taking taylor expansion of 0 in im
18.001 * [backup-simplify]: Simplify 0 into 0
18.001 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
18.002 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.002 * [backup-simplify]: Simplify (- 0) into 0
18.002 * [backup-simplify]: Simplify 0 into 0
18.002 * [backup-simplify]: Simplify 0 into 0
18.002 * [backup-simplify]: Simplify 0 into 0
18.003 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
18.004 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.004 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
18.004 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0
18.004 * [backup-simplify]: Simplify (- 0) into 0
18.005 * [backup-simplify]: Simplify (+ 0 0) into 0
18.005 * [taylor]: Taking taylor expansion of 0 in im
18.005 * [backup-simplify]: Simplify 0 into 0
18.005 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
18.006 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.006 * [backup-simplify]: Simplify (- 0) into 0
18.006 * [backup-simplify]: Simplify 0 into 0
18.006 * [backup-simplify]: Simplify 0 into 0
18.006 * [backup-simplify]: Simplify 0 into 0
18.006 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- re)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- im))) 1) 2))) into (- (pow re 2) (pow im 2))
18.006 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
18.007 * [backup-simplify]: Simplify (* re (+ re im)) into (* re (+ re im))
18.007 * [approximate]: Taking taylor expansion of (* re (+ re im)) in (re im) around 0
18.007 * [taylor]: Taking taylor expansion of (* re (+ re im)) in im
18.007 * [taylor]: Taking taylor expansion of re in im
18.007 * [backup-simplify]: Simplify re into re
18.007 * [taylor]: Taking taylor expansion of (+ re im) in im
18.007 * [taylor]: Taking taylor expansion of re in im
18.007 * [backup-simplify]: Simplify re into re
18.007 * [taylor]: Taking taylor expansion of im in im
18.007 * [backup-simplify]: Simplify 0 into 0
18.007 * [backup-simplify]: Simplify 1 into 1
18.007 * [taylor]: Taking taylor expansion of (* re (+ re im)) in re
18.007 * [taylor]: Taking taylor expansion of re in re
18.007 * [backup-simplify]: Simplify 0 into 0
18.007 * [backup-simplify]: Simplify 1 into 1
18.007 * [taylor]: Taking taylor expansion of (+ re im) in re
18.007 * [taylor]: Taking taylor expansion of re in re
18.007 * [backup-simplify]: Simplify 0 into 0
18.007 * [backup-simplify]: Simplify 1 into 1
18.007 * [taylor]: Taking taylor expansion of im in re
18.007 * [backup-simplify]: Simplify im into im
18.007 * [taylor]: Taking taylor expansion of (* re (+ re im)) in re
18.007 * [taylor]: Taking taylor expansion of re in re
18.007 * [backup-simplify]: Simplify 0 into 0
18.007 * [backup-simplify]: Simplify 1 into 1
18.007 * [taylor]: Taking taylor expansion of (+ re im) in re
18.007 * [taylor]: Taking taylor expansion of re in re
18.007 * [backup-simplify]: Simplify 0 into 0
18.007 * [backup-simplify]: Simplify 1 into 1
18.007 * [taylor]: Taking taylor expansion of im in re
18.007 * [backup-simplify]: Simplify im into im
18.007 * [backup-simplify]: Simplify (+ 0 im) into im
18.007 * [backup-simplify]: Simplify (* 0 im) into 0
18.007 * [taylor]: Taking taylor expansion of 0 in im
18.007 * [backup-simplify]: Simplify 0 into 0
18.007 * [backup-simplify]: Simplify 0 into 0
18.007 * [backup-simplify]: Simplify (+ 1 0) into 1
18.008 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 im)) into im
18.008 * [taylor]: Taking taylor expansion of im in im
18.008 * [backup-simplify]: Simplify 0 into 0
18.008 * [backup-simplify]: Simplify 1 into 1
18.008 * [backup-simplify]: Simplify 0 into 0
18.008 * [backup-simplify]: Simplify 0 into 0
18.008 * [backup-simplify]: Simplify (+ 0 0) into 0
18.009 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 im))) into 1
18.009 * [taylor]: Taking taylor expansion of 1 in im
18.009 * [backup-simplify]: Simplify 1 into 1
18.009 * [backup-simplify]: Simplify 1 into 1
18.009 * [backup-simplify]: Simplify 1 into 1
18.009 * [backup-simplify]: Simplify 0 into 0
18.009 * [backup-simplify]: Simplify (+ 0 0) into 0
18.010 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 im)))) into 0
18.010 * [taylor]: Taking taylor expansion of 0 in im
18.010 * [backup-simplify]: Simplify 0 into 0
18.010 * [backup-simplify]: Simplify 0 into 0
18.010 * [backup-simplify]: Simplify 0 into 0
18.010 * [backup-simplify]: Simplify 0 into 0
18.010 * [backup-simplify]: Simplify 0 into 0
18.010 * [backup-simplify]: Simplify (+ 0 0) into 0
18.011 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 im))))) into 0
18.011 * [taylor]: Taking taylor expansion of 0 in im
18.011 * [backup-simplify]: Simplify 0 into 0
18.012 * [backup-simplify]: Simplify 0 into 0
18.012 * [backup-simplify]: Simplify (+ (* 1 (* im re)) (* 1 (pow (* 1 re) 2))) into (+ (pow re 2) (* re im))
18.012 * [backup-simplify]: Simplify (* (/ 1 re) (+ (/ 1 re) (/ 1 im))) into (/ (+ (/ 1 re) (/ 1 im)) re)
18.012 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 re) (/ 1 im)) re) in (re im) around 0
18.012 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 re) (/ 1 im)) re) in im
18.012 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in im
18.012 * [taylor]: Taking taylor expansion of (/ 1 re) in im
18.012 * [taylor]: Taking taylor expansion of re in im
18.012 * [backup-simplify]: Simplify re into re
18.012 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
18.012 * [taylor]: Taking taylor expansion of (/ 1 im) in im
18.012 * [taylor]: Taking taylor expansion of im in im
18.012 * [backup-simplify]: Simplify 0 into 0
18.012 * [backup-simplify]: Simplify 1 into 1
18.012 * [backup-simplify]: Simplify (/ 1 1) into 1
18.012 * [taylor]: Taking taylor expansion of re in im
18.012 * [backup-simplify]: Simplify re into re
18.013 * [backup-simplify]: Simplify (+ 0 1) into 1
18.013 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
18.013 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 re) (/ 1 im)) re) in re
18.013 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in re
18.013 * [taylor]: Taking taylor expansion of (/ 1 re) in re
18.013 * [taylor]: Taking taylor expansion of re in re
18.013 * [backup-simplify]: Simplify 0 into 0
18.013 * [backup-simplify]: Simplify 1 into 1
18.013 * [backup-simplify]: Simplify (/ 1 1) into 1
18.013 * [taylor]: Taking taylor expansion of (/ 1 im) in re
18.013 * [taylor]: Taking taylor expansion of im in re
18.013 * [backup-simplify]: Simplify im into im
18.013 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
18.013 * [taylor]: Taking taylor expansion of re in re
18.013 * [backup-simplify]: Simplify 0 into 0
18.013 * [backup-simplify]: Simplify 1 into 1
18.013 * [backup-simplify]: Simplify (+ 1 0) into 1
18.014 * [backup-simplify]: Simplify (/ 1 1) into 1
18.014 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 re) (/ 1 im)) re) in re
18.014 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in re
18.014 * [taylor]: Taking taylor expansion of (/ 1 re) in re
18.014 * [taylor]: Taking taylor expansion of re in re
18.014 * [backup-simplify]: Simplify 0 into 0
18.014 * [backup-simplify]: Simplify 1 into 1
18.014 * [backup-simplify]: Simplify (/ 1 1) into 1
18.014 * [taylor]: Taking taylor expansion of (/ 1 im) in re
18.014 * [taylor]: Taking taylor expansion of im in re
18.014 * [backup-simplify]: Simplify im into im
18.014 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
18.014 * [taylor]: Taking taylor expansion of re in re
18.014 * [backup-simplify]: Simplify 0 into 0
18.014 * [backup-simplify]: Simplify 1 into 1
18.014 * [backup-simplify]: Simplify (+ 1 0) into 1
18.015 * [backup-simplify]: Simplify (/ 1 1) into 1
18.015 * [taylor]: Taking taylor expansion of 1 in im
18.015 * [backup-simplify]: Simplify 1 into 1
18.015 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.015 * [backup-simplify]: Simplify (+ 0 (/ 1 im)) into (/ 1 im)
18.016 * [backup-simplify]: Simplify (- (/ (/ 1 im) 1) (+ (* 1 (/ 0 1)))) into (/ 1 im)
18.016 * [taylor]: Taking taylor expansion of (/ 1 im) in im
18.016 * [taylor]: Taking taylor expansion of im in im
18.016 * [backup-simplify]: Simplify 0 into 0
18.016 * [backup-simplify]: Simplify 1 into 1
18.016 * [backup-simplify]: Simplify (/ 1 1) into 1
18.016 * [backup-simplify]: Simplify 1 into 1
18.016 * [backup-simplify]: Simplify 1 into 1
18.017 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.017 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
18.017 * [backup-simplify]: Simplify (+ 0 0) into 0
18.018 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 im) (/ 0 1)))) into 0
18.018 * [taylor]: Taking taylor expansion of 0 in im
18.018 * [backup-simplify]: Simplify 0 into 0
18.018 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.018 * [backup-simplify]: Simplify 0 into 0
18.018 * [backup-simplify]: Simplify 0 into 0
18.019 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.019 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
18.019 * [backup-simplify]: Simplify (+ 0 0) into 0
18.020 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 im) (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.020 * [taylor]: Taking taylor expansion of 0 in im
18.020 * [backup-simplify]: Simplify 0 into 0
18.020 * [backup-simplify]: Simplify 0 into 0
18.021 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.021 * [backup-simplify]: Simplify 0 into 0
18.021 * [backup-simplify]: Simplify 0 into 0
18.021 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.022 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
18.022 * [backup-simplify]: Simplify (+ 0 0) into 0
18.023 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 im) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.023 * [taylor]: Taking taylor expansion of 0 in im
18.023 * [backup-simplify]: Simplify 0 into 0
18.023 * [backup-simplify]: Simplify 0 into 0
18.024 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 re))) 2)) (* 1 (* (/ 1 (/ 1 im)) (/ 1 (/ 1 re))))) into (+ (pow re 2) (* re im))
18.024 * [backup-simplify]: Simplify (* (/ 1 (- re)) (+ (/ 1 (- re)) (/ 1 (- im)))) into (/ (+ (/ 1 re) (/ 1 im)) re)
18.024 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 re) (/ 1 im)) re) in (re im) around 0
18.024 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 re) (/ 1 im)) re) in im
18.024 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in im
18.024 * [taylor]: Taking taylor expansion of (/ 1 re) in im
18.024 * [taylor]: Taking taylor expansion of re in im
18.024 * [backup-simplify]: Simplify re into re
18.024 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
18.024 * [taylor]: Taking taylor expansion of (/ 1 im) in im
18.024 * [taylor]: Taking taylor expansion of im in im
18.024 * [backup-simplify]: Simplify 0 into 0
18.024 * [backup-simplify]: Simplify 1 into 1
18.024 * [backup-simplify]: Simplify (/ 1 1) into 1
18.024 * [taylor]: Taking taylor expansion of re in im
18.024 * [backup-simplify]: Simplify re into re
18.025 * [backup-simplify]: Simplify (+ 0 1) into 1
18.025 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
18.025 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 re) (/ 1 im)) re) in re
18.025 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in re
18.025 * [taylor]: Taking taylor expansion of (/ 1 re) in re
18.025 * [taylor]: Taking taylor expansion of re in re
18.025 * [backup-simplify]: Simplify 0 into 0
18.025 * [backup-simplify]: Simplify 1 into 1
18.025 * [backup-simplify]: Simplify (/ 1 1) into 1
18.025 * [taylor]: Taking taylor expansion of (/ 1 im) in re
18.025 * [taylor]: Taking taylor expansion of im in re
18.025 * [backup-simplify]: Simplify im into im
18.025 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
18.025 * [taylor]: Taking taylor expansion of re in re
18.025 * [backup-simplify]: Simplify 0 into 0
18.025 * [backup-simplify]: Simplify 1 into 1
18.025 * [backup-simplify]: Simplify (+ 1 0) into 1
18.026 * [backup-simplify]: Simplify (/ 1 1) into 1
18.026 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 re) (/ 1 im)) re) in re
18.026 * [taylor]: Taking taylor expansion of (+ (/ 1 re) (/ 1 im)) in re
18.026 * [taylor]: Taking taylor expansion of (/ 1 re) in re
18.026 * [taylor]: Taking taylor expansion of re in re
18.026 * [backup-simplify]: Simplify 0 into 0
18.026 * [backup-simplify]: Simplify 1 into 1
18.026 * [backup-simplify]: Simplify (/ 1 1) into 1
18.026 * [taylor]: Taking taylor expansion of (/ 1 im) in re
18.026 * [taylor]: Taking taylor expansion of im in re
18.026 * [backup-simplify]: Simplify im into im
18.026 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
18.026 * [taylor]: Taking taylor expansion of re in re
18.026 * [backup-simplify]: Simplify 0 into 0
18.026 * [backup-simplify]: Simplify 1 into 1
18.026 * [backup-simplify]: Simplify (+ 1 0) into 1
18.027 * [backup-simplify]: Simplify (/ 1 1) into 1
18.027 * [taylor]: Taking taylor expansion of 1 in im
18.027 * [backup-simplify]: Simplify 1 into 1
18.027 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.027 * [backup-simplify]: Simplify (+ 0 (/ 1 im)) into (/ 1 im)
18.028 * [backup-simplify]: Simplify (- (/ (/ 1 im) 1) (+ (* 1 (/ 0 1)))) into (/ 1 im)
18.028 * [taylor]: Taking taylor expansion of (/ 1 im) in im
18.028 * [taylor]: Taking taylor expansion of im in im
18.028 * [backup-simplify]: Simplify 0 into 0
18.028 * [backup-simplify]: Simplify 1 into 1
18.028 * [backup-simplify]: Simplify (/ 1 1) into 1
18.028 * [backup-simplify]: Simplify 1 into 1
18.028 * [backup-simplify]: Simplify 1 into 1
18.029 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.029 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
18.029 * [backup-simplify]: Simplify (+ 0 0) into 0
18.030 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 im) (/ 0 1)))) into 0
18.030 * [taylor]: Taking taylor expansion of 0 in im
18.030 * [backup-simplify]: Simplify 0 into 0
18.030 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.030 * [backup-simplify]: Simplify 0 into 0
18.030 * [backup-simplify]: Simplify 0 into 0
18.031 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.031 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
18.031 * [backup-simplify]: Simplify (+ 0 0) into 0
18.033 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 im) (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.033 * [taylor]: Taking taylor expansion of 0 in im
18.033 * [backup-simplify]: Simplify 0 into 0
18.033 * [backup-simplify]: Simplify 0 into 0
18.033 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.033 * [backup-simplify]: Simplify 0 into 0
18.033 * [backup-simplify]: Simplify 0 into 0
18.034 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.034 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
18.034 * [backup-simplify]: Simplify (+ 0 0) into 0
18.036 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 im) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.036 * [taylor]: Taking taylor expansion of 0 in im
18.036 * [backup-simplify]: Simplify 0 into 0
18.036 * [backup-simplify]: Simplify 0 into 0
18.036 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- re)))) 2)) (* 1 (* (/ 1 (/ 1 (- im))) (/ 1 (/ 1 (- re)))))) into (+ (pow re 2) (* re im))
18.036 * * * [progress]: simplifying candidates
18.036 * * * * [progress]: [ 1 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (log1p (expm1 (* (- im) (+ re im))))))>
18.036 * * * * [progress]: [ 2 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (expm1 (log1p (* (- im) (+ re im))))))>
18.036 * * * * [progress]: [ 3 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (pow (* (- im) (+ re im)) 1)))>
18.036 * * * * [progress]: [ 4 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (pow (* (- im) (+ re im)) 1)))>
18.036 * * * * [progress]: [ 5 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (exp (+ (log (- im)) (log (+ re im))))))>
18.036 * * * * [progress]: [ 6 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (exp (log (* (- im) (+ re im))))))>
18.036 * * * * [progress]: [ 7 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (log (exp (* (- im) (+ re im))))))>
18.036 * * * * [progress]: [ 8 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (cbrt (* (* (* (- im) (- im)) (- im)) (* (* (+ re im) (+ re im)) (+ re im))))))>
18.036 * * * * [progress]: [ 9 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (* (* (cbrt (* (- im) (+ re im))) (cbrt (* (- im) (+ re im)))) (cbrt (* (- im) (+ re im))))))>
18.037 * * * * [progress]: [ 10 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (cbrt (* (* (* (- im) (+ re im)) (* (- im) (+ re im))) (* (- im) (+ re im))))))>
18.037 * * * * [progress]: [ 11 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (* (sqrt (* (- im) (+ re im))) (sqrt (* (- im) (+ re im))))))>
18.037 * * * * [progress]: [ 12 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (* 1 (* (- im) (+ re im)))))>
18.037 * * * * [progress]: [ 13 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (* (* (sqrt (- im)) (sqrt (+ re im))) (* (sqrt (- im)) (sqrt (+ re im))))))>
18.037 * * * * [progress]: [ 14 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (- (* im (+ re im)))))>
18.037 * * * * [progress]: [ 15 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (+ (* (- im) re) (* (- im) im))))>
18.037 * * * * [progress]: [ 16 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (+ (* re (- im)) (* im (- im)))))>
18.037 * * * * [progress]: [ 17 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (* (* (- im) (* (cbrt (+ re im)) (cbrt (+ re im)))) (cbrt (+ re im)))))>
18.037 * * * * [progress]: [ 18 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (* (* (- im) (sqrt (+ re im))) (sqrt (+ re im)))))>
18.037 * * * * [progress]: [ 19 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (* (* (- im) 1) (+ re im))))>
18.037 * * * * [progress]: [ 20 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (* (* (- im) 1) (+ re im))))>
18.037 * * * * [progress]: [ 21 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (* (* (cbrt (- im)) (cbrt (- im))) (* (cbrt (- im)) (+ re im)))))>
18.037 * * * * [progress]: [ 22 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (* (sqrt (- im)) (* (sqrt (- im)) (+ re im)))))>
18.037 * * * * [progress]: [ 23 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (* 1 (* (- im) (+ re im)))))>
18.037 * * * * [progress]: [ 24 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (* -1 (* im (+ re im)))))>
18.037 * * * * [progress]: [ 25 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (* (- (* (cbrt im) (cbrt im))) (* (cbrt im) (+ re im)))))>
18.037 * * * * [progress]: [ 26 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (* (- (sqrt im)) (* (sqrt im) (+ re im)))))>
18.037 * * * * [progress]: [ 27 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (* (- 1) (* im (+ re im)))))>
18.037 * * * * [progress]: [ 28 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (* (* (cbrt im) (cbrt im)) (* (- (cbrt im)) (+ re im)))))>
18.037 * * * * [progress]: [ 29 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (* (sqrt im) (* (- (sqrt im)) (+ re im)))))>
18.037 * * * * [progress]: [ 30 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (* 1 (* (- im) (+ re im)))))>
18.037 * * * * [progress]: [ 31 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (/ (* (- im) (+ (pow re 3) (pow im 3))) (+ (* re re) (- (* im im) (* re im))))))>
18.037 * * * * [progress]: [ 32 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (/ (* (- im) (- (* re re) (* im im))) (- re im))))>
18.037 * * * * [progress]: [ 33 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (posit16->real (real->posit16 (* (- im) (+ re im))))))>
18.037 * * * * [progress]: [ 34 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (* (+ re im) (- im))))>
18.037 * * * * [progress]: [ 35 / 95 ] simplifiying candidate #<alt (λ (re im) (log1p (expm1 (+ (* re (+ re im)) (* (- im) (+ re im))))))>
18.038 * * * * [progress]: [ 36 / 95 ] simplifiying candidate #<alt (λ (re im) (expm1 (log1p (+ (* re (+ re im)) (* (- im) (+ re im))))))>
18.038 * * * * [progress]: [ 37 / 95 ] simplifiying candidate #<alt (λ (re im) (fma re (+ re im) (* (- im) (+ re im))))>
18.038 * * * * [progress]: [ 38 / 95 ] simplifiying candidate #<alt (λ (re im) (log (* (exp (* re (+ re im))) (exp (* (- im) (+ re im))))))>
18.038 * * * * [progress]: [ 39 / 95 ] simplifiying candidate #<alt (λ (re im) (pow (+ (* re (+ re im)) (* (- im) (+ re im))) 1))>
18.038 * * * * [progress]: [ 40 / 95 ] simplifiying candidate #<alt (λ (re im) (exp (log (+ (* re (+ re im)) (* (- im) (+ re im))))))>
18.038 * * * * [progress]: [ 41 / 95 ] simplifiying candidate #<alt (λ (re im) (log (exp (+ (* re (+ re im)) (* (- im) (+ re im))))))>
18.038 * * * * [progress]: [ 42 / 95 ] simplifiying candidate #<alt (λ (re im) (* (* (cbrt (+ (* re (+ re im)) (* (- im) (+ re im)))) (cbrt (+ (* re (+ re im)) (* (- im) (+ re im))))) (cbrt (+ (* re (+ re im)) (* (- im) (+ re im))))))>
18.038 * * * * [progress]: [ 43 / 95 ] simplifiying candidate #<alt (λ (re im) (cbrt (* (* (+ (* re (+ re im)) (* (- im) (+ re im))) (+ (* re (+ re im)) (* (- im) (+ re im)))) (+ (* re (+ re im)) (* (- im) (+ re im))))))>
18.038 * * * * [progress]: [ 44 / 95 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (+ (* re (+ re im)) (* (- im) (+ re im)))) (sqrt (+ (* re (+ re im)) (* (- im) (+ re im))))))>
18.038 * * * * [progress]: [ 45 / 95 ] simplifiying candidate #<alt (λ (re im) (/ (+ (* (* re (+ (pow re 3) (pow im 3))) (+ (* re re) (- (* im im) (* re im)))) (* (+ (* re re) (- (* im im) (* re im))) (* (- im) (+ (pow re 3) (pow im 3))))) (* (+ (* re re) (- (* im im) (* re im))) (+ (* re re) (- (* im im) (* re im))))))>
18.038 * * * * [progress]: [ 46 / 95 ] simplifiying candidate #<alt (λ (re im) (/ (+ (* (* re (+ (pow re 3) (pow im 3))) (- re im)) (* (+ (* re re) (- (* im im) (* re im))) (* (- im) (- (* re re) (* im im))))) (* (+ (* re re) (- (* im im) (* re im))) (- re im))))>
18.038 * * * * [progress]: [ 47 / 95 ] simplifiying candidate #<alt (λ (re im) (/ (+ (* (* re (- (* re re) (* im im))) (+ (* re re) (- (* im im) (* re im)))) (* (- re im) (* (- im) (+ (pow re 3) (pow im 3))))) (* (- re im) (+ (* re re) (- (* im im) (* re im))))))>
18.038 * * * * [progress]: [ 48 / 95 ] simplifiying candidate #<alt (λ (re im) (/ (+ (* (* re (- (* re re) (* im im))) (- re im)) (* (- re im) (* (- im) (- (* re re) (* im im))))) (* (- re im) (- re im))))>
18.038 * * * * [progress]: [ 49 / 95 ] simplifiying candidate #<alt (λ (re im) (/ (+ (pow (* re (+ re im)) 3) (pow (* (- im) (+ re im)) 3)) (+ (* (* re (+ re im)) (* re (+ re im))) (- (* (* (- im) (+ re im)) (* (- im) (+ re im))) (* (* re (+ re im)) (* (- im) (+ re im)))))))>
18.038 * * * * [progress]: [ 50 / 95 ] simplifiying candidate #<alt (λ (re im) (- (* re (+ re im)) (* im (+ re im))))>
18.038 * * * * [progress]: [ 51 / 95 ] simplifiying candidate #<alt (λ (re im) (* 1 (+ (* re (+ re im)) (* (- im) (+ re im)))))>
18.038 * * * * [progress]: [ 52 / 95 ] simplifiying candidate #<alt (λ (re im) (/ (- (* (* re (+ re im)) (* re (+ re im))) (* (* (- im) (+ re im)) (* (- im) (+ re im)))) (- (* re (+ re im)) (* (- im) (+ re im)))))>
18.038 * * * * [progress]: [ 53 / 95 ] simplifiying candidate #<alt (λ (re im) (* (+ re im) (+ re (- im))))>
18.038 * * * * [progress]: [ 54 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (+ (* re (+ re im)) (* (- im) re)) (* (- im) im)))>
18.038 * * * * [progress]: [ 55 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (+ (* re (+ re im)) (* re (- im))) (* im (- im))))>
18.038 * * * * [progress]: [ 56 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re re) (+ (* re im) (* (- im) (+ re im)))))>
18.038 * * * * [progress]: [ 57 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re re) (+ (* im re) (* (- im) (+ re im)))))>
18.038 * * * * [progress]: [ 58 / 95 ] simplifiying candidate #<alt (λ (re im) (- (* re (+ re im)) (* im (+ re im))))>
18.038 * * * * [progress]: [ 59 / 95 ] simplifiying candidate #<alt (λ (re im) (posit16->real (real->posit16 (+ (* re (+ re im)) (* (- im) (+ re im))))))>
18.039 * * * * [progress]: [ 60 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* (- im) (+ re im)) (* re (+ re im))))>
18.039 * * * * [progress]: [ 61 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (log1p (expm1 (* re (+ re im)))) (* (- im) (+ re im))))>
18.039 * * * * [progress]: [ 62 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (expm1 (log1p (* re (+ re im)))) (* (- im) (+ re im))))>
18.039 * * * * [progress]: [ 63 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (pow (* re (+ re im)) 1) (* (- im) (+ re im))))>
18.039 * * * * [progress]: [ 64 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (pow (* re (+ re im)) 1) (* (- im) (+ re im))))>
18.039 * * * * [progress]: [ 65 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (exp (+ (log re) (log (+ re im)))) (* (- im) (+ re im))))>
18.039 * * * * [progress]: [ 66 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (exp (log (* re (+ re im)))) (* (- im) (+ re im))))>
18.039 * * * * [progress]: [ 67 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (log (exp (* re (+ re im)))) (* (- im) (+ re im))))>
18.039 * * * * [progress]: [ 68 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (cbrt (* (* (* re re) re) (* (* (+ re im) (+ re im)) (+ re im)))) (* (- im) (+ re im))))>
18.039 * * * * [progress]: [ 69 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* (* (cbrt (* re (+ re im))) (cbrt (* re (+ re im)))) (cbrt (* re (+ re im)))) (* (- im) (+ re im))))>
18.039 * * * * [progress]: [ 70 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (cbrt (* (* (* re (+ re im)) (* re (+ re im))) (* re (+ re im)))) (* (- im) (+ re im))))>
18.039 * * * * [progress]: [ 71 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* (sqrt (* re (+ re im))) (sqrt (* re (+ re im)))) (* (- im) (+ re im))))>
18.040 * * * * [progress]: [ 72 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* 1 (* re (+ re im))) (* (- im) (+ re im))))>
18.040 * * * * [progress]: [ 73 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* (* (sqrt re) (sqrt (+ re im))) (* (sqrt re) (sqrt (+ re im)))) (* (- im) (+ re im))))>
18.040 * * * * [progress]: [ 74 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (+ (* re re) (* re im)) (* (- im) (+ re im))))>
18.040 * * * * [progress]: [ 75 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (+ (* re re) (* im re)) (* (- im) (+ re im))))>
18.040 * * * * [progress]: [ 76 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* (* re (* (cbrt (+ re im)) (cbrt (+ re im)))) (cbrt (+ re im))) (* (- im) (+ re im))))>
18.040 * * * * [progress]: [ 77 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* (* re (sqrt (+ re im))) (sqrt (+ re im))) (* (- im) (+ re im))))>
18.040 * * * * [progress]: [ 78 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* (* re 1) (+ re im)) (* (- im) (+ re im))))>
18.040 * * * * [progress]: [ 79 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* (* re 1) (+ re im)) (* (- im) (+ re im))))>
18.040 * * * * [progress]: [ 80 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* (* (cbrt re) (cbrt re)) (* (cbrt re) (+ re im))) (* (- im) (+ re im))))>
18.040 * * * * [progress]: [ 81 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* (sqrt re) (* (sqrt re) (+ re im))) (* (- im) (+ re im))))>
18.040 * * * * [progress]: [ 82 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* 1 (* re (+ re im))) (* (- im) (+ re im))))>
18.040 * * * * [progress]: [ 83 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (/ (* re (+ (pow re 3) (pow im 3))) (+ (* re re) (- (* im im) (* re im)))) (* (- im) (+ re im))))>
18.040 * * * * [progress]: [ 84 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (/ (* re (- (* re re) (* im im))) (- re im)) (* (- im) (+ re im))))>
18.040 * * * * [progress]: [ 85 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (posit16->real (real->posit16 (* re (+ re im)))) (* (- im) (+ re im))))>
18.040 * * * * [progress]: [ 86 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* (+ re im) re) (* (- im) (+ re im))))>
18.040 * * * * [progress]: [ 87 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (- (+ (pow im 2) (* re im)))))>
18.040 * * * * [progress]: [ 88 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (- (+ (pow im 2) (* re im)))))>
18.040 * * * * [progress]: [ 89 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (* re (+ re im)) (- (+ (pow im 2) (* re im)))))>
18.040 * * * * [progress]: [ 90 / 95 ] simplifiying candidate #<alt (λ (re im) (- (pow re 2) (pow im 2)))>
18.040 * * * * [progress]: [ 91 / 95 ] simplifiying candidate #<alt (λ (re im) (- (pow re 2) (pow im 2)))>
18.040 * * * * [progress]: [ 92 / 95 ] simplifiying candidate #<alt (λ (re im) (- (pow re 2) (pow im 2)))>
18.040 * * * * [progress]: [ 93 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (+ (pow re 2) (* re im)) (* (- im) (+ re im))))>
18.040 * * * * [progress]: [ 94 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (+ (pow re 2) (* re im)) (* (- im) (+ re im))))>
18.040 * * * * [progress]: [ 95 / 95 ] simplifiying candidate #<alt (λ (re im) (+ (+ (pow re 2) (* re im)) (* (- im) (+ re im))))>
18.041 * [simplify]: Simplifying:
  (expm1 (* (- im) (+ re im)))
  (log1p (* (- im) (+ re im)))
  (* (- im) (+ re im))
  (+ (log (- im)) (log (+ re im)))
  (log (* (- im) (+ re im)))
  (exp (* (- im) (+ re im)))
  (* (* (* (- im) (- im)) (- im)) (* (* (+ re im) (+ re im)) (+ re im)))
  (* (cbrt (* (- im) (+ re im))) (cbrt (* (- im) (+ re im))))
  (cbrt (* (- im) (+ re im)))
  (* (* (* (- im) (+ re im)) (* (- im) (+ re im))) (* (- im) (+ re im)))
  (sqrt (* (- im) (+ re im)))
  (sqrt (* (- im) (+ re im)))
  (* (sqrt (- im)) (sqrt (+ re im)))
  (* (sqrt (- im)) (sqrt (+ re im)))
  (* im (+ re im))
  (* (- im) re)
  (* (- im) im)
  (* re (- im))
  (* im (- im))
  (* (- im) (* (cbrt (+ re im)) (cbrt (+ re im))))
  (* (- im) (sqrt (+ re im)))
  (* (- im) 1)
  (* (- im) 1)
  (* (cbrt (- im)) (+ re im))
  (* (sqrt (- im)) (+ re im))
  (* (- im) (+ re im))
  (* im (+ re im))
  (* (cbrt im) (+ re im))
  (* (sqrt im) (+ re im))
  (* im (+ re im))
  (* (- (cbrt im)) (+ re im))
  (* (- (sqrt im)) (+ re im))
  (* (- im) (+ re im))
  (* (- im) (+ (pow re 3) (pow im 3)))
  (* (- im) (- (* re re) (* im im)))
  (real->posit16 (* (- im) (+ re im)))
  (expm1 (+ (* re (+ re im)) (* (- im) (+ re im))))
  (log1p (+ (* re (+ re im)) (* (- im) (+ re im))))
  (* (exp (* re (+ re im))) (exp (* (- im) (+ re im))))
  (log (+ (* re (+ re im)) (* (- im) (+ re im))))
  (exp (+ (* re (+ re im)) (* (- im) (+ re im))))
  (* (cbrt (+ (* re (+ re im)) (* (- im) (+ re im)))) (cbrt (+ (* re (+ re im)) (* (- im) (+ re im)))))
  (cbrt (+ (* re (+ re im)) (* (- im) (+ re im))))
  (* (* (+ (* re (+ re im)) (* (- im) (+ re im))) (+ (* re (+ re im)) (* (- im) (+ re im)))) (+ (* re (+ re im)) (* (- im) (+ re im))))
  (sqrt (+ (* re (+ re im)) (* (- im) (+ re im))))
  (sqrt (+ (* re (+ re im)) (* (- im) (+ re im))))
  (+ (* (* re (+ (pow re 3) (pow im 3))) (+ (* re re) (- (* im im) (* re im)))) (* (+ (* re re) (- (* im im) (* re im))) (* (- im) (+ (pow re 3) (pow im 3)))))
  (* (+ (* re re) (- (* im im) (* re im))) (+ (* re re) (- (* im im) (* re im))))
  (+ (* (* re (+ (pow re 3) (pow im 3))) (- re im)) (* (+ (* re re) (- (* im im) (* re im))) (* (- im) (- (* re re) (* im im)))))
  (* (+ (* re re) (- (* im im) (* re im))) (- re im))
  (+ (* (* re (- (* re re) (* im im))) (+ (* re re) (- (* im im) (* re im)))) (* (- re im) (* (- im) (+ (pow re 3) (pow im 3)))))
  (* (- re im) (+ (* re re) (- (* im im) (* re im))))
  (+ (* (* re (- (* re re) (* im im))) (- re im)) (* (- re im) (* (- im) (- (* re re) (* im im)))))
  (* (- re im) (- re im))
  (+ (pow (* re (+ re im)) 3) (pow (* (- im) (+ re im)) 3))
  (+ (* (* re (+ re im)) (* re (+ re im))) (- (* (* (- im) (+ re im)) (* (- im) (+ re im))) (* (* re (+ re im)) (* (- im) (+ re im)))))
  (- (* (* re (+ re im)) (* re (+ re im))) (* (* (- im) (+ re im)) (* (- im) (+ re im))))
  (- (* re (+ re im)) (* (- im) (+ re im)))
  (+ re (- im))
  (+ (* re (+ re im)) (* (- im) re))
  (+ (* re (+ re im)) (* re (- im)))
  (+ (* re im) (* (- im) (+ re im)))
  (+ (* im re) (* (- im) (+ re im)))
  (real->posit16 (+ (* re (+ re im)) (* (- im) (+ re im))))
  (expm1 (* re (+ re im)))
  (log1p (* re (+ re im)))
  (* re (+ re im))
  (+ (log re) (log (+ re im)))
  (log (* re (+ re im)))
  (exp (* re (+ re im)))
  (* (* (* re re) re) (* (* (+ re im) (+ re im)) (+ re im)))
  (* (cbrt (* re (+ re im))) (cbrt (* re (+ re im))))
  (cbrt (* re (+ re im)))
  (* (* (* re (+ re im)) (* re (+ re im))) (* re (+ re im)))
  (sqrt (* re (+ re im)))
  (sqrt (* re (+ re im)))
  (* (sqrt re) (sqrt (+ re im)))
  (* (sqrt re) (sqrt (+ re im)))
  (* re re)
  (* re im)
  (* re re)
  (* im re)
  (* re (* (cbrt (+ re im)) (cbrt (+ re im))))
  (* re (sqrt (+ re im)))
  (* re 1)
  (* re 1)
  (* (cbrt re) (+ re im))
  (* (sqrt re) (+ re im))
  (* re (+ re im))
  (* re (+ (pow re 3) (pow im 3)))
  (* re (- (* re re) (* im im)))
  (real->posit16 (* re (+ re im)))
  (- (+ (pow im 2) (* re im)))
  (- (+ (pow im 2) (* re im)))
  (- (+ (pow im 2) (* re im)))
  (- (pow re 2) (pow im 2))
  (- (pow re 2) (pow im 2))
  (- (pow re 2) (pow im 2))
  (+ (pow re 2) (* re im))
  (+ (pow re 2) (* re im))
  (+ (pow re 2) (* re im))
18.042 * * [simplify]: iteration 1: (135 enodes)
18.087 * * [simplify]: iteration 2: (453 enodes)
18.463 * * [simplify]: iteration 3: (1893 enodes)
23.384 * * [simplify]: Extracting #0: cost 69 inf + 0
23.388 * * [simplify]: Extracting #1: cost 585 inf + 42
23.404 * * [simplify]: Extracting #2: cost 1982 inf + 17792
23.485 * * [simplify]: Extracting #3: cost 947 inf + 287314
23.656 * * [simplify]: Extracting #4: cost 40 inf + 522481
23.808 * * [simplify]: Extracting #5: cost 0 inf + 537506
23.961 * [simplify]: Simplified to:
  (expm1 (* (- (+ im re)) im))
  (log1p (* (- (+ im re)) im))
  (* (- (+ im re)) im)
  (log (* (- (+ im re)) im))
  (log (* (- (+ im re)) im))
  (exp (* (- (+ im re)) im))
  (- (* (* (* (+ im re) im) (* (+ im re) im)) (* (+ im re) im)))
  (* (cbrt (* (- (+ im re)) im)) (cbrt (* (- (+ im re)) im)))
  (cbrt (* (- (+ im re)) im))
  (- (* (* (* (+ im re) im) (* (+ im re) im)) (* (+ im re) im)))
  (sqrt (* (- (+ im re)) im))
  (sqrt (* (- (+ im re)) im))
  (* (sqrt (+ im re)) (sqrt (- im)))
  (* (sqrt (+ im re)) (sqrt (- im)))
  (* (+ im re) im)
  (* (- re) im)
  (* (- im) im)
  (* (- re) im)
  (* (- im) im)
  (* (cbrt (+ im re)) (* (cbrt (+ im re)) (- im)))
  (- (* im (sqrt (+ im re))))
  (- im)
  (- im)
  (* (+ im re) (cbrt (- im)))
  (* (+ im re) (sqrt (- im)))
  (* (- (+ im re)) im)
  (* (+ im re) im)
  (* (+ im re) (cbrt im))
  (* (sqrt im) (+ im re))
  (* (+ im re) im)
  (- (* (+ im re) (cbrt im)))
  (* (sqrt im) (- (+ im re)))
  (* (- (+ im re)) im)
  (* (- im) (fma (* im im) im (* (* re re) re)))
  (* (+ im re) (* (- im re) im))
  (real->posit16 (* (- (+ im re)) im))
  (expm1 (* (- re im) (+ im re)))
  (log1p (* (- re im) (+ im re)))
  (exp (* (- re im) (+ im re)))
  (log (* (- re im) (+ im re)))
  (exp (* (- 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)) (* (- re im) (fma im (- im re) (* re re))))
  (* (fma im (- im re) (* re re)) (fma im (- im re) (* re re)))
  (fma (fma (* (* im re) im) im (* (* re re) (* re re))) (- re im) (* (+ im re) (* (* (- im re) im) (+ (* (- im re) im) (* re re)))))
  (* (- re im) (fma im (- im re) (* re re)))
  (fma (* re re) (* (- re im) (* (+ im re) re)) (fma (* (- im re) im) (* (- re im) (* (+ im re) re)) (* (* (- im re) im) (fma (* im im) im (* (* re re) re)))))
  (* (- re im) (fma im (- im re) (* re re)))
  (* (- re im) (* (- re im) (* (- re im) (+ im re))))
  (* (- re im) (- re im))
  (fma (* re (+ im re)) (* (* re (+ im re)) (* re (+ im re))) (- (* (* (* (+ im re) im) (* (+ im re) im)) (* (+ im re) im))))
  (fma (* (+ im re) im) (* (+ im re) im) (* (* re (* (+ im re) (+ im re))) (+ im re)))
  (* (- re im) (* (* (+ im re) (+ im re)) (+ im re)))
  (* (+ im re) (+ im re))
  (- re im)
  (* (- (+ im re) im) re)
  (* (- (+ im re) im) re)
  (* im (- re (+ im re)))
  (* im (- re (+ im re)))
  (real->posit16 (* (- re im) (+ im re)))
  (expm1 (* re (+ im re)))
  (log1p (* re (+ im re)))
  (* re (+ im re))
  (log (* re (+ im re)))
  (log (* re (+ im re)))
  (exp (* re (+ im re)))
  (* (* re (+ im re)) (* (* re (+ im re)) (* re (+ im re))))
  (* (cbrt (* re (+ im re))) (cbrt (* re (+ im re))))
  (cbrt (* re (+ im re)))
  (* (* re (+ im re)) (* (* re (+ im re)) (* re (+ im re))))
  (sqrt (* re (+ im re)))
  (sqrt (* re (+ im re)))
  (* (sqrt re) (sqrt (+ im re)))
  (* (sqrt re) (sqrt (+ im re)))
  (* re re)
  (* im re)
  (* re re)
  (* im re)
  (* (* re (cbrt (+ im re))) (cbrt (+ im re)))
  (* (sqrt (+ im re)) re)
  re
  re
  (* (cbrt re) (+ im re))
  (* (+ im re) (sqrt re))
  (* re (+ im re))
  (fma (* (* im re) im) im (* (* re re) (* re re)))
  (* (- re im) (* (+ im re) re))
  (real->posit16 (* re (+ im re)))
  (* (- (+ im re)) im)
  (* (- (+ im re)) im)
  (* (- (+ im re)) im)
  (* (- re im) (+ im re))
  (* (- re im) (+ im re))
  (* (- re im) (+ im re))
  (* re (+ im re))
  (* re (+ im re))
  (* re (+ im re))
23.969 * * * [progress]: adding candidates to table
24.794 * [progress]: [Phase 3 of 3] Extracting.
24.794 * * [regime]: Finding splitpoints for: (#<alt (λ (re im) (fma re re (- (* im im))))> #<alt (λ (re im) (* (+ re im) (- re im)))> #<alt (λ (re im) (+ (* re (+ re im)) (* (- im) (+ re im))))>)
24.795 * * * [regime-changes]: Trying 3 branch expressions: (im (* im im) re)
24.795 * * * * [regimes]: Trying to branch on im from (#<alt (λ (re im) (fma re re (- (* im im))))> #<alt (λ (re im) (* (+ re im) (- re im)))> #<alt (λ (re im) (+ (* re (+ re im)) (* (- im) (+ re im))))>)
24.844 * * * * [regimes]: Trying to branch on (* im im) from (#<alt (λ (re im) (fma re re (- (* im im))))> #<alt (λ (re im) (* (+ re im) (- re im)))> #<alt (λ (re im) (+ (* re (+ re im)) (* (- im) (+ re im))))>)
24.889 * * * * [regimes]: Trying to branch on re from (#<alt (λ (re im) (fma re re (- (* im im))))> #<alt (λ (re im) (* (+ re im) (- re im)))> #<alt (λ (re im) (+ (* re (+ re im)) (* (- im) (+ re im))))>)
24.919 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
24.920 * [simplify]: Simplifying:
  (fma re re (- (* im im)))
24.920 * * [simplify]: iteration 1: (5 enodes)
24.921 * * [simplify]: iteration 2: (8 enodes)
24.922 * * [simplify]: Extracting #0: cost 1 inf + 0
24.922 * * [simplify]: Extracting #1: cost 3 inf + 0
24.922 * * [simplify]: Extracting #2: cost 5 inf + 1
24.922 * * [simplify]: Extracting #3: cost 0 inf + 302
24.922 * [simplify]: Simplified to:
  (fma re re (- (* im im)))
26.588 * [regime-testing]: Baseline error score: 0.0025003125390673834
26.592 * [regime-testing]: Oracle error score: 0.00025003125390673836
26.601 * [regime-testing]: End program error score: 0.0025003125390673834