0.562 * [progress]: [Phase 1 of 3] Setting up.
0.004 * * * [progress]: [1/2] Preparing points
0.200 * * * [progress]: [2/2] Setting up program.
0.238 * [progress]: [Phase 2 of 3] Improving.
0.239 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (re im) (- (* re re) (* im im)))>
0.244 * [simplify]: Simplifying:
  (- (* re re) (* im im))
0.246 * * [simplify]: iteration 0: 5 enodes
0.258 * * [simplify]: iteration 1: 11 enodes
0.264 * * [simplify]: iteration 2: 18 enodes
0.274 * * [simplify]: iteration 3: 35 enodes
0.390 * * [simplify]: iteration 4: 66 enodes
0.416 * * [simplify]: iteration 5: 159 enodes
0.521 * * [simplify]: iteration 6: 286 enodes
0.643 * * [simplify]: iteration 7: 519 enodes
1.250 * * [simplify]: iteration 8: 1418 enodes
7.620 * * [simplify]: iteration 9: 4794 enodes
9.159 * * [simplify]: iteration complete: 5000 enodes
9.159 * * [simplify]: Extracting #0: cost 1 inf + 0
9.160 * * [simplify]: Extracting #1: cost 191 inf + 0
9.165 * * [simplify]: Extracting #2: cost 574 inf + 3326
9.186 * * [simplify]: Extracting #3: cost 140 inf + 78086
9.239 * * [simplify]: Extracting #4: cost 3 inf + 107323
9.295 * * [simplify]: Extracting #5: cost 0 inf + 106470
9.373 * [simplify]: Simplified to:
  (- (* re re) (* im im))
