8.946 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.035 * * * [progress]: [2/2] Setting up program. 0.040 * [progress]: [Phase 2 of 3] Improving. 0.040 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.040 * [simplify]: Simplifying: (+ x (* y (+ z x))) 0.040 * * [simplify]: iteration 0: 6 enodes 0.043 * * [simplify]: iteration 1: 15 enodes 0.049 * * [simplify]: iteration 2: 25 enodes 0.055 * * [simplify]: iteration 3: 35 enodes 0.064 * * [simplify]: iteration 4: 39 enodes 0.074 * * [simplify]: iteration 5: 45 enodes 0.085 * * [simplify]: iteration 6: 50 enodes 0.093 * * [simplify]: iteration 7: 66 enodes 0.109 * * [simplify]: iteration 8: 107 enodes 0.136 * * [simplify]: iteration 9: 134 enodes 0.150 * * [simplify]: iteration 10: 174 enodes 0.170 * * [simplify]: iteration 11: 211 enodes 0.197 * * [simplify]: iteration 12: 280 enodes 0.232 * * [simplify]: iteration 13: 317 enodes 0.283 * * [simplify]: iteration 14: 410 enodes 0.348 * * [simplify]: iteration 15: 447 enodes 0.442 * * [simplify]: iteration 16: 564 enodes 0.589 * * [simplify]: iteration 17: 601 enodes 0.678 * * [simplify]: iteration 18: 742 enodes 0.827 * * [simplify]: iteration 19: 780 enodes 1.002 * * [simplify]: iteration 20: 945 enodes 1.181 * * [simplify]: iteration 21: 982 enodes 1.384 * * [simplify]: iteration 22: 1171 enodes 1.562 * * [simplify]: iteration 23: 1208 enodes 1.753 * * [simplify]: iteration 24: 1421 enodes 2.008 * * [simplify]: iteration 25: 1459 enodes 2.320 * * [simplify]: iteration 26: 1696 enodes 2.645 * * [simplify]: iteration 27: 1733 enodes 2.938 * * [simplify]: iteration 28: 1994 enodes 3.271 * * [simplify]: iteration 29: 2031 enodes 3.514 * * [simplify]: iteration 30: 2316 enodes 3.850 * * [simplify]: iteration 31: 2353 enodes 4.174 * * [simplify]: iteration 32: 2662 enodes 4.483 * * [simplify]: iteration 33: 2701 enodes 4.928 * * [simplify]: iteration 34: 3034 enodes 5.457 * * [simplify]: iteration 35: 3071 enodes 5.885 * * [simplify]: iteration 36: 3428 enodes 6.374 * * [simplify]: iteration 37: 3466 enodes 6.932 * * [simplify]: iteration 38: 3847 enodes 7.550 * * [simplify]: iteration 39: 3884 enodes 8.105 * * [simplify]: iteration 40: 4289 enodes 8.741 * * [simplify]: iteration 41: 4327 enodes 9.371 * * [simplify]: iteration 42: 4756 enodes 10.134 * * [simplify]: iteration 43: 4795 enodes 10.563 * * [simplify]: iteration complete: 5000 enodes 10.563 * * [simplify]: Extracting #0: cost 1 inf + 0 10.563 * * [simplify]: Extracting #1: cost 7 inf + 0 10.564 * * [simplify]: Extracting #2: cost 237 inf + 1 10.567 * * [simplify]: Extracting #3: cost 54 inf + 7767 10.572 * * [simplify]: Extracting #4: cost 0 inf + 10035 10.577 * [simplify]: Simplified to: (+ x (* (+ x z) y)) 10.578 * * [progress]: iteration 1 / 4 10.578 * * * [progress]: picking best candidate 10.580 * * * * [pick]: Picked # 10.580 * * * [progress]: localizing error 10.590 * * * [progress]: generating rewritten candidates 10.590 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 10.607 * * * [progress]: generating series expansions 10.607 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 10.607 * [backup-simplify]: Simplify (* y (+ z x)) into (* (+ x z) y) 10.607 * [approximate]: Taking taylor expansion of (* (+ x z) y) in (y z x) around 0 10.607 * [taylor]: Taking taylor expansion of (* (+ x z) y) in x 10.607 * [taylor]: Taking taylor expansion of (+ x z) in x 10.607 * [taylor]: Taking taylor expansion of x in x 10.607 * [backup-simplify]: Simplify 0 into 0 10.607 * [backup-simplify]: Simplify 1 into 1 10.607 * [taylor]: Taking taylor expansion of z in x 10.607 * [backup-simplify]: Simplify z into z 10.607 * [taylor]: Taking taylor expansion of y in x 10.607 * [backup-simplify]: Simplify y into y 10.607 * [taylor]: Taking taylor expansion of (* (+ x z) y) in z 10.607 * [taylor]: Taking taylor expansion of (+ x z) in z 10.607 * [taylor]: Taking taylor expansion of x in z 10.607 * [backup-simplify]: Simplify x into x 10.608 * [taylor]: Taking taylor expansion of z in z 10.608 * [backup-simplify]: Simplify 0 into 0 10.608 * [backup-simplify]: Simplify 1 into 1 10.608 * [taylor]: Taking taylor expansion of y in z 10.608 * [backup-simplify]: Simplify y into y 10.608 * [taylor]: Taking taylor expansion of (* (+ x z) y) in y 10.608 * [taylor]: Taking taylor expansion of (+ x z) in y 10.608 * [taylor]: Taking taylor expansion of x in y 10.608 * [backup-simplify]: Simplify x into x 10.608 * [taylor]: Taking taylor expansion of z in y 10.608 * [backup-simplify]: Simplify z into z 10.608 * [taylor]: Taking taylor expansion of y in y 10.608 * [backup-simplify]: Simplify 0 into 0 10.608 * [backup-simplify]: Simplify 1 into 1 10.608 * [taylor]: Taking taylor expansion of (* (+ x z) y) in y 10.608 * [taylor]: Taking taylor expansion of (+ x z) in y 10.608 * [taylor]: Taking taylor expansion of x in y 10.608 * [backup-simplify]: Simplify x into x 10.608 * [taylor]: Taking taylor expansion of z in y 10.608 * [backup-simplify]: Simplify z into z 10.608 * [taylor]: Taking taylor expansion of y in y 10.608 * [backup-simplify]: Simplify 0 into 0 10.608 * [backup-simplify]: Simplify 1 into 1 10.608 * [backup-simplify]: Simplify (+ x z) into (+ x z) 10.608 * [backup-simplify]: Simplify (* (+ x z) 0) into 0 10.608 * [taylor]: Taking taylor expansion of 0 in z 10.608 * [backup-simplify]: Simplify 0 into 0 10.608 * [taylor]: Taking taylor expansion of 0 in x 10.608 * [backup-simplify]: Simplify 0 into 0 10.608 * [backup-simplify]: Simplify 0 into 0 10.609 * [backup-simplify]: Simplify (+ 0 0) into 0 10.609 * [backup-simplify]: Simplify (+ (* (+ x z) 1) (* 0 0)) into (+ x z) 10.609 * [taylor]: Taking taylor expansion of (+ x z) in z 10.609 * [taylor]: Taking taylor expansion of x in z 10.609 * [backup-simplify]: Simplify x into x 10.609 * [taylor]: Taking taylor expansion of z in z 10.609 * [backup-simplify]: Simplify 0 into 0 10.609 * [backup-simplify]: Simplify 1 into 1 10.609 * [backup-simplify]: Simplify (+ x 0) into x 10.609 * [taylor]: Taking taylor expansion of x in x 10.609 * [backup-simplify]: Simplify 0 into 0 10.609 * [backup-simplify]: Simplify 1 into 1 10.609 * [backup-simplify]: Simplify 0 into 0 10.609 * [taylor]: Taking taylor expansion of 0 in x 10.609 * [backup-simplify]: Simplify 0 into 0 10.609 * [backup-simplify]: Simplify 0 into 0 10.609 * [backup-simplify]: Simplify 0 into 0 10.610 * [backup-simplify]: Simplify (+ 0 0) into 0 10.610 * [backup-simplify]: Simplify (+ (* (+ x z) 0) (+ (* 0 1) (* 0 0))) into 0 10.610 * [taylor]: Taking taylor expansion of 0 in z 10.610 * [backup-simplify]: Simplify 0 into 0 10.610 * [taylor]: Taking taylor expansion of 0 in x 10.610 * [backup-simplify]: Simplify 0 into 0 10.610 * [backup-simplify]: Simplify 0 into 0 10.610 * [backup-simplify]: Simplify (+ 0 1) into 1 10.610 * [taylor]: Taking taylor expansion of 1 in x 10.611 * [backup-simplify]: Simplify 1 into 1 10.611 * [backup-simplify]: Simplify 1 into 1 10.611 * [taylor]: Taking taylor expansion of 0 in x 10.611 * [backup-simplify]: Simplify 0 into 0 10.611 * [backup-simplify]: Simplify 0 into 0 10.611 * [backup-simplify]: Simplify 1 into 1 10.611 * [backup-simplify]: Simplify 0 into 0 10.611 * [backup-simplify]: Simplify 0 into 0 10.611 * [backup-simplify]: Simplify (+ 0 0) into 0 10.611 * [backup-simplify]: Simplify (+ (* (+ x z) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 10.612 * [taylor]: Taking taylor expansion of 0 in z 10.612 * [backup-simplify]: Simplify 0 into 0 10.612 * [taylor]: Taking taylor expansion of 0 in x 10.612 * [backup-simplify]: Simplify 0 into 0 10.612 * [backup-simplify]: Simplify 0 into 0 10.612 * [taylor]: Taking taylor expansion of 0 in x 10.612 * [backup-simplify]: Simplify 0 into 0 10.612 * [backup-simplify]: Simplify 0 into 0 10.612 * [backup-simplify]: Simplify (+ 0 0) into 0 10.612 * [taylor]: Taking taylor expansion of 0 in x 10.612 * [backup-simplify]: Simplify 0 into 0 10.612 * [backup-simplify]: Simplify 0 into 0 10.612 * [taylor]: Taking taylor expansion of 0 in x 10.612 * [backup-simplify]: Simplify 0 into 0 10.612 * [backup-simplify]: Simplify 0 into 0 10.612 * [backup-simplify]: Simplify (+ (* 1 (* x (* 1 y))) (* 1 (* 1 (* z y)))) into (+ (* z y) (* x y)) 10.612 * [backup-simplify]: Simplify (* (/ 1 y) (+ (/ 1 z) (/ 1 x))) into (/ (+ (/ 1 x) (/ 1 z)) y) 10.612 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in (y z x) around 0 10.612 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in x 10.612 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in x 10.612 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.612 * [taylor]: Taking taylor expansion of x in x 10.612 * [backup-simplify]: Simplify 0 into 0 10.612 * [backup-simplify]: Simplify 1 into 1 10.613 * [backup-simplify]: Simplify (/ 1 1) into 1 10.613 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.613 * [taylor]: Taking taylor expansion of z in x 10.613 * [backup-simplify]: Simplify z into z 10.613 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.613 * [taylor]: Taking taylor expansion of y in x 10.613 * [backup-simplify]: Simplify y into y 10.613 * [backup-simplify]: Simplify (+ 1 0) into 1 10.613 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.613 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in z 10.613 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z 10.613 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.613 * [taylor]: Taking taylor expansion of x in z 10.613 * [backup-simplify]: Simplify x into x 10.613 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.613 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.613 * [taylor]: Taking taylor expansion of z in z 10.613 * [backup-simplify]: Simplify 0 into 0 10.613 * [backup-simplify]: Simplify 1 into 1 10.614 * [backup-simplify]: Simplify (/ 1 1) into 1 10.614 * [taylor]: Taking taylor expansion of y in z 10.614 * [backup-simplify]: Simplify y into y 10.614 * [backup-simplify]: Simplify (+ 0 1) into 1 10.614 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.614 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in y 10.614 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in y 10.614 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.614 * [taylor]: Taking taylor expansion of x in y 10.614 * [backup-simplify]: Simplify x into x 10.614 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.614 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.614 * [taylor]: Taking taylor expansion of z in y 10.614 * [backup-simplify]: Simplify z into z 10.614 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.614 * [taylor]: Taking taylor expansion of y in y 10.614 * [backup-simplify]: Simplify 0 into 0 10.614 * [backup-simplify]: Simplify 1 into 1 10.614 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 z)) into (+ (/ 1 x) (/ 1 z)) 10.614 * [backup-simplify]: Simplify (/ (+ (/ 1 x) (/ 1 z)) 1) into (+ (/ 1 x) (/ 1 z)) 10.614 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in y 10.614 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in y 10.614 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.614 * [taylor]: Taking taylor expansion of x in y 10.614 * [backup-simplify]: Simplify x into x 10.614 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.614 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.614 * [taylor]: Taking taylor expansion of z in y 10.615 * [backup-simplify]: Simplify z into z 10.615 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.615 * [taylor]: Taking taylor expansion of y in y 10.615 * [backup-simplify]: Simplify 0 into 0 10.615 * [backup-simplify]: Simplify 1 into 1 10.615 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 z)) into (+ (/ 1 x) (/ 1 z)) 10.615 * [backup-simplify]: Simplify (/ (+ (/ 1 x) (/ 1 z)) 1) into (+ (/ 1 x) (/ 1 z)) 10.615 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z 10.615 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.615 * [taylor]: Taking taylor expansion of x in z 10.615 * [backup-simplify]: Simplify x into x 10.615 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.615 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.615 * [taylor]: Taking taylor expansion of z in z 10.615 * [backup-simplify]: Simplify 0 into 0 10.615 * [backup-simplify]: Simplify 1 into 1 10.615 * [backup-simplify]: Simplify (/ 1 1) into 1 10.615 * [backup-simplify]: Simplify (+ 0 1) into 1 10.616 * [taylor]: Taking taylor expansion of 1 in x 10.616 * [backup-simplify]: Simplify 1 into 1 10.616 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.616 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 10.616 * [backup-simplify]: Simplify (+ 0 0) into 0 10.617 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 x) (/ 1 z)) (/ 0 1)))) into 0 10.617 * [taylor]: Taking taylor expansion of 0 in z 10.617 * [backup-simplify]: Simplify 0 into 0 10.617 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.617 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 10.617 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.617 * [taylor]: Taking taylor expansion of x in x 10.617 * [backup-simplify]: Simplify 0 into 0 10.617 * [backup-simplify]: Simplify 1 into 1 10.618 * [backup-simplify]: Simplify (/ 1 1) into 1 10.618 * [backup-simplify]: Simplify 1 into 1 10.618 * [backup-simplify]: Simplify 1 into 1 10.618 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 10.618 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.618 * [backup-simplify]: Simplify (+ 0 0) into 0 10.619 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 x) (/ 1 z)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.619 * [taylor]: Taking taylor expansion of 0 in z 10.619 * [backup-simplify]: Simplify 0 into 0 10.619 * [taylor]: Taking taylor expansion of 0 in x 10.619 * [backup-simplify]: Simplify 0 into 0 10.619 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.620 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.620 * [backup-simplify]: Simplify (+ 0 0) into 0 10.620 * [taylor]: Taking taylor expansion of 0 in x 10.620 * [backup-simplify]: Simplify 0 into 0 10.621 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.621 * [backup-simplify]: Simplify 0 into 0 10.621 * [backup-simplify]: Simplify 0 into 0 10.621 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 10.621 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.621 * [backup-simplify]: Simplify (+ 0 0) into 0 10.622 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 x) (/ 1 z)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.622 * [taylor]: Taking taylor expansion of 0 in z 10.622 * [backup-simplify]: Simplify 0 into 0 10.622 * [taylor]: Taking taylor expansion of 0 in x 10.622 * [backup-simplify]: Simplify 0 into 0 10.623 * [taylor]: Taking taylor expansion of 0 in x 10.623 * [backup-simplify]: Simplify 0 into 0 10.623 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 10.624 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.624 * [backup-simplify]: Simplify (+ 0 0) into 0 10.624 * [taylor]: Taking taylor expansion of 0 in x 10.624 * [backup-simplify]: Simplify 0 into 0 10.624 * [backup-simplify]: Simplify 0 into 0 10.624 * [backup-simplify]: Simplify 0 into 0 10.625 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.625 * [backup-simplify]: Simplify 0 into 0 10.625 * [backup-simplify]: Simplify 0 into 0 10.625 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 z)) (/ 1 (/ 1 y))))) (* 1 (* (/ 1 (/ 1 x)) (* 1 (/ 1 (/ 1 y)))))) into (+ (* z y) (* x y)) 10.625 * [backup-simplify]: Simplify (* (/ 1 (- y)) (+ (/ 1 (- z)) (/ 1 (- x)))) into (/ (+ (/ 1 x) (/ 1 z)) y) 10.625 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in (y z x) around 0 10.625 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in x 10.625 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in x 10.625 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.625 * [taylor]: Taking taylor expansion of x in x 10.625 * [backup-simplify]: Simplify 0 into 0 10.625 * [backup-simplify]: Simplify 1 into 1 10.626 * [backup-simplify]: Simplify (/ 1 1) into 1 10.626 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.626 * [taylor]: Taking taylor expansion of z in x 10.626 * [backup-simplify]: Simplify z into z 10.626 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.626 * [taylor]: Taking taylor expansion of y in x 10.626 * [backup-simplify]: Simplify y into y 10.626 * [backup-simplify]: Simplify (+ 1 0) into 1 10.626 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.626 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in z 10.626 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z 10.626 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.626 * [taylor]: Taking taylor expansion of x in z 10.626 * [backup-simplify]: Simplify x into x 10.626 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.626 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.626 * [taylor]: Taking taylor expansion of z in z 10.626 * [backup-simplify]: Simplify 0 into 0 10.626 * [backup-simplify]: Simplify 1 into 1 10.626 * [backup-simplify]: Simplify (/ 1 1) into 1 10.626 * [taylor]: Taking taylor expansion of y in z 10.627 * [backup-simplify]: Simplify y into y 10.627 * [backup-simplify]: Simplify (+ 0 1) into 1 10.627 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.627 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in y 10.627 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in y 10.627 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.627 * [taylor]: Taking taylor expansion of x in y 10.627 * [backup-simplify]: Simplify x into x 10.627 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.627 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.627 * [taylor]: Taking taylor expansion of z in y 10.627 * [backup-simplify]: Simplify z into z 10.627 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.627 * [taylor]: Taking taylor expansion of y in y 10.627 * [backup-simplify]: Simplify 0 into 0 10.627 * [backup-simplify]: Simplify 1 into 1 10.627 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 z)) into (+ (/ 1 x) (/ 1 z)) 10.627 * [backup-simplify]: Simplify (/ (+ (/ 1 x) (/ 1 z)) 1) into (+ (/ 1 x) (/ 1 z)) 10.627 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in y 10.627 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in y 10.627 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.627 * [taylor]: Taking taylor expansion of x in y 10.627 * [backup-simplify]: Simplify x into x 10.627 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.627 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.627 * [taylor]: Taking taylor expansion of z in y 10.627 * [backup-simplify]: Simplify z into z 10.627 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.627 * [taylor]: Taking taylor expansion of y in y 10.627 * [backup-simplify]: Simplify 0 into 0 10.627 * [backup-simplify]: Simplify 1 into 1 10.628 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 z)) into (+ (/ 1 x) (/ 1 z)) 10.628 * [backup-simplify]: Simplify (/ (+ (/ 1 x) (/ 1 z)) 1) into (+ (/ 1 x) (/ 1 z)) 10.628 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z 10.628 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.628 * [taylor]: Taking taylor expansion of x in z 10.628 * [backup-simplify]: Simplify x into x 10.628 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.628 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.628 * [taylor]: Taking taylor expansion of z in z 10.628 * [backup-simplify]: Simplify 0 into 0 10.628 * [backup-simplify]: Simplify 1 into 1 10.628 * [backup-simplify]: Simplify (/ 1 1) into 1 10.629 * [backup-simplify]: Simplify (+ 0 1) into 1 10.629 * [taylor]: Taking taylor expansion of 1 in x 10.629 * [backup-simplify]: Simplify 1 into 1 10.629 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.629 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 10.629 * [backup-simplify]: Simplify (+ 0 0) into 0 10.630 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 x) (/ 1 z)) (/ 0 1)))) into 0 10.630 * [taylor]: Taking taylor expansion of 0 in z 10.630 * [backup-simplify]: Simplify 0 into 0 10.630 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.630 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 10.630 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.630 * [taylor]: Taking taylor expansion of x in x 10.630 * [backup-simplify]: Simplify 0 into 0 10.630 * [backup-simplify]: Simplify 1 into 1 10.631 * [backup-simplify]: Simplify (/ 1 1) into 1 10.631 * [backup-simplify]: Simplify 1 into 1 10.631 * [backup-simplify]: Simplify 1 into 1 10.631 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 10.631 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.631 * [backup-simplify]: Simplify (+ 0 0) into 0 10.632 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 x) (/ 1 z)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.632 * [taylor]: Taking taylor expansion of 0 in z 10.632 * [backup-simplify]: Simplify 0 into 0 10.632 * [taylor]: Taking taylor expansion of 0 in x 10.632 * [backup-simplify]: Simplify 0 into 0 10.632 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.633 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.633 * [backup-simplify]: Simplify (+ 0 0) into 0 10.633 * [taylor]: Taking taylor expansion of 0 in x 10.633 * [backup-simplify]: Simplify 0 into 0 10.634 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.634 * [backup-simplify]: Simplify 0 into 0 10.634 * [backup-simplify]: Simplify 0 into 0 10.634 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 10.634 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.635 * [backup-simplify]: Simplify (+ 0 0) into 0 10.636 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 x) (/ 1 z)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.636 * [taylor]: Taking taylor expansion of 0 in z 10.636 * [backup-simplify]: Simplify 0 into 0 10.636 * [taylor]: Taking taylor expansion of 0 in x 10.636 * [backup-simplify]: Simplify 0 into 0 10.636 * [taylor]: Taking taylor expansion of 0 in x 10.636 * [backup-simplify]: Simplify 0 into 0 10.636 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 10.637 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.637 * [backup-simplify]: Simplify (+ 0 0) into 0 10.637 * [taylor]: Taking taylor expansion of 0 in x 10.637 * [backup-simplify]: Simplify 0 into 0 10.637 * [backup-simplify]: Simplify 0 into 0 10.637 * [backup-simplify]: Simplify 0 into 0 10.638 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.638 * [backup-simplify]: Simplify 0 into 0 10.638 * [backup-simplify]: Simplify 0 into 0 10.638 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- y)))))) (* 1 (* (/ 1 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- y))))))) into (+ (* z y) (* x y)) 10.638 * * * [progress]: simplifying candidates 10.638 * * * * [progress]: [ 1 / 27 ] simplifiying candidate # 10.638 * * * * [progress]: [ 2 / 27 ] simplifiying candidate # 10.638 * * * * [progress]: [ 3 / 27 ] simplifiying candidate # 10.638 * * * * [progress]: [ 4 / 27 ] simplifiying candidate # 10.638 * * * * [progress]: [ 5 / 27 ] simplifiying candidate # 10.638 * * * * [progress]: [ 6 / 27 ] simplifiying candidate # 10.638 * * * * [progress]: [ 7 / 27 ] simplifiying candidate # 10.638 * * * * [progress]: [ 8 / 27 ] simplifiying candidate # 10.638 * * * * [progress]: [ 9 / 27 ] simplifiying candidate # 10.638 * * * * [progress]: [ 10 / 27 ] simplifiying candidate # 10.638 * * * * [progress]: [ 11 / 27 ] simplifiying candidate # 10.638 * * * * [progress]: [ 12 / 27 ] simplifiying candidate # 10.638 * * * * [progress]: [ 13 / 27 ] simplifiying candidate # 10.638 * * * * [progress]: [ 14 / 27 ] simplifiying candidate # 10.638 * * * * [progress]: [ 15 / 27 ] simplifiying candidate # 10.639 * * * * [progress]: [ 16 / 27 ] simplifiying candidate # 10.639 * * * * [progress]: [ 17 / 27 ] simplifiying candidate # 10.639 * * * * [progress]: [ 18 / 27 ] simplifiying candidate # 10.639 * * * * [progress]: [ 19 / 27 ] simplifiying candidate # 10.639 * * * * [progress]: [ 20 / 27 ] simplifiying candidate # 10.639 * * * * [progress]: [ 21 / 27 ] simplifiying candidate # 10.639 * * * * [progress]: [ 22 / 27 ] simplifiying candidate # 10.639 * * * * [progress]: [ 23 / 27 ] simplifiying candidate #real (real->posit16 (* y (+ z x))))))> 10.639 * * * * [progress]: [ 24 / 27 ] simplifiying candidate # 10.639 * * * * [progress]: [ 25 / 27 ] simplifiying candidate # 10.639 * * * * [progress]: [ 26 / 27 ] simplifiying candidate # 10.639 * * * * [progress]: [ 27 / 27 ] simplifiying candidate # 10.639 * [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) (* z y) (* x y) (* y (* (cbrt (+ z x)) (cbrt (+ z x)))) (* y (sqrt (+ z x))) (* y 1) (* 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)) 10.640 * * [simplify]: iteration 0: 47 enodes 10.652 * * [simplify]: iteration 1: 141 enodes 10.700 * * [simplify]: iteration 2: 470 enodes 11.233 * * [simplify]: iteration 3: 2338 enodes 11.862 * * [simplify]: iteration complete: 5035 enodes 11.862 * * [simplify]: Extracting #0: cost 20 inf + 0 11.863 * * [simplify]: Extracting #1: cost 257 inf + 1 11.869 * * [simplify]: Extracting #2: cost 1149 inf + 4612 11.888 * * [simplify]: Extracting #3: cost 1201 inf + 91972 11.944 * * [simplify]: Extracting #4: cost 281 inf + 266796 12.016 * * [simplify]: Extracting #5: cost 37 inf + 320723 12.103 * * [simplify]: Extracting #6: cost 11 inf + 326344 12.178 * * [simplify]: Extracting #7: cost 0 inf + 328282 12.270 * [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))) (* z y) (* y x) (* z y) (* y x) (* y (* (cbrt (+ z x)) (cbrt (+ z x)))) (* y (sqrt (+ z x))) y y (* (+ z x) (cbrt y)) (* (sqrt y) (+ z x)) (* (+ z x) y) (* y (+ (* (* x x) x) (* (* z z) z))) (* (- z x) (* (+ z x) y)) (real->posit16 (* (+ z x) y)) (* (+ z x) y) (* (+ z x) y) (* (+ z x) y) 12.272 * * * [progress]: adding candidates to table 12.366 * * [progress]: iteration 2 / 4 12.366 * * * [progress]: picking best candidate 12.370 * * * * [pick]: Picked # 12.370 * * * [progress]: localizing error 12.397 * * * [progress]: generating rewritten candidates 12.397 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 12.411 * * * [progress]: generating series expansions 12.411 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 12.411 * [backup-simplify]: Simplify (+ (* y z) (* y x)) into (+ (* z y) (* x y)) 12.411 * [approximate]: Taking taylor expansion of (+ (* z y) (* x y)) in (y z x) around 0 12.411 * [taylor]: Taking taylor expansion of (+ (* z y) (* x y)) in x 12.411 * [taylor]: Taking taylor expansion of (* z y) in x 12.411 * [taylor]: Taking taylor expansion of z in x 12.411 * [backup-simplify]: Simplify z into z 12.411 * [taylor]: Taking taylor expansion of y in x 12.411 * [backup-simplify]: Simplify y into y 12.411 * [taylor]: Taking taylor expansion of (* x y) in x 12.411 * [taylor]: Taking taylor expansion of x in x 12.411 * [backup-simplify]: Simplify 0 into 0 12.411 * [backup-simplify]: Simplify 1 into 1 12.411 * [taylor]: Taking taylor expansion of y in x 12.411 * [backup-simplify]: Simplify y into y 12.411 * [taylor]: Taking taylor expansion of (+ (* z y) (* x y)) in z 12.411 * [taylor]: Taking taylor expansion of (* z y) in z 12.411 * [taylor]: Taking taylor expansion of z in z 12.411 * [backup-simplify]: Simplify 0 into 0 12.411 * [backup-simplify]: Simplify 1 into 1 12.411 * [taylor]: Taking taylor expansion of y in z 12.411 * [backup-simplify]: Simplify y into y 12.411 * [taylor]: Taking taylor expansion of (* x y) in z 12.412 * [taylor]: Taking taylor expansion of x in z 12.412 * [backup-simplify]: Simplify x into x 12.412 * [taylor]: Taking taylor expansion of y in z 12.412 * [backup-simplify]: Simplify y into y 12.412 * [taylor]: Taking taylor expansion of (+ (* z y) (* x y)) in y 12.412 * [taylor]: Taking taylor expansion of (* z y) in y 12.412 * [taylor]: Taking taylor expansion of z in y 12.412 * [backup-simplify]: Simplify z into z 12.412 * [taylor]: Taking taylor expansion of y in y 12.412 * [backup-simplify]: Simplify 0 into 0 12.412 * [backup-simplify]: Simplify 1 into 1 12.412 * [taylor]: Taking taylor expansion of (* x y) in y 12.412 * [taylor]: Taking taylor expansion of x in y 12.412 * [backup-simplify]: Simplify x into x 12.412 * [taylor]: Taking taylor expansion of y in y 12.412 * [backup-simplify]: Simplify 0 into 0 12.412 * [backup-simplify]: Simplify 1 into 1 12.412 * [taylor]: Taking taylor expansion of (+ (* z y) (* x y)) in y 12.412 * [taylor]: Taking taylor expansion of (* z y) in y 12.412 * [taylor]: Taking taylor expansion of z in y 12.412 * [backup-simplify]: Simplify z into z 12.412 * [taylor]: Taking taylor expansion of y in y 12.412 * [backup-simplify]: Simplify 0 into 0 12.412 * [backup-simplify]: Simplify 1 into 1 12.412 * [taylor]: Taking taylor expansion of (* x y) in y 12.412 * [taylor]: Taking taylor expansion of x in y 12.412 * [backup-simplify]: Simplify x into x 12.412 * [taylor]: Taking taylor expansion of y in y 12.412 * [backup-simplify]: Simplify 0 into 0 12.412 * [backup-simplify]: Simplify 1 into 1 12.412 * [backup-simplify]: Simplify (* z 0) into 0 12.412 * [backup-simplify]: Simplify (* x 0) into 0 12.413 * [backup-simplify]: Simplify (+ 0 0) into 0 12.413 * [taylor]: Taking taylor expansion of 0 in z 12.413 * [backup-simplify]: Simplify 0 into 0 12.413 * [taylor]: Taking taylor expansion of 0 in x 12.413 * [backup-simplify]: Simplify 0 into 0 12.413 * [backup-simplify]: Simplify 0 into 0 12.414 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 12.414 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 12.414 * [backup-simplify]: Simplify (+ z x) into (+ x z) 12.414 * [taylor]: Taking taylor expansion of (+ x z) in z 12.414 * [taylor]: Taking taylor expansion of x in z 12.414 * [backup-simplify]: Simplify x into x 12.414 * [taylor]: Taking taylor expansion of z in z 12.414 * [backup-simplify]: Simplify 0 into 0 12.414 * [backup-simplify]: Simplify 1 into 1 12.414 * [backup-simplify]: Simplify (+ x 0) into x 12.414 * [taylor]: Taking taylor expansion of x in x 12.414 * [backup-simplify]: Simplify 0 into 0 12.414 * [backup-simplify]: Simplify 1 into 1 12.414 * [backup-simplify]: Simplify 0 into 0 12.414 * [taylor]: Taking taylor expansion of 0 in x 12.414 * [backup-simplify]: Simplify 0 into 0 12.415 * [backup-simplify]: Simplify 0 into 0 12.415 * [backup-simplify]: Simplify 0 into 0 12.415 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 12.416 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 12.416 * [backup-simplify]: Simplify (+ 0 0) into 0 12.416 * [taylor]: Taking taylor expansion of 0 in z 12.416 * [backup-simplify]: Simplify 0 into 0 12.416 * [taylor]: Taking taylor expansion of 0 in x 12.416 * [backup-simplify]: Simplify 0 into 0 12.416 * [backup-simplify]: Simplify 0 into 0 12.417 * [backup-simplify]: Simplify (+ 0 1) into 1 12.417 * [taylor]: Taking taylor expansion of 1 in x 12.417 * [backup-simplify]: Simplify 1 into 1 12.417 * [backup-simplify]: Simplify 1 into 1 12.417 * [taylor]: Taking taylor expansion of 0 in x 12.417 * [backup-simplify]: Simplify 0 into 0 12.417 * [backup-simplify]: Simplify 0 into 0 12.417 * [backup-simplify]: Simplify 1 into 1 12.417 * [backup-simplify]: Simplify 0 into 0 12.417 * [backup-simplify]: Simplify 0 into 0 12.418 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 12.419 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 12.419 * [backup-simplify]: Simplify (+ 0 0) into 0 12.419 * [taylor]: Taking taylor expansion of 0 in z 12.419 * [backup-simplify]: Simplify 0 into 0 12.419 * [taylor]: Taking taylor expansion of 0 in x 12.419 * [backup-simplify]: Simplify 0 into 0 12.419 * [backup-simplify]: Simplify 0 into 0 12.419 * [taylor]: Taking taylor expansion of 0 in x 12.419 * [backup-simplify]: Simplify 0 into 0 12.419 * [backup-simplify]: Simplify 0 into 0 12.420 * [backup-simplify]: Simplify (+ 0 0) into 0 12.420 * [taylor]: Taking taylor expansion of 0 in x 12.420 * [backup-simplify]: Simplify 0 into 0 12.420 * [backup-simplify]: Simplify 0 into 0 12.420 * [taylor]: Taking taylor expansion of 0 in x 12.420 * [backup-simplify]: Simplify 0 into 0 12.420 * [backup-simplify]: Simplify 0 into 0 12.420 * [backup-simplify]: Simplify (+ (* 1 (* x (* 1 y))) (* 1 (* 1 (* z y)))) into (+ (* z y) (* x y)) 12.420 * [backup-simplify]: Simplify (+ (* (/ 1 y) (/ 1 z)) (* (/ 1 y) (/ 1 x))) into (+ (/ 1 (* x y)) (/ 1 (* z y))) 12.420 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 (* z y))) in (y z x) around 0 12.421 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 (* z y))) in x 12.421 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 12.421 * [taylor]: Taking taylor expansion of (* x y) in x 12.421 * [taylor]: Taking taylor expansion of x in x 12.421 * [backup-simplify]: Simplify 0 into 0 12.421 * [backup-simplify]: Simplify 1 into 1 12.421 * [taylor]: Taking taylor expansion of y in x 12.421 * [backup-simplify]: Simplify y into y 12.421 * [backup-simplify]: Simplify (* 0 y) into 0 12.421 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 12.421 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 12.421 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 12.421 * [taylor]: Taking taylor expansion of (* z y) in x 12.421 * [taylor]: Taking taylor expansion of z in x 12.421 * [backup-simplify]: Simplify z into z 12.421 * [taylor]: Taking taylor expansion of y in x 12.421 * [backup-simplify]: Simplify y into y 12.421 * [backup-simplify]: Simplify (* z y) into (* z y) 12.421 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 12.422 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 (* z y))) in z 12.422 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 12.422 * [taylor]: Taking taylor expansion of (* x y) in z 12.422 * [taylor]: Taking taylor expansion of x in z 12.422 * [backup-simplify]: Simplify x into x 12.422 * [taylor]: Taking taylor expansion of y in z 12.422 * [backup-simplify]: Simplify y into y 12.422 * [backup-simplify]: Simplify (* x y) into (* x y) 12.422 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 12.422 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 12.422 * [taylor]: Taking taylor expansion of (* z y) in z 12.422 * [taylor]: Taking taylor expansion of z in z 12.422 * [backup-simplify]: Simplify 0 into 0 12.422 * [backup-simplify]: Simplify 1 into 1 12.422 * [taylor]: Taking taylor expansion of y in z 12.422 * [backup-simplify]: Simplify y into y 12.422 * [backup-simplify]: Simplify (* 0 y) into 0 12.422 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 12.422 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 12.422 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 (* z y))) in y 12.423 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 12.423 * [taylor]: Taking taylor expansion of (* x y) in y 12.423 * [taylor]: Taking taylor expansion of x in y 12.423 * [backup-simplify]: Simplify x into x 12.423 * [taylor]: Taking taylor expansion of y in y 12.423 * [backup-simplify]: Simplify 0 into 0 12.423 * [backup-simplify]: Simplify 1 into 1 12.423 * [backup-simplify]: Simplify (* x 0) into 0 12.423 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 12.423 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.423 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 12.423 * [taylor]: Taking taylor expansion of (* z y) in y 12.423 * [taylor]: Taking taylor expansion of z in y 12.423 * [backup-simplify]: Simplify z into z 12.423 * [taylor]: Taking taylor expansion of y in y 12.423 * [backup-simplify]: Simplify 0 into 0 12.423 * [backup-simplify]: Simplify 1 into 1 12.423 * [backup-simplify]: Simplify (* z 0) into 0 12.424 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 12.424 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.424 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 (* z y))) in y 12.424 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 12.424 * [taylor]: Taking taylor expansion of (* x y) in y 12.424 * [taylor]: Taking taylor expansion of x in y 12.424 * [backup-simplify]: Simplify x into x 12.424 * [taylor]: Taking taylor expansion of y in y 12.424 * [backup-simplify]: Simplify 0 into 0 12.424 * [backup-simplify]: Simplify 1 into 1 12.424 * [backup-simplify]: Simplify (* x 0) into 0 12.425 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 12.425 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.425 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 12.425 * [taylor]: Taking taylor expansion of (* z y) in y 12.425 * [taylor]: Taking taylor expansion of z in y 12.425 * [backup-simplify]: Simplify z into z 12.425 * [taylor]: Taking taylor expansion of y in y 12.425 * [backup-simplify]: Simplify 0 into 0 12.425 * [backup-simplify]: Simplify 1 into 1 12.425 * [backup-simplify]: Simplify (* z 0) into 0 12.425 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 12.425 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.425 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 z)) into (+ (/ 1 x) (/ 1 z)) 12.426 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z 12.426 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.426 * [taylor]: Taking taylor expansion of x in z 12.426 * [backup-simplify]: Simplify x into x 12.426 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.426 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.426 * [taylor]: Taking taylor expansion of z in z 12.426 * [backup-simplify]: Simplify 0 into 0 12.426 * [backup-simplify]: Simplify 1 into 1 12.426 * [backup-simplify]: Simplify (/ 1 1) into 1 12.427 * [backup-simplify]: Simplify (+ 0 1) into 1 12.427 * [taylor]: Taking taylor expansion of 1 in x 12.427 * [backup-simplify]: Simplify 1 into 1 12.427 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 12.427 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 12.428 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 12.428 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 12.429 * [backup-simplify]: Simplify (+ 0 0) into 0 12.429 * [taylor]: Taking taylor expansion of 0 in z 12.429 * [backup-simplify]: Simplify 0 into 0 12.429 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.430 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 12.430 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.430 * [taylor]: Taking taylor expansion of x in x 12.430 * [backup-simplify]: Simplify 0 into 0 12.430 * [backup-simplify]: Simplify 1 into 1 12.430 * [backup-simplify]: Simplify (/ 1 1) into 1 12.430 * [backup-simplify]: Simplify 1 into 1 12.430 * [backup-simplify]: Simplify 1 into 1 12.431 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 12.431 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 12.432 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 12.432 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 12.433 * [backup-simplify]: Simplify (+ 0 0) into 0 12.433 * [taylor]: Taking taylor expansion of 0 in z 12.433 * [backup-simplify]: Simplify 0 into 0 12.433 * [taylor]: Taking taylor expansion of 0 in x 12.433 * [backup-simplify]: Simplify 0 into 0 12.433 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 12.434 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.434 * [backup-simplify]: Simplify (+ 0 0) into 0 12.434 * [taylor]: Taking taylor expansion of 0 in x 12.434 * [backup-simplify]: Simplify 0 into 0 12.435 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.435 * [backup-simplify]: Simplify 0 into 0 12.435 * [backup-simplify]: Simplify 0 into 0 12.436 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 12.436 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 12.437 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 12.437 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 12.438 * [backup-simplify]: Simplify (+ 0 0) into 0 12.438 * [taylor]: Taking taylor expansion of 0 in z 12.438 * [backup-simplify]: Simplify 0 into 0 12.438 * [taylor]: Taking taylor expansion of 0 in x 12.438 * [backup-simplify]: Simplify 0 into 0 12.438 * [taylor]: Taking taylor expansion of 0 in x 12.438 * [backup-simplify]: Simplify 0 into 0 12.438 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 12.439 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.440 * [backup-simplify]: Simplify (+ 0 0) into 0 12.440 * [taylor]: Taking taylor expansion of 0 in x 12.440 * [backup-simplify]: Simplify 0 into 0 12.440 * [backup-simplify]: Simplify 0 into 0 12.440 * [backup-simplify]: Simplify 0 into 0 12.441 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.441 * [backup-simplify]: Simplify 0 into 0 12.441 * [backup-simplify]: Simplify 0 into 0 12.441 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 z)) (/ 1 (/ 1 y))))) (* 1 (* (/ 1 (/ 1 x)) (* 1 (/ 1 (/ 1 y)))))) into (+ (* z y) (* x y)) 12.442 * [backup-simplify]: Simplify (+ (* (/ 1 (- y)) (/ 1 (- z))) (* (/ 1 (- y)) (/ 1 (- x)))) into (+ (/ 1 (* x y)) (/ 1 (* z y))) 12.442 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 (* z y))) in (y z x) around 0 12.442 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 (* z y))) in x 12.442 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 12.442 * [taylor]: Taking taylor expansion of (* x y) in x 12.442 * [taylor]: Taking taylor expansion of x in x 12.442 * [backup-simplify]: Simplify 0 into 0 12.442 * [backup-simplify]: Simplify 1 into 1 12.442 * [taylor]: Taking taylor expansion of y in x 12.442 * [backup-simplify]: Simplify y into y 12.442 * [backup-simplify]: Simplify (* 0 y) into 0 12.442 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 12.442 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 12.442 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 12.442 * [taylor]: Taking taylor expansion of (* z y) in x 12.442 * [taylor]: Taking taylor expansion of z in x 12.443 * [backup-simplify]: Simplify z into z 12.443 * [taylor]: Taking taylor expansion of y in x 12.443 * [backup-simplify]: Simplify y into y 12.443 * [backup-simplify]: Simplify (* z y) into (* z y) 12.443 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 12.443 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 (* z y))) in z 12.443 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 12.443 * [taylor]: Taking taylor expansion of (* x y) in z 12.443 * [taylor]: Taking taylor expansion of x in z 12.443 * [backup-simplify]: Simplify x into x 12.443 * [taylor]: Taking taylor expansion of y in z 12.443 * [backup-simplify]: Simplify y into y 12.443 * [backup-simplify]: Simplify (* x y) into (* x y) 12.443 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 12.443 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 12.443 * [taylor]: Taking taylor expansion of (* z y) in z 12.443 * [taylor]: Taking taylor expansion of z in z 12.443 * [backup-simplify]: Simplify 0 into 0 12.443 * [backup-simplify]: Simplify 1 into 1 12.443 * [taylor]: Taking taylor expansion of y in z 12.443 * [backup-simplify]: Simplify y into y 12.443 * [backup-simplify]: Simplify (* 0 y) into 0 12.444 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 12.444 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 12.444 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 (* z y))) in y 12.444 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 12.444 * [taylor]: Taking taylor expansion of (* x y) in y 12.444 * [taylor]: Taking taylor expansion of x in y 12.444 * [backup-simplify]: Simplify x into x 12.444 * [taylor]: Taking taylor expansion of y in y 12.444 * [backup-simplify]: Simplify 0 into 0 12.444 * [backup-simplify]: Simplify 1 into 1 12.444 * [backup-simplify]: Simplify (* x 0) into 0 12.444 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 12.444 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.444 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 12.444 * [taylor]: Taking taylor expansion of (* z y) in y 12.444 * [taylor]: Taking taylor expansion of z in y 12.444 * [backup-simplify]: Simplify z into z 12.444 * [taylor]: Taking taylor expansion of y in y 12.444 * [backup-simplify]: Simplify 0 into 0 12.445 * [backup-simplify]: Simplify 1 into 1 12.445 * [backup-simplify]: Simplify (* z 0) into 0 12.445 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 12.445 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.445 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 (* z y))) in y 12.445 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 12.445 * [taylor]: Taking taylor expansion of (* x y) in y 12.445 * [taylor]: Taking taylor expansion of x in y 12.445 * [backup-simplify]: Simplify x into x 12.445 * [taylor]: Taking taylor expansion of y in y 12.445 * [backup-simplify]: Simplify 0 into 0 12.445 * [backup-simplify]: Simplify 1 into 1 12.445 * [backup-simplify]: Simplify (* x 0) into 0 12.446 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 12.446 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.446 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 12.446 * [taylor]: Taking taylor expansion of (* z y) in y 12.446 * [taylor]: Taking taylor expansion of z in y 12.446 * [backup-simplify]: Simplify z into z 12.446 * [taylor]: Taking taylor expansion of y in y 12.446 * [backup-simplify]: Simplify 0 into 0 12.446 * [backup-simplify]: Simplify 1 into 1 12.446 * [backup-simplify]: Simplify (* z 0) into 0 12.446 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 12.446 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.447 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 z)) into (+ (/ 1 x) (/ 1 z)) 12.447 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z 12.447 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.447 * [taylor]: Taking taylor expansion of x in z 12.447 * [backup-simplify]: Simplify x into x 12.447 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.447 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.447 * [taylor]: Taking taylor expansion of z in z 12.447 * [backup-simplify]: Simplify 0 into 0 12.447 * [backup-simplify]: Simplify 1 into 1 12.447 * [backup-simplify]: Simplify (/ 1 1) into 1 12.448 * [backup-simplify]: Simplify (+ 0 1) into 1 12.448 * [taylor]: Taking taylor expansion of 1 in x 12.448 * [backup-simplify]: Simplify 1 into 1 12.449 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 12.449 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 12.449 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 12.450 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 12.450 * [backup-simplify]: Simplify (+ 0 0) into 0 12.450 * [taylor]: Taking taylor expansion of 0 in z 12.450 * [backup-simplify]: Simplify 0 into 0 12.451 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.451 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 12.451 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.451 * [taylor]: Taking taylor expansion of x in x 12.451 * [backup-simplify]: Simplify 0 into 0 12.451 * [backup-simplify]: Simplify 1 into 1 12.451 * [backup-simplify]: Simplify (/ 1 1) into 1 12.451 * [backup-simplify]: Simplify 1 into 1 12.451 * [backup-simplify]: Simplify 1 into 1 12.452 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 12.452 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 12.453 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 12.454 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 12.454 * [backup-simplify]: Simplify (+ 0 0) into 0 12.454 * [taylor]: Taking taylor expansion of 0 in z 12.454 * [backup-simplify]: Simplify 0 into 0 12.454 * [taylor]: Taking taylor expansion of 0 in x 12.454 * [backup-simplify]: Simplify 0 into 0 12.454 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 12.455 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.455 * [backup-simplify]: Simplify (+ 0 0) into 0 12.455 * [taylor]: Taking taylor expansion of 0 in x 12.456 * [backup-simplify]: Simplify 0 into 0 12.456 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.456 * [backup-simplify]: Simplify 0 into 0 12.456 * [backup-simplify]: Simplify 0 into 0 12.457 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 12.458 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 12.459 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 12.459 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 12.459 * [backup-simplify]: Simplify (+ 0 0) into 0 12.459 * [taylor]: Taking taylor expansion of 0 in z 12.460 * [backup-simplify]: Simplify 0 into 0 12.460 * [taylor]: Taking taylor expansion of 0 in x 12.460 * [backup-simplify]: Simplify 0 into 0 12.460 * [taylor]: Taking taylor expansion of 0 in x 12.460 * [backup-simplify]: Simplify 0 into 0 12.460 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 12.461 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.461 * [backup-simplify]: Simplify (+ 0 0) into 0 12.461 * [taylor]: Taking taylor expansion of 0 in x 12.461 * [backup-simplify]: Simplify 0 into 0 12.461 * [backup-simplify]: Simplify 0 into 0 12.461 * [backup-simplify]: Simplify 0 into 0 12.462 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.462 * [backup-simplify]: Simplify 0 into 0 12.462 * [backup-simplify]: Simplify 0 into 0 12.463 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- y)))))) (* 1 (* (/ 1 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- y))))))) into (+ (* z y) (* x y)) 12.463 * * * [progress]: simplifying candidates 12.463 * * * * [progress]: [ 1 / 16 ] simplifiying candidate # 12.463 * * * * [progress]: [ 2 / 16 ] simplifiying candidate # 12.463 * * * * [progress]: [ 3 / 16 ] simplifiying candidate # 12.463 * * * * [progress]: [ 4 / 16 ] simplifiying candidate # 12.463 * * * * [progress]: [ 5 / 16 ] simplifiying candidate # 12.463 * * * * [progress]: [ 6 / 16 ] simplifiying candidate # 12.463 * * * * [progress]: [ 7 / 16 ] simplifiying candidate # 12.463 * * * * [progress]: [ 8 / 16 ] simplifiying candidate # 12.463 * * * * [progress]: [ 9 / 16 ] simplifiying candidate # 12.464 * * * * [progress]: [ 10 / 16 ] simplifiying candidate # 12.464 * * * * [progress]: [ 11 / 16 ] simplifiying candidate # 12.464 * * * * [progress]: [ 12 / 16 ] simplifiying candidate #real (real->posit16 (+ (* y z) (* y x))))))> 12.464 * * * * [progress]: [ 13 / 16 ] simplifiying candidate # 12.464 * * * * [progress]: [ 14 / 16 ] simplifiying candidate # 12.464 * * * * [progress]: [ 15 / 16 ] simplifiying candidate # 12.464 * * * * [progress]: [ 16 / 16 ] simplifiying candidate # 12.464 * [simplify]: Simplifying: (* (exp (* y z)) (exp (* y x))) (log (+ (* y z) (* y x))) (exp (+ (* y z) (* y x))) (* (cbrt (+ (* y z) (* y x))) (cbrt (+ (* y z) (* y x)))) (cbrt (+ (* y z) (* y x))) (* (* (+ (* y z) (* y x)) (+ (* y z) (* y x))) (+ (* y z) (* y x))) (sqrt (+ (* y z) (* y x))) (sqrt (+ (* y z) (* y x))) (+ (pow (* y z) 3) (pow (* y x) 3)) (+ (* (* y z) (* y z)) (- (* (* y x) (* y x)) (* (* y z) (* y x)))) (- (* (* y z) (* y z)) (* (* y x) (* y x))) (- (* y z) (* y x)) (+ z x) (real->posit16 (+ (* y z) (* y x))) (+ (* z y) (* x y)) (+ (* z y) (* x y)) (+ (* z y) (* x y)) 12.465 * * [simplify]: iteration 0: 32 enodes 12.481 * * [simplify]: iteration 1: 102 enodes 12.535 * * [simplify]: iteration 2: 398 enodes 12.864 * * [simplify]: iteration 3: 1327 enodes 14.082 * * [simplify]: iteration 4: 3499 enodes 15.026 * * [simplify]: iteration complete: 5009 enodes 15.026 * * [simplify]: Extracting #0: cost 13 inf + 0 15.027 * * [simplify]: Extracting #1: cost 169 inf + 0 15.029 * * [simplify]: Extracting #2: cost 670 inf + 1431 15.034 * * [simplify]: Extracting #3: cost 885 inf + 15970 15.060 * * [simplify]: Extracting #4: cost 579 inf + 103835 15.132 * * [simplify]: Extracting #5: cost 191 inf + 229932 15.189 * * [simplify]: Extracting #6: cost 27 inf + 294104 15.266 * * [simplify]: Extracting #7: cost 0 inf + 307589 15.361 * [simplify]: Simplified to: (exp (* (+ z x) y)) (log (* (+ z x) y)) (exp (* (+ 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)) (+ (* (* y z) (* (* y z) (* y z))) (* (* (* x y) (* x y)) (* x y))) (* y (* y (+ (* z z) (* x (- x z))))) (* y (* (+ z x) (* (- z x) y))) (* (- z x) y) (+ z x) (real->posit16 (* (+ z x) y)) (* (+ z x) y) (* (+ z x) y) (* (+ z x) y) 15.362 * * * [progress]: adding candidates to table 15.409 * [progress]: [Phase 3 of 3] Extracting. 15.409 * * [regime]: Finding splitpoints for: (# #) 15.409 * * * [regime-changes]: Trying 4 branch expressions: ((+ x (* y (+ z x))) z y x) 15.409 * * * * [regimes]: Trying to branch on (+ x (* y (+ z x))) from (# #) 15.435 * * * * [regimes]: Trying to branch on z from (# #) 15.485 * * * * [regimes]: Trying to branch on y from (# #) 15.519 * * * * [regimes]: Trying to branch on x from (# #) 15.558 * * * [regime]: Found split indices: #