3.206 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.088 * * * [progress]: [2/2] Setting up program. 0.090 * [progress]: [Phase 2 of 3] Improving. 0.090 * [simplify]: Simplifying: (+ (+ x (sin y)) (* z (cos y))) 0.090 * * [simplify]: Extracting # 0 : cost 0 0.090 * * [simplify]: Extracting # 1 : cost 0 0.090 * * [simplify]: Extracting # 2 : cost 0 0.090 * * [simplify]: Extracting # 3 : cost 0 0.090 * * [simplify]: Extracting # 4 : cost 0 0.091 * * [simplify]: Extracting # 5 : cost 0 0.091 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.092 * * [simplify]: Extracting # 0 : cost 0 0.092 * * [simplify]: Extracting # 1 : cost 0 0.092 * * [simplify]: Extracting # 2 : cost 0 0.093 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 0.096 * * [simplify]: Extracting # 0 : cost 0 0.096 * * [simplify]: Extracting # 1 : cost 0 0.096 * * [simplify]: Extracting # 2 : cost 0 0.096 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 0.102 * * [simplify]: Extracting # 0 : cost 0 0.103 * * [simplify]: iteration 3 : 21 enodes (cost 9 ) 0.108 * * [simplify]: Extracting # 0 : cost 0 0.108 * * [simplify]: iteration done: 21 enodes (cost 9 ) 0.108 * [simplify]: Simplified to: (+ (+ x (sin y)) (* z (cos y))) 0.109 * * [progress]: iteration 1 / 4 0.109 * * * [progress]: picking best candidate 0.113 * * * * [pick]: Picked # 0.113 * * * [progress]: localizing error 0.129 * * * [progress]: generating rewritten candidates 0.129 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.138 * * * [progress]: generating series expansions 0.138 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.138 * [backup-simplify]: Simplify (* z (cos y)) into (* (cos y) z) 0.139 * [approximate]: Taking taylor expansion of (* (cos y) z) in (z y) around 0 0.139 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 0.139 * [taylor]: Taking taylor expansion of (cos y) in y 0.139 * [taylor]: Taking taylor expansion of y in y 0.139 * [backup-simplify]: Simplify 0 into 0 0.139 * [backup-simplify]: Simplify 1 into 1 0.139 * [taylor]: Taking taylor expansion of z in y 0.139 * [backup-simplify]: Simplify z into z 0.139 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.139 * [taylor]: Taking taylor expansion of (cos y) in z 0.139 * [taylor]: Taking taylor expansion of y in z 0.139 * [backup-simplify]: Simplify y into y 0.139 * [backup-simplify]: Simplify (cos y) into (cos y) 0.139 * [backup-simplify]: Simplify (sin y) into (sin y) 0.139 * [taylor]: Taking taylor expansion of z in z 0.139 * [backup-simplify]: Simplify 0 into 0 0.139 * [backup-simplify]: Simplify 1 into 1 0.139 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.139 * [taylor]: Taking taylor expansion of (cos y) in z 0.139 * [taylor]: Taking taylor expansion of y in z 0.139 * [backup-simplify]: Simplify y into y 0.139 * [backup-simplify]: Simplify (cos y) into (cos y) 0.139 * [backup-simplify]: Simplify (sin y) into (sin y) 0.139 * [taylor]: Taking taylor expansion of z in z 0.139 * [backup-simplify]: Simplify 0 into 0 0.139 * [backup-simplify]: Simplify 1 into 1 0.139 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y) 0.140 * [backup-simplify]: Simplify (* (sin y) 0) into 0 0.140 * [backup-simplify]: Simplify (- 0) into 0 0.140 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y) 0.140 * [backup-simplify]: Simplify (* (cos y) 0) into 0 0.140 * [taylor]: Taking taylor expansion of 0 in y 0.140 * [backup-simplify]: Simplify 0 into 0 0.140 * [backup-simplify]: Simplify 0 into 0 0.141 * [backup-simplify]: Simplify (+ 0) into 0 0.141 * [backup-simplify]: Simplify (+ (* (cos y) 0) (* 0 1)) into 0 0.142 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.142 * [backup-simplify]: Simplify (+ (* (sin y) 0) (* 0 0)) into 0 0.142 * [backup-simplify]: Simplify (- 0) into 0 0.142 * [backup-simplify]: Simplify (+ 0 0) into 0 0.143 * [backup-simplify]: Simplify (+ (* (cos y) 1) (* 0 0)) into (cos y) 0.143 * [taylor]: Taking taylor expansion of (cos y) in y 0.143 * [taylor]: Taking taylor expansion of y in y 0.143 * [backup-simplify]: Simplify 0 into 0 0.143 * [backup-simplify]: Simplify 1 into 1 0.143 * [backup-simplify]: Simplify 1 into 1 0.143 * [backup-simplify]: Simplify 0 into 0 0.143 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.144 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (* 0 1))) into 0 0.144 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.145 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (* 0 0))) into 0 0.145 * [backup-simplify]: Simplify (- 0) into 0 0.145 * [backup-simplify]: Simplify (+ 0 0) into 0 0.145 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 1) (* 0 0))) into 0 0.146 * [taylor]: Taking taylor expansion of 0 in y 0.146 * [backup-simplify]: Simplify 0 into 0 0.146 * [backup-simplify]: Simplify 0 into 0 0.146 * [backup-simplify]: Simplify (+ 0) into 0 0.146 * [backup-simplify]: Simplify 0 into 0 0.146 * [backup-simplify]: Simplify 0 into 0 0.146 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.147 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.148 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.148 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.148 * [backup-simplify]: Simplify (- 0) into 0 0.149 * [backup-simplify]: Simplify (+ 0 0) into 0 0.149 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.149 * [taylor]: Taking taylor expansion of 0 in y 0.149 * [backup-simplify]: Simplify 0 into 0 0.149 * [backup-simplify]: Simplify 0 into 0 0.149 * [backup-simplify]: Simplify 0 into 0 0.149 * [backup-simplify]: Simplify (* 1 (* 1 z)) into z 0.150 * [backup-simplify]: Simplify (* (/ 1 z) (cos (/ 1 y))) into (/ (cos (/ 1 y)) z) 0.150 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0 0.150 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.150 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) 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 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.150 * [taylor]: Taking taylor expansion of z in y 0.150 * [backup-simplify]: Simplify z into z 0.151 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) z) into (/ (cos (/ 1 y)) z) 0.151 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.151 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.151 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.151 * [taylor]: Taking taylor expansion of y in z 0.151 * [backup-simplify]: Simplify y into y 0.151 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.151 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.151 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 0.151 * [taylor]: Taking taylor expansion of z in z 0.151 * [backup-simplify]: Simplify 0 into 0 0.151 * [backup-simplify]: Simplify 1 into 1 0.151 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 0.151 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 0.151 * [backup-simplify]: Simplify (- 0) into 0 0.152 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 0.152 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) 1) into (cos (/ 1 y)) 0.152 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.152 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.152 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.152 * [taylor]: Taking taylor expansion of y in z 0.152 * [backup-simplify]: Simplify y into y 0.152 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.152 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.152 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 0.152 * [taylor]: Taking taylor expansion of z in z 0.152 * [backup-simplify]: Simplify 0 into 0 0.152 * [backup-simplify]: Simplify 1 into 1 0.152 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y)) 0.152 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0 0.153 * [backup-simplify]: Simplify (- 0) into 0 0.153 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y)) 0.153 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) 1) into (cos (/ 1 y)) 0.153 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.153 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.153 * [taylor]: Taking taylor expansion of y in y 0.153 * [backup-simplify]: Simplify 0 into 0 0.153 * [backup-simplify]: Simplify 1 into 1 0.154 * [backup-simplify]: Simplify (/ 1 1) into 1 0.154 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.154 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 0.154 * [backup-simplify]: Simplify (+ 0) into 0 0.155 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0 0.155 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.156 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.156 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0 0.156 * [backup-simplify]: Simplify (- 0) into 0 0.157 * [backup-simplify]: Simplify (+ 0 0) into 0 0.158 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cos (/ 1 y)) (/ 0 1)))) into 0 0.158 * [taylor]: Taking taylor expansion of 0 in y 0.158 * [backup-simplify]: Simplify 0 into 0 0.158 * [backup-simplify]: Simplify 0 into 0 0.158 * [backup-simplify]: Simplify 0 into 0 0.159 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.159 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 0.160 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.160 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.161 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 0.162 * [backup-simplify]: Simplify (- 0) into 0 0.162 * [backup-simplify]: Simplify (+ 0 0) into 0 0.163 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cos (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.164 * [taylor]: Taking taylor expansion of 0 in y 0.164 * [backup-simplify]: Simplify 0 into 0 0.164 * [backup-simplify]: Simplify 0 into 0 0.164 * [backup-simplify]: Simplify 0 into 0 0.164 * [backup-simplify]: Simplify 0 into 0 0.186 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.187 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.187 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.189 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.190 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.190 * [backup-simplify]: Simplify (- 0) into 0 0.190 * [backup-simplify]: Simplify (+ 0 0) into 0 0.192 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cos (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.192 * [taylor]: Taking taylor expansion of 0 in y 0.192 * [backup-simplify]: Simplify 0 into 0 0.192 * [backup-simplify]: Simplify 0 into 0 0.192 * [backup-simplify]: Simplify (* (cos (/ 1 (/ 1 y))) (* 1 (/ 1 (/ 1 z)))) into (* z (cos y)) 0.193 * [backup-simplify]: Simplify (* (/ 1 (- z)) (cos (/ 1 (- y)))) into (* -1 (/ (cos (/ -1 y)) z)) 0.193 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in (z y) around 0 0.193 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y 0.193 * [taylor]: Taking taylor expansion of -1 in y 0.193 * [backup-simplify]: Simplify -1 into -1 0.193 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.193 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.193 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.193 * [taylor]: Taking taylor expansion of -1 in y 0.193 * [backup-simplify]: Simplify -1 into -1 0.193 * [taylor]: Taking taylor expansion of y in y 0.193 * [backup-simplify]: Simplify 0 into 0 0.193 * [backup-simplify]: Simplify 1 into 1 0.193 * [backup-simplify]: Simplify (/ -1 1) into -1 0.193 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.194 * [taylor]: Taking taylor expansion of z in y 0.194 * [backup-simplify]: Simplify z into z 0.194 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) z) into (/ (cos (/ -1 y)) z) 0.194 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 0.194 * [taylor]: Taking taylor expansion of -1 in z 0.194 * [backup-simplify]: Simplify -1 into -1 0.194 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.194 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.194 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.194 * [taylor]: Taking taylor expansion of -1 in z 0.194 * [backup-simplify]: Simplify -1 into -1 0.194 * [taylor]: Taking taylor expansion of y in z 0.194 * [backup-simplify]: Simplify y into y 0.194 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.194 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.194 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 0.194 * [taylor]: Taking taylor expansion of z in z 0.194 * [backup-simplify]: Simplify 0 into 0 0.194 * [backup-simplify]: Simplify 1 into 1 0.194 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 0.194 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 0.195 * [backup-simplify]: Simplify (- 0) into 0 0.195 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 0.195 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) 1) into (cos (/ -1 y)) 0.195 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 0.195 * [taylor]: Taking taylor expansion of -1 in z 0.195 * [backup-simplify]: Simplify -1 into -1 0.195 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.195 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.195 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.195 * [taylor]: Taking taylor expansion of -1 in z 0.195 * [backup-simplify]: Simplify -1 into -1 0.195 * [taylor]: Taking taylor expansion of y in z 0.195 * [backup-simplify]: Simplify y into y 0.195 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.195 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.195 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 0.196 * [taylor]: Taking taylor expansion of z in z 0.196 * [backup-simplify]: Simplify 0 into 0 0.196 * [backup-simplify]: Simplify 1 into 1 0.196 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y)) 0.198 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0 0.199 * [backup-simplify]: Simplify (- 0) into 0 0.199 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y)) 0.199 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) 1) into (cos (/ -1 y)) 0.199 * [backup-simplify]: Simplify (* -1 (cos (/ -1 y))) into (* -1 (cos (/ -1 y))) 0.199 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 0.199 * [taylor]: Taking taylor expansion of -1 in y 0.199 * [backup-simplify]: Simplify -1 into -1 0.199 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.199 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.199 * [taylor]: Taking taylor expansion of -1 in y 0.199 * [backup-simplify]: Simplify -1 into -1 0.199 * [taylor]: Taking taylor expansion of y in y 0.199 * [backup-simplify]: Simplify 0 into 0 0.199 * [backup-simplify]: Simplify 1 into 1 0.200 * [backup-simplify]: Simplify (/ -1 1) into -1 0.200 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 0.200 * [backup-simplify]: Simplify (* -1 (cos (/ -1 y))) into (* -1 (cos (/ -1 y))) 0.200 * [backup-simplify]: Simplify (* -1 (cos (/ -1 y))) into (* -1 (cos (/ -1 y))) 0.200 * [backup-simplify]: Simplify (+ 0) into 0 0.201 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0 0.201 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 0.202 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.202 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0 0.203 * [backup-simplify]: Simplify (- 0) into 0 0.203 * [backup-simplify]: Simplify (+ 0 0) into 0 0.204 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cos (/ -1 y)) (/ 0 1)))) into 0 0.204 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (cos (/ -1 y)))) into 0 0.204 * [taylor]: Taking taylor expansion of 0 in y 0.204 * [backup-simplify]: Simplify 0 into 0 0.204 * [backup-simplify]: Simplify 0 into 0 0.205 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (cos (/ -1 y)))) into 0 0.205 * [backup-simplify]: Simplify 0 into 0 0.206 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.207 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 0.207 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.208 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.208 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 0.208 * [backup-simplify]: Simplify (- 0) into 0 0.209 * [backup-simplify]: Simplify (+ 0 0) into 0 0.210 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cos (/ -1 y)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.211 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0 0.211 * [taylor]: Taking taylor expansion of 0 in y 0.211 * [backup-simplify]: Simplify 0 into 0 0.211 * [backup-simplify]: Simplify 0 into 0 0.211 * [backup-simplify]: Simplify 0 into 0 0.212 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0 0.212 * [backup-simplify]: Simplify 0 into 0 0.213 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.214 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.214 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.216 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.217 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.217 * [backup-simplify]: Simplify (- 0) into 0 0.217 * [backup-simplify]: Simplify (+ 0 0) into 0 0.220 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cos (/ -1 y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.221 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 y)))))) into 0 0.221 * [taylor]: Taking taylor expansion of 0 in y 0.221 * [backup-simplify]: Simplify 0 into 0 0.221 * [backup-simplify]: Simplify 0 into 0 0.222 * [backup-simplify]: Simplify (* (* -1 (cos (/ -1 (/ 1 (- y))))) (* 1 (/ 1 (/ 1 (- z))))) into (* z (cos y)) 0.222 * * * [progress]: simplifying candidates 0.222 * [simplify]: Simplifying: (* z (cos y)) (+ (log z) (log (cos y))) (log (* z (cos y))) (exp (* z (cos y))) (* (* (* z z) z) (* (* (cos y) (cos y)) (cos y))) (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (cbrt (* z (cos y))) (* (* (* z (cos y)) (* z (cos y))) (* z (cos y))) (sqrt (* z (cos y))) (sqrt (* z (cos y))) (* (sqrt z) (sqrt (cos y))) (* (sqrt z) (sqrt (cos y))) (* z (* (cbrt (cos y)) (cbrt (cos y)))) (* z (sqrt (cos y))) (* z 1) (* (cbrt z) (cos y)) (* (sqrt z) (cos y)) (* z (cos y)) z (* z (cos y)) (* z (cos y)) 0.223 * * [simplify]: Extracting # 0 : cost 0 0.223 * * [simplify]: Extracting # 1 : cost 0 0.223 * * [simplify]: Extracting # 2 : cost 0 0.223 * * [simplify]: Extracting # 3 : cost 0 0.223 * * [simplify]: Extracting # 4 : cost 0 0.223 * * [simplify]: Extracting # 5 : cost 0 0.224 * * [simplify]: iteration 0 : 31 enodes (cost 126 ) 0.236 * * [simplify]: Extracting # 0 : cost 0 0.237 * * [simplify]: Extracting # 1 : cost 0 0.237 * * [simplify]: Extracting # 2 : cost 0 0.237 * * [simplify]: iteration 1 : 60 enodes (cost 123 ) 0.255 * * [simplify]: Extracting # 0 : cost 0 0.256 * * [simplify]: Extracting # 1 : cost 0 0.256 * * [simplify]: Extracting # 2 : cost 0 0.256 * * [simplify]: Extracting # 3 : cost 0 0.256 * * [simplify]: Extracting # 4 : cost 0 0.256 * * [simplify]: iteration 2 : 119 enodes (cost 107 ) 0.305 * * [simplify]: Extracting # 0 : cost 0 0.305 * * [simplify]: Extracting # 1 : cost 0 0.305 * * [simplify]: Extracting # 2 : cost 0 0.306 * * [simplify]: Extracting # 3 : cost 0 0.306 * * [simplify]: Extracting # 4 : cost 0 0.306 * * [simplify]: iteration 3 : 164 enodes (cost 107 ) 0.381 * * [simplify]: Extracting # 0 : cost 0 0.381 * * [simplify]: Extracting # 1 : cost 0 0.382 * * [simplify]: Extracting # 2 : cost 0 0.382 * * [simplify]: Extracting # 3 : cost 0 0.382 * * [simplify]: Extracting # 4 : cost 0 0.382 * * [simplify]: iteration 4 : 231 enodes (cost 107 ) 0.494 * * [simplify]: Extracting # 0 : cost 0 0.494 * * [simplify]: Extracting # 1 : cost 0 0.494 * * [simplify]: Extracting # 2 : cost 0 0.495 * * [simplify]: Extracting # 3 : cost 0 0.495 * * [simplify]: Extracting # 4 : cost 0 0.495 * * [simplify]: iteration 5 : 443 enodes (cost 107 ) 0.830 * * [simplify]: Extracting # 0 : cost 0 0.832 * * [simplify]: Extracting # 1 : cost 0 0.834 * * [simplify]: Extracting # 2 : cost 0 0.836 * * [simplify]: Extracting # 3 : cost 0 0.839 * * [simplify]: Extracting # 4 : cost 0 0.841 * * [simplify]: iteration 6 : 1167 enodes (cost 107 ) 3.618 * * [simplify]: Extracting # 0 : cost 0 3.623 * * [simplify]: Extracting # 1 : cost 0 3.626 * * [simplify]: Extracting # 2 : cost 0 3.629 * * [simplify]: Extracting # 3 : cost 0 3.632 * * [simplify]: Extracting # 4 : cost 0 3.635 * * [simplify]: iteration 7 : 4304 enodes (cost 107 ) 5.383 * * [simplify]: Extracting # 0 : cost 0 5.390 * * [simplify]: Extracting # 1 : cost 0 5.394 * * [simplify]: Extracting # 2 : cost 0 5.405 * * [simplify]: Extracting # 3 : cost 0 5.408 * * [simplify]: iteration done: 5000 enodes (cost 107 ) 5.409 * [simplify]: Simplified to: (* z (cos y)) (log (* z (cos y))) (log (* z (cos y))) (exp (* z (cos y))) (pow (* z (cos y)) 3) (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (cbrt (* z (cos y))) (pow (* z (cos y)) 3) (sqrt (* z (cos y))) (sqrt (* z (cos y))) (* (sqrt z) (sqrt (cos y))) (* (sqrt z) (sqrt (cos y))) (* z (* (cbrt (cos y)) (cbrt (cos y)))) (* z (sqrt (cos y))) z (* (cbrt z) (cos y)) (* (sqrt z) (cos y)) (* z (cos y)) z (* z (cos y)) (* z (cos y)) 5.409 * * * [progress]: adding candidates to table 5.456 * * [progress]: iteration 2 / 4 5.456 * * * [progress]: picking best candidate 5.472 * * * * [pick]: Picked # 5.473 * * * [progress]: localizing error 5.497 * * * [progress]: generating rewritten candidates 5.497 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 5.498 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 5.499 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 5.500 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 5.522 * * * [progress]: generating series expansions 5.523 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)