1536946886.715 * [misc]progress: [Phase 1 of 3] Setting up. 1536946886.716 * * * [misc]progress: [1/2] Preparing points 1536946886.716 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1536946886.741 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946886.741 * * * * [misc]points: Sampling 53 additional inputs, on iter 1 have 203 / 256 1536946886.758 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946886.758 * * * * [misc]points: Sampling 13 additional inputs, on iter 2 have 243 / 256 1536946886.761 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946886.761 * * * * [misc]points: Sampling 4 additional inputs, on iter 3 have 255 / 256 1536946886.763 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946886.763 * * * * [exit]points: Sampled 257 points with exact outputs 1536946886.763 * * * [misc]progress: [2/2] Setting up program. 1536946886.766 * [misc]progress: [Phase 2 of 3] Improving. 1536946886.766 * [enter]simplify: Simplifying (+ (* d1 d2) (* d1 d3)) 1536946886.767 * * [misc]simplify: iters left: 4 (6 enodes) 1536946886.768 * * [misc]simplify: iters left: 3 (12 enodes) 1536946886.771 * * [misc]simplify: iters left: 2 (18 enodes) 1536946886.774 * [exit]simplify: Simplified to (* (+ d2 d3) d1) 1536946886.780 * * [misc]progress: iteration 1 / 4 1536946886.780 * * * [misc]progress: picking best candidate 1536946886.785 * * * * [misc]pick: Picked # 1536946886.785 * * * [misc]progress: localizing error 1536946886.796 * * * [misc]progress: generating rewritten candidates 1536946886.796 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1536946886.817 * * * [misc]progress: generating series expansions 1536946886.818 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1536946886.818 * [misc]backup-simplify: Simplify (+ (* d1 d2) (* d1 d3)) into (+ (* d3 d1) (* d2 d1)) 1536946886.818 * [misc]approximate: Taking taylor expansion of (+ (* d3 d1) (* d2 d1)) in (d1 d2 d3) around 0 1536946886.818 * [misc]taylor: Taking taylor expansion of (+ (* d3 d1) (* d2 d1)) in d3 1536946886.818 * [misc]taylor: Taking taylor expansion of (* d3 d1) in d3 1536946886.818 * [misc]taylor: Taking taylor expansion of d3 in d3 1536946886.818 * [misc]backup-simplify: Simplify 0 into 0 1536946886.818 * [misc]backup-simplify: Simplify 1 into 1 1536946886.818 * [misc]taylor: Taking taylor expansion of d1 in d3 1536946886.818 * [misc]backup-simplify: Simplify d1 into d1 1536946886.818 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d3 1536946886.818 * [misc]taylor: Taking taylor expansion of d2 in d3 1536946886.818 * [misc]backup-simplify: Simplify d2 into d2 1536946886.818 * [misc]taylor: Taking taylor expansion of d1 in d3 1536946886.818 * [misc]backup-simplify: Simplify d1 into d1 1536946886.818 * [misc]taylor: Taking taylor expansion of (+ (* d3 d1) (* d2 d1)) in d2 1536946886.818 * [misc]taylor: Taking taylor expansion of (* d3 d1) in d2 1536946886.818 * [misc]taylor: Taking taylor expansion of d3 in d2 1536946886.818 * [misc]backup-simplify: Simplify d3 into d3 1536946886.818 * [misc]taylor: Taking taylor expansion of d1 in d2 1536946886.818 * [misc]backup-simplify: Simplify d1 into d1 1536946886.818 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d2 1536946886.818 * [misc]taylor: Taking taylor expansion of d2 in d2 1536946886.818 * [misc]backup-simplify: Simplify 0 into 0 1536946886.818 * [misc]backup-simplify: Simplify 1 into 1 1536946886.818 * [misc]taylor: Taking taylor expansion of d1 in d2 1536946886.818 * [misc]backup-simplify: Simplify d1 into d1 1536946886.818 * [misc]taylor: Taking taylor expansion of (+ (* d3 d1) (* d2 d1)) in d1 1536946886.818 * [misc]taylor: Taking taylor expansion of (* d3 d1) in d1 1536946886.818 * [misc]taylor: Taking taylor expansion of d3 in d1 1536946886.818 * [misc]backup-simplify: Simplify d3 into d3 1536946886.818 * [misc]taylor: Taking taylor expansion of d1 in d1 1536946886.818 * [misc]backup-simplify: Simplify 0 into 0 1536946886.818 * [misc]backup-simplify: Simplify 1 into 1 1536946886.818 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d1 1536946886.818 * [misc]taylor: Taking taylor expansion of d2 in d1 1536946886.818 * [misc]backup-simplify: Simplify d2 into d2 1536946886.818 * [misc]taylor: Taking taylor expansion of d1 in d1 1536946886.818 * [misc]backup-simplify: Simplify 0 into 0 1536946886.818 * [misc]backup-simplify: Simplify 1 into 1 1536946886.818 * [misc]taylor: Taking taylor expansion of (+ (* d3 d1) (* d2 d1)) in d1 1536946886.818 * [misc]taylor: Taking taylor expansion of (* d3 d1) in d1 1536946886.818 * [misc]taylor: Taking taylor expansion of d3 in d1 1536946886.818 * [misc]backup-simplify: Simplify d3 into d3 1536946886.818 * [misc]taylor: Taking taylor expansion of d1 in d1 1536946886.818 * [misc]backup-simplify: Simplify 0 into 0 1536946886.818 * [misc]backup-simplify: Simplify 1 into 1 1536946886.818 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d1 1536946886.818 * [misc]taylor: Taking taylor expansion of d2 in d1 1536946886.819 * [misc]backup-simplify: Simplify d2 into d2 1536946886.819 * [misc]taylor: Taking taylor expansion of d1 in d1 1536946886.819 * [misc]backup-simplify: Simplify 0 into 0 1536946886.819 * [misc]backup-simplify: Simplify 1 into 1 1536946886.819 * [misc]backup-simplify: Simplify (* d3 0) into 0 1536946886.819 * [misc]backup-simplify: Simplify (* d2 0) into 0 1536946886.819 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536946886.819 * [misc]taylor: Taking taylor expansion of 0 in d2 1536946886.819 * [misc]backup-simplify: Simplify 0 into 0 1536946886.819 * [misc]taylor: Taking taylor expansion of 0 in d3 1536946886.819 * [misc]backup-simplify: Simplify 0 into 0 1536946886.819 * [misc]backup-simplify: Simplify 0 into 0 1536946886.819 * [misc]backup-simplify: Simplify (+ (* d3 1) (* 0 0)) into d3 1536946886.819 * [misc]backup-simplify: Simplify (+ (* d2 1) (* 0 0)) into d2 1536946886.819 * [misc]backup-simplify: Simplify (+ d3 d2) into (+ d3 d2) 1536946886.819 * [misc]taylor: Taking taylor expansion of (+ d3 d2) in d2 1536946886.819 * [misc]taylor: Taking taylor expansion of d3 in d2 1536946886.819 * [misc]backup-simplify: Simplify d3 into d3 1536946886.819 * [misc]taylor: Taking taylor expansion of d2 in d2 1536946886.819 * [misc]backup-simplify: Simplify 0 into 0 1536946886.819 * [misc]backup-simplify: Simplify 1 into 1 1536946886.819 * [misc]backup-simplify: Simplify (+ d3 0) into d3 1536946886.819 * [misc]taylor: Taking taylor expansion of d3 in d3 1536946886.820 * [misc]backup-simplify: Simplify 0 into 0 1536946886.820 * [misc]backup-simplify: Simplify 1 into 1 1536946886.820 * [misc]backup-simplify: Simplify 0 into 0 1536946886.820 * [misc]taylor: Taking taylor expansion of 0 in d3 1536946886.820 * [misc]backup-simplify: Simplify 0 into 0 1536946886.820 * [misc]backup-simplify: Simplify 0 into 0 1536946886.820 * [misc]backup-simplify: Simplify 0 into 0 1536946886.820 * [misc]backup-simplify: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0 1536946886.820 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 1536946886.820 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536946886.820 * [misc]taylor: Taking taylor expansion of 0 in d2 1536946886.820 * [misc]backup-simplify: Simplify 0 into 0 1536946886.820 * [misc]taylor: Taking taylor expansion of 0 in d3 1536946886.820 * [misc]backup-simplify: Simplify 0 into 0 1536946886.820 * [misc]backup-simplify: Simplify 0 into 0 1536946886.820 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536946886.820 * [misc]taylor: Taking taylor expansion of 1 in d3 1536946886.820 * [misc]backup-simplify: Simplify 1 into 1 1536946886.820 * [misc]backup-simplify: Simplify 1 into 1 1536946886.820 * [misc]taylor: Taking taylor expansion of 0 in d3 1536946886.820 * [misc]backup-simplify: Simplify 0 into 0 1536946886.820 * [misc]backup-simplify: Simplify 0 into 0 1536946886.820 * [misc]backup-simplify: Simplify 1 into 1 1536946886.820 * [misc]backup-simplify: Simplify 0 into 0 1536946886.820 * [misc]backup-simplify: Simplify 0 into 0 1536946886.821 * [misc]backup-simplify: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1536946886.821 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1536946886.821 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536946886.821 * [misc]taylor: Taking taylor expansion of 0 in d2 1536946886.821 * [misc]backup-simplify: Simplify 0 into 0 1536946886.821 * [misc]taylor: Taking taylor expansion of 0 in d3 1536946886.821 * [misc]backup-simplify: Simplify 0 into 0 1536946886.821 * [misc]backup-simplify: Simplify 0 into 0 1536946886.821 * [misc]taylor: Taking taylor expansion of 0 in d3 1536946886.821 * [misc]backup-simplify: Simplify 0 into 0 1536946886.821 * [misc]backup-simplify: Simplify 0 into 0 1536946886.821 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536946886.821 * [misc]taylor: Taking taylor expansion of 0 in d3 1536946886.821 * [misc]backup-simplify: Simplify 0 into 0 1536946886.821 * [misc]backup-simplify: Simplify 0 into 0 1536946886.821 * [misc]taylor: Taking taylor expansion of 0 in d3 1536946886.821 * [misc]backup-simplify: Simplify 0 into 0 1536946886.821 * [misc]backup-simplify: Simplify 0 into 0 1536946886.822 * [misc]backup-simplify: Simplify (+ (* 1 (* d3 (* 1 d1))) (* 1 (* 1 (* d2 d1)))) into (+ (* d2 d1) (* d3 d1)) 1536946886.822 * [misc]backup-simplify: Simplify (+ (* (/ 1 d1) (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) into (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) 1536946886.822 * [misc]approximate: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in (d1 d2 d3) around 0 1536946886.822 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d3 1536946886.822 * [misc]taylor: Taking taylor expansion of (/ 1 (* d2 d1)) in d3 1536946886.822 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d3 1536946886.822 * [misc]taylor: Taking taylor expansion of d2 in d3 1536946886.822 * [misc]backup-simplify: Simplify d2 into d2 1536946886.822 * [misc]taylor: Taking taylor expansion of d1 in d3 1536946886.822 * [misc]backup-simplify: Simplify d1 into d1 1536946886.822 * [misc]backup-simplify: Simplify (* d2 d1) into (* d2 d1) 1536946886.822 * [misc]backup-simplify: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1)) 1536946886.822 * [misc]taylor: Taking taylor expansion of (/ 1 (* d3 d1)) in d3 1536946886.822 * [misc]taylor: Taking taylor expansion of (* d3 d1) in d3 1536946886.822 * [misc]taylor: Taking taylor expansion of d3 in d3 1536946886.822 * [misc]backup-simplify: Simplify 0 into 0 1536946886.822 * [misc]backup-simplify: Simplify 1 into 1 1536946886.822 * [misc]taylor: Taking taylor expansion of d1 in d3 1536946886.822 * [misc]backup-simplify: Simplify d1 into d1 1536946886.822 * [misc]backup-simplify: Simplify (* 0 d1) into 0 1536946886.822 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 d1)) into d1 1536946886.822 * [misc]backup-simplify: Simplify (/ 1 d1) into (/ 1 d1) 1536946886.822 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d2 1536946886.822 * [misc]taylor: Taking taylor expansion of (/ 1 (* d2 d1)) in d2 1536946886.822 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d2 1536946886.822 * [misc]taylor: Taking taylor expansion of d2 in d2 1536946886.822 * [misc]backup-simplify: Simplify 0 into 0 1536946886.822 * [misc]backup-simplify: Simplify 1 into 1 1536946886.822 * [misc]taylor: Taking taylor expansion of d1 in d2 1536946886.822 * [misc]backup-simplify: Simplify d1 into d1 1536946886.822 * [misc]backup-simplify: Simplify (* 0 d1) into 0 1536946886.822 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 d1)) into d1 1536946886.823 * [misc]backup-simplify: Simplify (/ 1 d1) into (/ 1 d1) 1536946886.823 * [misc]taylor: Taking taylor expansion of (/ 1 (* d3 d1)) in d2 1536946886.823 * [misc]taylor: Taking taylor expansion of (* d3 d1) in d2 1536946886.823 * [misc]taylor: Taking taylor expansion of d3 in d2 1536946886.823 * [misc]backup-simplify: Simplify d3 into d3 1536946886.823 * [misc]taylor: Taking taylor expansion of d1 in d2 1536946886.823 * [misc]backup-simplify: Simplify d1 into d1 1536946886.823 * [misc]backup-simplify: Simplify (* d3 d1) into (* d3 d1) 1536946886.823 * [misc]backup-simplify: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1)) 1536946886.823 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d1 1536946886.823 * [misc]taylor: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 1536946886.823 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d1 1536946886.823 * [misc]taylor: Taking taylor expansion of d2 in d1 1536946886.823 * [misc]backup-simplify: Simplify d2 into d2 1536946886.823 * [misc]taylor: Taking taylor expansion of d1 in d1 1536946886.823 * [misc]backup-simplify: Simplify 0 into 0 1536946886.823 * [misc]backup-simplify: Simplify 1 into 1 1536946886.823 * [misc]backup-simplify: Simplify (* d2 0) into 0 1536946886.823 * [misc]backup-simplify: Simplify (+ (* d2 1) (* 0 0)) into d2 1536946886.823 * [misc]backup-simplify: Simplify (/ 1 d2) into (/ 1 d2) 1536946886.823 * [misc]taylor: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 1536946886.823 * [misc]taylor: Taking taylor expansion of (* d3 d1) in d1 1536946886.823 * [misc]taylor: Taking taylor expansion of d3 in d1 1536946886.823 * [misc]backup-simplify: Simplify d3 into d3 1536946886.823 * [misc]taylor: Taking taylor expansion of d1 in d1 1536946886.823 * [misc]backup-simplify: Simplify 0 into 0 1536946886.823 * [misc]backup-simplify: Simplify 1 into 1 1536946886.823 * [misc]backup-simplify: Simplify (* d3 0) into 0 1536946886.823 * [misc]backup-simplify: Simplify (+ (* d3 1) (* 0 0)) into d3 1536946886.823 * [misc]backup-simplify: Simplify (/ 1 d3) into (/ 1 d3) 1536946886.823 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d1 1536946886.823 * [misc]taylor: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 1536946886.823 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d1 1536946886.823 * [misc]taylor: Taking taylor expansion of d2 in d1 1536946886.823 * [misc]backup-simplify: Simplify d2 into d2 1536946886.823 * [misc]taylor: Taking taylor expansion of d1 in d1 1536946886.823 * [misc]backup-simplify: Simplify 0 into 0 1536946886.823 * [misc]backup-simplify: Simplify 1 into 1 1536946886.824 * [misc]backup-simplify: Simplify (* d2 0) into 0 1536946886.824 * [misc]backup-simplify: Simplify (+ (* d2 1) (* 0 0)) into d2 1536946886.824 * [misc]backup-simplify: Simplify (/ 1 d2) into (/ 1 d2) 1536946886.824 * [misc]taylor: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 1536946886.824 * [misc]taylor: Taking taylor expansion of (* d3 d1) in d1 1536946886.824 * [misc]taylor: Taking taylor expansion of d3 in d1 1536946886.824 * [misc]backup-simplify: Simplify d3 into d3 1536946886.824 * [misc]taylor: Taking taylor expansion of d1 in d1 1536946886.824 * [misc]backup-simplify: Simplify 0 into 0 1536946886.824 * [misc]backup-simplify: Simplify 1 into 1 1536946886.824 * [misc]backup-simplify: Simplify (* d3 0) into 0 1536946886.824 * [misc]backup-simplify: Simplify (+ (* d3 1) (* 0 0)) into d3 1536946886.824 * [misc]backup-simplify: Simplify (/ 1 d3) into (/ 1 d3) 1536946886.824 * [misc]backup-simplify: Simplify (+ (/ 1 d2) (/ 1 d3)) into (+ (/ 1 d2) (/ 1 d3)) 1536946886.824 * [misc]taylor: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 1536946886.824 * [misc]taylor: Taking taylor expansion of (/ 1 d2) in d2 1536946886.824 * [misc]taylor: Taking taylor expansion of d2 in d2 1536946886.824 * [misc]backup-simplify: Simplify 0 into 0 1536946886.824 * [misc]backup-simplify: Simplify 1 into 1 1536946886.824 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536946886.824 * [misc]taylor: Taking taylor expansion of (/ 1 d3) in d2 1536946886.824 * [misc]taylor: Taking taylor expansion of d3 in d2 1536946886.824 * [misc]backup-simplify: Simplify d3 into d3 1536946886.824 * [misc]backup-simplify: Simplify (/ 1 d3) into (/ 1 d3) 1536946886.825 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536946886.825 * [misc]taylor: Taking taylor expansion of 1 in d3 1536946886.825 * [misc]backup-simplify: Simplify 1 into 1 1536946886.825 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 1536946886.825 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 1536946886.825 * [misc]backup-simplify: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0 1536946886.825 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 1536946886.825 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536946886.825 * [misc]taylor: Taking taylor expansion of 0 in d2 1536946886.825 * [misc]backup-simplify: Simplify 0 into 0 1536946886.825 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536946886.825 * [misc]backup-simplify: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3) 1536946886.825 * [misc]taylor: Taking taylor expansion of (/ 1 d3) in d3 1536946886.825 * [misc]taylor: Taking taylor expansion of d3 in d3 1536946886.825 * [misc]backup-simplify: Simplify 0 into 0 1536946886.825 * [misc]backup-simplify: Simplify 1 into 1 1536946886.826 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536946886.826 * [misc]backup-simplify: Simplify 1 into 1 1536946886.826 * [misc]backup-simplify: Simplify 1 into 1 1536946886.826 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1536946886.826 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1536946886.826 * [misc]backup-simplify: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1536946886.826 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 1536946886.826 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536946886.826 * [misc]taylor: Taking taylor expansion of 0 in d2 1536946886.826 * [misc]backup-simplify: Simplify 0 into 0 1536946886.826 * [misc]taylor: Taking taylor expansion of 0 in d3 1536946886.826 * [misc]backup-simplify: Simplify 0 into 0 1536946886.827 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536946886.827 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 1536946886.827 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536946886.827 * [misc]taylor: Taking taylor expansion of 0 in d3 1536946886.827 * [misc]backup-simplify: Simplify 0 into 0 1536946886.827 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536946886.827 * [misc]backup-simplify: Simplify 0 into 0 1536946886.827 * [misc]backup-simplify: Simplify 0 into 0 1536946886.827 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1536946886.827 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1536946886.828 * [misc]backup-simplify: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1536946886.828 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 1536946886.828 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536946886.828 * [misc]taylor: Taking taylor expansion of 0 in d2 1536946886.828 * [misc]backup-simplify: Simplify 0 into 0 1536946886.828 * [misc]taylor: Taking taylor expansion of 0 in d3 1536946886.828 * [misc]backup-simplify: Simplify 0 into 0 1536946886.828 * [misc]taylor: Taking taylor expansion of 0 in d3 1536946886.828 * [misc]backup-simplify: Simplify 0 into 0 1536946886.828 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536946886.828 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 1536946886.828 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536946886.828 * [misc]taylor: Taking taylor expansion of 0 in d3 1536946886.829 * [misc]backup-simplify: Simplify 0 into 0 1536946886.829 * [misc]backup-simplify: Simplify 0 into 0 1536946886.829 * [misc]backup-simplify: Simplify 0 into 0 1536946886.829 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536946886.829 * [misc]backup-simplify: Simplify 0 into 0 1536946886.829 * [misc]backup-simplify: Simplify 0 into 0 1536946886.829 * [misc]backup-simplify: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))))) (* 1 (* (/ 1 (/ 1 d3)) (* 1 (/ 1 (/ 1 d1)))))) into (+ (* d3 d1) (* d2 d1)) 1536946886.829 * [misc]backup-simplify: Simplify (+ (* (/ 1 (- d1)) (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) into (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) 1536946886.830 * [misc]approximate: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in (d1 d2 d3) around 0 1536946886.830 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d3 1536946886.830 * [misc]taylor: Taking taylor expansion of (/ 1 (* d2 d1)) in d3 1536946886.830 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d3 1536946886.830 * [misc]taylor: Taking taylor expansion of d2 in d3 1536946886.830 * [misc]backup-simplify: Simplify d2 into d2 1536946886.830 * [misc]taylor: Taking taylor expansion of d1 in d3 1536946886.830 * [misc]backup-simplify: Simplify d1 into d1 1536946886.830 * [misc]backup-simplify: Simplify (* d2 d1) into (* d2 d1) 1536946886.830 * [misc]backup-simplify: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1)) 1536946886.830 * [misc]taylor: Taking taylor expansion of (/ 1 (* d3 d1)) in d3 1536946886.830 * [misc]taylor: Taking taylor expansion of (* d3 d1) in d3 1536946886.830 * [misc]taylor: Taking taylor expansion of d3 in d3 1536946886.830 * [misc]backup-simplify: Simplify 0 into 0 1536946886.830 * [misc]backup-simplify: Simplify 1 into 1 1536946886.830 * [misc]taylor: Taking taylor expansion of d1 in d3 1536946886.830 * [misc]backup-simplify: Simplify d1 into d1 1536946886.830 * [misc]backup-simplify: Simplify (* 0 d1) into 0 1536946886.830 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 d1)) into d1 1536946886.830 * [misc]backup-simplify: Simplify (/ 1 d1) into (/ 1 d1) 1536946886.830 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d2 1536946886.830 * [misc]taylor: Taking taylor expansion of (/ 1 (* d2 d1)) in d2 1536946886.830 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d2 1536946886.830 * [misc]taylor: Taking taylor expansion of d2 in d2 1536946886.830 * [misc]backup-simplify: Simplify 0 into 0 1536946886.830 * [misc]backup-simplify: Simplify 1 into 1 1536946886.830 * [misc]taylor: Taking taylor expansion of d1 in d2 1536946886.830 * [misc]backup-simplify: Simplify d1 into d1 1536946886.830 * [misc]backup-simplify: Simplify (* 0 d1) into 0 1536946886.830 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 d1)) into d1 1536946886.830 * [misc]backup-simplify: Simplify (/ 1 d1) into (/ 1 d1) 1536946886.830 * [misc]taylor: Taking taylor expansion of (/ 1 (* d3 d1)) in d2 1536946886.830 * [misc]taylor: Taking taylor expansion of (* d3 d1) in d2 1536946886.830 * [misc]taylor: Taking taylor expansion of d3 in d2 1536946886.830 * [misc]backup-simplify: Simplify d3 into d3 1536946886.830 * [misc]taylor: Taking taylor expansion of d1 in d2 1536946886.831 * [misc]backup-simplify: Simplify d1 into d1 1536946886.831 * [misc]backup-simplify: Simplify (* d3 d1) into (* d3 d1) 1536946886.831 * [misc]backup-simplify: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1)) 1536946886.831 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d1 1536946886.831 * [misc]taylor: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 1536946886.831 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d1 1536946886.831 * [misc]taylor: Taking taylor expansion of d2 in d1 1536946886.831 * [misc]backup-simplify: Simplify d2 into d2 1536946886.831 * [misc]taylor: Taking taylor expansion of d1 in d1 1536946886.831 * [misc]backup-simplify: Simplify 0 into 0 1536946886.831 * [misc]backup-simplify: Simplify 1 into 1 1536946886.831 * [misc]backup-simplify: Simplify (* d2 0) into 0 1536946886.831 * [misc]backup-simplify: Simplify (+ (* d2 1) (* 0 0)) into d2 1536946886.831 * [misc]backup-simplify: Simplify (/ 1 d2) into (/ 1 d2) 1536946886.831 * [misc]taylor: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 1536946886.831 * [misc]taylor: Taking taylor expansion of (* d3 d1) in d1 1536946886.831 * [misc]taylor: Taking taylor expansion of d3 in d1 1536946886.831 * [misc]backup-simplify: Simplify d3 into d3 1536946886.831 * [misc]taylor: Taking taylor expansion of d1 in d1 1536946886.831 * [misc]backup-simplify: Simplify 0 into 0 1536946886.831 * [misc]backup-simplify: Simplify 1 into 1 1536946886.831 * [misc]backup-simplify: Simplify (* d3 0) into 0 1536946886.831 * [misc]backup-simplify: Simplify (+ (* d3 1) (* 0 0)) into d3 1536946886.831 * [misc]backup-simplify: Simplify (/ 1 d3) into (/ 1 d3) 1536946886.831 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d1 1536946886.831 * [misc]taylor: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 1536946886.831 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d1 1536946886.831 * [misc]taylor: Taking taylor expansion of d2 in d1 1536946886.831 * [misc]backup-simplify: Simplify d2 into d2 1536946886.831 * [misc]taylor: Taking taylor expansion of d1 in d1 1536946886.831 * [misc]backup-simplify: Simplify 0 into 0 1536946886.831 * [misc]backup-simplify: Simplify 1 into 1 1536946886.831 * [misc]backup-simplify: Simplify (* d2 0) into 0 1536946886.832 * [misc]backup-simplify: Simplify (+ (* d2 1) (* 0 0)) into d2 1536946886.832 * [misc]backup-simplify: Simplify (/ 1 d2) into (/ 1 d2) 1536946886.832 * [misc]taylor: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 1536946886.832 * [misc]taylor: Taking taylor expansion of (* d3 d1) in d1 1536946886.832 * [misc]taylor: Taking taylor expansion of d3 in d1 1536946886.832 * [misc]backup-simplify: Simplify d3 into d3 1536946886.832 * [misc]taylor: Taking taylor expansion of d1 in d1 1536946886.832 * [misc]backup-simplify: Simplify 0 into 0 1536946886.832 * [misc]backup-simplify: Simplify 1 into 1 1536946886.832 * [misc]backup-simplify: Simplify (* d3 0) into 0 1536946886.832 * [misc]backup-simplify: Simplify (+ (* d3 1) (* 0 0)) into d3 1536946886.832 * [misc]backup-simplify: Simplify (/ 1 d3) into (/ 1 d3) 1536946886.832 * [misc]backup-simplify: Simplify (+ (/ 1 d2) (/ 1 d3)) into (+ (/ 1 d2) (/ 1 d3)) 1536946886.832 * [misc]taylor: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 1536946886.832 * [misc]taylor: Taking taylor expansion of (/ 1 d2) in d2 1536946886.832 * [misc]taylor: Taking taylor expansion of d2 in d2 1536946886.832 * [misc]backup-simplify: Simplify 0 into 0 1536946886.832 * [misc]backup-simplify: Simplify 1 into 1 1536946886.832 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536946886.832 * [misc]taylor: Taking taylor expansion of (/ 1 d3) in d2 1536946886.832 * [misc]taylor: Taking taylor expansion of d3 in d2 1536946886.832 * [misc]backup-simplify: Simplify d3 into d3 1536946886.832 * [misc]backup-simplify: Simplify (/ 1 d3) into (/ 1 d3) 1536946886.832 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536946886.832 * [misc]taylor: Taking taylor expansion of 1 in d3 1536946886.832 * [misc]backup-simplify: Simplify 1 into 1 1536946886.833 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 1536946886.833 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 1536946886.833 * [misc]backup-simplify: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0 1536946886.833 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 1536946886.833 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536946886.833 * [misc]taylor: Taking taylor expansion of 0 in d2 1536946886.833 * [misc]backup-simplify: Simplify 0 into 0 1536946886.833 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536946886.833 * [misc]backup-simplify: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3) 1536946886.833 * [misc]taylor: Taking taylor expansion of (/ 1 d3) in d3 1536946886.833 * [misc]taylor: Taking taylor expansion of d3 in d3 1536946886.833 * [misc]backup-simplify: Simplify 0 into 0 1536946886.834 * [misc]backup-simplify: Simplify 1 into 1 1536946886.834 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536946886.834 * [misc]backup-simplify: Simplify 1 into 1 1536946886.834 * [misc]backup-simplify: Simplify 1 into 1 1536946886.834 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1536946886.834 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1536946886.834 * [misc]backup-simplify: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1536946886.834 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 1536946886.834 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536946886.834 * [misc]taylor: Taking taylor expansion of 0 in d2 1536946886.834 * [misc]backup-simplify: Simplify 0 into 0 1536946886.834 * [misc]taylor: Taking taylor expansion of 0 in d3 1536946886.834 * [misc]backup-simplify: Simplify 0 into 0 1536946886.835 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536946886.835 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 1536946886.835 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536946886.835 * [misc]taylor: Taking taylor expansion of 0 in d3 1536946886.835 * [misc]backup-simplify: Simplify 0 into 0 1536946886.835 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536946886.835 * [misc]backup-simplify: Simplify 0 into 0 1536946886.835 * [misc]backup-simplify: Simplify 0 into 0 1536946886.835 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1536946886.835 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1536946886.836 * [misc]backup-simplify: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1536946886.836 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 1536946886.836 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536946886.836 * [misc]taylor: Taking taylor expansion of 0 in d2 1536946886.836 * [misc]backup-simplify: Simplify 0 into 0 1536946886.836 * [misc]taylor: Taking taylor expansion of 0 in d3 1536946886.836 * [misc]backup-simplify: Simplify 0 into 0 1536946886.836 * [misc]taylor: Taking taylor expansion of 0 in d3 1536946886.836 * [misc]backup-simplify: Simplify 0 into 0 1536946886.836 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536946886.836 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 1536946886.837 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536946886.837 * [misc]taylor: Taking taylor expansion of 0 in d3 1536946886.837 * [misc]backup-simplify: Simplify 0 into 0 1536946886.837 * [misc]backup-simplify: Simplify 0 into 0 1536946886.837 * [misc]backup-simplify: Simplify 0 into 0 1536946886.837 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536946886.837 * [misc]backup-simplify: Simplify 0 into 0 1536946886.837 * [misc]backup-simplify: Simplify 0 into 0 1536946886.837 * [misc]backup-simplify: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) (* 1 (* (/ 1 (/ 1 (- d3))) (* 1 (/ 1 (/ 1 (- d1))))))) into (+ (* d3 d1) (* d2 d1)) 1536946886.837 * * * [misc]progress: simplifying candidates 1536946886.837 * * * * [misc]progress: [ 1 / 18 ] simplifiying candidate # 1536946886.837 * * * * [misc]progress: [ 2 / 18 ] simplifiying candidate # 1536946886.837 * * * * [misc]progress: [ 3 / 18 ] simplifiying candidate # 1536946886.837 * * * * [misc]progress: [ 4 / 18 ] simplifiying candidate # 1536946886.837 * [enter]simplify: Simplifying (* (exp (* d1 d2)) (exp (* d1 d3))) 1536946886.843 * * [misc]simplify: iters left: 5 (8 enodes) 1536946886.845 * * [misc]simplify: iters left: 4 (16 enodes) 1536946886.848 * * [misc]simplify: iters left: 3 (22 enodes) 1536946886.852 * * [misc]simplify: iters left: 2 (28 enodes) 1536946886.857 * [exit]simplify: Simplified to (pow (exp d1) (+ d2 d3)) 1536946886.857 * [misc]simplify: Simplified (2 1) to (λ (d1 d2 d3) (log (pow (exp d1) (+ d2 d3)))) 1536946886.857 * * * * [misc]progress: [ 5 / 18 ] simplifiying candidate # 1536946886.857 * * * * [misc]progress: [ 6 / 18 ] simplifiying candidate # 1536946886.857 * * * * [misc]progress: [ 7 / 18 ] simplifiying candidate # 1536946886.857 * * * * [misc]progress: [ 8 / 18 ] simplifiying candidate # 1536946886.857 * * * * [misc]progress: [ 9 / 18 ] simplifiying candidate # 1536946886.857 * * * * [misc]progress: [ 10 / 18 ] simplifiying candidate # 1536946886.857 * * * * [misc]progress: [ 11 / 18 ] simplifiying candidate # 1536946886.857 * * * * [misc]progress: [ 12 / 18 ] simplifiying candidate # 1536946886.857 * * * * [misc]progress: [ 13 / 18 ] simplifiying candidate # 1536946886.857 * * * * [misc]progress: [ 14 / 18 ] simplifiying candidate # 1536946886.857 * [enter]simplify: Simplifying (+ d2 d3) 1536946886.857 * * [misc]simplify: iters left: 2 (3 enodes) 1536946886.858 * * [misc]simplify: iters left: 1 (4 enodes) 1536946886.858 * [exit]simplify: Simplified to (+ d3 d2) 1536946886.859 * [misc]simplify: Simplified (2 2) to (λ (d1 d2 d3) (* d1 (+ d3 d2))) 1536946886.859 * * * * [misc]progress: [ 15 / 18 ] simplifiying candidate # 1536946886.859 * * * * [misc]progress: [ 16 / 18 ] simplifiying candidate # 1536946886.859 * [enter]simplify: Simplifying (+ (* d2 d1) (* d3 d1)) 1536946886.859 * * [misc]simplify: iters left: 4 (6 enodes) 1536946886.861 * * [misc]simplify: iters left: 3 (12 enodes) 1536946886.863 * * [misc]simplify: iters left: 2 (18 enodes) 1536946886.866 * [exit]simplify: Simplified to (* d1 (+ d3 d2)) 1536946886.866 * [misc]simplify: Simplified (2) to (λ (d1 d2 d3) (* d1 (+ d3 d2))) 1536946886.866 * * * * [misc]progress: [ 17 / 18 ] simplifiying candidate # 1536946886.867 * [enter]simplify: Simplifying (+ (* d3 d1) (* d2 d1)) 1536946886.867 * * [misc]simplify: iters left: 4 (6 enodes) 1536946886.868 * * [misc]simplify: iters left: 3 (12 enodes) 1536946886.871 * * [misc]simplify: iters left: 2 (18 enodes) 1536946886.874 * [exit]simplify: Simplified to (* d1 (+ d2 d3)) 1536946886.874 * [misc]simplify: Simplified (2) to (λ (d1 d2 d3) (* d1 (+ d2 d3))) 1536946886.874 * * * * [misc]progress: [ 18 / 18 ] simplifiying candidate # 1536946886.874 * [enter]simplify: Simplifying (+ (* d3 d1) (* d2 d1)) 1536946886.875 * * [misc]simplify: iters left: 4 (6 enodes) 1536946886.876 * * [misc]simplify: iters left: 3 (12 enodes) 1536946886.879 * * [misc]simplify: iters left: 2 (18 enodes) 1536946886.885 * [exit]simplify: Simplified to (* d1 (+ d2 d3)) 1536946886.885 * [misc]simplify: Simplified (2) to (λ (d1 d2 d3) (* d1 (+ d2 d3))) 1536946886.885 * * * [misc]progress: adding candidates to table 1536946887.059 * * [misc]progress: iteration 2 / 4 1536946887.059 * * * [misc]progress: picking best candidate 1536946887.062 * * * * [misc]pick: Picked # 1536946887.062 * * * [misc]progress: localizing error 1536946887.068 * * * [misc]progress: generating rewritten candidates 1536946887.068 * * * [misc]progress: generating series expansions 1536946887.068 * * * [misc]progress: simplifying candidates 1536946887.068 * * * [misc]progress: adding candidates to table 1536946887.068 * [misc]progress: [Phase 3 of 3] Extracting. 1536946887.071 * [enter]simplify: Simplifying (fma d1 d2 (* d1 d3)) 1536946887.071 * * [misc]simplify: iters left: 3 (5 enodes) 1536946887.072 * * [misc]simplify: iters left: 2 (6 enodes) 1536946887.072 * [exit]simplify: Simplified to (fma d1 d2 (* d1 d3)) 1536946887.072 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1536946888.572 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946888.575 * * * * [misc]points: Sampling 1716 additional inputs, on iter 1 have 6284 / 8000 1536946889.287 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946889.288 * * * * [misc]points: Sampling 366 additional inputs, on iter 2 have 7634 / 8000 1536946889.334 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946889.334 * * * * [misc]points: Sampling 93 additional inputs, on iter 3 have 7907 / 8000 1536946889.349 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946889.349 * * * * [misc]points: Sampling 22 additional inputs, on iter 4 have 7978 / 8000 1536946889.355 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946889.356 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 7997 / 8000 1536946889.357 * * * * [misc]points: Filtering points with unrepresentable outputs 1536946889.357 * * * * [exit]points: Sampled 8001 points with exact outputs