41.466 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.020 * * * [progress]: [2/2] Setting up program. 0.022 * [progress]: [Phase 2 of 3] Improving. 0.022 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.023 * [simplify]: Simplifying: (+ (+ (+ (+ (+ x y) y) x) z) x) 0.023 * * [simplify]: iteration 0: 8 enodes 0.024 * * [simplify]: iteration 1: 20 enodes 0.027 * * [simplify]: iteration 2: 54 enodes 0.040 * * [simplify]: iteration 3: 139 enodes 0.132 * * [simplify]: iteration 4: 244 enodes 0.230 * * [simplify]: iteration 5: 278 enodes 0.335 * * [simplify]: iteration 6: 280 enodes 0.444 * * [simplify]: iteration 7: 285 enodes 0.527 * * [simplify]: iteration complete: 285 enodes 0.527 * * [simplify]: Extracting #0: cost 1 inf + 0 0.527 * * [simplify]: Extracting #1: cost 25 inf + 0 0.527 * * [simplify]: Extracting #2: cost 17 inf + 147 0.528 * * [simplify]: Extracting #3: cost 0 inf + 1377 0.529 * [simplify]: Simplified to: (fma y 2 (fma x 3 z)) 0.533 * * [progress]: iteration 1 / 4 0.533 * * * [progress]: picking best candidate 0.538 * * * * [pick]: Picked # 0.538 * * * [progress]: localizing error 0.548 * * * [progress]: generating rewritten candidates 0.548 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3) 0.548 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.549 * * * [progress]: generating series expansions 0.549 * * * * [progress]: [ 1 / 2 ] generating series at (2 3) 0.549 * [backup-simplify]: Simplify (fma x 3 z) into (fma x 3 z) 0.549 * [approximate]: Taking taylor expansion of (fma x 3 z) in (x z) around 0 0.549 * [taylor]: Taking taylor expansion of (fma x 3 z) in z 0.549 * [taylor]: Rewrote expression to (+ (* x 3) z) 0.549 * [taylor]: Taking taylor expansion of (* x 3) in z 0.549 * [taylor]: Taking taylor expansion of x in z 0.549 * [backup-simplify]: Simplify x into x 0.549 * [taylor]: Taking taylor expansion of 3 in z 0.549 * [backup-simplify]: Simplify 3 into 3 0.549 * [taylor]: Taking taylor expansion of z in z 0.549 * [backup-simplify]: Simplify 0 into 0 0.549 * [backup-simplify]: Simplify 1 into 1 0.549 * [taylor]: Taking taylor expansion of (fma x 3 z) in x 0.549 * [taylor]: Rewrote expression to (+ (* x 3) z) 0.549 * [taylor]: Taking taylor expansion of (* x 3) in x 0.549 * [taylor]: Taking taylor expansion of x in x 0.549 * [backup-simplify]: Simplify 0 into 0 0.550 * [backup-simplify]: Simplify 1 into 1 0.550 * [taylor]: Taking taylor expansion of 3 in x 0.550 * [backup-simplify]: Simplify 3 into 3 0.550 * [taylor]: Taking taylor expansion of z in x 0.550 * [backup-simplify]: Simplify z into z 0.550 * [taylor]: Taking taylor expansion of (fma x 3 z) in x 0.550 * [taylor]: Rewrote expression to (+ (* x 3) z) 0.550 * [taylor]: Taking taylor expansion of (* x 3) in x 0.550 * [taylor]: Taking taylor expansion of x in x 0.550 * [backup-simplify]: Simplify 0 into 0 0.550 * [backup-simplify]: Simplify 1 into 1 0.550 * [taylor]: Taking taylor expansion of 3 in x 0.550 * [backup-simplify]: Simplify 3 into 3 0.550 * [taylor]: Taking taylor expansion of z in x 0.550 * [backup-simplify]: Simplify z into z 0.551 * [backup-simplify]: Simplify (* 0 3) into 0 0.551 * [backup-simplify]: Simplify (+ 0 z) into z 0.551 * [taylor]: Taking taylor expansion of z in z 0.551 * [backup-simplify]: Simplify 0 into 0 0.551 * [backup-simplify]: Simplify 1 into 1 0.551 * [backup-simplify]: Simplify 0 into 0 0.552 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 3)) into 3 0.552 * [backup-simplify]: Simplify (+ 3 0) into 3 0.552 * [taylor]: Taking taylor expansion of 3 in z 0.552 * [backup-simplify]: Simplify 3 into 3 0.552 * [backup-simplify]: Simplify 3 into 3 0.552 * [backup-simplify]: Simplify 1 into 1 0.553 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 3))) into 0 0.554 * [backup-simplify]: Simplify (+ 0 0) into 0 0.554 * [taylor]: Taking taylor expansion of 0 in z 0.554 * [backup-simplify]: Simplify 0 into 0 0.554 * [backup-simplify]: Simplify 0 into 0 0.554 * [backup-simplify]: Simplify 0 into 0 0.554 * [backup-simplify]: Simplify 0 into 0 0.555 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 3)))) into 0 0.555 * [backup-simplify]: Simplify (+ 0 0) into 0 0.555 * [taylor]: Taking taylor expansion of 0 in z 0.555 * [backup-simplify]: Simplify 0 into 0 0.555 * [backup-simplify]: Simplify 0 into 0 0.555 * [backup-simplify]: Simplify 0 into 0 0.555 * [backup-simplify]: Simplify 0 into 0 0.556 * [backup-simplify]: Simplify (+ (* 1 (* z 1)) (* 3 (* 1 x))) into (+ (* 3 x) z) 0.556 * [backup-simplify]: Simplify (fma (/ 1 x) 3 (/ 1 z)) into (fma (/ 1 x) 3 (/ 1 z)) 0.556 * [approximate]: Taking taylor expansion of (fma (/ 1 x) 3 (/ 1 z)) in (x z) around 0 0.556 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 3 (/ 1 z)) in z 0.556 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 3) (/ 1 z)) 0.556 * [taylor]: Taking taylor expansion of (* (/ 1 x) 3) in z 0.556 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.556 * [taylor]: Taking taylor expansion of x in z 0.556 * [backup-simplify]: Simplify x into x 0.556 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.556 * [taylor]: Taking taylor expansion of 3 in z 0.556 * [backup-simplify]: Simplify 3 into 3 0.556 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.556 * [taylor]: Taking taylor expansion of z in z 0.556 * [backup-simplify]: Simplify 0 into 0 0.556 * [backup-simplify]: Simplify 1 into 1 0.556 * [backup-simplify]: Simplify (/ 1 1) into 1 0.557 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 3 (/ 1 z)) in x 0.557 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 3) (/ 1 z)) 0.557 * [taylor]: Taking taylor expansion of (* (/ 1 x) 3) in x 0.557 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.557 * [taylor]: Taking taylor expansion of x in x 0.557 * [backup-simplify]: Simplify 0 into 0 0.557 * [backup-simplify]: Simplify 1 into 1 0.557 * [backup-simplify]: Simplify (/ 1 1) into 1 0.557 * [taylor]: Taking taylor expansion of 3 in x 0.557 * [backup-simplify]: Simplify 3 into 3 0.557 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.557 * [taylor]: Taking taylor expansion of z in x 0.557 * [backup-simplify]: Simplify z into z 0.557 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.557 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 3 (/ 1 z)) in x 0.557 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 3) (/ 1 z)) 0.557 * [taylor]: Taking taylor expansion of (* (/ 1 x) 3) in x 0.557 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.557 * [taylor]: Taking taylor expansion of x in x 0.557 * [backup-simplify]: Simplify 0 into 0 0.557 * [backup-simplify]: Simplify 1 into 1 0.558 * [backup-simplify]: Simplify (/ 1 1) into 1 0.558 * [taylor]: Taking taylor expansion of 3 in x 0.558 * [backup-simplify]: Simplify 3 into 3 0.558 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.558 * [taylor]: Taking taylor expansion of z in x 0.558 * [backup-simplify]: Simplify z into z 0.558 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.558 * [backup-simplify]: Simplify (* 1 3) into 3 0.559 * [backup-simplify]: Simplify (+ 3 0) into 3 0.559 * [taylor]: Taking taylor expansion of 3 in z 0.559 * [backup-simplify]: Simplify 3 into 3 0.560 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.561 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 3)) into 0 0.561 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z) 0.561 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.561 * [taylor]: Taking taylor expansion of z in z 0.561 * [backup-simplify]: Simplify 0 into 0 0.561 * [backup-simplify]: Simplify 1 into 1 0.561 * [backup-simplify]: Simplify (/ 1 1) into 1 0.561 * [backup-simplify]: Simplify 1 into 1 0.561 * [backup-simplify]: Simplify 3 into 3 0.562 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.563 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 3))) into 0 0.564 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 0.564 * [backup-simplify]: Simplify (+ 0 0) into 0 0.564 * [taylor]: Taking taylor expansion of 0 in z 0.564 * [backup-simplify]: Simplify 0 into 0 0.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.565 * [backup-simplify]: Simplify 0 into 0 0.565 * [backup-simplify]: Simplify 0 into 0 0.566 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.567 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 3)))) into 0 0.567 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.567 * [backup-simplify]: Simplify (+ 0 0) into 0 0.568 * [taylor]: Taking taylor expansion of 0 in z 0.568 * [backup-simplify]: Simplify 0 into 0 0.568 * [backup-simplify]: Simplify 0 into 0 0.568 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.569 * [backup-simplify]: Simplify 0 into 0 0.569 * [backup-simplify]: Simplify 0 into 0 0.570 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.571 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 3))))) into 0 0.571 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.571 * [backup-simplify]: Simplify (+ 0 0) into 0 0.572 * [taylor]: Taking taylor expansion of 0 in z 0.572 * [backup-simplify]: Simplify 0 into 0 0.572 * [backup-simplify]: Simplify 0 into 0 0.572 * [backup-simplify]: Simplify (+ (* 3 (* 1 (/ 1 (/ 1 x)))) (* 1 (* (/ 1 (/ 1 z)) 1))) into (+ (* 3 x) z) 0.572 * [backup-simplify]: Simplify (fma (/ 1 (- x)) 3 (/ 1 (- z))) into (fma (/ -1 x) 3 (/ -1 z)) 0.572 * [approximate]: Taking taylor expansion of (fma (/ -1 x) 3 (/ -1 z)) in (x z) around 0 0.572 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 3 (/ -1 z)) in z 0.572 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 3) (/ -1 z)) 0.572 * [taylor]: Taking taylor expansion of (* (/ -1 x) 3) in z 0.572 * [taylor]: Taking taylor expansion of (/ -1 x) in z 0.572 * [taylor]: Taking taylor expansion of -1 in z 0.572 * [backup-simplify]: Simplify -1 into -1 0.572 * [taylor]: Taking taylor expansion of x in z 0.572 * [backup-simplify]: Simplify x into x 0.572 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.572 * [taylor]: Taking taylor expansion of 3 in z 0.572 * [backup-simplify]: Simplify 3 into 3 0.572 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.572 * [taylor]: Taking taylor expansion of -1 in z 0.572 * [backup-simplify]: Simplify -1 into -1 0.572 * [taylor]: Taking taylor expansion of z in z 0.572 * [backup-simplify]: Simplify 0 into 0 0.572 * [backup-simplify]: Simplify 1 into 1 0.573 * [backup-simplify]: Simplify (/ -1 1) into -1 0.573 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 3 (/ -1 z)) in x 0.573 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 3) (/ -1 z)) 0.573 * [taylor]: Taking taylor expansion of (* (/ -1 x) 3) in x 0.573 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.573 * [taylor]: Taking taylor expansion of -1 in x 0.573 * [backup-simplify]: Simplify -1 into -1 0.573 * [taylor]: Taking taylor expansion of x in x 0.573 * [backup-simplify]: Simplify 0 into 0 0.573 * [backup-simplify]: Simplify 1 into 1 0.574 * [backup-simplify]: Simplify (/ -1 1) into -1 0.574 * [taylor]: Taking taylor expansion of 3 in x 0.574 * [backup-simplify]: Simplify 3 into 3 0.574 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.574 * [taylor]: Taking taylor expansion of -1 in x 0.574 * [backup-simplify]: Simplify -1 into -1 0.574 * [taylor]: Taking taylor expansion of z in x 0.574 * [backup-simplify]: Simplify z into z 0.574 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.574 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 3 (/ -1 z)) in x 0.574 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 3) (/ -1 z)) 0.574 * [taylor]: Taking taylor expansion of (* (/ -1 x) 3) in x 0.574 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.574 * [taylor]: Taking taylor expansion of -1 in x 0.574 * [backup-simplify]: Simplify -1 into -1 0.574 * [taylor]: Taking taylor expansion of x in x 0.574 * [backup-simplify]: Simplify 0 into 0 0.574 * [backup-simplify]: Simplify 1 into 1 0.575 * [backup-simplify]: Simplify (/ -1 1) into -1 0.575 * [taylor]: Taking taylor expansion of 3 in x 0.575 * [backup-simplify]: Simplify 3 into 3 0.575 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.575 * [taylor]: Taking taylor expansion of -1 in x 0.575 * [backup-simplify]: Simplify -1 into -1 0.575 * [taylor]: Taking taylor expansion of z in x 0.575 * [backup-simplify]: Simplify z into z 0.575 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.576 * [backup-simplify]: Simplify (* -1 3) into -3 0.576 * [backup-simplify]: Simplify (+ -3 0) into -3 0.576 * [taylor]: Taking taylor expansion of -3 in z 0.576 * [backup-simplify]: Simplify -3 into -3 0.577 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.578 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 3)) into 0 0.578 * [backup-simplify]: Simplify (+ 0 (/ -1 z)) into (- (/ 1 z)) 0.578 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.578 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.578 * [taylor]: Taking taylor expansion of z in z 0.578 * [backup-simplify]: Simplify 0 into 0 0.578 * [backup-simplify]: Simplify 1 into 1 0.578 * [backup-simplify]: Simplify (/ 1 1) into 1 0.579 * [backup-simplify]: Simplify (- 1) into -1 0.579 * [backup-simplify]: Simplify -1 into -1 0.579 * [backup-simplify]: Simplify -3 into -3 0.580 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.581 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 3))) into 0 0.581 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 0.581 * [backup-simplify]: Simplify (+ 0 0) into 0 0.581 * [taylor]: Taking taylor expansion of 0 in z 0.581 * [backup-simplify]: Simplify 0 into 0 0.582 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.582 * [backup-simplify]: Simplify (- 0) into 0 0.583 * [backup-simplify]: Simplify 0 into 0 0.583 * [backup-simplify]: Simplify 0 into 0 0.584 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.585 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 3)))) into 0 0.585 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.589 * [backup-simplify]: Simplify (+ 0 0) into 0 0.589 * [taylor]: Taking taylor expansion of 0 in z 0.590 * [backup-simplify]: Simplify 0 into 0 0.590 * [backup-simplify]: Simplify 0 into 0 0.591 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.591 * [backup-simplify]: Simplify (- 0) into 0 0.591 * [backup-simplify]: Simplify 0 into 0 0.591 * [backup-simplify]: Simplify 0 into 0 0.592 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.594 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 3))))) into 0 0.594 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.594 * [backup-simplify]: Simplify (+ 0 0) into 0 0.594 * [taylor]: Taking taylor expansion of 0 in z 0.594 * [backup-simplify]: Simplify 0 into 0 0.594 * [backup-simplify]: Simplify 0 into 0 0.595 * [backup-simplify]: Simplify (+ (* -3 (* 1 (/ 1 (/ 1 (- x))))) (* -1 (* (/ 1 (/ 1 (- z))) 1))) into (+ (* 3 x) z) 0.595 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.595 * [backup-simplify]: Simplify (fma y 2 (fma x 3 z)) into (fma y 2 (fma x 3 z)) 0.595 * [approximate]: Taking taylor expansion of (fma y 2 (fma x 3 z)) in (y x z) around 0 0.595 * [taylor]: Taking taylor expansion of (fma y 2 (fma x 3 z)) in z 0.595 * [taylor]: Rewrote expression to (+ (* y 2) (fma x 3 z)) 0.595 * [taylor]: Taking taylor expansion of (* y 2) in z 0.595 * [taylor]: Taking taylor expansion of y in z 0.595 * [backup-simplify]: Simplify y into y 0.595 * [taylor]: Taking taylor expansion of 2 in z 0.595 * [backup-simplify]: Simplify 2 into 2 0.595 * [taylor]: Taking taylor expansion of (fma x 3 z) in z 0.595 * [taylor]: Rewrote expression to (+ (* x 3) z) 0.595 * [taylor]: Taking taylor expansion of (* x 3) in z 0.595 * [taylor]: Taking taylor expansion of x in z 0.595 * [backup-simplify]: Simplify x into x 0.595 * [taylor]: Taking taylor expansion of 3 in z 0.595 * [backup-simplify]: Simplify 3 into 3 0.595 * [taylor]: Taking taylor expansion of z in z 0.595 * [backup-simplify]: Simplify 0 into 0 0.595 * [backup-simplify]: Simplify 1 into 1 0.595 * [taylor]: Taking taylor expansion of (fma y 2 (fma x 3 z)) in x 0.596 * [taylor]: Rewrote expression to (+ (* y 2) (fma x 3 z)) 0.596 * [taylor]: Taking taylor expansion of (* y 2) in x 0.596 * [taylor]: Taking taylor expansion of y in x 0.596 * [backup-simplify]: Simplify y into y 0.596 * [taylor]: Taking taylor expansion of 2 in x 0.596 * [backup-simplify]: Simplify 2 into 2 0.596 * [taylor]: Taking taylor expansion of (fma x 3 z) in x 0.596 * [taylor]: Rewrote expression to (+ (* x 3) z) 0.596 * [taylor]: Taking taylor expansion of (* x 3) in x 0.596 * [taylor]: Taking taylor expansion of x in x 0.596 * [backup-simplify]: Simplify 0 into 0 0.596 * [backup-simplify]: Simplify 1 into 1 0.596 * [taylor]: Taking taylor expansion of 3 in x 0.596 * [backup-simplify]: Simplify 3 into 3 0.596 * [taylor]: Taking taylor expansion of z in x 0.596 * [backup-simplify]: Simplify z into z 0.596 * [taylor]: Taking taylor expansion of (fma y 2 (fma x 3 z)) in y 0.596 * [taylor]: Rewrote expression to (+ (* y 2) (fma x 3 z)) 0.596 * [taylor]: Taking taylor expansion of (* y 2) in y 0.596 * [taylor]: Taking taylor expansion of y in y 0.596 * [backup-simplify]: Simplify 0 into 0 0.596 * [backup-simplify]: Simplify 1 into 1 0.596 * [taylor]: Taking taylor expansion of 2 in y 0.596 * [backup-simplify]: Simplify 2 into 2 0.596 * [taylor]: Taking taylor expansion of (fma x 3 z) in y 0.596 * [taylor]: Rewrote expression to (+ (* x 3) z) 0.596 * [taylor]: Taking taylor expansion of (* x 3) in y 0.596 * [taylor]: Taking taylor expansion of x in y 0.596 * [backup-simplify]: Simplify x into x 0.596 * [taylor]: Taking taylor expansion of 3 in y 0.596 * [backup-simplify]: Simplify 3 into 3 0.596 * [taylor]: Taking taylor expansion of z in y 0.596 * [backup-simplify]: Simplify z into z 0.596 * [taylor]: Taking taylor expansion of (fma y 2 (fma x 3 z)) in y 0.596 * [taylor]: Rewrote expression to (+ (* y 2) (fma x 3 z)) 0.597 * [taylor]: Taking taylor expansion of (* y 2) in y 0.597 * [taylor]: Taking taylor expansion of y in y 0.597 * [backup-simplify]: Simplify 0 into 0 0.597 * [backup-simplify]: Simplify 1 into 1 0.597 * [taylor]: Taking taylor expansion of 2 in y 0.597 * [backup-simplify]: Simplify 2 into 2 0.597 * [taylor]: Taking taylor expansion of (fma x 3 z) in y 0.597 * [taylor]: Rewrote expression to (+ (* x 3) z) 0.597 * [taylor]: Taking taylor expansion of (* x 3) in y 0.597 * [taylor]: Taking taylor expansion of x in y 0.597 * [backup-simplify]: Simplify x into x 0.597 * [taylor]: Taking taylor expansion of 3 in y 0.597 * [backup-simplify]: Simplify 3 into 3 0.597 * [taylor]: Taking taylor expansion of z in y 0.597 * [backup-simplify]: Simplify z into z 0.598 * [backup-simplify]: Simplify (* 0 2) into 0 0.598 * [backup-simplify]: Simplify (* x 3) into (* 3 x) 0.598 * [backup-simplify]: Simplify (+ (* 3 x) z) into (+ (* 3 x) z) 0.598 * [backup-simplify]: Simplify (+ 0 (+ (* 3 x) z)) into (+ (* 3 x) z) 0.598 * [taylor]: Taking taylor expansion of (+ (* 3 x) z) in x 0.598 * [taylor]: Taking taylor expansion of (* 3 x) in x 0.598 * [taylor]: Taking taylor expansion of 3 in x 0.598 * [backup-simplify]: Simplify 3 into 3 0.598 * [taylor]: Taking taylor expansion of x in x 0.598 * [backup-simplify]: Simplify 0 into 0 0.598 * [backup-simplify]: Simplify 1 into 1 0.598 * [taylor]: Taking taylor expansion of z in x 0.598 * [backup-simplify]: Simplify z into z 0.599 * [backup-simplify]: Simplify (* 3 0) into 0 0.599 * [backup-simplify]: Simplify (+ 0 z) into z 0.599 * [taylor]: Taking taylor expansion of z in z 0.599 * [backup-simplify]: Simplify 0 into 0 0.599 * [backup-simplify]: Simplify 1 into 1 0.599 * [backup-simplify]: Simplify 0 into 0 0.600 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 2)) into 2 0.600 * [backup-simplify]: Simplify (+ (* x 0) (* 0 3)) into 0 0.600 * [backup-simplify]: Simplify (+ 0 0) into 0 0.601 * [backup-simplify]: Simplify (+ 2 0) into 2 0.601 * [taylor]: Taking taylor expansion of 2 in x 0.601 * [backup-simplify]: Simplify 2 into 2 0.601 * [taylor]: Taking taylor expansion of 2 in z 0.601 * [backup-simplify]: Simplify 2 into 2 0.601 * [backup-simplify]: Simplify 2 into 2 0.602 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 0.602 * [backup-simplify]: Simplify (+ 3 0) into 3 0.602 * [taylor]: Taking taylor expansion of 3 in z 0.602 * [backup-simplify]: Simplify 3 into 3 0.602 * [backup-simplify]: Simplify 3 into 3 0.602 * [backup-simplify]: Simplify 1 into 1 0.603 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 1))) (+ (* 3 (* 1 (* x 1))) (* 2 (* 1 (* 1 y))))) into (+ (* 3 x) (+ z (* 2 y))) 0.603 * [backup-simplify]: Simplify (fma (/ 1 y) 2 (fma (/ 1 x) 3 (/ 1 z))) into (fma (/ 1 y) 2 (fma (/ 1 x) 3 (/ 1 z))) 0.603 * [approximate]: Taking taylor expansion of (fma (/ 1 y) 2 (fma (/ 1 x) 3 (/ 1 z))) in (y x z) around 0 0.603 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (fma (/ 1 x) 3 (/ 1 z))) in z 0.603 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (fma (/ 1 x) 3 (/ 1 z))) 0.603 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in z 0.603 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.603 * [taylor]: Taking taylor expansion of y in z 0.603 * [backup-simplify]: Simplify y into y 0.603 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.604 * [taylor]: Taking taylor expansion of 2 in z 0.604 * [backup-simplify]: Simplify 2 into 2 0.604 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 3 (/ 1 z)) in z 0.604 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 3) (/ 1 z)) 0.604 * [taylor]: Taking taylor expansion of (* (/ 1 x) 3) in z 0.604 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.604 * [taylor]: Taking taylor expansion of x in z 0.604 * [backup-simplify]: Simplify x into x 0.604 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.604 * [taylor]: Taking taylor expansion of 3 in z 0.604 * [backup-simplify]: Simplify 3 into 3 0.604 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.604 * [taylor]: Taking taylor expansion of z in z 0.604 * [backup-simplify]: Simplify 0 into 0 0.604 * [backup-simplify]: Simplify 1 into 1 0.604 * [backup-simplify]: Simplify (/ 1 1) into 1 0.604 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (fma (/ 1 x) 3 (/ 1 z))) in x 0.604 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (fma (/ 1 x) 3 (/ 1 z))) 0.604 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in x 0.604 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.604 * [taylor]: Taking taylor expansion of y in x 0.604 * [backup-simplify]: Simplify y into y 0.605 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.605 * [taylor]: Taking taylor expansion of 2 in x 0.605 * [backup-simplify]: Simplify 2 into 2 0.605 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 3 (/ 1 z)) in x 0.605 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 3) (/ 1 z)) 0.605 * [taylor]: Taking taylor expansion of (* (/ 1 x) 3) in x 0.605 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.605 * [taylor]: Taking taylor expansion of x in x 0.605 * [backup-simplify]: Simplify 0 into 0 0.605 * [backup-simplify]: Simplify 1 into 1 0.605 * [backup-simplify]: Simplify (/ 1 1) into 1 0.605 * [taylor]: Taking taylor expansion of 3 in x 0.605 * [backup-simplify]: Simplify 3 into 3 0.605 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.605 * [taylor]: Taking taylor expansion of z in x 0.605 * [backup-simplify]: Simplify z into z 0.605 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.605 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (fma (/ 1 x) 3 (/ 1 z))) in y 0.605 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (fma (/ 1 x) 3 (/ 1 z))) 0.605 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in y 0.605 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.605 * [taylor]: Taking taylor expansion of y in y 0.605 * [backup-simplify]: Simplify 0 into 0 0.605 * [backup-simplify]: Simplify 1 into 1 0.605 * [backup-simplify]: Simplify (/ 1 1) into 1 0.605 * [taylor]: Taking taylor expansion of 2 in y 0.606 * [backup-simplify]: Simplify 2 into 2 0.606 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 3 (/ 1 z)) in y 0.606 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 3) (/ 1 z)) 0.606 * [taylor]: Taking taylor expansion of (* (/ 1 x) 3) in y 0.606 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.606 * [taylor]: Taking taylor expansion of x in y 0.606 * [backup-simplify]: Simplify x into x 0.606 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.606 * [taylor]: Taking taylor expansion of 3 in y 0.606 * [backup-simplify]: Simplify 3 into 3 0.606 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.606 * [taylor]: Taking taylor expansion of z in y 0.606 * [backup-simplify]: Simplify z into z 0.606 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.606 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (fma (/ 1 x) 3 (/ 1 z))) in y 0.606 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (fma (/ 1 x) 3 (/ 1 z))) 0.606 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in y 0.606 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.606 * [taylor]: Taking taylor expansion of y in y 0.606 * [backup-simplify]: Simplify 0 into 0 0.606 * [backup-simplify]: Simplify 1 into 1 0.606 * [backup-simplify]: Simplify (/ 1 1) into 1 0.606 * [taylor]: Taking taylor expansion of 2 in y 0.606 * [backup-simplify]: Simplify 2 into 2 0.606 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 3 (/ 1 z)) in y 0.606 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 3) (/ 1 z)) 0.606 * [taylor]: Taking taylor expansion of (* (/ 1 x) 3) in y 0.606 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.606 * [taylor]: Taking taylor expansion of x in y 0.606 * [backup-simplify]: Simplify x into x 0.606 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.606 * [taylor]: Taking taylor expansion of 3 in y 0.606 * [backup-simplify]: Simplify 3 into 3 0.606 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.606 * [taylor]: Taking taylor expansion of z in y 0.606 * [backup-simplify]: Simplify z into z 0.606 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.607 * [backup-simplify]: Simplify (* 1 2) into 2 0.607 * [backup-simplify]: Simplify (+ 2 0) into 2 0.607 * [taylor]: Taking taylor expansion of 2 in x 0.607 * [backup-simplify]: Simplify 2 into 2 0.607 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.608 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 2)) into 0 0.608 * [backup-simplify]: Simplify (* (/ 1 x) 3) into (/ 3 x) 0.608 * [backup-simplify]: Simplify (+ (/ 3 x) (/ 1 z)) into (+ (* 3 (/ 1 x)) (/ 1 z)) 0.608 * [backup-simplify]: Simplify (+ 0 (+ (* 3 (/ 1 x)) (/ 1 z))) into (+ (* 3 (/ 1 x)) (/ 1 z)) 0.608 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 x)) (/ 1 z)) in x 0.608 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.608 * [taylor]: Taking taylor expansion of 3 in x 0.608 * [backup-simplify]: Simplify 3 into 3 0.608 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.608 * [taylor]: Taking taylor expansion of x in x 0.608 * [backup-simplify]: Simplify 0 into 0 0.608 * [backup-simplify]: Simplify 1 into 1 0.609 * [backup-simplify]: Simplify (/ 1 1) into 1 0.609 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.609 * [taylor]: Taking taylor expansion of z in x 0.609 * [backup-simplify]: Simplify z into z 0.609 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.609 * [backup-simplify]: Simplify (* 3 1) into 3 0.609 * [backup-simplify]: Simplify (+ 3 0) into 3 0.609 * [taylor]: Taking taylor expansion of 3 in z 0.609 * [backup-simplify]: Simplify 3 into 3 0.609 * [taylor]: Taking taylor expansion of 2 in z 0.609 * [backup-simplify]: Simplify 2 into 2 0.610 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.610 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 2))) into 0 0.610 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 0.611 * [backup-simplify]: Simplify (+ (* (/ 1 x) 0) (* 0 3)) into 0 0.611 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 0.611 * [backup-simplify]: Simplify (+ 0 0) into 0 0.611 * [backup-simplify]: Simplify (+ 0 0) into 0 0.611 * [taylor]: Taking taylor expansion of 0 in x 0.611 * [backup-simplify]: Simplify 0 into 0 0.612 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.612 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 0.612 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z) 0.612 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.612 * [taylor]: Taking taylor expansion of z in z 0.612 * [backup-simplify]: Simplify 0 into 0 0.612 * [backup-simplify]: Simplify 1 into 1 0.612 * [backup-simplify]: Simplify (/ 1 1) into 1 0.613 * [backup-simplify]: Simplify 1 into 1 0.613 * [taylor]: Taking taylor expansion of 0 in z 0.613 * [backup-simplify]: Simplify 0 into 0 0.613 * [backup-simplify]: Simplify 3 into 3 0.613 * [backup-simplify]: Simplify 2 into 2 0.613 * [backup-simplify]: Simplify (+ (* 2 (* 1 (* 1 (/ 1 (/ 1 y))))) (+ (* 3 (* 1 (* (/ 1 (/ 1 x)) 1))) (* 1 (* (/ 1 (/ 1 z)) (* 1 1))))) into (+ (* 3 x) (+ z (* 2 y))) 0.613 * [backup-simplify]: Simplify (fma (/ 1 (- y)) 2 (fma (/ 1 (- x)) 3 (/ 1 (- z)))) into (fma (/ -1 y) 2 (fma (/ -1 x) 3 (/ -1 z))) 0.613 * [approximate]: Taking taylor expansion of (fma (/ -1 y) 2 (fma (/ -1 x) 3 (/ -1 z))) in (y x z) around 0 0.613 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (fma (/ -1 x) 3 (/ -1 z))) in z 0.613 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (fma (/ -1 x) 3 (/ -1 z))) 0.613 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in z 0.613 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.613 * [taylor]: Taking taylor expansion of -1 in z 0.613 * [backup-simplify]: Simplify -1 into -1 0.613 * [taylor]: Taking taylor expansion of y in z 0.613 * [backup-simplify]: Simplify y into y 0.613 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.613 * [taylor]: Taking taylor expansion of 2 in z 0.613 * [backup-simplify]: Simplify 2 into 2 0.613 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 3 (/ -1 z)) in z 0.613 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 3) (/ -1 z)) 0.613 * [taylor]: Taking taylor expansion of (* (/ -1 x) 3) in z 0.614 * [taylor]: Taking taylor expansion of (/ -1 x) in z 0.614 * [taylor]: Taking taylor expansion of -1 in z 0.614 * [backup-simplify]: Simplify -1 into -1 0.614 * [taylor]: Taking taylor expansion of x in z 0.614 * [backup-simplify]: Simplify x into x 0.614 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.614 * [taylor]: Taking taylor expansion of 3 in z 0.614 * [backup-simplify]: Simplify 3 into 3 0.614 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.614 * [taylor]: Taking taylor expansion of -1 in z 0.614 * [backup-simplify]: Simplify -1 into -1 0.614 * [taylor]: Taking taylor expansion of z in z 0.614 * [backup-simplify]: Simplify 0 into 0 0.614 * [backup-simplify]: Simplify 1 into 1 0.614 * [backup-simplify]: Simplify (/ -1 1) into -1 0.614 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (fma (/ -1 x) 3 (/ -1 z))) in x 0.614 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (fma (/ -1 x) 3 (/ -1 z))) 0.614 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in x 0.614 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.614 * [taylor]: Taking taylor expansion of -1 in x 0.614 * [backup-simplify]: Simplify -1 into -1 0.614 * [taylor]: Taking taylor expansion of y in x 0.614 * [backup-simplify]: Simplify y into y 0.614 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.614 * [taylor]: Taking taylor expansion of 2 in x 0.614 * [backup-simplify]: Simplify 2 into 2 0.614 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 3 (/ -1 z)) in x 0.614 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 3) (/ -1 z)) 0.614 * [taylor]: Taking taylor expansion of (* (/ -1 x) 3) in x 0.614 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.614 * [taylor]: Taking taylor expansion of -1 in x 0.614 * [backup-simplify]: Simplify -1 into -1 0.614 * [taylor]: Taking taylor expansion of x in x 0.614 * [backup-simplify]: Simplify 0 into 0 0.614 * [backup-simplify]: Simplify 1 into 1 0.615 * [backup-simplify]: Simplify (/ -1 1) into -1 0.615 * [taylor]: Taking taylor expansion of 3 in x 0.615 * [backup-simplify]: Simplify 3 into 3 0.615 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.615 * [taylor]: Taking taylor expansion of -1 in x 0.615 * [backup-simplify]: Simplify -1 into -1 0.615 * [taylor]: Taking taylor expansion of z in x 0.615 * [backup-simplify]: Simplify z into z 0.615 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.615 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (fma (/ -1 x) 3 (/ -1 z))) in y 0.615 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (fma (/ -1 x) 3 (/ -1 z))) 0.615 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in y 0.615 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.615 * [taylor]: Taking taylor expansion of -1 in y 0.615 * [backup-simplify]: Simplify -1 into -1 0.615 * [taylor]: Taking taylor expansion of y in y 0.615 * [backup-simplify]: Simplify 0 into 0 0.615 * [backup-simplify]: Simplify 1 into 1 0.615 * [backup-simplify]: Simplify (/ -1 1) into -1 0.615 * [taylor]: Taking taylor expansion of 2 in y 0.615 * [backup-simplify]: Simplify 2 into 2 0.615 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 3 (/ -1 z)) in y 0.615 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 3) (/ -1 z)) 0.615 * [taylor]: Taking taylor expansion of (* (/ -1 x) 3) in y 0.615 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.615 * [taylor]: Taking taylor expansion of -1 in y 0.615 * [backup-simplify]: Simplify -1 into -1 0.615 * [taylor]: Taking taylor expansion of x in y 0.615 * [backup-simplify]: Simplify x into x 0.615 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.615 * [taylor]: Taking taylor expansion of 3 in y 0.615 * [backup-simplify]: Simplify 3 into 3 0.615 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.615 * [taylor]: Taking taylor expansion of -1 in y 0.615 * [backup-simplify]: Simplify -1 into -1 0.615 * [taylor]: Taking taylor expansion of z in y 0.615 * [backup-simplify]: Simplify z into z 0.616 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.616 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (fma (/ -1 x) 3 (/ -1 z))) in y 0.616 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (fma (/ -1 x) 3 (/ -1 z))) 0.616 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in y 0.616 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.616 * [taylor]: Taking taylor expansion of -1 in y 0.616 * [backup-simplify]: Simplify -1 into -1 0.616 * [taylor]: Taking taylor expansion of y in y 0.616 * [backup-simplify]: Simplify 0 into 0 0.616 * [backup-simplify]: Simplify 1 into 1 0.616 * [backup-simplify]: Simplify (/ -1 1) into -1 0.616 * [taylor]: Taking taylor expansion of 2 in y 0.616 * [backup-simplify]: Simplify 2 into 2 0.616 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 3 (/ -1 z)) in y 0.616 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 3) (/ -1 z)) 0.616 * [taylor]: Taking taylor expansion of (* (/ -1 x) 3) in y 0.616 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.616 * [taylor]: Taking taylor expansion of -1 in y 0.616 * [backup-simplify]: Simplify -1 into -1 0.616 * [taylor]: Taking taylor expansion of x in y 0.616 * [backup-simplify]: Simplify x into x 0.616 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.616 * [taylor]: Taking taylor expansion of 3 in y 0.616 * [backup-simplify]: Simplify 3 into 3 0.616 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.616 * [taylor]: Taking taylor expansion of -1 in y 0.616 * [backup-simplify]: Simplify -1 into -1 0.616 * [taylor]: Taking taylor expansion of z in y 0.616 * [backup-simplify]: Simplify z into z 0.616 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.617 * [backup-simplify]: Simplify (* -1 2) into -2 0.617 * [backup-simplify]: Simplify (+ -2 0) into -2 0.617 * [taylor]: Taking taylor expansion of -2 in x 0.617 * [backup-simplify]: Simplify -2 into -2 0.617 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.618 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 2)) into 0 0.618 * [backup-simplify]: Simplify (* (/ -1 x) 3) into (/ -3 x) 0.618 * [backup-simplify]: Simplify (+ (/ -3 x) (/ -1 z)) into (- (+ (* 3 (/ 1 x)) (/ 1 z))) 0.618 * [backup-simplify]: Simplify (+ 0 (- (+ (* 3 (/ 1 x)) (/ 1 z)))) into (- (+ (* 3 (/ 1 x)) (/ 1 z))) 0.618 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ 1 x)) (/ 1 z))) in x 0.618 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 x)) (/ 1 z)) in x 0.618 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 0.618 * [taylor]: Taking taylor expansion of 3 in x 0.618 * [backup-simplify]: Simplify 3 into 3 0.618 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.618 * [taylor]: Taking taylor expansion of x in x 0.618 * [backup-simplify]: Simplify 0 into 0 0.618 * [backup-simplify]: Simplify 1 into 1 0.618 * [backup-simplify]: Simplify (/ 1 1) into 1 0.619 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.619 * [taylor]: Taking taylor expansion of z in x 0.619 * [backup-simplify]: Simplify z into z 0.619 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.619 * [backup-simplify]: Simplify (* 3 1) into 3 0.619 * [backup-simplify]: Simplify (+ 3 0) into 3 0.619 * [backup-simplify]: Simplify (- 3) into -3 0.619 * [taylor]: Taking taylor expansion of -3 in z 0.619 * [backup-simplify]: Simplify -3 into -3 0.619 * [taylor]: Taking taylor expansion of -2 in z 0.619 * [backup-simplify]: Simplify -2 into -2 0.620 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.621 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 2))) into 0 0.621 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 0.621 * [backup-simplify]: Simplify (+ (* (/ -1 x) 0) (* 0 3)) into 0 0.621 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 0.621 * [backup-simplify]: Simplify (+ 0 0) into 0 0.622 * [backup-simplify]: Simplify (+ 0 0) into 0 0.622 * [taylor]: Taking taylor expansion of 0 in x 0.622 * [backup-simplify]: Simplify 0 into 0 0.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.623 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 0.623 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z) 0.623 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 0.623 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.623 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.623 * [taylor]: Taking taylor expansion of z in z 0.623 * [backup-simplify]: Simplify 0 into 0 0.623 * [backup-simplify]: Simplify 1 into 1 0.623 * [backup-simplify]: Simplify (/ 1 1) into 1 0.623 * [backup-simplify]: Simplify (- 1) into -1 0.623 * [backup-simplify]: Simplify -1 into -1 0.623 * [taylor]: Taking taylor expansion of 0 in z 0.623 * [backup-simplify]: Simplify 0 into 0 0.623 * [backup-simplify]: Simplify -3 into -3 0.623 * [backup-simplify]: Simplify -2 into -2 0.624 * [backup-simplify]: Simplify (+ (* -2 (* 1 (* 1 (/ 1 (/ 1 (- y)))))) (+ (* -3 (* 1 (* (/ 1 (/ 1 (- x))) 1))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 1))))) into (+ (* 3 x) (+ z (* 2 y))) 0.624 * * * [progress]: simplifying candidates 0.624 * * * * [progress]: [ 1 / 28 ] simplifiying candidate # 0.624 * * * * [progress]: [ 2 / 28 ] simplifiying candidate # 0.624 * * * * [progress]: [ 3 / 28 ] simplifiying candidate # 0.624 * * * * [progress]: [ 4 / 28 ] simplifiying candidate # 0.624 * * * * [progress]: [ 5 / 28 ] simplifiying candidate # 0.624 * * * * [progress]: [ 6 / 28 ] simplifiying candidate # 0.624 * * * * [progress]: [ 7 / 28 ] simplifiying candidate # 0.624 * * * * [progress]: [ 8 / 28 ] simplifiying candidate # 0.624 * * * * [progress]: [ 9 / 28 ] simplifiying candidate # 0.624 * * * * [progress]: [ 10 / 28 ] simplifiying candidate # 0.624 * * * * [progress]: [ 11 / 28 ] simplifiying candidate #real (real->posit16 (fma x 3 z)))))> 0.624 * * * * [progress]: [ 12 / 28 ] simplifiying candidate # 0.624 * * * * [progress]: [ 13 / 28 ] simplifiying candidate # 0.624 * * * * [progress]: [ 14 / 28 ] simplifiying candidate # 0.624 * * * * [progress]: [ 15 / 28 ] simplifiying candidate # 0.625 * * * * [progress]: [ 16 / 28 ] simplifiying candidate # 0.625 * * * * [progress]: [ 17 / 28 ] simplifiying candidate # 0.625 * * * * [progress]: [ 18 / 28 ] simplifiying candidate # 0.625 * * * * [progress]: [ 19 / 28 ] simplifiying candidate # 0.625 * * * * [progress]: [ 20 / 28 ] simplifiying candidate # 0.625 * * * * [progress]: [ 21 / 28 ] simplifiying candidate # 0.625 * * * * [progress]: [ 22 / 28 ] simplifiying candidate #real (real->posit16 (fma y 2 (fma x 3 z)))))> 0.625 * * * * [progress]: [ 23 / 28 ] simplifiying candidate # 0.625 * * * * [progress]: [ 24 / 28 ] simplifiying candidate # 0.625 * * * * [progress]: [ 25 / 28 ] simplifiying candidate # 0.625 * * * * [progress]: [ 26 / 28 ] simplifiying candidate # 0.625 * * * * [progress]: [ 27 / 28 ] simplifiying candidate # 0.625 * * * * [progress]: [ 28 / 28 ] simplifiying candidate # 0.625 * [simplify]: Simplifying: (expm1 (fma x 3 z)) (log1p (fma x 3 z)) (* x 3) (log (fma x 3 z)) (exp (fma x 3 z)) (* (cbrt (fma x 3 z)) (cbrt (fma x 3 z))) (cbrt (fma x 3 z)) (* (* (fma x 3 z) (fma x 3 z)) (fma x 3 z)) (sqrt (fma x 3 z)) (sqrt (fma x 3 z)) (real->posit16 (fma x 3 z)) (expm1 (fma y 2 (fma x 3 z))) (log1p (fma y 2 (fma x 3 z))) (* y 2) (log (fma y 2 (fma x 3 z))) (exp (fma y 2 (fma x 3 z))) (* (cbrt (fma y 2 (fma x 3 z))) (cbrt (fma y 2 (fma x 3 z)))) (cbrt (fma y 2 (fma x 3 z))) (* (* (fma y 2 (fma x 3 z)) (fma y 2 (fma x 3 z))) (fma y 2 (fma x 3 z))) (sqrt (fma y 2 (fma x 3 z))) (sqrt (fma y 2 (fma x 3 z))) (real->posit16 (fma y 2 (fma x 3 z))) (+ (* 3 x) z) (+ (* 3 x) z) (+ (* 3 x) z) (+ (* 3 x) (+ z (* 2 y))) (+ (* 3 x) (+ z (* 2 y))) (+ (* 3 x) (+ z (* 2 y))) 0.625 * * [simplify]: iteration 0: 34 enodes 0.630 * * [simplify]: iteration 1: 44 enodes 0.636 * * [simplify]: iteration 2: 65 enodes 0.649 * * [simplify]: iteration 3: 168 enodes 0.732 * * [simplify]: iteration 4: 659 enodes 1.548 * * [simplify]: iteration 5: 3571 enodes 2.594 * * [simplify]: iteration complete: 5000 enodes 2.594 * * [simplify]: Extracting #0: cost 22 inf + 0 2.595 * * [simplify]: Extracting #1: cost 247 inf + 0 2.599 * * [simplify]: Extracting #2: cost 701 inf + 3442 2.614 * * [simplify]: Extracting #3: cost 457 inf + 50248 2.699 * * [simplify]: Extracting #4: cost 49 inf + 135494 2.785 * * [simplify]: Extracting #5: cost 0 inf + 147474 2.893 * * [simplify]: Extracting #6: cost 0 inf + 147444 2.980 * [simplify]: Simplified to: (expm1 (fma 3 x z)) (log1p (fma 3 x z)) (* x 3) (log (fma 3 x z)) (exp (fma 3 x z)) (* (cbrt (fma 3 x z)) (cbrt (fma 3 x z))) (cbrt (fma 3 x z)) (* (fma 3 x z) (* (fma 3 x z) (fma 3 x z))) (sqrt (fma 3 x z)) (sqrt (fma 3 x z)) (real->posit16 (fma 3 x z)) (expm1 (fma 2 y (fma 3 x z))) (log1p (fma 2 y (fma 3 x z))) (* y 2) (log (fma 2 y (fma 3 x z))) (exp (fma 2 y (fma 3 x z))) (* (cbrt (fma 2 y (fma 3 x z))) (cbrt (fma 2 y (fma 3 x z)))) (cbrt (fma 2 y (fma 3 x z))) (* (* (fma 2 y (fma 3 x z)) (fma 2 y (fma 3 x z))) (fma 2 y (fma 3 x z))) (sqrt (fma 2 y (fma 3 x z))) (sqrt (fma 2 y (fma 3 x z))) (real->posit16 (fma 2 y (fma 3 x z))) (fma 3 x z) (fma 3 x z) (fma 3 x z) (fma 2 y (fma 3 x z)) (fma 2 y (fma 3 x z)) (fma 2 y (fma 3 x z)) 2.981 * * * [progress]: adding candidates to table 3.089 * * [progress]: iteration 2 / 4 3.089 * * * [progress]: picking best candidate 3.105 * * * * [pick]: Picked # 3.106 * * * [progress]: localizing error 3.127 * * * [progress]: generating rewritten candidates 3.127 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3) 3.140 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 3.140 * * * [progress]: generating series expansions 3.140 * * * * [progress]: [ 1 / 2 ] generating series at (2 3) 3.141 * [backup-simplify]: Simplify (+ (* x 3) z) into (+ (* 3 x) z) 3.141 * [approximate]: Taking taylor expansion of (+ (* 3 x) z) in (x z) around 0 3.141 * [taylor]: Taking taylor expansion of (+ (* 3 x) z) in z 3.141 * [taylor]: Taking taylor expansion of (* 3 x) in z 3.141 * [taylor]: Taking taylor expansion of 3 in z 3.141 * [backup-simplify]: Simplify 3 into 3 3.141 * [taylor]: Taking taylor expansion of x in z 3.141 * [backup-simplify]: Simplify x into x 3.141 * [taylor]: Taking taylor expansion of z in z 3.141 * [backup-simplify]: Simplify 0 into 0 3.141 * [backup-simplify]: Simplify 1 into 1 3.141 * [taylor]: Taking taylor expansion of (+ (* 3 x) z) in x 3.141 * [taylor]: Taking taylor expansion of (* 3 x) in x 3.141 * [taylor]: Taking taylor expansion of 3 in x 3.141 * [backup-simplify]: Simplify 3 into 3 3.141 * [taylor]: Taking taylor expansion of x in x 3.141 * [backup-simplify]: Simplify 0 into 0 3.141 * [backup-simplify]: Simplify 1 into 1 3.141 * [taylor]: Taking taylor expansion of z in x 3.141 * [backup-simplify]: Simplify z into z 3.141 * [taylor]: Taking taylor expansion of (+ (* 3 x) z) in x 3.141 * [taylor]: Taking taylor expansion of (* 3 x) in x 3.141 * [taylor]: Taking taylor expansion of 3 in x 3.141 * [backup-simplify]: Simplify 3 into 3 3.141 * [taylor]: Taking taylor expansion of x in x 3.141 * [backup-simplify]: Simplify 0 into 0 3.141 * [backup-simplify]: Simplify 1 into 1 3.141 * [taylor]: Taking taylor expansion of z in x 3.141 * [backup-simplify]: Simplify z into z 3.142 * [backup-simplify]: Simplify (* 3 0) into 0 3.142 * [backup-simplify]: Simplify (+ 0 z) into z 3.142 * [taylor]: Taking taylor expansion of z in z 3.142 * [backup-simplify]: Simplify 0 into 0 3.142 * [backup-simplify]: Simplify 1 into 1 3.142 * [backup-simplify]: Simplify 0 into 0 3.143 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 3.143 * [backup-simplify]: Simplify (+ 3 0) into 3 3.143 * [taylor]: Taking taylor expansion of 3 in z 3.143 * [backup-simplify]: Simplify 3 into 3 3.143 * [backup-simplify]: Simplify 3 into 3 3.144 * [backup-simplify]: Simplify 1 into 1 3.145 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 3.145 * [backup-simplify]: Simplify (+ 0 0) into 0 3.145 * [taylor]: Taking taylor expansion of 0 in z 3.145 * [backup-simplify]: Simplify 0 into 0 3.145 * [backup-simplify]: Simplify 0 into 0 3.145 * [backup-simplify]: Simplify 0 into 0 3.145 * [backup-simplify]: Simplify 0 into 0 3.146 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.147 * [backup-simplify]: Simplify (+ 0 0) into 0 3.147 * [taylor]: Taking taylor expansion of 0 in z 3.147 * [backup-simplify]: Simplify 0 into 0 3.147 * [backup-simplify]: Simplify 0 into 0 3.147 * [backup-simplify]: Simplify 0 into 0 3.147 * [backup-simplify]: Simplify 0 into 0 3.147 * [backup-simplify]: Simplify (+ (* 1 (* z 1)) (* 3 (* 1 x))) into (+ (* 3 x) z) 3.147 * [backup-simplify]: Simplify (+ (* (/ 1 x) 3) (/ 1 z)) into (+ (* 3 (/ 1 x)) (/ 1 z)) 3.147 * [approximate]: Taking taylor expansion of (+ (* 3 (/ 1 x)) (/ 1 z)) in (x z) around 0 3.147 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 x)) (/ 1 z)) in z 3.147 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z 3.147 * [taylor]: Taking taylor expansion of 3 in z 3.147 * [backup-simplify]: Simplify 3 into 3 3.147 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.147 * [taylor]: Taking taylor expansion of x in z 3.147 * [backup-simplify]: Simplify x into x 3.147 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.147 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.147 * [taylor]: Taking taylor expansion of z in z 3.147 * [backup-simplify]: Simplify 0 into 0 3.147 * [backup-simplify]: Simplify 1 into 1 3.148 * [backup-simplify]: Simplify (/ 1 1) into 1 3.148 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 x)) (/ 1 z)) in x 3.148 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 3.148 * [taylor]: Taking taylor expansion of 3 in x 3.148 * [backup-simplify]: Simplify 3 into 3 3.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.148 * [taylor]: Taking taylor expansion of x in x 3.148 * [backup-simplify]: Simplify 0 into 0 3.148 * [backup-simplify]: Simplify 1 into 1 3.148 * [backup-simplify]: Simplify (/ 1 1) into 1 3.148 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.149 * [taylor]: Taking taylor expansion of z in x 3.149 * [backup-simplify]: Simplify z into z 3.149 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.149 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 x)) (/ 1 z)) in x 3.149 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 3.149 * [taylor]: Taking taylor expansion of 3 in x 3.149 * [backup-simplify]: Simplify 3 into 3 3.149 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.149 * [taylor]: Taking taylor expansion of x in x 3.149 * [backup-simplify]: Simplify 0 into 0 3.149 * [backup-simplify]: Simplify 1 into 1 3.149 * [backup-simplify]: Simplify (/ 1 1) into 1 3.149 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.149 * [taylor]: Taking taylor expansion of z in x 3.149 * [backup-simplify]: Simplify z into z 3.149 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.150 * [backup-simplify]: Simplify (* 3 1) into 3 3.150 * [backup-simplify]: Simplify (+ 3 0) into 3 3.150 * [taylor]: Taking taylor expansion of 3 in z 3.150 * [backup-simplify]: Simplify 3 into 3 3.151 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.152 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 3.152 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z) 3.152 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.152 * [taylor]: Taking taylor expansion of z in z 3.152 * [backup-simplify]: Simplify 0 into 0 3.152 * [backup-simplify]: Simplify 1 into 1 3.152 * [backup-simplify]: Simplify (/ 1 1) into 1 3.152 * [backup-simplify]: Simplify 1 into 1 3.152 * [backup-simplify]: Simplify 3 into 3 3.153 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.154 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 3.154 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 3.155 * [backup-simplify]: Simplify (+ 0 0) into 0 3.155 * [taylor]: Taking taylor expansion of 0 in z 3.155 * [backup-simplify]: Simplify 0 into 0 3.156 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.156 * [backup-simplify]: Simplify 0 into 0 3.156 * [backup-simplify]: Simplify 0 into 0 3.157 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.158 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.159 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.159 * [backup-simplify]: Simplify (+ 0 0) into 0 3.159 * [taylor]: Taking taylor expansion of 0 in z 3.159 * [backup-simplify]: Simplify 0 into 0 3.159 * [backup-simplify]: Simplify 0 into 0 3.160 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.160 * [backup-simplify]: Simplify 0 into 0 3.160 * [backup-simplify]: Simplify 0 into 0 3.161 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.162 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.163 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.163 * [backup-simplify]: Simplify (+ 0 0) into 0 3.163 * [taylor]: Taking taylor expansion of 0 in z 3.163 * [backup-simplify]: Simplify 0 into 0 3.163 * [backup-simplify]: Simplify 0 into 0 3.163 * [backup-simplify]: Simplify (+ (* 3 (* 1 (/ 1 (/ 1 x)))) (* 1 (* (/ 1 (/ 1 z)) 1))) into (+ (* 3 x) z) 3.164 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) 3) (/ 1 (- z))) into (- (+ (* 3 (/ 1 x)) (/ 1 z))) 3.164 * [approximate]: Taking taylor expansion of (- (+ (* 3 (/ 1 x)) (/ 1 z))) in (x z) around 0 3.164 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ 1 x)) (/ 1 z))) in z 3.164 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 x)) (/ 1 z)) in z 3.164 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z 3.164 * [taylor]: Taking taylor expansion of 3 in z 3.164 * [backup-simplify]: Simplify 3 into 3 3.164 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.164 * [taylor]: Taking taylor expansion of x in z 3.164 * [backup-simplify]: Simplify x into x 3.164 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.164 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.164 * [taylor]: Taking taylor expansion of z in z 3.164 * [backup-simplify]: Simplify 0 into 0 3.164 * [backup-simplify]: Simplify 1 into 1 3.164 * [backup-simplify]: Simplify (/ 1 1) into 1 3.164 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ 1 x)) (/ 1 z))) in x 3.164 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 x)) (/ 1 z)) in x 3.164 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 3.164 * [taylor]: Taking taylor expansion of 3 in x 3.165 * [backup-simplify]: Simplify 3 into 3 3.165 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.165 * [taylor]: Taking taylor expansion of x in x 3.165 * [backup-simplify]: Simplify 0 into 0 3.165 * [backup-simplify]: Simplify 1 into 1 3.165 * [backup-simplify]: Simplify (/ 1 1) into 1 3.165 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.165 * [taylor]: Taking taylor expansion of z in x 3.165 * [backup-simplify]: Simplify z into z 3.165 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.165 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ 1 x)) (/ 1 z))) in x 3.165 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 x)) (/ 1 z)) in x 3.165 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 3.165 * [taylor]: Taking taylor expansion of 3 in x 3.165 * [backup-simplify]: Simplify 3 into 3 3.165 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.165 * [taylor]: Taking taylor expansion of x in x 3.165 * [backup-simplify]: Simplify 0 into 0 3.165 * [backup-simplify]: Simplify 1 into 1 3.166 * [backup-simplify]: Simplify (/ 1 1) into 1 3.166 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.166 * [taylor]: Taking taylor expansion of z in x 3.166 * [backup-simplify]: Simplify z into z 3.166 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.166 * [backup-simplify]: Simplify (* 3 1) into 3 3.167 * [backup-simplify]: Simplify (+ 3 0) into 3 3.167 * [backup-simplify]: Simplify (- 3) into -3 3.167 * [taylor]: Taking taylor expansion of -3 in z 3.167 * [backup-simplify]: Simplify -3 into -3 3.168 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.169 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 3.169 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z) 3.169 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 3.169 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.169 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.169 * [taylor]: Taking taylor expansion of z in z 3.169 * [backup-simplify]: Simplify 0 into 0 3.169 * [backup-simplify]: Simplify 1 into 1 3.170 * [backup-simplify]: Simplify (/ 1 1) into 1 3.170 * [backup-simplify]: Simplify (- 1) into -1 3.170 * [backup-simplify]: Simplify -1 into -1 3.170 * [backup-simplify]: Simplify -3 into -3 3.171 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.172 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 3.172 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 3.173 * [backup-simplify]: Simplify (+ 0 0) into 0 3.173 * [backup-simplify]: Simplify (- 0) into 0 3.173 * [taylor]: Taking taylor expansion of 0 in z 3.173 * [backup-simplify]: Simplify 0 into 0 3.174 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.174 * [backup-simplify]: Simplify (- 0) into 0 3.174 * [backup-simplify]: Simplify 0 into 0 3.174 * [backup-simplify]: Simplify 0 into 0 3.175 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.176 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.177 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.177 * [backup-simplify]: Simplify (+ 0 0) into 0 3.177 * [backup-simplify]: Simplify (- 0) into 0 3.177 * [taylor]: Taking taylor expansion of 0 in z 3.177 * [backup-simplify]: Simplify 0 into 0 3.178 * [backup-simplify]: Simplify 0 into 0 3.178 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.179 * [backup-simplify]: Simplify (- 0) into 0 3.179 * [backup-simplify]: Simplify 0 into 0 3.179 * [backup-simplify]: Simplify 0 into 0 3.180 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.181 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.181 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.182 * [backup-simplify]: Simplify (+ 0 0) into 0 3.182 * [backup-simplify]: Simplify (- 0) into 0 3.182 * [taylor]: Taking taylor expansion of 0 in z 3.182 * [backup-simplify]: Simplify 0 into 0 3.182 * [backup-simplify]: Simplify 0 into 0 3.183 * [backup-simplify]: Simplify (+ (* -3 (* 1 (/ 1 (/ 1 (- x))))) (* -1 (* (/ 1 (/ 1 (- z))) 1))) into (+ (* 3 x) z) 3.183 * * * * [progress]: [ 2 / 2 ] generating series at (2) 3.183 * [backup-simplify]: Simplify (fma y 2 (+ (* x 3) z)) into (fma y 2 (+ (* 3 x) z)) 3.183 * [approximate]: Taking taylor expansion of (fma y 2 (+ (* 3 x) z)) in (y x z) around 0 3.183 * [taylor]: Taking taylor expansion of (fma y 2 (+ (* 3 x) z)) in z 3.183 * [taylor]: Rewrote expression to (+ (* y 2) (+ (* 3 x) z)) 3.183 * [taylor]: Taking taylor expansion of (* y 2) in z 3.183 * [taylor]: Taking taylor expansion of y in z 3.183 * [backup-simplify]: Simplify y into y 3.183 * [taylor]: Taking taylor expansion of 2 in z 3.183 * [backup-simplify]: Simplify 2 into 2 3.183 * [taylor]: Taking taylor expansion of (+ (* 3 x) z) in z 3.183 * [taylor]: Taking taylor expansion of (* 3 x) in z 3.183 * [taylor]: Taking taylor expansion of 3 in z 3.183 * [backup-simplify]: Simplify 3 into 3 3.183 * [taylor]: Taking taylor expansion of x in z 3.183 * [backup-simplify]: Simplify x into x 3.183 * [taylor]: Taking taylor expansion of z in z 3.183 * [backup-simplify]: Simplify 0 into 0 3.183 * [backup-simplify]: Simplify 1 into 1 3.183 * [taylor]: Taking taylor expansion of (fma y 2 (+ (* 3 x) z)) in x 3.183 * [taylor]: Rewrote expression to (+ (* y 2) (+ (* 3 x) z)) 3.183 * [taylor]: Taking taylor expansion of (* y 2) in x 3.183 * [taylor]: Taking taylor expansion of y in x 3.183 * [backup-simplify]: Simplify y into y 3.183 * [taylor]: Taking taylor expansion of 2 in x 3.183 * [backup-simplify]: Simplify 2 into 2 3.184 * [taylor]: Taking taylor expansion of (+ (* 3 x) z) in x 3.184 * [taylor]: Taking taylor expansion of (* 3 x) in x 3.184 * [taylor]: Taking taylor expansion of 3 in x 3.184 * [backup-simplify]: Simplify 3 into 3 3.184 * [taylor]: Taking taylor expansion of x in x 3.184 * [backup-simplify]: Simplify 0 into 0 3.184 * [backup-simplify]: Simplify 1 into 1 3.184 * [taylor]: Taking taylor expansion of z in x 3.184 * [backup-simplify]: Simplify z into z 3.184 * [taylor]: Taking taylor expansion of (fma y 2 (+ (* 3 x) z)) in y 3.184 * [taylor]: Rewrote expression to (+ (* y 2) (+ (* 3 x) z)) 3.184 * [taylor]: Taking taylor expansion of (* y 2) in y 3.184 * [taylor]: Taking taylor expansion of y in y 3.184 * [backup-simplify]: Simplify 0 into 0 3.184 * [backup-simplify]: Simplify 1 into 1 3.184 * [taylor]: Taking taylor expansion of 2 in y 3.184 * [backup-simplify]: Simplify 2 into 2 3.184 * [taylor]: Taking taylor expansion of (+ (* 3 x) z) in y 3.184 * [taylor]: Taking taylor expansion of (* 3 x) in y 3.184 * [taylor]: Taking taylor expansion of 3 in y 3.184 * [backup-simplify]: Simplify 3 into 3 3.184 * [taylor]: Taking taylor expansion of x in y 3.184 * [backup-simplify]: Simplify x into x 3.184 * [taylor]: Taking taylor expansion of z in y 3.184 * [backup-simplify]: Simplify z into z 3.184 * [taylor]: Taking taylor expansion of (fma y 2 (+ (* 3 x) z)) in y 3.184 * [taylor]: Rewrote expression to (+ (* y 2) (+ (* 3 x) z)) 3.184 * [taylor]: Taking taylor expansion of (* y 2) in y 3.184 * [taylor]: Taking taylor expansion of y in y 3.184 * [backup-simplify]: Simplify 0 into 0 3.184 * [backup-simplify]: Simplify 1 into 1 3.184 * [taylor]: Taking taylor expansion of 2 in y 3.184 * [backup-simplify]: Simplify 2 into 2 3.184 * [taylor]: Taking taylor expansion of (+ (* 3 x) z) in y 3.184 * [taylor]: Taking taylor expansion of (* 3 x) in y 3.184 * [taylor]: Taking taylor expansion of 3 in y 3.184 * [backup-simplify]: Simplify 3 into 3 3.184 * [taylor]: Taking taylor expansion of x in y 3.184 * [backup-simplify]: Simplify x into x 3.184 * [taylor]: Taking taylor expansion of z in y 3.185 * [backup-simplify]: Simplify z into z 3.185 * [backup-simplify]: Simplify (* 0 2) into 0 3.185 * [backup-simplify]: Simplify (* 3 x) into (* 3 x) 3.185 * [backup-simplify]: Simplify (+ (* 3 x) z) into (+ (* 3 x) z) 3.185 * [backup-simplify]: Simplify (+ 0 (+ (* 3 x) z)) into (+ (* 3 x) z) 3.185 * [taylor]: Taking taylor expansion of (+ (* 3 x) z) in x 3.185 * [taylor]: Taking taylor expansion of (* 3 x) in x 3.185 * [taylor]: Taking taylor expansion of 3 in x 3.185 * [backup-simplify]: Simplify 3 into 3 3.185 * [taylor]: Taking taylor expansion of x in x 3.186 * [backup-simplify]: Simplify 0 into 0 3.186 * [backup-simplify]: Simplify 1 into 1 3.186 * [taylor]: Taking taylor expansion of z in x 3.186 * [backup-simplify]: Simplify z into z 3.186 * [backup-simplify]: Simplify (* 3 0) into 0 3.186 * [backup-simplify]: Simplify (+ 0 z) into z 3.186 * [taylor]: Taking taylor expansion of z in z 3.186 * [backup-simplify]: Simplify 0 into 0 3.186 * [backup-simplify]: Simplify 1 into 1 3.186 * [backup-simplify]: Simplify 0 into 0 3.187 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 2)) into 2 3.187 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 x)) into 0 3.188 * [backup-simplify]: Simplify (+ 0 0) into 0 3.188 * [backup-simplify]: Simplify (+ 2 0) into 2 3.188 * [taylor]: Taking taylor expansion of 2 in x 3.188 * [backup-simplify]: Simplify 2 into 2 3.188 * [taylor]: Taking taylor expansion of 2 in z 3.188 * [backup-simplify]: Simplify 2 into 2 3.188 * [backup-simplify]: Simplify 2 into 2 3.189 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 3.190 * [backup-simplify]: Simplify (+ 3 0) into 3 3.190 * [taylor]: Taking taylor expansion of 3 in z 3.190 * [backup-simplify]: Simplify 3 into 3 3.190 * [backup-simplify]: Simplify 3 into 3 3.190 * [backup-simplify]: Simplify 1 into 1 3.190 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 1))) (+ (* 3 (* 1 (* x 1))) (* 2 (* 1 (* 1 y))))) into (+ (* 3 x) (+ z (* 2 y))) 3.191 * [backup-simplify]: Simplify (fma (/ 1 y) 2 (+ (* (/ 1 x) 3) (/ 1 z))) into (fma (/ 1 y) 2 (+ (* 3 (/ 1 x)) (/ 1 z))) 3.191 * [approximate]: Taking taylor expansion of (fma (/ 1 y) 2 (+ (* 3 (/ 1 x)) (/ 1 z))) in (y x z) around 0 3.191 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (+ (* 3 (/ 1 x)) (/ 1 z))) in z 3.191 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (+ (* 3 (/ 1 x)) (/ 1 z))) 3.191 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in z 3.191 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.191 * [taylor]: Taking taylor expansion of y in z 3.191 * [backup-simplify]: Simplify y into y 3.191 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.191 * [taylor]: Taking taylor expansion of 2 in z 3.191 * [backup-simplify]: Simplify 2 into 2 3.191 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 x)) (/ 1 z)) in z 3.191 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z 3.191 * [taylor]: Taking taylor expansion of 3 in z 3.191 * [backup-simplify]: Simplify 3 into 3 3.191 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.191 * [taylor]: Taking taylor expansion of x in z 3.191 * [backup-simplify]: Simplify x into x 3.191 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.191 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.191 * [taylor]: Taking taylor expansion of z in z 3.191 * [backup-simplify]: Simplify 0 into 0 3.191 * [backup-simplify]: Simplify 1 into 1 3.192 * [backup-simplify]: Simplify (/ 1 1) into 1 3.192 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (+ (* 3 (/ 1 x)) (/ 1 z))) in x 3.192 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (+ (* 3 (/ 1 x)) (/ 1 z))) 3.192 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in x 3.192 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.192 * [taylor]: Taking taylor expansion of y in x 3.192 * [backup-simplify]: Simplify y into y 3.192 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.192 * [taylor]: Taking taylor expansion of 2 in x 3.192 * [backup-simplify]: Simplify 2 into 2 3.192 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 x)) (/ 1 z)) in x 3.192 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 3.192 * [taylor]: Taking taylor expansion of 3 in x 3.192 * [backup-simplify]: Simplify 3 into 3 3.192 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.192 * [taylor]: Taking taylor expansion of x in x 3.192 * [backup-simplify]: Simplify 0 into 0 3.192 * [backup-simplify]: Simplify 1 into 1 3.192 * [backup-simplify]: Simplify (/ 1 1) into 1 3.192 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.192 * [taylor]: Taking taylor expansion of z in x 3.193 * [backup-simplify]: Simplify z into z 3.193 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.193 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (+ (* 3 (/ 1 x)) (/ 1 z))) in y 3.193 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (+ (* 3 (/ 1 x)) (/ 1 z))) 3.193 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in y 3.193 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.193 * [taylor]: Taking taylor expansion of y in y 3.193 * [backup-simplify]: Simplify 0 into 0 3.193 * [backup-simplify]: Simplify 1 into 1 3.193 * [backup-simplify]: Simplify (/ 1 1) into 1 3.193 * [taylor]: Taking taylor expansion of 2 in y 3.193 * [backup-simplify]: Simplify 2 into 2 3.193 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 x)) (/ 1 z)) in y 3.193 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in y 3.193 * [taylor]: Taking taylor expansion of 3 in y 3.193 * [backup-simplify]: Simplify 3 into 3 3.193 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.193 * [taylor]: Taking taylor expansion of x in y 3.193 * [backup-simplify]: Simplify x into x 3.194 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.194 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.194 * [taylor]: Taking taylor expansion of z in y 3.194 * [backup-simplify]: Simplify z into z 3.194 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.194 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (+ (* 3 (/ 1 x)) (/ 1 z))) in y 3.194 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (+ (* 3 (/ 1 x)) (/ 1 z))) 3.194 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in y 3.194 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.194 * [taylor]: Taking taylor expansion of y in y 3.194 * [backup-simplify]: Simplify 0 into 0 3.194 * [backup-simplify]: Simplify 1 into 1 3.194 * [backup-simplify]: Simplify (/ 1 1) into 1 3.194 * [taylor]: Taking taylor expansion of 2 in y 3.194 * [backup-simplify]: Simplify 2 into 2 3.194 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 x)) (/ 1 z)) in y 3.194 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in y 3.194 * [taylor]: Taking taylor expansion of 3 in y 3.194 * [backup-simplify]: Simplify 3 into 3 3.194 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.195 * [taylor]: Taking taylor expansion of x in y 3.195 * [backup-simplify]: Simplify x into x 3.195 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.195 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.195 * [taylor]: Taking taylor expansion of z in y 3.195 * [backup-simplify]: Simplify z into z 3.195 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.195 * [backup-simplify]: Simplify (* 1 2) into 2 3.196 * [backup-simplify]: Simplify (+ 2 0) into 2 3.196 * [taylor]: Taking taylor expansion of 2 in x 3.196 * [backup-simplify]: Simplify 2 into 2 3.196 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.197 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 2)) into 0 3.197 * [backup-simplify]: Simplify (* 3 (/ 1 x)) into (/ 3 x) 3.197 * [backup-simplify]: Simplify (+ (/ 3 x) (/ 1 z)) into (+ (* 3 (/ 1 x)) (/ 1 z)) 3.198 * [backup-simplify]: Simplify (+ 0 (+ (* 3 (/ 1 x)) (/ 1 z))) into (+ (* 3 (/ 1 x)) (/ 1 z)) 3.198 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 x)) (/ 1 z)) in x 3.198 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 3.198 * [taylor]: Taking taylor expansion of 3 in x 3.198 * [backup-simplify]: Simplify 3 into 3 3.198 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.198 * [taylor]: Taking taylor expansion of x in x 3.198 * [backup-simplify]: Simplify 0 into 0 3.198 * [backup-simplify]: Simplify 1 into 1 3.198 * [backup-simplify]: Simplify (/ 1 1) into 1 3.198 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.198 * [taylor]: Taking taylor expansion of z in x 3.198 * [backup-simplify]: Simplify z into z 3.198 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.203 * [backup-simplify]: Simplify (* 3 1) into 3 3.204 * [backup-simplify]: Simplify (+ 3 0) into 3 3.204 * [taylor]: Taking taylor expansion of 3 in z 3.204 * [backup-simplify]: Simplify 3 into 3 3.204 * [taylor]: Taking taylor expansion of 2 in z 3.204 * [backup-simplify]: Simplify 2 into 2 3.205 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.206 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 2))) into 0 3.206 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.207 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 x))) into 0 3.207 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 3.207 * [backup-simplify]: Simplify (+ 0 0) into 0 3.208 * [backup-simplify]: Simplify (+ 0 0) into 0 3.208 * [taylor]: Taking taylor expansion of 0 in x 3.208 * [backup-simplify]: Simplify 0 into 0 3.209 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.209 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 3.209 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z) 3.209 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.209 * [taylor]: Taking taylor expansion of z in z 3.209 * [backup-simplify]: Simplify 0 into 0 3.209 * [backup-simplify]: Simplify 1 into 1 3.210 * [backup-simplify]: Simplify (/ 1 1) into 1 3.210 * [backup-simplify]: Simplify 1 into 1 3.210 * [taylor]: Taking taylor expansion of 0 in z 3.210 * [backup-simplify]: Simplify 0 into 0 3.210 * [backup-simplify]: Simplify 3 into 3 3.210 * [backup-simplify]: Simplify 2 into 2 3.210 * [backup-simplify]: Simplify (+ (* 2 (* 1 (* 1 (/ 1 (/ 1 y))))) (+ (* 3 (* 1 (* (/ 1 (/ 1 x)) 1))) (* 1 (* (/ 1 (/ 1 z)) (* 1 1))))) into (+ (* 3 x) (+ z (* 2 y))) 3.210 * [backup-simplify]: Simplify (fma (/ 1 (- y)) 2 (+ (* (/ 1 (- x)) 3) (/ 1 (- z)))) into (fma (/ -1 y) 2 (- (+ (* 3 (/ 1 x)) (/ 1 z)))) 3.210 * [approximate]: Taking taylor expansion of (fma (/ -1 y) 2 (- (+ (* 3 (/ 1 x)) (/ 1 z)))) in (y x z) around 0 3.210 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (- (+ (* 3 (/ 1 x)) (/ 1 z)))) in z 3.210 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (- (+ (* 3 (/ 1 x)) (/ 1 z)))) 3.210 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in z 3.210 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.210 * [taylor]: Taking taylor expansion of -1 in z 3.210 * [backup-simplify]: Simplify -1 into -1 3.211 * [taylor]: Taking taylor expansion of y in z 3.211 * [backup-simplify]: Simplify y into y 3.211 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.211 * [taylor]: Taking taylor expansion of 2 in z 3.211 * [backup-simplify]: Simplify 2 into 2 3.211 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ 1 x)) (/ 1 z))) in z 3.211 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 x)) (/ 1 z)) in z 3.211 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z 3.211 * [taylor]: Taking taylor expansion of 3 in z 3.211 * [backup-simplify]: Simplify 3 into 3 3.211 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.211 * [taylor]: Taking taylor expansion of x in z 3.211 * [backup-simplify]: Simplify x into x 3.211 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.211 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.211 * [taylor]: Taking taylor expansion of z in z 3.211 * [backup-simplify]: Simplify 0 into 0 3.211 * [backup-simplify]: Simplify 1 into 1 3.211 * [backup-simplify]: Simplify (/ 1 1) into 1 3.211 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (- (+ (* 3 (/ 1 x)) (/ 1 z)))) in x 3.211 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (- (+ (* 3 (/ 1 x)) (/ 1 z)))) 3.211 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in x 3.211 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.211 * [taylor]: Taking taylor expansion of -1 in x 3.211 * [backup-simplify]: Simplify -1 into -1 3.211 * [taylor]: Taking taylor expansion of y in x 3.211 * [backup-simplify]: Simplify y into y 3.211 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.211 * [taylor]: Taking taylor expansion of 2 in x 3.211 * [backup-simplify]: Simplify 2 into 2 3.211 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ 1 x)) (/ 1 z))) in x 3.211 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 x)) (/ 1 z)) in x 3.211 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 3.211 * [taylor]: Taking taylor expansion of 3 in x 3.211 * [backup-simplify]: Simplify 3 into 3 3.211 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.211 * [taylor]: Taking taylor expansion of x in x 3.211 * [backup-simplify]: Simplify 0 into 0 3.211 * [backup-simplify]: Simplify 1 into 1 3.212 * [backup-simplify]: Simplify (/ 1 1) into 1 3.212 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.212 * [taylor]: Taking taylor expansion of z in x 3.212 * [backup-simplify]: Simplify z into z 3.212 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.212 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (- (+ (* 3 (/ 1 x)) (/ 1 z)))) in y 3.212 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (- (+ (* 3 (/ 1 x)) (/ 1 z)))) 3.212 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in y 3.212 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.212 * [taylor]: Taking taylor expansion of -1 in y 3.212 * [backup-simplify]: Simplify -1 into -1 3.212 * [taylor]: Taking taylor expansion of y in y 3.212 * [backup-simplify]: Simplify 0 into 0 3.212 * [backup-simplify]: Simplify 1 into 1 3.212 * [backup-simplify]: Simplify (/ -1 1) into -1 3.212 * [taylor]: Taking taylor expansion of 2 in y 3.212 * [backup-simplify]: Simplify 2 into 2 3.212 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ 1 x)) (/ 1 z))) in y 3.212 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 x)) (/ 1 z)) in y 3.212 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in y 3.212 * [taylor]: Taking taylor expansion of 3 in y 3.212 * [backup-simplify]: Simplify 3 into 3 3.212 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.212 * [taylor]: Taking taylor expansion of x in y 3.212 * [backup-simplify]: Simplify x into x 3.212 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.212 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.212 * [taylor]: Taking taylor expansion of z in y 3.212 * [backup-simplify]: Simplify z into z 3.212 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.212 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (- (+ (* 3 (/ 1 x)) (/ 1 z)))) in y 3.212 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (- (+ (* 3 (/ 1 x)) (/ 1 z)))) 3.212 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in y 3.212 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.212 * [taylor]: Taking taylor expansion of -1 in y 3.213 * [backup-simplify]: Simplify -1 into -1 3.213 * [taylor]: Taking taylor expansion of y in y 3.213 * [backup-simplify]: Simplify 0 into 0 3.213 * [backup-simplify]: Simplify 1 into 1 3.213 * [backup-simplify]: Simplify (/ -1 1) into -1 3.213 * [taylor]: Taking taylor expansion of 2 in y 3.213 * [backup-simplify]: Simplify 2 into 2 3.213 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ 1 x)) (/ 1 z))) in y 3.213 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 x)) (/ 1 z)) in y 3.213 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in y 3.213 * [taylor]: Taking taylor expansion of 3 in y 3.213 * [backup-simplify]: Simplify 3 into 3 3.213 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.213 * [taylor]: Taking taylor expansion of x in y 3.213 * [backup-simplify]: Simplify x into x 3.213 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.213 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.213 * [taylor]: Taking taylor expansion of z in y 3.213 * [backup-simplify]: Simplify z into z 3.213 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.213 * [backup-simplify]: Simplify (* -1 2) into -2 3.214 * [backup-simplify]: Simplify (+ -2 0) into -2 3.214 * [taylor]: Taking taylor expansion of -2 in x 3.214 * [backup-simplify]: Simplify -2 into -2 3.214 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.215 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 2)) into 0 3.215 * [backup-simplify]: Simplify (* 3 (/ 1 x)) into (/ 3 x) 3.215 * [backup-simplify]: Simplify (+ (/ 3 x) (/ 1 z)) into (+ (* 3 (/ 1 x)) (/ 1 z)) 3.215 * [backup-simplify]: Simplify (- (+ (* 3 (/ 1 x)) (/ 1 z))) into (- (+ (* 3 (/ 1 x)) (/ 1 z))) 3.215 * [backup-simplify]: Simplify (+ 0 (- (+ (* 3 (/ 1 x)) (/ 1 z)))) into (- (+ (* 3 (/ 1 x)) (/ 1 z))) 3.215 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ 1 x)) (/ 1 z))) in x 3.215 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 x)) (/ 1 z)) in x 3.215 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 3.215 * [taylor]: Taking taylor expansion of 3 in x 3.215 * [backup-simplify]: Simplify 3 into 3 3.215 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.215 * [taylor]: Taking taylor expansion of x in x 3.215 * [backup-simplify]: Simplify 0 into 0 3.215 * [backup-simplify]: Simplify 1 into 1 3.215 * [backup-simplify]: Simplify (/ 1 1) into 1 3.215 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.215 * [taylor]: Taking taylor expansion of z in x 3.215 * [backup-simplify]: Simplify z into z 3.215 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.216 * [backup-simplify]: Simplify (* 3 1) into 3 3.216 * [backup-simplify]: Simplify (+ 3 0) into 3 3.216 * [backup-simplify]: Simplify (- 3) into -3 3.216 * [taylor]: Taking taylor expansion of -3 in z 3.216 * [backup-simplify]: Simplify -3 into -3 3.216 * [taylor]: Taking taylor expansion of -2 in z 3.216 * [backup-simplify]: Simplify -2 into -2 3.217 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.218 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 2))) into 0 3.218 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.218 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 x))) into 0 3.218 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 3.219 * [backup-simplify]: Simplify (+ 0 0) into 0 3.219 * [backup-simplify]: Simplify (- 0) into 0 3.219 * [backup-simplify]: Simplify (+ 0 0) into 0 3.219 * [taylor]: Taking taylor expansion of 0 in x 3.219 * [backup-simplify]: Simplify 0 into 0 3.219 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.220 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 3.220 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z) 3.220 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 3.220 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.220 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.220 * [taylor]: Taking taylor expansion of z in z 3.220 * [backup-simplify]: Simplify 0 into 0 3.220 * [backup-simplify]: Simplify 1 into 1 3.220 * [backup-simplify]: Simplify (/ 1 1) into 1 3.221 * [backup-simplify]: Simplify (- 1) into -1 3.221 * [backup-simplify]: Simplify -1 into -1 3.221 * [taylor]: Taking taylor expansion of 0 in z 3.221 * [backup-simplify]: Simplify 0 into 0 3.221 * [backup-simplify]: Simplify -3 into -3 3.221 * [backup-simplify]: Simplify -2 into -2 3.221 * [backup-simplify]: Simplify (+ (* -2 (* 1 (* 1 (/ 1 (/ 1 (- y)))))) (+ (* -3 (* 1 (* (/ 1 (/ 1 (- x))) 1))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 1))))) into (+ (* 3 x) (+ z (* 2 y))) 3.221 * * * [progress]: simplifying candidates 3.221 * * * * [progress]: [ 1 / 32 ] simplifiying candidate # 3.221 * * * * [progress]: [ 2 / 32 ] simplifiying candidate # 3.221 * * * * [progress]: [ 3 / 32 ] simplifiying candidate # 3.221 * * * * [progress]: [ 4 / 32 ] simplifiying candidate # 3.221 * * * * [progress]: [ 5 / 32 ] simplifiying candidate # 3.221 * * * * [progress]: [ 6 / 32 ] simplifiying candidate # 3.221 * * * * [progress]: [ 7 / 32 ] simplifiying candidate # 3.222 * * * * [progress]: [ 8 / 32 ] simplifiying candidate # 3.222 * * * * [progress]: [ 9 / 32 ] simplifiying candidate # 3.222 * * * * [progress]: [ 10 / 32 ] simplifiying candidate # 3.222 * * * * [progress]: [ 11 / 32 ] simplifiying candidate # 3.222 * * * * [progress]: [ 12 / 32 ] simplifiying candidate # 3.222 * * * * [progress]: [ 13 / 32 ] simplifiying candidate # 3.222 * * * * [progress]: [ 14 / 32 ] simplifiying candidate #real (real->posit16 (+ (* x 3) z)))))> 3.222 * * * * [progress]: [ 15 / 32 ] simplifiying candidate # 3.222 * * * * [progress]: [ 16 / 32 ] simplifiying candidate # 3.222 * * * * [progress]: [ 17 / 32 ] simplifiying candidate # 3.222 * * * * [progress]: [ 18 / 32 ] simplifiying candidate # 3.222 * * * * [progress]: [ 19 / 32 ] simplifiying candidate # 3.222 * * * * [progress]: [ 20 / 32 ] simplifiying candidate # 3.222 * * * * [progress]: [ 21 / 32 ] simplifiying candidate # 3.222 * * * * [progress]: [ 22 / 32 ] simplifiying candidate # 3.222 * * * * [progress]: [ 23 / 32 ] simplifiying candidate # 3.222 * * * * [progress]: [ 24 / 32 ] simplifiying candidate # 3.222 * * * * [progress]: [ 25 / 32 ] simplifiying candidate # 3.222 * * * * [progress]: [ 26 / 32 ] simplifiying candidate #real (real->posit16 (fma y 2 (+ (* x 3) z)))))> 3.222 * * * * [progress]: [ 27 / 32 ] simplifiying candidate # 3.222 * * * * [progress]: [ 28 / 32 ] simplifiying candidate # 3.222 * * * * [progress]: [ 29 / 32 ] simplifiying candidate # 3.222 * * * * [progress]: [ 30 / 32 ] simplifiying candidate # 3.222 * * * * [progress]: [ 31 / 32 ] simplifiying candidate # 3.222 * * * * [progress]: [ 32 / 32 ] simplifiying candidate # 3.223 * [simplify]: Simplifying: (expm1 (+ (* x 3) z)) (log1p (+ (* x 3) z)) (* (exp (* x 3)) (exp z)) (log (+ (* x 3) z)) (exp (+ (* x 3) z)) (* (cbrt (+ (* x 3) z)) (cbrt (+ (* x 3) z))) (cbrt (+ (* x 3) z)) (* (* (+ (* x 3) z) (+ (* x 3) z)) (+ (* x 3) z)) (sqrt (+ (* x 3) z)) (sqrt (+ (* x 3) z)) (+ (pow (* x 3) 3) (pow z 3)) (+ (* (* x 3) (* x 3)) (- (* z z) (* (* x 3) z))) (- (* (* x 3) (* x 3)) (* z z)) (- (* x 3) z) (real->posit16 (+ (* x 3) z)) (expm1 (fma y 2 (+ (* x 3) z))) (log1p (fma y 2 (+ (* x 3) z))) (* y 2) (log (fma y 2 (+ (* x 3) z))) (exp (fma y 2 (+ (* x 3) z))) (* (cbrt (fma y 2 (+ (* x 3) z))) (cbrt (fma y 2 (+ (* x 3) z)))) (cbrt (fma y 2 (+ (* x 3) z))) (* (* (fma y 2 (+ (* x 3) z)) (fma y 2 (+ (* x 3) z))) (fma y 2 (+ (* x 3) z))) (sqrt (fma y 2 (+ (* x 3) z))) (sqrt (fma y 2 (+ (* x 3) z))) (real->posit16 (fma y 2 (+ (* x 3) z))) (+ (* 3 x) z) (+ (* 3 x) z) (+ (* 3 x) z) (+ (* 3 x) (+ z (* 2 y))) (+ (* 3 x) (+ z (* 2 y))) (+ (* 3 x) (+ z (* 2 y))) 3.223 * * [simplify]: iteration 0: 47 enodes 3.232 * * [simplify]: iteration 1: 115 enodes 3.268 * * [simplify]: iteration 2: 303 enodes 3.492 * * [simplify]: iteration 3: 1138 enodes 4.159 * * [simplify]: iteration complete: 5001 enodes 4.159 * * [simplify]: Extracting #0: cost 25 inf + 0 4.161 * * [simplify]: Extracting #1: cost 296 inf + 0 4.171 * * [simplify]: Extracting #2: cost 1481 inf + 2511 4.196 * * [simplify]: Extracting #3: cost 1063 inf + 89134 4.284 * * [simplify]: Extracting #4: cost 129 inf + 277118 4.417 * * [simplify]: Extracting #5: cost 17 inf + 300881 4.556 * * [simplify]: Extracting #6: cost 2 inf + 304021 4.660 * * [simplify]: Extracting #7: cost 0 inf + 304609 4.785 * [simplify]: Simplified to: (expm1 (fma 3 x z)) (log1p (fma 3 x z)) (exp (fma 3 x z)) (log (fma 3 x z)) (exp (fma 3 x z)) (* (cbrt (fma 3 x z)) (cbrt (fma 3 x z))) (cbrt (fma 3 x z)) (* (* (fma 3 x z) (fma 3 x z)) (fma 3 x z)) (sqrt (fma 3 x z)) (sqrt (fma 3 x z)) (fma (* 27 x) (* x x) (* (* z z) z)) (fma (* x 3) (- (* x 3) z) (* z z)) (- (* 9 (* x x)) (* z z)) (- (* x 3) z) (real->posit16 (fma 3 x z)) (expm1 (fma x 3 (fma 2 y z))) (log1p (fma x 3 (fma 2 y z))) (* 2 y) (log (fma x 3 (fma 2 y z))) (exp (fma x 3 (fma 2 y z))) (* (cbrt (fma x 3 (fma 2 y z))) (cbrt (fma x 3 (fma 2 y z)))) (cbrt (fma x 3 (fma 2 y z))) (* (fma x 3 (fma 2 y z)) (* (fma x 3 (fma 2 y z)) (fma x 3 (fma 2 y z)))) (sqrt (fma x 3 (fma 2 y z))) (sqrt (fma x 3 (fma 2 y z))) (real->posit16 (fma x 3 (fma 2 y z))) (fma 3 x z) (fma 3 x z) (fma 3 x z) (fma x 3 (fma 2 y z)) (fma x 3 (fma 2 y z)) (fma x 3 (fma 2 y z)) 4.786 * * * [progress]: adding candidates to table 4.918 * * [progress]: iteration 3 / 4 4.918 * * * [progress]: picking best candidate 4.921 * * * * [pick]: Picked # 4.921 * * * [progress]: localizing error 4.931 * * * [progress]: generating rewritten candidates 4.931 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 4.931 * * * [progress]: generating series expansions 4.931 * * * * [progress]: [ 1 / 1 ] generating series at (2) 4.931 * [backup-simplify]: Simplify (fma x 3 (fma 2 y z)) into (fma x 3 (fma 2 y z)) 4.931 * [approximate]: Taking taylor expansion of (fma x 3 (fma 2 y z)) in (x y z) around 0 4.931 * [taylor]: Taking taylor expansion of (fma x 3 (fma 2 y z)) in z 4.931 * [taylor]: Rewrote expression to (+ (* x 3) (fma 2 y z)) 4.931 * [taylor]: Taking taylor expansion of (* x 3) in z 4.931 * [taylor]: Taking taylor expansion of x in z 4.931 * [backup-simplify]: Simplify x into x 4.931 * [taylor]: Taking taylor expansion of 3 in z 4.931 * [backup-simplify]: Simplify 3 into 3 4.931 * [taylor]: Taking taylor expansion of (fma 2 y z) in z 4.931 * [taylor]: Rewrote expression to (+ (* 2 y) z) 4.931 * [taylor]: Taking taylor expansion of (* 2 y) in z 4.931 * [taylor]: Taking taylor expansion of 2 in z 4.931 * [backup-simplify]: Simplify 2 into 2 4.931 * [taylor]: Taking taylor expansion of y in z 4.931 * [backup-simplify]: Simplify y into y 4.931 * [taylor]: Taking taylor expansion of z in z 4.931 * [backup-simplify]: Simplify 0 into 0 4.931 * [backup-simplify]: Simplify 1 into 1 4.931 * [taylor]: Taking taylor expansion of (fma x 3 (fma 2 y z)) in y 4.931 * [taylor]: Rewrote expression to (+ (* x 3) (fma 2 y z)) 4.932 * [taylor]: Taking taylor expansion of (* x 3) in y 4.932 * [taylor]: Taking taylor expansion of x in y 4.932 * [backup-simplify]: Simplify x into x 4.932 * [taylor]: Taking taylor expansion of 3 in y 4.932 * [backup-simplify]: Simplify 3 into 3 4.932 * [taylor]: Taking taylor expansion of (fma 2 y z) in y 4.932 * [taylor]: Rewrote expression to (+ (* 2 y) z) 4.932 * [taylor]: Taking taylor expansion of (* 2 y) in y 4.932 * [taylor]: Taking taylor expansion of 2 in y 4.932 * [backup-simplify]: Simplify 2 into 2 4.932 * [taylor]: Taking taylor expansion of y in y 4.932 * [backup-simplify]: Simplify 0 into 0 4.932 * [backup-simplify]: Simplify 1 into 1 4.932 * [taylor]: Taking taylor expansion of z in y 4.932 * [backup-simplify]: Simplify z into z 4.932 * [taylor]: Taking taylor expansion of (fma x 3 (fma 2 y z)) in x 4.932 * [taylor]: Rewrote expression to (+ (* x 3) (fma 2 y z)) 4.932 * [taylor]: Taking taylor expansion of (* x 3) in x 4.932 * [taylor]: Taking taylor expansion of x in x 4.932 * [backup-simplify]: Simplify 0 into 0 4.932 * [backup-simplify]: Simplify 1 into 1 4.932 * [taylor]: Taking taylor expansion of 3 in x 4.932 * [backup-simplify]: Simplify 3 into 3 4.932 * [taylor]: Taking taylor expansion of (fma 2 y z) in x 4.932 * [taylor]: Rewrote expression to (+ (* 2 y) z) 4.932 * [taylor]: Taking taylor expansion of (* 2 y) in x 4.932 * [taylor]: Taking taylor expansion of 2 in x 4.932 * [backup-simplify]: Simplify 2 into 2 4.932 * [taylor]: Taking taylor expansion of y in x 4.932 * [backup-simplify]: Simplify y into y 4.932 * [taylor]: Taking taylor expansion of z in x 4.932 * [backup-simplify]: Simplify z into z 4.932 * [taylor]: Taking taylor expansion of (fma x 3 (fma 2 y z)) in x 4.932 * [taylor]: Rewrote expression to (+ (* x 3) (fma 2 y z)) 4.932 * [taylor]: Taking taylor expansion of (* x 3) in x 4.932 * [taylor]: Taking taylor expansion of x in x 4.932 * [backup-simplify]: Simplify 0 into 0 4.932 * [backup-simplify]: Simplify 1 into 1 4.932 * [taylor]: Taking taylor expansion of 3 in x 4.932 * [backup-simplify]: Simplify 3 into 3 4.932 * [taylor]: Taking taylor expansion of (fma 2 y z) in x 4.932 * [taylor]: Rewrote expression to (+ (* 2 y) z) 4.932 * [taylor]: Taking taylor expansion of (* 2 y) in x 4.932 * [taylor]: Taking taylor expansion of 2 in x 4.932 * [backup-simplify]: Simplify 2 into 2 4.932 * [taylor]: Taking taylor expansion of y in x 4.932 * [backup-simplify]: Simplify y into y 4.932 * [taylor]: Taking taylor expansion of z in x 4.932 * [backup-simplify]: Simplify z into z 4.933 * [backup-simplify]: Simplify (* 0 3) into 0 4.933 * [backup-simplify]: Simplify (* 2 y) into (* 2 y) 4.933 * [backup-simplify]: Simplify (+ (* 2 y) z) into (+ z (* 2 y)) 4.933 * [backup-simplify]: Simplify (+ 0 (+ z (* 2 y))) into (+ z (* 2 y)) 4.933 * [taylor]: Taking taylor expansion of (+ z (* 2 y)) in y 4.933 * [taylor]: Taking taylor expansion of z in y 4.933 * [backup-simplify]: Simplify z into z 4.933 * [taylor]: Taking taylor expansion of (* 2 y) in y 4.933 * [taylor]: Taking taylor expansion of 2 in y 4.933 * [backup-simplify]: Simplify 2 into 2 4.933 * [taylor]: Taking taylor expansion of y in y 4.933 * [backup-simplify]: Simplify 0 into 0 4.933 * [backup-simplify]: Simplify 1 into 1 4.933 * [backup-simplify]: Simplify (* 2 0) into 0 4.933 * [backup-simplify]: Simplify (+ z 0) into z 4.933 * [taylor]: Taking taylor expansion of z in z 4.933 * [backup-simplify]: Simplify 0 into 0 4.933 * [backup-simplify]: Simplify 1 into 1 4.933 * [backup-simplify]: Simplify 0 into 0 4.934 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 3)) into 3 4.934 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 y)) into 0 4.934 * [backup-simplify]: Simplify (+ 0 0) into 0 4.935 * [backup-simplify]: Simplify (+ 3 0) into 3 4.935 * [taylor]: Taking taylor expansion of 3 in y 4.935 * [backup-simplify]: Simplify 3 into 3 4.935 * [taylor]: Taking taylor expansion of 3 in z 4.935 * [backup-simplify]: Simplify 3 into 3 4.935 * [backup-simplify]: Simplify 3 into 3 4.935 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 4.936 * [backup-simplify]: Simplify (+ 0 2) into 2 4.936 * [taylor]: Taking taylor expansion of 2 in z 4.936 * [backup-simplify]: Simplify 2 into 2 4.936 * [backup-simplify]: Simplify 2 into 2 4.936 * [backup-simplify]: Simplify 1 into 1 4.936 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 1))) (+ (* 2 (* 1 (* y 1))) (* 3 (* 1 (* 1 x))))) into (+ (* 3 x) (+ z (* 2 y))) 4.936 * [backup-simplify]: Simplify (fma (/ 1 x) 3 (fma 2 (/ 1 y) (/ 1 z))) into (fma (/ 1 x) 3 (fma 2 (/ 1 y) (/ 1 z))) 4.936 * [approximate]: Taking taylor expansion of (fma (/ 1 x) 3 (fma 2 (/ 1 y) (/ 1 z))) in (x y z) around 0 4.936 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 3 (fma 2 (/ 1 y) (/ 1 z))) in z 4.936 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 3) (fma 2 (/ 1 y) (/ 1 z))) 4.936 * [taylor]: Taking taylor expansion of (* (/ 1 x) 3) in z 4.936 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.936 * [taylor]: Taking taylor expansion of x in z 4.936 * [backup-simplify]: Simplify x into x 4.936 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.936 * [taylor]: Taking taylor expansion of 3 in z 4.936 * [backup-simplify]: Simplify 3 into 3 4.936 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 y) (/ 1 z)) in z 4.936 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 y)) (/ 1 z)) 4.936 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in z 4.936 * [taylor]: Taking taylor expansion of 2 in z 4.936 * [backup-simplify]: Simplify 2 into 2 4.936 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.936 * [taylor]: Taking taylor expansion of y in z 4.936 * [backup-simplify]: Simplify y into y 4.936 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.937 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.937 * [taylor]: Taking taylor expansion of z in z 4.937 * [backup-simplify]: Simplify 0 into 0 4.937 * [backup-simplify]: Simplify 1 into 1 4.937 * [backup-simplify]: Simplify (/ 1 1) into 1 4.937 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 3 (fma 2 (/ 1 y) (/ 1 z))) in y 4.937 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 3) (fma 2 (/ 1 y) (/ 1 z))) 4.937 * [taylor]: Taking taylor expansion of (* (/ 1 x) 3) in y 4.937 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.937 * [taylor]: Taking taylor expansion of x in y 4.937 * [backup-simplify]: Simplify x into x 4.937 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.937 * [taylor]: Taking taylor expansion of 3 in y 4.937 * [backup-simplify]: Simplify 3 into 3 4.937 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 y) (/ 1 z)) in y 4.937 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 y)) (/ 1 z)) 4.937 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 4.937 * [taylor]: Taking taylor expansion of 2 in y 4.937 * [backup-simplify]: Simplify 2 into 2 4.937 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.937 * [taylor]: Taking taylor expansion of y in y 4.937 * [backup-simplify]: Simplify 0 into 0 4.937 * [backup-simplify]: Simplify 1 into 1 4.937 * [backup-simplify]: Simplify (/ 1 1) into 1 4.937 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.937 * [taylor]: Taking taylor expansion of z in y 4.937 * [backup-simplify]: Simplify z into z 4.937 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.938 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 3 (fma 2 (/ 1 y) (/ 1 z))) in x 4.938 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 3) (fma 2 (/ 1 y) (/ 1 z))) 4.938 * [taylor]: Taking taylor expansion of (* (/ 1 x) 3) in x 4.938 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.938 * [taylor]: Taking taylor expansion of x in x 4.938 * [backup-simplify]: Simplify 0 into 0 4.938 * [backup-simplify]: Simplify 1 into 1 4.938 * [backup-simplify]: Simplify (/ 1 1) into 1 4.938 * [taylor]: Taking taylor expansion of 3 in x 4.938 * [backup-simplify]: Simplify 3 into 3 4.938 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 y) (/ 1 z)) in x 4.938 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 y)) (/ 1 z)) 4.938 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 4.938 * [taylor]: Taking taylor expansion of 2 in x 4.938 * [backup-simplify]: Simplify 2 into 2 4.938 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.938 * [taylor]: Taking taylor expansion of y in x 4.938 * [backup-simplify]: Simplify y into y 4.938 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.938 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.938 * [taylor]: Taking taylor expansion of z in x 4.938 * [backup-simplify]: Simplify z into z 4.938 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.938 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 3 (fma 2 (/ 1 y) (/ 1 z))) in x 4.938 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 3) (fma 2 (/ 1 y) (/ 1 z))) 4.938 * [taylor]: Taking taylor expansion of (* (/ 1 x) 3) in x 4.938 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.938 * [taylor]: Taking taylor expansion of x in x 4.938 * [backup-simplify]: Simplify 0 into 0 4.938 * [backup-simplify]: Simplify 1 into 1 4.939 * [backup-simplify]: Simplify (/ 1 1) into 1 4.939 * [taylor]: Taking taylor expansion of 3 in x 4.939 * [backup-simplify]: Simplify 3 into 3 4.939 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 y) (/ 1 z)) in x 4.939 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 y)) (/ 1 z)) 4.939 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 4.939 * [taylor]: Taking taylor expansion of 2 in x 4.939 * [backup-simplify]: Simplify 2 into 2 4.939 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.939 * [taylor]: Taking taylor expansion of y in x 4.939 * [backup-simplify]: Simplify y into y 4.939 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.939 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.939 * [taylor]: Taking taylor expansion of z in x 4.939 * [backup-simplify]: Simplify z into z 4.939 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.939 * [backup-simplify]: Simplify (* 1 3) into 3 4.939 * [backup-simplify]: Simplify (+ 3 0) into 3 4.939 * [taylor]: Taking taylor expansion of 3 in y 4.939 * [backup-simplify]: Simplify 3 into 3 4.940 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.940 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 3)) into 0 4.940 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y) 4.940 * [backup-simplify]: Simplify (+ (/ 2 y) (/ 1 z)) into (+ (/ 1 z) (* 2 (/ 1 y))) 4.941 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 z) (* 2 (/ 1 y)))) into (+ (/ 1 z) (* 2 (/ 1 y))) 4.941 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 2 (/ 1 y))) in y 4.941 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.941 * [taylor]: Taking taylor expansion of z in y 4.941 * [backup-simplify]: Simplify z into z 4.941 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.941 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 4.941 * [taylor]: Taking taylor expansion of 2 in y 4.941 * [backup-simplify]: Simplify 2 into 2 4.941 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.941 * [taylor]: Taking taylor expansion of y in y 4.941 * [backup-simplify]: Simplify 0 into 0 4.941 * [backup-simplify]: Simplify 1 into 1 4.941 * [backup-simplify]: Simplify (/ 1 1) into 1 4.941 * [backup-simplify]: Simplify (* 2 1) into 2 4.942 * [backup-simplify]: Simplify (+ 0 2) into 2 4.942 * [taylor]: Taking taylor expansion of 2 in z 4.942 * [backup-simplify]: Simplify 2 into 2 4.942 * [taylor]: Taking taylor expansion of 3 in z 4.942 * [backup-simplify]: Simplify 3 into 3 4.942 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.943 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 3))) into 0 4.943 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.943 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0 4.943 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 4.944 * [backup-simplify]: Simplify (+ 0 0) into 0 4.944 * [backup-simplify]: Simplify (+ 0 0) into 0 4.944 * [taylor]: Taking taylor expansion of 0 in y 4.944 * [backup-simplify]: Simplify 0 into 0 4.944 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.945 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 4.945 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 4.945 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.945 * [taylor]: Taking taylor expansion of z in z 4.945 * [backup-simplify]: Simplify 0 into 0 4.945 * [backup-simplify]: Simplify 1 into 1 4.945 * [backup-simplify]: Simplify (/ 1 1) into 1 4.945 * [backup-simplify]: Simplify 1 into 1 4.945 * [taylor]: Taking taylor expansion of 0 in z 4.945 * [backup-simplify]: Simplify 0 into 0 4.945 * [backup-simplify]: Simplify 2 into 2 4.945 * [backup-simplify]: Simplify 3 into 3 4.946 * [backup-simplify]: Simplify (+ (* 3 (* 1 (* 1 (/ 1 (/ 1 x))))) (+ (* 2 (* 1 (* (/ 1 (/ 1 y)) 1))) (* 1 (* (/ 1 (/ 1 z)) (* 1 1))))) into (+ (* 3 x) (+ z (* 2 y))) 4.946 * [backup-simplify]: Simplify (fma (/ 1 (- x)) 3 (fma 2 (/ 1 (- y)) (/ 1 (- z)))) into (fma (/ -1 x) 3 (fma 2 (/ -1 y) (/ -1 z))) 4.946 * [approximate]: Taking taylor expansion of (fma (/ -1 x) 3 (fma 2 (/ -1 y) (/ -1 z))) in (x y z) around 0 4.946 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 3 (fma 2 (/ -1 y) (/ -1 z))) in z 4.946 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 3) (fma 2 (/ -1 y) (/ -1 z))) 4.946 * [taylor]: Taking taylor expansion of (* (/ -1 x) 3) in z 4.946 * [taylor]: Taking taylor expansion of (/ -1 x) in z 4.946 * [taylor]: Taking taylor expansion of -1 in z 4.946 * [backup-simplify]: Simplify -1 into -1 4.946 * [taylor]: Taking taylor expansion of x in z 4.946 * [backup-simplify]: Simplify x into x 4.946 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 4.946 * [taylor]: Taking taylor expansion of 3 in z 4.946 * [backup-simplify]: Simplify 3 into 3 4.946 * [taylor]: Taking taylor expansion of (fma 2 (/ -1 y) (/ -1 z)) in z 4.946 * [taylor]: Rewrote expression to (+ (* 2 (/ -1 y)) (/ -1 z)) 4.946 * [taylor]: Taking taylor expansion of (* 2 (/ -1 y)) in z 4.946 * [taylor]: Taking taylor expansion of 2 in z 4.946 * [backup-simplify]: Simplify 2 into 2 4.946 * [taylor]: Taking taylor expansion of (/ -1 y) in z 4.946 * [taylor]: Taking taylor expansion of -1 in z 4.946 * [backup-simplify]: Simplify -1 into -1 4.946 * [taylor]: Taking taylor expansion of y in z 4.946 * [backup-simplify]: Simplify y into y 4.946 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 4.946 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.946 * [taylor]: Taking taylor expansion of -1 in z 4.946 * [backup-simplify]: Simplify -1 into -1 4.946 * [taylor]: Taking taylor expansion of z in z 4.946 * [backup-simplify]: Simplify 0 into 0 4.946 * [backup-simplify]: Simplify 1 into 1 4.947 * [backup-simplify]: Simplify (/ -1 1) into -1 4.947 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 3 (fma 2 (/ -1 y) (/ -1 z))) in y 4.947 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 3) (fma 2 (/ -1 y) (/ -1 z))) 4.947 * [taylor]: Taking taylor expansion of (* (/ -1 x) 3) in y 4.947 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.947 * [taylor]: Taking taylor expansion of -1 in y 4.947 * [backup-simplify]: Simplify -1 into -1 4.947 * [taylor]: Taking taylor expansion of x in y 4.947 * [backup-simplify]: Simplify x into x 4.947 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 4.947 * [taylor]: Taking taylor expansion of 3 in y 4.947 * [backup-simplify]: Simplify 3 into 3 4.947 * [taylor]: Taking taylor expansion of (fma 2 (/ -1 y) (/ -1 z)) in y 4.947 * [taylor]: Rewrote expression to (+ (* 2 (/ -1 y)) (/ -1 z)) 4.947 * [taylor]: Taking taylor expansion of (* 2 (/ -1 y)) in y 4.947 * [taylor]: Taking taylor expansion of 2 in y 4.947 * [backup-simplify]: Simplify 2 into 2 4.947 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.947 * [taylor]: Taking taylor expansion of -1 in y 4.947 * [backup-simplify]: Simplify -1 into -1 4.947 * [taylor]: Taking taylor expansion of y in y 4.947 * [backup-simplify]: Simplify 0 into 0 4.947 * [backup-simplify]: Simplify 1 into 1 4.947 * [backup-simplify]: Simplify (/ -1 1) into -1 4.947 * [taylor]: Taking taylor expansion of (/ -1 z) in y 4.947 * [taylor]: Taking taylor expansion of -1 in y 4.947 * [backup-simplify]: Simplify -1 into -1 4.947 * [taylor]: Taking taylor expansion of z in y 4.947 * [backup-simplify]: Simplify z into z 4.947 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 4.947 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 3 (fma 2 (/ -1 y) (/ -1 z))) in x 4.947 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 3) (fma 2 (/ -1 y) (/ -1 z))) 4.947 * [taylor]: Taking taylor expansion of (* (/ -1 x) 3) in x 4.947 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.947 * [taylor]: Taking taylor expansion of -1 in x 4.947 * [backup-simplify]: Simplify -1 into -1 4.947 * [taylor]: Taking taylor expansion of x in x 4.947 * [backup-simplify]: Simplify 0 into 0 4.947 * [backup-simplify]: Simplify 1 into 1 4.948 * [backup-simplify]: Simplify (/ -1 1) into -1 4.948 * [taylor]: Taking taylor expansion of 3 in x 4.948 * [backup-simplify]: Simplify 3 into 3 4.948 * [taylor]: Taking taylor expansion of (fma 2 (/ -1 y) (/ -1 z)) in x 4.948 * [taylor]: Rewrote expression to (+ (* 2 (/ -1 y)) (/ -1 z)) 4.948 * [taylor]: Taking taylor expansion of (* 2 (/ -1 y)) in x 4.948 * [taylor]: Taking taylor expansion of 2 in x 4.948 * [backup-simplify]: Simplify 2 into 2 4.948 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.948 * [taylor]: Taking taylor expansion of -1 in x 4.948 * [backup-simplify]: Simplify -1 into -1 4.948 * [taylor]: Taking taylor expansion of y in x 4.948 * [backup-simplify]: Simplify y into y 4.948 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 4.948 * [taylor]: Taking taylor expansion of (/ -1 z) in x 4.948 * [taylor]: Taking taylor expansion of -1 in x 4.948 * [backup-simplify]: Simplify -1 into -1 4.948 * [taylor]: Taking taylor expansion of z in x 4.948 * [backup-simplify]: Simplify z into z 4.948 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 4.948 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 3 (fma 2 (/ -1 y) (/ -1 z))) in x 4.948 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 3) (fma 2 (/ -1 y) (/ -1 z))) 4.948 * [taylor]: Taking taylor expansion of (* (/ -1 x) 3) in x 4.948 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.948 * [taylor]: Taking taylor expansion of -1 in x 4.948 * [backup-simplify]: Simplify -1 into -1 4.948 * [taylor]: Taking taylor expansion of x in x 4.948 * [backup-simplify]: Simplify 0 into 0 4.948 * [backup-simplify]: Simplify 1 into 1 4.949 * [backup-simplify]: Simplify (/ -1 1) into -1 4.949 * [taylor]: Taking taylor expansion of 3 in x 4.949 * [backup-simplify]: Simplify 3 into 3 4.949 * [taylor]: Taking taylor expansion of (fma 2 (/ -1 y) (/ -1 z)) in x 4.949 * [taylor]: Rewrote expression to (+ (* 2 (/ -1 y)) (/ -1 z)) 4.949 * [taylor]: Taking taylor expansion of (* 2 (/ -1 y)) in x 4.949 * [taylor]: Taking taylor expansion of 2 in x 4.949 * [backup-simplify]: Simplify 2 into 2 4.949 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.949 * [taylor]: Taking taylor expansion of -1 in x 4.949 * [backup-simplify]: Simplify -1 into -1 4.949 * [taylor]: Taking taylor expansion of y in x 4.949 * [backup-simplify]: Simplify y into y 4.949 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 4.949 * [taylor]: Taking taylor expansion of (/ -1 z) in x 4.949 * [taylor]: Taking taylor expansion of -1 in x 4.949 * [backup-simplify]: Simplify -1 into -1 4.949 * [taylor]: Taking taylor expansion of z in x 4.949 * [backup-simplify]: Simplify z into z 4.949 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 4.950 * [backup-simplify]: Simplify (* -1 3) into -3 4.950 * [backup-simplify]: Simplify (+ -3 0) into -3 4.950 * [taylor]: Taking taylor expansion of -3 in y 4.950 * [backup-simplify]: Simplify -3 into -3 4.956 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 4.957 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 3)) into 0 4.957 * [backup-simplify]: Simplify (* 2 (/ -1 y)) into (/ -2 y) 4.957 * [backup-simplify]: Simplify (+ (/ -2 y) (/ -1 z)) into (- (+ (/ 1 z) (* 2 (/ 1 y)))) 4.957 * [backup-simplify]: Simplify (+ 0 (- (+ (/ 1 z) (* 2 (/ 1 y))))) into (- (+ (* 2 (/ 1 y)) (/ 1 z))) 4.957 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (/ 1 z))) in y 4.957 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (/ 1 z)) in y 4.957 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 4.957 * [taylor]: Taking taylor expansion of 2 in y 4.957 * [backup-simplify]: Simplify 2 into 2 4.957 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.957 * [taylor]: Taking taylor expansion of y in y 4.957 * [backup-simplify]: Simplify 0 into 0 4.957 * [backup-simplify]: Simplify 1 into 1 4.958 * [backup-simplify]: Simplify (/ 1 1) into 1 4.958 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.958 * [taylor]: Taking taylor expansion of z in y 4.958 * [backup-simplify]: Simplify z into z 4.958 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.958 * [backup-simplify]: Simplify (* 2 1) into 2 4.959 * [backup-simplify]: Simplify (+ 2 0) into 2 4.959 * [backup-simplify]: Simplify (- 2) into -2 4.959 * [taylor]: Taking taylor expansion of -2 in z 4.959 * [backup-simplify]: Simplify -2 into -2 4.959 * [taylor]: Taking taylor expansion of -3 in z 4.959 * [backup-simplify]: Simplify -3 into -3 4.960 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.961 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 3))) into 0 4.962 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 4.962 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ -1 y))) into 0 4.962 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 4.963 * [backup-simplify]: Simplify (+ 0 0) into 0 4.963 * [backup-simplify]: Simplify (+ 0 0) into 0 4.963 * [taylor]: Taking taylor expansion of 0 in y 4.963 * [backup-simplify]: Simplify 0 into 0 4.964 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.964 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 4.965 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z) 4.965 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 4.965 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.965 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.965 * [taylor]: Taking taylor expansion of z in z 4.965 * [backup-simplify]: Simplify 0 into 0 4.965 * [backup-simplify]: Simplify 1 into 1 4.965 * [backup-simplify]: Simplify (/ 1 1) into 1 4.966 * [backup-simplify]: Simplify (- 1) into -1 4.966 * [backup-simplify]: Simplify -1 into -1 4.966 * [taylor]: Taking taylor expansion of 0 in z 4.966 * [backup-simplify]: Simplify 0 into 0 4.966 * [backup-simplify]: Simplify -2 into -2 4.966 * [backup-simplify]: Simplify -3 into -3 4.966 * [backup-simplify]: Simplify (+ (* -3 (* 1 (* 1 (/ 1 (/ 1 (- x)))))) (+ (* -2 (* 1 (* (/ 1 (/ 1 (- y))) 1))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 1))))) into (+ (* 3 x) (+ z (* 2 y))) 4.967 * * * [progress]: simplifying candidates 4.967 * * * * [progress]: [ 1 / 14 ] simplifiying candidate # 4.967 * * * * [progress]: [ 2 / 14 ] simplifiying candidate # 4.967 * * * * [progress]: [ 3 / 14 ] simplifiying candidate # 4.967 * * * * [progress]: [ 4 / 14 ] simplifiying candidate # 4.967 * * * * [progress]: [ 5 / 14 ] simplifiying candidate # 4.967 * * * * [progress]: [ 6 / 14 ] simplifiying candidate # 4.967 * * * * [progress]: [ 7 / 14 ] simplifiying candidate # 4.967 * * * * [progress]: [ 8 / 14 ] simplifiying candidate # 4.967 * * * * [progress]: [ 9 / 14 ] simplifiying candidate # 4.967 * * * * [progress]: [ 10 / 14 ] simplifiying candidate # 4.967 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #real (real->posit16 (fma x 3 (fma 2 y z)))))> 4.967 * * * * [progress]: [ 12 / 14 ] simplifiying candidate # 4.967 * * * * [progress]: [ 13 / 14 ] simplifiying candidate # 4.967 * * * * [progress]: [ 14 / 14 ] simplifiying candidate # 4.968 * [simplify]: Simplifying: (expm1 (fma x 3 (fma 2 y z))) (log1p (fma x 3 (fma 2 y z))) (* x 3) (log (fma x 3 (fma 2 y z))) (exp (fma x 3 (fma 2 y z))) (* (cbrt (fma x 3 (fma 2 y z))) (cbrt (fma x 3 (fma 2 y z)))) (cbrt (fma x 3 (fma 2 y z))) (* (* (fma x 3 (fma 2 y z)) (fma x 3 (fma 2 y z))) (fma x 3 (fma 2 y z))) (sqrt (fma x 3 (fma 2 y z))) (sqrt (fma x 3 (fma 2 y z))) (real->posit16 (fma x 3 (fma 2 y z))) (+ (* 3 x) (+ z (* 2 y))) (+ (* 3 x) (+ z (* 2 y))) (+ (* 3 x) (+ z (* 2 y))) 4.969 * * [simplify]: iteration 0: 22 enodes 4.975 * * [simplify]: iteration 1: 31 enodes 4.983 * * [simplify]: iteration 2: 68 enodes 5.013 * * [simplify]: iteration 3: 280 enodes 5.311 * * [simplify]: iteration 4: 1594 enodes 6.078 * * [simplify]: iteration complete: 5022 enodes 6.078 * * [simplify]: Extracting #0: cost 11 inf + 0 6.079 * * [simplify]: Extracting #1: cost 93 inf + 0 6.084 * * [simplify]: Extracting #2: cost 905 inf + 192 6.104 * * [simplify]: Extracting #3: cost 1138 inf + 46554 6.202 * * [simplify]: Extracting #4: cost 149 inf + 278792 6.366 * * [simplify]: Extracting #5: cost 3 inf + 315166 6.496 * * [simplify]: Extracting #6: cost 0 inf + 316150 6.603 * [simplify]: Simplified to: (expm1 (fma 3 x (fma 2 y z))) (log1p (fma 3 x (fma 2 y z))) (* x 3) (log (fma 3 x (fma 2 y z))) (exp (fma 3 x (fma 2 y z))) (* (cbrt (fma 3 x (fma 2 y z))) (cbrt (fma 3 x (fma 2 y z)))) (cbrt (fma 3 x (fma 2 y z))) (* (* (fma 3 x (fma 2 y z)) (fma 3 x (fma 2 y z))) (fma 3 x (fma 2 y z))) (sqrt (fma 3 x (fma 2 y z))) (sqrt (fma 3 x (fma 2 y z))) (real->posit16 (fma 3 x (fma 2 y z))) (fma 3 x (fma 2 y z)) (fma 3 x (fma 2 y z)) (fma 3 x (fma 2 y z)) 6.604 * * * [progress]: adding candidates to table 6.674 * [progress]: [Phase 3 of 3] Extracting. 6.677 * [simplify]: Simplifying: (fma x 3 (fma 2 y z)) 6.677 * * [simplify]: iteration 0: 7 enodes 6.677 * * [simplify]: iteration complete: 7 enodes 6.677 * * [simplify]: Extracting #0: cost 1 inf + 0 6.677 * * [simplify]: Extracting #1: cost 4 inf + 0 6.677 * * [simplify]: Extracting #2: cost 5 inf + 2 6.677 * * [simplify]: Extracting #3: cost 0 inf + 178 6.677 * [simplify]: Simplified to: (fma x 3 (fma 2 y z)) 8.403 * [regime-testing]: Baseline error score: 0.0006250781347668458 8.408 * [regime-testing]: Oracle error score: 0.0006250781347668458 8.408 * [regime-testing]: End program error score: 0.0006250781347668458