13.590 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.043 * * * [progress]: [2/2] Setting up program. 0.047 * [progress]: [Phase 2 of 3] Improving. 0.048 * [simplify]: Simplifying: (+ x (/ (* (- y z) t) (- a z))) 0.048 * * [simplify]: Extracting # 0 : cost 0 0.048 * * [simplify]: Extracting # 1 : cost 0 0.048 * * [simplify]: Extracting # 2 : cost 0 0.048 * * [simplify]: Extracting # 3 : cost 0 0.048 * * [simplify]: Extracting # 4 : cost 0 0.048 * * [simplify]: Extracting # 5 : cost 0 0.048 * * [simplify]: Extracting # 6 : cost 0 0.048 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 0.051 * * [simplify]: Extracting # 0 : cost 0 0.051 * * [simplify]: Extracting # 1 : cost 0 0.051 * * [simplify]: Extracting # 2 : cost 0 0.051 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 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 2 : 35 enodes (cost 11 ) 0.069 * * [simplify]: Extracting # 0 : cost 0 0.069 * * [simplify]: Extracting # 1 : cost 0 0.069 * * [simplify]: Extracting # 2 : cost 0 0.070 * * [simplify]: iteration 3 : 63 enodes (cost 10 ) 0.092 * * [simplify]: Extracting # 0 : cost 0 0.093 * * [simplify]: Extracting # 1 : cost 0 0.093 * * [simplify]: Extracting # 2 : cost 0 0.094 * * [simplify]: iteration 4 : 106 enodes (cost 10 ) 0.143 * * [simplify]: Extracting # 0 : cost 0 0.144 * * [simplify]: Extracting # 1 : cost 0 0.144 * * [simplify]: Extracting # 2 : cost 0 0.144 * * [simplify]: iteration 5 : 167 enodes (cost 10 ) 0.207 * * [simplify]: Extracting # 0 : cost 0 0.208 * * [simplify]: Extracting # 1 : cost 0 0.208 * * [simplify]: Extracting # 2 : cost 0 0.209 * * [simplify]: iteration 6 : 222 enodes (cost 10 ) 0.287 * * [simplify]: Extracting # 0 : cost 0 0.288 * * [simplify]: Extracting # 1 : cost 0 0.288 * * [simplify]: Extracting # 2 : cost 0 0.288 * * [simplify]: iteration 7 : 255 enodes (cost 10 ) 0.355 * * [simplify]: Extracting # 0 : cost 0 0.356 * * [simplify]: Extracting # 1 : cost 0 0.356 * * [simplify]: Extracting # 2 : cost 0 0.357 * * [simplify]: Extracting # 3 : cost 0 0.357 * * [simplify]: iteration 8 : 289 enodes (cost 10 ) 0.469 * * [simplify]: Extracting # 0 : cost 0 0.469 * * [simplify]: Extracting # 1 : cost 0 0.470 * * [simplify]: Extracting # 2 : cost 0 0.471 * * [simplify]: iteration 9 : 338 enodes (cost 10 ) 0.646 * * [simplify]: Extracting # 0 : cost 0 0.647 * * [simplify]: Extracting # 1 : cost 0 0.648 * * [simplify]: Extracting # 2 : cost 0 0.649 * * [simplify]: iteration 10 : 450 enodes (cost 10 ) 0.861 * * [simplify]: Extracting # 0 : cost 0 0.861 * * [simplify]: Extracting # 1 : cost 0 0.862 * * [simplify]: Extracting # 2 : cost 0 0.862 * * [simplify]: iteration 11 : 570 enodes (cost 10 ) 1.085 * * [simplify]: Extracting # 0 : cost 0 1.086 * * [simplify]: Extracting # 1 : cost 0 1.087 * * [simplify]: Extracting # 2 : cost 0 1.088 * * [simplify]: iteration 12 : 624 enodes (cost 10 ) 1.347 * * [simplify]: Extracting # 0 : cost 0 1.348 * * [simplify]: Extracting # 1 : cost 0 1.349 * * [simplify]: Extracting # 2 : cost 0 1.349 * * [simplify]: iteration 13 : 636 enodes (cost 10 ) 1.566 * * [simplify]: Extracting # 0 : cost 0 1.567 * * [simplify]: iteration 14 : 638 enodes (cost 10 ) 1.887 * * [simplify]: Extracting # 0 : cost 0 1.888 * * [simplify]: iteration done: 638 enodes (cost 10 ) 1.888 * [simplify]: Simplified to: (fma (/ (- y z) (- a z)) t x) 1.895 * * [progress]: iteration 1 / 4 1.895 * * * [progress]: picking best candidate 1.903 * * * * [pick]: Picked # 1.903 * * * [progress]: localizing error 1.929 * * * [progress]: generating rewritten candidates 1.929 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.929 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 1.957 * * * [progress]: generating series expansions 1.957 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.957 * [backup-simplify]: Simplify (fma (/ (- y z) (- a z)) t x) into (fma (/ (- y z) (- a z)) t x) 1.957 * [approximate]: Taking taylor expansion of (fma (/ (- y z) (- a z)) t x) in (y z a t x) around 0 1.957 * [taylor]: Taking taylor expansion of (fma (/ (- y z) (- a z)) t x) in x 1.958 * [taylor]: Rewrote expression to (+ (* (/ (- y z) (- a z)) t) x) 1.958 * [taylor]: Taking taylor expansion of (* (/ (- y z) (- a z)) t) in x 1.958 * [taylor]: Taking taylor expansion of (/ (- y z) (- a z)) in x 1.958 * [taylor]: Taking taylor expansion of (- y z) in x 1.958 * [taylor]: Taking taylor expansion of y in x 1.958 * [backup-simplify]: Simplify y into y 1.958 * [taylor]: Taking taylor expansion of z in x 1.958 * [backup-simplify]: Simplify z into z 1.958 * [taylor]: Taking taylor expansion of (- a z) in x 1.958 * [taylor]: Taking taylor expansion of a in x 1.958 * [backup-simplify]: Simplify a into a 1.958 * [taylor]: Taking taylor expansion of z in x 1.958 * [backup-simplify]: Simplify z into z 1.958 * [backup-simplify]: Simplify (- z) into (- z) 1.958 * [backup-simplify]: Simplify (+ y (- z)) into (- y z) 1.958 * [backup-simplify]: Simplify (- z) into (- z) 1.958 * [backup-simplify]: Simplify (+ a (- z)) into (- a z) 1.958 * [backup-simplify]: Simplify (/ (- y z) (- a z)) into (/ (- y z) (- a z)) 1.958 * [taylor]: Taking taylor expansion of t in x 1.958 * [backup-simplify]: Simplify t into t 1.958 * [taylor]: Taking taylor expansion of x in x 1.958 * [backup-simplify]: Simplify 0 into 0 1.958 * [backup-simplify]: Simplify 1 into 1 1.958 * [taylor]: Taking taylor expansion of (fma (/ (- y z) (- a z)) t x) in t 1.958 * [taylor]: Rewrote expression to (+ (* (/ (- y z) (- a z)) t) x) 1.958 * [taylor]: Taking taylor expansion of (* (/ (- y z) (- a z)) t) in t 1.958 * [taylor]: Taking taylor expansion of (/ (- y z) (- a z)) in t 1.958 * [taylor]: Taking taylor expansion of (- y z) in t 1.958 * [taylor]: Taking taylor expansion of y in t 1.958 * [backup-simplify]: Simplify y into y 1.958 * [taylor]: Taking taylor expansion of z in t 1.958 * [backup-simplify]: Simplify z into z 1.958 * [taylor]: Taking taylor expansion of (- a z) in t 1.958 * [taylor]: Taking taylor expansion of a in t 1.958 * [backup-simplify]: Simplify a into a 1.958 * [taylor]: Taking taylor expansion of z in t 1.958 * [backup-simplify]: Simplify z into z 1.958 * [backup-simplify]: Simplify (- z) into (- z) 1.958 * [backup-simplify]: Simplify (+ y (- z)) into (- y z) 1.958 * [backup-simplify]: Simplify (- z) into (- z) 1.958 * [backup-simplify]: Simplify (+ a (- z)) into (- a z) 1.959 * [backup-simplify]: Simplify (/ (- y z) (- a z)) into (/ (- y z) (- a z)) 1.959 * [taylor]: Taking taylor expansion of t in t 1.959 * [backup-simplify]: Simplify 0 into 0 1.959 * [backup-simplify]: Simplify 1 into 1 1.959 * [taylor]: Taking taylor expansion of x in t 1.959 * [backup-simplify]: Simplify x into x 1.959 * [taylor]: Taking taylor expansion of (fma (/ (- y z) (- a z)) t x) in a 1.959 * [taylor]: Rewrote expression to (+ (* (/ (- y z) (- a z)) t) x) 1.959 * [taylor]: Taking taylor expansion of (* (/ (- y z) (- a z)) t) in a 1.959 * [taylor]: Taking taylor expansion of (/ (- y z) (- a z)) in a 1.959 * [taylor]: Taking taylor expansion of (- y z) in a 1.959 * [taylor]: Taking taylor expansion of y in a 1.959 * [backup-simplify]: Simplify y into y 1.959 * [taylor]: Taking taylor expansion of z in a 1.959 * [backup-simplify]: Simplify z into z 1.959 * [taylor]: Taking taylor expansion of (- a z) in a 1.959 * [taylor]: Taking taylor expansion of a in a 1.959 * [backup-simplify]: Simplify 0 into 0 1.959 * [backup-simplify]: Simplify 1 into 1 1.959 * [taylor]: Taking taylor expansion of z in a 1.959 * [backup-simplify]: Simplify z into z 1.959 * [backup-simplify]: Simplify (- z) into (- z) 1.959 * [backup-simplify]: Simplify (+ y (- z)) into (- y z) 1.959 * [backup-simplify]: Simplify (- z) into (- z) 1.959 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 1.959 * [backup-simplify]: Simplify (/ (- y z) (- z)) into (* -1 (/ (- y z) z)) 1.959 * [taylor]: Taking taylor expansion of t in a 1.959 * [backup-simplify]: Simplify t into t 1.959 * [taylor]: Taking taylor expansion of x in a 1.959 * [backup-simplify]: Simplify x into x 1.959 * [taylor]: Taking taylor expansion of (fma (/ (- y z) (- a z)) t x) in z 1.959 * [taylor]: Rewrote expression to (+ (* (/ (- y z) (- a z)) t) x) 1.959 * [taylor]: Taking taylor expansion of (* (/ (- y z) (- a z)) t) in z 1.959 * [taylor]: Taking taylor expansion of (/ (- y z) (- a z)) in z 1.959 * [taylor]: Taking taylor expansion of (- y z) in z 1.959 * [taylor]: Taking taylor expansion of y in z 1.959 * [backup-simplify]: Simplify y into y 1.959 * [taylor]: Taking taylor expansion of z in z 1.959 * [backup-simplify]: Simplify 0 into 0 1.960 * [backup-simplify]: Simplify 1 into 1 1.960 * [taylor]: Taking taylor expansion of (- a z) in z 1.960 * [taylor]: Taking taylor expansion of a in z 1.960 * [backup-simplify]: Simplify a into a 1.960 * [taylor]: Taking taylor expansion of z in z 1.960 * [backup-simplify]: Simplify 0 into 0 1.960 * [backup-simplify]: Simplify 1 into 1 1.960 * [backup-simplify]: Simplify (- 0) into 0 1.960 * [backup-simplify]: Simplify (+ y 0) into y 1.961 * [backup-simplify]: Simplify (- 0) into 0 1.961 * [backup-simplify]: Simplify (+ a 0) into a 1.961 * [backup-simplify]: Simplify (/ y a) into (/ y a) 1.961 * [taylor]: Taking taylor expansion of t in z 1.961 * [backup-simplify]: Simplify t into t 1.961 * [taylor]: Taking taylor expansion of x in z 1.961 * [backup-simplify]: Simplify x into x 1.961 * [taylor]: Taking taylor expansion of (fma (/ (- y z) (- a z)) t x) in y 1.961 * [taylor]: Rewrote expression to (+ (* (/ (- y z) (- a z)) t) x) 1.961 * [taylor]: Taking taylor expansion of (* (/ (- y z) (- a z)) t) in y 1.961 * [taylor]: Taking taylor expansion of (/ (- y z) (- a z)) in y 1.961 * [taylor]: Taking taylor expansion of (- y z) in y 1.961 * [taylor]: Taking taylor expansion of y in y 1.961 * [backup-simplify]: Simplify 0 into 0 1.961 * [backup-simplify]: Simplify 1 into 1 1.961 * [taylor]: Taking taylor expansion of z in y 1.961 * [backup-simplify]: Simplify z into z 1.961 * [taylor]: Taking taylor expansion of (- a z) in y 1.961 * [taylor]: Taking taylor expansion of a in y 1.961 * [backup-simplify]: Simplify a into a 1.961 * [taylor]: Taking taylor expansion of z in y 1.961 * [backup-simplify]: Simplify z into z 1.961 * [backup-simplify]: Simplify (- z) into (- z) 1.961 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 1.961 * [backup-simplify]: Simplify (- z) into (- z) 1.961 * [backup-simplify]: Simplify (+ a (- z)) into (- a z) 1.961 * [backup-simplify]: Simplify (/ (- z) (- a z)) into (* -1 (/ z (- a z))) 1.961 * [taylor]: Taking taylor expansion of t in y 1.961 * [backup-simplify]: Simplify t into t 1.961 * [taylor]: Taking taylor expansion of x in y 1.961 * [backup-simplify]: Simplify x into x 1.961 * [taylor]: Taking taylor expansion of (fma (/ (- y z) (- a z)) t x) in y 1.962 * [taylor]: Rewrote expression to (+ (* (/ (- y z) (- a z)) t) x) 1.962 * [taylor]: Taking taylor expansion of (* (/ (- y z) (- a z)) t) in y 1.962 * [taylor]: Taking taylor expansion of (/ (- y z) (- a z)) in y 1.962 * [taylor]: Taking taylor expansion of (- y z) in y 1.962 * [taylor]: Taking taylor expansion of y in y 1.962 * [backup-simplify]: Simplify 0 into 0 1.962 * [backup-simplify]: Simplify 1 into 1 1.962 * [taylor]: Taking taylor expansion of z in y 1.962 * [backup-simplify]: Simplify z into z 1.962 * [taylor]: Taking taylor expansion of (- a z) in y 1.962 * [taylor]: Taking taylor expansion of a in y 1.962 * [backup-simplify]: Simplify a into a 1.962 * [taylor]: Taking taylor expansion of z in y 1.962 * [backup-simplify]: Simplify z into z 1.962 * [backup-simplify]: Simplify (- z) into (- z) 1.962 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 1.962 * [backup-simplify]: Simplify (- z) into (- z) 1.962 * [backup-simplify]: Simplify (+ a (- z)) into (- a z) 1.962 * [backup-simplify]: Simplify (/ (- z) (- a z)) into (* -1 (/ z (- a z))) 1.962 * [taylor]: Taking taylor expansion of t in y 1.962 * [backup-simplify]: Simplify t into t 1.962 * [taylor]: Taking taylor expansion of x in y 1.962 * [backup-simplify]: Simplify x into x 1.962 * [backup-simplify]: Simplify (* (* -1 (/ z (- a z))) t) into (* -1 (/ (* t z) (- a z))) 1.962 * [backup-simplify]: Simplify (+ (* -1 (/ (* t z) (- a z))) x) into (- x (/ (* t z) (- a z))) 1.962 * [taylor]: Taking taylor expansion of (- x (/ (* t z) (- a z))) in z 1.962 * [taylor]: Taking taylor expansion of x in z 1.962 * [backup-simplify]: Simplify x into x 1.962 * [taylor]: Taking taylor expansion of (/ (* t z) (- a z)) in z 1.962 * [taylor]: Taking taylor expansion of (* t z) in z 1.962 * [taylor]: Taking taylor expansion of t in z 1.962 * [backup-simplify]: Simplify t into t 1.962 * [taylor]: Taking taylor expansion of z in z 1.963 * [backup-simplify]: Simplify 0 into 0 1.963 * [backup-simplify]: Simplify 1 into 1 1.963 * [taylor]: Taking taylor expansion of (- a z) in z 1.963 * [taylor]: Taking taylor expansion of a in z 1.963 * [backup-simplify]: Simplify a into a 1.963 * [taylor]: Taking taylor expansion of z in z 1.963 * [backup-simplify]: Simplify 0 into 0 1.963 * [backup-simplify]: Simplify 1 into 1 1.963 * [backup-simplify]: Simplify (* t 0) into 0 1.963 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t 1.964 * [backup-simplify]: Simplify (- 0) into 0 1.964 * [backup-simplify]: Simplify (+ a 0) into a 1.964 * [backup-simplify]: Simplify (/ t a) into (/ t a) 1.964 * [backup-simplify]: Simplify (+ x 0) into x 1.964 * [taylor]: Taking taylor expansion of x in a 1.964 * [backup-simplify]: Simplify x into x 1.964 * [taylor]: Taking taylor expansion of x in t 1.964 * [backup-simplify]: Simplify x into x 1.964 * [taylor]: Taking taylor expansion of x in x 1.964 * [backup-simplify]: Simplify 0 into 0 1.964 * [backup-simplify]: Simplify 1 into 1 1.964 * [backup-simplify]: Simplify 0 into 0 1.964 * [backup-simplify]: Simplify (- 0) into 0 1.964 * [backup-simplify]: Simplify (+ 1 0) into 1 1.965 * [backup-simplify]: Simplify (- 0) into 0 1.965 * [backup-simplify]: Simplify (+ 0 0) into 0 1.965 * [backup-simplify]: Simplify (- (/ 1 (- a z)) (+ (* (* -1 (/ z (- a z))) (/ 0 (- a z))))) into (/ 1 (- a z)) 1.965 * [backup-simplify]: Simplify (+ (* (* -1 (/ z (- a z))) 0) (* (/ 1 (- a z)) t)) into (/ t (- a z)) 1.965 * [backup-simplify]: Simplify (+ (/ t (- a z)) 0) into (/ t (- a z)) 1.965 * [taylor]: Taking taylor expansion of (/ t (- a z)) in z 1.966 * [taylor]: Taking taylor expansion of t in z 1.966 * [backup-simplify]: Simplify t into t 1.966 * [taylor]: Taking taylor expansion of (- a z) in z 1.966 * [taylor]: Taking taylor expansion of a in z 1.966 * [backup-simplify]: Simplify a into a 1.966 * [taylor]: Taking taylor expansion of z in z 1.966 * [backup-simplify]: Simplify 0 into 0 1.966 * [backup-simplify]: Simplify 1 into 1 1.966 * [backup-simplify]: Simplify (- 0) into 0 1.966 * [backup-simplify]: Simplify (+ a 0) into a 1.966 * [backup-simplify]: Simplify (/ t a) into (/ t a) 1.966 * [taylor]: Taking taylor expansion of (/ t a) in a 1.966 * [taylor]: Taking taylor expansion of t in a 1.966 * [backup-simplify]: Simplify t into t 1.966 * [taylor]: Taking taylor expansion of a in a 1.966 * [backup-simplify]: Simplify 0 into 0 1.966 * [backup-simplify]: Simplify 1 into 1 1.966 * [backup-simplify]: Simplify (/ t 1) into t 1.967 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0 1.967 * [taylor]: Taking taylor expansion of 0 in t 1.967 * [backup-simplify]: Simplify 0 into 0 1.967 * [taylor]: Taking taylor expansion of 0 in x 1.967 * [backup-simplify]: Simplify 0 into 0 1.967 * [backup-simplify]: Simplify 0 into 0 1.967 * [backup-simplify]: Simplify (- (/ t a)) into (- (/ t a)) 1.967 * [backup-simplify]: Simplify (+ 0 (- (/ t a))) into (- (/ t a)) 1.967 * [taylor]: Taking taylor expansion of (- (/ t a)) in a 1.967 * [taylor]: Taking taylor expansion of (/ t a) in a 1.967 * [taylor]: Taking taylor expansion of t in a 1.967 * [backup-simplify]: Simplify t into t 1.967 * [taylor]: Taking taylor expansion of a in a 1.967 * [backup-simplify]: Simplify 0 into 0 1.967 * [backup-simplify]: Simplify 1 into 1 1.967 * [backup-simplify]: Simplify (/ t 1) into t 1.968 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0 1.968 * [backup-simplify]: Simplify (- 0) into 0 1.968 * [taylor]: Taking taylor expansion of 0 in t 1.968 * [backup-simplify]: Simplify 0 into 0 1.968 * [taylor]: Taking taylor expansion of 0 in x 1.968 * [backup-simplify]: Simplify 0 into 0 1.968 * [backup-simplify]: Simplify 0 into 0 1.968 * [taylor]: Taking taylor expansion of 0 in t 1.968 * [backup-simplify]: Simplify 0 into 0 1.968 * [taylor]: Taking taylor expansion of 0 in x 1.968 * [backup-simplify]: Simplify 0 into 0 1.968 * [backup-simplify]: Simplify 0 into 0 1.968 * [taylor]: Taking taylor expansion of 0 in x 1.968 * [backup-simplify]: Simplify 0 into 0 1.969 * [backup-simplify]: Simplify 0 into 0 1.969 * [backup-simplify]: Simplify 1 into 1 1.969 * [backup-simplify]: Simplify (- 0) into 0 1.969 * [backup-simplify]: Simplify (+ 0 0) into 0 1.969 * [backup-simplify]: Simplify (- 0) into 0 1.970 * [backup-simplify]: Simplify (+ 0 0) into 0 1.970 * [backup-simplify]: Simplify (- (/ 0 (- a z)) (+ (* (* -1 (/ z (- a z))) (/ 0 (- a z))) (* (/ 1 (- a z)) (/ 0 (- a z))))) into 0 1.970 * [backup-simplify]: Simplify (+ (* (* -1 (/ z (- a z))) 0) (+ (* (/ 1 (- a z)) 0) (* 0 t))) into 0 1.970 * [backup-simplify]: Simplify (+ 0 0) into 0 1.970 * [taylor]: Taking taylor expansion of 0 in z 1.971 * [backup-simplify]: Simplify 0 into 0 1.971 * [taylor]: Taking taylor expansion of 0 in a 1.971 * [backup-simplify]: Simplify 0 into 0 1.971 * [taylor]: Taking taylor expansion of 0 in t 1.971 * [backup-simplify]: Simplify 0 into 0 1.971 * [taylor]: Taking taylor expansion of 0 in x 1.971 * [backup-simplify]: Simplify 0 into 0 1.971 * [backup-simplify]: Simplify 0 into 0 1.971 * [backup-simplify]: Simplify (- 1) into -1 1.971 * [backup-simplify]: Simplify (+ 0 -1) into -1