68.504 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.027 * * * [progress]: [2/2] Setting up program. 0.030 * [progress]: [Phase 2 of 3] Improving. 0.030 * [simplify]: Simplifying: (+ (+ (* x y) x) y) 0.030 * * [simplify]: Extracting # 0 : cost 0 0.030 * * [simplify]: Extracting # 1 : cost 0 0.030 * * [simplify]: Extracting # 2 : cost 0 0.030 * * [simplify]: Extracting # 3 : cost 0 0.030 * * [simplify]: Extracting # 4 : cost 0 0.030 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 0.032 * * [simplify]: Extracting # 0 : cost 0 0.032 * * [simplify]: Extracting # 1 : cost 0 0.033 * * [simplify]: Extracting # 2 : cost 0 0.033 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 0.037 * * [simplify]: Extracting # 0 : cost 0 0.037 * * [simplify]: Extracting # 1 : cost 0 0.037 * * [simplify]: Extracting # 2 : cost 0 0.037 * * [simplify]: Extracting # 3 : cost 0 0.037 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 0.046 * * [simplify]: Extracting # 0 : cost 0 0.046 * * [simplify]: Extracting # 1 : cost 0 0.046 * * [simplify]: Extracting # 2 : cost 0 0.046 * * [simplify]: iteration 3 : 34 enodes (cost 6 ) 0.056 * * [simplify]: Extracting # 0 : cost 0 0.056 * * [simplify]: Extracting # 1 : cost 0 0.056 * * [simplify]: Extracting # 2 : cost 0 0.056 * * [simplify]: iteration 4 : 44 enodes (cost 6 ) 0.079 * * [simplify]: Extracting # 0 : cost 0 0.079 * * [simplify]: Extracting # 1 : cost 0 0.079 * * [simplify]: Extracting # 2 : cost 0 0.079 * * [simplify]: iteration 5 : 125 enodes (cost 6 ) 0.145 * * [simplify]: Extracting # 0 : cost 0 0.146 * * [simplify]: Extracting # 1 : cost 0 0.147 * * [simplify]: Extracting # 2 : cost 0 0.148 * * [simplify]: iteration 6 : 417 enodes (cost 6 ) 0.573 * * [simplify]: Extracting # 0 : cost 0 0.575 * * [simplify]: Extracting # 1 : cost 0 0.577 * * [simplify]: Extracting # 2 : cost 0 0.578 * * [simplify]: iteration 7 : 1575 enodes (cost 6 ) 2.278 * * [simplify]: Extracting # 0 : cost 0 2.290 * * [simplify]: Extracting # 1 : cost 0 2.296 * * [simplify]: Extracting # 2 : cost 0 2.301 * * [simplify]: iteration done: 5001 enodes (cost 6 ) 2.301 * [simplify]: Simplified to: (+ (fma x y x) y) 2.304 * * [progress]: iteration 1 / 4 2.304 * * * [progress]: picking best candidate 2.305 * * * * [pick]: Picked # 2.305 * * * [progress]: localizing error 2.310 * * * [progress]: generating rewritten candidates 2.310 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 2.387 * * * [progress]: generating series expansions 2.387 * * * * [progress]: [ 1 / 1 ] generating series at (2) 2.387 * [backup-simplify]: Simplify (+ (+ (* x y) x) y) into (+ x (+ y (* x y))) 2.387 * [approximate]: Taking taylor expansion of (+ x (+ y (* x y))) in (x y) around 0 2.387 * [taylor]: Taking taylor expansion of (+ x (+ y (* x y))) in y 2.389 * [taylor]: Taking taylor expansion of x in y 2.389 * [backup-simplify]: Simplify x into x 2.389 * [taylor]: Taking taylor expansion of (+ y (* x y)) in y 2.389 * [taylor]: Taking taylor expansion of y in y 2.389 * [backup-simplify]: Simplify 0 into 0 2.389 * [backup-simplify]: Simplify 1 into 1 2.389 * [taylor]: Taking taylor expansion of (* x y) in y 2.389 * [taylor]: Taking taylor expansion of x in y 2.389 * [backup-simplify]: Simplify x into x 2.389 * [taylor]: Taking taylor expansion of y in y 2.389 * [backup-simplify]: Simplify 0 into 0 2.389 * [backup-simplify]: Simplify 1 into 1 2.389 * [taylor]: Taking taylor expansion of (+ x (+ y (* x y))) in x 2.389 * [taylor]: Taking taylor expansion of x in x 2.389 * [backup-simplify]: Simplify 0 into 0 2.389 * [backup-simplify]: Simplify 1 into 1 2.389 * [taylor]: Taking taylor expansion of (+ y (* x y)) in x 2.389 * [taylor]: Taking taylor expansion of y in x 2.389 * [backup-simplify]: Simplify y into y 2.389 * [taylor]: Taking taylor expansion of (* x y) in x 2.389 * [taylor]: Taking taylor expansion of x in x 2.389 * [backup-simplify]: Simplify 0 into 0 2.389 * [backup-simplify]: Simplify 1 into 1 2.389 * [taylor]: Taking taylor expansion of y in x 2.389 * [backup-simplify]: Simplify y into y 2.389 * [taylor]: Taking taylor expansion of (+ x (+ y (* x y))) in x 2.389 * [taylor]: Taking taylor expansion of x in x 2.389 * [backup-simplify]: Simplify 0 into 0 2.389 * [backup-simplify]: Simplify 1 into 1 2.389 * [taylor]: Taking taylor expansion of (+ y (* x y)) in x 2.389 * [taylor]: Taking taylor expansion of y in x 2.389 * [backup-simplify]: Simplify y into y 2.389 * [taylor]: Taking taylor expansion of (* x y) in x 2.389 * [taylor]: Taking taylor expansion of x in x 2.389 * [backup-simplify]: Simplify 0 into 0 2.389 * [backup-simplify]: Simplify 1 into 1 2.389 * [taylor]: Taking taylor expansion of y in x 2.389 * [backup-simplify]: Simplify y into y 2.390 * [backup-simplify]: Simplify (* 0 y) into 0 2.390 * [backup-simplify]: Simplify (+ y 0) into y 2.390 * [backup-simplify]: Simplify (+ 0 y) into y 2.390 * [taylor]: Taking taylor expansion of y in y 2.390 * [backup-simplify]: Simplify 0 into 0 2.390 * [backup-simplify]: Simplify 1 into 1 2.390 * [backup-simplify]: Simplify 0 into 0 2.390 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.390 * [backup-simplify]: Simplify (+ 0 y) into y 2.390 * [backup-simplify]: Simplify (+ 1 y) into (+ y 1) 2.390 * [taylor]: Taking taylor expansion of (+ y 1) in y 2.390 * [taylor]: Taking taylor expansion of y in y 2.390 * [backup-simplify]: Simplify 0 into 0 2.390 * [backup-simplify]: Simplify 1 into 1 2.390 * [taylor]: Taking taylor expansion of 1 in y 2.390 * [backup-simplify]: Simplify 1 into 1 2.391 * [backup-simplify]: Simplify (+ 0 1) into 1 2.391 * [backup-simplify]: Simplify 1 into 1 2.391 * [backup-simplify]: Simplify 1 into 1 2.391 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 2.392 * [backup-simplify]: Simplify (+ 0 0) into 0 2.392 * [backup-simplify]: Simplify (+ 0 0) into 0 2.392 * [taylor]: Taking taylor expansion of 0 in y 2.392 * [backup-simplify]: Simplify 0 into 0 2.392 * [backup-simplify]: Simplify 0 into 0 2.392 * [backup-simplify]: Simplify (+ 1 0) into 1 2.392 * [backup-simplify]: Simplify 1 into 1 2.393 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (+ (* 1 (* y 1)) (* 1 (* 1 x)))) into (+ x (+ y (* x y))) 2.393 * [backup-simplify]: Simplify (+ (+ (* (/ 1 x) (/ 1 y)) (/ 1 x)) (/ 1 y)) into (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) 2.393 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in (x y) around 0 2.393 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in y 2.393 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 2.393 * [taylor]: Taking taylor expansion of (* x y) in y 2.393 * [taylor]: Taking taylor expansion of x in y 2.393 * [backup-simplify]: Simplify x into x 2.393 * [taylor]: Taking taylor expansion of y in y 2.393 * [backup-simplify]: Simplify 0 into 0 2.393 * [backup-simplify]: Simplify 1 into 1 2.393 * [backup-simplify]: Simplify (* x 0) into 0 2.393 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 2.393 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.393 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 2.393 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.393 * [taylor]: Taking taylor expansion of y in y 2.393 * [backup-simplify]: Simplify 0 into 0 2.393 * [backup-simplify]: Simplify 1 into 1 2.394 * [backup-simplify]: Simplify (/ 1 1) into 1 2.394 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.394 * [taylor]: Taking taylor expansion of x in y 2.394 * [backup-simplify]: Simplify x into x 2.394 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.394 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in x 2.394 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.394 * [taylor]: Taking taylor expansion of (* x y) in x 2.394 * [taylor]: Taking taylor expansion of x in x 2.394 * [backup-simplify]: Simplify 0 into 0 2.394 * [backup-simplify]: Simplify 1 into 1 2.394 * [taylor]: Taking taylor expansion of y in x 2.394 * [backup-simplify]: Simplify y into y 2.394 * [backup-simplify]: Simplify (* 0 y) into 0 2.394 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.394 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.394 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.394 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.394 * [taylor]: Taking taylor expansion of y in x 2.394 * [backup-simplify]: Simplify y into y 2.394 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.394 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.394 * [taylor]: Taking taylor expansion of x in x 2.394 * [backup-simplify]: Simplify 0 into 0 2.394 * [backup-simplify]: Simplify 1 into 1 2.395 * [backup-simplify]: Simplify (/ 1 1) into 1 2.395 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in x 2.395 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.395 * [taylor]: Taking taylor expansion of (* x y) in x 2.395 * [taylor]: Taking taylor expansion of x in x 2.395 * [backup-simplify]: Simplify 0 into 0 2.395 * [backup-simplify]: Simplify 1 into 1 2.395 * [taylor]: Taking taylor expansion of y in x 2.395 * [backup-simplify]: Simplify y into y 2.395 * [backup-simplify]: Simplify (* 0 y) into 0 2.395 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.395 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.395 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.395 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.395 * [taylor]: Taking taylor expansion of y in x 2.395 * [backup-simplify]: Simplify y into y 2.395 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.395 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.395 * [taylor]: Taking taylor expansion of x in x 2.395 * [backup-simplify]: Simplify 0 into 0 2.395 * [backup-simplify]: Simplify 1 into 1 2.396 * [backup-simplify]: Simplify (/ 1 1) into 1 2.396 * [backup-simplify]: Simplify (+ 0 1) into 1 2.396 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ (/ 1 y) 1) 2.396 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 2.396 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.396 * [taylor]: Taking taylor expansion of y in y 2.396 * [backup-simplify]: Simplify 0 into 0 2.396 * [backup-simplify]: Simplify 1 into 1 2.396 * [backup-simplify]: Simplify (/ 1 1) into 1 2.396 * [taylor]: Taking taylor expansion of 1 in y 2.396 * [backup-simplify]: Simplify 1 into 1 2.397 * [backup-simplify]: Simplify (+ 1 0) into 1 2.397 * [backup-simplify]: Simplify 1 into 1 2.397 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 2.397 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 2.398 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.398 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 2.398 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 2.398 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.398 * [taylor]: Taking taylor expansion of y in y 2.398 * [backup-simplify]: Simplify 0 into 0 2.398 * [backup-simplify]: Simplify 1 into 1 2.398 * [backup-simplify]: Simplify (/ 1 1) into 1 2.398 * [backup-simplify]: Simplify 1 into 1 2.399 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.399 * [backup-simplify]: Simplify (+ 0 1) into 1 2.399 * [backup-simplify]: Simplify 1 into 1 2.399 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 x)))) (+ (* 1 (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))))) into (+ x (+ y (* x y))) 2.399 * [backup-simplify]: Simplify (+ (+ (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- x))) (/ 1 (- y))) into (- (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) 2.399 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in (x y) around 0 2.399 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in y 2.399 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 2.399 * [taylor]: Taking taylor expansion of (* x y) in y 2.399 * [taylor]: Taking taylor expansion of x in y 2.399 * [backup-simplify]: Simplify x into x 2.399 * [taylor]: Taking taylor expansion of y in y 2.400 * [backup-simplify]: Simplify 0 into 0 2.400 * [backup-simplify]: Simplify 1 into 1 2.400 * [backup-simplify]: Simplify (* x 0) into 0 2.400 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 2.400 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.400 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 2.400 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.400 * [taylor]: Taking taylor expansion of y in y 2.400 * [backup-simplify]: Simplify 0 into 0 2.400 * [backup-simplify]: Simplify 1 into 1 2.400 * [backup-simplify]: Simplify (/ 1 1) into 1 2.400 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.400 * [taylor]: Taking taylor expansion of x in y 2.400 * [backup-simplify]: Simplify x into x 2.400 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.400 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in x 2.400 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.400 * [taylor]: Taking taylor expansion of (* x y) in x 2.400 * [taylor]: Taking taylor expansion of x in x 2.400 * [backup-simplify]: Simplify 0 into 0 2.400 * [backup-simplify]: Simplify 1 into 1 2.400 * [taylor]: Taking taylor expansion of y in x 2.400 * [backup-simplify]: Simplify y into y 2.400 * [backup-simplify]: Simplify (* 0 y) into 0 2.401 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.401 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.401 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.401 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.401 * [taylor]: Taking taylor expansion of y in x 2.401 * [backup-simplify]: Simplify y into y 2.401 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.401 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.401 * [taylor]: Taking taylor expansion of x in x 2.401 * [backup-simplify]: Simplify 0 into 0 2.401 * [backup-simplify]: Simplify 1 into 1 2.401 * [backup-simplify]: Simplify (/ 1 1) into 1 2.401 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in x 2.401 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.401 * [taylor]: Taking taylor expansion of (* x y) in x 2.401 * [taylor]: Taking taylor expansion of x in x 2.401 * [backup-simplify]: Simplify 0 into 0 2.401 * [backup-simplify]: Simplify 1 into 1 2.401 * [taylor]: Taking taylor expansion of y in x 2.401 * [backup-simplify]: Simplify y into y 2.401 * [backup-simplify]: Simplify (* 0 y) into 0 2.402 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.402 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.402 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.402 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.402 * [taylor]: Taking taylor expansion of y in x 2.402 * [backup-simplify]: Simplify y into y 2.402 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.402 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.402 * [taylor]: Taking taylor expansion of x in x 2.402 * [backup-simplify]: Simplify 0 into 0 2.402 * [backup-simplify]: Simplify 1 into 1 2.402 * [backup-simplify]: Simplify (/ 1 1) into 1 2.402 * [backup-simplify]: Simplify (+ 0 1) into 1 2.403 * [backup-simplify]: Simplify (- 1) into -1 2.403 * [backup-simplify]: Simplify (+ (/ 1 y) -1) into (- (/ 1 y) 1) 2.403 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 2.403 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.403 * [taylor]: Taking taylor expansion of y in y 2.403 * [backup-simplify]: Simplify 0 into 0 2.403 * [backup-simplify]: Simplify 1 into 1 2.403 * [backup-simplify]: Simplify (/ 1 1) into 1 2.403 * [taylor]: Taking taylor expansion of 1 in y 2.403 * [backup-simplify]: Simplify 1 into 1 2.403 * [backup-simplify]: Simplify (+ 1 0) into 1 2.403 * [backup-simplify]: Simplify 1 into 1 2.404 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 2.404 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 2.404 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.404 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 2.405 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 2.405 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 2.405 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.405 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.405 * [taylor]: Taking taylor expansion of y in y 2.405 * [backup-simplify]: Simplify 0 into 0 2.405 * [backup-simplify]: Simplify 1 into 1 2.405 * [backup-simplify]: Simplify (/ 1 1) into 1 2.405 * [backup-simplify]: Simplify (- 1) into -1 2.405 * [backup-simplify]: Simplify -1 into -1 2.406 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.406 * [backup-simplify]: Simplify (- 1) into -1 2.406 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.406 * [backup-simplify]: Simplify -1 into -1 2.406 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 (- x))))) (+ (* -1 (* (/ 1 (/ 1 (- y))) 1)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))))) into (+ x (+ y (* x y))) 2.406 * * * [progress]: simplifying candidates 2.407 * [simplify]: Simplifying: (expm1 (+ (+ (* x y) x) y)) (log1p (+ (+ (* x y) x) y)) (* (* (exp (* x y)) (exp x)) (exp y)) (* (exp (+ (* x y) x)) (exp 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) x) 3) (pow y 3)) (+ (* (+ (* x y) x) (+ (* x y) x)) (- (* y y) (* (+ (* x y) x) y))) (- (* (+ (* x y) x) (+ (* x y) x)) (* y y)) (- (+ (* x y) x) y) (+ (+ (* x y) x) y) (+ x y) (+ x (+ y (* x y))) (+ x (+ y (* x y))) (+ x (+ y (* x y))) 2.407 * * [simplify]: Extracting # 0 : cost 0 2.407 * * [simplify]: Extracting # 1 : cost 0 2.407 * * [simplify]: Extracting # 2 : cost 0 2.407 * * [simplify]: Extracting # 3 : cost 0 2.407 * * [simplify]: Extracting # 4 : cost 0 2.408 * * [simplify]: Extracting # 5 : cost 0 2.408 * * [simplify]: Extracting # 6 : cost 0 2.408 * * [simplify]: iteration 0 : 35 enodes (cost 202 ) 2.422 * * [simplify]: Extracting # 0 : cost 0 2.422 * * [simplify]: Extracting # 1 : cost 0 2.423 * * [simplify]: Extracting # 2 : cost 0 2.423 * * [simplify]: Extracting # 3 : cost 0 2.423 * * [simplify]: iteration 1 : 102 enodes (cost 174 ) 2.477 * * [simplify]: Extracting # 0 : cost 0 2.478 * * [simplify]: Extracting # 1 : cost 0 2.478 * * [simplify]: Extracting # 2 : cost 0 2.479 * * [simplify]: Extracting # 3 : cost 0 2.479 * * [simplify]: Extracting # 4 : cost 0 2.480 * * [simplify]: Extracting # 5 : cost 0 2.481 * * [simplify]: iteration 2 : 337 enodes (cost 159 ) 2.777 * * [simplify]: Extracting # 0 : cost 0 2.787 * * [simplify]: Extracting # 1 : cost 0 2.790 * * [simplify]: Extracting # 2 : cost 0 2.793 * * [simplify]: Extracting # 3 : cost 0 2.796 * * [simplify]: Extracting # 4 : cost 0 2.800 * * [simplify]: iteration 3 : 1659 enodes (cost 156 ) 4.189 * * [simplify]: Extracting # 0 : cost 0 4.195 * * [simplify]: Extracting # 1 : cost 0 4.201 * * [simplify]: Extracting # 2 : cost 0 4.206 * * [simplify]: Extracting # 3 : cost 0 4.212 * * [simplify]: Extracting # 4 : cost 0 4.217 * * [simplify]: iteration done: 5001 enodes (cost 156 ) 4.217 * [simplify]: Simplified to: (expm1 (+ (fma x y x) y)) (log1p (+ (fma x y x) y)) (exp (+ (fma x y x) y)) (exp (+ (fma x y x) y)) (log (+ (fma x y x) y)) (exp (+ (fma x y x) y)) (* (cbrt (+ (fma x y x) y)) (cbrt (+ (fma x y x) y))) (cbrt (+ (fma x y x) y)) (pow (+ (fma x y x) y) 3) (sqrt (+ (fma x y x) y)) (sqrt (+ (fma x y x) y)) (+ (pow (fma x y x) 3) (pow y 3)) (fma y y (* (fma x y x) (- (fma x y x) y))) (* (+ (fma x y x) y) (- (fma x y x) y)) (- (fma x y x) y) (fma x y (+ x y)) (+ x y) (fma x y (+ x y)) (fma x y (+ x y)) (fma x y (+ x y)) 4.217 * * * [progress]: adding candidates to table 4.270 * * [progress]: iteration 2 / 4 4.270 * * * [progress]: picking best candidate 4.272 * * * * [pick]: Picked # 4.272 * * * [progress]: localizing error 4.282 * * * [progress]: generating rewritten candidates 4.282 * * * [progress]: generating series expansions 4.282 * * * [progress]: simplifying candidates 4.283 * [simplify]: Simplifying: 4.283 * * [simplify]: Extracting # 0 : cost 0 4.283 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 4.283 * * [simplify]: Extracting # 0 : cost 0 4.283 * * [simplify]: iteration done: 0 enodes (cost 0 ) 4.283 * [simplify]: Simplified to: 4.283 * * * [progress]: adding candidates to table 4.284 * [progress]: [Phase 3 of 3] Extracting. 4.287 * [simplify]: Simplifying: (fma x y (+ x y)) 4.287 * * [simplify]: Extracting # 0 : cost 0 4.287 * * [simplify]: Extracting # 1 : cost 0 4.287 * * [simplify]: Extracting # 2 : cost 0 4.287 * * [simplify]: Extracting # 3 : cost 0 4.287 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 4.287 * * [simplify]: Extracting # 0 : cost 0 4.287 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 4.288 * * [simplify]: Extracting # 0 : cost 0 4.288 * * [simplify]: iteration done: 5 enodes (cost 6 ) 4.288 * [simplify]: Simplified to: (fma x y (+ x y)) 5.162 * [regime-testing]: Baseline error score: 0.0007500937617202151 5.165 * [regime-testing]: Oracle error score: 0.0007500937617202151 5.165 * [regime-testing]: End program error score: 0.0007500937617202151