1546855816.325 * [misc]progress: [Phase 1 of 3] Setting up. 1546855816.327 * * * [misc]progress: [1/2] Preparing points 1546855816.328 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1546855816.492 * * * * [misc]points: Filtering points with unrepresentable outputs 1546855816.492 * * * * [misc]points: Sampling 157 additional inputs, on iter 1 have 99 / 256 1546855816.508 * * * * [misc]points: Filtering points with unrepresentable outputs 1546855816.508 * * * * [misc]points: Sampling 97 additional inputs, on iter 2 have 159 / 256 1546855816.517 * * * * [misc]points: Filtering points with unrepresentable outputs 1546855816.517 * * * * [misc]points: Sampling 68 additional inputs, on iter 3 have 188 / 256 1546855816.605 * * * * [misc]points: Filtering points with unrepresentable outputs 1546855816.605 * * * * [misc]points: Sampling 42 additional inputs, on iter 4 have 214 / 256 1546855816.609 * * * * [misc]points: Filtering points with unrepresentable outputs 1546855816.609 * * * * [misc]points: Sampling 21 additional inputs, on iter 5 have 235 / 256 1546855816.612 * * * * [misc]points: Filtering points with unrepresentable outputs 1546855816.612 * * * * [misc]points: Sampling 13 additional inputs, on iter 6 have 243 / 256 1546855816.615 * * * * [misc]points: Filtering points with unrepresentable outputs 1546855816.615 * * * * [misc]points: Sampling 9 additional inputs, on iter 7 have 247 / 256 1546855816.617 * * * * [misc]points: Filtering points with unrepresentable outputs 1546855816.617 * * * * [misc]points: Sampling 5 additional inputs, on iter 8 have 251 / 256 1546855816.618 * * * * [misc]points: Filtering points with unrepresentable outputs 1546855816.619 * * * * [misc]points: Sampling 4 additional inputs, on iter 9 have 253 / 256 1546855816.620 * * * * [misc]points: Filtering points with unrepresentable outputs 1546855816.620 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 254 / 256 1546855816.621 * * * * [misc]points: Filtering points with unrepresentable outputs 1546855816.621 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 255 / 256 1546855816.623 * * * * [misc]points: Filtering points with unrepresentable outputs 1546855816.623 * * * * [exit]points: Sampled 256 points with exact outputs 1546855816.623 * * * [misc]progress: [2/2] Setting up program. 1546855816.630 * [misc]progress: [Phase 2 of 3] Improving. 1546855816.631 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1546855816.632 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1546855816.634 * * [misc]simplify: iters left: 3 (6 enodes) 1546855816.640 * * [misc]simplify: iters left: 2 (8 enodes) 1546855816.642 * * [misc]simplify: iters left: 1 (9 enodes) 1546855816.644 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546855816.644 * [misc]simplify: Simplified (2) to (λ (x y) (- (pow x 4) (pow y 4))) 1546855816.649 * * [misc]progress: iteration 1 / 4 1546855816.649 * * * [misc]progress: picking best candidate 1546855816.652 * * * * [misc]pick: Picked # 1546855816.652 * * * [misc]progress: localizing error 1546855816.670 * * * [misc]progress: generating rewritten candidates 1546855816.671 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1546855816.684 * * * [misc]progress: generating series expansions 1546855816.684 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1546855816.692 * [misc]backup-simplify: Simplify (- (pow x 4) (pow y 4)) into (- (pow x 4) (pow y 4)) 1546855816.692 * [misc]approximate: Taking taylor expansion of (- (pow x 4) (pow y 4)) in (x y) around 0 1546855816.693 * [misc]taylor: Taking taylor expansion of (- (pow x 4) (pow y 4)) in y 1546855816.694 * [misc]taylor: Taking taylor expansion of (pow x 4) in y 1546855816.694 * [misc]taylor: Taking taylor expansion of x in y 1546855816.694 * [misc]backup-simplify: Simplify x into x 1546855816.694 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1546855816.694 * [misc]taylor: Taking taylor expansion of y in y 1546855816.694 * [misc]backup-simplify: Simplify 0 into 0 1546855816.694 * [misc]backup-simplify: Simplify 1 into 1 1546855816.695 * [misc]taylor: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 1546855816.695 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546855816.695 * [misc]taylor: Taking taylor expansion of x in x 1546855816.695 * [misc]backup-simplify: Simplify 0 into 0 1546855816.695 * [misc]backup-simplify: Simplify 1 into 1 1546855816.695 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1546855816.695 * [misc]taylor: Taking taylor expansion of y in x 1546855816.695 * [misc]backup-simplify: Simplify y into y 1546855816.695 * [misc]taylor: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 1546855816.695 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546855816.695 * [misc]taylor: Taking taylor expansion of x in x 1546855816.695 * [misc]backup-simplify: Simplify 0 into 0 1546855816.695 * [misc]backup-simplify: Simplify 1 into 1 1546855816.695 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1546855816.695 * [misc]taylor: Taking taylor expansion of y in x 1546855816.695 * [misc]backup-simplify: Simplify y into y 1546855816.696 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1546855816.696 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1546855816.696 * [misc]backup-simplify: Simplify (- (pow y 4)) into (- (pow y 4)) 1546855816.697 * [misc]backup-simplify: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4)) 1546855816.697 * [misc]taylor: Taking taylor expansion of (- (pow y 4)) in y 1546855816.697 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1546855816.697 * [misc]taylor: Taking taylor expansion of y in y 1546855816.697 * [misc]backup-simplify: Simplify 0 into 0 1546855816.697 * [misc]backup-simplify: Simplify 1 into 1 1546855816.697 * [misc]backup-simplify: Simplify (+ (* y 0) (* 0 y)) into 0 1546855816.697 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 1546855816.698 * [misc]backup-simplify: Simplify (- 0) into 0 1546855816.698 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546855816.698 * [misc]taylor: Taking taylor expansion of 0 in y 1546855816.698 * [misc]backup-simplify: Simplify 0 into 0 1546855816.698 * [misc]backup-simplify: Simplify 0 into 0 1546855816.699 * [misc]backup-simplify: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1546855816.699 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 1546855816.699 * [misc]backup-simplify: Simplify (- 0) into 0 1546855816.699 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546855816.699 * [misc]taylor: Taking taylor expansion of 0 in y 1546855816.699 * [misc]backup-simplify: Simplify 0 into 0 1546855816.699 * [misc]backup-simplify: Simplify 0 into 0 1546855816.699 * [misc]backup-simplify: Simplify 0 into 0 1546855816.700 * [misc]backup-simplify: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 1546855816.701 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 1546855816.701 * [misc]backup-simplify: Simplify (- 0) into 0 1546855816.701 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546855816.701 * [misc]taylor: Taking taylor expansion of 0 in y 1546855816.701 * [misc]backup-simplify: Simplify 0 into 0 1546855816.701 * [misc]backup-simplify: Simplify 0 into 0 1546855816.701 * [misc]backup-simplify: Simplify 0 into 0 1546855816.701 * [misc]backup-simplify: Simplify 0 into 0 1546855816.701 * [misc]backup-simplify: Simplify 0 into 0 1546855816.702 * [misc]backup-simplify: Simplify (- (pow (/ 1 x) 4) (pow (/ 1 y) 4)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1546855816.702 * [misc]approximate: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0 1546855816.702 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 1546855816.702 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in y 1546855816.702 * [misc]taylor: Taking taylor expansion of (pow x 4) in y 1546855816.702 * [misc]taylor: Taking taylor expansion of x in y 1546855816.702 * [misc]backup-simplify: Simplify x into x 1546855816.702 * [misc]backup-simplify: Simplify (* x x) into (pow x 2) 1546855816.702 * [misc]backup-simplify: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 1546855816.702 * [misc]backup-simplify: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4)) 1546855816.702 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in y 1546855816.702 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1546855816.702 * [misc]taylor: Taking taylor expansion of y in y 1546855816.702 * [misc]backup-simplify: Simplify 0 into 0 1546855816.702 * [misc]backup-simplify: Simplify 1 into 1 1546855816.703 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546855816.703 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546855816.703 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546855816.703 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1546855816.703 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1546855816.703 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546855816.703 * [misc]taylor: Taking taylor expansion of x in x 1546855816.703 * [misc]backup-simplify: Simplify 0 into 0 1546855816.703 * [misc]backup-simplify: Simplify 1 into 1 1546855816.704 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546855816.704 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546855816.704 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546855816.704 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in x 1546855816.704 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1546855816.704 * [misc]taylor: Taking taylor expansion of y in x 1546855816.704 * [misc]backup-simplify: Simplify y into y 1546855816.704 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1546855816.704 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1546855816.705 * [misc]backup-simplify: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1546855816.705 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1546855816.705 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1546855816.705 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546855816.705 * [misc]taylor: Taking taylor expansion of x in x 1546855816.705 * [misc]backup-simplify: Simplify 0 into 0 1546855816.705 * [misc]backup-simplify: Simplify 1 into 1 1546855816.705 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546855816.705 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546855816.705 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546855816.705 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in x 1546855816.705 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1546855816.705 * [misc]taylor: Taking taylor expansion of y in x 1546855816.705 * [misc]backup-simplify: Simplify y into y 1546855816.705 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1546855816.706 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1546855816.706 * [misc]backup-simplify: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1546855816.706 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546855816.706 * [misc]taylor: Taking taylor expansion of 1 in y 1546855816.706 * [misc]backup-simplify: Simplify 1 into 1 1546855816.707 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546855816.707 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546855816.708 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546855816.708 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546855816.708 * [misc]taylor: Taking taylor expansion of 0 in y 1546855816.708 * [misc]backup-simplify: Simplify 0 into 0 1546855816.708 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546855816.708 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546855816.709 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546855816.709 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546855816.709 * [misc]taylor: Taking taylor expansion of 0 in y 1546855816.709 * [misc]backup-simplify: Simplify 0 into 0 1546855816.709 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546855816.710 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546855816.710 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546855816.710 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546855816.710 * [misc]taylor: Taking taylor expansion of 0 in y 1546855816.710 * [misc]backup-simplify: Simplify 0 into 0 1546855816.711 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546855816.711 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546855816.712 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546855816.712 * [misc]backup-simplify: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4))) 1546855816.712 * [misc]backup-simplify: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4))) 1546855816.712 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow y 4))) in y 1546855816.712 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in y 1546855816.712 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1546855816.712 * [misc]taylor: Taking taylor expansion of y in y 1546855816.712 * [misc]backup-simplify: Simplify 0 into 0 1546855816.712 * [misc]backup-simplify: Simplify 1 into 1 1546855816.712 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546855816.712 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546855816.712 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546855816.712 * [misc]backup-simplify: Simplify (- 1) into -1 1546855816.712 * [misc]backup-simplify: Simplify -1 into -1 1546855816.713 * [misc]backup-simplify: Simplify 1 into 1 1546855816.713 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546855816.713 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546855816.713 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546855816.713 * [misc]backup-simplify: Simplify (+ (* y 0) (* 0 y)) into 0 1546855816.714 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 1546855816.714 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0 1546855816.714 * [misc]backup-simplify: Simplify (- 0) into 0 1546855816.714 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546855816.714 * [misc]taylor: Taking taylor expansion of 0 in y 1546855816.714 * [misc]backup-simplify: Simplify 0 into 0 1546855816.714 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546855816.714 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546855816.714 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546855816.714 * [misc]backup-simplify: Simplify (- 0) into 0 1546855816.714 * [misc]backup-simplify: Simplify 0 into 0 1546855816.715 * [misc]backup-simplify: Simplify 0 into 0 1546855816.715 * [misc]backup-simplify: Simplify 0 into 0 1546855816.715 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546855816.715 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546855816.715 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546855816.716 * [misc]backup-simplify: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1546855816.716 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 1546855816.716 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0 1546855816.716 * [misc]backup-simplify: Simplify (- 0) into 0 1546855816.716 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546855816.716 * [misc]taylor: Taking taylor expansion of 0 in y 1546855816.716 * [misc]backup-simplify: Simplify 0 into 0 1546855816.716 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546855816.717 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546855816.717 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546855816.717 * [misc]backup-simplify: Simplify (- 0) into 0 1546855816.717 * [misc]backup-simplify: Simplify 0 into 0 1546855816.717 * [misc]backup-simplify: Simplify 0 into 0 1546855816.717 * [misc]backup-simplify: Simplify 0 into 0 1546855816.728 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 4)) (* -1 (pow (* (/ 1 (/ 1 y)) 1) 4))) into (- (pow x 4) (pow y 4)) 1546855816.728 * [misc]backup-simplify: Simplify (- (pow (/ 1 (- x)) 4) (pow (/ 1 (- y)) 4)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1546855816.728 * [misc]approximate: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0 1546855816.728 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 1546855816.728 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in y 1546855816.729 * [misc]taylor: Taking taylor expansion of (pow x 4) in y 1546855816.729 * [misc]taylor: Taking taylor expansion of x in y 1546855816.729 * [misc]backup-simplify: Simplify x into x 1546855816.729 * [misc]backup-simplify: Simplify (* x x) into (pow x 2) 1546855816.729 * [misc]backup-simplify: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 1546855816.729 * [misc]backup-simplify: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4)) 1546855816.729 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in y 1546855816.729 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1546855816.729 * [misc]taylor: Taking taylor expansion of y in y 1546855816.729 * [misc]backup-simplify: Simplify 0 into 0 1546855816.729 * [misc]backup-simplify: Simplify 1 into 1 1546855816.729 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546855816.729 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546855816.729 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546855816.729 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1546855816.729 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1546855816.729 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546855816.729 * [misc]taylor: Taking taylor expansion of x in x 1546855816.729 * [misc]backup-simplify: Simplify 0 into 0 1546855816.729 * [misc]backup-simplify: Simplify 1 into 1 1546855816.730 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546855816.730 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546855816.730 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546855816.730 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in x 1546855816.730 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1546855816.730 * [misc]taylor: Taking taylor expansion of y in x 1546855816.730 * [misc]backup-simplify: Simplify y into y 1546855816.730 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1546855816.730 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1546855816.730 * [misc]backup-simplify: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1546855816.730 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1546855816.730 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1546855816.730 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1546855816.730 * [misc]taylor: Taking taylor expansion of x in x 1546855816.730 * [misc]backup-simplify: Simplify 0 into 0 1546855816.730 * [misc]backup-simplify: Simplify 1 into 1 1546855816.730 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546855816.730 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546855816.730 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546855816.730 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in x 1546855816.730 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1546855816.731 * [misc]taylor: Taking taylor expansion of y in x 1546855816.731 * [misc]backup-simplify: Simplify y into y 1546855816.731 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1546855816.731 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1546855816.731 * [misc]backup-simplify: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1546855816.731 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1546855816.731 * [misc]taylor: Taking taylor expansion of 1 in y 1546855816.731 * [misc]backup-simplify: Simplify 1 into 1 1546855816.731 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546855816.731 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546855816.731 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546855816.731 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546855816.731 * [misc]taylor: Taking taylor expansion of 0 in y 1546855816.732 * [misc]backup-simplify: Simplify 0 into 0 1546855816.732 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546855816.732 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546855816.732 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546855816.732 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546855816.732 * [misc]taylor: Taking taylor expansion of 0 in y 1546855816.732 * [misc]backup-simplify: Simplify 0 into 0 1546855816.732 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546855816.733 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1546855816.733 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546855816.733 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546855816.733 * [misc]taylor: Taking taylor expansion of 0 in y 1546855816.733 * [misc]backup-simplify: Simplify 0 into 0 1546855816.733 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546855816.733 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1546855816.734 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546855816.734 * [misc]backup-simplify: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4))) 1546855816.734 * [misc]backup-simplify: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4))) 1546855816.734 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow y 4))) in y 1546855816.734 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in y 1546855816.734 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1546855816.734 * [misc]taylor: Taking taylor expansion of y in y 1546855816.734 * [misc]backup-simplify: Simplify 0 into 0 1546855816.734 * [misc]backup-simplify: Simplify 1 into 1 1546855816.734 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546855816.735 * [misc]backup-simplify: Simplify (* 1 1) into 1 1546855816.735 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1546855816.735 * [misc]backup-simplify: Simplify (- 1) into -1 1546855816.735 * [misc]backup-simplify: Simplify -1 into -1 1546855816.735 * [misc]backup-simplify: Simplify 1 into 1 1546855816.735 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546855816.735 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1546855816.736 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546855816.736 * [misc]backup-simplify: Simplify (+ (* y 0) (* 0 y)) into 0 1546855816.736 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 1546855816.736 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0 1546855816.736 * [misc]backup-simplify: Simplify (- 0) into 0 1546855816.736 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546855816.736 * [misc]taylor: Taking taylor expansion of 0 in y 1546855816.736 * [misc]backup-simplify: Simplify 0 into 0 1546855816.736 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546855816.736 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1546855816.737 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1546855816.737 * [misc]backup-simplify: Simplify (- 0) into 0 1546855816.737 * [misc]backup-simplify: Simplify 0 into 0 1546855816.737 * [misc]backup-simplify: Simplify 0 into 0 1546855816.737 * [misc]backup-simplify: Simplify 0 into 0 1546855816.737 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546855816.737 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1546855816.738 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546855816.738 * [misc]backup-simplify: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1546855816.738 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 1546855816.738 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0 1546855816.738 * [misc]backup-simplify: Simplify (- 0) into 0 1546855816.738 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1546855816.738 * [misc]taylor: Taking taylor expansion of 0 in y 1546855816.739 * [misc]backup-simplify: Simplify 0 into 0 1546855816.739 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546855816.739 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1546855816.739 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1546855816.739 * [misc]backup-simplify: Simplify (- 0) into 0 1546855816.739 * [misc]backup-simplify: Simplify 0 into 0 1546855816.739 * [misc]backup-simplify: Simplify 0 into 0 1546855816.739 * [misc]backup-simplify: Simplify 0 into 0 1546855816.739 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 4)) (* -1 (pow (* (/ 1 (/ 1 (- y))) 1) 4))) into (- (pow x 4) (pow y 4)) 1546855816.740 * * * [misc]progress: simplifying candidates 1546855816.740 * * * * [misc]progress: [ 1 / 31 ] simplifiying candidate # 1546855816.740 * [enter]simplify: Simplifying (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4)))))) 1546855816.740 * * [misc]simplify: iters left: 6 (12 enodes) 1546855816.775 * * [misc]simplify: iters left: 5 (21 enodes) 1546855816.786 * * [misc]simplify: iters left: 4 (28 enodes) 1546855816.799 * * [misc]simplify: iters left: 3 (34 enodes) 1546855816.804 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546855816.804 * [misc]simplify: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (cbrt (pow y 4))) (* (cbrt (pow y 4)) (cbrt (pow y 4))) (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4))))))) 1546855816.804 * [enter]simplify: Simplifying (fma (- (cbrt (pow y 4))) (* (cbrt (pow y 4)) (cbrt (pow y 4))) (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4))))) 1546855816.804 * * [misc]simplify: iters left: 6 (8 enodes) 1546855816.806 * * [misc]simplify: iters left: 5 (13 enodes) 1546855816.808 * * [misc]simplify: iters left: 4 (20 enodes) 1546855816.812 * * [misc]simplify: iters left: 3 (39 enodes) 1546855816.854 * * [misc]simplify: iters left: 2 (47 enodes) 1546855816.863 * [exit]simplify: Simplified to 0 1546855816.864 * [misc]simplify: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0)) 1546855816.864 * * * * [misc]progress: [ 2 / 31 ] simplifiying candidate # 1546855816.864 * [enter]simplify: Simplifying (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (* (sqrt (pow y 4)) (sqrt (pow y 4))))) 1546855816.864 * * [misc]simplify: iters left: 6 (11 enodes) 1546855816.869 * * [misc]simplify: iters left: 5 (16 enodes) 1546855816.874 * * [misc]simplify: iters left: 4 (20 enodes) 1546855816.948 * * [misc]simplify: iters left: 3 (25 enodes) 1546855816.954 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546855816.954 * [misc]simplify: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4)))))) 1546855816.955 * [enter]simplify: Simplifying (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4)))) 1546855816.955 * * [misc]simplify: iters left: 5 (7 enodes) 1546855816.956 * * [misc]simplify: iters left: 4 (9 enodes) 1546855816.991 * * [misc]simplify: iters left: 3 (15 enodes) 1546855816.998 * * [misc]simplify: iters left: 2 (21 enodes) 1546855817.001 * * [misc]simplify: iters left: 1 (23 enodes) 1546855817.004 * [exit]simplify: Simplified to 0 1546855817.004 * [misc]simplify: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0)) 1546855817.004 * * * * [misc]progress: [ 3 / 31 ] simplifiying candidate # 1546855817.004 * [enter]simplify: Simplifying (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (* (pow y 4) 1))) 1546855817.005 * * [misc]simplify: iters left: 6 (11 enodes) 1546855817.008 * * [misc]simplify: iters left: 5 (21 enodes) 1546855817.013 * * [misc]simplify: iters left: 4 (28 enodes) 1546855817.021 * * [misc]simplify: iters left: 3 (39 enodes) 1546855817.027 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546855817.027 * [misc]simplify: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (pow y 4)) 1 (* (pow y 4) 1)))) 1546855817.028 * [enter]simplify: Simplifying (fma (- (pow y 4)) 1 (* (pow y 4) 1)) 1546855817.028 * * [misc]simplify: iters left: 4 (7 enodes) 1546855817.030 * * [misc]simplify: iters left: 3 (12 enodes) 1546855817.038 * * [misc]simplify: iters left: 2 (22 enodes) 1546855817.077 * * [misc]simplify: iters left: 1 (31 enodes) 1546855817.084 * [exit]simplify: Simplified to (fma (pow y 4) -1 (pow y 4)) 1546855817.084 * [misc]simplify: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (pow y 4) -1 (pow y 4)))) 1546855817.085 * * * * [misc]progress: [ 4 / 31 ] simplifiying candidate # 1546855817.085 * [enter]simplify: Simplifying (fma (sqrt (pow x 4)) (sqrt (pow x 4)) (- (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4)))))) 1546855817.085 * * [misc]simplify: iters left: 6 (11 enodes) 1546855817.089 * * [misc]simplify: iters left: 5 (20 enodes) 1546855817.098 * * [misc]simplify: iters left: 4 (26 enodes) 1546855817.106 * * [misc]simplify: iters left: 3 (31 enodes) 1546855817.113 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546855817.113 * [misc]simplify: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (cbrt (pow y 4))) (* (cbrt (pow y 4)) (cbrt (pow y 4))) (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4))))))) 1546855817.113 * [enter]simplify: Simplifying (fma (- (cbrt (pow y 4))) (* (cbrt (pow y 4)) (cbrt (pow y 4))) (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4))))) 1546855817.113 * * [misc]simplify: iters left: 6 (8 enodes) 1546855817.116 * * [misc]simplify: iters left: 5 (13 enodes) 1546855817.121 * * [misc]simplify: iters left: 4 (20 enodes) 1546855817.128 * * [misc]simplify: iters left: 3 (39 enodes) 1546855817.134 * * [misc]simplify: iters left: 2 (47 enodes) 1546855817.138 * [exit]simplify: Simplified to 0 1546855817.139 * [misc]simplify: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0)) 1546855817.139 * * * * [misc]progress: [ 5 / 31 ] simplifiying candidate # 1546855817.139 * [enter]simplify: Simplifying (fma (sqrt (pow x 4)) (sqrt (pow x 4)) (- (* (sqrt (pow y 4)) (sqrt (pow y 4))))) 1546855817.139 * * [misc]simplify: iters left: 6 (10 enodes) 1546855817.141 * * [misc]simplify: iters left: 5 (15 enodes) 1546855817.143 * * [misc]simplify: iters left: 4 (18 enodes) 1546855817.146 * * [misc]simplify: iters left: 3 (24 enodes) 1546855817.149 * * [misc]simplify: iters left: 2 (27 enodes) 1546855817.154 * * [misc]simplify: iters left: 1 (42 enodes) 1546855817.162 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546855817.163 * [misc]simplify: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4)))))) 1546855817.163 * [enter]simplify: Simplifying (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4)))) 1546855817.163 * * [misc]simplify: iters left: 5 (7 enodes) 1546855817.164 * * [misc]simplify: iters left: 4 (9 enodes) 1546855817.166 * * [misc]simplify: iters left: 3 (15 enodes) 1546855817.168 * * [misc]simplify: iters left: 2 (21 enodes) 1546855817.171 * * [misc]simplify: iters left: 1 (23 enodes) 1546855817.175 * [exit]simplify: Simplified to 0 1546855817.175 * [misc]simplify: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0)) 1546855817.175 * * * * [misc]progress: [ 6 / 31 ] simplifiying candidate # 1546855817.176 * [enter]simplify: Simplifying (fma (sqrt (pow x 4)) (sqrt (pow x 4)) (- (* (pow y 4) 1))) 1546855817.176 * * [misc]simplify: iters left: 6 (10 enodes) 1546855817.180 * * [misc]simplify: iters left: 5 (20 enodes) 1546855817.185 * * [misc]simplify: iters left: 4 (26 enodes) 1546855817.193 * * [misc]simplify: iters left: 3 (35 enodes) 1546855817.202 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546855817.202 * [misc]simplify: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (pow y 4)) 1 (* (pow y 4) 1)))) 1546855817.203 * [enter]simplify: Simplifying (fma (- (pow y 4)) 1 (* (pow y 4) 1)) 1546855817.203 * * [misc]simplify: iters left: 4 (7 enodes) 1546855817.205 * * [misc]simplify: iters left: 3 (12 enodes) 1546855817.210 * * [misc]simplify: iters left: 2 (22 enodes) 1546855817.215 * * [misc]simplify: iters left: 1 (31 enodes) 1546855817.220 * [exit]simplify: Simplified to (fma (pow y 4) -1 (pow y 4)) 1546855817.220 * [misc]simplify: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (pow y 4) -1 (pow y 4)))) 1546855817.220 * * * * [misc]progress: [ 7 / 31 ] simplifiying candidate # 1546855817.220 * [enter]simplify: Simplifying (fma 1 (pow x 4) (- (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4)))))) 1546855817.221 * * [misc]simplify: iters left: 6 (11 enodes) 1546855817.224 * * [misc]simplify: iters left: 5 (22 enodes) 1546855817.229 * * [misc]simplify: iters left: 4 (29 enodes) 1546855817.238 * * [misc]simplify: iters left: 3 (38 enodes) 1546855817.244 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546855817.245 * [misc]simplify: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (cbrt (pow y 4))) (* (cbrt (pow y 4)) (cbrt (pow y 4))) (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4))))))) 1546855817.245 * [enter]simplify: Simplifying (fma (- (cbrt (pow y 4))) (* (cbrt (pow y 4)) (cbrt (pow y 4))) (* (cbrt (pow y 4)) (* (cbrt (pow y 4)) (cbrt (pow y 4))))) 1546855817.245 * * [misc]simplify: iters left: 6 (8 enodes) 1546855817.247 * * [misc]simplify: iters left: 5 (13 enodes) 1546855817.251 * * [misc]simplify: iters left: 4 (20 enodes) 1546855817.257 * * [misc]simplify: iters left: 3 (39 enodes) 1546855817.266 * * [misc]simplify: iters left: 2 (47 enodes) 1546855817.273 * [exit]simplify: Simplified to 0 1546855817.273 * [misc]simplify: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0)) 1546855817.273 * * * * [misc]progress: [ 8 / 31 ] simplifiying candidate # 1546855817.273 * [enter]simplify: Simplifying (fma 1 (pow x 4) (- (* (sqrt (pow y 4)) (sqrt (pow y 4))))) 1546855817.273 * * [misc]simplify: iters left: 6 (10 enodes) 1546855817.276 * * [misc]simplify: iters left: 5 (17 enodes) 1546855817.281 * * [misc]simplify: iters left: 4 (21 enodes) 1546855817.287 * * [misc]simplify: iters left: 3 (28 enodes) 1546855817.292 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546855817.293 * [misc]simplify: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4)))))) 1546855817.293 * [enter]simplify: Simplifying (fma (- (sqrt (pow y 4))) (sqrt (pow y 4)) (* (sqrt (pow y 4)) (sqrt (pow y 4)))) 1546855817.293 * * [misc]simplify: iters left: 5 (7 enodes) 1546855817.295 * * [misc]simplify: iters left: 4 (9 enodes) 1546855817.298 * * [misc]simplify: iters left: 3 (15 enodes) 1546855817.302 * * [misc]simplify: iters left: 2 (21 enodes) 1546855817.307 * * [misc]simplify: iters left: 1 (23 enodes) 1546855817.311 * [exit]simplify: Simplified to 0 1546855817.311 * [misc]simplify: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) 0)) 1546855817.311 * * * * [misc]progress: [ 9 / 31 ] simplifiying candidate # 1546855817.311 * [enter]simplify: Simplifying (fma 1 (pow x 4) (- (* (pow y 4) 1))) 1546855817.311 * * [misc]simplify: iters left: 6 (9 enodes) 1546855817.315 * * [misc]simplify: iters left: 5 (19 enodes) 1546855817.321 * * [misc]simplify: iters left: 4 (26 enodes) 1546855817.331 * * [misc]simplify: iters left: 3 (38 enodes) 1546855817.339 * * [misc]simplify: iters left: 2 (41 enodes) 1546855817.348 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546855817.349 * [misc]simplify: Simplified (2 1) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (- (pow y 4)) 1 (* (pow y 4) 1)))) 1546855817.349 * [enter]simplify: Simplifying (fma (- (pow y 4)) 1 (* (pow y 4) 1)) 1546855817.349 * * [misc]simplify: iters left: 4 (7 enodes) 1546855817.351 * * [misc]simplify: iters left: 3 (12 enodes) 1546855817.357 * * [misc]simplify: iters left: 2 (22 enodes) 1546855817.362 * * [misc]simplify: iters left: 1 (31 enodes) 1546855817.368 * [exit]simplify: Simplified to (fma (pow y 4) -1 (pow y 4)) 1546855817.368 * [misc]simplify: Simplified (2 2) to (λ (x y) (+ (- (pow x 4) (pow y 4)) (fma (pow y 4) -1 (pow y 4)))) 1546855817.368 * * * * [misc]progress: [ 10 / 31 ] simplifiying candidate # 1546855817.369 * * * * [misc]progress: [ 11 / 31 ] simplifiying candidate # 1546855817.369 * * * * [misc]progress: [ 12 / 31 ] simplifiying candidate # 1546855817.369 * [enter]simplify: Simplifying (* (cbrt (pow x 4)) (cbrt (pow x 4))) 1546855817.369 * * [misc]simplify: iters left: 4 (5 enodes) 1546855817.370 * [exit]simplify: Simplified to (* (cbrt (pow x 4)) (cbrt (pow x 4))) 1546855817.371 * [misc]simplify: Simplified (2 1) to (λ (x y) (fma (* (cbrt (pow x 4)) (cbrt (pow x 4))) (cbrt (pow x 4)) (- (pow y 4)))) 1546855817.371 * * * * [misc]progress: [ 13 / 31 ] simplifiying candidate # 1546855817.371 * [enter]simplify: Simplifying (sqrt (pow x 4)) 1546855817.371 * * [misc]simplify: iters left: 2 (4 enodes) 1546855817.372 * [exit]simplify: Simplified to (sqrt (pow x 4)) 1546855817.372 * [misc]simplify: Simplified (2 1) to (λ (x y) (fma (sqrt (pow x 4)) (sqrt (pow x 4)) (- (pow y 4)))) 1546855817.372 * * * * [misc]progress: [ 14 / 31 ] simplifiying candidate # 1546855817.372 * * * * [misc]progress: [ 15 / 31 ] simplifiying candidate # 1546855817.372 * [enter]simplify: Simplifying (/ (exp (pow x 4)) (exp (pow y 4))) 1546855817.373 * * [misc]simplify: iters left: 4 (8 enodes) 1546855817.375 * * [misc]simplify: iters left: 3 (10 enodes) 1546855817.378 * * [misc]simplify: iters left: 2 (12 enodes) 1546855817.381 * * [misc]simplify: iters left: 1 (15 enodes) 1546855817.385 * [exit]simplify: Simplified to (exp (- (pow x 4) (pow y 4))) 1546855817.385 * [misc]simplify: Simplified (2 1) to (λ (x y) (log (exp (- (pow x 4) (pow y 4))))) 1546855817.386 * * * * [misc]progress: [ 16 / 31 ] simplifiying candidate # 1546855817.386 * * * * [misc]progress: [ 17 / 31 ] simplifiying candidate # 1546855817.386 * * * * [misc]progress: [ 18 / 31 ] simplifiying candidate # 1546855817.386 * * * * [misc]progress: [ 19 / 31 ] simplifiying candidate # 1546855817.386 * * * * [misc]progress: [ 20 / 31 ] simplifiying candidate # 1546855817.386 * * * * [misc]progress: [ 21 / 31 ] simplifiying candidate # 1546855817.386 * * * * [misc]progress: [ 22 / 31 ] simplifiying candidate # 1546855817.386 * * * * [misc]progress: [ 23 / 31 ] simplifiying candidate # 1546855817.386 * * * * [misc]progress: [ 24 / 31 ] simplifiying candidate # 1546855817.386 * * * * [misc]progress: [ 25 / 31 ] simplifiying candidate # 1546855817.386 * * * * [misc]progress: [ 26 / 31 ] simplifiying candidate # 1546855817.386 * [enter]simplify: Simplifying (+ (sqrt (pow x 4)) (sqrt (pow y 4))) 1546855817.387 * * [misc]simplify: iters left: 4 (8 enodes) 1546855817.389 * * [misc]simplify: iters left: 3 (9 enodes) 1546855817.391 * [exit]simplify: Simplified to (+ (sqrt (pow x 4)) (sqrt (pow y 4))) 1546855817.391 * [misc]simplify: Simplified (2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1546855817.392 * [enter]simplify: Simplifying (- (sqrt (pow x 4)) (sqrt (pow y 4))) 1546855817.392 * * [misc]simplify: iters left: 4 (8 enodes) 1546855817.394 * * [misc]simplify: iters left: 3 (10 enodes) 1546855817.397 * * [misc]simplify: iters left: 2 (11 enodes) 1546855817.400 * [exit]simplify: Simplified to (- (sqrt (pow x 4)) (sqrt (pow y 4))) 1546855817.400 * [misc]simplify: Simplified (2 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1546855817.400 * * * * [misc]progress: [ 27 / 31 ] simplifiying candidate # 1546855817.400 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1546855817.400 * * [misc]simplify: iters left: 3 (6 enodes) 1546855817.402 * * [misc]simplify: iters left: 2 (8 enodes) 1546855817.404 * * [misc]simplify: iters left: 1 (9 enodes) 1546855817.407 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546855817.407 * [misc]simplify: Simplified (2 2) to (λ (x y) (* 1 (- (pow x 4) (pow y 4)))) 1546855817.407 * * * * [misc]progress: [ 28 / 31 ] simplifiying candidate # 1546855817.407 * * * * [misc]progress: [ 29 / 31 ] simplifiying candidate # 1546855817.407 * [enter]simplify: Simplifying 0 1546855817.407 * * [misc]simplify: iters left: 0 (1 enodes) 1546855817.407 * [exit]simplify: Simplified to 0 1546855817.407 * [misc]simplify: Simplified (2) to (λ (x y) 0) 1546855817.407 * * * * [misc]progress: [ 30 / 31 ] simplifiying candidate # 1546855817.408 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1546855817.408 * * [misc]simplify: iters left: 3 (6 enodes) 1546855817.409 * * [misc]simplify: iters left: 2 (8 enodes) 1546855817.412 * * [misc]simplify: iters left: 1 (9 enodes) 1546855817.414 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546855817.414 * [misc]simplify: Simplified (2) to (λ (x y) (- (pow x 4) (pow y 4))) 1546855817.414 * * * * [misc]progress: [ 31 / 31 ] simplifiying candidate # 1546855817.414 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1546855817.414 * * [misc]simplify: iters left: 3 (6 enodes) 1546855817.416 * * [misc]simplify: iters left: 2 (8 enodes) 1546855817.418 * * [misc]simplify: iters left: 1 (9 enodes) 1546855817.420 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546855817.420 * [misc]simplify: Simplified (2) to (λ (x y) (- (pow x 4) (pow y 4))) 1546855817.421 * * * [misc]progress: adding candidates to table 1546855817.745 * [misc]progress: [Phase 3 of 3] Extracting. 1546855817.750 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1546855817.750 * * [misc]simplify: iters left: 3 (6 enodes) 1546855817.751 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1546855817.751 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1546855819.019 * * * * [misc]points: Filtering points with unrepresentable outputs 1546855819.022 * * * * [misc]points: Sampling 4897 additional inputs, on iter 1 have 3103 / 8000 1546855819.590 * * * * [misc]points: Filtering points with unrepresentable outputs 1546855819.592 * * * * [misc]points: Sampling 3062 additional inputs, on iter 2 have 4938 / 8000 1546855819.920 * * * * [misc]points: Filtering points with unrepresentable outputs 1546855819.921 * * * * [misc]points: Sampling 1897 additional inputs, on iter 3 have 6103 / 8000 1546855820.097 * * * * [misc]points: Filtering points with unrepresentable outputs 1546855820.097 * * * * [misc]points: Sampling 1156 additional inputs, on iter 4 have 6844 / 8000 1546855820.263 * * * * [misc]points: Filtering points with unrepresentable outputs 1546855820.264 * * * * [misc]points: Sampling 714 additional inputs, on iter 5 have 7286 / 8000 1546855820.343 * * * * [misc]points: Filtering points with unrepresentable outputs 1546855820.343 * * * * [misc]points: Sampling 446 additional inputs, on iter 6 have 7554 / 8000 1546855820.373 * * * * [misc]points: Filtering points with unrepresentable outputs 1546855820.373 * * * * [misc]points: Sampling 270 additional inputs, on iter 7 have 7730 / 8000 1546855820.412 * * * * [misc]points: Filtering points with unrepresentable outputs 1546855820.412 * * * * [misc]points: Sampling 163 additional inputs, on iter 8 have 7837 / 8000 1546855820.428 * * * * [misc]points: Filtering points with unrepresentable outputs 1546855820.428 * * * * [misc]points: Sampling 92 additional inputs, on iter 9 have 7908 / 8000 1546855820.441 * * * * [misc]points: Filtering points with unrepresentable outputs 1546855820.441 * * * * [misc]points: Sampling 59 additional inputs, on iter 10 have 7941 / 8000 1546855820.450 * * * * [misc]points: Filtering points with unrepresentable outputs 1546855820.450 * * * * [misc]points: Sampling 38 additional inputs, on iter 11 have 7962 / 8000 1546855820.457 * * * * [misc]points: Filtering points with unrepresentable outputs 1546855820.457 * * * * [misc]points: Sampling 20 additional inputs, on iter 12 have 7980 / 8000 1546855820.461 * * * * [misc]points: Filtering points with unrepresentable outputs 1546855820.461 * * * * [misc]points: Sampling 11 additional inputs, on iter 13 have 7989 / 8000 1546855820.465 * * * * [misc]points: Filtering points with unrepresentable outputs 1546855820.465 * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 7996 / 8000 1546855820.467 * * * * [misc]points: Filtering points with unrepresentable outputs 1546855820.467 * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 7997 / 8000 1546855820.468 * * * * [misc]points: Filtering points with unrepresentable outputs 1546855820.469 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 7998 / 8000 1546855820.470 * * * * [misc]points: Filtering points with unrepresentable outputs 1546855820.470 * * * * [exit]points: Sampled 8000 points with exact outputs 1546855820.730 * [misc]regime-testing: Baseline error score: 0.0035 1546855820.731 * [misc]regime-testing: Oracle error score: 0.0035 1546855820.732 * [misc]regime-testing: End program error score: 0.0035