1547110979.601 * [misc]progress: [Phase 1 of 3] Setting up. 1547110979.601 * * * [misc]progress: [1/2] Preparing points 1547110979.601 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1547110979.622 * * * * [misc]points: Filtering points with unrepresentable outputs 1547110979.623 * * * * [misc]points: Sampling 113 additional inputs, on iter 1 have 143 / 256 1547110979.629 * * * * [misc]points: Filtering points with unrepresentable outputs 1547110979.629 * * * * [misc]points: Sampling 47 additional inputs, on iter 2 have 209 / 256 1547110979.632 * * * * [misc]points: Filtering points with unrepresentable outputs 1547110979.632 * * * * [misc]points: Sampling 23 additional inputs, on iter 3 have 233 / 256 1547110979.634 * * * * [misc]points: Filtering points with unrepresentable outputs 1547110979.634 * * * * [misc]points: Sampling 11 additional inputs, on iter 4 have 245 / 256 1547110979.636 * * * * [misc]points: Filtering points with unrepresentable outputs 1547110979.636 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 252 / 256 1547110979.637 * * * * [misc]points: Filtering points with unrepresentable outputs 1547110979.637 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 255 / 256 1547110979.637 * * * * [misc]points: Filtering points with unrepresentable outputs 1547110979.637 * * * * [exit]points: Sampled 257 points with exact outputs 1547110979.638 * * * [misc]progress: [2/2] Setting up program. 1547110979.640 * [misc]progress: [Phase 2 of 3] Improving. 1547110979.640 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1547110979.640 * [enter]simplify: Simplifying (- (* a a) (* b b)) 1547110979.640 * * [misc]simplify: iters left: 4 (5 enodes) 1547110979.641 * * [misc]simplify: iters left: 3 (10 enodes) 1547110979.643 * * [misc]simplify: iters left: 2 (17 enodes) 1547110979.645 * * [misc]simplify: iters left: 1 (32 enodes) 1547110979.651 * [exit]simplify: Simplified to (* (+ a b) (- a b)) 1547110979.651 * [misc]simplify: Simplified (2) to (λ (a b) (* (+ a b) (- a b))) 1547110979.653 * * [misc]progress: iteration 1 / 4 1547110979.653 * * * [misc]progress: picking best candidate 1547110979.655 * * * * [misc]pick: Picked # 1547110979.655 * * * [misc]progress: localizing error 1547110979.663 * * * [misc]progress: generating rewritten candidates 1547110979.663 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1547110979.665 * * * [misc]progress: generating series expansions 1547110979.665 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1547110979.666 * [misc]backup-simplify: Simplify (- (* a a) (* b b)) into (- (pow a 2) (pow b 2)) 1547110979.666 * [misc]approximate: Taking taylor expansion of (- (pow a 2) (pow b 2)) in (a b) around 0 1547110979.666 * [misc]taylor: Taking taylor expansion of (- (pow a 2) (pow b 2)) in b 1547110979.666 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1547110979.666 * [misc]taylor: Taking taylor expansion of a in b 1547110979.666 * [misc]backup-simplify: Simplify a into a 1547110979.666 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1547110979.666 * [misc]taylor: Taking taylor expansion of b in b 1547110979.666 * [misc]backup-simplify: Simplify 0 into 0 1547110979.666 * [misc]backup-simplify: Simplify 1 into 1 1547110979.666 * [misc]taylor: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a 1547110979.666 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1547110979.666 * [misc]taylor: Taking taylor expansion of a in a 1547110979.666 * [misc]backup-simplify: Simplify 0 into 0 1547110979.666 * [misc]backup-simplify: Simplify 1 into 1 1547110979.666 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1547110979.666 * [misc]taylor: Taking taylor expansion of b in a 1547110979.666 * [misc]backup-simplify: Simplify b into b 1547110979.666 * [misc]taylor: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a 1547110979.666 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1547110979.666 * [misc]taylor: Taking taylor expansion of a in a 1547110979.666 * [misc]backup-simplify: Simplify 0 into 0 1547110979.666 * [misc]backup-simplify: Simplify 1 into 1 1547110979.666 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1547110979.666 * [misc]taylor: Taking taylor expansion of b in a 1547110979.666 * [misc]backup-simplify: Simplify b into b 1547110979.666 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1547110979.666 * [misc]backup-simplify: Simplify (- (pow b 2)) into (- (pow b 2)) 1547110979.666 * [misc]backup-simplify: Simplify (+ 0 (- (pow b 2))) into (- (pow b 2)) 1547110979.666 * [misc]taylor: Taking taylor expansion of (- (pow b 2)) in b 1547110979.666 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1547110979.666 * [misc]taylor: Taking taylor expansion of b in b 1547110979.666 * [misc]backup-simplify: Simplify 0 into 0 1547110979.666 * [misc]backup-simplify: Simplify 1 into 1 1547110979.666 * [misc]backup-simplify: Simplify (+ (* b 0) (* 0 b)) into 0 1547110979.667 * [misc]backup-simplify: Simplify (- 0) into 0 1547110979.667 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547110979.667 * [misc]taylor: Taking taylor expansion of 0 in b 1547110979.667 * [misc]backup-simplify: Simplify 0 into 0 1547110979.667 * [misc]backup-simplify: Simplify 0 into 0 1547110979.667 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547110979.667 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 1547110979.667 * [misc]backup-simplify: Simplify (- 0) into 0 1547110979.668 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547110979.668 * [misc]taylor: Taking taylor expansion of 1 in b 1547110979.668 * [misc]backup-simplify: Simplify 1 into 1 1547110979.668 * [misc]backup-simplify: Simplify 1 into 1 1547110979.668 * [misc]backup-simplify: Simplify 0 into 0 1547110979.668 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547110979.668 * [misc]backup-simplify: Simplify (- 1) into -1 1547110979.668 * [misc]backup-simplify: Simplify -1 into -1 1547110979.668 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1547110979.668 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0 1547110979.668 * [misc]backup-simplify: Simplify (- 0) into 0 1547110979.668 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547110979.668 * [misc]taylor: Taking taylor expansion of 0 in b 1547110979.668 * [misc]backup-simplify: Simplify 0 into 0 1547110979.669 * [misc]backup-simplify: Simplify 0 into 0 1547110979.669 * [misc]backup-simplify: Simplify 0 into 0 1547110979.669 * [misc]backup-simplify: Simplify 0 into 0 1547110979.669 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1547110979.669 * [misc]backup-simplify: Simplify (- 0) into 0 1547110979.669 * [misc]backup-simplify: Simplify 0 into 0 1547110979.669 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1547110979.669 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0 1547110979.669 * [misc]backup-simplify: Simplify (- 0) into 0 1547110979.670 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547110979.670 * [misc]taylor: Taking taylor expansion of 0 in b 1547110979.670 * [misc]backup-simplify: Simplify 0 into 0 1547110979.670 * [misc]backup-simplify: Simplify 0 into 0 1547110979.670 * [misc]backup-simplify: Simplify 0 into 0 1547110979.670 * [misc]backup-simplify: Simplify (+ (* -1 (pow (* b 1) 2)) (* 1 (pow (* 1 a) 2))) into (- (pow a 2) (pow b 2)) 1547110979.670 * [misc]backup-simplify: Simplify (- (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) into (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) 1547110979.670 * [misc]approximate: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in (a b) around 0 1547110979.670 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 1547110979.670 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 2)) in b 1547110979.670 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1547110979.670 * [misc]taylor: Taking taylor expansion of a in b 1547110979.670 * [misc]backup-simplify: Simplify a into a 1547110979.670 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1547110979.670 * [misc]backup-simplify: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1547110979.670 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 2)) in b 1547110979.670 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1547110979.670 * [misc]taylor: Taking taylor expansion of b in b 1547110979.670 * [misc]backup-simplify: Simplify 0 into 0 1547110979.670 * [misc]backup-simplify: Simplify 1 into 1 1547110979.670 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547110979.670 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547110979.670 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 1547110979.670 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 2)) in a 1547110979.670 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1547110979.670 * [misc]taylor: Taking taylor expansion of a in a 1547110979.670 * [misc]backup-simplify: Simplify 0 into 0 1547110979.671 * [misc]backup-simplify: Simplify 1 into 1 1547110979.671 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547110979.671 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547110979.671 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 2)) in a 1547110979.671 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1547110979.671 * [misc]taylor: Taking taylor expansion of b in a 1547110979.671 * [misc]backup-simplify: Simplify b into b 1547110979.671 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1547110979.671 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1547110979.671 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 1547110979.671 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 2)) in a 1547110979.671 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1547110979.671 * [misc]taylor: Taking taylor expansion of a in a 1547110979.671 * [misc]backup-simplify: Simplify 0 into 0 1547110979.671 * [misc]backup-simplify: Simplify 1 into 1 1547110979.671 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547110979.671 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547110979.671 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 2)) in a 1547110979.671 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1547110979.671 * [misc]taylor: Taking taylor expansion of b in a 1547110979.671 * [misc]backup-simplify: Simplify b into b 1547110979.671 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1547110979.671 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1547110979.671 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547110979.672 * [misc]taylor: Taking taylor expansion of 1 in b 1547110979.672 * [misc]backup-simplify: Simplify 1 into 1 1547110979.672 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1547110979.672 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1547110979.672 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547110979.672 * [misc]taylor: Taking taylor expansion of 0 in b 1547110979.672 * [misc]backup-simplify: Simplify 0 into 0 1547110979.672 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1547110979.672 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110979.672 * [misc]backup-simplify: Simplify (- (/ 1 (pow b 2))) into (- (/ 1 (pow b 2))) 1547110979.672 * [misc]backup-simplify: Simplify (+ 0 (- (/ 1 (pow b 2)))) into (- (/ 1 (pow b 2))) 1547110979.672 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 1547110979.673 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 2)) in b 1547110979.673 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1547110979.673 * [misc]taylor: Taking taylor expansion of b in b 1547110979.673 * [misc]backup-simplify: Simplify 0 into 0 1547110979.673 * [misc]backup-simplify: Simplify 1 into 1 1547110979.673 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547110979.673 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547110979.673 * [misc]backup-simplify: Simplify (- 1) into -1 1547110979.673 * [misc]backup-simplify: Simplify -1 into -1 1547110979.673 * [misc]backup-simplify: Simplify 1 into 1 1547110979.673 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1547110979.673 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110979.673 * [misc]backup-simplify: Simplify (+ (* b 0) (* 0 b)) into 0 1547110979.674 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0 1547110979.674 * [misc]backup-simplify: Simplify (- 0) into 0 1547110979.674 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547110979.674 * [misc]taylor: Taking taylor expansion of 0 in b 1547110979.674 * [misc]backup-simplify: Simplify 0 into 0 1547110979.674 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1547110979.674 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1547110979.674 * [misc]backup-simplify: Simplify (- 0) into 0 1547110979.674 * [misc]backup-simplify: Simplify 0 into 0 1547110979.674 * [misc]backup-simplify: Simplify 0 into 0 1547110979.674 * [misc]backup-simplify: Simplify 0 into 0 1547110979.674 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1547110979.675 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110979.675 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 1547110979.675 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0 1547110979.675 * [misc]backup-simplify: Simplify (- 0) into 0 1547110979.675 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547110979.675 * [misc]taylor: Taking taylor expansion of 0 in b 1547110979.675 * [misc]backup-simplify: Simplify 0 into 0 1547110979.675 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1547110979.683 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110979.683 * [misc]backup-simplify: Simplify (- 0) into 0 1547110979.683 * [misc]backup-simplify: Simplify 0 into 0 1547110979.683 * [misc]backup-simplify: Simplify 0 into 0 1547110979.683 * [misc]backup-simplify: Simplify 0 into 0 1547110979.684 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (* -1 (pow (* (/ 1 (/ 1 b)) 1) 2))) into (- (pow a 2) (pow b 2)) 1547110979.684 * [misc]backup-simplify: Simplify (- (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) into (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) 1547110979.684 * [misc]approximate: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in (a b) around 0 1547110979.684 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 1547110979.684 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 2)) in b 1547110979.684 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1547110979.684 * [misc]taylor: Taking taylor expansion of a in b 1547110979.684 * [misc]backup-simplify: Simplify a into a 1547110979.684 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1547110979.684 * [misc]backup-simplify: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1547110979.684 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 2)) in b 1547110979.684 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1547110979.684 * [misc]taylor: Taking taylor expansion of b in b 1547110979.684 * [misc]backup-simplify: Simplify 0 into 0 1547110979.684 * [misc]backup-simplify: Simplify 1 into 1 1547110979.684 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547110979.684 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547110979.684 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 1547110979.684 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 2)) in a 1547110979.684 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1547110979.684 * [misc]taylor: Taking taylor expansion of a in a 1547110979.684 * [misc]backup-simplify: Simplify 0 into 0 1547110979.684 * [misc]backup-simplify: Simplify 1 into 1 1547110979.684 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547110979.685 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547110979.685 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 2)) in a 1547110979.685 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1547110979.685 * [misc]taylor: Taking taylor expansion of b in a 1547110979.685 * [misc]backup-simplify: Simplify b into b 1547110979.685 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1547110979.685 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1547110979.685 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 1547110979.685 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 2)) in a 1547110979.685 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1547110979.685 * [misc]taylor: Taking taylor expansion of a in a 1547110979.685 * [misc]backup-simplify: Simplify 0 into 0 1547110979.685 * [misc]backup-simplify: Simplify 1 into 1 1547110979.685 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547110979.685 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547110979.685 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 2)) in a 1547110979.685 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1547110979.685 * [misc]taylor: Taking taylor expansion of b in a 1547110979.685 * [misc]backup-simplify: Simplify b into b 1547110979.685 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1547110979.685 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1547110979.685 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547110979.685 * [misc]taylor: Taking taylor expansion of 1 in b 1547110979.685 * [misc]backup-simplify: Simplify 1 into 1 1547110979.686 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1547110979.686 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1547110979.686 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547110979.686 * [misc]taylor: Taking taylor expansion of 0 in b 1547110979.686 * [misc]backup-simplify: Simplify 0 into 0 1547110979.686 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1547110979.686 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110979.686 * [misc]backup-simplify: Simplify (- (/ 1 (pow b 2))) into (- (/ 1 (pow b 2))) 1547110979.686 * [misc]backup-simplify: Simplify (+ 0 (- (/ 1 (pow b 2)))) into (- (/ 1 (pow b 2))) 1547110979.686 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 1547110979.686 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 2)) in b 1547110979.686 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1547110979.686 * [misc]taylor: Taking taylor expansion of b in b 1547110979.686 * [misc]backup-simplify: Simplify 0 into 0 1547110979.686 * [misc]backup-simplify: Simplify 1 into 1 1547110979.687 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547110979.687 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547110979.687 * [misc]backup-simplify: Simplify (- 1) into -1 1547110979.687 * [misc]backup-simplify: Simplify -1 into -1 1547110979.687 * [misc]backup-simplify: Simplify 1 into 1 1547110979.687 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1547110979.687 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110979.687 * [misc]backup-simplify: Simplify (+ (* b 0) (* 0 b)) into 0 1547110979.688 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0 1547110979.688 * [misc]backup-simplify: Simplify (- 0) into 0 1547110979.688 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547110979.688 * [misc]taylor: Taking taylor expansion of 0 in b 1547110979.688 * [misc]backup-simplify: Simplify 0 into 0 1547110979.688 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1547110979.688 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1547110979.688 * [misc]backup-simplify: Simplify (- 0) into 0 1547110979.688 * [misc]backup-simplify: Simplify 0 into 0 1547110979.688 * [misc]backup-simplify: Simplify 0 into 0 1547110979.688 * [misc]backup-simplify: Simplify 0 into 0 1547110979.689 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1547110979.689 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110979.689 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 1547110979.689 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0 1547110979.689 * [misc]backup-simplify: Simplify (- 0) into 0 1547110979.689 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547110979.689 * [misc]taylor: Taking taylor expansion of 0 in b 1547110979.689 * [misc]backup-simplify: Simplify 0 into 0 1547110979.690 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1547110979.690 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110979.690 * [misc]backup-simplify: Simplify (- 0) into 0 1547110979.690 * [misc]backup-simplify: Simplify 0 into 0 1547110979.690 * [misc]backup-simplify: Simplify 0 into 0 1547110979.690 * [misc]backup-simplify: Simplify 0 into 0 1547110979.690 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- b))) 1) 2))) into (- (pow a 2) (pow b 2)) 1547110979.690 * * * [misc]progress: simplifying candidates 1547110979.690 * * * * [misc]progress: [ 1 / 16 ] simplifiying candidate # 1547110979.690 * [enter]simplify: Simplifying (/ (exp (* a a)) (exp (* b b))) 1547110979.691 * * [misc]simplify: iters left: 5 (7 enodes) 1547110979.692 * * [misc]simplify: iters left: 4 (13 enodes) 1547110979.694 * * [misc]simplify: iters left: 3 (18 enodes) 1547110979.696 * * [misc]simplify: iters left: 2 (29 enodes) 1547110979.701 * * [misc]simplify: iters left: 1 (54 enodes) 1547110979.709 * [exit]simplify: Simplified to (exp (- (* a a) (* b b))) 1547110979.710 * [misc]simplify: Simplified (2 1) to (λ (a b) (log (exp (- (* a a) (* b b))))) 1547110979.710 * * * * [misc]progress: [ 2 / 16 ] simplifiying candidate # 1547110979.710 * * * * [misc]progress: [ 3 / 16 ] simplifiying candidate # 1547110979.710 * * * * [misc]progress: [ 4 / 16 ] simplifiying candidate # 1547110979.710 * * * * [misc]progress: [ 5 / 16 ] simplifiying candidate # 1547110979.710 * * * * [misc]progress: [ 6 / 16 ] simplifiying candidate # 1547110979.710 * * * * [misc]progress: [ 7 / 16 ] simplifiying candidate # 1547110979.710 * * * * [misc]progress: [ 8 / 16 ] simplifiying candidate # 1547110979.710 * * * * [misc]progress: [ 9 / 16 ] simplifiying candidate # 1547110979.710 * * * * [misc]progress: [ 10 / 16 ] simplifiying candidate # 1547110979.710 * * * * [misc]progress: [ 11 / 16 ] simplifiying candidate # 1547110979.710 * * * * [misc]progress: [ 12 / 16 ] simplifiying candidate # 1547110979.710 * [enter]simplify: Simplifying (+ a b) 1547110979.710 * * [misc]simplify: iters left: 2 (3 enodes) 1547110979.711 * * [misc]simplify: iters left: 1 (4 enodes) 1547110979.711 * [exit]simplify: Simplified to (+ b a) 1547110979.711 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (+ b a) (- a b))) 1547110979.711 * [enter]simplify: Simplifying (- a b) 1547110979.711 * * [misc]simplify: iters left: 2 (3 enodes) 1547110979.712 * * [misc]simplify: iters left: 1 (5 enodes) 1547110979.713 * [exit]simplify: Simplified to (- a b) 1547110979.713 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (+ a b) (- a b))) 1547110979.713 * * * * [misc]progress: [ 13 / 16 ] simplifiying candidate # 1547110979.713 * * * * [misc]progress: [ 14 / 16 ] simplifiying candidate # 1547110979.713 * [enter]simplify: Simplifying (- (pow a 2) (pow b 2)) 1547110979.713 * * [misc]simplify: iters left: 3 (6 enodes) 1547110979.714 * * [misc]simplify: iters left: 2 (10 enodes) 1547110979.715 * * [misc]simplify: iters left: 1 (17 enodes) 1547110979.718 * [exit]simplify: Simplified to (- (* a a) (* b b)) 1547110979.718 * [misc]simplify: Simplified (2) to (λ (a b) (- (* a a) (* b b))) 1547110979.718 * * * * [misc]progress: [ 15 / 16 ] simplifiying candidate # 1547110979.718 * [enter]simplify: Simplifying (- (pow a 2) (pow b 2)) 1547110979.718 * * [misc]simplify: iters left: 3 (6 enodes) 1547110979.719 * * [misc]simplify: iters left: 2 (10 enodes) 1547110979.721 * * [misc]simplify: iters left: 1 (17 enodes) 1547110979.723 * [exit]simplify: Simplified to (- (* a a) (* b b)) 1547110979.723 * [misc]simplify: Simplified (2) to (λ (a b) (- (* a a) (* b b))) 1547110979.723 * * * * [misc]progress: [ 16 / 16 ] simplifiying candidate # 1547110979.724 * [enter]simplify: Simplifying (- (pow a 2) (pow b 2)) 1547110979.724 * * [misc]simplify: iters left: 3 (6 enodes) 1547110979.726 * * [misc]simplify: iters left: 2 (10 enodes) 1547110979.729 * * [misc]simplify: iters left: 1 (17 enodes) 1547110979.734 * [exit]simplify: Simplified to (- (* a a) (* b b)) 1547110979.734 * [misc]simplify: Simplified (2) to (λ (a b) (- (* a a) (* b b))) 1547110979.734 * * * [misc]progress: adding candidates to table 1547110979.865 * * [misc]progress: iteration 2 / 4 1547110979.865 * * * [misc]progress: picking best candidate 1547110979.867 * * * * [misc]pick: Picked # 1547110979.867 * * * [misc]progress: localizing error 1547110979.875 * * * [misc]progress: generating rewritten candidates 1547110979.875 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1547110979.885 * * * [misc]progress: generating series expansions 1547110979.885 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1547110979.885 * [misc]backup-simplify: Simplify (* (+ a b) (- a b)) into (* (+ a b) (- a b)) 1547110979.885 * [misc]approximate: Taking taylor expansion of (* (+ a b) (- a b)) in (a b) around 0 1547110979.885 * [misc]taylor: Taking taylor expansion of (* (+ a b) (- a b)) in b 1547110979.885 * [misc]taylor: Taking taylor expansion of (+ a b) in b 1547110979.885 * [misc]taylor: Taking taylor expansion of a in b 1547110979.885 * [misc]backup-simplify: Simplify a into a 1547110979.886 * [misc]taylor: Taking taylor expansion of b in b 1547110979.886 * [misc]backup-simplify: Simplify 0 into 0 1547110979.886 * [misc]backup-simplify: Simplify 1 into 1 1547110979.886 * [misc]taylor: Taking taylor expansion of (- a b) in b 1547110979.886 * [misc]taylor: Taking taylor expansion of a in b 1547110979.886 * [misc]backup-simplify: Simplify a into a 1547110979.886 * [misc]taylor: Taking taylor expansion of b in b 1547110979.886 * [misc]backup-simplify: Simplify 0 into 0 1547110979.886 * [misc]backup-simplify: Simplify 1 into 1 1547110979.886 * [misc]taylor: Taking taylor expansion of (* (+ a b) (- a b)) in a 1547110979.886 * [misc]taylor: Taking taylor expansion of (+ a b) in a 1547110979.886 * [misc]taylor: Taking taylor expansion of a in a 1547110979.886 * [misc]backup-simplify: Simplify 0 into 0 1547110979.886 * [misc]backup-simplify: Simplify 1 into 1 1547110979.886 * [misc]taylor: Taking taylor expansion of b in a 1547110979.886 * [misc]backup-simplify: Simplify b into b 1547110979.886 * [misc]taylor: Taking taylor expansion of (- a b) in a 1547110979.886 * [misc]taylor: Taking taylor expansion of a in a 1547110979.886 * [misc]backup-simplify: Simplify 0 into 0 1547110979.886 * [misc]backup-simplify: Simplify 1 into 1 1547110979.886 * [misc]taylor: Taking taylor expansion of b in a 1547110979.886 * [misc]backup-simplify: Simplify b into b 1547110979.886 * [misc]taylor: Taking taylor expansion of (* (+ a b) (- a b)) in a 1547110979.886 * [misc]taylor: Taking taylor expansion of (+ a b) in a 1547110979.886 * [misc]taylor: Taking taylor expansion of a in a 1547110979.886 * [misc]backup-simplify: Simplify 0 into 0 1547110979.886 * [misc]backup-simplify: Simplify 1 into 1 1547110979.886 * [misc]taylor: Taking taylor expansion of b in a 1547110979.886 * [misc]backup-simplify: Simplify b into b 1547110979.886 * [misc]taylor: Taking taylor expansion of (- a b) in a 1547110979.886 * [misc]taylor: Taking taylor expansion of a in a 1547110979.886 * [misc]backup-simplify: Simplify 0 into 0 1547110979.886 * [misc]backup-simplify: Simplify 1 into 1 1547110979.886 * [misc]taylor: Taking taylor expansion of b in a 1547110979.887 * [misc]backup-simplify: Simplify b into b 1547110979.887 * [misc]backup-simplify: Simplify (+ 0 b) into b 1547110979.887 * [misc]backup-simplify: Simplify (- b) into (- b) 1547110979.887 * [misc]backup-simplify: Simplify (+ 0 (- b)) into (- b) 1547110979.887 * [misc]backup-simplify: Simplify (* b (- b)) into (* -1 (pow b 2)) 1547110979.887 * [misc]taylor: Taking taylor expansion of (* -1 (pow b 2)) in b 1547110979.887 * [misc]taylor: Taking taylor expansion of -1 in b 1547110979.887 * [misc]backup-simplify: Simplify -1 into -1 1547110979.887 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1547110979.887 * [misc]taylor: Taking taylor expansion of b in b 1547110979.887 * [misc]backup-simplify: Simplify 0 into 0 1547110979.887 * [misc]backup-simplify: Simplify 1 into 1 1547110979.887 * [misc]backup-simplify: Simplify (- 0) into 0 1547110979.888 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547110979.888 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547110979.888 * [misc]backup-simplify: Simplify (+ (* b 1) (* 1 (- b))) into 0 1547110979.888 * [misc]taylor: Taking taylor expansion of 0 in b 1547110979.888 * [misc]backup-simplify: Simplify 0 into 0 1547110979.888 * [misc]backup-simplify: Simplify 0 into 0 1547110979.888 * [misc]backup-simplify: Simplify (- 0) into 0 1547110979.888 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547110979.889 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547110979.889 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 1 1) (* 0 (- b)))) into 1 1547110979.889 * [misc]taylor: Taking taylor expansion of 1 in b 1547110979.889 * [misc]backup-simplify: Simplify 1 into 1 1547110979.889 * [misc]backup-simplify: Simplify 1 into 1 1547110979.889 * [misc]backup-simplify: Simplify 0 into 0 1547110979.889 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547110979.889 * [misc]backup-simplify: Simplify (* -1 1) into -1 1547110979.889 * [misc]backup-simplify: Simplify -1 into -1 1547110979.890 * [misc]backup-simplify: Simplify (- 0) into 0 1547110979.890 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547110979.890 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547110979.890 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 1 0) (+ (* 0 1) (* 0 (- b))))) into 0 1547110979.890 * [misc]taylor: Taking taylor expansion of 0 in b 1547110979.890 * [misc]backup-simplify: Simplify 0 into 0 1547110979.890 * [misc]backup-simplify: Simplify 0 into 0 1547110979.890 * [misc]backup-simplify: Simplify 0 into 0 1547110979.891 * [misc]backup-simplify: Simplify 0 into 0 1547110979.891 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1547110979.891 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 1)) into 0 1547110979.891 * [misc]backup-simplify: Simplify 0 into 0 1547110979.891 * [misc]backup-simplify: Simplify (- 0) into 0 1547110979.891 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547110979.891 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547110979.892 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- b)))))) into 0 1547110979.892 * [misc]taylor: Taking taylor expansion of 0 in b 1547110979.892 * [misc]backup-simplify: Simplify 0 into 0 1547110979.892 * [misc]backup-simplify: Simplify 0 into 0 1547110979.892 * [misc]backup-simplify: Simplify 0 into 0 1547110979.892 * [misc]backup-simplify: Simplify (+ (* -1 (pow (* b 1) 2)) (* 1 (pow (* 1 a) 2))) into (- (pow a 2) (pow b 2)) 1547110979.892 * [misc]backup-simplify: Simplify (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 a) (/ 1 b))) into (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 a) (/ 1 b))) 1547110979.892 * [misc]approximate: Taking taylor expansion of (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 a) (/ 1 b))) in (a b) around 0 1547110979.892 * [misc]taylor: Taking taylor expansion of (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 a) (/ 1 b))) in b 1547110979.892 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 1547110979.892 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1547110979.892 * [misc]taylor: Taking taylor expansion of a in b 1547110979.892 * [misc]backup-simplify: Simplify a into a 1547110979.892 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1547110979.892 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1547110979.892 * [misc]taylor: Taking taylor expansion of b in b 1547110979.892 * [misc]backup-simplify: Simplify 0 into 0 1547110979.892 * [misc]backup-simplify: Simplify 1 into 1 1547110979.892 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547110979.892 * [misc]taylor: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 1547110979.892 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1547110979.892 * [misc]taylor: Taking taylor expansion of a in b 1547110979.893 * [misc]backup-simplify: Simplify a into a 1547110979.893 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1547110979.893 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1547110979.893 * [misc]taylor: Taking taylor expansion of b in b 1547110979.893 * [misc]backup-simplify: Simplify 0 into 0 1547110979.893 * [misc]backup-simplify: Simplify 1 into 1 1547110979.893 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547110979.893 * [misc]taylor: Taking taylor expansion of (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 a) (/ 1 b))) in a 1547110979.893 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 1547110979.893 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1547110979.893 * [misc]taylor: Taking taylor expansion of a in a 1547110979.893 * [misc]backup-simplify: Simplify 0 into 0 1547110979.893 * [misc]backup-simplify: Simplify 1 into 1 1547110979.893 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547110979.893 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1547110979.893 * [misc]taylor: Taking taylor expansion of b in a 1547110979.893 * [misc]backup-simplify: Simplify b into b 1547110979.893 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1547110979.893 * [misc]taylor: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 1547110979.893 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1547110979.893 * [misc]taylor: Taking taylor expansion of a in a 1547110979.893 * [misc]backup-simplify: Simplify 0 into 0 1547110979.893 * [misc]backup-simplify: Simplify 1 into 1 1547110979.893 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547110979.893 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1547110979.893 * [misc]taylor: Taking taylor expansion of b in a 1547110979.893 * [misc]backup-simplify: Simplify b into b 1547110979.893 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1547110979.893 * [misc]taylor: Taking taylor expansion of (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 a) (/ 1 b))) in a 1547110979.893 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 1547110979.893 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1547110979.893 * [misc]taylor: Taking taylor expansion of a in a 1547110979.893 * [misc]backup-simplify: Simplify 0 into 0 1547110979.893 * [misc]backup-simplify: Simplify 1 into 1 1547110979.893 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547110979.893 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1547110979.894 * [misc]taylor: Taking taylor expansion of b in a 1547110979.894 * [misc]backup-simplify: Simplify b into b 1547110979.894 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1547110979.894 * [misc]taylor: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 1547110979.894 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1547110979.894 * [misc]taylor: Taking taylor expansion of a in a 1547110979.894 * [misc]backup-simplify: Simplify 0 into 0 1547110979.894 * [misc]backup-simplify: Simplify 1 into 1 1547110979.894 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547110979.894 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1547110979.894 * [misc]taylor: Taking taylor expansion of b in a 1547110979.894 * [misc]backup-simplify: Simplify b into b 1547110979.894 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1547110979.894 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547110979.894 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547110979.894 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547110979.894 * [misc]taylor: Taking taylor expansion of 1 in b 1547110979.894 * [misc]backup-simplify: Simplify 1 into 1 1547110979.894 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1547110979.894 * [misc]backup-simplify: Simplify (- (/ 1 b)) into (- (/ 1 b)) 1547110979.894 * [misc]backup-simplify: Simplify (+ 0 (- (/ 1 b))) into (- (/ 1 b)) 1547110979.895 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1547110979.895 * [misc]backup-simplify: Simplify (+ 0 (/ 1 b)) into (/ 1 b) 1547110979.895 * [misc]backup-simplify: Simplify (+ (* 1 (- (/ 1 b))) (* (/ 1 b) 1)) into 0 1547110979.895 * [misc]taylor: Taking taylor expansion of 0 in b 1547110979.895 * [misc]backup-simplify: Simplify 0 into 0 1547110979.895 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110979.895 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1547110979.895 * [misc]backup-simplify: Simplify (- 0) into 0 1547110979.895 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547110979.895 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110979.896 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1547110979.896 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547110979.896 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* (/ 1 b) (- (/ 1 b))) (* 0 1))) into (- (/ 1 (pow b 2))) 1547110979.896 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 1547110979.896 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 2)) in b 1547110979.896 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1547110979.896 * [misc]taylor: Taking taylor expansion of b in b 1547110979.896 * [misc]backup-simplify: Simplify 0 into 0 1547110979.896 * [misc]backup-simplify: Simplify 1 into 1 1547110979.896 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547110979.896 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547110979.896 * [misc]backup-simplify: Simplify (- 1) into -1 1547110979.896 * [misc]backup-simplify: Simplify -1 into -1 1547110979.896 * [misc]backup-simplify: Simplify 1 into 1 1547110979.897 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110979.897 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1547110979.897 * [misc]backup-simplify: Simplify (- 0) into 0 1547110979.897 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547110979.897 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110979.897 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1547110979.897 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547110979.898 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* (/ 1 b) 0) (+ (* 0 (- (/ 1 b))) (* 0 1)))) into 0 1547110979.898 * [misc]taylor: Taking taylor expansion of 0 in b 1547110979.898 * [misc]backup-simplify: Simplify 0 into 0 1547110979.898 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1547110979.898 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1547110979.898 * [misc]backup-simplify: Simplify (- 0) into 0 1547110979.898 * [misc]backup-simplify: Simplify 0 into 0 1547110979.898 * [misc]backup-simplify: Simplify 0 into 0 1547110979.898 * [misc]backup-simplify: Simplify 0 into 0 1547110979.898 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110979.899 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 1547110979.899 * [misc]backup-simplify: Simplify (- 0) into 0 1547110979.899 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547110979.899 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110979.899 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 1547110979.899 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547110979.900 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* (/ 1 b) 0) (+ (* 0 0) (+ (* 0 (- (/ 1 b))) (* 0 1))))) into 0 1547110979.900 * [misc]taylor: Taking taylor expansion of 0 in b 1547110979.900 * [misc]backup-simplify: Simplify 0 into 0 1547110979.900 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1547110979.900 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110979.900 * [misc]backup-simplify: Simplify (- 0) into 0 1547110979.900 * [misc]backup-simplify: Simplify 0 into 0 1547110979.900 * [misc]backup-simplify: Simplify 0 into 0 1547110979.900 * [misc]backup-simplify: Simplify 0 into 0 1547110979.900 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (* -1 (pow (* (/ 1 (/ 1 b)) 1) 2))) into (- (pow a 2) (pow b 2)) 1547110979.900 * [misc]backup-simplify: Simplify (* (+ (/ 1 (- a)) (/ 1 (- b))) (- (/ 1 (- a)) (/ 1 (- b)))) into (* -1 (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 a) (/ 1 b)))) 1547110979.900 * [misc]approximate: Taking taylor expansion of (* -1 (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 a) (/ 1 b)))) in (a b) around 0 1547110979.901 * [misc]taylor: Taking taylor expansion of (* -1 (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 a) (/ 1 b)))) in b 1547110979.901 * [misc]taylor: Taking taylor expansion of -1 in b 1547110979.901 * [misc]backup-simplify: Simplify -1 into -1 1547110979.901 * [misc]taylor: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 a) (/ 1 b))) in b 1547110979.901 * [misc]taylor: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 1547110979.901 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1547110979.901 * [misc]taylor: Taking taylor expansion of b in b 1547110979.901 * [misc]backup-simplify: Simplify 0 into 0 1547110979.901 * [misc]backup-simplify: Simplify 1 into 1 1547110979.901 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547110979.901 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1547110979.901 * [misc]taylor: Taking taylor expansion of a in b 1547110979.901 * [misc]backup-simplify: Simplify a into a 1547110979.901 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1547110979.901 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 1547110979.901 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1547110979.901 * [misc]taylor: Taking taylor expansion of a in b 1547110979.901 * [misc]backup-simplify: Simplify a into a 1547110979.901 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1547110979.901 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1547110979.901 * [misc]taylor: Taking taylor expansion of b in b 1547110979.901 * [misc]backup-simplify: Simplify 0 into 0 1547110979.901 * [misc]backup-simplify: Simplify 1 into 1 1547110979.901 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547110979.901 * [misc]taylor: Taking taylor expansion of (* -1 (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 a) (/ 1 b)))) in a 1547110979.901 * [misc]taylor: Taking taylor expansion of -1 in a 1547110979.901 * [misc]backup-simplify: Simplify -1 into -1 1547110979.901 * [misc]taylor: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 a) (/ 1 b))) in a 1547110979.901 * [misc]taylor: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 1547110979.901 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1547110979.901 * [misc]taylor: Taking taylor expansion of b in a 1547110979.901 * [misc]backup-simplify: Simplify b into b 1547110979.901 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1547110979.901 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1547110979.901 * [misc]taylor: Taking taylor expansion of a in a 1547110979.901 * [misc]backup-simplify: Simplify 0 into 0 1547110979.901 * [misc]backup-simplify: Simplify 1 into 1 1547110979.901 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547110979.901 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 1547110979.901 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1547110979.902 * [misc]taylor: Taking taylor expansion of a in a 1547110979.902 * [misc]backup-simplify: Simplify 0 into 0 1547110979.902 * [misc]backup-simplify: Simplify 1 into 1 1547110979.902 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547110979.902 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1547110979.902 * [misc]taylor: Taking taylor expansion of b in a 1547110979.902 * [misc]backup-simplify: Simplify b into b 1547110979.902 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1547110979.902 * [misc]taylor: Taking taylor expansion of (* -1 (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 a) (/ 1 b)))) in a 1547110979.902 * [misc]taylor: Taking taylor expansion of -1 in a 1547110979.902 * [misc]backup-simplify: Simplify -1 into -1 1547110979.902 * [misc]taylor: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 a) (/ 1 b))) in a 1547110979.902 * [misc]taylor: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 1547110979.902 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1547110979.902 * [misc]taylor: Taking taylor expansion of b in a 1547110979.902 * [misc]backup-simplify: Simplify b into b 1547110979.902 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1547110979.902 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1547110979.902 * [misc]taylor: Taking taylor expansion of a in a 1547110979.902 * [misc]backup-simplify: Simplify 0 into 0 1547110979.902 * [misc]backup-simplify: Simplify 1 into 1 1547110979.902 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547110979.902 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 1547110979.902 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1547110979.902 * [misc]taylor: Taking taylor expansion of a in a 1547110979.902 * [misc]backup-simplify: Simplify 0 into 0 1547110979.902 * [misc]backup-simplify: Simplify 1 into 1 1547110979.902 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547110979.902 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1547110979.902 * [misc]taylor: Taking taylor expansion of b in a 1547110979.902 * [misc]backup-simplify: Simplify b into b 1547110979.902 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1547110979.902 * [misc]backup-simplify: Simplify (- 1) into -1 1547110979.903 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1547110979.903 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547110979.903 * [misc]backup-simplify: Simplify (* -1 1) into -1 1547110979.903 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1547110979.903 * [misc]taylor: Taking taylor expansion of 1 in b 1547110979.903 * [misc]backup-simplify: Simplify 1 into 1 1547110979.903 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1547110979.903 * [misc]backup-simplify: Simplify (+ 0 (/ 1 b)) into (/ 1 b) 1547110979.903 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1547110979.903 * [misc]backup-simplify: Simplify (- 0) into 0 1547110979.903 * [misc]backup-simplify: Simplify (+ (/ 1 b) 0) into (/ 1 b) 1547110979.904 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 b)) (* (/ 1 b) 1)) into 0 1547110979.904 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 -1)) into 0 1547110979.904 * [misc]taylor: Taking taylor expansion of 0 in b 1547110979.904 * [misc]backup-simplify: Simplify 0 into 0 1547110979.904 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110979.904 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1547110979.904 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547110979.904 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1547110979.904 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110979.904 * [misc]backup-simplify: Simplify (- 0) into 0 1547110979.904 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547110979.905 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2)) 1547110979.905 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (pow b 2))) (+ (* 0 0) (* 0 -1))) into (- (/ 1 (pow b 2))) 1547110979.905 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 1547110979.905 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 2)) in b 1547110979.905 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1547110979.905 * [misc]taylor: Taking taylor expansion of b in b 1547110979.905 * [misc]backup-simplify: Simplify 0 into 0 1547110979.905 * [misc]backup-simplify: Simplify 1 into 1 1547110979.905 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547110979.905 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547110979.905 * [misc]backup-simplify: Simplify (- 1) into -1 1547110979.905 * [misc]backup-simplify: Simplify -1 into -1 1547110979.905 * [misc]backup-simplify: Simplify 1 into 1 1547110979.906 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110979.906 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1547110979.906 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547110979.906 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1547110979.906 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110979.906 * [misc]backup-simplify: Simplify (- 0) into 0 1547110979.906 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547110979.907 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* (/ 1 b) 0) (+ (* 0 (/ 1 b)) (* 0 1)))) into 0 1547110979.907 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 (/ 1 (pow b 2))) (+ (* 0 0) (* 0 -1)))) into 0 1547110979.907 * [misc]taylor: Taking taylor expansion of 0 in b 1547110979.907 * [misc]backup-simplify: Simplify 0 into 0 1547110979.907 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1547110979.907 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1547110979.907 * [misc]backup-simplify: Simplify (- 0) into 0 1547110979.907 * [misc]backup-simplify: Simplify 0 into 0 1547110979.907 * [misc]backup-simplify: Simplify 0 into 0 1547110979.907 * [misc]backup-simplify: Simplify 0 into 0 1547110979.908 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110979.908 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 1547110979.908 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547110979.908 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 1547110979.908 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110979.908 * [misc]backup-simplify: Simplify (- 0) into 0 1547110979.908 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547110979.909 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* (/ 1 b) 0) (+ (* 0 0) (+ (* 0 (/ 1 b)) (* 0 1))))) into 0 1547110979.909 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 (pow b 2))) (+ (* 0 0) (* 0 -1))))) into 0 1547110979.909 * [misc]taylor: Taking taylor expansion of 0 in b 1547110979.909 * [misc]backup-simplify: Simplify 0 into 0 1547110979.909 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1547110979.909 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110979.910 * [misc]backup-simplify: Simplify (- 0) into 0 1547110979.910 * [misc]backup-simplify: Simplify 0 into 0 1547110979.910 * [misc]backup-simplify: Simplify 0 into 0 1547110979.910 * [misc]backup-simplify: Simplify 0 into 0 1547110979.910 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- b))) 1) 2))) into (- (pow a 2) (pow b 2)) 1547110979.910 * * * [misc]progress: simplifying candidates 1547110979.910 * * * * [misc]progress: [ 1 / 32 ] simplifiying candidate # 1547110979.910 * [enter]simplify: Simplifying (* (+ a b) (- a b)) 1547110979.910 * * [misc]simplify: iters left: 4 (5 enodes) 1547110979.911 * * [misc]simplify: iters left: 3 (9 enodes) 1547110979.913 * * [misc]simplify: iters left: 2 (24 enodes) 1547110979.917 * * [misc]simplify: iters left: 1 (53 enodes) 1547110979.927 * [exit]simplify: Simplified to (* (+ b a) (- a b)) 1547110979.927 * [misc]simplify: Simplified (2 1) to (λ (a b) (pow (* (+ b a) (- a b)) 1)) 1547110979.927 * * * * [misc]progress: [ 2 / 32 ] simplifiying candidate # 1547110979.927 * * * * [misc]progress: [ 3 / 32 ] simplifiying candidate # 1547110979.927 * [enter]simplify: Simplifying (+ (log (+ a b)) (log (- a b))) 1547110979.927 * * [misc]simplify: iters left: 5 (7 enodes) 1547110979.928 * * [misc]simplify: iters left: 4 (11 enodes) 1547110979.930 * * [misc]simplify: iters left: 3 (12 enodes) 1547110979.931 * [exit]simplify: Simplified to (+ (log (+ b a)) (log (- a b))) 1547110979.931 * [misc]simplify: Simplified (2 1) to (λ (a b) (exp (+ (log (+ b a)) (log (- a b))))) 1547110979.931 * * * * [misc]progress: [ 4 / 32 ] simplifiying candidate # 1547110979.931 * * * * [misc]progress: [ 5 / 32 ] simplifiying candidate # 1547110979.931 * * * * [misc]progress: [ 6 / 32 ] simplifiying candidate # 1547110979.932 * [enter]simplify: Simplifying (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (- a b) (- a b)) (- a b))) 1547110979.932 * * [misc]simplify: iters left: 6 (9 enodes) 1547110979.934 * * [misc]simplify: iters left: 5 (31 enodes) 1547110979.941 * * [misc]simplify: iters left: 4 (139 enodes) 1547110979.998 * [exit]simplify: Simplified to (* (pow (- a b) 3) (pow (+ b a) 3)) 1547110979.998 * [misc]simplify: Simplified (2 1) to (λ (a b) (cbrt (* (pow (- a b) 3) (pow (+ b a) 3)))) 1547110979.999 * * * * [misc]progress: [ 7 / 32 ] simplifiying candidate # 1547110979.999 * * * * [misc]progress: [ 8 / 32 ] simplifiying candidate # 1547110979.999 * * * * [misc]progress: [ 9 / 32 ] simplifiying candidate # 1547110979.999 * * * * [misc]progress: [ 10 / 32 ] simplifiying candidate # 1547110979.999 * [enter]simplify: Simplifying (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) 1547110979.999 * * [misc]simplify: iters left: 5 (8 enodes) 1547110980.000 * * [misc]simplify: iters left: 4 (18 enodes) 1547110980.003 * * [misc]simplify: iters left: 3 (39 enodes) 1547110980.011 * * [misc]simplify: iters left: 2 (110 enodes) 1547110980.040 * * [misc]simplify: iters left: 1 (303 enodes) 1547110980.178 * [exit]simplify: Simplified to (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) 1547110980.178 * [misc]simplify: Simplified (2 1) to (λ (a b) (/ (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))))) 1547110980.178 * [enter]simplify: Simplifying (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) 1547110980.179 * * [misc]simplify: iters left: 6 (10 enodes) 1547110980.182 * * [misc]simplify: iters left: 5 (30 enodes) 1547110980.191 * * [misc]simplify: iters left: 4 (98 enodes) 1547110980.220 * * [misc]simplify: iters left: 3 (403 enodes) 1547110980.591 * [exit]simplify: Simplified to (* (- (* b b) (* a (- b a))) (+ (* b (+ a b)) (* a a))) 1547110980.591 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (- (* b b) (* a (- b a))) (+ (* b (+ a b)) (* a a))))) 1547110980.591 * * * * [misc]progress: [ 11 / 32 ] simplifiying candidate # 1547110980.591 * [enter]simplify: Simplifying (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) 1547110980.591 * * [misc]simplify: iters left: 6 (10 enodes) 1547110980.593 * * [misc]simplify: iters left: 5 (21 enodes) 1547110980.598 * * [misc]simplify: iters left: 4 (46 enodes) 1547110980.614 * * [misc]simplify: iters left: 3 (153 enodes) 1547110980.690 * [exit]simplify: Simplified to (* (* (- a b) (+ b a)) (+ (pow a 3) (pow b 3))) 1547110980.690 * [misc]simplify: Simplified (2 1) to (λ (a b) (/ (* (* (- a b) (+ b a)) (+ (pow a 3) (pow b 3))) (* (+ (* a a) (- (* b b) (* a b))) (+ a b)))) 1547110980.690 * [enter]simplify: Simplifying (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) 1547110980.691 * * [misc]simplify: iters left: 6 (9 enodes) 1547110980.692 * * [misc]simplify: iters left: 5 (25 enodes) 1547110980.697 * * [misc]simplify: iters left: 4 (66 enodes) 1547110980.719 * * [misc]simplify: iters left: 3 (189 enodes) 1547110980.803 * [exit]simplify: Simplified to (* (+ a b) (+ (* a a) (* (- b a) b))) 1547110980.803 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ a b) (+ (* a a) (* (- b a) b))))) 1547110980.803 * * * * [misc]progress: [ 12 / 32 ] simplifiying candidate # 1547110980.803 * [enter]simplify: Simplifying (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) 1547110980.804 * * [misc]simplify: iters left: 6 (10 enodes) 1547110980.807 * * [misc]simplify: iters left: 5 (22 enodes) 1547110980.814 * * [misc]simplify: iters left: 4 (50 enodes) 1547110980.834 * * [misc]simplify: iters left: 3 (172 enodes) 1547110980.928 * [exit]simplify: Simplified to (* (* (- a b) (+ a b)) (- (pow a 3) (pow b 3))) 1547110980.928 * [misc]simplify: Simplified (2 1) to (λ (a b) (/ (* (* (- a b) (+ a b)) (- (pow a 3) (pow b 3))) (* (- a b) (+ (* a a) (+ (* b b) (* a b)))))) 1547110980.928 * [enter]simplify: Simplifying (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) 1547110980.928 * * [misc]simplify: iters left: 6 (9 enodes) 1547110980.930 * * [misc]simplify: iters left: 5 (25 enodes) 1547110980.935 * * [misc]simplify: iters left: 4 (75 enodes) 1547110980.965 * * [misc]simplify: iters left: 3 (240 enodes) 1547110981.057 * [exit]simplify: Simplified to (* (- a b) (+ (* (+ b a) a) (* b b))) 1547110981.057 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) (* (- a b) (+ (* (+ b a) a) (* b b))))) 1547110981.058 * * * * [misc]progress: [ 13 / 32 ] simplifiying candidate # 1547110981.058 * [enter]simplify: Simplifying (* (- (* a a) (* b b)) (- (* a a) (* b b))) 1547110981.058 * * [misc]simplify: iters left: 6 (6 enodes) 1547110981.059 * * [misc]simplify: iters left: 5 (11 enodes) 1547110981.061 * * [misc]simplify: iters left: 4 (28 enodes) 1547110981.071 * * [misc]simplify: iters left: 3 (111 enodes) 1547110981.136 * [exit]simplify: Simplified to (* (- (* a a) (* b b)) (- (* a a) (* b b))) 1547110981.137 * [misc]simplify: Simplified (2 1) to (λ (a b) (/ (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- a b) (+ a b)))) 1547110981.137 * [enter]simplify: Simplifying (* (- a b) (+ a b)) 1547110981.137 * * [misc]simplify: iters left: 4 (5 enodes) 1547110981.138 * * [misc]simplify: iters left: 3 (15 enodes) 1547110981.140 * * [misc]simplify: iters left: 2 (35 enodes) 1547110981.146 * * [misc]simplify: iters left: 1 (67 enodes) 1547110981.157 * [exit]simplify: Simplified to (* (- a b) (+ b a)) 1547110981.157 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- a b) (+ b a)))) 1547110981.157 * * * * [misc]progress: [ 14 / 32 ] simplifiying candidate # 1547110981.157 * * * * [misc]progress: [ 15 / 32 ] simplifiying candidate # 1547110981.157 * [enter]simplify: Simplifying (* (+ a b) (- b)) 1547110981.157 * * [misc]simplify: iters left: 4 (5 enodes) 1547110981.158 * * [misc]simplify: iters left: 3 (9 enodes) 1547110981.159 * * [misc]simplify: iters left: 2 (21 enodes) 1547110981.163 * * [misc]simplify: iters left: 1 (35 enodes) 1547110981.167 * [exit]simplify: Simplified to (* (+ b a) (- b)) 1547110981.167 * [misc]simplify: Simplified (2 2) to (λ (a b) (+ (* (+ a b) a) (* (+ b a) (- b)))) 1547110981.167 * * * * [misc]progress: [ 16 / 32 ] simplifiying candidate # 1547110981.168 * [enter]simplify: Simplifying (* (+ a b) (- b)) 1547110981.168 * * [misc]simplify: iters left: 4 (5 enodes) 1547110981.170 * * [misc]simplify: iters left: 3 (9 enodes) 1547110981.171 * * [misc]simplify: iters left: 2 (21 enodes) 1547110981.175 * * [misc]simplify: iters left: 1 (35 enodes) 1547110981.179 * [exit]simplify: Simplified to (* (+ b a) (- b)) 1547110981.179 * [misc]simplify: Simplified (2 2) to (λ (a b) (+ (* (+ a b) a) (* (+ b a) (- b)))) 1547110981.179 * * * * [misc]progress: [ 17 / 32 ] simplifiying candidate # 1547110981.179 * [enter]simplify: Simplifying (* (- b) (+ a b)) 1547110981.179 * * [misc]simplify: iters left: 4 (5 enodes) 1547110981.180 * * [misc]simplify: iters left: 3 (15 enodes) 1547110981.183 * * [misc]simplify: iters left: 2 (31 enodes) 1547110981.187 * * [misc]simplify: iters left: 1 (40 enodes) 1547110981.192 * [exit]simplify: Simplified to (* (+ b a) (- b)) 1547110981.192 * [misc]simplify: Simplified (2 2) to (λ (a b) (+ (* a (+ a b)) (* (+ b a) (- b)))) 1547110981.192 * * * * [misc]progress: [ 18 / 32 ] simplifiying candidate # 1547110981.193 * [enter]simplify: Simplifying (* (- b) (+ a b)) 1547110981.193 * * [misc]simplify: iters left: 4 (5 enodes) 1547110981.194 * * [misc]simplify: iters left: 3 (15 enodes) 1547110981.196 * * [misc]simplify: iters left: 2 (31 enodes) 1547110981.200 * * [misc]simplify: iters left: 1 (40 enodes) 1547110981.206 * [exit]simplify: Simplified to (* (+ b a) (- b)) 1547110981.206 * [misc]simplify: Simplified (2 2) to (λ (a b) (+ (* a (+ a b)) (* (+ b a) (- b)))) 1547110981.206 * * * * [misc]progress: [ 19 / 32 ] simplifiying candidate # 1547110981.206 * [enter]simplify: Simplifying (cbrt (- a b)) 1547110981.206 * * [misc]simplify: iters left: 3 (4 enodes) 1547110981.207 * * [misc]simplify: iters left: 2 (6 enodes) 1547110981.207 * * [misc]simplify: iters left: 1 (7 enodes) 1547110981.208 * [exit]simplify: Simplified to (cbrt (- a b)) 1547110981.208 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (* (+ a b) (* (cbrt (- a b)) (cbrt (- a b)))) (cbrt (- a b)))) 1547110981.208 * * * * [misc]progress: [ 20 / 32 ] simplifiying candidate # 1547110981.209 * [enter]simplify: Simplifying (sqrt (- a b)) 1547110981.209 * * [misc]simplify: iters left: 3 (4 enodes) 1547110981.209 * * [misc]simplify: iters left: 2 (6 enodes) 1547110981.210 * * [misc]simplify: iters left: 1 (7 enodes) 1547110981.211 * [exit]simplify: Simplified to (sqrt (- a b)) 1547110981.211 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (* (+ a b) (sqrt (- a b))) (sqrt (- a b)))) 1547110981.211 * * * * [misc]progress: [ 21 / 32 ] simplifiying candidate # 1547110981.211 * [enter]simplify: Simplifying (- a b) 1547110981.211 * * [misc]simplify: iters left: 2 (3 enodes) 1547110981.212 * * [misc]simplify: iters left: 1 (5 enodes) 1547110981.213 * [exit]simplify: Simplified to (- a b) 1547110981.213 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (* (+ a b) 1) (- a b))) 1547110981.213 * * * * [misc]progress: [ 22 / 32 ] simplifiying candidate # 1547110981.213 * [enter]simplify: Simplifying (* (cbrt (+ a b)) (cbrt (+ a b))) 1547110981.213 * * [misc]simplify: iters left: 5 (5 enodes) 1547110981.214 * * [misc]simplify: iters left: 4 (6 enodes) 1547110981.215 * [exit]simplify: Simplified to (* (cbrt (+ b a)) (cbrt (+ b a))) 1547110981.215 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (* (cbrt (+ b a)) (cbrt (+ b a))) (* (cbrt (+ a b)) (- a b)))) 1547110981.215 * * * * [misc]progress: [ 23 / 32 ] simplifiying candidate # 1547110981.215 * [enter]simplify: Simplifying (sqrt (+ a b)) 1547110981.215 * * [misc]simplify: iters left: 3 (4 enodes) 1547110981.215 * * [misc]simplify: iters left: 2 (5 enodes) 1547110981.216 * [exit]simplify: Simplified to (sqrt (+ b a)) 1547110981.216 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (sqrt (+ b a)) (* (sqrt (+ a b)) (- a b)))) 1547110981.216 * * * * [misc]progress: [ 24 / 32 ] simplifiying candidate # 1547110981.216 * * * * [misc]progress: [ 25 / 32 ] simplifiying candidate # 1547110981.216 * [enter]simplify: Simplifying (+ (* a a) (+ (* b b) (* a b))) 1547110981.216 * * [misc]simplify: iters left: 6 (7 enodes) 1547110981.218 * * [misc]simplify: iters left: 5 (14 enodes) 1547110981.220 * * [misc]simplify: iters left: 4 (23 enodes) 1547110981.223 * * [misc]simplify: iters left: 3 (24 enodes) 1547110981.226 * * [misc]simplify: iters left: 2 (25 enodes) 1547110981.229 * [exit]simplify: Simplified to (+ (* a a) (* (+ a b) b)) 1547110981.230 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (* (+ a b) (- (pow a 3) (pow b 3))) (+ (* a a) (* (+ a b) b)))) 1547110981.230 * * * * [misc]progress: [ 26 / 32 ] simplifiying candidate # 1547110981.230 * [enter]simplify: Simplifying (+ a b) 1547110981.230 * * [misc]simplify: iters left: 2 (3 enodes) 1547110981.230 * * [misc]simplify: iters left: 1 (4 enodes) 1547110981.231 * [exit]simplify: Simplified to (+ b a) 1547110981.231 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (* (+ a b) (- (* a a) (* b b))) (+ b a))) 1547110981.231 * * * * [misc]progress: [ 27 / 32 ] simplifiying candidate # 1547110981.231 * [enter]simplify: Simplifying (* (+ (pow a 3) (pow b 3)) (- a b)) 1547110981.231 * * [misc]simplify: iters left: 5 (8 enodes) 1547110981.233 * * [misc]simplify: iters left: 4 (18 enodes) 1547110981.235 * * [misc]simplify: iters left: 3 (33 enodes) 1547110981.241 * * [misc]simplify: iters left: 2 (79 enodes) 1547110981.261 * * [misc]simplify: iters left: 1 (213 enodes) 1547110981.315 * [exit]simplify: Simplified to (* (+ (pow a 3) (pow b 3)) (- a b)) 1547110981.315 * [misc]simplify: Simplified (2 1) to (λ (a b) (/ (* (+ (pow a 3) (pow b 3)) (- a b)) (+ (* a a) (- (* b b) (* a b))))) 1547110981.315 * * * * [misc]progress: [ 28 / 32 ] simplifiying candidate # 1547110981.315 * [enter]simplify: Simplifying (* (- (* a a) (* b b)) (- a b)) 1547110981.315 * * [misc]simplify: iters left: 6 (7 enodes) 1547110981.316 * * [misc]simplify: iters left: 5 (14 enodes) 1547110981.319 * * [misc]simplify: iters left: 4 (41 enodes) 1547110981.329 * * [misc]simplify: iters left: 3 (156 enodes) 1547110981.432 * [exit]simplify: Simplified to (* (* (- a b) (- a b)) (+ a b)) 1547110981.432 * [misc]simplify: Simplified (2 1) to (λ (a b) (/ (* (* (- a b) (- a b)) (+ a b)) (- a b))) 1547110981.432 * * * * [misc]progress: [ 29 / 32 ] simplifiying candidate # 1547110981.432 * * * * [misc]progress: [ 30 / 32 ] simplifiying candidate # 1547110981.432 * [enter]simplify: Simplifying (- (pow a 2) (pow b 2)) 1547110981.433 * * [misc]simplify: iters left: 3 (6 enodes) 1547110981.434 * * [misc]simplify: iters left: 2 (10 enodes) 1547110981.438 * * [misc]simplify: iters left: 1 (17 enodes) 1547110981.443 * [exit]simplify: Simplified to (- (* a a) (* b b)) 1547110981.443 * [misc]simplify: Simplified (2) to (λ (a b) (- (* a a) (* b b))) 1547110981.443 * * * * [misc]progress: [ 31 / 32 ] simplifiying candidate # 1547110981.443 * [enter]simplify: Simplifying (- (pow a 2) (pow b 2)) 1547110981.443 * * [misc]simplify: iters left: 3 (6 enodes) 1547110981.445 * * [misc]simplify: iters left: 2 (10 enodes) 1547110981.448 * * [misc]simplify: iters left: 1 (17 enodes) 1547110981.452 * [exit]simplify: Simplified to (- (* a a) (* b b)) 1547110981.452 * [misc]simplify: Simplified (2) to (λ (a b) (- (* a a) (* b b))) 1547110981.452 * * * * [misc]progress: [ 32 / 32 ] simplifiying candidate # 1547110981.453 * [enter]simplify: Simplifying (- (pow a 2) (pow b 2)) 1547110981.453 * * [misc]simplify: iters left: 3 (6 enodes) 1547110981.454 * * [misc]simplify: iters left: 2 (10 enodes) 1547110981.455 * * [misc]simplify: iters left: 1 (17 enodes) 1547110981.457 * [exit]simplify: Simplified to (- (* a a) (* b b)) 1547110981.457 * [misc]simplify: Simplified (2) to (λ (a b) (- (* a a) (* b b))) 1547110981.457 * * * [misc]progress: adding candidates to table 1547110981.655 * [misc]progress: [Phase 3 of 3] Extracting. 1547110981.657 * [enter]simplify: Simplifying (* (+ a b) (- a b)) 1547110981.657 * * [misc]simplify: iters left: 4 (5 enodes) 1547110981.657 * * [misc]simplify: iters left: 3 (7 enodes) 1547110981.657 * [exit]simplify: Simplified to (* (+ b a) (- a b)) 1547110981.657 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1547110982.294 * * * * [misc]points: Filtering points with unrepresentable outputs 1547110982.296 * * * * [misc]points: Sampling 3509 additional inputs, on iter 1 have 4491 / 8000 1547110982.585 * * * * [misc]points: Filtering points with unrepresentable outputs 1547110982.586 * * * * [misc]points: Sampling 1560 additional inputs, on iter 2 have 6440 / 8000 1547110982.713 * * * * [misc]points: Filtering points with unrepresentable outputs 1547110982.713 * * * * [misc]points: Sampling 682 additional inputs, on iter 3 have 7318 / 8000 1547110982.747 * * * * [misc]points: Filtering points with unrepresentable outputs 1547110982.747 * * * * [misc]points: Sampling 288 additional inputs, on iter 4 have 7712 / 8000 1547110982.764 * * * * [misc]points: Filtering points with unrepresentable outputs 1547110982.764 * * * * [misc]points: Sampling 140 additional inputs, on iter 5 have 7860 / 8000 1547110982.772 * * * * [misc]points: Filtering points with unrepresentable outputs 1547110982.772 * * * * [misc]points: Sampling 71 additional inputs, on iter 6 have 7929 / 8000 1547110982.777 * * * * [misc]points: Filtering points with unrepresentable outputs 1547110982.777 * * * * [misc]points: Sampling 34 additional inputs, on iter 7 have 7966 / 8000 1547110982.779 * * * * [misc]points: Filtering points with unrepresentable outputs 1547110982.779 * * * * [misc]points: Sampling 17 additional inputs, on iter 8 have 7983 / 8000 1547110982.781 * * * * [misc]points: Filtering points with unrepresentable outputs 1547110982.781 * * * * [misc]points: Sampling 8 additional inputs, on iter 9 have 7992 / 8000 1547110982.782 * * * * [misc]points: Filtering points with unrepresentable outputs 1547110982.782 * * * * [misc]points: Sampling 7 additional inputs, on iter 10 have 7993 / 8000 1547110982.783 * * * * [misc]points: Filtering points with unrepresentable outputs 1547110982.783 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7998 / 8000 1547110982.784 * * * * [misc]points: Filtering points with unrepresentable outputs 1547110982.784 * * * * [exit]points: Sampled 8001 points with exact outputs 1547110982.941 * [misc]regime-testing: Baseline error score: 0.000875 1547110982.942 * [misc]regime-testing: Oracle error score: 0.000875 1547110982.942 * [misc]regime-testing: End program error score: 0.000875 1547110982.982 * [misc]regime-testing: Target error score: 0.000875