9.376 * * [progress]: iteration 1 / 4
9.376 * * * [progress]: picking best candidate
9.380 * * * * [pick]: Picked  #<alt (λ (re im) (- (* re re) (* im im)))>
9.381 * * * [progress]: localizing error
9.401 * * * [progress]: generating rewritten candidates
9.401 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
9.497 * * * [progress]: generating series expansions
9.497 * * * * [progress]: [ 1 / 1 ] generating series at (2)
9.501 * [backup-simplify]: Simplify (- (* re re) (* im im)) into (- (pow re 2) (pow im 2))
9.502 * [approximate]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in (re im) around 0
9.502 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in im
9.502 * [taylor]: Taking taylor expansion of (pow re 2) in im
9.502 * [taylor]: Taking taylor expansion of re in im
9.502 * [backup-simplify]: Simplify re into re
9.503 * [taylor]: Taking taylor expansion of (pow im 2) in im
9.503 * [taylor]: Taking taylor expansion of im in im
9.503 * [backup-simplify]: Simplify 0 into 0
9.503 * [backup-simplify]: Simplify 1 into 1
9.503 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re
9.503 * [taylor]: Taking taylor expansion of (pow re 2) in re
9.503 * [taylor]: Taking taylor expansion of re in re
9.503 * [backup-simplify]: Simplify 0 into 0
9.503 * [backup-simplify]: Simplify 1 into 1
9.503 * [taylor]: Taking taylor expansion of (pow im 2) in re
9.503 * [taylor]: Taking taylor expansion of im in re
9.503 * [backup-simplify]: Simplify im into im
9.503 * [taylor]: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re
9.503 * [taylor]: Taking taylor expansion of (pow re 2) in re
9.503 * [taylor]: Taking taylor expansion of re in re
9.503 * [backup-simplify]: Simplify 0 into 0
9.503 * [backup-simplify]: Simplify 1 into 1
9.503 * [taylor]: Taking taylor expansion of (pow im 2) in re
9.503 * [taylor]: Taking taylor expansion of im in re
9.503 * [backup-simplify]: Simplify im into im
9.504 * [backup-simplify]: Simplify (* im im) into (pow im 2)
9.504 * [backup-simplify]: Simplify (- (pow im 2)) into (- (pow im 2))
9.504 * [backup-simplify]: Simplify (+ 0 (- (pow im 2))) into (- (pow im 2))
9.504 * [taylor]: Taking taylor expansion of (- (pow im 2)) in im
9.504 * [taylor]: Taking taylor expansion of (pow im 2) in im
9.504 * [taylor]: Taking taylor expansion of im in im
9.504 * [backup-simplify]: Simplify 0 into 0
9.504 * [backup-simplify]: Simplify 1 into 1
9.504 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
9.505 * [backup-simplify]: Simplify (- 0) into 0
9.505 * [backup-simplify]: Simplify (+ 0 0) into 0
9.505 * [taylor]: Taking taylor expansion of 0 in im
9.505 * [backup-simplify]: Simplify 0 into 0
9.505 * [backup-simplify]: Simplify 0 into 0
9.506 * [backup-simplify]: Simplify (* 1 1) into 1
9.506 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
9.506 * [backup-simplify]: Simplify (- 0) into 0
9.507 * [backup-simplify]: Simplify (+ 1 0) into 1
9.507 * [taylor]: Taking taylor expansion of 1 in im
9.507 * [backup-simplify]: Simplify 1 into 1
9.507 * [backup-simplify]: Simplify 1 into 1
9.507 * [backup-simplify]: Simplify 0 into 0
9.507 * [backup-simplify]: Simplify (* 1 1) into 1
9.507 * [backup-simplify]: Simplify (- 1) into -1
9.507 * [backup-simplify]: Simplify -1 into -1
9.508 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.508 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0
9.509 * [backup-simplify]: Simplify (- 0) into 0
9.509 * [backup-simplify]: Simplify (+ 0 0) into 0
9.509 * [taylor]: Taking taylor expansion of 0 in im
9.509 * [backup-simplify]: Simplify 0 into 0
9.509 * [backup-simplify]: Simplify 0 into 0
9.509 * [backup-simplify]: Simplify 0 into 0
9.509 * [backup-simplify]: Simplify 0 into 0
9.509 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.510 * [backup-simplify]: Simplify (- 0) into 0
9.510 * [backup-simplify]: Simplify 0 into 0
9.510 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.511 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0
9.512 * [backup-simplify]: Simplify (- 0) into 0
9.512 * [backup-simplify]: Simplify (+ 0 0) into 0
9.512 * [taylor]: Taking taylor expansion of 0 in im
9.512 * [backup-simplify]: Simplify 0 into 0
9.512 * [backup-simplify]: Simplify 0 into 0
9.512 * [backup-simplify]: Simplify 0 into 0
9.513 * [backup-simplify]: Simplify (+ (* -1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (- (pow re 2) (pow im 2))
9.513 * [backup-simplify]: Simplify (- (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))
9.513 * [approximate]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0
9.513 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im
9.513 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
9.513 * [taylor]: Taking taylor expansion of (pow re 2) in im
9.513 * [taylor]: Taking taylor expansion of re in im
9.513 * [backup-simplify]: Simplify re into re
9.513 * [backup-simplify]: Simplify (* re re) into (pow re 2)
9.513 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2))
9.514 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
9.514 * [taylor]: Taking taylor expansion of (pow im 2) in im
9.514 * [taylor]: Taking taylor expansion of im in im
9.514 * [backup-simplify]: Simplify 0 into 0
9.514 * [backup-simplify]: Simplify 1 into 1
9.514 * [backup-simplify]: Simplify (* 1 1) into 1
9.515 * [backup-simplify]: Simplify (/ 1 1) into 1
9.515 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
9.515 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
9.515 * [taylor]: Taking taylor expansion of (pow re 2) in re
9.515 * [taylor]: Taking taylor expansion of re in re
9.515 * [backup-simplify]: Simplify 0 into 0
9.515 * [backup-simplify]: Simplify 1 into 1
9.515 * [backup-simplify]: Simplify (* 1 1) into 1
9.516 * [backup-simplify]: Simplify (/ 1 1) into 1
9.516 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
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 * [backup-simplify]: Simplify (* im im) into (pow im 2)
9.516 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
9.516 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
9.516 * [taylor]: Taking taylor expansion of (/ 1 (pow re 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.517 * [backup-simplify]: Simplify (* 1 1) into 1
9.517 * [backup-simplify]: Simplify (/ 1 1) into 1
9.517 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
9.518 * [taylor]: Taking taylor expansion of (pow im 2) in re
9.518 * [taylor]: Taking taylor expansion of im in re
9.518 * [backup-simplify]: Simplify im into im
9.518 * [backup-simplify]: Simplify (* im im) into (pow im 2)
9.518 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
9.518 * [backup-simplify]: Simplify (+ 1 0) into 1
9.518 * [taylor]: Taking taylor expansion of 1 in im
9.518 * [backup-simplify]: Simplify 1 into 1
9.519 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.520 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.520 * [backup-simplify]: Simplify (+ 0 0) into 0
9.521 * [taylor]: Taking taylor expansion of 0 in im
9.521 * [backup-simplify]: Simplify 0 into 0
9.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.522 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.523 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2)))
9.523 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2)))
9.523 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im
9.523 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
9.523 * [taylor]: Taking taylor expansion of (pow im 2) in im
9.523 * [taylor]: Taking taylor expansion of im in im
9.523 * [backup-simplify]: Simplify 0 into 0
9.523 * [backup-simplify]: Simplify 1 into 1
9.523 * [backup-simplify]: Simplify (* 1 1) into 1
9.524 * [backup-simplify]: Simplify (/ 1 1) into 1
9.524 * [backup-simplify]: Simplify (- 1) into -1
9.524 * [backup-simplify]: Simplify -1 into -1
9.524 * [backup-simplify]: Simplify 1 into 1
9.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.526 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.526 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
9.527 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0
9.527 * [backup-simplify]: Simplify (- 0) into 0
9.528 * [backup-simplify]: Simplify (+ 0 0) into 0
9.528 * [taylor]: Taking taylor expansion of 0 in im
9.528 * [backup-simplify]: Simplify 0 into 0
9.528 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.529 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.530 * [backup-simplify]: Simplify (- 0) into 0
9.530 * [backup-simplify]: Simplify 0 into 0
9.530 * [backup-simplify]: Simplify 0 into 0
9.530 * [backup-simplify]: Simplify 0 into 0
9.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.532 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.533 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
9.533 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0
9.534 * [backup-simplify]: Simplify (- 0) into 0
9.534 * [backup-simplify]: Simplify (+ 0 0) into 0
9.534 * [taylor]: Taking taylor expansion of 0 in im
9.534 * [backup-simplify]: Simplify 0 into 0
9.535 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.536 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.537 * [backup-simplify]: Simplify (- 0) into 0
9.537 * [backup-simplify]: Simplify 0 into 0
9.537 * [backup-simplify]: Simplify 0 into 0
9.537 * [backup-simplify]: Simplify 0 into 0
9.537 * [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.538 * [backup-simplify]: Simplify (- (* (/ 1 (- re)) (/ 1 (- re))) (* (/ 1 (- im)) (/ 1 (- im)))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2)))
9.538 * [approximate]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0
9.538 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im
9.538 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in im
9.538 * [taylor]: Taking taylor expansion of (pow re 2) in im
9.538 * [taylor]: Taking taylor expansion of re in im
9.538 * [backup-simplify]: Simplify re into re
9.538 * [backup-simplify]: Simplify (* re re) into (pow re 2)
9.538 * [backup-simplify]: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2))
9.538 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
9.538 * [taylor]: Taking taylor expansion of (pow im 2) in im
9.538 * [taylor]: Taking taylor expansion of im in im
9.538 * [backup-simplify]: Simplify 0 into 0
9.538 * [backup-simplify]: Simplify 1 into 1
9.539 * [backup-simplify]: Simplify (* 1 1) into 1
9.539 * [backup-simplify]: Simplify (/ 1 1) into 1
9.539 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
9.539 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
9.539 * [taylor]: Taking taylor expansion of (pow re 2) in re
9.539 * [taylor]: Taking taylor expansion of re in re
9.539 * [backup-simplify]: Simplify 0 into 0
9.539 * [backup-simplify]: Simplify 1 into 1
9.540 * [backup-simplify]: Simplify (* 1 1) into 1
9.540 * [backup-simplify]: Simplify (/ 1 1) into 1
9.540 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
9.540 * [taylor]: Taking taylor expansion of (pow im 2) in re
9.540 * [taylor]: Taking taylor expansion of im in re
9.540 * [backup-simplify]: Simplify im into im
9.540 * [backup-simplify]: Simplify (* im im) into (pow im 2)
9.540 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
9.540 * [taylor]: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re
9.540 * [taylor]: Taking taylor expansion of (/ 1 (pow re 2)) in re
9.540 * [taylor]: Taking taylor expansion of (pow re 2) in re
9.540 * [taylor]: Taking taylor expansion of re in re
9.540 * [backup-simplify]: Simplify 0 into 0
9.541 * [backup-simplify]: Simplify 1 into 1
9.541 * [backup-simplify]: Simplify (* 1 1) into 1
9.541 * [backup-simplify]: Simplify (/ 1 1) into 1
9.541 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in re
9.541 * [taylor]: Taking taylor expansion of (pow im 2) in re
9.541 * [taylor]: Taking taylor expansion of im in re
9.541 * [backup-simplify]: Simplify im into im
9.541 * [backup-simplify]: Simplify (* im im) into (pow im 2)
9.542 * [backup-simplify]: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2))
9.542 * [backup-simplify]: Simplify (+ 1 0) into 1
9.542 * [taylor]: Taking taylor expansion of 1 in im
9.542 * [backup-simplify]: Simplify 1 into 1
9.543 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.544 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.544 * [backup-simplify]: Simplify (+ 0 0) into 0
9.544 * [taylor]: Taking taylor expansion of 0 in im
9.544 * [backup-simplify]: Simplify 0 into 0
9.545 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.546 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.546 * [backup-simplify]: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2)))
9.546 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2)))
9.547 * [taylor]: Taking taylor expansion of (- (/ 1 (pow im 2))) in im
9.547 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
9.547 * [taylor]: Taking taylor expansion of (pow im 2) in im
9.547 * [taylor]: Taking taylor expansion of im in im
9.547 * [backup-simplify]: Simplify 0 into 0
9.547 * [backup-simplify]: Simplify 1 into 1
9.547 * [backup-simplify]: Simplify (* 1 1) into 1
9.548 * [backup-simplify]: Simplify (/ 1 1) into 1
9.548 * [backup-simplify]: Simplify (- 1) into -1
9.548 * [backup-simplify]: Simplify -1 into -1
9.548 * [backup-simplify]: Simplify 1 into 1
9.549 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.559 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.559 * [backup-simplify]: Simplify (+ (* im 0) (* 0 im)) into 0
9.560 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0
9.560 * [backup-simplify]: Simplify (- 0) into 0
9.561 * [backup-simplify]: Simplify (+ 0 0) into 0
9.561 * [taylor]: Taking taylor expansion of 0 in im
9.561 * [backup-simplify]: Simplify 0 into 0
9.561 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.562 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.563 * [backup-simplify]: Simplify (- 0) into 0
9.563 * [backup-simplify]: Simplify 0 into 0
9.563 * [backup-simplify]: Simplify 0 into 0
9.563 * [backup-simplify]: Simplify 0 into 0
9.564 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.565 * [backup-simplify]: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0
9.566 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0
9.566 * [backup-simplify]: Simplify (- 0) into 0
9.567 * [backup-simplify]: Simplify (+ 0 0) into 0
9.567 * [taylor]: Taking taylor expansion of 0 in im
9.567 * [backup-simplify]: Simplify 0 into 0
9.568 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.569 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.569 * [backup-simplify]: Simplify (- 0) into 0
9.569 * [backup-simplify]: Simplify 0 into 0
9.569 * [backup-simplify]: Simplify 0 into 0
9.569 * [backup-simplify]: Simplify 0 into 0
9.570 * [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.570 * * * [progress]: simplifying candidates
9.570 * * * * [progress]: [ 1 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* im im))) (fma (- im) im (* im im))))>
9.570 * * * * [progress]: [ 2 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))) (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))))>
9.570 * * * * [progress]: [ 3 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* (sqrt (* im im)) (sqrt (* im im))))) (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))))>
9.570 * * * * [progress]: [ 4 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.570 * * * * [progress]: [ 5 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))) (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))))>
9.570 * * * * [progress]: [ 6 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.570 * * * * [progress]: [ 7 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* (* im im) (* 1 1)))) (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))))>
9.570 * * * * [progress]: [ 8 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.571 * * * * [progress]: [ 9 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))) (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))))>
9.571 * * * * [progress]: [ 10 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* (sqrt im) (* im (sqrt im))))) (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))))>
9.571 * * * * [progress]: [ 11 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* im (* im 1)))) (fma (- im) (* im 1) (* im (* im 1)))))>
9.571 * * * * [progress]: [ 12 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))) (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))))>
9.571 * * * * [progress]: [ 13 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* (* (sqrt im) im) (sqrt im)))) (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))))>
9.571 * * * * [progress]: [ 14 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.571 * * * * [progress]: [ 15 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* im im))) (fma (- im) im (* im im))))>
9.571 * * * * [progress]: [ 16 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* im im))) (fma (- im) im (* im im))))>
9.571 * * * * [progress]: [ 17 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))) (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))))>
9.571 * * * * [progress]: [ 18 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* (sqrt (* im im)) (sqrt (* im im))))) (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))))>
9.571 * * * * [progress]: [ 19 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.571 * * * * [progress]: [ 20 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))) (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))))>
9.571 * * * * [progress]: [ 21 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.572 * * * * [progress]: [ 22 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* (* im im) (* 1 1)))) (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))))>
9.572 * * * * [progress]: [ 23 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.572 * * * * [progress]: [ 24 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))) (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))))>
9.572 * * * * [progress]: [ 25 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* (sqrt im) (* im (sqrt im))))) (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))))>
9.572 * * * * [progress]: [ 26 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* im (* im 1)))) (fma (- im) (* im 1) (* im (* im 1)))))>
9.572 * * * * [progress]: [ 27 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))) (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))))>
9.572 * * * * [progress]: [ 28 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* (* (sqrt im) im) (sqrt im)))) (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))))>
9.572 * * * * [progress]: [ 29 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.572 * * * * [progress]: [ 30 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* im im))) (fma (- im) im (* im im))))>
9.572 * * * * [progress]: [ 31 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt (* re re)) (sqrt (* re re)) (- (* im im))) (fma (- im) im (* im im))))>
9.572 * * * * [progress]: [ 32 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt (* re re)) (sqrt (* re re)) (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))) (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))))>
9.572 * * * * [progress]: [ 33 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt (* re re)) (sqrt (* re re)) (- (* (sqrt (* im im)) (sqrt (* im im))))) (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))))>
9.572 * * * * [progress]: [ 34 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt (* re re)) (sqrt (* re re)) (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.572 * * * * [progress]: [ 35 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt (* re re)) (sqrt (* re re)) (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))) (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))))>
9.573 * * * * [progress]: [ 36 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt (* re re)) (sqrt (* re re)) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.573 * * * * [progress]: [ 37 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt (* re re)) (sqrt (* re re)) (- (* (* im im) (* 1 1)))) (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))))>
9.573 * * * * [progress]: [ 38 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt (* re re)) (sqrt (* re re)) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.573 * * * * [progress]: [ 39 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt (* re re)) (sqrt (* re re)) (- (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))) (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))))>
9.573 * * * * [progress]: [ 40 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt (* re re)) (sqrt (* re re)) (- (* (sqrt im) (* im (sqrt im))))) (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))))>
9.573 * * * * [progress]: [ 41 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt (* re re)) (sqrt (* re re)) (- (* im (* im 1)))) (fma (- im) (* im 1) (* im (* im 1)))))>
9.573 * * * * [progress]: [ 42 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt (* re re)) (sqrt (* re re)) (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))) (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))))>
9.573 * * * * [progress]: [ 43 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt (* re re)) (sqrt (* re re)) (- (* (* (sqrt im) im) (sqrt im)))) (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))))>
9.573 * * * * [progress]: [ 44 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt (* re re)) (sqrt (* re re)) (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.573 * * * * [progress]: [ 45 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt (* re re)) (sqrt (* re re)) (- (* im im))) (fma (- im) im (* im im))))>
9.573 * * * * [progress]: [ 46 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* im im))) (fma (- im) im (* im im))))>
9.573 * * * * [progress]: [ 47 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))) (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))))>
9.573 * * * * [progress]: [ 48 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* (sqrt (* im im)) (sqrt (* im im))))) (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))))>
9.573 * * * * [progress]: [ 49 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.574 * * * * [progress]: [ 50 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))) (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))))>
9.574 * * * * [progress]: [ 51 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.574 * * * * [progress]: [ 52 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* (* im im) (* 1 1)))) (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))))>
9.574 * * * * [progress]: [ 53 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.574 * * * * [progress]: [ 54 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))) (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))))>
9.574 * * * * [progress]: [ 55 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* (sqrt im) (* im (sqrt im))))) (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))))>
9.574 * * * * [progress]: [ 56 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* im (* im 1)))) (fma (- im) (* im 1) (* im (* im 1)))))>
9.574 * * * * [progress]: [ 57 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))) (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))))>
9.574 * * * * [progress]: [ 58 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* (* (sqrt im) im) (sqrt im)))) (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))))>
9.574 * * * * [progress]: [ 59 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.574 * * * * [progress]: [ 60 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* im im))) (fma (- im) im (* im im))))>
9.574 * * * * [progress]: [ 61 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* im im))) (fma (- im) im (* im im))))>
9.574 * * * * [progress]: [ 62 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))) (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))))>
9.574 * * * * [progress]: [ 63 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* (sqrt (* im im)) (sqrt (* im im))))) (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))))>
9.574 * * * * [progress]: [ 64 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.575 * * * * [progress]: [ 65 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))) (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))))>
9.575 * * * * [progress]: [ 66 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.575 * * * * [progress]: [ 67 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* (* im im) (* 1 1)))) (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))))>
9.575 * * * * [progress]: [ 68 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.575 * * * * [progress]: [ 69 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))) (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))))>
9.575 * * * * [progress]: [ 70 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* (sqrt im) (* im (sqrt im))))) (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))))>
9.575 * * * * [progress]: [ 71 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* im (* im 1)))) (fma (- im) (* im 1) (* im (* im 1)))))>
9.575 * * * * [progress]: [ 72 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))) (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))))>
9.575 * * * * [progress]: [ 73 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* (* (sqrt im) im) (sqrt im)))) (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))))>
9.575 * * * * [progress]: [ 74 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.575 * * * * [progress]: [ 75 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* im im))) (fma (- im) im (* im im))))>
9.575 * * * * [progress]: [ 76 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* im im))) (fma (- im) im (* im im))))>
9.575 * * * * [progress]: [ 77 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))) (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))))>
9.575 * * * * [progress]: [ 78 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (sqrt (* im im)) (sqrt (* im im))))) (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))))>
9.576 * * * * [progress]: [ 79 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.576 * * * * [progress]: [ 80 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))) (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))))>
9.576 * * * * [progress]: [ 81 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.576 * * * * [progress]: [ 82 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* im im) (* 1 1)))) (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))))>
9.576 * * * * [progress]: [ 83 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.576 * * * * [progress]: [ 84 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))) (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))))>
9.576 * * * * [progress]: [ 85 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (sqrt im) (* im (sqrt im))))) (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))))>
9.576 * * * * [progress]: [ 86 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* im (* im 1)))) (fma (- im) (* im 1) (* im (* im 1)))))>
9.576 * * * * [progress]: [ 87 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))) (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))))>
9.576 * * * * [progress]: [ 88 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* (sqrt im) im) (sqrt im)))) (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))))>
9.576 * * * * [progress]: [ 89 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.576 * * * * [progress]: [ 90 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* im im))) (fma (- im) im (* im im))))>
9.576 * * * * [progress]: [ 91 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* 1 1) (* re re) (- (* im im))) (fma (- im) im (* im im))))>
9.576 * * * * [progress]: [ 92 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* 1 1) (* re re) (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))) (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))))>
9.577 * * * * [progress]: [ 93 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* 1 1) (* re re) (- (* (sqrt (* im im)) (sqrt (* im im))))) (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))))>
9.577 * * * * [progress]: [ 94 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* 1 1) (* re re) (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.577 * * * * [progress]: [ 95 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* 1 1) (* re re) (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))) (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))))>
9.577 * * * * [progress]: [ 96 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* 1 1) (* re re) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.577 * * * * [progress]: [ 97 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* 1 1) (* re re) (- (* (* im im) (* 1 1)))) (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))))>
9.577 * * * * [progress]: [ 98 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* 1 1) (* re re) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.577 * * * * [progress]: [ 99 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* 1 1) (* re re) (- (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))) (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))))>
9.577 * * * * [progress]: [ 100 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* 1 1) (* re re) (- (* (sqrt im) (* im (sqrt im))))) (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))))>
9.577 * * * * [progress]: [ 101 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* 1 1) (* re re) (- (* im (* im 1)))) (fma (- im) (* im 1) (* im (* im 1)))))>
9.577 * * * * [progress]: [ 102 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* 1 1) (* re re) (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))) (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))))>
9.577 * * * * [progress]: [ 103 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* 1 1) (* re re) (- (* (* (sqrt im) im) (sqrt im)))) (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))))>
9.577 * * * * [progress]: [ 104 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* 1 1) (* re re) (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.577 * * * * [progress]: [ 105 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* 1 1) (* re re) (- (* im im))) (fma (- im) im (* im im))))>
9.577 * * * * [progress]: [ 106 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* im im))) (fma (- im) im (* im im))))>
9.577 * * * * [progress]: [ 107 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))) (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))))>
9.578 * * * * [progress]: [ 108 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (sqrt (* im im)) (sqrt (* im im))))) (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))))>
9.578 * * * * [progress]: [ 109 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.578 * * * * [progress]: [ 110 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))) (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))))>
9.578 * * * * [progress]: [ 111 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.578 * * * * [progress]: [ 112 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* im im) (* 1 1)))) (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))))>
9.578 * * * * [progress]: [ 113 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.578 * * * * [progress]: [ 114 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))) (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))))>
9.578 * * * * [progress]: [ 115 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (sqrt im) (* im (sqrt im))))) (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))))>
9.578 * * * * [progress]: [ 116 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* im (* im 1)))) (fma (- im) (* im 1) (* im (* im 1)))))>
9.578 * * * * [progress]: [ 117 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))) (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))))>
9.578 * * * * [progress]: [ 118 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* (sqrt im) im) (sqrt im)))) (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))))>
9.578 * * * * [progress]: [ 119 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.578 * * * * [progress]: [ 120 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* im im))) (fma (- im) im (* im im))))>
9.578 * * * * [progress]: [ 121 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* im im))) (fma (- im) im (* im im))))>
9.579 * * * * [progress]: [ 122 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))) (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))))>
9.579 * * * * [progress]: [ 123 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* (sqrt (* im im)) (sqrt (* im im))))) (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))))>
9.579 * * * * [progress]: [ 124 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.579 * * * * [progress]: [ 125 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))) (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))))>
9.579 * * * * [progress]: [ 126 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.579 * * * * [progress]: [ 127 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* (* im im) (* 1 1)))) (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))))>
9.579 * * * * [progress]: [ 128 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.579 * * * * [progress]: [ 129 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))) (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))))>
9.579 * * * * [progress]: [ 130 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* (sqrt im) (* im (sqrt im))))) (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))))>
9.579 * * * * [progress]: [ 131 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* im (* im 1)))) (fma (- im) (* im 1) (* im (* im 1)))))>
9.579 * * * * [progress]: [ 132 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))) (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))))>
9.579 * * * * [progress]: [ 133 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* (* (sqrt im) im) (sqrt im)))) (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))))>
9.579 * * * * [progress]: [ 134 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.579 * * * * [progress]: [ 135 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* im im))) (fma (- im) im (* im im))))>
9.580 * * * * [progress]: [ 136 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (sqrt re)) (sqrt re) (- (* im im))) (fma (- im) im (* im im))))>
9.580 * * * * [progress]: [ 137 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (sqrt re)) (sqrt re) (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))) (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))))>
9.580 * * * * [progress]: [ 138 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (sqrt re)) (sqrt re) (- (* (sqrt (* im im)) (sqrt (* im im))))) (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))))>
9.580 * * * * [progress]: [ 139 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (sqrt re)) (sqrt re) (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.580 * * * * [progress]: [ 140 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (sqrt re)) (sqrt re) (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))) (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))))>
9.580 * * * * [progress]: [ 141 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (sqrt re)) (sqrt re) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.580 * * * * [progress]: [ 142 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (sqrt re)) (sqrt re) (- (* (* im im) (* 1 1)))) (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))))>
9.580 * * * * [progress]: [ 143 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (sqrt re)) (sqrt re) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.580 * * * * [progress]: [ 144 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (sqrt re)) (sqrt re) (- (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))) (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))))>
9.580 * * * * [progress]: [ 145 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (sqrt re)) (sqrt re) (- (* (sqrt im) (* im (sqrt im))))) (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))))>
9.580 * * * * [progress]: [ 146 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (sqrt re)) (sqrt re) (- (* im (* im 1)))) (fma (- im) (* im 1) (* im (* im 1)))))>
9.580 * * * * [progress]: [ 147 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (sqrt re)) (sqrt re) (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))) (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))))>
9.580 * * * * [progress]: [ 148 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (sqrt re)) (sqrt re) (- (* (* (sqrt im) im) (sqrt im)))) (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))))>
9.580 * * * * [progress]: [ 149 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (sqrt re)) (sqrt re) (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.580 * * * * [progress]: [ 150 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re (sqrt re)) (sqrt re) (- (* im im))) (fma (- im) im (* im im))))>
9.581 * * * * [progress]: [ 151 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re 1) re (- (* im im))) (fma (- im) im (* im im))))>
9.581 * * * * [progress]: [ 152 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re 1) re (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))) (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))))>
9.581 * * * * [progress]: [ 153 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re 1) re (- (* (sqrt (* im im)) (sqrt (* im im))))) (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))))>
9.581 * * * * [progress]: [ 154 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re 1) re (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.581 * * * * [progress]: [ 155 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re 1) re (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))) (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))))>
9.581 * * * * [progress]: [ 156 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re 1) re (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.581 * * * * [progress]: [ 157 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re 1) re (- (* (* im im) (* 1 1)))) (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))))>
9.581 * * * * [progress]: [ 158 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re 1) re (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.581 * * * * [progress]: [ 159 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re 1) re (- (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))) (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))))>
9.581 * * * * [progress]: [ 160 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re 1) re (- (* (sqrt im) (* im (sqrt im))))) (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))))>
9.581 * * * * [progress]: [ 161 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re 1) re (- (* im (* im 1)))) (fma (- im) (* im 1) (* im (* im 1)))))>
9.581 * * * * [progress]: [ 162 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re 1) re (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))) (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))))>
9.581 * * * * [progress]: [ 163 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re 1) re (- (* (* (sqrt im) im) (sqrt im)))) (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))))>
9.581 * * * * [progress]: [ 164 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re 1) re (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.581 * * * * [progress]: [ 165 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* re 1) re (- (* im im))) (fma (- im) im (* im im))))>
9.582 * * * * [progress]: [ 166 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* im im))) (fma (- im) im (* im im))))>
9.582 * * * * [progress]: [ 167 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))) (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))))>
9.582 * * * * [progress]: [ 168 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* (sqrt (* im im)) (sqrt (* im im))))) (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))))>
9.582 * * * * [progress]: [ 169 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.582 * * * * [progress]: [ 170 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))) (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))))>
9.582 * * * * [progress]: [ 171 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.582 * * * * [progress]: [ 172 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* (* im im) (* 1 1)))) (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))))>
9.582 * * * * [progress]: [ 173 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.582 * * * * [progress]: [ 174 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))) (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))))>
9.582 * * * * [progress]: [ 175 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* (sqrt im) (* im (sqrt im))))) (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))))>
9.582 * * * * [progress]: [ 176 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* im (* im 1)))) (fma (- im) (* im 1) (* im (* im 1)))))>
9.582 * * * * [progress]: [ 177 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))) (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))))>
9.582 * * * * [progress]: [ 178 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* (* (sqrt im) im) (sqrt im)))) (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))))>
9.582 * * * * [progress]: [ 179 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.583 * * * * [progress]: [ 180 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* im im))) (fma (- im) im (* im im))))>
9.583 * * * * [progress]: [ 181 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt re) (* (sqrt re) re) (- (* im im))) (fma (- im) im (* im im))))>
9.583 * * * * [progress]: [ 182 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt re) (* (sqrt re) re) (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))) (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))))>
9.583 * * * * [progress]: [ 183 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt re) (* (sqrt re) re) (- (* (sqrt (* im im)) (sqrt (* im im))))) (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))))>
9.583 * * * * [progress]: [ 184 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt re) (* (sqrt re) re) (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.583 * * * * [progress]: [ 185 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt re) (* (sqrt re) re) (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))) (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))))>
9.583 * * * * [progress]: [ 186 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt re) (* (sqrt re) re) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.583 * * * * [progress]: [ 187 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt re) (* (sqrt re) re) (- (* (* im im) (* 1 1)))) (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))))>
9.583 * * * * [progress]: [ 188 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt re) (* (sqrt re) re) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.583 * * * * [progress]: [ 189 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt re) (* (sqrt re) re) (- (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))) (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))))>
9.583 * * * * [progress]: [ 190 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt re) (* (sqrt re) re) (- (* (sqrt im) (* im (sqrt im))))) (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))))>
9.583 * * * * [progress]: [ 191 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt re) (* (sqrt re) re) (- (* im (* im 1)))) (fma (- im) (* im 1) (* im (* im 1)))))>
9.583 * * * * [progress]: [ 192 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt re) (* (sqrt re) re) (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))) (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))))>
9.583 * * * * [progress]: [ 193 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt re) (* (sqrt re) re) (- (* (* (sqrt im) im) (sqrt im)))) (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))))>
9.584 * * * * [progress]: [ 194 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt re) (* (sqrt re) re) (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.584 * * * * [progress]: [ 195 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma (sqrt re) (* (sqrt re) re) (- (* im im))) (fma (- im) im (* im im))))>
9.584 * * * * [progress]: [ 196 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* im im))) (fma (- im) im (* im im))))>
9.584 * * * * [progress]: [ 197 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))) (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))))>
9.584 * * * * [progress]: [ 198 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* (sqrt (* im im)) (sqrt (* im im))))) (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))))>
9.584 * * * * [progress]: [ 199 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.584 * * * * [progress]: [ 200 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))) (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))))>
9.584 * * * * [progress]: [ 201 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.584 * * * * [progress]: [ 202 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* (* im im) (* 1 1)))) (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))))>
9.584 * * * * [progress]: [ 203 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.584 * * * * [progress]: [ 204 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))) (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))))>
9.584 * * * * [progress]: [ 205 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* (sqrt im) (* im (sqrt im))))) (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))))>
9.584 * * * * [progress]: [ 206 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* im (* im 1)))) (fma (- im) (* im 1) (* im (* im 1)))))>
9.584 * * * * [progress]: [ 207 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))) (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))))>
9.585 * * * * [progress]: [ 208 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* (* (sqrt im) im) (sqrt im)))) (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))))>
9.585 * * * * [progress]: [ 209 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.585 * * * * [progress]: [ 210 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma 1 (* re re) (- (* im im))) (fma (- im) im (* im im))))>
9.585 * * * * [progress]: [ 211 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* im im))) (fma (- im) im (* im im))))>
9.585 * * * * [progress]: [ 212 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))) (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))))>
9.585 * * * * [progress]: [ 213 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* (sqrt (* im im)) (sqrt (* im im))))) (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))))>
9.585 * * * * [progress]: [ 214 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.585 * * * * [progress]: [ 215 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))) (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))))>
9.585 * * * * [progress]: [ 216 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.585 * * * * [progress]: [ 217 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* (* im im) (* 1 1)))) (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))))>
9.585 * * * * [progress]: [ 218 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))) (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))))>
9.585 * * * * [progress]: [ 219 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))) (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))))>
9.585 * * * * [progress]: [ 220 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* (sqrt im) (* im (sqrt im))))) (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))))>
9.585 * * * * [progress]: [ 221 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* im (* im 1)))) (fma (- im) (* im 1) (* im (* im 1)))))>
9.585 * * * * [progress]: [ 222 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))) (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))))>
9.586 * * * * [progress]: [ 223 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* (* (sqrt im) im) (sqrt im)))) (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))))>
9.586 * * * * [progress]: [ 224 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* (* im im) 1))) (fma (- (* im im)) 1 (* (* im im) 1))))>
9.586 * * * * [progress]: [ 225 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (fma re re (- (* im im))) (fma (- im) im (* im im))))>
9.586 * * * * [progress]: [ 226 / 288 ] simplifiying candidate #<alt (λ (re im) (log1p (expm1 (- (* re re) (* im im)))))>
9.586 * * * * [progress]: [ 227 / 288 ] simplifiying candidate #<alt (λ (re im) (expm1 (log1p (- (* re re) (* im im)))))>
9.586 * * * * [progress]: [ 228 / 288 ] simplifiying candidate #<alt (λ (re im) (fma re re (- (* im im))))>
9.586 * * * * [progress]: [ 229 / 288 ] simplifiying candidate #<alt (λ (re im) (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* im im))))>
9.586 * * * * [progress]: [ 230 / 288 ] simplifiying candidate #<alt (λ (re im) (fma (sqrt (* re re)) (sqrt (* re re)) (- (* im im))))>
9.586 * * * * [progress]: [ 231 / 288 ] simplifiying candidate #<alt (λ (re im) (fma 1 (* re re) (- (* im im))))>
9.586 * * * * [progress]: [ 232 / 288 ] simplifiying candidate #<alt (λ (re im) (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* im im))))>
9.586 * * * * [progress]: [ 233 / 288 ] simplifiying candidate #<alt (λ (re im) (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* im im))))>
9.586 * * * * [progress]: [ 234 / 288 ] simplifiying candidate #<alt (λ (re im) (fma (* 1 1) (* re re) (- (* im im))))>
9.586 * * * * [progress]: [ 235 / 288 ] simplifiying candidate #<alt (λ (re im) (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* im im))))>
9.586 * * * * [progress]: [ 236 / 288 ] simplifiying candidate #<alt (λ (re im) (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* im im))))>
9.586 * * * * [progress]: [ 237 / 288 ] simplifiying candidate #<alt (λ (re im) (fma (* re (sqrt re)) (sqrt re) (- (* im im))))>
9.587 * * * * [progress]: [ 238 / 288 ] simplifiying candidate #<alt (λ (re im) (fma (* re 1) re (- (* im im))))>
9.587 * * * * [progress]: [ 239 / 288 ] simplifiying candidate #<alt (λ (re im) (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* im im))))>
9.587 * * * * [progress]: [ 240 / 288 ] simplifiying candidate #<alt (λ (re im) (fma (sqrt re) (* (sqrt re) re) (- (* im im))))>
9.587 * * * * [progress]: [ 241 / 288 ] simplifiying candidate #<alt (λ (re im) (fma 1 (* re re) (- (* im im))))>
9.587 * * * * [progress]: [ 242 / 288 ] simplifiying candidate #<alt (λ (re im) (fma re re (- (* im im))))>
9.587 * * * * [progress]: [ 243 / 288 ] simplifiying candidate #<alt (λ (re im) (log (/ (exp (* re re)) (exp (* im im)))))>
9.587 * * * * [progress]: [ 244 / 288 ] simplifiying candidate #<alt (λ (re im) (pow (- (* re re) (* im im)) 1))>
9.587 * * * * [progress]: [ 245 / 288 ] simplifiying candidate #<alt (λ (re im) (exp (log (- (* re re) (* im im)))))>
9.587 * * * * [progress]: [ 246 / 288 ] simplifiying candidate #<alt (λ (re im) (log (exp (- (* re re) (* im im)))))>
9.587 * * * * [progress]: [ 247 / 288 ] simplifiying candidate #<alt (λ (re im) (* (* (cbrt (- (* re re) (* im im))) (cbrt (- (* re re) (* im im)))) (cbrt (- (* re re) (* im im)))))>
9.587 * * * * [progress]: [ 248 / 288 ] simplifiying candidate #<alt (λ (re im) (cbrt (* (* (- (* re re) (* im im)) (- (* re re) (* im im))) (- (* re re) (* im im)))))>
9.587 * * * * [progress]: [ 249 / 288 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (- (* re re) (* im im))) (sqrt (- (* re re) (* im im)))))>
9.587 * * * * [progress]: [ 250 / 288 ] 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.587 * * * * [progress]: [ 251 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (* re re) (- (* im im))))>
9.587 * * * * [progress]: [ 252 / 288 ] simplifiying candidate #<alt (λ (re im) (* 1 (- (* re re) (* im im))))>
9.588 * * * * [progress]: [ 253 / 288 ] simplifiying candidate #<alt (λ (re im) (/ (- (* (* re re) (* re re)) (* (* im im) (* im im))) (+ (* re re) (* im im))))>
9.588 * * * * [progress]: [ 254 / 288 ] simplifiying candidate #<alt (λ (re im) (* (+ re im) (- re im)))>
9.588 * * * * [progress]: [ 255 / 288 ] simplifiying candidate #<alt (λ (re im) (* (+ re (sqrt (* im im))) (- re (sqrt (* im im)))))>
9.588 * * * * [progress]: [ 256 / 288 ] simplifiying candidate #<alt (λ (re im) (* (+ re (* (sqrt im) (sqrt im))) (- re (* (sqrt im) (sqrt im)))))>
9.588 * * * * [progress]: [ 257 / 288 ] simplifiying candidate #<alt (λ (re im) (* (+ re (* (sqrt im) (sqrt im))) (- re (* (sqrt im) (sqrt im)))))>
9.588 * * * * [progress]: [ 258 / 288 ] simplifiying candidate #<alt (λ (re im) (* (+ re im) (- re im)))>
9.588 * * * * [progress]: [ 259 / 288 ] simplifiying candidate #<alt (λ (re im) (* (+ (sqrt (* re re)) im) (- (sqrt (* re re)) im)))>
9.588 * * * * [progress]: [ 260 / 288 ] simplifiying candidate #<alt (λ (re im) (* (+ (sqrt (* re re)) (sqrt (* im im))) (- (sqrt (* re re)) (sqrt (* im im)))))>
9.588 * * * * [progress]: [ 261 / 288 ] simplifiying candidate #<alt (λ (re im) (* (+ (sqrt (* re re)) (* (sqrt im) (sqrt im))) (- (sqrt (* re re)) (* (sqrt im) (sqrt im)))))>
9.588 * * * * [progress]: [ 262 / 288 ] simplifiying candidate #<alt (λ (re im) (* (+ (sqrt (* re re)) (* (sqrt im) (sqrt im))) (- (sqrt (* re re)) (* (sqrt im) (sqrt im)))))>
9.589 * * * * [progress]: [ 263 / 288 ] simplifiying candidate #<alt (λ (re im) (* (+ (sqrt (* re re)) im) (- (sqrt (* re re)) im)))>
9.589 * * * * [progress]: [ 264 / 288 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (sqrt re) (sqrt re)) im) (- (* (sqrt re) (sqrt re)) im)))>
9.589 * * * * [progress]: [ 265 / 288 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (sqrt re) (sqrt re)) (sqrt (* im im))) (- (* (sqrt re) (sqrt re)) (sqrt (* im im)))))>
9.589 * * * * [progress]: [ 266 / 288 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (sqrt re) (sqrt re)) (* (sqrt im) (sqrt im))) (- (* (sqrt re) (sqrt re)) (* (sqrt im) (sqrt im)))))>
9.589 * * * * [progress]: [ 267 / 288 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (sqrt re) (sqrt re)) (* (sqrt im) (sqrt im))) (- (* (sqrt re) (sqrt re)) (* (sqrt im) (sqrt im)))))>
9.589 * * * * [progress]: [ 268 / 288 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (sqrt re) (sqrt re)) im) (- (* (sqrt re) (sqrt re)) im)))>
9.589 * * * * [progress]: [ 269 / 288 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (sqrt re) (sqrt re)) im) (- (* (sqrt re) (sqrt re)) im)))>
9.589 * * * * [progress]: [ 270 / 288 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (sqrt re) (sqrt re)) (sqrt (* im im))) (- (* (sqrt re) (sqrt re)) (sqrt (* im im)))))>
9.589 * * * * [progress]: [ 271 / 288 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (sqrt re) (sqrt re)) (* (sqrt im) (sqrt im))) (- (* (sqrt re) (sqrt re)) (* (sqrt im) (sqrt im)))))>
9.589 * * * * [progress]: [ 272 / 288 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (sqrt re) (sqrt re)) (* (sqrt im) (sqrt im))) (- (* (sqrt re) (sqrt re)) (* (sqrt im) (sqrt im)))))>
9.589 * * * * [progress]: [ 273 / 288 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (sqrt re) (sqrt re)) im) (- (* (sqrt re) (sqrt re)) im)))>
9.589 * * * * [progress]: [ 274 / 288 ] simplifiying candidate #<alt (λ (re im) (* (+ re im) (- re im)))>
9.589 * * * * [progress]: [ 275 / 288 ] simplifiying candidate #<alt (λ (re im) (* (+ re (sqrt (* im im))) (- re (sqrt (* im im)))))>
9.589 * * * * [progress]: [ 276 / 288 ] simplifiying candidate #<alt (λ (re im) (* (+ re (* (sqrt im) (sqrt im))) (- re (* (sqrt im) (sqrt im)))))>
9.589 * * * * [progress]: [ 277 / 288 ] simplifiying candidate #<alt (λ (re im) (* (+ re (* (sqrt im) (sqrt im))) (- re (* (sqrt im) (sqrt im)))))>
9.590 * * * * [progress]: [ 278 / 288 ] simplifiying candidate #<alt (λ (re im) (* (+ re im) (- re im)))>
9.590 * * * * [progress]: [ 279 / 288 ] simplifiying candidate #<alt (λ (re im) (* 1 (- (* re re) (* im im))))>
9.590 * * * * [progress]: [ 280 / 288 ] simplifiying candidate #<alt (λ (re im) (* 1 (- (* re re) (* im im))))>
9.590 * * * * [progress]: [ 281 / 288 ] simplifiying candidate #<alt (λ (re im) (* (* 1 1) (- (* re re) (* im im))))>
9.590 * * * * [progress]: [ 282 / 288 ] simplifiying candidate #<alt (λ (re im) (* 1 (- (* re re) (* im im))))>
9.590 * * * * [progress]: [ 283 / 288 ] simplifiying candidate #<alt (λ (re im) (* 1 (- (* re re) (* im im))))>
9.590 * * * * [progress]: [ 284 / 288 ] simplifiying candidate #<alt (λ (re im) (+ (* re re) (- (* im im))))>
9.590 * * * * [progress]: [ 285 / 288 ] simplifiying candidate #<alt (λ (re im) (posit16->real (real->posit16 (- (* re re) (* im im)))))>
9.590 * * * * [progress]: [ 286 / 288 ] simplifiying candidate #<alt (λ (re im) (- (pow re 2) (pow im 2)))>
9.590 * * * * [progress]: [ 287 / 288 ] simplifiying candidate #<alt (λ (re im) (- (pow re 2) (pow im 2)))>
9.590 * * * * [progress]: [ 288 / 288 ] simplifiying candidate #<alt (λ (re im) (- (pow re 2) (pow im 2)))>
9.599 * [simplify]: Simplifying:
  (fma re re (- (* im im)))
  (fma (- im) im (* im im))
  (fma re re (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im))))))
  (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))
  (fma re re (- (* (sqrt (* im im)) (sqrt (* im im)))))
  (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))
  (fma re re (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma re re (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))))))
  (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))
  (fma re re (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma re re (- (* (* im im) (* 1 1))))
  (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))
  (fma re re (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma re re (- (* (cbrt im) (* im (* (cbrt im) (cbrt im))))))
  (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))
  (fma re re (- (* (sqrt im) (* im (sqrt im)))))
  (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))
  (fma re re (- (* im (* im 1))))
  (fma (- im) (* im 1) (* im (* im 1)))
  (fma re re (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im)))))
  (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))
  (fma re re (- (* (* (sqrt im) im) (sqrt im))))
  (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))
  (fma re re (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma re re (- (* im im)))
  (fma (- im) im (* im im))
  (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* im im)))
  (fma (- im) im (* im im))
  (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im))))))
  (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))
  (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* (sqrt (* im im)) (sqrt (* im im)))))
  (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))
  (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))))))
  (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))
  (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* (* im im) (* 1 1))))
  (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))
  (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* (cbrt im) (* im (* (cbrt im) (cbrt im))))))
  (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))
  (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* (sqrt im) (* im (sqrt im)))))
  (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))
  (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* im (* im 1))))
  (fma (- im) (* im 1) (* im (* im 1)))
  (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im)))))
  (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))
  (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* (* (sqrt im) im) (sqrt im))))
  (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))
  (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re)) (- (* im im)))
  (fma (- im) im (* im im))
  (fma (sqrt (* re re)) (sqrt (* re re)) (- (* im im)))
  (fma (- im) im (* im im))
  (fma (sqrt (* re re)) (sqrt (* re re)) (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im))))))
  (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))
  (fma (sqrt (* re re)) (sqrt (* re re)) (- (* (sqrt (* im im)) (sqrt (* im im)))))
  (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))
  (fma (sqrt (* re re)) (sqrt (* re re)) (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma (sqrt (* re re)) (sqrt (* re re)) (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))))))
  (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))
  (fma (sqrt (* re re)) (sqrt (* re re)) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma (sqrt (* re re)) (sqrt (* re re)) (- (* (* im im) (* 1 1))))
  (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))
  (fma (sqrt (* re re)) (sqrt (* re re)) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma (sqrt (* re re)) (sqrt (* re re)) (- (* (cbrt im) (* im (* (cbrt im) (cbrt im))))))
  (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))
  (fma (sqrt (* re re)) (sqrt (* re re)) (- (* (sqrt im) (* im (sqrt im)))))
  (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))
  (fma (sqrt (* re re)) (sqrt (* re re)) (- (* im (* im 1))))
  (fma (- im) (* im 1) (* im (* im 1)))
  (fma (sqrt (* re re)) (sqrt (* re re)) (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im)))))
  (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))
  (fma (sqrt (* re re)) (sqrt (* re re)) (- (* (* (sqrt im) im) (sqrt im))))
  (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))
  (fma (sqrt (* re re)) (sqrt (* re re)) (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma (sqrt (* re re)) (sqrt (* re re)) (- (* im im)))
  (fma (- im) im (* im im))
  (fma 1 (* re re) (- (* im im)))
  (fma (- im) im (* im im))
  (fma 1 (* re re) (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im))))))
  (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))
  (fma 1 (* re re) (- (* (sqrt (* im im)) (sqrt (* im im)))))
  (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))
  (fma 1 (* re re) (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma 1 (* re re) (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))))))
  (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))
  (fma 1 (* re re) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma 1 (* re re) (- (* (* im im) (* 1 1))))
  (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))
  (fma 1 (* re re) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma 1 (* re re) (- (* (cbrt im) (* im (* (cbrt im) (cbrt im))))))
  (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))
  (fma 1 (* re re) (- (* (sqrt im) (* im (sqrt im)))))
  (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))
  (fma 1 (* re re) (- (* im (* im 1))))
  (fma (- im) (* im 1) (* im (* im 1)))
  (fma 1 (* re re) (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im)))))
  (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))
  (fma 1 (* re re) (- (* (* (sqrt im) im) (sqrt im))))
  (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))
  (fma 1 (* re re) (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma 1 (* re re) (- (* im im)))
  (fma (- im) im (* im im))
  (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* im im)))
  (fma (- im) im (* im im))
  (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im))))))
  (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))
  (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* (sqrt (* im im)) (sqrt (* im im)))))
  (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))
  (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))))))
  (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))
  (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* (* im im) (* 1 1))))
  (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))
  (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* (cbrt im) (* im (* (cbrt im) (cbrt im))))))
  (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))
  (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* (sqrt im) (* im (sqrt im)))))
  (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))
  (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* im (* im 1))))
  (fma (- im) (* im 1) (* im (* im 1)))
  (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im)))))
  (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))
  (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* (* (sqrt im) im) (sqrt im))))
  (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))
  (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma (* (* (cbrt re) (cbrt re)) (* (cbrt re) (cbrt re))) (* (cbrt re) (cbrt re)) (- (* im im)))
  (fma (- im) im (* im im))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* im im)))
  (fma (- im) im (* im im))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im))))))
  (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (sqrt (* im im)) (sqrt (* im im)))))
  (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))))))
  (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* im im) (* 1 1))))
  (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (cbrt im) (* im (* (cbrt im) (cbrt im))))))
  (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (sqrt im) (* im (sqrt im)))))
  (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* im (* im 1))))
  (fma (- im) (* im 1) (* im (* im 1)))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im)))))
  (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* (sqrt im) im) (sqrt im))))
  (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* im im)))
  (fma (- im) im (* im im))
  (fma (* 1 1) (* re re) (- (* im im)))
  (fma (- im) im (* im im))
  (fma (* 1 1) (* re re) (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im))))))
  (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))
  (fma (* 1 1) (* re re) (- (* (sqrt (* im im)) (sqrt (* im im)))))
  (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))
  (fma (* 1 1) (* re re) (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma (* 1 1) (* re re) (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))))))
  (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))
  (fma (* 1 1) (* re re) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma (* 1 1) (* re re) (- (* (* im im) (* 1 1))))
  (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))
  (fma (* 1 1) (* re re) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma (* 1 1) (* re re) (- (* (cbrt im) (* im (* (cbrt im) (cbrt im))))))
  (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))
  (fma (* 1 1) (* re re) (- (* (sqrt im) (* im (sqrt im)))))
  (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))
  (fma (* 1 1) (* re re) (- (* im (* im 1))))
  (fma (- im) (* im 1) (* im (* im 1)))
  (fma (* 1 1) (* re re) (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im)))))
  (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))
  (fma (* 1 1) (* re re) (- (* (* (sqrt im) im) (sqrt im))))
  (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))
  (fma (* 1 1) (* re re) (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma (* 1 1) (* re re) (- (* im im)))
  (fma (- im) im (* im im))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* im im)))
  (fma (- im) im (* im im))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im))))))
  (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (sqrt (* im im)) (sqrt (* im im)))))
  (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))))))
  (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* im im) (* 1 1))))
  (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (cbrt im) (* im (* (cbrt im) (cbrt im))))))
  (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (sqrt im) (* im (sqrt im)))))
  (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* im (* im 1))))
  (fma (- im) (* im 1) (* im (* im 1)))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im)))))
  (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* (sqrt im) im) (sqrt im))))
  (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma (* (sqrt re) (sqrt re)) (* (sqrt re) (sqrt re)) (- (* im im)))
  (fma (- im) im (* im im))
  (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* im im)))
  (fma (- im) im (* im im))
  (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im))))))
  (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))
  (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* (sqrt (* im im)) (sqrt (* im im)))))
  (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))
  (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))))))
  (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))
  (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* (* im im) (* 1 1))))
  (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))
  (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* (cbrt im) (* im (* (cbrt im) (cbrt im))))))
  (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))
  (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* (sqrt im) (* im (sqrt im)))))
  (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))
  (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* im (* im 1))))
  (fma (- im) (* im 1) (* im (* im 1)))
  (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im)))))
  (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))
  (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* (* (sqrt im) im) (sqrt im))))
  (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))
  (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma (* re (* (cbrt re) (cbrt re))) (cbrt re) (- (* im im)))
  (fma (- im) im (* im im))
  (fma (* re (sqrt re)) (sqrt re) (- (* im im)))
  (fma (- im) im (* im im))
  (fma (* re (sqrt re)) (sqrt re) (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im))))))
  (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))
  (fma (* re (sqrt re)) (sqrt re) (- (* (sqrt (* im im)) (sqrt (* im im)))))
  (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))
  (fma (* re (sqrt re)) (sqrt re) (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma (* re (sqrt re)) (sqrt re) (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))))))
  (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))
  (fma (* re (sqrt re)) (sqrt re) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma (* re (sqrt re)) (sqrt re) (- (* (* im im) (* 1 1))))
  (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))
  (fma (* re (sqrt re)) (sqrt re) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma (* re (sqrt re)) (sqrt re) (- (* (cbrt im) (* im (* (cbrt im) (cbrt im))))))
  (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))
  (fma (* re (sqrt re)) (sqrt re) (- (* (sqrt im) (* im (sqrt im)))))
  (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))
  (fma (* re (sqrt re)) (sqrt re) (- (* im (* im 1))))
  (fma (- im) (* im 1) (* im (* im 1)))
  (fma (* re (sqrt re)) (sqrt re) (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im)))))
  (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))
  (fma (* re (sqrt re)) (sqrt re) (- (* (* (sqrt im) im) (sqrt im))))
  (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))
  (fma (* re (sqrt re)) (sqrt re) (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma (* re (sqrt re)) (sqrt re) (- (* im im)))
  (fma (- im) im (* im im))
  (fma (* re 1) re (- (* im im)))
  (fma (- im) im (* im im))
  (fma (* re 1) re (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im))))))
  (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))
  (fma (* re 1) re (- (* (sqrt (* im im)) (sqrt (* im im)))))
  (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))
  (fma (* re 1) re (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma (* re 1) re (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))))))
  (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))
  (fma (* re 1) re (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma (* re 1) re (- (* (* im im) (* 1 1))))
  (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))
  (fma (* re 1) re (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma (* re 1) re (- (* (cbrt im) (* im (* (cbrt im) (cbrt im))))))
  (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))
  (fma (* re 1) re (- (* (sqrt im) (* im (sqrt im)))))
  (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))
  (fma (* re 1) re (- (* im (* im 1))))
  (fma (- im) (* im 1) (* im (* im 1)))
  (fma (* re 1) re (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im)))))
  (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))
  (fma (* re 1) re (- (* (* (sqrt im) im) (sqrt im))))
  (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))
  (fma (* re 1) re (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma (* re 1) re (- (* im im)))
  (fma (- im) im (* im im))
  (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* im im)))
  (fma (- im) im (* im im))
  (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im))))))
  (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))
  (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* (sqrt (* im im)) (sqrt (* im im)))))
  (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))
  (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))))))
  (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))
  (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* (* im im) (* 1 1))))
  (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))
  (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* (cbrt im) (* im (* (cbrt im) (cbrt im))))))
  (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))
  (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* (sqrt im) (* im (sqrt im)))))
  (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))
  (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* im (* im 1))))
  (fma (- im) (* im 1) (* im (* im 1)))
  (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im)))))
  (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))
  (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* (* (sqrt im) im) (sqrt im))))
  (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))
  (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma (* (cbrt re) (cbrt re)) (* (cbrt re) re) (- (* im im)))
  (fma (- im) im (* im im))
  (fma (sqrt re) (* (sqrt re) re) (- (* im im)))
  (fma (- im) im (* im im))
  (fma (sqrt re) (* (sqrt re) re) (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im))))))
  (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))
  (fma (sqrt re) (* (sqrt re) re) (- (* (sqrt (* im im)) (sqrt (* im im)))))
  (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))
  (fma (sqrt re) (* (sqrt re) re) (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma (sqrt re) (* (sqrt re) re) (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))))))
  (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))
  (fma (sqrt re) (* (sqrt re) re) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma (sqrt re) (* (sqrt re) re) (- (* (* im im) (* 1 1))))
  (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))
  (fma (sqrt re) (* (sqrt re) re) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma (sqrt re) (* (sqrt re) re) (- (* (cbrt im) (* im (* (cbrt im) (cbrt im))))))
  (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))
  (fma (sqrt re) (* (sqrt re) re) (- (* (sqrt im) (* im (sqrt im)))))
  (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))
  (fma (sqrt re) (* (sqrt re) re) (- (* im (* im 1))))
  (fma (- im) (* im 1) (* im (* im 1)))
  (fma (sqrt re) (* (sqrt re) re) (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im)))))
  (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))
  (fma (sqrt re) (* (sqrt re) re) (- (* (* (sqrt im) im) (sqrt im))))
  (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))
  (fma (sqrt re) (* (sqrt re) re) (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma (sqrt re) (* (sqrt re) re) (- (* im im)))
  (fma (- im) im (* im im))
  (fma 1 (* re re) (- (* im im)))
  (fma (- im) im (* im im))
  (fma 1 (* re re) (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im))))))
  (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))
  (fma 1 (* re re) (- (* (sqrt (* im im)) (sqrt (* im im)))))
  (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))
  (fma 1 (* re re) (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma 1 (* re re) (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))))))
  (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))
  (fma 1 (* re re) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma 1 (* re re) (- (* (* im im) (* 1 1))))
  (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))
  (fma 1 (* re re) (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma 1 (* re re) (- (* (cbrt im) (* im (* (cbrt im) (cbrt im))))))
  (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))
  (fma 1 (* re re) (- (* (sqrt im) (* im (sqrt im)))))
  (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))
  (fma 1 (* re re) (- (* im (* im 1))))
  (fma (- im) (* im 1) (* im (* im 1)))
  (fma 1 (* re re) (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im)))))
  (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))
  (fma 1 (* re re) (- (* (* (sqrt im) im) (sqrt im))))
  (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))
  (fma 1 (* re re) (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma 1 (* re re) (- (* im im)))
  (fma (- im) im (* im im))
  (fma re re (- (* im im)))
  (fma (- im) im (* im im))
  (fma re re (- (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im))))))
  (fma (- (cbrt (* im im))) (* (cbrt (* im im)) (cbrt (* im im))) (* (cbrt (* im im)) (* (cbrt (* im im)) (cbrt (* im im)))))
  (fma re re (- (* (sqrt (* im im)) (sqrt (* im im)))))
  (fma (- (sqrt (* im im))) (sqrt (* im im)) (* (sqrt (* im im)) (sqrt (* im im))))
  (fma re re (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma re re (- (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))))))
  (fma (- (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im))) (* (* (cbrt im) (cbrt im)) (* (* (cbrt im) (cbrt im)) (* (cbrt im) (cbrt im)))))
  (fma re re (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma re re (- (* (* im im) (* 1 1))))
  (fma (- (* im im)) (* 1 1) (* (* im im) (* 1 1)))
  (fma re re (- (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im)))))
  (fma (- (* (sqrt im) (sqrt im))) (* (sqrt im) (sqrt im)) (* (* (sqrt im) (sqrt im)) (* (sqrt im) (sqrt im))))
  (fma re re (- (* (cbrt im) (* im (* (cbrt im) (cbrt im))))))
  (fma (- (cbrt im)) (* im (* (cbrt im) (cbrt im))) (* (cbrt im) (* im (* (cbrt im) (cbrt im)))))
  (fma re re (- (* (sqrt im) (* im (sqrt im)))))
  (fma (- (sqrt im)) (* im (sqrt im)) (* (sqrt im) (* im (sqrt im))))
  (fma re re (- (* im (* im 1))))
  (fma (- im) (* im 1) (* im (* im 1)))
  (fma re re (- (* (* (cbrt im) im) (* (cbrt im) (cbrt im)))))
  (fma (- (* (cbrt im) im)) (* (cbrt im) (cbrt im)) (* (* (cbrt im) im) (* (cbrt im) (cbrt im))))
  (fma re re (- (* (* (sqrt im) im) (sqrt im))))
  (fma (- (* (sqrt im) im)) (sqrt im) (* (* (sqrt im) im) (sqrt im)))
  (fma re re (- (* (* im im) 1)))
  (fma (- (* im im)) 1 (* (* im im) 1))
  (fma re re (- (* im im)))
  (fma (- im) im (* im im))
  (expm1 (- (* re re) (* im im)))
  (log1p (- (* re re) (* im im)))
  (- (* im im))
  (- (* im im))
  (- (* im im))
  (- (* im im))
  (- (* im im))
  (- (* im im))
  (- (* im im))
  (- (* im im))
  (- (* im im))
  (- (* im im))
  (- (* im im))
  (- (* im im))
  (- (* im im))
  (- (* 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)
  (+ re (sqrt (* im im)))
  (- re (sqrt (* im im)))
  (+ re (* (sqrt im) (sqrt im)))
  (- re (* (sqrt im) (sqrt im)))
  (+ re (* (sqrt im) (sqrt im)))
  (- re (* (sqrt im) (sqrt im)))
  (+ re im)
  (- re im)
  (+ (sqrt (* re re)) im)
  (- (sqrt (* re re)) im)
  (+ (sqrt (* re re)) (sqrt (* im im)))
  (- (sqrt (* re re)) (sqrt (* im im)))
  (+ (sqrt (* re re)) (* (sqrt im) (sqrt im)))
  (- (sqrt (* re re)) (* (sqrt im) (sqrt im)))
  (+ (sqrt (* re re)) (* (sqrt im) (sqrt im)))
  (- (sqrt (* re re)) (* (sqrt im) (sqrt im)))
  (+ (sqrt (* re re)) im)
  (- (sqrt (* re re)) im)
  (+ (* (sqrt re) (sqrt re)) im)
  (- (* (sqrt re) (sqrt re)) im)
  (+ (* (sqrt re) (sqrt re)) (sqrt (* im im)))
  (- (* (sqrt re) (sqrt re)) (sqrt (* im im)))
  (+ (* (sqrt re) (sqrt re)) (* (sqrt im) (sqrt im)))
  (- (* (sqrt re) (sqrt re)) (* (sqrt im) (sqrt im)))
  (+ (* (sqrt re) (sqrt re)) (* (sqrt im) (sqrt im)))
  (- (* (sqrt re) (sqrt re)) (* (sqrt im) (sqrt im)))
  (+ (* (sqrt re) (sqrt re)) im)
  (- (* (sqrt re) (sqrt re)) im)
  (+ (* (sqrt re) (sqrt re)) im)
  (- (* (sqrt re) (sqrt re)) im)
  (+ (* (sqrt re) (sqrt re)) (sqrt (* im im)))
  (- (* (sqrt re) (sqrt re)) (sqrt (* im im)))
  (+ (* (sqrt re) (sqrt re)) (* (sqrt im) (sqrt im)))
  (- (* (sqrt re) (sqrt re)) (* (sqrt im) (sqrt im)))
  (+ (* (sqrt re) (sqrt re)) (* (sqrt im) (sqrt im)))
  (- (* (sqrt re) (sqrt re)) (* (sqrt im) (sqrt im)))
  (+ (* (sqrt re) (sqrt re)) im)
  (- (* (sqrt re) (sqrt re)) im)
  (+ re im)
  (- re im)
  (+ re (sqrt (* im im)))
  (- re (sqrt (* im im)))
  (+ re (* (sqrt im) (sqrt im)))
  (- re (* (sqrt im) (sqrt im)))
  (+ re (* (sqrt im) (sqrt im)))
  (- re (* (sqrt im) (sqrt im)))
  (+ re im)
  (- re im)
  (- (* re re) (* im im))
  (- (* re re) (* im im))
  (- (* re re) (* im im))
  (- (* re re) (* im im))
  (- (* re re) (* im 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.610 * * [simplify]: iteration 0: 267 enodes
9.754 * * [simplify]: iteration 1: 650 enodes
10.028 * * [simplify]: iteration 2: 1327 enodes
11.165 * * [simplify]: iteration 3: 3872 enodes
12.141 * * [simplify]: iteration complete: 5000 enodes
12.141 * * [simplify]: Extracting #0: cost 25 inf + 0
12.143 * * [simplify]: Extracting #1: cost 364 inf + 0
12.148 * * [simplify]: Extracting #2: cost 772 inf + 3932
12.172 * * [simplify]: Extracting #3: cost 417 inf + 53320
12.214 * * [simplify]: Extracting #4: cost 56 inf + 121944
12.266 * * [simplify]: Extracting #5: cost 1 inf + 140162
12.331 * * [simplify]: Extracting #6: cost 0 inf + 140374
12.383 * [simplify]: Simplified to:
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re))) (* im im))
  (- (* im im) (* im im))
  (- (* (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re))) (* im im))
  (- (* im im) (* im im))
  (- (* (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re))) (* im im))
  (- (* im im) (* im im))
  (- (* (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re))) (* im im))
  (- (* im im) (* im im))
  (- (* (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re))) (* im im))
  (- (* im im) (* im im))
  (- (* (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re))) (* im im))
  (- (* im im) (* im im))
  (- (* (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re))) (* im im))
  (- (* im im) (* im im))
  (- (* (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re))) (* im im))
  (- (* im im) (* im im))
  (- (* (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re))) (* im im))
  (- (* im im) (* im im))
  (- (* (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re))) (* im im))
  (- (* im im) (* im im))
  (- (* (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re))) (* im im))
  (- (* im im) (* im im))
  (- (* (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re))) (* im im))
  (- (* im im) (* im im))
  (- (* (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re))) (* im im))
  (- (* im im) (* im im))
  (- (* (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re))) (* im im))
  (- (* im im) (* im im))
  (- (* (* (cbrt (* re re)) (cbrt (* re re))) (cbrt (* re re))) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (- (* re re) (* im im))
  (- (* im im) (* im im))
  (expm1 (- (* re re) (* im im)))
  (log1p (- (* re re) (* im im)))
  (- (* im im))
  (- (* im im))
  (- (* im im))
  (- (* im im))
  (- (* im im))
  (- (* im im))
  (- (* im im))
  (- (* im im))
  (- (* im im))
  (- (* im im))
  (- (* im im))
  (- (* im im))
  (- (* im im))
  (- (* im im))
  (- (* im im))
  (exp (- (* re re) (* 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)))
  (- (* (* (* re re) re) (* (* re re) re)) (* (* im im) (* (* im im) (* im im))))
  (fma (* re re) (* re re) (* (* im im) (+ (* re re) (* im im))))
  (- (* im im))
  (- (* (* re re) (* re re)) (* (* im im) (* im im)))
  (fma im im (* re re))
  (+ re im)
  (- re im)
  (+ re (fabs im))
  (- re (fabs im))
  (+ re im)
  (- re im)
  (+ re im)
  (- re im)
  (+ re im)
  (- re im)
  (+ (fabs re) im)
  (- (fabs re) im)
  (+ (fabs im) (fabs re))
  (- (fabs re) (fabs im))
  (+ (fabs re) im)
  (- (fabs re) im)
  (+ (fabs re) im)
  (- (fabs re) im)
  (+ (fabs re) im)
  (- (fabs re) im)
  (+ re im)
  (- re im)
  (+ re (fabs im))
  (- re (fabs im))
  (+ re im)
  (- re im)
  (+ re im)
  (- re im)
  (+ re im)
  (- re im)
  (+ re im)
  (- re im)
  (+ re (fabs im))
  (- re (fabs im))
  (+ re im)
  (- re im)
  (+ re im)
  (- re im)
  (+ re im)
  (- re im)
  (+ re im)
  (- re im)
  (+ re (fabs im))
  (- re (fabs im))
  (+ re im)
  (- re im)
  (+ re im)
  (- re im)
  (+ re im)
  (- re im)
  (- (* re re) (* im im))
  (- (* re re) (* im im))
  (- (* re re) (* im im))
  (- (* re re) (* im im))
  (- (* re re) (* im im))
  (- (* im im))
  (real->posit16 (- (* re re) (* im im)))
  (- (* re re) (* im im))
  (- (* re re) (* im im))
  (- (* re re) (* im im))
12.406 * * * [progress]: adding candidates to table
12.673 * * [progress]: iteration 2 / 4
12.673 * * * [progress]: picking best candidate
12.676 * * * * [pick]: Picked  #<alt (λ (re im) (* (+ re im) (- re im)))>
12.676 * * * [progress]: localizing error
12.691 * * * [progress]: generating rewritten candidates
12.691 * * * [progress]: generating series expansions
12.691 * * * [progress]: simplifying candidates
12.691 * [simplify]: Simplifying:
  
12.691 * * [simplify]: iteration 0: 0 enodes
12.691 * * [simplify]: iteration complete: 0 enodes
12.691 * * [simplify]: Extracting #0: cost 0 inf + 0
12.691 * [simplify]: Simplified to:
  
12.691 * * * [progress]: adding candidates to table
12.692 * [progress]: [Phase 3 of 3] Extracting.
12.696 * [simplify]: Simplifying:
  (* (+ re im) (- re im))
12.696 * * [simplify]: iteration 0: 5 enodes
12.697 * * [simplify]: iteration 1: 7 enodes
12.697 * * [simplify]: iteration complete: 7 enodes
12.697 * * [simplify]: Extracting #0: cost 1 inf + 0
12.697 * * [simplify]: Extracting #1: cost 3 inf + 0
12.697 * * [simplify]: Extracting #2: cost 5 inf + 0
12.697 * * [simplify]: Extracting #3: cost 3 inf + 2
12.697 * * [simplify]: Extracting #4: cost 0 inf + 208
12.697 * [simplify]: Simplified to:
  (* (+ im re) (- re im))
14.154 * [regime-testing]: Baseline error score: 0.0008751093886735842
14.156 * [regime-testing]: Oracle error score: 0.0008751093886735842
14.156 * [regime-testing]: End program error score: 0.0008751093886735842