10.274 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.057 * * * [progress]: [2/2] Setting up program. 0.061 * [progress]: [Phase 2 of 3] Improving. 0.062 * [simplify]: Simplifying: (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) 0.062 * * [simplify]: Extracting # 0 : cost 0 0.062 * * [simplify]: Extracting # 1 : cost 0 0.062 * * [simplify]: Extracting # 2 : cost 0 0.062 * * [simplify]: Extracting # 3 : cost 0 0.062 * * [simplify]: Extracting # 4 : cost 0 0.062 * * [simplify]: Extracting # 5 : cost 0 0.062 * * [simplify]: Extracting # 6 : cost 0 0.062 * * [simplify]: Extracting # 7 : cost 0 0.062 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 0.065 * * [simplify]: Extracting # 0 : cost 0 0.066 * * [simplify]: Extracting # 1 : cost 0 0.066 * * [simplify]: Extracting # 2 : cost 0 0.066 * * [simplify]: iteration 1 : 18 enodes (cost 13 ) 0.073 * * [simplify]: Extracting # 0 : cost 0 0.073 * * [simplify]: Extracting # 1 : cost 0 0.074 * * [simplify]: Extracting # 2 : cost 0 0.074 * * [simplify]: iteration 2 : 47 enodes (cost 11 ) 0.091 * * [simplify]: Extracting # 0 : cost 0 0.091 * * [simplify]: Extracting # 1 : cost 0 0.091 * * [simplify]: Extracting # 2 : cost 0 0.091 * * [simplify]: iteration 3 : 98 enodes (cost 11 ) 0.153 * * [simplify]: Extracting # 0 : cost 0 0.153 * * [simplify]: Extracting # 1 : cost 0 0.153 * * [simplify]: Extracting # 2 : cost 0 0.154 * * [simplify]: iteration 4 : 187 enodes (cost 11 ) 0.212 * * [simplify]: Extracting # 0 : cost 0 0.213 * * [simplify]: Extracting # 1 : cost 0 0.213 * * [simplify]: Extracting # 2 : cost 0 0.213 * * [simplify]: iteration 5 : 332 enodes (cost 11 ) 0.380 * * [simplify]: Extracting # 0 : cost 0 0.381 * * [simplify]: Extracting # 1 : cost 0 0.382 * * [simplify]: Extracting # 2 : cost 0 0.383 * * [simplify]: Extracting # 3 : cost 0 0.383 * * [simplify]: iteration 6 : 498 enodes (cost 11 ) 0.797 * * [simplify]: Extracting # 0 : cost 0 0.798 * * [simplify]: Extracting # 1 : cost 0 0.799 * * [simplify]: Extracting # 2 : cost 0 0.800 * * [simplify]: Extracting # 3 : cost 0 0.801 * * [simplify]: iteration 7 : 1408 enodes (cost 11 ) 4.751 * * [simplify]: Extracting # 0 : cost 0 4.764 * * [simplify]: Extracting # 1 : cost 0 4.773 * * [simplify]: Extracting # 2 : cost 0 4.783 * * [simplify]: Extracting # 3 : cost 0 4.787 * * [simplify]: Extracting # 4 : cost 0 4.792 * * [simplify]: iteration done: 5001 enodes (cost 11 ) 4.792 * [simplify]: Simplified to: (sqrt (fabs (- 1 (/ (* b b) (* a a))))) 4.796 * * [progress]: iteration 1 / 4 4.796 * * * [progress]: picking best candidate 4.798 * * * * [pick]: Picked # 4.798 * * * [progress]: localizing error 4.808 * * * [progress]: generating rewritten candidates 4.808 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 2) 4.837 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 4.841 * * * [progress]: generating series expansions 4.841 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 2) 4.842 * [backup-simplify]: Simplify (/ (* b b) (* a a)) into (/ (pow b 2) (pow a 2)) 4.842 * [approximate]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0 4.842 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a 4.842 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.842 * [taylor]: Taking taylor expansion of b in a 4.842 * [backup-simplify]: Simplify b into b 4.842 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.842 * [taylor]: Taking taylor expansion of a in a 4.842 * [backup-simplify]: Simplify 0 into 0 4.842 * [backup-simplify]: Simplify 1 into 1 4.842 * [backup-simplify]: Simplify (* b b) into (pow b 2) 4.843 * [backup-simplify]: Simplify (* 1 1) into 1 4.843 * [backup-simplify]: Simplify (/ (pow b 2) 1) into (pow b 2) 4.843 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 4.843 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.843 * [taylor]: Taking taylor expansion of b in b 4.843 * [backup-simplify]: Simplify 0 into 0 4.843 * [backup-simplify]: Simplify 1 into 1 4.843 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.843 * [taylor]: Taking taylor expansion of a in b 4.843 * [backup-simplify]: Simplify a into a 4.844 * [backup-simplify]: Simplify (* 1 1) into 1 4.844 * [backup-simplify]: Simplify (* a a) into (pow a 2) 4.844 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 4.844 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 4.844 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.844 * [taylor]: Taking taylor expansion of b in b 4.844 * [backup-simplify]: Simplify 0 into 0 4.844 * [backup-simplify]: Simplify 1 into 1 4.844 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.844 * [taylor]: Taking taylor expansion of a in b 4.844 * [backup-simplify]: Simplify a into a 4.845 * [backup-simplify]: Simplify (* 1 1) into 1 4.845 * [backup-simplify]: Simplify (* a a) into (pow a 2) 4.845 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 4.845 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 4.845 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.845 * [taylor]: Taking taylor expansion of a in a 4.845 * [backup-simplify]: Simplify 0 into 0 4.845 * [backup-simplify]: Simplify 1 into 1 4.846 * [backup-simplify]: Simplify (* 1 1) into 1 4.846 * [backup-simplify]: Simplify (/ 1 1) into 1 4.846 * [backup-simplify]: Simplify 1 into 1 4.847 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.847 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 4.847 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0 4.847 * [taylor]: Taking taylor expansion of 0 in a 4.847 * [backup-simplify]: Simplify 0 into 0 4.848 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.849 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.849 * [backup-simplify]: Simplify 0 into 0 4.850 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.851 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 4.851 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 4.851 * [taylor]: Taking taylor expansion of 0 in a 4.851 * [backup-simplify]: Simplify 0 into 0 4.852 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.853 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.853 * [backup-simplify]: Simplify 0 into 0 4.854 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.856 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 4.856 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 4.856 * [taylor]: Taking taylor expansion of 0 in a 4.856 * [backup-simplify]: Simplify 0 into 0 4.857 * [backup-simplify]: Simplify 0 into 0 4.858 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.859 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.859 * [backup-simplify]: Simplify 0 into 0 4.861 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.862 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 4.863 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 4.863 * [taylor]: Taking taylor expansion of 0 in a 4.863 * [backup-simplify]: Simplify 0 into 0 4.863 * [backup-simplify]: Simplify 0 into 0 4.863 * [backup-simplify]: Simplify 0 into 0 4.864 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2)) 4.864 * [backup-simplify]: Simplify (/ (* (/ 1 b) (/ 1 b)) (* (/ 1 a) (/ 1 a))) into (/ (pow a 2) (pow b 2)) 4.864 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 4.864 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 4.864 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.864 * [taylor]: Taking taylor expansion of a in a 4.864 * [backup-simplify]: Simplify 0 into 0 4.864 * [backup-simplify]: Simplify 1 into 1 4.864 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.864 * [taylor]: Taking taylor expansion of b in a 4.864 * [backup-simplify]: Simplify b into b 4.865 * [backup-simplify]: Simplify (* 1 1) into 1 4.865 * [backup-simplify]: Simplify (* b b) into (pow b 2) 4.865 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 4.865 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 4.865 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.865 * [taylor]: Taking taylor expansion of a in b 4.865 * [backup-simplify]: Simplify a into a 4.865 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.865 * [taylor]: Taking taylor expansion of b in b 4.865 * [backup-simplify]: Simplify 0 into 0 4.865 * [backup-simplify]: Simplify 1 into 1 4.865 * [backup-simplify]: Simplify (* a a) into (pow a 2) 4.865 * [backup-simplify]: Simplify (* 1 1) into 1 4.866 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 4.866 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 4.866 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.866 * [taylor]: Taking taylor expansion of a in b 4.866 * [backup-simplify]: Simplify a into a 4.866 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.866 * [taylor]: Taking taylor expansion of b in b 4.866 * [backup-simplify]: Simplify 0 into 0 4.866 * [backup-simplify]: Simplify 1 into 1 4.866 * [backup-simplify]: Simplify (* a a) into (pow a 2) 4.866 * [backup-simplify]: Simplify (* 1 1) into 1 4.866 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 4.867 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.867 * [taylor]: Taking taylor expansion of a in a 4.868 * [backup-simplify]: Simplify 0 into 0 4.868 * [backup-simplify]: Simplify 1 into 1 4.868 * [backup-simplify]: Simplify (* 1 1) into 1 4.868 * [backup-simplify]: Simplify 1 into 1 4.868 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 4.869 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.870 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 4.870 * [taylor]: Taking taylor expansion of 0 in a 4.870 * [backup-simplify]: Simplify 0 into 0 4.870 * [backup-simplify]: Simplify 0 into 0 4.871 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.871 * [backup-simplify]: Simplify 0 into 0 4.872 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 4.872 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.874 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.874 * [taylor]: Taking taylor expansion of 0 in a 4.874 * [backup-simplify]: Simplify 0 into 0 4.874 * [backup-simplify]: Simplify 0 into 0 4.874 * [backup-simplify]: Simplify 0 into 0 4.875 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.875 * [backup-simplify]: Simplify 0 into 0 4.876 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 4.877 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.879 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.879 * [taylor]: Taking taylor expansion of 0 in a 4.879 * [backup-simplify]: Simplify 0 into 0 4.880 * [backup-simplify]: Simplify 0 into 0 4.880 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2)) 4.880 * [backup-simplify]: Simplify (/ (* (/ 1 (- b)) (/ 1 (- b))) (* (/ 1 (- a)) (/ 1 (- a)))) into (/ (pow a 2) (pow b 2)) 4.880 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 4.880 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 4.880 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.880 * [taylor]: Taking taylor expansion of a in a 4.880 * [backup-simplify]: Simplify 0 into 0 4.880 * [backup-simplify]: Simplify 1 into 1 4.880 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.880 * [taylor]: Taking taylor expansion of b in a 4.880 * [backup-simplify]: Simplify b into b 4.881 * [backup-simplify]: Simplify (* 1 1) into 1 4.881 * [backup-simplify]: Simplify (* b b) into (pow b 2) 4.881 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 4.881 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 4.881 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.881 * [taylor]: Taking taylor expansion of a in b 4.881 * [backup-simplify]: Simplify a into a 4.881 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.881 * [taylor]: Taking taylor expansion of b in b 4.881 * [backup-simplify]: Simplify 0 into 0 4.881 * [backup-simplify]: Simplify 1 into 1 4.881 * [backup-simplify]: Simplify (* a a) into (pow a 2) 4.882 * [backup-simplify]: Simplify (* 1 1) into 1 4.882 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 4.882 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 4.882 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.882 * [taylor]: Taking taylor expansion of a in b 4.882 * [backup-simplify]: Simplify a into a 4.882 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.882 * [taylor]: Taking taylor expansion of b in b 4.882 * [backup-simplify]: Simplify 0 into 0 4.882 * [backup-simplify]: Simplify 1 into 1 4.882 * [backup-simplify]: Simplify (* a a) into (pow a 2) 4.883 * [backup-simplify]: Simplify (* 1 1) into 1 4.883 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 4.883 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.883 * [taylor]: Taking taylor expansion of a in a 4.883 * [backup-simplify]: Simplify 0 into 0 4.883 * [backup-simplify]: Simplify 1 into 1 4.883 * [backup-simplify]: Simplify (* 1 1) into 1 4.883 * [backup-simplify]: Simplify 1 into 1 4.883 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 4.884 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.884 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 4.884 * [taylor]: Taking taylor expansion of 0 in a 4.884 * [backup-simplify]: Simplify 0 into 0 4.884 * [backup-simplify]: Simplify 0 into 0 4.885 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.885 * [backup-simplify]: Simplify 0 into 0 4.885 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 4.891 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.892 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.892 * [taylor]: Taking taylor expansion of 0 in a 4.893 * [backup-simplify]: Simplify 0 into 0 4.893 * [backup-simplify]: Simplify 0 into 0 4.893 * [backup-simplify]: Simplify 0 into 0 4.893 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.893 * [backup-simplify]: Simplify 0 into 0 4.894 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 4.894 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.896 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.896 * [taylor]: Taking taylor expansion of 0 in a 4.896 * [backup-simplify]: Simplify 0 into 0 4.896 * [backup-simplify]: Simplify 0 into 0 4.896 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2)) 4.896 * * * * [progress]: [ 2 / 2 ] generating series at (2) 4.896 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (* b b) (* a a))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 4.896 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0 4.896 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 4.896 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 4.898 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 4.898 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 4.898 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 4.898 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 4.898 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 4.898 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 4.899 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 4.899 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 4.899 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 4.899 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 4.899 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 4.899 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 4.899 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 4.900 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 4.900 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 4.900 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 4.900 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 4.900 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 4.900 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 4.900 * [taylor]: Taking taylor expansion of 0 in a 4.900 * [backup-simplify]: Simplify 0 into 0 4.900 * [backup-simplify]: Simplify 0 into 0 4.900 * [backup-simplify]: Simplify 0 into 0 4.901 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 4.901 * [taylor]: Taking taylor expansion of 0 in a 4.901 * [backup-simplify]: Simplify 0 into 0 4.901 * [backup-simplify]: Simplify 0 into 0 4.901 * [backup-simplify]: Simplify 0 into 0 4.902 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 4.902 * [backup-simplify]: Simplify 0 into 0 4.903 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 4.903 * [taylor]: Taking taylor expansion of 0 in a 4.903 * [backup-simplify]: Simplify 0 into 0 4.903 * [backup-simplify]: Simplify 0 into 0 4.903 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 4.903 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (* (/ 1 b) (/ 1 b)) (* (/ 1 a) (/ 1 a)))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 4.903 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 4.903 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 4.903 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 4.903 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 4.904 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 4.904 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 4.904 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 4.904 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 4.904 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 4.904 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 4.904 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 4.904 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 4.905 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 4.905 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 4.905 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 4.905 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 4.905 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 4.905 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 4.905 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 4.906 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 4.906 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 4.906 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 4.906 * [taylor]: Taking taylor expansion of 0 in a 4.906 * [backup-simplify]: Simplify 0 into 0 4.906 * [backup-simplify]: Simplify 0 into 0 4.906 * [backup-simplify]: Simplify 0 into 0 4.907 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 4.907 * [taylor]: Taking taylor expansion of 0 in a 4.907 * [backup-simplify]: Simplify 0 into 0 4.907 * [backup-simplify]: Simplify 0 into 0 4.907 * [backup-simplify]: Simplify 0 into 0 4.908 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 4.908 * [backup-simplify]: Simplify 0 into 0 4.908 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 4.908 * [taylor]: Taking taylor expansion of 0 in a 4.908 * [backup-simplify]: Simplify 0 into 0 4.908 * [backup-simplify]: Simplify 0 into 0 4.909 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 4.909 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (* (/ 1 (- b)) (/ 1 (- b))) (* (/ 1 (- a)) (/ 1 (- a))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 4.909 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 4.909 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 4.909 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 4.909 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 4.909 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 4.909 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 4.909 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 4.910 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 4.910 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 4.910 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 4.910 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 4.910 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 4.910 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 4.910 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 4.910 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 4.911 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 4.911 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 4.911 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 4.911 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 4.912 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 4.912 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 4.912 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 4.912 * [taylor]: Taking taylor expansion of 0 in a 4.912 * [backup-simplify]: Simplify 0 into 0 4.913 * [backup-simplify]: Simplify 0 into 0 4.913 * [backup-simplify]: Simplify 0 into 0 4.914 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 4.914 * [taylor]: Taking taylor expansion of 0 in a 4.914 * [backup-simplify]: Simplify 0 into 0 4.914 * [backup-simplify]: Simplify 0 into 0 4.914 * [backup-simplify]: Simplify 0 into 0 4.915 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 4.915 * [backup-simplify]: Simplify 0 into 0 4.916 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 4.916 * [taylor]: Taking taylor expansion of 0 in a 4.916 * [backup-simplify]: Simplify 0 into 0 4.916 * [backup-simplify]: Simplify 0 into 0 4.917 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 4.917 * * * [progress]: simplifying candidates 4.918 * [simplify]: Simplifying: (- (+ (log b) (log b)) (+ (log a) (log a))) (- (+ (log b) (log b)) (log (* a a))) (- (log (* b b)) (+ (log a) (log a))) (- (log (* b b)) (log (* a a))) (log (/ (* b b) (* a a))) (exp (/ (* b b) (* a a))) (/ (* (* (* b b) b) (* (* b b) b)) (* (* (* a a) a) (* (* a a) a))) (/ (* (* (* b b) b) (* (* b b) b)) (* (* (* a a) (* a a)) (* a a))) (/ (* (* (* b b) (* b b)) (* b b)) (* (* (* a a) a) (* (* a a) a))) (/ (* (* (* b b) (* b b)) (* b b)) (* (* (* a a) (* a a)) (* a a))) (* (cbrt (/ (* b b) (* a a))) (cbrt (/ (* b b) (* a a)))) (cbrt (/ (* b b) (* a a))) (* (* (/ (* b b) (* a a)) (/ (* b b) (* a a))) (/ (* b b) (* a a))) (sqrt (/ (* b b) (* a a))) (sqrt (/ (* b b) (* a a))) (- (* b b)) (- (* a a)) (/ b a) (/ b a) (/ 1 (* a a)) (/ (* a a) (* b b)) (/ (* b b) a) (/ (* a a) b) (log (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (exp (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (* (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))) (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (* (* (sqrt (fabs (- 1 (/ (* b b) (* a a))))) (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (* (cbrt (fabs (- 1 (/ (* b b) (* a a))))) (cbrt (fabs (- 1 (/ (* b b) (* a a))))))) (sqrt (cbrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt 1) (sqrt (fabs (- 1 (/ (* b b) (* a a))))) (/ 1 2) (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 4.920 * * [simplify]: Extracting # 0 : cost 0 4.920 * * [simplify]: Extracting # 1 : cost 0 4.920 * * [simplify]: Extracting # 2 : cost 0 4.920 * * [simplify]: Extracting # 3 : cost 0 4.920 * * [simplify]: Extracting # 4 : cost 0 4.921 * * [simplify]: Extracting # 5 : cost 0 4.921 * * [simplify]: Extracting # 6 : cost 0 4.921 * * [simplify]: iteration 0 : 65 enodes (cost 498 ) 4.948 * * [simplify]: Extracting # 0 : cost 0 4.949 * * [simplify]: Extracting # 1 : cost 0 4.949 * * [simplify]: Extracting # 2 : cost 0 4.949 * * [simplify]: iteration 1 : 145 enodes (cost 462 ) 5.047 * * [simplify]: Extracting # 0 : cost 0 5.048 * * [simplify]: Extracting # 1 : cost 0 5.049 * * [simplify]: Extracting # 2 : cost 0 5.050 * * [simplify]: Extracting # 3 : cost 0 5.051 * * [simplify]: Extracting # 4 : cost 0 5.052 * * [simplify]: Extracting # 5 : cost 0 5.053 * * [simplify]: iteration 2 : 488 enodes (cost 370 ) 5.718 * * [simplify]: Extracting # 0 : cost 0 5.723 * * [simplify]: Extracting # 1 : cost 0 5.726 * * [simplify]: Extracting # 2 : cost 0 5.729 * * [simplify]: Extracting # 3 : cost 0 5.732 * * [simplify]: Extracting # 4 : cost 0 5.735 * * [simplify]: iteration 3 : 1836 enodes (cost 355 ) 13.497 * * [simplify]: Extracting # 0 : cost 0 13.512 * * [simplify]: Extracting # 1 : cost 0 13.517 * * [simplify]: Extracting # 2 : cost 0 13.522 * * [simplify]: Extracting # 3 : cost 0 13.527 * * [simplify]: Extracting # 4 : cost 0 13.533 * * [simplify]: iteration 4 : 4570 enodes (cost 345 ) 15.146 * * [simplify]: Extracting # 0 : cost 0 15.149 * * [simplify]: Extracting # 1 : cost 0 15.152 * * [simplify]: Extracting # 2 : cost 0 15.156 * * [simplify]: iteration done: 5001 enodes (cost 345 ) 15.156 * [simplify]: Simplified to: (* (log (/ b a)) 2) (* (log (/ b a)) 2) (* (log (/ b a)) 2) (* (log (/ b a)) 2) (* (log (/ b a)) 2) (exp (/ (* b b) (* a a))) (pow (/ b a) 6) (pow (/ b a) 6) (pow (/ b a) 6) (pow (/ b a) 6) (* (cbrt (/ (* b b) (* a a))) (cbrt (/ (* b b) (* a a)))) (cbrt (/ (* b b) (* a a))) (pow (/ b a) 6) (fabs (/ b a)) (fabs (/ b a)) (- (* b b)) (- (* a a)) (/ b a) (/ b a) (/ 1 (* a a)) (/ (* a a) (* b b)) (* b (/ b a)) (* a (/ a b)) (log (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (exp (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (* (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))) (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (pow (sqrt (fabs (- 1 (/ (* b b) (* a a))))) 3) (fabs (cbrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (cbrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) 1 (sqrt (fabs (- 1 (/ (* b b) (* a a))))) 1/2 (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (/ (* b b) (* a a)) (/ (* b b) (* a a)) (/ (* b b) (* a a)) (sqrt (fabs (- 1 (/ (* b b) (* a a))))) (sqrt (fabs (- 1 (/ (* b b) (* a a))))) (sqrt (fabs (- 1 (/ (* b b) (* a a))))) 15.156 * * * [progress]: adding candidates to table 15.289 * * [progress]: iteration 2 / 4 15.289 * * * [progress]: picking best candidate 15.293 * * * * [pick]: Picked # 15.293 * * * [progress]: localizing error 15.314 * * * [progress]: generating rewritten candidates 15.314 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 2) 15.332 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2 1) 15.350 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 15.356 * * * [progress]: generating series expansions 15.356 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 2) 15.357 * [backup-simplify]: Simplify (/ (* b (/ b a)) a) into (/ (pow b 2) (pow a 2)) 15.357 * [approximate]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0 15.357 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a 15.357 * [taylor]: Taking taylor expansion of (pow b 2) in a 15.357 * [taylor]: Taking taylor expansion of b in a 15.357 * [backup-simplify]: Simplify b into b 15.357 * [taylor]: Taking taylor expansion of (pow a 2) in a 15.357 * [taylor]: Taking taylor expansion of a in a 15.357 * [backup-simplify]: Simplify 0 into 0 15.357 * [backup-simplify]: Simplify 1 into 1 15.357 * [backup-simplify]: Simplify (* b b) into (pow b 2) 15.358 * [backup-simplify]: Simplify (* 1 1) into 1 15.358 * [backup-simplify]: Simplify (/ (pow b 2) 1) into (pow b 2) 15.358 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 15.358 * [taylor]: Taking taylor expansion of (pow b 2) in b 15.358 * [taylor]: Taking taylor expansion of b in b 15.358 * [backup-simplify]: Simplify 0 into 0 15.358 * [backup-simplify]: Simplify 1 into 1 15.358 * [taylor]: Taking taylor expansion of (pow a 2) in b 15.358 * [taylor]: Taking taylor expansion of a in b 15.358 * [backup-simplify]: Simplify a into a 15.359 * [backup-simplify]: Simplify (* 1 1) into 1 15.359 * [backup-simplify]: Simplify (* a a) into (pow a 2) 15.359 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 15.359 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 15.359 * [taylor]: Taking taylor expansion of (pow b 2) in b 15.359 * [taylor]: Taking taylor expansion of b in b 15.359 * [backup-simplify]: Simplify 0 into 0 15.359 * [backup-simplify]: Simplify 1 into 1 15.359 * [taylor]: Taking taylor expansion of (pow a 2) in b 15.359 * [taylor]: Taking taylor expansion of a in b 15.359 * [backup-simplify]: Simplify a into a 15.360 * [backup-simplify]: Simplify (* 1 1) into 1 15.360 * [backup-simplify]: Simplify (* a a) into (pow a 2) 15.360 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 15.360 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 15.360 * [taylor]: Taking taylor expansion of (pow a 2) in a 15.360 * [taylor]: Taking taylor expansion of a in a 15.360 * [backup-simplify]: Simplify 0 into 0 15.360 * [backup-simplify]: Simplify 1 into 1 15.360 * [backup-simplify]: Simplify (* 1 1) into 1 15.361 * [backup-simplify]: Simplify (/ 1 1) into 1 15.361 * [backup-simplify]: Simplify 1 into 1 15.362 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.362 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 15.362 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0 15.362 * [taylor]: Taking taylor expansion of 0 in a 15.362 * [backup-simplify]: Simplify 0 into 0 15.363 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.364 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.364 * [backup-simplify]: Simplify 0 into 0 15.365 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.365 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 15.366 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 15.366 * [taylor]: Taking taylor expansion of 0 in a 15.366 * [backup-simplify]: Simplify 0 into 0 15.367 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.368 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.368 * [backup-simplify]: Simplify 0 into 0 15.369 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.370 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 15.371 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 15.371 * [taylor]: Taking taylor expansion of 0 in a 15.371 * [backup-simplify]: Simplify 0 into 0 15.371 * [backup-simplify]: Simplify 0 into 0 15.372 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.373 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.373 * [backup-simplify]: Simplify 0 into 0 15.375 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.376 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 15.377 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 15.377 * [taylor]: Taking taylor expansion of 0 in a 15.377 * [backup-simplify]: Simplify 0 into 0 15.377 * [backup-simplify]: Simplify 0 into 0 15.377 * [backup-simplify]: Simplify 0 into 0 15.377 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2)) 15.378 * [backup-simplify]: Simplify (/ (* (/ 1 b) (/ (/ 1 b) (/ 1 a))) (/ 1 a)) into (/ (pow a 2) (pow b 2)) 15.378 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 15.378 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 15.378 * [taylor]: Taking taylor expansion of (pow a 2) in a 15.378 * [taylor]: Taking taylor expansion of a in a 15.378 * [backup-simplify]: Simplify 0 into 0 15.378 * [backup-simplify]: Simplify 1 into 1 15.378 * [taylor]: Taking taylor expansion of (pow b 2) in a 15.378 * [taylor]: Taking taylor expansion of b in a 15.378 * [backup-simplify]: Simplify b into b 15.378 * [backup-simplify]: Simplify (* 1 1) into 1 15.378 * [backup-simplify]: Simplify (* b b) into (pow b 2) 15.379 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 15.379 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 15.379 * [taylor]: Taking taylor expansion of (pow a 2) in b 15.379 * [taylor]: Taking taylor expansion of a in b 15.379 * [backup-simplify]: Simplify a into a 15.379 * [taylor]: Taking taylor expansion of (pow b 2) in b 15.379 * [taylor]: Taking taylor expansion of b in b 15.379 * [backup-simplify]: Simplify 0 into 0 15.379 * [backup-simplify]: Simplify 1 into 1 15.379 * [backup-simplify]: Simplify (* a a) into (pow a 2) 15.379 * [backup-simplify]: Simplify (* 1 1) into 1 15.379 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 15.379 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 15.380 * [taylor]: Taking taylor expansion of (pow a 2) in b 15.380 * [taylor]: Taking taylor expansion of a in b 15.380 * [backup-simplify]: Simplify a into a 15.380 * [taylor]: Taking taylor expansion of (pow b 2) in b 15.380 * [taylor]: Taking taylor expansion of b in b 15.380 * [backup-simplify]: Simplify 0 into 0 15.380 * [backup-simplify]: Simplify 1 into 1 15.380 * [backup-simplify]: Simplify (* a a) into (pow a 2) 15.380 * [backup-simplify]: Simplify (* 1 1) into 1 15.380 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 15.380 * [taylor]: Taking taylor expansion of (pow a 2) in a 15.380 * [taylor]: Taking taylor expansion of a in a 15.380 * [backup-simplify]: Simplify 0 into 0 15.380 * [backup-simplify]: Simplify 1 into 1 15.381 * [backup-simplify]: Simplify (* 1 1) into 1 15.381 * [backup-simplify]: Simplify 1 into 1 15.381 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 15.382 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.382 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 15.383 * [taylor]: Taking taylor expansion of 0 in a 15.383 * [backup-simplify]: Simplify 0 into 0 15.383 * [backup-simplify]: Simplify 0 into 0 15.383 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.383 * [backup-simplify]: Simplify 0 into 0 15.384 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 15.385 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.386 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.386 * [taylor]: Taking taylor expansion of 0 in a 15.386 * [backup-simplify]: Simplify 0 into 0 15.386 * [backup-simplify]: Simplify 0 into 0 15.386 * [backup-simplify]: Simplify 0 into 0 15.387 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.387 * [backup-simplify]: Simplify 0 into 0 15.388 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 15.389 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.391 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.391 * [taylor]: Taking taylor expansion of 0 in a 15.391 * [backup-simplify]: Simplify 0 into 0 15.391 * [backup-simplify]: Simplify 0 into 0 15.391 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2)) 15.392 * [backup-simplify]: Simplify (/ (* (/ 1 (- b)) (/ (/ 1 (- b)) (/ 1 (- a)))) (/ 1 (- a))) into (/ (pow a 2) (pow b 2)) 15.392 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 15.392 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 15.392 * [taylor]: Taking taylor expansion of (pow a 2) in a 15.392 * [taylor]: Taking taylor expansion of a in a 15.392 * [backup-simplify]: Simplify 0 into 0 15.392 * [backup-simplify]: Simplify 1 into 1 15.392 * [taylor]: Taking taylor expansion of (pow b 2) in a 15.392 * [taylor]: Taking taylor expansion of b in a 15.392 * [backup-simplify]: Simplify b into b 15.393 * [backup-simplify]: Simplify (* 1 1) into 1 15.393 * [backup-simplify]: Simplify (* b b) into (pow b 2) 15.393 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 15.393 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 15.393 * [taylor]: Taking taylor expansion of (pow a 2) in b 15.393 * [taylor]: Taking taylor expansion of a in b 15.393 * [backup-simplify]: Simplify a into a 15.393 * [taylor]: Taking taylor expansion of (pow b 2) in b 15.393 * [taylor]: Taking taylor expansion of b in b 15.393 * [backup-simplify]: Simplify 0 into 0 15.393 * [backup-simplify]: Simplify 1 into 1 15.393 * [backup-simplify]: Simplify (* a a) into (pow a 2) 15.393 * [backup-simplify]: Simplify (* 1 1) into 1 15.394 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 15.394 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 15.394 * [taylor]: Taking taylor expansion of (pow a 2) in b 15.394 * [taylor]: Taking taylor expansion of a in b 15.394 * [backup-simplify]: Simplify a into a 15.394 * [taylor]: Taking taylor expansion of (pow b 2) in b 15.394 * [taylor]: Taking taylor expansion of b in b 15.394 * [backup-simplify]: Simplify 0 into 0 15.394 * [backup-simplify]: Simplify 1 into 1 15.394 * [backup-simplify]: Simplify (* a a) into (pow a 2) 15.394 * [backup-simplify]: Simplify (* 1 1) into 1 15.394 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 15.395 * [taylor]: Taking taylor expansion of (pow a 2) in a 15.395 * [taylor]: Taking taylor expansion of a in a 15.395 * [backup-simplify]: Simplify 0 into 0 15.395 * [backup-simplify]: Simplify 1 into 1 15.395 * [backup-simplify]: Simplify (* 1 1) into 1 15.395 * [backup-simplify]: Simplify 1 into 1 15.395 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 15.396 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.397 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 15.397 * [taylor]: Taking taylor expansion of 0 in a 15.397 * [backup-simplify]: Simplify 0 into 0 15.397 * [backup-simplify]: Simplify 0 into 0 15.398 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.398 * [backup-simplify]: Simplify 0 into 0 15.398 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 15.399 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.400 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.400 * [taylor]: Taking taylor expansion of 0 in a 15.400 * [backup-simplify]: Simplify 0 into 0 15.400 * [backup-simplify]: Simplify 0 into 0 15.401 * [backup-simplify]: Simplify 0 into 0 15.401 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.401 * [backup-simplify]: Simplify 0 into 0 15.402 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 15.403 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.405 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.405 * [taylor]: Taking taylor expansion of 0 in a 15.405 * [backup-simplify]: Simplify 0 into 0 15.405 * [backup-simplify]: Simplify 0 into 0 15.406 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2)) 15.406 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2 1) 15.406 * [backup-simplify]: Simplify (* b (/ b a)) into (/ (pow b 2) a) 15.406 * [approximate]: Taking taylor expansion of (/ (pow b 2) a) in (b a) around 0 15.406 * [taylor]: Taking taylor expansion of (/ (pow b 2) a) in a 15.406 * [taylor]: Taking taylor expansion of (pow b 2) in a 15.406 * [taylor]: Taking taylor expansion of b in a 15.406 * [backup-simplify]: Simplify b into b 15.406 * [taylor]: Taking taylor expansion of a in a 15.406 * [backup-simplify]: Simplify 0 into 0 15.406 * [backup-simplify]: Simplify 1 into 1 15.406 * [backup-simplify]: Simplify (* b b) into (pow b 2) 15.406 * [backup-simplify]: Simplify (/ (pow b 2) 1) into (pow b 2) 15.406 * [taylor]: Taking taylor expansion of (/ (pow b 2) a) in b 15.407 * [taylor]: Taking taylor expansion of (pow b 2) in b 15.407 * [taylor]: Taking taylor expansion of b in b 15.407 * [backup-simplify]: Simplify 0 into 0 15.407 * [backup-simplify]: Simplify 1 into 1 15.407 * [taylor]: Taking taylor expansion of a in b 15.407 * [backup-simplify]: Simplify a into a 15.407 * [backup-simplify]: Simplify (* 1 1) into 1 15.407 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 15.407 * [taylor]: Taking taylor expansion of (/ (pow b 2) a) in b 15.407 * [taylor]: Taking taylor expansion of (pow b 2) in b 15.407 * [taylor]: Taking taylor expansion of b in b 15.407 * [backup-simplify]: Simplify 0 into 0 15.407 * [backup-simplify]: Simplify 1 into 1 15.407 * [taylor]: Taking taylor expansion of a in b 15.407 * [backup-simplify]: Simplify a into a 15.408 * [backup-simplify]: Simplify (* 1 1) into 1 15.408 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 15.408 * [taylor]: Taking taylor expansion of (/ 1 a) in a 15.408 * [taylor]: Taking taylor expansion of a in a 15.408 * [backup-simplify]: Simplify 0 into 0 15.408 * [backup-simplify]: Simplify 1 into 1 15.408 * [backup-simplify]: Simplify (/ 1 1) into 1 15.408 * [backup-simplify]: Simplify 1 into 1 15.409 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.409 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)))) into 0 15.409 * [taylor]: Taking taylor expansion of 0 in a 15.409 * [backup-simplify]: Simplify 0 into 0 15.410 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.410 * [backup-simplify]: Simplify 0 into 0 15.411 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.411 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 15.411 * [taylor]: Taking taylor expansion of 0 in a 15.411 * [backup-simplify]: Simplify 0 into 0 15.411 * [backup-simplify]: Simplify 0 into 0 15.412 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.412 * [backup-simplify]: Simplify 0 into 0 15.413 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.414 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 15.414 * [taylor]: Taking taylor expansion of 0 in a 15.414 * [backup-simplify]: Simplify 0 into 0 15.414 * [backup-simplify]: Simplify 0 into 0 15.414 * [backup-simplify]: Simplify 0 into 0 15.415 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.415 * [backup-simplify]: Simplify 0 into 0 15.415 * [backup-simplify]: Simplify (* 1 (* (/ 1 a) (pow b 2))) into (/ (pow b 2) a) 15.415 * [backup-simplify]: Simplify (* (/ 1 b) (/ (/ 1 b) (/ 1 a))) into (/ a (pow b 2)) 15.415 * [approximate]: Taking taylor expansion of (/ a (pow b 2)) in (b a) around 0 15.415 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in a 15.415 * [taylor]: Taking taylor expansion of a in a 15.415 * [backup-simplify]: Simplify 0 into 0 15.415 * [backup-simplify]: Simplify 1 into 1 15.415 * [taylor]: Taking taylor expansion of (pow b 2) in a 15.415 * [taylor]: Taking taylor expansion of b in a 15.415 * [backup-simplify]: Simplify b into b 15.416 * [backup-simplify]: Simplify (* b b) into (pow b 2) 15.416 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 15.416 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b 15.416 * [taylor]: Taking taylor expansion of a in b 15.416 * [backup-simplify]: Simplify a into a 15.416 * [taylor]: Taking taylor expansion of (pow b 2) in b 15.416 * [taylor]: Taking taylor expansion of b in b 15.416 * [backup-simplify]: Simplify 0 into 0 15.416 * [backup-simplify]: Simplify 1 into 1 15.416 * [backup-simplify]: Simplify (* 1 1) into 1 15.416 * [backup-simplify]: Simplify (/ a 1) into a 15.416 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b 15.416 * [taylor]: Taking taylor expansion of a in b 15.416 * [backup-simplify]: Simplify a into a 15.417 * [taylor]: Taking taylor expansion of (pow b 2) in b 15.417 * [taylor]: Taking taylor expansion of b in b 15.417 * [backup-simplify]: Simplify 0 into 0 15.417 * [backup-simplify]: Simplify 1 into 1 15.417 * [backup-simplify]: Simplify (* 1 1) into 1 15.417 * [backup-simplify]: Simplify (/ a 1) into a 15.417 * [taylor]: Taking taylor expansion of a in a 15.417 * [backup-simplify]: Simplify 0 into 0 15.417 * [backup-simplify]: Simplify 1 into 1 15.417 * [backup-simplify]: Simplify 1 into 1 15.418 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.419 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0 15.419 * [taylor]: Taking taylor expansion of 0 in a 15.419 * [backup-simplify]: Simplify 0 into 0 15.419 * [backup-simplify]: Simplify 0 into 0 15.419 * [backup-simplify]: Simplify 0 into 0 15.420 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.421 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.421 * [taylor]: Taking taylor expansion of 0 in a 15.421 * [backup-simplify]: Simplify 0 into 0 15.421 * [backup-simplify]: Simplify 0 into 0 15.421 * [backup-simplify]: Simplify 0 into 0 15.421 * [backup-simplify]: Simplify 0 into 0 15.422 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.423 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.424 * [taylor]: Taking taylor expansion of 0 in a 15.424 * [backup-simplify]: Simplify 0 into 0 15.424 * [backup-simplify]: Simplify 0 into 0 15.424 * [backup-simplify]: Simplify (* 1 (* (/ 1 a) (pow (/ 1 b) -2))) into (/ (pow b 2) a) 15.424 * [backup-simplify]: Simplify (* (/ 1 (- b)) (/ (/ 1 (- b)) (/ 1 (- a)))) into (* -1 (/ a (pow b 2))) 15.424 * [approximate]: Taking taylor expansion of (* -1 (/ a (pow b 2))) in (b a) around 0 15.424 * [taylor]: Taking taylor expansion of (* -1 (/ a (pow b 2))) in a 15.424 * [taylor]: Taking taylor expansion of -1 in a 15.424 * [backup-simplify]: Simplify -1 into -1 15.424 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in a 15.424 * [taylor]: Taking taylor expansion of a in a 15.424 * [backup-simplify]: Simplify 0 into 0 15.424 * [backup-simplify]: Simplify 1 into 1 15.424 * [taylor]: Taking taylor expansion of (pow b 2) in a 15.424 * [taylor]: Taking taylor expansion of b in a 15.424 * [backup-simplify]: Simplify b into b 15.424 * [backup-simplify]: Simplify (* b b) into (pow b 2) 15.424 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 15.424 * [taylor]: Taking taylor expansion of (* -1 (/ a (pow b 2))) in b 15.424 * [taylor]: Taking taylor expansion of -1 in b 15.424 * [backup-simplify]: Simplify -1 into -1 15.424 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b 15.425 * [taylor]: Taking taylor expansion of a in b 15.425 * [backup-simplify]: Simplify a into a 15.425 * [taylor]: Taking taylor expansion of (pow b 2) in b 15.425 * [taylor]: Taking taylor expansion of b in b 15.425 * [backup-simplify]: Simplify 0 into 0 15.425 * [backup-simplify]: Simplify 1 into 1 15.425 * [backup-simplify]: Simplify (* 1 1) into 1 15.425 * [backup-simplify]: Simplify (/ a 1) into a 15.425 * [taylor]: Taking taylor expansion of (* -1 (/ a (pow b 2))) in b 15.425 * [taylor]: Taking taylor expansion of -1 in b 15.425 * [backup-simplify]: Simplify -1 into -1 15.425 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b 15.425 * [taylor]: Taking taylor expansion of a in b 15.425 * [backup-simplify]: Simplify a into a 15.425 * [taylor]: Taking taylor expansion of (pow b 2) in b 15.425 * [taylor]: Taking taylor expansion of b in b 15.425 * [backup-simplify]: Simplify 0 into 0 15.425 * [backup-simplify]: Simplify 1 into 1 15.425 * [backup-simplify]: Simplify (* 1 1) into 1 15.425 * [backup-simplify]: Simplify (/ a 1) into a 15.425 * [backup-simplify]: Simplify (* -1 a) into (* -1 a) 15.425 * [taylor]: Taking taylor expansion of (* -1 a) in a 15.425 * [taylor]: Taking taylor expansion of -1 in a 15.425 * [backup-simplify]: Simplify -1 into -1 15.425 * [taylor]: Taking taylor expansion of a in a 15.425 * [backup-simplify]: Simplify 0 into 0 15.425 * [backup-simplify]: Simplify 1 into 1 15.426 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1 15.426 * [backup-simplify]: Simplify -1 into -1 15.426 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.427 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0 15.427 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 a)) into 0 15.427 * [taylor]: Taking taylor expansion of 0 in a 15.427 * [backup-simplify]: Simplify 0 into 0 15.427 * [backup-simplify]: Simplify 0 into 0 15.428 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 15.428 * [backup-simplify]: Simplify 0 into 0 15.428 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.429 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.430 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 a))) into 0 15.430 * [taylor]: Taking taylor expansion of 0 in a 15.430 * [backup-simplify]: Simplify 0 into 0 15.430 * [backup-simplify]: Simplify 0 into 0 15.430 * [backup-simplify]: Simplify 0 into 0 15.430 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 15.430 * [backup-simplify]: Simplify 0 into 0 15.431 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.432 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.433 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 15.433 * [taylor]: Taking taylor expansion of 0 in a 15.433 * [backup-simplify]: Simplify 0 into 0 15.433 * [backup-simplify]: Simplify 0 into 0 15.433 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- a)) (pow (/ 1 (- b)) -2))) into (/ (pow b 2) a) 15.433 * * * * [progress]: [ 3 / 3 ] generating series at (2) 15.433 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 15.433 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0 15.433 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 15.433 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 15.433 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 15.434 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 15.434 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 15.434 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 15.434 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 15.434 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 15.434 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 15.434 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 15.434 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 15.434 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 15.435 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 15.435 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 15.435 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 15.435 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 15.435 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 15.435 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 15.436 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 15.436 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 15.436 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 15.436 * [taylor]: Taking taylor expansion of 0 in a 15.436 * [backup-simplify]: Simplify 0 into 0 15.436 * [backup-simplify]: Simplify 0 into 0 15.436 * [backup-simplify]: Simplify 0 into 0 15.437 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 15.437 * [taylor]: Taking taylor expansion of 0 in a 15.437 * [backup-simplify]: Simplify 0 into 0 15.437 * [backup-simplify]: Simplify 0 into 0 15.437 * [backup-simplify]: Simplify 0 into 0 15.437 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 15.437 * [backup-simplify]: Simplify 0 into 0 15.438 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 15.438 * [taylor]: Taking taylor expansion of 0 in a 15.438 * [backup-simplify]: Simplify 0 into 0 15.438 * [backup-simplify]: Simplify 0 into 0 15.438 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 15.439 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (* (/ 1 b) (/ (/ 1 b) (/ 1 a))) (/ 1 a))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 15.439 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 15.439 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 15.439 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 15.439 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 15.439 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 15.439 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 15.439 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 15.439 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 15.439 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 15.440 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 15.440 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 15.440 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 15.440 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 15.440 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 15.440 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 15.440 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 15.440 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 15.441 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 15.441 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 15.441 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 15.441 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 15.441 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 15.441 * [taylor]: Taking taylor expansion of 0 in a 15.441 * [backup-simplify]: Simplify 0 into 0 15.441 * [backup-simplify]: Simplify 0 into 0 15.441 * [backup-simplify]: Simplify 0 into 0 15.442 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 15.442 * [taylor]: Taking taylor expansion of 0 in a 15.442 * [backup-simplify]: Simplify 0 into 0 15.442 * [backup-simplify]: Simplify 0 into 0 15.442 * [backup-simplify]: Simplify 0 into 0 15.443 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 15.443 * [backup-simplify]: Simplify 0 into 0 15.444 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 15.444 * [taylor]: Taking taylor expansion of 0 in a 15.444 * [backup-simplify]: Simplify 0 into 0 15.444 * [backup-simplify]: Simplify 0 into 0 15.444 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 15.444 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (* (/ 1 (- b)) (/ (/ 1 (- b)) (/ 1 (- a)))) (/ 1 (- a)))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 15.444 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 15.444 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 15.444 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 15.445 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 15.445 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 15.445 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 15.445 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 15.445 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 15.445 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 15.445 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 15.446 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 15.446 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 15.446 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 15.446 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 15.446 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 15.446 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 15.446 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 15.446 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 15.447 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 15.447 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 15.447 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 15.447 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 15.447 * [taylor]: Taking taylor expansion of 0 in a 15.447 * [backup-simplify]: Simplify 0 into 0 15.447 * [backup-simplify]: Simplify 0 into 0 15.447 * [backup-simplify]: Simplify 0 into 0 15.448 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 15.448 * [taylor]: Taking taylor expansion of 0 in a 15.448 * [backup-simplify]: Simplify 0 into 0 15.448 * [backup-simplify]: Simplify 0 into 0 15.448 * [backup-simplify]: Simplify 0 into 0 15.449 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 15.449 * [backup-simplify]: Simplify 0 into 0 15.449 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 15.449 * [taylor]: Taking taylor expansion of 0 in a 15.449 * [backup-simplify]: Simplify 0 into 0 15.449 * [backup-simplify]: Simplify 0 into 0 15.450 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 15.450 * * * [progress]: simplifying candidates 15.451 * [simplify]: Simplifying: (- (+ (log b) (- (log b) (log a))) (log a)) (- (+ (log b) (log (/ b a))) (log a)) (- (log (* b (/ b a))) (log a)) (log (/ (* b (/ b a)) a)) (exp (/ (* b (/ b a)) a)) (/ (* (* (* b b) b) (/ (* (* b b) b) (* (* a a) a))) (* (* a a) a)) (/ (* (* (* b b) b) (* (* (/ b a) (/ b a)) (/ b a))) (* (* a a) a)) (/ (* (* (* b (/ b a)) (* b (/ b a))) (* b (/ b a))) (* (* a a) a)) (* (cbrt (/ (* b (/ b a)) a)) (cbrt (/ (* b (/ b a)) a))) (cbrt (/ (* b (/ b a)) a)) (* (* (/ (* b (/ b a)) a) (/ (* b (/ b a)) a)) (/ (* b (/ b a)) a)) (sqrt (/ (* b (/ b a)) a)) (sqrt (/ (* b (/ b a)) a)) (- (* b (/ b a))) (- a) (/ b (* (cbrt a) (cbrt a))) (/ (/ b a) (cbrt a)) (/ b (sqrt a)) (/ (/ b a) (sqrt a)) (/ b 1) (/ (/ b a) a) (/ 1 a) (/ a (* b (/ b a))) (/ (* b (/ b a)) (* (cbrt a) (cbrt a))) (/ (* b (/ b a)) (sqrt a)) (/ (* b (/ b a)) 1) (/ a (/ b a)) (* a a) (* b (/ b a)) (+ (log b) (- (log b) (log a))) (+ (log b) (log (/ b a))) (log (* b (/ b a))) (exp (* b (/ b a))) (* (* (* b b) b) (/ (* (* b b) b) (* (* a a) a))) (* (* (* b b) b) (* (* (/ b a) (/ b a)) (/ b a))) (* (cbrt (* b (/ b a))) (cbrt (* b (/ b a)))) (cbrt (* b (/ b a))) (* (* (* b (/ b a)) (* b (/ b a))) (* b (/ b a))) (sqrt (* b (/ b a))) (sqrt (* b (/ b a))) (* (sqrt b) (sqrt (/ b a))) (* (sqrt b) (sqrt (/ b a))) (* (sqrt b) (/ (sqrt b) (sqrt a))) (* (sqrt b) (/ (sqrt b) (sqrt a))) (* b (* (cbrt (/ b a)) (cbrt (/ b a)))) (* b (sqrt (/ b a))) (* b (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a)))) (* b (/ (* (cbrt b) (cbrt b)) (sqrt a))) (* b (/ (* (cbrt b) (cbrt b)) 1)) (* b (/ (sqrt b) (* (cbrt a) (cbrt a)))) (* b (/ (sqrt b) (sqrt a))) (* b (/ (sqrt b) 1)) (* b (/ 1 (* (cbrt a) (cbrt a)))) (* b (/ 1 (sqrt a))) (* b (/ 1 1)) (* b 1) (* b b) (* (cbrt b) (/ b a)) (* (sqrt b) (/ b a)) (* b (/ b a)) (* b b) (log (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (* (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (* (* (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (* (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))) (cbrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (sqrt (cbrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt 1) (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))) (/ 1 2) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (/ (pow b 2) a) (/ (pow b 2) a) (/ (pow b 2) a) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 15.452 * * [simplify]: Extracting # 0 : cost 0 15.452 * * [simplify]: Extracting # 1 : cost 0 15.452 * * [simplify]: Extracting # 2 : cost 0 15.452 * * [simplify]: Extracting # 3 : cost 0 15.453 * * [simplify]: Extracting # 4 : cost 0 15.453 * * [simplify]: Extracting # 5 : cost 0 15.457 * * [simplify]: Extracting # 6 : cost 0 15.457 * * [simplify]: Extracting # 7 : cost 0 15.458 * * [simplify]: iteration 0 : 113 enodes (cost 789 ) 15.496 * * [simplify]: Extracting # 0 : cost 0 15.496 * * [simplify]: Extracting # 1 : cost 0 15.496 * * [simplify]: Extracting # 2 : cost 0 15.497 * * [simplify]: iteration 1 : 258 enodes (cost 734 ) 15.636 * * [simplify]: Extracting # 0 : cost 0 15.638 * * [simplify]: Extracting # 1 : cost 0 15.639 * * [simplify]: Extracting # 2 : cost 0 15.641 * * [simplify]: Extracting # 3 : cost 0 15.642 * * [simplify]: Extracting # 4 : cost 0 15.643 * * [simplify]: iteration 2 : 747 enodes (cost 623 ) 16.645 * * [simplify]: Extracting # 0 : cost 0 16.651 * * [simplify]: Extracting # 1 : cost 0 16.656 * * [simplify]: Extracting # 2 : cost 0 16.660 * * [simplify]: Extracting # 3 : cost 0 16.665 * * [simplify]: Extracting # 4 : cost 0 16.669 * * [simplify]: iteration 3 : 2567 enodes (cost 599 ) 19.335 * * [simplify]: Extracting # 0 : cost 0 19.346 * * [simplify]: Extracting # 1 : cost 0 19.351 * * [simplify]: Extracting # 2 : cost 0 19.356 * * [simplify]: Extracting # 3 : cost 0 19.361 * * [simplify]: iteration done: 5000 enodes (cost 599 ) 19.362 * [simplify]: Simplified to: (* 2 (log (/ b a))) (* 2 (log (/ b a))) (* 2 (log (/ b a))) (* 2 (log (/ b a))) (exp (/ (* b (/ b a)) a)) (pow (/ b a) 6) (pow (/ b a) 6) (pow (/ b a) 6) (* (cbrt (/ (* b (/ b a)) a)) (cbrt (/ (* b (/ b a)) a))) (cbrt (/ (* b (/ b a)) a)) (pow (/ b a) 6) (fabs (/ b a)) (fabs (/ b a)) (- (* b (/ b a))) (- a) (/ b (* (cbrt a) (cbrt a))) (/ (/ b a) (cbrt a)) (/ b (sqrt a)) (/ (/ b a) (sqrt a)) b (/ (/ b a) a) (/ 1 a) (/ (* a a) (* b b)) (/ (* b (/ b a)) (* (cbrt a) (cbrt a))) (/ (* b (/ b a)) (sqrt a)) (/ (pow b 2) a) (/ a (/ b a)) (* a a) (/ (pow b 2) a) (log (/ (pow b 2) a)) (log (/ (pow b 2) a)) (log (/ (pow b 2) a)) (exp (* b (/ b a))) (pow (/ (pow b 2) a) 3) (pow (/ (pow b 2) a) 3) (* (cbrt (* b (/ b a))) (cbrt (* b (/ b a)))) (cbrt (* b (/ b a))) (pow (/ (pow b 2) a) 3) (sqrt (* b (/ b a))) (sqrt (* b (/ b a))) (* (sqrt b) (sqrt (/ b a))) (* (sqrt b) (sqrt (/ b a))) (/ b (sqrt a)) (/ b (sqrt a)) (* b (* (cbrt (/ b a)) (cbrt (/ b a)))) (* b (sqrt (/ b a))) (* b (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a)))) (* b (/ (* (cbrt b) (cbrt b)) (sqrt a))) (* (* (cbrt b) (cbrt b)) b) (* b (/ (sqrt b) (* (cbrt a) (cbrt a)))) (* b (/ (sqrt b) (sqrt a))) (* (sqrt b) b) (/ b (* (cbrt a) (cbrt a))) (/ b (sqrt a)) b b (* b b) (* (cbrt b) (/ b a)) (* (sqrt b) (/ b a)) (/ (pow b 2) a) (* b b) (log (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (* (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (pow (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 3) (fabs (cbrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (cbrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) 1 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1/2 (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (/ (pow b 2) a) (/ (pow b 2) a) (/ (pow b 2) a) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 19.362 * * * [progress]: adding candidates to table 19.634 * * [progress]: iteration 3 / 4 19.634 * * * [progress]: picking best candidate 19.639 * * * * [pick]: Picked # 19.639 * * * [progress]: localizing error 19.666 * * * [progress]: generating rewritten candidates 19.666 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1) 19.692 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 19.706 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1) 19.734 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 19.741 * * * [progress]: generating series expansions 19.742 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1) 19.742 * [backup-simplify]: Simplify (/ (* b (/ b a)) a) into (/ (pow b 2) (pow a 2)) 19.742 * [approximate]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0 19.742 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a 19.742 * [taylor]: Taking taylor expansion of (pow b 2) in a 19.742 * [taylor]: Taking taylor expansion of b in a 19.742 * [backup-simplify]: Simplify b into b 19.742 * [taylor]: Taking taylor expansion of (pow a 2) in a 19.742 * [taylor]: Taking taylor expansion of a in a 19.742 * [backup-simplify]: Simplify 0 into 0 19.742 * [backup-simplify]: Simplify 1 into 1 19.742 * [backup-simplify]: Simplify (* b b) into (pow b 2) 19.743 * [backup-simplify]: Simplify (* 1 1) into 1 19.743 * [backup-simplify]: Simplify (/ (pow b 2) 1) into (pow b 2) 19.743 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 19.743 * [taylor]: Taking taylor expansion of (pow b 2) in b 19.743 * [taylor]: Taking taylor expansion of b in b 19.743 * [backup-simplify]: Simplify 0 into 0 19.743 * [backup-simplify]: Simplify 1 into 1 19.743 * [taylor]: Taking taylor expansion of (pow a 2) in b 19.743 * [taylor]: Taking taylor expansion of a in b 19.743 * [backup-simplify]: Simplify a into a 19.744 * [backup-simplify]: Simplify (* 1 1) into 1 19.744 * [backup-simplify]: Simplify (* a a) into (pow a 2) 19.744 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 19.744 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 19.744 * [taylor]: Taking taylor expansion of (pow b 2) in b 19.744 * [taylor]: Taking taylor expansion of b in b 19.744 * [backup-simplify]: Simplify 0 into 0 19.744 * [backup-simplify]: Simplify 1 into 1 19.744 * [taylor]: Taking taylor expansion of (pow a 2) in b 19.744 * [taylor]: Taking taylor expansion of a in b 19.744 * [backup-simplify]: Simplify a into a 19.744 * [backup-simplify]: Simplify (* 1 1) into 1 19.744 * [backup-simplify]: Simplify (* a a) into (pow a 2) 19.745 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 19.745 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 19.745 * [taylor]: Taking taylor expansion of (pow a 2) in a 19.745 * [taylor]: Taking taylor expansion of a in a 19.745 * [backup-simplify]: Simplify 0 into 0 19.745 * [backup-simplify]: Simplify 1 into 1 19.745 * [backup-simplify]: Simplify (* 1 1) into 1 19.746 * [backup-simplify]: Simplify (/ 1 1) into 1 19.746 * [backup-simplify]: Simplify 1 into 1 19.746 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 19.746 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 19.755 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0 19.756 * [taylor]: Taking taylor expansion of 0 in a 19.756 * [backup-simplify]: Simplify 0 into 0 19.757 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 19.757 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 19.757 * [backup-simplify]: Simplify 0 into 0 19.758 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 19.759 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 19.759 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 19.759 * [taylor]: Taking taylor expansion of 0 in a 19.760 * [backup-simplify]: Simplify 0 into 0 19.760 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 19.761 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.761 * [backup-simplify]: Simplify 0 into 0 19.762 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 19.763 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 19.764 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 19.764 * [taylor]: Taking taylor expansion of 0 in a 19.764 * [backup-simplify]: Simplify 0 into 0 19.765 * [backup-simplify]: Simplify 0 into 0 19.766 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 19.766 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.766 * [backup-simplify]: Simplify 0 into 0 19.767 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 19.768 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 19.768 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 19.768 * [taylor]: Taking taylor expansion of 0 in a 19.768 * [backup-simplify]: Simplify 0 into 0 19.768 * [backup-simplify]: Simplify 0 into 0 19.768 * [backup-simplify]: Simplify 0 into 0 19.769 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2)) 19.769 * [backup-simplify]: Simplify (/ (* (/ 1 b) (/ (/ 1 b) (/ 1 a))) (/ 1 a)) into (/ (pow a 2) (pow b 2)) 19.769 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 19.769 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 19.769 * [taylor]: Taking taylor expansion of (pow a 2) in a 19.769 * [taylor]: Taking taylor expansion of a in a 19.769 * [backup-simplify]: Simplify 0 into 0 19.769 * [backup-simplify]: Simplify 1 into 1 19.769 * [taylor]: Taking taylor expansion of (pow b 2) in a 19.769 * [taylor]: Taking taylor expansion of b in a 19.769 * [backup-simplify]: Simplify b into b 19.769 * [backup-simplify]: Simplify (* 1 1) into 1 19.769 * [backup-simplify]: Simplify (* b b) into (pow b 2) 19.769 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 19.769 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 19.769 * [taylor]: Taking taylor expansion of (pow a 2) in b 19.769 * [taylor]: Taking taylor expansion of a in b 19.769 * [backup-simplify]: Simplify a into a 19.769 * [taylor]: Taking taylor expansion of (pow b 2) in b 19.769 * [taylor]: Taking taylor expansion of b in b 19.769 * [backup-simplify]: Simplify 0 into 0 19.769 * [backup-simplify]: Simplify 1 into 1 19.769 * [backup-simplify]: Simplify (* a a) into (pow a 2) 19.770 * [backup-simplify]: Simplify (* 1 1) into 1 19.770 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 19.770 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 19.770 * [taylor]: Taking taylor expansion of (pow a 2) in b 19.770 * [taylor]: Taking taylor expansion of a in b 19.770 * [backup-simplify]: Simplify a into a 19.770 * [taylor]: Taking taylor expansion of (pow b 2) in b 19.770 * [taylor]: Taking taylor expansion of b in b 19.770 * [backup-simplify]: Simplify 0 into 0 19.770 * [backup-simplify]: Simplify 1 into 1 19.770 * [backup-simplify]: Simplify (* a a) into (pow a 2) 19.770 * [backup-simplify]: Simplify (* 1 1) into 1 19.770 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 19.770 * [taylor]: Taking taylor expansion of (pow a 2) in a 19.770 * [taylor]: Taking taylor expansion of a in a 19.770 * [backup-simplify]: Simplify 0 into 0 19.770 * [backup-simplify]: Simplify 1 into 1 19.771 * [backup-simplify]: Simplify (* 1 1) into 1 19.771 * [backup-simplify]: Simplify 1 into 1 19.771 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 19.771 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 19.772 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 19.772 * [taylor]: Taking taylor expansion of 0 in a 19.772 * [backup-simplify]: Simplify 0 into 0 19.772 * [backup-simplify]: Simplify 0 into 0 19.772 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 19.772 * [backup-simplify]: Simplify 0 into 0 19.772 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 19.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 19.774 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.774 * [taylor]: Taking taylor expansion of 0 in a 19.774 * [backup-simplify]: Simplify 0 into 0 19.774 * [backup-simplify]: Simplify 0 into 0 19.774 * [backup-simplify]: Simplify 0 into 0 19.774 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 19.774 * [backup-simplify]: Simplify 0 into 0 19.775 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 19.775 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 19.777 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.777 * [taylor]: Taking taylor expansion of 0 in a 19.777 * [backup-simplify]: Simplify 0 into 0 19.777 * [backup-simplify]: Simplify 0 into 0 19.777 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2)) 19.777 * [backup-simplify]: Simplify (/ (* (/ 1 (- b)) (/ (/ 1 (- b)) (/ 1 (- a)))) (/ 1 (- a))) into (/ (pow a 2) (pow b 2)) 19.777 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 19.777 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 19.777 * [taylor]: Taking taylor expansion of (pow a 2) in a 19.777 * [taylor]: Taking taylor expansion of a in a 19.777 * [backup-simplify]: Simplify 0 into 0 19.777 * [backup-simplify]: Simplify 1 into 1 19.777 * [taylor]: Taking taylor expansion of (pow b 2) in a 19.777 * [taylor]: Taking taylor expansion of b in a 19.777 * [backup-simplify]: Simplify b into b 19.777 * [backup-simplify]: Simplify (* 1 1) into 1 19.777 * [backup-simplify]: Simplify (* b b) into (pow b 2) 19.777 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 19.777 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 19.778 * [taylor]: Taking taylor expansion of (pow a 2) in b 19.778 * [taylor]: Taking taylor expansion of a in b 19.778 * [backup-simplify]: Simplify a into a 19.778 * [taylor]: Taking taylor expansion of (pow b 2) in b 19.778 * [taylor]: Taking taylor expansion of b in b 19.778 * [backup-simplify]: Simplify 0 into 0 19.778 * [backup-simplify]: Simplify 1 into 1 19.778 * [backup-simplify]: Simplify (* a a) into (pow a 2) 19.778 * [backup-simplify]: Simplify (* 1 1) into 1 19.778 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 19.778 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 19.778 * [taylor]: Taking taylor expansion of (pow a 2) in b 19.778 * [taylor]: Taking taylor expansion of a in b 19.778 * [backup-simplify]: Simplify a into a 19.778 * [taylor]: Taking taylor expansion of (pow b 2) in b 19.778 * [taylor]: Taking taylor expansion of b in b 19.778 * [backup-simplify]: Simplify 0 into 0 19.778 * [backup-simplify]: Simplify 1 into 1 19.778 * [backup-simplify]: Simplify (* a a) into (pow a 2) 19.778 * [backup-simplify]: Simplify (* 1 1) into 1 19.779 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 19.779 * [taylor]: Taking taylor expansion of (pow a 2) in a 19.779 * [taylor]: Taking taylor expansion of a in a 19.779 * [backup-simplify]: Simplify 0 into 0 19.779 * [backup-simplify]: Simplify 1 into 1 19.779 * [backup-simplify]: Simplify (* 1 1) into 1 19.779 * [backup-simplify]: Simplify 1 into 1 19.779 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 19.779 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 19.780 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 19.780 * [taylor]: Taking taylor expansion of 0 in a 19.780 * [backup-simplify]: Simplify 0 into 0 19.780 * [backup-simplify]: Simplify 0 into 0 19.780 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 19.780 * [backup-simplify]: Simplify 0 into 0 19.781 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 19.781 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 19.782 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.782 * [taylor]: Taking taylor expansion of 0 in a 19.782 * [backup-simplify]: Simplify 0 into 0 19.782 * [backup-simplify]: Simplify 0 into 0 19.782 * [backup-simplify]: Simplify 0 into 0 19.783 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 19.783 * [backup-simplify]: Simplify 0 into 0 19.783 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 19.784 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 19.785 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.785 * [taylor]: Taking taylor expansion of 0 in a 19.785 * [backup-simplify]: Simplify 0 into 0 19.785 * [backup-simplify]: Simplify 0 into 0 19.785 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2)) 19.785 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 19.786 * [backup-simplify]: Simplify (log (exp (/ (* b (/ b a)) a))) into (/ (pow b 2) (pow a 2)) 19.786 * [approximate]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0 19.786 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a 19.786 * [taylor]: Taking taylor expansion of (pow b 2) in a 19.786 * [taylor]: Taking taylor expansion of b in a 19.786 * [backup-simplify]: Simplify b into b 19.786 * [taylor]: Taking taylor expansion of (pow a 2) in a 19.786 * [taylor]: Taking taylor expansion of a in a 19.786 * [backup-simplify]: Simplify 0 into 0 19.786 * [backup-simplify]: Simplify 1 into 1 19.786 * [backup-simplify]: Simplify (* b b) into (pow b 2) 19.786 * [backup-simplify]: Simplify (* 1 1) into 1 19.786 * [backup-simplify]: Simplify (/ (pow b 2) 1) into (pow b 2) 19.786 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 19.786 * [taylor]: Taking taylor expansion of (pow b 2) in b 19.786 * [taylor]: Taking taylor expansion of b in b 19.786 * [backup-simplify]: Simplify 0 into 0 19.786 * [backup-simplify]: Simplify 1 into 1 19.786 * [taylor]: Taking taylor expansion of (pow a 2) in b 19.786 * [taylor]: Taking taylor expansion of a in b 19.786 * [backup-simplify]: Simplify a into a 19.786 * [backup-simplify]: Simplify (* 1 1) into 1 19.786 * [backup-simplify]: Simplify (* a a) into (pow a 2) 19.787 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 19.787 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 19.787 * [taylor]: Taking taylor expansion of (pow b 2) in b 19.787 * [taylor]: Taking taylor expansion of b in b 19.787 * [backup-simplify]: Simplify 0 into 0 19.787 * [backup-simplify]: Simplify 1 into 1 19.787 * [taylor]: Taking taylor expansion of (pow a 2) in b 19.787 * [taylor]: Taking taylor expansion of a in b 19.787 * [backup-simplify]: Simplify a into a 19.787 * [backup-simplify]: Simplify (* 1 1) into 1 19.787 * [backup-simplify]: Simplify (* a a) into (pow a 2) 19.787 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 19.787 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 19.787 * [taylor]: Taking taylor expansion of (pow a 2) in a 19.787 * [taylor]: Taking taylor expansion of a in a 19.787 * [backup-simplify]: Simplify 0 into 0 19.787 * [backup-simplify]: Simplify 1 into 1 19.787 * [backup-simplify]: Simplify (* 1 1) into 1 19.788 * [backup-simplify]: Simplify (/ 1 1) into 1 19.788 * [backup-simplify]: Simplify 1 into 1 19.788 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 19.788 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 19.788 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0 19.788 * [taylor]: Taking taylor expansion of 0 in a 19.788 * [backup-simplify]: Simplify 0 into 0 19.789 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 19.789 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 19.789 * [backup-simplify]: Simplify 0 into 0 19.790 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 19.790 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 19.790 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 19.790 * [taylor]: Taking taylor expansion of 0 in a 19.790 * [backup-simplify]: Simplify 0 into 0 19.791 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 19.791 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.791 * [backup-simplify]: Simplify 0 into 0 19.792 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 19.792 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 19.793 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 19.793 * [taylor]: Taking taylor expansion of 0 in a 19.793 * [backup-simplify]: Simplify 0 into 0 19.793 * [backup-simplify]: Simplify 0 into 0 19.793 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 19.794 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.794 * [backup-simplify]: Simplify 0 into 0 19.795 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 19.795 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 19.796 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 19.796 * [taylor]: Taking taylor expansion of 0 in a 19.796 * [backup-simplify]: Simplify 0 into 0 19.796 * [backup-simplify]: Simplify 0 into 0 19.796 * [backup-simplify]: Simplify 0 into 0 19.796 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2)) 19.796 * [backup-simplify]: Simplify (log (exp (/ (* (/ 1 b) (/ (/ 1 b) (/ 1 a))) (/ 1 a)))) into (/ (pow a 2) (pow b 2)) 19.796 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 19.796 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 19.796 * [taylor]: Taking taylor expansion of (pow a 2) in a 19.796 * [taylor]: Taking taylor expansion of a in a 19.796 * [backup-simplify]: Simplify 0 into 0 19.796 * [backup-simplify]: Simplify 1 into 1 19.796 * [taylor]: Taking taylor expansion of (pow b 2) in a 19.796 * [taylor]: Taking taylor expansion of b in a 19.796 * [backup-simplify]: Simplify b into b 19.797 * [backup-simplify]: Simplify (* 1 1) into 1 19.797 * [backup-simplify]: Simplify (* b b) into (pow b 2) 19.797 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 19.797 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 19.797 * [taylor]: Taking taylor expansion of (pow a 2) in b 19.797 * [taylor]: Taking taylor expansion of a in b 19.797 * [backup-simplify]: Simplify a into a 19.797 * [taylor]: Taking taylor expansion of (pow b 2) in b 19.797 * [taylor]: Taking taylor expansion of b in b 19.797 * [backup-simplify]: Simplify 0 into 0 19.797 * [backup-simplify]: Simplify 1 into 1 19.797 * [backup-simplify]: Simplify (* a a) into (pow a 2) 19.797 * [backup-simplify]: Simplify (* 1 1) into 1 19.797 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 19.797 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 19.797 * [taylor]: Taking taylor expansion of (pow a 2) in b 19.797 * [taylor]: Taking taylor expansion of a in b 19.797 * [backup-simplify]: Simplify a into a 19.797 * [taylor]: Taking taylor expansion of (pow b 2) in b 19.797 * [taylor]: Taking taylor expansion of b in b 19.797 * [backup-simplify]: Simplify 0 into 0 19.797 * [backup-simplify]: Simplify 1 into 1 19.797 * [backup-simplify]: Simplify (* a a) into (pow a 2) 19.798 * [backup-simplify]: Simplify (* 1 1) into 1 19.798 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 19.798 * [taylor]: Taking taylor expansion of (pow a 2) in a 19.798 * [taylor]: Taking taylor expansion of a in a 19.798 * [backup-simplify]: Simplify 0 into 0 19.798 * [backup-simplify]: Simplify 1 into 1 19.798 * [backup-simplify]: Simplify (* 1 1) into 1 19.798 * [backup-simplify]: Simplify 1 into 1 19.798 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 19.799 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 19.800 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 19.800 * [taylor]: Taking taylor expansion of 0 in a 19.800 * [backup-simplify]: Simplify 0 into 0 19.800 * [backup-simplify]: Simplify 0 into 0 19.800 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 19.800 * [backup-simplify]: Simplify 0 into 0 19.801 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 19.802 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 19.803 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.803 * [taylor]: Taking taylor expansion of 0 in a 19.803 * [backup-simplify]: Simplify 0 into 0 19.803 * [backup-simplify]: Simplify 0 into 0 19.803 * [backup-simplify]: Simplify 0 into 0 19.804 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 19.804 * [backup-simplify]: Simplify 0 into 0 19.805 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 19.806 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 19.807 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.808 * [taylor]: Taking taylor expansion of 0 in a 19.808 * [backup-simplify]: Simplify 0 into 0 19.808 * [backup-simplify]: Simplify 0 into 0 19.808 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2)) 19.808 * [backup-simplify]: Simplify (log (exp (/ (* (/ 1 (- b)) (/ (/ 1 (- b)) (/ 1 (- a)))) (/ 1 (- a))))) into (/ (pow a 2) (pow b 2)) 19.808 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 19.808 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 19.808 * [taylor]: Taking taylor expansion of (pow a 2) in a 19.809 * [taylor]: Taking taylor expansion of a in a 19.809 * [backup-simplify]: Simplify 0 into 0 19.809 * [backup-simplify]: Simplify 1 into 1 19.809 * [taylor]: Taking taylor expansion of (pow b 2) in a 19.809 * [taylor]: Taking taylor expansion of b in a 19.809 * [backup-simplify]: Simplify b into b 19.809 * [backup-simplify]: Simplify (* 1 1) into 1 19.809 * [backup-simplify]: Simplify (* b b) into (pow b 2) 19.809 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 19.809 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 19.809 * [taylor]: Taking taylor expansion of (pow a 2) in b 19.809 * [taylor]: Taking taylor expansion of a in b 19.809 * [backup-simplify]: Simplify a into a 19.809 * [taylor]: Taking taylor expansion of (pow b 2) in b 19.809 * [taylor]: Taking taylor expansion of b in b 19.809 * [backup-simplify]: Simplify 0 into 0 19.809 * [backup-simplify]: Simplify 1 into 1 19.810 * [backup-simplify]: Simplify (* a a) into (pow a 2) 19.810 * [backup-simplify]: Simplify (* 1 1) into 1 19.810 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 19.810 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 19.810 * [taylor]: Taking taylor expansion of (pow a 2) in b 19.810 * [taylor]: Taking taylor expansion of a in b 19.810 * [backup-simplify]: Simplify a into a 19.810 * [taylor]: Taking taylor expansion of (pow b 2) in b 19.810 * [taylor]: Taking taylor expansion of b in b 19.810 * [backup-simplify]: Simplify 0 into 0 19.810 * [backup-simplify]: Simplify 1 into 1 19.810 * [backup-simplify]: Simplify (* a a) into (pow a 2) 19.811 * [backup-simplify]: Simplify (* 1 1) into 1 19.811 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 19.811 * [taylor]: Taking taylor expansion of (pow a 2) in a 19.811 * [taylor]: Taking taylor expansion of a in a 19.811 * [backup-simplify]: Simplify 0 into 0 19.811 * [backup-simplify]: Simplify 1 into 1 19.811 * [backup-simplify]: Simplify (* 1 1) into 1 19.811 * [backup-simplify]: Simplify 1 into 1 19.812 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 19.812 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 19.813 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 19.813 * [taylor]: Taking taylor expansion of 0 in a 19.813 * [backup-simplify]: Simplify 0 into 0 19.813 * [backup-simplify]: Simplify 0 into 0 19.814 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 19.814 * [backup-simplify]: Simplify 0 into 0 19.814 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 19.815 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 19.817 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.817 * [taylor]: Taking taylor expansion of 0 in a 19.817 * [backup-simplify]: Simplify 0 into 0 19.817 * [backup-simplify]: Simplify 0 into 0 19.817 * [backup-simplify]: Simplify 0 into 0 19.818 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 19.818 * [backup-simplify]: Simplify 0 into 0 19.818 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 19.819 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 19.821 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.821 * [taylor]: Taking taylor expansion of 0 in a 19.822 * [backup-simplify]: Simplify 0 into 0 19.822 * [backup-simplify]: Simplify 0 into 0 19.822 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2)) 19.822 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1 1) 19.822 * [backup-simplify]: Simplify (* b (/ b a)) into (/ (pow b 2) a) 19.822 * [approximate]: Taking taylor expansion of (/ (pow b 2) a) in (b a) around 0 19.822 * [taylor]: Taking taylor expansion of (/ (pow b 2) a) in a 19.822 * [taylor]: Taking taylor expansion of (pow b 2) in a 19.822 * [taylor]: Taking taylor expansion of b in a 19.822 * [backup-simplify]: Simplify b into b 19.822 * [taylor]: Taking taylor expansion of a in a 19.822 * [backup-simplify]: Simplify 0 into 0 19.822 * [backup-simplify]: Simplify 1 into 1 19.822 * [backup-simplify]: Simplify (* b b) into (pow b 2) 19.823 * [backup-simplify]: Simplify (/ (pow b 2) 1) into (pow b 2) 19.823 * [taylor]: Taking taylor expansion of (/ (pow b 2) a) in b 19.823 * [taylor]: Taking taylor expansion of (pow b 2) in b 19.823 * [taylor]: Taking taylor expansion of b in b 19.823 * [backup-simplify]: Simplify 0 into 0 19.823 * [backup-simplify]: Simplify 1 into 1 19.823 * [taylor]: Taking taylor expansion of a in b 19.823 * [backup-simplify]: Simplify a into a 19.823 * [backup-simplify]: Simplify (* 1 1) into 1 19.823 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 19.823 * [taylor]: Taking taylor expansion of (/ (pow b 2) a) in b 19.823 * [taylor]: Taking taylor expansion of (pow b 2) in b 19.823 * [taylor]: Taking taylor expansion of b in b 19.823 * [backup-simplify]: Simplify 0 into 0 19.823 * [backup-simplify]: Simplify 1 into 1 19.823 * [taylor]: Taking taylor expansion of a in b 19.823 * [backup-simplify]: Simplify a into a 19.824 * [backup-simplify]: Simplify (* 1 1) into 1 19.824 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 19.824 * [taylor]: Taking taylor expansion of (/ 1 a) in a 19.824 * [taylor]: Taking taylor expansion of a in a 19.824 * [backup-simplify]: Simplify 0 into 0 19.824 * [backup-simplify]: Simplify 1 into 1 19.824 * [backup-simplify]: Simplify (/ 1 1) into 1 19.825 * [backup-simplify]: Simplify 1 into 1 19.825 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 19.825 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)))) into 0 19.825 * [taylor]: Taking taylor expansion of 0 in a 19.825 * [backup-simplify]: Simplify 0 into 0 19.826 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 19.826 * [backup-simplify]: Simplify 0 into 0 19.827 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 19.827 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 19.827 * [taylor]: Taking taylor expansion of 0 in a 19.827 * [backup-simplify]: Simplify 0 into 0 19.827 * [backup-simplify]: Simplify 0 into 0 19.829 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.829 * [backup-simplify]: Simplify 0 into 0 19.830 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 19.830 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 19.830 * [taylor]: Taking taylor expansion of 0 in a 19.830 * [backup-simplify]: Simplify 0 into 0 19.830 * [backup-simplify]: Simplify 0 into 0 19.830 * [backup-simplify]: Simplify 0 into 0 19.831 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.831 * [backup-simplify]: Simplify 0 into 0 19.831 * [backup-simplify]: Simplify (* 1 (* (/ 1 a) (pow b 2))) into (/ (pow b 2) a) 19.832 * [backup-simplify]: Simplify (* (/ 1 b) (/ (/ 1 b) (/ 1 a))) into (/ a (pow b 2)) 19.832 * [approximate]: Taking taylor expansion of (/ a (pow b 2)) in (b a) around 0 19.832 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in a 19.832 * [taylor]: Taking taylor expansion of a in a 19.832 * [backup-simplify]: Simplify 0 into 0 19.832 * [backup-simplify]: Simplify 1 into 1 19.832 * [taylor]: Taking taylor expansion of (pow b 2) in a 19.832 * [taylor]: Taking taylor expansion of b in a 19.832 * [backup-simplify]: Simplify b into b 19.832 * [backup-simplify]: Simplify (* b b) into (pow b 2) 19.832 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 19.832 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b 19.832 * [taylor]: Taking taylor expansion of a in b 19.832 * [backup-simplify]: Simplify a into a 19.832 * [taylor]: Taking taylor expansion of (pow b 2) in b 19.832 * [taylor]: Taking taylor expansion of b in b 19.832 * [backup-simplify]: Simplify 0 into 0 19.832 * [backup-simplify]: Simplify 1 into 1 19.833 * [backup-simplify]: Simplify (* 1 1) into 1 19.833 * [backup-simplify]: Simplify (/ a 1) into a 19.833 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b 19.833 * [taylor]: Taking taylor expansion of a in b 19.833 * [backup-simplify]: Simplify a into a 19.833 * [taylor]: Taking taylor expansion of (pow b 2) in b 19.833 * [taylor]: Taking taylor expansion of b in b 19.833 * [backup-simplify]: Simplify 0 into 0 19.833 * [backup-simplify]: Simplify 1 into 1 19.833 * [backup-simplify]: Simplify (* 1 1) into 1 19.833 * [backup-simplify]: Simplify (/ a 1) into a 19.834 * [taylor]: Taking taylor expansion of a in a 19.834 * [backup-simplify]: Simplify 0 into 0 19.834 * [backup-simplify]: Simplify 1 into 1 19.834 * [backup-simplify]: Simplify 1 into 1 19.835 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 19.836 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0 19.836 * [taylor]: Taking taylor expansion of 0 in a 19.836 * [backup-simplify]: Simplify 0 into 0 19.836 * [backup-simplify]: Simplify 0 into 0 19.836 * [backup-simplify]: Simplify 0 into 0 19.837 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 19.838 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.838 * [taylor]: Taking taylor expansion of 0 in a 19.838 * [backup-simplify]: Simplify 0 into 0 19.838 * [backup-simplify]: Simplify 0 into 0 19.838 * [backup-simplify]: Simplify 0 into 0 19.838 * [backup-simplify]: Simplify 0 into 0 19.839 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 19.841 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.841 * [taylor]: Taking taylor expansion of 0 in a 19.841 * [backup-simplify]: Simplify 0 into 0 19.841 * [backup-simplify]: Simplify 0 into 0 19.842 * [backup-simplify]: Simplify (* 1 (* (/ 1 a) (pow (/ 1 b) -2))) into (/ (pow b 2) a) 19.842 * [backup-simplify]: Simplify (* (/ 1 (- b)) (/ (/ 1 (- b)) (/ 1 (- a)))) into (* -1 (/ a (pow b 2))) 19.842 * [approximate]: Taking taylor expansion of (* -1 (/ a (pow b 2))) in (b a) around 0 19.842 * [taylor]: Taking taylor expansion of (* -1 (/ a (pow b 2))) in a 19.842 * [taylor]: Taking taylor expansion of -1 in a 19.842 * [backup-simplify]: Simplify -1 into -1 19.842 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in a 19.842 * [taylor]: Taking taylor expansion of a in a 19.842 * [backup-simplify]: Simplify 0 into 0 19.842 * [backup-simplify]: Simplify 1 into 1 19.842 * [taylor]: Taking taylor expansion of (pow b 2) in a 19.842 * [taylor]: Taking taylor expansion of b in a 19.842 * [backup-simplify]: Simplify b into b 19.842 * [backup-simplify]: Simplify (* b b) into (pow b 2) 19.843 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 19.843 * [taylor]: Taking taylor expansion of (* -1 (/ a (pow b 2))) in b 19.843 * [taylor]: Taking taylor expansion of -1 in b 19.843 * [backup-simplify]: Simplify -1 into -1 19.843 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b 19.843 * [taylor]: Taking taylor expansion of a in b 19.843 * [backup-simplify]: Simplify a into a 19.843 * [taylor]: Taking taylor expansion of (pow b 2) in b 19.843 * [taylor]: Taking taylor expansion of b in b 19.843 * [backup-simplify]: Simplify 0 into 0 19.843 * [backup-simplify]: Simplify 1 into 1 19.843 * [backup-simplify]: Simplify (* 1 1) into 1 19.843 * [backup-simplify]: Simplify (/ a 1) into a 19.843 * [taylor]: Taking taylor expansion of (* -1 (/ a (pow b 2))) in b 19.843 * [taylor]: Taking taylor expansion of -1 in b 19.843 * [backup-simplify]: Simplify -1 into -1 19.843 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b 19.843 * [taylor]: Taking taylor expansion of a in b 19.843 * [backup-simplify]: Simplify a into a 19.844 * [taylor]: Taking taylor expansion of (pow b 2) in b 19.844 * [taylor]: Taking taylor expansion of b in b 19.844 * [backup-simplify]: Simplify 0 into 0 19.844 * [backup-simplify]: Simplify 1 into 1 19.844 * [backup-simplify]: Simplify (* 1 1) into 1 19.844 * [backup-simplify]: Simplify (/ a 1) into a 19.844 * [backup-simplify]: Simplify (* -1 a) into (* -1 a) 19.844 * [taylor]: Taking taylor expansion of (* -1 a) in a 19.844 * [taylor]: Taking taylor expansion of -1 in a 19.844 * [backup-simplify]: Simplify -1 into -1 19.844 * [taylor]: Taking taylor expansion of a in a 19.844 * [backup-simplify]: Simplify 0 into 0 19.844 * [backup-simplify]: Simplify 1 into 1 19.845 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1 19.845 * [backup-simplify]: Simplify -1 into -1 19.846 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 19.847 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0 19.847 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 a)) into 0 19.847 * [taylor]: Taking taylor expansion of 0 in a 19.847 * [backup-simplify]: Simplify 0 into 0 19.847 * [backup-simplify]: Simplify 0 into 0 19.848 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 19.848 * [backup-simplify]: Simplify 0 into 0 19.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 19.850 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.851 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 a))) into 0 19.851 * [taylor]: Taking taylor expansion of 0 in a 19.851 * [backup-simplify]: Simplify 0 into 0 19.851 * [backup-simplify]: Simplify 0 into 0 19.851 * [backup-simplify]: Simplify 0 into 0 19.852 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 19.853 * [backup-simplify]: Simplify 0 into 0 19.854 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 19.856 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 19.857 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 19.857 * [taylor]: Taking taylor expansion of 0 in a 19.857 * [backup-simplify]: Simplify 0 into 0 19.857 * [backup-simplify]: Simplify 0 into 0 19.857 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- a)) (pow (/ 1 (- b)) -2))) into (/ (pow b 2) a) 19.857 * * * * [progress]: [ 4 / 4 ] generating series at (2) 19.858 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (log (exp (/ (* b (/ b a)) a)))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 19.858 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0 19.858 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 19.858 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 19.858 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 19.859 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 19.859 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 19.859 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 19.859 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 19.860 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 19.860 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 19.860 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 19.860 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 19.860 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 19.861 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 19.861 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 19.861 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 19.862 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 19.862 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 19.862 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 19.862 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 19.863 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 19.863 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 19.863 * [taylor]: Taking taylor expansion of 0 in a 19.863 * [backup-simplify]: Simplify 0 into 0 19.863 * [backup-simplify]: Simplify 0 into 0 19.863 * [backup-simplify]: Simplify 0 into 0 19.865 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 19.865 * [taylor]: Taking taylor expansion of 0 in a 19.865 * [backup-simplify]: Simplify 0 into 0 19.865 * [backup-simplify]: Simplify 0 into 0 19.865 * [backup-simplify]: Simplify 0 into 0 19.866 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 19.866 * [backup-simplify]: Simplify 0 into 0 19.867 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 19.867 * [taylor]: Taking taylor expansion of 0 in a 19.867 * [backup-simplify]: Simplify 0 into 0 19.867 * [backup-simplify]: Simplify 0 into 0 19.867 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 19.868 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (log (exp (/ (* (/ 1 b) (/ (/ 1 b) (/ 1 a))) (/ 1 a))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 19.868 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 19.868 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 19.868 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 19.868 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 19.869 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 19.869 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 19.869 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 19.869 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 19.870 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 19.870 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 19.870 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 19.870 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 19.870 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 19.871 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 19.871 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 19.872 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 19.872 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 19.872 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 19.872 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 19.872 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 19.873 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 19.873 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 19.873 * [taylor]: Taking taylor expansion of 0 in a 19.873 * [backup-simplify]: Simplify 0 into 0 19.873 * [backup-simplify]: Simplify 0 into 0 19.873 * [backup-simplify]: Simplify 0 into 0 19.875 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 19.875 * [taylor]: Taking taylor expansion of 0 in a 19.875 * [backup-simplify]: Simplify 0 into 0 19.875 * [backup-simplify]: Simplify 0 into 0 19.875 * [backup-simplify]: Simplify 0 into 0 19.876 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 19.876 * [backup-simplify]: Simplify 0 into 0 19.877 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 19.877 * [taylor]: Taking taylor expansion of 0 in a 19.877 * [backup-simplify]: Simplify 0 into 0 19.877 * [backup-simplify]: Simplify 0 into 0 19.877 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 19.878 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (log (exp (/ (* (/ 1 (- b)) (/ (/ 1 (- b)) (/ 1 (- a)))) (/ 1 (- a)))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 19.878 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 19.878 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 19.878 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 19.879 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 19.879 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 19.879 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 19.879 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 19.879 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 19.880 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 19.880 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 19.880 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 19.881 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 19.881 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 19.881 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 19.881 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 19.882 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 19.882 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 19.882 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 19.882 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 19.882 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 19.883 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 19.883 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 19.883 * [taylor]: Taking taylor expansion of 0 in a 19.883 * [backup-simplify]: Simplify 0 into 0 19.883 * [backup-simplify]: Simplify 0 into 0 19.883 * [backup-simplify]: Simplify 0 into 0 19.885 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 19.885 * [taylor]: Taking taylor expansion of 0 in a 19.885 * [backup-simplify]: Simplify 0 into 0 19.885 * [backup-simplify]: Simplify 0 into 0 19.885 * [backup-simplify]: Simplify 0 into 0 19.886 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 19.886 * [backup-simplify]: Simplify 0 into 0 19.888 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 19.888 * [taylor]: Taking taylor expansion of 0 in a 19.888 * [backup-simplify]: Simplify 0 into 0 19.888 * [backup-simplify]: Simplify 0 into 0 19.888 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 19.888 * * * [progress]: simplifying candidates 19.891 * [simplify]: Simplifying: (- (+ (log b) (- (log b) (log a))) (log a)) (- (+ (log b) (log (/ b a))) (log a)) (- (log (* b (/ b a))) (log a)) (log (/ (* b (/ b a)) a)) (exp (/ (* b (/ b a)) a)) (/ (* (* (* b b) b) (/ (* (* b b) b) (* (* a a) a))) (* (* a a) a)) (/ (* (* (* b b) b) (* (* (/ b a) (/ b a)) (/ b a))) (* (* a a) a)) (/ (* (* (* b (/ b a)) (* b (/ b a))) (* b (/ b a))) (* (* a a) a)) (* (cbrt (/ (* b (/ b a)) a)) (cbrt (/ (* b (/ b a)) a))) (cbrt (/ (* b (/ b a)) a)) (* (* (/ (* b (/ b a)) a) (/ (* b (/ b a)) a)) (/ (* b (/ b a)) a)) (sqrt (/ (* b (/ b a)) a)) (sqrt (/ (* b (/ b a)) a)) (- (* b (/ b a))) (- a) (/ b (* (cbrt a) (cbrt a))) (/ (/ b a) (cbrt a)) (/ b (sqrt a)) (/ (/ b a) (sqrt a)) (/ b 1) (/ (/ b a) a) (/ 1 a) (/ a (* b (/ b a))) (/ (* b (/ b a)) (* (cbrt a) (cbrt a))) (/ (* b (/ b a)) (sqrt a)) (/ (* b (/ b a)) 1) (/ a (/ b a)) (* a a) (log (* (cbrt (exp (/ (* b (/ b a)) a))) (cbrt (exp (/ (* b (/ b a)) a))))) (log (cbrt (exp (/ (* b (/ b a)) a)))) (log (sqrt (exp (/ (* b (/ b a)) a)))) (log (sqrt (exp (/ (* b (/ b a)) a)))) (log 1) (log (exp (/ (* b (/ b a)) a))) (log (exp (/ (* b (/ b a)) a))) (log (exp (* (cbrt (/ (* b (/ b a)) a)) (cbrt (/ (* b (/ b a)) a))))) (log (exp (sqrt (/ (* b (/ b a)) a)))) (log (exp (/ b (* (cbrt a) (cbrt a))))) (log (exp (/ b (sqrt a)))) (log (exp (/ b 1))) (log (exp 1)) (log (exp (* b (/ b a)))) (log (log (exp (/ (* b (/ b a)) a)))) (exp (log (exp (/ (* b (/ b a)) a)))) (* (cbrt (log (exp (/ (* b (/ b a)) a)))) (cbrt (log (exp (/ (* b (/ b a)) a))))) (cbrt (log (exp (/ (* b (/ b a)) a)))) (* (* (log (exp (/ (* b (/ b a)) a))) (log (exp (/ (* b (/ b a)) a)))) (log (exp (/ (* b (/ b a)) a)))) (sqrt (log (exp (/ (* b (/ b a)) a)))) (sqrt (log (exp (/ (* b (/ b a)) a)))) (* b (/ b a)) (+ (log b) (- (log b) (log a))) (+ (log b) (log (/ b a))) (log (* b (/ b a))) (exp (* b (/ b a))) (* (* (* b b) b) (/ (* (* b b) b) (* (* a a) a))) (* (* (* b b) b) (* (* (/ b a) (/ b a)) (/ b a))) (* (cbrt (* b (/ b a))) (cbrt (* b (/ b a)))) (cbrt (* b (/ b a))) (* (* (* b (/ b a)) (* b (/ b a))) (* b (/ b a))) (sqrt (* b (/ b a))) (sqrt (* b (/ b a))) (* (sqrt b) (sqrt (/ b a))) (* (sqrt b) (sqrt (/ b a))) (* (sqrt b) (/ (sqrt b) (sqrt a))) (* (sqrt b) (/ (sqrt b) (sqrt a))) (* b (* (cbrt (/ b a)) (cbrt (/ b a)))) (* b (sqrt (/ b a))) (* b (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a)))) (* b (/ (* (cbrt b) (cbrt b)) (sqrt a))) (* b (/ (* (cbrt b) (cbrt b)) 1)) (* b (/ (sqrt b) (* (cbrt a) (cbrt a)))) (* b (/ (sqrt b) (sqrt a))) (* b (/ (sqrt b) 1)) (* b (/ 1 (* (cbrt a) (cbrt a)))) (* b (/ 1 (sqrt a))) (* b (/ 1 1)) (* b 1) (* b b) (* (cbrt b) (/ b a)) (* (sqrt b) (/ b a)) (* b (/ b a)) (* b b) (log (sqrt (fabs (- 1 (log (exp (/ (* b (/ b a)) a))))))) (exp (sqrt (fabs (- 1 (log (exp (/ (* b (/ b a)) a))))))) (* (cbrt (sqrt (fabs (- 1 (log (exp (/ (* b (/ b a)) a))))))) (cbrt (sqrt (fabs (- 1 (log (exp (/ (* b (/ b a)) a)))))))) (cbrt (sqrt (fabs (- 1 (log (exp (/ (* b (/ b a)) a))))))) (* (* (sqrt (fabs (- 1 (log (exp (/ (* b (/ b a)) a)))))) (sqrt (fabs (- 1 (log (exp (/ (* b (/ b a)) a))))))) (sqrt (fabs (- 1 (log (exp (/ (* b (/ b a)) a))))))) (sqrt (* (cbrt (fabs (- 1 (log (exp (/ (* b (/ b a)) a)))))) (cbrt (fabs (- 1 (log (exp (/ (* b (/ b a)) a)))))))) (sqrt (cbrt (fabs (- 1 (log (exp (/ (* b (/ b a)) a))))))) (sqrt (sqrt (fabs (- 1 (log (exp (/ (* b (/ b a)) a))))))) (sqrt (sqrt (fabs (- 1 (log (exp (/ (* b (/ b a)) a))))))) (sqrt 1) (sqrt (fabs (- 1 (log (exp (/ (* b (/ b a)) a)))))) (/ 1 2) (sqrt (sqrt (fabs (- 1 (log (exp (/ (* b (/ b a)) a))))))) (sqrt (sqrt (fabs (- 1 (log (exp (/ (* b (/ b a)) a))))))) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (/ (pow b 2) a) (/ (pow b 2) a) (/ (pow b 2) a) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 19.895 * * [simplify]: Extracting # 0 : cost 0 19.896 * * [simplify]: Extracting # 1 : cost 0 19.896 * * [simplify]: Extracting # 2 : cost 0 19.896 * * [simplify]: Extracting # 3 : cost 0 19.897 * * [simplify]: Extracting # 4 : cost 0 19.897 * * [simplify]: Extracting # 5 : cost 0 19.898 * * [simplify]: Extracting # 6 : cost 0 19.898 * * [simplify]: Extracting # 7 : cost 0 19.898 * * [simplify]: Extracting # 8 : cost 0 19.899 * * [simplify]: iteration 0 : 141 enodes (cost 1071 ) 19.970 * * [simplify]: Extracting # 0 : cost 0 19.970 * * [simplify]: Extracting # 1 : cost 0 19.971 * * [simplify]: Extracting # 2 : cost 0 19.972 * * [simplify]: Extracting # 3 : cost 0 19.972 * * [simplify]: Extracting # 4 : cost 0 19.973 * * [simplify]: iteration 1 : 290 enodes (cost 943 ) 20.121 * * [simplify]: Extracting # 0 : cost 0 20.123 * * [simplify]: Extracting # 1 : cost 0 20.125 * * [simplify]: Extracting # 2 : cost 0 20.126 * * [simplify]: Extracting # 3 : cost 0 20.127 * * [simplify]: Extracting # 4 : cost 0 20.128 * * [simplify]: iteration 2 : 789 enodes (cost 798 ) 21.217 * * [simplify]: Extracting # 0 : cost 0 21.220 * * [simplify]: Extracting # 1 : cost 0 21.223 * * [simplify]: Extracting # 2 : cost 0 21.225 * * [simplify]: Extracting # 3 : cost 0 21.227 * * [simplify]: Extracting # 4 : cost 0 21.230 * * [simplify]: iteration 3 : 2632 enodes (cost 768 ) 23.912 * * [simplify]: Extracting # 0 : cost 0 23.922 * * [simplify]: Extracting # 1 : cost 0 23.930 * * [simplify]: Extracting # 2 : cost 0 23.935 * * [simplify]: Extracting # 3 : cost 0 23.942 * * [simplify]: iteration done: 5000 enodes (cost 768 ) 23.942 * [simplify]: Simplified to: (* 2 (log (/ b a))) (* 2 (log (/ b a))) (* 2 (log (/ b a))) (* 2 (log (/ b a))) (exp (/ (* b (/ b a)) a)) (pow (/ b a) 6) (pow (/ b a) 6) (pow (/ b a) 6) (* (cbrt (/ (* b (/ b a)) a)) (cbrt (/ (* b (/ b a)) a))) (cbrt (/ (pow b 2) (pow a 2))) (pow (/ b a) 6) (fabs (/ b a)) (fabs (/ b a)) (- (* b (/ b a))) (- a) (/ b (* (cbrt a) (cbrt a))) (/ (/ b a) (cbrt a)) (/ b (sqrt a)) (/ (/ b a) (sqrt a)) b (/ (/ b a) a) (/ 1 a) (/ (* a a) (* b b)) (/ (* b (/ b a)) (* (cbrt a) (cbrt a))) (/ (* b (/ b a)) (sqrt a)) (* (/ b a) b) (/ a (/ b a)) (* a a) (* 2 (log (cbrt (exp (/ (* b (/ b a)) a))))) (log (cbrt (exp (/ (* b (/ b a)) a)))) (log (sqrt (exp (/ (* b (/ b a)) a)))) (log (sqrt (exp (/ (* b (/ b a)) a)))) 0 (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (* (cbrt (/ (* b (/ b a)) a)) (cbrt (/ (* b (/ b a)) a))) (fabs (/ b a)) (/ b (* (cbrt a) (cbrt a))) (/ b (sqrt a)) b 1 (* (/ b a) b) (* 2 (log (/ b a))) (exp (/ (* b (/ b a)) a)) (* (cbrt (/ (* b (/ b a)) a)) (cbrt (/ (* b (/ b a)) a))) (cbrt (/ (pow b 2) (pow a 2))) (pow (/ b a) 6) (fabs (/ b a)) (fabs (/ b a)) (* (/ b a) b) (log (* (/ b a) b)) (log (* (/ b a) b)) (log (* (/ b a) b)) (exp (* b (/ b a))) (pow (* (/ b a) b) 3) (pow (* (/ b a) b) 3) (* (cbrt (* b (/ b a))) (cbrt (* b (/ b a)))) (cbrt (* b (/ b a))) (pow (* (/ b a) b) 3) (sqrt (* b (/ b a))) (sqrt (* b (/ b a))) (* (sqrt b) (sqrt (/ b a))) (* (sqrt b) (sqrt (/ b a))) (/ b (sqrt a)) (/ b (sqrt a)) (* b (* (cbrt (/ b a)) (cbrt (/ b a)))) (* b (sqrt (/ b a))) (* b (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a)))) (* b (/ (* (cbrt b) (cbrt b)) (sqrt a))) (* b (* (cbrt b) (cbrt b))) (* b (/ (sqrt b) (* (cbrt a) (cbrt a)))) (* b (/ (sqrt b) (sqrt a))) (* b (sqrt b)) (/ b (* (cbrt a) (cbrt a))) (/ b (sqrt a)) b b (* b b) (* (cbrt b) (/ b a)) (* (sqrt b) (/ b a)) (* (/ b a) b) (* b b) (log (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (exp (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (* (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a)))))) (cbrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (pow (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 3) (fabs (cbrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (cbrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) 1 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1/2 (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (sqrt (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (* (/ b a) b) (* (/ b a) b) (* (/ b a) b) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 23.943 * * * [progress]: adding candidates to table 24.324 * [progress]: [Phase 3 of 3] Extracting. 24.324 * * [regime]: Finding splitpoints for: (# #) 24.328 * * * [regime-changes]: Trying 2 branch expressions: (b a) 24.328 * * * * [regimes]: Trying to branch on b from (# #) 24.354 * * * * [regimes]: Trying to branch on a from (# #) 24.379 * * * [regime]: Found split indices: #