1544090858.792 * [misc]progress: [Phase 1 of 3] Setting up. 1544090858.794 * * * [misc]progress: [1/2] Preparing points 1544090858.794 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1544090858.798 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1544090858.856 * * * * [misc]points: Setting MPFR precision to 64 1544090858.906 * * * * [misc]points: Setting MPFR precision to 320 1544090858.907 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1544090858.909 * * * * [misc]points: Setting MPFR precision to 64 1544090858.910 * * * * [misc]points: Setting MPFR precision to 320 1544090858.911 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1544090858.912 * * * * [misc]points: Setting MPFR precision to 64 1544090858.914 * * * * [misc]points: Setting MPFR precision to 320 1544090858.916 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1544090858.917 * * * * [misc]points: Setting MPFR precision to 64 1544090858.920 * * * * [misc]points: Setting MPFR precision to 320 1544090858.923 * * * * [misc]points: Computing exacts for 256 points 1544090858.924 * * * * [misc]points: Setting MPFR precision to 64 1544090858.932 * * * * [misc]points: Setting MPFR precision to 320 1544090858.941 * * * * [misc]points: Filtering points with unrepresentable outputs 1544090858.941 * * * * [misc]points: Sampling 114 additional inputs, on iter 1 have 142 / 256 1544090858.942 * * * * [misc]points: Computing exacts on every 7 of 114 points to ramp up precision 1544090858.944 * * * * [misc]points: Setting MPFR precision to 64 1544090858.944 * * * * [misc]points: Setting MPFR precision to 320 1544090858.945 * * * * [misc]points: Computing exacts on every 3 of 114 points to ramp up precision 1544090858.946 * * * * [misc]points: Setting MPFR precision to 64 1544090858.947 * * * * [misc]points: Setting MPFR precision to 320 1544090858.948 * * * * [misc]points: Computing exacts for 114 points 1544090858.949 * * * * [misc]points: Setting MPFR precision to 64 1544090858.953 * * * * [misc]points: Setting MPFR precision to 320 1544090858.957 * * * * [misc]points: Filtering points with unrepresentable outputs 1544090858.957 * * * * [misc]points: Sampling 52 additional inputs, on iter 2 have 204 / 256 1544090858.957 * * * * [misc]points: Computing exacts on every 3 of 52 points to ramp up precision 1544090858.959 * * * * [misc]points: Setting MPFR precision to 64 1544090858.959 * * * * [misc]points: Setting MPFR precision to 320 1544090858.960 * * * * [misc]points: Computing exacts for 52 points 1544090858.961 * * * * [misc]points: Setting MPFR precision to 64 1544090858.962 * * * * [misc]points: Setting MPFR precision to 320 1544090858.964 * * * * [misc]points: Filtering points with unrepresentable outputs 1544090858.964 * * * * [misc]points: Sampling 20 additional inputs, on iter 3 have 236 / 256 1544090858.964 * * * * [misc]points: Computing exacts for 20 points 1544090858.965 * * * * [misc]points: Setting MPFR precision to 64 1544090858.966 * * * * [misc]points: Setting MPFR precision to 320 1544090858.967 * * * * [misc]points: Filtering points with unrepresentable outputs 1544090858.967 * * * * [misc]points: Sampling 10 additional inputs, on iter 4 have 246 / 256 1544090858.967 * * * * [misc]points: Computing exacts for 10 points 1544090858.968 * * * * [misc]points: Setting MPFR precision to 64 1544090858.969 * * * * [misc]points: Setting MPFR precision to 320 1544090858.969 * * * * [misc]points: Filtering points with unrepresentable outputs 1544090858.969 * * * * [misc]points: Sampling 8 additional inputs, on iter 5 have 248 / 256 1544090858.969 * * * * [misc]points: Computing exacts for 8 points 1544090858.970 * * * * [misc]points: Setting MPFR precision to 64 1544090858.970 * * * * [misc]points: Setting MPFR precision to 320 1544090858.971 * * * * [misc]points: Filtering points with unrepresentable outputs 1544090858.971 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 252 / 256 1544090858.971 * * * * [misc]points: Computing exacts for 4 points 1544090858.972 * * * * [misc]points: Setting MPFR precision to 64 1544090858.972 * * * * [misc]points: Setting MPFR precision to 320 1544090858.972 * * * * [misc]points: Filtering points with unrepresentable outputs 1544090858.972 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 254 / 256 1544090858.972 * * * * [misc]points: Computing exacts for 4 points 1544090858.973 * * * * [misc]points: Setting MPFR precision to 64 1544090858.973 * * * * [misc]points: Setting MPFR precision to 320 1544090858.974 * * * * [misc]points: Filtering points with unrepresentable outputs 1544090858.974 * * * * [exit]points: Sampled 256 points with exact outputs 1544090858.974 * * * [misc]progress: [2/2] Setting up program. 1544090858.980 * [misc]progress: [Phase 2 of 3] Improving. 1544090858.981 * [enter]simplify: Simplifying (- (* re re) (* im im)) 1544090858.982 * * [misc]simplify: iters left: 4 (5 enodes) 1544090858.989 * * [misc]simplify: iters left: 3 (11 enodes) 1544090858.993 * * [misc]simplify: iters left: 2 (18 enodes) 1544090858.999 * * [misc]simplify: iters left: 1 (35 enodes) 1544090859.015 * [exit]simplify: Simplified to (- (* re re) (* im im)) 1544090859.028 * * [misc]progress: iteration 1 / 4 1544090859.028 * * * [misc]progress: picking best candidate 1544090859.032 * * * * [misc]pick: Picked # 1544090859.033 * * * [misc]progress: localizing error 1544090859.075 * * * [misc]progress: generating rewritten candidates 1544090859.076 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1544090859.087 * * * [misc]progress: generating series expansions 1544090859.088 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1544090859.095 * [misc]backup-simplify: Simplify (- (* re re) (* im im)) into (- (pow re 2) (pow im 2)) 1544090859.095 * [misc]approximate: Taking taylor expansion of (- (pow re 2) (pow im 2)) in (re im) around 0 1544090859.097 * [misc]taylor: Taking taylor expansion of (- (pow re 2) (pow im 2)) in im 1544090859.097 * [misc]taylor: Taking taylor expansion of (pow re 2) in im 1544090859.097 * [misc]taylor: Taking taylor expansion of re in im 1544090859.097 * [misc]backup-simplify: Simplify re into re 1544090859.097 * [misc]taylor: Taking taylor expansion of (pow im 2) in im 1544090859.097 * [misc]taylor: Taking taylor expansion of im in im 1544090859.097 * [misc]backup-simplify: Simplify 0 into 0 1544090859.097 * [misc]backup-simplify: Simplify 1 into 1 1544090859.097 * [misc]taylor: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re 1544090859.097 * [misc]taylor: Taking taylor expansion of (pow re 2) in re 1544090859.097 * [misc]taylor: Taking taylor expansion of re in re 1544090859.097 * [misc]backup-simplify: Simplify 0 into 0 1544090859.097 * [misc]backup-simplify: Simplify 1 into 1 1544090859.098 * [misc]taylor: Taking taylor expansion of (pow im 2) in re 1544090859.098 * [misc]taylor: Taking taylor expansion of im in re 1544090859.098 * [misc]backup-simplify: Simplify im into im 1544090859.098 * [misc]taylor: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re 1544090859.098 * [misc]taylor: Taking taylor expansion of (pow re 2) in re 1544090859.098 * [misc]taylor: Taking taylor expansion of re in re 1544090859.098 * [misc]backup-simplify: Simplify 0 into 0 1544090859.098 * [misc]backup-simplify: Simplify 1 into 1 1544090859.098 * [misc]taylor: Taking taylor expansion of (pow im 2) in re 1544090859.098 * [misc]taylor: Taking taylor expansion of im in re 1544090859.098 * [misc]backup-simplify: Simplify im into im 1544090859.099 * [misc]backup-simplify: Simplify (* im im) into (pow im 2) 1544090859.099 * [misc]backup-simplify: Simplify (- (pow im 2)) into (- (pow im 2)) 1544090859.099 * [misc]backup-simplify: Simplify (+ 0 (- (pow im 2))) into (- (pow im 2)) 1544090859.099 * [misc]taylor: Taking taylor expansion of (- (pow im 2)) in im 1544090859.099 * [misc]taylor: Taking taylor expansion of (pow im 2) in im 1544090859.099 * [misc]taylor: Taking taylor expansion of im in im 1544090859.099 * [misc]backup-simplify: Simplify 0 into 0 1544090859.099 * [misc]backup-simplify: Simplify 1 into 1 1544090859.100 * [misc]backup-simplify: Simplify (+ (* im 0) (* 0 im)) into 0 1544090859.100 * [misc]backup-simplify: Simplify (- 0) into 0 1544090859.101 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544090859.101 * [misc]taylor: Taking taylor expansion of 0 in im 1544090859.101 * [misc]backup-simplify: Simplify 0 into 0 1544090859.101 * [misc]backup-simplify: Simplify 0 into 0 1544090859.101 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544090859.101 * [misc]backup-simplify: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 1544090859.101 * [misc]backup-simplify: Simplify (- 0) into 0 1544090859.102 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544090859.102 * [misc]taylor: Taking taylor expansion of 1 in im 1544090859.102 * [misc]backup-simplify: Simplify 1 into 1 1544090859.102 * [misc]backup-simplify: Simplify 1 into 1 1544090859.102 * [misc]backup-simplify: Simplify 0 into 0 1544090859.102 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544090859.102 * [misc]backup-simplify: Simplify (- 1) into -1 1544090859.102 * [misc]backup-simplify: Simplify -1 into -1 1544090859.103 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544090859.103 * [misc]backup-simplify: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0 1544090859.103 * [misc]backup-simplify: Simplify (- 0) into 0 1544090859.104 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544090859.104 * [misc]taylor: Taking taylor expansion of 0 in im 1544090859.104 * [misc]backup-simplify: Simplify 0 into 0 1544090859.104 * [misc]backup-simplify: Simplify 0 into 0 1544090859.104 * [misc]backup-simplify: Simplify 0 into 0 1544090859.104 * [misc]backup-simplify: Simplify 0 into 0 1544090859.104 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544090859.104 * [misc]backup-simplify: Simplify (- 0) into 0 1544090859.104 * [misc]backup-simplify: Simplify 0 into 0 1544090859.105 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544090859.105 * [misc]backup-simplify: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0 1544090859.105 * [misc]backup-simplify: Simplify (- 0) into 0 1544090859.106 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544090859.106 * [misc]taylor: Taking taylor expansion of 0 in im 1544090859.106 * [misc]backup-simplify: Simplify 0 into 0 1544090859.106 * [misc]backup-simplify: Simplify 0 into 0 1544090859.106 * [misc]backup-simplify: Simplify 0 into 0 1544090859.106 * [misc]backup-simplify: Simplify (+ (* -1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (- (pow re 2) (pow im 2)) 1544090859.107 * [misc]backup-simplify: Simplify (- (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) 1544090859.107 * [misc]approximate: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0 1544090859.107 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 1544090859.107 * [misc]taylor: Taking taylor expansion of (/ 1 (pow re 2)) in im 1544090859.107 * [misc]taylor: Taking taylor expansion of (pow re 2) in im 1544090859.107 * [misc]taylor: Taking taylor expansion of re in im 1544090859.107 * [misc]backup-simplify: Simplify re into re 1544090859.107 * [misc]backup-simplify: Simplify (* re re) into (pow re 2) 1544090859.107 * [misc]backup-simplify: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 1544090859.107 * [misc]taylor: Taking taylor expansion of (/ 1 (pow im 2)) in im 1544090859.107 * [misc]taylor: Taking taylor expansion of (pow im 2) in im 1544090859.107 * [misc]taylor: Taking taylor expansion of im in im 1544090859.107 * [misc]backup-simplify: Simplify 0 into 0 1544090859.107 * [misc]backup-simplify: Simplify 1 into 1 1544090859.108 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544090859.108 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544090859.108 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1544090859.108 * [misc]taylor: Taking taylor expansion of (/ 1 (pow re 2)) in re 1544090859.108 * [misc]taylor: Taking taylor expansion of (pow re 2) in re 1544090859.108 * [misc]taylor: Taking taylor expansion of re in re 1544090859.108 * [misc]backup-simplify: Simplify 0 into 0 1544090859.108 * [misc]backup-simplify: Simplify 1 into 1 1544090859.108 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544090859.109 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544090859.109 * [misc]taylor: Taking taylor expansion of (/ 1 (pow im 2)) in re 1544090859.109 * [misc]taylor: Taking taylor expansion of (pow im 2) in re 1544090859.109 * [misc]taylor: Taking taylor expansion of im in re 1544090859.109 * [misc]backup-simplify: Simplify im into im 1544090859.109 * [misc]backup-simplify: Simplify (* im im) into (pow im 2) 1544090859.109 * [misc]backup-simplify: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1544090859.109 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1544090859.109 * [misc]taylor: Taking taylor expansion of (/ 1 (pow re 2)) in re 1544090859.109 * [misc]taylor: Taking taylor expansion of (pow re 2) in re 1544090859.109 * [misc]taylor: Taking taylor expansion of re in re 1544090859.109 * [misc]backup-simplify: Simplify 0 into 0 1544090859.109 * [misc]backup-simplify: Simplify 1 into 1 1544090859.109 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544090859.109 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544090859.109 * [misc]taylor: Taking taylor expansion of (/ 1 (pow im 2)) in re 1544090859.110 * [misc]taylor: Taking taylor expansion of (pow im 2) in re 1544090859.110 * [misc]taylor: Taking taylor expansion of im in re 1544090859.110 * [misc]backup-simplify: Simplify im into im 1544090859.110 * [misc]backup-simplify: Simplify (* im im) into (pow im 2) 1544090859.110 * [misc]backup-simplify: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1544090859.110 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544090859.110 * [misc]taylor: Taking taylor expansion of 1 in im 1544090859.110 * [misc]backup-simplify: Simplify 1 into 1 1544090859.111 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544090859.111 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544090859.111 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544090859.111 * [misc]taylor: Taking taylor expansion of 0 in im 1544090859.111 * [misc]backup-simplify: Simplify 0 into 0 1544090859.111 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544090859.112 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544090859.112 * [misc]backup-simplify: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 1544090859.112 * [misc]backup-simplify: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 1544090859.112 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 1544090859.112 * [misc]taylor: Taking taylor expansion of (/ 1 (pow im 2)) in im 1544090859.112 * [misc]taylor: Taking taylor expansion of (pow im 2) in im 1544090859.112 * [misc]taylor: Taking taylor expansion of im in im 1544090859.112 * [misc]backup-simplify: Simplify 0 into 0 1544090859.112 * [misc]backup-simplify: Simplify 1 into 1 1544090859.112 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544090859.113 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544090859.113 * [misc]backup-simplify: Simplify (- 1) into -1 1544090859.113 * [misc]backup-simplify: Simplify -1 into -1 1544090859.113 * [misc]backup-simplify: Simplify 1 into 1 1544090859.113 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544090859.114 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544090859.114 * [misc]backup-simplify: Simplify (+ (* im 0) (* 0 im)) into 0 1544090859.114 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 1544090859.114 * [misc]backup-simplify: Simplify (- 0) into 0 1544090859.114 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544090859.114 * [misc]taylor: Taking taylor expansion of 0 in im 1544090859.114 * [misc]backup-simplify: Simplify 0 into 0 1544090859.115 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544090859.115 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544090859.115 * [misc]backup-simplify: Simplify (- 0) into 0 1544090859.115 * [misc]backup-simplify: Simplify 0 into 0 1544090859.115 * [misc]backup-simplify: Simplify 0 into 0 1544090859.115 * [misc]backup-simplify: Simplify 0 into 0 1544090859.116 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544090859.116 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544090859.116 * [misc]backup-simplify: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 1544090859.117 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 1544090859.117 * [misc]backup-simplify: Simplify (- 0) into 0 1544090859.117 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544090859.117 * [misc]taylor: Taking taylor expansion of 0 in im 1544090859.117 * [misc]backup-simplify: Simplify 0 into 0 1544090859.117 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544090859.118 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544090859.118 * [misc]backup-simplify: Simplify (- 0) into 0 1544090859.118 * [misc]backup-simplify: Simplify 0 into 0 1544090859.118 * [misc]backup-simplify: Simplify 0 into 0 1544090859.118 * [misc]backup-simplify: Simplify 0 into 0 1544090859.118 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 re))) 2)) (* -1 (pow (* (/ 1 (/ 1 im)) 1) 2))) into (- (pow re 2) (pow im 2)) 1544090859.119 * [misc]backup-simplify: Simplify (- (* (/ 1 (- re)) (/ 1 (- re))) (* (/ 1 (- im)) (/ 1 (- im)))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) 1544090859.119 * [misc]approximate: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0 1544090859.119 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 1544090859.119 * [misc]taylor: Taking taylor expansion of (/ 1 (pow re 2)) in im 1544090859.119 * [misc]taylor: Taking taylor expansion of (pow re 2) in im 1544090859.119 * [misc]taylor: Taking taylor expansion of re in im 1544090859.119 * [misc]backup-simplify: Simplify re into re 1544090859.119 * [misc]backup-simplify: Simplify (* re re) into (pow re 2) 1544090859.119 * [misc]backup-simplify: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 1544090859.119 * [misc]taylor: Taking taylor expansion of (/ 1 (pow im 2)) in im 1544090859.119 * [misc]taylor: Taking taylor expansion of (pow im 2) in im 1544090859.119 * [misc]taylor: Taking taylor expansion of im in im 1544090859.119 * [misc]backup-simplify: Simplify 0 into 0 1544090859.119 * [misc]backup-simplify: Simplify 1 into 1 1544090859.119 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544090859.120 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544090859.120 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1544090859.120 * [misc]taylor: Taking taylor expansion of (/ 1 (pow re 2)) in re 1544090859.120 * [misc]taylor: Taking taylor expansion of (pow re 2) in re 1544090859.120 * [misc]taylor: Taking taylor expansion of re in re 1544090859.120 * [misc]backup-simplify: Simplify 0 into 0 1544090859.120 * [misc]backup-simplify: Simplify 1 into 1 1544090859.120 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544090859.120 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544090859.120 * [misc]taylor: Taking taylor expansion of (/ 1 (pow im 2)) in re 1544090859.120 * [misc]taylor: Taking taylor expansion of (pow im 2) in re 1544090859.120 * [misc]taylor: Taking taylor expansion of im in re 1544090859.120 * [misc]backup-simplify: Simplify im into im 1544090859.120 * [misc]backup-simplify: Simplify (* im im) into (pow im 2) 1544090859.120 * [misc]backup-simplify: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1544090859.120 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1544090859.120 * [misc]taylor: Taking taylor expansion of (/ 1 (pow re 2)) in re 1544090859.121 * [misc]taylor: Taking taylor expansion of (pow re 2) in re 1544090859.121 * [misc]taylor: Taking taylor expansion of re in re 1544090859.121 * [misc]backup-simplify: Simplify 0 into 0 1544090859.121 * [misc]backup-simplify: Simplify 1 into 1 1544090859.121 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544090859.121 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544090859.121 * [misc]taylor: Taking taylor expansion of (/ 1 (pow im 2)) in re 1544090859.121 * [misc]taylor: Taking taylor expansion of (pow im 2) in re 1544090859.121 * [misc]taylor: Taking taylor expansion of im in re 1544090859.121 * [misc]backup-simplify: Simplify im into im 1544090859.121 * [misc]backup-simplify: Simplify (* im im) into (pow im 2) 1544090859.121 * [misc]backup-simplify: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1544090859.121 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544090859.121 * [misc]taylor: Taking taylor expansion of 1 in im 1544090859.122 * [misc]backup-simplify: Simplify 1 into 1 1544090859.122 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544090859.122 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544090859.122 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544090859.122 * [misc]taylor: Taking taylor expansion of 0 in im 1544090859.122 * [misc]backup-simplify: Simplify 0 into 0 1544090859.123 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544090859.123 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544090859.123 * [misc]backup-simplify: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 1544090859.124 * [misc]backup-simplify: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 1544090859.124 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 1544090859.124 * [misc]taylor: Taking taylor expansion of (/ 1 (pow im 2)) in im 1544090859.124 * [misc]taylor: Taking taylor expansion of (pow im 2) in im 1544090859.124 * [misc]taylor: Taking taylor expansion of im in im 1544090859.124 * [misc]backup-simplify: Simplify 0 into 0 1544090859.124 * [misc]backup-simplify: Simplify 1 into 1 1544090859.124 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544090859.124 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544090859.124 * [misc]backup-simplify: Simplify (- 1) into -1 1544090859.124 * [misc]backup-simplify: Simplify -1 into -1 1544090859.124 * [misc]backup-simplify: Simplify 1 into 1 1544090859.125 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544090859.125 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544090859.125 * [misc]backup-simplify: Simplify (+ (* im 0) (* 0 im)) into 0 1544090859.125 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 1544090859.126 * [misc]backup-simplify: Simplify (- 0) into 0 1544090859.126 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544090859.126 * [misc]taylor: Taking taylor expansion of 0 in im 1544090859.126 * [misc]backup-simplify: Simplify 0 into 0 1544090859.126 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544090859.126 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544090859.126 * [misc]backup-simplify: Simplify (- 0) into 0 1544090859.126 * [misc]backup-simplify: Simplify 0 into 0 1544090859.127 * [misc]backup-simplify: Simplify 0 into 0 1544090859.127 * [misc]backup-simplify: Simplify 0 into 0 1544090859.127 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544090859.127 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544090859.128 * [misc]backup-simplify: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 1544090859.128 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 1544090859.128 * [misc]backup-simplify: Simplify (- 0) into 0 1544090859.128 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544090859.128 * [misc]taylor: Taking taylor expansion of 0 in im 1544090859.128 * [misc]backup-simplify: Simplify 0 into 0 1544090859.129 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544090859.129 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544090859.129 * [misc]backup-simplify: Simplify (- 0) into 0 1544090859.129 * [misc]backup-simplify: Simplify 0 into 0 1544090859.129 * [misc]backup-simplify: Simplify 0 into 0 1544090859.129 * [misc]backup-simplify: Simplify 0 into 0 1544090859.130 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- re)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- im))) 1) 2))) into (- (pow re 2) (pow im 2)) 1544090859.130 * * * [misc]progress: simplifying candidates 1544090859.130 * * * * [misc]progress: [ 1 / 20 ] simplifiying candidate # 1544090859.131 * [enter]simplify: Simplifying (fma re re (- (* im im))) 1544090859.131 * * [misc]simplify: iters left: 5 (5 enodes) 1544090859.133 * * [misc]simplify: iters left: 4 (10 enodes) 1544090859.135 * * [misc]simplify: iters left: 3 (12 enodes) 1544090859.139 * * [misc]simplify: iters left: 2 (17 enodes) 1544090859.144 * * [misc]simplify: iters left: 1 (20 enodes) 1544090859.147 * [exit]simplify: Simplified to (* (- re im) (+ im re)) 1544090859.147 * [misc]simplify: Simplified (2 1) to (λ (re im) (+ (* (- re im) (+ im re)) (fma (- im) im (* im im)))) 1544090859.147 * [enter]simplify: Simplifying (fma (- im) im (* im im)) 1544090859.147 * * [misc]simplify: iters left: 3 (4 enodes) 1544090859.148 * * [misc]simplify: iters left: 2 (6 enodes) 1544090859.148 * * [misc]simplify: iters left: 1 (11 enodes) 1544090859.150 * [exit]simplify: Simplified to (- (* im im) (* im im)) 1544090859.150 * [misc]simplify: Simplified (2 2) to (λ (re im) (+ (fma re re (- (* im im))) (- (* im im) (* im im)))) 1544090859.150 * * * * [misc]progress: [ 2 / 20 ] simplifiying candidate # 1544090859.150 * * * * [misc]progress: [ 3 / 20 ] simplifiying candidate # 1544090859.151 * * * * [misc]progress: [ 4 / 20 ] simplifiying candidate # 1544090859.151 * * * * [misc]progress: [ 5 / 20 ] simplifiying candidate # 1544090859.151 * [enter]simplify: Simplifying (/ (exp (* re re)) (exp (* im im))) 1544090859.151 * * [misc]simplify: iters left: 5 (7 enodes) 1544090859.152 * * [misc]simplify: iters left: 4 (13 enodes) 1544090859.154 * * [misc]simplify: iters left: 3 (19 enodes) 1544090859.157 * * [misc]simplify: iters left: 2 (30 enodes) 1544090859.161 * * [misc]simplify: iters left: 1 (57 enodes) 1544090859.172 * [exit]simplify: Simplified to (exp (- (* re re) (* im im))) 1544090859.172 * [misc]simplify: Simplified (2 1) to (λ (re im) (log (exp (- (* re re) (* im im))))) 1544090859.172 * * * * [misc]progress: [ 6 / 20 ] simplifiying candidate # 1544090859.172 * * * * [misc]progress: [ 7 / 20 ] simplifiying candidate # 1544090859.172 * * * * [misc]progress: [ 8 / 20 ] simplifiying candidate # 1544090859.172 * * * * [misc]progress: [ 9 / 20 ] simplifiying candidate # 1544090859.172 * * * * [misc]progress: [ 10 / 20 ] simplifiying candidate # 1544090859.172 * * * * [misc]progress: [ 11 / 20 ] simplifiying candidate # 1544090859.172 * * * * [misc]progress: [ 12 / 20 ] simplifiying candidate # 1544090859.172 * * * * [misc]progress: [ 13 / 20 ] simplifiying candidate # 1544090859.172 * * * * [misc]progress: [ 14 / 20 ] simplifiying candidate # 1544090859.172 * * * * [misc]progress: [ 15 / 20 ] simplifiying candidate # 1544090859.172 * * * * [misc]progress: [ 16 / 20 ] simplifiying candidate # 1544090859.172 * [enter]simplify: Simplifying (+ re im) 1544090859.172 * * [misc]simplify: iters left: 2 (3 enodes) 1544090859.173 * * [misc]simplify: iters left: 1 (4 enodes) 1544090859.173 * [exit]simplify: Simplified to (+ im re) 1544090859.173 * [misc]simplify: Simplified (2 1) to (λ (re im) (* (+ im re) (- re im))) 1544090859.174 * [enter]simplify: Simplifying (- re im) 1544090859.174 * * [misc]simplify: iters left: 2 (3 enodes) 1544090859.174 * * [misc]simplify: iters left: 1 (5 enodes) 1544090859.175 * [exit]simplify: Simplified to (- re im) 1544090859.175 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (+ re im) (- re im))) 1544090859.175 * * * * [misc]progress: [ 17 / 20 ] simplifiying candidate # 1544090859.175 * * * * [misc]progress: [ 18 / 20 ] simplifiying candidate # 1544090859.175 * [enter]simplify: Simplifying (- (pow re 2) (pow im 2)) 1544090859.175 * * [misc]simplify: iters left: 3 (6 enodes) 1544090859.176 * * [misc]simplify: iters left: 2 (10 enodes) 1544090859.178 * * [misc]simplify: iters left: 1 (18 enodes) 1544090859.181 * [exit]simplify: Simplified to (- (* re re) (* im im)) 1544090859.181 * [misc]simplify: Simplified (2) to (λ (re im) (- (* re re) (* im im))) 1544090859.181 * * * * [misc]progress: [ 19 / 20 ] simplifiying candidate # 1544090859.181 * [enter]simplify: Simplifying (- (pow re 2) (pow im 2)) 1544090859.181 * * [misc]simplify: iters left: 3 (6 enodes) 1544090859.182 * * [misc]simplify: iters left: 2 (10 enodes) 1544090859.183 * * [misc]simplify: iters left: 1 (18 enodes) 1544090859.186 * [exit]simplify: Simplified to (- (* re re) (* im im)) 1544090859.186 * [misc]simplify: Simplified (2) to (λ (re im) (- (* re re) (* im im))) 1544090859.186 * * * * [misc]progress: [ 20 / 20 ] simplifiying candidate # 1544090859.187 * [enter]simplify: Simplifying (- (pow re 2) (pow im 2)) 1544090859.187 * * [misc]simplify: iters left: 3 (6 enodes) 1544090859.188 * * [misc]simplify: iters left: 2 (10 enodes) 1544090859.189 * * [misc]simplify: iters left: 1 (18 enodes) 1544090859.193 * [exit]simplify: Simplified to (- (* re re) (* im im)) 1544090859.193 * [misc]simplify: Simplified (2) to (λ (re im) (- (* re re) (* im im))) 1544090859.193 * * * [misc]progress: adding candidates to table 1544090859.366 * * [misc]progress: iteration 2 / 4 1544090859.366 * * * [misc]progress: picking best candidate 1544090859.368 * * * * [misc]pick: Picked # 1544090859.368 * * * [misc]progress: localizing error 1544090859.378 * * * [misc]progress: generating rewritten candidates 1544090859.378 * * * [misc]progress: generating series expansions 1544090859.378 * * * [misc]progress: simplifying candidates 1544090859.378 * * * [misc]progress: adding candidates to table 1544090859.378 * [misc]progress: [Phase 3 of 3] Extracting. 1544090859.381 * [enter]simplify: Simplifying (* (+ re im) (- re im)) 1544090859.381 * * [misc]simplify: iters left: 4 (5 enodes) 1544090859.381 * * [misc]simplify: iters left: 3 (7 enodes) 1544090859.381 * [exit]simplify: Simplified to (* (+ im re) (- re im)) 1544090859.381 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1544090859.419 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1544090859.420 * * * * [misc]points: Setting MPFR precision to 64 1544090859.421 * * * * [misc]points: Setting MPFR precision to 320 1544090859.421 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1544090859.422 * * * * [misc]points: Setting MPFR precision to 64 1544090859.423 * * * * [misc]points: Setting MPFR precision to 320 1544090859.424 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1544090859.425 * * * * [misc]points: Setting MPFR precision to 64 1544090859.427 * * * * [misc]points: Setting MPFR precision to 320 1544090859.429 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1544090859.430 * * * * [misc]points: Setting MPFR precision to 64 1544090859.434 * * * * [misc]points: Setting MPFR precision to 320 1544090859.436 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1544090859.437 * * * * [misc]points: Setting MPFR precision to 64 1544090859.450 * * * * [misc]points: Setting MPFR precision to 320 1544090859.455 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1544090859.456 * * * * [misc]points: Setting MPFR precision to 64 1544090859.464 * * * * [misc]points: Setting MPFR precision to 320 1544090859.472 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1544090859.473 * * * * [misc]points: Setting MPFR precision to 64 1544090859.488 * * * * [misc]points: Setting MPFR precision to 320 1544090859.504 * * * * [misc]points: Setting MPFR precision to 576 1544090859.521 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1544090859.522 * * * * [misc]points: Setting MPFR precision to 320 1544090859.603 * * * * [misc]points: Setting MPFR precision to 576 1544090859.638 * * * * [misc]points: Computing exacts for 8000 points 1544090859.639 * * * * [misc]points: Setting MPFR precision to 320 1544090859.977 * * * * [misc]points: Setting MPFR precision to 576 1544090860.291 * * * * [misc]points: Filtering points with unrepresentable outputs 1544090860.295 * * * * [misc]points: Sampling 3419 additional inputs, on iter 1 have 4581 / 8000 1544090860.325 * * * * [misc]points: Computing exacts on every 213 of 3419 points to ramp up precision 1544090860.326 * * * * [misc]points: Setting MPFR precision to 320 1544090860.327 * * * * [misc]points: Setting MPFR precision to 576 1544090860.327 * * * * [misc]points: Computing exacts on every 106 of 3419 points to ramp up precision 1544090860.328 * * * * [misc]points: Setting MPFR precision to 320 1544090860.329 * * * * [misc]points: Setting MPFR precision to 576 1544090860.331 * * * * [misc]points: Computing exacts on every 53 of 3419 points to ramp up precision 1544090860.332 * * * * [misc]points: Setting MPFR precision to 320 1544090860.334 * * * * [misc]points: Setting MPFR precision to 576 1544090860.336 * * * * [misc]points: Computing exacts on every 26 of 3419 points to ramp up precision 1544090860.337 * * * * [misc]points: Setting MPFR precision to 320 1544090860.340 * * * * [misc]points: Setting MPFR precision to 576 1544090860.342 * * * * [misc]points: Computing exacts on every 13 of 3419 points to ramp up precision 1544090860.343 * * * * [misc]points: Setting MPFR precision to 320 1544090860.347 * * * * [misc]points: Setting MPFR precision to 576 1544090860.369 * * * * [misc]points: Computing exacts on every 6 of 3419 points to ramp up precision 1544090860.371 * * * * [misc]points: Setting MPFR precision to 320 1544090860.379 * * * * [misc]points: Setting MPFR precision to 576 1544090860.390 * * * * [misc]points: Computing exacts on every 3 of 3419 points to ramp up precision 1544090860.391 * * * * [misc]points: Setting MPFR precision to 320 1544090860.417 * * * * [misc]points: Setting MPFR precision to 576 1544090860.445 * * * * [misc]points: Computing exacts for 3419 points 1544090860.446 * * * * [misc]points: Setting MPFR precision to 320 1544090860.924 * * * * [misc]points: Setting MPFR precision to 576 1544090861.060 * * * * [misc]points: Filtering points with unrepresentable outputs 1544090861.061 * * * * [misc]points: Sampling 1439 additional inputs, on iter 2 have 6561 / 8000 1544090861.074 * * * * [misc]points: Computing exacts on every 89 of 1439 points to ramp up precision 1544090861.075 * * * * [misc]points: Setting MPFR precision to 320 1544090861.076 * * * * [misc]points: Setting MPFR precision to 576 1544090861.076 * * * * [misc]points: Computing exacts on every 44 of 1439 points to ramp up precision 1544090861.077 * * * * [misc]points: Setting MPFR precision to 320 1544090861.078 * * * * [misc]points: Setting MPFR precision to 576 1544090861.079 * * * * [misc]points: Computing exacts on every 22 of 1439 points to ramp up precision 1544090861.080 * * * * [misc]points: Setting MPFR precision to 320 1544090861.082 * * * * [misc]points: Setting MPFR precision to 576 1544090861.084 * * * * [misc]points: Computing exacts on every 11 of 1439 points to ramp up precision 1544090861.085 * * * * [misc]points: Setting MPFR precision to 320 1544090861.089 * * * * [misc]points: Setting MPFR precision to 576 1544090861.093 * * * * [misc]points: Computing exacts on every 5 of 1439 points to ramp up precision 1544090861.094 * * * * [misc]points: Setting MPFR precision to 320 1544090861.102 * * * * [misc]points: Setting MPFR precision to 576 1544090861.109 * * * * [misc]points: Computing exacts on every 2 of 1439 points to ramp up precision 1544090861.110 * * * * [misc]points: Setting MPFR precision to 320 1544090861.118 * * * * [misc]points: Setting MPFR precision to 576 1544090861.126 * * * * [misc]points: Computing exacts for 1439 points 1544090861.127 * * * * [misc]points: Setting MPFR precision to 320 1544090861.183 * * * * [misc]points: Setting MPFR precision to 576 1544090861.219 * * * * [misc]points: Filtering points with unrepresentable outputs 1544090861.219 * * * * [misc]points: Sampling 620 additional inputs, on iter 3 have 7380 / 8000 1544090861.222 * * * * [misc]points: Computing exacts on every 38 of 620 points to ramp up precision 1544090861.223 * * * * [misc]points: Setting MPFR precision to 320 1544090861.223 * * * * [misc]points: Setting MPFR precision to 576 1544090861.223 * * * * [misc]points: Computing exacts on every 19 of 620 points to ramp up precision 1544090861.224 * * * * [misc]points: Setting MPFR precision to 320 1544090861.224 * * * * [misc]points: Setting MPFR precision to 576 1544090861.225 * * * * [misc]points: Computing exacts on every 9 of 620 points to ramp up precision 1544090861.226 * * * * [misc]points: Setting MPFR precision to 320 1544090861.227 * * * * [misc]points: Setting MPFR precision to 576 1544090861.228 * * * * [misc]points: Computing exacts on every 4 of 620 points to ramp up precision 1544090861.228 * * * * [misc]points: Setting MPFR precision to 320 1544090861.230 * * * * [misc]points: Setting MPFR precision to 576 1544090861.232 * * * * [misc]points: Computing exacts on every 2 of 620 points to ramp up precision 1544090861.233 * * * * [misc]points: Setting MPFR precision to 320 1544090861.236 * * * * [misc]points: Setting MPFR precision to 576 1544090861.240 * * * * [misc]points: Computing exacts for 620 points 1544090861.240 * * * * [misc]points: Setting MPFR precision to 320 1544090861.250 * * * * [misc]points: Setting MPFR precision to 576 1544090861.269 * * * * [misc]points: Filtering points with unrepresentable outputs 1544090861.269 * * * * [misc]points: Sampling 296 additional inputs, on iter 4 have 7704 / 8000 1544090861.272 * * * * [misc]points: Computing exacts on every 18 of 296 points to ramp up precision 1544090861.273 * * * * [misc]points: Setting MPFR precision to 320 1544090861.311 * * * * [misc]points: Setting MPFR precision to 576 1544090861.311 * * * * [misc]points: Computing exacts on every 9 of 296 points to ramp up precision 1544090861.312 * * * * [misc]points: Setting MPFR precision to 320 1544090861.313 * * * * [misc]points: Setting MPFR precision to 576 1544090861.313 * * * * [misc]points: Computing exacts on every 4 of 296 points to ramp up precision 1544090861.314 * * * * [misc]points: Setting MPFR precision to 320 1544090861.315 * * * * [misc]points: Setting MPFR precision to 576 1544090861.316 * * * * [misc]points: Computing exacts on every 2 of 296 points to ramp up precision 1544090861.316 * * * * [misc]points: Setting MPFR precision to 320 1544090861.318 * * * * [misc]points: Setting MPFR precision to 576 1544090861.320 * * * * [misc]points: Computing exacts for 296 points 1544090861.320 * * * * [misc]points: Setting MPFR precision to 320 1544090861.327 * * * * [misc]points: Setting MPFR precision to 576 1544090861.331 * * * * [misc]points: Filtering points with unrepresentable outputs 1544090861.331 * * * * [misc]points: Sampling 129 additional inputs, on iter 5 have 7871 / 8000 1544090861.332 * * * * [misc]points: Computing exacts on every 8 of 129 points to ramp up precision 1544090861.333 * * * * [misc]points: Setting MPFR precision to 320 1544090861.333 * * * * [misc]points: Setting MPFR precision to 576 1544090861.333 * * * * [misc]points: Computing exacts on every 4 of 129 points to ramp up precision 1544090861.334 * * * * [misc]points: Setting MPFR precision to 320 1544090861.334 * * * * [misc]points: Setting MPFR precision to 576 1544090861.335 * * * * [misc]points: Computing exacts on every 2 of 129 points to ramp up precision 1544090861.335 * * * * [misc]points: Setting MPFR precision to 320 1544090861.336 * * * * [misc]points: Setting MPFR precision to 576 1544090861.337 * * * * [misc]points: Computing exacts for 129 points 1544090861.337 * * * * [misc]points: Setting MPFR precision to 320 1544090861.339 * * * * [misc]points: Setting MPFR precision to 576 1544090861.341 * * * * [misc]points: Filtering points with unrepresentable outputs 1544090861.341 * * * * [misc]points: Sampling 59 additional inputs, on iter 6 have 7941 / 8000 1544090861.342 * * * * [misc]points: Computing exacts on every 3 of 59 points to ramp up precision 1544090861.342 * * * * [misc]points: Setting MPFR precision to 320 1544090861.343 * * * * [misc]points: Setting MPFR precision to 576 1544090861.343 * * * * [misc]points: Computing exacts for 59 points 1544090861.343 * * * * [misc]points: Setting MPFR precision to 320 1544090861.344 * * * * [misc]points: Setting MPFR precision to 576 1544090861.345 * * * * [misc]points: Filtering points with unrepresentable outputs 1544090861.345 * * * * [misc]points: Sampling 29 additional inputs, on iter 7 have 7971 / 8000 1544090861.346 * * * * [misc]points: Computing exacts for 29 points 1544090861.346 * * * * [misc]points: Setting MPFR precision to 320 1544090861.347 * * * * [misc]points: Setting MPFR precision to 576 1544090861.347 * * * * [misc]points: Filtering points with unrepresentable outputs 1544090861.347 * * * * [misc]points: Sampling 8 additional inputs, on iter 8 have 7992 / 8000 1544090861.347 * * * * [misc]points: Computing exacts for 8 points 1544090861.348 * * * * [misc]points: Setting MPFR precision to 320 1544090861.348 * * * * [misc]points: Setting MPFR precision to 576 1544090861.348 * * * * [misc]points: Filtering points with unrepresentable outputs 1544090861.348 * * * * [misc]points: Sampling 4 additional inputs, on iter 9 have 7997 / 8000 1544090861.348 * * * * [misc]points: Computing exacts for 4 points 1544090861.349 * * * * [misc]points: Setting MPFR precision to 320 1544090861.349 * * * * [misc]points: Setting MPFR precision to 576 1544090861.349 * * * * [misc]points: Filtering points with unrepresentable outputs 1544090861.349 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 7999 / 8000 1544090861.349 * * * * [misc]points: Computing exacts for 4 points 1544090861.350 * * * * [misc]points: Setting MPFR precision to 320 1544090861.350 * * * * [misc]points: Setting MPFR precision to 576 1544090861.350 * * * * [misc]points: Filtering points with unrepresentable outputs 1544090861.350 * * * * [exit]points: Sampled 8002 points with exact outputs 1544090861.556 * [misc]regime-testing: Baseline error score: 0.001125 1544090861.556 * [misc]regime-testing: End program error score: 0.001125 1544090861.558 * [misc]regime-testing: Oracle error score: 0.001125