1.474 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.037 * * * [progress]: [2/2] Setting up program. 0.039 * [progress]: [Phase 2 of 3] Improving. 0.039 * [simplify]: Simplifying: (- (+ x y) (/ (* (- z t) y) (- a t))) 0.039 * * [simplify]: Extracting # 0 : cost 0 0.040 * * [simplify]: Extracting # 1 : cost 0 0.040 * * [simplify]: Extracting # 2 : cost 0 0.040 * * [simplify]: Extracting # 3 : cost 0 0.040 * * [simplify]: Extracting # 4 : cost 0 0.040 * * [simplify]: Extracting # 5 : cost 0 0.040 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 0.041 * * [simplify]: Extracting # 0 : cost 0 0.041 * * [simplify]: Extracting # 1 : cost 0 0.041 * * [simplify]: Extracting # 2 : cost 0 0.041 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 0.045 * * [simplify]: Extracting # 0 : cost 0 0.045 * * [simplify]: Extracting # 1 : cost 0 0.045 * * [simplify]: Extracting # 2 : cost 0 0.045 * * [simplify]: iteration 2 : 52 enodes (cost 13 ) 0.065 * * [simplify]: Extracting # 0 : cost 0 0.065 * * [simplify]: Extracting # 1 : cost 0 0.065 * * [simplify]: Extracting # 2 : cost 0 0.065 * * [simplify]: iteration 3 : 109 enodes (cost 13 ) 0.091 * * [simplify]: Extracting # 0 : cost 0 0.091 * * [simplify]: Extracting # 1 : cost 0 0.092 * * [simplify]: Extracting # 2 : cost 0 0.092 * * [simplify]: Extracting # 3 : cost 0 0.092 * * [simplify]: Extracting # 4 : cost 0 0.092 * * [simplify]: iteration 4 : 203 enodes (cost 12 ) 0.170 * * [simplify]: Extracting # 0 : cost 0 0.170 * * [simplify]: Extracting # 1 : cost 0 0.170 * * [simplify]: Extracting # 2 : cost 0 0.171 * * [simplify]: iteration 5 : 451 enodes (cost 12 ) 0.460 * * [simplify]: Extracting # 0 : cost 0 0.461 * * [simplify]: Extracting # 1 : cost 0 0.462 * * [simplify]: Extracting # 2 : cost 0 0.463 * * [simplify]: iteration 6 : 748 enodes (cost 12 ) 1.110 * * [simplify]: Extracting # 0 : cost 0 1.112 * * [simplify]: Extracting # 1 : cost 0 1.112 * * [simplify]: Extracting # 2 : cost 0 1.113 * * [simplify]: iteration 7 : 1078 enodes (cost 12 ) 1.784 * * [simplify]: Extracting # 0 : cost 0 1.791 * * [simplify]: Extracting # 1 : cost 0 1.793 * * [simplify]: Extracting # 2 : cost 0 1.794 * * [simplify]: iteration 8 : 1400 enodes (cost 12 ) 2.614 * * [simplify]: Extracting # 0 : cost 0 2.616 * * [simplify]: Extracting # 1 : cost 0 2.617 * * [simplify]: Extracting # 2 : cost 0 2.619 * * [simplify]: iteration 9 : 1655 enodes (cost 12 ) 4.097 * * [simplify]: Extracting # 0 : cost 0 4.100 * * [simplify]: Extracting # 1 : cost 0 4.102 * * [simplify]: Extracting # 2 : cost 0 4.104 * * [simplify]: iteration 10 : 2153 enodes (cost 12 ) 5.876 * * [simplify]: Extracting # 0 : cost 0 5.879 * * [simplify]: Extracting # 1 : cost 0 5.882 * * [simplify]: Extracting # 2 : cost 0 5.885 * * [simplify]: iteration 11 : 2683 enodes (cost 12 ) 9.757 * * [simplify]: Extracting # 0 : cost 0 9.760 * * [simplify]: Extracting # 1 : cost 0 9.762 * * [simplify]: Extracting # 2 : cost 0 9.764 * * [simplify]: iteration 12 : 3847 enodes (cost 12 ) 13.293 * * [simplify]: Extracting # 0 : cost 0 13.297 * * [simplify]: Extracting # 1 : cost 0 13.300 * * [simplify]: Extracting # 2 : cost 0 13.303 * * [simplify]: iteration done: 5001 enodes (cost 12 ) 13.303 * [simplify]: Simplified to: (fma (/ (- t z) (- a t)) y (+ x y)) 13.307 * * [progress]: iteration 1 / 4 13.307 * * * [progress]: picking best candidate 13.312 * * * * [pick]: Picked # 13.312 * * * [progress]: localizing error 13.329 * * * [progress]: generating rewritten candidates 13.329 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 13.330 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 13.401 * * * [progress]: generating series expansions 13.401 * * * * [progress]: [ 1 / 2 ] generating series at (2) 13.402 * [backup-simplify]: Simplify (fma (/ (- t z) (- a t)) y (+ x y)) into (fma (/ (- t z) (- a t)) y (+ x y)) 13.402 * [approximate]: Taking taylor expansion of (fma (/ (- t z) (- a t)) y (+ x y)) in (t z a y x) around 0 13.402 * [taylor]: Taking taylor expansion of (fma (/ (- t z) (- a t)) y (+ x y)) in x 13.402 * [taylor]: Rewrote expression to (+ (* (/ (- t z) (- a t)) y) (+ x y)) 13.402 * [taylor]: Taking taylor expansion of (* (/ (- t z) (- a t)) y) in x 13.402 * [taylor]: Taking taylor expansion of (/ (- t z) (- a t)) in x 13.402 * [taylor]: Taking taylor expansion of (- t z) in x 13.402 * [taylor]: Taking taylor expansion of t in x 13.402 * [backup-simplify]: Simplify t into t 13.402 * [taylor]: Taking taylor expansion of z in x 13.402 * [backup-simplify]: Simplify z into z 13.402 * [taylor]: Taking taylor expansion of (- a t) in x 13.402 * [taylor]: Taking taylor expansion of a in x 13.402 * [backup-simplify]: Simplify a into a 13.402 * [taylor]: Taking taylor expansion of t in x 13.402 * [backup-simplify]: Simplify t into t 13.403 * [backup-simplify]: Simplify (- z) into (- z) 13.403 * [backup-simplify]: Simplify (+ t (- z)) into (- t z) 13.403 * [backup-simplify]: Simplify (- t) into (- t) 13.403 * [backup-simplify]: Simplify (+ a (- t)) into (- a t) 13.403 * [backup-simplify]: Simplify (/ (- t z) (- a t)) into (/ (- t z) (- a t)) 13.403 * [taylor]: Taking taylor expansion of y in x 13.403 * [backup-simplify]: Simplify y into y 13.403 * [taylor]: Taking taylor expansion of (+ x y) in x 13.403 * [taylor]: Taking taylor expansion of x in x 13.403 * [backup-simplify]: Simplify 0 into 0 13.403 * [backup-simplify]: Simplify 1 into 1 13.403 * [taylor]: Taking taylor expansion of y in x 13.403 * [backup-simplify]: Simplify y into y 13.403 * [taylor]: Taking taylor expansion of (fma (/ (- t z) (- a t)) y (+ x y)) in y 13.403 * [taylor]: Rewrote expression to (+ (* (/ (- t z) (- a t)) y) (+ x y)) 13.403 * [taylor]: Taking taylor expansion of (* (/ (- t z) (- a t)) y) in y 13.403 * [taylor]: Taking taylor expansion of (/ (- t z) (- a t)) in y 13.403 * [taylor]: Taking taylor expansion of (- t z) in y 13.403 * [taylor]: Taking taylor expansion of t in y 13.403 * [backup-simplify]: Simplify t into t 13.403 * [taylor]: Taking taylor expansion of z in y 13.404 * [backup-simplify]: Simplify z into z 13.404 * [taylor]: Taking taylor expansion of (- a t) in y 13.404 * [taylor]: Taking taylor expansion of a in y 13.404 * [backup-simplify]: Simplify a into a 13.404 * [taylor]: Taking taylor expansion of t in y 13.404 * [backup-simplify]: Simplify t into t 13.404 * [backup-simplify]: Simplify (- z) into (- z) 13.404 * [backup-simplify]: Simplify (+ t (- z)) into (- t z) 13.404 * [backup-simplify]: Simplify (- t) into (- t) 13.404 * [backup-simplify]: Simplify (+ a (- t)) into (- a t) 13.404 * [backup-simplify]: Simplify (/ (- t z) (- a t)) into (/ (- t z) (- a t)) 13.404 * [taylor]: Taking taylor expansion of y in y 13.404 * [backup-simplify]: Simplify 0 into 0 13.404 * [backup-simplify]: Simplify 1 into 1 13.404 * [taylor]: Taking taylor expansion of (+ x y) in y 13.404 * [taylor]: Taking taylor expansion of x in y 13.404 * [backup-simplify]: Simplify x into x 13.404 * [taylor]: Taking taylor expansion of y in y 13.404 * [backup-simplify]: Simplify 0 into 0 13.404 * [backup-simplify]: Simplify 1 into 1 13.404 * [taylor]: Taking taylor expansion of (fma (/ (- t z) (- a t)) y (+ x y)) in a 13.404 * [taylor]: Rewrote expression to (+ (* (/ (- t z) (- a t)) y) (+ x y)) 13.405 * [taylor]: Taking taylor expansion of (* (/ (- t z) (- a t)) y) in a 13.405 * [taylor]: Taking taylor expansion of (/ (- t z) (- a t)) in a 13.405 * [taylor]: Taking taylor expansion of (- t z) in a 13.405 * [taylor]: Taking taylor expansion of t in a 13.405 * [backup-simplify]: Simplify t into t 13.405 * [taylor]: Taking taylor expansion of z in a 13.405 * [backup-simplify]: Simplify z into z 13.405 * [taylor]: Taking taylor expansion of (- a t) in a 13.405 * [taylor]: Taking taylor expansion of a in a 13.405 * [backup-simplify]: Simplify 0 into 0 13.405 * [backup-simplify]: Simplify 1 into 1 13.405 * [taylor]: Taking taylor expansion of t in a 13.405 * [backup-simplify]: Simplify t into t 13.405 * [backup-simplify]: Simplify (- z) into (- z) 13.405 * [backup-simplify]: Simplify (+ t (- z)) into (- t z) 13.405 * [backup-simplify]: Simplify (- t) into (- t) 13.405 * [backup-simplify]: Simplify (+ 0 (- t)) into (- t) 13.405 * [backup-simplify]: Simplify (/ (- t z) (- t)) into (* -1 (/ (- t z) t)) 13.405 * [taylor]: Taking taylor expansion of y in a 13.405 * [backup-simplify]: Simplify y into y 13.405 * [taylor]: Taking taylor expansion of (+ x y) in a 13.405 * [taylor]: Taking taylor expansion of x in a 13.405 * [backup-simplify]: Simplify x into x 13.405 * [taylor]: Taking taylor expansion of y in a 13.405 * [backup-simplify]: Simplify y into y 13.405 * [taylor]: Taking taylor expansion of (fma (/ (- t z) (- a t)) y (+ x y)) in z 13.406 * [taylor]: Rewrote expression to (+ (* (/ (- t z) (- a t)) y) (+ x y)) 13.406 * [taylor]: Taking taylor expansion of (* (/ (- t z) (- a t)) y) in z 13.406 * [taylor]: Taking taylor expansion of (/ (- t z) (- a t)) in z 13.406 * [taylor]: Taking taylor expansion of (- t z) in z 13.406 * [taylor]: Taking taylor expansion of t in z 13.406 * [backup-simplify]: Simplify t into t 13.406 * [taylor]: Taking taylor expansion of z in z 13.406 * [backup-simplify]: Simplify 0 into 0 13.406 * [backup-simplify]: Simplify 1 into 1 13.406 * [taylor]: Taking taylor expansion of (- a t) in z 13.406 * [taylor]: Taking taylor expansion of a in z 13.406 * [backup-simplify]: Simplify a into a 13.406 * [taylor]: Taking taylor expansion of t in z 13.406 * [backup-simplify]: Simplify t into t 13.407 * [backup-simplify]: Simplify (- 0) into 0 13.407 * [backup-simplify]: Simplify (+ t 0) into t 13.407 * [backup-simplify]: Simplify (- t) into (- t) 13.407 * [backup-simplify]: Simplify (+ a (- t)) into (- a t) 13.407 * [backup-simplify]: Simplify (/ t (- a t)) into (/ t (- a t)) 13.407 * [taylor]: Taking taylor expansion of y in z 13.407 * [backup-simplify]: Simplify y into y 13.407 * [taylor]: Taking taylor expansion of (+ x y) in z 13.407 * [taylor]: Taking taylor expansion of x in z 13.407 * [backup-simplify]: Simplify x into x 13.407 * [taylor]: Taking taylor expansion of y in z 13.407 * [backup-simplify]: Simplify y into y 13.407 * [taylor]: Taking taylor expansion of (fma (/ (- t z) (- a t)) y (+ x y)) in t 13.408 * [taylor]: Rewrote expression to (+ (* (/ (- t z) (- a t)) y) (+ x y)) 13.408 * [taylor]: Taking taylor expansion of (* (/ (- t z) (- a t)) y) in t 13.408 * [taylor]: Taking taylor expansion of (/ (- t z) (- a t)) in t 13.408 * [taylor]: Taking taylor expansion of (- t z) in t 13.408 * [taylor]: Taking taylor expansion of t in t 13.408 * [backup-simplify]: Simplify 0 into 0 13.408 * [backup-simplify]: Simplify 1 into 1 13.408 * [taylor]: Taking taylor expansion of z in t 13.408 * [backup-simplify]: Simplify z into z 13.408 * [taylor]: Taking taylor expansion of (- a t) in t 13.408 * [taylor]: Taking taylor expansion of a in t 13.408 * [backup-simplify]: Simplify a into a 13.408 * [taylor]: Taking taylor expansion of t in t 13.408 * [backup-simplify]: Simplify 0 into 0 13.408 * [backup-simplify]: Simplify 1 into 1 13.408 * [backup-simplify]: Simplify (- z) into (- z) 13.408 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 13.409 * [backup-simplify]: Simplify (- 0) into 0 13.409 * [backup-simplify]: Simplify (+ a 0) into a 13.409 * [backup-simplify]: Simplify (/ (- z) a) into (* -1 (/ z a)) 13.409 * [taylor]: Taking taylor expansion of y in t 13.409 * [backup-simplify]: Simplify y into y 13.409 * [taylor]: Taking taylor expansion of (+ x y) in t 13.409 * [taylor]: Taking taylor expansion of x in t 13.409 * [backup-simplify]: Simplify x into x 13.409 * [taylor]: Taking taylor expansion of y in t 13.409 * [backup-simplify]: Simplify y into y 13.409 * [taylor]: Taking taylor expansion of (fma (/ (- t z) (- a t)) y (+ x y)) in t 13.410 * [taylor]: Rewrote expression to (+ (* (/ (- t z) (- a t)) y) (+ x y)) 13.410 * [taylor]: Taking taylor expansion of (* (/ (- t z) (- a t)) y) in t 13.410 * [taylor]: Taking taylor expansion of (/ (- t z) (- a t)) in t 13.410 * [taylor]: Taking taylor expansion of (- t z) in t 13.410 * [taylor]: Taking taylor expansion of t in t 13.410 * [backup-simplify]: Simplify 0 into 0 13.410 * [backup-simplify]: Simplify 1 into 1 13.410 * [taylor]: Taking taylor expansion of z in t 13.410 * [backup-simplify]: Simplify z into z 13.410 * [taylor]: Taking taylor expansion of (- a t) in t 13.410 * [taylor]: Taking taylor expansion of a in t 13.410 * [backup-simplify]: Simplify a into a 13.410 * [taylor]: Taking taylor expansion of t in t 13.410 * [backup-simplify]: Simplify 0 into 0 13.410 * [backup-simplify]: Simplify 1 into 1 13.410 * [backup-simplify]: Simplify (- z) into (- z) 13.410 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 13.411 * [backup-simplify]: Simplify (- 0) into 0 13.411 * [backup-simplify]: Simplify (+ a 0) into a 13.411 * [backup-simplify]: Simplify (/ (- z) a) into (* -1 (/ z a)) 13.411 * [taylor]: Taking taylor expansion of y in t 13.411 * [backup-simplify]: Simplify y into y 13.411 * [taylor]: Taking taylor expansion of (+ x y) in t 13.411 * [taylor]: Taking taylor expansion of x in t 13.411 * [backup-simplify]: Simplify x into x 13.411 * [taylor]: Taking taylor expansion of y in t 13.411 * [backup-simplify]: Simplify y into y 13.412 * [backup-simplify]: Simplify (* (* -1 (/ z a)) y) into (* -1 (/ (* z y) a)) 13.412 * [backup-simplify]: Simplify (+ x y) into (+ x y) 13.412 * [backup-simplify]: Simplify (+ (* -1 (/ (* z y) a)) (+ x y)) into (- (+ x y) (/ (* z y) a)) 13.412 * [taylor]: Taking taylor expansion of (- (+ x y) (/ (* z y) a)) in z 13.412 * [taylor]: Taking taylor expansion of (+ x y) in z 13.412 * [taylor]: Taking taylor expansion of x in z 13.412 * [backup-simplify]: Simplify x into x 13.412 * [taylor]: Taking taylor expansion of y in z 13.412 * [backup-simplify]: Simplify y into y 13.412 * [taylor]: Taking taylor expansion of (/ (* z y) a) in z 13.412 * [taylor]: Taking taylor expansion of (* z y) in z 13.412 * [taylor]: Taking taylor expansion of z in z 13.412 * [backup-simplify]: Simplify 0 into 0 13.412 * [backup-simplify]: Simplify 1 into 1 13.412 * [taylor]: Taking taylor expansion of y in z 13.412 * [backup-simplify]: Simplify y into y 13.412 * [taylor]: Taking taylor expansion of a in z 13.412 * [backup-simplify]: Simplify a into a 13.412 * [backup-simplify]: Simplify (* 0 y) into 0 13.413 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 13.413 * [backup-simplify]: Simplify (/ y a) into (/ y a) 13.413 * [backup-simplify]: Simplify (+ x y) into (+ x y) 13.413 * [backup-simplify]: Simplify (+ (+ x y) 0) into (+ x y) 13.413 * [taylor]: Taking taylor expansion of (+ x y) in a 13.413 * [taylor]: Taking taylor expansion of x in a 13.414 * [backup-simplify]: Simplify x into x 13.414 * [taylor]: Taking taylor expansion of y in a 13.414 * [backup-simplify]: Simplify y into y 13.414 * [backup-simplify]: Simplify (+ x y) into (+ x y) 13.414 * [taylor]: Taking taylor expansion of (+ x y) in y 13.414 * [taylor]: Taking taylor expansion of x in y 13.414 * [backup-simplify]: Simplify x into x 13.414 * [taylor]: Taking taylor expansion of y in y 13.414 * [backup-simplify]: Simplify 0 into 0 13.414 * [backup-simplify]: Simplify 1 into 1 13.414 * [backup-simplify]: Simplify (+ x 0) into x 13.414 * [taylor]: Taking taylor expansion of x in x 13.414 * [backup-simplify]: Simplify 0 into 0 13.414 * [backup-simplify]: Simplify 1 into 1 13.414 * [backup-simplify]: Simplify 0 into 0 13.415 * [backup-simplify]: Simplify (- 0) into 0 13.415 * [backup-simplify]: Simplify (+ 1 0) into 1 13.416 * [backup-simplify]: Simplify (- 1) into -1 13.416 * [backup-simplify]: Simplify (+ 0 -1) into -1