27.737 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.025 * * * [progress]: [2/2] Setting up program. 0.028 * [progress]: [Phase 2 of 3] Improving. 0.028 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.028 * [simplify]: Simplifying: (* x (exp (* y y))) 0.028 * * [simplify]: iteration 0: 5 enodes 0.029 * * [simplify]: iteration 1: 8 enodes 0.030 * * [simplify]: iteration 2: 12 enodes 0.032 * * [simplify]: iteration 3: 21 enodes 0.036 * * [simplify]: iteration 4: 46 enodes 0.045 * * [simplify]: iteration 5: 122 enodes 0.076 * * [simplify]: iteration 6: 362 enodes 0.326 * * [simplify]: iteration 7: 1166 enodes 2.254 * * [simplify]: iteration complete: 5000 enodes 2.255 * * [simplify]: Extracting #0: cost 1 inf + 0 2.255 * * [simplify]: Extracting #1: cost 135 inf + 0 2.260 * * [simplify]: Extracting #2: cost 766 inf + 1 2.266 * * [simplify]: Extracting #3: cost 998 inf + 233 2.275 * * [simplify]: Extracting #4: cost 941 inf + 11756 2.313 * * [simplify]: Extracting #5: cost 528 inf + 220843 2.412 * * [simplify]: Extracting #6: cost 80 inf + 642663 2.495 * * [simplify]: Extracting #7: cost 0 inf + 709065 2.580 * * [simplify]: Extracting #8: cost 0 inf + 706552 2.681 * * [simplify]: Extracting #9: cost 0 inf + 705506 2.771 * [simplify]: Simplified to: (* (exp (* y y)) x) 2.772 * * [progress]: iteration 1 / 4 2.772 * * * [progress]: picking best candidate 2.776 * * * * [pick]: Picked # 2.776 * * * [progress]: localizing error 2.790 * * * [progress]: generating rewritten candidates 2.790 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 2.797 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 2.812 * * * [progress]: generating series expansions 2.812 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 2.812 * [backup-simplify]: Simplify (exp (* y y)) into (exp (pow y 2)) 2.812 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0 2.812 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 2.812 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.812 * [taylor]: Taking taylor expansion of y in y 2.812 * [backup-simplify]: Simplify 0 into 0 2.812 * [backup-simplify]: Simplify 1 into 1 2.813 * [backup-simplify]: Simplify (* 1 1) into 1 2.813 * [backup-simplify]: Simplify (exp 0) into 1 2.813 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 2.813 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.813 * [taylor]: Taking taylor expansion of y in y 2.813 * [backup-simplify]: Simplify 0 into 0 2.813 * [backup-simplify]: Simplify 1 into 1 2.813 * [backup-simplify]: Simplify (* 1 1) into 1 2.813 * [backup-simplify]: Simplify (exp 0) into 1 2.813 * [backup-simplify]: Simplify 1 into 1 2.814 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 2.814 * [backup-simplify]: Simplify 0 into 0 2.815 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1 2.815 * [backup-simplify]: Simplify 1 into 1 2.815 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.817 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 2.817 * [backup-simplify]: Simplify 0 into 0 2.817 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.824 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 2.824 * [backup-simplify]: Simplify 1/2 into 1/2 2.824 * [backup-simplify]: Simplify (+ (* 1/2 (pow y 4)) (+ (* 1 (pow y 2)) 1)) into (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) 2.824 * [backup-simplify]: Simplify (exp (* (/ 1 y) (/ 1 y))) into (exp (/ 1 (pow y 2))) 2.824 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 2.824 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.824 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.824 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.824 * [taylor]: Taking taylor expansion of y in y 2.824 * [backup-simplify]: Simplify 0 into 0 2.824 * [backup-simplify]: Simplify 1 into 1 2.825 * [backup-simplify]: Simplify (* 1 1) into 1 2.825 * [backup-simplify]: Simplify (/ 1 1) into 1 2.825 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.825 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.825 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.825 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.825 * [taylor]: Taking taylor expansion of y in y 2.825 * [backup-simplify]: Simplify 0 into 0 2.825 * [backup-simplify]: Simplify 1 into 1 2.825 * [backup-simplify]: Simplify (* 1 1) into 1 2.825 * [backup-simplify]: Simplify (/ 1 1) into 1 2.825 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.826 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.826 * [backup-simplify]: Simplify 0 into 0 2.826 * [backup-simplify]: Simplify 0 into 0 2.826 * [backup-simplify]: Simplify 0 into 0 2.826 * [backup-simplify]: Simplify 0 into 0 2.826 * [backup-simplify]: Simplify 0 into 0 2.826 * [backup-simplify]: Simplify 0 into 0 2.826 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 y) 2))) into (exp (pow y 2)) 2.826 * [backup-simplify]: Simplify (exp (* (/ 1 (- y)) (/ 1 (- y)))) into (exp (/ 1 (pow y 2))) 2.826 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 2.826 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.826 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.826 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.826 * [taylor]: Taking taylor expansion of y in y 2.826 * [backup-simplify]: Simplify 0 into 0 2.826 * [backup-simplify]: Simplify 1 into 1 2.826 * [backup-simplify]: Simplify (* 1 1) into 1 2.826 * [backup-simplify]: Simplify (/ 1 1) into 1 2.827 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.827 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.827 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.827 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.827 * [taylor]: Taking taylor expansion of y in y 2.827 * [backup-simplify]: Simplify 0 into 0 2.827 * [backup-simplify]: Simplify 1 into 1 2.827 * [backup-simplify]: Simplify (* 1 1) into 1 2.827 * [backup-simplify]: Simplify (/ 1 1) into 1 2.827 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.827 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.827 * [backup-simplify]: Simplify 0 into 0 2.827 * [backup-simplify]: Simplify 0 into 0 2.827 * [backup-simplify]: Simplify 0 into 0 2.827 * [backup-simplify]: Simplify 0 into 0 2.827 * [backup-simplify]: Simplify 0 into 0 2.827 * [backup-simplify]: Simplify 0 into 0 2.827 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 (- y)) 2))) into (exp (pow y 2)) 2.828 * * * * [progress]: [ 2 / 2 ] generating series at (2) 2.828 * [backup-simplify]: Simplify (* x (exp (* y y))) into (* x (exp (pow y 2))) 2.828 * [approximate]: Taking taylor expansion of (* x (exp (pow y 2))) in (x y) around 0 2.828 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y 2.828 * [taylor]: Taking taylor expansion of x in y 2.828 * [backup-simplify]: Simplify x into x 2.828 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 2.828 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.828 * [taylor]: Taking taylor expansion of y in y 2.828 * [backup-simplify]: Simplify 0 into 0 2.828 * [backup-simplify]: Simplify 1 into 1 2.828 * [backup-simplify]: Simplify (* 1 1) into 1 2.828 * [backup-simplify]: Simplify (exp 0) into 1 2.828 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 2.828 * [taylor]: Taking taylor expansion of x in x 2.828 * [backup-simplify]: Simplify 0 into 0 2.828 * [backup-simplify]: Simplify 1 into 1 2.828 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 2.828 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.828 * [taylor]: Taking taylor expansion of y in x 2.828 * [backup-simplify]: Simplify y into y 2.828 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.828 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 2.828 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 2.828 * [taylor]: Taking taylor expansion of x in x 2.828 * [backup-simplify]: Simplify 0 into 0 2.828 * [backup-simplify]: Simplify 1 into 1 2.828 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 2.828 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.828 * [taylor]: Taking taylor expansion of y in x 2.828 * [backup-simplify]: Simplify y into y 2.828 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.828 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 2.829 * [backup-simplify]: Simplify (* 0 (exp (pow y 2))) into 0 2.829 * [taylor]: Taking taylor expansion of 0 in y 2.829 * [backup-simplify]: Simplify 0 into 0 2.829 * [backup-simplify]: Simplify 0 into 0 2.829 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.829 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0 2.829 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (pow y 2)))) into (exp (pow y 2)) 2.829 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 2.829 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.829 * [taylor]: Taking taylor expansion of y in y 2.829 * [backup-simplify]: Simplify 0 into 0 2.829 * [backup-simplify]: Simplify 1 into 1 2.830 * [backup-simplify]: Simplify (* 1 1) into 1 2.830 * [backup-simplify]: Simplify (exp 0) into 1 2.830 * [backup-simplify]: Simplify 1 into 1 2.830 * [backup-simplify]: Simplify 0 into 0 2.830 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 2.831 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.831 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (pow y 2))))) into 0 2.831 * [taylor]: Taking taylor expansion of 0 in y 2.831 * [backup-simplify]: Simplify 0 into 0 2.831 * [backup-simplify]: Simplify 0 into 0 2.832 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 2.832 * [backup-simplify]: Simplify 0 into 0 2.832 * [backup-simplify]: Simplify 0 into 0 2.833 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 2.834 * [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.834 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (pow y 2)))))) into 0 2.834 * [taylor]: Taking taylor expansion of 0 in y 2.834 * [backup-simplify]: Simplify 0 into 0 2.835 * [backup-simplify]: Simplify 0 into 0 2.835 * [backup-simplify]: Simplify 0 into 0 2.835 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x 2.835 * [backup-simplify]: Simplify (* (/ 1 x) (exp (* (/ 1 y) (/ 1 y)))) into (/ (exp (/ 1 (pow y 2))) x) 2.835 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in (x y) around 0 2.835 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 2.835 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.835 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.835 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.835 * [taylor]: Taking taylor expansion of y in y 2.835 * [backup-simplify]: Simplify 0 into 0 2.835 * [backup-simplify]: Simplify 1 into 1 2.835 * [backup-simplify]: Simplify (* 1 1) into 1 2.835 * [backup-simplify]: Simplify (/ 1 1) into 1 2.835 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.835 * [taylor]: Taking taylor expansion of x in y 2.835 * [backup-simplify]: Simplify x into x 2.835 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 2.836 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 2.836 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 2.836 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.836 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.836 * [taylor]: Taking taylor expansion of y in x 2.836 * [backup-simplify]: Simplify y into y 2.836 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.836 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 2.836 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.836 * [taylor]: Taking taylor expansion of x in x 2.836 * [backup-simplify]: Simplify 0 into 0 2.836 * [backup-simplify]: Simplify 1 into 1 2.836 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 2.836 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 2.836 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 2.836 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.836 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.836 * [taylor]: Taking taylor expansion of y in x 2.836 * [backup-simplify]: Simplify y into y 2.836 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.836 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 2.836 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.836 * [taylor]: Taking taylor expansion of x in x 2.836 * [backup-simplify]: Simplify 0 into 0 2.836 * [backup-simplify]: Simplify 1 into 1 2.836 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 2.836 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.836 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.836 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.836 * [taylor]: Taking taylor expansion of y in y 2.836 * [backup-simplify]: Simplify 0 into 0 2.836 * [backup-simplify]: Simplify 1 into 1 2.837 * [backup-simplify]: Simplify (* 1 1) into 1 2.837 * [backup-simplify]: Simplify (/ 1 1) into 1 2.837 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.837 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.837 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.837 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 2.838 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 2.838 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 2.838 * [taylor]: Taking taylor expansion of 0 in y 2.838 * [backup-simplify]: Simplify 0 into 0 2.838 * [backup-simplify]: Simplify 0 into 0 2.838 * [backup-simplify]: Simplify 0 into 0 2.839 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 2.839 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 2.839 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.840 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.840 * [taylor]: Taking taylor expansion of 0 in y 2.840 * [backup-simplify]: Simplify 0 into 0 2.840 * [backup-simplify]: Simplify 0 into 0 2.840 * [backup-simplify]: Simplify 0 into 0 2.840 * [backup-simplify]: Simplify 0 into 0 2.841 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 2.841 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 2.842 * [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.844 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.844 * [taylor]: Taking taylor expansion of 0 in y 2.844 * [backup-simplify]: Simplify 0 into 0 2.844 * [backup-simplify]: Simplify 0 into 0 2.844 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 y) 2))) (* 1 (/ 1 (/ 1 x)))) into (* x (exp (pow y 2))) 2.844 * [backup-simplify]: Simplify (* (/ 1 (- x)) (exp (* (/ 1 (- y)) (/ 1 (- y))))) into (* -1 (/ (exp (/ 1 (pow y 2))) x)) 2.844 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in (x y) around 0 2.844 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in y 2.844 * [taylor]: Taking taylor expansion of -1 in y 2.844 * [backup-simplify]: Simplify -1 into -1 2.844 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 2.844 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.844 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.844 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.844 * [taylor]: Taking taylor expansion of y in y 2.844 * [backup-simplify]: Simplify 0 into 0 2.844 * [backup-simplify]: Simplify 1 into 1 2.844 * [backup-simplify]: Simplify (* 1 1) into 1 2.844 * [backup-simplify]: Simplify (/ 1 1) into 1 2.845 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.845 * [taylor]: Taking taylor expansion of x in y 2.845 * [backup-simplify]: Simplify x into x 2.845 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 2.845 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 2.845 * [taylor]: Taking taylor expansion of -1 in x 2.845 * [backup-simplify]: Simplify -1 into -1 2.845 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 2.845 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 2.845 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.845 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.845 * [taylor]: Taking taylor expansion of y in x 2.845 * [backup-simplify]: Simplify y into y 2.845 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.845 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 2.845 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.845 * [taylor]: Taking taylor expansion of x in x 2.845 * [backup-simplify]: Simplify 0 into 0 2.845 * [backup-simplify]: Simplify 1 into 1 2.845 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 2.845 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 2.845 * [taylor]: Taking taylor expansion of -1 in x 2.845 * [backup-simplify]: Simplify -1 into -1 2.845 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 2.845 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 2.845 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.845 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.845 * [taylor]: Taking taylor expansion of y in x 2.845 * [backup-simplify]: Simplify y into y 2.845 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.845 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 2.845 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.845 * [taylor]: Taking taylor expansion of x in x 2.845 * [backup-simplify]: Simplify 0 into 0 2.845 * [backup-simplify]: Simplify 1 into 1 2.845 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 2.846 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 2.846 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 2.846 * [taylor]: Taking taylor expansion of -1 in y 2.846 * [backup-simplify]: Simplify -1 into -1 2.846 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.846 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.846 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.846 * [taylor]: Taking taylor expansion of y in y 2.846 * [backup-simplify]: Simplify 0 into 0 2.846 * [backup-simplify]: Simplify 1 into 1 2.846 * [backup-simplify]: Simplify (* 1 1) into 1 2.846 * [backup-simplify]: Simplify (/ 1 1) into 1 2.846 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 2.846 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 2.846 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 2.846 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.847 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 2.847 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 2.848 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 2.848 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 2.848 * [taylor]: Taking taylor expansion of 0 in y 2.848 * [backup-simplify]: Simplify 0 into 0 2.848 * [backup-simplify]: Simplify 0 into 0 2.848 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 2.848 * [backup-simplify]: Simplify 0 into 0 2.849 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 2.849 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 2.850 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.851 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.851 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 2.851 * [taylor]: Taking taylor expansion of 0 in y 2.851 * [backup-simplify]: Simplify 0 into 0 2.851 * [backup-simplify]: Simplify 0 into 0 2.851 * [backup-simplify]: Simplify 0 into 0 2.852 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 2.852 * [backup-simplify]: Simplify 0 into 0 2.852 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 2.852 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 2.853 * [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.855 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.855 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2))))))) into 0 2.855 * [taylor]: Taking taylor expansion of 0 in y 2.855 * [backup-simplify]: Simplify 0 into 0 2.855 * [backup-simplify]: Simplify 0 into 0 2.856 * [backup-simplify]: Simplify (* (* -1 (exp (/ 1 (pow (/ 1 (- y)) 2)))) (* 1 (/ 1 (/ 1 (- x))))) into (* x (exp (pow y 2))) 2.856 * * * [progress]: simplifying candidates 2.856 * * * * [progress]: [ 1 / 36 ] simplifiying candidate # 2.856 * * * * [progress]: [ 2 / 36 ] simplifiying candidate # 2.856 * * * * [progress]: [ 3 / 36 ] simplifiying candidate # 2.856 * * * * [progress]: [ 4 / 36 ] simplifiying candidate # 2.856 * * * * [progress]: [ 5 / 36 ] simplifiying candidate # 2.856 * * * * [progress]: [ 6 / 36 ] simplifiying candidate # 2.856 * * * * [progress]: [ 7 / 36 ] simplifiying candidate # 2.856 * * * * [progress]: [ 8 / 36 ] simplifiying candidate # 2.856 * * * * [progress]: [ 9 / 36 ] simplifiying candidate # 2.856 * * * * [progress]: [ 10 / 36 ] simplifiying candidate # 2.856 * * * * [progress]: [ 11 / 36 ] simplifiying candidate #real (real->posit16 (exp (* y y))))))> 2.856 * * * * [progress]: [ 12 / 36 ] simplifiying candidate # 2.856 * * * * [progress]: [ 13 / 36 ] simplifiying candidate # 2.856 * * * * [progress]: [ 14 / 36 ] simplifiying candidate # 2.856 * * * * [progress]: [ 15 / 36 ] simplifiying candidate # 2.856 * * * * [progress]: [ 16 / 36 ] simplifiying candidate # 2.856 * * * * [progress]: [ 17 / 36 ] simplifiying candidate # 2.856 * * * * [progress]: [ 18 / 36 ] simplifiying candidate # 2.856 * * * * [progress]: [ 19 / 36 ] simplifiying candidate # 2.856 * * * * [progress]: [ 20 / 36 ] simplifiying candidate # 2.856 * * * * [progress]: [ 21 / 36 ] simplifiying candidate # 2.856 * * * * [progress]: [ 22 / 36 ] simplifiying candidate # 2.856 * * * * [progress]: [ 23 / 36 ] simplifiying candidate # 2.856 * * * * [progress]: [ 24 / 36 ] simplifiying candidate # 2.856 * * * * [progress]: [ 25 / 36 ] simplifiying candidate # 2.856 * * * * [progress]: [ 26 / 36 ] simplifiying candidate # 2.856 * * * * [progress]: [ 27 / 36 ] simplifiying candidate # 2.857 * * * * [progress]: [ 28 / 36 ] simplifiying candidate # 2.857 * * * * [progress]: [ 29 / 36 ] simplifiying candidate #real (real->posit16 (* x (exp (* y y))))))> 2.857 * * * * [progress]: [ 30 / 36 ] simplifiying candidate # 2.857 * * * * [progress]: [ 31 / 36 ] simplifiying candidate # 2.857 * * * * [progress]: [ 32 / 36 ] simplifiying candidate # 2.857 * * * * [progress]: [ 33 / 36 ] simplifiying candidate # 2.857 * * * * [progress]: [ 34 / 36 ] simplifiying candidate # 2.857 * * * * [progress]: [ 35 / 36 ] simplifiying candidate # 2.857 * * * * [progress]: [ 36 / 36 ] simplifiying candidate # 2.857 * [simplify]: Simplifying: (exp y) (log (exp (* y y))) (exp (exp (* y y))) (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))) (cbrt (exp (* y y))) (* (* (exp (* y y)) (exp (* y y))) (exp (* y y))) (sqrt (exp (* y y))) (sqrt (exp (* y y))) (real->posit16 (exp (* y y))) (* 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)))) (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) (exp (pow y 2)) (exp (pow y 2)) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) 2.857 * * [simplify]: iteration 0: 46 enodes 2.867 * * [simplify]: iteration 1: 101 enodes 2.886 * * [simplify]: iteration 2: 248 enodes 3.012 * * [simplify]: iteration 3: 702 enodes 3.468 * * [simplify]: iteration 4: 1980 enodes 4.613 * * [simplify]: iteration complete: 5000 enodes 4.613 * * [simplify]: Extracting #0: cost 24 inf + 0 4.614 * * [simplify]: Extracting #1: cost 245 inf + 1 4.626 * * [simplify]: Extracting #2: cost 847 inf + 718 4.635 * * [simplify]: Extracting #3: cost 885 inf + 13573 4.667 * * [simplify]: Extracting #4: cost 309 inf + 173836 4.713 * * [simplify]: Extracting #5: cost 7 inf + 301171 4.777 * * [simplify]: Extracting #6: cost 0 inf + 304140 4.819 * * [simplify]: Extracting #7: cost 0 inf + 304050 4.875 * [simplify]: Simplified to: (exp y) (* y y) (exp (exp (* y y))) (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))) (cbrt (exp (* y y))) (exp (* (* y 3) y)) (sqrt (exp (* y y))) (sqrt (exp (* y y))) (real->posit16 (exp (* y y))) (* x (exp (* y y))) (+ (log x) (* y y)) (+ (log x) (* y y)) (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 (exp (* y y))) (sqrt x)) (* (sqrt (exp (* y y))) (sqrt x)) (* (* x (cbrt (exp (* y y)))) (cbrt (exp (* y y)))) (* x (sqrt (exp (* y y)))) x (* (cbrt x) (exp (* y y))) (* (exp (* y y)) (sqrt x)) (* x (exp (* y y))) (real->posit16 (* x (exp (* y y)))) (+ (* (* 1/2 (* y y)) (* y y)) (+ 1 (* y y))) (exp (* y y)) (exp (* y y)) x (* x (exp (* y y))) (* x (exp (* y y))) 4.876 * * * [progress]: adding candidates to table 4.972 * * [progress]: iteration 2 / 4 4.972 * * * [progress]: picking best candidate 4.975 * * * * [pick]: Picked # 4.975 * * * [progress]: localizing error 4.987 * * * [progress]: generating rewritten candidates 4.987 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 4.991 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 5.014 * * * [progress]: generating series expansions 5.014 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 5.014 * [backup-simplify]: Simplify (pow (exp y) y) into (pow (exp y) y) 5.014 * [approximate]: Taking taylor expansion of (pow (exp y) y) in (y) around 0 5.014 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 5.014 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 5.014 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 5.014 * [taylor]: Taking taylor expansion of y in y 5.014 * [backup-simplify]: Simplify 0 into 0 5.014 * [backup-simplify]: Simplify 1 into 1 5.014 * [taylor]: Taking taylor expansion of (log (exp y)) in y 5.014 * [taylor]: Taking taylor expansion of (exp y) in y 5.014 * [taylor]: Taking taylor expansion of y in y 5.014 * [backup-simplify]: Simplify 0 into 0 5.014 * [backup-simplify]: Simplify 1 into 1 5.014 * [backup-simplify]: Simplify (exp 0) into 1 5.015 * [backup-simplify]: Simplify (log 1) into 0 5.016 * [backup-simplify]: Simplify (* 0 0) into 0 5.017 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 5.018 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 5.019 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 5.020 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 5.021 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 5.022 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 5.022 * [backup-simplify]: Simplify (exp 0) into 1 5.022 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 5.022 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 5.022 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 5.022 * [taylor]: Taking taylor expansion of y in y 5.022 * [backup-simplify]: Simplify 0 into 0 5.022 * [backup-simplify]: Simplify 1 into 1 5.022 * [taylor]: Taking taylor expansion of (log (exp y)) in y 5.022 * [taylor]: Taking taylor expansion of (exp y) in y 5.022 * [taylor]: Taking taylor expansion of y in y 5.022 * [backup-simplify]: Simplify 0 into 0 5.022 * [backup-simplify]: Simplify 1 into 1 5.022 * [backup-simplify]: Simplify (exp 0) into 1 5.022 * [backup-simplify]: Simplify (log 1) into 0 5.023 * [backup-simplify]: Simplify (* 0 0) into 0 5.023 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 5.024 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 5.024 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 5.025 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 5.027 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 5.027 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 5.027 * [backup-simplify]: Simplify (exp 0) into 1 5.027 * [backup-simplify]: Simplify 1 into 1 5.028 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 5.028 * [backup-simplify]: Simplify 0 into 0 5.029 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1 5.029 * [backup-simplify]: Simplify 1 into 1 5.030 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 5.033 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 1/2) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 1/6) 1)) (pow 1 1)))) 6) into 0 5.034 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 5.035 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.035 * [backup-simplify]: Simplify 0 into 0 5.039 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 5.049 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 1) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 1) 2) (pow (* 2 1/2) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 1/2) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 1) 1) 1 (pow (* 6 1/6) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 1/24) 1)) (pow 1 1)))) 24) into 0 5.050 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 5.053 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 5.053 * [backup-simplify]: Simplify 1/2 into 1/2 5.054 * [backup-simplify]: Simplify (+ (* 1/2 (pow y 4)) (+ (* 1 (pow y 2)) 1)) into (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) 5.054 * [backup-simplify]: Simplify (pow (exp (/ 1 y)) (/ 1 y)) into (pow (exp (/ 1 y)) (/ 1 y)) 5.054 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in (y) around 0 5.054 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 5.054 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 5.054 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 5.054 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.054 * [taylor]: Taking taylor expansion of y in y 5.054 * [backup-simplify]: Simplify 0 into 0 5.054 * [backup-simplify]: Simplify 1 into 1 5.054 * [backup-simplify]: Simplify (/ 1 1) into 1 5.054 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 5.054 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 5.054 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.055 * [taylor]: Taking taylor expansion of y in y 5.055 * [backup-simplify]: Simplify 0 into 0 5.055 * [backup-simplify]: Simplify 1 into 1 5.055 * [backup-simplify]: Simplify (/ 1 1) into 1 5.055 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 5.055 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 5.055 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 5.055 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2))) 5.055 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 5.055 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 5.055 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 5.055 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.055 * [taylor]: Taking taylor expansion of y in y 5.055 * [backup-simplify]: Simplify 0 into 0 5.055 * [backup-simplify]: Simplify 1 into 1 5.056 * [backup-simplify]: Simplify (/ 1 1) into 1 5.056 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 5.056 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 5.056 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.056 * [taylor]: Taking taylor expansion of y in y 5.056 * [backup-simplify]: Simplify 0 into 0 5.056 * [backup-simplify]: Simplify 1 into 1 5.056 * [backup-simplify]: Simplify (/ 1 1) into 1 5.056 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 5.056 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 5.057 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 5.057 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2))) 5.057 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.057 * [backup-simplify]: Simplify 0 into 0 5.057 * [backup-simplify]: Simplify 0 into 0 5.057 * [backup-simplify]: Simplify 0 into 0 5.057 * [backup-simplify]: Simplify 0 into 0 5.057 * [backup-simplify]: Simplify 0 into 0 5.057 * [backup-simplify]: Simplify 0 into 0 5.057 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 y) 2))) into (exp (pow y 2)) 5.057 * [backup-simplify]: Simplify (pow (exp (/ 1 (- y))) (/ 1 (- y))) into (pow (exp (/ -1 y)) (/ -1 y)) 5.057 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in (y) around 0 5.057 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 5.057 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 5.057 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 5.057 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.058 * [taylor]: Taking taylor expansion of -1 in y 5.058 * [backup-simplify]: Simplify -1 into -1 5.058 * [taylor]: Taking taylor expansion of y in y 5.058 * [backup-simplify]: Simplify 0 into 0 5.058 * [backup-simplify]: Simplify 1 into 1 5.058 * [backup-simplify]: Simplify (/ -1 1) into -1 5.058 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 5.058 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 5.058 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.058 * [taylor]: Taking taylor expansion of -1 in y 5.058 * [backup-simplify]: Simplify -1 into -1 5.058 * [taylor]: Taking taylor expansion of y in y 5.058 * [backup-simplify]: Simplify 0 into 0 5.058 * [backup-simplify]: Simplify 1 into 1 5.059 * [backup-simplify]: Simplify (/ -1 1) into -1 5.059 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 5.059 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 5.059 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 5.059 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2))) 5.059 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 5.059 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 5.059 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 5.059 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.059 * [taylor]: Taking taylor expansion of -1 in y 5.059 * [backup-simplify]: Simplify -1 into -1 5.059 * [taylor]: Taking taylor expansion of y in y 5.059 * [backup-simplify]: Simplify 0 into 0 5.059 * [backup-simplify]: Simplify 1 into 1 5.060 * [backup-simplify]: Simplify (/ -1 1) into -1 5.060 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 5.060 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 5.060 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.060 * [taylor]: Taking taylor expansion of -1 in y 5.060 * [backup-simplify]: Simplify -1 into -1 5.060 * [taylor]: Taking taylor expansion of y in y 5.060 * [backup-simplify]: Simplify 0 into 0 5.060 * [backup-simplify]: Simplify 1 into 1 5.060 * [backup-simplify]: Simplify (/ -1 1) into -1 5.060 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 5.060 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 5.060 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 5.061 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2))) 5.061 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.061 * [backup-simplify]: Simplify 0 into 0 5.061 * [backup-simplify]: Simplify 0 into 0 5.061 * [backup-simplify]: Simplify 0 into 0 5.061 * [backup-simplify]: Simplify 0 into 0 5.061 * [backup-simplify]: Simplify 0 into 0 5.061 * [backup-simplify]: Simplify 0 into 0 5.061 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 (- y)) 2))) into (exp (pow y 2)) 5.061 * * * * [progress]: [ 2 / 2 ] generating series at (2) 5.061 * [backup-simplify]: Simplify (* x (pow (exp y) y)) into (* x (pow (exp y) y)) 5.061 * [approximate]: Taking taylor expansion of (* x (pow (exp y) y)) in (x y) around 0 5.061 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in y 5.061 * [taylor]: Taking taylor expansion of x in y 5.061 * [backup-simplify]: Simplify x into x 5.061 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 5.061 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 5.061 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 5.061 * [taylor]: Taking taylor expansion of y in y 5.061 * [backup-simplify]: Simplify 0 into 0 5.062 * [backup-simplify]: Simplify 1 into 1 5.062 * [taylor]: Taking taylor expansion of (log (exp y)) in y 5.062 * [taylor]: Taking taylor expansion of (exp y) in y 5.062 * [taylor]: Taking taylor expansion of y in y 5.062 * [backup-simplify]: Simplify 0 into 0 5.062 * [backup-simplify]: Simplify 1 into 1 5.062 * [backup-simplify]: Simplify (exp 0) into 1 5.062 * [backup-simplify]: Simplify (log 1) into 0 5.062 * [backup-simplify]: Simplify (* 0 0) into 0 5.063 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 5.064 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 5.065 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 5.066 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 5.069 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 5.069 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 5.070 * [backup-simplify]: Simplify (exp 0) into 1 5.070 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x 5.070 * [taylor]: Taking taylor expansion of x in x 5.070 * [backup-simplify]: Simplify 0 into 0 5.070 * [backup-simplify]: Simplify 1 into 1 5.070 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x 5.070 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x 5.070 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x 5.070 * [taylor]: Taking taylor expansion of y in x 5.070 * [backup-simplify]: Simplify y into y 5.070 * [taylor]: Taking taylor expansion of (log (exp y)) in x 5.070 * [taylor]: Taking taylor expansion of (exp y) in x 5.070 * [taylor]: Taking taylor expansion of y in x 5.070 * [backup-simplify]: Simplify y into y 5.070 * [backup-simplify]: Simplify (exp y) into (exp y) 5.070 * [backup-simplify]: Simplify (log (exp y)) into y 5.070 * [backup-simplify]: Simplify (* y y) into (pow y 2) 5.070 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 5.070 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x 5.070 * [taylor]: Taking taylor expansion of x in x 5.070 * [backup-simplify]: Simplify 0 into 0 5.070 * [backup-simplify]: Simplify 1 into 1 5.070 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x 5.070 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x 5.070 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x 5.070 * [taylor]: Taking taylor expansion of y in x 5.070 * [backup-simplify]: Simplify y into y 5.070 * [taylor]: Taking taylor expansion of (log (exp y)) in x 5.070 * [taylor]: Taking taylor expansion of (exp y) in x 5.070 * [taylor]: Taking taylor expansion of y in x 5.070 * [backup-simplify]: Simplify y into y 5.070 * [backup-simplify]: Simplify (exp y) into (exp y) 5.070 * [backup-simplify]: Simplify (log (exp y)) into y 5.071 * [backup-simplify]: Simplify (* y y) into (pow y 2) 5.071 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 5.071 * [backup-simplify]: Simplify (* 0 (exp (pow y 2))) into 0 5.071 * [taylor]: Taking taylor expansion of 0 in y 5.071 * [backup-simplify]: Simplify 0 into 0 5.071 * [backup-simplify]: Simplify 0 into 0 5.072 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 1) 1)))) into 0 5.072 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp y) 1)))) 1) into 0 5.072 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 5.073 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0 5.074 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (pow y 2)))) into (exp (pow y 2)) 5.074 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.074 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.074 * [taylor]: Taking taylor expansion of y in y 5.074 * [backup-simplify]: Simplify 0 into 0 5.074 * [backup-simplify]: Simplify 1 into 1 5.074 * [backup-simplify]: Simplify (* 1 1) into 1 5.074 * [backup-simplify]: Simplify (exp 0) into 1 5.074 * [backup-simplify]: Simplify 1 into 1 5.074 * [backup-simplify]: Simplify 0 into 0 5.075 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.077 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp y) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp y) 1)))) 2) into 0 5.078 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 5.079 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.080 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (pow y 2))))) into 0 5.080 * [taylor]: Taking taylor expansion of 0 in y 5.080 * [backup-simplify]: Simplify 0 into 0 5.080 * [backup-simplify]: Simplify 0 into 0 5.081 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 5.081 * [backup-simplify]: Simplify 0 into 0 5.081 * [backup-simplify]: Simplify 0 into 0 5.082 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.085 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp y) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp y) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp y) 1)))) 6) into 0 5.085 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 5.087 * [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 5.088 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (pow y 2)))))) into 0 5.088 * [taylor]: Taking taylor expansion of 0 in y 5.088 * [backup-simplify]: Simplify 0 into 0 5.088 * [backup-simplify]: Simplify 0 into 0 5.088 * [backup-simplify]: Simplify 0 into 0 5.088 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x 5.088 * [backup-simplify]: Simplify (* (/ 1 x) (pow (exp (/ 1 y)) (/ 1 y))) into (/ (pow (exp (/ 1 y)) (/ 1 y)) x) 5.088 * [approximate]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in (x y) around 0 5.088 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in y 5.088 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 5.088 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 5.088 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 5.088 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.089 * [taylor]: Taking taylor expansion of y in y 5.089 * [backup-simplify]: Simplify 0 into 0 5.089 * [backup-simplify]: Simplify 1 into 1 5.089 * [backup-simplify]: Simplify (/ 1 1) into 1 5.089 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 5.089 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 5.089 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.089 * [taylor]: Taking taylor expansion of y in y 5.089 * [backup-simplify]: Simplify 0 into 0 5.089 * [backup-simplify]: Simplify 1 into 1 5.089 * [backup-simplify]: Simplify (/ 1 1) into 1 5.090 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 5.090 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 5.090 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 5.090 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2))) 5.090 * [taylor]: Taking taylor expansion of x in y 5.090 * [backup-simplify]: Simplify x into x 5.090 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 5.090 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x 5.090 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x 5.090 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x 5.090 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x 5.090 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.090 * [taylor]: Taking taylor expansion of y in x 5.090 * [backup-simplify]: Simplify y into y 5.090 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.090 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 5.090 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 5.090 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.090 * [taylor]: Taking taylor expansion of y in x 5.090 * [backup-simplify]: Simplify y into y 5.090 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.090 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 5.090 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 5.091 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2)) 5.091 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.091 * [taylor]: Taking taylor expansion of x in x 5.091 * [backup-simplify]: Simplify 0 into 0 5.091 * [backup-simplify]: Simplify 1 into 1 5.091 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 5.091 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x 5.091 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x 5.091 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x 5.091 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x 5.091 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.091 * [taylor]: Taking taylor expansion of y in x 5.091 * [backup-simplify]: Simplify y into y 5.091 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.091 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 5.091 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 5.091 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.091 * [taylor]: Taking taylor expansion of y in x 5.091 * [backup-simplify]: Simplify y into y 5.091 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.091 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 5.091 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 5.091 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2)) 5.092 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.092 * [taylor]: Taking taylor expansion of x in x 5.092 * [backup-simplify]: Simplify 0 into 0 5.092 * [backup-simplify]: Simplify 1 into 1 5.092 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 5.092 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.092 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.092 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.092 * [taylor]: Taking taylor expansion of y in y 5.092 * [backup-simplify]: Simplify 0 into 0 5.092 * [backup-simplify]: Simplify 1 into 1 5.092 * [backup-simplify]: Simplify (* 1 1) into 1 5.093 * [backup-simplify]: Simplify (/ 1 1) into 1 5.093 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.093 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.093 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.094 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 5.094 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ 1 y)) 1)))) 1) into 0 5.095 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.095 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 (/ 1 y))) into 0 5.100 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 5.101 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 5.101 * [taylor]: Taking taylor expansion of 0 in y 5.101 * [backup-simplify]: Simplify 0 into 0 5.102 * [backup-simplify]: Simplify 0 into 0 5.102 * [backup-simplify]: Simplify 0 into 0 5.102 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.103 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.105 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 1)))) 2) into 0 5.105 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.105 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 5.106 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.108 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.108 * [taylor]: Taking taylor expansion of 0 in y 5.108 * [backup-simplify]: Simplify 0 into 0 5.108 * [backup-simplify]: Simplify 0 into 0 5.108 * [backup-simplify]: Simplify 0 into 0 5.108 * [backup-simplify]: Simplify 0 into 0 5.108 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.110 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.113 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (/ 1 y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 1)))) 6) into 0 5.113 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.114 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 5.115 * [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 5.117 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.117 * [taylor]: Taking taylor expansion of 0 in y 5.117 * [backup-simplify]: Simplify 0 into 0 5.117 * [backup-simplify]: Simplify 0 into 0 5.117 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 y) 2))) (* 1 (/ 1 (/ 1 x)))) into (* x (exp (pow y 2))) 5.117 * [backup-simplify]: Simplify (* (/ 1 (- x)) (pow (exp (/ 1 (- y))) (/ 1 (- y)))) into (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) 5.117 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in (x y) around 0 5.117 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in y 5.117 * [taylor]: Taking taylor expansion of -1 in y 5.117 * [backup-simplify]: Simplify -1 into -1 5.118 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in y 5.118 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 5.118 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 5.118 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 5.118 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.118 * [taylor]: Taking taylor expansion of -1 in y 5.118 * [backup-simplify]: Simplify -1 into -1 5.118 * [taylor]: Taking taylor expansion of y in y 5.118 * [backup-simplify]: Simplify 0 into 0 5.118 * [backup-simplify]: Simplify 1 into 1 5.118 * [backup-simplify]: Simplify (/ -1 1) into -1 5.118 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 5.118 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 5.118 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.118 * [taylor]: Taking taylor expansion of -1 in y 5.118 * [backup-simplify]: Simplify -1 into -1 5.118 * [taylor]: Taking taylor expansion of y in y 5.118 * [backup-simplify]: Simplify 0 into 0 5.118 * [backup-simplify]: Simplify 1 into 1 5.119 * [backup-simplify]: Simplify (/ -1 1) into -1 5.119 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 5.119 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 5.119 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 5.119 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2))) 5.119 * [taylor]: Taking taylor expansion of x in y 5.119 * [backup-simplify]: Simplify x into x 5.119 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 5.119 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x 5.119 * [taylor]: Taking taylor expansion of -1 in x 5.119 * [backup-simplify]: Simplify -1 into -1 5.119 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x 5.119 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x 5.119 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x 5.119 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x 5.119 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.119 * [taylor]: Taking taylor expansion of -1 in x 5.120 * [backup-simplify]: Simplify -1 into -1 5.120 * [taylor]: Taking taylor expansion of y in x 5.120 * [backup-simplify]: Simplify y into y 5.120 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 5.120 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 5.120 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 5.120 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.120 * [taylor]: Taking taylor expansion of -1 in x 5.120 * [backup-simplify]: Simplify -1 into -1 5.120 * [taylor]: Taking taylor expansion of y in x 5.120 * [backup-simplify]: Simplify y into y 5.120 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 5.120 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 5.120 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 5.120 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2)) 5.120 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.120 * [taylor]: Taking taylor expansion of x in x 5.120 * [backup-simplify]: Simplify 0 into 0 5.120 * [backup-simplify]: Simplify 1 into 1 5.120 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 5.120 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x 5.120 * [taylor]: Taking taylor expansion of -1 in x 5.120 * [backup-simplify]: Simplify -1 into -1 5.120 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x 5.120 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x 5.120 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x 5.120 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x 5.120 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.121 * [taylor]: Taking taylor expansion of -1 in x 5.121 * [backup-simplify]: Simplify -1 into -1 5.121 * [taylor]: Taking taylor expansion of y in x 5.121 * [backup-simplify]: Simplify y into y 5.121 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 5.121 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 5.121 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 5.121 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.121 * [taylor]: Taking taylor expansion of -1 in x 5.121 * [backup-simplify]: Simplify -1 into -1 5.121 * [taylor]: Taking taylor expansion of y in x 5.121 * [backup-simplify]: Simplify y into y 5.121 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 5.121 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 5.121 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 5.121 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2)) 5.121 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.121 * [taylor]: Taking taylor expansion of x in x 5.121 * [backup-simplify]: Simplify 0 into 0 5.121 * [backup-simplify]: Simplify 1 into 1 5.121 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 5.122 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 5.122 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 5.122 * [taylor]: Taking taylor expansion of -1 in y 5.122 * [backup-simplify]: Simplify -1 into -1 5.122 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.122 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.122 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.122 * [taylor]: Taking taylor expansion of y in y 5.122 * [backup-simplify]: Simplify 0 into 0 5.122 * [backup-simplify]: Simplify 1 into 1 5.122 * [backup-simplify]: Simplify (* 1 1) into 1 5.122 * [backup-simplify]: Simplify (/ 1 1) into 1 5.123 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 5.123 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 5.123 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 5.123 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 5.124 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 5.124 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ -1 y)) 1)))) 1) into 0 5.125 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 5.125 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (* 0 (/ -1 y))) into 0 5.125 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 5.127 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 5.127 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 5.127 * [taylor]: Taking taylor expansion of 0 in y 5.127 * [backup-simplify]: Simplify 0 into 0 5.127 * [backup-simplify]: Simplify 0 into 0 5.128 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 5.128 * [backup-simplify]: Simplify 0 into 0 5.128 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.129 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.131 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 1)))) 2) into 0 5.131 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.131 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0 5.133 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.134 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.135 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 5.135 * [taylor]: Taking taylor expansion of 0 in y 5.135 * [backup-simplify]: Simplify 0 into 0 5.135 * [backup-simplify]: Simplify 0 into 0 5.135 * [backup-simplify]: Simplify 0 into 0 5.136 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 5.136 * [backup-simplify]: Simplify 0 into 0 5.136 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.138 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.140 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (/ -1 y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 1)))) 6) into 0 5.140 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.141 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0 5.143 * [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 5.145 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.146 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2))))))) into 0 5.146 * [taylor]: Taking taylor expansion of 0 in y 5.146 * [backup-simplify]: Simplify 0 into 0 5.146 * [backup-simplify]: Simplify 0 into 0 5.146 * [backup-simplify]: Simplify (* (* -1 (exp (/ 1 (pow (/ 1 (- y)) 2)))) (* 1 (/ 1 (/ 1 (- x))))) into (* x (exp (pow y 2))) 5.146 * * * [progress]: simplifying candidates 5.146 * * * * [progress]: [ 1 / 53 ] simplifiying candidate # 5.146 * * * * [progress]: [ 2 / 53 ] simplifiying candidate # 5.146 * * * * [progress]: [ 3 / 53 ] simplifiying candidate # 5.146 * * * * [progress]: [ 4 / 53 ] simplifiying candidate # 5.146 * * * * [progress]: [ 5 / 53 ] simplifiying candidate # 5.146 * * * * [progress]: [ 6 / 53 ] simplifiying candidate # 5.147 * * * * [progress]: [ 7 / 53 ] simplifiying candidate # 5.147 * * * * [progress]: [ 8 / 53 ] simplifiying candidate # 5.147 * * * * [progress]: [ 9 / 53 ] simplifiying candidate # 5.147 * * * * [progress]: [ 10 / 53 ] simplifiying candidate # 5.147 * * * * [progress]: [ 11 / 53 ] simplifiying candidate # 5.147 * * * * [progress]: [ 12 / 53 ] simplifiying candidate # 5.147 * * * * [progress]: [ 13 / 53 ] simplifiying candidate # 5.147 * * * * [progress]: [ 14 / 53 ] simplifiying candidate # 5.147 * * * * [progress]: [ 15 / 53 ] simplifiying candidate # 5.147 * * * * [progress]: [ 16 / 53 ] simplifiying candidate # 5.147 * * * * [progress]: [ 17 / 53 ] simplifiying candidate # 5.147 * * * * [progress]: [ 18 / 53 ] simplifiying candidate # 5.147 * * * * [progress]: [ 19 / 53 ] simplifiying candidate # 5.147 * * * * [progress]: [ 20 / 53 ] simplifiying candidate # 5.147 * * * * [progress]: [ 21 / 53 ] simplifiying candidate #real (real->posit16 (pow (exp y) y)))))> 5.147 * * * * [progress]: [ 22 / 53 ] simplifiying candidate # 5.147 * * * * [progress]: [ 23 / 53 ] simplifiying candidate # 5.148 * * * * [progress]: [ 24 / 53 ] simplifiying candidate # 5.148 * * * * [progress]: [ 25 / 53 ] simplifiying candidate # 5.148 * * * * [progress]: [ 26 / 53 ] simplifiying candidate # 5.148 * * * * [progress]: [ 27 / 53 ] simplifiying candidate # 5.148 * * * * [progress]: [ 28 / 53 ] simplifiying candidate # 5.148 * * * * [progress]: [ 29 / 53 ] simplifiying candidate # 5.148 * * * * [progress]: [ 30 / 53 ] simplifiying candidate # 5.148 * * * * [progress]: [ 31 / 53 ] simplifiying candidate # 5.148 * * * * [progress]: [ 32 / 53 ] simplifiying candidate # 5.148 * * * * [progress]: [ 33 / 53 ] simplifiying candidate # 5.148 * * * * [progress]: [ 34 / 53 ] simplifiying candidate # 5.148 * * * * [progress]: [ 35 / 53 ] simplifiying candidate # 5.148 * * * * [progress]: [ 36 / 53 ] simplifiying candidate # 5.148 * * * * [progress]: [ 37 / 53 ] simplifiying candidate # 5.148 * * * * [progress]: [ 38 / 53 ] simplifiying candidate # 5.148 * * * * [progress]: [ 39 / 53 ] simplifiying candidate # 5.148 * * * * [progress]: [ 40 / 53 ] simplifiying candidate # 5.148 * * * * [progress]: [ 41 / 53 ] simplifiying candidate # 5.148 * * * * [progress]: [ 42 / 53 ] simplifiying candidate # 5.149 * * * * [progress]: [ 43 / 53 ] simplifiying candidate # 5.149 * * * * [progress]: [ 44 / 53 ] simplifiying candidate # 5.149 * * * * [progress]: [ 45 / 53 ] simplifiying candidate # 5.149 * * * * [progress]: [ 46 / 53 ] simplifiying candidate #real (real->posit16 (* x (pow (exp y) y)))))> 5.149 * * * * [progress]: [ 47 / 53 ] simplifiying candidate # 5.149 * * * * [progress]: [ 48 / 53 ] simplifiying candidate # 5.149 * * * * [progress]: [ 49 / 53 ] simplifiying candidate # 5.149 * * * * [progress]: [ 50 / 53 ] simplifiying candidate # 5.149 * * * * [progress]: [ 51 / 53 ] simplifiying candidate # 5.149 * * * * [progress]: [ 52 / 53 ] simplifiying candidate # 5.149 * * * * [progress]: [ 53 / 53 ] simplifiying candidate # 5.150 * [simplify]: Simplifying: (* y y) (* (log (exp y)) y) (* 1 y) (* (cbrt y) y) (* (sqrt y) y) (* y y) (pow (exp y) (* (cbrt y) (cbrt y))) (pow (exp y) (sqrt y)) (pow (exp y) 1) (pow (* (cbrt (exp y)) (cbrt (exp y))) y) (pow (cbrt (exp y)) y) (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y) (pow 1 y) (pow (exp y) y) (log (pow (exp y) y)) (exp (pow (exp y) y)) (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y))) (cbrt (pow (exp y) y)) (* (* (pow (exp y) y) (pow (exp y) y)) (pow (exp y) y)) (sqrt (pow (exp y) y)) (sqrt (pow (exp y) y)) (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2)) (real->posit16 (pow (exp y) y)) (+ (log x) (* y y)) (+ (log x) (* (log (exp y)) y)) (+ (log x) (log (pow (exp y) y))) (log (* x (pow (exp y) y))) (exp (* x (pow (exp y) y))) (* (* (* x x) x) (* (* (pow (exp y) y) (pow (exp y) y)) (pow (exp y) y))) (* (cbrt (* x (pow (exp y) y))) (cbrt (* x (pow (exp y) y)))) (cbrt (* x (pow (exp y) y))) (* (* (* x (pow (exp y) y)) (* x (pow (exp y) y))) (* x (pow (exp y) y))) (sqrt (* x (pow (exp y) y))) (sqrt (* x (pow (exp y) y))) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (sqrt (pow (exp y) y))) (* (sqrt x) (sqrt (pow (exp y) y))) (* (sqrt x) (pow (exp y) (/ y 2))) (* (sqrt x) (pow (exp y) (/ y 2))) (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y)) (* x (pow (sqrt (exp y)) y)) (* x (pow 1 y)) (* x (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y)))) (* x (sqrt (pow (exp y) y))) (* x 1) (* x (pow (exp y) (/ y 2))) (* (cbrt x) (pow (exp y) y)) (* (sqrt x) (pow (exp y) y)) (* x (pow (exp y) y)) (real->posit16 (* x (pow (exp y) y))) (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) (exp (pow y 2)) (exp (pow y 2)) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) 5.151 * * [simplify]: iteration 0: 74 enodes 5.180 * * [simplify]: iteration 1: 169 enodes 5.218 * * [simplify]: iteration 2: 396 enodes 5.393 * * [simplify]: iteration 3: 1203 enodes 6.056 * * [simplify]: iteration complete: 5002 enodes 6.056 * * [simplify]: Extracting #0: cost 43 inf + 0 6.057 * * [simplify]: Extracting #1: cost 438 inf + 44 6.061 * * [simplify]: Extracting #2: cost 1365 inf + 13017 6.084 * * [simplify]: Extracting #3: cost 1022 inf + 225579 6.141 * * [simplify]: Extracting #4: cost 246 inf + 539784 6.239 * * [simplify]: Extracting #5: cost 6 inf + 657157 6.311 * * [simplify]: Extracting #6: cost 0 inf + 650120 6.399 * * [simplify]: Extracting #7: cost 0 inf + 646708 6.487 * [simplify]: Simplified to: (* y y) (* y y) y (* (cbrt y) y) (* y (sqrt y)) (* y y) (pow (exp y) (* (cbrt y) (cbrt y))) (pow (exp y) (sqrt y)) (exp y) (pow (* (cbrt (exp y)) (cbrt (exp y))) y) (pow (cbrt (exp y)) y) (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y) 1 (pow (exp y) y) (* y y) (exp (pow (exp y) y)) (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y))) (cbrt (pow (exp y) y)) (* (* (pow (exp y) y) (pow (exp y) y)) (pow (exp y) y)) (sqrt (pow (exp y) y)) (sqrt (pow (exp y) y)) (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2)) (real->posit16 (pow (exp y) y)) (+ (log x) (* y y)) (+ (log x) (* y y)) (+ (* y y) (log x)) (+ (* y y) (log x)) (exp (* (pow (exp y) y) x)) (* (* (pow (exp y) y) x) (* (* (pow (exp y) y) x) (* (pow (exp y) y) x))) (* (cbrt (* (pow (exp y) y) x)) (cbrt (* (pow (exp y) y) x))) (cbrt (* (pow (exp y) y) x)) (* (* (pow (exp y) y) x) (* (* (pow (exp y) y) x) (* (pow (exp y) y) x))) (sqrt (* (pow (exp y) y) x)) (sqrt (* (pow (exp y) y) x)) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (sqrt (pow (exp y) y))) (* (sqrt x) (sqrt (pow (exp y) y))) (* (pow (exp y) (/ y 2)) (sqrt x)) (* (pow (exp y) (/ y 2)) (sqrt x)) (* (pow (* (cbrt (exp y)) (cbrt (exp y))) y) x) (* x (pow (sqrt (exp y)) y)) x (* (* (cbrt (pow (exp y) y)) x) (cbrt (pow (exp y) y))) (* x (sqrt (pow (exp y) y))) x (* x (pow (exp y) (/ y 2))) (* (cbrt x) (pow (exp y) y)) (* (sqrt x) (pow (exp y) y)) (* (pow (exp y) y) x) (real->posit16 (* (pow (exp y) y) x)) (+ (* y y) (+ 1 (* 1/2 (* (* y y) (* y y))))) (exp (* y y)) (exp (* y y)) x (* x (exp (* y y))) (* x (exp (* y y))) 6.490 * * * [progress]: adding candidates to table 6.690 * * [progress]: iteration 3 / 4 6.690 * * * [progress]: picking best candidate 6.700 * * * * [pick]: Picked # 6.700 * * * [progress]: localizing error 6.724 * * * [progress]: generating rewritten candidates 6.724 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 6.729 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 6.751 * * * [progress]: generating series expansions 6.751 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 6.751 * [backup-simplify]: Simplify (pow (exp 1) (* y y)) into (pow E (pow y 2)) 6.751 * [approximate]: Taking taylor expansion of (pow E (pow y 2)) in (y) around 0 6.751 * [taylor]: Taking taylor expansion of (pow E (pow y 2)) in y 6.751 * [taylor]: Taking taylor expansion of (exp (* (pow y 2) (log E))) in y 6.751 * [taylor]: Taking taylor expansion of (* (pow y 2) (log E)) in y 6.751 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.751 * [taylor]: Taking taylor expansion of y in y 6.751 * [backup-simplify]: Simplify 0 into 0 6.751 * [backup-simplify]: Simplify 1 into 1 6.751 * [taylor]: Taking taylor expansion of (log E) in y 6.751 * [taylor]: Taking taylor expansion of E in y 6.751 * [backup-simplify]: Simplify E into E 6.751 * [backup-simplify]: Simplify (log E) into 1 6.752 * [backup-simplify]: Simplify (* 1 1) into 1 6.753 * [backup-simplify]: Simplify (* 1 1) into 1 6.753 * [backup-simplify]: Simplify (exp 0) into 1 6.753 * [taylor]: Taking taylor expansion of (pow E (pow y 2)) in y 6.753 * [taylor]: Taking taylor expansion of (exp (* (pow y 2) (log E))) in y 6.753 * [taylor]: Taking taylor expansion of (* (pow y 2) (log E)) in y 6.753 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.753 * [taylor]: Taking taylor expansion of y in y 6.753 * [backup-simplify]: Simplify 0 into 0 6.753 * [backup-simplify]: Simplify 1 into 1 6.753 * [taylor]: Taking taylor expansion of (log E) in y 6.753 * [taylor]: Taking taylor expansion of E in y 6.753 * [backup-simplify]: Simplify E into E 6.753 * [backup-simplify]: Simplify (log E) into 1 6.753 * [backup-simplify]: Simplify (* 1 1) into 1 6.754 * [backup-simplify]: Simplify (* 1 1) into 1 6.754 * [backup-simplify]: Simplify (exp 0) into 1 6.754 * [backup-simplify]: Simplify 1 into 1 6.755 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 6.755 * [backup-simplify]: Simplify 0 into 0 6.757 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1 6.757 * [backup-simplify]: Simplify 1 into 1 6.759 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 6.759 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.760 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.763 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.763 * [backup-simplify]: Simplify 0 into 0 6.766 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 6.767 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.768 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.772 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.772 * [backup-simplify]: Simplify 1/2 into 1/2 6.773 * [backup-simplify]: Simplify (+ (* 1/2 (pow y 4)) (+ (* 1 (pow y 2)) 1)) into (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) 6.773 * [backup-simplify]: Simplify (pow (exp 1) (* (/ 1 y) (/ 1 y))) into (pow E (/ 1 (pow y 2))) 6.773 * [approximate]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in (y) around 0 6.773 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in y 6.773 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in y 6.773 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in y 6.773 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.773 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.773 * [taylor]: Taking taylor expansion of y in y 6.773 * [backup-simplify]: Simplify 0 into 0 6.773 * [backup-simplify]: Simplify 1 into 1 6.774 * [backup-simplify]: Simplify (* 1 1) into 1 6.774 * [backup-simplify]: Simplify (/ 1 1) into 1 6.774 * [taylor]: Taking taylor expansion of (log E) in y 6.774 * [taylor]: Taking taylor expansion of E in y 6.774 * [backup-simplify]: Simplify E into E 6.774 * [backup-simplify]: Simplify (log E) into 1 6.775 * [backup-simplify]: Simplify (* 1 1) into 1 6.775 * [backup-simplify]: Simplify (exp (* (/ 1 (pow y 2)) (log E))) into (exp (/ 1 (pow y 2))) 6.775 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in y 6.775 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in y 6.775 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in y 6.775 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.775 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.775 * [taylor]: Taking taylor expansion of y in y 6.775 * [backup-simplify]: Simplify 0 into 0 6.775 * [backup-simplify]: Simplify 1 into 1 6.775 * [backup-simplify]: Simplify (* 1 1) into 1 6.776 * [backup-simplify]: Simplify (/ 1 1) into 1 6.776 * [taylor]: Taking taylor expansion of (log E) in y 6.776 * [taylor]: Taking taylor expansion of E in y 6.776 * [backup-simplify]: Simplify E into E 6.776 * [backup-simplify]: Simplify (log E) into 1 6.776 * [backup-simplify]: Simplify (* 1 1) into 1 6.776 * [backup-simplify]: Simplify (exp (* (/ 1 (pow y 2)) (log E))) into (exp (/ 1 (pow y 2))) 6.776 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 6.776 * [backup-simplify]: Simplify 0 into 0 6.776 * [backup-simplify]: Simplify 0 into 0 6.777 * [backup-simplify]: Simplify 0 into 0 6.777 * [backup-simplify]: Simplify 0 into 0 6.777 * [backup-simplify]: Simplify 0 into 0 6.777 * [backup-simplify]: Simplify 0 into 0 6.777 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 y) 2))) into (exp (pow y 2)) 6.777 * [backup-simplify]: Simplify (pow (exp 1) (* (/ 1 (- y)) (/ 1 (- y)))) into (pow E (/ 1 (pow y 2))) 6.777 * [approximate]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in (y) around 0 6.777 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in y 6.777 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in y 6.777 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in y 6.777 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.777 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.777 * [taylor]: Taking taylor expansion of y in y 6.777 * [backup-simplify]: Simplify 0 into 0 6.777 * [backup-simplify]: Simplify 1 into 1 6.777 * [backup-simplify]: Simplify (* 1 1) into 1 6.777 * [backup-simplify]: Simplify (/ 1 1) into 1 6.777 * [taylor]: Taking taylor expansion of (log E) in y 6.777 * [taylor]: Taking taylor expansion of E in y 6.777 * [backup-simplify]: Simplify E into E 6.777 * [backup-simplify]: Simplify (log E) into 1 6.778 * [backup-simplify]: Simplify (* 1 1) into 1 6.778 * [backup-simplify]: Simplify (exp (* (/ 1 (pow y 2)) (log E))) into (exp (/ 1 (pow y 2))) 6.778 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in y 6.778 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in y 6.778 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in y 6.778 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.778 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.778 * [taylor]: Taking taylor expansion of y in y 6.778 * [backup-simplify]: Simplify 0 into 0 6.778 * [backup-simplify]: Simplify 1 into 1 6.778 * [backup-simplify]: Simplify (* 1 1) into 1 6.778 * [backup-simplify]: Simplify (/ 1 1) into 1 6.778 * [taylor]: Taking taylor expansion of (log E) in y 6.778 * [taylor]: Taking taylor expansion of E in y 6.779 * [backup-simplify]: Simplify E into E 6.779 * [backup-simplify]: Simplify (log E) into 1 6.779 * [backup-simplify]: Simplify (* 1 1) into 1 6.779 * [backup-simplify]: Simplify (exp (* (/ 1 (pow y 2)) (log E))) into (exp (/ 1 (pow y 2))) 6.779 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 6.779 * [backup-simplify]: Simplify 0 into 0 6.779 * [backup-simplify]: Simplify 0 into 0 6.779 * [backup-simplify]: Simplify 0 into 0 6.779 * [backup-simplify]: Simplify 0 into 0 6.779 * [backup-simplify]: Simplify 0 into 0 6.779 * [backup-simplify]: Simplify 0 into 0 6.779 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 (- y)) 2))) into (exp (pow y 2)) 6.779 * * * * [progress]: [ 2 / 2 ] generating series at (2) 6.779 * [backup-simplify]: Simplify (* x (pow (exp 1) (* y y))) into (* x (pow E (pow y 2))) 6.779 * [approximate]: Taking taylor expansion of (* x (pow E (pow y 2))) in (x y) around 0 6.779 * [taylor]: Taking taylor expansion of (* x (pow E (pow y 2))) in y 6.779 * [taylor]: Taking taylor expansion of x in y 6.779 * [backup-simplify]: Simplify x into x 6.779 * [taylor]: Taking taylor expansion of (pow E (pow y 2)) in y 6.779 * [taylor]: Taking taylor expansion of (exp (* (pow y 2) (log E))) in y 6.779 * [taylor]: Taking taylor expansion of (* (pow y 2) (log E)) in y 6.779 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.779 * [taylor]: Taking taylor expansion of y in y 6.779 * [backup-simplify]: Simplify 0 into 0 6.779 * [backup-simplify]: Simplify 1 into 1 6.780 * [taylor]: Taking taylor expansion of (log E) in y 6.780 * [taylor]: Taking taylor expansion of E in y 6.780 * [backup-simplify]: Simplify E into E 6.780 * [backup-simplify]: Simplify (log E) into 1 6.780 * [backup-simplify]: Simplify (* 1 1) into 1 6.780 * [backup-simplify]: Simplify (* 1 1) into 1 6.780 * [backup-simplify]: Simplify (exp 0) into 1 6.780 * [taylor]: Taking taylor expansion of (* x (pow E (pow y 2))) in x 6.780 * [taylor]: Taking taylor expansion of x in x 6.780 * [backup-simplify]: Simplify 0 into 0 6.780 * [backup-simplify]: Simplify 1 into 1 6.780 * [taylor]: Taking taylor expansion of (pow E (pow y 2)) in x 6.780 * [taylor]: Taking taylor expansion of (exp (* (pow y 2) (log E))) in x 6.780 * [taylor]: Taking taylor expansion of (* (pow y 2) (log E)) in x 6.780 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.780 * [taylor]: Taking taylor expansion of y in x 6.780 * [backup-simplify]: Simplify y into y 6.780 * [taylor]: Taking taylor expansion of (log E) in x 6.780 * [taylor]: Taking taylor expansion of E in x 6.780 * [backup-simplify]: Simplify E into E 6.780 * [backup-simplify]: Simplify (log E) into 1 6.780 * [backup-simplify]: Simplify (* y y) into (pow y 2) 6.780 * [backup-simplify]: Simplify (* (pow y 2) 1) into (pow y 2) 6.780 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 6.780 * [taylor]: Taking taylor expansion of (* x (pow E (pow y 2))) in x 6.780 * [taylor]: Taking taylor expansion of x in x 6.780 * [backup-simplify]: Simplify 0 into 0 6.780 * [backup-simplify]: Simplify 1 into 1 6.780 * [taylor]: Taking taylor expansion of (pow E (pow y 2)) in x 6.780 * [taylor]: Taking taylor expansion of (exp (* (pow y 2) (log E))) in x 6.781 * [taylor]: Taking taylor expansion of (* (pow y 2) (log E)) in x 6.781 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.781 * [taylor]: Taking taylor expansion of y in x 6.781 * [backup-simplify]: Simplify y into y 6.781 * [taylor]: Taking taylor expansion of (log E) in x 6.781 * [taylor]: Taking taylor expansion of E in x 6.781 * [backup-simplify]: Simplify E into E 6.781 * [backup-simplify]: Simplify (log E) into 1 6.781 * [backup-simplify]: Simplify (* y y) into (pow y 2) 6.781 * [backup-simplify]: Simplify (* (pow y 2) 1) into (pow y 2) 6.781 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 6.781 * [backup-simplify]: Simplify (* 0 (exp (pow y 2))) into 0 6.781 * [taylor]: Taking taylor expansion of 0 in y 6.781 * [backup-simplify]: Simplify 0 into 0 6.781 * [backup-simplify]: Simplify 0 into 0 6.782 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 6.782 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 6.782 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 1)) into 0 6.783 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0 6.783 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (pow y 2)))) into (exp (pow y 2)) 6.783 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 6.783 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.783 * [taylor]: Taking taylor expansion of y in y 6.783 * [backup-simplify]: Simplify 0 into 0 6.783 * [backup-simplify]: Simplify 1 into 1 6.783 * [backup-simplify]: Simplify (* 1 1) into 1 6.783 * [backup-simplify]: Simplify (exp 0) into 1 6.783 * [backup-simplify]: Simplify 1 into 1 6.783 * [backup-simplify]: Simplify 0 into 0 6.785 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 6.785 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 6.786 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 1))) into 0 6.787 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.787 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (pow y 2))))) into 0 6.787 * [taylor]: Taking taylor expansion of 0 in y 6.787 * [backup-simplify]: Simplify 0 into 0 6.787 * [backup-simplify]: Simplify 0 into 0 6.788 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 6.788 * [backup-simplify]: Simplify 0 into 0 6.788 * [backup-simplify]: Simplify 0 into 0 6.791 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 6.791 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 6.792 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.793 * [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 6.794 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (pow y 2)))))) into 0 6.794 * [taylor]: Taking taylor expansion of 0 in y 6.794 * [backup-simplify]: Simplify 0 into 0 6.794 * [backup-simplify]: Simplify 0 into 0 6.794 * [backup-simplify]: Simplify 0 into 0 6.794 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x 6.794 * [backup-simplify]: Simplify (* (/ 1 x) (pow (exp 1) (* (/ 1 y) (/ 1 y)))) into (/ (pow E (/ 1 (pow y 2))) x) 6.794 * [approximate]: Taking taylor expansion of (/ (pow E (/ 1 (pow y 2))) x) in (x y) around 0 6.794 * [taylor]: Taking taylor expansion of (/ (pow E (/ 1 (pow y 2))) x) in y 6.794 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in y 6.794 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in y 6.794 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in y 6.794 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.794 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.794 * [taylor]: Taking taylor expansion of y in y 6.794 * [backup-simplify]: Simplify 0 into 0 6.794 * [backup-simplify]: Simplify 1 into 1 6.794 * [backup-simplify]: Simplify (* 1 1) into 1 6.795 * [backup-simplify]: Simplify (/ 1 1) into 1 6.795 * [taylor]: Taking taylor expansion of (log E) in y 6.795 * [taylor]: Taking taylor expansion of E in y 6.795 * [backup-simplify]: Simplify E into E 6.795 * [backup-simplify]: Simplify (log E) into 1 6.795 * [backup-simplify]: Simplify (* 1 1) into 1 6.795 * [backup-simplify]: Simplify (exp (* (/ 1 (pow y 2)) (log E))) into (exp (/ 1 (pow y 2))) 6.795 * [taylor]: Taking taylor expansion of x in y 6.795 * [backup-simplify]: Simplify x into x 6.795 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 6.795 * [taylor]: Taking taylor expansion of (/ (pow E (/ 1 (pow y 2))) x) in x 6.795 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in x 6.795 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in x 6.795 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in x 6.795 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 6.795 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.795 * [taylor]: Taking taylor expansion of y in x 6.795 * [backup-simplify]: Simplify y into y 6.795 * [backup-simplify]: Simplify (* y y) into (pow y 2) 6.795 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 6.795 * [taylor]: Taking taylor expansion of (log E) in x 6.795 * [taylor]: Taking taylor expansion of E in x 6.795 * [backup-simplify]: Simplify E into E 6.795 * [backup-simplify]: Simplify (log E) into 1 6.795 * [backup-simplify]: Simplify (* (/ 1 (pow y 2)) 1) into (/ 1 (pow y 2)) 6.796 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 6.796 * [taylor]: Taking taylor expansion of x in x 6.796 * [backup-simplify]: Simplify 0 into 0 6.796 * [backup-simplify]: Simplify 1 into 1 6.796 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 6.796 * [taylor]: Taking taylor expansion of (/ (pow E (/ 1 (pow y 2))) x) in x 6.796 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in x 6.796 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in x 6.796 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in x 6.796 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 6.796 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.796 * [taylor]: Taking taylor expansion of y in x 6.796 * [backup-simplify]: Simplify y into y 6.796 * [backup-simplify]: Simplify (* y y) into (pow y 2) 6.796 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 6.796 * [taylor]: Taking taylor expansion of (log E) in x 6.796 * [taylor]: Taking taylor expansion of E in x 6.796 * [backup-simplify]: Simplify E into E 6.796 * [backup-simplify]: Simplify (log E) into 1 6.796 * [backup-simplify]: Simplify (* (/ 1 (pow y 2)) 1) into (/ 1 (pow y 2)) 6.796 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 6.796 * [taylor]: Taking taylor expansion of x in x 6.796 * [backup-simplify]: Simplify 0 into 0 6.796 * [backup-simplify]: Simplify 1 into 1 6.796 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 6.796 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 6.796 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.796 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.796 * [taylor]: Taking taylor expansion of y in y 6.796 * [backup-simplify]: Simplify 0 into 0 6.796 * [backup-simplify]: Simplify 1 into 1 6.797 * [backup-simplify]: Simplify (* 1 1) into 1 6.797 * [backup-simplify]: Simplify (/ 1 1) into 1 6.797 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 6.797 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 6.798 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 6.798 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 6.798 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 6.798 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (* 0 1)) into 0 6.799 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 6.799 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 6.799 * [taylor]: Taking taylor expansion of 0 in y 6.799 * [backup-simplify]: Simplify 0 into 0 6.799 * [backup-simplify]: Simplify 0 into 0 6.800 * [backup-simplify]: Simplify 0 into 0 6.801 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 6.802 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 6.802 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 6.802 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (+ (* 0 0) (* 0 1))) into 0 6.803 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.804 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.804 * [taylor]: Taking taylor expansion of 0 in y 6.804 * [backup-simplify]: Simplify 0 into 0 6.804 * [backup-simplify]: Simplify 0 into 0 6.804 * [backup-simplify]: Simplify 0 into 0 6.804 * [backup-simplify]: Simplify 0 into 0 6.807 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 6.807 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 6.808 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 6.808 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.809 * [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 6.811 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.811 * [taylor]: Taking taylor expansion of 0 in y 6.811 * [backup-simplify]: Simplify 0 into 0 6.811 * [backup-simplify]: Simplify 0 into 0 6.811 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 y) 2))) (* 1 (/ 1 (/ 1 x)))) into (* x (exp (pow y 2))) 6.811 * [backup-simplify]: Simplify (* (/ 1 (- x)) (pow (exp 1) (* (/ 1 (- y)) (/ 1 (- y))))) into (* -1 (/ (pow E (/ 1 (pow y 2))) x)) 6.811 * [approximate]: Taking taylor expansion of (* -1 (/ (pow E (/ 1 (pow y 2))) x)) in (x y) around 0 6.811 * [taylor]: Taking taylor expansion of (* -1 (/ (pow E (/ 1 (pow y 2))) x)) in y 6.811 * [taylor]: Taking taylor expansion of -1 in y 6.811 * [backup-simplify]: Simplify -1 into -1 6.811 * [taylor]: Taking taylor expansion of (/ (pow E (/ 1 (pow y 2))) x) in y 6.811 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in y 6.811 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in y 6.811 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in y 6.811 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.811 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.811 * [taylor]: Taking taylor expansion of y in y 6.811 * [backup-simplify]: Simplify 0 into 0 6.811 * [backup-simplify]: Simplify 1 into 1 6.812 * [backup-simplify]: Simplify (* 1 1) into 1 6.812 * [backup-simplify]: Simplify (/ 1 1) into 1 6.812 * [taylor]: Taking taylor expansion of (log E) in y 6.812 * [taylor]: Taking taylor expansion of E in y 6.812 * [backup-simplify]: Simplify E into E 6.812 * [backup-simplify]: Simplify (log E) into 1 6.812 * [backup-simplify]: Simplify (* 1 1) into 1 6.812 * [backup-simplify]: Simplify (exp (* (/ 1 (pow y 2)) (log E))) into (exp (/ 1 (pow y 2))) 6.812 * [taylor]: Taking taylor expansion of x in y 6.812 * [backup-simplify]: Simplify x into x 6.812 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 6.812 * [taylor]: Taking taylor expansion of (* -1 (/ (pow E (/ 1 (pow y 2))) x)) in x 6.813 * [taylor]: Taking taylor expansion of -1 in x 6.813 * [backup-simplify]: Simplify -1 into -1 6.813 * [taylor]: Taking taylor expansion of (/ (pow E (/ 1 (pow y 2))) x) in x 6.813 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in x 6.813 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in x 6.813 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in x 6.813 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 6.813 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.813 * [taylor]: Taking taylor expansion of y in x 6.813 * [backup-simplify]: Simplify y into y 6.813 * [backup-simplify]: Simplify (* y y) into (pow y 2) 6.813 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 6.813 * [taylor]: Taking taylor expansion of (log E) in x 6.813 * [taylor]: Taking taylor expansion of E in x 6.813 * [backup-simplify]: Simplify E into E 6.813 * [backup-simplify]: Simplify (log E) into 1 6.813 * [backup-simplify]: Simplify (* (/ 1 (pow y 2)) 1) into (/ 1 (pow y 2)) 6.813 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 6.813 * [taylor]: Taking taylor expansion of x in x 6.813 * [backup-simplify]: Simplify 0 into 0 6.813 * [backup-simplify]: Simplify 1 into 1 6.813 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 6.813 * [taylor]: Taking taylor expansion of (* -1 (/ (pow E (/ 1 (pow y 2))) x)) in x 6.813 * [taylor]: Taking taylor expansion of -1 in x 6.813 * [backup-simplify]: Simplify -1 into -1 6.813 * [taylor]: Taking taylor expansion of (/ (pow E (/ 1 (pow y 2))) x) in x 6.813 * [taylor]: Taking taylor expansion of (pow E (/ 1 (pow y 2))) in x 6.813 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (pow y 2)) (log E))) in x 6.813 * [taylor]: Taking taylor expansion of (* (/ 1 (pow y 2)) (log E)) in x 6.813 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 6.813 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.813 * [taylor]: Taking taylor expansion of y in x 6.813 * [backup-simplify]: Simplify y into y 6.813 * [backup-simplify]: Simplify (* y y) into (pow y 2) 6.813 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 6.813 * [taylor]: Taking taylor expansion of (log E) in x 6.813 * [taylor]: Taking taylor expansion of E in x 6.813 * [backup-simplify]: Simplify E into E 6.813 * [backup-simplify]: Simplify (log E) into 1 6.813 * [backup-simplify]: Simplify (* (/ 1 (pow y 2)) 1) into (/ 1 (pow y 2)) 6.813 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 6.813 * [taylor]: Taking taylor expansion of x in x 6.813 * [backup-simplify]: Simplify 0 into 0 6.814 * [backup-simplify]: Simplify 1 into 1 6.814 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 6.814 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 6.814 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 6.814 * [taylor]: Taking taylor expansion of -1 in y 6.814 * [backup-simplify]: Simplify -1 into -1 6.814 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 6.814 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.814 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.814 * [taylor]: Taking taylor expansion of y in y 6.814 * [backup-simplify]: Simplify 0 into 0 6.814 * [backup-simplify]: Simplify 1 into 1 6.814 * [backup-simplify]: Simplify (* 1 1) into 1 6.814 * [backup-simplify]: Simplify (/ 1 1) into 1 6.814 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 6.814 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 6.815 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 6.816 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 6.816 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 6.816 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 6.816 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (* 0 1)) into 0 6.817 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 6.818 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 6.818 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 6.818 * [taylor]: Taking taylor expansion of 0 in y 6.818 * [backup-simplify]: Simplify 0 into 0 6.818 * [backup-simplify]: Simplify 0 into 0 6.819 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 6.819 * [backup-simplify]: Simplify 0 into 0 6.822 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 6.822 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 6.823 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 6.823 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (+ (* 0 0) (* 0 1))) into 0 6.825 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.826 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.827 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 6.827 * [taylor]: Taking taylor expansion of 0 in y 6.827 * [backup-simplify]: Simplify 0 into 0 6.827 * [backup-simplify]: Simplify 0 into 0 6.827 * [backup-simplify]: Simplify 0 into 0 6.828 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 6.828 * [backup-simplify]: Simplify 0 into 0 6.832 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 6.833 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 6.833 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 6.834 * [backup-simplify]: Simplify (+ (* (/ 1 (pow y 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.836 * [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 6.838 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.839 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2))))))) into 0 6.839 * [taylor]: Taking taylor expansion of 0 in y 6.839 * [backup-simplify]: Simplify 0 into 0 6.839 * [backup-simplify]: Simplify 0 into 0 6.839 * [backup-simplify]: Simplify (* (* -1 (exp (/ 1 (pow (/ 1 (- y)) 2)))) (* 1 (/ 1 (/ 1 (- x))))) into (* x (exp (pow y 2))) 6.839 * * * [progress]: simplifying candidates 6.839 * * * * [progress]: [ 1 / 51 ] simplifiying candidate # 6.839 * * * * [progress]: [ 2 / 51 ] simplifiying candidate # 6.839 * * * * [progress]: [ 3 / 51 ] simplifiying candidate # 6.839 * * * * [progress]: [ 4 / 51 ] simplifiying candidate # 6.840 * * * * [progress]: [ 5 / 51 ] simplifiying candidate # 6.840 * * * * [progress]: [ 6 / 51 ] simplifiying candidate # 6.840 * * * * [progress]: [ 7 / 51 ] simplifiying candidate # 6.840 * * * * [progress]: [ 8 / 51 ] simplifiying candidate # 6.840 * * * * [progress]: [ 9 / 51 ] simplifiying candidate # 6.840 * * * * [progress]: [ 10 / 51 ] simplifiying candidate # 6.840 * * * * [progress]: [ 11 / 51 ] simplifiying candidate # 6.840 * * * * [progress]: [ 12 / 51 ] simplifiying candidate # 6.840 * * * * [progress]: [ 13 / 51 ] simplifiying candidate # 6.840 * * * * [progress]: [ 14 / 51 ] simplifiying candidate # 6.840 * * * * [progress]: [ 15 / 51 ] simplifiying candidate # 6.840 * * * * [progress]: [ 16 / 51 ] simplifiying candidate # 6.840 * * * * [progress]: [ 17 / 51 ] simplifiying candidate # 6.840 * * * * [progress]: [ 18 / 51 ] simplifiying candidate # 6.840 * * * * [progress]: [ 19 / 51 ] simplifiying candidate #real (real->posit16 (pow (exp 1) (* y y))))))> 6.840 * * * * [progress]: [ 20 / 51 ] simplifiying candidate # 6.840 * * * * [progress]: [ 21 / 51 ] simplifiying candidate # 6.840 * * * * [progress]: [ 22 / 51 ] simplifiying candidate # 6.840 * * * * [progress]: [ 23 / 51 ] simplifiying candidate # 6.841 * * * * [progress]: [ 24 / 51 ] simplifiying candidate # 6.841 * * * * [progress]: [ 25 / 51 ] simplifiying candidate # 6.841 * * * * [progress]: [ 26 / 51 ] simplifiying candidate # 6.841 * * * * [progress]: [ 27 / 51 ] simplifiying candidate # 6.841 * * * * [progress]: [ 28 / 51 ] simplifiying candidate # 6.841 * * * * [progress]: [ 29 / 51 ] simplifiying candidate # 6.841 * * * * [progress]: [ 30 / 51 ] simplifiying candidate # 6.841 * * * * [progress]: [ 31 / 51 ] simplifiying candidate # 6.841 * * * * [progress]: [ 32 / 51 ] simplifiying candidate # 6.841 * * * * [progress]: [ 33 / 51 ] simplifiying candidate # 6.841 * * * * [progress]: [ 34 / 51 ] simplifiying candidate # 6.841 * * * * [progress]: [ 35 / 51 ] simplifiying candidate # 6.841 * * * * [progress]: [ 36 / 51 ] simplifiying candidate # 6.841 * * * * [progress]: [ 37 / 51 ] simplifiying candidate # 6.841 * * * * [progress]: [ 38 / 51 ] simplifiying candidate # 6.841 * * * * [progress]: [ 39 / 51 ] simplifiying candidate # 6.841 * * * * [progress]: [ 40 / 51 ] simplifiying candidate # 6.841 * * * * [progress]: [ 41 / 51 ] simplifiying candidate # 6.841 * * * * [progress]: [ 42 / 51 ] simplifiying candidate # 6.841 * * * * [progress]: [ 43 / 51 ] simplifiying candidate # 6.842 * * * * [progress]: [ 44 / 51 ] simplifiying candidate #real (real->posit16 (* x (pow (exp 1) (* y y))))))> 6.842 * * * * [progress]: [ 45 / 51 ] simplifiying candidate # 6.842 * * * * [progress]: [ 46 / 51 ] simplifiying candidate # 6.842 * * * * [progress]: [ 47 / 51 ] simplifiying candidate # 6.842 * * * * [progress]: [ 48 / 51 ] simplifiying candidate # 6.842 * * * * [progress]: [ 49 / 51 ] simplifiying candidate # 6.842 * * * * [progress]: [ 50 / 51 ] simplifiying candidate # 6.842 * * * * [progress]: [ 51 / 51 ] simplifiying candidate # 6.843 * [simplify]: Simplifying: (* 1 (* y y)) (* (log (exp 1)) (* y y)) (* 1 (* y y)) (* (cbrt 1) (* y y)) (* (sqrt 1) (* y y)) (* 1 (* y y)) (pow (exp 1) y) (pow (* (cbrt (exp 1)) (cbrt (exp 1))) (* y y)) (pow (cbrt (exp 1)) (* y y)) (pow (sqrt (exp 1)) (* y y)) (pow (sqrt (exp 1)) (* y y)) (pow 1 (* y y)) (pow (exp 1) (* y y)) (log (pow (exp 1) (* y y))) (exp (pow (exp 1) (* y y))) (* (cbrt (pow (exp 1) (* y y))) (cbrt (pow (exp 1) (* y y)))) (cbrt (pow (exp 1) (* y y))) (* (* (pow (exp 1) (* y y)) (pow (exp 1) (* y y))) (pow (exp 1) (* y y))) (sqrt (pow (exp 1) (* y y))) (sqrt (pow (exp 1) (* y y))) (pow (exp 1) (/ (* y y) 2)) (pow (exp 1) (/ (* y y) 2)) (real->posit16 (pow (exp 1) (* y y))) (+ (log x) (* 1 (* y y))) (+ (log x) (* (log (exp 1)) (* y y))) (+ (log x) (log (pow (exp 1) (* y y)))) (log (* x (pow (exp 1) (* y y)))) (exp (* x (pow (exp 1) (* y y)))) (* (* (* x x) x) (* (* (pow (exp 1) (* y y)) (pow (exp 1) (* y y))) (pow (exp 1) (* y y)))) (* (cbrt (* x (pow (exp 1) (* y y)))) (cbrt (* x (pow (exp 1) (* y y))))) (cbrt (* x (pow (exp 1) (* y y)))) (* (* (* x (pow (exp 1) (* y y))) (* x (pow (exp 1) (* y y)))) (* x (pow (exp 1) (* y y)))) (sqrt (* x (pow (exp 1) (* y y)))) (sqrt (* x (pow (exp 1) (* y y)))) (* (sqrt x) (pow (sqrt (exp 1)) (* y y))) (* (sqrt x) (pow (sqrt (exp 1)) (* y y))) (* (sqrt x) (sqrt (pow (exp 1) (* y y)))) (* (sqrt x) (sqrt (pow (exp 1) (* y y)))) (* (sqrt x) (pow (exp 1) (/ (* y y) 2))) (* (sqrt x) (pow (exp 1) (/ (* y y) 2))) (* x (pow (* (cbrt (exp 1)) (cbrt (exp 1))) (* y y))) (* x (pow (sqrt (exp 1)) (* y y))) (* x (pow 1 (* y y))) (* x (* (cbrt (pow (exp 1) (* y y))) (cbrt (pow (exp 1) (* y y))))) (* x (sqrt (pow (exp 1) (* y y)))) (* x 1) (* x (pow (exp 1) (/ (* y y) 2))) (* (cbrt x) (pow (exp 1) (* y y))) (* (sqrt x) (pow (exp 1) (* y y))) (* x (pow (exp 1) (* y y))) (real->posit16 (* x (pow (exp 1) (* y y)))) (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) (exp (pow y 2)) (exp (pow y 2)) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) 6.844 * * [simplify]: iteration 0: 71 enodes 6.877 * * [simplify]: iteration 1: 167 enodes 6.952 * * [simplify]: iteration 2: 436 enodes 7.129 * * [simplify]: iteration 3: 1330 enodes 8.007 * * [simplify]: iteration complete: 5000 enodes 8.007 * * [simplify]: Extracting #0: cost 31 inf + 0 8.008 * * [simplify]: Extracting #1: cost 399 inf + 2 8.012 * * [simplify]: Extracting #2: cost 1308 inf + 2428 8.041 * * [simplify]: Extracting #3: cost 964 inf + 162351 8.112 * * [simplify]: Extracting #4: cost 190 inf + 452231 8.235 * * [simplify]: Extracting #5: cost 2 inf + 560716 8.315 * * [simplify]: Extracting #6: cost 0 inf + 557357 8.394 * * [simplify]: Extracting #7: cost 0 inf + 556377 8.510 * [simplify]: Simplified to: (* y y) (* y y) (* y y) (* y y) (* y y) (* y y) (pow E y) (pow (* (cbrt E) (cbrt E)) (* y y)) (pow (cbrt E) (* y y)) (pow (sqrt E) (* y y)) (pow (sqrt E) (* y y)) 1 (exp (* y y)) (* y y) (exp (exp (* y y))) (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))) (cbrt (exp (* y y))) (exp (+ (* y (+ y y)) (* y y))) (sqrt (exp (* y y))) (sqrt (exp (* y y))) (sqrt (exp (* y y))) (sqrt (exp (* y y))) (real->posit16 (exp (* y y))) (+ (* y y) (log x)) (+ (* 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))))) (* (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) (pow (sqrt E) (* y y))) (* (sqrt x) (pow (sqrt E) (* y y))) (* (sqrt (exp (* y y))) (sqrt x)) (* (sqrt (exp (* y y))) (sqrt x)) (* (sqrt (exp (* y y))) (sqrt x)) (* (sqrt (exp (* y y))) (sqrt x)) (* (pow (* (cbrt E) (cbrt E)) (* y y)) x) (* (pow (sqrt E) (* y y)) x) x (* (cbrt (exp (* y y))) (* (cbrt (exp (* y y))) x)) (* x (sqrt (exp (* y y)))) x (* x (sqrt (exp (* y y)))) (* (cbrt x) (exp (* y y))) (* (sqrt x) (exp (* y y))) (* x (exp (* y y))) (real->posit16 (* x (exp (* y y)))) (+ (+ (* y y) (* (* y y) (/ (* y y) 2))) 1) (exp (* y y)) (exp (* y y)) x (* x (exp (* y y))) (* x (exp (* y y))) 8.512 * * * [progress]: adding candidates to table 8.721 * * [progress]: iteration 4 / 4 8.721 * * * [progress]: picking best candidate 8.724 * * * * [pick]: Picked # 8.724 * * * [progress]: localizing error 8.751 * * * [progress]: generating rewritten candidates 8.751 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 8.809 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 8.813 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 8.817 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 8.826 * * * [progress]: generating series expansions 8.826 * * * * [progress]: [ 1 / 4 ] generating series at (2) 8.827 * [backup-simplify]: Simplify (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y))) into (* x (pow (pow (sqrt (exp y)) y) 2)) 8.827 * [approximate]: Taking taylor expansion of (* x (pow (pow (sqrt (exp y)) y) 2)) in (x y) around 0 8.827 * [taylor]: Taking taylor expansion of (* x (pow (pow (sqrt (exp y)) y) 2)) in y 8.827 * [taylor]: Taking taylor expansion of x in y 8.827 * [backup-simplify]: Simplify x into x 8.827 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp y)) y) 2) in y 8.827 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in y 8.827 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in y 8.827 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in y 8.827 * [taylor]: Taking taylor expansion of y in y 8.827 * [backup-simplify]: Simplify 0 into 0 8.827 * [backup-simplify]: Simplify 1 into 1 8.827 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 8.827 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 8.827 * [taylor]: Taking taylor expansion of (exp y) in y 8.827 * [taylor]: Taking taylor expansion of y in y 8.827 * [backup-simplify]: Simplify 0 into 0 8.827 * [backup-simplify]: Simplify 1 into 1 8.827 * [backup-simplify]: Simplify (exp 0) into 1 8.828 * [backup-simplify]: Simplify (sqrt 1) into 1 8.829 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 8.830 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 8.830 * [backup-simplify]: Simplify (log 1) into 0 8.830 * [backup-simplify]: Simplify (* 0 0) into 0 8.832 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2 8.832 * [backup-simplify]: Simplify (+ (* 0 1/2) (* 1 0)) into 0 8.834 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 8.835 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 8.838 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/8) 1)) (pow 1 1)))) 2) into 0 8.839 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1/2) (* 0 0))) into 1/2 8.839 * [backup-simplify]: Simplify (exp 0) into 1 8.839 * [taylor]: Taking taylor expansion of (* x (pow (pow (sqrt (exp y)) y) 2)) in x 8.839 * [taylor]: Taking taylor expansion of x in x 8.839 * [backup-simplify]: Simplify 0 into 0 8.839 * [backup-simplify]: Simplify 1 into 1 8.839 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp y)) y) 2) in x 8.839 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in x 8.839 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in x 8.839 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in x 8.839 * [taylor]: Taking taylor expansion of y in x 8.839 * [backup-simplify]: Simplify y into y 8.839 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in x 8.839 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in x 8.839 * [taylor]: Taking taylor expansion of (exp y) in x 8.839 * [taylor]: Taking taylor expansion of y in x 8.839 * [backup-simplify]: Simplify y into y 8.839 * [backup-simplify]: Simplify (exp y) into (exp y) 8.839 * [backup-simplify]: Simplify (sqrt (exp y)) into (sqrt (exp y)) 8.840 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 1) 1)))) into 0 8.840 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp y)))) into 0 8.840 * [backup-simplify]: Simplify (log (sqrt (exp y))) into (log (sqrt (exp y))) 8.840 * [backup-simplify]: Simplify (* y (log (sqrt (exp y)))) into (* (log (sqrt (exp y))) y) 8.840 * [backup-simplify]: Simplify (exp (* (log (sqrt (exp y))) y)) into (exp (* (log (sqrt (exp y))) y)) 8.840 * [taylor]: Taking taylor expansion of (* x (pow (pow (sqrt (exp y)) y) 2)) in x 8.840 * [taylor]: Taking taylor expansion of x in x 8.841 * [backup-simplify]: Simplify 0 into 0 8.841 * [backup-simplify]: Simplify 1 into 1 8.841 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp y)) y) 2) in x 8.841 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in x 8.841 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in x 8.841 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in x 8.841 * [taylor]: Taking taylor expansion of y in x 8.841 * [backup-simplify]: Simplify y into y 8.841 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in x 8.841 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in x 8.841 * [taylor]: Taking taylor expansion of (exp y) in x 8.841 * [taylor]: Taking taylor expansion of y in x 8.841 * [backup-simplify]: Simplify y into y 8.841 * [backup-simplify]: Simplify (exp y) into (exp y) 8.841 * [backup-simplify]: Simplify (sqrt (exp y)) into (sqrt (exp y)) 8.842 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 1) 1)))) into 0 8.842 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp y)))) into 0 8.842 * [backup-simplify]: Simplify (log (sqrt (exp y))) into (log (sqrt (exp y))) 8.842 * [backup-simplify]: Simplify (* y (log (sqrt (exp y)))) into (* (log (sqrt (exp y))) y) 8.842 * [backup-simplify]: Simplify (exp (* (log (sqrt (exp y))) y)) into (exp (* (log (sqrt (exp y))) y)) 8.842 * [backup-simplify]: Simplify (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y))) into (pow (exp (* (log (sqrt (exp y))) y)) 2) 8.843 * [backup-simplify]: Simplify (* 0 (pow (exp (* (log (sqrt (exp y))) y)) 2)) into 0 8.843 * [taylor]: Taking taylor expansion of 0 in y 8.843 * [backup-simplify]: Simplify 0 into 0 8.843 * [backup-simplify]: Simplify 0 into 0 8.843 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp y)) 1)))) 1) into 0 8.844 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (log (sqrt (exp y))))) into 0 8.844 * [backup-simplify]: Simplify (* (exp (* (log (sqrt (exp y))) y)) (+ (* (/ (pow 0 1) 1)))) into 0 8.845 * [backup-simplify]: Simplify (+ (* (exp (* (log (sqrt (exp y))) y)) 0) (* 0 (exp (* (log (sqrt (exp y))) y)))) into 0 8.845 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow (exp (* (log (sqrt (exp y))) y)) 2))) into (pow (exp (* (log (sqrt (exp y))) y)) 2) 8.845 * [taylor]: Taking taylor expansion of (pow (exp (* (log (sqrt (exp y))) y)) 2) in y 8.845 * [taylor]: Taking taylor expansion of (exp (* (log (sqrt (exp y))) y)) in y 8.845 * [taylor]: Taking taylor expansion of (* (log (sqrt (exp y))) y) in y 8.845 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 8.845 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 8.845 * [taylor]: Taking taylor expansion of (exp y) in y 8.845 * [taylor]: Taking taylor expansion of y in y 8.845 * [backup-simplify]: Simplify 0 into 0 8.845 * [backup-simplify]: Simplify 1 into 1 8.845 * [backup-simplify]: Simplify (exp 0) into 1 8.846 * [backup-simplify]: Simplify (sqrt 1) into 1 8.847 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 8.847 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 8.848 * [backup-simplify]: Simplify (log 1) into 0 8.848 * [taylor]: Taking taylor expansion of y in y 8.848 * [backup-simplify]: Simplify 0 into 0 8.848 * [backup-simplify]: Simplify 1 into 1 8.849 * [backup-simplify]: Simplify (* 0 0) into 0 8.850 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2 8.851 * [backup-simplify]: Simplify (+ (* 0 1) (* 1/2 0)) into 0 8.852 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 8.853 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 8.856 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/8) 1)) (pow 1 1)))) 2) into 0 8.857 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1/2 1) (* 0 0))) into 1/2 8.857 * [backup-simplify]: Simplify (exp 0) into 1 8.858 * [backup-simplify]: Simplify (* 1 1) into 1 8.858 * [backup-simplify]: Simplify 1 into 1 8.858 * [backup-simplify]: Simplify 0 into 0 8.859 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 8.860 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp y)))) into 0 8.861 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp y)) 1)))) 2) into 0 8.861 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (log (sqrt (exp y)))))) into 0 8.862 * [backup-simplify]: Simplify (* (exp (* (log (sqrt (exp y))) y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 8.862 * [backup-simplify]: Simplify (+ (* (exp (* (log (sqrt (exp y))) y)) 0) (+ (* 0 0) (* 0 (exp (* (log (sqrt (exp y))) y))))) into 0 8.863 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow (exp (* (log (sqrt (exp y))) y)) 2)))) into 0 8.863 * [taylor]: Taking taylor expansion of 0 in y 8.863 * [backup-simplify]: Simplify 0 into 0 8.863 * [backup-simplify]: Simplify 0 into 0 8.863 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 8.864 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.864 * [backup-simplify]: Simplify 0 into 0 8.864 * [backup-simplify]: Simplify 0 into 0 8.865 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 8.865 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp y)))) into 0 8.867 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp y)) 1)))) 6) into 0 8.868 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (sqrt (exp y))))))) into 0 8.870 * [backup-simplify]: Simplify (* (exp (* (log (sqrt (exp y))) y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 8.871 * [backup-simplify]: Simplify (+ (* (exp (* (log (sqrt (exp y))) y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (* (log (sqrt (exp y))) y)))))) into 0 8.872 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow (exp (* (log (sqrt (exp y))) y)) 2))))) into 0 8.872 * [taylor]: Taking taylor expansion of 0 in y 8.872 * [backup-simplify]: Simplify 0 into 0 8.872 * [backup-simplify]: Simplify 0 into 0 8.872 * [backup-simplify]: Simplify 0 into 0 8.872 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x 8.873 * [backup-simplify]: Simplify (* (* (sqrt (/ 1 x)) (pow (sqrt (exp (/ 1 y))) (/ 1 y))) (* (sqrt (/ 1 x)) (pow (sqrt (exp (/ 1 y))) (/ 1 y)))) into (/ (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) x) 8.873 * [approximate]: Taking taylor expansion of (/ (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) x) in (x y) around 0 8.873 * [taylor]: Taking taylor expansion of (/ (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) x) in y 8.873 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) in y 8.873 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in y 8.873 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in y 8.873 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in y 8.873 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.873 * [taylor]: Taking taylor expansion of y in y 8.873 * [backup-simplify]: Simplify 0 into 0 8.873 * [backup-simplify]: Simplify 1 into 1 8.873 * [backup-simplify]: Simplify (/ 1 1) into 1 8.873 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 8.873 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 8.874 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 8.874 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.874 * [taylor]: Taking taylor expansion of y in y 8.874 * [backup-simplify]: Simplify 0 into 0 8.874 * [backup-simplify]: Simplify 1 into 1 8.874 * [backup-simplify]: Simplify (/ 1 1) into 1 8.874 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 8.874 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 8.874 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 8.874 * [backup-simplify]: Simplify (log (sqrt (exp (/ 1 y)))) into (log (sqrt (exp (/ 1 y)))) 8.875 * [backup-simplify]: Simplify (* 1 (log (sqrt (exp (/ 1 y))))) into (log (sqrt (exp (/ 1 y)))) 8.875 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 8.875 * [taylor]: Taking taylor expansion of x in y 8.875 * [backup-simplify]: Simplify x into x 8.875 * [backup-simplify]: Simplify (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) (exp (/ (log (sqrt (exp (/ 1 y)))) y))) into (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) 8.875 * [backup-simplify]: Simplify (/ (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) x) into (/ (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) x) 8.875 * [taylor]: Taking taylor expansion of (/ (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) x) in x 8.875 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) in x 8.875 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in x 8.875 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in x 8.875 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in x 8.875 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.875 * [taylor]: Taking taylor expansion of y in x 8.875 * [backup-simplify]: Simplify y into y 8.876 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.876 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in x 8.876 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in x 8.876 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 8.876 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.876 * [taylor]: Taking taylor expansion of y in x 8.876 * [backup-simplify]: Simplify y into y 8.876 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.876 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 8.876 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 8.876 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 8.877 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 8.877 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 8.877 * [backup-simplify]: Simplify (log (sqrt (exp (/ 1 y)))) into (log (sqrt (exp (/ 1 y)))) 8.877 * [backup-simplify]: Simplify (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) into (/ (log (sqrt (exp (/ 1 y)))) y) 8.878 * [backup-simplify]: Simplify (exp (/ (log (sqrt (exp (/ 1 y)))) y)) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 8.878 * [taylor]: Taking taylor expansion of x in x 8.878 * [backup-simplify]: Simplify 0 into 0 8.878 * [backup-simplify]: Simplify 1 into 1 8.878 * [backup-simplify]: Simplify (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) (exp (/ (log (sqrt (exp (/ 1 y)))) y))) into (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) 8.878 * [backup-simplify]: Simplify (/ (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) 1) into (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) 8.878 * [taylor]: Taking taylor expansion of (/ (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) x) in x 8.878 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) in x 8.878 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in x 8.878 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in x 8.878 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in x 8.878 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.879 * [taylor]: Taking taylor expansion of y in x 8.879 * [backup-simplify]: Simplify y into y 8.879 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.879 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in x 8.879 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in x 8.879 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 8.879 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.879 * [taylor]: Taking taylor expansion of y in x 8.879 * [backup-simplify]: Simplify y into y 8.879 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.879 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 8.879 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 8.879 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 8.880 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 8.880 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 8.880 * [backup-simplify]: Simplify (log (sqrt (exp (/ 1 y)))) into (log (sqrt (exp (/ 1 y)))) 8.880 * [backup-simplify]: Simplify (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) into (/ (log (sqrt (exp (/ 1 y)))) y) 8.881 * [backup-simplify]: Simplify (exp (/ (log (sqrt (exp (/ 1 y)))) y)) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 8.881 * [taylor]: Taking taylor expansion of x in x 8.881 * [backup-simplify]: Simplify 0 into 0 8.881 * [backup-simplify]: Simplify 1 into 1 8.881 * [backup-simplify]: Simplify (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) (exp (/ (log (sqrt (exp (/ 1 y)))) y))) into (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) 8.881 * [backup-simplify]: Simplify (/ (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) 1) into (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) 8.881 * [taylor]: Taking taylor expansion of (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) in y 8.881 * [taylor]: Taking taylor expansion of (exp (/ (log (sqrt (exp (/ 1 y)))) y)) in y 8.881 * [taylor]: Taking taylor expansion of (/ (log (sqrt (exp (/ 1 y)))) y) in y 8.881 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 8.881 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 8.881 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 8.881 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.881 * [taylor]: Taking taylor expansion of y in y 8.881 * [backup-simplify]: Simplify 0 into 0 8.881 * [backup-simplify]: Simplify 1 into 1 8.882 * [backup-simplify]: Simplify (/ 1 1) into 1 8.882 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 8.882 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 8.882 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 8.882 * [backup-simplify]: Simplify (log (sqrt (exp (/ 1 y)))) into (log (sqrt (exp (/ 1 y)))) 8.882 * [taylor]: Taking taylor expansion of y in y 8.882 * [backup-simplify]: Simplify 0 into 0 8.882 * [backup-simplify]: Simplify 1 into 1 8.882 * [backup-simplify]: Simplify (/ (log (sqrt (exp (/ 1 y)))) 1) into (log (sqrt (exp (/ 1 y)))) 8.883 * [backup-simplify]: Simplify (exp (/ (log (sqrt (exp (/ 1 y)))) y)) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 8.883 * [backup-simplify]: Simplify (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) (exp (/ (log (sqrt (exp (/ 1 y)))) y))) into (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) 8.883 * [backup-simplify]: Simplify (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) into (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) 8.883 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (/ 1 y))) 1)))) 1) into 0 8.884 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 8.884 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 (log (sqrt (exp (/ 1 y)))))) into 0 8.884 * [backup-simplify]: Simplify (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) (+ (* (/ (pow 0 1) 1)))) into 0 8.884 * [backup-simplify]: Simplify (+ (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 0) (* 0 (exp (/ (log (sqrt (exp (/ 1 y)))) y)))) into 0 8.885 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) (/ 0 1)))) into 0 8.885 * [taylor]: Taking taylor expansion of 0 in y 8.885 * [backup-simplify]: Simplify 0 into 0 8.885 * [backup-simplify]: Simplify 0 into 0 8.885 * [backup-simplify]: Simplify (+ (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 0) (* 0 (exp (/ (log (sqrt (exp (/ 1 y)))) y)))) into 0 8.885 * [backup-simplify]: Simplify 0 into 0 8.885 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.886 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 8.887 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 y))))) into 0 8.888 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (/ 1 y))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (/ 1 y))) 1)))) 2) into 0 8.888 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.888 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (log (sqrt (exp (/ 1 y))))))) into 0 8.889 * [backup-simplify]: Simplify (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 8.889 * [backup-simplify]: Simplify (+ (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 0) (+ (* 0 0) (* 0 (exp (/ (log (sqrt (exp (/ 1 y)))) y))))) into 0 8.890 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.890 * [taylor]: Taking taylor expansion of 0 in y 8.890 * [backup-simplify]: Simplify 0 into 0 8.890 * [backup-simplify]: Simplify 0 into 0 8.890 * [backup-simplify]: Simplify 0 into 0 8.891 * [backup-simplify]: Simplify (+ (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 0) (+ (* 0 0) (* 0 (exp (/ (log (sqrt (exp (/ 1 y)))) y))))) into 0 8.891 * [backup-simplify]: Simplify 0 into 0 8.891 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.892 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 8.892 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 y))))) into 0 8.897 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (/ 1 y))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (/ 1 y))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (/ 1 y))) 1)))) 6) into 0 8.897 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.898 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (sqrt (exp (/ 1 y)))))))) into 0 8.899 * [backup-simplify]: Simplify (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 8.900 * [backup-simplify]: Simplify (+ (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ (log (sqrt (exp (/ 1 y)))) y)))))) into 0 8.901 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.901 * [taylor]: Taking taylor expansion of 0 in y 8.901 * [backup-simplify]: Simplify 0 into 0 8.901 * [backup-simplify]: Simplify 0 into 0 8.901 * [backup-simplify]: Simplify (* (pow (exp (/ (log (sqrt (exp (/ 1 (/ 1 y))))) (/ 1 y))) 2) (* 1 (/ 1 (/ 1 x)))) into (* x (pow (exp (* (log (sqrt (exp y))) y)) 2)) 8.902 * [backup-simplify]: Simplify (* (* (sqrt (/ 1 (- x))) (pow (sqrt (exp (/ 1 (- y)))) (/ 1 (- y)))) (* (sqrt (/ 1 (- x))) (pow (sqrt (exp (/ 1 (- y)))) (/ 1 (- y))))) into (* (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) (pow (sqrt (/ -1 x)) 2)) 8.902 * [approximate]: Taking taylor expansion of (* (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) (pow (sqrt (/ -1 x)) 2)) in (x y) around 0 8.902 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) (pow (sqrt (/ -1 x)) 2)) in y 8.902 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) in y 8.902 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in y 8.902 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in y 8.902 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in y 8.902 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.902 * [taylor]: Taking taylor expansion of -1 in y 8.902 * [backup-simplify]: Simplify -1 into -1 8.902 * [taylor]: Taking taylor expansion of y in y 8.902 * [backup-simplify]: Simplify 0 into 0 8.902 * [backup-simplify]: Simplify 1 into 1 8.902 * [backup-simplify]: Simplify (/ -1 1) into -1 8.902 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 8.902 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 8.902 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 8.902 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.902 * [taylor]: Taking taylor expansion of -1 in y 8.902 * [backup-simplify]: Simplify -1 into -1 8.902 * [taylor]: Taking taylor expansion of y in y 8.902 * [backup-simplify]: Simplify 0 into 0 8.902 * [backup-simplify]: Simplify 1 into 1 8.903 * [backup-simplify]: Simplify (/ -1 1) into -1 8.903 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 8.903 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 8.903 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 8.903 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 8.903 * [backup-simplify]: Simplify (* -1 (log (sqrt (exp (/ -1 y))))) into (* -1 (log (sqrt (exp (/ -1 y))))) 8.903 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 8.903 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in y 8.903 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 8.903 * [taylor]: Taking taylor expansion of (/ -1 x) in y 8.903 * [taylor]: Taking taylor expansion of -1 in y 8.903 * [backup-simplify]: Simplify -1 into -1 8.903 * [taylor]: Taking taylor expansion of x in y 8.903 * [backup-simplify]: Simplify x into x 8.903 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 8.903 * [backup-simplify]: Simplify (sqrt (/ -1 x)) into (sqrt (/ -1 x)) 8.903 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 8.903 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 x)))) into 0 8.903 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) (pow (sqrt (/ -1 x)) 2)) in x 8.903 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) in x 8.903 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in x 8.903 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in x 8.903 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in x 8.903 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.903 * [taylor]: Taking taylor expansion of -1 in x 8.903 * [backup-simplify]: Simplify -1 into -1 8.903 * [taylor]: Taking taylor expansion of y in x 8.903 * [backup-simplify]: Simplify y into y 8.903 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 8.904 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in x 8.904 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in x 8.904 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 8.904 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.904 * [taylor]: Taking taylor expansion of -1 in x 8.904 * [backup-simplify]: Simplify -1 into -1 8.904 * [taylor]: Taking taylor expansion of y in x 8.904 * [backup-simplify]: Simplify y into y 8.904 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 8.904 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 8.904 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 8.904 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 8.904 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 8.904 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 8.904 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 8.905 * [backup-simplify]: Simplify (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) into (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)) 8.905 * [backup-simplify]: Simplify (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 8.905 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x 8.905 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 8.905 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.905 * [taylor]: Taking taylor expansion of -1 in x 8.905 * [backup-simplify]: Simplify -1 into -1 8.905 * [taylor]: Taking taylor expansion of x in x 8.905 * [backup-simplify]: Simplify 0 into 0 8.905 * [backup-simplify]: Simplify 1 into 1 8.905 * [backup-simplify]: Simplify (/ -1 1) into -1 8.905 * [backup-simplify]: Simplify (sqrt 0) into 0 8.906 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 8.906 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) (pow (sqrt (/ -1 x)) 2)) in x 8.906 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) in x 8.906 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in x 8.906 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in x 8.906 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in x 8.906 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.906 * [taylor]: Taking taylor expansion of -1 in x 8.906 * [backup-simplify]: Simplify -1 into -1 8.906 * [taylor]: Taking taylor expansion of y in x 8.906 * [backup-simplify]: Simplify y into y 8.907 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 8.907 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in x 8.907 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in x 8.907 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 8.907 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.907 * [taylor]: Taking taylor expansion of -1 in x 8.907 * [backup-simplify]: Simplify -1 into -1 8.907 * [taylor]: Taking taylor expansion of y in x 8.907 * [backup-simplify]: Simplify y into y 8.907 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 8.907 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 8.907 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 8.907 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 8.907 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 8.907 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 8.907 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 8.908 * [backup-simplify]: Simplify (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) into (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)) 8.908 * [backup-simplify]: Simplify (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 8.908 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x 8.908 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 8.908 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.908 * [taylor]: Taking taylor expansion of -1 in x 8.908 * [backup-simplify]: Simplify -1 into -1 8.908 * [taylor]: Taking taylor expansion of x in x 8.908 * [backup-simplify]: Simplify 0 into 0 8.908 * [backup-simplify]: Simplify 1 into 1 8.908 * [backup-simplify]: Simplify (/ -1 1) into -1 8.908 * [backup-simplify]: Simplify (sqrt 0) into 0 8.909 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 8.910 * [backup-simplify]: Simplify (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) into (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2) 8.910 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0 8.910 * [backup-simplify]: Simplify (* (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2) +nan.0) into (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2)) 8.910 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2)) in y 8.910 * [taylor]: Taking taylor expansion of +nan.0 in y 8.910 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.910 * [taylor]: Taking taylor expansion of (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2) in y 8.910 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) in y 8.910 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)) in y 8.910 * [taylor]: Taking taylor expansion of -1 in y 8.910 * [backup-simplify]: Simplify -1 into -1 8.910 * [taylor]: Taking taylor expansion of (/ (log (sqrt (exp (/ -1 y)))) y) in y 8.910 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 8.910 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 8.910 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 8.910 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.910 * [taylor]: Taking taylor expansion of -1 in y 8.910 * [backup-simplify]: Simplify -1 into -1 8.910 * [taylor]: Taking taylor expansion of y in y 8.910 * [backup-simplify]: Simplify 0 into 0 8.910 * [backup-simplify]: Simplify 1 into 1 8.910 * [backup-simplify]: Simplify (/ -1 1) into -1 8.911 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 8.911 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 8.911 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 8.911 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 8.911 * [taylor]: Taking taylor expansion of y in y 8.911 * [backup-simplify]: Simplify 0 into 0 8.911 * [backup-simplify]: Simplify 1 into 1 8.911 * [backup-simplify]: Simplify (/ (log (sqrt (exp (/ -1 y)))) 1) into (log (sqrt (exp (/ -1 y)))) 8.911 * [backup-simplify]: Simplify (* -1 (log (sqrt (exp (/ -1 y))))) into (* -1 (log (sqrt (exp (/ -1 y))))) 8.911 * [backup-simplify]: Simplify (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 8.911 * [backup-simplify]: Simplify (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) into (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2) 8.912 * [backup-simplify]: Simplify (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2)) into (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2)) 8.912 * [backup-simplify]: Simplify (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2)) into (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2)) 8.913 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 8.916 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 8.917 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0)) into (- +nan.0) 8.918 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (/ -1 y))) 1)))) 1) into 0 8.918 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 8.918 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (* 0 (log (sqrt (exp (/ -1 y)))))) into 0 8.919 * [backup-simplify]: Simplify (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) (+ (* (/ (pow 0 1) 1)))) into 0 8.919 * [backup-simplify]: Simplify (+ (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 0) (* 0 (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))))) into 0 8.920 * [backup-simplify]: Simplify (+ (* (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2) (- +nan.0)) (* 0 +nan.0)) into (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2))) 8.920 * [taylor]: Taking taylor expansion of (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2))) in y 8.920 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2)) in y 8.920 * [taylor]: Taking taylor expansion of +nan.0 in y 8.921 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.921 * [taylor]: Taking taylor expansion of (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2) in y 8.921 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) in y 8.921 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)) in y 8.921 * [taylor]: Taking taylor expansion of -1 in y 8.921 * [backup-simplify]: Simplify -1 into -1 8.921 * [taylor]: Taking taylor expansion of (/ (log (sqrt (exp (/ -1 y)))) y) in y 8.921 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 8.921 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 8.921 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 8.921 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.921 * [taylor]: Taking taylor expansion of -1 in y 8.921 * [backup-simplify]: Simplify -1 into -1 8.921 * [taylor]: Taking taylor expansion of y in y 8.921 * [backup-simplify]: Simplify 0 into 0 8.921 * [backup-simplify]: Simplify 1 into 1 8.921 * [backup-simplify]: Simplify (/ -1 1) into -1 8.921 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 8.921 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 8.922 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 8.922 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 8.922 * [taylor]: Taking taylor expansion of y in y 8.922 * [backup-simplify]: Simplify 0 into 0 8.922 * [backup-simplify]: Simplify 1 into 1 8.922 * [backup-simplify]: Simplify (/ (log (sqrt (exp (/ -1 y)))) 1) into (log (sqrt (exp (/ -1 y)))) 8.922 * [backup-simplify]: Simplify (* -1 (log (sqrt (exp (/ -1 y))))) into (* -1 (log (sqrt (exp (/ -1 y))))) 8.922 * [backup-simplify]: Simplify (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 8.922 * [backup-simplify]: Simplify (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) into (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2) 8.923 * [backup-simplify]: Simplify (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2)) into (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2)) 8.923 * [backup-simplify]: Simplify (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2))) into (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2))) 8.923 * [backup-simplify]: Simplify (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2))) into (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2))) 8.924 * [backup-simplify]: Simplify (+ (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 0) (* 0 (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))))) into 0 8.924 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2))) into 0 8.924 * [backup-simplify]: Simplify 0 into 0 8.925 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.929 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 8.931 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0))) into (- +nan.0) 8.932 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.933 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 8.934 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 y))))) into 0 8.935 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (/ -1 y))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (/ -1 y))) 1)))) 2) into 0 8.936 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.936 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (* 0 (log (sqrt (exp (/ -1 y))))))) into 0 8.937 * [backup-simplify]: Simplify (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 8.938 * [backup-simplify]: Simplify (+ (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 0) (+ (* 0 0) (* 0 (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))))) into 0 8.940 * [backup-simplify]: Simplify (+ (* (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2) (- +nan.0)) (+ (* 0 (- +nan.0)) (* 0 +nan.0))) into (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2))) 8.940 * [taylor]: Taking taylor expansion of (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2))) in y 8.940 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2)) in y 8.940 * [taylor]: Taking taylor expansion of +nan.0 in y 8.940 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.940 * [taylor]: Taking taylor expansion of (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2) in y 8.940 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) in y 8.940 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)) in y 8.940 * [taylor]: Taking taylor expansion of -1 in y 8.940 * [backup-simplify]: Simplify -1 into -1 8.940 * [taylor]: Taking taylor expansion of (/ (log (sqrt (exp (/ -1 y)))) y) in y 8.940 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 8.940 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 8.940 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 8.940 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.940 * [taylor]: Taking taylor expansion of -1 in y 8.940 * [backup-simplify]: Simplify -1 into -1 8.940 * [taylor]: Taking taylor expansion of y in y 8.940 * [backup-simplify]: Simplify 0 into 0 8.940 * [backup-simplify]: Simplify 1 into 1 8.941 * [backup-simplify]: Simplify (/ -1 1) into -1 8.941 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 8.941 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 8.941 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 8.941 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 8.941 * [taylor]: Taking taylor expansion of y in y 8.941 * [backup-simplify]: Simplify 0 into 0 8.941 * [backup-simplify]: Simplify 1 into 1 8.941 * [backup-simplify]: Simplify (/ (log (sqrt (exp (/ -1 y)))) 1) into (log (sqrt (exp (/ -1 y)))) 8.941 * [backup-simplify]: Simplify (* -1 (log (sqrt (exp (/ -1 y))))) into (* -1 (log (sqrt (exp (/ -1 y))))) 8.941 * [backup-simplify]: Simplify (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 8.942 * [backup-simplify]: Simplify (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) into (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2) 8.942 * [backup-simplify]: Simplify (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2)) into (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2)) 8.942 * [backup-simplify]: Simplify (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2))) into (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2))) 8.942 * [backup-simplify]: Simplify (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2))) into (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2))) 8.944 * [backup-simplify]: Simplify (+ (* (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 (/ 1 (- y)))))) (/ 1 (- y))))) 2))) (pow (* 1 (/ 1 (- x))) 2)) (+ (* (- (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 (/ 1 (- y)))))) (/ 1 (- y))))) 2))) (* 1 (/ 1 (- x)))) (* +nan.0 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 (/ 1 (- y)))))) (/ 1 (- y))))) 2)))) into (- (+ (* +nan.0 (pow (exp (* (log (sqrt (exp y))) y)) 2)) (- (+ (* +nan.0 (/ (pow (exp (* (log (sqrt (exp y))) y)) 2) (pow x 2))) (- (* +nan.0 (/ (pow (exp (* (log (sqrt (exp y))) y)) 2) x))))))) 8.944 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 8.944 * [backup-simplify]: Simplify (sqrt (exp y)) into (sqrt (exp y)) 8.944 * [approximate]: Taking taylor expansion of (sqrt (exp y)) in (y) around 0 8.944 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 8.944 * [taylor]: Taking taylor expansion of (exp y) in y 8.944 * [taylor]: Taking taylor expansion of y in y 8.944 * [backup-simplify]: Simplify 0 into 0 8.944 * [backup-simplify]: Simplify 1 into 1 8.944 * [backup-simplify]: Simplify (exp 0) into 1 8.945 * [backup-simplify]: Simplify (sqrt 1) into 1 8.946 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 8.946 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 8.946 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 8.946 * [taylor]: Taking taylor expansion of (exp y) in y 8.946 * [taylor]: Taking taylor expansion of y in y 8.946 * [backup-simplify]: Simplify 0 into 0 8.946 * [backup-simplify]: Simplify 1 into 1 8.947 * [backup-simplify]: Simplify (exp 0) into 1 8.947 * [backup-simplify]: Simplify (sqrt 1) into 1 8.948 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 8.949 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 8.949 * [backup-simplify]: Simplify 1 into 1 8.949 * [backup-simplify]: Simplify 1/2 into 1/2 8.951 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 8.952 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 8.952 * [backup-simplify]: Simplify 1/8 into 1/8 8.952 * [backup-simplify]: Simplify (+ (* 1/8 (pow y 2)) (+ (* 1/2 y) 1)) into (+ (* 1/8 (pow y 2)) (+ (* 1/2 y) 1)) 8.952 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 8.952 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in (y) around 0 8.952 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 8.952 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 8.952 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.952 * [taylor]: Taking taylor expansion of y in y 8.952 * [backup-simplify]: Simplify 0 into 0 8.952 * [backup-simplify]: Simplify 1 into 1 8.953 * [backup-simplify]: Simplify (/ 1 1) into 1 8.953 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 8.953 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 8.953 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 8.953 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 8.953 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 8.953 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.953 * [taylor]: Taking taylor expansion of y in y 8.953 * [backup-simplify]: Simplify 0 into 0 8.953 * [backup-simplify]: Simplify 1 into 1 8.953 * [backup-simplify]: Simplify (/ 1 1) into 1 8.954 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 8.954 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 8.954 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 8.954 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 8.954 * [backup-simplify]: Simplify 0 into 0 8.955 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 y))))) into 0 8.955 * [backup-simplify]: Simplify 0 into 0 8.955 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 y))))) into 0 8.955 * [backup-simplify]: Simplify 0 into 0 8.956 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 y))))) into 0 8.957 * [backup-simplify]: Simplify 0 into 0 8.957 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 y))))) into 0 8.957 * [backup-simplify]: Simplify 0 into 0 8.958 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 y))))) into 0 8.958 * [backup-simplify]: Simplify 0 into 0 8.958 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (/ 1 y)))) into (sqrt (exp y)) 8.959 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (- y)))) into (sqrt (exp (/ -1 y))) 8.959 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in (y) around 0 8.959 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 8.959 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 8.959 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.959 * [taylor]: Taking taylor expansion of -1 in y 8.959 * [backup-simplify]: Simplify -1 into -1 8.959 * [taylor]: Taking taylor expansion of y in y 8.959 * [backup-simplify]: Simplify 0 into 0 8.959 * [backup-simplify]: Simplify 1 into 1 8.959 * [backup-simplify]: Simplify (/ -1 1) into -1 8.959 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 8.959 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 8.959 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 8.960 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 8.960 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 8.960 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.960 * [taylor]: Taking taylor expansion of -1 in y 8.960 * [backup-simplify]: Simplify -1 into -1 8.960 * [taylor]: Taking taylor expansion of y in y 8.960 * [backup-simplify]: Simplify 0 into 0 8.960 * [backup-simplify]: Simplify 1 into 1 8.960 * [backup-simplify]: Simplify (/ -1 1) into -1 8.960 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 8.960 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 8.960 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 8.961 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 8.961 * [backup-simplify]: Simplify 0 into 0 8.961 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 y))))) into 0 8.961 * [backup-simplify]: Simplify 0 into 0 8.962 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 y))))) into 0 8.962 * [backup-simplify]: Simplify 0 into 0 8.963 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 y))))) into 0 8.963 * [backup-simplify]: Simplify 0 into 0 8.964 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 y))))) into 0 8.964 * [backup-simplify]: Simplify 0 into 0 8.964 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 y))))) into 0 8.964 * [backup-simplify]: Simplify 0 into 0 8.964 * [backup-simplify]: Simplify (sqrt (exp (/ -1 (/ 1 (- y))))) into (sqrt (exp y)) 8.964 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 8.965 * [backup-simplify]: Simplify (sqrt (exp y)) into (sqrt (exp y)) 8.965 * [approximate]: Taking taylor expansion of (sqrt (exp y)) in (y) around 0 8.965 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 8.965 * [taylor]: Taking taylor expansion of (exp y) in y 8.965 * [taylor]: Taking taylor expansion of y in y 8.965 * [backup-simplify]: Simplify 0 into 0 8.965 * [backup-simplify]: Simplify 1 into 1 8.965 * [backup-simplify]: Simplify (exp 0) into 1 8.965 * [backup-simplify]: Simplify (sqrt 1) into 1 8.966 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 8.966 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 8.966 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 8.966 * [taylor]: Taking taylor expansion of (exp y) in y 8.966 * [taylor]: Taking taylor expansion of y in y 8.966 * [backup-simplify]: Simplify 0 into 0 8.966 * [backup-simplify]: Simplify 1 into 1 8.966 * [backup-simplify]: Simplify (exp 0) into 1 8.967 * [backup-simplify]: Simplify (sqrt 1) into 1 8.967 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 8.968 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 8.968 * [backup-simplify]: Simplify 1 into 1 8.968 * [backup-simplify]: Simplify 1/2 into 1/2 8.969 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 8.969 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 8.969 * [backup-simplify]: Simplify 1/8 into 1/8 8.969 * [backup-simplify]: Simplify (+ (* 1/8 (pow y 2)) (+ (* 1/2 y) 1)) into (+ (* 1/8 (pow y 2)) (+ (* 1/2 y) 1)) 8.969 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 8.969 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in (y) around 0 8.969 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 8.969 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 8.970 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.970 * [taylor]: Taking taylor expansion of y in y 8.970 * [backup-simplify]: Simplify 0 into 0 8.970 * [backup-simplify]: Simplify 1 into 1 8.970 * [backup-simplify]: Simplify (/ 1 1) into 1 8.970 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 8.970 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 8.970 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 8.970 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 8.970 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 8.970 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.970 * [taylor]: Taking taylor expansion of y in y 8.970 * [backup-simplify]: Simplify 0 into 0 8.970 * [backup-simplify]: Simplify 1 into 1 8.970 * [backup-simplify]: Simplify (/ 1 1) into 1 8.970 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 8.970 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 8.970 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 8.971 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 8.971 * [backup-simplify]: Simplify 0 into 0 8.971 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 y))))) into 0 8.971 * [backup-simplify]: Simplify 0 into 0 8.972 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 y))))) into 0 8.972 * [backup-simplify]: Simplify 0 into 0 8.972 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 y))))) into 0 8.972 * [backup-simplify]: Simplify 0 into 0 8.973 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 y))))) into 0 8.973 * [backup-simplify]: Simplify 0 into 0 8.973 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 y))))) into 0 8.973 * [backup-simplify]: Simplify 0 into 0 8.973 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (/ 1 y)))) into (sqrt (exp y)) 8.974 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (- y)))) into (sqrt (exp (/ -1 y))) 8.974 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in (y) around 0 8.974 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 8.974 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 8.974 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.974 * [taylor]: Taking taylor expansion of -1 in y 8.974 * [backup-simplify]: Simplify -1 into -1 8.974 * [taylor]: Taking taylor expansion of y in y 8.974 * [backup-simplify]: Simplify 0 into 0 8.974 * [backup-simplify]: Simplify 1 into 1 8.974 * [backup-simplify]: Simplify (/ -1 1) into -1 8.974 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 8.974 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 8.974 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 8.974 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 8.974 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 8.974 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.974 * [taylor]: Taking taylor expansion of -1 in y 8.974 * [backup-simplify]: Simplify -1 into -1 8.974 * [taylor]: Taking taylor expansion of y in y 8.974 * [backup-simplify]: Simplify 0 into 0 8.974 * [backup-simplify]: Simplify 1 into 1 8.974 * [backup-simplify]: Simplify (/ -1 1) into -1 8.975 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 8.975 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 8.975 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 8.975 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 8.975 * [backup-simplify]: Simplify 0 into 0 8.975 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 y))))) into 0 8.975 * [backup-simplify]: Simplify 0 into 0 8.976 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 y))))) into 0 8.976 * [backup-simplify]: Simplify 0 into 0 8.976 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 y))))) into 0 8.976 * [backup-simplify]: Simplify 0 into 0 8.977 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 y))))) into 0 8.977 * [backup-simplify]: Simplify 0 into 0 8.977 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 y))))) into 0 8.977 * [backup-simplify]: Simplify 0 into 0 8.978 * [backup-simplify]: Simplify (sqrt (exp (/ -1 (/ 1 (- y))))) into (sqrt (exp y)) 8.978 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 8.978 * [backup-simplify]: Simplify (pow (sqrt (exp y)) y) into (pow (sqrt (exp y)) y) 8.978 * [approximate]: Taking taylor expansion of (pow (sqrt (exp y)) y) in (y) around 0 8.978 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in y 8.978 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in y 8.978 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in y 8.978 * [taylor]: Taking taylor expansion of y in y 8.978 * [backup-simplify]: Simplify 0 into 0 8.978 * [backup-simplify]: Simplify 1 into 1 8.978 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 8.978 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 8.978 * [taylor]: Taking taylor expansion of (exp y) in y 8.978 * [taylor]: Taking taylor expansion of y in y 8.978 * [backup-simplify]: Simplify 0 into 0 8.978 * [backup-simplify]: Simplify 1 into 1 8.978 * [backup-simplify]: Simplify (exp 0) into 1 8.978 * [backup-simplify]: Simplify (sqrt 1) into 1 8.979 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 8.979 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 8.979 * [backup-simplify]: Simplify (log 1) into 0 8.980 * [backup-simplify]: Simplify (* 0 0) into 0 8.980 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2 8.981 * [backup-simplify]: Simplify (+ (* 0 1/2) (* 1 0)) into 0 8.982 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 8.982 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 8.984 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/8) 1)) (pow 1 1)))) 2) into 0 8.984 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1/2) (* 0 0))) into 1/2 8.984 * [backup-simplify]: Simplify (exp 0) into 1 8.984 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in y 8.984 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in y 8.984 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in y 8.984 * [taylor]: Taking taylor expansion of y in y 8.984 * [backup-simplify]: Simplify 0 into 0 8.984 * [backup-simplify]: Simplify 1 into 1 8.984 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 8.984 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 8.984 * [taylor]: Taking taylor expansion of (exp y) in y 8.984 * [taylor]: Taking taylor expansion of y in y 8.984 * [backup-simplify]: Simplify 0 into 0 8.985 * [backup-simplify]: Simplify 1 into 1 8.985 * [backup-simplify]: Simplify (exp 0) into 1 8.985 * [backup-simplify]: Simplify (sqrt 1) into 1 8.985 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 8.986 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 8.986 * [backup-simplify]: Simplify (log 1) into 0 8.986 * [backup-simplify]: Simplify (* 0 0) into 0 8.987 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2 8.987 * [backup-simplify]: Simplify (+ (* 0 1/2) (* 1 0)) into 0 8.988 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 8.989 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 8.990 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/8) 1)) (pow 1 1)))) 2) into 0 8.991 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1/2) (* 0 0))) into 1/2 8.991 * [backup-simplify]: Simplify (exp 0) into 1 8.991 * [backup-simplify]: Simplify 1 into 1 8.992 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 8.992 * [backup-simplify]: Simplify 0 into 0 8.993 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1/2 1) 1)))) into 1/2 8.993 * [backup-simplify]: Simplify 1/2 into 1/2 8.994 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 8.995 * [backup-simplify]: Simplify (/ (- 1/6 (+ (* 2 (* 1/2 1/8)))) (* 2 1)) into 1/48 9.001 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1/2) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1/2) 1) (pow (* 2 1/8) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 1/48) 1)) (pow 1 1)))) 6) into 0 9.002 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1/2) (* 0 0)))) into 0 9.004 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1/2 1) 1)) (* (/ (pow 0 1) 1)))) into 0 9.004 * [backup-simplify]: Simplify 0 into 0 9.008 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 9.012 * [backup-simplify]: Simplify (/ (- 1/24 (pow 1/8 2) (+ (* 2 (* 1/2 1/48)))) (* 2 1)) into 1/384 9.018 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 1/2) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 1/2) 2) (pow (* 2 1/8) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 1/8) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 1/2) 1) 1 (pow (* 6 1/48) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 1/384) 1)) (pow 1 1)))) 24) into 0 9.019 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 0))))) into 0 9.022 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1/2 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1/2 2) 2)) (* (/ (pow 0 1) 1)))) into 1/8 9.022 * [backup-simplify]: Simplify 1/8 into 1/8 9.022 * [backup-simplify]: Simplify (+ (* 1/8 (pow y 4)) (+ (* 1/2 (pow y 2)) 1)) into (+ (* 1/8 (pow y 4)) (+ (* 1/2 (pow y 2)) 1)) 9.022 * [backup-simplify]: Simplify (pow (sqrt (exp (/ 1 y))) (/ 1 y)) into (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 9.022 * [approximate]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in (y) around 0 9.022 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in y 9.022 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in y 9.022 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in y 9.022 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.022 * [taylor]: Taking taylor expansion of y in y 9.022 * [backup-simplify]: Simplify 0 into 0 9.022 * [backup-simplify]: Simplify 1 into 1 9.022 * [backup-simplify]: Simplify (/ 1 1) into 1 9.023 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 9.023 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 9.023 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 9.023 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.023 * [taylor]: Taking taylor expansion of y in y 9.023 * [backup-simplify]: Simplify 0 into 0 9.023 * [backup-simplify]: Simplify 1 into 1 9.023 * [backup-simplify]: Simplify (/ 1 1) into 1 9.023 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 9.023 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 9.023 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 9.023 * [backup-simplify]: Simplify (log (sqrt (exp (/ 1 y)))) into (log (sqrt (exp (/ 1 y)))) 9.023 * [backup-simplify]: Simplify (* 1 (log (sqrt (exp (/ 1 y))))) into (log (sqrt (exp (/ 1 y)))) 9.023 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 9.023 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in y 9.023 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in y 9.023 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in y 9.023 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.023 * [taylor]: Taking taylor expansion of y in y 9.023 * [backup-simplify]: Simplify 0 into 0 9.023 * [backup-simplify]: Simplify 1 into 1 9.024 * [backup-simplify]: Simplify (/ 1 1) into 1 9.024 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 9.024 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 9.024 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 9.024 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.024 * [taylor]: Taking taylor expansion of y in y 9.024 * [backup-simplify]: Simplify 0 into 0 9.024 * [backup-simplify]: Simplify 1 into 1 9.024 * [backup-simplify]: Simplify (/ 1 1) into 1 9.024 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 9.024 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 9.024 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 9.024 * [backup-simplify]: Simplify (log (sqrt (exp (/ 1 y)))) into (log (sqrt (exp (/ 1 y)))) 9.024 * [backup-simplify]: Simplify (* 1 (log (sqrt (exp (/ 1 y))))) into (log (sqrt (exp (/ 1 y)))) 9.024 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 9.024 * [backup-simplify]: Simplify (exp (/ (log (sqrt (exp (/ 1 y)))) y)) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 9.024 * [backup-simplify]: Simplify 0 into 0 9.024 * [backup-simplify]: Simplify 0 into 0 9.025 * [backup-simplify]: Simplify 0 into 0 9.025 * [backup-simplify]: Simplify 0 into 0 9.025 * [backup-simplify]: Simplify 0 into 0 9.025 * [backup-simplify]: Simplify 0 into 0 9.025 * [backup-simplify]: Simplify (exp (/ (log (sqrt (exp (/ 1 (/ 1 y))))) (/ 1 y))) into (exp (* (log (sqrt (exp y))) y)) 9.025 * [backup-simplify]: Simplify (pow (sqrt (exp (/ 1 (- y)))) (/ 1 (- y))) into (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 9.025 * [approximate]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in (y) around 0 9.025 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in y 9.025 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in y 9.025 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in y 9.025 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.025 * [taylor]: Taking taylor expansion of -1 in y 9.025 * [backup-simplify]: Simplify -1 into -1 9.025 * [taylor]: Taking taylor expansion of y in y 9.025 * [backup-simplify]: Simplify 0 into 0 9.025 * [backup-simplify]: Simplify 1 into 1 9.025 * [backup-simplify]: Simplify (/ -1 1) into -1 9.025 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 9.025 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 9.025 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 9.025 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.025 * [taylor]: Taking taylor expansion of -1 in y 9.025 * [backup-simplify]: Simplify -1 into -1 9.025 * [taylor]: Taking taylor expansion of y in y 9.025 * [backup-simplify]: Simplify 0 into 0 9.025 * [backup-simplify]: Simplify 1 into 1 9.026 * [backup-simplify]: Simplify (/ -1 1) into -1 9.026 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 9.026 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 9.026 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 9.026 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 9.026 * [backup-simplify]: Simplify (* -1 (log (sqrt (exp (/ -1 y))))) into (* -1 (log (sqrt (exp (/ -1 y))))) 9.026 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 9.026 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in y 9.026 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in y 9.026 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in y 9.026 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.026 * [taylor]: Taking taylor expansion of -1 in y 9.026 * [backup-simplify]: Simplify -1 into -1 9.026 * [taylor]: Taking taylor expansion of y in y 9.026 * [backup-simplify]: Simplify 0 into 0 9.026 * [backup-simplify]: Simplify 1 into 1 9.026 * [backup-simplify]: Simplify (/ -1 1) into -1 9.026 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 9.026 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 9.026 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 9.026 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.026 * [taylor]: Taking taylor expansion of -1 in y 9.027 * [backup-simplify]: Simplify -1 into -1 9.027 * [taylor]: Taking taylor expansion of y in y 9.027 * [backup-simplify]: Simplify 0 into 0 9.027 * [backup-simplify]: Simplify 1 into 1 9.027 * [backup-simplify]: Simplify (/ -1 1) into -1 9.027 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 9.027 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 9.027 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 9.027 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 9.027 * [backup-simplify]: Simplify (* -1 (log (sqrt (exp (/ -1 y))))) into (* -1 (log (sqrt (exp (/ -1 y))))) 9.027 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 9.027 * [backup-simplify]: Simplify (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 9.027 * [backup-simplify]: Simplify 0 into 0 9.027 * [backup-simplify]: Simplify 0 into 0 9.027 * [backup-simplify]: Simplify 0 into 0 9.027 * [backup-simplify]: Simplify 0 into 0 9.027 * [backup-simplify]: Simplify 0 into 0 9.027 * [backup-simplify]: Simplify 0 into 0 9.028 * [backup-simplify]: Simplify (exp (* -1 (/ (log (sqrt (exp (/ -1 (/ 1 (- y)))))) (/ 1 (- y))))) into (exp (* (log (sqrt (exp y))) y)) 9.028 * * * [progress]: simplifying candidates 9.028 * * * * [progress]: [ 1 / 110 ] simplifiying candidate # 9.028 * * * * [progress]: [ 2 / 110 ] simplifiying candidate # 9.028 * * * * [progress]: [ 3 / 110 ] simplifiying candidate # 9.028 * * * * [progress]: [ 4 / 110 ] simplifiying candidate # 9.028 * * * * [progress]: [ 5 / 110 ] simplifiying candidate # 9.028 * * * * [progress]: [ 6 / 110 ] simplifiying candidate # 9.028 * * * * [progress]: [ 7 / 110 ] simplifiying candidate # 9.028 * * * * [progress]: [ 8 / 110 ] simplifiying candidate # 9.028 * * * * [progress]: [ 9 / 110 ] simplifiying candidate # 9.028 * * * * [progress]: [ 10 / 110 ] simplifiying candidate # 9.028 * * * * [progress]: [ 11 / 110 ] simplifiying candidate # 9.028 * * * * [progress]: [ 12 / 110 ] simplifiying candidate # 9.028 * * * * [progress]: [ 13 / 110 ] simplifiying candidate # 9.028 * * * * [progress]: [ 14 / 110 ] simplifiying candidate # 9.028 * * * * [progress]: [ 15 / 110 ] simplifiying candidate # 9.028 * * * * [progress]: [ 16 / 110 ] simplifiying candidate # 9.028 * * * * [progress]: [ 17 / 110 ] simplifiying candidate # 9.028 * * * * [progress]: [ 18 / 110 ] simplifiying candidate # 9.029 * * * * [progress]: [ 19 / 110 ] simplifiying candidate # 9.029 * * * * [progress]: [ 20 / 110 ] simplifiying candidate # 9.029 * * * * [progress]: [ 21 / 110 ] simplifiying candidate # 9.029 * * * * [progress]: [ 22 / 110 ] simplifiying candidate # 9.029 * * * * [progress]: [ 23 / 110 ] simplifiying candidate # 9.029 * * * * [progress]: [ 24 / 110 ] simplifiying candidate # 9.029 * * * * [progress]: [ 25 / 110 ] simplifiying candidate # 9.029 * * * * [progress]: [ 26 / 110 ] simplifiying candidate # 9.029 * * * * [progress]: [ 27 / 110 ] simplifiying candidate # 9.029 * * * * [progress]: [ 28 / 110 ] simplifiying candidate # 9.029 * * * * [progress]: [ 29 / 110 ] simplifiying candidate # 9.029 * * * * [progress]: [ 30 / 110 ] simplifiying candidate # 9.029 * * * * [progress]: [ 31 / 110 ] simplifiying candidate # 9.029 * * * * [progress]: [ 32 / 110 ] simplifiying candidate # 9.029 * * * * [progress]: [ 33 / 110 ] simplifiying candidate # 9.029 * * * * [progress]: [ 34 / 110 ] simplifiying candidate # 9.029 * * * * [progress]: [ 35 / 110 ] simplifiying candidate # 9.029 * * * * [progress]: [ 36 / 110 ] simplifiying candidate #real (real->posit16 (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y))))))> 9.029 * * * * [progress]: [ 37 / 110 ] simplifiying candidate # 9.029 * * * * [progress]: [ 38 / 110 ] simplifiying candidate # 9.029 * * * * [progress]: [ 39 / 110 ] simplifiying candidate # 9.029 * * * * [progress]: [ 40 / 110 ] simplifiying candidate # 9.029 * * * * [progress]: [ 41 / 110 ] simplifiying candidate # 9.030 * * * * [progress]: [ 42 / 110 ] simplifiying candidate # 9.030 * * * * [progress]: [ 43 / 110 ] simplifiying candidate # 9.030 * * * * [progress]: [ 44 / 110 ] simplifiying candidate # 9.030 * * * * [progress]: [ 45 / 110 ] simplifiying candidate # 9.030 * * * * [progress]: [ 46 / 110 ] simplifiying candidate # 9.030 * * * * [progress]: [ 47 / 110 ] simplifiying candidate # 9.030 * * * * [progress]: [ 48 / 110 ] simplifiying candidate # 9.030 * * * * [progress]: [ 49 / 110 ] simplifiying candidate # 9.030 * * * * [progress]: [ 50 / 110 ] simplifiying candidate # 9.030 * * * * [progress]: [ 51 / 110 ] simplifiying candidate # 9.030 * * * * [progress]: [ 52 / 110 ] simplifiying candidate # 9.030 * * * * [progress]: [ 53 / 110 ] simplifiying candidate # 9.030 * * * * [progress]: [ 54 / 110 ] simplifiying candidate #real (real->posit16 (sqrt (exp y)))) y))))> 9.030 * * * * [progress]: [ 55 / 110 ] simplifiying candidate # 9.030 * * * * [progress]: [ 56 / 110 ] simplifiying candidate # 9.030 * * * * [progress]: [ 57 / 110 ] simplifiying candidate # 9.030 * * * * [progress]: [ 58 / 110 ] simplifiying candidate # 9.030 * * * * [progress]: [ 59 / 110 ] simplifiying candidate # 9.030 * * * * [progress]: [ 60 / 110 ] simplifiying candidate # 9.031 * * * * [progress]: [ 61 / 110 ] simplifiying candidate # 9.031 * * * * [progress]: [ 62 / 110 ] simplifiying candidate # 9.031 * * * * [progress]: [ 63 / 110 ] simplifiying candidate # 9.031 * * * * [progress]: [ 64 / 110 ] simplifiying candidate # 9.031 * * * * [progress]: [ 65 / 110 ] simplifiying candidate # 9.031 * * * * [progress]: [ 66 / 110 ] simplifiying candidate # 9.031 * * * * [progress]: [ 67 / 110 ] simplifiying candidate # 9.031 * * * * [progress]: [ 68 / 110 ] simplifiying candidate # 9.031 * * * * [progress]: [ 69 / 110 ] simplifiying candidate # 9.031 * * * * [progress]: [ 70 / 110 ] simplifiying candidate # 9.031 * * * * [progress]: [ 71 / 110 ] simplifiying candidate #real (real->posit16 (sqrt (exp y)))) y)) (* (sqrt x) (pow (sqrt (exp y)) y))))> 9.031 * * * * [progress]: [ 72 / 110 ] simplifiying candidate # 9.031 * * * * [progress]: [ 73 / 110 ] simplifiying candidate # 9.031 * * * * [progress]: [ 74 / 110 ] simplifiying candidate # 9.031 * * * * [progress]: [ 75 / 110 ] simplifiying candidate # 9.031 * * * * [progress]: [ 76 / 110 ] simplifiying candidate # 9.031 * * * * [progress]: [ 77 / 110 ] simplifiying candidate # 9.031 * * * * [progress]: [ 78 / 110 ] simplifiying candidate # 9.031 * * * * [progress]: [ 79 / 110 ] simplifiying candidate # 9.031 * * * * [progress]: [ 80 / 110 ] simplifiying candidate # 9.031 * * * * [progress]: [ 81 / 110 ] simplifiying candidate # 9.031 * * * * [progress]: [ 82 / 110 ] simplifiying candidate # 9.031 * * * * [progress]: [ 83 / 110 ] simplifiying candidate # 9.031 * * * * [progress]: [ 84 / 110 ] simplifiying candidate # 9.031 * * * * [progress]: [ 85 / 110 ] simplifiying candidate # 9.031 * * * * [progress]: [ 86 / 110 ] simplifiying candidate # 9.031 * * * * [progress]: [ 87 / 110 ] simplifiying candidate # 9.032 * * * * [progress]: [ 88 / 110 ] simplifiying candidate # 9.032 * * * * [progress]: [ 89 / 110 ] simplifiying candidate # 9.032 * * * * [progress]: [ 90 / 110 ] simplifiying candidate # 9.032 * * * * [progress]: [ 91 / 110 ] simplifiying candidate # 9.032 * * * * [progress]: [ 92 / 110 ] simplifiying candidate # 9.032 * * * * [progress]: [ 93 / 110 ] simplifiying candidate # 9.032 * * * * [progress]: [ 94 / 110 ] simplifiying candidate # 9.032 * * * * [progress]: [ 95 / 110 ] simplifiying candidate # 9.032 * * * * [progress]: [ 96 / 110 ] simplifiying candidate # 9.032 * * * * [progress]: [ 97 / 110 ] simplifiying candidate # 9.032 * * * * [progress]: [ 98 / 110 ] simplifiying candidate #real (real->posit16 (pow (sqrt (exp y)) y))))))> 9.032 * * * * [progress]: [ 99 / 110 ] simplifiying candidate # 9.032 * * * * [progress]: [ 100 / 110 ] simplifiying candidate # 9.032 * * * * [progress]: [ 101 / 110 ] simplifiying candidate # 9.032 * * * * [progress]: [ 102 / 110 ] simplifiying candidate # 9.032 * * * * [progress]: [ 103 / 110 ] simplifiying candidate # 9.032 * * * * [progress]: [ 104 / 110 ] simplifiying candidate # 9.032 * * * * [progress]: [ 105 / 110 ] simplifiying candidate # 9.032 * * * * [progress]: [ 106 / 110 ] simplifiying candidate # 9.032 * * * * [progress]: [ 107 / 110 ] simplifiying candidate # 9.032 * * * * [progress]: [ 108 / 110 ] simplifiying candidate # 9.032 * * * * [progress]: [ 109 / 110 ] simplifiying candidate # 9.032 * * * * [progress]: [ 110 / 110 ] simplifiying candidate # 9.033 * [simplify]: Simplifying: (+ 1 1) (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y))) (+ 1 1) (+ (+ (log (sqrt x)) (* (log (sqrt (exp y))) y)) (+ (log (sqrt x)) (* (log (sqrt (exp y))) y))) (+ (+ (log (sqrt x)) (* (log (sqrt (exp y))) y)) (+ (log (sqrt x)) (* (log (sqrt (exp y))) y))) (+ (+ (log (sqrt x)) (* (log (sqrt (exp y))) y)) (+ (log (sqrt x)) (log (pow (sqrt (exp y)) y)))) (+ (+ (log (sqrt x)) (* (log (sqrt (exp y))) y)) (log (* (sqrt x) (pow (sqrt (exp y)) y)))) (+ (+ (log (sqrt x)) (* (log (sqrt (exp y))) y)) (+ (log (sqrt x)) (* (log (sqrt (exp y))) y))) (+ (+ (log (sqrt x)) (* (log (sqrt (exp y))) y)) (+ (log (sqrt x)) (* (log (sqrt (exp y))) y))) (+ (+ (log (sqrt x)) (* (log (sqrt (exp y))) y)) (+ (log (sqrt x)) (log (pow (sqrt (exp y)) y)))) (+ (+ (log (sqrt x)) (* (log (sqrt (exp y))) y)) (log (* (sqrt x) (pow (sqrt (exp y)) y)))) (+ (+ (log (sqrt x)) (log (pow (sqrt (exp y)) y))) (+ (log (sqrt x)) (* (log (sqrt (exp y))) y))) (+ (+ (log (sqrt x)) (log (pow (sqrt (exp y)) y))) (+ (log (sqrt x)) (* (log (sqrt (exp y))) y))) (+ (+ (log (sqrt x)) (log (pow (sqrt (exp y)) y))) (+ (log (sqrt x)) (log (pow (sqrt (exp y)) y)))) (+ (+ (log (sqrt x)) (log (pow (sqrt (exp y)) y))) (log (* (sqrt x) (pow (sqrt (exp y)) y)))) (+ (log (* (sqrt x) (pow (sqrt (exp y)) y))) (+ (log (sqrt x)) (* (log (sqrt (exp y))) y))) (+ (log (* (sqrt x) (pow (sqrt (exp y)) y))) (+ (log (sqrt x)) (* (log (sqrt (exp y))) y))) (+ (log (* (sqrt x) (pow (sqrt (exp y)) y))) (+ (log (sqrt x)) (log (pow (sqrt (exp y)) y)))) (+ (log (* (sqrt x) (pow (sqrt (exp y)) y))) (log (* (sqrt x) (pow (sqrt (exp y)) y)))) (log (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)))) (exp (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)))) (* (* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y))) (* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y)))) (* (* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y))) (* (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y))) (* (sqrt x) (pow (sqrt (exp y)) y)))) (* (* (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y))) (* (sqrt x) (pow (sqrt (exp y)) y))) (* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y)))) (* (* (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y))) (* (sqrt x) (pow (sqrt (exp y)) y))) (* (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y))) (* (sqrt x) (pow (sqrt (exp y)) y)))) (* (cbrt (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)))) (cbrt (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y))))) (cbrt (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)))) (* (* (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y))) (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)))) (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)))) (sqrt (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)))) (sqrt (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)))) (* (sqrt x) (sqrt x)) (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (* 2 1) (* (* (sqrt x) (pow (sqrt (exp y)) y)) (sqrt x)) (* (pow (sqrt (exp y)) y) (* (sqrt x) (pow (sqrt (exp y)) y))) (real->posit16 (* (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)))) (log (sqrt (exp y))) (exp (sqrt (exp y))) (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) (cbrt (sqrt (exp y))) (* (* (sqrt (exp y)) (sqrt (exp y))) (sqrt (exp y))) (sqrt (* (cbrt (exp y)) (cbrt (exp y)))) (sqrt (cbrt (exp y))) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) (sqrt 1) (sqrt (exp y)) (/ 1 2) (/ (cbrt y) 2) (/ (sqrt y) 2) (/ y 2) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) (real->posit16 (sqrt (exp y))) (log (sqrt (exp y))) (exp (sqrt (exp y))) (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) (cbrt (sqrt (exp y))) (* (* (sqrt (exp y)) (sqrt (exp y))) (sqrt (exp y))) (sqrt (* (cbrt (exp y)) (cbrt (exp y)))) (sqrt (cbrt (exp y))) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) (sqrt 1) (sqrt (exp y)) (/ 1 2) (/ (cbrt y) 2) (/ (sqrt y) 2) (/ y 2) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) (real->posit16 (sqrt (exp y))) (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y) (* 1/2 y) (* 1 y) (* (/ 1 2) y) (* (/ (cbrt y) 2) y) (* (/ (sqrt y) 2) y) (* (/ y 2) y) (pow (sqrt (exp y)) (* (cbrt y) (cbrt y))) (pow (sqrt (exp y)) (sqrt y)) (pow (sqrt (exp y)) 1) (pow (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) y) (pow (cbrt (sqrt (exp y))) y) (pow (sqrt (* (cbrt (exp y)) (cbrt (exp y)))) y) (pow (sqrt (cbrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y) (pow (sqrt 1) y) (pow (sqrt (exp y)) y) (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y) (pow 1 y) (pow (sqrt (exp y)) y) (log (pow (sqrt (exp y)) y)) (exp (pow (sqrt (exp y)) y)) (* (cbrt (pow (sqrt (exp y)) y)) (cbrt (pow (sqrt (exp y)) y))) (cbrt (pow (sqrt (exp y)) y)) (* (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y)) (/ y 2) (sqrt (pow (sqrt (exp y)) y)) (sqrt (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) (/ y 2)) (pow (sqrt (exp y)) (/ y 2)) (real->posit16 (pow (sqrt (exp y)) y)) x (* x (pow (exp (* (log (sqrt (exp y))) y)) 2)) (- (+ (* +nan.0 (pow (exp (* (log (sqrt (exp y))) y)) 2)) (- (+ (* +nan.0 (/ (pow (exp (* (log (sqrt (exp y))) y)) 2) (pow x 2))) (- (* +nan.0 (/ (pow (exp (* (log (sqrt (exp y))) y)) 2) x))))))) (+ (* 1/8 (pow y 2)) (+ (* 1/2 y) 1)) (sqrt (exp y)) (sqrt (exp y)) (+ (* 1/8 (pow y 2)) (+ (* 1/2 y) 1)) (sqrt (exp y)) (sqrt (exp y)) (+ (* 1/8 (pow y 4)) (+ (* 1/2 (pow y 2)) 1)) (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y)) 9.035 * * [simplify]: iteration 0: 116 enodes 9.079 * * [simplify]: iteration 1: 312 enodes 9.167 * * [simplify]: iteration 2: 867 enodes 9.908 * * [simplify]: iteration 3: 3062 enodes 11.100 * * [simplify]: iteration complete: 5000 enodes 11.100 * * [simplify]: Extracting #0: cost 52 inf + 0 11.102 * * [simplify]: Extracting #1: cost 463 inf + 47 11.106 * * [simplify]: Extracting #2: cost 1019 inf + 5905 11.122 * * [simplify]: Extracting #3: cost 1047 inf + 55721 11.186 * * [simplify]: Extracting #4: cost 379 inf + 392779 11.265 * * [simplify]: Extracting #5: cost 58 inf + 550268 11.405 * * [simplify]: Extracting #6: cost 0 inf + 561775 11.553 * * [simplify]: Extracting #7: cost 0 inf + 556631 11.709 * * [simplify]: Extracting #8: cost 0 inf + 556131 11.848 * * [simplify]: Extracting #9: cost 0 inf + 556071 11.972 * [simplify]: Simplified to: 2 (* x (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y)))) 2 (+ (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y)) (log x)) (+ (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y)) (log x)) (+ (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y)) (log x)) (+ (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y)) (log x)) (+ (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y)) (log x)) (+ (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y)) (log x)) (+ (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y)) (log x)) (+ (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y)) (log x)) (+ (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y)) (log x)) (+ (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y)) (log x)) (+ (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y)) (log x)) (+ (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y)) (log x)) (+ (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y)) (log x)) (+ (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y)) (log x)) (+ (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y)) (log x)) (+ (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y)) (log x)) (+ (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y)) (log x)) (exp (* x (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y))))) (* (* (* x (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y)))) (* x (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y))))) (* x (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y))))) (* (* (* x (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y)))) (* x (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y))))) (* x (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y))))) (* (* (* x (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y)))) (* x (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y))))) (* x (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y))))) (* (* (* x (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y)))) (* x (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y))))) (* x (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y))))) (* (cbrt (* x (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y))))) (cbrt (* x (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y)))))) (cbrt (* x (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y))))) (* (* (* x (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y)))) (* x (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y))))) (* x (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y))))) (sqrt (* x (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y))))) (sqrt (* x (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y))))) x (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y))) 2 (* x (exp (* (log (sqrt (exp y))) y))) (* (exp (* (log (sqrt (exp y))) y)) (* (sqrt x) (exp (* (log (sqrt (exp y))) y)))) (real->posit16 (* x (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y))))) (log (sqrt (exp y))) (exp (sqrt (exp y))) (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) (cbrt (sqrt (exp y))) (* (exp y) (sqrt (exp y))) (fabs (cbrt (exp y))) (sqrt (cbrt (exp y))) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) 1 (sqrt (exp y)) 1/2 (/ (cbrt y) 2) (/ (sqrt y) 2) (/ y 2) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) (real->posit16 (sqrt (exp y))) (log (sqrt (exp y))) (exp (sqrt (exp y))) (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) (cbrt (sqrt (exp y))) (* (exp y) (sqrt (exp y))) (fabs (cbrt (exp y))) (sqrt (cbrt (exp y))) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) 1 (sqrt (exp y)) 1/2 (/ (cbrt y) 2) (/ (sqrt y) 2) (/ y 2) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) (real->posit16 (sqrt (exp y))) (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y) (* y 1/2) y (* y 1/2) (* (/ (cbrt y) 2) y) (* (/ (sqrt y) 2) y) (* (/ y 2) y) (pow (sqrt (exp y)) (* (cbrt y) (cbrt y))) (pow (sqrt (exp y)) (sqrt y)) (sqrt (exp y)) (pow (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) y) (pow (cbrt (sqrt (exp y))) y) (pow (fabs (cbrt (exp y))) y) (pow (sqrt (cbrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y) 1 (exp (* (log (sqrt (exp y))) y)) (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y) 1 (exp (* (log (sqrt (exp y))) y)) (* (log (sqrt (exp y))) y) (exp (exp (* (log (sqrt (exp y))) y))) (* (cbrt (exp (* (log (sqrt (exp y))) y))) (cbrt (exp (* (log (sqrt (exp y))) y)))) (cbrt (exp (* (log (sqrt (exp y))) y))) (* (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y))) (exp (* (log (sqrt (exp y))) y))) (/ y 2) (sqrt (exp (* (log (sqrt (exp y))) y))) (sqrt (exp (* (log (sqrt (exp y))) y))) (exp (* (/ y 2) (log (sqrt (exp y))))) (exp (* (/ y 2) (log (sqrt (exp y))))) (real->posit16 (exp (* (log (sqrt (exp y))) y))) x (* x (* (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y)))) (- (+ (/ (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* (log (sqrt (exp y))) y)) +nan.0)) x) (- (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* (log (sqrt (exp y))) y)) +nan.0)) (/ +nan.0 (* (/ x (exp (* (log (sqrt (exp y))) y))) (/ x (exp (* (log (sqrt (exp y))) y)))))))) (+ (+ (* y 1/2) (* (* y y) 1/8)) 1) (sqrt (exp y)) (sqrt (exp y)) (+ (+ (* y 1/2) (* (* y y) 1/8)) 1) (sqrt (exp y)) (sqrt (exp y)) (+ 1 (+ (* (* (* y y) 1/8) (* y y)) (* (/ y 2) y))) (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y)) 11.983 * * * [progress]: adding candidates to table 12.423 * [progress]: [Phase 3 of 3] Extracting. 12.423 * * [regime]: Finding splitpoints for: (# # #) 12.423 * * * [regime-changes]: Trying 3 branch expressions: ((* y y) y x) 12.423 * * * * [regimes]: Trying to branch on (* y y) from (# # #) 12.450 * * * * [regimes]: Trying to branch on y from (# # #) 12.473 * * * * [regimes]: Trying to branch on x from (# # #) 12.499 * * * [regime]: Found split indices: #