7.467 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.034 * * * [progress]: [2/2] Setting up program. 0.037 * [progress]: [Phase 2 of 3] Improving. 0.038 * [simplify]: Simplifying: (* x (exp (* y y))) 0.038 * * [simplify]: Extracting # 0 : cost 0 0.038 * * [simplify]: Extracting # 1 : cost 0 0.038 * * [simplify]: Extracting # 2 : cost 0 0.038 * * [simplify]: Extracting # 3 : cost 0 0.038 * * [simplify]: Extracting # 4 : cost 0 0.038 * * [simplify]: Extracting # 5 : cost 0 0.038 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.040 * * [simplify]: Extracting # 0 : cost 0 0.040 * * [simplify]: Extracting # 1 : cost 0 0.040 * * [simplify]: Extracting # 2 : cost 0 0.040 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 0.043 * * [simplify]: Extracting # 0 : cost 0 0.043 * * [simplify]: Extracting # 1 : cost 0 0.043 * * [simplify]: Extracting # 2 : cost 0 0.043 * * [simplify]: Extracting # 3 : cost 0 0.043 * * [simplify]: Extracting # 4 : cost 0 0.043 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 0.047 * * [simplify]: Extracting # 0 : cost 0 0.048 * * [simplify]: Extracting # 1 : cost 0 0.048 * * [simplify]: Extracting # 2 : cost 0 0.048 * * [simplify]: Extracting # 3 : cost 0 0.048 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 0.057 * * [simplify]: Extracting # 0 : cost 0 0.058 * * [simplify]: Extracting # 1 : cost 0 0.058 * * [simplify]: Extracting # 2 : cost 0 0.058 * * [simplify]: Extracting # 3 : cost 0 0.058 * * [simplify]: Extracting # 4 : cost 0 0.058 * * [simplify]: iteration 4 : 47 enodes (cost 6 ) 0.086 * * [simplify]: Extracting # 0 : cost 0 0.086 * * [simplify]: Extracting # 1 : cost 0 0.086 * * [simplify]: Extracting # 2 : cost 0 0.087 * * [simplify]: Extracting # 3 : cost 0 0.087 * * [simplify]: Extracting # 4 : cost 0 0.087 * * [simplify]: Extracting # 5 : cost 0 0.087 * * [simplify]: iteration 5 : 127 enodes (cost 6 ) 0.158 * * [simplify]: Extracting # 0 : cost 0 0.159 * * [simplify]: Extracting # 1 : cost 0 0.160 * * [simplify]: Extracting # 2 : cost 0 0.161 * * [simplify]: Extracting # 3 : cost 0 0.162 * * [simplify]: Extracting # 4 : cost 0 0.162 * * [simplify]: iteration 6 : 342 enodes (cost 6 ) 0.581 * * [simplify]: Extracting # 0 : cost 0 0.583 * * [simplify]: Extracting # 1 : cost 0 0.584 * * [simplify]: Extracting # 2 : cost 0 0.585 * * [simplify]: Extracting # 3 : cost 0 0.586 * * [simplify]: Extracting # 4 : cost 0 0.587 * * [simplify]: Extracting # 5 : cost 0 0.588 * * [simplify]: iteration 7 : 1113 enodes (cost 6 ) 4.156 * * [simplify]: Extracting # 0 : cost 0 4.163 * * [simplify]: Extracting # 1 : cost 0 4.168 * * [simplify]: Extracting # 2 : cost 0 4.173 * * [simplify]: Extracting # 3 : cost 0 4.179 * * [simplify]: Extracting # 4 : cost 0 4.184 * * [simplify]: Extracting # 5 : cost 0 4.189 * * [simplify]: iteration 8 : 4450 enodes (cost 6 ) 6.931 * * [simplify]: Extracting # 0 : cost 0 6.937 * * [simplify]: Extracting # 1 : cost 0 6.944 * * [simplify]: Extracting # 2 : cost 0 6.950 * * [simplify]: Extracting # 3 : cost 0 6.956 * * [simplify]: iteration done: 5000 enodes (cost 6 ) 6.956 * [simplify]: Simplified to: (* x (exp (* y y))) 6.956 * * [progress]: iteration 1 / 4 6.956 * * * [progress]: picking best candidate 6.959 * * * * [pick]: Picked # 6.959 * * * [progress]: localizing error 6.974 * * * [progress]: generating rewritten candidates 6.974 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 6.981 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 7.002 * * * [progress]: generating series expansions 7.002 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 7.002 * [backup-simplify]: Simplify (exp (* y y)) into (exp (pow y 2)) 7.002 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0 7.002 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 7.002 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.002 * [taylor]: Taking taylor expansion of y in y 7.002 * [backup-simplify]: Simplify 0 into 0 7.003 * [backup-simplify]: Simplify 1 into 1 7.003 * [backup-simplify]: Simplify (* 1 1) into 1 7.003 * [backup-simplify]: Simplify (exp 0) into 1 7.003 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 7.003 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.003 * [taylor]: Taking taylor expansion of y in y 7.003 * [backup-simplify]: Simplify 0 into 0 7.003 * [backup-simplify]: Simplify 1 into 1 7.004 * [backup-simplify]: Simplify (* 1 1) into 1 7.004 * [backup-simplify]: Simplify (exp 0) into 1 7.004 * [backup-simplify]: Simplify 1 into 1 7.005 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 7.005 * [backup-simplify]: Simplify 0 into 0 7.006 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1 7.006 * [backup-simplify]: Simplify 1 into 1 7.007 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.009 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 7.009 * [backup-simplify]: Simplify 0 into 0 7.009 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.012 * [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 7.012 * [backup-simplify]: Simplify 1/2 into 1/2 7.013 * [backup-simplify]: Simplify (+ (* 1/2 (pow y 4)) (+ (* 1 (pow y 2)) 1)) into (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1)) 7.013 * [backup-simplify]: Simplify (exp (* (/ 1 y) (/ 1 y))) into (exp (/ 1 (pow y 2))) 7.013 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 7.013 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.013 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.013 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.013 * [taylor]: Taking taylor expansion of y in y 7.013 * [backup-simplify]: Simplify 0 into 0 7.013 * [backup-simplify]: Simplify 1 into 1 7.014 * [backup-simplify]: Simplify (* 1 1) into 1 7.014 * [backup-simplify]: Simplify (/ 1 1) into 1 7.014 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 7.014 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.014 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.014 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.014 * [taylor]: Taking taylor expansion of y in y 7.014 * [backup-simplify]: Simplify 0 into 0 7.014 * [backup-simplify]: Simplify 1 into 1 7.015 * [backup-simplify]: Simplify (* 1 1) into 1 7.015 * [backup-simplify]: Simplify (/ 1 1) into 1 7.015 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 7.015 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 7.015 * [backup-simplify]: Simplify 0 into 0 7.015 * [backup-simplify]: Simplify 0 into 0 7.015 * [backup-simplify]: Simplify 0 into 0 7.015 * [backup-simplify]: Simplify 0 into 0 7.016 * [backup-simplify]: Simplify 0 into 0 7.016 * [backup-simplify]: Simplify 0 into 0 7.016 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 y) 2))) into (exp (pow y 2)) 7.016 * [backup-simplify]: Simplify (exp (* (/ 1 (- y)) (/ 1 (- y)))) into (exp (/ 1 (pow y 2))) 7.016 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 7.016 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.016 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.016 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.016 * [taylor]: Taking taylor expansion of y in y 7.016 * [backup-simplify]: Simplify 0 into 0 7.016 * [backup-simplify]: Simplify 1 into 1 7.016 * [backup-simplify]: Simplify (* 1 1) into 1 7.017 * [backup-simplify]: Simplify (/ 1 1) into 1 7.017 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 7.017 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.017 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.017 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.017 * [taylor]: Taking taylor expansion of y in y 7.017 * [backup-simplify]: Simplify 0 into 0 7.017 * [backup-simplify]: Simplify 1 into 1 7.017 * [backup-simplify]: Simplify (* 1 1) into 1 7.018 * [backup-simplify]: Simplify (/ 1 1) into 1 7.018 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 7.018 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 7.018 * [backup-simplify]: Simplify 0 into 0 7.018 * [backup-simplify]: Simplify 0 into 0 7.018 * [backup-simplify]: Simplify 0 into 0 7.018 * [backup-simplify]: Simplify 0 into 0 7.018 * [backup-simplify]: Simplify 0 into 0 7.018 * [backup-simplify]: Simplify 0 into 0 7.018 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 (- y)) 2))) into (exp (pow y 2)) 7.018 * * * * [progress]: [ 2 / 2 ] generating series at (2) 7.019 * [backup-simplify]: Simplify (* x (exp (* y y))) into (* x (exp (pow y 2))) 7.019 * [approximate]: Taking taylor expansion of (* x (exp (pow y 2))) in (x y) around 0 7.019 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y 7.019 * [taylor]: Taking taylor expansion of x in y 7.019 * [backup-simplify]: Simplify x into x 7.019 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 7.019 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.019 * [taylor]: Taking taylor expansion of y in y 7.019 * [backup-simplify]: Simplify 0 into 0 7.019 * [backup-simplify]: Simplify 1 into 1 7.019 * [backup-simplify]: Simplify (* 1 1) into 1 7.019 * [backup-simplify]: Simplify (exp 0) into 1 7.019 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 7.019 * [taylor]: Taking taylor expansion of x in x 7.019 * [backup-simplify]: Simplify 0 into 0 7.019 * [backup-simplify]: Simplify 1 into 1 7.019 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 7.019 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.019 * [taylor]: Taking taylor expansion of y in x 7.019 * [backup-simplify]: Simplify y into y 7.019 * [backup-simplify]: Simplify (* y y) into (pow y 2) 7.020 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 7.020 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 7.020 * [taylor]: Taking taylor expansion of x in x 7.020 * [backup-simplify]: Simplify 0 into 0 7.020 * [backup-simplify]: Simplify 1 into 1 7.020 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 7.020 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.020 * [taylor]: Taking taylor expansion of y in x 7.020 * [backup-simplify]: Simplify y into y 7.020 * [backup-simplify]: Simplify (* y y) into (pow y 2) 7.020 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 7.020 * [backup-simplify]: Simplify (* 0 (exp (pow y 2))) into 0 7.020 * [taylor]: Taking taylor expansion of 0 in y 7.020 * [backup-simplify]: Simplify 0 into 0 7.020 * [backup-simplify]: Simplify 0 into 0 7.020 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 7.021 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0 7.022 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (pow y 2)))) into (exp (pow y 2)) 7.022 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 7.022 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.022 * [taylor]: Taking taylor expansion of y in y 7.022 * [backup-simplify]: Simplify 0 into 0 7.022 * [backup-simplify]: Simplify 1 into 1 7.022 * [backup-simplify]: Simplify (* 1 1) into 1 7.022 * [backup-simplify]: Simplify (exp 0) into 1 7.022 * [backup-simplify]: Simplify 1 into 1 7.022 * [backup-simplify]: Simplify 0 into 0 7.022 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 7.024 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.024 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (pow y 2))))) into 0 7.024 * [taylor]: Taking taylor expansion of 0 in y 7.024 * [backup-simplify]: Simplify 0 into 0 7.025 * [backup-simplify]: Simplify 0 into 0 7.025 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 7.025 * [backup-simplify]: Simplify 0 into 0 7.026 * [backup-simplify]: Simplify 0 into 0 7.026 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 7.027 * [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 7.029 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (pow y 2)))))) into 0 7.029 * [taylor]: Taking taylor expansion of 0 in y 7.029 * [backup-simplify]: Simplify 0 into 0 7.029 * [backup-simplify]: Simplify 0 into 0 7.029 * [backup-simplify]: Simplify 0 into 0 7.029 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x 7.029 * [backup-simplify]: Simplify (* (/ 1 x) (exp (* (/ 1 y) (/ 1 y)))) into (/ (exp (/ 1 (pow y 2))) x) 7.029 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in (x y) around 0 7.029 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 7.029 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.029 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.029 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.029 * [taylor]: Taking taylor expansion of y in y 7.029 * [backup-simplify]: Simplify 0 into 0 7.029 * [backup-simplify]: Simplify 1 into 1 7.029 * [backup-simplify]: Simplify (* 1 1) into 1 7.030 * [backup-simplify]: Simplify (/ 1 1) into 1 7.030 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 7.030 * [taylor]: Taking taylor expansion of x in y 7.030 * [backup-simplify]: Simplify x into x 7.030 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 7.030 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 7.030 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 7.030 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.030 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.030 * [taylor]: Taking taylor expansion of y in x 7.030 * [backup-simplify]: Simplify y into y 7.030 * [backup-simplify]: Simplify (* y y) into (pow y 2) 7.030 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 7.031 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 7.031 * [taylor]: Taking taylor expansion of x in x 7.031 * [backup-simplify]: Simplify 0 into 0 7.031 * [backup-simplify]: Simplify 1 into 1 7.031 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 7.031 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 7.031 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 7.031 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.031 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.031 * [taylor]: Taking taylor expansion of y in x 7.031 * [backup-simplify]: Simplify y into y 7.031 * [backup-simplify]: Simplify (* y y) into (pow y 2) 7.031 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 7.031 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 7.031 * [taylor]: Taking taylor expansion of x in x 7.031 * [backup-simplify]: Simplify 0 into 0 7.031 * [backup-simplify]: Simplify 1 into 1 7.032 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 7.032 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.032 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.032 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.032 * [taylor]: Taking taylor expansion of y in y 7.032 * [backup-simplify]: Simplify 0 into 0 7.032 * [backup-simplify]: Simplify 1 into 1 7.032 * [backup-simplify]: Simplify (* 1 1) into 1 7.032 * [backup-simplify]: Simplify (/ 1 1) into 1 7.033 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 7.033 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 7.033 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 7.033 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 7.034 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 7.035 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 7.035 * [taylor]: Taking taylor expansion of 0 in y 7.035 * [backup-simplify]: Simplify 0 into 0 7.035 * [backup-simplify]: Simplify 0 into 0 7.035 * [backup-simplify]: Simplify 0 into 0 7.035 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 7.035 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 7.037 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.038 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.038 * [taylor]: Taking taylor expansion of 0 in y 7.038 * [backup-simplify]: Simplify 0 into 0 7.038 * [backup-simplify]: Simplify 0 into 0 7.038 * [backup-simplify]: Simplify 0 into 0 7.038 * [backup-simplify]: Simplify 0 into 0 7.039 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 7.039 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 7.040 * [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 7.042 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.042 * [taylor]: Taking taylor expansion of 0 in y 7.042 * [backup-simplify]: Simplify 0 into 0 7.042 * [backup-simplify]: Simplify 0 into 0 7.042 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 y) 2))) (* 1 (/ 1 (/ 1 x)))) into (* x (exp (pow y 2))) 7.043 * [backup-simplify]: Simplify (* (/ 1 (- x)) (exp (* (/ 1 (- y)) (/ 1 (- y))))) into (* -1 (/ (exp (/ 1 (pow y 2))) x)) 7.043 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in (x y) around 0 7.043 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in y 7.043 * [taylor]: Taking taylor expansion of -1 in y 7.043 * [backup-simplify]: Simplify -1 into -1 7.043 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 7.043 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.043 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.043 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.043 * [taylor]: Taking taylor expansion of y in y 7.043 * [backup-simplify]: Simplify 0 into 0 7.043 * [backup-simplify]: Simplify 1 into 1 7.043 * [backup-simplify]: Simplify (* 1 1) into 1 7.044 * [backup-simplify]: Simplify (/ 1 1) into 1 7.044 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 7.044 * [taylor]: Taking taylor expansion of x in y 7.044 * [backup-simplify]: Simplify x into x 7.044 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 7.044 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 7.044 * [taylor]: Taking taylor expansion of -1 in x 7.044 * [backup-simplify]: Simplify -1 into -1 7.044 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 7.044 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 7.044 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.044 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.044 * [taylor]: Taking taylor expansion of y in x 7.044 * [backup-simplify]: Simplify y into y 7.044 * [backup-simplify]: Simplify (* y y) into (pow y 2) 7.044 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 7.045 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 7.045 * [taylor]: Taking taylor expansion of x in x 7.045 * [backup-simplify]: Simplify 0 into 0 7.045 * [backup-simplify]: Simplify 1 into 1 7.045 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 7.045 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 7.045 * [taylor]: Taking taylor expansion of -1 in x 7.045 * [backup-simplify]: Simplify -1 into -1 7.045 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 7.045 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 7.045 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.045 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.045 * [taylor]: Taking taylor expansion of y in x 7.045 * [backup-simplify]: Simplify y into y 7.045 * [backup-simplify]: Simplify (* y y) into (pow y 2) 7.045 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 7.045 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 7.045 * [taylor]: Taking taylor expansion of x in x 7.045 * [backup-simplify]: Simplify 0 into 0 7.045 * [backup-simplify]: Simplify 1 into 1 7.046 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 7.046 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 7.046 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 7.046 * [taylor]: Taking taylor expansion of -1 in y 7.046 * [backup-simplify]: Simplify -1 into -1 7.046 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.046 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.046 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.046 * [taylor]: Taking taylor expansion of y in y 7.046 * [backup-simplify]: Simplify 0 into 0 7.046 * [backup-simplify]: Simplify 1 into 1 7.046 * [backup-simplify]: Simplify (* 1 1) into 1 7.047 * [backup-simplify]: Simplify (/ 1 1) into 1 7.047 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 7.047 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 7.047 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 7.047 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 7.047 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 7.048 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 7.049 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 7.050 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 7.050 * [taylor]: Taking taylor expansion of 0 in y 7.050 * [backup-simplify]: Simplify 0 into 0 7.050 * [backup-simplify]: Simplify 0 into 0 7.050 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 7.050 * [backup-simplify]: Simplify 0 into 0 7.051 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 7.051 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 7.052 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.053 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.054 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 7.054 * [taylor]: Taking taylor expansion of 0 in y 7.054 * [backup-simplify]: Simplify 0 into 0 7.054 * [backup-simplify]: Simplify 0 into 0 7.054 * [backup-simplify]: Simplify 0 into 0 7.055 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 7.055 * [backup-simplify]: Simplify 0 into 0 7.056 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 7.056 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 7.058 * [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 7.059 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.060 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2))))))) into 0 7.060 * [taylor]: Taking taylor expansion of 0 in y 7.060 * [backup-simplify]: Simplify 0 into 0 7.060 * [backup-simplify]: Simplify 0 into 0 7.061 * [backup-simplify]: Simplify (* (* -1 (exp (/ 1 (pow (/ 1 (- y)) 2)))) (* 1 (/ 1 (/ 1 (- x))))) into (* x (exp (pow y 2))) 7.061 * * * [progress]: simplifying candidates 7.061 * [simplify]: Simplifying: (expm1 (exp (* y y))) (log1p (exp (* y y))) (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))) (expm1 (* x (exp (* y y)))) (log1p (* x (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))) (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1)) (exp (pow y 2)) (exp (pow y 2)) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) 7.062 * * [simplify]: Extracting # 0 : cost 0 7.062 * * [simplify]: Extracting # 1 : cost 0 7.062 * * [simplify]: Extracting # 2 : cost 0 7.063 * * [simplify]: Extracting # 3 : cost 0 7.063 * * [simplify]: Extracting # 4 : cost 0 7.063 * * [simplify]: Extracting # 5 : cost 0 7.063 * * [simplify]: Extracting # 6 : cost 0 7.063 * * [simplify]: iteration 0 : 48 enodes (cost 269 ) 7.080 * * [simplify]: Extracting # 0 : cost 0 7.080 * * [simplify]: Extracting # 1 : cost 0 7.081 * * [simplify]: Extracting # 2 : cost 0 7.081 * * [simplify]: Extracting # 3 : cost 0 7.081 * * [simplify]: Extracting # 4 : cost 0 7.081 * * [simplify]: iteration 1 : 93 enodes (cost 260 ) 7.115 * * [simplify]: Extracting # 0 : cost 0 7.115 * * [simplify]: Extracting # 1 : cost 0 7.115 * * [simplify]: Extracting # 2 : cost 0 7.115 * * [simplify]: Extracting # 3 : cost 0 7.116 * * [simplify]: Extracting # 4 : cost 0 7.116 * * [simplify]: iteration 2 : 194 enodes (cost 228 ) 7.197 * * [simplify]: Extracting # 0 : cost 0 7.198 * * [simplify]: Extracting # 1 : cost 0 7.198 * * [simplify]: Extracting # 2 : cost 0 7.199 * * [simplify]: Extracting # 3 : cost 0 7.199 * * [simplify]: Extracting # 4 : cost 0 7.200 * * [simplify]: iteration 3 : 378 enodes (cost 228 ) 7.464 * * [simplify]: Extracting # 0 : cost 0 7.465 * * [simplify]: Extracting # 1 : cost 0 7.466 * * [simplify]: Extracting # 2 : cost 0 7.467 * * [simplify]: Extracting # 3 : cost 0 7.468 * * [simplify]: Extracting # 4 : cost 0 7.469 * * [simplify]: iteration 4 : 1061 enodes (cost 228 ) 9.250 * * [simplify]: Extracting # 0 : cost 0 9.256 * * [simplify]: Extracting # 1 : cost 0 9.261 * * [simplify]: Extracting # 2 : cost 0 9.267 * * [simplify]: Extracting # 3 : cost 0 9.272 * * [simplify]: Extracting # 4 : cost 0 9.277 * * [simplify]: iteration 5 : 3710 enodes (cost 228 ) 11.054 * * [simplify]: Extracting # 0 : cost 0 11.062 * * [simplify]: Extracting # 1 : cost 0 11.068 * * [simplify]: Extracting # 2 : cost 0 11.075 * * [simplify]: Extracting # 3 : cost 0 11.080 * * [simplify]: Extracting # 4 : cost 0 11.085 * * [simplify]: iteration done: 5000 enodes (cost 228 ) 11.085 * [simplify]: Simplified to: (expm1 (exp (* y y))) (log1p (exp (* y y))) (exp y) (* y y) (exp (exp (* y y))) (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))) (cbrt (exp (* y y))) (pow (exp (* y y)) 3) (sqrt (exp (* y y))) (sqrt (exp (* y y))) (expm1 (* x (exp (* y y)))) (log1p (* x (exp (* y y)))) (* x (exp (* y y))) (fma y y (log x)) (fma y y (log x)) (exp (* x (exp (* y y)))) (pow (* x (exp (* y y))) 3) (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y)))) (pow (* x (exp (* y y))) 3) (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 (* (cbrt x) (exp (* y y))) (* (sqrt x) (exp (* y y))) (* x (exp (* y y))) (fma y y (fma 1/2 (pow y 4) 1)) (exp (* y y)) (exp (* y y)) x (* x (exp (* y y))) (* x (exp (* y y))) 11.085 * * * [progress]: adding candidates to table 11.174 * * [progress]: iteration 2 / 4 11.174 * * * [progress]: picking best candidate 11.179 * * * * [pick]: Picked # 11.179 * * * [progress]: localizing error 11.188 * * * [progress]: generating rewritten candidates 11.188 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 11.211 * * * [progress]: generating series expansions 11.211 * * * * [progress]: [ 1 / 1 ] generating series at (2) 11.211 * [backup-simplify]: Simplify (* x (pow (exp y) y)) into (* x (pow (exp y) y)) 11.211 * [approximate]: Taking taylor expansion of (* x (pow (exp y) y)) in (x y) around 0 11.212 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in y 11.212 * [taylor]: Taking taylor expansion of x in y 11.212 * [backup-simplify]: Simplify x into x 11.212 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 11.212 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 11.212 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 11.212 * [taylor]: Taking taylor expansion of y in y 11.212 * [backup-simplify]: Simplify 0 into 0 11.212 * [backup-simplify]: Simplify 1 into 1 11.212 * [taylor]: Taking taylor expansion of (log (exp y)) in y 11.212 * [taylor]: Taking taylor expansion of (exp y) in y 11.212 * [taylor]: Taking taylor expansion of y in y 11.212 * [backup-simplify]: Simplify 0 into 0 11.212 * [backup-simplify]: Simplify 1 into 1 11.212 * [backup-simplify]: Simplify (exp 0) into 1 11.212 * [backup-simplify]: Simplify (log 1) into 0 11.213 * [backup-simplify]: Simplify (* 0 0) into 0 11.214 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 11.215 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 11.215 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 11.216 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 11.218 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 11.218 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 11.218 * [backup-simplify]: Simplify (exp 0) into 1 11.218 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x 11.218 * [taylor]: Taking taylor expansion of x in x 11.218 * [backup-simplify]: Simplify 0 into 0 11.218 * [backup-simplify]: Simplify 1 into 1 11.218 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x 11.218 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x 11.218 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x 11.218 * [taylor]: Taking taylor expansion of y in x 11.218 * [backup-simplify]: Simplify y into y 11.218 * [taylor]: Taking taylor expansion of (log (exp y)) in x 11.218 * [taylor]: Taking taylor expansion of (exp y) in x 11.218 * [taylor]: Taking taylor expansion of y in x 11.218 * [backup-simplify]: Simplify y into y 11.219 * [backup-simplify]: Simplify (exp y) into (exp y) 11.219 * [backup-simplify]: Simplify (log (exp y)) into y 11.219 * [backup-simplify]: Simplify (* y y) into (pow y 2) 11.219 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 11.219 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x 11.219 * [taylor]: Taking taylor expansion of x in x 11.219 * [backup-simplify]: Simplify 0 into 0 11.219 * [backup-simplify]: Simplify 1 into 1 11.219 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x 11.219 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x 11.219 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x 11.219 * [taylor]: Taking taylor expansion of y in x 11.219 * [backup-simplify]: Simplify y into y 11.219 * [taylor]: Taking taylor expansion of (log (exp y)) in x 11.219 * [taylor]: Taking taylor expansion of (exp y) in x 11.219 * [taylor]: Taking taylor expansion of y in x 11.219 * [backup-simplify]: Simplify y into y 11.219 * [backup-simplify]: Simplify (exp y) into (exp y) 11.219 * [backup-simplify]: Simplify (log (exp y)) into y 11.219 * [backup-simplify]: Simplify (* y y) into (pow y 2) 11.219 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2)) 11.219 * [backup-simplify]: Simplify (* 0 (exp (pow y 2))) into 0 11.219 * [taylor]: Taking taylor expansion of 0 in y 11.219 * [backup-simplify]: Simplify 0 into 0 11.219 * [backup-simplify]: Simplify 0 into 0 11.220 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 1) 1)))) into 0 11.220 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp y) 1)))) 1) into 0 11.221 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 11.221 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0 11.221 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (pow y 2)))) into (exp (pow y 2)) 11.221 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 11.221 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.221 * [taylor]: Taking taylor expansion of y in y 11.221 * [backup-simplify]: Simplify 0 into 0 11.222 * [backup-simplify]: Simplify 1 into 1 11.222 * [backup-simplify]: Simplify (* 1 1) into 1 11.222 * [backup-simplify]: Simplify (exp 0) into 1 11.222 * [backup-simplify]: Simplify 1 into 1 11.222 * [backup-simplify]: Simplify 0 into 0 11.223 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 11.224 * [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 11.224 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 11.225 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 11.225 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (pow y 2))))) into 0 11.225 * [taylor]: Taking taylor expansion of 0 in y 11.225 * [backup-simplify]: Simplify 0 into 0 11.225 * [backup-simplify]: Simplify 0 into 0 11.226 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 11.226 * [backup-simplify]: Simplify 0 into 0 11.226 * [backup-simplify]: Simplify 0 into 0 11.228 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 11.230 * [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 11.231 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 11.232 * [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 11.233 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (pow y 2)))))) into 0 11.233 * [taylor]: Taking taylor expansion of 0 in y 11.233 * [backup-simplify]: Simplify 0 into 0 11.233 * [backup-simplify]: Simplify 0 into 0 11.233 * [backup-simplify]: Simplify 0 into 0 11.234 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x 11.234 * [backup-simplify]: Simplify (* (/ 1 x) (pow (exp (/ 1 y)) (/ 1 y))) into (/ (pow (exp (/ 1 y)) (/ 1 y)) x) 11.234 * [approximate]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in (x y) around 0 11.234 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in y 11.234 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 11.234 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 11.234 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 11.234 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.234 * [taylor]: Taking taylor expansion of y in y 11.234 * [backup-simplify]: Simplify 0 into 0 11.234 * [backup-simplify]: Simplify 1 into 1 11.234 * [backup-simplify]: Simplify (/ 1 1) into 1 11.234 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 11.234 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 11.234 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.234 * [taylor]: Taking taylor expansion of y in y 11.235 * [backup-simplify]: Simplify 0 into 0 11.235 * [backup-simplify]: Simplify 1 into 1 11.235 * [backup-simplify]: Simplify (/ 1 1) into 1 11.235 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 11.235 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 11.235 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 11.235 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2))) 11.235 * [taylor]: Taking taylor expansion of x in y 11.235 * [backup-simplify]: Simplify x into x 11.236 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 11.236 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x 11.236 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x 11.236 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x 11.236 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x 11.236 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.236 * [taylor]: Taking taylor expansion of y in x 11.236 * [backup-simplify]: Simplify y into y 11.236 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.236 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 11.236 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 11.236 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.236 * [taylor]: Taking taylor expansion of y in x 11.236 * [backup-simplify]: Simplify y into y 11.236 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.236 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 11.236 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 11.236 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2)) 11.237 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 11.237 * [taylor]: Taking taylor expansion of x in x 11.237 * [backup-simplify]: Simplify 0 into 0 11.237 * [backup-simplify]: Simplify 1 into 1 11.237 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 11.237 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x 11.237 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x 11.237 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x 11.237 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x 11.237 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.237 * [taylor]: Taking taylor expansion of y in x 11.237 * [backup-simplify]: Simplify y into y 11.237 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.237 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 11.237 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 11.237 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.237 * [taylor]: Taking taylor expansion of y in x 11.237 * [backup-simplify]: Simplify y into y 11.237 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.237 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 11.237 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 11.237 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2)) 11.238 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 11.238 * [taylor]: Taking taylor expansion of x in x 11.238 * [backup-simplify]: Simplify 0 into 0 11.238 * [backup-simplify]: Simplify 1 into 1 11.238 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 11.238 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 11.238 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.238 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.238 * [taylor]: Taking taylor expansion of y in y 11.238 * [backup-simplify]: Simplify 0 into 0 11.238 * [backup-simplify]: Simplify 1 into 1 11.238 * [backup-simplify]: Simplify (* 1 1) into 1 11.239 * [backup-simplify]: Simplify (/ 1 1) into 1 11.239 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 11.239 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 11.239 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 11.240 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 11.241 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ 1 y)) 1)))) 1) into 0 11.241 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 11.241 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 (/ 1 y))) into 0 11.242 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 11.242 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 11.242 * [taylor]: Taking taylor expansion of 0 in y 11.242 * [backup-simplify]: Simplify 0 into 0 11.243 * [backup-simplify]: Simplify 0 into 0 11.243 * [backup-simplify]: Simplify 0 into 0 11.243 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.244 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 11.245 * [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 11.246 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.246 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 11.247 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 11.248 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.248 * [taylor]: Taking taylor expansion of 0 in y 11.248 * [backup-simplify]: Simplify 0 into 0 11.248 * [backup-simplify]: Simplify 0 into 0 11.248 * [backup-simplify]: Simplify 0 into 0 11.248 * [backup-simplify]: Simplify 0 into 0 11.249 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.250 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 11.253 * [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 11.253 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.253 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 11.255 * [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 11.256 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.257 * [taylor]: Taking taylor expansion of 0 in y 11.257 * [backup-simplify]: Simplify 0 into 0 11.257 * [backup-simplify]: Simplify 0 into 0 11.257 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 y) 2))) (* 1 (/ 1 (/ 1 x)))) into (* x (exp (pow y 2))) 11.257 * [backup-simplify]: Simplify (* (/ 1 (- x)) (pow (exp (/ 1 (- y))) (/ 1 (- y)))) into (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) 11.257 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in (x y) around 0 11.257 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in y 11.257 * [taylor]: Taking taylor expansion of -1 in y 11.257 * [backup-simplify]: Simplify -1 into -1 11.257 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in y 11.257 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 11.257 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 11.257 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 11.257 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.257 * [taylor]: Taking taylor expansion of -1 in y 11.257 * [backup-simplify]: Simplify -1 into -1 11.257 * [taylor]: Taking taylor expansion of y in y 11.257 * [backup-simplify]: Simplify 0 into 0 11.257 * [backup-simplify]: Simplify 1 into 1 11.258 * [backup-simplify]: Simplify (/ -1 1) into -1 11.258 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 11.258 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 11.258 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.258 * [taylor]: Taking taylor expansion of -1 in y 11.258 * [backup-simplify]: Simplify -1 into -1 11.258 * [taylor]: Taking taylor expansion of y in y 11.258 * [backup-simplify]: Simplify 0 into 0 11.258 * [backup-simplify]: Simplify 1 into 1 11.258 * [backup-simplify]: Simplify (/ -1 1) into -1 11.258 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 11.259 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 11.259 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 11.259 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2))) 11.259 * [taylor]: Taking taylor expansion of x in y 11.259 * [backup-simplify]: Simplify x into x 11.259 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x) 11.259 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x 11.259 * [taylor]: Taking taylor expansion of -1 in x 11.259 * [backup-simplify]: Simplify -1 into -1 11.259 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x 11.259 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x 11.259 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x 11.259 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x 11.259 * [taylor]: Taking taylor expansion of (/ -1 y) in x 11.259 * [taylor]: Taking taylor expansion of -1 in x 11.259 * [backup-simplify]: Simplify -1 into -1 11.259 * [taylor]: Taking taylor expansion of y in x 11.259 * [backup-simplify]: Simplify y into y 11.260 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 11.260 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 11.260 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 11.260 * [taylor]: Taking taylor expansion of (/ -1 y) in x 11.260 * [taylor]: Taking taylor expansion of -1 in x 11.260 * [backup-simplify]: Simplify -1 into -1 11.260 * [taylor]: Taking taylor expansion of y in x 11.260 * [backup-simplify]: Simplify y into y 11.260 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 11.260 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 11.260 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 11.260 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2)) 11.260 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 11.260 * [taylor]: Taking taylor expansion of x in x 11.260 * [backup-simplify]: Simplify 0 into 0 11.260 * [backup-simplify]: Simplify 1 into 1 11.260 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 11.260 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x 11.260 * [taylor]: Taking taylor expansion of -1 in x 11.261 * [backup-simplify]: Simplify -1 into -1 11.261 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x 11.261 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x 11.261 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x 11.261 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x 11.261 * [taylor]: Taking taylor expansion of (/ -1 y) in x 11.261 * [taylor]: Taking taylor expansion of -1 in x 11.261 * [backup-simplify]: Simplify -1 into -1 11.261 * [taylor]: Taking taylor expansion of y in x 11.261 * [backup-simplify]: Simplify y into y 11.261 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 11.261 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 11.261 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 11.261 * [taylor]: Taking taylor expansion of (/ -1 y) in x 11.261 * [taylor]: Taking taylor expansion of -1 in x 11.261 * [backup-simplify]: Simplify -1 into -1 11.261 * [taylor]: Taking taylor expansion of y in x 11.261 * [backup-simplify]: Simplify y into y 11.261 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 11.261 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 11.261 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 11.261 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2)) 11.261 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 11.262 * [taylor]: Taking taylor expansion of x in x 11.262 * [backup-simplify]: Simplify 0 into 0 11.262 * [backup-simplify]: Simplify 1 into 1 11.262 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2))) 11.262 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 11.262 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 11.262 * [taylor]: Taking taylor expansion of -1 in y 11.262 * [backup-simplify]: Simplify -1 into -1 11.262 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 11.262 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.262 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.262 * [taylor]: Taking taylor expansion of y in y 11.262 * [backup-simplify]: Simplify 0 into 0 11.262 * [backup-simplify]: Simplify 1 into 1 11.262 * [backup-simplify]: Simplify (* 1 1) into 1 11.263 * [backup-simplify]: Simplify (/ 1 1) into 1 11.263 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2))) 11.263 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 11.263 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2)))) 11.263 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 11.264 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 11.265 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ -1 y)) 1)))) 1) into 0 11.265 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 11.265 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (* 0 (/ -1 y))) into 0 11.266 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 11.267 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0 11.267 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 11.267 * [taylor]: Taking taylor expansion of 0 in y 11.267 * [backup-simplify]: Simplify 0 into 0 11.267 * [backup-simplify]: Simplify 0 into 0 11.268 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0 11.268 * [backup-simplify]: Simplify 0 into 0 11.268 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.269 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 11.270 * [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 11.270 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.270 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0 11.271 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 11.272 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.276 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 11.276 * [taylor]: Taking taylor expansion of 0 in y 11.276 * [backup-simplify]: Simplify 0 into 0 11.276 * [backup-simplify]: Simplify 0 into 0 11.276 * [backup-simplify]: Simplify 0 into 0 11.277 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0 11.277 * [backup-simplify]: Simplify 0 into 0 11.278 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.278 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 11.280 * [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 11.280 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.281 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0 11.282 * [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 11.283 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.284 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2))))))) into 0 11.284 * [taylor]: Taking taylor expansion of 0 in y 11.284 * [backup-simplify]: Simplify 0 into 0 11.285 * [backup-simplify]: Simplify 0 into 0 11.285 * [backup-simplify]: Simplify (* (* -1 (exp (/ 1 (pow (/ 1 (- y)) 2)))) (* 1 (/ 1 (/ 1 (- x))))) into (* x (exp (pow y 2))) 11.285 * * * [progress]: simplifying candidates 11.286 * [simplify]: Simplifying: (expm1 (* x (pow (exp y) y))) (log1p (* x (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)) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) 11.286 * * [simplify]: Extracting # 0 : cost 0 11.286 * * [simplify]: Extracting # 1 : cost 0 11.287 * * [simplify]: Extracting # 2 : cost 0 11.287 * * [simplify]: Extracting # 3 : cost 0 11.287 * * [simplify]: Extracting # 4 : cost 0 11.287 * * [simplify]: Extracting # 5 : cost 0 11.287 * * [simplify]: Extracting # 6 : cost 0 11.287 * * [simplify]: iteration 0 : 57 enodes (cost 263 ) 11.307 * * [simplify]: Extracting # 0 : cost 0 11.307 * * [simplify]: Extracting # 1 : cost 0 11.307 * * [simplify]: Extracting # 2 : cost 0 11.308 * * [simplify]: Extracting # 3 : cost 0 11.308 * * [simplify]: Extracting # 4 : cost 0 11.308 * * [simplify]: iteration 1 : 110 enodes (cost 246 ) 11.345 * * [simplify]: Extracting # 0 : cost 0 11.346 * * [simplify]: Extracting # 1 : cost 0 11.346 * * [simplify]: Extracting # 2 : cost 0 11.347 * * [simplify]: Extracting # 3 : cost 0 11.347 * * [simplify]: Extracting # 4 : cost 0 11.347 * * [simplify]: Extracting # 5 : cost 0 11.348 * * [simplify]: iteration 2 : 251 enodes (cost 224 ) 11.487 * * [simplify]: Extracting # 0 : cost 0 11.489 * * [simplify]: Extracting # 1 : cost 0 11.490 * * [simplify]: Extracting # 2 : cost 0 11.492 * * [simplify]: Extracting # 3 : cost 0 11.493 * * [simplify]: Extracting # 4 : cost 0 11.494 * * [simplify]: iteration 3 : 777 enodes (cost 224 ) 12.875 * * [simplify]: Extracting # 0 : cost 0 12.882 * * [simplify]: Extracting # 1 : cost 0 12.887 * * [simplify]: Extracting # 2 : cost 0 12.891 * * [simplify]: Extracting # 3 : cost 0 12.896 * * [simplify]: Extracting # 4 : cost 0 12.900 * * [simplify]: Extracting # 5 : cost 0 12.904 * * [simplify]: iteration 4 : 3496 enodes (cost 224 ) 15.015 * * [simplify]: Extracting # 0 : cost 0 15.022 * * [simplify]: Extracting # 1 : cost 0 15.031 * * [simplify]: Extracting # 2 : cost 0 15.038 * * [simplify]: Extracting # 3 : cost 0 15.046 * * [simplify]: Extracting # 4 : cost 0 15.054 * * [simplify]: iteration done: 5001 enodes (cost 221 ) 15.054 * [simplify]: Simplified to: (expm1 (* x (pow (exp y) y))) (log1p (* x (pow (exp y) y))) (fma y y (log x)) (fma y y (log x)) (fma y y (log x)) (fma y y (log x)) (exp (* x (pow (exp y) y))) (pow (* x (exp (pow y 2))) 3) (* (cbrt (* x (pow (exp y) y))) (cbrt (* x (pow (exp y) y)))) (cbrt (* x (pow (exp y) y))) (pow (* x (exp (pow y 2))) 3) (sqrt (* x (pow (exp y) y))) (sqrt (* x (pow (exp y) y))) (* (sqrt x) (sqrt (pow (exp y) y))) (* (sqrt x) (sqrt (pow (exp y) y))) (* (sqrt x) (sqrt (pow (exp y) y))) (* (sqrt x) (sqrt (pow (exp y) y))) (* (sqrt x) (sqrt (pow (exp y) y))) (* (sqrt x) (sqrt (pow (exp y) y))) (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y)) (* x (pow (sqrt (exp y)) y)) x (* x (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y)))) (* x (pow (sqrt (exp y)) y)) x (* x (pow (sqrt (exp y)) y)) (* (cbrt x) (pow (exp y) y)) (* (sqrt x) (pow (exp y) y)) (* x (exp (pow y 2))) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) 15.055 * * * [progress]: adding candidates to table 15.144 * * [progress]: iteration 3 / 4 15.144 * * * [progress]: picking best candidate 15.148 * * * * [pick]: Picked # 15.148 * * * [progress]: localizing error 15.166 * * * [progress]: generating rewritten candidates 15.166 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 15.176 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 15.206 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 15.271 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 15.285 * * * [progress]: generating series expansions 15.285 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 15.285 * [backup-simplify]: Simplify (pow (sqrt (exp y)) y) into (pow (sqrt (exp y)) y) 15.285 * [approximate]: Taking taylor expansion of (pow (sqrt (exp y)) y) in (y) around 0 15.285 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in y 15.285 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in y 15.285 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in y 15.285 * [taylor]: Taking taylor expansion of y in y 15.285 * [backup-simplify]: Simplify 0 into 0 15.285 * [backup-simplify]: Simplify 1 into 1 15.286 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 15.286 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 15.286 * [taylor]: Taking taylor expansion of (exp y) in y 15.286 * [taylor]: Taking taylor expansion of y in y 15.286 * [backup-simplify]: Simplify 0 into 0 15.286 * [backup-simplify]: Simplify 1 into 1 15.286 * [backup-simplify]: Simplify (exp 0) into 1 15.286 * [backup-simplify]: Simplify (sqrt 1) into 1 15.287 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 15.287 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 15.288 * [backup-simplify]: Simplify (log 1) into 0 15.288 * [backup-simplify]: Simplify (* 0 0) into 0 15.289 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2 15.290 * [backup-simplify]: Simplify (+ (* 0 1/2) (* 1 0)) into 0 15.291 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 15.292 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 15.294 * [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 15.295 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1/2) (* 0 0))) into 1/2 15.295 * [backup-simplify]: Simplify (exp 0) into 1 15.295 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in y 15.295 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in y 15.295 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in y 15.295 * [taylor]: Taking taylor expansion of y in y 15.295 * [backup-simplify]: Simplify 0 into 0 15.295 * [backup-simplify]: Simplify 1 into 1 15.295 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 15.295 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 15.295 * [taylor]: Taking taylor expansion of (exp y) in y 15.295 * [taylor]: Taking taylor expansion of y in y 15.295 * [backup-simplify]: Simplify 0 into 0 15.295 * [backup-simplify]: Simplify 1 into 1 15.295 * [backup-simplify]: Simplify (exp 0) into 1 15.295 * [backup-simplify]: Simplify (sqrt 1) into 1 15.296 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 15.297 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 15.297 * [backup-simplify]: Simplify (log 1) into 0 15.297 * [backup-simplify]: Simplify (* 0 0) into 0 15.299 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2 15.299 * [backup-simplify]: Simplify (+ (* 0 1/2) (* 1 0)) into 0 15.300 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 15.301 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 15.304 * [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 15.304 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1/2) (* 0 0))) into 1/2 15.304 * [backup-simplify]: Simplify (exp 0) into 1 15.305 * [backup-simplify]: Simplify 1 into 1 15.305 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 15.305 * [backup-simplify]: Simplify 0 into 0 15.307 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1/2 1) 1)))) into 1/2 15.307 * [backup-simplify]: Simplify 1/2 into 1/2 15.309 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 15.310 * [backup-simplify]: Simplify (/ (- 1/6 (+ (* 2 (* 1/2 1/8)))) (* 2 1)) into 1/48 15.314 * [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 15.315 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1/2) (* 0 0)))) into 0 15.317 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1/2 1) 1)) (* (/ (pow 0 1) 1)))) into 0 15.317 * [backup-simplify]: Simplify 0 into 0 15.320 * [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 15.321 * [backup-simplify]: Simplify (/ (- 1/24 (pow 1/8 2) (+ (* 2 (* 1/2 1/48)))) (* 2 1)) into 1/384 15.327 * [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 15.328 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 0))))) into 0 15.330 * [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 15.330 * [backup-simplify]: Simplify 1/8 into 1/8 15.331 * [backup-simplify]: Simplify (+ (* 1/8 (pow y 4)) (+ (* 1/2 (pow y 2)) 1)) into (+ (* 1/2 (pow y 2)) (+ (* 1/8 (pow y 4)) 1)) 15.331 * [backup-simplify]: Simplify (pow (sqrt (exp (/ 1 y))) (/ 1 y)) into (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 15.331 * [approximate]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in (y) around 0 15.331 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in y 15.331 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in y 15.331 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in y 15.331 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.331 * [taylor]: Taking taylor expansion of y in y 15.331 * [backup-simplify]: Simplify 0 into 0 15.331 * [backup-simplify]: Simplify 1 into 1 15.331 * [backup-simplify]: Simplify (/ 1 1) into 1 15.331 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 15.331 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 15.331 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 15.331 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.331 * [taylor]: Taking taylor expansion of y in y 15.331 * [backup-simplify]: Simplify 0 into 0 15.332 * [backup-simplify]: Simplify 1 into 1 15.332 * [backup-simplify]: Simplify (/ 1 1) into 1 15.332 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 15.332 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 15.332 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 15.332 * [backup-simplify]: Simplify (log (sqrt (exp (/ 1 y)))) into (log (sqrt (exp (/ 1 y)))) 15.332 * [backup-simplify]: Simplify (* 1 (log (sqrt (exp (/ 1 y))))) into (log (sqrt (exp (/ 1 y)))) 15.332 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 15.332 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in y 15.332 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in y 15.332 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in y 15.332 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.332 * [taylor]: Taking taylor expansion of y in y 15.332 * [backup-simplify]: Simplify 0 into 0 15.332 * [backup-simplify]: Simplify 1 into 1 15.333 * [backup-simplify]: Simplify (/ 1 1) into 1 15.333 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 15.333 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 15.333 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 15.333 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.333 * [taylor]: Taking taylor expansion of y in y 15.333 * [backup-simplify]: Simplify 0 into 0 15.333 * [backup-simplify]: Simplify 1 into 1 15.333 * [backup-simplify]: Simplify (/ 1 1) into 1 15.333 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 15.333 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 15.333 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 15.333 * [backup-simplify]: Simplify (log (sqrt (exp (/ 1 y)))) into (log (sqrt (exp (/ 1 y)))) 15.333 * [backup-simplify]: Simplify (* 1 (log (sqrt (exp (/ 1 y))))) into (log (sqrt (exp (/ 1 y)))) 15.334 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 15.334 * [backup-simplify]: Simplify (exp (/ (log (sqrt (exp (/ 1 y)))) y)) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 15.334 * [backup-simplify]: Simplify 0 into 0 15.334 * [backup-simplify]: Simplify 0 into 0 15.334 * [backup-simplify]: Simplify 0 into 0 15.334 * [backup-simplify]: Simplify 0 into 0 15.334 * [backup-simplify]: Simplify 0 into 0 15.334 * [backup-simplify]: Simplify 0 into 0 15.334 * [backup-simplify]: Simplify (exp (/ (log (sqrt (exp (/ 1 (/ 1 y))))) (/ 1 y))) into (exp (* (log (sqrt (exp y))) y)) 15.334 * [backup-simplify]: Simplify (pow (sqrt (exp (/ 1 (- y)))) (/ 1 (- y))) into (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 15.334 * [approximate]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in (y) around 0 15.334 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in y 15.334 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in y 15.334 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in y 15.334 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.334 * [taylor]: Taking taylor expansion of -1 in y 15.334 * [backup-simplify]: Simplify -1 into -1 15.334 * [taylor]: Taking taylor expansion of y in y 15.334 * [backup-simplify]: Simplify 0 into 0 15.334 * [backup-simplify]: Simplify 1 into 1 15.335 * [backup-simplify]: Simplify (/ -1 1) into -1 15.335 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 15.335 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 15.335 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 15.335 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.335 * [taylor]: Taking taylor expansion of -1 in y 15.335 * [backup-simplify]: Simplify -1 into -1 15.335 * [taylor]: Taking taylor expansion of y in y 15.335 * [backup-simplify]: Simplify 0 into 0 15.335 * [backup-simplify]: Simplify 1 into 1 15.335 * [backup-simplify]: Simplify (/ -1 1) into -1 15.335 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 15.335 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 15.335 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 15.335 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 15.335 * [backup-simplify]: Simplify (* -1 (log (sqrt (exp (/ -1 y))))) into (* -1 (log (sqrt (exp (/ -1 y))))) 15.336 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 15.336 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in y 15.336 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in y 15.336 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in y 15.336 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.336 * [taylor]: Taking taylor expansion of -1 in y 15.336 * [backup-simplify]: Simplify -1 into -1 15.336 * [taylor]: Taking taylor expansion of y in y 15.336 * [backup-simplify]: Simplify 0 into 0 15.336 * [backup-simplify]: Simplify 1 into 1 15.336 * [backup-simplify]: Simplify (/ -1 1) into -1 15.336 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 15.336 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 15.336 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 15.336 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.336 * [taylor]: Taking taylor expansion of -1 in y 15.336 * [backup-simplify]: Simplify -1 into -1 15.336 * [taylor]: Taking taylor expansion of y in y 15.336 * [backup-simplify]: Simplify 0 into 0 15.336 * [backup-simplify]: Simplify 1 into 1 15.336 * [backup-simplify]: Simplify (/ -1 1) into -1 15.337 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 15.337 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 15.337 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 15.337 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 15.337 * [backup-simplify]: Simplify (* -1 (log (sqrt (exp (/ -1 y))))) into (* -1 (log (sqrt (exp (/ -1 y))))) 15.337 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 15.337 * [backup-simplify]: Simplify (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 15.337 * [backup-simplify]: Simplify 0 into 0 15.337 * [backup-simplify]: Simplify 0 into 0 15.337 * [backup-simplify]: Simplify 0 into 0 15.337 * [backup-simplify]: Simplify 0 into 0 15.337 * [backup-simplify]: Simplify 0 into 0 15.337 * [backup-simplify]: Simplify 0 into 0 15.338 * [backup-simplify]: Simplify (exp (* -1 (/ (log (sqrt (exp (/ -1 (/ 1 (- y)))))) (/ 1 (- y))))) into (exp (* (log (sqrt (exp y))) y)) 15.338 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 15.338 * [backup-simplify]: Simplify (* x (pow (sqrt (exp y)) y)) into (* (pow (sqrt (exp y)) y) x) 15.338 * [approximate]: Taking taylor expansion of (* (pow (sqrt (exp y)) y) x) in (x y) around 0 15.338 * [taylor]: Taking taylor expansion of (* (pow (sqrt (exp y)) y) x) in y 15.338 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in y 15.338 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in y 15.338 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in y 15.338 * [taylor]: Taking taylor expansion of y in y 15.338 * [backup-simplify]: Simplify 0 into 0 15.338 * [backup-simplify]: Simplify 1 into 1 15.338 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 15.338 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 15.338 * [taylor]: Taking taylor expansion of (exp y) in y 15.338 * [taylor]: Taking taylor expansion of y in y 15.338 * [backup-simplify]: Simplify 0 into 0 15.338 * [backup-simplify]: Simplify 1 into 1 15.338 * [backup-simplify]: Simplify (exp 0) into 1 15.338 * [backup-simplify]: Simplify (sqrt 1) into 1 15.339 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 15.339 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 15.340 * [backup-simplify]: Simplify (log 1) into 0 15.340 * [backup-simplify]: Simplify (* 0 0) into 0 15.345 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2 15.346 * [backup-simplify]: Simplify (+ (* 0 1/2) (* 1 0)) into 0 15.347 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 15.348 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 15.351 * [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 15.351 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1/2) (* 0 0))) into 1/2 15.351 * [backup-simplify]: Simplify (exp 0) into 1 15.351 * [taylor]: Taking taylor expansion of x in y 15.351 * [backup-simplify]: Simplify x into x 15.351 * [taylor]: Taking taylor expansion of (* (pow (sqrt (exp y)) y) x) in x 15.351 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in x 15.351 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in x 15.351 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in x 15.352 * [taylor]: Taking taylor expansion of y in x 15.352 * [backup-simplify]: Simplify y into y 15.352 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in x 15.352 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in x 15.352 * [taylor]: Taking taylor expansion of (exp y) in x 15.352 * [taylor]: Taking taylor expansion of y in x 15.352 * [backup-simplify]: Simplify y into y 15.352 * [backup-simplify]: Simplify (exp y) into (exp y) 15.352 * [backup-simplify]: Simplify (sqrt (exp y)) into (sqrt (exp y)) 15.352 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 1) 1)))) into 0 15.353 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp y)))) into 0 15.353 * [backup-simplify]: Simplify (log (sqrt (exp y))) into (log (sqrt (exp y))) 15.353 * [backup-simplify]: Simplify (* y (log (sqrt (exp y)))) into (* (log (sqrt (exp y))) y) 15.353 * [backup-simplify]: Simplify (exp (* (log (sqrt (exp y))) y)) into (exp (* (log (sqrt (exp y))) y)) 15.353 * [taylor]: Taking taylor expansion of x in x 15.353 * [backup-simplify]: Simplify 0 into 0 15.353 * [backup-simplify]: Simplify 1 into 1 15.353 * [taylor]: Taking taylor expansion of (* (pow (sqrt (exp y)) y) x) in x 15.353 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in x 15.353 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in x 15.353 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in x 15.353 * [taylor]: Taking taylor expansion of y in x 15.353 * [backup-simplify]: Simplify y into y 15.353 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in x 15.353 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in x 15.353 * [taylor]: Taking taylor expansion of (exp y) in x 15.353 * [taylor]: Taking taylor expansion of y in x 15.353 * [backup-simplify]: Simplify y into y 15.353 * [backup-simplify]: Simplify (exp y) into (exp y) 15.353 * [backup-simplify]: Simplify (sqrt (exp y)) into (sqrt (exp y)) 15.354 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 1) 1)))) into 0 15.354 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp y)))) into 0 15.354 * [backup-simplify]: Simplify (log (sqrt (exp y))) into (log (sqrt (exp y))) 15.354 * [backup-simplify]: Simplify (* y (log (sqrt (exp y)))) into (* (log (sqrt (exp y))) y) 15.355 * [backup-simplify]: Simplify (exp (* (log (sqrt (exp y))) y)) into (exp (* (log (sqrt (exp y))) y)) 15.355 * [taylor]: Taking taylor expansion of x in x 15.355 * [backup-simplify]: Simplify 0 into 0 15.355 * [backup-simplify]: Simplify 1 into 1 15.355 * [backup-simplify]: Simplify (* (exp (* (log (sqrt (exp y))) y)) 0) into 0 15.355 * [taylor]: Taking taylor expansion of 0 in y 15.355 * [backup-simplify]: Simplify 0 into 0 15.355 * [backup-simplify]: Simplify 0 into 0 15.356 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp y)) 1)))) 1) into 0 15.356 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (log (sqrt (exp y))))) into 0 15.357 * [backup-simplify]: Simplify (* (exp (* (log (sqrt (exp y))) y)) (+ (* (/ (pow 0 1) 1)))) into 0 15.357 * [backup-simplify]: Simplify (+ (* (exp (* (log (sqrt (exp y))) y)) 1) (* 0 0)) into (exp (* (log (sqrt (exp y))) y)) 15.357 * [taylor]: Taking taylor expansion of (exp (* (log (sqrt (exp y))) y)) in y 15.357 * [taylor]: Taking taylor expansion of (* (log (sqrt (exp y))) y) in y 15.357 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 15.357 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 15.357 * [taylor]: Taking taylor expansion of (exp y) in y 15.357 * [taylor]: Taking taylor expansion of y in y 15.357 * [backup-simplify]: Simplify 0 into 0 15.357 * [backup-simplify]: Simplify 1 into 1 15.357 * [backup-simplify]: Simplify (exp 0) into 1 15.358 * [backup-simplify]: Simplify (sqrt 1) into 1 15.358 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 15.359 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 15.359 * [backup-simplify]: Simplify (log 1) into 0 15.359 * [taylor]: Taking taylor expansion of y in y 15.359 * [backup-simplify]: Simplify 0 into 0 15.359 * [backup-simplify]: Simplify 1 into 1 15.359 * [backup-simplify]: Simplify (* 0 0) into 0 15.360 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2 15.360 * [backup-simplify]: Simplify (+ (* 0 1) (* 1/2 0)) into 0 15.361 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 15.362 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 15.363 * [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 15.364 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1/2 1) (* 0 0))) into 1/2 15.364 * [backup-simplify]: Simplify (exp 0) into 1 15.364 * [backup-simplify]: Simplify 1 into 1 15.364 * [backup-simplify]: Simplify 0 into 0 15.365 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 15.365 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp y)))) into 0 15.366 * [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 15.367 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (log (sqrt (exp y)))))) into 0 15.367 * [backup-simplify]: Simplify (* (exp (* (log (sqrt (exp y))) y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 15.368 * [backup-simplify]: Simplify (+ (* (exp (* (log (sqrt (exp y))) y)) 0) (+ (* 0 1) (* 0 0))) into 0 15.368 * [taylor]: Taking taylor expansion of 0 in y 15.368 * [backup-simplify]: Simplify 0 into 0 15.368 * [backup-simplify]: Simplify 0 into 0 15.369 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 15.369 * [backup-simplify]: Simplify 0 into 0 15.369 * [backup-simplify]: Simplify 0 into 0 15.370 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 15.371 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp y)))) into 0 15.372 * [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 15.373 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (sqrt (exp y))))))) into 0 15.374 * [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 15.375 * [backup-simplify]: Simplify (+ (* (exp (* (log (sqrt (exp y))) y)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 15.375 * [taylor]: Taking taylor expansion of 0 in y 15.375 * [backup-simplify]: Simplify 0 into 0 15.375 * [backup-simplify]: Simplify 0 into 0 15.375 * [backup-simplify]: Simplify 0 into 0 15.375 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x 15.375 * [backup-simplify]: Simplify (* (/ 1 x) (pow (sqrt (exp (/ 1 y))) (/ 1 y))) into (/ (pow (sqrt (exp (/ 1 y))) (/ 1 y)) x) 15.375 * [approximate]: Taking taylor expansion of (/ (pow (sqrt (exp (/ 1 y))) (/ 1 y)) x) in (x y) around 0 15.375 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (exp (/ 1 y))) (/ 1 y)) x) in y 15.375 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in y 15.375 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in y 15.375 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in y 15.375 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.375 * [taylor]: Taking taylor expansion of y in y 15.375 * [backup-simplify]: Simplify 0 into 0 15.375 * [backup-simplify]: Simplify 1 into 1 15.375 * [backup-simplify]: Simplify (/ 1 1) into 1 15.375 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 15.375 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 15.375 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 15.375 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.375 * [taylor]: Taking taylor expansion of y in y 15.375 * [backup-simplify]: Simplify 0 into 0 15.375 * [backup-simplify]: Simplify 1 into 1 15.376 * [backup-simplify]: Simplify (/ 1 1) into 1 15.376 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 15.376 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 15.376 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 15.376 * [backup-simplify]: Simplify (log (sqrt (exp (/ 1 y)))) into (log (sqrt (exp (/ 1 y)))) 15.376 * [backup-simplify]: Simplify (* 1 (log (sqrt (exp (/ 1 y))))) into (log (sqrt (exp (/ 1 y)))) 15.376 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 15.376 * [taylor]: Taking taylor expansion of x in y 15.376 * [backup-simplify]: Simplify x into x 15.376 * [backup-simplify]: Simplify (/ (exp (/ (log (sqrt (exp (/ 1 y)))) y)) x) into (/ (exp (/ (log (sqrt (exp (/ 1 y)))) y)) x) 15.376 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (exp (/ 1 y))) (/ 1 y)) x) in x 15.376 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in x 15.376 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in x 15.376 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in x 15.377 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.377 * [taylor]: Taking taylor expansion of y in x 15.377 * [backup-simplify]: Simplify y into y 15.377 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.377 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in x 15.377 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in x 15.377 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 15.377 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.377 * [taylor]: Taking taylor expansion of y in x 15.377 * [backup-simplify]: Simplify y into y 15.377 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.377 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 15.377 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 15.377 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 15.377 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 15.378 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 15.378 * [backup-simplify]: Simplify (log (sqrt (exp (/ 1 y)))) into (log (sqrt (exp (/ 1 y)))) 15.378 * [backup-simplify]: Simplify (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) into (/ (log (sqrt (exp (/ 1 y)))) y) 15.378 * [backup-simplify]: Simplify (exp (/ (log (sqrt (exp (/ 1 y)))) y)) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 15.378 * [taylor]: Taking taylor expansion of x in x 15.378 * [backup-simplify]: Simplify 0 into 0 15.378 * [backup-simplify]: Simplify 1 into 1 15.378 * [backup-simplify]: Simplify (/ (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 1) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 15.378 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (exp (/ 1 y))) (/ 1 y)) x) in x 15.378 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in x 15.378 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in x 15.378 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in x 15.378 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.378 * [taylor]: Taking taylor expansion of y in x 15.378 * [backup-simplify]: Simplify y into y 15.378 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.378 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in x 15.378 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in x 15.378 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 15.378 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.378 * [taylor]: Taking taylor expansion of y in x 15.378 * [backup-simplify]: Simplify y into y 15.378 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.378 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 15.378 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 15.379 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 15.379 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 15.379 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 15.379 * [backup-simplify]: Simplify (log (sqrt (exp (/ 1 y)))) into (log (sqrt (exp (/ 1 y)))) 15.379 * [backup-simplify]: Simplify (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) into (/ (log (sqrt (exp (/ 1 y)))) y) 15.379 * [backup-simplify]: Simplify (exp (/ (log (sqrt (exp (/ 1 y)))) y)) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 15.380 * [taylor]: Taking taylor expansion of x in x 15.380 * [backup-simplify]: Simplify 0 into 0 15.380 * [backup-simplify]: Simplify 1 into 1 15.380 * [backup-simplify]: Simplify (/ (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 1) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 15.380 * [taylor]: Taking taylor expansion of (exp (/ (log (sqrt (exp (/ 1 y)))) y)) in y 15.380 * [taylor]: Taking taylor expansion of (/ (log (sqrt (exp (/ 1 y)))) y) in y 15.380 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 15.380 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 15.380 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 15.380 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.380 * [taylor]: Taking taylor expansion of y in y 15.380 * [backup-simplify]: Simplify 0 into 0 15.380 * [backup-simplify]: Simplify 1 into 1 15.380 * [backup-simplify]: Simplify (/ 1 1) into 1 15.380 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 15.380 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 15.380 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 15.380 * [backup-simplify]: Simplify (log (sqrt (exp (/ 1 y)))) into (log (sqrt (exp (/ 1 y)))) 15.380 * [taylor]: Taking taylor expansion of y in y 15.380 * [backup-simplify]: Simplify 0 into 0 15.380 * [backup-simplify]: Simplify 1 into 1 15.381 * [backup-simplify]: Simplify (/ (log (sqrt (exp (/ 1 y)))) 1) into (log (sqrt (exp (/ 1 y)))) 15.381 * [backup-simplify]: Simplify (exp (/ (log (sqrt (exp (/ 1 y)))) y)) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 15.381 * [backup-simplify]: Simplify (exp (/ (log (sqrt (exp (/ 1 y)))) y)) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 15.381 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (/ 1 y))) 1)))) 1) into 0 15.381 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 15.382 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 (log (sqrt (exp (/ 1 y)))))) into 0 15.382 * [backup-simplify]: Simplify (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) (+ (* (/ (pow 0 1) 1)))) into 0 15.383 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) (/ 0 1)))) into 0 15.383 * [taylor]: Taking taylor expansion of 0 in y 15.383 * [backup-simplify]: Simplify 0 into 0 15.383 * [backup-simplify]: Simplify 0 into 0 15.383 * [backup-simplify]: Simplify 0 into 0 15.383 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.384 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 15.384 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 y))))) into 0 15.385 * [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 15.385 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.386 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (log (sqrt (exp (/ 1 y))))))) into 0 15.387 * [backup-simplify]: Simplify (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 15.388 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.388 * [taylor]: Taking taylor expansion of 0 in y 15.388 * [backup-simplify]: Simplify 0 into 0 15.388 * [backup-simplify]: Simplify 0 into 0 15.388 * [backup-simplify]: Simplify 0 into 0 15.388 * [backup-simplify]: Simplify 0 into 0 15.388 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.389 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 15.389 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 y))))) into 0 15.391 * [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 15.391 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.392 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (sqrt (exp (/ 1 y)))))))) into 0 15.393 * [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 15.394 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.394 * [taylor]: Taking taylor expansion of 0 in y 15.394 * [backup-simplify]: Simplify 0 into 0 15.394 * [backup-simplify]: Simplify 0 into 0 15.394 * [backup-simplify]: Simplify (* (exp (/ (log (sqrt (exp (/ 1 (/ 1 y))))) (/ 1 y))) (* 1 (/ 1 (/ 1 x)))) into (* (exp (* (log (sqrt (exp y))) y)) x) 15.395 * [backup-simplify]: Simplify (* (/ 1 (- x)) (pow (sqrt (exp (/ 1 (- y)))) (/ 1 (- y)))) into (* -1 (/ (pow (sqrt (exp (/ -1 y))) (/ -1 y)) x)) 15.395 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (sqrt (exp (/ -1 y))) (/ -1 y)) x)) in (x y) around 0 15.395 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt (exp (/ -1 y))) (/ -1 y)) x)) in y 15.395 * [taylor]: Taking taylor expansion of -1 in y 15.395 * [backup-simplify]: Simplify -1 into -1 15.395 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (exp (/ -1 y))) (/ -1 y)) x) in y 15.395 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in y 15.395 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in y 15.395 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in y 15.395 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.395 * [taylor]: Taking taylor expansion of -1 in y 15.395 * [backup-simplify]: Simplify -1 into -1 15.395 * [taylor]: Taking taylor expansion of y in y 15.395 * [backup-simplify]: Simplify 0 into 0 15.395 * [backup-simplify]: Simplify 1 into 1 15.395 * [backup-simplify]: Simplify (/ -1 1) into -1 15.395 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 15.395 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 15.395 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 15.395 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.395 * [taylor]: Taking taylor expansion of -1 in y 15.395 * [backup-simplify]: Simplify -1 into -1 15.395 * [taylor]: Taking taylor expansion of y in y 15.395 * [backup-simplify]: Simplify 0 into 0 15.395 * [backup-simplify]: Simplify 1 into 1 15.395 * [backup-simplify]: Simplify (/ -1 1) into -1 15.396 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 15.396 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 15.396 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 15.396 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 15.396 * [backup-simplify]: Simplify (* -1 (log (sqrt (exp (/ -1 y))))) into (* -1 (log (sqrt (exp (/ -1 y))))) 15.396 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 15.396 * [taylor]: Taking taylor expansion of x in y 15.396 * [backup-simplify]: Simplify x into x 15.396 * [backup-simplify]: Simplify (/ (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) x) into (/ (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) x) 15.396 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt (exp (/ -1 y))) (/ -1 y)) x)) in x 15.396 * [taylor]: Taking taylor expansion of -1 in x 15.396 * [backup-simplify]: Simplify -1 into -1 15.396 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (exp (/ -1 y))) (/ -1 y)) x) in x 15.396 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in x 15.396 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in x 15.396 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in x 15.396 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.396 * [taylor]: Taking taylor expansion of -1 in x 15.396 * [backup-simplify]: Simplify -1 into -1 15.396 * [taylor]: Taking taylor expansion of y in x 15.396 * [backup-simplify]: Simplify y into y 15.396 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 15.396 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in x 15.397 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in x 15.397 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 15.397 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.397 * [taylor]: Taking taylor expansion of -1 in x 15.397 * [backup-simplify]: Simplify -1 into -1 15.397 * [taylor]: Taking taylor expansion of y in x 15.397 * [backup-simplify]: Simplify y into y 15.397 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 15.397 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 15.397 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 15.397 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 15.397 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 15.397 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 15.398 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 15.398 * [backup-simplify]: Simplify (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) into (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)) 15.398 * [backup-simplify]: Simplify (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 15.398 * [taylor]: Taking taylor expansion of x in x 15.398 * [backup-simplify]: Simplify 0 into 0 15.398 * [backup-simplify]: Simplify 1 into 1 15.398 * [backup-simplify]: Simplify (/ (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 1) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 15.398 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt (exp (/ -1 y))) (/ -1 y)) x)) in x 15.398 * [taylor]: Taking taylor expansion of -1 in x 15.398 * [backup-simplify]: Simplify -1 into -1 15.398 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (exp (/ -1 y))) (/ -1 y)) x) in x 15.398 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in x 15.398 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in x 15.398 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in x 15.398 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.398 * [taylor]: Taking taylor expansion of -1 in x 15.398 * [backup-simplify]: Simplify -1 into -1 15.398 * [taylor]: Taking taylor expansion of y in x 15.398 * [backup-simplify]: Simplify y into y 15.398 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 15.398 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in x 15.398 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in x 15.398 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 15.398 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.398 * [taylor]: Taking taylor expansion of -1 in x 15.398 * [backup-simplify]: Simplify -1 into -1 15.398 * [taylor]: Taking taylor expansion of y in x 15.398 * [backup-simplify]: Simplify y into y 15.398 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 15.399 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 15.399 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 15.399 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 15.399 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 15.399 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 15.399 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 15.399 * [backup-simplify]: Simplify (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) into (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)) 15.400 * [backup-simplify]: Simplify (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 15.400 * [taylor]: Taking taylor expansion of x in x 15.400 * [backup-simplify]: Simplify 0 into 0 15.400 * [backup-simplify]: Simplify 1 into 1 15.400 * [backup-simplify]: Simplify (/ (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 1) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 15.400 * [backup-simplify]: Simplify (* -1 (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) into (* -1 (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) 15.400 * [taylor]: Taking taylor expansion of (* -1 (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) in y 15.400 * [taylor]: Taking taylor expansion of -1 in y 15.400 * [backup-simplify]: Simplify -1 into -1 15.400 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) in y 15.400 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)) in y 15.400 * [taylor]: Taking taylor expansion of -1 in y 15.400 * [backup-simplify]: Simplify -1 into -1 15.400 * [taylor]: Taking taylor expansion of (/ (log (sqrt (exp (/ -1 y)))) y) in y 15.400 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 15.400 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 15.400 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 15.400 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.400 * [taylor]: Taking taylor expansion of -1 in y 15.400 * [backup-simplify]: Simplify -1 into -1 15.400 * [taylor]: Taking taylor expansion of y in y 15.400 * [backup-simplify]: Simplify 0 into 0 15.400 * [backup-simplify]: Simplify 1 into 1 15.401 * [backup-simplify]: Simplify (/ -1 1) into -1 15.401 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 15.401 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 15.401 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 15.401 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 15.401 * [taylor]: Taking taylor expansion of y in y 15.401 * [backup-simplify]: Simplify 0 into 0 15.401 * [backup-simplify]: Simplify 1 into 1 15.401 * [backup-simplify]: Simplify (/ (log (sqrt (exp (/ -1 y)))) 1) into (log (sqrt (exp (/ -1 y)))) 15.401 * [backup-simplify]: Simplify (* -1 (log (sqrt (exp (/ -1 y))))) into (* -1 (log (sqrt (exp (/ -1 y))))) 15.401 * [backup-simplify]: Simplify (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 15.401 * [backup-simplify]: Simplify (* -1 (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) into (* -1 (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) 15.402 * [backup-simplify]: Simplify (* -1 (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) into (* -1 (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) 15.402 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (/ -1 y))) 1)))) 1) into 0 15.402 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 15.402 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (* 0 (log (sqrt (exp (/ -1 y)))))) into 0 15.403 * [backup-simplify]: Simplify (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) (+ (* (/ (pow 0 1) 1)))) into 0 15.404 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) (/ 0 1)))) into 0 15.404 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))))) into 0 15.404 * [taylor]: Taking taylor expansion of 0 in y 15.404 * [backup-simplify]: Simplify 0 into 0 15.404 * [backup-simplify]: Simplify 0 into 0 15.404 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))))) into 0 15.404 * [backup-simplify]: Simplify 0 into 0 15.405 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.405 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 15.406 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 y))))) into 0 15.407 * [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 15.407 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.407 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (* 0 (log (sqrt (exp (/ -1 y))))))) into 0 15.408 * [backup-simplify]: Simplify (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 15.409 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.410 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))))) into 0 15.410 * [taylor]: Taking taylor expansion of 0 in y 15.410 * [backup-simplify]: Simplify 0 into 0 15.410 * [backup-simplify]: Simplify 0 into 0 15.410 * [backup-simplify]: Simplify 0 into 0 15.411 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))))) into 0 15.411 * [backup-simplify]: Simplify 0 into 0 15.411 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.412 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 15.412 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 y))))) into 0 15.414 * [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 15.414 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.415 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (sqrt (exp (/ -1 y)))))))) into 0 15.416 * [backup-simplify]: Simplify (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 15.417 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.418 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))))))) into 0 15.418 * [taylor]: Taking taylor expansion of 0 in y 15.418 * [backup-simplify]: Simplify 0 into 0 15.418 * [backup-simplify]: Simplify 0 into 0 15.418 * [backup-simplify]: Simplify (* (* -1 (exp (* -1 (/ (log (sqrt (exp (/ -1 (/ 1 (- y)))))) (/ 1 (- y)))))) (* 1 (/ 1 (/ 1 (- x))))) into (* (exp (* (log (sqrt (exp y))) y)) x) 15.418 * * * * [progress]: [ 3 / 4 ] generating series at (2) 15.418 * [backup-simplify]: Simplify (* (* x (pow (sqrt (exp y)) y)) (pow (exp y) (/ y 2))) into (* (pow (sqrt (exp y)) y) (* x (pow (exp y) (* 1/2 y)))) 15.418 * [approximate]: Taking taylor expansion of (* (pow (sqrt (exp y)) y) (* x (pow (exp y) (* 1/2 y)))) in (x y) around 0 15.418 * [taylor]: Taking taylor expansion of (* (pow (sqrt (exp y)) y) (* x (pow (exp y) (* 1/2 y)))) in y 15.418 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in y 15.418 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in y 15.418 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in y 15.419 * [taylor]: Taking taylor expansion of y in y 15.419 * [backup-simplify]: Simplify 0 into 0 15.419 * [backup-simplify]: Simplify 1 into 1 15.419 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 15.419 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 15.419 * [taylor]: Taking taylor expansion of (exp y) in y 15.419 * [taylor]: Taking taylor expansion of y in y 15.419 * [backup-simplify]: Simplify 0 into 0 15.419 * [backup-simplify]: Simplify 1 into 1 15.419 * [backup-simplify]: Simplify (exp 0) into 1 15.419 * [backup-simplify]: Simplify (sqrt 1) into 1 15.420 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 15.420 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 15.420 * [backup-simplify]: Simplify (log 1) into 0 15.421 * [backup-simplify]: Simplify (* 0 0) into 0 15.421 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2 15.422 * [backup-simplify]: Simplify (+ (* 0 1/2) (* 1 0)) into 0 15.423 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 15.423 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 15.425 * [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 15.425 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1/2) (* 0 0))) into 1/2 15.425 * [backup-simplify]: Simplify (exp 0) into 1 15.425 * [taylor]: Taking taylor expansion of (* x (pow (exp y) (* 1/2 y))) in y 15.425 * [taylor]: Taking taylor expansion of x in y 15.425 * [backup-simplify]: Simplify x into x 15.425 * [taylor]: Taking taylor expansion of (pow (exp y) (* 1/2 y)) in y 15.425 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 y) (log (exp y)))) in y 15.425 * [taylor]: Taking taylor expansion of (* (* 1/2 y) (log (exp y))) in y 15.425 * [taylor]: Taking taylor expansion of (* 1/2 y) in y 15.426 * [taylor]: Taking taylor expansion of 1/2 in y 15.426 * [backup-simplify]: Simplify 1/2 into 1/2 15.426 * [taylor]: Taking taylor expansion of y in y 15.426 * [backup-simplify]: Simplify 0 into 0 15.426 * [backup-simplify]: Simplify 1 into 1 15.426 * [taylor]: Taking taylor expansion of (log (exp y)) in y 15.426 * [taylor]: Taking taylor expansion of (exp y) in y 15.426 * [taylor]: Taking taylor expansion of y in y 15.426 * [backup-simplify]: Simplify 0 into 0 15.426 * [backup-simplify]: Simplify 1 into 1 15.426 * [backup-simplify]: Simplify (exp 0) into 1 15.426 * [backup-simplify]: Simplify (log 1) into 0 15.426 * [backup-simplify]: Simplify (* 1/2 0) into 0 15.426 * [backup-simplify]: Simplify (* 0 0) into 0 15.427 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 15.428 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 15.428 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 15.429 * [backup-simplify]: Simplify (+ (* 0 1) (* 1/2 0)) into 0 15.429 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 15.431 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 15.431 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0 15.432 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1/2 1) (* 0 0))) into 1/2 15.432 * [backup-simplify]: Simplify (exp 0) into 1 15.432 * [taylor]: Taking taylor expansion of (* (pow (sqrt (exp y)) y) (* x (pow (exp y) (* 1/2 y)))) in x 15.432 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in x 15.432 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in x 15.432 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in x 15.432 * [taylor]: Taking taylor expansion of y in x 15.432 * [backup-simplify]: Simplify y into y 15.432 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in x 15.432 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in x 15.432 * [taylor]: Taking taylor expansion of (exp y) in x 15.432 * [taylor]: Taking taylor expansion of y in x 15.432 * [backup-simplify]: Simplify y into y 15.432 * [backup-simplify]: Simplify (exp y) into (exp y) 15.432 * [backup-simplify]: Simplify (sqrt (exp y)) into (sqrt (exp y)) 15.433 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 1) 1)))) into 0 15.433 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp y)))) into 0 15.433 * [backup-simplify]: Simplify (log (sqrt (exp y))) into (log (sqrt (exp y))) 15.433 * [backup-simplify]: Simplify (* y (log (sqrt (exp y)))) into (* (log (sqrt (exp y))) y) 15.433 * [backup-simplify]: Simplify (exp (* (log (sqrt (exp y))) y)) into (exp (* (log (sqrt (exp y))) y)) 15.433 * [taylor]: Taking taylor expansion of (* x (pow (exp y) (* 1/2 y))) in x 15.433 * [taylor]: Taking taylor expansion of x in x 15.433 * [backup-simplify]: Simplify 0 into 0 15.433 * [backup-simplify]: Simplify 1 into 1 15.433 * [taylor]: Taking taylor expansion of (pow (exp y) (* 1/2 y)) in x 15.433 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 y) (log (exp y)))) in x 15.433 * [taylor]: Taking taylor expansion of (* (* 1/2 y) (log (exp y))) in x 15.433 * [taylor]: Taking taylor expansion of (* 1/2 y) in x 15.433 * [taylor]: Taking taylor expansion of 1/2 in x 15.433 * [backup-simplify]: Simplify 1/2 into 1/2 15.433 * [taylor]: Taking taylor expansion of y in x 15.433 * [backup-simplify]: Simplify y into y 15.433 * [taylor]: Taking taylor expansion of (log (exp y)) in x 15.433 * [taylor]: Taking taylor expansion of (exp y) in x 15.433 * [taylor]: Taking taylor expansion of y in x 15.433 * [backup-simplify]: Simplify y into y 15.433 * [backup-simplify]: Simplify (exp y) into (exp y) 15.434 * [backup-simplify]: Simplify (log (exp y)) into y 15.434 * [backup-simplify]: Simplify (* 1/2 y) into (* 1/2 y) 15.434 * [backup-simplify]: Simplify (* (* 1/2 y) y) into (* 1/2 (pow y 2)) 15.434 * [backup-simplify]: Simplify (exp (* 1/2 (pow y 2))) into (exp (* 1/2 (pow y 2))) 15.434 * [taylor]: Taking taylor expansion of (* (pow (sqrt (exp y)) y) (* x (pow (exp y) (* 1/2 y)))) in x 15.434 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in x 15.434 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in x 15.434 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in x 15.434 * [taylor]: Taking taylor expansion of y in x 15.434 * [backup-simplify]: Simplify y into y 15.434 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in x 15.434 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in x 15.434 * [taylor]: Taking taylor expansion of (exp y) in x 15.434 * [taylor]: Taking taylor expansion of y in x 15.434 * [backup-simplify]: Simplify y into y 15.434 * [backup-simplify]: Simplify (exp y) into (exp y) 15.434 * [backup-simplify]: Simplify (sqrt (exp y)) into (sqrt (exp y)) 15.435 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 1) 1)))) into 0 15.435 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp y)))) into 0 15.435 * [backup-simplify]: Simplify (log (sqrt (exp y))) into (log (sqrt (exp y))) 15.435 * [backup-simplify]: Simplify (* y (log (sqrt (exp y)))) into (* (log (sqrt (exp y))) y) 15.435 * [backup-simplify]: Simplify (exp (* (log (sqrt (exp y))) y)) into (exp (* (log (sqrt (exp y))) y)) 15.435 * [taylor]: Taking taylor expansion of (* x (pow (exp y) (* 1/2 y))) in x 15.435 * [taylor]: Taking taylor expansion of x in x 15.435 * [backup-simplify]: Simplify 0 into 0 15.435 * [backup-simplify]: Simplify 1 into 1 15.435 * [taylor]: Taking taylor expansion of (pow (exp y) (* 1/2 y)) in x 15.435 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 y) (log (exp y)))) in x 15.435 * [taylor]: Taking taylor expansion of (* (* 1/2 y) (log (exp y))) in x 15.435 * [taylor]: Taking taylor expansion of (* 1/2 y) in x 15.435 * [taylor]: Taking taylor expansion of 1/2 in x 15.435 * [backup-simplify]: Simplify 1/2 into 1/2 15.435 * [taylor]: Taking taylor expansion of y in x 15.435 * [backup-simplify]: Simplify y into y 15.435 * [taylor]: Taking taylor expansion of (log (exp y)) in x 15.435 * [taylor]: Taking taylor expansion of (exp y) in x 15.435 * [taylor]: Taking taylor expansion of y in x 15.435 * [backup-simplify]: Simplify y into y 15.435 * [backup-simplify]: Simplify (exp y) into (exp y) 15.435 * [backup-simplify]: Simplify (log (exp y)) into y 15.435 * [backup-simplify]: Simplify (* 1/2 y) into (* 1/2 y) 15.435 * [backup-simplify]: Simplify (* (* 1/2 y) y) into (* 1/2 (pow y 2)) 15.435 * [backup-simplify]: Simplify (exp (* 1/2 (pow y 2))) into (exp (* 1/2 (pow y 2))) 15.436 * [backup-simplify]: Simplify (* 0 (exp (* 1/2 (pow y 2)))) into 0 15.436 * [backup-simplify]: Simplify (* (exp (* (log (sqrt (exp y))) y)) 0) into 0 15.436 * [taylor]: Taking taylor expansion of 0 in y 15.436 * [backup-simplify]: Simplify 0 into 0 15.436 * [backup-simplify]: Simplify 0 into 0 15.436 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 1) 1)))) into 0 15.437 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp y) 1)))) 1) into 0 15.437 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 y)) into 0 15.437 * [backup-simplify]: Simplify (+ (* (* 1/2 y) 0) (* 0 y)) into 0 15.438 * [backup-simplify]: Simplify (* (exp (* 1/2 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 15.438 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (* 1/2 (pow y 2))))) into (exp (* 1/2 (pow y 2))) 15.439 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp y)) 1)))) 1) into 0 15.439 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (log (sqrt (exp y))))) into 0 15.439 * [backup-simplify]: Simplify (* (exp (* (log (sqrt (exp y))) y)) (+ (* (/ (pow 0 1) 1)))) into 0 15.440 * [backup-simplify]: Simplify (+ (* (exp (* (log (sqrt (exp y))) y)) (exp (* 1/2 (pow y 2)))) (* 0 0)) into (* (exp (* (log (sqrt (exp y))) y)) (exp (* 1/2 (pow y 2)))) 15.440 * [taylor]: Taking taylor expansion of (* (exp (* (log (sqrt (exp y))) y)) (exp (* 1/2 (pow y 2)))) in y 15.440 * [taylor]: Taking taylor expansion of (exp (* (log (sqrt (exp y))) y)) in y 15.440 * [taylor]: Taking taylor expansion of (* (log (sqrt (exp y))) y) in y 15.440 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 15.440 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 15.440 * [taylor]: Taking taylor expansion of (exp y) in y 15.440 * [taylor]: Taking taylor expansion of y in y 15.440 * [backup-simplify]: Simplify 0 into 0 15.440 * [backup-simplify]: Simplify 1 into 1 15.440 * [backup-simplify]: Simplify (exp 0) into 1 15.440 * [backup-simplify]: Simplify (sqrt 1) into 1 15.441 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 15.444 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 15.445 * [backup-simplify]: Simplify (log 1) into 0 15.445 * [taylor]: Taking taylor expansion of y in y 15.445 * [backup-simplify]: Simplify 0 into 0 15.445 * [backup-simplify]: Simplify 1 into 1 15.445 * [backup-simplify]: Simplify (* 0 0) into 0 15.446 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2 15.446 * [backup-simplify]: Simplify (+ (* 0 1) (* 1/2 0)) into 0 15.448 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 15.448 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 15.450 * [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 15.450 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1/2 1) (* 0 0))) into 1/2 15.450 * [backup-simplify]: Simplify (exp 0) into 1 15.450 * [taylor]: Taking taylor expansion of (exp (* 1/2 (pow y 2))) in y 15.450 * [taylor]: Taking taylor expansion of (* 1/2 (pow y 2)) in y 15.450 * [taylor]: Taking taylor expansion of 1/2 in y 15.450 * [backup-simplify]: Simplify 1/2 into 1/2 15.450 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.450 * [taylor]: Taking taylor expansion of y in y 15.450 * [backup-simplify]: Simplify 0 into 0 15.450 * [backup-simplify]: Simplify 1 into 1 15.451 * [backup-simplify]: Simplify (* 1 1) into 1 15.451 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 15.451 * [backup-simplify]: Simplify (exp 0) into 1 15.451 * [backup-simplify]: Simplify (* 1 1) into 1 15.451 * [backup-simplify]: Simplify 1 into 1 15.451 * [backup-simplify]: Simplify 0 into 0 15.452 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 15.453 * [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 15.454 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 y))) into 0 15.454 * [backup-simplify]: Simplify (+ (* (* 1/2 y) 0) (+ (* 0 0) (* 0 y))) into 0 15.455 * [backup-simplify]: Simplify (* (exp (* 1/2 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 15.455 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (* 1/2 (pow y 2)))))) into 0 15.456 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 15.457 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp y)))) into 0 15.458 * [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 15.458 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (log (sqrt (exp y)))))) into 0 15.459 * [backup-simplify]: Simplify (* (exp (* (log (sqrt (exp y))) y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 15.459 * [backup-simplify]: Simplify (+ (* (exp (* (log (sqrt (exp y))) y)) 0) (+ (* 0 (exp (* 1/2 (pow y 2)))) (* 0 0))) into 0 15.459 * [taylor]: Taking taylor expansion of 0 in y 15.459 * [backup-simplify]: Simplify 0 into 0 15.459 * [backup-simplify]: Simplify 0 into 0 15.460 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 15.460 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 15.461 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.461 * [backup-simplify]: Simplify 0 into 0 15.461 * [backup-simplify]: Simplify 0 into 0 15.462 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 15.464 * [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 15.464 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 15.465 * [backup-simplify]: Simplify (+ (* (* 1/2 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 15.466 * [backup-simplify]: Simplify (* (exp (* 1/2 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 15.466 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (* 1/2 (pow y 2))))))) into 0 15.467 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 15.468 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp y)))) into 0 15.470 * [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 15.471 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (sqrt (exp y))))))) into 0 15.472 * [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 15.472 * [backup-simplify]: Simplify (+ (* (exp (* (log (sqrt (exp y))) y)) 0) (+ (* 0 0) (+ (* 0 (exp (* 1/2 (pow y 2)))) (* 0 0)))) into 0 15.472 * [taylor]: Taking taylor expansion of 0 in y 15.472 * [backup-simplify]: Simplify 0 into 0 15.472 * [backup-simplify]: Simplify 0 into 0 15.472 * [backup-simplify]: Simplify 0 into 0 15.472 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x 15.473 * [backup-simplify]: Simplify (* (* (/ 1 x) (pow (sqrt (exp (/ 1 y))) (/ 1 y))) (pow (exp (/ 1 y)) (/ (/ 1 y) 2))) into (/ (* (pow (sqrt (exp (/ 1 y))) (/ 1 y)) (pow (exp (/ 1 y)) (/ 1/2 y))) x) 15.473 * [approximate]: Taking taylor expansion of (/ (* (pow (sqrt (exp (/ 1 y))) (/ 1 y)) (pow (exp (/ 1 y)) (/ 1/2 y))) x) in (x y) around 0 15.473 * [taylor]: Taking taylor expansion of (/ (* (pow (sqrt (exp (/ 1 y))) (/ 1 y)) (pow (exp (/ 1 y)) (/ 1/2 y))) x) in y 15.473 * [taylor]: Taking taylor expansion of (* (pow (sqrt (exp (/ 1 y))) (/ 1 y)) (pow (exp (/ 1 y)) (/ 1/2 y))) in y 15.473 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in y 15.473 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in y 15.473 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in y 15.473 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.473 * [taylor]: Taking taylor expansion of y in y 15.473 * [backup-simplify]: Simplify 0 into 0 15.473 * [backup-simplify]: Simplify 1 into 1 15.473 * [backup-simplify]: Simplify (/ 1 1) into 1 15.473 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 15.473 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 15.473 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 15.473 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.473 * [taylor]: Taking taylor expansion of y in y 15.473 * [backup-simplify]: Simplify 0 into 0 15.473 * [backup-simplify]: Simplify 1 into 1 15.473 * [backup-simplify]: Simplify (/ 1 1) into 1 15.474 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 15.474 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 15.474 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 15.474 * [backup-simplify]: Simplify (log (sqrt (exp (/ 1 y)))) into (log (sqrt (exp (/ 1 y)))) 15.474 * [backup-simplify]: Simplify (* 1 (log (sqrt (exp (/ 1 y))))) into (log (sqrt (exp (/ 1 y)))) 15.474 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 15.474 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1/2 y)) in y 15.474 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 y) (log (exp (/ 1 y))))) in y 15.474 * [taylor]: Taking taylor expansion of (* (/ 1/2 y) (log (exp (/ 1 y)))) in y 15.474 * [taylor]: Taking taylor expansion of (/ 1/2 y) in y 15.474 * [taylor]: Taking taylor expansion of 1/2 in y 15.474 * [backup-simplify]: Simplify 1/2 into 1/2 15.474 * [taylor]: Taking taylor expansion of y in y 15.474 * [backup-simplify]: Simplify 0 into 0 15.474 * [backup-simplify]: Simplify 1 into 1 15.474 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 15.474 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 15.475 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 15.475 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.475 * [taylor]: Taking taylor expansion of y in y 15.475 * [backup-simplify]: Simplify 0 into 0 15.475 * [backup-simplify]: Simplify 1 into 1 15.475 * [backup-simplify]: Simplify (/ 1 1) into 1 15.475 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 15.475 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 15.475 * [backup-simplify]: Simplify (* 1/2 (/ 1 y)) into (/ 1/2 y) 15.475 * [backup-simplify]: Simplify (exp (* (/ 1/2 y) (log (exp (/ 1 y))))) into (exp (/ 1/2 (pow y 2))) 15.475 * [taylor]: Taking taylor expansion of x in y 15.475 * [backup-simplify]: Simplify x into x 15.475 * [backup-simplify]: Simplify (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) (exp (/ 1/2 (pow y 2)))) into (* (exp (/ 1/2 (pow y 2))) (exp (/ (log (sqrt (exp (/ 1 y)))) y))) 15.476 * [backup-simplify]: Simplify (/ (* (exp (/ 1/2 (pow y 2))) (exp (/ (log (sqrt (exp (/ 1 y)))) y))) x) into (/ (* (exp (/ 1/2 (pow y 2))) (exp (/ (log (sqrt (exp (/ 1 y)))) y))) x) 15.476 * [taylor]: Taking taylor expansion of (/ (* (pow (sqrt (exp (/ 1 y))) (/ 1 y)) (pow (exp (/ 1 y)) (/ 1/2 y))) x) in x 15.476 * [taylor]: Taking taylor expansion of (* (pow (sqrt (exp (/ 1 y))) (/ 1 y)) (pow (exp (/ 1 y)) (/ 1/2 y))) in x 15.476 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in x 15.476 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in x 15.476 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in x 15.476 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.476 * [taylor]: Taking taylor expansion of y in x 15.476 * [backup-simplify]: Simplify y into y 15.476 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.476 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in x 15.476 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in x 15.476 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 15.476 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.476 * [taylor]: Taking taylor expansion of y in x 15.476 * [backup-simplify]: Simplify y into y 15.476 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.476 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 15.476 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 15.476 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 15.477 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 15.477 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 15.477 * [backup-simplify]: Simplify (log (sqrt (exp (/ 1 y)))) into (log (sqrt (exp (/ 1 y)))) 15.477 * [backup-simplify]: Simplify (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) into (/ (log (sqrt (exp (/ 1 y)))) y) 15.477 * [backup-simplify]: Simplify (exp (/ (log (sqrt (exp (/ 1 y)))) y)) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 15.477 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1/2 y)) in x 15.477 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 y) (log (exp (/ 1 y))))) in x 15.477 * [taylor]: Taking taylor expansion of (* (/ 1/2 y) (log (exp (/ 1 y)))) in x 15.477 * [taylor]: Taking taylor expansion of (/ 1/2 y) in x 15.477 * [taylor]: Taking taylor expansion of 1/2 in x 15.477 * [backup-simplify]: Simplify 1/2 into 1/2 15.477 * [taylor]: Taking taylor expansion of y in x 15.477 * [backup-simplify]: Simplify y into y 15.477 * [backup-simplify]: Simplify (/ 1/2 y) into (/ 1/2 y) 15.477 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 15.477 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 15.477 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.477 * [taylor]: Taking taylor expansion of y in x 15.477 * [backup-simplify]: Simplify y into y 15.478 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.478 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 15.478 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 15.478 * [backup-simplify]: Simplify (* (/ 1/2 y) (/ 1 y)) into (/ 1/2 (pow y 2)) 15.478 * [backup-simplify]: Simplify (exp (/ 1/2 (pow y 2))) into (exp (/ 1/2 (pow y 2))) 15.478 * [taylor]: Taking taylor expansion of x in x 15.478 * [backup-simplify]: Simplify 0 into 0 15.478 * [backup-simplify]: Simplify 1 into 1 15.478 * [backup-simplify]: Simplify (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) (exp (/ 1/2 (pow y 2)))) into (* (exp (/ 1/2 (pow y 2))) (exp (/ (log (sqrt (exp (/ 1 y)))) y))) 15.478 * [backup-simplify]: Simplify (/ (* (exp (/ 1/2 (pow y 2))) (exp (/ (log (sqrt (exp (/ 1 y)))) y))) 1) into (* (exp (/ 1/2 (pow y 2))) (exp (/ (log (sqrt (exp (/ 1 y)))) y))) 15.478 * [taylor]: Taking taylor expansion of (/ (* (pow (sqrt (exp (/ 1 y))) (/ 1 y)) (pow (exp (/ 1 y)) (/ 1/2 y))) x) in x 15.478 * [taylor]: Taking taylor expansion of (* (pow (sqrt (exp (/ 1 y))) (/ 1 y)) (pow (exp (/ 1 y)) (/ 1/2 y))) in x 15.478 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in x 15.478 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in x 15.478 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in x 15.478 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.479 * [taylor]: Taking taylor expansion of y in x 15.479 * [backup-simplify]: Simplify y into y 15.479 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.479 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in x 15.479 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in x 15.479 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 15.479 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.479 * [taylor]: Taking taylor expansion of y in x 15.479 * [backup-simplify]: Simplify y into y 15.479 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.479 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 15.479 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 15.479 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 15.479 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 15.480 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 15.480 * [backup-simplify]: Simplify (log (sqrt (exp (/ 1 y)))) into (log (sqrt (exp (/ 1 y)))) 15.480 * [backup-simplify]: Simplify (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) into (/ (log (sqrt (exp (/ 1 y)))) y) 15.480 * [backup-simplify]: Simplify (exp (/ (log (sqrt (exp (/ 1 y)))) y)) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 15.480 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1/2 y)) in x 15.480 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 y) (log (exp (/ 1 y))))) in x 15.480 * [taylor]: Taking taylor expansion of (* (/ 1/2 y) (log (exp (/ 1 y)))) in x 15.480 * [taylor]: Taking taylor expansion of (/ 1/2 y) in x 15.480 * [taylor]: Taking taylor expansion of 1/2 in x 15.480 * [backup-simplify]: Simplify 1/2 into 1/2 15.480 * [taylor]: Taking taylor expansion of y in x 15.480 * [backup-simplify]: Simplify y into y 15.480 * [backup-simplify]: Simplify (/ 1/2 y) into (/ 1/2 y) 15.480 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 15.480 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 15.480 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.480 * [taylor]: Taking taylor expansion of y in x 15.480 * [backup-simplify]: Simplify y into y 15.480 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.480 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 15.480 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 15.480 * [backup-simplify]: Simplify (* (/ 1/2 y) (/ 1 y)) into (/ 1/2 (pow y 2)) 15.481 * [backup-simplify]: Simplify (exp (/ 1/2 (pow y 2))) into (exp (/ 1/2 (pow y 2))) 15.481 * [taylor]: Taking taylor expansion of x in x 15.481 * [backup-simplify]: Simplify 0 into 0 15.481 * [backup-simplify]: Simplify 1 into 1 15.481 * [backup-simplify]: Simplify (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) (exp (/ 1/2 (pow y 2)))) into (* (exp (/ 1/2 (pow y 2))) (exp (/ (log (sqrt (exp (/ 1 y)))) y))) 15.481 * [backup-simplify]: Simplify (/ (* (exp (/ 1/2 (pow y 2))) (exp (/ (log (sqrt (exp (/ 1 y)))) y))) 1) into (* (exp (/ 1/2 (pow y 2))) (exp (/ (log (sqrt (exp (/ 1 y)))) y))) 15.481 * [taylor]: Taking taylor expansion of (* (exp (/ 1/2 (pow y 2))) (exp (/ (log (sqrt (exp (/ 1 y)))) y))) in y 15.481 * [taylor]: Taking taylor expansion of (exp (/ 1/2 (pow y 2))) in y 15.481 * [taylor]: Taking taylor expansion of (/ 1/2 (pow y 2)) in y 15.481 * [taylor]: Taking taylor expansion of 1/2 in y 15.481 * [backup-simplify]: Simplify 1/2 into 1/2 15.481 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.481 * [taylor]: Taking taylor expansion of y in y 15.481 * [backup-simplify]: Simplify 0 into 0 15.481 * [backup-simplify]: Simplify 1 into 1 15.481 * [backup-simplify]: Simplify (* 1 1) into 1 15.482 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 15.482 * [backup-simplify]: Simplify (exp (/ 1/2 (pow y 2))) into (exp (/ 1/2 (pow y 2))) 15.482 * [taylor]: Taking taylor expansion of (exp (/ (log (sqrt (exp (/ 1 y)))) y)) in y 15.482 * [taylor]: Taking taylor expansion of (/ (log (sqrt (exp (/ 1 y)))) y) in y 15.482 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 15.482 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 15.482 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 15.482 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.482 * [taylor]: Taking taylor expansion of y in y 15.482 * [backup-simplify]: Simplify 0 into 0 15.482 * [backup-simplify]: Simplify 1 into 1 15.482 * [backup-simplify]: Simplify (/ 1 1) into 1 15.482 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 15.482 * [backup-simplify]: Simplify (sqrt (exp (/ 1 y))) into (sqrt (exp (/ 1 y))) 15.482 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 y))))) into 0 15.483 * [backup-simplify]: Simplify (log (sqrt (exp (/ 1 y)))) into (log (sqrt (exp (/ 1 y)))) 15.483 * [taylor]: Taking taylor expansion of y in y 15.483 * [backup-simplify]: Simplify 0 into 0 15.483 * [backup-simplify]: Simplify 1 into 1 15.483 * [backup-simplify]: Simplify (/ (log (sqrt (exp (/ 1 y)))) 1) into (log (sqrt (exp (/ 1 y)))) 15.483 * [backup-simplify]: Simplify (exp (/ (log (sqrt (exp (/ 1 y)))) y)) into (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 15.483 * [backup-simplify]: Simplify (* (exp (/ 1/2 (pow y 2))) (exp (/ (log (sqrt (exp (/ 1 y)))) y))) into (* (exp (/ 1/2 (pow y 2))) (exp (/ (log (sqrt (exp (/ 1 y)))) y))) 15.483 * [backup-simplify]: Simplify (* (exp (/ 1/2 (pow y 2))) (exp (/ (log (sqrt (exp (/ 1 y)))) y))) into (* (exp (/ 1/2 (pow y 2))) (exp (/ (log (sqrt (exp (/ 1 y)))) y))) 15.483 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 15.484 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 15.484 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ 1 y)) 1)))) 1) into 0 15.485 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1/2 y) (/ 0 y)))) into 0 15.485 * [backup-simplify]: Simplify (+ (* (/ 1/2 y) 0) (* 0 (/ 1 y))) into 0 15.485 * [backup-simplify]: Simplify (* (exp (/ 1/2 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 15.486 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (/ 1 y))) 1)))) 1) into 0 15.486 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 15.486 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 (log (sqrt (exp (/ 1 y)))))) into 0 15.486 * [backup-simplify]: Simplify (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) (+ (* (/ (pow 0 1) 1)))) into 0 15.487 * [backup-simplify]: Simplify (+ (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 0) (* 0 (exp (/ 1/2 (pow y 2))))) into 0 15.487 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (exp (/ 1/2 (pow y 2))) (exp (/ (log (sqrt (exp (/ 1 y)))) y))) (/ 0 1)))) into 0 15.487 * [taylor]: Taking taylor expansion of 0 in y 15.488 * [backup-simplify]: Simplify 0 into 0 15.488 * [backup-simplify]: Simplify 0 into 0 15.488 * [backup-simplify]: Simplify (+ (* (exp (/ 1/2 (pow y 2))) 0) (* 0 (exp (/ (log (sqrt (exp (/ 1 y)))) y)))) into 0 15.488 * [backup-simplify]: Simplify 0 into 0 15.488 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.489 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 15.490 * [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 15.490 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1/2 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.490 * [backup-simplify]: Simplify (+ (* (/ 1/2 y) 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 15.491 * [backup-simplify]: Simplify (* (exp (/ 1/2 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 15.491 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.492 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 15.492 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 y))))) into 0 15.494 * [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 15.494 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.494 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (log (sqrt (exp (/ 1 y))))))) into 0 15.495 * [backup-simplify]: Simplify (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 15.495 * [backup-simplify]: Simplify (+ (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 0) (+ (* 0 0) (* 0 (exp (/ 1/2 (pow y 2)))))) into 0 15.496 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (exp (/ 1/2 (pow y 2))) (exp (/ (log (sqrt (exp (/ 1 y)))) y))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.496 * [taylor]: Taking taylor expansion of 0 in y 15.496 * [backup-simplify]: Simplify 0 into 0 15.496 * [backup-simplify]: Simplify 0 into 0 15.496 * [backup-simplify]: Simplify 0 into 0 15.497 * [backup-simplify]: Simplify (+ (* (exp (/ 1/2 (pow y 2))) 0) (+ (* 0 0) (* 0 (exp (/ (log (sqrt (exp (/ 1 y)))) y))))) into 0 15.497 * [backup-simplify]: Simplify 0 into 0 15.497 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.498 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 15.500 * [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 15.500 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1/2 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.500 * [backup-simplify]: Simplify (+ (* (/ 1/2 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 15.501 * [backup-simplify]: Simplify (* (exp (/ 1/2 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 15.502 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.503 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 15.503 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 y))))) into 0 15.505 * [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 15.505 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.506 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (sqrt (exp (/ 1 y)))))))) into 0 15.506 * [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 15.507 * [backup-simplify]: Simplify (+ (* (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1/2 (pow y 2))))))) into 0 15.508 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (exp (/ 1/2 (pow y 2))) (exp (/ (log (sqrt (exp (/ 1 y)))) y))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.509 * [taylor]: Taking taylor expansion of 0 in y 15.509 * [backup-simplify]: Simplify 0 into 0 15.509 * [backup-simplify]: Simplify 0 into 0 15.509 * [backup-simplify]: Simplify (* (* (exp (/ 1/2 (pow (/ 1 y) 2))) (exp (/ (log (sqrt (exp (/ 1 (/ 1 y))))) (/ 1 y)))) (* 1 (/ 1 (/ 1 x)))) into (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* 1/2 (pow y 2))) x)) 15.509 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (pow (sqrt (exp (/ 1 (- y)))) (/ 1 (- y)))) (pow (exp (/ 1 (- y))) (/ (/ 1 (- y)) 2))) into (* -1 (/ (* (pow (exp (/ -1 y)) (/ -1/2 y)) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) x)) 15.509 * [approximate]: Taking taylor expansion of (* -1 (/ (* (pow (exp (/ -1 y)) (/ -1/2 y)) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) x)) in (x y) around 0 15.509 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (exp (/ -1 y)) (/ -1/2 y)) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) x)) in y 15.509 * [taylor]: Taking taylor expansion of -1 in y 15.509 * [backup-simplify]: Simplify -1 into -1 15.509 * [taylor]: Taking taylor expansion of (/ (* (pow (exp (/ -1 y)) (/ -1/2 y)) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) x) in y 15.509 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 y)) (/ -1/2 y)) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) in y 15.509 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1/2 y)) in y 15.509 * [taylor]: Taking taylor expansion of (exp (* (/ -1/2 y) (log (exp (/ -1 y))))) in y 15.509 * [taylor]: Taking taylor expansion of (* (/ -1/2 y) (log (exp (/ -1 y)))) in y 15.509 * [taylor]: Taking taylor expansion of (/ -1/2 y) in y 15.509 * [taylor]: Taking taylor expansion of -1/2 in y 15.510 * [backup-simplify]: Simplify -1/2 into -1/2 15.510 * [taylor]: Taking taylor expansion of y in y 15.510 * [backup-simplify]: Simplify 0 into 0 15.510 * [backup-simplify]: Simplify 1 into 1 15.510 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2 15.510 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 15.510 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 15.510 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.510 * [taylor]: Taking taylor expansion of -1 in y 15.510 * [backup-simplify]: Simplify -1 into -1 15.510 * [taylor]: Taking taylor expansion of y in y 15.510 * [backup-simplify]: Simplify 0 into 0 15.510 * [backup-simplify]: Simplify 1 into 1 15.510 * [backup-simplify]: Simplify (/ -1 1) into -1 15.510 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 15.510 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 15.510 * [backup-simplify]: Simplify (* -1/2 (/ -1 y)) into (/ 1/2 y) 15.511 * [backup-simplify]: Simplify (exp (* (/ -1/2 y) (log (exp (/ -1 y))))) into (exp (/ 1/2 (pow y 2))) 15.511 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in y 15.511 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in y 15.511 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in y 15.511 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.511 * [taylor]: Taking taylor expansion of -1 in y 15.511 * [backup-simplify]: Simplify -1 into -1 15.511 * [taylor]: Taking taylor expansion of y in y 15.511 * [backup-simplify]: Simplify 0 into 0 15.511 * [backup-simplify]: Simplify 1 into 1 15.511 * [backup-simplify]: Simplify (/ -1 1) into -1 15.511 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 15.511 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 15.511 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 15.511 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.511 * [taylor]: Taking taylor expansion of -1 in y 15.511 * [backup-simplify]: Simplify -1 into -1 15.511 * [taylor]: Taking taylor expansion of y in y 15.511 * [backup-simplify]: Simplify 0 into 0 15.511 * [backup-simplify]: Simplify 1 into 1 15.512 * [backup-simplify]: Simplify (/ -1 1) into -1 15.512 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 15.512 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 15.512 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 15.512 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 15.512 * [backup-simplify]: Simplify (* -1 (log (sqrt (exp (/ -1 y))))) into (* -1 (log (sqrt (exp (/ -1 y))))) 15.512 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 15.512 * [taylor]: Taking taylor expansion of x in y 15.512 * [backup-simplify]: Simplify x into x 15.512 * [backup-simplify]: Simplify (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) into (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) 15.513 * [backup-simplify]: Simplify (/ (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) x) into (/ (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) x) 15.513 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (exp (/ -1 y)) (/ -1/2 y)) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) x)) in x 15.513 * [taylor]: Taking taylor expansion of -1 in x 15.513 * [backup-simplify]: Simplify -1 into -1 15.513 * [taylor]: Taking taylor expansion of (/ (* (pow (exp (/ -1 y)) (/ -1/2 y)) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) x) in x 15.513 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 y)) (/ -1/2 y)) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) in x 15.513 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1/2 y)) in x 15.513 * [taylor]: Taking taylor expansion of (exp (* (/ -1/2 y) (log (exp (/ -1 y))))) in x 15.513 * [taylor]: Taking taylor expansion of (* (/ -1/2 y) (log (exp (/ -1 y)))) in x 15.513 * [taylor]: Taking taylor expansion of (/ -1/2 y) in x 15.513 * [taylor]: Taking taylor expansion of -1/2 in x 15.513 * [backup-simplify]: Simplify -1/2 into -1/2 15.513 * [taylor]: Taking taylor expansion of y in x 15.513 * [backup-simplify]: Simplify y into y 15.513 * [backup-simplify]: Simplify (/ -1/2 y) into (/ -1/2 y) 15.513 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 15.513 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 15.513 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.513 * [taylor]: Taking taylor expansion of -1 in x 15.513 * [backup-simplify]: Simplify -1 into -1 15.513 * [taylor]: Taking taylor expansion of y in x 15.513 * [backup-simplify]: Simplify y into y 15.513 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 15.513 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 15.513 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 15.513 * [backup-simplify]: Simplify (* (/ -1/2 y) (/ -1 y)) into (/ 1/2 (pow y 2)) 15.513 * [backup-simplify]: Simplify (exp (/ 1/2 (pow y 2))) into (exp (/ 1/2 (pow y 2))) 15.513 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in x 15.513 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in x 15.513 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in x 15.513 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.513 * [taylor]: Taking taylor expansion of -1 in x 15.513 * [backup-simplify]: Simplify -1 into -1 15.514 * [taylor]: Taking taylor expansion of y in x 15.514 * [backup-simplify]: Simplify y into y 15.514 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 15.514 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in x 15.514 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in x 15.514 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 15.514 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.514 * [taylor]: Taking taylor expansion of -1 in x 15.514 * [backup-simplify]: Simplify -1 into -1 15.514 * [taylor]: Taking taylor expansion of y in x 15.514 * [backup-simplify]: Simplify y into y 15.514 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 15.514 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 15.514 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 15.514 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 15.514 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 15.515 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 15.515 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 15.515 * [backup-simplify]: Simplify (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) into (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)) 15.515 * [backup-simplify]: Simplify (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 15.515 * [taylor]: Taking taylor expansion of x in x 15.515 * [backup-simplify]: Simplify 0 into 0 15.515 * [backup-simplify]: Simplify 1 into 1 15.515 * [backup-simplify]: Simplify (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) into (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) 15.515 * [backup-simplify]: Simplify (/ (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) 1) into (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) 15.515 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (exp (/ -1 y)) (/ -1/2 y)) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) x)) in x 15.515 * [taylor]: Taking taylor expansion of -1 in x 15.515 * [backup-simplify]: Simplify -1 into -1 15.516 * [taylor]: Taking taylor expansion of (/ (* (pow (exp (/ -1 y)) (/ -1/2 y)) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) x) in x 15.516 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 y)) (/ -1/2 y)) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) in x 15.516 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1/2 y)) in x 15.516 * [taylor]: Taking taylor expansion of (exp (* (/ -1/2 y) (log (exp (/ -1 y))))) in x 15.516 * [taylor]: Taking taylor expansion of (* (/ -1/2 y) (log (exp (/ -1 y)))) in x 15.516 * [taylor]: Taking taylor expansion of (/ -1/2 y) in x 15.516 * [taylor]: Taking taylor expansion of -1/2 in x 15.516 * [backup-simplify]: Simplify -1/2 into -1/2 15.516 * [taylor]: Taking taylor expansion of y in x 15.516 * [backup-simplify]: Simplify y into y 15.516 * [backup-simplify]: Simplify (/ -1/2 y) into (/ -1/2 y) 15.516 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 15.516 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 15.516 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.516 * [taylor]: Taking taylor expansion of -1 in x 15.516 * [backup-simplify]: Simplify -1 into -1 15.516 * [taylor]: Taking taylor expansion of y in x 15.516 * [backup-simplify]: Simplify y into y 15.516 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 15.516 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 15.516 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 15.516 * [backup-simplify]: Simplify (* (/ -1/2 y) (/ -1 y)) into (/ 1/2 (pow y 2)) 15.516 * [backup-simplify]: Simplify (exp (/ 1/2 (pow y 2))) into (exp (/ 1/2 (pow y 2))) 15.516 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in x 15.516 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in x 15.516 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in x 15.516 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.516 * [taylor]: Taking taylor expansion of -1 in x 15.516 * [backup-simplify]: Simplify -1 into -1 15.516 * [taylor]: Taking taylor expansion of y in x 15.516 * [backup-simplify]: Simplify y into y 15.516 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 15.516 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in x 15.516 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in x 15.517 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 15.517 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.517 * [taylor]: Taking taylor expansion of -1 in x 15.517 * [backup-simplify]: Simplify -1 into -1 15.517 * [taylor]: Taking taylor expansion of y in x 15.517 * [backup-simplify]: Simplify y into y 15.517 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 15.517 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 15.517 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 15.517 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 15.517 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 15.518 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 15.518 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 15.518 * [backup-simplify]: Simplify (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) into (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)) 15.518 * [backup-simplify]: Simplify (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 15.518 * [taylor]: Taking taylor expansion of x in x 15.518 * [backup-simplify]: Simplify 0 into 0 15.518 * [backup-simplify]: Simplify 1 into 1 15.518 * [backup-simplify]: Simplify (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) into (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) 15.518 * [backup-simplify]: Simplify (/ (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) 1) into (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) 15.519 * [backup-simplify]: Simplify (* -1 (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))))) into (* -1 (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))))) 15.519 * [taylor]: Taking taylor expansion of (* -1 (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))))) in y 15.519 * [taylor]: Taking taylor expansion of -1 in y 15.519 * [backup-simplify]: Simplify -1 into -1 15.519 * [taylor]: Taking taylor expansion of (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) in y 15.519 * [taylor]: Taking taylor expansion of (exp (/ 1/2 (pow y 2))) in y 15.519 * [taylor]: Taking taylor expansion of (/ 1/2 (pow y 2)) in y 15.519 * [taylor]: Taking taylor expansion of 1/2 in y 15.519 * [backup-simplify]: Simplify 1/2 into 1/2 15.519 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.519 * [taylor]: Taking taylor expansion of y in y 15.519 * [backup-simplify]: Simplify 0 into 0 15.519 * [backup-simplify]: Simplify 1 into 1 15.519 * [backup-simplify]: Simplify (* 1 1) into 1 15.520 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 15.520 * [backup-simplify]: Simplify (exp (/ 1/2 (pow y 2))) into (exp (/ 1/2 (pow y 2))) 15.520 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) in y 15.520 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)) in y 15.520 * [taylor]: Taking taylor expansion of -1 in y 15.520 * [backup-simplify]: Simplify -1 into -1 15.520 * [taylor]: Taking taylor expansion of (/ (log (sqrt (exp (/ -1 y)))) y) in y 15.520 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 15.520 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 15.520 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 15.520 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.520 * [taylor]: Taking taylor expansion of -1 in y 15.520 * [backup-simplify]: Simplify -1 into -1 15.520 * [taylor]: Taking taylor expansion of y in y 15.520 * [backup-simplify]: Simplify 0 into 0 15.520 * [backup-simplify]: Simplify 1 into 1 15.521 * [backup-simplify]: Simplify (/ -1 1) into -1 15.521 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 15.521 * [backup-simplify]: Simplify (sqrt (exp (/ -1 y))) into (sqrt (exp (/ -1 y))) 15.521 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 y))))) into 0 15.521 * [backup-simplify]: Simplify (log (sqrt (exp (/ -1 y)))) into (log (sqrt (exp (/ -1 y)))) 15.521 * [taylor]: Taking taylor expansion of y in y 15.521 * [backup-simplify]: Simplify 0 into 0 15.521 * [backup-simplify]: Simplify 1 into 1 15.521 * [backup-simplify]: Simplify (/ (log (sqrt (exp (/ -1 y)))) 1) into (log (sqrt (exp (/ -1 y)))) 15.521 * [backup-simplify]: Simplify (* -1 (log (sqrt (exp (/ -1 y))))) into (* -1 (log (sqrt (exp (/ -1 y))))) 15.521 * [backup-simplify]: Simplify (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) into (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 15.522 * [backup-simplify]: Simplify (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) into (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) 15.522 * [backup-simplify]: Simplify (* -1 (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))))) into (* -1 (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))))) 15.522 * [backup-simplify]: Simplify (* -1 (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))))) into (* -1 (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))))) 15.523 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (/ -1 y))) 1)))) 1) into 0 15.523 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 15.523 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (* 0 (log (sqrt (exp (/ -1 y)))))) into 0 15.523 * [backup-simplify]: Simplify (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) (+ (* (/ (pow 0 1) 1)))) into 0 15.524 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 15.524 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 1) 1)))) into 0 15.525 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ -1 y)) 1)))) 1) into 0 15.525 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1/2 y) (/ 0 y)))) into 0 15.525 * [backup-simplify]: Simplify (+ (* (/ -1/2 y) 0) (* 0 (/ -1 y))) into 0 15.525 * [backup-simplify]: Simplify (* (exp (/ 1/2 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0 15.526 * [backup-simplify]: Simplify (+ (* (exp (/ 1/2 (pow y 2))) 0) (* 0 (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))))) into 0 15.526 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) (/ 0 1)))) into 0 15.527 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))))) into 0 15.527 * [taylor]: Taking taylor expansion of 0 in y 15.527 * [backup-simplify]: Simplify 0 into 0 15.527 * [backup-simplify]: Simplify 0 into 0 15.527 * [backup-simplify]: Simplify (+ (* (exp (/ 1/2 (pow y 2))) 0) (* 0 (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))))) into 0 15.528 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))))) into 0 15.528 * [backup-simplify]: Simplify 0 into 0 15.528 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.529 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 15.529 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 y))))) into 0 15.530 * [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 15.530 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.531 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (* 0 (log (sqrt (exp (/ -1 y))))))) into 0 15.532 * [backup-simplify]: Simplify (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 15.532 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.532 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 15.534 * [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 15.534 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1/2 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.534 * [backup-simplify]: Simplify (+ (* (/ -1/2 y) 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0 15.535 * [backup-simplify]: Simplify (* (exp (/ 1/2 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 15.535 * [backup-simplify]: Simplify (+ (* (exp (/ 1/2 (pow y 2))) 0) (+ (* 0 0) (* 0 (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))))) into 0 15.536 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.537 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))))))) into 0 15.537 * [taylor]: Taking taylor expansion of 0 in y 15.537 * [backup-simplify]: Simplify 0 into 0 15.537 * [backup-simplify]: Simplify 0 into 0 15.537 * [backup-simplify]: Simplify 0 into 0 15.538 * [backup-simplify]: Simplify (+ (* (exp (/ 1/2 (pow y 2))) 0) (+ (* 0 0) (* 0 (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))))) into 0 15.538 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))))))) into 0 15.539 * [backup-simplify]: Simplify 0 into 0 15.539 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.540 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 15.543 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 y))))) into 0 15.545 * [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 15.545 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.546 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (sqrt (exp (/ -1 y)))))))) into 0 15.547 * [backup-simplify]: Simplify (* (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 15.547 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.548 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 15.550 * [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 15.550 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1/2 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.551 * [backup-simplify]: Simplify (+ (* (/ -1/2 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0 15.551 * [backup-simplify]: Simplify (* (exp (/ 1/2 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 15.552 * [backup-simplify]: Simplify (+ (* (exp (/ 1/2 (pow y 2))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))))))) into 0 15.554 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.554 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (exp (/ 1/2 (pow y 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))))))) into 0 15.554 * [taylor]: Taking taylor expansion of 0 in y 15.555 * [backup-simplify]: Simplify 0 into 0 15.555 * [backup-simplify]: Simplify 0 into 0 15.555 * [backup-simplify]: Simplify (* (* -1 (* (exp (/ 1/2 (pow (/ 1 (- y)) 2))) (exp (* -1 (/ (log (sqrt (exp (/ -1 (/ 1 (- y)))))) (/ 1 (- y))))))) (* 1 (/ 1 (/ 1 (- x))))) into (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* 1/2 (pow y 2))) x)) 15.555 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 15.555 * [backup-simplify]: Simplify (pow (exp y) (/ y 2)) into (pow (exp y) (* 1/2 y)) 15.555 * [approximate]: Taking taylor expansion of (pow (exp y) (* 1/2 y)) in (y) around 0 15.555 * [taylor]: Taking taylor expansion of (pow (exp y) (* 1/2 y)) in y 15.555 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 y) (log (exp y)))) in y 15.555 * [taylor]: Taking taylor expansion of (* (* 1/2 y) (log (exp y))) in y 15.555 * [taylor]: Taking taylor expansion of (* 1/2 y) in y 15.555 * [taylor]: Taking taylor expansion of 1/2 in y 15.555 * [backup-simplify]: Simplify 1/2 into 1/2 15.555 * [taylor]: Taking taylor expansion of y in y 15.555 * [backup-simplify]: Simplify 0 into 0 15.555 * [backup-simplify]: Simplify 1 into 1 15.555 * [taylor]: Taking taylor expansion of (log (exp y)) in y 15.555 * [taylor]: Taking taylor expansion of (exp y) in y 15.555 * [taylor]: Taking taylor expansion of y in y 15.555 * [backup-simplify]: Simplify 0 into 0 15.555 * [backup-simplify]: Simplify 1 into 1 15.555 * [backup-simplify]: Simplify (exp 0) into 1 15.556 * [backup-simplify]: Simplify (log 1) into 0 15.556 * [backup-simplify]: Simplify (* 1/2 0) into 0 15.556 * [backup-simplify]: Simplify (* 0 0) into 0 15.557 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 15.557 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 15.558 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 15.558 * [backup-simplify]: Simplify (+ (* 0 1) (* 1/2 0)) into 0 15.559 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 15.561 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 15.561 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0 15.562 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1/2 1) (* 0 0))) into 1/2 15.562 * [backup-simplify]: Simplify (exp 0) into 1 15.562 * [taylor]: Taking taylor expansion of (pow (exp y) (* 1/2 y)) in y 15.562 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 y) (log (exp y)))) in y 15.562 * [taylor]: Taking taylor expansion of (* (* 1/2 y) (log (exp y))) in y 15.562 * [taylor]: Taking taylor expansion of (* 1/2 y) in y 15.562 * [taylor]: Taking taylor expansion of 1/2 in y 15.562 * [backup-simplify]: Simplify 1/2 into 1/2 15.562 * [taylor]: Taking taylor expansion of y in y 15.562 * [backup-simplify]: Simplify 0 into 0 15.562 * [backup-simplify]: Simplify 1 into 1 15.562 * [taylor]: Taking taylor expansion of (log (exp y)) in y 15.562 * [taylor]: Taking taylor expansion of (exp y) in y 15.562 * [taylor]: Taking taylor expansion of y in y 15.562 * [backup-simplify]: Simplify 0 into 0 15.562 * [backup-simplify]: Simplify 1 into 1 15.562 * [backup-simplify]: Simplify (exp 0) into 1 15.562 * [backup-simplify]: Simplify (log 1) into 0 15.562 * [backup-simplify]: Simplify (* 1/2 0) into 0 15.563 * [backup-simplify]: Simplify (* 0 0) into 0 15.563 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 15.564 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 15.564 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 15.565 * [backup-simplify]: Simplify (+ (* 0 1) (* 1/2 0)) into 0 15.566 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 15.567 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 15.568 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0 15.568 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1/2 1) (* 0 0))) into 1/2 15.568 * [backup-simplify]: Simplify (exp 0) into 1 15.568 * [backup-simplify]: Simplify 1 into 1 15.569 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 15.569 * [backup-simplify]: Simplify 0 into 0 15.570 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1/2 1) 1)))) into 1/2 15.570 * [backup-simplify]: Simplify 1/2 into 1/2 15.572 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 15.574 * [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 15.575 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 15.576 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1/2 0) (+ (* 0 1) (* 0 0)))) into 0 15.577 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1/2 1) 1)) (* (/ (pow 0 1) 1)))) into 0 15.577 * [backup-simplify]: Simplify 0 into 0 15.579 * [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 15.585 * [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 15.586 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 15.587 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 15.589 * [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 15.589 * [backup-simplify]: Simplify 1/8 into 1/8 15.590 * [backup-simplify]: Simplify (+ (* 1/8 (pow y 4)) (+ (* 1/2 (pow y 2)) 1)) into (+ (* 1/2 (pow y 2)) (+ (* 1/8 (pow y 4)) 1)) 15.590 * [backup-simplify]: Simplify (pow (exp (/ 1 y)) (/ (/ 1 y) 2)) into (pow (exp (/ 1 y)) (/ 1/2 y)) 15.590 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1/2 y)) in (y) around 0 15.590 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1/2 y)) in y 15.590 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 y) (log (exp (/ 1 y))))) in y 15.590 * [taylor]: Taking taylor expansion of (* (/ 1/2 y) (log (exp (/ 1 y)))) in y 15.590 * [taylor]: Taking taylor expansion of (/ 1/2 y) in y 15.590 * [taylor]: Taking taylor expansion of 1/2 in y 15.590 * [backup-simplify]: Simplify 1/2 into 1/2 15.590 * [taylor]: Taking taylor expansion of y in y 15.590 * [backup-simplify]: Simplify 0 into 0 15.590 * [backup-simplify]: Simplify 1 into 1 15.590 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 15.590 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 15.590 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 15.590 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.590 * [taylor]: Taking taylor expansion of y in y 15.591 * [backup-simplify]: Simplify 0 into 0 15.591 * [backup-simplify]: Simplify 1 into 1 15.591 * [backup-simplify]: Simplify (/ 1 1) into 1 15.591 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 15.591 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 15.591 * [backup-simplify]: Simplify (* 1/2 (/ 1 y)) into (/ 1/2 y) 15.591 * [backup-simplify]: Simplify (exp (* (/ 1/2 y) (log (exp (/ 1 y))))) into (exp (/ 1/2 (pow y 2))) 15.591 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1/2 y)) in y 15.591 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 y) (log (exp (/ 1 y))))) in y 15.591 * [taylor]: Taking taylor expansion of (* (/ 1/2 y) (log (exp (/ 1 y)))) in y 15.591 * [taylor]: Taking taylor expansion of (/ 1/2 y) in y 15.591 * [taylor]: Taking taylor expansion of 1/2 in y 15.591 * [backup-simplify]: Simplify 1/2 into 1/2 15.591 * [taylor]: Taking taylor expansion of y in y 15.591 * [backup-simplify]: Simplify 0 into 0 15.591 * [backup-simplify]: Simplify 1 into 1 15.592 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 15.592 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 15.592 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 15.592 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.592 * [taylor]: Taking taylor expansion of y in y 15.592 * [backup-simplify]: Simplify 0 into 0 15.592 * [backup-simplify]: Simplify 1 into 1 15.592 * [backup-simplify]: Simplify (/ 1 1) into 1 15.592 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 15.592 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y) 15.592 * [backup-simplify]: Simplify (* 1/2 (/ 1 y)) into (/ 1/2 y) 15.592 * [backup-simplify]: Simplify (exp (* (/ 1/2 y) (log (exp (/ 1 y))))) into (exp (/ 1/2 (pow y 2))) 15.593 * [backup-simplify]: Simplify (exp (/ 1/2 (pow y 2))) into (exp (/ 1/2 (pow y 2))) 15.593 * [backup-simplify]: Simplify 0 into 0 15.593 * [backup-simplify]: Simplify 0 into 0 15.593 * [backup-simplify]: Simplify 0 into 0 15.593 * [backup-simplify]: Simplify 0 into 0 15.593 * [backup-simplify]: Simplify 0 into 0 15.593 * [backup-simplify]: Simplify 0 into 0 15.593 * [backup-simplify]: Simplify (exp (/ 1/2 (pow (/ 1 y) 2))) into (exp (* 1/2 (pow y 2))) 15.593 * [backup-simplify]: Simplify (pow (exp (/ 1 (- y))) (/ (/ 1 (- y)) 2)) into (pow (exp (/ -1 y)) (/ -1/2 y)) 15.593 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1/2 y)) in (y) around 0 15.593 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1/2 y)) in y 15.593 * [taylor]: Taking taylor expansion of (exp (* (/ -1/2 y) (log (exp (/ -1 y))))) in y 15.593 * [taylor]: Taking taylor expansion of (* (/ -1/2 y) (log (exp (/ -1 y)))) in y 15.593 * [taylor]: Taking taylor expansion of (/ -1/2 y) in y 15.593 * [taylor]: Taking taylor expansion of -1/2 in y 15.593 * [backup-simplify]: Simplify -1/2 into -1/2 15.593 * [taylor]: Taking taylor expansion of y in y 15.593 * [backup-simplify]: Simplify 0 into 0 15.593 * [backup-simplify]: Simplify 1 into 1 15.593 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2 15.593 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 15.593 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 15.594 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.594 * [taylor]: Taking taylor expansion of -1 in y 15.594 * [backup-simplify]: Simplify -1 into -1 15.594 * [taylor]: Taking taylor expansion of y in y 15.594 * [backup-simplify]: Simplify 0 into 0 15.594 * [backup-simplify]: Simplify 1 into 1 15.594 * [backup-simplify]: Simplify (/ -1 1) into -1 15.594 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 15.594 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 15.594 * [backup-simplify]: Simplify (* -1/2 (/ -1 y)) into (/ 1/2 y) 15.594 * [backup-simplify]: Simplify (exp (* (/ -1/2 y) (log (exp (/ -1 y))))) into (exp (/ 1/2 (pow y 2))) 15.594 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1/2 y)) in y 15.594 * [taylor]: Taking taylor expansion of (exp (* (/ -1/2 y) (log (exp (/ -1 y))))) in y 15.594 * [taylor]: Taking taylor expansion of (* (/ -1/2 y) (log (exp (/ -1 y)))) in y 15.594 * [taylor]: Taking taylor expansion of (/ -1/2 y) in y 15.594 * [taylor]: Taking taylor expansion of -1/2 in y 15.594 * [backup-simplify]: Simplify -1/2 into -1/2 15.594 * [taylor]: Taking taylor expansion of y in y 15.594 * [backup-simplify]: Simplify 0 into 0 15.594 * [backup-simplify]: Simplify 1 into 1 15.595 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2 15.595 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 15.595 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 15.595 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.595 * [taylor]: Taking taylor expansion of -1 in y 15.595 * [backup-simplify]: Simplify -1 into -1 15.595 * [taylor]: Taking taylor expansion of y in y 15.595 * [backup-simplify]: Simplify 0 into 0 15.595 * [backup-simplify]: Simplify 1 into 1 15.595 * [backup-simplify]: Simplify (/ -1 1) into -1 15.595 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 15.595 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y) 15.595 * [backup-simplify]: Simplify (* -1/2 (/ -1 y)) into (/ 1/2 y) 15.595 * [backup-simplify]: Simplify (exp (* (/ -1/2 y) (log (exp (/ -1 y))))) into (exp (/ 1/2 (pow y 2))) 15.596 * [backup-simplify]: Simplify (exp (/ 1/2 (pow y 2))) into (exp (/ 1/2 (pow y 2))) 15.596 * [backup-simplify]: Simplify 0 into 0 15.596 * [backup-simplify]: Simplify 0 into 0 15.596 * [backup-simplify]: Simplify 0 into 0 15.596 * [backup-simplify]: Simplify 0 into 0 15.596 * [backup-simplify]: Simplify 0 into 0 15.596 * [backup-simplify]: Simplify 0 into 0 15.596 * [backup-simplify]: Simplify (exp (/ 1/2 (pow (/ 1 (- y)) 2))) into (exp (* 1/2 (pow y 2))) 15.596 * * * [progress]: simplifying candidates 15.598 * [simplify]: Simplifying: (expm1 (pow (sqrt (exp y)) y)) (log1p (pow (sqrt (exp y)) 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)) (expm1 (* x (pow (sqrt (exp y)) y))) (log1p (* x (pow (sqrt (exp y)) y))) (+ (log x) (* (log (sqrt (exp y))) y)) (+ (log x) (* (log (sqrt (exp y))) y)) (+ (log x) (log (pow (sqrt (exp y)) y))) (log (* x (pow (sqrt (exp y)) y))) (exp (* x (pow (sqrt (exp y)) y))) (* (* (* x x) x) (* (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y))) (* (cbrt (* x (pow (sqrt (exp y)) y))) (cbrt (* x (pow (sqrt (exp y)) y)))) (cbrt (* x (pow (sqrt (exp y)) y))) (* (* (* x (pow (sqrt (exp y)) y)) (* x (pow (sqrt (exp y)) y))) (* x (pow (sqrt (exp y)) y))) (sqrt (* x (pow (sqrt (exp y)) y))) (sqrt (* x (pow (sqrt (exp y)) y))) (* (sqrt x) (pow (sqrt (sqrt (exp y))) y)) (* (sqrt x) (pow (sqrt (sqrt (exp y))) y)) (* (sqrt x) (pow (sqrt (sqrt (exp y))) y)) (* (sqrt x) (pow (sqrt (sqrt (exp y))) y)) (* (sqrt x) (sqrt (pow (sqrt (exp y)) y))) (* (sqrt x) (sqrt (pow (sqrt (exp y)) y))) (* (sqrt x) (pow (sqrt (exp y)) (/ y 2))) (* (sqrt x) (pow (sqrt (exp y)) (/ y 2))) (* x (pow (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) y)) (* x (pow (sqrt (* (cbrt (exp y)) (cbrt (exp y)))) y)) (* x (pow (sqrt (sqrt (exp y))) y)) (* x (pow (sqrt 1) y)) (* x (pow (sqrt (sqrt (exp y))) y)) (* x (pow 1 y)) (* x (* (cbrt (pow (sqrt (exp y)) y)) (cbrt (pow (sqrt (exp y)) y)))) (* x (sqrt (pow (sqrt (exp y)) y))) (* x 1) (* x (pow (sqrt (exp y)) (/ y 2))) (* (cbrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)) (* x (pow (sqrt (exp y)) y)) (expm1 (* (* x (pow (sqrt (exp y)) y)) (pow (exp y) (/ y 2)))) (log1p (* (* x (pow (sqrt (exp y)) y)) (pow (exp y) (/ y 2)))) (+ (+ (log x) (* (log (sqrt (exp y))) y)) (* y (/ y 2))) (+ (+ (log x) (* (log (sqrt (exp y))) y)) (* (log (exp y)) (/ y 2))) (+ (+ (log x) (* (log (sqrt (exp y))) y)) (log (pow (exp y) (/ y 2)))) (+ (+ (log x) (* (log (sqrt (exp y))) y)) (* y (/ y 2))) (+ (+ (log x) (* (log (sqrt (exp y))) y)) (* (log (exp y)) (/ y 2))) (+ (+ (log x) (* (log (sqrt (exp y))) y)) (log (pow (exp y) (/ y 2)))) (+ (+ (log x) (log (pow (sqrt (exp y)) y))) (* y (/ y 2))) (+ (+ (log x) (log (pow (sqrt (exp y)) y))) (* (log (exp y)) (/ y 2))) (+ (+ (log x) (log (pow (sqrt (exp y)) y))) (log (pow (exp y) (/ y 2)))) (+ (log (* x (pow (sqrt (exp y)) y))) (* y (/ y 2))) (+ (log (* x (pow (sqrt (exp y)) y))) (* (log (exp y)) (/ y 2))) (+ (log (* x (pow (sqrt (exp y)) y))) (log (pow (exp y) (/ y 2)))) (log (* (* x (pow (sqrt (exp y)) y)) (pow (exp y) (/ y 2)))) (exp (* (* x (pow (sqrt (exp y)) y)) (pow (exp y) (/ y 2)))) (* (* (* (* x x) x) (* (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y))) (* (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2))) (pow (exp y) (/ y 2)))) (* (* (* (* x (pow (sqrt (exp y)) y)) (* x (pow (sqrt (exp y)) y))) (* x (pow (sqrt (exp y)) y))) (* (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2))) (pow (exp y) (/ y 2)))) (* (cbrt (* (* x (pow (sqrt (exp y)) y)) (pow (exp y) (/ y 2)))) (cbrt (* (* x (pow (sqrt (exp y)) y)) (pow (exp y) (/ y 2))))) (cbrt (* (* x (pow (sqrt (exp y)) y)) (pow (exp y) (/ y 2)))) (* (* (* (* x (pow (sqrt (exp y)) y)) (pow (exp y) (/ y 2))) (* (* x (pow (sqrt (exp y)) y)) (pow (exp y) (/ y 2)))) (* (* x (pow (sqrt (exp y)) y)) (pow (exp y) (/ y 2)))) (sqrt (* (* x (pow (sqrt (exp y)) y)) (pow (exp y) (/ y 2)))) (sqrt (* (* x (pow (sqrt (exp y)) y)) (pow (exp y) (/ y 2)))) (* (* x (pow (sqrt (exp y)) y)) (pow (* (cbrt (exp y)) (cbrt (exp y))) (/ y 2))) (* (* x (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) (/ y 2))) (* (* x (pow (sqrt (exp y)) y)) (pow 1 (/ y 2))) (* (* x (pow (sqrt (exp y)) y)) (* (cbrt (pow (exp y) (/ y 2))) (cbrt (pow (exp y) (/ y 2))))) (* (* x (pow (sqrt (exp y)) y)) (sqrt (pow (exp y) (/ y 2)))) (* (* x (pow (sqrt (exp y)) y)) 1) (* (* x (pow (sqrt (exp y)) y)) (pow (exp y) (/ (/ y 2) 2))) (* (pow (sqrt (exp y)) y) (pow (exp y) (/ y 2))) (expm1 (pow (exp y) (/ y 2))) (log1p (pow (exp y) (/ y 2))) (* y (/ y 2)) (* (log (exp y)) (/ y 2)) (* 1 (/ y 2)) (* (cbrt y) (/ y 2)) (* (sqrt y) (/ y 2)) (* y (/ y 2)) (pow (exp y) (* (cbrt (/ y 2)) (cbrt (/ y 2)))) (pow (exp y) (sqrt (/ y 2))) (pow (exp y) (/ (* (cbrt y) (cbrt y)) (* (cbrt 2) (cbrt 2)))) (pow (exp y) (/ (* (cbrt y) (cbrt y)) (sqrt 2))) (pow (exp y) (/ (* (cbrt y) (cbrt y)) 1)) (pow (exp y) (/ (sqrt y) (* (cbrt 2) (cbrt 2)))) (pow (exp y) (/ (sqrt y) (sqrt 2))) (pow (exp y) (/ (sqrt y) 1)) (pow (exp y) (/ 1 (* (cbrt 2) (cbrt 2)))) (pow (exp y) (/ 1 (sqrt 2))) (pow (exp y) (/ 1 1)) (pow (exp y) 1) (pow (exp y) y) (pow (* (cbrt (exp y)) (cbrt (exp y))) (/ y 2)) (pow (cbrt (exp y)) (/ y 2)) (pow (sqrt (exp y)) (/ y 2)) (pow (sqrt (exp y)) (/ y 2)) (pow 1 (/ y 2)) (pow (exp y) (/ y 2)) (log (pow (exp y) (/ y 2))) (exp (pow (exp y) (/ y 2))) (* (cbrt (pow (exp y) (/ y 2))) (cbrt (pow (exp y) (/ y 2)))) (cbrt (pow (exp y) (/ y 2))) (* (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2))) (pow (exp y) (/ y 2))) (sqrt (pow (exp y) (/ y 2))) (sqrt (pow (exp y) (/ y 2))) (pow (exp y) (/ (/ y 2) 2)) (pow (exp y) (/ (/ y 2) 2)) (+ (* 1/2 (pow y 2)) (+ (* 1/8 (pow y 4)) 1)) (exp (* (log (sqrt (exp y))) y)) (exp (* (log (sqrt (exp y))) y)) x (* (exp (* (log (sqrt (exp y))) y)) x) (* (exp (* (log (sqrt (exp y))) y)) x) x (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* 1/2 (pow y 2))) x)) (* (exp (* (log (sqrt (exp y))) y)) (* (exp (* 1/2 (pow y 2))) x)) (+ (* 1/2 (pow y 2)) (+ (* 1/8 (pow y 4)) 1)) (exp (* 1/2 (pow y 2))) (exp (* 1/2 (pow y 2))) 15.600 * * [simplify]: Extracting # 0 : cost 0 15.600 * * [simplify]: Extracting # 1 : cost 0 15.600 * * [simplify]: Extracting # 2 : cost 0 15.601 * * [simplify]: Extracting # 3 : cost 0 15.601 * * [simplify]: Extracting # 4 : cost 0 15.601 * * [simplify]: Extracting # 5 : cost 0 15.602 * * [simplify]: Extracting # 6 : cost 0 15.602 * * [simplify]: iteration 0 : 174 enodes (cost 1528 ) 15.667 * * [simplify]: Extracting # 0 : cost 0 15.668 * * [simplify]: Extracting # 1 : cost 0 15.669 * * [simplify]: Extracting # 2 : cost 0 15.670 * * [simplify]: Extracting # 3 : cost 0 15.670 * * [simplify]: Extracting # 4 : cost 0 15.671 * * [simplify]: Extracting # 5 : cost 0 15.671 * * [simplify]: iteration 1 : 385 enodes (cost 1359 ) 15.840 * * [simplify]: Extracting # 0 : cost 0 15.842 * * [simplify]: Extracting # 1 : cost 0 15.844 * * [simplify]: Extracting # 2 : cost 0 15.845 * * [simplify]: Extracting # 3 : cost 0 15.847 * * [simplify]: Extracting # 4 : cost 0 15.848 * * [simplify]: iteration 2 : 1092 enodes (cost 1272 ) 17.178 * * [simplify]: Extracting # 0 : cost 0 17.189 * * [simplify]: Extracting # 1 : cost 0 17.197 * * [simplify]: Extracting # 2 : cost 0 17.206 * * [simplify]: Extracting # 3 : cost 0 17.210 * * [simplify]: Extracting # 4 : cost 0 17.215 * * [simplify]: iteration 3 : 3557 enodes (cost 1052 ) 19.614 * * [simplify]: Extracting # 0 : cost 0 19.628 * * [simplify]: Extracting # 1 : cost 0 19.634 * * [simplify]: Extracting # 2 : cost 0 19.639 * * [simplify]: Extracting # 3 : cost 0 19.646 * * [simplify]: Extracting # 4 : cost 0 19.652 * * [simplify]: iteration done: 5001 enodes (cost 1039 ) 19.653 * [simplify]: Simplified to: (expm1 (pow (sqrt (exp y)) y)) (log1p (pow (sqrt (exp y)) y)) (/ (pow y 2) 2) (/ (pow y 2) 2) (* y 1/2) y (* y 1/2) (* (/ (cbrt y) 2) y) (* (/ (sqrt y) 2) y) (/ (pow y 2) 2) (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) (exp (* (/ y 4) y)) (exp (* (/ y 4) y)) 1 (pow (sqrt (exp y)) y) (exp (* (/ y 4) y)) (exp (* (/ y 4) y)) 1 (pow (sqrt (exp y)) y) (/ (pow y 2) 2) (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 (pow (sqrt (exp y)) y) 3) (* y 1/2) (sqrt (pow (sqrt (exp y)) y)) (sqrt (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) (* y 1/2)) (pow (sqrt (exp y)) (* y 1/2)) (expm1 (* x (pow (sqrt (exp y)) y))) (log1p (* x (pow (sqrt (exp y)) y))) (fma 1/2 (pow y 2) (log x)) (fma 1/2 (pow y 2) (log x)) (fma 1/2 (pow y 2) (log x)) (fma 1/2 (pow y 2) (log x)) (exp (* x (pow (sqrt (exp y)) y))) (pow (* (pow (sqrt (exp y)) y) x) 3) (* (cbrt (* x (pow (sqrt (exp y)) y))) (cbrt (* x (pow (sqrt (exp y)) y)))) (cbrt (* x (pow (sqrt (exp y)) y))) (pow (* (pow (sqrt (exp y)) y) x) 3) (sqrt (* x (pow (sqrt (exp y)) y))) (sqrt (* x (pow (sqrt (exp y)) y))) (* (sqrt x) (pow (sqrt (sqrt (exp y))) y)) (* (sqrt x) (pow (sqrt (sqrt (exp y))) y)) (* (sqrt x) (pow (sqrt (sqrt (exp y))) y)) (* (sqrt x) (pow (sqrt (sqrt (exp y))) y)) (* (sqrt x) (sqrt (pow (sqrt (exp y)) y))) (* (sqrt x) (sqrt (pow (sqrt (exp y)) y))) (* (sqrt x) (pow (sqrt (exp y)) (/ y 2))) (* (sqrt x) (pow (sqrt (exp y)) (/ y 2))) (* x (pow (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) y)) (* x (pow (fabs (cbrt (exp y))) y)) (* x (exp (* (/ y 4) y))) x (* x (exp (* (/ y 4) y))) x (* x (* (cbrt (pow (sqrt (exp y)) y)) (cbrt (pow (sqrt (exp y)) y)))) (* (sqrt (pow (sqrt (exp y)) y)) x) x (* x (pow (sqrt (exp y)) (* y 1/2))) (* (cbrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (pow (sqrt (exp y)) y) x) (expm1 (* x (exp (pow y 2)))) (log1p (* x (exp (pow y 2)))) (+ (* y y) (log x)) (+ (* y y) (log x)) (+ (* y y) (log x)) (+ (* y y) (log x)) (+ (* y y) (log x)) (+ (* y y) (log x)) (+ (* y y) (log x)) (+ (* y y) (log x)) (+ (* y y) (log x)) (+ (* y y) (log x)) (+ (* y y) (log x)) (+ (* y y) (log x)) (+ (* y y) (log x)) (pow (exp x) (pow (exp y) y)) (pow (* x (exp (pow y 2))) 3) (pow (* x (exp (pow y 2))) 3) (* (cbrt (* x (exp (pow y 2)))) (cbrt (* x (exp (pow y 2))))) (cbrt (* x (exp (pow y 2)))) (pow (* x (exp (pow y 2))) 3) (sqrt (* x (exp (pow y 2)))) (sqrt (* x (exp (pow y 2)))) (* (* x (pow (sqrt (exp y)) y)) (pow (* (cbrt (exp y)) (cbrt (exp y))) (/ y 2))) (* x (pow (pow (sqrt (exp y)) (* y 1/2)) 3)) (* (pow (sqrt (exp y)) y) x) (* (* (pow (sqrt (exp y)) y) x) (* (cbrt (pow (sqrt (exp y)) y)) (cbrt (pow (sqrt (exp y)) y)))) (* (sqrt (pow (sqrt (exp y)) y)) (* x (pow (sqrt (exp y)) y))) (* (pow (sqrt (exp y)) y) x) (* x (pow (pow (exp y) (/ y 4)) 3)) (exp (pow y 2)) (expm1 (pow (sqrt (exp y)) y)) (log1p (pow (sqrt (exp y)) y)) (/ (pow y 2) 2) (/ (pow y 2) 2) (* y 1/2) (* (/ (cbrt y) 2) y) (* (/ (sqrt y) 2) y) (/ (pow y 2) 2) (pow (exp y) (* (cbrt (/ y 2)) (cbrt (/ y 2)))) (pow (exp y) (sqrt (/ y 2))) (pow (exp y) (/ (* (cbrt y) (cbrt y)) (* (cbrt 2) (cbrt 2)))) (pow (exp y) (/ (* (cbrt y) (cbrt y)) (sqrt 2))) (pow (exp y) (* (cbrt y) (cbrt y))) (pow (exp y) (/ (sqrt y) (* (cbrt 2) (cbrt 2)))) (pow (exp y) (/ (sqrt y) (sqrt 2))) (pow (exp y) (sqrt y)) (pow (exp y) (/ 1 (* (cbrt 2) (cbrt 2)))) (pow (exp y) (/ 1 (sqrt 2))) (exp y) (exp y) (exp (pow y 2)) (pow (* (cbrt (exp y)) (cbrt (exp y))) (* y 1/2)) (pow (cbrt (exp y)) (/ y 2)) (pow (sqrt (exp y)) (* y 1/2)) (pow (sqrt (exp y)) (* y 1/2)) 1 (pow (sqrt (exp y)) y) (/ (pow y 2) 2) (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 (pow (sqrt (exp y)) y) 3) (sqrt (pow (sqrt (exp y)) y)) (sqrt (pow (sqrt (exp y)) y)) (exp (* (/ y 4) y)) (exp (* (/ y 4) y)) (fma 1/2 (pow y 2) (fma 1/8 (pow y 4) 1)) (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y) x (* (pow (sqrt (exp y)) y) x) (* (pow (sqrt (exp y)) y) x) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) (fma 1/2 (pow y 2) (fma 1/8 (pow y 4) 1)) (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y) 19.654 * * * [progress]: adding candidates to table 20.028 * [progress]: [Phase 3 of 3] Extracting. 20.028 * * [regime]: Finding splitpoints for: (# #) 20.028 * * * [regime-changes]: Trying 2 branch expressions: (y x) 20.028 * * * * [regimes]: Trying to branch on y from (# #) 20.047 * * * * [regimes]: Trying to branch on x from (# #) 20.070 * * * [regime]: Found split indices: #