1539794394.679 * [misc]progress: [Phase 1 of 3] Setting up. 1539794394.679 * * * [misc]progress: [1/2] Preparing points 1539794394.680 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539794394.680 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539794394.681 * * * * [misc]points: Setting MPFR precision to 64 1539794394.682 * * * * [misc]points: Setting MPFR precision to 320 1539794394.682 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539794394.683 * * * * [misc]points: Setting MPFR precision to 64 1539794394.684 * * * * [misc]points: Setting MPFR precision to 320 1539794394.685 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539794394.687 * * * * [misc]points: Setting MPFR precision to 64 1539794394.689 * * * * [misc]points: Setting MPFR precision to 320 1539794394.691 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539794394.693 * * * * [misc]points: Setting MPFR precision to 64 1539794394.697 * * * * [misc]points: Setting MPFR precision to 320 1539794394.701 * * * * [misc]points: Computing exacts for 256 points 1539794394.702 * * * * [misc]points: Setting MPFR precision to 64 1539794394.708 * * * * [misc]points: Setting MPFR precision to 320 1539794394.714 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794394.714 * * * * [misc]points: Sampling 106 additional inputs, on iter 1 have 150 / 256 1539794394.714 * * * * [misc]points: Computing exacts on every 6 of 106 points to ramp up precision 1539794394.715 * * * * [misc]points: Setting MPFR precision to 64 1539794394.715 * * * * [misc]points: Setting MPFR precision to 320 1539794394.716 * * * * [misc]points: Computing exacts on every 3 of 106 points to ramp up precision 1539794394.717 * * * * [misc]points: Setting MPFR precision to 64 1539794394.717 * * * * [misc]points: Setting MPFR precision to 320 1539794394.718 * * * * [misc]points: Computing exacts for 106 points 1539794394.719 * * * * [misc]points: Setting MPFR precision to 64 1539794394.721 * * * * [misc]points: Setting MPFR precision to 320 1539794394.723 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794394.723 * * * * [misc]points: Sampling 49 additional inputs, on iter 2 have 207 / 256 1539794394.723 * * * * [misc]points: Computing exacts on every 3 of 49 points to ramp up precision 1539794394.724 * * * * [misc]points: Setting MPFR precision to 64 1539794394.725 * * * * [misc]points: Setting MPFR precision to 320 1539794394.725 * * * * [misc]points: Computing exacts for 49 points 1539794394.726 * * * * [misc]points: Setting MPFR precision to 64 1539794394.739 * * * * [misc]points: Setting MPFR precision to 320 1539794394.740 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794394.740 * * * * [misc]points: Sampling 17 additional inputs, on iter 3 have 239 / 256 1539794394.740 * * * * [misc]points: Computing exacts for 17 points 1539794394.741 * * * * [misc]points: Setting MPFR precision to 64 1539794394.741 * * * * [misc]points: Setting MPFR precision to 320 1539794394.742 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794394.742 * * * * [misc]points: Sampling 7 additional inputs, on iter 4 have 249 / 256 1539794394.742 * * * * [misc]points: Computing exacts for 7 points 1539794394.743 * * * * [misc]points: Setting MPFR precision to 64 1539794394.743 * * * * [misc]points: Setting MPFR precision to 320 1539794394.743 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794394.743 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 252 / 256 1539794394.743 * * * * [misc]points: Computing exacts for 4 points 1539794394.744 * * * * [misc]points: Setting MPFR precision to 64 1539794394.744 * * * * [misc]points: Setting MPFR precision to 320 1539794394.744 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794394.744 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 255 / 256 1539794394.744 * * * * [misc]points: Computing exacts for 4 points 1539794394.745 * * * * [misc]points: Setting MPFR precision to 64 1539794394.745 * * * * [misc]points: Setting MPFR precision to 320 1539794394.745 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794394.745 * * * * [exit]points: Sampled 257 points with exact outputs 1539794394.745 * * * [misc]progress: [2/2] Setting up program. 1539794394.747 * [misc]progress: [Phase 2 of 3] Improving. 1539794394.748 * [enter]simplify: Simplifying (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) 1539794394.748 * * [misc]simplify: iters left: 6 (9 enodes) 1539794394.749 * * [misc]simplify: iters left: 5 (24 enodes) 1539794394.754 * * [misc]simplify: iters left: 4 (49 enodes) 1539794394.761 * * [misc]simplify: iters left: 3 (64 enodes) 1539794394.768 * * [misc]simplify: iters left: 2 (68 enodes) 1539794394.776 * * [misc]simplify: iters left: 1 (71 enodes) 1539794394.781 * [exit]simplify: Simplified to (pow (* d1 d1) 5) 1539794394.788 * * [misc]progress: iteration 1 / 4 1539794394.788 * * * [misc]progress: picking best candidate 1539794394.794 * * * * [misc]pick: Picked # 1539794394.794 * * * [misc]progress: localizing error 1539794394.847 * * * [misc]progress: generating rewritten candidates 1539794394.847 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 2 1 1 1 1) 1539794394.852 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2 1 1 1) 1539794394.863 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1) 1539794395.097 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2 1) 1539794395.137 * * * [misc]progress: generating series expansions 1539794395.137 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 2 1 1 1 1) 1539794395.137 * [misc]backup-simplify: Simplify (* d1 (* d1 d1)) into (pow d1 3) 1539794395.137 * [misc]approximate: Taking taylor expansion of (pow d1 3) in (d1) around 0 1539794395.137 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1539794395.137 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794395.137 * [misc]backup-simplify: Simplify 0 into 0 1539794395.137 * [misc]backup-simplify: Simplify 1 into 1 1539794395.137 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1539794395.137 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794395.137 * [misc]backup-simplify: Simplify 0 into 0 1539794395.137 * [misc]backup-simplify: Simplify 1 into 1 1539794395.138 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.138 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.138 * [misc]backup-simplify: Simplify 1 into 1 1539794395.138 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.138 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.138 * [misc]backup-simplify: Simplify 0 into 0 1539794395.138 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.139 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.139 * [misc]backup-simplify: Simplify 0 into 0 1539794395.139 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.139 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.139 * [misc]backup-simplify: Simplify 0 into 0 1539794395.139 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.139 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.139 * [misc]backup-simplify: Simplify 0 into 0 1539794395.140 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.140 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.140 * [misc]backup-simplify: Simplify 0 into 0 1539794395.140 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.141 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.141 * [misc]backup-simplify: Simplify 0 into 0 1539794395.141 * [misc]backup-simplify: Simplify (* 1 (pow d1 3)) into (pow d1 3) 1539794395.141 * [misc]backup-simplify: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3)) 1539794395.141 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0 1539794395.141 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 1539794395.141 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1539794395.141 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794395.141 * [misc]backup-simplify: Simplify 0 into 0 1539794395.141 * [misc]backup-simplify: Simplify 1 into 1 1539794395.141 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.141 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.141 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794395.141 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 1539794395.141 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1539794395.141 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794395.141 * [misc]backup-simplify: Simplify 0 into 0 1539794395.141 * [misc]backup-simplify: Simplify 1 into 1 1539794395.141 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.141 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.142 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794395.142 * [misc]backup-simplify: Simplify 1 into 1 1539794395.142 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.142 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.142 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539794395.142 * [misc]backup-simplify: Simplify 0 into 0 1539794395.142 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.142 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.143 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.143 * [misc]backup-simplify: Simplify 0 into 0 1539794395.143 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.143 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.143 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.143 * [misc]backup-simplify: Simplify 0 into 0 1539794395.143 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.144 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.144 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.144 * [misc]backup-simplify: Simplify 0 into 0 1539794395.144 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.144 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.145 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.145 * [misc]backup-simplify: Simplify 0 into 0 1539794395.145 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.145 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.146 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.146 * [misc]backup-simplify: Simplify 0 into 0 1539794395.146 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3) 1539794395.146 * [misc]backup-simplify: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3)) 1539794395.146 * [misc]approximate: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0 1539794395.146 * [misc]taylor: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 1539794395.146 * [misc]taylor: Taking taylor expansion of -1 in d1 1539794395.146 * [misc]backup-simplify: Simplify -1 into -1 1539794395.146 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1539794395.146 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794395.146 * [misc]backup-simplify: Simplify 0 into 0 1539794395.146 * [misc]backup-simplify: Simplify 1 into 1 1539794395.146 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.146 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.146 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539794395.146 * [misc]taylor: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 1539794395.146 * [misc]taylor: Taking taylor expansion of -1 in d1 1539794395.146 * [misc]backup-simplify: Simplify -1 into -1 1539794395.146 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1539794395.146 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794395.146 * [misc]backup-simplify: Simplify 0 into 0 1539794395.146 * [misc]backup-simplify: Simplify 1 into 1 1539794395.147 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.147 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.147 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539794395.147 * [misc]backup-simplify: Simplify -1 into -1 1539794395.147 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.147 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.147 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1539794395.147 * [misc]backup-simplify: Simplify 0 into 0 1539794395.147 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.148 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.148 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.148 * [misc]backup-simplify: Simplify 0 into 0 1539794395.148 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.148 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.148 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.148 * [misc]backup-simplify: Simplify 0 into 0 1539794395.149 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.149 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.149 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.149 * [misc]backup-simplify: Simplify 0 into 0 1539794395.149 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.150 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.150 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.150 * [misc]backup-simplify: Simplify 0 into 0 1539794395.150 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.150 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.151 * [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 1539794395.151 * [misc]backup-simplify: Simplify 0 into 0 1539794395.151 * [misc]backup-simplify: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3) 1539794395.151 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2 1 1 1) 1539794395.151 * [misc]backup-simplify: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4) 1539794395.151 * [misc]approximate: Taking taylor expansion of (pow d1 4) in (d1) around 0 1539794395.151 * [misc]taylor: Taking taylor expansion of (pow d1 4) in d1 1539794395.151 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794395.151 * [misc]backup-simplify: Simplify 0 into 0 1539794395.151 * [misc]backup-simplify: Simplify 1 into 1 1539794395.151 * [misc]taylor: Taking taylor expansion of (pow d1 4) in d1 1539794395.151 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794395.151 * [misc]backup-simplify: Simplify 0 into 0 1539794395.151 * [misc]backup-simplify: Simplify 1 into 1 1539794395.151 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.152 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.152 * [misc]backup-simplify: Simplify 1 into 1 1539794395.152 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.152 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.152 * [misc]backup-simplify: Simplify 0 into 0 1539794395.152 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.152 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.152 * [misc]backup-simplify: Simplify 0 into 0 1539794395.152 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.153 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.153 * [misc]backup-simplify: Simplify 0 into 0 1539794395.153 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.153 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.153 * [misc]backup-simplify: Simplify 0 into 0 1539794395.153 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.154 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.154 * [misc]backup-simplify: Simplify 0 into 0 1539794395.154 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.154 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.154 * [misc]backup-simplify: Simplify 0 into 0 1539794395.154 * [misc]backup-simplify: Simplify (* 1 (pow d1 4)) into (pow d1 4) 1539794395.154 * [misc]backup-simplify: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4)) 1539794395.154 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 1539794395.154 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 1539794395.154 * [misc]taylor: Taking taylor expansion of (pow d1 4) in d1 1539794395.154 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794395.154 * [misc]backup-simplify: Simplify 0 into 0 1539794395.154 * [misc]backup-simplify: Simplify 1 into 1 1539794395.155 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.155 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.155 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794395.155 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 1539794395.155 * [misc]taylor: Taking taylor expansion of (pow d1 4) in d1 1539794395.155 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794395.155 * [misc]backup-simplify: Simplify 0 into 0 1539794395.155 * [misc]backup-simplify: Simplify 1 into 1 1539794395.155 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.155 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.155 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794395.155 * [misc]backup-simplify: Simplify 1 into 1 1539794395.155 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.156 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.156 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539794395.156 * [misc]backup-simplify: Simplify 0 into 0 1539794395.156 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.156 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.156 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.156 * [misc]backup-simplify: Simplify 0 into 0 1539794395.156 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.157 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.157 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.157 * [misc]backup-simplify: Simplify 0 into 0 1539794395.157 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.157 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.158 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.158 * [misc]backup-simplify: Simplify 0 into 0 1539794395.158 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.158 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.158 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.158 * [misc]backup-simplify: Simplify 0 into 0 1539794395.159 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.159 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.159 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.159 * [misc]backup-simplify: Simplify 0 into 0 1539794395.159 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4) 1539794395.160 * [misc]backup-simplify: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4)) 1539794395.160 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 1539794395.160 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 1539794395.160 * [misc]taylor: Taking taylor expansion of (pow d1 4) in d1 1539794395.160 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794395.160 * [misc]backup-simplify: Simplify 0 into 0 1539794395.160 * [misc]backup-simplify: Simplify 1 into 1 1539794395.160 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.160 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.160 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794395.160 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 1539794395.160 * [misc]taylor: Taking taylor expansion of (pow d1 4) in d1 1539794395.160 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794395.160 * [misc]backup-simplify: Simplify 0 into 0 1539794395.160 * [misc]backup-simplify: Simplify 1 into 1 1539794395.160 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.160 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.160 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794395.160 * [misc]backup-simplify: Simplify 1 into 1 1539794395.161 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.161 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.161 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539794395.161 * [misc]backup-simplify: Simplify 0 into 0 1539794395.161 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.161 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.161 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.161 * [misc]backup-simplify: Simplify 0 into 0 1539794395.162 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.162 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.162 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.162 * [misc]backup-simplify: Simplify 0 into 0 1539794395.162 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.162 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.163 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.163 * [misc]backup-simplify: Simplify 0 into 0 1539794395.163 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.163 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.164 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.164 * [misc]backup-simplify: Simplify 0 into 0 1539794395.164 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.165 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.165 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.165 * [misc]backup-simplify: Simplify 0 into 0 1539794395.166 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4) 1539794395.166 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1) 1539794395.166 * [misc]backup-simplify: Simplify (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) into (pow d1 9) 1539794395.166 * [misc]approximate: Taking taylor expansion of (pow d1 9) in (d1) around 0 1539794395.166 * [misc]taylor: Taking taylor expansion of (pow d1 9) in d1 1539794395.166 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794395.166 * [misc]backup-simplify: Simplify 0 into 0 1539794395.166 * [misc]backup-simplify: Simplify 1 into 1 1539794395.166 * [misc]taylor: Taking taylor expansion of (pow d1 9) in d1 1539794395.166 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794395.166 * [misc]backup-simplify: Simplify 0 into 0 1539794395.166 * [misc]backup-simplify: Simplify 1 into 1 1539794395.166 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.167 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.167 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.167 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.167 * [misc]backup-simplify: Simplify 1 into 1 1539794395.167 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.167 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.168 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.168 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.168 * [misc]backup-simplify: Simplify 0 into 0 1539794395.168 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.168 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.169 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.169 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.169 * [misc]backup-simplify: Simplify 0 into 0 1539794395.170 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.170 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.171 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.171 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.171 * [misc]backup-simplify: Simplify 0 into 0 1539794395.171 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.172 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.172 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.172 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.172 * [misc]backup-simplify: Simplify 0 into 0 1539794395.173 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.173 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.174 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.174 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.174 * [misc]backup-simplify: Simplify 0 into 0 1539794395.175 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.175 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.176 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.176 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.176 * [misc]backup-simplify: Simplify 0 into 0 1539794395.176 * [misc]backup-simplify: Simplify (* 1 (pow d1 9)) into (pow d1 9) 1539794395.177 * [misc]backup-simplify: Simplify (* (/ 1 d1) (* (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1))) into (/ 1 (pow d1 9)) 1539794395.177 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 9)) in (d1) around 0 1539794395.177 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 9)) in d1 1539794395.177 * [misc]taylor: Taking taylor expansion of (pow d1 9) in d1 1539794395.177 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794395.177 * [misc]backup-simplify: Simplify 0 into 0 1539794395.177 * [misc]backup-simplify: Simplify 1 into 1 1539794395.177 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.177 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.177 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.178 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.178 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794395.178 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 9)) in d1 1539794395.178 * [misc]taylor: Taking taylor expansion of (pow d1 9) in d1 1539794395.178 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794395.178 * [misc]backup-simplify: Simplify 0 into 0 1539794395.178 * [misc]backup-simplify: Simplify 1 into 1 1539794395.178 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.178 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.178 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.178 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.179 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794395.179 * [misc]backup-simplify: Simplify 1 into 1 1539794395.179 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.179 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.179 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.180 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.180 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539794395.180 * [misc]backup-simplify: Simplify 0 into 0 1539794395.180 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.180 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.181 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.181 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.181 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.181 * [misc]backup-simplify: Simplify 0 into 0 1539794395.182 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.182 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.182 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.183 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.183 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.183 * [misc]backup-simplify: Simplify 0 into 0 1539794395.183 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.184 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.184 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.185 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.185 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.185 * [misc]backup-simplify: Simplify 0 into 0 1539794395.185 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.186 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.186 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.187 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.187 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.187 * [misc]backup-simplify: Simplify 0 into 0 1539794395.188 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.188 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.189 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.189 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.190 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.190 * [misc]backup-simplify: Simplify 0 into 0 1539794395.190 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 9)) into (pow d1 9) 1539794395.191 * [misc]backup-simplify: Simplify (* (/ 1 (- d1)) (* (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1)))) into (/ -1 (pow d1 9)) 1539794395.191 * [misc]approximate: Taking taylor expansion of (/ -1 (pow d1 9)) in (d1) around 0 1539794395.191 * [misc]taylor: Taking taylor expansion of (/ -1 (pow d1 9)) in d1 1539794395.191 * [misc]taylor: Taking taylor expansion of -1 in d1 1539794395.191 * [misc]backup-simplify: Simplify -1 into -1 1539794395.191 * [misc]taylor: Taking taylor expansion of (pow d1 9) in d1 1539794395.191 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794395.191 * [misc]backup-simplify: Simplify 0 into 0 1539794395.191 * [misc]backup-simplify: Simplify 1 into 1 1539794395.191 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.191 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.192 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.192 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.192 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539794395.192 * [misc]taylor: Taking taylor expansion of (/ -1 (pow d1 9)) in d1 1539794395.192 * [misc]taylor: Taking taylor expansion of -1 in d1 1539794395.192 * [misc]backup-simplify: Simplify -1 into -1 1539794395.192 * [misc]taylor: Taking taylor expansion of (pow d1 9) in d1 1539794395.192 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794395.192 * [misc]backup-simplify: Simplify 0 into 0 1539794395.192 * [misc]backup-simplify: Simplify 1 into 1 1539794395.192 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.192 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.193 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.193 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.193 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539794395.193 * [misc]backup-simplify: Simplify -1 into -1 1539794395.193 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.193 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.194 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.194 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.194 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1539794395.194 * [misc]backup-simplify: Simplify 0 into 0 1539794395.194 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.195 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.195 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.195 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.196 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.196 * [misc]backup-simplify: Simplify 0 into 0 1539794395.196 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.196 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.197 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.197 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.197 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.197 * [misc]backup-simplify: Simplify 0 into 0 1539794395.198 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.198 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.199 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.199 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.199 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.199 * [misc]backup-simplify: Simplify 0 into 0 1539794395.200 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.200 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.201 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.201 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.202 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.202 * [misc]backup-simplify: Simplify 0 into 0 1539794395.202 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.203 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.203 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.204 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.204 * [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 1539794395.205 * [misc]backup-simplify: Simplify 0 into 0 1539794395.205 * [misc]backup-simplify: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 9)) into (pow d1 9) 1539794395.205 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2 1) 1539794395.205 * [misc]backup-simplify: Simplify (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) into (pow d1 7) 1539794395.205 * [misc]approximate: Taking taylor expansion of (pow d1 7) in (d1) around 0 1539794395.205 * [misc]taylor: Taking taylor expansion of (pow d1 7) in d1 1539794395.205 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794395.205 * [misc]backup-simplify: Simplify 0 into 0 1539794395.205 * [misc]backup-simplify: Simplify 1 into 1 1539794395.205 * [misc]taylor: Taking taylor expansion of (pow d1 7) in d1 1539794395.205 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794395.205 * [misc]backup-simplify: Simplify 0 into 0 1539794395.205 * [misc]backup-simplify: Simplify 1 into 1 1539794395.206 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.206 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.206 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.206 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.206 * [misc]backup-simplify: Simplify 1 into 1 1539794395.206 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.206 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.207 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.207 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.207 * [misc]backup-simplify: Simplify 0 into 0 1539794395.207 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.207 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.208 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.208 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.208 * [misc]backup-simplify: Simplify 0 into 0 1539794395.208 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.209 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.209 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.209 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.209 * [misc]backup-simplify: Simplify 0 into 0 1539794395.210 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.210 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.210 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.211 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.211 * [misc]backup-simplify: Simplify 0 into 0 1539794395.211 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.212 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.212 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.213 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.213 * [misc]backup-simplify: Simplify 0 into 0 1539794395.213 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.214 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.214 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.215 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.215 * [misc]backup-simplify: Simplify 0 into 0 1539794395.215 * [misc]backup-simplify: Simplify (* 1 (pow d1 7)) into (pow d1 7) 1539794395.215 * [misc]backup-simplify: Simplify (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 7)) 1539794395.215 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 7)) in (d1) around 0 1539794395.215 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 1539794395.215 * [misc]taylor: Taking taylor expansion of (pow d1 7) in d1 1539794395.215 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794395.215 * [misc]backup-simplify: Simplify 0 into 0 1539794395.215 * [misc]backup-simplify: Simplify 1 into 1 1539794395.215 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.216 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.216 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.216 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.216 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794395.216 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 1539794395.216 * [misc]taylor: Taking taylor expansion of (pow d1 7) in d1 1539794395.216 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794395.216 * [misc]backup-simplify: Simplify 0 into 0 1539794395.216 * [misc]backup-simplify: Simplify 1 into 1 1539794395.216 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.216 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.217 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.217 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.217 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794395.217 * [misc]backup-simplify: Simplify 1 into 1 1539794395.217 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.217 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.218 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.218 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.218 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539794395.218 * [misc]backup-simplify: Simplify 0 into 0 1539794395.218 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.219 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.219 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.219 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.220 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.220 * [misc]backup-simplify: Simplify 0 into 0 1539794395.220 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.220 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.221 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.221 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.221 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.221 * [misc]backup-simplify: Simplify 0 into 0 1539794395.222 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.222 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.222 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.223 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.223 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.223 * [misc]backup-simplify: Simplify 0 into 0 1539794395.224 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.224 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.225 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.226 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.227 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.227 * [misc]backup-simplify: Simplify 0 into 0 1539794395.227 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.228 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.228 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.229 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.229 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.230 * [misc]backup-simplify: Simplify 0 into 0 1539794395.230 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 7)) into (pow d1 7) 1539794395.230 * [misc]backup-simplify: Simplify (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 7)) 1539794395.230 * [misc]approximate: Taking taylor expansion of (/ -1 (pow d1 7)) in (d1) around 0 1539794395.230 * [misc]taylor: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 1539794395.230 * [misc]taylor: Taking taylor expansion of -1 in d1 1539794395.230 * [misc]backup-simplify: Simplify -1 into -1 1539794395.230 * [misc]taylor: Taking taylor expansion of (pow d1 7) in d1 1539794395.230 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794395.230 * [misc]backup-simplify: Simplify 0 into 0 1539794395.230 * [misc]backup-simplify: Simplify 1 into 1 1539794395.231 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.231 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.231 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.231 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.231 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539794395.231 * [misc]taylor: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 1539794395.231 * [misc]taylor: Taking taylor expansion of -1 in d1 1539794395.231 * [misc]backup-simplify: Simplify -1 into -1 1539794395.231 * [misc]taylor: Taking taylor expansion of (pow d1 7) in d1 1539794395.231 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794395.231 * [misc]backup-simplify: Simplify 0 into 0 1539794395.231 * [misc]backup-simplify: Simplify 1 into 1 1539794395.232 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.232 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.232 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.232 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794395.232 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1539794395.232 * [misc]backup-simplify: Simplify -1 into -1 1539794395.232 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.233 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.233 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.233 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794395.233 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1539794395.233 * [misc]backup-simplify: Simplify 0 into 0 1539794395.234 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.234 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.234 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.234 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794395.235 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.235 * [misc]backup-simplify: Simplify 0 into 0 1539794395.235 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.235 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.236 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.236 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794395.236 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.236 * [misc]backup-simplify: Simplify 0 into 0 1539794395.237 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.237 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.238 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.238 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794395.238 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.239 * [misc]backup-simplify: Simplify 0 into 0 1539794395.239 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.239 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.240 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.240 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794395.241 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794395.241 * [misc]backup-simplify: Simplify 0 into 0 1539794395.241 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.242 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.242 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.243 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794395.243 * [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 1539794395.243 * [misc]backup-simplify: Simplify 0 into 0 1539794395.243 * [misc]backup-simplify: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 7)) into (pow d1 7) 1539794395.244 * * * [misc]progress: simplifying candidates 1539794395.244 * * * * [misc]progress: [ 1 / 63 ] simplifiying candidate # 1539794395.244 * * * * [misc]progress: [ 2 / 63 ] simplifiying candidate # 1539794395.244 * * * * [misc]progress: [ 3 / 63 ] simplifiying candidate # 1539794395.244 * * * * [misc]progress: [ 4 / 63 ] simplifiying candidate # 1539794395.244 * * * * [misc]progress: [ 5 / 63 ] simplifiying candidate # 1539794395.244 * * * * [misc]progress: [ 6 / 63 ] simplifiying candidate # 1539794395.244 * * * * [misc]progress: [ 7 / 63 ] simplifiying candidate # 1539794395.244 * * * * [misc]progress: [ 8 / 63 ] simplifiying candidate # 1539794395.244 * * * * [misc]progress: [ 9 / 63 ] simplifiying candidate # 1539794395.244 * * * * [misc]progress: [ 10 / 63 ] simplifiying candidate # 1539794395.244 * * * * [misc]progress: [ 11 / 63 ] simplifiying candidate # 1539794395.244 * * * * [misc]progress: [ 12 / 63 ] simplifiying candidate # 1539794395.244 * * * * [misc]progress: [ 13 / 63 ] simplifiying candidate # 1539794395.244 * * * * [misc]progress: [ 14 / 63 ] simplifiying candidate # 1539794395.245 * * * * [misc]progress: [ 15 / 63 ] simplifiying candidate # 1539794395.245 * * * * [misc]progress: [ 16 / 63 ] simplifiying candidate # 1539794395.245 * * * * [misc]progress: [ 17 / 63 ] simplifiying candidate # 1539794395.245 * * * * [misc]progress: [ 18 / 63 ] simplifiying candidate # 1539794395.245 * * * * [misc]progress: [ 19 / 63 ] simplifiying candidate # 1539794395.245 * * * * [misc]progress: [ 20 / 63 ] simplifiying candidate # 1539794395.245 * * * * [misc]progress: [ 21 / 63 ] simplifiying candidate # 1539794395.245 * * * * [misc]progress: [ 22 / 63 ] simplifiying candidate # 1539794395.245 * * * * [misc]progress: [ 23 / 63 ] simplifiying candidate # 1539794395.245 * * * * [misc]progress: [ 24 / 63 ] simplifiying candidate # 1539794395.245 * * * * [misc]progress: [ 25 / 63 ] simplifiying candidate # 1539794395.245 * * * * [misc]progress: [ 26 / 63 ] simplifiying candidate # 1539794395.245 * * * * [misc]progress: [ 27 / 63 ] simplifiying candidate # 1539794395.245 * * * * [misc]progress: [ 28 / 63 ] simplifiying candidate # 1539794395.245 * * * * [misc]progress: [ 29 / 63 ] simplifiying candidate # 1539794395.245 * * * * [misc]progress: [ 30 / 63 ] simplifiying candidate # 1539794395.246 * * * * [misc]progress: [ 31 / 63 ] simplifiying candidate # 1539794395.246 * * * * [misc]progress: [ 32 / 63 ] simplifiying candidate # 1539794395.246 * * * * [misc]progress: [ 33 / 63 ] simplifiying candidate # 1539794395.246 * * * * [misc]progress: [ 34 / 63 ] simplifiying candidate # 1539794395.246 * * * * [misc]progress: [ 35 / 63 ] simplifiying candidate # 1539794395.246 * * * * [misc]progress: [ 36 / 63 ] simplifiying candidate # 1539794395.246 * * * * [misc]progress: [ 37 / 63 ] simplifiying candidate # 1539794395.246 * * * * [misc]progress: [ 38 / 63 ] simplifiying candidate # 1539794395.246 * [enter]simplify: Simplifying (+ (+ (+ 3 1) 1) 2) 1539794395.246 * * [misc]simplify: iters left: 6 (6 enodes) 1539794395.253 * * [misc]simplify: iters left: 5 (18 enodes) 1539794395.255 * [exit]simplify: Simplified to 7 1539794395.255 * [misc]simplify: Simplified (2 1 2 1 2) to (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1)) 1539794395.255 * * * * [misc]progress: [ 39 / 63 ] simplifiying candidate # 1539794395.256 * [enter]simplify: Simplifying (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1539794395.256 * * [misc]simplify: iters left: 6 (6 enodes) 1539794395.258 * * [misc]simplify: iters left: 5 (16 enodes) 1539794395.265 * * [misc]simplify: iters left: 4 (32 enodes) 1539794395.273 * * [misc]simplify: iters left: 3 (35 enodes) 1539794395.277 * [exit]simplify: Simplified to (* (pow d1 3) (pow d1 4)) 1539794395.278 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (d1) (* (* d1 (* (pow (* (pow d1 3) (pow d1 4)) 1) d1)) d1)) 1539794395.278 * * * * [misc]progress: [ 40 / 63 ] simplifiying candidate # 1539794395.278 * * * * [misc]progress: [ 41 / 63 ] simplifiying candidate # 1539794395.278 * [enter]simplify: Simplifying (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1))) 1539794395.278 * * [misc]simplify: iters left: 6 (8 enodes) 1539794395.279 * * [misc]simplify: iters left: 5 (19 enodes) 1539794395.282 * * [misc]simplify: iters left: 4 (37 enodes) 1539794395.287 * * [misc]simplify: iters left: 3 (48 enodes) 1539794395.295 * * [misc]simplify: iters left: 2 (70 enodes) 1539794395.303 * * [misc]simplify: iters left: 1 (81 enodes) 1539794395.312 * [exit]simplify: Simplified to (* (log d1) 7) 1539794395.312 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (d1) (* (* d1 (* (exp (* (log d1) 7)) d1)) d1)) 1539794395.312 * * * * [misc]progress: [ 42 / 63 ] simplifiying candidate # 1539794395.312 * * * * [misc]progress: [ 43 / 63 ] simplifiying candidate # 1539794395.312 * * * * [misc]progress: [ 44 / 63 ] simplifiying candidate # 1539794395.312 * [enter]simplify: Simplifying (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) 1539794395.313 * * [misc]simplify: iters left: 6 (10 enodes) 1539794395.315 * * [misc]simplify: iters left: 5 (30 enodes) 1539794395.321 * * [misc]simplify: iters left: 4 (112 enodes) 1539794395.367 * * [misc]simplify: iters left: 3 (339 enodes) 1539794395.519 * * [misc]simplify: iters left: 2 (376 enodes) 1539794395.605 * * [misc]simplify: iters left: 1 (379 enodes) 1539794395.671 * [exit]simplify: Simplified to (* d1 (pow (pow d1 5) 4)) 1539794395.671 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (d1) (* (* d1 (* (cbrt (* d1 (pow (pow d1 5) 4))) d1)) d1)) 1539794395.671 * * * * [misc]progress: [ 45 / 63 ] simplifiying candidate # 1539794395.671 * * * * [misc]progress: [ 46 / 63 ] simplifiying candidate # 1539794395.671 * * * * [misc]progress: [ 47 / 63 ] simplifiying candidate # 1539794395.672 * * * * [misc]progress: [ 48 / 63 ] simplifiying candidate # 1539794395.672 * * * * [misc]progress: [ 49 / 63 ] simplifiying candidate # 1539794395.672 * * * * [misc]progress: [ 50 / 63 ] simplifiying candidate # 1539794395.672 * [enter]simplify: Simplifying (* (* d1 (* d1 d1)) d1) 1539794395.672 * * [misc]simplify: iters left: 6 (4 enodes) 1539794395.674 * * [misc]simplify: iters left: 5 (8 enodes) 1539794395.677 * * [misc]simplify: iters left: 4 (13 enodes) 1539794395.681 * * [misc]simplify: iters left: 3 (15 enodes) 1539794395.684 * [exit]simplify: Simplified to (pow d1 4) 1539794395.684 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (d1) (* (* d1 (* (* (pow d1 4) (* d1 (* d1 d1))) d1)) d1)) 1539794395.684 * * * * [misc]progress: [ 51 / 63 ] simplifiying candidate # 1539794395.684 * * * * [misc]progress: [ 52 / 63 ] simplifiying candidate # 1539794395.684 * [enter]simplify: Simplifying (pow d1 3) 1539794395.684 * * [misc]simplify: iters left: 1 (3 enodes) 1539794395.685 * [exit]simplify: Simplified to (pow d1 3) 1539794395.685 * [misc]simplify: Simplified (2 1 2 1 1 1 1) to (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1)) 1539794395.685 * * * * [misc]progress: [ 53 / 63 ] simplifiying candidate # 1539794395.686 * [enter]simplify: Simplifying (pow d1 3) 1539794395.686 * * [misc]simplify: iters left: 1 (3 enodes) 1539794395.687 * [exit]simplify: Simplified to (pow d1 3) 1539794395.687 * [misc]simplify: Simplified (2 1 2 1 1 1 1) to (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1)) 1539794395.687 * * * * [misc]progress: [ 54 / 63 ] simplifiying candidate # 1539794395.687 * [enter]simplify: Simplifying (pow d1 3) 1539794395.687 * * [misc]simplify: iters left: 1 (3 enodes) 1539794395.688 * [exit]simplify: Simplified to (pow d1 3) 1539794395.688 * [misc]simplify: Simplified (2 1 2 1 1 1 1) to (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1)) 1539794395.688 * * * * [misc]progress: [ 55 / 63 ] simplifiying candidate # 1539794395.688 * [enter]simplify: Simplifying (pow d1 4) 1539794395.688 * * [misc]simplify: iters left: 1 (3 enodes) 1539794395.689 * [exit]simplify: Simplified to (pow d1 4) 1539794395.689 * [misc]simplify: Simplified (2 1 2 1 1 1) to (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1)) 1539794395.689 * * * * [misc]progress: [ 56 / 63 ] simplifiying candidate # 1539794395.690 * [enter]simplify: Simplifying (pow d1 4) 1539794395.690 * * [misc]simplify: iters left: 1 (3 enodes) 1539794395.691 * [exit]simplify: Simplified to (pow d1 4) 1539794395.691 * [misc]simplify: Simplified (2 1 2 1 1 1) to (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1)) 1539794395.691 * * * * [misc]progress: [ 57 / 63 ] simplifiying candidate # 1539794395.691 * [enter]simplify: Simplifying (pow d1 4) 1539794395.691 * * [misc]simplify: iters left: 1 (3 enodes) 1539794395.692 * [exit]simplify: Simplified to (pow d1 4) 1539794395.692 * [misc]simplify: Simplified (2 1 2 1 1 1) to (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1)) 1539794395.692 * * * * [misc]progress: [ 58 / 63 ] simplifiying candidate # 1539794395.692 * [enter]simplify: Simplifying (pow d1 9) 1539794395.692 * * [misc]simplify: iters left: 1 (3 enodes) 1539794395.693 * [exit]simplify: Simplified to (pow d1 9) 1539794395.693 * [misc]simplify: Simplified (2 1) to (λ (d1) (* (pow d1 9) d1)) 1539794395.693 * * * * [misc]progress: [ 59 / 63 ] simplifiying candidate # 1539794395.694 * [enter]simplify: Simplifying (pow d1 9) 1539794395.694 * * [misc]simplify: iters left: 1 (3 enodes) 1539794395.694 * [exit]simplify: Simplified to (pow d1 9) 1539794395.694 * [misc]simplify: Simplified (2 1) to (λ (d1) (* (pow d1 9) d1)) 1539794395.695 * * * * [misc]progress: [ 60 / 63 ] simplifiying candidate # 1539794395.695 * [enter]simplify: Simplifying (pow d1 9) 1539794395.695 * * [misc]simplify: iters left: 1 (3 enodes) 1539794395.696 * [exit]simplify: Simplified to (pow d1 9) 1539794395.696 * [misc]simplify: Simplified (2 1) to (λ (d1) (* (pow d1 9) d1)) 1539794395.696 * * * * [misc]progress: [ 61 / 63 ] simplifiying candidate # 1539794395.696 * [enter]simplify: Simplifying (pow d1 7) 1539794395.696 * * [misc]simplify: iters left: 1 (3 enodes) 1539794395.697 * [exit]simplify: Simplified to (pow d1 7) 1539794395.697 * [misc]simplify: Simplified (2 1 2 1) to (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1)) 1539794395.697 * * * * [misc]progress: [ 62 / 63 ] simplifiying candidate # 1539794395.697 * [enter]simplify: Simplifying (pow d1 7) 1539794395.697 * * [misc]simplify: iters left: 1 (3 enodes) 1539794395.698 * [exit]simplify: Simplified to (pow d1 7) 1539794395.698 * [misc]simplify: Simplified (2 1 2 1) to (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1)) 1539794395.698 * * * * [misc]progress: [ 63 / 63 ] simplifiying candidate # 1539794395.698 * [enter]simplify: Simplifying (pow d1 7) 1539794395.698 * * [misc]simplify: iters left: 1 (3 enodes) 1539794395.699 * [exit]simplify: Simplified to (pow d1 7) 1539794395.699 * [misc]simplify: Simplified (2 1 2 1) to (λ (d1) (* (* d1 (* (pow d1 7) d1)) d1)) 1539794395.699 * * * [misc]progress: adding candidates to table 1539794396.197 * * [misc]progress: iteration 2 / 4 1539794396.197 * * * [misc]progress: picking best candidate 1539794396.202 * * * * [misc]pick: Picked # 1539794396.202 * * * [misc]progress: localizing error 1539794396.208 * * * [misc]progress: generating rewritten candidates 1539794396.208 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1539794396.210 * * * [misc]progress: generating series expansions 1539794396.210 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1539794396.210 * [misc]backup-simplify: Simplify (* (pow d1 9) d1) into (pow d1 10) 1539794396.210 * [misc]approximate: Taking taylor expansion of (pow d1 10) in (d1) around 0 1539794396.210 * [misc]taylor: Taking taylor expansion of (pow d1 10) in d1 1539794396.210 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794396.210 * [misc]backup-simplify: Simplify 0 into 0 1539794396.210 * [misc]backup-simplify: Simplify 1 into 1 1539794396.210 * [misc]taylor: Taking taylor expansion of (pow d1 10) in d1 1539794396.210 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794396.210 * [misc]backup-simplify: Simplify 0 into 0 1539794396.210 * [misc]backup-simplify: Simplify 1 into 1 1539794396.211 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794396.211 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794396.211 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794396.211 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794396.211 * [misc]backup-simplify: Simplify 1 into 1 1539794396.211 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794396.211 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794396.211 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794396.211 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794396.211 * [misc]backup-simplify: Simplify 0 into 0 1539794396.212 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794396.212 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794396.212 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794396.212 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794396.212 * [misc]backup-simplify: Simplify 0 into 0 1539794396.212 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794396.213 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794396.213 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794396.213 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794396.213 * [misc]backup-simplify: Simplify 0 into 0 1539794396.213 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794396.213 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794396.214 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794396.214 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794396.214 * [misc]backup-simplify: Simplify 0 into 0 1539794396.214 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794396.214 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794396.215 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794396.215 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794396.215 * [misc]backup-simplify: Simplify 0 into 0 1539794396.215 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794396.216 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794396.216 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794396.216 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794396.216 * [misc]backup-simplify: Simplify 0 into 0 1539794396.216 * [misc]backup-simplify: Simplify (* 1 (pow d1 10)) into (pow d1 10) 1539794396.216 * [misc]backup-simplify: Simplify (* (pow (/ 1 d1) 9) (/ 1 d1)) into (/ 1 (pow d1 10)) 1539794396.216 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 1539794396.216 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 1539794396.216 * [misc]taylor: Taking taylor expansion of (pow d1 10) in d1 1539794396.216 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794396.216 * [misc]backup-simplify: Simplify 0 into 0 1539794396.217 * [misc]backup-simplify: Simplify 1 into 1 1539794396.217 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794396.217 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794396.217 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794396.217 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794396.217 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794396.217 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 1539794396.217 * [misc]taylor: Taking taylor expansion of (pow d1 10) in d1 1539794396.217 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794396.217 * [misc]backup-simplify: Simplify 0 into 0 1539794396.217 * [misc]backup-simplify: Simplify 1 into 1 1539794396.217 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794396.217 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794396.217 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794396.217 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794396.218 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794396.218 * [misc]backup-simplify: Simplify 1 into 1 1539794396.218 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794396.218 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794396.218 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794396.218 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794396.218 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539794396.218 * [misc]backup-simplify: Simplify 0 into 0 1539794396.219 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794396.219 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794396.219 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794396.219 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794396.219 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794396.219 * [misc]backup-simplify: Simplify 0 into 0 1539794396.219 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794396.220 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794396.220 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794396.220 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794396.220 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794396.220 * [misc]backup-simplify: Simplify 0 into 0 1539794396.220 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794396.221 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794396.221 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794396.221 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794396.221 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794396.221 * [misc]backup-simplify: Simplify 0 into 0 1539794396.222 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794396.222 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794396.222 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794396.222 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794396.223 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794396.223 * [misc]backup-simplify: Simplify 0 into 0 1539794396.223 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794396.223 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794396.224 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794396.224 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794396.224 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794396.224 * [misc]backup-simplify: Simplify 0 into 0 1539794396.224 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10) 1539794396.224 * [misc]backup-simplify: Simplify (* (pow (/ 1 (- d1)) 9) (/ 1 (- d1))) into (/ 1 (pow d1 10)) 1539794396.224 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 1539794396.224 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 1539794396.224 * [misc]taylor: Taking taylor expansion of (pow d1 10) in d1 1539794396.224 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794396.224 * [misc]backup-simplify: Simplify 0 into 0 1539794396.224 * [misc]backup-simplify: Simplify 1 into 1 1539794396.225 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794396.225 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794396.225 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794396.225 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794396.225 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794396.225 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 1539794396.225 * [misc]taylor: Taking taylor expansion of (pow d1 10) in d1 1539794396.225 * [misc]taylor: Taking taylor expansion of d1 in d1 1539794396.225 * [misc]backup-simplify: Simplify 0 into 0 1539794396.225 * [misc]backup-simplify: Simplify 1 into 1 1539794396.225 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794396.225 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794396.225 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794396.225 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794396.226 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794396.226 * [misc]backup-simplify: Simplify 1 into 1 1539794396.226 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794396.226 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794396.226 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794396.226 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794396.226 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539794396.226 * [misc]backup-simplify: Simplify 0 into 0 1539794396.226 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794396.227 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794396.227 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794396.227 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794396.227 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794396.227 * [misc]backup-simplify: Simplify 0 into 0 1539794396.227 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794396.228 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794396.228 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794396.228 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794396.228 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794396.228 * [misc]backup-simplify: Simplify 0 into 0 1539794396.228 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794396.229 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794396.229 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794396.229 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794396.229 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794396.229 * [misc]backup-simplify: Simplify 0 into 0 1539794396.230 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794396.232 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794396.232 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794396.232 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794396.232 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794396.232 * [misc]backup-simplify: Simplify 0 into 0 1539794396.233 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794396.233 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794396.233 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794396.234 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1539794396.234 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794396.234 * [misc]backup-simplify: Simplify 0 into 0 1539794396.234 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10) 1539794396.234 * * * [misc]progress: simplifying candidates 1539794396.234 * * * * [misc]progress: [ 1 / 17 ] simplifiying candidate # 1539794396.234 * * * * [misc]progress: [ 2 / 17 ] simplifiying candidate # 1539794396.234 * * * * [misc]progress: [ 3 / 17 ] simplifiying candidate # 1539794396.234 * * * * [misc]progress: [ 4 / 17 ] simplifiying candidate # 1539794396.234 * * * * [misc]progress: [ 5 / 17 ] simplifiying candidate # 1539794396.234 * * * * [misc]progress: [ 6 / 17 ] simplifiying candidate # 1539794396.234 * * * * [misc]progress: [ 7 / 17 ] simplifiying candidate # 1539794396.234 * * * * [misc]progress: [ 8 / 17 ] simplifiying candidate # 1539794396.234 * * * * [misc]progress: [ 9 / 17 ] simplifiying candidate # 1539794396.235 * * * * [misc]progress: [ 10 / 17 ] simplifiying candidate # 1539794396.235 * * * * [misc]progress: [ 11 / 17 ] simplifiying candidate # 1539794396.235 * [enter]simplify: Simplifying (* (cbrt (pow d1 9)) (cbrt (pow d1 9))) 1539794396.235 * * [misc]simplify: iters left: 4 (5 enodes) 1539794396.236 * [exit]simplify: Simplified to (* (cbrt (pow d1 9)) (cbrt (pow d1 9))) 1539794396.236 * [misc]simplify: Simplified (2 1) to (λ (d1) (* (* (cbrt (pow d1 9)) (cbrt (pow d1 9))) (* (cbrt (pow d1 9)) d1))) 1539794396.236 * * * * [misc]progress: [ 12 / 17 ] simplifiying candidate # 1539794396.236 * [enter]simplify: Simplifying (sqrt (pow d1 9)) 1539794396.236 * * [misc]simplify: iters left: 2 (4 enodes) 1539794396.236 * [exit]simplify: Simplified to (sqrt (pow d1 9)) 1539794396.236 * [misc]simplify: Simplified (2 1) to (λ (d1) (* (sqrt (pow d1 9)) (* (sqrt (pow d1 9)) d1))) 1539794396.236 * * * * [misc]progress: [ 13 / 17 ] simplifiying candidate # 1539794396.236 * * * * [misc]progress: [ 14 / 17 ] simplifiying candidate # 1539794396.236 * * * * [misc]progress: [ 15 / 17 ] simplifiying candidate # 1539794396.236 * [enter]simplify: Simplifying (pow d1 10) 1539794396.237 * * [misc]simplify: iters left: 1 (3 enodes) 1539794396.237 * [exit]simplify: Simplified to (pow d1 10) 1539794396.237 * [misc]simplify: Simplified (2) to (λ (d1) (pow d1 10)) 1539794396.237 * * * * [misc]progress: [ 16 / 17 ] simplifiying candidate # 1539794396.237 * [enter]simplify: Simplifying (pow d1 10) 1539794396.237 * * [misc]simplify: iters left: 1 (3 enodes) 1539794396.238 * [exit]simplify: Simplified to (pow d1 10) 1539794396.238 * [misc]simplify: Simplified (2) to (λ (d1) (pow d1 10)) 1539794396.238 * * * * [misc]progress: [ 17 / 17 ] simplifiying candidate # 1539794396.238 * [enter]simplify: Simplifying (pow d1 10) 1539794396.238 * * [misc]simplify: iters left: 1 (3 enodes) 1539794396.238 * [exit]simplify: Simplified to (pow d1 10) 1539794396.238 * [misc]simplify: Simplified (2) to (λ (d1) (pow d1 10)) 1539794396.238 * * * [misc]progress: adding candidates to table 1539794396.341 * * [misc]progress: iteration 3 / 4 1539794396.341 * * * [misc]progress: picking best candidate 1539794396.342 * * * * [misc]pick: Picked # 1539794396.342 * * * [misc]progress: localizing error 1539794396.346 * * * [misc]progress: generating rewritten candidates 1539794396.346 * * * [misc]progress: generating series expansions 1539794396.346 * * * [misc]progress: simplifying candidates 1539794396.346 * * * [misc]progress: adding candidates to table 1539794396.346 * [misc]progress: [Phase 3 of 3] Extracting. 1539794396.348 * [enter]simplify: Simplifying (pow d1 10) 1539794396.348 * * [misc]simplify: iters left: 1 (3 enodes) 1539794396.348 * [exit]simplify: Simplified to (pow d1 10) 1539794396.348 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1539794396.381 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1539794396.383 * * * * [misc]points: Setting MPFR precision to 64 1539794396.383 * * * * [misc]points: Setting MPFR precision to 320 1539794396.384 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1539794396.386 * * * * [misc]points: Setting MPFR precision to 64 1539794396.387 * * * * [misc]points: Setting MPFR precision to 320 1539794396.389 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1539794396.390 * * * * [misc]points: Setting MPFR precision to 64 1539794396.393 * * * * [misc]points: Setting MPFR precision to 320 1539794396.396 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1539794396.398 * * * * [misc]points: Setting MPFR precision to 64 1539794396.403 * * * * [misc]points: Setting MPFR precision to 320 1539794396.406 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1539794396.407 * * * * [misc]points: Setting MPFR precision to 64 1539794396.413 * * * * [misc]points: Setting MPFR precision to 320 1539794396.418 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1539794396.419 * * * * [misc]points: Setting MPFR precision to 64 1539794396.429 * * * * [misc]points: Setting MPFR precision to 320 1539794396.441 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1539794396.443 * * * * [misc]points: Setting MPFR precision to 64 1539794396.487 * * * * [misc]points: Setting MPFR precision to 320 1539794396.579 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1539794396.581 * * * * [misc]points: Setting MPFR precision to 64 1539794396.628 * * * * [misc]points: Setting MPFR precision to 320 1539794396.729 * * * * [misc]points: Setting MPFR precision to 576 1539794396.773 * * * * [misc]points: Computing exacts for 8000 points 1539794396.774 * * * * [misc]points: Setting MPFR precision to 320 1539794397.487 * * * * [misc]points: Setting MPFR precision to 576 1539794397.885 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794397.886 * * * * [misc]points: Sampling 3541 additional inputs, on iter 1 have 4459 / 8000 1539794397.895 * * * * [misc]points: Computing exacts on every 221 of 3541 points to ramp up precision 1539794397.897 * * * * [misc]points: Setting MPFR precision to 320 1539794397.898 * * * * [misc]points: Setting MPFR precision to 576 1539794397.899 * * * * [misc]points: Computing exacts on every 110 of 3541 points to ramp up precision 1539794397.900 * * * * [misc]points: Setting MPFR precision to 320 1539794397.901 * * * * [misc]points: Setting MPFR precision to 576 1539794397.902 * * * * [misc]points: Computing exacts on every 55 of 3541 points to ramp up precision 1539794397.904 * * * * [misc]points: Setting MPFR precision to 320 1539794397.907 * * * * [misc]points: Setting MPFR precision to 576 1539794397.910 * * * * [misc]points: Computing exacts on every 27 of 3541 points to ramp up precision 1539794397.912 * * * * [misc]points: Setting MPFR precision to 320 1539794397.948 * * * * [misc]points: Setting MPFR precision to 576 1539794397.956 * * * * [misc]points: Computing exacts on every 13 of 3541 points to ramp up precision 1539794397.958 * * * * [misc]points: Setting MPFR precision to 320 1539794397.969 * * * * [misc]points: Setting MPFR precision to 576 1539794397.981 * * * * [misc]points: Computing exacts on every 6 of 3541 points to ramp up precision 1539794397.982 * * * * [misc]points: Setting MPFR precision to 320 1539794397.993 * * * * [misc]points: Setting MPFR precision to 576 1539794398.004 * * * * [misc]points: Computing exacts on every 3 of 3541 points to ramp up precision 1539794398.005 * * * * [misc]points: Setting MPFR precision to 320 1539794398.033 * * * * [misc]points: Setting MPFR precision to 576 1539794398.107 * * * * [misc]points: Computing exacts for 3541 points 1539794398.109 * * * * [misc]points: Setting MPFR precision to 320 1539794398.278 * * * * [misc]points: Setting MPFR precision to 576 1539794398.453 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794398.454 * * * * [misc]points: Sampling 1578 additional inputs, on iter 2 have 6422 / 8000 1539794398.457 * * * * [misc]points: Computing exacts on every 98 of 1578 points to ramp up precision 1539794398.461 * * * * [misc]points: Setting MPFR precision to 320 1539794398.462 * * * * [misc]points: Setting MPFR precision to 576 1539794398.462 * * * * [misc]points: Computing exacts on every 49 of 1578 points to ramp up precision 1539794398.463 * * * * [misc]points: Setting MPFR precision to 320 1539794398.464 * * * * [misc]points: Setting MPFR precision to 576 1539794398.464 * * * * [misc]points: Computing exacts on every 24 of 1578 points to ramp up precision 1539794398.465 * * * * [misc]points: Setting MPFR precision to 320 1539794398.467 * * * * [misc]points: Setting MPFR precision to 576 1539794398.468 * * * * [misc]points: Computing exacts on every 12 of 1578 points to ramp up precision 1539794398.469 * * * * [misc]points: Setting MPFR precision to 320 1539794398.471 * * * * [misc]points: Setting MPFR precision to 576 1539794398.474 * * * * [misc]points: Computing exacts on every 6 of 1578 points to ramp up precision 1539794398.475 * * * * [misc]points: Setting MPFR precision to 320 1539794398.485 * * * * [misc]points: Setting MPFR precision to 576 1539794398.495 * * * * [misc]points: Computing exacts on every 3 of 1578 points to ramp up precision 1539794398.496 * * * * [misc]points: Setting MPFR precision to 320 1539794398.507 * * * * [misc]points: Setting MPFR precision to 576 1539794398.516 * * * * [misc]points: Computing exacts for 1578 points 1539794398.517 * * * * [misc]points: Setting MPFR precision to 320 1539794398.614 * * * * [misc]points: Setting MPFR precision to 576 1539794398.668 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794398.668 * * * * [misc]points: Sampling 674 additional inputs, on iter 3 have 7326 / 8000 1539794398.672 * * * * [misc]points: Computing exacts on every 42 of 674 points to ramp up precision 1539794398.673 * * * * [misc]points: Setting MPFR precision to 320 1539794398.674 * * * * [misc]points: Setting MPFR precision to 576 1539794398.675 * * * * [misc]points: Computing exacts on every 21 of 674 points to ramp up precision 1539794398.677 * * * * [misc]points: Setting MPFR precision to 320 1539794398.678 * * * * [misc]points: Setting MPFR precision to 576 1539794398.679 * * * * [misc]points: Computing exacts on every 10 of 674 points to ramp up precision 1539794398.681 * * * * [misc]points: Setting MPFR precision to 320 1539794398.684 * * * * [misc]points: Setting MPFR precision to 576 1539794398.687 * * * * [misc]points: Computing exacts on every 5 of 674 points to ramp up precision 1539794398.689 * * * * [misc]points: Setting MPFR precision to 320 1539794398.694 * * * * [misc]points: Setting MPFR precision to 576 1539794398.699 * * * * [misc]points: Computing exacts on every 2 of 674 points to ramp up precision 1539794398.701 * * * * [misc]points: Setting MPFR precision to 320 1539794398.709 * * * * [misc]points: Setting MPFR precision to 576 1539794398.714 * * * * [misc]points: Computing exacts for 674 points 1539794398.715 * * * * [misc]points: Setting MPFR precision to 320 1539794398.761 * * * * [misc]points: Setting MPFR precision to 576 1539794398.776 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794398.777 * * * * [misc]points: Sampling 312 additional inputs, on iter 4 have 7688 / 8000 1539794398.777 * * * * [misc]points: Computing exacts on every 19 of 312 points to ramp up precision 1539794398.778 * * * * [misc]points: Setting MPFR precision to 320 1539794398.779 * * * * [misc]points: Setting MPFR precision to 576 1539794398.779 * * * * [misc]points: Computing exacts on every 9 of 312 points to ramp up precision 1539794398.780 * * * * [misc]points: Setting MPFR precision to 320 1539794398.781 * * * * [misc]points: Setting MPFR precision to 576 1539794398.782 * * * * [misc]points: Computing exacts on every 4 of 312 points to ramp up precision 1539794398.782 * * * * [misc]points: Setting MPFR precision to 320 1539794398.784 * * * * [misc]points: Setting MPFR precision to 576 1539794398.785 * * * * [misc]points: Computing exacts on every 2 of 312 points to ramp up precision 1539794398.786 * * * * [misc]points: Setting MPFR precision to 320 1539794398.788 * * * * [misc]points: Setting MPFR precision to 576 1539794398.791 * * * * [misc]points: Computing exacts for 312 points 1539794398.792 * * * * [misc]points: Setting MPFR precision to 320 1539794398.799 * * * * [misc]points: Setting MPFR precision to 576 1539794398.808 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794398.809 * * * * [misc]points: Sampling 155 additional inputs, on iter 5 have 7845 / 8000 1539794398.809 * * * * [misc]points: Computing exacts on every 9 of 155 points to ramp up precision 1539794398.811 * * * * [misc]points: Setting MPFR precision to 320 1539794398.812 * * * * [misc]points: Setting MPFR precision to 576 1539794398.812 * * * * [misc]points: Computing exacts on every 4 of 155 points to ramp up precision 1539794398.814 * * * * [misc]points: Setting MPFR precision to 320 1539794398.816 * * * * [misc]points: Setting MPFR precision to 576 1539794398.817 * * * * [misc]points: Computing exacts on every 2 of 155 points to ramp up precision 1539794398.819 * * * * [misc]points: Setting MPFR precision to 320 1539794398.822 * * * * [misc]points: Setting MPFR precision to 576 1539794398.824 * * * * [misc]points: Computing exacts for 155 points 1539794398.826 * * * * [misc]points: Setting MPFR precision to 320 1539794398.833 * * * * [misc]points: Setting MPFR precision to 576 1539794398.838 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794398.838 * * * * [misc]points: Sampling 74 additional inputs, on iter 6 have 7926 / 8000 1539794398.838 * * * * [misc]points: Computing exacts on every 4 of 74 points to ramp up precision 1539794398.839 * * * * [misc]points: Setting MPFR precision to 320 1539794398.839 * * * * [misc]points: Setting MPFR precision to 576 1539794398.840 * * * * [misc]points: Computing exacts on every 2 of 74 points to ramp up precision 1539794398.841 * * * * [misc]points: Setting MPFR precision to 320 1539794398.841 * * * * [misc]points: Setting MPFR precision to 576 1539794398.842 * * * * [misc]points: Computing exacts for 74 points 1539794398.843 * * * * [misc]points: Setting MPFR precision to 320 1539794398.873 * * * * [misc]points: Setting MPFR precision to 576 1539794398.875 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794398.875 * * * * [misc]points: Sampling 34 additional inputs, on iter 7 have 7966 / 8000 1539794398.875 * * * * [misc]points: Computing exacts on every 2 of 34 points to ramp up precision 1539794398.876 * * * * [misc]points: Setting MPFR precision to 320 1539794398.877 * * * * [misc]points: Setting MPFR precision to 576 1539794398.877 * * * * [misc]points: Computing exacts for 34 points 1539794398.878 * * * * [misc]points: Setting MPFR precision to 320 1539794398.879 * * * * [misc]points: Setting MPFR precision to 576 1539794398.879 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794398.879 * * * * [misc]points: Sampling 13 additional inputs, on iter 8 have 7987 / 8000 1539794398.880 * * * * [misc]points: Computing exacts for 13 points 1539794398.880 * * * * [misc]points: Setting MPFR precision to 320 1539794398.881 * * * * [misc]points: Setting MPFR precision to 576 1539794398.881 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794398.881 * * * * [misc]points: Sampling 4 additional inputs, on iter 9 have 7996 / 8000 1539794398.881 * * * * [misc]points: Computing exacts for 4 points 1539794398.885 * * * * [misc]points: Setting MPFR precision to 320 1539794398.885 * * * * [misc]points: Setting MPFR precision to 576 1539794398.885 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794398.885 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 7999 / 8000 1539794398.885 * * * * [misc]points: Computing exacts for 4 points 1539794398.886 * * * * [misc]points: Setting MPFR precision to 320 1539794398.886 * * * * [misc]points: Setting MPFR precision to 576 1539794398.886 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794398.886 * * * * [exit]points: Sampled 8002 points with exact outputs 1539794399.021 * [misc]regime-testing: Baseline error score: 0 1539794399.021 * [misc]regime-testing: End program error score: 0 1539794399.022 * [misc]regime-testing: Oracle error score: 0 1539794399.059 * [misc]regime-testing: Target error score: 0