51.729 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.025 * * * [progress]: [2/2] Setting up program. 0.029 * [progress]: [Phase 2 of 3] Improving. 0.029 * [simplify]: Simplifying: (+ x (/ (- x y) 2.0)) 0.029 * * [simplify]: Extracting # 0 : cost 0 0.029 * * [simplify]: Extracting # 1 : cost 0 0.029 * * [simplify]: Extracting # 2 : cost 0 0.029 * * [simplify]: Extracting # 3 : cost 0 0.029 * * [simplify]: Extracting # 4 : cost 0 0.029 * * [simplify]: Extracting # 5 : cost 0 0.030 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.032 * * [simplify]: Extracting # 0 : cost 0 0.032 * * [simplify]: Extracting # 1 : cost 0 0.032 * * [simplify]: Extracting # 2 : cost 0 0.032 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 0.036 * * [simplify]: Extracting # 0 : cost 0 0.036 * * [simplify]: Extracting # 1 : cost 0 0.036 * * [simplify]: Extracting # 2 : cost 0 0.036 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 0.041 * * [simplify]: Extracting # 0 : cost 0 0.041 * * [simplify]: Extracting # 1 : cost 0 0.042 * * [simplify]: Extracting # 2 : cost 0 0.042 * * [simplify]: iteration 3 : 29 enodes (cost 7 ) 0.047 * * [simplify]: Extracting # 0 : cost 0 0.047 * * [simplify]: Extracting # 1 : cost 0 0.047 * * [simplify]: Extracting # 2 : cost 0 0.047 * * [simplify]: iteration 4 : 40 enodes (cost 7 ) 0.055 * * [simplify]: Extracting # 0 : cost 0 0.056 * * [simplify]: Extracting # 1 : cost 0 0.056 * * [simplify]: Extracting # 2 : cost 0 0.056 * * [simplify]: iteration 5 : 94 enodes (cost 7 ) 0.090 * * [simplify]: Extracting # 0 : cost 0 0.090 * * [simplify]: Extracting # 1 : cost 0 0.091 * * [simplify]: Extracting # 2 : cost 0 0.091 * * [simplify]: iteration 6 : 206 enodes (cost 7 ) 0.154 * * [simplify]: Extracting # 0 : cost 0 0.154 * * [simplify]: Extracting # 1 : cost 0 0.155 * * [simplify]: Extracting # 2 : cost 0 0.156 * * [simplify]: iteration 7 : 486 enodes (cost 7 ) 0.417 * * [simplify]: Extracting # 0 : cost 0 0.419 * * [simplify]: Extracting # 1 : cost 0 0.420 * * [simplify]: Extracting # 2 : cost 0 0.421 * * [simplify]: iteration 8 : 1272 enodes (cost 7 ) 1.900 * * [simplify]: Extracting # 0 : cost 0 1.907 * * [simplify]: Extracting # 1 : cost 0 1.913 * * [simplify]: Extracting # 2 : cost 0 1.920 * * [simplify]: iteration 9 : 4324 enodes (cost 7 ) 6.526 * * [simplify]: Extracting # 0 : cost 0 6.587 * * [simplify]: Extracting # 1 : cost 0 6.591 * * [simplify]: Extracting # 2 : cost 0 6.598 * * [simplify]: Extracting # 3 : cost 0 6.603 * * [simplify]: iteration done: 5000 enodes (cost 7 ) 6.603 * [simplify]: Simplified to: (+ x (/ (- x y) 2.0)) 6.603 * * [progress]: iteration 1 / 4 6.603 * * * [progress]: picking best candidate 6.605 * * * * [pick]: Picked # 6.605 * * * [progress]: localizing error 6.611 * * * [progress]: generating rewritten candidates 6.611 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 6.660 * * * [progress]: generating series expansions 6.661 * * * * [progress]: [ 1 / 1 ] generating series at (2) 6.661 * [backup-simplify]: Simplify (+ x (/ (- x y) 2.0)) into (- (* 1.5 x) (* 0.5 y)) 6.661 * [approximate]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in (x y) around 0 6.661 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in y 6.661 * [taylor]: Taking taylor expansion of (* 1.5 x) in y 6.661 * [taylor]: Taking taylor expansion of 1.5 in y 6.661 * [backup-simplify]: Simplify 1.5 into 1.5 6.661 * [taylor]: Taking taylor expansion of x in y 6.661 * [backup-simplify]: Simplify x into x 6.661 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 6.661 * [taylor]: Taking taylor expansion of 0.5 in y 6.661 * [backup-simplify]: Simplify 0.5 into 0.5 6.661 * [taylor]: Taking taylor expansion of y in y 6.661 * [backup-simplify]: Simplify 0 into 0 6.661 * [backup-simplify]: Simplify 1 into 1 6.661 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x 6.661 * [taylor]: Taking taylor expansion of (* 1.5 x) in x 6.661 * [taylor]: Taking taylor expansion of 1.5 in x 6.662 * [backup-simplify]: Simplify 1.5 into 1.5 6.662 * [taylor]: Taking taylor expansion of x in x 6.662 * [backup-simplify]: Simplify 0 into 0 6.662 * [backup-simplify]: Simplify 1 into 1 6.662 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 6.662 * [taylor]: Taking taylor expansion of 0.5 in x 6.662 * [backup-simplify]: Simplify 0.5 into 0.5 6.662 * [taylor]: Taking taylor expansion of y in x 6.662 * [backup-simplify]: Simplify y into y 6.662 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x 6.662 * [taylor]: Taking taylor expansion of (* 1.5 x) in x 6.662 * [taylor]: Taking taylor expansion of 1.5 in x 6.662 * [backup-simplify]: Simplify 1.5 into 1.5 6.662 * [taylor]: Taking taylor expansion of x in x 6.662 * [backup-simplify]: Simplify 0 into 0 6.662 * [backup-simplify]: Simplify 1 into 1 6.662 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 6.662 * [taylor]: Taking taylor expansion of 0.5 in x 6.662 * [backup-simplify]: Simplify 0.5 into 0.5 6.662 * [taylor]: Taking taylor expansion of y in x 6.662 * [backup-simplify]: Simplify y into y 6.663 * [backup-simplify]: Simplify (* 1.5 0) into 0 6.663 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y) 6.663 * [backup-simplify]: Simplify (- (* 0.5 y)) into (- (* 0.5 y)) 6.663 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 y))) into (- (* 0.5 y)) 6.664 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y 6.664 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 6.664 * [taylor]: Taking taylor expansion of 0.5 in y 6.664 * [backup-simplify]: Simplify 0.5 into 0.5 6.664 * [taylor]: Taking taylor expansion of y in y 6.664 * [backup-simplify]: Simplify 0 into 0 6.664 * [backup-simplify]: Simplify 1 into 1 6.664 * [backup-simplify]: Simplify (* 0.5 0) into 0 6.665 * [backup-simplify]: Simplify (- 0) into 0 6.665 * [backup-simplify]: Simplify 0 into 0 6.667 * [backup-simplify]: Simplify (+ (* 1.5 1) (* 0 0)) into 1.5 6.667 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 y)) into 0 6.668 * [backup-simplify]: Simplify (- 0) into 0 6.668 * [backup-simplify]: Simplify (+ 1.5 0) into 1.5 6.668 * [taylor]: Taking taylor expansion of 1.5 in y 6.668 * [backup-simplify]: Simplify 1.5 into 1.5 6.668 * [backup-simplify]: Simplify 1.5 into 1.5 6.670 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 6.671 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 6.671 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 6.672 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 1) (* 0 0))) into 0 6.674 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 y))) into 0 6.674 * [backup-simplify]: Simplify (- 0) into 0 6.674 * [backup-simplify]: Simplify (+ 0 0) into 0 6.675 * [taylor]: Taking taylor expansion of 0 in y 6.675 * [backup-simplify]: Simplify 0 into 0 6.675 * [backup-simplify]: Simplify 0 into 0 6.675 * [backup-simplify]: Simplify 0 into 0 6.676 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 6.676 * [backup-simplify]: Simplify (- 0) into 0 6.676 * [backup-simplify]: Simplify 0 into 0 6.678 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.679 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 6.680 * [backup-simplify]: Simplify (- 0) into 0 6.680 * [backup-simplify]: Simplify (+ 0 0) into 0 6.680 * [taylor]: Taking taylor expansion of 0 in y 6.680 * [backup-simplify]: Simplify 0 into 0 6.680 * [backup-simplify]: Simplify 0 into 0 6.680 * [backup-simplify]: Simplify 0 into 0 6.680 * [backup-simplify]: Simplify 0 into 0 6.681 * [backup-simplify]: Simplify (+ (* (- 0.5) (* y 1)) (* 1.5 (* 1 x))) into (- (* 1.5 x) (* 0.5 y)) 6.681 * [backup-simplify]: Simplify (+ (/ 1 x) (/ (- (/ 1 x) (/ 1 y)) 2.0)) into (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) 6.681 * [approximate]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in (x y) around 0 6.681 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in y 6.681 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y 6.681 * [taylor]: Taking taylor expansion of 1.5 in y 6.682 * [backup-simplify]: Simplify 1.5 into 1.5 6.682 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.682 * [taylor]: Taking taylor expansion of x in y 6.682 * [backup-simplify]: Simplify x into x 6.682 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.682 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 6.682 * [taylor]: Taking taylor expansion of 0.5 in y 6.682 * [backup-simplify]: Simplify 0.5 into 0.5 6.682 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.682 * [taylor]: Taking taylor expansion of y in y 6.682 * [backup-simplify]: Simplify 0 into 0 6.682 * [backup-simplify]: Simplify 1 into 1 6.682 * [backup-simplify]: Simplify (/ 1 1) into 1 6.683 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 6.683 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 6.683 * [taylor]: Taking taylor expansion of 1.5 in x 6.683 * [backup-simplify]: Simplify 1.5 into 1.5 6.683 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.683 * [taylor]: Taking taylor expansion of x in x 6.683 * [backup-simplify]: Simplify 0 into 0 6.683 * [backup-simplify]: Simplify 1 into 1 6.683 * [backup-simplify]: Simplify (/ 1 1) into 1 6.683 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 6.683 * [taylor]: Taking taylor expansion of 0.5 in x 6.683 * [backup-simplify]: Simplify 0.5 into 0.5 6.683 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.683 * [taylor]: Taking taylor expansion of y in x 6.683 * [backup-simplify]: Simplify y into y 6.684 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.684 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 6.684 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 6.684 * [taylor]: Taking taylor expansion of 1.5 in x 6.684 * [backup-simplify]: Simplify 1.5 into 1.5 6.684 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.684 * [taylor]: Taking taylor expansion of x in x 6.684 * [backup-simplify]: Simplify 0 into 0 6.684 * [backup-simplify]: Simplify 1 into 1 6.684 * [backup-simplify]: Simplify (/ 1 1) into 1 6.684 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 6.684 * [taylor]: Taking taylor expansion of 0.5 in x 6.684 * [backup-simplify]: Simplify 0.5 into 0.5 6.684 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.684 * [taylor]: Taking taylor expansion of y in x 6.684 * [backup-simplify]: Simplify y into y 6.685 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.685 * [backup-simplify]: Simplify (* 1.5 1) into 1.5 6.686 * [backup-simplify]: Simplify (+ 1.5 0) into 1.5 6.686 * [taylor]: Taking taylor expansion of 1.5 in y 6.686 * [backup-simplify]: Simplify 1.5 into 1.5 6.687 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.687 * [backup-simplify]: Simplify (+ (* 1.5 0) (* 0 1)) into 0 6.688 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y) 6.688 * [backup-simplify]: Simplify (- (/ 0.5 y)) into (- (* 0.5 (/ 1 y))) 6.688 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ 1 y)))) into (- (* 0.5 (/ 1 y))) 6.688 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y 6.688 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 6.688 * [taylor]: Taking taylor expansion of 0.5 in y 6.688 * [backup-simplify]: Simplify 0.5 into 0.5 6.688 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.688 * [taylor]: Taking taylor expansion of y in y 6.688 * [backup-simplify]: Simplify 0 into 0 6.688 * [backup-simplify]: Simplify 1 into 1 6.689 * [backup-simplify]: Simplify (/ 1 1) into 1 6.689 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 6.690 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 6.690 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 6.690 * [backup-simplify]: Simplify 1.5 into 1.5 6.691 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.692 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (* 0 1))) into 0 6.693 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 6.693 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0 6.694 * [backup-simplify]: Simplify (- 0) into 0 6.694 * [backup-simplify]: Simplify (+ 0 0) into 0 6.694 * [taylor]: Taking taylor expansion of 0 in y 6.694 * [backup-simplify]: Simplify 0 into 0 6.695 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.696 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 6.696 * [backup-simplify]: Simplify (- 0) into 0 6.697 * [backup-simplify]: Simplify 0 into 0 6.697 * [backup-simplify]: Simplify 0 into 0 6.698 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.699 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.699 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.700 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 6.701 * [backup-simplify]: Simplify (- 0) into 0 6.701 * [backup-simplify]: Simplify (+ 0 0) into 0 6.701 * [taylor]: Taking taylor expansion of 0 in y 6.701 * [backup-simplify]: Simplify 0 into 0 6.701 * [backup-simplify]: Simplify 0 into 0 6.702 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.704 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 6.704 * [backup-simplify]: Simplify (- 0) into 0 6.704 * [backup-simplify]: Simplify 0 into 0 6.704 * [backup-simplify]: Simplify 0 into 0 6.706 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.707 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.708 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.709 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 6.710 * [backup-simplify]: Simplify (- 0) into 0 6.710 * [backup-simplify]: Simplify (+ 0 0) into 0 6.711 * [taylor]: Taking taylor expansion of 0 in y 6.711 * [backup-simplify]: Simplify 0 into 0 6.711 * [backup-simplify]: Simplify 0 into 0 6.711 * [backup-simplify]: Simplify (+ (* 1.5 (* 1 (/ 1 (/ 1 x)))) (* (- 0.5) (* (/ 1 (/ 1 y)) 1))) into (- (* 1.5 x) (* 0.5 y)) 6.712 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (/ (- (/ 1 (- x)) (/ 1 (- y))) 2.0)) into (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) 6.712 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in (x y) around 0 6.712 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in y 6.712 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 6.712 * [taylor]: Taking taylor expansion of 0.5 in y 6.712 * [backup-simplify]: Simplify 0.5 into 0.5 6.712 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.712 * [taylor]: Taking taylor expansion of y in y 6.712 * [backup-simplify]: Simplify 0 into 0 6.712 * [backup-simplify]: Simplify 1 into 1 6.713 * [backup-simplify]: Simplify (/ 1 1) into 1 6.713 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y 6.713 * [taylor]: Taking taylor expansion of 1.5 in y 6.713 * [backup-simplify]: Simplify 1.5 into 1.5 6.713 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.713 * [taylor]: Taking taylor expansion of x in y 6.713 * [backup-simplify]: Simplify x into x 6.713 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.713 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x 6.713 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 6.713 * [taylor]: Taking taylor expansion of 0.5 in x 6.713 * [backup-simplify]: Simplify 0.5 into 0.5 6.713 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.713 * [taylor]: Taking taylor expansion of y in x 6.713 * [backup-simplify]: Simplify y into y 6.713 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.713 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 6.713 * [taylor]: Taking taylor expansion of 1.5 in x 6.713 * [backup-simplify]: Simplify 1.5 into 1.5 6.713 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.713 * [taylor]: Taking taylor expansion of x in x 6.713 * [backup-simplify]: Simplify 0 into 0 6.713 * [backup-simplify]: Simplify 1 into 1 6.714 * [backup-simplify]: Simplify (/ 1 1) into 1 6.714 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x 6.714 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 6.714 * [taylor]: Taking taylor expansion of 0.5 in x 6.714 * [backup-simplify]: Simplify 0.5 into 0.5 6.714 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.714 * [taylor]: Taking taylor expansion of y in x 6.714 * [backup-simplify]: Simplify y into y 6.714 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.714 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 6.714 * [taylor]: Taking taylor expansion of 1.5 in x 6.714 * [backup-simplify]: Simplify 1.5 into 1.5 6.714 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.715 * [taylor]: Taking taylor expansion of x in x 6.715 * [backup-simplify]: Simplify 0 into 0 6.715 * [backup-simplify]: Simplify 1 into 1 6.715 * [backup-simplify]: Simplify (/ 1 1) into 1 6.716 * [backup-simplify]: Simplify (* 1.5 1) into 1.5 6.716 * [backup-simplify]: Simplify (- 1.5) into (- 1.5) 6.717 * [backup-simplify]: Simplify (+ 0 (- 1.5)) into (- 1.5) 6.717 * [taylor]: Taking taylor expansion of (- 1.5) in y 6.717 * [taylor]: Taking taylor expansion of 1.5 in y 6.717 * [backup-simplify]: Simplify 1.5 into 1.5 6.717 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y) 6.718 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.719 * [backup-simplify]: Simplify (+ (* 1.5 0) (* 0 1)) into 0 6.719 * [backup-simplify]: Simplify (- 0) into 0 6.720 * [backup-simplify]: Simplify (+ (/ 0.5 y) 0) into (* 0.5 (/ 1 y)) 6.720 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 6.720 * [taylor]: Taking taylor expansion of 0.5 in y 6.720 * [backup-simplify]: Simplify 0.5 into 0.5 6.720 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.720 * [taylor]: Taking taylor expansion of y in y 6.720 * [backup-simplify]: Simplify 0 into 0 6.720 * [backup-simplify]: Simplify 1 into 1 6.720 * [backup-simplify]: Simplify (/ 1 1) into 1 6.720 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 6.720 * [backup-simplify]: Simplify 0.5 into 0.5 6.721 * [backup-simplify]: Simplify (- 1.5) into (- 1.5) 6.721 * [backup-simplify]: Simplify (- 1.5) into (- 1.5) 6.721 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 6.721 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0 6.722 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.723 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (* 0 1))) into 0 6.723 * [backup-simplify]: Simplify (- 0) into 0 6.723 * [backup-simplify]: Simplify (+ 0 0) into 0 6.723 * [taylor]: Taking taylor expansion of 0 in y 6.723 * [backup-simplify]: Simplify 0 into 0 6.724 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.724 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 6.724 * [backup-simplify]: Simplify 0 into 0 6.724 * [backup-simplify]: Simplify (- 0) into 0 6.724 * [backup-simplify]: Simplify 0 into 0 6.725 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.725 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 6.726 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.726 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.727 * [backup-simplify]: Simplify (- 0) into 0 6.727 * [backup-simplify]: Simplify (+ 0 0) into 0 6.727 * [taylor]: Taking taylor expansion of 0 in y 6.727 * [backup-simplify]: Simplify 0 into 0 6.727 * [backup-simplify]: Simplify 0 into 0 6.727 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.728 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 6.728 * [backup-simplify]: Simplify 0 into 0 6.728 * [backup-simplify]: Simplify (- 0) into 0 6.728 * [backup-simplify]: Simplify 0 into 0 6.729 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.733 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 6.734 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.735 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.736 * [backup-simplify]: Simplify (- 0) into 0 6.736 * [backup-simplify]: Simplify (+ 0 0) into 0 6.736 * [taylor]: Taking taylor expansion of 0 in y 6.736 * [backup-simplify]: Simplify 0 into 0 6.736 * [backup-simplify]: Simplify 0 into 0 6.737 * [backup-simplify]: Simplify (+ (* (- 1.5) (* 1 (/ 1 (/ 1 (- x))))) (* 0.5 (* (/ 1 (/ 1 (- y))) 1))) into (- (* 1.5 x) (* 0.5 y)) 6.737 * * * [progress]: simplifying candidates 6.737 * [simplify]: Simplifying: (expm1 (+ x (/ (- x y) 2.0))) (log1p (+ x (/ (- x y) 2.0))) (* (exp x) (exp (/ (- x y) 2.0))) (log (+ x (/ (- x y) 2.0))) (exp (+ x (/ (- x y) 2.0))) (* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0)))) (cbrt (+ x (/ (- x y) 2.0))) (* (* (+ x (/ (- x y) 2.0)) (+ x (/ (- x y) 2.0))) (+ x (/ (- x y) 2.0))) (sqrt (+ x (/ (- x y) 2.0))) (sqrt (+ x (/ (- x y) 2.0))) (+ (pow x 3) (pow (/ (- x y) 2.0) 3)) (+ (* x x) (- (* (/ (- x y) 2.0) (/ (- x y) 2.0)) (* x (/ (- x y) 2.0)))) (- (* x x) (* (/ (- x y) 2.0) (/ (- x y) 2.0))) (- x (/ (- x y) 2.0)) (+ x (/ (- x y) 2.0)) (+ x (/ x 2.0)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) 6.738 * * [simplify]: Extracting # 0 : cost 0 6.738 * * [simplify]: Extracting # 1 : cost 0 6.738 * * [simplify]: Extracting # 2 : cost 0 6.738 * * [simplify]: Extracting # 3 : cost 0 6.738 * * [simplify]: Extracting # 4 : cost 0 6.738 * * [simplify]: Extracting # 5 : cost 0 6.738 * * [simplify]: Extracting # 6 : cost 0 6.738 * * [simplify]: iteration 0 : 36 enodes (cost 194 ) 6.747 * * [simplify]: Extracting # 0 : cost 0 6.747 * * [simplify]: Extracting # 1 : cost 0 6.747 * * [simplify]: Extracting # 2 : cost 0 6.747 * * [simplify]: Extracting # 3 : cost 0 6.748 * * [simplify]: Extracting # 4 : cost 0 6.748 * * [simplify]: iteration 1 : 98 enodes (cost 186 ) 6.790 * * [simplify]: Extracting # 0 : cost 0 6.790 * * [simplify]: Extracting # 1 : cost 0 6.791 * * [simplify]: Extracting # 2 : cost 0 6.791 * * [simplify]: Extracting # 3 : cost 0 6.792 * * [simplify]: Extracting # 4 : cost 0 6.792 * * [simplify]: iteration 2 : 269 enodes (cost 172 ) 6.943 * * [simplify]: Extracting # 0 : cost 0 6.945 * * [simplify]: Extracting # 1 : cost 0 6.947 * * [simplify]: Extracting # 2 : cost 0 6.949 * * [simplify]: Extracting # 3 : cost 0 6.951 * * [simplify]: Extracting # 4 : cost 0 6.953 * * [simplify]: iteration 3 : 872 enodes (cost 172 ) 8.085 * * [simplify]: Extracting # 0 : cost 0 8.096 * * [simplify]: Extracting # 1 : cost 0 8.106 * * [simplify]: Extracting # 2 : cost 0 8.111 * * [simplify]: Extracting # 3 : cost 0 8.116 * * [simplify]: Extracting # 4 : cost 0 8.121 * * [simplify]: iteration 4 : 4342 enodes (cost 171 ) 10.187 * * [simplify]: Extracting # 0 : cost 0 10.205 * * [simplify]: Extracting # 1 : cost 0 10.212 * * [simplify]: iteration done: 5000 enodes (cost 171 ) 10.212 * [simplify]: Simplified to: (expm1 (+ x (/ (- x y) 2.0))) (log1p (+ x (/ (- x y) 2.0))) (exp (+ x (/ (- x y) 2.0))) (log (+ x (/ (- x y) 2.0))) (exp (+ x (/ (- x y) 2.0))) (* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0)))) (cbrt (+ x (/ (- x y) 2.0))) (pow (+ x (/ (- x y) 2.0)) 3) (sqrt (+ x (/ (- x y) 2.0))) (sqrt (+ x (/ (- x y) 2.0))) (+ (pow x 3) (pow (/ (- x y) 2.0) 3)) (fma x x (* (/ (- x y) 2.0) (- (/ (- x y) 2.0) x))) (fma (/ (- x y) 2.0) (/ (- y x) 2.0) (* x x)) (- x (/ (- x y) 2.0)) (+ x (/ (- x y) 2.0)) (+ x (/ x 2.0)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) 10.212 * * * [progress]: adding candidates to table 10.281 * * [progress]: iteration 2 / 4 10.281 * * * [progress]: picking best candidate 10.304 * * * * [pick]: Picked # 10.305 * * * [progress]: localizing error 10.314 * * * [progress]: generating rewritten candidates 10.314 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 10.323 * * * [progress]: generating series expansions 10.323 * * * * [progress]: [ 1 / 1 ] generating series at (2) 10.324 * [backup-simplify]: Simplify (- (* 1.5 x) (* 0.5 y)) into (- (* 1.5 x) (* 0.5 y)) 10.324 * [approximate]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in (x y) around 0 10.324 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in y 10.324 * [taylor]: Taking taylor expansion of (* 1.5 x) in y 10.324 * [taylor]: Taking taylor expansion of 1.5 in y 10.324 * [backup-simplify]: Simplify 1.5 into 1.5 10.324 * [taylor]: Taking taylor expansion of x in y 10.324 * [backup-simplify]: Simplify x into x 10.324 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 10.324 * [taylor]: Taking taylor expansion of 0.5 in y 10.324 * [backup-simplify]: Simplify 0.5 into 0.5 10.324 * [taylor]: Taking taylor expansion of y in y 10.324 * [backup-simplify]: Simplify 0 into 0 10.324 * [backup-simplify]: Simplify 1 into 1 10.324 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x 10.324 * [taylor]: Taking taylor expansion of (* 1.5 x) in x 10.324 * [taylor]: Taking taylor expansion of 1.5 in x 10.324 * [backup-simplify]: Simplify 1.5 into 1.5 10.324 * [taylor]: Taking taylor expansion of x in x 10.324 * [backup-simplify]: Simplify 0 into 0 10.324 * [backup-simplify]: Simplify 1 into 1 10.324 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 10.324 * [taylor]: Taking taylor expansion of 0.5 in x 10.324 * [backup-simplify]: Simplify 0.5 into 0.5 10.324 * [taylor]: Taking taylor expansion of y in x 10.324 * [backup-simplify]: Simplify y into y 10.324 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x 10.324 * [taylor]: Taking taylor expansion of (* 1.5 x) in x 10.324 * [taylor]: Taking taylor expansion of 1.5 in x 10.324 * [backup-simplify]: Simplify 1.5 into 1.5 10.324 * [taylor]: Taking taylor expansion of x in x 10.324 * [backup-simplify]: Simplify 0 into 0 10.324 * [backup-simplify]: Simplify 1 into 1 10.324 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 10.324 * [taylor]: Taking taylor expansion of 0.5 in x 10.324 * [backup-simplify]: Simplify 0.5 into 0.5 10.324 * [taylor]: Taking taylor expansion of y in x 10.324 * [backup-simplify]: Simplify y into y 10.325 * [backup-simplify]: Simplify (* 1.5 0) into 0 10.325 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y) 10.325 * [backup-simplify]: Simplify (- (* 0.5 y)) into (- (* 0.5 y)) 10.325 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 y))) into (- (* 0.5 y)) 10.325 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y 10.325 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 10.325 * [taylor]: Taking taylor expansion of 0.5 in y 10.325 * [backup-simplify]: Simplify 0.5 into 0.5 10.325 * [taylor]: Taking taylor expansion of y in y 10.325 * [backup-simplify]: Simplify 0 into 0 10.325 * [backup-simplify]: Simplify 1 into 1 10.326 * [backup-simplify]: Simplify (* 0.5 0) into 0 10.326 * [backup-simplify]: Simplify (- 0) into 0 10.326 * [backup-simplify]: Simplify 0 into 0 10.327 * [backup-simplify]: Simplify (+ (* 1.5 1) (* 0 0)) into 1.5 10.327 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 y)) into 0 10.327 * [backup-simplify]: Simplify (- 0) into 0 10.328 * [backup-simplify]: Simplify (+ 1.5 0) into 1.5 10.328 * [taylor]: Taking taylor expansion of 1.5 in y 10.328 * [backup-simplify]: Simplify 1.5 into 1.5 10.328 * [backup-simplify]: Simplify 1.5 into 1.5 10.329 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 10.329 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 10.329 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 10.330 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 1) (* 0 0))) into 0 10.330 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 y))) into 0 10.330 * [backup-simplify]: Simplify (- 0) into 0 10.331 * [backup-simplify]: Simplify (+ 0 0) into 0 10.331 * [taylor]: Taking taylor expansion of 0 in y 10.331 * [backup-simplify]: Simplify 0 into 0 10.331 * [backup-simplify]: Simplify 0 into 0 10.331 * [backup-simplify]: Simplify 0 into 0 10.331 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 10.332 * [backup-simplify]: Simplify (- 0) into 0 10.332 * [backup-simplify]: Simplify 0 into 0 10.332 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 10.333 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 10.333 * [backup-simplify]: Simplify (- 0) into 0 10.333 * [backup-simplify]: Simplify (+ 0 0) into 0 10.333 * [taylor]: Taking taylor expansion of 0 in y 10.334 * [backup-simplify]: Simplify 0 into 0 10.334 * [backup-simplify]: Simplify 0 into 0 10.334 * [backup-simplify]: Simplify 0 into 0 10.334 * [backup-simplify]: Simplify 0 into 0 10.334 * [backup-simplify]: Simplify (+ (* (- 0.5) (* y 1)) (* 1.5 (* 1 x))) into (- (* 1.5 x) (* 0.5 y)) 10.334 * [backup-simplify]: Simplify (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) into (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) 10.334 * [approximate]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in (x y) around 0 10.334 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in y 10.334 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y 10.334 * [taylor]: Taking taylor expansion of 1.5 in y 10.334 * [backup-simplify]: Simplify 1.5 into 1.5 10.334 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.334 * [taylor]: Taking taylor expansion of x in y 10.334 * [backup-simplify]: Simplify x into x 10.334 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.334 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 10.334 * [taylor]: Taking taylor expansion of 0.5 in y 10.334 * [backup-simplify]: Simplify 0.5 into 0.5 10.334 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.334 * [taylor]: Taking taylor expansion of y in y 10.334 * [backup-simplify]: Simplify 0 into 0 10.334 * [backup-simplify]: Simplify 1 into 1 10.335 * [backup-simplify]: Simplify (/ 1 1) into 1 10.335 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 10.335 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 10.335 * [taylor]: Taking taylor expansion of 1.5 in x 10.335 * [backup-simplify]: Simplify 1.5 into 1.5 10.335 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.335 * [taylor]: Taking taylor expansion of x in x 10.335 * [backup-simplify]: Simplify 0 into 0 10.335 * [backup-simplify]: Simplify 1 into 1 10.335 * [backup-simplify]: Simplify (/ 1 1) into 1 10.335 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 10.335 * [taylor]: Taking taylor expansion of 0.5 in x 10.335 * [backup-simplify]: Simplify 0.5 into 0.5 10.335 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.335 * [taylor]: Taking taylor expansion of y in x 10.335 * [backup-simplify]: Simplify y into y 10.335 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.335 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 10.335 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 10.335 * [taylor]: Taking taylor expansion of 1.5 in x 10.335 * [backup-simplify]: Simplify 1.5 into 1.5 10.335 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.335 * [taylor]: Taking taylor expansion of x in x 10.335 * [backup-simplify]: Simplify 0 into 0 10.336 * [backup-simplify]: Simplify 1 into 1 10.336 * [backup-simplify]: Simplify (/ 1 1) into 1 10.336 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 10.336 * [taylor]: Taking taylor expansion of 0.5 in x 10.336 * [backup-simplify]: Simplify 0.5 into 0.5 10.336 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.336 * [taylor]: Taking taylor expansion of y in x 10.336 * [backup-simplify]: Simplify y into y 10.336 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.337 * [backup-simplify]: Simplify (* 1.5 1) into 1.5 10.337 * [backup-simplify]: Simplify (+ 1.5 0) into 1.5 10.337 * [taylor]: Taking taylor expansion of 1.5 in y 10.337 * [backup-simplify]: Simplify 1.5 into 1.5 10.338 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.339 * [backup-simplify]: Simplify (+ (* 1.5 0) (* 0 1)) into 0 10.339 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y) 10.339 * [backup-simplify]: Simplify (- (/ 0.5 y)) into (- (* 0.5 (/ 1 y))) 10.339 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ 1 y)))) into (- (* 0.5 (/ 1 y))) 10.339 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y 10.339 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 10.339 * [taylor]: Taking taylor expansion of 0.5 in y 10.339 * [backup-simplify]: Simplify 0.5 into 0.5 10.339 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.339 * [taylor]: Taking taylor expansion of y in y 10.339 * [backup-simplify]: Simplify 0 into 0 10.339 * [backup-simplify]: Simplify 1 into 1 10.340 * [backup-simplify]: Simplify (/ 1 1) into 1 10.340 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 10.340 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 10.341 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 10.341 * [backup-simplify]: Simplify 1.5 into 1.5 10.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.343 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (* 0 1))) into 0 10.343 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 10.343 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0 10.344 * [backup-simplify]: Simplify (- 0) into 0 10.344 * [backup-simplify]: Simplify (+ 0 0) into 0 10.344 * [taylor]: Taking taylor expansion of 0 in y 10.344 * [backup-simplify]: Simplify 0 into 0 10.345 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.346 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 10.346 * [backup-simplify]: Simplify (- 0) into 0 10.346 * [backup-simplify]: Simplify 0 into 0 10.346 * [backup-simplify]: Simplify 0 into 0 10.347 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.348 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.348 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.349 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 10.350 * [backup-simplify]: Simplify (- 0) into 0 10.350 * [backup-simplify]: Simplify (+ 0 0) into 0 10.350 * [taylor]: Taking taylor expansion of 0 in y 10.350 * [backup-simplify]: Simplify 0 into 0 10.350 * [backup-simplify]: Simplify 0 into 0 10.351 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.352 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 10.353 * [backup-simplify]: Simplify (- 0) into 0 10.353 * [backup-simplify]: Simplify 0 into 0 10.353 * [backup-simplify]: Simplify 0 into 0 10.354 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.356 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.356 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.357 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 10.358 * [backup-simplify]: Simplify (- 0) into 0 10.358 * [backup-simplify]: Simplify (+ 0 0) into 0 10.358 * [taylor]: Taking taylor expansion of 0 in y 10.358 * [backup-simplify]: Simplify 0 into 0 10.358 * [backup-simplify]: Simplify 0 into 0 10.359 * [backup-simplify]: Simplify (+ (* 1.5 (* 1 (/ 1 (/ 1 x)))) (* (- 0.5) (* (/ 1 (/ 1 y)) 1))) into (- (* 1.5 x) (* 0.5 y)) 10.359 * [backup-simplify]: Simplify (- (* 1.5 (/ 1 (- x))) (* 0.5 (/ 1 (- y)))) into (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) 10.359 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in (x y) around 0 10.359 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in y 10.359 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 10.359 * [taylor]: Taking taylor expansion of 0.5 in y 10.359 * [backup-simplify]: Simplify 0.5 into 0.5 10.359 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.360 * [taylor]: Taking taylor expansion of y in y 10.360 * [backup-simplify]: Simplify 0 into 0 10.360 * [backup-simplify]: Simplify 1 into 1 10.360 * [backup-simplify]: Simplify (/ 1 1) into 1 10.360 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y 10.360 * [taylor]: Taking taylor expansion of 1.5 in y 10.360 * [backup-simplify]: Simplify 1.5 into 1.5 10.360 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.360 * [taylor]: Taking taylor expansion of x in y 10.360 * [backup-simplify]: Simplify x into x 10.361 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.361 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x 10.361 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 10.361 * [taylor]: Taking taylor expansion of 0.5 in x 10.361 * [backup-simplify]: Simplify 0.5 into 0.5 10.361 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.361 * [taylor]: Taking taylor expansion of y in x 10.361 * [backup-simplify]: Simplify y into y 10.361 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.361 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 10.361 * [taylor]: Taking taylor expansion of 1.5 in x 10.361 * [backup-simplify]: Simplify 1.5 into 1.5 10.361 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.361 * [taylor]: Taking taylor expansion of x in x 10.361 * [backup-simplify]: Simplify 0 into 0 10.361 * [backup-simplify]: Simplify 1 into 1 10.362 * [backup-simplify]: Simplify (/ 1 1) into 1 10.362 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x 10.362 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 10.362 * [taylor]: Taking taylor expansion of 0.5 in x 10.362 * [backup-simplify]: Simplify 0.5 into 0.5 10.362 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.362 * [taylor]: Taking taylor expansion of y in x 10.362 * [backup-simplify]: Simplify y into y 10.362 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.362 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 10.362 * [taylor]: Taking taylor expansion of 1.5 in x 10.362 * [backup-simplify]: Simplify 1.5 into 1.5 10.362 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.363 * [taylor]: Taking taylor expansion of x in x 10.363 * [backup-simplify]: Simplify 0 into 0 10.363 * [backup-simplify]: Simplify 1 into 1 10.363 * [backup-simplify]: Simplify (/ 1 1) into 1 10.364 * [backup-simplify]: Simplify (* 1.5 1) into 1.5 10.364 * [backup-simplify]: Simplify (- 1.5) into (- 1.5) 10.365 * [backup-simplify]: Simplify (+ 0 (- 1.5)) into (- 1.5) 10.365 * [taylor]: Taking taylor expansion of (- 1.5) in y 10.365 * [taylor]: Taking taylor expansion of 1.5 in y 10.365 * [backup-simplify]: Simplify 1.5 into 1.5 10.365 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y) 10.366 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.367 * [backup-simplify]: Simplify (+ (* 1.5 0) (* 0 1)) into 0 10.367 * [backup-simplify]: Simplify (- 0) into 0 10.368 * [backup-simplify]: Simplify (+ (/ 0.5 y) 0) into (* 0.5 (/ 1 y)) 10.368 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 10.368 * [taylor]: Taking taylor expansion of 0.5 in y 10.368 * [backup-simplify]: Simplify 0.5 into 0.5 10.368 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.368 * [taylor]: Taking taylor expansion of y in y 10.368 * [backup-simplify]: Simplify 0 into 0 10.368 * [backup-simplify]: Simplify 1 into 1 10.368 * [backup-simplify]: Simplify (/ 1 1) into 1 10.369 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 10.369 * [backup-simplify]: Simplify 0.5 into 0.5 10.369 * [backup-simplify]: Simplify (- 1.5) into (- 1.5) 10.370 * [backup-simplify]: Simplify (- 1.5) into (- 1.5) 10.370 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 10.371 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0 10.371 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.373 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (* 0 1))) into 0 10.373 * [backup-simplify]: Simplify (- 0) into 0 10.373 * [backup-simplify]: Simplify (+ 0 0) into 0 10.373 * [taylor]: Taking taylor expansion of 0 in y 10.373 * [backup-simplify]: Simplify 0 into 0 10.374 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.375 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 10.375 * [backup-simplify]: Simplify 0 into 0 10.375 * [backup-simplify]: Simplify (- 0) into 0 10.375 * [backup-simplify]: Simplify 0 into 0 10.376 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.377 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 10.378 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.379 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.379 * [backup-simplify]: Simplify (- 0) into 0 10.380 * [backup-simplify]: Simplify (+ 0 0) into 0 10.380 * [taylor]: Taking taylor expansion of 0 in y 10.380 * [backup-simplify]: Simplify 0 into 0 10.380 * [backup-simplify]: Simplify 0 into 0 10.381 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.382 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 10.382 * [backup-simplify]: Simplify 0 into 0 10.382 * [backup-simplify]: Simplify (- 0) into 0 10.382 * [backup-simplify]: Simplify 0 into 0 10.383 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.384 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 10.385 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.386 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.387 * [backup-simplify]: Simplify (- 0) into 0 10.387 * [backup-simplify]: Simplify (+ 0 0) into 0 10.387 * [taylor]: Taking taylor expansion of 0 in y 10.387 * [backup-simplify]: Simplify 0 into 0 10.388 * [backup-simplify]: Simplify 0 into 0 10.388 * [backup-simplify]: Simplify (+ (* (- 1.5) (* 1 (/ 1 (/ 1 (- x))))) (* 0.5 (* (/ 1 (/ 1 (- y))) 1))) into (- (* 1.5 x) (* 0.5 y)) 10.388 * * * [progress]: simplifying candidates 10.389 * [simplify]: Simplifying: (fma 1.5 x (- (* y 0.5))) (fma (- y) 0.5 (* y 0.5)) (expm1 (- (* 1.5 x) (* 0.5 y))) (log1p (- (* 1.5 x) (* 0.5 y))) (- (* 0.5 y)) (/ (exp (* 1.5 x)) (exp (* 0.5 y))) (log (- (* 1.5 x) (* 0.5 y))) (exp (- (* 1.5 x) (* 0.5 y))) (* (cbrt (- (* 1.5 x) (* 0.5 y))) (cbrt (- (* 1.5 x) (* 0.5 y)))) (cbrt (- (* 1.5 x) (* 0.5 y))) (* (* (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y))) (- (* 1.5 x) (* 0.5 y))) (sqrt (- (* 1.5 x) (* 0.5 y))) (sqrt (- (* 1.5 x) (* 0.5 y))) (- (pow (* 1.5 x) 3) (pow (* 0.5 y) 3)) (+ (* (* 1.5 x) (* 1.5 x)) (+ (* (* 0.5 y) (* 0.5 y)) (* (* 1.5 x) (* 0.5 y)))) (- (* 0.5 y)) (- (* (* 1.5 x) (* 1.5 x)) (* (* 0.5 y) (* 0.5 y))) (+ (* 1.5 x) (* 0.5 y)) (- (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) 10.390 * * [simplify]: Extracting # 0 : cost 0 10.390 * * [simplify]: Extracting # 1 : cost 0 10.390 * * [simplify]: Extracting # 2 : cost 0 10.390 * * [simplify]: Extracting # 3 : cost 0 10.390 * * [simplify]: Extracting # 4 : cost 0 10.390 * * [simplify]: Extracting # 5 : cost 0 10.390 * * [simplify]: Extracting # 6 : cost 0 10.390 * * [simplify]: iteration 0 : 36 enodes (cost 208 ) 10.406 * * [simplify]: Extracting # 0 : cost 0 10.407 * * [simplify]: Extracting # 1 : cost 0 10.407 * * [simplify]: Extracting # 2 : cost 0 10.407 * * [simplify]: Extracting # 3 : cost 0 10.407 * * [simplify]: Extracting # 4 : cost 0 10.407 * * [simplify]: iteration 1 : 102 enodes (cost 199 ) 10.456 * * [simplify]: Extracting # 0 : cost 0 10.456 * * [simplify]: Extracting # 1 : cost 0 10.457 * * [simplify]: Extracting # 2 : cost 0 10.458 * * [simplify]: Extracting # 3 : cost 0 10.459 * * [simplify]: Extracting # 4 : cost 0 10.459 * * [simplify]: Extracting # 5 : cost 0 10.460 * * [simplify]: Extracting # 6 : cost 0 10.461 * * [simplify]: iteration 2 : 325 enodes (cost 184 ) 10.694 * * [simplify]: Extracting # 0 : cost 0 10.697 * * [simplify]: Extracting # 1 : cost 0 10.699 * * [simplify]: Extracting # 2 : cost 0 10.701 * * [simplify]: Extracting # 3 : cost 0 10.703 * * [simplify]: Extracting # 4 : cost 0 10.705 * * [simplify]: iteration 3 : 1090 enodes (cost 184 ) 11.648 * * [simplify]: Extracting # 0 : cost 0 11.665 * * [simplify]: Extracting # 1 : cost 0 11.671 * * [simplify]: Extracting # 2 : cost 0 11.676 * * [simplify]: Extracting # 3 : cost 0 11.682 * * [simplify]: Extracting # 4 : cost 0 11.687 * * [simplify]: iteration 4 : 3086 enodes (cost 179 ) 13.275 * * [simplify]: Extracting # 0 : cost 0 13.285 * * [simplify]: Extracting # 1 : cost 0 13.291 * * [simplify]: Extracting # 2 : cost 0 13.304 * * [simplify]: iteration done: 5001 enodes (cost 179 ) 13.304 * [simplify]: Simplified to: (fma 1.5 x (- (* y 0.5))) 0 (expm1 (- (* 1.5 x) (* 0.5 y))) (log1p (- (* 1.5 x) (* 0.5 y))) (- (* y 0.5)) (exp (- (* 1.5 x) (* 0.5 y))) (log (- (* 1.5 x) (* 0.5 y))) (exp (- (* 1.5 x) (* 0.5 y))) (* (cbrt (- (* 1.5 x) (* 0.5 y))) (cbrt (- (* 1.5 x) (* 0.5 y)))) (cbrt (- (* 1.5 x) (* 0.5 y))) (pow (fma 1.5 x (- (* y 0.5))) 3) (sqrt (- (* 1.5 x) (* 0.5 y))) (sqrt (- (* 1.5 x) (* 0.5 y))) (- (pow (* 1.5 x) 3) (pow (* 0.5 y) 3)) (fma (* 1.5 x) (* 1.5 x) (* (* y 0.5) (fma 1.5 x (* y 0.5)))) (- (* y 0.5)) (* (fma 1.5 x (* y 0.5)) (fma 1.5 x (- (* y 0.5)))) (fma 1.5 x (* y 0.5)) (- (* y 0.5)) (fma 1.5 x (- (* y 0.5))) (fma 1.5 x (- (* y 0.5))) (fma 1.5 x (- (* y 0.5))) 13.305 * * * [progress]: adding candidates to table 13.362 * * [progress]: iteration 3 / 4 13.363 * * * [progress]: picking best candidate 13.365 * * * * [pick]: Picked # 13.365 * * * [progress]: localizing error 13.375 * * * [progress]: generating rewritten candidates 13.375 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 13.376 * * * [progress]: generating series expansions 13.376 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 13.377 * [backup-simplify]: Simplify (fma 1.5 x (- (* y 0.5))) into (fma 1.5 x (- (* 0.5 y))) 13.377 * [approximate]: Taking taylor expansion of (fma 1.5 x (- (* 0.5 y))) in (x y) around 0 13.377 * [taylor]: Taking taylor expansion of (fma 1.5 x (- (* 0.5 y))) in y 13.377 * [taylor]: Rewrote expression to (+ (* 1.5 x) (- (* 0.5 y))) 13.377 * [taylor]: Taking taylor expansion of (* 1.5 x) in y 13.377 * [taylor]: Taking taylor expansion of 1.5 in y 13.377 * [backup-simplify]: Simplify 1.5 into 1.5 13.377 * [taylor]: Taking taylor expansion of x in y 13.377 * [backup-simplify]: Simplify x into x 13.377 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y 13.377 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 13.377 * [taylor]: Taking taylor expansion of 0.5 in y 13.377 * [backup-simplify]: Simplify 0.5 into 0.5 13.377 * [taylor]: Taking taylor expansion of y in y 13.377 * [backup-simplify]: Simplify 0 into 0 13.378 * [backup-simplify]: Simplify 1 into 1 13.378 * [taylor]: Taking taylor expansion of (fma 1.5 x (- (* 0.5 y))) in x 13.378 * [taylor]: Rewrote expression to (+ (* 1.5 x) (- (* 0.5 y))) 13.378 * [taylor]: Taking taylor expansion of (* 1.5 x) in x 13.378 * [taylor]: Taking taylor expansion of 1.5 in x 13.378 * [backup-simplify]: Simplify 1.5 into 1.5 13.378 * [taylor]: Taking taylor expansion of x in x 13.378 * [backup-simplify]: Simplify 0 into 0 13.378 * [backup-simplify]: Simplify 1 into 1 13.378 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in x 13.378 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 13.378 * [taylor]: Taking taylor expansion of 0.5 in x 13.378 * [backup-simplify]: Simplify 0.5 into 0.5 13.378 * [taylor]: Taking taylor expansion of y in x 13.378 * [backup-simplify]: Simplify y into y 13.378 * [taylor]: Taking taylor expansion of (fma 1.5 x (- (* 0.5 y))) in x 13.378 * [taylor]: Rewrote expression to (+ (* 1.5 x) (- (* 0.5 y))) 13.378 * [taylor]: Taking taylor expansion of (* 1.5 x) in x 13.378 * [taylor]: Taking taylor expansion of 1.5 in x 13.378 * [backup-simplify]: Simplify 1.5 into 1.5 13.378 * [taylor]: Taking taylor expansion of x in x 13.378 * [backup-simplify]: Simplify 0 into 0 13.379 * [backup-simplify]: Simplify 1 into 1 13.379 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in x 13.379 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 13.379 * [taylor]: Taking taylor expansion of 0.5 in x 13.379 * [backup-simplify]: Simplify 0.5 into 0.5 13.379 * [taylor]: Taking taylor expansion of y in x 13.379 * [backup-simplify]: Simplify y into y 13.380 * [backup-simplify]: Simplify (* 1.5 0) into 0 13.380 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y) 13.380 * [backup-simplify]: Simplify (- (* 0.5 y)) into (- (* 0.5 y)) 13.380 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 y))) into (- (* 0.5 y)) 13.380 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y 13.380 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 13.380 * [taylor]: Taking taylor expansion of 0.5 in y 13.380 * [backup-simplify]: Simplify 0.5 into 0.5 13.380 * [taylor]: Taking taylor expansion of y in y 13.380 * [backup-simplify]: Simplify 0 into 0 13.380 * [backup-simplify]: Simplify 1 into 1 13.381 * [backup-simplify]: Simplify (* 0.5 0) into 0 13.382 * [backup-simplify]: Simplify (- 0) into 0 13.382 * [backup-simplify]: Simplify 0 into 0 13.383 * [backup-simplify]: Simplify (+ (* 1.5 1) (* 0 0)) into 1.5 13.384 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 y)) into 0 13.384 * [backup-simplify]: Simplify (- 0) into 0 13.385 * [backup-simplify]: Simplify (+ 1.5 0) into 1.5 13.385 * [taylor]: Taking taylor expansion of 1.5 in y 13.385 * [backup-simplify]: Simplify 1.5 into 1.5 13.385 * [backup-simplify]: Simplify 1.5 into 1.5 13.387 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 13.387 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 13.388 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 13.388 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 1) (* 0 0))) into 0 13.389 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 y))) into 0 13.389 * [backup-simplify]: Simplify (- 0) into 0 13.389 * [backup-simplify]: Simplify (+ 0 0) into 0 13.389 * [taylor]: Taking taylor expansion of 0 in y 13.389 * [backup-simplify]: Simplify 0 into 0 13.390 * [backup-simplify]: Simplify 0 into 0 13.390 * [backup-simplify]: Simplify 0 into 0 13.390 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 13.391 * [backup-simplify]: Simplify (- 0) into 0 13.391 * [backup-simplify]: Simplify 0 into 0 13.391 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 13.398 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 13.398 * [backup-simplify]: Simplify (- 0) into 0 13.399 * [backup-simplify]: Simplify (+ 0 0) into 0 13.399 * [taylor]: Taking taylor expansion of 0 in y 13.399 * [backup-simplify]: Simplify 0 into 0 13.399 * [backup-simplify]: Simplify 0 into 0 13.399 * [backup-simplify]: Simplify 0 into 0 13.399 * [backup-simplify]: Simplify 0 into 0 13.399 * [backup-simplify]: Simplify (+ (* (- 0.5) (* y 1)) (* 1.5 (* 1 x))) into (- (* 1.5 x) (* 0.5 y)) 13.400 * [backup-simplify]: Simplify (fma 1.5 (/ 1 x) (- (* (/ 1 y) 0.5))) into (fma 1.5 (/ 1 x) (- (* 0.5 (/ 1 y)))) 13.400 * [approximate]: Taking taylor expansion of (fma 1.5 (/ 1 x) (- (* 0.5 (/ 1 y)))) in (x y) around 0 13.400 * [taylor]: Taking taylor expansion of (fma 1.5 (/ 1 x) (- (* 0.5 (/ 1 y)))) in y 13.400 * [taylor]: Rewrote expression to (+ (* 1.5 (/ 1 x)) (- (* 0.5 (/ 1 y)))) 13.400 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y 13.400 * [taylor]: Taking taylor expansion of 1.5 in y 13.400 * [backup-simplify]: Simplify 1.5 into 1.5 13.400 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.400 * [taylor]: Taking taylor expansion of x in y 13.400 * [backup-simplify]: Simplify x into x 13.400 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.400 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y 13.400 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 13.400 * [taylor]: Taking taylor expansion of 0.5 in y 13.400 * [backup-simplify]: Simplify 0.5 into 0.5 13.400 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.400 * [taylor]: Taking taylor expansion of y in y 13.400 * [backup-simplify]: Simplify 0 into 0 13.400 * [backup-simplify]: Simplify 1 into 1 13.401 * [backup-simplify]: Simplify (/ 1 1) into 1 13.401 * [taylor]: Taking taylor expansion of (fma 1.5 (/ 1 x) (- (* 0.5 (/ 1 y)))) in x 13.401 * [taylor]: Rewrote expression to (+ (* 1.5 (/ 1 x)) (- (* 0.5 (/ 1 y)))) 13.401 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 13.401 * [taylor]: Taking taylor expansion of 1.5 in x 13.401 * [backup-simplify]: Simplify 1.5 into 1.5 13.401 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.401 * [taylor]: Taking taylor expansion of x in x 13.401 * [backup-simplify]: Simplify 0 into 0 13.401 * [backup-simplify]: Simplify 1 into 1 13.401 * [backup-simplify]: Simplify (/ 1 1) into 1 13.401 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in x 13.401 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 13.401 * [taylor]: Taking taylor expansion of 0.5 in x 13.401 * [backup-simplify]: Simplify 0.5 into 0.5 13.401 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.401 * [taylor]: Taking taylor expansion of y in x 13.401 * [backup-simplify]: Simplify y into y 13.401 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.402 * [taylor]: Taking taylor expansion of (fma 1.5 (/ 1 x) (- (* 0.5 (/ 1 y)))) in x 13.402 * [taylor]: Rewrote expression to (+ (* 1.5 (/ 1 x)) (- (* 0.5 (/ 1 y)))) 13.402 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 13.402 * [taylor]: Taking taylor expansion of 1.5 in x 13.402 * [backup-simplify]: Simplify 1.5 into 1.5 13.402 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.402 * [taylor]: Taking taylor expansion of x in x 13.402 * [backup-simplify]: Simplify 0 into 0 13.402 * [backup-simplify]: Simplify 1 into 1 13.402 * [backup-simplify]: Simplify (/ 1 1) into 1 13.402 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in x 13.402 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 13.402 * [taylor]: Taking taylor expansion of 0.5 in x 13.402 * [backup-simplify]: Simplify 0.5 into 0.5 13.402 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.402 * [taylor]: Taking taylor expansion of y in x 13.402 * [backup-simplify]: Simplify y into y 13.402 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.403 * [backup-simplify]: Simplify (* 1.5 1) into 1.5 13.403 * [backup-simplify]: Simplify (+ 1.5 0) into 1.5 13.403 * [taylor]: Taking taylor expansion of 1.5 in y 13.403 * [backup-simplify]: Simplify 1.5 into 1.5 13.404 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.404 * [backup-simplify]: Simplify (+ (* 1.5 0) (* 0 1)) into 0 13.404 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y) 13.404 * [backup-simplify]: Simplify (- (/ 0.5 y)) into (- (* 0.5 (/ 1 y))) 13.404 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ 1 y)))) into (- (* 0.5 (/ 1 y))) 13.404 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y 13.404 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 13.404 * [taylor]: Taking taylor expansion of 0.5 in y 13.404 * [backup-simplify]: Simplify 0.5 into 0.5 13.405 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.405 * [taylor]: Taking taylor expansion of y in y 13.405 * [backup-simplify]: Simplify 0 into 0 13.405 * [backup-simplify]: Simplify 1 into 1 13.405 * [backup-simplify]: Simplify (/ 1 1) into 1 13.405 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 13.405 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 13.406 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 13.406 * [backup-simplify]: Simplify 1.5 into 1.5 13.406 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.407 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (* 0 1))) into 0 13.407 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 13.407 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0 13.408 * [backup-simplify]: Simplify (- 0) into 0 13.408 * [backup-simplify]: Simplify (+ 0 0) into 0 13.408 * [taylor]: Taking taylor expansion of 0 in y 13.408 * [backup-simplify]: Simplify 0 into 0 13.409 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.409 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 13.409 * [backup-simplify]: Simplify (- 0) into 0 13.409 * [backup-simplify]: Simplify 0 into 0 13.409 * [backup-simplify]: Simplify 0 into 0 13.410 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.411 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.411 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 13.411 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 13.412 * [backup-simplify]: Simplify (- 0) into 0 13.412 * [backup-simplify]: Simplify (+ 0 0) into 0 13.412 * [taylor]: Taking taylor expansion of 0 in y 13.412 * [backup-simplify]: Simplify 0 into 0 13.412 * [backup-simplify]: Simplify 0 into 0 13.412 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.413 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 13.413 * [backup-simplify]: Simplify (- 0) into 0 13.413 * [backup-simplify]: Simplify 0 into 0 13.413 * [backup-simplify]: Simplify 0 into 0 13.414 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.415 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 13.415 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 13.416 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 13.416 * [backup-simplify]: Simplify (- 0) into 0 13.417 * [backup-simplify]: Simplify (+ 0 0) into 0 13.417 * [taylor]: Taking taylor expansion of 0 in y 13.417 * [backup-simplify]: Simplify 0 into 0 13.417 * [backup-simplify]: Simplify 0 into 0 13.418 * [backup-simplify]: Simplify (+ (* 1.5 (* 1 (/ 1 (/ 1 x)))) (* (- 0.5) (* (/ 1 (/ 1 y)) 1))) into (- (* 1.5 x) (* 0.5 y)) 13.418 * [backup-simplify]: Simplify (fma 1.5 (/ 1 (- x)) (- (* (/ 1 (- y)) 0.5))) into (fma 1.5 (/ -1 x) (* 0.5 (/ 1 y))) 13.418 * [approximate]: Taking taylor expansion of (fma 1.5 (/ -1 x) (* 0.5 (/ 1 y))) in (x y) around 0 13.418 * [taylor]: Taking taylor expansion of (fma 1.5 (/ -1 x) (* 0.5 (/ 1 y))) in y 13.418 * [taylor]: Rewrote expression to (+ (* 1.5 (/ -1 x)) (* 0.5 (/ 1 y))) 13.418 * [taylor]: Taking taylor expansion of (* 1.5 (/ -1 x)) in y 13.418 * [taylor]: Taking taylor expansion of 1.5 in y 13.418 * [backup-simplify]: Simplify 1.5 into 1.5 13.419 * [taylor]: Taking taylor expansion of (/ -1 x) in y 13.419 * [taylor]: Taking taylor expansion of -1 in y 13.419 * [backup-simplify]: Simplify -1 into -1 13.419 * [taylor]: Taking taylor expansion of x in y 13.419 * [backup-simplify]: Simplify x into x 13.419 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 13.419 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 13.419 * [taylor]: Taking taylor expansion of 0.5 in y 13.419 * [backup-simplify]: Simplify 0.5 into 0.5 13.419 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.419 * [taylor]: Taking taylor expansion of y in y 13.419 * [backup-simplify]: Simplify 0 into 0 13.419 * [backup-simplify]: Simplify 1 into 1 13.419 * [backup-simplify]: Simplify (/ 1 1) into 1 13.420 * [taylor]: Taking taylor expansion of (fma 1.5 (/ -1 x) (* 0.5 (/ 1 y))) in x 13.420 * [taylor]: Rewrote expression to (+ (* 1.5 (/ -1 x)) (* 0.5 (/ 1 y))) 13.420 * [taylor]: Taking taylor expansion of (* 1.5 (/ -1 x)) in x 13.420 * [taylor]: Taking taylor expansion of 1.5 in x 13.420 * [backup-simplify]: Simplify 1.5 into 1.5 13.420 * [taylor]: Taking taylor expansion of (/ -1 x) in x 13.420 * [taylor]: Taking taylor expansion of -1 in x 13.420 * [backup-simplify]: Simplify -1 into -1 13.420 * [taylor]: Taking taylor expansion of x in x 13.420 * [backup-simplify]: Simplify 0 into 0 13.420 * [backup-simplify]: Simplify 1 into 1 13.421 * [backup-simplify]: Simplify (/ -1 1) into -1 13.421 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 13.421 * [taylor]: Taking taylor expansion of 0.5 in x 13.421 * [backup-simplify]: Simplify 0.5 into 0.5 13.421 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.421 * [taylor]: Taking taylor expansion of y in x 13.421 * [backup-simplify]: Simplify y into y 13.421 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.421 * [taylor]: Taking taylor expansion of (fma 1.5 (/ -1 x) (* 0.5 (/ 1 y))) in x 13.421 * [taylor]: Rewrote expression to (+ (* 1.5 (/ -1 x)) (* 0.5 (/ 1 y))) 13.421 * [taylor]: Taking taylor expansion of (* 1.5 (/ -1 x)) in x 13.421 * [taylor]: Taking taylor expansion of 1.5 in x 13.421 * [backup-simplify]: Simplify 1.5 into 1.5 13.421 * [taylor]: Taking taylor expansion of (/ -1 x) in x 13.421 * [taylor]: Taking taylor expansion of -1 in x 13.421 * [backup-simplify]: Simplify -1 into -1 13.421 * [taylor]: Taking taylor expansion of x in x 13.421 * [backup-simplify]: Simplify 0 into 0 13.421 * [backup-simplify]: Simplify 1 into 1 13.422 * [backup-simplify]: Simplify (/ -1 1) into -1 13.422 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 13.422 * [taylor]: Taking taylor expansion of 0.5 in x 13.422 * [backup-simplify]: Simplify 0.5 into 0.5 13.422 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.422 * [taylor]: Taking taylor expansion of y in x 13.422 * [backup-simplify]: Simplify y into y 13.422 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.423 * [backup-simplify]: Simplify (* 1.5 -1) into -1.5 13.423 * [backup-simplify]: Simplify (+ -1.5 0) into (- 1.5) 13.423 * [taylor]: Taking taylor expansion of (- 1.5) in y 13.424 * [taylor]: Taking taylor expansion of 1.5 in y 13.424 * [backup-simplify]: Simplify 1.5 into 1.5 13.424 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 13.425 * [backup-simplify]: Simplify (+ (* 1.5 0) (* 0 -1)) into 0 13.425 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y) 13.426 * [backup-simplify]: Simplify (+ 0 (/ 0.5 y)) into (* 0.5 (/ 1 y)) 13.426 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 13.426 * [taylor]: Taking taylor expansion of 0.5 in y 13.426 * [backup-simplify]: Simplify 0.5 into 0.5 13.426 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.426 * [taylor]: Taking taylor expansion of y in y 13.426 * [backup-simplify]: Simplify 0 into 0 13.426 * [backup-simplify]: Simplify 1 into 1 13.426 * [backup-simplify]: Simplify (/ 1 1) into 1 13.427 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 13.427 * [backup-simplify]: Simplify 0.5 into 0.5 13.427 * [backup-simplify]: Simplify (- 1.5) into (- 1.5) 13.428 * [backup-simplify]: Simplify (- 1.5) into (- 1.5) 13.429 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.430 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (* 0 -1))) into 0 13.430 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 13.431 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0 13.431 * [backup-simplify]: Simplify (+ 0 0) into 0 13.431 * [taylor]: Taking taylor expansion of 0 in y 13.431 * [backup-simplify]: Simplify 0 into 0 13.432 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.432 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 13.432 * [backup-simplify]: Simplify 0 into 0 13.433 * [backup-simplify]: Simplify (- 0) into 0 13.433 * [backup-simplify]: Simplify 0 into 0 13.433 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.434 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 13.434 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 13.435 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 13.435 * [backup-simplify]: Simplify (+ 0 0) into 0 13.435 * [taylor]: Taking taylor expansion of 0 in y 13.435 * [backup-simplify]: Simplify 0 into 0 13.435 * [backup-simplify]: Simplify 0 into 0 13.436 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.436 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 13.436 * [backup-simplify]: Simplify 0 into 0 13.437 * [backup-simplify]: Simplify (- 0) into 0 13.437 * [backup-simplify]: Simplify 0 into 0 13.437 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.438 * [backup-simplify]: Simplify (+ (* 1.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 13.438 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 13.439 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 13.439 * [backup-simplify]: Simplify (+ 0 0) into 0 13.439 * [taylor]: Taking taylor expansion of 0 in y 13.440 * [backup-simplify]: Simplify 0 into 0 13.440 * [backup-simplify]: Simplify 0 into 0 13.440 * [backup-simplify]: Simplify (+ (* (- 1.5) (* 1 (/ 1 (/ 1 (- x))))) (* 0.5 (* (/ 1 (/ 1 (- y))) 1))) into (- (* 1.5 x) (* 0.5 y)) 13.440 * * * [progress]: simplifying candidates 13.441 * [simplify]: Simplifying: (expm1 (fma 1.5 x (- (* y 0.5)))) (log1p (fma 1.5 x (- (* y 0.5)))) (* 1.5 x) (log (fma 1.5 x (- (* y 0.5)))) (exp (fma 1.5 x (- (* y 0.5)))) (* (cbrt (fma 1.5 x (- (* y 0.5)))) (cbrt (fma 1.5 x (- (* y 0.5))))) (cbrt (fma 1.5 x (- (* y 0.5)))) (* (* (fma 1.5 x (- (* y 0.5))) (fma 1.5 x (- (* y 0.5)))) (fma 1.5 x (- (* y 0.5)))) (sqrt (fma 1.5 x (- (* y 0.5)))) (sqrt (fma 1.5 x (- (* y 0.5)))) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) 13.441 * * [simplify]: Extracting # 0 : cost 0 13.441 * * [simplify]: Extracting # 1 : cost 0 13.441 * * [simplify]: Extracting # 2 : cost 0 13.441 * * [simplify]: Extracting # 3 : cost 0 13.441 * * [simplify]: Extracting # 4 : cost 0 13.441 * * [simplify]: Extracting # 5 : cost 0 13.441 * * [simplify]: iteration 0 : 19 enodes (cost 120 ) 13.445 * * [simplify]: Extracting # 0 : cost 0 13.446 * * [simplify]: Extracting # 1 : cost 0 13.446 * * [simplify]: Extracting # 2 : cost 0 13.446 * * [simplify]: iteration 1 : 29 enodes (cost 120 ) 13.451 * * [simplify]: Extracting # 0 : cost 0 13.451 * * [simplify]: Extracting # 1 : cost 0 13.451 * * [simplify]: Extracting # 2 : cost 0 13.452 * * [simplify]: Extracting # 3 : cost 0 13.452 * * [simplify]: iteration 2 : 53 enodes (cost 106 ) 13.469 * * [simplify]: Extracting # 0 : cost 0 13.470 * * [simplify]: Extracting # 1 : cost 0 13.470 * * [simplify]: Extracting # 2 : cost 0 13.470 * * [simplify]: Extracting # 3 : cost 0 13.471 * * [simplify]: Extracting # 4 : cost 0 13.471 * * [simplify]: iteration 3 : 191 enodes (cost 106 ) 13.622 * * [simplify]: Extracting # 0 : cost 0 13.625 * * [simplify]: Extracting # 1 : cost 0 13.627 * * [simplify]: Extracting # 2 : cost 0 13.628 * * [simplify]: Extracting # 3 : cost 0 13.630 * * [simplify]: Extracting # 4 : cost 0 13.632 * * [simplify]: Extracting # 5 : cost 0 13.633 * * [simplify]: Extracting # 6 : cost 0 13.635 * * [simplify]: iteration 4 : 828 enodes (cost 106 ) 15.746 * * [simplify]: Extracting # 0 : cost 0 15.756 * * [simplify]: Extracting # 1 : cost 0 15.761 * * [simplify]: Extracting # 2 : cost 0 15.766 * * [simplify]: Extracting # 3 : cost 0 15.771 * * [simplify]: Extracting # 4 : cost 0 15.776 * * [simplify]: iteration done: 5000 enodes (cost 106 ) 15.777 * [simplify]: Simplified to: (expm1 (fma 1.5 x (- (* y 0.5)))) (log1p (fma 1.5 x (- (* y 0.5)))) (* 1.5 x) (log (fma 1.5 x (- (* y 0.5)))) (exp (fma 1.5 x (- (* y 0.5)))) (* (cbrt (fma 1.5 x (- (* y 0.5)))) (cbrt (fma 1.5 x (- (* y 0.5))))) (cbrt (fma 1.5 x (- (* y 0.5)))) (pow (- (* 1.5 x) (* 0.5 y)) 3) (sqrt (fma 1.5 x (- (* y 0.5)))) (sqrt (fma 1.5 x (- (* y 0.5)))) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) 15.777 * * * [progress]: adding candidates to table 15.815 * [progress]: [Phase 3 of 3] Extracting. 15.817 * [simplify]: Simplifying: (+ (fma 1.5 x (- (* y 0.5))) 0) 15.818 * * [simplify]: Extracting # 0 : cost 0 15.818 * * [simplify]: Extracting # 1 : cost 0 15.818 * * [simplify]: Extracting # 2 : cost 0 15.818 * * [simplify]: Extracting # 3 : cost 0 15.818 * * [simplify]: Extracting # 4 : cost 0 15.818 * * [simplify]: Extracting # 5 : cost 0 15.818 * * [simplify]: Extracting # 6 : cost 0 15.818 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 15.819 * * [simplify]: Extracting # 0 : cost 0 15.819 * * [simplify]: Extracting # 1 : cost 0 15.819 * * [simplify]: Extracting # 2 : cost 0 15.819 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 15.820 * * [simplify]: Extracting # 0 : cost 0 15.820 * * [simplify]: iteration 2 : 18 enodes (cost 7 ) 15.822 * * [simplify]: Extracting # 0 : cost 0 15.822 * * [simplify]: iteration done: 18 enodes (cost 7 ) 15.822 * [simplify]: Simplified to: (fma 1.5 x (- (* y 0.5))) 16.637 * [regime-testing]: Baseline error score: 0 16.640 * [regime-testing]: Oracle error score: 0 16.640 * [regime-testing]: End program error score: 0 16.664 * [regime-testing]: Target error score: 0.08301037629703713