1538414745.587 * [misc]progress: [Phase 1 of 3] Setting up. 1538414745.587 * * * [misc]progress: [1/2] Preparing points 1538414745.587 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538414745.588 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1538414745.589 * * * * [misc]points: Setting MPFR precision to 64 1538414745.589 * * * * [misc]points: Setting MPFR precision to 320 1538414745.590 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1538414745.590 * * * * [misc]points: Setting MPFR precision to 64 1538414745.591 * * * * [misc]points: Setting MPFR precision to 320 1538414745.592 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1538414745.592 * * * * [misc]points: Setting MPFR precision to 64 1538414745.593 * * * * [misc]points: Setting MPFR precision to 320 1538414745.595 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1538414745.596 * * * * [misc]points: Setting MPFR precision to 64 1538414745.597 * * * * [misc]points: Setting MPFR precision to 320 1538414745.600 * * * * [misc]points: Computing exacts for 256 points 1538414745.601 * * * * [misc]points: Setting MPFR precision to 64 1538414745.607 * * * * [misc]points: Setting MPFR precision to 320 1538414745.614 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414745.614 * * * * [misc]points: Sampling 73 additional inputs, on iter 1 have 183 / 256 1538414745.614 * * * * [misc]points: Computing exacts on every 4 of 73 points to ramp up precision 1538414745.615 * * * * [misc]points: Setting MPFR precision to 64 1538414745.615 * * * * [misc]points: Setting MPFR precision to 320 1538414745.616 * * * * [misc]points: Computing exacts on every 2 of 73 points to ramp up precision 1538414745.616 * * * * [misc]points: Setting MPFR precision to 64 1538414745.617 * * * * [misc]points: Setting MPFR precision to 320 1538414745.618 * * * * [misc]points: Computing exacts for 73 points 1538414745.618 * * * * [misc]points: Setting MPFR precision to 64 1538414745.620 * * * * [misc]points: Setting MPFR precision to 320 1538414745.621 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414745.622 * * * * [misc]points: Sampling 21 additional inputs, on iter 2 have 235 / 256 1538414745.622 * * * * [misc]points: Computing exacts for 21 points 1538414745.622 * * * * [misc]points: Setting MPFR precision to 64 1538414745.623 * * * * [misc]points: Setting MPFR precision to 320 1538414745.624 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414745.624 * * * * [misc]points: Sampling 8 additional inputs, on iter 3 have 248 / 256 1538414745.624 * * * * [misc]points: Computing exacts for 8 points 1538414745.625 * * * * [misc]points: Setting MPFR precision to 64 1538414745.625 * * * * [misc]points: Setting MPFR precision to 320 1538414745.625 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414745.625 * * * * [misc]points: Sampling 4 additional inputs, on iter 4 have 253 / 256 1538414745.625 * * * * [misc]points: Computing exacts for 4 points 1538414745.626 * * * * [misc]points: Setting MPFR precision to 64 1538414745.626 * * * * [misc]points: Setting MPFR precision to 320 1538414745.626 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414745.626 * * * * [exit]points: Sampled 257 points with exact outputs 1538414745.627 * * * [misc]progress: [2/2] Setting up program. 1538414745.629 * [misc]progress: [Phase 2 of 3] Improving. 1538414745.629 * [enter]simplify: Simplifying (* (exp re) (sin im)) 1538414745.629 * * [misc]simplify: iters left: 3 (5 enodes) 1538414745.630 * * [misc]simplify: iters left: 2 (6 enodes) 1538414745.631 * [exit]simplify: Simplified to (* (sin im) (exp re)) 1538414745.636 * * [misc]progress: iteration 1 / 4 1538414745.636 * * * [misc]progress: picking best candidate 1538414745.638 * * * * [misc]pick: Picked # 1538414745.638 * * * [misc]progress: localizing error 1538414745.647 * * * [misc]progress: generating rewritten candidates 1538414745.647 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1538414745.652 * * * [misc]progress: generating series expansions 1538414745.652 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1538414745.652 * [misc]backup-simplify: Simplify (* (sin im) (exp re)) into (* (sin im) (exp re)) 1538414745.652 * [misc]approximate: Taking taylor expansion of (* (sin im) (exp re)) in (im re) around 0 1538414745.652 * [misc]taylor: Taking taylor expansion of (* (sin im) (exp re)) in re 1538414745.652 * [misc]taylor: Taking taylor expansion of (sin im) in re 1538414745.652 * [misc]taylor: Taking taylor expansion of im in re 1538414745.652 * [misc]backup-simplify: Simplify im into im 1538414745.652 * [misc]backup-simplify: Simplify (sin im) into (sin im) 1538414745.652 * [misc]backup-simplify: Simplify (cos im) into (cos im) 1538414745.652 * [misc]taylor: Taking taylor expansion of (exp re) in re 1538414745.652 * [misc]taylor: Taking taylor expansion of re in re 1538414745.652 * [misc]backup-simplify: Simplify 0 into 0 1538414745.652 * [misc]backup-simplify: Simplify 1 into 1 1538414745.653 * [misc]backup-simplify: Simplify (exp 0) into 1 1538414745.653 * [misc]taylor: Taking taylor expansion of (* (sin im) (exp re)) in im 1538414745.653 * [misc]taylor: Taking taylor expansion of (sin im) in im 1538414745.653 * [misc]taylor: Taking taylor expansion of im in im 1538414745.653 * [misc]backup-simplify: Simplify 0 into 0 1538414745.653 * [misc]backup-simplify: Simplify 1 into 1 1538414745.653 * [misc]taylor: Taking taylor expansion of (exp re) in im 1538414745.653 * [misc]taylor: Taking taylor expansion of re in im 1538414745.653 * [misc]backup-simplify: Simplify re into re 1538414745.653 * [misc]backup-simplify: Simplify (exp re) into (exp re) 1538414745.653 * [misc]taylor: Taking taylor expansion of (* (sin im) (exp re)) in im 1538414745.653 * [misc]taylor: Taking taylor expansion of (sin im) in im 1538414745.653 * [misc]taylor: Taking taylor expansion of im in im 1538414745.653 * [misc]backup-simplify: Simplify 0 into 0 1538414745.653 * [misc]backup-simplify: Simplify 1 into 1 1538414745.653 * [misc]taylor: Taking taylor expansion of (exp re) in im 1538414745.653 * [misc]taylor: Taking taylor expansion of re in im 1538414745.653 * [misc]backup-simplify: Simplify re into re 1538414745.653 * [misc]backup-simplify: Simplify (exp re) into (exp re) 1538414745.653 * [misc]backup-simplify: Simplify (* 0 (exp re)) into 0 1538414745.653 * [misc]taylor: Taking taylor expansion of 0 in re 1538414745.653 * [misc]backup-simplify: Simplify 0 into 0 1538414745.653 * [misc]backup-simplify: Simplify 0 into 0 1538414745.654 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 1) 1)))) into 0 1538414745.655 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1538414745.656 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (exp re))) into (exp re) 1538414745.656 * [misc]taylor: Taking taylor expansion of (exp re) in re 1538414745.656 * [misc]taylor: Taking taylor expansion of re in re 1538414745.656 * [misc]backup-simplify: Simplify 0 into 0 1538414745.656 * [misc]backup-simplify: Simplify 1 into 1 1538414745.656 * [misc]backup-simplify: Simplify (exp 0) into 1 1538414745.656 * [misc]backup-simplify: Simplify 1 into 1 1538414745.656 * [misc]backup-simplify: Simplify 0 into 0 1538414745.657 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538414745.657 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1538414745.658 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp re)))) into 0 1538414745.658 * [misc]taylor: Taking taylor expansion of 0 in re 1538414745.658 * [misc]backup-simplify: Simplify 0 into 0 1538414745.658 * [misc]backup-simplify: Simplify 0 into 0 1538414745.659 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538414745.659 * [misc]backup-simplify: Simplify 1 into 1 1538414745.659 * [misc]backup-simplify: Simplify 0 into 0 1538414745.661 * [misc]backup-simplify: Simplify (* (exp re) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538414745.662 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into (- 1/6) 1538414745.662 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* (- 1/6) (exp re))))) into (- (* 1/6 (exp re))) 1538414745.662 * [misc]taylor: Taking taylor expansion of (- (* 1/6 (exp re))) in re 1538414745.662 * [misc]taylor: Taking taylor expansion of (* 1/6 (exp re)) in re 1538414745.662 * [misc]taylor: Taking taylor expansion of 1/6 in re 1538414745.662 * [misc]backup-simplify: Simplify 1/6 into 1/6 1538414745.662 * [misc]taylor: Taking taylor expansion of (exp re) in re 1538414745.662 * [misc]taylor: Taking taylor expansion of re in re 1538414745.662 * [misc]backup-simplify: Simplify 0 into 0 1538414745.662 * [misc]backup-simplify: Simplify 1 into 1 1538414745.662 * [misc]backup-simplify: Simplify (exp 0) into 1 1538414745.662 * [misc]backup-simplify: Simplify (* 1/6 1) into 1/6 1538414745.663 * [misc]backup-simplify: Simplify (- 1/6) into -1/6 1538414745.663 * [misc]backup-simplify: Simplify -1/6 into -1/6 1538414745.672 * [misc]backup-simplify: Simplify (+ (* -1/6 (pow (* 1 im) 3)) (+ (* 1 (* re im)) (* 1 (* 1 im)))) into (- (+ (* re im) im) (* 1/6 (pow im 3))) 1538414745.672 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1538414745.672 * [misc]approximate: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in (im re) around 0 1538414745.672 * [misc]taylor: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re 1538414745.672 * [misc]taylor: Taking taylor expansion of (sin (/ 1 im)) in re 1538414745.672 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1538414745.672 * [misc]taylor: Taking taylor expansion of im in re 1538414745.672 * [misc]backup-simplify: Simplify im into im 1538414745.672 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1538414745.672 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1538414745.672 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1538414745.672 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1538414745.672 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1538414745.673 * [misc]taylor: Taking taylor expansion of re in re 1538414745.673 * [misc]backup-simplify: Simplify 0 into 0 1538414745.673 * [misc]backup-simplify: Simplify 1 into 1 1538414745.673 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538414745.673 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1538414745.673 * [misc]taylor: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im 1538414745.673 * [misc]taylor: Taking taylor expansion of (sin (/ 1 im)) in im 1538414745.673 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1538414745.673 * [misc]taylor: Taking taylor expansion of im in im 1538414745.673 * [misc]backup-simplify: Simplify 0 into 0 1538414745.673 * [misc]backup-simplify: Simplify 1 into 1 1538414745.673 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538414745.673 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1538414745.673 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1538414745.673 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1538414745.673 * [misc]taylor: Taking taylor expansion of re in im 1538414745.673 * [misc]backup-simplify: Simplify re into re 1538414745.673 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1538414745.673 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1538414745.673 * [misc]taylor: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in im 1538414745.673 * [misc]taylor: Taking taylor expansion of (sin (/ 1 im)) in im 1538414745.673 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1538414745.673 * [misc]taylor: Taking taylor expansion of im in im 1538414745.673 * [misc]backup-simplify: Simplify 0 into 0 1538414745.673 * [misc]backup-simplify: Simplify 1 into 1 1538414745.674 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538414745.674 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1538414745.674 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in im 1538414745.674 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1538414745.674 * [misc]taylor: Taking taylor expansion of re in im 1538414745.674 * [misc]backup-simplify: Simplify re into re 1538414745.674 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1538414745.674 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1538414745.674 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1538414745.674 * [misc]taylor: Taking taylor expansion of (* (sin (/ 1 im)) (exp (/ 1 re))) in re 1538414745.674 * [misc]taylor: Taking taylor expansion of (sin (/ 1 im)) in re 1538414745.674 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1538414745.674 * [misc]taylor: Taking taylor expansion of im in re 1538414745.674 * [misc]backup-simplify: Simplify im into im 1538414745.674 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1538414745.674 * [misc]backup-simplify: Simplify (sin (/ 1 im)) into (sin (/ 1 im)) 1538414745.674 * [misc]backup-simplify: Simplify (cos (/ 1 im)) into (cos (/ 1 im)) 1538414745.674 * [misc]taylor: Taking taylor expansion of (exp (/ 1 re)) in re 1538414745.674 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1538414745.674 * [misc]taylor: Taking taylor expansion of re in re 1538414745.674 * [misc]backup-simplify: Simplify 0 into 0 1538414745.674 * [misc]backup-simplify: Simplify 1 into 1 1538414745.674 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538414745.674 * [misc]backup-simplify: Simplify (exp (/ 1 re)) into (exp (/ 1 re)) 1538414745.675 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) 1) into (sin (/ 1 im)) 1538414745.675 * [misc]backup-simplify: Simplify (* (cos (/ 1 im)) 0) into 0 1538414745.675 * [misc]backup-simplify: Simplify (+ (sin (/ 1 im)) 0) into (sin (/ 1 im)) 1538414745.675 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1538414745.675 * [misc]backup-simplify: Simplify (* (sin (/ 1 im)) (exp (/ 1 re))) into (* (sin (/ 1 im)) (exp (/ 1 re))) 1538414745.675 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1538414745.676 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1538414745.677 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1538414745.677 * [misc]taylor: Taking taylor expansion of 0 in re 1538414745.677 * [misc]backup-simplify: Simplify 0 into 0 1538414745.677 * [misc]backup-simplify: Simplify 0 into 0 1538414745.677 * [misc]backup-simplify: Simplify (+ 0) into 0 1538414745.677 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 1)) into 0 1538414745.677 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1538414745.678 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1538414745.678 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (* 0 0)) into 0 1538414745.678 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538414745.678 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (* 0 (exp (/ 1 re)))) into 0 1538414745.678 * [misc]backup-simplify: Simplify 0 into 0 1538414745.678 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1538414745.680 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538414745.680 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1538414745.680 * [misc]taylor: Taking taylor expansion of 0 in re 1538414745.680 * [misc]backup-simplify: Simplify 0 into 0 1538414745.680 * [misc]backup-simplify: Simplify 0 into 0 1538414745.680 * [misc]backup-simplify: Simplify 0 into 0 1538414745.681 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1538414745.682 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1538414745.682 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1538414745.683 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1538414745.683 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1538414745.683 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538414745.684 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (* 0 (exp (/ 1 re))))) into 0 1538414745.684 * [misc]backup-simplify: Simplify 0 into 0 1538414745.684 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1538414745.687 * [misc]backup-simplify: Simplify (* (exp (/ 1 re)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538414745.687 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 re)))))) into 0 1538414745.687 * [misc]taylor: Taking taylor expansion of 0 in re 1538414745.687 * [misc]backup-simplify: Simplify 0 into 0 1538414745.687 * [misc]backup-simplify: Simplify 0 into 0 1538414745.687 * [misc]backup-simplify: Simplify (* (sin (/ 1 (/ 1 im))) (exp (/ 1 (/ 1 re)))) into (* (sin im) (exp re)) 1538414745.688 * [misc]backup-simplify: Simplify (* (sin (/ 1 (- im))) (exp (/ 1 (- re)))) into (* (sin (/ -1 im)) (exp (/ -1 re))) 1538414745.688 * [misc]approximate: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in (im re) around 0 1538414745.688 * [misc]taylor: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in re 1538414745.688 * [misc]taylor: Taking taylor expansion of (sin (/ -1 im)) in re 1538414745.688 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1538414745.688 * [misc]taylor: Taking taylor expansion of -1 in re 1538414745.688 * [misc]backup-simplify: Simplify -1 into -1 1538414745.688 * [misc]taylor: Taking taylor expansion of im in re 1538414745.688 * [misc]backup-simplify: Simplify im into im 1538414745.688 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1538414745.688 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1538414745.688 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1538414745.688 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1538414745.688 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1538414745.688 * [misc]taylor: Taking taylor expansion of -1 in re 1538414745.688 * [misc]backup-simplify: Simplify -1 into -1 1538414745.688 * [misc]taylor: Taking taylor expansion of re in re 1538414745.688 * [misc]backup-simplify: Simplify 0 into 0 1538414745.688 * [misc]backup-simplify: Simplify 1 into 1 1538414745.688 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538414745.688 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1538414745.688 * [misc]taylor: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in im 1538414745.688 * [misc]taylor: Taking taylor expansion of (sin (/ -1 im)) in im 1538414745.688 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1538414745.688 * [misc]taylor: Taking taylor expansion of -1 in im 1538414745.688 * [misc]backup-simplify: Simplify -1 into -1 1538414745.688 * [misc]taylor: Taking taylor expansion of im in im 1538414745.688 * [misc]backup-simplify: Simplify 0 into 0 1538414745.688 * [misc]backup-simplify: Simplify 1 into 1 1538414745.688 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538414745.688 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1538414745.688 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1538414745.688 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1538414745.688 * [misc]taylor: Taking taylor expansion of -1 in im 1538414745.688 * [misc]backup-simplify: Simplify -1 into -1 1538414745.689 * [misc]taylor: Taking taylor expansion of re in im 1538414745.689 * [misc]backup-simplify: Simplify re into re 1538414745.689 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1538414745.689 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1538414745.689 * [misc]taylor: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in im 1538414745.689 * [misc]taylor: Taking taylor expansion of (sin (/ -1 im)) in im 1538414745.689 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1538414745.689 * [misc]taylor: Taking taylor expansion of -1 in im 1538414745.689 * [misc]backup-simplify: Simplify -1 into -1 1538414745.689 * [misc]taylor: Taking taylor expansion of im in im 1538414745.689 * [misc]backup-simplify: Simplify 0 into 0 1538414745.689 * [misc]backup-simplify: Simplify 1 into 1 1538414745.689 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538414745.689 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1538414745.689 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in im 1538414745.689 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1538414745.689 * [misc]taylor: Taking taylor expansion of -1 in im 1538414745.689 * [misc]backup-simplify: Simplify -1 into -1 1538414745.689 * [misc]taylor: Taking taylor expansion of re in im 1538414745.689 * [misc]backup-simplify: Simplify re into re 1538414745.689 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1538414745.689 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1538414745.689 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) (exp (/ -1 re))) into (* (sin (/ -1 im)) (exp (/ -1 re))) 1538414745.689 * [misc]taylor: Taking taylor expansion of (* (sin (/ -1 im)) (exp (/ -1 re))) in re 1538414745.689 * [misc]taylor: Taking taylor expansion of (sin (/ -1 im)) in re 1538414745.689 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1538414745.689 * [misc]taylor: Taking taylor expansion of -1 in re 1538414745.689 * [misc]backup-simplify: Simplify -1 into -1 1538414745.689 * [misc]taylor: Taking taylor expansion of im in re 1538414745.689 * [misc]backup-simplify: Simplify im into im 1538414745.689 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1538414745.689 * [misc]backup-simplify: Simplify (sin (/ -1 im)) into (sin (/ -1 im)) 1538414745.689 * [misc]backup-simplify: Simplify (cos (/ -1 im)) into (cos (/ -1 im)) 1538414745.689 * [misc]taylor: Taking taylor expansion of (exp (/ -1 re)) in re 1538414745.689 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1538414745.689 * [misc]taylor: Taking taylor expansion of -1 in re 1538414745.689 * [misc]backup-simplify: Simplify -1 into -1 1538414745.689 * [misc]taylor: Taking taylor expansion of re in re 1538414745.689 * [misc]backup-simplify: Simplify 0 into 0 1538414745.690 * [misc]backup-simplify: Simplify 1 into 1 1538414745.690 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538414745.690 * [misc]backup-simplify: Simplify (exp (/ -1 re)) into (exp (/ -1 re)) 1538414745.690 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) 1) into (sin (/ -1 im)) 1538414745.690 * [misc]backup-simplify: Simplify (* (cos (/ -1 im)) 0) into 0 1538414745.690 * [misc]backup-simplify: Simplify (+ (sin (/ -1 im)) 0) into (sin (/ -1 im)) 1538414745.690 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) (exp (/ -1 re))) into (* (sin (/ -1 im)) (exp (/ -1 re))) 1538414745.690 * [misc]backup-simplify: Simplify (* (sin (/ -1 im)) (exp (/ -1 re))) into (* (sin (/ -1 im)) (exp (/ -1 re))) 1538414745.690 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1538414745.691 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 1) 1)))) into 0 1538414745.691 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 (exp (/ -1 re)))) into 0 1538414745.691 * [misc]taylor: Taking taylor expansion of 0 in re 1538414745.691 * [misc]backup-simplify: Simplify 0 into 0 1538414745.691 * [misc]backup-simplify: Simplify 0 into 0 1538414745.691 * [misc]backup-simplify: Simplify (+ 0) into 0 1538414745.691 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 1)) into 0 1538414745.691 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1538414745.692 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1538414745.692 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (* 0 0)) into 0 1538414745.692 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538414745.692 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (* 0 (exp (/ -1 re)))) into 0 1538414745.692 * [misc]backup-simplify: Simplify 0 into 0 1538414745.693 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1538414745.694 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1538414745.694 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 (exp (/ -1 re))))) into 0 1538414745.694 * [misc]taylor: Taking taylor expansion of 0 in re 1538414745.694 * [misc]backup-simplify: Simplify 0 into 0 1538414745.694 * [misc]backup-simplify: Simplify 0 into 0 1538414745.694 * [misc]backup-simplify: Simplify 0 into 0 1538414745.695 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1538414745.695 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 1))) into 0 1538414745.695 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1538414745.696 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1538414745.696 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 im)) 0) (+ (* 0 0) (* 0 0))) into 0 1538414745.696 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538414745.696 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (* 0 (exp (/ -1 re))))) into 0 1538414745.696 * [misc]backup-simplify: Simplify 0 into 0 1538414745.696 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 1538414745.698 * [misc]backup-simplify: Simplify (* (exp (/ -1 re)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1538414745.698 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 re)))))) into 0 1538414745.698 * [misc]taylor: Taking taylor expansion of 0 in re 1538414745.699 * [misc]backup-simplify: Simplify 0 into 0 1538414745.699 * [misc]backup-simplify: Simplify 0 into 0 1538414745.699 * [misc]backup-simplify: Simplify (* (sin (/ -1 (/ 1 (- im)))) (exp (/ -1 (/ 1 (- re))))) into (* (sin im) (exp re)) 1538414745.699 * * * [misc]progress: simplifying candidates 1538414745.699 * * * * [misc]progress: [ 1 / 20 ] simplifiying candidate # 1538414745.699 * [enter]simplify: Simplifying (* (sin im) (exp re)) 1538414745.699 * * [misc]simplify: iters left: 3 (5 enodes) 1538414745.700 * * [misc]simplify: iters left: 2 (6 enodes) 1538414745.700 * [exit]simplify: Simplified to (* (exp re) (sin im)) 1538414745.701 * [misc]simplify: Simplified (2 1) to (λ (re im) (pow (* (exp re) (sin im)) 1)) 1538414745.701 * * * * [misc]progress: [ 2 / 20 ] simplifiying candidate # 1538414745.701 * * * * [misc]progress: [ 3 / 20 ] simplifiying candidate # 1538414745.701 * [enter]simplify: Simplifying (+ (log (sin im)) re) 1538414745.701 * * [misc]simplify: iters left: 4 (5 enodes) 1538414745.701 * * [misc]simplify: iters left: 3 (6 enodes) 1538414745.702 * [exit]simplify: Simplified to (+ re (log (sin im))) 1538414745.702 * [misc]simplify: Simplified (2 1) to (λ (re im) (exp (+ re (log (sin im))))) 1538414745.702 * * * * [misc]progress: [ 4 / 20 ] simplifiying candidate # 1538414745.702 * * * * [misc]progress: [ 5 / 20 ] simplifiying candidate # 1538414745.702 * * * * [misc]progress: [ 6 / 20 ] simplifiying candidate # 1538414745.703 * [enter]simplify: Simplifying (* (* (* (sin im) (sin im)) (sin im)) (* (* (exp re) (exp re)) (exp re))) 1538414745.703 * * [misc]simplify: iters left: 6 (9 enodes) 1538414745.704 * * [misc]simplify: iters left: 5 (18 enodes) 1538414745.707 * * [misc]simplify: iters left: 4 (47 enodes) 1538414745.715 * * [misc]simplify: iters left: 3 (80 enodes) 1538414745.726 * * [misc]simplify: iters left: 2 (100 enodes) 1538414745.746 * * [misc]simplify: iters left: 1 (101 enodes) 1538414745.754 * [exit]simplify: Simplified to (pow (* (exp re) (sin im)) 3) 1538414745.754 * [misc]simplify: Simplified (2 1) to (λ (re im) (cbrt (pow (* (exp re) (sin im)) 3))) 1538414745.755 * * * * [misc]progress: [ 7 / 20 ] simplifiying candidate # 1538414745.755 * * * * [misc]progress: [ 8 / 20 ] simplifiying candidate # 1538414745.755 * * * * [misc]progress: [ 9 / 20 ] simplifiying candidate # 1538414745.755 * * * * [misc]progress: [ 10 / 20 ] simplifiying candidate # 1538414745.755 * * * * [misc]progress: [ 11 / 20 ] simplifiying candidate # 1538414745.755 * [enter]simplify: Simplifying (cbrt (exp re)) 1538414745.755 * * [misc]simplify: iters left: 2 (3 enodes) 1538414745.755 * [exit]simplify: Simplified to (cbrt (exp re)) 1538414745.755 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (sin im) (* (cbrt (exp re)) (cbrt (exp re)))) (cbrt (exp re)))) 1538414745.755 * * * * [misc]progress: [ 12 / 20 ] simplifiying candidate # 1538414745.756 * [enter]simplify: Simplifying (sqrt (exp re)) 1538414745.756 * * [misc]simplify: iters left: 2 (3 enodes) 1538414745.756 * [exit]simplify: Simplified to (sqrt (exp re)) 1538414745.756 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (sin im) (sqrt (exp re))) (sqrt (exp re)))) 1538414745.756 * * * * [misc]progress: [ 13 / 20 ] simplifiying candidate # 1538414745.756 * [enter]simplify: Simplifying (exp re) 1538414745.756 * * [misc]simplify: iters left: 1 (2 enodes) 1538414745.757 * [exit]simplify: Simplified to (exp re) 1538414745.757 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (* (sin im) 1) (exp re))) 1538414745.757 * * * * [misc]progress: [ 14 / 20 ] simplifiying candidate # 1538414745.757 * [enter]simplify: Simplifying (* (cbrt (sin im)) (cbrt (sin im))) 1538414745.757 * * [misc]simplify: iters left: 4 (4 enodes) 1538414745.757 * [exit]simplify: Simplified to (* (cbrt (sin im)) (cbrt (sin im))) 1538414745.757 * [misc]simplify: Simplified (2 1) to (λ (re im) (* (* (cbrt (sin im)) (cbrt (sin im))) (* (cbrt (sin im)) (exp re)))) 1538414745.758 * * * * [misc]progress: [ 15 / 20 ] simplifiying candidate # 1538414745.758 * [enter]simplify: Simplifying (sqrt (sin im)) 1538414745.758 * * [misc]simplify: iters left: 2 (3 enodes) 1538414745.758 * [exit]simplify: Simplified to (sqrt (sin im)) 1538414745.758 * [misc]simplify: Simplified (2 1) to (λ (re im) (* (sqrt (sin im)) (* (sqrt (sin im)) (exp re)))) 1538414745.758 * * * * [misc]progress: [ 16 / 20 ] simplifiying candidate # 1538414745.758 * * * * [misc]progress: [ 17 / 20 ] simplifiying candidate # 1538414745.758 * * * * [misc]progress: [ 18 / 20 ] simplifiying candidate # 1538414745.758 * [enter]simplify: Simplifying (- (+ (* re im) im) (* 1/6 (pow im 3))) 1538414745.758 * * [misc]simplify: iters left: 6 (9 enodes) 1538414745.760 * * [misc]simplify: iters left: 5 (22 enodes) 1538414745.766 * * [misc]simplify: iters left: 4 (49 enodes) 1538414745.774 * * [misc]simplify: iters left: 3 (86 enodes) 1538414745.791 * * [misc]simplify: iters left: 2 (131 enodes) 1538414745.830 * * [misc]simplify: iters left: 1 (176 enodes) 1538414745.875 * [exit]simplify: Simplified to (+ (+ im (* re im)) (* (* im -1/6) (* im im))) 1538414745.875 * [misc]simplify: Simplified (2) to (λ (re im) (+ (+ im (* re im)) (* (* im -1/6) (* im im)))) 1538414745.875 * * * * [misc]progress: [ 19 / 20 ] simplifiying candidate # 1538414745.875 * [enter]simplify: Simplifying (* (sin im) (exp re)) 1538414745.875 * * [misc]simplify: iters left: 3 (5 enodes) 1538414745.877 * * [misc]simplify: iters left: 2 (6 enodes) 1538414745.878 * [exit]simplify: Simplified to (* (exp re) (sin im)) 1538414745.878 * [misc]simplify: Simplified (2) to (λ (re im) (* (exp re) (sin im))) 1538414745.878 * * * * [misc]progress: [ 20 / 20 ] simplifiying candidate # 1538414745.878 * [enter]simplify: Simplifying (* (sin im) (exp re)) 1538414745.879 * * [misc]simplify: iters left: 3 (5 enodes) 1538414745.880 * * [misc]simplify: iters left: 2 (6 enodes) 1538414745.881 * [exit]simplify: Simplified to (* (exp re) (sin im)) 1538414745.881 * [misc]simplify: Simplified (2) to (λ (re im) (* (exp re) (sin im))) 1538414745.881 * * * [misc]progress: adding candidates to table 1538414746.040 * [misc]progress: [Phase 3 of 3] Extracting. 1538414746.044 * [enter]simplify: Simplifying (* (sin im) (exp re)) 1538414746.044 * * [misc]simplify: iters left: 3 (5 enodes) 1538414746.045 * * [misc]simplify: iters left: 2 (6 enodes) 1538414746.045 * [exit]simplify: Simplified to (* (exp re) (sin im)) 1538414746.045 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538414746.095 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1538414746.096 * * * * [misc]points: Setting MPFR precision to 64 1538414746.096 * * * * [misc]points: Setting MPFR precision to 320 1538414746.097 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1538414746.097 * * * * [misc]points: Setting MPFR precision to 64 1538414746.098 * * * * [misc]points: Setting MPFR precision to 320 1538414746.099 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1538414746.100 * * * * [misc]points: Setting MPFR precision to 64 1538414746.102 * * * * [misc]points: Setting MPFR precision to 320 1538414746.105 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1538414746.106 * * * * [misc]points: Setting MPFR precision to 64 1538414746.111 * * * * [misc]points: Setting MPFR precision to 320 1538414746.114 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1538414746.115 * * * * [misc]points: Setting MPFR precision to 64 1538414746.120 * * * * [misc]points: Setting MPFR precision to 320 1538414746.126 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1538414746.127 * * * * [misc]points: Setting MPFR precision to 64 1538414746.137 * * * * [misc]points: Setting MPFR precision to 320 1538414746.150 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1538414746.151 * * * * [misc]points: Setting MPFR precision to 64 1538414746.186 * * * * [misc]points: Setting MPFR precision to 320 1538414746.213 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1538414746.214 * * * * [misc]points: Setting MPFR precision to 64 1538414746.325 * * * * [misc]points: Setting MPFR precision to 320 1538414746.404 * * * * [misc]points: Computing exacts for 8000 points 1538414746.405 * * * * [misc]points: Setting MPFR precision to 64 1538414746.744 * * * * [misc]points: Setting MPFR precision to 320 1538414747.190 * * * * [misc]points: Setting MPFR precision to 576 1538414747.783 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414747.786 * * * * [misc]points: Sampling 2001 additional inputs, on iter 1 have 5999 / 8000 1538414747.795 * * * * [misc]points: Computing exacts on every 125 of 2001 points to ramp up precision 1538414747.796 * * * * [misc]points: Setting MPFR precision to 320 1538414747.796 * * * * [misc]points: Setting MPFR precision to 576 1538414747.797 * * * * [misc]points: Computing exacts on every 62 of 2001 points to ramp up precision 1538414747.798 * * * * [misc]points: Setting MPFR precision to 320 1538414747.798 * * * * [misc]points: Setting MPFR precision to 576 1538414747.799 * * * * [misc]points: Computing exacts on every 31 of 2001 points to ramp up precision 1538414747.800 * * * * [misc]points: Setting MPFR precision to 320 1538414747.802 * * * * [misc]points: Setting MPFR precision to 576 1538414747.804 * * * * [misc]points: Computing exacts on every 15 of 2001 points to ramp up precision 1538414747.804 * * * * [misc]points: Setting MPFR precision to 320 1538414747.808 * * * * [misc]points: Setting MPFR precision to 576 1538414747.812 * * * * [misc]points: Computing exacts on every 7 of 2001 points to ramp up precision 1538414747.813 * * * * [misc]points: Setting MPFR precision to 320 1538414747.819 * * * * [misc]points: Setting MPFR precision to 576 1538414747.827 * * * * [misc]points: Computing exacts on every 3 of 2001 points to ramp up precision 1538414747.828 * * * * [misc]points: Setting MPFR precision to 320 1538414747.841 * * * * [misc]points: Setting MPFR precision to 576 1538414747.858 * * * * [misc]points: Computing exacts for 2001 points 1538414747.858 * * * * [misc]points: Setting MPFR precision to 320 1538414747.927 * * * * [misc]points: Setting MPFR precision to 576 1538414747.995 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414747.996 * * * * [misc]points: Sampling 496 additional inputs, on iter 2 have 7504 / 8000 1538414747.998 * * * * [misc]points: Computing exacts on every 31 of 496 points to ramp up precision 1538414747.999 * * * * [misc]points: Setting MPFR precision to 320 1538414748.000 * * * * [misc]points: Setting MPFR precision to 576 1538414748.000 * * * * [misc]points: Computing exacts on every 15 of 496 points to ramp up precision 1538414748.001 * * * * [misc]points: Setting MPFR precision to 320 1538414748.002 * * * * [misc]points: Setting MPFR precision to 576 1538414748.003 * * * * [misc]points: Computing exacts on every 7 of 496 points to ramp up precision 1538414748.003 * * * * [misc]points: Setting MPFR precision to 320 1538414748.005 * * * * [misc]points: Setting MPFR precision to 576 1538414748.007 * * * * [misc]points: Computing exacts on every 3 of 496 points to ramp up precision 1538414748.007 * * * * [misc]points: Setting MPFR precision to 320 1538414748.010 * * * * [misc]points: Setting MPFR precision to 576 1538414748.014 * * * * [misc]points: Computing exacts for 496 points 1538414748.015 * * * * [misc]points: Setting MPFR precision to 320 1538414748.056 * * * * [misc]points: Setting MPFR precision to 576 1538414748.073 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414748.073 * * * * [misc]points: Sampling 116 additional inputs, on iter 3 have 7884 / 8000 1538414748.074 * * * * [misc]points: Computing exacts on every 7 of 116 points to ramp up precision 1538414748.075 * * * * [misc]points: Setting MPFR precision to 320 1538414748.075 * * * * [misc]points: Setting MPFR precision to 576 1538414748.076 * * * * [misc]points: Computing exacts on every 3 of 116 points to ramp up precision 1538414748.077 * * * * [misc]points: Setting MPFR precision to 320 1538414748.077 * * * * [misc]points: Setting MPFR precision to 576 1538414748.078 * * * * [misc]points: Computing exacts for 116 points 1538414748.079 * * * * [misc]points: Setting MPFR precision to 320 1538414748.082 * * * * [misc]points: Setting MPFR precision to 576 1538414748.085 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414748.085 * * * * [misc]points: Sampling 28 additional inputs, on iter 4 have 7972 / 8000 1538414748.086 * * * * [misc]points: Computing exacts for 28 points 1538414748.086 * * * * [misc]points: Setting MPFR precision to 320 1538414748.087 * * * * [misc]points: Setting MPFR precision to 576 1538414748.088 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414748.088 * * * * [misc]points: Sampling 7 additional inputs, on iter 5 have 7993 / 8000 1538414748.088 * * * * [misc]points: Computing exacts for 7 points 1538414748.089 * * * * [misc]points: Setting MPFR precision to 320 1538414748.089 * * * * [misc]points: Setting MPFR precision to 576 1538414748.089 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414748.089 * * * * [exit]points: Sampled 8000 points with exact outputs 1538414748.247 * [misc]regime-testing: Baseline error score: 0.010875 1538414748.247 * [misc]regime-testing: End program error score: 0.010875 1538414748.248 * [misc]regime-testing: Oracle error score: 0.010875