1550840479.519 * [misc]progress: [Phase 1 of 3] Setting up. 1550840479.521 * * * [misc]progress: [1/2] Preparing points 1550840479.648 * * * [misc]progress: [2/2] Setting up program. 1550840479.656 * [misc]progress: [Phase 2 of 3] Improving. 1550840479.656 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1550840479.658 * [enter]simplify: Simplifying (+ (* re im) (* im re)) 1550840479.659 * * [misc]simplify: iters left: 4 (5 enodes) 1550840479.668 * * [misc]simplify: iters left: 3 (17 enodes) 1550840479.768 * * [misc]simplify: iters left: 2 (24 enodes) 1550840479.839 * * [misc]simplify: iters left: 1 (30 enodes) 1550840479.848 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840479.848 * * [misc]simplify: Extracting #1: cost 7 inf + 0 1550840479.849 * * [misc]simplify: Extracting #2: cost 7 inf + 43 1550840479.850 * * [misc]simplify: Extracting #3: cost 1 inf + 373 1550840479.850 * * [misc]simplify: Extracting #4: cost 0 inf + 414 1550840479.850 * [exit]simplify: Simplified to (* re (+ im im)) 1550840479.851 * [misc]simplify: Simplified (2) to (λ (re im) (* re (+ im im))) 1550840480.328 * * [misc]progress: iteration 1 / 4 1550840480.328 * * * [misc]progress: picking best candidate 1550840480.336 * * * * [misc]pick: Picked # 1550840480.336 * * * [misc]progress: localizing error 1550840480.355 * * * [misc]progress: generating rewritten candidates 1550840480.355 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1550840480.365 * * * [misc]progress: generating series expansions 1550840480.365 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1550840480.372 * [misc]backup-simplify: Simplify (+ (* re im) (* im re)) into (* 2 (* re im)) 1550840480.372 * [misc]approximate: Taking taylor expansion of (* 2 (* re im)) in (re im) around 0 1550840480.373 * [misc]taylor: Taking taylor expansion of (* 2 (* re im)) in im 1550840480.373 * [misc]taylor: Taking taylor expansion of 2 in im 1550840480.373 * [misc]backup-simplify: Simplify 2 into 2 1550840480.373 * [misc]taylor: Taking taylor expansion of (* re im) in im 1550840480.373 * [misc]taylor: Taking taylor expansion of re in im 1550840480.373 * [misc]backup-simplify: Simplify re into re 1550840480.373 * [misc]taylor: Taking taylor expansion of im in im 1550840480.373 * [misc]backup-simplify: Simplify 0 into 0 1550840480.373 * [misc]backup-simplify: Simplify 1 into 1 1550840480.373 * [misc]taylor: Taking taylor expansion of (* 2 (* re im)) in re 1550840480.373 * [misc]taylor: Taking taylor expansion of 2 in re 1550840480.373 * [misc]backup-simplify: Simplify 2 into 2 1550840480.373 * [misc]taylor: Taking taylor expansion of (* re im) in re 1550840480.373 * [misc]taylor: Taking taylor expansion of re in re 1550840480.373 * [misc]backup-simplify: Simplify 0 into 0 1550840480.373 * [misc]backup-simplify: Simplify 1 into 1 1550840480.373 * [misc]taylor: Taking taylor expansion of im in re 1550840480.373 * [misc]backup-simplify: Simplify im into im 1550840480.374 * [misc]taylor: Taking taylor expansion of (* 2 (* re im)) in re 1550840480.374 * [misc]taylor: Taking taylor expansion of 2 in re 1550840480.374 * [misc]backup-simplify: Simplify 2 into 2 1550840480.374 * [misc]taylor: Taking taylor expansion of (* re im) in re 1550840480.374 * [misc]taylor: Taking taylor expansion of re in re 1550840480.374 * [misc]backup-simplify: Simplify 0 into 0 1550840480.374 * [misc]backup-simplify: Simplify 1 into 1 1550840480.374 * [misc]taylor: Taking taylor expansion of im in re 1550840480.374 * [misc]backup-simplify: Simplify im into im 1550840480.374 * [misc]backup-simplify: Simplify (* 0 im) into 0 1550840480.375 * [misc]backup-simplify: Simplify (* 2 0) into 0 1550840480.375 * [misc]taylor: Taking taylor expansion of 0 in im 1550840480.375 * [misc]backup-simplify: Simplify 0 into 0 1550840480.375 * [misc]backup-simplify: Simplify 0 into 0 1550840480.375 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 im)) into im 1550840480.376 * [misc]backup-simplify: Simplify (+ (* 2 im) (* 0 0)) into (* 2 im) 1550840480.376 * [misc]taylor: Taking taylor expansion of (* 2 im) in im 1550840480.376 * [misc]taylor: Taking taylor expansion of 2 in im 1550840480.376 * [misc]backup-simplify: Simplify 2 into 2 1550840480.376 * [misc]taylor: Taking taylor expansion of im in im 1550840480.376 * [misc]backup-simplify: Simplify 0 into 0 1550840480.376 * [misc]backup-simplify: Simplify 1 into 1 1550840480.376 * [misc]backup-simplify: Simplify (* 2 0) into 0 1550840480.376 * [misc]backup-simplify: Simplify 0 into 0 1550840480.376 * [misc]backup-simplify: Simplify 0 into 0 1550840480.377 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 im))) into 0 1550840480.377 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 im) (* 0 0))) into 0 1550840480.377 * [misc]taylor: Taking taylor expansion of 0 in im 1550840480.377 * [misc]backup-simplify: Simplify 0 into 0 1550840480.377 * [misc]backup-simplify: Simplify 0 into 0 1550840480.377 * [misc]backup-simplify: Simplify (+ (* 2 1) (* 0 0)) into 2 1550840480.377 * [misc]backup-simplify: Simplify 2 into 2 1550840480.377 * [misc]backup-simplify: Simplify 0 into 0 1550840480.378 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 im)))) into 0 1550840480.378 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 im) (* 0 0)))) into 0 1550840480.378 * [misc]taylor: Taking taylor expansion of 0 in im 1550840480.379 * [misc]backup-simplify: Simplify 0 into 0 1550840480.379 * [misc]backup-simplify: Simplify 0 into 0 1550840480.379 * [misc]backup-simplify: Simplify 0 into 0 1550840480.379 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 1550840480.379 * [misc]backup-simplify: Simplify 0 into 0 1550840480.379 * [misc]backup-simplify: Simplify 0 into 0 1550840480.380 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0 1550840480.380 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 im) (* 0 0))))) into 0 1550840480.380 * [misc]taylor: Taking taylor expansion of 0 in im 1550840480.380 * [misc]backup-simplify: Simplify 0 into 0 1550840480.380 * [misc]backup-simplify: Simplify 0 into 0 1550840480.380 * [misc]backup-simplify: Simplify (* 2 (* im re)) into (* 2 (* re im)) 1550840480.381 * [misc]backup-simplify: Simplify (+ (* (/ 1 re) (/ 1 im)) (* (/ 1 im) (/ 1 re))) into (* 2 (/ 1 (* re im))) 1550840480.381 * [misc]approximate: Taking taylor expansion of (* 2 (/ 1 (* re im))) in (re im) around 0 1550840480.381 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (* re im))) in im 1550840480.381 * [misc]taylor: Taking taylor expansion of 2 in im 1550840480.381 * [misc]backup-simplify: Simplify 2 into 2 1550840480.381 * [misc]taylor: Taking taylor expansion of (/ 1 (* re im)) in im 1550840480.381 * [misc]taylor: Taking taylor expansion of (* re im) in im 1550840480.381 * [misc]taylor: Taking taylor expansion of re in im 1550840480.381 * [misc]backup-simplify: Simplify re into re 1550840480.381 * [misc]taylor: Taking taylor expansion of im in im 1550840480.381 * [misc]backup-simplify: Simplify 0 into 0 1550840480.381 * [misc]backup-simplify: Simplify 1 into 1 1550840480.381 * [misc]backup-simplify: Simplify (* re 0) into 0 1550840480.382 * [misc]backup-simplify: Simplify (+ (* re 1) (* 0 0)) into re 1550840480.382 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1550840480.382 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (* re im))) in re 1550840480.382 * [misc]taylor: Taking taylor expansion of 2 in re 1550840480.382 * [misc]backup-simplify: Simplify 2 into 2 1550840480.382 * [misc]taylor: Taking taylor expansion of (/ 1 (* re im)) in re 1550840480.382 * [misc]taylor: Taking taylor expansion of (* re im) in re 1550840480.382 * [misc]taylor: Taking taylor expansion of re in re 1550840480.382 * [misc]backup-simplify: Simplify 0 into 0 1550840480.382 * [misc]backup-simplify: Simplify 1 into 1 1550840480.382 * [misc]taylor: Taking taylor expansion of im in re 1550840480.382 * [misc]backup-simplify: Simplify im into im 1550840480.382 * [misc]backup-simplify: Simplify (* 0 im) into 0 1550840480.382 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 im)) into im 1550840480.382 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1550840480.382 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (* re im))) in re 1550840480.382 * [misc]taylor: Taking taylor expansion of 2 in re 1550840480.382 * [misc]backup-simplify: Simplify 2 into 2 1550840480.382 * [misc]taylor: Taking taylor expansion of (/ 1 (* re im)) in re 1550840480.382 * [misc]taylor: Taking taylor expansion of (* re im) in re 1550840480.382 * [misc]taylor: Taking taylor expansion of re in re 1550840480.382 * [misc]backup-simplify: Simplify 0 into 0 1550840480.382 * [misc]backup-simplify: Simplify 1 into 1 1550840480.382 * [misc]taylor: Taking taylor expansion of im in re 1550840480.382 * [misc]backup-simplify: Simplify im into im 1550840480.383 * [misc]backup-simplify: Simplify (* 0 im) into 0 1550840480.383 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 im)) into im 1550840480.383 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1550840480.383 * [misc]backup-simplify: Simplify (* 2 (/ 1 im)) into (/ 2 im) 1550840480.383 * [misc]taylor: Taking taylor expansion of (/ 2 im) in im 1550840480.383 * [misc]taylor: Taking taylor expansion of 2 in im 1550840480.383 * [misc]backup-simplify: Simplify 2 into 2 1550840480.383 * [misc]taylor: Taking taylor expansion of im in im 1550840480.383 * [misc]backup-simplify: Simplify 0 into 0 1550840480.383 * [misc]backup-simplify: Simplify 1 into 1 1550840480.383 * [misc]backup-simplify: Simplify (/ 2 1) into 2 1550840480.383 * [misc]backup-simplify: Simplify 2 into 2 1550840480.384 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 im))) into 0 1550840480.384 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1550840480.384 * [misc]backup-simplify: Simplify (+ (* 2 0) (* 0 (/ 1 im))) into 0 1550840480.384 * [misc]taylor: Taking taylor expansion of 0 in im 1550840480.384 * [misc]backup-simplify: Simplify 0 into 0 1550840480.385 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)))) into 0 1550840480.385 * [misc]backup-simplify: Simplify 0 into 0 1550840480.385 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 im)))) into 0 1550840480.386 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1550840480.386 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 im)))) into 0 1550840480.386 * [misc]taylor: Taking taylor expansion of 0 in im 1550840480.386 * [misc]backup-simplify: Simplify 0 into 0 1550840480.386 * [misc]backup-simplify: Simplify 0 into 0 1550840480.387 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840480.387 * [misc]backup-simplify: Simplify 0 into 0 1550840480.387 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0 1550840480.388 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1550840480.389 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 im))))) into 0 1550840480.389 * [misc]taylor: Taking taylor expansion of 0 in im 1550840480.389 * [misc]backup-simplify: Simplify 0 into 0 1550840480.389 * [misc]backup-simplify: Simplify 0 into 0 1550840480.389 * [misc]backup-simplify: Simplify 0 into 0 1550840480.390 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840480.390 * [misc]backup-simplify: Simplify 0 into 0 1550840480.390 * [misc]backup-simplify: Simplify (* 2 (* (/ 1 (/ 1 im)) (/ 1 (/ 1 re)))) into (* 2 (* re im)) 1550840480.390 * [misc]backup-simplify: Simplify (+ (* (/ 1 (- re)) (/ 1 (- im))) (* (/ 1 (- im)) (/ 1 (- re)))) into (* 2 (/ 1 (* re im))) 1550840480.390 * [misc]approximate: Taking taylor expansion of (* 2 (/ 1 (* re im))) in (re im) around 0 1550840480.390 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (* re im))) in im 1550840480.390 * [misc]taylor: Taking taylor expansion of 2 in im 1550840480.390 * [misc]backup-simplify: Simplify 2 into 2 1550840480.390 * [misc]taylor: Taking taylor expansion of (/ 1 (* re im)) in im 1550840480.390 * [misc]taylor: Taking taylor expansion of (* re im) in im 1550840480.391 * [misc]taylor: Taking taylor expansion of re in im 1550840480.391 * [misc]backup-simplify: Simplify re into re 1550840480.391 * [misc]taylor: Taking taylor expansion of im in im 1550840480.391 * [misc]backup-simplify: Simplify 0 into 0 1550840480.391 * [misc]backup-simplify: Simplify 1 into 1 1550840480.391 * [misc]backup-simplify: Simplify (* re 0) into 0 1550840480.391 * [misc]backup-simplify: Simplify (+ (* re 1) (* 0 0)) into re 1550840480.391 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1550840480.391 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (* re im))) in re 1550840480.391 * [misc]taylor: Taking taylor expansion of 2 in re 1550840480.391 * [misc]backup-simplify: Simplify 2 into 2 1550840480.391 * [misc]taylor: Taking taylor expansion of (/ 1 (* re im)) in re 1550840480.391 * [misc]taylor: Taking taylor expansion of (* re im) in re 1550840480.391 * [misc]taylor: Taking taylor expansion of re in re 1550840480.391 * [misc]backup-simplify: Simplify 0 into 0 1550840480.391 * [misc]backup-simplify: Simplify 1 into 1 1550840480.391 * [misc]taylor: Taking taylor expansion of im in re 1550840480.391 * [misc]backup-simplify: Simplify im into im 1550840480.391 * [misc]backup-simplify: Simplify (* 0 im) into 0 1550840480.391 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 im)) into im 1550840480.392 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1550840480.392 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (* re im))) in re 1550840480.392 * [misc]taylor: Taking taylor expansion of 2 in re 1550840480.392 * [misc]backup-simplify: Simplify 2 into 2 1550840480.392 * [misc]taylor: Taking taylor expansion of (/ 1 (* re im)) in re 1550840480.392 * [misc]taylor: Taking taylor expansion of (* re im) in re 1550840480.392 * [misc]taylor: Taking taylor expansion of re in re 1550840480.392 * [misc]backup-simplify: Simplify 0 into 0 1550840480.392 * [misc]backup-simplify: Simplify 1 into 1 1550840480.392 * [misc]taylor: Taking taylor expansion of im in re 1550840480.392 * [misc]backup-simplify: Simplify im into im 1550840480.392 * [misc]backup-simplify: Simplify (* 0 im) into 0 1550840480.392 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 im)) into im 1550840480.392 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1550840480.392 * [misc]backup-simplify: Simplify (* 2 (/ 1 im)) into (/ 2 im) 1550840480.392 * [misc]taylor: Taking taylor expansion of (/ 2 im) in im 1550840480.392 * [misc]taylor: Taking taylor expansion of 2 in im 1550840480.392 * [misc]backup-simplify: Simplify 2 into 2 1550840480.392 * [misc]taylor: Taking taylor expansion of im in im 1550840480.392 * [misc]backup-simplify: Simplify 0 into 0 1550840480.392 * [misc]backup-simplify: Simplify 1 into 1 1550840480.392 * [misc]backup-simplify: Simplify (/ 2 1) into 2 1550840480.393 * [misc]backup-simplify: Simplify 2 into 2 1550840480.393 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 im))) into 0 1550840480.393 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1550840480.393 * [misc]backup-simplify: Simplify (+ (* 2 0) (* 0 (/ 1 im))) into 0 1550840480.393 * [misc]taylor: Taking taylor expansion of 0 in im 1550840480.393 * [misc]backup-simplify: Simplify 0 into 0 1550840480.394 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)))) into 0 1550840480.394 * [misc]backup-simplify: Simplify 0 into 0 1550840480.394 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 im)))) into 0 1550840480.394 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1550840480.394 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 im)))) into 0 1550840480.395 * [misc]taylor: Taking taylor expansion of 0 in im 1550840480.395 * [misc]backup-simplify: Simplify 0 into 0 1550840480.395 * [misc]backup-simplify: Simplify 0 into 0 1550840480.395 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840480.395 * [misc]backup-simplify: Simplify 0 into 0 1550840480.395 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0 1550840480.396 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1550840480.396 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 im))))) into 0 1550840480.396 * [misc]taylor: Taking taylor expansion of 0 in im 1550840480.396 * [misc]backup-simplify: Simplify 0 into 0 1550840480.396 * [misc]backup-simplify: Simplify 0 into 0 1550840480.396 * [misc]backup-simplify: Simplify 0 into 0 1550840480.397 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840480.397 * [misc]backup-simplify: Simplify 0 into 0 1550840480.397 * [misc]backup-simplify: Simplify (* 2 (* (/ 1 (/ 1 (- im))) (/ 1 (/ 1 (- re))))) into (* 2 (* re im)) 1550840480.397 * * * [misc]progress: simplifying candidates 1550840480.397 * * * * [misc]progress: [ 1 / 18 ] simplifiying candidate # 1550840480.397 * * * * [misc]progress: [ 2 / 18 ] simplifiying candidate # 1550840480.397 * * * * [misc]progress: [ 3 / 18 ] simplifiying candidate # 1550840480.397 * * * * [misc]progress: [ 4 / 18 ] simplifiying candidate # 1550840480.397 * [enter]simplify: Simplifying (* (exp (* re im)) (exp (* im re))) 1550840480.398 * * [misc]simplify: iters left: 5 (7 enodes) 1550840480.401 * * [misc]simplify: iters left: 4 (28 enodes) 1550840480.407 * * [misc]simplify: iters left: 3 (42 enodes) 1550840480.416 * * [misc]simplify: iters left: 2 (50 enodes) 1550840480.426 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840480.426 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550840480.426 * * [misc]simplify: Extracting #2: cost 17 inf + 0 1550840480.427 * * [misc]simplify: Extracting #3: cost 15 inf + 73 1550840480.427 * * [misc]simplify: Extracting #4: cost 3 inf + 1301 1550840480.427 * * [misc]simplify: Extracting #5: cost 0 inf + 1226 1550840480.428 * [exit]simplify: Simplified to (exp (* (+ re re) im)) 1550840480.428 * [misc]simplify: Simplified (2 1) to (λ (re im) (log (exp (* (+ re re) im)))) 1550840480.428 * * * * [misc]progress: [ 5 / 18 ] simplifiying candidate # 1550840480.428 * * * * [misc]progress: [ 6 / 18 ] simplifiying candidate # 1550840480.428 * * * * [misc]progress: [ 7 / 18 ] simplifiying candidate # 1550840480.428 * * * * [misc]progress: [ 8 / 18 ] simplifiying candidate # 1550840480.428 * * * * [misc]progress: [ 9 / 18 ] simplifiying candidate # 1550840480.428 * * * * [misc]progress: [ 10 / 18 ] simplifiying candidate # 1550840480.428 * * * * [misc]progress: [ 11 / 18 ] simplifiying candidate # 1550840480.428 * * * * [misc]progress: [ 12 / 18 ] simplifiying candidate # 1550840480.429 * * * * [misc]progress: [ 13 / 18 ] simplifiying candidate # 1550840480.429 * * * * [misc]progress: [ 14 / 18 ] simplifiying candidate #real (real->posit16 (+ (* re im) (* im re)))))> 1550840480.429 * * * * [misc]progress: [ 15 / 18 ] simplifiying candidate # 1550840480.429 * * * * [misc]progress: [ 16 / 18 ] simplifiying candidate # 1550840480.429 * [enter]simplify: Simplifying (* 2 (* re im)) 1550840480.429 * * [misc]simplify: iters left: 4 (5 enodes) 1550840480.439 * * [misc]simplify: iters left: 3 (19 enodes) 1550840480.444 * * [misc]simplify: iters left: 2 (27 enodes) 1550840480.451 * * [misc]simplify: iters left: 1 (32 enodes) 1550840480.459 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840480.459 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550840480.459 * * [misc]simplify: Extracting #2: cost 7 inf + 45 1550840480.459 * * [misc]simplify: Extracting #3: cost 0 inf + 421 1550840480.459 * [exit]simplify: Simplified to (* (* im re) 2) 1550840480.459 * [misc]simplify: Simplified (2) to (λ (re im) (* (* im re) 2)) 1550840480.459 * * * * [misc]progress: [ 17 / 18 ] simplifiying candidate # 1550840480.460 * [enter]simplify: Simplifying (* 2 (* re im)) 1550840480.460 * * [misc]simplify: iters left: 4 (5 enodes) 1550840480.476 * * [misc]simplify: iters left: 3 (19 enodes) 1550840480.481 * * [misc]simplify: iters left: 2 (27 enodes) 1550840480.488 * * [misc]simplify: iters left: 1 (32 enodes) 1550840480.495 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840480.495 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550840480.495 * * [misc]simplify: Extracting #2: cost 7 inf + 45 1550840480.496 * * [misc]simplify: Extracting #3: cost 0 inf + 421 1550840480.496 * [exit]simplify: Simplified to (* (* im re) 2) 1550840480.496 * [misc]simplify: Simplified (2) to (λ (re im) (* (* im re) 2)) 1550840480.496 * * * * [misc]progress: [ 18 / 18 ] simplifiying candidate # 1550840480.497 * [enter]simplify: Simplifying (* 2 (* re im)) 1550840480.497 * * [misc]simplify: iters left: 4 (5 enodes) 1550840480.499 * * [misc]simplify: iters left: 3 (19 enodes) 1550840480.505 * * [misc]simplify: iters left: 2 (27 enodes) 1550840480.512 * * [misc]simplify: iters left: 1 (32 enodes) 1550840480.550 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840480.550 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550840480.550 * * [misc]simplify: Extracting #2: cost 7 inf + 45 1550840480.550 * * [misc]simplify: Extracting #3: cost 0 inf + 421 1550840480.551 * [exit]simplify: Simplified to (* (* im re) 2) 1550840480.551 * [misc]simplify: Simplified (2) to (λ (re im) (* (* im re) 2)) 1550840480.551 * * * [misc]progress: adding candidates to table 1550840480.786 * * [misc]progress: iteration 2 / 4 1550840480.786 * * * [misc]progress: picking best candidate 1550840480.788 * * * * [misc]pick: Picked # 1550840480.788 * * * [misc]progress: localizing error 1550840480.797 * * * [misc]progress: generating rewritten candidates 1550840480.797 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1550840480.798 * * * [misc]progress: generating series expansions 1550840480.798 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1550840480.799 * [misc]backup-simplify: Simplify (* re (+ im im)) into (* 2 (* re im)) 1550840480.799 * [misc]approximate: Taking taylor expansion of (* 2 (* re im)) in (re im) around 0 1550840480.799 * [misc]taylor: Taking taylor expansion of (* 2 (* re im)) in im 1550840480.799 * [misc]taylor: Taking taylor expansion of 2 in im 1550840480.799 * [misc]backup-simplify: Simplify 2 into 2 1550840480.799 * [misc]taylor: Taking taylor expansion of (* re im) in im 1550840480.799 * [misc]taylor: Taking taylor expansion of re in im 1550840480.799 * [misc]backup-simplify: Simplify re into re 1550840480.799 * [misc]taylor: Taking taylor expansion of im in im 1550840480.799 * [misc]backup-simplify: Simplify 0 into 0 1550840480.799 * [misc]backup-simplify: Simplify 1 into 1 1550840480.799 * [misc]taylor: Taking taylor expansion of (* 2 (* re im)) in re 1550840480.799 * [misc]taylor: Taking taylor expansion of 2 in re 1550840480.799 * [misc]backup-simplify: Simplify 2 into 2 1550840480.799 * [misc]taylor: Taking taylor expansion of (* re im) in re 1550840480.799 * [misc]taylor: Taking taylor expansion of re in re 1550840480.799 * [misc]backup-simplify: Simplify 0 into 0 1550840480.799 * [misc]backup-simplify: Simplify 1 into 1 1550840480.799 * [misc]taylor: Taking taylor expansion of im in re 1550840480.799 * [misc]backup-simplify: Simplify im into im 1550840480.799 * [misc]taylor: Taking taylor expansion of (* 2 (* re im)) in re 1550840480.799 * [misc]taylor: Taking taylor expansion of 2 in re 1550840480.799 * [misc]backup-simplify: Simplify 2 into 2 1550840480.799 * [misc]taylor: Taking taylor expansion of (* re im) in re 1550840480.799 * [misc]taylor: Taking taylor expansion of re in re 1550840480.799 * [misc]backup-simplify: Simplify 0 into 0 1550840480.799 * [misc]backup-simplify: Simplify 1 into 1 1550840480.799 * [misc]taylor: Taking taylor expansion of im in re 1550840480.799 * [misc]backup-simplify: Simplify im into im 1550840480.799 * [misc]backup-simplify: Simplify (* 0 im) into 0 1550840480.799 * [misc]backup-simplify: Simplify (* 2 0) into 0 1550840480.799 * [misc]taylor: Taking taylor expansion of 0 in im 1550840480.799 * [misc]backup-simplify: Simplify 0 into 0 1550840480.799 * [misc]backup-simplify: Simplify 0 into 0 1550840480.800 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 im)) into im 1550840480.800 * [misc]backup-simplify: Simplify (+ (* 2 im) (* 0 0)) into (* 2 im) 1550840480.800 * [misc]taylor: Taking taylor expansion of (* 2 im) in im 1550840480.800 * [misc]taylor: Taking taylor expansion of 2 in im 1550840480.800 * [misc]backup-simplify: Simplify 2 into 2 1550840480.800 * [misc]taylor: Taking taylor expansion of im in im 1550840480.800 * [misc]backup-simplify: Simplify 0 into 0 1550840480.800 * [misc]backup-simplify: Simplify 1 into 1 1550840480.800 * [misc]backup-simplify: Simplify (* 2 0) into 0 1550840480.800 * [misc]backup-simplify: Simplify 0 into 0 1550840480.800 * [misc]backup-simplify: Simplify 0 into 0 1550840480.800 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 im))) into 0 1550840480.800 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 im) (* 0 0))) into 0 1550840480.800 * [misc]taylor: Taking taylor expansion of 0 in im 1550840480.801 * [misc]backup-simplify: Simplify 0 into 0 1550840480.801 * [misc]backup-simplify: Simplify 0 into 0 1550840480.801 * [misc]backup-simplify: Simplify (+ (* 2 1) (* 0 0)) into 2 1550840480.801 * [misc]backup-simplify: Simplify 2 into 2 1550840480.801 * [misc]backup-simplify: Simplify 0 into 0 1550840480.801 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 im)))) into 0 1550840480.801 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 im) (* 0 0)))) into 0 1550840480.801 * [misc]taylor: Taking taylor expansion of 0 in im 1550840480.801 * [misc]backup-simplify: Simplify 0 into 0 1550840480.801 * [misc]backup-simplify: Simplify 0 into 0 1550840480.801 * [misc]backup-simplify: Simplify 0 into 0 1550840480.802 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 1550840480.802 * [misc]backup-simplify: Simplify 0 into 0 1550840480.802 * [misc]backup-simplify: Simplify 0 into 0 1550840480.802 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0 1550840480.802 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 im) (* 0 0))))) into 0 1550840480.802 * [misc]taylor: Taking taylor expansion of 0 in im 1550840480.802 * [misc]backup-simplify: Simplify 0 into 0 1550840480.802 * [misc]backup-simplify: Simplify 0 into 0 1550840480.803 * [misc]backup-simplify: Simplify (* 2 (* im re)) into (* 2 (* re im)) 1550840480.803 * [misc]backup-simplify: Simplify (* (/ 1 re) (+ (/ 1 im) (/ 1 im))) into (/ 2 (* re im)) 1550840480.803 * [misc]approximate: Taking taylor expansion of (/ 2 (* re im)) in (re im) around 0 1550840480.803 * [misc]taylor: Taking taylor expansion of (/ 2 (* re im)) in im 1550840480.803 * [misc]taylor: Taking taylor expansion of 2 in im 1550840480.803 * [misc]backup-simplify: Simplify 2 into 2 1550840480.803 * [misc]taylor: Taking taylor expansion of (* re im) in im 1550840480.803 * [misc]taylor: Taking taylor expansion of re in im 1550840480.803 * [misc]backup-simplify: Simplify re into re 1550840480.803 * [misc]taylor: Taking taylor expansion of im in im 1550840480.803 * [misc]backup-simplify: Simplify 0 into 0 1550840480.803 * [misc]backup-simplify: Simplify 1 into 1 1550840480.803 * [misc]backup-simplify: Simplify (* re 0) into 0 1550840480.803 * [misc]backup-simplify: Simplify (+ (* re 1) (* 0 0)) into re 1550840480.803 * [misc]backup-simplify: Simplify (/ 2 re) into (/ 2 re) 1550840480.803 * [misc]taylor: Taking taylor expansion of (/ 2 (* re im)) in re 1550840480.803 * [misc]taylor: Taking taylor expansion of 2 in re 1550840480.803 * [misc]backup-simplify: Simplify 2 into 2 1550840480.803 * [misc]taylor: Taking taylor expansion of (* re im) in re 1550840480.803 * [misc]taylor: Taking taylor expansion of re in re 1550840480.803 * [misc]backup-simplify: Simplify 0 into 0 1550840480.803 * [misc]backup-simplify: Simplify 1 into 1 1550840480.803 * [misc]taylor: Taking taylor expansion of im in re 1550840480.803 * [misc]backup-simplify: Simplify im into im 1550840480.803 * [misc]backup-simplify: Simplify (* 0 im) into 0 1550840480.803 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 im)) into im 1550840480.804 * [misc]backup-simplify: Simplify (/ 2 im) into (/ 2 im) 1550840480.804 * [misc]taylor: Taking taylor expansion of (/ 2 (* re im)) in re 1550840480.804 * [misc]taylor: Taking taylor expansion of 2 in re 1550840480.804 * [misc]backup-simplify: Simplify 2 into 2 1550840480.804 * [misc]taylor: Taking taylor expansion of (* re im) in re 1550840480.804 * [misc]taylor: Taking taylor expansion of re in re 1550840480.804 * [misc]backup-simplify: Simplify 0 into 0 1550840480.804 * [misc]backup-simplify: Simplify 1 into 1 1550840480.804 * [misc]taylor: Taking taylor expansion of im in re 1550840480.804 * [misc]backup-simplify: Simplify im into im 1550840480.804 * [misc]backup-simplify: Simplify (* 0 im) into 0 1550840480.804 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 im)) into im 1550840480.804 * [misc]backup-simplify: Simplify (/ 2 im) into (/ 2 im) 1550840480.804 * [misc]taylor: Taking taylor expansion of (/ 2 im) in im 1550840480.804 * [misc]taylor: Taking taylor expansion of 2 in im 1550840480.804 * [misc]backup-simplify: Simplify 2 into 2 1550840480.804 * [misc]taylor: Taking taylor expansion of im in im 1550840480.804 * [misc]backup-simplify: Simplify 0 into 0 1550840480.804 * [misc]backup-simplify: Simplify 1 into 1 1550840480.804 * [misc]backup-simplify: Simplify (/ 2 1) into 2 1550840480.804 * [misc]backup-simplify: Simplify 2 into 2 1550840480.805 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 im))) into 0 1550840480.805 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ 2 im) (/ 0 im)))) into 0 1550840480.805 * [misc]taylor: Taking taylor expansion of 0 in im 1550840480.805 * [misc]backup-simplify: Simplify 0 into 0 1550840480.805 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)))) into 0 1550840480.805 * [misc]backup-simplify: Simplify 0 into 0 1550840480.805 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 im)))) into 0 1550840480.805 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ 2 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1550840480.805 * [misc]taylor: Taking taylor expansion of 0 in im 1550840480.806 * [misc]backup-simplify: Simplify 0 into 0 1550840480.806 * [misc]backup-simplify: Simplify 0 into 0 1550840480.806 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840480.806 * [misc]backup-simplify: Simplify 0 into 0 1550840480.806 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0 1550840480.806 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ 2 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1550840480.806 * [misc]taylor: Taking taylor expansion of 0 in im 1550840480.806 * [misc]backup-simplify: Simplify 0 into 0 1550840480.806 * [misc]backup-simplify: Simplify 0 into 0 1550840480.806 * [misc]backup-simplify: Simplify 0 into 0 1550840480.807 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840480.807 * [misc]backup-simplify: Simplify 0 into 0 1550840480.807 * [misc]backup-simplify: Simplify (* 2 (* (/ 1 (/ 1 im)) (/ 1 (/ 1 re)))) into (* 2 (* re im)) 1550840480.807 * [misc]backup-simplify: Simplify (* (/ 1 (- re)) (+ (/ 1 (- im)) (/ 1 (- im)))) into (/ 2 (* re im)) 1550840480.807 * [misc]approximate: Taking taylor expansion of (/ 2 (* re im)) in (re im) around 0 1550840480.807 * [misc]taylor: Taking taylor expansion of (/ 2 (* re im)) in im 1550840480.807 * [misc]taylor: Taking taylor expansion of 2 in im 1550840480.807 * [misc]backup-simplify: Simplify 2 into 2 1550840480.807 * [misc]taylor: Taking taylor expansion of (* re im) in im 1550840480.807 * [misc]taylor: Taking taylor expansion of re in im 1550840480.807 * [misc]backup-simplify: Simplify re into re 1550840480.807 * [misc]taylor: Taking taylor expansion of im in im 1550840480.807 * [misc]backup-simplify: Simplify 0 into 0 1550840480.807 * [misc]backup-simplify: Simplify 1 into 1 1550840480.807 * [misc]backup-simplify: Simplify (* re 0) into 0 1550840480.807 * [misc]backup-simplify: Simplify (+ (* re 1) (* 0 0)) into re 1550840480.807 * [misc]backup-simplify: Simplify (/ 2 re) into (/ 2 re) 1550840480.807 * [misc]taylor: Taking taylor expansion of (/ 2 (* re im)) in re 1550840480.807 * [misc]taylor: Taking taylor expansion of 2 in re 1550840480.807 * [misc]backup-simplify: Simplify 2 into 2 1550840480.807 * [misc]taylor: Taking taylor expansion of (* re im) in re 1550840480.807 * [misc]taylor: Taking taylor expansion of re in re 1550840480.808 * [misc]backup-simplify: Simplify 0 into 0 1550840480.808 * [misc]backup-simplify: Simplify 1 into 1 1550840480.808 * [misc]taylor: Taking taylor expansion of im in re 1550840480.808 * [misc]backup-simplify: Simplify im into im 1550840480.808 * [misc]backup-simplify: Simplify (* 0 im) into 0 1550840480.808 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 im)) into im 1550840480.808 * [misc]backup-simplify: Simplify (/ 2 im) into (/ 2 im) 1550840480.808 * [misc]taylor: Taking taylor expansion of (/ 2 (* re im)) in re 1550840480.808 * [misc]taylor: Taking taylor expansion of 2 in re 1550840480.808 * [misc]backup-simplify: Simplify 2 into 2 1550840480.808 * [misc]taylor: Taking taylor expansion of (* re im) in re 1550840480.808 * [misc]taylor: Taking taylor expansion of re in re 1550840480.808 * [misc]backup-simplify: Simplify 0 into 0 1550840480.808 * [misc]backup-simplify: Simplify 1 into 1 1550840480.808 * [misc]taylor: Taking taylor expansion of im in re 1550840480.808 * [misc]backup-simplify: Simplify im into im 1550840480.808 * [misc]backup-simplify: Simplify (* 0 im) into 0 1550840480.808 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 im)) into im 1550840480.808 * [misc]backup-simplify: Simplify (/ 2 im) into (/ 2 im) 1550840480.808 * [misc]taylor: Taking taylor expansion of (/ 2 im) in im 1550840480.808 * [misc]taylor: Taking taylor expansion of 2 in im 1550840480.808 * [misc]backup-simplify: Simplify 2 into 2 1550840480.808 * [misc]taylor: Taking taylor expansion of im in im 1550840480.808 * [misc]backup-simplify: Simplify 0 into 0 1550840480.808 * [misc]backup-simplify: Simplify 1 into 1 1550840480.808 * [misc]backup-simplify: Simplify (/ 2 1) into 2 1550840480.808 * [misc]backup-simplify: Simplify 2 into 2 1550840480.809 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 im))) into 0 1550840480.809 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ 2 im) (/ 0 im)))) into 0 1550840480.809 * [misc]taylor: Taking taylor expansion of 0 in im 1550840480.809 * [misc]backup-simplify: Simplify 0 into 0 1550840480.809 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)))) into 0 1550840480.809 * [misc]backup-simplify: Simplify 0 into 0 1550840480.809 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 im)))) into 0 1550840480.809 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ 2 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1550840480.809 * [misc]taylor: Taking taylor expansion of 0 in im 1550840480.809 * [misc]backup-simplify: Simplify 0 into 0 1550840480.809 * [misc]backup-simplify: Simplify 0 into 0 1550840480.810 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840480.810 * [misc]backup-simplify: Simplify 0 into 0 1550840480.810 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0 1550840480.810 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ 2 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1550840480.810 * [misc]taylor: Taking taylor expansion of 0 in im 1550840480.810 * [misc]backup-simplify: Simplify 0 into 0 1550840480.810 * [misc]backup-simplify: Simplify 0 into 0 1550840480.810 * [misc]backup-simplify: Simplify 0 into 0 1550840480.811 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840480.811 * [misc]backup-simplify: Simplify 0 into 0 1550840480.811 * [misc]backup-simplify: Simplify (* 2 (* (/ 1 (/ 1 (- im))) (/ 1 (/ 1 (- re))))) into (* 2 (* re im)) 1550840480.811 * * * [misc]progress: simplifying candidates 1550840480.811 * * * * [misc]progress: [ 1 / 21 ] simplifiying candidate # 1550840480.811 * * * * [misc]progress: [ 2 / 21 ] simplifiying candidate # 1550840480.811 * * * * [misc]progress: [ 3 / 21 ] simplifiying candidate # 1550840480.811 * * * * [misc]progress: [ 4 / 21 ] simplifiying candidate # 1550840480.811 * * * * [misc]progress: [ 5 / 21 ] simplifiying candidate # 1550840480.811 * * * * [misc]progress: [ 6 / 21 ] simplifiying candidate # 1550840480.811 * * * * [misc]progress: [ 7 / 21 ] simplifiying candidate # 1550840480.811 * * * * [misc]progress: [ 8 / 21 ] simplifiying candidate # 1550840480.811 * * * * [misc]progress: [ 9 / 21 ] simplifiying candidate # 1550840480.811 * * * * [misc]progress: [ 10 / 21 ] simplifiying candidate # 1550840480.811 * [enter]simplify: Simplifying (* re im) 1550840480.811 * * [misc]simplify: iters left: 2 (3 enodes) 1550840480.812 * * [misc]simplify: iters left: 1 (10 enodes) 1550840480.813 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840480.813 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840480.813 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1550840480.813 * * [misc]simplify: Extracting #3: cost 0 inf + 86 1550840480.813 * [exit]simplify: Simplified to (* re im) 1550840480.813 * [misc]simplify: Simplified (2 2) to (λ (re im) (+ (* re im) (* re im))) 1550840480.813 * * * * [misc]progress: [ 11 / 21 ] simplifiying candidate # 1550840480.814 * [enter]simplify: Simplifying (* im re) 1550840480.814 * * [misc]simplify: iters left: 2 (3 enodes) 1550840480.814 * * [misc]simplify: iters left: 1 (10 enodes) 1550840480.815 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840480.815 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840480.815 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1550840480.815 * * [misc]simplify: Extracting #3: cost 0 inf + 86 1550840480.816 * [exit]simplify: Simplified to (* im re) 1550840480.816 * [misc]simplify: Simplified (2 2) to (λ (re im) (+ (* im re) (* im re))) 1550840480.816 * * * * [misc]progress: [ 12 / 21 ] simplifiying candidate # 1550840480.816 * [enter]simplify: Simplifying (cbrt (+ im im)) 1550840480.816 * * [misc]simplify: iters left: 3 (3 enodes) 1550840480.816 * * [misc]simplify: iters left: 2 (9 enodes) 1550840480.818 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840480.818 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840480.818 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550840480.818 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1550840480.818 * * [misc]simplify: Extracting #4: cost 0 inf + 325 1550840480.818 * [exit]simplify: Simplified to (cbrt (+ im im)) 1550840480.818 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* re (* (cbrt (+ im im)) (cbrt (+ im im)))) (cbrt (+ im im)))) 1550840480.818 * * * * [misc]progress: [ 13 / 21 ] simplifiying candidate # 1550840480.818 * [enter]simplify: Simplifying (sqrt (+ im im)) 1550840480.818 * * [misc]simplify: iters left: 3 (3 enodes) 1550840480.819 * * [misc]simplify: iters left: 2 (9 enodes) 1550840480.820 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840480.820 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840480.820 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550840480.820 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1550840480.820 * * [misc]simplify: Extracting #4: cost 0 inf + 245 1550840480.820 * [exit]simplify: Simplified to (sqrt (+ im im)) 1550840480.820 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* re (sqrt (+ im im))) (sqrt (+ im im)))) 1550840480.820 * * * * [misc]progress: [ 14 / 21 ] simplifiying candidate # 1550840480.820 * [enter]simplify: Simplifying (+ im im) 1550840480.820 * * [misc]simplify: iters left: 2 (2 enodes) 1550840480.821 * * [misc]simplify: iters left: 1 (6 enodes) 1550840480.822 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840480.822 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840480.822 * * [misc]simplify: Extracting #2: cost 2 inf + 1 1550840480.822 * * [misc]simplify: Extracting #3: cost 0 inf + 83 1550840480.822 * [exit]simplify: Simplified to (+ im im) 1550840480.822 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* re 1) (+ im im))) 1550840480.822 * * * * [misc]progress: [ 15 / 21 ] simplifiying candidate # 1550840480.822 * [enter]simplify: Simplifying (+ (* im im) (- (* im im) (* im im))) 1550840480.822 * * [misc]simplify: iters left: 6 (4 enodes) 1550840480.823 * * [misc]simplify: iters left: 5 (15 enodes) 1550840480.825 * * [misc]simplify: iters left: 4 (22 enodes) 1550840480.829 * * [misc]simplify: iters left: 3 (30 enodes) 1550840480.832 * * [misc]simplify: iters left: 2 (34 enodes) 1550840480.835 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840480.835 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840480.835 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1550840480.835 * * [misc]simplify: Extracting #3: cost 1 inf + 43 1550840480.835 * * [misc]simplify: Extracting #4: cost 0 inf + 84 1550840480.835 * [exit]simplify: Simplified to (* im im) 1550840480.835 * [misc]simplify: Simplified (2 2) to (λ (re im) (/ (* re (+ (pow im 3) (pow im 3))) (* im im))) 1550840480.835 * * * * [misc]progress: [ 16 / 21 ] simplifiying candidate # 1550840480.835 * [enter]simplify: Simplifying (- im im) 1550840480.835 * * [misc]simplify: iters left: 2 (2 enodes) 1550840480.836 * * [misc]simplify: iters left: 1 (5 enodes) 1550840480.836 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840480.836 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550840480.836 * [exit]simplify: Simplified to 0 1550840480.836 * [misc]simplify: Simplified (2 2) to (λ (re im) (/ (* re (- (* im im) (* im im))) 0)) 1550840480.837 * * * * [misc]progress: [ 17 / 21 ] simplifiying candidate #real (real->posit16 (* re (+ im im)))))> 1550840480.837 * * * * [misc]progress: [ 18 / 21 ] simplifiying candidate # 1550840480.837 * * * * [misc]progress: [ 19 / 21 ] simplifiying candidate # 1550840480.837 * [enter]simplify: Simplifying (* 2 (* re im)) 1550840480.837 * * [misc]simplify: iters left: 4 (5 enodes) 1550840480.838 * * [misc]simplify: iters left: 3 (19 enodes) 1550840480.841 * * [misc]simplify: iters left: 2 (27 enodes) 1550840480.846 * * [misc]simplify: iters left: 1 (32 enodes) 1550840480.850 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840480.850 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550840480.850 * * [misc]simplify: Extracting #2: cost 7 inf + 45 1550840480.850 * * [misc]simplify: Extracting #3: cost 0 inf + 421 1550840480.850 * [exit]simplify: Simplified to (* (* im re) 2) 1550840480.850 * [misc]simplify: Simplified (2) to (λ (re im) (* (* im re) 2)) 1550840480.850 * * * * [misc]progress: [ 20 / 21 ] simplifiying candidate # 1550840480.850 * [enter]simplify: Simplifying (* 2 (* re im)) 1550840480.850 * * [misc]simplify: iters left: 4 (5 enodes) 1550840480.852 * * [misc]simplify: iters left: 3 (19 enodes) 1550840480.855 * * [misc]simplify: iters left: 2 (27 enodes) 1550840480.859 * * [misc]simplify: iters left: 1 (32 enodes) 1550840480.863 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840480.863 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550840480.863 * * [misc]simplify: Extracting #2: cost 7 inf + 45 1550840480.863 * * [misc]simplify: Extracting #3: cost 0 inf + 421 1550840480.864 * [exit]simplify: Simplified to (* (* im re) 2) 1550840480.864 * [misc]simplify: Simplified (2) to (λ (re im) (* (* im re) 2)) 1550840480.864 * * * * [misc]progress: [ 21 / 21 ] simplifiying candidate # 1550840480.864 * [enter]simplify: Simplifying (* 2 (* re im)) 1550840480.864 * * [misc]simplify: iters left: 4 (5 enodes) 1550840480.865 * * [misc]simplify: iters left: 3 (19 enodes) 1550840480.868 * * [misc]simplify: iters left: 2 (27 enodes) 1550840480.875 * * [misc]simplify: iters left: 1 (32 enodes) 1550840480.882 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840480.882 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550840480.882 * * [misc]simplify: Extracting #2: cost 7 inf + 45 1550840480.883 * * [misc]simplify: Extracting #3: cost 0 inf + 421 1550840480.883 * [exit]simplify: Simplified to (* (* im re) 2) 1550840480.883 * [misc]simplify: Simplified (2) to (λ (re im) (* (* im re) 2)) 1550840480.883 * * * [misc]progress: adding candidates to table 1550840480.992 * [misc]progress: [Phase 3 of 3] Extracting. 1550840480.993 * * [misc]regime: Finding splitpoints for: (# #) 1550840480.994 * * * [misc]regime-changes: Trying 3 branch expressions: (im re (+ (* re im) (* im re))) 1550840480.994 * * * * [misc]regimes: Trying to branch on im from (# #) 1550840481.017 * * * * [misc]regimes: Trying to branch on re from (# #) 1550840481.036 * * * * [misc]regimes: Trying to branch on (+ (* re im) (* im re)) from (# #) 1550840481.055 * * * [misc]regime: Found split indices: #