12.219 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.022 * * * [progress]: [2/2] Setting up program. 0.027 * [progress]: [Phase 2 of 3] Improving. 0.027 * [simplify]: Simplifying: (* (+ x y) (+ x y)) 0.027 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.027 * * [simplify]: Extracting # 1 : cost 2 inf + 0 0.027 * * [simplify]: Extracting # 2 : cost 4 inf + 0 0.027 * * [simplify]: Extracting # 3 : cost 2 inf + 2 0.027 * * [simplify]: Extracting # 4 : cost 0 inf + 126 0.027 * * [simplify]: iteration 0 : 4 enodes (cost 82 ) 0.029 * * [simplify]: Extracting # 0 : cost 0 inf + 126 0.029 * * [simplify]: Extracting # 1 : cost 4 inf + 126 0.029 * * [simplify]: Extracting # 2 : cost 0 inf + 454 0.029 * * [simplify]: iteration 1 : 11 enodes (cost 82 ) 0.032 * * [simplify]: Extracting # 0 : cost 0 inf + 454 0.032 * * [simplify]: Extracting # 1 : cost 4 inf + 454 0.032 * * [simplify]: Extracting # 2 : cost 0 inf + 620 0.033 * * [simplify]: iteration 2 : 27 enodes (cost 82 ) 0.039 * * [simplify]: Extracting # 0 : cost 0 inf + 620 0.039 * * [simplify]: Extracting # 1 : cost 8 inf + 620 0.040 * * [simplify]: Extracting # 2 : cost 0 inf + 1916 0.040 * * [simplify]: iteration 3 : 65 enodes (cost 82 ) 0.051 * * [simplify]: Extracting # 0 : cost 0 inf + 1916 0.052 * * [simplify]: Extracting # 1 : cost 7 inf + 1716 0.053 * * [simplify]: Extracting # 2 : cost 0 inf + 2325 0.054 * * [simplify]: Extracting # 3 : cost 0 inf + 2310 0.056 * * [simplify]: iteration 4 : 105 enodes (cost 82 ) 0.078 * * [simplify]: Extracting # 0 : cost 0 inf + 2310 0.080 * * [simplify]: Extracting # 1 : cost 3 inf + 2260 0.081 * * [simplify]: Extracting # 2 : cost 0 inf + 2343 0.082 * * [simplify]: iteration 5 : 131 enodes (cost 82 ) 0.110 * * [simplify]: Extracting # 0 : cost 0 inf + 2343 0.112 * * [simplify]: iteration 6 : 153 enodes (cost 82 ) 0.138 * * [simplify]: Extracting # 0 : cost 0 inf + 2343 0.139 * * [simplify]: Extracting # 1 : cost 0 inf + 2199 0.141 * * [simplify]: Extracting # 2 : cost 0 inf + 2151 0.142 * * [simplify]: iteration 7 : 167 enodes (cost 82 ) 0.158 * * [simplify]: Extracting # 0 : cost 0 inf + 2151 0.160 * * [simplify]: iteration complete: 167 enodes (cost 82 ) 0.160 * [simplify]: Simplified to: (* (+ x y) (+ x y)) 0.161 * * [progress]: iteration 1 / 4 0.161 * * * [progress]: picking best candidate 0.166 * * * * [pick]: Picked # 0.166 * * * [progress]: localizing error 0.175 * * * [progress]: generating rewritten candidates 0.175 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.204 * * * [progress]: generating series expansions 0.204 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.204 * [backup-simplify]: Simplify (* (+ x y) (+ x y)) into (pow (+ x y) 2) 0.204 * [approximate]: Taking taylor expansion of (pow (+ x y) 2) in (x y) around 0 0.205 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in y 0.205 * [taylor]: Taking taylor expansion of (+ x y) in y 0.205 * [taylor]: Taking taylor expansion of x in y 0.205 * [backup-simplify]: Simplify x into x 0.205 * [taylor]: Taking taylor expansion of y in y 0.205 * [backup-simplify]: Simplify 0 into 0 0.205 * [backup-simplify]: Simplify 1 into 1 0.205 * [backup-simplify]: Simplify (+ x 0) into x 0.205 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in x 0.205 * [taylor]: Taking taylor expansion of (+ x y) in x 0.205 * [taylor]: Taking taylor expansion of x in x 0.205 * [backup-simplify]: Simplify 0 into 0 0.205 * [backup-simplify]: Simplify 1 into 1 0.205 * [taylor]: Taking taylor expansion of y in x 0.205 * [backup-simplify]: Simplify y into y 0.205 * [backup-simplify]: Simplify (+ 0 y) into y 0.205 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in x 0.205 * [taylor]: Taking taylor expansion of (+ x y) in x 0.205 * [taylor]: Taking taylor expansion of x in x 0.205 * [backup-simplify]: Simplify 0 into 0 0.205 * [backup-simplify]: Simplify 1 into 1 0.205 * [taylor]: Taking taylor expansion of y in x 0.205 * [backup-simplify]: Simplify y into y 0.205 * [backup-simplify]: Simplify (+ 0 y) into y 0.205 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.205 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.205 * [taylor]: Taking taylor expansion of y in y 0.205 * [backup-simplify]: Simplify 0 into 0 0.205 * [backup-simplify]: Simplify 1 into 1 0.206 * [backup-simplify]: Simplify (+ 1 0) into 1 0.206 * [backup-simplify]: Simplify (+ (* y 1) (* 1 y)) into (* 2 y) 0.206 * [taylor]: Taking taylor expansion of (* 2 y) in y 0.206 * [taylor]: Taking taylor expansion of 2 in y 0.206 * [backup-simplify]: Simplify 2 into 2 0.206 * [taylor]: Taking taylor expansion of y in y 0.206 * [backup-simplify]: Simplify 0 into 0 0.206 * [backup-simplify]: Simplify 1 into 1 0.206 * [backup-simplify]: Simplify (* 2 0) into 0 0.206 * [backup-simplify]: Simplify 0 into 0 0.206 * [backup-simplify]: Simplify (+ 0 0) into 0 0.207 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 1 1) (* 0 y))) into 1 0.207 * [taylor]: Taking taylor expansion of 1 in y 0.207 * [backup-simplify]: Simplify 1 into 1 0.207 * [backup-simplify]: Simplify 1 into 1 0.207 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 0.207 * [backup-simplify]: Simplify 2 into 2 0.207 * [backup-simplify]: Simplify (* 1 1) into 1 0.207 * [backup-simplify]: Simplify 1 into 1 0.208 * [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.208 * [backup-simplify]: Simplify (* (+ (/ 1 x) (/ 1 y)) (+ (/ 1 x) (/ 1 y))) into (pow (+ (/ 1 x) (/ 1 y)) 2) 0.208 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in (x y) around 0 0.208 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in y 0.208 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 0.208 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.208 * [taylor]: Taking taylor expansion of x in y 0.208 * [backup-simplify]: Simplify x into x 0.208 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.208 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.208 * [taylor]: Taking taylor expansion of y in y 0.208 * [backup-simplify]: Simplify 0 into 0 0.208 * [backup-simplify]: Simplify 1 into 1 0.208 * [backup-simplify]: Simplify (/ 1 1) into 1 0.208 * [backup-simplify]: Simplify (+ 0 1) into 1 0.209 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in x 0.209 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.209 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.209 * [taylor]: Taking taylor expansion of x in x 0.209 * [backup-simplify]: Simplify 0 into 0 0.209 * [backup-simplify]: Simplify 1 into 1 0.209 * [backup-simplify]: Simplify (/ 1 1) into 1 0.209 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.209 * [taylor]: Taking taylor expansion of y in x 0.209 * [backup-simplify]: Simplify y into y 0.209 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.209 * [backup-simplify]: Simplify (+ 1 0) into 1 0.209 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in x 0.209 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.209 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.209 * [taylor]: Taking taylor expansion of x in x 0.209 * [backup-simplify]: Simplify 0 into 0 0.209 * [backup-simplify]: Simplify 1 into 1 0.210 * [backup-simplify]: Simplify (/ 1 1) into 1 0.210 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.210 * [taylor]: Taking taylor expansion of y in x 0.210 * [backup-simplify]: Simplify y into y 0.210 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.210 * [backup-simplify]: Simplify (+ 1 0) into 1 0.210 * [backup-simplify]: Simplify (* 1 1) into 1 0.210 * [taylor]: Taking taylor expansion of 1 in y 0.210 * [backup-simplify]: Simplify 1 into 1 0.211 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.211 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 0.211 * [backup-simplify]: Simplify (+ (* 1 (/ 1 y)) (* (/ 1 y) 1)) into (* 2 (/ 1 y)) 0.211 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 0.211 * [taylor]: Taking taylor expansion of 2 in y 0.211 * [backup-simplify]: Simplify 2 into 2 0.211 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.211 * [taylor]: Taking taylor expansion of y in y 0.211 * [backup-simplify]: Simplify 0 into 0 0.211 * [backup-simplify]: Simplify 1 into 1 0.211 * [backup-simplify]: Simplify (/ 1 1) into 1 0.212 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.212 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.212 * [backup-simplify]: Simplify (+ 0 0) into 0 0.213 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) (/ 1 y)) (* 0 1))) into (/ 1 (pow y 2)) 0.213 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.213 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.213 * [taylor]: Taking taylor expansion of y in y 0.213 * [backup-simplify]: Simplify 0 into 0 0.213 * [backup-simplify]: Simplify 1 into 1 0.213 * [backup-simplify]: Simplify (* 1 1) into 1 0.213 * [backup-simplify]: Simplify (/ 1 1) into 1 0.213 * [backup-simplify]: Simplify 1 into 1 0.213 * [backup-simplify]: Simplify (* 2 1) into 2 0.213 * [backup-simplify]: Simplify 2 into 2 0.213 * [backup-simplify]: Simplify 1 into 1 0.214 * [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.214 * [backup-simplify]: Simplify (* (+ (/ 1 (- x)) (/ 1 (- y))) (+ (/ 1 (- x)) (/ 1 (- y)))) into (pow (+ (/ 1 x) (/ 1 y)) 2) 0.214 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in (x y) around 0 0.214 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in y 0.214 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 0.214 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.214 * [taylor]: Taking taylor expansion of x in y 0.214 * [backup-simplify]: Simplify x into x 0.214 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.214 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.214 * [taylor]: Taking taylor expansion of y in y 0.214 * [backup-simplify]: Simplify 0 into 0 0.214 * [backup-simplify]: Simplify 1 into 1 0.215 * [backup-simplify]: Simplify (/ 1 1) into 1 0.215 * [backup-simplify]: Simplify (+ 0 1) into 1 0.215 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in x 0.215 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.215 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.215 * [taylor]: Taking taylor expansion of x in x 0.215 * [backup-simplify]: Simplify 0 into 0 0.215 * [backup-simplify]: Simplify 1 into 1 0.215 * [backup-simplify]: Simplify (/ 1 1) into 1 0.215 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.215 * [taylor]: Taking taylor expansion of y in x 0.215 * [backup-simplify]: Simplify y into y 0.215 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.215 * [backup-simplify]: Simplify (+ 1 0) into 1 0.215 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in x 0.215 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.216 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.216 * [taylor]: Taking taylor expansion of x in x 0.216 * [backup-simplify]: Simplify 0 into 0 0.216 * [backup-simplify]: Simplify 1 into 1 0.216 * [backup-simplify]: Simplify (/ 1 1) into 1 0.216 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.216 * [taylor]: Taking taylor expansion of y in x 0.216 * [backup-simplify]: Simplify y into y 0.216 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.216 * [backup-simplify]: Simplify (+ 1 0) into 1 0.216 * [backup-simplify]: Simplify (* 1 1) into 1 0.216 * [taylor]: Taking taylor expansion of 1 in y 0.216 * [backup-simplify]: Simplify 1 into 1 0.217 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.217 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 0.217 * [backup-simplify]: Simplify (+ (* 1 (/ 1 y)) (* (/ 1 y) 1)) into (* 2 (/ 1 y)) 0.217 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 0.217 * [taylor]: Taking taylor expansion of 2 in y 0.217 * [backup-simplify]: Simplify 2 into 2 0.217 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.217 * [taylor]: Taking taylor expansion of y in y 0.217 * [backup-simplify]: Simplify 0 into 0 0.217 * [backup-simplify]: Simplify 1 into 1 0.217 * [backup-simplify]: Simplify (/ 1 1) into 1 0.218 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.218 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.218 * [backup-simplify]: Simplify (+ 0 0) into 0 0.219 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) (/ 1 y)) (* 0 1))) into (/ 1 (pow y 2)) 0.219 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.219 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.219 * [taylor]: Taking taylor expansion of y in y 0.219 * [backup-simplify]: Simplify 0 into 0 0.219 * [backup-simplify]: Simplify 1 into 1 0.220 * [backup-simplify]: Simplify (* 1 1) into 1 0.220 * [backup-simplify]: Simplify (/ 1 1) into 1 0.220 * [backup-simplify]: Simplify 1 into 1 0.220 * [backup-simplify]: Simplify (* 2 1) into 2 0.221 * [backup-simplify]: Simplify 2 into 2 0.221 * [backup-simplify]: Simplify 1 into 1 0.221 * [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.221 * * * [progress]: simplifying candidates 0.222 * [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)) (+ (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.223 * * [simplify]: Extracting # 0 : cost 39 inf + 0 0.224 * * [simplify]: Extracting # 1 : cost 55 inf + 0 0.224 * * [simplify]: Extracting # 2 : cost 54 inf + 170 0.224 * * [simplify]: Extracting # 3 : cost 27 inf + 3817 0.225 * * [simplify]: Extracting # 4 : cost 13 inf + 6497 0.226 * * [simplify]: Extracting # 5 : cost 3 inf + 10012 0.228 * * [simplify]: Extracting # 6 : cost 0 inf + 11119 0.229 * * [simplify]: iteration 0 : 64 enodes (cost 10566 ) 0.261 * * [simplify]: Extracting # 0 : cost 0 inf + 11119 0.263 * * [simplify]: Extracting # 1 : cost 73 inf + 10485 0.265 * * [simplify]: Extracting # 2 : cost 3 inf + 23094 0.268 * * [simplify]: Extracting # 3 : cost 1 inf + 18759 0.271 * * [simplify]: Extracting # 4 : cost 0 inf + 18931 0.274 * * [simplify]: iteration 1 : 231 enodes (cost 7123 ) 0.398 * * [simplify]: Extracting # 0 : cost 0 inf + 18931 0.406 * * [simplify]: Extracting # 1 : cost 187 inf + 18134 0.422 * * [simplify]: Extracting # 2 : cost 7 inf + 49329 0.435 * * [simplify]: Extracting # 3 : cost 2 inf + 50222 0.450 * * [simplify]: Extracting # 4 : cost 0 inf + 50646 0.469 * * [simplify]: iteration 2 : 832 enodes (cost 6768 ) 1.336 * * [simplify]: Extracting # 0 : cost 0 inf + 50646 1.389 * * [simplify]: Extracting # 1 : cost 1297 inf + 49485 1.476 * * [simplify]: Extracting # 2 : cost 13 inf + 277276 1.554 * * [simplify]: Extracting # 3 : cost 5 inf + 278172 1.652 * * [simplify]: Extracting # 4 : cost 0 inf + 279725 1.736 * * [simplify]: iteration 3 : 4150 enodes (cost 6728 ) 3.369 * * [simplify]: Extracting # 0 : cost 0 inf + 279725 3.535 * * [simplify]: Extracting # 1 : cost 0 inf + 277683 3.654 * * [simplify]: Extracting # 2 : cost 0 inf + 277483 3.838 * * [simplify]: iteration complete: 5000 enodes (cost 6728 ) 3.838 * [simplify]: Simplified to: (expm1 (* (+ x y) (+ x y))) (log1p (* (+ x y) (+ x y))) 2 (* (+ y x) (+ y x)) 2 (log (* (+ x y) (+ x y))) (log (* (+ x y) (+ x y))) (exp (* (+ x y) (+ x y))) (* (* (* (+ x y) (+ x y)) (* (+ x y) (+ x y))) (* (+ x y) (+ x y))) (* (cbrt (* (+ x y) (+ x y))) (cbrt (* (+ x y) (+ x y)))) (cbrt (* (+ x y) (+ x y))) (* (* (* (+ x y) (+ x y)) (* (+ x y) (+ x y))) (* (+ x y) (+ x y))) (fabs (+ y x)) (fabs (+ y x)) (* (fma x (* x x) (* (* y y) y)) (fma x (* x x) (* (* y y) y))) (* (fma x x (* y (- y x))) (fma x x (* y (- y x)))) (* (fma x (* x x) (* (* y y) y)) (- (* x x) (* y y))) (* (fma x x (* y (- y x))) (- x y)) (* (fma x (* x x) (* (* y y) y)) (- (* x x) (* y y))) (* (fma x x (* y (- y x))) (- x y)) (* (- (* x x) (* y y)) (- (* x x) (* y y))) (* (- x y) (- x y)) (* (cbrt (+ x y)) (+ x y)) (* (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) (* (+ x y) y) (* (+ x y) x) (* (+ x y) y) (* (+ x y) (* (cbrt (+ x y)) (cbrt (+ x y)))) (* (sqrt (+ x y)) (+ x y)) (+ y x) (+ y x) (* (cbrt (+ x y)) (+ x y)) (* (sqrt (+ x y)) (+ x y)) (* (+ y x) (+ y x)) (* (+ y x) (+ y x)) (* (fma x (* x x) (* (* y y) y)) (+ y x)) (* (* (+ x y) (+ x y)) (- x y)) (* (fma x (* x x) (* (* y y) y)) (+ y x)) (* (* (+ x y) (+ x y)) (- x y)) (fma y y (fma (* 2 x) y (* x x))) (fma y y (fma (* 2 x) y (* x x))) (fma y y (fma (* 2 x) y (* x x))) 3.841 * * * [progress]: adding candidates to table 3.968 * * [progress]: iteration 2 / 4 3.968 * * * [progress]: picking best candidate 3.974 * * * * [pick]: Picked # 3.974 * * * [progress]: localizing error 3.984 * * * [progress]: generating rewritten candidates 3.984 * * * * [progress]: [ 1 / 1 ] rewriting at (2 3) 3.985 * * * [progress]: generating series expansions 3.985 * * * * [progress]: [ 1 / 1 ] generating series at (2 3) 3.985 * [backup-simplify]: Simplify (fma (* 2 x) y (* x x)) into (fma (* 2 x) y (pow x 2)) 3.985 * [approximate]: Taking taylor expansion of (fma (* 2 x) y (pow x 2)) in (x y) around 0 3.985 * [taylor]: Taking taylor expansion of (fma (* 2 x) y (pow x 2)) in y 3.985 * [taylor]: Rewrote expression to (+ (* (* 2 x) y) (pow x 2)) 3.985 * [taylor]: Taking taylor expansion of (* (* 2 x) y) in y 3.985 * [taylor]: Taking taylor expansion of (* 2 x) in y 3.985 * [taylor]: Taking taylor expansion of 2 in y 3.985 * [backup-simplify]: Simplify 2 into 2 3.985 * [taylor]: Taking taylor expansion of x in y 3.985 * [backup-simplify]: Simplify x into x 3.985 * [taylor]: Taking taylor expansion of y in y 3.985 * [backup-simplify]: Simplify 0 into 0 3.985 * [backup-simplify]: Simplify 1 into 1 3.985 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.985 * [taylor]: Taking taylor expansion of x in y 3.985 * [backup-simplify]: Simplify x into x 3.985 * [taylor]: Taking taylor expansion of (fma (* 2 x) y (pow x 2)) in x 3.985 * [taylor]: Rewrote expression to (+ (* (* 2 x) y) (pow x 2)) 3.985 * [taylor]: Taking taylor expansion of (* (* 2 x) y) in x 3.985 * [taylor]: Taking taylor expansion of (* 2 x) in x 3.985 * [taylor]: Taking taylor expansion of 2 in x 3.985 * [backup-simplify]: Simplify 2 into 2 3.985 * [taylor]: Taking taylor expansion of x in x 3.985 * [backup-simplify]: Simplify 0 into 0 3.985 * [backup-simplify]: Simplify 1 into 1 3.985 * [taylor]: Taking taylor expansion of y in x 3.985 * [backup-simplify]: Simplify y into y 3.985 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.985 * [taylor]: Taking taylor expansion of x in x 3.985 * [backup-simplify]: Simplify 0 into 0 3.985 * [backup-simplify]: Simplify 1 into 1 3.985 * [taylor]: Taking taylor expansion of (fma (* 2 x) y (pow x 2)) in x 3.986 * [taylor]: Rewrote expression to (+ (* (* 2 x) y) (pow x 2)) 3.986 * [taylor]: Taking taylor expansion of (* (* 2 x) y) in x 3.986 * [taylor]: Taking taylor expansion of (* 2 x) in x 3.986 * [taylor]: Taking taylor expansion of 2 in x 3.986 * [backup-simplify]: Simplify 2 into 2 3.986 * [taylor]: Taking taylor expansion of x in x 3.986 * [backup-simplify]: Simplify 0 into 0 3.986 * [backup-simplify]: Simplify 1 into 1 3.986 * [taylor]: Taking taylor expansion of y in x 3.986 * [backup-simplify]: Simplify y into y 3.986 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.986 * [taylor]: Taking taylor expansion of x in x 3.986 * [backup-simplify]: Simplify 0 into 0 3.986 * [backup-simplify]: Simplify 1 into 1 3.986 * [backup-simplify]: Simplify (* 2 0) into 0 3.986 * [backup-simplify]: Simplify (* 0 y) into 0 3.987 * [backup-simplify]: Simplify (+ 0 0) into 0 3.987 * [taylor]: Taking taylor expansion of 0 in y 3.987 * [backup-simplify]: Simplify 0 into 0 3.987 * [backup-simplify]: Simplify 0 into 0 3.987 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 3.987 * [backup-simplify]: Simplify (+ (* 0 0) (* 2 y)) into (* 2 y) 3.987 * [backup-simplify]: Simplify (+ (* 2 y) 0) into (* 2 y) 3.988 * [taylor]: Taking taylor expansion of (* 2 y) in y 3.988 * [taylor]: Taking taylor expansion of 2 in y 3.988 * [backup-simplify]: Simplify 2 into 2 3.988 * [taylor]: Taking taylor expansion of y in y 3.988 * [backup-simplify]: Simplify 0 into 0 3.988 * [backup-simplify]: Simplify 1 into 1 3.988 * [backup-simplify]: Simplify (* 2 0) into 0 3.988 * [backup-simplify]: Simplify 0 into 0 3.988 * [backup-simplify]: Simplify 0 into 0 3.989 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 3.989 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 2 0) (* 0 y))) into 0 3.989 * [backup-simplify]: Simplify (* 1 1) into 1 3.990 * [backup-simplify]: Simplify (+ 0 1) into 1 3.990 * [taylor]: Taking taylor expansion of 1 in y 3.990 * [backup-simplify]: Simplify 1 into 1 3.990 * [backup-simplify]: Simplify 1 into 1 3.990 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 3.990 * [backup-simplify]: Simplify 2 into 2 3.990 * [backup-simplify]: Simplify 0 into 0 3.991 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.991 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 2 0) (+ (* 0 0) (* 0 y)))) into 0 3.992 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.992 * [backup-simplify]: Simplify (+ 0 0) into 0 3.992 * [taylor]: Taking taylor expansion of 0 in y 3.992 * [backup-simplify]: Simplify 0 into 0 3.992 * [backup-simplify]: Simplify 0 into 0 3.992 * [backup-simplify]: Simplify 0 into 0 3.993 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 3.993 * [backup-simplify]: Simplify 0 into 0 3.993 * [backup-simplify]: Simplify 0 into 0 3.994 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 3.994 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 3.995 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.999 * [backup-simplify]: Simplify (+ 0 0) into 0 3.999 * [taylor]: Taking taylor expansion of 0 in y 3.999 * [backup-simplify]: Simplify 0 into 0 3.999 * [backup-simplify]: Simplify 0 into 0 3.999 * [backup-simplify]: Simplify (+ (* 2 (* y x)) (* 1 (pow (* 1 x) 2))) into (+ (pow x 2) (* 2 (* x y))) 3.999 * [backup-simplify]: Simplify (fma (* 2 (/ 1 x)) (/ 1 y) (* (/ 1 x) (/ 1 x))) into (fma (/ 2 x) (/ 1 y) (/ 1 (pow x 2))) 3.999 * [approximate]: Taking taylor expansion of (fma (/ 2 x) (/ 1 y) (/ 1 (pow x 2))) in (x y) around 0 4.000 * [taylor]: Taking taylor expansion of (fma (/ 2 x) (/ 1 y) (/ 1 (pow x 2))) in y 4.000 * [taylor]: Rewrote expression to (+ (* (/ 2 x) (/ 1 y)) (/ 1 (pow x 2))) 4.000 * [taylor]: Taking taylor expansion of (* (/ 2 x) (/ 1 y)) in y 4.000 * [taylor]: Taking taylor expansion of (/ 2 x) in y 4.000 * [taylor]: Taking taylor expansion of 2 in y 4.000 * [backup-simplify]: Simplify 2 into 2 4.000 * [taylor]: Taking taylor expansion of x in y 4.000 * [backup-simplify]: Simplify x into x 4.000 * [backup-simplify]: Simplify (/ 2 x) into (/ 2 x) 4.000 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.000 * [taylor]: Taking taylor expansion of y in y 4.000 * [backup-simplify]: Simplify 0 into 0 4.000 * [backup-simplify]: Simplify 1 into 1 4.000 * [backup-simplify]: Simplify (/ 1 1) into 1 4.000 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 4.000 * [taylor]: Taking taylor expansion of (pow x 2) in y 4.000 * [taylor]: Taking taylor expansion of x in y 4.000 * [backup-simplify]: Simplify x into x 4.000 * [backup-simplify]: Simplify (* x x) into (pow x 2) 4.000 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 4.000 * [taylor]: Taking taylor expansion of (fma (/ 2 x) (/ 1 y) (/ 1 (pow x 2))) in x 4.000 * [taylor]: Rewrote expression to (+ (* (/ 2 x) (/ 1 y)) (/ 1 (pow x 2))) 4.000 * [taylor]: Taking taylor expansion of (* (/ 2 x) (/ 1 y)) in x 4.000 * [taylor]: Taking taylor expansion of (/ 2 x) in x 4.000 * [taylor]: Taking taylor expansion of 2 in x 4.000 * [backup-simplify]: Simplify 2 into 2 4.000 * [taylor]: Taking taylor expansion of x in x 4.001 * [backup-simplify]: Simplify 0 into 0 4.001 * [backup-simplify]: Simplify 1 into 1 4.001 * [backup-simplify]: Simplify (/ 2 1) into 2 4.001 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.001 * [taylor]: Taking taylor expansion of y in x 4.001 * [backup-simplify]: Simplify y into y 4.001 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.001 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.001 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.001 * [taylor]: Taking taylor expansion of x in x 4.001 * [backup-simplify]: Simplify 0 into 0 4.001 * [backup-simplify]: Simplify 1 into 1 4.001 * [backup-simplify]: Simplify (* 1 1) into 1 4.001 * [backup-simplify]: Simplify (/ 1 1) into 1 4.001 * [taylor]: Taking taylor expansion of (fma (/ 2 x) (/ 1 y) (/ 1 (pow x 2))) in x 4.002 * [taylor]: Rewrote expression to (+ (* (/ 2 x) (/ 1 y)) (/ 1 (pow x 2))) 4.002 * [taylor]: Taking taylor expansion of (* (/ 2 x) (/ 1 y)) in x 4.002 * [taylor]: Taking taylor expansion of (/ 2 x) in x 4.002 * [taylor]: Taking taylor expansion of 2 in x 4.002 * [backup-simplify]: Simplify 2 into 2 4.002 * [taylor]: Taking taylor expansion of x in x 4.002 * [backup-simplify]: Simplify 0 into 0 4.002 * [backup-simplify]: Simplify 1 into 1 4.002 * [backup-simplify]: Simplify (/ 2 1) into 2 4.002 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.002 * [taylor]: Taking taylor expansion of y in x 4.002 * [backup-simplify]: Simplify y into y 4.002 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.002 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.002 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.002 * [taylor]: Taking taylor expansion of x in x 4.002 * [backup-simplify]: Simplify 0 into 0 4.002 * [backup-simplify]: Simplify 1 into 1 4.002 * [backup-simplify]: Simplify (* 1 1) into 1 4.003 * [backup-simplify]: Simplify (/ 1 1) into 1 4.003 * [backup-simplify]: Simplify (+ 0 1) into 1 4.003 * [taylor]: Taking taylor expansion of 1 in y 4.003 * [backup-simplify]: Simplify 1 into 1 4.003 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y) 4.003 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.004 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.004 * [backup-simplify]: Simplify (+ (/ 2 y) 0) into (* 2 (/ 1 y)) 4.004 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 4.004 * [taylor]: Taking taylor expansion of 2 in y 4.004 * [backup-simplify]: Simplify 2 into 2 4.004 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.004 * [taylor]: Taking taylor expansion of y in y 4.004 * [backup-simplify]: Simplify 0 into 0 4.004 * [backup-simplify]: Simplify 1 into 1 4.004 * [backup-simplify]: Simplify (/ 1 1) into 1 4.005 * [backup-simplify]: Simplify (* 2 1) into 2 4.005 * [backup-simplify]: Simplify 2 into 2 4.005 * [backup-simplify]: Simplify 1 into 1 4.005 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.005 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)))) into 0 4.005 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0 4.006 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.006 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.007 * [backup-simplify]: Simplify (+ 0 0) into 0 4.007 * [taylor]: Taking taylor expansion of 0 in y 4.007 * [backup-simplify]: Simplify 0 into 0 4.007 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.008 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 4.008 * [backup-simplify]: Simplify 0 into 0 4.008 * [backup-simplify]: Simplify 0 into 0 4.008 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.009 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.009 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 4.010 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.010 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.011 * [backup-simplify]: Simplify (+ 0 0) into 0 4.011 * [taylor]: Taking taylor expansion of 0 in y 4.011 * [backup-simplify]: Simplify 0 into 0 4.011 * [backup-simplify]: Simplify 0 into 0 4.011 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.012 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 4.012 * [backup-simplify]: Simplify 0 into 0 4.012 * [backup-simplify]: Simplify 0 into 0 4.012 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.012 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.013 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 4.014 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.014 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.015 * [backup-simplify]: Simplify (+ 0 0) into 0 4.015 * [taylor]: Taking taylor expansion of 0 in y 4.015 * [backup-simplify]: Simplify 0 into 0 4.015 * [backup-simplify]: Simplify 0 into 0 4.015 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* 2 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (+ (pow x 2) (* 2 (* x y))) 4.015 * [backup-simplify]: Simplify (fma (* 2 (/ 1 (- x))) (/ 1 (- y)) (* (/ 1 (- x)) (/ 1 (- x)))) into (fma (/ -2 x) (/ -1 y) (/ 1 (pow x 2))) 4.015 * [approximate]: Taking taylor expansion of (fma (/ -2 x) (/ -1 y) (/ 1 (pow x 2))) in (x y) around 0 4.015 * [taylor]: Taking taylor expansion of (fma (/ -2 x) (/ -1 y) (/ 1 (pow x 2))) in y 4.015 * [taylor]: Rewrote expression to (+ (* (/ -2 x) (/ -1 y)) (/ 1 (pow x 2))) 4.015 * [taylor]: Taking taylor expansion of (* (/ -2 x) (/ -1 y)) in y 4.015 * [taylor]: Taking taylor expansion of (/ -2 x) in y 4.015 * [taylor]: Taking taylor expansion of -2 in y 4.015 * [backup-simplify]: Simplify -2 into -2 4.015 * [taylor]: Taking taylor expansion of x in y 4.015 * [backup-simplify]: Simplify x into x 4.015 * [backup-simplify]: Simplify (/ -2 x) into (/ -2 x) 4.015 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.015 * [taylor]: Taking taylor expansion of -1 in y 4.015 * [backup-simplify]: Simplify -1 into -1 4.015 * [taylor]: Taking taylor expansion of y in y 4.015 * [backup-simplify]: Simplify 0 into 0 4.016 * [backup-simplify]: Simplify 1 into 1 4.016 * [backup-simplify]: Simplify (/ -1 1) into -1 4.016 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 4.016 * [taylor]: Taking taylor expansion of (pow x 2) in y 4.016 * [taylor]: Taking taylor expansion of x in y 4.016 * [backup-simplify]: Simplify x into x 4.016 * [backup-simplify]: Simplify (* x x) into (pow x 2) 4.016 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 4.016 * [taylor]: Taking taylor expansion of (fma (/ -2 x) (/ -1 y) (/ 1 (pow x 2))) in x 4.016 * [taylor]: Rewrote expression to (+ (* (/ -2 x) (/ -1 y)) (/ 1 (pow x 2))) 4.016 * [taylor]: Taking taylor expansion of (* (/ -2 x) (/ -1 y)) in x 4.016 * [taylor]: Taking taylor expansion of (/ -2 x) in x 4.016 * [taylor]: Taking taylor expansion of -2 in x 4.016 * [backup-simplify]: Simplify -2 into -2 4.016 * [taylor]: Taking taylor expansion of x in x 4.016 * [backup-simplify]: Simplify 0 into 0 4.016 * [backup-simplify]: Simplify 1 into 1 4.016 * [backup-simplify]: Simplify (/ -2 1) into -2 4.017 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.017 * [taylor]: Taking taylor expansion of -1 in x 4.017 * [backup-simplify]: Simplify -1 into -1 4.017 * [taylor]: Taking taylor expansion of y in x 4.017 * [backup-simplify]: Simplify y into y 4.017 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 4.017 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.017 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.017 * [taylor]: Taking taylor expansion of x in x 4.017 * [backup-simplify]: Simplify 0 into 0 4.017 * [backup-simplify]: Simplify 1 into 1 4.017 * [backup-simplify]: Simplify (* 1 1) into 1 4.017 * [backup-simplify]: Simplify (/ 1 1) into 1 4.017 * [taylor]: Taking taylor expansion of (fma (/ -2 x) (/ -1 y) (/ 1 (pow x 2))) in x 4.017 * [taylor]: Rewrote expression to (+ (* (/ -2 x) (/ -1 y)) (/ 1 (pow x 2))) 4.017 * [taylor]: Taking taylor expansion of (* (/ -2 x) (/ -1 y)) in x 4.017 * [taylor]: Taking taylor expansion of (/ -2 x) in x 4.017 * [taylor]: Taking taylor expansion of -2 in x 4.017 * [backup-simplify]: Simplify -2 into -2 4.017 * [taylor]: Taking taylor expansion of x in x 4.017 * [backup-simplify]: Simplify 0 into 0 4.017 * [backup-simplify]: Simplify 1 into 1 4.018 * [backup-simplify]: Simplify (/ -2 1) into -2 4.018 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.018 * [taylor]: Taking taylor expansion of -1 in x 4.018 * [backup-simplify]: Simplify -1 into -1 4.018 * [taylor]: Taking taylor expansion of y in x 4.018 * [backup-simplify]: Simplify y into y 4.018 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 4.018 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.018 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.018 * [taylor]: Taking taylor expansion of x in x 4.018 * [backup-simplify]: Simplify 0 into 0 4.018 * [backup-simplify]: Simplify 1 into 1 4.018 * [backup-simplify]: Simplify (* 1 1) into 1 4.018 * [backup-simplify]: Simplify (/ 1 1) into 1 4.019 * [backup-simplify]: Simplify (+ 0 1) into 1 4.019 * [taylor]: Taking taylor expansion of 1 in y 4.019 * [backup-simplify]: Simplify 1 into 1 4.019 * [backup-simplify]: Simplify (* -2 (/ -1 y)) into (/ 2 y) 4.019 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.020 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.020 * [backup-simplify]: Simplify (+ (/ 2 y) 0) into (* 2 (/ 1 y)) 4.020 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 4.020 * [taylor]: Taking taylor expansion of 2 in y 4.020 * [backup-simplify]: Simplify 2 into 2 4.020 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.020 * [taylor]: Taking taylor expansion of y in y 4.020 * [backup-simplify]: Simplify 0 into 0 4.020 * [backup-simplify]: Simplify 1 into 1 4.020 * [backup-simplify]: Simplify (/ 1 1) into 1 4.020 * [backup-simplify]: Simplify (* 2 1) into 2 4.020 * [backup-simplify]: Simplify 2 into 2 4.020 * [backup-simplify]: Simplify 1 into 1 4.020 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 4.021 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -2 (/ 0 1)))) into 0 4.021 * [backup-simplify]: Simplify (+ (* -2 0) (* 0 (/ -1 y))) into 0 4.022 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.022 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.022 * [backup-simplify]: Simplify (+ 0 0) into 0 4.022 * [taylor]: Taking taylor expansion of 0 in y 4.022 * [backup-simplify]: Simplify 0 into 0 4.023 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.023 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 4.023 * [backup-simplify]: Simplify 0 into 0 4.023 * [backup-simplify]: Simplify 0 into 0 4.024 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.024 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.025 * [backup-simplify]: Simplify (+ (* -2 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0 4.025 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.026 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.026 * [backup-simplify]: Simplify (+ 0 0) into 0 4.026 * [taylor]: Taking taylor expansion of 0 in y 4.026 * [backup-simplify]: Simplify 0 into 0 4.026 * [backup-simplify]: Simplify 0 into 0 4.027 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.027 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 4.027 * [backup-simplify]: Simplify 0 into 0 4.027 * [backup-simplify]: Simplify 0 into 0 4.027 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.028 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.029 * [backup-simplify]: Simplify (+ (* -2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0 4.029 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.030 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.030 * [backup-simplify]: Simplify (+ 0 0) into 0 4.030 * [taylor]: Taking taylor expansion of 0 in y 4.030 * [backup-simplify]: Simplify 0 into 0 4.030 * [backup-simplify]: Simplify 0 into 0 4.030 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* 2 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (+ (pow x 2) (* 2 (* x y))) 4.030 * * * [progress]: simplifying candidates 4.031 * [simplify]: Simplifying: (expm1 (fma (* 2 x) y (* x x))) (log1p (fma (* 2 x) y (* x x))) (* (* 2 x) y) (log (fma (* 2 x) y (* x x))) (exp (fma (* 2 x) y (* x x))) (* (cbrt (fma (* 2 x) y (* x x))) (cbrt (fma (* 2 x) y (* x x)))) (cbrt (fma (* 2 x) y (* x x))) (* (* (fma (* 2 x) y (* x x)) (fma (* 2 x) y (* x x))) (fma (* 2 x) y (* x x))) (sqrt (fma (* 2 x) y (* x x))) (sqrt (fma (* 2 x) y (* x x))) (+ (pow x 2) (* 2 (* x y))) (+ (pow x 2) (* 2 (* x y))) (+ (pow x 2) (* 2 (* x y))) 4.031 * * [simplify]: Extracting # 0 : cost 10 inf + 0 4.031 * * [simplify]: Extracting # 1 : cost 16 inf + 0 4.031 * * [simplify]: Extracting # 2 : cost 19 inf + 1 4.031 * * [simplify]: Extracting # 3 : cost 17 inf + 3 4.031 * * [simplify]: Extracting # 4 : cost 5 inf + 1654 4.031 * * [simplify]: Extracting # 5 : cost 0 inf + 2879 4.032 * * [simplify]: iteration 0 : 20 enodes (cost 2984 ) 4.036 * * [simplify]: Extracting # 0 : cost 0 inf + 2879 4.036 * * [simplify]: Extracting # 1 : cost 1 inf + 2683 4.037 * * [simplify]: Extracting # 2 : cost 2 inf + 2513 4.037 * * [simplify]: Extracting # 3 : cost 0 inf + 2726 4.037 * * [simplify]: iteration 1 : 30 enodes (cost 2399 ) 4.044 * * [simplify]: Extracting # 0 : cost 0 inf + 2726 4.044 * * [simplify]: Extracting # 1 : cost 13 inf + 2515 4.045 * * [simplify]: Extracting # 2 : cost 0 inf + 4768 4.046 * * [simplify]: iteration 2 : 68 enodes (cost 2399 ) 4.073 * * [simplify]: Extracting # 0 : cost 0 inf + 4768 4.075 * * [simplify]: Extracting # 1 : cost 49 inf + 4768 4.079 * * [simplify]: Extracting # 2 : cost 2 inf + 14064 4.085 * * [simplify]: Extracting # 3 : cost 1 inf + 13944 4.088 * * [simplify]: Extracting # 4 : cost 0 inf + 14293 4.094 * * [simplify]: iteration 3 : 234 enodes (cost 2399 ) 4.265 * * [simplify]: Extracting # 0 : cost 0 inf + 14293 4.276 * * [simplify]: Extracting # 1 : cost 165 inf + 14171 4.298 * * [simplify]: Extracting # 2 : cost 13 inf + 48465 4.328 * * [simplify]: Extracting # 3 : cost 4 inf + 49886 4.359 * * [simplify]: Extracting # 4 : cost 0 inf + 51283 4.384 * * [simplify]: iteration 4 : 893 enodes (cost 2399 ) 6.795 * * [simplify]: Extracting # 0 : cost 0 inf + 51283 6.921 * * [simplify]: Extracting # 1 : cost 729 inf + 46586 7.141 * * [simplify]: Extracting # 2 : cost 21 inf + 214956 7.377 * * [simplify]: Extracting # 3 : cost 8 inf + 213510 7.575 * * [simplify]: Extracting # 4 : cost 0 inf + 215730 7.764 * * [simplify]: iteration complete: 5000 enodes (cost 2386 ) 7.764 * [simplify]: Simplified to: (expm1 (fma x x (+ (* x y) (* x y)))) (log1p (fma x x (+ (* x y) (* x y)))) (+ (* x y) (* x y)) (log (fma x x (+ (* x y) (* x y)))) (exp (fma x x (+ (* x y) (* x y)))) (* (cbrt (fma x x (+ (* x y) (* x y)))) (cbrt (fma x x (+ (* x y) (* x y))))) (cbrt (fma x x (+ (* x y) (* x y)))) (* (fma x x (+ (* x y) (* x y))) (* (fma x x (+ (* x y) (* x y))) (fma x x (+ (* x y) (* x y))))) (sqrt (fma x x (+ (* x y) (* x y)))) (sqrt (fma x x (+ (* x y) (* x y)))) (fma x x (+ (* x y) (* x y))) (fma x x (+ (* x y) (* x y))) (fma x x (+ (* x y) (* x y))) 7.765 * * * [progress]: adding candidates to table 7.848 * * [progress]: iteration 3 / 4 7.848 * * * [progress]: picking best candidate 7.851 * * * * [pick]: Picked # 7.851 * * * [progress]: localizing error 7.861 * * * [progress]: generating rewritten candidates 7.862 * * * * [progress]: [ 1 / 1 ] rewriting at (2 3 3) 7.868 * * * [progress]: generating series expansions 7.868 * * * * [progress]: [ 1 / 1 ] generating series at (2 3 3) 7.868 * [backup-simplify]: Simplify (+ (* x y) (* x y)) into (* 2 (* x y)) 7.868 * [approximate]: Taking taylor expansion of (* 2 (* x y)) in (x y) around 0 7.868 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in y 7.868 * [taylor]: Taking taylor expansion of 2 in y 7.868 * [backup-simplify]: Simplify 2 into 2 7.868 * [taylor]: Taking taylor expansion of (* x y) in y 7.868 * [taylor]: Taking taylor expansion of x in y 7.868 * [backup-simplify]: Simplify x into x 7.868 * [taylor]: Taking taylor expansion of y in y 7.868 * [backup-simplify]: Simplify 0 into 0 7.868 * [backup-simplify]: Simplify 1 into 1 7.868 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in x 7.868 * [taylor]: Taking taylor expansion of 2 in x 7.868 * [backup-simplify]: Simplify 2 into 2 7.868 * [taylor]: Taking taylor expansion of (* x y) in x 7.868 * [taylor]: Taking taylor expansion of x in x 7.868 * [backup-simplify]: Simplify 0 into 0 7.868 * [backup-simplify]: Simplify 1 into 1 7.868 * [taylor]: Taking taylor expansion of y in x 7.868 * [backup-simplify]: Simplify y into y 7.868 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in x 7.868 * [taylor]: Taking taylor expansion of 2 in x 7.868 * [backup-simplify]: Simplify 2 into 2 7.868 * [taylor]: Taking taylor expansion of (* x y) in x 7.868 * [taylor]: Taking taylor expansion of x in x 7.868 * [backup-simplify]: Simplify 0 into 0 7.869 * [backup-simplify]: Simplify 1 into 1 7.869 * [taylor]: Taking taylor expansion of y in x 7.869 * [backup-simplify]: Simplify y into y 7.869 * [backup-simplify]: Simplify (* 0 y) into 0 7.869 * [backup-simplify]: Simplify (* 2 0) into 0 7.869 * [taylor]: Taking taylor expansion of 0 in y 7.869 * [backup-simplify]: Simplify 0 into 0 7.869 * [backup-simplify]: Simplify 0 into 0 7.869 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.870 * [backup-simplify]: Simplify (+ (* 2 y) (* 0 0)) into (* 2 y) 7.870 * [taylor]: Taking taylor expansion of (* 2 y) in y 7.870 * [taylor]: Taking taylor expansion of 2 in y 7.870 * [backup-simplify]: Simplify 2 into 2 7.870 * [taylor]: Taking taylor expansion of y in y 7.870 * [backup-simplify]: Simplify 0 into 0 7.870 * [backup-simplify]: Simplify 1 into 1 7.870 * [backup-simplify]: Simplify (* 2 0) into 0 7.870 * [backup-simplify]: Simplify 0 into 0 7.870 * [backup-simplify]: Simplify 0 into 0 7.871 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 7.871 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 y) (* 0 0))) into 0 7.871 * [taylor]: Taking taylor expansion of 0 in y 7.871 * [backup-simplify]: Simplify 0 into 0 7.871 * [backup-simplify]: Simplify 0 into 0 7.872 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 7.872 * [backup-simplify]: Simplify 2 into 2 7.872 * [backup-simplify]: Simplify 0 into 0 7.872 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 7.873 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0 7.873 * [taylor]: Taking taylor expansion of 0 in y 7.873 * [backup-simplify]: Simplify 0 into 0 7.873 * [backup-simplify]: Simplify 0 into 0 7.873 * [backup-simplify]: Simplify 0 into 0 7.874 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 7.874 * [backup-simplify]: Simplify 0 into 0 7.874 * [backup-simplify]: Simplify 0 into 0 7.875 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 7.876 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 7.876 * [taylor]: Taking taylor expansion of 0 in y 7.876 * [backup-simplify]: Simplify 0 into 0 7.876 * [backup-simplify]: Simplify 0 into 0 7.876 * [backup-simplify]: Simplify (* 2 (* y x)) into (* 2 (* x y)) 7.876 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 y)) (* (/ 1 x) (/ 1 y))) into (* 2 (/ 1 (* x y))) 7.876 * [approximate]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in (x y) around 0 7.876 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y 7.876 * [taylor]: Taking taylor expansion of 2 in y 7.876 * [backup-simplify]: Simplify 2 into 2 7.876 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.876 * [taylor]: Taking taylor expansion of (* x y) in y 7.876 * [taylor]: Taking taylor expansion of x in y 7.876 * [backup-simplify]: Simplify x into x 7.876 * [taylor]: Taking taylor expansion of y in y 7.876 * [backup-simplify]: Simplify 0 into 0 7.876 * [backup-simplify]: Simplify 1 into 1 7.876 * [backup-simplify]: Simplify (* x 0) into 0 7.876 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 7.876 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.876 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x 7.876 * [taylor]: Taking taylor expansion of 2 in x 7.876 * [backup-simplify]: Simplify 2 into 2 7.876 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.876 * [taylor]: Taking taylor expansion of (* x y) in x 7.877 * [taylor]: Taking taylor expansion of x in x 7.877 * [backup-simplify]: Simplify 0 into 0 7.877 * [backup-simplify]: Simplify 1 into 1 7.877 * [taylor]: Taking taylor expansion of y in x 7.877 * [backup-simplify]: Simplify y into y 7.877 * [backup-simplify]: Simplify (* 0 y) into 0 7.877 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.877 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.877 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x 7.877 * [taylor]: Taking taylor expansion of 2 in x 7.877 * [backup-simplify]: Simplify 2 into 2 7.877 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.877 * [taylor]: Taking taylor expansion of (* x y) in x 7.877 * [taylor]: Taking taylor expansion of x in x 7.877 * [backup-simplify]: Simplify 0 into 0 7.877 * [backup-simplify]: Simplify 1 into 1 7.877 * [taylor]: Taking taylor expansion of y in x 7.877 * [backup-simplify]: Simplify y into y 7.877 * [backup-simplify]: Simplify (* 0 y) into 0 7.877 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.877 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.877 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y) 7.878 * [taylor]: Taking taylor expansion of (/ 2 y) in y 7.878 * [taylor]: Taking taylor expansion of 2 in y 7.878 * [backup-simplify]: Simplify 2 into 2 7.878 * [taylor]: Taking taylor expansion of y in y 7.878 * [backup-simplify]: Simplify 0 into 0 7.878 * [backup-simplify]: Simplify 1 into 1 7.878 * [backup-simplify]: Simplify (/ 2 1) into 2 7.878 * [backup-simplify]: Simplify 2 into 2 7.878 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 7.878 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 7.879 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0 7.879 * [taylor]: Taking taylor expansion of 0 in y 7.879 * [backup-simplify]: Simplify 0 into 0 7.879 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)))) into 0 7.879 * [backup-simplify]: Simplify 0 into 0 7.880 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 7.880 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.881 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 7.881 * [taylor]: Taking taylor expansion of 0 in y 7.881 * [backup-simplify]: Simplify 0 into 0 7.881 * [backup-simplify]: Simplify 0 into 0 7.881 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.881 * [backup-simplify]: Simplify 0 into 0 7.882 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 7.882 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.883 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 7.883 * [taylor]: Taking taylor expansion of 0 in y 7.883 * [backup-simplify]: Simplify 0 into 0 7.883 * [backup-simplify]: Simplify 0 into 0 7.883 * [backup-simplify]: Simplify 0 into 0 7.884 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.884 * [backup-simplify]: Simplify 0 into 0 7.884 * [backup-simplify]: Simplify (* 2 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 2 (* x y)) 7.884 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- x)) (/ 1 (- y)))) into (* 2 (/ 1 (* x y))) 7.884 * [approximate]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in (x y) around 0 7.884 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y 7.884 * [taylor]: Taking taylor expansion of 2 in y 7.884 * [backup-simplify]: Simplify 2 into 2 7.884 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.884 * [taylor]: Taking taylor expansion of (* x y) in y 7.884 * [taylor]: Taking taylor expansion of x in y 7.884 * [backup-simplify]: Simplify x into x 7.884 * [taylor]: Taking taylor expansion of y in y 7.884 * [backup-simplify]: Simplify 0 into 0 7.884 * [backup-simplify]: Simplify 1 into 1 7.884 * [backup-simplify]: Simplify (* x 0) into 0 7.884 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 7.885 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.885 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x 7.885 * [taylor]: Taking taylor expansion of 2 in x 7.885 * [backup-simplify]: Simplify 2 into 2 7.885 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.885 * [taylor]: Taking taylor expansion of (* x y) in x 7.885 * [taylor]: Taking taylor expansion of x in x 7.885 * [backup-simplify]: Simplify 0 into 0 7.885 * [backup-simplify]: Simplify 1 into 1 7.885 * [taylor]: Taking taylor expansion of y in x 7.885 * [backup-simplify]: Simplify y into y 7.885 * [backup-simplify]: Simplify (* 0 y) into 0 7.888 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.888 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.888 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x 7.889 * [taylor]: Taking taylor expansion of 2 in x 7.889 * [backup-simplify]: Simplify 2 into 2 7.889 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.889 * [taylor]: Taking taylor expansion of (* x y) in x 7.889 * [taylor]: Taking taylor expansion of x in x 7.889 * [backup-simplify]: Simplify 0 into 0 7.889 * [backup-simplify]: Simplify 1 into 1 7.889 * [taylor]: Taking taylor expansion of y in x 7.889 * [backup-simplify]: Simplify y into y 7.889 * [backup-simplify]: Simplify (* 0 y) into 0 7.889 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.889 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.889 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y) 7.889 * [taylor]: Taking taylor expansion of (/ 2 y) in y 7.889 * [taylor]: Taking taylor expansion of 2 in y 7.889 * [backup-simplify]: Simplify 2 into 2 7.889 * [taylor]: Taking taylor expansion of y in y 7.889 * [backup-simplify]: Simplify 0 into 0 7.889 * [backup-simplify]: Simplify 1 into 1 7.890 * [backup-simplify]: Simplify (/ 2 1) into 2 7.890 * [backup-simplify]: Simplify 2 into 2 7.890 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 7.890 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 7.891 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0 7.891 * [taylor]: Taking taylor expansion of 0 in y 7.891 * [backup-simplify]: Simplify 0 into 0 7.891 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)))) into 0 7.891 * [backup-simplify]: Simplify 0 into 0 7.892 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 7.892 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.892 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 7.892 * [taylor]: Taking taylor expansion of 0 in y 7.892 * [backup-simplify]: Simplify 0 into 0 7.892 * [backup-simplify]: Simplify 0 into 0 7.893 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.893 * [backup-simplify]: Simplify 0 into 0 7.894 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 7.894 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.895 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 7.895 * [taylor]: Taking taylor expansion of 0 in y 7.895 * [backup-simplify]: Simplify 0 into 0 7.895 * [backup-simplify]: Simplify 0 into 0 7.895 * [backup-simplify]: Simplify 0 into 0 7.896 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.896 * [backup-simplify]: Simplify 0 into 0 7.896 * [backup-simplify]: Simplify (* 2 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 2 (* x y)) 7.896 * * * [progress]: simplifying candidates 7.896 * [simplify]: Simplifying: (expm1 (+ (* x y) (* x y))) (log1p (+ (* x y) (* x y))) (* (exp (* x y)) (exp (* x y))) (log (+ (* x y) (* x y))) (exp (+ (* 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 y) 3) (pow (* x y) 3)) (+ (* (* x y) (* x y)) (- (* (* x y) (* x y)) (* (* x y) (* x y)))) (- (* (* x y) (* x y)) (* (* x y) (* x y))) (- (* x y) (* x y)) (+ y y) (+ x x) (* 2 (* x y)) (* 2 (* x y)) (* 2 (* x y)) 7.896 * * [simplify]: Extracting # 0 : cost 16 inf + 0 7.896 * * [simplify]: Extracting # 1 : cost 25 inf + 0 7.897 * * [simplify]: Extracting # 2 : cost 23 inf + 3 7.897 * * [simplify]: Extracting # 3 : cost 6 inf + 1886 7.897 * * [simplify]: Extracting # 4 : cost 0 inf + 2949 7.897 * * [simplify]: iteration 0 : 26 enodes (cost 2540 ) 7.904 * * [simplify]: Extracting # 0 : cost 0 inf + 2949 7.905 * * [simplify]: Extracting # 1 : cost 13 inf + 2615 7.906 * * [simplify]: Extracting # 2 : cost 2 inf + 3794 7.906 * * [simplify]: Extracting # 3 : cost 1 inf + 3731 7.907 * * [simplify]: Extracting # 4 : cost 0 inf + 3984 7.907 * * [simplify]: iteration 1 : 71 enodes (cost 2140 ) 7.930 * * [simplify]: Extracting # 0 : cost 0 inf + 3984 7.932 * * [simplify]: Extracting # 1 : cost 53 inf + 3706 7.934 * * [simplify]: Extracting # 2 : cost 4 inf + 10310 7.936 * * [simplify]: Extracting # 3 : cost 2 inf + 10353 7.939 * * [simplify]: Extracting # 4 : cost 0 inf + 10929 7.941 * * [simplify]: iteration 2 : 273 enodes (cost 2124 ) 8.158 * * [simplify]: Extracting # 0 : cost 0 inf + 10929 8.167 * * [simplify]: Extracting # 1 : cost 121 inf + 10804 8.183 * * [simplify]: Extracting # 2 : cost 12 inf + 31568 8.196 * * [simplify]: Extracting # 3 : cost 4 inf + 32429 8.210 * * [simplify]: Extracting # 4 : cost 0 inf + 33732 8.227 * * [simplify]: iteration 3 : 934 enodes (cost 2124 ) 10.280 * * [simplify]: Extracting # 0 : cost 0 inf + 33732 10.346 * * [simplify]: Extracting # 1 : cost 279 inf + 31546 10.437 * * [simplify]: Extracting # 2 : cost 19 inf + 98345 10.527 * * [simplify]: Extracting # 3 : cost 4 inf + 99481 10.605 * * [simplify]: Extracting # 4 : cost 0 inf + 100865 10.670 * * [simplify]: iteration 4 : 3389 enodes (cost 2124 ) 11.805 * * [simplify]: Extracting # 0 : cost 0 inf + 100865 11.973 * * [simplify]: Extracting # 1 : cost 0 inf + 99503 12.115 * * [simplify]: iteration complete: 5000 enodes (cost 2124 ) 12.116 * [simplify]: Simplified to: (expm1 (+ (* x y) (* x y))) (log1p (+ (* x y) (* x y))) (* (exp (* x y)) (exp (* x y))) (log (+ (* x y) (* x y))) (* (exp (* x y)) (exp (* x y))) (* (cbrt (+ (* x y) (* x y))) (cbrt (+ (* x y) (* x y)))) (cbrt (+ (* x y) (* x y))) (* (* (+ (* x y) (* x y)) (+ (* x y) (* x y))) (+ (* x y) (* x y))) (sqrt (+ (* x y) (* x y))) (sqrt (+ (* x y) (* x y))) (* (* (* x y) (+ (* x y) (* x y))) (* x y)) (* (* x y) (* x y)) 0 0 (+ y y) (+ x x) (+ (* x y) (* x y)) (+ (* x y) (* x y)) (+ (* x y) (* x y)) 12.116 * * * [progress]: adding candidates to table 12.205 * [progress]: [Phase 3 of 3] Extracting. 12.209 * [simplify]: Simplifying: (fma y y (fma x x (+ (* x y) (* x y)))) 12.209 * * [simplify]: Extracting # 0 : cost 1 inf + 0 12.209 * * [simplify]: Extracting # 1 : cost 3 inf + 0 12.209 * * [simplify]: Extracting # 2 : cost 4 inf + 1 12.209 * * [simplify]: Extracting # 3 : cost 4 inf + 2 12.209 * * [simplify]: Extracting # 4 : cost 0 inf + 455 12.209 * * [simplify]: iteration 0 : 6 enodes (cost 192 ) 12.210 * * [simplify]: Extracting # 0 : cost 0 inf + 455 12.210 * * [simplify]: iteration 1 : 7 enodes (cost 192 ) 12.210 * * [simplify]: Extracting # 0 : cost 0 inf + 455 12.210 * * [simplify]: iteration complete: 7 enodes (cost 192 ) 12.210 * [simplify]: Simplified to: (fma y y (fma x x (+ (* x y) (* x y)))) 13.407 * [regime-testing]: Baseline error score: 0.004875609451181397 13.421 * [regime-testing]: Oracle error score: 0.004875609451181397 13.422 * [regime-testing]: End program error score: 0.004875609451181397 13.551 * [regime-testing]: Target error score: 0.01628771124126294