36.746 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.022 * * * [progress]: [2/2] Setting up program. 0.024 * [progress]: [Phase 2 of 3] Improving. 0.025 * [simplify]: Simplifying: (+ (+ (* x y) x) y) 0.025 * * [simplify]: Extracting # 0 : cost 0 0.025 * * [simplify]: Extracting # 1 : cost 0 0.025 * * [simplify]: Extracting # 2 : cost 0 0.025 * * [simplify]: Extracting # 3 : cost 0 0.025 * * [simplify]: Extracting # 4 : cost 0 0.025 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 0.027 * * [simplify]: Extracting # 0 : cost 0 0.027 * * [simplify]: Extracting # 1 : cost 0 0.027 * * [simplify]: Extracting # 2 : cost 0 0.027 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 0.031 * * [simplify]: Extracting # 0 : cost 0 0.031 * * [simplify]: Extracting # 1 : cost 0 0.031 * * [simplify]: Extracting # 2 : cost 0 0.031 * * [simplify]: Extracting # 3 : cost 0 0.031 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 0.038 * * [simplify]: Extracting # 0 : cost 0 0.038 * * [simplify]: Extracting # 1 : cost 0 0.038 * * [simplify]: Extracting # 2 : cost 0 0.039 * * [simplify]: iteration 3 : 33 enodes (cost 6 ) 0.047 * * [simplify]: Extracting # 0 : cost 0 0.047 * * [simplify]: Extracting # 1 : cost 0 0.048 * * [simplify]: Extracting # 2 : cost 0 0.048 * * [simplify]: iteration 4 : 43 enodes (cost 6 ) 0.067 * * [simplify]: Extracting # 0 : cost 0 0.067 * * [simplify]: Extracting # 1 : cost 0 0.068 * * [simplify]: Extracting # 2 : cost 0 0.068 * * [simplify]: iteration 5 : 56 enodes (cost 6 ) 0.089 * * [simplify]: Extracting # 0 : cost 0 0.089 * * [simplify]: Extracting # 1 : cost 0 0.089 * * [simplify]: iteration 6 : 62 enodes (cost 6 ) 0.099 * * [simplify]: Extracting # 0 : cost 0 0.100 * * [simplify]: iteration done: 62 enodes (cost 6 ) 0.100 * [simplify]: Simplified to: (+ (fma x y x) y) 0.104 * * [progress]: iteration 1 / 4 0.104 * * * [progress]: picking best candidate 0.108 * * * * [pick]: Picked # 0.108 * * * [progress]: localizing error 0.120 * * * [progress]: generating rewritten candidates 0.120 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.131 * * * [progress]: generating series expansions 0.131 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.131 * [backup-simplify]: Simplify (+ (fma x y x) y) into (+ y (fma x y x)) 0.132 * [approximate]: Taking taylor expansion of (+ y (fma x y x)) in (x y) around 0 0.132 * [taylor]: Taking taylor expansion of (+ y (fma x y x)) in y 0.132 * [taylor]: Taking taylor expansion of y in y 0.132 * [backup-simplify]: Simplify 0 into 0 0.132 * [backup-simplify]: Simplify 1 into 1 0.132 * [taylor]: Taking taylor expansion of (fma x y x) in y 0.132 * [taylor]: Rewrote expression to (+ (* x y) x) 0.132 * [taylor]: Taking taylor expansion of (* x y) in y 0.132 * [taylor]: Taking taylor expansion of x in y 0.132 * [backup-simplify]: Simplify x into x 0.132 * [taylor]: Taking taylor expansion of y in y 0.132 * [backup-simplify]: Simplify 0 into 0 0.132 * [backup-simplify]: Simplify 1 into 1 0.132 * [taylor]: Taking taylor expansion of x in y 0.132 * [backup-simplify]: Simplify x into x 0.132 * [taylor]: Taking taylor expansion of (+ y (fma x y x)) in x 0.132 * [taylor]: Taking taylor expansion of y in x 0.132 * [backup-simplify]: Simplify y into y 0.132 * [taylor]: Taking taylor expansion of (fma x y x) in x 0.132 * [taylor]: Rewrote expression to (+ (* x y) x) 0.132 * [taylor]: Taking taylor expansion of (* x y) in x 0.132 * [taylor]: Taking taylor expansion of x in x 0.132 * [backup-simplify]: Simplify 0 into 0 0.132 * [backup-simplify]: Simplify 1 into 1 0.132 * [taylor]: Taking taylor expansion of y in x 0.132 * [backup-simplify]: Simplify y into y 0.132 * [taylor]: Taking taylor expansion of x in x 0.132 * [backup-simplify]: Simplify 0 into 0 0.133 * [backup-simplify]: Simplify 1 into 1 0.133 * [taylor]: Taking taylor expansion of (+ y (fma x y x)) in x 0.133 * [taylor]: Taking taylor expansion of y in x 0.133 * [backup-simplify]: Simplify y into y 0.133 * [taylor]: Taking taylor expansion of (fma x y x) in x 0.133 * [taylor]: Rewrote expression to (+ (* x y) x) 0.133 * [taylor]: Taking taylor expansion of (* x y) in x 0.133 * [taylor]: Taking taylor expansion of x in x 0.133 * [backup-simplify]: Simplify 0 into 0 0.133 * [backup-simplify]: Simplify 1 into 1 0.133 * [taylor]: Taking taylor expansion of y in x 0.133 * [backup-simplify]: Simplify y into y 0.133 * [taylor]: Taking taylor expansion of x in x 0.133 * [backup-simplify]: Simplify 0 into 0 0.133 * [backup-simplify]: Simplify 1 into 1 0.133 * [backup-simplify]: Simplify (* 0 y) into 0 0.134 * [backup-simplify]: Simplify (+ 0 0) into 0 0.134 * [backup-simplify]: Simplify (+ y 0) into y 0.134 * [taylor]: Taking taylor expansion of y in y 0.134 * [backup-simplify]: Simplify 0 into 0 0.134 * [backup-simplify]: Simplify 1 into 1 0.134 * [backup-simplify]: Simplify 0 into 0 0.134 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.134 * [backup-simplify]: Simplify (+ y 1) into (+ y 1) 0.134 * [backup-simplify]: Simplify (+ 0 (+ y 1)) into (+ y 1) 0.134 * [taylor]: Taking taylor expansion of (+ y 1) in y 0.134 * [taylor]: Taking taylor expansion of y in y 0.135 * [backup-simplify]: Simplify 0 into 0 0.135 * [backup-simplify]: Simplify 1 into 1 0.135 * [taylor]: Taking taylor expansion of 1 in y 0.135 * [backup-simplify]: Simplify 1 into 1 0.135 * [backup-simplify]: Simplify (+ 0 1) into 1 0.135 * [backup-simplify]: Simplify 1 into 1 0.135 * [backup-simplify]: Simplify 1 into 1 0.136 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.136 * [backup-simplify]: Simplify (+ 0 0) into 0 0.137 * [backup-simplify]: Simplify (+ 0 0) into 0 0.137 * [taylor]: Taking taylor expansion of 0 in y 0.137 * [backup-simplify]: Simplify 0 into 0 0.137 * [backup-simplify]: Simplify 0 into 0 0.137 * [backup-simplify]: Simplify (+ 1 0) into 1 0.137 * [backup-simplify]: Simplify 1 into 1 0.138 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (+ (* 1 (* y 1)) (* 1 (* 1 x)))) into (+ x (+ y (* x y))) 0.138 * [backup-simplify]: Simplify (+ (fma (/ 1 x) (/ 1 y) (/ 1 x)) (/ 1 y)) into (+ (/ 1 y) (fma (/ 1 x) (/ 1 y) (/ 1 x))) 0.138 * [approximate]: Taking taylor expansion of (+ (/ 1 y) (fma (/ 1 x) (/ 1 y) (/ 1 x))) in (x y) around 0 0.138 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (fma (/ 1 x) (/ 1 y) (/ 1 x))) in y 0.138 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.138 * [taylor]: Taking taylor expansion of y in y 0.138 * [backup-simplify]: Simplify 0 into 0 0.138 * [backup-simplify]: Simplify 1 into 1 0.144 * [backup-simplify]: Simplify (/ 1 1) into 1 0.144 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 x)) in y 0.145 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 x)) 0.145 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y 0.145 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.145 * [taylor]: Taking taylor expansion of x in y 0.145 * [backup-simplify]: Simplify x into x 0.145 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.145 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.145 * [taylor]: Taking taylor expansion of y in y 0.145 * [backup-simplify]: Simplify 0 into 0 0.145 * [backup-simplify]: Simplify 1 into 1 0.146 * [backup-simplify]: Simplify (/ 1 1) into 1 0.146 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.146 * [taylor]: Taking taylor expansion of x in y 0.146 * [backup-simplify]: Simplify x into x 0.146 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.146 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (fma (/ 1 x) (/ 1 y) (/ 1 x))) in x 0.146 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.146 * [taylor]: Taking taylor expansion of y in x 0.146 * [backup-simplify]: Simplify y into y 0.146 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.146 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 x)) in x 0.146 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 x)) 0.147 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x 0.147 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.147 * [taylor]: Taking taylor expansion of x in x 0.147 * [backup-simplify]: Simplify 0 into 0 0.147 * [backup-simplify]: Simplify 1 into 1 0.147 * [backup-simplify]: Simplify (/ 1 1) into 1 0.147 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.147 * [taylor]: Taking taylor expansion of y in x 0.147 * [backup-simplify]: Simplify y into y 0.147 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.147 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.147 * [taylor]: Taking taylor expansion of x in x 0.147 * [backup-simplify]: Simplify 0 into 0 0.147 * [backup-simplify]: Simplify 1 into 1 0.148 * [backup-simplify]: Simplify (/ 1 1) into 1 0.148 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (fma (/ 1 x) (/ 1 y) (/ 1 x))) in x 0.148 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.148 * [taylor]: Taking taylor expansion of y in x 0.148 * [backup-simplify]: Simplify y into y 0.148 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.148 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 x)) in x 0.148 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 x)) 0.148 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x 0.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.148 * [taylor]: Taking taylor expansion of x in x 0.148 * [backup-simplify]: Simplify 0 into 0 0.148 * [backup-simplify]: Simplify 1 into 1 0.149 * [backup-simplify]: Simplify (/ 1 1) into 1 0.149 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.149 * [taylor]: Taking taylor expansion of y in x 0.149 * [backup-simplify]: Simplify y into y 0.149 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.149 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.149 * [taylor]: Taking taylor expansion of x in x 0.149 * [backup-simplify]: Simplify 0 into 0 0.149 * [backup-simplify]: Simplify 1 into 1 0.149 * [backup-simplify]: Simplify (/ 1 1) into 1 0.149 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 0.150 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ (/ 1 y) 1) 0.150 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 y) 1)) into (+ (/ 1 y) 1) 0.150 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 0.150 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.150 * [taylor]: Taking taylor expansion of y in y 0.150 * [backup-simplify]: Simplify 0 into 0 0.150 * [backup-simplify]: Simplify 1 into 1 0.150 * [backup-simplify]: Simplify (/ 1 1) into 1 0.150 * [taylor]: Taking taylor expansion of 1 in y 0.150 * [backup-simplify]: Simplify 1 into 1 0.151 * [backup-simplify]: Simplify (+ 1 0) into 1 0.151 * [backup-simplify]: Simplify 1 into 1 0.151 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.152 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.152 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 y))) into 0 0.153 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.154 * [backup-simplify]: Simplify (+ 0 0) into 0 0.154 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 0.154 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.154 * [taylor]: Taking taylor expansion of y in y 0.154 * [backup-simplify]: Simplify 0 into 0 0.154 * [backup-simplify]: Simplify 1 into 1 0.154 * [backup-simplify]: Simplify (/ 1 1) into 1 0.154 * [backup-simplify]: Simplify 1 into 1 0.155 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.156 * [backup-simplify]: Simplify (+ 0 1) into 1 0.156 * [backup-simplify]: Simplify 1 into 1 0.156 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 x)))) (+ (* 1 (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))))) into (+ x (+ y (* x y))) 0.157 * [backup-simplify]: Simplify (+ (fma (/ 1 (- x)) (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- y))) into (- (fma (/ -1 x) (/ -1 y) (/ -1 x)) (/ 1 y)) 0.157 * [approximate]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 x)) (/ 1 y)) in (x y) around 0 0.157 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 x)) (/ 1 y)) in y 0.157 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 x)) in y 0.157 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ -1 x)) 0.157 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in y 0.157 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.157 * [taylor]: Taking taylor expansion of -1 in y 0.157 * [backup-simplify]: Simplify -1 into -1 0.157 * [taylor]: Taking taylor expansion of x in y 0.157 * [backup-simplify]: Simplify x into x 0.157 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.157 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.157 * [taylor]: Taking taylor expansion of -1 in y 0.157 * [backup-simplify]: Simplify -1 into -1 0.157 * [taylor]: Taking taylor expansion of y in y 0.157 * [backup-simplify]: Simplify 0 into 0 0.157 * [backup-simplify]: Simplify 1 into 1 0.158 * [backup-simplify]: Simplify (/ -1 1) into -1 0.158 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.158 * [taylor]: Taking taylor expansion of -1 in y 0.158 * [backup-simplify]: Simplify -1 into -1 0.158 * [taylor]: Taking taylor expansion of x in y 0.158 * [backup-simplify]: Simplify x into x 0.158 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.158 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.158 * [taylor]: Taking taylor expansion of y in y 0.158 * [backup-simplify]: Simplify 0 into 0 0.158 * [backup-simplify]: Simplify 1 into 1 0.158 * [backup-simplify]: Simplify (/ 1 1) into 1 0.158 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 x)) (/ 1 y)) in x 0.159 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 x)) in x 0.159 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ -1 x)) 0.159 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x 0.159 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.159 * [taylor]: Taking taylor expansion of -1 in x 0.159 * [backup-simplify]: Simplify -1 into -1 0.159 * [taylor]: Taking taylor expansion of x in x 0.159 * [backup-simplify]: Simplify 0 into 0 0.159 * [backup-simplify]: Simplify 1 into 1 0.159 * [backup-simplify]: Simplify (/ -1 1) into -1 0.159 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.159 * [taylor]: Taking taylor expansion of -1 in x 0.159 * [backup-simplify]: Simplify -1 into -1 0.159 * [taylor]: Taking taylor expansion of y in x 0.159 * [backup-simplify]: Simplify y into y 0.159 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.160 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.160 * [taylor]: Taking taylor expansion of -1 in x 0.160 * [backup-simplify]: Simplify -1 into -1 0.160 * [taylor]: Taking taylor expansion of x in x 0.160 * [backup-simplify]: Simplify 0 into 0 0.160 * [backup-simplify]: Simplify 1 into 1 0.160 * [backup-simplify]: Simplify (/ -1 1) into -1 0.160 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.160 * [taylor]: Taking taylor expansion of y in x 0.160 * [backup-simplify]: Simplify y into y 0.160 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.160 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 x)) (/ 1 y)) in x 0.160 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 x)) in x 0.160 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ -1 x)) 0.160 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x 0.161 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.161 * [taylor]: Taking taylor expansion of -1 in x 0.161 * [backup-simplify]: Simplify -1 into -1 0.161 * [taylor]: Taking taylor expansion of x in x 0.161 * [backup-simplify]: Simplify 0 into 0 0.161 * [backup-simplify]: Simplify 1 into 1 0.161 * [backup-simplify]: Simplify (/ -1 1) into -1 0.161 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.161 * [taylor]: Taking taylor expansion of -1 in x 0.161 * [backup-simplify]: Simplify -1 into -1 0.161 * [taylor]: Taking taylor expansion of y in x 0.161 * [backup-simplify]: Simplify y into y 0.161 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.161 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.161 * [taylor]: Taking taylor expansion of -1 in x 0.161 * [backup-simplify]: Simplify -1 into -1 0.161 * [taylor]: Taking taylor expansion of x in x 0.161 * [backup-simplify]: Simplify 0 into 0 0.161 * [backup-simplify]: Simplify 1 into 1 0.162 * [backup-simplify]: Simplify (/ -1 1) into -1 0.162 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.162 * [taylor]: Taking taylor expansion of y in x 0.162 * [backup-simplify]: Simplify y into y 0.162 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.162 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 0.162 * [backup-simplify]: Simplify (+ (/ 1 y) -1) into (- (/ 1 y) 1) 0.162 * [backup-simplify]: Simplify (+ (- (/ 1 y) 1) 0) into (- (/ 1 y) 1) 0.162 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 0.162 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.162 * [taylor]: Taking taylor expansion of y in y 0.162 * [backup-simplify]: Simplify 0 into 0 0.162 * [backup-simplify]: Simplify 1 into 1 0.163 * [backup-simplify]: Simplify (/ 1 1) into 1 0.163 * [taylor]: Taking taylor expansion of 1 in y 0.163 * [backup-simplify]: Simplify 1 into 1 0.163 * [backup-simplify]: Simplify (+ 1 0) into 1 0.163 * [backup-simplify]: Simplify 1 into 1 0.164 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 0.164 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.165 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 y))) into 0 0.166 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.166 * [backup-simplify]: Simplify (+ 0 0) into 0 0.166 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 0.166 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 0.166 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 0.166 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.166 * [taylor]: Taking taylor expansion of y in y 0.166 * [backup-simplify]: Simplify 0 into 0 0.166 * [backup-simplify]: Simplify 1 into 1 0.167 * [backup-simplify]: Simplify (/ 1 1) into 1 0.167 * [backup-simplify]: Simplify (- 1) into -1 0.167 * [backup-simplify]: Simplify -1 into -1 0.168 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.168 * [backup-simplify]: Simplify (- 1) into -1 0.169 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.169 * [backup-simplify]: Simplify -1 into -1 0.169 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 (- x))))) (+ (* -1 (* (/ 1 (/ 1 (- y))) 1)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))))) into (+ x (+ y (* x y))) 0.169 * * * [progress]: simplifying candidates 0.170 * [simplify]: Simplifying: (expm1 (+ (fma x y x) y)) (log1p (+ (fma x y x) y)) (* (exp (fma x y x)) (exp y)) (log (+ (fma x y x) y)) (exp (+ (fma x y x) y)) (* (cbrt (+ (fma x y x) y)) (cbrt (+ (fma x y x) y))) (cbrt (+ (fma x y x) y)) (* (* (+ (fma x y x) y) (+ (fma x y x) y)) (+ (fma x y x) y)) (sqrt (+ (fma x y x) y)) (sqrt (+ (fma x y x) y)) (+ (pow (fma x y x) 3) (pow y 3)) (+ (* (fma x y x) (fma x y x)) (- (* y y) (* (fma x y x) y))) (- (* (fma x y x) (fma x y x)) (* y y)) (- (fma x y x) y) (+ (fma x y x) y) (+ x y) (+ x (+ y (* x y))) (+ x (+ y (* x y))) (+ x (+ y (* x y))) 0.171 * * [simplify]: Extracting # 0 : cost 0 0.171 * * [simplify]: Extracting # 1 : cost 0 0.171 * * [simplify]: Extracting # 2 : cost 0 0.171 * * [simplify]: Extracting # 3 : cost 0 0.171 * * [simplify]: Extracting # 4 : cost 0 0.171 * * [simplify]: Extracting # 5 : cost 0 0.171 * * [simplify]: iteration 0 : 31 enodes (cost 171 ) 0.184 * * [simplify]: Extracting # 0 : cost 0 0.185 * * [simplify]: Extracting # 1 : cost 0 0.185 * * [simplify]: Extracting # 2 : cost 0 0.185 * * [simplify]: Extracting # 3 : cost 0 0.185 * * [simplify]: Extracting # 4 : cost 0 0.185 * * [simplify]: iteration 1 : 83 enodes (cost 167 ) 0.219 * * [simplify]: Extracting # 0 : cost 0 0.219 * * [simplify]: Extracting # 1 : cost 0 0.220 * * [simplify]: Extracting # 2 : cost 0 0.220 * * [simplify]: Extracting # 3 : cost 0 0.220 * * [simplify]: Extracting # 4 : cost 0 0.220 * * [simplify]: iteration 2 : 223 enodes (cost 152 ) 0.332 * * [simplify]: Extracting # 0 : cost 0 0.334 * * [simplify]: Extracting # 1 : cost 0 0.341 * * [simplify]: Extracting # 2 : cost 0 0.343 * * [simplify]: Extracting # 3 : cost 0 0.344 * * [simplify]: Extracting # 4 : cost 0 0.346 * * [simplify]: iteration 3 : 868 enodes (cost 149 ) 1.401 * * [simplify]: Extracting # 0 : cost 0 1.406 * * [simplify]: Extracting # 1 : cost 0 1.413 * * [simplify]: Extracting # 2 : cost 0 1.424 * * [simplify]: Extracting # 3 : cost 0 1.440 * * [simplify]: Extracting # 4 : cost 0 1.449 * * [simplify]: iteration done: 5001 enodes (cost 149 ) 1.450 * [simplify]: Simplified to: (expm1 (+ (fma x y x) y)) (log1p (+ (fma x y x) y)) (exp (+ (fma x y x) y)) (log (+ (fma x y x) y)) (exp (+ (fma x y x) y)) (* (cbrt (+ (fma x y x) y)) (cbrt (+ (fma x y x) y))) (cbrt (+ (fma x y x) y)) (pow (+ (fma x y x) y) 3) (sqrt (+ (fma x y x) y)) (sqrt (+ (fma x y x) y)) (+ (pow (fma x y x) 3) (pow y 3)) (fma y y (* (fma x y x) (- (fma x y x) y))) (- (* (fma x y x) (fma x y x)) (* y y)) (- (fma x y x) y) (+ (fma x y x) y) (+ x y) (+ (fma x y x) y) (+ (fma x y x) y) (+ (fma x y x) y) 1.450 * * * [progress]: adding candidates to table 1.498 * * [progress]: iteration 2 / 4 1.498 * * * [progress]: picking best candidate 1.500 * * * * [pick]: Picked # 1.500 * * * [progress]: localizing error 1.511 * * * [progress]: generating rewritten candidates 1.511 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 1.531 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 1.582 * * * [progress]: generating series expansions 1.583 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 1.583 * [backup-simplify]: Simplify (+ (* x y) x) into (+ x (* x y)) 1.583 * [approximate]: Taking taylor expansion of (+ x (* x y)) in (x y) around 0 1.583 * [taylor]: Taking taylor expansion of (+ x (* x y)) in y 1.583 * [taylor]: Taking taylor expansion of x in y 1.583 * [backup-simplify]: Simplify x into x 1.583 * [taylor]: Taking taylor expansion of (* x y) in y 1.583 * [taylor]: Taking taylor expansion of x in y 1.583 * [backup-simplify]: Simplify x into x 1.583 * [taylor]: Taking taylor expansion of y in y 1.583 * [backup-simplify]: Simplify 0 into 0 1.583 * [backup-simplify]: Simplify 1 into 1 1.583 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 1.583 * [taylor]: Taking taylor expansion of x in x 1.583 * [backup-simplify]: Simplify 0 into 0 1.583 * [backup-simplify]: Simplify 1 into 1 1.583 * [taylor]: Taking taylor expansion of (* x y) in x 1.583 * [taylor]: Taking taylor expansion of x in x 1.583 * [backup-simplify]: Simplify 0 into 0 1.583 * [backup-simplify]: Simplify 1 into 1 1.583 * [taylor]: Taking taylor expansion of y in x 1.583 * [backup-simplify]: Simplify y into y 1.583 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 1.584 * [taylor]: Taking taylor expansion of x in x 1.584 * [backup-simplify]: Simplify 0 into 0 1.584 * [backup-simplify]: Simplify 1 into 1 1.584 * [taylor]: Taking taylor expansion of (* x y) in x 1.584 * [taylor]: Taking taylor expansion of x in x 1.584 * [backup-simplify]: Simplify 0 into 0 1.584 * [backup-simplify]: Simplify 1 into 1 1.584 * [taylor]: Taking taylor expansion of y in x 1.584 * [backup-simplify]: Simplify y into y 1.584 * [backup-simplify]: Simplify (* 0 y) into 0 1.585 * [backup-simplify]: Simplify (+ 0 0) into 0 1.585 * [taylor]: Taking taylor expansion of 0 in y 1.585 * [backup-simplify]: Simplify 0 into 0 1.585 * [backup-simplify]: Simplify 0 into 0 1.585 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 1.585 * [backup-simplify]: Simplify (+ 1 y) into (+ y 1) 1.585 * [taylor]: Taking taylor expansion of (+ y 1) in y 1.585 * [taylor]: Taking taylor expansion of y in y 1.585 * [backup-simplify]: Simplify 0 into 0 1.585 * [backup-simplify]: Simplify 1 into 1 1.585 * [taylor]: Taking taylor expansion of 1 in y 1.585 * [backup-simplify]: Simplify 1 into 1 1.586 * [backup-simplify]: Simplify (+ 0 1) into 1 1.586 * [backup-simplify]: Simplify 1 into 1 1.586 * [backup-simplify]: Simplify 0 into 0 1.587 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 1.587 * [backup-simplify]: Simplify (+ 0 0) into 0 1.587 * [taylor]: Taking taylor expansion of 0 in y 1.587 * [backup-simplify]: Simplify 0 into 0 1.587 * [backup-simplify]: Simplify 0 into 0 1.588 * [backup-simplify]: Simplify (+ 1 0) into 1 1.588 * [backup-simplify]: Simplify 1 into 1 1.588 * [backup-simplify]: Simplify 0 into 0 1.589 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 1.589 * [backup-simplify]: Simplify (+ 0 0) into 0 1.589 * [taylor]: Taking taylor expansion of 0 in y 1.589 * [backup-simplify]: Simplify 0 into 0 1.589 * [backup-simplify]: Simplify 0 into 0 1.589 * [backup-simplify]: Simplify 0 into 0 1.589 * [backup-simplify]: Simplify (+ 0 0) into 0 1.589 * [backup-simplify]: Simplify 0 into 0 1.589 * [backup-simplify]: Simplify 0 into 0 1.590 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 1.590 * [backup-simplify]: Simplify (+ 0 0) into 0 1.590 * [taylor]: Taking taylor expansion of 0 in y 1.590 * [backup-simplify]: Simplify 0 into 0 1.591 * [backup-simplify]: Simplify 0 into 0 1.591 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (* 1 (* 1 x))) into (+ x (* x y)) 1.591 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 y)) (/ 1 x)) into (+ (/ 1 x) (/ 1 (* x y))) 1.591 * [approximate]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in (x y) around 0 1.591 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y 1.591 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.591 * [taylor]: Taking taylor expansion of x in y 1.591 * [backup-simplify]: Simplify x into x 1.591 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.591 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.591 * [taylor]: Taking taylor expansion of (* x y) in y 1.591 * [taylor]: Taking taylor expansion of x in y 1.591 * [backup-simplify]: Simplify x into x 1.591 * [taylor]: Taking taylor expansion of y in y 1.591 * [backup-simplify]: Simplify 0 into 0 1.591 * [backup-simplify]: Simplify 1 into 1 1.591 * [backup-simplify]: Simplify (* x 0) into 0 1.591 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 1.591 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.591 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 1.591 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.591 * [taylor]: Taking taylor expansion of x in x 1.591 * [backup-simplify]: Simplify 0 into 0 1.591 * [backup-simplify]: Simplify 1 into 1 1.592 * [backup-simplify]: Simplify (/ 1 1) into 1 1.592 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.592 * [taylor]: Taking taylor expansion of (* x y) in x 1.592 * [taylor]: Taking taylor expansion of x in x 1.592 * [backup-simplify]: Simplify 0 into 0 1.592 * [backup-simplify]: Simplify 1 into 1 1.592 * [taylor]: Taking taylor expansion of y in x 1.592 * [backup-simplify]: Simplify y into y 1.592 * [backup-simplify]: Simplify (* 0 y) into 0 1.592 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 1.592 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.592 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 1.592 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.592 * [taylor]: Taking taylor expansion of x in x 1.592 * [backup-simplify]: Simplify 0 into 0 1.592 * [backup-simplify]: Simplify 1 into 1 1.592 * [backup-simplify]: Simplify (/ 1 1) into 1 1.592 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.593 * [taylor]: Taking taylor expansion of (* x y) in x 1.593 * [taylor]: Taking taylor expansion of x in x 1.593 * [backup-simplify]: Simplify 0 into 0 1.593 * [backup-simplify]: Simplify 1 into 1 1.593 * [taylor]: Taking taylor expansion of y in x 1.593 * [backup-simplify]: Simplify y into y 1.593 * [backup-simplify]: Simplify (* 0 y) into 0 1.593 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 1.593 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.593 * [backup-simplify]: Simplify (+ 1 (/ 1 y)) into (+ (/ 1 y) 1) 1.593 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 1.593 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.593 * [taylor]: Taking taylor expansion of y in y 1.593 * [backup-simplify]: Simplify 0 into 0 1.593 * [backup-simplify]: Simplify 1 into 1 1.593 * [backup-simplify]: Simplify (/ 1 1) into 1 1.593 * [taylor]: Taking taylor expansion of 1 in y 1.593 * [backup-simplify]: Simplify 1 into 1 1.594 * [backup-simplify]: Simplify (+ 1 0) into 1 1.594 * [backup-simplify]: Simplify 1 into 1 1.594 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.595 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 1.595 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1.595 * [backup-simplify]: Simplify (+ 0 0) into 0 1.595 * [taylor]: Taking taylor expansion of 0 in y 1.595 * [backup-simplify]: Simplify 0 into 0 1.596 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.596 * [backup-simplify]: Simplify (+ 0 1) into 1 1.596 * [backup-simplify]: Simplify 1 into 1 1.597 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.597 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 1.597 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.598 * [backup-simplify]: Simplify (+ 0 0) into 0 1.598 * [taylor]: Taking taylor expansion of 0 in y 1.598 * [backup-simplify]: Simplify 0 into 0 1.598 * [backup-simplify]: Simplify 0 into 0 1.598 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.599 * [backup-simplify]: Simplify (+ 0 0) into 0 1.599 * [backup-simplify]: Simplify 0 into 0 1.599 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.600 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 1.600 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.600 * [backup-simplify]: Simplify (+ 0 0) into 0 1.601 * [taylor]: Taking taylor expansion of 0 in y 1.601 * [backup-simplify]: Simplify 0 into 0 1.601 * [backup-simplify]: Simplify 0 into 0 1.601 * [backup-simplify]: Simplify 0 into 0 1.601 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.601 * [backup-simplify]: Simplify (+ 0 0) into 0 1.601 * [backup-simplify]: Simplify 0 into 0 1.602 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.603 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 1.603 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.603 * [backup-simplify]: Simplify (+ 0 0) into 0 1.604 * [taylor]: Taking taylor expansion of 0 in y 1.604 * [backup-simplify]: Simplify 0 into 0 1.604 * [backup-simplify]: Simplify 0 into 0 1.604 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 x)))) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (+ x (* x y)) 1.604 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- x))) into (- (/ 1 (* x y)) (/ 1 x)) 1.604 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in (x y) around 0 1.604 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y 1.604 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.604 * [taylor]: Taking taylor expansion of (* x y) in y 1.604 * [taylor]: Taking taylor expansion of x in y 1.604 * [backup-simplify]: Simplify x into x 1.604 * [taylor]: Taking taylor expansion of y in y 1.604 * [backup-simplify]: Simplify 0 into 0 1.604 * [backup-simplify]: Simplify 1 into 1 1.604 * [backup-simplify]: Simplify (* x 0) into 0 1.604 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 1.604 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.604 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.605 * [taylor]: Taking taylor expansion of x in y 1.605 * [backup-simplify]: Simplify x into x 1.605 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.605 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 1.605 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.605 * [taylor]: Taking taylor expansion of (* x y) in x 1.605 * [taylor]: Taking taylor expansion of x in x 1.605 * [backup-simplify]: Simplify 0 into 0 1.605 * [backup-simplify]: Simplify 1 into 1 1.605 * [taylor]: Taking taylor expansion of y in x 1.605 * [backup-simplify]: Simplify y into y 1.605 * [backup-simplify]: Simplify (* 0 y) into 0 1.605 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 1.605 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.605 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.605 * [taylor]: Taking taylor expansion of x in x 1.605 * [backup-simplify]: Simplify 0 into 0 1.605 * [backup-simplify]: Simplify 1 into 1 1.605 * [backup-simplify]: Simplify (/ 1 1) into 1 1.605 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 1.605 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.605 * [taylor]: Taking taylor expansion of (* x y) in x 1.605 * [taylor]: Taking taylor expansion of x in x 1.605 * [backup-simplify]: Simplify 0 into 0 1.606 * [backup-simplify]: Simplify 1 into 1 1.606 * [taylor]: Taking taylor expansion of y in x 1.606 * [backup-simplify]: Simplify y into y 1.606 * [backup-simplify]: Simplify (* 0 y) into 0 1.606 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 1.606 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.606 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.606 * [taylor]: Taking taylor expansion of x in x 1.606 * [backup-simplify]: Simplify 0 into 0 1.606 * [backup-simplify]: Simplify 1 into 1 1.606 * [backup-simplify]: Simplify (/ 1 1) into 1 1.606 * [backup-simplify]: Simplify (- 1) into -1 1.607 * [backup-simplify]: Simplify (+ (/ 1 y) -1) into (- (/ 1 y) 1) 1.607 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 1.607 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.607 * [taylor]: Taking taylor expansion of y in y 1.607 * [backup-simplify]: Simplify 0 into 0 1.607 * [backup-simplify]: Simplify 1 into 1 1.607 * [backup-simplify]: Simplify (/ 1 1) into 1 1.607 * [taylor]: Taking taylor expansion of 1 in y 1.607 * [backup-simplify]: Simplify 1 into 1 1.607 * [backup-simplify]: Simplify (+ 1 0) into 1 1.607 * [backup-simplify]: Simplify 1 into 1 1.608 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 1.608 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.609 * [backup-simplify]: Simplify (- 0) into 0 1.609 * [backup-simplify]: Simplify (+ 0 0) into 0 1.609 * [taylor]: Taking taylor expansion of 0 in y 1.609 * [backup-simplify]: Simplify 0 into 0 1.609 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.609 * [backup-simplify]: Simplify (- 1) into -1 1.610 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.610 * [backup-simplify]: Simplify -1 into -1 1.614 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 1.614 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.615 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.615 * [backup-simplify]: Simplify (- 0) into 0 1.615 * [backup-simplify]: Simplify (+ 0 0) into 0 1.615 * [taylor]: Taking taylor expansion of 0 in y 1.615 * [backup-simplify]: Simplify 0 into 0 1.615 * [backup-simplify]: Simplify 0 into 0 1.616 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.616 * [backup-simplify]: Simplify (- 0) into 0 1.617 * [backup-simplify]: Simplify (+ 0 0) into 0 1.617 * [backup-simplify]: Simplify 0 into 0 1.618 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 1.618 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.619 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.620 * [backup-simplify]: Simplify (- 0) into 0 1.620 * [backup-simplify]: Simplify (+ 0 0) into 0 1.620 * [taylor]: Taking taylor expansion of 0 in y 1.620 * [backup-simplify]: Simplify 0 into 0 1.620 * [backup-simplify]: Simplify 0 into 0 1.620 * [backup-simplify]: Simplify 0 into 0 1.621 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.622 * [backup-simplify]: Simplify (- 0) into 0 1.622 * [backup-simplify]: Simplify (+ 0 0) into 0 1.622 * [backup-simplify]: Simplify 0 into 0 1.624 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 1.625 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.626 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.626 * [backup-simplify]: Simplify (- 0) into 0 1.626 * [backup-simplify]: Simplify (+ 0 0) into 0 1.626 * [taylor]: Taking taylor expansion of 0 in y 1.627 * [backup-simplify]: Simplify 0 into 0 1.627 * [backup-simplify]: Simplify 0 into 0 1.627 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 (- x))))) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (+ x (* x y)) 1.627 * * * * [progress]: [ 2 / 2 ] generating series at (2) 1.627 * [backup-simplify]: Simplify (+ (+ (* x y) x) y) into (+ x (+ y (* x y))) 1.627 * [approximate]: Taking taylor expansion of (+ x (+ y (* x y))) in (x y) around 0 1.627 * [taylor]: Taking taylor expansion of (+ x (+ y (* x y))) in y 1.627 * [taylor]: Taking taylor expansion of x in y 1.627 * [backup-simplify]: Simplify x into x 1.628 * [taylor]: Taking taylor expansion of (+ y (* x y)) in y 1.628 * [taylor]: Taking taylor expansion of y in y 1.628 * [backup-simplify]: Simplify 0 into 0 1.628 * [backup-simplify]: Simplify 1 into 1 1.628 * [taylor]: Taking taylor expansion of (* x y) in y 1.628 * [taylor]: Taking taylor expansion of x in y 1.628 * [backup-simplify]: Simplify x into x 1.628 * [taylor]: Taking taylor expansion of y in y 1.628 * [backup-simplify]: Simplify 0 into 0 1.628 * [backup-simplify]: Simplify 1 into 1 1.628 * [taylor]: Taking taylor expansion of (+ x (+ y (* x y))) in x 1.628 * [taylor]: Taking taylor expansion of x in x 1.628 * [backup-simplify]: Simplify 0 into 0 1.628 * [backup-simplify]: Simplify 1 into 1 1.628 * [taylor]: Taking taylor expansion of (+ y (* x y)) in x 1.628 * [taylor]: Taking taylor expansion of y in x 1.628 * [backup-simplify]: Simplify y into y 1.628 * [taylor]: Taking taylor expansion of (* x y) in x 1.628 * [taylor]: Taking taylor expansion of x in x 1.628 * [backup-simplify]: Simplify 0 into 0 1.628 * [backup-simplify]: Simplify 1 into 1 1.628 * [taylor]: Taking taylor expansion of y in x 1.628 * [backup-simplify]: Simplify y into y 1.628 * [taylor]: Taking taylor expansion of (+ x (+ y (* x y))) in x 1.628 * [taylor]: Taking taylor expansion of x in x 1.628 * [backup-simplify]: Simplify 0 into 0 1.628 * [backup-simplify]: Simplify 1 into 1 1.628 * [taylor]: Taking taylor expansion of (+ y (* x y)) in x 1.628 * [taylor]: Taking taylor expansion of y in x 1.628 * [backup-simplify]: Simplify y into y 1.628 * [taylor]: Taking taylor expansion of (* x y) in x 1.629 * [taylor]: Taking taylor expansion of x in x 1.629 * [backup-simplify]: Simplify 0 into 0 1.629 * [backup-simplify]: Simplify 1 into 1 1.629 * [taylor]: Taking taylor expansion of y in x 1.629 * [backup-simplify]: Simplify y into y 1.629 * [backup-simplify]: Simplify (* 0 y) into 0 1.629 * [backup-simplify]: Simplify (+ y 0) into y 1.629 * [backup-simplify]: Simplify (+ 0 y) into y 1.629 * [taylor]: Taking taylor expansion of y in y 1.629 * [backup-simplify]: Simplify 0 into 0 1.629 * [backup-simplify]: Simplify 1 into 1 1.629 * [backup-simplify]: Simplify 0 into 0 1.630 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 1.630 * [backup-simplify]: Simplify (+ 0 y) into y 1.630 * [backup-simplify]: Simplify (+ 1 y) into (+ y 1) 1.630 * [taylor]: Taking taylor expansion of (+ y 1) in y 1.630 * [taylor]: Taking taylor expansion of y in y 1.630 * [backup-simplify]: Simplify 0 into 0 1.630 * [backup-simplify]: Simplify 1 into 1 1.630 * [taylor]: Taking taylor expansion of 1 in y 1.630 * [backup-simplify]: Simplify 1 into 1 1.630 * [backup-simplify]: Simplify (+ 0 1) into 1 1.630 * [backup-simplify]: Simplify 1 into 1 1.631 * [backup-simplify]: Simplify 1 into 1 1.632 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 1.632 * [backup-simplify]: Simplify (+ 0 0) into 0 1.632 * [backup-simplify]: Simplify (+ 0 0) into 0 1.632 * [taylor]: Taking taylor expansion of 0 in y 1.632 * [backup-simplify]: Simplify 0 into 0 1.632 * [backup-simplify]: Simplify 0 into 0 1.633 * [backup-simplify]: Simplify (+ 1 0) into 1 1.633 * [backup-simplify]: Simplify 1 into 1 1.633 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (+ (* 1 (* y 1)) (* 1 (* 1 x)))) into (+ x (+ y (* x y))) 1.634 * [backup-simplify]: Simplify (+ (+ (* (/ 1 x) (/ 1 y)) (/ 1 x)) (/ 1 y)) into (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) 1.634 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in (x y) around 0 1.634 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in y 1.634 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.634 * [taylor]: Taking taylor expansion of (* x y) in y 1.634 * [taylor]: Taking taylor expansion of x in y 1.634 * [backup-simplify]: Simplify x into x 1.634 * [taylor]: Taking taylor expansion of y in y 1.634 * [backup-simplify]: Simplify 0 into 0 1.634 * [backup-simplify]: Simplify 1 into 1 1.634 * [backup-simplify]: Simplify (* x 0) into 0 1.634 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 1.635 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.635 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.635 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.635 * [taylor]: Taking taylor expansion of y in y 1.635 * [backup-simplify]: Simplify 0 into 0 1.635 * [backup-simplify]: Simplify 1 into 1 1.635 * [backup-simplify]: Simplify (/ 1 1) into 1 1.635 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.635 * [taylor]: Taking taylor expansion of x in y 1.635 * [backup-simplify]: Simplify x into x 1.635 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.635 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in x 1.635 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.635 * [taylor]: Taking taylor expansion of (* x y) in x 1.635 * [taylor]: Taking taylor expansion of x in x 1.635 * [backup-simplify]: Simplify 0 into 0 1.635 * [backup-simplify]: Simplify 1 into 1 1.635 * [taylor]: Taking taylor expansion of y in x 1.635 * [backup-simplify]: Simplify y into y 1.636 * [backup-simplify]: Simplify (* 0 y) into 0 1.636 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 1.636 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.636 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.636 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.636 * [taylor]: Taking taylor expansion of y in x 1.636 * [backup-simplify]: Simplify y into y 1.636 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.636 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.636 * [taylor]: Taking taylor expansion of x in x 1.636 * [backup-simplify]: Simplify 0 into 0 1.636 * [backup-simplify]: Simplify 1 into 1 1.637 * [backup-simplify]: Simplify (/ 1 1) into 1 1.637 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in x 1.637 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.637 * [taylor]: Taking taylor expansion of (* x y) in x 1.637 * [taylor]: Taking taylor expansion of x in x 1.637 * [backup-simplify]: Simplify 0 into 0 1.637 * [backup-simplify]: Simplify 1 into 1 1.637 * [taylor]: Taking taylor expansion of y in x 1.637 * [backup-simplify]: Simplify y into y 1.637 * [backup-simplify]: Simplify (* 0 y) into 0 1.638 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 1.638 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.638 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.638 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.638 * [taylor]: Taking taylor expansion of y in x 1.638 * [backup-simplify]: Simplify y into y 1.638 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.638 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.638 * [taylor]: Taking taylor expansion of x in x 1.638 * [backup-simplify]: Simplify 0 into 0 1.638 * [backup-simplify]: Simplify 1 into 1 1.638 * [backup-simplify]: Simplify (/ 1 1) into 1 1.639 * [backup-simplify]: Simplify (+ 0 1) into 1 1.639 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ (/ 1 y) 1) 1.639 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 1.639 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.639 * [taylor]: Taking taylor expansion of y in y 1.639 * [backup-simplify]: Simplify 0 into 0 1.639 * [backup-simplify]: Simplify 1 into 1 1.639 * [backup-simplify]: Simplify (/ 1 1) into 1 1.640 * [taylor]: Taking taylor expansion of 1 in y 1.640 * [backup-simplify]: Simplify 1 into 1 1.640 * [backup-simplify]: Simplify (+ 1 0) into 1 1.640 * [backup-simplify]: Simplify 1 into 1 1.641 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 1.641 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1.642 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.642 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 1.642 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 1.642 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.642 * [taylor]: Taking taylor expansion of y in y 1.642 * [backup-simplify]: Simplify 0 into 0 1.642 * [backup-simplify]: Simplify 1 into 1 1.642 * [backup-simplify]: Simplify (/ 1 1) into 1 1.642 * [backup-simplify]: Simplify 1 into 1 1.643 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.644 * [backup-simplify]: Simplify (+ 0 1) into 1 1.644 * [backup-simplify]: Simplify 1 into 1 1.644 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 x)))) (+ (* 1 (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))))) into (+ x (+ y (* x y))) 1.645 * [backup-simplify]: Simplify (+ (+ (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- x))) (/ 1 (- y))) into (- (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) 1.645 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in (x y) around 0 1.645 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in y 1.645 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.645 * [taylor]: Taking taylor expansion of (* x y) in y 1.645 * [taylor]: Taking taylor expansion of x in y 1.645 * [backup-simplify]: Simplify x into x 1.645 * [taylor]: Taking taylor expansion of y in y 1.645 * [backup-simplify]: Simplify 0 into 0 1.645 * [backup-simplify]: Simplify 1 into 1 1.645 * [backup-simplify]: Simplify (* x 0) into 0 1.645 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 1.645 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.645 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.645 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.645 * [taylor]: Taking taylor expansion of y in y 1.645 * [backup-simplify]: Simplify 0 into 0 1.645 * [backup-simplify]: Simplify 1 into 1 1.645 * [backup-simplify]: Simplify (/ 1 1) into 1 1.645 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.645 * [taylor]: Taking taylor expansion of x in y 1.645 * [backup-simplify]: Simplify x into x 1.645 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.645 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in x 1.646 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.646 * [taylor]: Taking taylor expansion of (* x y) in x 1.646 * [taylor]: Taking taylor expansion of x in x 1.646 * [backup-simplify]: Simplify 0 into 0 1.646 * [backup-simplify]: Simplify 1 into 1 1.646 * [taylor]: Taking taylor expansion of y in x 1.646 * [backup-simplify]: Simplify y into y 1.646 * [backup-simplify]: Simplify (* 0 y) into 0 1.646 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 1.646 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.646 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.646 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.646 * [taylor]: Taking taylor expansion of y in x 1.646 * [backup-simplify]: Simplify y into y 1.646 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.646 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.646 * [taylor]: Taking taylor expansion of x in x 1.646 * [backup-simplify]: Simplify 0 into 0 1.646 * [backup-simplify]: Simplify 1 into 1 1.646 * [backup-simplify]: Simplify (/ 1 1) into 1 1.646 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in x 1.646 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.646 * [taylor]: Taking taylor expansion of (* x y) in x 1.646 * [taylor]: Taking taylor expansion of x in x 1.646 * [backup-simplify]: Simplify 0 into 0 1.646 * [backup-simplify]: Simplify 1 into 1 1.646 * [taylor]: Taking taylor expansion of y in x 1.646 * [backup-simplify]: Simplify y into y 1.647 * [backup-simplify]: Simplify (* 0 y) into 0 1.647 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 1.647 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.647 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.647 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.647 * [taylor]: Taking taylor expansion of y in x 1.647 * [backup-simplify]: Simplify y into y 1.647 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.647 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.647 * [taylor]: Taking taylor expansion of x in x 1.647 * [backup-simplify]: Simplify 0 into 0 1.647 * [backup-simplify]: Simplify 1 into 1 1.647 * [backup-simplify]: Simplify (/ 1 1) into 1 1.648 * [backup-simplify]: Simplify (+ 0 1) into 1 1.648 * [backup-simplify]: Simplify (- 1) into -1 1.648 * [backup-simplify]: Simplify (+ (/ 1 y) -1) into (- (/ 1 y) 1) 1.648 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 1.648 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.648 * [taylor]: Taking taylor expansion of y in y 1.648 * [backup-simplify]: Simplify 0 into 0 1.648 * [backup-simplify]: Simplify 1 into 1 1.648 * [backup-simplify]: Simplify (/ 1 1) into 1 1.648 * [taylor]: Taking taylor expansion of 1 in y 1.648 * [backup-simplify]: Simplify 1 into 1 1.648 * [backup-simplify]: Simplify (+ 1 0) into 1 1.649 * [backup-simplify]: Simplify 1 into 1 1.649 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 1.649 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1.650 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.650 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 1.650 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 1.650 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 1.650 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 1.650 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.650 * [taylor]: Taking taylor expansion of y in y 1.650 * [backup-simplify]: Simplify 0 into 0 1.650 * [backup-simplify]: Simplify 1 into 1 1.650 * [backup-simplify]: Simplify (/ 1 1) into 1 1.650 * [backup-simplify]: Simplify (- 1) into -1 1.650 * [backup-simplify]: Simplify -1 into -1 1.651 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.651 * [backup-simplify]: Simplify (- 1) into -1 1.651 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.651 * [backup-simplify]: Simplify -1 into -1 1.652 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 (- x))))) (+ (* -1 (* (/ 1 (/ 1 (- y))) 1)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))))) into (+ x (+ y (* x y))) 1.652 * * * [progress]: simplifying candidates 1.652 * [simplify]: Simplifying: (expm1 (+ (* x y) x)) (log1p (+ (* x y) x)) (* (exp (* x y)) (exp x)) (log (+ (* x y) x)) (exp (+ (* x y) x)) (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x))) (cbrt (+ (* x y) x)) (* (* (+ (* x y) x) (+ (* x y) x)) (+ (* x y) x)) (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)) (+ (pow (* x y) 3) (pow x 3)) (+ (* (* x y) (* x y)) (- (* x x) (* (* x y) x))) (- (* (* x y) (* x y)) (* x x)) (- (* x y) x) (expm1 (+ (+ (* x y) x) y)) (log1p (+ (+ (* x y) x) y)) (* (* (exp (* x y)) (exp x)) (exp y)) (* (exp (+ (* x y) x)) (exp y)) (log (+ (+ (* x y) x) y)) (exp (+ (+ (* x y) x) y)) (* (cbrt (+ (+ (* x y) x) y)) (cbrt (+ (+ (* x y) x) y))) (cbrt (+ (+ (* x y) x) y)) (* (* (+ (+ (* x y) x) y) (+ (+ (* x y) x) y)) (+ (+ (* x y) x) y)) (sqrt (+ (+ (* x y) x) y)) (sqrt (+ (+ (* x y) x) y)) (+ (pow (+ (* x y) x) 3) (pow y 3)) (+ (* (+ (* x y) x) (+ (* x y) x)) (- (* y y) (* (+ (* x y) x) y))) (- (* (+ (* x y) x) (+ (* x y) x)) (* y y)) (- (+ (* x y) x) y) (+ (+ (* x y) x) y) (+ x y) (+ x (* x y)) (+ x (* x y)) (+ x (* x y)) (+ x (+ y (* x y))) (+ x (+ y (* x y))) (+ x (+ y (* x y))) 1.653 * * [simplify]: Extracting # 0 : cost 0 1.653 * * [simplify]: Extracting # 1 : cost 0 1.653 * * [simplify]: Extracting # 2 : cost 0 1.653 * * [simplify]: Extracting # 3 : cost 0 1.653 * * [simplify]: Extracting # 4 : cost 0 1.653 * * [simplify]: Extracting # 5 : cost 0 1.653 * * [simplify]: iteration 0 : 53 enodes (cost 338 ) 1.675 * * [simplify]: Extracting # 0 : cost 0 1.676 * * [simplify]: Extracting # 1 : cost 0 1.676 * * [simplify]: Extracting # 2 : cost 0 1.676 * * [simplify]: Extracting # 3 : cost 0 1.677 * * [simplify]: Extracting # 4 : cost 0 1.677 * * [simplify]: iteration 1 : 155 enodes (cost 281 ) 1.750 * * [simplify]: Extracting # 0 : cost 0 1.750 * * [simplify]: Extracting # 1 : cost 0 1.751 * * [simplify]: Extracting # 2 : cost 0 1.751 * * [simplify]: Extracting # 3 : cost 0 1.752 * * [simplify]: Extracting # 4 : cost 0 1.752 * * [simplify]: iteration 2 : 505 enodes (cost 264 ) 2.110 * * [simplify]: Extracting # 0 : cost 0 2.112 * * [simplify]: Extracting # 1 : cost 0 2.114 * * [simplify]: Extracting # 2 : cost 0 2.116 * * [simplify]: Extracting # 3 : cost 0 2.118 * * [simplify]: Extracting # 4 : cost 0 2.119 * * [simplify]: iteration 3 : 1847 enodes (cost 260 ) 4.083 * * [simplify]: Extracting # 0 : cost 0 4.093 * * [simplify]: Extracting # 1 : cost 0 4.104 * * [simplify]: Extracting # 2 : cost 0 4.114 * * [simplify]: Extracting # 3 : cost 0 4.134 * * [simplify]: Extracting # 4 : cost 0 4.145 * * [simplify]: iteration done: 5000 enodes (cost 260 ) 4.146 * [simplify]: Simplified to: (expm1 (fma x y x)) (log1p (fma x y x)) (exp (fma x y x)) (log (fma x y x)) (exp (fma x y x)) (* (cbrt (fma x y x)) (cbrt (fma x y x))) (cbrt (fma x y x)) (pow (fma x y x) 3) (sqrt (fma x y x)) (sqrt (fma x y x)) (+ (pow (* x y) 3) (pow x 3)) (* x (fma y (* x y) (- x (* x y)))) (* x (- (* y (* x y)) x)) (- (* x y) x) (expm1 (+ (fma x y x) y)) (log1p (+ (fma x y x) y)) (exp (+ (fma x y x) y)) (exp (+ (fma x y x) y)) (log (+ (fma x y x) y)) (exp (+ (fma x y x) y)) (* (cbrt (+ (fma x y x) y)) (cbrt (+ (fma x y x) y))) (cbrt (+ (fma x y x) y)) (pow (+ (fma x y x) y) 3) (sqrt (+ (fma x y x) y)) (sqrt (+ (fma x y x) y)) (+ (pow (fma x y x) 3) (pow y 3)) (fma y y (* (fma x y x) (- (fma x y x) y))) (- (* (fma x y x) (fma x y x)) (* y y)) (- (fma x y x) y) (+ (fma x y x) y) (+ x y) (fma x y x) (fma x y x) (fma x y x) (+ (fma x y x) y) (+ (fma x y x) y) (+ (fma x y x) y) 4.146 * * * [progress]: adding candidates to table 4.286 * [progress]: [Phase 3 of 3] Extracting. 4.287 * * [regime]: Finding splitpoints for: (# #) 4.287 * * * [regime-changes]: Trying 3 branch expressions: ((+ (+ (* x y) x) y) y x) 4.287 * * * * [regimes]: Trying to branch on (+ (+ (* x y) x) y) from (# #) 4.309 * * * * [regimes]: Trying to branch on y from (# #) 4.331 * * * * [regimes]: Trying to branch on x from (# #) 4.342 * * * [regime]: Found split indices: #