1547110152.657 * [misc]progress: [Phase 1 of 3] Setting up. 1547110152.657 * * * [misc]progress: [1/2] Preparing points 1547110152.657 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1547110152.680 * * * * [misc]points: Filtering points with unrepresentable outputs 1547110152.681 * * * * [misc]points: Sampling 37 additional inputs, on iter 1 have 219 / 256 1547110152.687 * * * * [misc]points: Filtering points with unrepresentable outputs 1547110152.687 * * * * [misc]points: Sampling 9 additional inputs, on iter 2 have 247 / 256 1547110152.690 * * * * [misc]points: Filtering points with unrepresentable outputs 1547110152.690 * * * * [exit]points: Sampled 256 points with exact outputs 1547110152.690 * * * [misc]progress: [2/2] Setting up program. 1547110152.695 * [misc]progress: [Phase 2 of 3] Improving. 1547110152.695 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1547110152.695 * [enter]simplify: Simplifying (/ (* a1 a2) (* b1 b2)) 1547110152.695 * * [misc]simplify: iters left: 4 (7 enodes) 1547110152.697 * * [misc]simplify: iters left: 3 (16 enodes) 1547110152.703 * * [misc]simplify: iters left: 2 (35 enodes) 1547110152.713 * * [misc]simplify: iters left: 1 (58 enodes) 1547110152.741 * [exit]simplify: Simplified to (* (/ a1 b2) (/ a2 b1)) 1547110152.741 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b2) (/ a2 b1))) 1547110152.748 * * [misc]progress: iteration 1 / 4 1547110152.748 * * * [misc]progress: picking best candidate 1547110152.752 * * * * [misc]pick: Picked # 1547110152.752 * * * [misc]progress: localizing error 1547110152.771 * * * [misc]progress: generating rewritten candidates 1547110152.771 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1547110152.776 * * * [misc]progress: generating series expansions 1547110152.776 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1547110152.776 * [misc]backup-simplify: Simplify (/ (* a1 a2) (* b1 b2)) into (/ (* a1 a2) (* b2 b1)) 1547110152.776 * [misc]approximate: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in (a1 a2 b1 b2) around 0 1547110152.777 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in b2 1547110152.777 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1547110152.777 * [misc]taylor: Taking taylor expansion of a1 in b2 1547110152.777 * [misc]backup-simplify: Simplify a1 into a1 1547110152.777 * [misc]taylor: Taking taylor expansion of a2 in b2 1547110152.777 * [misc]backup-simplify: Simplify a2 into a2 1547110152.777 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1547110152.777 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110152.777 * [misc]backup-simplify: Simplify 0 into 0 1547110152.777 * [misc]backup-simplify: Simplify 1 into 1 1547110152.777 * [misc]taylor: Taking taylor expansion of b1 in b2 1547110152.777 * [misc]backup-simplify: Simplify b1 into b1 1547110152.777 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1547110152.777 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1547110152.777 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1547110152.777 * [misc]backup-simplify: Simplify (/ (* a1 a2) b1) into (/ (* a1 a2) b1) 1547110152.777 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in b1 1547110152.777 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1547110152.777 * [misc]taylor: Taking taylor expansion of a1 in b1 1547110152.777 * [misc]backup-simplify: Simplify a1 into a1 1547110152.778 * [misc]taylor: Taking taylor expansion of a2 in b1 1547110152.778 * [misc]backup-simplify: Simplify a2 into a2 1547110152.778 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110152.778 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110152.778 * [misc]backup-simplify: Simplify b2 into b2 1547110152.778 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110152.778 * [misc]backup-simplify: Simplify 0 into 0 1547110152.778 * [misc]backup-simplify: Simplify 1 into 1 1547110152.778 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1547110152.778 * [misc]backup-simplify: Simplify (* b2 0) into 0 1547110152.778 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1547110152.778 * [misc]backup-simplify: Simplify (/ (* a1 a2) b2) into (/ (* a1 a2) b2) 1547110152.778 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a2 1547110152.778 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1547110152.778 * [misc]taylor: Taking taylor expansion of a1 in a2 1547110152.778 * [misc]backup-simplify: Simplify a1 into a1 1547110152.778 * [misc]taylor: Taking taylor expansion of a2 in a2 1547110152.778 * [misc]backup-simplify: Simplify 0 into 0 1547110152.778 * [misc]backup-simplify: Simplify 1 into 1 1547110152.778 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1547110152.778 * [misc]taylor: Taking taylor expansion of b2 in a2 1547110152.778 * [misc]backup-simplify: Simplify b2 into b2 1547110152.778 * [misc]taylor: Taking taylor expansion of b1 in a2 1547110152.778 * [misc]backup-simplify: Simplify b1 into b1 1547110152.779 * [misc]backup-simplify: Simplify (* a1 0) into 0 1547110152.779 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1547110152.779 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110152.779 * [misc]backup-simplify: Simplify (/ a1 (* b2 b1)) into (/ a1 (* b2 b1)) 1547110152.779 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a1 1547110152.779 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1547110152.779 * [misc]taylor: Taking taylor expansion of a1 in a1 1547110152.779 * [misc]backup-simplify: Simplify 0 into 0 1547110152.779 * [misc]backup-simplify: Simplify 1 into 1 1547110152.779 * [misc]taylor: Taking taylor expansion of a2 in a1 1547110152.779 * [misc]backup-simplify: Simplify a2 into a2 1547110152.779 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1547110152.779 * [misc]taylor: Taking taylor expansion of b2 in a1 1547110152.779 * [misc]backup-simplify: Simplify b2 into b2 1547110152.779 * [misc]taylor: Taking taylor expansion of b1 in a1 1547110152.779 * [misc]backup-simplify: Simplify b1 into b1 1547110152.779 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1547110152.779 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1547110152.780 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110152.780 * [misc]backup-simplify: Simplify (/ a2 (* b2 b1)) into (/ a2 (* b2 b1)) 1547110152.780 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a1 1547110152.780 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1547110152.780 * [misc]taylor: Taking taylor expansion of a1 in a1 1547110152.780 * [misc]backup-simplify: Simplify 0 into 0 1547110152.780 * [misc]backup-simplify: Simplify 1 into 1 1547110152.780 * [misc]taylor: Taking taylor expansion of a2 in a1 1547110152.780 * [misc]backup-simplify: Simplify a2 into a2 1547110152.780 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1547110152.780 * [misc]taylor: Taking taylor expansion of b2 in a1 1547110152.780 * [misc]backup-simplify: Simplify b2 into b2 1547110152.780 * [misc]taylor: Taking taylor expansion of b1 in a1 1547110152.780 * [misc]backup-simplify: Simplify b1 into b1 1547110152.780 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1547110152.780 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1547110152.780 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110152.780 * [misc]backup-simplify: Simplify (/ a2 (* b2 b1)) into (/ a2 (* b2 b1)) 1547110152.781 * [misc]taylor: Taking taylor expansion of (/ a2 (* b2 b1)) in a2 1547110152.781 * [misc]taylor: Taking taylor expansion of a2 in a2 1547110152.781 * [misc]backup-simplify: Simplify 0 into 0 1547110152.781 * [misc]backup-simplify: Simplify 1 into 1 1547110152.781 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1547110152.781 * [misc]taylor: Taking taylor expansion of b2 in a2 1547110152.781 * [misc]backup-simplify: Simplify b2 into b2 1547110152.781 * [misc]taylor: Taking taylor expansion of b1 in a2 1547110152.781 * [misc]backup-simplify: Simplify b1 into b1 1547110152.781 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110152.781 * [misc]backup-simplify: Simplify (/ 1 (* b2 b1)) into (/ 1 (* b2 b1)) 1547110152.781 * [misc]taylor: Taking taylor expansion of (/ 1 (* b2 b1)) in b1 1547110152.781 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110152.781 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110152.781 * [misc]backup-simplify: Simplify b2 into b2 1547110152.781 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110152.781 * [misc]backup-simplify: Simplify 0 into 0 1547110152.781 * [misc]backup-simplify: Simplify 1 into 1 1547110152.781 * [misc]backup-simplify: Simplify (* b2 0) into 0 1547110152.781 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1547110152.781 * [misc]backup-simplify: Simplify (/ 1 b2) into (/ 1 b2) 1547110152.782 * [misc]taylor: Taking taylor expansion of (/ 1 b2) in b2 1547110152.782 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110152.782 * [misc]backup-simplify: Simplify 0 into 0 1547110152.782 * [misc]backup-simplify: Simplify 1 into 1 1547110152.782 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547110152.782 * [misc]backup-simplify: Simplify 1 into 1 1547110152.783 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1547110152.783 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1547110152.783 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))))) into 0 1547110152.783 * [misc]taylor: Taking taylor expansion of 0 in a2 1547110152.783 * [misc]backup-simplify: Simplify 0 into 0 1547110152.783 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110152.783 * [misc]backup-simplify: Simplify 0 into 0 1547110152.783 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1547110152.783 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))))) into 0 1547110152.783 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110152.783 * [misc]backup-simplify: Simplify 0 into 0 1547110152.784 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1547110152.784 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)))) into 0 1547110152.784 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110152.784 * [misc]backup-simplify: Simplify 0 into 0 1547110152.784 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1547110152.784 * [misc]backup-simplify: Simplify 0 into 0 1547110152.785 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1547110152.785 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1547110152.785 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1547110152.785 * [misc]taylor: Taking taylor expansion of 0 in a2 1547110152.785 * [misc]backup-simplify: Simplify 0 into 0 1547110152.786 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110152.786 * [misc]backup-simplify: Simplify 0 into 0 1547110152.786 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110152.786 * [misc]backup-simplify: Simplify 0 into 0 1547110152.786 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1547110152.786 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1547110152.786 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110152.787 * [misc]backup-simplify: Simplify 0 into 0 1547110152.787 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110152.787 * [misc]backup-simplify: Simplify 0 into 0 1547110152.787 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110152.787 * [misc]backup-simplify: Simplify 0 into 0 1547110152.787 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1547110152.787 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)) (* 0 (/ 0 b2)))) into 0 1547110152.787 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110152.787 * [misc]backup-simplify: Simplify 0 into 0 1547110152.787 * [misc]backup-simplify: Simplify 0 into 0 1547110152.788 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110152.788 * [misc]backup-simplify: Simplify 0 into 0 1547110152.788 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 a2))))) into 0 1547110152.789 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (* 0 b1)))) into 0 1547110152.789 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1547110152.789 * [misc]taylor: Taking taylor expansion of 0 in a2 1547110152.789 * [misc]backup-simplify: Simplify 0 into 0 1547110152.789 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110152.789 * [misc]backup-simplify: Simplify 0 into 0 1547110152.789 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110152.789 * [misc]backup-simplify: Simplify 0 into 0 1547110152.789 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110152.789 * [misc]backup-simplify: Simplify 0 into 0 1547110152.790 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (* 0 b1)))) into 0 1547110152.790 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1547110152.790 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110152.790 * [misc]backup-simplify: Simplify 0 into 0 1547110152.790 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110152.790 * [misc]backup-simplify: Simplify 0 into 0 1547110152.790 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110152.790 * [misc]backup-simplify: Simplify 0 into 0 1547110152.790 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110152.790 * [misc]backup-simplify: Simplify 0 into 0 1547110152.790 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110152.790 * [misc]backup-simplify: Simplify 0 into 0 1547110152.791 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110152.791 * [misc]backup-simplify: Simplify 0 into 0 1547110152.791 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1547110152.791 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)) (* 0 (/ 0 b2)) (* 0 (/ 0 b2)))) into 0 1547110152.791 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110152.791 * [misc]backup-simplify: Simplify 0 into 0 1547110152.791 * [misc]backup-simplify: Simplify 0 into 0 1547110152.791 * [misc]backup-simplify: Simplify 0 into 0 1547110152.791 * [misc]backup-simplify: Simplify 0 into 0 1547110152.792 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b2) (* (/ 1 b1) (* a2 a1)))) into (/ (* a1 a2) (* b2 b1)) 1547110152.792 * [misc]backup-simplify: Simplify (/ (* (/ 1 a1) (/ 1 a2)) (* (/ 1 b1) (/ 1 b2))) into (/ (* b2 b1) (* a1 a2)) 1547110152.792 * [misc]approximate: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in (a1 a2 b1 b2) around 0 1547110152.792 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b2 1547110152.792 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1547110152.792 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110152.792 * [misc]backup-simplify: Simplify 0 into 0 1547110152.792 * [misc]backup-simplify: Simplify 1 into 1 1547110152.792 * [misc]taylor: Taking taylor expansion of b1 in b2 1547110152.792 * [misc]backup-simplify: Simplify b1 into b1 1547110152.792 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1547110152.792 * [misc]taylor: Taking taylor expansion of a1 in b2 1547110152.792 * [misc]backup-simplify: Simplify a1 into a1 1547110152.792 * [misc]taylor: Taking taylor expansion of a2 in b2 1547110152.792 * [misc]backup-simplify: Simplify a2 into a2 1547110152.792 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1547110152.792 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1547110152.792 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1547110152.792 * [misc]backup-simplify: Simplify (/ b1 (* a1 a2)) into (/ b1 (* a1 a2)) 1547110152.793 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b1 1547110152.793 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110152.793 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110152.793 * [misc]backup-simplify: Simplify b2 into b2 1547110152.793 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110152.793 * [misc]backup-simplify: Simplify 0 into 0 1547110152.793 * [misc]backup-simplify: Simplify 1 into 1 1547110152.793 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1547110152.793 * [misc]taylor: Taking taylor expansion of a1 in b1 1547110152.793 * [misc]backup-simplify: Simplify a1 into a1 1547110152.793 * [misc]taylor: Taking taylor expansion of a2 in b1 1547110152.793 * [misc]backup-simplify: Simplify a2 into a2 1547110152.793 * [misc]backup-simplify: Simplify (* b2 0) into 0 1547110152.793 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1547110152.793 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1547110152.793 * [misc]backup-simplify: Simplify (/ b2 (* a1 a2)) into (/ b2 (* a1 a2)) 1547110152.793 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a2 1547110152.793 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1547110152.793 * [misc]taylor: Taking taylor expansion of b2 in a2 1547110152.793 * [misc]backup-simplify: Simplify b2 into b2 1547110152.793 * [misc]taylor: Taking taylor expansion of b1 in a2 1547110152.793 * [misc]backup-simplify: Simplify b1 into b1 1547110152.793 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1547110152.793 * [misc]taylor: Taking taylor expansion of a1 in a2 1547110152.793 * [misc]backup-simplify: Simplify a1 into a1 1547110152.793 * [misc]taylor: Taking taylor expansion of a2 in a2 1547110152.793 * [misc]backup-simplify: Simplify 0 into 0 1547110152.793 * [misc]backup-simplify: Simplify 1 into 1 1547110152.794 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110152.794 * [misc]backup-simplify: Simplify (* a1 0) into 0 1547110152.794 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1547110152.794 * [misc]backup-simplify: Simplify (/ (* b2 b1) a1) into (/ (* b2 b1) a1) 1547110152.794 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1547110152.794 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1547110152.794 * [misc]taylor: Taking taylor expansion of b2 in a1 1547110152.794 * [misc]backup-simplify: Simplify b2 into b2 1547110152.794 * [misc]taylor: Taking taylor expansion of b1 in a1 1547110152.794 * [misc]backup-simplify: Simplify b1 into b1 1547110152.794 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1547110152.794 * [misc]taylor: Taking taylor expansion of a1 in a1 1547110152.794 * [misc]backup-simplify: Simplify 0 into 0 1547110152.794 * [misc]backup-simplify: Simplify 1 into 1 1547110152.794 * [misc]taylor: Taking taylor expansion of a2 in a1 1547110152.794 * [misc]backup-simplify: Simplify a2 into a2 1547110152.794 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110152.794 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1547110152.794 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1547110152.795 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1547110152.795 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1547110152.795 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1547110152.795 * [misc]taylor: Taking taylor expansion of b2 in a1 1547110152.795 * [misc]backup-simplify: Simplify b2 into b2 1547110152.795 * [misc]taylor: Taking taylor expansion of b1 in a1 1547110152.795 * [misc]backup-simplify: Simplify b1 into b1 1547110152.795 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1547110152.795 * [misc]taylor: Taking taylor expansion of a1 in a1 1547110152.795 * [misc]backup-simplify: Simplify 0 into 0 1547110152.795 * [misc]backup-simplify: Simplify 1 into 1 1547110152.795 * [misc]taylor: Taking taylor expansion of a2 in a1 1547110152.795 * [misc]backup-simplify: Simplify a2 into a2 1547110152.795 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110152.795 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1547110152.795 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1547110152.795 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1547110152.795 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) a2) in a2 1547110152.795 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1547110152.795 * [misc]taylor: Taking taylor expansion of b2 in a2 1547110152.795 * [misc]backup-simplify: Simplify b2 into b2 1547110152.795 * [misc]taylor: Taking taylor expansion of b1 in a2 1547110152.796 * [misc]backup-simplify: Simplify b1 into b1 1547110152.796 * [misc]taylor: Taking taylor expansion of a2 in a2 1547110152.796 * [misc]backup-simplify: Simplify 0 into 0 1547110152.796 * [misc]backup-simplify: Simplify 1 into 1 1547110152.796 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110152.796 * [misc]backup-simplify: Simplify (/ (* b2 b1) 1) into (* b2 b1) 1547110152.796 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110152.796 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110152.796 * [misc]backup-simplify: Simplify b2 into b2 1547110152.796 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110152.796 * [misc]backup-simplify: Simplify 0 into 0 1547110152.796 * [misc]backup-simplify: Simplify 1 into 1 1547110152.796 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1547110152.796 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110152.796 * [misc]backup-simplify: Simplify 0 into 0 1547110152.796 * [misc]backup-simplify: Simplify 1 into 1 1547110152.796 * [misc]backup-simplify: Simplify 1 into 1 1547110152.796 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1547110152.797 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1547110152.797 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)))) into 0 1547110152.797 * [misc]taylor: Taking taylor expansion of 0 in a2 1547110152.797 * [misc]backup-simplify: Simplify 0 into 0 1547110152.797 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1547110152.797 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)))) into 0 1547110152.798 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110152.798 * [misc]backup-simplify: Simplify 0 into 0 1547110152.798 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110152.798 * [misc]backup-simplify: Simplify 0 into 0 1547110152.798 * [misc]backup-simplify: Simplify 0 into 0 1547110152.798 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1547110152.798 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110152.798 * [misc]backup-simplify: Simplify 0 into 0 1547110152.798 * [misc]backup-simplify: Simplify 0 into 0 1547110152.798 * [misc]backup-simplify: Simplify 0 into 0 1547110152.798 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1547110152.799 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1547110152.799 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1547110152.799 * [misc]taylor: Taking taylor expansion of 0 in a2 1547110152.799 * [misc]backup-simplify: Simplify 0 into 0 1547110152.799 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110152.799 * [misc]backup-simplify: Simplify 0 into 0 1547110152.799 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110152.799 * [misc]backup-simplify: Simplify 0 into 0 1547110152.799 * [misc]backup-simplify: Simplify 0 into 0 1547110152.800 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1547110152.800 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110152.800 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110152.800 * [misc]backup-simplify: Simplify 0 into 0 1547110152.800 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110152.800 * [misc]backup-simplify: Simplify 0 into 0 1547110152.800 * [misc]backup-simplify: Simplify 0 into 0 1547110152.800 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110152.800 * [misc]backup-simplify: Simplify 0 into 0 1547110152.800 * [misc]backup-simplify: Simplify 0 into 0 1547110152.801 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b2) (* (/ 1 b1) (* (/ 1 (/ 1 a2)) (/ 1 (/ 1 a1)))))) into (/ (* a1 a2) (* b2 b1)) 1547110152.801 * [misc]backup-simplify: Simplify (/ (* (/ 1 (- a1)) (/ 1 (- a2))) (* (/ 1 (- b1)) (/ 1 (- b2)))) into (/ (* b2 b1) (* a1 a2)) 1547110152.801 * [misc]approximate: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in (a1 a2 b1 b2) around 0 1547110152.801 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b2 1547110152.801 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1547110152.801 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110152.801 * [misc]backup-simplify: Simplify 0 into 0 1547110152.801 * [misc]backup-simplify: Simplify 1 into 1 1547110152.801 * [misc]taylor: Taking taylor expansion of b1 in b2 1547110152.801 * [misc]backup-simplify: Simplify b1 into b1 1547110152.801 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1547110152.801 * [misc]taylor: Taking taylor expansion of a1 in b2 1547110152.801 * [misc]backup-simplify: Simplify a1 into a1 1547110152.801 * [misc]taylor: Taking taylor expansion of a2 in b2 1547110152.801 * [misc]backup-simplify: Simplify a2 into a2 1547110152.801 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1547110152.801 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1547110152.802 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1547110152.802 * [misc]backup-simplify: Simplify (/ b1 (* a1 a2)) into (/ b1 (* a1 a2)) 1547110152.802 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b1 1547110152.802 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110152.802 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110152.802 * [misc]backup-simplify: Simplify b2 into b2 1547110152.802 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110152.802 * [misc]backup-simplify: Simplify 0 into 0 1547110152.802 * [misc]backup-simplify: Simplify 1 into 1 1547110152.802 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1547110152.802 * [misc]taylor: Taking taylor expansion of a1 in b1 1547110152.802 * [misc]backup-simplify: Simplify a1 into a1 1547110152.802 * [misc]taylor: Taking taylor expansion of a2 in b1 1547110152.802 * [misc]backup-simplify: Simplify a2 into a2 1547110152.802 * [misc]backup-simplify: Simplify (* b2 0) into 0 1547110152.802 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1547110152.802 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1547110152.802 * [misc]backup-simplify: Simplify (/ b2 (* a1 a2)) into (/ b2 (* a1 a2)) 1547110152.802 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a2 1547110152.802 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1547110152.802 * [misc]taylor: Taking taylor expansion of b2 in a2 1547110152.802 * [misc]backup-simplify: Simplify b2 into b2 1547110152.802 * [misc]taylor: Taking taylor expansion of b1 in a2 1547110152.802 * [misc]backup-simplify: Simplify b1 into b1 1547110152.802 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1547110152.802 * [misc]taylor: Taking taylor expansion of a1 in a2 1547110152.803 * [misc]backup-simplify: Simplify a1 into a1 1547110152.803 * [misc]taylor: Taking taylor expansion of a2 in a2 1547110152.803 * [misc]backup-simplify: Simplify 0 into 0 1547110152.803 * [misc]backup-simplify: Simplify 1 into 1 1547110152.803 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110152.803 * [misc]backup-simplify: Simplify (* a1 0) into 0 1547110152.803 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1547110152.803 * [misc]backup-simplify: Simplify (/ (* b2 b1) a1) into (/ (* b2 b1) a1) 1547110152.803 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1547110152.803 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1547110152.803 * [misc]taylor: Taking taylor expansion of b2 in a1 1547110152.803 * [misc]backup-simplify: Simplify b2 into b2 1547110152.803 * [misc]taylor: Taking taylor expansion of b1 in a1 1547110152.803 * [misc]backup-simplify: Simplify b1 into b1 1547110152.803 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1547110152.803 * [misc]taylor: Taking taylor expansion of a1 in a1 1547110152.803 * [misc]backup-simplify: Simplify 0 into 0 1547110152.803 * [misc]backup-simplify: Simplify 1 into 1 1547110152.803 * [misc]taylor: Taking taylor expansion of a2 in a1 1547110152.803 * [misc]backup-simplify: Simplify a2 into a2 1547110152.803 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110152.804 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1547110152.804 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1547110152.804 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1547110152.804 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1547110152.804 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1547110152.804 * [misc]taylor: Taking taylor expansion of b2 in a1 1547110152.804 * [misc]backup-simplify: Simplify b2 into b2 1547110152.804 * [misc]taylor: Taking taylor expansion of b1 in a1 1547110152.804 * [misc]backup-simplify: Simplify b1 into b1 1547110152.804 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1547110152.804 * [misc]taylor: Taking taylor expansion of a1 in a1 1547110152.804 * [misc]backup-simplify: Simplify 0 into 0 1547110152.804 * [misc]backup-simplify: Simplify 1 into 1 1547110152.804 * [misc]taylor: Taking taylor expansion of a2 in a1 1547110152.804 * [misc]backup-simplify: Simplify a2 into a2 1547110152.804 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110152.804 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1547110152.805 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1547110152.805 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1547110152.805 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) a2) in a2 1547110152.805 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1547110152.805 * [misc]taylor: Taking taylor expansion of b2 in a2 1547110152.805 * [misc]backup-simplify: Simplify b2 into b2 1547110152.805 * [misc]taylor: Taking taylor expansion of b1 in a2 1547110152.805 * [misc]backup-simplify: Simplify b1 into b1 1547110152.805 * [misc]taylor: Taking taylor expansion of a2 in a2 1547110152.805 * [misc]backup-simplify: Simplify 0 into 0 1547110152.805 * [misc]backup-simplify: Simplify 1 into 1 1547110152.805 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110152.805 * [misc]backup-simplify: Simplify (/ (* b2 b1) 1) into (* b2 b1) 1547110152.805 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110152.805 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110152.805 * [misc]backup-simplify: Simplify b2 into b2 1547110152.805 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110152.805 * [misc]backup-simplify: Simplify 0 into 0 1547110152.805 * [misc]backup-simplify: Simplify 1 into 1 1547110152.805 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1547110152.805 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110152.805 * [misc]backup-simplify: Simplify 0 into 0 1547110152.806 * [misc]backup-simplify: Simplify 1 into 1 1547110152.806 * [misc]backup-simplify: Simplify 1 into 1 1547110152.806 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1547110152.806 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1547110152.806 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)))) into 0 1547110152.806 * [misc]taylor: Taking taylor expansion of 0 in a2 1547110152.806 * [misc]backup-simplify: Simplify 0 into 0 1547110152.806 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1547110152.807 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)))) into 0 1547110152.807 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110152.807 * [misc]backup-simplify: Simplify 0 into 0 1547110152.807 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110152.807 * [misc]backup-simplify: Simplify 0 into 0 1547110152.807 * [misc]backup-simplify: Simplify 0 into 0 1547110152.807 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1547110152.807 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110152.807 * [misc]backup-simplify: Simplify 0 into 0 1547110152.807 * [misc]backup-simplify: Simplify 0 into 0 1547110152.807 * [misc]backup-simplify: Simplify 0 into 0 1547110152.807 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1547110152.808 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1547110152.808 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1547110152.808 * [misc]taylor: Taking taylor expansion of 0 in a2 1547110152.808 * [misc]backup-simplify: Simplify 0 into 0 1547110152.808 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110152.808 * [misc]backup-simplify: Simplify 0 into 0 1547110152.808 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110152.808 * [misc]backup-simplify: Simplify 0 into 0 1547110152.808 * [misc]backup-simplify: Simplify 0 into 0 1547110152.809 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1547110152.809 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110152.809 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110152.809 * [misc]backup-simplify: Simplify 0 into 0 1547110152.809 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110152.809 * [misc]backup-simplify: Simplify 0 into 0 1547110152.809 * [misc]backup-simplify: Simplify 0 into 0 1547110152.809 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110152.809 * [misc]backup-simplify: Simplify 0 into 0 1547110152.809 * [misc]backup-simplify: Simplify 0 into 0 1547110152.810 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 (- b2)) (* (/ 1 (- b1)) (* (/ 1 (/ 1 (- a2))) (/ 1 (/ 1 (- a1))))))) into (/ (* a1 a2) (* b2 b1)) 1547110152.810 * * * [misc]progress: simplifying candidates 1547110152.810 * * * * [misc]progress: [ 1 / 18 ] simplifiying candidate # 1547110152.810 * * * * [misc]progress: [ 2 / 18 ] simplifiying candidate # 1547110152.810 * [enter]simplify: Simplifying (- (log (* a1 a2)) (log (* b1 b2))) 1547110152.810 * * [misc]simplify: iters left: 5 (9 enodes) 1547110152.813 * * [misc]simplify: iters left: 4 (19 enodes) 1547110152.818 * * [misc]simplify: iters left: 3 (31 enodes) 1547110152.827 * * [misc]simplify: iters left: 2 (57 enodes) 1547110152.847 * * [misc]simplify: iters left: 1 (113 enodes) 1547110152.873 * [exit]simplify: Simplified to (- (log (* a1 a2)) (log (* b1 b2))) 1547110152.873 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (exp (- (log (* a1 a2)) (log (* b1 b2))))) 1547110152.873 * * * * [misc]progress: [ 3 / 18 ] simplifiying candidate # 1547110152.873 * * * * [misc]progress: [ 4 / 18 ] simplifiying candidate # 1547110152.873 * * * * [misc]progress: [ 5 / 18 ] simplifiying candidate # 1547110152.873 * [enter]simplify: Simplifying (/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* (* b1 b2) (* b1 b2)) (* b1 b2))) 1547110152.873 * * [misc]simplify: iters left: 6 (11 enodes) 1547110152.876 * * [misc]simplify: iters left: 5 (34 enodes) 1547110152.891 * * [misc]simplify: iters left: 4 (183 enodes) 1547110153.054 * [exit]simplify: Simplified to (pow (* (/ a2 b2) (/ a1 b1)) 3) 1547110153.054 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (cbrt (pow (* (/ a2 b2) (/ a1 b1)) 3))) 1547110153.054 * * * * [misc]progress: [ 6 / 18 ] simplifiying candidate # 1547110153.054 * * * * [misc]progress: [ 7 / 18 ] simplifiying candidate # 1547110153.054 * * * * [misc]progress: [ 8 / 18 ] simplifiying candidate # 1547110153.054 * * * * [misc]progress: [ 9 / 18 ] simplifiying candidate # 1547110153.054 * * * * [misc]progress: [ 10 / 18 ] simplifiying candidate # 1547110153.054 * [enter]simplify: Simplifying (/ a1 b1) 1547110153.054 * * [misc]simplify: iters left: 2 (3 enodes) 1547110153.055 * [exit]simplify: Simplified to (/ a1 b1) 1547110153.055 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1547110153.056 * [enter]simplify: Simplifying (/ a2 b2) 1547110153.056 * * [misc]simplify: iters left: 2 (3 enodes) 1547110153.057 * [exit]simplify: Simplified to (/ a2 b2) 1547110153.057 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1547110153.057 * * * * [misc]progress: [ 11 / 18 ] simplifiying candidate # 1547110153.057 * * * * [misc]progress: [ 12 / 18 ] simplifiying candidate # 1547110153.057 * * * * [misc]progress: [ 13 / 18 ] simplifiying candidate # 1547110153.057 * * * * [misc]progress: [ 14 / 18 ] simplifiying candidate # 1547110153.057 * * * * [misc]progress: [ 15 / 18 ] simplifiying candidate # 1547110153.057 * * * * [misc]progress: [ 16 / 18 ] simplifiying candidate # 1547110153.057 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1547110153.057 * * [misc]simplify: iters left: 4 (7 enodes) 1547110153.060 * * [misc]simplify: iters left: 3 (16 enodes) 1547110153.065 * * [misc]simplify: iters left: 2 (35 enodes) 1547110153.075 * * [misc]simplify: iters left: 1 (58 enodes) 1547110153.091 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1547110153.091 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1547110153.091 * * * * [misc]progress: [ 17 / 18 ] simplifiying candidate # 1547110153.091 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1547110153.091 * * [misc]simplify: iters left: 4 (7 enodes) 1547110153.093 * * [misc]simplify: iters left: 3 (16 enodes) 1547110153.098 * * [misc]simplify: iters left: 2 (35 enodes) 1547110153.108 * * [misc]simplify: iters left: 1 (58 enodes) 1547110153.124 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1547110153.124 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1547110153.124 * * * * [misc]progress: [ 18 / 18 ] simplifiying candidate # 1547110153.125 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1547110153.125 * * [misc]simplify: iters left: 4 (7 enodes) 1547110153.127 * * [misc]simplify: iters left: 3 (16 enodes) 1547110153.132 * * [misc]simplify: iters left: 2 (35 enodes) 1547110153.142 * * [misc]simplify: iters left: 1 (58 enodes) 1547110153.157 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1547110153.158 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1547110153.158 * * * [misc]progress: adding candidates to table 1547110153.306 * * [misc]progress: iteration 2 / 4 1547110153.306 * * * [misc]progress: picking best candidate 1547110153.340 * * * * [misc]pick: Picked # 1547110153.340 * * * [misc]progress: localizing error 1547110153.346 * * * [misc]progress: generating rewritten candidates 1547110153.346 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1547110153.349 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2) 1547110153.350 * * * [misc]progress: generating series expansions 1547110153.350 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1547110153.351 * [misc]backup-simplify: Simplify (* (* a1 a2) (/ 1 (* b1 b2))) into (/ (* a1 a2) (* b2 b1)) 1547110153.351 * [misc]approximate: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in (a1 a2 b1 b2) around 0 1547110153.351 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in b2 1547110153.351 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1547110153.351 * [misc]taylor: Taking taylor expansion of a1 in b2 1547110153.351 * [misc]backup-simplify: Simplify a1 into a1 1547110153.351 * [misc]taylor: Taking taylor expansion of a2 in b2 1547110153.351 * [misc]backup-simplify: Simplify a2 into a2 1547110153.351 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1547110153.351 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110153.351 * [misc]backup-simplify: Simplify 0 into 0 1547110153.351 * [misc]backup-simplify: Simplify 1 into 1 1547110153.351 * [misc]taylor: Taking taylor expansion of b1 in b2 1547110153.351 * [misc]backup-simplify: Simplify b1 into b1 1547110153.351 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1547110153.351 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1547110153.351 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1547110153.351 * [misc]backup-simplify: Simplify (/ (* a1 a2) b1) into (/ (* a1 a2) b1) 1547110153.351 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in b1 1547110153.351 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1547110153.351 * [misc]taylor: Taking taylor expansion of a1 in b1 1547110153.351 * [misc]backup-simplify: Simplify a1 into a1 1547110153.351 * [misc]taylor: Taking taylor expansion of a2 in b1 1547110153.351 * [misc]backup-simplify: Simplify a2 into a2 1547110153.351 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110153.351 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110153.351 * [misc]backup-simplify: Simplify b2 into b2 1547110153.351 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110153.351 * [misc]backup-simplify: Simplify 0 into 0 1547110153.351 * [misc]backup-simplify: Simplify 1 into 1 1547110153.351 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1547110153.351 * [misc]backup-simplify: Simplify (* b2 0) into 0 1547110153.352 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1547110153.352 * [misc]backup-simplify: Simplify (/ (* a1 a2) b2) into (/ (* a1 a2) b2) 1547110153.352 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a2 1547110153.352 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1547110153.352 * [misc]taylor: Taking taylor expansion of a1 in a2 1547110153.352 * [misc]backup-simplify: Simplify a1 into a1 1547110153.352 * [misc]taylor: Taking taylor expansion of a2 in a2 1547110153.352 * [misc]backup-simplify: Simplify 0 into 0 1547110153.352 * [misc]backup-simplify: Simplify 1 into 1 1547110153.352 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1547110153.352 * [misc]taylor: Taking taylor expansion of b2 in a2 1547110153.352 * [misc]backup-simplify: Simplify b2 into b2 1547110153.352 * [misc]taylor: Taking taylor expansion of b1 in a2 1547110153.352 * [misc]backup-simplify: Simplify b1 into b1 1547110153.352 * [misc]backup-simplify: Simplify (* a1 0) into 0 1547110153.352 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1547110153.352 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110153.352 * [misc]backup-simplify: Simplify (/ a1 (* b2 b1)) into (/ a1 (* b2 b1)) 1547110153.352 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a1 1547110153.352 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1547110153.352 * [misc]taylor: Taking taylor expansion of a1 in a1 1547110153.352 * [misc]backup-simplify: Simplify 0 into 0 1547110153.352 * [misc]backup-simplify: Simplify 1 into 1 1547110153.352 * [misc]taylor: Taking taylor expansion of a2 in a1 1547110153.352 * [misc]backup-simplify: Simplify a2 into a2 1547110153.352 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1547110153.352 * [misc]taylor: Taking taylor expansion of b2 in a1 1547110153.352 * [misc]backup-simplify: Simplify b2 into b2 1547110153.352 * [misc]taylor: Taking taylor expansion of b1 in a1 1547110153.352 * [misc]backup-simplify: Simplify b1 into b1 1547110153.352 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1547110153.352 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1547110153.353 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110153.353 * [misc]backup-simplify: Simplify (/ a2 (* b2 b1)) into (/ a2 (* b2 b1)) 1547110153.353 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a1 1547110153.353 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1547110153.353 * [misc]taylor: Taking taylor expansion of a1 in a1 1547110153.353 * [misc]backup-simplify: Simplify 0 into 0 1547110153.353 * [misc]backup-simplify: Simplify 1 into 1 1547110153.353 * [misc]taylor: Taking taylor expansion of a2 in a1 1547110153.353 * [misc]backup-simplify: Simplify a2 into a2 1547110153.353 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1547110153.353 * [misc]taylor: Taking taylor expansion of b2 in a1 1547110153.353 * [misc]backup-simplify: Simplify b2 into b2 1547110153.353 * [misc]taylor: Taking taylor expansion of b1 in a1 1547110153.353 * [misc]backup-simplify: Simplify b1 into b1 1547110153.353 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1547110153.353 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1547110153.353 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110153.353 * [misc]backup-simplify: Simplify (/ a2 (* b2 b1)) into (/ a2 (* b2 b1)) 1547110153.353 * [misc]taylor: Taking taylor expansion of (/ a2 (* b2 b1)) in a2 1547110153.353 * [misc]taylor: Taking taylor expansion of a2 in a2 1547110153.353 * [misc]backup-simplify: Simplify 0 into 0 1547110153.353 * [misc]backup-simplify: Simplify 1 into 1 1547110153.353 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1547110153.353 * [misc]taylor: Taking taylor expansion of b2 in a2 1547110153.353 * [misc]backup-simplify: Simplify b2 into b2 1547110153.353 * [misc]taylor: Taking taylor expansion of b1 in a2 1547110153.353 * [misc]backup-simplify: Simplify b1 into b1 1547110153.353 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110153.353 * [misc]backup-simplify: Simplify (/ 1 (* b2 b1)) into (/ 1 (* b2 b1)) 1547110153.353 * [misc]taylor: Taking taylor expansion of (/ 1 (* b2 b1)) in b1 1547110153.353 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110153.353 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110153.353 * [misc]backup-simplify: Simplify b2 into b2 1547110153.353 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110153.353 * [misc]backup-simplify: Simplify 0 into 0 1547110153.353 * [misc]backup-simplify: Simplify 1 into 1 1547110153.354 * [misc]backup-simplify: Simplify (* b2 0) into 0 1547110153.354 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1547110153.354 * [misc]backup-simplify: Simplify (/ 1 b2) into (/ 1 b2) 1547110153.354 * [misc]taylor: Taking taylor expansion of (/ 1 b2) in b2 1547110153.354 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110153.354 * [misc]backup-simplify: Simplify 0 into 0 1547110153.354 * [misc]backup-simplify: Simplify 1 into 1 1547110153.354 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547110153.354 * [misc]backup-simplify: Simplify 1 into 1 1547110153.354 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1547110153.354 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1547110153.354 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))))) into 0 1547110153.354 * [misc]taylor: Taking taylor expansion of 0 in a2 1547110153.354 * [misc]backup-simplify: Simplify 0 into 0 1547110153.354 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110153.354 * [misc]backup-simplify: Simplify 0 into 0 1547110153.355 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1547110153.355 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))))) into 0 1547110153.355 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110153.355 * [misc]backup-simplify: Simplify 0 into 0 1547110153.355 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1547110153.355 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)))) into 0 1547110153.355 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.355 * [misc]backup-simplify: Simplify 0 into 0 1547110153.355 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1547110153.355 * [misc]backup-simplify: Simplify 0 into 0 1547110153.356 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1547110153.356 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1547110153.356 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1547110153.356 * [misc]taylor: Taking taylor expansion of 0 in a2 1547110153.356 * [misc]backup-simplify: Simplify 0 into 0 1547110153.356 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110153.356 * [misc]backup-simplify: Simplify 0 into 0 1547110153.356 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110153.356 * [misc]backup-simplify: Simplify 0 into 0 1547110153.356 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1547110153.356 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1547110153.356 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110153.356 * [misc]backup-simplify: Simplify 0 into 0 1547110153.356 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.356 * [misc]backup-simplify: Simplify 0 into 0 1547110153.356 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.356 * [misc]backup-simplify: Simplify 0 into 0 1547110153.357 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1547110153.357 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)) (* 0 (/ 0 b2)))) into 0 1547110153.357 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.357 * [misc]backup-simplify: Simplify 0 into 0 1547110153.357 * [misc]backup-simplify: Simplify 0 into 0 1547110153.357 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110153.357 * [misc]backup-simplify: Simplify 0 into 0 1547110153.357 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 a2))))) into 0 1547110153.358 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (* 0 b1)))) into 0 1547110153.358 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1547110153.358 * [misc]taylor: Taking taylor expansion of 0 in a2 1547110153.358 * [misc]backup-simplify: Simplify 0 into 0 1547110153.358 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110153.358 * [misc]backup-simplify: Simplify 0 into 0 1547110153.358 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110153.358 * [misc]backup-simplify: Simplify 0 into 0 1547110153.358 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110153.358 * [misc]backup-simplify: Simplify 0 into 0 1547110153.358 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (* 0 b1)))) into 0 1547110153.358 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1547110153.359 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110153.359 * [misc]backup-simplify: Simplify 0 into 0 1547110153.359 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.359 * [misc]backup-simplify: Simplify 0 into 0 1547110153.359 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.359 * [misc]backup-simplify: Simplify 0 into 0 1547110153.359 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.359 * [misc]backup-simplify: Simplify 0 into 0 1547110153.359 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.359 * [misc]backup-simplify: Simplify 0 into 0 1547110153.359 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.359 * [misc]backup-simplify: Simplify 0 into 0 1547110153.359 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1547110153.359 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)) (* 0 (/ 0 b2)) (* 0 (/ 0 b2)))) into 0 1547110153.359 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.359 * [misc]backup-simplify: Simplify 0 into 0 1547110153.359 * [misc]backup-simplify: Simplify 0 into 0 1547110153.359 * [misc]backup-simplify: Simplify 0 into 0 1547110153.359 * [misc]backup-simplify: Simplify 0 into 0 1547110153.359 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b2) (* (/ 1 b1) (* a2 a1)))) into (/ (* a1 a2) (* b2 b1)) 1547110153.360 * [misc]backup-simplify: Simplify (* (* (/ 1 a1) (/ 1 a2)) (/ 1 (* (/ 1 b1) (/ 1 b2)))) into (/ (* b2 b1) (* a1 a2)) 1547110153.360 * [misc]approximate: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in (a1 a2 b1 b2) around 0 1547110153.360 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b2 1547110153.360 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1547110153.360 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110153.360 * [misc]backup-simplify: Simplify 0 into 0 1547110153.360 * [misc]backup-simplify: Simplify 1 into 1 1547110153.360 * [misc]taylor: Taking taylor expansion of b1 in b2 1547110153.360 * [misc]backup-simplify: Simplify b1 into b1 1547110153.360 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1547110153.360 * [misc]taylor: Taking taylor expansion of a1 in b2 1547110153.360 * [misc]backup-simplify: Simplify a1 into a1 1547110153.360 * [misc]taylor: Taking taylor expansion of a2 in b2 1547110153.360 * [misc]backup-simplify: Simplify a2 into a2 1547110153.360 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1547110153.360 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1547110153.360 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1547110153.360 * [misc]backup-simplify: Simplify (/ b1 (* a1 a2)) into (/ b1 (* a1 a2)) 1547110153.360 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b1 1547110153.360 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110153.360 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110153.360 * [misc]backup-simplify: Simplify b2 into b2 1547110153.360 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110153.360 * [misc]backup-simplify: Simplify 0 into 0 1547110153.360 * [misc]backup-simplify: Simplify 1 into 1 1547110153.360 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1547110153.360 * [misc]taylor: Taking taylor expansion of a1 in b1 1547110153.360 * [misc]backup-simplify: Simplify a1 into a1 1547110153.360 * [misc]taylor: Taking taylor expansion of a2 in b1 1547110153.360 * [misc]backup-simplify: Simplify a2 into a2 1547110153.360 * [misc]backup-simplify: Simplify (* b2 0) into 0 1547110153.360 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1547110153.360 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1547110153.361 * [misc]backup-simplify: Simplify (/ b2 (* a1 a2)) into (/ b2 (* a1 a2)) 1547110153.361 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a2 1547110153.361 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1547110153.361 * [misc]taylor: Taking taylor expansion of b2 in a2 1547110153.361 * [misc]backup-simplify: Simplify b2 into b2 1547110153.361 * [misc]taylor: Taking taylor expansion of b1 in a2 1547110153.361 * [misc]backup-simplify: Simplify b1 into b1 1547110153.361 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1547110153.361 * [misc]taylor: Taking taylor expansion of a1 in a2 1547110153.361 * [misc]backup-simplify: Simplify a1 into a1 1547110153.361 * [misc]taylor: Taking taylor expansion of a2 in a2 1547110153.361 * [misc]backup-simplify: Simplify 0 into 0 1547110153.361 * [misc]backup-simplify: Simplify 1 into 1 1547110153.361 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110153.361 * [misc]backup-simplify: Simplify (* a1 0) into 0 1547110153.361 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1547110153.361 * [misc]backup-simplify: Simplify (/ (* b2 b1) a1) into (/ (* b2 b1) a1) 1547110153.361 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1547110153.361 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1547110153.361 * [misc]taylor: Taking taylor expansion of b2 in a1 1547110153.361 * [misc]backup-simplify: Simplify b2 into b2 1547110153.361 * [misc]taylor: Taking taylor expansion of b1 in a1 1547110153.361 * [misc]backup-simplify: Simplify b1 into b1 1547110153.361 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1547110153.361 * [misc]taylor: Taking taylor expansion of a1 in a1 1547110153.361 * [misc]backup-simplify: Simplify 0 into 0 1547110153.361 * [misc]backup-simplify: Simplify 1 into 1 1547110153.361 * [misc]taylor: Taking taylor expansion of a2 in a1 1547110153.361 * [misc]backup-simplify: Simplify a2 into a2 1547110153.361 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110153.361 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1547110153.361 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1547110153.361 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1547110153.361 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1547110153.361 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1547110153.361 * [misc]taylor: Taking taylor expansion of b2 in a1 1547110153.361 * [misc]backup-simplify: Simplify b2 into b2 1547110153.362 * [misc]taylor: Taking taylor expansion of b1 in a1 1547110153.362 * [misc]backup-simplify: Simplify b1 into b1 1547110153.362 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1547110153.362 * [misc]taylor: Taking taylor expansion of a1 in a1 1547110153.362 * [misc]backup-simplify: Simplify 0 into 0 1547110153.362 * [misc]backup-simplify: Simplify 1 into 1 1547110153.362 * [misc]taylor: Taking taylor expansion of a2 in a1 1547110153.362 * [misc]backup-simplify: Simplify a2 into a2 1547110153.362 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110153.362 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1547110153.362 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1547110153.362 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1547110153.362 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) a2) in a2 1547110153.362 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1547110153.362 * [misc]taylor: Taking taylor expansion of b2 in a2 1547110153.362 * [misc]backup-simplify: Simplify b2 into b2 1547110153.362 * [misc]taylor: Taking taylor expansion of b1 in a2 1547110153.362 * [misc]backup-simplify: Simplify b1 into b1 1547110153.362 * [misc]taylor: Taking taylor expansion of a2 in a2 1547110153.362 * [misc]backup-simplify: Simplify 0 into 0 1547110153.362 * [misc]backup-simplify: Simplify 1 into 1 1547110153.362 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110153.362 * [misc]backup-simplify: Simplify (/ (* b2 b1) 1) into (* b2 b1) 1547110153.362 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110153.362 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110153.362 * [misc]backup-simplify: Simplify b2 into b2 1547110153.362 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110153.362 * [misc]backup-simplify: Simplify 0 into 0 1547110153.362 * [misc]backup-simplify: Simplify 1 into 1 1547110153.362 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1547110153.362 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110153.362 * [misc]backup-simplify: Simplify 0 into 0 1547110153.362 * [misc]backup-simplify: Simplify 1 into 1 1547110153.362 * [misc]backup-simplify: Simplify 1 into 1 1547110153.363 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1547110153.363 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1547110153.363 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)))) into 0 1547110153.363 * [misc]taylor: Taking taylor expansion of 0 in a2 1547110153.363 * [misc]backup-simplify: Simplify 0 into 0 1547110153.363 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1547110153.363 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)))) into 0 1547110153.363 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110153.363 * [misc]backup-simplify: Simplify 0 into 0 1547110153.363 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.363 * [misc]backup-simplify: Simplify 0 into 0 1547110153.363 * [misc]backup-simplify: Simplify 0 into 0 1547110153.364 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1547110153.364 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.364 * [misc]backup-simplify: Simplify 0 into 0 1547110153.364 * [misc]backup-simplify: Simplify 0 into 0 1547110153.364 * [misc]backup-simplify: Simplify 0 into 0 1547110153.364 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1547110153.364 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1547110153.364 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1547110153.364 * [misc]taylor: Taking taylor expansion of 0 in a2 1547110153.364 * [misc]backup-simplify: Simplify 0 into 0 1547110153.364 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110153.364 * [misc]backup-simplify: Simplify 0 into 0 1547110153.364 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.364 * [misc]backup-simplify: Simplify 0 into 0 1547110153.364 * [misc]backup-simplify: Simplify 0 into 0 1547110153.365 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1547110153.365 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110153.365 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110153.365 * [misc]backup-simplify: Simplify 0 into 0 1547110153.365 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.365 * [misc]backup-simplify: Simplify 0 into 0 1547110153.365 * [misc]backup-simplify: Simplify 0 into 0 1547110153.365 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.365 * [misc]backup-simplify: Simplify 0 into 0 1547110153.365 * [misc]backup-simplify: Simplify 0 into 0 1547110153.365 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b2) (* (/ 1 b1) (* (/ 1 (/ 1 a2)) (/ 1 (/ 1 a1)))))) into (/ (* a1 a2) (* b2 b1)) 1547110153.365 * [misc]backup-simplify: Simplify (* (* (/ 1 (- a1)) (/ 1 (- a2))) (/ 1 (* (/ 1 (- b1)) (/ 1 (- b2))))) into (/ (* b2 b1) (* a1 a2)) 1547110153.365 * [misc]approximate: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in (a1 a2 b1 b2) around 0 1547110153.365 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b2 1547110153.365 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1547110153.365 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110153.365 * [misc]backup-simplify: Simplify 0 into 0 1547110153.365 * [misc]backup-simplify: Simplify 1 into 1 1547110153.365 * [misc]taylor: Taking taylor expansion of b1 in b2 1547110153.365 * [misc]backup-simplify: Simplify b1 into b1 1547110153.366 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1547110153.366 * [misc]taylor: Taking taylor expansion of a1 in b2 1547110153.366 * [misc]backup-simplify: Simplify a1 into a1 1547110153.366 * [misc]taylor: Taking taylor expansion of a2 in b2 1547110153.366 * [misc]backup-simplify: Simplify a2 into a2 1547110153.366 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1547110153.366 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1547110153.366 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1547110153.366 * [misc]backup-simplify: Simplify (/ b1 (* a1 a2)) into (/ b1 (* a1 a2)) 1547110153.366 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b1 1547110153.366 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110153.366 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110153.366 * [misc]backup-simplify: Simplify b2 into b2 1547110153.366 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110153.366 * [misc]backup-simplify: Simplify 0 into 0 1547110153.366 * [misc]backup-simplify: Simplify 1 into 1 1547110153.366 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1547110153.366 * [misc]taylor: Taking taylor expansion of a1 in b1 1547110153.366 * [misc]backup-simplify: Simplify a1 into a1 1547110153.366 * [misc]taylor: Taking taylor expansion of a2 in b1 1547110153.366 * [misc]backup-simplify: Simplify a2 into a2 1547110153.366 * [misc]backup-simplify: Simplify (* b2 0) into 0 1547110153.366 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1547110153.366 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1547110153.366 * [misc]backup-simplify: Simplify (/ b2 (* a1 a2)) into (/ b2 (* a1 a2)) 1547110153.366 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a2 1547110153.366 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1547110153.366 * [misc]taylor: Taking taylor expansion of b2 in a2 1547110153.366 * [misc]backup-simplify: Simplify b2 into b2 1547110153.366 * [misc]taylor: Taking taylor expansion of b1 in a2 1547110153.366 * [misc]backup-simplify: Simplify b1 into b1 1547110153.366 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1547110153.366 * [misc]taylor: Taking taylor expansion of a1 in a2 1547110153.366 * [misc]backup-simplify: Simplify a1 into a1 1547110153.366 * [misc]taylor: Taking taylor expansion of a2 in a2 1547110153.366 * [misc]backup-simplify: Simplify 0 into 0 1547110153.366 * [misc]backup-simplify: Simplify 1 into 1 1547110153.367 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110153.367 * [misc]backup-simplify: Simplify (* a1 0) into 0 1547110153.367 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1547110153.367 * [misc]backup-simplify: Simplify (/ (* b2 b1) a1) into (/ (* b2 b1) a1) 1547110153.367 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1547110153.367 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1547110153.367 * [misc]taylor: Taking taylor expansion of b2 in a1 1547110153.367 * [misc]backup-simplify: Simplify b2 into b2 1547110153.367 * [misc]taylor: Taking taylor expansion of b1 in a1 1547110153.367 * [misc]backup-simplify: Simplify b1 into b1 1547110153.367 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1547110153.367 * [misc]taylor: Taking taylor expansion of a1 in a1 1547110153.367 * [misc]backup-simplify: Simplify 0 into 0 1547110153.367 * [misc]backup-simplify: Simplify 1 into 1 1547110153.367 * [misc]taylor: Taking taylor expansion of a2 in a1 1547110153.367 * [misc]backup-simplify: Simplify a2 into a2 1547110153.367 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110153.367 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1547110153.367 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1547110153.367 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1547110153.367 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1547110153.367 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1547110153.367 * [misc]taylor: Taking taylor expansion of b2 in a1 1547110153.367 * [misc]backup-simplify: Simplify b2 into b2 1547110153.367 * [misc]taylor: Taking taylor expansion of b1 in a1 1547110153.367 * [misc]backup-simplify: Simplify b1 into b1 1547110153.367 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1547110153.367 * [misc]taylor: Taking taylor expansion of a1 in a1 1547110153.367 * [misc]backup-simplify: Simplify 0 into 0 1547110153.367 * [misc]backup-simplify: Simplify 1 into 1 1547110153.367 * [misc]taylor: Taking taylor expansion of a2 in a1 1547110153.367 * [misc]backup-simplify: Simplify a2 into a2 1547110153.367 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110153.367 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1547110153.368 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1547110153.368 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1547110153.368 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) a2) in a2 1547110153.368 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1547110153.368 * [misc]taylor: Taking taylor expansion of b2 in a2 1547110153.368 * [misc]backup-simplify: Simplify b2 into b2 1547110153.368 * [misc]taylor: Taking taylor expansion of b1 in a2 1547110153.368 * [misc]backup-simplify: Simplify b1 into b1 1547110153.368 * [misc]taylor: Taking taylor expansion of a2 in a2 1547110153.368 * [misc]backup-simplify: Simplify 0 into 0 1547110153.368 * [misc]backup-simplify: Simplify 1 into 1 1547110153.368 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110153.368 * [misc]backup-simplify: Simplify (/ (* b2 b1) 1) into (* b2 b1) 1547110153.368 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110153.368 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110153.368 * [misc]backup-simplify: Simplify b2 into b2 1547110153.368 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110153.368 * [misc]backup-simplify: Simplify 0 into 0 1547110153.368 * [misc]backup-simplify: Simplify 1 into 1 1547110153.368 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1547110153.368 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110153.368 * [misc]backup-simplify: Simplify 0 into 0 1547110153.368 * [misc]backup-simplify: Simplify 1 into 1 1547110153.368 * [misc]backup-simplify: Simplify 1 into 1 1547110153.368 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1547110153.369 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1547110153.369 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)))) into 0 1547110153.369 * [misc]taylor: Taking taylor expansion of 0 in a2 1547110153.369 * [misc]backup-simplify: Simplify 0 into 0 1547110153.369 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1547110153.369 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)))) into 0 1547110153.369 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110153.369 * [misc]backup-simplify: Simplify 0 into 0 1547110153.369 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.369 * [misc]backup-simplify: Simplify 0 into 0 1547110153.369 * [misc]backup-simplify: Simplify 0 into 0 1547110153.369 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1547110153.369 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.369 * [misc]backup-simplify: Simplify 0 into 0 1547110153.369 * [misc]backup-simplify: Simplify 0 into 0 1547110153.369 * [misc]backup-simplify: Simplify 0 into 0 1547110153.370 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1547110153.370 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1547110153.370 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1547110153.370 * [misc]taylor: Taking taylor expansion of 0 in a2 1547110153.370 * [misc]backup-simplify: Simplify 0 into 0 1547110153.370 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110153.370 * [misc]backup-simplify: Simplify 0 into 0 1547110153.370 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.370 * [misc]backup-simplify: Simplify 0 into 0 1547110153.370 * [misc]backup-simplify: Simplify 0 into 0 1547110153.370 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1547110153.371 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110153.371 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110153.371 * [misc]backup-simplify: Simplify 0 into 0 1547110153.371 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.371 * [misc]backup-simplify: Simplify 0 into 0 1547110153.371 * [misc]backup-simplify: Simplify 0 into 0 1547110153.371 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.371 * [misc]backup-simplify: Simplify 0 into 0 1547110153.371 * [misc]backup-simplify: Simplify 0 into 0 1547110153.371 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 (- b2)) (* (/ 1 (- b1)) (* (/ 1 (/ 1 (- a2))) (/ 1 (/ 1 (- a1))))))) into (/ (* a1 a2) (* b2 b1)) 1547110153.371 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2) 1547110153.371 * [misc]backup-simplify: Simplify (/ 1 (* b1 b2)) into (/ 1 (* b2 b1)) 1547110153.371 * [misc]approximate: Taking taylor expansion of (/ 1 (* b2 b1)) in (b1 b2) around 0 1547110153.371 * [misc]taylor: Taking taylor expansion of (/ 1 (* b2 b1)) in b2 1547110153.371 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1547110153.371 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110153.371 * [misc]backup-simplify: Simplify 0 into 0 1547110153.371 * [misc]backup-simplify: Simplify 1 into 1 1547110153.371 * [misc]taylor: Taking taylor expansion of b1 in b2 1547110153.371 * [misc]backup-simplify: Simplify b1 into b1 1547110153.371 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1547110153.371 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1547110153.371 * [misc]backup-simplify: Simplify (/ 1 b1) into (/ 1 b1) 1547110153.371 * [misc]taylor: Taking taylor expansion of (/ 1 (* b2 b1)) in b1 1547110153.371 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110153.371 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110153.371 * [misc]backup-simplify: Simplify b2 into b2 1547110153.372 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110153.372 * [misc]backup-simplify: Simplify 0 into 0 1547110153.372 * [misc]backup-simplify: Simplify 1 into 1 1547110153.372 * [misc]backup-simplify: Simplify (* b2 0) into 0 1547110153.372 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1547110153.372 * [misc]backup-simplify: Simplify (/ 1 b2) into (/ 1 b2) 1547110153.372 * [misc]taylor: Taking taylor expansion of (/ 1 (* b2 b1)) in b1 1547110153.372 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110153.372 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110153.372 * [misc]backup-simplify: Simplify b2 into b2 1547110153.372 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110153.372 * [misc]backup-simplify: Simplify 0 into 0 1547110153.372 * [misc]backup-simplify: Simplify 1 into 1 1547110153.372 * [misc]backup-simplify: Simplify (* b2 0) into 0 1547110153.372 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1547110153.372 * [misc]backup-simplify: Simplify (/ 1 b2) into (/ 1 b2) 1547110153.372 * [misc]taylor: Taking taylor expansion of (/ 1 b2) in b2 1547110153.372 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110153.372 * [misc]backup-simplify: Simplify 0 into 0 1547110153.372 * [misc]backup-simplify: Simplify 1 into 1 1547110153.372 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547110153.372 * [misc]backup-simplify: Simplify 1 into 1 1547110153.372 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1547110153.373 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)))) into 0 1547110153.373 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.373 * [misc]backup-simplify: Simplify 0 into 0 1547110153.373 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1547110153.373 * [misc]backup-simplify: Simplify 0 into 0 1547110153.373 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1547110153.373 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)) (* 0 (/ 0 b2)))) into 0 1547110153.373 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.373 * [misc]backup-simplify: Simplify 0 into 0 1547110153.373 * [misc]backup-simplify: Simplify 0 into 0 1547110153.373 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110153.373 * [misc]backup-simplify: Simplify 0 into 0 1547110153.374 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1547110153.374 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)) (* 0 (/ 0 b2)) (* 0 (/ 0 b2)))) into 0 1547110153.374 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.374 * [misc]backup-simplify: Simplify 0 into 0 1547110153.374 * [misc]backup-simplify: Simplify 0 into 0 1547110153.374 * [misc]backup-simplify: Simplify 0 into 0 1547110153.374 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110153.374 * [misc]backup-simplify: Simplify 0 into 0 1547110153.374 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b2) (/ 1 b1))) into (/ 1 (* b2 b1)) 1547110153.374 * [misc]backup-simplify: Simplify (/ 1 (* (/ 1 b1) (/ 1 b2))) into (* b2 b1) 1547110153.374 * [misc]approximate: Taking taylor expansion of (* b2 b1) in (b1 b2) around 0 1547110153.374 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1547110153.374 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110153.374 * [misc]backup-simplify: Simplify 0 into 0 1547110153.374 * [misc]backup-simplify: Simplify 1 into 1 1547110153.374 * [misc]taylor: Taking taylor expansion of b1 in b2 1547110153.374 * [misc]backup-simplify: Simplify b1 into b1 1547110153.374 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110153.374 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110153.374 * [misc]backup-simplify: Simplify b2 into b2 1547110153.374 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110153.374 * [misc]backup-simplify: Simplify 0 into 0 1547110153.374 * [misc]backup-simplify: Simplify 1 into 1 1547110153.374 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110153.375 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110153.375 * [misc]backup-simplify: Simplify b2 into b2 1547110153.375 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110153.375 * [misc]backup-simplify: Simplify 0 into 0 1547110153.375 * [misc]backup-simplify: Simplify 1 into 1 1547110153.375 * [misc]backup-simplify: Simplify (* b2 0) into 0 1547110153.375 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.375 * [misc]backup-simplify: Simplify 0 into 0 1547110153.375 * [misc]backup-simplify: Simplify 0 into 0 1547110153.375 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1547110153.375 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110153.375 * [misc]backup-simplify: Simplify 0 into 0 1547110153.375 * [misc]backup-simplify: Simplify 1 into 1 1547110153.375 * [misc]backup-simplify: Simplify 0 into 0 1547110153.375 * [misc]backup-simplify: Simplify 0 into 0 1547110153.375 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1547110153.375 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.375 * [misc]backup-simplify: Simplify 0 into 0 1547110153.375 * [misc]backup-simplify: Simplify 0 into 0 1547110153.375 * [misc]backup-simplify: Simplify 1 into 1 1547110153.375 * [misc]backup-simplify: Simplify 0 into 0 1547110153.375 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1547110153.375 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.376 * [misc]backup-simplify: Simplify 0 into 0 1547110153.376 * [misc]backup-simplify: Simplify 0 into 0 1547110153.376 * [misc]backup-simplify: Simplify 0 into 0 1547110153.376 * [misc]backup-simplify: Simplify 0 into 0 1547110153.376 * [misc]backup-simplify: Simplify 0 into 0 1547110153.376 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1547110153.376 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.376 * [misc]backup-simplify: Simplify 0 into 0 1547110153.376 * [misc]backup-simplify: Simplify 0 into 0 1547110153.376 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b2) (/ 1 b1))) into (/ 1 (* b2 b1)) 1547110153.376 * [misc]backup-simplify: Simplify (/ 1 (* (/ 1 (- b1)) (/ 1 (- b2)))) into (* b2 b1) 1547110153.376 * [misc]approximate: Taking taylor expansion of (* b2 b1) in (b1 b2) around 0 1547110153.376 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1547110153.376 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110153.376 * [misc]backup-simplify: Simplify 0 into 0 1547110153.376 * [misc]backup-simplify: Simplify 1 into 1 1547110153.376 * [misc]taylor: Taking taylor expansion of b1 in b2 1547110153.376 * [misc]backup-simplify: Simplify b1 into b1 1547110153.376 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110153.376 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110153.376 * [misc]backup-simplify: Simplify b2 into b2 1547110153.376 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110153.376 * [misc]backup-simplify: Simplify 0 into 0 1547110153.376 * [misc]backup-simplify: Simplify 1 into 1 1547110153.376 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110153.376 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110153.376 * [misc]backup-simplify: Simplify b2 into b2 1547110153.376 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110153.376 * [misc]backup-simplify: Simplify 0 into 0 1547110153.376 * [misc]backup-simplify: Simplify 1 into 1 1547110153.376 * [misc]backup-simplify: Simplify (* b2 0) into 0 1547110153.376 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.377 * [misc]backup-simplify: Simplify 0 into 0 1547110153.377 * [misc]backup-simplify: Simplify 0 into 0 1547110153.377 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1547110153.377 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110153.377 * [misc]backup-simplify: Simplify 0 into 0 1547110153.377 * [misc]backup-simplify: Simplify 1 into 1 1547110153.377 * [misc]backup-simplify: Simplify 0 into 0 1547110153.377 * [misc]backup-simplify: Simplify 0 into 0 1547110153.377 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1547110153.377 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.377 * [misc]backup-simplify: Simplify 0 into 0 1547110153.377 * [misc]backup-simplify: Simplify 0 into 0 1547110153.377 * [misc]backup-simplify: Simplify 1 into 1 1547110153.377 * [misc]backup-simplify: Simplify 0 into 0 1547110153.377 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1547110153.377 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.378 * [misc]backup-simplify: Simplify 0 into 0 1547110153.378 * [misc]backup-simplify: Simplify 0 into 0 1547110153.378 * [misc]backup-simplify: Simplify 0 into 0 1547110153.378 * [misc]backup-simplify: Simplify 0 into 0 1547110153.378 * [misc]backup-simplify: Simplify 0 into 0 1547110153.378 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1547110153.378 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110153.378 * [misc]backup-simplify: Simplify 0 into 0 1547110153.378 * [misc]backup-simplify: Simplify 0 into 0 1547110153.378 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 (- b2)) (/ 1 (- b1)))) into (/ 1 (* b2 b1)) 1547110153.378 * * * [misc]progress: simplifying candidates 1547110153.378 * * * * [misc]progress: [ 1 / 39 ] simplifiying candidate # 1547110153.378 * [enter]simplify: Simplifying (* (* a1 a2) (/ 1 (* b1 b2))) 1547110153.378 * * [misc]simplify: iters left: 6 (9 enodes) 1547110153.381 * * [misc]simplify: iters left: 5 (20 enodes) 1547110153.387 * * [misc]simplify: iters left: 4 (46 enodes) 1547110153.409 * * [misc]simplify: iters left: 3 (124 enodes) 1547110153.453 * * [misc]simplify: iters left: 2 (293 enodes) 1547110153.643 * * [misc]simplify: iters left: 1 (471 enodes) 1547110153.881 * [exit]simplify: Simplified to (* (/ a2 b2) (/ a1 b1)) 1547110153.881 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (pow (* (/ a2 b2) (/ a1 b1)) 1)) 1547110153.881 * * * * [misc]progress: [ 2 / 39 ] simplifiying candidate # 1547110153.881 * * * * [misc]progress: [ 3 / 39 ] simplifiying candidate # 1547110153.882 * [enter]simplify: Simplifying (+ (log (* a1 a2)) (- (log (* b1 b2)))) 1547110153.882 * * [misc]simplify: iters left: 6 (10 enodes) 1547110153.885 * * [misc]simplify: iters left: 5 (20 enodes) 1547110153.890 * * [misc]simplify: iters left: 4 (33 enodes) 1547110153.899 * * [misc]simplify: iters left: 3 (56 enodes) 1547110153.917 * * [misc]simplify: iters left: 2 (109 enodes) 1547110153.945 * * [misc]simplify: iters left: 1 (165 enodes) 1547110153.976 * [exit]simplify: Simplified to (- (log (* a1 a2)) (log (* b1 b2))) 1547110153.976 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (exp (- (log (* a1 a2)) (log (* b1 b2))))) 1547110153.976 * * * * [misc]progress: [ 4 / 39 ] simplifiying candidate # 1547110153.976 * [enter]simplify: Simplifying (+ (log (* a1 a2)) (log (/ 1 (* b1 b2)))) 1547110153.977 * * [misc]simplify: iters left: 6 (11 enodes) 1547110153.979 * * [misc]simplify: iters left: 5 (25 enodes) 1547110153.982 * * [misc]simplify: iters left: 4 (37 enodes) 1547110153.987 * * [misc]simplify: iters left: 3 (74 enodes) 1547110154.001 * * [misc]simplify: iters left: 2 (172 enodes) 1547110154.098 * * [misc]simplify: iters left: 1 (423 enodes) 1547110154.295 * [exit]simplify: Simplified to (- (log (* a1 a2)) (log (* b1 b2))) 1547110154.295 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (exp (- (log (* a1 a2)) (log (* b1 b2))))) 1547110154.295 * * * * [misc]progress: [ 5 / 39 ] simplifiying candidate # 1547110154.295 * * * * [misc]progress: [ 6 / 39 ] simplifiying candidate # 1547110154.295 * * * * [misc]progress: [ 7 / 39 ] simplifiying candidate # 1547110154.296 * [enter]simplify: Simplifying (* (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* (/ 1 (* b1 b2)) (/ 1 (* b1 b2))) (/ 1 (* b1 b2)))) 1547110154.296 * * [misc]simplify: iters left: 6 (13 enodes) 1547110154.298 * * [misc]simplify: iters left: 5 (38 enodes) 1547110154.307 * * [misc]simplify: iters left: 4 (122 enodes) 1547110154.373 * [exit]simplify: Simplified to (* (/ (* (* a1 a2) 1) (* (* b2 b1) (* b2 b1))) (* (/ (/ 1 b2) b1) (* (* a1 a2) (* a1 a2)))) 1547110154.373 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (cbrt (* (/ (* (* a1 a2) 1) (* (* b2 b1) (* b2 b1))) (* (/ (/ 1 b2) b1) (* (* a1 a2) (* a1 a2)))))) 1547110154.374 * * * * [misc]progress: [ 8 / 39 ] simplifiying candidate # 1547110154.374 * * * * [misc]progress: [ 9 / 39 ] simplifiying candidate # 1547110154.374 * * * * [misc]progress: [ 10 / 39 ] simplifiying candidate # 1547110154.374 * * * * [misc]progress: [ 11 / 39 ] simplifiying candidate # 1547110154.374 * * * * [misc]progress: [ 12 / 39 ] simplifiying candidate # 1547110154.374 * [enter]simplify: Simplifying (* b1 b2) 1547110154.374 * * [misc]simplify: iters left: 2 (3 enodes) 1547110154.375 * * [misc]simplify: iters left: 1 (4 enodes) 1547110154.376 * [exit]simplify: Simplified to (* b1 b2) 1547110154.376 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (/ (* a1 a2) (* b1 b2))) 1547110154.376 * * * * [misc]progress: [ 13 / 39 ] simplifiying candidate # 1547110154.376 * [enter]simplify: Simplifying (cbrt (/ 1 (* b1 b2))) 1547110154.376 * * [misc]simplify: iters left: 5 (6 enodes) 1547110154.378 * * [misc]simplify: iters left: 4 (11 enodes) 1547110154.381 * [exit]simplify: Simplified to (cbrt (/ 1 (* b2 b1))) 1547110154.381 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (* (* a1 a2) (* (cbrt (/ 1 (* b1 b2))) (cbrt (/ 1 (* b1 b2))))) (cbrt (/ 1 (* b2 b1))))) 1547110154.381 * * * * [misc]progress: [ 14 / 39 ] simplifiying candidate # 1547110154.381 * [enter]simplify: Simplifying (sqrt (/ 1 (* b1 b2))) 1547110154.381 * * [misc]simplify: iters left: 5 (6 enodes) 1547110154.383 * * [misc]simplify: iters left: 4 (11 enodes) 1547110154.385 * [exit]simplify: Simplified to (sqrt (/ 1 (* b2 b1))) 1547110154.385 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (* (* a1 a2) (sqrt (/ 1 (* b1 b2)))) (sqrt (/ 1 (* b2 b1))))) 1547110154.385 * * * * [misc]progress: [ 15 / 39 ] simplifiying candidate # 1547110154.386 * [enter]simplify: Simplifying (/ 1 (* b1 b2)) 1547110154.386 * * [misc]simplify: iters left: 4 (5 enodes) 1547110154.387 * * [misc]simplify: iters left: 3 (10 enodes) 1547110154.389 * [exit]simplify: Simplified to (/ 1 (* b2 b1)) 1547110154.389 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (* (* a1 a2) 1) (/ 1 (* b2 b1)))) 1547110154.390 * * * * [misc]progress: [ 16 / 39 ] simplifiying candidate # 1547110154.390 * [enter]simplify: Simplifying (/ 1 (* b1 b2)) 1547110154.390 * * [misc]simplify: iters left: 4 (5 enodes) 1547110154.391 * * [misc]simplify: iters left: 3 (10 enodes) 1547110154.393 * [exit]simplify: Simplified to (/ 1 (* b2 b1)) 1547110154.394 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (* (* a1 a2) 1) (/ 1 (* b2 b1)))) 1547110154.394 * * * * [misc]progress: [ 17 / 39 ] simplifiying candidate # 1547110154.394 * * * * [misc]progress: [ 18 / 39 ] simplifiying candidate # 1547110154.394 * [enter]simplify: Simplifying (* b1 b2) 1547110154.394 * * [misc]simplify: iters left: 2 (3 enodes) 1547110154.395 * * [misc]simplify: iters left: 1 (4 enodes) 1547110154.396 * [exit]simplify: Simplified to (* b1 b2) 1547110154.396 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (/ (* (* a1 a2) 1) (* b1 b2))) 1547110154.396 * * * * [misc]progress: [ 19 / 39 ] simplifiying candidate # 1547110154.396 * * * * [misc]progress: [ 20 / 39 ] simplifiying candidate # 1547110154.396 * * * * [misc]progress: [ 21 / 39 ] simplifiying candidate # 1547110154.396 * [enter]simplify: Simplifying (- 1) 1547110154.396 * * [misc]simplify: iters left: 2 (2 enodes) 1547110154.398 * * [misc]simplify: iters left: 1 (5 enodes) 1547110154.398 * [exit]simplify: Simplified to -1 1547110154.399 * [misc]simplify: Simplified (2 2 2) to (λ (a1 a2 b1 b2) (* (* a1 a2) (pow (* b1 b2) -1))) 1547110154.399 * * * * [misc]progress: [ 22 / 39 ] simplifiying candidate # 1547110154.399 * * * * [misc]progress: [ 23 / 39 ] simplifiying candidate # 1547110154.399 * * * * [misc]progress: [ 24 / 39 ] simplifiying candidate # 1547110154.399 * * * * [misc]progress: [ 25 / 39 ] simplifiying candidate # 1547110154.399 * * * * [misc]progress: [ 26 / 39 ] simplifiying candidate # 1547110154.399 * * * * [misc]progress: [ 27 / 39 ] simplifiying candidate # 1547110154.399 * * * * [misc]progress: [ 28 / 39 ] simplifiying candidate # 1547110154.399 * * * * [misc]progress: [ 29 / 39 ] simplifiying candidate # 1547110154.399 * * * * [misc]progress: [ 30 / 39 ] simplifiying candidate # 1547110154.399 * * * * [misc]progress: [ 31 / 39 ] simplifiying candidate # 1547110154.399 * * * * [misc]progress: [ 32 / 39 ] simplifiying candidate # 1547110154.399 * * * * [misc]progress: [ 33 / 39 ] simplifiying candidate # 1547110154.399 * * * * [misc]progress: [ 34 / 39 ] simplifiying candidate # 1547110154.399 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1547110154.400 * * [misc]simplify: iters left: 4 (7 enodes) 1547110154.402 * * [misc]simplify: iters left: 3 (16 enodes) 1547110154.406 * * [misc]simplify: iters left: 2 (35 enodes) 1547110154.415 * * [misc]simplify: iters left: 1 (58 enodes) 1547110154.429 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1547110154.429 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1547110154.429 * * * * [misc]progress: [ 35 / 39 ] simplifiying candidate # 1547110154.430 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1547110154.430 * * [misc]simplify: iters left: 4 (7 enodes) 1547110154.432 * * [misc]simplify: iters left: 3 (16 enodes) 1547110154.436 * * [misc]simplify: iters left: 2 (35 enodes) 1547110154.443 * * [misc]simplify: iters left: 1 (58 enodes) 1547110154.453 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1547110154.453 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1547110154.453 * * * * [misc]progress: [ 36 / 39 ] simplifiying candidate # 1547110154.453 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1547110154.453 * * [misc]simplify: iters left: 4 (7 enodes) 1547110154.454 * * [misc]simplify: iters left: 3 (16 enodes) 1547110154.457 * * [misc]simplify: iters left: 2 (35 enodes) 1547110154.462 * * [misc]simplify: iters left: 1 (58 enodes) 1547110154.473 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1547110154.473 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1547110154.473 * * * * [misc]progress: [ 37 / 39 ] simplifiying candidate # 1547110154.473 * [enter]simplify: Simplifying (/ 1 (* b2 b1)) 1547110154.473 * * [misc]simplify: iters left: 4 (5 enodes) 1547110154.475 * * [misc]simplify: iters left: 3 (10 enodes) 1547110154.477 * [exit]simplify: Simplified to (/ 1 (* b1 b2)) 1547110154.477 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (* a1 a2) (/ 1 (* b1 b2)))) 1547110154.477 * * * * [misc]progress: [ 38 / 39 ] simplifiying candidate # 1547110154.478 * [enter]simplify: Simplifying (/ 1 (* b2 b1)) 1547110154.478 * * [misc]simplify: iters left: 4 (5 enodes) 1547110154.479 * * [misc]simplify: iters left: 3 (10 enodes) 1547110154.482 * [exit]simplify: Simplified to (/ 1 (* b1 b2)) 1547110154.482 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (* a1 a2) (/ 1 (* b1 b2)))) 1547110154.482 * * * * [misc]progress: [ 39 / 39 ] simplifiying candidate # 1547110154.482 * [enter]simplify: Simplifying (/ 1 (* b2 b1)) 1547110154.482 * * [misc]simplify: iters left: 4 (5 enodes) 1547110154.484 * * [misc]simplify: iters left: 3 (10 enodes) 1547110154.487 * [exit]simplify: Simplified to (/ 1 (* b1 b2)) 1547110154.487 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (* a1 a2) (/ 1 (* b1 b2)))) 1547110154.487 * * * [misc]progress: adding candidates to table 1547110154.887 * * [misc]progress: iteration 3 / 4 1547110154.887 * * * [misc]progress: picking best candidate 1547110154.911 * * * * [misc]pick: Picked # 1547110154.911 * * * [misc]progress: localizing error 1547110154.919 * * * [misc]progress: generating rewritten candidates 1547110154.919 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1547110154.926 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2) 1547110154.932 * * * [misc]progress: generating series expansions 1547110154.932 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1547110154.932 * [misc]backup-simplify: Simplify (* (* a1 a2) (/ (/ 1 b1) b2)) into (/ (* a1 a2) (* b2 b1)) 1547110154.932 * [misc]approximate: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in (a1 a2 b1 b2) around 0 1547110154.932 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in b2 1547110154.932 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1547110154.932 * [misc]taylor: Taking taylor expansion of a1 in b2 1547110154.932 * [misc]backup-simplify: Simplify a1 into a1 1547110154.932 * [misc]taylor: Taking taylor expansion of a2 in b2 1547110154.932 * [misc]backup-simplify: Simplify a2 into a2 1547110154.932 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1547110154.932 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110154.932 * [misc]backup-simplify: Simplify 0 into 0 1547110154.932 * [misc]backup-simplify: Simplify 1 into 1 1547110154.932 * [misc]taylor: Taking taylor expansion of b1 in b2 1547110154.932 * [misc]backup-simplify: Simplify b1 into b1 1547110154.932 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1547110154.932 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1547110154.933 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1547110154.933 * [misc]backup-simplify: Simplify (/ (* a1 a2) b1) into (/ (* a1 a2) b1) 1547110154.933 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in b1 1547110154.933 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1547110154.933 * [misc]taylor: Taking taylor expansion of a1 in b1 1547110154.933 * [misc]backup-simplify: Simplify a1 into a1 1547110154.933 * [misc]taylor: Taking taylor expansion of a2 in b1 1547110154.933 * [misc]backup-simplify: Simplify a2 into a2 1547110154.933 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110154.933 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110154.933 * [misc]backup-simplify: Simplify b2 into b2 1547110154.933 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110154.933 * [misc]backup-simplify: Simplify 0 into 0 1547110154.933 * [misc]backup-simplify: Simplify 1 into 1 1547110154.933 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1547110154.933 * [misc]backup-simplify: Simplify (* b2 0) into 0 1547110154.934 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1547110154.934 * [misc]backup-simplify: Simplify (/ (* a1 a2) b2) into (/ (* a1 a2) b2) 1547110154.934 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a2 1547110154.934 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1547110154.934 * [misc]taylor: Taking taylor expansion of a1 in a2 1547110154.934 * [misc]backup-simplify: Simplify a1 into a1 1547110154.934 * [misc]taylor: Taking taylor expansion of a2 in a2 1547110154.934 * [misc]backup-simplify: Simplify 0 into 0 1547110154.934 * [misc]backup-simplify: Simplify 1 into 1 1547110154.934 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1547110154.934 * [misc]taylor: Taking taylor expansion of b2 in a2 1547110154.934 * [misc]backup-simplify: Simplify b2 into b2 1547110154.934 * [misc]taylor: Taking taylor expansion of b1 in a2 1547110154.934 * [misc]backup-simplify: Simplify b1 into b1 1547110154.934 * [misc]backup-simplify: Simplify (* a1 0) into 0 1547110154.934 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1547110154.934 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110154.934 * [misc]backup-simplify: Simplify (/ a1 (* b2 b1)) into (/ a1 (* b2 b1)) 1547110154.934 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a1 1547110154.934 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1547110154.934 * [misc]taylor: Taking taylor expansion of a1 in a1 1547110154.934 * [misc]backup-simplify: Simplify 0 into 0 1547110154.934 * [misc]backup-simplify: Simplify 1 into 1 1547110154.934 * [misc]taylor: Taking taylor expansion of a2 in a1 1547110154.935 * [misc]backup-simplify: Simplify a2 into a2 1547110154.935 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1547110154.935 * [misc]taylor: Taking taylor expansion of b2 in a1 1547110154.935 * [misc]backup-simplify: Simplify b2 into b2 1547110154.935 * [misc]taylor: Taking taylor expansion of b1 in a1 1547110154.935 * [misc]backup-simplify: Simplify b1 into b1 1547110154.935 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1547110154.935 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1547110154.935 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110154.935 * [misc]backup-simplify: Simplify (/ a2 (* b2 b1)) into (/ a2 (* b2 b1)) 1547110154.935 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a1 1547110154.935 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1547110154.935 * [misc]taylor: Taking taylor expansion of a1 in a1 1547110154.935 * [misc]backup-simplify: Simplify 0 into 0 1547110154.935 * [misc]backup-simplify: Simplify 1 into 1 1547110154.935 * [misc]taylor: Taking taylor expansion of a2 in a1 1547110154.935 * [misc]backup-simplify: Simplify a2 into a2 1547110154.935 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1547110154.935 * [misc]taylor: Taking taylor expansion of b2 in a1 1547110154.935 * [misc]backup-simplify: Simplify b2 into b2 1547110154.935 * [misc]taylor: Taking taylor expansion of b1 in a1 1547110154.935 * [misc]backup-simplify: Simplify b1 into b1 1547110154.935 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1547110154.936 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1547110154.936 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110154.936 * [misc]backup-simplify: Simplify (/ a2 (* b2 b1)) into (/ a2 (* b2 b1)) 1547110154.936 * [misc]taylor: Taking taylor expansion of (/ a2 (* b2 b1)) in a2 1547110154.936 * [misc]taylor: Taking taylor expansion of a2 in a2 1547110154.936 * [misc]backup-simplify: Simplify 0 into 0 1547110154.936 * [misc]backup-simplify: Simplify 1 into 1 1547110154.936 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1547110154.936 * [misc]taylor: Taking taylor expansion of b2 in a2 1547110154.936 * [misc]backup-simplify: Simplify b2 into b2 1547110154.936 * [misc]taylor: Taking taylor expansion of b1 in a2 1547110154.936 * [misc]backup-simplify: Simplify b1 into b1 1547110154.936 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110154.936 * [misc]backup-simplify: Simplify (/ 1 (* b2 b1)) into (/ 1 (* b2 b1)) 1547110154.936 * [misc]taylor: Taking taylor expansion of (/ 1 (* b2 b1)) in b1 1547110154.936 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110154.936 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110154.936 * [misc]backup-simplify: Simplify b2 into b2 1547110154.936 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110154.936 * [misc]backup-simplify: Simplify 0 into 0 1547110154.936 * [misc]backup-simplify: Simplify 1 into 1 1547110154.936 * [misc]backup-simplify: Simplify (* b2 0) into 0 1547110154.937 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1547110154.937 * [misc]backup-simplify: Simplify (/ 1 b2) into (/ 1 b2) 1547110154.937 * [misc]taylor: Taking taylor expansion of (/ 1 b2) in b2 1547110154.937 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110154.937 * [misc]backup-simplify: Simplify 0 into 0 1547110154.937 * [misc]backup-simplify: Simplify 1 into 1 1547110154.937 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547110154.937 * [misc]backup-simplify: Simplify 1 into 1 1547110154.937 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1547110154.937 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1547110154.938 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))))) into 0 1547110154.938 * [misc]taylor: Taking taylor expansion of 0 in a2 1547110154.938 * [misc]backup-simplify: Simplify 0 into 0 1547110154.938 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110154.938 * [misc]backup-simplify: Simplify 0 into 0 1547110154.938 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1547110154.938 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))))) into 0 1547110154.938 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110154.938 * [misc]backup-simplify: Simplify 0 into 0 1547110154.938 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1547110154.939 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)))) into 0 1547110154.939 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.939 * [misc]backup-simplify: Simplify 0 into 0 1547110154.939 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1547110154.939 * [misc]backup-simplify: Simplify 0 into 0 1547110154.939 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1547110154.940 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1547110154.940 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1547110154.940 * [misc]taylor: Taking taylor expansion of 0 in a2 1547110154.940 * [misc]backup-simplify: Simplify 0 into 0 1547110154.940 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110154.940 * [misc]backup-simplify: Simplify 0 into 0 1547110154.940 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110154.940 * [misc]backup-simplify: Simplify 0 into 0 1547110154.940 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1547110154.941 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1547110154.941 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110154.941 * [misc]backup-simplify: Simplify 0 into 0 1547110154.941 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.941 * [misc]backup-simplify: Simplify 0 into 0 1547110154.941 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.941 * [misc]backup-simplify: Simplify 0 into 0 1547110154.941 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1547110154.941 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)) (* 0 (/ 0 b2)))) into 0 1547110154.941 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.941 * [misc]backup-simplify: Simplify 0 into 0 1547110154.941 * [misc]backup-simplify: Simplify 0 into 0 1547110154.942 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110154.942 * [misc]backup-simplify: Simplify 0 into 0 1547110154.942 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 a2))))) into 0 1547110154.943 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (* 0 b1)))) into 0 1547110154.943 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1547110154.943 * [misc]taylor: Taking taylor expansion of 0 in a2 1547110154.943 * [misc]backup-simplify: Simplify 0 into 0 1547110154.943 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110154.943 * [misc]backup-simplify: Simplify 0 into 0 1547110154.943 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110154.943 * [misc]backup-simplify: Simplify 0 into 0 1547110154.943 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110154.943 * [misc]backup-simplify: Simplify 0 into 0 1547110154.944 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (* 0 b1)))) into 0 1547110154.944 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1547110154.944 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110154.944 * [misc]backup-simplify: Simplify 0 into 0 1547110154.944 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.944 * [misc]backup-simplify: Simplify 0 into 0 1547110154.944 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.944 * [misc]backup-simplify: Simplify 0 into 0 1547110154.944 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.944 * [misc]backup-simplify: Simplify 0 into 0 1547110154.944 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.944 * [misc]backup-simplify: Simplify 0 into 0 1547110154.944 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.944 * [misc]backup-simplify: Simplify 0 into 0 1547110154.944 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1547110154.944 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)) (* 0 (/ 0 b2)) (* 0 (/ 0 b2)))) into 0 1547110154.944 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.944 * [misc]backup-simplify: Simplify 0 into 0 1547110154.944 * [misc]backup-simplify: Simplify 0 into 0 1547110154.944 * [misc]backup-simplify: Simplify 0 into 0 1547110154.944 * [misc]backup-simplify: Simplify 0 into 0 1547110154.945 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b2) (* (/ 1 b1) (* a2 a1)))) into (/ (* a1 a2) (* b2 b1)) 1547110154.945 * [misc]backup-simplify: Simplify (* (* (/ 1 a1) (/ 1 a2)) (/ (/ 1 (/ 1 b1)) (/ 1 b2))) into (/ (* b2 b1) (* a1 a2)) 1547110154.945 * [misc]approximate: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in (a1 a2 b1 b2) around 0 1547110154.945 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b2 1547110154.945 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1547110154.945 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110154.945 * [misc]backup-simplify: Simplify 0 into 0 1547110154.945 * [misc]backup-simplify: Simplify 1 into 1 1547110154.945 * [misc]taylor: Taking taylor expansion of b1 in b2 1547110154.945 * [misc]backup-simplify: Simplify b1 into b1 1547110154.945 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1547110154.945 * [misc]taylor: Taking taylor expansion of a1 in b2 1547110154.945 * [misc]backup-simplify: Simplify a1 into a1 1547110154.945 * [misc]taylor: Taking taylor expansion of a2 in b2 1547110154.945 * [misc]backup-simplify: Simplify a2 into a2 1547110154.945 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1547110154.945 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1547110154.945 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1547110154.945 * [misc]backup-simplify: Simplify (/ b1 (* a1 a2)) into (/ b1 (* a1 a2)) 1547110154.945 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b1 1547110154.945 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110154.945 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110154.945 * [misc]backup-simplify: Simplify b2 into b2 1547110154.945 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110154.945 * [misc]backup-simplify: Simplify 0 into 0 1547110154.945 * [misc]backup-simplify: Simplify 1 into 1 1547110154.945 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1547110154.945 * [misc]taylor: Taking taylor expansion of a1 in b1 1547110154.945 * [misc]backup-simplify: Simplify a1 into a1 1547110154.945 * [misc]taylor: Taking taylor expansion of a2 in b1 1547110154.945 * [misc]backup-simplify: Simplify a2 into a2 1547110154.946 * [misc]backup-simplify: Simplify (* b2 0) into 0 1547110154.946 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1547110154.946 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1547110154.946 * [misc]backup-simplify: Simplify (/ b2 (* a1 a2)) into (/ b2 (* a1 a2)) 1547110154.946 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a2 1547110154.946 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1547110154.946 * [misc]taylor: Taking taylor expansion of b2 in a2 1547110154.946 * [misc]backup-simplify: Simplify b2 into b2 1547110154.946 * [misc]taylor: Taking taylor expansion of b1 in a2 1547110154.946 * [misc]backup-simplify: Simplify b1 into b1 1547110154.946 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1547110154.946 * [misc]taylor: Taking taylor expansion of a1 in a2 1547110154.946 * [misc]backup-simplify: Simplify a1 into a1 1547110154.946 * [misc]taylor: Taking taylor expansion of a2 in a2 1547110154.946 * [misc]backup-simplify: Simplify 0 into 0 1547110154.946 * [misc]backup-simplify: Simplify 1 into 1 1547110154.946 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110154.946 * [misc]backup-simplify: Simplify (* a1 0) into 0 1547110154.946 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1547110154.946 * [misc]backup-simplify: Simplify (/ (* b2 b1) a1) into (/ (* b2 b1) a1) 1547110154.946 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1547110154.946 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1547110154.946 * [misc]taylor: Taking taylor expansion of b2 in a1 1547110154.946 * [misc]backup-simplify: Simplify b2 into b2 1547110154.946 * [misc]taylor: Taking taylor expansion of b1 in a1 1547110154.946 * [misc]backup-simplify: Simplify b1 into b1 1547110154.946 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1547110154.946 * [misc]taylor: Taking taylor expansion of a1 in a1 1547110154.946 * [misc]backup-simplify: Simplify 0 into 0 1547110154.946 * [misc]backup-simplify: Simplify 1 into 1 1547110154.946 * [misc]taylor: Taking taylor expansion of a2 in a1 1547110154.946 * [misc]backup-simplify: Simplify a2 into a2 1547110154.946 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110154.946 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1547110154.947 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1547110154.947 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1547110154.947 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1547110154.947 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1547110154.947 * [misc]taylor: Taking taylor expansion of b2 in a1 1547110154.947 * [misc]backup-simplify: Simplify b2 into b2 1547110154.947 * [misc]taylor: Taking taylor expansion of b1 in a1 1547110154.947 * [misc]backup-simplify: Simplify b1 into b1 1547110154.947 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1547110154.947 * [misc]taylor: Taking taylor expansion of a1 in a1 1547110154.947 * [misc]backup-simplify: Simplify 0 into 0 1547110154.947 * [misc]backup-simplify: Simplify 1 into 1 1547110154.947 * [misc]taylor: Taking taylor expansion of a2 in a1 1547110154.947 * [misc]backup-simplify: Simplify a2 into a2 1547110154.947 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110154.947 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1547110154.947 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1547110154.947 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1547110154.947 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) a2) in a2 1547110154.947 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1547110154.947 * [misc]taylor: Taking taylor expansion of b2 in a2 1547110154.947 * [misc]backup-simplify: Simplify b2 into b2 1547110154.947 * [misc]taylor: Taking taylor expansion of b1 in a2 1547110154.947 * [misc]backup-simplify: Simplify b1 into b1 1547110154.947 * [misc]taylor: Taking taylor expansion of a2 in a2 1547110154.947 * [misc]backup-simplify: Simplify 0 into 0 1547110154.947 * [misc]backup-simplify: Simplify 1 into 1 1547110154.947 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110154.947 * [misc]backup-simplify: Simplify (/ (* b2 b1) 1) into (* b2 b1) 1547110154.947 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110154.947 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110154.947 * [misc]backup-simplify: Simplify b2 into b2 1547110154.947 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110154.947 * [misc]backup-simplify: Simplify 0 into 0 1547110154.947 * [misc]backup-simplify: Simplify 1 into 1 1547110154.948 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1547110154.948 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110154.948 * [misc]backup-simplify: Simplify 0 into 0 1547110154.948 * [misc]backup-simplify: Simplify 1 into 1 1547110154.948 * [misc]backup-simplify: Simplify 1 into 1 1547110154.948 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1547110154.948 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1547110154.948 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)))) into 0 1547110154.948 * [misc]taylor: Taking taylor expansion of 0 in a2 1547110154.948 * [misc]backup-simplify: Simplify 0 into 0 1547110154.948 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1547110154.948 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)))) into 0 1547110154.948 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110154.948 * [misc]backup-simplify: Simplify 0 into 0 1547110154.948 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.948 * [misc]backup-simplify: Simplify 0 into 0 1547110154.948 * [misc]backup-simplify: Simplify 0 into 0 1547110154.949 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1547110154.949 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.949 * [misc]backup-simplify: Simplify 0 into 0 1547110154.949 * [misc]backup-simplify: Simplify 0 into 0 1547110154.949 * [misc]backup-simplify: Simplify 0 into 0 1547110154.949 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1547110154.949 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1547110154.949 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1547110154.949 * [misc]taylor: Taking taylor expansion of 0 in a2 1547110154.949 * [misc]backup-simplify: Simplify 0 into 0 1547110154.949 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110154.949 * [misc]backup-simplify: Simplify 0 into 0 1547110154.949 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.949 * [misc]backup-simplify: Simplify 0 into 0 1547110154.949 * [misc]backup-simplify: Simplify 0 into 0 1547110154.950 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1547110154.950 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110154.950 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110154.950 * [misc]backup-simplify: Simplify 0 into 0 1547110154.950 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.950 * [misc]backup-simplify: Simplify 0 into 0 1547110154.950 * [misc]backup-simplify: Simplify 0 into 0 1547110154.950 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.950 * [misc]backup-simplify: Simplify 0 into 0 1547110154.950 * [misc]backup-simplify: Simplify 0 into 0 1547110154.950 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b2) (* (/ 1 b1) (* (/ 1 (/ 1 a2)) (/ 1 (/ 1 a1)))))) into (/ (* a1 a2) (* b2 b1)) 1547110154.950 * [misc]backup-simplify: Simplify (* (* (/ 1 (- a1)) (/ 1 (- a2))) (/ (/ 1 (/ 1 (- b1))) (/ 1 (- b2)))) into (/ (* b2 b1) (* a1 a2)) 1547110154.950 * [misc]approximate: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in (a1 a2 b1 b2) around 0 1547110154.951 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b2 1547110154.951 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1547110154.951 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110154.951 * [misc]backup-simplify: Simplify 0 into 0 1547110154.951 * [misc]backup-simplify: Simplify 1 into 1 1547110154.951 * [misc]taylor: Taking taylor expansion of b1 in b2 1547110154.951 * [misc]backup-simplify: Simplify b1 into b1 1547110154.951 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1547110154.951 * [misc]taylor: Taking taylor expansion of a1 in b2 1547110154.951 * [misc]backup-simplify: Simplify a1 into a1 1547110154.951 * [misc]taylor: Taking taylor expansion of a2 in b2 1547110154.951 * [misc]backup-simplify: Simplify a2 into a2 1547110154.951 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1547110154.951 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1547110154.951 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1547110154.951 * [misc]backup-simplify: Simplify (/ b1 (* a1 a2)) into (/ b1 (* a1 a2)) 1547110154.951 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b1 1547110154.951 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110154.951 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110154.951 * [misc]backup-simplify: Simplify b2 into b2 1547110154.951 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110154.951 * [misc]backup-simplify: Simplify 0 into 0 1547110154.951 * [misc]backup-simplify: Simplify 1 into 1 1547110154.951 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1547110154.951 * [misc]taylor: Taking taylor expansion of a1 in b1 1547110154.951 * [misc]backup-simplify: Simplify a1 into a1 1547110154.951 * [misc]taylor: Taking taylor expansion of a2 in b1 1547110154.951 * [misc]backup-simplify: Simplify a2 into a2 1547110154.951 * [misc]backup-simplify: Simplify (* b2 0) into 0 1547110154.951 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1547110154.951 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1547110154.951 * [misc]backup-simplify: Simplify (/ b2 (* a1 a2)) into (/ b2 (* a1 a2)) 1547110154.951 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a2 1547110154.951 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1547110154.951 * [misc]taylor: Taking taylor expansion of b2 in a2 1547110154.951 * [misc]backup-simplify: Simplify b2 into b2 1547110154.951 * [misc]taylor: Taking taylor expansion of b1 in a2 1547110154.951 * [misc]backup-simplify: Simplify b1 into b1 1547110154.952 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1547110154.952 * [misc]taylor: Taking taylor expansion of a1 in a2 1547110154.952 * [misc]backup-simplify: Simplify a1 into a1 1547110154.952 * [misc]taylor: Taking taylor expansion of a2 in a2 1547110154.952 * [misc]backup-simplify: Simplify 0 into 0 1547110154.952 * [misc]backup-simplify: Simplify 1 into 1 1547110154.952 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110154.952 * [misc]backup-simplify: Simplify (* a1 0) into 0 1547110154.952 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1547110154.952 * [misc]backup-simplify: Simplify (/ (* b2 b1) a1) into (/ (* b2 b1) a1) 1547110154.952 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1547110154.952 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1547110154.952 * [misc]taylor: Taking taylor expansion of b2 in a1 1547110154.952 * [misc]backup-simplify: Simplify b2 into b2 1547110154.952 * [misc]taylor: Taking taylor expansion of b1 in a1 1547110154.952 * [misc]backup-simplify: Simplify b1 into b1 1547110154.952 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1547110154.952 * [misc]taylor: Taking taylor expansion of a1 in a1 1547110154.952 * [misc]backup-simplify: Simplify 0 into 0 1547110154.952 * [misc]backup-simplify: Simplify 1 into 1 1547110154.952 * [misc]taylor: Taking taylor expansion of a2 in a1 1547110154.952 * [misc]backup-simplify: Simplify a2 into a2 1547110154.952 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110154.952 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1547110154.952 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1547110154.952 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1547110154.952 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1547110154.952 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1547110154.952 * [misc]taylor: Taking taylor expansion of b2 in a1 1547110154.952 * [misc]backup-simplify: Simplify b2 into b2 1547110154.952 * [misc]taylor: Taking taylor expansion of b1 in a1 1547110154.952 * [misc]backup-simplify: Simplify b1 into b1 1547110154.952 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1547110154.952 * [misc]taylor: Taking taylor expansion of a1 in a1 1547110154.952 * [misc]backup-simplify: Simplify 0 into 0 1547110154.952 * [misc]backup-simplify: Simplify 1 into 1 1547110154.952 * [misc]taylor: Taking taylor expansion of a2 in a1 1547110154.952 * [misc]backup-simplify: Simplify a2 into a2 1547110154.953 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110154.953 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1547110154.953 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1547110154.953 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1547110154.953 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) a2) in a2 1547110154.953 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1547110154.953 * [misc]taylor: Taking taylor expansion of b2 in a2 1547110154.953 * [misc]backup-simplify: Simplify b2 into b2 1547110154.953 * [misc]taylor: Taking taylor expansion of b1 in a2 1547110154.953 * [misc]backup-simplify: Simplify b1 into b1 1547110154.953 * [misc]taylor: Taking taylor expansion of a2 in a2 1547110154.953 * [misc]backup-simplify: Simplify 0 into 0 1547110154.953 * [misc]backup-simplify: Simplify 1 into 1 1547110154.953 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110154.953 * [misc]backup-simplify: Simplify (/ (* b2 b1) 1) into (* b2 b1) 1547110154.953 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110154.953 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110154.953 * [misc]backup-simplify: Simplify b2 into b2 1547110154.953 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110154.953 * [misc]backup-simplify: Simplify 0 into 0 1547110154.953 * [misc]backup-simplify: Simplify 1 into 1 1547110154.953 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1547110154.953 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110154.953 * [misc]backup-simplify: Simplify 0 into 0 1547110154.953 * [misc]backup-simplify: Simplify 1 into 1 1547110154.953 * [misc]backup-simplify: Simplify 1 into 1 1547110154.953 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1547110154.954 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1547110154.954 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)))) into 0 1547110154.954 * [misc]taylor: Taking taylor expansion of 0 in a2 1547110154.954 * [misc]backup-simplify: Simplify 0 into 0 1547110154.954 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1547110154.954 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)))) into 0 1547110154.954 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110154.954 * [misc]backup-simplify: Simplify 0 into 0 1547110154.954 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.954 * [misc]backup-simplify: Simplify 0 into 0 1547110154.954 * [misc]backup-simplify: Simplify 0 into 0 1547110154.954 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1547110154.954 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.954 * [misc]backup-simplify: Simplify 0 into 0 1547110154.954 * [misc]backup-simplify: Simplify 0 into 0 1547110154.954 * [misc]backup-simplify: Simplify 0 into 0 1547110154.955 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1547110154.955 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1547110154.955 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1547110154.955 * [misc]taylor: Taking taylor expansion of 0 in a2 1547110154.955 * [misc]backup-simplify: Simplify 0 into 0 1547110154.955 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110154.955 * [misc]backup-simplify: Simplify 0 into 0 1547110154.955 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.955 * [misc]backup-simplify: Simplify 0 into 0 1547110154.955 * [misc]backup-simplify: Simplify 0 into 0 1547110154.955 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1547110154.956 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110154.956 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110154.956 * [misc]backup-simplify: Simplify 0 into 0 1547110154.956 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.956 * [misc]backup-simplify: Simplify 0 into 0 1547110154.956 * [misc]backup-simplify: Simplify 0 into 0 1547110154.956 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.956 * [misc]backup-simplify: Simplify 0 into 0 1547110154.956 * [misc]backup-simplify: Simplify 0 into 0 1547110154.956 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 (- b2)) (* (/ 1 (- b1)) (* (/ 1 (/ 1 (- a2))) (/ 1 (/ 1 (- a1))))))) into (/ (* a1 a2) (* b2 b1)) 1547110154.956 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2) 1547110154.956 * [misc]backup-simplify: Simplify (/ (/ 1 b1) b2) into (/ 1 (* b2 b1)) 1547110154.956 * [misc]approximate: Taking taylor expansion of (/ 1 (* b2 b1)) in (b1 b2) around 0 1547110154.956 * [misc]taylor: Taking taylor expansion of (/ 1 (* b2 b1)) in b2 1547110154.956 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1547110154.956 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110154.956 * [misc]backup-simplify: Simplify 0 into 0 1547110154.956 * [misc]backup-simplify: Simplify 1 into 1 1547110154.956 * [misc]taylor: Taking taylor expansion of b1 in b2 1547110154.956 * [misc]backup-simplify: Simplify b1 into b1 1547110154.956 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1547110154.956 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1547110154.956 * [misc]backup-simplify: Simplify (/ 1 b1) into (/ 1 b1) 1547110154.956 * [misc]taylor: Taking taylor expansion of (/ 1 (* b2 b1)) in b1 1547110154.957 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110154.957 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110154.957 * [misc]backup-simplify: Simplify b2 into b2 1547110154.957 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110154.957 * [misc]backup-simplify: Simplify 0 into 0 1547110154.957 * [misc]backup-simplify: Simplify 1 into 1 1547110154.957 * [misc]backup-simplify: Simplify (* b2 0) into 0 1547110154.957 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1547110154.957 * [misc]backup-simplify: Simplify (/ 1 b2) into (/ 1 b2) 1547110154.957 * [misc]taylor: Taking taylor expansion of (/ 1 (* b2 b1)) in b1 1547110154.957 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110154.957 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110154.957 * [misc]backup-simplify: Simplify b2 into b2 1547110154.957 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110154.957 * [misc]backup-simplify: Simplify 0 into 0 1547110154.957 * [misc]backup-simplify: Simplify 1 into 1 1547110154.957 * [misc]backup-simplify: Simplify (* b2 0) into 0 1547110154.957 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1547110154.957 * [misc]backup-simplify: Simplify (/ 1 b2) into (/ 1 b2) 1547110154.957 * [misc]taylor: Taking taylor expansion of (/ 1 b2) in b2 1547110154.957 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110154.957 * [misc]backup-simplify: Simplify 0 into 0 1547110154.957 * [misc]backup-simplify: Simplify 1 into 1 1547110154.957 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547110154.957 * [misc]backup-simplify: Simplify 1 into 1 1547110154.958 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1547110154.958 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)))) into 0 1547110154.958 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.958 * [misc]backup-simplify: Simplify 0 into 0 1547110154.958 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1547110154.958 * [misc]backup-simplify: Simplify 0 into 0 1547110154.958 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1547110154.958 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)) (* 0 (/ 0 b2)))) into 0 1547110154.958 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.958 * [misc]backup-simplify: Simplify 0 into 0 1547110154.958 * [misc]backup-simplify: Simplify 0 into 0 1547110154.958 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110154.958 * [misc]backup-simplify: Simplify 0 into 0 1547110154.959 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1547110154.959 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)) (* 0 (/ 0 b2)) (* 0 (/ 0 b2)))) into 0 1547110154.959 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.959 * [misc]backup-simplify: Simplify 0 into 0 1547110154.959 * [misc]backup-simplify: Simplify 0 into 0 1547110154.959 * [misc]backup-simplify: Simplify 0 into 0 1547110154.959 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110154.959 * [misc]backup-simplify: Simplify 0 into 0 1547110154.959 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b2) (/ 1 b1))) into (/ 1 (* b2 b1)) 1547110154.959 * [misc]backup-simplify: Simplify (/ (/ 1 (/ 1 b1)) (/ 1 b2)) into (* b2 b1) 1547110154.959 * [misc]approximate: Taking taylor expansion of (* b2 b1) in (b1 b2) around 0 1547110154.959 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1547110154.959 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110154.959 * [misc]backup-simplify: Simplify 0 into 0 1547110154.959 * [misc]backup-simplify: Simplify 1 into 1 1547110154.959 * [misc]taylor: Taking taylor expansion of b1 in b2 1547110154.959 * [misc]backup-simplify: Simplify b1 into b1 1547110154.959 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110154.959 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110154.959 * [misc]backup-simplify: Simplify b2 into b2 1547110154.959 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110154.959 * [misc]backup-simplify: Simplify 0 into 0 1547110154.959 * [misc]backup-simplify: Simplify 1 into 1 1547110154.960 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110154.960 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110154.960 * [misc]backup-simplify: Simplify b2 into b2 1547110154.960 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110154.960 * [misc]backup-simplify: Simplify 0 into 0 1547110154.960 * [misc]backup-simplify: Simplify 1 into 1 1547110154.960 * [misc]backup-simplify: Simplify (* b2 0) into 0 1547110154.960 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.960 * [misc]backup-simplify: Simplify 0 into 0 1547110154.960 * [misc]backup-simplify: Simplify 0 into 0 1547110154.960 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1547110154.960 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110154.960 * [misc]backup-simplify: Simplify 0 into 0 1547110154.960 * [misc]backup-simplify: Simplify 1 into 1 1547110154.960 * [misc]backup-simplify: Simplify 0 into 0 1547110154.960 * [misc]backup-simplify: Simplify 0 into 0 1547110154.960 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1547110154.960 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.960 * [misc]backup-simplify: Simplify 0 into 0 1547110154.960 * [misc]backup-simplify: Simplify 0 into 0 1547110154.960 * [misc]backup-simplify: Simplify 1 into 1 1547110154.960 * [misc]backup-simplify: Simplify 0 into 0 1547110154.960 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1547110154.960 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.960 * [misc]backup-simplify: Simplify 0 into 0 1547110154.961 * [misc]backup-simplify: Simplify 0 into 0 1547110154.961 * [misc]backup-simplify: Simplify 0 into 0 1547110154.961 * [misc]backup-simplify: Simplify 0 into 0 1547110154.961 * [misc]backup-simplify: Simplify 0 into 0 1547110154.961 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1547110154.961 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.961 * [misc]backup-simplify: Simplify 0 into 0 1547110154.961 * [misc]backup-simplify: Simplify 0 into 0 1547110154.961 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b2) (/ 1 b1))) into (/ 1 (* b2 b1)) 1547110154.961 * [misc]backup-simplify: Simplify (/ (/ 1 (/ 1 (- b1))) (/ 1 (- b2))) into (* b2 b1) 1547110154.961 * [misc]approximate: Taking taylor expansion of (* b2 b1) in (b1 b2) around 0 1547110154.961 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1547110154.961 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110154.961 * [misc]backup-simplify: Simplify 0 into 0 1547110154.961 * [misc]backup-simplify: Simplify 1 into 1 1547110154.961 * [misc]taylor: Taking taylor expansion of b1 in b2 1547110154.961 * [misc]backup-simplify: Simplify b1 into b1 1547110154.961 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110154.961 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110154.961 * [misc]backup-simplify: Simplify b2 into b2 1547110154.961 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110154.961 * [misc]backup-simplify: Simplify 0 into 0 1547110154.961 * [misc]backup-simplify: Simplify 1 into 1 1547110154.961 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110154.961 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110154.961 * [misc]backup-simplify: Simplify b2 into b2 1547110154.961 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110154.961 * [misc]backup-simplify: Simplify 0 into 0 1547110154.961 * [misc]backup-simplify: Simplify 1 into 1 1547110154.961 * [misc]backup-simplify: Simplify (* b2 0) into 0 1547110154.961 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.961 * [misc]backup-simplify: Simplify 0 into 0 1547110154.961 * [misc]backup-simplify: Simplify 0 into 0 1547110154.962 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1547110154.962 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110154.962 * [misc]backup-simplify: Simplify 0 into 0 1547110154.962 * [misc]backup-simplify: Simplify 1 into 1 1547110154.962 * [misc]backup-simplify: Simplify 0 into 0 1547110154.962 * [misc]backup-simplify: Simplify 0 into 0 1547110154.962 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1547110154.962 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.962 * [misc]backup-simplify: Simplify 0 into 0 1547110154.962 * [misc]backup-simplify: Simplify 0 into 0 1547110154.962 * [misc]backup-simplify: Simplify 1 into 1 1547110154.962 * [misc]backup-simplify: Simplify 0 into 0 1547110154.962 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1547110154.962 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.962 * [misc]backup-simplify: Simplify 0 into 0 1547110154.962 * [misc]backup-simplify: Simplify 0 into 0 1547110154.962 * [misc]backup-simplify: Simplify 0 into 0 1547110154.962 * [misc]backup-simplify: Simplify 0 into 0 1547110154.962 * [misc]backup-simplify: Simplify 0 into 0 1547110154.963 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1547110154.963 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110154.963 * [misc]backup-simplify: Simplify 0 into 0 1547110154.963 * [misc]backup-simplify: Simplify 0 into 0 1547110154.963 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 (- b2)) (/ 1 (- b1)))) into (/ 1 (* b2 b1)) 1547110154.963 * * * [misc]progress: simplifying candidates 1547110154.963 * * * * [misc]progress: [ 1 / 38 ] simplifiying candidate # 1547110154.963 * [enter]simplify: Simplifying (* (* a1 a2) (/ (/ 1 b1) b2)) 1547110154.963 * * [misc]simplify: iters left: 6 (9 enodes) 1547110154.965 * * [misc]simplify: iters left: 5 (19 enodes) 1547110154.968 * * [misc]simplify: iters left: 4 (44 enodes) 1547110154.980 * * [misc]simplify: iters left: 3 (92 enodes) 1547110155.005 * * [misc]simplify: iters left: 2 (222 enodes) 1547110155.109 * [exit]simplify: Simplified to (* (/ a1 b2) (/ a2 b1)) 1547110155.109 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (pow (* (/ a1 b2) (/ a2 b1)) 1)) 1547110155.109 * * * * [misc]progress: [ 2 / 38 ] simplifiying candidate # 1547110155.109 * * * * [misc]progress: [ 3 / 38 ] simplifiying candidate # 1547110155.109 * [enter]simplify: Simplifying (+ (log (* a1 a2)) (log (/ (/ 1 b1) b2))) 1547110155.110 * * [misc]simplify: iters left: 6 (11 enodes) 1547110155.113 * * [misc]simplify: iters left: 5 (23 enodes) 1547110155.121 * * [misc]simplify: iters left: 4 (43 enodes) 1547110155.134 * * [misc]simplify: iters left: 3 (79 enodes) 1547110155.150 * * [misc]simplify: iters left: 2 (170 enodes) 1547110155.208 * * [misc]simplify: iters left: 1 (410 enodes) 1547110155.449 * [exit]simplify: Simplified to (- (log (* a1 a2)) (log (* b2 b1))) 1547110155.449 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (exp (- (log (* a1 a2)) (log (* b2 b1))))) 1547110155.449 * * * * [misc]progress: [ 4 / 38 ] simplifiying candidate # 1547110155.449 * * * * [misc]progress: [ 5 / 38 ] simplifiying candidate # 1547110155.449 * * * * [misc]progress: [ 6 / 38 ] simplifiying candidate # 1547110155.450 * [enter]simplify: Simplifying (* (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* (/ (/ 1 b1) b2) (/ (/ 1 b1) b2)) (/ (/ 1 b1) b2))) 1547110155.450 * * [misc]simplify: iters left: 6 (13 enodes) 1547110155.452 * * [misc]simplify: iters left: 5 (37 enodes) 1547110155.460 * * [misc]simplify: iters left: 4 (133 enodes) 1547110155.526 * [exit]simplify: Simplified to (* (* (pow (* a1 a2) 3) (/ 1 (* b1 b2))) (* (/ 1 (* b1 b2)) (/ 1 (* b1 b2)))) 1547110155.526 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (cbrt (* (* (pow (* a1 a2) 3) (/ 1 (* b1 b2))) (* (/ 1 (* b1 b2)) (/ 1 (* b1 b2)))))) 1547110155.526 * * * * [misc]progress: [ 7 / 38 ] simplifiying candidate # 1547110155.526 * * * * [misc]progress: [ 8 / 38 ] simplifiying candidate # 1547110155.526 * * * * [misc]progress: [ 9 / 38 ] simplifiying candidate # 1547110155.526 * * * * [misc]progress: [ 10 / 38 ] simplifiying candidate # 1547110155.526 * * * * [misc]progress: [ 11 / 38 ] simplifiying candidate # 1547110155.527 * [enter]simplify: Simplifying (cbrt (/ (/ 1 b1) b2)) 1547110155.527 * * [misc]simplify: iters left: 5 (6 enodes) 1547110155.528 * * [misc]simplify: iters left: 4 (10 enodes) 1547110155.531 * * [misc]simplify: iters left: 3 (13 enodes) 1547110155.534 * [exit]simplify: Simplified to (cbrt (/ (/ 1 b2) b1)) 1547110155.534 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (* (* a1 a2) (* (cbrt (/ (/ 1 b1) b2)) (cbrt (/ (/ 1 b1) b2)))) (cbrt (/ (/ 1 b2) b1)))) 1547110155.534 * * * * [misc]progress: [ 12 / 38 ] simplifiying candidate # 1547110155.535 * [enter]simplify: Simplifying (sqrt (/ (/ 1 b1) b2)) 1547110155.535 * * [misc]simplify: iters left: 5 (6 enodes) 1547110155.537 * * [misc]simplify: iters left: 4 (10 enodes) 1547110155.539 * * [misc]simplify: iters left: 3 (13 enodes) 1547110155.543 * [exit]simplify: Simplified to (sqrt (/ (/ 1 b2) b1)) 1547110155.543 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (* (* a1 a2) (sqrt (/ (/ 1 b1) b2))) (sqrt (/ (/ 1 b2) b1)))) 1547110155.543 * * * * [misc]progress: [ 13 / 38 ] simplifiying candidate # 1547110155.543 * [enter]simplify: Simplifying (/ (/ 1 b1) b2) 1547110155.543 * * [misc]simplify: iters left: 4 (5 enodes) 1547110155.545 * * [misc]simplify: iters left: 3 (9 enodes) 1547110155.547 * * [misc]simplify: iters left: 2 (12 enodes) 1547110155.550 * [exit]simplify: Simplified to (/ (/ 1 b1) b2) 1547110155.550 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (* (* a1 a2) 1) (/ (/ 1 b1) b2))) 1547110155.550 * * * * [misc]progress: [ 14 / 38 ] simplifiying candidate # 1547110155.550 * [enter]simplify: Simplifying (/ 1 b2) 1547110155.551 * * [misc]simplify: iters left: 2 (3 enodes) 1547110155.552 * * [misc]simplify: iters left: 1 (5 enodes) 1547110155.553 * [exit]simplify: Simplified to (/ 1 b2) 1547110155.553 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (* (* a1 a2) (/ 1 b1)) (/ 1 b2))) 1547110155.553 * * * * [misc]progress: [ 15 / 38 ] simplifiying candidate # 1547110155.553 * * * * [misc]progress: [ 16 / 38 ] simplifiying candidate # 1547110155.553 * * * * [misc]progress: [ 17 / 38 ] simplifiying candidate # 1547110155.553 * * * * [misc]progress: [ 18 / 38 ] simplifiying candidate # 1547110155.553 * * * * [misc]progress: [ 19 / 38 ] simplifiying candidate # 1547110155.553 * * * * [misc]progress: [ 20 / 38 ] simplifiying candidate # 1547110155.553 * * * * [misc]progress: [ 21 / 38 ] simplifiying candidate # 1547110155.553 * * * * [misc]progress: [ 22 / 38 ] simplifiying candidate # 1547110155.554 * * * * [misc]progress: [ 23 / 38 ] simplifiying candidate # 1547110155.554 * * * * [misc]progress: [ 24 / 38 ] simplifiying candidate # 1547110155.554 * * * * [misc]progress: [ 25 / 38 ] simplifiying candidate # 1547110155.554 * * * * [misc]progress: [ 26 / 38 ] simplifiying candidate # 1547110155.554 * * * * [misc]progress: [ 27 / 38 ] simplifiying candidate # 1547110155.554 * * * * [misc]progress: [ 28 / 38 ] simplifiying candidate # 1547110155.554 * [enter]simplify: Simplifying (* (cbrt (/ 1 b1)) (cbrt (/ 1 b1))) 1547110155.554 * * [misc]simplify: iters left: 5 (5 enodes) 1547110155.556 * * [misc]simplify: iters left: 4 (7 enodes) 1547110155.558 * [exit]simplify: Simplified to (* (cbrt (/ 1 b1)) (cbrt (/ 1 b1))) 1547110155.558 * [misc]simplify: Simplified (2 2 1) to (λ (a1 a2 b1 b2) (* (* a1 a2) (/ (* (cbrt (/ 1 b1)) (cbrt (/ 1 b1))) (/ b2 (cbrt (/ 1 b1)))))) 1547110155.558 * * * * [misc]progress: [ 29 / 38 ] simplifiying candidate # 1547110155.558 * [enter]simplify: Simplifying (sqrt (/ 1 b1)) 1547110155.558 * * [misc]simplify: iters left: 3 (4 enodes) 1547110155.559 * * [misc]simplify: iters left: 2 (6 enodes) 1547110155.560 * [exit]simplify: Simplified to (sqrt (/ 1 b1)) 1547110155.560 * [misc]simplify: Simplified (2 2 1) to (λ (a1 a2 b1 b2) (* (* a1 a2) (/ (sqrt (/ 1 b1)) (/ b2 (sqrt (/ 1 b1)))))) 1547110155.561 * * * * [misc]progress: [ 30 / 38 ] simplifiying candidate # 1547110155.561 * * * * [misc]progress: [ 31 / 38 ] simplifiying candidate # 1547110155.561 * * * * [misc]progress: [ 32 / 38 ] simplifiying candidate # 1547110155.561 * * * * [misc]progress: [ 33 / 38 ] simplifiying candidate # 1547110155.561 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1547110155.561 * * [misc]simplify: iters left: 4 (7 enodes) 1547110155.563 * * [misc]simplify: iters left: 3 (16 enodes) 1547110155.568 * * [misc]simplify: iters left: 2 (35 enodes) 1547110155.579 * * [misc]simplify: iters left: 1 (58 enodes) 1547110155.595 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1547110155.595 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1547110155.595 * * * * [misc]progress: [ 34 / 38 ] simplifiying candidate # 1547110155.596 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1547110155.596 * * [misc]simplify: iters left: 4 (7 enodes) 1547110155.598 * * [misc]simplify: iters left: 3 (16 enodes) 1547110155.603 * * [misc]simplify: iters left: 2 (35 enodes) 1547110155.616 * * [misc]simplify: iters left: 1 (58 enodes) 1547110155.633 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1547110155.633 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1547110155.633 * * * * [misc]progress: [ 35 / 38 ] simplifiying candidate # 1547110155.633 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1547110155.633 * * [misc]simplify: iters left: 4 (7 enodes) 1547110155.636 * * [misc]simplify: iters left: 3 (16 enodes) 1547110155.640 * * [misc]simplify: iters left: 2 (35 enodes) 1547110155.647 * * [misc]simplify: iters left: 1 (58 enodes) 1547110155.655 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1547110155.655 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1547110155.655 * * * * [misc]progress: [ 36 / 38 ] simplifiying candidate # 1547110155.655 * [enter]simplify: Simplifying (/ 1 (* b2 b1)) 1547110155.655 * * [misc]simplify: iters left: 4 (5 enodes) 1547110155.656 * * [misc]simplify: iters left: 3 (10 enodes) 1547110155.657 * [exit]simplify: Simplified to (/ 1 (* b1 b2)) 1547110155.657 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (* a1 a2) (/ 1 (* b1 b2)))) 1547110155.657 * * * * [misc]progress: [ 37 / 38 ] simplifiying candidate # 1547110155.657 * [enter]simplify: Simplifying (/ 1 (* b2 b1)) 1547110155.657 * * [misc]simplify: iters left: 4 (5 enodes) 1547110155.658 * * [misc]simplify: iters left: 3 (10 enodes) 1547110155.659 * [exit]simplify: Simplified to (/ 1 (* b1 b2)) 1547110155.659 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (* a1 a2) (/ 1 (* b1 b2)))) 1547110155.659 * * * * [misc]progress: [ 38 / 38 ] simplifiying candidate # 1547110155.660 * [enter]simplify: Simplifying (/ 1 (* b2 b1)) 1547110155.660 * * [misc]simplify: iters left: 4 (5 enodes) 1547110155.660 * * [misc]simplify: iters left: 3 (10 enodes) 1547110155.662 * [exit]simplify: Simplified to (/ 1 (* b1 b2)) 1547110155.662 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (* a1 a2) (/ 1 (* b1 b2)))) 1547110155.662 * * * [misc]progress: adding candidates to table 1547110155.998 * * [misc]progress: iteration 4 / 4 1547110155.998 * * * [misc]progress: picking best candidate 1547110156.021 * * * * [misc]pick: Picked # 1547110156.021 * * * [misc]progress: localizing error 1547110156.031 * * * [misc]progress: generating rewritten candidates 1547110156.031 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1547110156.036 * * * [misc]progress: generating series expansions 1547110156.036 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1547110156.037 * [misc]backup-simplify: Simplify (/ (* a1 a2) (* b2 b1)) into (/ (* a1 a2) (* b2 b1)) 1547110156.037 * [misc]approximate: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in (a1 a2 b2 b1) around 0 1547110156.037 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in b1 1547110156.037 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1547110156.037 * [misc]taylor: Taking taylor expansion of a1 in b1 1547110156.037 * [misc]backup-simplify: Simplify a1 into a1 1547110156.037 * [misc]taylor: Taking taylor expansion of a2 in b1 1547110156.037 * [misc]backup-simplify: Simplify a2 into a2 1547110156.037 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110156.037 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110156.037 * [misc]backup-simplify: Simplify b2 into b2 1547110156.037 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110156.037 * [misc]backup-simplify: Simplify 0 into 0 1547110156.037 * [misc]backup-simplify: Simplify 1 into 1 1547110156.037 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1547110156.037 * [misc]backup-simplify: Simplify (* b2 0) into 0 1547110156.037 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1547110156.038 * [misc]backup-simplify: Simplify (/ (* a1 a2) b2) into (/ (* a1 a2) b2) 1547110156.038 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in b2 1547110156.038 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1547110156.038 * [misc]taylor: Taking taylor expansion of a1 in b2 1547110156.038 * [misc]backup-simplify: Simplify a1 into a1 1547110156.038 * [misc]taylor: Taking taylor expansion of a2 in b2 1547110156.038 * [misc]backup-simplify: Simplify a2 into a2 1547110156.038 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1547110156.038 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110156.038 * [misc]backup-simplify: Simplify 0 into 0 1547110156.038 * [misc]backup-simplify: Simplify 1 into 1 1547110156.038 * [misc]taylor: Taking taylor expansion of b1 in b2 1547110156.038 * [misc]backup-simplify: Simplify b1 into b1 1547110156.038 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1547110156.038 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1547110156.038 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1547110156.038 * [misc]backup-simplify: Simplify (/ (* a1 a2) b1) into (/ (* a1 a2) b1) 1547110156.038 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a2 1547110156.038 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1547110156.038 * [misc]taylor: Taking taylor expansion of a1 in a2 1547110156.038 * [misc]backup-simplify: Simplify a1 into a1 1547110156.039 * [misc]taylor: Taking taylor expansion of a2 in a2 1547110156.039 * [misc]backup-simplify: Simplify 0 into 0 1547110156.039 * [misc]backup-simplify: Simplify 1 into 1 1547110156.039 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1547110156.039 * [misc]taylor: Taking taylor expansion of b2 in a2 1547110156.039 * [misc]backup-simplify: Simplify b2 into b2 1547110156.039 * [misc]taylor: Taking taylor expansion of b1 in a2 1547110156.039 * [misc]backup-simplify: Simplify b1 into b1 1547110156.039 * [misc]backup-simplify: Simplify (* a1 0) into 0 1547110156.039 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1547110156.039 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110156.039 * [misc]backup-simplify: Simplify (/ a1 (* b2 b1)) into (/ a1 (* b2 b1)) 1547110156.039 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a1 1547110156.039 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1547110156.040 * [misc]taylor: Taking taylor expansion of a1 in a1 1547110156.040 * [misc]backup-simplify: Simplify 0 into 0 1547110156.040 * [misc]backup-simplify: Simplify 1 into 1 1547110156.040 * [misc]taylor: Taking taylor expansion of a2 in a1 1547110156.040 * [misc]backup-simplify: Simplify a2 into a2 1547110156.040 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1547110156.040 * [misc]taylor: Taking taylor expansion of b2 in a1 1547110156.040 * [misc]backup-simplify: Simplify b2 into b2 1547110156.040 * [misc]taylor: Taking taylor expansion of b1 in a1 1547110156.040 * [misc]backup-simplify: Simplify b1 into b1 1547110156.040 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1547110156.040 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1547110156.040 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110156.040 * [misc]backup-simplify: Simplify (/ a2 (* b2 b1)) into (/ a2 (* b2 b1)) 1547110156.040 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a1 1547110156.040 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1547110156.040 * [misc]taylor: Taking taylor expansion of a1 in a1 1547110156.040 * [misc]backup-simplify: Simplify 0 into 0 1547110156.040 * [misc]backup-simplify: Simplify 1 into 1 1547110156.040 * [misc]taylor: Taking taylor expansion of a2 in a1 1547110156.040 * [misc]backup-simplify: Simplify a2 into a2 1547110156.040 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1547110156.040 * [misc]taylor: Taking taylor expansion of b2 in a1 1547110156.040 * [misc]backup-simplify: Simplify b2 into b2 1547110156.040 * [misc]taylor: Taking taylor expansion of b1 in a1 1547110156.041 * [misc]backup-simplify: Simplify b1 into b1 1547110156.041 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1547110156.041 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1547110156.041 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110156.041 * [misc]backup-simplify: Simplify (/ a2 (* b2 b1)) into (/ a2 (* b2 b1)) 1547110156.041 * [misc]taylor: Taking taylor expansion of (/ a2 (* b2 b1)) in a2 1547110156.041 * [misc]taylor: Taking taylor expansion of a2 in a2 1547110156.041 * [misc]backup-simplify: Simplify 0 into 0 1547110156.041 * [misc]backup-simplify: Simplify 1 into 1 1547110156.041 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1547110156.041 * [misc]taylor: Taking taylor expansion of b2 in a2 1547110156.041 * [misc]backup-simplify: Simplify b2 into b2 1547110156.041 * [misc]taylor: Taking taylor expansion of b1 in a2 1547110156.041 * [misc]backup-simplify: Simplify b1 into b1 1547110156.041 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110156.041 * [misc]backup-simplify: Simplify (/ 1 (* b2 b1)) into (/ 1 (* b2 b1)) 1547110156.041 * [misc]taylor: Taking taylor expansion of (/ 1 (* b2 b1)) in b2 1547110156.041 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1547110156.042 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110156.042 * [misc]backup-simplify: Simplify 0 into 0 1547110156.042 * [misc]backup-simplify: Simplify 1 into 1 1547110156.042 * [misc]taylor: Taking taylor expansion of b1 in b2 1547110156.042 * [misc]backup-simplify: Simplify b1 into b1 1547110156.042 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1547110156.042 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1547110156.042 * [misc]backup-simplify: Simplify (/ 1 b1) into (/ 1 b1) 1547110156.042 * [misc]taylor: Taking taylor expansion of (/ 1 b1) in b1 1547110156.042 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110156.042 * [misc]backup-simplify: Simplify 0 into 0 1547110156.042 * [misc]backup-simplify: Simplify 1 into 1 1547110156.042 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547110156.042 * [misc]backup-simplify: Simplify 1 into 1 1547110156.043 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1547110156.043 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1547110156.043 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))))) into 0 1547110156.043 * [misc]taylor: Taking taylor expansion of 0 in a2 1547110156.043 * [misc]backup-simplify: Simplify 0 into 0 1547110156.043 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110156.043 * [misc]backup-simplify: Simplify 0 into 0 1547110156.043 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1547110156.043 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))))) into 0 1547110156.043 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110156.043 * [misc]backup-simplify: Simplify 0 into 0 1547110156.044 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b1))) into 0 1547110156.044 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b1) (/ 0 b1)))) into 0 1547110156.044 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110156.044 * [misc]backup-simplify: Simplify 0 into 0 1547110156.044 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1547110156.044 * [misc]backup-simplify: Simplify 0 into 0 1547110156.045 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1547110156.045 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1547110156.045 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1547110156.045 * [misc]taylor: Taking taylor expansion of 0 in a2 1547110156.045 * [misc]backup-simplify: Simplify 0 into 0 1547110156.045 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110156.045 * [misc]backup-simplify: Simplify 0 into 0 1547110156.046 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110156.046 * [misc]backup-simplify: Simplify 0 into 0 1547110156.046 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1547110156.046 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1547110156.046 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110156.046 * [misc]backup-simplify: Simplify 0 into 0 1547110156.046 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110156.046 * [misc]backup-simplify: Simplify 0 into 0 1547110156.046 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110156.046 * [misc]backup-simplify: Simplify 0 into 0 1547110156.047 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 b1)))) into 0 1547110156.047 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b1) (/ 0 b1)) (* 0 (/ 0 b1)))) into 0 1547110156.047 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110156.047 * [misc]backup-simplify: Simplify 0 into 0 1547110156.047 * [misc]backup-simplify: Simplify 0 into 0 1547110156.047 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110156.047 * [misc]backup-simplify: Simplify 0 into 0 1547110156.048 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 a2))))) into 0 1547110156.048 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (* 0 b1)))) into 0 1547110156.049 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1547110156.049 * [misc]taylor: Taking taylor expansion of 0 in a2 1547110156.049 * [misc]backup-simplify: Simplify 0 into 0 1547110156.049 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110156.049 * [misc]backup-simplify: Simplify 0 into 0 1547110156.049 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110156.049 * [misc]backup-simplify: Simplify 0 into 0 1547110156.049 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110156.049 * [misc]backup-simplify: Simplify 0 into 0 1547110156.049 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (* 0 b1)))) into 0 1547110156.050 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1547110156.050 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110156.050 * [misc]backup-simplify: Simplify 0 into 0 1547110156.050 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110156.050 * [misc]backup-simplify: Simplify 0 into 0 1547110156.050 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110156.050 * [misc]backup-simplify: Simplify 0 into 0 1547110156.050 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110156.050 * [misc]backup-simplify: Simplify 0 into 0 1547110156.050 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110156.050 * [misc]backup-simplify: Simplify 0 into 0 1547110156.050 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110156.050 * [misc]backup-simplify: Simplify 0 into 0 1547110156.051 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 b1))))) into 0 1547110156.051 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b1) (/ 0 b1)) (* 0 (/ 0 b1)) (* 0 (/ 0 b1)))) into 0 1547110156.051 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110156.051 * [misc]backup-simplify: Simplify 0 into 0 1547110156.051 * [misc]backup-simplify: Simplify 0 into 0 1547110156.051 * [misc]backup-simplify: Simplify 0 into 0 1547110156.051 * [misc]backup-simplify: Simplify 0 into 0 1547110156.051 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b1) (* (/ 1 b2) (* a2 a1)))) into (/ (* a1 a2) (* b2 b1)) 1547110156.052 * [misc]backup-simplify: Simplify (/ (* (/ 1 a1) (/ 1 a2)) (* (/ 1 b2) (/ 1 b1))) into (/ (* b2 b1) (* a1 a2)) 1547110156.052 * [misc]approximate: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in (a1 a2 b2 b1) around 0 1547110156.052 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b1 1547110156.052 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110156.052 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110156.052 * [misc]backup-simplify: Simplify b2 into b2 1547110156.052 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110156.052 * [misc]backup-simplify: Simplify 0 into 0 1547110156.052 * [misc]backup-simplify: Simplify 1 into 1 1547110156.052 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1547110156.052 * [misc]taylor: Taking taylor expansion of a1 in b1 1547110156.052 * [misc]backup-simplify: Simplify a1 into a1 1547110156.052 * [misc]taylor: Taking taylor expansion of a2 in b1 1547110156.052 * [misc]backup-simplify: Simplify a2 into a2 1547110156.052 * [misc]backup-simplify: Simplify (* b2 0) into 0 1547110156.052 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1547110156.052 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1547110156.053 * [misc]backup-simplify: Simplify (/ b2 (* a1 a2)) into (/ b2 (* a1 a2)) 1547110156.053 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b2 1547110156.053 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1547110156.053 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110156.053 * [misc]backup-simplify: Simplify 0 into 0 1547110156.053 * [misc]backup-simplify: Simplify 1 into 1 1547110156.053 * [misc]taylor: Taking taylor expansion of b1 in b2 1547110156.053 * [misc]backup-simplify: Simplify b1 into b1 1547110156.053 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1547110156.053 * [misc]taylor: Taking taylor expansion of a1 in b2 1547110156.053 * [misc]backup-simplify: Simplify a1 into a1 1547110156.053 * [misc]taylor: Taking taylor expansion of a2 in b2 1547110156.053 * [misc]backup-simplify: Simplify a2 into a2 1547110156.053 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1547110156.053 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1547110156.053 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1547110156.053 * [misc]backup-simplify: Simplify (/ b1 (* a1 a2)) into (/ b1 (* a1 a2)) 1547110156.053 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a2 1547110156.053 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1547110156.053 * [misc]taylor: Taking taylor expansion of b2 in a2 1547110156.053 * [misc]backup-simplify: Simplify b2 into b2 1547110156.053 * [misc]taylor: Taking taylor expansion of b1 in a2 1547110156.053 * [misc]backup-simplify: Simplify b1 into b1 1547110156.053 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1547110156.053 * [misc]taylor: Taking taylor expansion of a1 in a2 1547110156.054 * [misc]backup-simplify: Simplify a1 into a1 1547110156.054 * [misc]taylor: Taking taylor expansion of a2 in a2 1547110156.054 * [misc]backup-simplify: Simplify 0 into 0 1547110156.054 * [misc]backup-simplify: Simplify 1 into 1 1547110156.054 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110156.054 * [misc]backup-simplify: Simplify (* a1 0) into 0 1547110156.054 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1547110156.054 * [misc]backup-simplify: Simplify (/ (* b2 b1) a1) into (/ (* b2 b1) a1) 1547110156.054 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1547110156.054 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1547110156.054 * [misc]taylor: Taking taylor expansion of b2 in a1 1547110156.054 * [misc]backup-simplify: Simplify b2 into b2 1547110156.054 * [misc]taylor: Taking taylor expansion of b1 in a1 1547110156.054 * [misc]backup-simplify: Simplify b1 into b1 1547110156.054 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1547110156.054 * [misc]taylor: Taking taylor expansion of a1 in a1 1547110156.054 * [misc]backup-simplify: Simplify 0 into 0 1547110156.054 * [misc]backup-simplify: Simplify 1 into 1 1547110156.054 * [misc]taylor: Taking taylor expansion of a2 in a1 1547110156.054 * [misc]backup-simplify: Simplify a2 into a2 1547110156.054 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110156.054 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1547110156.055 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1547110156.055 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1547110156.055 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1547110156.055 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1547110156.055 * [misc]taylor: Taking taylor expansion of b2 in a1 1547110156.055 * [misc]backup-simplify: Simplify b2 into b2 1547110156.055 * [misc]taylor: Taking taylor expansion of b1 in a1 1547110156.055 * [misc]backup-simplify: Simplify b1 into b1 1547110156.055 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1547110156.055 * [misc]taylor: Taking taylor expansion of a1 in a1 1547110156.055 * [misc]backup-simplify: Simplify 0 into 0 1547110156.055 * [misc]backup-simplify: Simplify 1 into 1 1547110156.055 * [misc]taylor: Taking taylor expansion of a2 in a1 1547110156.055 * [misc]backup-simplify: Simplify a2 into a2 1547110156.055 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110156.055 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1547110156.055 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1547110156.055 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1547110156.056 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) a2) in a2 1547110156.056 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1547110156.056 * [misc]taylor: Taking taylor expansion of b2 in a2 1547110156.056 * [misc]backup-simplify: Simplify b2 into b2 1547110156.056 * [misc]taylor: Taking taylor expansion of b1 in a2 1547110156.056 * [misc]backup-simplify: Simplify b1 into b1 1547110156.056 * [misc]taylor: Taking taylor expansion of a2 in a2 1547110156.056 * [misc]backup-simplify: Simplify 0 into 0 1547110156.056 * [misc]backup-simplify: Simplify 1 into 1 1547110156.056 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110156.056 * [misc]backup-simplify: Simplify (/ (* b2 b1) 1) into (* b2 b1) 1547110156.056 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1547110156.056 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110156.056 * [misc]backup-simplify: Simplify 0 into 0 1547110156.056 * [misc]backup-simplify: Simplify 1 into 1 1547110156.056 * [misc]taylor: Taking taylor expansion of b1 in b2 1547110156.056 * [misc]backup-simplify: Simplify b1 into b1 1547110156.056 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1547110156.056 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110156.056 * [misc]backup-simplify: Simplify 0 into 0 1547110156.056 * [misc]backup-simplify: Simplify 1 into 1 1547110156.056 * [misc]backup-simplify: Simplify 1 into 1 1547110156.057 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1547110156.057 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1547110156.057 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)))) into 0 1547110156.057 * [misc]taylor: Taking taylor expansion of 0 in a2 1547110156.057 * [misc]backup-simplify: Simplify 0 into 0 1547110156.057 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1547110156.058 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)))) into 0 1547110156.058 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110156.058 * [misc]backup-simplify: Simplify 0 into 0 1547110156.058 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110156.058 * [misc]backup-simplify: Simplify 0 into 0 1547110156.058 * [misc]backup-simplify: Simplify 0 into 0 1547110156.058 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b1))) into 0 1547110156.058 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110156.058 * [misc]backup-simplify: Simplify 0 into 0 1547110156.058 * [misc]backup-simplify: Simplify 0 into 0 1547110156.058 * [misc]backup-simplify: Simplify 0 into 0 1547110156.059 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1547110156.059 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1547110156.059 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1547110156.059 * [misc]taylor: Taking taylor expansion of 0 in a2 1547110156.059 * [misc]backup-simplify: Simplify 0 into 0 1547110156.059 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110156.059 * [misc]backup-simplify: Simplify 0 into 0 1547110156.059 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110156.059 * [misc]backup-simplify: Simplify 0 into 0 1547110156.060 * [misc]backup-simplify: Simplify 0 into 0 1547110156.060 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1547110156.060 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110156.060 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110156.060 * [misc]backup-simplify: Simplify 0 into 0 1547110156.060 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110156.060 * [misc]backup-simplify: Simplify 0 into 0 1547110156.060 * [misc]backup-simplify: Simplify 0 into 0 1547110156.060 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110156.060 * [misc]backup-simplify: Simplify 0 into 0 1547110156.060 * [misc]backup-simplify: Simplify 0 into 0 1547110156.060 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b1) (* (/ 1 b2) (* (/ 1 (/ 1 a2)) (/ 1 (/ 1 a1)))))) into (/ (* a1 a2) (* b2 b1)) 1547110156.061 * [misc]backup-simplify: Simplify (/ (* (/ 1 (- a1)) (/ 1 (- a2))) (* (/ 1 (- b2)) (/ 1 (- b1)))) into (/ (* b2 b1) (* a1 a2)) 1547110156.061 * [misc]approximate: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in (a1 a2 b2 b1) around 0 1547110156.061 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b1 1547110156.061 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1547110156.061 * [misc]taylor: Taking taylor expansion of b2 in b1 1547110156.061 * [misc]backup-simplify: Simplify b2 into b2 1547110156.061 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110156.061 * [misc]backup-simplify: Simplify 0 into 0 1547110156.061 * [misc]backup-simplify: Simplify 1 into 1 1547110156.061 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1547110156.061 * [misc]taylor: Taking taylor expansion of a1 in b1 1547110156.061 * [misc]backup-simplify: Simplify a1 into a1 1547110156.061 * [misc]taylor: Taking taylor expansion of a2 in b1 1547110156.061 * [misc]backup-simplify: Simplify a2 into a2 1547110156.061 * [misc]backup-simplify: Simplify (* b2 0) into 0 1547110156.061 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1547110156.061 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1547110156.061 * [misc]backup-simplify: Simplify (/ b2 (* a1 a2)) into (/ b2 (* a1 a2)) 1547110156.061 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b2 1547110156.061 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1547110156.061 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110156.061 * [misc]backup-simplify: Simplify 0 into 0 1547110156.061 * [misc]backup-simplify: Simplify 1 into 1 1547110156.061 * [misc]taylor: Taking taylor expansion of b1 in b2 1547110156.061 * [misc]backup-simplify: Simplify b1 into b1 1547110156.061 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1547110156.061 * [misc]taylor: Taking taylor expansion of a1 in b2 1547110156.061 * [misc]backup-simplify: Simplify a1 into a1 1547110156.061 * [misc]taylor: Taking taylor expansion of a2 in b2 1547110156.061 * [misc]backup-simplify: Simplify a2 into a2 1547110156.061 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1547110156.061 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1547110156.061 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1547110156.062 * [misc]backup-simplify: Simplify (/ b1 (* a1 a2)) into (/ b1 (* a1 a2)) 1547110156.062 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a2 1547110156.062 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1547110156.062 * [misc]taylor: Taking taylor expansion of b2 in a2 1547110156.062 * [misc]backup-simplify: Simplify b2 into b2 1547110156.062 * [misc]taylor: Taking taylor expansion of b1 in a2 1547110156.062 * [misc]backup-simplify: Simplify b1 into b1 1547110156.062 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1547110156.062 * [misc]taylor: Taking taylor expansion of a1 in a2 1547110156.062 * [misc]backup-simplify: Simplify a1 into a1 1547110156.062 * [misc]taylor: Taking taylor expansion of a2 in a2 1547110156.062 * [misc]backup-simplify: Simplify 0 into 0 1547110156.062 * [misc]backup-simplify: Simplify 1 into 1 1547110156.062 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110156.062 * [misc]backup-simplify: Simplify (* a1 0) into 0 1547110156.062 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1547110156.062 * [misc]backup-simplify: Simplify (/ (* b2 b1) a1) into (/ (* b2 b1) a1) 1547110156.062 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1547110156.062 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1547110156.062 * [misc]taylor: Taking taylor expansion of b2 in a1 1547110156.062 * [misc]backup-simplify: Simplify b2 into b2 1547110156.062 * [misc]taylor: Taking taylor expansion of b1 in a1 1547110156.062 * [misc]backup-simplify: Simplify b1 into b1 1547110156.062 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1547110156.062 * [misc]taylor: Taking taylor expansion of a1 in a1 1547110156.062 * [misc]backup-simplify: Simplify 0 into 0 1547110156.062 * [misc]backup-simplify: Simplify 1 into 1 1547110156.062 * [misc]taylor: Taking taylor expansion of a2 in a1 1547110156.062 * [misc]backup-simplify: Simplify a2 into a2 1547110156.062 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110156.062 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1547110156.062 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1547110156.062 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1547110156.062 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1547110156.062 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1547110156.062 * [misc]taylor: Taking taylor expansion of b2 in a1 1547110156.063 * [misc]backup-simplify: Simplify b2 into b2 1547110156.063 * [misc]taylor: Taking taylor expansion of b1 in a1 1547110156.063 * [misc]backup-simplify: Simplify b1 into b1 1547110156.063 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1547110156.063 * [misc]taylor: Taking taylor expansion of a1 in a1 1547110156.063 * [misc]backup-simplify: Simplify 0 into 0 1547110156.063 * [misc]backup-simplify: Simplify 1 into 1 1547110156.063 * [misc]taylor: Taking taylor expansion of a2 in a1 1547110156.063 * [misc]backup-simplify: Simplify a2 into a2 1547110156.063 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110156.063 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1547110156.063 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1547110156.063 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1547110156.063 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) a2) in a2 1547110156.063 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1547110156.063 * [misc]taylor: Taking taylor expansion of b2 in a2 1547110156.063 * [misc]backup-simplify: Simplify b2 into b2 1547110156.063 * [misc]taylor: Taking taylor expansion of b1 in a2 1547110156.063 * [misc]backup-simplify: Simplify b1 into b1 1547110156.063 * [misc]taylor: Taking taylor expansion of a2 in a2 1547110156.063 * [misc]backup-simplify: Simplify 0 into 0 1547110156.063 * [misc]backup-simplify: Simplify 1 into 1 1547110156.063 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1547110156.063 * [misc]backup-simplify: Simplify (/ (* b2 b1) 1) into (* b2 b1) 1547110156.063 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1547110156.063 * [misc]taylor: Taking taylor expansion of b2 in b2 1547110156.063 * [misc]backup-simplify: Simplify 0 into 0 1547110156.063 * [misc]backup-simplify: Simplify 1 into 1 1547110156.063 * [misc]taylor: Taking taylor expansion of b1 in b2 1547110156.063 * [misc]backup-simplify: Simplify b1 into b1 1547110156.064 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1547110156.064 * [misc]taylor: Taking taylor expansion of b1 in b1 1547110156.064 * [misc]backup-simplify: Simplify 0 into 0 1547110156.064 * [misc]backup-simplify: Simplify 1 into 1 1547110156.064 * [misc]backup-simplify: Simplify 1 into 1 1547110156.064 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1547110156.064 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1547110156.064 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)))) into 0 1547110156.064 * [misc]taylor: Taking taylor expansion of 0 in a2 1547110156.064 * [misc]backup-simplify: Simplify 0 into 0 1547110156.064 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1547110156.064 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)))) into 0 1547110156.064 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110156.064 * [misc]backup-simplify: Simplify 0 into 0 1547110156.064 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110156.064 * [misc]backup-simplify: Simplify 0 into 0 1547110156.065 * [misc]backup-simplify: Simplify 0 into 0 1547110156.065 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b1))) into 0 1547110156.065 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110156.065 * [misc]backup-simplify: Simplify 0 into 0 1547110156.065 * [misc]backup-simplify: Simplify 0 into 0 1547110156.065 * [misc]backup-simplify: Simplify 0 into 0 1547110156.065 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1547110156.065 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1547110156.065 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1547110156.065 * [misc]taylor: Taking taylor expansion of 0 in a2 1547110156.065 * [misc]backup-simplify: Simplify 0 into 0 1547110156.065 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110156.065 * [misc]backup-simplify: Simplify 0 into 0 1547110156.066 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110156.066 * [misc]backup-simplify: Simplify 0 into 0 1547110156.066 * [misc]backup-simplify: Simplify 0 into 0 1547110156.066 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1547110156.066 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547110156.066 * [misc]taylor: Taking taylor expansion of 0 in b2 1547110156.066 * [misc]backup-simplify: Simplify 0 into 0 1547110156.066 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110156.066 * [misc]backup-simplify: Simplify 0 into 0 1547110156.066 * [misc]backup-simplify: Simplify 0 into 0 1547110156.066 * [misc]taylor: Taking taylor expansion of 0 in b1 1547110156.066 * [misc]backup-simplify: Simplify 0 into 0 1547110156.066 * [misc]backup-simplify: Simplify 0 into 0 1547110156.066 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 (- b1)) (* (/ 1 (- b2)) (* (/ 1 (/ 1 (- a2))) (/ 1 (/ 1 (- a1))))))) into (/ (* a1 a2) (* b2 b1)) 1547110156.066 * * * [misc]progress: simplifying candidates 1547110156.066 * * * * [misc]progress: [ 1 / 18 ] simplifiying candidate # 1547110156.066 * * * * [misc]progress: [ 2 / 18 ] simplifiying candidate # 1547110156.067 * [enter]simplify: Simplifying (- (log (* a1 a2)) (log (* b2 b1))) 1547110156.067 * * [misc]simplify: iters left: 5 (9 enodes) 1547110156.068 * * [misc]simplify: iters left: 4 (19 enodes) 1547110156.071 * * [misc]simplify: iters left: 3 (31 enodes) 1547110156.075 * * [misc]simplify: iters left: 2 (57 enodes) 1547110156.085 * * [misc]simplify: iters left: 1 (113 enodes) 1547110156.110 * [exit]simplify: Simplified to (- (log (* a1 a2)) (log (* b2 b1))) 1547110156.110 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (exp (- (log (* a1 a2)) (log (* b2 b1))))) 1547110156.110 * * * * [misc]progress: [ 3 / 18 ] simplifiying candidate # 1547110156.110 * * * * [misc]progress: [ 4 / 18 ] simplifiying candidate # 1547110156.110 * * * * [misc]progress: [ 5 / 18 ] simplifiying candidate # 1547110156.110 * [enter]simplify: Simplifying (/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* (* b2 b1) (* b2 b1)) (* b2 b1))) 1547110156.110 * * [misc]simplify: iters left: 6 (11 enodes) 1547110156.112 * * [misc]simplify: iters left: 5 (34 enodes) 1547110156.121 * * [misc]simplify: iters left: 4 (183 enodes) 1547110156.279 * [exit]simplify: Simplified to (pow (* (/ a2 b1) (/ a1 b2)) 3) 1547110156.279 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (cbrt (pow (* (/ a2 b1) (/ a1 b2)) 3))) 1547110156.279 * * * * [misc]progress: [ 6 / 18 ] simplifiying candidate # 1547110156.279 * * * * [misc]progress: [ 7 / 18 ] simplifiying candidate # 1547110156.279 * * * * [misc]progress: [ 8 / 18 ] simplifiying candidate # 1547110156.279 * * * * [misc]progress: [ 9 / 18 ] simplifiying candidate # 1547110156.279 * * * * [misc]progress: [ 10 / 18 ] simplifiying candidate # 1547110156.279 * [enter]simplify: Simplifying (/ a1 b2) 1547110156.279 * * [misc]simplify: iters left: 2 (3 enodes) 1547110156.280 * [exit]simplify: Simplified to (/ a1 b2) 1547110156.280 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (* (/ a1 b2) (/ a2 b1))) 1547110156.280 * [enter]simplify: Simplifying (/ a2 b1) 1547110156.280 * * [misc]simplify: iters left: 2 (3 enodes) 1547110156.281 * [exit]simplify: Simplified to (/ a2 b1) 1547110156.281 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (/ a1 b2) (/ a2 b1))) 1547110156.281 * * * * [misc]progress: [ 11 / 18 ] simplifiying candidate # 1547110156.281 * * * * [misc]progress: [ 12 / 18 ] simplifiying candidate # 1547110156.281 * * * * [misc]progress: [ 13 / 18 ] simplifiying candidate # 1547110156.281 * * * * [misc]progress: [ 14 / 18 ] simplifiying candidate # 1547110156.281 * * * * [misc]progress: [ 15 / 18 ] simplifiying candidate # 1547110156.281 * * * * [misc]progress: [ 16 / 18 ] simplifiying candidate # 1547110156.281 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1547110156.281 * * [misc]simplify: iters left: 4 (7 enodes) 1547110156.282 * * [misc]simplify: iters left: 3 (16 enodes) 1547110156.285 * * [misc]simplify: iters left: 2 (35 enodes) 1547110156.296 * * [misc]simplify: iters left: 1 (58 enodes) 1547110156.313 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1547110156.313 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1547110156.313 * * * * [misc]progress: [ 17 / 18 ] simplifiying candidate # 1547110156.314 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1547110156.314 * * [misc]simplify: iters left: 4 (7 enodes) 1547110156.316 * * [misc]simplify: iters left: 3 (16 enodes) 1547110156.321 * * [misc]simplify: iters left: 2 (35 enodes) 1547110156.331 * * [misc]simplify: iters left: 1 (58 enodes) 1547110156.347 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1547110156.347 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1547110156.347 * * * * [misc]progress: [ 18 / 18 ] simplifiying candidate # 1547110156.347 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1547110156.347 * * [misc]simplify: iters left: 4 (7 enodes) 1547110156.348 * * [misc]simplify: iters left: 3 (16 enodes) 1547110156.351 * * [misc]simplify: iters left: 2 (35 enodes) 1547110156.356 * * [misc]simplify: iters left: 1 (58 enodes) 1547110156.364 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1547110156.364 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1547110156.364 * * * [misc]progress: adding candidates to table 1547110156.532 * [misc]progress: [Phase 3 of 3] Extracting. 1547110156.533 * * [misc]regime: Finding splitpoints for: (# # # # # # # # #) 1547110156.534 * * * [misc]regime-changes: Trying 6 branch expressions: (b2 b1 (* b1 b2) a2 a1 (* a1 a2)) 1547110156.534 * * * * [misc]regimes: Trying to branch on b2 from (# # # # # # # # #) 1547110156.697 * * * * [misc]regimes: Trying to branch on b1 from (# # # # # # # # #) 1547110156.800 * * * * [misc]regimes: Trying to branch on (* b1 b2) from (# # # # # # # # #) 1547110156.905 * * * * [misc]regimes: Trying to branch on a2 from (# # # # # # # # #) 1547110157.027 * * * * [misc]regimes: Trying to branch on a1 from (# # # # # # # # #) 1547110157.178 * * * * [misc]regimes: Trying to branch on (* a1 a2) from (# # # # # # # # #) 1547110157.291 * * * * [misc]regimes: Trying to branch on (* a1 a2) from (# # # #) 1547110157.356 * * * [misc]regime: Found split indices: #