1545727712.450 * [misc]progress: [Phase 1 of 3] Setting up. 1545727712.450 * * * [misc]progress: [1/2] Preparing points 1545727712.450 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545727712.514 * * * * [misc]points: Filtering points with unrepresentable outputs 1545727712.514 * * * * [misc]points: Sampling 29 additional inputs, on iter 1 have 227 / 256 1545727712.523 * * * * [misc]points: Filtering points with unrepresentable outputs 1545727712.523 * * * * [misc]points: Sampling 4 additional inputs, on iter 2 have 254 / 256 1545727712.526 * * * * [misc]points: Filtering points with unrepresentable outputs 1545727712.526 * * * * [exit]points: Sampled 258 points with exact outputs 1545727712.526 * * * [misc]progress: [2/2] Setting up program. 1545727712.532 * [misc]progress: [Phase 2 of 3] Improving. 1545727712.532 * [enter]simplify: Simplifying (+ (+ (* d1 10) (* d1 d2)) (* d1 20)) 1545727712.532 * * [misc]simplify: iters left: 6 (9 enodes) 1545727712.536 * * [misc]simplify: iters left: 5 (18 enodes) 1545727712.542 * * [misc]simplify: iters left: 4 (33 enodes) 1545727712.555 * * [misc]simplify: iters left: 3 (50 enodes) 1545727712.564 * * [misc]simplify: iters left: 2 (67 enodes) 1545727712.571 * [exit]simplify: Simplified to (* d1 (+ 30 d2)) 1545727712.591 * * [misc]progress: iteration 1 / 4 1545727712.591 * * * [misc]progress: picking best candidate 1545727712.597 * * * * [misc]pick: Picked # 1545727712.597 * * * [misc]progress: localizing error 1545727712.613 * * * [misc]progress: generating rewritten candidates 1545727712.613 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1545727712.615 * * * [misc]progress: generating series expansions 1545727712.615 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1545727712.615 * [misc]backup-simplify: Simplify (* d1 (+ 30 d2)) into (* (+ d2 30) d1) 1545727712.615 * [misc]approximate: Taking taylor expansion of (* (+ d2 30) d1) in (d1 d2) around 0 1545727712.615 * [misc]taylor: Taking taylor expansion of (* (+ d2 30) d1) in d2 1545727712.616 * [misc]taylor: Taking taylor expansion of (+ d2 30) in d2 1545727712.616 * [misc]taylor: Taking taylor expansion of d2 in d2 1545727712.616 * [misc]backup-simplify: Simplify 0 into 0 1545727712.616 * [misc]backup-simplify: Simplify 1 into 1 1545727712.616 * [misc]taylor: Taking taylor expansion of 30 in d2 1545727712.616 * [misc]backup-simplify: Simplify 30 into 30 1545727712.616 * [misc]taylor: Taking taylor expansion of d1 in d2 1545727712.616 * [misc]backup-simplify: Simplify d1 into d1 1545727712.616 * [misc]taylor: Taking taylor expansion of (* (+ d2 30) d1) in d1 1545727712.616 * [misc]taylor: Taking taylor expansion of (+ d2 30) in d1 1545727712.616 * [misc]taylor: Taking taylor expansion of d2 in d1 1545727712.616 * [misc]backup-simplify: Simplify d2 into d2 1545727712.616 * [misc]taylor: Taking taylor expansion of 30 in d1 1545727712.616 * [misc]backup-simplify: Simplify 30 into 30 1545727712.616 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.616 * [misc]backup-simplify: Simplify 0 into 0 1545727712.616 * [misc]backup-simplify: Simplify 1 into 1 1545727712.616 * [misc]taylor: Taking taylor expansion of (* (+ d2 30) d1) in d1 1545727712.616 * [misc]taylor: Taking taylor expansion of (+ d2 30) in d1 1545727712.616 * [misc]taylor: Taking taylor expansion of d2 in d1 1545727712.616 * [misc]backup-simplify: Simplify d2 into d2 1545727712.616 * [misc]taylor: Taking taylor expansion of 30 in d1 1545727712.616 * [misc]backup-simplify: Simplify 30 into 30 1545727712.616 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.616 * [misc]backup-simplify: Simplify 0 into 0 1545727712.616 * [misc]backup-simplify: Simplify 1 into 1 1545727712.616 * [misc]backup-simplify: Simplify (+ d2 30) into (+ d2 30) 1545727712.616 * [misc]backup-simplify: Simplify (* (+ d2 30) 0) into 0 1545727712.616 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.616 * [misc]backup-simplify: Simplify 0 into 0 1545727712.616 * [misc]backup-simplify: Simplify 0 into 0 1545727712.616 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.617 * [misc]backup-simplify: Simplify (+ (* (+ d2 30) 1) (* 0 0)) into (+ d2 30) 1545727712.617 * [misc]taylor: Taking taylor expansion of (+ d2 30) in d2 1545727712.617 * [misc]taylor: Taking taylor expansion of d2 in d2 1545727712.617 * [misc]backup-simplify: Simplify 0 into 0 1545727712.617 * [misc]backup-simplify: Simplify 1 into 1 1545727712.617 * [misc]taylor: Taking taylor expansion of 30 in d2 1545727712.617 * [misc]backup-simplify: Simplify 30 into 30 1545727712.617 * [misc]backup-simplify: Simplify (+ 0 30) into 30 1545727712.617 * [misc]backup-simplify: Simplify 30 into 30 1545727712.617 * [misc]backup-simplify: Simplify 0 into 0 1545727712.617 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.617 * [misc]backup-simplify: Simplify (+ (* (+ d2 30) 0) (+ (* 0 1) (* 0 0))) into 0 1545727712.617 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.617 * [misc]backup-simplify: Simplify 0 into 0 1545727712.617 * [misc]backup-simplify: Simplify 0 into 0 1545727712.617 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545727712.617 * [misc]backup-simplify: Simplify 1 into 1 1545727712.617 * [misc]backup-simplify: Simplify 0 into 0 1545727712.617 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.618 * [misc]backup-simplify: Simplify (+ (* (+ d2 30) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1545727712.618 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.618 * [misc]backup-simplify: Simplify 0 into 0 1545727712.618 * [misc]backup-simplify: Simplify 0 into 0 1545727712.618 * [misc]backup-simplify: Simplify 0 into 0 1545727712.618 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.618 * [misc]backup-simplify: Simplify 0 into 0 1545727712.618 * [misc]backup-simplify: Simplify 0 into 0 1545727712.618 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.619 * [misc]backup-simplify: Simplify (+ (* (+ d2 30) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1545727712.619 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.619 * [misc]backup-simplify: Simplify 0 into 0 1545727712.619 * [misc]backup-simplify: Simplify 0 into 0 1545727712.619 * [misc]backup-simplify: Simplify (+ (* 1 (* d2 d1)) (* 30 (* 1 d1))) into (+ (* d2 d1) (* 30 d1)) 1545727712.619 * [misc]backup-simplify: Simplify (* (/ 1 d1) (+ 30 (/ 1 d2))) into (/ (+ (/ 1 d2) 30) d1) 1545727712.619 * [misc]approximate: Taking taylor expansion of (/ (+ (/ 1 d2) 30) d1) in (d1 d2) around 0 1545727712.619 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 d2) 30) d1) in d2 1545727712.619 * [misc]taylor: Taking taylor expansion of (+ (/ 1 d2) 30) in d2 1545727712.619 * [misc]taylor: Taking taylor expansion of (/ 1 d2) in d2 1545727712.619 * [misc]taylor: Taking taylor expansion of d2 in d2 1545727712.619 * [misc]backup-simplify: Simplify 0 into 0 1545727712.619 * [misc]backup-simplify: Simplify 1 into 1 1545727712.619 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545727712.619 * [misc]taylor: Taking taylor expansion of 30 in d2 1545727712.619 * [misc]backup-simplify: Simplify 30 into 30 1545727712.619 * [misc]taylor: Taking taylor expansion of d1 in d2 1545727712.619 * [misc]backup-simplify: Simplify d1 into d1 1545727712.620 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545727712.620 * [misc]backup-simplify: Simplify (/ 1 d1) into (/ 1 d1) 1545727712.620 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 d2) 30) d1) in d1 1545727712.620 * [misc]taylor: Taking taylor expansion of (+ (/ 1 d2) 30) in d1 1545727712.620 * [misc]taylor: Taking taylor expansion of (/ 1 d2) in d1 1545727712.620 * [misc]taylor: Taking taylor expansion of d2 in d1 1545727712.620 * [misc]backup-simplify: Simplify d2 into d2 1545727712.620 * [misc]backup-simplify: Simplify (/ 1 d2) into (/ 1 d2) 1545727712.620 * [misc]taylor: Taking taylor expansion of 30 in d1 1545727712.620 * [misc]backup-simplify: Simplify 30 into 30 1545727712.620 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.620 * [misc]backup-simplify: Simplify 0 into 0 1545727712.620 * [misc]backup-simplify: Simplify 1 into 1 1545727712.620 * [misc]backup-simplify: Simplify (+ (/ 1 d2) 30) into (+ (/ 1 d2) 30) 1545727712.620 * [misc]backup-simplify: Simplify (/ (+ (/ 1 d2) 30) 1) into (+ (/ 1 d2) 30) 1545727712.620 * [misc]taylor: Taking taylor expansion of (/ (+ (/ 1 d2) 30) d1) in d1 1545727712.620 * [misc]taylor: Taking taylor expansion of (+ (/ 1 d2) 30) in d1 1545727712.620 * [misc]taylor: Taking taylor expansion of (/ 1 d2) in d1 1545727712.620 * [misc]taylor: Taking taylor expansion of d2 in d1 1545727712.620 * [misc]backup-simplify: Simplify d2 into d2 1545727712.620 * [misc]backup-simplify: Simplify (/ 1 d2) into (/ 1 d2) 1545727712.620 * [misc]taylor: Taking taylor expansion of 30 in d1 1545727712.620 * [misc]backup-simplify: Simplify 30 into 30 1545727712.620 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.620 * [misc]backup-simplify: Simplify 0 into 0 1545727712.620 * [misc]backup-simplify: Simplify 1 into 1 1545727712.620 * [misc]backup-simplify: Simplify (+ (/ 1 d2) 30) into (+ (/ 1 d2) 30) 1545727712.620 * [misc]backup-simplify: Simplify (/ (+ (/ 1 d2) 30) 1) into (+ (/ 1 d2) 30) 1545727712.620 * [misc]taylor: Taking taylor expansion of (+ (/ 1 d2) 30) in d2 1545727712.620 * [misc]taylor: Taking taylor expansion of (/ 1 d2) in d2 1545727712.620 * [misc]taylor: Taking taylor expansion of d2 in d2 1545727712.620 * [misc]backup-simplify: Simplify 0 into 0 1545727712.620 * [misc]backup-simplify: Simplify 1 into 1 1545727712.621 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545727712.621 * [misc]taylor: Taking taylor expansion of 30 in d2 1545727712.621 * [misc]backup-simplify: Simplify 30 into 30 1545727712.621 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545727712.621 * [misc]backup-simplify: Simplify 1 into 1 1545727712.621 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 1545727712.621 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.621 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d2) 30) (/ 0 1)))) into 0 1545727712.621 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.621 * [misc]backup-simplify: Simplify 0 into 0 1545727712.622 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545727712.622 * [misc]backup-simplify: Simplify (+ 0 30) into 30 1545727712.622 * [misc]backup-simplify: Simplify 30 into 30 1545727712.622 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1545727712.622 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.622 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d2) 30) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.622 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.622 * [misc]backup-simplify: Simplify 0 into 0 1545727712.622 * [misc]backup-simplify: Simplify 0 into 0 1545727712.623 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.623 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.623 * [misc]backup-simplify: Simplify 0 into 0 1545727712.623 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1545727712.623 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.623 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d2) 30) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.623 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.623 * [misc]backup-simplify: Simplify 0 into 0 1545727712.623 * [misc]backup-simplify: Simplify 0 into 0 1545727712.624 * [misc]backup-simplify: Simplify 0 into 0 1545727712.624 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.624 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.624 * [misc]backup-simplify: Simplify 0 into 0 1545727712.624 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1545727712.624 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.625 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d2) 30) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.625 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.625 * [misc]backup-simplify: Simplify 0 into 0 1545727712.625 * [misc]backup-simplify: Simplify 0 into 0 1545727712.625 * [misc]backup-simplify: Simplify (+ (* 30 (* 1 (/ 1 (/ 1 d1)))) (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))))) into (+ (* d2 d1) (* 30 d1)) 1545727712.625 * [misc]backup-simplify: Simplify (* (/ 1 (- d1)) (+ 30 (/ 1 (- d2)))) into (* -1 (/ (- 30 (/ 1 d2)) d1)) 1545727712.625 * [misc]approximate: Taking taylor expansion of (* -1 (/ (- 30 (/ 1 d2)) d1)) in (d1 d2) around 0 1545727712.625 * [misc]taylor: Taking taylor expansion of (* -1 (/ (- 30 (/ 1 d2)) d1)) in d2 1545727712.625 * [misc]taylor: Taking taylor expansion of -1 in d2 1545727712.625 * [misc]backup-simplify: Simplify -1 into -1 1545727712.625 * [misc]taylor: Taking taylor expansion of (/ (- 30 (/ 1 d2)) d1) in d2 1545727712.625 * [misc]taylor: Taking taylor expansion of (- 30 (/ 1 d2)) in d2 1545727712.625 * [misc]taylor: Taking taylor expansion of 30 in d2 1545727712.625 * [misc]backup-simplify: Simplify 30 into 30 1545727712.625 * [misc]taylor: Taking taylor expansion of (/ 1 d2) in d2 1545727712.625 * [misc]taylor: Taking taylor expansion of d2 in d2 1545727712.625 * [misc]backup-simplify: Simplify 0 into 0 1545727712.625 * [misc]backup-simplify: Simplify 1 into 1 1545727712.625 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545727712.625 * [misc]taylor: Taking taylor expansion of d1 in d2 1545727712.625 * [misc]backup-simplify: Simplify d1 into d1 1545727712.625 * [misc]backup-simplify: Simplify (- 1) into -1 1545727712.626 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1545727712.626 * [misc]backup-simplify: Simplify (/ -1 d1) into (/ -1 d1) 1545727712.626 * [misc]taylor: Taking taylor expansion of (* -1 (/ (- 30 (/ 1 d2)) d1)) in d1 1545727712.626 * [misc]taylor: Taking taylor expansion of -1 in d1 1545727712.626 * [misc]backup-simplify: Simplify -1 into -1 1545727712.626 * [misc]taylor: Taking taylor expansion of (/ (- 30 (/ 1 d2)) d1) in d1 1545727712.626 * [misc]taylor: Taking taylor expansion of (- 30 (/ 1 d2)) in d1 1545727712.626 * [misc]taylor: Taking taylor expansion of 30 in d1 1545727712.626 * [misc]backup-simplify: Simplify 30 into 30 1545727712.626 * [misc]taylor: Taking taylor expansion of (/ 1 d2) in d1 1545727712.626 * [misc]taylor: Taking taylor expansion of d2 in d1 1545727712.626 * [misc]backup-simplify: Simplify d2 into d2 1545727712.626 * [misc]backup-simplify: Simplify (/ 1 d2) into (/ 1 d2) 1545727712.626 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.626 * [misc]backup-simplify: Simplify 0 into 0 1545727712.626 * [misc]backup-simplify: Simplify 1 into 1 1545727712.626 * [misc]backup-simplify: Simplify (- (/ 1 d2)) into (- (/ 1 d2)) 1545727712.626 * [misc]backup-simplify: Simplify (+ 30 (- (/ 1 d2))) into (- 30 (/ 1 d2)) 1545727712.626 * [misc]backup-simplify: Simplify (/ (- 30 (/ 1 d2)) 1) into (- 30 (/ 1 d2)) 1545727712.626 * [misc]taylor: Taking taylor expansion of (* -1 (/ (- 30 (/ 1 d2)) d1)) in d1 1545727712.626 * [misc]taylor: Taking taylor expansion of -1 in d1 1545727712.626 * [misc]backup-simplify: Simplify -1 into -1 1545727712.626 * [misc]taylor: Taking taylor expansion of (/ (- 30 (/ 1 d2)) d1) in d1 1545727712.626 * [misc]taylor: Taking taylor expansion of (- 30 (/ 1 d2)) in d1 1545727712.626 * [misc]taylor: Taking taylor expansion of 30 in d1 1545727712.626 * [misc]backup-simplify: Simplify 30 into 30 1545727712.626 * [misc]taylor: Taking taylor expansion of (/ 1 d2) in d1 1545727712.626 * [misc]taylor: Taking taylor expansion of d2 in d1 1545727712.626 * [misc]backup-simplify: Simplify d2 into d2 1545727712.626 * [misc]backup-simplify: Simplify (/ 1 d2) into (/ 1 d2) 1545727712.626 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.626 * [misc]backup-simplify: Simplify 0 into 0 1545727712.626 * [misc]backup-simplify: Simplify 1 into 1 1545727712.626 * [misc]backup-simplify: Simplify (- (/ 1 d2)) into (- (/ 1 d2)) 1545727712.626 * [misc]backup-simplify: Simplify (+ 30 (- (/ 1 d2))) into (- 30 (/ 1 d2)) 1545727712.626 * [misc]backup-simplify: Simplify (/ (- 30 (/ 1 d2)) 1) into (- 30 (/ 1 d2)) 1545727712.627 * [misc]backup-simplify: Simplify (* -1 (- 30 (/ 1 d2))) into (* -1 (- 30 (/ 1 d2))) 1545727712.627 * [misc]taylor: Taking taylor expansion of (* -1 (- 30 (/ 1 d2))) in d2 1545727712.627 * [misc]taylor: Taking taylor expansion of -1 in d2 1545727712.627 * [misc]backup-simplify: Simplify -1 into -1 1545727712.627 * [misc]taylor: Taking taylor expansion of (- 30 (/ 1 d2)) in d2 1545727712.627 * [misc]taylor: Taking taylor expansion of 30 in d2 1545727712.627 * [misc]backup-simplify: Simplify 30 into 30 1545727712.627 * [misc]taylor: Taking taylor expansion of (/ 1 d2) in d2 1545727712.627 * [misc]taylor: Taking taylor expansion of d2 in d2 1545727712.627 * [misc]backup-simplify: Simplify 0 into 0 1545727712.627 * [misc]backup-simplify: Simplify 1 into 1 1545727712.627 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545727712.627 * [misc]backup-simplify: Simplify (- 1) into -1 1545727712.627 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1545727712.627 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1545727712.627 * [misc]backup-simplify: Simplify 1 into 1 1545727712.627 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 1545727712.627 * [misc]backup-simplify: Simplify (- 0) into 0 1545727712.628 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.628 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (- 30 (/ 1 d2)) (/ 0 1)))) into 0 1545727712.628 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (- 30 (/ 1 d2)))) into 0 1545727712.628 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.628 * [misc]backup-simplify: Simplify 0 into 0 1545727712.628 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545727712.628 * [misc]backup-simplify: Simplify (- 0) into 0 1545727712.628 * [misc]backup-simplify: Simplify (+ 30 0) into 30 1545727712.629 * [misc]backup-simplify: Simplify (+ (* -1 30) (* 0 -1)) into -30 1545727712.629 * [misc]backup-simplify: Simplify -30 into -30 1545727712.629 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1545727712.629 * [misc]backup-simplify: Simplify (- 0) into 0 1545727712.629 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.629 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (- 30 (/ 1 d2)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.630 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- 30 (/ 1 d2))))) into 0 1545727712.630 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.630 * [misc]backup-simplify: Simplify 0 into 0 1545727712.630 * [misc]backup-simplify: Simplify 0 into 0 1545727712.630 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.630 * [misc]backup-simplify: Simplify (- 0) into 0 1545727712.630 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.630 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 30) (* 0 -1))) into 0 1545727712.630 * [misc]backup-simplify: Simplify 0 into 0 1545727712.630 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1545727712.630 * [misc]backup-simplify: Simplify (- 0) into 0 1545727712.631 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.631 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (- 30 (/ 1 d2)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.631 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- 30 (/ 1 d2)))))) into 0 1545727712.631 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.631 * [misc]backup-simplify: Simplify 0 into 0 1545727712.631 * [misc]backup-simplify: Simplify 0 into 0 1545727712.631 * [misc]backup-simplify: Simplify 0 into 0 1545727712.632 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.632 * [misc]backup-simplify: Simplify (- 0) into 0 1545727712.632 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.632 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 30) (* 0 -1)))) into 0 1545727712.632 * [misc]backup-simplify: Simplify 0 into 0 1545727712.632 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1545727712.632 * [misc]backup-simplify: Simplify (- 0) into 0 1545727712.632 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.633 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (- 30 (/ 1 d2)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.633 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- 30 (/ 1 d2))))))) into 0 1545727712.633 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.633 * [misc]backup-simplify: Simplify 0 into 0 1545727712.633 * [misc]backup-simplify: Simplify 0 into 0 1545727712.634 * [misc]backup-simplify: Simplify (+ (* -30 (* 1 (/ 1 (/ 1 (- d1))))) (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) into (+ (* d2 d1) (* 30 d1)) 1545727712.634 * * * [misc]progress: simplifying candidates 1545727712.634 * * * * [misc]progress: [ 1 / 18 ] simplifiying candidate # 1545727712.634 * * * * [misc]progress: [ 2 / 18 ] simplifiying candidate # 1545727712.634 * * * * [misc]progress: [ 3 / 18 ] simplifiying candidate # 1545727712.634 * * * * [misc]progress: [ 4 / 18 ] simplifiying candidate # 1545727712.634 * * * * [misc]progress: [ 5 / 18 ] simplifiying candidate # 1545727712.634 * * * * [misc]progress: [ 6 / 18 ] simplifiying candidate # 1545727712.634 * * * * [misc]progress: [ 7 / 18 ] simplifiying candidate # 1545727712.634 * * * * [misc]progress: [ 8 / 18 ] simplifiying candidate # 1545727712.634 * [enter]simplify: Simplifying (* d1 d2) 1545727712.634 * * [misc]simplify: iters left: 2 (3 enodes) 1545727712.635 * * [misc]simplify: iters left: 1 (4 enodes) 1545727712.635 * [exit]simplify: Simplified to (* d1 d2) 1545727712.635 * [misc]simplify: Simplified (2 2) to (λ (d1 d2) (+ (* d1 30) (* d1 d2))) 1545727712.635 * * * * [misc]progress: [ 9 / 18 ] simplifiying candidate # 1545727712.635 * [enter]simplify: Simplifying (* d2 d1) 1545727712.635 * * [misc]simplify: iters left: 2 (3 enodes) 1545727712.636 * * [misc]simplify: iters left: 1 (4 enodes) 1545727712.636 * [exit]simplify: Simplified to (* d2 d1) 1545727712.636 * [misc]simplify: Simplified (2 2) to (λ (d1 d2) (+ (* 30 d1) (* d2 d1))) 1545727712.636 * * * * [misc]progress: [ 10 / 18 ] simplifiying candidate # 1545727712.637 * [enter]simplify: Simplifying (cbrt (+ 30 d2)) 1545727712.637 * * [misc]simplify: iters left: 3 (4 enodes) 1545727712.637 * * [misc]simplify: iters left: 2 (5 enodes) 1545727712.638 * [exit]simplify: Simplified to (cbrt (+ d2 30)) 1545727712.638 * [misc]simplify: Simplified (2 2) to (λ (d1 d2) (* (* d1 (* (cbrt (+ 30 d2)) (cbrt (+ 30 d2)))) (cbrt (+ d2 30)))) 1545727712.638 * * * * [misc]progress: [ 11 / 18 ] simplifiying candidate # 1545727712.638 * [enter]simplify: Simplifying (sqrt (+ 30 d2)) 1545727712.638 * * [misc]simplify: iters left: 3 (4 enodes) 1545727712.639 * * [misc]simplify: iters left: 2 (5 enodes) 1545727712.639 * [exit]simplify: Simplified to (sqrt (+ d2 30)) 1545727712.639 * [misc]simplify: Simplified (2 2) to (λ (d1 d2) (* (* d1 (sqrt (+ 30 d2))) (sqrt (+ d2 30)))) 1545727712.639 * * * * [misc]progress: [ 12 / 18 ] simplifiying candidate # 1545727712.640 * [enter]simplify: Simplifying (+ 30 d2) 1545727712.640 * * [misc]simplify: iters left: 2 (3 enodes) 1545727712.640 * * [misc]simplify: iters left: 1 (4 enodes) 1545727712.641 * [exit]simplify: Simplified to (+ d2 30) 1545727712.641 * [misc]simplify: Simplified (2 2) to (λ (d1 d2) (* (* d1 1) (+ d2 30))) 1545727712.641 * * * * [misc]progress: [ 13 / 18 ] simplifiying candidate # 1545727712.641 * [enter]simplify: Simplifying (+ (* 30 30) (- (* d2 d2) (* 30 d2))) 1545727712.641 * * [misc]simplify: iters left: 6 (7 enodes) 1545727712.643 * * [misc]simplify: iters left: 5 (16 enodes) 1545727712.646 * * [misc]simplify: iters left: 4 (37 enodes) 1545727712.653 * * [misc]simplify: iters left: 3 (61 enodes) 1545727712.669 * * [misc]simplify: iters left: 2 (79 enodes) 1545727712.685 * * [misc]simplify: iters left: 1 (109 enodes) 1545727712.702 * [exit]simplify: Simplified to (+ 900 (* (- d2 30) d2)) 1545727712.702 * [misc]simplify: Simplified (2 2) to (λ (d1 d2) (/ (* d1 (+ (pow 30 3) (pow d2 3))) (+ 900 (* (- d2 30) d2)))) 1545727712.702 * * * * [misc]progress: [ 14 / 18 ] simplifiying candidate # 1545727712.702 * [enter]simplify: Simplifying (- 30 d2) 1545727712.702 * * [misc]simplify: iters left: 2 (3 enodes) 1545727712.702 * * [misc]simplify: iters left: 1 (5 enodes) 1545727712.703 * [exit]simplify: Simplified to (- 30 d2) 1545727712.703 * [misc]simplify: Simplified (2 2) to (λ (d1 d2) (/ (* d1 (- (* 30 30) (* d2 d2))) (- 30 d2))) 1545727712.703 * * * * [misc]progress: [ 15 / 18 ] simplifiying candidate # 1545727712.703 * * * * [misc]progress: [ 16 / 18 ] simplifiying candidate # 1545727712.703 * [enter]simplify: Simplifying (+ (* d2 d1) (* 30 d1)) 1545727712.703 * * [misc]simplify: iters left: 4 (6 enodes) 1545727712.704 * * [misc]simplify: iters left: 3 (11 enodes) 1545727712.706 * * [misc]simplify: iters left: 2 (14 enodes) 1545727712.708 * [exit]simplify: Simplified to (* (+ 30 d2) d1) 1545727712.708 * [misc]simplify: Simplified (2) to (λ (d1 d2) (* (+ 30 d2) d1)) 1545727712.708 * * * * [misc]progress: [ 17 / 18 ] simplifiying candidate # 1545727712.708 * [enter]simplify: Simplifying (+ (* d2 d1) (* 30 d1)) 1545727712.708 * * [misc]simplify: iters left: 4 (6 enodes) 1545727712.709 * * [misc]simplify: iters left: 3 (11 enodes) 1545727712.711 * * [misc]simplify: iters left: 2 (14 enodes) 1545727712.714 * [exit]simplify: Simplified to (* (+ 30 d2) d1) 1545727712.714 * [misc]simplify: Simplified (2) to (λ (d1 d2) (* (+ 30 d2) d1)) 1545727712.714 * * * * [misc]progress: [ 18 / 18 ] simplifiying candidate # 1545727712.715 * [enter]simplify: Simplifying (+ (* d2 d1) (* 30 d1)) 1545727712.715 * * [misc]simplify: iters left: 4 (6 enodes) 1545727712.717 * * [misc]simplify: iters left: 3 (11 enodes) 1545727712.720 * * [misc]simplify: iters left: 2 (14 enodes) 1545727712.724 * [exit]simplify: Simplified to (* (+ 30 d2) d1) 1545727712.725 * [misc]simplify: Simplified (2) to (λ (d1 d2) (* (+ 30 d2) d1)) 1545727712.725 * * * [misc]progress: adding candidates to table 1545727712.853 * * [misc]progress: iteration 2 / 4 1545727712.853 * * * [misc]progress: picking best candidate 1545727712.856 * * * * [misc]pick: Picked # 1545727712.856 * * * [misc]progress: localizing error 1545727712.870 * * * [misc]progress: generating rewritten candidates 1545727712.870 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1545727712.878 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1545727712.881 * * * [misc]progress: generating series expansions 1545727712.881 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1545727712.882 * [misc]backup-simplify: Simplify (+ (+ (* d1 10) (* d1 d2)) (* d1 20)) into (+ (* d2 d1) (* 30 d1)) 1545727712.882 * [misc]approximate: Taking taylor expansion of (+ (* d2 d1) (* 30 d1)) in (d1 d2) around 0 1545727712.882 * [misc]taylor: Taking taylor expansion of (+ (* d2 d1) (* 30 d1)) in d2 1545727712.882 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d2 1545727712.882 * [misc]taylor: Taking taylor expansion of d2 in d2 1545727712.882 * [misc]backup-simplify: Simplify 0 into 0 1545727712.882 * [misc]backup-simplify: Simplify 1 into 1 1545727712.882 * [misc]taylor: Taking taylor expansion of d1 in d2 1545727712.882 * [misc]backup-simplify: Simplify d1 into d1 1545727712.882 * [misc]taylor: Taking taylor expansion of (* 30 d1) in d2 1545727712.882 * [misc]taylor: Taking taylor expansion of 30 in d2 1545727712.882 * [misc]backup-simplify: Simplify 30 into 30 1545727712.882 * [misc]taylor: Taking taylor expansion of d1 in d2 1545727712.882 * [misc]backup-simplify: Simplify d1 into d1 1545727712.882 * [misc]taylor: Taking taylor expansion of (+ (* d2 d1) (* 30 d1)) in d1 1545727712.882 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d1 1545727712.882 * [misc]taylor: Taking taylor expansion of d2 in d1 1545727712.882 * [misc]backup-simplify: Simplify d2 into d2 1545727712.882 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.882 * [misc]backup-simplify: Simplify 0 into 0 1545727712.882 * [misc]backup-simplify: Simplify 1 into 1 1545727712.882 * [misc]taylor: Taking taylor expansion of (* 30 d1) in d1 1545727712.882 * [misc]taylor: Taking taylor expansion of 30 in d1 1545727712.882 * [misc]backup-simplify: Simplify 30 into 30 1545727712.882 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.882 * [misc]backup-simplify: Simplify 0 into 0 1545727712.882 * [misc]backup-simplify: Simplify 1 into 1 1545727712.883 * [misc]taylor: Taking taylor expansion of (+ (* d2 d1) (* 30 d1)) in d1 1545727712.883 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d1 1545727712.883 * [misc]taylor: Taking taylor expansion of d2 in d1 1545727712.883 * [misc]backup-simplify: Simplify d2 into d2 1545727712.883 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.883 * [misc]backup-simplify: Simplify 0 into 0 1545727712.883 * [misc]backup-simplify: Simplify 1 into 1 1545727712.883 * [misc]taylor: Taking taylor expansion of (* 30 d1) in d1 1545727712.883 * [misc]taylor: Taking taylor expansion of 30 in d1 1545727712.883 * [misc]backup-simplify: Simplify 30 into 30 1545727712.883 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.883 * [misc]backup-simplify: Simplify 0 into 0 1545727712.883 * [misc]backup-simplify: Simplify 1 into 1 1545727712.883 * [misc]backup-simplify: Simplify (* d2 0) into 0 1545727712.883 * [misc]backup-simplify: Simplify (* 30 0) into 0 1545727712.884 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.884 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.884 * [misc]backup-simplify: Simplify 0 into 0 1545727712.884 * [misc]backup-simplify: Simplify 0 into 0 1545727712.884 * [misc]backup-simplify: Simplify (+ (* d2 1) (* 0 0)) into d2 1545727712.884 * [misc]backup-simplify: Simplify (+ (* 30 1) (* 0 0)) into 30 1545727712.884 * [misc]backup-simplify: Simplify (+ d2 30) into (+ d2 30) 1545727712.884 * [misc]taylor: Taking taylor expansion of (+ d2 30) in d2 1545727712.884 * [misc]taylor: Taking taylor expansion of d2 in d2 1545727712.884 * [misc]backup-simplify: Simplify 0 into 0 1545727712.884 * [misc]backup-simplify: Simplify 1 into 1 1545727712.884 * [misc]taylor: Taking taylor expansion of 30 in d2 1545727712.884 * [misc]backup-simplify: Simplify 30 into 30 1545727712.884 * [misc]backup-simplify: Simplify (+ 0 30) into 30 1545727712.885 * [misc]backup-simplify: Simplify 30 into 30 1545727712.885 * [misc]backup-simplify: Simplify 0 into 0 1545727712.885 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 1545727712.885 * [misc]backup-simplify: Simplify (+ (* 30 0) (+ (* 0 1) (* 0 0))) into 0 1545727712.885 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.885 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.885 * [misc]backup-simplify: Simplify 0 into 0 1545727712.885 * [misc]backup-simplify: Simplify 0 into 0 1545727712.886 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545727712.886 * [misc]backup-simplify: Simplify 1 into 1 1545727712.886 * [misc]backup-simplify: Simplify 0 into 0 1545727712.886 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1545727712.886 * [misc]backup-simplify: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1545727712.887 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.887 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.887 * [misc]backup-simplify: Simplify 0 into 0 1545727712.887 * [misc]backup-simplify: Simplify 0 into 0 1545727712.887 * [misc]backup-simplify: Simplify 0 into 0 1545727712.887 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.887 * [misc]backup-simplify: Simplify 0 into 0 1545727712.887 * [misc]backup-simplify: Simplify 0 into 0 1545727712.887 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1545727712.888 * [misc]backup-simplify: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1545727712.888 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.888 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.888 * [misc]backup-simplify: Simplify 0 into 0 1545727712.888 * [misc]backup-simplify: Simplify 0 into 0 1545727712.888 * [misc]backup-simplify: Simplify (+ (* 1 (* d2 d1)) (* 30 (* 1 d1))) into (+ (* d2 d1) (* 30 d1)) 1545727712.889 * [misc]backup-simplify: Simplify (+ (+ (* (/ 1 d1) 10) (* (/ 1 d1) (/ 1 d2))) (* (/ 1 d1) 20)) into (+ (* 30 (/ 1 d1)) (/ 1 (* d2 d1))) 1545727712.889 * [misc]approximate: Taking taylor expansion of (+ (* 30 (/ 1 d1)) (/ 1 (* d2 d1))) in (d1 d2) around 0 1545727712.889 * [misc]taylor: Taking taylor expansion of (+ (* 30 (/ 1 d1)) (/ 1 (* d2 d1))) in d2 1545727712.889 * [misc]taylor: Taking taylor expansion of (* 30 (/ 1 d1)) in d2 1545727712.889 * [misc]taylor: Taking taylor expansion of 30 in d2 1545727712.889 * [misc]backup-simplify: Simplify 30 into 30 1545727712.889 * [misc]taylor: Taking taylor expansion of (/ 1 d1) in d2 1545727712.889 * [misc]taylor: Taking taylor expansion of d1 in d2 1545727712.889 * [misc]backup-simplify: Simplify d1 into d1 1545727712.889 * [misc]backup-simplify: Simplify (/ 1 d1) into (/ 1 d1) 1545727712.889 * [misc]taylor: Taking taylor expansion of (/ 1 (* d2 d1)) in d2 1545727712.889 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d2 1545727712.889 * [misc]taylor: Taking taylor expansion of d2 in d2 1545727712.889 * [misc]backup-simplify: Simplify 0 into 0 1545727712.889 * [misc]backup-simplify: Simplify 1 into 1 1545727712.889 * [misc]taylor: Taking taylor expansion of d1 in d2 1545727712.889 * [misc]backup-simplify: Simplify d1 into d1 1545727712.889 * [misc]backup-simplify: Simplify (* 0 d1) into 0 1545727712.889 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 d1)) into d1 1545727712.889 * [misc]backup-simplify: Simplify (/ 1 d1) into (/ 1 d1) 1545727712.890 * [misc]taylor: Taking taylor expansion of (+ (* 30 (/ 1 d1)) (/ 1 (* d2 d1))) in d1 1545727712.890 * [misc]taylor: Taking taylor expansion of (* 30 (/ 1 d1)) in d1 1545727712.890 * [misc]taylor: Taking taylor expansion of 30 in d1 1545727712.890 * [misc]backup-simplify: Simplify 30 into 30 1545727712.890 * [misc]taylor: Taking taylor expansion of (/ 1 d1) in d1 1545727712.890 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.890 * [misc]backup-simplify: Simplify 0 into 0 1545727712.890 * [misc]backup-simplify: Simplify 1 into 1 1545727712.890 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545727712.890 * [misc]taylor: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 1545727712.890 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d1 1545727712.890 * [misc]taylor: Taking taylor expansion of d2 in d1 1545727712.890 * [misc]backup-simplify: Simplify d2 into d2 1545727712.890 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.890 * [misc]backup-simplify: Simplify 0 into 0 1545727712.890 * [misc]backup-simplify: Simplify 1 into 1 1545727712.890 * [misc]backup-simplify: Simplify (* d2 0) into 0 1545727712.890 * [misc]backup-simplify: Simplify (+ (* d2 1) (* 0 0)) into d2 1545727712.890 * [misc]backup-simplify: Simplify (/ 1 d2) into (/ 1 d2) 1545727712.890 * [misc]taylor: Taking taylor expansion of (+ (* 30 (/ 1 d1)) (/ 1 (* d2 d1))) in d1 1545727712.891 * [misc]taylor: Taking taylor expansion of (* 30 (/ 1 d1)) in d1 1545727712.891 * [misc]taylor: Taking taylor expansion of 30 in d1 1545727712.891 * [misc]backup-simplify: Simplify 30 into 30 1545727712.891 * [misc]taylor: Taking taylor expansion of (/ 1 d1) in d1 1545727712.891 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.891 * [misc]backup-simplify: Simplify 0 into 0 1545727712.891 * [misc]backup-simplify: Simplify 1 into 1 1545727712.891 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545727712.891 * [misc]taylor: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 1545727712.891 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d1 1545727712.891 * [misc]taylor: Taking taylor expansion of d2 in d1 1545727712.891 * [misc]backup-simplify: Simplify d2 into d2 1545727712.891 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.891 * [misc]backup-simplify: Simplify 0 into 0 1545727712.891 * [misc]backup-simplify: Simplify 1 into 1 1545727712.891 * [misc]backup-simplify: Simplify (* d2 0) into 0 1545727712.891 * [misc]backup-simplify: Simplify (+ (* d2 1) (* 0 0)) into d2 1545727712.891 * [misc]backup-simplify: Simplify (/ 1 d2) into (/ 1 d2) 1545727712.892 * [misc]backup-simplify: Simplify (* 30 1) into 30 1545727712.892 * [misc]backup-simplify: Simplify (+ 30 (/ 1 d2)) into (+ (/ 1 d2) 30) 1545727712.892 * [misc]taylor: Taking taylor expansion of (+ (/ 1 d2) 30) in d2 1545727712.892 * [misc]taylor: Taking taylor expansion of (/ 1 d2) in d2 1545727712.892 * [misc]taylor: Taking taylor expansion of d2 in d2 1545727712.892 * [misc]backup-simplify: Simplify 0 into 0 1545727712.892 * [misc]backup-simplify: Simplify 1 into 1 1545727712.892 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545727712.892 * [misc]taylor: Taking taylor expansion of 30 in d2 1545727712.892 * [misc]backup-simplify: Simplify 30 into 30 1545727712.892 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545727712.892 * [misc]backup-simplify: Simplify 1 into 1 1545727712.893 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545727712.893 * [misc]backup-simplify: Simplify (+ (* 30 0) (* 0 1)) into 0 1545727712.893 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 1545727712.893 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 1545727712.893 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.893 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.894 * [misc]backup-simplify: Simplify 0 into 0 1545727712.894 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545727712.894 * [misc]backup-simplify: Simplify (+ 0 30) into 30 1545727712.894 * [misc]backup-simplify: Simplify 30 into 30 1545727712.894 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.895 * [misc]backup-simplify: Simplify (+ (* 30 0) (+ (* 0 0) (* 0 1))) into 0 1545727712.895 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1545727712.895 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1545727712.895 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.895 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.895 * [misc]backup-simplify: Simplify 0 into 0 1545727712.895 * [misc]backup-simplify: Simplify 0 into 0 1545727712.896 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.896 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.896 * [misc]backup-simplify: Simplify 0 into 0 1545727712.896 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.897 * [misc]backup-simplify: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545727712.897 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1545727712.897 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1545727712.897 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.898 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.898 * [misc]backup-simplify: Simplify 0 into 0 1545727712.898 * [misc]backup-simplify: Simplify 0 into 0 1545727712.898 * [misc]backup-simplify: Simplify 0 into 0 1545727712.898 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.898 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.898 * [misc]backup-simplify: Simplify 0 into 0 1545727712.899 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.899 * [misc]backup-simplify: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545727712.900 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1545727712.900 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1545727712.900 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.900 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.900 * [misc]backup-simplify: Simplify 0 into 0 1545727712.900 * [misc]backup-simplify: Simplify 0 into 0 1545727712.901 * [misc]backup-simplify: Simplify (+ (* 30 (* 1 (/ 1 (/ 1 d1)))) (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))))) into (+ (* d2 d1) (* 30 d1)) 1545727712.901 * [misc]backup-simplify: Simplify (+ (+ (* (/ 1 (- d1)) 10) (* (/ 1 (- d1)) (/ 1 (- d2)))) (* (/ 1 (- d1)) 20)) into (- (/ 1 (* d2 d1)) (* 30 (/ 1 d1))) 1545727712.901 * [misc]approximate: Taking taylor expansion of (- (/ 1 (* d2 d1)) (* 30 (/ 1 d1))) in (d1 d2) around 0 1545727712.901 * [misc]taylor: Taking taylor expansion of (- (/ 1 (* d2 d1)) (* 30 (/ 1 d1))) in d2 1545727712.901 * [misc]taylor: Taking taylor expansion of (/ 1 (* d2 d1)) in d2 1545727712.901 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d2 1545727712.901 * [misc]taylor: Taking taylor expansion of d2 in d2 1545727712.901 * [misc]backup-simplify: Simplify 0 into 0 1545727712.901 * [misc]backup-simplify: Simplify 1 into 1 1545727712.901 * [misc]taylor: Taking taylor expansion of d1 in d2 1545727712.901 * [misc]backup-simplify: Simplify d1 into d1 1545727712.901 * [misc]backup-simplify: Simplify (* 0 d1) into 0 1545727712.902 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 d1)) into d1 1545727712.902 * [misc]backup-simplify: Simplify (/ 1 d1) into (/ 1 d1) 1545727712.902 * [misc]taylor: Taking taylor expansion of (* 30 (/ 1 d1)) in d2 1545727712.902 * [misc]taylor: Taking taylor expansion of 30 in d2 1545727712.902 * [misc]backup-simplify: Simplify 30 into 30 1545727712.902 * [misc]taylor: Taking taylor expansion of (/ 1 d1) in d2 1545727712.902 * [misc]taylor: Taking taylor expansion of d1 in d2 1545727712.902 * [misc]backup-simplify: Simplify d1 into d1 1545727712.902 * [misc]backup-simplify: Simplify (/ 1 d1) into (/ 1 d1) 1545727712.902 * [misc]taylor: Taking taylor expansion of (- (/ 1 (* d2 d1)) (* 30 (/ 1 d1))) in d1 1545727712.902 * [misc]taylor: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 1545727712.902 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d1 1545727712.902 * [misc]taylor: Taking taylor expansion of d2 in d1 1545727712.902 * [misc]backup-simplify: Simplify d2 into d2 1545727712.902 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.902 * [misc]backup-simplify: Simplify 0 into 0 1545727712.902 * [misc]backup-simplify: Simplify 1 into 1 1545727712.902 * [misc]backup-simplify: Simplify (* d2 0) into 0 1545727712.902 * [misc]backup-simplify: Simplify (+ (* d2 1) (* 0 0)) into d2 1545727712.902 * [misc]backup-simplify: Simplify (/ 1 d2) into (/ 1 d2) 1545727712.903 * [misc]taylor: Taking taylor expansion of (* 30 (/ 1 d1)) in d1 1545727712.903 * [misc]taylor: Taking taylor expansion of 30 in d1 1545727712.903 * [misc]backup-simplify: Simplify 30 into 30 1545727712.903 * [misc]taylor: Taking taylor expansion of (/ 1 d1) in d1 1545727712.903 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.903 * [misc]backup-simplify: Simplify 0 into 0 1545727712.903 * [misc]backup-simplify: Simplify 1 into 1 1545727712.903 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545727712.903 * [misc]taylor: Taking taylor expansion of (- (/ 1 (* d2 d1)) (* 30 (/ 1 d1))) in d1 1545727712.903 * [misc]taylor: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 1545727712.903 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d1 1545727712.903 * [misc]taylor: Taking taylor expansion of d2 in d1 1545727712.903 * [misc]backup-simplify: Simplify d2 into d2 1545727712.903 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.903 * [misc]backup-simplify: Simplify 0 into 0 1545727712.903 * [misc]backup-simplify: Simplify 1 into 1 1545727712.903 * [misc]backup-simplify: Simplify (* d2 0) into 0 1545727712.903 * [misc]backup-simplify: Simplify (+ (* d2 1) (* 0 0)) into d2 1545727712.903 * [misc]backup-simplify: Simplify (/ 1 d2) into (/ 1 d2) 1545727712.904 * [misc]taylor: Taking taylor expansion of (* 30 (/ 1 d1)) in d1 1545727712.904 * [misc]taylor: Taking taylor expansion of 30 in d1 1545727712.904 * [misc]backup-simplify: Simplify 30 into 30 1545727712.904 * [misc]taylor: Taking taylor expansion of (/ 1 d1) in d1 1545727712.904 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.904 * [misc]backup-simplify: Simplify 0 into 0 1545727712.904 * [misc]backup-simplify: Simplify 1 into 1 1545727712.904 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545727712.904 * [misc]backup-simplify: Simplify (* 30 1) into 30 1545727712.904 * [misc]backup-simplify: Simplify (- 30) into -30 1545727712.904 * [misc]backup-simplify: Simplify (+ (/ 1 d2) -30) into (- (/ 1 d2) 30) 1545727712.904 * [misc]taylor: Taking taylor expansion of (- (/ 1 d2) 30) in d2 1545727712.904 * [misc]taylor: Taking taylor expansion of (/ 1 d2) in d2 1545727712.904 * [misc]taylor: Taking taylor expansion of d2 in d2 1545727712.904 * [misc]backup-simplify: Simplify 0 into 0 1545727712.905 * [misc]backup-simplify: Simplify 1 into 1 1545727712.905 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545727712.905 * [misc]taylor: Taking taylor expansion of 30 in d2 1545727712.905 * [misc]backup-simplify: Simplify 30 into 30 1545727712.905 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545727712.905 * [misc]backup-simplify: Simplify 1 into 1 1545727712.905 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 1545727712.905 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 1545727712.906 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545727712.906 * [misc]backup-simplify: Simplify (+ (* 30 0) (* 0 1)) into 0 1545727712.906 * [misc]backup-simplify: Simplify (- 0) into 0 1545727712.906 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.906 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.906 * [misc]backup-simplify: Simplify 0 into 0 1545727712.907 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545727712.907 * [misc]backup-simplify: Simplify (- 30) into -30 1545727712.907 * [misc]backup-simplify: Simplify (+ 0 -30) into -30 1545727712.907 * [misc]backup-simplify: Simplify -30 into -30 1545727712.907 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1545727712.907 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1545727712.908 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.908 * [misc]backup-simplify: Simplify (+ (* 30 0) (+ (* 0 0) (* 0 1))) into 0 1545727712.908 * [misc]backup-simplify: Simplify (- 0) into 0 1545727712.908 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.908 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.908 * [misc]backup-simplify: Simplify 0 into 0 1545727712.908 * [misc]backup-simplify: Simplify 0 into 0 1545727712.909 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.909 * [misc]backup-simplify: Simplify (- 0) into 0 1545727712.909 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.909 * [misc]backup-simplify: Simplify 0 into 0 1545727712.910 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1545727712.910 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1545727712.910 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.911 * [misc]backup-simplify: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545727712.911 * [misc]backup-simplify: Simplify (- 0) into 0 1545727712.911 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.911 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.911 * [misc]backup-simplify: Simplify 0 into 0 1545727712.911 * [misc]backup-simplify: Simplify 0 into 0 1545727712.911 * [misc]backup-simplify: Simplify 0 into 0 1545727712.911 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.912 * [misc]backup-simplify: Simplify (- 0) into 0 1545727712.912 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.912 * [misc]backup-simplify: Simplify 0 into 0 1545727712.912 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1545727712.913 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1545727712.913 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.913 * [misc]backup-simplify: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545727712.914 * [misc]backup-simplify: Simplify (- 0) into 0 1545727712.914 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.914 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.914 * [misc]backup-simplify: Simplify 0 into 0 1545727712.914 * [misc]backup-simplify: Simplify 0 into 0 1545727712.914 * [misc]backup-simplify: Simplify (+ (* -30 (* 1 (/ 1 (/ 1 (- d1))))) (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) into (+ (* d2 d1) (* 30 d1)) 1545727712.914 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1545727712.914 * [misc]backup-simplify: Simplify (+ (* d1 10) (* d1 d2)) into (+ (* d2 d1) (* 10 d1)) 1545727712.915 * [misc]approximate: Taking taylor expansion of (+ (* d2 d1) (* 10 d1)) in (d1 d2) around 0 1545727712.915 * [misc]taylor: Taking taylor expansion of (+ (* d2 d1) (* 10 d1)) in d2 1545727712.915 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d2 1545727712.915 * [misc]taylor: Taking taylor expansion of d2 in d2 1545727712.915 * [misc]backup-simplify: Simplify 0 into 0 1545727712.915 * [misc]backup-simplify: Simplify 1 into 1 1545727712.915 * [misc]taylor: Taking taylor expansion of d1 in d2 1545727712.915 * [misc]backup-simplify: Simplify d1 into d1 1545727712.915 * [misc]taylor: Taking taylor expansion of (* 10 d1) in d2 1545727712.915 * [misc]taylor: Taking taylor expansion of 10 in d2 1545727712.915 * [misc]backup-simplify: Simplify 10 into 10 1545727712.915 * [misc]taylor: Taking taylor expansion of d1 in d2 1545727712.915 * [misc]backup-simplify: Simplify d1 into d1 1545727712.915 * [misc]taylor: Taking taylor expansion of (+ (* d2 d1) (* 10 d1)) in d1 1545727712.915 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d1 1545727712.915 * [misc]taylor: Taking taylor expansion of d2 in d1 1545727712.915 * [misc]backup-simplify: Simplify d2 into d2 1545727712.915 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.915 * [misc]backup-simplify: Simplify 0 into 0 1545727712.915 * [misc]backup-simplify: Simplify 1 into 1 1545727712.915 * [misc]taylor: Taking taylor expansion of (* 10 d1) in d1 1545727712.915 * [misc]taylor: Taking taylor expansion of 10 in d1 1545727712.915 * [misc]backup-simplify: Simplify 10 into 10 1545727712.915 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.915 * [misc]backup-simplify: Simplify 0 into 0 1545727712.915 * [misc]backup-simplify: Simplify 1 into 1 1545727712.915 * [misc]taylor: Taking taylor expansion of (+ (* d2 d1) (* 10 d1)) in d1 1545727712.915 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d1 1545727712.915 * [misc]taylor: Taking taylor expansion of d2 in d1 1545727712.915 * [misc]backup-simplify: Simplify d2 into d2 1545727712.915 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.915 * [misc]backup-simplify: Simplify 0 into 0 1545727712.915 * [misc]backup-simplify: Simplify 1 into 1 1545727712.916 * [misc]taylor: Taking taylor expansion of (* 10 d1) in d1 1545727712.916 * [misc]taylor: Taking taylor expansion of 10 in d1 1545727712.916 * [misc]backup-simplify: Simplify 10 into 10 1545727712.916 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.916 * [misc]backup-simplify: Simplify 0 into 0 1545727712.916 * [misc]backup-simplify: Simplify 1 into 1 1545727712.916 * [misc]backup-simplify: Simplify (* d2 0) into 0 1545727712.916 * [misc]backup-simplify: Simplify (* 10 0) into 0 1545727712.916 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.916 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.916 * [misc]backup-simplify: Simplify 0 into 0 1545727712.916 * [misc]backup-simplify: Simplify 0 into 0 1545727712.916 * [misc]backup-simplify: Simplify (+ (* d2 1) (* 0 0)) into d2 1545727712.917 * [misc]backup-simplify: Simplify (+ (* 10 1) (* 0 0)) into 10 1545727712.917 * [misc]backup-simplify: Simplify (+ d2 10) into (+ d2 10) 1545727712.917 * [misc]taylor: Taking taylor expansion of (+ d2 10) in d2 1545727712.917 * [misc]taylor: Taking taylor expansion of d2 in d2 1545727712.917 * [misc]backup-simplify: Simplify 0 into 0 1545727712.917 * [misc]backup-simplify: Simplify 1 into 1 1545727712.917 * [misc]taylor: Taking taylor expansion of 10 in d2 1545727712.917 * [misc]backup-simplify: Simplify 10 into 10 1545727712.917 * [misc]backup-simplify: Simplify (+ 0 10) into 10 1545727712.917 * [misc]backup-simplify: Simplify 10 into 10 1545727712.917 * [misc]backup-simplify: Simplify 0 into 0 1545727712.918 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 1545727712.918 * [misc]backup-simplify: Simplify (+ (* 10 0) (+ (* 0 1) (* 0 0))) into 0 1545727712.918 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.918 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.918 * [misc]backup-simplify: Simplify 0 into 0 1545727712.918 * [misc]backup-simplify: Simplify 0 into 0 1545727712.918 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545727712.918 * [misc]backup-simplify: Simplify 1 into 1 1545727712.918 * [misc]backup-simplify: Simplify 0 into 0 1545727712.919 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1545727712.919 * [misc]backup-simplify: Simplify (+ (* 10 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1545727712.919 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.919 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.919 * [misc]backup-simplify: Simplify 0 into 0 1545727712.919 * [misc]backup-simplify: Simplify 0 into 0 1545727712.919 * [misc]backup-simplify: Simplify 0 into 0 1545727712.920 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.920 * [misc]backup-simplify: Simplify 0 into 0 1545727712.920 * [misc]backup-simplify: Simplify 0 into 0 1545727712.920 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1545727712.920 * [misc]backup-simplify: Simplify (+ (* 10 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1545727712.921 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.921 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.921 * [misc]backup-simplify: Simplify 0 into 0 1545727712.921 * [misc]backup-simplify: Simplify 0 into 0 1545727712.921 * [misc]backup-simplify: Simplify (+ (* 1 (* d2 d1)) (* 10 (* 1 d1))) into (+ (* d2 d1) (* 10 d1)) 1545727712.921 * [misc]backup-simplify: Simplify (+ (* (/ 1 d1) 10) (* (/ 1 d1) (/ 1 d2))) into (+ (* 10 (/ 1 d1)) (/ 1 (* d2 d1))) 1545727712.921 * [misc]approximate: Taking taylor expansion of (+ (* 10 (/ 1 d1)) (/ 1 (* d2 d1))) in (d1 d2) around 0 1545727712.921 * [misc]taylor: Taking taylor expansion of (+ (* 10 (/ 1 d1)) (/ 1 (* d2 d1))) in d2 1545727712.921 * [misc]taylor: Taking taylor expansion of (* 10 (/ 1 d1)) in d2 1545727712.921 * [misc]taylor: Taking taylor expansion of 10 in d2 1545727712.921 * [misc]backup-simplify: Simplify 10 into 10 1545727712.921 * [misc]taylor: Taking taylor expansion of (/ 1 d1) in d2 1545727712.921 * [misc]taylor: Taking taylor expansion of d1 in d2 1545727712.921 * [misc]backup-simplify: Simplify d1 into d1 1545727712.921 * [misc]backup-simplify: Simplify (/ 1 d1) into (/ 1 d1) 1545727712.921 * [misc]taylor: Taking taylor expansion of (/ 1 (* d2 d1)) in d2 1545727712.921 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d2 1545727712.922 * [misc]taylor: Taking taylor expansion of d2 in d2 1545727712.922 * [misc]backup-simplify: Simplify 0 into 0 1545727712.922 * [misc]backup-simplify: Simplify 1 into 1 1545727712.922 * [misc]taylor: Taking taylor expansion of d1 in d2 1545727712.922 * [misc]backup-simplify: Simplify d1 into d1 1545727712.922 * [misc]backup-simplify: Simplify (* 0 d1) into 0 1545727712.922 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 d1)) into d1 1545727712.922 * [misc]backup-simplify: Simplify (/ 1 d1) into (/ 1 d1) 1545727712.922 * [misc]taylor: Taking taylor expansion of (+ (* 10 (/ 1 d1)) (/ 1 (* d2 d1))) in d1 1545727712.922 * [misc]taylor: Taking taylor expansion of (* 10 (/ 1 d1)) in d1 1545727712.922 * [misc]taylor: Taking taylor expansion of 10 in d1 1545727712.922 * [misc]backup-simplify: Simplify 10 into 10 1545727712.922 * [misc]taylor: Taking taylor expansion of (/ 1 d1) in d1 1545727712.922 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.922 * [misc]backup-simplify: Simplify 0 into 0 1545727712.922 * [misc]backup-simplify: Simplify 1 into 1 1545727712.922 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545727712.922 * [misc]taylor: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 1545727712.922 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d1 1545727712.922 * [misc]taylor: Taking taylor expansion of d2 in d1 1545727712.923 * [misc]backup-simplify: Simplify d2 into d2 1545727712.923 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.923 * [misc]backup-simplify: Simplify 0 into 0 1545727712.923 * [misc]backup-simplify: Simplify 1 into 1 1545727712.923 * [misc]backup-simplify: Simplify (* d2 0) into 0 1545727712.923 * [misc]backup-simplify: Simplify (+ (* d2 1) (* 0 0)) into d2 1545727712.923 * [misc]backup-simplify: Simplify (/ 1 d2) into (/ 1 d2) 1545727712.923 * [misc]taylor: Taking taylor expansion of (+ (* 10 (/ 1 d1)) (/ 1 (* d2 d1))) in d1 1545727712.923 * [misc]taylor: Taking taylor expansion of (* 10 (/ 1 d1)) in d1 1545727712.923 * [misc]taylor: Taking taylor expansion of 10 in d1 1545727712.923 * [misc]backup-simplify: Simplify 10 into 10 1545727712.923 * [misc]taylor: Taking taylor expansion of (/ 1 d1) in d1 1545727712.923 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.923 * [misc]backup-simplify: Simplify 0 into 0 1545727712.924 * [misc]backup-simplify: Simplify 1 into 1 1545727712.924 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545727712.924 * [misc]taylor: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 1545727712.924 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d1 1545727712.924 * [misc]taylor: Taking taylor expansion of d2 in d1 1545727712.924 * [misc]backup-simplify: Simplify d2 into d2 1545727712.924 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.924 * [misc]backup-simplify: Simplify 0 into 0 1545727712.924 * [misc]backup-simplify: Simplify 1 into 1 1545727712.924 * [misc]backup-simplify: Simplify (* d2 0) into 0 1545727712.924 * [misc]backup-simplify: Simplify (+ (* d2 1) (* 0 0)) into d2 1545727712.924 * [misc]backup-simplify: Simplify (/ 1 d2) into (/ 1 d2) 1545727712.924 * [misc]backup-simplify: Simplify (* 10 1) into 10 1545727712.925 * [misc]backup-simplify: Simplify (+ 10 (/ 1 d2)) into (+ (/ 1 d2) 10) 1545727712.925 * [misc]taylor: Taking taylor expansion of (+ (/ 1 d2) 10) in d2 1545727712.925 * [misc]taylor: Taking taylor expansion of (/ 1 d2) in d2 1545727712.925 * [misc]taylor: Taking taylor expansion of d2 in d2 1545727712.925 * [misc]backup-simplify: Simplify 0 into 0 1545727712.925 * [misc]backup-simplify: Simplify 1 into 1 1545727712.925 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545727712.925 * [misc]taylor: Taking taylor expansion of 10 in d2 1545727712.925 * [misc]backup-simplify: Simplify 10 into 10 1545727712.925 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545727712.925 * [misc]backup-simplify: Simplify 1 into 1 1545727712.925 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545727712.926 * [misc]backup-simplify: Simplify (+ (* 10 0) (* 0 1)) into 0 1545727712.926 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 1545727712.926 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 1545727712.926 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.926 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.926 * [misc]backup-simplify: Simplify 0 into 0 1545727712.927 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545727712.927 * [misc]backup-simplify: Simplify (+ 0 10) into 10 1545727712.927 * [misc]backup-simplify: Simplify 10 into 10 1545727712.927 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.927 * [misc]backup-simplify: Simplify (+ (* 10 0) (+ (* 0 0) (* 0 1))) into 0 1545727712.928 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1545727712.928 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1545727712.928 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.928 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.928 * [misc]backup-simplify: Simplify 0 into 0 1545727712.928 * [misc]backup-simplify: Simplify 0 into 0 1545727712.929 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.929 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.929 * [misc]backup-simplify: Simplify 0 into 0 1545727712.929 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.929 * [misc]backup-simplify: Simplify (+ (* 10 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545727712.930 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1545727712.930 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1545727712.930 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.930 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.930 * [misc]backup-simplify: Simplify 0 into 0 1545727712.930 * [misc]backup-simplify: Simplify 0 into 0 1545727712.930 * [misc]backup-simplify: Simplify 0 into 0 1545727712.931 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.931 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.931 * [misc]backup-simplify: Simplify 0 into 0 1545727712.932 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.932 * [misc]backup-simplify: Simplify (+ (* 10 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545727712.932 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1545727712.933 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1545727712.933 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.933 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.933 * [misc]backup-simplify: Simplify 0 into 0 1545727712.933 * [misc]backup-simplify: Simplify 0 into 0 1545727712.933 * [misc]backup-simplify: Simplify (+ (* 10 (* 1 (/ 1 (/ 1 d1)))) (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))))) into (+ (* d2 d1) (* 10 d1)) 1545727712.934 * [misc]backup-simplify: Simplify (+ (* (/ 1 (- d1)) 10) (* (/ 1 (- d1)) (/ 1 (- d2)))) into (- (/ 1 (* d2 d1)) (* 10 (/ 1 d1))) 1545727712.934 * [misc]approximate: Taking taylor expansion of (- (/ 1 (* d2 d1)) (* 10 (/ 1 d1))) in (d1 d2) around 0 1545727712.934 * [misc]taylor: Taking taylor expansion of (- (/ 1 (* d2 d1)) (* 10 (/ 1 d1))) in d2 1545727712.934 * [misc]taylor: Taking taylor expansion of (/ 1 (* d2 d1)) in d2 1545727712.934 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d2 1545727712.934 * [misc]taylor: Taking taylor expansion of d2 in d2 1545727712.934 * [misc]backup-simplify: Simplify 0 into 0 1545727712.934 * [misc]backup-simplify: Simplify 1 into 1 1545727712.934 * [misc]taylor: Taking taylor expansion of d1 in d2 1545727712.934 * [misc]backup-simplify: Simplify d1 into d1 1545727712.934 * [misc]backup-simplify: Simplify (* 0 d1) into 0 1545727712.934 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 d1)) into d1 1545727712.934 * [misc]backup-simplify: Simplify (/ 1 d1) into (/ 1 d1) 1545727712.934 * [misc]taylor: Taking taylor expansion of (* 10 (/ 1 d1)) in d2 1545727712.934 * [misc]taylor: Taking taylor expansion of 10 in d2 1545727712.934 * [misc]backup-simplify: Simplify 10 into 10 1545727712.934 * [misc]taylor: Taking taylor expansion of (/ 1 d1) in d2 1545727712.934 * [misc]taylor: Taking taylor expansion of d1 in d2 1545727712.934 * [misc]backup-simplify: Simplify d1 into d1 1545727712.935 * [misc]backup-simplify: Simplify (/ 1 d1) into (/ 1 d1) 1545727712.935 * [misc]taylor: Taking taylor expansion of (- (/ 1 (* d2 d1)) (* 10 (/ 1 d1))) in d1 1545727712.935 * [misc]taylor: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 1545727712.935 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d1 1545727712.935 * [misc]taylor: Taking taylor expansion of d2 in d1 1545727712.935 * [misc]backup-simplify: Simplify d2 into d2 1545727712.935 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.935 * [misc]backup-simplify: Simplify 0 into 0 1545727712.935 * [misc]backup-simplify: Simplify 1 into 1 1545727712.935 * [misc]backup-simplify: Simplify (* d2 0) into 0 1545727712.935 * [misc]backup-simplify: Simplify (+ (* d2 1) (* 0 0)) into d2 1545727712.935 * [misc]backup-simplify: Simplify (/ 1 d2) into (/ 1 d2) 1545727712.935 * [misc]taylor: Taking taylor expansion of (* 10 (/ 1 d1)) in d1 1545727712.935 * [misc]taylor: Taking taylor expansion of 10 in d1 1545727712.935 * [misc]backup-simplify: Simplify 10 into 10 1545727712.935 * [misc]taylor: Taking taylor expansion of (/ 1 d1) in d1 1545727712.935 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.935 * [misc]backup-simplify: Simplify 0 into 0 1545727712.935 * [misc]backup-simplify: Simplify 1 into 1 1545727712.936 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545727712.936 * [misc]taylor: Taking taylor expansion of (- (/ 1 (* d2 d1)) (* 10 (/ 1 d1))) in d1 1545727712.936 * [misc]taylor: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 1545727712.936 * [misc]taylor: Taking taylor expansion of (* d2 d1) in d1 1545727712.936 * [misc]taylor: Taking taylor expansion of d2 in d1 1545727712.936 * [misc]backup-simplify: Simplify d2 into d2 1545727712.936 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.936 * [misc]backup-simplify: Simplify 0 into 0 1545727712.936 * [misc]backup-simplify: Simplify 1 into 1 1545727712.936 * [misc]backup-simplify: Simplify (* d2 0) into 0 1545727712.936 * [misc]backup-simplify: Simplify (+ (* d2 1) (* 0 0)) into d2 1545727712.936 * [misc]backup-simplify: Simplify (/ 1 d2) into (/ 1 d2) 1545727712.936 * [misc]taylor: Taking taylor expansion of (* 10 (/ 1 d1)) in d1 1545727712.936 * [misc]taylor: Taking taylor expansion of 10 in d1 1545727712.936 * [misc]backup-simplify: Simplify 10 into 10 1545727712.936 * [misc]taylor: Taking taylor expansion of (/ 1 d1) in d1 1545727712.936 * [misc]taylor: Taking taylor expansion of d1 in d1 1545727712.936 * [misc]backup-simplify: Simplify 0 into 0 1545727712.936 * [misc]backup-simplify: Simplify 1 into 1 1545727712.937 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545727712.937 * [misc]backup-simplify: Simplify (* 10 1) into 10 1545727712.937 * [misc]backup-simplify: Simplify (- 10) into -10 1545727712.937 * [misc]backup-simplify: Simplify (+ (/ 1 d2) -10) into (- (/ 1 d2) 10) 1545727712.937 * [misc]taylor: Taking taylor expansion of (- (/ 1 d2) 10) in d2 1545727712.937 * [misc]taylor: Taking taylor expansion of (/ 1 d2) in d2 1545727712.937 * [misc]taylor: Taking taylor expansion of d2 in d2 1545727712.937 * [misc]backup-simplify: Simplify 0 into 0 1545727712.937 * [misc]backup-simplify: Simplify 1 into 1 1545727712.937 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545727712.937 * [misc]taylor: Taking taylor expansion of 10 in d2 1545727712.937 * [misc]backup-simplify: Simplify 10 into 10 1545727712.938 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545727712.938 * [misc]backup-simplify: Simplify 1 into 1 1545727712.938 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 1545727712.938 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 1545727712.938 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545727712.939 * [misc]backup-simplify: Simplify (+ (* 10 0) (* 0 1)) into 0 1545727712.939 * [misc]backup-simplify: Simplify (- 0) into 0 1545727712.939 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.939 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.939 * [misc]backup-simplify: Simplify 0 into 0 1545727712.939 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545727712.939 * [misc]backup-simplify: Simplify (- 10) into -10 1545727712.940 * [misc]backup-simplify: Simplify (+ 0 -10) into -10 1545727712.940 * [misc]backup-simplify: Simplify -10 into -10 1545727712.940 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1545727712.940 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1545727712.940 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.941 * [misc]backup-simplify: Simplify (+ (* 10 0) (+ (* 0 0) (* 0 1))) into 0 1545727712.941 * [misc]backup-simplify: Simplify (- 0) into 0 1545727712.941 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.941 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.941 * [misc]backup-simplify: Simplify 0 into 0 1545727712.941 * [misc]backup-simplify: Simplify 0 into 0 1545727712.942 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.942 * [misc]backup-simplify: Simplify (- 0) into 0 1545727712.942 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.942 * [misc]backup-simplify: Simplify 0 into 0 1545727712.942 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1545727712.943 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1545727712.943 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.943 * [misc]backup-simplify: Simplify (+ (* 10 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545727712.943 * [misc]backup-simplify: Simplify (- 0) into 0 1545727712.944 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.944 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.944 * [misc]backup-simplify: Simplify 0 into 0 1545727712.944 * [misc]backup-simplify: Simplify 0 into 0 1545727712.944 * [misc]backup-simplify: Simplify 0 into 0 1545727712.944 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.944 * [misc]backup-simplify: Simplify (- 0) into 0 1545727712.944 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.945 * [misc]backup-simplify: Simplify 0 into 0 1545727712.945 * [misc]backup-simplify: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1545727712.945 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1545727712.946 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545727712.946 * [misc]backup-simplify: Simplify (+ (* 10 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545727712.946 * [misc]backup-simplify: Simplify (- 0) into 0 1545727712.946 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545727712.946 * [misc]taylor: Taking taylor expansion of 0 in d2 1545727712.947 * [misc]backup-simplify: Simplify 0 into 0 1545727712.947 * [misc]backup-simplify: Simplify 0 into 0 1545727712.947 * [misc]backup-simplify: Simplify (+ (* -10 (* 1 (/ 1 (/ 1 (- d1))))) (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) into (+ (* d2 d1) (* 10 d1)) 1545727712.947 * * * [misc]progress: simplifying candidates 1545727712.947 * * * * [misc]progress: [ 1 / 32 ] simplifiying candidate # 1545727712.947 * [enter]simplify: Simplifying (* (* (exp (* d1 10)) (exp (* d1 d2))) (exp (* d1 20))) 1545727712.947 * * [misc]simplify: iters left: 6 (12 enodes) 1545727712.952 * * [misc]simplify: iters left: 5 (25 enodes) 1545727712.962 * * [misc]simplify: iters left: 4 (41 enodes) 1545727712.976 * * [misc]simplify: iters left: 3 (66 enodes) 1545727712.995 * * [misc]simplify: iters left: 2 (89 enodes) 1545727713.013 * * [misc]simplify: iters left: 1 (103 enodes) 1545727713.033 * [exit]simplify: Simplified to (pow (exp d1) (+ d2 30)) 1545727713.033 * [misc]simplify: Simplified (2 1) to (λ (d1 d2) (log (pow (exp d1) (+ d2 30)))) 1545727713.033 * * * * [misc]progress: [ 2 / 32 ] simplifiying candidate # 1545727713.033 * [enter]simplify: Simplifying (* (exp (+ (* d1 10) (* d1 d2))) (exp (* d1 20))) 1545727713.033 * * [misc]simplify: iters left: 6 (11 enodes) 1545727713.037 * * [misc]simplify: iters left: 5 (25 enodes) 1545727713.046 * * [misc]simplify: iters left: 4 (48 enodes) 1545727713.062 * * [misc]simplify: iters left: 3 (73 enodes) 1545727713.084 * * [misc]simplify: iters left: 2 (104 enodes) 1545727713.100 * * [misc]simplify: iters left: 1 (133 enodes) 1545727713.118 * [exit]simplify: Simplified to (pow (exp d1) (+ 30 d2)) 1545727713.118 * [misc]simplify: Simplified (2 1) to (λ (d1 d2) (log (pow (exp d1) (+ 30 d2)))) 1545727713.118 * * * * [misc]progress: [ 3 / 32 ] simplifiying candidate # 1545727713.118 * * * * [misc]progress: [ 4 / 32 ] simplifiying candidate # 1545727713.118 * * * * [misc]progress: [ 5 / 32 ] simplifiying candidate # 1545727713.118 * * * * [misc]progress: [ 6 / 32 ] simplifiying candidate # 1545727713.118 * * * * [misc]progress: [ 7 / 32 ] simplifiying candidate # 1545727713.118 * * * * [misc]progress: [ 8 / 32 ] simplifiying candidate # 1545727713.118 * * * * [misc]progress: [ 9 / 32 ] simplifiying candidate # 1545727713.118 * * * * [misc]progress: [ 10 / 32 ] simplifiying candidate # 1545727713.118 * * * * [misc]progress: [ 11 / 32 ] simplifiying candidate # 1545727713.118 * * * * [misc]progress: [ 12 / 32 ] simplifiying candidate # 1545727713.118 * [enter]simplify: Simplifying (+ (+ 10 d2) 20) 1545727713.118 * * [misc]simplify: iters left: 4 (5 enodes) 1545727713.119 * * [misc]simplify: iters left: 3 (9 enodes) 1545727713.123 * * [misc]simplify: iters left: 2 (16 enodes) 1545727713.127 * [exit]simplify: Simplified to (+ 30 d2) 1545727713.127 * [misc]simplify: Simplified (2 2) to (λ (d1 d2) (* d1 (+ 30 d2))) 1545727713.127 * * * * [misc]progress: [ 13 / 32 ] simplifiying candidate # 1545727713.127 * [enter]simplify: Simplifying (* d1 10) 1545727713.127 * * [misc]simplify: iters left: 2 (3 enodes) 1545727713.128 * * [misc]simplify: iters left: 1 (4 enodes) 1545727713.128 * [exit]simplify: Simplified to (* d1 10) 1545727713.128 * [misc]simplify: Simplified (2 1) to (λ (d1 d2) (+ (* d1 10) (+ (* d1 d2) (* d1 20)))) 1545727713.128 * * * * [misc]progress: [ 14 / 32 ] simplifiying candidate # 1545727713.129 * * * * [misc]progress: [ 15 / 32 ] simplifiying candidate # 1545727713.129 * [enter]simplify: Simplifying (* (exp (* d1 10)) (exp (* d1 d2))) 1545727713.129 * * [misc]simplify: iters left: 5 (8 enodes) 1545727713.130 * * [misc]simplify: iters left: 4 (16 enodes) 1545727713.132 * * [misc]simplify: iters left: 3 (20 enodes) 1545727713.135 * * [misc]simplify: iters left: 2 (24 enodes) 1545727713.138 * [exit]simplify: Simplified to (pow (exp d1) (+ 10 d2)) 1545727713.138 * [misc]simplify: Simplified (2 1 1) to (λ (d1 d2) (+ (log (pow (exp d1) (+ 10 d2))) (* d1 20))) 1545727713.138 * * * * [misc]progress: [ 16 / 32 ] simplifiying candidate # 1545727713.138 * * * * [misc]progress: [ 17 / 32 ] simplifiying candidate # 1545727713.138 * * * * [misc]progress: [ 18 / 32 ] simplifiying candidate # 1545727713.138 * * * * [misc]progress: [ 19 / 32 ] simplifiying candidate # 1545727713.138 * * * * [misc]progress: [ 20 / 32 ] simplifiying candidate # 1545727713.138 * * * * [misc]progress: [ 21 / 32 ] simplifiying candidate # 1545727713.138 * * * * [misc]progress: [ 22 / 32 ] simplifiying candidate # 1545727713.138 * * * * [misc]progress: [ 23 / 32 ] simplifiying candidate # 1545727713.138 * * * * [misc]progress: [ 24 / 32 ] simplifiying candidate # 1545727713.138 * * * * [misc]progress: [ 25 / 32 ] simplifiying candidate # 1545727713.138 * [enter]simplify: Simplifying (+ 10 d2) 1545727713.138 * * [misc]simplify: iters left: 2 (3 enodes) 1545727713.139 * * [misc]simplify: iters left: 1 (4 enodes) 1545727713.139 * [exit]simplify: Simplified to (+ d2 10) 1545727713.139 * [misc]simplify: Simplified (2 1 2) to (λ (d1 d2) (+ (* d1 (+ d2 10)) (* d1 20))) 1545727713.139 * * * * [misc]progress: [ 26 / 32 ] simplifiying candidate # 1545727713.139 * * * * [misc]progress: [ 27 / 32 ] simplifiying candidate # 1545727713.140 * [enter]simplify: Simplifying (+ (* d2 d1) (* 30 d1)) 1545727713.140 * * [misc]simplify: iters left: 4 (6 enodes) 1545727713.141 * * [misc]simplify: iters left: 3 (11 enodes) 1545727713.142 * * [misc]simplify: iters left: 2 (14 enodes) 1545727713.144 * [exit]simplify: Simplified to (* (+ 30 d2) d1) 1545727713.144 * [misc]simplify: Simplified (2) to (λ (d1 d2) (* (+ 30 d2) d1)) 1545727713.144 * * * * [misc]progress: [ 28 / 32 ] simplifiying candidate # 1545727713.144 * [enter]simplify: Simplifying (+ (* d2 d1) (* 30 d1)) 1545727713.144 * * [misc]simplify: iters left: 4 (6 enodes) 1545727713.145 * * [misc]simplify: iters left: 3 (11 enodes) 1545727713.147 * * [misc]simplify: iters left: 2 (14 enodes) 1545727713.151 * [exit]simplify: Simplified to (* (+ 30 d2) d1) 1545727713.151 * [misc]simplify: Simplified (2) to (λ (d1 d2) (* (+ 30 d2) d1)) 1545727713.151 * * * * [misc]progress: [ 29 / 32 ] simplifiying candidate # 1545727713.151 * [enter]simplify: Simplifying (+ (* d2 d1) (* 30 d1)) 1545727713.151 * * [misc]simplify: iters left: 4 (6 enodes) 1545727713.153 * * [misc]simplify: iters left: 3 (11 enodes) 1545727713.157 * * [misc]simplify: iters left: 2 (14 enodes) 1545727713.161 * [exit]simplify: Simplified to (* (+ 30 d2) d1) 1545727713.161 * [misc]simplify: Simplified (2) to (λ (d1 d2) (* (+ 30 d2) d1)) 1545727713.161 * * * * [misc]progress: [ 30 / 32 ] simplifiying candidate # 1545727713.161 * [enter]simplify: Simplifying (+ (* d2 d1) (* 10 d1)) 1545727713.161 * * [misc]simplify: iters left: 4 (6 enodes) 1545727713.163 * * [misc]simplify: iters left: 3 (11 enodes) 1545727713.166 * * [misc]simplify: iters left: 2 (14 enodes) 1545727713.170 * [exit]simplify: Simplified to (* (+ 10 d2) d1) 1545727713.170 * [misc]simplify: Simplified (2 1) to (λ (d1 d2) (+ (* (+ 10 d2) d1) (* d1 20))) 1545727713.170 * * * * [misc]progress: [ 31 / 32 ] simplifiying candidate # 1545727713.170 * [enter]simplify: Simplifying (+ (* d2 d1) (* 10 d1)) 1545727713.170 * * [misc]simplify: iters left: 4 (6 enodes) 1545727713.172 * * [misc]simplify: iters left: 3 (11 enodes) 1545727713.176 * * [misc]simplify: iters left: 2 (14 enodes) 1545727713.179 * [exit]simplify: Simplified to (* (+ 10 d2) d1) 1545727713.180 * [misc]simplify: Simplified (2 1) to (λ (d1 d2) (+ (* (+ 10 d2) d1) (* d1 20))) 1545727713.180 * * * * [misc]progress: [ 32 / 32 ] simplifiying candidate # 1545727713.180 * [enter]simplify: Simplifying (+ (* d2 d1) (* 10 d1)) 1545727713.180 * * [misc]simplify: iters left: 4 (6 enodes) 1545727713.182 * * [misc]simplify: iters left: 3 (11 enodes) 1545727713.185 * * [misc]simplify: iters left: 2 (14 enodes) 1545727713.189 * [exit]simplify: Simplified to (* (+ 10 d2) d1) 1545727713.189 * [misc]simplify: Simplified (2 1) to (λ (d1 d2) (+ (* (+ 10 d2) d1) (* d1 20))) 1545727713.189 * * * [misc]progress: adding candidates to table 1545727713.495 * [misc]progress: [Phase 3 of 3] Extracting. 1545727713.495 * * [misc]regime: Finding splitpoints for: (# #) 1545727713.495 * * * [misc]regime-changes: Trying 3 branch expressions: (d2 d1 (+ (+ (* d1 10) (* d1 d2)) (* d1 20))) 1545727713.496 * * * * [misc]regimes: Trying to branch on d2 from (# #) 1545727713.519 * * * * [misc]regimes: Trying to branch on d1 from (# #) 1545727713.566 * * * * [misc]regimes: Trying to branch on (+ (+ (* d1 10) (* d1 d2)) (* d1 20)) from (# #) 1545727713.612 * * * [misc]regime: Found split indices: #