1545990965.328 * [misc]progress: [Phase 1 of 3] Setting up. 1545990965.328 * * * [misc]progress: [1/2] Preparing points 1545990965.328 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545990965.382 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990965.382 * * * * [misc]points: Sampling 95 additional inputs, on iter 1 have 161 / 256 1545990965.415 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990965.416 * * * * [misc]points: Sampling 41 additional inputs, on iter 2 have 215 / 256 1545990965.428 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990965.428 * * * * [misc]points: Sampling 19 additional inputs, on iter 3 have 237 / 256 1545990965.434 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990965.434 * * * * [misc]points: Sampling 9 additional inputs, on iter 4 have 247 / 256 1545990965.438 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990965.438 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 252 / 256 1545990965.440 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990965.440 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 253 / 256 1545990965.443 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990965.443 * * * * [exit]points: Sampled 256 points with exact outputs 1545990965.443 * * * [misc]progress: [2/2] Setting up program. 1545990965.447 * [misc]progress: [Phase 2 of 3] Improving. 1545990965.447 * [enter]simplify: Simplifying (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) 1545990965.447 * * [misc]simplify: iters left: 6 (9 enodes) 1545990965.451 * * [misc]simplify: iters left: 5 (24 enodes) 1545990965.461 * * [misc]simplify: iters left: 4 (49 enodes) 1545990965.476 * * [misc]simplify: iters left: 3 (64 enodes) 1545990965.493 * * [misc]simplify: iters left: 2 (68 enodes) 1545990965.509 * * [misc]simplify: iters left: 1 (71 enodes) 1545990965.520 * [exit]simplify: Simplified to (pow (* d1 d1) 5) 1545990965.528 * * [misc]progress: iteration 1 / 4 1545990965.528 * * * [misc]progress: picking best candidate 1545990965.535 * * * * [misc]pick: Picked # 1545990965.535 * * * [misc]progress: localizing error 1545990965.587 * * * [misc]progress: generating rewritten candidates 1545990965.587 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 2 1 1 1 1) 1545990965.589 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2 1 1 1) 1545990965.596 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 2) 1545990965.675 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2 1) 1545990965.715 * * * [misc]progress: generating series expansions 1545990965.715 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 2 1 1 1 1) 1545990965.716 * [misc]backup-simplify: Simplify (* d1 (* d1 d1)) into (pow d1 3) 1545990965.716 * [misc]approximate: Taking taylor expansion of (pow d1 3) in (d1) around 0 1545990965.716 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1545990965.716 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990965.716 * [misc]backup-simplify: Simplify 0 into 0 1545990965.716 * [misc]backup-simplify: Simplify 1 into 1 1545990965.716 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1545990965.716 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990965.716 * [misc]backup-simplify: Simplify 0 into 0 1545990965.716 * [misc]backup-simplify: Simplify 1 into 1 1545990965.716 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.717 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.717 * [misc]backup-simplify: Simplify 1 into 1 1545990965.717 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.717 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.717 * [misc]backup-simplify: Simplify 0 into 0 1545990965.717 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.718 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.718 * [misc]backup-simplify: Simplify 0 into 0 1545990965.718 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.718 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.719 * [misc]backup-simplify: Simplify 0 into 0 1545990965.719 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.719 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.719 * [misc]backup-simplify: Simplify 0 into 0 1545990965.720 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.720 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.720 * [misc]backup-simplify: Simplify 0 into 0 1545990965.721 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.721 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.722 * [misc]backup-simplify: Simplify 0 into 0 1545990965.722 * [misc]backup-simplify: Simplify (* 1 (pow d1 3)) into (pow d1 3) 1545990965.722 * [misc]backup-simplify: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3)) 1545990965.722 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0 1545990965.722 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 1545990965.722 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1545990965.722 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990965.722 * [misc]backup-simplify: Simplify 0 into 0 1545990965.722 * [misc]backup-simplify: Simplify 1 into 1 1545990965.722 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.722 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.723 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990965.723 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 1545990965.723 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1545990965.723 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990965.723 * [misc]backup-simplify: Simplify 0 into 0 1545990965.723 * [misc]backup-simplify: Simplify 1 into 1 1545990965.723 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.723 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.723 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990965.723 * [misc]backup-simplify: Simplify 1 into 1 1545990965.724 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.724 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.724 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545990965.724 * [misc]backup-simplify: Simplify 0 into 0 1545990965.725 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.725 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.725 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.725 * [misc]backup-simplify: Simplify 0 into 0 1545990965.726 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.726 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.726 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.726 * [misc]backup-simplify: Simplify 0 into 0 1545990965.727 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.727 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.728 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.728 * [misc]backup-simplify: Simplify 0 into 0 1545990965.728 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.729 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.729 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.729 * [misc]backup-simplify: Simplify 0 into 0 1545990965.730 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.730 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.731 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.731 * [misc]backup-simplify: Simplify 0 into 0 1545990965.731 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3) 1545990965.731 * [misc]backup-simplify: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3)) 1545990965.731 * [misc]approximate: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0 1545990965.731 * [misc]taylor: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 1545990965.731 * [misc]taylor: Taking taylor expansion of -1 in d1 1545990965.731 * [misc]backup-simplify: Simplify -1 into -1 1545990965.731 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1545990965.731 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990965.731 * [misc]backup-simplify: Simplify 0 into 0 1545990965.731 * [misc]backup-simplify: Simplify 1 into 1 1545990965.732 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.732 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.732 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545990965.732 * [misc]taylor: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 1545990965.732 * [misc]taylor: Taking taylor expansion of -1 in d1 1545990965.732 * [misc]backup-simplify: Simplify -1 into -1 1545990965.732 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1545990965.732 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990965.732 * [misc]backup-simplify: Simplify 0 into 0 1545990965.732 * [misc]backup-simplify: Simplify 1 into 1 1545990965.732 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.732 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.733 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545990965.733 * [misc]backup-simplify: Simplify -1 into -1 1545990965.733 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.733 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.733 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1545990965.733 * [misc]backup-simplify: Simplify 0 into 0 1545990965.734 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.734 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.735 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.735 * [misc]backup-simplify: Simplify 0 into 0 1545990965.735 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.735 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.736 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.736 * [misc]backup-simplify: Simplify 0 into 0 1545990965.736 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.737 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.737 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.737 * [misc]backup-simplify: Simplify 0 into 0 1545990965.738 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.738 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.739 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.739 * [misc]backup-simplify: Simplify 0 into 0 1545990965.739 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.740 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.740 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.740 * [misc]backup-simplify: Simplify 0 into 0 1545990965.740 * [misc]backup-simplify: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3) 1545990965.740 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2 1 1 1) 1545990965.741 * [misc]backup-simplify: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4) 1545990965.741 * [misc]approximate: Taking taylor expansion of (pow d1 4) in (d1) around 0 1545990965.741 * [misc]taylor: Taking taylor expansion of (pow d1 4) in d1 1545990965.741 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990965.741 * [misc]backup-simplify: Simplify 0 into 0 1545990965.741 * [misc]backup-simplify: Simplify 1 into 1 1545990965.741 * [misc]taylor: Taking taylor expansion of (pow d1 4) in d1 1545990965.741 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990965.741 * [misc]backup-simplify: Simplify 0 into 0 1545990965.741 * [misc]backup-simplify: Simplify 1 into 1 1545990965.741 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.741 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.741 * [misc]backup-simplify: Simplify 1 into 1 1545990965.742 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.742 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.742 * [misc]backup-simplify: Simplify 0 into 0 1545990965.742 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.742 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.742 * [misc]backup-simplify: Simplify 0 into 0 1545990965.743 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.743 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.743 * [misc]backup-simplify: Simplify 0 into 0 1545990965.744 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.744 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.744 * [misc]backup-simplify: Simplify 0 into 0 1545990965.744 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.745 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.745 * [misc]backup-simplify: Simplify 0 into 0 1545990965.745 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.746 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.746 * [misc]backup-simplify: Simplify 0 into 0 1545990965.746 * [misc]backup-simplify: Simplify (* 1 (pow d1 4)) into (pow d1 4) 1545990965.746 * [misc]backup-simplify: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4)) 1545990965.746 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 1545990965.746 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 1545990965.746 * [misc]taylor: Taking taylor expansion of (pow d1 4) in d1 1545990965.746 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990965.746 * [misc]backup-simplify: Simplify 0 into 0 1545990965.747 * [misc]backup-simplify: Simplify 1 into 1 1545990965.747 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.747 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.747 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990965.747 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 1545990965.747 * [misc]taylor: Taking taylor expansion of (pow d1 4) in d1 1545990965.747 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990965.747 * [misc]backup-simplify: Simplify 0 into 0 1545990965.747 * [misc]backup-simplify: Simplify 1 into 1 1545990965.747 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.748 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.748 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990965.748 * [misc]backup-simplify: Simplify 1 into 1 1545990965.748 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.748 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.749 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545990965.749 * [misc]backup-simplify: Simplify 0 into 0 1545990965.749 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.749 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.749 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.749 * [misc]backup-simplify: Simplify 0 into 0 1545990965.750 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.750 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.751 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.751 * [misc]backup-simplify: Simplify 0 into 0 1545990965.751 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.751 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.752 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.752 * [misc]backup-simplify: Simplify 0 into 0 1545990965.752 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.753 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.753 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.753 * [misc]backup-simplify: Simplify 0 into 0 1545990965.754 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.754 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.755 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.755 * [misc]backup-simplify: Simplify 0 into 0 1545990965.755 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4) 1545990965.755 * [misc]backup-simplify: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4)) 1545990965.755 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 1545990965.755 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 1545990965.755 * [misc]taylor: Taking taylor expansion of (pow d1 4) in d1 1545990965.755 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990965.755 * [misc]backup-simplify: Simplify 0 into 0 1545990965.755 * [misc]backup-simplify: Simplify 1 into 1 1545990965.755 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.756 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.756 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990965.756 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 1545990965.756 * [misc]taylor: Taking taylor expansion of (pow d1 4) in d1 1545990965.756 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990965.756 * [misc]backup-simplify: Simplify 0 into 0 1545990965.756 * [misc]backup-simplify: Simplify 1 into 1 1545990965.756 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.756 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.756 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990965.756 * [misc]backup-simplify: Simplify 1 into 1 1545990965.757 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.757 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.757 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545990965.757 * [misc]backup-simplify: Simplify 0 into 0 1545990965.757 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.758 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.758 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.758 * [misc]backup-simplify: Simplify 0 into 0 1545990965.758 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.759 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.759 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.759 * [misc]backup-simplify: Simplify 0 into 0 1545990965.759 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.760 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.760 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.760 * [misc]backup-simplify: Simplify 0 into 0 1545990965.761 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.761 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.762 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.762 * [misc]backup-simplify: Simplify 0 into 0 1545990965.762 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.762 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.763 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.763 * [misc]backup-simplify: Simplify 0 into 0 1545990965.763 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4) 1545990965.763 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 2) 1545990965.764 * [misc]backup-simplify: Simplify (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) into (pow d1 8) 1545990965.764 * [misc]approximate: Taking taylor expansion of (pow d1 8) in (d1) around 0 1545990965.764 * [misc]taylor: Taking taylor expansion of (pow d1 8) in d1 1545990965.764 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990965.764 * [misc]backup-simplify: Simplify 0 into 0 1545990965.764 * [misc]backup-simplify: Simplify 1 into 1 1545990965.764 * [misc]taylor: Taking taylor expansion of (pow d1 8) in d1 1545990965.764 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990965.764 * [misc]backup-simplify: Simplify 0 into 0 1545990965.764 * [misc]backup-simplify: Simplify 1 into 1 1545990965.764 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.764 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.764 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.764 * [misc]backup-simplify: Simplify 1 into 1 1545990965.765 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.765 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.765 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.765 * [misc]backup-simplify: Simplify 0 into 0 1545990965.765 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.766 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.766 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.766 * [misc]backup-simplify: Simplify 0 into 0 1545990965.766 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.767 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.767 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.767 * [misc]backup-simplify: Simplify 0 into 0 1545990965.767 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.768 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.768 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.768 * [misc]backup-simplify: Simplify 0 into 0 1545990965.768 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.769 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.769 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.769 * [misc]backup-simplify: Simplify 0 into 0 1545990965.770 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.770 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.771 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.771 * [misc]backup-simplify: Simplify 0 into 0 1545990965.771 * [misc]backup-simplify: Simplify (* 1 (pow d1 8)) into (pow d1 8) 1545990965.771 * [misc]backup-simplify: Simplify (* (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 8)) 1545990965.771 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0 1545990965.771 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 1545990965.771 * [misc]taylor: Taking taylor expansion of (pow d1 8) in d1 1545990965.772 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990965.772 * [misc]backup-simplify: Simplify 0 into 0 1545990965.772 * [misc]backup-simplify: Simplify 1 into 1 1545990965.772 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.772 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.772 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.772 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990965.772 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 1545990965.772 * [misc]taylor: Taking taylor expansion of (pow d1 8) in d1 1545990965.772 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990965.772 * [misc]backup-simplify: Simplify 0 into 0 1545990965.772 * [misc]backup-simplify: Simplify 1 into 1 1545990965.773 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.773 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.773 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.773 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990965.773 * [misc]backup-simplify: Simplify 1 into 1 1545990965.773 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.774 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.774 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.774 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545990965.774 * [misc]backup-simplify: Simplify 0 into 0 1545990965.774 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.775 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.775 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.775 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.775 * [misc]backup-simplify: Simplify 0 into 0 1545990965.776 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.776 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.776 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.777 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.777 * [misc]backup-simplify: Simplify 0 into 0 1545990965.777 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.778 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.778 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.778 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.779 * [misc]backup-simplify: Simplify 0 into 0 1545990965.779 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.779 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.780 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.780 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.780 * [misc]backup-simplify: Simplify 0 into 0 1545990965.781 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.781 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.782 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.782 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.782 * [misc]backup-simplify: Simplify 0 into 0 1545990965.783 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 8)) into (pow d1 8) 1545990965.783 * [misc]backup-simplify: Simplify (* (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 8)) 1545990965.783 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0 1545990965.783 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 1545990965.783 * [misc]taylor: Taking taylor expansion of (pow d1 8) in d1 1545990965.783 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990965.783 * [misc]backup-simplify: Simplify 0 into 0 1545990965.783 * [misc]backup-simplify: Simplify 1 into 1 1545990965.784 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.784 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.784 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.784 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990965.785 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 1545990965.785 * [misc]taylor: Taking taylor expansion of (pow d1 8) in d1 1545990965.785 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990965.785 * [misc]backup-simplify: Simplify 0 into 0 1545990965.785 * [misc]backup-simplify: Simplify 1 into 1 1545990965.785 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.785 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.785 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.786 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990965.786 * [misc]backup-simplify: Simplify 1 into 1 1545990965.786 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.786 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.786 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.787 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545990965.787 * [misc]backup-simplify: Simplify 0 into 0 1545990965.787 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.787 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.788 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.788 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.788 * [misc]backup-simplify: Simplify 0 into 0 1545990965.788 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.789 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.789 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.789 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.789 * [misc]backup-simplify: Simplify 0 into 0 1545990965.790 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.790 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.790 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.791 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.791 * [misc]backup-simplify: Simplify 0 into 0 1545990965.791 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.792 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.792 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.793 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.793 * [misc]backup-simplify: Simplify 0 into 0 1545990965.793 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.794 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.794 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.795 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.795 * [misc]backup-simplify: Simplify 0 into 0 1545990965.795 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 8)) into (pow d1 8) 1545990965.795 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2 1) 1545990965.795 * [misc]backup-simplify: Simplify (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) into (pow d1 7) 1545990965.795 * [misc]approximate: Taking taylor expansion of (pow d1 7) in (d1) around 0 1545990965.795 * [misc]taylor: Taking taylor expansion of (pow d1 7) in d1 1545990965.795 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990965.795 * [misc]backup-simplify: Simplify 0 into 0 1545990965.795 * [misc]backup-simplify: Simplify 1 into 1 1545990965.796 * [misc]taylor: Taking taylor expansion of (pow d1 7) in d1 1545990965.796 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990965.796 * [misc]backup-simplify: Simplify 0 into 0 1545990965.796 * [misc]backup-simplify: Simplify 1 into 1 1545990965.796 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.796 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.796 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.796 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.796 * [misc]backup-simplify: Simplify 1 into 1 1545990965.797 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.797 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.797 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.797 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.797 * [misc]backup-simplify: Simplify 0 into 0 1545990965.798 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.798 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.798 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.798 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.798 * [misc]backup-simplify: Simplify 0 into 0 1545990965.799 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.799 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.799 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.800 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.800 * [misc]backup-simplify: Simplify 0 into 0 1545990965.800 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.801 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.801 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.801 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.801 * [misc]backup-simplify: Simplify 0 into 0 1545990965.802 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.802 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.803 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.803 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.803 * [misc]backup-simplify: Simplify 0 into 0 1545990965.804 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.804 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.805 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.805 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.805 * [misc]backup-simplify: Simplify 0 into 0 1545990965.805 * [misc]backup-simplify: Simplify (* 1 (pow d1 7)) into (pow d1 7) 1545990965.806 * [misc]backup-simplify: Simplify (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 7)) 1545990965.806 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 7)) in (d1) around 0 1545990965.806 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 1545990965.806 * [misc]taylor: Taking taylor expansion of (pow d1 7) in d1 1545990965.806 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990965.806 * [misc]backup-simplify: Simplify 0 into 0 1545990965.806 * [misc]backup-simplify: Simplify 1 into 1 1545990965.806 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.806 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.806 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.807 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.807 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990965.807 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 1545990965.807 * [misc]taylor: Taking taylor expansion of (pow d1 7) in d1 1545990965.807 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990965.807 * [misc]backup-simplify: Simplify 0 into 0 1545990965.807 * [misc]backup-simplify: Simplify 1 into 1 1545990965.807 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.807 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.807 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.807 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.808 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990965.808 * [misc]backup-simplify: Simplify 1 into 1 1545990965.808 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.808 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.808 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.809 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.809 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545990965.809 * [misc]backup-simplify: Simplify 0 into 0 1545990965.809 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.809 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.810 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.810 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.810 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.810 * [misc]backup-simplify: Simplify 0 into 0 1545990965.811 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.811 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.811 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.812 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.812 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.812 * [misc]backup-simplify: Simplify 0 into 0 1545990965.812 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.813 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.813 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.814 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.814 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.814 * [misc]backup-simplify: Simplify 0 into 0 1545990965.814 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.815 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.815 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.816 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.816 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.816 * [misc]backup-simplify: Simplify 0 into 0 1545990965.817 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.817 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.818 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.818 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.819 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.819 * [misc]backup-simplify: Simplify 0 into 0 1545990965.819 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 7)) into (pow d1 7) 1545990965.820 * [misc]backup-simplify: Simplify (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 7)) 1545990965.820 * [misc]approximate: Taking taylor expansion of (/ -1 (pow d1 7)) in (d1) around 0 1545990965.820 * [misc]taylor: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 1545990965.820 * [misc]taylor: Taking taylor expansion of -1 in d1 1545990965.820 * [misc]backup-simplify: Simplify -1 into -1 1545990965.820 * [misc]taylor: Taking taylor expansion of (pow d1 7) in d1 1545990965.820 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990965.820 * [misc]backup-simplify: Simplify 0 into 0 1545990965.820 * [misc]backup-simplify: Simplify 1 into 1 1545990965.820 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.820 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.820 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.820 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.821 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545990965.821 * [misc]taylor: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 1545990965.821 * [misc]taylor: Taking taylor expansion of -1 in d1 1545990965.821 * [misc]backup-simplify: Simplify -1 into -1 1545990965.821 * [misc]taylor: Taking taylor expansion of (pow d1 7) in d1 1545990965.821 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990965.821 * [misc]backup-simplify: Simplify 0 into 0 1545990965.821 * [misc]backup-simplify: Simplify 1 into 1 1545990965.821 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.821 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.821 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.821 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990965.822 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545990965.822 * [misc]backup-simplify: Simplify -1 into -1 1545990965.822 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.822 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.822 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.823 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990965.823 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1545990965.823 * [misc]backup-simplify: Simplify 0 into 0 1545990965.823 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.823 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.824 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.824 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990965.824 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.824 * [misc]backup-simplify: Simplify 0 into 0 1545990965.825 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.825 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.825 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.826 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990965.826 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.826 * [misc]backup-simplify: Simplify 0 into 0 1545990965.827 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.827 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.827 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.828 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990965.828 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.828 * [misc]backup-simplify: Simplify 0 into 0 1545990965.829 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.829 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.830 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.830 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990965.830 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.831 * [misc]backup-simplify: Simplify 0 into 0 1545990965.831 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.832 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.832 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.833 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990965.833 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990965.833 * [misc]backup-simplify: Simplify 0 into 0 1545990965.833 * [misc]backup-simplify: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 7)) into (pow d1 7) 1545990965.833 * * * [misc]progress: simplifying candidates 1545990965.833 * * * * [misc]progress: [ 1 / 64 ] simplifiying candidate # 1545990965.834 * * * * [misc]progress: [ 2 / 64 ] simplifiying candidate # 1545990965.834 * * * * [misc]progress: [ 3 / 64 ] simplifiying candidate # 1545990965.834 * * * * [misc]progress: [ 4 / 64 ] simplifiying candidate # 1545990965.834 * * * * [misc]progress: [ 5 / 64 ] simplifiying candidate # 1545990965.834 * * * * [misc]progress: [ 6 / 64 ] simplifiying candidate # 1545990965.834 * * * * [misc]progress: [ 7 / 64 ] simplifiying candidate # 1545990965.834 * * * * [misc]progress: [ 8 / 64 ] simplifiying candidate # 1545990965.834 * * * * [misc]progress: [ 9 / 64 ] simplifiying candidate # 1545990965.834 * * * * [misc]progress: [ 10 / 64 ] simplifiying candidate # 1545990965.834 * * * * [misc]progress: [ 11 / 64 ] simplifiying candidate # 1545990965.834 * * * * [misc]progress: [ 12 / 64 ] simplifiying candidate # 1545990965.834 * * * * [misc]progress: [ 13 / 64 ] simplifiying candidate # 1545990965.835 * * * * [misc]progress: [ 14 / 64 ] simplifiying candidate # 1545990965.835 * * * * [misc]progress: [ 15 / 64 ] simplifiying candidate # 1545990965.835 * * * * [misc]progress: [ 16 / 64 ] simplifiying candidate # 1545990965.835 * * * * [misc]progress: [ 17 / 64 ] simplifiying candidate # 1545990965.835 * * * * [misc]progress: [ 18 / 64 ] simplifiying candidate # 1545990965.835 * * * * [misc]progress: [ 19 / 64 ] simplifiying candidate # 1545990965.835 * * * * [misc]progress: [ 20 / 64 ] simplifiying candidate # 1545990965.835 * * * * [misc]progress: [ 21 / 64 ] simplifiying candidate # 1545990965.835 * * * * [misc]progress: [ 22 / 64 ] simplifiying candidate # 1545990965.835 * * * * [misc]progress: [ 23 / 64 ] simplifiying candidate # 1545990965.835 * * * * [misc]progress: [ 24 / 64 ] simplifiying candidate # 1545990965.835 * * * * [misc]progress: [ 25 / 64 ] simplifiying candidate # 1545990965.835 * * * * [misc]progress: [ 26 / 64 ] simplifiying candidate # 1545990965.835 * * * * [misc]progress: [ 27 / 64 ] simplifiying candidate # 1545990965.835 * * * * [misc]progress: [ 28 / 64 ] simplifiying candidate # 1545990965.835 * * * * [misc]progress: [ 29 / 64 ] simplifiying candidate # 1545990965.836 * * * * [misc]progress: [ 30 / 64 ] simplifiying candidate # 1545990965.836 * * * * [misc]progress: [ 31 / 64 ] simplifiying candidate # 1545990965.836 * * * * [misc]progress: [ 32 / 64 ] simplifiying candidate # 1545990965.836 * * * * [misc]progress: [ 33 / 64 ] simplifiying candidate # 1545990965.836 * * * * [misc]progress: [ 34 / 64 ] simplifiying candidate # 1545990965.836 * * * * [misc]progress: [ 35 / 64 ] simplifiying candidate # 1545990965.836 * [enter]simplify: Simplifying (* (* (* d1 (* d1 d1)) d1) d1) 1545990965.836 * * [misc]simplify: iters left: 6 (5 enodes) 1545990965.838 * * [misc]simplify: iters left: 5 (11 enodes) 1545990965.844 * * [misc]simplify: iters left: 4 (17 enodes) 1545990965.849 * * [misc]simplify: iters left: 3 (22 enodes) 1545990965.853 * [exit]simplify: Simplified to (pow d1 5) 1545990965.854 * [misc]simplify: Simplified (2 1 2 1) to (λ (d1) (* (* d1 (* (pow d1 5) (* (* d1 d1) d1))) d1)) 1545990965.854 * * * * [misc]progress: [ 36 / 64 ] simplifiying candidate # 1545990965.854 * * * * [misc]progress: [ 37 / 64 ] simplifiying candidate # 1545990965.854 * * * * [misc]progress: [ 38 / 64 ] simplifiying candidate # 1545990965.854 * * * * [misc]progress: [ 39 / 64 ] simplifiying candidate # 1545990965.854 * [enter]simplify: Simplifying (+ (+ (+ 3 1) 1) 2) 1545990965.854 * * [misc]simplify: iters left: 6 (6 enodes) 1545990965.864 * * [misc]simplify: iters left: 5 (18 enodes) 1545990965.865 * [exit]simplify: Simplified to 7 1545990965.865 * [misc]simplify: Simplified (2 1 2 1 2) to (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1)) 1545990965.866 * * * * [misc]progress: [ 40 / 64 ] simplifiying candidate # 1545990965.866 * [enter]simplify: Simplifying (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1545990965.866 * * [misc]simplify: iters left: 6 (6 enodes) 1545990965.869 * * [misc]simplify: iters left: 5 (16 enodes) 1545990965.876 * * [misc]simplify: iters left: 4 (32 enodes) 1545990965.884 * * [misc]simplify: iters left: 3 (35 enodes) 1545990965.891 * [exit]simplify: Simplified to (* (pow d1 3) (pow d1 4)) 1545990965.892 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (d1) (* (* d1 (* (pow (* (pow d1 3) (pow d1 4)) 1) d1)) d1)) 1545990965.892 * * * * [misc]progress: [ 41 / 64 ] simplifiying candidate # 1545990965.892 * * * * [misc]progress: [ 42 / 64 ] simplifiying candidate # 1545990965.892 * [enter]simplify: Simplifying (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1))) 1545990965.892 * * [misc]simplify: iters left: 6 (8 enodes) 1545990965.896 * * [misc]simplify: iters left: 5 (19 enodes) 1545990965.902 * * [misc]simplify: iters left: 4 (37 enodes) 1545990965.913 * * [misc]simplify: iters left: 3 (48 enodes) 1545990965.929 * * [misc]simplify: iters left: 2 (70 enodes) 1545990965.945 * * [misc]simplify: iters left: 1 (81 enodes) 1545990965.965 * [exit]simplify: Simplified to (* (log d1) 7) 1545990965.966 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (d1) (* (* d1 (* (exp (* (log d1) 7)) d1)) d1)) 1545990965.966 * * * * [misc]progress: [ 43 / 64 ] simplifiying candidate # 1545990965.966 * * * * [misc]progress: [ 44 / 64 ] simplifiying candidate # 1545990965.966 * * * * [misc]progress: [ 45 / 64 ] simplifiying candidate # 1545990965.966 * [enter]simplify: Simplifying (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) 1545990965.966 * * [misc]simplify: iters left: 6 (10 enodes) 1545990965.971 * * [misc]simplify: iters left: 5 (30 enodes) 1545990965.984 * * [misc]simplify: iters left: 4 (112 enodes) 1545990966.049 * * [misc]simplify: iters left: 3 (339 enodes) 1545990966.195 * * [misc]simplify: iters left: 2 (376 enodes) 1545990966.283 * * [misc]simplify: iters left: 1 (379 enodes) 1545990966.362 * [exit]simplify: Simplified to (* d1 (pow (pow d1 5) 4)) 1545990966.362 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (d1) (* (* d1 (* (cbrt (* d1 (pow (pow d1 5) 4))) d1)) d1)) 1545990966.362 * * * * [misc]progress: [ 46 / 64 ] simplifiying candidate # 1545990966.362 * * * * [misc]progress: [ 47 / 64 ] simplifiying candidate # 1545990966.362 * * * * [misc]progress: [ 48 / 64 ] simplifiying candidate # 1545990966.362 * * * * [misc]progress: [ 49 / 64 ] simplifiying candidate # 1545990966.362 * * * * [misc]progress: [ 50 / 64 ] simplifiying candidate # 1545990966.362 * * * * [misc]progress: [ 51 / 64 ] simplifiying candidate # 1545990966.362 * [enter]simplify: Simplifying (* (* d1 (* d1 d1)) d1) 1545990966.362 * * [misc]simplify: iters left: 6 (4 enodes) 1545990966.363 * * [misc]simplify: iters left: 5 (8 enodes) 1545990966.365 * * [misc]simplify: iters left: 4 (13 enodes) 1545990966.367 * * [misc]simplify: iters left: 3 (15 enodes) 1545990966.369 * [exit]simplify: Simplified to (pow d1 4) 1545990966.369 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (d1) (* (* d1 (* (* (pow d1 4) (* d1 (* d1 d1))) d1)) d1)) 1545990966.369 * * * * [misc]progress: [ 52 / 64 ] simplifiying candidate # 1545990966.369 * * * * [misc]progress: [ 53 / 64 ] simplifiying candidate # 1545990966.369 * [enter]simplify: Simplifying (pow d1 3) 1545990966.369 * * [misc]simplify: iters left: 1 (3 enodes) 1545990966.369 * [exit]simplify: Simplified to (pow d1 3) 1545990966.369 * [misc]simplify: Simplified (2 1 2 1 1 1 1) to (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1)) 1545990966.369 * * * * [misc]progress: [ 54 / 64 ] simplifiying candidate # 1545990966.370 * [enter]simplify: Simplifying (pow d1 3) 1545990966.370 * * [misc]simplify: iters left: 1 (3 enodes) 1545990966.370 * [exit]simplify: Simplified to (pow d1 3) 1545990966.370 * [misc]simplify: Simplified (2 1 2 1 1 1 1) to (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1)) 1545990966.370 * * * * [misc]progress: [ 55 / 64 ] simplifiying candidate # 1545990966.370 * [enter]simplify: Simplifying (pow d1 3) 1545990966.370 * * [misc]simplify: iters left: 1 (3 enodes) 1545990966.371 * [exit]simplify: Simplified to (pow d1 3) 1545990966.371 * [misc]simplify: Simplified (2 1 2 1 1 1 1) to (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1)) 1545990966.371 * * * * [misc]progress: [ 56 / 64 ] simplifiying candidate # 1545990966.371 * [enter]simplify: Simplifying (pow d1 4) 1545990966.371 * * [misc]simplify: iters left: 1 (3 enodes) 1545990966.372 * [exit]simplify: Simplified to (pow d1 4) 1545990966.372 * [misc]simplify: Simplified (2 1 2 1 1 1) to (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1)) 1545990966.372 * * * * [misc]progress: [ 57 / 64 ] simplifiying candidate # 1545990966.372 * [enter]simplify: Simplifying (pow d1 4) 1545990966.372 * * [misc]simplify: iters left: 1 (3 enodes) 1545990966.372 * [exit]simplify: Simplified to (pow d1 4) 1545990966.372 * [misc]simplify: Simplified (2 1 2 1 1 1) to (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1)) 1545990966.372 * * * * [misc]progress: [ 58 / 64 ] simplifiying candidate # 1545990966.373 * [enter]simplify: Simplifying (pow d1 4) 1545990966.373 * * [misc]simplify: iters left: 1 (3 enodes) 1545990966.373 * [exit]simplify: Simplified to (pow d1 4) 1545990966.373 * [misc]simplify: Simplified (2 1 2 1 1 1) to (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1)) 1545990966.373 * * * * [misc]progress: [ 59 / 64 ] simplifiying candidate # 1545990966.373 * [enter]simplify: Simplifying (pow d1 8) 1545990966.373 * * [misc]simplify: iters left: 1 (3 enodes) 1545990966.374 * [exit]simplify: Simplified to (pow d1 8) 1545990966.374 * [misc]simplify: Simplified (2 1 2) to (λ (d1) (* (* d1 (pow d1 8)) d1)) 1545990966.374 * * * * [misc]progress: [ 60 / 64 ] simplifiying candidate # 1545990966.374 * [enter]simplify: Simplifying (pow d1 8) 1545990966.374 * * [misc]simplify: iters left: 1 (3 enodes) 1545990966.374 * [exit]simplify: Simplified to (pow d1 8) 1545990966.374 * [misc]simplify: Simplified (2 1 2) to (λ (d1) (* (* d1 (pow d1 8)) d1)) 1545990966.374 * * * * [misc]progress: [ 61 / 64 ] simplifiying candidate # 1545990966.375 * [enter]simplify: Simplifying (pow d1 8) 1545990966.375 * * [misc]simplify: iters left: 1 (3 enodes) 1545990966.375 * [exit]simplify: Simplified to (pow d1 8) 1545990966.375 * [misc]simplify: Simplified (2 1 2) to (λ (d1) (* (* d1 (pow d1 8)) d1)) 1545990966.375 * * * * [misc]progress: [ 62 / 64 ] simplifiying candidate # 1545990966.375 * [enter]simplify: Simplifying (pow d1 7) 1545990966.375 * * [misc]simplify: iters left: 1 (3 enodes) 1545990966.376 * [exit]simplify: Simplified to (pow d1 7) 1545990966.376 * [misc]simplify: Simplified (2 1 2 1) to (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1)) 1545990966.376 * * * * [misc]progress: [ 63 / 64 ] simplifiying candidate # 1545990966.376 * [enter]simplify: Simplifying (pow d1 7) 1545990966.376 * * [misc]simplify: iters left: 1 (3 enodes) 1545990966.376 * [exit]simplify: Simplified to (pow d1 7) 1545990966.376 * [misc]simplify: Simplified (2 1 2 1) to (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1)) 1545990966.376 * * * * [misc]progress: [ 64 / 64 ] simplifiying candidate # 1545990966.377 * [enter]simplify: Simplifying (pow d1 7) 1545990966.377 * * [misc]simplify: iters left: 1 (3 enodes) 1545990966.377 * [exit]simplify: Simplified to (pow d1 7) 1545990966.377 * [misc]simplify: Simplified (2 1 2 1) to (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1)) 1545990966.377 * * * [misc]progress: adding candidates to table 1545990966.982 * * [misc]progress: iteration 2 / 4 1545990966.982 * * * [misc]progress: picking best candidate 1545990966.991 * * * * [misc]pick: Picked # 1545990966.991 * * * [misc]progress: localizing error 1545990967.005 * * * [misc]progress: generating rewritten candidates 1545990967.005 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 2 2) 1545990967.008 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2) 1545990967.020 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2) 1545990967.047 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1545990967.056 * * * [misc]progress: generating series expansions 1545990967.056 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 2 2) 1545990967.056 * [misc]backup-simplify: Simplify (* (* d1 d1) d1) into (pow d1 3) 1545990967.056 * [misc]approximate: Taking taylor expansion of (pow d1 3) in (d1) around 0 1545990967.056 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1545990967.056 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990967.056 * [misc]backup-simplify: Simplify 0 into 0 1545990967.056 * [misc]backup-simplify: Simplify 1 into 1 1545990967.056 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1545990967.056 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990967.056 * [misc]backup-simplify: Simplify 0 into 0 1545990967.056 * [misc]backup-simplify: Simplify 1 into 1 1545990967.057 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.057 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.057 * [misc]backup-simplify: Simplify 1 into 1 1545990967.057 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.057 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.057 * [misc]backup-simplify: Simplify 0 into 0 1545990967.057 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.058 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.058 * [misc]backup-simplify: Simplify 0 into 0 1545990967.058 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.058 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.058 * [misc]backup-simplify: Simplify 0 into 0 1545990967.058 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.059 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.059 * [misc]backup-simplify: Simplify 0 into 0 1545990967.059 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.059 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.059 * [misc]backup-simplify: Simplify 0 into 0 1545990967.059 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.060 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.060 * [misc]backup-simplify: Simplify 0 into 0 1545990967.060 * [misc]backup-simplify: Simplify (* 1 (pow d1 3)) into (pow d1 3) 1545990967.060 * [misc]backup-simplify: Simplify (* (* (/ 1 d1) (/ 1 d1)) (/ 1 d1)) into (/ 1 (pow d1 3)) 1545990967.060 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0 1545990967.060 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 1545990967.060 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1545990967.060 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990967.060 * [misc]backup-simplify: Simplify 0 into 0 1545990967.060 * [misc]backup-simplify: Simplify 1 into 1 1545990967.060 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.060 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.060 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990967.060 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 1545990967.060 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1545990967.060 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990967.061 * [misc]backup-simplify: Simplify 0 into 0 1545990967.061 * [misc]backup-simplify: Simplify 1 into 1 1545990967.061 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.061 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.061 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990967.061 * [misc]backup-simplify: Simplify 1 into 1 1545990967.061 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.061 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.061 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545990967.061 * [misc]backup-simplify: Simplify 0 into 0 1545990967.062 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.062 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.062 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.062 * [misc]backup-simplify: Simplify 0 into 0 1545990967.062 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.062 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.063 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.063 * [misc]backup-simplify: Simplify 0 into 0 1545990967.063 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.063 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.063 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.063 * [misc]backup-simplify: Simplify 0 into 0 1545990967.064 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.064 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.067 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.067 * [misc]backup-simplify: Simplify 0 into 0 1545990967.068 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.068 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.068 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.068 * [misc]backup-simplify: Simplify 0 into 0 1545990967.068 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3) 1545990967.069 * [misc]backup-simplify: Simplify (* (* (/ 1 (- d1)) (/ 1 (- d1))) (/ 1 (- d1))) into (/ -1 (pow d1 3)) 1545990967.069 * [misc]approximate: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0 1545990967.069 * [misc]taylor: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 1545990967.069 * [misc]taylor: Taking taylor expansion of -1 in d1 1545990967.069 * [misc]backup-simplify: Simplify -1 into -1 1545990967.069 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1545990967.069 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990967.069 * [misc]backup-simplify: Simplify 0 into 0 1545990967.069 * [misc]backup-simplify: Simplify 1 into 1 1545990967.069 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.069 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.069 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545990967.069 * [misc]taylor: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 1545990967.069 * [misc]taylor: Taking taylor expansion of -1 in d1 1545990967.069 * [misc]backup-simplify: Simplify -1 into -1 1545990967.069 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1545990967.069 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990967.069 * [misc]backup-simplify: Simplify 0 into 0 1545990967.069 * [misc]backup-simplify: Simplify 1 into 1 1545990967.069 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.069 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.069 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545990967.070 * [misc]backup-simplify: Simplify -1 into -1 1545990967.070 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.070 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.070 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1545990967.070 * [misc]backup-simplify: Simplify 0 into 0 1545990967.070 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.070 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.071 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.071 * [misc]backup-simplify: Simplify 0 into 0 1545990967.071 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.071 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.071 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.071 * [misc]backup-simplify: Simplify 0 into 0 1545990967.071 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.072 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.072 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.072 * [misc]backup-simplify: Simplify 0 into 0 1545990967.072 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.072 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.073 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.073 * [misc]backup-simplify: Simplify 0 into 0 1545990967.073 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.073 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.074 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.074 * [misc]backup-simplify: Simplify 0 into 0 1545990967.074 * [misc]backup-simplify: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3) 1545990967.074 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2) 1545990967.074 * [misc]backup-simplify: Simplify (* (pow d1 5) (* (* d1 d1) d1)) into (pow d1 8) 1545990967.074 * [misc]approximate: Taking taylor expansion of (pow d1 8) in (d1) around 0 1545990967.074 * [misc]taylor: Taking taylor expansion of (pow d1 8) in d1 1545990967.074 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990967.074 * [misc]backup-simplify: Simplify 0 into 0 1545990967.074 * [misc]backup-simplify: Simplify 1 into 1 1545990967.074 * [misc]taylor: Taking taylor expansion of (pow d1 8) in d1 1545990967.074 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990967.074 * [misc]backup-simplify: Simplify 0 into 0 1545990967.074 * [misc]backup-simplify: Simplify 1 into 1 1545990967.074 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.074 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.075 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.075 * [misc]backup-simplify: Simplify 1 into 1 1545990967.075 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.075 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.075 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.075 * [misc]backup-simplify: Simplify 0 into 0 1545990967.075 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.076 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.076 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.076 * [misc]backup-simplify: Simplify 0 into 0 1545990967.076 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.076 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.076 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.076 * [misc]backup-simplify: Simplify 0 into 0 1545990967.077 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.077 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.077 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.077 * [misc]backup-simplify: Simplify 0 into 0 1545990967.077 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.078 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.078 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.078 * [misc]backup-simplify: Simplify 0 into 0 1545990967.078 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.079 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.079 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.079 * [misc]backup-simplify: Simplify 0 into 0 1545990967.079 * [misc]backup-simplify: Simplify (* 1 (pow d1 8)) into (pow d1 8) 1545990967.079 * [misc]backup-simplify: Simplify (* (pow (/ 1 d1) 5) (* (* (/ 1 d1) (/ 1 d1)) (/ 1 d1))) into (/ 1 (pow d1 8)) 1545990967.079 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0 1545990967.079 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 1545990967.079 * [misc]taylor: Taking taylor expansion of (pow d1 8) in d1 1545990967.079 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990967.079 * [misc]backup-simplify: Simplify 0 into 0 1545990967.079 * [misc]backup-simplify: Simplify 1 into 1 1545990967.079 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.079 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.080 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.080 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990967.080 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 1545990967.080 * [misc]taylor: Taking taylor expansion of (pow d1 8) in d1 1545990967.080 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990967.080 * [misc]backup-simplify: Simplify 0 into 0 1545990967.080 * [misc]backup-simplify: Simplify 1 into 1 1545990967.080 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.080 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.080 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.080 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990967.080 * [misc]backup-simplify: Simplify 1 into 1 1545990967.080 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.081 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.081 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.081 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545990967.081 * [misc]backup-simplify: Simplify 0 into 0 1545990967.081 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.081 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.081 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.082 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.082 * [misc]backup-simplify: Simplify 0 into 0 1545990967.082 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.082 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.082 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.082 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.082 * [misc]backup-simplify: Simplify 0 into 0 1545990967.083 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.083 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.083 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.083 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.083 * [misc]backup-simplify: Simplify 0 into 0 1545990967.083 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.084 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.084 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.084 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.084 * [misc]backup-simplify: Simplify 0 into 0 1545990967.085 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.085 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.085 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.085 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.085 * [misc]backup-simplify: Simplify 0 into 0 1545990967.086 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 8)) into (pow d1 8) 1545990967.086 * [misc]backup-simplify: Simplify (* (pow (/ 1 (- d1)) 5) (* (* (/ 1 (- d1)) (/ 1 (- d1))) (/ 1 (- d1)))) into (/ 1 (pow d1 8)) 1545990967.086 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0 1545990967.086 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 1545990967.086 * [misc]taylor: Taking taylor expansion of (pow d1 8) in d1 1545990967.086 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990967.086 * [misc]backup-simplify: Simplify 0 into 0 1545990967.086 * [misc]backup-simplify: Simplify 1 into 1 1545990967.086 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.086 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.086 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.086 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990967.086 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 1545990967.086 * [misc]taylor: Taking taylor expansion of (pow d1 8) in d1 1545990967.086 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990967.086 * [misc]backup-simplify: Simplify 0 into 0 1545990967.086 * [misc]backup-simplify: Simplify 1 into 1 1545990967.086 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.087 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.087 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.087 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990967.087 * [misc]backup-simplify: Simplify 1 into 1 1545990967.087 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.087 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.087 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.087 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545990967.087 * [misc]backup-simplify: Simplify 0 into 0 1545990967.088 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.088 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.088 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.088 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.088 * [misc]backup-simplify: Simplify 0 into 0 1545990967.088 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.088 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.089 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.089 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.089 * [misc]backup-simplify: Simplify 0 into 0 1545990967.089 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.089 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.090 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.090 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.090 * [misc]backup-simplify: Simplify 0 into 0 1545990967.090 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.090 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.091 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.091 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.091 * [misc]backup-simplify: Simplify 0 into 0 1545990967.091 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.091 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.092 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.092 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.092 * [misc]backup-simplify: Simplify 0 into 0 1545990967.092 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 8)) into (pow d1 8) 1545990967.092 * * * * [misc]progress: [ 3 / 4 ] generating series at (2) 1545990967.092 * [misc]backup-simplify: Simplify (* (* d1 (* (pow d1 5) (* (* d1 d1) d1))) d1) into (pow d1 10) 1545990967.092 * [misc]approximate: Taking taylor expansion of (pow d1 10) in (d1) around 0 1545990967.092 * [misc]taylor: Taking taylor expansion of (pow d1 10) in d1 1545990967.092 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990967.092 * [misc]backup-simplify: Simplify 0 into 0 1545990967.092 * [misc]backup-simplify: Simplify 1 into 1 1545990967.092 * [misc]taylor: Taking taylor expansion of (pow d1 10) in d1 1545990967.092 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990967.092 * [misc]backup-simplify: Simplify 0 into 0 1545990967.092 * [misc]backup-simplify: Simplify 1 into 1 1545990967.093 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.093 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.093 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.093 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.093 * [misc]backup-simplify: Simplify 1 into 1 1545990967.093 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.093 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.093 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.093 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.093 * [misc]backup-simplify: Simplify 0 into 0 1545990967.094 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.094 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.094 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.094 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.094 * [misc]backup-simplify: Simplify 0 into 0 1545990967.094 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.095 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.095 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.095 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.095 * [misc]backup-simplify: Simplify 0 into 0 1545990967.095 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.096 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.096 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.096 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.096 * [misc]backup-simplify: Simplify 0 into 0 1545990967.097 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.097 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.098 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.098 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.099 * [misc]backup-simplify: Simplify 0 into 0 1545990967.099 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.100 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.100 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.101 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.101 * [misc]backup-simplify: Simplify 0 into 0 1545990967.101 * [misc]backup-simplify: Simplify (* 1 (pow d1 10)) into (pow d1 10) 1545990967.101 * [misc]backup-simplify: Simplify (* (* (/ 1 d1) (* (pow (/ 1 d1) 5) (* (* (/ 1 d1) (/ 1 d1)) (/ 1 d1)))) (/ 1 d1)) into (/ 1 (pow d1 10)) 1545990967.101 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 1545990967.101 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 1545990967.101 * [misc]taylor: Taking taylor expansion of (pow d1 10) in d1 1545990967.101 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990967.101 * [misc]backup-simplify: Simplify 0 into 0 1545990967.101 * [misc]backup-simplify: Simplify 1 into 1 1545990967.101 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.102 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.102 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.102 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.102 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990967.102 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 1545990967.102 * [misc]taylor: Taking taylor expansion of (pow d1 10) in d1 1545990967.102 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990967.102 * [misc]backup-simplify: Simplify 0 into 0 1545990967.102 * [misc]backup-simplify: Simplify 1 into 1 1545990967.102 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.103 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.103 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.103 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.103 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990967.103 * [misc]backup-simplify: Simplify 1 into 1 1545990967.103 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.104 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.104 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.104 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.104 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545990967.104 * [misc]backup-simplify: Simplify 0 into 0 1545990967.105 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.105 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.105 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.105 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.106 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.106 * [misc]backup-simplify: Simplify 0 into 0 1545990967.106 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.106 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.107 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.107 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.107 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.107 * [misc]backup-simplify: Simplify 0 into 0 1545990967.108 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.108 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.109 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.109 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.109 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.109 * [misc]backup-simplify: Simplify 0 into 0 1545990967.110 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.110 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.111 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.111 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.112 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.112 * [misc]backup-simplify: Simplify 0 into 0 1545990967.112 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.113 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.113 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.114 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.114 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.114 * [misc]backup-simplify: Simplify 0 into 0 1545990967.115 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10) 1545990967.115 * [misc]backup-simplify: Simplify (* (* (/ 1 (- d1)) (* (pow (/ 1 (- d1)) 5) (* (* (/ 1 (- d1)) (/ 1 (- d1))) (/ 1 (- d1))))) (/ 1 (- d1))) into (/ 1 (pow d1 10)) 1545990967.115 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 1545990967.115 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 1545990967.115 * [misc]taylor: Taking taylor expansion of (pow d1 10) in d1 1545990967.115 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990967.115 * [misc]backup-simplify: Simplify 0 into 0 1545990967.115 * [misc]backup-simplify: Simplify 1 into 1 1545990967.115 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.116 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.116 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.116 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.116 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990967.116 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 1545990967.116 * [misc]taylor: Taking taylor expansion of (pow d1 10) in d1 1545990967.116 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990967.116 * [misc]backup-simplify: Simplify 0 into 0 1545990967.116 * [misc]backup-simplify: Simplify 1 into 1 1545990967.116 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.116 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.117 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.117 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.117 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990967.117 * [misc]backup-simplify: Simplify 1 into 1 1545990967.117 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.117 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.118 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.118 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.118 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545990967.118 * [misc]backup-simplify: Simplify 0 into 0 1545990967.118 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.119 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.119 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.119 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.120 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.120 * [misc]backup-simplify: Simplify 0 into 0 1545990967.120 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.120 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.121 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.121 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.121 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.121 * [misc]backup-simplify: Simplify 0 into 0 1545990967.122 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.122 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.122 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.123 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.123 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.123 * [misc]backup-simplify: Simplify 0 into 0 1545990967.124 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.124 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.125 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.125 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.126 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.126 * [misc]backup-simplify: Simplify 0 into 0 1545990967.126 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.127 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.127 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.127 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.128 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.128 * [misc]backup-simplify: Simplify 0 into 0 1545990967.128 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10) 1545990967.128 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1545990967.128 * [misc]backup-simplify: Simplify (* d1 (* (pow d1 5) (* (* d1 d1) d1))) into (pow d1 9) 1545990967.128 * [misc]approximate: Taking taylor expansion of (pow d1 9) in (d1) around 0 1545990967.128 * [misc]taylor: Taking taylor expansion of (pow d1 9) in d1 1545990967.128 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990967.128 * [misc]backup-simplify: Simplify 0 into 0 1545990967.128 * [misc]backup-simplify: Simplify 1 into 1 1545990967.128 * [misc]taylor: Taking taylor expansion of (pow d1 9) in d1 1545990967.128 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990967.128 * [misc]backup-simplify: Simplify 0 into 0 1545990967.128 * [misc]backup-simplify: Simplify 1 into 1 1545990967.128 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.128 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.129 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.129 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.129 * [misc]backup-simplify: Simplify 1 into 1 1545990967.129 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.129 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.129 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.129 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.129 * [misc]backup-simplify: Simplify 0 into 0 1545990967.129 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.130 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.130 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.130 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.130 * [misc]backup-simplify: Simplify 0 into 0 1545990967.130 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.130 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.130 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.131 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.131 * [misc]backup-simplify: Simplify 0 into 0 1545990967.131 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.131 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.131 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.132 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.132 * [misc]backup-simplify: Simplify 0 into 0 1545990967.132 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.132 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.132 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.132 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.133 * [misc]backup-simplify: Simplify 0 into 0 1545990967.133 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.133 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.133 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.134 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.134 * [misc]backup-simplify: Simplify 0 into 0 1545990967.134 * [misc]backup-simplify: Simplify (* 1 (pow d1 9)) into (pow d1 9) 1545990967.134 * [misc]backup-simplify: Simplify (* (/ 1 d1) (* (pow (/ 1 d1) 5) (* (* (/ 1 d1) (/ 1 d1)) (/ 1 d1)))) into (/ 1 (pow d1 9)) 1545990967.134 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 9)) in (d1) around 0 1545990967.134 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 9)) in d1 1545990967.134 * [misc]taylor: Taking taylor expansion of (pow d1 9) in d1 1545990967.134 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990967.134 * [misc]backup-simplify: Simplify 0 into 0 1545990967.134 * [misc]backup-simplify: Simplify 1 into 1 1545990967.134 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.134 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.134 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.134 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.134 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990967.134 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 9)) in d1 1545990967.134 * [misc]taylor: Taking taylor expansion of (pow d1 9) in d1 1545990967.135 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990967.135 * [misc]backup-simplify: Simplify 0 into 0 1545990967.135 * [misc]backup-simplify: Simplify 1 into 1 1545990967.135 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.135 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.135 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.135 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.135 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990967.135 * [misc]backup-simplify: Simplify 1 into 1 1545990967.135 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.135 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.135 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.136 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.136 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545990967.136 * [misc]backup-simplify: Simplify 0 into 0 1545990967.136 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.136 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.136 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.136 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.137 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.137 * [misc]backup-simplify: Simplify 0 into 0 1545990967.137 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.137 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.137 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.137 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.138 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.138 * [misc]backup-simplify: Simplify 0 into 0 1545990967.138 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.138 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.138 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.138 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.139 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.139 * [misc]backup-simplify: Simplify 0 into 0 1545990967.139 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.139 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.139 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.140 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.140 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.140 * [misc]backup-simplify: Simplify 0 into 0 1545990967.140 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.140 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.141 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.141 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.141 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.141 * [misc]backup-simplify: Simplify 0 into 0 1545990967.141 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 9)) into (pow d1 9) 1545990967.142 * [misc]backup-simplify: Simplify (* (/ 1 (- d1)) (* (pow (/ 1 (- d1)) 5) (* (* (/ 1 (- d1)) (/ 1 (- d1))) (/ 1 (- d1))))) into (/ -1 (pow d1 9)) 1545990967.142 * [misc]approximate: Taking taylor expansion of (/ -1 (pow d1 9)) in (d1) around 0 1545990967.142 * [misc]taylor: Taking taylor expansion of (/ -1 (pow d1 9)) in d1 1545990967.142 * [misc]taylor: Taking taylor expansion of -1 in d1 1545990967.142 * [misc]backup-simplify: Simplify -1 into -1 1545990967.142 * [misc]taylor: Taking taylor expansion of (pow d1 9) in d1 1545990967.142 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990967.142 * [misc]backup-simplify: Simplify 0 into 0 1545990967.142 * [misc]backup-simplify: Simplify 1 into 1 1545990967.142 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.142 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.142 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.142 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.142 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545990967.142 * [misc]taylor: Taking taylor expansion of (/ -1 (pow d1 9)) in d1 1545990967.142 * [misc]taylor: Taking taylor expansion of -1 in d1 1545990967.142 * [misc]backup-simplify: Simplify -1 into -1 1545990967.142 * [misc]taylor: Taking taylor expansion of (pow d1 9) in d1 1545990967.142 * [misc]taylor: Taking taylor expansion of d1 in d1 1545990967.142 * [misc]backup-simplify: Simplify 0 into 0 1545990967.142 * [misc]backup-simplify: Simplify 1 into 1 1545990967.143 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.143 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.143 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.143 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545990967.143 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545990967.143 * [misc]backup-simplify: Simplify -1 into -1 1545990967.143 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.143 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.143 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.144 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545990967.144 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1545990967.144 * [misc]backup-simplify: Simplify 0 into 0 1545990967.144 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.144 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.144 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.144 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545990967.145 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.145 * [misc]backup-simplify: Simplify 0 into 0 1545990967.145 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.145 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.145 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.145 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545990967.145 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.146 * [misc]backup-simplify: Simplify 0 into 0 1545990967.146 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.146 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.146 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.146 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545990967.147 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.147 * [misc]backup-simplify: Simplify 0 into 0 1545990967.147 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.147 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.147 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.148 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545990967.148 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.148 * [misc]backup-simplify: Simplify 0 into 0 1545990967.148 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.148 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.149 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.149 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545990967.149 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990967.149 * [misc]backup-simplify: Simplify 0 into 0 1545990967.150 * [misc]backup-simplify: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 9)) into (pow d1 9) 1545990967.150 * * * [misc]progress: simplifying candidates 1545990967.150 * * * * [misc]progress: [ 1 / 66 ] simplifiying candidate # 1545990967.150 * * * * [misc]progress: [ 2 / 66 ] simplifiying candidate # 1545990967.150 * * * * [misc]progress: [ 3 / 66 ] simplifiying candidate # 1545990967.150 * * * * [misc]progress: [ 4 / 66 ] simplifiying candidate # 1545990967.150 * * * * [misc]progress: [ 5 / 66 ] simplifiying candidate # 1545990967.150 * * * * [misc]progress: [ 6 / 66 ] simplifiying candidate # 1545990967.150 * * * * [misc]progress: [ 7 / 66 ] simplifiying candidate # 1545990967.150 * * * * [misc]progress: [ 8 / 66 ] simplifiying candidate # 1545990967.150 * * * * [misc]progress: [ 9 / 66 ] simplifiying candidate # 1545990967.150 * * * * [misc]progress: [ 10 / 66 ] simplifiying candidate # 1545990967.150 * * * * [misc]progress: [ 11 / 66 ] simplifiying candidate # 1545990967.150 * * * * [misc]progress: [ 12 / 66 ] simplifiying candidate # 1545990967.150 * * * * [misc]progress: [ 13 / 66 ] simplifiying candidate # 1545990967.150 * * * * [misc]progress: [ 14 / 66 ] simplifiying candidate # 1545990967.150 * * * * [misc]progress: [ 15 / 66 ] simplifiying candidate # 1545990967.150 * * * * [misc]progress: [ 16 / 66 ] simplifiying candidate # 1545990967.150 * [enter]simplify: Simplifying (+ 5 3) 1545990967.150 * * [misc]simplify: iters left: 2 (3 enodes) 1545990967.152 * * [misc]simplify: iters left: 1 (5 enodes) 1545990967.152 * [exit]simplify: Simplified to 8 1545990967.152 * [misc]simplify: Simplified (2 1 2 2) to (λ (d1) (* (* d1 (pow d1 8)) d1)) 1545990967.152 * * * * [misc]progress: [ 17 / 66 ] simplifiying candidate # 1545990967.153 * [enter]simplify: Simplifying (+ 5 (+ 2 1)) 1545990967.153 * * [misc]simplify: iters left: 4 (5 enodes) 1545990967.156 * * [misc]simplify: iters left: 3 (14 enodes) 1545990967.157 * [exit]simplify: Simplified to 8 1545990967.157 * [misc]simplify: Simplified (2 1 2 2) to (λ (d1) (* (* d1 (pow d1 8)) d1)) 1545990967.158 * * * * [misc]progress: [ 18 / 66 ] simplifiying candidate # 1545990967.158 * * * * [misc]progress: [ 19 / 66 ] simplifiying candidate # 1545990967.158 * [enter]simplify: Simplifying (+ (* (log d1) 5) (log (* (* d1 d1) d1))) 1545990967.158 * * [misc]simplify: iters left: 6 (8 enodes) 1545990967.161 * * [misc]simplify: iters left: 5 (14 enodes) 1545990967.165 * * [misc]simplify: iters left: 4 (23 enodes) 1545990967.174 * * [misc]simplify: iters left: 3 (35 enodes) 1545990967.186 * * [misc]simplify: iters left: 2 (52 enodes) 1545990967.197 * * [misc]simplify: iters left: 1 (53 enodes) 1545990967.214 * [exit]simplify: Simplified to (* (log d1) 8) 1545990967.214 * [misc]simplify: Simplified (2 1 2 1) to (λ (d1) (* (* d1 (exp (* (log d1) 8))) d1)) 1545990967.214 * * * * [misc]progress: [ 20 / 66 ] simplifiying candidate # 1545990967.214 * [enter]simplify: Simplifying (+ (log (pow d1 5)) (log (* (* d1 d1) d1))) 1545990967.214 * * [misc]simplify: iters left: 6 (8 enodes) 1545990967.217 * * [misc]simplify: iters left: 5 (14 enodes) 1545990967.221 * * [misc]simplify: iters left: 4 (24 enodes) 1545990967.229 * * [misc]simplify: iters left: 3 (37 enodes) 1545990967.241 * * [misc]simplify: iters left: 2 (54 enodes) 1545990967.253 * * [misc]simplify: iters left: 1 (55 enodes) 1545990967.264 * [exit]simplify: Simplified to (* (log d1) 8) 1545990967.264 * [misc]simplify: Simplified (2 1 2 1) to (λ (d1) (* (* d1 (exp (* (log d1) 8))) d1)) 1545990967.264 * * * * [misc]progress: [ 21 / 66 ] simplifiying candidate # 1545990967.264 * * * * [misc]progress: [ 22 / 66 ] simplifiying candidate # 1545990967.264 * * * * [misc]progress: [ 23 / 66 ] simplifiying candidate # 1545990967.264 * [enter]simplify: Simplifying (* (* (* (pow d1 5) (pow d1 5)) (pow d1 5)) (* (* (* (* d1 d1) d1) (* (* d1 d1) d1)) (* (* d1 d1) d1))) 1545990967.265 * * [misc]simplify: iters left: 6 (10 enodes) 1545990967.269 * * [misc]simplify: iters left: 5 (24 enodes) 1545990967.279 * * [misc]simplify: iters left: 4 (78 enodes) 1545990967.310 * * [misc]simplify: iters left: 3 (240 enodes) 1545990967.486 * [exit]simplify: Simplified to (* (* (pow d1 6) (pow d1 6)) (* (pow d1 6) (pow d1 6))) 1545990967.486 * [misc]simplify: Simplified (2 1 2 1) to (λ (d1) (* (* d1 (cbrt (* (* (pow d1 6) (pow d1 6)) (* (pow d1 6) (pow d1 6))))) d1)) 1545990967.486 * * * * [misc]progress: [ 24 / 66 ] simplifiying candidate # 1545990967.486 * * * * [misc]progress: [ 25 / 66 ] simplifiying candidate # 1545990967.486 * * * * [misc]progress: [ 26 / 66 ] simplifiying candidate # 1545990967.486 * * * * [misc]progress: [ 27 / 66 ] simplifiying candidate # 1545990967.486 * * * * [misc]progress: [ 28 / 66 ] simplifiying candidate # 1545990967.486 * * * * [misc]progress: [ 29 / 66 ] simplifiying candidate # 1545990967.486 * [enter]simplify: Simplifying (* (cbrt (pow d1 5)) (cbrt (pow d1 5))) 1545990967.486 * * [misc]simplify: iters left: 4 (5 enodes) 1545990967.487 * [exit]simplify: Simplified to (* (cbrt (pow d1 5)) (cbrt (pow d1 5))) 1545990967.487 * [misc]simplify: Simplified (2 1 2 1) to (λ (d1) (* (* d1 (* (* (cbrt (pow d1 5)) (cbrt (pow d1 5))) (* (cbrt (pow d1 5)) (* (* d1 d1) d1)))) d1)) 1545990967.487 * * * * [misc]progress: [ 30 / 66 ] simplifiying candidate # 1545990967.487 * [enter]simplify: Simplifying (sqrt (pow d1 5)) 1545990967.487 * * [misc]simplify: iters left: 2 (4 enodes) 1545990967.488 * [exit]simplify: Simplified to (sqrt (pow d1 5)) 1545990967.488 * [misc]simplify: Simplified (2 1 2 1) to (λ (d1) (* (* d1 (* (sqrt (pow d1 5)) (* (sqrt (pow d1 5)) (* (* d1 d1) d1)))) d1)) 1545990967.488 * * * * [misc]progress: [ 31 / 66 ] simplifiying candidate # 1545990967.488 * * * * [misc]progress: [ 32 / 66 ] simplifiying candidate # 1545990967.488 * * * * [misc]progress: [ 33 / 66 ] simplifiying candidate # 1545990967.488 * * * * [misc]progress: [ 34 / 66 ] simplifiying candidate # 1545990967.488 * * * * [misc]progress: [ 35 / 66 ] simplifiying candidate # 1545990967.488 * * * * [misc]progress: [ 36 / 66 ] simplifiying candidate # 1545990967.488 * * * * [misc]progress: [ 37 / 66 ] simplifiying candidate # 1545990967.488 * * * * [misc]progress: [ 38 / 66 ] simplifiying candidate # 1545990967.488 * * * * [misc]progress: [ 39 / 66 ] simplifiying candidate # 1545990967.488 * * * * [misc]progress: [ 40 / 66 ] simplifiying candidate # 1545990967.488 * * * * [misc]progress: [ 41 / 66 ] simplifiying candidate # 1545990967.488 * * * * [misc]progress: [ 42 / 66 ] simplifiying candidate # 1545990967.488 * * * * [misc]progress: [ 43 / 66 ] simplifiying candidate # 1545990967.488 * * * * [misc]progress: [ 44 / 66 ] simplifiying candidate # 1545990967.488 * * * * [misc]progress: [ 45 / 66 ] simplifiying candidate # 1545990967.488 * * * * [misc]progress: [ 46 / 66 ] simplifiying candidate # 1545990967.488 * * * * [misc]progress: [ 47 / 66 ] simplifiying candidate # 1545990967.488 * * * * [misc]progress: [ 48 / 66 ] simplifiying candidate # 1545990967.488 * * * * [misc]progress: [ 49 / 66 ] simplifiying candidate # 1545990967.488 * * * * [misc]progress: [ 50 / 66 ] simplifiying candidate # 1545990967.488 * * * * [misc]progress: [ 51 / 66 ] simplifiying candidate # 1545990967.489 * * * * [misc]progress: [ 52 / 66 ] simplifiying candidate # 1545990967.489 * * * * [misc]progress: [ 53 / 66 ] simplifiying candidate # 1545990967.489 * [enter]simplify: Simplifying (* (* d1 d1) d1) 1545990967.489 * * [misc]simplify: iters left: 4 (3 enodes) 1545990967.489 * * [misc]simplify: iters left: 3 (4 enodes) 1545990967.490 * * [misc]simplify: iters left: 2 (6 enodes) 1545990967.491 * [exit]simplify: Simplified to (pow d1 3) 1545990967.491 * [misc]simplify: Simplified (2 1 2) to (λ (d1) (* (* (* d1 (pow d1 5)) (pow d1 3)) d1)) 1545990967.491 * * * * [misc]progress: [ 54 / 66 ] simplifiying candidate # 1545990967.491 * * * * [misc]progress: [ 55 / 66 ] simplifiying candidate # 1545990967.491 * [enter]simplify: Simplifying (pow d1 3) 1545990967.491 * * [misc]simplify: iters left: 1 (3 enodes) 1545990967.492 * [exit]simplify: Simplified to (pow d1 3) 1545990967.492 * [misc]simplify: Simplified (2 1 2 2) to (λ (d1) (* (* d1 (* (pow d1 5) (pow d1 3))) d1)) 1545990967.492 * * * * [misc]progress: [ 56 / 66 ] simplifiying candidate # 1545990967.492 * [enter]simplify: Simplifying (pow d1 3) 1545990967.492 * * [misc]simplify: iters left: 1 (3 enodes) 1545990967.492 * [exit]simplify: Simplified to (pow d1 3) 1545990967.492 * [misc]simplify: Simplified (2 1 2 2) to (λ (d1) (* (* d1 (* (pow d1 5) (pow d1 3))) d1)) 1545990967.492 * * * * [misc]progress: [ 57 / 66 ] simplifiying candidate # 1545990967.492 * [enter]simplify: Simplifying (pow d1 3) 1545990967.492 * * [misc]simplify: iters left: 1 (3 enodes) 1545990967.493 * [exit]simplify: Simplified to (pow d1 3) 1545990967.493 * [misc]simplify: Simplified (2 1 2 2) to (λ (d1) (* (* d1 (* (pow d1 5) (pow d1 3))) d1)) 1545990967.493 * * * * [misc]progress: [ 58 / 66 ] simplifiying candidate # 1545990967.493 * [enter]simplify: Simplifying (pow d1 8) 1545990967.493 * * [misc]simplify: iters left: 1 (3 enodes) 1545990967.494 * [exit]simplify: Simplified to (pow d1 8) 1545990967.494 * [misc]simplify: Simplified (2 1 2) to (λ (d1) (* (* d1 (pow d1 8)) d1)) 1545990967.494 * * * * [misc]progress: [ 59 / 66 ] simplifiying candidate # 1545990967.494 * [enter]simplify: Simplifying (pow d1 8) 1545990967.494 * * [misc]simplify: iters left: 1 (3 enodes) 1545990967.494 * [exit]simplify: Simplified to (pow d1 8) 1545990967.494 * [misc]simplify: Simplified (2 1 2) to (λ (d1) (* (* d1 (pow d1 8)) d1)) 1545990967.494 * * * * [misc]progress: [ 60 / 66 ] simplifiying candidate # 1545990967.494 * [enter]simplify: Simplifying (pow d1 8) 1545990967.494 * * [misc]simplify: iters left: 1 (3 enodes) 1545990967.495 * [exit]simplify: Simplified to (pow d1 8) 1545990967.495 * [misc]simplify: Simplified (2 1 2) to (λ (d1) (* (* d1 (pow d1 8)) d1)) 1545990967.495 * * * * [misc]progress: [ 61 / 66 ] simplifiying candidate # 1545990967.495 * [enter]simplify: Simplifying (pow d1 10) 1545990967.495 * * [misc]simplify: iters left: 1 (3 enodes) 1545990967.495 * [exit]simplify: Simplified to (pow d1 10) 1545990967.495 * [misc]simplify: Simplified (2) to (λ (d1) (pow d1 10)) 1545990967.496 * * * * [misc]progress: [ 62 / 66 ] simplifiying candidate # 1545990967.496 * [enter]simplify: Simplifying (pow d1 10) 1545990967.496 * * [misc]simplify: iters left: 1 (3 enodes) 1545990967.496 * [exit]simplify: Simplified to (pow d1 10) 1545990967.496 * [misc]simplify: Simplified (2) to (λ (d1) (pow d1 10)) 1545990967.496 * * * * [misc]progress: [ 63 / 66 ] simplifiying candidate # 1545990967.496 * [enter]simplify: Simplifying (pow d1 10) 1545990967.496 * * [misc]simplify: iters left: 1 (3 enodes) 1545990967.497 * [exit]simplify: Simplified to (pow d1 10) 1545990967.497 * [misc]simplify: Simplified (2) to (λ (d1) (pow d1 10)) 1545990967.497 * * * * [misc]progress: [ 64 / 66 ] simplifiying candidate # 1545990967.497 * [enter]simplify: Simplifying (pow d1 9) 1545990967.497 * * [misc]simplify: iters left: 1 (3 enodes) 1545990967.497 * [exit]simplify: Simplified to (pow d1 9) 1545990967.497 * [misc]simplify: Simplified (2 1) to (λ (d1) (* (pow d1 9) d1)) 1545990967.497 * * * * [misc]progress: [ 65 / 66 ] simplifiying candidate # 1545990967.497 * [enter]simplify: Simplifying (pow d1 9) 1545990967.497 * * [misc]simplify: iters left: 1 (3 enodes) 1545990967.498 * [exit]simplify: Simplified to (pow d1 9) 1545990967.498 * [misc]simplify: Simplified (2 1) to (λ (d1) (* (pow d1 9) d1)) 1545990967.498 * * * * [misc]progress: [ 66 / 66 ] simplifiying candidate # 1545990967.498 * [enter]simplify: Simplifying (pow d1 9) 1545990967.498 * * [misc]simplify: iters left: 1 (3 enodes) 1545990967.499 * [exit]simplify: Simplified to (pow d1 9) 1545990967.499 * [misc]simplify: Simplified (2 1) to (λ (d1) (* (pow d1 9) d1)) 1545990967.499 * * * [misc]progress: adding candidates to table 1545990968.115 * * [misc]progress: iteration 3 / 4 1545990968.115 * * * [misc]progress: picking best candidate 1545990968.118 * * * * [misc]pick: Picked # 1545990968.119 * * * [misc]progress: localizing error 1545990968.125 * * * [misc]progress: generating rewritten candidates 1545990968.125 * * * [misc]progress: generating series expansions 1545990968.125 * * * [misc]progress: simplifying candidates 1545990968.125 * * * [misc]progress: adding candidates to table 1545990968.125 * [misc]progress: [Phase 3 of 3] Extracting. 1545990968.129 * [enter]simplify: Simplifying (pow d1 10) 1545990968.129 * * [misc]simplify: iters left: 1 (3 enodes) 1545990968.129 * [exit]simplify: Simplified to (pow d1 10) 1545990968.130 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1545990969.838 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990969.841 * * * * [misc]points: Sampling 3609 additional inputs, on iter 1 have 4391 / 8000 1545990970.457 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990970.458 * * * * [misc]points: Sampling 1612 additional inputs, on iter 2 have 6388 / 8000 1545990970.741 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990970.741 * * * * [misc]points: Sampling 738 additional inputs, on iter 3 have 7262 / 8000 1545990970.877 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990970.877 * * * * [misc]points: Sampling 338 additional inputs, on iter 4 have 7662 / 8000 1545990970.944 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990970.944 * * * * [misc]points: Sampling 157 additional inputs, on iter 5 have 7843 / 8000 1545990971.008 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990971.008 * * * * [misc]points: Sampling 77 additional inputs, on iter 6 have 7923 / 8000 1545990971.025 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990971.026 * * * * [misc]points: Sampling 33 additional inputs, on iter 7 have 7967 / 8000 1545990971.034 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990971.034 * * * * [misc]points: Sampling 13 additional inputs, on iter 8 have 7987 / 8000 1545990971.038 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990971.039 * * * * [misc]points: Sampling 6 additional inputs, on iter 9 have 7994 / 8000 1545990971.041 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990971.041 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 7998 / 8000 1545990971.044 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990971.044 * * * * [exit]points: Sampled 8002 points with exact outputs 1545990971.257 * [misc]regime-testing: Baseline error score: 0 1545990971.258 * [misc]regime-testing: Oracle error score: 0 1545990971.258 * [misc]regime-testing: End program error score: 0 1545990971.350 * [misc]regime-testing: Target error score: 0