1553863020.114 * [progress]: [Phase 1 of 3] Setting up.
1553863020.114 * * * [progress]: [1/2] Preparing points
1553863020.115 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1553863020.117 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1553863020.119 * * * * [points]: Setting MPFR precision to 64
1553863020.121 * * * * [points]: Setting MPFR precision to 320
1553863020.123 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1553863020.124 * * * * [points]: Setting MPFR precision to 64
1553863020.127 * * * * [points]: Setting MPFR precision to 320
1553863020.131 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1553863020.132 * * * * [points]: Setting MPFR precision to 64
1553863020.138 * * * * [points]: Setting MPFR precision to 320
1553863020.146 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1553863020.147 * * * * [points]: Setting MPFR precision to 64
1553863020.156 * * * * [points]: Setting MPFR precision to 320
1553863020.169 * * * * [points]: Computing exacts for 256 points
1553863020.170 * * * * [points]: Setting MPFR precision to 64
1553863020.199 * * * * [points]: Setting MPFR precision to 320
1553863020.235 * * * * [points]: Filtering points with unrepresentable outputs
1553863020.303 * * * * [points]: Sampled 256 points with exact outputs
1553863020.303 * * * [progress]: [2/2] Setting up program.
1553863020.332 * [progress]: [Phase 2 of 3] Improving.
1553863020.333 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))>
1553863020.333 * [simplify]: Simplifying (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1553863020.333 * * [simplify]: iters left: 2 (7 enodes)
1553863020.336 * * [simplify]: iters left: 1 (24 enodes)
1553863020.344 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863020.344 * * [simplify]: Extracting #1: cost 6 inf + 0
1553863020.344 * * [simplify]: Extracting #2: cost 15 inf + 0
1553863020.344 * * [simplify]: Extracting #3: cost 19 inf + 728
1553863020.345 * * [simplify]: Extracting #4: cost 3 inf + 11524
1553863020.346 * * [simplify]: Extracting #5: cost 0 inf + 15936
1553863020.346 * [simplify]: Simplified to (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))
1553863020.346 * [simplify]: Simplified (2) to (λ (x.re x.im y.re y.im) (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im)))
1553863020.376 * * [progress]: iteration 1 / 4
1553863020.376 * * * [progress]: picking best candidate
1553863020.404 * * * * [pick]: Picked  #<alt (λ (x.re x.im y.re y.im) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))>
1553863020.405 * * * [progress]: localizing error
1553863020.554 * * * [progress]: generating rewritten candidates
1553863020.554 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1553863020.559 * * * [progress]: generating series expansions
1553863020.559 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1553863020.559 * * * [progress]: simplifying candidates
1553863020.559 * * * * [progress]: [ 1 / 3 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (+.p16 (*.p16 x.re y.re) (neg.p16 (*.p16 x.im y.im))))>
1553863020.559 * * * * [progress]: [ 2 / 3 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1553863020.559 * * * * [progress]: [ 3 / 3 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))>
1553863020.559 * [simplify]: Simplifying (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1553863020.559 * * [simplify]: iters left: 2 (7 enodes)
1553863020.560 * * [simplify]: iters left: 1 (24 enodes)
1553863020.564 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863020.564 * * [simplify]: Extracting #1: cost 6 inf + 0
1553863020.564 * * [simplify]: Extracting #2: cost 15 inf + 0
1553863020.564 * * [simplify]: Extracting #3: cost 19 inf + 728
1553863020.564 * * [simplify]: Extracting #4: cost 3 inf + 11524
1553863020.565 * * [simplify]: Extracting #5: cost 0 inf + 15936
1553863020.565 * [simplify]: Simplified to (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))
1553863020.565 * [simplify]: Simplified (2) to (λ (x.re x.im y.re y.im) (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im)))
1553863020.565 * * * [progress]: adding candidates to table
1553863020.677 * * [progress]: iteration 2 / 4
1553863020.677 * * * [progress]: picking best candidate
1553863020.707 * * * * [pick]: Picked  #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1553863020.707 * * * [progress]: localizing error
1553863021.050 * * * [progress]: generating rewritten candidates
1553863021.050 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1553863021.118 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1553863021.133 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
1553863021.146 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1553863021.160 * * * [progress]: generating series expansions
1553863021.160 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1553863021.160 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1553863021.160 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
1553863021.160 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1553863021.161 * * * [progress]: simplifying candidates
1553863021.161 * * * * [progress]: [ 1 / 20 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1553863021.161 * [simplify]: Simplifying (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1553863021.161 * * [simplify]: iters left: 2 (7 enodes)
1553863021.164 * * [simplify]: iters left: 1 (18 enodes)
1553863021.169 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863021.169 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863021.169 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863021.169 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863021.169 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863021.169 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))
1553863021.169 * [simplify]: Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))
1553863021.170 * * * * [progress]: [ 2 / 20 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1553863021.170 * [simplify]: Simplifying (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1553863021.170 * * [simplify]: iters left: 2 (7 enodes)
1553863021.173 * * [simplify]: iters left: 1 (18 enodes)
1553863021.178 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863021.178 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863021.178 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863021.178 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863021.178 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863021.179 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))
1553863021.179 * [simplify]: Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))
1553863021.179 * * * * [progress]: [ 3 / 20 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1553863021.179 * [simplify]: Simplifying (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1553863021.179 * * [simplify]: iters left: 2 (7 enodes)
1553863021.182 * * [simplify]: iters left: 1 (18 enodes)
1553863021.187 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863021.187 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863021.187 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863021.187 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863021.187 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863021.188 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))
1553863021.188 * [simplify]: Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))
1553863021.188 * * * * [progress]: [ 4 / 20 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1553863021.188 * [simplify]: Simplifying (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1553863021.188 * * [simplify]: iters left: 2 (7 enodes)
1553863021.191 * * [simplify]: iters left: 1 (18 enodes)
1553863021.196 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863021.196 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863021.196 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863021.196 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863021.196 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863021.197 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))
1553863021.197 * [simplify]: Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))
1553863021.197 * * * * [progress]: [ 5 / 20 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re))) (*.p16 (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))>
1553863021.197 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re))) (*.p16 (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))
1553863021.197 * * [simplify]: iters left: 4 (11 enodes)
1553863021.202 * * [simplify]: iters left: 3 (47 enodes)
1553863021.224 * * [simplify]: iters left: 2 (143 enodes)
1553863021.262 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863021.262 * * [simplify]: Extracting #1: cost 25 inf + 0
1553863021.262 * * [simplify]: Extracting #2: cost 73 inf + 0
1553863021.263 * * [simplify]: Extracting #3: cost 142 inf + 2332
1553863021.265 * * [simplify]: Extracting #4: cost 134 inf + 55820
1553863021.277 * * [simplify]: Extracting #5: cost 28 inf + 228590
1553863021.293 * * [simplify]: Extracting #6: cost 1 inf + 283752
1553863021.305 * * [simplify]: Extracting #7: cost 0 inf + 287356
1553863021.315 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 (*.p16 y.re x.re) (*.p16 y.re x.re)) (*.p16 (*.p16 y.im x.im) (*.p16 y.im x.im))) (-.p16 (*.p16 (*.p16 y.re x.re) (*.p16 y.re x.re)) (*.p16 (*.p16 y.im x.im) (*.p16 y.im x.im))))
1553863021.315 * [simplify]: Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (*.p16 (+.p16 (*.p16 (*.p16 y.re x.re) (*.p16 y.re x.re)) (*.p16 (*.p16 y.im x.im) (*.p16 y.im x.im))) (-.p16 (*.p16 (*.p16 y.re x.re) (*.p16 y.re x.re)) (*.p16 (*.p16 y.im x.im) (*.p16 y.im x.im)))) (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))
1553863021.315 * * * * [progress]: [ 6 / 20 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.im y.im) (*.p16 x.re y.re))))>
1553863021.315 * * * * [progress]: [ 7 / 20 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 (*.p16 x.im y.im) x.im) y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1553863021.315 * * * * [progress]: [ 8 / 20 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 (*.p16 x.im y.im) y.im) x.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1553863021.315 * * * * [progress]: [ 9 / 20 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 x.im (*.p16 y.im (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1553863021.315 * * * * [progress]: [ 10 / 20 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 y.im (*.p16 x.im (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1553863021.315 * * * * [progress]: [ 11 / 20 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1553863021.315 * * * * [progress]: [ 12 / 20 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.re y.re) x.re) y.re) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1553863021.315 * * * * [progress]: [ 13 / 20 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.re y.re) y.re) x.re) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1553863021.315 * * * * [progress]: [ 14 / 20 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 x.re (*.p16 y.re (*.p16 x.re y.re))) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1553863021.315 * * * * [progress]: [ 15 / 20 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 y.re (*.p16 x.re (*.p16 x.re y.re))) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1553863021.315 * * * * [progress]: [ 16 / 20 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1553863021.316 * * * * [progress]: [ 17 / 20 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1553863021.316 * * * * [progress]: [ 18 / 20 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1553863021.316 * * * * [progress]: [ 19 / 20 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1553863021.316 * * * * [progress]: [ 20 / 20 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1553863021.316 * * * [progress]: adding candidates to table
1553863022.292 * * [progress]: iteration 3 / 4
1553863022.292 * * * [progress]: picking best candidate
1553863022.411 * * * * [pick]: Picked  #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1553863022.411 * * * [progress]: localizing error
1553863022.729 * * * [progress]: generating rewritten candidates
1553863022.729 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1553863022.749 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1553863022.772 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
1553863022.781 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
1553863022.796 * * * [progress]: generating series expansions
1553863022.796 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1553863022.796 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1553863022.796 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
1553863022.796 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
1553863022.796 * * * [progress]: simplifying candidates
1553863022.796 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1553863022.796 * [simplify]: Simplifying (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1553863022.796 * * [simplify]: iters left: 2 (7 enodes)
1553863022.799 * * [simplify]: iters left: 1 (18 enodes)
1553863022.805 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863022.805 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863022.805 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863022.805 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863022.805 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863022.805 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))
1553863022.805 * [simplify]: Simplified (2 2 2) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)))))
1553863022.805 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1553863022.806 * [simplify]: Simplifying (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1553863022.806 * * [simplify]: iters left: 2 (7 enodes)
1553863022.809 * * [simplify]: iters left: 1 (18 enodes)
1553863022.813 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863022.813 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863022.814 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863022.814 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863022.814 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863022.814 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))
1553863022.814 * [simplify]: Simplified (2 2) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))) (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))))
1553863022.814 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1553863022.814 * [simplify]: Simplifying (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1553863022.814 * * [simplify]: iters left: 2 (7 enodes)
1553863022.818 * * [simplify]: iters left: 1 (24 enodes)
1553863022.826 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863022.826 * * [simplify]: Extracting #1: cost 6 inf + 0
1553863022.826 * * [simplify]: Extracting #2: cost 15 inf + 0
1553863022.826 * * [simplify]: Extracting #3: cost 19 inf + 728
1553863022.826 * * [simplify]: Extracting #4: cost 3 inf + 11524
1553863022.827 * * [simplify]: Extracting #5: cost 0 inf + 15936
1553863022.828 * [simplify]: Simplified to (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))
1553863022.828 * [simplify]: Simplified (2 2) to (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))))
1553863022.828 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (neg.p16 (*.p16 x.im y.im))))))>
1553863022.828 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))))>
1553863022.828 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.im y.im) (*.p16 x.re y.re)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1553863022.828 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1553863022.829 * [simplify]: Simplifying (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1553863022.829 * * [simplify]: iters left: 2 (7 enodes)
1553863022.832 * * [simplify]: iters left: 1 (18 enodes)
1553863022.836 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863022.836 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863022.836 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863022.836 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863022.837 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863022.837 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))
1553863022.837 * [simplify]: Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))
1553863022.837 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1553863022.837 * [simplify]: Simplifying (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1553863022.837 * * [simplify]: iters left: 2 (7 enodes)
1553863022.840 * * [simplify]: iters left: 1 (18 enodes)
1553863022.845 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863022.845 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863022.845 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863022.845 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863022.845 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863022.845 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))
1553863022.846 * [simplify]: Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))
1553863022.846 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1553863022.846 * [simplify]: Simplifying (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1553863022.846 * * [simplify]: iters left: 2 (7 enodes)
1553863022.849 * * [simplify]: iters left: 1 (18 enodes)
1553863022.854 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863022.854 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863022.854 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863022.854 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863022.854 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863022.854 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))
1553863022.854 * [simplify]: Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))
1553863022.854 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1553863022.855 * [simplify]: Simplifying (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1553863022.855 * * [simplify]: iters left: 2 (7 enodes)
1553863022.858 * * [simplify]: iters left: 1 (18 enodes)
1553863022.864 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863022.864 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863022.864 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863022.864 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863022.864 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863022.864 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))
1553863022.864 * [simplify]: Simplified (2 1) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))
1553863022.865 * * * [progress]: adding candidates to table
1553863023.213 * * [progress]: iteration 4 / 4
1553863023.213 * * * [progress]: picking best candidate
1553863023.274 * * * * [pick]: Picked  #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1553863023.275 * * * [progress]: localizing error
1553863023.660 * * * [progress]: generating rewritten candidates
1553863023.660 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
1553863023.709 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1553863023.792 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1553863024.205 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1553863024.213 * * * [progress]: generating series expansions
1553863024.213 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
1553863024.213 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1553863024.213 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1553863024.213 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1553863024.213 * * * [progress]: simplifying candidates
1553863024.213 * * * * [progress]: [ 1 / 29 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1553863024.214 * [simplify]: Simplifying (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1553863024.214 * * [simplify]: iters left: 2 (7 enodes)
1553863024.215 * * [simplify]: iters left: 1 (24 enodes)
1553863024.219 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863024.219 * * [simplify]: Extracting #1: cost 6 inf + 0
1553863024.219 * * [simplify]: Extracting #2: cost 15 inf + 0
1553863024.219 * * [simplify]: Extracting #3: cost 19 inf + 728
1553863024.219 * * [simplify]: Extracting #4: cost 3 inf + 11524
1553863024.220 * * [simplify]: Extracting #5: cost 0 inf + 15936
1553863024.220 * [simplify]: Simplified to (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))
1553863024.220 * [simplify]: Simplified (2 2 1 2) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))
1553863024.220 * * * * [progress]: [ 2 / 29 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1553863024.220 * [simplify]: Simplifying (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1553863024.220 * * [simplify]: iters left: 2 (7 enodes)
1553863024.222 * * [simplify]: iters left: 1 (24 enodes)
1553863024.229 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863024.229 * * [simplify]: Extracting #1: cost 6 inf + 0
1553863024.229 * * [simplify]: Extracting #2: cost 15 inf + 0
1553863024.229 * * [simplify]: Extracting #3: cost 19 inf + 728
1553863024.229 * * [simplify]: Extracting #4: cost 3 inf + 11524
1553863024.230 * * [simplify]: Extracting #5: cost 0 inf + 15936
1553863024.230 * [simplify]: Simplified to (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))
1553863024.230 * [simplify]: Simplified (2 2 1 2) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))
1553863024.230 * * * * [progress]: [ 3 / 29 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1553863024.230 * [simplify]: Simplifying (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1553863024.230 * * [simplify]: iters left: 2 (7 enodes)
1553863024.232 * * [simplify]: iters left: 1 (24 enodes)
1553863024.235 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863024.236 * * [simplify]: Extracting #1: cost 6 inf + 0
1553863024.236 * * [simplify]: Extracting #2: cost 15 inf + 0
1553863024.236 * * [simplify]: Extracting #3: cost 19 inf + 728
1553863024.236 * * [simplify]: Extracting #4: cost 3 inf + 11524
1553863024.236 * * [simplify]: Extracting #5: cost 0 inf + 15936
1553863024.237 * [simplify]: Simplified to (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))
1553863024.237 * [simplify]: Simplified (2 2 1 2) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))
1553863024.237 * * * * [progress]: [ 4 / 29 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1553863024.237 * [simplify]: Simplifying (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1553863024.237 * * [simplify]: iters left: 2 (7 enodes)
1553863024.238 * * [simplify]: iters left: 1 (24 enodes)
1553863024.242 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863024.242 * * [simplify]: Extracting #1: cost 6 inf + 0
1553863024.242 * * [simplify]: Extracting #2: cost 15 inf + 0
1553863024.242 * * [simplify]: Extracting #3: cost 19 inf + 728
1553863024.243 * * [simplify]: Extracting #4: cost 3 inf + 11524
1553863024.243 * * [simplify]: Extracting #5: cost 0 inf + 15936
1553863024.243 * [simplify]: Simplified to (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))
1553863024.243 * [simplify]: Simplified (2 2 1 2) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))
1553863024.244 * * * * [progress]: [ 5 / 29 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re))) (*.p16 (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))) (+.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1553863024.244 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))
1553863024.244 * * [simplify]: iters left: 3 (9 enodes)
1553863024.246 * * [simplify]: iters left: 2 (28 enodes)
1553863024.250 * * [simplify]: iters left: 1 (42 enodes)
1553863024.256 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863024.256 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863024.256 * * [simplify]: Extracting #2: cost 17 inf + 0
1553863024.256 * * [simplify]: Extracting #3: cost 11 inf + 967
1553863024.256 * * [simplify]: Extracting #4: cost 0 inf + 7108
1553863024.257 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 y.re x.re) (*.p16 y.re x.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))
1553863024.257 * [simplify]: Simplified (2 2 1 2) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re))) (*.p16 (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))) (+.p16 (*.p16 (*.p16 y.re x.re) (*.p16 y.re x.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))
1553863024.257 * * * * [progress]: [ 6 / 29 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (*.p16 x.re y.re)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (*.p16 x.im y.im)))))>
1553863024.257 * [simplify]: Simplifying (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (*.p16 x.im y.im))
1553863024.257 * * [simplify]: iters left: 5 (12 enodes)
1553863024.260 * * [simplify]: iters left: 4 (45 enodes)
1553863024.268 * * [simplify]: iters left: 3 (122 enodes)
1553863024.308 * * [simplify]: iters left: 2 (456 enodes)
1553863024.704 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863024.704 * * [simplify]: Extracting #1: cost 133 inf + 0
1553863024.707 * * [simplify]: Extracting #2: cost 476 inf + 324
1553863024.718 * * [simplify]: Extracting #3: cost 458 inf + 240024
1553863024.757 * * [simplify]: Extracting #4: cost 154 inf + 1122869
1553863024.817 * * [simplify]: Extracting #5: cost 58 inf + 1360602
1553863024.921 * * [simplify]: Extracting #6: cost 0 inf + 1476045
1553863024.986 * * [simplify]: Extracting #7: cost 0 inf + 1475485
1553863025.071 * [simplify]: Simplified to (/.p16 (*.p16 y.im x.im) (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im)))
1553863025.071 * [simplify]: Simplified (2 2 2) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (*.p16 x.re y.re)) (/.p16 (*.p16 y.im x.im) (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))))))
1553863025.072 * * * * [progress]: [ 7 / 29 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (*.p16 x.re y.re)))))>
1553863025.072 * [simplify]: Simplifying (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (*.p16 x.re y.re))
1553863025.072 * * [simplify]: iters left: 5 (12 enodes)
1553863025.079 * * [simplify]: iters left: 4 (45 enodes)
1553863025.093 * * [simplify]: iters left: 3 (122 enodes)
1553863025.149 * * [simplify]: iters left: 2 (454 enodes)
1553863025.606 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863025.606 * * [simplify]: Extracting #1: cost 133 inf + 0
1553863025.608 * * [simplify]: Extracting #2: cost 476 inf + 2
1553863025.610 * * [simplify]: Extracting #3: cost 567 inf + 28632
1553863025.634 * * [simplify]: Extracting #4: cost 398 inf + 721556
1553863025.693 * * [simplify]: Extracting #5: cost 74 inf + 1395685
1553863025.759 * * [simplify]: Extracting #6: cost 0 inf + 1485429
1553863025.825 * * [simplify]: Extracting #7: cost 0 inf + 1481629
1553863025.901 * [simplify]: Simplified to (/.p16 (*.p16 x.re y.re) (-.p16 (*.p16 x.re y.re) (*.p16 y.im x.im)))
1553863025.901 * [simplify]: Simplified (2 2 2) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (*.p16 x.im y.im)) (/.p16 (*.p16 x.re y.re) (-.p16 (*.p16 x.re y.re) (*.p16 y.im x.im))))))
1553863025.901 * * * * [progress]: [ 8 / 29 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 (*.p16 x.re y.re) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))) (*.p16 (*.p16 x.im y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))))>
1553863025.901 * [simplify]: Simplifying (*.p16 (*.p16 x.im y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))))
1553863025.902 * * [simplify]: iters left: 5 (12 enodes)
1553863025.907 * * [simplify]: iters left: 4 (45 enodes)
1553863025.924 * * [simplify]: iters left: 3 (128 enodes)
1553863025.988 * * [simplify]: iters left: 2 (473 enodes)
1553863026.351 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863026.351 * * [simplify]: Extracting #1: cost 105 inf + 0
1553863026.353 * * [simplify]: Extracting #2: cost 423 inf + 2
1553863026.358 * * [simplify]: Extracting #3: cost 454 inf + 148196
1553863026.394 * * [simplify]: Extracting #4: cost 186 inf + 890802
1553863026.446 * * [simplify]: Extracting #5: cost 61 inf + 1252750
1553863026.507 * * [simplify]: Extracting #6: cost 1 inf + 1363435
1553863026.566 * * [simplify]: Extracting #7: cost 0 inf + 1365959
1553863026.629 * [simplify]: Simplified to (/.p16 (*.p16 x.im y.im) (-.p16 (*.p16 y.re x.re) (*.p16 x.im y.im)))
1553863026.629 * [simplify]: Simplified (2 2 2) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 (*.p16 x.re y.re) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))) (/.p16 (*.p16 x.im y.im) (-.p16 (*.p16 y.re x.re) (*.p16 x.im y.im))))))
1553863026.629 * * * * [progress]: [ 9 / 29 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 (*.p16 x.im y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))) (*.p16 (*.p16 x.re y.re) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))))>
1553863026.629 * [simplify]: Simplifying (*.p16 (*.p16 x.re y.re) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))))
1553863026.629 * * [simplify]: iters left: 5 (12 enodes)
1553863026.632 * * [simplify]: iters left: 4 (45 enodes)
1553863026.640 * * [simplify]: iters left: 3 (128 enodes)
1553863026.671 * * [simplify]: iters left: 2 (472 enodes)
1553863027.042 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863027.042 * * [simplify]: Extracting #1: cost 105 inf + 0
1553863027.043 * * [simplify]: Extracting #2: cost 420 inf + 2
1553863027.054 * * [simplify]: Extracting #3: cost 426 inf + 175677
1553863027.088 * * [simplify]: Extracting #4: cost 182 inf + 924422
1553863027.143 * * [simplify]: Extracting #5: cost 57 inf + 1249604
1553863027.204 * * [simplify]: Extracting #6: cost 1 inf + 1354041
1553863027.265 * * [simplify]: Extracting #7: cost 0 inf + 1357965
1553863027.325 * [simplify]: Simplified to (/.p16 (*.p16 y.re x.re) (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im)))
1553863027.325 * [simplify]: Simplified (2 2 2) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 (*.p16 x.im y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))) (/.p16 (*.p16 y.re x.re) (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))))))
1553863027.325 * * * * [progress]: [ 10 / 29 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re))) (*.p16 (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))) (*.p16 (+.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))))>
1553863027.326 * [simplify]: Simplifying (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re))) (*.p16 (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))))
1553863027.326 * * [simplify]: iters left: 5 (13 enodes)
1553863027.329 * * [simplify]: iters left: 4 (50 enodes)
1553863027.338 * * [simplify]: iters left: 3 (149 enodes)
1553863027.381 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863027.381 * * [simplify]: Extracting #1: cost 17 inf + 0
1553863027.381 * * [simplify]: Extracting #2: cost 57 inf + 0
1553863027.382 * * [simplify]: Extracting #3: cost 121 inf + 0
1553863027.383 * * [simplify]: Extracting #4: cost 174 inf + 12958
1553863027.388 * * [simplify]: Extracting #5: cost 62 inf + 203298
1553863027.398 * * [simplify]: Extracting #6: cost 10 inf + 298036
1553863027.410 * * [simplify]: Extracting #7: cost 0 inf + 319076
1553863027.422 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)) (*.p16 (-.p16 (*.p16 (*.p16 y.re x.re) (*.p16 y.re x.re)) (*.p16 (*.p16 y.im x.im) (*.p16 y.im x.im))) (+.p16 (*.p16 (*.p16 y.im x.im) (*.p16 y.im x.im)) (*.p16 (*.p16 y.re x.re) (*.p16 y.re x.re)))))
1553863027.422 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)) (*.p16 (-.p16 (*.p16 (*.p16 y.re x.re) (*.p16 y.re x.re)) (*.p16 (*.p16 y.im x.im) (*.p16 y.im x.im))) (+.p16 (*.p16 (*.p16 y.im x.im) (*.p16 y.im x.im)) (*.p16 (*.p16 y.re x.re) (*.p16 y.re x.re))))) (*.p16 (+.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))))
1553863027.422 * * * * [progress]: [ 11 / 29 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))>
1553863027.422 * [simplify]: Simplifying (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))
1553863027.422 * * [simplify]: iters left: 3 (8 enodes)
1553863027.425 * * [simplify]: iters left: 2 (25 enodes)
1553863027.429 * * [simplify]: iters left: 1 (55 enodes)
1553863027.440 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863027.440 * * [simplify]: Extracting #1: cost 15 inf + 0
1553863027.440 * * [simplify]: Extracting #2: cost 41 inf + 0
1553863027.440 * * [simplify]: Extracting #3: cost 35 inf + 968
1553863027.441 * * [simplify]: Extracting #4: cost 6 inf + 23616
1553863027.442 * * [simplify]: Extracting #5: cost 0 inf + 31800
1553863027.443 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)) (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)))
1553863027.444 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (*.p16 (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)) (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))
1553863027.444 * * * * [progress]: [ 12 / 29 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1553863027.444 * [simplify]: Simplifying (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))
1553863027.444 * * [simplify]: iters left: 4 (9 enodes)
1553863027.446 * * [simplify]: iters left: 3 (31 enodes)
1553863027.453 * * [simplify]: iters left: 2 (68 enodes)
1553863027.488 * * [simplify]: iters left: 1 (363 enodes)
1553863027.871 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863027.871 * * [simplify]: Extracting #1: cost 9 inf + 0
1553863027.871 * * [simplify]: Extracting #2: cost 61 inf + 0
1553863027.872 * * [simplify]: Extracting #3: cost 170 inf + 1091
1553863027.874 * * [simplify]: Extracting #4: cost 107 inf + 55660
1553863027.879 * * [simplify]: Extracting #5: cost 38 inf + 140607
1553863027.887 * * [simplify]: Extracting #6: cost 0 inf + 197683
1553863027.896 * [simplify]: Simplified to (+.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))
1553863027.896 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 y.re x.re) (*.p16 y.im x.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))
1553863027.896 * * * * [progress]: [ 13 / 29 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1553863027.896 * [simplify]: Simplifying (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))
1553863027.896 * * [simplify]: iters left: 4 (9 enodes)
1553863027.898 * * [simplify]: iters left: 3 (31 enodes)
1553863027.910 * * [simplify]: iters left: 2 (68 enodes)
1553863027.943 * * [simplify]: iters left: 1 (363 enodes)
1553863028.414 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863028.414 * * [simplify]: Extracting #1: cost 9 inf + 0
1553863028.414 * * [simplify]: Extracting #2: cost 61 inf + 0
1553863028.414 * * [simplify]: Extracting #3: cost 170 inf + 1091
1553863028.416 * * [simplify]: Extracting #4: cost 107 inf + 55660
1553863028.421 * * [simplify]: Extracting #5: cost 38 inf + 140607
1553863028.430 * * [simplify]: Extracting #6: cost 0 inf + 197683
1553863028.438 * [simplify]: Simplified to (+.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))
1553863028.438 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 y.re x.re) (*.p16 y.im x.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))
1553863028.438 * * * * [progress]: [ 14 / 29 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1553863028.438 * [simplify]: Simplifying (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))
1553863028.439 * * [simplify]: iters left: 4 (9 enodes)
1553863028.441 * * [simplify]: iters left: 3 (31 enodes)
1553863028.448 * * [simplify]: iters left: 2 (68 enodes)
1553863028.487 * * [simplify]: iters left: 1 (363 enodes)
1553863029.148 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863029.148 * * [simplify]: Extracting #1: cost 9 inf + 0
1553863029.149 * * [simplify]: Extracting #2: cost 61 inf + 0
1553863029.150 * * [simplify]: Extracting #3: cost 170 inf + 1091
1553863029.153 * * [simplify]: Extracting #4: cost 107 inf + 55660
1553863029.164 * * [simplify]: Extracting #5: cost 38 inf + 140607
1553863029.185 * * [simplify]: Extracting #6: cost 0 inf + 197683
1553863029.202 * [simplify]: Simplified to (+.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))
1553863029.202 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 y.re x.re) (*.p16 y.im x.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))
1553863029.202 * * * * [progress]: [ 15 / 29 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1553863029.203 * [simplify]: Simplifying (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))
1553863029.203 * * [simplify]: iters left: 4 (9 enodes)
1553863029.208 * * [simplify]: iters left: 3 (31 enodes)
1553863029.222 * * [simplify]: iters left: 2 (68 enodes)
1553863029.289 * * [simplify]: iters left: 1 (363 enodes)
1553863029.705 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863029.705 * * [simplify]: Extracting #1: cost 9 inf + 0
1553863029.705 * * [simplify]: Extracting #2: cost 61 inf + 0
1553863029.706 * * [simplify]: Extracting #3: cost 170 inf + 1091
1553863029.708 * * [simplify]: Extracting #4: cost 107 inf + 55660
1553863029.717 * * [simplify]: Extracting #5: cost 38 inf + 140607
1553863029.733 * * [simplify]: Extracting #6: cost 0 inf + 197683
1553863029.741 * [simplify]: Simplified to (+.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))
1553863029.742 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 y.re x.re) (*.p16 y.im x.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))
1553863029.742 * * * * [progress]: [ 16 / 29 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))))))>
1553863029.742 * * * * [progress]: [ 17 / 29 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1553863029.742 * [simplify]: Simplifying (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1553863029.742 * * [simplify]: iters left: 2 (7 enodes)
1553863029.743 * * [simplify]: iters left: 1 (18 enodes)
1553863029.745 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863029.745 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863029.745 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863029.745 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863029.746 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863029.746 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))
1553863029.746 * [simplify]: Simplified (2 2) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))) (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))))
1553863029.746 * * * * [progress]: [ 18 / 29 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re))) (*.p16 (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))))) (*.p16 (+.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1553863029.746 * [simplify]: Simplifying (*.p16 (+.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))
1553863029.746 * * [simplify]: iters left: 4 (11 enodes)
1553863029.748 * * [simplify]: iters left: 3 (38 enodes)
1553863029.757 * * [simplify]: iters left: 2 (94 enodes)
1553863029.803 * * [simplify]: iters left: 1 (263 enodes)
1553863029.906 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863029.906 * * [simplify]: Extracting #1: cost 21 inf + 0
1553863029.907 * * [simplify]: Extracting #2: cost 126 inf + 0
1553863029.907 * * [simplify]: Extracting #3: cost 159 inf + 11965
1553863029.912 * * [simplify]: Extracting #4: cost 43 inf + 151366
1553863029.923 * * [simplify]: Extracting #5: cost 0 inf + 219360
1553863029.936 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 (*.p16 y.re x.re) (*.p16 y.re x.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 y.re x.re) (*.p16 x.im y.im)))
1553863029.936 * [simplify]: Simplified (2 2) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re))) (*.p16 (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))))) (*.p16 (+.p16 (*.p16 (*.p16 y.re x.re) (*.p16 y.re x.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 y.re x.re) (*.p16 x.im y.im)))))
1553863029.937 * * * * [progress]: [ 19 / 29 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))>
1553863029.937 * [simplify]: Simplifying (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))
1553863029.937 * * [simplify]: iters left: 4 (11 enodes)
1553863029.939 * * [simplify]: iters left: 3 (39 enodes)
1553863029.946 * * [simplify]: iters left: 2 (95 enodes)
1553863029.969 * * [simplify]: iters left: 1 (307 enodes)
1553863030.093 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863030.093 * * [simplify]: Extracting #1: cost 35 inf + 0
1553863030.093 * * [simplify]: Extracting #2: cost 175 inf + 0
1553863030.094 * * [simplify]: Extracting #3: cost 263 inf + 8916
1553863030.101 * * [simplify]: Extracting #4: cost 227 inf + 259623
1553863030.124 * * [simplify]: Extracting #5: cost 70 inf + 617653
1553863030.161 * * [simplify]: Extracting #6: cost 1 inf + 764216
1553863030.194 * * [simplify]: Extracting #7: cost 0 inf + 768140
1553863030.226 * [simplify]: Simplified to (/.p16 (real->posit16 1.0) (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im)))
1553863030.227 * [simplify]: Simplified (2 2) to (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (/.p16 (real->posit16 1.0) (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im)))))
1553863030.227 * * * * [progress]: [ 20 / 29 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))))>
1553863030.227 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))
1553863030.227 * * [simplify]: iters left: 3 (9 enodes)
1553863030.229 * * [simplify]: iters left: 2 (37 enodes)
1553863030.235 * * [simplify]: iters left: 1 (90 enodes)
1553863030.261 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863030.261 * * [simplify]: Extracting #1: cost 21 inf + 0
1553863030.261 * * [simplify]: Extracting #2: cost 55 inf + 0
1553863030.262 * * [simplify]: Extracting #3: cost 88 inf + 2654
1553863030.264 * * [simplify]: Extracting #4: cost 69 inf + 28908
1553863030.272 * * [simplify]: Extracting #5: cost 2 inf + 127256
1553863030.280 * * [simplify]: Extracting #6: cost 0 inf + 129622
1553863030.288 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 y.re x.re) (*.p16 x.im y.im)) (+.p16 (*.p16 y.re x.re) (*.p16 x.im y.im)))
1553863030.288 * [simplify]: Simplified (2 2) to (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))) (*.p16 (-.p16 (*.p16 y.re x.re) (*.p16 x.im y.im)) (+.p16 (*.p16 y.re x.re) (*.p16 x.im y.im)))))
1553863030.288 * * * * [progress]: [ 21 / 29 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1553863030.289 * [simplify]: Simplifying (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1553863030.289 * * [simplify]: iters left: 2 (7 enodes)
1553863030.292 * * [simplify]: iters left: 1 (24 enodes)
1553863030.300 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863030.300 * * [simplify]: Extracting #1: cost 6 inf + 0
1553863030.300 * * [simplify]: Extracting #2: cost 15 inf + 0
1553863030.301 * * [simplify]: Extracting #3: cost 19 inf + 728
1553863030.301 * * [simplify]: Extracting #4: cost 3 inf + 11524
1553863030.302 * * [simplify]: Extracting #5: cost 0 inf + 15936
1553863030.302 * [simplify]: Simplified to (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))
1553863030.302 * [simplify]: Simplified (2 2) to (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))) (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))))
1553863030.303 * * * * [progress]: [ 22 / 29 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1553863030.303 * [simplify]: Simplifying (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1553863030.303 * * [simplify]: iters left: 2 (7 enodes)
1553863030.305 * * [simplify]: iters left: 1 (24 enodes)
1553863030.312 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863030.312 * * [simplify]: Extracting #1: cost 6 inf + 0
1553863030.313 * * [simplify]: Extracting #2: cost 15 inf + 0
1553863030.313 * * [simplify]: Extracting #3: cost 19 inf + 728
1553863030.313 * * [simplify]: Extracting #4: cost 3 inf + 11524
1553863030.314 * * [simplify]: Extracting #5: cost 0 inf + 15936
1553863030.314 * [simplify]: Simplified to (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))
1553863030.315 * [simplify]: Simplified (2 2) to (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))) (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))))
1553863030.315 * * * * [progress]: [ 23 / 29 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1553863030.315 * [simplify]: Simplifying (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1553863030.315 * * [simplify]: iters left: 2 (7 enodes)
1553863030.318 * * [simplify]: iters left: 1 (24 enodes)
1553863030.324 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863030.324 * * [simplify]: Extracting #1: cost 6 inf + 0
1553863030.324 * * [simplify]: Extracting #2: cost 15 inf + 0
1553863030.325 * * [simplify]: Extracting #3: cost 19 inf + 728
1553863030.325 * * [simplify]: Extracting #4: cost 3 inf + 11524
1553863030.326 * * [simplify]: Extracting #5: cost 0 inf + 15936
1553863030.326 * [simplify]: Simplified to (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))
1553863030.326 * [simplify]: Simplified (2 2) to (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))) (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))))
1553863030.326 * * * * [progress]: [ 24 / 29 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))>
1553863030.327 * [simplify]: Simplifying (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1553863030.327 * * [simplify]: iters left: 2 (7 enodes)
1553863030.329 * * [simplify]: iters left: 1 (24 enodes)
1553863030.336 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863030.337 * * [simplify]: Extracting #1: cost 6 inf + 0
1553863030.337 * * [simplify]: Extracting #2: cost 15 inf + 0
1553863030.337 * * [simplify]: Extracting #3: cost 19 inf + 728
1553863030.337 * * [simplify]: Extracting #4: cost 3 inf + 11524
1553863030.338 * * [simplify]: Extracting #5: cost 0 inf + 15936
1553863030.339 * [simplify]: Simplified to (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))
1553863030.339 * [simplify]: Simplified (2 2) to (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))) (-.p16 (*.p16 y.re x.re) (*.p16 y.im x.im))))
1553863030.339 * * * * [progress]: [ 25 / 29 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 x.im y.im) (*.p16 x.re y.re)))))>
1553863030.339 * * * * [progress]: [ 26 / 29 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1553863030.339 * [simplify]: Simplifying (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1553863030.339 * * [simplify]: iters left: 2 (7 enodes)
1553863030.342 * * [simplify]: iters left: 1 (18 enodes)
1553863030.347 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863030.347 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863030.347 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863030.347 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863030.347 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863030.347 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))
1553863030.347 * [simplify]: Simplified (2 2 2) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)))))
1553863030.347 * * * * [progress]: [ 27 / 29 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1553863030.348 * [simplify]: Simplifying (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1553863030.348 * * [simplify]: iters left: 2 (7 enodes)
1553863030.350 * * [simplify]: iters left: 1 (18 enodes)
1553863030.355 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863030.355 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863030.355 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863030.355 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863030.355 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863030.355 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))
1553863030.356 * [simplify]: Simplified (2 2 2) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)))))
1553863030.356 * * * * [progress]: [ 28 / 29 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1553863030.356 * [simplify]: Simplifying (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1553863030.356 * * [simplify]: iters left: 2 (7 enodes)
1553863030.359 * * [simplify]: iters left: 1 (18 enodes)
1553863030.365 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863030.365 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863030.365 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863030.365 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863030.365 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863030.365 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))
1553863030.365 * [simplify]: Simplified (2 2 2) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)))))
1553863030.366 * * * * [progress]: [ 29 / 29 ] simplifiying candidate #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>
1553863030.366 * [simplify]: Simplifying (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1553863030.366 * * [simplify]: iters left: 2 (7 enodes)
1553863030.369 * * [simplify]: iters left: 1 (18 enodes)
1553863030.374 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863030.374 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863030.374 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863030.374 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863030.374 * * [simplify]: Extracting #4: cost 0 inf + 1332
1553863030.374 * [simplify]: Simplified to (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re))
1553863030.374 * [simplify]: Simplified (2 2 2) to (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (+.p16 (*.p16 y.im x.im) (*.p16 y.re x.re)))))
1553863030.374 * * * [progress]: adding candidates to table
1553863031.427 * [progress]: [Phase 3 of 3] Extracting.
1553863031.427 * * [regime]: Finding splitpoints for: (#<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re))) (*.p16 (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))> #<alt (λ (x.re x.im y.re y.im) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))> #<alt (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 y.re (*.p16 x.re (*.p16 x.re y.re))) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 x.im (*.p16 y.im (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 (*.p16 x.re y.re) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))) (*.p16 (*.p16 x.im y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>)
1553863031.430 * * * [regime-changes]: Trying 4 branch expressions: (y.im x.im y.re x.re)
1553863031.430 * * * * [regimes]: Trying to branch on y.im from (#<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re))) (*.p16 (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))> #<alt (λ (x.re x.im y.re y.im) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))> #<alt (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 y.re (*.p16 x.re (*.p16 x.re y.re))) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 x.im (*.p16 y.im (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 (*.p16 x.re y.re) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))) (*.p16 (*.p16 x.im y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>)
1553863031.711 * * * * [regimes]: Trying to branch on x.im from (#<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re))) (*.p16 (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))> #<alt (λ (x.re x.im y.re y.im) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))> #<alt (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 y.re (*.p16 x.re (*.p16 x.re y.re))) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 x.im (*.p16 y.im (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 (*.p16 x.re y.re) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))) (*.p16 (*.p16 x.im y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>)
1553863032.058 * * * * [regimes]: Trying to branch on y.re from (#<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re))) (*.p16 (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))> #<alt (λ (x.re x.im y.re y.im) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))> #<alt (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 y.re (*.p16 x.re (*.p16 x.re y.re))) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 x.im (*.p16 y.im (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 (*.p16 x.re y.re) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))) (*.p16 (*.p16 x.im y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>)
1553863032.398 * * * * [regimes]: Trying to branch on x.re from (#<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re))) (*.p16 (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))) (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (/.p16 (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))> #<alt (λ (x.re x.im y.re y.im) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))> #<alt (λ (x.re x.im y.re y.im) (*.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 y.re (*.p16 x.re (*.p16 x.re y.re))) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 x.im (*.p16 y.im (*.p16 x.im y.im)))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 (*.p16 x.re y.re) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))) (*.p16 (*.p16 x.im y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))))))))> #<alt (λ (x.re x.im y.re y.im) (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (*.p16 (/.p16 (/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))) (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))))>)
1553863032.845 * * * [regime]: Found split indices: #<option (#s(si 2 256))>
1553863032.845 * [simplify]: Simplifying (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1553863032.845 * * [simplify]: iters left: 2 (7 enodes)
1553863032.846 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863032.846 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863032.846 * * [simplify]: Extracting #2: cost 7 inf + 0
1553863032.846 * * [simplify]: Extracting #3: cost 2 inf + 326
1553863032.846 * * [simplify]: Extracting #4: cost 0 inf + 1372
1553863032.846 * [simplify]: Simplified to (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
1553863032.846 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1553863032.894 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1553863032.895 * * * * [points]: Setting MPFR precision to 64
1553863032.896 * * * * [points]: Setting MPFR precision to 320
1553863032.897 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1553863032.898 * * * * [points]: Setting MPFR precision to 64
1553863032.902 * * * * [points]: Setting MPFR precision to 320
1553863032.906 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1553863032.907 * * * * [points]: Setting MPFR precision to 64
1553863032.911 * * * * [points]: Setting MPFR precision to 320
1553863032.916 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1553863032.917 * * * * [points]: Setting MPFR precision to 64
1553863032.923 * * * * [points]: Setting MPFR precision to 320
1553863032.949 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1553863032.951 * * * * [points]: Setting MPFR precision to 64
1553863032.979 * * * * [points]: Setting MPFR precision to 320
1553863033.011 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1553863033.013 * * * * [points]: Setting MPFR precision to 64
1553863033.059 * * * * [points]: Setting MPFR precision to 320
1553863033.103 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1553863033.104 * * * * [points]: Setting MPFR precision to 64
1553863033.186 * * * * [points]: Setting MPFR precision to 320
1553863033.281 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1553863033.282 * * * * [points]: Setting MPFR precision to 64
1553863033.499 * * * * [points]: Setting MPFR precision to 320
1553863033.675 * * * * [points]: Computing exacts for 8000 points
1553863033.676 * * * * [points]: Setting MPFR precision to 64
1553863034.967 * * * * [points]: Setting MPFR precision to 320
1553863036.286 * * * * [points]: Filtering points with unrepresentable outputs
1553863037.129 * * * * [points]: Sampled 8000 points with exact outputs
1553863039.454 * [regime-testing]: Baseline error score: 64.0
1553863039.456 * [regime-testing]: Oracle error score: 64.0
1553863039.460 * [regime-testing]: End program error score: 0.2805054249525441