1552126517.944 * [progress]: [Phase 1 of 3] Setting up.
1552126517.944 * * * [progress]: [1/2] Preparing points
1552126517.944 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1552126517.945 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1552126517.946 * * * * [points]: Setting MPFR precision to 64
1552126517.947 * * * * [points]: Setting MPFR precision to 320
1552126517.948 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1552126517.949 * * * * [points]: Setting MPFR precision to 64
1552126517.951 * * * * [points]: Setting MPFR precision to 320
1552126517.954 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1552126517.955 * * * * [points]: Setting MPFR precision to 64
1552126517.958 * * * * [points]: Setting MPFR precision to 320
1552126517.962 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1552126517.963 * * * * [points]: Setting MPFR precision to 64
1552126517.968 * * * * [points]: Setting MPFR precision to 320
1552126517.975 * * * * [points]: Computing exacts for 256 points
1552126517.976 * * * * [points]: Setting MPFR precision to 64
1552126517.991 * * * * [points]: Setting MPFR precision to 320
1552126518.011 * * * * [points]: Filtering points with unrepresentable outputs
1552126518.024 * * * * [points]: Sampled 256 points with exact outputs
1552126518.024 * * * [progress]: [2/2] Setting up program.
1552126518.039 * [progress]: [Phase 2 of 3] Improving.
1552126518.039 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126518.039 * [simplify]: Simplifying (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))
1552126518.039 * * [simplify]: iters left: 4 (11 enodes)
1552126518.041 * * [simplify]: iters left: 3 (29 enodes)
1552126518.046 * * [simplify]: iters left: 2 (80 enodes)
1552126518.078 * * [simplify]: iters left: 1 (221 enodes)
1552126518.154 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126518.155 * * [simplify]: Extracting #1: cost 13 inf + 0
1552126518.155 * * [simplify]: Extracting #2: cost 84 inf + 1
1552126518.155 * * [simplify]: Extracting #3: cost 260 inf + 1931
1552126518.158 * * [simplify]: Extracting #4: cost 234 inf + 56565
1552126518.166 * * [simplify]: Extracting #5: cost 79 inf + 287232
1552126518.193 * * [simplify]: Extracting #6: cost 2 inf + 414836
1552126518.225 * * [simplify]: Extracting #7: cost 0 inf + 420160
1552126518.255 * [simplify]: Simplified to (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
1552126518.255 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))
1552126518.311 * * [progress]: iteration 1 / 4
1552126518.311 * * * [progress]: picking best candidate
1552126518.365 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126518.365 * * * [progress]: localizing error
1552126518.858 * * * [progress]: generating rewritten candidates
1552126518.858 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1552126518.861 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1552126518.867 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1552126518.869 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1552126518.873 * * * [progress]: generating series expansions
1552126518.873 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1552126518.873 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1552126518.873 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1552126518.873 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1552126518.873 * * * [progress]: simplifying candidates
1552126518.873 * * * * [progress]: [ 1 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126518.873 * [simplify]: Simplifying (+.p16 x.re x.im)
1552126518.873 * * [simplify]: iters left: 1 (3 enodes)
1552126518.874 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126518.875 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126518.875 * * [simplify]: Extracting #2: cost 1 inf + 2
1552126518.875 * * [simplify]: Extracting #3: cost 0 inf + 44
1552126518.875 * [simplify]: Simplified to (+.p16 x.im x.re)
1552126518.875 * [simplify]: Simplified (2 1 1 1) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
1552126518.875 * [simplify]: Simplifying (-.p16 x.re x.im)
1552126518.875 * * [simplify]: iters left: 1 (3 enodes)
1552126518.876 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126518.876 * * [simplify]: Extracting #1: cost 6 inf + 0
1552126518.876 * * [simplify]: Extracting #2: cost 5 inf + 44
1552126518.876 * * [simplify]: Extracting #3: cost 0 inf + 1571
1552126518.877 * [simplify]: Simplified to (-.p16 x.re x.im)
1552126518.877 * [simplify]: Simplified (2 1 1 2) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
1552126518.877 * * * * [progress]: [ 2 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 (*.p16 x.re x.re) (neg.p16 (*.p16 x.im x.im))) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126518.877 * * * * [progress]: [ 3 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126518.877 * * * * [progress]: [ 4 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re) (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im)))>
1552126518.877 * * * * [progress]: [ 5 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126518.877 * [simplify]: Simplifying (+.p16 x.re x.im)
1552126518.877 * * [simplify]: iters left: 1 (3 enodes)
1552126518.878 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126518.878 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126518.878 * * [simplify]: Extracting #2: cost 1 inf + 2
1552126518.878 * * [simplify]: Extracting #3: cost 0 inf + 44
1552126518.878 * [simplify]: Simplified to (+.p16 x.im x.re)
1552126518.878 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.im x.re) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
1552126518.879 * * * * [progress]: [ 6 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (/.p16 (*.p16 (-.p16 (*.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) x.im) (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126518.879 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) x.im)
1552126518.879 * * [simplify]: iters left: 4 (8 enodes)
1552126518.882 * * [simplify]: iters left: 3 (31 enodes)
1552126518.894 * * [simplify]: iters left: 2 (85 enodes)
1552126518.941 * * [simplify]: iters left: 1 (279 enodes)
1552126519.082 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126519.083 * * [simplify]: Extracting #1: cost 69 inf + 0
1552126519.083 * * [simplify]: Extracting #2: cost 323 inf + 1
1552126519.086 * * [simplify]: Extracting #3: cost 341 inf + 60114
1552126519.101 * * [simplify]: Extracting #4: cost 127 inf + 505558
1552126519.144 * * [simplify]: Extracting #5: cost 4 inf + 763673
1552126519.206 * * [simplify]: Extracting #6: cost 0 inf + 776441
1552126519.239 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) x.im)
1552126519.239 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (+.p16 (/.p16 (*.p16 (-.p16 (*.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) x.im) (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
1552126519.239 * * * * [progress]: [ 7 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126519.239 * * * * [progress]: [ 8 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 x.re (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)))))>
1552126519.239 * * * * [progress]: [ 9 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126519.239 * [simplify]: Simplifying (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))
1552126519.239 * * [simplify]: iters left: 4 (11 enodes)
1552126519.242 * * [simplify]: iters left: 3 (29 enodes)
1552126519.248 * * [simplify]: iters left: 2 (80 enodes)
1552126519.280 * * [simplify]: iters left: 1 (221 enodes)
1552126519.424 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126519.424 * * [simplify]: Extracting #1: cost 13 inf + 0
1552126519.424 * * [simplify]: Extracting #2: cost 84 inf + 1
1552126519.425 * * [simplify]: Extracting #3: cost 260 inf + 1931
1552126519.427 * * [simplify]: Extracting #4: cost 234 inf + 56565
1552126519.436 * * [simplify]: Extracting #5: cost 79 inf + 287232
1552126519.450 * * [simplify]: Extracting #6: cost 2 inf + 414836
1552126519.465 * * [simplify]: Extracting #7: cost 0 inf + 420160
1552126519.481 * [simplify]: Simplified to (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
1552126519.481 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))
1552126519.481 * * * * [progress]: [ 10 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126519.481 * [simplify]: Simplifying (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))
1552126519.481 * * [simplify]: iters left: 4 (11 enodes)
1552126519.483 * * [simplify]: iters left: 3 (29 enodes)
1552126519.491 * * [simplify]: iters left: 2 (80 enodes)
1552126519.508 * * [simplify]: iters left: 1 (221 enodes)
1552126519.582 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126519.582 * * [simplify]: Extracting #1: cost 13 inf + 0
1552126519.582 * * [simplify]: Extracting #2: cost 84 inf + 1
1552126519.583 * * [simplify]: Extracting #3: cost 260 inf + 1931
1552126519.585 * * [simplify]: Extracting #4: cost 234 inf + 56565
1552126519.594 * * [simplify]: Extracting #5: cost 79 inf + 287232
1552126519.609 * * [simplify]: Extracting #6: cost 2 inf + 414836
1552126519.626 * * [simplify]: Extracting #7: cost 0 inf + 420160
1552126519.649 * [simplify]: Simplified to (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
1552126519.649 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))
1552126519.649 * * * * [progress]: [ 11 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126519.649 * [simplify]: Simplifying (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))
1552126519.649 * * [simplify]: iters left: 4 (11 enodes)
1552126519.654 * * [simplify]: iters left: 3 (29 enodes)
1552126519.665 * * [simplify]: iters left: 2 (80 enodes)
1552126519.700 * * [simplify]: iters left: 1 (221 enodes)
1552126519.850 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126519.850 * * [simplify]: Extracting #1: cost 13 inf + 0
1552126519.851 * * [simplify]: Extracting #2: cost 84 inf + 1
1552126519.856 * * [simplify]: Extracting #3: cost 260 inf + 1931
1552126519.861 * * [simplify]: Extracting #4: cost 234 inf + 56565
1552126519.878 * * [simplify]: Extracting #5: cost 79 inf + 287232
1552126519.907 * * [simplify]: Extracting #6: cost 2 inf + 414836
1552126519.923 * * [simplify]: Extracting #7: cost 0 inf + 420160
1552126519.938 * [simplify]: Simplified to (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
1552126519.938 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))
1552126519.938 * * * * [progress]: [ 12 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126519.938 * [simplify]: Simplifying (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))
1552126519.938 * * [simplify]: iters left: 4 (11 enodes)
1552126519.941 * * [simplify]: iters left: 3 (29 enodes)
1552126519.946 * * [simplify]: iters left: 2 (80 enodes)
1552126519.964 * * [simplify]: iters left: 1 (221 enodes)
1552126520.040 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126520.040 * * [simplify]: Extracting #1: cost 13 inf + 0
1552126520.041 * * [simplify]: Extracting #2: cost 84 inf + 1
1552126520.041 * * [simplify]: Extracting #3: cost 260 inf + 1931
1552126520.044 * * [simplify]: Extracting #4: cost 234 inf + 56565
1552126520.052 * * [simplify]: Extracting #5: cost 79 inf + 287232
1552126520.067 * * [simplify]: Extracting #6: cost 2 inf + 414836
1552126520.082 * * [simplify]: Extracting #7: cost 0 inf + 420160
1552126520.098 * [simplify]: Simplified to (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
1552126520.098 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))
1552126520.099 * * * [progress]: adding candidates to table
1552126520.715 * * [progress]: iteration 2 / 4
1552126520.715 * * * [progress]: picking best candidate
1552126520.772 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126520.772 * * * [progress]: localizing error
1552126520.934 * * * [progress]: generating rewritten candidates
1552126520.934 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1552126520.941 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1552126520.951 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1552126520.954 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
1552126520.955 * * * [progress]: generating series expansions
1552126520.955 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1552126520.955 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1552126520.955 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1552126520.955 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
1552126520.955 * * * [progress]: simplifying candidates
1552126520.955 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re) (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.im))))>
1552126520.955 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 x.re (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)))))>
1552126520.956 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126520.956 * * * * [progress]: [ 4 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im)) (+.p16 x.re x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126520.956 * [simplify]: Simplifying (+.p16 x.re x.im)
1552126520.956 * * [simplify]: iters left: 1 (3 enodes)
1552126520.956 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126520.956 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126520.956 * * [simplify]: Extracting #2: cost 1 inf + 2
1552126520.956 * * [simplify]: Extracting #3: cost 0 inf + 44
1552126520.956 * [simplify]: Simplified to (+.p16 x.im x.re)
1552126520.957 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (+.p16 (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im)) (+.p16 x.im x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
1552126520.957 * * * * [progress]: [ 5 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (-.p16 x.re x.im) x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126520.957 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (/.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (+.p16 x.re x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126520.957 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im)
1552126520.957 * * [simplify]: iters left: 3 (6 enodes)
1552126520.958 * * [simplify]: iters left: 2 (21 enodes)
1552126520.962 * * [simplify]: iters left: 1 (58 enodes)
1552126520.974 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126520.974 * * [simplify]: Extracting #1: cost 19 inf + 0
1552126520.974 * * [simplify]: Extracting #2: cost 57 inf + 1
1552126520.974 * * [simplify]: Extracting #3: cost 56 inf + 2810
1552126520.975 * * [simplify]: Extracting #4: cost 40 inf + 27662
1552126520.977 * * [simplify]: Extracting #5: cost 1 inf + 68925
1552126520.979 * * [simplify]: Extracting #6: cost 0 inf + 71247
1552126520.981 * [simplify]: Simplified to (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))
1552126520.981 * [simplify]: Simplified (2 1 2 1) to (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (/.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (+.p16 x.re x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
1552126520.981 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 x.im (-.p16 x.re x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126520.981 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126520.982 * [simplify]: Simplifying (+.p16 x.re x.im)
1552126520.982 * * [simplify]: iters left: 1 (3 enodes)
1552126520.982 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126520.982 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126520.982 * * [simplify]: Extracting #2: cost 1 inf + 2
1552126520.982 * * [simplify]: Extracting #3: cost 0 inf + 44
1552126520.982 * [simplify]: Simplified to (+.p16 x.im x.re)
1552126520.982 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.im x.re) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
1552126520.982 * * * * [progress]: [ 9 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126520.983 * [simplify]: Simplifying (+.p16 x.re x.im)
1552126520.983 * * [simplify]: iters left: 1 (3 enodes)
1552126520.983 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126520.983 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126520.983 * * [simplify]: Extracting #2: cost 1 inf + 2
1552126520.983 * * [simplify]: Extracting #3: cost 0 inf + 44
1552126520.983 * [simplify]: Simplified to (+.p16 x.im x.re)
1552126520.983 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.im x.re) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
1552126520.983 * * * * [progress]: [ 10 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126520.983 * [simplify]: Simplifying (+.p16 x.re x.im)
1552126520.984 * * [simplify]: iters left: 1 (3 enodes)
1552126520.984 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126520.984 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126520.984 * * [simplify]: Extracting #2: cost 1 inf + 2
1552126520.984 * * [simplify]: Extracting #3: cost 0 inf + 44
1552126520.984 * [simplify]: Simplified to (+.p16 x.im x.re)
1552126520.984 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.im x.re) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
1552126520.984 * * * * [progress]: [ 11 / 11 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126520.984 * [simplify]: Simplifying (+.p16 x.re x.im)
1552126520.984 * * [simplify]: iters left: 1 (3 enodes)
1552126520.985 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126520.985 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126520.985 * * [simplify]: Extracting #2: cost 1 inf + 2
1552126520.985 * * [simplify]: Extracting #3: cost 0 inf + 44
1552126520.985 * [simplify]: Simplified to (+.p16 x.im x.re)
1552126520.985 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.im x.re) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
1552126520.985 * * * [progress]: adding candidates to table
1552126521.462 * * [progress]: iteration 3 / 4
1552126521.462 * * * [progress]: picking best candidate
1552126521.547 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126521.547 * * * [progress]: localizing error
1552126521.701 * * * [progress]: generating rewritten candidates
1552126521.701 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1552126521.707 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1552126521.724 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
1552126521.727 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
1552126521.731 * * * [progress]: generating series expansions
1552126521.731 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1552126521.731 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1552126521.731 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1552126521.731 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
1552126521.731 * * * [progress]: simplifying candidates
1552126521.731 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re) (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im)))>
1552126521.731 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126521.731 * [simplify]: Simplifying (+.p16 x.re x.im)
1552126521.731 * * [simplify]: iters left: 1 (3 enodes)
1552126521.732 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126521.732 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126521.733 * * [simplify]: Extracting #2: cost 1 inf + 2
1552126521.733 * * [simplify]: Extracting #3: cost 0 inf + 44
1552126521.733 * [simplify]: Simplified to (+.p16 x.im x.re)
1552126521.733 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.im x.re) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
1552126521.733 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126521.733 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.im)
1552126521.733 * * [simplify]: iters left: 4 (8 enodes)
1552126521.737 * * [simplify]: iters left: 3 (26 enodes)
1552126521.746 * * [simplify]: iters left: 2 (77 enodes)
1552126521.785 * * [simplify]: iters left: 1 (298 enodes)
1552126522.058 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126522.058 * * [simplify]: Extracting #1: cost 59 inf + 0
1552126522.059 * * [simplify]: Extracting #2: cost 289 inf + 1
1552126522.061 * * [simplify]: Extracting #3: cost 343 inf + 39496
1552126522.070 * * [simplify]: Extracting #4: cost 150 inf + 290379
1552126522.089 * * [simplify]: Extracting #5: cost 43 inf + 492829
1552126522.116 * * [simplify]: Extracting #6: cost 3 inf + 557843
1552126522.139 * * [simplify]: Extracting #7: cost 0 inf + 567009
1552126522.162 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 x.re x.im) x.im) (*.p16 (+.p16 x.im x.re) (+.p16 x.im x.re)))
1552126522.162 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (+.p16 (/.p16 (*.p16 (*.p16 (-.p16 x.re x.im) x.im) (*.p16 (+.p16 x.im x.re) (+.p16 x.im x.re))) (+.p16 x.re x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
1552126522.162 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126522.162 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 x.re (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)))))>
1552126522.162 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.im x.re) (*.p16 x.re x.im)) x.re)))>
1552126522.162 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126522.162 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126522.162 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126522.162 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1552126522.162 * * * [progress]: adding candidates to table
1552126522.393 * * [progress]: iteration 4 / 4
1552126522.393 * * * [progress]: picking best candidate
1552126522.441 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
1552126522.441 * * * [progress]: localizing error
1552126522.613 * * * [progress]: generating rewritten candidates
1552126522.613 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1552126522.617 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1552126522.618 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
1552126522.620 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1552126522.621 * * * [progress]: generating series expansions
1552126522.621 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1552126522.621 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1552126522.621 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
1552126522.621 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1552126522.621 * * * [progress]: simplifying candidates
1552126522.621 * * * * [progress]: [ 1 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))>
1552126522.621 * [simplify]: Simplifying (*.p16 x.re x.re)
1552126522.621 * * [simplify]: iters left: 1 (2 enodes)
1552126522.622 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126522.622 * * [simplify]: Extracting #1: cost 2 inf + 0
1552126522.622 * * [simplify]: Extracting #2: cost 1 inf + 1
1552126522.622 * * [simplify]: Extracting #3: cost 0 inf + 322
1552126522.622 * [simplify]: Simplified to (*.p16 x.re x.re)
1552126522.622 * [simplify]: Simplified (2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))
1552126522.622 * * * * [progress]: [ 2 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))>
1552126522.622 * [simplify]: Simplifying (*.p16 x.re x.re)
1552126522.622 * * [simplify]: iters left: 1 (2 enodes)
1552126522.622 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126522.623 * * [simplify]: Extracting #1: cost 2 inf + 0
1552126522.623 * * [simplify]: Extracting #2: cost 1 inf + 1
1552126522.623 * * [simplify]: Extracting #3: cost 0 inf + 322
1552126522.623 * [simplify]: Simplified to (*.p16 x.re x.re)
1552126522.623 * [simplify]: Simplified (2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))
1552126522.623 * * * * [progress]: [ 3 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (+.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (*.p16 x.re (+.p16 x.re x.re))))))>
1552126522.623 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
1552126522.623 * * [simplify]: iters left: 2 (4 enodes)
1552126522.624 * * [simplify]: iters left: 1 (10 enodes)
1552126522.625 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126522.625 * * [simplify]: Extracting #1: cost 6 inf + 0
1552126522.625 * * [simplify]: Extracting #2: cost 6 inf + 1
1552126522.625 * * [simplify]: Extracting #3: cost 4 inf + 323
1552126522.625 * * [simplify]: Extracting #4: cost 0 inf + 1371
1552126522.625 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
1552126522.625 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.re x.im) x.re) (+.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (*.p16 x.re (+.p16 x.re x.re))))))
1552126522.625 * * * * [progress]: [ 4 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))>
1552126522.626 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
1552126522.626 * * [simplify]: iters left: 2 (4 enodes)
1552126522.626 * * [simplify]: iters left: 1 (15 enodes)
1552126522.629 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126522.629 * * [simplify]: Extracting #1: cost 5 inf + 0
1552126522.629 * * [simplify]: Extracting #2: cost 5 inf + 1
1552126522.629 * * [simplify]: Extracting #3: cost 0 inf + 1049
1552126522.629 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
1552126522.629 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))
1552126522.629 * * * * [progress]: [ 5 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))))>
1552126522.629 * * * * [progress]: [ 6 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
1552126522.629 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))
1552126522.629 * * [simplify]: iters left: 3 (5 enodes)
1552126522.630 * * [simplify]: iters left: 2 (15 enodes)
1552126522.633 * * [simplify]: iters left: 1 (29 enodes)
1552126522.637 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126522.637 * * [simplify]: Extracting #1: cost 10 inf + 0
1552126522.637 * * [simplify]: Extracting #2: cost 5 inf + 725
1552126522.637 * * [simplify]: Extracting #3: cost 0 inf + 2774
1552126522.638 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)
1552126522.638 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)))
1552126522.638 * * * * [progress]: [ 7 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))>
1552126522.638 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)
1552126522.638 * * [simplify]: iters left: 3 (5 enodes)
1552126522.639 * * [simplify]: iters left: 2 (15 enodes)
1552126522.641 * * [simplify]: iters left: 1 (25 enodes)
1552126522.651 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126522.651 * * [simplify]: Extracting #1: cost 10 inf + 0
1552126522.651 * * [simplify]: Extracting #2: cost 7 inf + 43
1552126522.651 * * [simplify]: Extracting #3: cost 3 inf + 1089
1552126522.651 * * [simplify]: Extracting #4: cost 0 inf + 2774
1552126522.652 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (*.p16 x.re x.re) x.im))
1552126522.652 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (*.p16 x.re x.re) x.im))))
1552126522.652 * * * * [progress]: [ 8 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))) x.im))>
1552126522.652 * * * * [progress]: [ 9 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))) (*.p16 x.re (+.p16 x.re x.re)))))>
1552126522.652 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
1552126522.652 * * [simplify]: iters left: 2 (5 enodes)
1552126522.653 * * [simplify]: iters left: 1 (11 enodes)
1552126522.654 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126522.654 * * [simplify]: Extracting #1: cost 7 inf + 0
1552126522.654 * * [simplify]: Extracting #2: cost 9 inf + 0
1552126522.655 * * [simplify]: Extracting #3: cost 7 inf + 2
1552126522.655 * * [simplify]: Extracting #4: cost 0 inf + 2173
1552126522.655 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
1552126522.655 * [simplify]: Simplified (2 2 1 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))) (*.p16 x.re (+.p16 x.re x.re)))))
1552126522.655 * * * * [progress]: [ 10 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (*.p16 x.re (+.p16 x.re x.re)))))>
1552126522.655 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
1552126522.655 * * [simplify]: iters left: 2 (5 enodes)
1552126522.656 * * [simplify]: iters left: 1 (17 enodes)
1552126522.659 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126522.659 * * [simplify]: Extracting #1: cost 5 inf + 0
1552126522.659 * * [simplify]: Extracting #2: cost 7 inf + 0
1552126522.659 * * [simplify]: Extracting #3: cost 5 inf + 2
1552126522.659 * * [simplify]: Extracting #4: cost 0 inf + 1370
1552126522.659 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
1552126522.659 * [simplify]: Simplified (2 2 1 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))) (*.p16 x.re (+.p16 x.re x.re)))))
1552126522.659 * * * * [progress]: [ 11 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (/.p16 (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (+.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
1552126522.659 * [simplify]: Simplifying (+.p16 x.re x.im)
1552126522.659 * * [simplify]: iters left: 1 (3 enodes)
1552126522.660 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126522.660 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126522.660 * * [simplify]: Extracting #2: cost 1 inf + 2
1552126522.660 * * [simplify]: Extracting #3: cost 0 inf + 44
1552126522.660 * [simplify]: Simplified to (+.p16 x.im x.re)
1552126522.660 * [simplify]: Simplified (2 2 1 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (/.p16 (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re)))))
1552126522.660 * * * * [progress]: [ 12 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re)))))>
1552126522.660 * * * * [progress]: [ 13 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
1552126522.660 * [simplify]: Simplifying (*.p16 x.re x.re)
1552126522.660 * * [simplify]: iters left: 1 (2 enodes)
1552126522.661 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126522.661 * * [simplify]: Extracting #1: cost 2 inf + 0
1552126522.661 * * [simplify]: Extracting #2: cost 1 inf + 1
1552126522.661 * * [simplify]: Extracting #3: cost 0 inf + 322
1552126522.661 * [simplify]: Simplified to (*.p16 x.re x.re)
1552126522.661 * [simplify]: Simplified (2 2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))
1552126522.661 * * * * [progress]: [ 14 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
1552126522.661 * [simplify]: Simplifying (*.p16 x.re x.re)
1552126522.661 * * [simplify]: iters left: 1 (2 enodes)
1552126522.661 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126522.661 * * [simplify]: Extracting #1: cost 2 inf + 0
1552126522.661 * * [simplify]: Extracting #2: cost 1 inf + 1
1552126522.662 * * [simplify]: Extracting #3: cost 0 inf + 322
1552126522.662 * [simplify]: Simplified to (*.p16 x.re x.re)
1552126522.662 * [simplify]: Simplified (2 2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))
1552126522.662 * * * * [progress]: [ 15 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))))>
1552126522.662 * * * * [progress]: [ 16 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
1552126522.662 * [simplify]: Simplifying (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
1552126522.662 * * [simplify]: iters left: 4 (9 enodes)
1552126522.664 * * [simplify]: iters left: 3 (31 enodes)
1552126522.670 * * [simplify]: iters left: 2 (81 enodes)
1552126522.692 * * [simplify]: iters left: 1 (313 enodes)
1552126522.920 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126522.920 * * [simplify]: Extracting #1: cost 25 inf + 0
1552126522.921 * * [simplify]: Extracting #2: cost 146 inf + 1
1552126522.923 * * [simplify]: Extracting #3: cost 271 inf + 9598
1552126522.936 * * [simplify]: Extracting #4: cost 160 inf + 145347
1552126522.963 * * [simplify]: Extracting #5: cost 29 inf + 293341
1552126522.993 * * [simplify]: Extracting #6: cost 2 inf + 329705
1552126523.029 * * [simplify]: Extracting #7: cost 0 inf + 334429
1552126523.059 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
1552126523.060 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))
1552126523.060 * * * * [progress]: [ 17 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
1552126523.060 * [simplify]: Simplifying (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
1552126523.060 * * [simplify]: iters left: 4 (9 enodes)
1552126523.064 * * [simplify]: iters left: 3 (31 enodes)
1552126523.076 * * [simplify]: iters left: 2 (81 enodes)
1552126523.122 * * [simplify]: iters left: 1 (313 enodes)
1552126523.407 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126523.407 * * [simplify]: Extracting #1: cost 25 inf + 0
1552126523.407 * * [simplify]: Extracting #2: cost 146 inf + 1
1552126523.410 * * [simplify]: Extracting #3: cost 271 inf + 9598
1552126523.416 * * [simplify]: Extracting #4: cost 160 inf + 145347
1552126523.429 * * [simplify]: Extracting #5: cost 29 inf + 293341
1552126523.453 * * [simplify]: Extracting #6: cost 2 inf + 329705
1552126523.484 * * [simplify]: Extracting #7: cost 0 inf + 334429
1552126523.515 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
1552126523.515 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))
1552126523.515 * * * * [progress]: [ 18 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
1552126523.515 * [simplify]: Simplifying (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
1552126523.515 * * [simplify]: iters left: 4 (9 enodes)
1552126523.519 * * [simplify]: iters left: 3 (31 enodes)
1552126523.531 * * [simplify]: iters left: 2 (81 enodes)
1552126523.577 * * [simplify]: iters left: 1 (313 enodes)
1552126523.968 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126523.968 * * [simplify]: Extracting #1: cost 25 inf + 0
1552126523.969 * * [simplify]: Extracting #2: cost 146 inf + 1
1552126523.972 * * [simplify]: Extracting #3: cost 271 inf + 9598
1552126523.985 * * [simplify]: Extracting #4: cost 160 inf + 145347
1552126524.015 * * [simplify]: Extracting #5: cost 29 inf + 293341
1552126524.046 * * [simplify]: Extracting #6: cost 2 inf + 329705
1552126524.078 * * [simplify]: Extracting #7: cost 0 inf + 334429
1552126524.109 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
1552126524.109 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))
1552126524.109 * * * * [progress]: [ 19 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
1552126524.109 * [simplify]: Simplifying (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
1552126524.109 * * [simplify]: iters left: 4 (9 enodes)
1552126524.113 * * [simplify]: iters left: 3 (31 enodes)
1552126524.125 * * [simplify]: iters left: 2 (81 enodes)
1552126524.172 * * [simplify]: iters left: 1 (313 enodes)
1552126524.474 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126524.474 * * [simplify]: Extracting #1: cost 25 inf + 0
1552126524.474 * * [simplify]: Extracting #2: cost 146 inf + 1
1552126524.476 * * [simplify]: Extracting #3: cost 271 inf + 9598
1552126524.485 * * [simplify]: Extracting #4: cost 160 inf + 145347
1552126524.499 * * [simplify]: Extracting #5: cost 29 inf + 293341
1552126524.525 * * [simplify]: Extracting #6: cost 2 inf + 329705
1552126524.540 * * [simplify]: Extracting #7: cost 0 inf + 334429
1552126524.556 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
1552126524.556 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))
1552126524.556 * * * [progress]: adding candidates to table
1552126525.404 * [progress]: [Phase 3 of 3] Extracting.
1552126525.404 * * [regime]: Finding splitpoints for: (#<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))> #<alt (λ (x.re x.im) (+.p16 (/.p16 (*.p16 (*.p16 (-.p16 x.re x.im) x.im) (*.p16 (+.p16 x.im x.re) (+.p16 x.im x.re))) (+.p16 x.re x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (+.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (*.p16 x.re (+.p16 x.re x.re))))))>)
1552126525.406 * * * [regime-changes]: Trying 2 branch expressions: (x.im x.re)
1552126525.406 * * * * [regimes]: Trying to branch on x.im from (#<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))> #<alt (λ (x.re x.im) (+.p16 (/.p16 (*.p16 (*.p16 (-.p16 x.re x.im) x.im) (*.p16 (+.p16 x.im x.re) (+.p16 x.im x.re))) (+.p16 x.re x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (+.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (*.p16 x.re (+.p16 x.re x.re))))))>)
1552126525.661 * * * * [regimes]: Trying to branch on x.re from (#<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))> #<alt (λ (x.re x.im) (+.p16 (/.p16 (*.p16 (*.p16 (-.p16 x.re x.im) x.im) (*.p16 (+.p16 x.im x.re) (+.p16 x.im x.re))) (+.p16 x.re x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (+.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (*.p16 x.re (+.p16 x.re x.re))))))>)
1552126525.920 * * * [regime]: Found split indices: #<option (#s(si 4 256))>
1552126525.920 * [simplify]: Simplifying (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))
1552126525.920 * * [simplify]: iters left: 4 (11 enodes)
1552126525.921 * * [simplify]: Extracting #0: cost 1 inf + 0
1552126525.921 * * [simplify]: Extracting #1: cost 3 inf + 0
1552126525.921 * * [simplify]: Extracting #2: cost 7 inf + 0
1552126525.921 * * [simplify]: Extracting #3: cost 10 inf + 1
1552126525.921 * * [simplify]: Extracting #4: cost 0 inf + 5420
1552126525.921 * [simplify]: Simplified to (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))
1552126525.921 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1552126525.953 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1552126525.954 * * * * [points]: Setting MPFR precision to 64
1552126525.955 * * * * [points]: Setting MPFR precision to 320
1552126525.956 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1552126525.957 * * * * [points]: Setting MPFR precision to 64
1552126525.959 * * * * [points]: Setting MPFR precision to 320
1552126525.962 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1552126525.963 * * * * [points]: Setting MPFR precision to 64
1552126525.967 * * * * [points]: Setting MPFR precision to 320
1552126525.971 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1552126525.973 * * * * [points]: Setting MPFR precision to 64
1552126525.980 * * * * [points]: Setting MPFR precision to 320
1552126525.989 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1552126525.991 * * * * [points]: Setting MPFR precision to 64
1552126526.012 * * * * [points]: Setting MPFR precision to 320
1552126526.047 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1552126526.050 * * * * [points]: Setting MPFR precision to 64
1552126526.138 * * * * [points]: Setting MPFR precision to 320
1552126526.208 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1552126526.211 * * * * [points]: Setting MPFR precision to 64
1552126526.316 * * * * [points]: Setting MPFR precision to 320
1552126526.394 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1552126526.396 * * * * [points]: Setting MPFR precision to 64
1552126526.659 * * * * [points]: Setting MPFR precision to 320
1552126526.933 * * * * [points]: Computing exacts for 8000 points
1552126527.362 * * * * [points]: Setting MPFR precision to 64
1552126528.383 * * * * [points]: Setting MPFR precision to 320
1552126529.661 * * * * [points]: Filtering points with unrepresentable outputs
1552126530.268 * * * * [points]: Sampled 8000 points with exact outputs
1552126531.928 * [regime-testing]: Baseline error score: 64.0
1552126531.932 * [regime-testing]: Oracle error score: 64.0
1552126531.938 * [regime-testing]: End program error score: 0.35359676379589666