15.892 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.022 * * * [progress]: [2/2] Setting up program. 0.025 * [progress]: [Phase 2 of 3] Improving. 0.025 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.026 * [simplify]: Simplifying: (* x (exp (* y y))) 0.026 * * [simplify]: iteration 0: 5 enodes 0.027 * * [simplify]: iteration 1: 8 enodes 0.028 * * [simplify]: iteration 2: 12 enodes 0.030 * * [simplify]: iteration 3: 21 enodes 0.034 * * [simplify]: iteration 4: 46 enodes 0.044 * * [simplify]: iteration 5: 122 enodes 0.092 * * [simplify]: iteration 6: 362 enodes 0.387 * * [simplify]: iteration 7: 1166 enodes 2.128 * * [simplify]: iteration complete: 5000 enodes 2.128 * * [simplify]: Extracting #0: cost 1 inf + 0 2.128 * * [simplify]: Extracting #1: cost 135 inf + 0 2.133 * * [simplify]: Extracting #2: cost 766 inf + 1 2.138 * * [simplify]: Extracting #3: cost 998 inf + 233 2.145 * * [simplify]: Extracting #4: cost 941 inf + 11756 2.180 * * [simplify]: Extracting #5: cost 528 inf + 220843 2.254 * * [simplify]: Extracting #6: cost 80 inf + 642663 2.338 * * [simplify]: Extracting #7: cost 0 inf + 709065 2.427 * * [simplify]: Extracting #8: cost 0 inf + 706552 2.541 * * [simplify]: Extracting #9: cost 0 inf + 705506 2.647 * [simplify]: Simplified to: (* (exp (* y y)) x) 2.647 * * [progress]: iteration 1 / 4 2.647 * * * [progress]: picking best candidate 2.649 * * * * [pick]: Picked # 2.649 * * * [progress]: localizing error 2.658 * * * [progress]: generating rewritten candidates 2.659 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 2.672 * * * [progress]: generating series expansions 2.672 * * * * [progress]: [ 1 / 1 ] generating series at (2) 2.672 * [backup-simplify]: Simplify (* x (exp (* y y))) into (* x (exp (pow y 2))) 2.672 * [approximate]: Taking taylor expansion of (* x (exp (pow y 2))) in (x y) around 0 2.672 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y 2.672 * [taylor]: Taking taylor expansion of x in y 2.672 * [backup-simplify]: Simplify x into x 2.672 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 2.672 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.672 * [taylor]: Taking taylor expansion of y in y 2.672 * [backup-simplify]: Simplify 0 into 0 2.672 * [backup-simplify]: Simplify 1 into 1 2.672 * [backup-simplify]: Simplify (* 1 1) into 1 2.672 * [backup-simplify]: Simplify (exp 0) into 1 2.672 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 2.672 * [taylor]: Taking taylor expansion of x in x 2.672 * [backup-simplify]: Simplify 0 into 0 2.673 * [backup-simplify]: Simplify 1 into 1 2.673 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 2.673 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.673 * [taylor]: Taking taylor expansion of y in x 2.673 * [backup-simplify]: Simplify y into y 2.673 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.673 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 2.673 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 2.673 * [taylor]: Taking taylor expansion of x in x 2.673 * [backup-simplify]: Simplify 0 into 0 2.673 * [backup-simplify]: Simplify 1 into 1 2.673 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 2.673 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.673 * [taylor]: Taking taylor expansion of y in x 2.673 * [backup-simplify]: Simplify y into y 2.673 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.673 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 2.673 * [backup-simplify]: Simplify (* 0 (exp (pow y 2))) into 0 2.673 * [taylor]: Taking taylor expansion of 0 in y 2.673 * [backup-simplify]: Simplify 0 into 0 2.673 * [backup-simplify]: Simplify 0 into 0 2.673 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.674 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0 2.674 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (pow y 2)))) into (exp (pow y 2)) 2.674 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 2.674 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.674 * [taylor]: Taking taylor expansion of y in y 2.674 * [backup-simplify]: Simplify 0 into 0 2.674 * [backup-simplify]: Simplify 1 into 1 2.674 * [backup-simplify]: Simplify (* 1 1) into 1 2.674 * [backup-simplify]: Simplify (exp 0) into 1 2.674 * [backup-simplify]: Simplify 1 into 1 2.674 * [backup-simplify]: Simplify 0 into 0 2.675 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 2.676 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.676 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (pow y 2))))) into 0 2.676 * [taylor]: Taking taylor expansion of 0 in y 2.676 * [backup-simplify]: Simplify 0 into 0 2.676 * [backup-simplify]: Simplify 0 into 0 2.677 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 2.677 * [backup-simplify]: Simplify 0 into 0 2.677 * [backup-simplify]: Simplify 0 into 0 2.678 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 2.679 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 2.679 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (pow y 2)))))) into 0 2.679 * [taylor]: Taking taylor expansion of 0 in y 2.679 * [backup-simplify]: Simplify 0 into 0 2.679 * [backup-simplify]: Simplify 0 into 0 2.679 * [backup-simplify]: Simplify 0 into 0 2.679 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x 2.680 * [backup-simplify]: Simplify (* (/ 1 x) (exp (* (/ 1 y) (/ 1 y)))) into (/ (exp (/ 1 (pow y 2))) x) 2.680 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in (x y) around 0 2.680 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 2.680 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.680 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.680 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.680 * [taylor]: Taking taylor expansion of y in y 2.680 * [backup-simplify]: Simplify 0 into 0 2.680 * [backup-simplify]: Simplify 1 into 1 2.680 * [backup-simplify]: Simplify (* 1 1) into 1 2.680 * [backup-simplify]: Simplify (/ 1 1) into 1 2.680 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.680 * [taylor]: Taking taylor expansion of x in y 2.680 * [backup-simplify]: Simplify x into x 2.680 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 2.680 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 2.680 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 2.680 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.680 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.680 * [taylor]: Taking taylor expansion of y in x 2.680 * [backup-simplify]: Simplify y into y 2.680 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.681 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 2.681 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.681 * [taylor]: Taking taylor expansion of x in x 2.681 * [backup-simplify]: Simplify 0 into 0 2.681 * [backup-simplify]: Simplify 1 into 1 2.681 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 2.681 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 2.681 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 2.681 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.681 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.681 * [taylor]: Taking taylor expansion of y in x 2.681 * [backup-simplify]: Simplify y into y 2.681 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.681 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 2.681 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.681 * [taylor]: Taking taylor expansion of x in x 2.681 * [backup-simplify]: Simplify 0 into 0 2.681 * [backup-simplify]: Simplify 1 into 1 2.681 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 2.681 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.681 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.681 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.681 * [taylor]: Taking taylor expansion of y in y 2.681 * [backup-simplify]: Simplify 0 into 0 2.681 * [backup-simplify]: Simplify 1 into 1 2.682 * [backup-simplify]: Simplify (* 1 1) into 1 2.682 * [backup-simplify]: Simplify (/ 1 1) into 1 2.682 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.682 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.682 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.682 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 2.683 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 2.683 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 2.683 * [taylor]: Taking taylor expansion of 0 in y 2.683 * [backup-simplify]: Simplify 0 into 0 2.683 * [backup-simplify]: Simplify 0 into 0 2.683 * [backup-simplify]: Simplify 0 into 0 2.684 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 2.684 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 2.685 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.686 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.686 * [taylor]: Taking taylor expansion of 0 in y 2.686 * [backup-simplify]: Simplify 0 into 0 2.686 * [backup-simplify]: Simplify 0 into 0 2.686 * [backup-simplify]: Simplify 0 into 0 2.686 * [backup-simplify]: Simplify 0 into 0 2.686 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 2.687 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 2.687 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 2.689 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.689 * [taylor]: Taking taylor expansion of 0 in y 2.689 * [backup-simplify]: Simplify 0 into 0 2.689 * [backup-simplify]: Simplify 0 into 0 2.689 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 y) 2))) (* 1 (/ 1 (/ 1 x)))) into (* x (exp (pow y 2))) 2.689 * [backup-simplify]: Simplify (* (/ 1 (- x)) (exp (* (/ 1 (- y)) (/ 1 (- y))))) into (* -1 (/ (exp (/ 1 (pow y 2))) x)) 2.689 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in (x y) around 0 2.689 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in y 2.689 * [taylor]: Taking taylor expansion of -1 in y 2.689 * [backup-simplify]: Simplify -1 into -1 2.689 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 2.689 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.689 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.689 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.689 * [taylor]: Taking taylor expansion of y in y 2.689 * [backup-simplify]: Simplify 0 into 0 2.689 * [backup-simplify]: Simplify 1 into 1 2.689 * [backup-simplify]: Simplify (* 1 1) into 1 2.690 * [backup-simplify]: Simplify (/ 1 1) into 1 2.690 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.690 * [taylor]: Taking taylor expansion of x in y 2.690 * [backup-simplify]: Simplify x into x 2.690 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 2.690 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 2.690 * [taylor]: Taking taylor expansion of -1 in x 2.690 * [backup-simplify]: Simplify -1 into -1 2.690 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 2.690 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 2.690 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.690 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.690 * [taylor]: Taking taylor expansion of y in x 2.690 * [backup-simplify]: Simplify y into y 2.690 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.690 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 2.690 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.690 * [taylor]: Taking taylor expansion of x in x 2.690 * [backup-simplify]: Simplify 0 into 0 2.690 * [backup-simplify]: Simplify 1 into 1 2.690 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 2.690 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 2.690 * [taylor]: Taking taylor expansion of -1 in x 2.690 * [backup-simplify]: Simplify -1 into -1 2.690 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 2.690 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 2.690 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.690 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.690 * [taylor]: Taking taylor expansion of y in x 2.690 * [backup-simplify]: Simplify y into y 2.691 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.691 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 2.691 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.691 * [taylor]: Taking taylor expansion of x in x 2.691 * [backup-simplify]: Simplify 0 into 0 2.691 * [backup-simplify]: Simplify 1 into 1 2.691 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 2.691 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 2.691 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 2.691 * [taylor]: Taking taylor expansion of -1 in y 2.691 * [backup-simplify]: Simplify -1 into -1 2.691 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.691 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.691 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.691 * [taylor]: Taking taylor expansion of y in y 2.691 * [backup-simplify]: Simplify 0 into 0 2.691 * [backup-simplify]: Simplify 1 into 1 2.691 * [backup-simplify]: Simplify (* 1 1) into 1 2.692 * [backup-simplify]: Simplify (/ 1 1) into 1 2.692 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.692 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 2.692 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 2.692 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.692 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 2.693 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 2.693 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 2.694 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 2.694 * [taylor]: Taking taylor expansion of 0 in y 2.694 * [backup-simplify]: Simplify 0 into 0 2.694 * [backup-simplify]: Simplify 0 into 0 2.694 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 2.694 * [backup-simplify]: Simplify 0 into 0 2.694 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 2.694 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 2.695 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.696 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.697 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 2.697 * [taylor]: Taking taylor expansion of 0 in y 2.697 * [backup-simplify]: Simplify 0 into 0 2.697 * [backup-simplify]: Simplify 0 into 0 2.697 * [backup-simplify]: Simplify 0 into 0 2.697 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 2.697 * [backup-simplify]: Simplify 0 into 0 2.698 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 2.698 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 2.699 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 2.700 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.701 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2))))))) into 0 2.701 * [taylor]: Taking taylor expansion of 0 in y 2.701 * [backup-simplify]: Simplify 0 into 0 2.701 * [backup-simplify]: Simplify 0 into 0 2.701 * [backup-simplify]: Simplify (* (* -1 (exp (/ 1 (pow (/ 1 (- y)) 2)))) (* 1 (/ 1 (/ 1 (- x))))) into (* x (exp (pow y 2))) 2.701 * * * [progress]: simplifying candidates 2.701 * * * * [progress]: [ 1 / 22 ] simplifiying candidate # 2.701 * * * * [progress]: [ 2 / 22 ] simplifiying candidate # 2.702 * * * * [progress]: [ 3 / 22 ] simplifiying candidate # 2.702 * * * * [progress]: [ 4 / 22 ] simplifiying candidate # 2.702 * * * * [progress]: [ 5 / 22 ] simplifiying candidate # 2.702 * * * * [progress]: [ 6 / 22 ] simplifiying candidate # 2.702 * * * * [progress]: [ 7 / 22 ] simplifiying candidate # 2.702 * * * * [progress]: [ 8 / 22 ] simplifiying candidate # 2.702 * * * * [progress]: [ 9 / 22 ] simplifiying candidate # 2.702 * * * * [progress]: [ 10 / 22 ] simplifiying candidate # 2.702 * * * * [progress]: [ 11 / 22 ] simplifiying candidate # 2.702 * * * * [progress]: [ 12 / 22 ] simplifiying candidate # 2.702 * * * * [progress]: [ 13 / 22 ] simplifiying candidate # 2.702 * * * * [progress]: [ 14 / 22 ] simplifiying candidate # 2.702 * * * * [progress]: [ 15 / 22 ] simplifiying candidate # 2.702 * * * * [progress]: [ 16 / 22 ] simplifiying candidate # 2.702 * * * * [progress]: [ 17 / 22 ] simplifiying candidate # 2.702 * * * * [progress]: [ 18 / 22 ] simplifiying candidate #real (real->posit16 (* x (exp (* y y))))))> 2.702 * * * * [progress]: [ 19 / 22 ] simplifiying candidate # 2.702 * * * * [progress]: [ 20 / 22 ] simplifiying candidate # 2.702 * * * * [progress]: [ 21 / 22 ] simplifiying candidate # 2.702 * * * * [progress]: [ 22 / 22 ] simplifiying candidate # 2.702 * [simplify]: Simplifying: (* x (exp (* y y))) (+ (log x) (* y y)) (log (* x (exp (* y y)))) (exp (* x (exp (* y y)))) (* (* (* x x) x) (* (* (exp (* y y)) (exp (* y y))) (exp (* y y)))) (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y)))) (* (* (* x (exp (* y y))) (* x (exp (* y y)))) (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* x (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))) (* x (sqrt (exp (* y y)))) (* x 1) (* (cbrt x) (exp (* y y))) (* (sqrt x) (exp (* y y))) (* x (exp (* y y))) (real->posit16 (* x (exp (* y y)))) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) 2.703 * * [simplify]: iteration 0: 36 enodes 2.711 * * [simplify]: iteration 1: 84 enodes 2.726 * * [simplify]: iteration 2: 207 enodes 2.801 * * [simplify]: iteration 3: 660 enodes 3.210 * * [simplify]: iteration 4: 1862 enodes 3.968 * * [simplify]: iteration complete: 5001 enodes 3.968 * * [simplify]: Extracting #0: cost 14 inf + 0 3.969 * * [simplify]: Extracting #1: cost 275 inf + 1 3.973 * * [simplify]: Extracting #2: cost 1219 inf + 674 3.978 * * [simplify]: Extracting #3: cost 1469 inf + 2380 3.988 * * [simplify]: Extracting #4: cost 1244 inf + 91252 4.039 * * [simplify]: Extracting #5: cost 541 inf + 435290 4.137 * * [simplify]: Extracting #6: cost 51 inf + 653396 4.252 * * [simplify]: Extracting #7: cost 0 inf + 641238 4.369 * * [simplify]: Extracting #8: cost 0 inf + 632753 4.481 * * [simplify]: Extracting #9: cost 0 inf + 632723 4.599 * [simplify]: Simplified to: (* x (exp (* y y))) (+ (* y y) (log x)) (+ (* y y) (log x)) (exp (* x (exp (* y y)))) (* (* (* x (exp (* y y))) (* x (exp (* y y)))) (* x (exp (* y y)))) (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y)))) (* (* (* x (exp (* y y))) (* x (exp (* y y)))) (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* (cbrt (exp (* y y))) (* (cbrt (exp (* y y))) x)) (* x (sqrt (exp (* y y)))) x (* (cbrt x) (exp (* y y))) (* (sqrt x) (exp (* y y))) (* x (exp (* y y))) (real->posit16 (* x (exp (* y y)))) x (* x (exp (* y y))) (* x (exp (* y y))) 4.600 * * * [progress]: adding candidates to table 4.670 * * [progress]: iteration 2 / 4 4.670 * * * [progress]: picking best candidate 4.673 * * * * [pick]: Picked # 4.673 * * * [progress]: localizing error 4.691 * * * [progress]: generating rewritten candidates 4.691 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 4.746 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 4.773 * * * [progress]: generating series expansions 4.773 * * * * [progress]: [ 1 / 2 ] generating series at (2) 4.773 * [backup-simplify]: Simplify (* (sqrt x) (* (sqrt x) (exp (* y y)))) into (* x (exp (pow y 2))) 4.774 * [approximate]: Taking taylor expansion of (* x (exp (pow y 2))) in (x y) around 0 4.774 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y 4.774 * [taylor]: Taking taylor expansion of x in y 4.774 * [backup-simplify]: Simplify x into x 4.774 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 4.774 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.774 * [taylor]: Taking taylor expansion of y in y 4.774 * [backup-simplify]: Simplify 0 into 0 4.774 * [backup-simplify]: Simplify 1 into 1 4.774 * [backup-simplify]: Simplify (* 1 1) into 1 4.774 * [backup-simplify]: Simplify (exp 0) into 1 4.774 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 4.774 * [taylor]: Taking taylor expansion of x in x 4.774 * [backup-simplify]: Simplify 0 into 0 4.774 * [backup-simplify]: Simplify 1 into 1 4.774 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 4.774 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.774 * [taylor]: Taking taylor expansion of y in x 4.774 * [backup-simplify]: Simplify y into y 4.774 * [backup-simplify]: Simplify (* y y) into (pow y 2) 4.774 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 4.774 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 4.774 * [taylor]: Taking taylor expansion of x in x 4.774 * [backup-simplify]: Simplify 0 into 0 4.774 * [backup-simplify]: Simplify 1 into 1 4.774 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 4.774 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.775 * [taylor]: Taking taylor expansion of y in x 4.775 * [backup-simplify]: Simplify y into y 4.775 * [backup-simplify]: Simplify (* y y) into (pow y 2) 4.775 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 4.775 * [backup-simplify]: Simplify (* 0 (exp (pow y 2))) into 0 4.775 * [taylor]: Taking taylor expansion of 0 in y 4.775 * [backup-simplify]: Simplify 0 into 0 4.775 * [backup-simplify]: Simplify 0 into 0 4.775 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 4.775 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0 4.776 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (pow y 2)))) into (exp (pow y 2)) 4.776 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 4.776 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.776 * [taylor]: Taking taylor expansion of y in y 4.776 * [backup-simplify]: Simplify 0 into 0 4.776 * [backup-simplify]: Simplify 1 into 1 4.776 * [backup-simplify]: Simplify (* 1 1) into 1 4.776 * [backup-simplify]: Simplify (exp 0) into 1 4.776 * [backup-simplify]: Simplify 1 into 1 4.776 * [backup-simplify]: Simplify 0 into 0 4.776 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 4.777 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.778 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (pow y 2))))) into 0 4.778 * [taylor]: Taking taylor expansion of 0 in y 4.778 * [backup-simplify]: Simplify 0 into 0 4.778 * [backup-simplify]: Simplify 0 into 0 4.778 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 4.778 * [backup-simplify]: Simplify 0 into 0 4.779 * [backup-simplify]: Simplify 0 into 0 4.779 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 4.780 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.781 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (pow y 2)))))) into 0 4.781 * [taylor]: Taking taylor expansion of 0 in y 4.781 * [backup-simplify]: Simplify 0 into 0 4.781 * [backup-simplify]: Simplify 0 into 0 4.781 * [backup-simplify]: Simplify 0 into 0 4.781 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x 4.781 * [backup-simplify]: Simplify (* (sqrt (/ 1 x)) (* (sqrt (/ 1 x)) (exp (* (/ 1 y) (/ 1 y))))) into (/ (exp (/ 1 (pow y 2))) x) 4.781 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in (x y) around 0 4.781 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 4.781 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.781 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.781 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.781 * [taylor]: Taking taylor expansion of y in y 4.781 * [backup-simplify]: Simplify 0 into 0 4.781 * [backup-simplify]: Simplify 1 into 1 4.781 * [backup-simplify]: Simplify (* 1 1) into 1 4.782 * [backup-simplify]: Simplify (/ 1 1) into 1 4.782 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.782 * [taylor]: Taking taylor expansion of x in y 4.782 * [backup-simplify]: Simplify x into x 4.782 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 4.782 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 4.782 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 4.782 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 4.782 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.782 * [taylor]: Taking taylor expansion of y in x 4.782 * [backup-simplify]: Simplify y into y 4.782 * [backup-simplify]: Simplify (* y y) into (pow y 2) 4.782 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 4.782 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.782 * [taylor]: Taking taylor expansion of x in x 4.782 * [backup-simplify]: Simplify 0 into 0 4.782 * [backup-simplify]: Simplify 1 into 1 4.782 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 4.782 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 4.782 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 4.782 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 4.782 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.782 * [taylor]: Taking taylor expansion of y in x 4.782 * [backup-simplify]: Simplify y into y 4.782 * [backup-simplify]: Simplify (* y y) into (pow y 2) 4.782 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 4.783 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.783 * [taylor]: Taking taylor expansion of x in x 4.783 * [backup-simplify]: Simplify 0 into 0 4.783 * [backup-simplify]: Simplify 1 into 1 4.783 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 4.783 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.783 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.783 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.783 * [taylor]: Taking taylor expansion of y in y 4.783 * [backup-simplify]: Simplify 0 into 0 4.783 * [backup-simplify]: Simplify 1 into 1 4.783 * [backup-simplify]: Simplify (* 1 1) into 1 4.783 * [backup-simplify]: Simplify (/ 1 1) into 1 4.783 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.784 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.784 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 4.784 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 4.784 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 4.787 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 4.787 * [taylor]: Taking taylor expansion of 0 in y 4.787 * [backup-simplify]: Simplify 0 into 0 4.787 * [backup-simplify]: Simplify 0 into 0 4.787 * [backup-simplify]: Simplify 0 into 0 4.787 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 4.787 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 4.788 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.789 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.789 * [taylor]: Taking taylor expansion of 0 in y 4.789 * [backup-simplify]: Simplify 0 into 0 4.789 * [backup-simplify]: Simplify 0 into 0 4.789 * [backup-simplify]: Simplify 0 into 0 4.789 * [backup-simplify]: Simplify 0 into 0 4.789 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 4.790 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 4.791 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.792 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.792 * [taylor]: Taking taylor expansion of 0 in y 4.792 * [backup-simplify]: Simplify 0 into 0 4.792 * [backup-simplify]: Simplify 0 into 0 4.792 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 y) 2))) (* 1 (/ 1 (/ 1 x)))) into (* x (exp (pow y 2))) 4.792 * [backup-simplify]: Simplify (* (sqrt (/ 1 (- x))) (* (sqrt (/ 1 (- x))) (exp (* (/ 1 (- y)) (/ 1 (- y)))))) into (* (exp (/ 1 (pow y 2))) (pow (sqrt (/ -1 x)) 2)) 4.792 * [approximate]: Taking taylor expansion of (* (exp (/ 1 (pow y 2))) (pow (sqrt (/ -1 x)) 2)) in (x y) around 0 4.792 * [taylor]: Taking taylor expansion of (* (exp (/ 1 (pow y 2))) (pow (sqrt (/ -1 x)) 2)) in y 4.792 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.792 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.792 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.792 * [taylor]: Taking taylor expansion of y in y 4.792 * [backup-simplify]: Simplify 0 into 0 4.792 * [backup-simplify]: Simplify 1 into 1 4.793 * [backup-simplify]: Simplify (* 1 1) into 1 4.793 * [backup-simplify]: Simplify (/ 1 1) into 1 4.793 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.793 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in y 4.793 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 4.793 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.793 * [taylor]: Taking taylor expansion of -1 in y 4.793 * [backup-simplify]: Simplify -1 into -1 4.793 * [taylor]: Taking taylor expansion of x in y 4.793 * [backup-simplify]: Simplify x into x 4.793 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 4.793 * [backup-simplify]: Simplify (sqrt (/ -1 x)) into (sqrt (/ -1 x)) 4.793 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 4.793 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 x)))) into 0 4.793 * [taylor]: Taking taylor expansion of (* (exp (/ 1 (pow y 2))) (pow (sqrt (/ -1 x)) 2)) in x 4.793 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 4.793 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 4.793 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.793 * [taylor]: Taking taylor expansion of y in x 4.793 * [backup-simplify]: Simplify y into y 4.793 * [backup-simplify]: Simplify (* y y) into (pow y 2) 4.794 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 4.794 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.794 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x 4.794 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 4.794 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.794 * [taylor]: Taking taylor expansion of -1 in x 4.794 * [backup-simplify]: Simplify -1 into -1 4.794 * [taylor]: Taking taylor expansion of x in x 4.794 * [backup-simplify]: Simplify 0 into 0 4.794 * [backup-simplify]: Simplify 1 into 1 4.794 * [backup-simplify]: Simplify (/ -1 1) into -1 4.794 * [backup-simplify]: Simplify (sqrt 0) into 0 4.795 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 4.795 * [taylor]: Taking taylor expansion of (* (exp (/ 1 (pow y 2))) (pow (sqrt (/ -1 x)) 2)) in x 4.795 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 4.795 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 4.795 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.795 * [taylor]: Taking taylor expansion of y in x 4.795 * [backup-simplify]: Simplify y into y 4.795 * [backup-simplify]: Simplify (* y y) into (pow y 2) 4.795 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 4.795 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.795 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x 4.796 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 4.796 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.796 * [taylor]: Taking taylor expansion of -1 in x 4.796 * [backup-simplify]: Simplify -1 into -1 4.796 * [taylor]: Taking taylor expansion of x in x 4.796 * [backup-simplify]: Simplify 0 into 0 4.796 * [backup-simplify]: Simplify 1 into 1 4.796 * [backup-simplify]: Simplify (/ -1 1) into -1 4.796 * [backup-simplify]: Simplify (sqrt 0) into 0 4.797 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 4.797 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0 4.797 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) +nan.0) into (* +nan.0 (exp (/ 1 (pow y 2)))) 4.798 * [taylor]: Taking taylor expansion of (* +nan.0 (exp (/ 1 (pow y 2)))) in y 4.798 * [taylor]: Taking taylor expansion of +nan.0 in y 4.798 * [backup-simplify]: Simplify +nan.0 into +nan.0 4.798 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.798 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.798 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.798 * [taylor]: Taking taylor expansion of y in y 4.798 * [backup-simplify]: Simplify 0 into 0 4.798 * [backup-simplify]: Simplify 1 into 1 4.798 * [backup-simplify]: Simplify (* 1 1) into 1 4.798 * [backup-simplify]: Simplify (/ 1 1) into 1 4.798 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.798 * [backup-simplify]: Simplify (* +nan.0 (exp (/ 1 (pow y 2)))) into (* +nan.0 (exp (/ 1 (pow y 2)))) 4.798 * [backup-simplify]: Simplify (* +nan.0 (exp (/ 1 (pow y 2)))) into (* +nan.0 (exp (/ 1 (pow y 2)))) 4.799 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 4.801 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 4.801 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0)) into (- +nan.0) 4.802 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 4.802 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 4.802 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 4.803 * [backup-simplify]: Simplify (+ (* (exp (/ 1 (pow y 2))) (- +nan.0)) (* 0 +nan.0)) into (- (* +nan.0 (exp (/ 1 (pow y 2))))) 4.803 * [taylor]: Taking taylor expansion of (- (* +nan.0 (exp (/ 1 (pow y 2))))) in y 4.803 * [taylor]: Taking taylor expansion of (* +nan.0 (exp (/ 1 (pow y 2)))) in y 4.803 * [taylor]: Taking taylor expansion of +nan.0 in y 4.803 * [backup-simplify]: Simplify +nan.0 into +nan.0 4.803 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.803 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.803 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.803 * [taylor]: Taking taylor expansion of y in y 4.803 * [backup-simplify]: Simplify 0 into 0 4.803 * [backup-simplify]: Simplify 1 into 1 4.803 * [backup-simplify]: Simplify (* 1 1) into 1 4.803 * [backup-simplify]: Simplify (/ 1 1) into 1 4.804 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.804 * [backup-simplify]: Simplify (* +nan.0 (exp (/ 1 (pow y 2)))) into (* +nan.0 (exp (/ 1 (pow y 2)))) 4.804 * [backup-simplify]: Simplify (- (* +nan.0 (exp (/ 1 (pow y 2))))) into (- (* +nan.0 (exp (/ 1 (pow y 2))))) 4.804 * [backup-simplify]: Simplify (- (* +nan.0 (exp (/ 1 (pow y 2))))) into (- (* +nan.0 (exp (/ 1 (pow y 2))))) 4.804 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 4.804 * [backup-simplify]: Simplify 0 into 0 4.805 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.807 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 4.808 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0))) into (- +nan.0) 4.809 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 4.809 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 4.810 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.811 * [backup-simplify]: Simplify (+ (* (exp (/ 1 (pow y 2))) (- +nan.0)) (+ (* 0 (- +nan.0)) (* 0 +nan.0))) into (- (* +nan.0 (exp (/ 1 (pow y 2))))) 4.811 * [taylor]: Taking taylor expansion of (- (* +nan.0 (exp (/ 1 (pow y 2))))) in y 4.811 * [taylor]: Taking taylor expansion of (* +nan.0 (exp (/ 1 (pow y 2)))) in y 4.811 * [taylor]: Taking taylor expansion of +nan.0 in y 4.811 * [backup-simplify]: Simplify +nan.0 into +nan.0 4.811 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.811 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.811 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.811 * [taylor]: Taking taylor expansion of y in y 4.811 * [backup-simplify]: Simplify 0 into 0 4.811 * [backup-simplify]: Simplify 1 into 1 4.812 * [backup-simplify]: Simplify (* 1 1) into 1 4.812 * [backup-simplify]: Simplify (/ 1 1) into 1 4.812 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.812 * [backup-simplify]: Simplify (* +nan.0 (exp (/ 1 (pow y 2)))) into (* +nan.0 (exp (/ 1 (pow y 2)))) 4.812 * [backup-simplify]: Simplify (- (* +nan.0 (exp (/ 1 (pow y 2))))) into (- (* +nan.0 (exp (/ 1 (pow y 2))))) 4.812 * [backup-simplify]: Simplify (- (* +nan.0 (exp (/ 1 (pow y 2))))) into (- (* +nan.0 (exp (/ 1 (pow y 2))))) 4.813 * [backup-simplify]: Simplify (+ (* (- (* +nan.0 (exp (/ 1 (pow (/ 1 (- y)) 2))))) (pow (* 1 (/ 1 (- x))) 2)) (+ (* (- (* +nan.0 (exp (/ 1 (pow (/ 1 (- y)) 2))))) (* 1 (/ 1 (- x)))) (* +nan.0 (exp (/ 1 (pow (/ 1 (- y)) 2)))))) into (- (+ (* +nan.0 (/ (exp (pow y 2)) (pow x 2))) (- (+ (* +nan.0 (/ (exp (pow y 2)) x)) (- (* +nan.0 (exp (pow y 2)))))))) 4.813 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 4.813 * [backup-simplify]: Simplify (* (sqrt x) (exp (* y y))) into (* (sqrt x) (exp (pow y 2))) 4.813 * [approximate]: Taking taylor expansion of (* (sqrt x) (exp (pow y 2))) in (x y) around 0 4.813 * [taylor]: Taking taylor expansion of (* (sqrt x) (exp (pow y 2))) in y 4.813 * [taylor]: Taking taylor expansion of (sqrt x) in y 4.813 * [taylor]: Taking taylor expansion of x in y 4.814 * [backup-simplify]: Simplify x into x 4.814 * [backup-simplify]: Simplify (sqrt x) into (sqrt x) 4.814 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt x))) into 0 4.814 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 4.814 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.814 * [taylor]: Taking taylor expansion of y in y 4.814 * [backup-simplify]: Simplify 0 into 0 4.814 * [backup-simplify]: Simplify 1 into 1 4.814 * [backup-simplify]: Simplify (* 1 1) into 1 4.814 * [backup-simplify]: Simplify (exp 0) into 1 4.814 * [taylor]: Taking taylor expansion of (* (sqrt x) (exp (pow y 2))) in x 4.814 * [taylor]: Taking taylor expansion of (sqrt x) in x 4.814 * [taylor]: Taking taylor expansion of x in x 4.814 * [backup-simplify]: Simplify 0 into 0 4.814 * [backup-simplify]: Simplify 1 into 1 4.815 * [backup-simplify]: Simplify (sqrt 0) into 0 4.816 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 4.816 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 4.816 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.816 * [taylor]: Taking taylor expansion of y in x 4.816 * [backup-simplify]: Simplify y into y 4.816 * [backup-simplify]: Simplify (* y y) into (pow y 2) 4.816 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 4.816 * [taylor]: Taking taylor expansion of (* (sqrt x) (exp (pow y 2))) in x 4.816 * [taylor]: Taking taylor expansion of (sqrt x) in x 4.816 * [taylor]: Taking taylor expansion of x in x 4.816 * [backup-simplify]: Simplify 0 into 0 4.816 * [backup-simplify]: Simplify 1 into 1 4.816 * [backup-simplify]: Simplify (sqrt 0) into 0 4.817 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 4.817 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 4.817 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.817 * [taylor]: Taking taylor expansion of y in x 4.817 * [backup-simplify]: Simplify y into y 4.818 * [backup-simplify]: Simplify (* y y) into (pow y 2) 4.818 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 4.818 * [backup-simplify]: Simplify (* 0 (exp (pow y 2))) into 0 4.818 * [taylor]: Taking taylor expansion of 0 in y 4.818 * [backup-simplify]: Simplify 0 into 0 4.818 * [backup-simplify]: Simplify 0 into 0 4.818 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 4.819 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0 4.819 * [backup-simplify]: Simplify (+ (* 0 0) (* +nan.0 (exp (pow y 2)))) into (- (* +nan.0 (exp (pow y 2)))) 4.819 * [taylor]: Taking taylor expansion of (- (* +nan.0 (exp (pow y 2)))) in y 4.819 * [taylor]: Taking taylor expansion of (* +nan.0 (exp (pow y 2))) in y 4.819 * [taylor]: Taking taylor expansion of +nan.0 in y 4.819 * [backup-simplify]: Simplify +nan.0 into +nan.0 4.819 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 4.819 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.819 * [taylor]: Taking taylor expansion of y in y 4.819 * [backup-simplify]: Simplify 0 into 0 4.819 * [backup-simplify]: Simplify 1 into 1 4.820 * [backup-simplify]: Simplify (* 1 1) into 1 4.820 * [backup-simplify]: Simplify (exp 0) into 1 4.820 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 4.820 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 4.820 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 4.820 * [backup-simplify]: Simplify 0 into 0 4.821 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 4.822 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.823 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 4.824 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 0) (* +nan.0 (exp (pow y 2))))) into (- (* +nan.0 (exp (pow y 2)))) 4.824 * [taylor]: Taking taylor expansion of (- (* +nan.0 (exp (pow y 2)))) in y 4.824 * [taylor]: Taking taylor expansion of (* +nan.0 (exp (pow y 2))) in y 4.824 * [taylor]: Taking taylor expansion of +nan.0 in y 4.824 * [backup-simplify]: Simplify +nan.0 into +nan.0 4.824 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 4.824 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.824 * [taylor]: Taking taylor expansion of y in y 4.824 * [backup-simplify]: Simplify 0 into 0 4.824 * [backup-simplify]: Simplify 1 into 1 4.824 * [backup-simplify]: Simplify (* 1 1) into 1 4.824 * [backup-simplify]: Simplify (exp 0) into 1 4.825 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 4.825 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 4.825 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 4.826 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 4.826 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 4.826 * [backup-simplify]: Simplify (- 0) into 0 4.826 * [backup-simplify]: Simplify 0 into 0 4.826 * [backup-simplify]: Simplify 0 into 0 4.827 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 4.828 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.830 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 4.831 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 0) (+ (* +nan.0 0) (* +nan.0 (exp (pow y 2)))))) into (- (* +nan.0 (exp (pow y 2)))) 4.831 * [taylor]: Taking taylor expansion of (- (* +nan.0 (exp (pow y 2)))) in y 4.831 * [taylor]: Taking taylor expansion of (* +nan.0 (exp (pow y 2))) in y 4.831 * [taylor]: Taking taylor expansion of +nan.0 in y 4.831 * [backup-simplify]: Simplify +nan.0 into +nan.0 4.831 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 4.831 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.831 * [taylor]: Taking taylor expansion of y in y 4.831 * [backup-simplify]: Simplify 0 into 0 4.831 * [backup-simplify]: Simplify 1 into 1 4.831 * [backup-simplify]: Simplify (* 1 1) into 1 4.831 * [backup-simplify]: Simplify (exp 0) into 1 4.832 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 4.832 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 4.832 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 4.833 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (* 1 x) 3)) (+ (* (- +nan.0) (pow (* 1 x) 2)) (* (- +nan.0) (* 1 x)))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2))))))) 4.833 * [backup-simplify]: Simplify (* (sqrt (/ 1 x)) (exp (* (/ 1 y) (/ 1 y)))) into (* (sqrt (/ 1 x)) (exp (/ 1 (pow y 2)))) 4.833 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (exp (/ 1 (pow y 2)))) in (x y) around 0 4.833 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (exp (/ 1 (pow y 2)))) in y 4.833 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 4.833 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.833 * [taylor]: Taking taylor expansion of x in y 4.833 * [backup-simplify]: Simplify x into x 4.833 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.833 * [backup-simplify]: Simplify (sqrt (/ 1 x)) into (sqrt (/ 1 x)) 4.833 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 4.833 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 x)))) into 0 4.833 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.833 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.834 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.834 * [taylor]: Taking taylor expansion of y in y 4.834 * [backup-simplify]: Simplify 0 into 0 4.834 * [backup-simplify]: Simplify 1 into 1 4.834 * [backup-simplify]: Simplify (* 1 1) into 1 4.834 * [backup-simplify]: Simplify (/ 1 1) into 1 4.834 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.834 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (exp (/ 1 (pow y 2)))) in x 4.834 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 4.834 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.834 * [taylor]: Taking taylor expansion of x in x 4.834 * [backup-simplify]: Simplify 0 into 0 4.834 * [backup-simplify]: Simplify 1 into 1 4.834 * [backup-simplify]: Simplify (/ 1 1) into 1 4.835 * [backup-simplify]: Simplify (sqrt 0) into 0 4.835 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 4.836 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 4.836 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 4.836 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.836 * [taylor]: Taking taylor expansion of y in x 4.836 * [backup-simplify]: Simplify y into y 4.836 * [backup-simplify]: Simplify (* y y) into (pow y 2) 4.836 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 4.836 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.836 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (exp (/ 1 (pow y 2)))) in x 4.836 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 4.836 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.836 * [taylor]: Taking taylor expansion of x in x 4.836 * [backup-simplify]: Simplify 0 into 0 4.836 * [backup-simplify]: Simplify 1 into 1 4.836 * [backup-simplify]: Simplify (/ 1 1) into 1 4.836 * [backup-simplify]: Simplify (sqrt 0) into 0 4.837 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 4.837 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 4.837 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 4.837 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.837 * [taylor]: Taking taylor expansion of y in x 4.837 * [backup-simplify]: Simplify y into y 4.837 * [backup-simplify]: Simplify (* y y) into (pow y 2) 4.837 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 4.837 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.838 * [backup-simplify]: Simplify (* 0 (exp (/ 1 (pow y 2)))) into 0 4.838 * [taylor]: Taking taylor expansion of 0 in y 4.838 * [backup-simplify]: Simplify 0 into 0 4.838 * [backup-simplify]: Simplify 0 into 0 4.838 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 4.838 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 4.838 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 4.839 * [backup-simplify]: Simplify (+ (* 0 0) (* +nan.0 (exp (/ 1 (pow y 2))))) into (- (* +nan.0 (exp (/ 1 (pow y 2))))) 4.839 * [taylor]: Taking taylor expansion of (- (* +nan.0 (exp (/ 1 (pow y 2))))) in y 4.839 * [taylor]: Taking taylor expansion of (* +nan.0 (exp (/ 1 (pow y 2)))) in y 4.839 * [taylor]: Taking taylor expansion of +nan.0 in y 4.839 * [backup-simplify]: Simplify +nan.0 into +nan.0 4.839 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.839 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.839 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.839 * [taylor]: Taking taylor expansion of y in y 4.839 * [backup-simplify]: Simplify 0 into 0 4.839 * [backup-simplify]: Simplify 1 into 1 4.839 * [backup-simplify]: Simplify (* 1 1) into 1 4.839 * [backup-simplify]: Simplify (/ 1 1) into 1 4.839 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.839 * [backup-simplify]: Simplify (* +nan.0 (exp (/ 1 (pow y 2)))) into (* +nan.0 (exp (/ 1 (pow y 2)))) 4.840 * [backup-simplify]: Simplify (- (* +nan.0 (exp (/ 1 (pow y 2))))) into (- (* +nan.0 (exp (/ 1 (pow y 2))))) 4.840 * [backup-simplify]: Simplify (- (* +nan.0 (exp (/ 1 (pow y 2))))) into (- (* +nan.0 (exp (/ 1 (pow y 2))))) 4.840 * [backup-simplify]: Simplify 0 into 0 4.840 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 4.840 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 4.841 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.842 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.844 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 4.844 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 0) (* +nan.0 (exp (/ 1 (pow y 2)))))) into (- (* +nan.0 (exp (/ 1 (pow y 2))))) 4.844 * [taylor]: Taking taylor expansion of (- (* +nan.0 (exp (/ 1 (pow y 2))))) in y 4.844 * [taylor]: Taking taylor expansion of (* +nan.0 (exp (/ 1 (pow y 2)))) in y 4.844 * [taylor]: Taking taylor expansion of +nan.0 in y 4.844 * [backup-simplify]: Simplify +nan.0 into +nan.0 4.844 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.844 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.844 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.844 * [taylor]: Taking taylor expansion of y in y 4.845 * [backup-simplify]: Simplify 0 into 0 4.845 * [backup-simplify]: Simplify 1 into 1 4.845 * [backup-simplify]: Simplify (* 1 1) into 1 4.845 * [backup-simplify]: Simplify (/ 1 1) into 1 4.845 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.845 * [backup-simplify]: Simplify (* +nan.0 (exp (/ 1 (pow y 2)))) into (* +nan.0 (exp (/ 1 (pow y 2)))) 4.845 * [backup-simplify]: Simplify (- (* +nan.0 (exp (/ 1 (pow y 2))))) into (- (* +nan.0 (exp (/ 1 (pow y 2))))) 4.845 * [backup-simplify]: Simplify (- (* +nan.0 (exp (/ 1 (pow y 2))))) into (- (* +nan.0 (exp (/ 1 (pow y 2))))) 4.846 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 4.846 * [backup-simplify]: Simplify (- 0) into 0 4.846 * [backup-simplify]: Simplify 0 into 0 4.846 * [backup-simplify]: Simplify 0 into 0 4.847 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 4.847 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 4.848 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.849 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.852 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 4.854 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 0) (+ (* +nan.0 0) (* +nan.0 (exp (/ 1 (pow y 2))))))) into (- (* +nan.0 (exp (/ 1 (pow y 2))))) 4.854 * [taylor]: Taking taylor expansion of (- (* +nan.0 (exp (/ 1 (pow y 2))))) in y 4.854 * [taylor]: Taking taylor expansion of (* +nan.0 (exp (/ 1 (pow y 2)))) in y 4.854 * [taylor]: Taking taylor expansion of +nan.0 in y 4.854 * [backup-simplify]: Simplify +nan.0 into +nan.0 4.854 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.854 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.854 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.854 * [taylor]: Taking taylor expansion of y in y 4.854 * [backup-simplify]: Simplify 0 into 0 4.854 * [backup-simplify]: Simplify 1 into 1 4.854 * [backup-simplify]: Simplify (* 1 1) into 1 4.854 * [backup-simplify]: Simplify (/ 1 1) into 1 4.855 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.855 * [backup-simplify]: Simplify (* +nan.0 (exp (/ 1 (pow y 2)))) into (* +nan.0 (exp (/ 1 (pow y 2)))) 4.855 * [backup-simplify]: Simplify (- (* +nan.0 (exp (/ 1 (pow y 2))))) into (- (* +nan.0 (exp (/ 1 (pow y 2))))) 4.855 * [backup-simplify]: Simplify (- (* +nan.0 (exp (/ 1 (pow y 2))))) into (- (* +nan.0 (exp (/ 1 (pow y 2))))) 4.856 * [backup-simplify]: Simplify (+ (* (- (* +nan.0 (exp (/ 1 (pow (/ 1 y) 2))))) (pow (* 1 (/ 1 x)) 2)) (+ (* (- (* +nan.0 (exp (/ 1 (pow (/ 1 y) 2))))) (* 1 (/ 1 x))) (- (* +nan.0 (exp (/ 1 (pow (/ 1 y) 2))))))) into (- (+ (* +nan.0 (/ (exp (pow y 2)) (pow x 2))) (- (+ (* +nan.0 (/ (exp (pow y 2)) x)) (- (* +nan.0 (exp (pow y 2)))))))) 4.856 * [backup-simplify]: Simplify (* (sqrt (/ 1 (- x))) (exp (* (/ 1 (- y)) (/ 1 (- y))))) into (* (exp (/ 1 (pow y 2))) (sqrt (/ -1 x))) 4.856 * [approximate]: Taking taylor expansion of (* (exp (/ 1 (pow y 2))) (sqrt (/ -1 x))) in (x y) around 0 4.856 * [taylor]: Taking taylor expansion of (* (exp (/ 1 (pow y 2))) (sqrt (/ -1 x))) in y 4.856 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.856 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.856 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.856 * [taylor]: Taking taylor expansion of y in y 4.856 * [backup-simplify]: Simplify 0 into 0 4.856 * [backup-simplify]: Simplify 1 into 1 4.856 * [backup-simplify]: Simplify (* 1 1) into 1 4.857 * [backup-simplify]: Simplify (/ 1 1) into 1 4.857 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.857 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 4.857 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.857 * [taylor]: Taking taylor expansion of -1 in y 4.857 * [backup-simplify]: Simplify -1 into -1 4.857 * [taylor]: Taking taylor expansion of x in y 4.857 * [backup-simplify]: Simplify x into x 4.857 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 4.857 * [backup-simplify]: Simplify (sqrt (/ -1 x)) into (sqrt (/ -1 x)) 4.857 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 4.857 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 x)))) into 0 4.857 * [taylor]: Taking taylor expansion of (* (exp (/ 1 (pow y 2))) (sqrt (/ -1 x))) in x 4.857 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 4.857 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 4.857 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.857 * [taylor]: Taking taylor expansion of y in x 4.857 * [backup-simplify]: Simplify y into y 4.857 * [backup-simplify]: Simplify (* y y) into (pow y 2) 4.857 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 4.857 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.858 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 4.858 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.858 * [taylor]: Taking taylor expansion of -1 in x 4.858 * [backup-simplify]: Simplify -1 into -1 4.858 * [taylor]: Taking taylor expansion of x in x 4.858 * [backup-simplify]: Simplify 0 into 0 4.858 * [backup-simplify]: Simplify 1 into 1 4.858 * [backup-simplify]: Simplify (/ -1 1) into -1 4.858 * [backup-simplify]: Simplify (sqrt 0) into 0 4.859 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 4.859 * [taylor]: Taking taylor expansion of (* (exp (/ 1 (pow y 2))) (sqrt (/ -1 x))) in x 4.859 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 4.859 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 4.859 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.859 * [taylor]: Taking taylor expansion of y in x 4.860 * [backup-simplify]: Simplify y into y 4.860 * [backup-simplify]: Simplify (* y y) into (pow y 2) 4.860 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 4.860 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.860 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 4.860 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.860 * [taylor]: Taking taylor expansion of -1 in x 4.860 * [backup-simplify]: Simplify -1 into -1 4.860 * [taylor]: Taking taylor expansion of x in x 4.860 * [backup-simplify]: Simplify 0 into 0 4.860 * [backup-simplify]: Simplify 1 into 1 4.860 * [backup-simplify]: Simplify (/ -1 1) into -1 4.861 * [backup-simplify]: Simplify (sqrt 0) into 0 4.862 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 4.862 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) 0) into 0 4.862 * [taylor]: Taking taylor expansion of 0 in y 4.862 * [backup-simplify]: Simplify 0 into 0 4.862 * [backup-simplify]: Simplify 0 into 0 4.862 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 4.862 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 4.863 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 4.863 * [backup-simplify]: Simplify (+ (* (exp (/ 1 (pow y 2))) +nan.0) (* 0 0)) into (- (* +nan.0 (exp (/ 1 (pow y 2))))) 4.863 * [taylor]: Taking taylor expansion of (- (* +nan.0 (exp (/ 1 (pow y 2))))) in y 4.863 * [taylor]: Taking taylor expansion of (* +nan.0 (exp (/ 1 (pow y 2)))) in y 4.863 * [taylor]: Taking taylor expansion of +nan.0 in y 4.863 * [backup-simplify]: Simplify +nan.0 into +nan.0 4.864 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.864 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.864 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.864 * [taylor]: Taking taylor expansion of y in y 4.864 * [backup-simplify]: Simplify 0 into 0 4.864 * [backup-simplify]: Simplify 1 into 1 4.864 * [backup-simplify]: Simplify (* 1 1) into 1 4.864 * [backup-simplify]: Simplify (/ 1 1) into 1 4.864 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.865 * [backup-simplify]: Simplify (* +nan.0 (exp (/ 1 (pow y 2)))) into (* +nan.0 (exp (/ 1 (pow y 2)))) 4.865 * [backup-simplify]: Simplify (- (* +nan.0 (exp (/ 1 (pow y 2))))) into (- (* +nan.0 (exp (/ 1 (pow y 2))))) 4.865 * [backup-simplify]: Simplify (- (* +nan.0 (exp (/ 1 (pow y 2))))) into (- (* +nan.0 (exp (/ 1 (pow y 2))))) 4.865 * [backup-simplify]: Simplify 0 into 0 4.866 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 4.868 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 4.868 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 4.869 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 4.870 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.870 * [backup-simplify]: Simplify (+ (* (exp (/ 1 (pow y 2))) +nan.0) (+ (* 0 +nan.0) (* 0 0))) into (- (* +nan.0 (exp (/ 1 (pow y 2))))) 4.871 * [taylor]: Taking taylor expansion of (- (* +nan.0 (exp (/ 1 (pow y 2))))) in y 4.871 * [taylor]: Taking taylor expansion of (* +nan.0 (exp (/ 1 (pow y 2)))) in y 4.871 * [taylor]: Taking taylor expansion of +nan.0 in y 4.871 * [backup-simplify]: Simplify +nan.0 into +nan.0 4.871 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.871 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.871 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.871 * [taylor]: Taking taylor expansion of y in y 4.871 * [backup-simplify]: Simplify 0 into 0 4.871 * [backup-simplify]: Simplify 1 into 1 4.871 * [backup-simplify]: Simplify (* 1 1) into 1 4.871 * [backup-simplify]: Simplify (/ 1 1) into 1 4.872 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.872 * [backup-simplify]: Simplify (* +nan.0 (exp (/ 1 (pow y 2)))) into (* +nan.0 (exp (/ 1 (pow y 2)))) 4.872 * [backup-simplify]: Simplify (- (* +nan.0 (exp (/ 1 (pow y 2))))) into (- (* +nan.0 (exp (/ 1 (pow y 2))))) 4.872 * [backup-simplify]: Simplify (- (* +nan.0 (exp (/ 1 (pow y 2))))) into (- (* +nan.0 (exp (/ 1 (pow y 2))))) 4.873 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 4.873 * [backup-simplify]: Simplify (- 0) into 0 4.873 * [backup-simplify]: Simplify 0 into 0 4.873 * [backup-simplify]: Simplify 0 into 0 4.874 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.878 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 4.878 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 4.879 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 4.880 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.881 * [backup-simplify]: Simplify (+ (* (exp (/ 1 (pow y 2))) +nan.0) (+ (* 0 +nan.0) (+ (* 0 +nan.0) (* 0 0)))) into (- (* +nan.0 (exp (/ 1 (pow y 2))))) 4.881 * [taylor]: Taking taylor expansion of (- (* +nan.0 (exp (/ 1 (pow y 2))))) in y 4.881 * [taylor]: Taking taylor expansion of (* +nan.0 (exp (/ 1 (pow y 2)))) in y 4.881 * [taylor]: Taking taylor expansion of +nan.0 in y 4.881 * [backup-simplify]: Simplify +nan.0 into +nan.0 4.881 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.881 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.881 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.881 * [taylor]: Taking taylor expansion of y in y 4.881 * [backup-simplify]: Simplify 0 into 0 4.881 * [backup-simplify]: Simplify 1 into 1 4.882 * [backup-simplify]: Simplify (* 1 1) into 1 4.882 * [backup-simplify]: Simplify (/ 1 1) into 1 4.882 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 4.882 * [backup-simplify]: Simplify (* +nan.0 (exp (/ 1 (pow y 2)))) into (* +nan.0 (exp (/ 1 (pow y 2)))) 4.882 * [backup-simplify]: Simplify (- (* +nan.0 (exp (/ 1 (pow y 2))))) into (- (* +nan.0 (exp (/ 1 (pow y 2))))) 4.883 * [backup-simplify]: Simplify (- (* +nan.0 (exp (/ 1 (pow y 2))))) into (- (* +nan.0 (exp (/ 1 (pow y 2))))) 4.883 * [backup-simplify]: Simplify (+ (* (- (* +nan.0 (exp (/ 1 (pow (/ 1 (- y)) 2))))) (pow (* 1 (/ 1 (- x))) 2)) (+ (* (- (* +nan.0 (exp (/ 1 (pow (/ 1 (- y)) 2))))) (* 1 (/ 1 (- x)))) (- (* +nan.0 (exp (/ 1 (pow (/ 1 (- y)) 2))))))) into (- (+ (* +nan.0 (/ (exp (pow y 2)) (pow x 2))) (- (+ (* +nan.0 (/ (exp (pow y 2)) x)) (- (* +nan.0 (exp (pow y 2)))))))) 4.883 * * * [progress]: simplifying candidates 4.883 * * * * [progress]: [ 1 / 51 ] simplifiying candidate # 4.884 * * * * [progress]: [ 2 / 51 ] simplifiying candidate # 4.884 * * * * [progress]: [ 3 / 51 ] simplifiying candidate # 4.884 * * * * [progress]: [ 4 / 51 ] simplifiying candidate # 4.884 * * * * [progress]: [ 5 / 51 ] simplifiying candidate # 4.884 * * * * [progress]: [ 6 / 51 ] simplifiying candidate # 4.884 * * * * [progress]: [ 7 / 51 ] simplifiying candidate # 4.884 * * * * [progress]: [ 8 / 51 ] simplifiying candidate # 4.884 * * * * [progress]: [ 9 / 51 ] simplifiying candidate # 4.884 * * * * [progress]: [ 10 / 51 ] simplifiying candidate # 4.884 * * * * [progress]: [ 11 / 51 ] simplifiying candidate # 4.884 * * * * [progress]: [ 12 / 51 ] simplifiying candidate # 4.884 * * * * [progress]: [ 13 / 51 ] simplifiying candidate # 4.884 * * * * [progress]: [ 14 / 51 ] simplifiying candidate # 4.884 * * * * [progress]: [ 15 / 51 ] simplifiying candidate # 4.884 * * * * [progress]: [ 16 / 51 ] simplifiying candidate # 4.884 * * * * [progress]: [ 17 / 51 ] simplifiying candidate # 4.884 * * * * [progress]: [ 18 / 51 ] simplifiying candidate # 4.885 * * * * [progress]: [ 19 / 51 ] simplifiying candidate # 4.885 * * * * [progress]: [ 20 / 51 ] simplifiying candidate # 4.885 * * * * [progress]: [ 21 / 51 ] simplifiying candidate #real (real->posit16 (* (sqrt x) (* (sqrt x) (exp (* y y)))))))> 4.885 * * * * [progress]: [ 22 / 51 ] simplifiying candidate # 4.885 * * * * [progress]: [ 23 / 51 ] simplifiying candidate # 4.885 * * * * [progress]: [ 24 / 51 ] simplifiying candidate # 4.885 * * * * [progress]: [ 25 / 51 ] simplifiying candidate # 4.885 * * * * [progress]: [ 26 / 51 ] simplifiying candidate # 4.885 * * * * [progress]: [ 27 / 51 ] simplifiying candidate # 4.885 * * * * [progress]: [ 28 / 51 ] simplifiying candidate # 4.885 * * * * [progress]: [ 29 / 51 ] simplifiying candidate # 4.885 * * * * [progress]: [ 30 / 51 ] simplifiying candidate # 4.885 * * * * [progress]: [ 31 / 51 ] simplifiying candidate # 4.885 * * * * [progress]: [ 32 / 51 ] simplifiying candidate # 4.885 * * * * [progress]: [ 33 / 51 ] simplifiying candidate # 4.885 * * * * [progress]: [ 34 / 51 ] simplifiying candidate # 4.885 * * * * [progress]: [ 35 / 51 ] simplifiying candidate # 4.885 * * * * [progress]: [ 36 / 51 ] simplifiying candidate # 4.885 * * * * [progress]: [ 37 / 51 ] simplifiying candidate # 4.885 * * * * [progress]: [ 38 / 51 ] simplifiying candidate # 4.886 * * * * [progress]: [ 39 / 51 ] simplifiying candidate # 4.886 * * * * [progress]: [ 40 / 51 ] simplifiying candidate # 4.886 * * * * [progress]: [ 41 / 51 ] simplifiying candidate # 4.886 * * * * [progress]: [ 42 / 51 ] simplifiying candidate # 4.886 * * * * [progress]: [ 43 / 51 ] simplifiying candidate # 4.886 * * * * [progress]: [ 44 / 51 ] simplifiying candidate #real (real->posit16 (* (sqrt x) (exp (* y y)))))))> 4.886 * * * * [progress]: [ 45 / 51 ] simplifiying candidate # 4.886 * * * * [progress]: [ 46 / 51 ] simplifiying candidate # 4.886 * * * * [progress]: [ 47 / 51 ] simplifiying candidate # 4.886 * * * * [progress]: [ 48 / 51 ] simplifiying candidate # 4.886 * * * * [progress]: [ 49 / 51 ] simplifiying candidate # 4.886 * * * * [progress]: [ 50 / 51 ] simplifiying candidate # 4.886 * * * * [progress]: [ 51 / 51 ] simplifiying candidate # 4.887 * [simplify]: Simplifying: (* (sqrt x) (* (sqrt x) (exp (* y y)))) (* (sqrt x) (* (sqrt x) (exp (* y y)))) (+ (log (sqrt x)) (+ (log (sqrt x)) (* y y))) (+ (log (sqrt x)) (log (* (sqrt x) (exp (* y y))))) (log (* (sqrt x) (* (sqrt x) (exp (* y y))))) (exp (* (sqrt x) (* (sqrt x) (exp (* y y))))) (* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (exp (* y y)) (exp (* y y))) (exp (* y y))))) (* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (* (sqrt x) (exp (* y y))) (* (sqrt x) (exp (* y y)))) (* (sqrt x) (exp (* y y))))) (* (cbrt (* (sqrt x) (* (sqrt x) (exp (* y y))))) (cbrt (* (sqrt x) (* (sqrt x) (exp (* y y)))))) (cbrt (* (sqrt x) (* (sqrt x) (exp (* y y))))) (* (* (* (sqrt x) (* (sqrt x) (exp (* y y)))) (* (sqrt x) (* (sqrt x) (exp (* y y))))) (* (sqrt x) (* (sqrt x) (exp (* y y))))) (sqrt (* (sqrt x) (* (sqrt x) (exp (* y y))))) (sqrt (* (sqrt x) (* (sqrt x) (exp (* y y))))) (* (sqrt x) (sqrt x)) (* (cbrt (sqrt x)) (* (sqrt x) (exp (* y y)))) (* (sqrt (cbrt x)) (* (sqrt x) (exp (* y y)))) (* (sqrt (sqrt x)) (* (sqrt x) (exp (* y y)))) (* (sqrt x) (* (sqrt x) (exp (* y y)))) (* (sqrt (sqrt x)) (* (sqrt x) (exp (* y y)))) (* (sqrt x) (* (sqrt x) (exp (* y y)))) (real->posit16 (* (sqrt x) (* (sqrt x) (exp (* y y))))) (* (sqrt x) (exp (* y y))) (+ (log (sqrt x)) (* y y)) (log (* (sqrt x) (exp (* y y)))) (exp (* (sqrt x) (exp (* y y)))) (* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (exp (* y y)) (exp (* y y))) (exp (* y y)))) (* (cbrt (* (sqrt x) (exp (* y y)))) (cbrt (* (sqrt x) (exp (* y y))))) (cbrt (* (sqrt x) (exp (* y y)))) (* (* (* (sqrt x) (exp (* y y))) (* (sqrt x) (exp (* y y)))) (* (sqrt x) (exp (* y y)))) (sqrt (* (sqrt x) (exp (* y y)))) (sqrt (* (sqrt x) (exp (* y y)))) (* (sqrt (sqrt x)) (sqrt (exp (* y y)))) (* (sqrt (sqrt x)) (sqrt (exp (* y y)))) (* (sqrt (sqrt x)) (sqrt (exp (* y y)))) (* (sqrt (sqrt x)) (sqrt (exp (* y y)))) (* (sqrt x) (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))) (* (sqrt x) (sqrt (exp (* y y)))) (* (sqrt x) 1) (* (cbrt (sqrt x)) (exp (* y y))) (* (sqrt (cbrt x)) (exp (* y y))) (* (sqrt (sqrt x)) (exp (* y y))) (* (sqrt x) (exp (* y y))) (* (sqrt (sqrt x)) (exp (* y y))) (* (sqrt x) (exp (* y y))) (real->posit16 (* (sqrt x) (exp (* y y)))) x (* x (exp (pow y 2))) (- (+ (* +nan.0 (/ (exp (pow y 2)) (pow x 2))) (- (+ (* +nan.0 (/ (exp (pow y 2)) x)) (- (* +nan.0 (exp (pow y 2)))))))) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2))))))) (- (+ (* +nan.0 (/ (exp (pow y 2)) (pow x 2))) (- (+ (* +nan.0 (/ (exp (pow y 2)) x)) (- (* +nan.0 (exp (pow y 2)))))))) (- (+ (* +nan.0 (/ (exp (pow y 2)) (pow x 2))) (- (+ (* +nan.0 (/ (exp (pow y 2)) x)) (- (* +nan.0 (exp (pow y 2)))))))) 4.888 * * [simplify]: iteration 0: 78 enodes 4.918 * * [simplify]: iteration 1: 208 enodes 4.989 * * [simplify]: iteration 2: 568 enodes 5.290 * * [simplify]: iteration 3: 1754 enodes 6.434 * * [simplify]: iteration complete: 5000 enodes 6.434 * * [simplify]: Extracting #0: cost 29 inf + 0 6.435 * * [simplify]: Extracting #1: cost 417 inf + 42 6.440 * * [simplify]: Extracting #2: cost 1091 inf + 3076 6.450 * * [simplify]: Extracting #3: cost 1176 inf + 28723 6.491 * * [simplify]: Extracting #4: cost 488 inf + 211428 6.563 * * [simplify]: Extracting #5: cost 70 inf + 391511 6.653 * * [simplify]: Extracting #6: cost 0 inf + 425322 6.738 * * [simplify]: Extracting #7: cost 0 inf + 425082 6.818 * [simplify]: Simplified to: (* x (exp (* y y))) (* x (exp (* y y))) (+ (* y y) (log x)) (+ (* y y) (log x)) (+ (* y y) (log x)) (exp (* x (exp (* y y)))) (* (* (* x (exp (* y y))) (* x (exp (* y y)))) (* x (exp (* y y)))) (* (* (* x (exp (* y y))) (* x (exp (* y y)))) (* x (exp (* y y)))) (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y)))) (* (* (* x (exp (* y y))) (* x (exp (* y y)))) (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) x (* (* (sqrt x) (exp (* y y))) (cbrt (sqrt x))) (* (exp (* y y)) (* (sqrt (cbrt x)) (sqrt x))) (* (exp (* y y)) (* (sqrt x) (sqrt (sqrt x)))) (* x (exp (* y y))) (* (exp (* y y)) (* (sqrt x) (sqrt (sqrt x)))) (* x (exp (* y y))) (real->posit16 (* x (exp (* y y)))) (* (sqrt x) (exp (* y y))) (+ (* y y) (log (sqrt x))) (+ (* y y) (log (sqrt x))) (exp (* (sqrt x) (exp (* y y)))) (* (* x (sqrt x)) (* (* (exp (* y y)) (exp (* y y))) (exp (* y y)))) (* (cbrt (* (sqrt x) (exp (* y y)))) (cbrt (* (sqrt x) (exp (* y y))))) (cbrt (* (sqrt x) (exp (* y y)))) (* (* x (sqrt x)) (* (* (exp (* y y)) (exp (* y y))) (exp (* y y)))) (sqrt (* (sqrt x) (exp (* y y)))) (sqrt (* (sqrt x) (exp (* y y)))) (* (sqrt (sqrt x)) (sqrt (exp (* y y)))) (* (sqrt (sqrt x)) (sqrt (exp (* y y)))) (* (sqrt (sqrt x)) (sqrt (exp (* y y)))) (* (sqrt (sqrt x)) (sqrt (exp (* y y)))) (* (* (sqrt x) (cbrt (exp (* y y)))) (cbrt (exp (* y y)))) (* (sqrt (exp (* y y))) (sqrt x)) (sqrt x) (* (cbrt (sqrt x)) (exp (* y y))) (* (sqrt (cbrt x)) (exp (* y y))) (* (sqrt (sqrt x)) (exp (* y y))) (* (sqrt x) (exp (* y y))) (* (sqrt (sqrt x)) (exp (* y y))) (* (sqrt x) (exp (* y y))) (real->posit16 (* (sqrt x) (exp (* y y)))) x (* x (exp (* y y))) (* +nan.0 (- (/ (- (exp (* y y))) (* x x)) (+ (exp (* y y)) (/ (- (exp (* y y))) x)))) (* +nan.0 (+ (- (* (* x x) x) (* x x)) (- x))) (* +nan.0 (- (/ (- (exp (* y y))) (* x x)) (+ (exp (* y y)) (/ (- (exp (* y y))) x)))) (* +nan.0 (- (/ (- (exp (* y y))) (* x x)) (+ (exp (* y y)) (/ (- (exp (* y y))) x)))) 6.820 * * * [progress]: adding candidates to table 6.986 * [progress]: [Phase 3 of 3] Extracting. 6.986 * * [regime]: Finding splitpoints for: (# #) 6.987 * * * [regime-changes]: Trying 5 branch expressions: ((* y y) (exp (* y y)) (* x (exp (* y y))) y x) 6.987 * * * * [regimes]: Trying to branch on (* y y) from (# #) 7.008 * * * * [regimes]: Trying to branch on (exp (* y y)) from (# #) 7.027 * * * * [regimes]: Trying to branch on (* x (exp (* y y))) from (# #) 7.053 * * * * [regimes]: Trying to branch on y from (# #) 7.081 * * * * [regimes]: Trying to branch on x from (# #) 7.106 * * * [regime]: Found split indices: #