1553863033.475 * [progress]: [Phase 1 of 3] Setting up.
1553863033.475 * * * [progress]: [1/2] Preparing points
1553863033.475 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1553863033.476 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1553863033.478 * * * * [points]: Setting MPFR precision to 64
1553863033.479 * * * * [points]: Setting MPFR precision to 320
1553863033.480 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1553863033.481 * * * * [points]: Setting MPFR precision to 64
1553863033.484 * * * * [points]: Setting MPFR precision to 320
1553863033.487 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1553863033.488 * * * * [points]: Setting MPFR precision to 64
1553863033.492 * * * * [points]: Setting MPFR precision to 320
1553863033.499 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1553863033.501 * * * * [points]: Setting MPFR precision to 64
1553863033.511 * * * * [points]: Setting MPFR precision to 320
1553863033.525 * * * * [points]: Computing exacts for 256 points
1553863033.527 * * * * [points]: Setting MPFR precision to 64
1553863033.568 * * * * [points]: Setting MPFR precision to 320
1553863033.592 * * * * [points]: Filtering points with unrepresentable outputs
1553863033.614 * * * * [points]: Sampled 256 points with exact outputs
1553863033.614 * * * [progress]: [2/2] Setting up program.
1553863033.630 * [progress]: [Phase 2 of 3] Improving.
1553863033.631 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1553863033.631 * [simplify]: Simplifying (/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
1553863033.631 * * [simplify]: iters left: 3 (11 enodes)
1553863033.633 * * [simplify]: iters left: 2 (29 enodes)
1553863033.639 * * [simplify]: iters left: 1 (57 enodes)
1553863033.650 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863033.650 * * [simplify]: Extracting #1: cost 10 inf + 0
1553863033.650 * * [simplify]: Extracting #2: cost 31 inf + 0
1553863033.650 * * [simplify]: Extracting #3: cost 44 inf + 0
1553863033.651 * * [simplify]: Extracting #4: cost 58 inf + 647
1553863033.651 * * [simplify]: Extracting #5: cost 32 inf + 21623
1553863033.653 * * [simplify]: Extracting #6: cost 1 inf + 63920
1553863033.654 * * [simplify]: Extracting #7: cost 0 inf + 65284
1553863033.656 * [simplify]: Simplified to (/.p16 (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
1553863033.656 * [simplify]: Simplified (2) to (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1553863033.685 * * [progress]: iteration 1 / 4
1553863033.685 * * * [progress]: picking best candidate
1553863033.700 * * * * [pick]: Picked  #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1553863033.700 * * * [progress]: localizing error
1553863033.946 * * * [progress]: generating rewritten candidates
1553863033.946 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
1553863033.959 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
1553863033.970 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
1553863033.978 * * * [progress]: generating series expansions
1553863033.978 * * * * [progress]: [ 1 / 3 ] generating series at (2)
1553863033.978 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
1553863033.978 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
1553863033.978 * * * [progress]: simplifying candidates
1553863033.978 * * * * [progress]: [ 1 / 7 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))>
1553863033.978 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))
1553863033.978 * * [simplify]: iters left: 3 (9 enodes)
1553863033.980 * * [simplify]: iters left: 2 (37 enodes)
1553863033.987 * * [simplify]: iters left: 1 (90 enodes)
1553863034.009 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863034.009 * * [simplify]: Extracting #1: cost 21 inf + 0
1553863034.009 * * [simplify]: Extracting #2: cost 55 inf + 0
1553863034.009 * * [simplify]: Extracting #3: cost 88 inf + 2654
1553863034.010 * * [simplify]: Extracting #4: cost 69 inf + 28908
1553863034.014 * * [simplify]: Extracting #5: cost 2 inf + 127256
1553863034.018 * * [simplify]: Extracting #6: cost 0 inf + 129622
1553863034.023 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 y.re x.im) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re x.im) (*.p16 x.re y.im)))
1553863034.023 * [simplify]: Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (-.p16 (*.p16 y.re x.im) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re x.im) (*.p16 x.re y.im))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))
1553863034.023 * * * * [progress]: [ 2 / 7 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (neg.p16 (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1553863034.023 * * * * [progress]: [ 3 / 7 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1553863034.023 * * * * [progress]: [ 4 / 7 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.im y.im) (*.p16 y.re y.re))))>
1553863034.023 * * * * [progress]: [ 5 / 7 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1553863034.023 * [simplify]: Simplifying (/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
1553863034.023 * * [simplify]: iters left: 3 (11 enodes)
1553863034.027 * * [simplify]: iters left: 2 (29 enodes)
1553863034.037 * * [simplify]: iters left: 1 (57 enodes)
1553863034.062 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863034.062 * * [simplify]: Extracting #1: cost 10 inf + 0
1553863034.062 * * [simplify]: Extracting #2: cost 31 inf + 0
1553863034.062 * * [simplify]: Extracting #3: cost 44 inf + 0
1553863034.063 * * [simplify]: Extracting #4: cost 58 inf + 647
1553863034.064 * * [simplify]: Extracting #5: cost 32 inf + 21623
1553863034.067 * * [simplify]: Extracting #6: cost 1 inf + 63920
1553863034.071 * * [simplify]: Extracting #7: cost 0 inf + 65284
1553863034.074 * [simplify]: Simplified to (/.p16 (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
1553863034.074 * [simplify]: Simplified (2) to (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1553863034.074 * * * * [progress]: [ 6 / 7 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1553863034.075 * [simplify]: Simplifying (/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
1553863034.075 * * [simplify]: iters left: 3 (11 enodes)
1553863034.080 * * [simplify]: iters left: 2 (29 enodes)
1553863034.090 * * [simplify]: iters left: 1 (57 enodes)
1553863034.112 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863034.112 * * [simplify]: Extracting #1: cost 10 inf + 0
1553863034.112 * * [simplify]: Extracting #2: cost 31 inf + 0
1553863034.112 * * [simplify]: Extracting #3: cost 44 inf + 0
1553863034.113 * * [simplify]: Extracting #4: cost 58 inf + 647
1553863034.114 * * [simplify]: Extracting #5: cost 32 inf + 21623
1553863034.117 * * [simplify]: Extracting #6: cost 1 inf + 63920
1553863034.121 * * [simplify]: Extracting #7: cost 0 inf + 65284
1553863034.124 * [simplify]: Simplified to (/.p16 (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
1553863034.124 * [simplify]: Simplified (2) to (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1553863034.124 * * * * [progress]: [ 7 / 7 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1553863034.125 * [simplify]: Simplifying (/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
1553863034.125 * * [simplify]: iters left: 3 (11 enodes)
1553863034.130 * * [simplify]: iters left: 2 (29 enodes)
1553863034.140 * * [simplify]: iters left: 1 (57 enodes)
1553863034.161 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863034.161 * * [simplify]: Extracting #1: cost 10 inf + 0
1553863034.161 * * [simplify]: Extracting #2: cost 31 inf + 0
1553863034.161 * * [simplify]: Extracting #3: cost 44 inf + 0
1553863034.162 * * [simplify]: Extracting #4: cost 58 inf + 647
1553863034.163 * * [simplify]: Extracting #5: cost 32 inf + 21623
1553863034.165 * * [simplify]: Extracting #6: cost 1 inf + 63920
1553863034.169 * * [simplify]: Extracting #7: cost 0 inf + 65284
1553863034.172 * [simplify]: Simplified to (/.p16 (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
1553863034.172 * [simplify]: Simplified (2) to (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1553863034.172 * * * [progress]: adding candidates to table
1553863034.453 * * [progress]: iteration 2 / 4
1553863034.453 * * * [progress]: picking best candidate
1553863034.493 * * * * [pick]: Picked  #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1553863034.493 * * * [progress]: localizing error
1553863034.842 * * * [progress]: generating rewritten candidates
1553863034.842 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1553863034.870 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1553863034.918 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
1553863034.925 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1553863034.940 * * * [progress]: generating series expansions
1553863034.940 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1553863034.940 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1553863034.940 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
1553863034.940 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1553863034.940 * * * [progress]: simplifying candidates
1553863034.940 * * * * [progress]: [ 1 / 22 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1553863034.941 * [simplify]: Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1553863034.941 * * [simplify]: iters left: 2 (7 enodes)
1553863034.943 * * [simplify]: iters left: 1 (18 enodes)
1553863034.946 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863034.946 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863034.946 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863034.946 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863034.946 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863034.946 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1553863034.946 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1553863034.946 * * * * [progress]: [ 2 / 22 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1553863034.946 * [simplify]: Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1553863034.946 * * [simplify]: iters left: 2 (7 enodes)
1553863034.948 * * [simplify]: iters left: 1 (18 enodes)
1553863034.951 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863034.951 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863034.951 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863034.951 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863034.951 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863034.951 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1553863034.951 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1553863034.951 * * * * [progress]: [ 3 / 22 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1553863034.951 * [simplify]: Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1553863034.951 * * [simplify]: iters left: 2 (7 enodes)
1553863034.953 * * [simplify]: iters left: 1 (18 enodes)
1553863034.955 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863034.955 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863034.955 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863034.955 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863034.955 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863034.955 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1553863034.955 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1553863034.955 * * * * [progress]: [ 4 / 22 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1553863034.956 * [simplify]: Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1553863034.956 * * [simplify]: iters left: 2 (7 enodes)
1553863034.958 * * [simplify]: iters left: 1 (18 enodes)
1553863034.960 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863034.960 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863034.960 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863034.960 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863034.961 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863034.961 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1553863034.961 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1553863034.961 * * * * [progress]: [ 5 / 22 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1553863034.961 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))
1553863034.961 * * [simplify]: iters left: 4 (11 enodes)
1553863034.964 * * [simplify]: iters left: 3 (47 enodes)
1553863034.974 * * [simplify]: iters left: 2 (143 enodes)
1553863035.015 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863035.015 * * [simplify]: Extracting #1: cost 25 inf + 0
1553863035.015 * * [simplify]: Extracting #2: cost 73 inf + 0
1553863035.016 * * [simplify]: Extracting #3: cost 142 inf + 2332
1553863035.018 * * [simplify]: Extracting #4: cost 134 inf + 55820
1553863035.024 * * [simplify]: Extracting #5: cost 28 inf + 228590
1553863035.035 * * [simplify]: Extracting #6: cost 1 inf + 283752
1553863035.046 * * [simplify]: Extracting #7: cost 0 inf + 287356
1553863035.056 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 (*.p16 y.re x.im) (*.p16 y.re x.im)) (*.p16 (*.p16 y.im x.re) (*.p16 y.im x.re))) (-.p16 (*.p16 (*.p16 y.re x.im) (*.p16 y.re x.im)) (*.p16 (*.p16 y.im x.re) (*.p16 y.im x.re))))
1553863035.056 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (*.p16 (+.p16 (*.p16 (*.p16 y.re x.im) (*.p16 y.re x.im)) (*.p16 (*.p16 y.im x.re) (*.p16 y.im x.re))) (-.p16 (*.p16 (*.p16 y.re x.im) (*.p16 y.re x.im)) (*.p16 (*.p16 y.im x.re) (*.p16 y.im x.re)))) (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1553863035.057 * * * * [progress]: [ 6 / 22 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))>
1553863035.057 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))
1553863035.057 * * [simplify]: iters left: 3 (9 enodes)
1553863035.059 * * [simplify]: iters left: 2 (37 enodes)
1553863035.066 * * [simplify]: iters left: 1 (90 enodes)
1553863035.100 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863035.101 * * [simplify]: Extracting #1: cost 21 inf + 0
1553863035.101 * * [simplify]: Extracting #2: cost 55 inf + 0
1553863035.101 * * [simplify]: Extracting #3: cost 88 inf + 2654
1553863035.103 * * [simplify]: Extracting #4: cost 69 inf + 28908
1553863035.111 * * [simplify]: Extracting #5: cost 2 inf + 127256
1553863035.119 * * [simplify]: Extracting #6: cost 0 inf + 129622
1553863035.128 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 y.re x.im) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re x.im) (*.p16 x.re y.im)))
1553863035.128 * [simplify]: Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (-.p16 (*.p16 y.re x.im) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re x.im) (*.p16 x.re y.im))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))
1553863035.128 * * * * [progress]: [ 7 / 22 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))>
1553863035.129 * [simplify]: Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1553863035.129 * * [simplify]: iters left: 2 (7 enodes)
1553863035.132 * * [simplify]: iters left: 1 (18 enodes)
1553863035.136 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863035.136 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863035.137 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863035.137 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863035.137 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863035.137 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1553863035.137 * [simplify]: Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))
1553863035.137 * * * * [progress]: [ 8 / 22 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))>
1553863035.137 * [simplify]: Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1553863035.137 * * [simplify]: iters left: 2 (7 enodes)
1553863035.140 * * [simplify]: iters left: 1 (18 enodes)
1553863035.146 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863035.147 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863035.147 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863035.147 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863035.147 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863035.147 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1553863035.147 * [simplify]: Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))
1553863035.147 * * * * [progress]: [ 9 / 22 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))>
1553863035.148 * [simplify]: Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1553863035.148 * * [simplify]: iters left: 2 (7 enodes)
1553863035.150 * * [simplify]: iters left: 1 (18 enodes)
1553863035.155 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863035.155 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863035.155 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863035.155 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863035.156 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863035.156 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1553863035.156 * [simplify]: Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))
1553863035.156 * * * * [progress]: [ 10 / 22 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))>
1553863035.156 * [simplify]: Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1553863035.156 * * [simplify]: iters left: 2 (7 enodes)
1553863035.159 * * [simplify]: iters left: 1 (18 enodes)
1553863035.164 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863035.164 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863035.164 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863035.164 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863035.164 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863035.165 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1553863035.165 * [simplify]: Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))
1553863035.165 * * * * [progress]: [ 11 / 22 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))))))>
1553863035.165 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))
1553863035.165 * * [simplify]: iters left: 4 (11 enodes)
1553863035.171 * * [simplify]: iters left: 3 (47 enodes)
1553863035.190 * * [simplify]: iters left: 2 (143 enodes)
1553863035.273 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863035.273 * * [simplify]: Extracting #1: cost 25 inf + 0
1553863035.273 * * [simplify]: Extracting #2: cost 73 inf + 0
1553863035.274 * * [simplify]: Extracting #3: cost 142 inf + 2332
1553863035.278 * * [simplify]: Extracting #4: cost 134 inf + 55820
1553863035.293 * * [simplify]: Extracting #5: cost 28 inf + 228590
1553863035.313 * * [simplify]: Extracting #6: cost 1 inf + 283752
1553863035.333 * * [simplify]: Extracting #7: cost 0 inf + 287356
1553863035.355 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 (*.p16 y.re x.im) (*.p16 y.re x.im)) (*.p16 (*.p16 y.im x.re) (*.p16 y.im x.re))) (-.p16 (*.p16 (*.p16 y.re x.im) (*.p16 y.re x.im)) (*.p16 (*.p16 y.im x.re) (*.p16 y.im x.re))))
1553863035.355 * [simplify]: Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 (*.p16 y.re x.im) (*.p16 y.re x.im)) (*.p16 (*.p16 y.im x.re) (*.p16 y.im x.re))) (-.p16 (*.p16 (*.p16 y.re x.im) (*.p16 y.re x.im)) (*.p16 (*.p16 y.im x.re) (*.p16 y.im x.re)))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))))))
1553863035.356 * * * * [progress]: [ 12 / 22 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.re y.im) (*.p16 x.im y.re))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1553863035.356 * * * * [progress]: [ 13 / 22 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1553863035.356 * [simplify]: Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1553863035.356 * * [simplify]: iters left: 2 (7 enodes)
1553863035.359 * * [simplify]: iters left: 1 (18 enodes)
1553863035.364 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863035.364 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863035.364 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863035.364 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863035.364 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863035.364 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1553863035.364 * [simplify]: Simplified (2 1 1 1) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (*.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1553863035.365 * [simplify]: Simplifying (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1553863035.365 * * [simplify]: iters left: 2 (7 enodes)
1553863035.368 * * [simplify]: iters left: 1 (24 enodes)
1553863035.376 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863035.376 * * [simplify]: Extracting #1: cost 6 inf + 0
1553863035.376 * * [simplify]: Extracting #2: cost 15 inf + 0
1553863035.376 * * [simplify]: Extracting #3: cost 19 inf + 728
1553863035.377 * * [simplify]: Extracting #4: cost 3 inf + 11524
1553863035.378 * * [simplify]: Extracting #5: cost 0 inf + 15936
1553863035.378 * [simplify]: Simplified to (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re))
1553863035.378 * [simplify]: Simplified (2 1 1 2) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1553863035.379 * * * * [progress]: [ 14 / 22 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1553863035.379 * [simplify]: Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1553863035.379 * * [simplify]: iters left: 2 (7 enodes)
1553863035.382 * * [simplify]: iters left: 1 (18 enodes)
1553863035.387 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863035.387 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863035.387 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863035.387 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863035.387 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863035.387 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1553863035.387 * [simplify]: Simplified (2 1 1 1) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (*.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1553863035.388 * [simplify]: Simplifying (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1553863035.388 * * [simplify]: iters left: 2 (7 enodes)
1553863035.391 * * [simplify]: iters left: 1 (24 enodes)
1553863035.398 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863035.399 * * [simplify]: Extracting #1: cost 6 inf + 0
1553863035.399 * * [simplify]: Extracting #2: cost 15 inf + 0
1553863035.399 * * [simplify]: Extracting #3: cost 19 inf + 728
1553863035.399 * * [simplify]: Extracting #4: cost 3 inf + 11524
1553863035.400 * * [simplify]: Extracting #5: cost 0 inf + 15936
1553863035.401 * [simplify]: Simplified to (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re))
1553863035.401 * [simplify]: Simplified (2 1 1 2) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1553863035.401 * * * * [progress]: [ 15 / 22 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1553863035.401 * [simplify]: Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1553863035.401 * * [simplify]: iters left: 2 (7 enodes)
1553863035.404 * * [simplify]: iters left: 1 (18 enodes)
1553863035.409 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863035.409 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863035.409 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863035.409 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863035.409 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863035.410 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1553863035.410 * [simplify]: Simplified (2 1 1 1) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (*.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1553863035.410 * [simplify]: Simplifying (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1553863035.410 * * [simplify]: iters left: 2 (7 enodes)
1553863035.413 * * [simplify]: iters left: 1 (24 enodes)
1553863035.422 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863035.422 * * [simplify]: Extracting #1: cost 6 inf + 0
1553863035.422 * * [simplify]: Extracting #2: cost 15 inf + 0
1553863035.422 * * [simplify]: Extracting #3: cost 19 inf + 728
1553863035.423 * * [simplify]: Extracting #4: cost 3 inf + 11524
1553863035.423 * * [simplify]: Extracting #5: cost 0 inf + 15936
1553863035.424 * [simplify]: Simplified to (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re))
1553863035.424 * [simplify]: Simplified (2 1 1 2) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1553863035.424 * * * * [progress]: [ 16 / 22 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1553863035.425 * [simplify]: Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1553863035.425 * * [simplify]: iters left: 2 (7 enodes)
1553863035.428 * * [simplify]: iters left: 1 (18 enodes)
1553863035.433 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863035.433 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863035.433 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863035.433 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863035.433 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863035.433 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1553863035.433 * [simplify]: Simplified (2 1 1 1) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (*.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1553863035.434 * [simplify]: Simplifying (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1553863035.434 * * [simplify]: iters left: 2 (7 enodes)
1553863035.437 * * [simplify]: iters left: 1 (24 enodes)
1553863035.445 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863035.445 * * [simplify]: Extracting #1: cost 6 inf + 0
1553863035.445 * * [simplify]: Extracting #2: cost 15 inf + 0
1553863035.445 * * [simplify]: Extracting #3: cost 19 inf + 728
1553863035.446 * * [simplify]: Extracting #4: cost 3 inf + 11524
1553863035.447 * * [simplify]: Extracting #5: cost 0 inf + 15936
1553863035.447 * [simplify]: Simplified to (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re))
1553863035.447 * [simplify]: Simplified (2 1 1 2) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))
1553863035.448 * * * * [progress]: [ 17 / 22 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (neg.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1553863035.448 * * * * [progress]: [ 18 / 22 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1553863035.448 * * * * [progress]: [ 19 / 22 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1553863035.448 * * * * [progress]: [ 20 / 22 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1553863035.448 * * * * [progress]: [ 21 / 22 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1553863035.448 * * * * [progress]: [ 22 / 22 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1553863035.448 * * * [progress]: adding candidates to table
1553863036.796 * * [progress]: iteration 3 / 4
1553863036.796 * * * [progress]: picking best candidate
1553863036.950 * * * * [pick]: Picked  #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))>
1553863036.950 * * * [progress]: localizing error
1553863037.403 * * * [progress]: generating rewritten candidates
1553863037.403 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1553863037.436 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
1553863037.448 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1)
1553863037.456 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1553863037.463 * * * [progress]: generating series expansions
1553863037.463 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1553863037.463 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
1553863037.463 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1)
1553863037.463 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1553863037.463 * * * [progress]: simplifying candidates
1553863037.463 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))>
1553863037.464 * [simplify]: Simplifying (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))
1553863037.464 * * [simplify]: iters left: 3 (9 enodes)
1553863037.466 * * [simplify]: iters left: 2 (26 enodes)
1553863037.470 * * [simplify]: iters left: 1 (53 enodes)
1553863037.481 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863037.481 * * [simplify]: Extracting #1: cost 10 inf + 0
1553863037.481 * * [simplify]: Extracting #2: cost 26 inf + 0
1553863037.481 * * [simplify]: Extracting #3: cost 39 inf + 0
1553863037.481 * * [simplify]: Extracting #4: cost 56 inf + 728
1553863037.482 * * [simplify]: Extracting #5: cost 21 inf + 32616
1553863037.483 * * [simplify]: Extracting #6: cost 1 inf + 61996
1553863037.485 * * [simplify]: Extracting #7: cost 0 inf + 63840
1553863037.487 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re)))
1553863037.487 * [simplify]: Simplified (2 2) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))) (/.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re)))))
1553863037.487 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))>
1553863037.487 * [simplify]: Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1553863037.487 * * [simplify]: iters left: 2 (7 enodes)
1553863037.489 * * [simplify]: iters left: 1 (18 enodes)
1553863037.491 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863037.491 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863037.491 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863037.491 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863037.491 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863037.492 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1553863037.492 * [simplify]: Simplified (2 2) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))))) (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))))
1553863037.492 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))>
1553863037.492 * [simplify]: Simplifying (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))
1553863037.492 * * [simplify]: iters left: 2 (5 enodes)
1553863037.493 * * [simplify]: iters left: 1 (10 enodes)
1553863037.494 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863037.494 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863037.495 * * [simplify]: Extracting #2: cost 5 inf + 0
1553863037.495 * * [simplify]: Extracting #3: cost 2 inf + 323
1553863037.495 * * [simplify]: Extracting #4: cost 0 inf + 1326
1553863037.495 * [simplify]: Simplified to (+.p16 (*.p16 y.im y.im) (*.p16 y.re y.re))
1553863037.495 * [simplify]: Simplified (2 2) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.im y.im) (*.p16 y.re y.re))))
1553863037.495 * * * * [progress]: [ 4 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))>
1553863037.495 * [simplify]: Simplifying (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1553863037.495 * * [simplify]: iters left: 2 (7 enodes)
1553863037.496 * * [simplify]: iters left: 1 (24 enodes)
1553863037.500 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863037.501 * * [simplify]: Extracting #1: cost 6 inf + 0
1553863037.501 * * [simplify]: Extracting #2: cost 15 inf + 0
1553863037.501 * * [simplify]: Extracting #3: cost 19 inf + 728
1553863037.501 * * [simplify]: Extracting #4: cost 3 inf + 11524
1553863037.501 * * [simplify]: Extracting #5: cost 0 inf + 15936
1553863037.502 * [simplify]: Simplified to (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re))
1553863037.502 * [simplify]: Simplified (2 2) to (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re))))
1553863037.502 * * * * [progress]: [ 5 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))>
1553863037.502 * [simplify]: Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1553863037.502 * * [simplify]: iters left: 2 (7 enodes)
1553863037.503 * * [simplify]: iters left: 1 (18 enodes)
1553863037.506 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863037.506 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863037.506 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863037.506 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863037.506 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863037.506 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1553863037.506 * [simplify]: Simplified (2 2 2 2) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))))))
1553863037.506 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.im) (*.p16 x.im y.re)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))>
1553863037.506 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.im) (*.p16 x.im y.re)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))>
1553863037.506 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))>
1553863037.506 * [simplify]: Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1553863037.507 * * [simplify]: iters left: 2 (7 enodes)
1553863037.508 * * [simplify]: iters left: 1 (18 enodes)
1553863037.510 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863037.510 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863037.510 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863037.511 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863037.511 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863037.511 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1553863037.511 * [simplify]: Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))
1553863037.511 * * * * [progress]: [ 9 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))>
1553863037.511 * [simplify]: Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1553863037.511 * * [simplify]: iters left: 2 (7 enodes)
1553863037.512 * * [simplify]: iters left: 1 (18 enodes)
1553863037.515 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863037.515 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863037.515 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863037.515 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863037.515 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863037.515 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1553863037.515 * [simplify]: Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))
1553863037.515 * * * * [progress]: [ 10 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))>
1553863037.515 * [simplify]: Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1553863037.515 * * [simplify]: iters left: 2 (7 enodes)
1553863037.517 * * [simplify]: iters left: 1 (18 enodes)
1553863037.519 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863037.519 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863037.519 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863037.519 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863037.519 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863037.520 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1553863037.520 * [simplify]: Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))
1553863037.520 * * * * [progress]: [ 11 / 11 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))>
1553863037.520 * [simplify]: Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1553863037.520 * * [simplify]: iters left: 2 (7 enodes)
1553863037.521 * * [simplify]: iters left: 1 (18 enodes)
1553863037.524 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863037.524 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863037.524 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863037.524 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863037.524 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863037.524 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1553863037.524 * [simplify]: Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))
1553863037.524 * * * [progress]: adding candidates to table
1553863037.939 * * [progress]: iteration 4 / 4
1553863037.939 * * * [progress]: picking best candidate
1553863038.160 * * * * [pick]: Picked  #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))>
1553863038.160 * * * [progress]: localizing error
1553863038.566 * * * [progress]: generating rewritten candidates
1553863038.566 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1553863038.598 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1553863038.615 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
1553863038.627 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1553863038.639 * * * [progress]: generating series expansions
1553863038.639 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1553863038.639 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1553863038.639 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
1553863038.639 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1553863038.639 * * * [progress]: simplifying candidates
1553863038.639 * * * * [progress]: [ 1 / 7 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))) (*.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))>
1553863038.639 * [simplify]: Simplifying (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
1553863038.639 * * [simplify]: iters left: 2 (7 enodes)
1553863038.642 * * [simplify]: iters left: 1 (18 enodes)
1553863038.646 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863038.646 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863038.646 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863038.646 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863038.646 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863038.646 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im))
1553863038.646 * [simplify]: Simplified (2 2 2) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))) (*.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)))))
1553863038.646 * * * * [progress]: [ 2 / 7 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))) (/.p16 (+.p16 (*.p16 x.re y.im) (*.p16 x.im y.re)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))>
1553863038.646 * * * * [progress]: [ 3 / 7 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.re y.im) (*.p16 x.im y.re)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))>
1553863038.647 * * * * [progress]: [ 4 / 7 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))>
1553863038.647 * [simplify]: Simplifying (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))
1553863038.647 * * [simplify]: iters left: 3 (9 enodes)
1553863038.650 * * [simplify]: iters left: 2 (26 enodes)
1553863038.657 * * [simplify]: iters left: 1 (53 enodes)
1553863038.675 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863038.675 * * [simplify]: Extracting #1: cost 10 inf + 0
1553863038.675 * * [simplify]: Extracting #2: cost 26 inf + 0
1553863038.675 * * [simplify]: Extracting #3: cost 39 inf + 0
1553863038.675 * * [simplify]: Extracting #4: cost 56 inf + 728
1553863038.676 * * [simplify]: Extracting #5: cost 21 inf + 32616
1553863038.679 * * [simplify]: Extracting #6: cost 1 inf + 61996
1553863038.682 * * [simplify]: Extracting #7: cost 0 inf + 63840
1553863038.687 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re)))
1553863038.687 * [simplify]: Simplified (2 2) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))) (/.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re)))))
1553863038.687 * * * * [progress]: [ 5 / 7 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))>
1553863038.687 * [simplify]: Simplifying (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))
1553863038.687 * * [simplify]: iters left: 3 (9 enodes)
1553863038.691 * * [simplify]: iters left: 2 (26 enodes)
1553863038.698 * * [simplify]: iters left: 1 (53 enodes)
1553863038.711 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863038.711 * * [simplify]: Extracting #1: cost 10 inf + 0
1553863038.711 * * [simplify]: Extracting #2: cost 26 inf + 0
1553863038.711 * * [simplify]: Extracting #3: cost 39 inf + 0
1553863038.711 * * [simplify]: Extracting #4: cost 56 inf + 728
1553863038.712 * * [simplify]: Extracting #5: cost 21 inf + 32616
1553863038.713 * * [simplify]: Extracting #6: cost 1 inf + 61996
1553863038.715 * * [simplify]: Extracting #7: cost 0 inf + 63840
1553863038.717 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re)))
1553863038.717 * [simplify]: Simplified (2 2) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))) (/.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re)))))
1553863038.717 * * * * [progress]: [ 6 / 7 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))>
1553863038.718 * [simplify]: Simplifying (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))
1553863038.718 * * [simplify]: iters left: 3 (9 enodes)
1553863038.720 * * [simplify]: iters left: 2 (26 enodes)
1553863038.724 * * [simplify]: iters left: 1 (53 enodes)
1553863038.734 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863038.734 * * [simplify]: Extracting #1: cost 10 inf + 0
1553863038.735 * * [simplify]: Extracting #2: cost 26 inf + 0
1553863038.735 * * [simplify]: Extracting #3: cost 39 inf + 0
1553863038.735 * * [simplify]: Extracting #4: cost 56 inf + 728
1553863038.735 * * [simplify]: Extracting #5: cost 21 inf + 32616
1553863038.737 * * [simplify]: Extracting #6: cost 1 inf + 61996
1553863038.739 * * [simplify]: Extracting #7: cost 0 inf + 63840
1553863038.741 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re)))
1553863038.741 * [simplify]: Simplified (2 2) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))) (/.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re)))))
1553863038.741 * * * * [progress]: [ 7 / 7 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))>
1553863038.741 * [simplify]: Simplifying (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))
1553863038.741 * * [simplify]: iters left: 3 (9 enodes)
1553863038.743 * * [simplify]: iters left: 2 (26 enodes)
1553863038.747 * * [simplify]: iters left: 1 (53 enodes)
1553863038.758 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863038.758 * * [simplify]: Extracting #1: cost 10 inf + 0
1553863038.758 * * [simplify]: Extracting #2: cost 26 inf + 0
1553863038.758 * * [simplify]: Extracting #3: cost 39 inf + 0
1553863038.758 * * [simplify]: Extracting #4: cost 56 inf + 728
1553863038.759 * * [simplify]: Extracting #5: cost 21 inf + 32616
1553863038.760 * * [simplify]: Extracting #6: cost 1 inf + 61996
1553863038.762 * * [simplify]: Extracting #7: cost 0 inf + 63840
1553863038.764 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re)))
1553863038.764 * [simplify]: Simplified (2 2) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))) (/.p16 (+.p16 (*.p16 y.im x.re) (*.p16 y.re x.im)) (-.p16 (*.p16 y.re x.im) (*.p16 y.im x.re)))))
1553863038.764 * * * [progress]: adding candidates to table
1553863038.967 * [progress]: [Phase 3 of 3] Extracting.
1553863038.967 * * [regime]: Finding splitpoints for: (#<alt (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))))))>)
1553863038.974 * * * [regime-changes]: Trying 4 branch expressions: (y.im x.re y.re x.im)
1553863038.974 * * * * [regimes]: Trying to branch on y.im from (#<alt (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))))))>)
1553863039.383 * * * * [regimes]: Trying to branch on x.re from (#<alt (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))))))>)
1553863039.800 * * * * [regimes]: Trying to branch on y.re from (#<alt (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))))))>)
1553863040.313 * * * * [regimes]: Trying to branch on x.im from (#<alt (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (*.p16 (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))))))>)
1553863040.632 * * * [regime]: Found split indices: #<option (#s(si 2 256))>
1553863040.632 * [simplify]: Simplifying (/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
1553863040.632 * * [simplify]: iters left: 3 (11 enodes)
1553863040.632 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863040.632 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863040.632 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863040.632 * * [simplify]: Extracting #3: cost 11 inf + 0
1553863040.632 * * [simplify]: Extracting #4: cost 3 inf + 1650
1553863040.633 * * [simplify]: Extracting #5: cost 0 inf + 4540
1553863040.633 * [simplify]: Simplified to (/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
1553863040.633 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1553863040.677 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1553863040.679 * * * * [points]: Setting MPFR precision to 64
1553863040.680 * * * * [points]: Setting MPFR precision to 320
1553863040.681 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1553863040.682 * * * * [points]: Setting MPFR precision to 64
1553863040.684 * * * * [points]: Setting MPFR precision to 320
1553863040.687 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1553863040.688 * * * * [points]: Setting MPFR precision to 64
1553863040.693 * * * * [points]: Setting MPFR precision to 320
1553863040.698 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1553863040.699 * * * * [points]: Setting MPFR precision to 64
1553863040.707 * * * * [points]: Setting MPFR precision to 320
1553863040.718 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1553863040.720 * * * * [points]: Setting MPFR precision to 64
1553863040.755 * * * * [points]: Setting MPFR precision to 320
1553863040.777 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1553863040.778 * * * * [points]: Setting MPFR precision to 64
1553863040.811 * * * * [points]: Setting MPFR precision to 320
1553863040.851 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1553863040.853 * * * * [points]: Setting MPFR precision to 64
1553863040.999 * * * * [points]: Setting MPFR precision to 320
1553863041.131 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1553863041.133 * * * * [points]: Setting MPFR precision to 64
1553863041.343 * * * * [points]: Setting MPFR precision to 320
1553863041.589 * * * * [points]: Computing exacts for 8000 points
1553863041.590 * * * * [points]: Setting MPFR precision to 64
1553863042.585 * * * * [points]: Setting MPFR precision to 320
1553863043.628 * * * * [points]: Filtering points with unrepresentable outputs
1553863044.414 * * * * [points]: Sampled 8000 points with exact outputs
1553863047.162 * [regime-testing]: Baseline error score: 64.0
1553863047.165 * [regime-testing]: Oracle error score: 64.0
1553863047.171 * [regime-testing]: End program error score: 1.1357673307071323