13.488 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.033 * * * [progress]: [2/2] Setting up program. 0.037 * [progress]: [Phase 2 of 3] Improving. 0.037 * [simplify]: Simplifying: (exp (* (* x y) y)) 0.037 * * [simplify]: Extracting # 0 : cost 0 0.037 * * [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 : 11 enodes (cost 6 ) 0.044 * * [simplify]: Extracting # 0 : cost 0 0.044 * * [simplify]: Extracting # 1 : cost 0 0.044 * * [simplify]: Extracting # 2 : cost 0 0.044 * * [simplify]: Extracting # 3 : cost 0 0.044 * * [simplify]: Extracting # 4 : cost 0 0.044 * * [simplify]: Extracting # 5 : cost 0 0.044 * * [simplify]: Extracting # 6 : cost 0 0.044 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 0.051 * * [simplify]: Extracting # 0 : cost 0 0.052 * * [simplify]: Extracting # 1 : cost 0 0.052 * * [simplify]: Extracting # 2 : cost 0 0.052 * * [simplify]: Extracting # 3 : cost 0 0.052 * * [simplify]: Extracting # 4 : cost 0 0.052 * * [simplify]: iteration 3 : 40 enodes (cost 6 ) 0.067 * * [simplify]: Extracting # 0 : cost 0 0.067 * * [simplify]: Extracting # 1 : cost 0 0.067 * * [simplify]: Extracting # 2 : cost 0 0.067 * * [simplify]: Extracting # 3 : cost 0 0.068 * * [simplify]: Extracting # 4 : cost 0 0.068 * * [simplify]: iteration 4 : 84 enodes (cost 6 ) 0.099 * * [simplify]: Extracting # 0 : cost 0 0.099 * * [simplify]: Extracting # 1 : cost 0 0.099 * * [simplify]: Extracting # 2 : cost 0 0.099 * * [simplify]: Extracting # 3 : cost 0 0.100 * * [simplify]: Extracting # 4 : cost 0 0.100 * * [simplify]: Extracting # 5 : cost 0 0.100 * * [simplify]: iteration 5 : 204 enodes (cost 6 ) 0.233 * * [simplify]: Extracting # 0 : cost 0 0.234 * * [simplify]: Extracting # 1 : cost 0 0.234 * * [simplify]: Extracting # 2 : cost 0 0.235 * * [simplify]: Extracting # 3 : cost 0 0.236 * * [simplify]: Extracting # 4 : cost 0 0.236 * * [simplify]: Extracting # 5 : cost 0 0.237 * * [simplify]: iteration 6 : 715 enodes (cost 6 ) 0.968 * * [simplify]: Extracting # 0 : cost 0 0.982 * * [simplify]: Extracting # 1 : cost 0 0.988 * * [simplify]: Extracting # 2 : cost 0 0.993 * * [simplify]: Extracting # 3 : cost 0 0.998 * * [simplify]: Extracting # 4 : cost 0 1.003 * * [simplify]: iteration done: 5001 enodes (cost 6 ) 1.003 * [simplify]: Simplified to: (exp (* (* x y) y)) 1.004 * * [progress]: iteration 1 / 4 1.004 * * * [progress]: picking best candidate 1.005 * * * * [pick]: Picked # 1.005 * * * [progress]: localizing error 1.012 * * * [progress]: generating rewritten candidates 1.012 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 1.041 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 1.051 * * * [progress]: generating series expansions 1.051 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 1.052 * [backup-simplify]: Simplify (* (* x y) y) into (* x (pow y 2)) 1.052 * [approximate]: Taking taylor expansion of (* x (pow y 2)) in (x y) around 0 1.052 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 1.052 * [taylor]: Taking taylor expansion of x in y 1.052 * [backup-simplify]: Simplify x into x 1.052 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.052 * [taylor]: Taking taylor expansion of y in y 1.052 * [backup-simplify]: Simplify 0 into 0 1.052 * [backup-simplify]: Simplify 1 into 1 1.052 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.052 * [taylor]: Taking taylor expansion of x in x 1.052 * [backup-simplify]: Simplify 0 into 0 1.052 * [backup-simplify]: Simplify 1 into 1 1.052 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.052 * [taylor]: Taking taylor expansion of y in x 1.052 * [backup-simplify]: Simplify y into y 1.052 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.052 * [taylor]: Taking taylor expansion of x in x 1.052 * [backup-simplify]: Simplify 0 into 0 1.052 * [backup-simplify]: Simplify 1 into 1 1.052 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.052 * [taylor]: Taking taylor expansion of y in x 1.052 * [backup-simplify]: Simplify y into y 1.052 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1.052 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0 1.052 * [taylor]: Taking taylor expansion of 0 in y 1.052 * [backup-simplify]: Simplify 0 into 0 1.052 * [backup-simplify]: Simplify 0 into 0 1.052 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 1.053 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2) 1.053 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.053 * [taylor]: Taking taylor expansion of y in y 1.053 * [backup-simplify]: Simplify 0 into 0 1.053 * [backup-simplify]: Simplify 1 into 1 1.053 * [backup-simplify]: Simplify (* 1 1) into 1 1.053 * [backup-simplify]: Simplify 1 into 1 1.053 * [backup-simplify]: Simplify 0 into 0 1.053 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1.054 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow y 2)))) into 0 1.054 * [taylor]: Taking taylor expansion of 0 in y 1.054 * [backup-simplify]: Simplify 0 into 0 1.054 * [backup-simplify]: Simplify 0 into 0 1.054 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.055 * [backup-simplify]: Simplify 0 into 0 1.055 * [backup-simplify]: Simplify 0 into 0 1.055 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 1.056 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 1.056 * [taylor]: Taking taylor expansion of 0 in y 1.056 * [backup-simplify]: Simplify 0 into 0 1.056 * [backup-simplify]: Simplify 0 into 0 1.056 * [backup-simplify]: Simplify 0 into 0 1.056 * [backup-simplify]: Simplify (* 1 (* (pow y 2) x)) into (* x (pow y 2)) 1.056 * [backup-simplify]: Simplify (* (* (/ 1 x) (/ 1 y)) (/ 1 y)) into (/ 1 (* x (pow y 2))) 1.056 * [approximate]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in (x y) around 0 1.056 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 1.056 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 1.056 * [taylor]: Taking taylor expansion of x in y 1.056 * [backup-simplify]: Simplify x into x 1.056 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.056 * [taylor]: Taking taylor expansion of y in y 1.056 * [backup-simplify]: Simplify 0 into 0 1.056 * [backup-simplify]: Simplify 1 into 1 1.057 * [backup-simplify]: Simplify (* 1 1) into 1 1.057 * [backup-simplify]: Simplify (* x 1) into x 1.057 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.057 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 1.057 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.057 * [taylor]: Taking taylor expansion of x in x 1.057 * [backup-simplify]: Simplify 0 into 0 1.057 * [backup-simplify]: Simplify 1 into 1 1.057 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.057 * [taylor]: Taking taylor expansion of y in x 1.057 * [backup-simplify]: Simplify y into y 1.057 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1.057 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0 1.057 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 1.057 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2) 1.057 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 1.057 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 1.057 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.057 * [taylor]: Taking taylor expansion of x in x 1.057 * [backup-simplify]: Simplify 0 into 0 1.057 * [backup-simplify]: Simplify 1 into 1 1.057 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.057 * [taylor]: Taking taylor expansion of y in x 1.058 * [backup-simplify]: Simplify y into y 1.058 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1.058 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0 1.058 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 1.058 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2) 1.058 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 1.058 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.058 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.058 * [taylor]: Taking taylor expansion of y in y 1.058 * [backup-simplify]: Simplify 0 into 0 1.058 * [backup-simplify]: Simplify 1 into 1 1.059 * [backup-simplify]: Simplify (* 1 1) into 1 1.059 * [backup-simplify]: Simplify (/ 1 1) into 1 1.059 * [backup-simplify]: Simplify 1 into 1 1.059 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1.060 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow y 2)))) into 0 1.060 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 1.060 * [taylor]: Taking taylor expansion of 0 in y 1.060 * [backup-simplify]: Simplify 0 into 0 1.060 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.061 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.061 * [backup-simplify]: Simplify 0 into 0 1.061 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 1.062 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 1.062 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 1.062 * [taylor]: Taking taylor expansion of 0 in y 1.062 * [backup-simplify]: Simplify 0 into 0 1.063 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.064 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.064 * [backup-simplify]: Simplify 0 into 0 1.065 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 1.066 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0 1.067 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 1.067 * [taylor]: Taking taylor expansion of 0 in y 1.067 * [backup-simplify]: Simplify 0 into 0 1.067 * [backup-simplify]: Simplify 0 into 0 1.068 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.069 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.069 * [backup-simplify]: Simplify 0 into 0 1.071 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 1.073 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))))) into 0 1.073 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 1.073 * [taylor]: Taking taylor expansion of 0 in y 1.073 * [backup-simplify]: Simplify 0 into 0 1.073 * [backup-simplify]: Simplify 0 into 0 1.073 * [backup-simplify]: Simplify 0 into 0 1.074 * [backup-simplify]: Simplify (* 1 (* (pow (/ 1 y) -2) (/ 1 (/ 1 x)))) into (* x (pow y 2)) 1.074 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- y))) into (/ -1 (* x (pow y 2))) 1.074 * [approximate]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in (x y) around 0 1.074 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 1.074 * [taylor]: Taking taylor expansion of -1 in y 1.074 * [backup-simplify]: Simplify -1 into -1 1.074 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 1.074 * [taylor]: Taking taylor expansion of x in y 1.074 * [backup-simplify]: Simplify x into x 1.074 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.074 * [taylor]: Taking taylor expansion of y in y 1.074 * [backup-simplify]: Simplify 0 into 0 1.074 * [backup-simplify]: Simplify 1 into 1 1.075 * [backup-simplify]: Simplify (* 1 1) into 1 1.075 * [backup-simplify]: Simplify (* x 1) into x 1.075 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 1.075 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 1.075 * [taylor]: Taking taylor expansion of -1 in x 1.075 * [backup-simplify]: Simplify -1 into -1 1.075 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.075 * [taylor]: Taking taylor expansion of x in x 1.075 * [backup-simplify]: Simplify 0 into 0 1.075 * [backup-simplify]: Simplify 1 into 1 1.075 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.075 * [taylor]: Taking taylor expansion of y in x 1.075 * [backup-simplify]: Simplify y into y 1.075 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1.075 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0 1.075 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 1.076 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2) 1.076 * [backup-simplify]: Simplify (/ -1 (pow y 2)) into (/ -1 (pow y 2)) 1.076 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 1.076 * [taylor]: Taking taylor expansion of -1 in x 1.076 * [backup-simplify]: Simplify -1 into -1 1.076 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.076 * [taylor]: Taking taylor expansion of x in x 1.076 * [backup-simplify]: Simplify 0 into 0 1.076 * [backup-simplify]: Simplify 1 into 1 1.076 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.076 * [taylor]: Taking taylor expansion of y in x 1.076 * [backup-simplify]: Simplify y into y 1.076 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1.076 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0 1.076 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 1.077 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2) 1.077 * [backup-simplify]: Simplify (/ -1 (pow y 2)) into (/ -1 (pow y 2)) 1.077 * [taylor]: Taking taylor expansion of (/ -1 (pow y 2)) in y 1.077 * [taylor]: Taking taylor expansion of -1 in y 1.077 * [backup-simplify]: Simplify -1 into -1 1.077 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.077 * [taylor]: Taking taylor expansion of y in y 1.077 * [backup-simplify]: Simplify 0 into 0 1.077 * [backup-simplify]: Simplify 1 into 1 1.077 * [backup-simplify]: Simplify (* 1 1) into 1 1.077 * [backup-simplify]: Simplify (/ -1 1) into -1 1.077 * [backup-simplify]: Simplify -1 into -1 1.078 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1.078 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow y 2)))) into 0 1.079 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ -1 (pow y 2)) (/ 0 (pow y 2))))) into 0 1.079 * [taylor]: Taking taylor expansion of 0 in y 1.079 * [backup-simplify]: Simplify 0 into 0 1.079 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.080 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1.080 * [backup-simplify]: Simplify 0 into 0 1.080 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 1.081 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 1.081 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ -1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 1.081 * [taylor]: Taking taylor expansion of 0 in y 1.081 * [backup-simplify]: Simplify 0 into 0 1.082 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.082 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.082 * [backup-simplify]: Simplify 0 into 0 1.083 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 1.084 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0 1.084 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ -1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 1.085 * [taylor]: Taking taylor expansion of 0 in y 1.085 * [backup-simplify]: Simplify 0 into 0 1.085 * [backup-simplify]: Simplify 0 into 0 1.085 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.086 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.086 * [backup-simplify]: Simplify 0 into 0 1.087 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 1.088 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))))) into 0 1.088 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ -1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 1.088 * [taylor]: Taking taylor expansion of 0 in y 1.088 * [backup-simplify]: Simplify 0 into 0 1.088 * [backup-simplify]: Simplify 0 into 0 1.088 * [backup-simplify]: Simplify 0 into 0 1.089 * [backup-simplify]: Simplify (* -1 (* (pow (/ 1 (- y)) -2) (/ 1 (/ 1 (- x))))) into (* x (pow y 2)) 1.089 * * * * [progress]: [ 2 / 2 ] generating series at (2) 1.089 * [backup-simplify]: Simplify (exp (* (* x y) y)) into (exp (* x (pow y 2))) 1.089 * [approximate]: Taking taylor expansion of (exp (* x (pow y 2))) in (x y) around 0 1.089 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in y 1.089 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 1.089 * [taylor]: Taking taylor expansion of x in y 1.089 * [backup-simplify]: Simplify x into x 1.089 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.089 * [taylor]: Taking taylor expansion of y in y 1.089 * [backup-simplify]: Simplify 0 into 0 1.089 * [backup-simplify]: Simplify 1 into 1 1.089 * [backup-simplify]: Simplify (* 1 1) into 1 1.089 * [backup-simplify]: Simplify (* x 1) into x 1.089 * [backup-simplify]: Simplify (exp 0) into 1 1.089 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x 1.089 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.089 * [taylor]: Taking taylor expansion of x in x 1.089 * [backup-simplify]: Simplify 0 into 0 1.089 * [backup-simplify]: Simplify 1 into 1 1.089 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.089 * [taylor]: Taking taylor expansion of y in x 1.089 * [backup-simplify]: Simplify y into y 1.089 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1.089 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0 1.090 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 1.090 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2) 1.090 * [backup-simplify]: Simplify (exp 0) into 1 1.090 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x 1.090 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.090 * [taylor]: Taking taylor expansion of x in x 1.090 * [backup-simplify]: Simplify 0 into 0 1.090 * [backup-simplify]: Simplify 1 into 1 1.090 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.090 * [taylor]: Taking taylor expansion of y in x 1.090 * [backup-simplify]: Simplify y into y 1.090 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1.090 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0 1.090 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 1.091 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2) 1.091 * [backup-simplify]: Simplify (exp 0) into 1 1.091 * [taylor]: Taking taylor expansion of 1 in y 1.091 * [backup-simplify]: Simplify 1 into 1 1.091 * [backup-simplify]: Simplify 1 into 1 1.091 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (pow y 2) 1) 1)))) into (pow y 2) 1.091 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.091 * [taylor]: Taking taylor expansion of y in y 1.091 * [backup-simplify]: Simplify 0 into 0 1.091 * [backup-simplify]: Simplify 1 into 1 1.091 * [backup-simplify]: Simplify 0 into 0 1.091 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1.092 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow y 2)))) into 0 1.092 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (pow y 2) 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow y 4)) 1.092 * [taylor]: Taking taylor expansion of (* 1/2 (pow y 4)) in y 1.092 * [taylor]: Taking taylor expansion of 1/2 in y 1.092 * [backup-simplify]: Simplify 1/2 into 1/2 1.092 * [taylor]: Taking taylor expansion of (pow y 4) in y 1.092 * [taylor]: Taking taylor expansion of y in y 1.092 * [backup-simplify]: Simplify 0 into 0 1.093 * [backup-simplify]: Simplify 1 into 1 1.093 * [backup-simplify]: Simplify 0 into 0 1.093 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 1.094 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 1.095 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (pow y 2) 3) 6)) (* (/ (pow (pow y 2) 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/6 (pow y 6)) 1.095 * [taylor]: Taking taylor expansion of (* 1/6 (pow y 6)) in y 1.095 * [taylor]: Taking taylor expansion of 1/6 in y 1.095 * [backup-simplify]: Simplify 1/6 into 1/6 1.095 * [taylor]: Taking taylor expansion of (pow y 6) in y 1.095 * [taylor]: Taking taylor expansion of y in y 1.095 * [backup-simplify]: Simplify 0 into 0 1.095 * [backup-simplify]: Simplify 1 into 1 1.095 * [backup-simplify]: Simplify (* 1 1) into 1 1.095 * [backup-simplify]: Simplify 1 into 1 1.095 * [backup-simplify]: Simplify 0 into 0 1.096 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 1.097 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0 1.099 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (pow y 2) 4) 24)) (* (/ (pow (pow y 2) 2) 2) (/ (pow 0 1) 1)) (* (/ (pow (pow y 2) 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/24 (pow y 8)) 1.099 * [taylor]: Taking taylor expansion of (* 1/24 (pow y 8)) in y 1.099 * [taylor]: Taking taylor expansion of 1/24 in y 1.099 * [backup-simplify]: Simplify 1/24 into 1/24 1.099 * [taylor]: Taking taylor expansion of (pow y 8) in y 1.099 * [taylor]: Taking taylor expansion of y in y 1.099 * [backup-simplify]: Simplify 0 into 0 1.099 * [backup-simplify]: Simplify 1 into 1 1.099 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.099 * [backup-simplify]: Simplify 0 into 0 1.099 * [backup-simplify]: Simplify 0 into 0 1.100 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 1.101 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))))) into 0 1.104 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (pow y 2) 5) 120)) (* (/ (pow (pow y 2) 3) 6) (/ (pow 0 1) 1)) (* (/ (pow (pow y 2) 2) 2) (/ (pow 0 1) 1)) (* (/ (pow (pow y 2) 1) 1) (/ (pow 0 2) 2)) (* (/ (pow (pow y 2) 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/120 (pow y 10)) 1.104 * [taylor]: Taking taylor expansion of (* 1/120 (pow y 10)) in y 1.104 * [taylor]: Taking taylor expansion of 1/120 in y 1.104 * [backup-simplify]: Simplify 1/120 into 1/120 1.104 * [taylor]: Taking taylor expansion of (pow y 10) in y 1.104 * [taylor]: Taking taylor expansion of y in y 1.104 * [backup-simplify]: Simplify 0 into 0 1.104 * [backup-simplify]: Simplify 1 into 1 1.105 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.105 * [backup-simplify]: Simplify 0 into 0 1.105 * [backup-simplify]: Simplify 0 into 0 1.106 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))))) into 0 1.113 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))))) into 0 1.122 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (pow y 2) 6) 720)) (* (/ (pow (pow y 2) 4) 24) (/ (pow 0 1) 1)) (* (/ (pow (pow y 2) 3) 6) (/ (pow 0 1) 1)) (* (/ (pow (pow y 2) 2) 2) (/ (pow 0 2) 2)) (* (/ (pow (pow y 2) 2) 2) (/ (pow 0 1) 1)) (* (/ (pow (pow y 2) 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow (pow y 2) 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/720 (pow y 12)) 1.122 * [taylor]: Taking taylor expansion of (* 1/720 (pow y 12)) in y 1.122 * [taylor]: Taking taylor expansion of 1/720 in y 1.122 * [backup-simplify]: Simplify 1/720 into 1/720 1.122 * [taylor]: Taking taylor expansion of (pow y 12) in y 1.122 * [taylor]: Taking taylor expansion of y in y 1.122 * [backup-simplify]: Simplify 0 into 0 1.122 * [backup-simplify]: Simplify 1 into 1 1.122 * [backup-simplify]: Simplify (* 1 1) into 1 1.123 * [backup-simplify]: Simplify (* 1 1) into 1 1.123 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1.123 * [backup-simplify]: Simplify 1/2 into 1/2 1.124 * [backup-simplify]: Simplify (+ (* 1/2 (pow (* (pow y 2) x) 2)) (+ (* 1 (* (pow y 2) x)) 1)) into (+ (* x (pow y 2)) (+ (* 1/2 (* (pow x 2) (pow y 4))) 1)) 1.124 * [backup-simplify]: Simplify (exp (* (* (/ 1 x) (/ 1 y)) (/ 1 y))) into (exp (/ 1 (* x (pow y 2)))) 1.124 * [approximate]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in (x y) around 0 1.124 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y 1.124 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 1.124 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 1.124 * [taylor]: Taking taylor expansion of x in y 1.125 * [backup-simplify]: Simplify x into x 1.125 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.125 * [taylor]: Taking taylor expansion of y in y 1.125 * [backup-simplify]: Simplify 0 into 0 1.125 * [backup-simplify]: Simplify 1 into 1 1.125 * [backup-simplify]: Simplify (* 1 1) into 1 1.125 * [backup-simplify]: Simplify (* x 1) into x 1.125 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.125 * [backup-simplify]: Simplify (exp (/ 1 (* x (pow y 2)))) into (exp (/ 1 (* x (pow y 2)))) 1.126 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x 1.126 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 1.126 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.126 * [taylor]: Taking taylor expansion of x in x 1.126 * [backup-simplify]: Simplify 0 into 0 1.126 * [backup-simplify]: Simplify 1 into 1 1.126 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.126 * [taylor]: Taking taylor expansion of y in x 1.126 * [backup-simplify]: Simplify y into y 1.126 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1.126 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0 1.126 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 1.127 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2) 1.127 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 1.127 * [backup-simplify]: Simplify (exp (/ 1 (* x (pow y 2)))) into (exp (/ 1 (* x (pow y 2)))) 1.127 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x 1.127 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 1.127 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.127 * [taylor]: Taking taylor expansion of x in x 1.127 * [backup-simplify]: Simplify 0 into 0 1.127 * [backup-simplify]: Simplify 1 into 1 1.127 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.127 * [taylor]: Taking taylor expansion of y in x 1.127 * [backup-simplify]: Simplify y into y 1.127 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1.127 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0 1.128 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 1.128 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2) 1.128 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 1.128 * [backup-simplify]: Simplify (exp (/ 1 (* x (pow y 2)))) into (exp (/ 1 (* x (pow y 2)))) 1.129 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y 1.129 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 1.129 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 1.129 * [taylor]: Taking taylor expansion of x in y 1.129 * [backup-simplify]: Simplify x into x 1.129 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.129 * [taylor]: Taking taylor expansion of y in y 1.129 * [backup-simplify]: Simplify 0 into 0 1.129 * [backup-simplify]: Simplify 1 into 1 1.129 * [backup-simplify]: Simplify (* 1 1) into 1 1.129 * [backup-simplify]: Simplify (* x 1) into x 1.129 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.129 * [backup-simplify]: Simplify (exp (/ 1 (* x (pow y 2)))) into (exp (/ 1 (* x (pow y 2)))) 1.130 * [backup-simplify]: Simplify (exp (/ 1 (* x (pow y 2)))) into (exp (/ 1 (* x (pow y 2)))) 1.130 * [taylor]: Taking taylor expansion of 0 in y 1.130 * [backup-simplify]: Simplify 0 into 0 1.130 * [backup-simplify]: Simplify 0 into 0 1.130 * [backup-simplify]: Simplify 0 into 0 1.130 * [taylor]: Taking taylor expansion of 0 in y 1.130 * [backup-simplify]: Simplify 0 into 0 1.130 * [backup-simplify]: Simplify 0 into 0 1.130 * [backup-simplify]: Simplify 0 into 0 1.130 * [backup-simplify]: Simplify 0 into 0 1.130 * [taylor]: Taking taylor expansion of 0 in y 1.130 * [backup-simplify]: Simplify 0 into 0 1.130 * [backup-simplify]: Simplify 0 into 0 1.130 * [backup-simplify]: Simplify (exp (/ 1 (* (/ 1 x) (pow (/ 1 y) 2)))) into (exp (* x (pow y 2))) 1.131 * [backup-simplify]: Simplify (exp (* (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- y)))) into (exp (/ -1 (* x (pow y 2)))) 1.131 * [approximate]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in (x y) around 0 1.131 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y 1.131 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 1.131 * [taylor]: Taking taylor expansion of -1 in y 1.131 * [backup-simplify]: Simplify -1 into -1 1.131 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 1.131 * [taylor]: Taking taylor expansion of x in y 1.131 * [backup-simplify]: Simplify x into x 1.131 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.131 * [taylor]: Taking taylor expansion of y in y 1.131 * [backup-simplify]: Simplify 0 into 0 1.131 * [backup-simplify]: Simplify 1 into 1 1.132 * [backup-simplify]: Simplify (* 1 1) into 1 1.132 * [backup-simplify]: Simplify (* x 1) into x 1.132 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 1.132 * [backup-simplify]: Simplify (exp (/ -1 (* x (pow y 2)))) into (exp (/ -1 (* x (pow y 2)))) 1.132 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x 1.132 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 1.132 * [taylor]: Taking taylor expansion of -1 in x 1.132 * [backup-simplify]: Simplify -1 into -1 1.132 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.132 * [taylor]: Taking taylor expansion of x in x 1.132 * [backup-simplify]: Simplify 0 into 0 1.132 * [backup-simplify]: Simplify 1 into 1 1.132 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.132 * [taylor]: Taking taylor expansion of y in x 1.132 * [backup-simplify]: Simplify y into y 1.132 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1.132 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0 1.133 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 1.133 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2) 1.133 * [backup-simplify]: Simplify (/ -1 (pow y 2)) into (/ -1 (pow y 2)) 1.133 * [backup-simplify]: Simplify (exp (/ -1 (* x (pow y 2)))) into (exp (/ -1 (* x (pow y 2)))) 1.133 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x 1.134 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 1.134 * [taylor]: Taking taylor expansion of -1 in x 1.134 * [backup-simplify]: Simplify -1 into -1 1.134 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.134 * [taylor]: Taking taylor expansion of x in x 1.134 * [backup-simplify]: Simplify 0 into 0 1.134 * [backup-simplify]: Simplify 1 into 1 1.134 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.134 * [taylor]: Taking taylor expansion of y in x 1.134 * [backup-simplify]: Simplify y into y 1.134 * [backup-simplify]: Simplify (* y y) into (pow y 2) 1.134 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0 1.134 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 1.135 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2) 1.135 * [backup-simplify]: Simplify (/ -1 (pow y 2)) into (/ -1 (pow y 2)) 1.135 * [backup-simplify]: Simplify (exp (/ -1 (* x (pow y 2)))) into (exp (/ -1 (* x (pow y 2)))) 1.135 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y 1.135 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 1.135 * [taylor]: Taking taylor expansion of -1 in y 1.135 * [backup-simplify]: Simplify -1 into -1 1.135 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 1.135 * [taylor]: Taking taylor expansion of x in y 1.135 * [backup-simplify]: Simplify x into x 1.135 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.135 * [taylor]: Taking taylor expansion of y in y 1.135 * [backup-simplify]: Simplify 0 into 0 1.135 * [backup-simplify]: Simplify 1 into 1 1.136 * [backup-simplify]: Simplify (* 1 1) into 1 1.136 * [backup-simplify]: Simplify (* x 1) into x 1.136 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 1.136 * [backup-simplify]: Simplify (exp (/ -1 (* x (pow y 2)))) into (exp (/ -1 (* x (pow y 2)))) 1.136 * [backup-simplify]: Simplify (exp (/ -1 (* x (pow y 2)))) into (exp (/ -1 (* x (pow y 2)))) 1.136 * [taylor]: Taking taylor expansion of 0 in y 1.136 * [backup-simplify]: Simplify 0 into 0 1.137 * [backup-simplify]: Simplify 0 into 0 1.137 * [backup-simplify]: Simplify 0 into 0 1.137 * [taylor]: Taking taylor expansion of 0 in y 1.137 * [backup-simplify]: Simplify 0 into 0 1.137 * [backup-simplify]: Simplify 0 into 0 1.137 * [backup-simplify]: Simplify 0 into 0 1.137 * [backup-simplify]: Simplify 0 into 0 1.137 * [taylor]: Taking taylor expansion of 0 in y 1.137 * [backup-simplify]: Simplify 0 into 0 1.137 * [backup-simplify]: Simplify 0 into 0 1.137 * [backup-simplify]: Simplify (exp (/ -1 (* (/ 1 (- x)) (pow (/ 1 (- y)) 2)))) into (exp (* x (pow y 2))) 1.137 * * * [progress]: simplifying candidates 1.138 * [simplify]: Simplifying: (expm1 (* (* x y) y)) (log1p (* (* x y) y)) (* (* x y) y) (* (* x y) y) (+ (+ (log x) (log y)) (log y)) (+ (log (* x y)) (log y)) (log (* (* x y) y)) (exp (* (* x y) y)) (* (* (* (* x x) x) (* (* y y) y)) (* (* y y) y)) (* (* (* (* x y) (* x y)) (* x y)) (* (* y y) y)) (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y))) (cbrt (* (* x y) y)) (* (* (* (* x y) y) (* (* x y) y)) (* (* x y) y)) (sqrt (* (* x y) y)) (sqrt (* (* x y) y)) (* (* x y) (* (cbrt y) (cbrt y))) (* (* x y) (sqrt y)) (* (* x y) 1) (* y y) (expm1 (exp (* (* x y) y))) (log1p (exp (* (* x y) y))) (exp (* x y)) (log (exp (* (* x y) y))) (exp (exp (* (* x y) y))) (* (cbrt (exp (* (* x y) y))) (cbrt (exp (* (* x y) y)))) (cbrt (exp (* (* x y) y))) (* (* (exp (* (* x y) y)) (exp (* (* x y) y))) (exp (* (* x y) y))) (sqrt (exp (* (* x y) y))) (sqrt (exp (* (* x y) y))) (* x (pow y 2)) (* x (pow y 2)) (* x (pow y 2)) (+ (* x (pow y 2)) (+ (* 1/2 (* (pow x 2) (pow y 4))) 1)) (exp (* x (pow y 2))) (exp (* x (pow y 2))) 1.139 * * [simplify]: Extracting # 0 : cost 0 1.140 * * [simplify]: Extracting # 1 : cost 0 1.140 * * [simplify]: Extracting # 2 : cost 0 1.140 * * [simplify]: Extracting # 3 : cost 0 1.140 * * [simplify]: Extracting # 4 : cost 0 1.140 * * [simplify]: Extracting # 5 : cost 0 1.140 * * [simplify]: Extracting # 6 : cost 0 1.140 * * [simplify]: Extracting # 7 : cost 0 1.141 * * [simplify]: Extracting # 8 : cost 0 1.141 * * [simplify]: Extracting # 9 : cost 0 1.141 * * [simplify]: Extracting # 10 : cost 0 1.141 * * [simplify]: Extracting # 11 : cost 0 1.141 * * [simplify]: iteration 0 : 57 enodes (cost 286 ) 1.161 * * [simplify]: Extracting # 0 : cost 0 1.161 * * [simplify]: Extracting # 1 : cost 0 1.161 * * [simplify]: Extracting # 2 : cost 0 1.161 * * [simplify]: Extracting # 3 : cost 0 1.162 * * [simplify]: iteration 1 : 145 enodes (cost 276 ) 1.361 * * [simplify]: Extracting # 0 : cost 0 1.364 * * [simplify]: Extracting # 1 : cost 0 1.366 * * [simplify]: Extracting # 2 : cost 0 1.368 * * [simplify]: Extracting # 3 : cost 0 1.371 * * [simplify]: Extracting # 4 : cost 0 1.373 * * [simplify]: iteration 2 : 1060 enodes (cost 239 ) 2.212 * * [simplify]: Extracting # 0 : cost 0 2.222 * * [simplify]: Extracting # 1 : cost 0 2.228 * * [simplify]: Extracting # 2 : cost 0 2.233 * * [simplify]: Extracting # 3 : cost 0 2.239 * * [simplify]: Extracting # 4 : cost 0 2.248 * * [simplify]: iteration done: 5000 enodes (cost 237 ) 2.248 * [simplify]: Simplified to: (expm1 (* (* x y) y)) (log1p (* (* x y) y)) (* y (* x y)) (* y (* x y)) (log (* x (pow y 2))) (log (* x (pow y 2))) (log (* x (pow y 2))) (exp (* x (pow y 2))) (* (pow x 3) (pow y (* 2 3))) (pow (* x (pow y 2)) 3) (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y))) (cbrt (* (* x y) y)) (pow (* x (pow y 2)) 3) (sqrt (* (* x y) y)) (sqrt (* (* x y) y)) (* (* (cbrt y) (cbrt y)) (* x y)) (* (sqrt y) (* x y)) (* x y) (* y y) (expm1 (exp (* (* x y) y))) (log1p (exp (* (* x y) y))) (exp (* x y)) (* y (* x y)) (exp (exp (* (* x y) y))) (* (cbrt (exp (* (* x y) y))) (cbrt (exp (* (* x y) y)))) (cbrt (exp (* (* x y) y))) (pow (exp (* x (pow y 2))) 3) (sqrt (exp (* (* x y) y))) (sqrt (exp (* (* x y) y))) (* y (* x y)) (* y (* x y)) (* y (* x y)) (fma x (* y y) (fma 1/2 (* (pow x 2) (pow y 4)) 1)) (exp (* x (pow y 2))) (exp (* x (pow y 2))) 2.248 * * * [progress]: adding candidates to table 2.360 * * [progress]: iteration 2 / 4 2.360 * * * [progress]: picking best candidate 2.363 * * * * [pick]: Picked # 2.363 * * * [progress]: localizing error 2.380 * * * [progress]: generating rewritten candidates 2.380 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1) 2.415 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 2.429 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 2.431 * * * [progress]: generating series expansions 2.431 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1) 2.431 * [backup-simplify]: Simplify (* (* x y) y) into (* x (pow y 2)) 2.431 * [approximate]: Taking taylor expansion of (* x (pow y 2)) in (x y) around 0 2.431 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 2.431 * [taylor]: Taking taylor expansion of x in y 2.431 * [backup-simplify]: Simplify x into x 2.431 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.431 * [taylor]: Taking taylor expansion of y in y 2.431 * [backup-simplify]: Simplify 0 into 0 2.431 * [backup-simplify]: Simplify 1 into 1 2.431 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 2.431 * [taylor]: Taking taylor expansion of x in x 2.431 * [backup-simplify]: Simplify 0 into 0 2.431 * [backup-simplify]: Simplify 1 into 1 2.431 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.431 * [taylor]: Taking taylor expansion of y in x 2.431 * [backup-simplify]: Simplify y into y 2.431 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 2.431 * [taylor]: Taking taylor expansion of x in x 2.431 * [backup-simplify]: Simplify 0 into 0 2.431 * [backup-simplify]: Simplify 1 into 1 2.431 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.431 * [taylor]: Taking taylor expansion of y in x 2.431 * [backup-simplify]: Simplify y into y 2.432 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.432 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0 2.432 * [taylor]: Taking taylor expansion of 0 in y 2.432 * [backup-simplify]: Simplify 0 into 0 2.432 * [backup-simplify]: Simplify 0 into 0 2.432 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.433 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2) 2.433 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.433 * [taylor]: Taking taylor expansion of y in y 2.433 * [backup-simplify]: Simplify 0 into 0 2.433 * [backup-simplify]: Simplify 1 into 1 2.433 * [backup-simplify]: Simplify (* 1 1) into 1 2.433 * [backup-simplify]: Simplify 1 into 1 2.433 * [backup-simplify]: Simplify 0 into 0 2.434 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 2.434 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow y 2)))) into 0 2.434 * [taylor]: Taking taylor expansion of 0 in y 2.434 * [backup-simplify]: Simplify 0 into 0 2.434 * [backup-simplify]: Simplify 0 into 0 2.435 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.435 * [backup-simplify]: Simplify 0 into 0 2.435 * [backup-simplify]: Simplify 0 into 0 2.436 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 2.437 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 2.437 * [taylor]: Taking taylor expansion of 0 in y 2.437 * [backup-simplify]: Simplify 0 into 0 2.437 * [backup-simplify]: Simplify 0 into 0 2.437 * [backup-simplify]: Simplify 0 into 0 2.437 * [backup-simplify]: Simplify (* 1 (* (pow y 2) x)) into (* x (pow y 2)) 2.438 * [backup-simplify]: Simplify (* (* (/ 1 x) (/ 1 y)) (/ 1 y)) into (/ 1 (* x (pow y 2))) 2.438 * [approximate]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in (x y) around 0 2.438 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 2.438 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 2.438 * [taylor]: Taking taylor expansion of x in y 2.438 * [backup-simplify]: Simplify x into x 2.438 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.438 * [taylor]: Taking taylor expansion of y in y 2.438 * [backup-simplify]: Simplify 0 into 0 2.438 * [backup-simplify]: Simplify 1 into 1 2.438 * [backup-simplify]: Simplify (* 1 1) into 1 2.438 * [backup-simplify]: Simplify (* x 1) into x 2.438 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.438 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 2.438 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 2.438 * [taylor]: Taking taylor expansion of x in x 2.438 * [backup-simplify]: Simplify 0 into 0 2.438 * [backup-simplify]: Simplify 1 into 1 2.438 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.438 * [taylor]: Taking taylor expansion of y in x 2.438 * [backup-simplify]: Simplify y into y 2.439 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.439 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0 2.439 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.439 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2) 2.439 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 2.439 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 2.440 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 2.440 * [taylor]: Taking taylor expansion of x in x 2.440 * [backup-simplify]: Simplify 0 into 0 2.440 * [backup-simplify]: Simplify 1 into 1 2.440 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.440 * [taylor]: Taking taylor expansion of y in x 2.440 * [backup-simplify]: Simplify y into y 2.440 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.440 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0 2.440 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.440 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2) 2.441 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 2.441 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.441 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.441 * [taylor]: Taking taylor expansion of y in y 2.441 * [backup-simplify]: Simplify 0 into 0 2.441 * [backup-simplify]: Simplify 1 into 1 2.441 * [backup-simplify]: Simplify (* 1 1) into 1 2.441 * [backup-simplify]: Simplify (/ 1 1) into 1 2.441 * [backup-simplify]: Simplify 1 into 1 2.442 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 2.443 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow y 2)))) into 0 2.443 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 2.443 * [taylor]: Taking taylor expansion of 0 in y 2.443 * [backup-simplify]: Simplify 0 into 0 2.444 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.445 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.445 * [backup-simplify]: Simplify 0 into 0 2.445 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 2.446 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 2.447 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 2.447 * [taylor]: Taking taylor expansion of 0 in y 2.447 * [backup-simplify]: Simplify 0 into 0 2.448 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.448 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.449 * [backup-simplify]: Simplify 0 into 0 2.450 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 2.451 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0 2.451 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 2.451 * [taylor]: Taking taylor expansion of 0 in y 2.451 * [backup-simplify]: Simplify 0 into 0 2.452 * [backup-simplify]: Simplify 0 into 0 2.452 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.453 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.453 * [backup-simplify]: Simplify 0 into 0 2.455 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 2.456 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))))) into 0 2.457 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 2.457 * [taylor]: Taking taylor expansion of 0 in y 2.457 * [backup-simplify]: Simplify 0 into 0 2.457 * [backup-simplify]: Simplify 0 into 0 2.457 * [backup-simplify]: Simplify 0 into 0 2.457 * [backup-simplify]: Simplify (* 1 (* (pow (/ 1 y) -2) (/ 1 (/ 1 x)))) into (* x (pow y 2)) 2.458 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- y))) into (/ -1 (* x (pow y 2))) 2.458 * [approximate]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in (x y) around 0 2.458 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 2.458 * [taylor]: Taking taylor expansion of -1 in y 2.458 * [backup-simplify]: Simplify -1 into -1 2.458 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 2.458 * [taylor]: Taking taylor expansion of x in y 2.458 * [backup-simplify]: Simplify x into x 2.458 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.458 * [taylor]: Taking taylor expansion of y in y 2.458 * [backup-simplify]: Simplify 0 into 0 2.458 * [backup-simplify]: Simplify 1 into 1 2.458 * [backup-simplify]: Simplify (* 1 1) into 1 2.459 * [backup-simplify]: Simplify (* x 1) into x 2.459 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.459 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 2.459 * [taylor]: Taking taylor expansion of -1 in x 2.459 * [backup-simplify]: Simplify -1 into -1 2.459 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 2.459 * [taylor]: Taking taylor expansion of x in x 2.459 * [backup-simplify]: Simplify 0 into 0 2.459 * [backup-simplify]: Simplify 1 into 1 2.459 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.459 * [taylor]: Taking taylor expansion of y in x 2.459 * [backup-simplify]: Simplify y into y 2.459 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.459 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0 2.459 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.460 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2) 2.460 * [backup-simplify]: Simplify (/ -1 (pow y 2)) into (/ -1 (pow y 2)) 2.460 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 2.460 * [taylor]: Taking taylor expansion of -1 in x 2.460 * [backup-simplify]: Simplify -1 into -1 2.460 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 2.460 * [taylor]: Taking taylor expansion of x in x 2.460 * [backup-simplify]: Simplify 0 into 0 2.460 * [backup-simplify]: Simplify 1 into 1 2.460 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.460 * [taylor]: Taking taylor expansion of y in x 2.460 * [backup-simplify]: Simplify y into y 2.460 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.460 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0 2.460 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.461 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2) 2.461 * [backup-simplify]: Simplify (/ -1 (pow y 2)) into (/ -1 (pow y 2)) 2.461 * [taylor]: Taking taylor expansion of (/ -1 (pow y 2)) in y 2.461 * [taylor]: Taking taylor expansion of -1 in y 2.461 * [backup-simplify]: Simplify -1 into -1 2.461 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.461 * [taylor]: Taking taylor expansion of y in y 2.461 * [backup-simplify]: Simplify 0 into 0 2.461 * [backup-simplify]: Simplify 1 into 1 2.461 * [backup-simplify]: Simplify (* 1 1) into 1 2.462 * [backup-simplify]: Simplify (/ -1 1) into -1 2.462 * [backup-simplify]: Simplify -1 into -1 2.462 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 2.463 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow y 2)))) into 0 2.463 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ -1 (pow y 2)) (/ 0 (pow y 2))))) into 0 2.463 * [taylor]: Taking taylor expansion of 0 in y 2.463 * [backup-simplify]: Simplify 0 into 0 2.464 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.465 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 2.465 * [backup-simplify]: Simplify 0 into 0 2.466 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 2.467 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 2.467 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ -1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 2.467 * [taylor]: Taking taylor expansion of 0 in y 2.467 * [backup-simplify]: Simplify 0 into 0 2.468 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.469 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.469 * [backup-simplify]: Simplify 0 into 0 2.470 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 2.471 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0 2.472 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ -1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 2.472 * [taylor]: Taking taylor expansion of 0 in y 2.472 * [backup-simplify]: Simplify 0 into 0 2.472 * [backup-simplify]: Simplify 0 into 0 2.473 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.474 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.474 * [backup-simplify]: Simplify 0 into 0 2.475 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 2.477 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))))) into 0 2.478 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ -1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 2.478 * [taylor]: Taking taylor expansion of 0 in y 2.478 * [backup-simplify]: Simplify 0 into 0 2.478 * [backup-simplify]: Simplify 0 into 0 2.478 * [backup-simplify]: Simplify 0 into 0 2.478 * [backup-simplify]: Simplify (* -1 (* (pow (/ 1 (- y)) -2) (/ 1 (/ 1 (- x))))) into (* x (pow y 2)) 2.478 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 2.478 * [backup-simplify]: Simplify (exp (* (* x y) y)) into (exp (* x (pow y 2))) 2.478 * [approximate]: Taking taylor expansion of (exp (* x (pow y 2))) in (x y) around 0 2.478 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in y 2.478 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 2.478 * [taylor]: Taking taylor expansion of x in y 2.478 * [backup-simplify]: Simplify x into x 2.478 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.478 * [taylor]: Taking taylor expansion of y in y 2.478 * [backup-simplify]: Simplify 0 into 0 2.478 * [backup-simplify]: Simplify 1 into 1 2.479 * [backup-simplify]: Simplify (* 1 1) into 1 2.479 * [backup-simplify]: Simplify (* x 1) into x 2.479 * [backup-simplify]: Simplify (exp 0) into 1 2.479 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x 2.479 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 2.479 * [taylor]: Taking taylor expansion of x in x 2.479 * [backup-simplify]: Simplify 0 into 0 2.479 * [backup-simplify]: Simplify 1 into 1 2.479 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.479 * [taylor]: Taking taylor expansion of y in x 2.479 * [backup-simplify]: Simplify y into y 2.479 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.479 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0 2.479 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.480 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2) 2.480 * [backup-simplify]: Simplify (exp 0) into 1 2.480 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x 2.480 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 2.480 * [taylor]: Taking taylor expansion of x in x 2.480 * [backup-simplify]: Simplify 0 into 0 2.480 * [backup-simplify]: Simplify 1 into 1 2.480 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.480 * [taylor]: Taking taylor expansion of y in x 2.480 * [backup-simplify]: Simplify y into y 2.480 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.480 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0 2.480 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.481 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2) 2.481 * [backup-simplify]: Simplify (exp 0) into 1 2.481 * [taylor]: Taking taylor expansion of 1 in y 2.481 * [backup-simplify]: Simplify 1 into 1 2.481 * [backup-simplify]: Simplify 1 into 1 2.481 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (pow y 2) 1) 1)))) into (pow y 2) 2.481 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.481 * [taylor]: Taking taylor expansion of y in y 2.481 * [backup-simplify]: Simplify 0 into 0 2.481 * [backup-simplify]: Simplify 1 into 1 2.482 * [backup-simplify]: Simplify 0 into 0 2.482 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 2.483 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow y 2)))) into 0 2.484 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (pow y 2) 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow y 4)) 2.484 * [taylor]: Taking taylor expansion of (* 1/2 (pow y 4)) in y 2.484 * [taylor]: Taking taylor expansion of 1/2 in y 2.484 * [backup-simplify]: Simplify 1/2 into 1/2 2.484 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.484 * [taylor]: Taking taylor expansion of y in y 2.484 * [backup-simplify]: Simplify 0 into 0 2.484 * [backup-simplify]: Simplify 1 into 1 2.484 * [backup-simplify]: Simplify 0 into 0 2.485 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 2.486 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 2.487 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (pow y 2) 3) 6)) (* (/ (pow (pow y 2) 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/6 (pow y 6)) 2.487 * [taylor]: Taking taylor expansion of (* 1/6 (pow y 6)) in y 2.487 * [taylor]: Taking taylor expansion of 1/6 in y 2.487 * [backup-simplify]: Simplify 1/6 into 1/6 2.487 * [taylor]: Taking taylor expansion of (pow y 6) in y 2.487 * [taylor]: Taking taylor expansion of y in y 2.487 * [backup-simplify]: Simplify 0 into 0 2.487 * [backup-simplify]: Simplify 1 into 1 2.488 * [backup-simplify]: Simplify (* 1 1) into 1 2.488 * [backup-simplify]: Simplify 1 into 1 2.488 * [backup-simplify]: Simplify 0 into 0 2.489 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 2.490 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0 2.493 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (pow y 2) 4) 24)) (* (/ (pow (pow y 2) 2) 2) (/ (pow 0 1) 1)) (* (/ (pow (pow y 2) 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/24 (pow y 8)) 2.493 * [taylor]: Taking taylor expansion of (* 1/24 (pow y 8)) in y 2.493 * [taylor]: Taking taylor expansion of 1/24 in y 2.493 * [backup-simplify]: Simplify 1/24 into 1/24 2.493 * [taylor]: Taking taylor expansion of (pow y 8) in y 2.493 * [taylor]: Taking taylor expansion of y in y 2.493 * [backup-simplify]: Simplify 0 into 0 2.493 * [backup-simplify]: Simplify 1 into 1 2.494 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.494 * [backup-simplify]: Simplify 0 into 0 2.494 * [backup-simplify]: Simplify 0 into 0 2.495 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 2.497 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))))) into 0 2.501 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (pow y 2) 5) 120)) (* (/ (pow (pow y 2) 3) 6) (/ (pow 0 1) 1)) (* (/ (pow (pow y 2) 2) 2) (/ (pow 0 1) 1)) (* (/ (pow (pow y 2) 1) 1) (/ (pow 0 2) 2)) (* (/ (pow (pow y 2) 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/120 (pow y 10)) 2.501 * [taylor]: Taking taylor expansion of (* 1/120 (pow y 10)) in y 2.501 * [taylor]: Taking taylor expansion of 1/120 in y 2.501 * [backup-simplify]: Simplify 1/120 into 1/120 2.501 * [taylor]: Taking taylor expansion of (pow y 10) in y 2.501 * [taylor]: Taking taylor expansion of y in y 2.501 * [backup-simplify]: Simplify 0 into 0 2.501 * [backup-simplify]: Simplify 1 into 1 2.502 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.502 * [backup-simplify]: Simplify 0 into 0 2.502 * [backup-simplify]: Simplify 0 into 0 2.504 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))))) into 0 2.506 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))))) into 0 2.513 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (pow y 2) 6) 720)) (* (/ (pow (pow y 2) 4) 24) (/ (pow 0 1) 1)) (* (/ (pow (pow y 2) 3) 6) (/ (pow 0 1) 1)) (* (/ (pow (pow y 2) 2) 2) (/ (pow 0 2) 2)) (* (/ (pow (pow y 2) 2) 2) (/ (pow 0 1) 1)) (* (/ (pow (pow y 2) 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow (pow y 2) 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/720 (pow y 12)) 2.513 * [taylor]: Taking taylor expansion of (* 1/720 (pow y 12)) in y 2.513 * [taylor]: Taking taylor expansion of 1/720 in y 2.513 * [backup-simplify]: Simplify 1/720 into 1/720 2.513 * [taylor]: Taking taylor expansion of (pow y 12) in y 2.513 * [taylor]: Taking taylor expansion of y in y 2.513 * [backup-simplify]: Simplify 0 into 0 2.513 * [backup-simplify]: Simplify 1 into 1 2.514 * [backup-simplify]: Simplify (* 1 1) into 1 2.514 * [backup-simplify]: Simplify (* 1 1) into 1 2.515 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 2.515 * [backup-simplify]: Simplify 1/2 into 1/2 2.515 * [backup-simplify]: Simplify (+ (* 1/2 (pow (* (pow y 2) x) 2)) (+ (* 1 (* (pow y 2) x)) 1)) into (+ (* x (pow y 2)) (+ (* 1/2 (* (pow x 2) (pow y 4))) 1)) 2.515 * [backup-simplify]: Simplify (exp (* (* (/ 1 x) (/ 1 y)) (/ 1 y))) into (exp (/ 1 (* x (pow y 2)))) 2.515 * [approximate]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in (x y) around 0 2.515 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y 2.516 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 2.516 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 2.516 * [taylor]: Taking taylor expansion of x in y 2.516 * [backup-simplify]: Simplify x into x 2.516 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.516 * [taylor]: Taking taylor expansion of y in y 2.516 * [backup-simplify]: Simplify 0 into 0 2.516 * [backup-simplify]: Simplify 1 into 1 2.516 * [backup-simplify]: Simplify (* 1 1) into 1 2.516 * [backup-simplify]: Simplify (* x 1) into x 2.516 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.516 * [backup-simplify]: Simplify (exp (/ 1 (* x (pow y 2)))) into (exp (/ 1 (* x (pow y 2)))) 2.516 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x 2.516 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 2.516 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 2.516 * [taylor]: Taking taylor expansion of x in x 2.516 * [backup-simplify]: Simplify 0 into 0 2.517 * [backup-simplify]: Simplify 1 into 1 2.517 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.517 * [taylor]: Taking taylor expansion of y in x 2.517 * [backup-simplify]: Simplify y into y 2.517 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.517 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0 2.517 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.517 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2) 2.517 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 2.518 * [backup-simplify]: Simplify (exp (/ 1 (* x (pow y 2)))) into (exp (/ 1 (* x (pow y 2)))) 2.518 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x 2.518 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 2.518 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 2.518 * [taylor]: Taking taylor expansion of x in x 2.518 * [backup-simplify]: Simplify 0 into 0 2.518 * [backup-simplify]: Simplify 1 into 1 2.518 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.518 * [taylor]: Taking taylor expansion of y in x 2.518 * [backup-simplify]: Simplify y into y 2.518 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.518 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0 2.518 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.519 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2) 2.519 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 2.519 * [backup-simplify]: Simplify (exp (/ 1 (* x (pow y 2)))) into (exp (/ 1 (* x (pow y 2)))) 2.519 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y 2.519 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 2.519 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 2.519 * [taylor]: Taking taylor expansion of x in y 2.519 * [backup-simplify]: Simplify x into x 2.519 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.519 * [taylor]: Taking taylor expansion of y in y 2.519 * [backup-simplify]: Simplify 0 into 0 2.519 * [backup-simplify]: Simplify 1 into 1 2.520 * [backup-simplify]: Simplify (* 1 1) into 1 2.520 * [backup-simplify]: Simplify (* x 1) into x 2.520 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.520 * [backup-simplify]: Simplify (exp (/ 1 (* x (pow y 2)))) into (exp (/ 1 (* x (pow y 2)))) 2.520 * [backup-simplify]: Simplify (exp (/ 1 (* x (pow y 2)))) into (exp (/ 1 (* x (pow y 2)))) 2.520 * [taylor]: Taking taylor expansion of 0 in y 2.520 * [backup-simplify]: Simplify 0 into 0 2.520 * [backup-simplify]: Simplify 0 into 0 2.520 * [backup-simplify]: Simplify 0 into 0 2.520 * [taylor]: Taking taylor expansion of 0 in y 2.520 * [backup-simplify]: Simplify 0 into 0 2.520 * [backup-simplify]: Simplify 0 into 0 2.520 * [backup-simplify]: Simplify 0 into 0 2.520 * [backup-simplify]: Simplify 0 into 0 2.520 * [taylor]: Taking taylor expansion of 0 in y 2.520 * [backup-simplify]: Simplify 0 into 0 2.520 * [backup-simplify]: Simplify 0 into 0 2.521 * [backup-simplify]: Simplify (exp (/ 1 (* (/ 1 x) (pow (/ 1 y) 2)))) into (exp (* x (pow y 2))) 2.521 * [backup-simplify]: Simplify (exp (* (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- y)))) into (exp (/ -1 (* x (pow y 2)))) 2.521 * [approximate]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in (x y) around 0 2.521 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y 2.521 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 2.521 * [taylor]: Taking taylor expansion of -1 in y 2.521 * [backup-simplify]: Simplify -1 into -1 2.521 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 2.521 * [taylor]: Taking taylor expansion of x in y 2.521 * [backup-simplify]: Simplify x into x 2.521 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.521 * [taylor]: Taking taylor expansion of y in y 2.521 * [backup-simplify]: Simplify 0 into 0 2.521 * [backup-simplify]: Simplify 1 into 1 2.522 * [backup-simplify]: Simplify (* 1 1) into 1 2.522 * [backup-simplify]: Simplify (* x 1) into x 2.522 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.522 * [backup-simplify]: Simplify (exp (/ -1 (* x (pow y 2)))) into (exp (/ -1 (* x (pow y 2)))) 2.522 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x 2.522 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 2.522 * [taylor]: Taking taylor expansion of -1 in x 2.522 * [backup-simplify]: Simplify -1 into -1 2.522 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 2.522 * [taylor]: Taking taylor expansion of x in x 2.522 * [backup-simplify]: Simplify 0 into 0 2.522 * [backup-simplify]: Simplify 1 into 1 2.522 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.522 * [taylor]: Taking taylor expansion of y in x 2.522 * [backup-simplify]: Simplify y into y 2.522 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.522 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0 2.523 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.523 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2) 2.523 * [backup-simplify]: Simplify (/ -1 (pow y 2)) into (/ -1 (pow y 2)) 2.523 * [backup-simplify]: Simplify (exp (/ -1 (* x (pow y 2)))) into (exp (/ -1 (* x (pow y 2)))) 2.523 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x 2.523 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 2.523 * [taylor]: Taking taylor expansion of -1 in x 2.523 * [backup-simplify]: Simplify -1 into -1 2.523 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 2.523 * [taylor]: Taking taylor expansion of x in x 2.524 * [backup-simplify]: Simplify 0 into 0 2.524 * [backup-simplify]: Simplify 1 into 1 2.524 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.524 * [taylor]: Taking taylor expansion of y in x 2.524 * [backup-simplify]: Simplify y into y 2.524 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.524 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0 2.524 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.524 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2) 2.524 * [backup-simplify]: Simplify (/ -1 (pow y 2)) into (/ -1 (pow y 2)) 2.525 * [backup-simplify]: Simplify (exp (/ -1 (* x (pow y 2)))) into (exp (/ -1 (* x (pow y 2)))) 2.525 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y 2.525 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 2.525 * [taylor]: Taking taylor expansion of -1 in y 2.525 * [backup-simplify]: Simplify -1 into -1 2.525 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 2.525 * [taylor]: Taking taylor expansion of x in y 2.525 * [backup-simplify]: Simplify x into x 2.525 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.525 * [taylor]: Taking taylor expansion of y in y 2.525 * [backup-simplify]: Simplify 0 into 0 2.525 * [backup-simplify]: Simplify 1 into 1 2.525 * [backup-simplify]: Simplify (* 1 1) into 1 2.525 * [backup-simplify]: Simplify (* x 1) into x 2.525 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.526 * [backup-simplify]: Simplify (exp (/ -1 (* x (pow y 2)))) into (exp (/ -1 (* x (pow y 2)))) 2.526 * [backup-simplify]: Simplify (exp (/ -1 (* x (pow y 2)))) into (exp (/ -1 (* x (pow y 2)))) 2.526 * [taylor]: Taking taylor expansion of 0 in y 2.526 * [backup-simplify]: Simplify 0 into 0 2.526 * [backup-simplify]: Simplify 0 into 0 2.526 * [backup-simplify]: Simplify 0 into 0 2.526 * [taylor]: Taking taylor expansion of 0 in y 2.526 * [backup-simplify]: Simplify 0 into 0 2.526 * [backup-simplify]: Simplify 0 into 0 2.526 * [backup-simplify]: Simplify 0 into 0 2.526 * [backup-simplify]: Simplify 0 into 0 2.526 * [taylor]: Taking taylor expansion of 0 in y 2.526 * [backup-simplify]: Simplify 0 into 0 2.526 * [backup-simplify]: Simplify 0 into 0 2.527 * [backup-simplify]: Simplify (exp (/ -1 (* (/ 1 (- x)) (pow (/ 1 (- y)) 2)))) into (exp (* x (pow y 2))) 2.527 * * * * [progress]: [ 3 / 3 ] generating series at (2) 2.527 * [backup-simplify]: Simplify (expm1 (log1p (exp (* (* x y) y)))) into (expm1 (log1p (exp (* x (pow y 2))))) 2.527 * [approximate]: Taking taylor expansion of (expm1 (log1p (exp (* x (pow y 2))))) in (x y) around 0 2.527 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* x (pow y 2))))) in y 2.527 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* x (pow y 2))))) 1) 2.527 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* x (pow y 2))))) in y 2.527 * [taylor]: Taking taylor expansion of (log1p (exp (* x (pow y 2)))) in y 2.527 * [taylor]: Rewrote expression to (log (+ 1 (exp (* x (pow y 2))))) 2.527 * [taylor]: Taking taylor expansion of (+ 1 (exp (* x (pow y 2)))) in y 2.527 * [taylor]: Taking taylor expansion of 1 in y 2.527 * [backup-simplify]: Simplify 1 into 1 2.527 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in y 2.527 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 2.527 * [taylor]: Taking taylor expansion of x in y 2.527 * [backup-simplify]: Simplify x into x 2.527 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.527 * [taylor]: Taking taylor expansion of y in y 2.527 * [backup-simplify]: Simplify 0 into 0 2.527 * [backup-simplify]: Simplify 1 into 1 2.528 * [backup-simplify]: Simplify (* 1 1) into 1 2.528 * [backup-simplify]: Simplify (* x 1) into x 2.528 * [backup-simplify]: Simplify (exp 0) into 1 2.528 * [backup-simplify]: Simplify (+ 1 1) into 2 2.529 * [backup-simplify]: Simplify (log 2) into (log 2) 2.529 * [backup-simplify]: Simplify (exp (log 2)) into 2 2.529 * [taylor]: Taking taylor expansion of 1 in y 2.529 * [backup-simplify]: Simplify 1 into 1 2.529 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* x (pow y 2))))) in x 2.530 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* x (pow y 2))))) 1) 2.530 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* x (pow y 2))))) in x 2.530 * [taylor]: Taking taylor expansion of (log1p (exp (* x (pow y 2)))) in x 2.530 * [taylor]: Rewrote expression to (log (+ 1 (exp (* x (pow y 2))))) 2.530 * [taylor]: Taking taylor expansion of (+ 1 (exp (* x (pow y 2)))) in x 2.530 * [taylor]: Taking taylor expansion of 1 in x 2.530 * [backup-simplify]: Simplify 1 into 1 2.530 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x 2.530 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 2.530 * [taylor]: Taking taylor expansion of x in x 2.530 * [backup-simplify]: Simplify 0 into 0 2.530 * [backup-simplify]: Simplify 1 into 1 2.530 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.530 * [taylor]: Taking taylor expansion of y in x 2.530 * [backup-simplify]: Simplify y into y 2.530 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.530 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0 2.530 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.531 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2) 2.531 * [backup-simplify]: Simplify (exp 0) into 1 2.531 * [backup-simplify]: Simplify (+ 1 1) into 2 2.531 * [backup-simplify]: Simplify (log 2) into (log 2) 2.532 * [backup-simplify]: Simplify (exp (log 2)) into 2 2.532 * [taylor]: Taking taylor expansion of 1 in x 2.532 * [backup-simplify]: Simplify 1 into 1 2.532 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* x (pow y 2))))) in x 2.532 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* x (pow y 2))))) 1) 2.532 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* x (pow y 2))))) in x 2.532 * [taylor]: Taking taylor expansion of (log1p (exp (* x (pow y 2)))) in x 2.533 * [taylor]: Rewrote expression to (log (+ 1 (exp (* x (pow y 2))))) 2.533 * [taylor]: Taking taylor expansion of (+ 1 (exp (* x (pow y 2)))) in x 2.533 * [taylor]: Taking taylor expansion of 1 in x 2.533 * [backup-simplify]: Simplify 1 into 1 2.533 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x 2.533 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 2.533 * [taylor]: Taking taylor expansion of x in x 2.533 * [backup-simplify]: Simplify 0 into 0 2.533 * [backup-simplify]: Simplify 1 into 1 2.533 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.533 * [taylor]: Taking taylor expansion of y in x 2.533 * [backup-simplify]: Simplify y into y 2.533 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.533 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0 2.533 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.534 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2) 2.534 * [backup-simplify]: Simplify (exp 0) into 1 2.534 * [backup-simplify]: Simplify (+ 1 1) into 2 2.534 * [backup-simplify]: Simplify (log 2) into (log 2) 2.535 * [backup-simplify]: Simplify (exp (log 2)) into 2 2.535 * [taylor]: Taking taylor expansion of 1 in x 2.535 * [backup-simplify]: Simplify 1 into 1 2.535 * [backup-simplify]: Simplify (- 1) into -1 2.536 * [backup-simplify]: Simplify (+ 2 -1) into 1 2.536 * [taylor]: Taking taylor expansion of 1 in y 2.536 * [backup-simplify]: Simplify 1 into 1 2.536 * [backup-simplify]: Simplify 1 into 1 2.536 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (pow y 2) 1) 1)))) into (pow y 2) 2.536 * [backup-simplify]: Simplify (+ 0 (pow y 2)) into (pow y 2) 2.536 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (pow y 2)) 1)) (pow 2 1)))) 1) into (* 1/2 (pow y 2)) 2.537 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow (* 1/2 (pow y 2)) 1) 1)))) into (pow y 2) 2.537 * [backup-simplify]: Simplify (- 0) into 0 2.537 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2) 2.538 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.538 * [taylor]: Taking taylor expansion of y in y 2.538 * [backup-simplify]: Simplify 0 into 0 2.538 * [backup-simplify]: Simplify 1 into 1 2.538 * [backup-simplify]: Simplify 0 into 0 2.538 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 2.539 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow y 2)))) into 0 2.539 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (pow y 2) 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow y 4)) 2.539 * [backup-simplify]: Simplify (+ 0 (* 1/2 (pow y 4))) into (* 1/2 (pow y 4)) 2.540 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (pow y 2)) 2)) (pow 2 2))) (* 1 (/ (* 1 (pow (* 2 (* 1/2 (pow y 4))) 1)) (pow 2 1)))) 2) into (* 1/8 (pow y 4)) 2.541 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow (* 1/2 (pow y 2)) 2) 2)) (* (/ (pow (* 1/8 (pow y 4)) 1) 1)))) into (* 1/2 (pow y 4)) 2.541 * [backup-simplify]: Simplify (- 0) into 0 2.541 * [backup-simplify]: Simplify (+ (* 1/2 (pow y 4)) 0) into (* 1/2 (pow y 4)) 2.541 * [taylor]: Taking taylor expansion of (* 1/2 (pow y 4)) in y 2.541 * [taylor]: Taking taylor expansion of 1/2 in y 2.541 * [backup-simplify]: Simplify 1/2 into 1/2 2.541 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.541 * [taylor]: Taking taylor expansion of y in y 2.541 * [backup-simplify]: Simplify 0 into 0 2.541 * [backup-simplify]: Simplify 1 into 1 2.541 * [backup-simplify]: Simplify 0 into 0 2.542 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 2.548 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 2.549 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (pow y 2) 3) 6)) (* (/ (pow (pow y 2) 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/6 (pow y 6)) 2.550 * [backup-simplify]: Simplify (+ 0 (* 1/6 (pow y 6))) into (* 1/6 (pow y 6)) 2.552 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 (pow y 2)) 3)) (pow 2 3))) (* -3 (/ (* (pow (* 1 (pow y 2)) 1) (pow (* 2 (* 1/2 (pow y 4))) 1)) (pow 2 2))) (* 1 (/ (* 1 1 (pow (* 6 (* 1/6 (pow y 6))) 1)) (pow 2 1)))) 6) into 0 2.554 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow (* 1/2 (pow y 2)) 3) 6)) (* (/ (pow (* 1/2 (pow y 2)) 1) 1) (/ (pow (* 1/8 (pow y 4)) 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/6 (pow y 6)) 2.555 * [backup-simplify]: Simplify (- 0) into 0 2.555 * [backup-simplify]: Simplify (+ (* 1/6 (pow y 6)) 0) into (* 1/6 (pow y 6)) 2.555 * [taylor]: Taking taylor expansion of (* 1/6 (pow y 6)) in y 2.555 * [taylor]: Taking taylor expansion of 1/6 in y 2.555 * [backup-simplify]: Simplify 1/6 into 1/6 2.555 * [taylor]: Taking taylor expansion of (pow y 6) in y 2.555 * [taylor]: Taking taylor expansion of y in y 2.555 * [backup-simplify]: Simplify 0 into 0 2.555 * [backup-simplify]: Simplify 1 into 1 2.555 * [backup-simplify]: Simplify (* 1 1) into 1 2.555 * [backup-simplify]: Simplify 1 into 1 2.555 * [backup-simplify]: Simplify 0 into 0 2.557 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 2.558 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0 2.561 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (pow y 2) 4) 24)) (* (/ (pow (pow y 2) 2) 2) (/ (pow 0 1) 1)) (* (/ (pow (pow y 2) 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/24 (pow y 8)) 2.561 * [backup-simplify]: Simplify (+ 0 (* 1/24 (pow y 8))) into (* 1/24 (pow y 8)) 2.564 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 (pow y 2)) 4)) (pow 2 4))) (* 12 (/ (* (pow (* 1 (pow y 2)) 2) (pow (* 2 (* 1/2 (pow y 4))) 1)) (pow 2 3))) (* -3 (/ (* 1 (pow (* 2 (* 1/2 (pow y 4))) 2)) (pow 2 2))) (* -4 (/ (* (pow (* 1 (pow y 2)) 1) 1 (pow (* 6 (* 1/6 (pow y 6))) 1)) (pow 2 2))) (* 1 (/ (* 1 1 1 (pow (* 24 (* 1/24 (pow y 8))) 1)) (pow 2 1)))) 24) into (* -1/192 (pow y 8)) 2.567 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow (* 1/2 (pow y 2)) 4) 24)) (* (/ (pow (* 1/2 (pow y 2)) 2) 2) (/ (pow (* 1/8 (pow y 4)) 1) 1)) (* (/ (pow (* 1/2 (pow y 2)) 1) 1) (/ (pow 0 1) 1)) (* (/ (pow (* 1/8 (pow y 4)) 2) 2)) (* (/ (pow (* -1/192 (pow y 8)) 1) 1)))) into (* 1/24 (pow y 8)) 2.568 * [backup-simplify]: Simplify (- 0) into 0 2.568 * [backup-simplify]: Simplify (+ (* 1/24 (pow y 8)) 0) into (* 1/24 (pow y 8)) 2.568 * [taylor]: Taking taylor expansion of (* 1/24 (pow y 8)) in y 2.568 * [taylor]: Taking taylor expansion of 1/24 in y 2.568 * [backup-simplify]: Simplify 1/24 into 1/24 2.568 * [taylor]: Taking taylor expansion of (pow y 8) in y 2.568 * [taylor]: Taking taylor expansion of y in y 2.568 * [backup-simplify]: Simplify 0 into 0 2.568 * [backup-simplify]: Simplify 1 into 1 2.569 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.569 * [backup-simplify]: Simplify 0 into 0 2.569 * [backup-simplify]: Simplify 0 into 0 2.570 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 2.572 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))))) into 0 2.576 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (pow y 2) 5) 120)) (* (/ (pow (pow y 2) 3) 6) (/ (pow 0 1) 1)) (* (/ (pow (pow y 2) 2) 2) (/ (pow 0 1) 1)) (* (/ (pow (pow y 2) 1) 1) (/ (pow 0 2) 2)) (* (/ (pow (pow y 2) 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/120 (pow y 10)) 2.576 * [backup-simplify]: Simplify (+ 0 (* 1/120 (pow y 10))) into (* 1/120 (pow y 10)) 2.581 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 (pow y 2)) 5)) (pow 2 5))) (* -60 (/ (* (pow (* 1 (pow y 2)) 3) (pow (* 2 (* 1/2 (pow y 4))) 1)) (pow 2 4))) (* 30 (/ (* (pow (* 1 (pow y 2)) 1) (pow (* 2 (* 1/2 (pow y 4))) 2)) (pow 2 3))) (* 20 (/ (* (pow (* 1 (pow y 2)) 2) 1 (pow (* 6 (* 1/6 (pow y 6))) 1)) (pow 2 3))) (* -10 (/ (* 1 (pow (* 2 (* 1/2 (pow y 4))) 1) (pow (* 6 (* 1/6 (pow y 6))) 1)) (pow 2 2))) (* -5 (/ (* (pow (* 1 (pow y 2)) 1) 1 1 (pow (* 24 (* 1/24 (pow y 8))) 1)) (pow 2 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 (* 1/120 (pow y 10))) 1)) (pow 2 1)))) 120) into 0 2.585 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow (* 1/2 (pow y 2)) 5) 120)) (* (/ (pow (* 1/2 (pow y 2)) 3) 6) (/ (pow (* 1/8 (pow y 4)) 1) 1)) (* (/ (pow (* 1/2 (pow y 2)) 2) 2) (/ (pow 0 1) 1)) (* (/ (pow (* 1/2 (pow y 2)) 1) 1) (/ (pow (* 1/8 (pow y 4)) 2) 2)) (* (/ (pow (* 1/2 (pow y 2)) 1) 1) (/ (pow (* -1/192 (pow y 8)) 1) 1)) (* (/ (pow (* 1/8 (pow y 4)) 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/120 (pow y 10)) 2.586 * [backup-simplify]: Simplify (- 0) into 0 2.586 * [backup-simplify]: Simplify (+ (* 1/120 (pow y 10)) 0) into (* 1/120 (pow y 10)) 2.586 * [taylor]: Taking taylor expansion of (* 1/120 (pow y 10)) in y 2.586 * [taylor]: Taking taylor expansion of 1/120 in y 2.586 * [backup-simplify]: Simplify 1/120 into 1/120 2.586 * [taylor]: Taking taylor expansion of (pow y 10) in y 2.586 * [taylor]: Taking taylor expansion of y in y 2.586 * [backup-simplify]: Simplify 0 into 0 2.586 * [backup-simplify]: Simplify 1 into 1 2.587 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.587 * [backup-simplify]: Simplify 0 into 0 2.587 * [backup-simplify]: Simplify 0 into 0 2.589 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))))) into 0 2.591 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))))) into 0 2.598 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (pow y 2) 6) 720)) (* (/ (pow (pow y 2) 4) 24) (/ (pow 0 1) 1)) (* (/ (pow (pow y 2) 3) 6) (/ (pow 0 1) 1)) (* (/ (pow (pow y 2) 2) 2) (/ (pow 0 2) 2)) (* (/ (pow (pow y 2) 2) 2) (/ (pow 0 1) 1)) (* (/ (pow (pow y 2) 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow (pow y 2) 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/720 (pow y 12)) 2.598 * [backup-simplify]: Simplify (+ 0 (* 1/720 (pow y 12))) into (* 1/720 (pow y 12)) 2.607 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 (pow y 2)) 6)) (pow 2 6))) (* 360 (/ (* (pow (* 1 (pow y 2)) 4) (pow (* 2 (* 1/2 (pow y 4))) 1)) (pow 2 5))) (* -270 (/ (* (pow (* 1 (pow y 2)) 2) (pow (* 2 (* 1/2 (pow y 4))) 2)) (pow 2 4))) (* -120 (/ (* (pow (* 1 (pow y 2)) 3) 1 (pow (* 6 (* 1/6 (pow y 6))) 1)) (pow 2 4))) (* 30 (/ (* 1 (pow (* 2 (* 1/2 (pow y 4))) 3)) (pow 2 3))) (* 120 (/ (* (pow (* 1 (pow y 2)) 1) (pow (* 2 (* 1/2 (pow y 4))) 1) (pow (* 6 (* 1/6 (pow y 6))) 1)) (pow 2 3))) (* 30 (/ (* (pow (* 1 (pow y 2)) 2) 1 1 (pow (* 24 (* 1/24 (pow y 8))) 1)) (pow 2 3))) (* -10 (/ (* 1 1 (pow (* 6 (* 1/6 (pow y 6))) 2)) (pow 2 2))) (* -15 (/ (* 1 (pow (* 2 (* 1/2 (pow y 4))) 1) 1 (pow (* 24 (* 1/24 (pow y 8))) 1)) (pow 2 2))) (* -6 (/ (* (pow (* 1 (pow y 2)) 1) 1 1 1 (pow (* 120 (* 1/120 (pow y 10))) 1)) (pow 2 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 (* 1/720 (pow y 12))) 1)) (pow 2 1)))) 720) into (* 1/2880 (pow y 12)) 2.613 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow (* 1/2 (pow y 2)) 6) 720)) (* (/ (pow (* 1/2 (pow y 2)) 4) 24) (/ (pow (* 1/8 (pow y 4)) 1) 1)) (* (/ (pow (* 1/2 (pow y 2)) 3) 6) (/ (pow 0 1) 1)) (* (/ (pow (* 1/2 (pow y 2)) 2) 2) (/ (pow (* 1/8 (pow y 4)) 2) 2)) (* (/ (pow (* 1/2 (pow y 2)) 2) 2) (/ (pow (* -1/192 (pow y 8)) 1) 1)) (* (/ (pow (* 1/2 (pow y 2)) 1) 1) (/ (pow (* 1/8 (pow y 4)) 1) 1) (/ (pow 0 1) 1)) (* (/ (pow (* 1/2 (pow y 2)) 1) 1) (/ (pow 0 1) 1)) (* (/ (pow (* 1/8 (pow y 4)) 3) 6)) (* (/ (pow (* 1/8 (pow y 4)) 1) 1) (/ (pow (* -1/192 (pow y 8)) 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow (* 1/2880 (pow y 12)) 1) 1)))) into (* 1/720 (pow y 12)) 2.613 * [backup-simplify]: Simplify (- 0) into 0 2.613 * [backup-simplify]: Simplify (+ (* 1/720 (pow y 12)) 0) into (* 1/720 (pow y 12)) 2.613 * [taylor]: Taking taylor expansion of (* 1/720 (pow y 12)) in y 2.613 * [taylor]: Taking taylor expansion of 1/720 in y 2.613 * [backup-simplify]: Simplify 1/720 into 1/720 2.613 * [taylor]: Taking taylor expansion of (pow y 12) in y 2.613 * [taylor]: Taking taylor expansion of y in y 2.613 * [backup-simplify]: Simplify 0 into 0 2.613 * [backup-simplify]: Simplify 1 into 1 2.614 * [backup-simplify]: Simplify (* 1 1) into 1 2.614 * [backup-simplify]: Simplify (* 1 1) into 1 2.614 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 2.614 * [backup-simplify]: Simplify 1/2 into 1/2 2.615 * [backup-simplify]: Simplify (+ (* 1/2 (pow (* (pow y 2) x) 2)) (+ (* 1 (* (pow y 2) x)) 1)) into (+ (* x (pow y 2)) (+ (* 1/2 (* (pow x 2) (pow y 4))) 1)) 2.615 * [backup-simplify]: Simplify (expm1 (log1p (exp (* (* (/ 1 x) (/ 1 y)) (/ 1 y))))) into (expm1 (log1p (exp (/ 1 (* x (pow y 2)))))) 2.615 * [approximate]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* x (pow y 2)))))) in (x y) around 0 2.615 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* x (pow y 2)))))) in y 2.615 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* x (pow y 2)))))) 1) 2.615 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* x (pow y 2)))))) in y 2.615 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* x (pow y 2))))) in y 2.615 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* x (pow y 2)))))) 2.615 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* x (pow y 2))))) in y 2.615 * [taylor]: Taking taylor expansion of 1 in y 2.615 * [backup-simplify]: Simplify 1 into 1 2.615 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y 2.615 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 2.615 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 2.615 * [taylor]: Taking taylor expansion of x in y 2.615 * [backup-simplify]: Simplify x into x 2.615 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.615 * [taylor]: Taking taylor expansion of y in y 2.615 * [backup-simplify]: Simplify 0 into 0 2.615 * [backup-simplify]: Simplify 1 into 1 2.615 * [backup-simplify]: Simplify (* 1 1) into 1 2.615 * [backup-simplify]: Simplify (* x 1) into x 2.616 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.616 * [backup-simplify]: Simplify (exp (/ 1 (* x (pow y 2)))) into (exp (/ 1 (* x (pow y 2)))) 2.616 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 (* x (pow y 2))))) into (+ (exp (/ 1 (* x (pow y 2)))) 1) 2.616 * [backup-simplify]: Simplify (log (+ (exp (/ 1 (* x (pow y 2)))) 1)) into (log (+ 1 (exp (/ 1 (* x (pow y 2)))))) 2.616 * [backup-simplify]: Simplify (exp (log (+ 1 (exp (/ 1 (* x (pow y 2))))))) into (+ (exp (/ 1 (* x (pow y 2)))) 1) 2.616 * [taylor]: Taking taylor expansion of 1 in y 2.616 * [backup-simplify]: Simplify 1 into 1 2.616 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* x (pow y 2)))))) in x 2.616 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* x (pow y 2)))))) 1) 2.616 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* x (pow y 2)))))) in x 2.616 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* x (pow y 2))))) in x 2.616 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* x (pow y 2)))))) 2.616 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* x (pow y 2))))) in x 2.616 * [taylor]: Taking taylor expansion of 1 in x 2.616 * [backup-simplify]: Simplify 1 into 1 2.616 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x 2.616 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 2.616 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 2.616 * [taylor]: Taking taylor expansion of x in x 2.616 * [backup-simplify]: Simplify 0 into 0 2.617 * [backup-simplify]: Simplify 1 into 1 2.617 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.617 * [taylor]: Taking taylor expansion of y in x 2.617 * [backup-simplify]: Simplify y into y 2.617 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.617 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0 2.617 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.617 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2) 2.617 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 2.617 * [backup-simplify]: Simplify (exp (/ 1 (* x (pow y 2)))) into (exp (/ 1 (* x (pow y 2)))) 2.617 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 (* x (pow y 2))))) into (+ (exp (/ 1 (* x (pow y 2)))) 1) 2.618 * [backup-simplify]: Simplify (log (+ (exp (/ 1 (* x (pow y 2)))) 1)) into (log (+ 1 (exp (/ 1 (* x (pow y 2)))))) 2.618 * [backup-simplify]: Simplify (exp (log (+ 1 (exp (/ 1 (* x (pow y 2))))))) into (+ (exp (/ 1 (* x (pow y 2)))) 1) 2.618 * [taylor]: Taking taylor expansion of 1 in x 2.618 * [backup-simplify]: Simplify 1 into 1 2.618 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* x (pow y 2)))))) in x 2.618 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* x (pow y 2)))))) 1) 2.618 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* x (pow y 2)))))) in x 2.618 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* x (pow y 2))))) in x 2.618 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* x (pow y 2)))))) 2.618 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* x (pow y 2))))) in x 2.618 * [taylor]: Taking taylor expansion of 1 in x 2.618 * [backup-simplify]: Simplify 1 into 1 2.618 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x 2.618 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 2.618 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 2.618 * [taylor]: Taking taylor expansion of x in x 2.618 * [backup-simplify]: Simplify 0 into 0 2.618 * [backup-simplify]: Simplify 1 into 1 2.618 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.618 * [taylor]: Taking taylor expansion of y in x 2.618 * [backup-simplify]: Simplify y into y 2.618 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.618 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0 2.618 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.619 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2) 2.619 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 2.619 * [backup-simplify]: Simplify (exp (/ 1 (* x (pow y 2)))) into (exp (/ 1 (* x (pow y 2)))) 2.619 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 (* x (pow y 2))))) into (+ (exp (/ 1 (* x (pow y 2)))) 1) 2.619 * [backup-simplify]: Simplify (log (+ (exp (/ 1 (* x (pow y 2)))) 1)) into (log (+ 1 (exp (/ 1 (* x (pow y 2)))))) 2.619 * [backup-simplify]: Simplify (exp (log (+ 1 (exp (/ 1 (* x (pow y 2))))))) into (+ (exp (/ 1 (* x (pow y 2)))) 1) 2.619 * [taylor]: Taking taylor expansion of 1 in x 2.619 * [backup-simplify]: Simplify 1 into 1 2.620 * [backup-simplify]: Simplify (- 1) into -1 2.620 * [backup-simplify]: Simplify (+ (+ (exp (/ 1 (* x (pow y 2)))) 1) -1) into (exp (/ 1 (* x (pow y 2)))) 2.620 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y 2.620 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 2.620 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 2.620 * [taylor]: Taking taylor expansion of x in y 2.620 * [backup-simplify]: Simplify x into x 2.620 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.620 * [taylor]: Taking taylor expansion of y in y 2.620 * [backup-simplify]: Simplify 0 into 0 2.620 * [backup-simplify]: Simplify 1 into 1 2.620 * [backup-simplify]: Simplify (* 1 1) into 1 2.620 * [backup-simplify]: Simplify (* x 1) into x 2.620 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.620 * [backup-simplify]: Simplify (exp (/ 1 (* x (pow y 2)))) into (exp (/ 1 (* x (pow y 2)))) 2.621 * [backup-simplify]: Simplify (exp (/ 1 (* x (pow y 2)))) into (exp (/ 1 (* x (pow y 2)))) 2.621 * [backup-simplify]: Simplify (+ 0 0) into 0 2.621 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 (* x (pow y 2)))) 1) 1)))) 1) into 0 2.622 * [backup-simplify]: Simplify (* (exp (log (+ 1 (exp (/ 1 (* x (pow y 2))))))) (+ (* (/ (pow 0 1) 1)))) into 0 2.622 * [backup-simplify]: Simplify (- 0) into 0 2.623 * [backup-simplify]: Simplify (+ 0 0) into 0 2.623 * [taylor]: Taking taylor expansion of 0 in y 2.623 * [backup-simplify]: Simplify 0 into 0 2.623 * [backup-simplify]: Simplify 0 into 0 2.623 * [backup-simplify]: Simplify 0 into 0 2.623 * [backup-simplify]: Simplify (+ 0 0) into 0 2.624 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ 1 (* x (pow y 2)))) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ 1 (* x (pow y 2)))) 1) 1)))) 2) into 0 2.625 * [backup-simplify]: Simplify (* (exp (log (+ 1 (exp (/ 1 (* x (pow y 2))))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.625 * [backup-simplify]: Simplify (- 0) into 0 2.626 * [backup-simplify]: Simplify (+ 0 0) into 0 2.626 * [taylor]: Taking taylor expansion of 0 in y 2.626 * [backup-simplify]: Simplify 0 into 0 2.626 * [backup-simplify]: Simplify 0 into 0 2.626 * [backup-simplify]: Simplify 0 into 0 2.626 * [backup-simplify]: Simplify 0 into 0 2.626 * [backup-simplify]: Simplify (+ 0 0) into 0 2.629 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ 1 (* x (pow y 2)))) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 (* x (pow y 2)))) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 (* x (pow y 2)))) 1) 1)))) 6) into 0 2.631 * [backup-simplify]: Simplify (* (exp (log (+ 1 (exp (/ 1 (* x (pow y 2))))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 2.631 * [backup-simplify]: Simplify (- 0) into 0 2.632 * [backup-simplify]: Simplify (+ 0 0) into 0 2.632 * [taylor]: Taking taylor expansion of 0 in y 2.632 * [backup-simplify]: Simplify 0 into 0 2.632 * [backup-simplify]: Simplify 0 into 0 2.632 * [backup-simplify]: Simplify (exp (/ 1 (* (/ 1 x) (pow (/ 1 y) 2)))) into (exp (* x (pow y 2))) 2.632 * [backup-simplify]: Simplify (expm1 (log1p (exp (* (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- y)))))) into (expm1 (log1p (exp (/ -1 (* x (pow y 2)))))) 2.632 * [approximate]: Taking taylor expansion of (expm1 (log1p (exp (/ -1 (* x (pow y 2)))))) in (x y) around 0 2.632 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ -1 (* x (pow y 2)))))) in y 2.633 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ -1 (* x (pow y 2)))))) 1) 2.633 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 (* x (pow y 2)))))) in y 2.633 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 (* x (pow y 2))))) in y 2.633 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 (* x (pow y 2)))))) 2.633 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 (* x (pow y 2))))) in y 2.633 * [taylor]: Taking taylor expansion of 1 in y 2.633 * [backup-simplify]: Simplify 1 into 1 2.633 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y 2.633 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 2.633 * [taylor]: Taking taylor expansion of -1 in y 2.633 * [backup-simplify]: Simplify -1 into -1 2.633 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 2.633 * [taylor]: Taking taylor expansion of x in y 2.633 * [backup-simplify]: Simplify x into x 2.633 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.633 * [taylor]: Taking taylor expansion of y in y 2.633 * [backup-simplify]: Simplify 0 into 0 2.633 * [backup-simplify]: Simplify 1 into 1 2.633 * [backup-simplify]: Simplify (* 1 1) into 1 2.634 * [backup-simplify]: Simplify (* x 1) into x 2.634 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.634 * [backup-simplify]: Simplify (exp (/ -1 (* x (pow y 2)))) into (exp (/ -1 (* x (pow y 2)))) 2.634 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 (* x (pow y 2))))) into (+ (exp (/ -1 (* x (pow y 2)))) 1) 2.634 * [backup-simplify]: Simplify (log (+ (exp (/ -1 (* x (pow y 2)))) 1)) into (log (+ (exp (/ -1 (* x (pow y 2)))) 1)) 2.635 * [backup-simplify]: Simplify (exp (log (+ (exp (/ -1 (* x (pow y 2)))) 1))) into (+ (exp (/ -1 (* x (pow y 2)))) 1) 2.635 * [taylor]: Taking taylor expansion of 1 in y 2.635 * [backup-simplify]: Simplify 1 into 1 2.635 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ -1 (* x (pow y 2)))))) in x 2.635 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ -1 (* x (pow y 2)))))) 1) 2.635 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 (* x (pow y 2)))))) in x 2.635 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 (* x (pow y 2))))) in x 2.635 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 (* x (pow y 2)))))) 2.635 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 (* x (pow y 2))))) in x 2.635 * [taylor]: Taking taylor expansion of 1 in x 2.635 * [backup-simplify]: Simplify 1 into 1 2.635 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x 2.635 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 2.635 * [taylor]: Taking taylor expansion of -1 in x 2.635 * [backup-simplify]: Simplify -1 into -1 2.635 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 2.635 * [taylor]: Taking taylor expansion of x in x 2.635 * [backup-simplify]: Simplify 0 into 0 2.635 * [backup-simplify]: Simplify 1 into 1 2.635 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.635 * [taylor]: Taking taylor expansion of y in x 2.635 * [backup-simplify]: Simplify y into y 2.635 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.635 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0 2.636 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.636 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2) 2.637 * [backup-simplify]: Simplify (/ -1 (pow y 2)) into (/ -1 (pow y 2)) 2.637 * [backup-simplify]: Simplify (exp (/ -1 (* x (pow y 2)))) into (exp (/ -1 (* x (pow y 2)))) 2.637 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 (* x (pow y 2))))) into (+ (exp (/ -1 (* x (pow y 2)))) 1) 2.637 * [backup-simplify]: Simplify (log (+ (exp (/ -1 (* x (pow y 2)))) 1)) into (log (+ (exp (/ -1 (* x (pow y 2)))) 1)) 2.638 * [backup-simplify]: Simplify (exp (log (+ (exp (/ -1 (* x (pow y 2)))) 1))) into (+ (exp (/ -1 (* x (pow y 2)))) 1) 2.638 * [taylor]: Taking taylor expansion of 1 in x 2.638 * [backup-simplify]: Simplify 1 into 1 2.638 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ -1 (* x (pow y 2)))))) in x 2.638 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ -1 (* x (pow y 2)))))) 1) 2.638 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 (* x (pow y 2)))))) in x 2.638 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 (* x (pow y 2))))) in x 2.638 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 (* x (pow y 2)))))) 2.638 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 (* x (pow y 2))))) in x 2.638 * [taylor]: Taking taylor expansion of 1 in x 2.638 * [backup-simplify]: Simplify 1 into 1 2.638 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x 2.638 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 2.638 * [taylor]: Taking taylor expansion of -1 in x 2.638 * [backup-simplify]: Simplify -1 into -1 2.638 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 2.638 * [taylor]: Taking taylor expansion of x in x 2.638 * [backup-simplify]: Simplify 0 into 0 2.638 * [backup-simplify]: Simplify 1 into 1 2.638 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.638 * [taylor]: Taking taylor expansion of y in x 2.638 * [backup-simplify]: Simplify y into y 2.638 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.638 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0 2.639 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.639 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2) 2.639 * [backup-simplify]: Simplify (/ -1 (pow y 2)) into (/ -1 (pow y 2)) 2.639 * [backup-simplify]: Simplify (exp (/ -1 (* x (pow y 2)))) into (exp (/ -1 (* x (pow y 2)))) 2.640 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 (* x (pow y 2))))) into (+ (exp (/ -1 (* x (pow y 2)))) 1) 2.640 * [backup-simplify]: Simplify (log (+ (exp (/ -1 (* x (pow y 2)))) 1)) into (log (+ (exp (/ -1 (* x (pow y 2)))) 1)) 2.640 * [backup-simplify]: Simplify (exp (log (+ (exp (/ -1 (* x (pow y 2)))) 1))) into (+ (exp (/ -1 (* x (pow y 2)))) 1) 2.640 * [taylor]: Taking taylor expansion of 1 in x 2.640 * [backup-simplify]: Simplify 1 into 1 2.641 * [backup-simplify]: Simplify (- 1) into -1 2.641 * [backup-simplify]: Simplify (+ (+ (exp (/ -1 (* x (pow y 2)))) 1) -1) into (exp (/ -1 (* x (pow y 2)))) 2.641 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y 2.641 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 2.641 * [taylor]: Taking taylor expansion of -1 in y 2.641 * [backup-simplify]: Simplify -1 into -1 2.641 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 2.641 * [taylor]: Taking taylor expansion of x in y 2.641 * [backup-simplify]: Simplify x into x 2.641 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.641 * [taylor]: Taking taylor expansion of y in y 2.641 * [backup-simplify]: Simplify 0 into 0 2.641 * [backup-simplify]: Simplify 1 into 1 2.642 * [backup-simplify]: Simplify (* 1 1) into 1 2.642 * [backup-simplify]: Simplify (* x 1) into x 2.642 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.642 * [backup-simplify]: Simplify (exp (/ -1 (* x (pow y 2)))) into (exp (/ -1 (* x (pow y 2)))) 2.642 * [backup-simplify]: Simplify (exp (/ -1 (* x (pow y 2)))) into (exp (/ -1 (* x (pow y 2)))) 2.642 * [backup-simplify]: Simplify (+ 0 0) into 0 2.643 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 (* x (pow y 2)))) 1) 1)))) 1) into 0 2.644 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 (* x (pow y 2)))) 1))) (+ (* (/ (pow 0 1) 1)))) into 0 2.645 * [backup-simplify]: Simplify (- 0) into 0 2.645 * [backup-simplify]: Simplify (+ 0 0) into 0 2.645 * [taylor]: Taking taylor expansion of 0 in y 2.645 * [backup-simplify]: Simplify 0 into 0 2.645 * [backup-simplify]: Simplify 0 into 0 2.645 * [backup-simplify]: Simplify 0 into 0 2.646 * [backup-simplify]: Simplify (+ 0 0) into 0 2.648 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ -1 (* x (pow y 2)))) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ -1 (* x (pow y 2)))) 1) 1)))) 2) into 0 2.649 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 (* x (pow y 2)))) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.650 * [backup-simplify]: Simplify (- 0) into 0 2.650 * [backup-simplify]: Simplify (+ 0 0) into 0 2.650 * [taylor]: Taking taylor expansion of 0 in y 2.650 * [backup-simplify]: Simplify 0 into 0 2.650 * [backup-simplify]: Simplify 0 into 0 2.650 * [backup-simplify]: Simplify 0 into 0 2.650 * [backup-simplify]: Simplify 0 into 0 2.650 * [backup-simplify]: Simplify (+ 0 0) into 0 2.654 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ -1 (* x (pow y 2)))) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 (* x (pow y 2)))) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 (* x (pow y 2)))) 1) 1)))) 6) into 0 2.656 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 (* x (pow y 2)))) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 2.656 * [backup-simplify]: Simplify (- 0) into 0 2.657 * [backup-simplify]: Simplify (+ 0 0) into 0 2.657 * [taylor]: Taking taylor expansion of 0 in y 2.657 * [backup-simplify]: Simplify 0 into 0 2.657 * [backup-simplify]: Simplify 0 into 0 2.657 * [backup-simplify]: Simplify (exp (/ -1 (* (/ 1 (- x)) (pow (/ 1 (- y)) 2)))) into (exp (* x (pow y 2))) 2.657 * * * [progress]: simplifying candidates 2.658 * [simplify]: Simplifying: (expm1 (* (* x y) y)) (log1p (* (* x y) y)) (* (* x y) y) (* (* x y) y) (+ (+ (log x) (log y)) (log y)) (+ (log (* x y)) (log y)) (log (* (* x y) y)) (exp (* (* x y) y)) (* (* (* (* x x) x) (* (* y y) y)) (* (* y y) y)) (* (* (* (* x y) (* x y)) (* x y)) (* (* y y) y)) (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y))) (cbrt (* (* x y) y)) (* (* (* (* x y) y) (* (* x y) y)) (* (* x y) y)) (sqrt (* (* x y) y)) (sqrt (* (* x y) y)) (* (* x y) (* (cbrt y) (cbrt y))) (* (* x y) (sqrt y)) (* (* x y) 1) (* y y) (expm1 (exp (* (* x y) y))) (log1p (exp (* (* x y) y))) (exp (* x y)) (log (exp (* (* x y) y))) (exp (exp (* (* x y) y))) (* (cbrt (exp (* (* x y) y))) (cbrt (exp (* (* x y) y)))) (cbrt (exp (* (* x y) y))) (* (* (exp (* (* x y) y)) (exp (* (* x y) y))) (exp (* (* x y) y))) (sqrt (exp (* (* x y) y))) (sqrt (exp (* (* x y) y))) (exp (log1p (exp (* (* x y) y)))) (expm1 (expm1 (log1p (exp (* (* x y) y))))) (log1p (expm1 (log1p (exp (* (* x y) y))))) (log (expm1 (log1p (exp (* (* x y) y))))) (exp (expm1 (log1p (exp (* (* x y) y))))) (* (cbrt (expm1 (log1p (exp (* (* x y) y))))) (cbrt (expm1 (log1p (exp (* (* x y) y)))))) (cbrt (expm1 (log1p (exp (* (* x y) y))))) (* (* (expm1 (log1p (exp (* (* x y) y)))) (expm1 (log1p (exp (* (* x y) y))))) (expm1 (log1p (exp (* (* x y) y))))) (sqrt (expm1 (log1p (exp (* (* x y) y))))) (sqrt (expm1 (log1p (exp (* (* x y) y))))) (* x (pow y 2)) (* x (pow y 2)) (* x (pow y 2)) (+ (* x (pow y 2)) (+ (* 1/2 (* (pow x 2) (pow y 4))) 1)) (exp (* x (pow y 2))) (exp (* x (pow y 2))) (+ (* x (pow y 2)) (+ (* 1/2 (* (pow x 2) (pow y 4))) 1)) (exp (* x (pow y 2))) (exp (* x (pow y 2))) 2.660 * * [simplify]: Extracting # 0 : cost 0 2.660 * * [simplify]: Extracting # 1 : cost 0 2.660 * * [simplify]: Extracting # 2 : cost 0 2.660 * * [simplify]: Extracting # 3 : cost 0 2.660 * * [simplify]: Extracting # 4 : cost 0 2.660 * * [simplify]: Extracting # 5 : cost 0 2.660 * * [simplify]: Extracting # 6 : cost 0 2.661 * * [simplify]: Extracting # 7 : cost 0 2.661 * * [simplify]: Extracting # 8 : cost 0 2.661 * * [simplify]: Extracting # 9 : cost 0 2.661 * * [simplify]: iteration 0 : 68 enodes (cost 431 ) 2.691 * * [simplify]: Extracting # 0 : cost 0 2.691 * * [simplify]: Extracting # 1 : cost 0 2.692 * * [simplify]: Extracting # 2 : cost 0 2.692 * * [simplify]: Extracting # 3 : cost 0 2.692 * * [simplify]: iteration 1 : 161 enodes (cost 392 ) 2.845 * * [simplify]: Extracting # 0 : cost 0 2.847 * * [simplify]: Extracting # 1 : cost 0 2.850 * * [simplify]: Extracting # 2 : cost 0 2.852 * * [simplify]: Extracting # 3 : cost 0 2.858 * * [simplify]: Extracting # 4 : cost 0 2.861 * * [simplify]: iteration 2 : 1085 enodes (cost 344 ) 3.620 * * [simplify]: Extracting # 0 : cost 0 3.631 * * [simplify]: Extracting # 1 : cost 0 3.636 * * [simplify]: Extracting # 2 : cost 0 3.642 * * [simplify]: Extracting # 3 : cost 0 3.647 * * [simplify]: Extracting # 4 : cost 0 3.657 * * [simplify]: iteration done: 5001 enodes (cost 342 ) 3.657 * [simplify]: Simplified to: (expm1 (* (* x y) y)) (log1p (* (* x y) y)) (* (* x y) y) (* (* x y) y) (log (* (pow y 2) x)) (log (* (pow y 2) x)) (log (* (pow y 2) x)) (exp (* x (pow y 2))) (* (pow x 3) (pow y (* 2 3))) (pow (* x (pow y 2)) 3) (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y))) (cbrt (* (* x y) y)) (pow (* x (pow y 2)) 3) (sqrt (* (* x y) y)) (sqrt (* (* x y) y)) (* (* (cbrt y) (cbrt y)) (* x y)) (* (sqrt y) (* x y)) (* y x) (* y y) (expm1 (exp (* (* x y) y))) (log1p (exp (* (* x y) y))) (exp (* x y)) (* (* x y) y) (exp (exp (* (* x y) y))) (* (cbrt (exp (* (* x y) y))) (cbrt (exp (* (* x y) y)))) (cbrt (exp (* (* x y) y))) (pow (exp (* x (pow y 2))) 3) (sqrt (exp (* (* x y) y))) (sqrt (exp (* (* x y) y))) (exp (log1p (exp (* (* x y) y)))) (expm1 (exp (* (* x y) y))) (log1p (exp (* (* x y) y))) (* (* x y) y) (exp (exp (* (* x y) y))) (* (cbrt (exp (* (* x y) y))) (cbrt (exp (* (* x y) y)))) (cbrt (exp (* (* x y) y))) (pow (exp (* x (pow y 2))) 3) (sqrt (exp (* (* x y) y))) (sqrt (exp (* (* x y) y))) (* (* x y) y) (* (* x y) y) (* (* x y) y) (fma x (pow y 2) (fma 1/2 (* (pow x 2) (pow y 4)) 1)) (exp (* x (pow y 2))) (exp (* x (pow y 2))) (fma x (pow y 2) (fma 1/2 (* (pow x 2) (pow y 4)) 1)) (exp (* x (pow y 2))) (exp (* x (pow y 2))) 3.657 * * * [progress]: adding candidates to table 3.804 * [progress]: [Phase 3 of 3] Extracting. 3.808 * [simplify]: Simplifying: (expm1 (log1p (exp (* (* x y) y)))) 3.808 * * [simplify]: Extracting # 0 : cost 0 3.809 * * [simplify]: Extracting # 1 : cost 0 3.809 * * [simplify]: Extracting # 2 : cost 0 3.809 * * [simplify]: Extracting # 3 : cost 0 3.809 * * [simplify]: Extracting # 4 : cost 0 3.809 * * [simplify]: Extracting # 5 : cost 0 3.809 * * [simplify]: Extracting # 6 : cost 0 3.809 * * [simplify]: Extracting # 7 : cost 0 3.809 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 3.809 * * [simplify]: Extracting # 0 : cost 0 3.809 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 3.810 * * [simplify]: Extracting # 0 : cost 0 3.810 * * [simplify]: iteration done: 9 enodes (cost 8 ) 3.810 * [simplify]: Simplified to: (expm1 (log1p (exp (* (* x y) y)))) 4.968 * [regime-testing]: Baseline error score: 0.012573893175342852 4.971 * [regime-testing]: Oracle error score: 0.012573893175342852 4.971 * [regime-testing]: End program error score: 0.012573893175342852