11.353 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.030 * * * [progress]: [2/2] Setting up program. 0.032 * [progress]: [Phase 2 of 3] Improving. 0.032 * [simplify]: Simplifying: (- (* a a) (* b b)) 0.032 * * [simplify]: Extracting # 0 : cost 0 0.032 * * [simplify]: Extracting # 1 : cost 0 0.032 * * [simplify]: Extracting # 2 : cost 0 0.032 * * [simplify]: Extracting # 3 : cost 0 0.032 * * [simplify]: Extracting # 4 : cost 0 0.032 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 0.034 * * [simplify]: Extracting # 0 : cost 0 0.034 * * [simplify]: Extracting # 1 : cost 0 0.034 * * [simplify]: Extracting # 2 : cost 0 0.034 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.036 * * [simplify]: Extracting # 0 : cost 0 0.036 * * [simplify]: Extracting # 1 : cost 0 0.036 * * [simplify]: Extracting # 2 : cost 0 0.036 * * [simplify]: iteration 2 : 18 enodes (cost 7 ) 0.039 * * [simplify]: Extracting # 0 : cost 0 0.039 * * [simplify]: Extracting # 1 : cost 0 0.039 * * [simplify]: Extracting # 2 : cost 0 0.039 * * [simplify]: iteration 3 : 35 enodes (cost 7 ) 0.046 * * [simplify]: Extracting # 0 : cost 0 0.047 * * [simplify]: Extracting # 1 : cost 0 0.047 * * [simplify]: Extracting # 2 : cost 0 0.047 * * [simplify]: iteration 4 : 67 enodes (cost 7 ) 0.066 * * [simplify]: Extracting # 0 : cost 0 0.066 * * [simplify]: Extracting # 1 : cost 0 0.066 * * [simplify]: Extracting # 2 : cost 0 0.066 * * [simplify]: iteration 5 : 160 enodes (cost 7 ) 0.115 * * [simplify]: Extracting # 0 : cost 0 0.116 * * [simplify]: Extracting # 1 : cost 0 0.116 * * [simplify]: Extracting # 2 : cost 0 0.117 * * [simplify]: Extracting # 3 : cost 0 0.117 * * [simplify]: iteration 6 : 372 enodes (cost 7 ) 0.331 * * [simplify]: Extracting # 0 : cost 0 0.332 * * [simplify]: Extracting # 1 : cost 0 0.333 * * [simplify]: Extracting # 2 : cost 0 0.334 * * [simplify]: Extracting # 3 : cost 0 0.335 * * [simplify]: Extracting # 4 : cost 0 0.335 * * [simplify]: iteration 7 : 916 enodes (cost 7 ) 1.758 * * [simplify]: Extracting # 0 : cost 0 1.765 * * [simplify]: Extracting # 1 : cost 0 1.768 * * [simplify]: Extracting # 2 : cost 0 1.770 * * [simplify]: Extracting # 3 : cost 0 1.772 * * [simplify]: Extracting # 4 : cost 0 1.775 * * [simplify]: iteration 8 : 3785 enodes (cost 7 ) 3.663 * * [simplify]: Extracting # 0 : cost 0 3.679 * * [simplify]: Extracting # 1 : cost 0 3.683 * * [simplify]: iteration done: 5000 enodes (cost 7 ) 3.683 * [simplify]: Simplified to: (* (- a b) (+ a b)) 3.685 * * [progress]: iteration 1 / 4 3.685 * * * [progress]: picking best candidate 3.687 * * * * [pick]: Picked # 3.688 * * * [progress]: localizing error 3.693 * * * [progress]: generating rewritten candidates 3.693 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 3.771 * * * [progress]: generating series expansions 3.771 * * * * [progress]: [ 1 / 1 ] generating series at (2) 3.771 * [backup-simplify]: Simplify (* (- a b) (+ a b)) into (* (- a b) (+ a b)) 3.771 * [approximate]: Taking taylor expansion of (* (- a b) (+ a b)) in (a b) around 0 3.772 * [taylor]: Taking taylor expansion of (* (- a b) (+ a b)) in b 3.772 * [taylor]: Taking taylor expansion of (- a b) in b 3.772 * [taylor]: Taking taylor expansion of a in b 3.772 * [backup-simplify]: Simplify a into a 3.772 * [taylor]: Taking taylor expansion of b in b 3.772 * [backup-simplify]: Simplify 0 into 0 3.772 * [backup-simplify]: Simplify 1 into 1 3.772 * [taylor]: Taking taylor expansion of (+ a b) in b 3.772 * [taylor]: Taking taylor expansion of a in b 3.772 * [backup-simplify]: Simplify a into a 3.772 * [taylor]: Taking taylor expansion of b in b 3.772 * [backup-simplify]: Simplify 0 into 0 3.772 * [backup-simplify]: Simplify 1 into 1 3.772 * [taylor]: Taking taylor expansion of (* (- a b) (+ a b)) in a 3.772 * [taylor]: Taking taylor expansion of (- a b) in a 3.772 * [taylor]: Taking taylor expansion of a in a 3.772 * [backup-simplify]: Simplify 0 into 0 3.772 * [backup-simplify]: Simplify 1 into 1 3.772 * [taylor]: Taking taylor expansion of b in a 3.772 * [backup-simplify]: Simplify b into b 3.772 * [taylor]: Taking taylor expansion of (+ a b) in a 3.772 * [taylor]: Taking taylor expansion of a in a 3.772 * [backup-simplify]: Simplify 0 into 0 3.772 * [backup-simplify]: Simplify 1 into 1 3.772 * [taylor]: Taking taylor expansion of b in a 3.772 * [backup-simplify]: Simplify b into b 3.772 * [taylor]: Taking taylor expansion of (* (- a b) (+ a b)) in a 3.772 * [taylor]: Taking taylor expansion of (- a b) in a 3.772 * [taylor]: Taking taylor expansion of a in a 3.772 * [backup-simplify]: Simplify 0 into 0 3.772 * [backup-simplify]: Simplify 1 into 1 3.772 * [taylor]: Taking taylor expansion of b in a 3.772 * [backup-simplify]: Simplify b into b 3.773 * [taylor]: Taking taylor expansion of (+ a b) in a 3.773 * [taylor]: Taking taylor expansion of a in a 3.773 * [backup-simplify]: Simplify 0 into 0 3.773 * [backup-simplify]: Simplify 1 into 1 3.773 * [taylor]: Taking taylor expansion of b in a 3.773 * [backup-simplify]: Simplify b into b 3.773 * [backup-simplify]: Simplify (- b) into (- b) 3.773 * [backup-simplify]: Simplify (+ 0 (- b)) into (- b) 3.773 * [backup-simplify]: Simplify (+ 0 b) into b 3.773 * [backup-simplify]: Simplify (* (- b) b) into (* -1 (pow b 2)) 3.773 * [taylor]: Taking taylor expansion of (* -1 (pow b 2)) in b 3.773 * [taylor]: Taking taylor expansion of -1 in b 3.773 * [backup-simplify]: Simplify -1 into -1 3.773 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.773 * [taylor]: Taking taylor expansion of b in b 3.773 * [backup-simplify]: Simplify 0 into 0 3.773 * [backup-simplify]: Simplify 1 into 1 3.774 * [backup-simplify]: Simplify (+ 1 0) into 1 3.774 * [backup-simplify]: Simplify (- 0) into 0 3.775 * [backup-simplify]: Simplify (+ 1 0) into 1 3.775 * [backup-simplify]: Simplify (+ (* (- b) 1) (* 1 b)) into 0 3.775 * [taylor]: Taking taylor expansion of 0 in b 3.775 * [backup-simplify]: Simplify 0 into 0 3.775 * [backup-simplify]: Simplify 0 into 0 3.776 * [backup-simplify]: Simplify (+ 0 0) into 0 3.776 * [backup-simplify]: Simplify (- 0) into 0 3.776 * [backup-simplify]: Simplify (+ 0 0) into 0 3.777 * [backup-simplify]: Simplify (+ (* (- b) 0) (+ (* 1 1) (* 0 b))) into 1 3.777 * [taylor]: Taking taylor expansion of 1 in b 3.777 * [backup-simplify]: Simplify 1 into 1 3.777 * [backup-simplify]: Simplify 1 into 1 3.777 * [backup-simplify]: Simplify 0 into 0 3.777 * [backup-simplify]: Simplify (* 1 1) into 1 3.778 * [backup-simplify]: Simplify (* -1 1) into -1 3.778 * [backup-simplify]: Simplify -1 into -1 3.778 * [backup-simplify]: Simplify (+ 0 0) into 0 3.778 * [backup-simplify]: Simplify (- 0) into 0 3.779 * [backup-simplify]: Simplify (+ 0 0) into 0 3.780 * [backup-simplify]: Simplify (+ (* (- b) 0) (+ (* 1 0) (+ (* 0 1) (* 0 b)))) into 0 3.780 * [taylor]: Taking taylor expansion of 0 in b 3.780 * [backup-simplify]: Simplify 0 into 0 3.780 * [backup-simplify]: Simplify 0 into 0 3.780 * [backup-simplify]: Simplify 0 into 0 3.780 * [backup-simplify]: Simplify 0 into 0 3.781 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.781 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 3.782 * [backup-simplify]: Simplify 0 into 0 3.782 * [backup-simplify]: Simplify (+ 0 0) into 0 3.782 * [backup-simplify]: Simplify (- 0) into 0 3.783 * [backup-simplify]: Simplify (+ 0 0) into 0 3.784 * [backup-simplify]: Simplify (+ (* (- b) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 b))))) into 0 3.784 * [taylor]: Taking taylor expansion of 0 in b 3.784 * [backup-simplify]: Simplify 0 into 0 3.784 * [backup-simplify]: Simplify 0 into 0 3.785 * [backup-simplify]: Simplify 0 into 0 3.785 * [backup-simplify]: Simplify (+ (* -1 (pow (* b 1) 2)) (* 1 (pow (* 1 a) 2))) into (- (pow a 2) (pow b 2)) 3.785 * [backup-simplify]: Simplify (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 a) (/ 1 b))) into (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a))) 3.785 * [approximate]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a))) in (a b) around 0 3.785 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a))) in b 3.785 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 3.785 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.785 * [taylor]: Taking taylor expansion of a in b 3.785 * [backup-simplify]: Simplify a into a 3.786 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.786 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.786 * [taylor]: Taking taylor expansion of b in b 3.786 * [backup-simplify]: Simplify 0 into 0 3.786 * [backup-simplify]: Simplify 1 into 1 3.786 * [backup-simplify]: Simplify (/ 1 1) into 1 3.786 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 3.786 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.786 * [taylor]: Taking taylor expansion of b in b 3.786 * [backup-simplify]: Simplify 0 into 0 3.786 * [backup-simplify]: Simplify 1 into 1 3.787 * [backup-simplify]: Simplify (/ 1 1) into 1 3.787 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.787 * [taylor]: Taking taylor expansion of a in b 3.787 * [backup-simplify]: Simplify a into a 3.787 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.787 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a))) in a 3.787 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 3.787 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.787 * [taylor]: Taking taylor expansion of a in a 3.787 * [backup-simplify]: Simplify 0 into 0 3.787 * [backup-simplify]: Simplify 1 into 1 3.787 * [backup-simplify]: Simplify (/ 1 1) into 1 3.787 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.787 * [taylor]: Taking taylor expansion of b in a 3.788 * [backup-simplify]: Simplify b into b 3.788 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.788 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 3.788 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.788 * [taylor]: Taking taylor expansion of b in a 3.788 * [backup-simplify]: Simplify b into b 3.788 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.788 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.788 * [taylor]: Taking taylor expansion of a in a 3.788 * [backup-simplify]: Simplify 0 into 0 3.788 * [backup-simplify]: Simplify 1 into 1 3.788 * [backup-simplify]: Simplify (/ 1 1) into 1 3.788 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a))) in a 3.788 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 3.788 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.788 * [taylor]: Taking taylor expansion of a in a 3.788 * [backup-simplify]: Simplify 0 into 0 3.788 * [backup-simplify]: Simplify 1 into 1 3.789 * [backup-simplify]: Simplify (/ 1 1) into 1 3.789 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.789 * [taylor]: Taking taylor expansion of b in a 3.789 * [backup-simplify]: Simplify b into b 3.789 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.789 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 3.789 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.789 * [taylor]: Taking taylor expansion of b in a 3.789 * [backup-simplify]: Simplify b into b 3.789 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.789 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.789 * [taylor]: Taking taylor expansion of a in a 3.789 * [backup-simplify]: Simplify 0 into 0 3.789 * [backup-simplify]: Simplify 1 into 1 3.790 * [backup-simplify]: Simplify (/ 1 1) into 1 3.790 * [backup-simplify]: Simplify (+ 1 0) into 1 3.791 * [backup-simplify]: Simplify (+ 0 1) into 1 3.791 * [backup-simplify]: Simplify (* 1 1) into 1 3.791 * [taylor]: Taking taylor expansion of 1 in b 3.791 * [backup-simplify]: Simplify 1 into 1 3.792 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.792 * [backup-simplify]: Simplify (+ (/ 1 b) 0) into (/ 1 b) 3.793 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.793 * [backup-simplify]: Simplify (- (/ 1 b)) into (- (/ 1 b)) 3.793 * [backup-simplify]: Simplify (+ 0 (- (/ 1 b))) into (- (/ 1 b)) 3.794 * [backup-simplify]: Simplify (+ (* 1 (/ 1 b)) (* (- (/ 1 b)) 1)) into 0 3.794 * [taylor]: Taking taylor expansion of 0 in b 3.794 * [backup-simplify]: Simplify 0 into 0 3.794 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 3.795 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.795 * [backup-simplify]: Simplify (+ 0 0) into 0 3.796 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.796 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 3.797 * [backup-simplify]: Simplify (- 0) into 0 3.797 * [backup-simplify]: Simplify (+ 0 0) into 0 3.798 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 b)) (/ 1 b)) (* 0 1))) into (- (/ 1 (pow b 2))) 3.798 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 3.798 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.798 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.798 * [taylor]: Taking taylor expansion of b in b 3.798 * [backup-simplify]: Simplify 0 into 0 3.798 * [backup-simplify]: Simplify 1 into 1 3.799 * [backup-simplify]: Simplify (* 1 1) into 1 3.799 * [backup-simplify]: Simplify (/ 1 1) into 1 3.799 * [backup-simplify]: Simplify (- 1) into -1 3.799 * [backup-simplify]: Simplify -1 into -1 3.800 * [backup-simplify]: Simplify 1 into 1 3.800 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.801 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.801 * [backup-simplify]: Simplify (+ 0 0) into 0 3.802 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.802 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.803 * [backup-simplify]: Simplify (- 0) into 0 3.803 * [backup-simplify]: Simplify (+ 0 0) into 0 3.804 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 b)) 0) (+ (* 0 (/ 1 b)) (* 0 1)))) into 0 3.804 * [taylor]: Taking taylor expansion of 0 in b 3.804 * [backup-simplify]: Simplify 0 into 0 3.805 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.805 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.806 * [backup-simplify]: Simplify (- 0) into 0 3.806 * [backup-simplify]: Simplify 0 into 0 3.806 * [backup-simplify]: Simplify 0 into 0 3.806 * [backup-simplify]: Simplify 0 into 0 3.806 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.807 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.808 * [backup-simplify]: Simplify (+ 0 0) into 0 3.808 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.809 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.809 * [backup-simplify]: Simplify (- 0) into 0 3.810 * [backup-simplify]: Simplify (+ 0 0) into 0 3.811 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 b)) 0) (+ (* 0 0) (+ (* 0 (/ 1 b)) (* 0 1))))) into 0 3.811 * [taylor]: Taking taylor expansion of 0 in b 3.811 * [backup-simplify]: Simplify 0 into 0 3.812 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.813 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.813 * [backup-simplify]: Simplify (- 0) into 0 3.813 * [backup-simplify]: Simplify 0 into 0 3.813 * [backup-simplify]: Simplify 0 into 0 3.813 * [backup-simplify]: Simplify 0 into 0 3.814 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (* -1 (pow (* (/ 1 (/ 1 b)) 1) 2))) into (- (pow a 2) (pow b 2)) 3.814 * [backup-simplify]: Simplify (* (- (/ 1 (- a)) (/ 1 (- b))) (+ (/ 1 (- a)) (/ 1 (- b)))) into (* -1 (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a)))) 3.814 * [approximate]: Taking taylor expansion of (* -1 (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a)))) in (a b) around 0 3.814 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a)))) in b 3.814 * [taylor]: Taking taylor expansion of -1 in b 3.814 * [backup-simplify]: Simplify -1 into -1 3.814 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))) in b 3.814 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 3.814 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.814 * [taylor]: Taking taylor expansion of b in b 3.814 * [backup-simplify]: Simplify 0 into 0 3.814 * [backup-simplify]: Simplify 1 into 1 3.815 * [backup-simplify]: Simplify (/ 1 1) into 1 3.815 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.815 * [taylor]: Taking taylor expansion of a in b 3.815 * [backup-simplify]: Simplify a into a 3.815 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.815 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 3.815 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.815 * [taylor]: Taking taylor expansion of b in b 3.815 * [backup-simplify]: Simplify 0 into 0 3.815 * [backup-simplify]: Simplify 1 into 1 3.815 * [backup-simplify]: Simplify (/ 1 1) into 1 3.815 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.816 * [taylor]: Taking taylor expansion of a in b 3.816 * [backup-simplify]: Simplify a into a 3.816 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.816 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a)))) in a 3.816 * [taylor]: Taking taylor expansion of -1 in a 3.816 * [backup-simplify]: Simplify -1 into -1 3.816 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))) in a 3.816 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 3.816 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.816 * [taylor]: Taking taylor expansion of b in a 3.816 * [backup-simplify]: Simplify b into b 3.816 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.816 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.816 * [taylor]: Taking taylor expansion of a in a 3.816 * [backup-simplify]: Simplify 0 into 0 3.816 * [backup-simplify]: Simplify 1 into 1 3.816 * [backup-simplify]: Simplify (/ 1 1) into 1 3.816 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 3.817 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.817 * [taylor]: Taking taylor expansion of b in a 3.817 * [backup-simplify]: Simplify b into b 3.817 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.817 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.817 * [taylor]: Taking taylor expansion of a in a 3.817 * [backup-simplify]: Simplify 0 into 0 3.817 * [backup-simplify]: Simplify 1 into 1 3.817 * [backup-simplify]: Simplify (/ 1 1) into 1 3.817 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a)))) in a 3.817 * [taylor]: Taking taylor expansion of -1 in a 3.817 * [backup-simplify]: Simplify -1 into -1 3.817 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))) in a 3.817 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 3.817 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.817 * [taylor]: Taking taylor expansion of b in a 3.817 * [backup-simplify]: Simplify b into b 3.817 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.817 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.818 * [taylor]: Taking taylor expansion of a in a 3.818 * [backup-simplify]: Simplify 0 into 0 3.818 * [backup-simplify]: Simplify 1 into 1 3.818 * [backup-simplify]: Simplify (/ 1 1) into 1 3.818 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 3.818 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.818 * [taylor]: Taking taylor expansion of b in a 3.818 * [backup-simplify]: Simplify b into b 3.818 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.818 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.818 * [taylor]: Taking taylor expansion of a in a 3.818 * [backup-simplify]: Simplify 0 into 0 3.818 * [backup-simplify]: Simplify 1 into 1 3.819 * [backup-simplify]: Simplify (/ 1 1) into 1 3.819 * [backup-simplify]: Simplify (- 1) into -1 3.819 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.819 * [backup-simplify]: Simplify (+ 0 1) into 1 3.820 * [backup-simplify]: Simplify (* -1 1) into -1 3.820 * [backup-simplify]: Simplify (* -1 -1) into 1 3.820 * [taylor]: Taking taylor expansion of 1 in b 3.820 * [backup-simplify]: Simplify 1 into 1 3.820 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.820 * [backup-simplify]: Simplify (+ (/ 1 b) 0) into (/ 1 b) 3.821 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.821 * [backup-simplify]: Simplify (- 0) into 0 3.821 * [backup-simplify]: Simplify (+ (/ 1 b) 0) into (/ 1 b) 3.821 * [backup-simplify]: Simplify (+ (* -1 (/ 1 b)) (* (/ 1 b) 1)) into 0 3.822 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 3.822 * [taylor]: Taking taylor expansion of 0 in b 3.822 * [backup-simplify]: Simplify 0 into 0 3.822 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 3.822 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.823 * [backup-simplify]: Simplify (+ 0 0) into 0 3.823 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 3.823 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.823 * [backup-simplify]: Simplify (- 0) into 0 3.824 * [backup-simplify]: Simplify (+ 0 0) into 0 3.824 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2)) 3.825 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (pow b 2))) (+ (* 0 0) (* 0 -1))) into (- (/ 1 (pow b 2))) 3.825 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 3.825 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.825 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.825 * [taylor]: Taking taylor expansion of b in b 3.825 * [backup-simplify]: Simplify 0 into 0 3.825 * [backup-simplify]: Simplify 1 into 1 3.825 * [backup-simplify]: Simplify (* 1 1) into 1 3.825 * [backup-simplify]: Simplify (/ 1 1) into 1 3.826 * [backup-simplify]: Simplify (- 1) into -1 3.826 * [backup-simplify]: Simplify -1 into -1 3.826 * [backup-simplify]: Simplify 1 into 1 3.826 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.826 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.827 * [backup-simplify]: Simplify (+ 0 0) into 0 3.827 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.827 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.828 * [backup-simplify]: Simplify (- 0) into 0 3.828 * [backup-simplify]: Simplify (+ 0 0) into 0 3.828 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 b) 0) (+ (* 0 (/ 1 b)) (* 0 1)))) into 0 3.829 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 (pow b 2))) (+ (* 0 0) (* 0 -1)))) into 0 3.829 * [taylor]: Taking taylor expansion of 0 in b 3.829 * [backup-simplify]: Simplify 0 into 0 3.830 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.830 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.830 * [backup-simplify]: Simplify (- 0) into 0 3.830 * [backup-simplify]: Simplify 0 into 0 3.830 * [backup-simplify]: Simplify 0 into 0 3.830 * [backup-simplify]: Simplify 0 into 0 3.831 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.831 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.831 * [backup-simplify]: Simplify (+ 0 0) into 0 3.831 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.832 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.832 * [backup-simplify]: Simplify (- 0) into 0 3.832 * [backup-simplify]: Simplify (+ 0 0) into 0 3.833 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 b) 0) (+ (* 0 0) (+ (* 0 (/ 1 b)) (* 0 1))))) into 0 3.834 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 (pow b 2))) (+ (* 0 0) (* 0 -1))))) into 0 3.834 * [taylor]: Taking taylor expansion of 0 in b 3.835 * [backup-simplify]: Simplify 0 into 0 3.835 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.836 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.836 * [backup-simplify]: Simplify (- 0) into 0 3.836 * [backup-simplify]: Simplify 0 into 0 3.836 * [backup-simplify]: Simplify 0 into 0 3.836 * [backup-simplify]: Simplify 0 into 0 3.837 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- b))) 1) 2))) into (- (pow a 2) (pow b 2)) 3.837 * * * [progress]: simplifying candidates 3.838 * [simplify]: Simplifying: (expm1 (* (- a b) (+ a b))) (log1p (* (- a b) (+ a b))) (* (- a b) (+ a b)) (+ (log (- a b)) (log (+ a b))) (log (* (- a b) (+ a b))) (exp (* (- a b) (+ a b))) (* (* (* (- a b) (- a b)) (- a b)) (* (* (+ a b) (+ a b)) (+ a b))) (* (cbrt (* (- a b) (+ a b))) (cbrt (* (- a b) (+ a b)))) (cbrt (* (- a b) (+ a b))) (* (* (* (- a b) (+ a b)) (* (- a b) (+ a b))) (* (- a b) (+ a b))) (sqrt (* (- a b) (+ a b))) (sqrt (* (- a b) (+ a b))) (* (- (pow a 3) (pow b 3)) (+ (pow a 3) (pow b 3))) (* (+ (* a a) (+ (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b)))) (* (- (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ (* a a) (+ (* b b) (* a b))) (- a b)) (* (- (* a a) (* b b)) (+ (pow a 3) (pow b 3))) (* (+ a b) (+ (* a a) (- (* b b) (* a b)))) (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (+ a b) (- a b)) (* (sqrt (- a b)) (sqrt (+ a b))) (* (sqrt (- a b)) (sqrt (+ a b))) (* (- a b) a) (* (- a b) b) (* a (- a b)) (* b (- a b)) (* (- a b) (* (cbrt (+ a b)) (cbrt (+ a b)))) (* (- a b) (sqrt (+ a b))) (* (- a b) 1) (* (- a b) 1) (* (cbrt (- a b)) (+ a b)) (* (sqrt (- a b)) (+ a b)) (* (- a b) (+ a b)) (* (- (sqrt a) (sqrt b)) (+ a b)) (* (- a b) (+ a b)) (* (- a b) (+ (pow a 3) (pow b 3))) (* (- a b) (- (* a a) (* b b))) (* (- (pow a 3) (pow b 3)) (+ a b)) (* (- (* a a) (* b b)) (+ a b)) (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2)) 3.838 * * [simplify]: Extracting # 0 : cost 0 3.838 * * [simplify]: Extracting # 1 : cost 0 3.839 * * [simplify]: Extracting # 2 : cost 0 3.839 * * [simplify]: Extracting # 3 : cost 0 3.839 * * [simplify]: Extracting # 4 : cost 0 3.839 * * [simplify]: Extracting # 5 : cost 0 3.839 * * [simplify]: Extracting # 6 : cost 0 3.839 * * [simplify]: Extracting # 7 : cost 0 3.839 * * [simplify]: iteration 0 : 71 enodes (cost 428 ) 3.865 * * [simplify]: Extracting # 0 : cost 0 3.866 * * [simplify]: Extracting # 1 : cost 0 3.866 * * [simplify]: Extracting # 2 : cost 0 3.867 * * [simplify]: Extracting # 3 : cost 0 3.867 * * [simplify]: Extracting # 4 : cost 0 3.868 * * [simplify]: Extracting # 5 : cost 0 3.868 * * [simplify]: iteration 1 : 243 enodes (cost 411 ) 4.127 * * [simplify]: Extracting # 0 : cost 0 4.129 * * [simplify]: Extracting # 1 : cost 0 4.131 * * [simplify]: Extracting # 2 : cost 0 4.133 * * [simplify]: Extracting # 3 : cost 0 4.135 * * [simplify]: Extracting # 4 : cost 0 4.137 * * [simplify]: iteration 2 : 1739 enodes (cost 385 ) 5.391 * * [simplify]: Extracting # 0 : cost 0 5.399 * * [simplify]: Extracting # 1 : cost 0 5.407 * * [simplify]: Extracting # 2 : cost 0 5.415 * * [simplify]: Extracting # 3 : cost 0 5.428 * * [simplify]: Extracting # 4 : cost 0 5.435 * * [simplify]: iteration done: 5002 enodes (cost 383 ) 5.435 * [simplify]: Simplified to: (expm1 (* (- a b) (+ a b))) (log1p (* (- a b) (+ a b))) (* (+ a b) (- a b)) (log (* (- a b) (+ a b))) (log (* (- a b) (+ a b))) (exp (* (- a b) (+ a b))) (pow (* (+ a b) (- a b)) 3) (* (cbrt (* (- a b) (+ a b))) (cbrt (* (- a b) (+ a b)))) (cbrt (* (- a b) (+ a b))) (pow (* (+ a b) (- a b)) 3) (sqrt (* (- a b) (+ a b))) (sqrt (* (- a b) (+ a b))) (* (- (pow a 3) (pow b 3)) (+ (pow a 3) (pow b 3))) (* (fma a a (* b (- b a))) (fma a a (* b (+ a b)))) (* (- (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (- a b) (fma a a (* b (+ a b)))) (* (- (* a a) (* b b)) (+ (pow a 3) (pow b 3))) (* (+ a b) (fma a a (* b (- b a)))) (* (- a b) (* (+ a b) (* (- a b) (+ a b)))) (* (+ a b) (- a b)) (* (sqrt (- a b)) (sqrt (+ a b))) (* (sqrt (- a b)) (sqrt (+ a b))) (* (- a b) a) (* b (- a b)) (* (- a b) a) (* b (- a b)) (* (* (cbrt (+ a b)) (cbrt (+ a b))) (- a b)) (* (sqrt (+ a b)) (- a b)) (- a b) (- a b) (* (cbrt (- a b)) (+ a b)) (* (sqrt (- a b)) (+ a b)) (* (+ a b) (- a b)) (* (- (sqrt a) (sqrt b)) (+ a b)) (* (+ a b) (- a b)) (* (+ (pow a 3) (pow b 3)) (- a b)) (* (* (- a b) (+ a b)) (- a b)) (* (- (pow a 3) (pow b 3)) (+ a b)) (* (* (+ a b) (- a b)) (+ a b)) (* (+ a b) (- a b)) (* (+ a b) (- a b)) (* (+ a b) (- a b)) 5.435 * * * [progress]: adding candidates to table 5.919 * * [progress]: iteration 2 / 4 5.919 * * * [progress]: picking best candidate 5.920 * * * * [pick]: Picked # 5.920 * * * [progress]: localizing error 5.927 * * * [progress]: generating rewritten candidates 5.927 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 5.948 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 5.992 * * * [progress]: generating series expansions 5.992 * * * * [progress]: [ 1 / 2 ] generating series at (2) 5.992 * [backup-simplify]: Simplify (+ (* (- a b) a) (* b (- a b))) into (- (pow a 2) (pow b 2)) 5.992 * [approximate]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in (a b) around 0 5.992 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in b 5.992 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.992 * [taylor]: Taking taylor expansion of a in b 5.992 * [backup-simplify]: Simplify a into a 5.992 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.992 * [taylor]: Taking taylor expansion of b in b 5.992 * [backup-simplify]: Simplify 0 into 0 5.992 * [backup-simplify]: Simplify 1 into 1 5.992 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a 5.992 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.992 * [taylor]: Taking taylor expansion of a in a 5.992 * [backup-simplify]: Simplify 0 into 0 5.992 * [backup-simplify]: Simplify 1 into 1 5.992 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.992 * [taylor]: Taking taylor expansion of b in a 5.992 * [backup-simplify]: Simplify b into b 5.992 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a 5.992 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.992 * [taylor]: Taking taylor expansion of a in a 5.992 * [backup-simplify]: Simplify 0 into 0 5.992 * [backup-simplify]: Simplify 1 into 1 5.993 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.993 * [taylor]: Taking taylor expansion of b in a 5.993 * [backup-simplify]: Simplify b into b 5.993 * [backup-simplify]: Simplify (* b b) into (pow b 2) 5.993 * [backup-simplify]: Simplify (- (pow b 2)) into (- (pow b 2)) 5.993 * [backup-simplify]: Simplify (+ 0 (- (pow b 2))) into (- (pow b 2)) 5.993 * [taylor]: Taking taylor expansion of (- (pow b 2)) in b 5.993 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.993 * [taylor]: Taking taylor expansion of b in b 5.993 * [backup-simplify]: Simplify 0 into 0 5.993 * [backup-simplify]: Simplify 1 into 1 5.993 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0 5.994 * [backup-simplify]: Simplify (- 0) into 0 5.994 * [backup-simplify]: Simplify (+ 0 0) into 0 5.994 * [taylor]: Taking taylor expansion of 0 in b 5.994 * [backup-simplify]: Simplify 0 into 0 5.994 * [backup-simplify]: Simplify 0 into 0 5.994 * [backup-simplify]: Simplify (* 1 1) into 1 5.995 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 5.995 * [backup-simplify]: Simplify (- 0) into 0 5.995 * [backup-simplify]: Simplify (+ 1 0) into 1 5.995 * [taylor]: Taking taylor expansion of 1 in b 5.995 * [backup-simplify]: Simplify 1 into 1 5.995 * [backup-simplify]: Simplify 1 into 1 5.995 * [backup-simplify]: Simplify 0 into 0 5.995 * [backup-simplify]: Simplify (* 1 1) into 1 5.996 * [backup-simplify]: Simplify (- 1) into -1 5.996 * [backup-simplify]: Simplify -1 into -1 5.996 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.996 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0 5.997 * [backup-simplify]: Simplify (- 0) into 0 5.997 * [backup-simplify]: Simplify (+ 0 0) into 0 5.997 * [taylor]: Taking taylor expansion of 0 in b 5.997 * [backup-simplify]: Simplify 0 into 0 5.997 * [backup-simplify]: Simplify 0 into 0 5.997 * [backup-simplify]: Simplify 0 into 0 5.997 * [backup-simplify]: Simplify 0 into 0 5.997 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.998 * [backup-simplify]: Simplify (- 0) into 0 5.998 * [backup-simplify]: Simplify 0 into 0 5.998 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.999 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0 5.999 * [backup-simplify]: Simplify (- 0) into 0 5.999 * [backup-simplify]: Simplify (+ 0 0) into 0 5.999 * [taylor]: Taking taylor expansion of 0 in b 5.999 * [backup-simplify]: Simplify 0 into 0 5.999 * [backup-simplify]: Simplify 0 into 0 5.999 * [backup-simplify]: Simplify 0 into 0 6.000 * [backup-simplify]: Simplify (+ (* -1 (pow (* b 1) 2)) (* 1 (pow (* 1 a) 2))) into (- (pow a 2) (pow b 2)) 6.000 * [backup-simplify]: Simplify (+ (* (- (/ 1 a) (/ 1 b)) (/ 1 a)) (* (/ 1 b) (- (/ 1 a) (/ 1 b)))) into (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) 6.000 * [approximate]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in (a b) around 0 6.000 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 6.000 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 6.000 * [taylor]: Taking taylor expansion of (pow a 2) in b 6.000 * [taylor]: Taking taylor expansion of a in b 6.000 * [backup-simplify]: Simplify a into a 6.000 * [backup-simplify]: Simplify (* a a) into (pow a 2) 6.000 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 6.000 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 6.000 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.000 * [taylor]: Taking taylor expansion of b in b 6.000 * [backup-simplify]: Simplify 0 into 0 6.000 * [backup-simplify]: Simplify 1 into 1 6.001 * [backup-simplify]: Simplify (* 1 1) into 1 6.001 * [backup-simplify]: Simplify (/ 1 1) into 1 6.001 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 6.001 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 6.001 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.001 * [taylor]: Taking taylor expansion of a in a 6.001 * [backup-simplify]: Simplify 0 into 0 6.001 * [backup-simplify]: Simplify 1 into 1 6.001 * [backup-simplify]: Simplify (* 1 1) into 1 6.001 * [backup-simplify]: Simplify (/ 1 1) into 1 6.001 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 6.001 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.001 * [taylor]: Taking taylor expansion of b in a 6.001 * [backup-simplify]: Simplify b into b 6.001 * [backup-simplify]: Simplify (* b b) into (pow b 2) 6.002 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 6.002 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 6.002 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 6.002 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.002 * [taylor]: Taking taylor expansion of a in a 6.002 * [backup-simplify]: Simplify 0 into 0 6.002 * [backup-simplify]: Simplify 1 into 1 6.002 * [backup-simplify]: Simplify (* 1 1) into 1 6.002 * [backup-simplify]: Simplify (/ 1 1) into 1 6.002 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 6.002 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.002 * [taylor]: Taking taylor expansion of b in a 6.002 * [backup-simplify]: Simplify b into b 6.002 * [backup-simplify]: Simplify (* b b) into (pow b 2) 6.002 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 6.003 * [backup-simplify]: Simplify (+ 1 0) into 1 6.003 * [taylor]: Taking taylor expansion of 1 in b 6.003 * [backup-simplify]: Simplify 1 into 1 6.003 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.003 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.004 * [backup-simplify]: Simplify (+ 0 0) into 0 6.004 * [taylor]: Taking taylor expansion of 0 in b 6.004 * [backup-simplify]: Simplify 0 into 0 6.004 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.005 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.005 * [backup-simplify]: Simplify (- (/ 1 (pow b 2))) into (- (/ 1 (pow b 2))) 6.005 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow b 2)))) into (- (/ 1 (pow b 2))) 6.005 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 6.005 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 6.005 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.005 * [taylor]: Taking taylor expansion of b in b 6.005 * [backup-simplify]: Simplify 0 into 0 6.005 * [backup-simplify]: Simplify 1 into 1 6.005 * [backup-simplify]: Simplify (* 1 1) into 1 6.006 * [backup-simplify]: Simplify (/ 1 1) into 1 6.006 * [backup-simplify]: Simplify (- 1) into -1 6.006 * [backup-simplify]: Simplify -1 into -1 6.006 * [backup-simplify]: Simplify 1 into 1 6.007 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.007 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.007 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0 6.007 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0 6.008 * [backup-simplify]: Simplify (- 0) into 0 6.008 * [backup-simplify]: Simplify (+ 0 0) into 0 6.008 * [taylor]: Taking taylor expansion of 0 in b 6.008 * [backup-simplify]: Simplify 0 into 0 6.008 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.009 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.009 * [backup-simplify]: Simplify (- 0) into 0 6.009 * [backup-simplify]: Simplify 0 into 0 6.009 * [backup-simplify]: Simplify 0 into 0 6.009 * [backup-simplify]: Simplify 0 into 0 6.009 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.010 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.010 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 6.011 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0 6.011 * [backup-simplify]: Simplify (- 0) into 0 6.011 * [backup-simplify]: Simplify (+ 0 0) into 0 6.011 * [taylor]: Taking taylor expansion of 0 in b 6.011 * [backup-simplify]: Simplify 0 into 0 6.012 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.012 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.012 * [backup-simplify]: Simplify (- 0) into 0 6.013 * [backup-simplify]: Simplify 0 into 0 6.013 * [backup-simplify]: Simplify 0 into 0 6.013 * [backup-simplify]: Simplify 0 into 0 6.013 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (* -1 (pow (* (/ 1 (/ 1 b)) 1) 2))) into (- (pow a 2) (pow b 2)) 6.013 * [backup-simplify]: Simplify (+ (* (- (/ 1 (- a)) (/ 1 (- b))) (/ 1 (- a))) (* (/ 1 (- b)) (- (/ 1 (- a)) (/ 1 (- b))))) into (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) 6.013 * [approximate]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in (a b) around 0 6.013 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 6.013 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 6.013 * [taylor]: Taking taylor expansion of (pow a 2) in b 6.013 * [taylor]: Taking taylor expansion of a in b 6.013 * [backup-simplify]: Simplify a into a 6.014 * [backup-simplify]: Simplify (* a a) into (pow a 2) 6.014 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 6.014 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 6.014 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.014 * [taylor]: Taking taylor expansion of b in b 6.014 * [backup-simplify]: Simplify 0 into 0 6.014 * [backup-simplify]: Simplify 1 into 1 6.014 * [backup-simplify]: Simplify (* 1 1) into 1 6.014 * [backup-simplify]: Simplify (/ 1 1) into 1 6.014 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 6.014 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 6.014 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.014 * [taylor]: Taking taylor expansion of a in a 6.014 * [backup-simplify]: Simplify 0 into 0 6.015 * [backup-simplify]: Simplify 1 into 1 6.015 * [backup-simplify]: Simplify (* 1 1) into 1 6.015 * [backup-simplify]: Simplify (/ 1 1) into 1 6.015 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 6.015 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.015 * [taylor]: Taking taylor expansion of b in a 6.015 * [backup-simplify]: Simplify b into b 6.015 * [backup-simplify]: Simplify (* b b) into (pow b 2) 6.015 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 6.015 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 6.015 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 6.015 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.015 * [taylor]: Taking taylor expansion of a in a 6.015 * [backup-simplify]: Simplify 0 into 0 6.015 * [backup-simplify]: Simplify 1 into 1 6.016 * [backup-simplify]: Simplify (* 1 1) into 1 6.016 * [backup-simplify]: Simplify (/ 1 1) into 1 6.016 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 6.016 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.016 * [taylor]: Taking taylor expansion of b in a 6.016 * [backup-simplify]: Simplify b into b 6.016 * [backup-simplify]: Simplify (* b b) into (pow b 2) 6.017 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 6.017 * [backup-simplify]: Simplify (+ 1 0) into 1 6.017 * [taylor]: Taking taylor expansion of 1 in b 6.017 * [backup-simplify]: Simplify 1 into 1 6.017 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.018 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.018 * [backup-simplify]: Simplify (+ 0 0) into 0 6.018 * [taylor]: Taking taylor expansion of 0 in b 6.018 * [backup-simplify]: Simplify 0 into 0 6.019 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.019 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.019 * [backup-simplify]: Simplify (- (/ 1 (pow b 2))) into (- (/ 1 (pow b 2))) 6.019 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow b 2)))) into (- (/ 1 (pow b 2))) 6.019 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 6.019 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 6.019 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.019 * [taylor]: Taking taylor expansion of b in b 6.019 * [backup-simplify]: Simplify 0 into 0 6.019 * [backup-simplify]: Simplify 1 into 1 6.020 * [backup-simplify]: Simplify (* 1 1) into 1 6.020 * [backup-simplify]: Simplify (/ 1 1) into 1 6.020 * [backup-simplify]: Simplify (- 1) into -1 6.020 * [backup-simplify]: Simplify -1 into -1 6.020 * [backup-simplify]: Simplify 1 into 1 6.021 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.021 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.021 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0 6.022 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0 6.022 * [backup-simplify]: Simplify (- 0) into 0 6.022 * [backup-simplify]: Simplify (+ 0 0) into 0 6.022 * [taylor]: Taking taylor expansion of 0 in b 6.022 * [backup-simplify]: Simplify 0 into 0 6.023 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.023 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.023 * [backup-simplify]: Simplify (- 0) into 0 6.023 * [backup-simplify]: Simplify 0 into 0 6.023 * [backup-simplify]: Simplify 0 into 0 6.023 * [backup-simplify]: Simplify 0 into 0 6.024 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.025 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.025 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 6.025 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0 6.025 * [backup-simplify]: Simplify (- 0) into 0 6.026 * [backup-simplify]: Simplify (+ 0 0) into 0 6.026 * [taylor]: Taking taylor expansion of 0 in b 6.026 * [backup-simplify]: Simplify 0 into 0 6.026 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.027 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.027 * [backup-simplify]: Simplify (- 0) into 0 6.027 * [backup-simplify]: Simplify 0 into 0 6.027 * [backup-simplify]: Simplify 0 into 0 6.027 * [backup-simplify]: Simplify 0 into 0 6.027 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- b))) 1) 2))) into (- (pow a 2) (pow b 2)) 6.028 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 6.028 * [backup-simplify]: Simplify (* (- a b) a) into (* (- a b) a) 6.028 * [approximate]: Taking taylor expansion of (* (- a b) a) in (a b) around 0 6.028 * [taylor]: Taking taylor expansion of (* (- a b) a) in b 6.028 * [taylor]: Taking taylor expansion of (- a b) in b 6.028 * [taylor]: Taking taylor expansion of a in b 6.028 * [backup-simplify]: Simplify a into a 6.028 * [taylor]: Taking taylor expansion of b in b 6.028 * [backup-simplify]: Simplify 0 into 0 6.028 * [backup-simplify]: Simplify 1 into 1 6.028 * [taylor]: Taking taylor expansion of a in b 6.028 * [backup-simplify]: Simplify a into a 6.028 * [taylor]: Taking taylor expansion of (* (- a b) a) in a 6.028 * [taylor]: Taking taylor expansion of (- a b) in a 6.028 * [taylor]: Taking taylor expansion of a in a 6.028 * [backup-simplify]: Simplify 0 into 0 6.028 * [backup-simplify]: Simplify 1 into 1 6.028 * [taylor]: Taking taylor expansion of b in a 6.028 * [backup-simplify]: Simplify b into b 6.028 * [taylor]: Taking taylor expansion of a in a 6.028 * [backup-simplify]: Simplify 0 into 0 6.028 * [backup-simplify]: Simplify 1 into 1 6.028 * [taylor]: Taking taylor expansion of (* (- a b) a) in a 6.028 * [taylor]: Taking taylor expansion of (- a b) in a 6.028 * [taylor]: Taking taylor expansion of a in a 6.028 * [backup-simplify]: Simplify 0 into 0 6.028 * [backup-simplify]: Simplify 1 into 1 6.028 * [taylor]: Taking taylor expansion of b in a 6.028 * [backup-simplify]: Simplify b into b 6.028 * [taylor]: Taking taylor expansion of a in a 6.028 * [backup-simplify]: Simplify 0 into 0 6.028 * [backup-simplify]: Simplify 1 into 1 6.028 * [backup-simplify]: Simplify (- b) into (- b) 6.028 * [backup-simplify]: Simplify (+ 0 (- b)) into (- b) 6.028 * [backup-simplify]: Simplify (* (- b) 0) into 0 6.028 * [taylor]: Taking taylor expansion of 0 in b 6.028 * [backup-simplify]: Simplify 0 into 0 6.028 * [backup-simplify]: Simplify 0 into 0 6.029 * [backup-simplify]: Simplify (- 0) into 0 6.029 * [backup-simplify]: Simplify (+ 1 0) into 1 6.029 * [backup-simplify]: Simplify (+ (* (- b) 1) (* 1 0)) into (- b) 6.029 * [taylor]: Taking taylor expansion of (- b) in b 6.029 * [taylor]: Taking taylor expansion of b in b 6.029 * [backup-simplify]: Simplify 0 into 0 6.029 * [backup-simplify]: Simplify 1 into 1 6.029 * [backup-simplify]: Simplify (- 0) into 0 6.029 * [backup-simplify]: Simplify 0 into 0 6.030 * [backup-simplify]: Simplify 0 into 0 6.030 * [backup-simplify]: Simplify (- 0) into 0 6.030 * [backup-simplify]: Simplify (+ 0 0) into 0 6.031 * [backup-simplify]: Simplify (+ (* (- b) 0) (+ (* 1 1) (* 0 0))) into 1 6.031 * [taylor]: Taking taylor expansion of 1 in b 6.031 * [backup-simplify]: Simplify 1 into 1 6.031 * [backup-simplify]: Simplify 1 into 1 6.031 * [backup-simplify]: Simplify (- 1) into -1 6.031 * [backup-simplify]: Simplify -1 into -1 6.031 * [backup-simplify]: Simplify 0 into 0 6.032 * [backup-simplify]: Simplify (- 0) into 0 6.032 * [backup-simplify]: Simplify (+ 0 0) into 0 6.033 * [backup-simplify]: Simplify (+ (* (- b) 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 6.033 * [taylor]: Taking taylor expansion of 0 in b 6.033 * [backup-simplify]: Simplify 0 into 0 6.033 * [backup-simplify]: Simplify 0 into 0 6.033 * [backup-simplify]: Simplify 0 into 0 6.034 * [backup-simplify]: Simplify (- 0) into 0 6.034 * [backup-simplify]: Simplify 0 into 0 6.034 * [backup-simplify]: Simplify 0 into 0 6.034 * [backup-simplify]: Simplify (- 0) into 0 6.034 * [backup-simplify]: Simplify (+ 0 0) into 0 6.036 * [backup-simplify]: Simplify (+ (* (- b) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 6.036 * [taylor]: Taking taylor expansion of 0 in b 6.036 * [backup-simplify]: Simplify 0 into 0 6.036 * [backup-simplify]: Simplify 0 into 0 6.036 * [backup-simplify]: Simplify (+ (* -1 (* b a)) (* 1 (pow (* 1 a) 2))) into (- (pow a 2) (* a b)) 6.036 * [backup-simplify]: Simplify (* (- (/ 1 a) (/ 1 b)) (/ 1 a)) into (/ (- (/ 1 a) (/ 1 b)) a) 6.036 * [approximate]: Taking taylor expansion of (/ (- (/ 1 a) (/ 1 b)) a) in (a b) around 0 6.036 * [taylor]: Taking taylor expansion of (/ (- (/ 1 a) (/ 1 b)) a) in b 6.036 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 6.036 * [taylor]: Taking taylor expansion of (/ 1 a) in b 6.036 * [taylor]: Taking taylor expansion of a in b 6.036 * [backup-simplify]: Simplify a into a 6.036 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 6.036 * [taylor]: Taking taylor expansion of (/ 1 b) in b 6.037 * [taylor]: Taking taylor expansion of b in b 6.037 * [backup-simplify]: Simplify 0 into 0 6.037 * [backup-simplify]: Simplify 1 into 1 6.037 * [backup-simplify]: Simplify (/ 1 1) into 1 6.037 * [taylor]: Taking taylor expansion of a in b 6.037 * [backup-simplify]: Simplify a into a 6.037 * [backup-simplify]: Simplify (- 1) into -1 6.038 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.038 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 6.038 * [taylor]: Taking taylor expansion of (/ (- (/ 1 a) (/ 1 b)) a) in a 6.038 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 6.038 * [taylor]: Taking taylor expansion of (/ 1 a) in a 6.038 * [taylor]: Taking taylor expansion of a in a 6.038 * [backup-simplify]: Simplify 0 into 0 6.038 * [backup-simplify]: Simplify 1 into 1 6.038 * [backup-simplify]: Simplify (/ 1 1) into 1 6.038 * [taylor]: Taking taylor expansion of (/ 1 b) in a 6.038 * [taylor]: Taking taylor expansion of b in a 6.038 * [backup-simplify]: Simplify b into b 6.038 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 6.039 * [taylor]: Taking taylor expansion of a in a 6.039 * [backup-simplify]: Simplify 0 into 0 6.039 * [backup-simplify]: Simplify 1 into 1 6.039 * [backup-simplify]: Simplify (+ 1 0) into 1 6.039 * [backup-simplify]: Simplify (/ 1 1) into 1 6.039 * [taylor]: Taking taylor expansion of (/ (- (/ 1 a) (/ 1 b)) a) in a 6.039 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 6.039 * [taylor]: Taking taylor expansion of (/ 1 a) in a 6.039 * [taylor]: Taking taylor expansion of a in a 6.039 * [backup-simplify]: Simplify 0 into 0 6.040 * [backup-simplify]: Simplify 1 into 1 6.040 * [backup-simplify]: Simplify (/ 1 1) into 1 6.040 * [taylor]: Taking taylor expansion of (/ 1 b) in a 6.040 * [taylor]: Taking taylor expansion of b in a 6.040 * [backup-simplify]: Simplify b into b 6.040 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 6.040 * [taylor]: Taking taylor expansion of a in a 6.040 * [backup-simplify]: Simplify 0 into 0 6.040 * [backup-simplify]: Simplify 1 into 1 6.040 * [backup-simplify]: Simplify (+ 1 0) into 1 6.041 * [backup-simplify]: Simplify (/ 1 1) into 1 6.041 * [taylor]: Taking taylor expansion of 1 in b 6.041 * [backup-simplify]: Simplify 1 into 1 6.042 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.042 * [backup-simplify]: Simplify (- (/ 1 b)) into (- (/ 1 b)) 6.042 * [backup-simplify]: Simplify (+ 0 (- (/ 1 b))) into (- (/ 1 b)) 6.043 * [backup-simplify]: Simplify (- (/ (- (/ 1 b)) 1) (+ (* 1 (/ 0 1)))) into (- (/ 1 b)) 6.043 * [taylor]: Taking taylor expansion of (- (/ 1 b)) in b 6.043 * [taylor]: Taking taylor expansion of (/ 1 b) in b 6.043 * [taylor]: Taking taylor expansion of b in b 6.043 * [backup-simplify]: Simplify 0 into 0 6.043 * [backup-simplify]: Simplify 1 into 1 6.044 * [backup-simplify]: Simplify (/ 1 1) into 1 6.044 * [backup-simplify]: Simplify (- 1) into -1 6.044 * [backup-simplify]: Simplify -1 into -1 6.044 * [backup-simplify]: Simplify 1 into 1 6.045 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.045 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 6.045 * [backup-simplify]: Simplify (- 0) into 0 6.046 * [backup-simplify]: Simplify (+ 0 0) into 0 6.047 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 b)) (/ 0 1)))) into 0 6.047 * [taylor]: Taking taylor expansion of 0 in b 6.047 * [backup-simplify]: Simplify 0 into 0 6.048 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.048 * [backup-simplify]: Simplify (- 0) into 0 6.048 * [backup-simplify]: Simplify 0 into 0 6.048 * [backup-simplify]: Simplify 0 into 0 6.049 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.049 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 6.050 * [backup-simplify]: Simplify (- 0) into 0 6.050 * [backup-simplify]: Simplify (+ 0 0) into 0 6.052 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 b)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.052 * [taylor]: Taking taylor expansion of 0 in b 6.052 * [backup-simplify]: Simplify 0 into 0 6.052 * [backup-simplify]: Simplify 0 into 0 6.053 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.053 * [backup-simplify]: Simplify (- 0) into 0 6.053 * [backup-simplify]: Simplify 0 into 0 6.053 * [backup-simplify]: Simplify 0 into 0 6.054 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.054 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 6.055 * [backup-simplify]: Simplify (- 0) into 0 6.055 * [backup-simplify]: Simplify (+ 0 0) into 0 6.057 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 b)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.057 * [taylor]: Taking taylor expansion of 0 in b 6.057 * [backup-simplify]: Simplify 0 into 0 6.057 * [backup-simplify]: Simplify 0 into 0 6.058 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (* -1 (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a))))) into (- (pow a 2) (* a b)) 6.058 * [backup-simplify]: Simplify (* (- (/ 1 (- a)) (/ 1 (- b))) (/ 1 (- a))) into (* -1 (/ (- (/ 1 b) (/ 1 a)) a)) 6.058 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 b) (/ 1 a)) a)) in (a b) around 0 6.058 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 b) (/ 1 a)) a)) in b 6.058 * [taylor]: Taking taylor expansion of -1 in b 6.058 * [backup-simplify]: Simplify -1 into -1 6.058 * [taylor]: Taking taylor expansion of (/ (- (/ 1 b) (/ 1 a)) a) in b 6.058 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 6.058 * [taylor]: Taking taylor expansion of (/ 1 b) in b 6.058 * [taylor]: Taking taylor expansion of b in b 6.058 * [backup-simplify]: Simplify 0 into 0 6.058 * [backup-simplify]: Simplify 1 into 1 6.059 * [backup-simplify]: Simplify (/ 1 1) into 1 6.059 * [taylor]: Taking taylor expansion of (/ 1 a) in b 6.059 * [taylor]: Taking taylor expansion of a in b 6.059 * [backup-simplify]: Simplify a into a 6.059 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 6.059 * [taylor]: Taking taylor expansion of a in b 6.059 * [backup-simplify]: Simplify a into a 6.059 * [backup-simplify]: Simplify (+ 1 0) into 1 6.060 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 6.060 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 b) (/ 1 a)) a)) in a 6.060 * [taylor]: Taking taylor expansion of -1 in a 6.060 * [backup-simplify]: Simplify -1 into -1 6.060 * [taylor]: Taking taylor expansion of (/ (- (/ 1 b) (/ 1 a)) a) in a 6.060 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 6.060 * [taylor]: Taking taylor expansion of (/ 1 b) in a 6.060 * [taylor]: Taking taylor expansion of b in a 6.060 * [backup-simplify]: Simplify b into b 6.060 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 6.060 * [taylor]: Taking taylor expansion of (/ 1 a) in a 6.060 * [taylor]: Taking taylor expansion of a in a 6.060 * [backup-simplify]: Simplify 0 into 0 6.060 * [backup-simplify]: Simplify 1 into 1 6.060 * [backup-simplify]: Simplify (/ 1 1) into 1 6.060 * [taylor]: Taking taylor expansion of a in a 6.060 * [backup-simplify]: Simplify 0 into 0 6.060 * [backup-simplify]: Simplify 1 into 1 6.061 * [backup-simplify]: Simplify (- 1) into -1 6.061 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.061 * [backup-simplify]: Simplify (/ -1 1) into -1 6.062 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 b) (/ 1 a)) a)) in a 6.062 * [taylor]: Taking taylor expansion of -1 in a 6.062 * [backup-simplify]: Simplify -1 into -1 6.062 * [taylor]: Taking taylor expansion of (/ (- (/ 1 b) (/ 1 a)) a) in a 6.062 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 6.062 * [taylor]: Taking taylor expansion of (/ 1 b) in a 6.062 * [taylor]: Taking taylor expansion of b in a 6.062 * [backup-simplify]: Simplify b into b 6.062 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 6.062 * [taylor]: Taking taylor expansion of (/ 1 a) in a 6.062 * [taylor]: Taking taylor expansion of a in a 6.062 * [backup-simplify]: Simplify 0 into 0 6.062 * [backup-simplify]: Simplify 1 into 1 6.062 * [backup-simplify]: Simplify (/ 1 1) into 1 6.062 * [taylor]: Taking taylor expansion of a in a 6.062 * [backup-simplify]: Simplify 0 into 0 6.062 * [backup-simplify]: Simplify 1 into 1 6.063 * [backup-simplify]: Simplify (- 1) into -1 6.063 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.063 * [backup-simplify]: Simplify (/ -1 1) into -1 6.064 * [backup-simplify]: Simplify (* -1 -1) into 1 6.064 * [taylor]: Taking taylor expansion of 1 in b 6.064 * [backup-simplify]: Simplify 1 into 1 6.065 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.065 * [backup-simplify]: Simplify (- 0) into 0 6.065 * [backup-simplify]: Simplify (+ (/ 1 b) 0) into (/ 1 b) 6.066 * [backup-simplify]: Simplify (- (/ (/ 1 b) 1) (+ (* -1 (/ 0 1)))) into (/ 1 b) 6.066 * [backup-simplify]: Simplify (+ (* -1 (/ 1 b)) (* 0 -1)) into (- (/ 1 b)) 6.066 * [taylor]: Taking taylor expansion of (- (/ 1 b)) in b 6.066 * [taylor]: Taking taylor expansion of (/ 1 b) in b 6.066 * [taylor]: Taking taylor expansion of b in b 6.066 * [backup-simplify]: Simplify 0 into 0 6.066 * [backup-simplify]: Simplify 1 into 1 6.067 * [backup-simplify]: Simplify (/ 1 1) into 1 6.067 * [backup-simplify]: Simplify (- 1) into -1 6.067 * [backup-simplify]: Simplify -1 into -1 6.067 * [backup-simplify]: Simplify 1 into 1 6.067 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 6.068 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.069 * [backup-simplify]: Simplify (- 0) into 0 6.069 * [backup-simplify]: Simplify (+ 0 0) into 0 6.070 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (/ 1 b) (/ 0 1)))) into 0 6.071 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 b)) (* 0 -1))) into 0 6.071 * [taylor]: Taking taylor expansion of 0 in b 6.071 * [backup-simplify]: Simplify 0 into 0 6.076 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.077 * [backup-simplify]: Simplify (- 0) into 0 6.077 * [backup-simplify]: Simplify 0 into 0 6.077 * [backup-simplify]: Simplify 0 into 0 6.078 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 6.079 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.079 * [backup-simplify]: Simplify (- 0) into 0 6.079 * [backup-simplify]: Simplify (+ 0 0) into 0 6.081 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (/ 1 b) (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.082 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 b)) (* 0 -1)))) into 0 6.083 * [taylor]: Taking taylor expansion of 0 in b 6.083 * [backup-simplify]: Simplify 0 into 0 6.083 * [backup-simplify]: Simplify 0 into 0 6.084 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.084 * [backup-simplify]: Simplify (- 0) into 0 6.084 * [backup-simplify]: Simplify 0 into 0 6.084 * [backup-simplify]: Simplify 0 into 0 6.084 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 6.085 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.085 * [backup-simplify]: Simplify (- 0) into 0 6.086 * [backup-simplify]: Simplify (+ 0 0) into 0 6.088 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (/ 1 b) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.090 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 b)) (* 0 -1))))) into 0 6.090 * [taylor]: Taking taylor expansion of 0 in b 6.090 * [backup-simplify]: Simplify 0 into 0 6.090 * [backup-simplify]: Simplify 0 into 0 6.090 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (* -1 (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a)))))) into (- (pow a 2) (* a b)) 6.090 * * * [progress]: simplifying candidates 6.092 * [simplify]: Simplifying: (expm1 (+ (* (- a b) a) (* b (- a b)))) (log1p (+ (* (- a b) a) (* b (- a b)))) (* (exp (* (- a b) a)) (exp (* b (- a b)))) (log (+ (* (- a b) a) (* b (- a b)))) (exp (+ (* (- a b) a) (* b (- a b)))) (* (cbrt (+ (* (- a b) a) (* b (- a b)))) (cbrt (+ (* (- a b) a) (* b (- a b))))) (cbrt (+ (* (- a b) a) (* b (- a b)))) (* (* (+ (* (- a b) a) (* b (- a b))) (+ (* (- a b) a) (* b (- a b)))) (+ (* (- a b) a) (* b (- a b)))) (sqrt (+ (* (- a b) a) (* b (- a b)))) (sqrt (+ (* (- a b) a) (* b (- a b)))) (+ (* (* (- (pow a 3) (pow b 3)) a) (+ (* a a) (+ (* b b) (* a b)))) (* (+ (* a a) (+ (* b b) (* a b))) (* b (- (pow a 3) (pow b 3))))) (* (+ (* a a) (+ (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (+ (* (* (- (pow a 3) (pow b 3)) a) (+ a b)) (* (+ (* a a) (+ (* b b) (* a b))) (* b (- (* a a) (* b b))))) (* (+ (* a a) (+ (* b b) (* a b))) (+ a b)) (+ (* (* (- (* a a) (* b b)) a) (+ (* a a) (+ (* b b) (* a b)))) (* (+ a b) (* b (- (pow a 3) (pow b 3))))) (* (+ a b) (+ (* a a) (+ (* b b) (* a b)))) (+ (* (* (- (* a a) (* b b)) a) (+ a b)) (* (+ a b) (* b (- (* a a) (* b b))))) (* (+ a b) (+ a b)) (+ (pow (* (- a b) a) 3) (pow (* b (- a b)) 3)) (+ (* (* (- a b) a) (* (- a b) a)) (- (* (* b (- a b)) (* b (- a b))) (* (* (- a b) a) (* b (- a b))))) (- (* (* (- a b) a) (* (- a b) a)) (* (* b (- a b)) (* b (- a b)))) (- (* (- a b) a) (* b (- a b))) (+ (* (- a b) a) (* b (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (cbrt b) (* (cbrt b) (cbrt b))))))) (+ (* (- a b) a) (* b (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (sqrt b) (sqrt b)))))) (+ (* (- a b) a) (* b (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* b 1))))) (+ (* (- a b) a) (* b (fma (sqrt a) (sqrt a) (- (* (cbrt b) (* (cbrt b) (cbrt b))))))) (+ (* (- a b) a) (* b (fma (sqrt a) (sqrt a) (- (* (sqrt b) (sqrt b)))))) (+ (* (- a b) a) (* b (fma (sqrt a) (sqrt a) (- (* b 1))))) (+ (* (- a b) a) (* b (fma 1 a (- (* (cbrt b) (* (cbrt b) (cbrt b))))))) (+ (* (- a b) a) (* b (fma 1 a (- (* (sqrt b) (sqrt b)))))) (+ (* (- a b) a) (* b (fma 1 a (- (* b 1))))) (+ (* (- a b) a) (* b a)) (+ (* (- a b) a) (* b a)) (+ (* (- a b) a) (* (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (cbrt b) (* (cbrt b) (cbrt b))))) b)) (+ (* (- a b) a) (* (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* (sqrt b) (sqrt b)))) b)) (+ (* (- a b) a) (* (fma (* (cbrt a) (cbrt a)) (cbrt a) (- (* b 1))) b)) (+ (* (- a b) a) (* (fma (sqrt a) (sqrt a) (- (* (cbrt b) (* (cbrt b) (cbrt b))))) b)) (+ (* (- a b) a) (* (fma (sqrt a) (sqrt a) (- (* (sqrt b) (sqrt b)))) b)) (+ (* (- a b) a) (* (fma (sqrt a) (sqrt a) (- (* b 1))) b)) (+ (* (- a b) a) (* (fma 1 a (- (* (cbrt b) (* (cbrt b) (cbrt b))))) b)) (+ (* (- a b) a) (* (fma 1 a (- (* (sqrt b) (sqrt b)))) b)) (+ (* (- a b) a) (* (fma 1 a (- (* b 1))) b)) (+ (* (- a b) a) (* a b)) (+ (* (- a b) a) (* a b)) (expm1 (* (- a b) a)) (log1p (* (- a b) a)) (* (- a b) a) (+ (log (- a b)) (log a)) (log (* (- a b) a)) (exp (* (- a b) a)) (* (* (* (- a b) (- a b)) (- a b)) (* (* a a) a)) (* (cbrt (* (- a b) a)) (cbrt (* (- a b) a))) (cbrt (* (- a b) a)) (* (* (* (- a b) a) (* (- a b) a)) (* (- a b) a)) (sqrt (* (- a b) a)) (sqrt (* (- a b) a)) (* (sqrt (- a b)) (sqrt a)) (* (sqrt (- a b)) (sqrt a)) (* (- a b) (* (cbrt a) (cbrt a))) (* (- a b) (sqrt a)) (* (- a b) 1) (* (cbrt (- a b)) a) (* (sqrt (- a b)) a) (* (- a b) a) (* (- (sqrt a) (sqrt b)) a) (* (- a b) a) (* (- (pow a 3) (pow b 3)) a) (* (- (* a a) (* b b)) a) (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2)) (- (pow a 2) (* a b)) (- (pow a 2) (* a b)) (- (pow a 2) (* a b)) 6.096 * * [simplify]: Extracting # 0 : cost 0 6.096 * * [simplify]: Extracting # 1 : cost 0 6.097 * * [simplify]: Extracting # 2 : cost 0 6.097 * * [simplify]: Extracting # 3 : cost 0 6.097 * * [simplify]: Extracting # 4 : cost 0 6.098 * * [simplify]: Extracting # 5 : cost 0 6.098 * * [simplify]: Extracting # 6 : cost 0 6.099 * * [simplify]: Extracting # 7 : cost 0 6.099 * * [simplify]: Extracting # 8 : cost 0 6.099 * * [simplify]: Extracting # 9 : cost 0 6.100 * * [simplify]: Extracting # 10 : cost 0 6.100 * * [simplify]: Extracting # 11 : cost 0 6.100 * * [simplify]: iteration 0 : 149 enodes (cost 1055 ) 6.147 * * [simplify]: Extracting # 0 : cost 0 6.148 * * [simplify]: Extracting # 1 : cost 0 6.149 * * [simplify]: Extracting # 2 : cost 0 6.150 * * [simplify]: Extracting # 3 : cost 0 6.151 * * [simplify]: Extracting # 4 : cost 0 6.152 * * [simplify]: Extracting # 5 : cost 0 6.153 * * [simplify]: iteration 1 : 444 enodes (cost 906 ) 6.566 * * [simplify]: Extracting # 0 : cost 0 6.569 * * [simplify]: Extracting # 1 : cost 0 6.573 * * [simplify]: Extracting # 2 : cost 0 6.576 * * [simplify]: Extracting # 3 : cost 0 6.579 * * [simplify]: Extracting # 4 : cost 0 6.582 * * [simplify]: iteration 2 : 2413 enodes (cost 805 ) 8.557 * * [simplify]: Extracting # 0 : cost 0 8.576 * * [simplify]: Extracting # 1 : cost 0 8.589 * * [simplify]: Extracting # 2 : cost 0 8.607 * * [simplify]: Extracting # 3 : cost 0 8.620 * * [simplify]: iteration done: 5001 enodes (cost 771 ) 8.621 * [simplify]: Simplified to: (expm1 (fma (- a b) a (* b (- a b)))) (log1p (fma (- a b) a (* b (- a b)))) (exp (fma (- a b) a (* b (- a b)))) (log (fma (- a b) a (* b (- a b)))) (exp (fma (- a b) a (* b (- a b)))) (* (cbrt (fma (- a b) a (* b (- a b)))) (cbrt (fma (- a b) a (* b (- a b))))) (cbrt (fma (- a b) a (* b (- a b)))) (pow (fma b (- a b) (* (- a b) a)) 3) (sqrt (fma (- a b) a (* b (- a b)))) (sqrt (fma (- a b) a (* b (- a b)))) (* (fma a a (* b (+ b a))) (fma a (- (pow a 3) (pow b 3)) (* b (- (pow a 3) (pow b 3))))) (* (fma a a (* b (+ b a))) (fma a a (* b (+ b a)))) (fma (* (- (pow a 3) (pow b 3)) a) (+ a b) (* (* b (- (* a a) (* b b))) (fma a a (* b (+ b a))))) (* (+ a b) (fma a a (* b (+ b a)))) (fma (* (- (* a a) (* b b)) a) (fma a a (* b (+ b a))) (* (+ a b) (* b (- (pow a 3) (pow b 3))))) (* (+ a b) (fma a a (* b (+ b a)))) (* (+ a b) (fma (* b (+ a b)) (- a b) (* (- (* a a) (* b b)) a))) (* (+ a b) (+ a b)) (+ (pow (* (- a b) a) 3) (pow (* b (- a b)) 3)) (fma (* (- a b) a) (* (- a b) a) (* (* b (- a b)) (- (* b (- a b)) (* (- a b) a)))) (* (fma (- a b) a (* b (- a b))) (- (* (- a b) a) (* b (- a b)))) (- (* (- a b) a) (* b (- a b))) (fma (- a b) a (* (- (pow (cbrt a) 3) b) b)) (fma (- a b) a (* (- (pow (cbrt a) 3) b) b)) (fma (- a b) a (* (- (pow (cbrt a) 3) b) b)) (fma (- a b) b (* (- a b) a)) (fma (- a b) b (* (- a b) a)) (fma (- a b) b (* (- a b) a)) (fma (- a b) b (* (- a b) a)) (fma (- a b) b (* (- a b) a)) (fma (- a b) b (* (- a b) a)) (* a (- a 0)) (* a (- a 0)) (fma (- a b) a (* (- (pow (cbrt a) 3) b) b)) (fma (- a b) a (* (- (pow (cbrt a) 3) b) b)) (fma (- a b) a (* (- (pow (cbrt a) 3) b) b)) (fma (- a b) b (* (- a b) a)) (fma (- a b) b (* (- a b) a)) (fma (- a b) b (* (- a b) a)) (fma (- a b) b (* (- a b) a)) (fma (- a b) b (* (- a b) a)) (fma (- a b) b (* (- a b) a)) (* a (- a 0)) (* a (- a 0)) (expm1 (* (- a b) a)) (log1p (* (- a b) a)) (* (- a b) a) (log (* (- a b) a)) (log (* (- a b) a)) (exp (* (- a b) a)) (pow (* (- a b) a) 3) (* (cbrt (* (- a b) a)) (cbrt (* (- a b) a))) (cbrt (* (- a b) a)) (pow (* (- a b) a) 3) (sqrt (* (- a b) a)) (sqrt (* (- a b) a)) (* (sqrt (- a b)) (sqrt a)) (* (sqrt (- a b)) (sqrt a)) (* (- a b) (* (cbrt a) (cbrt a))) (* (sqrt a) (- a b)) (- a b) (* (cbrt (- a b)) a) (* (sqrt (- a b)) a) (* (- a b) a) (* (- (sqrt a) (sqrt b)) a) (* (- a b) a) (* (- (pow a 3) (pow b 3)) a) (* (- (* a a) (* b b)) a) (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2)) (* a (- a b)) (* a (- a b)) (* a (- a b)) 8.622 * * * [progress]: adding candidates to table 8.826 * [progress]: [Phase 3 of 3] Extracting. 8.826 * * [regime]: Finding splitpoints for: (# #) 8.827 * * * [regime-changes]: Trying 2 branch expressions: (b a) 8.827 * * * * [regimes]: Trying to branch on b from (# #) 8.840 * * * * [regimes]: Trying to branch on a from (# #) 8.852 * * * [regime]: Found split indices: #