36.960 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.016 * * * [progress]: [2/2] Setting up program. 0.018 * [progress]: [Phase 2 of 3] Improving. 0.018 * [simplify]: Simplifying: (/ (+ x y) (* (* x 2.0) y)) 0.018 * * [simplify]: Extracting # 0 : cost 0 0.018 * * [simplify]: Extracting # 1 : cost 0 0.018 * * [simplify]: Extracting # 2 : cost 0 0.018 * * [simplify]: Extracting # 3 : cost 0 0.018 * * [simplify]: Extracting # 4 : cost 0 0.018 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 0.020 * * [simplify]: Extracting # 0 : cost 0 0.020 * * [simplify]: Extracting # 1 : cost 0 0.020 * * [simplify]: Extracting # 2 : cost 0 0.020 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 0.024 * * [simplify]: Extracting # 0 : cost 0 0.024 * * [simplify]: Extracting # 1 : cost 0 0.024 * * [simplify]: Extracting # 2 : cost 0 0.024 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 0.031 * * [simplify]: Extracting # 0 : cost 0 0.031 * * [simplify]: Extracting # 1 : cost 0 0.032 * * [simplify]: Extracting # 2 : cost 0 0.032 * * [simplify]: iteration 3 : 42 enodes (cost 9 ) 0.041 * * [simplify]: Extracting # 0 : cost 0 0.041 * * [simplify]: iteration 4 : 44 enodes (cost 9 ) 0.047 * * [simplify]: Extracting # 0 : cost 0 0.047 * * [simplify]: iteration done: 44 enodes (cost 9 ) 0.047 * [simplify]: Simplified to: (/ (+ x y) (* (* x 2.0) y)) 0.047 * * [progress]: iteration 1 / 4 0.047 * * * [progress]: picking best candidate 0.049 * * * * [pick]: Picked # 0.049 * * * [progress]: localizing error 0.055 * * * [progress]: generating rewritten candidates 0.055 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.110 * * * [progress]: generating series expansions 0.110 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.111 * [backup-simplify]: Simplify (/ (+ x y) (* (* x 2.0) y)) into (* 0.5 (/ (+ x y) (* x y))) 0.111 * [approximate]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in (x y) around 0 0.111 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in y 0.111 * [taylor]: Taking taylor expansion of 0.5 in y 0.111 * [backup-simplify]: Simplify 0.5 into 0.5 0.111 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in y 0.111 * [taylor]: Taking taylor expansion of (+ x y) in y 0.111 * [taylor]: Taking taylor expansion of x in y 0.111 * [backup-simplify]: Simplify x into x 0.111 * [taylor]: Taking taylor expansion of y in y 0.111 * [backup-simplify]: Simplify 0 into 0 0.111 * [backup-simplify]: Simplify 1 into 1 0.111 * [taylor]: Taking taylor expansion of (* x y) in y 0.111 * [taylor]: Taking taylor expansion of x in y 0.111 * [backup-simplify]: Simplify x into x 0.111 * [taylor]: Taking taylor expansion of y in y 0.111 * [backup-simplify]: Simplify 0 into 0 0.111 * [backup-simplify]: Simplify 1 into 1 0.111 * [backup-simplify]: Simplify (+ x 0) into x 0.111 * [backup-simplify]: Simplify (* x 0) into 0 0.112 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 0.112 * [backup-simplify]: Simplify (/ x x) into 1 0.112 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in x 0.112 * [taylor]: Taking taylor expansion of 0.5 in x 0.112 * [backup-simplify]: Simplify 0.5 into 0.5 0.112 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in x 0.112 * [taylor]: Taking taylor expansion of (+ x y) in x 0.112 * [taylor]: Taking taylor expansion of x in x 0.112 * [backup-simplify]: Simplify 0 into 0 0.112 * [backup-simplify]: Simplify 1 into 1 0.112 * [taylor]: Taking taylor expansion of y in x 0.112 * [backup-simplify]: Simplify y into y 0.112 * [taylor]: Taking taylor expansion of (* x y) in x 0.112 * [taylor]: Taking taylor expansion of x in x 0.112 * [backup-simplify]: Simplify 0 into 0 0.112 * [backup-simplify]: Simplify 1 into 1 0.112 * [taylor]: Taking taylor expansion of y in x 0.112 * [backup-simplify]: Simplify y into y 0.112 * [backup-simplify]: Simplify (+ 0 y) into y 0.112 * [backup-simplify]: Simplify (* 0 y) into 0 0.113 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.113 * [backup-simplify]: Simplify (/ y y) into 1 0.113 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in x 0.113 * [taylor]: Taking taylor expansion of 0.5 in x 0.113 * [backup-simplify]: Simplify 0.5 into 0.5 0.113 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in x 0.113 * [taylor]: Taking taylor expansion of (+ x y) in x 0.113 * [taylor]: Taking taylor expansion of x in x 0.113 * [backup-simplify]: Simplify 0 into 0 0.113 * [backup-simplify]: Simplify 1 into 1 0.113 * [taylor]: Taking taylor expansion of y in x 0.113 * [backup-simplify]: Simplify y into y 0.113 * [taylor]: Taking taylor expansion of (* x y) in x 0.113 * [taylor]: Taking taylor expansion of x in x 0.113 * [backup-simplify]: Simplify 0 into 0 0.113 * [backup-simplify]: Simplify 1 into 1 0.113 * [taylor]: Taking taylor expansion of y in x 0.113 * [backup-simplify]: Simplify y into y 0.113 * [backup-simplify]: Simplify (+ 0 y) into y 0.113 * [backup-simplify]: Simplify (* 0 y) into 0 0.114 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.114 * [backup-simplify]: Simplify (/ y y) into 1 0.114 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 0.114 * [taylor]: Taking taylor expansion of 0.5 in y 0.114 * [backup-simplify]: Simplify 0.5 into 0.5 0.115 * [backup-simplify]: Simplify (+ 1 0) into 1 0.116 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.116 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* 1 (/ 0 y)))) into (/ 1 y) 0.116 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 y)) (* 0 1)) into (* 0.5 (/ 1 y)) 0.116 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 0.116 * [taylor]: Taking taylor expansion of 0.5 in y 0.116 * [backup-simplify]: Simplify 0.5 into 0.5 0.116 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.116 * [taylor]: Taking taylor expansion of y in y 0.116 * [backup-simplify]: Simplify 0 into 0 0.116 * [backup-simplify]: Simplify 1 into 1 0.117 * [backup-simplify]: Simplify (/ 1 1) into 1 0.117 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 0.117 * [backup-simplify]: Simplify 0.5 into 0.5 0.117 * [backup-simplify]: Simplify 0.5 into 0.5 0.118 * [backup-simplify]: Simplify (+ 0 0) into 0 0.119 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.119 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* 1 (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0 0.120 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0 0.120 * [taylor]: Taking taylor expansion of 0 in y 0.120 * [backup-simplify]: Simplify 0 into 0 0.120 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.121 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 0.121 * [backup-simplify]: Simplify 0 into 0 0.121 * [backup-simplify]: Simplify 0 into 0 0.121 * [backup-simplify]: Simplify (+ 0 0) into 0 0.122 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.123 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* 1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.123 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0 0.124 * [taylor]: Taking taylor expansion of 0 in y 0.124 * [backup-simplify]: Simplify 0 into 0 0.124 * [backup-simplify]: Simplify 0 into 0 0.124 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.125 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 0.125 * [backup-simplify]: Simplify 0 into 0 0.125 * [backup-simplify]: Simplify 0 into 0 0.125 * [backup-simplify]: Simplify (+ 0 0) into 0 0.126 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 0.127 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* 1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.127 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0 0.127 * [taylor]: Taking taylor expansion of 0 in y 0.128 * [backup-simplify]: Simplify 0 into 0 0.128 * [backup-simplify]: Simplify 0 into 0 0.128 * [backup-simplify]: Simplify (+ (* 0.5 (* 1 (/ 1 x))) (* 0.5 (* (/ 1 y) 1))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 0.128 * [backup-simplify]: Simplify (/ (+ (/ 1 x) (/ 1 y)) (* (* (/ 1 x) 2.0) (/ 1 y))) into (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) 0.128 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in (x y) around 0 0.128 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in y 0.128 * [taylor]: Taking taylor expansion of 0.5 in y 0.128 * [backup-simplify]: Simplify 0.5 into 0.5 0.128 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in y 0.128 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.128 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.128 * [taylor]: Taking taylor expansion of y in y 0.128 * [backup-simplify]: Simplify 0 into 0 0.128 * [backup-simplify]: Simplify 1 into 1 0.128 * [backup-simplify]: Simplify (/ 1 1) into 1 0.128 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.128 * [taylor]: Taking taylor expansion of x in y 0.128 * [backup-simplify]: Simplify x into x 0.128 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.128 * [taylor]: Taking taylor expansion of (* y x) in y 0.128 * [taylor]: Taking taylor expansion of y in y 0.128 * [backup-simplify]: Simplify 0 into 0 0.128 * [backup-simplify]: Simplify 1 into 1 0.128 * [taylor]: Taking taylor expansion of x in y 0.128 * [backup-simplify]: Simplify x into x 0.128 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in x 0.129 * [taylor]: Taking taylor expansion of 0.5 in x 0.129 * [backup-simplify]: Simplify 0.5 into 0.5 0.129 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in x 0.129 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.129 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.129 * [taylor]: Taking taylor expansion of y in x 0.129 * [backup-simplify]: Simplify y into y 0.129 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.129 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.129 * [taylor]: Taking taylor expansion of x in x 0.129 * [backup-simplify]: Simplify 0 into 0 0.129 * [backup-simplify]: Simplify 1 into 1 0.129 * [backup-simplify]: Simplify (/ 1 1) into 1 0.129 * [taylor]: Taking taylor expansion of (* y x) in x 0.129 * [taylor]: Taking taylor expansion of y in x 0.129 * [backup-simplify]: Simplify y into y 0.129 * [taylor]: Taking taylor expansion of x in x 0.129 * [backup-simplify]: Simplify 0 into 0 0.129 * [backup-simplify]: Simplify 1 into 1 0.129 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in x 0.129 * [taylor]: Taking taylor expansion of 0.5 in x 0.129 * [backup-simplify]: Simplify 0.5 into 0.5 0.129 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in x 0.129 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.129 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.129 * [taylor]: Taking taylor expansion of y in x 0.129 * [backup-simplify]: Simplify y into y 0.129 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.129 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.129 * [taylor]: Taking taylor expansion of x in x 0.129 * [backup-simplify]: Simplify 0 into 0 0.129 * [backup-simplify]: Simplify 1 into 1 0.129 * [backup-simplify]: Simplify (/ 1 1) into 1 0.130 * [taylor]: Taking taylor expansion of (* y x) in x 0.130 * [taylor]: Taking taylor expansion of y in x 0.130 * [backup-simplify]: Simplify y into y 0.130 * [taylor]: Taking taylor expansion of x in x 0.130 * [backup-simplify]: Simplify 0 into 0 0.130 * [backup-simplify]: Simplify 1 into 1 0.130 * [backup-simplify]: Simplify (+ 0 1) into 1 0.130 * [backup-simplify]: Simplify (* y 0) into 0 0.130 * [backup-simplify]: Simplify (* 1 0) into 0 0.130 * [backup-simplify]: Simplify (* 0.5 0) into 0 0.130 * [taylor]: Taking taylor expansion of 0 in y 0.130 * [backup-simplify]: Simplify 0 into 0 0.131 * [backup-simplify]: Simplify (+ (* y 1) (* 0 0)) into y 0.131 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.131 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 0.131 * [backup-simplify]: Simplify (+ (* 1 y) (* (/ 1 y) 0)) into y 0.132 * [backup-simplify]: Simplify (+ (* 0.5 y) (* 0 0)) into (* 0.5 y) 0.132 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 0.132 * [taylor]: Taking taylor expansion of 0.5 in y 0.132 * [backup-simplify]: Simplify 0.5 into 0.5 0.132 * [taylor]: Taking taylor expansion of y in y 0.132 * [backup-simplify]: Simplify 0 into 0 0.132 * [backup-simplify]: Simplify 1 into 1 0.132 * [backup-simplify]: Simplify 0 into 0 0.132 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 0))) into 0 0.132 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.133 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.133 * [backup-simplify]: Simplify (+ 0 0) into 0 0.133 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) y) (* 0 0))) into 1 0.134 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 y) (* 0 0))) into 0.5 0.134 * [taylor]: Taking taylor expansion of 0.5 in y 0.134 * [backup-simplify]: Simplify 0.5 into 0.5 0.134 * [backup-simplify]: Simplify (* 0.5 0) into 0 0.134 * [backup-simplify]: Simplify 0 into 0 0.134 * [backup-simplify]: Simplify 0 into 0 0.135 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.135 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.135 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.136 * [backup-simplify]: Simplify (+ 0 0) into 0 0.136 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 y) (* 0 0)))) into 0 0.137 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))) into 0 0.137 * [taylor]: Taking taylor expansion of 0 in y 0.137 * [backup-simplify]: Simplify 0 into 0 0.137 * [backup-simplify]: Simplify 0.5 into 0.5 0.138 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 0.138 * [backup-simplify]: Simplify 0.5 into 0.5 0.138 * [backup-simplify]: Simplify 0 into 0 0.138 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.138 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.139 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.139 * [backup-simplify]: Simplify (+ 0 0) into 0 0.140 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 0.141 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0))))) into 0 0.141 * [taylor]: Taking taylor expansion of 0 in y 0.141 * [backup-simplify]: Simplify 0 into 0 0.141 * [backup-simplify]: Simplify 0 into 0 0.141 * [backup-simplify]: Simplify 0 into 0 0.142 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 0.142 * [backup-simplify]: Simplify 0 into 0 0.142 * [backup-simplify]: Simplify 0 into 0 0.142 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 0.142 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.143 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.143 * [backup-simplify]: Simplify (+ 0 0) into 0 0.144 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))))) into 0 0.145 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))))) into 0 0.145 * [taylor]: Taking taylor expansion of 0 in y 0.145 * [backup-simplify]: Simplify 0 into 0 0.145 * [backup-simplify]: Simplify 0 into 0 0.145 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 y) 1)) (* 0.5 (* 1 (/ 1 x)))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 0.146 * [backup-simplify]: Simplify (/ (+ (/ 1 (- x)) (/ 1 (- y))) (* (* (/ 1 (- x)) 2.0) (/ 1 (- y)))) into (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) 0.146 * [approximate]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in (x y) around 0 0.146 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in y 0.146 * [taylor]: Taking taylor expansion of -0.5 in y 0.146 * [backup-simplify]: Simplify -0.5 into -0.5 0.146 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in y 0.146 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 0.146 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.146 * [taylor]: Taking taylor expansion of y in y 0.146 * [backup-simplify]: Simplify 0 into 0 0.146 * [backup-simplify]: Simplify 1 into 1 0.146 * [backup-simplify]: Simplify (/ 1 1) into 1 0.146 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.146 * [taylor]: Taking taylor expansion of x in y 0.146 * [backup-simplify]: Simplify x into x 0.146 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.146 * [taylor]: Taking taylor expansion of (* y x) in y 0.146 * [taylor]: Taking taylor expansion of y in y 0.146 * [backup-simplify]: Simplify 0 into 0 0.146 * [backup-simplify]: Simplify 1 into 1 0.146 * [taylor]: Taking taylor expansion of x in y 0.146 * [backup-simplify]: Simplify x into x 0.146 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in x 0.146 * [taylor]: Taking taylor expansion of -0.5 in x 0.146 * [backup-simplify]: Simplify -0.5 into -0.5 0.146 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in x 0.146 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.146 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.146 * [taylor]: Taking taylor expansion of y in x 0.146 * [backup-simplify]: Simplify y into y 0.146 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.146 * [taylor]: Taking taylor expansion of x in x 0.146 * [backup-simplify]: Simplify 0 into 0 0.146 * [backup-simplify]: Simplify 1 into 1 0.147 * [backup-simplify]: Simplify (/ 1 1) into 1 0.147 * [taylor]: Taking taylor expansion of (* y x) in x 0.147 * [taylor]: Taking taylor expansion of y in x 0.147 * [backup-simplify]: Simplify y into y 0.147 * [taylor]: Taking taylor expansion of x in x 0.147 * [backup-simplify]: Simplify 0 into 0 0.147 * [backup-simplify]: Simplify 1 into 1 0.147 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in x 0.147 * [taylor]: Taking taylor expansion of -0.5 in x 0.147 * [backup-simplify]: Simplify -0.5 into -0.5 0.147 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in x 0.147 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 0.147 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.147 * [taylor]: Taking taylor expansion of y in x 0.147 * [backup-simplify]: Simplify y into y 0.147 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.147 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.147 * [taylor]: Taking taylor expansion of x in x 0.147 * [backup-simplify]: Simplify 0 into 0 0.147 * [backup-simplify]: Simplify 1 into 1 0.147 * [backup-simplify]: Simplify (/ 1 1) into 1 0.147 * [taylor]: Taking taylor expansion of (* y x) in x 0.147 * [taylor]: Taking taylor expansion of y in x 0.147 * [backup-simplify]: Simplify y into y 0.147 * [taylor]: Taking taylor expansion of x in x 0.147 * [backup-simplify]: Simplify 0 into 0 0.147 * [backup-simplify]: Simplify 1 into 1 0.148 * [backup-simplify]: Simplify (+ 0 1) into 1 0.148 * [backup-simplify]: Simplify (* y 0) into 0 0.148 * [backup-simplify]: Simplify (* 1 0) into 0 0.148 * [backup-simplify]: Simplify (* -0.5 0) into 0 0.148 * [taylor]: Taking taylor expansion of 0 in y 0.148 * [backup-simplify]: Simplify 0 into 0 0.148 * [backup-simplify]: Simplify (+ (* y 1) (* 0 0)) into y 0.149 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.149 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 0.149 * [backup-simplify]: Simplify (+ (* 1 y) (* (/ 1 y) 0)) into y 0.149 * [backup-simplify]: Simplify (+ (* -0.5 y) (* 0 0)) into (- (* 0.5 y)) 0.149 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y 0.149 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 0.149 * [taylor]: Taking taylor expansion of 0.5 in y 0.149 * [backup-simplify]: Simplify 0.5 into 0.5 0.149 * [taylor]: Taking taylor expansion of y in y 0.149 * [backup-simplify]: Simplify 0 into 0 0.149 * [backup-simplify]: Simplify 1 into 1 0.149 * [backup-simplify]: Simplify 0 into 0 0.150 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 0))) into 0 0.150 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.150 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.151 * [backup-simplify]: Simplify (+ 0 0) into 0 0.151 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) y) (* 0 0))) into 1 0.152 * [backup-simplify]: Simplify (+ (* -0.5 1) (+ (* 0 y) (* 0 0))) into (- 0.5) 0.152 * [taylor]: Taking taylor expansion of (- 0.5) in y 0.152 * [taylor]: Taking taylor expansion of 0.5 in y 0.152 * [backup-simplify]: Simplify 0.5 into 0.5 0.152 * [backup-simplify]: Simplify (* 0.5 0) into 0 0.152 * [backup-simplify]: Simplify (- 0) into 0 0.152 * [backup-simplify]: Simplify 0 into 0 0.152 * [backup-simplify]: Simplify 0 into 0 0.153 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.153 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.153 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.154 * [backup-simplify]: Simplify (+ 0 0) into 0 0.154 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 y) (* 0 0)))) into 0 0.155 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))) into 0 0.155 * [taylor]: Taking taylor expansion of 0 in y 0.155 * [backup-simplify]: Simplify 0 into 0 0.155 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 0.155 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 0.156 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 0.156 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 0.157 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 0.157 * [backup-simplify]: Simplify 0 into 0 0.157 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.157 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.158 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.158 * [backup-simplify]: Simplify (+ 0 0) into 0 0.159 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 0.160 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0))))) into 0 0.160 * [taylor]: Taking taylor expansion of 0 in y 0.160 * [backup-simplify]: Simplify 0 into 0 0.160 * [backup-simplify]: Simplify 0 into 0 0.160 * [backup-simplify]: Simplify (- 0) into 0 0.160 * [backup-simplify]: Simplify 0 into 0 0.161 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 0.161 * [backup-simplify]: Simplify (- 0) into 0 0.161 * [backup-simplify]: Simplify 0 into 0 0.161 * [backup-simplify]: Simplify 0 into 0 0.162 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 0.162 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.162 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.162 * [backup-simplify]: Simplify (+ 0 0) into 0 0.163 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))))) into 0 0.165 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))))) into 0 0.165 * [taylor]: Taking taylor expansion of 0 in y 0.165 * [backup-simplify]: Simplify 0 into 0 0.165 * [backup-simplify]: Simplify 0 into 0 0.165 * [backup-simplify]: Simplify (+ (* (- 0.5) (* (/ 1 (- y)) 1)) (* (- 0.5) (* 1 (/ 1 (- x))))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 0.165 * * * [progress]: simplifying candidates 0.166 * [simplify]: Simplifying: (- (log (+ x y)) (+ (+ (log x) (log 2.0)) (log y))) (- (log (+ x y)) (+ (log (* x 2.0)) (log y))) (- (log (+ x y)) (log (* (* x 2.0) y))) (log (/ (+ x y) (* (* x 2.0) y))) (exp (/ (+ x y) (* (* x 2.0) y))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* (* x x) x) (* (* 2.0 2.0) 2.0)) (* (* y y) y))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* (* x 2.0) (* x 2.0)) (* x 2.0)) (* (* y y) y))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* (* x 2.0) y) (* (* x 2.0) y)) (* (* x 2.0) y))) (* (cbrt (/ (+ x y) (* (* x 2.0) y))) (cbrt (/ (+ x y) (* (* x 2.0) y)))) (cbrt (/ (+ x y) (* (* x 2.0) y))) (* (* (/ (+ x y) (* (* x 2.0) y)) (/ (+ x y) (* (* x 2.0) y))) (/ (+ x y) (* (* x 2.0) y))) (sqrt (/ (+ x y) (* (* x 2.0) y))) (sqrt (/ (+ x y) (* (* x 2.0) y))) (- (+ x y)) (- (* (* x 2.0) y)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* x 2.0)) (/ (cbrt (+ x y)) y) (/ (sqrt (+ x y)) (* x 2.0)) (/ (sqrt (+ x y)) y) (/ 1 (* x 2.0)) (/ (+ x y) y) (/ 1 (* x 2.0)) (/ (+ x y) y) (/ 1 (* (* x 2.0) y)) (/ (* (* x 2.0) y) (+ x y)) (/ (+ x y) (* x 2.0)) (/ (* (* x 2.0) y) (cbrt (+ x y))) (/ (* (* x 2.0) y) (sqrt (+ x y))) (/ (* (* x 2.0) y) (+ x y)) (/ (* (* x 2.0) y) (+ x y)) (* (* (* x 2.0) y) (+ (* x x) (- (* y y) (* x y)))) (* (* (* x 2.0) y) (- x y)) (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 0.167 * * [simplify]: Extracting # 0 : cost 0 0.167 * * [simplify]: Extracting # 1 : cost 0 0.167 * * [simplify]: Extracting # 2 : cost 0 0.167 * * [simplify]: Extracting # 3 : cost 0 0.167 * * [simplify]: Extracting # 4 : cost 0 0.167 * * [simplify]: Extracting # 5 : cost 0 0.167 * * [simplify]: Extracting # 6 : cost 0 0.168 * * [simplify]: Extracting # 7 : cost 0 0.168 * * [simplify]: Extracting # 8 : cost 0 0.168 * * [simplify]: iteration 0 : 73 enodes (cost 406 ) 0.193 * * [simplify]: Extracting # 0 : cost 0 0.194 * * [simplify]: Extracting # 1 : cost 0 0.194 * * [simplify]: Extracting # 2 : cost 0 0.194 * * [simplify]: Extracting # 3 : cost 0 0.194 * * [simplify]: Extracting # 4 : cost 0 0.194 * * [simplify]: iteration 1 : 213 enodes (cost 392 ) 0.276 * * [simplify]: Extracting # 0 : cost 0 0.277 * * [simplify]: Extracting # 1 : cost 0 0.278 * * [simplify]: Extracting # 2 : cost 0 0.280 * * [simplify]: Extracting # 3 : cost 0 0.281 * * [simplify]: Extracting # 4 : cost 0 0.282 * * [simplify]: iteration 2 : 859 enodes (cost 314 ) 1.725 * * [simplify]: Extracting # 0 : cost 0 1.733 * * [simplify]: Extracting # 1 : cost 0 1.740 * * [simplify]: Extracting # 2 : cost 0 1.746 * * [simplify]: Extracting # 3 : cost 0 1.753 * * [simplify]: Extracting # 4 : cost 0 1.759 * * [simplify]: iteration 3 : 4528 enodes (cost 314 ) 3.137 * * [simplify]: Extracting # 0 : cost 0 3.142 * * [simplify]: Extracting # 1 : cost 0 3.147 * * [simplify]: Extracting # 2 : cost 0 3.152 * * [simplify]: Extracting # 3 : cost 0 3.158 * * [simplify]: iteration done: 5000 enodes (cost 314 ) 3.159 * [simplify]: Simplified to: (log (/ (+ x y) (* (* x 2.0) y))) (log (/ (+ x y) (* (* x 2.0) y))) (log (/ (+ x y) (* (* x 2.0) y))) (log (/ (+ x y) (* (* x 2.0) y))) (exp (/ (+ x y) (* (* x 2.0) y))) (pow (/ (+ x y) (* (* x 2.0) y)) 3) (pow (/ (+ x y) (* (* x 2.0) y)) 3) (pow (/ (+ x y) (* (* x 2.0) y)) 3) (* (cbrt (/ (+ x y) (* (* x 2.0) y))) (cbrt (/ (+ x y) (* (* x 2.0) y)))) (cbrt (/ (+ x y) (* (* x 2.0) y))) (pow (/ (+ x y) (* (* x 2.0) y)) 3) (sqrt (/ (+ x y) (* (* x 2.0) y))) (sqrt (/ (+ x y) (* (* x 2.0) y))) (- (+ x y)) (- (* (* x 2.0) y)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* x 2.0)) (/ (cbrt (+ x y)) y) (/ (sqrt (+ x y)) (* x 2.0)) (/ (sqrt (+ x y)) y) (/ 1 (* x 2.0)) (/ (+ x y) y) (/ 1 (* x 2.0)) (/ (+ x y) y) (/ 1 (* (* x 2.0) y)) (/ (* (* x 2.0) y) (+ x y)) (/ (+ x y) (* x 2.0)) (/ (* (* x 2.0) y) (cbrt (+ x y))) (/ (* (* x 2.0) y) (sqrt (+ x y))) (/ (* (* x 2.0) y) (+ x y)) (/ (* (* x 2.0) y) (+ x y)) (* (+ (* y (- y x)) (* x x)) (* (* x 2.0) y)) (* (* (* x 2.0) y) (- x y)) (+ (/ 0.5 x) (/ 0.5 y)) (+ (/ 0.5 x) (/ 0.5 y)) (+ (/ 0.5 x) (/ 0.5 y)) 3.159 * * * [progress]: adding candidates to table 3.210 * * [progress]: iteration 2 / 4 3.210 * * * [progress]: picking best candidate 3.214 * * * * [pick]: Picked # 3.214 * * * [progress]: localizing error 3.219 * * * [progress]: generating rewritten candidates 3.219 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 3.246 * * * [progress]: generating series expansions 3.246 * * * * [progress]: [ 1 / 1 ] generating series at (2) 3.246 * [backup-simplify]: Simplify (+ (/ 0.5 x) (/ 0.5 y)) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 3.246 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in (x y) around 0 3.246 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in y 3.246 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 3.246 * [taylor]: Taking taylor expansion of 0.5 in y 3.246 * [backup-simplify]: Simplify 0.5 into 0.5 3.246 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.246 * [taylor]: Taking taylor expansion of y in y 3.246 * [backup-simplify]: Simplify 0 into 0 3.246 * [backup-simplify]: Simplify 1 into 1 3.247 * [backup-simplify]: Simplify (/ 1 1) into 1 3.247 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 3.247 * [taylor]: Taking taylor expansion of 0.5 in y 3.247 * [backup-simplify]: Simplify 0.5 into 0.5 3.247 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.247 * [taylor]: Taking taylor expansion of x in y 3.247 * [backup-simplify]: Simplify x into x 3.247 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.247 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in x 3.247 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 3.247 * [taylor]: Taking taylor expansion of 0.5 in x 3.247 * [backup-simplify]: Simplify 0.5 into 0.5 3.247 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.247 * [taylor]: Taking taylor expansion of y in x 3.247 * [backup-simplify]: Simplify y into y 3.247 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.247 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 3.247 * [taylor]: Taking taylor expansion of 0.5 in x 3.247 * [backup-simplify]: Simplify 0.5 into 0.5 3.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.247 * [taylor]: Taking taylor expansion of x in x 3.247 * [backup-simplify]: Simplify 0 into 0 3.247 * [backup-simplify]: Simplify 1 into 1 3.247 * [backup-simplify]: Simplify (/ 1 1) into 1 3.247 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in x 3.247 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 3.247 * [taylor]: Taking taylor expansion of 0.5 in x 3.247 * [backup-simplify]: Simplify 0.5 into 0.5 3.247 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.247 * [taylor]: Taking taylor expansion of y in x 3.247 * [backup-simplify]: Simplify y into y 3.247 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.247 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 3.247 * [taylor]: Taking taylor expansion of 0.5 in x 3.247 * [backup-simplify]: Simplify 0.5 into 0.5 3.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.247 * [taylor]: Taking taylor expansion of x in x 3.247 * [backup-simplify]: Simplify 0 into 0 3.248 * [backup-simplify]: Simplify 1 into 1 3.248 * [backup-simplify]: Simplify (/ 1 1) into 1 3.248 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 3.248 * [backup-simplify]: Simplify (+ 0 0.5) into 0.5 3.248 * [taylor]: Taking taylor expansion of 0.5 in y 3.248 * [backup-simplify]: Simplify 0.5 into 0.5 3.248 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y) 3.249 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.249 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 3.249 * [backup-simplify]: Simplify (+ (/ 0.5 y) 0) into (* 0.5 (/ 1 y)) 3.249 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 3.249 * [taylor]: Taking taylor expansion of 0.5 in y 3.249 * [backup-simplify]: Simplify 0.5 into 0.5 3.249 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.249 * [taylor]: Taking taylor expansion of y in y 3.249 * [backup-simplify]: Simplify 0 into 0 3.249 * [backup-simplify]: Simplify 1 into 1 3.250 * [backup-simplify]: Simplify (/ 1 1) into 1 3.250 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 3.250 * [backup-simplify]: Simplify 0.5 into 0.5 3.250 * [backup-simplify]: Simplify 0.5 into 0.5 3.250 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.250 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0 3.251 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.252 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 3.252 * [backup-simplify]: Simplify (+ 0 0) into 0 3.252 * [taylor]: Taking taylor expansion of 0 in y 3.252 * [backup-simplify]: Simplify 0 into 0 3.252 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.253 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 3.253 * [backup-simplify]: Simplify 0 into 0 3.253 * [backup-simplify]: Simplify 0 into 0 3.253 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.253 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 3.254 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.254 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.255 * [backup-simplify]: Simplify (+ 0 0) into 0 3.255 * [taylor]: Taking taylor expansion of 0 in y 3.255 * [backup-simplify]: Simplify 0 into 0 3.255 * [backup-simplify]: Simplify 0 into 0 3.255 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.256 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 3.256 * [backup-simplify]: Simplify 0 into 0 3.256 * [backup-simplify]: Simplify 0 into 0 3.256 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.257 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 3.257 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.258 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.258 * [backup-simplify]: Simplify (+ 0 0) into 0 3.258 * [taylor]: Taking taylor expansion of 0 in y 3.258 * [backup-simplify]: Simplify 0 into 0 3.258 * [backup-simplify]: Simplify 0 into 0 3.258 * [backup-simplify]: Simplify (+ (* 0.5 (* 1 (/ 1 x))) (* 0.5 (* (/ 1 y) 1))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 3.258 * [backup-simplify]: Simplify (+ (/ 0.5 (/ 1 x)) (/ 0.5 (/ 1 y))) into (+ (* 0.5 x) (* 0.5 y)) 3.258 * [approximate]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in (x y) around 0 3.258 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in y 3.258 * [taylor]: Taking taylor expansion of (* 0.5 x) in y 3.258 * [taylor]: Taking taylor expansion of 0.5 in y 3.259 * [backup-simplify]: Simplify 0.5 into 0.5 3.259 * [taylor]: Taking taylor expansion of x in y 3.259 * [backup-simplify]: Simplify x into x 3.259 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 3.259 * [taylor]: Taking taylor expansion of 0.5 in y 3.259 * [backup-simplify]: Simplify 0.5 into 0.5 3.259 * [taylor]: Taking taylor expansion of y in y 3.259 * [backup-simplify]: Simplify 0 into 0 3.259 * [backup-simplify]: Simplify 1 into 1 3.259 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in x 3.259 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 3.259 * [taylor]: Taking taylor expansion of 0.5 in x 3.259 * [backup-simplify]: Simplify 0.5 into 0.5 3.259 * [taylor]: Taking taylor expansion of x in x 3.259 * [backup-simplify]: Simplify 0 into 0 3.259 * [backup-simplify]: Simplify 1 into 1 3.259 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 3.259 * [taylor]: Taking taylor expansion of 0.5 in x 3.259 * [backup-simplify]: Simplify 0.5 into 0.5 3.259 * [taylor]: Taking taylor expansion of y in x 3.259 * [backup-simplify]: Simplify y into y 3.259 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in x 3.259 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 3.259 * [taylor]: Taking taylor expansion of 0.5 in x 3.259 * [backup-simplify]: Simplify 0.5 into 0.5 3.259 * [taylor]: Taking taylor expansion of x in x 3.259 * [backup-simplify]: Simplify 0 into 0 3.259 * [backup-simplify]: Simplify 1 into 1 3.259 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 3.259 * [taylor]: Taking taylor expansion of 0.5 in x 3.259 * [backup-simplify]: Simplify 0.5 into 0.5 3.259 * [taylor]: Taking taylor expansion of y in x 3.259 * [backup-simplify]: Simplify y into y 3.259 * [backup-simplify]: Simplify (* 0.5 0) into 0 3.259 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y) 3.259 * [backup-simplify]: Simplify (+ 0 (* 0.5 y)) into (* 0.5 y) 3.259 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 3.260 * [taylor]: Taking taylor expansion of 0.5 in y 3.260 * [backup-simplify]: Simplify 0.5 into 0.5 3.260 * [taylor]: Taking taylor expansion of y in y 3.260 * [backup-simplify]: Simplify 0 into 0 3.260 * [backup-simplify]: Simplify 1 into 1 3.260 * [backup-simplify]: Simplify (* 0.5 0) into 0 3.260 * [backup-simplify]: Simplify 0 into 0 3.261 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 3.261 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 y)) into 0 3.261 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5 3.261 * [taylor]: Taking taylor expansion of 0.5 in y 3.261 * [backup-simplify]: Simplify 0.5 into 0.5 3.261 * [backup-simplify]: Simplify 0.5 into 0.5 3.262 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 3.262 * [backup-simplify]: Simplify 0.5 into 0.5 3.263 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 3.263 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 y))) into 0 3.264 * [backup-simplify]: Simplify (+ 0 0) into 0 3.264 * [taylor]: Taking taylor expansion of 0 in y 3.264 * [backup-simplify]: Simplify 0 into 0 3.264 * [backup-simplify]: Simplify 0 into 0 3.264 * [backup-simplify]: Simplify 0 into 0 3.264 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 3.264 * [backup-simplify]: Simplify 0 into 0 3.265 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.266 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 3.266 * [backup-simplify]: Simplify (+ 0 0) into 0 3.266 * [taylor]: Taking taylor expansion of 0 in y 3.266 * [backup-simplify]: Simplify 0 into 0 3.266 * [backup-simplify]: Simplify 0 into 0 3.266 * [backup-simplify]: Simplify 0 into 0 3.266 * [backup-simplify]: Simplify 0 into 0 3.266 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 y) 1)) (* 0.5 (* 1 (/ 1 x)))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 3.266 * [backup-simplify]: Simplify (+ (/ 0.5 (/ 1 (- x))) (/ 0.5 (/ 1 (- y)))) into (- (+ (* 0.5 x) (* 0.5 y))) 3.266 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 x) (* 0.5 y))) in (x y) around 0 3.266 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 x) (* 0.5 y))) in y 3.266 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in y 3.266 * [taylor]: Taking taylor expansion of (* 0.5 x) in y 3.266 * [taylor]: Taking taylor expansion of 0.5 in y 3.266 * [backup-simplify]: Simplify 0.5 into 0.5 3.266 * [taylor]: Taking taylor expansion of x in y 3.266 * [backup-simplify]: Simplify x into x 3.266 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 3.266 * [taylor]: Taking taylor expansion of 0.5 in y 3.266 * [backup-simplify]: Simplify 0.5 into 0.5 3.266 * [taylor]: Taking taylor expansion of y in y 3.266 * [backup-simplify]: Simplify 0 into 0 3.266 * [backup-simplify]: Simplify 1 into 1 3.267 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 x) (* 0.5 y))) in x 3.267 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in x 3.267 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 3.267 * [taylor]: Taking taylor expansion of 0.5 in x 3.267 * [backup-simplify]: Simplify 0.5 into 0.5 3.267 * [taylor]: Taking taylor expansion of x in x 3.267 * [backup-simplify]: Simplify 0 into 0 3.267 * [backup-simplify]: Simplify 1 into 1 3.267 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 3.267 * [taylor]: Taking taylor expansion of 0.5 in x 3.267 * [backup-simplify]: Simplify 0.5 into 0.5 3.267 * [taylor]: Taking taylor expansion of y in x 3.267 * [backup-simplify]: Simplify y into y 3.267 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 x) (* 0.5 y))) in x 3.267 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in x 3.267 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 3.267 * [taylor]: Taking taylor expansion of 0.5 in x 3.267 * [backup-simplify]: Simplify 0.5 into 0.5 3.267 * [taylor]: Taking taylor expansion of x in x 3.267 * [backup-simplify]: Simplify 0 into 0 3.267 * [backup-simplify]: Simplify 1 into 1 3.267 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 3.267 * [taylor]: Taking taylor expansion of 0.5 in x 3.267 * [backup-simplify]: Simplify 0.5 into 0.5 3.267 * [taylor]: Taking taylor expansion of y in x 3.267 * [backup-simplify]: Simplify y into y 3.267 * [backup-simplify]: Simplify (* 0.5 0) into 0 3.267 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y) 3.267 * [backup-simplify]: Simplify (+ 0 (* 0.5 y)) into (* 0.5 y) 3.267 * [backup-simplify]: Simplify (- (* 0.5 y)) into (- (* 0.5 y)) 3.267 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y 3.267 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 3.267 * [taylor]: Taking taylor expansion of 0.5 in y 3.268 * [backup-simplify]: Simplify 0.5 into 0.5 3.268 * [taylor]: Taking taylor expansion of y in y 3.268 * [backup-simplify]: Simplify 0 into 0 3.268 * [backup-simplify]: Simplify 1 into 1 3.268 * [backup-simplify]: Simplify (* 0.5 0) into 0 3.268 * [backup-simplify]: Simplify (- 0) into 0 3.268 * [backup-simplify]: Simplify 0 into 0 3.269 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 3.269 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 y)) into 0 3.270 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5 3.270 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 3.270 * [taylor]: Taking taylor expansion of (- 0.5) in y 3.270 * [taylor]: Taking taylor expansion of 0.5 in y 3.270 * [backup-simplify]: Simplify 0.5 into 0.5 3.270 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 3.270 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 3.271 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 3.272 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 3.272 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 3.272 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 3.273 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 y))) into 0 3.273 * [backup-simplify]: Simplify (+ 0 0) into 0 3.273 * [backup-simplify]: Simplify (- 0) into 0 3.273 * [taylor]: Taking taylor expansion of 0 in y 3.273 * [backup-simplify]: Simplify 0 into 0 3.273 * [backup-simplify]: Simplify 0 into 0 3.274 * [backup-simplify]: Simplify (- 0) into 0 3.274 * [backup-simplify]: Simplify 0 into 0 3.274 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 3.274 * [backup-simplify]: Simplify (- 0) into 0 3.274 * [backup-simplify]: Simplify 0 into 0 3.275 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.276 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 3.276 * [backup-simplify]: Simplify (+ 0 0) into 0 3.276 * [backup-simplify]: Simplify (- 0) into 0 3.276 * [taylor]: Taking taylor expansion of 0 in y 3.276 * [backup-simplify]: Simplify 0 into 0 3.276 * [backup-simplify]: Simplify 0 into 0 3.276 * [backup-simplify]: Simplify 0 into 0 3.277 * [backup-simplify]: Simplify (- 0) into 0 3.277 * [backup-simplify]: Simplify 0 into 0 3.277 * [backup-simplify]: Simplify (+ (* (- 0.5) (* (/ 1 (- y)) 1)) (* (- 0.5) (* 1 (/ 1 (- x))))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 3.277 * * * [progress]: simplifying candidates 3.278 * [simplify]: Simplifying: (* (exp (/ 0.5 x)) (exp (/ 0.5 y))) (log (+ (/ 0.5 x) (/ 0.5 y))) (exp (+ (/ 0.5 x) (/ 0.5 y))) (* (cbrt (+ (/ 0.5 x) (/ 0.5 y))) (cbrt (+ (/ 0.5 x) (/ 0.5 y)))) (cbrt (+ (/ 0.5 x) (/ 0.5 y))) (* (* (+ (/ 0.5 x) (/ 0.5 y)) (+ (/ 0.5 x) (/ 0.5 y))) (+ (/ 0.5 x) (/ 0.5 y))) (sqrt (+ (/ 0.5 x) (/ 0.5 y))) (sqrt (+ (/ 0.5 x) (/ 0.5 y))) (+ (* 0.5 y) (* x 0.5)) (* x y) (+ (pow (/ 0.5 x) 3) (pow (/ 0.5 y) 3)) (+ (* (/ 0.5 x) (/ 0.5 x)) (- (* (/ 0.5 y) (/ 0.5 y)) (* (/ 0.5 x) (/ 0.5 y)))) (- (* (/ 0.5 x) (/ 0.5 x)) (* (/ 0.5 y) (/ 0.5 y))) (- (/ 0.5 x) (/ 0.5 y)) (+ (/ (cbrt 0.5) x) (/ (cbrt 0.5) y)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) (+ (/ 0.5 x) (/ 0.5 y)) (+ (/ 0.5 x) (/ 0.5 y)) (+ (/ 1 x) (/ 1 y)) (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 3.278 * * [simplify]: Extracting # 0 : cost 0 3.278 * * [simplify]: Extracting # 1 : cost 0 3.278 * * [simplify]: Extracting # 2 : cost 0 3.278 * * [simplify]: Extracting # 3 : cost 0 3.278 * * [simplify]: Extracting # 4 : cost 0 3.278 * * [simplify]: Extracting # 5 : cost 0 3.278 * * [simplify]: iteration 0 : 46 enodes (cost 227 ) 3.289 * * [simplify]: Extracting # 0 : cost 0 3.289 * * [simplify]: Extracting # 1 : cost 0 3.289 * * [simplify]: Extracting # 2 : cost 0 3.289 * * [simplify]: Extracting # 3 : cost 0 3.289 * * [simplify]: iteration 1 : 117 enodes (cost 216 ) 3.325 * * [simplify]: Extracting # 0 : cost 0 3.326 * * [simplify]: Extracting # 1 : cost 0 3.326 * * [simplify]: Extracting # 2 : cost 0 3.326 * * [simplify]: Extracting # 3 : cost 0 3.326 * * [simplify]: iteration 2 : 279 enodes (cost 194 ) 3.431 * * [simplify]: Extracting # 0 : cost 0 3.432 * * [simplify]: Extracting # 1 : cost 0 3.432 * * [simplify]: Extracting # 2 : cost 0 3.433 * * [simplify]: Extracting # 3 : cost 0 3.434 * * [simplify]: Extracting # 4 : cost 0 3.435 * * [simplify]: iteration 3 : 831 enodes (cost 194 ) 4.308 * * [simplify]: Extracting # 0 : cost 0 4.312 * * [simplify]: Extracting # 1 : cost 0 4.315 * * [simplify]: Extracting # 2 : cost 0 4.321 * * [simplify]: Extracting # 3 : cost 0 4.331 * * [simplify]: Extracting # 4 : cost 0 4.337 * * [simplify]: Extracting # 5 : cost 0 4.342 * * [simplify]: iteration 4 : 3589 enodes (cost 190 ) 6.435 * * [simplify]: Extracting # 0 : cost 0 6.441 * * [simplify]: Extracting # 1 : cost 0 6.445 * * [simplify]: Extracting # 2 : cost 0 6.450 * * [simplify]: Extracting # 3 : cost 0 6.462 * * [simplify]: Extracting # 4 : cost 0 6.471 * * [simplify]: iteration done: 5000 enodes (cost 190 ) 6.471 * [simplify]: Simplified to: (exp (+ (/ 0.5 x) (/ 0.5 y))) (log (+ (/ 0.5 x) (/ 0.5 y))) (exp (+ (/ 0.5 x) (/ 0.5 y))) (* (cbrt (+ (/ 0.5 x) (/ 0.5 y))) (cbrt (+ (/ 0.5 x) (/ 0.5 y)))) (cbrt (+ (/ 0.5 x) (/ 0.5 y))) (pow (+ (/ 0.5 x) (/ 0.5 y)) 3) (sqrt (+ (/ 0.5 x) (/ 0.5 y))) (sqrt (+ (/ 0.5 x) (/ 0.5 y))) (* 0.5 (+ y x)) (* y x) (+ (pow (/ 0.5 x) 3) (pow (/ 0.5 y) 3)) (* 0.5 (+ (/ (- (/ 0.5 y) (/ 0.5 x)) y) (/ 0.5 (* x x)))) (* 0.5 (- (/ 0.5 (* x x)) (/ 0.5 (* y y)))) (- (/ 0.5 x) (/ 0.5 y)) (+ (/ (cbrt 0.5) x) (/ (cbrt 0.5) y)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) (+ (/ 0.5 x) (/ 0.5 y)) (+ (/ 0.5 x) (/ 0.5 y)) (+ (/ 1 y) (/ 1 x)) (+ (/ 0.5 x) (/ 0.5 y)) (+ (/ 0.5 x) (/ 0.5 y)) (+ (/ 0.5 x) (/ 0.5 y)) 6.471 * * * [progress]: adding candidates to table 6.513 * * [progress]: iteration 3 / 4 6.513 * * * [progress]: picking best candidate 6.518 * * * * [pick]: Picked # 6.518 * * * [progress]: localizing error 6.533 * * * [progress]: generating rewritten candidates 6.533 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 6.779 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 6.786 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 6.795 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 6.865 * * * [progress]: generating series expansions 6.865 * * * * [progress]: [ 1 / 4 ] generating series at (2) 6.868 * [backup-simplify]: Simplify (* (/ (sqrt 0.5) 1) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) into (* (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) (sqrt 0.5)) 6.868 * [approximate]: Taking taylor expansion of (* (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) (sqrt 0.5)) in (x y) around 0 6.868 * [taylor]: Taking taylor expansion of (* (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) (sqrt 0.5)) in y 6.868 * [taylor]: Taking taylor expansion of (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) in y 6.868 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) x) in y 6.868 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 6.868 * [taylor]: Taking taylor expansion of 0.5 in y 6.868 * [backup-simplify]: Simplify 0.5 into 0.5 6.868 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.869 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.869 * [taylor]: Taking taylor expansion of x in y 6.869 * [backup-simplify]: Simplify x into x 6.870 * [backup-simplify]: Simplify (/ (sqrt 0.5) x) into (/ (sqrt 0.5) x) 6.870 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) y) in y 6.870 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 6.870 * [taylor]: Taking taylor expansion of 0.5 in y 6.870 * [backup-simplify]: Simplify 0.5 into 0.5 6.870 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.871 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.871 * [taylor]: Taking taylor expansion of y in y 6.871 * [backup-simplify]: Simplify 0 into 0 6.871 * [backup-simplify]: Simplify 1 into 1 6.872 * [backup-simplify]: Simplify (/ (sqrt 0.5) 1) into (sqrt 0.5) 6.872 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 6.872 * [taylor]: Taking taylor expansion of 0.5 in y 6.872 * [backup-simplify]: Simplify 0.5 into 0.5 6.873 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.873 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.873 * [taylor]: Taking taylor expansion of (* (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) (sqrt 0.5)) in x 6.874 * [taylor]: Taking taylor expansion of (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) in x 6.874 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) x) in x 6.874 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 6.874 * [taylor]: Taking taylor expansion of 0.5 in x 6.874 * [backup-simplify]: Simplify 0.5 into 0.5 6.874 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.875 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.875 * [taylor]: Taking taylor expansion of x in x 6.875 * [backup-simplify]: Simplify 0 into 0 6.875 * [backup-simplify]: Simplify 1 into 1 6.876 * [backup-simplify]: Simplify (/ (sqrt 0.5) 1) into (sqrt 0.5) 6.876 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) y) in x 6.876 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 6.876 * [taylor]: Taking taylor expansion of 0.5 in x 6.876 * [backup-simplify]: Simplify 0.5 into 0.5 6.876 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.882 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.882 * [taylor]: Taking taylor expansion of y in x 6.882 * [backup-simplify]: Simplify y into y 6.882 * [backup-simplify]: Simplify (/ (sqrt 0.5) y) into (/ (sqrt 0.5) y) 6.883 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 6.883 * [taylor]: Taking taylor expansion of 0.5 in x 6.883 * [backup-simplify]: Simplify 0.5 into 0.5 6.883 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.884 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.884 * [taylor]: Taking taylor expansion of (* (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) (sqrt 0.5)) in x 6.884 * [taylor]: Taking taylor expansion of (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) in x 6.884 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) x) in x 6.884 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 6.884 * [taylor]: Taking taylor expansion of 0.5 in x 6.884 * [backup-simplify]: Simplify 0.5 into 0.5 6.884 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.885 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.885 * [taylor]: Taking taylor expansion of x in x 6.885 * [backup-simplify]: Simplify 0 into 0 6.885 * [backup-simplify]: Simplify 1 into 1 6.886 * [backup-simplify]: Simplify (/ (sqrt 0.5) 1) into (sqrt 0.5) 6.886 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) y) in x 6.886 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 6.886 * [taylor]: Taking taylor expansion of 0.5 in x 6.886 * [backup-simplify]: Simplify 0.5 into 0.5 6.887 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.888 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.888 * [taylor]: Taking taylor expansion of y in x 6.888 * [backup-simplify]: Simplify y into y 6.888 * [backup-simplify]: Simplify (/ (sqrt 0.5) y) into (/ (sqrt 0.5) y) 6.888 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 6.888 * [taylor]: Taking taylor expansion of 0.5 in x 6.888 * [backup-simplify]: Simplify 0.5 into 0.5 6.889 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.889 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.890 * [backup-simplify]: Simplify (+ (sqrt 0.5) 0) into (sqrt 0.5) 6.891 * [backup-simplify]: Simplify (* (sqrt 0.5) (sqrt 0.5)) into (pow (sqrt 0.5) 2) 6.891 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in y 6.892 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 6.892 * [taylor]: Taking taylor expansion of 0.5 in y 6.892 * [backup-simplify]: Simplify 0.5 into 0.5 6.892 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.893 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.894 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)))) into 0 6.894 * [backup-simplify]: Simplify (+ 0 (/ (sqrt 0.5) y)) into (/ (sqrt 0.5) y) 6.896 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (* (/ (sqrt 0.5) y) (sqrt 0.5))) into (/ (pow (sqrt 0.5) 2) y) 6.896 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.5) 2) y) in y 6.896 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in y 6.896 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 6.896 * [taylor]: Taking taylor expansion of 0.5 in y 6.896 * [backup-simplify]: Simplify 0.5 into 0.5 6.896 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.897 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.897 * [taylor]: Taking taylor expansion of y in y 6.897 * [backup-simplify]: Simplify 0 into 0 6.897 * [backup-simplify]: Simplify 1 into 1 6.898 * [backup-simplify]: Simplify (* (sqrt 0.5) (sqrt 0.5)) into (pow (sqrt 0.5) 2) 6.900 * [backup-simplify]: Simplify (/ (pow (sqrt 0.5) 2) 1) into (pow (sqrt 0.5) 2) 6.901 * [backup-simplify]: Simplify (pow (sqrt 0.5) 2) into (pow (sqrt 0.5) 2) 6.902 * [backup-simplify]: Simplify (* (sqrt 0.5) (sqrt 0.5)) into (pow (sqrt 0.5) 2) 6.903 * [backup-simplify]: Simplify (pow (sqrt 0.5) 2) into (pow (sqrt 0.5) 2) 6.904 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 6.905 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 6.907 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.907 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 0.5) y) (/ 0 y)))) into 0 6.907 * [backup-simplify]: Simplify (+ 0 0) into 0 6.909 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (+ (* (/ (sqrt 0.5) y) 0) (* 0 (sqrt 0.5)))) into 0 6.909 * [taylor]: Taking taylor expansion of 0 in y 6.909 * [backup-simplify]: Simplify 0 into 0 6.910 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (* 0 (sqrt 0.5))) into 0 6.911 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.5) 2) (/ 0 1)))) into 0 6.911 * [backup-simplify]: Simplify 0 into 0 6.912 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (* 0 (sqrt 0.5))) into 0 6.912 * [backup-simplify]: Simplify 0 into 0 6.913 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 6.915 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 6.916 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.917 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 6.918 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 0.5) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.918 * [backup-simplify]: Simplify (+ 0 0) into 0 6.920 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (+ (* (/ (sqrt 0.5) y) 0) (+ (* 0 0) (* 0 (sqrt 0.5))))) into 0 6.920 * [taylor]: Taking taylor expansion of 0 in y 6.920 * [backup-simplify]: Simplify 0 into 0 6.920 * [backup-simplify]: Simplify 0 into 0 6.921 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 6.922 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (+ (* 0 0) (* 0 (sqrt 0.5)))) into 0 6.924 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.5) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.924 * [backup-simplify]: Simplify 0 into 0 6.925 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 6.926 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (+ (* 0 0) (* 0 (sqrt 0.5)))) into 0 6.926 * [backup-simplify]: Simplify 0 into 0 6.928 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 6.929 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 6.930 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.932 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 6.932 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 0.5) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.933 * [backup-simplify]: Simplify (+ 0 0) into 0 6.935 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (+ (* (/ (sqrt 0.5) y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5)))))) into 0 6.935 * [taylor]: Taking taylor expansion of 0 in y 6.935 * [backup-simplify]: Simplify 0 into 0 6.935 * [backup-simplify]: Simplify 0 into 0 6.937 * [backup-simplify]: Simplify (+ (* (pow (sqrt 0.5) 2) (* 1 (/ 1 x))) (* (pow (sqrt 0.5) 2) (* (/ 1 y) 1))) into (+ (/ (pow (sqrt 0.5) 2) y) (/ (pow (sqrt 0.5) 2) x)) 6.939 * [backup-simplify]: Simplify (* (/ (sqrt 0.5) 1) (+ (/ (sqrt 0.5) (/ 1 x)) (/ (sqrt 0.5) (/ 1 y)))) into (* (+ (* y (sqrt 0.5)) (* x (sqrt 0.5))) (sqrt 0.5)) 6.939 * [approximate]: Taking taylor expansion of (* (+ (* y (sqrt 0.5)) (* x (sqrt 0.5))) (sqrt 0.5)) in (x y) around 0 6.939 * [taylor]: Taking taylor expansion of (* (+ (* y (sqrt 0.5)) (* x (sqrt 0.5))) (sqrt 0.5)) in y 6.940 * [taylor]: Taking taylor expansion of (+ (* y (sqrt 0.5)) (* x (sqrt 0.5))) in y 6.940 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in y 6.940 * [taylor]: Taking taylor expansion of y in y 6.940 * [backup-simplify]: Simplify 0 into 0 6.940 * [backup-simplify]: Simplify 1 into 1 6.940 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 6.940 * [taylor]: Taking taylor expansion of 0.5 in y 6.940 * [backup-simplify]: Simplify 0.5 into 0.5 6.940 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.941 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.941 * [taylor]: Taking taylor expansion of (* x (sqrt 0.5)) in y 6.941 * [taylor]: Taking taylor expansion of x in y 6.941 * [backup-simplify]: Simplify x into x 6.941 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 6.941 * [taylor]: Taking taylor expansion of 0.5 in y 6.941 * [backup-simplify]: Simplify 0.5 into 0.5 6.941 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.942 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.942 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 6.942 * [taylor]: Taking taylor expansion of 0.5 in y 6.942 * [backup-simplify]: Simplify 0.5 into 0.5 6.943 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.943 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.943 * [taylor]: Taking taylor expansion of (* (+ (* y (sqrt 0.5)) (* x (sqrt 0.5))) (sqrt 0.5)) in x 6.943 * [taylor]: Taking taylor expansion of (+ (* y (sqrt 0.5)) (* x (sqrt 0.5))) in x 6.944 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in x 6.944 * [taylor]: Taking taylor expansion of y in x 6.944 * [backup-simplify]: Simplify y into y 6.944 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 6.944 * [taylor]: Taking taylor expansion of 0.5 in x 6.944 * [backup-simplify]: Simplify 0.5 into 0.5 6.944 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.945 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.945 * [taylor]: Taking taylor expansion of (* x (sqrt 0.5)) in x 6.945 * [taylor]: Taking taylor expansion of x in x 6.945 * [backup-simplify]: Simplify 0 into 0 6.945 * [backup-simplify]: Simplify 1 into 1 6.945 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 6.945 * [taylor]: Taking taylor expansion of 0.5 in x 6.945 * [backup-simplify]: Simplify 0.5 into 0.5 6.946 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.946 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.946 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 6.946 * [taylor]: Taking taylor expansion of 0.5 in x 6.946 * [backup-simplify]: Simplify 0.5 into 0.5 6.947 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.947 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.948 * [taylor]: Taking taylor expansion of (* (+ (* y (sqrt 0.5)) (* x (sqrt 0.5))) (sqrt 0.5)) in x 6.948 * [taylor]: Taking taylor expansion of (+ (* y (sqrt 0.5)) (* x (sqrt 0.5))) in x 6.948 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in x 6.948 * [taylor]: Taking taylor expansion of y in x 6.948 * [backup-simplify]: Simplify y into y 6.948 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 6.948 * [taylor]: Taking taylor expansion of 0.5 in x 6.948 * [backup-simplify]: Simplify 0.5 into 0.5 6.948 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.949 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.949 * [taylor]: Taking taylor expansion of (* x (sqrt 0.5)) in x 6.949 * [taylor]: Taking taylor expansion of x in x 6.949 * [backup-simplify]: Simplify 0 into 0 6.949 * [backup-simplify]: Simplify 1 into 1 6.949 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 6.949 * [taylor]: Taking taylor expansion of 0.5 in x 6.949 * [backup-simplify]: Simplify 0.5 into 0.5 6.949 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.950 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.950 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 6.950 * [taylor]: Taking taylor expansion of 0.5 in x 6.950 * [backup-simplify]: Simplify 0.5 into 0.5 6.951 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.951 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.952 * [backup-simplify]: Simplify (* y (sqrt 0.5)) into (* y (sqrt 0.5)) 6.952 * [backup-simplify]: Simplify (* 0 (sqrt 0.5)) into 0 6.953 * [backup-simplify]: Simplify (+ (* y (sqrt 0.5)) 0) into (* y (sqrt 0.5)) 6.954 * [backup-simplify]: Simplify (* (* y (sqrt 0.5)) (sqrt 0.5)) into (* y (pow (sqrt 0.5) 2)) 6.954 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 0.5) 2)) in y 6.954 * [taylor]: Taking taylor expansion of y in y 6.954 * [backup-simplify]: Simplify 0 into 0 6.954 * [backup-simplify]: Simplify 1 into 1 6.954 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in y 6.954 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 6.954 * [taylor]: Taking taylor expansion of 0.5 in y 6.954 * [backup-simplify]: Simplify 0.5 into 0.5 6.954 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.955 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.956 * [backup-simplify]: Simplify (* (sqrt 0.5) (sqrt 0.5)) into (pow (sqrt 0.5) 2) 6.956 * [backup-simplify]: Simplify (* 0 (pow (sqrt 0.5) 2)) into 0 6.957 * [backup-simplify]: Simplify 0 into 0 6.957 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (sqrt 0.5))) into 0 6.958 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 0.5))) into (sqrt 0.5) 6.959 * [backup-simplify]: Simplify (+ 0 (sqrt 0.5)) into (sqrt 0.5) 6.960 * [backup-simplify]: Simplify (+ (* (* y (sqrt 0.5)) 0) (* (sqrt 0.5) (sqrt 0.5))) into (pow (sqrt 0.5) 2) 6.960 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in y 6.960 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 6.960 * [taylor]: Taking taylor expansion of 0.5 in y 6.960 * [backup-simplify]: Simplify 0.5 into 0.5 6.960 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.961 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.961 * [backup-simplify]: Simplify (* (sqrt 0.5) (sqrt 0.5)) into (pow (sqrt 0.5) 2) 6.962 * [backup-simplify]: Simplify (pow (sqrt 0.5) 2) into (pow (sqrt 0.5) 2) 6.962 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (* 0 (sqrt 0.5))) into 0 6.965 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow (sqrt 0.5) 2))) into (pow (sqrt 0.5) 2) 6.965 * [backup-simplify]: Simplify (pow (sqrt 0.5) 2) into (pow (sqrt 0.5) 2) 6.966 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 6.966 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 6.967 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (sqrt 0.5)))) into 0 6.968 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 6.968 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 0.5)))) into 0 6.969 * [backup-simplify]: Simplify (+ 0 0) into 0 6.969 * [backup-simplify]: Simplify (+ (* (* y (sqrt 0.5)) 0) (+ (* (sqrt 0.5) 0) (* 0 (sqrt 0.5)))) into 0 6.969 * [taylor]: Taking taylor expansion of 0 in y 6.969 * [backup-simplify]: Simplify 0 into 0 6.969 * [backup-simplify]: Simplify 0 into 0 6.970 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (* 0 (sqrt 0.5))) into 0 6.970 * [backup-simplify]: Simplify 0 into 0 6.971 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 6.971 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (+ (* 0 0) (* 0 (sqrt 0.5)))) into 0 6.972 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow (sqrt 0.5) 2)))) into 0 6.972 * [backup-simplify]: Simplify 0 into 0 6.973 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 6.974 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 6.974 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5))))) into 0 6.975 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 6.976 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 0.5))))) into 0 6.976 * [backup-simplify]: Simplify (+ 0 0) into 0 6.977 * [backup-simplify]: Simplify (+ (* (* y (sqrt 0.5)) 0) (+ (* (sqrt 0.5) 0) (+ (* 0 0) (* 0 (sqrt 0.5))))) into 0 6.977 * [taylor]: Taking taylor expansion of 0 in y 6.977 * [backup-simplify]: Simplify 0 into 0 6.977 * [backup-simplify]: Simplify 0 into 0 6.977 * [backup-simplify]: Simplify 0 into 0 6.978 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 6.978 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (+ (* 0 0) (* 0 (sqrt 0.5)))) into 0 6.978 * [backup-simplify]: Simplify 0 into 0 6.980 * [backup-simplify]: Simplify (+ (* (pow (sqrt 0.5) 2) (* (/ 1 y) 1)) (* (pow (sqrt 0.5) 2) (* 1 (/ 1 x)))) into (+ (/ (pow (sqrt 0.5) 2) y) (/ (pow (sqrt 0.5) 2) x)) 6.981 * [backup-simplify]: Simplify (* (/ (sqrt 0.5) 1) (+ (/ (sqrt 0.5) (/ 1 (- x))) (/ (sqrt 0.5) (/ 1 (- y))))) into (* -1 (* (+ (* y (sqrt 0.5)) (* x (sqrt 0.5))) (sqrt 0.5))) 6.981 * [approximate]: Taking taylor expansion of (* -1 (* (+ (* y (sqrt 0.5)) (* x (sqrt 0.5))) (sqrt 0.5))) in (x y) around 0 6.981 * [taylor]: Taking taylor expansion of (* -1 (* (+ (* y (sqrt 0.5)) (* x (sqrt 0.5))) (sqrt 0.5))) in y 6.981 * [taylor]: Taking taylor expansion of -1 in y 6.981 * [backup-simplify]: Simplify -1 into -1 6.981 * [taylor]: Taking taylor expansion of (* (+ (* y (sqrt 0.5)) (* x (sqrt 0.5))) (sqrt 0.5)) in y 6.981 * [taylor]: Taking taylor expansion of (+ (* y (sqrt 0.5)) (* x (sqrt 0.5))) in y 6.981 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in y 6.981 * [taylor]: Taking taylor expansion of y in y 6.981 * [backup-simplify]: Simplify 0 into 0 6.981 * [backup-simplify]: Simplify 1 into 1 6.981 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 6.981 * [taylor]: Taking taylor expansion of 0.5 in y 6.981 * [backup-simplify]: Simplify 0.5 into 0.5 6.981 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.982 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.982 * [taylor]: Taking taylor expansion of (* x (sqrt 0.5)) in y 6.982 * [taylor]: Taking taylor expansion of x in y 6.982 * [backup-simplify]: Simplify x into x 6.982 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 6.982 * [taylor]: Taking taylor expansion of 0.5 in y 6.982 * [backup-simplify]: Simplify 0.5 into 0.5 6.982 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.983 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.983 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 6.983 * [taylor]: Taking taylor expansion of 0.5 in y 6.983 * [backup-simplify]: Simplify 0.5 into 0.5 6.983 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.983 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.983 * [taylor]: Taking taylor expansion of (* -1 (* (+ (* y (sqrt 0.5)) (* x (sqrt 0.5))) (sqrt 0.5))) in x 6.983 * [taylor]: Taking taylor expansion of -1 in x 6.983 * [backup-simplify]: Simplify -1 into -1 6.983 * [taylor]: Taking taylor expansion of (* (+ (* y (sqrt 0.5)) (* x (sqrt 0.5))) (sqrt 0.5)) in x 6.983 * [taylor]: Taking taylor expansion of (+ (* y (sqrt 0.5)) (* x (sqrt 0.5))) in x 6.983 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in x 6.983 * [taylor]: Taking taylor expansion of y in x 6.983 * [backup-simplify]: Simplify y into y 6.984 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 6.984 * [taylor]: Taking taylor expansion of 0.5 in x 6.984 * [backup-simplify]: Simplify 0.5 into 0.5 6.984 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.984 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.984 * [taylor]: Taking taylor expansion of (* x (sqrt 0.5)) in x 6.984 * [taylor]: Taking taylor expansion of x in x 6.984 * [backup-simplify]: Simplify 0 into 0 6.984 * [backup-simplify]: Simplify 1 into 1 6.984 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 6.984 * [taylor]: Taking taylor expansion of 0.5 in x 6.984 * [backup-simplify]: Simplify 0.5 into 0.5 6.985 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.985 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.985 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 6.985 * [taylor]: Taking taylor expansion of 0.5 in x 6.985 * [backup-simplify]: Simplify 0.5 into 0.5 6.985 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.986 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.986 * [taylor]: Taking taylor expansion of (* -1 (* (+ (* y (sqrt 0.5)) (* x (sqrt 0.5))) (sqrt 0.5))) in x 6.986 * [taylor]: Taking taylor expansion of -1 in x 6.986 * [backup-simplify]: Simplify -1 into -1 6.986 * [taylor]: Taking taylor expansion of (* (+ (* y (sqrt 0.5)) (* x (sqrt 0.5))) (sqrt 0.5)) in x 6.986 * [taylor]: Taking taylor expansion of (+ (* y (sqrt 0.5)) (* x (sqrt 0.5))) in x 6.986 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in x 6.986 * [taylor]: Taking taylor expansion of y in x 6.986 * [backup-simplify]: Simplify y into y 6.986 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 6.986 * [taylor]: Taking taylor expansion of 0.5 in x 6.986 * [backup-simplify]: Simplify 0.5 into 0.5 6.986 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.987 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.987 * [taylor]: Taking taylor expansion of (* x (sqrt 0.5)) in x 6.987 * [taylor]: Taking taylor expansion of x in x 6.987 * [backup-simplify]: Simplify 0 into 0 6.987 * [backup-simplify]: Simplify 1 into 1 6.987 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 6.987 * [taylor]: Taking taylor expansion of 0.5 in x 6.987 * [backup-simplify]: Simplify 0.5 into 0.5 6.987 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.987 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.987 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 6.988 * [taylor]: Taking taylor expansion of 0.5 in x 6.988 * [backup-simplify]: Simplify 0.5 into 0.5 6.988 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.989 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.989 * [backup-simplify]: Simplify (* y (sqrt 0.5)) into (* y (sqrt 0.5)) 6.990 * [backup-simplify]: Simplify (* 0 (sqrt 0.5)) into 0 6.990 * [backup-simplify]: Simplify (+ (* y (sqrt 0.5)) 0) into (* y (sqrt 0.5)) 6.991 * [backup-simplify]: Simplify (* (* y (sqrt 0.5)) (sqrt 0.5)) into (* y (pow (sqrt 0.5) 2)) 6.992 * [backup-simplify]: Simplify (* -1 (* y (pow (sqrt 0.5) 2))) into (* -1 (* y (pow (sqrt 0.5) 2))) 6.992 * [taylor]: Taking taylor expansion of (* -1 (* y (pow (sqrt 0.5) 2))) in y 6.992 * [taylor]: Taking taylor expansion of -1 in y 6.992 * [backup-simplify]: Simplify -1 into -1 6.992 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 0.5) 2)) in y 6.992 * [taylor]: Taking taylor expansion of y in y 6.993 * [backup-simplify]: Simplify 0 into 0 6.993 * [backup-simplify]: Simplify 1 into 1 6.993 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in y 6.993 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 6.993 * [taylor]: Taking taylor expansion of 0.5 in y 6.993 * [backup-simplify]: Simplify 0.5 into 0.5 6.993 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 6.994 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 6.995 * [backup-simplify]: Simplify (* (sqrt 0.5) (sqrt 0.5)) into (pow (sqrt 0.5) 2) 6.996 * [backup-simplify]: Simplify (* 0 (pow (sqrt 0.5) 2)) into 0 6.996 * [backup-simplify]: Simplify (* -1 0) into 0 6.996 * [backup-simplify]: Simplify 0 into 0 6.997 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (sqrt 0.5))) into 0 6.999 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 0.5))) into (sqrt 0.5) 7.000 * [backup-simplify]: Simplify (+ 0 (sqrt 0.5)) into (sqrt 0.5) 7.001 * [backup-simplify]: Simplify (+ (* (* y (sqrt 0.5)) 0) (* (sqrt 0.5) (sqrt 0.5))) into (pow (sqrt 0.5) 2) 7.004 * [backup-simplify]: Simplify (+ (* -1 (pow (sqrt 0.5) 2)) (* 0 (* y (pow (sqrt 0.5) 2)))) into (- (pow (sqrt 0.5) 2)) 7.004 * [taylor]: Taking taylor expansion of (- (pow (sqrt 0.5) 2)) in y 7.004 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in y 7.004 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 7.004 * [taylor]: Taking taylor expansion of 0.5 in y 7.004 * [backup-simplify]: Simplify 0.5 into 0.5 7.005 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.005 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.007 * [backup-simplify]: Simplify (* (sqrt 0.5) (sqrt 0.5)) into (pow (sqrt 0.5) 2) 7.013 * [backup-simplify]: Simplify (- (pow (sqrt 0.5) 2)) into (- (pow (sqrt 0.5) 2)) 7.015 * [backup-simplify]: Simplify (- (pow (sqrt 0.5) 2)) into (- (pow (sqrt 0.5) 2)) 7.016 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (* 0 (sqrt 0.5))) into 0 7.019 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow (sqrt 0.5) 2))) into (pow (sqrt 0.5) 2) 7.023 * [backup-simplify]: Simplify (+ (* -1 (pow (sqrt 0.5) 2)) (* 0 0)) into (- (pow (sqrt 0.5) 2)) 7.024 * [backup-simplify]: Simplify (- (pow (sqrt 0.5) 2)) into (- (pow (sqrt 0.5) 2)) 7.025 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 7.027 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 7.027 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (sqrt 0.5)))) into 0 7.029 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 7.030 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 0.5)))) into 0 7.030 * [backup-simplify]: Simplify (+ 0 0) into 0 7.032 * [backup-simplify]: Simplify (+ (* (* y (sqrt 0.5)) 0) (+ (* (sqrt 0.5) 0) (* 0 (sqrt 0.5)))) into 0 7.034 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (pow (sqrt 0.5) 2)) (* 0 (* y (pow (sqrt 0.5) 2))))) into 0 7.034 * [taylor]: Taking taylor expansion of 0 in y 7.034 * [backup-simplify]: Simplify 0 into 0 7.034 * [backup-simplify]: Simplify 0 into 0 7.035 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (* 0 (sqrt 0.5))) into 0 7.035 * [backup-simplify]: Simplify (- 0) into 0 7.035 * [backup-simplify]: Simplify 0 into 0 7.037 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 7.038 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (+ (* 0 0) (* 0 (sqrt 0.5)))) into 0 7.039 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow (sqrt 0.5) 2)))) into 0 7.040 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (pow (sqrt 0.5) 2)) (* 0 0))) into 0 7.040 * [backup-simplify]: Simplify 0 into 0 7.042 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.043 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.044 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5))))) into 0 7.045 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.047 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 0.5))))) into 0 7.047 * [backup-simplify]: Simplify (+ 0 0) into 0 7.048 * [backup-simplify]: Simplify (+ (* (* y (sqrt 0.5)) 0) (+ (* (sqrt 0.5) 0) (+ (* 0 0) (* 0 (sqrt 0.5))))) into 0 7.051 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (pow (sqrt 0.5) 2)) (* 0 (* y (pow (sqrt 0.5) 2)))))) into 0 7.051 * [taylor]: Taking taylor expansion of 0 in y 7.051 * [backup-simplify]: Simplify 0 into 0 7.051 * [backup-simplify]: Simplify 0 into 0 7.051 * [backup-simplify]: Simplify 0 into 0 7.052 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 7.053 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) 0) (+ (* 0 0) (* 0 (sqrt 0.5)))) into 0 7.054 * [backup-simplify]: Simplify (- 0) into 0 7.054 * [backup-simplify]: Simplify 0 into 0 7.057 * [backup-simplify]: Simplify (+ (* (- (pow (sqrt 0.5) 2)) (* (/ 1 (- y)) 1)) (* (- (pow (sqrt 0.5) 2)) (* 1 (/ 1 (- x))))) into (+ (/ (pow (sqrt 0.5) 2) y) (/ (pow (sqrt 0.5) 2) x)) 7.058 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 7.058 * [backup-simplify]: Simplify (/ (sqrt 0.5) x) into (/ (sqrt 0.5) x) 7.058 * [approximate]: Taking taylor expansion of (/ (sqrt 0.5) x) in (x) around 0 7.058 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) x) in x 7.058 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 7.058 * [taylor]: Taking taylor expansion of 0.5 in x 7.058 * [backup-simplify]: Simplify 0.5 into 0.5 7.059 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.059 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.059 * [taylor]: Taking taylor expansion of x in x 7.059 * [backup-simplify]: Simplify 0 into 0 7.059 * [backup-simplify]: Simplify 1 into 1 7.060 * [backup-simplify]: Simplify (/ (sqrt 0.5) 1) into (sqrt 0.5) 7.060 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) x) in x 7.061 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 7.061 * [taylor]: Taking taylor expansion of 0.5 in x 7.061 * [backup-simplify]: Simplify 0.5 into 0.5 7.061 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.062 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.062 * [taylor]: Taking taylor expansion of x in x 7.062 * [backup-simplify]: Simplify 0 into 0 7.062 * [backup-simplify]: Simplify 1 into 1 7.063 * [backup-simplify]: Simplify (/ (sqrt 0.5) 1) into (sqrt 0.5) 7.064 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.065 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)))) into 0 7.065 * [backup-simplify]: Simplify 0 into 0 7.066 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 7.068 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.068 * [backup-simplify]: Simplify 0 into 0 7.069 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.070 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.070 * [backup-simplify]: Simplify 0 into 0 7.072 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.073 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.073 * [backup-simplify]: Simplify 0 into 0 7.074 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.076 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.076 * [backup-simplify]: Simplify 0 into 0 7.077 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.079 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.079 * [backup-simplify]: Simplify 0 into 0 7.079 * [backup-simplify]: Simplify (* (sqrt 0.5) (/ 1 x)) into (/ (sqrt 0.5) x) 7.080 * [backup-simplify]: Simplify (/ (sqrt 0.5) (/ 1 x)) into (* x (sqrt 0.5)) 7.080 * [approximate]: Taking taylor expansion of (* x (sqrt 0.5)) in (x) around 0 7.080 * [taylor]: Taking taylor expansion of (* x (sqrt 0.5)) in x 7.080 * [taylor]: Taking taylor expansion of x in x 7.080 * [backup-simplify]: Simplify 0 into 0 7.080 * [backup-simplify]: Simplify 1 into 1 7.080 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 7.080 * [taylor]: Taking taylor expansion of 0.5 in x 7.080 * [backup-simplify]: Simplify 0.5 into 0.5 7.080 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.081 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.081 * [taylor]: Taking taylor expansion of (* x (sqrt 0.5)) in x 7.081 * [taylor]: Taking taylor expansion of x in x 7.081 * [backup-simplify]: Simplify 0 into 0 7.081 * [backup-simplify]: Simplify 1 into 1 7.081 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 7.081 * [taylor]: Taking taylor expansion of 0.5 in x 7.081 * [backup-simplify]: Simplify 0.5 into 0.5 7.082 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.082 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.083 * [backup-simplify]: Simplify (* 0 (sqrt 0.5)) into 0 7.083 * [backup-simplify]: Simplify 0 into 0 7.085 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 0.5))) into (sqrt 0.5) 7.086 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.087 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 7.088 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 0.5)))) into 0 7.088 * [backup-simplify]: Simplify 0 into 0 7.089 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.091 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 0.5))))) into 0 7.091 * [backup-simplify]: Simplify 0 into 0 7.092 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.094 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5)))))) into 0 7.094 * [backup-simplify]: Simplify 0 into 0 7.095 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.097 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5))))))) into 0 7.097 * [backup-simplify]: Simplify 0 into 0 7.098 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.100 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5)))))))) into 0 7.100 * [backup-simplify]: Simplify 0 into 0 7.101 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.104 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5))))))))) into 0 7.104 * [backup-simplify]: Simplify 0 into 0 7.104 * [backup-simplify]: Simplify (* (sqrt 0.5) (/ 1 x)) into (/ (sqrt 0.5) x) 7.105 * [backup-simplify]: Simplify (/ (sqrt 0.5) (/ 1 (- x))) into (* -1 (* x (sqrt 0.5))) 7.105 * [approximate]: Taking taylor expansion of (* -1 (* x (sqrt 0.5))) in (x) around 0 7.105 * [taylor]: Taking taylor expansion of (* -1 (* x (sqrt 0.5))) in x 7.105 * [taylor]: Taking taylor expansion of -1 in x 7.105 * [backup-simplify]: Simplify -1 into -1 7.105 * [taylor]: Taking taylor expansion of (* x (sqrt 0.5)) in x 7.105 * [taylor]: Taking taylor expansion of x in x 7.105 * [backup-simplify]: Simplify 0 into 0 7.105 * [backup-simplify]: Simplify 1 into 1 7.105 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 7.105 * [taylor]: Taking taylor expansion of 0.5 in x 7.105 * [backup-simplify]: Simplify 0.5 into 0.5 7.105 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.106 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.106 * [taylor]: Taking taylor expansion of (* -1 (* x (sqrt 0.5))) in x 7.106 * [taylor]: Taking taylor expansion of -1 in x 7.106 * [backup-simplify]: Simplify -1 into -1 7.106 * [taylor]: Taking taylor expansion of (* x (sqrt 0.5)) in x 7.106 * [taylor]: Taking taylor expansion of x in x 7.106 * [backup-simplify]: Simplify 0 into 0 7.106 * [backup-simplify]: Simplify 1 into 1 7.106 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 7.106 * [taylor]: Taking taylor expansion of 0.5 in x 7.106 * [backup-simplify]: Simplify 0.5 into 0.5 7.107 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.108 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.108 * [backup-simplify]: Simplify (* 0 (sqrt 0.5)) into 0 7.109 * [backup-simplify]: Simplify (* -1 0) into 0 7.109 * [backup-simplify]: Simplify 0 into 0 7.111 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 0.5))) into (sqrt 0.5) 7.113 * [backup-simplify]: Simplify (+ (* -1 (sqrt 0.5)) (* 0 0)) into (- (sqrt 0.5)) 7.114 * [backup-simplify]: Simplify (- (sqrt 0.5)) into (- (sqrt 0.5)) 7.115 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 7.116 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 0.5)))) into 0 7.117 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (sqrt 0.5)) (* 0 0))) into 0 7.117 * [backup-simplify]: Simplify 0 into 0 7.119 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.120 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 0.5))))) into 0 7.122 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (sqrt 0.5)) (* 0 0)))) into 0 7.122 * [backup-simplify]: Simplify 0 into 0 7.123 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.125 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5)))))) into 0 7.127 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sqrt 0.5)) (* 0 0))))) into 0 7.127 * [backup-simplify]: Simplify 0 into 0 7.129 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.130 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5))))))) into 0 7.132 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sqrt 0.5)) (* 0 0)))))) into 0 7.132 * [backup-simplify]: Simplify 0 into 0 7.134 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.136 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5)))))))) into 0 7.137 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sqrt 0.5)) (* 0 0))))))) into 0 7.138 * [backup-simplify]: Simplify 0 into 0 7.139 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.141 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5))))))))) into 0 7.143 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sqrt 0.5)) (* 0 0)))))))) into 0 7.143 * [backup-simplify]: Simplify 0 into 0 7.144 * [backup-simplify]: Simplify (* (- (sqrt 0.5)) (/ 1 (- x))) into (/ (sqrt 0.5) x) 7.144 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 7.145 * [backup-simplify]: Simplify (/ (sqrt 0.5) y) into (/ (sqrt 0.5) y) 7.145 * [approximate]: Taking taylor expansion of (/ (sqrt 0.5) y) in (y) around 0 7.145 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) y) in y 7.145 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 7.145 * [taylor]: Taking taylor expansion of 0.5 in y 7.145 * [backup-simplify]: Simplify 0.5 into 0.5 7.145 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.146 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.146 * [taylor]: Taking taylor expansion of y in y 7.146 * [backup-simplify]: Simplify 0 into 0 7.146 * [backup-simplify]: Simplify 1 into 1 7.147 * [backup-simplify]: Simplify (/ (sqrt 0.5) 1) into (sqrt 0.5) 7.147 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) y) in y 7.147 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 7.147 * [taylor]: Taking taylor expansion of 0.5 in y 7.147 * [backup-simplify]: Simplify 0.5 into 0.5 7.147 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.148 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.148 * [taylor]: Taking taylor expansion of y in y 7.148 * [backup-simplify]: Simplify 0 into 0 7.148 * [backup-simplify]: Simplify 1 into 1 7.149 * [backup-simplify]: Simplify (/ (sqrt 0.5) 1) into (sqrt 0.5) 7.150 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.151 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)))) into 0 7.151 * [backup-simplify]: Simplify 0 into 0 7.152 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 7.153 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.153 * [backup-simplify]: Simplify 0 into 0 7.153 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.154 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.154 * [backup-simplify]: Simplify 0 into 0 7.155 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.155 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.155 * [backup-simplify]: Simplify 0 into 0 7.156 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.157 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.157 * [backup-simplify]: Simplify 0 into 0 7.158 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.158 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.158 * [backup-simplify]: Simplify 0 into 0 7.159 * [backup-simplify]: Simplify (* (sqrt 0.5) (/ 1 y)) into (/ (sqrt 0.5) y) 7.159 * [backup-simplify]: Simplify (/ (sqrt 0.5) (/ 1 y)) into (* y (sqrt 0.5)) 7.159 * [approximate]: Taking taylor expansion of (* y (sqrt 0.5)) in (y) around 0 7.159 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in y 7.159 * [taylor]: Taking taylor expansion of y in y 7.159 * [backup-simplify]: Simplify 0 into 0 7.159 * [backup-simplify]: Simplify 1 into 1 7.159 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 7.159 * [taylor]: Taking taylor expansion of 0.5 in y 7.159 * [backup-simplify]: Simplify 0.5 into 0.5 7.162 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.163 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.163 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in y 7.163 * [taylor]: Taking taylor expansion of y in y 7.163 * [backup-simplify]: Simplify 0 into 0 7.163 * [backup-simplify]: Simplify 1 into 1 7.163 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 7.163 * [taylor]: Taking taylor expansion of 0.5 in y 7.163 * [backup-simplify]: Simplify 0.5 into 0.5 7.163 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.164 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.164 * [backup-simplify]: Simplify (* 0 (sqrt 0.5)) into 0 7.164 * [backup-simplify]: Simplify 0 into 0 7.165 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 0.5))) into (sqrt 0.5) 7.166 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.166 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 7.167 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 0.5)))) into 0 7.167 * [backup-simplify]: Simplify 0 into 0 7.168 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.168 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 0.5))))) into 0 7.168 * [backup-simplify]: Simplify 0 into 0 7.169 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.170 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5)))))) into 0 7.170 * [backup-simplify]: Simplify 0 into 0 7.171 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.172 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5))))))) into 0 7.172 * [backup-simplify]: Simplify 0 into 0 7.173 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.174 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5)))))))) into 0 7.174 * [backup-simplify]: Simplify 0 into 0 7.175 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.176 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5))))))))) into 0 7.176 * [backup-simplify]: Simplify 0 into 0 7.176 * [backup-simplify]: Simplify (* (sqrt 0.5) (/ 1 y)) into (/ (sqrt 0.5) y) 7.177 * [backup-simplify]: Simplify (/ (sqrt 0.5) (/ 1 (- y))) into (* -1 (* y (sqrt 0.5))) 7.177 * [approximate]: Taking taylor expansion of (* -1 (* y (sqrt 0.5))) in (y) around 0 7.177 * [taylor]: Taking taylor expansion of (* -1 (* y (sqrt 0.5))) in y 7.177 * [taylor]: Taking taylor expansion of -1 in y 7.177 * [backup-simplify]: Simplify -1 into -1 7.177 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in y 7.177 * [taylor]: Taking taylor expansion of y in y 7.177 * [backup-simplify]: Simplify 0 into 0 7.177 * [backup-simplify]: Simplify 1 into 1 7.177 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 7.177 * [taylor]: Taking taylor expansion of 0.5 in y 7.177 * [backup-simplify]: Simplify 0.5 into 0.5 7.177 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.178 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.178 * [taylor]: Taking taylor expansion of (* -1 (* y (sqrt 0.5))) in y 7.178 * [taylor]: Taking taylor expansion of -1 in y 7.178 * [backup-simplify]: Simplify -1 into -1 7.178 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in y 7.178 * [taylor]: Taking taylor expansion of y in y 7.178 * [backup-simplify]: Simplify 0 into 0 7.178 * [backup-simplify]: Simplify 1 into 1 7.178 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 7.178 * [taylor]: Taking taylor expansion of 0.5 in y 7.178 * [backup-simplify]: Simplify 0.5 into 0.5 7.178 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.178 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.179 * [backup-simplify]: Simplify (* 0 (sqrt 0.5)) into 0 7.179 * [backup-simplify]: Simplify (* -1 0) into 0 7.179 * [backup-simplify]: Simplify 0 into 0 7.180 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 0.5))) into (sqrt 0.5) 7.181 * [backup-simplify]: Simplify (+ (* -1 (sqrt 0.5)) (* 0 0)) into (- (sqrt 0.5)) 7.182 * [backup-simplify]: Simplify (- (sqrt 0.5)) into (- (sqrt 0.5)) 7.183 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 7.183 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 0.5)))) into 0 7.184 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (sqrt 0.5)) (* 0 0))) into 0 7.184 * [backup-simplify]: Simplify 0 into 0 7.185 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.185 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 0.5))))) into 0 7.186 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (sqrt 0.5)) (* 0 0)))) into 0 7.186 * [backup-simplify]: Simplify 0 into 0 7.187 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.188 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5)))))) into 0 7.188 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sqrt 0.5)) (* 0 0))))) into 0 7.188 * [backup-simplify]: Simplify 0 into 0 7.189 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.190 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5))))))) into 0 7.191 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sqrt 0.5)) (* 0 0)))))) into 0 7.191 * [backup-simplify]: Simplify 0 into 0 7.192 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.193 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5)))))))) into 0 7.194 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sqrt 0.5)) (* 0 0))))))) into 0 7.194 * [backup-simplify]: Simplify 0 into 0 7.195 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.196 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5))))))))) into 0 7.198 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (sqrt 0.5)) (* 0 0)))))))) into 0 7.198 * [backup-simplify]: Simplify 0 into 0 7.199 * [backup-simplify]: Simplify (* (- (sqrt 0.5)) (/ 1 (- y))) into (/ (sqrt 0.5) y) 7.199 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 7.200 * [backup-simplify]: Simplify (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) into (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) 7.200 * [approximate]: Taking taylor expansion of (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) in (x y) around 0 7.200 * [taylor]: Taking taylor expansion of (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) in y 7.200 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) x) in y 7.200 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 7.200 * [taylor]: Taking taylor expansion of 0.5 in y 7.200 * [backup-simplify]: Simplify 0.5 into 0.5 7.201 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.201 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.201 * [taylor]: Taking taylor expansion of x in y 7.201 * [backup-simplify]: Simplify x into x 7.202 * [backup-simplify]: Simplify (/ (sqrt 0.5) x) into (/ (sqrt 0.5) x) 7.202 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) y) in y 7.202 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 7.202 * [taylor]: Taking taylor expansion of 0.5 in y 7.202 * [backup-simplify]: Simplify 0.5 into 0.5 7.202 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.203 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.203 * [taylor]: Taking taylor expansion of y in y 7.203 * [backup-simplify]: Simplify 0 into 0 7.203 * [backup-simplify]: Simplify 1 into 1 7.204 * [backup-simplify]: Simplify (/ (sqrt 0.5) 1) into (sqrt 0.5) 7.204 * [taylor]: Taking taylor expansion of (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) in x 7.204 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) x) in x 7.204 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 7.204 * [taylor]: Taking taylor expansion of 0.5 in x 7.204 * [backup-simplify]: Simplify 0.5 into 0.5 7.205 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.205 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.205 * [taylor]: Taking taylor expansion of x in x 7.205 * [backup-simplify]: Simplify 0 into 0 7.205 * [backup-simplify]: Simplify 1 into 1 7.206 * [backup-simplify]: Simplify (/ (sqrt 0.5) 1) into (sqrt 0.5) 7.206 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) y) in x 7.206 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 7.206 * [taylor]: Taking taylor expansion of 0.5 in x 7.206 * [backup-simplify]: Simplify 0.5 into 0.5 7.207 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.207 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.208 * [taylor]: Taking taylor expansion of y in x 7.208 * [backup-simplify]: Simplify y into y 7.208 * [backup-simplify]: Simplify (/ (sqrt 0.5) y) into (/ (sqrt 0.5) y) 7.208 * [taylor]: Taking taylor expansion of (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) in x 7.208 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) x) in x 7.208 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 7.208 * [taylor]: Taking taylor expansion of 0.5 in x 7.208 * [backup-simplify]: Simplify 0.5 into 0.5 7.209 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.209 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.209 * [taylor]: Taking taylor expansion of x in x 7.209 * [backup-simplify]: Simplify 0 into 0 7.209 * [backup-simplify]: Simplify 1 into 1 7.210 * [backup-simplify]: Simplify (/ (sqrt 0.5) 1) into (sqrt 0.5) 7.210 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) y) in x 7.210 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 7.210 * [taylor]: Taking taylor expansion of 0.5 in x 7.210 * [backup-simplify]: Simplify 0.5 into 0.5 7.211 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.211 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.211 * [taylor]: Taking taylor expansion of y in x 7.211 * [backup-simplify]: Simplify y into y 7.212 * [backup-simplify]: Simplify (/ (sqrt 0.5) y) into (/ (sqrt 0.5) y) 7.213 * [backup-simplify]: Simplify (+ (sqrt 0.5) 0) into (sqrt 0.5) 7.213 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 7.213 * [taylor]: Taking taylor expansion of 0.5 in y 7.213 * [backup-simplify]: Simplify 0.5 into 0.5 7.213 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.214 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.215 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)))) into 0 7.215 * [backup-simplify]: Simplify (+ 0 (/ (sqrt 0.5) y)) into (/ (sqrt 0.5) y) 7.215 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) y) in y 7.215 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 7.215 * [taylor]: Taking taylor expansion of 0.5 in y 7.215 * [backup-simplify]: Simplify 0.5 into 0.5 7.216 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.216 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.216 * [taylor]: Taking taylor expansion of y in y 7.216 * [backup-simplify]: Simplify 0 into 0 7.216 * [backup-simplify]: Simplify 1 into 1 7.217 * [backup-simplify]: Simplify (/ (sqrt 0.5) 1) into (sqrt 0.5) 7.218 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.218 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.219 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 7.221 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.221 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 0.5) y) (/ 0 y)))) into 0 7.221 * [backup-simplify]: Simplify (+ 0 0) into 0 7.221 * [taylor]: Taking taylor expansion of 0 in y 7.222 * [backup-simplify]: Simplify 0 into 0 7.222 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)))) into 0 7.223 * [backup-simplify]: Simplify 0 into 0 7.223 * [backup-simplify]: Simplify 0 into 0 7.224 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.225 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.226 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 7.227 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 0.5) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.227 * [backup-simplify]: Simplify (+ 0 0) into 0 7.227 * [taylor]: Taking taylor expansion of 0 in y 7.227 * [backup-simplify]: Simplify 0 into 0 7.227 * [backup-simplify]: Simplify 0 into 0 7.229 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 7.230 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.230 * [backup-simplify]: Simplify 0 into 0 7.231 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 7.231 * [backup-simplify]: Simplify 0 into 0 7.232 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.234 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.235 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.236 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (sqrt 0.5) y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.236 * [backup-simplify]: Simplify (+ 0 0) into 0 7.236 * [taylor]: Taking taylor expansion of 0 in y 7.236 * [backup-simplify]: Simplify 0 into 0 7.236 * [backup-simplify]: Simplify 0 into 0 7.237 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) (* 1 (/ 1 x))) (* (sqrt 0.5) (* (/ 1 y) 1))) into (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) 7.238 * [backup-simplify]: Simplify (+ (/ (sqrt 0.5) (/ 1 x)) (/ (sqrt 0.5) (/ 1 y))) into (+ (* y (sqrt 0.5)) (* x (sqrt 0.5))) 7.238 * [approximate]: Taking taylor expansion of (+ (* y (sqrt 0.5)) (* x (sqrt 0.5))) in (x y) around 0 7.238 * [taylor]: Taking taylor expansion of (+ (* y (sqrt 0.5)) (* x (sqrt 0.5))) in y 7.238 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in y 7.238 * [taylor]: Taking taylor expansion of y in y 7.238 * [backup-simplify]: Simplify 0 into 0 7.238 * [backup-simplify]: Simplify 1 into 1 7.238 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 7.238 * [taylor]: Taking taylor expansion of 0.5 in y 7.238 * [backup-simplify]: Simplify 0.5 into 0.5 7.239 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.240 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.240 * [taylor]: Taking taylor expansion of (* x (sqrt 0.5)) in y 7.240 * [taylor]: Taking taylor expansion of x in y 7.240 * [backup-simplify]: Simplify x into x 7.240 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 7.240 * [taylor]: Taking taylor expansion of 0.5 in y 7.240 * [backup-simplify]: Simplify 0.5 into 0.5 7.240 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.241 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.241 * [taylor]: Taking taylor expansion of (+ (* y (sqrt 0.5)) (* x (sqrt 0.5))) in x 7.241 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in x 7.241 * [taylor]: Taking taylor expansion of y in x 7.241 * [backup-simplify]: Simplify y into y 7.241 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 7.241 * [taylor]: Taking taylor expansion of 0.5 in x 7.241 * [backup-simplify]: Simplify 0.5 into 0.5 7.241 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.242 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.242 * [taylor]: Taking taylor expansion of (* x (sqrt 0.5)) in x 7.242 * [taylor]: Taking taylor expansion of x in x 7.242 * [backup-simplify]: Simplify 0 into 0 7.242 * [backup-simplify]: Simplify 1 into 1 7.242 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 7.242 * [taylor]: Taking taylor expansion of 0.5 in x 7.242 * [backup-simplify]: Simplify 0.5 into 0.5 7.243 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.243 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.243 * [taylor]: Taking taylor expansion of (+ (* y (sqrt 0.5)) (* x (sqrt 0.5))) in x 7.244 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in x 7.244 * [taylor]: Taking taylor expansion of y in x 7.244 * [backup-simplify]: Simplify y into y 7.244 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 7.244 * [taylor]: Taking taylor expansion of 0.5 in x 7.244 * [backup-simplify]: Simplify 0.5 into 0.5 7.244 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.245 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.245 * [taylor]: Taking taylor expansion of (* x (sqrt 0.5)) in x 7.245 * [taylor]: Taking taylor expansion of x in x 7.245 * [backup-simplify]: Simplify 0 into 0 7.245 * [backup-simplify]: Simplify 1 into 1 7.245 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 7.245 * [taylor]: Taking taylor expansion of 0.5 in x 7.245 * [backup-simplify]: Simplify 0.5 into 0.5 7.245 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.246 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.247 * [backup-simplify]: Simplify (* y (sqrt 0.5)) into (* y (sqrt 0.5)) 7.247 * [backup-simplify]: Simplify (* 0 (sqrt 0.5)) into 0 7.247 * [backup-simplify]: Simplify (+ (* y (sqrt 0.5)) 0) into (* y (sqrt 0.5)) 7.248 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in y 7.248 * [taylor]: Taking taylor expansion of y in y 7.248 * [backup-simplify]: Simplify 0 into 0 7.248 * [backup-simplify]: Simplify 1 into 1 7.248 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 7.248 * [taylor]: Taking taylor expansion of 0.5 in y 7.248 * [backup-simplify]: Simplify 0.5 into 0.5 7.248 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.249 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.249 * [backup-simplify]: Simplify (* 0 (sqrt 0.5)) into 0 7.249 * [backup-simplify]: Simplify 0 into 0 7.250 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (sqrt 0.5))) into 0 7.252 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 0.5))) into (sqrt 0.5) 7.253 * [backup-simplify]: Simplify (+ 0 (sqrt 0.5)) into (sqrt 0.5) 7.253 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 7.253 * [taylor]: Taking taylor expansion of 0.5 in y 7.253 * [backup-simplify]: Simplify 0.5 into 0.5 7.253 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.254 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.254 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.256 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 0.5))) into (sqrt 0.5) 7.257 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.258 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 7.259 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (sqrt 0.5)))) into 0 7.260 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 7.261 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 0.5)))) into 0 7.261 * [backup-simplify]: Simplify (+ 0 0) into 0 7.261 * [taylor]: Taking taylor expansion of 0 in y 7.261 * [backup-simplify]: Simplify 0 into 0 7.261 * [backup-simplify]: Simplify 0 into 0 7.261 * [backup-simplify]: Simplify 0 into 0 7.262 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 7.263 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 0.5)))) into 0 7.263 * [backup-simplify]: Simplify 0 into 0 7.265 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.266 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5))))) into 0 7.267 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.268 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 0.5))))) into 0 7.268 * [backup-simplify]: Simplify (+ 0 0) into 0 7.269 * [taylor]: Taking taylor expansion of 0 in y 7.269 * [backup-simplify]: Simplify 0 into 0 7.269 * [backup-simplify]: Simplify 0 into 0 7.269 * [backup-simplify]: Simplify 0 into 0 7.270 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 7.270 * [backup-simplify]: Simplify 0 into 0 7.271 * [backup-simplify]: Simplify (+ (* (sqrt 0.5) (* (/ 1 y) 1)) (* (sqrt 0.5) (* 1 (/ 1 x)))) into (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) 7.272 * [backup-simplify]: Simplify (+ (/ (sqrt 0.5) (/ 1 (- x))) (/ (sqrt 0.5) (/ 1 (- y)))) into (- (+ (* y (sqrt 0.5)) (* x (sqrt 0.5)))) 7.272 * [approximate]: Taking taylor expansion of (- (+ (* y (sqrt 0.5)) (* x (sqrt 0.5)))) in (x y) around 0 7.272 * [taylor]: Taking taylor expansion of (- (+ (* y (sqrt 0.5)) (* x (sqrt 0.5)))) in y 7.272 * [taylor]: Taking taylor expansion of (+ (* y (sqrt 0.5)) (* x (sqrt 0.5))) in y 7.272 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in y 7.272 * [taylor]: Taking taylor expansion of y in y 7.272 * [backup-simplify]: Simplify 0 into 0 7.272 * [backup-simplify]: Simplify 1 into 1 7.272 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 7.272 * [taylor]: Taking taylor expansion of 0.5 in y 7.272 * [backup-simplify]: Simplify 0.5 into 0.5 7.272 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.273 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.273 * [taylor]: Taking taylor expansion of (* x (sqrt 0.5)) in y 7.273 * [taylor]: Taking taylor expansion of x in y 7.273 * [backup-simplify]: Simplify x into x 7.273 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 7.273 * [taylor]: Taking taylor expansion of 0.5 in y 7.273 * [backup-simplify]: Simplify 0.5 into 0.5 7.274 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.274 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.274 * [taylor]: Taking taylor expansion of (- (+ (* y (sqrt 0.5)) (* x (sqrt 0.5)))) in x 7.275 * [taylor]: Taking taylor expansion of (+ (* y (sqrt 0.5)) (* x (sqrt 0.5))) in x 7.275 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in x 7.275 * [taylor]: Taking taylor expansion of y in x 7.275 * [backup-simplify]: Simplify y into y 7.275 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 7.275 * [taylor]: Taking taylor expansion of 0.5 in x 7.275 * [backup-simplify]: Simplify 0.5 into 0.5 7.275 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.276 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.276 * [taylor]: Taking taylor expansion of (* x (sqrt 0.5)) in x 7.276 * [taylor]: Taking taylor expansion of x in x 7.276 * [backup-simplify]: Simplify 0 into 0 7.276 * [backup-simplify]: Simplify 1 into 1 7.276 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 7.276 * [taylor]: Taking taylor expansion of 0.5 in x 7.276 * [backup-simplify]: Simplify 0.5 into 0.5 7.277 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.277 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.277 * [taylor]: Taking taylor expansion of (- (+ (* y (sqrt 0.5)) (* x (sqrt 0.5)))) in x 7.278 * [taylor]: Taking taylor expansion of (+ (* y (sqrt 0.5)) (* x (sqrt 0.5))) in x 7.278 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in x 7.278 * [taylor]: Taking taylor expansion of y in x 7.278 * [backup-simplify]: Simplify y into y 7.278 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 7.278 * [taylor]: Taking taylor expansion of 0.5 in x 7.278 * [backup-simplify]: Simplify 0.5 into 0.5 7.278 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.279 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.279 * [taylor]: Taking taylor expansion of (* x (sqrt 0.5)) in x 7.279 * [taylor]: Taking taylor expansion of x in x 7.279 * [backup-simplify]: Simplify 0 into 0 7.279 * [backup-simplify]: Simplify 1 into 1 7.279 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 7.279 * [taylor]: Taking taylor expansion of 0.5 in x 7.279 * [backup-simplify]: Simplify 0.5 into 0.5 7.279 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.280 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.281 * [backup-simplify]: Simplify (* y (sqrt 0.5)) into (* y (sqrt 0.5)) 7.281 * [backup-simplify]: Simplify (* 0 (sqrt 0.5)) into 0 7.282 * [backup-simplify]: Simplify (+ (* y (sqrt 0.5)) 0) into (* y (sqrt 0.5)) 7.282 * [backup-simplify]: Simplify (- (* y (sqrt 0.5))) into (- (* y (sqrt 0.5))) 7.282 * [taylor]: Taking taylor expansion of (- (* y (sqrt 0.5))) in y 7.282 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in y 7.282 * [taylor]: Taking taylor expansion of y in y 7.282 * [backup-simplify]: Simplify 0 into 0 7.282 * [backup-simplify]: Simplify 1 into 1 7.282 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 7.282 * [taylor]: Taking taylor expansion of 0.5 in y 7.282 * [backup-simplify]: Simplify 0.5 into 0.5 7.283 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.284 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.284 * [backup-simplify]: Simplify (* 0 (sqrt 0.5)) into 0 7.285 * [backup-simplify]: Simplify (- 0) into 0 7.285 * [backup-simplify]: Simplify 0 into 0 7.290 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (sqrt 0.5))) into 0 7.292 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 0.5))) into (sqrt 0.5) 7.293 * [backup-simplify]: Simplify (+ 0 (sqrt 0.5)) into (sqrt 0.5) 7.294 * [backup-simplify]: Simplify (- (sqrt 0.5)) into (- (sqrt 0.5)) 7.294 * [taylor]: Taking taylor expansion of (- (sqrt 0.5)) in y 7.294 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 7.294 * [taylor]: Taking taylor expansion of 0.5 in y 7.294 * [backup-simplify]: Simplify 0.5 into 0.5 7.295 * [backup-simplify]: Simplify (sqrt 0.5) into (sqrt 0.5) 7.295 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.5))) into 0 7.296 * [backup-simplify]: Simplify (- (sqrt 0.5)) into (- (sqrt 0.5)) 7.297 * [backup-simplify]: Simplify (- (sqrt 0.5)) into (- (sqrt 0.5)) 7.299 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 0.5))) into (sqrt 0.5) 7.300 * [backup-simplify]: Simplify (- (sqrt 0.5)) into (- (sqrt 0.5)) 7.301 * [backup-simplify]: Simplify (- (sqrt 0.5)) into (- (sqrt 0.5)) 7.302 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 7.303 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (sqrt 0.5)))) into 0 7.304 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 7.305 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 0.5)))) into 0 7.305 * [backup-simplify]: Simplify (+ 0 0) into 0 7.306 * [backup-simplify]: Simplify (- 0) into 0 7.306 * [taylor]: Taking taylor expansion of 0 in y 7.306 * [backup-simplify]: Simplify 0 into 0 7.306 * [backup-simplify]: Simplify 0 into 0 7.306 * [backup-simplify]: Simplify (- 0) into 0 7.306 * [backup-simplify]: Simplify 0 into 0 7.307 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 7.308 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 0.5)))) into 0 7.309 * [backup-simplify]: Simplify (- 0) into 0 7.309 * [backup-simplify]: Simplify 0 into 0 7.310 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.311 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.5))))) into 0 7.312 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.5))) into 0 7.314 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 0.5))))) into 0 7.314 * [backup-simplify]: Simplify (+ 0 0) into 0 7.315 * [backup-simplify]: Simplify (- 0) into 0 7.315 * [taylor]: Taking taylor expansion of 0 in y 7.315 * [backup-simplify]: Simplify 0 into 0 7.315 * [backup-simplify]: Simplify 0 into 0 7.315 * [backup-simplify]: Simplify 0 into 0 7.316 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.5))) into 0 7.317 * [backup-simplify]: Simplify (- 0) into 0 7.317 * [backup-simplify]: Simplify 0 into 0 7.319 * [backup-simplify]: Simplify (+ (* (- (sqrt 0.5)) (* (/ 1 (- y)) 1)) (* (- (sqrt 0.5)) (* 1 (/ 1 (- x))))) into (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) 7.319 * * * [progress]: simplifying candidates 7.324 * [simplify]: Simplifying: (* (/ (sqrt 0.5) 1) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (+ (- (log (sqrt 0.5)) 0) (log (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (+ (- (log (sqrt 0.5)) (log 1)) (log (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (+ (log (/ (sqrt 0.5) 1)) (log (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (log (* (/ (sqrt 0.5) 1) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (exp (* (/ (sqrt 0.5) 1) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (* (/ (* (* (sqrt 0.5) (sqrt 0.5)) (sqrt 0.5)) (* (* 1 1) 1)) (* (* (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (* (* (* (/ (sqrt 0.5) 1) (/ (sqrt 0.5) 1)) (/ (sqrt 0.5) 1)) (* (* (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (* (cbrt (* (/ (sqrt 0.5) 1) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (cbrt (* (/ (sqrt 0.5) 1) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))))) (cbrt (* (/ (sqrt 0.5) 1) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (* (* (* (/ (sqrt 0.5) 1) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (/ (sqrt 0.5) 1) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (* (/ (sqrt 0.5) 1) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (sqrt (* (/ (sqrt 0.5) 1) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (sqrt (* (/ (sqrt 0.5) 1) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (* (sqrt 0.5) (+ (* (sqrt 0.5) y) (* x (sqrt 0.5)))) (* 1 (* x y)) (* (sqrt 0.5) (+ (pow (/ (sqrt 0.5) x) 3) (pow (/ (sqrt 0.5) y) 3))) (* 1 (+ (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) x)) (- (* (/ (sqrt 0.5) y) (/ (sqrt 0.5) y)) (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))))) (* (sqrt 0.5) (- (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) x)) (* (/ (sqrt 0.5) y) (/ (sqrt 0.5) y)))) (* 1 (- (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (sqrt (/ (sqrt 0.5) 1)) (sqrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (* (sqrt (/ (sqrt 0.5) 1)) (sqrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (* (/ (sqrt (sqrt 0.5)) (sqrt 1)) (sqrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (* (/ (sqrt (sqrt 0.5)) (sqrt 1)) (sqrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (* (/ (sqrt (sqrt 0.5)) 1) (sqrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (* (/ (sqrt (sqrt 0.5)) 1) (sqrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (* (/ (sqrt (sqrt 0.5)) (sqrt 1)) (sqrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (* (/ (sqrt (sqrt 0.5)) (sqrt 1)) (sqrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (* (/ (sqrt (sqrt 0.5)) 1) (sqrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (* (/ (sqrt (sqrt 0.5)) 1) (sqrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (* (/ (sqrt 0.5) 1) (/ (sqrt 0.5) x)) (* (/ (sqrt 0.5) 1) (/ (sqrt 0.5) y)) (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) 1)) (* (/ (sqrt 0.5) y) (/ (sqrt 0.5) 1)) (* (/ (sqrt 0.5) 1) (* (cbrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (cbrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))))) (* (/ (sqrt 0.5) 1) (sqrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (* (/ (sqrt 0.5) 1) 1) (* (/ (sqrt 0.5) 1) (/ (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) 1)) (* (/ (sqrt 0.5) 1) (/ (sqrt (* (cbrt 0.5) (cbrt 0.5))) 1)) (* (/ (sqrt 0.5) 1) (/ (sqrt (sqrt 0.5)) 1)) (* (/ (sqrt 0.5) 1) (/ (sqrt (sqrt 0.5)) 1)) (* (/ (sqrt 0.5) 1) (/ (sqrt 1) 1)) (* (/ (sqrt 0.5) 1) (/ (sqrt (sqrt 0.5)) 1)) (* (/ (sqrt 0.5) 1) (/ (sqrt (sqrt 0.5)) 1)) (* (/ (sqrt 0.5) 1) (/ 1 1)) (* (/ (sqrt 0.5) 1) 1) (* (/ (sqrt 0.5) 1) (sqrt 0.5)) (* (cbrt (/ (sqrt 0.5) 1)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (sqrt (/ (sqrt 0.5) 1)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (/ (cbrt (sqrt 0.5)) (cbrt 1)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (/ (cbrt (sqrt 0.5)) (sqrt 1)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (/ (cbrt (sqrt 0.5)) 1) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (/ (sqrt (cbrt 0.5)) (cbrt 1)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (/ (sqrt (cbrt 0.5)) (sqrt 1)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (/ (sqrt (cbrt 0.5)) 1) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (/ (sqrt (sqrt 0.5)) (cbrt 1)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (/ (sqrt (sqrt 0.5)) (sqrt 1)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (/ (sqrt (sqrt 0.5)) 1) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (/ (sqrt 0.5) (cbrt 1)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (/ (sqrt 0.5) (sqrt 1)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (/ (sqrt 0.5) 1) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (/ (sqrt (sqrt 0.5)) (cbrt 1)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (/ (sqrt (sqrt 0.5)) (sqrt 1)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (/ (sqrt (sqrt 0.5)) 1) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (/ (sqrt 0.5) (cbrt 1)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (/ (sqrt 0.5) (sqrt 1)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (/ (sqrt 0.5) 1) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (/ (sqrt 0.5) 1) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (/ 1 1) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (/ (sqrt 0.5) 1) (+ (* (sqrt 0.5) y) (* x (sqrt 0.5)))) (* (/ (sqrt 0.5) 1) (+ (pow (/ (sqrt 0.5) x) 3) (pow (/ (sqrt 0.5) y) 3))) (* (/ (sqrt 0.5) 1) (- (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) x)) (* (/ (sqrt 0.5) y) (/ (sqrt 0.5) y)))) (* (sqrt 0.5) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (- (log (sqrt 0.5)) (log x)) (log (/ (sqrt 0.5) x)) (exp (/ (sqrt 0.5) x)) (/ (* (* (sqrt 0.5) (sqrt 0.5)) (sqrt 0.5)) (* (* x x) x)) (* (cbrt (/ (sqrt 0.5) x)) (cbrt (/ (sqrt 0.5) x))) (cbrt (/ (sqrt 0.5) x)) (* (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) x)) (/ (sqrt 0.5) x)) (sqrt (/ (sqrt 0.5) x)) (sqrt (/ (sqrt 0.5) x)) (- (sqrt 0.5)) (- x) (/ (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (* (cbrt x) (cbrt x))) (/ (cbrt (sqrt 0.5)) (cbrt x)) (/ (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (sqrt x)) (/ (cbrt (sqrt 0.5)) (sqrt x)) (/ (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) 1) (/ (cbrt (sqrt 0.5)) x) (/ (sqrt (* (cbrt 0.5) (cbrt 0.5))) (* (cbrt x) (cbrt x))) (/ (sqrt (cbrt 0.5)) (cbrt x)) (/ (sqrt (* (cbrt 0.5) (cbrt 0.5))) (sqrt x)) (/ (sqrt (cbrt 0.5)) (sqrt x)) (/ (sqrt (* (cbrt 0.5) (cbrt 0.5))) 1) (/ (sqrt (cbrt 0.5)) x) (/ (sqrt (sqrt 0.5)) (* (cbrt x) (cbrt x))) (/ (sqrt (sqrt 0.5)) (cbrt x)) (/ (sqrt (sqrt 0.5)) (sqrt x)) (/ (sqrt (sqrt 0.5)) (sqrt x)) (/ (sqrt (sqrt 0.5)) 1) (/ (sqrt (sqrt 0.5)) x) (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 0.5) (cbrt x)) (/ (sqrt 1) (sqrt x)) (/ (sqrt 0.5) (sqrt x)) (/ (sqrt 1) 1) (/ (sqrt 0.5) x) (/ (sqrt (sqrt 0.5)) (* (cbrt x) (cbrt x))) (/ (sqrt (sqrt 0.5)) (cbrt x)) (/ (sqrt (sqrt 0.5)) (sqrt x)) (/ (sqrt (sqrt 0.5)) (sqrt x)) (/ (sqrt (sqrt 0.5)) 1) (/ (sqrt (sqrt 0.5)) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (sqrt 0.5) (cbrt x)) (/ 1 (sqrt x)) (/ (sqrt 0.5) (sqrt x)) (/ 1 1) (/ (sqrt 0.5) x) (/ 1 x) (/ x (sqrt 0.5)) (/ (sqrt 0.5) (* (cbrt x) (cbrt x))) (/ (sqrt 0.5) (sqrt x)) (/ (sqrt 0.5) 1) (/ x (cbrt (sqrt 0.5))) (/ x (sqrt (cbrt 0.5))) (/ x (sqrt (sqrt 0.5))) (/ x (sqrt 0.5)) (/ x (sqrt (sqrt 0.5))) (/ x (sqrt 0.5)) (- (log (sqrt 0.5)) (log y)) (log (/ (sqrt 0.5) y)) (exp (/ (sqrt 0.5) y)) (/ (* (* (sqrt 0.5) (sqrt 0.5)) (sqrt 0.5)) (* (* y y) y)) (* (cbrt (/ (sqrt 0.5) y)) (cbrt (/ (sqrt 0.5) y))) (cbrt (/ (sqrt 0.5) y)) (* (* (/ (sqrt 0.5) y) (/ (sqrt 0.5) y)) (/ (sqrt 0.5) y)) (sqrt (/ (sqrt 0.5) y)) (sqrt (/ (sqrt 0.5) y)) (- (sqrt 0.5)) (- y) (/ (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (* (cbrt y) (cbrt y))) (/ (cbrt (sqrt 0.5)) (cbrt y)) (/ (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (sqrt y)) (/ (cbrt (sqrt 0.5)) (sqrt y)) (/ (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) 1) (/ (cbrt (sqrt 0.5)) y) (/ (sqrt (* (cbrt 0.5) (cbrt 0.5))) (* (cbrt y) (cbrt y))) (/ (sqrt (cbrt 0.5)) (cbrt y)) (/ (sqrt (* (cbrt 0.5) (cbrt 0.5))) (sqrt y)) (/ (sqrt (cbrt 0.5)) (sqrt y)) (/ (sqrt (* (cbrt 0.5) (cbrt 0.5))) 1) (/ (sqrt (cbrt 0.5)) y) (/ (sqrt (sqrt 0.5)) (* (cbrt y) (cbrt y))) (/ (sqrt (sqrt 0.5)) (cbrt y)) (/ (sqrt (sqrt 0.5)) (sqrt y)) (/ (sqrt (sqrt 0.5)) (sqrt y)) (/ (sqrt (sqrt 0.5)) 1) (/ (sqrt (sqrt 0.5)) y) (/ (sqrt 1) (* (cbrt y) (cbrt y))) (/ (sqrt 0.5) (cbrt y)) (/ (sqrt 1) (sqrt y)) (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 1) 1) (/ (sqrt 0.5) y) (/ (sqrt (sqrt 0.5)) (* (cbrt y) (cbrt y))) (/ (sqrt (sqrt 0.5)) (cbrt y)) (/ (sqrt (sqrt 0.5)) (sqrt y)) (/ (sqrt (sqrt 0.5)) (sqrt y)) (/ (sqrt (sqrt 0.5)) 1) (/ (sqrt (sqrt 0.5)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sqrt 0.5) (cbrt y)) (/ 1 (sqrt y)) (/ (sqrt 0.5) (sqrt y)) (/ 1 1) (/ (sqrt 0.5) y) (/ 1 y) (/ y (sqrt 0.5)) (/ (sqrt 0.5) (* (cbrt y) (cbrt y))) (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) 1) (/ y (cbrt (sqrt 0.5))) (/ y (sqrt (cbrt 0.5))) (/ y (sqrt (sqrt 0.5))) (/ y (sqrt 0.5)) (/ y (sqrt (sqrt 0.5))) (/ y (sqrt 0.5)) (* (exp (/ (sqrt 0.5) x)) (exp (/ (sqrt 0.5) y))) (log (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (exp (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (cbrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (cbrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (cbrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (* (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (sqrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (sqrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (+ (* (sqrt 0.5) y) (* x (sqrt 0.5))) (* x y) (+ (pow (/ (sqrt 0.5) x) 3) (pow (/ (sqrt 0.5) y) 3)) (+ (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) x)) (- (* (/ (sqrt 0.5) y) (/ (sqrt 0.5) y)) (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (- (* (/ (sqrt 0.5) x) (/ (sqrt 0.5) x)) (* (/ (sqrt 0.5) y) (/ (sqrt 0.5) y))) (- (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) (+ (/ (cbrt (sqrt 0.5)) x) (/ (cbrt (sqrt 0.5)) y)) (+ (/ (sqrt (cbrt 0.5)) x) (/ (sqrt (cbrt 0.5)) y)) (+ (/ (sqrt (sqrt 0.5)) x) (/ (sqrt (sqrt 0.5)) y)) (+ (/ (sqrt (sqrt 0.5)) x) (/ (sqrt (sqrt 0.5)) y)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) (+ (/ (sqrt (sqrt 0.5)) x) (/ (sqrt (sqrt 0.5)) y)) (+ (/ (sqrt (sqrt 0.5)) x) (/ (sqrt (sqrt 0.5)) y)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) (+ (/ 1 x) (/ 1 y)) (+ (/ (pow (sqrt 0.5) 2) y) (/ (pow (sqrt 0.5) 2) x)) (+ (/ (pow (sqrt 0.5) 2) y) (/ (pow (sqrt 0.5) 2) x)) (+ (/ (pow (sqrt 0.5) 2) y) (/ (pow (sqrt 0.5) 2) x)) (/ (sqrt 0.5) x) (/ (sqrt 0.5) x) (/ (sqrt 0.5) x) (/ (sqrt 0.5) y) (/ (sqrt 0.5) y) (/ (sqrt 0.5) y) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) 7.331 * * [simplify]: Extracting # 0 : cost 0 7.331 * * [simplify]: Extracting # 1 : cost 0 7.332 * * [simplify]: Extracting # 2 : cost 0 7.332 * * [simplify]: Extracting # 3 : cost 0 7.333 * * [simplify]: Extracting # 4 : cost 0 7.334 * * [simplify]: Extracting # 5 : cost 0 7.334 * * [simplify]: Extracting # 6 : cost 0 7.335 * * [simplify]: iteration 0 : 216 enodes (cost 2236 ) 7.448 * * [simplify]: Extracting # 0 : cost 0 7.449 * * [simplify]: Extracting # 1 : cost 0 7.450 * * [simplify]: Extracting # 2 : cost 0 7.450 * * [simplify]: Extracting # 3 : cost 0 7.450 * * [simplify]: Extracting # 4 : cost 0 7.451 * * [simplify]: iteration 1 : 513 enodes (cost 1755 ) 7.642 * * [simplify]: Extracting # 0 : cost 0 7.644 * * [simplify]: Extracting # 1 : cost 0 7.646 * * [simplify]: Extracting # 2 : cost 0 7.647 * * [simplify]: Extracting # 3 : cost 0 7.648 * * [simplify]: Extracting # 4 : cost 0 7.649 * * [simplify]: iteration 2 : 1334 enodes (cost 1653 ) 9.262 * * [simplify]: Extracting # 0 : cost 0 9.268 * * [simplify]: Extracting # 1 : cost 0 9.272 * * [simplify]: Extracting # 2 : cost 0 9.280 * * [simplify]: Extracting # 3 : cost 0 9.288 * * [simplify]: Extracting # 4 : cost 0 9.295 * * [simplify]: iteration 3 : 4237 enodes (cost 1642 ) 11.017 * * [simplify]: Extracting # 0 : cost 0 11.024 * * [simplify]: Extracting # 1 : cost 0 11.033 * * [simplify]: Extracting # 2 : cost 0 11.041 * * [simplify]: Extracting # 3 : cost 0 11.050 * * [simplify]: iteration done: 5001 enodes (cost 1636 ) 11.052 * [simplify]: Simplified to: (+ (/ 0.5 y) (/ 0.5 x)) (log (+ (/ 0.5 y) (/ 0.5 x))) (log (+ (/ 0.5 y) (/ 0.5 x))) (log (+ (/ 0.5 y) (/ 0.5 x))) (log (+ (/ 0.5 y) (/ 0.5 x))) (exp (+ (/ 0.5 y) (/ 0.5 x))) (pow (+ (/ 0.5 y) (/ 0.5 x)) 3) (pow (+ (/ 0.5 y) (/ 0.5 x)) 3) (* (cbrt (+ (/ 0.5 y) (/ 0.5 x))) (cbrt (+ (/ 0.5 y) (/ 0.5 x)))) (cbrt (+ (/ 0.5 y) (/ 0.5 x))) (pow (+ (/ 0.5 y) (/ 0.5 x)) 3) (sqrt (+ (/ 0.5 y) (/ 0.5 x))) (sqrt (+ (/ 0.5 y) (/ 0.5 x))) (* 0.5 (+ x y)) (* x y) (+ (* (/ 0.5 (pow x 3)) 0.5) (* (/ 0.5 (pow y 3)) 0.5)) (+ (/ (- (/ 0.5 y) (/ 0.5 x)) y) (/ (/ 0.5 x) x)) (* (- (/ (/ 0.5 x) x) (/ (/ 0.5 y) y)) (sqrt 0.5)) (- (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) (* (sqrt (sqrt 0.5)) (sqrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (* (sqrt (sqrt 0.5)) (sqrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (* (sqrt (sqrt 0.5)) (sqrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (* (sqrt (sqrt 0.5)) (sqrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (* (sqrt (sqrt 0.5)) (sqrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (* (sqrt (sqrt 0.5)) (sqrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (* (sqrt (sqrt 0.5)) (sqrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (* (sqrt (sqrt 0.5)) (sqrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (* (sqrt (sqrt 0.5)) (sqrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (* (sqrt (sqrt 0.5)) (sqrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (/ 0.5 x) (/ 0.5 y) (/ 0.5 x) (/ 0.5 y) (* (* (cbrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (cbrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (sqrt 0.5)) (* (sqrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (sqrt 0.5)) (sqrt 0.5) (* (sqrt 0.5) (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5)))) (* (sqrt 0.5) (fabs (cbrt 0.5))) (pow (sqrt (sqrt 0.5)) 3) (pow (sqrt (sqrt 0.5)) 3) (sqrt 0.5) (pow (sqrt (sqrt 0.5)) 3) (pow (sqrt (sqrt 0.5)) 3) (sqrt 0.5) (sqrt 0.5) 0.5 (* (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) (cbrt (sqrt 0.5))) (* (sqrt (sqrt 0.5)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) (cbrt (sqrt 0.5))) (* (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) (cbrt (sqrt 0.5))) (* (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) (cbrt (sqrt 0.5))) (* (sqrt (cbrt 0.5)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (sqrt (cbrt 0.5)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (sqrt (cbrt 0.5)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (sqrt (sqrt 0.5)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (sqrt (sqrt 0.5)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (sqrt (sqrt 0.5)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (+ (/ 0.5 y) (/ 0.5 x)) (+ (/ 0.5 y) (/ 0.5 x)) (+ (/ 0.5 y) (/ 0.5 x)) (* (sqrt (sqrt 0.5)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (sqrt (sqrt 0.5)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (sqrt (sqrt 0.5)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (+ (/ 0.5 y) (/ 0.5 x)) (+ (/ 0.5 y) (/ 0.5 x)) (+ (/ 0.5 y) (/ 0.5 x)) (+ (/ 0.5 y) (/ 0.5 x)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) (* 0.5 (+ x y)) (+ (* (/ 0.5 (pow x 3)) 0.5) (* (/ 0.5 (pow y 3)) 0.5)) (* (- (/ (/ 0.5 x) x) (/ (/ 0.5 y) y)) (sqrt 0.5)) (+ (/ 0.5 y) (/ 0.5 x)) (log (/ (sqrt 0.5) x)) (log (/ (sqrt 0.5) x)) (exp (/ (sqrt 0.5) x)) (pow (/ (sqrt 0.5) x) 3) (* (cbrt (/ (sqrt 0.5) x)) (cbrt (/ (sqrt 0.5) x))) (cbrt (/ (sqrt 0.5) x)) (pow (/ (sqrt 0.5) x) 3) (sqrt (/ (sqrt 0.5) x)) (sqrt (/ (sqrt 0.5) x)) (- (sqrt 0.5)) (- x) (/ (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (* (cbrt x) (cbrt x))) (/ (cbrt (sqrt 0.5)) (cbrt x)) (/ (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (sqrt x)) (/ (cbrt (sqrt 0.5)) (sqrt x)) (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (/ (cbrt (sqrt 0.5)) x) (/ (/ (fabs (cbrt 0.5)) (cbrt x)) (cbrt x)) (/ (sqrt (cbrt 0.5)) (cbrt x)) (/ (fabs (cbrt 0.5)) (sqrt x)) (/ (sqrt (cbrt 0.5)) (sqrt x)) (fabs (cbrt 0.5)) (/ (sqrt (cbrt 0.5)) x) (/ (sqrt (sqrt 0.5)) (* (cbrt x) (cbrt x))) (/ (sqrt (sqrt 0.5)) (cbrt x)) (/ (sqrt (sqrt 0.5)) (sqrt x)) (/ (sqrt (sqrt 0.5)) (sqrt x)) (sqrt (sqrt 0.5)) (/ (sqrt (sqrt 0.5)) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (sqrt 0.5) (cbrt x)) (/ 1 (sqrt x)) (/ (sqrt 0.5) (sqrt x)) 1 (/ (sqrt 0.5) x) (/ (sqrt (sqrt 0.5)) (* (cbrt x) (cbrt x))) (/ (sqrt (sqrt 0.5)) (cbrt x)) (/ (sqrt (sqrt 0.5)) (sqrt x)) (/ (sqrt (sqrt 0.5)) (sqrt x)) (sqrt (sqrt 0.5)) (/ (sqrt (sqrt 0.5)) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (sqrt 0.5) (cbrt x)) (/ 1 (sqrt x)) (/ (sqrt 0.5) (sqrt x)) 1 (/ (sqrt 0.5) x) (/ 1 x) (/ x (sqrt 0.5)) (/ (sqrt 0.5) (* (cbrt x) (cbrt x))) (/ (sqrt 0.5) (sqrt x)) (sqrt 0.5) (/ x (cbrt (sqrt 0.5))) (/ x (sqrt (cbrt 0.5))) (/ x (sqrt (sqrt 0.5))) (/ x (sqrt 0.5)) (/ x (sqrt (sqrt 0.5))) (/ x (sqrt 0.5)) (log (/ (sqrt 0.5) y)) (log (/ (sqrt 0.5) y)) (exp (/ (sqrt 0.5) y)) (pow (/ (sqrt 0.5) y) 3) (* (cbrt (/ (sqrt 0.5) y)) (cbrt (/ (sqrt 0.5) y))) (cbrt (/ (sqrt 0.5) y)) (pow (/ (sqrt 0.5) y) 3) (sqrt (/ (sqrt 0.5) y)) (sqrt (/ (sqrt 0.5) y)) (- (sqrt 0.5)) (- y) (/ (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (* (cbrt y) (cbrt y))) (/ (cbrt (sqrt 0.5)) (cbrt y)) (/ (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (sqrt y)) (/ (cbrt (sqrt 0.5)) (sqrt y)) (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) (/ (cbrt (sqrt 0.5)) y) (/ (fabs (cbrt 0.5)) (* (cbrt y) (cbrt y))) (/ (sqrt (cbrt 0.5)) (cbrt y)) (/ (fabs (cbrt 0.5)) (sqrt y)) (/ (sqrt (cbrt 0.5)) (sqrt y)) (fabs (cbrt 0.5)) (/ (sqrt (cbrt 0.5)) y) (/ (sqrt (sqrt 0.5)) (* (cbrt y) (cbrt y))) (/ (sqrt (sqrt 0.5)) (cbrt y)) (/ (sqrt (sqrt 0.5)) (sqrt y)) (/ (sqrt (sqrt 0.5)) (sqrt y)) (sqrt (sqrt 0.5)) (/ (sqrt (sqrt 0.5)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sqrt 0.5) (cbrt y)) (/ 1 (sqrt y)) (/ (sqrt 0.5) (sqrt y)) 1 (/ (sqrt 0.5) y) (/ (sqrt (sqrt 0.5)) (* (cbrt y) (cbrt y))) (/ (sqrt (sqrt 0.5)) (cbrt y)) (/ (sqrt (sqrt 0.5)) (sqrt y)) (/ (sqrt (sqrt 0.5)) (sqrt y)) (sqrt (sqrt 0.5)) (/ (sqrt (sqrt 0.5)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sqrt 0.5) (cbrt y)) (/ 1 (sqrt y)) (/ (sqrt 0.5) (sqrt y)) 1 (/ (sqrt 0.5) y) (/ 1 y) (/ y (sqrt 0.5)) (/ (sqrt 0.5) (* (cbrt y) (cbrt y))) (/ (sqrt 0.5) (sqrt y)) (sqrt 0.5) (/ y (cbrt (sqrt 0.5))) (/ y (sqrt (cbrt 0.5))) (/ y (sqrt (sqrt 0.5))) (/ y (sqrt 0.5)) (/ y (sqrt (sqrt 0.5))) (/ y (sqrt 0.5)) (exp (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (log (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (exp (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (cbrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (cbrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)))) (cbrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (pow (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) 3) (sqrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (sqrt (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))) (* (sqrt 0.5) (+ y x)) (* x y) (+ (pow (/ (sqrt 0.5) x) 3) (pow (/ (sqrt 0.5) y) 3)) (+ (/ (- (/ 0.5 y) (/ 0.5 x)) y) (/ (/ 0.5 x) x)) (- (/ (/ 0.5 x) x) (/ 0.5 (* y y))) (- (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) (+ (/ (cbrt (sqrt 0.5)) x) (/ (cbrt (sqrt 0.5)) y)) (+ (/ (sqrt (cbrt 0.5)) x) (/ (sqrt (cbrt 0.5)) y)) (+ (/ (sqrt (sqrt 0.5)) x) (/ (sqrt (sqrt 0.5)) y)) (+ (/ (sqrt (sqrt 0.5)) x) (/ (sqrt (sqrt 0.5)) y)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) (+ (/ (sqrt (sqrt 0.5)) x) (/ (sqrt (sqrt 0.5)) y)) (+ (/ (sqrt (sqrt 0.5)) x) (/ (sqrt (sqrt 0.5)) y)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) (+ (/ 1 x) (/ 1 y)) (+ (/ 0.5 y) (/ 0.5 x)) (+ (/ 0.5 y) (/ 0.5 x)) (+ (/ 0.5 y) (/ 0.5 x)) (/ (sqrt 0.5) x) (/ (sqrt 0.5) x) (/ (sqrt 0.5) x) (/ (sqrt 0.5) y) (/ (sqrt 0.5) y) (/ (sqrt 0.5) y) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y)) 11.054 * * * [progress]: adding candidates to table 11.447 * * [progress]: iteration 4 / 4 11.448 * * * [progress]: picking best candidate 11.454 * * * * [pick]: Picked # 11.454 * * * [progress]: localizing error 11.467 * * * [progress]: generating rewritten candidates 11.467 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 11.512 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 11.551 * * * [progress]: generating series expansions 11.551 * * * * [progress]: [ 1 / 2 ] generating series at (2) 11.551 * [backup-simplify]: Simplify (/ (/ (+ x y) (* x 2.0)) y) into (* 0.5 (/ (+ x y) (* x y))) 11.551 * [approximate]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in (x y) around 0 11.551 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in y 11.551 * [taylor]: Taking taylor expansion of 0.5 in y 11.552 * [backup-simplify]: Simplify 0.5 into 0.5 11.552 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in y 11.552 * [taylor]: Taking taylor expansion of (+ x y) in y 11.552 * [taylor]: Taking taylor expansion of x in y 11.552 * [backup-simplify]: Simplify x into x 11.552 * [taylor]: Taking taylor expansion of y in y 11.552 * [backup-simplify]: Simplify 0 into 0 11.552 * [backup-simplify]: Simplify 1 into 1 11.552 * [taylor]: Taking taylor expansion of (* x y) in y 11.552 * [taylor]: Taking taylor expansion of x in y 11.552 * [backup-simplify]: Simplify x into x 11.552 * [taylor]: Taking taylor expansion of y in y 11.552 * [backup-simplify]: Simplify 0 into 0 11.552 * [backup-simplify]: Simplify 1 into 1 11.552 * [backup-simplify]: Simplify (+ x 0) into x 11.552 * [backup-simplify]: Simplify (* x 0) into 0 11.553 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 11.553 * [backup-simplify]: Simplify (/ x x) into 1 11.553 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in x 11.553 * [taylor]: Taking taylor expansion of 0.5 in x 11.553 * [backup-simplify]: Simplify 0.5 into 0.5 11.553 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in x 11.553 * [taylor]: Taking taylor expansion of (+ x y) in x 11.553 * [taylor]: Taking taylor expansion of x in x 11.553 * [backup-simplify]: Simplify 0 into 0 11.553 * [backup-simplify]: Simplify 1 into 1 11.553 * [taylor]: Taking taylor expansion of y in x 11.553 * [backup-simplify]: Simplify y into y 11.553 * [taylor]: Taking taylor expansion of (* x y) in x 11.553 * [taylor]: Taking taylor expansion of x in x 11.553 * [backup-simplify]: Simplify 0 into 0 11.553 * [backup-simplify]: Simplify 1 into 1 11.554 * [taylor]: Taking taylor expansion of y in x 11.554 * [backup-simplify]: Simplify y into y 11.554 * [backup-simplify]: Simplify (+ 0 y) into y 11.554 * [backup-simplify]: Simplify (* 0 y) into 0 11.554 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 11.554 * [backup-simplify]: Simplify (/ y y) into 1 11.554 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in x 11.554 * [taylor]: Taking taylor expansion of 0.5 in x 11.554 * [backup-simplify]: Simplify 0.5 into 0.5 11.554 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in x 11.554 * [taylor]: Taking taylor expansion of (+ x y) in x 11.554 * [taylor]: Taking taylor expansion of x in x 11.554 * [backup-simplify]: Simplify 0 into 0 11.555 * [backup-simplify]: Simplify 1 into 1 11.555 * [taylor]: Taking taylor expansion of y in x 11.555 * [backup-simplify]: Simplify y into y 11.555 * [taylor]: Taking taylor expansion of (* x y) in x 11.555 * [taylor]: Taking taylor expansion of x in x 11.555 * [backup-simplify]: Simplify 0 into 0 11.555 * [backup-simplify]: Simplify 1 into 1 11.555 * [taylor]: Taking taylor expansion of y in x 11.555 * [backup-simplify]: Simplify y into y 11.555 * [backup-simplify]: Simplify (+ 0 y) into y 11.555 * [backup-simplify]: Simplify (* 0 y) into 0 11.555 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 11.556 * [backup-simplify]: Simplify (/ y y) into 1 11.556 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 11.556 * [taylor]: Taking taylor expansion of 0.5 in y 11.556 * [backup-simplify]: Simplify 0.5 into 0.5 11.557 * [backup-simplify]: Simplify (+ 1 0) into 1 11.558 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 11.558 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* 1 (/ 0 y)))) into (/ 1 y) 11.558 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 y)) (* 0 1)) into (* 0.5 (/ 1 y)) 11.558 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 11.558 * [taylor]: Taking taylor expansion of 0.5 in y 11.558 * [backup-simplify]: Simplify 0.5 into 0.5 11.558 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.558 * [taylor]: Taking taylor expansion of y in y 11.558 * [backup-simplify]: Simplify 0 into 0 11.559 * [backup-simplify]: Simplify 1 into 1 11.559 * [backup-simplify]: Simplify (/ 1 1) into 1 11.559 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 11.559 * [backup-simplify]: Simplify 0.5 into 0.5 11.560 * [backup-simplify]: Simplify 0.5 into 0.5 11.560 * [backup-simplify]: Simplify (+ 0 0) into 0 11.561 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 11.561 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* 1 (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0 11.562 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0 11.562 * [taylor]: Taking taylor expansion of 0 in y 11.562 * [backup-simplify]: Simplify 0 into 0 11.563 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.564 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 11.564 * [backup-simplify]: Simplify 0 into 0 11.564 * [backup-simplify]: Simplify 0 into 0 11.564 * [backup-simplify]: Simplify (+ 0 0) into 0 11.566 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 11.566 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* 1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.567 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0 11.567 * [taylor]: Taking taylor expansion of 0 in y 11.567 * [backup-simplify]: Simplify 0 into 0 11.568 * [backup-simplify]: Simplify 0 into 0 11.568 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.569 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 11.570 * [backup-simplify]: Simplify 0 into 0 11.570 * [backup-simplify]: Simplify 0 into 0 11.570 * [backup-simplify]: Simplify (+ 0 0) into 0 11.572 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 11.572 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* 1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.574 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0 11.574 * [taylor]: Taking taylor expansion of 0 in y 11.574 * [backup-simplify]: Simplify 0 into 0 11.574 * [backup-simplify]: Simplify 0 into 0 11.574 * [backup-simplify]: Simplify (+ (* 0.5 (* 1 (/ 1 x))) (* 0.5 (* (/ 1 y) 1))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 11.575 * [backup-simplify]: Simplify (/ (/ (+ (/ 1 x) (/ 1 y)) (* (/ 1 x) 2.0)) (/ 1 y)) into (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) 11.575 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in (x y) around 0 11.575 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in y 11.575 * [taylor]: Taking taylor expansion of 0.5 in y 11.575 * [backup-simplify]: Simplify 0.5 into 0.5 11.575 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in y 11.575 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 11.575 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.575 * [taylor]: Taking taylor expansion of y in y 11.575 * [backup-simplify]: Simplify 0 into 0 11.575 * [backup-simplify]: Simplify 1 into 1 11.575 * [backup-simplify]: Simplify (/ 1 1) into 1 11.575 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.576 * [taylor]: Taking taylor expansion of x in y 11.576 * [backup-simplify]: Simplify x into x 11.576 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.576 * [taylor]: Taking taylor expansion of (* y x) in y 11.576 * [taylor]: Taking taylor expansion of y in y 11.576 * [backup-simplify]: Simplify 0 into 0 11.576 * [backup-simplify]: Simplify 1 into 1 11.576 * [taylor]: Taking taylor expansion of x in y 11.576 * [backup-simplify]: Simplify x into x 11.576 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in x 11.576 * [taylor]: Taking taylor expansion of 0.5 in x 11.576 * [backup-simplify]: Simplify 0.5 into 0.5 11.576 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in x 11.576 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 11.576 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.576 * [taylor]: Taking taylor expansion of y in x 11.576 * [backup-simplify]: Simplify y into y 11.576 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.576 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.576 * [taylor]: Taking taylor expansion of x in x 11.576 * [backup-simplify]: Simplify 0 into 0 11.576 * [backup-simplify]: Simplify 1 into 1 11.577 * [backup-simplify]: Simplify (/ 1 1) into 1 11.577 * [taylor]: Taking taylor expansion of (* y x) in x 11.577 * [taylor]: Taking taylor expansion of y in x 11.577 * [backup-simplify]: Simplify y into y 11.577 * [taylor]: Taking taylor expansion of x in x 11.577 * [backup-simplify]: Simplify 0 into 0 11.577 * [backup-simplify]: Simplify 1 into 1 11.577 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in x 11.577 * [taylor]: Taking taylor expansion of 0.5 in x 11.577 * [backup-simplify]: Simplify 0.5 into 0.5 11.577 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in x 11.577 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 11.577 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.577 * [taylor]: Taking taylor expansion of y in x 11.577 * [backup-simplify]: Simplify y into y 11.577 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.577 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.577 * [taylor]: Taking taylor expansion of x in x 11.577 * [backup-simplify]: Simplify 0 into 0 11.577 * [backup-simplify]: Simplify 1 into 1 11.578 * [backup-simplify]: Simplify (/ 1 1) into 1 11.578 * [taylor]: Taking taylor expansion of (* y x) in x 11.578 * [taylor]: Taking taylor expansion of y in x 11.578 * [backup-simplify]: Simplify y into y 11.578 * [taylor]: Taking taylor expansion of x in x 11.578 * [backup-simplify]: Simplify 0 into 0 11.578 * [backup-simplify]: Simplify 1 into 1 11.578 * [backup-simplify]: Simplify (+ 0 1) into 1 11.578 * [backup-simplify]: Simplify (* y 0) into 0 11.579 * [backup-simplify]: Simplify (* 1 0) into 0 11.579 * [backup-simplify]: Simplify (* 0.5 0) into 0 11.579 * [taylor]: Taking taylor expansion of 0 in y 11.579 * [backup-simplify]: Simplify 0 into 0 11.580 * [backup-simplify]: Simplify (+ (* y 1) (* 0 0)) into y 11.580 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.580 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 11.580 * [backup-simplify]: Simplify (+ (* 1 y) (* (/ 1 y) 0)) into y 11.581 * [backup-simplify]: Simplify (+ (* 0.5 y) (* 0 0)) into (* 0.5 y) 11.581 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 11.581 * [taylor]: Taking taylor expansion of 0.5 in y 11.581 * [backup-simplify]: Simplify 0.5 into 0.5 11.581 * [taylor]: Taking taylor expansion of y in y 11.581 * [backup-simplify]: Simplify 0 into 0 11.581 * [backup-simplify]: Simplify 1 into 1 11.581 * [backup-simplify]: Simplify 0 into 0 11.581 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 0))) into 0 11.581 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 11.582 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.582 * [backup-simplify]: Simplify (+ 0 0) into 0 11.583 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) y) (* 0 0))) into 1 11.583 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 y) (* 0 0))) into 0.5 11.583 * [taylor]: Taking taylor expansion of 0.5 in y 11.583 * [backup-simplify]: Simplify 0.5 into 0.5 11.583 * [backup-simplify]: Simplify (* 0.5 0) into 0 11.583 * [backup-simplify]: Simplify 0 into 0 11.583 * [backup-simplify]: Simplify 0 into 0 11.584 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 11.584 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.585 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.585 * [backup-simplify]: Simplify (+ 0 0) into 0 11.588 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 y) (* 0 0)))) into 0 11.589 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))) into 0 11.589 * [taylor]: Taking taylor expansion of 0 in y 11.589 * [backup-simplify]: Simplify 0 into 0 11.589 * [backup-simplify]: Simplify 0.5 into 0.5 11.590 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 11.590 * [backup-simplify]: Simplify 0.5 into 0.5 11.590 * [backup-simplify]: Simplify 0 into 0 11.591 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 11.591 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.592 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.592 * [backup-simplify]: Simplify (+ 0 0) into 0 11.593 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 11.594 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0))))) into 0 11.594 * [taylor]: Taking taylor expansion of 0 in y 11.594 * [backup-simplify]: Simplify 0 into 0 11.594 * [backup-simplify]: Simplify 0 into 0 11.594 * [backup-simplify]: Simplify 0 into 0 11.594 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 11.594 * [backup-simplify]: Simplify 0 into 0 11.594 * [backup-simplify]: Simplify 0 into 0 11.595 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 11.595 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.596 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.596 * [backup-simplify]: Simplify (+ 0 0) into 0 11.597 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))))) into 0 11.598 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))))) into 0 11.598 * [taylor]: Taking taylor expansion of 0 in y 11.598 * [backup-simplify]: Simplify 0 into 0 11.598 * [backup-simplify]: Simplify 0 into 0 11.598 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 y) 1)) (* 0.5 (* 1 (/ 1 x)))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 11.599 * [backup-simplify]: Simplify (/ (/ (+ (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- x)) 2.0)) (/ 1 (- y))) into (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) 11.599 * [approximate]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in (x y) around 0 11.599 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in y 11.599 * [taylor]: Taking taylor expansion of -0.5 in y 11.599 * [backup-simplify]: Simplify -0.5 into -0.5 11.599 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in y 11.599 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 11.599 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.599 * [taylor]: Taking taylor expansion of y in y 11.599 * [backup-simplify]: Simplify 0 into 0 11.599 * [backup-simplify]: Simplify 1 into 1 11.599 * [backup-simplify]: Simplify (/ 1 1) into 1 11.599 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.599 * [taylor]: Taking taylor expansion of x in y 11.599 * [backup-simplify]: Simplify x into x 11.599 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.599 * [taylor]: Taking taylor expansion of (* y x) in y 11.599 * [taylor]: Taking taylor expansion of y in y 11.599 * [backup-simplify]: Simplify 0 into 0 11.599 * [backup-simplify]: Simplify 1 into 1 11.599 * [taylor]: Taking taylor expansion of x in y 11.599 * [backup-simplify]: Simplify x into x 11.599 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in x 11.599 * [taylor]: Taking taylor expansion of -0.5 in x 11.599 * [backup-simplify]: Simplify -0.5 into -0.5 11.599 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in x 11.599 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 11.599 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.599 * [taylor]: Taking taylor expansion of y in x 11.599 * [backup-simplify]: Simplify y into y 11.599 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.599 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.599 * [taylor]: Taking taylor expansion of x in x 11.599 * [backup-simplify]: Simplify 0 into 0 11.599 * [backup-simplify]: Simplify 1 into 1 11.600 * [backup-simplify]: Simplify (/ 1 1) into 1 11.600 * [taylor]: Taking taylor expansion of (* y x) in x 11.600 * [taylor]: Taking taylor expansion of y in x 11.600 * [backup-simplify]: Simplify y into y 11.600 * [taylor]: Taking taylor expansion of x in x 11.600 * [backup-simplify]: Simplify 0 into 0 11.600 * [backup-simplify]: Simplify 1 into 1 11.600 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in x 11.600 * [taylor]: Taking taylor expansion of -0.5 in x 11.600 * [backup-simplify]: Simplify -0.5 into -0.5 11.600 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in x 11.600 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 11.600 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.600 * [taylor]: Taking taylor expansion of y in x 11.600 * [backup-simplify]: Simplify y into y 11.600 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.600 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.600 * [taylor]: Taking taylor expansion of x in x 11.600 * [backup-simplify]: Simplify 0 into 0 11.600 * [backup-simplify]: Simplify 1 into 1 11.600 * [backup-simplify]: Simplify (/ 1 1) into 1 11.600 * [taylor]: Taking taylor expansion of (* y x) in x 11.600 * [taylor]: Taking taylor expansion of y in x 11.600 * [backup-simplify]: Simplify y into y 11.600 * [taylor]: Taking taylor expansion of x in x 11.600 * [backup-simplify]: Simplify 0 into 0 11.600 * [backup-simplify]: Simplify 1 into 1 11.601 * [backup-simplify]: Simplify (+ 0 1) into 1 11.601 * [backup-simplify]: Simplify (* y 0) into 0 11.601 * [backup-simplify]: Simplify (* 1 0) into 0 11.601 * [backup-simplify]: Simplify (* -0.5 0) into 0 11.601 * [taylor]: Taking taylor expansion of 0 in y 11.601 * [backup-simplify]: Simplify 0 into 0 11.602 * [backup-simplify]: Simplify (+ (* y 1) (* 0 0)) into y 11.602 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.602 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 11.602 * [backup-simplify]: Simplify (+ (* 1 y) (* (/ 1 y) 0)) into y 11.602 * [backup-simplify]: Simplify (+ (* -0.5 y) (* 0 0)) into (- (* 0.5 y)) 11.602 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y 11.603 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 11.603 * [taylor]: Taking taylor expansion of 0.5 in y 11.603 * [backup-simplify]: Simplify 0.5 into 0.5 11.603 * [taylor]: Taking taylor expansion of y in y 11.603 * [backup-simplify]: Simplify 0 into 0 11.603 * [backup-simplify]: Simplify 1 into 1 11.603 * [backup-simplify]: Simplify 0 into 0 11.603 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 0))) into 0 11.603 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 11.604 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.604 * [backup-simplify]: Simplify (+ 0 0) into 0 11.604 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) y) (* 0 0))) into 1 11.605 * [backup-simplify]: Simplify (+ (* -0.5 1) (+ (* 0 y) (* 0 0))) into (- 0.5) 11.605 * [taylor]: Taking taylor expansion of (- 0.5) in y 11.605 * [taylor]: Taking taylor expansion of 0.5 in y 11.605 * [backup-simplify]: Simplify 0.5 into 0.5 11.605 * [backup-simplify]: Simplify (* 0.5 0) into 0 11.605 * [backup-simplify]: Simplify (- 0) into 0 11.605 * [backup-simplify]: Simplify 0 into 0 11.606 * [backup-simplify]: Simplify 0 into 0 11.606 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 11.606 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.607 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.607 * [backup-simplify]: Simplify (+ 0 0) into 0 11.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 y) (* 0 0)))) into 0 11.608 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))) into 0 11.609 * [taylor]: Taking taylor expansion of 0 in y 11.609 * [backup-simplify]: Simplify 0 into 0 11.609 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 11.609 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 11.612 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 11.612 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 11.612 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 11.613 * [backup-simplify]: Simplify 0 into 0 11.614 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 11.614 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.615 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.615 * [backup-simplify]: Simplify (+ 0 0) into 0 11.616 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 11.618 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0))))) into 0 11.618 * [taylor]: Taking taylor expansion of 0 in y 11.618 * [backup-simplify]: Simplify 0 into 0 11.618 * [backup-simplify]: Simplify 0 into 0 11.618 * [backup-simplify]: Simplify (- 0) into 0 11.618 * [backup-simplify]: Simplify 0 into 0 11.619 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 11.620 * [backup-simplify]: Simplify (- 0) into 0 11.620 * [backup-simplify]: Simplify 0 into 0 11.620 * [backup-simplify]: Simplify 0 into 0 11.621 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 11.621 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.622 * [backup-simplify]: Simplify (+ 0 0) into 0 11.624 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))))) into 0 11.626 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))))) into 0 11.626 * [taylor]: Taking taylor expansion of 0 in y 11.626 * [backup-simplify]: Simplify 0 into 0 11.626 * [backup-simplify]: Simplify 0 into 0 11.627 * [backup-simplify]: Simplify (+ (* (- 0.5) (* (/ 1 (- y)) 1)) (* (- 0.5) (* 1 (/ 1 (- x))))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 11.627 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 11.627 * [backup-simplify]: Simplify (/ (+ x y) (* x 2.0)) into (* 0.5 (/ (+ x y) x)) 11.627 * [approximate]: Taking taylor expansion of (* 0.5 (/ (+ x y) x)) in (x y) around 0 11.627 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) x)) in y 11.627 * [taylor]: Taking taylor expansion of 0.5 in y 11.627 * [backup-simplify]: Simplify 0.5 into 0.5 11.627 * [taylor]: Taking taylor expansion of (/ (+ x y) x) in y 11.627 * [taylor]: Taking taylor expansion of (+ x y) in y 11.627 * [taylor]: Taking taylor expansion of x in y 11.627 * [backup-simplify]: Simplify x into x 11.627 * [taylor]: Taking taylor expansion of y in y 11.628 * [backup-simplify]: Simplify 0 into 0 11.628 * [backup-simplify]: Simplify 1 into 1 11.628 * [taylor]: Taking taylor expansion of x in y 11.628 * [backup-simplify]: Simplify x into x 11.628 * [backup-simplify]: Simplify (+ x 0) into x 11.628 * [backup-simplify]: Simplify (/ x x) into 1 11.628 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) x)) in x 11.628 * [taylor]: Taking taylor expansion of 0.5 in x 11.628 * [backup-simplify]: Simplify 0.5 into 0.5 11.628 * [taylor]: Taking taylor expansion of (/ (+ x y) x) in x 11.628 * [taylor]: Taking taylor expansion of (+ x y) in x 11.628 * [taylor]: Taking taylor expansion of x in x 11.628 * [backup-simplify]: Simplify 0 into 0 11.628 * [backup-simplify]: Simplify 1 into 1 11.628 * [taylor]: Taking taylor expansion of y in x 11.628 * [backup-simplify]: Simplify y into y 11.628 * [taylor]: Taking taylor expansion of x in x 11.628 * [backup-simplify]: Simplify 0 into 0 11.628 * [backup-simplify]: Simplify 1 into 1 11.628 * [backup-simplify]: Simplify (+ 0 y) into y 11.628 * [backup-simplify]: Simplify (/ y 1) into y 11.628 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) x)) in x 11.628 * [taylor]: Taking taylor expansion of 0.5 in x 11.628 * [backup-simplify]: Simplify 0.5 into 0.5 11.628 * [taylor]: Taking taylor expansion of (/ (+ x y) x) in x 11.628 * [taylor]: Taking taylor expansion of (+ x y) in x 11.628 * [taylor]: Taking taylor expansion of x in x 11.628 * [backup-simplify]: Simplify 0 into 0 11.628 * [backup-simplify]: Simplify 1 into 1 11.628 * [taylor]: Taking taylor expansion of y in x 11.628 * [backup-simplify]: Simplify y into y 11.628 * [taylor]: Taking taylor expansion of x in x 11.628 * [backup-simplify]: Simplify 0 into 0 11.628 * [backup-simplify]: Simplify 1 into 1 11.629 * [backup-simplify]: Simplify (+ 0 y) into y 11.629 * [backup-simplify]: Simplify (/ y 1) into y 11.629 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y) 11.629 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 11.629 * [taylor]: Taking taylor expansion of 0.5 in y 11.629 * [backup-simplify]: Simplify 0.5 into 0.5 11.629 * [taylor]: Taking taylor expansion of y in y 11.629 * [backup-simplify]: Simplify 0 into 0 11.629 * [backup-simplify]: Simplify 1 into 1 11.629 * [backup-simplify]: Simplify (* 0.5 0) into 0 11.629 * [backup-simplify]: Simplify 0 into 0 11.630 * [backup-simplify]: Simplify (+ 1 0) into 1 11.631 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* y (/ 0 1)))) into 1 11.631 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 y)) into 0.5 11.631 * [taylor]: Taking taylor expansion of 0.5 in y 11.631 * [backup-simplify]: Simplify 0.5 into 0.5 11.631 * [backup-simplify]: Simplify 0.5 into 0.5 11.633 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 11.633 * [backup-simplify]: Simplify 0.5 into 0.5 11.633 * [backup-simplify]: Simplify (+ 0 0) into 0 11.634 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 1 (/ 0 1)))) into 0 11.635 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 y))) into 0 11.635 * [taylor]: Taking taylor expansion of 0 in y 11.635 * [backup-simplify]: Simplify 0 into 0 11.635 * [backup-simplify]: Simplify 0 into 0 11.635 * [backup-simplify]: Simplify 0 into 0 11.636 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 11.636 * [backup-simplify]: Simplify 0 into 0 11.636 * [backup-simplify]: Simplify (+ 0 0) into 0 11.637 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.638 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 y)))) into 0 11.638 * [taylor]: Taking taylor expansion of 0 in y 11.638 * [backup-simplify]: Simplify 0 into 0 11.638 * [backup-simplify]: Simplify 0 into 0 11.638 * [backup-simplify]: Simplify 0 into 0 11.638 * [backup-simplify]: Simplify 0 into 0 11.638 * [backup-simplify]: Simplify (+ (* 0.5 (* y (/ 1 x))) 0.5) into (+ (* 0.5 (/ y x)) 0.5) 11.639 * [backup-simplify]: Simplify (/ (+ (/ 1 x) (/ 1 y)) (* (/ 1 x) 2.0)) into (* 0.5 (* (+ (/ 1 y) (/ 1 x)) x)) 11.639 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) x)) in (x y) around 0 11.639 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) x)) in y 11.639 * [taylor]: Taking taylor expansion of 0.5 in y 11.639 * [backup-simplify]: Simplify 0.5 into 0.5 11.639 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) x) in y 11.639 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 11.639 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.639 * [taylor]: Taking taylor expansion of y in y 11.639 * [backup-simplify]: Simplify 0 into 0 11.639 * [backup-simplify]: Simplify 1 into 1 11.639 * [backup-simplify]: Simplify (/ 1 1) into 1 11.639 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.639 * [taylor]: Taking taylor expansion of x in y 11.639 * [backup-simplify]: Simplify x into x 11.639 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.639 * [taylor]: Taking taylor expansion of x in y 11.639 * [backup-simplify]: Simplify x into x 11.639 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) x)) in x 11.639 * [taylor]: Taking taylor expansion of 0.5 in x 11.639 * [backup-simplify]: Simplify 0.5 into 0.5 11.639 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) x) in x 11.639 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 11.639 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.639 * [taylor]: Taking taylor expansion of y in x 11.639 * [backup-simplify]: Simplify y into y 11.639 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.639 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.639 * [taylor]: Taking taylor expansion of x in x 11.639 * [backup-simplify]: Simplify 0 into 0 11.639 * [backup-simplify]: Simplify 1 into 1 11.640 * [backup-simplify]: Simplify (/ 1 1) into 1 11.640 * [taylor]: Taking taylor expansion of x in x 11.640 * [backup-simplify]: Simplify 0 into 0 11.640 * [backup-simplify]: Simplify 1 into 1 11.640 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) x)) in x 11.640 * [taylor]: Taking taylor expansion of 0.5 in x 11.640 * [backup-simplify]: Simplify 0.5 into 0.5 11.640 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) x) in x 11.640 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 11.640 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.640 * [taylor]: Taking taylor expansion of y in x 11.640 * [backup-simplify]: Simplify y into y 11.640 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.640 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.640 * [taylor]: Taking taylor expansion of x in x 11.640 * [backup-simplify]: Simplify 0 into 0 11.640 * [backup-simplify]: Simplify 1 into 1 11.640 * [backup-simplify]: Simplify (/ 1 1) into 1 11.640 * [taylor]: Taking taylor expansion of x in x 11.640 * [backup-simplify]: Simplify 0 into 0 11.640 * [backup-simplify]: Simplify 1 into 1 11.641 * [backup-simplify]: Simplify (+ 0 1) into 1 11.641 * [backup-simplify]: Simplify (* 1 0) into 0 11.641 * [backup-simplify]: Simplify (* 0.5 0) into 0 11.641 * [taylor]: Taking taylor expansion of 0 in y 11.641 * [backup-simplify]: Simplify 0 into 0 11.642 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.642 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 11.642 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 y) 0)) into 1 11.643 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 11.643 * [taylor]: Taking taylor expansion of 0.5 in y 11.643 * [backup-simplify]: Simplify 0.5 into 0.5 11.643 * [backup-simplify]: Simplify 0 into 0 11.643 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 11.643 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.644 * [backup-simplify]: Simplify (+ 0 0) into 0 11.644 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 1) (* 0 0))) into (/ 1 y) 11.645 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 y)) (+ (* 0 1) (* 0 0))) into (* 0.5 (/ 1 y)) 11.645 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 11.645 * [taylor]: Taking taylor expansion of 0.5 in y 11.645 * [backup-simplify]: Simplify 0.5 into 0.5 11.645 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.645 * [taylor]: Taking taylor expansion of y in y 11.645 * [backup-simplify]: Simplify 0 into 0 11.645 * [backup-simplify]: Simplify 1 into 1 11.645 * [backup-simplify]: Simplify (/ 1 1) into 1 11.645 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 11.645 * [backup-simplify]: Simplify 0.5 into 0.5 11.645 * [backup-simplify]: Simplify 0.5 into 0.5 11.645 * [backup-simplify]: Simplify 0 into 0 11.645 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.646 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.646 * [backup-simplify]: Simplify (+ 0 0) into 0 11.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 1) (* 0 0)))) into 0 11.648 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ 1 y)) (+ (* 0 1) (* 0 0)))) into 0 11.648 * [taylor]: Taking taylor expansion of 0 in y 11.648 * [backup-simplify]: Simplify 0 into 0 11.648 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.648 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 11.648 * [backup-simplify]: Simplify 0 into 0 11.648 * [backup-simplify]: Simplify 0 into 0 11.649 * [backup-simplify]: Simplify 0 into 0 11.649 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.649 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.649 * [backup-simplify]: Simplify (+ 0 0) into 0 11.650 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 11.651 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (+ (* 0 1) (* 0 0))))) into 0 11.651 * [taylor]: Taking taylor expansion of 0 in y 11.651 * [backup-simplify]: Simplify 0 into 0 11.651 * [backup-simplify]: Simplify 0 into 0 11.652 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.652 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 11.652 * [backup-simplify]: Simplify 0 into 0 11.652 * [backup-simplify]: Simplify (+ 0.5 (* 0.5 (* (/ 1 (/ 1 y)) (/ 1 x)))) into (+ (* 0.5 (/ y x)) 0.5) 11.653 * [backup-simplify]: Simplify (/ (+ (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- x)) 2.0)) into (* 0.5 (* (+ (/ 1 y) (/ 1 x)) x)) 11.653 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) x)) in (x y) around 0 11.653 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) x)) in y 11.653 * [taylor]: Taking taylor expansion of 0.5 in y 11.653 * [backup-simplify]: Simplify 0.5 into 0.5 11.653 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) x) in y 11.653 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 11.653 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.653 * [taylor]: Taking taylor expansion of y in y 11.653 * [backup-simplify]: Simplify 0 into 0 11.653 * [backup-simplify]: Simplify 1 into 1 11.653 * [backup-simplify]: Simplify (/ 1 1) into 1 11.653 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.653 * [taylor]: Taking taylor expansion of x in y 11.653 * [backup-simplify]: Simplify x into x 11.653 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.653 * [taylor]: Taking taylor expansion of x in y 11.653 * [backup-simplify]: Simplify x into x 11.653 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) x)) in x 11.653 * [taylor]: Taking taylor expansion of 0.5 in x 11.653 * [backup-simplify]: Simplify 0.5 into 0.5 11.653 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) x) in x 11.653 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 11.653 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.653 * [taylor]: Taking taylor expansion of y in x 11.653 * [backup-simplify]: Simplify y into y 11.653 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.653 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.653 * [taylor]: Taking taylor expansion of x in x 11.653 * [backup-simplify]: Simplify 0 into 0 11.653 * [backup-simplify]: Simplify 1 into 1 11.654 * [backup-simplify]: Simplify (/ 1 1) into 1 11.654 * [taylor]: Taking taylor expansion of x in x 11.654 * [backup-simplify]: Simplify 0 into 0 11.654 * [backup-simplify]: Simplify 1 into 1 11.654 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) x)) in x 11.654 * [taylor]: Taking taylor expansion of 0.5 in x 11.654 * [backup-simplify]: Simplify 0.5 into 0.5 11.654 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) x) in x 11.654 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 11.654 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.654 * [taylor]: Taking taylor expansion of y in x 11.654 * [backup-simplify]: Simplify y into y 11.654 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.654 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.654 * [taylor]: Taking taylor expansion of x in x 11.654 * [backup-simplify]: Simplify 0 into 0 11.654 * [backup-simplify]: Simplify 1 into 1 11.654 * [backup-simplify]: Simplify (/ 1 1) into 1 11.654 * [taylor]: Taking taylor expansion of x in x 11.654 * [backup-simplify]: Simplify 0 into 0 11.654 * [backup-simplify]: Simplify 1 into 1 11.655 * [backup-simplify]: Simplify (+ 0 1) into 1 11.655 * [backup-simplify]: Simplify (* 1 0) into 0 11.655 * [backup-simplify]: Simplify (* 0.5 0) into 0 11.655 * [taylor]: Taking taylor expansion of 0 in y 11.655 * [backup-simplify]: Simplify 0 into 0 11.656 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.656 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 11.656 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 y) 0)) into 1 11.657 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 11.657 * [taylor]: Taking taylor expansion of 0.5 in y 11.657 * [backup-simplify]: Simplify 0.5 into 0.5 11.657 * [backup-simplify]: Simplify 0 into 0 11.658 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 11.658 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.658 * [backup-simplify]: Simplify (+ 0 0) into 0 11.659 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 1) (* 0 0))) into (/ 1 y) 11.659 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 y)) (+ (* 0 1) (* 0 0))) into (* 0.5 (/ 1 y)) 11.659 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 11.659 * [taylor]: Taking taylor expansion of 0.5 in y 11.659 * [backup-simplify]: Simplify 0.5 into 0.5 11.659 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.659 * [taylor]: Taking taylor expansion of y in y 11.659 * [backup-simplify]: Simplify 0 into 0 11.659 * [backup-simplify]: Simplify 1 into 1 11.660 * [backup-simplify]: Simplify (/ 1 1) into 1 11.660 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 11.660 * [backup-simplify]: Simplify 0.5 into 0.5 11.660 * [backup-simplify]: Simplify 0.5 into 0.5 11.660 * [backup-simplify]: Simplify 0 into 0 11.660 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.661 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.661 * [backup-simplify]: Simplify (+ 0 0) into 0 11.662 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 1) (* 0 0)))) into 0 11.662 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ 1 y)) (+ (* 0 1) (* 0 0)))) into 0 11.662 * [taylor]: Taking taylor expansion of 0 in y 11.662 * [backup-simplify]: Simplify 0 into 0 11.663 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.663 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 11.663 * [backup-simplify]: Simplify 0 into 0 11.663 * [backup-simplify]: Simplify 0 into 0 11.663 * [backup-simplify]: Simplify 0 into 0 11.663 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.664 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.664 * [backup-simplify]: Simplify (+ 0 0) into 0 11.666 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 11.667 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (+ (* 0 1) (* 0 0))))) into 0 11.667 * [taylor]: Taking taylor expansion of 0 in y 11.667 * [backup-simplify]: Simplify 0 into 0 11.667 * [backup-simplify]: Simplify 0 into 0 11.668 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.669 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 11.669 * [backup-simplify]: Simplify 0 into 0 11.670 * [backup-simplify]: Simplify (+ 0.5 (* 0.5 (* (/ 1 (/ 1 (- y))) (/ 1 (- x))))) into (+ (* 0.5 (/ y x)) 0.5) 11.670 * * * [progress]: simplifying candidates 11.673 * [simplify]: Simplifying: (- (- (log (+ x y)) (+ (log x) (log 2.0))) (log y)) (- (- (log (+ x y)) (log (* x 2.0))) (log y)) (- (log (/ (+ x y) (* x 2.0))) (log y)) (log (/ (/ (+ x y) (* x 2.0)) y)) (exp (/ (/ (+ x y) (* x 2.0)) y)) (/ (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* x x) x) (* (* 2.0 2.0) 2.0))) (* (* y y) y)) (/ (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* x 2.0) (* x 2.0)) (* x 2.0))) (* (* y y) y)) (/ (* (* (/ (+ x y) (* x 2.0)) (/ (+ x y) (* x 2.0))) (/ (+ x y) (* x 2.0))) (* (* y y) y)) (* (cbrt (/ (/ (+ x y) (* x 2.0)) y)) (cbrt (/ (/ (+ x y) (* x 2.0)) y))) (cbrt (/ (/ (+ x y) (* x 2.0)) y)) (* (* (/ (/ (+ x y) (* x 2.0)) y) (/ (/ (+ x y) (* x 2.0)) y)) (/ (/ (+ x y) (* x 2.0)) y)) (sqrt (/ (/ (+ x y) (* x 2.0)) y)) (sqrt (/ (/ (+ x y) (* x 2.0)) y)) (- (/ (+ x y) (* x 2.0))) (- y) (/ (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0)))) (* (cbrt y) (cbrt y))) (/ (cbrt (/ (+ x y) (* x 2.0))) (cbrt y)) (/ (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0)))) (sqrt y)) (/ (cbrt (/ (+ x y) (* x 2.0))) (sqrt y)) (/ (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0)))) 1) (/ (cbrt (/ (+ x y) (* x 2.0))) y) (/ (sqrt (/ (+ x y) (* x 2.0))) (* (cbrt y) (cbrt y))) (/ (sqrt (/ (+ x y) (* x 2.0))) (cbrt y)) (/ (sqrt (/ (+ x y) (* x 2.0))) (sqrt y)) (/ (sqrt (/ (+ x y) (* x 2.0))) (sqrt y)) (/ (sqrt (/ (+ x y) (* x 2.0))) 1) (/ (sqrt (/ (+ x y) (* x 2.0))) y) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x) (* (cbrt y) (cbrt y))) (/ (/ (cbrt (+ x y)) 2.0) (cbrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x) (sqrt y)) (/ (/ (cbrt (+ x y)) 2.0) (sqrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x) 1) (/ (/ (cbrt (+ x y)) 2.0) y) (/ (/ (sqrt (+ x y)) x) (* (cbrt y) (cbrt y))) (/ (/ (sqrt (+ x y)) 2.0) (cbrt y)) (/ (/ (sqrt (+ x y)) x) (sqrt y)) (/ (/ (sqrt (+ x y)) 2.0) (sqrt y)) (/ (/ (sqrt (+ x y)) x) 1) (/ (/ (sqrt (+ x y)) 2.0) y) (/ (/ 1 x) (* (cbrt y) (cbrt y))) (/ (/ (+ x y) 2.0) (cbrt y)) (/ (/ 1 x) (sqrt y)) (/ (/ (+ x y) 2.0) (sqrt y)) (/ (/ 1 x) 1) (/ (/ (+ x y) 2.0) y) (/ (/ 1 x) (* (cbrt y) (cbrt y))) (/ (/ (+ x y) 2.0) (cbrt y)) (/ (/ 1 x) (sqrt y)) (/ (/ (+ x y) 2.0) (sqrt y)) (/ (/ 1 x) 1) (/ (/ (+ x y) 2.0) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (/ (+ x y) (* x 2.0)) (cbrt y)) (/ 1 (sqrt y)) (/ (/ (+ x y) (* x 2.0)) (sqrt y)) (/ 1 1) (/ (/ (+ x y) (* x 2.0)) y) (/ (+ x y) (* (cbrt y) (cbrt y))) (/ (/ 1 (* x 2.0)) (cbrt y)) (/ (+ x y) (sqrt y)) (/ (/ 1 (* x 2.0)) (sqrt y)) (/ (+ x y) 1) (/ (/ 1 (* x 2.0)) y) (/ 1 y) (/ y (/ (+ x y) (* x 2.0))) (/ (/ (+ x y) (* x 2.0)) (* (cbrt y) (cbrt y))) (/ (/ (+ x y) (* x 2.0)) (sqrt y)) (/ (/ (+ x y) (* x 2.0)) 1) (/ y (cbrt (/ (+ x y) (* x 2.0)))) (/ y (sqrt (/ (+ x y) (* x 2.0)))) (/ y (/ (cbrt (+ x y)) 2.0)) (/ y (/ (sqrt (+ x y)) 2.0)) (/ y (/ (+ x y) 2.0)) (/ y (/ (+ x y) 2.0)) (/ y (/ (+ x y) (* x 2.0))) (/ y (/ 1 (* x 2.0))) (* y (* x 2.0)) (- (log (+ x y)) (+ (log x) (log 2.0))) (- (log (+ x y)) (log (* x 2.0))) (log (/ (+ x y) (* x 2.0))) (exp (/ (+ x y) (* x 2.0))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* x x) x) (* (* 2.0 2.0) 2.0))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* x 2.0) (* x 2.0)) (* x 2.0))) (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0)))) (cbrt (/ (+ x y) (* x 2.0))) (* (* (/ (+ x y) (* x 2.0)) (/ (+ x y) (* x 2.0))) (/ (+ x y) (* x 2.0))) (sqrt (/ (+ x y) (* x 2.0))) (sqrt (/ (+ x y) (* x 2.0))) (- (+ x y)) (- (* x 2.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x) (/ (cbrt (+ x y)) 2.0) (/ (sqrt (+ x y)) x) (/ (sqrt (+ x y)) 2.0) (/ 1 x) (/ (+ x y) 2.0) (/ 1 x) (/ (+ x y) 2.0) (/ 1 (* x 2.0)) (/ (* x 2.0) (+ x y)) (/ (+ x y) x) (/ (* x 2.0) (cbrt (+ x y))) (/ (* x 2.0) (sqrt (+ x y))) (/ (* x 2.0) (+ x y)) (/ (* x 2.0) (+ x y)) (* (* x 2.0) (+ (* x x) (- (* y y) (* x y)))) (* (* x 2.0) (- x y)) (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) (+ (* 0.5 (/ y x)) 0.5) (+ (* 0.5 (/ y x)) 0.5) (+ (* 0.5 (/ y x)) 0.5) 11.676 * * [simplify]: Extracting # 0 : cost 0 11.677 * * [simplify]: Extracting # 1 : cost 0 11.677 * * [simplify]: Extracting # 2 : cost 0 11.677 * * [simplify]: Extracting # 3 : cost 0 11.678 * * [simplify]: Extracting # 4 : cost 0 11.678 * * [simplify]: Extracting # 5 : cost 0 11.678 * * [simplify]: Extracting # 6 : cost 0 11.679 * * [simplify]: Extracting # 7 : cost 0 11.679 * * [simplify]: iteration 0 : 134 enodes (cost 1127 ) 11.743 * * [simplify]: Extracting # 0 : cost 0 11.744 * * [simplify]: Extracting # 1 : cost 0 11.745 * * [simplify]: Extracting # 2 : cost 0 11.746 * * [simplify]: Extracting # 3 : cost 0 11.746 * * [simplify]: Extracting # 4 : cost 0 11.747 * * [simplify]: Extracting # 5 : cost 0 11.748 * * [simplify]: iteration 1 : 331 enodes (cost 1092 ) 11.946 * * [simplify]: Extracting # 0 : cost 0 11.947 * * [simplify]: Extracting # 1 : cost 0 11.949 * * [simplify]: Extracting # 2 : cost 0 11.950 * * [simplify]: Extracting # 3 : cost 0 11.951 * * [simplify]: Extracting # 4 : cost 0 11.952 * * [simplify]: iteration 2 : 1050 enodes (cost 970 ) 13.905 * * [simplify]: Extracting # 0 : cost 0 13.915 * * [simplify]: Extracting # 1 : cost 0 13.921 * * [simplify]: Extracting # 2 : cost 0 13.926 * * [simplify]: Extracting # 3 : cost 0 13.931 * * [simplify]: iteration 3 : 4525 enodes (cost 970 ) 15.471 * * [simplify]: Extracting # 0 : cost 0 15.490 * * [simplify]: Extracting # 1 : cost 0 15.500 * * [simplify]: Extracting # 2 : cost 0 15.510 * * [simplify]: iteration done: 5000 enodes (cost 970 ) 15.512 * [simplify]: Simplified to: (log (/ (/ (+ x y) (* x 2.0)) y)) (log (/ (/ (+ x y) (* x 2.0)) y)) (log (/ (/ (+ x y) (* x 2.0)) y)) (log (/ (/ (+ x y) (* x 2.0)) y)) (exp (/ (/ (+ x y) (* x 2.0)) y)) (pow (/ (/ (+ x y) (* x 2.0)) y) 3) (pow (/ (/ (+ x y) (* x 2.0)) y) 3) (pow (/ (/ (+ x y) (* x 2.0)) y) 3) (* (cbrt (/ (/ (+ x y) (* x 2.0)) y)) (cbrt (/ (/ (+ x y) (* x 2.0)) y))) (cbrt (/ (/ (+ x y) (* x 2.0)) y)) (pow (/ (/ (+ x y) (* x 2.0)) y) 3) (sqrt (/ (/ (+ x y) (* x 2.0)) y)) (sqrt (/ (/ (+ x y) (* x 2.0)) y)) (- (/ (+ x y) (* x 2.0))) (- y) (/ (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0)))) (* (cbrt y) (cbrt y))) (/ (cbrt (/ (+ x y) (* x 2.0))) (cbrt y)) (/ (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0)))) (sqrt y)) (/ (cbrt (/ (+ x y) (* x 2.0))) (sqrt y)) (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0)))) (/ (cbrt (/ (+ x y) (* x 2.0))) y) (/ (sqrt (/ (+ x y) (* x 2.0))) (* (cbrt y) (cbrt y))) (/ (sqrt (/ (+ x y) (* x 2.0))) (cbrt y)) (/ (sqrt (/ (+ x y) (* x 2.0))) (sqrt y)) (/ (sqrt (/ (+ x y) (* x 2.0))) (sqrt y)) (sqrt (/ (+ x y) (* x 2.0))) (/ (sqrt (/ (+ x y) (* x 2.0))) y) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x) (* (cbrt y) (cbrt y))) (/ (/ (cbrt (+ x y)) 2.0) (cbrt y)) (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x) (sqrt y)) (/ (/ (cbrt (+ x y)) 2.0) (sqrt y)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x) (/ (/ (cbrt (+ x y)) 2.0) y) (/ (/ (sqrt (+ x y)) x) (* (cbrt y) (cbrt y))) (/ (/ (sqrt (+ x y)) 2.0) (cbrt y)) (/ (/ (sqrt (+ x y)) x) (sqrt y)) (/ (/ (sqrt (+ x y)) 2.0) (sqrt y)) (/ (sqrt (+ x y)) x) (/ (/ (sqrt (+ x y)) 2.0) y) (/ (/ 1 x) (* (cbrt y) (cbrt y))) (/ (/ (+ x y) 2.0) (cbrt y)) (/ (/ 1 x) (sqrt y)) (/ (/ (+ x y) 2.0) (sqrt y)) (/ 1 x) (/ (/ (+ x y) 2.0) y) (/ (/ 1 x) (* (cbrt y) (cbrt y))) (/ (/ (+ x y) 2.0) (cbrt y)) (/ (/ 1 x) (sqrt y)) (/ (/ (+ x y) 2.0) (sqrt y)) (/ 1 x) (/ (/ (+ x y) 2.0) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (/ (+ x y) (* x 2.0)) (cbrt y)) (/ 1 (sqrt y)) (/ (/ (+ x y) (* x 2.0)) (sqrt y)) 1 (/ (/ (+ x y) (* x 2.0)) y) (/ (+ x y) (* (cbrt y) (cbrt y))) (/ (/ 1 (* x 2.0)) (cbrt y)) (/ (+ x y) (sqrt y)) (/ (/ 1 (* x 2.0)) (sqrt y)) (+ x y) (/ (/ 1 (* x 2.0)) y) (/ 1 y) (/ y (/ (+ x y) (* x 2.0))) (/ (/ (+ x y) (* x 2.0)) (* (cbrt y) (cbrt y))) (/ (/ (+ x y) (* x 2.0)) (sqrt y)) (/ (+ x y) (* x 2.0)) (/ y (cbrt (/ (+ x y) (* x 2.0)))) (/ y (sqrt (/ (+ x y) (* x 2.0)))) (/ y (/ (cbrt (+ x y)) 2.0)) (/ y (/ (sqrt (+ x y)) 2.0)) (/ y (/ (+ x y) 2.0)) (/ y (/ (+ x y) 2.0)) (/ y (/ (+ x y) (* x 2.0))) (* 2.0 (* x y)) (* 2.0 (* x y)) (log (/ (+ x y) (* x 2.0))) (log (/ (+ x y) (* x 2.0))) (log (/ (+ x y) (* x 2.0))) (exp (/ (+ x y) (* x 2.0))) (pow (/ (+ x y) (* x 2.0)) 3) (pow (/ (+ x y) (* x 2.0)) 3) (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0)))) (cbrt (/ (+ x y) (* x 2.0))) (pow (/ (+ x y) (* x 2.0)) 3) (sqrt (/ (+ x y) (* x 2.0))) (sqrt (/ (+ x y) (* x 2.0))) (- (+ x y)) (- (* x 2.0)) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x) (/ (cbrt (+ x y)) 2.0) (/ (sqrt (+ x y)) x) (/ (sqrt (+ x y)) 2.0) (/ 1 x) (/ (+ x y) 2.0) (/ 1 x) (/ (+ x y) 2.0) (/ 1 (* x 2.0)) (/ (* x 2.0) (+ x y)) (/ (+ x y) x) (/ (* x 2.0) (cbrt (+ x y))) (/ (* x 2.0) (sqrt (+ x y))) (/ (* x 2.0) (+ x y)) (/ (* x 2.0) (+ x y)) (* (+ (* x x) (* y (- y x))) (* x 2.0)) (* (* x 2.0) (- x y)) (+ (/ 0.5 y) (/ 0.5 x)) (+ (/ 0.5 y) (/ 0.5 x)) (+ (/ 0.5 y) (/ 0.5 x)) (+ (* 0.5 (/ y x)) 0.5) (+ (* 0.5 (/ y x)) 0.5) (+ (* 0.5 (/ y x)) 0.5) 15.513 * * * [progress]: adding candidates to table 15.692 * [progress]: [Phase 3 of 3] Extracting. 15.692 * * [regime]: Finding splitpoints for: (# # # #) 15.693 * * * [regime-changes]: Trying 2 branch expressions: (y x) 15.693 * * * * [regimes]: Trying to branch on y from (# # # #) 15.728 * * * * [regimes]: Trying to branch on x from (# # # #) 15.759 * * * [regime]: Found split indices: #