1544086808.643 * [misc]progress: [Phase 1 of 3] Setting up. 1544086808.643 * * * [misc]progress: [1/2] Preparing points 1544086808.643 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1544086808.645 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1544086808.647 * * * * [misc]points: Setting MPFR precision to 64 1544086808.647 * * * * [misc]points: Setting MPFR precision to 320 1544086808.648 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1544086808.649 * * * * [misc]points: Setting MPFR precision to 64 1544086808.649 * * * * [misc]points: Setting MPFR precision to 320 1544086808.650 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1544086808.651 * * * * [misc]points: Setting MPFR precision to 64 1544086808.652 * * * * [misc]points: Setting MPFR precision to 320 1544086808.653 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1544086808.654 * * * * [misc]points: Setting MPFR precision to 64 1544086808.656 * * * * [misc]points: Setting MPFR precision to 320 1544086808.657 * * * * [misc]points: Computing exacts for 256 points 1544086808.658 * * * * [misc]points: Setting MPFR precision to 64 1544086808.664 * * * * [misc]points: Setting MPFR precision to 320 1544086808.669 * * * * [misc]points: Filtering points with unrepresentable outputs 1544086808.669 * * * * [misc]points: Sampling 101 additional inputs, on iter 1 have 155 / 256 1544086808.670 * * * * [misc]points: Computing exacts on every 6 of 101 points to ramp up precision 1544086808.671 * * * * [misc]points: Setting MPFR precision to 64 1544086808.671 * * * * [misc]points: Setting MPFR precision to 320 1544086808.671 * * * * [misc]points: Computing exacts on every 3 of 101 points to ramp up precision 1544086808.672 * * * * [misc]points: Setting MPFR precision to 64 1544086808.673 * * * * [misc]points: Setting MPFR precision to 320 1544086808.673 * * * * [misc]points: Computing exacts for 101 points 1544086808.674 * * * * [misc]points: Setting MPFR precision to 64 1544086808.678 * * * * [misc]points: Setting MPFR precision to 320 1544086808.683 * * * * [misc]points: Filtering points with unrepresentable outputs 1544086808.683 * * * * [misc]points: Sampling 39 additional inputs, on iter 2 have 217 / 256 1544086808.683 * * * * [misc]points: Computing exacts on every 2 of 39 points to ramp up precision 1544086808.685 * * * * [misc]points: Setting MPFR precision to 64 1544086808.686 * * * * [misc]points: Setting MPFR precision to 320 1544086808.686 * * * * [misc]points: Computing exacts for 39 points 1544086808.688 * * * * [misc]points: Setting MPFR precision to 64 1544086808.690 * * * * [misc]points: Setting MPFR precision to 320 1544086808.691 * * * * [misc]points: Filtering points with unrepresentable outputs 1544086808.692 * * * * [misc]points: Sampling 21 additional inputs, on iter 3 have 235 / 256 1544086808.692 * * * * [misc]points: Computing exacts for 21 points 1544086808.693 * * * * [misc]points: Setting MPFR precision to 64 1544086808.695 * * * * [misc]points: Setting MPFR precision to 320 1544086808.696 * * * * [misc]points: Filtering points with unrepresentable outputs 1544086808.696 * * * * [misc]points: Sampling 11 additional inputs, on iter 4 have 245 / 256 1544086808.696 * * * * [misc]points: Computing exacts for 11 points 1544086808.697 * * * * [misc]points: Setting MPFR precision to 64 1544086808.715 * * * * [misc]points: Setting MPFR precision to 320 1544086808.716 * * * * [misc]points: Filtering points with unrepresentable outputs 1544086808.716 * * * * [misc]points: Sampling 5 additional inputs, on iter 5 have 251 / 256 1544086808.716 * * * * [misc]points: Computing exacts for 5 points 1544086808.718 * * * * [misc]points: Setting MPFR precision to 64 1544086808.718 * * * * [misc]points: Setting MPFR precision to 320 1544086808.719 * * * * [misc]points: Filtering points with unrepresentable outputs 1544086808.719 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 253 / 256 1544086808.719 * * * * [misc]points: Computing exacts for 4 points 1544086808.720 * * * * [misc]points: Setting MPFR precision to 64 1544086808.721 * * * * [misc]points: Setting MPFR precision to 320 1544086808.721 * * * * [misc]points: Filtering points with unrepresentable outputs 1544086808.721 * * * * [exit]points: Sampled 256 points with exact outputs 1544086808.721 * * * [misc]progress: [2/2] Setting up program. 1544086808.726 * [misc]progress: [Phase 2 of 3] Improving. 1544086808.727 * [enter]simplify: Simplifying (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) 1544086808.727 * * [misc]simplify: iters left: 6 (9 enodes) 1544086808.730 * * [misc]simplify: iters left: 5 (24 enodes) 1544086808.739 * * [misc]simplify: iters left: 4 (49 enodes) 1544086808.754 * * [misc]simplify: iters left: 3 (64 enodes) 1544086808.770 * * [misc]simplify: iters left: 2 (68 enodes) 1544086808.784 * * [misc]simplify: iters left: 1 (71 enodes) 1544086808.796 * [exit]simplify: Simplified to (pow (* d1 d1) 5) 1544086808.803 * * [misc]progress: iteration 1 / 4 1544086808.803 * * * [misc]progress: picking best candidate 1544086808.809 * * * * [misc]pick: Picked # 1544086808.809 * * * [misc]progress: localizing error 1544086808.858 * * * [misc]progress: generating rewritten candidates 1544086808.858 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 2 1 1 1 1) 1544086808.863 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2 1 1) 1544086808.888 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1) 1544086809.121 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2 1 1 1) 1544086809.132 * * * [misc]progress: generating series expansions 1544086809.132 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 2 1 1 1 1) 1544086809.132 * [misc]backup-simplify: Simplify (* d1 (* d1 d1)) into (pow d1 3) 1544086809.132 * [misc]approximate: Taking taylor expansion of (pow d1 3) in (d1) around 0 1544086809.132 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1544086809.132 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.132 * [misc]backup-simplify: Simplify 0 into 0 1544086809.132 * [misc]backup-simplify: Simplify 1 into 1 1544086809.132 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1544086809.132 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.132 * [misc]backup-simplify: Simplify 0 into 0 1544086809.132 * [misc]backup-simplify: Simplify 1 into 1 1544086809.133 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.133 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.133 * [misc]backup-simplify: Simplify 1 into 1 1544086809.133 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.134 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.134 * [misc]backup-simplify: Simplify 0 into 0 1544086809.134 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.134 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.134 * [misc]backup-simplify: Simplify 0 into 0 1544086809.135 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.135 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.135 * [misc]backup-simplify: Simplify 0 into 0 1544086809.135 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.136 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.136 * [misc]backup-simplify: Simplify 0 into 0 1544086809.136 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.137 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.137 * [misc]backup-simplify: Simplify 0 into 0 1544086809.137 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.138 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.138 * [misc]backup-simplify: Simplify 0 into 0 1544086809.138 * [misc]backup-simplify: Simplify (* 1 (pow d1 3)) into (pow d1 3) 1544086809.138 * [misc]backup-simplify: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3)) 1544086809.138 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0 1544086809.138 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 1544086809.138 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1544086809.138 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.138 * [misc]backup-simplify: Simplify 0 into 0 1544086809.138 * [misc]backup-simplify: Simplify 1 into 1 1544086809.138 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.138 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.139 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544086809.139 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 1544086809.139 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1544086809.139 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.139 * [misc]backup-simplify: Simplify 0 into 0 1544086809.139 * [misc]backup-simplify: Simplify 1 into 1 1544086809.139 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.139 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.139 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544086809.139 * [misc]backup-simplify: Simplify 1 into 1 1544086809.140 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.140 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.140 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544086809.140 * [misc]backup-simplify: Simplify 0 into 0 1544086809.140 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.141 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.141 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.141 * [misc]backup-simplify: Simplify 0 into 0 1544086809.141 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.142 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.142 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.142 * [misc]backup-simplify: Simplify 0 into 0 1544086809.142 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.143 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.143 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.143 * [misc]backup-simplify: Simplify 0 into 0 1544086809.144 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.144 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.144 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.144 * [misc]backup-simplify: Simplify 0 into 0 1544086809.145 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.145 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.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 1544086809.146 * [misc]backup-simplify: Simplify 0 into 0 1544086809.146 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3) 1544086809.146 * [misc]backup-simplify: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3)) 1544086809.146 * [misc]approximate: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0 1544086809.146 * [misc]taylor: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 1544086809.147 * [misc]taylor: Taking taylor expansion of -1 in d1 1544086809.147 * [misc]backup-simplify: Simplify -1 into -1 1544086809.147 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1544086809.147 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.147 * [misc]backup-simplify: Simplify 0 into 0 1544086809.147 * [misc]backup-simplify: Simplify 1 into 1 1544086809.147 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.147 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.147 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544086809.148 * [misc]taylor: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 1544086809.148 * [misc]taylor: Taking taylor expansion of -1 in d1 1544086809.148 * [misc]backup-simplify: Simplify -1 into -1 1544086809.148 * [misc]taylor: Taking taylor expansion of (pow d1 3) in d1 1544086809.148 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.148 * [misc]backup-simplify: Simplify 0 into 0 1544086809.148 * [misc]backup-simplify: Simplify 1 into 1 1544086809.148 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.148 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.148 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544086809.148 * [misc]backup-simplify: Simplify -1 into -1 1544086809.148 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.149 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.149 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1544086809.149 * [misc]backup-simplify: Simplify 0 into 0 1544086809.149 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.150 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.150 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.150 * [misc]backup-simplify: Simplify 0 into 0 1544086809.150 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.151 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.151 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.151 * [misc]backup-simplify: Simplify 0 into 0 1544086809.151 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.152 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.152 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.152 * [misc]backup-simplify: Simplify 0 into 0 1544086809.153 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.153 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.154 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.155 * [misc]backup-simplify: Simplify 0 into 0 1544086809.155 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.156 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.156 * [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 1544086809.156 * [misc]backup-simplify: Simplify 0 into 0 1544086809.156 * [misc]backup-simplify: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3) 1544086809.156 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2 1 1) 1544086809.157 * [misc]backup-simplify: Simplify (* (* (* d1 (* d1 d1)) d1) d1) into (pow d1 5) 1544086809.157 * [misc]approximate: Taking taylor expansion of (pow d1 5) in (d1) around 0 1544086809.157 * [misc]taylor: Taking taylor expansion of (pow d1 5) in d1 1544086809.157 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.157 * [misc]backup-simplify: Simplify 0 into 0 1544086809.157 * [misc]backup-simplify: Simplify 1 into 1 1544086809.157 * [misc]taylor: Taking taylor expansion of (pow d1 5) in d1 1544086809.157 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.157 * [misc]backup-simplify: Simplify 0 into 0 1544086809.157 * [misc]backup-simplify: Simplify 1 into 1 1544086809.157 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.157 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.157 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.157 * [misc]backup-simplify: Simplify 1 into 1 1544086809.158 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.158 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.158 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.158 * [misc]backup-simplify: Simplify 0 into 0 1544086809.158 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.159 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.159 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.159 * [misc]backup-simplify: Simplify 0 into 0 1544086809.159 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.160 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.160 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.160 * [misc]backup-simplify: Simplify 0 into 0 1544086809.160 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.161 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.161 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.161 * [misc]backup-simplify: Simplify 0 into 0 1544086809.162 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.162 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.163 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.163 * [misc]backup-simplify: Simplify 0 into 0 1544086809.163 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.164 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.164 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.164 * [misc]backup-simplify: Simplify 0 into 0 1544086809.164 * [misc]backup-simplify: Simplify (* 1 (pow d1 5)) into (pow d1 5) 1544086809.165 * [misc]backup-simplify: Simplify (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) into (/ 1 (pow d1 5)) 1544086809.165 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 5)) in (d1) around 0 1544086809.165 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 5)) in d1 1544086809.165 * [misc]taylor: Taking taylor expansion of (pow d1 5) in d1 1544086809.165 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.165 * [misc]backup-simplify: Simplify 0 into 0 1544086809.165 * [misc]backup-simplify: Simplify 1 into 1 1544086809.165 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.165 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.165 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.165 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544086809.165 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 5)) in d1 1544086809.166 * [misc]taylor: Taking taylor expansion of (pow d1 5) in d1 1544086809.166 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.166 * [misc]backup-simplify: Simplify 0 into 0 1544086809.166 * [misc]backup-simplify: Simplify 1 into 1 1544086809.166 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.166 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.166 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.166 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544086809.166 * [misc]backup-simplify: Simplify 1 into 1 1544086809.167 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.167 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.167 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.167 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544086809.167 * [misc]backup-simplify: Simplify 0 into 0 1544086809.167 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.168 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.168 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.168 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.168 * [misc]backup-simplify: Simplify 0 into 0 1544086809.168 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.168 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.168 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.169 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.169 * [misc]backup-simplify: Simplify 0 into 0 1544086809.169 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.169 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.169 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.170 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.170 * [misc]backup-simplify: Simplify 0 into 0 1544086809.170 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.170 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.170 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.171 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.171 * [misc]backup-simplify: Simplify 0 into 0 1544086809.171 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.171 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.172 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.172 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.172 * [misc]backup-simplify: Simplify 0 into 0 1544086809.172 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 5)) into (pow d1 5) 1544086809.172 * [misc]backup-simplify: Simplify (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) into (/ -1 (pow d1 5)) 1544086809.172 * [misc]approximate: Taking taylor expansion of (/ -1 (pow d1 5)) in (d1) around 0 1544086809.172 * [misc]taylor: Taking taylor expansion of (/ -1 (pow d1 5)) in d1 1544086809.172 * [misc]taylor: Taking taylor expansion of -1 in d1 1544086809.172 * [misc]backup-simplify: Simplify -1 into -1 1544086809.172 * [misc]taylor: Taking taylor expansion of (pow d1 5) in d1 1544086809.172 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.172 * [misc]backup-simplify: Simplify 0 into 0 1544086809.172 * [misc]backup-simplify: Simplify 1 into 1 1544086809.172 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.173 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.173 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.173 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544086809.173 * [misc]taylor: Taking taylor expansion of (/ -1 (pow d1 5)) in d1 1544086809.173 * [misc]taylor: Taking taylor expansion of -1 in d1 1544086809.173 * [misc]backup-simplify: Simplify -1 into -1 1544086809.173 * [misc]taylor: Taking taylor expansion of (pow d1 5) in d1 1544086809.173 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.173 * [misc]backup-simplify: Simplify 0 into 0 1544086809.173 * [misc]backup-simplify: Simplify 1 into 1 1544086809.173 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.173 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.173 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.173 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544086809.173 * [misc]backup-simplify: Simplify -1 into -1 1544086809.174 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.174 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.174 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.174 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1544086809.174 * [misc]backup-simplify: Simplify 0 into 0 1544086809.174 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.174 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.175 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.175 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.175 * [misc]backup-simplify: Simplify 0 into 0 1544086809.175 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.175 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.175 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.176 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.176 * [misc]backup-simplify: Simplify 0 into 0 1544086809.176 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.176 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.176 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.177 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.177 * [misc]backup-simplify: Simplify 0 into 0 1544086809.177 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.177 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.177 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.178 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.178 * [misc]backup-simplify: Simplify 0 into 0 1544086809.178 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.178 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.179 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.179 * [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 1544086809.179 * [misc]backup-simplify: Simplify 0 into 0 1544086809.179 * [misc]backup-simplify: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 5)) into (pow d1 5) 1544086809.179 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1) 1544086809.179 * [misc]backup-simplify: Simplify (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) into (pow d1 9) 1544086809.179 * [misc]approximate: Taking taylor expansion of (pow d1 9) in (d1) around 0 1544086809.179 * [misc]taylor: Taking taylor expansion of (pow d1 9) in d1 1544086809.179 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.179 * [misc]backup-simplify: Simplify 0 into 0 1544086809.179 * [misc]backup-simplify: Simplify 1 into 1 1544086809.179 * [misc]taylor: Taking taylor expansion of (pow d1 9) in d1 1544086809.179 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.179 * [misc]backup-simplify: Simplify 0 into 0 1544086809.179 * [misc]backup-simplify: Simplify 1 into 1 1544086809.180 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.180 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.180 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.180 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.180 * [misc]backup-simplify: Simplify 1 into 1 1544086809.180 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.180 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.180 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.180 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.180 * [misc]backup-simplify: Simplify 0 into 0 1544086809.181 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.181 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.181 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.181 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.181 * [misc]backup-simplify: Simplify 0 into 0 1544086809.181 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.182 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.182 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.182 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.182 * [misc]backup-simplify: Simplify 0 into 0 1544086809.182 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.182 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.183 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.183 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.183 * [misc]backup-simplify: Simplify 0 into 0 1544086809.183 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.183 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.184 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.184 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.184 * [misc]backup-simplify: Simplify 0 into 0 1544086809.184 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.185 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.185 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.185 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.185 * [misc]backup-simplify: Simplify 0 into 0 1544086809.185 * [misc]backup-simplify: Simplify (* 1 (pow d1 9)) into (pow d1 9) 1544086809.185 * [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)) 1544086809.185 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 9)) in (d1) around 0 1544086809.185 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 9)) in d1 1544086809.186 * [misc]taylor: Taking taylor expansion of (pow d1 9) in d1 1544086809.186 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.186 * [misc]backup-simplify: Simplify 0 into 0 1544086809.186 * [misc]backup-simplify: Simplify 1 into 1 1544086809.186 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.186 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.186 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.186 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.186 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544086809.186 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 9)) in d1 1544086809.186 * [misc]taylor: Taking taylor expansion of (pow d1 9) in d1 1544086809.186 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.186 * [misc]backup-simplify: Simplify 0 into 0 1544086809.186 * [misc]backup-simplify: Simplify 1 into 1 1544086809.186 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.186 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.186 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.187 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.187 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544086809.187 * [misc]backup-simplify: Simplify 1 into 1 1544086809.187 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.187 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.187 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.187 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.187 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544086809.187 * [misc]backup-simplify: Simplify 0 into 0 1544086809.188 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.188 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.188 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.188 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.188 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.188 * [misc]backup-simplify: Simplify 0 into 0 1544086809.188 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.189 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.189 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.189 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.189 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.189 * [misc]backup-simplify: Simplify 0 into 0 1544086809.189 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.190 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.190 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.190 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.190 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.190 * [misc]backup-simplify: Simplify 0 into 0 1544086809.191 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.191 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.191 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.191 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.192 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.192 * [misc]backup-simplify: Simplify 0 into 0 1544086809.192 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.192 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.192 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.193 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.193 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.193 * [misc]backup-simplify: Simplify 0 into 0 1544086809.193 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 9)) into (pow d1 9) 1544086809.194 * [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)) 1544086809.194 * [misc]approximate: Taking taylor expansion of (/ -1 (pow d1 9)) in (d1) around 0 1544086809.194 * [misc]taylor: Taking taylor expansion of (/ -1 (pow d1 9)) in d1 1544086809.194 * [misc]taylor: Taking taylor expansion of -1 in d1 1544086809.194 * [misc]backup-simplify: Simplify -1 into -1 1544086809.194 * [misc]taylor: Taking taylor expansion of (pow d1 9) in d1 1544086809.194 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.194 * [misc]backup-simplify: Simplify 0 into 0 1544086809.194 * [misc]backup-simplify: Simplify 1 into 1 1544086809.194 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.194 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.194 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.194 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.194 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544086809.194 * [misc]taylor: Taking taylor expansion of (/ -1 (pow d1 9)) in d1 1544086809.194 * [misc]taylor: Taking taylor expansion of -1 in d1 1544086809.194 * [misc]backup-simplify: Simplify -1 into -1 1544086809.194 * [misc]taylor: Taking taylor expansion of (pow d1 9) in d1 1544086809.194 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.194 * [misc]backup-simplify: Simplify 0 into 0 1544086809.194 * [misc]backup-simplify: Simplify 1 into 1 1544086809.194 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.194 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.195 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.195 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.195 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544086809.195 * [misc]backup-simplify: Simplify -1 into -1 1544086809.195 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.195 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.195 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.195 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.196 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1544086809.196 * [misc]backup-simplify: Simplify 0 into 0 1544086809.196 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.196 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.196 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.196 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.196 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.196 * [misc]backup-simplify: Simplify 0 into 0 1544086809.197 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.197 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.197 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.197 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.197 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.197 * [misc]backup-simplify: Simplify 0 into 0 1544086809.198 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.198 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.198 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.199 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.199 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.199 * [misc]backup-simplify: Simplify 0 into 0 1544086809.199 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.200 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.201 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.201 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.202 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.202 * [misc]backup-simplify: Simplify 0 into 0 1544086809.202 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.203 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.203 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.204 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.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 1544086809.204 * [misc]backup-simplify: Simplify 0 into 0 1544086809.205 * [misc]backup-simplify: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 9)) into (pow d1 9) 1544086809.205 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2 1 1 1) 1544086809.205 * [misc]backup-simplify: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4) 1544086809.205 * [misc]approximate: Taking taylor expansion of (pow d1 4) in (d1) around 0 1544086809.205 * [misc]taylor: Taking taylor expansion of (pow d1 4) in d1 1544086809.205 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.205 * [misc]backup-simplify: Simplify 0 into 0 1544086809.205 * [misc]backup-simplify: Simplify 1 into 1 1544086809.205 * [misc]taylor: Taking taylor expansion of (pow d1 4) in d1 1544086809.205 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.205 * [misc]backup-simplify: Simplify 0 into 0 1544086809.205 * [misc]backup-simplify: Simplify 1 into 1 1544086809.205 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.206 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.206 * [misc]backup-simplify: Simplify 1 into 1 1544086809.206 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.206 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.206 * [misc]backup-simplify: Simplify 0 into 0 1544086809.206 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.207 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.207 * [misc]backup-simplify: Simplify 0 into 0 1544086809.207 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.207 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.207 * [misc]backup-simplify: Simplify 0 into 0 1544086809.208 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.208 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.208 * [misc]backup-simplify: Simplify 0 into 0 1544086809.209 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.209 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.209 * [misc]backup-simplify: Simplify 0 into 0 1544086809.210 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.210 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.210 * [misc]backup-simplify: Simplify 0 into 0 1544086809.210 * [misc]backup-simplify: Simplify (* 1 (pow d1 4)) into (pow d1 4) 1544086809.211 * [misc]backup-simplify: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4)) 1544086809.211 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 1544086809.211 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 1544086809.211 * [misc]taylor: Taking taylor expansion of (pow d1 4) in d1 1544086809.211 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.211 * [misc]backup-simplify: Simplify 0 into 0 1544086809.211 * [misc]backup-simplify: Simplify 1 into 1 1544086809.211 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.211 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.211 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544086809.211 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 1544086809.211 * [misc]taylor: Taking taylor expansion of (pow d1 4) in d1 1544086809.211 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.211 * [misc]backup-simplify: Simplify 0 into 0 1544086809.211 * [misc]backup-simplify: Simplify 1 into 1 1544086809.212 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.212 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.212 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544086809.212 * [misc]backup-simplify: Simplify 1 into 1 1544086809.212 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.212 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.213 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544086809.213 * [misc]backup-simplify: Simplify 0 into 0 1544086809.213 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.213 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.214 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.214 * [misc]backup-simplify: Simplify 0 into 0 1544086809.214 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.214 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.215 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.215 * [misc]backup-simplify: Simplify 0 into 0 1544086809.215 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.215 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.216 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.216 * [misc]backup-simplify: Simplify 0 into 0 1544086809.216 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.217 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.217 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.217 * [misc]backup-simplify: Simplify 0 into 0 1544086809.218 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.218 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.219 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.219 * [misc]backup-simplify: Simplify 0 into 0 1544086809.219 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4) 1544086809.219 * [misc]backup-simplify: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4)) 1544086809.219 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 1544086809.219 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 1544086809.219 * [misc]taylor: Taking taylor expansion of (pow d1 4) in d1 1544086809.219 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.220 * [misc]backup-simplify: Simplify 0 into 0 1544086809.220 * [misc]backup-simplify: Simplify 1 into 1 1544086809.220 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.220 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.220 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544086809.220 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 1544086809.220 * [misc]taylor: Taking taylor expansion of (pow d1 4) in d1 1544086809.220 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.220 * [misc]backup-simplify: Simplify 0 into 0 1544086809.220 * [misc]backup-simplify: Simplify 1 into 1 1544086809.220 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.220 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.221 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544086809.221 * [misc]backup-simplify: Simplify 1 into 1 1544086809.221 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.221 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.221 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544086809.221 * [misc]backup-simplify: Simplify 0 into 0 1544086809.222 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.222 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.222 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.222 * [misc]backup-simplify: Simplify 0 into 0 1544086809.223 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.223 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.223 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.223 * [misc]backup-simplify: Simplify 0 into 0 1544086809.224 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.224 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.225 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.225 * [misc]backup-simplify: Simplify 0 into 0 1544086809.225 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.226 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.226 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.226 * [misc]backup-simplify: Simplify 0 into 0 1544086809.227 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.227 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.228 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.228 * [misc]backup-simplify: Simplify 0 into 0 1544086809.228 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4) 1544086809.228 * * * [misc]progress: simplifying candidates 1544086809.228 * * * * [misc]progress: [ 1 / 51 ] simplifiying candidate # 1544086809.228 * * * * [misc]progress: [ 2 / 51 ] simplifiying candidate # 1544086809.228 * * * * [misc]progress: [ 3 / 51 ] simplifiying candidate # 1544086809.228 * * * * [misc]progress: [ 4 / 51 ] simplifiying candidate # 1544086809.228 * * * * [misc]progress: [ 5 / 51 ] simplifiying candidate # 1544086809.228 * * * * [misc]progress: [ 6 / 51 ] simplifiying candidate # 1544086809.228 * * * * [misc]progress: [ 7 / 51 ] simplifiying candidate # 1544086809.228 * * * * [misc]progress: [ 8 / 51 ] simplifiying candidate # 1544086809.228 * * * * [misc]progress: [ 9 / 51 ] simplifiying candidate # 1544086809.229 * * * * [misc]progress: [ 10 / 51 ] simplifiying candidate # 1544086809.229 * * * * [misc]progress: [ 11 / 51 ] simplifiying candidate # 1544086809.229 * * * * [misc]progress: [ 12 / 51 ] simplifiying candidate # 1544086809.229 * * * * [misc]progress: [ 13 / 51 ] simplifiying candidate # 1544086809.229 * * * * [misc]progress: [ 14 / 51 ] simplifiying candidate # 1544086809.229 * * * * [misc]progress: [ 15 / 51 ] simplifiying candidate # 1544086809.230 * * * * [misc]progress: [ 16 / 51 ] simplifiying candidate # 1544086809.230 * * * * [misc]progress: [ 17 / 51 ] simplifiying candidate # 1544086809.230 * * * * [misc]progress: [ 18 / 51 ] simplifiying candidate # 1544086809.230 * * * * [misc]progress: [ 19 / 51 ] simplifiying candidate # 1544086809.230 * [enter]simplify: Simplifying (* d1 (* d1 d1)) 1544086809.230 * * [misc]simplify: iters left: 4 (3 enodes) 1544086809.231 * * [misc]simplify: iters left: 3 (6 enodes) 1544086809.233 * [exit]simplify: Simplified to (pow d1 3) 1544086809.233 * [misc]simplify: Simplified (2 1 2 1 1 1) to (λ (d1) (* (* d1 (* (* (* (pow d1 3) (* d1 d1)) (* d1 d1)) d1)) d1)) 1544086809.233 * * * * [misc]progress: [ 20 / 51 ] simplifiying candidate # 1544086809.233 * * * * [misc]progress: [ 21 / 51 ] simplifiying candidate # 1544086809.233 * * * * [misc]progress: [ 22 / 51 ] simplifiying candidate # 1544086809.233 * * * * [misc]progress: [ 23 / 51 ] simplifiying candidate # 1544086809.234 * * * * [misc]progress: [ 24 / 51 ] simplifiying candidate # 1544086809.234 * * * * [misc]progress: [ 25 / 51 ] simplifiying candidate # 1544086809.234 * * * * [misc]progress: [ 26 / 51 ] simplifiying candidate # 1544086809.234 * * * * [misc]progress: [ 27 / 51 ] simplifiying candidate # 1544086809.234 * * * * [misc]progress: [ 28 / 51 ] simplifiying candidate # 1544086809.234 * * * * [misc]progress: [ 29 / 51 ] simplifiying candidate # 1544086809.234 * * * * [misc]progress: [ 30 / 51 ] simplifiying candidate # 1544086809.234 * * * * [misc]progress: [ 31 / 51 ] simplifiying candidate # 1544086809.234 * * * * [misc]progress: [ 32 / 51 ] simplifiying candidate # 1544086809.234 * * * * [misc]progress: [ 33 / 51 ] simplifiying candidate # 1544086809.234 * * * * [misc]progress: [ 34 / 51 ] simplifiying candidate # 1544086809.234 * * * * [misc]progress: [ 35 / 51 ] simplifiying candidate # 1544086809.234 * * * * [misc]progress: [ 36 / 51 ] simplifiying candidate # 1544086809.234 * * * * [misc]progress: [ 37 / 51 ] simplifiying candidate # 1544086809.234 * * * * [misc]progress: [ 38 / 51 ] simplifiying candidate # 1544086809.234 * * * * [misc]progress: [ 39 / 51 ] simplifiying candidate # 1544086809.235 * * * * [misc]progress: [ 40 / 51 ] simplifiying candidate # 1544086809.235 * [enter]simplify: Simplifying (pow d1 3) 1544086809.235 * * [misc]simplify: iters left: 1 (3 enodes) 1544086809.236 * [exit]simplify: Simplified to (pow d1 3) 1544086809.236 * [misc]simplify: Simplified (2 1 2 1 1 1 1) to (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1)) 1544086809.236 * * * * [misc]progress: [ 41 / 51 ] simplifiying candidate # 1544086809.236 * [enter]simplify: Simplifying (pow d1 3) 1544086809.236 * * [misc]simplify: iters left: 1 (3 enodes) 1544086809.237 * [exit]simplify: Simplified to (pow d1 3) 1544086809.237 * [misc]simplify: Simplified (2 1 2 1 1 1 1) to (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1)) 1544086809.237 * * * * [misc]progress: [ 42 / 51 ] simplifiying candidate # 1544086809.238 * [enter]simplify: Simplifying (pow d1 3) 1544086809.238 * * [misc]simplify: iters left: 1 (3 enodes) 1544086809.239 * [exit]simplify: Simplified to (pow d1 3) 1544086809.239 * [misc]simplify: Simplified (2 1 2 1 1 1 1) to (λ (d1) (* (* d1 (* (* (* (* (pow d1 3) d1) d1) (* d1 d1)) d1)) d1)) 1544086809.239 * * * * [misc]progress: [ 43 / 51 ] simplifiying candidate # 1544086809.239 * [enter]simplify: Simplifying (pow d1 5) 1544086809.239 * * [misc]simplify: iters left: 1 (3 enodes) 1544086809.240 * [exit]simplify: Simplified to (pow d1 5) 1544086809.240 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1)) 1544086809.240 * * * * [misc]progress: [ 44 / 51 ] simplifiying candidate # 1544086809.240 * [enter]simplify: Simplifying (pow d1 5) 1544086809.240 * * [misc]simplify: iters left: 1 (3 enodes) 1544086809.241 * [exit]simplify: Simplified to (pow d1 5) 1544086809.241 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1)) 1544086809.241 * * * * [misc]progress: [ 45 / 51 ] simplifiying candidate # 1544086809.241 * [enter]simplify: Simplifying (pow d1 5) 1544086809.241 * * [misc]simplify: iters left: 1 (3 enodes) 1544086809.242 * [exit]simplify: Simplified to (pow d1 5) 1544086809.242 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (d1) (* (* d1 (* (* (pow d1 5) (* d1 d1)) d1)) d1)) 1544086809.242 * * * * [misc]progress: [ 46 / 51 ] simplifiying candidate # 1544086809.242 * [enter]simplify: Simplifying (pow d1 9) 1544086809.242 * * [misc]simplify: iters left: 1 (3 enodes) 1544086809.243 * [exit]simplify: Simplified to (pow d1 9) 1544086809.243 * [misc]simplify: Simplified (2 1) to (λ (d1) (* (pow d1 9) d1)) 1544086809.243 * * * * [misc]progress: [ 47 / 51 ] simplifiying candidate # 1544086809.244 * [enter]simplify: Simplifying (pow d1 9) 1544086809.244 * * [misc]simplify: iters left: 1 (3 enodes) 1544086809.244 * [exit]simplify: Simplified to (pow d1 9) 1544086809.245 * [misc]simplify: Simplified (2 1) to (λ (d1) (* (pow d1 9) d1)) 1544086809.245 * * * * [misc]progress: [ 48 / 51 ] simplifiying candidate # 1544086809.245 * [enter]simplify: Simplifying (pow d1 9) 1544086809.245 * * [misc]simplify: iters left: 1 (3 enodes) 1544086809.246 * [exit]simplify: Simplified to (pow d1 9) 1544086809.246 * [misc]simplify: Simplified (2 1) to (λ (d1) (* (pow d1 9) d1)) 1544086809.246 * * * * [misc]progress: [ 49 / 51 ] simplifiying candidate # 1544086809.246 * [enter]simplify: Simplifying (pow d1 4) 1544086809.246 * * [misc]simplify: iters left: 1 (3 enodes) 1544086809.247 * [exit]simplify: Simplified to (pow d1 4) 1544086809.247 * [misc]simplify: Simplified (2 1 2 1 1 1) to (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1)) 1544086809.247 * * * * [misc]progress: [ 50 / 51 ] simplifiying candidate # 1544086809.247 * [enter]simplify: Simplifying (pow d1 4) 1544086809.247 * * [misc]simplify: iters left: 1 (3 enodes) 1544086809.248 * [exit]simplify: Simplified to (pow d1 4) 1544086809.248 * [misc]simplify: Simplified (2 1 2 1 1 1) to (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1)) 1544086809.248 * * * * [misc]progress: [ 51 / 51 ] simplifiying candidate # 1544086809.248 * [enter]simplify: Simplifying (pow d1 4) 1544086809.248 * * [misc]simplify: iters left: 1 (3 enodes) 1544086809.249 * [exit]simplify: Simplified to (pow d1 4) 1544086809.249 * [misc]simplify: Simplified (2 1 2 1 1 1) to (λ (d1) (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) d1)) 1544086809.249 * * * [misc]progress: adding candidates to table 1544086809.634 * * [misc]progress: iteration 2 / 4 1544086809.634 * * * [misc]progress: picking best candidate 1544086809.649 * * * * [misc]pick: Picked # 1544086809.649 * * * [misc]progress: localizing error 1544086809.660 * * * [misc]progress: generating rewritten candidates 1544086809.660 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1544086809.662 * * * [misc]progress: generating series expansions 1544086809.662 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1544086809.662 * [misc]backup-simplify: Simplify (* (pow d1 9) d1) into (pow d1 10) 1544086809.663 * [misc]approximate: Taking taylor expansion of (pow d1 10) in (d1) around 0 1544086809.663 * [misc]taylor: Taking taylor expansion of (pow d1 10) in d1 1544086809.663 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.663 * [misc]backup-simplify: Simplify 0 into 0 1544086809.663 * [misc]backup-simplify: Simplify 1 into 1 1544086809.663 * [misc]taylor: Taking taylor expansion of (pow d1 10) in d1 1544086809.663 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.663 * [misc]backup-simplify: Simplify 0 into 0 1544086809.663 * [misc]backup-simplify: Simplify 1 into 1 1544086809.663 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.663 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.663 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.663 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.663 * [misc]backup-simplify: Simplify 1 into 1 1544086809.663 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.664 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.664 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.664 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.664 * [misc]backup-simplify: Simplify 0 into 0 1544086809.664 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.664 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.664 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.664 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.665 * [misc]backup-simplify: Simplify 0 into 0 1544086809.665 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.665 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.665 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.665 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.665 * [misc]backup-simplify: Simplify 0 into 0 1544086809.666 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.666 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.666 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.666 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.666 * [misc]backup-simplify: Simplify 0 into 0 1544086809.666 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.667 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.667 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.667 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.667 * [misc]backup-simplify: Simplify 0 into 0 1544086809.668 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.668 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.668 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.668 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.668 * [misc]backup-simplify: Simplify 0 into 0 1544086809.668 * [misc]backup-simplify: Simplify (* 1 (pow d1 10)) into (pow d1 10) 1544086809.669 * [misc]backup-simplify: Simplify (* (pow (/ 1 d1) 9) (/ 1 d1)) into (/ 1 (pow d1 10)) 1544086809.669 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 1544086809.669 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 1544086809.669 * [misc]taylor: Taking taylor expansion of (pow d1 10) in d1 1544086809.669 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.669 * [misc]backup-simplify: Simplify 0 into 0 1544086809.669 * [misc]backup-simplify: Simplify 1 into 1 1544086809.669 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.669 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.669 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.669 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.669 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544086809.669 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 1544086809.669 * [misc]taylor: Taking taylor expansion of (pow d1 10) in d1 1544086809.669 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.669 * [misc]backup-simplify: Simplify 0 into 0 1544086809.669 * [misc]backup-simplify: Simplify 1 into 1 1544086809.669 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.669 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.670 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.670 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.670 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544086809.670 * [misc]backup-simplify: Simplify 1 into 1 1544086809.670 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.670 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.670 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.670 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.671 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544086809.671 * [misc]backup-simplify: Simplify 0 into 0 1544086809.671 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.671 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.671 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.671 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.671 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.671 * [misc]backup-simplify: Simplify 0 into 0 1544086809.672 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.672 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.672 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.672 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.672 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.672 * [misc]backup-simplify: Simplify 0 into 0 1544086809.673 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.673 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.673 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.673 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.674 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.674 * [misc]backup-simplify: Simplify 0 into 0 1544086809.674 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.674 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.674 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.675 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.675 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.675 * [misc]backup-simplify: Simplify 0 into 0 1544086809.675 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.675 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.676 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.676 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.676 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.676 * [misc]backup-simplify: Simplify 0 into 0 1544086809.676 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10) 1544086809.677 * [misc]backup-simplify: Simplify (* (pow (/ 1 (- d1)) 9) (/ 1 (- d1))) into (/ 1 (pow d1 10)) 1544086809.677 * [misc]approximate: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 1544086809.677 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 1544086809.677 * [misc]taylor: Taking taylor expansion of (pow d1 10) in d1 1544086809.677 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.677 * [misc]backup-simplify: Simplify 0 into 0 1544086809.677 * [misc]backup-simplify: Simplify 1 into 1 1544086809.677 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.677 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.677 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.677 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.677 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544086809.677 * [misc]taylor: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 1544086809.677 * [misc]taylor: Taking taylor expansion of (pow d1 10) in d1 1544086809.677 * [misc]taylor: Taking taylor expansion of d1 in d1 1544086809.677 * [misc]backup-simplify: Simplify 0 into 0 1544086809.677 * [misc]backup-simplify: Simplify 1 into 1 1544086809.677 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.678 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.678 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.678 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544086809.678 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544086809.678 * [misc]backup-simplify: Simplify 1 into 1 1544086809.678 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.678 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.678 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.678 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544086809.679 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544086809.679 * [misc]backup-simplify: Simplify 0 into 0 1544086809.679 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.679 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.679 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.679 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544086809.679 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.679 * [misc]backup-simplify: Simplify 0 into 0 1544086809.680 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.680 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.680 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.680 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544086809.680 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.680 * [misc]backup-simplify: Simplify 0 into 0 1544086809.682 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.683 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.683 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.683 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544086809.683 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.683 * [misc]backup-simplify: Simplify 0 into 0 1544086809.684 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.684 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.684 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.684 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544086809.685 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.685 * [misc]backup-simplify: Simplify 0 into 0 1544086809.685 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.685 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.685 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.686 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544086809.686 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544086809.686 * [misc]backup-simplify: Simplify 0 into 0 1544086809.686 * [misc]backup-simplify: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10) 1544086809.686 * * * [misc]progress: simplifying candidates 1544086809.686 * * * * [misc]progress: [ 1 / 15 ] simplifiying candidate # 1544086809.686 * * * * [misc]progress: [ 2 / 15 ] simplifiying candidate # 1544086809.686 * * * * [misc]progress: [ 3 / 15 ] simplifiying candidate # 1544086809.686 * * * * [misc]progress: [ 4 / 15 ] simplifiying candidate # 1544086809.686 * * * * [misc]progress: [ 5 / 15 ] simplifiying candidate # 1544086809.686 * * * * [misc]progress: [ 6 / 15 ] simplifiying candidate # 1544086809.687 * * * * [misc]progress: [ 7 / 15 ] simplifiying candidate # 1544086809.687 * * * * [misc]progress: [ 8 / 15 ] simplifiying candidate # 1544086809.687 * * * * [misc]progress: [ 9 / 15 ] simplifiying candidate # 1544086809.687 * [enter]simplify: Simplifying (* (cbrt (pow d1 9)) (cbrt (pow d1 9))) 1544086809.687 * * [misc]simplify: iters left: 4 (5 enodes) 1544086809.688 * [exit]simplify: Simplified to (* (cbrt (pow d1 9)) (cbrt (pow d1 9))) 1544086809.688 * [misc]simplify: Simplified (2 1) to (λ (d1) (* (* (cbrt (pow d1 9)) (cbrt (pow d1 9))) (* (cbrt (pow d1 9)) d1))) 1544086809.688 * * * * [misc]progress: [ 10 / 15 ] simplifiying candidate # 1544086809.688 * [enter]simplify: Simplifying (sqrt (pow d1 9)) 1544086809.688 * * [misc]simplify: iters left: 2 (4 enodes) 1544086809.688 * [exit]simplify: Simplified to (sqrt (pow d1 9)) 1544086809.688 * [misc]simplify: Simplified (2 1) to (λ (d1) (* (sqrt (pow d1 9)) (* (sqrt (pow d1 9)) d1))) 1544086809.688 * * * * [misc]progress: [ 11 / 15 ] simplifiying candidate # 1544086809.688 * * * * [misc]progress: [ 12 / 15 ] simplifiying candidate # 1544086809.688 * * * * [misc]progress: [ 13 / 15 ] simplifiying candidate # 1544086809.689 * [enter]simplify: Simplifying (pow d1 10) 1544086809.689 * * [misc]simplify: iters left: 1 (3 enodes) 1544086809.689 * [exit]simplify: Simplified to (pow d1 10) 1544086809.689 * [misc]simplify: Simplified (2) to (λ (d1) (pow d1 10)) 1544086809.689 * * * * [misc]progress: [ 14 / 15 ] simplifiying candidate # 1544086809.689 * [enter]simplify: Simplifying (pow d1 10) 1544086809.689 * * [misc]simplify: iters left: 1 (3 enodes) 1544086809.690 * [exit]simplify: Simplified to (pow d1 10) 1544086809.690 * [misc]simplify: Simplified (2) to (λ (d1) (pow d1 10)) 1544086809.690 * * * * [misc]progress: [ 15 / 15 ] simplifiying candidate # 1544086809.690 * [enter]simplify: Simplifying (pow d1 10) 1544086809.690 * * [misc]simplify: iters left: 1 (3 enodes) 1544086809.690 * [exit]simplify: Simplified to (pow d1 10) 1544086809.690 * [misc]simplify: Simplified (2) to (λ (d1) (pow d1 10)) 1544086809.690 * * * [misc]progress: adding candidates to table 1544086809.775 * * [misc]progress: iteration 3 / 4 1544086809.775 * * * [misc]progress: picking best candidate 1544086809.778 * * * * [misc]pick: Picked # 1544086809.778 * * * [misc]progress: localizing error 1544086809.785 * * * [misc]progress: generating rewritten candidates 1544086809.785 * * * [misc]progress: generating series expansions 1544086809.785 * * * [misc]progress: simplifying candidates 1544086809.785 * * * [misc]progress: adding candidates to table 1544086809.785 * [misc]progress: [Phase 3 of 3] Extracting. 1544086809.788 * [enter]simplify: Simplifying (pow d1 10) 1544086809.789 * * [misc]simplify: iters left: 1 (3 enodes) 1544086809.789 * [exit]simplify: Simplified to (pow d1 10) 1544086809.789 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1544086809.827 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1544086809.828 * * * * [misc]points: Setting MPFR precision to 64 1544086809.829 * * * * [misc]points: Setting MPFR precision to 320 1544086809.830 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1544086809.832 * * * * [misc]points: Setting MPFR precision to 64 1544086809.833 * * * * [misc]points: Setting MPFR precision to 320 1544086809.835 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1544086809.843 * * * * [misc]points: Setting MPFR precision to 64 1544086809.846 * * * * [misc]points: Setting MPFR precision to 320 1544086809.849 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1544086809.851 * * * * [misc]points: Setting MPFR precision to 64 1544086809.856 * * * * [misc]points: Setting MPFR precision to 320 1544086809.862 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1544086809.864 * * * * [misc]points: Setting MPFR precision to 64 1544086809.875 * * * * [misc]points: Setting MPFR precision to 320 1544086809.886 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1544086809.888 * * * * [misc]points: Setting MPFR precision to 64 1544086809.909 * * * * [misc]points: Setting MPFR precision to 320 1544086809.931 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1544086809.933 * * * * [misc]points: Setting MPFR precision to 64 1544086809.955 * * * * [misc]points: Setting MPFR precision to 320 1544086810.017 * * * * [misc]points: Setting MPFR precision to 576 1544086810.067 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1544086810.069 * * * * [misc]points: Setting MPFR precision to 320 1544086810.123 * * * * [misc]points: Setting MPFR precision to 576 1544086810.236 * * * * [misc]points: Computing exacts for 8000 points 1544086810.238 * * * * [misc]points: Setting MPFR precision to 320 1544086810.596 * * * * [misc]points: Setting MPFR precision to 576 1544086811.355 * * * * [misc]points: Filtering points with unrepresentable outputs 1544086811.358 * * * * [misc]points: Sampling 3550 additional inputs, on iter 1 have 4450 / 8000 1544086811.374 * * * * [misc]points: Computing exacts on every 221 of 3550 points to ramp up precision 1544086811.376 * * * * [misc]points: Setting MPFR precision to 320 1544086811.377 * * * * [misc]points: Setting MPFR precision to 576 1544086811.378 * * * * [misc]points: Computing exacts on every 110 of 3550 points to ramp up precision 1544086811.379 * * * * [misc]points: Setting MPFR precision to 320 1544086811.381 * * * * [misc]points: Setting MPFR precision to 576 1544086811.382 * * * * [misc]points: Computing exacts on every 55 of 3550 points to ramp up precision 1544086811.384 * * * * [misc]points: Setting MPFR precision to 320 1544086811.388 * * * * [misc]points: Setting MPFR precision to 576 1544086811.391 * * * * [misc]points: Computing exacts on every 27 of 3550 points to ramp up precision 1544086811.393 * * * * [misc]points: Setting MPFR precision to 320 1544086811.397 * * * * [misc]points: Setting MPFR precision to 576 1544086811.399 * * * * [misc]points: Computing exacts on every 13 of 3550 points to ramp up precision 1544086811.401 * * * * [misc]points: Setting MPFR precision to 320 1544086811.406 * * * * [misc]points: Setting MPFR precision to 576 1544086811.411 * * * * [misc]points: Computing exacts on every 6 of 3550 points to ramp up precision 1544086811.413 * * * * [misc]points: Setting MPFR precision to 320 1544086811.424 * * * * [misc]points: Setting MPFR precision to 576 1544086811.469 * * * * [misc]points: Computing exacts on every 3 of 3550 points to ramp up precision 1544086811.471 * * * * [misc]points: Setting MPFR precision to 320 1544086811.510 * * * * [misc]points: Setting MPFR precision to 576 1544086811.549 * * * * [misc]points: Computing exacts for 3550 points 1544086811.551 * * * * [misc]points: Setting MPFR precision to 320 1544086811.716 * * * * [misc]points: Setting MPFR precision to 576 1544086811.877 * * * * [misc]points: Filtering points with unrepresentable outputs 1544086811.878 * * * * [misc]points: Sampling 1529 additional inputs, on iter 2 have 6471 / 8000 1544086811.885 * * * * [misc]points: Computing exacts on every 95 of 1529 points to ramp up precision 1544086811.887 * * * * [misc]points: Setting MPFR precision to 320 1544086811.888 * * * * [misc]points: Setting MPFR precision to 576 1544086811.889 * * * * [misc]points: Computing exacts on every 47 of 1529 points to ramp up precision 1544086811.891 * * * * [misc]points: Setting MPFR precision to 320 1544086811.893 * * * * [misc]points: Setting MPFR precision to 576 1544086811.894 * * * * [misc]points: Computing exacts on every 23 of 1529 points to ramp up precision 1544086811.896 * * * * [misc]points: Setting MPFR precision to 320 1544086811.899 * * * * [misc]points: Setting MPFR precision to 576 1544086811.902 * * * * [misc]points: Computing exacts on every 11 of 1529 points to ramp up precision 1544086811.904 * * * * [misc]points: Setting MPFR precision to 320 1544086811.909 * * * * [misc]points: Setting MPFR precision to 576 1544086811.915 * * * * [misc]points: Computing exacts on every 5 of 1529 points to ramp up precision 1544086811.917 * * * * [misc]points: Setting MPFR precision to 320 1544086811.928 * * * * [misc]points: Setting MPFR precision to 576 1544086811.980 * * * * [misc]points: Computing exacts on every 2 of 1529 points to ramp up precision 1544086811.985 * * * * [misc]points: Setting MPFR precision to 320 1544086812.007 * * * * [misc]points: Setting MPFR precision to 576 1544086812.030 * * * * [misc]points: Computing exacts for 1529 points 1544086812.032 * * * * [misc]points: Setting MPFR precision to 320 1544086812.090 * * * * [misc]points: Setting MPFR precision to 576 1544086812.190 * * * * [misc]points: Filtering points with unrepresentable outputs 1544086812.190 * * * * [misc]points: Sampling 695 additional inputs, on iter 3 have 7305 / 8000 1544086812.194 * * * * [misc]points: Computing exacts on every 43 of 695 points to ramp up precision 1544086812.195 * * * * [misc]points: Setting MPFR precision to 320 1544086812.196 * * * * [misc]points: Setting MPFR precision to 576 1544086812.197 * * * * [misc]points: Computing exacts on every 21 of 695 points to ramp up precision 1544086812.199 * * * * [misc]points: Setting MPFR precision to 320 1544086812.200 * * * * [misc]points: Setting MPFR precision to 576 1544086812.202 * * * * [misc]points: Computing exacts on every 10 of 695 points to ramp up precision 1544086812.203 * * * * [misc]points: Setting MPFR precision to 320 1544086812.206 * * * * [misc]points: Setting MPFR precision to 576 1544086812.209 * * * * [misc]points: Computing exacts on every 5 of 695 points to ramp up precision 1544086812.211 * * * * [misc]points: Setting MPFR precision to 320 1544086812.216 * * * * [misc]points: Setting MPFR precision to 576 1544086812.222 * * * * [misc]points: Computing exacts on every 2 of 695 points to ramp up precision 1544086812.224 * * * * [misc]points: Setting MPFR precision to 320 1544086812.234 * * * * [misc]points: Setting MPFR precision to 576 1544086812.244 * * * * [misc]points: Computing exacts for 695 points 1544086812.246 * * * * [misc]points: Setting MPFR precision to 320 1544086812.278 * * * * [misc]points: Setting MPFR precision to 576 1544086812.313 * * * * [misc]points: Filtering points with unrepresentable outputs 1544086812.313 * * * * [misc]points: Sampling 304 additional inputs, on iter 4 have 7696 / 8000 1544086812.315 * * * * [misc]points: Computing exacts on every 19 of 304 points to ramp up precision 1544086812.317 * * * * [misc]points: Setting MPFR precision to 320 1544086812.363 * * * * [misc]points: Setting MPFR precision to 576 1544086812.364 * * * * [misc]points: Computing exacts on every 9 of 304 points to ramp up precision 1544086812.366 * * * * [misc]points: Setting MPFR precision to 320 1544086812.367 * * * * [misc]points: Setting MPFR precision to 576 1544086812.369 * * * * [misc]points: Computing exacts on every 4 of 304 points to ramp up precision 1544086812.370 * * * * [misc]points: Setting MPFR precision to 320 1544086812.377 * * * * [misc]points: Setting MPFR precision to 576 1544086812.380 * * * * [misc]points: Computing exacts on every 2 of 304 points to ramp up precision 1544086812.382 * * * * [misc]points: Setting MPFR precision to 320 1544086812.386 * * * * [misc]points: Setting MPFR precision to 576 1544086812.391 * * * * [misc]points: Computing exacts for 304 points 1544086812.393 * * * * [misc]points: Setting MPFR precision to 320 1544086812.400 * * * * [misc]points: Setting MPFR precision to 576 1544086812.407 * * * * [misc]points: Filtering points with unrepresentable outputs 1544086812.407 * * * * [misc]points: Sampling 129 additional inputs, on iter 5 have 7871 / 8000 1544086812.408 * * * * [misc]points: Computing exacts on every 8 of 129 points to ramp up precision 1544086812.409 * * * * [misc]points: Setting MPFR precision to 320 1544086812.409 * * * * [misc]points: Setting MPFR precision to 576 1544086812.409 * * * * [misc]points: Computing exacts on every 4 of 129 points to ramp up precision 1544086812.410 * * * * [misc]points: Setting MPFR precision to 320 1544086812.411 * * * * [misc]points: Setting MPFR precision to 576 1544086812.411 * * * * [misc]points: Computing exacts on every 2 of 129 points to ramp up precision 1544086812.412 * * * * [misc]points: Setting MPFR precision to 320 1544086812.413 * * * * [misc]points: Setting MPFR precision to 576 1544086812.414 * * * * [misc]points: Computing exacts for 129 points 1544086812.415 * * * * [misc]points: Setting MPFR precision to 320 1544086812.418 * * * * [misc]points: Setting MPFR precision to 576 1544086812.423 * * * * [misc]points: Filtering points with unrepresentable outputs 1544086812.423 * * * * [misc]points: Sampling 54 additional inputs, on iter 6 have 7946 / 8000 1544086812.423 * * * * [misc]points: Computing exacts on every 3 of 54 points to ramp up precision 1544086812.425 * * * * [misc]points: Setting MPFR precision to 320 1544086812.426 * * * * [misc]points: Setting MPFR precision to 576 1544086812.426 * * * * [misc]points: Computing exacts for 54 points 1544086812.428 * * * * [misc]points: Setting MPFR precision to 320 1544086812.430 * * * * [misc]points: Setting MPFR precision to 576 1544086812.433 * * * * [misc]points: Filtering points with unrepresentable outputs 1544086812.433 * * * * [misc]points: Sampling 22 additional inputs, on iter 7 have 7978 / 8000 1544086812.433 * * * * [misc]points: Computing exacts for 22 points 1544086812.435 * * * * [misc]points: Setting MPFR precision to 320 1544086812.436 * * * * [misc]points: Setting MPFR precision to 576 1544086812.437 * * * * [misc]points: Filtering points with unrepresentable outputs 1544086812.437 * * * * [misc]points: Sampling 11 additional inputs, on iter 8 have 7989 / 8000 1544086812.437 * * * * [misc]points: Computing exacts for 11 points 1544086812.439 * * * * [misc]points: Setting MPFR precision to 320 1544086812.440 * * * * [misc]points: Setting MPFR precision to 576 1544086812.440 * * * * [misc]points: Filtering points with unrepresentable outputs 1544086812.440 * * * * [misc]points: Sampling 6 additional inputs, on iter 9 have 7994 / 8000 1544086812.441 * * * * [misc]points: Computing exacts for 6 points 1544086812.442 * * * * [misc]points: Setting MPFR precision to 320 1544086812.443 * * * * [misc]points: Setting MPFR precision to 576 1544086812.443 * * * * [misc]points: Filtering points with unrepresentable outputs 1544086812.443 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 7998 / 8000 1544086812.443 * * * * [misc]points: Computing exacts for 4 points 1544086812.445 * * * * [misc]points: Setting MPFR precision to 320 1544086812.445 * * * * [misc]points: Setting MPFR precision to 576 1544086812.445 * * * * [misc]points: Filtering points with unrepresentable outputs 1544086812.446 * * * * [exit]points: Sampled 8001 points with exact outputs 1544086812.698 * [misc]regime-testing: Baseline error score: 0 1544086812.699 * [misc]regime-testing: End program error score: 0 1544086812.699 * [misc]regime-testing: Oracle error score: 0 1544086812.748 * [misc]regime-testing: Target error score: 0