1536824511.206 * [misc]progress: [Phase 1 of 3] Setting up. 1536824511.206 * * * [misc]progress: [1/2] Preparing points 1536824511.206 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1536824511.208 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1536824511.211 * * * * [misc]points: Setting MPFR precision to 64 1536824511.212 * * * * [misc]points: Setting MPFR precision to 320 1536824511.213 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1536824511.215 * * * * [misc]points: Setting MPFR precision to 64 1536824511.216 * * * * [misc]points: Setting MPFR precision to 320 1536824511.218 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1536824511.219 * * * * [misc]points: Setting MPFR precision to 64 1536824511.226 * * * * [misc]points: Setting MPFR precision to 320 1536824511.231 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1536824511.233 * * * * [misc]points: Setting MPFR precision to 64 1536824511.239 * * * * [misc]points: Setting MPFR precision to 320 1536824511.245 * * * * [misc]points: Computing exacts for 256 points 1536824511.247 * * * * [misc]points: Setting MPFR precision to 64 1536824511.265 * * * * [misc]points: Setting MPFR precision to 320 1536824511.286 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824511.286 * * * * [misc]points: Sampling 119 additional inputs, on iter 1 have 137 / 256 1536824511.287 * * * * [misc]points: Computing exacts on every 7 of 119 points to ramp up precision 1536824511.289 * * * * [misc]points: Setting MPFR precision to 64 1536824511.290 * * * * [misc]points: Setting MPFR precision to 320 1536824511.292 * * * * [misc]points: Computing exacts on every 3 of 119 points to ramp up precision 1536824511.293 * * * * [misc]points: Setting MPFR precision to 64 1536824511.294 * * * * [misc]points: Setting MPFR precision to 320 1536824511.295 * * * * [misc]points: Computing exacts for 119 points 1536824511.296 * * * * [misc]points: Setting MPFR precision to 64 1536824511.301 * * * * [misc]points: Setting MPFR precision to 320 1536824511.306 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824511.306 * * * * [misc]points: Sampling 58 additional inputs, on iter 2 have 198 / 256 1536824511.306 * * * * [misc]points: Computing exacts on every 3 of 58 points to ramp up precision 1536824511.307 * * * * [misc]points: Setting MPFR precision to 64 1536824511.308 * * * * [misc]points: Setting MPFR precision to 320 1536824511.309 * * * * [misc]points: Computing exacts for 58 points 1536824511.310 * * * * [misc]points: Setting MPFR precision to 64 1536824511.312 * * * * [misc]points: Setting MPFR precision to 320 1536824511.315 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824511.315 * * * * [misc]points: Sampling 31 additional inputs, on iter 3 have 225 / 256 1536824511.315 * * * * [misc]points: Computing exacts for 31 points 1536824511.316 * * * * [misc]points: Setting MPFR precision to 64 1536824511.317 * * * * [misc]points: Setting MPFR precision to 320 1536824511.319 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824511.319 * * * * [misc]points: Sampling 25 additional inputs, on iter 4 have 231 / 256 1536824511.319 * * * * [misc]points: Computing exacts for 25 points 1536824511.320 * * * * [misc]points: Setting MPFR precision to 64 1536824511.321 * * * * [misc]points: Setting MPFR precision to 320 1536824511.322 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824511.322 * * * * [misc]points: Sampling 14 additional inputs, on iter 5 have 242 / 256 1536824511.323 * * * * [misc]points: Computing exacts for 14 points 1536824511.324 * * * * [misc]points: Setting MPFR precision to 64 1536824511.324 * * * * [misc]points: Setting MPFR precision to 320 1536824511.325 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824511.325 * * * * [misc]points: Sampling 7 additional inputs, on iter 6 have 249 / 256 1536824511.325 * * * * [misc]points: Computing exacts for 7 points 1536824511.326 * * * * [misc]points: Setting MPFR precision to 64 1536824511.327 * * * * [misc]points: Setting MPFR precision to 320 1536824511.327 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824511.327 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 253 / 256 1536824511.327 * * * * [misc]points: Computing exacts for 4 points 1536824511.328 * * * * [misc]points: Setting MPFR precision to 64 1536824511.329 * * * * [misc]points: Setting MPFR precision to 320 1536824511.329 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824511.329 * * * * [exit]points: Sampled 257 points with exact outputs 1536824511.329 * * * [misc]progress: [2/2] Setting up program. 1536824511.333 * [misc]progress: [Phase 2 of 3] Improving. 1536824511.334 * [enter]simplify: Simplifying (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) 1536824511.334 * * [misc]simplify: iters left: 6 (10 enodes) 1536824511.337 * * [misc]simplify: iters left: 5 (23 enodes) 1536824511.344 * * [misc]simplify: iters left: 4 (57 enodes) 1536824511.374 * * [misc]simplify: iters left: 3 (86 enodes) 1536824511.402 * * [misc]simplify: iters left: 2 (197 enodes) 1536824511.519 * * [misc]simplify: iters left: 1 (476 enodes) 1536824511.760 * [exit]simplify: Simplified to (* (+ (/ 0.5 (exp im)) (* 0.5 (exp im))) (cos re)) 1536824511.771 * * [misc]progress: iteration 1 / 4 1536824511.771 * * * [misc]progress: picking best candidate 1536824511.775 * * * * [misc]pick: Picked # 1536824511.776 * * * [misc]progress: localizing error 1536824511.796 * * * [misc]progress: generating rewritten candidates 1536824511.796 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 1 1) 1536824511.808 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1536824511.856 * * * [misc]progress: generating series expansions 1536824511.856 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 1 1) 1536824511.856 * [misc]backup-simplify: Simplify (/ 0.5 (exp im)) into (/ 0.5 (exp im)) 1536824511.856 * [misc]approximate: Taking taylor expansion of (/ 0.5 (exp im)) in (im) around 0 1536824511.856 * [misc]taylor: Taking taylor expansion of (/ 0.5 (exp im)) in im 1536824511.856 * [misc]taylor: Taking taylor expansion of 0.5 in im 1536824511.856 * [misc]backup-simplify: Simplify 0.5 into 0.5 1536824511.856 * [misc]taylor: Taking taylor expansion of (exp im) in im 1536824511.856 * [misc]taylor: Taking taylor expansion of im in im 1536824511.856 * [misc]backup-simplify: Simplify 0 into 0 1536824511.856 * [misc]backup-simplify: Simplify 1 into 1 1536824511.856 * [misc]backup-simplify: Simplify (exp 0) into 1 1536824511.857 * [misc]backup-simplify: Simplify (/ 0.5 1) into 0.5 1536824511.857 * [misc]taylor: Taking taylor expansion of (/ 0.5 (exp im)) in im 1536824511.857 * [misc]taylor: Taking taylor expansion of 0.5 in im 1536824511.857 * [misc]backup-simplify: Simplify 0.5 into 0.5 1536824511.857 * [misc]taylor: Taking taylor expansion of (exp im) in im 1536824511.857 * [misc]taylor: Taking taylor expansion of im in im 1536824511.857 * [misc]backup-simplify: Simplify 0 into 0 1536824511.857 * [misc]backup-simplify: Simplify 1 into 1 1536824511.857 * [misc]backup-simplify: Simplify (exp 0) into 1 1536824511.857 * [misc]backup-simplify: Simplify (/ 0.5 1) into 0.5 1536824511.857 * [misc]backup-simplify: Simplify 0.5 into 0.5 1536824511.859 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1536824511.860 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.5 (/ 1 1)))) into (- 0.5) 1536824511.860 * [misc]backup-simplify: Simplify (- 0.5) into (- 0.5) 1536824511.862 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1536824511.863 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.5 (/ 1/2 1)) (* (- 0.5) (/ 1 1)))) into 0.25 1536824511.863 * [misc]backup-simplify: Simplify 0.25 into 0.25 1536824511.864 * [misc]backup-simplify: Simplify (+ (* 0.25 (pow im 2)) (+ (* (- 0.5) im) 0.5)) into (- (+ (* 0.25 (pow im 2)) 0.5) (* 0.5 im)) 1536824511.864 * [misc]backup-simplify: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im))) 1536824511.864 * [misc]approximate: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in (im) around 0 1536824511.864 * [misc]taylor: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im 1536824511.864 * [misc]taylor: Taking taylor expansion of 0.5 in im 1536824511.864 * [misc]backup-simplify: Simplify 0.5 into 0.5 1536824511.864 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in im 1536824511.864 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1536824511.864 * [misc]taylor: Taking taylor expansion of im in im 1536824511.864 * [misc]backup-simplify: Simplify 0 into 0 1536824511.864 * [misc]backup-simplify: Simplify 1 into 1 1536824511.864 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536824511.865 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1536824511.865 * [misc]backup-simplify: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im))) 1536824511.865 * [misc]taylor: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im 1536824511.865 * [misc]taylor: Taking taylor expansion of 0.5 in im 1536824511.865 * [misc]backup-simplify: Simplify 0.5 into 0.5 1536824511.865 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in im 1536824511.865 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1536824511.865 * [misc]taylor: Taking taylor expansion of im in im 1536824511.865 * [misc]backup-simplify: Simplify 0 into 0 1536824511.865 * [misc]backup-simplify: Simplify 1 into 1 1536824511.865 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536824511.865 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1536824511.865 * [misc]backup-simplify: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im))) 1536824511.866 * [misc]backup-simplify: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im))) 1536824511.866 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 1536824511.866 * [misc]backup-simplify: Simplify 0 into 0 1536824511.866 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1536824511.866 * [misc]backup-simplify: Simplify 0 into 0 1536824511.867 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1536824511.867 * [misc]backup-simplify: Simplify 0 into 0 1536824511.867 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1536824511.867 * [misc]backup-simplify: Simplify 0 into 0 1536824511.867 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1536824511.867 * [misc]backup-simplify: Simplify 0 into 0 1536824511.868 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1536824511.868 * [misc]backup-simplify: Simplify 0 into 0 1536824511.868 * [misc]backup-simplify: Simplify (/ 0.5 (exp (/ 1 (/ 1 im)))) into (/ 0.5 (exp im)) 1536824511.868 * [misc]backup-simplify: Simplify (/ 0.5 (exp (/ 1 (- im)))) into (/ 0.5 (exp (/ -1 im))) 1536824511.868 * [misc]approximate: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in (im) around 0 1536824511.868 * [misc]taylor: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im 1536824511.868 * [misc]taylor: Taking taylor expansion of 0.5 in im 1536824511.868 * [misc]backup-simplify: Simplify 0.5 into 0.5 1536824511.868 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in im 1536824511.868 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1536824511.868 * [misc]taylor: Taking taylor expansion of -1 in im 1536824511.868 * [misc]backup-simplify: Simplify -1 into -1 1536824511.868 * [misc]taylor: Taking taylor expansion of im in im 1536824511.868 * [misc]backup-simplify: Simplify 0 into 0 1536824511.868 * [misc]backup-simplify: Simplify 1 into 1 1536824511.868 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536824511.868 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1536824511.868 * [misc]backup-simplify: Simplify (/ 0.5 (exp (/ -1 im))) into (/ 0.5 (exp (/ -1 im))) 1536824511.868 * [misc]taylor: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im 1536824511.868 * [misc]taylor: Taking taylor expansion of 0.5 in im 1536824511.868 * [misc]backup-simplify: Simplify 0.5 into 0.5 1536824511.868 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in im 1536824511.868 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1536824511.868 * [misc]taylor: Taking taylor expansion of -1 in im 1536824511.869 * [misc]backup-simplify: Simplify -1 into -1 1536824511.869 * [misc]taylor: Taking taylor expansion of im in im 1536824511.869 * [misc]backup-simplify: Simplify 0 into 0 1536824511.869 * [misc]backup-simplify: Simplify 1 into 1 1536824511.869 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536824511.869 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1536824511.869 * [misc]backup-simplify: Simplify (/ 0.5 (exp (/ -1 im))) into (/ 0.5 (exp (/ -1 im))) 1536824511.869 * [misc]backup-simplify: Simplify (/ 0.5 (exp (/ -1 im))) into (/ 0.5 (exp (/ -1 im))) 1536824511.869 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 1536824511.869 * [misc]backup-simplify: Simplify 0 into 0 1536824511.869 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1536824511.869 * [misc]backup-simplify: Simplify 0 into 0 1536824511.869 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1536824511.869 * [misc]backup-simplify: Simplify 0 into 0 1536824511.870 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1536824511.870 * [misc]backup-simplify: Simplify 0 into 0 1536824511.870 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1536824511.870 * [misc]backup-simplify: Simplify 0 into 0 1536824511.870 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1536824511.870 * [misc]backup-simplify: Simplify 0 into 0 1536824511.870 * [misc]backup-simplify: Simplify (/ 0.5 (exp (/ -1 (/ 1 (- im))))) into (/ 0.5 (exp im)) 1536824511.871 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1536824511.871 * [misc]backup-simplify: Simplify (+ (/ 0.5 (exp im)) (* 0.5 (exp im))) into (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im)))) 1536824511.871 * [misc]approximate: Taking taylor expansion of (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im)))) in (im) around 0 1536824511.871 * [misc]taylor: Taking taylor expansion of (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im)))) in im 1536824511.871 * [misc]taylor: Taking taylor expansion of (* 0.5 (exp im)) in im 1536824511.871 * [misc]taylor: Taking taylor expansion of 0.5 in im 1536824511.871 * [misc]backup-simplify: Simplify 0.5 into 0.5 1536824511.871 * [misc]taylor: Taking taylor expansion of (exp im) in im 1536824511.871 * [misc]taylor: Taking taylor expansion of im in im 1536824511.871 * [misc]backup-simplify: Simplify 0 into 0 1536824511.871 * [misc]backup-simplify: Simplify 1 into 1 1536824511.871 * [misc]backup-simplify: Simplify (exp 0) into 1 1536824511.871 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ 1 (exp im))) in im 1536824511.871 * [misc]taylor: Taking taylor expansion of 0.5 in im 1536824511.871 * [misc]backup-simplify: Simplify 0.5 into 0.5 1536824511.871 * [misc]taylor: Taking taylor expansion of (/ 1 (exp im)) in im 1536824511.871 * [misc]taylor: Taking taylor expansion of (exp im) in im 1536824511.871 * [misc]taylor: Taking taylor expansion of im in im 1536824511.871 * [misc]backup-simplify: Simplify 0 into 0 1536824511.871 * [misc]backup-simplify: Simplify 1 into 1 1536824511.871 * [misc]backup-simplify: Simplify (exp 0) into 1 1536824511.871 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536824511.871 * [misc]taylor: Taking taylor expansion of (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im)))) in im 1536824511.871 * [misc]taylor: Taking taylor expansion of (* 0.5 (exp im)) in im 1536824511.871 * [misc]taylor: Taking taylor expansion of 0.5 in im 1536824511.871 * [misc]backup-simplify: Simplify 0.5 into 0.5 1536824511.871 * [misc]taylor: Taking taylor expansion of (exp im) in im 1536824511.871 * [misc]taylor: Taking taylor expansion of im in im 1536824511.871 * [misc]backup-simplify: Simplify 0 into 0 1536824511.871 * [misc]backup-simplify: Simplify 1 into 1 1536824511.871 * [misc]backup-simplify: Simplify (exp 0) into 1 1536824511.871 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ 1 (exp im))) in im 1536824511.871 * [misc]taylor: Taking taylor expansion of 0.5 in im 1536824511.871 * [misc]backup-simplify: Simplify 0.5 into 0.5 1536824511.872 * [misc]taylor: Taking taylor expansion of (/ 1 (exp im)) in im 1536824511.872 * [misc]taylor: Taking taylor expansion of (exp im) in im 1536824511.872 * [misc]taylor: Taking taylor expansion of im in im 1536824511.872 * [misc]backup-simplify: Simplify 0 into 0 1536824511.872 * [misc]backup-simplify: Simplify 1 into 1 1536824511.872 * [misc]backup-simplify: Simplify (exp 0) into 1 1536824511.872 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536824511.872 * [misc]backup-simplify: Simplify (* 0.5 1) into 0.5 1536824511.872 * [misc]backup-simplify: Simplify (* 0.5 1) into 0.5 1536824511.872 * [misc]backup-simplify: Simplify (+ 0.5 0.5) into 1.0 1536824511.872 * [misc]backup-simplify: Simplify 1.0 into 1.0 1536824511.873 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1536824511.873 * [misc]backup-simplify: Simplify (+ (* 0.5 1) (* 0 1)) into 0.5 1536824511.874 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1536824511.874 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1 1)))) into -1 1536824511.874 * [misc]backup-simplify: Simplify (+ (* 0.5 -1) (* 0 1)) into (- 0.5) 1536824511.875 * [misc]backup-simplify: Simplify (+ 0.5 (- 0.5)) into 0 1536824511.875 * [misc]backup-simplify: Simplify 0 into 0 1536824511.876 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1536824511.876 * [misc]backup-simplify: Simplify (+ (* 0.5 1/2) (+ (* 0 1) (* 0 1))) into 0.25 1536824511.878 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1536824511.878 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2 1536824511.878 * [misc]backup-simplify: Simplify (+ (* 0.5 1/2) (+ (* 0 -1) (* 0 1))) into 0.25 1536824511.878 * [misc]backup-simplify: Simplify (+ 0.25 0.25) into 0.5 1536824511.878 * [misc]backup-simplify: Simplify 0.5 into 0.5 1536824511.880 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1536824511.881 * [misc]backup-simplify: Simplify (+ (* 0.5 1/6) (+ (* 0 1/2) (+ (* 0 1) (* 0 1)))) into 0.08333333333333333 1536824511.883 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1536824511.883 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1/6 1)) (* -1 (/ 1/2 1)) (* 1/2 (/ 1 1)))) into -1/6 1536824511.883 * [misc]backup-simplify: Simplify (+ (* 0.5 -1/6) (+ (* 0 1/2) (+ (* 0 -1) (* 0 1)))) into (- 0.08333333333333333) 1536824511.884 * [misc]backup-simplify: Simplify (+ 0.08333333333333333 (- 0.08333333333333333)) into 0 1536824511.884 * [misc]backup-simplify: Simplify 0 into 0 1536824511.889 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1536824511.890 * [misc]backup-simplify: Simplify (+ (* 0.5 1/24) (+ (* 0 1/6) (+ (* 0 1/2) (+ (* 0 1) (* 0 1))))) into 0.020833333333333332 1536824511.896 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1536824511.896 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 1/24 1)) (* -1 (/ 1/6 1)) (* 1/2 (/ 1/2 1)) (* -1/6 (/ 1 1)))) into 1/24 1536824511.897 * [misc]backup-simplify: Simplify (+ (* 0.5 1/24) (+ (* 0 -1/6) (+ (* 0 1/2) (+ (* 0 -1) (* 0 1))))) into 0.020833333333333332 1536824511.898 * [misc]backup-simplify: Simplify (+ 0.020833333333333332 0.020833333333333332) into 0.041666666666666664 1536824511.898 * [misc]backup-simplify: Simplify 0.041666666666666664 into 0.041666666666666664 1536824511.898 * [misc]backup-simplify: Simplify (+ (* 0.041666666666666664 (pow im 4)) (+ (* 0.5 (pow im 2)) 1.0)) into (+ (* 0.5 (pow im 2)) (+ (* 0.041666666666666664 (pow im 4)) 1.0)) 1536824511.898 * [misc]backup-simplify: Simplify (+ (/ 0.5 (exp (/ 1 im))) (* 0.5 (exp (/ 1 im)))) into (+ (* 0.5 (/ 1 (exp (/ 1 im)))) (* 0.5 (exp (/ 1 im)))) 1536824511.898 * [misc]approximate: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (/ 1 im)))) (* 0.5 (exp (/ 1 im)))) in (im) around 0 1536824511.898 * [misc]taylor: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (/ 1 im)))) (* 0.5 (exp (/ 1 im)))) in im 1536824511.898 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ 1 (exp (/ 1 im)))) in im 1536824511.898 * [misc]taylor: Taking taylor expansion of 0.5 in im 1536824511.898 * [misc]backup-simplify: Simplify 0.5 into 0.5 1536824511.898 * [misc]taylor: Taking taylor expansion of (/ 1 (exp (/ 1 im))) in im 1536824511.898 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in im 1536824511.898 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1536824511.898 * [misc]taylor: Taking taylor expansion of im in im 1536824511.898 * [misc]backup-simplify: Simplify 0 into 0 1536824511.898 * [misc]backup-simplify: Simplify 1 into 1 1536824511.899 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536824511.899 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1536824511.899 * [misc]backup-simplify: Simplify (/ 1 (exp (/ 1 im))) into (/ 1 (exp (/ 1 im))) 1536824511.899 * [misc]taylor: Taking taylor expansion of (* 0.5 (exp (/ 1 im))) in im 1536824511.899 * [misc]taylor: Taking taylor expansion of 0.5 in im 1536824511.899 * [misc]backup-simplify: Simplify 0.5 into 0.5 1536824511.899 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in im 1536824511.899 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1536824511.899 * [misc]taylor: Taking taylor expansion of im in im 1536824511.899 * [misc]backup-simplify: Simplify 0 into 0 1536824511.899 * [misc]backup-simplify: Simplify 1 into 1 1536824511.899 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536824511.899 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1536824511.899 * [misc]taylor: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (/ 1 im)))) (* 0.5 (exp (/ 1 im)))) in im 1536824511.899 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ 1 (exp (/ 1 im)))) in im 1536824511.899 * [misc]taylor: Taking taylor expansion of 0.5 in im 1536824511.899 * [misc]backup-simplify: Simplify 0.5 into 0.5 1536824511.899 * [misc]taylor: Taking taylor expansion of (/ 1 (exp (/ 1 im))) in im 1536824511.900 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in im 1536824511.900 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1536824511.900 * [misc]taylor: Taking taylor expansion of im in im 1536824511.900 * [misc]backup-simplify: Simplify 0 into 0 1536824511.900 * [misc]backup-simplify: Simplify 1 into 1 1536824511.900 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536824511.900 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1536824511.900 * [misc]backup-simplify: Simplify (/ 1 (exp (/ 1 im))) into (/ 1 (exp (/ 1 im))) 1536824511.900 * [misc]taylor: Taking taylor expansion of (* 0.5 (exp (/ 1 im))) in im 1536824511.900 * [misc]taylor: Taking taylor expansion of 0.5 in im 1536824511.900 * [misc]backup-simplify: Simplify 0.5 into 0.5 1536824511.900 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in im 1536824511.900 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1536824511.900 * [misc]taylor: Taking taylor expansion of im in im 1536824511.900 * [misc]backup-simplify: Simplify 0 into 0 1536824511.900 * [misc]backup-simplify: Simplify 1 into 1 1536824511.900 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536824511.900 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1536824511.901 * [misc]backup-simplify: Simplify (* 0.5 (/ 1 (exp (/ 1 im)))) into (/ 0.5 (exp (/ 1 im))) 1536824511.901 * [misc]backup-simplify: Simplify (* 0.5 (exp (/ 1 im))) into (* 0.5 (exp (/ 1 im))) 1536824511.901 * [misc]backup-simplify: Simplify (+ (/ 0.5 (exp (/ 1 im))) (* 0.5 (exp (/ 1 im)))) into (+ (* 0.5 (/ 1 (exp (/ 1 im)))) (* 0.5 (exp (/ 1 im)))) 1536824511.901 * [misc]backup-simplify: Simplify (+ (* 0.5 (/ 1 (exp (/ 1 im)))) (* 0.5 (exp (/ 1 im)))) into (+ (* 0.5 (/ 1 (exp (/ 1 im)))) (* 0.5 (exp (/ 1 im)))) 1536824511.901 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 1536824511.902 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (* 0 (/ 1 (exp (/ 1 im))))) into 0 1536824511.902 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (* 0 (exp (/ 1 im)))) into 0 1536824511.902 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824511.902 * [misc]backup-simplify: Simplify 0 into 0 1536824511.902 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1536824511.903 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ 1 im)))))) into 0 1536824511.903 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0 1536824511.903 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824511.903 * [misc]backup-simplify: Simplify 0 into 0 1536824511.904 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1536824511.904 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ 1 im))))))) into 0 1536824511.904 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im)))))) into 0 1536824511.905 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824511.905 * [misc]backup-simplify: Simplify 0 into 0 1536824511.905 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1536824511.906 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ 1 im)))))))) into 0 1536824511.906 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))))) into 0 1536824511.906 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824511.907 * [misc]backup-simplify: Simplify 0 into 0 1536824511.907 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1536824511.908 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ 1 im))))))))) into 0 1536824511.908 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im)))))))) into 0 1536824511.909 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824511.909 * [misc]backup-simplify: Simplify 0 into 0 1536824511.909 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1536824511.910 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ 1 im)))))))))) into 0 1536824511.911 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))))))) into 0 1536824511.911 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824511.911 * [misc]backup-simplify: Simplify 0 into 0 1536824511.911 * [misc]backup-simplify: Simplify (+ (* 0.5 (/ 1 (exp (/ 1 (/ 1 im))))) (* 0.5 (exp (/ 1 (/ 1 im))))) into (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im)))) 1536824511.912 * [misc]backup-simplify: Simplify (+ (/ 0.5 (exp (/ 1 (- im)))) (* 0.5 (exp (/ 1 (- im))))) into (+ (* 0.5 (/ 1 (exp (/ -1 im)))) (* 0.5 (exp (/ -1 im)))) 1536824511.912 * [misc]approximate: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (/ -1 im)))) (* 0.5 (exp (/ -1 im)))) in (im) around 0 1536824511.912 * [misc]taylor: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (/ -1 im)))) (* 0.5 (exp (/ -1 im)))) in im 1536824511.912 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ 1 (exp (/ -1 im)))) in im 1536824511.912 * [misc]taylor: Taking taylor expansion of 0.5 in im 1536824511.912 * [misc]backup-simplify: Simplify 0.5 into 0.5 1536824511.912 * [misc]taylor: Taking taylor expansion of (/ 1 (exp (/ -1 im))) in im 1536824511.912 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in im 1536824511.912 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1536824511.912 * [misc]taylor: Taking taylor expansion of -1 in im 1536824511.912 * [misc]backup-simplify: Simplify -1 into -1 1536824511.912 * [misc]taylor: Taking taylor expansion of im in im 1536824511.912 * [misc]backup-simplify: Simplify 0 into 0 1536824511.912 * [misc]backup-simplify: Simplify 1 into 1 1536824511.912 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536824511.912 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1536824511.912 * [misc]backup-simplify: Simplify (/ 1 (exp (/ -1 im))) into (/ 1 (exp (/ -1 im))) 1536824511.912 * [misc]taylor: Taking taylor expansion of (* 0.5 (exp (/ -1 im))) in im 1536824511.912 * [misc]taylor: Taking taylor expansion of 0.5 in im 1536824511.912 * [misc]backup-simplify: Simplify 0.5 into 0.5 1536824511.913 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in im 1536824511.913 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1536824511.913 * [misc]taylor: Taking taylor expansion of -1 in im 1536824511.913 * [misc]backup-simplify: Simplify -1 into -1 1536824511.913 * [misc]taylor: Taking taylor expansion of im in im 1536824511.913 * [misc]backup-simplify: Simplify 0 into 0 1536824511.913 * [misc]backup-simplify: Simplify 1 into 1 1536824511.913 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536824511.913 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1536824511.913 * [misc]taylor: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (/ -1 im)))) (* 0.5 (exp (/ -1 im)))) in im 1536824511.913 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ 1 (exp (/ -1 im)))) in im 1536824511.913 * [misc]taylor: Taking taylor expansion of 0.5 in im 1536824511.913 * [misc]backup-simplify: Simplify 0.5 into 0.5 1536824511.913 * [misc]taylor: Taking taylor expansion of (/ 1 (exp (/ -1 im))) in im 1536824511.913 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in im 1536824511.913 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1536824511.913 * [misc]taylor: Taking taylor expansion of -1 in im 1536824511.913 * [misc]backup-simplify: Simplify -1 into -1 1536824511.913 * [misc]taylor: Taking taylor expansion of im in im 1536824511.913 * [misc]backup-simplify: Simplify 0 into 0 1536824511.913 * [misc]backup-simplify: Simplify 1 into 1 1536824511.913 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536824511.913 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1536824511.914 * [misc]backup-simplify: Simplify (/ 1 (exp (/ -1 im))) into (/ 1 (exp (/ -1 im))) 1536824511.914 * [misc]taylor: Taking taylor expansion of (* 0.5 (exp (/ -1 im))) in im 1536824511.914 * [misc]taylor: Taking taylor expansion of 0.5 in im 1536824511.914 * [misc]backup-simplify: Simplify 0.5 into 0.5 1536824511.914 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in im 1536824511.914 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1536824511.914 * [misc]taylor: Taking taylor expansion of -1 in im 1536824511.914 * [misc]backup-simplify: Simplify -1 into -1 1536824511.914 * [misc]taylor: Taking taylor expansion of im in im 1536824511.914 * [misc]backup-simplify: Simplify 0 into 0 1536824511.914 * [misc]backup-simplify: Simplify 1 into 1 1536824511.914 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536824511.914 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1536824511.914 * [misc]backup-simplify: Simplify (* 0.5 (/ 1 (exp (/ -1 im)))) into (/ 0.5 (exp (/ -1 im))) 1536824511.914 * [misc]backup-simplify: Simplify (* 0.5 (exp (/ -1 im))) into (* 0.5 (exp (/ -1 im))) 1536824511.915 * [misc]backup-simplify: Simplify (+ (/ 0.5 (exp (/ -1 im))) (* 0.5 (exp (/ -1 im)))) into (+ (* 0.5 (/ 1 (exp (/ -1 im)))) (* 0.5 (exp (/ -1 im)))) 1536824511.915 * [misc]backup-simplify: Simplify (+ (* 0.5 (/ 1 (exp (/ -1 im)))) (* 0.5 (exp (/ -1 im)))) into (+ (* 0.5 (/ 1 (exp (/ -1 im)))) (* 0.5 (exp (/ -1 im)))) 1536824511.915 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 1536824511.915 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (* 0 (/ 1 (exp (/ -1 im))))) into 0 1536824511.915 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (* 0 (exp (/ -1 im)))) into 0 1536824511.916 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824511.916 * [misc]backup-simplify: Simplify 0 into 0 1536824511.916 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1536824511.916 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ -1 im)))))) into 0 1536824511.917 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0 1536824511.917 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824511.917 * [misc]backup-simplify: Simplify 0 into 0 1536824511.917 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1536824511.918 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ -1 im))))))) into 0 1536824511.918 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im)))))) into 0 1536824511.918 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824511.918 * [misc]backup-simplify: Simplify 0 into 0 1536824511.919 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1536824511.919 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ -1 im)))))))) into 0 1536824511.920 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))))) into 0 1536824511.920 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824511.920 * [misc]backup-simplify: Simplify 0 into 0 1536824511.921 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1536824511.922 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ -1 im))))))))) into 0 1536824511.922 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im)))))))) into 0 1536824511.922 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824511.922 * [misc]backup-simplify: Simplify 0 into 0 1536824511.923 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1536824511.924 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ -1 im)))))))))) into 0 1536824511.925 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))))))) into 0 1536824511.925 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536824511.925 * [misc]backup-simplify: Simplify 0 into 0 1536824511.925 * [misc]backup-simplify: Simplify (+ (* 0.5 (/ 1 (exp (/ -1 (/ 1 (- im)))))) (* 0.5 (exp (/ -1 (/ 1 (- im)))))) into (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im)))) 1536824511.925 * * * [misc]progress: simplifying candidates 1536824511.925 * * * * [misc]progress: [ 1 / 31 ] simplifiying candidate # 1536824511.925 * * * * [misc]progress: [ 2 / 31 ] simplifiying candidate # 1536824511.925 * * * * [misc]progress: [ 3 / 31 ] simplifiying candidate # 1536824511.926 * * * * [misc]progress: [ 4 / 31 ] simplifiying candidate # 1536824511.926 * * * * [misc]progress: [ 5 / 31 ] simplifiying candidate # 1536824511.926 * * * * [misc]progress: [ 6 / 31 ] simplifiying candidate # 1536824511.926 * * * * [misc]progress: [ 7 / 31 ] simplifiying candidate # 1536824511.926 * * * * [misc]progress: [ 8 / 31 ] simplifiying candidate # 1536824511.926 * * * * [misc]progress: [ 9 / 31 ] simplifiying candidate # 1536824511.926 * * * * [misc]progress: [ 10 / 31 ] simplifiying candidate # 1536824511.926 * * * * [misc]progress: [ 11 / 31 ] simplifiying candidate # 1536824511.926 * [enter]simplify: Simplifying (cbrt (exp im)) 1536824511.927 * * [misc]simplify: iters left: 2 (3 enodes) 1536824511.928 * [exit]simplify: Simplified to (cbrt (exp im)) 1536824511.928 * [misc]simplify: Simplified (2 1 1 2) to (λ (re im) (* (+ (/ (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im)))) (cbrt (exp im))) (* 0.5 (exp im))) (cos re))) 1536824511.928 * * * * [misc]progress: [ 12 / 31 ] simplifiying candidate # 1536824511.928 * [enter]simplify: Simplifying (sqrt (exp im)) 1536824511.928 * * [misc]simplify: iters left: 2 (3 enodes) 1536824511.929 * [exit]simplify: Simplified to (sqrt (exp im)) 1536824511.929 * [misc]simplify: Simplified (2 1 1 2) to (λ (re im) (* (+ (/ (/ 0.5 (sqrt (exp im))) (sqrt (exp im))) (* 0.5 (exp im))) (cos re))) 1536824511.929 * * * * [misc]progress: [ 13 / 31 ] simplifiying candidate # 1536824511.930 * [enter]simplify: Simplifying (exp im) 1536824511.930 * * [misc]simplify: iters left: 1 (2 enodes) 1536824511.930 * [exit]simplify: Simplified to (exp im) 1536824511.930 * [misc]simplify: Simplified (2 1 1 2) to (λ (re im) (* (+ (/ (/ 0.5 1) (exp im)) (* 0.5 (exp im))) (cos re))) 1536824511.930 * * * * [misc]progress: [ 14 / 31 ] simplifiying candidate # 1536824511.931 * [enter]simplify: Simplifying (* (exp (/ 0.5 (exp im))) (exp (* 0.5 (exp im)))) 1536824511.931 * * [misc]simplify: iters left: 6 (8 enodes) 1536824511.936 * * [misc]simplify: iters left: 5 (14 enodes) 1536824511.941 * * [misc]simplify: iters left: 4 (16 enodes) 1536824511.947 * [exit]simplify: Simplified to (exp (+ (/ 0.5 (exp im)) (* 0.5 (exp im)))) 1536824511.947 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (* (log (exp (+ (/ 0.5 (exp im)) (* 0.5 (exp im))))) (cos re))) 1536824511.948 * * * * [misc]progress: [ 15 / 31 ] simplifiying candidate # 1536824511.948 * * * * [misc]progress: [ 16 / 31 ] simplifiying candidate # 1536824511.948 * * * * [misc]progress: [ 17 / 31 ] simplifiying candidate # 1536824511.948 * * * * [misc]progress: [ 18 / 31 ] simplifiying candidate # 1536824511.948 * * * * [misc]progress: [ 19 / 31 ] simplifiying candidate # 1536824511.948 * * * * [misc]progress: [ 20 / 31 ] simplifiying candidate # 1536824511.948 * * * * [misc]progress: [ 21 / 31 ] simplifiying candidate # 1536824511.948 * * * * [misc]progress: [ 22 / 31 ] simplifiying candidate # 1536824511.948 * * * * [misc]progress: [ 23 / 31 ] simplifiying candidate # 1536824511.948 * * * * [misc]progress: [ 24 / 31 ] simplifiying candidate # 1536824511.949 * [enter]simplify: Simplifying (+ (/ 1 (exp im)) (exp im)) 1536824511.949 * * [misc]simplify: iters left: 5 (5 enodes) 1536824511.951 * * [misc]simplify: iters left: 4 (10 enodes) 1536824511.954 * [exit]simplify: Simplified to (+ (exp (- im)) (exp im)) 1536824511.954 * [misc]simplify: Simplified (2 1 2) to (λ (re im) (* (* 0.5 (+ (exp (- im)) (exp im))) (cos re))) 1536824511.954 * * * * [misc]progress: [ 25 / 31 ] simplifiying candidate # 1536824511.954 * * * * [misc]progress: [ 26 / 31 ] simplifiying candidate # 1536824511.955 * [enter]simplify: Simplifying (- (+ (* 0.25 (pow im 2)) 0.5) (* 0.5 im)) 1536824511.955 * * [misc]simplify: iters left: 6 (9 enodes) 1536824511.959 * * [misc]simplify: iters left: 5 (17 enodes) 1536824511.968 * * [misc]simplify: iters left: 4 (35 enodes) 1536824511.976 * * [misc]simplify: iters left: 3 (54 enodes) 1536824511.987 * * [misc]simplify: iters left: 2 (71 enodes) 1536824512.000 * * [misc]simplify: iters left: 1 (93 enodes) 1536824512.022 * [exit]simplify: Simplified to (+ (- 0.5 (* 0.5 im)) (* (* 0.25 im) im)) 1536824512.022 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (* (+ (+ (- 0.5 (* 0.5 im)) (* (* 0.25 im) im)) (* 0.5 (exp im))) (cos re))) 1536824512.022 * * * * [misc]progress: [ 27 / 31 ] simplifiying candidate # 1536824512.022 * [enter]simplify: Simplifying (/ 0.5 (exp im)) 1536824512.022 * * [misc]simplify: iters left: 3 (4 enodes) 1536824512.023 * [exit]simplify: Simplified to (/ 0.5 (exp im)) 1536824512.023 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (* (+ (/ 0.5 (exp im)) (* 0.5 (exp im))) (cos re))) 1536824512.023 * * * * [misc]progress: [ 28 / 31 ] simplifiying candidate # 1536824512.023 * [enter]simplify: Simplifying (/ 0.5 (exp im)) 1536824512.024 * * [misc]simplify: iters left: 3 (4 enodes) 1536824512.024 * [exit]simplify: Simplified to (/ 0.5 (exp im)) 1536824512.024 * [misc]simplify: Simplified (2 1 1) to (λ (re im) (* (+ (/ 0.5 (exp im)) (* 0.5 (exp im))) (cos re))) 1536824512.025 * * * * [misc]progress: [ 29 / 31 ] simplifiying candidate # 1536824512.025 * [enter]simplify: Simplifying (+ (* 0.5 (pow im 2)) (+ (* 0.041666666666666664 (pow im 4)) 1.0)) 1536824512.025 * * [misc]simplify: iters left: 6 (12 enodes) 1536824512.028 * * [misc]simplify: iters left: 5 (19 enodes) 1536824512.032 * * [misc]simplify: iters left: 4 (29 enodes) 1536824512.039 * * [misc]simplify: iters left: 3 (31 enodes) 1536824512.045 * [exit]simplify: Simplified to (+ (+ (* (pow im 4) 0.041666666666666664) (* (* im im) 0.5)) 1.0) 1536824512.045 * [misc]simplify: Simplified (2 1) to (λ (re im) (* (+ (+ (* (pow im 4) 0.041666666666666664) (* (* im im) 0.5)) 1.0) (cos re))) 1536824512.046 * * * * [misc]progress: [ 30 / 31 ] simplifiying candidate # 1536824512.046 * [enter]simplify: Simplifying (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im)))) 1536824512.047 * * [misc]simplify: iters left: 6 (8 enodes) 1536824512.052 * * [misc]simplify: iters left: 5 (19 enodes) 1536824512.056 * * [misc]simplify: iters left: 4 (24 enodes) 1536824512.060 * [exit]simplify: Simplified to (+ (* 0.5 (exp im)) (/ 0.5 (exp im))) 1536824512.060 * [misc]simplify: Simplified (2 1) to (λ (re im) (* (+ (* 0.5 (exp im)) (/ 0.5 (exp im))) (cos re))) 1536824512.060 * * * * [misc]progress: [ 31 / 31 ] simplifiying candidate # 1536824512.060 * [enter]simplify: Simplifying (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im)))) 1536824512.060 * * [misc]simplify: iters left: 6 (8 enodes) 1536824512.063 * * [misc]simplify: iters left: 5 (19 enodes) 1536824512.067 * * [misc]simplify: iters left: 4 (24 enodes) 1536824512.071 * [exit]simplify: Simplified to (+ (* 0.5 (exp im)) (/ 0.5 (exp im))) 1536824512.071 * [misc]simplify: Simplified (2 1) to (λ (re im) (* (+ (* 0.5 (exp im)) (/ 0.5 (exp im))) (cos re))) 1536824512.071 * * * [misc]progress: adding candidates to table 1536824512.501 * [misc]progress: [Phase 3 of 3] Extracting. 1536824512.506 * [enter]simplify: Simplifying (* (+ (/ 0.5 (exp im)) (* 0.5 (exp im))) (cos re)) 1536824512.507 * * [misc]simplify: iters left: 6 (9 enodes) 1536824512.507 * * [misc]simplify: iters left: 5 (12 enodes) 1536824512.509 * [exit]simplify: Simplified to (* (cos re) (+ (/ 0.5 (exp im)) (* 0.5 (exp im)))) 1536824512.509 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1536824512.547 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1536824512.548 * * * * [misc]points: Setting MPFR precision to 64 1536824512.549 * * * * [misc]points: Setting MPFR precision to 320 1536824512.550 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1536824512.551 * * * * [misc]points: Setting MPFR precision to 64 1536824512.552 * * * * [misc]points: Setting MPFR precision to 320 1536824512.554 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1536824512.555 * * * * [misc]points: Setting MPFR precision to 64 1536824512.557 * * * * [misc]points: Setting MPFR precision to 320 1536824512.560 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1536824512.562 * * * * [misc]points: Setting MPFR precision to 64 1536824512.566 * * * * [misc]points: Setting MPFR precision to 320 1536824512.572 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1536824512.573 * * * * [misc]points: Setting MPFR precision to 64 1536824512.587 * * * * [misc]points: Setting MPFR precision to 320 1536824512.608 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1536824512.610 * * * * [misc]points: Setting MPFR precision to 64 1536824512.650 * * * * [misc]points: Setting MPFR precision to 320 1536824512.672 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1536824512.674 * * * * [misc]points: Setting MPFR precision to 64 1536824512.717 * * * * [misc]points: Setting MPFR precision to 320 1536824512.764 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1536824512.765 * * * * [misc]points: Setting MPFR precision to 64 1536824512.879 * * * * [misc]points: Setting MPFR precision to 320 1536824513.023 * * * * [misc]points: Computing exacts for 8000 points 1536824513.025 * * * * [misc]points: Setting MPFR precision to 64 1536824513.590 * * * * [misc]points: Setting MPFR precision to 320 1536824514.440 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824514.441 * * * * [misc]points: Sampling 3951 additional inputs, on iter 1 have 4049 / 8000 1536824514.459 * * * * [misc]points: Computing exacts on every 246 of 3951 points to ramp up precision 1536824514.460 * * * * [misc]points: Setting MPFR precision to 64 1536824514.461 * * * * [misc]points: Setting MPFR precision to 320 1536824514.461 * * * * [misc]points: Computing exacts on every 123 of 3951 points to ramp up precision 1536824514.463 * * * * [misc]points: Setting MPFR precision to 64 1536824514.464 * * * * [misc]points: Setting MPFR precision to 320 1536824514.465 * * * * [misc]points: Computing exacts on every 61 of 3951 points to ramp up precision 1536824514.467 * * * * [misc]points: Setting MPFR precision to 64 1536824514.469 * * * * [misc]points: Setting MPFR precision to 320 1536824514.471 * * * * [misc]points: Computing exacts on every 30 of 3951 points to ramp up precision 1536824514.473 * * * * [misc]points: Setting MPFR precision to 64 1536824514.498 * * * * [misc]points: Setting MPFR precision to 320 1536824514.503 * * * * [misc]points: Computing exacts on every 15 of 3951 points to ramp up precision 1536824514.505 * * * * [misc]points: Setting MPFR precision to 64 1536824514.514 * * * * [misc]points: Setting MPFR precision to 320 1536824514.524 * * * * [misc]points: Computing exacts on every 7 of 3951 points to ramp up precision 1536824514.525 * * * * [misc]points: Setting MPFR precision to 64 1536824514.543 * * * * [misc]points: Setting MPFR precision to 320 1536824514.563 * * * * [misc]points: Computing exacts on every 3 of 3951 points to ramp up precision 1536824514.564 * * * * [misc]points: Setting MPFR precision to 64 1536824514.600 * * * * [misc]points: Setting MPFR precision to 320 1536824514.675 * * * * [misc]points: Computing exacts for 3951 points 1536824514.676 * * * * [misc]points: Setting MPFR precision to 64 1536824514.858 * * * * [misc]points: Setting MPFR precision to 320 1536824515.053 * * * * [misc]points: Setting MPFR precision to 576 1536824515.309 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824515.310 * * * * [misc]points: Sampling 1987 additional inputs, on iter 2 have 6013 / 8000 1536824515.321 * * * * [misc]points: Computing exacts on every 124 of 1987 points to ramp up precision 1536824515.322 * * * * [misc]points: Setting MPFR precision to 320 1536824515.323 * * * * [misc]points: Setting MPFR precision to 576 1536824515.324 * * * * [misc]points: Computing exacts on every 62 of 1987 points to ramp up precision 1536824515.326 * * * * [misc]points: Setting MPFR precision to 320 1536824515.327 * * * * [misc]points: Setting MPFR precision to 576 1536824515.329 * * * * [misc]points: Computing exacts on every 31 of 1987 points to ramp up precision 1536824515.330 * * * * [misc]points: Setting MPFR precision to 320 1536824515.333 * * * * [misc]points: Setting MPFR precision to 576 1536824515.336 * * * * [misc]points: Computing exacts on every 15 of 1987 points to ramp up precision 1536824515.337 * * * * [misc]points: Setting MPFR precision to 320 1536824515.342 * * * * [misc]points: Setting MPFR precision to 576 1536824515.348 * * * * [misc]points: Computing exacts on every 7 of 1987 points to ramp up precision 1536824515.349 * * * * [misc]points: Setting MPFR precision to 320 1536824515.360 * * * * [misc]points: Setting MPFR precision to 576 1536824515.373 * * * * [misc]points: Computing exacts on every 3 of 1987 points to ramp up precision 1536824515.374 * * * * [misc]points: Setting MPFR precision to 320 1536824515.395 * * * * [misc]points: Setting MPFR precision to 576 1536824515.444 * * * * [misc]points: Computing exacts for 1987 points 1536824515.445 * * * * [misc]points: Setting MPFR precision to 320 1536824515.530 * * * * [misc]points: Setting MPFR precision to 576 1536824515.665 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824515.666 * * * * [misc]points: Sampling 989 additional inputs, on iter 3 have 7011 / 8000 1536824515.670 * * * * [misc]points: Computing exacts on every 61 of 989 points to ramp up precision 1536824515.672 * * * * [misc]points: Setting MPFR precision to 320 1536824515.673 * * * * [misc]points: Setting MPFR precision to 576 1536824515.673 * * * * [misc]points: Computing exacts on every 30 of 989 points to ramp up precision 1536824515.675 * * * * [misc]points: Setting MPFR precision to 320 1536824515.676 * * * * [misc]points: Setting MPFR precision to 576 1536824515.678 * * * * [misc]points: Computing exacts on every 15 of 989 points to ramp up precision 1536824515.679 * * * * [misc]points: Setting MPFR precision to 320 1536824515.682 * * * * [misc]points: Setting MPFR precision to 576 1536824515.685 * * * * [misc]points: Computing exacts on every 7 of 989 points to ramp up precision 1536824515.686 * * * * [misc]points: Setting MPFR precision to 320 1536824515.692 * * * * [misc]points: Setting MPFR precision to 576 1536824515.698 * * * * [misc]points: Computing exacts on every 3 of 989 points to ramp up precision 1536824515.699 * * * * [misc]points: Setting MPFR precision to 320 1536824515.710 * * * * [misc]points: Setting MPFR precision to 576 1536824515.723 * * * * [misc]points: Computing exacts for 989 points 1536824515.725 * * * * [misc]points: Setting MPFR precision to 320 1536824516.147 * * * * [misc]points: Setting MPFR precision to 576 1536824516.199 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824516.199 * * * * [misc]points: Sampling 486 additional inputs, on iter 4 have 7514 / 8000 1536824516.201 * * * * [misc]points: Computing exacts on every 30 of 486 points to ramp up precision 1536824516.203 * * * * [misc]points: Setting MPFR precision to 320 1536824516.204 * * * * [misc]points: Setting MPFR precision to 576 1536824516.205 * * * * [misc]points: Computing exacts on every 15 of 486 points to ramp up precision 1536824516.206 * * * * [misc]points: Setting MPFR precision to 320 1536824516.207 * * * * [misc]points: Setting MPFR precision to 576 1536824516.211 * * * * [misc]points: Computing exacts on every 7 of 486 points to ramp up precision 1536824516.213 * * * * [misc]points: Setting MPFR precision to 320 1536824516.218 * * * * [misc]points: Setting MPFR precision to 576 1536824516.224 * * * * [misc]points: Computing exacts on every 3 of 486 points to ramp up precision 1536824516.226 * * * * [misc]points: Setting MPFR precision to 320 1536824516.236 * * * * [misc]points: Setting MPFR precision to 576 1536824516.248 * * * * [misc]points: Computing exacts for 486 points 1536824516.250 * * * * [misc]points: Setting MPFR precision to 320 1536824516.281 * * * * [misc]points: Setting MPFR precision to 576 1536824516.337 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824516.337 * * * * [misc]points: Sampling 230 additional inputs, on iter 5 have 7770 / 8000 1536824516.339 * * * * [misc]points: Computing exacts on every 14 of 230 points to ramp up precision 1536824516.340 * * * * [misc]points: Setting MPFR precision to 320 1536824516.341 * * * * [misc]points: Setting MPFR precision to 576 1536824516.342 * * * * [misc]points: Computing exacts on every 7 of 230 points to ramp up precision 1536824516.344 * * * * [misc]points: Setting MPFR precision to 320 1536824516.345 * * * * [misc]points: Setting MPFR precision to 576 1536824516.346 * * * * [misc]points: Computing exacts on every 3 of 230 points to ramp up precision 1536824516.348 * * * * [misc]points: Setting MPFR precision to 320 1536824516.350 * * * * [misc]points: Setting MPFR precision to 576 1536824516.353 * * * * [misc]points: Computing exacts for 230 points 1536824516.355 * * * * [misc]points: Setting MPFR precision to 320 1536824516.365 * * * * [misc]points: Setting MPFR precision to 576 1536824516.387 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824516.387 * * * * [misc]points: Sampling 110 additional inputs, on iter 6 have 7890 / 8000 1536824516.389 * * * * [misc]points: Computing exacts on every 6 of 110 points to ramp up precision 1536824516.391 * * * * [misc]points: Setting MPFR precision to 320 1536824516.393 * * * * [misc]points: Setting MPFR precision to 576 1536824516.394 * * * * [misc]points: Computing exacts on every 3 of 110 points to ramp up precision 1536824516.397 * * * * [misc]points: Setting MPFR precision to 320 1536824516.399 * * * * [misc]points: Setting MPFR precision to 576 1536824516.402 * * * * [misc]points: Computing exacts for 110 points 1536824516.404 * * * * [misc]points: Setting MPFR precision to 320 1536824516.413 * * * * [misc]points: Setting MPFR precision to 576 1536824516.424 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824516.424 * * * * [misc]points: Sampling 51 additional inputs, on iter 7 have 7949 / 8000 1536824516.425 * * * * [misc]points: Computing exacts on every 3 of 51 points to ramp up precision 1536824516.427 * * * * [misc]points: Setting MPFR precision to 320 1536824516.428 * * * * [misc]points: Setting MPFR precision to 576 1536824516.429 * * * * [misc]points: Computing exacts for 51 points 1536824516.432 * * * * [misc]points: Setting MPFR precision to 320 1536824516.436 * * * * [misc]points: Setting MPFR precision to 576 1536824516.440 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824516.441 * * * * [misc]points: Sampling 27 additional inputs, on iter 8 have 7973 / 8000 1536824516.441 * * * * [misc]points: Computing exacts for 27 points 1536824516.443 * * * * [misc]points: Setting MPFR precision to 320 1536824516.445 * * * * [misc]points: Setting MPFR precision to 576 1536824516.448 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824516.448 * * * * [misc]points: Sampling 15 additional inputs, on iter 9 have 7985 / 8000 1536824516.448 * * * * [misc]points: Computing exacts for 15 points 1536824516.451 * * * * [misc]points: Setting MPFR precision to 320 1536824516.452 * * * * [misc]points: Setting MPFR precision to 576 1536824516.454 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824516.454 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 7996 / 8000 1536824516.454 * * * * [misc]points: Computing exacts for 4 points 1536824516.456 * * * * [misc]points: Setting MPFR precision to 320 1536824516.457 * * * * [misc]points: Setting MPFR precision to 576 1536824516.457 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824516.458 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7998 / 8000 1536824516.458 * * * * [misc]points: Computing exacts for 4 points 1536824516.460 * * * * [misc]points: Setting MPFR precision to 320 1536824516.461 * * * * [misc]points: Setting MPFR precision to 576 1536824516.461 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824516.461 * * * * [exit]points: Sampled 8000 points with exact outputs