33.308 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.018 * * * [progress]: [2/2] Setting up program. 0.022 * [progress]: [Phase 2 of 3] Improving. 0.022 * [simplify]: Simplifying: (+ (* x y) (* (- 1.0 x) z)) 0.022 * * [simplify]: iteration 0: 8 enodes 0.023 * * [simplify]: iteration 1: 14 enodes 0.025 * * [simplify]: iteration 2: 24 enodes 0.028 * * [simplify]: iteration 3: 40 enodes 0.032 * * [simplify]: iteration 4: 70 enodes 0.041 * * [simplify]: iteration 5: 103 enodes 0.051 * * [simplify]: iteration 6: 121 enodes 0.068 * * [simplify]: iteration 7: 147 enodes 0.095 * * [simplify]: iteration 8: 199 enodes 0.175 * * [simplify]: iteration 9: 486 enodes 0.406 * * [simplify]: iteration 10: 2087 enodes 3.325 * * [simplify]: iteration complete: 5001 enodes 3.325 * * [simplify]: Extracting #0: cost 1 inf + 0 3.326 * * [simplify]: Extracting #1: cost 250 inf + 0 3.336 * * [simplify]: Extracting #2: cost 771 inf + 6597 3.355 * * [simplify]: Extracting #3: cost 82 inf + 54045 3.393 * * [simplify]: Extracting #4: cost 0 inf + 61473 3.438 * * [simplify]: Extracting #5: cost 0 inf + 61418 3.483 * [simplify]: Simplified to: (fma x y (* z (- 1.0 x))) 3.492 * * [progress]: iteration 1 / 4 3.492 * * * [progress]: picking best candidate 3.500 * * * * [pick]: Picked # 3.500 * * * [progress]: localizing error 3.517 * * * [progress]: generating rewritten candidates 3.517 * * * * [progress]: [ 1 / 1 ] rewriting at (2 3) 3.546 * * * [progress]: generating series expansions 3.546 * * * * [progress]: [ 1 / 1 ] generating series at (2 3) 3.546 * [backup-simplify]: Simplify (* z (- 1.0 x)) into (* z (- 1.0 x)) 3.546 * [approximate]: Taking taylor expansion of (* z (- 1.0 x)) in (z x) around 0 3.546 * [taylor]: Taking taylor expansion of (* z (- 1.0 x)) in x 3.546 * [taylor]: Taking taylor expansion of z in x 3.546 * [backup-simplify]: Simplify z into z 3.546 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 3.546 * [taylor]: Taking taylor expansion of 1.0 in x 3.546 * [backup-simplify]: Simplify 1.0 into 1.0 3.546 * [taylor]: Taking taylor expansion of x in x 3.546 * [backup-simplify]: Simplify 0 into 0 3.546 * [backup-simplify]: Simplify 1 into 1 3.546 * [taylor]: Taking taylor expansion of (* z (- 1.0 x)) in z 3.546 * [taylor]: Taking taylor expansion of z in z 3.546 * [backup-simplify]: Simplify 0 into 0 3.546 * [backup-simplify]: Simplify 1 into 1 3.546 * [taylor]: Taking taylor expansion of (- 1.0 x) in z 3.546 * [taylor]: Taking taylor expansion of 1.0 in z 3.547 * [backup-simplify]: Simplify 1.0 into 1.0 3.547 * [taylor]: Taking taylor expansion of x in z 3.547 * [backup-simplify]: Simplify x into x 3.547 * [taylor]: Taking taylor expansion of (* z (- 1.0 x)) in z 3.547 * [taylor]: Taking taylor expansion of z in z 3.547 * [backup-simplify]: Simplify 0 into 0 3.547 * [backup-simplify]: Simplify 1 into 1 3.547 * [taylor]: Taking taylor expansion of (- 1.0 x) in z 3.547 * [taylor]: Taking taylor expansion of 1.0 in z 3.547 * [backup-simplify]: Simplify 1.0 into 1.0 3.547 * [taylor]: Taking taylor expansion of x in z 3.547 * [backup-simplify]: Simplify x into x 3.547 * [backup-simplify]: Simplify (- x) into (- x) 3.547 * [backup-simplify]: Simplify (+ 1.0 (- x)) into (- 1.0 x) 3.547 * [backup-simplify]: Simplify (* 0 (- 1.0 x)) into 0 3.547 * [taylor]: Taking taylor expansion of 0 in x 3.547 * [backup-simplify]: Simplify 0 into 0 3.547 * [backup-simplify]: Simplify 0 into 0 3.547 * [backup-simplify]: Simplify (- 0) into 0 3.548 * [backup-simplify]: Simplify (+ 0 0) into 0 3.548 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- 1.0 x))) into (- 1.0 x) 3.548 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 3.548 * [taylor]: Taking taylor expansion of 1.0 in x 3.548 * [backup-simplify]: Simplify 1.0 into 1.0 3.548 * [taylor]: Taking taylor expansion of x in x 3.548 * [backup-simplify]: Simplify 0 into 0 3.548 * [backup-simplify]: Simplify 1 into 1 3.548 * [backup-simplify]: Simplify (- 0) into 0 3.549 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.549 * [backup-simplify]: Simplify 1.0 into 1.0 3.549 * [backup-simplify]: Simplify 0 into 0 3.549 * [backup-simplify]: Simplify (- 0) into 0 3.549 * [backup-simplify]: Simplify (+ 0 0) into 0 3.550 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- 1.0 x)))) into 0 3.550 * [taylor]: Taking taylor expansion of 0 in x 3.550 * [backup-simplify]: Simplify 0 into 0 3.550 * [backup-simplify]: Simplify 0 into 0 3.550 * [backup-simplify]: Simplify (- 1) into -1 3.550 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.550 * [backup-simplify]: Simplify -1 into -1 3.551 * [backup-simplify]: Simplify 0 into 0 3.551 * [backup-simplify]: Simplify (- 0) into 0 3.551 * [backup-simplify]: Simplify (+ 0 0) into 0 3.552 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- 1.0 x))))) into 0 3.552 * [taylor]: Taking taylor expansion of 0 in x 3.552 * [backup-simplify]: Simplify 0 into 0 3.552 * [backup-simplify]: Simplify 0 into 0 3.552 * [backup-simplify]: Simplify 0 into 0 3.552 * [backup-simplify]: Simplify (- 0) into 0 3.552 * [backup-simplify]: Simplify (+ 0 0) into 0 3.552 * [backup-simplify]: Simplify 0 into 0 3.552 * [backup-simplify]: Simplify 0 into 0 3.553 * [backup-simplify]: Simplify (- 0) into 0 3.553 * [backup-simplify]: Simplify (+ 0 0) into 0 3.554 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- 1.0 x)))))) into 0 3.554 * [taylor]: Taking taylor expansion of 0 in x 3.554 * [backup-simplify]: Simplify 0 into 0 3.554 * [backup-simplify]: Simplify 0 into 0 3.554 * [backup-simplify]: Simplify (+ (* -1 (* x z)) (* 1.0 (* 1 z))) into (- (* 1.0 z) (* x z)) 3.554 * [backup-simplify]: Simplify (* (/ 1 z) (- 1.0 (/ 1 x))) into (/ (- 1.0 (/ 1 x)) z) 3.554 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in (z x) around 0 3.554 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in x 3.554 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 3.554 * [taylor]: Taking taylor expansion of 1.0 in x 3.554 * [backup-simplify]: Simplify 1.0 into 1.0 3.554 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.554 * [taylor]: Taking taylor expansion of x in x 3.554 * [backup-simplify]: Simplify 0 into 0 3.554 * [backup-simplify]: Simplify 1 into 1 3.555 * [backup-simplify]: Simplify (/ 1 1) into 1 3.555 * [taylor]: Taking taylor expansion of z in x 3.555 * [backup-simplify]: Simplify z into z 3.555 * [backup-simplify]: Simplify (- 1) into -1 3.555 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.555 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 3.555 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in z 3.555 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in z 3.555 * [taylor]: Taking taylor expansion of 1.0 in z 3.555 * [backup-simplify]: Simplify 1.0 into 1.0 3.555 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.555 * [taylor]: Taking taylor expansion of x in z 3.555 * [backup-simplify]: Simplify x into x 3.555 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.556 * [taylor]: Taking taylor expansion of z in z 3.556 * [backup-simplify]: Simplify 0 into 0 3.556 * [backup-simplify]: Simplify 1 into 1 3.556 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 3.556 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x)) 3.556 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 x)) 1) into (- 1.0 (/ 1 x)) 3.556 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in z 3.556 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in z 3.556 * [taylor]: Taking taylor expansion of 1.0 in z 3.556 * [backup-simplify]: Simplify 1.0 into 1.0 3.556 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.556 * [taylor]: Taking taylor expansion of x in z 3.556 * [backup-simplify]: Simplify x into x 3.556 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.556 * [taylor]: Taking taylor expansion of z in z 3.556 * [backup-simplify]: Simplify 0 into 0 3.556 * [backup-simplify]: Simplify 1 into 1 3.556 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 3.556 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x)) 3.556 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 x)) 1) into (- 1.0 (/ 1 x)) 3.556 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 3.556 * [taylor]: Taking taylor expansion of 1.0 in x 3.556 * [backup-simplify]: Simplify 1.0 into 1.0 3.556 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.556 * [taylor]: Taking taylor expansion of x in x 3.556 * [backup-simplify]: Simplify 0 into 0 3.556 * [backup-simplify]: Simplify 1 into 1 3.557 * [backup-simplify]: Simplify (/ 1 1) into 1 3.557 * [backup-simplify]: Simplify (- 1) into -1 3.557 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.557 * [backup-simplify]: Simplify -1 into -1 3.557 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.557 * [backup-simplify]: Simplify (- 0) into 0 3.558 * [backup-simplify]: Simplify (+ 0 0) into 0 3.558 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 1.0 (/ 1 x)) (/ 0 1)))) into 0 3.558 * [taylor]: Taking taylor expansion of 0 in x 3.558 * [backup-simplify]: Simplify 0 into 0 3.559 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.559 * [backup-simplify]: Simplify (- 0) into 0 3.560 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.560 * [backup-simplify]: Simplify 1.0 into 1.0 3.560 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.560 * [backup-simplify]: Simplify (- 0) into 0 3.561 * [backup-simplify]: Simplify (+ 0 0) into 0 3.562 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 1.0 (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.562 * [taylor]: Taking taylor expansion of 0 in x 3.562 * [backup-simplify]: Simplify 0 into 0 3.562 * [backup-simplify]: Simplify 0 into 0 3.563 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.563 * [backup-simplify]: Simplify (- 0) into 0 3.563 * [backup-simplify]: Simplify (+ 0 0) into 0 3.563 * [backup-simplify]: Simplify 0 into 0 3.564 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.564 * [backup-simplify]: Simplify (- 0) into 0 3.564 * [backup-simplify]: Simplify (+ 0 0) into 0 3.566 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 1.0 (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.566 * [taylor]: Taking taylor expansion of 0 in x 3.566 * [backup-simplify]: Simplify 0 into 0 3.566 * [backup-simplify]: Simplify 0 into 0 3.566 * [backup-simplify]: Simplify 0 into 0 3.567 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.567 * [backup-simplify]: Simplify (- 0) into 0 3.567 * [backup-simplify]: Simplify (+ 0 0) into 0 3.567 * [backup-simplify]: Simplify 0 into 0 3.568 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.568 * [backup-simplify]: Simplify (- 0) into 0 3.568 * [backup-simplify]: Simplify (+ 0 0) into 0 3.570 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 1.0 (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.571 * [taylor]: Taking taylor expansion of 0 in x 3.571 * [backup-simplify]: Simplify 0 into 0 3.571 * [backup-simplify]: Simplify 0 into 0 3.571 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (/ 1 (/ 1 z)))) (* -1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 z))))) into (- (* 1.0 z) (* x z)) 3.571 * [backup-simplify]: Simplify (* (/ 1 (- z)) (- 1.0 (/ 1 (- x)))) into (* -1 (/ (+ (/ 1 x) 1.0) z)) 3.571 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in (z x) around 0 3.571 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in x 3.571 * [taylor]: Taking taylor expansion of -1 in x 3.571 * [backup-simplify]: Simplify -1 into -1 3.571 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) z) in x 3.571 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 3.571 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.571 * [taylor]: Taking taylor expansion of x in x 3.571 * [backup-simplify]: Simplify 0 into 0 3.571 * [backup-simplify]: Simplify 1 into 1 3.572 * [backup-simplify]: Simplify (/ 1 1) into 1 3.572 * [taylor]: Taking taylor expansion of 1.0 in x 3.572 * [backup-simplify]: Simplify 1.0 into 1.0 3.572 * [taylor]: Taking taylor expansion of z in x 3.572 * [backup-simplify]: Simplify z into z 3.572 * [backup-simplify]: Simplify (+ 1 0) into 1 3.572 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.572 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in z 3.572 * [taylor]: Taking taylor expansion of -1 in z 3.572 * [backup-simplify]: Simplify -1 into -1 3.572 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) z) in z 3.572 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in z 3.572 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.572 * [taylor]: Taking taylor expansion of x in z 3.572 * [backup-simplify]: Simplify x into x 3.572 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.573 * [taylor]: Taking taylor expansion of 1.0 in z 3.573 * [backup-simplify]: Simplify 1.0 into 1.0 3.573 * [taylor]: Taking taylor expansion of z in z 3.573 * [backup-simplify]: Simplify 0 into 0 3.573 * [backup-simplify]: Simplify 1 into 1 3.573 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ (/ 1 x) 1.0) 3.573 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 1.0) 1) into (+ (/ 1 x) 1.0) 3.573 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in z 3.573 * [taylor]: Taking taylor expansion of -1 in z 3.573 * [backup-simplify]: Simplify -1 into -1 3.573 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) z) in z 3.573 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in z 3.573 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.573 * [taylor]: Taking taylor expansion of x in z 3.573 * [backup-simplify]: Simplify x into x 3.573 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.573 * [taylor]: Taking taylor expansion of 1.0 in z 3.573 * [backup-simplify]: Simplify 1.0 into 1.0 3.573 * [taylor]: Taking taylor expansion of z in z 3.573 * [backup-simplify]: Simplify 0 into 0 3.573 * [backup-simplify]: Simplify 1 into 1 3.573 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ (/ 1 x) 1.0) 3.573 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 1.0) 1) into (+ (/ 1 x) 1.0) 3.574 * [backup-simplify]: Simplify (* -1 (+ (/ 1 x) 1.0)) into (* -1 (+ (/ 1 x) 1.0)) 3.574 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 x) 1.0)) in x 3.574 * [taylor]: Taking taylor expansion of -1 in x 3.574 * [backup-simplify]: Simplify -1 into -1 3.574 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 3.574 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.574 * [taylor]: Taking taylor expansion of x in x 3.574 * [backup-simplify]: Simplify 0 into 0 3.574 * [backup-simplify]: Simplify 1 into 1 3.574 * [backup-simplify]: Simplify (/ 1 1) into 1 3.574 * [taylor]: Taking taylor expansion of 1.0 in x 3.574 * [backup-simplify]: Simplify 1.0 into 1.0 3.575 * [backup-simplify]: Simplify (+ 1 0) into 1 3.575 * [backup-simplify]: Simplify (* -1 1) into -1 3.575 * [backup-simplify]: Simplify -1 into -1 3.575 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.575 * [backup-simplify]: Simplify (+ 0 0) into 0 3.576 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 x) 1.0) (/ 0 1)))) into 0 3.577 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (+ (/ 1 x) 1.0))) into 0 3.577 * [taylor]: Taking taylor expansion of 0 in x 3.577 * [backup-simplify]: Simplify 0 into 0 3.577 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.578 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.579 * [backup-simplify]: Simplify (+ (* -1 1.0) (* 0 1)) into (- 1.0) 3.580 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.580 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.580 * [backup-simplify]: Simplify (+ 0 0) into 0 3.581 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 x) 1.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.582 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (+ (/ 1 x) 1.0)))) into 0 3.582 * [taylor]: Taking taylor expansion of 0 in x 3.582 * [backup-simplify]: Simplify 0 into 0 3.582 * [backup-simplify]: Simplify 0 into 0 3.583 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.583 * [backup-simplify]: Simplify (+ 0 0) into 0 3.584 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1.0) (* 0 1))) into 0 3.584 * [backup-simplify]: Simplify 0 into 0 3.584 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.585 * [backup-simplify]: Simplify (+ 0 0) into 0 3.586 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 x) 1.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.587 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (/ 1 x) 1.0))))) into 0 3.587 * [taylor]: Taking taylor expansion of 0 in x 3.587 * [backup-simplify]: Simplify 0 into 0 3.588 * [backup-simplify]: Simplify 0 into 0 3.588 * [backup-simplify]: Simplify 0 into 0 3.588 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.588 * [backup-simplify]: Simplify (+ 0 0) into 0 3.589 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1)))) into 0 3.589 * [backup-simplify]: Simplify 0 into 0 3.589 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.590 * [backup-simplify]: Simplify (+ 0 0) into 0 3.591 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 x) 1.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.592 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (/ 1 x) 1.0)))))) into 0 3.592 * [taylor]: Taking taylor expansion of 0 in x 3.592 * [backup-simplify]: Simplify 0 into 0 3.592 * [backup-simplify]: Simplify 0 into 0 3.593 * [backup-simplify]: Simplify (+ (* (- 1.0) (* 1 (/ 1 (/ 1 (- z))))) (* -1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- z)))))) into (- (* 1.0 z) (* x z)) 3.593 * * * [progress]: simplifying candidates 3.593 * [simplify]: Simplifying: (expm1 (* z (- 1.0 x))) (log1p (* z (- 1.0 x))) (* z (- 1.0 x)) (+ (log z) (log (- 1.0 x))) (log (* z (- 1.0 x))) (exp (* z (- 1.0 x))) (* (* (* z z) z) (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x))) (* (cbrt (* z (- 1.0 x))) (cbrt (* z (- 1.0 x)))) (cbrt (* z (- 1.0 x))) (* (* (* z (- 1.0 x)) (* z (- 1.0 x))) (* z (- 1.0 x))) (sqrt (* z (- 1.0 x))) (sqrt (* z (- 1.0 x))) (* (sqrt z) (sqrt (- 1.0 x))) (* (sqrt z) (sqrt (- 1.0 x))) (* z (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))) (* z (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))) (* z (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt x) (sqrt x))))) (* z (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))) (* z (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* x 1)))) (* z (fma (- x) 1 (* x 1))) (* z (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))) (* z (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))) (* z (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt x) (sqrt x))))) (* z (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))) (* z (fma (sqrt 1.0) (sqrt 1.0) (- (* x 1)))) (* z (fma (- x) 1 (* x 1))) (* z (fma 1 1.0 (- (* (cbrt x) (* (cbrt x) (cbrt x)))))) (* z (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))) (* z (fma 1 1.0 (- (* (sqrt x) (sqrt x))))) (* z (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))) (* z (fma 1 1.0 (- (* x 1)))) (* z (fma (- x) 1 (* x 1))) (* z 1.0) (* z (- x)) (* z 1.0) (* z (- x)) (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x))))) z) (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) z) (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt x) (sqrt x)))) z) (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) z) (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* x 1))) z) (* (fma (- x) 1 (* x 1)) z) (* (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x))))) z) (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) z) (* (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt x) (sqrt x)))) z) (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) z) (* (fma (sqrt 1.0) (sqrt 1.0) (- (* x 1))) z) (* (fma (- x) 1 (* x 1)) z) (* (fma 1 1.0 (- (* (cbrt x) (* (cbrt x) (cbrt x))))) z) (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) z) (* (fma 1 1.0 (- (* (sqrt x) (sqrt x)))) z) (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) z) (* (fma 1 1.0 (- (* x 1))) z) (* (fma (- x) 1 (* x 1)) z) (* 1.0 z) (* (- x) z) (* 1.0 z) (* (- x) z) (* z (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))) (* z (sqrt (- 1.0 x))) (* z 1) (* z (+ (sqrt 1.0) (sqrt x))) (* z 1) (* (cbrt z) (- 1.0 x)) (* (sqrt z) (- 1.0 x)) (* z (- 1.0 x)) (* z (- (pow 1.0 3) (pow x 3))) (* z (- (* 1.0 1.0) (* x x))) (- (* 1.0 z) (* x z)) (- (* 1.0 z) (* x z)) (- (* 1.0 z) (* x z)) 3.594 * * [simplify]: iteration 0: 102 enodes 3.626 * * [simplify]: iteration 1: 235 enodes 3.686 * * [simplify]: iteration 2: 835 enodes 3.984 * * [simplify]: iteration complete: 5000 enodes 3.984 * * [simplify]: Extracting #0: cost 25 inf + 0 3.986 * * [simplify]: Extracting #1: cost 762 inf + 1 3.994 * * [simplify]: Extracting #2: cost 2136 inf + 7580 4.015 * * [simplify]: Extracting #3: cost 1289 inf + 113087 4.088 * * [simplify]: Extracting #4: cost 147 inf + 294027 4.143 * * [simplify]: Extracting #5: cost 30 inf + 317756 4.201 * * [simplify]: Extracting #6: cost 4 inf + 323310 4.270 * * [simplify]: Extracting #7: cost 0 inf + 324322 4.350 * [simplify]: Simplified to: (expm1 (* z (- 1.0 x))) (log1p (* z (- 1.0 x))) (* z (- 1.0 x)) (log (* z (- 1.0 x))) (log (* z (- 1.0 x))) (exp (* z (- 1.0 x))) (* (* z (- 1.0 x)) (* (* z (- 1.0 x)) (* z (- 1.0 x)))) (* (cbrt (* z (- 1.0 x))) (cbrt (* z (- 1.0 x)))) (cbrt (* z (- 1.0 x))) (* (* z (- 1.0 x)) (* (* z (- 1.0 x)) (* z (- 1.0 x)))) (sqrt (* z (- 1.0 x))) (sqrt (* z (- 1.0 x))) (* (sqrt (- 1.0 x)) (sqrt z)) (* (sqrt (- 1.0 x)) (sqrt z)) (* z (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x)) (* z (fma -1 x x)) (* z (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x)) (* z (fma -1 x x)) (* z (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x)) (* z (fma -1 x x)) (* z (- 1.0 x)) (* z (fma -1 x x)) (* z (- 1.0 x)) (* z (fma -1 x x)) (* z (- 1.0 x)) (* z (fma -1 x x)) (* z (- 1.0 x)) (* z (fma -1 x x)) (* z (- 1.0 x)) (* z (fma -1 x x)) (* z (- 1.0 x)) (* z (fma -1 x x)) (* z 1.0) (* (- z) x) (* z 1.0) (* (- z) x) (* z (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x)) (* z (fma -1 x x)) (* z (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x)) (* z (fma -1 x x)) (* z (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x)) (* z (fma -1 x x)) (* z (- 1.0 x)) (* z (fma -1 x x)) (* z (- 1.0 x)) (* z (fma -1 x x)) (* z (- 1.0 x)) (* z (fma -1 x x)) (* z (- 1.0 x)) (* z (fma -1 x x)) (* z (- 1.0 x)) (* z (fma -1 x x)) (* z (- 1.0 x)) (* z (fma -1 x x)) (* z 1.0) (* (- z) x) (* z 1.0) (* (- z) x) (* (cbrt (- 1.0 x)) (* (cbrt (- 1.0 x)) z)) (* (sqrt (- 1.0 x)) z) z (* z (+ (sqrt x) (sqrt 1.0))) z (* (- 1.0 x) (cbrt z)) (* (- 1.0 x) (sqrt z)) (* z (- 1.0 x)) (* z (- (* (* 1.0 1.0) 1.0) (* (* x x) x))) (* (* z (+ x 1.0)) (- 1.0 x)) (* z (- 1.0 x)) (* z (- 1.0 x)) (* z (- 1.0 x)) 4.355 * * * [progress]: adding candidates to table 4.525 * * [progress]: iteration 2 / 4 4.525 * * * [progress]: picking best candidate 4.531 * * * * [pick]: Picked # 4.531 * * * [progress]: localizing error 4.543 * * * [progress]: generating rewritten candidates 4.543 * * * * [progress]: [ 1 / 1 ] rewriting at (2 3) 4.549 * * * [progress]: generating series expansions 4.550 * * * * [progress]: [ 1 / 1 ] generating series at (2 3) 4.550 * [backup-simplify]: Simplify (+ (* z 1.0) (* z (- x))) into (- (* 1.0 z) (* x z)) 4.550 * [approximate]: Taking taylor expansion of (- (* 1.0 z) (* x z)) in (z x) around 0 4.550 * [taylor]: Taking taylor expansion of (- (* 1.0 z) (* x z)) in x 4.550 * [taylor]: Taking taylor expansion of (* 1.0 z) in x 4.550 * [taylor]: Taking taylor expansion of 1.0 in x 4.550 * [backup-simplify]: Simplify 1.0 into 1.0 4.550 * [taylor]: Taking taylor expansion of z in x 4.550 * [backup-simplify]: Simplify z into z 4.550 * [taylor]: Taking taylor expansion of (* x z) in x 4.550 * [taylor]: Taking taylor expansion of x in x 4.550 * [backup-simplify]: Simplify 0 into 0 4.550 * [backup-simplify]: Simplify 1 into 1 4.550 * [taylor]: Taking taylor expansion of z in x 4.550 * [backup-simplify]: Simplify z into z 4.550 * [taylor]: Taking taylor expansion of (- (* 1.0 z) (* x z)) in z 4.550 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 4.550 * [taylor]: Taking taylor expansion of 1.0 in z 4.550 * [backup-simplify]: Simplify 1.0 into 1.0 4.550 * [taylor]: Taking taylor expansion of z in z 4.550 * [backup-simplify]: Simplify 0 into 0 4.550 * [backup-simplify]: Simplify 1 into 1 4.550 * [taylor]: Taking taylor expansion of (* x z) in z 4.550 * [taylor]: Taking taylor expansion of x in z 4.550 * [backup-simplify]: Simplify x into x 4.550 * [taylor]: Taking taylor expansion of z in z 4.550 * [backup-simplify]: Simplify 0 into 0 4.550 * [backup-simplify]: Simplify 1 into 1 4.550 * [taylor]: Taking taylor expansion of (- (* 1.0 z) (* x z)) in z 4.550 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 4.550 * [taylor]: Taking taylor expansion of 1.0 in z 4.550 * [backup-simplify]: Simplify 1.0 into 1.0 4.550 * [taylor]: Taking taylor expansion of z in z 4.550 * [backup-simplify]: Simplify 0 into 0 4.550 * [backup-simplify]: Simplify 1 into 1 4.550 * [taylor]: Taking taylor expansion of (* x z) in z 4.550 * [taylor]: Taking taylor expansion of x in z 4.550 * [backup-simplify]: Simplify x into x 4.550 * [taylor]: Taking taylor expansion of z in z 4.550 * [backup-simplify]: Simplify 0 into 0 4.550 * [backup-simplify]: Simplify 1 into 1 4.551 * [backup-simplify]: Simplify (* 1.0 0) into 0 4.551 * [backup-simplify]: Simplify (* x 0) into 0 4.551 * [backup-simplify]: Simplify (- 0) into 0 4.551 * [backup-simplify]: Simplify (+ 0 0) into 0 4.552 * [taylor]: Taking taylor expansion of 0 in x 4.552 * [backup-simplify]: Simplify 0 into 0 4.552 * [backup-simplify]: Simplify 0 into 0 4.552 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 4.553 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.553 * [backup-simplify]: Simplify (- x) into (- x) 4.553 * [backup-simplify]: Simplify (+ 1.0 (- x)) into (- 1.0 x) 4.553 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 4.553 * [taylor]: Taking taylor expansion of 1.0 in x 4.553 * [backup-simplify]: Simplify 1.0 into 1.0 4.553 * [taylor]: Taking taylor expansion of x in x 4.553 * [backup-simplify]: Simplify 0 into 0 4.553 * [backup-simplify]: Simplify 1 into 1 4.553 * [backup-simplify]: Simplify (- 0) into 0 4.553 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.554 * [backup-simplify]: Simplify 1.0 into 1.0 4.554 * [backup-simplify]: Simplify 0 into 0 4.554 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 4.555 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 4.555 * [backup-simplify]: Simplify (- 0) into 0 4.555 * [backup-simplify]: Simplify (+ 0 0) into 0 4.555 * [taylor]: Taking taylor expansion of 0 in x 4.555 * [backup-simplify]: Simplify 0 into 0 4.555 * [backup-simplify]: Simplify 0 into 0 4.555 * [backup-simplify]: Simplify (- 1) into -1 4.556 * [backup-simplify]: Simplify (+ 0 -1) into -1 4.556 * [backup-simplify]: Simplify -1 into -1 4.556 * [backup-simplify]: Simplify 0 into 0 4.556 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.557 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.557 * [backup-simplify]: Simplify (- 0) into 0 4.557 * [backup-simplify]: Simplify (+ 0 0) into 0 4.557 * [taylor]: Taking taylor expansion of 0 in x 4.557 * [backup-simplify]: Simplify 0 into 0 4.557 * [backup-simplify]: Simplify 0 into 0 4.557 * [backup-simplify]: Simplify 0 into 0 4.558 * [backup-simplify]: Simplify (- 0) into 0 4.558 * [backup-simplify]: Simplify (+ 0 0) into 0 4.558 * [backup-simplify]: Simplify 0 into 0 4.558 * [backup-simplify]: Simplify 0 into 0 4.559 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 4.559 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 4.560 * [backup-simplify]: Simplify (- 0) into 0 4.560 * [backup-simplify]: Simplify (+ 0 0) into 0 4.560 * [taylor]: Taking taylor expansion of 0 in x 4.560 * [backup-simplify]: Simplify 0 into 0 4.560 * [backup-simplify]: Simplify 0 into 0 4.560 * [backup-simplify]: Simplify (+ (* -1 (* x z)) (* 1.0 (* 1 z))) into (- (* 1.0 z) (* x z)) 4.560 * [backup-simplify]: Simplify (+ (* (/ 1 z) 1.0) (* (/ 1 z) (- (/ 1 x)))) into (- (* 1.0 (/ 1 z)) (/ 1 (* x z))) 4.560 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 z)) (/ 1 (* x z))) in (z x) around 0 4.560 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z)) (/ 1 (* x z))) in x 4.560 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 4.560 * [taylor]: Taking taylor expansion of 1.0 in x 4.560 * [backup-simplify]: Simplify 1.0 into 1.0 4.560 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.560 * [taylor]: Taking taylor expansion of z in x 4.560 * [backup-simplify]: Simplify z into z 4.560 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.560 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 4.560 * [taylor]: Taking taylor expansion of (* x z) in x 4.560 * [taylor]: Taking taylor expansion of x in x 4.560 * [backup-simplify]: Simplify 0 into 0 4.560 * [backup-simplify]: Simplify 1 into 1 4.560 * [taylor]: Taking taylor expansion of z in x 4.560 * [backup-simplify]: Simplify z into z 4.560 * [backup-simplify]: Simplify (* 0 z) into 0 4.561 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 4.561 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.561 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z)) (/ 1 (* x z))) in z 4.561 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 4.561 * [taylor]: Taking taylor expansion of 1.0 in z 4.561 * [backup-simplify]: Simplify 1.0 into 1.0 4.561 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.561 * [taylor]: Taking taylor expansion of z in z 4.561 * [backup-simplify]: Simplify 0 into 0 4.561 * [backup-simplify]: Simplify 1 into 1 4.561 * [backup-simplify]: Simplify (/ 1 1) into 1 4.561 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 4.561 * [taylor]: Taking taylor expansion of (* x z) in z 4.561 * [taylor]: Taking taylor expansion of x in z 4.561 * [backup-simplify]: Simplify x into x 4.561 * [taylor]: Taking taylor expansion of z in z 4.561 * [backup-simplify]: Simplify 0 into 0 4.561 * [backup-simplify]: Simplify 1 into 1 4.561 * [backup-simplify]: Simplify (* x 0) into 0 4.565 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.565 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.565 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z)) (/ 1 (* x z))) in z 4.566 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 4.566 * [taylor]: Taking taylor expansion of 1.0 in z 4.566 * [backup-simplify]: Simplify 1.0 into 1.0 4.566 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.566 * [taylor]: Taking taylor expansion of z in z 4.566 * [backup-simplify]: Simplify 0 into 0 4.566 * [backup-simplify]: Simplify 1 into 1 4.566 * [backup-simplify]: Simplify (/ 1 1) into 1 4.566 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 4.566 * [taylor]: Taking taylor expansion of (* x z) in z 4.566 * [taylor]: Taking taylor expansion of x in z 4.566 * [backup-simplify]: Simplify x into x 4.566 * [taylor]: Taking taylor expansion of z in z 4.566 * [backup-simplify]: Simplify 0 into 0 4.566 * [backup-simplify]: Simplify 1 into 1 4.566 * [backup-simplify]: Simplify (* x 0) into 0 4.566 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.566 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.567 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 4.567 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 4.567 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x)) 4.567 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 4.567 * [taylor]: Taking taylor expansion of 1.0 in x 4.567 * [backup-simplify]: Simplify 1.0 into 1.0 4.567 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.567 * [taylor]: Taking taylor expansion of x in x 4.567 * [backup-simplify]: Simplify 0 into 0 4.567 * [backup-simplify]: Simplify 1 into 1 4.567 * [backup-simplify]: Simplify (/ 1 1) into 1 4.568 * [backup-simplify]: Simplify (- 1) into -1 4.568 * [backup-simplify]: Simplify (+ 0 -1) into -1 4.568 * [backup-simplify]: Simplify -1 into -1 4.568 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.569 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 4.569 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 4.569 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 4.569 * [backup-simplify]: Simplify (- 0) into 0 4.570 * [backup-simplify]: Simplify (+ 0 0) into 0 4.570 * [taylor]: Taking taylor expansion of 0 in x 4.570 * [backup-simplify]: Simplify 0 into 0 4.570 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.571 * [backup-simplify]: Simplify (- 0) into 0 4.571 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.571 * [backup-simplify]: Simplify 1.0 into 1.0 4.571 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.572 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 4.572 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.573 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.573 * [backup-simplify]: Simplify (- 0) into 0 4.573 * [backup-simplify]: Simplify (+ 0 0) into 0 4.573 * [taylor]: Taking taylor expansion of 0 in x 4.573 * [backup-simplify]: Simplify 0 into 0 4.573 * [backup-simplify]: Simplify 0 into 0 4.574 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.574 * [backup-simplify]: Simplify (- 0) into 0 4.574 * [backup-simplify]: Simplify (+ 0 0) into 0 4.574 * [backup-simplify]: Simplify 0 into 0 4.575 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.575 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.576 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 4.576 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.577 * [backup-simplify]: Simplify (- 0) into 0 4.577 * [backup-simplify]: Simplify (+ 0 0) into 0 4.577 * [taylor]: Taking taylor expansion of 0 in x 4.577 * [backup-simplify]: Simplify 0 into 0 4.577 * [backup-simplify]: Simplify 0 into 0 4.577 * [backup-simplify]: Simplify 0 into 0 4.578 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.578 * [backup-simplify]: Simplify (- 0) into 0 4.579 * [backup-simplify]: Simplify (+ 0 0) into 0 4.579 * [backup-simplify]: Simplify 0 into 0 4.580 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.581 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.582 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 4.582 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.582 * [backup-simplify]: Simplify (- 0) into 0 4.583 * [backup-simplify]: Simplify (+ 0 0) into 0 4.583 * [taylor]: Taking taylor expansion of 0 in x 4.583 * [backup-simplify]: Simplify 0 into 0 4.583 * [backup-simplify]: Simplify 0 into 0 4.583 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (/ 1 (/ 1 z)))) (* -1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 z))))) into (- (* 1.0 z) (* x z)) 4.583 * [backup-simplify]: Simplify (+ (* (/ 1 (- z)) 1.0) (* (/ 1 (- z)) (- (/ 1 (- x))))) into (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) 4.583 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in (z x) around 0 4.583 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in x 4.583 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))) in x 4.583 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 4.583 * [taylor]: Taking taylor expansion of (* x z) in x 4.583 * [taylor]: Taking taylor expansion of x in x 4.583 * [backup-simplify]: Simplify 0 into 0 4.583 * [backup-simplify]: Simplify 1 into 1 4.583 * [taylor]: Taking taylor expansion of z in x 4.584 * [backup-simplify]: Simplify z into z 4.584 * [backup-simplify]: Simplify (* 0 z) into 0 4.584 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 4.584 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.584 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 4.584 * [taylor]: Taking taylor expansion of 1.0 in x 4.584 * [backup-simplify]: Simplify 1.0 into 1.0 4.584 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.584 * [taylor]: Taking taylor expansion of z in x 4.584 * [backup-simplify]: Simplify z into z 4.584 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.584 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in z 4.584 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))) in z 4.584 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 4.584 * [taylor]: Taking taylor expansion of (* x z) in z 4.584 * [taylor]: Taking taylor expansion of x in z 4.584 * [backup-simplify]: Simplify x into x 4.584 * [taylor]: Taking taylor expansion of z in z 4.584 * [backup-simplify]: Simplify 0 into 0 4.584 * [backup-simplify]: Simplify 1 into 1 4.584 * [backup-simplify]: Simplify (* x 0) into 0 4.585 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.585 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.585 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 4.585 * [taylor]: Taking taylor expansion of 1.0 in z 4.585 * [backup-simplify]: Simplify 1.0 into 1.0 4.585 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.585 * [taylor]: Taking taylor expansion of z in z 4.585 * [backup-simplify]: Simplify 0 into 0 4.585 * [backup-simplify]: Simplify 1 into 1 4.585 * [backup-simplify]: Simplify (/ 1 1) into 1 4.585 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in z 4.586 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))) in z 4.586 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 4.586 * [taylor]: Taking taylor expansion of (* x z) in z 4.586 * [taylor]: Taking taylor expansion of x in z 4.586 * [backup-simplify]: Simplify x into x 4.586 * [taylor]: Taking taylor expansion of z in z 4.586 * [backup-simplify]: Simplify 0 into 0 4.586 * [backup-simplify]: Simplify 1 into 1 4.586 * [backup-simplify]: Simplify (* x 0) into 0 4.586 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.586 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.586 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 4.586 * [taylor]: Taking taylor expansion of 1.0 in z 4.586 * [backup-simplify]: Simplify 1.0 into 1.0 4.586 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.586 * [taylor]: Taking taylor expansion of z in z 4.586 * [backup-simplify]: Simplify 0 into 0 4.586 * [backup-simplify]: Simplify 1 into 1 4.587 * [backup-simplify]: Simplify (/ 1 1) into 1 4.587 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 4.587 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ (/ 1 x) 1.0) 4.587 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0)) 4.587 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1.0)) in x 4.587 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 4.587 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.587 * [taylor]: Taking taylor expansion of x in x 4.588 * [backup-simplify]: Simplify 0 into 0 4.588 * [backup-simplify]: Simplify 1 into 1 4.588 * [backup-simplify]: Simplify (/ 1 1) into 1 4.588 * [taylor]: Taking taylor expansion of 1.0 in x 4.588 * [backup-simplify]: Simplify 1.0 into 1.0 4.588 * [backup-simplify]: Simplify (+ 1 0) into 1 4.589 * [backup-simplify]: Simplify (- 1) into -1 4.589 * [backup-simplify]: Simplify -1 into -1 4.589 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 4.589 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 4.590 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.591 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 4.591 * [backup-simplify]: Simplify (+ 0 0) into 0 4.592 * [backup-simplify]: Simplify (- 0) into 0 4.592 * [taylor]: Taking taylor expansion of 0 in x 4.592 * [backup-simplify]: Simplify 0 into 0 4.592 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.593 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 4.593 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.594 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 4.594 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.594 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.595 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.596 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 4.596 * [backup-simplify]: Simplify (+ 0 0) into 0 4.597 * [backup-simplify]: Simplify (- 0) into 0 4.597 * [taylor]: Taking taylor expansion of 0 in x 4.597 * [backup-simplify]: Simplify 0 into 0 4.597 * [backup-simplify]: Simplify 0 into 0 4.598 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.598 * [backup-simplify]: Simplify (+ 0 0) into 0 4.598 * [backup-simplify]: Simplify (- 0) into 0 4.598 * [backup-simplify]: Simplify 0 into 0 4.599 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 4.599 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.600 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.601 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.601 * [backup-simplify]: Simplify (+ 0 0) into 0 4.602 * [backup-simplify]: Simplify (- 0) into 0 4.602 * [taylor]: Taking taylor expansion of 0 in x 4.602 * [backup-simplify]: Simplify 0 into 0 4.602 * [backup-simplify]: Simplify 0 into 0 4.602 * [backup-simplify]: Simplify 0 into 0 4.603 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.603 * [backup-simplify]: Simplify (+ 0 0) into 0 4.603 * [backup-simplify]: Simplify (- 0) into 0 4.603 * [backup-simplify]: Simplify 0 into 0 4.604 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 4.605 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.605 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.607 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.607 * [backup-simplify]: Simplify (+ 0 0) into 0 4.607 * [backup-simplify]: Simplify (- 0) into 0 4.607 * [taylor]: Taking taylor expansion of 0 in x 4.607 * [backup-simplify]: Simplify 0 into 0 4.607 * [backup-simplify]: Simplify 0 into 0 4.608 * [backup-simplify]: Simplify (+ (* (- 1.0) (* 1 (/ 1 (/ 1 (- z))))) (* -1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- z)))))) into (- (* 1.0 z) (* x z)) 4.608 * * * [progress]: simplifying candidates 4.609 * [simplify]: Simplifying: (expm1 (+ (* z 1.0) (* z (- x)))) (log1p (+ (* z 1.0) (* z (- x)))) (* (exp (* z 1.0)) (exp (* z (- x)))) (log (+ (* z 1.0) (* z (- x)))) (exp (+ (* z 1.0) (* z (- x)))) (* (cbrt (+ (* z 1.0) (* z (- x)))) (cbrt (+ (* z 1.0) (* z (- x))))) (cbrt (+ (* z 1.0) (* z (- x)))) (* (* (+ (* z 1.0) (* z (- x))) (+ (* z 1.0) (* z (- x)))) (+ (* z 1.0) (* z (- x)))) (sqrt (+ (* z 1.0) (* z (- x)))) (sqrt (+ (* z 1.0) (* z (- x)))) (+ (pow (* z 1.0) 3) (pow (* z (- x)) 3)) (+ (* (* z 1.0) (* z 1.0)) (- (* (* z (- x)) (* z (- x))) (* (* z 1.0) (* z (- x))))) (- (* (* z 1.0) (* z 1.0)) (* (* z (- x)) (* z (- x)))) (- (* z 1.0) (* z (- x))) (+ 1.0 (- x)) (- (* 1.0 z) (* x z)) (- (* 1.0 z) (* x z)) (- (* 1.0 z) (* x z)) 4.609 * * [simplify]: iteration 0: 34 enodes 4.620 * * [simplify]: iteration 1: 115 enodes 4.667 * * [simplify]: iteration 2: 467 enodes 5.138 * * [simplify]: iteration 3: 2537 enodes 7.210 * * [simplify]: iteration complete: 5004 enodes 7.210 * * [simplify]: Extracting #0: cost 14 inf + 0 7.212 * * [simplify]: Extracting #1: cost 340 inf + 0 7.222 * * [simplify]: Extracting #2: cost 683 inf + 1081 7.245 * * [simplify]: Extracting #3: cost 385 inf + 51473 7.294 * * [simplify]: Extracting #4: cost 115 inf + 105386 7.383 * * [simplify]: Extracting #5: cost 38 inf + 126698 7.462 * * [simplify]: Extracting #6: cost 3 inf + 144943 7.523 * * [simplify]: Extracting #7: cost 0 inf + 147135 7.600 * [simplify]: Simplified to: (expm1 (* z (- 1.0 x))) (log1p (* z (- 1.0 x))) (exp (* z (- 1.0 x))) (log (* z (- 1.0 x))) (exp (* z (- 1.0 x))) (* (cbrt (* z (- 1.0 x))) (cbrt (* z (- 1.0 x)))) (cbrt (* z (- 1.0 x))) (* (* z (- 1.0 x)) (* (* z (- 1.0 x)) (* z (- 1.0 x)))) (sqrt (* z (- 1.0 x))) (sqrt (* z (- 1.0 x))) (- (* (* (* z 1.0) (* z 1.0)) (* z 1.0)) (* (* (* x z) (* x z)) (* x z))) (fma x (* x (* z z)) (* (* (* z z) 1.0) (+ x 1.0))) (* (* z (- 1.0 x)) (* z (+ x 1.0))) (* z (+ x 1.0)) (- 1.0 x) (* z (- 1.0 x)) (* z (- 1.0 x)) (* z (- 1.0 x)) 7.601 * * * [progress]: adding candidates to table 7.688 * [progress]: [Phase 3 of 3] Extracting. 7.688 * * [regime]: Finding splitpoints for: (# #) 7.688 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 7.688 * * * * [regimes]: Trying to branch on z from (# #) 7.729 * * * * [regimes]: Trying to branch on y from (# #) 7.763 * * * * [regimes]: Trying to branch on x from (# #) 7.811 * * * [regime]: Found split indices: #