22.486 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.017 * * * [progress]: [2/2] Setting up program. 0.020 * [progress]: [Phase 2 of 3] Improving. 0.020 * [simplify]: Simplifying: (- (* x x) (* y y)) 0.020 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.020 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.020 * * [simplify]: Extracting # 2 : cost 5 inf + 0 0.020 * * [simplify]: Extracting # 3 : cost 2 inf + 43 0.020 * * [simplify]: Extracting # 4 : cost 0 inf + 206 0.020 * * [simplify]: iteration 0 : 5 enodes (cost 122 ) 0.021 * * [simplify]: Extracting # 0 : cost 0 inf + 206 0.021 * * [simplify]: Extracting # 1 : cost 3 inf + 206 0.021 * * [simplify]: Extracting # 2 : cost 0 inf + 371 0.021 * * [simplify]: iteration 1 : 10 enodes (cost 122 ) 0.022 * * [simplify]: Extracting # 0 : cost 0 inf + 371 0.022 * * [simplify]: Extracting # 1 : cost 1 inf + 371 0.022 * * [simplify]: Extracting # 2 : cost 0 inf + 412 0.023 * * [simplify]: iteration 2 : 17 enodes (cost 122 ) 0.025 * * [simplify]: Extracting # 0 : cost 0 inf + 412 0.025 * * [simplify]: Extracting # 1 : cost 8 inf + 412 0.025 * * [simplify]: Extracting # 2 : cost 0 inf + 1148 0.025 * * [simplify]: iteration 3 : 32 enodes (cost 122 ) 0.032 * * [simplify]: Extracting # 0 : cost 0 inf + 1148 0.032 * * [simplify]: Extracting # 1 : cost 6 inf + 780 0.033 * * [simplify]: Extracting # 2 : cost 0 inf + 1192 0.033 * * [simplify]: iteration 4 : 58 enodes (cost 122 ) 0.052 * * [simplify]: Extracting # 0 : cost 0 inf + 1192 0.052 * * [simplify]: Extracting # 1 : cost 17 inf + 986 0.053 * * [simplify]: Extracting # 2 : cost 0 inf + 4140 0.054 * * [simplify]: iteration 5 : 129 enodes (cost 122 ) 0.090 * * [simplify]: Extracting # 0 : cost 0 inf + 4140 0.093 * * [simplify]: Extracting # 1 : cost 34 inf + 1716 0.095 * * [simplify]: Extracting # 2 : cost 0 inf + 6663 0.097 * * [simplify]: Extracting # 3 : cost 0 inf + 6623 0.100 * * [simplify]: iteration 6 : 281 enodes (cost 122 ) 0.194 * * [simplify]: Extracting # 0 : cost 0 inf + 6623 0.196 * * [simplify]: Extracting # 1 : cost 93 inf + 2653 0.201 * * [simplify]: Extracting # 2 : cost 0 inf + 18953 0.205 * * [simplify]: Extracting # 3 : cost 0 inf + 18793 0.209 * * [simplify]: iteration 7 : 703 enodes (cost 122 ) 1.040 * * [simplify]: Extracting # 0 : cost 0 inf + 18793 1.067 * * [simplify]: Extracting # 1 : cost 663 inf + 5988 1.099 * * [simplify]: Extracting # 2 : cost 0 inf + 132009 1.139 * * [simplify]: Extracting # 3 : cost 0 inf + 130329 1.178 * * [simplify]: iteration 8 : 3184 enodes (cost 122 ) 2.503 * * [simplify]: Extracting # 0 : cost 0 inf + 130329 2.717 * * [simplify]: Extracting # 1 : cost 902 inf + 68155 2.768 * * [simplify]: Extracting # 2 : cost 0 inf + 158235 2.815 * * [simplify]: Extracting # 3 : cost 0 inf + 155567 2.851 * * [simplify]: iteration done: 5000 enodes (cost 122 ) 2.851 * [simplify]: Simplified to: (- (* x x) (* y y)) 2.851 * * [progress]: iteration 1 / 4 2.851 * * * [progress]: picking best candidate 2.854 * * * * [pick]: Picked # 2.855 * * * [progress]: localizing error 2.861 * * * [progress]: generating rewritten candidates 2.861 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 2.868 * * * [progress]: generating series expansions 2.868 * * * * [progress]: [ 1 / 1 ] generating series at (2) 2.868 * [backup-simplify]: Simplify (- (* x x) (* y y)) into (- (pow x 2) (pow y 2)) 2.868 * [approximate]: Taking taylor expansion of (- (pow x 2) (pow y 2)) in (x y) around 0 2.868 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow y 2)) in y 2.868 * [taylor]: Taking taylor expansion of (pow x 2) in y 2.868 * [taylor]: Taking taylor expansion of x in y 2.868 * [backup-simplify]: Simplify x into x 2.868 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.868 * [taylor]: Taking taylor expansion of y in y 2.868 * [backup-simplify]: Simplify 0 into 0 2.868 * [backup-simplify]: Simplify 1 into 1 2.868 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow y 2)) in x 2.868 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.868 * [taylor]: Taking taylor expansion of x in x 2.868 * [backup-simplify]: Simplify 0 into 0 2.868 * [backup-simplify]: Simplify 1 into 1 2.868 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.868 * [taylor]: Taking taylor expansion of y in x 2.868 * [backup-simplify]: Simplify y into y 2.868 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow y 2)) in x 2.868 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.868 * [taylor]: Taking taylor expansion of x in x 2.868 * [backup-simplify]: Simplify 0 into 0 2.868 * [backup-simplify]: Simplify 1 into 1 2.868 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.868 * [taylor]: Taking taylor expansion of y in x 2.868 * [backup-simplify]: Simplify y into y 2.868 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.868 * [backup-simplify]: Simplify (- (pow y 2)) into (- (pow y 2)) 2.869 * [backup-simplify]: Simplify (+ 0 (- (pow y 2))) into (- (pow y 2)) 2.869 * [taylor]: Taking taylor expansion of (- (pow y 2)) in y 2.869 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.869 * [taylor]: Taking taylor expansion of y in y 2.869 * [backup-simplify]: Simplify 0 into 0 2.869 * [backup-simplify]: Simplify 1 into 1 2.869 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.869 * [backup-simplify]: Simplify (- 0) into 0 2.869 * [backup-simplify]: Simplify (+ 0 0) into 0 2.869 * [taylor]: Taking taylor expansion of 0 in y 2.869 * [backup-simplify]: Simplify 0 into 0 2.869 * [backup-simplify]: Simplify 0 into 0 2.870 * [backup-simplify]: Simplify (* 1 1) into 1 2.870 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 2.870 * [backup-simplify]: Simplify (- 0) into 0 2.870 * [backup-simplify]: Simplify (+ 1 0) into 1 2.871 * [taylor]: Taking taylor expansion of 1 in y 2.871 * [backup-simplify]: Simplify 1 into 1 2.871 * [backup-simplify]: Simplify 1 into 1 2.871 * [backup-simplify]: Simplify 0 into 0 2.871 * [backup-simplify]: Simplify (* 1 1) into 1 2.871 * [backup-simplify]: Simplify (- 1) into -1 2.871 * [backup-simplify]: Simplify -1 into -1 2.871 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.872 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 2.872 * [backup-simplify]: Simplify (- 0) into 0 2.873 * [backup-simplify]: Simplify (+ 0 0) into 0 2.873 * [taylor]: Taking taylor expansion of 0 in y 2.873 * [backup-simplify]: Simplify 0 into 0 2.873 * [backup-simplify]: Simplify 0 into 0 2.873 * [backup-simplify]: Simplify 0 into 0 2.873 * [backup-simplify]: Simplify 0 into 0 2.873 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.873 * [backup-simplify]: Simplify (- 0) into 0 2.873 * [backup-simplify]: Simplify 0 into 0 2.874 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.875 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 2.875 * [backup-simplify]: Simplify (- 0) into 0 2.875 * [backup-simplify]: Simplify (+ 0 0) into 0 2.875 * [taylor]: Taking taylor expansion of 0 in y 2.875 * [backup-simplify]: Simplify 0 into 0 2.875 * [backup-simplify]: Simplify 0 into 0 2.875 * [backup-simplify]: Simplify 0 into 0 2.875 * [backup-simplify]: Simplify (+ (* -1 (pow (* y 1) 2)) (* 1 (pow (* 1 x) 2))) into (- (pow x 2) (pow y 2)) 2.876 * [backup-simplify]: Simplify (- (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))) into (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) 2.876 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in (x y) around 0 2.876 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 2.876 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 2.876 * [taylor]: Taking taylor expansion of (pow x 2) in y 2.876 * [taylor]: Taking taylor expansion of x in y 2.876 * [backup-simplify]: Simplify x into x 2.876 * [backup-simplify]: Simplify (* x x) into (pow x 2) 2.876 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 2.876 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.876 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.876 * [taylor]: Taking taylor expansion of y in y 2.876 * [backup-simplify]: Simplify 0 into 0 2.876 * [backup-simplify]: Simplify 1 into 1 2.876 * [backup-simplify]: Simplify (* 1 1) into 1 2.876 * [backup-simplify]: Simplify (/ 1 1) into 1 2.876 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 2.876 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.876 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.876 * [taylor]: Taking taylor expansion of x in x 2.876 * [backup-simplify]: Simplify 0 into 0 2.876 * [backup-simplify]: Simplify 1 into 1 2.877 * [backup-simplify]: Simplify (* 1 1) into 1 2.877 * [backup-simplify]: Simplify (/ 1 1) into 1 2.877 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.877 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.877 * [taylor]: Taking taylor expansion of y in x 2.877 * [backup-simplify]: Simplify y into y 2.877 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.877 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 2.877 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 2.877 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.877 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.877 * [taylor]: Taking taylor expansion of x in x 2.878 * [backup-simplify]: Simplify 0 into 0 2.878 * [backup-simplify]: Simplify 1 into 1 2.878 * [backup-simplify]: Simplify (* 1 1) into 1 2.878 * [backup-simplify]: Simplify (/ 1 1) into 1 2.878 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.878 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.878 * [taylor]: Taking taylor expansion of y in x 2.878 * [backup-simplify]: Simplify y into y 2.878 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.878 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 2.879 * [backup-simplify]: Simplify (+ 1 0) into 1 2.879 * [taylor]: Taking taylor expansion of 1 in y 2.879 * [backup-simplify]: Simplify 1 into 1 2.880 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.881 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.881 * [backup-simplify]: Simplify (+ 0 0) into 0 2.881 * [taylor]: Taking taylor expansion of 0 in y 2.881 * [backup-simplify]: Simplify 0 into 0 2.882 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.882 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.883 * [backup-simplify]: Simplify (- (/ 1 (pow y 2))) into (- (/ 1 (pow y 2))) 2.883 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 2)))) into (- (/ 1 (pow y 2))) 2.883 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y 2.883 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.883 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.883 * [taylor]: Taking taylor expansion of y in y 2.883 * [backup-simplify]: Simplify 0 into 0 2.883 * [backup-simplify]: Simplify 1 into 1 2.883 * [backup-simplify]: Simplify (* 1 1) into 1 2.884 * [backup-simplify]: Simplify (/ 1 1) into 1 2.884 * [backup-simplify]: Simplify (- 1) into -1 2.884 * [backup-simplify]: Simplify -1 into -1 2.884 * [backup-simplify]: Simplify 1 into 1 2.885 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.886 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.886 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.886 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 2.886 * [backup-simplify]: Simplify (- 0) into 0 2.887 * [backup-simplify]: Simplify (+ 0 0) into 0 2.887 * [taylor]: Taking taylor expansion of 0 in y 2.887 * [backup-simplify]: Simplify 0 into 0 2.887 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.888 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.888 * [backup-simplify]: Simplify (- 0) into 0 2.888 * [backup-simplify]: Simplify 0 into 0 2.888 * [backup-simplify]: Simplify 0 into 0 2.888 * [backup-simplify]: Simplify 0 into 0 2.889 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.890 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.891 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 2.891 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 2.891 * [backup-simplify]: Simplify (- 0) into 0 2.892 * [backup-simplify]: Simplify (+ 0 0) into 0 2.892 * [taylor]: Taking taylor expansion of 0 in y 2.892 * [backup-simplify]: Simplify 0 into 0 2.892 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.893 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.894 * [backup-simplify]: Simplify (- 0) into 0 2.894 * [backup-simplify]: Simplify 0 into 0 2.894 * [backup-simplify]: Simplify 0 into 0 2.894 * [backup-simplify]: Simplify 0 into 0 2.894 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* -1 (pow (* (/ 1 (/ 1 y)) 1) 2))) into (- (pow x 2) (pow y 2)) 2.894 * [backup-simplify]: Simplify (- (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- y)) (/ 1 (- y)))) into (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) 2.894 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in (x y) around 0 2.894 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 2.894 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 2.894 * [taylor]: Taking taylor expansion of (pow x 2) in y 2.894 * [taylor]: Taking taylor expansion of x in y 2.894 * [backup-simplify]: Simplify x into x 2.895 * [backup-simplify]: Simplify (* x x) into (pow x 2) 2.895 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 2.895 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.895 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.895 * [taylor]: Taking taylor expansion of y in y 2.895 * [backup-simplify]: Simplify 0 into 0 2.895 * [backup-simplify]: Simplify 1 into 1 2.895 * [backup-simplify]: Simplify (* 1 1) into 1 2.895 * [backup-simplify]: Simplify (/ 1 1) into 1 2.895 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 2.895 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.896 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.896 * [taylor]: Taking taylor expansion of x in x 2.896 * [backup-simplify]: Simplify 0 into 0 2.896 * [backup-simplify]: Simplify 1 into 1 2.896 * [backup-simplify]: Simplify (* 1 1) into 1 2.896 * [backup-simplify]: Simplify (/ 1 1) into 1 2.896 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.896 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.896 * [taylor]: Taking taylor expansion of y in x 2.897 * [backup-simplify]: Simplify y into y 2.897 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.897 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 2.897 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 2.897 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.897 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.897 * [taylor]: Taking taylor expansion of x in x 2.897 * [backup-simplify]: Simplify 0 into 0 2.897 * [backup-simplify]: Simplify 1 into 1 2.898 * [backup-simplify]: Simplify (* 1 1) into 1 2.898 * [backup-simplify]: Simplify (/ 1 1) into 1 2.898 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.898 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.898 * [taylor]: Taking taylor expansion of y in x 2.898 * [backup-simplify]: Simplify y into y 2.898 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.898 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 2.899 * [backup-simplify]: Simplify (+ 1 0) into 1 2.899 * [taylor]: Taking taylor expansion of 1 in y 2.899 * [backup-simplify]: Simplify 1 into 1 2.900 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.901 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.901 * [backup-simplify]: Simplify (+ 0 0) into 0 2.901 * [taylor]: Taking taylor expansion of 0 in y 2.901 * [backup-simplify]: Simplify 0 into 0 2.902 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.903 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.903 * [backup-simplify]: Simplify (- (/ 1 (pow y 2))) into (- (/ 1 (pow y 2))) 2.903 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 2)))) into (- (/ 1 (pow y 2))) 2.904 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y 2.904 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.904 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.904 * [taylor]: Taking taylor expansion of y in y 2.904 * [backup-simplify]: Simplify 0 into 0 2.904 * [backup-simplify]: Simplify 1 into 1 2.904 * [backup-simplify]: Simplify (* 1 1) into 1 2.904 * [backup-simplify]: Simplify (/ 1 1) into 1 2.905 * [backup-simplify]: Simplify (- 1) into -1 2.905 * [backup-simplify]: Simplify -1 into -1 2.905 * [backup-simplify]: Simplify 1 into 1 2.906 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.906 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.906 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.906 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 2.907 * [backup-simplify]: Simplify (- 0) into 0 2.907 * [backup-simplify]: Simplify (+ 0 0) into 0 2.907 * [taylor]: Taking taylor expansion of 0 in y 2.907 * [backup-simplify]: Simplify 0 into 0 2.907 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.908 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.908 * [backup-simplify]: Simplify (- 0) into 0 2.908 * [backup-simplify]: Simplify 0 into 0 2.908 * [backup-simplify]: Simplify 0 into 0 2.908 * [backup-simplify]: Simplify 0 into 0 2.909 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.910 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.910 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 2.911 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 2.911 * [backup-simplify]: Simplify (- 0) into 0 2.912 * [backup-simplify]: Simplify (+ 0 0) into 0 2.912 * [taylor]: Taking taylor expansion of 0 in y 2.912 * [backup-simplify]: Simplify 0 into 0 2.912 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.913 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.913 * [backup-simplify]: Simplify (- 0) into 0 2.913 * [backup-simplify]: Simplify 0 into 0 2.913 * [backup-simplify]: Simplify 0 into 0 2.913 * [backup-simplify]: Simplify 0 into 0 2.914 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- y))) 1) 2))) into (- (pow x 2) (pow y 2)) 2.914 * * * [progress]: simplifying candidates 2.914 * [simplify]: Simplifying: (/ (exp (* x x)) (exp (* y y))) (log (- (* x x) (* y y))) (exp (- (* x x) (* y y))) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y)))) (cbrt (- (* x x) (* y y))) (* (* (- (* x x) (* y y)) (- (* x x) (* y y))) (- (* x x) (* y y))) (sqrt (- (* x x) (* y y))) (sqrt (- (* x x) (* y y))) (- (pow (* x x) 3) (pow (* y y) 3)) (+ (* (* x x) (* x x)) (+ (* (* y y) (* y y)) (* (* x x) (* y y)))) (- (* y y)) (- (* (* x x) (* x x)) (* (* y y) (* y y))) (+ (* x x) (* y y)) (+ x y) (- x y) (- (* y y)) (- (pow x 2) (pow y 2)) (- (pow x 2) (pow y 2)) (- (pow x 2) (pow y 2)) 2.915 * * [simplify]: Extracting # 0 : cost 15 inf + 0 2.915 * * [simplify]: Extracting # 1 : cost 30 inf + 0 2.915 * * [simplify]: Extracting # 2 : cost 25 inf + 399 2.915 * * [simplify]: Extracting # 3 : cost 9 inf + 2717 2.916 * * [simplify]: Extracting # 4 : cost 1 inf + 4955 2.917 * * [simplify]: Extracting # 5 : cost 0 inf + 5237 2.917 * * [simplify]: iteration 0 : 33 enodes (cost 4400 ) 2.927 * * [simplify]: Extracting # 0 : cost 0 inf + 5237 2.928 * * [simplify]: Extracting # 1 : cost 31 inf + 4088 2.929 * * [simplify]: Extracting # 2 : cost 8 inf + 6563 2.930 * * [simplify]: Extracting # 3 : cost 3 inf + 7091 2.930 * * [simplify]: Extracting # 4 : cost 0 inf + 7807 2.931 * * [simplify]: iteration 1 : 111 enodes (cost 3006 ) 2.977 * * [simplify]: Extracting # 0 : cost 0 inf + 7807 2.980 * * [simplify]: Extracting # 1 : cost 197 inf + 5340 2.985 * * [simplify]: Extracting # 2 : cost 11 inf + 22772 2.990 * * [simplify]: Extracting # 3 : cost 4 inf + 23585 2.996 * * [simplify]: Extracting # 4 : cost 0 inf + 24733 3.001 * * [simplify]: iteration 2 : 589 enodes (cost 3006 ) 3.313 * * [simplify]: Extracting # 0 : cost 0 inf + 24733 3.328 * * [simplify]: Extracting # 1 : cost 2097 inf + 21401 3.364 * * [simplify]: Extracting # 2 : cost 148 inf + 273757 3.419 * * [simplify]: Extracting # 3 : cost 48 inf + 287929 3.488 * * [simplify]: Extracting # 4 : cost 0 inf + 300879 3.556 * * [simplify]: iteration done: 5000 enodes (cost 3006 ) 3.557 * [simplify]: Simplified to: (exp (- (* x x) (* y y))) (log (- (* x x) (* y y))) (exp (- (* x x) (* y y))) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y)))) (cbrt (- (* x x) (* y y))) (* (* (- (* x x) (* y y)) (- (* x x) (* y y))) (- (* x x) (* y y))) (sqrt (- (* x x) (* y y))) (sqrt (- (* x x) (* y y))) (- (* (* x x) (* (* x x) (* x x))) (* (* y y) (* (* y y) (* y y)))) (+ (* (* y y) (+ (* y y) (* x x))) (* (* x x) (* x x))) (- (* y y)) (- (* (* x x) (* x x)) (* (* y y) (* y y))) (+ (* y y) (* x x)) (+ x y) (- x y) (- (* y y)) (- (* x x) (* y y)) (- (* x x) (* y y)) (- (* x x) (* y y)) 3.558 * * * [progress]: adding candidates to table 3.615 * * [progress]: iteration 2 / 4 3.615 * * * [progress]: picking best candidate 3.619 * * * * [pick]: Picked # 3.619 * * * [progress]: localizing error 3.630 * * * [progress]: generating rewritten candidates 3.630 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 3.675 * * * [progress]: generating series expansions 3.675 * * * * [progress]: [ 1 / 1 ] generating series at (2) 3.675 * [backup-simplify]: Simplify (* (+ x y) (- x y)) into (* (+ x y) (- x y)) 3.675 * [approximate]: Taking taylor expansion of (* (+ x y) (- x y)) in (x y) around 0 3.675 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in y 3.675 * [taylor]: Taking taylor expansion of (+ x y) in y 3.675 * [taylor]: Taking taylor expansion of x in y 3.675 * [backup-simplify]: Simplify x into x 3.675 * [taylor]: Taking taylor expansion of y in y 3.675 * [backup-simplify]: Simplify 0 into 0 3.675 * [backup-simplify]: Simplify 1 into 1 3.675 * [taylor]: Taking taylor expansion of (- x y) in y 3.675 * [taylor]: Taking taylor expansion of x in y 3.675 * [backup-simplify]: Simplify x into x 3.675 * [taylor]: Taking taylor expansion of y in y 3.675 * [backup-simplify]: Simplify 0 into 0 3.675 * [backup-simplify]: Simplify 1 into 1 3.675 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in x 3.676 * [taylor]: Taking taylor expansion of (+ x y) in x 3.676 * [taylor]: Taking taylor expansion of x in x 3.676 * [backup-simplify]: Simplify 0 into 0 3.676 * [backup-simplify]: Simplify 1 into 1 3.676 * [taylor]: Taking taylor expansion of y in x 3.676 * [backup-simplify]: Simplify y into y 3.676 * [taylor]: Taking taylor expansion of (- x y) in x 3.676 * [taylor]: Taking taylor expansion of x in x 3.676 * [backup-simplify]: Simplify 0 into 0 3.676 * [backup-simplify]: Simplify 1 into 1 3.676 * [taylor]: Taking taylor expansion of y in x 3.676 * [backup-simplify]: Simplify y into y 3.676 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in x 3.676 * [taylor]: Taking taylor expansion of (+ x y) in x 3.676 * [taylor]: Taking taylor expansion of x in x 3.676 * [backup-simplify]: Simplify 0 into 0 3.676 * [backup-simplify]: Simplify 1 into 1 3.676 * [taylor]: Taking taylor expansion of y in x 3.676 * [backup-simplify]: Simplify y into y 3.676 * [taylor]: Taking taylor expansion of (- x y) in x 3.676 * [taylor]: Taking taylor expansion of x in x 3.676 * [backup-simplify]: Simplify 0 into 0 3.676 * [backup-simplify]: Simplify 1 into 1 3.676 * [taylor]: Taking taylor expansion of y in x 3.676 * [backup-simplify]: Simplify y into y 3.676 * [backup-simplify]: Simplify (+ 0 y) into y 3.676 * [backup-simplify]: Simplify (- y) into (- y) 3.676 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 3.676 * [backup-simplify]: Simplify (* y (- y)) into (* -1 (pow y 2)) 3.676 * [taylor]: Taking taylor expansion of (* -1 (pow y 2)) in y 3.676 * [taylor]: Taking taylor expansion of -1 in y 3.676 * [backup-simplify]: Simplify -1 into -1 3.676 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.676 * [taylor]: Taking taylor expansion of y in y 3.676 * [backup-simplify]: Simplify 0 into 0 3.676 * [backup-simplify]: Simplify 1 into 1 3.677 * [backup-simplify]: Simplify (- 0) into 0 3.677 * [backup-simplify]: Simplify (+ 1 0) into 1 3.678 * [backup-simplify]: Simplify (+ 1 0) into 1 3.678 * [backup-simplify]: Simplify (+ (* y 1) (* 1 (- y))) into 0 3.678 * [taylor]: Taking taylor expansion of 0 in y 3.678 * [backup-simplify]: Simplify 0 into 0 3.678 * [backup-simplify]: Simplify 0 into 0 3.678 * [backup-simplify]: Simplify (- 0) into 0 3.679 * [backup-simplify]: Simplify (+ 0 0) into 0 3.679 * [backup-simplify]: Simplify (+ 0 0) into 0 3.679 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 1 1) (* 0 (- y)))) into 1 3.679 * [taylor]: Taking taylor expansion of 1 in y 3.679 * [backup-simplify]: Simplify 1 into 1 3.679 * [backup-simplify]: Simplify 1 into 1 3.679 * [backup-simplify]: Simplify 0 into 0 3.680 * [backup-simplify]: Simplify (* 1 1) into 1 3.680 * [backup-simplify]: Simplify (* -1 1) into -1 3.680 * [backup-simplify]: Simplify -1 into -1 3.680 * [backup-simplify]: Simplify (- 0) into 0 3.681 * [backup-simplify]: Simplify (+ 0 0) into 0 3.681 * [backup-simplify]: Simplify (+ 0 0) into 0 3.682 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 1 0) (+ (* 0 1) (* 0 (- y))))) into 0 3.682 * [taylor]: Taking taylor expansion of 0 in y 3.682 * [backup-simplify]: Simplify 0 into 0 3.682 * [backup-simplify]: Simplify 0 into 0 3.682 * [backup-simplify]: Simplify 0 into 0 3.682 * [backup-simplify]: Simplify 0 into 0 3.683 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.683 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 3.683 * [backup-simplify]: Simplify 0 into 0 3.683 * [backup-simplify]: Simplify (- 0) into 0 3.684 * [backup-simplify]: Simplify (+ 0 0) into 0 3.684 * [backup-simplify]: Simplify (+ 0 0) into 0 3.685 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- y)))))) into 0 3.685 * [taylor]: Taking taylor expansion of 0 in y 3.685 * [backup-simplify]: Simplify 0 into 0 3.685 * [backup-simplify]: Simplify 0 into 0 3.685 * [backup-simplify]: Simplify 0 into 0 3.686 * [backup-simplify]: Simplify (+ (* -1 (pow (* y 1) 2)) (* 1 (pow (* 1 x) 2))) into (- (pow x 2) (pow y 2)) 3.686 * [backup-simplify]: Simplify (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) into (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) 3.686 * [approximate]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) in (x y) around 0 3.686 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) in y 3.686 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 3.686 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.686 * [taylor]: Taking taylor expansion of x in y 3.686 * [backup-simplify]: Simplify x into x 3.686 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.686 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.686 * [taylor]: Taking taylor expansion of y in y 3.686 * [backup-simplify]: Simplify 0 into 0 3.686 * [backup-simplify]: Simplify 1 into 1 3.686 * [backup-simplify]: Simplify (/ 1 1) into 1 3.686 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 3.686 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.686 * [taylor]: Taking taylor expansion of x in y 3.686 * [backup-simplify]: Simplify x into x 3.687 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.687 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.687 * [taylor]: Taking taylor expansion of y in y 3.687 * [backup-simplify]: Simplify 0 into 0 3.687 * [backup-simplify]: Simplify 1 into 1 3.687 * [backup-simplify]: Simplify (/ 1 1) into 1 3.687 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) in x 3.687 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 3.687 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.687 * [taylor]: Taking taylor expansion of x in x 3.687 * [backup-simplify]: Simplify 0 into 0 3.687 * [backup-simplify]: Simplify 1 into 1 3.687 * [backup-simplify]: Simplify (/ 1 1) into 1 3.687 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.687 * [taylor]: Taking taylor expansion of y in x 3.687 * [backup-simplify]: Simplify y into y 3.687 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.688 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 3.688 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.688 * [taylor]: Taking taylor expansion of x in x 3.688 * [backup-simplify]: Simplify 0 into 0 3.688 * [backup-simplify]: Simplify 1 into 1 3.688 * [backup-simplify]: Simplify (/ 1 1) into 1 3.688 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.688 * [taylor]: Taking taylor expansion of y in x 3.688 * [backup-simplify]: Simplify y into y 3.688 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.688 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) in x 3.688 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 3.688 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.688 * [taylor]: Taking taylor expansion of x in x 3.688 * [backup-simplify]: Simplify 0 into 0 3.688 * [backup-simplify]: Simplify 1 into 1 3.688 * [backup-simplify]: Simplify (/ 1 1) into 1 3.688 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.688 * [taylor]: Taking taylor expansion of y in x 3.689 * [backup-simplify]: Simplify y into y 3.689 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.689 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 3.689 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.689 * [taylor]: Taking taylor expansion of x in x 3.689 * [backup-simplify]: Simplify 0 into 0 3.689 * [backup-simplify]: Simplify 1 into 1 3.689 * [backup-simplify]: Simplify (/ 1 1) into 1 3.689 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.689 * [taylor]: Taking taylor expansion of y in x 3.689 * [backup-simplify]: Simplify y into y 3.689 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.690 * [backup-simplify]: Simplify (+ 1 0) into 1 3.690 * [backup-simplify]: Simplify (+ 1 0) into 1 3.690 * [backup-simplify]: Simplify (* 1 1) into 1 3.690 * [taylor]: Taking taylor expansion of 1 in y 3.690 * [backup-simplify]: Simplify 1 into 1 3.691 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.691 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 3.691 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 3.692 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.692 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 3.692 * [backup-simplify]: Simplify (+ (* 1 (- (/ 1 y))) (* (/ 1 y) 1)) into 0 3.692 * [taylor]: Taking taylor expansion of 0 in y 3.692 * [backup-simplify]: Simplify 0 into 0 3.693 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.693 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.693 * [backup-simplify]: Simplify (- 0) into 0 3.693 * [backup-simplify]: Simplify (+ 0 0) into 0 3.694 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.694 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.694 * [backup-simplify]: Simplify (+ 0 0) into 0 3.695 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) (- (/ 1 y))) (* 0 1))) into (- (/ 1 (pow y 2))) 3.695 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y 3.695 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.695 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.695 * [taylor]: Taking taylor expansion of y in y 3.695 * [backup-simplify]: Simplify 0 into 0 3.695 * [backup-simplify]: Simplify 1 into 1 3.696 * [backup-simplify]: Simplify (* 1 1) into 1 3.696 * [backup-simplify]: Simplify (/ 1 1) into 1 3.696 * [backup-simplify]: Simplify (- 1) into -1 3.696 * [backup-simplify]: Simplify -1 into -1 3.696 * [backup-simplify]: Simplify 1 into 1 3.697 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.697 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.698 * [backup-simplify]: Simplify (- 0) into 0 3.698 * [backup-simplify]: Simplify (+ 0 0) into 0 3.699 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.699 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.699 * [backup-simplify]: Simplify (+ 0 0) into 0 3.700 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))) into 0 3.700 * [taylor]: Taking taylor expansion of 0 in y 3.700 * [backup-simplify]: Simplify 0 into 0 3.700 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.701 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.701 * [backup-simplify]: Simplify (- 0) into 0 3.701 * [backup-simplify]: Simplify 0 into 0 3.701 * [backup-simplify]: Simplify 0 into 0 3.701 * [backup-simplify]: Simplify 0 into 0 3.702 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.702 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.703 * [backup-simplify]: Simplify (- 0) into 0 3.703 * [backup-simplify]: Simplify (+ 0 0) into 0 3.704 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.704 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.704 * [backup-simplify]: Simplify (+ 0 0) into 0 3.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))))) into 0 3.705 * [taylor]: Taking taylor expansion of 0 in y 3.705 * [backup-simplify]: Simplify 0 into 0 3.706 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.707 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.707 * [backup-simplify]: Simplify (- 0) into 0 3.707 * [backup-simplify]: Simplify 0 into 0 3.707 * [backup-simplify]: Simplify 0 into 0 3.707 * [backup-simplify]: Simplify 0 into 0 3.707 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* -1 (pow (* (/ 1 (/ 1 y)) 1) 2))) into (- (pow x 2) (pow y 2)) 3.708 * [backup-simplify]: Simplify (* (+ (/ 1 (- x)) (/ 1 (- y))) (- (/ 1 (- x)) (/ 1 (- y)))) into (* -1 (* (- (/ 1 y) (/ 1 x)) (+ (/ 1 x) (/ 1 y)))) 3.708 * [approximate]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) (+ (/ 1 x) (/ 1 y)))) in (x y) around 0 3.708 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) (+ (/ 1 x) (/ 1 y)))) in y 3.708 * [taylor]: Taking taylor expansion of -1 in y 3.708 * [backup-simplify]: Simplify -1 into -1 3.708 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (+ (/ 1 x) (/ 1 y))) in y 3.708 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 3.708 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.708 * [taylor]: Taking taylor expansion of y in y 3.708 * [backup-simplify]: Simplify 0 into 0 3.708 * [backup-simplify]: Simplify 1 into 1 3.708 * [backup-simplify]: Simplify (/ 1 1) into 1 3.708 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.708 * [taylor]: Taking taylor expansion of x in y 3.708 * [backup-simplify]: Simplify x into x 3.708 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.708 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 3.708 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.708 * [taylor]: Taking taylor expansion of x in y 3.708 * [backup-simplify]: Simplify x into x 3.709 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.709 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.709 * [taylor]: Taking taylor expansion of y in y 3.709 * [backup-simplify]: Simplify 0 into 0 3.709 * [backup-simplify]: Simplify 1 into 1 3.709 * [backup-simplify]: Simplify (/ 1 1) into 1 3.709 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) (+ (/ 1 x) (/ 1 y)))) in x 3.709 * [taylor]: Taking taylor expansion of -1 in x 3.709 * [backup-simplify]: Simplify -1 into -1 3.709 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (+ (/ 1 x) (/ 1 y))) in x 3.709 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 3.709 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.709 * [taylor]: Taking taylor expansion of y in x 3.709 * [backup-simplify]: Simplify y into y 3.709 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.709 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.709 * [taylor]: Taking taylor expansion of x in x 3.709 * [backup-simplify]: Simplify 0 into 0 3.709 * [backup-simplify]: Simplify 1 into 1 3.710 * [backup-simplify]: Simplify (/ 1 1) into 1 3.710 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 3.710 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.710 * [taylor]: Taking taylor expansion of x in x 3.710 * [backup-simplify]: Simplify 0 into 0 3.710 * [backup-simplify]: Simplify 1 into 1 3.710 * [backup-simplify]: Simplify (/ 1 1) into 1 3.710 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.710 * [taylor]: Taking taylor expansion of y in x 3.710 * [backup-simplify]: Simplify y into y 3.710 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.710 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) (+ (/ 1 x) (/ 1 y)))) in x 3.710 * [taylor]: Taking taylor expansion of -1 in x 3.710 * [backup-simplify]: Simplify -1 into -1 3.710 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (+ (/ 1 x) (/ 1 y))) in x 3.710 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 3.710 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.710 * [taylor]: Taking taylor expansion of y in x 3.710 * [backup-simplify]: Simplify y into y 3.710 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.710 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.710 * [taylor]: Taking taylor expansion of x in x 3.710 * [backup-simplify]: Simplify 0 into 0 3.710 * [backup-simplify]: Simplify 1 into 1 3.711 * [backup-simplify]: Simplify (/ 1 1) into 1 3.711 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 3.711 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.711 * [taylor]: Taking taylor expansion of x in x 3.711 * [backup-simplify]: Simplify 0 into 0 3.711 * [backup-simplify]: Simplify 1 into 1 3.711 * [backup-simplify]: Simplify (/ 1 1) into 1 3.711 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.711 * [taylor]: Taking taylor expansion of y in x 3.711 * [backup-simplify]: Simplify y into y 3.711 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.712 * [backup-simplify]: Simplify (- 1) into -1 3.712 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.712 * [backup-simplify]: Simplify (+ 1 0) into 1 3.713 * [backup-simplify]: Simplify (* -1 1) into -1 3.713 * [backup-simplify]: Simplify (* -1 -1) into 1 3.713 * [taylor]: Taking taylor expansion of 1 in y 3.713 * [backup-simplify]: Simplify 1 into 1 3.714 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.714 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 3.714 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.715 * [backup-simplify]: Simplify (- 0) into 0 3.715 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 3.715 * [backup-simplify]: Simplify (+ (* -1 (/ 1 y)) (* (/ 1 y) 1)) into 0 3.715 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 3.715 * [taylor]: Taking taylor expansion of 0 in y 3.715 * [backup-simplify]: Simplify 0 into 0 3.716 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.716 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.717 * [backup-simplify]: Simplify (+ 0 0) into 0 3.717 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.717 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.718 * [backup-simplify]: Simplify (- 0) into 0 3.718 * [backup-simplify]: Simplify (+ 0 0) into 0 3.719 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) (/ 1 y)) (* 0 1))) into (/ 1 (pow y 2)) 3.719 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (pow y 2))) (+ (* 0 0) (* 0 -1))) into (- (/ 1 (pow y 2))) 3.720 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y 3.720 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.720 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.720 * [taylor]: Taking taylor expansion of y in y 3.720 * [backup-simplify]: Simplify 0 into 0 3.720 * [backup-simplify]: Simplify 1 into 1 3.720 * [backup-simplify]: Simplify (* 1 1) into 1 3.720 * [backup-simplify]: Simplify (/ 1 1) into 1 3.721 * [backup-simplify]: Simplify (- 1) into -1 3.721 * [backup-simplify]: Simplify -1 into -1 3.721 * [backup-simplify]: Simplify 1 into 1 3.721 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.722 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.722 * [backup-simplify]: Simplify (+ 0 0) into 0 3.722 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.723 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.723 * [backup-simplify]: Simplify (- 0) into 0 3.723 * [backup-simplify]: Simplify (+ 0 0) into 0 3.724 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0 3.725 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 (pow y 2))) (+ (* 0 0) (* 0 -1)))) into 0 3.725 * [taylor]: Taking taylor expansion of 0 in y 3.725 * [backup-simplify]: Simplify 0 into 0 3.726 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.726 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.727 * [backup-simplify]: Simplify (- 0) into 0 3.727 * [backup-simplify]: Simplify 0 into 0 3.727 * [backup-simplify]: Simplify 0 into 0 3.727 * [backup-simplify]: Simplify 0 into 0 3.728 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.728 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.728 * [backup-simplify]: Simplify (+ 0 0) into 0 3.728 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.729 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.729 * [backup-simplify]: Simplify (- 0) into 0 3.730 * [backup-simplify]: Simplify (+ 0 0) into 0 3.731 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0 3.732 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 (pow y 2))) (+ (* 0 0) (* 0 -1))))) into 0 3.732 * [taylor]: Taking taylor expansion of 0 in y 3.732 * [backup-simplify]: Simplify 0 into 0 3.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.734 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.734 * [backup-simplify]: Simplify (- 0) into 0 3.734 * [backup-simplify]: Simplify 0 into 0 3.734 * [backup-simplify]: Simplify 0 into 0 3.734 * [backup-simplify]: Simplify 0 into 0 3.734 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- y))) 1) 2))) into (- (pow x 2) (pow y 2)) 3.734 * * * [progress]: simplifying candidates 3.735 * [simplify]: Simplifying: (* (+ x y) (- x y)) (+ (log (+ x y)) (log (- x y))) (log (* (+ x y) (- x y))) (exp (* (+ x y) (- x y))) (* (* (* (+ x y) (+ x y)) (+ x y)) (* (* (- x y) (- x y)) (- x y))) (* (cbrt (* (+ x y) (- x y))) (cbrt (* (+ x y) (- x y)))) (cbrt (* (+ x y) (- x y))) (* (* (* (+ x y) (- x y)) (* (+ x y) (- x y))) (* (+ x y) (- x y))) (sqrt (* (+ x y) (- x y))) (sqrt (* (+ x y) (- x y))) (* (+ (pow x 3) (pow y 3)) (- (pow x 3) (pow y 3))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (+ (* y y) (* x y)))) (* (+ (pow x 3) (pow y 3)) (- (* x x) (* y y))) (* (+ (* x x) (- (* y y) (* x y))) (+ x y)) (* (- (* x x) (* y y)) (- (pow x 3) (pow y 3))) (* (- x y) (+ (* x x) (+ (* y y) (* x y)))) (* (- (* x x) (* y y)) (- (* x x) (* y y))) (* (- x y) (+ x y)) (* (sqrt (+ x y)) (sqrt (- x y))) (* (sqrt (+ x y)) (sqrt (- x y))) (* (+ x y) x) (* (+ x y) (- y)) (* (+ x y) x) (* (+ x y) (- y)) (* x (+ x y)) (* (- y) (+ x y)) (* x (+ x y)) (* (- y) (+ x y)) (* (+ x y) (* (cbrt (- x y)) (cbrt (- x y)))) (* (+ x y) (sqrt (- x y))) (* (+ x y) 1) (* (+ x y) (+ (sqrt x) (sqrt y))) (* (+ x y) 1) (* (cbrt (+ x y)) (- x y)) (* (sqrt (+ x y)) (- x y)) (* (+ x y) (- x y)) (* (+ x y) (- x y)) (* (+ x y) (- (pow x 3) (pow y 3))) (* (+ x y) (- (* x x) (* y y))) (* (+ (pow x 3) (pow y 3)) (- x y)) (* (- (* x x) (* y y)) (- x y)) (- (pow x 2) (pow y 2)) (- (pow x 2) (pow y 2)) (- (pow x 2) (pow y 2)) 3.736 * * [simplify]: Extracting # 0 : cost 33 inf + 0 3.736 * * [simplify]: Extracting # 1 : cost 55 inf + 0 3.736 * * [simplify]: Extracting # 2 : cost 66 inf + 2 3.736 * * [simplify]: Extracting # 3 : cost 63 inf + 298 3.737 * * [simplify]: Extracting # 4 : cost 28 inf + 5066 3.738 * * [simplify]: Extracting # 5 : cost 7 inf + 9701 3.739 * * [simplify]: Extracting # 6 : cost 0 inf + 12799 3.741 * * [simplify]: iteration 0 : 70 enodes (cost 10458 ) 3.761 * * [simplify]: Extracting # 0 : cost 0 inf + 12799 3.763 * * [simplify]: Extracting # 1 : cost 53 inf + 10300 3.766 * * [simplify]: Extracting # 2 : cost 3 inf + 16164 3.770 * * [simplify]: Extracting # 3 : cost 2 inf + 15823 3.773 * * [simplify]: Extracting # 4 : cost 0 inf + 16247 3.776 * * [simplify]: iteration 1 : 213 enodes (cost 7658 ) 3.904 * * [simplify]: Extracting # 0 : cost 0 inf + 16247 3.912 * * [simplify]: Extracting # 1 : cost 636 inf + 14445 3.932 * * [simplify]: Extracting # 2 : cost 5 inf + 99272 3.959 * * [simplify]: Extracting # 3 : cost 3 inf + 99356 3.980 * * [simplify]: Extracting # 4 : cost 0 inf + 100183 4.000 * * [simplify]: iteration 2 : 1544 enodes (cost 7658 ) 4.533 * * [simplify]: Extracting # 0 : cost 0 inf + 100183 4.589 * * [simplify]: Extracting # 1 : cost 2053 inf + 82376 4.663 * * [simplify]: Extracting # 2 : cost 66 inf + 387736 4.750 * * [simplify]: Extracting # 3 : cost 20 inf + 394722 4.844 * * [simplify]: Extracting # 4 : cost 0 inf + 399849 4.908 * * [simplify]: iteration done: 5002 enodes (cost 7578 ) 4.909 * [simplify]: Simplified to: (* (+ x y) (- x y)) (log (* (+ x y) (- x y))) (log (* (+ x y) (- x y))) (exp (* (+ x y) (- x y))) (* (* (* (+ x y) (- x y)) (* (+ x y) (- x y))) (* (+ x y) (- x y))) (* (cbrt (* (+ x y) (- x y))) (cbrt (* (+ x y) (- x y)))) (cbrt (* (+ x y) (- x y))) (* (* (* (+ x y) (- x y)) (* (+ x y) (- x y))) (* (+ x y) (- x y))) (sqrt (* (+ x y) (- x y))) (sqrt (* (+ x y) (- x y))) (* (- (* (* x x) x) (* (* y y) y)) (+ (* (* y y) y) (* (* x x) x))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (+ (* y y) (* x y)))) (* (- (* x x) (* y y)) (+ (* (* y y) y) (* (* x x) x))) (* (+ x y) (+ (* x x) (* y (- y x)))) (* (- (* (* x x) x) (* (* y y) y)) (- (* x x) (* y y))) (* (- x y) (+ (* y (+ x y)) (* x x))) (* (* (+ x y) (- x y)) (* (+ x y) (- x y))) (* (+ x y) (- x y)) (* (sqrt (+ x y)) (sqrt (- x y))) (* (sqrt (+ x y)) (sqrt (- x y))) (* x (+ x y)) (* (- y) (+ x y)) (* x (+ x y)) (* (- y) (+ x y)) (* x (+ x y)) (* (- y) (+ x y)) (* x (+ x y)) (* (- y) (+ x y)) (* (* (cbrt (- x y)) (cbrt (- x y))) (+ x y)) (* (sqrt (- x y)) (+ x y)) (+ x y) (* (+ (sqrt x) (sqrt y)) (+ x y)) (+ x y) (* (cbrt (+ x y)) (- x y)) (* (sqrt (+ x y)) (- x y)) (* (+ x y) (- x y)) (* (+ x y) (- x y)) (* (- (* (* x x) x) (* (* y y) y)) (+ x y)) (* (* (+ x y) (+ x y)) (- x y)) (* (- x y) (+ (* (* y y) y) (* (* x x) x))) (* (+ x y) (* (- x y) (- x y))) (* (+ x y) (- x y)) (* (+ x y) (- x y)) (* (+ x y) (- x y)) 4.911 * * * [progress]: adding candidates to table 5.017 * [progress]: [Phase 3 of 3] Extracting. 5.017 * * [regime]: Finding splitpoints for: (# #) 5.017 * * * [regime-changes]: Trying 5 branch expressions: ((* y y) (* x x) (- (* x x) (* y y)) y x) 5.017 * * * * [regimes]: Trying to branch on (* y y) from (# #) 5.043 * * * * [regimes]: Trying to branch on (* x x) from (# #) 5.071 * * * * [regimes]: Trying to branch on (- (* x x) (* y y)) from (# #) 5.098 * * * * [regimes]: Trying to branch on y from (# #) 5.136 * * * * [regimes]: Trying to branch on x from (# #) 5.173 * * * [regime]: Found split indices: #