1544782538.654 * [misc]progress: [Phase 1 of 3] Setting up. 1544782538.654 * * * [misc]progress: [1/2] Preparing points 1544782538.655 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1544782538.751 * * * * [misc]points: Filtering points with unrepresentable outputs 1544782538.751 * * * * [exit]points: Sampled 256 points with exact outputs 1544782538.751 * * * [misc]progress: [2/2] Setting up program. 1544782538.761 * [misc]progress: [Phase 2 of 3] Improving. 1544782538.761 * [enter]simplify: Simplifying (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1.0)) 1544782538.762 * * [misc]simplify: iters left: 6 (10 enodes) 1544782538.771 * * [misc]simplify: iters left: 5 (30 enodes) 1544782538.799 * * [misc]simplify: iters left: 4 (137 enodes) 1544782539.029 * [exit]simplify: Simplified to (/ (* i (/ i 4)) (fma (* i 4) i (- 1.0))) 1544782539.041 * * [misc]progress: iteration 1 / 4 1544782539.041 * * * [misc]progress: picking best candidate 1544782539.048 * * * * [misc]pick: Picked # 1544782539.048 * * * [misc]progress: localizing error 1544782539.078 * * * [misc]progress: generating rewritten candidates 1544782539.078 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1544782539.129 * * * [misc]progress: generating series expansions 1544782539.130 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1544782539.130 * [misc]backup-simplify: Simplify (/ (* i (/ i 4)) (fma (* i 4) i (- 1.0))) into (* 1/4 (/ (pow i 2) (fma (* 4 i) i (- 1.0)))) 1544782539.130 * [misc]approximate: Taking taylor expansion of (* 1/4 (/ (pow i 2) (fma (* 4 i) i (- 1.0)))) in (i) around 0 1544782539.130 * [misc]taylor: Taking taylor expansion of (* 1/4 (/ (pow i 2) (fma (* 4 i) i (- 1.0)))) in i 1544782539.130 * [misc]taylor: Taking taylor expansion of 1/4 in i 1544782539.130 * [misc]backup-simplify: Simplify 1/4 into 1/4 1544782539.130 * [misc]taylor: Taking taylor expansion of (/ (pow i 2) (fma (* 4 i) i (- 1.0))) in i 1544782539.130 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1544782539.130 * [misc]taylor: Taking taylor expansion of i in i 1544782539.130 * [misc]backup-simplify: Simplify 0 into 0 1544782539.130 * [misc]backup-simplify: Simplify 1 into 1 1544782539.130 * [misc]taylor: Taking taylor expansion of (fma (* 4 i) i (- 1.0)) in i 1544782539.130 * [misc]taylor: Rewrote expression to (+ (* (* 4 i) i) (- 1.0)) 1544782539.130 * [misc]taylor: Taking taylor expansion of (* (* 4 i) i) in i 1544782539.130 * [misc]taylor: Taking taylor expansion of (* 4 i) in i 1544782539.130 * [misc]taylor: Taking taylor expansion of 4 in i 1544782539.130 * [misc]backup-simplify: Simplify 4 into 4 1544782539.130 * [misc]taylor: Taking taylor expansion of i in i 1544782539.130 * [misc]backup-simplify: Simplify 0 into 0 1544782539.130 * [misc]backup-simplify: Simplify 1 into 1 1544782539.130 * [misc]taylor: Taking taylor expansion of i in i 1544782539.130 * [misc]backup-simplify: Simplify 0 into 0 1544782539.131 * [misc]backup-simplify: Simplify 1 into 1 1544782539.131 * [misc]taylor: Taking taylor expansion of (- 1.0) in i 1544782539.131 * [misc]taylor: Taking taylor expansion of 1.0 in i 1544782539.131 * [misc]backup-simplify: Simplify 1.0 into 1.0 1544782539.131 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782539.131 * [misc]backup-simplify: Simplify (* 4 0) into 0 1544782539.131 * [misc]backup-simplify: Simplify (* 0 0) into 0 1544782539.131 * [misc]backup-simplify: Simplify (- 1.0) into (- 1.0) 1544782539.131 * [misc]backup-simplify: Simplify (+ 0 (- 1.0)) into (- 1.0) 1544782539.131 * [misc]backup-simplify: Simplify (/ 1 (- 1.0)) into -1.0 1544782539.131 * [misc]taylor: Taking taylor expansion of (* 1/4 (/ (pow i 2) (fma (* 4 i) i (- 1.0)))) in i 1544782539.131 * [misc]taylor: Taking taylor expansion of 1/4 in i 1544782539.132 * [misc]backup-simplify: Simplify 1/4 into 1/4 1544782539.132 * [misc]taylor: Taking taylor expansion of (/ (pow i 2) (fma (* 4 i) i (- 1.0))) in i 1544782539.132 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1544782539.132 * [misc]taylor: Taking taylor expansion of i in i 1544782539.132 * [misc]backup-simplify: Simplify 0 into 0 1544782539.132 * [misc]backup-simplify: Simplify 1 into 1 1544782539.132 * [misc]taylor: Taking taylor expansion of (fma (* 4 i) i (- 1.0)) in i 1544782539.132 * [misc]taylor: Rewrote expression to (+ (* (* 4 i) i) (- 1.0)) 1544782539.132 * [misc]taylor: Taking taylor expansion of (* (* 4 i) i) in i 1544782539.132 * [misc]taylor: Taking taylor expansion of (* 4 i) in i 1544782539.132 * [misc]taylor: Taking taylor expansion of 4 in i 1544782539.132 * [misc]backup-simplify: Simplify 4 into 4 1544782539.132 * [misc]taylor: Taking taylor expansion of i in i 1544782539.132 * [misc]backup-simplify: Simplify 0 into 0 1544782539.132 * [misc]backup-simplify: Simplify 1 into 1 1544782539.132 * [misc]taylor: Taking taylor expansion of i in i 1544782539.132 * [misc]backup-simplify: Simplify 0 into 0 1544782539.132 * [misc]backup-simplify: Simplify 1 into 1 1544782539.132 * [misc]taylor: Taking taylor expansion of (- 1.0) in i 1544782539.132 * [misc]taylor: Taking taylor expansion of 1.0 in i 1544782539.132 * [misc]backup-simplify: Simplify 1.0 into 1.0 1544782539.132 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782539.132 * [misc]backup-simplify: Simplify (* 4 0) into 0 1544782539.132 * [misc]backup-simplify: Simplify (* 0 0) into 0 1544782539.132 * [misc]backup-simplify: Simplify (- 1.0) into (- 1.0) 1544782539.133 * [misc]backup-simplify: Simplify (+ 0 (- 1.0)) into (- 1.0) 1544782539.133 * [misc]backup-simplify: Simplify (/ 1 (- 1.0)) into -1.0 1544782539.133 * [misc]backup-simplify: Simplify (* 1/4 -1.0) into -0.25 1544782539.133 * [misc]backup-simplify: Simplify -0.25 into -0.25 1544782539.133 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782539.133 * [misc]backup-simplify: Simplify (+ (* 4 1) (* 0 0)) into 4 1544782539.133 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 4 0)) into 0 1544782539.133 * [misc]backup-simplify: Simplify (- 0) into 0 1544782539.134 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782539.134 * [misc]backup-simplify: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))))) into 0 1544782539.134 * [misc]backup-simplify: Simplify (+ (* 1/4 0) (* 0 -1.0)) into 0 1544782539.134 * [misc]backup-simplify: Simplify 0 into 0 1544782539.134 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782539.134 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 1) (* 0 0))) into 0 1544782539.134 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 4 1) (* 0 0))) into 4 1544782539.135 * [misc]backup-simplify: Simplify (- 0) into 0 1544782539.135 * [misc]backup-simplify: Simplify (+ 4 0) into 4 1544782539.135 * [misc]backup-simplify: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 4 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 4.0) 1544782539.136 * [misc]backup-simplify: Simplify (+ (* 1/4 (- 4.0)) (+ (* 0 0) (* 0 -1.0))) into (- 1.0) 1544782539.136 * [misc]backup-simplify: Simplify (- 1.0) into (- 1.0) 1544782539.136 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782539.137 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1544782539.137 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 4 0) (+ (* 0 1) (* 0 0)))) into 0 1544782539.137 * [misc]backup-simplify: Simplify (- 0) into 0 1544782539.137 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782539.137 * [misc]backup-simplify: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 4 (- 1.0))) (* (- 4.0) (/ 0 (- 1.0))))) into 0 1544782539.137 * [misc]backup-simplify: Simplify (+ (* 1/4 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0)))) into 0 1544782539.137 * [misc]backup-simplify: Simplify 0 into 0 1544782539.138 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782539.138 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1544782539.138 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 4 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1544782539.138 * [misc]backup-simplify: Simplify (- 0) into 0 1544782539.138 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782539.140 * [misc]backup-simplify: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 0 (- 1.0))) (* (- 4.0) (/ 4 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 16.0) 1544782539.140 * [misc]backup-simplify: Simplify (+ (* 1/4 (- 16.0)) (+ (* 0 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0))))) into (- 4.0) 1544782539.141 * [misc]backup-simplify: Simplify (- 4.0) into (- 4.0) 1544782539.141 * [misc]backup-simplify: Simplify (+ (* (- 4.0) (pow i 6)) (+ (* (- 1.0) (pow i 4)) (* -0.25 (pow i 2)))) into (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) 1544782539.141 * [misc]backup-simplify: Simplify (/ (* (/ 1 i) (/ (/ 1 i) 4)) (fma (* (/ 1 i) 4) (/ 1 i) (- 1.0))) into (/ 1/4 (* (pow i 2) (fma (/ 4 i) (/ 1 i) (- 1.0)))) 1544782539.141 * [misc]approximate: Taking taylor expansion of (/ 1/4 (* (pow i 2) (fma (/ 4 i) (/ 1 i) (- 1.0)))) in (i) around 0 1544782539.141 * [misc]taylor: Taking taylor expansion of (/ 1/4 (* (pow i 2) (fma (/ 4 i) (/ 1 i) (- 1.0)))) in i 1544782539.141 * [misc]taylor: Taking taylor expansion of 1/4 in i 1544782539.141 * [misc]backup-simplify: Simplify 1/4 into 1/4 1544782539.141 * [misc]taylor: Taking taylor expansion of (* (pow i 2) (fma (/ 4 i) (/ 1 i) (- 1.0))) in i 1544782539.141 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1544782539.141 * [misc]taylor: Taking taylor expansion of i in i 1544782539.141 * [misc]backup-simplify: Simplify 0 into 0 1544782539.141 * [misc]backup-simplify: Simplify 1 into 1 1544782539.141 * [misc]taylor: Taking taylor expansion of (fma (/ 4 i) (/ 1 i) (- 1.0)) in i 1544782539.141 * [misc]taylor: Rewrote expression to (+ (* (/ 4 i) (/ 1 i)) (- 1.0)) 1544782539.142 * [misc]taylor: Taking taylor expansion of (* (/ 4 i) (/ 1 i)) in i 1544782539.142 * [misc]taylor: Taking taylor expansion of (/ 4 i) in i 1544782539.142 * [misc]taylor: Taking taylor expansion of 4 in i 1544782539.142 * [misc]backup-simplify: Simplify 4 into 4 1544782539.142 * [misc]taylor: Taking taylor expansion of i in i 1544782539.142 * [misc]backup-simplify: Simplify 0 into 0 1544782539.142 * [misc]backup-simplify: Simplify 1 into 1 1544782539.142 * [misc]backup-simplify: Simplify (/ 4 1) into 4 1544782539.142 * [misc]taylor: Taking taylor expansion of (/ 1 i) in i 1544782539.142 * [misc]taylor: Taking taylor expansion of i in i 1544782539.142 * [misc]backup-simplify: Simplify 0 into 0 1544782539.142 * [misc]backup-simplify: Simplify 1 into 1 1544782539.142 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544782539.142 * [misc]taylor: Taking taylor expansion of (- 1.0) in i 1544782539.142 * [misc]taylor: Taking taylor expansion of 1.0 in i 1544782539.142 * [misc]backup-simplify: Simplify 1.0 into 1.0 1544782539.142 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782539.142 * [misc]backup-simplify: Simplify (* 4 1) into 4 1544782539.142 * [misc]backup-simplify: Simplify (+ 4 0) into 4 1544782539.143 * [misc]backup-simplify: Simplify (* 1 4) into 4 1544782539.143 * [misc]backup-simplify: Simplify (/ 1/4 4) into 1/16 1544782539.143 * [misc]taylor: Taking taylor expansion of (/ 1/4 (* (pow i 2) (fma (/ 4 i) (/ 1 i) (- 1.0)))) in i 1544782539.143 * [misc]taylor: Taking taylor expansion of 1/4 in i 1544782539.143 * [misc]backup-simplify: Simplify 1/4 into 1/4 1544782539.143 * [misc]taylor: Taking taylor expansion of (* (pow i 2) (fma (/ 4 i) (/ 1 i) (- 1.0))) in i 1544782539.143 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1544782539.143 * [misc]taylor: Taking taylor expansion of i in i 1544782539.143 * [misc]backup-simplify: Simplify 0 into 0 1544782539.143 * [misc]backup-simplify: Simplify 1 into 1 1544782539.143 * [misc]taylor: Taking taylor expansion of (fma (/ 4 i) (/ 1 i) (- 1.0)) in i 1544782539.143 * [misc]taylor: Rewrote expression to (+ (* (/ 4 i) (/ 1 i)) (- 1.0)) 1544782539.143 * [misc]taylor: Taking taylor expansion of (* (/ 4 i) (/ 1 i)) in i 1544782539.143 * [misc]taylor: Taking taylor expansion of (/ 4 i) in i 1544782539.143 * [misc]taylor: Taking taylor expansion of 4 in i 1544782539.143 * [misc]backup-simplify: Simplify 4 into 4 1544782539.143 * [misc]taylor: Taking taylor expansion of i in i 1544782539.143 * [misc]backup-simplify: Simplify 0 into 0 1544782539.143 * [misc]backup-simplify: Simplify 1 into 1 1544782539.143 * [misc]backup-simplify: Simplify (/ 4 1) into 4 1544782539.143 * [misc]taylor: Taking taylor expansion of (/ 1 i) in i 1544782539.143 * [misc]taylor: Taking taylor expansion of i in i 1544782539.143 * [misc]backup-simplify: Simplify 0 into 0 1544782539.143 * [misc]backup-simplify: Simplify 1 into 1 1544782539.143 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544782539.143 * [misc]taylor: Taking taylor expansion of (- 1.0) in i 1544782539.143 * [misc]taylor: Taking taylor expansion of 1.0 in i 1544782539.143 * [misc]backup-simplify: Simplify 1.0 into 1.0 1544782539.144 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782539.144 * [misc]backup-simplify: Simplify (* 4 1) into 4 1544782539.144 * [misc]backup-simplify: Simplify (+ 4 0) into 4 1544782539.144 * [misc]backup-simplify: Simplify (* 1 4) into 4 1544782539.144 * [misc]backup-simplify: Simplify (/ 1/4 4) into 1/16 1544782539.144 * [misc]backup-simplify: Simplify 1/16 into 1/16 1544782539.145 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544782539.145 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)))) into 0 1544782539.145 * [misc]backup-simplify: Simplify (+ (* 4 0) (* 0 1)) into 0 1544782539.145 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782539.146 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782539.146 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 4)) into 0 1544782539.146 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)))) into 0 1544782539.146 * [misc]backup-simplify: Simplify 0 into 0 1544782539.146 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782539.147 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782539.147 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0 1544782539.147 * [misc]backup-simplify: Simplify (- 1.0) into (- 1.0) 1544782539.148 * [misc]backup-simplify: Simplify (+ 0 (- 1.0)) into (- 1.0) 1544782539.148 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782539.149 * [misc]backup-simplify: Simplify (+ (* 1 (- 1.0)) (+ (* 0 0) (* 0 4))) into (- 1.0) 1544782539.150 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.015625 1544782539.150 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 1544782539.151 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782539.151 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782539.151 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782539.151 * [misc]backup-simplify: Simplify (- 0) into 0 1544782539.152 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782539.152 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782539.152 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4)))) into 0 1544782539.153 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ (- 1.0) 4)) (* 0.015625 (/ 0 4)))) into 0 1544782539.153 * [misc]backup-simplify: Simplify 0 into 0 1544782539.153 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782539.154 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782539.154 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782539.154 * [misc]backup-simplify: Simplify (- 0) into 0 1544782539.154 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782539.155 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782539.155 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4))))) into 0 1544782539.157 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ 0 4)) (* 0.015625 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.00390625 1544782539.157 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1544782539.158 * [misc]backup-simplify: Simplify (+ (* 0.00390625 (pow (/ 1 i) 4)) (+ (* 0.015625 (pow (/ 1 i) 2)) 1/16)) into (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))) 1544782539.159 * [misc]backup-simplify: Simplify (/ (* (/ 1 (- i)) (/ (/ 1 (- i)) 4)) (fma (* (/ 1 (- i)) 4) (/ 1 (- i)) (- 1.0))) into (/ 1/4 (* (pow i 2) (fma (/ -4 i) (/ -1 i) (- 1.0)))) 1544782539.159 * [misc]approximate: Taking taylor expansion of (/ 1/4 (* (pow i 2) (fma (/ -4 i) (/ -1 i) (- 1.0)))) in (i) around 0 1544782539.159 * [misc]taylor: Taking taylor expansion of (/ 1/4 (* (pow i 2) (fma (/ -4 i) (/ -1 i) (- 1.0)))) in i 1544782539.159 * [misc]taylor: Taking taylor expansion of 1/4 in i 1544782539.159 * [misc]backup-simplify: Simplify 1/4 into 1/4 1544782539.159 * [misc]taylor: Taking taylor expansion of (* (pow i 2) (fma (/ -4 i) (/ -1 i) (- 1.0))) in i 1544782539.159 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1544782539.159 * [misc]taylor: Taking taylor expansion of i in i 1544782539.159 * [misc]backup-simplify: Simplify 0 into 0 1544782539.159 * [misc]backup-simplify: Simplify 1 into 1 1544782539.159 * [misc]taylor: Taking taylor expansion of (fma (/ -4 i) (/ -1 i) (- 1.0)) in i 1544782539.159 * [misc]taylor: Rewrote expression to (+ (* (/ -4 i) (/ -1 i)) (- 1.0)) 1544782539.159 * [misc]taylor: Taking taylor expansion of (* (/ -4 i) (/ -1 i)) in i 1544782539.159 * [misc]taylor: Taking taylor expansion of (/ -4 i) in i 1544782539.159 * [misc]taylor: Taking taylor expansion of -4 in i 1544782539.159 * [misc]backup-simplify: Simplify -4 into -4 1544782539.159 * [misc]taylor: Taking taylor expansion of i in i 1544782539.159 * [misc]backup-simplify: Simplify 0 into 0 1544782539.159 * [misc]backup-simplify: Simplify 1 into 1 1544782539.159 * [misc]backup-simplify: Simplify (/ -4 1) into -4 1544782539.159 * [misc]taylor: Taking taylor expansion of (/ -1 i) in i 1544782539.159 * [misc]taylor: Taking taylor expansion of -1 in i 1544782539.159 * [misc]backup-simplify: Simplify -1 into -1 1544782539.159 * [misc]taylor: Taking taylor expansion of i in i 1544782539.159 * [misc]backup-simplify: Simplify 0 into 0 1544782539.159 * [misc]backup-simplify: Simplify 1 into 1 1544782539.160 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544782539.160 * [misc]taylor: Taking taylor expansion of (- 1.0) in i 1544782539.160 * [misc]taylor: Taking taylor expansion of 1.0 in i 1544782539.160 * [misc]backup-simplify: Simplify 1.0 into 1.0 1544782539.160 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782539.160 * [misc]backup-simplify: Simplify (* -4 -1) into 4 1544782539.160 * [misc]backup-simplify: Simplify (+ 4 0) into 4 1544782539.160 * [misc]backup-simplify: Simplify (* 1 4) into 4 1544782539.160 * [misc]backup-simplify: Simplify (/ 1/4 4) into 1/16 1544782539.160 * [misc]taylor: Taking taylor expansion of (/ 1/4 (* (pow i 2) (fma (/ -4 i) (/ -1 i) (- 1.0)))) in i 1544782539.160 * [misc]taylor: Taking taylor expansion of 1/4 in i 1544782539.160 * [misc]backup-simplify: Simplify 1/4 into 1/4 1544782539.160 * [misc]taylor: Taking taylor expansion of (* (pow i 2) (fma (/ -4 i) (/ -1 i) (- 1.0))) in i 1544782539.160 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1544782539.160 * [misc]taylor: Taking taylor expansion of i in i 1544782539.160 * [misc]backup-simplify: Simplify 0 into 0 1544782539.160 * [misc]backup-simplify: Simplify 1 into 1 1544782539.160 * [misc]taylor: Taking taylor expansion of (fma (/ -4 i) (/ -1 i) (- 1.0)) in i 1544782539.160 * [misc]taylor: Rewrote expression to (+ (* (/ -4 i) (/ -1 i)) (- 1.0)) 1544782539.160 * [misc]taylor: Taking taylor expansion of (* (/ -4 i) (/ -1 i)) in i 1544782539.160 * [misc]taylor: Taking taylor expansion of (/ -4 i) in i 1544782539.160 * [misc]taylor: Taking taylor expansion of -4 in i 1544782539.160 * [misc]backup-simplify: Simplify -4 into -4 1544782539.160 * [misc]taylor: Taking taylor expansion of i in i 1544782539.161 * [misc]backup-simplify: Simplify 0 into 0 1544782539.161 * [misc]backup-simplify: Simplify 1 into 1 1544782539.161 * [misc]backup-simplify: Simplify (/ -4 1) into -4 1544782539.161 * [misc]taylor: Taking taylor expansion of (/ -1 i) in i 1544782539.161 * [misc]taylor: Taking taylor expansion of -1 in i 1544782539.161 * [misc]backup-simplify: Simplify -1 into -1 1544782539.161 * [misc]taylor: Taking taylor expansion of i in i 1544782539.161 * [misc]backup-simplify: Simplify 0 into 0 1544782539.161 * [misc]backup-simplify: Simplify 1 into 1 1544782539.161 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544782539.161 * [misc]taylor: Taking taylor expansion of (- 1.0) in i 1544782539.161 * [misc]taylor: Taking taylor expansion of 1.0 in i 1544782539.161 * [misc]backup-simplify: Simplify 1.0 into 1.0 1544782539.161 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782539.161 * [misc]backup-simplify: Simplify (* -4 -1) into 4 1544782539.161 * [misc]backup-simplify: Simplify (+ 4 0) into 4 1544782539.161 * [misc]backup-simplify: Simplify (* 1 4) into 4 1544782539.161 * [misc]backup-simplify: Simplify (/ 1/4 4) into 1/16 1544782539.161 * [misc]backup-simplify: Simplify 1/16 into 1/16 1544782539.162 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1544782539.162 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -4 (/ 0 1)))) into 0 1544782539.162 * [misc]backup-simplify: Simplify (+ (* -4 0) (* 0 -1)) into 0 1544782539.162 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782539.162 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782539.162 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 4)) into 0 1544782539.162 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)))) into 0 1544782539.162 * [misc]backup-simplify: Simplify 0 into 0 1544782539.163 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782539.163 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -4 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782539.163 * [misc]backup-simplify: Simplify (+ (* -4 0) (+ (* 0 0) (* 0 -1))) into 0 1544782539.163 * [misc]backup-simplify: Simplify (- 1.0) into (- 1.0) 1544782539.163 * [misc]backup-simplify: Simplify (+ 0 (- 1.0)) into (- 1.0) 1544782539.164 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782539.164 * [misc]backup-simplify: Simplify (+ (* 1 (- 1.0)) (+ (* 0 0) (* 0 4))) into (- 1.0) 1544782539.165 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.015625 1544782539.165 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 1544782539.165 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782539.165 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782539.165 * [misc]backup-simplify: Simplify (+ (* -4 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 1544782539.166 * [misc]backup-simplify: Simplify (- 0) into 0 1544782539.166 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782539.166 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782539.166 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4)))) into 0 1544782539.166 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ (- 1.0) 4)) (* 0.015625 (/ 0 4)))) into 0 1544782539.166 * [misc]backup-simplify: Simplify 0 into 0 1544782539.167 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782539.167 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782539.167 * [misc]backup-simplify: Simplify (+ (* -4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 1544782539.167 * [misc]backup-simplify: Simplify (- 0) into 0 1544782539.167 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782539.167 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782539.168 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4))))) into 0 1544782539.169 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ 0 4)) (* 0.015625 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.00390625 1544782539.169 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1544782539.169 * [misc]backup-simplify: Simplify (+ (* 0.00390625 (pow (/ 1 (- i)) 4)) (+ (* 0.015625 (pow (/ 1 (- i)) 2)) 1/16)) into (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))) 1544782539.169 * * * [misc]progress: simplifying candidates 1544782539.169 * * * * [misc]progress: [ 1 / 25 ] simplifiying candidate # 1544782539.169 * * * * [misc]progress: [ 2 / 25 ] simplifiying candidate # 1544782539.169 * * * * [misc]progress: [ 3 / 25 ] simplifiying candidate # 1544782539.169 * * * * [misc]progress: [ 4 / 25 ] simplifiying candidate # 1544782539.170 * [enter]simplify: Simplifying (- (log (* i (/ i 4))) (log (fma (* i 4) i (- 1.0)))) 1544782539.170 * * [misc]simplify: iters left: 6 (11 enodes) 1544782539.174 * * [misc]simplify: iters left: 5 (22 enodes) 1544782539.180 * * [misc]simplify: iters left: 4 (38 enodes) 1544782539.190 * * [misc]simplify: iters left: 3 (65 enodes) 1544782539.213 * * [misc]simplify: iters left: 2 (107 enodes) 1544782539.243 * * [misc]simplify: iters left: 1 (180 enodes) 1544782539.305 * [exit]simplify: Simplified to (- (log (* i (/ i 4))) (log (fma i (* i 4) (- 1.0)))) 1544782539.305 * [misc]simplify: Simplified (2 1) to (λ (i) (exp (- (log (* i (/ i 4))) (log (fma i (* i 4) (- 1.0)))))) 1544782539.305 * * * * [misc]progress: [ 5 / 25 ] simplifiying candidate # 1544782539.305 * * * * [misc]progress: [ 6 / 25 ] simplifiying candidate # 1544782539.305 * * * * [misc]progress: [ 7 / 25 ] simplifiying candidate # 1544782539.305 * [enter]simplify: Simplifying (/ (* (* (* i (/ i 4)) (* i (/ i 4))) (* i (/ i 4))) (* (* (fma (* i 4) i (- 1.0)) (fma (* i 4) i (- 1.0))) (fma (* i 4) i (- 1.0)))) 1544782539.306 * * [misc]simplify: iters left: 6 (13 enodes) 1544782539.311 * * [misc]simplify: iters left: 5 (34 enodes) 1544782539.331 * * [misc]simplify: iters left: 4 (142 enodes) 1544782539.501 * [exit]simplify: Simplified to (pow (/ (/ (* i i) 4) (fma i (* i 4) (- 1.0))) 3) 1544782539.501 * [misc]simplify: Simplified (2 1) to (λ (i) (cbrt (pow (/ (/ (* i i) 4) (fma i (* i 4) (- 1.0))) 3))) 1544782539.502 * * * * [misc]progress: [ 8 / 25 ] simplifiying candidate # 1544782539.502 * * * * [misc]progress: [ 9 / 25 ] simplifiying candidate # 1544782539.502 * * * * [misc]progress: [ 10 / 25 ] simplifiying candidate # 1544782539.502 * * * * [misc]progress: [ 11 / 25 ] simplifiying candidate # 1544782539.502 * * * * [misc]progress: [ 12 / 25 ] simplifiying candidate # 1544782539.502 * [enter]simplify: Simplifying (/ i (* (cbrt (fma (* i 4) i (- 1.0))) (cbrt (fma (* i 4) i (- 1.0))))) 1544782539.503 * * [misc]simplify: iters left: 6 (9 enodes) 1544782539.507 * * [misc]simplify: iters left: 5 (14 enodes) 1544782539.513 * * [misc]simplify: iters left: 4 (19 enodes) 1544782539.518 * * [misc]simplify: iters left: 3 (22 enodes) 1544782539.523 * [exit]simplify: Simplified to (/ (/ i (cbrt (fma (* i 4) i (- 1.0)))) (cbrt (fma (* i 4) i (- 1.0)))) 1544782539.523 * [misc]simplify: Simplified (2 1) to (λ (i) (* (/ (/ i (cbrt (fma (* i 4) i (- 1.0)))) (cbrt (fma (* i 4) i (- 1.0)))) (/ (/ i 4) (cbrt (fma (* i 4) i (- 1.0)))))) 1544782539.523 * [enter]simplify: Simplifying (/ (/ i 4) (cbrt (fma (* i 4) i (- 1.0)))) 1544782539.523 * * [misc]simplify: iters left: 6 (9 enodes) 1544782539.527 * * [misc]simplify: iters left: 5 (14 enodes) 1544782539.531 * * [misc]simplify: iters left: 4 (22 enodes) 1544782539.535 * * [misc]simplify: iters left: 3 (25 enodes) 1544782539.540 * [exit]simplify: Simplified to (/ (/ i 4) (cbrt (fma 4 (* i i) (- 1.0)))) 1544782539.540 * [misc]simplify: Simplified (2 2) to (λ (i) (* (/ i (* (cbrt (fma (* i 4) i (- 1.0))) (cbrt (fma (* i 4) i (- 1.0))))) (/ (/ i 4) (cbrt (fma 4 (* i i) (- 1.0)))))) 1544782539.540 * * * * [misc]progress: [ 13 / 25 ] simplifiying candidate # 1544782539.540 * [enter]simplify: Simplifying (/ i (sqrt (fma (* i 4) i (- 1.0)))) 1544782539.541 * * [misc]simplify: iters left: 6 (8 enodes) 1544782539.543 * * [misc]simplify: iters left: 5 (11 enodes) 1544782539.546 * * [misc]simplify: iters left: 4 (16 enodes) 1544782539.550 * * [misc]simplify: iters left: 3 (19 enodes) 1544782539.554 * [exit]simplify: Simplified to (/ i (sqrt (fma (* i 4) i (- 1.0)))) 1544782539.555 * [misc]simplify: Simplified (2 1) to (λ (i) (* (/ i (sqrt (fma (* i 4) i (- 1.0)))) (/ (/ i 4) (sqrt (fma (* i 4) i (- 1.0)))))) 1544782539.555 * [enter]simplify: Simplifying (/ (/ i 4) (sqrt (fma (* i 4) i (- 1.0)))) 1544782539.555 * * [misc]simplify: iters left: 6 (9 enodes) 1544782539.558 * * [misc]simplify: iters left: 5 (14 enodes) 1544782539.562 * * [misc]simplify: iters left: 4 (22 enodes) 1544782539.567 * * [misc]simplify: iters left: 3 (25 enodes) 1544782539.572 * [exit]simplify: Simplified to (/ (/ i 4) (sqrt (fma 4 (* i i) (- 1.0)))) 1544782539.572 * [misc]simplify: Simplified (2 2) to (λ (i) (* (/ i (sqrt (fma (* i 4) i (- 1.0)))) (/ (/ i 4) (sqrt (fma 4 (* i i) (- 1.0)))))) 1544782539.572 * * * * [misc]progress: [ 14 / 25 ] simplifiying candidate # 1544782539.572 * [enter]simplify: Simplifying (/ i 1) 1544782539.572 * * [misc]simplify: iters left: 2 (3 enodes) 1544782539.573 * * [misc]simplify: iters left: 1 (5 enodes) 1544782539.573 * [exit]simplify: Simplified to i 1544782539.573 * [misc]simplify: Simplified (2 1) to (λ (i) (* i (/ (/ i 4) (fma (* i 4) i (- 1.0))))) 1544782539.574 * [enter]simplify: Simplifying (/ (/ i 4) (fma (* i 4) i (- 1.0))) 1544782539.576 * * [misc]simplify: iters left: 5 (8 enodes) 1544782539.578 * * [misc]simplify: iters left: 4 (13 enodes) 1544782539.582 * * [misc]simplify: iters left: 3 (21 enodes) 1544782539.587 * * [misc]simplify: iters left: 2 (32 enodes) 1544782539.596 * * [misc]simplify: iters left: 1 (51 enodes) 1544782539.619 * [exit]simplify: Simplified to (/ i (fma 16 (* i i) (* -4 1.0))) 1544782539.619 * [misc]simplify: Simplified (2 2) to (λ (i) (* i (/ i (fma 16 (* i i) (* -4 1.0))))) 1544782539.619 * * * * [misc]progress: [ 15 / 25 ] simplifiying candidate # 1544782539.620 * * * * [misc]progress: [ 16 / 25 ] simplifiying candidate # 1544782539.620 * * * * [misc]progress: [ 17 / 25 ] simplifiying candidate # 1544782539.620 * * * * [misc]progress: [ 18 / 25 ] simplifiying candidate # 1544782539.620 * [enter]simplify: Simplifying (cbrt (fma (* i 4) i (- 1.0))) 1544782539.621 * * [misc]simplify: iters left: 4 (7 enodes) 1544782539.624 * * [misc]simplify: iters left: 3 (10 enodes) 1544782539.629 * * [misc]simplify: iters left: 2 (15 enodes) 1544782539.641 * * [misc]simplify: iters left: 1 (18 enodes) 1544782539.644 * [exit]simplify: Simplified to (cbrt (fma 4 (* i i) (- 1.0))) 1544782539.644 * [misc]simplify: Simplified (2 2) to (λ (i) (/ (/ (* i (/ i 4)) (* (cbrt (fma (* i 4) i (- 1.0))) (cbrt (fma (* i 4) i (- 1.0))))) (cbrt (fma 4 (* i i) (- 1.0))))) 1544782539.644 * * * * [misc]progress: [ 19 / 25 ] simplifiying candidate # 1544782539.644 * [enter]simplify: Simplifying (sqrt (fma (* i 4) i (- 1.0))) 1544782539.645 * * [misc]simplify: iters left: 4 (7 enodes) 1544782539.647 * * [misc]simplify: iters left: 3 (10 enodes) 1544782539.649 * * [misc]simplify: iters left: 2 (15 enodes) 1544782539.653 * * [misc]simplify: iters left: 1 (18 enodes) 1544782539.657 * [exit]simplify: Simplified to (sqrt (fma 4 (* i i) (- 1.0))) 1544782539.657 * [misc]simplify: Simplified (2 2) to (λ (i) (/ (/ (* i (/ i 4)) (sqrt (fma (* i 4) i (- 1.0)))) (sqrt (fma 4 (* i i) (- 1.0))))) 1544782539.657 * * * * [misc]progress: [ 20 / 25 ] simplifiying candidate # 1544782539.657 * [enter]simplify: Simplifying (fma (* i 4) i (- 1.0)) 1544782539.657 * * [misc]simplify: iters left: 3 (6 enodes) 1544782539.659 * * [misc]simplify: iters left: 2 (9 enodes) 1544782539.662 * * [misc]simplify: iters left: 1 (14 enodes) 1544782539.667 * [exit]simplify: Simplified to (fma 4 (* i i) (- 1.0)) 1544782539.667 * [misc]simplify: Simplified (2 2) to (λ (i) (/ (/ (* i (/ i 4)) 1) (fma 4 (* i i) (- 1.0)))) 1544782539.667 * * * * [misc]progress: [ 21 / 25 ] simplifiying candidate # 1544782539.667 * * * * [misc]progress: [ 22 / 25 ] simplifiying candidate # 1544782539.667 * [enter]simplify: Simplifying (* i i) 1544782539.667 * * [misc]simplify: iters left: 2 (2 enodes) 1544782539.668 * [exit]simplify: Simplified to (* i i) 1544782539.668 * [misc]simplify: Simplified (2 1) to (λ (i) (/ (* i i) (* (fma (* i 4) i (- 1.0)) 4))) 1544782539.668 * * * * [misc]progress: [ 23 / 25 ] simplifiying candidate # 1544782539.669 * [enter]simplify: Simplifying (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) 1544782539.670 * * [misc]simplify: iters left: 6 (16 enodes) 1544782539.677 * * [misc]simplify: iters left: 5 (29 enodes) 1544782539.695 * * [misc]simplify: iters left: 4 (57 enodes) 1544782539.728 * * [misc]simplify: iters left: 3 (123 enodes) 1544782539.792 * * [misc]simplify: iters left: 2 (189 enodes) 1544782539.840 * * [misc]simplify: iters left: 1 (221 enodes) 1544782539.943 * [exit]simplify: Simplified to (- (* (pow i 6) (- 4.0)) (fma (* 0.25 i) i (* (pow i 4) 1.0))) 1544782539.943 * [misc]simplify: Simplified (2) to (λ (i) (- (* (pow i 6) (- 4.0)) (fma (* 0.25 i) i (* (pow i 4) 1.0)))) 1544782539.943 * * * * [misc]progress: [ 24 / 25 ] simplifiying candidate # 1544782539.943 * [enter]simplify: Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))) 1544782539.944 * * [misc]simplify: iters left: 6 (15 enodes) 1544782539.949 * * [misc]simplify: iters left: 5 (29 enodes) 1544782539.958 * * [misc]simplify: iters left: 4 (48 enodes) 1544782539.977 * * [misc]simplify: iters left: 3 (62 enodes) 1544782539.997 * * [misc]simplify: iters left: 2 (71 enodes) 1544782540.014 * * [misc]simplify: iters left: 1 (76 enodes) 1544782540.027 * [exit]simplify: Simplified to (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4))) 1544782540.027 * [misc]simplify: Simplified (2) to (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4)))) 1544782540.027 * * * * [misc]progress: [ 25 / 25 ] simplifiying candidate # 1544782540.027 * [enter]simplify: Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))) 1544782540.028 * * [misc]simplify: iters left: 6 (15 enodes) 1544782540.032 * * [misc]simplify: iters left: 5 (29 enodes) 1544782540.041 * * [misc]simplify: iters left: 4 (48 enodes) 1544782540.060 * * [misc]simplify: iters left: 3 (62 enodes) 1544782540.076 * * [misc]simplify: iters left: 2 (71 enodes) 1544782540.092 * * [misc]simplify: iters left: 1 (76 enodes) 1544782540.115 * [exit]simplify: Simplified to (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4))) 1544782540.116 * [misc]simplify: Simplified (2) to (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4)))) 1544782540.116 * * * [misc]progress: adding candidates to table 1544782540.521 * * [misc]progress: iteration 2 / 4 1544782540.521 * * * [misc]progress: picking best candidate 1544782540.537 * * * * [misc]pick: Picked # 1544782540.537 * * * [misc]progress: localizing error 1544782540.576 * * * [misc]progress: generating rewritten candidates 1544782540.576 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 2) 1544782540.600 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1544782540.601 * * * [misc]progress: generating series expansions 1544782540.601 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 2) 1544782540.602 * [misc]backup-simplify: Simplify (/ 0.00390625 (pow i 4)) into (/ 0.00390625 (pow i 4)) 1544782540.602 * [misc]approximate: Taking taylor expansion of (/ 0.00390625 (pow i 4)) in (i) around 0 1544782540.602 * [misc]taylor: Taking taylor expansion of (/ 0.00390625 (pow i 4)) in i 1544782540.602 * [misc]taylor: Taking taylor expansion of 0.00390625 in i 1544782540.602 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1544782540.602 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1544782540.602 * [misc]taylor: Taking taylor expansion of i in i 1544782540.602 * [misc]backup-simplify: Simplify 0 into 0 1544782540.602 * [misc]backup-simplify: Simplify 1 into 1 1544782540.602 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782540.602 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782540.603 * [misc]backup-simplify: Simplify (/ 0.00390625 1) into 0.00390625 1544782540.603 * [misc]taylor: Taking taylor expansion of (/ 0.00390625 (pow i 4)) in i 1544782540.603 * [misc]taylor: Taking taylor expansion of 0.00390625 in i 1544782540.603 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1544782540.603 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1544782540.603 * [misc]taylor: Taking taylor expansion of i in i 1544782540.603 * [misc]backup-simplify: Simplify 0 into 0 1544782540.603 * [misc]backup-simplify: Simplify 1 into 1 1544782540.603 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782540.603 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782540.603 * [misc]backup-simplify: Simplify (/ 0.00390625 1) into 0.00390625 1544782540.604 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1544782540.604 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782540.604 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782540.604 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)))) into 0 1544782540.604 * [misc]backup-simplify: Simplify 0 into 0 1544782540.605 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782540.605 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782540.605 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782540.605 * [misc]backup-simplify: Simplify 0 into 0 1544782540.606 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782540.606 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782540.607 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782540.607 * [misc]backup-simplify: Simplify 0 into 0 1544782540.607 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782540.608 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782540.608 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782540.608 * [misc]backup-simplify: Simplify 0 into 0 1544782540.609 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544782540.609 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544782540.610 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782540.610 * [misc]backup-simplify: Simplify 0 into 0 1544782540.610 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544782540.611 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544782540.611 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782540.611 * [misc]backup-simplify: Simplify 0 into 0 1544782540.612 * [misc]backup-simplify: Simplify (* 0.00390625 (pow (/ 1 i) 4)) into (/ 0.00390625 (pow i 4)) 1544782540.612 * [misc]backup-simplify: Simplify (/ 0.00390625 (pow (/ 1 i) 4)) into (* 0.00390625 (pow i 4)) 1544782540.612 * [misc]approximate: Taking taylor expansion of (* 0.00390625 (pow i 4)) in (i) around 0 1544782540.612 * [misc]taylor: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i 1544782540.612 * [misc]taylor: Taking taylor expansion of 0.00390625 in i 1544782540.613 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1544782540.613 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1544782540.613 * [misc]taylor: Taking taylor expansion of i in i 1544782540.613 * [misc]backup-simplify: Simplify 0 into 0 1544782540.613 * [misc]backup-simplify: Simplify 1 into 1 1544782540.613 * [misc]taylor: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i 1544782540.613 * [misc]taylor: Taking taylor expansion of 0.00390625 in i 1544782540.613 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1544782540.613 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1544782540.613 * [misc]taylor: Taking taylor expansion of i in i 1544782540.613 * [misc]backup-simplify: Simplify 0 into 0 1544782540.613 * [misc]backup-simplify: Simplify 1 into 1 1544782540.613 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782540.613 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782540.613 * [misc]backup-simplify: Simplify (* 0.00390625 1) into 0.00390625 1544782540.613 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1544782540.614 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782540.614 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782540.614 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (* 0 1)) into 0 1544782540.614 * [misc]backup-simplify: Simplify 0 into 0 1544782540.615 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782540.615 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782540.615 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (* 0 1))) into 0 1544782540.615 * [misc]backup-simplify: Simplify 0 into 0 1544782540.616 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782540.616 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782540.616 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782540.616 * [misc]backup-simplify: Simplify 0 into 0 1544782540.617 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782540.617 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782540.618 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782540.618 * [misc]backup-simplify: Simplify 0 into 0 1544782540.618 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544782540.618 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544782540.619 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544782540.619 * [misc]backup-simplify: Simplify 0 into 0 1544782540.620 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544782540.620 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544782540.621 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544782540.621 * [misc]backup-simplify: Simplify 0 into 0 1544782540.621 * [misc]backup-simplify: Simplify (* 0.00390625 (pow (/ 1 i) 4)) into (/ 0.00390625 (pow i 4)) 1544782540.621 * [misc]backup-simplify: Simplify (/ 0.00390625 (pow (/ 1 (- i)) 4)) into (* 0.00390625 (pow i 4)) 1544782540.621 * [misc]approximate: Taking taylor expansion of (* 0.00390625 (pow i 4)) in (i) around 0 1544782540.621 * [misc]taylor: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i 1544782540.621 * [misc]taylor: Taking taylor expansion of 0.00390625 in i 1544782540.621 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1544782540.621 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1544782540.621 * [misc]taylor: Taking taylor expansion of i in i 1544782540.621 * [misc]backup-simplify: Simplify 0 into 0 1544782540.621 * [misc]backup-simplify: Simplify 1 into 1 1544782540.622 * [misc]taylor: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i 1544782540.622 * [misc]taylor: Taking taylor expansion of 0.00390625 in i 1544782540.622 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1544782540.622 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1544782540.622 * [misc]taylor: Taking taylor expansion of i in i 1544782540.622 * [misc]backup-simplify: Simplify 0 into 0 1544782540.622 * [misc]backup-simplify: Simplify 1 into 1 1544782540.622 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782540.622 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782540.622 * [misc]backup-simplify: Simplify (* 0.00390625 1) into 0.00390625 1544782540.622 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1544782540.623 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782540.623 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782540.623 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (* 0 1)) into 0 1544782540.623 * [misc]backup-simplify: Simplify 0 into 0 1544782540.623 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782540.624 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782540.624 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (* 0 1))) into 0 1544782540.624 * [misc]backup-simplify: Simplify 0 into 0 1544782540.624 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782540.625 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782540.625 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782540.625 * [misc]backup-simplify: Simplify 0 into 0 1544782540.625 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782540.626 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782540.626 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782540.626 * [misc]backup-simplify: Simplify 0 into 0 1544782540.627 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544782540.627 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544782540.628 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544782540.628 * [misc]backup-simplify: Simplify 0 into 0 1544782540.628 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544782540.629 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544782540.629 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544782540.629 * [misc]backup-simplify: Simplify 0 into 0 1544782540.636 * [misc]backup-simplify: Simplify (* 0.00390625 (pow (/ 1 (- i)) 4)) into (/ 0.00390625 (pow i 4)) 1544782540.636 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1544782540.637 * [misc]backup-simplify: Simplify (fma (/ 0.015625 i) (/ 1 i) 1/16) into (fma (/ 0.015625 i) (/ 1 i) 1/16) 1544782540.637 * [misc]approximate: Taking taylor expansion of (fma (/ 0.015625 i) (/ 1 i) 1/16) in (i) around 0 1544782540.637 * [misc]taylor: Taking taylor expansion of (fma (/ 0.015625 i) (/ 1 i) 1/16) in i 1544782540.637 * [misc]taylor: Rewrote expression to (+ (* (/ 0.015625 i) (/ 1 i)) 1/16) 1544782540.637 * [misc]taylor: Taking taylor expansion of (* (/ 0.015625 i) (/ 1 i)) in i 1544782540.637 * [misc]taylor: Taking taylor expansion of (/ 0.015625 i) in i 1544782540.637 * [misc]taylor: Taking taylor expansion of 0.015625 in i 1544782540.637 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 1544782540.637 * [misc]taylor: Taking taylor expansion of i in i 1544782540.637 * [misc]backup-simplify: Simplify 0 into 0 1544782540.637 * [misc]backup-simplify: Simplify 1 into 1 1544782540.638 * [misc]backup-simplify: Simplify (/ 0.015625 1) into 0.015625 1544782540.638 * [misc]taylor: Taking taylor expansion of (/ 1 i) in i 1544782540.638 * [misc]taylor: Taking taylor expansion of i in i 1544782540.638 * [misc]backup-simplify: Simplify 0 into 0 1544782540.638 * [misc]backup-simplify: Simplify 1 into 1 1544782540.638 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544782540.638 * [misc]taylor: Taking taylor expansion of 1/16 in i 1544782540.638 * [misc]backup-simplify: Simplify 1/16 into 1/16 1544782540.638 * [misc]taylor: Taking taylor expansion of (fma (/ 0.015625 i) (/ 1 i) 1/16) in i 1544782540.638 * [misc]taylor: Rewrote expression to (+ (* (/ 0.015625 i) (/ 1 i)) 1/16) 1544782540.638 * [misc]taylor: Taking taylor expansion of (* (/ 0.015625 i) (/ 1 i)) in i 1544782540.638 * [misc]taylor: Taking taylor expansion of (/ 0.015625 i) in i 1544782540.638 * [misc]taylor: Taking taylor expansion of 0.015625 in i 1544782540.638 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 1544782540.639 * [misc]taylor: Taking taylor expansion of i in i 1544782540.639 * [misc]backup-simplify: Simplify 0 into 0 1544782540.639 * [misc]backup-simplify: Simplify 1 into 1 1544782540.639 * [misc]backup-simplify: Simplify (/ 0.015625 1) into 0.015625 1544782540.639 * [misc]taylor: Taking taylor expansion of (/ 1 i) in i 1544782540.639 * [misc]taylor: Taking taylor expansion of i in i 1544782540.639 * [misc]backup-simplify: Simplify 0 into 0 1544782540.639 * [misc]backup-simplify: Simplify 1 into 1 1544782540.639 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544782540.639 * [misc]taylor: Taking taylor expansion of 1/16 in i 1544782540.639 * [misc]backup-simplify: Simplify 1/16 into 1/16 1544782540.640 * [misc]backup-simplify: Simplify (* 0.015625 1) into 0.015625 1544782540.640 * [misc]backup-simplify: Simplify (+ 0.015625 0) into 0.015625 1544782540.640 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 1544782540.640 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544782540.640 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)))) into 0 1544782540.641 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (* 0 1)) into 0 1544782540.641 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782540.641 * [misc]backup-simplify: Simplify 0 into 0 1544782540.641 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782540.642 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782540.642 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (* 0 1))) into 0 1544782540.642 * [misc]backup-simplify: Simplify (+ 0 1/16) into 1/16 1544782540.642 * [misc]backup-simplify: Simplify 1/16 into 1/16 1544782540.643 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782540.643 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782540.643 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782540.643 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782540.644 * [misc]backup-simplify: Simplify 0 into 0 1544782540.644 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782540.644 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782540.645 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782540.645 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782540.645 * [misc]backup-simplify: Simplify 0 into 0 1544782540.646 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782540.646 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782540.647 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544782540.647 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782540.647 * [misc]backup-simplify: Simplify 0 into 0 1544782540.647 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782540.648 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782540.648 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544782540.649 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782540.649 * [misc]backup-simplify: Simplify 0 into 0 1544782540.649 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782540.650 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782540.651 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1544782540.651 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782540.651 * [misc]backup-simplify: Simplify 0 into 0 1544782540.652 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782540.652 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782540.653 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1544782540.653 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782540.653 * [misc]backup-simplify: Simplify 0 into 0 1544782540.654 * [misc]backup-simplify: Simplify (+ 1/16 (* 0.015625 (pow (/ 1 i) 2))) into (+ (* 0.015625 (/ 1 (pow i 2))) 1/16) 1544782540.654 * [misc]backup-simplify: Simplify (fma (/ 0.015625 (/ 1 i)) (/ 1 (/ 1 i)) 1/16) into (fma (* 0.015625 i) i 1/16) 1544782540.654 * [misc]approximate: Taking taylor expansion of (fma (* 0.015625 i) i 1/16) in (i) around 0 1544782540.654 * [misc]taylor: Taking taylor expansion of (fma (* 0.015625 i) i 1/16) in i 1544782540.654 * [misc]taylor: Rewrote expression to (+ (* (* 0.015625 i) i) 1/16) 1544782540.654 * [misc]taylor: Taking taylor expansion of (* (* 0.015625 i) i) in i 1544782540.654 * [misc]taylor: Taking taylor expansion of (* 0.015625 i) in i 1544782540.654 * [misc]taylor: Taking taylor expansion of 0.015625 in i 1544782540.654 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 1544782540.654 * [misc]taylor: Taking taylor expansion of i in i 1544782540.654 * [misc]backup-simplify: Simplify 0 into 0 1544782540.654 * [misc]backup-simplify: Simplify 1 into 1 1544782540.655 * [misc]taylor: Taking taylor expansion of i in i 1544782540.655 * [misc]backup-simplify: Simplify 0 into 0 1544782540.655 * [misc]backup-simplify: Simplify 1 into 1 1544782540.655 * [misc]taylor: Taking taylor expansion of 1/16 in i 1544782540.655 * [misc]backup-simplify: Simplify 1/16 into 1/16 1544782540.655 * [misc]taylor: Taking taylor expansion of (fma (* 0.015625 i) i 1/16) in i 1544782540.655 * [misc]taylor: Rewrote expression to (+ (* (* 0.015625 i) i) 1/16) 1544782540.655 * [misc]taylor: Taking taylor expansion of (* (* 0.015625 i) i) in i 1544782540.655 * [misc]taylor: Taking taylor expansion of (* 0.015625 i) in i 1544782540.655 * [misc]taylor: Taking taylor expansion of 0.015625 in i 1544782540.655 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 1544782540.655 * [misc]taylor: Taking taylor expansion of i in i 1544782540.655 * [misc]backup-simplify: Simplify 0 into 0 1544782540.655 * [misc]backup-simplify: Simplify 1 into 1 1544782540.655 * [misc]taylor: Taking taylor expansion of i in i 1544782540.655 * [misc]backup-simplify: Simplify 0 into 0 1544782540.655 * [misc]backup-simplify: Simplify 1 into 1 1544782540.655 * [misc]taylor: Taking taylor expansion of 1/16 in i 1544782540.655 * [misc]backup-simplify: Simplify 1/16 into 1/16 1544782540.655 * [misc]backup-simplify: Simplify (* 0.015625 0) into 0 1544782540.656 * [misc]backup-simplify: Simplify (* 0 0) into 0 1544782540.656 * [misc]backup-simplify: Simplify (+ 0 1/16) into 1/16 1544782540.656 * [misc]backup-simplify: Simplify 1/16 into 1/16 1544782540.657 * [misc]backup-simplify: Simplify (+ (* 0.015625 1) (* 0 0)) into 0.015625 1544782540.657 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 0.015625 0)) into 0 1544782540.657 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782540.657 * [misc]backup-simplify: Simplify 0 into 0 1544782540.657 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 1) (* 0 0))) into 0 1544782540.658 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 0.015625 1) (* 0 0))) into 0.015625 1544782540.659 * [misc]backup-simplify: Simplify (+ 0.015625 0) into 0.015625 1544782540.659 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 1544782540.659 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1544782540.659 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 0.015625 0) (+ (* 0 1) (* 0 0)))) into 0 1544782540.660 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782540.660 * [misc]backup-simplify: Simplify 0 into 0 1544782540.660 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1544782540.661 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1544782540.661 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782540.661 * [misc]backup-simplify: Simplify 0 into 0 1544782540.661 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1544782540.662 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1544782540.662 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782540.662 * [misc]backup-simplify: Simplify 0 into 0 1544782540.663 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1544782540.663 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1544782540.663 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782540.663 * [misc]backup-simplify: Simplify 0 into 0 1544782540.664 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1544782540.664 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1544782540.664 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782540.664 * [misc]backup-simplify: Simplify 0 into 0 1544782540.664 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 1544782540.665 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 1544782540.665 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782540.665 * [misc]backup-simplify: Simplify 0 into 0 1544782540.665 * [misc]backup-simplify: Simplify (+ (* 0.015625 (pow (/ 1 i) 2)) 1/16) into (+ (* 0.015625 (/ 1 (pow i 2))) 1/16) 1544782540.665 * [misc]backup-simplify: Simplify (fma (/ 0.015625 (/ 1 (- i))) (/ 1 (/ 1 (- i))) 1/16) into (fma (* -0.015625 i) (* -1 i) 1/16) 1544782540.665 * [misc]approximate: Taking taylor expansion of (fma (* -0.015625 i) (* -1 i) 1/16) in (i) around 0 1544782540.665 * [misc]taylor: Taking taylor expansion of (fma (* -0.015625 i) (* -1 i) 1/16) in i 1544782540.665 * [misc]taylor: Rewrote expression to (+ (* (* -0.015625 i) (* -1 i)) 1/16) 1544782540.666 * [misc]taylor: Taking taylor expansion of (* (* -0.015625 i) (* -1 i)) in i 1544782540.666 * [misc]taylor: Taking taylor expansion of (* -0.015625 i) in i 1544782540.666 * [misc]taylor: Taking taylor expansion of -0.015625 in i 1544782540.666 * [misc]backup-simplify: Simplify -0.015625 into -0.015625 1544782540.666 * [misc]taylor: Taking taylor expansion of i in i 1544782540.666 * [misc]backup-simplify: Simplify 0 into 0 1544782540.666 * [misc]backup-simplify: Simplify 1 into 1 1544782540.666 * [misc]taylor: Taking taylor expansion of (* -1 i) in i 1544782540.666 * [misc]taylor: Taking taylor expansion of -1 in i 1544782540.666 * [misc]backup-simplify: Simplify -1 into -1 1544782540.666 * [misc]taylor: Taking taylor expansion of i in i 1544782540.666 * [misc]backup-simplify: Simplify 0 into 0 1544782540.666 * [misc]backup-simplify: Simplify 1 into 1 1544782540.666 * [misc]taylor: Taking taylor expansion of 1/16 in i 1544782540.666 * [misc]backup-simplify: Simplify 1/16 into 1/16 1544782540.666 * [misc]taylor: Taking taylor expansion of (fma (* -0.015625 i) (* -1 i) 1/16) in i 1544782540.666 * [misc]taylor: Rewrote expression to (+ (* (* -0.015625 i) (* -1 i)) 1/16) 1544782540.666 * [misc]taylor: Taking taylor expansion of (* (* -0.015625 i) (* -1 i)) in i 1544782540.666 * [misc]taylor: Taking taylor expansion of (* -0.015625 i) in i 1544782540.666 * [misc]taylor: Taking taylor expansion of -0.015625 in i 1544782540.666 * [misc]backup-simplify: Simplify -0.015625 into -0.015625 1544782540.666 * [misc]taylor: Taking taylor expansion of i in i 1544782540.666 * [misc]backup-simplify: Simplify 0 into 0 1544782540.666 * [misc]backup-simplify: Simplify 1 into 1 1544782540.666 * [misc]taylor: Taking taylor expansion of (* -1 i) in i 1544782540.666 * [misc]taylor: Taking taylor expansion of -1 in i 1544782540.666 * [misc]backup-simplify: Simplify -1 into -1 1544782540.666 * [misc]taylor: Taking taylor expansion of i in i 1544782540.666 * [misc]backup-simplify: Simplify 0 into 0 1544782540.666 * [misc]backup-simplify: Simplify 1 into 1 1544782540.666 * [misc]taylor: Taking taylor expansion of 1/16 in i 1544782540.666 * [misc]backup-simplify: Simplify 1/16 into 1/16 1544782540.666 * [misc]backup-simplify: Simplify (* -0.015625 0) into 0 1544782540.666 * [misc]backup-simplify: Simplify (* -1 0) into 0 1544782540.666 * [misc]backup-simplify: Simplify (* 0 0) into 0 1544782540.666 * [misc]backup-simplify: Simplify (+ 0 1/16) into 1/16 1544782540.667 * [misc]backup-simplify: Simplify 1/16 into 1/16 1544782540.667 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1544782540.667 * [misc]backup-simplify: Simplify (+ (* -0.015625 1) (* 0 0)) into (- 0.015625) 1544782540.667 * [misc]backup-simplify: Simplify (+ (* 0 -1) (* (- 0.015625) 0)) into 0 1544782540.667 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782540.667 * [misc]backup-simplify: Simplify 0 into 0 1544782540.667 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1544782540.668 * [misc]backup-simplify: Simplify (+ (* -0.015625 0) (+ (* 0 1) (* 0 0))) into 0 1544782540.668 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* (- 0.015625) -1) (* 0 0))) into 0.015625 1544782540.668 * [misc]backup-simplify: Simplify (+ 0.015625 0) into 0.015625 1544782540.668 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 1544782540.669 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1544782540.669 * [misc]backup-simplify: Simplify (+ (* -0.015625 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1544782540.669 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* (- 0.015625) 0) (+ (* 0 -1) (* 0 0)))) into 0 1544782540.669 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782540.669 * [misc]backup-simplify: Simplify 0 into 0 1544782540.669 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1544782540.669 * [misc]backup-simplify: Simplify (+ (* -0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1544782540.670 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* (- 0.015625) 0) (+ (* 0 0) (+ (* 0 -1) (* 0 0))))) into 0 1544782540.670 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782540.670 * [misc]backup-simplify: Simplify 0 into 0 1544782540.670 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1544782540.670 * [misc]backup-simplify: Simplify (+ (* -0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1544782540.671 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* (- 0.015625) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 -1) (* 0 0)))))) into 0 1544782540.671 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782540.671 * [misc]backup-simplify: Simplify 0 into 0 1544782540.671 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1544782540.671 * [misc]backup-simplify: Simplify (+ (* -0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1544782540.672 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* (- 0.015625) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 -1) (* 0 0))))))) into 0 1544782540.672 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782540.672 * [misc]backup-simplify: Simplify 0 into 0 1544782540.672 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1544782540.672 * [misc]backup-simplify: Simplify (+ (* -0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1544782540.673 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* (- 0.015625) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 -1) (* 0 0)))))))) into 0 1544782540.673 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782540.673 * [misc]backup-simplify: Simplify 0 into 0 1544782540.673 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 1544782540.674 * [misc]backup-simplify: Simplify (+ (* -0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 1544782540.674 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* (- 0.015625) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 -1) (* 0 0))))))))) into 0 1544782540.674 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782540.674 * [misc]backup-simplify: Simplify 0 into 0 1544782540.674 * [misc]backup-simplify: Simplify (+ (* 0.015625 (pow (/ 1 (- i)) 2)) 1/16) into (+ (* 0.015625 (/ 1 (pow i 2))) 1/16) 1544782540.674 * * * [misc]progress: simplifying candidates 1544782540.674 * * * * [misc]progress: [ 1 / 31 ] simplifiying candidate # 1544782540.674 * * * * [misc]progress: [ 2 / 31 ] simplifiying candidate # 1544782540.675 * * * * [misc]progress: [ 3 / 31 ] simplifiying candidate # 1544782540.675 * * * * [misc]progress: [ 4 / 31 ] simplifiying candidate # 1544782540.675 * * * * [misc]progress: [ 5 / 31 ] simplifiying candidate # 1544782540.675 * * * * [misc]progress: [ 6 / 31 ] simplifiying candidate # 1544782540.675 * * * * [misc]progress: [ 7 / 31 ] simplifiying candidate # 1544782540.675 * * * * [misc]progress: [ 8 / 31 ] simplifiying candidate # 1544782540.675 * * * * [misc]progress: [ 9 / 31 ] simplifiying candidate # 1544782540.675 * * * * [misc]progress: [ 10 / 31 ] simplifiying candidate # 1544782540.675 * * * * [misc]progress: [ 11 / 31 ] simplifiying candidate # 1544782540.675 * * * * [misc]progress: [ 12 / 31 ] simplifiying candidate # 1544782540.675 * * * * [misc]progress: [ 13 / 31 ] simplifiying candidate # 1544782540.675 * [enter]simplify: Simplifying (cbrt (pow i 4)) 1544782540.675 * * [misc]simplify: iters left: 2 (4 enodes) 1544782540.676 * [exit]simplify: Simplified to (cbrt (pow i 4)) 1544782540.676 * [misc]simplify: Simplified (2 2 2) to (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ (/ 0.00390625 (* (cbrt (pow i 4)) (cbrt (pow i 4)))) (cbrt (pow i 4))))) 1544782540.676 * * * * [misc]progress: [ 14 / 31 ] simplifiying candidate # 1544782540.676 * [enter]simplify: Simplifying (sqrt (pow i 4)) 1544782540.676 * * [misc]simplify: iters left: 2 (4 enodes) 1544782540.677 * [exit]simplify: Simplified to (sqrt (pow i 4)) 1544782540.677 * [misc]simplify: Simplified (2 2 2) to (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ (/ 0.00390625 (sqrt (pow i 4))) (sqrt (pow i 4))))) 1544782540.677 * * * * [misc]progress: [ 15 / 31 ] simplifiying candidate # 1544782540.677 * [enter]simplify: Simplifying (pow i 4) 1544782540.677 * * [misc]simplify: iters left: 1 (3 enodes) 1544782540.678 * [exit]simplify: Simplified to (pow i 4) 1544782540.678 * [misc]simplify: Simplified (2 2 2) to (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ (/ 0.00390625 1) (pow i 4)))) 1544782540.678 * * * * [misc]progress: [ 16 / 31 ] simplifiying candidate # 1544782540.678 * * * * [misc]progress: [ 17 / 31 ] simplifiying candidate # 1544782540.678 * * * * [misc]progress: [ 18 / 31 ] simplifiying candidate # 1544782540.678 * * * * [misc]progress: [ 19 / 31 ] simplifiying candidate # 1544782540.678 * * * * [misc]progress: [ 20 / 31 ] simplifiying candidate # 1544782540.678 * * * * [misc]progress: [ 21 / 31 ] simplifiying candidate # 1544782540.678 * * * * [misc]progress: [ 22 / 31 ] simplifiying candidate # 1544782540.678 * * * * [misc]progress: [ 23 / 31 ] simplifiying candidate # 1544782540.678 * * * * [misc]progress: [ 24 / 31 ] simplifiying candidate # 1544782540.678 * * * * [misc]progress: [ 25 / 31 ] simplifiying candidate # 1544782540.678 * * * * [misc]progress: [ 26 / 31 ] simplifiying candidate # 1544782540.679 * [enter]simplify: Simplifying (/ 0.00390625 (pow i 4)) 1544782540.679 * * [misc]simplify: iters left: 3 (5 enodes) 1544782540.680 * [exit]simplify: Simplified to (/ 0.00390625 (pow i 4)) 1544782540.680 * [misc]simplify: Simplified (2 2) to (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4)))) 1544782540.680 * * * * [misc]progress: [ 27 / 31 ] simplifiying candidate # 1544782540.680 * [enter]simplify: Simplifying (/ 0.00390625 (pow i 4)) 1544782540.680 * * [misc]simplify: iters left: 3 (5 enodes) 1544782540.681 * [exit]simplify: Simplified to (/ 0.00390625 (pow i 4)) 1544782540.681 * [misc]simplify: Simplified (2 2) to (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4)))) 1544782540.681 * * * * [misc]progress: [ 28 / 31 ] simplifiying candidate # 1544782540.681 * [enter]simplify: Simplifying (/ 0.00390625 (pow i 4)) 1544782540.681 * * [misc]simplify: iters left: 3 (5 enodes) 1544782540.682 * [exit]simplify: Simplified to (/ 0.00390625 (pow i 4)) 1544782540.682 * [misc]simplify: Simplified (2 2) to (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4)))) 1544782540.682 * * * * [misc]progress: [ 29 / 31 ] simplifiying candidate # 1544782540.682 * [enter]simplify: Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) 1/16) 1544782540.683 * * [misc]simplify: iters left: 6 (9 enodes) 1544782540.686 * * [misc]simplify: iters left: 5 (17 enodes) 1544782540.689 * * [misc]simplify: iters left: 4 (24 enodes) 1544782540.693 * * [misc]simplify: iters left: 3 (27 enodes) 1544782540.697 * * [misc]simplify: iters left: 2 (33 enodes) 1544782540.703 * * [misc]simplify: iters left: 1 (38 enodes) 1544782540.709 * [exit]simplify: Simplified to (+ 1/16 (/ 0.015625 (* i i))) 1544782540.709 * [misc]simplify: Simplified (2 1) to (λ (i) (+ (+ 1/16 (/ 0.015625 (* i i))) (/ 0.00390625 (pow i 4)))) 1544782540.709 * * * * [misc]progress: [ 30 / 31 ] simplifiying candidate # 1544782540.710 * [enter]simplify: Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) 1/16) 1544782540.710 * * [misc]simplify: iters left: 6 (9 enodes) 1544782540.715 * * [misc]simplify: iters left: 5 (17 enodes) 1544782540.722 * * [misc]simplify: iters left: 4 (24 enodes) 1544782540.729 * * [misc]simplify: iters left: 3 (27 enodes) 1544782540.737 * * [misc]simplify: iters left: 2 (33 enodes) 1544782540.750 * * [misc]simplify: iters left: 1 (38 enodes) 1544782540.762 * [exit]simplify: Simplified to (+ 1/16 (/ 0.015625 (* i i))) 1544782540.762 * [misc]simplify: Simplified (2 1) to (λ (i) (+ (+ 1/16 (/ 0.015625 (* i i))) (/ 0.00390625 (pow i 4)))) 1544782540.762 * * * * [misc]progress: [ 31 / 31 ] simplifiying candidate # 1544782540.762 * [enter]simplify: Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) 1/16) 1544782540.763 * * [misc]simplify: iters left: 6 (9 enodes) 1544782540.769 * * [misc]simplify: iters left: 5 (17 enodes) 1544782540.776 * * [misc]simplify: iters left: 4 (24 enodes) 1544782540.780 * * [misc]simplify: iters left: 3 (27 enodes) 1544782540.784 * * [misc]simplify: iters left: 2 (33 enodes) 1544782540.789 * * [misc]simplify: iters left: 1 (38 enodes) 1544782540.795 * [exit]simplify: Simplified to (+ 1/16 (/ 0.015625 (* i i))) 1544782540.795 * [misc]simplify: Simplified (2 1) to (λ (i) (+ (+ 1/16 (/ 0.015625 (* i i))) (/ 0.00390625 (pow i 4)))) 1544782540.795 * * * [misc]progress: adding candidates to table 1544782541.477 * * [misc]progress: iteration 3 / 4 1544782541.477 * * * [misc]progress: picking best candidate 1544782541.484 * * * * [misc]pick: Picked # 1544782541.484 * * * [misc]progress: localizing error 1544782541.527 * * * [misc]progress: generating rewritten candidates 1544782541.527 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2) 1544782541.612 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1) 1544782541.659 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 2) 1544782541.661 * * * [misc]progress: generating series expansions 1544782541.661 * * * * [misc]progress: [ 1 / 3 ] generating series at (2) 1544782541.661 * [misc]backup-simplify: Simplify (- (* (pow i 6) (- 4.0)) (fma (* 0.25 i) i (* (pow i 4) 1.0))) into (- (+ (fma (* 0.25 i) i (* 1.0 (pow i 4))) (* 4.0 (pow i 6)))) 1544782541.662 * [misc]approximate: Taking taylor expansion of (- (+ (fma (* 0.25 i) i (* 1.0 (pow i 4))) (* 4.0 (pow i 6)))) in (i) around 0 1544782541.662 * [misc]taylor: Taking taylor expansion of (- (+ (fma (* 0.25 i) i (* 1.0 (pow i 4))) (* 4.0 (pow i 6)))) in i 1544782541.662 * [misc]taylor: Taking taylor expansion of (+ (fma (* 0.25 i) i (* 1.0 (pow i 4))) (* 4.0 (pow i 6))) in i 1544782541.662 * [misc]taylor: Taking taylor expansion of (fma (* 0.25 i) i (* 1.0 (pow i 4))) in i 1544782541.662 * [misc]taylor: Rewrote expression to (+ (* (* 0.25 i) i) (* 1.0 (pow i 4))) 1544782541.662 * [misc]taylor: Taking taylor expansion of (* (* 0.25 i) i) in i 1544782541.662 * [misc]taylor: Taking taylor expansion of (* 0.25 i) in i 1544782541.662 * [misc]taylor: Taking taylor expansion of 0.25 in i 1544782541.662 * [misc]backup-simplify: Simplify 0.25 into 0.25 1544782541.662 * [misc]taylor: Taking taylor expansion of i in i 1544782541.662 * [misc]backup-simplify: Simplify 0 into 0 1544782541.662 * [misc]backup-simplify: Simplify 1 into 1 1544782541.662 * [misc]taylor: Taking taylor expansion of i in i 1544782541.662 * [misc]backup-simplify: Simplify 0 into 0 1544782541.662 * [misc]backup-simplify: Simplify 1 into 1 1544782541.662 * [misc]taylor: Taking taylor expansion of (* 1.0 (pow i 4)) in i 1544782541.662 * [misc]taylor: Taking taylor expansion of 1.0 in i 1544782541.662 * [misc]backup-simplify: Simplify 1.0 into 1.0 1544782541.662 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1544782541.662 * [misc]taylor: Taking taylor expansion of i in i 1544782541.662 * [misc]backup-simplify: Simplify 0 into 0 1544782541.662 * [misc]backup-simplify: Simplify 1 into 1 1544782541.662 * [misc]taylor: Taking taylor expansion of (* 4.0 (pow i 6)) in i 1544782541.662 * [misc]taylor: Taking taylor expansion of 4.0 in i 1544782541.662 * [misc]backup-simplify: Simplify 4.0 into 4.0 1544782541.662 * [misc]taylor: Taking taylor expansion of (pow i 6) in i 1544782541.662 * [misc]taylor: Taking taylor expansion of i in i 1544782541.662 * [misc]backup-simplify: Simplify 0 into 0 1544782541.662 * [misc]backup-simplify: Simplify 1 into 1 1544782541.662 * [misc]taylor: Taking taylor expansion of (- (+ (fma (* 0.25 i) i (* 1.0 (pow i 4))) (* 4.0 (pow i 6)))) in i 1544782541.663 * [misc]taylor: Taking taylor expansion of (+ (fma (* 0.25 i) i (* 1.0 (pow i 4))) (* 4.0 (pow i 6))) in i 1544782541.663 * [misc]taylor: Taking taylor expansion of (fma (* 0.25 i) i (* 1.0 (pow i 4))) in i 1544782541.663 * [misc]taylor: Rewrote expression to (+ (* (* 0.25 i) i) (* 1.0 (pow i 4))) 1544782541.663 * [misc]taylor: Taking taylor expansion of (* (* 0.25 i) i) in i 1544782541.663 * [misc]taylor: Taking taylor expansion of (* 0.25 i) in i 1544782541.663 * [misc]taylor: Taking taylor expansion of 0.25 in i 1544782541.663 * [misc]backup-simplify: Simplify 0.25 into 0.25 1544782541.663 * [misc]taylor: Taking taylor expansion of i in i 1544782541.663 * [misc]backup-simplify: Simplify 0 into 0 1544782541.663 * [misc]backup-simplify: Simplify 1 into 1 1544782541.663 * [misc]taylor: Taking taylor expansion of i in i 1544782541.663 * [misc]backup-simplify: Simplify 0 into 0 1544782541.663 * [misc]backup-simplify: Simplify 1 into 1 1544782541.663 * [misc]taylor: Taking taylor expansion of (* 1.0 (pow i 4)) in i 1544782541.663 * [misc]taylor: Taking taylor expansion of 1.0 in i 1544782541.663 * [misc]backup-simplify: Simplify 1.0 into 1.0 1544782541.663 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1544782541.663 * [misc]taylor: Taking taylor expansion of i in i 1544782541.663 * [misc]backup-simplify: Simplify 0 into 0 1544782541.663 * [misc]backup-simplify: Simplify 1 into 1 1544782541.663 * [misc]taylor: Taking taylor expansion of (* 4.0 (pow i 6)) in i 1544782541.663 * [misc]taylor: Taking taylor expansion of 4.0 in i 1544782541.663 * [misc]backup-simplify: Simplify 4.0 into 4.0 1544782541.663 * [misc]taylor: Taking taylor expansion of (pow i 6) in i 1544782541.663 * [misc]taylor: Taking taylor expansion of i in i 1544782541.663 * [misc]backup-simplify: Simplify 0 into 0 1544782541.663 * [misc]backup-simplify: Simplify 1 into 1 1544782541.664 * [misc]backup-simplify: Simplify (* 0.25 0) into 0 1544782541.664 * [misc]backup-simplify: Simplify (* 0 0) into 0 1544782541.664 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.664 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.664 * [misc]backup-simplify: Simplify (- 0) into 0 1544782541.664 * [misc]backup-simplify: Simplify 0 into 0 1544782541.665 * [misc]backup-simplify: Simplify (+ (* 0.25 1) (* 0 0)) into 0.25 1544782541.665 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 0.25 0)) into 0 1544782541.665 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.665 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.666 * [misc]backup-simplify: Simplify (- 0) into 0 1544782541.666 * [misc]backup-simplify: Simplify 0 into 0 1544782541.666 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 1) (* 0 0))) into 0 1544782541.667 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 0.25 1) (* 0 0))) into 0.25 1544782541.667 * [misc]backup-simplify: Simplify (+ 0.25 0) into 0.25 1544782541.667 * [misc]backup-simplify: Simplify (+ 0.25 0) into 0.25 1544782541.667 * [misc]backup-simplify: Simplify (- 0.25) into (- 0.25) 1544782541.668 * [misc]backup-simplify: Simplify (- 0.25) into (- 0.25) 1544782541.668 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1544782541.668 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 0.25 0) (+ (* 0 1) (* 0 0)))) into 0 1544782541.668 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.669 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.669 * [misc]backup-simplify: Simplify (- 0) into 0 1544782541.669 * [misc]backup-simplify: Simplify 0 into 0 1544782541.669 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1544782541.670 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1544782541.670 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.670 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.670 * [misc]backup-simplify: Simplify (* 1.0 1) into 1.0 1544782541.670 * [misc]backup-simplify: Simplify (+ 0 1.0) into 1.0 1544782541.670 * [misc]backup-simplify: Simplify (+ 1.0 0) into 1.0 1544782541.671 * [misc]backup-simplify: Simplify (- 1.0) into (- 1.0) 1544782541.671 * [misc]backup-simplify: Simplify (- 1.0) into (- 1.0) 1544782541.671 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1544782541.672 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1544782541.672 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782541.672 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782541.672 * [misc]backup-simplify: Simplify (+ (* 1.0 0) (* 0 1)) into 0 1544782541.673 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.673 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.673 * [misc]backup-simplify: Simplify (- 0) into 0 1544782541.673 * [misc]backup-simplify: Simplify 0 into 0 1544782541.673 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1544782541.674 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1544782541.674 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.675 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.675 * [misc]backup-simplify: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.675 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.675 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.675 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.676 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.676 * [misc]backup-simplify: Simplify (* 4.0 1) into 4.0 1544782541.676 * [misc]backup-simplify: Simplify (+ 0 4.0) into 4.0 1544782541.676 * [misc]backup-simplify: Simplify (- 4.0) into (- 4.0) 1544782541.676 * [misc]backup-simplify: Simplify (- 4.0) into (- 4.0) 1544782541.677 * [misc]backup-simplify: Simplify (+ (* (- 4.0) (pow i 6)) (+ (* (- 1.0) (pow i 4)) (* (- 0.25) (pow i 2)))) into (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) 1544782541.678 * [misc]backup-simplify: Simplify (- (* (pow (/ 1 i) 6) (- 4.0)) (fma (* 0.25 (/ 1 i)) (/ 1 i) (* (pow (/ 1 i) 4) 1.0))) into (- (+ (* 4.0 (/ 1 (pow i 6))) (fma (/ 0.25 i) (/ 1 i) (/ 1.0 (pow i 4))))) 1544782541.678 * [misc]approximate: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow i 6))) (fma (/ 0.25 i) (/ 1 i) (/ 1.0 (pow i 4))))) in (i) around 0 1544782541.678 * [misc]taylor: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow i 6))) (fma (/ 0.25 i) (/ 1 i) (/ 1.0 (pow i 4))))) in i 1544782541.678 * [misc]taylor: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow i 6))) (fma (/ 0.25 i) (/ 1 i) (/ 1.0 (pow i 4)))) in i 1544782541.679 * [misc]taylor: Taking taylor expansion of (* 4.0 (/ 1 (pow i 6))) in i 1544782541.679 * [misc]taylor: Taking taylor expansion of 4.0 in i 1544782541.679 * [misc]backup-simplify: Simplify 4.0 into 4.0 1544782541.679 * [misc]taylor: Taking taylor expansion of (/ 1 (pow i 6)) in i 1544782541.679 * [misc]taylor: Taking taylor expansion of (pow i 6) in i 1544782541.679 * [misc]taylor: Taking taylor expansion of i in i 1544782541.679 * [misc]backup-simplify: Simplify 0 into 0 1544782541.679 * [misc]backup-simplify: Simplify 1 into 1 1544782541.679 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.679 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.679 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.680 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544782541.680 * [misc]taylor: Taking taylor expansion of (fma (/ 0.25 i) (/ 1 i) (/ 1.0 (pow i 4))) in i 1544782541.680 * [misc]taylor: Rewrote expression to (+ (* (/ 0.25 i) (/ 1 i)) (/ 1.0 (pow i 4))) 1544782541.680 * [misc]taylor: Taking taylor expansion of (* (/ 0.25 i) (/ 1 i)) in i 1544782541.680 * [misc]taylor: Taking taylor expansion of (/ 0.25 i) in i 1544782541.680 * [misc]taylor: Taking taylor expansion of 0.25 in i 1544782541.680 * [misc]backup-simplify: Simplify 0.25 into 0.25 1544782541.680 * [misc]taylor: Taking taylor expansion of i in i 1544782541.680 * [misc]backup-simplify: Simplify 0 into 0 1544782541.680 * [misc]backup-simplify: Simplify 1 into 1 1544782541.680 * [misc]backup-simplify: Simplify (/ 0.25 1) into 0.25 1544782541.680 * [misc]taylor: Taking taylor expansion of (/ 1 i) in i 1544782541.680 * [misc]taylor: Taking taylor expansion of i in i 1544782541.680 * [misc]backup-simplify: Simplify 0 into 0 1544782541.680 * [misc]backup-simplify: Simplify 1 into 1 1544782541.681 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544782541.681 * [misc]taylor: Taking taylor expansion of (/ 1.0 (pow i 4)) in i 1544782541.681 * [misc]taylor: Taking taylor expansion of 1.0 in i 1544782541.681 * [misc]backup-simplify: Simplify 1.0 into 1.0 1544782541.681 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1544782541.681 * [misc]taylor: Taking taylor expansion of i in i 1544782541.681 * [misc]backup-simplify: Simplify 0 into 0 1544782541.681 * [misc]backup-simplify: Simplify 1 into 1 1544782541.681 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.681 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.681 * [misc]backup-simplify: Simplify (/ 1.0 1) into 1.0 1544782541.681 * [misc]taylor: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow i 6))) (fma (/ 0.25 i) (/ 1 i) (/ 1.0 (pow i 4))))) in i 1544782541.682 * [misc]taylor: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow i 6))) (fma (/ 0.25 i) (/ 1 i) (/ 1.0 (pow i 4)))) in i 1544782541.682 * [misc]taylor: Taking taylor expansion of (* 4.0 (/ 1 (pow i 6))) in i 1544782541.682 * [misc]taylor: Taking taylor expansion of 4.0 in i 1544782541.682 * [misc]backup-simplify: Simplify 4.0 into 4.0 1544782541.682 * [misc]taylor: Taking taylor expansion of (/ 1 (pow i 6)) in i 1544782541.682 * [misc]taylor: Taking taylor expansion of (pow i 6) in i 1544782541.682 * [misc]taylor: Taking taylor expansion of i in i 1544782541.682 * [misc]backup-simplify: Simplify 0 into 0 1544782541.682 * [misc]backup-simplify: Simplify 1 into 1 1544782541.682 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.682 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.682 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.682 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544782541.682 * [misc]taylor: Taking taylor expansion of (fma (/ 0.25 i) (/ 1 i) (/ 1.0 (pow i 4))) in i 1544782541.683 * [misc]taylor: Rewrote expression to (+ (* (/ 0.25 i) (/ 1 i)) (/ 1.0 (pow i 4))) 1544782541.683 * [misc]taylor: Taking taylor expansion of (* (/ 0.25 i) (/ 1 i)) in i 1544782541.683 * [misc]taylor: Taking taylor expansion of (/ 0.25 i) in i 1544782541.683 * [misc]taylor: Taking taylor expansion of 0.25 in i 1544782541.683 * [misc]backup-simplify: Simplify 0.25 into 0.25 1544782541.683 * [misc]taylor: Taking taylor expansion of i in i 1544782541.683 * [misc]backup-simplify: Simplify 0 into 0 1544782541.683 * [misc]backup-simplify: Simplify 1 into 1 1544782541.683 * [misc]backup-simplify: Simplify (/ 0.25 1) into 0.25 1544782541.683 * [misc]taylor: Taking taylor expansion of (/ 1 i) in i 1544782541.683 * [misc]taylor: Taking taylor expansion of i in i 1544782541.683 * [misc]backup-simplify: Simplify 0 into 0 1544782541.683 * [misc]backup-simplify: Simplify 1 into 1 1544782541.683 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544782541.683 * [misc]taylor: Taking taylor expansion of (/ 1.0 (pow i 4)) in i 1544782541.683 * [misc]taylor: Taking taylor expansion of 1.0 in i 1544782541.683 * [misc]backup-simplify: Simplify 1.0 into 1.0 1544782541.683 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1544782541.683 * [misc]taylor: Taking taylor expansion of i in i 1544782541.683 * [misc]backup-simplify: Simplify 0 into 0 1544782541.683 * [misc]backup-simplify: Simplify 1 into 1 1544782541.684 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.684 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.684 * [misc]backup-simplify: Simplify (/ 1.0 1) into 1.0 1544782541.684 * [misc]backup-simplify: Simplify (* 4.0 1) into 4.0 1544782541.684 * [misc]backup-simplify: Simplify (+ 4.0 0) into 4.0 1544782541.685 * [misc]backup-simplify: Simplify (- 4.0) into (- 4.0) 1544782541.685 * [misc]backup-simplify: Simplify (- 4.0) into (- 4.0) 1544782541.685 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782541.685 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782541.686 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782541.686 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544782541.686 * [misc]backup-simplify: Simplify (+ (* 4.0 0) (* 0 1)) into 0 1544782541.686 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.686 * [misc]backup-simplify: Simplify (- 0) into 0 1544782541.686 * [misc]backup-simplify: Simplify 0 into 0 1544782541.687 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.687 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.687 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.688 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.688 * [misc]backup-simplify: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.688 * [misc]backup-simplify: Simplify (+ 0 1.0) into 1.0 1544782541.688 * [misc]backup-simplify: Simplify (+ 0 1.0) into 1.0 1544782541.688 * [misc]backup-simplify: Simplify (- 1.0) into (- 1.0) 1544782541.688 * [misc]backup-simplify: Simplify (- 1.0) into (- 1.0) 1544782541.689 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782541.689 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782541.690 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782541.690 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.690 * [misc]backup-simplify: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782541.691 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782541.691 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782541.691 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)))) into 0 1544782541.691 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.692 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.692 * [misc]backup-simplify: Simplify (- 0) into 0 1544782541.692 * [misc]backup-simplify: Simplify 0 into 0 1544782541.692 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782541.693 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782541.693 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782541.693 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.694 * [misc]backup-simplify: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782541.694 * [misc]backup-simplify: Simplify (* 0.25 1) into 0.25 1544782541.694 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.695 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.695 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.695 * [misc]backup-simplify: Simplify (+ 0.25 0) into 0.25 1544782541.695 * [misc]backup-simplify: Simplify (+ 0 0.25) into 0.25 1544782541.695 * [misc]backup-simplify: Simplify (- 0.25) into (- 0.25) 1544782541.696 * [misc]backup-simplify: Simplify (- 0.25) into (- 0.25) 1544782541.697 * [misc]backup-simplify: Simplify (+ (* (- 0.25) (pow (/ 1 (/ 1 i)) 2)) (+ (* (- 1.0) (pow (/ 1 (/ 1 i)) 4)) (* (- 4.0) (pow (/ 1 (/ 1 i)) 6)))) into (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) 1544782541.698 * [misc]backup-simplify: Simplify (- (* (pow (/ 1 (- i)) 6) (- 4.0)) (fma (* 0.25 (/ 1 (- i))) (/ 1 (- i)) (* (pow (/ 1 (- i)) 4) 1.0))) into (- (+ (fma (/ -0.25 i) (/ -1 i) (/ 1.0 (pow i 4))) (* 4.0 (/ 1 (pow i 6))))) 1544782541.698 * [misc]approximate: Taking taylor expansion of (- (+ (fma (/ -0.25 i) (/ -1 i) (/ 1.0 (pow i 4))) (* 4.0 (/ 1 (pow i 6))))) in (i) around 0 1544782541.698 * [misc]taylor: Taking taylor expansion of (- (+ (fma (/ -0.25 i) (/ -1 i) (/ 1.0 (pow i 4))) (* 4.0 (/ 1 (pow i 6))))) in i 1544782541.698 * [misc]taylor: Taking taylor expansion of (+ (fma (/ -0.25 i) (/ -1 i) (/ 1.0 (pow i 4))) (* 4.0 (/ 1 (pow i 6)))) in i 1544782541.698 * [misc]taylor: Taking taylor expansion of (fma (/ -0.25 i) (/ -1 i) (/ 1.0 (pow i 4))) in i 1544782541.698 * [misc]taylor: Rewrote expression to (+ (* (/ -0.25 i) (/ -1 i)) (/ 1.0 (pow i 4))) 1544782541.698 * [misc]taylor: Taking taylor expansion of (* (/ -0.25 i) (/ -1 i)) in i 1544782541.698 * [misc]taylor: Taking taylor expansion of (/ -0.25 i) in i 1544782541.698 * [misc]taylor: Taking taylor expansion of -0.25 in i 1544782541.698 * [misc]backup-simplify: Simplify -0.25 into -0.25 1544782541.698 * [misc]taylor: Taking taylor expansion of i in i 1544782541.699 * [misc]backup-simplify: Simplify 0 into 0 1544782541.699 * [misc]backup-simplify: Simplify 1 into 1 1544782541.699 * [misc]backup-simplify: Simplify (/ -0.25 1) into -0.25 1544782541.699 * [misc]taylor: Taking taylor expansion of (/ -1 i) in i 1544782541.699 * [misc]taylor: Taking taylor expansion of -1 in i 1544782541.699 * [misc]backup-simplify: Simplify -1 into -1 1544782541.699 * [misc]taylor: Taking taylor expansion of i in i 1544782541.699 * [misc]backup-simplify: Simplify 0 into 0 1544782541.699 * [misc]backup-simplify: Simplify 1 into 1 1544782541.699 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544782541.699 * [misc]taylor: Taking taylor expansion of (/ 1.0 (pow i 4)) in i 1544782541.699 * [misc]taylor: Taking taylor expansion of 1.0 in i 1544782541.699 * [misc]backup-simplify: Simplify 1.0 into 1.0 1544782541.699 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1544782541.699 * [misc]taylor: Taking taylor expansion of i in i 1544782541.699 * [misc]backup-simplify: Simplify 0 into 0 1544782541.699 * [misc]backup-simplify: Simplify 1 into 1 1544782541.699 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.700 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.700 * [misc]backup-simplify: Simplify (/ 1.0 1) into 1.0 1544782541.700 * [misc]taylor: Taking taylor expansion of (* 4.0 (/ 1 (pow i 6))) in i 1544782541.700 * [misc]taylor: Taking taylor expansion of 4.0 in i 1544782541.700 * [misc]backup-simplify: Simplify 4.0 into 4.0 1544782541.700 * [misc]taylor: Taking taylor expansion of (/ 1 (pow i 6)) in i 1544782541.700 * [misc]taylor: Taking taylor expansion of (pow i 6) in i 1544782541.700 * [misc]taylor: Taking taylor expansion of i in i 1544782541.700 * [misc]backup-simplify: Simplify 0 into 0 1544782541.700 * [misc]backup-simplify: Simplify 1 into 1 1544782541.700 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.700 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.701 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.701 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544782541.701 * [misc]taylor: Taking taylor expansion of (- (+ (fma (/ -0.25 i) (/ -1 i) (/ 1.0 (pow i 4))) (* 4.0 (/ 1 (pow i 6))))) in i 1544782541.701 * [misc]taylor: Taking taylor expansion of (+ (fma (/ -0.25 i) (/ -1 i) (/ 1.0 (pow i 4))) (* 4.0 (/ 1 (pow i 6)))) in i 1544782541.701 * [misc]taylor: Taking taylor expansion of (fma (/ -0.25 i) (/ -1 i) (/ 1.0 (pow i 4))) in i 1544782541.701 * [misc]taylor: Rewrote expression to (+ (* (/ -0.25 i) (/ -1 i)) (/ 1.0 (pow i 4))) 1544782541.701 * [misc]taylor: Taking taylor expansion of (* (/ -0.25 i) (/ -1 i)) in i 1544782541.701 * [misc]taylor: Taking taylor expansion of (/ -0.25 i) in i 1544782541.701 * [misc]taylor: Taking taylor expansion of -0.25 in i 1544782541.701 * [misc]backup-simplify: Simplify -0.25 into -0.25 1544782541.701 * [misc]taylor: Taking taylor expansion of i in i 1544782541.701 * [misc]backup-simplify: Simplify 0 into 0 1544782541.701 * [misc]backup-simplify: Simplify 1 into 1 1544782541.701 * [misc]backup-simplify: Simplify (/ -0.25 1) into -0.25 1544782541.701 * [misc]taylor: Taking taylor expansion of (/ -1 i) in i 1544782541.701 * [misc]taylor: Taking taylor expansion of -1 in i 1544782541.701 * [misc]backup-simplify: Simplify -1 into -1 1544782541.701 * [misc]taylor: Taking taylor expansion of i in i 1544782541.701 * [misc]backup-simplify: Simplify 0 into 0 1544782541.702 * [misc]backup-simplify: Simplify 1 into 1 1544782541.702 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544782541.702 * [misc]taylor: Taking taylor expansion of (/ 1.0 (pow i 4)) in i 1544782541.702 * [misc]taylor: Taking taylor expansion of 1.0 in i 1544782541.702 * [misc]backup-simplify: Simplify 1.0 into 1.0 1544782541.702 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1544782541.702 * [misc]taylor: Taking taylor expansion of i in i 1544782541.702 * [misc]backup-simplify: Simplify 0 into 0 1544782541.702 * [misc]backup-simplify: Simplify 1 into 1 1544782541.702 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.702 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.702 * [misc]backup-simplify: Simplify (/ 1.0 1) into 1.0 1544782541.702 * [misc]taylor: Taking taylor expansion of (* 4.0 (/ 1 (pow i 6))) in i 1544782541.702 * [misc]taylor: Taking taylor expansion of 4.0 in i 1544782541.703 * [misc]backup-simplify: Simplify 4.0 into 4.0 1544782541.703 * [misc]taylor: Taking taylor expansion of (/ 1 (pow i 6)) in i 1544782541.703 * [misc]taylor: Taking taylor expansion of (pow i 6) in i 1544782541.703 * [misc]taylor: Taking taylor expansion of i in i 1544782541.703 * [misc]backup-simplify: Simplify 0 into 0 1544782541.703 * [misc]backup-simplify: Simplify 1 into 1 1544782541.703 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.703 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.703 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.703 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544782541.704 * [misc]backup-simplify: Simplify (* 4.0 1) into 4.0 1544782541.704 * [misc]backup-simplify: Simplify (+ 0 4.0) into 4.0 1544782541.704 * [misc]backup-simplify: Simplify (- 4.0) into (- 4.0) 1544782541.704 * [misc]backup-simplify: Simplify (- 4.0) into (- 4.0) 1544782541.704 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782541.705 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782541.705 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782541.705 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544782541.705 * [misc]backup-simplify: Simplify (+ (* 4.0 0) (* 0 1)) into 0 1544782541.705 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.706 * [misc]backup-simplify: Simplify (- 0) into 0 1544782541.706 * [misc]backup-simplify: Simplify 0 into 0 1544782541.706 * [misc]backup-simplify: Simplify (+ 0 1.0) into 1.0 1544782541.706 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.706 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.707 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.707 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.707 * [misc]backup-simplify: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.707 * [misc]backup-simplify: Simplify (+ 1.0 0) into 1.0 1544782541.708 * [misc]backup-simplify: Simplify (- 1.0) into (- 1.0) 1544782541.708 * [misc]backup-simplify: Simplify (- 1.0) into (- 1.0) 1544782541.708 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782541.708 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782541.709 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)))) into 0 1544782541.709 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.709 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782541.709 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782541.710 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782541.710 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.710 * [misc]backup-simplify: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782541.711 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.711 * [misc]backup-simplify: Simplify (- 0) into 0 1544782541.711 * [misc]backup-simplify: Simplify 0 into 0 1544782541.711 * [misc]backup-simplify: Simplify (* -0.25 -1) into 0.25 1544782541.711 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.712 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.712 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.712 * [misc]backup-simplify: Simplify (+ 0.25 0) into 0.25 1544782541.712 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782541.713 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782541.713 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782541.714 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.714 * [misc]backup-simplify: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782541.714 * [misc]backup-simplify: Simplify (+ 0.25 0) into 0.25 1544782541.714 * [misc]backup-simplify: Simplify (- 0.25) into (- 0.25) 1544782541.715 * [misc]backup-simplify: Simplify (- 0.25) into (- 0.25) 1544782541.716 * [misc]backup-simplify: Simplify (+ (* (- 0.25) (pow (/ 1 (/ 1 (- i))) 2)) (+ (* (- 1.0) (pow (/ 1 (/ 1 (- i))) 4)) (* (- 4.0) (pow (/ 1 (/ 1 (- i))) 6)))) into (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) 1544782541.716 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1) 1544782541.717 * [misc]backup-simplify: Simplify (* (pow i 6) (- 4.0)) into (* -4.0 (pow i 6)) 1544782541.717 * [misc]approximate: Taking taylor expansion of (* -4.0 (pow i 6)) in (i) around 0 1544782541.717 * [misc]taylor: Taking taylor expansion of (* -4.0 (pow i 6)) in i 1544782541.717 * [misc]taylor: Taking taylor expansion of -4.0 in i 1544782541.717 * [misc]backup-simplify: Simplify -4.0 into -4.0 1544782541.717 * [misc]taylor: Taking taylor expansion of (pow i 6) in i 1544782541.717 * [misc]taylor: Taking taylor expansion of i in i 1544782541.717 * [misc]backup-simplify: Simplify 0 into 0 1544782541.717 * [misc]backup-simplify: Simplify 1 into 1 1544782541.717 * [misc]taylor: Taking taylor expansion of (* -4.0 (pow i 6)) in i 1544782541.717 * [misc]taylor: Taking taylor expansion of -4.0 in i 1544782541.717 * [misc]backup-simplify: Simplify -4.0 into -4.0 1544782541.717 * [misc]taylor: Taking taylor expansion of (pow i 6) in i 1544782541.717 * [misc]taylor: Taking taylor expansion of i in i 1544782541.717 * [misc]backup-simplify: Simplify 0 into 0 1544782541.717 * [misc]backup-simplify: Simplify 1 into 1 1544782541.717 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.718 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.718 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.718 * [misc]backup-simplify: Simplify (* -4.0 1) into -4.0 1544782541.718 * [misc]backup-simplify: Simplify -4.0 into -4.0 1544782541.718 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782541.718 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782541.719 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782541.719 * [misc]backup-simplify: Simplify (+ (* -4.0 0) (* 0 1)) into 0 1544782541.719 * [misc]backup-simplify: Simplify 0 into 0 1544782541.719 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.720 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.720 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.720 * [misc]backup-simplify: Simplify (+ (* -4.0 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.720 * [misc]backup-simplify: Simplify 0 into 0 1544782541.720 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782541.721 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782541.721 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782541.721 * [misc]backup-simplify: Simplify (+ (* -4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782541.722 * [misc]backup-simplify: Simplify 0 into 0 1544782541.722 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782541.722 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782541.723 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782541.723 * [misc]backup-simplify: Simplify (+ (* -4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782541.723 * [misc]backup-simplify: Simplify 0 into 0 1544782541.724 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544782541.724 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544782541.725 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544782541.725 * [misc]backup-simplify: Simplify (+ (* -4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544782541.725 * [misc]backup-simplify: Simplify 0 into 0 1544782541.726 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544782541.726 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544782541.727 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544782541.728 * [misc]backup-simplify: Simplify (+ (* -4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544782541.728 * [misc]backup-simplify: Simplify 0 into 0 1544782541.728 * [misc]backup-simplify: Simplify (* -4.0 (pow i 6)) into (* -4.0 (pow i 6)) 1544782541.728 * [misc]backup-simplify: Simplify (* (pow (/ 1 i) 6) (- 4.0)) into (/ -4.0 (pow i 6)) 1544782541.729 * [misc]approximate: Taking taylor expansion of (/ -4.0 (pow i 6)) in (i) around 0 1544782541.729 * [misc]taylor: Taking taylor expansion of (/ -4.0 (pow i 6)) in i 1544782541.729 * [misc]taylor: Taking taylor expansion of -4.0 in i 1544782541.729 * [misc]backup-simplify: Simplify -4.0 into -4.0 1544782541.729 * [misc]taylor: Taking taylor expansion of (pow i 6) in i 1544782541.729 * [misc]taylor: Taking taylor expansion of i in i 1544782541.729 * [misc]backup-simplify: Simplify 0 into 0 1544782541.729 * [misc]backup-simplify: Simplify 1 into 1 1544782541.729 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.729 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.729 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.730 * [misc]backup-simplify: Simplify (/ -4.0 1) into -4.0 1544782541.730 * [misc]taylor: Taking taylor expansion of (/ -4.0 (pow i 6)) in i 1544782541.730 * [misc]taylor: Taking taylor expansion of -4.0 in i 1544782541.730 * [misc]backup-simplify: Simplify -4.0 into -4.0 1544782541.730 * [misc]taylor: Taking taylor expansion of (pow i 6) in i 1544782541.730 * [misc]taylor: Taking taylor expansion of i in i 1544782541.730 * [misc]backup-simplify: Simplify 0 into 0 1544782541.730 * [misc]backup-simplify: Simplify 1 into 1 1544782541.730 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.730 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.730 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.730 * [misc]backup-simplify: Simplify (/ -4.0 1) into -4.0 1544782541.731 * [misc]backup-simplify: Simplify -4.0 into -4.0 1544782541.731 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782541.731 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782541.731 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782541.731 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -4.0 (/ 0 1)))) into 0 1544782541.732 * [misc]backup-simplify: Simplify 0 into 0 1544782541.732 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.732 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.732 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.733 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -4.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.733 * [misc]backup-simplify: Simplify 0 into 0 1544782541.733 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782541.733 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782541.734 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782541.734 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.734 * [misc]backup-simplify: Simplify 0 into 0 1544782541.735 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782541.735 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782541.736 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782541.736 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.736 * [misc]backup-simplify: Simplify 0 into 0 1544782541.737 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544782541.737 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544782541.737 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544782541.738 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.738 * [misc]backup-simplify: Simplify 0 into 0 1544782541.739 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544782541.739 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544782541.740 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544782541.740 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.740 * [misc]backup-simplify: Simplify 0 into 0 1544782541.741 * [misc]backup-simplify: Simplify (* -4.0 (pow (/ 1 (/ 1 i)) 6)) into (* -4.0 (pow i 6)) 1544782541.742 * [misc]backup-simplify: Simplify (* (pow (/ 1 (- i)) 6) (- 4.0)) into (/ -4.0 (pow i 6)) 1544782541.742 * [misc]approximate: Taking taylor expansion of (/ -4.0 (pow i 6)) in (i) around 0 1544782541.742 * [misc]taylor: Taking taylor expansion of (/ -4.0 (pow i 6)) in i 1544782541.742 * [misc]taylor: Taking taylor expansion of -4.0 in i 1544782541.742 * [misc]backup-simplify: Simplify -4.0 into -4.0 1544782541.742 * [misc]taylor: Taking taylor expansion of (pow i 6) in i 1544782541.742 * [misc]taylor: Taking taylor expansion of i in i 1544782541.742 * [misc]backup-simplify: Simplify 0 into 0 1544782541.742 * [misc]backup-simplify: Simplify 1 into 1 1544782541.742 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.742 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.742 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.743 * [misc]backup-simplify: Simplify (/ -4.0 1) into -4.0 1544782541.743 * [misc]taylor: Taking taylor expansion of (/ -4.0 (pow i 6)) in i 1544782541.743 * [misc]taylor: Taking taylor expansion of -4.0 in i 1544782541.743 * [misc]backup-simplify: Simplify -4.0 into -4.0 1544782541.743 * [misc]taylor: Taking taylor expansion of (pow i 6) in i 1544782541.743 * [misc]taylor: Taking taylor expansion of i in i 1544782541.743 * [misc]backup-simplify: Simplify 0 into 0 1544782541.743 * [misc]backup-simplify: Simplify 1 into 1 1544782541.743 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.743 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.743 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.743 * [misc]backup-simplify: Simplify (/ -4.0 1) into -4.0 1544782541.743 * [misc]backup-simplify: Simplify -4.0 into -4.0 1544782541.744 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782541.744 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782541.744 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782541.744 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -4.0 (/ 0 1)))) into 0 1544782541.745 * [misc]backup-simplify: Simplify 0 into 0 1544782541.745 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.745 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.745 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.746 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -4.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.746 * [misc]backup-simplify: Simplify 0 into 0 1544782541.746 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782541.746 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782541.747 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782541.747 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.747 * [misc]backup-simplify: Simplify 0 into 0 1544782541.748 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782541.748 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782541.748 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782541.749 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.749 * [misc]backup-simplify: Simplify 0 into 0 1544782541.749 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544782541.750 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544782541.750 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544782541.751 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.751 * [misc]backup-simplify: Simplify 0 into 0 1544782541.751 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544782541.752 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544782541.752 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544782541.753 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.753 * [misc]backup-simplify: Simplify 0 into 0 1544782541.753 * [misc]backup-simplify: Simplify (* -4.0 (pow (/ 1 (/ 1 (- i))) 6)) into (* -4.0 (pow i 6)) 1544782541.753 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 2) 1544782541.754 * [misc]backup-simplify: Simplify (fma (* 0.25 i) i (* (pow i 4) 1.0)) into (fma (* 0.25 i) i (* 1.0 (pow i 4))) 1544782541.754 * [misc]approximate: Taking taylor expansion of (fma (* 0.25 i) i (* 1.0 (pow i 4))) in (i) around 0 1544782541.754 * [misc]taylor: Taking taylor expansion of (fma (* 0.25 i) i (* 1.0 (pow i 4))) in i 1544782541.754 * [misc]taylor: Rewrote expression to (+ (* (* 0.25 i) i) (* 1.0 (pow i 4))) 1544782541.754 * [misc]taylor: Taking taylor expansion of (* (* 0.25 i) i) in i 1544782541.754 * [misc]taylor: Taking taylor expansion of (* 0.25 i) in i 1544782541.754 * [misc]taylor: Taking taylor expansion of 0.25 in i 1544782541.754 * [misc]backup-simplify: Simplify 0.25 into 0.25 1544782541.754 * [misc]taylor: Taking taylor expansion of i in i 1544782541.754 * [misc]backup-simplify: Simplify 0 into 0 1544782541.754 * [misc]backup-simplify: Simplify 1 into 1 1544782541.754 * [misc]taylor: Taking taylor expansion of i in i 1544782541.754 * [misc]backup-simplify: Simplify 0 into 0 1544782541.754 * [misc]backup-simplify: Simplify 1 into 1 1544782541.754 * [misc]taylor: Taking taylor expansion of (* 1.0 (pow i 4)) in i 1544782541.754 * [misc]taylor: Taking taylor expansion of 1.0 in i 1544782541.754 * [misc]backup-simplify: Simplify 1.0 into 1.0 1544782541.754 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1544782541.754 * [misc]taylor: Taking taylor expansion of i in i 1544782541.754 * [misc]backup-simplify: Simplify 0 into 0 1544782541.754 * [misc]backup-simplify: Simplify 1 into 1 1544782541.754 * [misc]taylor: Taking taylor expansion of (fma (* 0.25 i) i (* 1.0 (pow i 4))) in i 1544782541.755 * [misc]taylor: Rewrote expression to (+ (* (* 0.25 i) i) (* 1.0 (pow i 4))) 1544782541.755 * [misc]taylor: Taking taylor expansion of (* (* 0.25 i) i) in i 1544782541.755 * [misc]taylor: Taking taylor expansion of (* 0.25 i) in i 1544782541.755 * [misc]taylor: Taking taylor expansion of 0.25 in i 1544782541.755 * [misc]backup-simplify: Simplify 0.25 into 0.25 1544782541.755 * [misc]taylor: Taking taylor expansion of i in i 1544782541.755 * [misc]backup-simplify: Simplify 0 into 0 1544782541.755 * [misc]backup-simplify: Simplify 1 into 1 1544782541.755 * [misc]taylor: Taking taylor expansion of i in i 1544782541.755 * [misc]backup-simplify: Simplify 0 into 0 1544782541.755 * [misc]backup-simplify: Simplify 1 into 1 1544782541.755 * [misc]taylor: Taking taylor expansion of (* 1.0 (pow i 4)) in i 1544782541.755 * [misc]taylor: Taking taylor expansion of 1.0 in i 1544782541.755 * [misc]backup-simplify: Simplify 1.0 into 1.0 1544782541.755 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1544782541.755 * [misc]taylor: Taking taylor expansion of i in i 1544782541.755 * [misc]backup-simplify: Simplify 0 into 0 1544782541.755 * [misc]backup-simplify: Simplify 1 into 1 1544782541.755 * [misc]backup-simplify: Simplify (* 0.25 0) into 0 1544782541.755 * [misc]backup-simplify: Simplify (* 0 0) into 0 1544782541.756 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.756 * [misc]backup-simplify: Simplify 0 into 0 1544782541.756 * [misc]backup-simplify: Simplify (+ (* 0.25 1) (* 0 0)) into 0.25 1544782541.756 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 0.25 0)) into 0 1544782541.756 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.757 * [misc]backup-simplify: Simplify 0 into 0 1544782541.757 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 1) (* 0 0))) into 0 1544782541.758 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 0.25 1) (* 0 0))) into 0.25 1544782541.758 * [misc]backup-simplify: Simplify (+ 0.25 0) into 0.25 1544782541.758 * [misc]backup-simplify: Simplify 0.25 into 0.25 1544782541.758 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1544782541.759 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 0.25 0) (+ (* 0 1) (* 0 0)))) into 0 1544782541.759 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.759 * [misc]backup-simplify: Simplify 0 into 0 1544782541.759 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1544782541.760 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1544782541.760 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.760 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.760 * [misc]backup-simplify: Simplify (* 1.0 1) into 1.0 1544782541.760 * [misc]backup-simplify: Simplify (+ 0 1.0) into 1.0 1544782541.760 * [misc]backup-simplify: Simplify 1.0 into 1.0 1544782541.761 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1544782541.761 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1544782541.761 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782541.762 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782541.762 * [misc]backup-simplify: Simplify (+ (* 1.0 0) (* 0 1)) into 0 1544782541.762 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.762 * [misc]backup-simplify: Simplify 0 into 0 1544782541.763 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1544782541.763 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1544782541.763 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.764 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.764 * [misc]backup-simplify: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.764 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.764 * [misc]backup-simplify: Simplify 0 into 0 1544782541.765 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1544782541.765 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1544782541.766 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782541.766 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782541.766 * [misc]backup-simplify: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782541.766 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.767 * [misc]backup-simplify: Simplify 0 into 0 1544782541.767 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 1544782541.768 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 1544782541.768 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782541.769 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782541.769 * [misc]backup-simplify: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782541.769 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.769 * [misc]backup-simplify: Simplify 0 into 0 1544782541.770 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))))) into 0 1544782541.771 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))))) into 0 1544782541.771 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544782541.771 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544782541.772 * [misc]backup-simplify: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544782541.772 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.772 * [misc]backup-simplify: Simplify 0 into 0 1544782541.773 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))))) into 0 1544782541.774 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))))) into 0 1544782541.774 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544782541.775 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544782541.775 * [misc]backup-simplify: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544782541.775 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.775 * [misc]backup-simplify: Simplify 0 into 0 1544782541.776 * [misc]backup-simplify: Simplify (+ (* 1.0 (pow i 4)) (* 0.25 (pow i 2))) into (+ (* 0.25 (pow i 2)) (* 1.0 (pow i 4))) 1544782541.776 * [misc]backup-simplify: Simplify (fma (* 0.25 (/ 1 i)) (/ 1 i) (* (pow (/ 1 i) 4) 1.0)) into (fma (/ 0.25 i) (/ 1 i) (/ 1.0 (pow i 4))) 1544782541.776 * [misc]approximate: Taking taylor expansion of (fma (/ 0.25 i) (/ 1 i) (/ 1.0 (pow i 4))) in (i) around 0 1544782541.776 * [misc]taylor: Taking taylor expansion of (fma (/ 0.25 i) (/ 1 i) (/ 1.0 (pow i 4))) in i 1544782541.776 * [misc]taylor: Rewrote expression to (+ (* (/ 0.25 i) (/ 1 i)) (/ 1.0 (pow i 4))) 1544782541.776 * [misc]taylor: Taking taylor expansion of (* (/ 0.25 i) (/ 1 i)) in i 1544782541.776 * [misc]taylor: Taking taylor expansion of (/ 0.25 i) in i 1544782541.776 * [misc]taylor: Taking taylor expansion of 0.25 in i 1544782541.776 * [misc]backup-simplify: Simplify 0.25 into 0.25 1544782541.776 * [misc]taylor: Taking taylor expansion of i in i 1544782541.776 * [misc]backup-simplify: Simplify 0 into 0 1544782541.776 * [misc]backup-simplify: Simplify 1 into 1 1544782541.777 * [misc]backup-simplify: Simplify (/ 0.25 1) into 0.25 1544782541.777 * [misc]taylor: Taking taylor expansion of (/ 1 i) in i 1544782541.777 * [misc]taylor: Taking taylor expansion of i in i 1544782541.777 * [misc]backup-simplify: Simplify 0 into 0 1544782541.777 * [misc]backup-simplify: Simplify 1 into 1 1544782541.777 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544782541.777 * [misc]taylor: Taking taylor expansion of (/ 1.0 (pow i 4)) in i 1544782541.777 * [misc]taylor: Taking taylor expansion of 1.0 in i 1544782541.777 * [misc]backup-simplify: Simplify 1.0 into 1.0 1544782541.777 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1544782541.777 * [misc]taylor: Taking taylor expansion of i in i 1544782541.777 * [misc]backup-simplify: Simplify 0 into 0 1544782541.777 * [misc]backup-simplify: Simplify 1 into 1 1544782541.777 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.777 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.778 * [misc]backup-simplify: Simplify (/ 1.0 1) into 1.0 1544782541.778 * [misc]taylor: Taking taylor expansion of (fma (/ 0.25 i) (/ 1 i) (/ 1.0 (pow i 4))) in i 1544782541.778 * [misc]taylor: Rewrote expression to (+ (* (/ 0.25 i) (/ 1 i)) (/ 1.0 (pow i 4))) 1544782541.778 * [misc]taylor: Taking taylor expansion of (* (/ 0.25 i) (/ 1 i)) in i 1544782541.778 * [misc]taylor: Taking taylor expansion of (/ 0.25 i) in i 1544782541.778 * [misc]taylor: Taking taylor expansion of 0.25 in i 1544782541.778 * [misc]backup-simplify: Simplify 0.25 into 0.25 1544782541.778 * [misc]taylor: Taking taylor expansion of i in i 1544782541.778 * [misc]backup-simplify: Simplify 0 into 0 1544782541.778 * [misc]backup-simplify: Simplify 1 into 1 1544782541.778 * [misc]backup-simplify: Simplify (/ 0.25 1) into 0.25 1544782541.778 * [misc]taylor: Taking taylor expansion of (/ 1 i) in i 1544782541.778 * [misc]taylor: Taking taylor expansion of i in i 1544782541.778 * [misc]backup-simplify: Simplify 0 into 0 1544782541.778 * [misc]backup-simplify: Simplify 1 into 1 1544782541.778 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544782541.778 * [misc]taylor: Taking taylor expansion of (/ 1.0 (pow i 4)) in i 1544782541.778 * [misc]taylor: Taking taylor expansion of 1.0 in i 1544782541.779 * [misc]backup-simplify: Simplify 1.0 into 1.0 1544782541.779 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1544782541.779 * [misc]taylor: Taking taylor expansion of i in i 1544782541.779 * [misc]backup-simplify: Simplify 0 into 0 1544782541.779 * [misc]backup-simplify: Simplify 1 into 1 1544782541.779 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.779 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.779 * [misc]backup-simplify: Simplify (/ 1.0 1) into 1.0 1544782541.779 * [misc]backup-simplify: Simplify (+ 0 1.0) into 1.0 1544782541.779 * [misc]backup-simplify: Simplify 1.0 into 1.0 1544782541.780 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782541.780 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782541.780 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)))) into 0 1544782541.780 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.780 * [misc]backup-simplify: Simplify 0 into 0 1544782541.781 * [misc]backup-simplify: Simplify (* 0.25 1) into 0.25 1544782541.781 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.781 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.781 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.782 * [misc]backup-simplify: Simplify (+ 0.25 0) into 0.25 1544782541.782 * [misc]backup-simplify: Simplify 0.25 into 0.25 1544782541.782 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544782541.782 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.25 (/ 0 1)))) into 0 1544782541.782 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (* 0 1)) into 0 1544782541.783 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782541.783 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782541.784 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.784 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.784 * [misc]backup-simplify: Simplify 0 into 0 1544782541.784 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.784 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.25 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.785 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.785 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782541.785 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782541.786 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.786 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.786 * [misc]backup-simplify: Simplify 0 into 0 1544782541.786 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.787 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.25 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.787 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782541.788 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544782541.788 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544782541.789 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.789 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.789 * [misc]backup-simplify: Simplify 0 into 0 1544782541.789 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.790 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.25 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.790 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782541.791 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544782541.791 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544782541.792 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.792 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.792 * [misc]backup-simplify: Simplify 0 into 0 1544782541.793 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.793 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.25 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.794 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544782541.794 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1544782541.795 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1544782541.796 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.796 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.796 * [misc]backup-simplify: Simplify 0 into 0 1544782541.796 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.797 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.25 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.797 * [misc]backup-simplify: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544782541.798 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1544782541.799 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1544782541.799 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.800 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.800 * [misc]backup-simplify: Simplify 0 into 0 1544782541.803 * [misc]backup-simplify: Simplify (+ (* 0.25 (pow (/ 1 (/ 1 i)) 2)) (* 1.0 (pow (/ 1 (/ 1 i)) 4))) into (+ (* 0.25 (pow i 2)) (* 1.0 (pow i 4))) 1544782541.804 * [misc]backup-simplify: Simplify (fma (* 0.25 (/ 1 (- i))) (/ 1 (- i)) (* (pow (/ 1 (- i)) 4) 1.0)) into (fma (/ -0.25 i) (/ -1 i) (/ 1.0 (pow i 4))) 1544782541.804 * [misc]approximate: Taking taylor expansion of (fma (/ -0.25 i) (/ -1 i) (/ 1.0 (pow i 4))) in (i) around 0 1544782541.804 * [misc]taylor: Taking taylor expansion of (fma (/ -0.25 i) (/ -1 i) (/ 1.0 (pow i 4))) in i 1544782541.804 * [misc]taylor: Rewrote expression to (+ (* (/ -0.25 i) (/ -1 i)) (/ 1.0 (pow i 4))) 1544782541.804 * [misc]taylor: Taking taylor expansion of (* (/ -0.25 i) (/ -1 i)) in i 1544782541.804 * [misc]taylor: Taking taylor expansion of (/ -0.25 i) in i 1544782541.804 * [misc]taylor: Taking taylor expansion of -0.25 in i 1544782541.804 * [misc]backup-simplify: Simplify -0.25 into -0.25 1544782541.804 * [misc]taylor: Taking taylor expansion of i in i 1544782541.804 * [misc]backup-simplify: Simplify 0 into 0 1544782541.804 * [misc]backup-simplify: Simplify 1 into 1 1544782541.804 * [misc]backup-simplify: Simplify (/ -0.25 1) into -0.25 1544782541.804 * [misc]taylor: Taking taylor expansion of (/ -1 i) in i 1544782541.804 * [misc]taylor: Taking taylor expansion of -1 in i 1544782541.804 * [misc]backup-simplify: Simplify -1 into -1 1544782541.804 * [misc]taylor: Taking taylor expansion of i in i 1544782541.804 * [misc]backup-simplify: Simplify 0 into 0 1544782541.804 * [misc]backup-simplify: Simplify 1 into 1 1544782541.805 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544782541.805 * [misc]taylor: Taking taylor expansion of (/ 1.0 (pow i 4)) in i 1544782541.805 * [misc]taylor: Taking taylor expansion of 1.0 in i 1544782541.805 * [misc]backup-simplify: Simplify 1.0 into 1.0 1544782541.805 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1544782541.805 * [misc]taylor: Taking taylor expansion of i in i 1544782541.805 * [misc]backup-simplify: Simplify 0 into 0 1544782541.805 * [misc]backup-simplify: Simplify 1 into 1 1544782541.805 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.805 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.805 * [misc]backup-simplify: Simplify (/ 1.0 1) into 1.0 1544782541.805 * [misc]taylor: Taking taylor expansion of (fma (/ -0.25 i) (/ -1 i) (/ 1.0 (pow i 4))) in i 1544782541.806 * [misc]taylor: Rewrote expression to (+ (* (/ -0.25 i) (/ -1 i)) (/ 1.0 (pow i 4))) 1544782541.806 * [misc]taylor: Taking taylor expansion of (* (/ -0.25 i) (/ -1 i)) in i 1544782541.806 * [misc]taylor: Taking taylor expansion of (/ -0.25 i) in i 1544782541.806 * [misc]taylor: Taking taylor expansion of -0.25 in i 1544782541.806 * [misc]backup-simplify: Simplify -0.25 into -0.25 1544782541.806 * [misc]taylor: Taking taylor expansion of i in i 1544782541.806 * [misc]backup-simplify: Simplify 0 into 0 1544782541.806 * [misc]backup-simplify: Simplify 1 into 1 1544782541.806 * [misc]backup-simplify: Simplify (/ -0.25 1) into -0.25 1544782541.806 * [misc]taylor: Taking taylor expansion of (/ -1 i) in i 1544782541.806 * [misc]taylor: Taking taylor expansion of -1 in i 1544782541.806 * [misc]backup-simplify: Simplify -1 into -1 1544782541.806 * [misc]taylor: Taking taylor expansion of i in i 1544782541.806 * [misc]backup-simplify: Simplify 0 into 0 1544782541.806 * [misc]backup-simplify: Simplify 1 into 1 1544782541.806 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1544782541.806 * [misc]taylor: Taking taylor expansion of (/ 1.0 (pow i 4)) in i 1544782541.806 * [misc]taylor: Taking taylor expansion of 1.0 in i 1544782541.806 * [misc]backup-simplify: Simplify 1.0 into 1.0 1544782541.806 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1544782541.806 * [misc]taylor: Taking taylor expansion of i in i 1544782541.806 * [misc]backup-simplify: Simplify 0 into 0 1544782541.806 * [misc]backup-simplify: Simplify 1 into 1 1544782541.807 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.807 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544782541.807 * [misc]backup-simplify: Simplify (/ 1.0 1) into 1.0 1544782541.807 * [misc]backup-simplify: Simplify (+ 0 1.0) into 1.0 1544782541.807 * [misc]backup-simplify: Simplify 1.0 into 1.0 1544782541.808 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782541.808 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544782541.808 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)))) into 0 1544782541.808 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.808 * [misc]backup-simplify: Simplify 0 into 0 1544782541.808 * [misc]backup-simplify: Simplify (* -0.25 -1) into 0.25 1544782541.809 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.809 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544782541.809 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.810 * [misc]backup-simplify: Simplify (+ 0.25 0) into 0.25 1544782541.810 * [misc]backup-simplify: Simplify 0.25 into 0.25 1544782541.810 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1544782541.810 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.25 (/ 0 1)))) into 0 1544782541.810 * [misc]backup-simplify: Simplify (+ (* -0.25 0) (* 0 -1)) into 0 1544782541.811 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782541.811 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544782541.812 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.812 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.812 * [misc]backup-simplify: Simplify 0 into 0 1544782541.812 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.812 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.25 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.813 * [misc]backup-simplify: Simplify (+ (* -0.25 0) (+ (* 0 0) (* 0 -1))) into 0 1544782541.813 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782541.814 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544782541.814 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.814 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.814 * [misc]backup-simplify: Simplify 0 into 0 1544782541.815 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.815 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.25 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.815 * [misc]backup-simplify: Simplify (+ (* -0.25 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 1544782541.816 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544782541.816 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1544782541.817 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.817 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.817 * [misc]backup-simplify: Simplify 0 into 0 1544782541.818 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.818 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.25 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.819 * [misc]backup-simplify: Simplify (+ (* -0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 1544782541.819 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544782541.820 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1544782541.820 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.820 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.820 * [misc]backup-simplify: Simplify 0 into 0 1544782541.821 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.822 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.25 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.822 * [misc]backup-simplify: Simplify (+ (* -0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) into 0 1544782541.823 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1544782541.823 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1544782541.824 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.824 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.824 * [misc]backup-simplify: Simplify 0 into 0 1544782541.825 * [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 1544782541.825 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -0.25 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.826 * [misc]backup-simplify: Simplify (+ (* -0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) into 0 1544782541.827 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1544782541.827 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1544782541.828 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544782541.828 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544782541.828 * [misc]backup-simplify: Simplify 0 into 0 1544782541.829 * [misc]backup-simplify: Simplify (+ (* 0.25 (pow (/ 1 (/ 1 (- i))) 2)) (* 1.0 (pow (/ 1 (/ 1 (- i))) 4))) into (+ (* 0.25 (pow i 2)) (* 1.0 (pow i 4))) 1544782541.829 * * * [misc]progress: simplifying candidates 1544782541.829 * * * * [misc]progress: [ 1 / 59 ] simplifiying candidate # 1544782541.830 * [enter]simplify: Simplifying (fma (pow i 6) (- 4.0) (- (* (cbrt (fma (* 0.25 i) i (* (pow i 4) 1.0))) (* (cbrt (fma (* 0.25 i) i (* (pow i 4) 1.0))) (cbrt (fma (* 0.25 i) i (* (pow i 4) 1.0))))))) 1544782541.831 * * [misc]simplify: iters left: 6 (17 enodes) 1544782541.840 * * [misc]simplify: iters left: 5 (30 enodes) 1544782541.855 * * [misc]simplify: iters left: 4 (43 enodes) 1544782541.875 * * [misc]simplify: iters left: 3 (70 enodes) 1544782541.906 * * [misc]simplify: iters left: 2 (122 enodes) 1544782541.987 * * [misc]simplify: iters left: 1 (211 enodes) 1544782542.080 * [exit]simplify: Simplified to (- (* (pow i 4) (- 1.0)) (fma i (* 0.25 i) (* (pow i 6) 4.0))) 1544782542.080 * [misc]simplify: Simplified (2 1) to (λ (i) (+ (- (* (pow i 4) (- 1.0)) (fma i (* 0.25 i) (* (pow i 6) 4.0))) (fma (- (cbrt (fma (* 0.25 i) i (* (pow i 4) 1.0)))) (* (cbrt (fma (* 0.25 i) i (* (pow i 4) 1.0))) (cbrt (fma (* 0.25 i) i (* (pow i 4) 1.0)))) (* (cbrt (fma (* 0.25 i) i (* (pow i 4) 1.0))) (* (cbrt (fma (* 0.25 i) i (* (pow i 4) 1.0))) (cbrt (fma (* 0.25 i) i (* (pow i 4) 1.0)))))))) 1544782542.080 * [enter]simplify: Simplifying (fma (- (cbrt (fma (* 0.25 i) i (* (pow i 4) 1.0)))) (* (cbrt (fma (* 0.25 i) i (* (pow i 4) 1.0))) (cbrt (fma (* 0.25 i) i (* (pow i 4) 1.0)))) (* (cbrt (fma (* 0.25 i) i (* (pow i 4) 1.0))) (* (cbrt (fma (* 0.25 i) i (* (pow i 4) 1.0))) (cbrt (fma (* 0.25 i) i (* (pow i 4) 1.0)))))) 1544782542.081 * * [misc]simplify: iters left: 6 (13 enodes) 1544782542.084 * * [misc]simplify: iters left: 5 (22 enodes) 1544782542.089 * * [misc]simplify: iters left: 4 (33 enodes) 1544782542.099 * * [misc]simplify: iters left: 3 (69 enodes) 1544782542.120 * * [misc]simplify: iters left: 2 (135 enodes) 1544782542.177 * * [misc]simplify: iters left: 1 (253 enodes) 1544782542.258 * [exit]simplify: Simplified to 0 1544782542.258 * [misc]simplify: Simplified (2 2) to (λ (i) (+ (- (* (pow i 4) (- 1.0)) (fma i (* 0.25 i) (* (pow i 6) 4.0))) 0)) 1544782542.258 * * * * [misc]progress: [ 2 / 59 ] simplifiying candidate # 1544782542.259 * [enter]simplify: Simplifying (fma (pow i 6) (- 4.0) (- (* (sqrt (fma (* 0.25 i) i (* (pow i 4) 1.0))) (sqrt (fma (* 0.25 i) i (* (pow i 4) 1.0)))))) 1544782542.260 * * [misc]simplify: iters left: 6 (16 enodes) 1544782542.264 * * [misc]simplify: iters left: 5 (25 enodes) 1544782542.271 * * [misc]simplify: iters left: 4 (37 enodes) 1544782542.292 * * [misc]simplify: iters left: 3 (77 enodes) 1544782542.318 * * [misc]simplify: iters left: 2 (141 enodes) 1544782542.376 * * [misc]simplify: iters left: 1 (213 enodes) 1544782542.480 * [exit]simplify: Simplified to (- (* (- 1.0) (pow i 4)) (fma 0.25 (* i i) (* (pow i 6) 4.0))) 1544782542.480 * [misc]simplify: Simplified (2 1) to (λ (i) (+ (- (* (- 1.0) (pow i 4)) (fma 0.25 (* i i) (* (pow i 6) 4.0))) (fma (- (sqrt (fma (* 0.25 i) i (* (pow i 4) 1.0)))) (sqrt (fma (* 0.25 i) i (* (pow i 4) 1.0))) (* (sqrt (fma (* 0.25 i) i (* (pow i 4) 1.0))) (sqrt (fma (* 0.25 i) i (* (pow i 4) 1.0))))))) 1544782542.481 * [enter]simplify: Simplifying (fma (- (sqrt (fma (* 0.25 i) i (* (pow i 4) 1.0)))) (sqrt (fma (* 0.25 i) i (* (pow i 4) 1.0))) (* (sqrt (fma (* 0.25 i) i (* (pow i 4) 1.0))) (sqrt (fma (* 0.25 i) i (* (pow i 4) 1.0))))) 1544782542.482 * * [misc]simplify: iters left: 6 (12 enodes) 1544782542.487 * * [misc]simplify: iters left: 5 (18 enodes) 1544782542.498 * * [misc]simplify: iters left: 4 (31 enodes) 1544782542.513 * * [misc]simplify: iters left: 3 (56 enodes) 1544782542.529 * * [misc]simplify: iters left: 2 (110 enodes) 1544782542.564 * * [misc]simplify: iters left: 1 (230 enodes) 1544782542.657 * [exit]simplify: Simplified to 0 1544782542.657 * [misc]simplify: Simplified (2 2) to (λ (i) (+ (- (* (- 1.0) (pow i 4)) (fma 0.25 (* i i) (* (pow i 6) 4.0))) 0)) 1544782542.657 * * * * [misc]progress: [ 3 / 59 ] simplifiying candidate # 1544782542.657 * [enter]simplify: Simplifying (fma (pow i 6) (- 4.0) (- (* (fma (* 0.25 i) i (* (pow i 4) 1.0)) 1))) 1544782542.658 * * [misc]simplify: iters left: 6 (16 enodes) 1544782542.667 * * [misc]simplify: iters left: 5 (29 enodes) 1544782542.681 * * [misc]simplify: iters left: 4 (52 enodes) 1544782542.726 * * [misc]simplify: iters left: 3 (136 enodes) 1544782542.794 * * [misc]simplify: iters left: 2 (269 enodes) 1544782543.043 * [exit]simplify: Simplified to (- (* (* 0.25 i) (- i)) (fma (pow i 4) 1.0 (* (pow i 6) 4.0))) 1544782543.043 * [misc]simplify: Simplified (2 1) to (λ (i) (+ (- (* (* 0.25 i) (- i)) (fma (pow i 4) 1.0 (* (pow i 6) 4.0))) (fma (- (fma (* 0.25 i) i (* (pow i 4) 1.0))) 1 (* (fma (* 0.25 i) i (* (pow i 4) 1.0)) 1)))) 1544782543.044 * [enter]simplify: Simplifying (fma (- (fma (* 0.25 i) i (* (pow i 4) 1.0))) 1 (* (fma (* 0.25 i) i (* (pow i 4) 1.0)) 1)) 1544782543.044 * * [misc]simplify: iters left: 6 (12 enodes) 1544782543.047 * * [misc]simplify: iters left: 5 (21 enodes) 1544782543.054 * * [misc]simplify: iters left: 4 (46 enodes) 1544782543.076 * * [misc]simplify: iters left: 3 (123 enodes) 1544782543.165 * * [misc]simplify: iters left: 2 (266 enodes) 1544782543.380 * [exit]simplify: Simplified to 0 1544782543.380 * [misc]simplify: Simplified (2 2) to (λ (i) (+ (- (* (* 0.25 i) (- i)) (fma (pow i 4) 1.0 (* (pow i 6) 4.0))) 0)) 1544782543.380 * * * * [misc]progress: [ 4 / 59 ] simplifiying candidate # 1544782543.380 * * * * [misc]progress: [ 5 / 59 ] simplifiying candidate # 1544782543.380 * * * * [misc]progress: [ 6 / 59 ] simplifiying candidate # 1544782543.380 * [enter]simplify: Simplifying (pow i 6) 1544782543.381 * * [misc]simplify: iters left: 1 (3 enodes) 1544782543.382 * [exit]simplify: Simplified to (pow i 6) 1544782543.382 * [misc]simplify: Simplified (2 1) to (λ (i) (fma (pow i 6) (- 4.0) (- (fma (* 0.25 i) i (* (pow i 4) 1.0))))) 1544782543.382 * * * * [misc]progress: [ 7 / 59 ] simplifiying candidate # 1544782543.382 * [enter]simplify: Simplifying (/ (exp (* (pow i 6) (- 4.0))) (exp (fma (* 0.25 i) i (* (pow i 4) 1.0)))) 1544782543.384 * * [misc]simplify: iters left: 6 (16 enodes) 1544782543.391 * * [misc]simplify: iters left: 5 (27 enodes) 1544782543.404 * * [misc]simplify: iters left: 4 (47 enodes) 1544782543.428 * * [misc]simplify: iters left: 3 (93 enodes) 1544782543.467 * * [misc]simplify: iters left: 2 (165 enodes) 1544782543.537 * * [misc]simplify: iters left: 1 (302 enodes) 1544782543.661 * [exit]simplify: Simplified to (/ (exp (* (- i) (* 0.25 i))) (* (pow (exp 1.0) (pow i 4)) (pow (exp 4.0) (pow i 6)))) 1544782543.661 * [misc]simplify: Simplified (2 1) to (λ (i) (log (/ (exp (* (- i) (* 0.25 i))) (* (pow (exp 1.0) (pow i 4)) (pow (exp 4.0) (pow i 6)))))) 1544782543.661 * * * * [misc]progress: [ 8 / 59 ] simplifiying candidate # 1544782543.662 * * * * [misc]progress: [ 9 / 59 ] simplifiying candidate # 1544782543.662 * * * * [misc]progress: [ 10 / 59 ] simplifiying candidate # 1544782543.662 * * * * [misc]progress: [ 11 / 59 ] simplifiying candidate # 1544782543.662 * * * * [misc]progress: [ 12 / 59 ] simplifiying candidate # 1544782543.662 * * * * [misc]progress: [ 13 / 59 ] simplifiying candidate # 1544782543.662 * * * * [misc]progress: [ 14 / 59 ] simplifiying candidate # 1544782543.662 * * * * [misc]progress: [ 15 / 59 ] simplifiying candidate # 1544782543.662 * * * * [misc]progress: [ 16 / 59 ] simplifiying candidate # 1544782543.662 * * * * [misc]progress: [ 17 / 59 ] simplifiying candidate # 1544782543.662 * * * * [misc]progress: [ 18 / 59 ] simplifiying candidate # 1544782543.662 * [enter]simplify: Simplifying (* (pow i 4) 1.0) 1544782543.663 * * [misc]simplify: iters left: 3 (5 enodes) 1544782543.664 * * [misc]simplify: iters left: 2 (6 enodes) 1544782543.665 * [exit]simplify: Simplified to (* (pow i 4) 1.0) 1544782543.665 * [misc]simplify: Simplified (2 2) to (λ (i) (- (- (* (pow i 6) (- 4.0)) (* (* 0.25 i) i)) (* (pow i 4) 1.0))) 1544782543.665 * * * * [misc]progress: [ 19 / 59 ] simplifiying candidate # 1544782543.665 * * * * [misc]progress: [ 20 / 59 ] simplifiying candidate # 1544782543.665 * * * * [misc]progress: [ 21 / 59 ] simplifiying candidate # 1544782543.665 * * * * [misc]progress: [ 22 / 59 ] simplifiying candidate # 1544782543.665 * * * * [misc]progress: [ 23 / 59 ] simplifiying candidate # 1544782543.666 * [enter]simplify: Simplifying (+ (* (log i) 6) (log (- 4.0))) 1544782543.666 * * [misc]simplify: iters left: 5 (8 enodes) 1544782543.669 * * [misc]simplify: iters left: 4 (11 enodes) 1544782543.671 * * [misc]simplify: iters left: 3 (12 enodes) 1544782543.674 * [exit]simplify: Simplified to (fma 6 (log i) (log (- 4.0))) 1544782543.674 * [misc]simplify: Simplified (2 1 1) to (λ (i) (- (exp (fma 6 (log i) (log (- 4.0)))) (fma (* 0.25 i) i (* (pow i 4) 1.0)))) 1544782543.674 * * * * [misc]progress: [ 24 / 59 ] simplifiying candidate # 1544782543.674 * [enter]simplify: Simplifying (+ (log (pow i 6)) (log (- 4.0))) 1544782543.675 * * [misc]simplify: iters left: 5 (8 enodes) 1544782543.677 * * [misc]simplify: iters left: 4 (11 enodes) 1544782543.679 * * [misc]simplify: iters left: 3 (13 enodes) 1544782543.684 * [exit]simplify: Simplified to (fma 6 (log i) (log (- 4.0))) 1544782543.684 * [misc]simplify: Simplified (2 1 1) to (λ (i) (- (exp (fma 6 (log i) (log (- 4.0)))) (fma (* 0.25 i) i (* (pow i 4) 1.0)))) 1544782543.684 * * * * [misc]progress: [ 25 / 59 ] simplifiying candidate # 1544782543.685 * * * * [misc]progress: [ 26 / 59 ] simplifiying candidate # 1544782543.685 * * * * [misc]progress: [ 27 / 59 ] simplifiying candidate # 1544782543.685 * [enter]simplify: Simplifying (* (* (* (pow i 6) (pow i 6)) (pow i 6)) (* (* (- 4.0) (- 4.0)) (- 4.0))) 1544782543.686 * * [misc]simplify: iters left: 6 (10 enodes) 1544782543.693 * * [misc]simplify: iters left: 5 (24 enodes) 1544782543.712 * * [misc]simplify: iters left: 4 (81 enodes) 1544782543.772 * * [misc]simplify: iters left: 3 (202 enodes) 1544782543.906 * * [misc]simplify: iters left: 2 (410 enodes) 1544782544.149 * [exit]simplify: Simplified to (* (pow (pow i 6) 3) (* (* 4.0 4.0) (- 4.0))) 1544782544.149 * [misc]simplify: Simplified (2 1 1) to (λ (i) (- (cbrt (* (pow (pow i 6) 3) (* (* 4.0 4.0) (- 4.0)))) (fma (* 0.25 i) i (* (pow i 4) 1.0)))) 1544782544.149 * * * * [misc]progress: [ 28 / 59 ] simplifiying candidate # 1544782544.149 * * * * [misc]progress: [ 29 / 59 ] simplifiying candidate # 1544782544.149 * * * * [misc]progress: [ 30 / 59 ] simplifiying candidate # 1544782544.149 * * * * [misc]progress: [ 31 / 59 ] simplifiying candidate # 1544782544.149 * * * * [misc]progress: [ 32 / 59 ] simplifiying candidate # 1544782544.149 * * * * [misc]progress: [ 33 / 59 ] simplifiying candidate # 1544782544.150 * [enter]simplify: Simplifying (cbrt (- 4.0)) 1544782544.150 * * [misc]simplify: iters left: 3 (3 enodes) 1544782544.152 * [exit]simplify: Simplified to (cbrt (- 4.0)) 1544782544.152 * [misc]simplify: Simplified (2 1 2) to (λ (i) (- (* (* (pow i 6) (* (cbrt (- 4.0)) (cbrt (- 4.0)))) (cbrt (- 4.0))) (fma (* 0.25 i) i (* (pow i 4) 1.0)))) 1544782544.152 * * * * [misc]progress: [ 34 / 59 ] simplifiying candidate # 1544782544.152 * [enter]simplify: Simplifying (sqrt (- 4.0)) 1544782544.153 * * [misc]simplify: iters left: 3 (3 enodes) 1544782544.154 * [exit]simplify: Simplified to (sqrt (- 4.0)) 1544782544.154 * [misc]simplify: Simplified (2 1 2) to (λ (i) (- (* (* (pow i 6) (sqrt (- 4.0))) (sqrt (- 4.0))) (fma (* 0.25 i) i (* (pow i 4) 1.0)))) 1544782544.154 * * * * [misc]progress: [ 35 / 59 ] simplifiying candidate # 1544782544.154 * [enter]simplify: Simplifying (- 4.0) 1544782544.155 * * [misc]simplify: iters left: 2 (2 enodes) 1544782544.156 * [exit]simplify: Simplified to (- 4.0) 1544782544.156 * [misc]simplify: Simplified (2 1 2) to (λ (i) (- (* (* (pow i 6) 1) (- 4.0)) (fma (* 0.25 i) i (* (pow i 4) 1.0)))) 1544782544.156 * * * * [misc]progress: [ 36 / 59 ] simplifiying candidate # 1544782544.156 * * * * [misc]progress: [ 37 / 59 ] simplifiying candidate # 1544782544.156 * [enter]simplify: Simplifying (* (cbrt (pow i 6)) (cbrt (pow i 6))) 1544782544.157 * * [misc]simplify: iters left: 4 (5 enodes) 1544782544.159 * [exit]simplify: Simplified to (* (cbrt (pow i 6)) (cbrt (pow i 6))) 1544782544.159 * [misc]simplify: Simplified (2 1 1) to (λ (i) (- (* (* (cbrt (pow i 6)) (cbrt (pow i 6))) (* (cbrt (pow i 6)) (- 4.0))) (fma (* 0.25 i) i (* (pow i 4) 1.0)))) 1544782544.159 * * * * [misc]progress: [ 38 / 59 ] simplifiying candidate # 1544782544.159 * [enter]simplify: Simplifying (sqrt (pow i 6)) 1544782544.159 * * [misc]simplify: iters left: 2 (4 enodes) 1544782544.161 * [exit]simplify: Simplified to (sqrt (pow i 6)) 1544782544.161 * [misc]simplify: Simplified (2 1 1) to (λ (i) (- (* (sqrt (pow i 6)) (* (sqrt (pow i 6)) (- 4.0))) (fma (* 0.25 i) i (* (pow i 4) 1.0)))) 1544782544.161 * * * * [misc]progress: [ 39 / 59 ] simplifiying candidate # 1544782544.161 * * * * [misc]progress: [ 40 / 59 ] simplifiying candidate # 1544782544.161 * * * * [misc]progress: [ 41 / 59 ] simplifiying candidate # 1544782544.161 * * * * [misc]progress: [ 42 / 59 ] simplifiying candidate # 1544782544.161 * * * * [misc]progress: [ 43 / 59 ] simplifiying candidate # 1544782544.161 * * * * [misc]progress: [ 44 / 59 ] simplifiying candidate # 1544782544.161 * * * * [misc]progress: [ 45 / 59 ] simplifiying candidate # 1544782544.161 * * * * [misc]progress: [ 46 / 59 ] simplifiying candidate # 1544782544.161 * * * * [misc]progress: [ 47 / 59 ] simplifiying candidate # 1544782544.161 * * * * [misc]progress: [ 48 / 59 ] simplifiying candidate # 1544782544.162 * * * * [misc]progress: [ 49 / 59 ] simplifiying candidate # 1544782544.162 * * * * [misc]progress: [ 50 / 59 ] simplifiying candidate # 1544782544.162 * * * * [misc]progress: [ 51 / 59 ] simplifiying candidate # 1544782544.162 * [enter]simplify: Simplifying (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) 1544782544.163 * * [misc]simplify: iters left: 6 (16 enodes) 1544782544.170 * * [misc]simplify: iters left: 5 (29 enodes) 1544782544.184 * * [misc]simplify: iters left: 4 (57 enodes) 1544782544.218 * * [misc]simplify: iters left: 3 (123 enodes) 1544782544.275 * * [misc]simplify: iters left: 2 (189 enodes) 1544782544.332 * * [misc]simplify: iters left: 1 (221 enodes) 1544782544.443 * [exit]simplify: Simplified to (- (* (pow i 6) (- 4.0)) (fma (* 0.25 i) i (* (pow i 4) 1.0))) 1544782544.443 * [misc]simplify: Simplified (2) to (λ (i) (- (* (pow i 6) (- 4.0)) (fma (* 0.25 i) i (* (pow i 4) 1.0)))) 1544782544.443 * * * * [misc]progress: [ 52 / 59 ] simplifiying candidate # 1544782544.444 * [enter]simplify: Simplifying (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) 1544782544.445 * * [misc]simplify: iters left: 6 (16 enodes) 1544782544.453 * * [misc]simplify: iters left: 5 (29 enodes) 1544782544.467 * * [misc]simplify: iters left: 4 (57 enodes) 1544782544.499 * * [misc]simplify: iters left: 3 (123 enodes) 1544782544.563 * * [misc]simplify: iters left: 2 (189 enodes) 1544782544.638 * * [misc]simplify: iters left: 1 (221 enodes) 1544782544.729 * [exit]simplify: Simplified to (- (* (pow i 6) (- 4.0)) (fma (* 0.25 i) i (* (pow i 4) 1.0))) 1544782544.729 * [misc]simplify: Simplified (2) to (λ (i) (- (* (pow i 6) (- 4.0)) (fma (* 0.25 i) i (* (pow i 4) 1.0)))) 1544782544.729 * * * * [misc]progress: [ 53 / 59 ] simplifiying candidate # 1544782544.729 * [enter]simplify: Simplifying (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) 1544782544.731 * * [misc]simplify: iters left: 6 (16 enodes) 1544782544.739 * * [misc]simplify: iters left: 5 (29 enodes) 1544782544.754 * * [misc]simplify: iters left: 4 (57 enodes) 1544782544.787 * * [misc]simplify: iters left: 3 (123 enodes) 1544782544.833 * * [misc]simplify: iters left: 2 (189 enodes) 1544782544.896 * * [misc]simplify: iters left: 1 (221 enodes) 1544782544.994 * [exit]simplify: Simplified to (- (* (pow i 6) (- 4.0)) (fma (* 0.25 i) i (* (pow i 4) 1.0))) 1544782544.994 * [misc]simplify: Simplified (2) to (λ (i) (- (* (pow i 6) (- 4.0)) (fma (* 0.25 i) i (* (pow i 4) 1.0)))) 1544782544.994 * * * * [misc]progress: [ 54 / 59 ] simplifiying candidate # 1544782544.995 * [enter]simplify: Simplifying (* -4.0 (pow i 6)) 1544782544.995 * * [misc]simplify: iters left: 3 (5 enodes) 1544782544.996 * * [misc]simplify: iters left: 2 (6 enodes) 1544782544.997 * [exit]simplify: Simplified to (* (pow i 6) -4.0) 1544782544.997 * [misc]simplify: Simplified (2 1) to (λ (i) (- (* (pow i 6) -4.0) (fma (* 0.25 i) i (* (pow i 4) 1.0)))) 1544782544.997 * * * * [misc]progress: [ 55 / 59 ] simplifiying candidate # 1544782544.997 * [enter]simplify: Simplifying (* -4.0 (pow i 6)) 1544782544.998 * * [misc]simplify: iters left: 3 (5 enodes) 1544782544.998 * * [misc]simplify: iters left: 2 (6 enodes) 1544782544.999 * [exit]simplify: Simplified to (* (pow i 6) -4.0) 1544782544.999 * [misc]simplify: Simplified (2 1) to (λ (i) (- (* (pow i 6) -4.0) (fma (* 0.25 i) i (* (pow i 4) 1.0)))) 1544782545.000 * * * * [misc]progress: [ 56 / 59 ] simplifiying candidate # 1544782545.000 * [enter]simplify: Simplifying (* -4.0 (pow i 6)) 1544782545.000 * * [misc]simplify: iters left: 3 (5 enodes) 1544782545.001 * * [misc]simplify: iters left: 2 (6 enodes) 1544782545.002 * [exit]simplify: Simplified to (* (pow i 6) -4.0) 1544782545.002 * [misc]simplify: Simplified (2 1) to (λ (i) (- (* (pow i 6) -4.0) (fma (* 0.25 i) i (* (pow i 4) 1.0)))) 1544782545.002 * * * * [misc]progress: [ 57 / 59 ] simplifiying candidate # 1544782545.002 * [enter]simplify: Simplifying (+ (* 0.25 (pow i 2)) (* 1.0 (pow i 4))) 1544782545.003 * * [misc]simplify: iters left: 5 (10 enodes) 1544782545.005 * * [misc]simplify: iters left: 4 (15 enodes) 1544782545.008 * * [misc]simplify: iters left: 3 (22 enodes) 1544782545.011 * * [misc]simplify: iters left: 2 (24 enodes) 1544782545.015 * [exit]simplify: Simplified to (fma (pow i 4) 1.0 (* (* i i) 0.25)) 1544782545.015 * [misc]simplify: Simplified (2 2) to (λ (i) (- (* (pow i 6) (- 4.0)) (fma (pow i 4) 1.0 (* (* i i) 0.25)))) 1544782545.015 * * * * [misc]progress: [ 58 / 59 ] simplifiying candidate # 1544782545.015 * [enter]simplify: Simplifying (+ (* 0.25 (pow i 2)) (* 1.0 (pow i 4))) 1544782545.016 * * [misc]simplify: iters left: 5 (10 enodes) 1544782545.018 * * [misc]simplify: iters left: 4 (15 enodes) 1544782545.021 * * [misc]simplify: iters left: 3 (22 enodes) 1544782545.026 * * [misc]simplify: iters left: 2 (24 enodes) 1544782545.034 * [exit]simplify: Simplified to (fma (pow i 4) 1.0 (* (* i i) 0.25)) 1544782545.034 * [misc]simplify: Simplified (2 2) to (λ (i) (- (* (pow i 6) (- 4.0)) (fma (pow i 4) 1.0 (* (* i i) 0.25)))) 1544782545.034 * * * * [misc]progress: [ 59 / 59 ] simplifiying candidate # 1544782545.035 * [enter]simplify: Simplifying (+ (* 0.25 (pow i 2)) (* 1.0 (pow i 4))) 1544782545.035 * * [misc]simplify: iters left: 5 (10 enodes) 1544782545.037 * * [misc]simplify: iters left: 4 (15 enodes) 1544782545.040 * * [misc]simplify: iters left: 3 (22 enodes) 1544782545.044 * * [misc]simplify: iters left: 2 (24 enodes) 1544782545.047 * [exit]simplify: Simplified to (fma (pow i 4) 1.0 (* (* i i) 0.25)) 1544782545.047 * [misc]simplify: Simplified (2 2) to (λ (i) (- (* (pow i 6) (- 4.0)) (fma (pow i 4) 1.0 (* (* i i) 0.25)))) 1544782545.047 * * * [misc]progress: adding candidates to table 1544782546.422 * [misc]progress: [Phase 3 of 3] Extracting. 1544782546.422 * * [misc]regime: Finding splitpoints for: (# # #) 1544782546.423 * * * [misc]regime-changes: Trying 1 branch expressions: (i) 1544782546.423 * * * * [misc]regimes: Trying to branch on i from (# # #) 1544782546.457 * * * [misc]regime: Found split indices: #