26.071 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.026 * * * [progress]: [2/2] Setting up program. 0.030 * [progress]: [Phase 2 of 3] Improving. 0.031 * [simplify]: Simplifying: (+ (* x y) (* z (- 1.0 y))) 0.031 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.031 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.031 * * [simplify]: Extracting # 2 : cost 7 inf + 0 0.031 * * [simplify]: Extracting # 3 : cost 5 inf + 3 0.031 * * [simplify]: Extracting # 4 : cost 0 inf + 335 0.031 * * [simplify]: iteration 0 : 8 enodes (cost 164 ) 0.032 * * [simplify]: Extracting # 0 : cost 0 inf + 335 0.032 * * [simplify]: Extracting # 1 : cost 1 inf + 310 0.032 * * [simplify]: Extracting # 2 : cost 0 inf + 351 0.032 * * [simplify]: iteration 1 : 14 enodes (cost 139 ) 0.034 * * [simplify]: Extracting # 0 : cost 0 inf + 351 0.034 * * [simplify]: Extracting # 1 : cost 4 inf + 351 0.034 * * [simplify]: Extracting # 2 : cost 0 inf + 599 0.034 * * [simplify]: iteration 2 : 24 enodes (cost 139 ) 0.038 * * [simplify]: Extracting # 0 : cost 0 inf + 599 0.038 * * [simplify]: Extracting # 1 : cost 4 inf + 475 0.038 * * [simplify]: Extracting # 2 : cost 0 inf + 846 0.038 * * [simplify]: iteration 3 : 40 enodes (cost 139 ) 0.052 * * [simplify]: Extracting # 0 : cost 0 inf + 846 0.053 * * [simplify]: Extracting # 1 : cost 3 inf + 754 0.053 * * [simplify]: Extracting # 2 : cost 0 inf + 1121 0.054 * * [simplify]: iteration 4 : 70 enodes (cost 139 ) 0.068 * * [simplify]: Extracting # 0 : cost 0 inf + 1121 0.069 * * [simplify]: Extracting # 1 : cost 3 inf + 780 0.069 * * [simplify]: Extracting # 2 : cost 0 inf + 1067 0.070 * * [simplify]: iteration 5 : 103 enodes (cost 139 ) 0.081 * * [simplify]: Extracting # 0 : cost 0 inf + 1067 0.082 * * [simplify]: Extracting # 1 : cost 4 inf + 945 0.083 * * [simplify]: Extracting # 2 : cost 0 inf + 1315 0.084 * * [simplify]: Extracting # 3 : cost 0 inf + 1275 0.084 * * [simplify]: Extracting # 4 : cost 0 inf + 1235 0.085 * * [simplify]: iteration 6 : 121 enodes (cost 139 ) 0.099 * * [simplify]: Extracting # 0 : cost 0 inf + 1235 0.100 * * [simplify]: Extracting # 1 : cost 6 inf + 1235 0.102 * * [simplify]: Extracting # 2 : cost 0 inf + 1727 0.103 * * [simplify]: Extracting # 3 : cost 0 inf + 1687 0.104 * * [simplify]: iteration 7 : 147 enodes (cost 139 ) 0.131 * * [simplify]: Extracting # 0 : cost 0 inf + 1687 0.133 * * [simplify]: Extracting # 1 : cost 6 inf + 1442 0.134 * * [simplify]: Extracting # 2 : cost 0 inf + 2013 0.136 * * [simplify]: iteration 8 : 199 enodes (cost 139 ) 0.204 * * [simplify]: Extracting # 0 : cost 0 inf + 2013 0.206 * * [simplify]: Extracting # 1 : cost 88 inf + 1360 0.209 * * [simplify]: Extracting # 2 : cost 0 inf + 7129 0.212 * * [simplify]: iteration 9 : 486 enodes (cost 139 ) 0.457 * * [simplify]: Extracting # 0 : cost 0 inf + 7129 0.465 * * [simplify]: Extracting # 1 : cost 582 inf + 5510 0.484 * * [simplify]: Extracting # 2 : cost 0 inf + 58622 0.503 * * [simplify]: iteration 10 : 2080 enodes (cost 139 ) 3.390 * * [simplify]: Extracting # 0 : cost 0 inf + 58622 3.507 * * [simplify]: Extracting # 1 : cost 368 inf + 38081 3.547 * * [simplify]: Extracting # 2 : cost 0 inf + 59373 3.586 * * [simplify]: Extracting # 3 : cost 0 inf + 59323 3.632 * * [simplify]: iteration done: 5000 enodes (cost 139 ) 3.632 * [simplify]: Simplified to: (fma x y (* z (- 1.0 y))) 3.638 * * [progress]: iteration 1 / 4 3.638 * * * [progress]: picking best candidate 3.641 * * * * [pick]: Picked # 3.642 * * * [progress]: localizing error 3.652 * * * [progress]: generating rewritten candidates 3.652 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 3.652 * * * [progress]: generating series expansions 3.652 * * * * [progress]: [ 1 / 1 ] generating series at (2) 3.652 * [backup-simplify]: Simplify (fma x y (* z (- 1.0 y))) into (fma x y (* z (- 1.0 y))) 3.652 * [approximate]: Taking taylor expansion of (fma x y (* z (- 1.0 y))) in (x y z) around 0 3.653 * [taylor]: Taking taylor expansion of (fma x y (* z (- 1.0 y))) in z 3.653 * [taylor]: Rewrote expression to (+ (* x y) (* z (- 1.0 y))) 3.653 * [taylor]: Taking taylor expansion of (* x y) in z 3.653 * [taylor]: Taking taylor expansion of x in z 3.653 * [backup-simplify]: Simplify x into x 3.653 * [taylor]: Taking taylor expansion of y in z 3.653 * [backup-simplify]: Simplify y into y 3.653 * [taylor]: Taking taylor expansion of (* z (- 1.0 y)) in z 3.653 * [taylor]: Taking taylor expansion of z in z 3.653 * [backup-simplify]: Simplify 0 into 0 3.653 * [backup-simplify]: Simplify 1 into 1 3.653 * [taylor]: Taking taylor expansion of (- 1.0 y) in z 3.653 * [taylor]: Taking taylor expansion of 1.0 in z 3.653 * [backup-simplify]: Simplify 1.0 into 1.0 3.653 * [taylor]: Taking taylor expansion of y in z 3.653 * [backup-simplify]: Simplify y into y 3.653 * [taylor]: Taking taylor expansion of (fma x y (* z (- 1.0 y))) in y 3.653 * [taylor]: Rewrote expression to (+ (* x y) (* z (- 1.0 y))) 3.653 * [taylor]: Taking taylor expansion of (* x y) in y 3.653 * [taylor]: Taking taylor expansion of x in y 3.653 * [backup-simplify]: Simplify x into x 3.653 * [taylor]: Taking taylor expansion of y in y 3.653 * [backup-simplify]: Simplify 0 into 0 3.653 * [backup-simplify]: Simplify 1 into 1 3.653 * [taylor]: Taking taylor expansion of (* z (- 1.0 y)) in y 3.653 * [taylor]: Taking taylor expansion of z in y 3.653 * [backup-simplify]: Simplify z into z 3.653 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 3.653 * [taylor]: Taking taylor expansion of 1.0 in y 3.653 * [backup-simplify]: Simplify 1.0 into 1.0 3.653 * [taylor]: Taking taylor expansion of y in y 3.653 * [backup-simplify]: Simplify 0 into 0 3.653 * [backup-simplify]: Simplify 1 into 1 3.653 * [taylor]: Taking taylor expansion of (fma x y (* z (- 1.0 y))) in x 3.653 * [taylor]: Rewrote expression to (+ (* x y) (* z (- 1.0 y))) 3.653 * [taylor]: Taking taylor expansion of (* x y) in x 3.653 * [taylor]: Taking taylor expansion of x in x 3.653 * [backup-simplify]: Simplify 0 into 0 3.653 * [backup-simplify]: Simplify 1 into 1 3.653 * [taylor]: Taking taylor expansion of y in x 3.653 * [backup-simplify]: Simplify y into y 3.653 * [taylor]: Taking taylor expansion of (* z (- 1.0 y)) in x 3.653 * [taylor]: Taking taylor expansion of z in x 3.653 * [backup-simplify]: Simplify z into z 3.653 * [taylor]: Taking taylor expansion of (- 1.0 y) in x 3.653 * [taylor]: Taking taylor expansion of 1.0 in x 3.653 * [backup-simplify]: Simplify 1.0 into 1.0 3.654 * [taylor]: Taking taylor expansion of y in x 3.654 * [backup-simplify]: Simplify y into y 3.654 * [taylor]: Taking taylor expansion of (fma x y (* z (- 1.0 y))) in x 3.654 * [taylor]: Rewrote expression to (+ (* x y) (* z (- 1.0 y))) 3.654 * [taylor]: Taking taylor expansion of (* x y) 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 * [taylor]: Taking taylor expansion of y in x 3.654 * [backup-simplify]: Simplify y into y 3.654 * [taylor]: Taking taylor expansion of (* z (- 1.0 y)) in x 3.654 * [taylor]: Taking taylor expansion of z in x 3.654 * [backup-simplify]: Simplify z into z 3.654 * [taylor]: Taking taylor expansion of (- 1.0 y) in x 3.654 * [taylor]: Taking taylor expansion of 1.0 in x 3.654 * [backup-simplify]: Simplify 1.0 into 1.0 3.654 * [taylor]: Taking taylor expansion of y in x 3.654 * [backup-simplify]: Simplify y into y 3.654 * [backup-simplify]: Simplify (* 0 y) into 0 3.654 * [backup-simplify]: Simplify (- y) into (- y) 3.654 * [backup-simplify]: Simplify (+ 1.0 (- y)) into (- 1.0 y) 3.654 * [backup-simplify]: Simplify (* z (- 1.0 y)) into (* z (- 1.0 y)) 3.654 * [backup-simplify]: Simplify (+ 0 (* z (- 1.0 y))) into (- (* 1.0 z) (* z y)) 3.654 * [taylor]: Taking taylor expansion of (- (* 1.0 z) (* z y)) in y 3.654 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 3.654 * [taylor]: Taking taylor expansion of 1.0 in y 3.654 * [backup-simplify]: Simplify 1.0 into 1.0 3.654 * [taylor]: Taking taylor expansion of z in y 3.654 * [backup-simplify]: Simplify z into z 3.654 * [taylor]: Taking taylor expansion of (* z y) in y 3.654 * [taylor]: Taking taylor expansion of z in y 3.654 * [backup-simplify]: Simplify z into z 3.654 * [taylor]: Taking taylor expansion of y in y 3.654 * [backup-simplify]: Simplify 0 into 0 3.654 * [backup-simplify]: Simplify 1 into 1 3.654 * [backup-simplify]: Simplify (* 1.0 z) into (* 1.0 z) 3.654 * [backup-simplify]: Simplify (* z 0) into 0 3.655 * [backup-simplify]: Simplify (- 0) into 0 3.655 * [backup-simplify]: Simplify (+ (* 1.0 z) 0) into (* 1.0 z) 3.655 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 3.655 * [taylor]: Taking taylor expansion of 1.0 in z 3.655 * [backup-simplify]: Simplify 1.0 into 1.0 3.655 * [taylor]: Taking taylor expansion of z in z 3.655 * [backup-simplify]: Simplify 0 into 0 3.655 * [backup-simplify]: Simplify 1 into 1 3.655 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.655 * [backup-simplify]: Simplify 0 into 0 3.656 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.656 * [backup-simplify]: Simplify (- 0) into 0 3.656 * [backup-simplify]: Simplify (+ 0 0) into 0 3.656 * [backup-simplify]: Simplify (+ (* z 0) (* 0 (- 1.0 y))) into 0 3.656 * [backup-simplify]: Simplify (+ y 0) into y 3.656 * [taylor]: Taking taylor expansion of y in y 3.656 * [backup-simplify]: Simplify 0 into 0 3.656 * [backup-simplify]: Simplify 1 into 1 3.656 * [taylor]: Taking taylor expansion of 0 in z 3.656 * [backup-simplify]: Simplify 0 into 0 3.656 * [backup-simplify]: Simplify 0 into 0 3.657 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 z)) into 0 3.657 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 3.657 * [backup-simplify]: Simplify (- z) into (- z) 3.657 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 3.657 * [taylor]: Taking taylor expansion of (- z) in z 3.657 * [taylor]: Taking taylor expansion of z in z 3.657 * [backup-simplify]: Simplify 0 into 0 3.657 * [backup-simplify]: Simplify 1 into 1 3.657 * [backup-simplify]: Simplify (- 0) into 0 3.658 * [backup-simplify]: Simplify 0 into 0 3.658 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 3.658 * [backup-simplify]: Simplify 1.0 into 1.0 3.659 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 3.659 * [backup-simplify]: Simplify (- 0) into 0 3.659 * [backup-simplify]: Simplify (+ 0 0) into 0 3.660 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 (- 1.0 y)))) into 0 3.660 * [backup-simplify]: Simplify (+ 0 0) into 0 3.660 * [taylor]: Taking taylor expansion of 0 in y 3.660 * [backup-simplify]: Simplify 0 into 0 3.660 * [taylor]: Taking taylor expansion of 0 in z 3.660 * [backup-simplify]: Simplify 0 into 0 3.660 * [backup-simplify]: Simplify 0 into 0 3.660 * [taylor]: Taking taylor expansion of 1 in z 3.660 * [backup-simplify]: Simplify 1 into 1 3.660 * [backup-simplify]: Simplify 1 into 1 3.661 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 z))) into 0 3.661 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 3.661 * [backup-simplify]: Simplify (- 0) into 0 3.662 * [backup-simplify]: Simplify (+ 0 0) into 0 3.662 * [taylor]: Taking taylor expansion of 0 in z 3.662 * [backup-simplify]: Simplify 0 into 0 3.662 * [backup-simplify]: Simplify 0 into 0 3.662 * [backup-simplify]: Simplify 0 into 0 3.662 * [backup-simplify]: Simplify (- 1) into -1 3.662 * [backup-simplify]: Simplify -1 into -1 3.662 * [backup-simplify]: Simplify (+ (* -1 (* z (* y 1))) (+ (* 1 (* 1 (* y x))) (* 1.0 (* z (* 1 1))))) into (- (+ (* 1.0 z) (* x y)) (* z y)) 3.663 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 y) (* (/ 1 z) (- 1.0 (/ 1 y)))) into (fma (/ 1 x) (/ 1 y) (/ (- 1.0 (/ 1 y)) z)) 3.663 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ (- 1.0 (/ 1 y)) z)) in (x y z) around 0 3.663 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ (- 1.0 (/ 1 y)) z)) in z 3.663 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ (- 1.0 (/ 1 y)) z)) 3.663 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in z 3.663 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.663 * [taylor]: Taking taylor expansion of x in z 3.663 * [backup-simplify]: Simplify x into x 3.663 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.663 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.663 * [taylor]: Taking taylor expansion of y in z 3.663 * [backup-simplify]: Simplify y into y 3.663 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.663 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in z 3.663 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in z 3.663 * [taylor]: Taking taylor expansion of 1.0 in z 3.663 * [backup-simplify]: Simplify 1.0 into 1.0 3.663 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.663 * [taylor]: Taking taylor expansion of y in z 3.663 * [backup-simplify]: Simplify y into y 3.663 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.663 * [taylor]: Taking taylor expansion of z in z 3.663 * [backup-simplify]: Simplify 0 into 0 3.663 * [backup-simplify]: Simplify 1 into 1 3.663 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 3.663 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 y))) into (- 1.0 (/ 1 y)) 3.663 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 y)) 1) into (- 1.0 (/ 1 y)) 3.663 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ (- 1.0 (/ 1 y)) z)) in y 3.663 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ (- 1.0 (/ 1 y)) z)) 3.663 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y 3.664 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.664 * [taylor]: Taking taylor expansion of x in y 3.664 * [backup-simplify]: Simplify x into x 3.664 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.664 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.664 * [taylor]: Taking taylor expansion of y in y 3.664 * [backup-simplify]: Simplify 0 into 0 3.664 * [backup-simplify]: Simplify 1 into 1 3.664 * [backup-simplify]: Simplify (/ 1 1) into 1 3.664 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in y 3.664 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 3.664 * [taylor]: Taking taylor expansion of 1.0 in y 3.664 * [backup-simplify]: Simplify 1.0 into 1.0 3.664 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.664 * [taylor]: Taking taylor expansion of y in y 3.664 * [backup-simplify]: Simplify 0 into 0 3.664 * [backup-simplify]: Simplify 1 into 1 3.664 * [backup-simplify]: Simplify (/ 1 1) into 1 3.664 * [taylor]: Taking taylor expansion of z in y 3.664 * [backup-simplify]: Simplify z into z 3.665 * [backup-simplify]: Simplify (- 1) into -1 3.665 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.665 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 3.665 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ (- 1.0 (/ 1 y)) z)) in x 3.665 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ (- 1.0 (/ 1 y)) z)) 3.665 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x 3.665 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.665 * [taylor]: Taking taylor expansion of x in x 3.665 * [backup-simplify]: Simplify 0 into 0 3.665 * [backup-simplify]: Simplify 1 into 1 3.665 * [backup-simplify]: Simplify (/ 1 1) into 1 3.665 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.666 * [taylor]: Taking taylor expansion of y in x 3.666 * [backup-simplify]: Simplify y into y 3.666 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.666 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in x 3.666 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 3.666 * [taylor]: Taking taylor expansion of 1.0 in x 3.666 * [backup-simplify]: Simplify 1.0 into 1.0 3.666 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.666 * [taylor]: Taking taylor expansion of y in x 3.666 * [backup-simplify]: Simplify y into y 3.666 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.666 * [taylor]: Taking taylor expansion of z in x 3.666 * [backup-simplify]: Simplify z into z 3.666 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 3.666 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 y))) into (- 1.0 (/ 1 y)) 3.666 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 y)) z) into (/ (- 1.0 (/ 1 y)) z) 3.666 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ (- 1.0 (/ 1 y)) z)) in x 3.666 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ (- 1.0 (/ 1 y)) z)) 3.666 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x 3.666 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.666 * [taylor]: Taking taylor expansion of x in x 3.666 * [backup-simplify]: Simplify 0 into 0 3.666 * [backup-simplify]: Simplify 1 into 1 3.666 * [backup-simplify]: Simplify (/ 1 1) into 1 3.666 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.667 * [taylor]: Taking taylor expansion of y in x 3.667 * [backup-simplify]: Simplify y into y 3.667 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.667 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in x 3.667 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 3.667 * [taylor]: Taking taylor expansion of 1.0 in x 3.667 * [backup-simplify]: Simplify 1.0 into 1.0 3.667 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.667 * [taylor]: Taking taylor expansion of y in x 3.667 * [backup-simplify]: Simplify y into y 3.667 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.667 * [taylor]: Taking taylor expansion of z in x 3.667 * [backup-simplify]: Simplify z into z 3.667 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 3.667 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 y))) into (- 1.0 (/ 1 y)) 3.667 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 y)) z) into (/ (- 1.0 (/ 1 y)) z) 3.667 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 3.667 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 3.667 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.667 * [taylor]: Taking taylor expansion of y in y 3.667 * [backup-simplify]: Simplify 0 into 0 3.667 * [backup-simplify]: Simplify 1 into 1 3.667 * [backup-simplify]: Simplify (/ 1 1) into 1 3.667 * [taylor]: Taking taylor expansion of 1 in z 3.667 * [backup-simplify]: Simplify 1 into 1 3.668 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.668 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.668 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 y))) into 0 3.668 * [backup-simplify]: Simplify (+ 0 (/ (- 1.0 (/ 1 y)) z)) into (- (* 1.0 (/ 1 z)) (/ 1 (* z y))) 3.668 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z)) (/ 1 (* z y))) in y 3.668 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 3.669 * [taylor]: Taking taylor expansion of 1.0 in y 3.669 * [backup-simplify]: Simplify 1.0 into 1.0 3.669 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.669 * [taylor]: Taking taylor expansion of z in y 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 (/ 1 (* z y)) in y 3.669 * [taylor]: Taking taylor expansion of (* z y) in y 3.669 * [taylor]: Taking taylor expansion of z in y 3.669 * [backup-simplify]: Simplify z into z 3.669 * [taylor]: Taking taylor expansion of y in y 3.669 * [backup-simplify]: Simplify 0 into 0 3.669 * [backup-simplify]: Simplify 1 into 1 3.669 * [backup-simplify]: Simplify (* z 0) into 0 3.669 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 3.669 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.669 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 3.670 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 3.670 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 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 * [backup-simplify]: Simplify (- 1) into -1 3.670 * [backup-simplify]: Simplify -1 into -1 3.671 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.671 * [taylor]: Taking taylor expansion of 0 in z 3.671 * [backup-simplify]: Simplify 0 into 0 3.671 * [backup-simplify]: Simplify 1 into 1 3.672 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.673 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 3.673 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.673 * [backup-simplify]: Simplify (- 0) into 0 3.674 * [backup-simplify]: Simplify (+ 0 0) into 0 3.674 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (- 1.0 (/ 1 y)) z) (/ 0 z)))) into 0 3.674 * [backup-simplify]: Simplify (+ 0 0) into 0 3.674 * [taylor]: Taking taylor expansion of 0 in y 3.674 * [backup-simplify]: Simplify 0 into 0 3.674 * [backup-simplify]: Simplify (* 1.0 (/ 1 z)) into (/ 1.0 z) 3.675 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 3.675 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 3.675 * [backup-simplify]: Simplify (- 0) into 0 3.675 * [backup-simplify]: Simplify (+ (/ 1.0 z) 0) into (* 1.0 (/ 1 z)) 3.675 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 3.675 * [taylor]: Taking taylor expansion of 1.0 in z 3.675 * [backup-simplify]: Simplify 1.0 into 1.0 3.675 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.675 * [taylor]: Taking taylor expansion of z in z 3.675 * [backup-simplify]: Simplify 0 into 0 3.675 * [backup-simplify]: Simplify 1 into 1 3.675 * [backup-simplify]: Simplify (/ 1 1) into 1 3.676 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.676 * [backup-simplify]: Simplify 1.0 into 1.0 3.676 * [backup-simplify]: Simplify (+ (* 1.0 (* (/ 1 (/ 1 z)) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) 1))))) into (- (+ (* 1.0 z) (* x y)) (* z y)) 3.676 * [backup-simplify]: Simplify (fma (/ 1 (- x)) (/ 1 (- y)) (* (/ 1 (- z)) (- 1.0 (/ 1 (- y))))) into (fma (/ -1 x) (/ -1 y) (* -1 (/ (+ 1.0 (/ 1 y)) z))) 3.676 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (* -1 (/ (+ 1.0 (/ 1 y)) z))) in (x y z) around 0 3.676 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (* -1 (/ (+ 1.0 (/ 1 y)) z))) in z 3.677 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (* -1 (/ (+ 1.0 (/ 1 y)) z))) 3.677 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in z 3.677 * [taylor]: Taking taylor expansion of (/ -1 x) in z 3.677 * [taylor]: Taking taylor expansion of -1 in z 3.677 * [backup-simplify]: Simplify -1 into -1 3.677 * [taylor]: Taking taylor expansion of x in z 3.677 * [backup-simplify]: Simplify x into x 3.677 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 3.677 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.677 * [taylor]: Taking taylor expansion of -1 in z 3.677 * [backup-simplify]: Simplify -1 into -1 3.677 * [taylor]: Taking taylor expansion of y in z 3.677 * [backup-simplify]: Simplify y into y 3.677 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.677 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 1.0 (/ 1 y)) z)) in z 3.677 * [taylor]: Taking taylor expansion of -1 in z 3.677 * [backup-simplify]: Simplify -1 into -1 3.677 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) z) in z 3.677 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in z 3.677 * [taylor]: Taking taylor expansion of 1.0 in z 3.677 * [backup-simplify]: Simplify 1.0 into 1.0 3.677 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.677 * [taylor]: Taking taylor expansion of y in z 3.677 * [backup-simplify]: Simplify y into y 3.677 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.677 * [taylor]: Taking taylor expansion of z in z 3.677 * [backup-simplify]: Simplify 0 into 0 3.677 * [backup-simplify]: Simplify 1 into 1 3.677 * [backup-simplify]: Simplify (+ 1.0 (/ 1 y)) into (+ 1.0 (/ 1 y)) 3.677 * [backup-simplify]: Simplify (/ (+ 1.0 (/ 1 y)) 1) into (+ 1.0 (/ 1 y)) 3.677 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (* -1 (/ (+ 1.0 (/ 1 y)) z))) in y 3.677 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (* -1 (/ (+ 1.0 (/ 1 y)) z))) 3.677 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in y 3.677 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.677 * [taylor]: Taking taylor expansion of -1 in y 3.677 * [backup-simplify]: Simplify -1 into -1 3.677 * [taylor]: Taking taylor expansion of x in y 3.677 * [backup-simplify]: Simplify x into x 3.677 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 3.677 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.678 * [taylor]: Taking taylor expansion of -1 in y 3.678 * [backup-simplify]: Simplify -1 into -1 3.678 * [taylor]: Taking taylor expansion of y in y 3.678 * [backup-simplify]: Simplify 0 into 0 3.678 * [backup-simplify]: Simplify 1 into 1 3.678 * [backup-simplify]: Simplify (/ -1 1) into -1 3.678 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 1.0 (/ 1 y)) z)) in y 3.678 * [taylor]: Taking taylor expansion of -1 in y 3.678 * [backup-simplify]: Simplify -1 into -1 3.678 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) z) in y 3.678 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y 3.678 * [taylor]: Taking taylor expansion of 1.0 in y 3.678 * [backup-simplify]: Simplify 1.0 into 1.0 3.678 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.678 * [taylor]: Taking taylor expansion of y in y 3.678 * [backup-simplify]: Simplify 0 into 0 3.678 * [backup-simplify]: Simplify 1 into 1 3.678 * [backup-simplify]: Simplify (/ 1 1) into 1 3.678 * [taylor]: Taking taylor expansion of z in y 3.678 * [backup-simplify]: Simplify z into z 3.679 * [backup-simplify]: Simplify (+ 0 1) into 1 3.679 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.679 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (* -1 (/ (+ 1.0 (/ 1 y)) z))) in x 3.679 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (* -1 (/ (+ 1.0 (/ 1 y)) z))) 3.679 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x 3.679 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.679 * [taylor]: Taking taylor expansion of -1 in x 3.679 * [backup-simplify]: Simplify -1 into -1 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.679 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.679 * [taylor]: Taking taylor expansion of -1 in x 3.679 * [backup-simplify]: Simplify -1 into -1 3.679 * [taylor]: Taking taylor expansion of y in x 3.679 * [backup-simplify]: Simplify y into y 3.679 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.679 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 1.0 (/ 1 y)) z)) in x 3.679 * [taylor]: Taking taylor expansion of -1 in x 3.679 * [backup-simplify]: Simplify -1 into -1 3.680 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) z) in x 3.680 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x 3.680 * [taylor]: Taking taylor expansion of 1.0 in x 3.680 * [backup-simplify]: Simplify 1.0 into 1.0 3.680 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.680 * [taylor]: Taking taylor expansion of y in x 3.680 * [backup-simplify]: Simplify y into y 3.680 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.680 * [taylor]: Taking taylor expansion of z in x 3.680 * [backup-simplify]: Simplify z into z 3.680 * [backup-simplify]: Simplify (+ 1.0 (/ 1 y)) into (+ 1.0 (/ 1 y)) 3.680 * [backup-simplify]: Simplify (/ (+ 1.0 (/ 1 y)) z) into (/ (+ 1.0 (/ 1 y)) z) 3.680 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (* -1 (/ (+ 1.0 (/ 1 y)) z))) in x 3.680 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (* -1 (/ (+ 1.0 (/ 1 y)) z))) 3.680 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x 3.680 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.680 * [taylor]: Taking taylor expansion of -1 in x 3.680 * [backup-simplify]: Simplify -1 into -1 3.680 * [taylor]: Taking taylor expansion of x in x 3.680 * [backup-simplify]: Simplify 0 into 0 3.680 * [backup-simplify]: Simplify 1 into 1 3.680 * [backup-simplify]: Simplify (/ -1 1) into -1 3.680 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.680 * [taylor]: Taking taylor expansion of -1 in x 3.680 * [backup-simplify]: Simplify -1 into -1 3.680 * [taylor]: Taking taylor expansion of y in x 3.680 * [backup-simplify]: Simplify y into y 3.681 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.681 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 1.0 (/ 1 y)) z)) in x 3.681 * [taylor]: Taking taylor expansion of -1 in x 3.681 * [backup-simplify]: Simplify -1 into -1 3.681 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) z) in x 3.681 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x 3.681 * [taylor]: Taking taylor expansion of 1.0 in x 3.681 * [backup-simplify]: Simplify 1.0 into 1.0 3.681 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.681 * [taylor]: Taking taylor expansion of y in x 3.681 * [backup-simplify]: Simplify y into y 3.681 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.681 * [taylor]: Taking taylor expansion of z in x 3.681 * [backup-simplify]: Simplify z into z 3.681 * [backup-simplify]: Simplify (+ 1.0 (/ 1 y)) into (+ 1.0 (/ 1 y)) 3.681 * [backup-simplify]: Simplify (/ (+ 1.0 (/ 1 y)) z) into (/ (+ 1.0 (/ 1 y)) z) 3.681 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 3.681 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 3.681 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.681 * [taylor]: Taking taylor expansion of y in y 3.681 * [backup-simplify]: Simplify 0 into 0 3.681 * [backup-simplify]: Simplify 1 into 1 3.681 * [backup-simplify]: Simplify (/ 1 1) into 1 3.681 * [taylor]: Taking taylor expansion of 1 in z 3.681 * [backup-simplify]: Simplify 1 into 1 3.682 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 3.682 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.682 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 y))) into 0 3.682 * [backup-simplify]: Simplify (* -1 (/ (+ 1.0 (/ 1 y)) z)) into (* -1 (/ (+ 1.0 (/ 1 y)) z)) 3.683 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (+ 1.0 (/ 1 y)) z))) into (- (+ (/ 1 (* z y)) (* 1.0 (/ 1 z)))) 3.683 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (* 1.0 (/ 1 z)))) in y 3.683 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (* 1.0 (/ 1 z))) in y 3.683 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 3.683 * [taylor]: Taking taylor expansion of (* z y) in y 3.683 * [taylor]: Taking taylor expansion of z in y 3.683 * [backup-simplify]: Simplify z into z 3.683 * [taylor]: Taking taylor expansion of y in y 3.683 * [backup-simplify]: Simplify 0 into 0 3.683 * [backup-simplify]: Simplify 1 into 1 3.683 * [backup-simplify]: Simplify (* z 0) into 0 3.683 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 3.683 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.683 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 3.683 * [taylor]: Taking taylor expansion of 1.0 in y 3.683 * [backup-simplify]: Simplify 1.0 into 1.0 3.683 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.683 * [taylor]: Taking taylor expansion of z in y 3.683 * [backup-simplify]: Simplify z into z 3.683 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.683 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 3.684 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 3.684 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.684 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.684 * [taylor]: Taking taylor expansion of z in z 3.684 * [backup-simplify]: Simplify 0 into 0 3.684 * [backup-simplify]: Simplify 1 into 1 3.684 * [backup-simplify]: Simplify (/ 1 1) into 1 3.684 * [backup-simplify]: Simplify (- 1) into -1 3.684 * [backup-simplify]: Simplify -1 into -1 3.685 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.685 * [taylor]: Taking taylor expansion of 0 in z 3.685 * [backup-simplify]: Simplify 0 into 0 3.685 * [backup-simplify]: Simplify 1 into 1 3.685 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.685 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.686 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0 3.686 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.686 * [backup-simplify]: Simplify (+ 0 0) into 0 3.687 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (+ 1.0 (/ 1 y)) z) (/ 0 z)))) into 0 3.687 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ (+ 1.0 (/ 1 y)) z))) into 0 3.687 * [backup-simplify]: Simplify (+ 0 0) into 0 3.687 * [taylor]: Taking taylor expansion of 0 in y 3.687 * [backup-simplify]: Simplify 0 into 0 3.688 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 3.688 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 3.688 * [backup-simplify]: Simplify (* 1.0 (/ 1 z)) into (/ 1.0 z) 3.688 * [backup-simplify]: Simplify (+ 0 (/ 1.0 z)) into (* 1.0 (/ 1 z)) 3.688 * [backup-simplify]: Simplify (- (* 1.0 (/ 1 z))) into (- (* 1.0 (/ 1 z))) 3.688 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z))) in z 3.688 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 3.688 * [taylor]: Taking taylor expansion of 1.0 in z 3.688 * [backup-simplify]: Simplify 1.0 into 1.0 3.688 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.688 * [taylor]: Taking taylor expansion of z in z 3.688 * [backup-simplify]: Simplify 0 into 0 3.688 * [backup-simplify]: Simplify 1 into 1 3.688 * [backup-simplify]: Simplify (/ 1 1) into 1 3.689 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.689 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.689 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.690 * [backup-simplify]: Simplify (+ (* (- 1.0) (* (/ 1 (/ 1 (- z))) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- y))) 1))))) into (- (+ (* 1.0 z) (* x y)) (* z y)) 3.690 * * * [progress]: simplifying candidates 3.690 * [simplify]: Simplifying: (expm1 (fma x y (* z (- 1.0 y)))) (log1p (fma x y (* z (- 1.0 y)))) (* x y) (log (fma x y (* z (- 1.0 y)))) (exp (fma x y (* z (- 1.0 y)))) (* (cbrt (fma x y (* z (- 1.0 y)))) (cbrt (fma x y (* z (- 1.0 y))))) (cbrt (fma x y (* z (- 1.0 y)))) (* (* (fma x y (* z (- 1.0 y))) (fma x y (* z (- 1.0 y)))) (fma x y (* z (- 1.0 y)))) (sqrt (fma x y (* z (- 1.0 y)))) (sqrt (fma x y (* z (- 1.0 y)))) (- (+ (* 1.0 z) (* x y)) (* z y)) (- (+ (* 1.0 z) (* x y)) (* z y)) (- (+ (* 1.0 z) (* x y)) (* z y)) 3.691 * * [simplify]: Extracting # 0 : cost 10 inf + 0 3.691 * * [simplify]: Extracting # 1 : cost 16 inf + 0 3.691 * * [simplify]: Extracting # 2 : cost 17 inf + 2 3.691 * * [simplify]: Extracting # 3 : cost 16 inf + 87 3.691 * * [simplify]: Extracting # 4 : cost 15 inf + 88 3.691 * * [simplify]: Extracting # 5 : cost 10 inf + 583 3.692 * * [simplify]: Extracting # 6 : cost 0 inf + 2633 3.692 * * [simplify]: iteration 0 : 21 enodes (cost 2565 ) 3.697 * * [simplify]: Extracting # 0 : cost 0 inf + 2633 3.698 * * [simplify]: Extracting # 1 : cost 3 inf + 2583 3.698 * * [simplify]: Extracting # 2 : cost 0 inf + 2829 3.699 * * [simplify]: iteration 1 : 35 enodes (cost 2490 ) 3.709 * * [simplify]: Extracting # 0 : cost 0 inf + 2829 3.710 * * [simplify]: Extracting # 1 : cost 16 inf + 2650 3.711 * * [simplify]: Extracting # 2 : cost 0 inf + 5192 3.713 * * [simplify]: iteration 2 : 83 enodes (cost 2370 ) 3.753 * * [simplify]: Extracting # 0 : cost 0 inf + 5192 3.756 * * [simplify]: Extracting # 1 : cost 155 inf + 4452 3.770 * * [simplify]: Extracting # 2 : cost 3 inf + 37576 3.782 * * [simplify]: Extracting # 3 : cost 0 inf + 38277 3.793 * * [simplify]: iteration 3 : 451 enodes (cost 2370 ) 4.275 * * [simplify]: Extracting # 0 : cost 0 inf + 38277 4.328 * * [simplify]: Extracting # 1 : cost 2137 inf + 22973 4.456 * * [simplify]: Extracting # 2 : cost 18 inf + 659741 4.629 * * [simplify]: Extracting # 3 : cost 7 inf + 660634 4.814 * * [simplify]: Extracting # 4 : cost 0 inf + 662229 4.940 * * [simplify]: iteration done: 5000 enodes (cost 2370 ) 4.940 * [simplify]: Simplified to: (expm1 (fma x y (* z (- 1.0 y)))) (log1p (fma x y (* z (- 1.0 y)))) (* x y) (log (fma x y (* z (- 1.0 y)))) (exp (fma x y (* z (- 1.0 y)))) (* (cbrt (fma x y (* z (- 1.0 y)))) (cbrt (fma x y (* z (- 1.0 y))))) (cbrt (fma x y (* z (- 1.0 y)))) (* (* (fma x y (* z (- 1.0 y))) (fma x y (* z (- 1.0 y)))) (fma x y (* z (- 1.0 y)))) (sqrt (fma x y (* z (- 1.0 y)))) (sqrt (fma x y (* z (- 1.0 y)))) (fma x y (* z (- 1.0 y))) (fma x y (* z (- 1.0 y))) (fma x y (* z (- 1.0 y))) 4.941 * * * [progress]: adding candidates to table 5.006 * [progress]: [Phase 3 of 3] Extracting. 5.011 * [simplify]: Simplifying: (fma x y (* z (- 1.0 y))) 5.011 * * [simplify]: Extracting # 0 : cost 1 inf + 0 5.011 * * [simplify]: Extracting # 1 : cost 4 inf + 0 5.011 * * [simplify]: Extracting # 2 : cost 4 inf + 2 5.011 * * [simplify]: Extracting # 3 : cost 4 inf + 3 5.011 * * [simplify]: Extracting # 4 : cost 0 inf + 268 5.011 * * [simplify]: iteration 0 : 7 enodes (cost 139 ) 5.012 * * [simplify]: Extracting # 0 : cost 0 inf + 268 5.012 * * [simplify]: iteration 1 : 8 enodes (cost 139 ) 5.012 * * [simplify]: Extracting # 0 : cost 0 inf + 268 5.012 * * [simplify]: iteration done: 8 enodes (cost 139 ) 5.012 * [simplify]: Simplified to: (fma x y (* z (- 1.0 y))) 6.439 * [regime-testing]: Baseline error score: 0.007750968871108889 6.448 * [regime-testing]: Oracle error score: 0.007750968871108889 6.448 * [regime-testing]: End program error score: 0.007750968871108889 6.537 * [regime-testing]: Target error score: 0.012931984435035472