40.045 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.037 * * * [progress]: [2/2] Setting up program. 0.041 * [progress]: [Phase 2 of 3] Improving. 0.041 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.042 * [simplify]: Simplifying: (* (+ x y) (+ x y)) 0.042 * * [simplify]: iteration 0: 4 enodes 0.043 * * [simplify]: iteration 1: 11 enodes 0.046 * * [simplify]: iteration 2: 27 enodes 0.052 * * [simplify]: iteration 3: 65 enodes 0.062 * * [simplify]: iteration 4: 105 enodes 0.082 * * [simplify]: iteration 5: 131 enodes 0.097 * * [simplify]: iteration 6: 153 enodes 0.113 * * [simplify]: iteration 7: 167 enodes 0.127 * * [simplify]: iteration complete: 167 enodes 0.127 * * [simplify]: Extracting #0: cost 1 inf + 0 0.127 * * [simplify]: Extracting #1: cost 19 inf + 0 0.127 * * [simplify]: Extracting #2: cost 14 inf + 85 0.128 * * [simplify]: Extracting #3: cost 0 inf + 1203 0.128 * * [simplify]: Extracting #4: cost 0 inf + 1125 0.129 * [simplify]: Simplified to: (* (+ y x) (+ y x)) 0.130 * * [progress]: iteration 1 / 4 0.130 * * * [progress]: picking best candidate 0.132 * * * * [pick]: Picked # 0.132 * * * [progress]: localizing error 0.139 * * * [progress]: generating rewritten candidates 0.139 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.163 * * * [progress]: generating series expansions 0.163 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.163 * [backup-simplify]: Simplify (* (+ x y) (+ x y)) into (pow (+ x y) 2) 0.163 * [approximate]: Taking taylor expansion of (pow (+ x y) 2) in (x y) around 0 0.163 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in y 0.163 * [taylor]: Taking taylor expansion of (+ x y) in y 0.163 * [taylor]: Taking taylor expansion of x in y 0.163 * [backup-simplify]: Simplify x into x 0.163 * [taylor]: Taking taylor expansion of y in y 0.163 * [backup-simplify]: Simplify 0 into 0 0.163 * [backup-simplify]: Simplify 1 into 1 0.163 * [backup-simplify]: Simplify (+ x 0) into x 0.163 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in x 0.163 * [taylor]: Taking taylor expansion of (+ x y) in x 0.163 * [taylor]: Taking taylor expansion of x in x 0.163 * [backup-simplify]: Simplify 0 into 0 0.163 * [backup-simplify]: Simplify 1 into 1 0.163 * [taylor]: Taking taylor expansion of y in x 0.163 * [backup-simplify]: Simplify y into y 0.163 * [backup-simplify]: Simplify (+ 0 y) into y 0.163 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in x 0.163 * [taylor]: Taking taylor expansion of (+ x y) in x 0.163 * [taylor]: Taking taylor expansion of x in x 0.164 * [backup-simplify]: Simplify 0 into 0 0.164 * [backup-simplify]: Simplify 1 into 1 0.164 * [taylor]: Taking taylor expansion of y in x 0.164 * [backup-simplify]: Simplify y into y 0.164 * [backup-simplify]: Simplify (+ 0 y) into y 0.164 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.164 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.164 * [taylor]: Taking taylor expansion of y in y 0.164 * [backup-simplify]: Simplify 0 into 0 0.164 * [backup-simplify]: Simplify 1 into 1 0.164 * [backup-simplify]: Simplify (+ 1 0) into 1 0.164 * [backup-simplify]: Simplify (+ (* y 1) (* 1 y)) into (* 2 y) 0.164 * [taylor]: Taking taylor expansion of (* 2 y) in y 0.164 * [taylor]: Taking taylor expansion of 2 in y 0.165 * [backup-simplify]: Simplify 2 into 2 0.165 * [taylor]: Taking taylor expansion of y in y 0.165 * [backup-simplify]: Simplify 0 into 0 0.165 * [backup-simplify]: Simplify 1 into 1 0.165 * [backup-simplify]: Simplify (* 2 0) into 0 0.165 * [backup-simplify]: Simplify 0 into 0 0.165 * [backup-simplify]: Simplify (+ 0 0) into 0 0.166 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 1 1) (* 0 y))) into 1 0.166 * [taylor]: Taking taylor expansion of 1 in y 0.166 * [backup-simplify]: Simplify 1 into 1 0.166 * [backup-simplify]: Simplify 1 into 1 0.166 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 0.166 * [backup-simplify]: Simplify 2 into 2 0.166 * [backup-simplify]: Simplify (* 1 1) into 1 0.166 * [backup-simplify]: Simplify 1 into 1 0.167 * [backup-simplify]: Simplify (+ (* 1 (pow (* y 1) 2)) (+ (* 2 (* y x)) (* 1 (pow (* 1 x) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) 0.167 * [backup-simplify]: Simplify (* (+ (/ 1 x) (/ 1 y)) (+ (/ 1 x) (/ 1 y))) into (pow (+ (/ 1 x) (/ 1 y)) 2) 0.167 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in (x y) around 0 0.167 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in y 0.167 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 0.167 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.167 * [taylor]: Taking taylor expansion of x in y 0.167 * [backup-simplify]: Simplify x into x 0.167 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.167 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.167 * [taylor]: Taking taylor expansion of y in y 0.167 * [backup-simplify]: Simplify 0 into 0 0.167 * [backup-simplify]: Simplify 1 into 1 0.167 * [backup-simplify]: Simplify (/ 1 1) into 1 0.168 * [backup-simplify]: Simplify (+ 0 1) into 1 0.168 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in x 0.168 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.168 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.168 * [taylor]: Taking taylor expansion of x in x 0.168 * [backup-simplify]: Simplify 0 into 0 0.168 * [backup-simplify]: Simplify 1 into 1 0.168 * [backup-simplify]: Simplify (/ 1 1) into 1 0.168 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.168 * [taylor]: Taking taylor expansion of y in x 0.168 * [backup-simplify]: Simplify y into y 0.168 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.169 * [backup-simplify]: Simplify (+ 1 0) into 1 0.169 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in x 0.169 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.169 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.169 * [taylor]: Taking taylor expansion of x in x 0.169 * [backup-simplify]: Simplify 0 into 0 0.169 * [backup-simplify]: Simplify 1 into 1 0.169 * [backup-simplify]: Simplify (/ 1 1) into 1 0.169 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.169 * [taylor]: Taking taylor expansion of y in x 0.169 * [backup-simplify]: Simplify y into y 0.169 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.169 * [backup-simplify]: Simplify (+ 1 0) into 1 0.170 * [backup-simplify]: Simplify (* 1 1) into 1 0.170 * [taylor]: Taking taylor expansion of 1 in y 0.170 * [backup-simplify]: Simplify 1 into 1 0.170 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.170 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 0.170 * [backup-simplify]: Simplify (+ (* 1 (/ 1 y)) (* (/ 1 y) 1)) into (* 2 (/ 1 y)) 0.170 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 0.170 * [taylor]: Taking taylor expansion of 2 in y 0.170 * [backup-simplify]: Simplify 2 into 2 0.170 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.170 * [taylor]: Taking taylor expansion of y in y 0.170 * [backup-simplify]: Simplify 0 into 0 0.170 * [backup-simplify]: Simplify 1 into 1 0.171 * [backup-simplify]: Simplify (/ 1 1) into 1 0.171 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.172 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.172 * [backup-simplify]: Simplify (+ 0 0) into 0 0.173 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) (/ 1 y)) (* 0 1))) into (/ 1 (pow y 2)) 0.173 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.173 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.173 * [taylor]: Taking taylor expansion of y in y 0.173 * [backup-simplify]: Simplify 0 into 0 0.173 * [backup-simplify]: Simplify 1 into 1 0.173 * [backup-simplify]: Simplify (* 1 1) into 1 0.173 * [backup-simplify]: Simplify (/ 1 1) into 1 0.173 * [backup-simplify]: Simplify 1 into 1 0.173 * [backup-simplify]: Simplify (* 2 1) into 2 0.174 * [backup-simplify]: Simplify 2 into 2 0.174 * [backup-simplify]: Simplify 1 into 1 0.174 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (+ (* 2 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) (* 1 (pow (* (/ 1 (/ 1 y)) 1) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) 0.174 * [backup-simplify]: Simplify (* (+ (/ 1 (- x)) (/ 1 (- y))) (+ (/ 1 (- x)) (/ 1 (- y)))) into (pow (+ (/ 1 x) (/ 1 y)) 2) 0.174 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in (x y) around 0 0.174 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in y 0.174 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 0.174 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.174 * [taylor]: Taking taylor expansion of x in y 0.174 * [backup-simplify]: Simplify x into x 0.174 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.174 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.174 * [taylor]: Taking taylor expansion of y in y 0.174 * [backup-simplify]: Simplify 0 into 0 0.174 * [backup-simplify]: Simplify 1 into 1 0.175 * [backup-simplify]: Simplify (/ 1 1) into 1 0.175 * [backup-simplify]: Simplify (+ 0 1) into 1 0.175 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in x 0.175 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.175 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.175 * [taylor]: Taking taylor expansion of x in x 0.175 * [backup-simplify]: Simplify 0 into 0 0.175 * [backup-simplify]: Simplify 1 into 1 0.175 * [backup-simplify]: Simplify (/ 1 1) into 1 0.175 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.175 * [taylor]: Taking taylor expansion of y in x 0.175 * [backup-simplify]: Simplify y into y 0.175 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.176 * [backup-simplify]: Simplify (+ 1 0) into 1 0.176 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in x 0.176 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.176 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.176 * [taylor]: Taking taylor expansion of x in x 0.176 * [backup-simplify]: Simplify 0 into 0 0.176 * [backup-simplify]: Simplify 1 into 1 0.176 * [backup-simplify]: Simplify (/ 1 1) into 1 0.176 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.176 * [taylor]: Taking taylor expansion of y in x 0.176 * [backup-simplify]: Simplify y into y 0.176 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.176 * [backup-simplify]: Simplify (+ 1 0) into 1 0.177 * [backup-simplify]: Simplify (* 1 1) into 1 0.177 * [taylor]: Taking taylor expansion of 1 in y 0.177 * [backup-simplify]: Simplify 1 into 1 0.177 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.177 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 0.177 * [backup-simplify]: Simplify (+ (* 1 (/ 1 y)) (* (/ 1 y) 1)) into (* 2 (/ 1 y)) 0.178 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 0.178 * [taylor]: Taking taylor expansion of 2 in y 0.178 * [backup-simplify]: Simplify 2 into 2 0.178 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.178 * [taylor]: Taking taylor expansion of y in y 0.178 * [backup-simplify]: Simplify 0 into 0 0.178 * [backup-simplify]: Simplify 1 into 1 0.178 * [backup-simplify]: Simplify (/ 1 1) into 1 0.179 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.179 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.179 * [backup-simplify]: Simplify (+ 0 0) into 0 0.180 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) (/ 1 y)) (* 0 1))) into (/ 1 (pow y 2)) 0.180 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.180 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.180 * [taylor]: Taking taylor expansion of y in y 0.180 * [backup-simplify]: Simplify 0 into 0 0.180 * [backup-simplify]: Simplify 1 into 1 0.180 * [backup-simplify]: Simplify (* 1 1) into 1 0.180 * [backup-simplify]: Simplify (/ 1 1) into 1 0.180 * [backup-simplify]: Simplify 1 into 1 0.181 * [backup-simplify]: Simplify (* 2 1) into 2 0.181 * [backup-simplify]: Simplify 2 into 2 0.181 * [backup-simplify]: Simplify 1 into 1 0.181 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (+ (* 2 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (* 1 (pow (* (/ 1 (/ 1 (- y))) 1) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) 0.181 * * * [progress]: simplifying candidates 0.181 * * * * [progress]: [ 1 / 46 ] simplifiying candidate # 0.181 * * * * [progress]: [ 2 / 46 ] simplifiying candidate # 0.181 * * * * [progress]: [ 3 / 46 ] simplifiying candidate # 0.181 * * * * [progress]: [ 4 / 46 ] simplifiying candidate # 0.181 * * * * [progress]: [ 5 / 46 ] simplifiying candidate # 0.181 * * * * [progress]: [ 6 / 46 ] simplifiying candidate # 0.181 * * * * [progress]: [ 7 / 46 ] simplifiying candidate # 0.181 * * * * [progress]: [ 8 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 9 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 10 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 11 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 12 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 13 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 14 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 15 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 16 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 17 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 18 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 19 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 20 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 21 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 22 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 23 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 24 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 25 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 26 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 27 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 28 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 29 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 30 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 31 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 32 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 33 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 34 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 35 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 36 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 37 / 46 ] simplifiying candidate # 0.182 * * * * [progress]: [ 38 / 46 ] simplifiying candidate # 0.183 * * * * [progress]: [ 39 / 46 ] simplifiying candidate # 0.183 * * * * [progress]: [ 40 / 46 ] simplifiying candidate # 0.183 * * * * [progress]: [ 41 / 46 ] simplifiying candidate # 0.183 * * * * [progress]: [ 42 / 46 ] simplifiying candidate #real (real->posit16 (* (+ x y) (+ x y)))))> 0.183 * * * * [progress]: [ 43 / 46 ] simplifiying candidate # 0.183 * * * * [progress]: [ 44 / 46 ] simplifiying candidate # 0.183 * * * * [progress]: [ 45 / 46 ] simplifiying candidate # 0.183 * * * * [progress]: [ 46 / 46 ] simplifiying candidate # 0.183 * [simplify]: Simplifying: (expm1 (* (+ x y) (+ x y))) (log1p (* (+ x y) (+ x y))) (+ 1 1) (* (+ x y) (+ x y)) (+ 1 1) (+ (log (+ x y)) (log (+ x y))) (log (* (+ x y) (+ x y))) (exp (* (+ x y) (+ x y))) (* (* (* (+ x y) (+ x y)) (+ x y)) (* (* (+ x y) (+ x y)) (+ x y))) (* (cbrt (* (+ x y) (+ x y))) (cbrt (* (+ x y) (+ x y)))) (cbrt (* (+ x y) (+ x y))) (* (* (* (+ x y) (+ x y)) (* (+ x y) (+ x y))) (* (+ x y) (+ x y))) (sqrt (* (+ x y) (+ x y))) (sqrt (* (+ x y) (+ x y))) (* (+ (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y)))) (* (+ (pow x 3) (pow y 3)) (- (* x x) (* y y))) (* (+ (* x x) (- (* y y) (* x y))) (- x y)) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))) (* (- x y) (+ (* x x) (- (* y y) (* x y)))) (* (- (* x x) (* y y)) (- (* x x) (* y y))) (* (- x y) (- x y)) (* (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (+ x y)) (cbrt (+ x y)))) (* (cbrt (+ x y)) (cbrt (+ x y))) (* (sqrt (+ x y)) (sqrt (+ x y))) (* (sqrt (+ x y)) (sqrt (+ x y))) (* 1 1) (* (+ x y) (+ x y)) (* 1 1) (* (+ x y) (+ x y)) (* 1 1) (* (+ x y) (+ x y)) (* 1 1) (* (+ x y) (+ x y)) (* (sqrt (+ x y)) (sqrt (+ x y))) (* (sqrt (+ x y)) (sqrt (+ x y))) (* 2 1) (* (+ x y) x) (* (+ x y) y) (* x (+ x y)) (* y (+ x y)) (* (+ x y) (* (cbrt (+ x y)) (cbrt (+ x y)))) (* (+ x y) (sqrt (+ x y))) (* (+ x y) 1) (* (+ x y) 1) (* (cbrt (+ x y)) (+ x y)) (* (sqrt (+ x y)) (+ x y)) (* (+ x y) (+ x y)) (* (+ x y) (+ x y)) (* (+ x y) (+ (pow x 3) (pow y 3))) (* (+ x y) (- (* x x) (* y y))) (* (+ (pow x 3) (pow y 3)) (+ x y)) (* (- (* x x) (* y y)) (+ x y)) (real->posit16 (* (+ x y) (+ x y))) (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) 0.184 * * [simplify]: iteration 0: 65 enodes 0.201 * * [simplify]: iteration 1: 232 enodes 0.304 * * [simplify]: iteration 2: 835 enodes 1.104 * * [simplify]: iteration 3: 4230 enodes 2.695 * * [simplify]: iteration complete: 5000 enodes 2.695 * * [simplify]: Extracting #0: cost 28 inf + 0 2.697 * * [simplify]: Extracting #1: cost 375 inf + 2 2.707 * * [simplify]: Extracting #2: cost 1302 inf + 9288 2.746 * * [simplify]: Extracting #3: cost 625 inf + 145002 2.827 * * [simplify]: Extracting #4: cost 74 inf + 240922 2.903 * * [simplify]: Extracting #5: cost 9 inf + 256578 2.982 * * [simplify]: Extracting #6: cost 0 inf + 259845 3.045 * [simplify]: Simplified to: (expm1 (* (+ y x) (+ y x))) (log1p (* (+ y x) (+ y x))) 2 (* (+ y x) (+ y x)) 2 (+ (log (+ y x)) (log (+ y x))) (+ (log (+ y x)) (log (+ y x))) (exp (* (+ y x) (+ y x))) (* (* (+ y x) (+ y x)) (* (* (+ y x) (+ y x)) (* (+ y x) (+ y x)))) (* (cbrt (* (+ y x) (+ y x))) (cbrt (* (+ y x) (+ y x)))) (cbrt (* (+ y x) (+ y x))) (* (* (+ y x) (+ y x)) (* (* (+ y x) (+ y x)) (* (+ y x) (+ y x)))) (fabs (+ y x)) (fabs (+ y x)) (* (fma (* y y) y (* (* x x) x)) (fma (* y y) y (* (* x x) x))) (* (fma (- y x) y (* x x)) (fma (- y x) y (* x x))) (fma (fma (* y y) y (* (* x x) x)) (* x x) (* (- (* y y)) (fma (* y y) y (* (* x x) x)))) (* (fma (- y x) y (* x x)) (- x y)) (fma (fma (* y y) y (* (* x x) x)) (* x x) (* (- (* y y)) (fma (* y y) y (* (* x x) x)))) (* (fma (- y x) y (* x x)) (- x y)) (* (* (- x y) (+ y x)) (* (- x y) (+ y x))) (* (- x y) (- x y)) (* (cbrt (+ y x)) (+ y x)) (* (cbrt (+ y x)) (cbrt (+ y x))) (+ y x) (+ y x) 1 (* (+ y x) (+ y x)) 1 (* (+ y x) (+ y x)) 1 (* (+ y x) (+ y x)) 1 (* (+ y x) (+ y x)) (+ y x) (+ y x) 2 (* x (+ y x)) (* (+ y x) y) (* x (+ y x)) (* (+ y x) y) (* (+ y x) (* (cbrt (+ y x)) (cbrt (+ y x)))) (* (sqrt (+ y x)) (+ y x)) (+ y x) (+ y x) (* (cbrt (+ y x)) (+ y x)) (* (sqrt (+ y x)) (+ y x)) (* (+ y x) (+ y x)) (* (+ y x) (+ y x)) (* (fma (* y y) y (* (* x x) x)) (+ y x)) (* (* (- x y) (+ y x)) (+ y x)) (* (fma (* y y) y (* (* x x) x)) (+ y x)) (* (* (- x y) (+ y x)) (+ y x)) (real->posit16 (* (+ y x) (+ y x))) (fma 2 (* x y) (fma y y (* x x))) (fma 2 (* x y) (fma y y (* x x))) (fma 2 (* x y) (fma y y (* x x))) 3.047 * * * [progress]: adding candidates to table 3.134 * * [progress]: iteration 2 / 4 3.134 * * * [progress]: picking best candidate 3.136 * * * * [pick]: Picked # 3.137 * * * [progress]: localizing error 3.150 * * * [progress]: generating rewritten candidates 3.150 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 3.150 * * * * [progress]: [ 2 / 2 ] rewriting at (2 3) 3.150 * * * [progress]: generating series expansions 3.150 * * * * [progress]: [ 1 / 2 ] generating series at (2) 3.150 * [backup-simplify]: Simplify (fma 2 (* x y) (fma y y (* x x))) into (fma 2 (* x y) (fma y y (pow x 2))) 3.151 * [approximate]: Taking taylor expansion of (fma 2 (* x y) (fma y y (pow x 2))) in (x y) around 0 3.151 * [taylor]: Taking taylor expansion of (fma 2 (* x y) (fma y y (pow x 2))) in y 3.151 * [taylor]: Rewrote expression to (+ (* 2 (* x y)) (fma y y (pow x 2))) 3.151 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in y 3.151 * [taylor]: Taking taylor expansion of 2 in y 3.151 * [backup-simplify]: Simplify 2 into 2 3.151 * [taylor]: Taking taylor expansion of (* x y) in y 3.151 * [taylor]: Taking taylor expansion of x in y 3.151 * [backup-simplify]: Simplify x into x 3.151 * [taylor]: Taking taylor expansion of y in y 3.151 * [backup-simplify]: Simplify 0 into 0 3.151 * [backup-simplify]: Simplify 1 into 1 3.151 * [taylor]: Taking taylor expansion of (fma y y (pow x 2)) in y 3.151 * [taylor]: Rewrote expression to (+ (* y y) (pow x 2)) 3.151 * [taylor]: Taking taylor expansion of (* y y) in y 3.151 * [taylor]: Taking taylor expansion of y in y 3.151 * [backup-simplify]: Simplify 0 into 0 3.151 * [backup-simplify]: Simplify 1 into 1 3.151 * [taylor]: Taking taylor expansion of y in y 3.151 * [backup-simplify]: Simplify 0 into 0 3.151 * [backup-simplify]: Simplify 1 into 1 3.151 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.151 * [taylor]: Taking taylor expansion of x in y 3.151 * [backup-simplify]: Simplify x into x 3.151 * [taylor]: Taking taylor expansion of (fma 2 (* x y) (fma y y (pow x 2))) in x 3.151 * [taylor]: Rewrote expression to (+ (* 2 (* x y)) (fma y y (pow x 2))) 3.151 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in x 3.151 * [taylor]: Taking taylor expansion of 2 in x 3.151 * [backup-simplify]: Simplify 2 into 2 3.151 * [taylor]: Taking taylor expansion of (* x y) in x 3.151 * [taylor]: Taking taylor expansion of x in x 3.151 * [backup-simplify]: Simplify 0 into 0 3.151 * [backup-simplify]: Simplify 1 into 1 3.151 * [taylor]: Taking taylor expansion of y in x 3.151 * [backup-simplify]: Simplify y into y 3.151 * [taylor]: Taking taylor expansion of (fma y y (pow x 2)) in x 3.151 * [taylor]: Rewrote expression to (+ (* y y) (pow x 2)) 3.151 * [taylor]: Taking taylor expansion of (* y y) in x 3.151 * [taylor]: Taking taylor expansion of y in x 3.151 * [backup-simplify]: Simplify y into y 3.151 * [taylor]: Taking taylor expansion of y in x 3.151 * [backup-simplify]: Simplify y into y 3.151 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.151 * [taylor]: Taking taylor expansion of x in x 3.151 * [backup-simplify]: Simplify 0 into 0 3.151 * [backup-simplify]: Simplify 1 into 1 3.151 * [taylor]: Taking taylor expansion of (fma 2 (* x y) (fma y y (pow x 2))) in x 3.151 * [taylor]: Rewrote expression to (+ (* 2 (* x y)) (fma y y (pow x 2))) 3.151 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in x 3.151 * [taylor]: Taking taylor expansion of 2 in x 3.151 * [backup-simplify]: Simplify 2 into 2 3.151 * [taylor]: Taking taylor expansion of (* x y) in x 3.151 * [taylor]: Taking taylor expansion of x in x 3.151 * [backup-simplify]: Simplify 0 into 0 3.151 * [backup-simplify]: Simplify 1 into 1 3.151 * [taylor]: Taking taylor expansion of y in x 3.151 * [backup-simplify]: Simplify y into y 3.151 * [taylor]: Taking taylor expansion of (fma y y (pow x 2)) in x 3.151 * [taylor]: Rewrote expression to (+ (* y y) (pow x 2)) 3.151 * [taylor]: Taking taylor expansion of (* y y) in x 3.151 * [taylor]: Taking taylor expansion of y in x 3.152 * [backup-simplify]: Simplify y into y 3.152 * [taylor]: Taking taylor expansion of y in x 3.152 * [backup-simplify]: Simplify y into y 3.152 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.152 * [taylor]: Taking taylor expansion of x in x 3.152 * [backup-simplify]: Simplify 0 into 0 3.152 * [backup-simplify]: Simplify 1 into 1 3.152 * [backup-simplify]: Simplify (* 0 y) into 0 3.152 * [backup-simplify]: Simplify (* 2 0) into 0 3.152 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.152 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2) 3.152 * [backup-simplify]: Simplify (+ 0 (pow y 2)) into (pow y 2) 3.152 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.152 * [taylor]: Taking taylor expansion of y in y 3.152 * [backup-simplify]: Simplify 0 into 0 3.153 * [backup-simplify]: Simplify 1 into 1 3.153 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.153 * [backup-simplify]: Simplify (+ (* 2 y) (* 0 0)) into (* 2 y) 3.153 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 3.154 * [backup-simplify]: Simplify (+ 0 0) into 0 3.154 * [backup-simplify]: Simplify (+ (* 2 y) 0) into (* 2 y) 3.154 * [taylor]: Taking taylor expansion of (* 2 y) in y 3.154 * [taylor]: Taking taylor expansion of 2 in y 3.154 * [backup-simplify]: Simplify 2 into 2 3.154 * [taylor]: Taking taylor expansion of y in y 3.154 * [backup-simplify]: Simplify 0 into 0 3.154 * [backup-simplify]: Simplify 1 into 1 3.154 * [backup-simplify]: Simplify (* 2 0) into 0 3.154 * [backup-simplify]: Simplify 0 into 0 3.155 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 3.155 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 y) (* 0 0))) into 0 3.156 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 3.156 * [backup-simplify]: Simplify (* 1 1) into 1 3.156 * [backup-simplify]: Simplify (+ 0 1) into 1 3.156 * [backup-simplify]: Simplify (+ 0 1) into 1 3.156 * [taylor]: Taking taylor expansion of 1 in y 3.156 * [backup-simplify]: Simplify 1 into 1 3.156 * [backup-simplify]: Simplify 1 into 1 3.157 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 3.157 * [backup-simplify]: Simplify 2 into 2 3.157 * [backup-simplify]: Simplify (* 1 1) into 1 3.157 * [backup-simplify]: Simplify 1 into 1 3.157 * [backup-simplify]: Simplify (+ (* 1 (pow (* y 1) 2)) (+ (* 2 (* y x)) (* 1 (pow (* 1 x) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) 3.158 * [backup-simplify]: Simplify (fma 2 (* (/ 1 x) (/ 1 y)) (fma (/ 1 y) (/ 1 y) (* (/ 1 x) (/ 1 x)))) into (fma 2 (/ 1 (* x y)) (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2)))) 3.158 * [approximate]: Taking taylor expansion of (fma 2 (/ 1 (* x y)) (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2)))) in (x y) around 0 3.158 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 (* x y)) (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2)))) in y 3.158 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 (* x y))) (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2)))) 3.158 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y 3.158 * [taylor]: Taking taylor expansion of 2 in y 3.158 * [backup-simplify]: Simplify 2 into 2 3.158 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.158 * [taylor]: Taking taylor expansion of (* x y) in y 3.158 * [taylor]: Taking taylor expansion of x in y 3.158 * [backup-simplify]: Simplify x into x 3.158 * [taylor]: Taking taylor expansion of y in y 3.158 * [backup-simplify]: Simplify 0 into 0 3.158 * [backup-simplify]: Simplify 1 into 1 3.158 * [backup-simplify]: Simplify (* x 0) into 0 3.158 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.158 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.158 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2))) in y 3.158 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) (/ 1 (pow x 2))) 3.158 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y 3.158 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.158 * [taylor]: Taking taylor expansion of y in y 3.158 * [backup-simplify]: Simplify 0 into 0 3.158 * [backup-simplify]: Simplify 1 into 1 3.159 * [backup-simplify]: Simplify (/ 1 1) into 1 3.159 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.159 * [taylor]: Taking taylor expansion of y in y 3.159 * [backup-simplify]: Simplify 0 into 0 3.159 * [backup-simplify]: Simplify 1 into 1 3.159 * [backup-simplify]: Simplify (/ 1 1) into 1 3.159 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 3.159 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.159 * [taylor]: Taking taylor expansion of x in y 3.159 * [backup-simplify]: Simplify x into x 3.159 * [backup-simplify]: Simplify (* x x) into (pow x 2) 3.159 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 3.159 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 (* x y)) (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2)))) in x 3.159 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 (* x y))) (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2)))) 3.159 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x 3.159 * [taylor]: Taking taylor expansion of 2 in x 3.159 * [backup-simplify]: Simplify 2 into 2 3.159 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.159 * [taylor]: Taking taylor expansion of (* x y) in x 3.159 * [taylor]: Taking taylor expansion of x in x 3.159 * [backup-simplify]: Simplify 0 into 0 3.159 * [backup-simplify]: Simplify 1 into 1 3.159 * [taylor]: Taking taylor expansion of y in x 3.159 * [backup-simplify]: Simplify y into y 3.159 * [backup-simplify]: Simplify (* 0 y) into 0 3.160 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.160 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.160 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2))) in x 3.160 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) (/ 1 (pow x 2))) 3.160 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in x 3.160 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.160 * [taylor]: Taking taylor expansion of y in x 3.160 * [backup-simplify]: Simplify y into y 3.160 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.160 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.160 * [taylor]: Taking taylor expansion of y in x 3.160 * [backup-simplify]: Simplify y into y 3.160 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.160 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.160 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.160 * [taylor]: Taking taylor expansion of x in x 3.160 * [backup-simplify]: Simplify 0 into 0 3.160 * [backup-simplify]: Simplify 1 into 1 3.160 * [backup-simplify]: Simplify (* 1 1) into 1 3.161 * [backup-simplify]: Simplify (/ 1 1) into 1 3.161 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 (* x y)) (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2)))) in x 3.161 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 (* x y))) (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2)))) 3.161 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x 3.161 * [taylor]: Taking taylor expansion of 2 in x 3.161 * [backup-simplify]: Simplify 2 into 2 3.161 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.161 * [taylor]: Taking taylor expansion of (* x y) in x 3.161 * [taylor]: Taking taylor expansion of x in x 3.161 * [backup-simplify]: Simplify 0 into 0 3.161 * [backup-simplify]: Simplify 1 into 1 3.161 * [taylor]: Taking taylor expansion of y in x 3.161 * [backup-simplify]: Simplify y into y 3.161 * [backup-simplify]: Simplify (* 0 y) into 0 3.161 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.161 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.161 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2))) in x 3.161 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) (/ 1 (pow x 2))) 3.161 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in x 3.161 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.161 * [taylor]: Taking taylor expansion of y in x 3.161 * [backup-simplify]: Simplify y into y 3.161 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.161 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.161 * [taylor]: Taking taylor expansion of y in x 3.161 * [backup-simplify]: Simplify y into y 3.161 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.161 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.161 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.161 * [taylor]: Taking taylor expansion of x in x 3.161 * [backup-simplify]: Simplify 0 into 0 3.161 * [backup-simplify]: Simplify 1 into 1 3.162 * [backup-simplify]: Simplify (* 1 1) into 1 3.162 * [backup-simplify]: Simplify (/ 1 1) into 1 3.162 * [backup-simplify]: Simplify (+ 0 1) into 1 3.163 * [backup-simplify]: Simplify (+ 0 1) into 1 3.163 * [taylor]: Taking taylor expansion of 1 in y 3.163 * [backup-simplify]: Simplify 1 into 1 3.163 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y) 3.163 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.164 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.164 * [backup-simplify]: Simplify (+ 0 0) into 0 3.164 * [backup-simplify]: Simplify (+ (/ 2 y) 0) into (* 2 (/ 1 y)) 3.164 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 3.164 * [taylor]: Taking taylor expansion of 2 in y 3.164 * [backup-simplify]: Simplify 2 into 2 3.164 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.164 * [taylor]: Taking taylor expansion of y in y 3.164 * [backup-simplify]: Simplify 0 into 0 3.164 * [backup-simplify]: Simplify 1 into 1 3.164 * [backup-simplify]: Simplify (/ 1 1) into 1 3.165 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 3.165 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.165 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0 3.165 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2)) 3.166 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.166 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.166 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2)) 3.167 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow y 2))) into (/ 1 (pow y 2)) 3.167 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.167 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.167 * [taylor]: Taking taylor expansion of y in y 3.167 * [backup-simplify]: Simplify 0 into 0 3.167 * [backup-simplify]: Simplify 1 into 1 3.167 * [backup-simplify]: Simplify (* 1 1) into 1 3.167 * [backup-simplify]: Simplify (/ 1 1) into 1 3.167 * [backup-simplify]: Simplify 1 into 1 3.167 * [backup-simplify]: Simplify (* 2 1) into 2 3.168 * [backup-simplify]: Simplify 2 into 2 3.168 * [backup-simplify]: Simplify 1 into 1 3.168 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (+ (* 2 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) (* 1 (pow (* (/ 1 (/ 1 y)) 1) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) 3.168 * [backup-simplify]: Simplify (fma 2 (* (/ 1 (- x)) (/ 1 (- y))) (fma (/ 1 (- y)) (/ 1 (- y)) (* (/ 1 (- x)) (/ 1 (- x))))) into (fma 2 (/ 1 (* x y)) (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2)))) 3.168 * [approximate]: Taking taylor expansion of (fma 2 (/ 1 (* x y)) (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2)))) in (x y) around 0 3.168 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 (* x y)) (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2)))) in y 3.168 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 (* x y))) (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2)))) 3.168 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y 3.168 * [taylor]: Taking taylor expansion of 2 in y 3.168 * [backup-simplify]: Simplify 2 into 2 3.168 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.168 * [taylor]: Taking taylor expansion of (* x y) in y 3.168 * [taylor]: Taking taylor expansion of x in y 3.168 * [backup-simplify]: Simplify x into x 3.168 * [taylor]: Taking taylor expansion of y in y 3.168 * [backup-simplify]: Simplify 0 into 0 3.168 * [backup-simplify]: Simplify 1 into 1 3.168 * [backup-simplify]: Simplify (* x 0) into 0 3.169 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.169 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.169 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2))) in y 3.169 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) (/ 1 (pow x 2))) 3.169 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y 3.169 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.169 * [taylor]: Taking taylor expansion of -1 in y 3.169 * [backup-simplify]: Simplify -1 into -1 3.169 * [taylor]: Taking taylor expansion of y in y 3.169 * [backup-simplify]: Simplify 0 into 0 3.169 * [backup-simplify]: Simplify 1 into 1 3.169 * [backup-simplify]: Simplify (/ -1 1) into -1 3.169 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.169 * [taylor]: Taking taylor expansion of -1 in y 3.169 * [backup-simplify]: Simplify -1 into -1 3.169 * [taylor]: Taking taylor expansion of y in y 3.169 * [backup-simplify]: Simplify 0 into 0 3.169 * [backup-simplify]: Simplify 1 into 1 3.169 * [backup-simplify]: Simplify (/ -1 1) into -1 3.170 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 3.170 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.170 * [taylor]: Taking taylor expansion of x in y 3.170 * [backup-simplify]: Simplify x into x 3.170 * [backup-simplify]: Simplify (* x x) into (pow x 2) 3.170 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 3.170 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 (* x y)) (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2)))) in x 3.170 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 (* x y))) (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2)))) 3.170 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x 3.170 * [taylor]: Taking taylor expansion of 2 in x 3.170 * [backup-simplify]: Simplify 2 into 2 3.170 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.170 * [taylor]: Taking taylor expansion of (* x y) in x 3.170 * [taylor]: Taking taylor expansion of x in x 3.170 * [backup-simplify]: Simplify 0 into 0 3.170 * [backup-simplify]: Simplify 1 into 1 3.170 * [taylor]: Taking taylor expansion of y in x 3.170 * [backup-simplify]: Simplify y into y 3.170 * [backup-simplify]: Simplify (* 0 y) into 0 3.170 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.170 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.170 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2))) in x 3.170 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) (/ 1 (pow x 2))) 3.170 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in x 3.170 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.170 * [taylor]: Taking taylor expansion of -1 in x 3.170 * [backup-simplify]: Simplify -1 into -1 3.170 * [taylor]: Taking taylor expansion of y in x 3.170 * [backup-simplify]: Simplify y into y 3.170 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.170 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.170 * [taylor]: Taking taylor expansion of -1 in x 3.170 * [backup-simplify]: Simplify -1 into -1 3.170 * [taylor]: Taking taylor expansion of y in x 3.170 * [backup-simplify]: Simplify y into y 3.171 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.171 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.171 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.171 * [taylor]: Taking taylor expansion of x in x 3.171 * [backup-simplify]: Simplify 0 into 0 3.171 * [backup-simplify]: Simplify 1 into 1 3.171 * [backup-simplify]: Simplify (* 1 1) into 1 3.171 * [backup-simplify]: Simplify (/ 1 1) into 1 3.171 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 (* x y)) (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2)))) in x 3.171 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 (* x y))) (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2)))) 3.171 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x 3.171 * [taylor]: Taking taylor expansion of 2 in x 3.171 * [backup-simplify]: Simplify 2 into 2 3.171 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.171 * [taylor]: Taking taylor expansion of (* x y) in x 3.171 * [taylor]: Taking taylor expansion of x in x 3.171 * [backup-simplify]: Simplify 0 into 0 3.171 * [backup-simplify]: Simplify 1 into 1 3.171 * [taylor]: Taking taylor expansion of y in x 3.171 * [backup-simplify]: Simplify y into y 3.171 * [backup-simplify]: Simplify (* 0 y) into 0 3.172 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.172 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.172 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2))) in x 3.172 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) (/ 1 (pow x 2))) 3.172 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in x 3.172 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.172 * [taylor]: Taking taylor expansion of -1 in x 3.172 * [backup-simplify]: Simplify -1 into -1 3.172 * [taylor]: Taking taylor expansion of y in x 3.172 * [backup-simplify]: Simplify y into y 3.172 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.172 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.172 * [taylor]: Taking taylor expansion of -1 in x 3.172 * [backup-simplify]: Simplify -1 into -1 3.172 * [taylor]: Taking taylor expansion of y in x 3.172 * [backup-simplify]: Simplify y into y 3.172 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.172 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.172 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.172 * [taylor]: Taking taylor expansion of x in x 3.172 * [backup-simplify]: Simplify 0 into 0 3.172 * [backup-simplify]: Simplify 1 into 1 3.172 * [backup-simplify]: Simplify (* 1 1) into 1 3.173 * [backup-simplify]: Simplify (/ 1 1) into 1 3.173 * [backup-simplify]: Simplify (+ 0 1) into 1 3.173 * [backup-simplify]: Simplify (+ 0 1) into 1 3.173 * [taylor]: Taking taylor expansion of 1 in y 3.173 * [backup-simplify]: Simplify 1 into 1 3.173 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y) 3.174 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.174 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.174 * [backup-simplify]: Simplify (+ 0 0) into 0 3.174 * [backup-simplify]: Simplify (+ (/ 2 y) 0) into (* 2 (/ 1 y)) 3.174 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 3.174 * [taylor]: Taking taylor expansion of 2 in y 3.174 * [backup-simplify]: Simplify 2 into 2 3.175 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.175 * [taylor]: Taking taylor expansion of y in y 3.175 * [backup-simplify]: Simplify 0 into 0 3.175 * [backup-simplify]: Simplify 1 into 1 3.175 * [backup-simplify]: Simplify (/ 1 1) into 1 3.175 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 3.175 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.176 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0 3.176 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2)) 3.176 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.177 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.177 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2)) 3.177 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow y 2))) into (/ 1 (pow y 2)) 3.177 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.177 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.177 * [taylor]: Taking taylor expansion of y in y 3.177 * [backup-simplify]: Simplify 0 into 0 3.177 * [backup-simplify]: Simplify 1 into 1 3.177 * [backup-simplify]: Simplify (* 1 1) into 1 3.178 * [backup-simplify]: Simplify (/ 1 1) into 1 3.178 * [backup-simplify]: Simplify 1 into 1 3.178 * [backup-simplify]: Simplify (* 2 1) into 2 3.178 * [backup-simplify]: Simplify 2 into 2 3.178 * [backup-simplify]: Simplify 1 into 1 3.178 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (+ (* 2 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (* 1 (pow (* (/ 1 (/ 1 (- y))) 1) 2)))) into (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) 3.178 * * * * [progress]: [ 2 / 2 ] generating series at (2 3) 3.179 * [backup-simplify]: Simplify (fma y y (* x x)) into (fma y y (pow x 2)) 3.179 * [approximate]: Taking taylor expansion of (fma y y (pow x 2)) in (y x) around 0 3.179 * [taylor]: Taking taylor expansion of (fma y y (pow x 2)) in x 3.179 * [taylor]: Rewrote expression to (+ (* y y) (pow x 2)) 3.179 * [taylor]: Taking taylor expansion of (* y y) in x 3.179 * [taylor]: Taking taylor expansion of y in x 3.179 * [backup-simplify]: Simplify y into y 3.179 * [taylor]: Taking taylor expansion of y in x 3.179 * [backup-simplify]: Simplify y into y 3.179 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.179 * [taylor]: Taking taylor expansion of x in x 3.179 * [backup-simplify]: Simplify 0 into 0 3.179 * [backup-simplify]: Simplify 1 into 1 3.179 * [taylor]: Taking taylor expansion of (fma y y (pow x 2)) in y 3.179 * [taylor]: Rewrote expression to (+ (* y y) (pow x 2)) 3.179 * [taylor]: Taking taylor expansion of (* y y) in y 3.179 * [taylor]: Taking taylor expansion of y in y 3.179 * [backup-simplify]: Simplify 0 into 0 3.179 * [backup-simplify]: Simplify 1 into 1 3.179 * [taylor]: Taking taylor expansion of y in y 3.179 * [backup-simplify]: Simplify 0 into 0 3.179 * [backup-simplify]: Simplify 1 into 1 3.179 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.179 * [taylor]: Taking taylor expansion of x in y 3.179 * [backup-simplify]: Simplify x into x 3.179 * [taylor]: Taking taylor expansion of (fma y y (pow x 2)) in y 3.179 * [taylor]: Rewrote expression to (+ (* y y) (pow x 2)) 3.179 * [taylor]: Taking taylor expansion of (* y y) in y 3.179 * [taylor]: Taking taylor expansion of y in y 3.179 * [backup-simplify]: Simplify 0 into 0 3.179 * [backup-simplify]: Simplify 1 into 1 3.179 * [taylor]: Taking taylor expansion of y in y 3.179 * [backup-simplify]: Simplify 0 into 0 3.179 * [backup-simplify]: Simplify 1 into 1 3.179 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.179 * [taylor]: Taking taylor expansion of x in y 3.179 * [backup-simplify]: Simplify x into x 3.179 * [backup-simplify]: Simplify (* 0 0) into 0 3.180 * [backup-simplify]: Simplify (* x x) into (pow x 2) 3.180 * [backup-simplify]: Simplify (+ 0 (pow x 2)) into (pow x 2) 3.180 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.180 * [taylor]: Taking taylor expansion of x in x 3.180 * [backup-simplify]: Simplify 0 into 0 3.180 * [backup-simplify]: Simplify 1 into 1 3.180 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 3.180 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0 3.180 * [backup-simplify]: Simplify (+ 0 0) into 0 3.180 * [taylor]: Taking taylor expansion of 0 in x 3.180 * [backup-simplify]: Simplify 0 into 0 3.181 * [backup-simplify]: Simplify 0 into 0 3.181 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 3.186 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0 3.186 * [backup-simplify]: Simplify (+ 1 0) into 1 3.186 * [taylor]: Taking taylor expansion of 1 in x 3.187 * [backup-simplify]: Simplify 1 into 1 3.187 * [backup-simplify]: Simplify 1 into 1 3.187 * [backup-simplify]: Simplify 0 into 0 3.187 * [backup-simplify]: Simplify (* 1 1) into 1 3.187 * [backup-simplify]: Simplify 1 into 1 3.188 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 3.188 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0 3.188 * [backup-simplify]: Simplify (+ 0 0) into 0 3.188 * [taylor]: Taking taylor expansion of 0 in x 3.188 * [backup-simplify]: Simplify 0 into 0 3.188 * [backup-simplify]: Simplify 0 into 0 3.188 * [backup-simplify]: Simplify 0 into 0 3.188 * [backup-simplify]: Simplify 0 into 0 3.189 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.189 * [backup-simplify]: Simplify 0 into 0 3.190 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 3.190 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0 3.191 * [backup-simplify]: Simplify (+ 0 0) into 0 3.191 * [taylor]: Taking taylor expansion of 0 in x 3.191 * [backup-simplify]: Simplify 0 into 0 3.191 * [backup-simplify]: Simplify 0 into 0 3.191 * [backup-simplify]: Simplify 0 into 0 3.191 * [backup-simplify]: Simplify (+ (* 1 (pow (* x 1) 2)) (* 1 (pow (* 1 y) 2))) into (+ (pow y 2) (pow x 2)) 3.191 * [backup-simplify]: Simplify (fma (/ 1 y) (/ 1 y) (* (/ 1 x) (/ 1 x))) into (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2))) 3.191 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2))) in (y x) around 0 3.191 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2))) in x 3.191 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) (/ 1 (pow x 2))) 3.191 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in x 3.191 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.191 * [taylor]: Taking taylor expansion of y in x 3.191 * [backup-simplify]: Simplify y into y 3.191 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.191 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.191 * [taylor]: Taking taylor expansion of y in x 3.191 * [backup-simplify]: Simplify y into y 3.191 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.191 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.191 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.191 * [taylor]: Taking taylor expansion of x in x 3.191 * [backup-simplify]: Simplify 0 into 0 3.191 * [backup-simplify]: Simplify 1 into 1 3.192 * [backup-simplify]: Simplify (* 1 1) into 1 3.192 * [backup-simplify]: Simplify (/ 1 1) into 1 3.192 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2))) in y 3.192 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) (/ 1 (pow x 2))) 3.192 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y 3.192 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.192 * [taylor]: Taking taylor expansion of y in y 3.192 * [backup-simplify]: Simplify 0 into 0 3.192 * [backup-simplify]: Simplify 1 into 1 3.192 * [backup-simplify]: Simplify (/ 1 1) into 1 3.192 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.192 * [taylor]: Taking taylor expansion of y in y 3.192 * [backup-simplify]: Simplify 0 into 0 3.192 * [backup-simplify]: Simplify 1 into 1 3.193 * [backup-simplify]: Simplify (/ 1 1) into 1 3.193 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 3.193 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.193 * [taylor]: Taking taylor expansion of x in y 3.193 * [backup-simplify]: Simplify x into x 3.193 * [backup-simplify]: Simplify (* x x) into (pow x 2) 3.193 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 3.193 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) (/ 1 (pow x 2))) in y 3.193 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) (/ 1 (pow x 2))) 3.193 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y 3.193 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.193 * [taylor]: Taking taylor expansion of y in y 3.193 * [backup-simplify]: Simplify 0 into 0 3.193 * [backup-simplify]: Simplify 1 into 1 3.193 * [backup-simplify]: Simplify (/ 1 1) into 1 3.193 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.193 * [taylor]: Taking taylor expansion of y in y 3.194 * [backup-simplify]: Simplify 0 into 0 3.194 * [backup-simplify]: Simplify 1 into 1 3.194 * [backup-simplify]: Simplify (/ 1 1) into 1 3.194 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 3.194 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.194 * [taylor]: Taking taylor expansion of x in y 3.194 * [backup-simplify]: Simplify x into x 3.194 * [backup-simplify]: Simplify (* x x) into (pow x 2) 3.194 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 3.194 * [backup-simplify]: Simplify (* 1 1) into 1 3.194 * [backup-simplify]: Simplify (+ 1 0) into 1 3.195 * [taylor]: Taking taylor expansion of 1 in x 3.195 * [backup-simplify]: Simplify 1 into 1 3.195 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.196 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.196 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.196 * [backup-simplify]: Simplify (+ 0 0) into 0 3.196 * [taylor]: Taking taylor expansion of 0 in x 3.196 * [backup-simplify]: Simplify 0 into 0 3.197 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.197 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.198 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.198 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow x 2))) into (/ 1 (pow x 2)) 3.198 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.198 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.198 * [taylor]: Taking taylor expansion of x in x 3.198 * [backup-simplify]: Simplify 0 into 0 3.198 * [backup-simplify]: Simplify 1 into 1 3.198 * [backup-simplify]: Simplify (* 1 1) into 1 3.199 * [backup-simplify]: Simplify (/ 1 1) into 1 3.199 * [backup-simplify]: Simplify 1 into 1 3.199 * [backup-simplify]: Simplify 1 into 1 3.199 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.200 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.200 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.201 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0 3.201 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0 3.201 * [backup-simplify]: Simplify (+ 0 0) into 0 3.201 * [taylor]: Taking taylor expansion of 0 in x 3.201 * [backup-simplify]: Simplify 0 into 0 3.201 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.202 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.202 * [backup-simplify]: Simplify 0 into 0 3.202 * [backup-simplify]: Simplify 0 into 0 3.202 * [backup-simplify]: Simplify 0 into 0 3.203 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.203 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.204 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.205 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0 3.205 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0 3.205 * [backup-simplify]: Simplify (+ 0 0) into 0 3.205 * [taylor]: Taking taylor expansion of 0 in x 3.205 * [backup-simplify]: Simplify 0 into 0 3.206 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.206 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.206 * [backup-simplify]: Simplify 0 into 0 3.206 * [backup-simplify]: Simplify 0 into 0 3.206 * [backup-simplify]: Simplify 0 into 0 3.206 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 y))) 2)) (* 1 (pow (* (/ 1 (/ 1 x)) 1) 2))) into (+ (pow y 2) (pow x 2)) 3.207 * [backup-simplify]: Simplify (fma (/ 1 (- y)) (/ 1 (- y)) (* (/ 1 (- x)) (/ 1 (- x)))) into (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2))) 3.207 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2))) in (y x) around 0 3.207 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2))) in x 3.207 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) (/ 1 (pow x 2))) 3.207 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in x 3.207 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.207 * [taylor]: Taking taylor expansion of -1 in x 3.207 * [backup-simplify]: Simplify -1 into -1 3.207 * [taylor]: Taking taylor expansion of y in x 3.207 * [backup-simplify]: Simplify y into y 3.207 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.207 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.207 * [taylor]: Taking taylor expansion of -1 in x 3.207 * [backup-simplify]: Simplify -1 into -1 3.207 * [taylor]: Taking taylor expansion of y in x 3.207 * [backup-simplify]: Simplify y into y 3.207 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.207 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.207 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.207 * [taylor]: Taking taylor expansion of x in x 3.207 * [backup-simplify]: Simplify 0 into 0 3.207 * [backup-simplify]: Simplify 1 into 1 3.207 * [backup-simplify]: Simplify (* 1 1) into 1 3.208 * [backup-simplify]: Simplify (/ 1 1) into 1 3.208 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2))) in y 3.208 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) (/ 1 (pow x 2))) 3.208 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y 3.208 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.208 * [taylor]: Taking taylor expansion of -1 in y 3.208 * [backup-simplify]: Simplify -1 into -1 3.208 * [taylor]: Taking taylor expansion of y in y 3.208 * [backup-simplify]: Simplify 0 into 0 3.208 * [backup-simplify]: Simplify 1 into 1 3.208 * [backup-simplify]: Simplify (/ -1 1) into -1 3.208 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.208 * [taylor]: Taking taylor expansion of -1 in y 3.208 * [backup-simplify]: Simplify -1 into -1 3.208 * [taylor]: Taking taylor expansion of y in y 3.208 * [backup-simplify]: Simplify 0 into 0 3.208 * [backup-simplify]: Simplify 1 into 1 3.208 * [backup-simplify]: Simplify (/ -1 1) into -1 3.208 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 3.208 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.208 * [taylor]: Taking taylor expansion of x in y 3.209 * [backup-simplify]: Simplify x into x 3.209 * [backup-simplify]: Simplify (* x x) into (pow x 2) 3.209 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 3.209 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) (/ 1 (pow x 2))) in y 3.209 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) (/ 1 (pow x 2))) 3.209 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y 3.209 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.209 * [taylor]: Taking taylor expansion of -1 in y 3.209 * [backup-simplify]: Simplify -1 into -1 3.209 * [taylor]: Taking taylor expansion of y in y 3.209 * [backup-simplify]: Simplify 0 into 0 3.209 * [backup-simplify]: Simplify 1 into 1 3.209 * [backup-simplify]: Simplify (/ -1 1) into -1 3.209 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.209 * [taylor]: Taking taylor expansion of -1 in y 3.209 * [backup-simplify]: Simplify -1 into -1 3.209 * [taylor]: Taking taylor expansion of y in y 3.209 * [backup-simplify]: Simplify 0 into 0 3.209 * [backup-simplify]: Simplify 1 into 1 3.210 * [backup-simplify]: Simplify (/ -1 1) into -1 3.210 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 3.210 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.210 * [taylor]: Taking taylor expansion of x in y 3.210 * [backup-simplify]: Simplify x into x 3.210 * [backup-simplify]: Simplify (* x x) into (pow x 2) 3.210 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 3.210 * [backup-simplify]: Simplify (* -1 -1) into 1 3.210 * [backup-simplify]: Simplify (+ 1 0) into 1 3.211 * [taylor]: Taking taylor expansion of 1 in x 3.211 * [backup-simplify]: Simplify 1 into 1 3.211 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.212 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.212 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 3.212 * [backup-simplify]: Simplify (+ 0 0) into 0 3.212 * [taylor]: Taking taylor expansion of 0 in x 3.212 * [backup-simplify]: Simplify 0 into 0 3.213 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.214 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.214 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 3.214 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow x 2))) into (/ 1 (pow x 2)) 3.214 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.214 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.214 * [taylor]: Taking taylor expansion of x in x 3.214 * [backup-simplify]: Simplify 0 into 0 3.214 * [backup-simplify]: Simplify 1 into 1 3.215 * [backup-simplify]: Simplify (* 1 1) into 1 3.215 * [backup-simplify]: Simplify (/ 1 1) into 1 3.215 * [backup-simplify]: Simplify 1 into 1 3.215 * [backup-simplify]: Simplify 1 into 1 3.216 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.216 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.217 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 3.217 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0 3.217 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0 3.217 * [backup-simplify]: Simplify (+ 0 0) into 0 3.217 * [taylor]: Taking taylor expansion of 0 in x 3.217 * [backup-simplify]: Simplify 0 into 0 3.218 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.218 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.218 * [backup-simplify]: Simplify 0 into 0 3.218 * [backup-simplify]: Simplify 0 into 0 3.218 * [backup-simplify]: Simplify 0 into 0 3.219 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.220 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.220 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 3.221 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0 3.221 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0 3.221 * [backup-simplify]: Simplify (+ 0 0) into 0 3.221 * [taylor]: Taking taylor expansion of 0 in x 3.221 * [backup-simplify]: Simplify 0 into 0 3.222 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.222 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.222 * [backup-simplify]: Simplify 0 into 0 3.222 * [backup-simplify]: Simplify 0 into 0 3.222 * [backup-simplify]: Simplify 0 into 0 3.223 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- y)))) 2)) (* 1 (pow (* (/ 1 (/ 1 (- x))) 1) 2))) into (+ (pow y 2) (pow x 2)) 3.223 * * * [progress]: simplifying candidates 3.223 * * * * [progress]: [ 1 / 28 ] simplifiying candidate # 3.223 * * * * [progress]: [ 2 / 28 ] simplifiying candidate # 3.223 * * * * [progress]: [ 3 / 28 ] simplifiying candidate # 3.223 * * * * [progress]: [ 4 / 28 ] simplifiying candidate # 3.223 * * * * [progress]: [ 5 / 28 ] simplifiying candidate # 3.223 * * * * [progress]: [ 6 / 28 ] simplifiying candidate # 3.223 * * * * [progress]: [ 7 / 28 ] simplifiying candidate # 3.223 * * * * [progress]: [ 8 / 28 ] simplifiying candidate # 3.223 * * * * [progress]: [ 9 / 28 ] simplifiying candidate # 3.223 * * * * [progress]: [ 10 / 28 ] simplifiying candidate # 3.223 * * * * [progress]: [ 11 / 28 ] simplifiying candidate #real (real->posit16 (fma 2 (* x y) (fma y y (* x x))))))> 3.223 * * * * [progress]: [ 12 / 28 ] simplifiying candidate # 3.223 * * * * [progress]: [ 13 / 28 ] simplifiying candidate # 3.223 * * * * [progress]: [ 14 / 28 ] simplifiying candidate # 3.223 * * * * [progress]: [ 15 / 28 ] simplifiying candidate # 3.223 * * * * [progress]: [ 16 / 28 ] simplifiying candidate # 3.223 * * * * [progress]: [ 17 / 28 ] simplifiying candidate # 3.223 * * * * [progress]: [ 18 / 28 ] simplifiying candidate # 3.223 * * * * [progress]: [ 19 / 28 ] simplifiying candidate # 3.223 * * * * [progress]: [ 20 / 28 ] simplifiying candidate # 3.223 * * * * [progress]: [ 21 / 28 ] simplifiying candidate # 3.224 * * * * [progress]: [ 22 / 28 ] simplifiying candidate #real (real->posit16 (fma y y (* x x))))))> 3.224 * * * * [progress]: [ 23 / 28 ] simplifiying candidate # 3.224 * * * * [progress]: [ 24 / 28 ] simplifiying candidate # 3.224 * * * * [progress]: [ 25 / 28 ] simplifiying candidate # 3.224 * * * * [progress]: [ 26 / 28 ] simplifiying candidate # 3.224 * * * * [progress]: [ 27 / 28 ] simplifiying candidate # 3.224 * * * * [progress]: [ 28 / 28 ] simplifiying candidate # 3.224 * [simplify]: Simplifying: (expm1 (fma 2 (* x y) (fma y y (* x x)))) (log1p (fma 2 (* x y) (fma y y (* x x)))) (* 2 (* x y)) (log (fma 2 (* x y) (fma y y (* x x)))) (exp (fma 2 (* x y) (fma y y (* x x)))) (* (cbrt (fma 2 (* x y) (fma y y (* x x)))) (cbrt (fma 2 (* x y) (fma y y (* x x))))) (cbrt (fma 2 (* x y) (fma y y (* x x)))) (* (* (fma 2 (* x y) (fma y y (* x x))) (fma 2 (* x y) (fma y y (* x x)))) (fma 2 (* x y) (fma y y (* x x)))) (sqrt (fma 2 (* x y) (fma y y (* x x)))) (sqrt (fma 2 (* x y) (fma y y (* x x)))) (real->posit16 (fma 2 (* x y) (fma y y (* x x)))) (expm1 (fma y y (* x x))) (log1p (fma y y (* x x))) (* y y) (log (fma y y (* x x))) (exp (fma y y (* x x))) (* (cbrt (fma y y (* x x))) (cbrt (fma y y (* x x)))) (cbrt (fma y y (* x x))) (* (* (fma y y (* x x)) (fma y y (* x x))) (fma y y (* x x))) (sqrt (fma y y (* x x))) (sqrt (fma y y (* x x))) (real->posit16 (fma y y (* x x))) (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) (+ (pow y 2) (+ (pow x 2) (* 2 (* x y)))) (+ (pow y 2) (pow x 2)) (+ (pow y 2) (pow x 2)) (+ (pow y 2) (pow x 2)) 3.224 * * [simplify]: iteration 0: 34 enodes 3.231 * * [simplify]: iteration 1: 52 enodes 3.242 * * [simplify]: iteration 2: 136 enodes 3.280 * * [simplify]: iteration 3: 474 enodes 3.637 * * [simplify]: iteration 4: 2630 enodes 4.760 * * [simplify]: iteration complete: 5000 enodes 4.761 * * [simplify]: Extracting #0: cost 22 inf + 0 4.762 * * [simplify]: Extracting #1: cost 251 inf + 0 4.766 * * [simplify]: Extracting #2: cost 638 inf + 1185 4.792 * * [simplify]: Extracting #3: cost 441 inf + 42015 4.860 * * [simplify]: Extracting #4: cost 75 inf + 140868 4.952 * * [simplify]: Extracting #5: cost 0 inf + 158981 5.121 * * [simplify]: Extracting #6: cost 0 inf + 158801 5.257 * [simplify]: Simplified to: (expm1 (fma x (+ x (* 2 y)) (* y y))) (log1p (fma x (+ x (* 2 y)) (* y y))) (* (* y x) 2) (log (fma x (+ x (* 2 y)) (* y y))) (exp (fma x (+ x (* 2 y)) (* y y))) (* (cbrt (fma x (+ x (* 2 y)) (* y y))) (cbrt (fma x (+ x (* 2 y)) (* y y)))) (cbrt (fma x (+ x (* 2 y)) (* y y))) (* (* (fma x (+ x (* 2 y)) (* y y)) (fma x (+ x (* 2 y)) (* y y))) (fma x (+ x (* 2 y)) (* y y))) (sqrt (fma x (+ x (* 2 y)) (* y y))) (sqrt (fma x (+ x (* 2 y)) (* y y))) (real->posit16 (fma x (+ x (* 2 y)) (* y y))) (expm1 (fma x x (* y y))) (log1p (fma x x (* y y))) (* y y) (log (fma x x (* y y))) (exp (fma x x (* y y))) (* (cbrt (fma x x (* y y))) (cbrt (fma x x (* y y)))) (cbrt (fma x x (* y y))) (* (fma x x (* y y)) (* (fma x x (* y y)) (fma x x (* y y)))) (hypot y x) (hypot y x) (real->posit16 (fma x x (* y y))) (fma x (+ x (* 2 y)) (* y y)) (fma x (+ x (* 2 y)) (* y y)) (fma x (+ x (* 2 y)) (* y y)) (fma x x (* y y)) (fma x x (* y y)) (fma x x (* y y)) 5.259 * * * [progress]: adding candidates to table 5.412 * [progress]: [Phase 3 of 3] Extracting. 5.412 * * [regime]: Finding splitpoints for: (# #) 5.412 * * * [regime-changes]: Trying 4 branch expressions: ((+ x y) (* (+ x y) (+ x y)) y x) 5.412 * * * * [regimes]: Trying to branch on (+ x y) from (# #) 5.453 * * * * [regimes]: Trying to branch on (* (+ x y) (+ x y)) from (# #) 5.481 * * * * [regimes]: Trying to branch on y from (# #) 5.503 * * * * [regimes]: Trying to branch on x from (# #) 5.526 * * * [regime]: Found split indices: #