0.547 * [progress]: [Phase 1 of 3] Setting up. 0.004 * * * [progress]: [1/2] Preparing points 0.101 * * * [progress]: [2/2] Setting up program. 0.107 * [progress]: [Phase 2 of 3] Improving. 0.108 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.111 * [simplify]: Simplifying: (+ x (* y (- z x))) 0.112 * * [simplify]: iteration 0: 6 enodes 0.119 * * [simplify]: iteration 1: 10 enodes 0.122 * * [simplify]: iteration 2: 17 enodes 0.130 * * [simplify]: iteration 3: 31 enodes 0.138 * * [simplify]: iteration 4: 47 enodes 0.149 * * [simplify]: iteration 5: 59 enodes 0.199 * * [simplify]: iteration 6: 69 enodes 0.207 * * [simplify]: iteration 7: 91 enodes 0.219 * * [simplify]: iteration 8: 150 enodes 0.242 * * [simplify]: iteration 9: 266 enodes 0.315 * * [simplify]: iteration 10: 566 enodes 0.589 * * [simplify]: iteration 11: 1546 enodes 1.689 * * [simplify]: iteration 12: 2995 enodes 3.427 * * [simplify]: iteration complete: 5000 enodes 3.427 * * [simplify]: Extracting #0: cost 1 inf + 0 3.428 * * [simplify]: Extracting #1: cost 101 inf + 0 3.432 * * [simplify]: Extracting #2: cost 897 inf + 42 3.437 * * [simplify]: Extracting #3: cost 975 inf + 6711 3.448 * * [simplify]: Extracting #4: cost 365 inf + 60781 3.481 * * [simplify]: Extracting #5: cost 18 inf + 101518 3.511 * * [simplify]: Extracting #6: cost 0 inf + 104324 3.537 * [simplify]: Simplified to: (+ x (* y (- z x))) 3.541 * * [progress]: iteration 1 / 4 3.541 * * * [progress]: picking best candidate 3.546 * * * * [pick]: Picked # 3.546 * * * [progress]: localizing error 3.574 * * * [progress]: generating rewritten candidates 3.574 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 3.623 * * * [progress]: generating series expansions 3.623 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 3.630 * [backup-simplify]: Simplify (* y (- z x)) into (* (- z x) y) 3.630 * [approximate]: Taking taylor expansion of (* (- z x) y) in (y z x) around 0 3.631 * [taylor]: Taking taylor expansion of (* (- z x) y) in x 3.631 * [taylor]: Taking taylor expansion of (- z x) in x 3.631 * [taylor]: Taking taylor expansion of z in x 3.631 * [backup-simplify]: Simplify z into z 3.631 * [taylor]: Taking taylor expansion of x in x 3.631 * [backup-simplify]: Simplify 0 into 0 3.631 * [backup-simplify]: Simplify 1 into 1 3.632 * [taylor]: Taking taylor expansion of y in x 3.632 * [backup-simplify]: Simplify y into y 3.632 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 3.632 * [taylor]: Taking taylor expansion of (- z x) in z 3.632 * [taylor]: Taking taylor expansion of z in z 3.632 * [backup-simplify]: Simplify 0 into 0 3.632 * [backup-simplify]: Simplify 1 into 1 3.632 * [taylor]: Taking taylor expansion of x in z 3.632 * [backup-simplify]: Simplify x into x 3.632 * [taylor]: Taking taylor expansion of y in z 3.632 * [backup-simplify]: Simplify y into y 3.632 * [taylor]: Taking taylor expansion of (* (- z x) y) in y 3.632 * [taylor]: Taking taylor expansion of (- z x) in y 3.632 * [taylor]: Taking taylor expansion of z in y 3.632 * [backup-simplify]: Simplify z into z 3.632 * [taylor]: Taking taylor expansion of x in y 3.632 * [backup-simplify]: Simplify x into x 3.632 * [taylor]: Taking taylor expansion of y in y 3.632 * [backup-simplify]: Simplify 0 into 0 3.632 * [backup-simplify]: Simplify 1 into 1 3.632 * [taylor]: Taking taylor expansion of (* (- z x) y) in y 3.632 * [taylor]: Taking taylor expansion of (- z x) in y 3.632 * [taylor]: Taking taylor expansion of z in y 3.632 * [backup-simplify]: Simplify z into z 3.632 * [taylor]: Taking taylor expansion of x in y 3.632 * [backup-simplify]: Simplify x into x 3.632 * [taylor]: Taking taylor expansion of y in y 3.632 * [backup-simplify]: Simplify 0 into 0 3.632 * [backup-simplify]: Simplify 1 into 1 3.633 * [backup-simplify]: Simplify (- x) into (- x) 3.633 * [backup-simplify]: Simplify (+ z (- x)) into (- z x) 3.633 * [backup-simplify]: Simplify (* (- z x) 0) into 0 3.633 * [taylor]: Taking taylor expansion of 0 in z 3.633 * [backup-simplify]: Simplify 0 into 0 3.633 * [taylor]: Taking taylor expansion of 0 in x 3.633 * [backup-simplify]: Simplify 0 into 0 3.634 * [backup-simplify]: Simplify 0 into 0 3.634 * [backup-simplify]: Simplify (- 0) into 0 3.635 * [backup-simplify]: Simplify (+ 0 0) into 0 3.635 * [backup-simplify]: Simplify (+ (* (- z x) 1) (* 0 0)) into (- z x) 3.635 * [taylor]: Taking taylor expansion of (- z x) in z 3.635 * [taylor]: Taking taylor expansion of z in z 3.636 * [backup-simplify]: Simplify 0 into 0 3.636 * [backup-simplify]: Simplify 1 into 1 3.636 * [taylor]: Taking taylor expansion of x in z 3.636 * [backup-simplify]: Simplify x into x 3.636 * [backup-simplify]: Simplify (- x) into (- x) 3.636 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 3.636 * [taylor]: Taking taylor expansion of (- x) in x 3.636 * [taylor]: Taking taylor expansion of x in x 3.636 * [backup-simplify]: Simplify 0 into 0 3.636 * [backup-simplify]: Simplify 1 into 1 3.636 * [backup-simplify]: Simplify (- 0) into 0 3.636 * [backup-simplify]: Simplify 0 into 0 3.636 * [taylor]: Taking taylor expansion of 0 in x 3.636 * [backup-simplify]: Simplify 0 into 0 3.636 * [backup-simplify]: Simplify 0 into 0 3.636 * [backup-simplify]: Simplify 0 into 0 3.637 * [backup-simplify]: Simplify (- 0) into 0 3.637 * [backup-simplify]: Simplify (+ 0 0) into 0 3.638 * [backup-simplify]: Simplify (+ (* (- z x) 0) (+ (* 0 1) (* 0 0))) into 0 3.638 * [taylor]: Taking taylor expansion of 0 in z 3.638 * [backup-simplify]: Simplify 0 into 0 3.638 * [taylor]: Taking taylor expansion of 0 in x 3.638 * [backup-simplify]: Simplify 0 into 0 3.638 * [backup-simplify]: Simplify 0 into 0 3.638 * [backup-simplify]: Simplify (- 0) into 0 3.639 * [backup-simplify]: Simplify (+ 1 0) into 1 3.639 * [taylor]: Taking taylor expansion of 1 in x 3.639 * [backup-simplify]: Simplify 1 into 1 3.639 * [backup-simplify]: Simplify 1 into 1 3.639 * [taylor]: Taking taylor expansion of 0 in x 3.639 * [backup-simplify]: Simplify 0 into 0 3.639 * [backup-simplify]: Simplify 0 into 0 3.640 * [backup-simplify]: Simplify (- 1) into -1 3.640 * [backup-simplify]: Simplify -1 into -1 3.640 * [backup-simplify]: Simplify 0 into 0 3.640 * [backup-simplify]: Simplify 0 into 0 3.640 * [backup-simplify]: Simplify (- 0) into 0 3.640 * [backup-simplify]: Simplify (+ 0 0) into 0 3.642 * [backup-simplify]: Simplify (+ (* (- z x) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.642 * [taylor]: Taking taylor expansion of 0 in z 3.642 * [backup-simplify]: Simplify 0 into 0 3.642 * [taylor]: Taking taylor expansion of 0 in x 3.642 * [backup-simplify]: Simplify 0 into 0 3.642 * [backup-simplify]: Simplify 0 into 0 3.642 * [taylor]: Taking taylor expansion of 0 in x 3.642 * [backup-simplify]: Simplify 0 into 0 3.642 * [backup-simplify]: Simplify 0 into 0 3.642 * [backup-simplify]: Simplify (- 0) into 0 3.643 * [backup-simplify]: Simplify (+ 0 0) into 0 3.643 * [taylor]: Taking taylor expansion of 0 in x 3.643 * [backup-simplify]: Simplify 0 into 0 3.643 * [backup-simplify]: Simplify 0 into 0 3.643 * [taylor]: Taking taylor expansion of 0 in x 3.643 * [backup-simplify]: Simplify 0 into 0 3.643 * [backup-simplify]: Simplify 0 into 0 3.644 * [backup-simplify]: Simplify (+ (* -1 (* x (* 1 y))) (* 1 (* 1 (* z y)))) into (- (* z y) (* x y)) 3.644 * [backup-simplify]: Simplify (* (/ 1 y) (- (/ 1 z) (/ 1 x))) into (/ (- (/ 1 z) (/ 1 x)) y) 3.644 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in (y z x) around 0 3.644 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 3.644 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 3.644 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.644 * [taylor]: Taking taylor expansion of z in x 3.644 * [backup-simplify]: Simplify z into z 3.645 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.645 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.645 * [taylor]: Taking taylor expansion of x in x 3.645 * [backup-simplify]: Simplify 0 into 0 3.645 * [backup-simplify]: Simplify 1 into 1 3.645 * [backup-simplify]: Simplify (/ 1 1) into 1 3.645 * [taylor]: Taking taylor expansion of y in x 3.645 * [backup-simplify]: Simplify y into y 3.646 * [backup-simplify]: Simplify (- 1) into -1 3.646 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.646 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.646 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 3.647 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 3.647 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.647 * [taylor]: Taking taylor expansion of z in z 3.647 * [backup-simplify]: Simplify 0 into 0 3.647 * [backup-simplify]: Simplify 1 into 1 3.647 * [backup-simplify]: Simplify (/ 1 1) into 1 3.647 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.647 * [taylor]: Taking taylor expansion of x in z 3.647 * [backup-simplify]: Simplify x into x 3.647 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.647 * [taylor]: Taking taylor expansion of y in z 3.647 * [backup-simplify]: Simplify y into y 3.648 * [backup-simplify]: Simplify (+ 1 0) into 1 3.648 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.648 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 3.648 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 3.648 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.648 * [taylor]: Taking taylor expansion of z in y 3.648 * [backup-simplify]: Simplify z into z 3.648 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.648 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.648 * [taylor]: Taking taylor expansion of x in y 3.648 * [backup-simplify]: Simplify x into x 3.648 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.648 * [taylor]: Taking taylor expansion of y in y 3.648 * [backup-simplify]: Simplify 0 into 0 3.648 * [backup-simplify]: Simplify 1 into 1 3.648 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 3.648 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x)) 3.648 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x)) 3.648 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 3.648 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 3.648 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.648 * [taylor]: Taking taylor expansion of z in y 3.649 * [backup-simplify]: Simplify z into z 3.649 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.649 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.649 * [taylor]: Taking taylor expansion of x in y 3.649 * [backup-simplify]: Simplify x into x 3.649 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.649 * [taylor]: Taking taylor expansion of y in y 3.649 * [backup-simplify]: Simplify 0 into 0 3.649 * [backup-simplify]: Simplify 1 into 1 3.649 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 3.649 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x)) 3.649 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x)) 3.649 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 3.649 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.649 * [taylor]: Taking taylor expansion of z in z 3.649 * [backup-simplify]: Simplify 0 into 0 3.649 * [backup-simplify]: Simplify 1 into 1 3.650 * [backup-simplify]: Simplify (/ 1 1) into 1 3.650 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.650 * [taylor]: Taking taylor expansion of x in z 3.650 * [backup-simplify]: Simplify x into x 3.650 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.650 * [backup-simplify]: Simplify (+ 1 0) into 1 3.650 * [taylor]: Taking taylor expansion of 1 in x 3.650 * [backup-simplify]: Simplify 1 into 1 3.651 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 3.651 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.651 * [backup-simplify]: Simplify (- 0) into 0 3.652 * [backup-simplify]: Simplify (+ 0 0) into 0 3.653 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 z) (/ 1 x)) (/ 0 1)))) into 0 3.653 * [taylor]: Taking taylor expansion of 0 in z 3.653 * [backup-simplify]: Simplify 0 into 0 3.653 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.654 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 3.654 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 3.654 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 3.654 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.654 * [taylor]: Taking taylor expansion of x in x 3.654 * [backup-simplify]: Simplify 0 into 0 3.654 * [backup-simplify]: Simplify 1 into 1 3.654 * [backup-simplify]: Simplify (/ 1 1) into 1 3.655 * [backup-simplify]: Simplify (- 1) into -1 3.655 * [backup-simplify]: Simplify -1 into -1 3.655 * [backup-simplify]: Simplify 1 into 1 3.655 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.655 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.655 * [backup-simplify]: Simplify (- 0) into 0 3.656 * [backup-simplify]: Simplify (+ 0 0) into 0 3.657 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 z) (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.657 * [taylor]: Taking taylor expansion of 0 in z 3.657 * [backup-simplify]: Simplify 0 into 0 3.657 * [taylor]: Taking taylor expansion of 0 in x 3.658 * [backup-simplify]: Simplify 0 into 0 3.658 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.659 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.659 * [backup-simplify]: Simplify (- 0) into 0 3.659 * [backup-simplify]: Simplify (+ 0 0) into 0 3.659 * [taylor]: Taking taylor expansion of 0 in x 3.659 * [backup-simplify]: Simplify 0 into 0 3.660 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.660 * [backup-simplify]: Simplify (- 0) into 0 3.660 * [backup-simplify]: Simplify 0 into 0 3.661 * [backup-simplify]: Simplify 0 into 0 3.661 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.661 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.662 * [backup-simplify]: Simplify (- 0) into 0 3.662 * [backup-simplify]: Simplify (+ 0 0) into 0 3.664 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 z) (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.664 * [taylor]: Taking taylor expansion of 0 in z 3.664 * [backup-simplify]: Simplify 0 into 0 3.664 * [taylor]: Taking taylor expansion of 0 in x 3.664 * [backup-simplify]: Simplify 0 into 0 3.664 * [taylor]: Taking taylor expansion of 0 in x 3.664 * [backup-simplify]: Simplify 0 into 0 3.665 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.665 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.666 * [backup-simplify]: Simplify (- 0) into 0 3.666 * [backup-simplify]: Simplify (+ 0 0) into 0 3.666 * [taylor]: Taking taylor expansion of 0 in x 3.666 * [backup-simplify]: Simplify 0 into 0 3.666 * [backup-simplify]: Simplify 0 into 0 3.666 * [backup-simplify]: Simplify 0 into 0 3.667 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.667 * [backup-simplify]: Simplify (- 0) into 0 3.667 * [backup-simplify]: Simplify 0 into 0 3.667 * [backup-simplify]: Simplify 0 into 0 3.668 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 z)) (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 x)) (* 1 (/ 1 (/ 1 y)))))) into (- (* z y) (* x y)) 3.668 * [backup-simplify]: Simplify (* (/ 1 (- y)) (- (/ 1 (- z)) (/ 1 (- x)))) into (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) 3.668 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in (y z x) around 0 3.668 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in x 3.668 * [taylor]: Taking taylor expansion of -1 in x 3.668 * [backup-simplify]: Simplify -1 into -1 3.668 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 3.668 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 3.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.668 * [taylor]: Taking taylor expansion of x in x 3.668 * [backup-simplify]: Simplify 0 into 0 3.668 * [backup-simplify]: Simplify 1 into 1 3.669 * [backup-simplify]: Simplify (/ 1 1) into 1 3.669 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.669 * [taylor]: Taking taylor expansion of z in x 3.669 * [backup-simplify]: Simplify z into z 3.669 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.669 * [taylor]: Taking taylor expansion of y in x 3.669 * [backup-simplify]: Simplify y into y 3.669 * [backup-simplify]: Simplify (+ 1 0) into 1 3.669 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.669 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in z 3.669 * [taylor]: Taking taylor expansion of -1 in z 3.669 * [backup-simplify]: Simplify -1 into -1 3.669 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 3.669 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 3.669 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.670 * [taylor]: Taking taylor expansion of x in z 3.670 * [backup-simplify]: Simplify x into x 3.670 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.670 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.670 * [taylor]: Taking taylor expansion of z in z 3.670 * [backup-simplify]: Simplify 0 into 0 3.670 * [backup-simplify]: Simplify 1 into 1 3.670 * [backup-simplify]: Simplify (/ 1 1) into 1 3.670 * [taylor]: Taking taylor expansion of y in z 3.670 * [backup-simplify]: Simplify y into y 3.670 * [backup-simplify]: Simplify (- 1) into -1 3.671 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.671 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.671 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in y 3.671 * [taylor]: Taking taylor expansion of -1 in y 3.671 * [backup-simplify]: Simplify -1 into -1 3.671 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 3.671 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 3.671 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.671 * [taylor]: Taking taylor expansion of x in y 3.671 * [backup-simplify]: Simplify x into x 3.671 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.671 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.671 * [taylor]: Taking taylor expansion of z in y 3.671 * [backup-simplify]: Simplify z into z 3.671 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.671 * [taylor]: Taking taylor expansion of y in y 3.671 * [backup-simplify]: Simplify 0 into 0 3.671 * [backup-simplify]: Simplify 1 into 1 3.671 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 3.672 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z)) 3.672 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z)) 3.672 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in y 3.672 * [taylor]: Taking taylor expansion of -1 in y 3.672 * [backup-simplify]: Simplify -1 into -1 3.672 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 3.672 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 3.672 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.672 * [taylor]: Taking taylor expansion of x in y 3.672 * [backup-simplify]: Simplify x into x 3.672 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.672 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.672 * [taylor]: Taking taylor expansion of z in y 3.672 * [backup-simplify]: Simplify z into z 3.672 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.672 * [taylor]: Taking taylor expansion of y in y 3.672 * [backup-simplify]: Simplify 0 into 0 3.672 * [backup-simplify]: Simplify 1 into 1 3.672 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 3.672 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z)) 3.672 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z)) 3.673 * [backup-simplify]: Simplify (* -1 (- (/ 1 x) (/ 1 z))) into (* -1 (- (/ 1 x) (/ 1 z))) 3.673 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 x) (/ 1 z))) in z 3.673 * [taylor]: Taking taylor expansion of -1 in z 3.673 * [backup-simplify]: Simplify -1 into -1 3.673 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 3.673 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.673 * [taylor]: Taking taylor expansion of x in z 3.673 * [backup-simplify]: Simplify x into x 3.673 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.673 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.673 * [taylor]: Taking taylor expansion of z in z 3.673 * [backup-simplify]: Simplify 0 into 0 3.673 * [backup-simplify]: Simplify 1 into 1 3.673 * [backup-simplify]: Simplify (/ 1 1) into 1 3.674 * [backup-simplify]: Simplify (- 1) into -1 3.674 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.675 * [backup-simplify]: Simplify (* -1 -1) into 1 3.675 * [taylor]: Taking taylor expansion of 1 in x 3.675 * [backup-simplify]: Simplify 1 into 1 3.675 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.675 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 3.675 * [backup-simplify]: Simplify (- 0) into 0 3.676 * [backup-simplify]: Simplify (+ 0 0) into 0 3.676 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)))) into 0 3.677 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (/ 1 x) (/ 1 z)))) into 0 3.677 * [taylor]: Taking taylor expansion of 0 in z 3.677 * [backup-simplify]: Simplify 0 into 0 3.678 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.678 * [backup-simplify]: Simplify (- 0) into 0 3.678 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 3.679 * [backup-simplify]: Simplify (+ (* -1 (/ 1 x)) (* 0 -1)) into (- (/ 1 x)) 3.679 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 3.679 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.679 * [taylor]: Taking taylor expansion of x in x 3.679 * [backup-simplify]: Simplify 0 into 0 3.679 * [backup-simplify]: Simplify 1 into 1 3.679 * [backup-simplify]: Simplify (/ 1 1) into 1 3.680 * [backup-simplify]: Simplify (- 1) into -1 3.680 * [backup-simplify]: Simplify -1 into -1 3.680 * [backup-simplify]: Simplify 1 into 1 3.680 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.680 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.681 * [backup-simplify]: Simplify (- 0) into 0 3.681 * [backup-simplify]: Simplify (+ 0 0) into 0 3.682 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.683 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 z))))) into 0 3.683 * [taylor]: Taking taylor expansion of 0 in z 3.683 * [backup-simplify]: Simplify 0 into 0 3.683 * [taylor]: Taking taylor expansion of 0 in x 3.683 * [backup-simplify]: Simplify 0 into 0 3.684 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.685 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.685 * [backup-simplify]: Simplify (- 0) into 0 3.686 * [backup-simplify]: Simplify (+ 0 0) into 0 3.686 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 x)) (* 0 -1))) into 0 3.687 * [taylor]: Taking taylor expansion of 0 in x 3.687 * [backup-simplify]: Simplify 0 into 0 3.687 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.688 * [backup-simplify]: Simplify (- 0) into 0 3.688 * [backup-simplify]: Simplify 0 into 0 3.688 * [backup-simplify]: Simplify 0 into 0 3.688 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.688 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.689 * [backup-simplify]: Simplify (- 0) into 0 3.689 * [backup-simplify]: Simplify (+ 0 0) into 0 3.691 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.692 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 z)))))) into 0 3.692 * [taylor]: Taking taylor expansion of 0 in z 3.692 * [backup-simplify]: Simplify 0 into 0 3.692 * [taylor]: Taking taylor expansion of 0 in x 3.692 * [backup-simplify]: Simplify 0 into 0 3.692 * [taylor]: Taking taylor expansion of 0 in x 3.692 * [backup-simplify]: Simplify 0 into 0 3.693 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.694 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.694 * [backup-simplify]: Simplify (- 0) into 0 3.694 * [backup-simplify]: Simplify (+ 0 0) into 0 3.696 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 x)) (* 0 -1)))) into 0 3.696 * [taylor]: Taking taylor expansion of 0 in x 3.696 * [backup-simplify]: Simplify 0 into 0 3.696 * [backup-simplify]: Simplify 0 into 0 3.696 * [backup-simplify]: Simplify 0 into 0 3.697 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.697 * [backup-simplify]: Simplify (- 0) into 0 3.697 * [backup-simplify]: Simplify 0 into 0 3.697 * [backup-simplify]: Simplify 0 into 0 3.698 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- y))))))) into (- (* z y) (* x y)) 3.698 * * * [progress]: simplifying candidates 3.698 * * * * [progress]: [ 1 / 30 ] simplifiying candidate # 3.698 * * * * [progress]: [ 2 / 30 ] simplifiying candidate # 3.698 * * * * [progress]: [ 3 / 30 ] simplifiying candidate # 3.698 * * * * [progress]: [ 4 / 30 ] simplifiying candidate # 3.698 * * * * [progress]: [ 5 / 30 ] simplifiying candidate # 3.698 * * * * [progress]: [ 6 / 30 ] simplifiying candidate # 3.698 * * * * [progress]: [ 7 / 30 ] simplifiying candidate # 3.698 * * * * [progress]: [ 8 / 30 ] simplifiying candidate # 3.698 * * * * [progress]: [ 9 / 30 ] simplifiying candidate # 3.698 * * * * [progress]: [ 10 / 30 ] simplifiying candidate # 3.699 * * * * [progress]: [ 11 / 30 ] simplifiying candidate # 3.699 * * * * [progress]: [ 12 / 30 ] simplifiying candidate # 3.699 * * * * [progress]: [ 13 / 30 ] simplifiying candidate # 3.699 * * * * [progress]: [ 14 / 30 ] simplifiying candidate # 3.699 * * * * [progress]: [ 15 / 30 ] simplifiying candidate # 3.699 * * * * [progress]: [ 16 / 30 ] simplifiying candidate # 3.699 * * * * [progress]: [ 17 / 30 ] simplifiying candidate # 3.699 * * * * [progress]: [ 18 / 30 ] simplifiying candidate # 3.699 * * * * [progress]: [ 19 / 30 ] simplifiying candidate # 3.699 * * * * [progress]: [ 20 / 30 ] simplifiying candidate # 3.699 * * * * [progress]: [ 21 / 30 ] simplifiying candidate # 3.699 * * * * [progress]: [ 22 / 30 ] simplifiying candidate # 3.699 * * * * [progress]: [ 23 / 30 ] simplifiying candidate # 3.699 * * * * [progress]: [ 24 / 30 ] simplifiying candidate # 3.699 * * * * [progress]: [ 25 / 30 ] simplifiying candidate # 3.699 * * * * [progress]: [ 26 / 30 ] simplifiying candidate #real (real->posit16 (* y (- z x))))))> 3.699 * * * * [progress]: [ 27 / 30 ] simplifiying candidate # 3.699 * * * * [progress]: [ 28 / 30 ] simplifiying candidate # 3.700 * * * * [progress]: [ 29 / 30 ] simplifiying candidate # 3.700 * * * * [progress]: [ 30 / 30 ] simplifiying candidate # 3.700 * [simplify]: Simplifying: (* y (- z x)) (+ (log y) (log (- z x))) (log (* y (- z x))) (exp (* y (- z x))) (* (* (* y y) y) (* (* (- z x) (- z x)) (- z x))) (* (cbrt (* y (- z x))) (cbrt (* y (- z x)))) (cbrt (* y (- z x))) (* (* (* y (- z x)) (* y (- z x))) (* y (- z x))) (sqrt (* y (- z x))) (sqrt (* y (- z x))) (* (sqrt y) (sqrt (- z x))) (* (sqrt y) (sqrt (- z x))) (* y z) (* y (- x)) (* y z) (* y (- x)) (* z y) (* (- x) y) (* z y) (* (- x) y) (* y (* (cbrt (- z x)) (cbrt (- z x)))) (* y (sqrt (- z x))) (* y 1) (* y (+ (sqrt z) (sqrt x))) (* y 1) (* (cbrt y) (- z x)) (* (sqrt y) (- z x)) (* y (- z x)) (* y (- (pow z 3) (pow x 3))) (* y (- (* z z) (* x x))) (real->posit16 (* y (- z x))) (- (* z y) (* x y)) (- (* z y) (* x y)) (- (* z y) (* x y)) 3.701 * * [simplify]: iteration 0: 53 enodes 3.732 * * [simplify]: iteration 1: 122 enodes 3.778 * * [simplify]: iteration 2: 316 enodes 4.028 * * [simplify]: iteration 3: 1078 enodes 5.757 * * [simplify]: iteration 4: 4773 enodes 6.792 * * [simplify]: iteration complete: 5001 enodes 6.793 * * [simplify]: Extracting #0: cost 19 inf + 0 6.793 * * [simplify]: Extracting #1: cost 142 inf + 1 6.795 * * [simplify]: Extracting #2: cost 492 inf + 3089 6.815 * * [simplify]: Extracting #3: cost 512 inf + 45085 6.871 * * [simplify]: Extracting #4: cost 112 inf + 130710 6.920 * * [simplify]: Extracting #5: cost 45 inf + 153459 6.985 * * [simplify]: Extracting #6: cost 50 inf + 159314 7.025 * * [simplify]: Extracting #7: cost 10 inf + 166852 7.098 * * [simplify]: Extracting #8: cost 0 inf + 169382 7.170 * [simplify]: Simplified to: (* (- z x) y) (log (* (- z x) y)) (log (* (- z x) y)) (exp (* (- z x) y)) (* (* (- z x) y) (* (* (- z x) y) (* (- z x) y))) (* (cbrt (* (- z x) y)) (cbrt (* (- z x) y))) (cbrt (* (- z x) y)) (* (* (- z x) y) (* (* (- z x) y) (* (- z x) y))) (sqrt (* (- z x) y)) (sqrt (* (- z x) y)) (* (sqrt y) (sqrt (- z x))) (* (sqrt y) (sqrt (- z x))) (* y z) (* (- y) x) (* y z) (* (- y) x) (* y z) (* (- y) x) (* y z) (* (- y) x) (* (cbrt (- z x)) (* (cbrt (- z x)) y)) (* (sqrt (- z x)) y) y (* (+ (sqrt x) (sqrt z)) y) y (* (cbrt y) (- z x)) (* (sqrt y) (- z x)) (* (- z x) y) (* y (- (* z (* z z)) (* x (* x x)))) (* (+ z x) (* (- z x) y)) (real->posit16 (* (- z x) y)) (* (- z x) y) (* (- z x) y) (* (- z x) y) 7.172 * * * [progress]: adding candidates to table 7.277 * * [progress]: iteration 2 / 4 7.277 * * * [progress]: picking best candidate 7.279 * * * * [pick]: Picked # 7.280 * * * [progress]: localizing error 7.298 * * * [progress]: generating rewritten candidates 7.298 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 7.388 * * * [progress]: generating series expansions 7.389 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 7.389 * [backup-simplify]: Simplify (+ (* z y) (* (- x) y)) into (- (* z y) (* x y)) 7.389 * [approximate]: Taking taylor expansion of (- (* z y) (* x y)) in (z y x) around 0 7.389 * [taylor]: Taking taylor expansion of (- (* z y) (* x y)) in x 7.389 * [taylor]: Taking taylor expansion of (* z y) in x 7.389 * [taylor]: Taking taylor expansion of z in x 7.389 * [backup-simplify]: Simplify z into z 7.389 * [taylor]: Taking taylor expansion of y in x 7.389 * [backup-simplify]: Simplify y into y 7.389 * [taylor]: Taking taylor expansion of (* x y) in x 7.389 * [taylor]: Taking taylor expansion of x in x 7.389 * [backup-simplify]: Simplify 0 into 0 7.389 * [backup-simplify]: Simplify 1 into 1 7.389 * [taylor]: Taking taylor expansion of y in x 7.389 * [backup-simplify]: Simplify y into y 7.389 * [taylor]: Taking taylor expansion of (- (* z y) (* x y)) in y 7.389 * [taylor]: Taking taylor expansion of (* z y) in y 7.389 * [taylor]: Taking taylor expansion of z in y 7.389 * [backup-simplify]: Simplify z into z 7.389 * [taylor]: Taking taylor expansion of y in y 7.389 * [backup-simplify]: Simplify 0 into 0 7.389 * [backup-simplify]: Simplify 1 into 1 7.389 * [taylor]: Taking taylor expansion of (* x y) in y 7.389 * [taylor]: Taking taylor expansion of x in y 7.389 * [backup-simplify]: Simplify x into x 7.389 * [taylor]: Taking taylor expansion of y in y 7.389 * [backup-simplify]: Simplify 0 into 0 7.389 * [backup-simplify]: Simplify 1 into 1 7.389 * [taylor]: Taking taylor expansion of (- (* z y) (* x y)) in z 7.389 * [taylor]: Taking taylor expansion of (* z y) in z 7.389 * [taylor]: Taking taylor expansion of z in z 7.389 * [backup-simplify]: Simplify 0 into 0 7.389 * [backup-simplify]: Simplify 1 into 1 7.389 * [taylor]: Taking taylor expansion of y in z 7.389 * [backup-simplify]: Simplify y into y 7.389 * [taylor]: Taking taylor expansion of (* x y) in z 7.389 * [taylor]: Taking taylor expansion of x in z 7.389 * [backup-simplify]: Simplify x into x 7.389 * [taylor]: Taking taylor expansion of y in z 7.389 * [backup-simplify]: Simplify y into y 7.389 * [taylor]: Taking taylor expansion of (- (* z y) (* x y)) in z 7.389 * [taylor]: Taking taylor expansion of (* z y) in z 7.389 * [taylor]: Taking taylor expansion of z in z 7.389 * [backup-simplify]: Simplify 0 into 0 7.389 * [backup-simplify]: Simplify 1 into 1 7.389 * [taylor]: Taking taylor expansion of y in z 7.389 * [backup-simplify]: Simplify y into y 7.389 * [taylor]: Taking taylor expansion of (* x y) in z 7.389 * [taylor]: Taking taylor expansion of x in z 7.389 * [backup-simplify]: Simplify x into x 7.389 * [taylor]: Taking taylor expansion of y in z 7.389 * [backup-simplify]: Simplify y into y 7.389 * [backup-simplify]: Simplify (* 0 y) into 0 7.390 * [backup-simplify]: Simplify (* x y) into (* x y) 7.390 * [backup-simplify]: Simplify (- (* x y)) into (- (* x y)) 7.390 * [backup-simplify]: Simplify (+ 0 (- (* x y))) into (- (* x y)) 7.390 * [taylor]: Taking taylor expansion of (- (* x y)) in y 7.390 * [taylor]: Taking taylor expansion of (* x y) in y 7.390 * [taylor]: Taking taylor expansion of x in y 7.390 * [backup-simplify]: Simplify x into x 7.390 * [taylor]: Taking taylor expansion of y in y 7.390 * [backup-simplify]: Simplify 0 into 0 7.390 * [backup-simplify]: Simplify 1 into 1 7.390 * [backup-simplify]: Simplify (* x 0) into 0 7.390 * [backup-simplify]: Simplify (- 0) into 0 7.390 * [taylor]: Taking taylor expansion of 0 in x 7.390 * [backup-simplify]: Simplify 0 into 0 7.390 * [backup-simplify]: Simplify 0 into 0 7.391 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.391 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 7.391 * [backup-simplify]: Simplify (- 0) into 0 7.391 * [backup-simplify]: Simplify (+ y 0) into y 7.391 * [taylor]: Taking taylor expansion of y in y 7.391 * [backup-simplify]: Simplify 0 into 0 7.391 * [backup-simplify]: Simplify 1 into 1 7.391 * [taylor]: Taking taylor expansion of 0 in x 7.391 * [backup-simplify]: Simplify 0 into 0 7.391 * [backup-simplify]: Simplify 0 into 0 7.392 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 7.392 * [backup-simplify]: Simplify (- x) into (- x) 7.392 * [taylor]: Taking taylor expansion of (- x) in x 7.392 * [taylor]: Taking taylor expansion of x in x 7.392 * [backup-simplify]: Simplify 0 into 0 7.392 * [backup-simplify]: Simplify 1 into 1 7.392 * [backup-simplify]: Simplify (- 0) into 0 7.392 * [backup-simplify]: Simplify 0 into 0 7.392 * [backup-simplify]: Simplify 0 into 0 7.393 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 7.393 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 7.393 * [backup-simplify]: Simplify (- 0) into 0 7.393 * [backup-simplify]: Simplify (+ 0 0) into 0 7.393 * [taylor]: Taking taylor expansion of 0 in y 7.393 * [backup-simplify]: Simplify 0 into 0 7.393 * [taylor]: Taking taylor expansion of 0 in x 7.393 * [backup-simplify]: Simplify 0 into 0 7.393 * [backup-simplify]: Simplify 0 into 0 7.393 * [taylor]: Taking taylor expansion of 1 in x 7.394 * [backup-simplify]: Simplify 1 into 1 7.394 * [backup-simplify]: Simplify 1 into 1 7.394 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 7.394 * [backup-simplify]: Simplify (- 0) into 0 7.394 * [taylor]: Taking taylor expansion of 0 in x 7.394 * [backup-simplify]: Simplify 0 into 0 7.394 * [backup-simplify]: Simplify 0 into 0 7.394 * [backup-simplify]: Simplify 0 into 0 7.395 * [backup-simplify]: Simplify (- 1) into -1 7.395 * [backup-simplify]: Simplify -1 into -1 7.395 * [backup-simplify]: Simplify 0 into 0 7.395 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 7.396 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 7.396 * [backup-simplify]: Simplify (- 0) into 0 7.396 * [backup-simplify]: Simplify (+ 0 0) into 0 7.396 * [taylor]: Taking taylor expansion of 0 in y 7.396 * [backup-simplify]: Simplify 0 into 0 7.396 * [taylor]: Taking taylor expansion of 0 in x 7.396 * [backup-simplify]: Simplify 0 into 0 7.396 * [backup-simplify]: Simplify 0 into 0 7.396 * [taylor]: Taking taylor expansion of 0 in x 7.396 * [backup-simplify]: Simplify 0 into 0 7.396 * [backup-simplify]: Simplify 0 into 0 7.396 * [taylor]: Taking taylor expansion of 0 in x 7.396 * [backup-simplify]: Simplify 0 into 0 7.397 * [backup-simplify]: Simplify 0 into 0 7.397 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 7.397 * [backup-simplify]: Simplify (- 0) into 0 7.397 * [taylor]: Taking taylor expansion of 0 in x 7.397 * [backup-simplify]: Simplify 0 into 0 7.397 * [backup-simplify]: Simplify 0 into 0 7.397 * [backup-simplify]: Simplify 0 into 0 7.397 * [backup-simplify]: Simplify (+ (* -1 (* x (* y 1))) (* 1 (* 1 (* y z)))) into (- (* z y) (* x y)) 7.398 * [backup-simplify]: Simplify (+ (* (/ 1 z) (/ 1 y)) (* (- (/ 1 x)) (/ 1 y))) into (- (/ 1 (* z y)) (/ 1 (* x y))) 7.398 * [approximate]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in (z y x) around 0 7.398 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in x 7.398 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 7.398 * [taylor]: Taking taylor expansion of (* z y) in x 7.398 * [taylor]: Taking taylor expansion of z in x 7.398 * [backup-simplify]: Simplify z into z 7.398 * [taylor]: Taking taylor expansion of y in x 7.398 * [backup-simplify]: Simplify y into y 7.398 * [backup-simplify]: Simplify (* z y) into (* z y) 7.398 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 7.398 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.398 * [taylor]: Taking taylor expansion of (* x y) in x 7.398 * [taylor]: Taking taylor expansion of x in x 7.398 * [backup-simplify]: Simplify 0 into 0 7.398 * [backup-simplify]: Simplify 1 into 1 7.398 * [taylor]: Taking taylor expansion of y in x 7.398 * [backup-simplify]: Simplify y into y 7.398 * [backup-simplify]: Simplify (* 0 y) into 0 7.398 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.398 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.398 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in y 7.398 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 7.398 * [taylor]: Taking taylor expansion of (* z y) in y 7.398 * [taylor]: Taking taylor expansion of z in y 7.398 * [backup-simplify]: Simplify z into z 7.398 * [taylor]: Taking taylor expansion of y in y 7.398 * [backup-simplify]: Simplify 0 into 0 7.398 * [backup-simplify]: Simplify 1 into 1 7.398 * [backup-simplify]: Simplify (* z 0) into 0 7.399 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 7.399 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.399 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.399 * [taylor]: Taking taylor expansion of (* x y) in y 7.399 * [taylor]: Taking taylor expansion of x in y 7.399 * [backup-simplify]: Simplify x into x 7.399 * [taylor]: Taking taylor expansion of y in y 7.399 * [backup-simplify]: Simplify 0 into 0 7.399 * [backup-simplify]: Simplify 1 into 1 7.399 * [backup-simplify]: Simplify (* x 0) into 0 7.399 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 7.399 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.399 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in z 7.399 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 7.399 * [taylor]: Taking taylor expansion of (* z y) in z 7.399 * [taylor]: Taking taylor expansion of z in z 7.399 * [backup-simplify]: Simplify 0 into 0 7.399 * [backup-simplify]: Simplify 1 into 1 7.399 * [taylor]: Taking taylor expansion of y in z 7.399 * [backup-simplify]: Simplify y into y 7.399 * [backup-simplify]: Simplify (* 0 y) into 0 7.400 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.400 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.400 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 7.400 * [taylor]: Taking taylor expansion of (* x y) in z 7.400 * [taylor]: Taking taylor expansion of x in z 7.400 * [backup-simplify]: Simplify x into x 7.400 * [taylor]: Taking taylor expansion of y in z 7.400 * [backup-simplify]: Simplify y into y 7.400 * [backup-simplify]: Simplify (* x y) into (* x y) 7.400 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 7.400 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in z 7.400 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 7.400 * [taylor]: Taking taylor expansion of (* z y) in z 7.400 * [taylor]: Taking taylor expansion of z in z 7.400 * [backup-simplify]: Simplify 0 into 0 7.400 * [backup-simplify]: Simplify 1 into 1 7.400 * [taylor]: Taking taylor expansion of y in z 7.400 * [backup-simplify]: Simplify y into y 7.400 * [backup-simplify]: Simplify (* 0 y) into 0 7.400 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.400 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.400 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 7.400 * [taylor]: Taking taylor expansion of (* x y) in z 7.400 * [taylor]: Taking taylor expansion of x in z 7.400 * [backup-simplify]: Simplify x into x 7.400 * [taylor]: Taking taylor expansion of y in z 7.400 * [backup-simplify]: Simplify y into y 7.400 * [backup-simplify]: Simplify (* x y) into (* x y) 7.400 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 7.400 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 7.400 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.401 * [taylor]: Taking taylor expansion of y in y 7.401 * [backup-simplify]: Simplify 0 into 0 7.401 * [backup-simplify]: Simplify 1 into 1 7.401 * [backup-simplify]: Simplify (/ 1 1) into 1 7.401 * [taylor]: Taking taylor expansion of 1 in x 7.401 * [backup-simplify]: Simplify 1 into 1 7.401 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 7.401 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 7.401 * [backup-simplify]: Simplify (- (/ 1 (* x y))) into (- (/ 1 (* x y))) 7.402 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* x y)))) into (- (/ 1 (* x y))) 7.402 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y))) in y 7.402 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.402 * [taylor]: Taking taylor expansion of (* x y) in y 7.402 * [taylor]: Taking taylor expansion of x in y 7.402 * [backup-simplify]: Simplify x into x 7.402 * [taylor]: Taking taylor expansion of y in y 7.402 * [backup-simplify]: Simplify 0 into 0 7.402 * [backup-simplify]: Simplify 1 into 1 7.402 * [backup-simplify]: Simplify (* x 0) into 0 7.402 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 7.402 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.402 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 7.402 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.402 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.402 * [taylor]: Taking taylor expansion of x in x 7.402 * [backup-simplify]: Simplify 0 into 0 7.402 * [backup-simplify]: Simplify 1 into 1 7.402 * [backup-simplify]: Simplify (/ 1 1) into 1 7.403 * [backup-simplify]: Simplify (- 1) into -1 7.403 * [backup-simplify]: Simplify -1 into -1 7.403 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.403 * [taylor]: Taking taylor expansion of 0 in x 7.403 * [backup-simplify]: Simplify 0 into 0 7.403 * [backup-simplify]: Simplify 1 into 1 7.404 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 7.404 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.404 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 7.404 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 7.404 * [backup-simplify]: Simplify (- 0) into 0 7.405 * [backup-simplify]: Simplify (+ 0 0) into 0 7.405 * [taylor]: Taking taylor expansion of 0 in y 7.405 * [backup-simplify]: Simplify 0 into 0 7.405 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 7.405 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 7.405 * [backup-simplify]: Simplify (- 0) into 0 7.405 * [taylor]: Taking taylor expansion of 0 in x 7.405 * [backup-simplify]: Simplify 0 into 0 7.406 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.406 * [taylor]: Taking taylor expansion of 0 in x 7.406 * [backup-simplify]: Simplify 0 into 0 7.406 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.407 * [backup-simplify]: Simplify (- 0) into 0 7.407 * [backup-simplify]: Simplify 0 into 0 7.407 * [backup-simplify]: Simplify 0 into 0 7.407 * [backup-simplify]: Simplify 0 into 0 7.408 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 7.408 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.408 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 7.408 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 7.408 * [backup-simplify]: Simplify (- 0) into 0 7.409 * [backup-simplify]: Simplify (+ 0 0) into 0 7.409 * [taylor]: Taking taylor expansion of 0 in y 7.409 * [backup-simplify]: Simplify 0 into 0 7.409 * [taylor]: Taking taylor expansion of 0 in x 7.409 * [backup-simplify]: Simplify 0 into 0 7.409 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 7.409 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 7.410 * [backup-simplify]: Simplify (- 0) into 0 7.410 * [taylor]: Taking taylor expansion of 0 in x 7.410 * [backup-simplify]: Simplify 0 into 0 7.410 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.410 * [taylor]: Taking taylor expansion of 0 in x 7.410 * [backup-simplify]: Simplify 0 into 0 7.410 * [backup-simplify]: Simplify 0 into 0 7.410 * [backup-simplify]: Simplify 0 into 0 7.411 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.411 * [backup-simplify]: Simplify (- 0) into 0 7.411 * [backup-simplify]: Simplify 0 into 0 7.411 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 z))))) (* -1 (* (/ 1 (/ 1 x)) (* (/ 1 (/ 1 y)) 1)))) into (- (* z y) (* x y)) 7.411 * [backup-simplify]: Simplify (+ (* (/ 1 (- z)) (/ 1 (- y))) (* (- (/ 1 (- x))) (/ 1 (- y)))) into (- (/ 1 (* z y)) (/ 1 (* x y))) 7.411 * [approximate]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in (z y x) around 0 7.411 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in x 7.412 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 7.412 * [taylor]: Taking taylor expansion of (* z y) in x 7.412 * [taylor]: Taking taylor expansion of z in x 7.412 * [backup-simplify]: Simplify z into z 7.412 * [taylor]: Taking taylor expansion of y in x 7.412 * [backup-simplify]: Simplify y into y 7.412 * [backup-simplify]: Simplify (* z y) into (* z y) 7.412 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 7.412 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.412 * [taylor]: Taking taylor expansion of (* x y) in x 7.412 * [taylor]: Taking taylor expansion of x in x 7.412 * [backup-simplify]: Simplify 0 into 0 7.412 * [backup-simplify]: Simplify 1 into 1 7.412 * [taylor]: Taking taylor expansion of y in x 7.412 * [backup-simplify]: Simplify y into y 7.412 * [backup-simplify]: Simplify (* 0 y) into 0 7.412 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.412 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.412 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in y 7.412 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 7.412 * [taylor]: Taking taylor expansion of (* z y) in y 7.412 * [taylor]: Taking taylor expansion of z in y 7.412 * [backup-simplify]: Simplify z into z 7.412 * [taylor]: Taking taylor expansion of y in y 7.412 * [backup-simplify]: Simplify 0 into 0 7.412 * [backup-simplify]: Simplify 1 into 1 7.412 * [backup-simplify]: Simplify (* z 0) into 0 7.413 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 7.413 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 7.413 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.413 * [taylor]: Taking taylor expansion of (* x y) in y 7.413 * [taylor]: Taking taylor expansion of x in y 7.413 * [backup-simplify]: Simplify x into x 7.413 * [taylor]: Taking taylor expansion of y in y 7.413 * [backup-simplify]: Simplify 0 into 0 7.413 * [backup-simplify]: Simplify 1 into 1 7.413 * [backup-simplify]: Simplify (* x 0) into 0 7.413 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 7.413 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.413 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in z 7.413 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 7.413 * [taylor]: Taking taylor expansion of (* z y) in z 7.413 * [taylor]: Taking taylor expansion of z in z 7.413 * [backup-simplify]: Simplify 0 into 0 7.413 * [backup-simplify]: Simplify 1 into 1 7.413 * [taylor]: Taking taylor expansion of y in z 7.413 * [backup-simplify]: Simplify y into y 7.413 * [backup-simplify]: Simplify (* 0 y) into 0 7.413 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.413 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.413 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 7.414 * [taylor]: Taking taylor expansion of (* x y) in z 7.414 * [taylor]: Taking taylor expansion of x in z 7.414 * [backup-simplify]: Simplify x into x 7.414 * [taylor]: Taking taylor expansion of y in z 7.414 * [backup-simplify]: Simplify y into y 7.414 * [backup-simplify]: Simplify (* x y) into (* x y) 7.414 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 7.414 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in z 7.414 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 7.414 * [taylor]: Taking taylor expansion of (* z y) in z 7.414 * [taylor]: Taking taylor expansion of z in z 7.414 * [backup-simplify]: Simplify 0 into 0 7.414 * [backup-simplify]: Simplify 1 into 1 7.414 * [taylor]: Taking taylor expansion of y in z 7.414 * [backup-simplify]: Simplify y into y 7.414 * [backup-simplify]: Simplify (* 0 y) into 0 7.414 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.414 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.414 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 7.414 * [taylor]: Taking taylor expansion of (* x y) in z 7.414 * [taylor]: Taking taylor expansion of x in z 7.414 * [backup-simplify]: Simplify x into x 7.414 * [taylor]: Taking taylor expansion of y in z 7.414 * [backup-simplify]: Simplify y into y 7.414 * [backup-simplify]: Simplify (* x y) into (* x y) 7.414 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 7.414 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 7.414 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.414 * [taylor]: Taking taylor expansion of y in y 7.414 * [backup-simplify]: Simplify 0 into 0 7.414 * [backup-simplify]: Simplify 1 into 1 7.415 * [backup-simplify]: Simplify (/ 1 1) into 1 7.415 * [taylor]: Taking taylor expansion of 1 in x 7.415 * [backup-simplify]: Simplify 1 into 1 7.415 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 7.415 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 7.415 * [backup-simplify]: Simplify (- (/ 1 (* x y))) into (- (/ 1 (* x y))) 7.415 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* x y)))) into (- (/ 1 (* x y))) 7.415 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y))) in y 7.415 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.415 * [taylor]: Taking taylor expansion of (* x y) in y 7.415 * [taylor]: Taking taylor expansion of x in y 7.416 * [backup-simplify]: Simplify x into x 7.416 * [taylor]: Taking taylor expansion of y in y 7.416 * [backup-simplify]: Simplify 0 into 0 7.416 * [backup-simplify]: Simplify 1 into 1 7.416 * [backup-simplify]: Simplify (* x 0) into 0 7.416 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 7.416 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.416 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 7.416 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.416 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.416 * [taylor]: Taking taylor expansion of x in x 7.416 * [backup-simplify]: Simplify 0 into 0 7.416 * [backup-simplify]: Simplify 1 into 1 7.416 * [backup-simplify]: Simplify (/ 1 1) into 1 7.416 * [backup-simplify]: Simplify (- 1) into -1 7.417 * [backup-simplify]: Simplify -1 into -1 7.417 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.417 * [taylor]: Taking taylor expansion of 0 in x 7.417 * [backup-simplify]: Simplify 0 into 0 7.417 * [backup-simplify]: Simplify 1 into 1 7.418 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 7.418 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.418 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 7.418 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 7.418 * [backup-simplify]: Simplify (- 0) into 0 7.418 * [backup-simplify]: Simplify (+ 0 0) into 0 7.418 * [taylor]: Taking taylor expansion of 0 in y 7.419 * [backup-simplify]: Simplify 0 into 0 7.419 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 7.419 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 7.419 * [backup-simplify]: Simplify (- 0) into 0 7.419 * [taylor]: Taking taylor expansion of 0 in x 7.419 * [backup-simplify]: Simplify 0 into 0 7.420 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.420 * [taylor]: Taking taylor expansion of 0 in x 7.420 * [backup-simplify]: Simplify 0 into 0 7.420 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.421 * [backup-simplify]: Simplify (- 0) into 0 7.421 * [backup-simplify]: Simplify 0 into 0 7.421 * [backup-simplify]: Simplify 0 into 0 7.421 * [backup-simplify]: Simplify 0 into 0 7.422 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 7.422 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 7.422 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 7.422 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 7.422 * [backup-simplify]: Simplify (- 0) into 0 7.423 * [backup-simplify]: Simplify (+ 0 0) into 0 7.423 * [taylor]: Taking taylor expansion of 0 in y 7.423 * [backup-simplify]: Simplify 0 into 0 7.423 * [taylor]: Taking taylor expansion of 0 in x 7.423 * [backup-simplify]: Simplify 0 into 0 7.423 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 7.423 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 7.424 * [backup-simplify]: Simplify (- 0) into 0 7.424 * [taylor]: Taking taylor expansion of 0 in x 7.424 * [backup-simplify]: Simplify 0 into 0 7.424 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.424 * [taylor]: Taking taylor expansion of 0 in x 7.424 * [backup-simplify]: Simplify 0 into 0 7.424 * [backup-simplify]: Simplify 0 into 0 7.424 * [backup-simplify]: Simplify 0 into 0 7.425 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.425 * [backup-simplify]: Simplify (- 0) into 0 7.425 * [backup-simplify]: Simplify 0 into 0 7.425 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- z)))))) (* -1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (/ 1 (- y))) 1)))) into (- (* z y) (* x y)) 7.425 * * * [progress]: simplifying candidates 7.425 * * * * [progress]: [ 1 / 30 ] simplifiying candidate # 7.425 * * * * [progress]: [ 2 / 30 ] simplifiying candidate # 7.426 * * * * [progress]: [ 3 / 30 ] simplifiying candidate # 7.426 * * * * [progress]: [ 4 / 30 ] simplifiying candidate # 7.426 * * * * [progress]: [ 5 / 30 ] simplifiying candidate # 7.426 * * * * [progress]: [ 6 / 30 ] simplifiying candidate # 7.426 * * * * [progress]: [ 7 / 30 ] simplifiying candidate # 7.426 * * * * [progress]: [ 8 / 30 ] simplifiying candidate # 7.426 * * * * [progress]: [ 9 / 30 ] simplifiying candidate # 7.426 * * * * [progress]: [ 10 / 30 ] simplifiying candidate # 7.426 * * * * [progress]: [ 11 / 30 ] simplifiying candidate # 7.426 * * * * [progress]: [ 12 / 30 ] simplifiying candidate # 7.426 * * * * [progress]: [ 13 / 30 ] simplifiying candidate # 7.426 * * * * [progress]: [ 14 / 30 ] simplifiying candidate # 7.426 * * * * [progress]: [ 15 / 30 ] simplifiying candidate # 7.426 * * * * [progress]: [ 16 / 30 ] simplifiying candidate # 7.426 * * * * [progress]: [ 17 / 30 ] simplifiying candidate # 7.426 * * * * [progress]: [ 18 / 30 ] simplifiying candidate # 7.426 * * * * [progress]: [ 19 / 30 ] simplifiying candidate # 7.426 * * * * [progress]: [ 20 / 30 ] simplifiying candidate # 7.426 * * * * [progress]: [ 21 / 30 ] simplifiying candidate # 7.426 * * * * [progress]: [ 22 / 30 ] simplifiying candidate # 7.426 * * * * [progress]: [ 23 / 30 ] simplifiying candidate # 7.426 * * * * [progress]: [ 24 / 30 ] simplifiying candidate # 7.426 * * * * [progress]: [ 25 / 30 ] simplifiying candidate # 7.426 * * * * [progress]: [ 26 / 30 ] simplifiying candidate #real (real->posit16 (+ (* z y) (* (- x) y))))))> 7.426 * * * * [progress]: [ 27 / 30 ] simplifiying candidate # 7.426 * * * * [progress]: [ 28 / 30 ] simplifiying candidate # 7.426 * * * * [progress]: [ 29 / 30 ] simplifiying candidate # 7.426 * * * * [progress]: [ 30 / 30 ] simplifiying candidate # 7.427 * [simplify]: Simplifying: (* (exp (* z y)) (exp (* (- x) y))) (log (+ (* z y) (* (- x) y))) (exp (+ (* z y) (* (- x) y))) (* (cbrt (+ (* z y) (* (- x) y))) (cbrt (+ (* z y) (* (- x) y)))) (cbrt (+ (* z y) (* (- x) y))) (* (* (+ (* z y) (* (- x) y)) (+ (* z y) (* (- x) y))) (+ (* z y) (* (- x) y))) (sqrt (+ (* z y) (* (- x) y))) (sqrt (+ (* z y) (* (- x) y))) (+ (pow (* z y) 3) (pow (* (- x) y) 3)) (+ (* (* z y) (* z y)) (- (* (* (- x) y) (* (- x) y)) (* (* z y) (* (- x) y)))) (- (* (* z y) (* z y)) (* (* (- x) y) (* (- x) y))) (- (* z y) (* (- x) y)) (+ (* z y) (* (- x) y)) (+ (* z y) (* (- x) y)) (+ (* z y) (* (- x) y)) (+ (* z y) (* (- x) y)) (+ (* z y) (* (- x) y)) (+ (* z y) (* (- x) y)) (+ z (- x)) (+ z (- x)) (+ z (* (- x) 1)) (+ (* z (* (cbrt y) (cbrt y))) (* (- x) (* (cbrt y) (cbrt y)))) (+ (* z (sqrt y)) (* (- x) (sqrt y))) (+ (* z 1) (- x)) (+ (* z 1) (* (- x) 1)) (real->posit16 (+ (* z y) (* (- x) y))) (- (* z y) (* x y)) (- (* z y) (* x y)) (- (* z y) (* x y)) 7.427 * * [simplify]: iteration 0: 47 enodes 7.440 * * [simplify]: iteration 1: 152 enodes 7.500 * * [simplify]: iteration 2: 598 enodes 8.639 * * [simplify]: iteration 3: 2800 enodes 10.087 * * [simplify]: iteration complete: 5011 enodes 10.087 * * [simplify]: Extracting #0: cost 15 inf + 0 10.088 * * [simplify]: Extracting #1: cost 251 inf + 0 10.094 * * [simplify]: Extracting #2: cost 1100 inf + 4696 10.130 * * [simplify]: Extracting #3: cost 889 inf + 85993 10.189 * * [simplify]: Extracting #4: cost 150 inf + 202491 10.244 * * [simplify]: Extracting #5: cost 37 inf + 230629 10.302 * * [simplify]: Extracting #6: cost 10 inf + 237356 10.364 * * [simplify]: Extracting #7: cost 2 inf + 238990 10.432 * * [simplify]: Extracting #8: cost 0 inf + 239658 10.506 * [simplify]: Simplified to: (exp (* y (- z x))) (log (* y (- z x))) (exp (* y (- z x))) (* (cbrt (* y (- z x))) (cbrt (* y (- z x)))) (cbrt (* y (- z x))) (* (* y (- z x)) (* (* y (- z x)) (* y (- z x)))) (sqrt (* y (- z x))) (sqrt (* y (- z x))) (- (* (* y z) (* (* y z) (* y z))) (* (* x y) (* (* x y) (* x y)))) (+ (* (* y z) (* y z)) (* (* y (+ z x)) (* x y))) (* (* (* y (- z x)) y) (+ z x)) (* y (+ z x)) (* y (- z x)) (* y (- z x)) (* y (- z x)) (* y (- z x)) (* y (- z x)) (* y (- z x)) (- z x) (- z x) (- z x) (* (cbrt y) (* (cbrt y) (- z x))) (* (sqrt y) (- z x)) (- z x) (- z x) (real->posit16 (* y (- z x))) (* y (- z x)) (* y (- z x)) (* y (- z x)) 10.509 * * * [progress]: adding candidates to table 10.574 * [progress]: [Phase 3 of 3] Extracting. 10.574 * * [regime]: Finding splitpoints for: (# #) 10.575 * * * [regime-changes]: Trying 4 branch expressions: ((+ x (* y (- z x))) z y x) 10.576 * * * * [regimes]: Trying to branch on (+ x (* y (- z x))) from (# #) 10.603 * * * * [regimes]: Trying to branch on z from (# #) 10.644 * * * * [regimes]: Trying to branch on y from (# #) 10.671 * * * * [regimes]: Trying to branch on x from (# #) 10.719 * * * [regime]: Found split indices: #