39.538 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.034 * * * [progress]: [2/2] Setting up program. 0.037 * [progress]: [Phase 2 of 3] Improving. 0.037 * [simplify]: Simplifying: (- (/ x x) (* (/ 1.0 x) (sqrt (* x x)))) 0.037 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.037 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.037 * * [simplify]: Extracting # 2 : cost 6 inf + 0 0.037 * * [simplify]: Extracting # 3 : cost 7 inf + 1 0.037 * * [simplify]: Extracting # 4 : cost 0 inf + 611 0.037 * * [simplify]: iteration 0 : 8 enodes (cost 242 ) 0.039 * * [simplify]: Extracting # 0 : cost 0 inf + 611 0.039 * * [simplify]: Extracting # 1 : cost 2 inf + 412 0.039 * * [simplify]: Extracting # 2 : cost 0 inf + 656 0.039 * * [simplify]: iteration 1 : 15 enodes (cost 163 ) 0.042 * * [simplify]: Extracting # 0 : cost 0 inf + 656 0.042 * * [simplify]: Extracting # 1 : cost 4 inf + 656 0.042 * * [simplify]: Extracting # 2 : cost 0 inf + 1022 0.042 * * [simplify]: iteration 2 : 32 enodes (cost 163 ) 0.046 * * [simplify]: Extracting # 0 : cost 0 inf + 1022 0.047 * * [simplify]: Extracting # 1 : cost 2 inf + 1022 0.047 * * [simplify]: Extracting # 2 : cost 0 inf + 1105 0.047 * * [simplify]: iteration 3 : 48 enodes (cost 163 ) 0.053 * * [simplify]: Extracting # 0 : cost 0 inf + 1105 0.053 * * [simplify]: Extracting # 1 : cost 3 inf + 1105 0.053 * * [simplify]: Extracting # 2 : cost 0 inf + 1389 0.054 * * [simplify]: iteration 4 : 55 enodes (cost 163 ) 0.060 * * [simplify]: Extracting # 0 : cost 0 inf + 1389 0.061 * * [simplify]: Extracting # 1 : cost 2 inf + 1389 0.061 * * [simplify]: Extracting # 2 : cost 0 inf + 1631 0.062 * * [simplify]: iteration 5 : 61 enodes (cost 163 ) 0.075 * * [simplify]: Extracting # 0 : cost 0 inf + 1631 0.076 * * [simplify]: iteration 6 : 67 enodes (cost 163 ) 0.091 * * [simplify]: Extracting # 0 : cost 0 inf + 1510 0.092 * * [simplify]: iteration 7 : 69 enodes (cost 163 ) 0.107 * * [simplify]: Extracting # 0 : cost 0 inf + 1510 0.108 * * [simplify]: iteration done: 69 enodes (cost 163 ) 0.108 * [simplify]: Simplified to: (- 1 (* (/ 1.0 x) (fabs x))) 0.131 * * [progress]: iteration 1 / 4 0.131 * * * [progress]: picking best candidate 0.135 * * * * [pick]: Picked # 0.135 * * * [progress]: localizing error 0.145 * * * [progress]: generating rewritten candidates 0.145 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.153 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.180 * * * [progress]: generating series expansions 0.180 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.180 * [backup-simplify]: Simplify (- 1 (* (/ 1.0 x) (fabs x))) into (- 1 (* 1.0 (/ (fabs x) x))) 0.180 * [approximate]: Taking taylor expansion of (- 1 (* 1.0 (/ (fabs x) x))) in (x) around 0 0.180 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ (fabs x) x))) in x 0.180 * [taylor]: Taking taylor expansion of 1 in x 0.180 * [backup-simplify]: Simplify 1 into 1 0.180 * [taylor]: Taking taylor expansion of (* 1.0 (/ (fabs x) x)) in x 0.180 * [taylor]: Taking taylor expansion of 1.0 in x 0.180 * [backup-simplify]: Simplify 1.0 into 1.0 0.180 * [taylor]: Taking taylor expansion of (/ (fabs x) x) in x 0.180 * [taylor]: Taking taylor expansion of (fabs x) in x 0.181 * [backup-simplify]: Simplify (fabs x) into (fabs x) 0.181 * [taylor]: Taking taylor expansion of x in x 0.181 * [backup-simplify]: Simplify 0 into 0 0.181 * [backup-simplify]: Simplify 1 into 1 0.181 * [backup-simplify]: Simplify (/ (fabs x) 1) into (fabs x) 0.181 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ (fabs x) x))) in x 0.181 * [taylor]: Taking taylor expansion of 1 in x 0.181 * [backup-simplify]: Simplify 1 into 1 0.181 * [taylor]: Taking taylor expansion of (* 1.0 (/ (fabs x) x)) in x 0.181 * [taylor]: Taking taylor expansion of 1.0 in x 0.181 * [backup-simplify]: Simplify 1.0 into 1.0 0.181 * [taylor]: Taking taylor expansion of (/ (fabs x) x) in x 0.181 * [taylor]: Taking taylor expansion of (fabs x) in x 0.181 * [backup-simplify]: Simplify (fabs x) into (fabs x) 0.181 * [taylor]: Taking taylor expansion of x in x 0.181 * [backup-simplify]: Simplify 0 into 0 0.181 * [backup-simplify]: Simplify 1 into 1 0.181 * [backup-simplify]: Simplify (/ (fabs x) 1) into (fabs x) 0.182 * [backup-simplify]: Simplify (* 1.0 (fabs x)) into (* 1.0 (fabs x)) 0.182 * [backup-simplify]: Simplify (- (* 1.0 (fabs x))) into (- (* 1.0 (fabs x))) 0.182 * [backup-simplify]: Simplify (+ 0 (- (* 1.0 (fabs x)))) into (- (* 1.0 (fabs x))) 0.182 * [backup-simplify]: Simplify (- (* 1.0 (fabs x))) into (- (* 1.0 (fabs x))) 0.183 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)))) into 0 0.184 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (fabs x))) into 0 0.184 * [backup-simplify]: Simplify (- 0) into 0 0.185 * [backup-simplify]: Simplify (+ 1 0) into 1 0.185 * [backup-simplify]: Simplify 1 into 1 0.186 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.186 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 0.187 * [backup-simplify]: Simplify (- 0) into 0 0.187 * [backup-simplify]: Simplify (+ 0 0) into 0 0.187 * [backup-simplify]: Simplify 0 into 0 0.188 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.189 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 0.190 * [backup-simplify]: Simplify (- 0) into 0 0.190 * [backup-simplify]: Simplify (+ 0 0) into 0 0.190 * [backup-simplify]: Simplify 0 into 0 0.192 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.193 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 0.193 * [backup-simplify]: Simplify (- 0) into 0 0.194 * [backup-simplify]: Simplify (+ 0 0) into 0 0.194 * [backup-simplify]: Simplify 0 into 0 0.196 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.197 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 0.197 * [backup-simplify]: Simplify (- 0) into 0 0.198 * [backup-simplify]: Simplify (+ 0 0) into 0 0.198 * [backup-simplify]: Simplify 0 into 0 0.200 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.202 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 0.202 * [backup-simplify]: Simplify (- 0) into 0 0.202 * [backup-simplify]: Simplify (+ 0 0) into 0 0.202 * [backup-simplify]: Simplify 0 into 0 0.205 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.207 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))))) into 0 0.207 * [backup-simplify]: Simplify (- 0) into 0 0.208 * [backup-simplify]: Simplify (+ 0 0) into 0 0.208 * [backup-simplify]: Simplify 0 into 0 0.208 * [backup-simplify]: Simplify (+ 1 (* (- (* 1.0 (fabs x))) (/ 1 x))) into (- 1 (* 1.0 (/ (fabs x) x))) 0.208 * [backup-simplify]: Simplify (- 1 (* (/ 1.0 (/ 1 x)) (fabs (/ 1 x)))) into (- 1 (* 1.0 (* x (fabs (/ 1 x))))) 0.208 * [approximate]: Taking taylor expansion of (- 1 (* 1.0 (* x (fabs (/ 1 x))))) in (x) around 0 0.208 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (* x (fabs (/ 1 x))))) in x 0.208 * [taylor]: Taking taylor expansion of 1 in x 0.208 * [backup-simplify]: Simplify 1 into 1 0.208 * [taylor]: Taking taylor expansion of (* 1.0 (* x (fabs (/ 1 x)))) in x 0.208 * [taylor]: Taking taylor expansion of 1.0 in x 0.208 * [backup-simplify]: Simplify 1.0 into 1.0 0.208 * [taylor]: Taking taylor expansion of (* x (fabs (/ 1 x))) in x 0.208 * [taylor]: Taking taylor expansion of x in x 0.208 * [backup-simplify]: Simplify 0 into 0 0.208 * [backup-simplify]: Simplify 1 into 1 0.208 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.208 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 0.208 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (* x (fabs (/ 1 x))))) in x 0.208 * [taylor]: Taking taylor expansion of 1 in x 0.208 * [backup-simplify]: Simplify 1 into 1 0.208 * [taylor]: Taking taylor expansion of (* 1.0 (* x (fabs (/ 1 x)))) in x 0.208 * [taylor]: Taking taylor expansion of 1.0 in x 0.208 * [backup-simplify]: Simplify 1.0 into 1.0 0.208 * [taylor]: Taking taylor expansion of (* x (fabs (/ 1 x))) in x 0.208 * [taylor]: Taking taylor expansion of x in x 0.208 * [backup-simplify]: Simplify 0 into 0 0.208 * [backup-simplify]: Simplify 1 into 1 0.208 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.208 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 0.209 * [backup-simplify]: Simplify (* 0 (fabs (/ 1 x))) into 0 0.209 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.210 * [backup-simplify]: Simplify (- 0) into 0 0.210 * [backup-simplify]: Simplify (+ 1 0) into 1 0.210 * [backup-simplify]: Simplify 1 into 1 0.210 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (fabs (/ 1 x)))) into (fabs (/ 1 x)) 0.211 * [backup-simplify]: Simplify (+ (* 1.0 (fabs (/ 1 x))) (* 0 0)) into (* 1.0 (fabs (/ 1 x))) 0.211 * [backup-simplify]: Simplify (- (* 1.0 (fabs (/ 1 x)))) into (- (* 1.0 (fabs (/ 1 x)))) 0.211 * [backup-simplify]: Simplify (+ 0 (- (* 1.0 (fabs (/ 1 x))))) into (- (* 1.0 (fabs (/ 1 x)))) 0.211 * [backup-simplify]: Simplify (- (* 1.0 (fabs (/ 1 x)))) into (- (* 1.0 (fabs (/ 1 x)))) 0.212 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (fabs (/ 1 x))))) into 0 0.213 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0))) into 0 0.213 * [backup-simplify]: Simplify (- 0) into 0 0.213 * [backup-simplify]: Simplify (+ 0 0) into 0 0.213 * [backup-simplify]: Simplify 0 into 0 0.214 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 0.215 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0)))) into 0 0.216 * [backup-simplify]: Simplify (- 0) into 0 0.216 * [backup-simplify]: Simplify (+ 0 0) into 0 0.216 * [backup-simplify]: Simplify 0 into 0 0.217 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 0.218 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0))))) into 0 0.219 * [backup-simplify]: Simplify (- 0) into 0 0.219 * [backup-simplify]: Simplify (+ 0 0) into 0 0.219 * [backup-simplify]: Simplify 0 into 0 0.220 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 0.222 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0)))))) into 0 0.222 * [backup-simplify]: Simplify (- 0) into 0 0.222 * [backup-simplify]: Simplify (+ 0 0) into 0 0.222 * [backup-simplify]: Simplify 0 into 0 0.224 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 0.226 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0))))))) into 0 0.226 * [backup-simplify]: Simplify (- 0) into 0 0.226 * [backup-simplify]: Simplify (+ 0 0) into 0 0.227 * [backup-simplify]: Simplify 0 into 0 0.228 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))))) into 0 0.230 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0)))))))) into 0 0.231 * [backup-simplify]: Simplify (- 0) into 0 0.231 * [backup-simplify]: Simplify (+ 0 0) into 0 0.231 * [backup-simplify]: Simplify 0 into 0 0.231 * [backup-simplify]: Simplify (+ (* (- (* 1.0 (fabs (/ 1 (/ 1 x))))) (/ 1 x)) 1) into (- 1 (* 1.0 (/ (fabs x) x))) 0.232 * [backup-simplify]: Simplify (- 1 (* (/ 1.0 (/ 1 (- x))) (fabs (/ 1 (- x))))) into (+ 1 (* 1.0 (* x (fabs (/ -1 x))))) 0.232 * [approximate]: Taking taylor expansion of (+ 1 (* 1.0 (* x (fabs (/ -1 x))))) in (x) around 0 0.232 * [taylor]: Taking taylor expansion of (+ 1 (* 1.0 (* x (fabs (/ -1 x))))) in x 0.232 * [taylor]: Taking taylor expansion of 1 in x 0.232 * [backup-simplify]: Simplify 1 into 1 0.232 * [taylor]: Taking taylor expansion of (* 1.0 (* x (fabs (/ -1 x)))) in x 0.232 * [taylor]: Taking taylor expansion of 1.0 in x 0.232 * [backup-simplify]: Simplify 1.0 into 1.0 0.232 * [taylor]: Taking taylor expansion of (* x (fabs (/ -1 x))) in x 0.232 * [taylor]: Taking taylor expansion of x in x 0.232 * [backup-simplify]: Simplify 0 into 0 0.232 * [backup-simplify]: Simplify 1 into 1 0.232 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.232 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 0.232 * [taylor]: Taking taylor expansion of (+ 1 (* 1.0 (* x (fabs (/ -1 x))))) in x 0.232 * [taylor]: Taking taylor expansion of 1 in x 0.232 * [backup-simplify]: Simplify 1 into 1 0.232 * [taylor]: Taking taylor expansion of (* 1.0 (* x (fabs (/ -1 x)))) in x 0.232 * [taylor]: Taking taylor expansion of 1.0 in x 0.232 * [backup-simplify]: Simplify 1.0 into 1.0 0.232 * [taylor]: Taking taylor expansion of (* x (fabs (/ -1 x))) in x 0.232 * [taylor]: Taking taylor expansion of x in x 0.232 * [backup-simplify]: Simplify 0 into 0 0.232 * [backup-simplify]: Simplify 1 into 1 0.232 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.233 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 0.233 * [backup-simplify]: Simplify (* 0 (fabs (/ -1 x))) into 0 0.243 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.244 * [backup-simplify]: Simplify (+ 1 0) into 1 0.244 * [backup-simplify]: Simplify 1 into 1 0.245 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (fabs (/ -1 x)))) into (fabs (/ -1 x)) 0.246 * [backup-simplify]: Simplify (+ (* 1.0 (fabs (/ -1 x))) (* 0 0)) into (* 1.0 (fabs (/ -1 x))) 0.246 * [backup-simplify]: Simplify (+ 0 (* 1.0 (fabs (/ -1 x)))) into (* 1.0 (fabs (/ -1 x))) 0.246 * [backup-simplify]: Simplify (* 1.0 (fabs (/ -1 x))) into (* 1.0 (fabs (/ -1 x))) 0.247 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (fabs (/ -1 x))))) into 0 0.249 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0))) into 0 0.249 * [backup-simplify]: Simplify (+ 0 0) into 0 0.249 * [backup-simplify]: Simplify 0 into 0 0.251 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 0.253 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0)))) into 0 0.253 * [backup-simplify]: Simplify (+ 0 0) into 0 0.253 * [backup-simplify]: Simplify 0 into 0 0.255 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 0.257 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0))))) into 0 0.258 * [backup-simplify]: Simplify (+ 0 0) into 0 0.258 * [backup-simplify]: Simplify 0 into 0 0.260 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 0.263 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0)))))) into 0 0.263 * [backup-simplify]: Simplify (+ 0 0) into 0 0.263 * [backup-simplify]: Simplify 0 into 0 0.266 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 0.269 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0))))))) into 0 0.269 * [backup-simplify]: Simplify (+ 0 0) into 0 0.269 * [backup-simplify]: Simplify 0 into 0 0.273 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))))) into 0 0.276 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0)))))))) into 0 0.276 * [backup-simplify]: Simplify (+ 0 0) into 0 0.276 * [backup-simplify]: Simplify 0 into 0 0.276 * [backup-simplify]: Simplify (+ (* (* 1.0 (fabs (/ -1 (/ 1 (- x))))) (/ 1 (- x))) 1) into (- 1 (* 1.0 (/ (fabs x) x))) 0.276 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.277 * [backup-simplify]: Simplify (* (/ 1.0 x) (fabs x)) into (* 1.0 (/ (fabs x) x)) 0.277 * [approximate]: Taking taylor expansion of (* 1.0 (/ (fabs x) x)) in (x) around 0 0.277 * [taylor]: Taking taylor expansion of (* 1.0 (/ (fabs x) x)) in x 0.277 * [taylor]: Taking taylor expansion of 1.0 in x 0.277 * [backup-simplify]: Simplify 1.0 into 1.0 0.277 * [taylor]: Taking taylor expansion of (/ (fabs x) x) in x 0.277 * [taylor]: Taking taylor expansion of (fabs x) in x 0.277 * [backup-simplify]: Simplify (fabs x) into (fabs x) 0.277 * [taylor]: Taking taylor expansion of x in x 0.277 * [backup-simplify]: Simplify 0 into 0 0.277 * [backup-simplify]: Simplify 1 into 1 0.277 * [backup-simplify]: Simplify (/ (fabs x) 1) into (fabs x) 0.277 * [taylor]: Taking taylor expansion of (* 1.0 (/ (fabs x) x)) in x 0.277 * [taylor]: Taking taylor expansion of 1.0 in x 0.277 * [backup-simplify]: Simplify 1.0 into 1.0 0.277 * [taylor]: Taking taylor expansion of (/ (fabs x) x) in x 0.277 * [taylor]: Taking taylor expansion of (fabs x) in x 0.277 * [backup-simplify]: Simplify (fabs x) into (fabs x) 0.277 * [taylor]: Taking taylor expansion of x in x 0.277 * [backup-simplify]: Simplify 0 into 0 0.277 * [backup-simplify]: Simplify 1 into 1 0.277 * [backup-simplify]: Simplify (/ (fabs x) 1) into (fabs x) 0.277 * [backup-simplify]: Simplify (* 1.0 (fabs x)) into (* 1.0 (fabs x)) 0.277 * [backup-simplify]: Simplify (* 1.0 (fabs x)) into (* 1.0 (fabs x)) 0.278 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)))) into 0 0.279 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (fabs x))) into 0 0.279 * [backup-simplify]: Simplify 0 into 0 0.280 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.281 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 0.281 * [backup-simplify]: Simplify 0 into 0 0.282 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.283 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 0.283 * [backup-simplify]: Simplify 0 into 0 0.285 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.286 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 0.286 * [backup-simplify]: Simplify 0 into 0 0.288 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.290 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 0.290 * [backup-simplify]: Simplify 0 into 0 0.292 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.294 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 0.294 * [backup-simplify]: Simplify 0 into 0 0.294 * [backup-simplify]: Simplify (* (* 1.0 (fabs x)) (/ 1 x)) into (* 1.0 (/ (fabs x) x)) 0.294 * [backup-simplify]: Simplify (* (/ 1.0 (/ 1 x)) (fabs (/ 1 x))) into (* 1.0 (* x (fabs (/ 1 x)))) 0.294 * [approximate]: Taking taylor expansion of (* 1.0 (* x (fabs (/ 1 x)))) in (x) around 0 0.294 * [taylor]: Taking taylor expansion of (* 1.0 (* x (fabs (/ 1 x)))) in x 0.294 * [taylor]: Taking taylor expansion of 1.0 in x 0.294 * [backup-simplify]: Simplify 1.0 into 1.0 0.294 * [taylor]: Taking taylor expansion of (* x (fabs (/ 1 x))) in x 0.294 * [taylor]: Taking taylor expansion of x in x 0.294 * [backup-simplify]: Simplify 0 into 0 0.294 * [backup-simplify]: Simplify 1 into 1 0.294 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.294 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 0.294 * [taylor]: Taking taylor expansion of (* 1.0 (* x (fabs (/ 1 x)))) in x 0.294 * [taylor]: Taking taylor expansion of 1.0 in x 0.294 * [backup-simplify]: Simplify 1.0 into 1.0 0.294 * [taylor]: Taking taylor expansion of (* x (fabs (/ 1 x))) in x 0.294 * [taylor]: Taking taylor expansion of x in x 0.294 * [backup-simplify]: Simplify 0 into 0 0.294 * [backup-simplify]: Simplify 1 into 1 0.294 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.295 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 0.295 * [backup-simplify]: Simplify (* 0 (fabs (/ 1 x))) into 0 0.295 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.295 * [backup-simplify]: Simplify 0 into 0 0.296 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (fabs (/ 1 x)))) into (fabs (/ 1 x)) 0.296 * [backup-simplify]: Simplify (+ (* 1.0 (fabs (/ 1 x))) (* 0 0)) into (* 1.0 (fabs (/ 1 x))) 0.296 * [backup-simplify]: Simplify (* 1.0 (fabs (/ 1 x))) into (* 1.0 (fabs (/ 1 x))) 0.297 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (fabs (/ 1 x))))) into 0 0.298 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0))) into 0 0.298 * [backup-simplify]: Simplify 0 into 0 0.299 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 0.300 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0)))) into 0 0.300 * [backup-simplify]: Simplify 0 into 0 0.301 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 0.302 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0))))) into 0 0.302 * [backup-simplify]: Simplify 0 into 0 0.304 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 0.306 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0)))))) into 0 0.306 * [backup-simplify]: Simplify 0 into 0 0.309 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 0.311 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0))))))) into 0 0.312 * [backup-simplify]: Simplify 0 into 0 0.315 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))))) into 0 0.318 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0)))))))) into 0 0.318 * [backup-simplify]: Simplify 0 into 0 0.318 * [backup-simplify]: Simplify (* (* 1.0 (fabs (/ 1 (/ 1 x)))) (/ 1 x)) into (* 1.0 (/ (fabs x) x)) 0.318 * [backup-simplify]: Simplify (* (/ 1.0 (/ 1 (- x))) (fabs (/ 1 (- x)))) into (* -1.0 (* x (fabs (/ -1 x)))) 0.318 * [approximate]: Taking taylor expansion of (* -1.0 (* x (fabs (/ -1 x)))) in (x) around 0 0.318 * [taylor]: Taking taylor expansion of (* -1.0 (* x (fabs (/ -1 x)))) in x 0.318 * [taylor]: Taking taylor expansion of -1.0 in x 0.318 * [backup-simplify]: Simplify -1.0 into -1.0 0.318 * [taylor]: Taking taylor expansion of (* x (fabs (/ -1 x))) in x 0.318 * [taylor]: Taking taylor expansion of x in x 0.318 * [backup-simplify]: Simplify 0 into 0 0.318 * [backup-simplify]: Simplify 1 into 1 0.318 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.318 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 0.319 * [taylor]: Taking taylor expansion of (* -1.0 (* x (fabs (/ -1 x)))) in x 0.319 * [taylor]: Taking taylor expansion of -1.0 in x 0.319 * [backup-simplify]: Simplify -1.0 into -1.0 0.319 * [taylor]: Taking taylor expansion of (* x (fabs (/ -1 x))) in x 0.319 * [taylor]: Taking taylor expansion of x in x 0.319 * [backup-simplify]: Simplify 0 into 0 0.319 * [backup-simplify]: Simplify 1 into 1 0.319 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.319 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 0.319 * [backup-simplify]: Simplify (* 0 (fabs (/ -1 x))) into 0 0.320 * [backup-simplify]: Simplify (* -1.0 0) into 0 0.320 * [backup-simplify]: Simplify 0 into 0 0.321 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (fabs (/ -1 x)))) into (fabs (/ -1 x)) 0.321 * [backup-simplify]: Simplify (+ (* -1.0 (fabs (/ -1 x))) (* 0 0)) into (- (* 1.0 (fabs (/ -1 x)))) 0.321 * [backup-simplify]: Simplify (- (* 1.0 (fabs (/ -1 x)))) into (- (* 1.0 (fabs (/ -1 x)))) 0.323 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (fabs (/ -1 x))))) into 0 0.324 * [backup-simplify]: Simplify (+ (* -1.0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0))) into 0 0.324 * [backup-simplify]: Simplify 0 into 0 0.325 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 0.327 * [backup-simplify]: Simplify (+ (* -1.0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0)))) into 0 0.327 * [backup-simplify]: Simplify 0 into 0 0.329 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 0.331 * [backup-simplify]: Simplify (+ (* -1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0))))) into 0 0.331 * [backup-simplify]: Simplify 0 into 0 0.334 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 0.336 * [backup-simplify]: Simplify (+ (* -1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0)))))) into 0 0.336 * [backup-simplify]: Simplify 0 into 0 0.339 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 0.341 * [backup-simplify]: Simplify (+ (* -1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0))))))) into 0 0.342 * [backup-simplify]: Simplify 0 into 0 0.345 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))))) into 0 0.348 * [backup-simplify]: Simplify (+ (* -1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0)))))))) into 0 0.348 * [backup-simplify]: Simplify 0 into 0 0.348 * [backup-simplify]: Simplify (* (- (* 1.0 (fabs (/ -1 (/ 1 (- x)))))) (/ 1 (- x))) into (* 1.0 (/ (fabs x) x)) 0.348 * * * [progress]: simplifying candidates 0.349 * [simplify]: Simplifying: (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (fabs x) (/ 1.0 x)))) (fma (- (fabs x)) (/ 1.0 x) (* (fabs x) (/ 1.0 x))) (fma (sqrt 1) (sqrt 1) (- (* (fabs x) (/ 1.0 x)))) (fma (- (fabs x)) (/ 1.0 x) (* (fabs x) (/ 1.0 x))) (fma 1 1 (- (* (fabs x) (/ 1.0 x)))) (fma (- (fabs x)) (/ 1.0 x) (* (fabs x) (/ 1.0 x))) (expm1 (- 1 (* (/ 1.0 x) (fabs x)))) (log1p (- 1 (* (/ 1.0 x) (fabs x)))) (- (* (/ 1.0 x) (fabs x))) (- (* (/ 1.0 x) (fabs x))) (- (* (/ 1.0 x) (fabs x))) (/ (exp 1) (exp (* (/ 1.0 x) (fabs x)))) (log (- 1 (* (/ 1.0 x) (fabs x)))) (exp (- 1 (* (/ 1.0 x) (fabs x)))) (* (cbrt (- 1 (* (/ 1.0 x) (fabs x)))) (cbrt (- 1 (* (/ 1.0 x) (fabs x))))) (cbrt (- 1 (* (/ 1.0 x) (fabs x)))) (* (* (- 1 (* (/ 1.0 x) (fabs x))) (- 1 (* (/ 1.0 x) (fabs x)))) (- 1 (* (/ 1.0 x) (fabs x)))) (sqrt (- 1 (* (/ 1.0 x) (fabs x)))) (sqrt (- 1 (* (/ 1.0 x) (fabs x)))) (- (pow 1 3) (pow (* (/ 1.0 x) (fabs x)) 3)) (+ (* 1 1) (+ (* (* (/ 1.0 x) (fabs x)) (* (/ 1.0 x) (fabs x))) (* 1 (* (/ 1.0 x) (fabs x))))) (- (* (/ 1.0 x) (fabs x))) (- (* 1 1) (* (* (/ 1.0 x) (fabs x)) (* (/ 1.0 x) (fabs x)))) (+ 1 (* (/ 1.0 x) (fabs x))) (- (* (/ 1.0 x) (fabs x))) (expm1 (* (/ 1.0 x) (fabs x))) (log1p (* (/ 1.0 x) (fabs x))) (* (/ 1.0 x) (fabs x)) (+ (- (log 1.0) (log x)) (log (fabs x))) (+ (log (/ 1.0 x)) (log (fabs x))) (log (* (/ 1.0 x) (fabs x))) (exp (* (/ 1.0 x) (fabs x))) (* (/ (* (* 1.0 1.0) 1.0) (* (* x x) x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (/ 1.0 x) (/ 1.0 x)) (/ 1.0 x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (/ 1.0 x) (fabs x))) (cbrt (* (/ 1.0 x) (fabs x)))) (cbrt (* (/ 1.0 x) (fabs x))) (* (* (* (/ 1.0 x) (fabs x)) (* (/ 1.0 x) (fabs x))) (* (/ 1.0 x) (fabs x))) (sqrt (* (/ 1.0 x) (fabs x))) (sqrt (* (/ 1.0 x) (fabs x))) (* (sqrt (/ 1.0 x)) (sqrt (fabs x))) (* (sqrt (/ 1.0 x)) (sqrt (fabs x))) (* (/ (sqrt 1.0) (sqrt x)) (sqrt (fabs x))) (* (/ (sqrt 1.0) (sqrt x)) (sqrt (fabs x))) (* (/ 1.0 x) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (/ 1.0 x) (sqrt (fabs x))) (* (/ 1.0 x) 1) (* (cbrt (/ 1.0 x)) (fabs x)) (* (sqrt (/ 1.0 x)) (fabs x)) (* (/ (cbrt 1.0) (cbrt x)) (fabs x)) (* (/ (cbrt 1.0) (sqrt x)) (fabs x)) (* (/ (cbrt 1.0) x) (fabs x)) (* (/ (sqrt 1.0) (cbrt x)) (fabs x)) (* (/ (sqrt 1.0) (sqrt x)) (fabs x)) (* (/ (sqrt 1.0) x) (fabs x)) (* (/ 1.0 (cbrt x)) (fabs x)) (* (/ 1.0 (sqrt x)) (fabs x)) (* (/ 1.0 x) (fabs x)) (* (/ 1.0 x) (fabs x)) (* (/ 1 x) (fabs x)) (* 1.0 (fabs x)) (- 1 (* 1.0 (/ (fabs x) x))) (- 1 (* 1.0 (/ (fabs x) x))) (- 1 (* 1.0 (/ (fabs x) x))) (* 1.0 (/ (fabs x) x)) (* 1.0 (/ (fabs x) x)) (* 1.0 (/ (fabs x) x)) 0.350 * * [simplify]: Extracting # 0 : cost 50 inf + 0 0.350 * * [simplify]: Extracting # 1 : cost 88 inf + 0 0.350 * * [simplify]: Extracting # 2 : cost 98 inf + 124 0.351 * * [simplify]: Extracting # 3 : cost 79 inf + 1992 0.352 * * [simplify]: Extracting # 4 : cost 28 inf + 10732 0.353 * * [simplify]: Extracting # 5 : cost 3 inf + 16038 0.354 * * [simplify]: Extracting # 6 : cost 0 inf + 16844 0.356 * * [simplify]: iteration 0 : 104 enodes (cost 13874 ) 0.391 * * [simplify]: Extracting # 0 : cost 0 inf + 16844 0.396 * * [simplify]: Extracting # 1 : cost 43 inf + 13429 0.401 * * [simplify]: Extracting # 2 : cost 3 inf + 19618 0.406 * * [simplify]: Extracting # 3 : cost 0 inf + 20285 0.412 * * [simplify]: iteration 1 : 258 enodes (cost 12742 ) 0.692 * * [simplify]: Extracting # 0 : cost 0 inf + 20285 0.708 * * [simplify]: Extracting # 1 : cost 547 inf + 16307 0.722 * * [simplify]: Extracting # 2 : cost 6 inf + 92923 0.747 * * [simplify]: Extracting # 3 : cost 6 inf + 92849 0.769 * * [simplify]: Extracting # 4 : cost 1 inf + 93750 0.787 * * [simplify]: Extracting # 5 : cost 0 inf + 94153 0.806 * * [simplify]: iteration 2 : 1671 enodes (cost 12391 ) 2.664 * * [simplify]: Extracting # 0 : cost 0 inf + 94153 2.785 * * [simplify]: Extracting # 1 : cost 1235 inf + 74071 2.830 * * [simplify]: Extracting # 2 : cost 61 inf + 183861 2.885 * * [simplify]: Extracting # 3 : cost 16 inf + 193405 2.943 * * [simplify]: Extracting # 4 : cost 0 inf + 199163 2.994 * * [simplify]: iteration done: 5001 enodes (cost 12319 ) 2.995 * [simplify]: Simplified to: (- 1 (* (fabs x) (/ 1.0 x))) (fma (/ (* (fabs x) 1.0) x) -1 (/ (* (fabs x) 1.0) x)) (- 1 (* (fabs x) (/ 1.0 x))) (fma (/ (* (fabs x) 1.0) x) -1 (/ (* (fabs x) 1.0) x)) (- 1 (* (fabs x) (/ 1.0 x))) (fma (/ (* (fabs x) 1.0) x) -1 (/ (* (fabs x) 1.0) x)) (expm1 (- 1 (* (/ 1.0 x) (fabs x)))) (log1p (- 1 (* (/ 1.0 x) (fabs x)))) (- (* (fabs x) (/ 1.0 x))) (- (* (fabs x) (/ 1.0 x))) (- (* (fabs x) (/ 1.0 x))) (/ E (exp (* (/ 1.0 x) (fabs x)))) (log (- 1 (* (/ 1.0 x) (fabs x)))) (/ E (exp (* (/ 1.0 x) (fabs x)))) (* (cbrt (- 1 (* (/ 1.0 x) (fabs x)))) (cbrt (- 1 (* (/ 1.0 x) (fabs x))))) (cbrt (- 1 (* (/ 1.0 x) (fabs x)))) (* (* (- 1 (* (/ 1.0 x) (fabs x))) (- 1 (* (/ 1.0 x) (fabs x)))) (- 1 (* (/ 1.0 x) (fabs x)))) (sqrt (- 1 (* (/ 1.0 x) (fabs x)))) (sqrt (- 1 (* (/ 1.0 x) (fabs x)))) (- 1 (* (* (* (/ 1.0 x) (fabs x)) (* (/ 1.0 x) (fabs x))) (* (/ 1.0 x) (fabs x)))) (+ (fma (* 1.0 (/ (fabs x) x)) (* 1.0 (/ (fabs x) x)) (* 1.0 (/ (fabs x) x))) 1) (- (* (fabs x) (/ 1.0 x))) (- 1 (* (* (/ 1.0 x) (fabs x)) (* (/ 1.0 x) (fabs x)))) (fma (/ 1.0 x) (fabs x) 1) (- (* (fabs x) (/ 1.0 x))) (expm1 (* (/ 1.0 x) (fabs x))) (log1p (* (/ 1.0 x) (fabs x))) (/ (* (fabs x) 1.0) x) (log (* (fabs x) (/ 1.0 x))) (log (* (fabs x) (/ 1.0 x))) (log (* (fabs x) (/ 1.0 x))) (exp (* (fabs x) (/ 1.0 x))) (* (* (fabs x) (/ 1.0 x)) (* (* (fabs x) (/ 1.0 x)) (* (fabs x) (/ 1.0 x)))) (* (* (fabs x) (/ 1.0 x)) (* (* (fabs x) (/ 1.0 x)) (* (fabs x) (/ 1.0 x)))) (* (cbrt (* (/ 1.0 x) (fabs x))) (cbrt (* (/ 1.0 x) (fabs x)))) (cbrt (* (/ 1.0 x) (fabs x))) (* (* (fabs x) (/ 1.0 x)) (* (* (fabs x) (/ 1.0 x)) (* (fabs x) (/ 1.0 x)))) (sqrt (* (/ 1.0 x) (fabs x))) (sqrt (* (/ 1.0 x) (fabs x))) (* (sqrt (/ 1.0 x)) (sqrt (fabs x))) (* (sqrt (/ 1.0 x)) (sqrt (fabs x))) (* (/ (sqrt 1.0) (sqrt x)) (sqrt (fabs x))) (* (/ (sqrt 1.0) (sqrt x)) (sqrt (fabs x))) (* (* (cbrt (fabs x)) (cbrt (fabs x))) (/ 1.0 x)) (* (sqrt (fabs x)) (/ 1.0 x)) (/ 1.0 x) (* (cbrt (/ 1.0 x)) (fabs x)) (* (sqrt (/ 1.0 x)) (fabs x)) (* (/ (cbrt 1.0) (cbrt x)) (fabs x)) (* (/ (cbrt 1.0) (sqrt x)) (fabs x)) (* (/ (cbrt 1.0) x) (fabs x)) (* (/ (sqrt 1.0) (cbrt x)) (fabs x)) (* (/ (sqrt 1.0) (sqrt x)) (fabs x)) (* (/ (sqrt 1.0) x) (fabs x)) (* (/ 1.0 (cbrt x)) (fabs x)) (* (/ 1.0 (sqrt x)) (fabs x)) (/ (* (fabs x) 1.0) x) (/ (* (fabs x) 1.0) x) (/ (fabs x) x) (* (fabs x) 1.0) (- 1 (* (fabs x) (/ 1.0 x))) (- 1 (* (fabs x) (/ 1.0 x))) (- 1 (* (fabs x) (/ 1.0 x))) (/ (* (fabs x) 1.0) x) (/ (* (fabs x) 1.0) x) (/ (* (fabs x) 1.0) x) 2.999 * * * [progress]: adding candidates to table 3.273 * * [progress]: iteration 2 / 4 3.273 * * * [progress]: picking best candidate 3.276 * * * * [pick]: Picked # 3.276 * * * [progress]: localizing error 3.286 * * * [progress]: generating rewritten candidates 3.286 * * * [progress]: generating series expansions 3.286 * * * [progress]: simplifying candidates 3.286 * [simplify]: Simplifying: 3.286 * * [simplify]: Extracting # 0 : cost 0 inf + 0 3.286 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 3.286 * * [simplify]: Extracting # 0 : cost 0 inf + 0 3.286 * * [simplify]: iteration done: 0 enodes (cost 0 ) 3.286 * [simplify]: Simplified to: 3.286 * * * [progress]: adding candidates to table 3.287 * [progress]: [Phase 3 of 3] Extracting. 3.290 * [simplify]: Simplifying: (- 1 (/ (* 1.0 (fabs x)) x)) 3.290 * * [simplify]: Extracting # 0 : cost 1 inf + 0 3.290 * * [simplify]: Extracting # 1 : cost 3 inf + 0 3.290 * * [simplify]: Extracting # 2 : cost 4 inf + 1 3.290 * * [simplify]: Extracting # 3 : cost 5 inf + 2 3.290 * * [simplify]: Extracting # 4 : cost 0 inf + 411 3.290 * * [simplify]: iteration 0 : 7 enodes (cost 163 ) 3.291 * * [simplify]: Extracting # 0 : cost 0 inf + 411 3.291 * * [simplify]: iteration 1 : 10 enodes (cost 163 ) 3.291 * * [simplify]: Extracting # 0 : cost 0 inf + 411 3.291 * * [simplify]: iteration done: 10 enodes (cost 163 ) 3.291 * [simplify]: Simplified to: (- 1 (/ (* 1.0 (fabs x)) x)) 5.867 * [regime-testing]: Baseline error score: 0 5.875 * [regime-testing]: Oracle error score: 0 5.875 * [regime-testing]: End program error score: 0 5.957 * [regime-testing]: Target error score: 0