20.238 * [progress]: [Phase 1 of 3] Setting up. 0.071 * * * [progress]: [1/2] Preparing points 1.057 * * * [progress]: [2/2] Setting up program. 1.102 * [progress]: [Phase 2 of 3] Improving. 1.166 * [simplify]: Simplifying: (/ (+ x y) 10.0) 1.199 * * [simplify]: Extracting # 0 : cost 0 1.213 * * [simplify]: Extracting # 1 : cost 0 1.224 * * [simplify]: Extracting # 2 : cost 0 1.224 * * [simplify]: Extracting # 3 : cost 0 1.224 * * [simplify]: Extracting # 4 : cost 0 1.224 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 1.345 * * [simplify]: Extracting # 0 : cost 0 1.345 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 1.358 * * [simplify]: Extracting # 0 : cost 0 1.358 * * [simplify]: iteration done: 6 enodes (cost 5 ) 1.365 * [simplify]: Simplified to: (/ (+ x y) 10.0) 1.463 * * [progress]: iteration 1 / 4 1.463 * * * [progress]: picking best candidate 1.477 * * * * [pick]: Picked # 1.480 * * * [progress]: localizing error 1.506 * * * [progress]: generating rewritten candidates 1.507 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 2.776 * * * [progress]: generating series expansions 2.779 * * * * [progress]: [ 1 / 1 ] generating series at (2) 2.847 * [backup-simplify]: Simplify (/ (+ x y) 10.0) into (* 0.1 (+ x y)) 2.847 * [approximate]: Taking taylor expansion of (* 0.1 (+ x y)) in (x y) around 0 2.864 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in y 2.874 * [taylor]: Taking taylor expansion of 0.1 in y 2.874 * [backup-simplify]: Simplify 0.1 into 0.1 2.874 * [taylor]: Taking taylor expansion of (+ x y) in y 2.874 * [taylor]: Taking taylor expansion of x in y 2.874 * [backup-simplify]: Simplify x into x 2.874 * [taylor]: Taking taylor expansion of y in y 2.874 * [backup-simplify]: Simplify 0 into 0 2.874 * [backup-simplify]: Simplify 1 into 1 2.875 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in x 2.875 * [taylor]: Taking taylor expansion of 0.1 in x 2.875 * [backup-simplify]: Simplify 0.1 into 0.1 2.875 * [taylor]: Taking taylor expansion of (+ x y) in x 2.875 * [taylor]: Taking taylor expansion of x in x 2.875 * [backup-simplify]: Simplify 0 into 0 2.875 * [backup-simplify]: Simplify 1 into 1 2.876 * [taylor]: Taking taylor expansion of y in x 2.876 * [backup-simplify]: Simplify y into y 2.876 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in x 2.876 * [taylor]: Taking taylor expansion of 0.1 in x 2.876 * [backup-simplify]: Simplify 0.1 into 0.1 2.876 * [taylor]: Taking taylor expansion of (+ x y) 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.876 * [taylor]: Taking taylor expansion of y in x 2.876 * [backup-simplify]: Simplify y into y 2.888 * [backup-simplify]: Simplify (+ 0 y) into y 2.888 * [backup-simplify]: Simplify (* 0.1 y) into (* 0.1 y) 2.888 * [taylor]: Taking taylor expansion of (* 0.1 y) in y 2.888 * [taylor]: Taking taylor expansion of 0.1 in y 2.888 * [backup-simplify]: Simplify 0.1 into 0.1 2.888 * [taylor]: Taking taylor expansion of y in y 2.888 * [backup-simplify]: Simplify 0 into 0 2.888 * [backup-simplify]: Simplify 1 into 1 2.892 * [backup-simplify]: Simplify (* 0.1 0) into 0 2.892 * [backup-simplify]: Simplify 0 into 0 2.893 * [backup-simplify]: Simplify (+ 1 0) into 1 2.894 * [backup-simplify]: Simplify (+ (* 0.1 1) (* 0 y)) into 0.1 2.894 * [taylor]: Taking taylor expansion of 0.1 in y 2.894 * [backup-simplify]: Simplify 0.1 into 0.1 2.894 * [backup-simplify]: Simplify 0.1 into 0.1 2.907 * [backup-simplify]: Simplify (+ (* 0.1 1) (* 0 0)) into 0.1 2.907 * [backup-simplify]: Simplify 0.1 into 0.1 2.908 * [backup-simplify]: Simplify (+ 0 0) into 0 2.908 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 1) (* 0 y))) into 0 2.908 * [taylor]: Taking taylor expansion of 0 in y 2.909 * [backup-simplify]: Simplify 0 into 0 2.909 * [backup-simplify]: Simplify 0 into 0 2.909 * [backup-simplify]: Simplify 0 into 0 2.918 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 1) (* 0 0))) into 0 2.918 * [backup-simplify]: Simplify 0 into 0 2.918 * [backup-simplify]: Simplify (+ 0 0) into 0 2.926 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 1) (* 0 y)))) into 0 2.926 * [taylor]: Taking taylor expansion of 0 in y 2.926 * [backup-simplify]: Simplify 0 into 0 2.926 * [backup-simplify]: Simplify 0 into 0 2.926 * [backup-simplify]: Simplify 0 into 0 2.926 * [backup-simplify]: Simplify 0 into 0 2.927 * [backup-simplify]: Simplify (+ (* 0.1 (* y 1)) (* 0.1 (* 1 x))) into (+ (* 0.1 x) (* 0.1 y)) 2.928 * [backup-simplify]: Simplify (/ (+ (/ 1 x) (/ 1 y)) 10.0) into (* 0.1 (+ (/ 1 y) (/ 1 x))) 2.928 * [approximate]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in (x y) around 0 2.928 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in y 2.928 * [taylor]: Taking taylor expansion of 0.1 in y 2.928 * [backup-simplify]: Simplify 0.1 into 0.1 2.928 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 2.928 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.928 * [taylor]: Taking taylor expansion of y in y 2.928 * [backup-simplify]: Simplify 0 into 0 2.928 * [backup-simplify]: Simplify 1 into 1 2.929 * [backup-simplify]: Simplify (/ 1 1) into 1 2.929 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.929 * [taylor]: Taking taylor expansion of x in y 2.929 * [backup-simplify]: Simplify x into x 2.929 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.930 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in x 2.930 * [taylor]: Taking taylor expansion of 0.1 in x 2.930 * [backup-simplify]: Simplify 0.1 into 0.1 2.930 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.930 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.930 * [taylor]: Taking taylor expansion of y in x 2.930 * [backup-simplify]: Simplify y into y 2.930 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.930 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.930 * [taylor]: Taking taylor expansion of x in x 2.930 * [backup-simplify]: Simplify 0 into 0 2.930 * [backup-simplify]: Simplify 1 into 1 2.931 * [backup-simplify]: Simplify (/ 1 1) into 1 2.931 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in x 2.931 * [taylor]: Taking taylor expansion of 0.1 in x 2.931 * [backup-simplify]: Simplify 0.1 into 0.1 2.931 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.931 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.931 * [taylor]: Taking taylor expansion of y in x 2.931 * [backup-simplify]: Simplify y into y 2.931 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.931 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.931 * [taylor]: Taking taylor expansion of x in x 2.931 * [backup-simplify]: Simplify 0 into 0 2.931 * [backup-simplify]: Simplify 1 into 1 2.931 * [backup-simplify]: Simplify (/ 1 1) into 1 2.932 * [backup-simplify]: Simplify (+ 0 1) into 1 2.932 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 2.932 * [taylor]: Taking taylor expansion of 0.1 in y 2.932 * [backup-simplify]: Simplify 0.1 into 0.1 2.942 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.942 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 2.943 * [backup-simplify]: Simplify (+ (* 0.1 (/ 1 y)) (* 0 1)) into (* 0.1 (/ 1 y)) 2.943 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in y 2.943 * [taylor]: Taking taylor expansion of 0.1 in y 2.943 * [backup-simplify]: Simplify 0.1 into 0.1 2.943 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.943 * [taylor]: Taking taylor expansion of y in y 2.943 * [backup-simplify]: Simplify 0 into 0 2.943 * [backup-simplify]: Simplify 1 into 1 2.943 * [backup-simplify]: Simplify (/ 1 1) into 1 2.944 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 2.944 * [backup-simplify]: Simplify 0.1 into 0.1 2.944 * [backup-simplify]: Simplify 0.1 into 0.1 2.944 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 2.945 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.945 * [backup-simplify]: Simplify (+ 0 0) into 0 2.946 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0 2.946 * [taylor]: Taking taylor expansion of 0 in y 2.946 * [backup-simplify]: Simplify 0 into 0 2.947 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.948 * [backup-simplify]: Simplify (+ (* 0.1 0) (* 0 1)) into 0 2.948 * [backup-simplify]: Simplify 0 into 0 2.948 * [backup-simplify]: Simplify 0 into 0 2.948 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.949 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.949 * [backup-simplify]: Simplify (+ 0 0) into 0 2.950 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0 2.950 * [taylor]: Taking taylor expansion of 0 in y 2.950 * [backup-simplify]: Simplify 0 into 0 2.951 * [backup-simplify]: Simplify 0 into 0 2.951 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.952 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (* 0 1))) into 0 2.952 * [backup-simplify]: Simplify 0 into 0 2.953 * [backup-simplify]: Simplify 0 into 0 2.974 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.979 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.980 * [backup-simplify]: Simplify (+ 0 0) into 0 2.981 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0 2.981 * [taylor]: Taking taylor expansion of 0 in y 2.990 * [backup-simplify]: Simplify 0 into 0 2.990 * [backup-simplify]: Simplify 0 into 0 2.990 * [backup-simplify]: Simplify (+ (* 0.1 (* 1 (/ 1 (/ 1 x)))) (* 0.1 (* (/ 1 (/ 1 y)) 1))) into (+ (* 0.1 x) (* 0.1 y)) 2.990 * [backup-simplify]: Simplify (/ (+ (/ 1 (- x)) (/ 1 (- y))) 10.0) into (* -0.1 (+ (/ 1 y) (/ 1 x))) 2.990 * [approximate]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in (x y) around 0 2.991 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in y 2.991 * [taylor]: Taking taylor expansion of -0.1 in y 2.991 * [backup-simplify]: Simplify -0.1 into -0.1 2.991 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 2.991 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.991 * [taylor]: Taking taylor expansion of y in y 2.991 * [backup-simplify]: Simplify 0 into 0 2.991 * [backup-simplify]: Simplify 1 into 1 2.991 * [backup-simplify]: Simplify (/ 1 1) into 1 2.991 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.991 * [taylor]: Taking taylor expansion of x in y 2.991 * [backup-simplify]: Simplify x into x 2.991 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.991 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in x 2.991 * [taylor]: Taking taylor expansion of -0.1 in x 2.991 * [backup-simplify]: Simplify -0.1 into -0.1 2.991 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.992 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.992 * [taylor]: Taking taylor expansion of y in x 2.992 * [backup-simplify]: Simplify y into y 2.992 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.992 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.992 * [taylor]: Taking taylor expansion of x in x 2.992 * [backup-simplify]: Simplify 0 into 0 2.992 * [backup-simplify]: Simplify 1 into 1 2.992 * [backup-simplify]: Simplify (/ 1 1) into 1 2.992 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in x 2.992 * [taylor]: Taking taylor expansion of -0.1 in x 2.992 * [backup-simplify]: Simplify -0.1 into -0.1 2.992 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.992 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.992 * [taylor]: Taking taylor expansion of y in x 2.992 * [backup-simplify]: Simplify y into y 2.992 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.992 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.992 * [taylor]: Taking taylor expansion of x in x 2.992 * [backup-simplify]: Simplify 0 into 0 2.993 * [backup-simplify]: Simplify 1 into 1 2.993 * [backup-simplify]: Simplify (/ 1 1) into 1 2.994 * [backup-simplify]: Simplify (+ 0 1) into 1 2.994 * [backup-simplify]: Simplify (* -0.1 1) into -0.1 2.994 * [taylor]: Taking taylor expansion of -0.1 in y 2.994 * [backup-simplify]: Simplify -0.1 into -0.1 2.995 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.995 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 2.996 * [backup-simplify]: Simplify (+ (* -0.1 (/ 1 y)) (* 0 1)) into (- (* 0.1 (/ 1 y))) 2.996 * [taylor]: Taking taylor expansion of (- (* 0.1 (/ 1 y))) in y 2.996 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in y 2.996 * [taylor]: Taking taylor expansion of 0.1 in y 2.996 * [backup-simplify]: Simplify 0.1 into 0.1 2.996 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.996 * [taylor]: Taking taylor expansion of y in y 2.996 * [backup-simplify]: Simplify 0 into 0 2.996 * [backup-simplify]: Simplify 1 into 1 2.996 * [backup-simplify]: Simplify (/ 1 1) into 1 2.997 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 2.997 * [backup-simplify]: Simplify (- 0.1) into (- 0.1) 2.997 * [backup-simplify]: Simplify (- 0.1) into (- 0.1) 2.997 * [backup-simplify]: Simplify -0.1 into -0.1 2.998 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 2.999 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.999 * [backup-simplify]: Simplify (+ 0 0) into 0 3.000 * [backup-simplify]: Simplify (+ (* -0.1 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0 3.000 * [taylor]: Taking taylor expansion of 0 in y 3.000 * [backup-simplify]: Simplify 0 into 0 3.001 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.001 * [backup-simplify]: Simplify (+ (* 0.1 0) (* 0 1)) into 0 3.002 * [backup-simplify]: Simplify (- 0) into 0 3.002 * [backup-simplify]: Simplify 0 into 0 3.002 * [backup-simplify]: Simplify 0 into 0 3.002 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.003 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.003 * [backup-simplify]: Simplify (+ 0 0) into 0 3.005 * [backup-simplify]: Simplify (+ (* -0.1 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0 3.005 * [taylor]: Taking taylor expansion of 0 in y 3.005 * [backup-simplify]: Simplify 0 into 0 3.005 * [backup-simplify]: Simplify 0 into 0 3.006 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.006 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (* 0 1))) into 0 3.007 * [backup-simplify]: Simplify (- 0) into 0 3.007 * [backup-simplify]: Simplify 0 into 0 3.007 * [backup-simplify]: Simplify 0 into 0 3.007 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.008 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.008 * [backup-simplify]: Simplify (+ 0 0) into 0 3.010 * [backup-simplify]: Simplify (+ (* -0.1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0 3.010 * [taylor]: Taking taylor expansion of 0 in y 3.010 * [backup-simplify]: Simplify 0 into 0 3.010 * [backup-simplify]: Simplify 0 into 0 3.013 * [backup-simplify]: Simplify (+ (* -0.1 (* 1 (/ 1 (/ 1 (- x))))) (* (- 0.1) (* (/ 1 (/ 1 (- y))) 1))) into (+ (* 0.1 x) (* 0.1 y)) 3.013 * * * [progress]: simplifying candidates 3.054 * [simplify]: Simplifying: (- (log (+ x y)) (log 10.0)) (log (/ (+ x y) 10.0)) (exp (/ (+ x y) 10.0)) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* 10.0 10.0) 10.0)) (* (cbrt (/ (+ x y) 10.0)) (cbrt (/ (+ x y) 10.0))) (cbrt (/ (+ x y) 10.0)) (* (* (/ (+ x y) 10.0) (/ (+ x y) 10.0)) (/ (+ x y) 10.0)) (sqrt (/ (+ x y) 10.0)) (sqrt (/ (+ x y) 10.0)) (- (+ x y)) (- 10.0) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (cbrt (+ x y)) (cbrt 10.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 10.0)) (/ (cbrt (+ x y)) (sqrt 10.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) 10.0) (/ (sqrt (+ x y)) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (cbrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) 10.0) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (cbrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (/ 1 1) (/ (+ x y) 10.0) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (cbrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (/ 1 1) (/ (+ x y) 10.0) (/ 1 10.0) (/ 10.0 (+ x y)) (/ (+ x y) (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (sqrt 10.0)) (/ (+ x y) 1) (/ 10.0 (cbrt (+ x y))) (/ 10.0 (sqrt (+ x y))) (/ 10.0 (+ x y)) (/ 10.0 (+ x y)) (* 10.0 (+ (* x x) (- (* y y) (* x y)))) (* 10.0 (- x y)) (+ (* 0.1 x) (* 0.1 y)) (+ (* 0.1 x) (* 0.1 y)) (+ (* 0.1 x) (* 0.1 y)) 3.055 * * [simplify]: Extracting # 0 : cost 0 3.055 * * [simplify]: Extracting # 1 : cost 0 3.056 * * [simplify]: Extracting # 2 : cost 0 3.056 * * [simplify]: Extracting # 3 : cost 0 3.056 * * [simplify]: Extracting # 4 : cost 0 3.056 * * [simplify]: Extracting # 5 : cost 0 3.056 * * [simplify]: Extracting # 6 : cost 0 3.056 * * [simplify]: Extracting # 7 : cost 0 3.057 * * [simplify]: iteration 0 : 63 enodes (cost 342 ) 3.145 * * [simplify]: Extracting # 0 : cost 0 3.146 * * [simplify]: Extracting # 1 : cost 0 3.146 * * [simplify]: Extracting # 2 : cost 0 3.146 * * [simplify]: Extracting # 3 : cost 0 3.146 * * [simplify]: Extracting # 4 : cost 0 3.147 * * [simplify]: iteration 1 : 137 enodes (cost 323 ) 4.167 * * [simplify]: Extracting # 0 : cost 0 4.170 * * [simplify]: Extracting # 1 : cost 0 4.171 * * [simplify]: Extracting # 2 : cost 0 4.172 * * [simplify]: Extracting # 3 : cost 0 4.173 * * [simplify]: iteration 2 : 467 enodes (cost 303 ) 6.279 * * [simplify]: Extracting # 0 : cost 0 6.304 * * [simplify]: Extracting # 1 : cost 0 6.311 * * [simplify]: Extracting # 2 : cost 0 6.316 * * [simplify]: Extracting # 3 : cost 0 6.595 * * [simplify]: Extracting # 4 : cost 0 6.616 * * [simplify]: iteration 3 : 2695 enodes (cost 303 ) 14.662 * * [simplify]: Extracting # 0 : cost 0 14.813 * * [simplify]: Extracting # 1 : cost 0 14.886 * * [simplify]: Extracting # 2 : cost 0 14.919 * * [simplify]: Extracting # 3 : cost 0 14.938 * * [simplify]: Extracting # 4 : cost 0 14.965 * * [simplify]: Extracting # 5 : cost 0 14.977 * * [simplify]: iteration done: 5000 enodes (cost 303 ) 14.998 * [simplify]: Simplified to: (log (/ (+ x y) 10.0)) (log (/ (+ x y) 10.0)) (exp (/ (+ x y) 10.0)) (pow (/ (+ x y) 10.0) 3) (* (cbrt (/ (+ x y) 10.0)) (cbrt (/ (+ x y) 10.0))) (cbrt (/ (+ x y) 10.0)) (pow (/ (+ x y) 10.0) 3) (sqrt (/ (+ x y) 10.0)) (sqrt (/ (+ x y) 10.0)) (- (+ x y)) (- 10.0) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0))) (/ (cbrt (+ x y)) (cbrt 10.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 10.0)) (/ (cbrt (+ x y)) (sqrt 10.0)) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) 10.0) (/ (sqrt (+ x y)) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (cbrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (/ (sqrt (+ x y)) (sqrt 10.0)) (sqrt (+ x y)) (/ (sqrt (+ x y)) 10.0) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (cbrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) 1 (/ (+ x y) 10.0) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (cbrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) 1 (/ (+ x y) 10.0) (/ 1 10.0) (/ 10.0 (+ x y)) (/ (+ x y) (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (sqrt 10.0)) (+ x y) (/ 10.0 (cbrt (+ x y))) (/ 10.0 (sqrt (+ x y))) (/ 10.0 (+ x y)) (/ 10.0 (+ x y)) (* (+ (* y (- y x)) (* x x)) 10.0) (* 10.0 (- x y)) (* 0.1 (+ x y)) (* 0.1 (+ x y)) (* 0.1 (+ x y)) 14.998 * * * [progress]: adding candidates to table 15.143 * * [progress]: iteration 2 / 4 15.143 * * * [progress]: picking best candidate 15.147 * * * * [pick]: Picked # 15.147 * * * [progress]: localizing error 15.159 * * * [progress]: generating rewritten candidates 15.159 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 15.196 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 15.281 * * * [progress]: generating series expansions 15.281 * * * * [progress]: [ 1 / 2 ] generating series at (2) 15.281 * [backup-simplify]: Simplify (/ 1 (/ 10.0 (+ x y))) into (* 0.1 (+ x y)) 15.281 * [approximate]: Taking taylor expansion of (* 0.1 (+ x y)) in (x y) around 0 15.281 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in y 15.281 * [taylor]: Taking taylor expansion of 0.1 in y 15.281 * [backup-simplify]: Simplify 0.1 into 0.1 15.282 * [taylor]: Taking taylor expansion of (+ x y) in y 15.282 * [taylor]: Taking taylor expansion of x in y 15.282 * [backup-simplify]: Simplify x into x 15.282 * [taylor]: Taking taylor expansion of y in y 15.282 * [backup-simplify]: Simplify 0 into 0 15.282 * [backup-simplify]: Simplify 1 into 1 15.282 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in x 15.282 * [taylor]: Taking taylor expansion of 0.1 in x 15.282 * [backup-simplify]: Simplify 0.1 into 0.1 15.282 * [taylor]: Taking taylor expansion of (+ x y) in x 15.282 * [taylor]: Taking taylor expansion of x in x 15.282 * [backup-simplify]: Simplify 0 into 0 15.282 * [backup-simplify]: Simplify 1 into 1 15.282 * [taylor]: Taking taylor expansion of y in x 15.282 * [backup-simplify]: Simplify y into y 15.282 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in x 15.282 * [taylor]: Taking taylor expansion of 0.1 in x 15.282 * [backup-simplify]: Simplify 0.1 into 0.1 15.282 * [taylor]: Taking taylor expansion of (+ x y) in x 15.282 * [taylor]: Taking taylor expansion of x in x 15.282 * [backup-simplify]: Simplify 0 into 0 15.282 * [backup-simplify]: Simplify 1 into 1 15.282 * [taylor]: Taking taylor expansion of y in x 15.282 * [backup-simplify]: Simplify y into y 15.282 * [backup-simplify]: Simplify (+ 0 y) into y 15.282 * [backup-simplify]: Simplify (* 0.1 y) into (* 0.1 y) 15.282 * [taylor]: Taking taylor expansion of (* 0.1 y) in y 15.282 * [taylor]: Taking taylor expansion of 0.1 in y 15.282 * [backup-simplify]: Simplify 0.1 into 0.1 15.282 * [taylor]: Taking taylor expansion of y in y 15.282 * [backup-simplify]: Simplify 0 into 0 15.282 * [backup-simplify]: Simplify 1 into 1 15.283 * [backup-simplify]: Simplify (* 0.1 0) into 0 15.283 * [backup-simplify]: Simplify 0 into 0 15.284 * [backup-simplify]: Simplify (+ 1 0) into 1 15.284 * [backup-simplify]: Simplify (+ (* 0.1 1) (* 0 y)) into 0.1 15.284 * [taylor]: Taking taylor expansion of 0.1 in y 15.284 * [backup-simplify]: Simplify 0.1 into 0.1 15.284 * [backup-simplify]: Simplify 0.1 into 0.1 15.286 * [backup-simplify]: Simplify (+ (* 0.1 1) (* 0 0)) into 0.1 15.286 * [backup-simplify]: Simplify 0.1 into 0.1 15.286 * [backup-simplify]: Simplify (+ 0 0) into 0 15.287 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 1) (* 0 y))) into 0 15.287 * [taylor]: Taking taylor expansion of 0 in y 15.287 * [backup-simplify]: Simplify 0 into 0 15.287 * [backup-simplify]: Simplify 0 into 0 15.287 * [backup-simplify]: Simplify 0 into 0 15.288 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 1) (* 0 0))) into 0 15.288 * [backup-simplify]: Simplify 0 into 0 15.289 * [backup-simplify]: Simplify (+ 0 0) into 0 15.290 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 1) (* 0 y)))) into 0 15.290 * [taylor]: Taking taylor expansion of 0 in y 15.290 * [backup-simplify]: Simplify 0 into 0 15.290 * [backup-simplify]: Simplify 0 into 0 15.290 * [backup-simplify]: Simplify 0 into 0 15.291 * [backup-simplify]: Simplify 0 into 0 15.291 * [backup-simplify]: Simplify (+ (* 0.1 (* y 1)) (* 0.1 (* 1 x))) into (+ (* 0.1 x) (* 0.1 y)) 15.291 * [backup-simplify]: Simplify (/ 1 (/ 10.0 (+ (/ 1 x) (/ 1 y)))) into (* 0.1 (+ (/ 1 y) (/ 1 x))) 15.291 * [approximate]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in (x y) around 0 15.291 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in y 15.291 * [taylor]: Taking taylor expansion of 0.1 in y 15.291 * [backup-simplify]: Simplify 0.1 into 0.1 15.291 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 15.291 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.291 * [taylor]: Taking taylor expansion of y in y 15.291 * [backup-simplify]: Simplify 0 into 0 15.291 * [backup-simplify]: Simplify 1 into 1 15.292 * [backup-simplify]: Simplify (/ 1 1) into 1 15.292 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.292 * [taylor]: Taking taylor expansion of x in y 15.292 * [backup-simplify]: Simplify x into x 15.292 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 15.292 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in x 15.292 * [taylor]: Taking taylor expansion of 0.1 in x 15.292 * [backup-simplify]: Simplify 0.1 into 0.1 15.292 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 15.292 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.292 * [taylor]: Taking taylor expansion of y in x 15.292 * [backup-simplify]: Simplify y into y 15.292 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.292 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.292 * [taylor]: Taking taylor expansion of x in x 15.292 * [backup-simplify]: Simplify 0 into 0 15.292 * [backup-simplify]: Simplify 1 into 1 15.293 * [backup-simplify]: Simplify (/ 1 1) into 1 15.293 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in x 15.293 * [taylor]: Taking taylor expansion of 0.1 in x 15.293 * [backup-simplify]: Simplify 0.1 into 0.1 15.293 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 15.293 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.293 * [taylor]: Taking taylor expansion of y in x 15.293 * [backup-simplify]: Simplify y into y 15.293 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.293 * [taylor]: Taking taylor expansion of x in x 15.293 * [backup-simplify]: Simplify 0 into 0 15.293 * [backup-simplify]: Simplify 1 into 1 15.298 * [backup-simplify]: Simplify (/ 1 1) into 1 15.298 * [backup-simplify]: Simplify (+ 0 1) into 1 15.299 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 15.299 * [taylor]: Taking taylor expansion of 0.1 in y 15.299 * [backup-simplify]: Simplify 0.1 into 0.1 15.299 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.300 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 15.300 * [backup-simplify]: Simplify (+ (* 0.1 (/ 1 y)) (* 0 1)) into (* 0.1 (/ 1 y)) 15.300 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in y 15.300 * [taylor]: Taking taylor expansion of 0.1 in y 15.300 * [backup-simplify]: Simplify 0.1 into 0.1 15.300 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.300 * [taylor]: Taking taylor expansion of y in y 15.300 * [backup-simplify]: Simplify 0 into 0 15.300 * [backup-simplify]: Simplify 1 into 1 15.301 * [backup-simplify]: Simplify (/ 1 1) into 1 15.301 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 15.309 * [backup-simplify]: Simplify 0.1 into 0.1 15.309 * [backup-simplify]: Simplify 0.1 into 0.1 15.310 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 15.311 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.311 * [backup-simplify]: Simplify (+ 0 0) into 0 15.312 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0 15.312 * [taylor]: Taking taylor expansion of 0 in y 15.312 * [backup-simplify]: Simplify 0 into 0 15.313 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.316 * [backup-simplify]: Simplify (+ (* 0.1 0) (* 0 1)) into 0 15.316 * [backup-simplify]: Simplify 0 into 0 15.316 * [backup-simplify]: Simplify 0 into 0 15.316 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.317 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.317 * [backup-simplify]: Simplify (+ 0 0) into 0 15.319 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0 15.319 * [taylor]: Taking taylor expansion of 0 in y 15.319 * [backup-simplify]: Simplify 0 into 0 15.319 * [backup-simplify]: Simplify 0 into 0 15.320 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.321 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (* 0 1))) into 0 15.321 * [backup-simplify]: Simplify 0 into 0 15.321 * [backup-simplify]: Simplify 0 into 0 15.321 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.330 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.331 * [backup-simplify]: Simplify (+ 0 0) into 0 15.332 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0 15.333 * [taylor]: Taking taylor expansion of 0 in y 15.333 * [backup-simplify]: Simplify 0 into 0 15.333 * [backup-simplify]: Simplify 0 into 0 15.333 * [backup-simplify]: Simplify (+ (* 0.1 (* 1 (/ 1 (/ 1 x)))) (* 0.1 (* (/ 1 (/ 1 y)) 1))) into (+ (* 0.1 x) (* 0.1 y)) 15.333 * [backup-simplify]: Simplify (/ 1 (/ 10.0 (+ (/ 1 (- x)) (/ 1 (- y))))) into (* -0.1 (+ (/ 1 y) (/ 1 x))) 15.333 * [approximate]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in (x y) around 0 15.340 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in y 15.340 * [taylor]: Taking taylor expansion of -0.1 in y 15.340 * [backup-simplify]: Simplify -0.1 into -0.1 15.340 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 15.340 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.340 * [taylor]: Taking taylor expansion of y in y 15.340 * [backup-simplify]: Simplify 0 into 0 15.340 * [backup-simplify]: Simplify 1 into 1 15.341 * [backup-simplify]: Simplify (/ 1 1) into 1 15.341 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.341 * [taylor]: Taking taylor expansion of x in y 15.341 * [backup-simplify]: Simplify x into x 15.341 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 15.341 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in x 15.341 * [taylor]: Taking taylor expansion of -0.1 in x 15.341 * [backup-simplify]: Simplify -0.1 into -0.1 15.341 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 15.341 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.341 * [taylor]: Taking taylor expansion of y in x 15.341 * [backup-simplify]: Simplify y into y 15.341 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.341 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.341 * [taylor]: Taking taylor expansion of x in x 15.342 * [backup-simplify]: Simplify 0 into 0 15.342 * [backup-simplify]: Simplify 1 into 1 15.342 * [backup-simplify]: Simplify (/ 1 1) into 1 15.342 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in x 15.342 * [taylor]: Taking taylor expansion of -0.1 in x 15.342 * [backup-simplify]: Simplify -0.1 into -0.1 15.342 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 15.342 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.342 * [taylor]: Taking taylor expansion of y in x 15.342 * [backup-simplify]: Simplify y into y 15.342 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.342 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.342 * [taylor]: Taking taylor expansion of x in x 15.342 * [backup-simplify]: Simplify 0 into 0 15.342 * [backup-simplify]: Simplify 1 into 1 15.343 * [backup-simplify]: Simplify (/ 1 1) into 1 15.343 * [backup-simplify]: Simplify (+ 0 1) into 1 15.344 * [backup-simplify]: Simplify (* -0.1 1) into -0.1 15.344 * [taylor]: Taking taylor expansion of -0.1 in y 15.344 * [backup-simplify]: Simplify -0.1 into -0.1 15.344 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.345 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 15.345 * [backup-simplify]: Simplify (+ (* -0.1 (/ 1 y)) (* 0 1)) into (- (* 0.1 (/ 1 y))) 15.345 * [taylor]: Taking taylor expansion of (- (* 0.1 (/ 1 y))) in y 15.345 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in y 15.345 * [taylor]: Taking taylor expansion of 0.1 in y 15.345 * [backup-simplify]: Simplify 0.1 into 0.1 15.347 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.347 * [taylor]: Taking taylor expansion of y in y 15.347 * [backup-simplify]: Simplify 0 into 0 15.347 * [backup-simplify]: Simplify 1 into 1 15.347 * [backup-simplify]: Simplify (/ 1 1) into 1 15.348 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 15.348 * [backup-simplify]: Simplify (- 0.1) into (- 0.1) 15.349 * [backup-simplify]: Simplify (- 0.1) into (- 0.1) 15.349 * [backup-simplify]: Simplify -0.1 into -0.1 15.349 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 15.350 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.350 * [backup-simplify]: Simplify (+ 0 0) into 0 15.351 * [backup-simplify]: Simplify (+ (* -0.1 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0 15.351 * [taylor]: Taking taylor expansion of 0 in y 15.351 * [backup-simplify]: Simplify 0 into 0 15.352 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.352 * [backup-simplify]: Simplify (+ (* 0.1 0) (* 0 1)) into 0 15.353 * [backup-simplify]: Simplify (- 0) into 0 15.353 * [backup-simplify]: Simplify 0 into 0 15.353 * [backup-simplify]: Simplify 0 into 0 15.353 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.362 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.363 * [backup-simplify]: Simplify (+ 0 0) into 0 15.364 * [backup-simplify]: Simplify (+ (* -0.1 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0 15.364 * [taylor]: Taking taylor expansion of 0 in y 15.364 * [backup-simplify]: Simplify 0 into 0 15.364 * [backup-simplify]: Simplify 0 into 0 15.365 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.366 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (* 0 1))) into 0 15.366 * [backup-simplify]: Simplify (- 0) into 0 15.366 * [backup-simplify]: Simplify 0 into 0 15.367 * [backup-simplify]: Simplify 0 into 0 15.367 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.372 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.373 * [backup-simplify]: Simplify (+ 0 0) into 0 15.374 * [backup-simplify]: Simplify (+ (* -0.1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0 15.374 * [taylor]: Taking taylor expansion of 0 in y 15.374 * [backup-simplify]: Simplify 0 into 0 15.374 * [backup-simplify]: Simplify 0 into 0 15.375 * [backup-simplify]: Simplify (+ (* -0.1 (* 1 (/ 1 (/ 1 (- x))))) (* (- 0.1) (* (/ 1 (/ 1 (- y))) 1))) into (+ (* 0.1 x) (* 0.1 y)) 15.375 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 15.375 * [backup-simplify]: Simplify (/ 10.0 (+ x y)) into (/ 10.0 (+ x y)) 15.375 * [approximate]: Taking taylor expansion of (/ 10.0 (+ x y)) in (x y) around 0 15.375 * [taylor]: Taking taylor expansion of (/ 10.0 (+ x y)) in y 15.375 * [taylor]: Taking taylor expansion of 10.0 in y 15.376 * [backup-simplify]: Simplify 10.0 into 10.0 15.376 * [taylor]: Taking taylor expansion of (+ x y) in y 15.376 * [taylor]: Taking taylor expansion of x in y 15.376 * [backup-simplify]: Simplify x into x 15.376 * [taylor]: Taking taylor expansion of y in y 15.376 * [backup-simplify]: Simplify 0 into 0 15.376 * [backup-simplify]: Simplify 1 into 1 15.376 * [backup-simplify]: Simplify (+ x 0) into x 15.376 * [backup-simplify]: Simplify (/ 10.0 x) into (/ 10.0 x) 15.376 * [taylor]: Taking taylor expansion of (/ 10.0 (+ x y)) in x 15.376 * [taylor]: Taking taylor expansion of 10.0 in x 15.376 * [backup-simplify]: Simplify 10.0 into 10.0 15.376 * [taylor]: Taking taylor expansion of (+ x y) in x 15.376 * [taylor]: Taking taylor expansion of x in x 15.376 * [backup-simplify]: Simplify 0 into 0 15.376 * [backup-simplify]: Simplify 1 into 1 15.376 * [taylor]: Taking taylor expansion of y in x 15.376 * [backup-simplify]: Simplify y into y 15.376 * [backup-simplify]: Simplify (+ 0 y) into y 15.376 * [backup-simplify]: Simplify (/ 10.0 y) into (/ 10.0 y) 15.376 * [taylor]: Taking taylor expansion of (/ 10.0 (+ x y)) in x 15.376 * [taylor]: Taking taylor expansion of 10.0 in x 15.376 * [backup-simplify]: Simplify 10.0 into 10.0 15.376 * [taylor]: Taking taylor expansion of (+ x y) in x 15.376 * [taylor]: Taking taylor expansion of x in x 15.377 * [backup-simplify]: Simplify 0 into 0 15.377 * [backup-simplify]: Simplify 1 into 1 15.377 * [taylor]: Taking taylor expansion of y in x 15.377 * [backup-simplify]: Simplify y into y 15.377 * [backup-simplify]: Simplify (+ 0 y) into y 15.377 * [backup-simplify]: Simplify (/ 10.0 y) into (/ 10.0 y) 15.377 * [taylor]: Taking taylor expansion of (/ 10.0 y) in y 15.377 * [taylor]: Taking taylor expansion of 10.0 in y 15.377 * [backup-simplify]: Simplify 10.0 into 10.0 15.377 * [taylor]: Taking taylor expansion of y in y 15.377 * [backup-simplify]: Simplify 0 into 0 15.377 * [backup-simplify]: Simplify 1 into 1 15.383 * [backup-simplify]: Simplify (/ 10.0 1) into 10.0 15.384 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 10.0 (/ 0 1)))) into 0 15.384 * [backup-simplify]: Simplify 0 into 0 15.384 * [backup-simplify]: Simplify (+ 1 0) into 1 15.385 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 10.0 y) (/ 1 y)))) into (- (* 10.0 (/ 1 (pow y 2)))) 15.385 * [taylor]: Taking taylor expansion of (- (* 10.0 (/ 1 (pow y 2)))) in y 15.385 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 (pow y 2))) in y 15.385 * [taylor]: Taking taylor expansion of 10.0 in y 15.385 * [backup-simplify]: Simplify 10.0 into 10.0 15.385 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 15.385 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.385 * [taylor]: Taking taylor expansion of y in y 15.385 * [backup-simplify]: Simplify 0 into 0 15.385 * [backup-simplify]: Simplify 1 into 1 15.386 * [backup-simplify]: Simplify (* 1 1) into 1 15.386 * [backup-simplify]: Simplify (/ 1 1) into 1 15.387 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.388 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.389 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.390 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.391 * [backup-simplify]: Simplify (+ (* 10.0 0) (+ (* 0 0) (* 0 1))) into 0 15.391 * [backup-simplify]: Simplify (- 0) into 0 15.391 * [backup-simplify]: Simplify 0 into 0 15.392 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 10.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.392 * [backup-simplify]: Simplify 0 into 0 15.392 * [backup-simplify]: Simplify (+ 0 0) into 0 15.393 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 10.0 y) (/ 0 y)) (* (- (* 10.0 (/ 1 (pow y 2)))) (/ 1 y)))) into (* 10.0 (/ 1 (pow y 3))) 15.393 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 (pow y 3))) in y 15.394 * [taylor]: Taking taylor expansion of 10.0 in y 15.394 * [backup-simplify]: Simplify 10.0 into 10.0 15.394 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 15.394 * [taylor]: Taking taylor expansion of (pow y 3) in y 15.394 * [taylor]: Taking taylor expansion of y in y 15.394 * [backup-simplify]: Simplify 0 into 0 15.394 * [backup-simplify]: Simplify 1 into 1 15.394 * [backup-simplify]: Simplify (* 1 1) into 1 15.395 * [backup-simplify]: Simplify (* 1 1) into 1 15.395 * [backup-simplify]: Simplify (/ 1 1) into 1 15.396 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.397 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.399 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.400 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.400 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.401 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.404 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.405 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.406 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.407 * [backup-simplify]: Simplify (+ (* 10.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.407 * [backup-simplify]: Simplify 0 into 0 15.408 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.409 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.411 * [backup-simplify]: Simplify (+ (* 10.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.412 * [backup-simplify]: Simplify (- 0) into 0 15.412 * [backup-simplify]: Simplify 0 into 0 15.413 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 10.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.413 * [backup-simplify]: Simplify 0 into 0 15.413 * [backup-simplify]: Simplify 0 into 0 15.413 * [backup-simplify]: Simplify (/ 10.0 (+ (/ 1 x) (/ 1 y))) into (/ 10.0 (+ (/ 1 y) (/ 1 x))) 15.413 * [approximate]: Taking taylor expansion of (/ 10.0 (+ (/ 1 y) (/ 1 x))) in (x y) around 0 15.413 * [taylor]: Taking taylor expansion of (/ 10.0 (+ (/ 1 y) (/ 1 x))) in y 15.413 * [taylor]: Taking taylor expansion of 10.0 in y 15.413 * [backup-simplify]: Simplify 10.0 into 10.0 15.413 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 15.413 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.413 * [taylor]: Taking taylor expansion of y in y 15.413 * [backup-simplify]: Simplify 0 into 0 15.413 * [backup-simplify]: Simplify 1 into 1 15.414 * [backup-simplify]: Simplify (/ 1 1) into 1 15.414 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.414 * [taylor]: Taking taylor expansion of x in y 15.414 * [backup-simplify]: Simplify x into x 15.414 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 15.414 * [backup-simplify]: Simplify (+ 1 0) into 1 15.415 * [backup-simplify]: Simplify (/ 10.0 1) into 10.0 15.415 * [taylor]: Taking taylor expansion of (/ 10.0 (+ (/ 1 y) (/ 1 x))) in x 15.415 * [taylor]: Taking taylor expansion of 10.0 in x 15.415 * [backup-simplify]: Simplify 10.0 into 10.0 15.415 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 15.415 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.415 * [taylor]: Taking taylor expansion of y in x 15.415 * [backup-simplify]: Simplify y into y 15.415 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.415 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.415 * [taylor]: Taking taylor expansion of x in x 15.415 * [backup-simplify]: Simplify 0 into 0 15.415 * [backup-simplify]: Simplify 1 into 1 15.416 * [backup-simplify]: Simplify (/ 1 1) into 1 15.416 * [backup-simplify]: Simplify (+ 0 1) into 1 15.416 * [backup-simplify]: Simplify (/ 10.0 1) into 10.0 15.417 * [taylor]: Taking taylor expansion of (/ 10.0 (+ (/ 1 y) (/ 1 x))) in x 15.417 * [taylor]: Taking taylor expansion of 10.0 in x 15.417 * [backup-simplify]: Simplify 10.0 into 10.0 15.417 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 15.417 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.417 * [taylor]: Taking taylor expansion of y in x 15.417 * [backup-simplify]: Simplify y into y 15.417 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.417 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.417 * [taylor]: Taking taylor expansion of x in x 15.417 * [backup-simplify]: Simplify 0 into 0 15.417 * [backup-simplify]: Simplify 1 into 1 15.418 * [backup-simplify]: Simplify (/ 1 1) into 1 15.419 * [backup-simplify]: Simplify (+ 0 1) into 1 15.419 * [backup-simplify]: Simplify (/ 10.0 1) into 10.0 15.420 * [taylor]: Taking taylor expansion of 10.0 in y 15.420 * [backup-simplify]: Simplify 10.0 into 10.0 15.420 * [backup-simplify]: Simplify 0 into 0 15.420 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.420 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 15.421 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 10.0 (/ (/ 1 y) 1)))) into (- (* 10.0 (/ 1 y))) 15.421 * [taylor]: Taking taylor expansion of (- (* 10.0 (/ 1 y))) in y 15.421 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 y)) in y 15.421 * [taylor]: Taking taylor expansion of 10.0 in y 15.421 * [backup-simplify]: Simplify 10.0 into 10.0 15.421 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.421 * [taylor]: Taking taylor expansion of y in y 15.421 * [backup-simplify]: Simplify 0 into 0 15.421 * [backup-simplify]: Simplify 1 into 1 15.422 * [backup-simplify]: Simplify (/ 1 1) into 1 15.422 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.423 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.424 * [backup-simplify]: Simplify (+ (* 10.0 0) (+ (* 0 0) (* 0 1))) into 0 15.425 * [backup-simplify]: Simplify (- 0) into 0 15.425 * [backup-simplify]: Simplify 0 into 0 15.425 * [backup-simplify]: Simplify 0 into 0 15.425 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 15.432 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.433 * [backup-simplify]: Simplify (+ 0 0) into 0 15.434 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 10.0 (/ 0 1)) (* (- (* 10.0 (/ 1 y))) (/ (/ 1 y) 1)))) into (* 10.0 (/ 1 (pow y 2))) 15.434 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 (pow y 2))) in y 15.434 * [taylor]: Taking taylor expansion of 10.0 in y 15.434 * [backup-simplify]: Simplify 10.0 into 10.0 15.434 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 15.434 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.434 * [taylor]: Taking taylor expansion of y in y 15.434 * [backup-simplify]: Simplify 0 into 0 15.434 * [backup-simplify]: Simplify 1 into 1 15.435 * [backup-simplify]: Simplify (* 1 1) into 1 15.435 * [backup-simplify]: Simplify (/ 1 1) into 1 15.436 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.437 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.441 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.442 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.443 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.444 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.445 * [backup-simplify]: Simplify (+ (* 10.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.445 * [backup-simplify]: Simplify 0 into 0 15.447 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.448 * [backup-simplify]: Simplify (+ (* 10.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.449 * [backup-simplify]: Simplify (- 0) into 0 15.449 * [backup-simplify]: Simplify 0 into 0 15.449 * [backup-simplify]: Simplify 0 into 0 15.449 * [backup-simplify]: Simplify 0 into 0 15.449 * [backup-simplify]: Simplify (/ 10.0 (+ (/ 1 (- x)) (/ 1 (- y)))) into (/ -10.0 (+ (/ 1 y) (/ 1 x))) 15.449 * [approximate]: Taking taylor expansion of (/ -10.0 (+ (/ 1 y) (/ 1 x))) in (x y) around 0 15.449 * [taylor]: Taking taylor expansion of (/ -10.0 (+ (/ 1 y) (/ 1 x))) in y 15.449 * [taylor]: Taking taylor expansion of -10.0 in y 15.451 * [backup-simplify]: Simplify -10.0 into -10.0 15.451 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 15.451 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.451 * [taylor]: Taking taylor expansion of y in y 15.451 * [backup-simplify]: Simplify 0 into 0 15.451 * [backup-simplify]: Simplify 1 into 1 15.452 * [backup-simplify]: Simplify (/ 1 1) into 1 15.452 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.452 * [taylor]: Taking taylor expansion of x in y 15.452 * [backup-simplify]: Simplify x into x 15.452 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 15.452 * [backup-simplify]: Simplify (+ 1 0) into 1 15.453 * [backup-simplify]: Simplify (/ -10.0 1) into -10.0 15.453 * [taylor]: Taking taylor expansion of (/ -10.0 (+ (/ 1 y) (/ 1 x))) in x 15.453 * [taylor]: Taking taylor expansion of -10.0 in x 15.453 * [backup-simplify]: Simplify -10.0 into -10.0 15.453 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 15.453 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.453 * [taylor]: Taking taylor expansion of y in x 15.453 * [backup-simplify]: Simplify y into y 15.453 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.453 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.453 * [taylor]: Taking taylor expansion of x in x 15.453 * [backup-simplify]: Simplify 0 into 0 15.453 * [backup-simplify]: Simplify 1 into 1 15.454 * [backup-simplify]: Simplify (/ 1 1) into 1 15.454 * [backup-simplify]: Simplify (+ 0 1) into 1 15.454 * [backup-simplify]: Simplify (/ -10.0 1) into -10.0 15.454 * [taylor]: Taking taylor expansion of (/ -10.0 (+ (/ 1 y) (/ 1 x))) in x 15.455 * [taylor]: Taking taylor expansion of -10.0 in x 15.455 * [backup-simplify]: Simplify -10.0 into -10.0 15.455 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 15.455 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.455 * [taylor]: Taking taylor expansion of y in x 15.455 * [backup-simplify]: Simplify y into y 15.455 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.455 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.455 * [taylor]: Taking taylor expansion of x in x 15.455 * [backup-simplify]: Simplify 0 into 0 15.455 * [backup-simplify]: Simplify 1 into 1 15.455 * [backup-simplify]: Simplify (/ 1 1) into 1 15.456 * [backup-simplify]: Simplify (+ 0 1) into 1 15.456 * [backup-simplify]: Simplify (/ -10.0 1) into -10.0 15.456 * [taylor]: Taking taylor expansion of -10.0 in y 15.456 * [backup-simplify]: Simplify -10.0 into -10.0 15.456 * [backup-simplify]: Simplify 0 into 0 15.457 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.457 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 15.463 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -10.0 (/ (/ 1 y) 1)))) into (* 10.0 (/ 1 y)) 15.463 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 y)) in y 15.463 * [taylor]: Taking taylor expansion of 10.0 in y 15.464 * [backup-simplify]: Simplify 10.0 into 10.0 15.464 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.464 * [taylor]: Taking taylor expansion of y in y 15.464 * [backup-simplify]: Simplify 0 into 0 15.464 * [backup-simplify]: Simplify 1 into 1 15.464 * [backup-simplify]: Simplify (/ 1 1) into 1 15.465 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.466 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.466 * [backup-simplify]: Simplify (+ (* 10.0 0) (+ (* 0 0) (* 0 1))) into 0 15.467 * [backup-simplify]: Simplify 0 into 0 15.467 * [backup-simplify]: Simplify 0 into 0 15.467 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 15.468 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.468 * [backup-simplify]: Simplify (+ 0 0) into 0 15.470 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -10.0 (/ 0 1)) (* (* 10.0 (/ 1 y)) (/ (/ 1 y) 1)))) into (- (* 10.0 (/ 1 (pow y 2)))) 15.470 * [taylor]: Taking taylor expansion of (- (* 10.0 (/ 1 (pow y 2)))) in y 15.470 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 (pow y 2))) in y 15.470 * [taylor]: Taking taylor expansion of 10.0 in y 15.470 * [backup-simplify]: Simplify 10.0 into 10.0 15.470 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 15.470 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.470 * [taylor]: Taking taylor expansion of y in y 15.470 * [backup-simplify]: Simplify 0 into 0 15.470 * [backup-simplify]: Simplify 1 into 1 15.470 * [backup-simplify]: Simplify (* 1 1) into 1 15.471 * [backup-simplify]: Simplify (/ 1 1) into 1 15.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.473 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.473 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.474 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.475 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.476 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.482 * [backup-simplify]: Simplify (+ (* 10.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.483 * [backup-simplify]: Simplify (- 0) into 0 15.483 * [backup-simplify]: Simplify 0 into 0 15.484 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.497 * [backup-simplify]: Simplify (+ (* 10.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.497 * [backup-simplify]: Simplify 0 into 0 15.497 * [backup-simplify]: Simplify 0 into 0 15.497 * [backup-simplify]: Simplify 0 into 0 15.497 * * * [progress]: simplifying candidates 15.506 * [simplify]: Simplifying: (- 1) (- (- (log 10.0) (log (+ x y)))) (- (log (/ 10.0 (+ x y)))) (- 0 (- (log 10.0) (log (+ x y)))) (- 0 (log (/ 10.0 (+ x y)))) (- (log 1) (- (log 10.0) (log (+ x y)))) (- (log 1) (log (/ 10.0 (+ x y)))) (log (/ 1 (/ 10.0 (+ x y)))) (exp (/ 1 (/ 10.0 (+ x y)))) (/ (* (* 1 1) 1) (/ (* (* 10.0 10.0) 10.0) (* (* (+ x y) (+ x y)) (+ x y)))) (/ (* (* 1 1) 1) (* (* (/ 10.0 (+ x y)) (/ 10.0 (+ x y))) (/ 10.0 (+ x y)))) (* (cbrt (/ 1 (/ 10.0 (+ x y)))) (cbrt (/ 1 (/ 10.0 (+ x y))))) (cbrt (/ 1 (/ 10.0 (+ x y)))) (* (* (/ 1 (/ 10.0 (+ x y))) (/ 1 (/ 10.0 (+ x y)))) (/ 1 (/ 10.0 (+ x y)))) (sqrt (/ 1 (/ 10.0 (+ x y)))) (sqrt (/ 1 (/ 10.0 (+ x y)))) (- 1) (- (/ 10.0 (+ x y))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ 10.0 (+ x y))) (cbrt (/ 10.0 (+ x y))))) (/ (cbrt 1) (cbrt (/ 10.0 (+ x y)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ 10.0 (+ x y)))) (/ (cbrt 1) (sqrt (/ 10.0 (+ x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ (cbrt 1) (/ (cbrt 10.0) (cbrt (+ x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (+ x y)))) (/ (cbrt 1) (/ (cbrt 10.0) (sqrt (+ x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt 10.0) (cbrt 10.0)) 1)) (/ (cbrt 1) (/ (cbrt 10.0) (+ x y))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt 10.0) (cbrt 10.0)) 1)) (/ (cbrt 1) (/ (cbrt 10.0) (+ x y))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt 10.0) (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ (cbrt 1) (/ (sqrt 10.0) (cbrt (+ x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt 10.0) (sqrt (+ x y)))) (/ (cbrt 1) (/ (sqrt 10.0) (sqrt (+ x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt 10.0) 1)) (/ (cbrt 1) (/ (sqrt 10.0) (+ x y))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt 10.0) 1)) (/ (cbrt 1) (/ (sqrt 10.0) (+ x y))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ (cbrt 1) (/ 10.0 (cbrt (+ x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (+ x y)))) (/ (cbrt 1) (/ 10.0 (sqrt (+ x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ 10.0 (+ x y))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ 10.0 (+ x y))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ 10.0 (+ x y))) (/ (* (cbrt 1) (cbrt 1)) 10.0) (/ (cbrt 1) (/ 1 (+ x y))) (/ (* (cbrt 1) (cbrt 1)) (/ 10.0 (+ (pow x 3) (pow y 3)))) (/ (cbrt 1) (+ (* x x) (- (* y y) (* x y)))) (/ (* (cbrt 1) (cbrt 1)) (/ 10.0 (- (* x x) (* y y)))) (/ (cbrt 1) (- x y)) (/ (sqrt 1) (* (cbrt (/ 10.0 (+ x y))) (cbrt (/ 10.0 (+ x y))))) (/ (sqrt 1) (cbrt (/ 10.0 (+ x y)))) (/ (sqrt 1) (sqrt (/ 10.0 (+ x y)))) (/ (sqrt 1) (sqrt (/ 10.0 (+ x y)))) (/ (sqrt 1) (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ (sqrt 1) (/ (cbrt 10.0) (cbrt (+ x y)))) (/ (sqrt 1) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (+ x y)))) (/ (sqrt 1) (/ (cbrt 10.0) (sqrt (+ x y)))) (/ (sqrt 1) (/ (* (cbrt 10.0) (cbrt 10.0)) 1)) (/ (sqrt 1) (/ (cbrt 10.0) (+ x y))) (/ (sqrt 1) (/ (* (cbrt 10.0) (cbrt 10.0)) 1)) (/ (sqrt 1) (/ (cbrt 10.0) (+ x y))) (/ (sqrt 1) (/ (sqrt 10.0) (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ (sqrt 1) (/ (sqrt 10.0) (cbrt (+ x y)))) (/ (sqrt 1) (/ (sqrt 10.0) (sqrt (+ x y)))) (/ (sqrt 1) (/ (sqrt 10.0) (sqrt (+ x y)))) (/ (sqrt 1) (/ (sqrt 10.0) 1)) (/ (sqrt 1) (/ (sqrt 10.0) (+ x y))) (/ (sqrt 1) (/ (sqrt 10.0) 1)) (/ (sqrt 1) (/ (sqrt 10.0) (+ x y))) (/ (sqrt 1) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ (sqrt 1) (/ 10.0 (cbrt (+ x y)))) (/ (sqrt 1) (/ 1 (sqrt (+ x y)))) (/ (sqrt 1) (/ 10.0 (sqrt (+ x y)))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ 10.0 (+ x y))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ 10.0 (+ x y))) (/ (sqrt 1) 1) (/ (sqrt 1) (/ 10.0 (+ x y))) (/ (sqrt 1) 10.0) (/ (sqrt 1) (/ 1 (+ x y))) (/ (sqrt 1) (/ 10.0 (+ (pow x 3) (pow y 3)))) (/ (sqrt 1) (+ (* x x) (- (* y y) (* x y)))) (/ (sqrt 1) (/ 10.0 (- (* x x) (* y y)))) (/ (sqrt 1) (- x y)) (/ 1 (* (cbrt (/ 10.0 (+ x y))) (cbrt (/ 10.0 (+ x y))))) (/ 1 (cbrt (/ 10.0 (+ x y)))) (/ 1 (sqrt (/ 10.0 (+ x y)))) (/ 1 (sqrt (/ 10.0 (+ x y)))) (/ 1 (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ 1 (/ (cbrt 10.0) (cbrt (+ x y)))) (/ 1 (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (+ x y)))) (/ 1 (/ (cbrt 10.0) (sqrt (+ x y)))) (/ 1 (/ (* (cbrt 10.0) (cbrt 10.0)) 1)) (/ 1 (/ (cbrt 10.0) (+ x y))) (/ 1 (/ (* (cbrt 10.0) (cbrt 10.0)) 1)) (/ 1 (/ (cbrt 10.0) (+ x y))) (/ 1 (/ (sqrt 10.0) (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ 1 (/ (sqrt 10.0) (cbrt (+ x y)))) (/ 1 (/ (sqrt 10.0) (sqrt (+ x y)))) (/ 1 (/ (sqrt 10.0) (sqrt (+ x y)))) (/ 1 (/ (sqrt 10.0) 1)) (/ 1 (/ (sqrt 10.0) (+ x y))) (/ 1 (/ (sqrt 10.0) 1)) (/ 1 (/ (sqrt 10.0) (+ x y))) (/ 1 (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ 1 (/ 10.0 (cbrt (+ x y)))) (/ 1 (/ 1 (sqrt (+ x y)))) (/ 1 (/ 10.0 (sqrt (+ x y)))) (/ 1 (/ 1 1)) (/ 1 (/ 10.0 (+ x y))) (/ 1 (/ 1 1)) (/ 1 (/ 10.0 (+ x y))) (/ 1 1) (/ 1 (/ 10.0 (+ x y))) (/ 1 10.0) (/ 1 (/ 1 (+ x y))) (/ 1 (/ 10.0 (+ (pow x 3) (pow y 3)))) (/ 1 (+ (* x x) (- (* y y) (* x y)))) (/ 1 (/ 10.0 (- (* x x) (* y y)))) (/ 1 (- x y)) (/ 1 (/ 10.0 (+ x y))) (/ (/ 10.0 (+ x y)) 1) (/ 1 (* (cbrt (/ 10.0 (+ x y))) (cbrt (/ 10.0 (+ x y))))) (/ 1 (sqrt (/ 10.0 (+ x y)))) (/ 1 (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ 1 (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (+ x y)))) (/ 1 (/ (* (cbrt 10.0) (cbrt 10.0)) 1)) (/ 1 (/ (* (cbrt 10.0) (cbrt 10.0)) 1)) (/ 1 (/ (sqrt 10.0) (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ 1 (/ (sqrt 10.0) (sqrt (+ x y)))) (/ 1 (/ (sqrt 10.0) 1)) (/ 1 (/ (sqrt 10.0) 1)) (/ 1 (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ 1 (/ 1 (sqrt (+ x y)))) (/ 1 (/ 1 1)) (/ 1 (/ 1 1)) (/ 1 1) (/ 1 10.0) (/ 1 (/ 10.0 (+ (pow x 3) (pow y 3)))) (/ 1 (/ 10.0 (- (* x x) (* y y)))) (/ (/ 10.0 (+ x y)) (cbrt 1)) (/ (/ 10.0 (+ x y)) (sqrt 1)) (/ (/ 10.0 (+ x y)) 1) (/ 1 10.0) (- (log 10.0) (log (+ x y))) (log (/ 10.0 (+ x y))) (exp (/ 10.0 (+ x y))) (/ (* (* 10.0 10.0) 10.0) (* (* (+ x y) (+ x y)) (+ x y))) (* (cbrt (/ 10.0 (+ x y))) (cbrt (/ 10.0 (+ x y)))) (cbrt (/ 10.0 (+ x y))) (* (* (/ 10.0 (+ x y)) (/ 10.0 (+ x y))) (/ 10.0 (+ x y))) (sqrt (/ 10.0 (+ x y))) (sqrt (/ 10.0 (+ x y))) (- 10.0) (- (+ x y)) (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (cbrt 10.0) (cbrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) (sqrt (+ x y))) (/ (cbrt 10.0) (sqrt (+ x y))) (/ (* (cbrt 10.0) (cbrt 10.0)) 1) (/ (cbrt 10.0) (+ x y)) (/ (* (cbrt 10.0) (cbrt 10.0)) 1) (/ (cbrt 10.0) (+ x y)) (/ (sqrt 10.0) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (sqrt 10.0) (cbrt (+ x y))) (/ (sqrt 10.0) (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (+ x y))) (/ (sqrt 10.0) 1) (/ (sqrt 10.0) (+ x y)) (/ (sqrt 10.0) 1) (/ (sqrt 10.0) (+ x y)) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ 10.0 (cbrt (+ x y))) (/ 1 (sqrt (+ x y))) (/ 10.0 (sqrt (+ x y))) (/ 1 1) (/ 10.0 (+ x y)) (/ 1 1) (/ 10.0 (+ x y)) (/ 1 (+ x y)) (/ (+ x y) 10.0) (/ 10.0 (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ 10.0 (sqrt (+ x y))) (/ 10.0 1) (/ 10.0 1) (/ (+ x y) (cbrt 10.0)) (/ (+ x y) (sqrt 10.0)) (/ (+ x y) 10.0) (/ 10.0 (+ (pow x 3) (pow y 3))) (/ 10.0 (- (* x x) (* y y))) (+ (* 0.1 x) (* 0.1 y)) (+ (* 0.1 x) (* 0.1 y)) (+ (* 0.1 x) (* 0.1 y)) 0 0 0 15.516 * * [simplify]: Extracting # 0 : cost 0 15.516 * * [simplify]: Extracting # 1 : cost 0 15.517 * * [simplify]: Extracting # 2 : cost 0 15.526 * * [simplify]: Extracting # 3 : cost 0 15.526 * * [simplify]: Extracting # 4 : cost 0 15.527 * * [simplify]: Extracting # 5 : cost 0 15.527 * * [simplify]: Extracting # 6 : cost 0 15.527 * * [simplify]: Extracting # 7 : cost 0 15.528 * * [simplify]: iteration 0 : 177 enodes (cost 1792 ) 15.779 * * [simplify]: Extracting # 0 : cost 0 15.802 * * [simplify]: Extracting # 1 : cost 0 15.803 * * [simplify]: Extracting # 2 : cost 0 15.804 * * [simplify]: Extracting # 3 : cost 0 15.805 * * [simplify]: Extracting # 4 : cost 0 15.807 * * [simplify]: iteration 1 : 447 enodes (cost 1491 ) 16.963 * * [simplify]: Extracting # 0 : cost 0 16.972 * * [simplify]: Extracting # 1 : cost 0 16.984 * * [simplify]: Extracting # 2 : cost 0 16.988 * * [simplify]: Extracting # 3 : cost 0 16.994 * * [simplify]: iteration 2 : 2509 enodes (cost 1393 ) 19.820 * * [simplify]: Extracting # 0 : cost 0 19.872 * * [simplify]: Extracting # 1 : cost 0 19.885 * * [simplify]: Extracting # 2 : cost 0 19.897 * * [simplify]: Extracting # 3 : cost 0 19.927 * * [simplify]: iteration done: 5002 enodes (cost 1391 ) 19.963 * [simplify]: Simplified to: -1 (- (log (/ 10.0 (+ y x)))) (- (log (/ 10.0 (+ y x)))) (- (log (/ 10.0 (+ y x)))) (- (log (/ 10.0 (+ y x)))) (- (log (/ 10.0 (+ y x)))) (- (log (/ 10.0 (+ y x)))) (- (log (/ 10.0 (+ y x)))) (exp (/ 1 (/ 10.0 (+ x y)))) (/ (pow (+ x y) 3) (pow 10.0 3)) (/ (pow (+ x y) 3) (pow 10.0 3)) (* (cbrt (/ 1 (/ 10.0 (+ x y)))) (cbrt (/ 1 (/ 10.0 (+ x y))))) (cbrt (/ 1 (/ 10.0 (+ x y)))) (/ (pow (+ x y) 3) (pow 10.0 3)) (sqrt (/ 1 (/ 10.0 (+ x y)))) (sqrt (/ 1 (/ 10.0 (+ x y)))) -1 (- (/ 10.0 (+ x y))) (/ (/ 1 (cbrt (/ 10.0 (+ x y)))) (cbrt (/ 10.0 (+ x y)))) (/ 1 (cbrt (/ 10.0 (+ x y)))) (/ 1 (sqrt (/ 10.0 (+ x y)))) (/ 1 (sqrt (/ 10.0 (+ x y)))) (/ 1 (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ 1 (/ (cbrt 10.0) (cbrt (+ x y)))) (/ (sqrt (+ x y)) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (cbrt 10.0)) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (cbrt 10.0)) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (cbrt 10.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 10.0)) (* (/ 1 (sqrt 10.0)) (cbrt (+ x y))) (/ 1 (/ (sqrt 10.0) (sqrt (+ x y)))) (/ 1 (/ (sqrt 10.0) (sqrt (+ x y)))) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ 1 (/ 10.0 (cbrt (+ x y)))) (sqrt (+ x y)) (/ 1 (/ 10.0 (sqrt (+ x y)))) 1 (* (/ 1 10.0) (+ x y)) 1 (* (/ 1 10.0) (+ x y)) 1 (* (/ 1 10.0) (+ x y)) (/ 1 10.0) (+ x y) (/ 1 (/ 10.0 (+ (pow x 3) (pow y 3)))) (/ 1 (+ (* y (- y x)) (* x x))) (/ 1 (/ 10.0 (- (* x x) (* y y)))) (/ 1 (- x y)) (/ (/ 1 (cbrt (/ 10.0 (+ x y)))) (cbrt (/ 10.0 (+ x y)))) (/ 1 (cbrt (/ 10.0 (+ x y)))) (/ 1 (sqrt (/ 10.0 (+ x y)))) (/ 1 (sqrt (/ 10.0 (+ x y)))) (/ 1 (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ 1 (/ (cbrt 10.0) (cbrt (+ x y)))) (/ (sqrt (+ x y)) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (cbrt 10.0)) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (cbrt 10.0)) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (cbrt 10.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 10.0)) (* (/ 1 (sqrt 10.0)) (cbrt (+ x y))) (/ 1 (/ (sqrt 10.0) (sqrt (+ x y)))) (/ 1 (/ (sqrt 10.0) (sqrt (+ x y)))) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ 1 (/ 10.0 (cbrt (+ x y)))) (sqrt (+ x y)) (/ 1 (/ 10.0 (sqrt (+ x y)))) 1 (* (/ 1 10.0) (+ x y)) 1 (* (/ 1 10.0) (+ x y)) 1 (* (/ 1 10.0) (+ x y)) (/ 1 10.0) (+ x y) (/ 1 (/ 10.0 (+ (pow x 3) (pow y 3)))) (/ 1 (+ (* y (- y x)) (* x x))) (/ 1 (/ 10.0 (- (* x x) (* y y)))) (/ 1 (- x y)) (/ (/ 1 (cbrt (/ 10.0 (+ x y)))) (cbrt (/ 10.0 (+ x y)))) (/ 1 (cbrt (/ 10.0 (+ x y)))) (/ 1 (sqrt (/ 10.0 (+ x y)))) (/ 1 (sqrt (/ 10.0 (+ x y)))) (/ 1 (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ 1 (/ (cbrt 10.0) (cbrt (+ x y)))) (/ (sqrt (+ x y)) (* (cbrt 10.0) (cbrt 10.0))) (/ (sqrt (+ x y)) (cbrt 10.0)) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (cbrt 10.0)) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (+ x y) (cbrt 10.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 10.0)) (* (/ 1 (sqrt 10.0)) (cbrt (+ x y))) (/ 1 (/ (sqrt 10.0) (sqrt (+ x y)))) (/ 1 (/ (sqrt 10.0) (sqrt (+ x y)))) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (/ 1 (sqrt 10.0)) (/ (+ x y) (sqrt 10.0)) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ 1 (/ 10.0 (cbrt (+ x y)))) (sqrt (+ x y)) (/ 1 (/ 10.0 (sqrt (+ x y)))) 1 (* (/ 1 10.0) (+ x y)) 1 (* (/ 1 10.0) (+ x y)) 1 (* (/ 1 10.0) (+ x y)) (/ 1 10.0) (+ x y) (/ 1 (/ 10.0 (+ (pow x 3) (pow y 3)))) (/ 1 (+ (* y (- y x)) (* x x))) (/ 1 (/ 10.0 (- (* x x) (* y y)))) (/ 1 (- x y)) (* (/ 1 10.0) (+ x y)) (/ 10.0 (+ x y)) (/ (/ 1 (cbrt (/ 10.0 (+ x y)))) (cbrt (/ 10.0 (+ x y)))) (/ 1 (sqrt (/ 10.0 (+ x y)))) (/ 1 (/ (* (cbrt 10.0) (cbrt 10.0)) (* (cbrt (+ x y)) (cbrt (+ x y))))) (/ (sqrt (+ x y)) (* (cbrt 10.0) (cbrt 10.0))) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ 1 (* (cbrt 10.0) (cbrt 10.0))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt 10.0)) (/ 1 (/ (sqrt 10.0) (sqrt (+ x y)))) (/ 1 (sqrt 10.0)) (/ 1 (sqrt 10.0)) (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (+ x y)) 1 1 1 (/ 1 10.0) (/ 1 (/ 10.0 (+ (pow x 3) (pow y 3)))) (/ 1 (/ 10.0 (- (* x x) (* y y)))) (/ 10.0 (+ x y)) (/ 10.0 (+ x y)) (/ 10.0 (+ x y)) (/ 1 10.0) (log (/ 10.0 (+ x y))) (log (/ 10.0 (+ x y))) (exp (/ 10.0 (+ x y))) (pow (/ 10.0 (+ x y)) 3) (* (cbrt (/ 10.0 (+ x y))) (cbrt (/ 10.0 (+ x y)))) (cbrt (/ 10.0 (+ x y))) (pow (/ 10.0 (+ x y)) 3) (sqrt (/ 10.0 (+ x y))) (sqrt (/ 10.0 (+ x y))) (- 10.0) (- (+ x y)) (/ (/ (* (cbrt 10.0) (cbrt 10.0)) (cbrt (+ x y))) (cbrt (+ x y))) (/ (cbrt 10.0) (cbrt (+ x y))) (* (/ (cbrt 10.0) (sqrt (+ x y))) (cbrt 10.0)) (/ (cbrt 10.0) (sqrt (+ x y))) (* (cbrt 10.0) (cbrt 10.0)) (/ (cbrt 10.0) (+ x y)) (* (cbrt 10.0) (cbrt 10.0)) (/ (cbrt 10.0) (+ x y)) (/ (/ (sqrt 10.0) (cbrt (+ x y))) (cbrt (+ x y))) (/ (sqrt 10.0) (cbrt (+ x y))) (/ (sqrt 10.0) (sqrt (+ x y))) (/ (sqrt 10.0) (sqrt (+ x y))) (sqrt 10.0) (/ (sqrt 10.0) (+ x y)) (sqrt 10.0) (/ (sqrt 10.0) (+ x y)) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ 10.0 (cbrt (+ x y))) (/ 1 (sqrt (+ x y))) (/ 10.0 (sqrt (+ x y))) 1 (/ 10.0 (+ x y)) 1 (/ 10.0 (+ x y)) (/ 1 (+ x y)) (/ (+ x y) 10.0) (/ 10.0 (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ 10.0 (sqrt (+ x y))) 10.0 10.0 (/ (+ x y) (cbrt 10.0)) (/ (+ x y) (sqrt 10.0)) (/ (+ x y) 10.0) (/ 10.0 (+ (pow x 3) (pow y 3))) (/ 10.0 (- (* x x) (* y y))) (* 0.1 (+ x y)) (* 0.1 (+ x y)) (* 0.1 (+ x y)) 0 0 0 19.965 * * * [progress]: adding candidates to table 20.955 * * [progress]: iteration 3 / 4 20.955 * * * [progress]: picking best candidate 20.957 * * * * [pick]: Picked # 20.958 * * * [progress]: localizing error 21.031 * * * [progress]: generating rewritten candidates 21.032 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 21.104 * * * [progress]: generating series expansions 21.104 * * * * [progress]: [ 1 / 1 ] generating series at (2) 21.108 * [backup-simplify]: Simplify (* 0.1 (+ x y)) into (* 0.1 (+ x y)) 21.108 * [approximate]: Taking taylor expansion of (* 0.1 (+ x y)) in (x y) around 0 21.108 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in y 21.109 * [taylor]: Taking taylor expansion of 0.1 in y 21.109 * [backup-simplify]: Simplify 0.1 into 0.1 21.109 * [taylor]: Taking taylor expansion of (+ x y) in y 21.109 * [taylor]: Taking taylor expansion of x in y 21.109 * [backup-simplify]: Simplify x into x 21.109 * [taylor]: Taking taylor expansion of y in y 21.109 * [backup-simplify]: Simplify 0 into 0 21.109 * [backup-simplify]: Simplify 1 into 1 21.109 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in x 21.109 * [taylor]: Taking taylor expansion of 0.1 in x 21.109 * [backup-simplify]: Simplify 0.1 into 0.1 21.109 * [taylor]: Taking taylor expansion of (+ x y) in x 21.109 * [taylor]: Taking taylor expansion of x in x 21.109 * [backup-simplify]: Simplify 0 into 0 21.109 * [backup-simplify]: Simplify 1 into 1 21.109 * [taylor]: Taking taylor expansion of y in x 21.109 * [backup-simplify]: Simplify y into y 21.109 * [taylor]: Taking taylor expansion of (* 0.1 (+ x y)) in x 21.109 * [taylor]: Taking taylor expansion of 0.1 in x 21.109 * [backup-simplify]: Simplify 0.1 into 0.1 21.109 * [taylor]: Taking taylor expansion of (+ x y) in x 21.109 * [taylor]: Taking taylor expansion of x in x 21.109 * [backup-simplify]: Simplify 0 into 0 21.109 * [backup-simplify]: Simplify 1 into 1 21.109 * [taylor]: Taking taylor expansion of y in x 21.109 * [backup-simplify]: Simplify y into y 21.109 * [backup-simplify]: Simplify (+ 0 y) into y 21.110 * [backup-simplify]: Simplify (* 0.1 y) into (* 0.1 y) 21.110 * [taylor]: Taking taylor expansion of (* 0.1 y) in y 21.110 * [taylor]: Taking taylor expansion of 0.1 in y 21.110 * [backup-simplify]: Simplify 0.1 into 0.1 21.110 * [taylor]: Taking taylor expansion of y in y 21.110 * [backup-simplify]: Simplify 0 into 0 21.110 * [backup-simplify]: Simplify 1 into 1 21.122 * [backup-simplify]: Simplify (* 0.1 0) into 0 21.122 * [backup-simplify]: Simplify 0 into 0 21.122 * [backup-simplify]: Simplify (+ 1 0) into 1 21.123 * [backup-simplify]: Simplify (+ (* 0.1 1) (* 0 y)) into 0.1 21.123 * [taylor]: Taking taylor expansion of 0.1 in y 21.123 * [backup-simplify]: Simplify 0.1 into 0.1 21.123 * [backup-simplify]: Simplify 0.1 into 0.1 21.124 * [backup-simplify]: Simplify (+ (* 0.1 1) (* 0 0)) into 0.1 21.124 * [backup-simplify]: Simplify 0.1 into 0.1 21.124 * [backup-simplify]: Simplify (+ 0 0) into 0 21.125 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 1) (* 0 y))) into 0 21.125 * [taylor]: Taking taylor expansion of 0 in y 21.125 * [backup-simplify]: Simplify 0 into 0 21.125 * [backup-simplify]: Simplify 0 into 0 21.125 * [backup-simplify]: Simplify 0 into 0 21.126 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 1) (* 0 0))) into 0 21.126 * [backup-simplify]: Simplify 0 into 0 21.126 * [backup-simplify]: Simplify (+ 0 0) into 0 21.127 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 1) (* 0 y)))) into 0 21.127 * [taylor]: Taking taylor expansion of 0 in y 21.127 * [backup-simplify]: Simplify 0 into 0 21.127 * [backup-simplify]: Simplify 0 into 0 21.127 * [backup-simplify]: Simplify 0 into 0 21.127 * [backup-simplify]: Simplify 0 into 0 21.127 * [backup-simplify]: Simplify (+ (* 0.1 (* y 1)) (* 0.1 (* 1 x))) into (+ (* 0.1 x) (* 0.1 y)) 21.127 * [backup-simplify]: Simplify (* 0.1 (+ (/ 1 x) (/ 1 y))) into (* 0.1 (+ (/ 1 y) (/ 1 x))) 21.127 * [approximate]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in (x y) around 0 21.127 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in y 21.127 * [taylor]: Taking taylor expansion of 0.1 in y 21.127 * [backup-simplify]: Simplify 0.1 into 0.1 21.127 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 21.127 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.127 * [taylor]: Taking taylor expansion of y in y 21.127 * [backup-simplify]: Simplify 0 into 0 21.127 * [backup-simplify]: Simplify 1 into 1 21.128 * [backup-simplify]: Simplify (/ 1 1) into 1 21.128 * [taylor]: Taking taylor expansion of (/ 1 x) in y 21.128 * [taylor]: Taking taylor expansion of x in y 21.128 * [backup-simplify]: Simplify x into x 21.128 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 21.128 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in x 21.128 * [taylor]: Taking taylor expansion of 0.1 in x 21.128 * [backup-simplify]: Simplify 0.1 into 0.1 21.128 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 21.128 * [taylor]: Taking taylor expansion of (/ 1 y) in x 21.128 * [taylor]: Taking taylor expansion of y in x 21.128 * [backup-simplify]: Simplify y into y 21.128 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 21.128 * [taylor]: Taking taylor expansion of (/ 1 x) in x 21.128 * [taylor]: Taking taylor expansion of x in x 21.128 * [backup-simplify]: Simplify 0 into 0 21.128 * [backup-simplify]: Simplify 1 into 1 21.128 * [backup-simplify]: Simplify (/ 1 1) into 1 21.128 * [taylor]: Taking taylor expansion of (* 0.1 (+ (/ 1 y) (/ 1 x))) in x 21.128 * [taylor]: Taking taylor expansion of 0.1 in x 21.128 * [backup-simplify]: Simplify 0.1 into 0.1 21.128 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 21.128 * [taylor]: Taking taylor expansion of (/ 1 y) in x 21.128 * [taylor]: Taking taylor expansion of y in x 21.128 * [backup-simplify]: Simplify y into y 21.128 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 21.128 * [taylor]: Taking taylor expansion of (/ 1 x) in x 21.128 * [taylor]: Taking taylor expansion of x in x 21.128 * [backup-simplify]: Simplify 0 into 0 21.128 * [backup-simplify]: Simplify 1 into 1 21.129 * [backup-simplify]: Simplify (/ 1 1) into 1 21.129 * [backup-simplify]: Simplify (+ 0 1) into 1 21.130 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 21.130 * [taylor]: Taking taylor expansion of 0.1 in y 21.130 * [backup-simplify]: Simplify 0.1 into 0.1 21.130 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 21.130 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 21.131 * [backup-simplify]: Simplify (+ (* 0.1 (/ 1 y)) (* 0 1)) into (* 0.1 (/ 1 y)) 21.131 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in y 21.131 * [taylor]: Taking taylor expansion of 0.1 in y 21.131 * [backup-simplify]: Simplify 0.1 into 0.1 21.131 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.131 * [taylor]: Taking taylor expansion of y in y 21.131 * [backup-simplify]: Simplify 0 into 0 21.131 * [backup-simplify]: Simplify 1 into 1 21.131 * [backup-simplify]: Simplify (/ 1 1) into 1 21.131 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 21.131 * [backup-simplify]: Simplify 0.1 into 0.1 21.131 * [backup-simplify]: Simplify 0.1 into 0.1 21.132 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 21.132 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.133 * [backup-simplify]: Simplify (+ 0 0) into 0 21.134 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0 21.134 * [taylor]: Taking taylor expansion of 0 in y 21.134 * [backup-simplify]: Simplify 0 into 0 21.135 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 21.135 * [backup-simplify]: Simplify (+ (* 0.1 0) (* 0 1)) into 0 21.135 * [backup-simplify]: Simplify 0 into 0 21.135 * [backup-simplify]: Simplify 0 into 0 21.135 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 21.136 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.136 * [backup-simplify]: Simplify (+ 0 0) into 0 21.137 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0 21.137 * [taylor]: Taking taylor expansion of 0 in y 21.137 * [backup-simplify]: Simplify 0 into 0 21.138 * [backup-simplify]: Simplify 0 into 0 21.138 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.139 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (* 0 1))) into 0 21.139 * [backup-simplify]: Simplify 0 into 0 21.139 * [backup-simplify]: Simplify 0 into 0 21.140 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 21.140 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.141 * [backup-simplify]: Simplify (+ 0 0) into 0 21.146 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0 21.146 * [taylor]: Taking taylor expansion of 0 in y 21.146 * [backup-simplify]: Simplify 0 into 0 21.146 * [backup-simplify]: Simplify 0 into 0 21.147 * [backup-simplify]: Simplify (+ (* 0.1 (* 1 (/ 1 (/ 1 x)))) (* 0.1 (* (/ 1 (/ 1 y)) 1))) into (+ (* 0.1 x) (* 0.1 y)) 21.147 * [backup-simplify]: Simplify (* 0.1 (+ (/ 1 (- x)) (/ 1 (- y)))) into (* -0.1 (+ (/ 1 y) (/ 1 x))) 21.147 * [approximate]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in (x y) around 0 21.147 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in y 21.147 * [taylor]: Taking taylor expansion of -0.1 in y 21.147 * [backup-simplify]: Simplify -0.1 into -0.1 21.147 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 21.147 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.147 * [taylor]: Taking taylor expansion of y in y 21.147 * [backup-simplify]: Simplify 0 into 0 21.147 * [backup-simplify]: Simplify 1 into 1 21.147 * [backup-simplify]: Simplify (/ 1 1) into 1 21.147 * [taylor]: Taking taylor expansion of (/ 1 x) in y 21.147 * [taylor]: Taking taylor expansion of x in y 21.148 * [backup-simplify]: Simplify x into x 21.148 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 21.148 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in x 21.148 * [taylor]: Taking taylor expansion of -0.1 in x 21.148 * [backup-simplify]: Simplify -0.1 into -0.1 21.148 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 21.148 * [taylor]: Taking taylor expansion of (/ 1 y) in x 21.148 * [taylor]: Taking taylor expansion of y in x 21.148 * [backup-simplify]: Simplify y into y 21.148 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 21.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x 21.148 * [taylor]: Taking taylor expansion of x in x 21.148 * [backup-simplify]: Simplify 0 into 0 21.148 * [backup-simplify]: Simplify 1 into 1 21.238 * [backup-simplify]: Simplify (/ 1 1) into 1 21.238 * [taylor]: Taking taylor expansion of (* -0.1 (+ (/ 1 y) (/ 1 x))) in x 21.238 * [taylor]: Taking taylor expansion of -0.1 in x 21.238 * [backup-simplify]: Simplify -0.1 into -0.1 21.238 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 21.238 * [taylor]: Taking taylor expansion of (/ 1 y) in x 21.238 * [taylor]: Taking taylor expansion of y in x 21.238 * [backup-simplify]: Simplify y into y 21.238 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 21.239 * [taylor]: Taking taylor expansion of (/ 1 x) in x 21.239 * [taylor]: Taking taylor expansion of x in x 21.239 * [backup-simplify]: Simplify 0 into 0 21.239 * [backup-simplify]: Simplify 1 into 1 21.240 * [backup-simplify]: Simplify (/ 1 1) into 1 21.240 * [backup-simplify]: Simplify (+ 0 1) into 1 21.241 * [backup-simplify]: Simplify (* -0.1 1) into -0.1 21.241 * [taylor]: Taking taylor expansion of -0.1 in y 21.241 * [backup-simplify]: Simplify -0.1 into -0.1 21.241 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 21.242 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 21.242 * [backup-simplify]: Simplify (+ (* -0.1 (/ 1 y)) (* 0 1)) into (- (* 0.1 (/ 1 y))) 21.242 * [taylor]: Taking taylor expansion of (- (* 0.1 (/ 1 y))) in y 21.242 * [taylor]: Taking taylor expansion of (* 0.1 (/ 1 y)) in y 21.242 * [taylor]: Taking taylor expansion of 0.1 in y 21.242 * [backup-simplify]: Simplify 0.1 into 0.1 21.242 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.242 * [taylor]: Taking taylor expansion of y in y 21.242 * [backup-simplify]: Simplify 0 into 0 21.242 * [backup-simplify]: Simplify 1 into 1 21.243 * [backup-simplify]: Simplify (/ 1 1) into 1 21.243 * [backup-simplify]: Simplify (* 0.1 1) into 0.1 21.244 * [backup-simplify]: Simplify (- 0.1) into (- 0.1) 21.244 * [backup-simplify]: Simplify (- 0.1) into (- 0.1) 21.244 * [backup-simplify]: Simplify -0.1 into -0.1 21.244 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 21.245 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.246 * [backup-simplify]: Simplify (+ 0 0) into 0 21.246 * [backup-simplify]: Simplify (+ (* -0.1 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0 21.247 * [taylor]: Taking taylor expansion of 0 in y 21.247 * [backup-simplify]: Simplify 0 into 0 21.247 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 21.248 * [backup-simplify]: Simplify (+ (* 0.1 0) (* 0 1)) into 0 21.248 * [backup-simplify]: Simplify (- 0) into 0 21.248 * [backup-simplify]: Simplify 0 into 0 21.249 * [backup-simplify]: Simplify 0 into 0 21.249 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 21.250 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.250 * [backup-simplify]: Simplify (+ 0 0) into 0 21.252 * [backup-simplify]: Simplify (+ (* -0.1 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0 21.252 * [taylor]: Taking taylor expansion of 0 in y 21.252 * [backup-simplify]: Simplify 0 into 0 21.252 * [backup-simplify]: Simplify 0 into 0 21.253 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.254 * [backup-simplify]: Simplify (+ (* 0.1 0) (+ (* 0 0) (* 0 1))) into 0 21.254 * [backup-simplify]: Simplify (- 0) into 0 21.254 * [backup-simplify]: Simplify 0 into 0 21.254 * [backup-simplify]: Simplify 0 into 0 21.254 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 21.255 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.256 * [backup-simplify]: Simplify (+ 0 0) into 0 21.257 * [backup-simplify]: Simplify (+ (* -0.1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0 21.257 * [taylor]: Taking taylor expansion of 0 in y 21.257 * [backup-simplify]: Simplify 0 into 0 21.257 * [backup-simplify]: Simplify 0 into 0 21.258 * [backup-simplify]: Simplify (+ (* -0.1 (* 1 (/ 1 (/ 1 (- x))))) (* (- 0.1) (* (/ 1 (/ 1 (- y))) 1))) into (+ (* 0.1 x) (* 0.1 y)) 21.258 * * * [progress]: simplifying candidates 21.259 * [simplify]: Simplifying: (* 0.1 (+ x y)) (+ (log 0.1) (log (+ x y))) (log (* 0.1 (+ x y))) (exp (* 0.1 (+ x y))) (* (* (* 0.1 0.1) 0.1) (* (* (+ x y) (+ x y)) (+ x y))) (* (cbrt (* 0.1 (+ x y))) (cbrt (* 0.1 (+ x y)))) (cbrt (* 0.1 (+ x y))) (* (* (* 0.1 (+ x y)) (* 0.1 (+ x y))) (* 0.1 (+ x y))) (sqrt (* 0.1 (+ x y))) (sqrt (* 0.1 (+ x y))) (* (sqrt 0.1) (sqrt (+ x y))) (* (sqrt 0.1) (sqrt (+ x y))) (* 0.1 x) (* 0.1 y) (* x 0.1) (* y 0.1) (* 0.1 (* (cbrt (+ x y)) (cbrt (+ x y)))) (* 0.1 (sqrt (+ x y))) (* 0.1 1) (* 0.1 1) (* (cbrt 0.1) (+ x y)) (* (sqrt 0.1) (+ x y)) (* 0.1 (+ x y)) (* 0.1 (+ (pow x 3) (pow y 3))) (* 0.1 (- (* x x) (* y y))) (+ (* 0.1 x) (* 0.1 y)) (+ (* 0.1 x) (* 0.1 y)) (+ (* 0.1 x) (* 0.1 y)) 21.260 * * [simplify]: Extracting # 0 : cost 0 21.260 * * [simplify]: Extracting # 1 : cost 0 21.260 * * [simplify]: Extracting # 2 : cost 0 21.260 * * [simplify]: Extracting # 3 : cost 0 21.260 * * [simplify]: Extracting # 4 : cost 0 21.260 * * [simplify]: Extracting # 5 : cost 0 21.261 * * [simplify]: iteration 0 : 46 enodes (cost 194 ) 21.283 * * [simplify]: Extracting # 0 : cost 0 21.283 * * [simplify]: Extracting # 1 : cost 0 21.284 * * [simplify]: Extracting # 2 : cost 0 21.284 * * [simplify]: Extracting # 3 : cost 0 21.284 * * [simplify]: iteration 1 : 140 enodes (cost 183 ) 21.417 * * [simplify]: Extracting # 0 : cost 0 21.421 * * [simplify]: Extracting # 1 : cost 0 21.422 * * [simplify]: Extracting # 2 : cost 0 21.423 * * [simplify]: Extracting # 3 : cost 0 21.424 * * [simplify]: Extracting # 4 : cost 0 21.425 * * [simplify]: Extracting # 5 : cost 0 21.426 * * [simplify]: Extracting # 6 : cost 0 21.427 * * [simplify]: iteration 2 : 526 enodes (cost 165 ) 27.441 * * [simplify]: Extracting # 0 : cost 0 27.941 * * [simplify]: Extracting # 1 : cost 0 27.946 * * [simplify]: Extracting # 2 : cost 0 27.950 * * [simplify]: Extracting # 3 : cost 0 27.955 * * [simplify]: Extracting # 4 : cost 0 27.965 * * [simplify]: iteration 3 : 3441 enodes (cost 163 ) 31.785 * * [simplify]: Extracting # 0 : cost 0 31.812 * * [simplify]: Extracting # 1 : cost 0 31.822 * * [simplify]: Extracting # 2 : cost 0 31.837 * * [simplify]: Extracting # 3 : cost 0 31.846 * * [simplify]: Extracting # 4 : cost 0 31.856 * * [simplify]: iteration done: 5002 enodes (cost 163 ) 31.857 * [simplify]: Simplified to: (* 0.1 (+ x y)) (log (* 0.1 (+ x y))) (log (* 0.1 (+ x y))) (exp (* 0.1 (+ x y))) (pow (* 0.1 (+ x y)) 3) (* (cbrt (* 0.1 (+ x y))) (cbrt (* 0.1 (+ x y)))) (cbrt (* 0.1 (+ x y))) (pow (* 0.1 (+ x y)) 3) (sqrt (* 0.1 (+ x y))) (sqrt (* 0.1 (+ x y))) (* (sqrt 0.1) (sqrt (+ x y))) (* (sqrt 0.1) (sqrt (+ x y))) (* 0.1 x) (* 0.1 y) (* 0.1 x) (* 0.1 y) (* 0.1 (* (cbrt (+ x y)) (cbrt (+ x y)))) (* 0.1 (sqrt (+ x y))) 0.1 0.1 (* (cbrt 0.1) (+ x y)) (* (sqrt 0.1) (+ x y)) (* 0.1 (+ x y)) (* 0.1 (+ (pow x 3) (pow y 3))) (* 0.1 (- (* x x) (* y y))) (* 0.1 (+ x y)) (* 0.1 (+ x y)) (* 0.1 (+ x y)) 31.857 * * * [progress]: adding candidates to table 32.203 * [progress]: [Phase 3 of 3] Extracting. 32.241 * * [regime]: Finding splitpoints for: (# # #) 32.310 * * * [regime-changes]: Trying 4 branch expressions: ((+ x y) (/ (+ x y) 10.0) y x) 32.311 * * * * [regimes]: Trying to branch on (+ x y) from (# # #) 32.348 * * * * [regimes]: Trying to branch on (/ (+ x y) 10.0) from (# # #) 32.476 * * * * [regimes]: Trying to branch on y from (# # #) 32.497 * * * * [regimes]: Trying to branch on x from (# # #) 32.578 * * * [regime]: Found split indices: #