0.001 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.099 * * * [progress]: [2/2] Setting up program. 0.104 * [progress]: [Phase 2 of 3] Improving. 0.104 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.104 * [simplify]: Simplifying (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 0.104 * * [simplify]: iters left: 6 (9 enodes) 0.109 * * [simplify]: iters left: 5 (32 enodes) 0.119 * * [simplify]: iters left: 4 (40 enodes) 0.128 * * [simplify]: iters left: 3 (42 enodes) 0.134 * * [simplify]: Extracting #0: cost 1 inf + 0 0.134 * * [simplify]: Extracting #1: cost 3 inf + 0 0.134 * * [simplify]: Extracting #2: cost 6 inf + 0 0.134 * * [simplify]: Extracting #3: cost 11 inf + 0 0.134 * * [simplify]: Extracting #4: cost 11 inf + 2 0.135 * * [simplify]: Extracting #5: cost 12 inf + 86 0.135 * * [simplify]: Extracting #6: cost 13 inf + 208 0.135 * * [simplify]: Extracting #7: cost 9 inf + 575 0.135 * * [simplify]: Extracting #8: cost 3 inf + 1386 0.135 * * [simplify]: Extracting #9: cost 0 inf + 2252 0.136 * [simplify]: Simplified to (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 0.136 * [simplify]: Simplified (2) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) 0.139 * * [progress]: iteration 1 / 4 0.139 * * * [progress]: picking best candidate 0.141 * * * * [pick]: Picked # 0.141 * * * [progress]: localizing error 0.159 * * * [progress]: generating rewritten candidates 0.159 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2 1) 0.167 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2 1 1) 0.176 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 0.219 * * * [progress]: generating series expansions 0.219 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2 1) 0.219 * [backup-simplify]: Simplify (sqrt (- 1 (* x x))) into (sqrt (- 1 (pow x 2))) 0.219 * [approximate]: Taking taylor expansion of (sqrt (- 1 (pow x 2))) in (x) around 0 0.219 * [taylor]: Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x 0.219 * [taylor]: Taking taylor expansion of (- 1 (pow x 2)) in x 0.219 * [taylor]: Taking taylor expansion of 1 in x 0.219 * [backup-simplify]: Simplify 1 into 1 0.219 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.219 * [taylor]: Taking taylor expansion of x in x 0.219 * [backup-simplify]: Simplify 0 into 0 0.219 * [backup-simplify]: Simplify 1 into 1 0.220 * [backup-simplify]: Simplify (+ 1 0) into 1 0.221 * [backup-simplify]: Simplify (sqrt 1) into 1 0.221 * [backup-simplify]: Simplify (+ 0 0) into 0 0.222 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 0.222 * [taylor]: Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x 0.222 * [taylor]: Taking taylor expansion of (- 1 (pow x 2)) in x 0.222 * [taylor]: Taking taylor expansion of 1 in x 0.222 * [backup-simplify]: Simplify 1 into 1 0.222 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.222 * [taylor]: Taking taylor expansion of x in x 0.222 * [backup-simplify]: Simplify 0 into 0 0.222 * [backup-simplify]: Simplify 1 into 1 0.222 * [backup-simplify]: Simplify (+ 1 0) into 1 0.223 * [backup-simplify]: Simplify (sqrt 1) into 1 0.223 * [backup-simplify]: Simplify (+ 0 0) into 0 0.224 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 0.224 * [backup-simplify]: Simplify 1 into 1 0.224 * [backup-simplify]: Simplify 0 into 0 0.224 * [backup-simplify]: Simplify (* 1 1) into 1 0.225 * [backup-simplify]: Simplify (- 1) into -1 0.225 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.226 * [backup-simplify]: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2 0.226 * [backup-simplify]: Simplify -1/2 into -1/2 0.227 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.227 * [backup-simplify]: Simplify (- 0) into 0 0.228 * [backup-simplify]: Simplify (+ 0 0) into 0 0.229 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0 0.229 * [backup-simplify]: Simplify 0 into 0 0.230 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.230 * [backup-simplify]: Simplify (- 0) into 0 0.231 * [backup-simplify]: Simplify (+ 0 0) into 0 0.232 * [backup-simplify]: Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8 0.232 * [backup-simplify]: Simplify -1/8 into -1/8 0.232 * [backup-simplify]: Simplify (+ (* -1/8 (pow x 4)) (+ (* -1/2 (pow x 2)) 1)) into (- 1 (+ (* 1/2 (pow x 2)) (* 1/8 (pow x 4)))) 0.232 * [backup-simplify]: Simplify (sqrt (- 1 (* (/ 1 x) (/ 1 x)))) into (sqrt (- 1 (/ 1 (pow x 2)))) 0.233 * [approximate]: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in (x) around 0 0.233 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 0.233 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 0.233 * [taylor]: Taking taylor expansion of 1 in x 0.233 * [backup-simplify]: Simplify 1 into 1 0.233 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.233 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.233 * [taylor]: Taking taylor expansion of x in x 0.233 * [backup-simplify]: Simplify 0 into 0 0.233 * [backup-simplify]: Simplify 1 into 1 0.233 * [backup-simplify]: Simplify (* 1 1) into 1 0.234 * [backup-simplify]: Simplify (/ 1 1) into 1 0.234 * [backup-simplify]: Simplify (- 1) into -1 0.234 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.235 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 0.235 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.236 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.237 * [backup-simplify]: Simplify (- 0) into 0 0.237 * [backup-simplify]: Simplify (+ 0 0) into 0 0.238 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 0.238 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 0.238 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 0.238 * [taylor]: Taking taylor expansion of 1 in x 0.238 * [backup-simplify]: Simplify 1 into 1 0.238 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.238 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.238 * [taylor]: Taking taylor expansion of x in x 0.238 * [backup-simplify]: Simplify 0 into 0 0.238 * [backup-simplify]: Simplify 1 into 1 0.238 * [backup-simplify]: Simplify (* 1 1) into 1 0.239 * [backup-simplify]: Simplify (/ 1 1) into 1 0.239 * [backup-simplify]: Simplify (- 1) into -1 0.240 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.240 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 0.241 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.241 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.242 * [backup-simplify]: Simplify (- 0) into 0 0.242 * [backup-simplify]: Simplify (+ 0 0) into 0 0.243 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 0.243 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 0.243 * [backup-simplify]: Simplify 0 into 0 0.244 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.245 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.246 * [backup-simplify]: Simplify (- 0) into 0 0.246 * [backup-simplify]: Simplify (+ 1 0) into 1 0.249 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 0.250 * [backup-simplify]: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1)) 0.251 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.252 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.253 * [backup-simplify]: Simplify (- 0) into 0 0.253 * [backup-simplify]: Simplify (+ 0 0) into 0 0.255 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0 0.255 * [backup-simplify]: Simplify 0 into 0 0.256 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.257 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.258 * [backup-simplify]: Simplify (- 0) into 0 0.258 * [backup-simplify]: Simplify (+ 0 0) into 0 0.263 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ 1/8 (sqrt -1)) 0.264 * [backup-simplify]: Simplify (/ 1/8 (sqrt -1)) into (/ 1/8 (sqrt -1)) 0.266 * [backup-simplify]: Simplify (+ (* (/ 1/8 (sqrt -1)) (pow (/ 1 x) 3)) (+ (* (/ 1/2 (sqrt -1)) (/ 1 x)) (* (sqrt -1) (/ 1 (/ 1 x))))) into (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (+ (* 1/8 (/ 1 (* (pow x 3) (sqrt -1)))) (* x (sqrt -1)))) 0.266 * [backup-simplify]: Simplify (sqrt (- 1 (* (/ 1 (- x)) (/ 1 (- x))))) into (sqrt (- 1 (/ 1 (pow x 2)))) 0.266 * [approximate]: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in (x) around 0 0.267 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 0.267 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 0.267 * [taylor]: Taking taylor expansion of 1 in x 0.267 * [backup-simplify]: Simplify 1 into 1 0.267 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.267 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.267 * [taylor]: Taking taylor expansion of x in x 0.267 * [backup-simplify]: Simplify 0 into 0 0.267 * [backup-simplify]: Simplify 1 into 1 0.267 * [backup-simplify]: Simplify (* 1 1) into 1 0.268 * [backup-simplify]: Simplify (/ 1 1) into 1 0.268 * [backup-simplify]: Simplify (- 1) into -1 0.269 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.269 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 0.270 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.271 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.271 * [backup-simplify]: Simplify (- 0) into 0 0.271 * [backup-simplify]: Simplify (+ 0 0) into 0 0.272 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 0.272 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 0.272 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 0.272 * [taylor]: Taking taylor expansion of 1 in x 0.272 * [backup-simplify]: Simplify 1 into 1 0.272 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.272 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.272 * [taylor]: Taking taylor expansion of x in x 0.272 * [backup-simplify]: Simplify 0 into 0 0.272 * [backup-simplify]: Simplify 1 into 1 0.273 * [backup-simplify]: Simplify (* 1 1) into 1 0.273 * [backup-simplify]: Simplify (/ 1 1) into 1 0.274 * [backup-simplify]: Simplify (- 1) into -1 0.274 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.274 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 0.275 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.276 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.276 * [backup-simplify]: Simplify (- 0) into 0 0.277 * [backup-simplify]: Simplify (+ 0 0) into 0 0.278 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 0.279 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 0.279 * [backup-simplify]: Simplify 0 into 0 0.280 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.281 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.281 * [backup-simplify]: Simplify (- 0) into 0 0.282 * [backup-simplify]: Simplify (+ 1 0) into 1 0.285 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 0.286 * [backup-simplify]: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1)) 0.287 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.288 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.288 * [backup-simplify]: Simplify (- 0) into 0 0.289 * [backup-simplify]: Simplify (+ 0 0) into 0 0.290 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0 0.290 * [backup-simplify]: Simplify 0 into 0 0.291 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.292 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.293 * [backup-simplify]: Simplify (- 0) into 0 0.293 * [backup-simplify]: Simplify (+ 0 0) into 0 0.298 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ 1/8 (sqrt -1)) 0.299 * [backup-simplify]: Simplify (/ 1/8 (sqrt -1)) into (/ 1/8 (sqrt -1)) 0.301 * [backup-simplify]: Simplify (+ (* (/ 1/8 (sqrt -1)) (pow (/ 1 (- x)) 3)) (+ (* (/ 1/2 (sqrt -1)) (/ 1 (- x))) (* (sqrt -1) (/ 1 (/ 1 (- x)))))) into (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (+ (* 1/8 (/ 1 (* (pow x 3) (sqrt -1)))) (* x (sqrt -1))))) 0.302 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2 1 1) 0.302 * [backup-simplify]: Simplify (- 1 (* x x)) into (- 1 (pow x 2)) 0.302 * [approximate]: Taking taylor expansion of (- 1 (pow x 2)) in (x) around 0 0.302 * [taylor]: Taking taylor expansion of (- 1 (pow x 2)) in x 0.302 * [taylor]: Taking taylor expansion of 1 in x 0.302 * [backup-simplify]: Simplify 1 into 1 0.302 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.302 * [taylor]: Taking taylor expansion of x in x 0.302 * [backup-simplify]: Simplify 0 into 0 0.302 * [backup-simplify]: Simplify 1 into 1 0.302 * [taylor]: Taking taylor expansion of (- 1 (pow x 2)) in x 0.302 * [taylor]: Taking taylor expansion of 1 in x 0.302 * [backup-simplify]: Simplify 1 into 1 0.302 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.302 * [taylor]: Taking taylor expansion of x in x 0.302 * [backup-simplify]: Simplify 0 into 0 0.302 * [backup-simplify]: Simplify 1 into 1 0.303 * [backup-simplify]: Simplify (+ 1 0) into 1 0.303 * [backup-simplify]: Simplify 1 into 1 0.303 * [backup-simplify]: Simplify (+ 0 0) into 0 0.303 * [backup-simplify]: Simplify 0 into 0 0.304 * [backup-simplify]: Simplify (* 1 1) into 1 0.304 * [backup-simplify]: Simplify (- 1) into -1 0.305 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.305 * [backup-simplify]: Simplify -1 into -1 0.306 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.306 * [backup-simplify]: Simplify (- 0) into 0 0.306 * [backup-simplify]: Simplify (+ 0 0) into 0 0.306 * [backup-simplify]: Simplify 0 into 0 0.307 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.308 * [backup-simplify]: Simplify (- 0) into 0 0.308 * [backup-simplify]: Simplify (+ 0 0) into 0 0.308 * [backup-simplify]: Simplify 0 into 0 0.309 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.310 * [backup-simplify]: Simplify (- 0) into 0 0.310 * [backup-simplify]: Simplify (+ 0 0) into 0 0.310 * [backup-simplify]: Simplify 0 into 0 0.311 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.312 * [backup-simplify]: Simplify (- 0) into 0 0.312 * [backup-simplify]: Simplify (+ 0 0) into 0 0.312 * [backup-simplify]: Simplify 0 into 0 0.314 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.314 * [backup-simplify]: Simplify (- 0) into 0 0.314 * [backup-simplify]: Simplify (+ 0 0) into 0 0.315 * [backup-simplify]: Simplify 0 into 0 0.316 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.317 * [backup-simplify]: Simplify (- 0) into 0 0.317 * [backup-simplify]: Simplify (+ 0 0) into 0 0.317 * [backup-simplify]: Simplify 0 into 0 0.317 * [backup-simplify]: Simplify (+ (* -1 (pow x 2)) 1) into (- 1 (pow x 2)) 0.317 * [backup-simplify]: Simplify (- 1 (* (/ 1 x) (/ 1 x))) into (- 1 (/ 1 (pow x 2))) 0.317 * [approximate]: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in (x) around 0 0.317 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 0.317 * [taylor]: Taking taylor expansion of 1 in x 0.318 * [backup-simplify]: Simplify 1 into 1 0.318 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.318 * [taylor]: Taking taylor expansion of (pow x 2) 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 * [backup-simplify]: Simplify (* 1 1) into 1 0.318 * [backup-simplify]: Simplify (/ 1 1) into 1 0.318 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 0.319 * [taylor]: Taking taylor expansion of 1 in x 0.319 * [backup-simplify]: Simplify 1 into 1 0.319 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.319 * [taylor]: Taking taylor expansion of (pow x 2) 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 * [backup-simplify]: Simplify (* 1 1) into 1 0.319 * [backup-simplify]: Simplify (/ 1 1) into 1 0.320 * [backup-simplify]: Simplify (- 1) into -1 0.320 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.320 * [backup-simplify]: Simplify -1 into -1 0.321 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.322 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.322 * [backup-simplify]: Simplify (- 0) into 0 0.323 * [backup-simplify]: Simplify (+ 0 0) into 0 0.323 * [backup-simplify]: Simplify 0 into 0 0.324 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.325 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.325 * [backup-simplify]: Simplify (- 0) into 0 0.326 * [backup-simplify]: Simplify (+ 1 0) into 1 0.326 * [backup-simplify]: Simplify 1 into 1 0.327 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.328 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.328 * [backup-simplify]: Simplify (- 0) into 0 0.329 * [backup-simplify]: Simplify (+ 0 0) into 0 0.329 * [backup-simplify]: Simplify 0 into 0 0.330 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.331 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.331 * [backup-simplify]: Simplify (- 0) into 0 0.332 * [backup-simplify]: Simplify (+ 0 0) into 0 0.332 * [backup-simplify]: Simplify 0 into 0 0.333 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.334 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.335 * [backup-simplify]: Simplify (- 0) into 0 0.335 * [backup-simplify]: Simplify (+ 0 0) into 0 0.335 * [backup-simplify]: Simplify 0 into 0 0.337 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.338 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.338 * [backup-simplify]: Simplify (- 0) into 0 0.338 * [backup-simplify]: Simplify (+ 0 0) into 0 0.338 * [backup-simplify]: Simplify 0 into 0 0.343 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 0.345 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.345 * [backup-simplify]: Simplify (- 0) into 0 0.346 * [backup-simplify]: Simplify (+ 0 0) into 0 0.346 * [backup-simplify]: Simplify 0 into 0 0.348 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 0.349 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.349 * [backup-simplify]: Simplify (- 0) into 0 0.349 * [backup-simplify]: Simplify (+ 0 0) into 0 0.349 * [backup-simplify]: Simplify 0 into 0 0.350 * [backup-simplify]: Simplify (+ 1 (* -1 (pow (/ 1 (/ 1 x)) 2))) into (- 1 (pow x 2)) 0.350 * [backup-simplify]: Simplify (- 1 (* (/ 1 (- x)) (/ 1 (- x)))) into (- 1 (/ 1 (pow x 2))) 0.350 * [approximate]: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in (x) around 0 0.350 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 0.350 * [taylor]: Taking taylor expansion of 1 in x 0.350 * [backup-simplify]: Simplify 1 into 1 0.350 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.350 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.350 * [taylor]: Taking taylor expansion of x in x 0.350 * [backup-simplify]: Simplify 0 into 0 0.350 * [backup-simplify]: Simplify 1 into 1 0.350 * [backup-simplify]: Simplify (* 1 1) into 1 0.350 * [backup-simplify]: Simplify (/ 1 1) into 1 0.350 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 0.350 * [taylor]: Taking taylor expansion of 1 in x 0.350 * [backup-simplify]: Simplify 1 into 1 0.350 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.350 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.350 * [taylor]: Taking taylor expansion of x in x 0.350 * [backup-simplify]: Simplify 0 into 0 0.350 * [backup-simplify]: Simplify 1 into 1 0.351 * [backup-simplify]: Simplify (* 1 1) into 1 0.351 * [backup-simplify]: Simplify (/ 1 1) into 1 0.351 * [backup-simplify]: Simplify (- 1) into -1 0.351 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.352 * [backup-simplify]: Simplify -1 into -1 0.352 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.352 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.353 * [backup-simplify]: Simplify (- 0) into 0 0.353 * [backup-simplify]: Simplify (+ 0 0) into 0 0.353 * [backup-simplify]: Simplify 0 into 0 0.353 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.354 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.354 * [backup-simplify]: Simplify (- 0) into 0 0.354 * [backup-simplify]: Simplify (+ 1 0) into 1 0.354 * [backup-simplify]: Simplify 1 into 1 0.355 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.356 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.356 * [backup-simplify]: Simplify (- 0) into 0 0.356 * [backup-simplify]: Simplify (+ 0 0) into 0 0.356 * [backup-simplify]: Simplify 0 into 0 0.357 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.357 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.358 * [backup-simplify]: Simplify (- 0) into 0 0.358 * [backup-simplify]: Simplify (+ 0 0) into 0 0.358 * [backup-simplify]: Simplify 0 into 0 0.359 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.359 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.359 * [backup-simplify]: Simplify (- 0) into 0 0.360 * [backup-simplify]: Simplify (+ 0 0) into 0 0.360 * [backup-simplify]: Simplify 0 into 0 0.360 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.361 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.361 * [backup-simplify]: Simplify (- 0) into 0 0.361 * [backup-simplify]: Simplify (+ 0 0) into 0 0.361 * [backup-simplify]: Simplify 0 into 0 0.362 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 0.363 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.363 * [backup-simplify]: Simplify (- 0) into 0 0.363 * [backup-simplify]: Simplify (+ 0 0) into 0 0.363 * [backup-simplify]: Simplify 0 into 0 0.364 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 0.365 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.365 * [backup-simplify]: Simplify (- 0) into 0 0.366 * [backup-simplify]: Simplify (+ 0 0) into 0 0.366 * [backup-simplify]: Simplify 0 into 0 0.366 * [backup-simplify]: Simplify (+ 1 (* -1 (pow (/ 1 (/ 1 (- x))) 2))) into (- 1 (pow x 2)) 0.366 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 0.366 * [backup-simplify]: Simplify (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) into (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) 0.366 * [approximate]: Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) in (x) around 0 0.366 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) in x 0.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.366 * [taylor]: Taking taylor expansion of x in x 0.366 * [backup-simplify]: Simplify 0 into 0 0.366 * [backup-simplify]: Simplify 1 into 1 0.366 * [backup-simplify]: Simplify (/ 1 1) into 1 0.366 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in x 0.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.366 * [taylor]: Taking taylor expansion of x in x 0.366 * [backup-simplify]: Simplify 0 into 0 0.366 * [backup-simplify]: Simplify 1 into 1 0.367 * [backup-simplify]: Simplify (/ 1 1) into 1 0.367 * [taylor]: Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x 0.367 * [taylor]: Taking taylor expansion of (- 1 (pow x 2)) in x 0.367 * [taylor]: Taking taylor expansion of 1 in x 0.367 * [backup-simplify]: Simplify 1 into 1 0.367 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.367 * [taylor]: Taking taylor expansion of x in x 0.367 * [backup-simplify]: Simplify 0 into 0 0.367 * [backup-simplify]: Simplify 1 into 1 0.367 * [backup-simplify]: Simplify (+ 1 0) into 1 0.367 * [backup-simplify]: Simplify (sqrt 1) into 1 0.368 * [backup-simplify]: Simplify (+ 0 0) into 0 0.368 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 0.368 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) in x 0.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.368 * [taylor]: Taking taylor expansion of x in x 0.368 * [backup-simplify]: Simplify 0 into 0 0.368 * [backup-simplify]: Simplify 1 into 1 0.368 * [backup-simplify]: Simplify (/ 1 1) into 1 0.368 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in x 0.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.368 * [taylor]: Taking taylor expansion of x in x 0.368 * [backup-simplify]: Simplify 0 into 0 0.368 * [backup-simplify]: Simplify 1 into 1 0.369 * [backup-simplify]: Simplify (/ 1 1) into 1 0.369 * [taylor]: Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x 0.369 * [taylor]: Taking taylor expansion of (- 1 (pow x 2)) in x 0.369 * [taylor]: Taking taylor expansion of 1 in x 0.369 * [backup-simplify]: Simplify 1 into 1 0.369 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.369 * [taylor]: Taking taylor expansion of x in x 0.369 * [backup-simplify]: Simplify 0 into 0 0.369 * [backup-simplify]: Simplify 1 into 1 0.369 * [backup-simplify]: Simplify (+ 1 0) into 1 0.369 * [backup-simplify]: Simplify (sqrt 1) into 1 0.370 * [backup-simplify]: Simplify (+ 0 0) into 0 0.370 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 0.370 * [backup-simplify]: Simplify (* 1 1) into 1 0.370 * [backup-simplify]: Simplify (+ 1 1) into 2 0.370 * [backup-simplify]: Simplify 2 into 2 0.371 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.371 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.372 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.372 * [backup-simplify]: Simplify (+ 0 0) into 0 0.372 * [backup-simplify]: Simplify 0 into 0 0.373 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.373 * [backup-simplify]: Simplify (* 1 1) into 1 0.373 * [backup-simplify]: Simplify (- 1) into -1 0.373 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.374 * [backup-simplify]: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2 0.374 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.375 * [backup-simplify]: Simplify (+ (* 1 -1/2) (+ (* 0 0) (* 0 1))) into -1/2 0.375 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2 0.375 * [backup-simplify]: Simplify -1/2 into -1/2 0.376 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.376 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.376 * [backup-simplify]: Simplify (- 0) into 0 0.377 * [backup-simplify]: Simplify (+ 0 0) into 0 0.377 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0 0.378 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.379 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 1)))) into 0 0.379 * [backup-simplify]: Simplify (+ 0 0) into 0 0.379 * [backup-simplify]: Simplify 0 into 0 0.380 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.380 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.381 * [backup-simplify]: Simplify (- 0) into 0 0.381 * [backup-simplify]: Simplify (+ 0 0) into 0 0.382 * [backup-simplify]: Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8 0.383 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.384 * [backup-simplify]: Simplify (+ (* 1 -1/8) (+ (* 0 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 1))))) into -1/8 0.385 * [backup-simplify]: Simplify (+ 0 -1/8) into -1/8 0.385 * [backup-simplify]: Simplify -1/8 into -1/8 0.385 * [backup-simplify]: Simplify (+ (* -1/8 (pow x 3)) (+ (* -1/2 x) (* 2 (/ 1 x)))) into (- (* 2 (/ 1 x)) (+ (* 1/2 x) (* 1/8 (pow x 3)))) 0.385 * [backup-simplify]: Simplify (+ (/ 1 (/ 1 x)) (/ (sqrt (- 1 (* (/ 1 x) (/ 1 x)))) (/ 1 x))) into (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) 0.385 * [approximate]: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in (x) around 0 0.385 * [taylor]: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 0.386 * [taylor]: Taking taylor expansion of x in x 0.386 * [backup-simplify]: Simplify 0 into 0 0.386 * [backup-simplify]: Simplify 1 into 1 0.386 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 0.386 * [taylor]: Taking taylor expansion of x in x 0.386 * [backup-simplify]: Simplify 0 into 0 0.386 * [backup-simplify]: Simplify 1 into 1 0.386 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 0.386 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 0.386 * [taylor]: Taking taylor expansion of 1 in x 0.386 * [backup-simplify]: Simplify 1 into 1 0.386 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.386 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.386 * [taylor]: Taking taylor expansion of x in x 0.386 * [backup-simplify]: Simplify 0 into 0 0.386 * [backup-simplify]: Simplify 1 into 1 0.386 * [backup-simplify]: Simplify (* 1 1) into 1 0.387 * [backup-simplify]: Simplify (/ 1 1) into 1 0.387 * [backup-simplify]: Simplify (- 1) into -1 0.387 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.388 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 0.388 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.389 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.389 * [backup-simplify]: Simplify (- 0) into 0 0.390 * [backup-simplify]: Simplify (+ 0 0) into 0 0.391 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 0.391 * [taylor]: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 0.391 * [taylor]: Taking taylor expansion of x in x 0.391 * [backup-simplify]: Simplify 0 into 0 0.391 * [backup-simplify]: Simplify 1 into 1 0.391 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 0.391 * [taylor]: Taking taylor expansion of x in x 0.391 * [backup-simplify]: Simplify 0 into 0 0.391 * [backup-simplify]: Simplify 1 into 1 0.391 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 0.391 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 0.391 * [taylor]: Taking taylor expansion of 1 in x 0.391 * [backup-simplify]: Simplify 1 into 1 0.391 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.391 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.391 * [taylor]: Taking taylor expansion of x in x 0.391 * [backup-simplify]: Simplify 0 into 0 0.391 * [backup-simplify]: Simplify 1 into 1 0.391 * [backup-simplify]: Simplify (* 1 1) into 1 0.392 * [backup-simplify]: Simplify (/ 1 1) into 1 0.392 * [backup-simplify]: Simplify (- 1) into -1 0.393 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.393 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 0.394 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.394 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.395 * [backup-simplify]: Simplify (- 0) into 0 0.395 * [backup-simplify]: Simplify (+ 0 0) into 0 0.396 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 0.396 * [backup-simplify]: Simplify (* 0 (sqrt -1)) into 0 0.397 * [backup-simplify]: Simplify (+ 0 0) into 0 0.397 * [backup-simplify]: Simplify 0 into 0 0.399 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1) 0.400 * [backup-simplify]: Simplify (+ 0 (sqrt -1)) into (sqrt -1) 0.400 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 0.401 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.402 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.402 * [backup-simplify]: Simplify (- 0) into 0 0.403 * [backup-simplify]: Simplify (+ 1 0) into 1 0.406 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 0.407 * [backup-simplify]: Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0 0.407 * [backup-simplify]: Simplify (+ 1 0) into 1 0.407 * [backup-simplify]: Simplify 1 into 1 0.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.409 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.410 * [backup-simplify]: Simplify (- 0) into 0 0.410 * [backup-simplify]: Simplify (+ 0 0) into 0 0.411 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0 0.414 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 1/2 (/ 1 (sqrt -1))) 0.416 * [backup-simplify]: Simplify (+ 0 (* 1/2 (/ 1 (sqrt -1)))) into (* 1/2 (/ 1 (sqrt -1))) 0.417 * [backup-simplify]: Simplify (* 1/2 (/ 1 (sqrt -1))) into (/ 1/2 (sqrt -1)) 0.418 * [backup-simplify]: Simplify (+ (* (/ 1/2 (sqrt -1)) (pow (/ 1 x) 2)) (+ (* 1 (/ 1 x)) (sqrt -1))) into (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (/ 1 x))) 0.418 * [backup-simplify]: Simplify (+ (/ 1 (/ 1 (- x))) (/ (sqrt (- 1 (* (/ 1 (- x)) (/ 1 (- x))))) (/ 1 (- x)))) into (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) 0.418 * [approximate]: Taking taylor expansion of (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in (x) around 0 0.418 * [taylor]: Taking taylor expansion of (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x 0.418 * [taylor]: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 0.418 * [taylor]: Taking taylor expansion of x in x 0.418 * [backup-simplify]: Simplify 0 into 0 0.418 * [backup-simplify]: Simplify 1 into 1 0.418 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 0.418 * [taylor]: Taking taylor expansion of x in x 0.418 * [backup-simplify]: Simplify 0 into 0 0.418 * [backup-simplify]: Simplify 1 into 1 0.418 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 0.418 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 0.418 * [taylor]: Taking taylor expansion of 1 in x 0.418 * [backup-simplify]: Simplify 1 into 1 0.418 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.418 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.418 * [taylor]: Taking taylor expansion of x in x 0.418 * [backup-simplify]: Simplify 0 into 0 0.418 * [backup-simplify]: Simplify 1 into 1 0.419 * [backup-simplify]: Simplify (* 1 1) into 1 0.419 * [backup-simplify]: Simplify (/ 1 1) into 1 0.419 * [backup-simplify]: Simplify (- 1) into -1 0.419 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.419 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 0.420 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.420 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.421 * [backup-simplify]: Simplify (- 0) into 0 0.421 * [backup-simplify]: Simplify (+ 0 0) into 0 0.421 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 0.421 * [taylor]: Taking taylor expansion of (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x 0.421 * [taylor]: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 0.421 * [taylor]: Taking taylor expansion of x in x 0.421 * [backup-simplify]: Simplify 0 into 0 0.421 * [backup-simplify]: Simplify 1 into 1 0.421 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 0.421 * [taylor]: Taking taylor expansion of x in x 0.421 * [backup-simplify]: Simplify 0 into 0 0.421 * [backup-simplify]: Simplify 1 into 1 0.421 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 0.421 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 0.421 * [taylor]: Taking taylor expansion of 1 in x 0.421 * [backup-simplify]: Simplify 1 into 1 0.421 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.421 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.421 * [taylor]: Taking taylor expansion of x in x 0.421 * [backup-simplify]: Simplify 0 into 0 0.422 * [backup-simplify]: Simplify 1 into 1 0.422 * [backup-simplify]: Simplify (* 1 1) into 1 0.422 * [backup-simplify]: Simplify (/ 1 1) into 1 0.422 * [backup-simplify]: Simplify (- 1) into -1 0.422 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.423 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 0.423 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.424 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.424 * [backup-simplify]: Simplify (- 0) into 0 0.424 * [backup-simplify]: Simplify (+ 0 0) into 0 0.424 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 0.425 * [backup-simplify]: Simplify (* 0 (sqrt -1)) into 0 0.425 * [backup-simplify]: Simplify (+ 0 0) into 0 0.425 * [backup-simplify]: Simplify (- 0) into 0 0.425 * [backup-simplify]: Simplify 0 into 0 0.427 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1) 0.427 * [backup-simplify]: Simplify (+ 0 (sqrt -1)) into (sqrt -1) 0.428 * [backup-simplify]: Simplify (- (sqrt -1)) into (- (sqrt -1)) 0.428 * [backup-simplify]: Simplify (- (sqrt -1)) into (- (sqrt -1)) 0.429 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.429 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.430 * [backup-simplify]: Simplify (- 0) into 0 0.430 * [backup-simplify]: Simplify (+ 1 0) into 1 0.432 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 0.432 * [backup-simplify]: Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0 0.433 * [backup-simplify]: Simplify (+ 1 0) into 1 0.433 * [backup-simplify]: Simplify (- 1) into -1 0.433 * [backup-simplify]: Simplify -1 into -1 0.433 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.434 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.434 * [backup-simplify]: Simplify (- 0) into 0 0.434 * [backup-simplify]: Simplify (+ 0 0) into 0 0.435 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0 0.440 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 1/2 (/ 1 (sqrt -1))) 0.444 * [backup-simplify]: Simplify (+ 0 (* 1/2 (/ 1 (sqrt -1)))) into (* 1/2 (/ 1 (sqrt -1))) 0.447 * [backup-simplify]: Simplify (- (* 1/2 (/ 1 (sqrt -1)))) into (- (* 1/2 (/ 1 (sqrt -1)))) 0.449 * [backup-simplify]: Simplify (- (* 1/2 (/ 1 (sqrt -1)))) into (- (* 1/2 (/ 1 (sqrt -1)))) 0.452 * [backup-simplify]: Simplify (+ (* (- (* 1/2 (/ 1 (sqrt -1)))) (pow (/ 1 (- x)) 2)) (+ (* -1 (/ 1 (- x))) (- (sqrt -1)))) into (- (/ 1 x) (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (sqrt -1))) 0.453 * * * [progress]: simplifying candidates 0.453 * * * * [progress]: [ 1 / 67 ] simplifiying candidate # 0.453 * * * * [progress]: [ 2 / 67 ] simplifiying candidate # 0.453 * * * * [progress]: [ 3 / 67 ] simplifiying candidate # 0.453 * [simplify]: Simplifying (log (sqrt (- 1 (* x x)))) 0.453 * * [simplify]: iters left: 6 (6 enodes) 0.456 * * [simplify]: iters left: 5 (22 enodes) 0.460 * * [simplify]: iters left: 4 (30 enodes) 0.465 * * [simplify]: iters left: 3 (32 enodes) 0.469 * * [simplify]: Extracting #0: cost 1 inf + 0 0.470 * * [simplify]: Extracting #1: cost 3 inf + 0 0.470 * * [simplify]: Extracting #2: cost 5 inf + 0 0.470 * * [simplify]: Extracting #3: cost 9 inf + 0 0.470 * * [simplify]: Extracting #4: cost 12 inf + 1 0.470 * * [simplify]: Extracting #5: cost 11 inf + 43 0.470 * * [simplify]: Extracting #6: cost 5 inf + 410 0.470 * * [simplify]: Extracting #7: cost 1 inf + 928 0.470 * * [simplify]: Extracting #8: cost 0 inf + 1120 0.470 * [simplify]: Simplified to (log (sqrt (- 1 (* x x)))) 0.470 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (exp (log (sqrt (- 1 (* x x))))) x)))) 0.471 * * * * [progress]: [ 4 / 67 ] simplifiying candidate # 0.471 * [simplify]: Simplifying (exp (sqrt (- 1 (* x x)))) 0.471 * * [simplify]: iters left: 6 (6 enodes) 0.472 * * [simplify]: iters left: 5 (22 enodes) 0.476 * * [simplify]: iters left: 4 (30 enodes) 0.481 * * [simplify]: iters left: 3 (32 enodes) 0.486 * * [simplify]: Extracting #0: cost 1 inf + 0 0.486 * * [simplify]: Extracting #1: cost 3 inf + 0 0.486 * * [simplify]: Extracting #2: cost 5 inf + 0 0.486 * * [simplify]: Extracting #3: cost 9 inf + 0 0.486 * * [simplify]: Extracting #4: cost 12 inf + 1 0.486 * * [simplify]: Extracting #5: cost 11 inf + 43 0.486 * * [simplify]: Extracting #6: cost 5 inf + 410 0.486 * * [simplify]: Extracting #7: cost 1 inf + 928 0.486 * * [simplify]: Extracting #8: cost 0 inf + 1120 0.487 * [simplify]: Simplified to (exp (sqrt (- 1 (* x x)))) 0.487 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (log (exp (sqrt (- 1 (* x x))))) x)))) 0.487 * * * * [progress]: [ 5 / 67 ] simplifiying candidate # 0.487 * [simplify]: Simplifying (* (cbrt (sqrt (- 1 (* x x)))) (cbrt (sqrt (- 1 (* x x))))) 0.487 * * [simplify]: iters left: 6 (7 enodes) 0.489 * * [simplify]: iters left: 5 (25 enodes) 0.493 * * [simplify]: iters left: 4 (33 enodes) 0.502 * * [simplify]: iters left: 3 (35 enodes) 0.512 * * [simplify]: Extracting #0: cost 1 inf + 0 0.512 * * [simplify]: Extracting #1: cost 3 inf + 0 0.512 * * [simplify]: Extracting #2: cost 5 inf + 0 0.512 * * [simplify]: Extracting #3: cost 7 inf + 0 0.512 * * [simplify]: Extracting #4: cost 11 inf + 0 0.512 * * [simplify]: Extracting #5: cost 14 inf + 1 0.512 * * [simplify]: Extracting #6: cost 14 inf + 2 0.513 * * [simplify]: Extracting #7: cost 6 inf + 492 0.513 * * [simplify]: Extracting #8: cost 4 inf + 816 0.514 * * [simplify]: Extracting #9: cost 1 inf + 1382 0.514 * * [simplify]: Extracting #10: cost 0 inf + 1624 0.515 * [simplify]: Simplified to (* (cbrt (sqrt (- 1 (* x x)))) (cbrt (sqrt (- 1 (* x x))))) 0.515 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (* (* (cbrt (sqrt (- 1 (* x x)))) (cbrt (sqrt (- 1 (* x x))))) (cbrt (sqrt (- 1 (* x x))))) x)))) 0.515 * [simplify]: Simplifying (cbrt (sqrt (- 1 (* x x)))) 0.515 * * [simplify]: iters left: 6 (6 enodes) 0.518 * * [simplify]: iters left: 5 (22 enodes) 0.525 * * [simplify]: iters left: 4 (30 enodes) 0.534 * * [simplify]: iters left: 3 (32 enodes) 0.543 * * [simplify]: Extracting #0: cost 1 inf + 0 0.543 * * [simplify]: Extracting #1: cost 3 inf + 0 0.543 * * [simplify]: Extracting #2: cost 5 inf + 0 0.543 * * [simplify]: Extracting #3: cost 9 inf + 0 0.543 * * [simplify]: Extracting #4: cost 12 inf + 1 0.543 * * [simplify]: Extracting #5: cost 11 inf + 43 0.543 * * [simplify]: Extracting #6: cost 5 inf + 410 0.544 * * [simplify]: Extracting #7: cost 1 inf + 938 0.544 * * [simplify]: Extracting #8: cost 0 inf + 1140 0.544 * [simplify]: Simplified to (cbrt (sqrt (- 1 (* x x)))) 0.544 * [simplify]: Simplified (2 1 2 1 2) to (λ (x) (log (+ (/ 1 x) (/ (* (* (cbrt (sqrt (- 1 (* x x)))) (cbrt (sqrt (- 1 (* x x))))) (cbrt (sqrt (- 1 (* x x))))) x)))) 0.545 * * * * [progress]: [ 6 / 67 ] simplifiying candidate # 0.545 * [simplify]: Simplifying (* (* (sqrt (- 1 (* x x))) (sqrt (- 1 (* x x)))) (sqrt (- 1 (* x x)))) 0.545 * * [simplify]: iters left: 6 (7 enodes) 0.549 * * [simplify]: iters left: 5 (24 enodes) 0.557 * * [simplify]: iters left: 4 (41 enodes) 0.573 * * [simplify]: iters left: 3 (67 enodes) 0.595 * * [simplify]: iters left: 2 (140 enodes) 0.632 * * [simplify]: iters left: 1 (190 enodes) 0.701 * * [simplify]: Extracting #0: cost 1 inf + 0 0.702 * * [simplify]: Extracting #1: cost 15 inf + 0 0.702 * * [simplify]: Extracting #2: cost 38 inf + 2 0.702 * * [simplify]: Extracting #3: cost 40 inf + 7 0.703 * * [simplify]: Extracting #4: cost 32 inf + 416 0.704 * * [simplify]: Extracting #5: cost 17 inf + 4385 0.708 * * [simplify]: Extracting #6: cost 0 inf + 10726 0.712 * [simplify]: Simplified to (* (sqrt (- 1 (* x x))) (- 1 (* x x))) 0.712 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (cbrt (* (sqrt (- 1 (* x x))) (- 1 (* x x)))) x)))) 0.712 * * * * [progress]: [ 7 / 67 ] simplifiying candidate # 0.712 * [simplify]: Simplifying (sqrt (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))) 0.712 * * [simplify]: iters left: 6 (7 enodes) 0.716 * * [simplify]: iters left: 5 (26 enodes) 0.724 * * [simplify]: iters left: 4 (34 enodes) 0.734 * * [simplify]: iters left: 3 (36 enodes) 0.744 * * [simplify]: Extracting #0: cost 1 inf + 0 0.744 * * [simplify]: Extracting #1: cost 4 inf + 0 0.744 * * [simplify]: Extracting #2: cost 7 inf + 0 0.745 * * [simplify]: Extracting #3: cost 11 inf + 0 0.745 * * [simplify]: Extracting #4: cost 14 inf + 1 0.745 * * [simplify]: Extracting #5: cost 13 inf + 43 0.745 * * [simplify]: Extracting #6: cost 7 inf + 410 0.745 * * [simplify]: Extracting #7: cost 1 inf + 1422 0.746 * * [simplify]: Extracting #8: cost 0 inf + 1624 0.746 * [simplify]: Simplified to (fabs (cbrt (- 1 (* x x)))) 0.747 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (* (fabs (cbrt (- 1 (* x x)))) (sqrt (cbrt (- 1 (* x x))))) x)))) 0.747 * [simplify]: Simplifying (sqrt (cbrt (- 1 (* x x)))) 0.747 * * [simplify]: iters left: 6 (6 enodes) 0.750 * * [simplify]: iters left: 5 (22 enodes) 0.758 * * [simplify]: iters left: 4 (30 enodes) 0.767 * * [simplify]: iters left: 3 (32 enodes) 0.776 * * [simplify]: Extracting #0: cost 1 inf + 0 0.776 * * [simplify]: Extracting #1: cost 3 inf + 0 0.776 * * [simplify]: Extracting #2: cost 5 inf + 0 0.776 * * [simplify]: Extracting #3: cost 9 inf + 0 0.776 * * [simplify]: Extracting #4: cost 12 inf + 1 0.776 * * [simplify]: Extracting #5: cost 11 inf + 43 0.776 * * [simplify]: Extracting #6: cost 5 inf + 410 0.777 * * [simplify]: Extracting #7: cost 1 inf + 1018 0.777 * * [simplify]: Extracting #8: cost 0 inf + 1220 0.778 * [simplify]: Simplified to (sqrt (cbrt (- 1 (* x x)))) 0.778 * [simplify]: Simplified (2 1 2 1 2) to (λ (x) (log (+ (/ 1 x) (/ (* (fabs (cbrt (- 1 (* x x)))) (sqrt (cbrt (- 1 (* x x))))) x)))) 0.778 * * * * [progress]: [ 8 / 67 ] simplifiying candidate # 0.778 * [simplify]: Simplifying (sqrt (sqrt (- 1 (* x x)))) 0.778 * * [simplify]: iters left: 6 (6 enodes) 0.782 * * [simplify]: iters left: 5 (22 enodes) 0.789 * * [simplify]: iters left: 4 (30 enodes) 0.798 * * [simplify]: iters left: 3 (32 enodes) 0.807 * * [simplify]: Extracting #0: cost 1 inf + 0 0.807 * * [simplify]: Extracting #1: cost 3 inf + 0 0.807 * * [simplify]: Extracting #2: cost 5 inf + 0 0.807 * * [simplify]: Extracting #3: cost 9 inf + 0 0.807 * * [simplify]: Extracting #4: cost 12 inf + 1 0.807 * * [simplify]: Extracting #5: cost 11 inf + 43 0.808 * * [simplify]: Extracting #6: cost 5 inf + 410 0.808 * * [simplify]: Extracting #7: cost 1 inf + 898 0.808 * * [simplify]: Extracting #8: cost 0 inf + 1060 0.809 * [simplify]: Simplified to (sqrt (sqrt (- 1 (* x x)))) 0.809 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (* (sqrt (sqrt (- 1 (* x x)))) (sqrt (sqrt (- 1 (* x x))))) x)))) 0.809 * [simplify]: Simplifying (sqrt (sqrt (- 1 (* x x)))) 0.809 * * [simplify]: iters left: 6 (6 enodes) 0.813 * * [simplify]: iters left: 5 (22 enodes) 0.820 * * [simplify]: iters left: 4 (30 enodes) 0.828 * * [simplify]: iters left: 3 (32 enodes) 0.838 * * [simplify]: Extracting #0: cost 1 inf + 0 0.838 * * [simplify]: Extracting #1: cost 3 inf + 0 0.838 * * [simplify]: Extracting #2: cost 5 inf + 0 0.838 * * [simplify]: Extracting #3: cost 9 inf + 0 0.838 * * [simplify]: Extracting #4: cost 12 inf + 1 0.838 * * [simplify]: Extracting #5: cost 11 inf + 43 0.839 * * [simplify]: Extracting #6: cost 5 inf + 410 0.839 * * [simplify]: Extracting #7: cost 1 inf + 898 0.839 * * [simplify]: Extracting #8: cost 0 inf + 1060 0.840 * [simplify]: Simplified to (sqrt (sqrt (- 1 (* x x)))) 0.840 * [simplify]: Simplified (2 1 2 1 2) to (λ (x) (log (+ (/ 1 x) (/ (* (sqrt (sqrt (- 1 (* x x)))) (sqrt (sqrt (- 1 (* x x))))) x)))) 0.840 * * * * [progress]: [ 9 / 67 ] simplifiying candidate # 0.840 * [simplify]: Simplifying (sqrt 1) 0.840 * * [simplify]: iters left: 1 (2 enodes) 0.842 * * [simplify]: Extracting #0: cost 1 inf + 0 0.843 * * [simplify]: Extracting #1: cost 0 inf + 1 0.843 * [simplify]: Simplified to 1 0.843 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (* 1 (sqrt (- 1 (* x x)))) x)))) 0.843 * [simplify]: Simplifying (sqrt (- 1 (* x x))) 0.843 * * [simplify]: iters left: 5 (5 enodes) 0.844 * * [simplify]: iters left: 4 (19 enodes) 0.848 * * [simplify]: iters left: 3 (27 enodes) 0.852 * * [simplify]: iters left: 2 (29 enodes) 0.857 * * [simplify]: Extracting #0: cost 1 inf + 0 0.857 * * [simplify]: Extracting #1: cost 3 inf + 0 0.857 * * [simplify]: Extracting #2: cost 7 inf + 0 0.857 * * [simplify]: Extracting #3: cost 10 inf + 1 0.857 * * [simplify]: Extracting #4: cost 1 inf + 695 0.857 * * [simplify]: Extracting #5: cost 0 inf + 736 0.857 * [simplify]: Simplified to (sqrt (- 1 (* x x))) 0.857 * [simplify]: Simplified (2 1 2 1 2) to (λ (x) (log (+ (/ 1 x) (/ (* 1 (sqrt (- 1 (* x x)))) x)))) 0.857 * * * * [progress]: [ 10 / 67 ] simplifiying candidate # 0.858 * [simplify]: Simplifying (sqrt (+ (sqrt 1) x)) 0.858 * * [simplify]: iters left: 4 (5 enodes) 0.860 * * [simplify]: iters left: 3 (18 enodes) 0.863 * * [simplify]: iters left: 2 (20 enodes) 0.866 * * [simplify]: Extracting #0: cost 1 inf + 0 0.866 * * [simplify]: Extracting #1: cost 3 inf + 0 0.866 * * [simplify]: Extracting #2: cost 6 inf + 0 0.866 * * [simplify]: Extracting #3: cost 4 inf + 2 0.866 * * [simplify]: Extracting #4: cost 0 inf + 250 0.866 * [simplify]: Simplified to (sqrt (+ 1 x)) 0.866 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (* (sqrt (+ 1 x)) (sqrt (- (sqrt 1) x))) x)))) 0.866 * [simplify]: Simplifying (sqrt (- (sqrt 1) x)) 0.866 * * [simplify]: iters left: 4 (5 enodes) 0.869 * * [simplify]: iters left: 3 (19 enodes) 0.874 * * [simplify]: iters left: 2 (25 enodes) 0.879 * * [simplify]: iters left: 1 (26 enodes) 0.883 * * [simplify]: Extracting #0: cost 1 inf + 0 0.883 * * [simplify]: Extracting #1: cost 3 inf + 0 0.883 * * [simplify]: Extracting #2: cost 7 inf + 0 0.883 * * [simplify]: Extracting #3: cost 5 inf + 43 0.883 * * [simplify]: Extracting #4: cost 0 inf + 332 0.883 * [simplify]: Simplified to (sqrt (- 1 x)) 0.883 * [simplify]: Simplified (2 1 2 1 2) to (λ (x) (log (+ (/ 1 x) (/ (* (sqrt (+ (sqrt 1) x)) (sqrt (- 1 x))) x)))) 0.883 * * * * [progress]: [ 11 / 67 ] simplifiying candidate # 0.884 * [simplify]: Simplifying (sqrt (+ 1 x)) 0.884 * * [simplify]: iters left: 3 (4 enodes) 0.885 * * [simplify]: iters left: 2 (15 enodes) 0.887 * * [simplify]: iters left: 1 (17 enodes) 0.890 * * [simplify]: Extracting #0: cost 1 inf + 0 0.890 * * [simplify]: Extracting #1: cost 3 inf + 0 0.890 * * [simplify]: Extracting #2: cost 6 inf + 0 0.890 * * [simplify]: Extracting #3: cost 2 inf + 86 0.890 * * [simplify]: Extracting #4: cost 1 inf + 168 0.890 * * [simplify]: Extracting #5: cost 0 inf + 250 0.890 * [simplify]: Simplified to (sqrt (+ x 1)) 0.890 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (* (sqrt (+ x 1)) (sqrt (- 1 x))) x)))) 0.891 * [simplify]: Simplifying (sqrt (- 1 x)) 0.891 * * [simplify]: iters left: 3 (4 enodes) 0.892 * * [simplify]: iters left: 2 (16 enodes) 0.895 * * [simplify]: iters left: 1 (21 enodes) 0.899 * * [simplify]: Extracting #0: cost 1 inf + 0 0.899 * * [simplify]: Extracting #1: cost 3 inf + 0 0.899 * * [simplify]: Extracting #2: cost 7 inf + 0 0.899 * * [simplify]: Extracting #3: cost 5 inf + 43 0.899 * * [simplify]: Extracting #4: cost 0 inf + 332 0.899 * [simplify]: Simplified to (sqrt (- 1 x)) 0.899 * [simplify]: Simplified (2 1 2 1 2) to (λ (x) (log (+ (/ 1 x) (/ (* (sqrt (+ 1 x)) (sqrt (- 1 x))) x)))) 0.899 * * * * [progress]: [ 12 / 67 ] simplifiying candidate # 0.900 * [simplify]: Simplifying (sqrt (- (pow 1 3) (pow (* x x) 3))) 0.900 * * [simplify]: iters left: 6 (8 enodes) 0.904 * * [simplify]: iters left: 5 (38 enodes) 0.920 * * [simplify]: iters left: 4 (87 enodes) 0.962 * * [simplify]: iters left: 3 (192 enodes) 1.046 * * [simplify]: iters left: 2 (384 enodes) 1.235 * * [simplify]: Extracting #0: cost 1 inf + 0 1.235 * * [simplify]: Extracting #1: cost 3 inf + 0 1.235 * * [simplify]: Extracting #2: cost 7 inf + 0 1.235 * * [simplify]: Extracting #3: cost 57 inf + 1 1.236 * * [simplify]: Extracting #4: cost 159 inf + 1592 1.237 * * [simplify]: Extracting #5: cost 144 inf + 5288 1.240 * * [simplify]: Extracting #6: cost 86 inf + 23509 1.247 * * [simplify]: Extracting #7: cost 8 inf + 61866 1.261 * * [simplify]: Extracting #8: cost 0 inf + 65108 1.274 * [simplify]: Simplified to (sqrt (- 1 (* (* x (* x x)) (* x (* x x))))) 1.274 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (/ (sqrt (- 1 (* (* x (* x x)) (* x (* x x))))) (sqrt (+ (* 1 1) (+ (* (* x x) (* x x)) (* 1 (* x x)))))) x)))) 1.275 * [simplify]: Simplifying (sqrt (+ (* 1 1) (+ (* (* x x) (* x x)) (* 1 (* x x))))) 1.275 * * [simplify]: iters left: 6 (9 enodes) 1.280 * * [simplify]: iters left: 5 (31 enodes) 1.291 * * [simplify]: iters left: 4 (54 enodes) 1.315 * * [simplify]: iters left: 3 (91 enodes) 1.332 * * [simplify]: iters left: 2 (118 enodes) 1.360 * * [simplify]: iters left: 1 (154 enodes) 1.412 * * [simplify]: Extracting #0: cost 1 inf + 0 1.413 * * [simplify]: Extracting #1: cost 3 inf + 0 1.413 * * [simplify]: Extracting #2: cost 10 inf + 0 1.413 * * [simplify]: Extracting #3: cost 24 inf + 1 1.413 * * [simplify]: Extracting #4: cost 35 inf + 509 1.414 * * [simplify]: Extracting #5: cost 16 inf + 3372 1.416 * * [simplify]: Extracting #6: cost 4 inf + 4700 1.417 * * [simplify]: Extracting #7: cost 0 inf + 5920 1.421 * [simplify]: Simplified to (sqrt (+ 1 (+ (* x x) (* (* x x) (* x x))))) 1.422 * [simplify]: Simplified (2 1 2 1 2) to (λ (x) (log (+ (/ 1 x) (/ (/ (sqrt (- 1 (* (* x (* x x)) (* x (* x x))))) (sqrt (+ 1 (+ (* x x) (* (* x x) (* x x)))))) x)))) 1.422 * * * * [progress]: [ 13 / 67 ] simplifiying candidate # 1.422 * [simplify]: Simplifying (sqrt (- (* 1 1) (* (* x x) (* x x)))) 1.422 * * [simplify]: iters left: 6 (7 enodes) 1.427 * * [simplify]: iters left: 5 (27 enodes) 1.437 * * [simplify]: iters left: 4 (47 enodes) 1.453 * * [simplify]: iters left: 3 (73 enodes) 1.469 * * [simplify]: iters left: 2 (96 enodes) 1.490 * * [simplify]: iters left: 1 (147 enodes) 1.527 * * [simplify]: Extracting #0: cost 1 inf + 0 1.528 * * [simplify]: Extracting #1: cost 3 inf + 0 1.528 * * [simplify]: Extracting #2: cost 7 inf + 0 1.528 * * [simplify]: Extracting #3: cost 22 inf + 1 1.528 * * [simplify]: Extracting #4: cost 45 inf + 448 1.529 * * [simplify]: Extracting #5: cost 29 inf + 3031 1.531 * * [simplify]: Extracting #6: cost 8 inf + 10819 1.533 * * [simplify]: Extracting #7: cost 1 inf + 12965 1.535 * * [simplify]: Extracting #8: cost 0 inf + 13177 1.539 * [simplify]: Simplified to (sqrt (- 1 (* (* x x) (* x x)))) 1.539 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (/ (sqrt (- 1 (* (* x x) (* x x)))) (sqrt (+ 1 (* x x)))) x)))) 1.539 * [simplify]: Simplifying (sqrt (+ 1 (* x x))) 1.539 * * [simplify]: iters left: 5 (5 enodes) 1.541 * * [simplify]: iters left: 4 (18 enodes) 1.544 * * [simplify]: iters left: 3 (20 enodes) 1.547 * * [simplify]: Extracting #0: cost 1 inf + 0 1.547 * * [simplify]: Extracting #1: cost 3 inf + 0 1.547 * * [simplify]: Extracting #2: cost 6 inf + 0 1.547 * * [simplify]: Extracting #3: cost 7 inf + 1 1.547 * * [simplify]: Extracting #4: cost 0 inf + 492 1.547 * [simplify]: Simplified to (sqrt (+ 1 (* x x))) 1.547 * [simplify]: Simplified (2 1 2 1 2) to (λ (x) (log (+ (/ 1 x) (/ (/ (sqrt (- 1 (* (* x x) (* x x)))) (sqrt (+ 1 (* x x)))) x)))) 1.547 * * * * [progress]: [ 14 / 67 ] simplifiying candidate # 1.548 * [simplify]: Simplifying (/ 1 2) 1.548 * * [simplify]: iters left: 2 (3 enodes) 1.550 * * [simplify]: iters left: 1 (12 enodes) 1.552 * * [simplify]: Extracting #0: cost 1 inf + 0 1.552 * * [simplify]: Extracting #1: cost 0 inf + 1 1.552 * [simplify]: Simplified to 1/2 1.552 * [simplify]: Simplified (2 1 2 1 2) to (λ (x) (log (+ (/ 1 x) (/ (pow (- 1 (* x x)) 1/2) x)))) 1.552 * * * * [progress]: [ 15 / 67 ] simplifiying candidate # 1.552 * [simplify]: Simplifying (sqrt (sqrt (- 1 (* x x)))) 1.552 * * [simplify]: iters left: 6 (6 enodes) 1.554 * * [simplify]: iters left: 5 (22 enodes) 1.558 * * [simplify]: iters left: 4 (30 enodes) 1.563 * * [simplify]: iters left: 3 (32 enodes) 1.572 * * [simplify]: Extracting #0: cost 1 inf + 0 1.572 * * [simplify]: Extracting #1: cost 3 inf + 0 1.572 * * [simplify]: Extracting #2: cost 5 inf + 0 1.572 * * [simplify]: Extracting #3: cost 9 inf + 0 1.572 * * [simplify]: Extracting #4: cost 12 inf + 1 1.572 * * [simplify]: Extracting #5: cost 11 inf + 43 1.572 * * [simplify]: Extracting #6: cost 5 inf + 410 1.573 * * [simplify]: Extracting #7: cost 1 inf + 898 1.573 * * [simplify]: Extracting #8: cost 0 inf + 1060 1.574 * [simplify]: Simplified to (sqrt (sqrt (- 1 (* x x)))) 1.574 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (* (sqrt (sqrt (- 1 (* x x)))) (sqrt (sqrt (- 1 (* x x))))) x)))) 1.574 * [simplify]: Simplifying (sqrt (sqrt (- 1 (* x x)))) 1.574 * * [simplify]: iters left: 6 (6 enodes) 1.577 * * [simplify]: iters left: 5 (22 enodes) 1.584 * * [simplify]: iters left: 4 (30 enodes) 1.593 * * [simplify]: iters left: 3 (32 enodes) 1.603 * * [simplify]: Extracting #0: cost 1 inf + 0 1.603 * * [simplify]: Extracting #1: cost 3 inf + 0 1.603 * * [simplify]: Extracting #2: cost 5 inf + 0 1.603 * * [simplify]: Extracting #3: cost 9 inf + 0 1.603 * * [simplify]: Extracting #4: cost 12 inf + 1 1.603 * * [simplify]: Extracting #5: cost 11 inf + 43 1.603 * * [simplify]: Extracting #6: cost 5 inf + 410 1.603 * * [simplify]: Extracting #7: cost 1 inf + 898 1.604 * * [simplify]: Extracting #8: cost 0 inf + 1060 1.604 * [simplify]: Simplified to (sqrt (sqrt (- 1 (* x x)))) 1.604 * [simplify]: Simplified (2 1 2 1 2) to (λ (x) (log (+ (/ 1 x) (/ (* (sqrt (sqrt (- 1 (* x x)))) (sqrt (sqrt (- 1 (* x x))))) x)))) 1.604 * * * * [progress]: [ 16 / 67 ] simplifiying candidate # 1.605 * * * * [progress]: [ 17 / 67 ] simplifiying candidate # 1.605 * * * * [progress]: [ 18 / 67 ] simplifiying candidate #real (real->posit16 (sqrt (- 1 (* x x))))) x))))> 1.605 * [simplify]: Simplifying (real->posit16 (sqrt (- 1 (* x x)))) 1.605 * * [simplify]: iters left: 6 (6 enodes) 1.608 * * [simplify]: iters left: 5 (19 enodes) 1.615 * * [simplify]: iters left: 4 (27 enodes) 1.623 * * [simplify]: iters left: 3 (29 enodes) 1.631 * * [simplify]: Extracting #0: cost 1 inf + 0 1.631 * * [simplify]: Extracting #1: cost 2 inf + 0 1.631 * * [simplify]: Extracting #2: cost 3 inf + 0 1.631 * * [simplify]: Extracting #3: cost 7 inf + 0 1.631 * * [simplify]: Extracting #4: cost 10 inf + 1 1.631 * * [simplify]: Extracting #5: cost 1 inf + 695 1.632 * * [simplify]: Extracting #6: cost 0 inf + 736 1.632 * [simplify]: Simplified to (real->posit16 (sqrt (- 1 (* x x)))) 1.632 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (posit16->real (real->posit16 (sqrt (- 1 (* x x))))) x)))) 1.632 * * * * [progress]: [ 19 / 67 ] simplifiying candidate # 1.632 * [simplify]: Simplifying (/ (exp 1) (exp (* x x))) 1.632 * * [simplify]: iters left: 5 (6 enodes) 1.635 * * [simplify]: iters left: 4 (23 enodes) 1.638 * * [simplify]: iters left: 3 (37 enodes) 1.644 * * [simplify]: iters left: 2 (58 enodes) 1.654 * * [simplify]: iters left: 1 (95 enodes) 1.676 * * [simplify]: Extracting #0: cost 1 inf + 0 1.676 * * [simplify]: Extracting #1: cost 14 inf + 0 1.676 * * [simplify]: Extracting #2: cost 48 inf + 1 1.676 * * [simplify]: Extracting #3: cost 56 inf + 685 1.677 * * [simplify]: Extracting #4: cost 39 inf + 2400 1.679 * * [simplify]: Extracting #5: cost 17 inf + 6981 1.682 * * [simplify]: Extracting #6: cost 4 inf + 12418 1.685 * * [simplify]: Extracting #7: cost 0 inf + 14791 1.688 * * [simplify]: Extracting #8: cost 0 inf + 14670 1.691 * [simplify]: Simplified to (/ E (exp (* x x))) 1.691 * [simplify]: Simplified (2 1 2 1 1 1) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (log (/ E (exp (* x x))))) x)))) 1.691 * * * * [progress]: [ 20 / 67 ] simplifiying candidate # 1.691 * * * * [progress]: [ 21 / 67 ] simplifiying candidate # 1.692 * [simplify]: Simplifying (log (- 1 (* x x))) 1.692 * * [simplify]: iters left: 5 (5 enodes) 1.695 * * [simplify]: iters left: 4 (19 enodes) 1.701 * * [simplify]: iters left: 3 (27 enodes) 1.709 * * [simplify]: iters left: 2 (29 enodes) 1.717 * * [simplify]: Extracting #0: cost 1 inf + 0 1.717 * * [simplify]: Extracting #1: cost 3 inf + 0 1.717 * * [simplify]: Extracting #2: cost 7 inf + 0 1.717 * * [simplify]: Extracting #3: cost 10 inf + 1 1.717 * * [simplify]: Extracting #4: cost 1 inf + 755 1.717 * * [simplify]: Extracting #5: cost 0 inf + 796 1.718 * [simplify]: Simplified to (log (- 1 (* x x))) 1.718 * [simplify]: Simplified (2 1 2 1 1 1) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (exp (log (- 1 (* x x))))) x)))) 1.718 * * * * [progress]: [ 22 / 67 ] simplifiying candidate # 1.718 * [simplify]: Simplifying (exp (- 1 (* x x))) 1.718 * * [simplify]: iters left: 5 (5 enodes) 1.720 * * [simplify]: iters left: 4 (22 enodes) 1.723 * * [simplify]: iters left: 3 (37 enodes) 1.729 * * [simplify]: iters left: 2 (54 enodes) 1.737 * * [simplify]: iters left: 1 (81 enodes) 1.754 * * [simplify]: Extracting #0: cost 1 inf + 0 1.754 * * [simplify]: Extracting #1: cost 17 inf + 0 1.755 * * [simplify]: Extracting #2: cost 44 inf + 1 1.755 * * [simplify]: Extracting #3: cost 57 inf + 3 1.756 * * [simplify]: Extracting #4: cost 39 inf + 1842 1.757 * * [simplify]: Extracting #5: cost 10 inf + 9085 1.760 * * [simplify]: Extracting #6: cost 0 inf + 12923 1.763 * * [simplify]: Extracting #7: cost 0 inf + 12844 1.766 * [simplify]: Simplified to (exp (- 1 (* x x))) 1.766 * [simplify]: Simplified (2 1 2 1 1 1) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (log (exp (- 1 (* x x))))) x)))) 1.766 * * * * [progress]: [ 23 / 67 ] simplifiying candidate # 1.767 * [simplify]: Simplifying (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))) 1.767 * * [simplify]: iters left: 6 (6 enodes) 1.773 * * [simplify]: iters left: 5 (22 enodes) 1.780 * * [simplify]: iters left: 4 (30 enodes) 1.785 * * [simplify]: iters left: 3 (32 enodes) 1.790 * * [simplify]: Extracting #0: cost 1 inf + 0 1.790 * * [simplify]: Extracting #1: cost 3 inf + 0 1.790 * * [simplify]: Extracting #2: cost 5 inf + 0 1.790 * * [simplify]: Extracting #3: cost 9 inf + 0 1.790 * * [simplify]: Extracting #4: cost 12 inf + 1 1.790 * * [simplify]: Extracting #5: cost 11 inf + 43 1.790 * * [simplify]: Extracting #6: cost 5 inf + 410 1.790 * * [simplify]: Extracting #7: cost 1 inf + 1018 1.791 * * [simplify]: Extracting #8: cost 0 inf + 1220 1.791 * [simplify]: Simplified to (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))) 1.791 * [simplify]: Simplified (2 1 2 1 1 1) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (* (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))) (cbrt (- 1 (* x x))))) x)))) 1.791 * [simplify]: Simplifying (cbrt (- 1 (* x x))) 1.791 * * [simplify]: iters left: 5 (5 enodes) 1.793 * * [simplify]: iters left: 4 (19 enodes) 1.796 * * [simplify]: iters left: 3 (27 enodes) 1.800 * * [simplify]: iters left: 2 (29 enodes) 1.804 * * [simplify]: Extracting #0: cost 1 inf + 0 1.804 * * [simplify]: Extracting #1: cost 3 inf + 0 1.804 * * [simplify]: Extracting #2: cost 7 inf + 0 1.804 * * [simplify]: Extracting #3: cost 10 inf + 1 1.805 * * [simplify]: Extracting #4: cost 1 inf + 775 1.805 * * [simplify]: Extracting #5: cost 0 inf + 816 1.805 * [simplify]: Simplified to (cbrt (- 1 (* x x))) 1.805 * [simplify]: Simplified (2 1 2 1 1 2) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (* (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))) (cbrt (- 1 (* x x))))) x)))) 1.805 * * * * [progress]: [ 24 / 67 ] simplifiying candidate # 1.805 * [simplify]: Simplifying (* (* (- 1 (* x x)) (- 1 (* x x))) (- 1 (* x x))) 1.805 * * [simplify]: iters left: 6 (6 enodes) 1.807 * * [simplify]: iters left: 5 (23 enodes) 1.813 * * [simplify]: iters left: 4 (45 enodes) 1.823 * * [simplify]: iters left: 3 (109 enodes) 1.864 * * [simplify]: iters left: 2 (316 enodes) 2.095 * * [simplify]: Extracting #0: cost 1 inf + 0 2.095 * * [simplify]: Extracting #1: cost 52 inf + 0 2.096 * * [simplify]: Extracting #2: cost 141 inf + 2 2.098 * * [simplify]: Extracting #3: cost 155 inf + 1833 2.108 * * [simplify]: Extracting #4: cost 45 inf + 23179 2.130 * * [simplify]: Extracting #5: cost 1 inf + 33081 2.149 * * [simplify]: Extracting #6: cost 0 inf + 33264 2.167 * * [simplify]: Extracting #7: cost 0 inf + 33263 2.186 * [simplify]: Simplified to (* (- 1 (* x x)) (* (- 1 (* x x)) (- 1 (* x x)))) 2.186 * [simplify]: Simplified (2 1 2 1 1 1) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (cbrt (* (- 1 (* x x)) (* (- 1 (* x x)) (- 1 (* x x)))))) x)))) 2.186 * * * * [progress]: [ 25 / 67 ] simplifiying candidate # 2.187 * [simplify]: Simplifying (sqrt (- 1 (* x x))) 2.187 * * [simplify]: iters left: 5 (5 enodes) 2.190 * * [simplify]: iters left: 4 (19 enodes) 2.196 * * [simplify]: iters left: 3 (27 enodes) 2.204 * * [simplify]: iters left: 2 (29 enodes) 2.212 * * [simplify]: Extracting #0: cost 1 inf + 0 2.212 * * [simplify]: Extracting #1: cost 3 inf + 0 2.212 * * [simplify]: Extracting #2: cost 7 inf + 0 2.212 * * [simplify]: Extracting #3: cost 10 inf + 1 2.213 * * [simplify]: Extracting #4: cost 1 inf + 695 2.213 * * [simplify]: Extracting #5: cost 0 inf + 736 2.213 * [simplify]: Simplified to (sqrt (- 1 (* x x))) 2.213 * [simplify]: Simplified (2 1 2 1 1 1) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (* (sqrt (- 1 (* x x))) (sqrt (- 1 (* x x))))) x)))) 2.214 * [simplify]: Simplifying (sqrt (- 1 (* x x))) 2.214 * * [simplify]: iters left: 5 (5 enodes) 2.217 * * [simplify]: iters left: 4 (19 enodes) 2.223 * * [simplify]: iters left: 3 (27 enodes) 2.231 * * [simplify]: iters left: 2 (29 enodes) 2.240 * * [simplify]: Extracting #0: cost 1 inf + 0 2.240 * * [simplify]: Extracting #1: cost 3 inf + 0 2.240 * * [simplify]: Extracting #2: cost 7 inf + 0 2.240 * * [simplify]: Extracting #3: cost 10 inf + 1 2.240 * * [simplify]: Extracting #4: cost 1 inf + 695 2.240 * * [simplify]: Extracting #5: cost 0 inf + 736 2.241 * [simplify]: Simplified to (sqrt (- 1 (* x x))) 2.241 * [simplify]: Simplified (2 1 2 1 1 2) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (* (sqrt (- 1 (* x x))) (sqrt (- 1 (* x x))))) x)))) 2.241 * * * * [progress]: [ 26 / 67 ] simplifiying candidate # 2.241 * [simplify]: Simplifying (- (pow 1 3) (pow (* x x) 3)) 2.241 * * [simplify]: iters left: 5 (7 enodes) 2.247 * * [simplify]: iters left: 4 (35 enodes) 2.261 * * [simplify]: iters left: 3 (84 enodes) 2.302 * * [simplify]: iters left: 2 (191 enodes) 2.352 * * [simplify]: iters left: 1 (378 enodes) 2.547 * * [simplify]: Extracting #0: cost 1 inf + 0 2.547 * * [simplify]: Extracting #1: cost 5 inf + 0 2.548 * * [simplify]: Extracting #2: cost 66 inf + 1 2.549 * * [simplify]: Extracting #3: cost 182 inf + 329 2.552 * * [simplify]: Extracting #4: cost 139 inf + 10782 2.564 * * [simplify]: Extracting #5: cost 29 inf + 55460 2.579 * * [simplify]: Extracting #6: cost 0 inf + 68377 2.595 * * [simplify]: Extracting #7: cost 0 inf + 68297 2.613 * [simplify]: Simplified to (- 1 (* (* x (* x x)) (* x (* x x)))) 2.613 * [simplify]: Simplified (2 1 2 1 1 1) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (/ (- 1 (* (* x (* x x)) (* x (* x x)))) (+ (* 1 1) (+ (* (* x x) (* x x)) (* 1 (* x x)))))) x)))) 2.614 * [simplify]: Simplifying (+ (* 1 1) (+ (* (* x x) (* x x)) (* 1 (* x x)))) 2.614 * * [simplify]: iters left: 6 (8 enodes) 2.619 * * [simplify]: iters left: 5 (28 enodes) 2.629 * * [simplify]: iters left: 4 (51 enodes) 2.649 * * [simplify]: iters left: 3 (89 enodes) 2.678 * * [simplify]: iters left: 2 (114 enodes) 2.703 * * [simplify]: iters left: 1 (148 enodes) 2.733 * * [simplify]: Extracting #0: cost 1 inf + 0 2.733 * * [simplify]: Extracting #1: cost 8 inf + 0 2.734 * * [simplify]: Extracting #2: cost 22 inf + 1 2.734 * * [simplify]: Extracting #3: cost 34 inf + 125 2.734 * * [simplify]: Extracting #4: cost 18 inf + 1790 2.735 * * [simplify]: Extracting #5: cost 3 inf + 4889 2.736 * * [simplify]: Extracting #6: cost 0 inf + 5516 2.736 * [simplify]: Simplified to (+ 1 (+ (* x x) (* (* x x) (* x x)))) 2.737 * [simplify]: Simplified (2 1 2 1 1 2) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (/ (- 1 (* (* x (* x x)) (* x (* x x)))) (+ 1 (+ (* x x) (* (* x x) (* x x)))))) x)))) 2.737 * * * * [progress]: [ 27 / 67 ] simplifiying candidate # 2.737 * [simplify]: Simplifying (- (* x x)) 2.737 * * [simplify]: iters left: 4 (3 enodes) 2.738 * * [simplify]: iters left: 3 (12 enodes) 2.739 * * [simplify]: iters left: 2 (14 enodes) 2.741 * * [simplify]: Extracting #0: cost 1 inf + 0 2.741 * * [simplify]: Extracting #1: cost 5 inf + 0 2.741 * * [simplify]: Extracting #2: cost 6 inf + 1 2.741 * * [simplify]: Extracting #3: cost 0 inf + 327 2.741 * [simplify]: Simplified to (- (* x x)) 2.741 * [simplify]: Simplified (2 1 2 1 1 2) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (+ 1 (- (* x x)))) x)))) 2.742 * * * * [progress]: [ 28 / 67 ] simplifiying candidate # 2.742 * * * * [progress]: [ 29 / 67 ] simplifiying candidate # 2.742 * [simplify]: Simplifying (- (* 1 1) (* (* x x) (* x x))) 2.742 * * [simplify]: iters left: 6 (6 enodes) 2.744 * * [simplify]: iters left: 5 (24 enodes) 2.749 * * [simplify]: iters left: 4 (44 enodes) 2.765 * * [simplify]: iters left: 3 (70 enodes) 2.784 * * [simplify]: iters left: 2 (93 enodes) 2.800 * * [simplify]: iters left: 1 (144 enodes) 2.850 * * [simplify]: Extracting #0: cost 1 inf + 0 2.850 * * [simplify]: Extracting #1: cost 5 inf + 0 2.850 * * [simplify]: Extracting #2: cost 20 inf + 1 2.850 * * [simplify]: Extracting #3: cost 46 inf + 166 2.851 * * [simplify]: Extracting #4: cost 36 inf + 1366 2.853 * * [simplify]: Extracting #5: cost 22 inf + 5400 2.855 * * [simplify]: Extracting #6: cost 4 inf + 11253 2.857 * * [simplify]: Extracting #7: cost 0 inf + 13105 2.860 * [simplify]: Simplified to (- 1 (* (* x x) (* x x))) 2.860 * [simplify]: Simplified (2 1 2 1 1 1) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (/ (- 1 (* (* x x) (* x x))) (+ 1 (* x x)))) x)))) 2.860 * [simplify]: Simplifying (+ 1 (* x x)) 2.860 * * [simplify]: iters left: 4 (4 enodes) 2.862 * * [simplify]: iters left: 3 (15 enodes) 2.865 * * [simplify]: iters left: 2 (17 enodes) 2.867 * * [simplify]: Extracting #0: cost 1 inf + 0 2.867 * * [simplify]: Extracting #1: cost 4 inf + 0 2.867 * * [simplify]: Extracting #2: cost 5 inf + 1 2.867 * * [simplify]: Extracting #3: cost 4 inf + 2 2.868 * * [simplify]: Extracting #4: cost 1 inf + 207 2.868 * * [simplify]: Extracting #5: cost 0 inf + 248 2.868 * [simplify]: Simplified to (+ 1 (* x x)) 2.868 * [simplify]: Simplified (2 1 2 1 1 2) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (/ (- 1 (* (* x x) (* x x))) (+ 1 (* x x)))) x)))) 2.868 * * * * [progress]: [ 30 / 67 ] simplifiying candidate # 2.868 * [simplify]: Simplifying (+ (sqrt 1) x) 2.868 * * [simplify]: iters left: 3 (4 enodes) 2.870 * * [simplify]: iters left: 2 (15 enodes) 2.872 * * [simplify]: iters left: 1 (17 enodes) 2.874 * * [simplify]: Extracting #0: cost 1 inf + 0 2.874 * * [simplify]: Extracting #1: cost 4 inf + 0 2.874 * * [simplify]: Extracting #2: cost 2 inf + 2 2.874 * * [simplify]: Extracting #3: cost 0 inf + 86 2.874 * [simplify]: Simplified to (+ 1 x) 2.875 * [simplify]: Simplified (2 1 2 1 1 1) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (* (+ 1 x) (- (sqrt 1) x))) x)))) 2.875 * [simplify]: Simplifying (- (sqrt 1) x) 2.875 * * [simplify]: iters left: 3 (4 enodes) 2.876 * * [simplify]: iters left: 2 (16 enodes) 2.879 * * [simplify]: iters left: 1 (22 enodes) 2.882 * * [simplify]: Extracting #0: cost 1 inf + 0 2.882 * * [simplify]: Extracting #1: cost 5 inf + 0 2.882 * * [simplify]: Extracting #2: cost 3 inf + 43 2.882 * * [simplify]: Extracting #3: cost 0 inf + 168 2.882 * [simplify]: Simplified to (- 1 x) 2.882 * [simplify]: Simplified (2 1 2 1 1 2) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (* (+ (sqrt 1) x) (- 1 x))) x)))) 2.882 * * * * [progress]: [ 31 / 67 ] simplifiying candidate # 2.882 * [simplify]: Simplifying (+ 1 x) 2.883 * * [simplify]: iters left: 2 (3 enodes) 2.884 * * [simplify]: iters left: 1 (12 enodes) 2.888 * * [simplify]: Extracting #0: cost 1 inf + 0 2.888 * * [simplify]: Extracting #1: cost 4 inf + 0 2.888 * * [simplify]: Extracting #2: cost 2 inf + 2 2.888 * * [simplify]: Extracting #3: cost 0 inf + 86 2.888 * [simplify]: Simplified to (+ x 1) 2.888 * [simplify]: Simplified (2 1 2 1 1 1) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (* (+ x 1) (- 1 x))) x)))) 2.889 * [simplify]: Simplifying (- 1 x) 2.889 * * [simplify]: iters left: 2 (3 enodes) 2.891 * * [simplify]: iters left: 1 (13 enodes) 2.895 * * [simplify]: Extracting #0: cost 1 inf + 0 2.895 * * [simplify]: Extracting #1: cost 5 inf + 0 2.895 * * [simplify]: Extracting #2: cost 3 inf + 43 2.895 * * [simplify]: Extracting #3: cost 0 inf + 168 2.895 * [simplify]: Simplified to (- 1 x) 2.895 * [simplify]: Simplified (2 1 2 1 1 2) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (* (+ 1 x) (- 1 x))) x)))) 2.895 * * * * [progress]: [ 32 / 67 ] simplifiying candidate # 2.896 * [simplify]: Simplifying (- (* x x)) 2.896 * * [simplify]: iters left: 4 (3 enodes) 2.897 * * [simplify]: iters left: 3 (12 enodes) 2.900 * * [simplify]: iters left: 2 (14 enodes) 2.904 * * [simplify]: Extracting #0: cost 1 inf + 0 2.904 * * [simplify]: Extracting #1: cost 5 inf + 0 2.904 * * [simplify]: Extracting #2: cost 6 inf + 1 2.905 * * [simplify]: Extracting #3: cost 0 inf + 327 2.905 * [simplify]: Simplified to (- (* x x)) 2.905 * [simplify]: Simplified (2 1 2 1 1 2) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (+ 1 (- (* x x)))) x)))) 2.905 * * * * [progress]: [ 33 / 67 ] simplifiying candidate #real (real->posit16 (- 1 (* x x))))) x))))> 2.905 * [simplify]: Simplifying (real->posit16 (- 1 (* x x))) 2.905 * * [simplify]: iters left: 5 (5 enodes) 2.908 * * [simplify]: iters left: 4 (16 enodes) 2.914 * * [simplify]: iters left: 3 (24 enodes) 2.921 * * [simplify]: iters left: 2 (26 enodes) 2.928 * * [simplify]: Extracting #0: cost 1 inf + 0 2.928 * * [simplify]: Extracting #1: cost 2 inf + 0 2.928 * * [simplify]: Extracting #2: cost 5 inf + 0 2.928 * * [simplify]: Extracting #3: cost 8 inf + 1 2.928 * * [simplify]: Extracting #4: cost 1 inf + 451 2.929 * * [simplify]: Extracting #5: cost 0 inf + 492 2.929 * [simplify]: Simplified to (real->posit16 (- 1 (* x x))) 2.929 * [simplify]: Simplified (2 1 2 1 1 1) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (posit16->real (real->posit16 (- 1 (* x x))))) x)))) 2.929 * * * * [progress]: [ 34 / 67 ] simplifiying candidate # 2.929 * [simplify]: Simplifying (* (exp (/ 1 x)) (exp (/ (sqrt (- 1 (* x x))) x))) 2.929 * * [simplify]: iters left: 6 (10 enodes) 2.935 * * [simplify]: iters left: 5 (37 enodes) 2.946 * * [simplify]: iters left: 4 (49 enodes) 2.964 * * [simplify]: iters left: 3 (51 enodes) 2.977 * * [simplify]: Extracting #0: cost 1 inf + 0 2.977 * * [simplify]: Extracting #1: cost 5 inf + 0 2.978 * * [simplify]: Extracting #2: cost 10 inf + 0 2.978 * * [simplify]: Extracting #3: cost 15 inf + 0 2.978 * * [simplify]: Extracting #4: cost 15 inf + 2 2.978 * * [simplify]: Extracting #5: cost 14 inf + 310 2.978 * * [simplify]: Extracting #6: cost 14 inf + 514 2.979 * * [simplify]: Extracting #7: cost 7 inf + 1327 2.980 * * [simplify]: Extracting #8: cost 1 inf + 2708 2.981 * * [simplify]: Extracting #9: cost 0 inf + 2940 2.982 * [simplify]: Simplified to (exp (+ (/ (sqrt (- 1 (* x x))) x) (/ 1 x))) 2.982 * [simplify]: Simplified (2 1 1) to (λ (x) (log (log (exp (+ (/ (sqrt (- 1 (* x x))) x) (/ 1 x)))))) 2.982 * * * * [progress]: [ 35 / 67 ] simplifiying candidate # 2.982 * * * * [progress]: [ 36 / 67 ] simplifiying candidate # 2.982 * [simplify]: Simplifying (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 2.982 * * [simplify]: iters left: 6 (9 enodes) 2.987 * * [simplify]: iters left: 5 (32 enodes) 2.997 * * [simplify]: iters left: 4 (40 enodes) 3.008 * * [simplify]: iters left: 3 (42 enodes) 3.015 * * [simplify]: Extracting #0: cost 1 inf + 0 3.016 * * [simplify]: Extracting #1: cost 3 inf + 0 3.016 * * [simplify]: Extracting #2: cost 6 inf + 0 3.016 * * [simplify]: Extracting #3: cost 11 inf + 0 3.016 * * [simplify]: Extracting #4: cost 11 inf + 2 3.016 * * [simplify]: Extracting #5: cost 12 inf + 86 3.016 * * [simplify]: Extracting #6: cost 13 inf + 208 3.016 * * [simplify]: Extracting #7: cost 9 inf + 575 3.016 * * [simplify]: Extracting #8: cost 3 inf + 1386 3.017 * * [simplify]: Extracting #9: cost 0 inf + 2252 3.017 * [simplify]: Simplified to (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 3.017 * [simplify]: Simplified (2 1 1) to (λ (x) (log (exp (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))) 3.017 * * * * [progress]: [ 37 / 67 ] simplifiying candidate # 3.017 * [simplify]: Simplifying (exp (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 3.017 * * [simplify]: iters left: 6 (9 enodes) 3.020 * * [simplify]: iters left: 5 (35 enodes) 3.025 * * [simplify]: iters left: 4 (48 enodes) 3.032 * * [simplify]: iters left: 3 (50 enodes) 3.039 * * [simplify]: Extracting #0: cost 1 inf + 0 3.040 * * [simplify]: Extracting #1: cost 5 inf + 0 3.040 * * [simplify]: Extracting #2: cost 10 inf + 0 3.040 * * [simplify]: Extracting #3: cost 15 inf + 0 3.040 * * [simplify]: Extracting #4: cost 15 inf + 2 3.040 * * [simplify]: Extracting #5: cost 14 inf + 310 3.040 * * [simplify]: Extracting #6: cost 16 inf + 351 3.040 * * [simplify]: Extracting #7: cost 10 inf + 922 3.041 * * [simplify]: Extracting #8: cost 1 inf + 2628 3.042 * * [simplify]: Extracting #9: cost 0 inf + 2940 3.043 * [simplify]: Simplified to (exp (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 3.043 * [simplify]: Simplified (2 1 1) to (λ (x) (log (log (exp (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))) 3.043 * * * * [progress]: [ 38 / 67 ] simplifiying candidate # 3.044 * [simplify]: Simplifying (* (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) 3.044 * * [simplify]: iters left: 6 (10 enodes) 3.049 * * [simplify]: iters left: 5 (35 enodes) 3.060 * * [simplify]: iters left: 4 (43 enodes) 3.072 * * [simplify]: iters left: 3 (45 enodes) 3.085 * * [simplify]: Extracting #0: cost 1 inf + 0 3.085 * * [simplify]: Extracting #1: cost 3 inf + 0 3.085 * * [simplify]: Extracting #2: cost 5 inf + 0 3.085 * * [simplify]: Extracting #3: cost 8 inf + 0 3.085 * * [simplify]: Extracting #4: cost 13 inf + 0 3.085 * * [simplify]: Extracting #5: cost 13 inf + 2 3.085 * * [simplify]: Extracting #6: cost 14 inf + 86 3.086 * * [simplify]: Extracting #7: cost 16 inf + 127 3.088 * * [simplify]: Extracting #8: cost 10 inf + 698 3.089 * * [simplify]: Extracting #9: cost 4 inf + 1628 3.090 * * [simplify]: Extracting #10: cost 0 inf + 2996 3.091 * [simplify]: Simplified to (* (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) 3.091 * [simplify]: Simplified (2 1 1) to (λ (x) (log (* (* (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))) 3.091 * [simplify]: Simplifying (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 3.091 * * [simplify]: iters left: 6 (9 enodes) 3.096 * * [simplify]: iters left: 5 (32 enodes) 3.105 * * [simplify]: iters left: 4 (40 enodes) 3.112 * * [simplify]: iters left: 3 (42 enodes) 3.118 * * [simplify]: Extracting #0: cost 1 inf + 0 3.118 * * [simplify]: Extracting #1: cost 3 inf + 0 3.118 * * [simplify]: Extracting #2: cost 6 inf + 0 3.118 * * [simplify]: Extracting #3: cost 11 inf + 0 3.118 * * [simplify]: Extracting #4: cost 11 inf + 2 3.118 * * [simplify]: Extracting #5: cost 12 inf + 86 3.118 * * [simplify]: Extracting #6: cost 13 inf + 208 3.118 * * [simplify]: Extracting #7: cost 9 inf + 575 3.118 * * [simplify]: Extracting #8: cost 3 inf + 1386 3.119 * * [simplify]: Extracting #9: cost 0 inf + 2272 3.119 * [simplify]: Simplified to (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 3.119 * [simplify]: Simplified (2 1 2) to (λ (x) (log (* (* (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))) 3.119 * * * * [progress]: [ 39 / 67 ] simplifiying candidate # 3.120 * [simplify]: Simplifying (* (* (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 3.120 * * [simplify]: iters left: 6 (10 enodes) 3.123 * * [simplify]: iters left: 5 (48 enodes) 3.134 * * [simplify]: iters left: 4 (142 enodes) 3.207 * * [simplify]: iters left: 3 (409 enodes) 3.399 * * [simplify]: Extracting #0: cost 1 inf + 0 3.400 * * [simplify]: Extracting #1: cost 30 inf + 0 3.400 * * [simplify]: Extracting #2: cost 169 inf + 2 3.402 * * [simplify]: Extracting #3: cost 213 inf + 381 3.405 * * [simplify]: Extracting #4: cost 209 inf + 823 3.410 * * [simplify]: Extracting #5: cost 174 inf + 10177 3.428 * * [simplify]: Extracting #6: cost 40 inf + 55866 3.457 * * [simplify]: Extracting #7: cost 1 inf + 71434 3.482 * * [simplify]: Extracting #8: cost 0 inf + 71636 3.523 * [simplify]: Simplified to (* (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) (* (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) 3.524 * [simplify]: Simplified (2 1 1) to (λ (x) (log (cbrt (* (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) (* (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))) 3.524 * * * * [progress]: [ 40 / 67 ] simplifiying candidate # 3.524 * [simplify]: Simplifying (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 3.524 * * [simplify]: iters left: 6 (9 enodes) 3.529 * * [simplify]: iters left: 5 (32 enodes) 3.540 * * [simplify]: iters left: 4 (40 enodes) 3.552 * * [simplify]: iters left: 3 (42 enodes) 3.564 * * [simplify]: Extracting #0: cost 1 inf + 0 3.564 * * [simplify]: Extracting #1: cost 3 inf + 0 3.564 * * [simplify]: Extracting #2: cost 6 inf + 0 3.564 * * [simplify]: Extracting #3: cost 11 inf + 0 3.564 * * [simplify]: Extracting #4: cost 11 inf + 2 3.565 * * [simplify]: Extracting #5: cost 12 inf + 86 3.565 * * [simplify]: Extracting #6: cost 13 inf + 208 3.565 * * [simplify]: Extracting #7: cost 9 inf + 575 3.566 * * [simplify]: Extracting #8: cost 3 inf + 1386 3.566 * * [simplify]: Extracting #9: cost 0 inf + 2192 3.567 * [simplify]: Simplified to (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 3.567 * [simplify]: Simplified (2 1 1) to (λ (x) (log (* (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))) 3.568 * [simplify]: Simplifying (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 3.568 * * [simplify]: iters left: 6 (9 enodes) 3.572 * * [simplify]: iters left: 5 (32 enodes) 3.584 * * [simplify]: iters left: 4 (40 enodes) 3.598 * * [simplify]: iters left: 3 (42 enodes) 3.610 * * [simplify]: Extracting #0: cost 1 inf + 0 3.610 * * [simplify]: Extracting #1: cost 3 inf + 0 3.610 * * [simplify]: Extracting #2: cost 6 inf + 0 3.610 * * [simplify]: Extracting #3: cost 11 inf + 0 3.610 * * [simplify]: Extracting #4: cost 11 inf + 2 3.610 * * [simplify]: Extracting #5: cost 12 inf + 86 3.610 * * [simplify]: Extracting #6: cost 13 inf + 208 3.610 * * [simplify]: Extracting #7: cost 9 inf + 575 3.611 * * [simplify]: Extracting #8: cost 3 inf + 1386 3.612 * * [simplify]: Extracting #9: cost 0 inf + 2192 3.612 * [simplify]: Simplified to (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 3.612 * [simplify]: Simplified (2 1 2) to (λ (x) (log (* (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))) 3.613 * * * * [progress]: [ 41 / 67 ] simplifiying candidate # 3.613 * [simplify]: Simplifying (+ (* 1 x) (* x (sqrt (- 1 (* x x))))) 3.613 * * [simplify]: iters left: 6 (8 enodes) 3.615 * * [simplify]: iters left: 5 (28 enodes) 3.619 * * [simplify]: iters left: 4 (38 enodes) 3.625 * * [simplify]: iters left: 3 (44 enodes) 3.631 * * [simplify]: iters left: 2 (47 enodes) 3.637 * * [simplify]: Extracting #0: cost 1 inf + 0 3.637 * * [simplify]: Extracting #1: cost 5 inf + 0 3.637 * * [simplify]: Extracting #2: cost 8 inf + 1 3.637 * * [simplify]: Extracting #3: cost 9 inf + 2 3.637 * * [simplify]: Extracting #4: cost 12 inf + 2 3.637 * * [simplify]: Extracting #5: cost 14 inf + 43 3.637 * * [simplify]: Extracting #6: cost 8 inf + 573 3.638 * * [simplify]: Extracting #7: cost 2 inf + 1424 3.638 * * [simplify]: Extracting #8: cost 0 inf + 1788 3.638 * [simplify]: Simplified to (* (+ (sqrt (- 1 (* x x))) 1) x) 3.638 * [simplify]: Simplified (2 1 1) to (λ (x) (log (/ (* (+ (sqrt (- 1 (* x x))) 1) x) (* x x)))) 3.639 * [simplify]: Simplifying (* x x) 3.639 * * [simplify]: iters left: 2 (2 enodes) 3.639 * * [simplify]: iters left: 1 (6 enodes) 3.640 * * [simplify]: Extracting #0: cost 1 inf + 0 3.640 * * [simplify]: Extracting #1: cost 3 inf + 0 3.640 * * [simplify]: Extracting #2: cost 2 inf + 1 3.640 * * [simplify]: Extracting #3: cost 0 inf + 83 3.640 * [simplify]: Simplified to (* x x) 3.640 * [simplify]: Simplified (2 1 2) to (λ (x) (log (/ (* (+ (sqrt (- 1 (* x x))) 1) x) (* x x)))) 3.640 * * * * [progress]: [ 42 / 67 ] simplifiying candidate # 3.640 * [simplify]: Simplifying (+ (pow (/ 1 x) 3) (pow (/ (sqrt (- 1 (* x x))) x) 3)) 3.640 * * [simplify]: iters left: 6 (11 enodes) 3.644 * * [simplify]: iters left: 5 (56 enodes) 3.657 * * [simplify]: iters left: 4 (120 enodes) 3.686 * * [simplify]: iters left: 3 (259 enodes) 3.792 * * [simplify]: Extracting #0: cost 1 inf + 0 3.792 * * [simplify]: Extracting #1: cost 4 inf + 0 3.793 * * [simplify]: Extracting #2: cost 72 inf + 0 3.793 * * [simplify]: Extracting #3: cost 147 inf + 3 3.795 * * [simplify]: Extracting #4: cost 118 inf + 5006 3.802 * * [simplify]: Extracting #5: cost 46 inf + 24848 3.816 * * [simplify]: Extracting #6: cost 1 inf + 44991 3.827 * * [simplify]: Extracting #7: cost 0 inf + 45404 3.839 * [simplify]: Simplified to (+ (/ (/ 1 x) (* x x)) (/ (/ (- 1 (* x x)) (* x x)) (/ x (sqrt (- 1 (* x x)))))) 3.839 * [simplify]: Simplified (2 1 1) to (λ (x) (log (/ (+ (/ (/ 1 x) (* x x)) (/ (/ (- 1 (* x x)) (* x x)) (/ x (sqrt (- 1 (* x x)))))) (+ (* (/ 1 x) (/ 1 x)) (- (* (/ (sqrt (- 1 (* x x))) x) (/ (sqrt (- 1 (* x x))) x)) (* (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))) 3.839 * [simplify]: Simplifying (+ (* (/ 1 x) (/ 1 x)) (- (* (/ (sqrt (- 1 (* x x))) x) (/ (sqrt (- 1 (* x x))) x)) (* (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) 3.839 * * [simplify]: iters left: 6 (12 enodes) 3.846 * * [simplify]: iters left: 5 (60 enodes) 3.869 * * [simplify]: iters left: 4 (117 enodes) 3.912 * * [simplify]: iters left: 3 (220 enodes) 3.977 * * [simplify]: iters left: 2 (353 enodes) 4.206 * * [simplify]: Extracting #0: cost 1 inf + 0 4.207 * * [simplify]: Extracting #1: cost 34 inf + 0 4.207 * * [simplify]: Extracting #2: cost 104 inf + 2 4.209 * * [simplify]: Extracting #3: cost 133 inf + 2478 4.216 * * [simplify]: Extracting #4: cost 15 inf + 29758 4.226 * * [simplify]: Extracting #5: cost 0 inf + 28628 4.235 * * [simplify]: Extracting #6: cost 0 inf + 28030 4.246 * [simplify]: Simplified to (- (/ (- 1 (* x x)) (* x x)) (/ (- (sqrt (- 1 (* x x))) 1) (* x x))) 4.247 * [simplify]: Simplified (2 1 2) to (λ (x) (log (/ (+ (/ (/ 1 x) (* x x)) (/ (/ (- 1 (* x x)) (* x x)) (/ x (sqrt (- 1 (* x x)))))) (- (/ (- 1 (* x x)) (* x x)) (/ (- (sqrt (- 1 (* x x))) 1) (* x x)))))) 4.247 * * * * [progress]: [ 43 / 67 ] simplifiying candidate # 4.247 * * * * [progress]: [ 44 / 67 ] simplifiying candidate # 4.247 * [simplify]: Simplifying (- (* (/ 1 x) (/ 1 x)) (* (/ (sqrt (- 1 (* x x))) x) (/ (sqrt (- 1 (* x x))) x))) 4.247 * * [simplify]: iters left: 6 (10 enodes) 4.253 * * [simplify]: iters left: 5 (47 enodes) 4.270 * * [simplify]: iters left: 4 (86 enodes) 4.301 * * [simplify]: iters left: 3 (133 enodes) 4.324 * * [simplify]: iters left: 2 (232 enodes) 4.410 * * [simplify]: iters left: 1 (440 enodes) 4.596 * * [simplify]: Extracting #0: cost 1 inf + 0 4.596 * * [simplify]: Extracting #1: cost 34 inf + 0 4.597 * * [simplify]: Extracting #2: cost 126 inf + 1 4.598 * * [simplify]: Extracting #3: cost 148 inf + 1021 4.601 * * [simplify]: Extracting #4: cost 115 inf + 4646 4.608 * * [simplify]: Extracting #5: cost 65 inf + 14827 4.617 * * [simplify]: Extracting #6: cost 12 inf + 29933 4.627 * * [simplify]: Extracting #7: cost 0 inf + 33516 4.637 * [simplify]: Simplified to (- (/ (/ 1 x) x) (- (/ (/ 1 x) x) 1)) 4.637 * [simplify]: Simplified (2 1 1) to (λ (x) (log (/ (- (/ (/ 1 x) x) (- (/ (/ 1 x) x) 1)) (- (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) 4.637 * [simplify]: Simplifying (- (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) 4.637 * * [simplify]: iters left: 6 (8 enodes) 4.639 * * [simplify]: iters left: 5 (30 enodes) 4.646 * * [simplify]: iters left: 4 (43 enodes) 4.659 * * [simplify]: iters left: 3 (47 enodes) 4.669 * * [simplify]: Extracting #0: cost 1 inf + 0 4.669 * * [simplify]: Extracting #1: cost 5 inf + 0 4.669 * * [simplify]: Extracting #2: cost 12 inf + 0 4.669 * * [simplify]: Extracting #3: cost 13 inf + 2 4.669 * * [simplify]: Extracting #4: cost 14 inf + 86 4.669 * * [simplify]: Extracting #5: cost 16 inf + 127 4.669 * * [simplify]: Extracting #6: cost 9 inf + 779 4.670 * * [simplify]: Extracting #7: cost 0 inf + 2356 4.670 * [simplify]: Simplified to (- (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) 4.670 * [simplify]: Simplified (2 1 2) to (λ (x) (log (/ (- (* (/ 1 x) (/ 1 x)) (* (/ (sqrt (- 1 (* x x))) x) (/ (sqrt (- 1 (* x x))) x))) (- (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) 4.670 * * * * [progress]: [ 45 / 67 ] simplifiying candidate # 4.670 * [simplify]: Simplifying (+ (/ (sqrt 1) (cbrt x)) (/ (sqrt (- 1 (* x x))) (cbrt x))) 4.670 * * [simplify]: iters left: 6 (10 enodes) 4.674 * * [simplify]: iters left: 5 (35 enodes) 4.681 * * [simplify]: iters left: 4 (43 enodes) 4.687 * * [simplify]: iters left: 3 (45 enodes) 4.695 * * [simplify]: Extracting #0: cost 1 inf + 0 4.696 * * [simplify]: Extracting #1: cost 4 inf + 0 4.696 * * [simplify]: Extracting #2: cost 9 inf + 0 4.696 * * [simplify]: Extracting #3: cost 12 inf + 1 4.696 * * [simplify]: Extracting #4: cost 13 inf + 83 4.696 * * [simplify]: Extracting #5: cost 12 inf + 449 4.696 * * [simplify]: Extracting #6: cost 5 inf + 1101 4.696 * * [simplify]: Extracting #7: cost 0 inf + 2270 4.697 * [simplify]: Simplified to (+ (/ (sqrt (- 1 (* x x))) (cbrt x)) (/ 1 (cbrt x))) 4.697 * [simplify]: Simplified (2 1 2) to (λ (x) (log (* (/ (sqrt 1) (* (cbrt x) (cbrt x))) (+ (/ (sqrt (- 1 (* x x))) (cbrt x)) (/ 1 (cbrt x)))))) 4.697 * * * * [progress]: [ 46 / 67 ] simplifiying candidate # 4.697 * [simplify]: Simplifying (+ (/ (sqrt 1) (sqrt x)) (/ (sqrt (- 1 (* x x))) (sqrt x))) 4.697 * * [simplify]: iters left: 6 (10 enodes) 4.700 * * [simplify]: iters left: 5 (35 enodes) 4.705 * * [simplify]: iters left: 4 (43 enodes) 4.712 * * [simplify]: iters left: 3 (45 enodes) 4.718 * * [simplify]: Extracting #0: cost 1 inf + 0 4.718 * * [simplify]: Extracting #1: cost 4 inf + 0 4.718 * * [simplify]: Extracting #2: cost 9 inf + 0 4.718 * * [simplify]: Extracting #3: cost 12 inf + 1 4.718 * * [simplify]: Extracting #4: cost 13 inf + 43 4.718 * * [simplify]: Extracting #5: cost 12 inf + 289 4.718 * * [simplify]: Extracting #6: cost 5 inf + 941 4.719 * * [simplify]: Extracting #7: cost 0 inf + 1950 4.720 * [simplify]: Simplified to (+ (/ (sqrt (- 1 (* x x))) (sqrt x)) (/ 1 (sqrt x))) 4.720 * [simplify]: Simplified (2 1 2) to (λ (x) (log (* (/ (sqrt 1) (sqrt x)) (+ (/ (sqrt (- 1 (* x x))) (sqrt x)) (/ 1 (sqrt x)))))) 4.720 * * * * [progress]: [ 47 / 67 ] simplifiying candidate # 4.720 * [simplify]: Simplifying (+ (/ (sqrt 1) x) (/ (sqrt (- 1 (* x x))) x)) 4.720 * * [simplify]: iters left: 6 (9 enodes) 4.726 * * [simplify]: iters left: 5 (32 enodes) 4.735 * * [simplify]: iters left: 4 (40 enodes) 4.746 * * [simplify]: iters left: 3 (42 enodes) 4.751 * * [simplify]: Extracting #0: cost 1 inf + 0 4.751 * * [simplify]: Extracting #1: cost 4 inf + 0 4.751 * * [simplify]: Extracting #2: cost 9 inf + 0 4.751 * * [simplify]: Extracting #3: cost 9 inf + 2 4.751 * * [simplify]: Extracting #4: cost 11 inf + 44 4.752 * * [simplify]: Extracting #5: cost 10 inf + 290 4.752 * * [simplify]: Extracting #6: cost 4 inf + 941 4.752 * * [simplify]: Extracting #7: cost 0 inf + 1628 4.752 * [simplify]: Simplified to (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) 4.752 * [simplify]: Simplified (2 1 2) to (λ (x) (log (* (/ (sqrt 1) 1) (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) 4.752 * * * * [progress]: [ 48 / 67 ] simplifiying candidate # 4.753 * [simplify]: Simplifying (+ (/ 1 (cbrt x)) (/ (sqrt (- 1 (* x x))) (cbrt x))) 4.753 * * [simplify]: iters left: 6 (9 enodes) 4.755 * * [simplify]: iters left: 5 (32 enodes) 4.760 * * [simplify]: iters left: 4 (40 enodes) 4.765 * * [simplify]: iters left: 3 (42 enodes) 4.773 * * [simplify]: Extracting #0: cost 1 inf + 0 4.773 * * [simplify]: Extracting #1: cost 4 inf + 0 4.773 * * [simplify]: Extracting #2: cost 9 inf + 0 4.773 * * [simplify]: Extracting #3: cost 12 inf + 1 4.773 * * [simplify]: Extracting #4: cost 14 inf + 2 4.773 * * [simplify]: Extracting #5: cost 11 inf + 490 4.774 * * [simplify]: Extracting #6: cost 4 inf + 1343 4.774 * * [simplify]: Extracting #7: cost 0 inf + 2270 4.774 * [simplify]: Simplified to (+ (/ 1 (cbrt x)) (/ (sqrt (- 1 (* x x))) (cbrt x))) 4.774 * [simplify]: Simplified (2 1 2) to (λ (x) (log (* (/ 1 (* (cbrt x) (cbrt x))) (+ (/ 1 (cbrt x)) (/ (sqrt (- 1 (* x x))) (cbrt x)))))) 4.775 * * * * [progress]: [ 49 / 67 ] simplifiying candidate # 4.775 * [simplify]: Simplifying (+ (/ 1 (sqrt x)) (/ (sqrt (- 1 (* x x))) (sqrt x))) 4.775 * * [simplify]: iters left: 6 (9 enodes) 4.777 * * [simplify]: iters left: 5 (32 enodes) 4.782 * * [simplify]: iters left: 4 (40 enodes) 4.790 * * [simplify]: iters left: 3 (42 enodes) 4.801 * * [simplify]: Extracting #0: cost 1 inf + 0 4.801 * * [simplify]: Extracting #1: cost 4 inf + 0 4.801 * * [simplify]: Extracting #2: cost 9 inf + 0 4.801 * * [simplify]: Extracting #3: cost 12 inf + 1 4.801 * * [simplify]: Extracting #4: cost 14 inf + 2 4.802 * * [simplify]: Extracting #5: cost 11 inf + 370 4.802 * * [simplify]: Extracting #6: cost 4 inf + 1143 4.803 * * [simplify]: Extracting #7: cost 0 inf + 1950 4.803 * [simplify]: Simplified to (+ (/ 1 (sqrt x)) (/ (sqrt (- 1 (* x x))) (sqrt x))) 4.803 * [simplify]: Simplified (2 1 2) to (λ (x) (log (* (/ 1 (sqrt x)) (+ (/ 1 (sqrt x)) (/ (sqrt (- 1 (* x x))) (sqrt x)))))) 4.804 * * * * [progress]: [ 50 / 67 ] simplifiying candidate # 4.804 * [simplify]: Simplifying (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) 4.804 * * [simplify]: iters left: 6 (8 enodes) 4.808 * * [simplify]: iters left: 5 (29 enodes) 4.818 * * [simplify]: iters left: 4 (37 enodes) 4.828 * * [simplify]: iters left: 3 (39 enodes) 4.839 * * [simplify]: Extracting #0: cost 1 inf + 0 4.840 * * [simplify]: Extracting #1: cost 4 inf + 0 4.840 * * [simplify]: Extracting #2: cost 9 inf + 0 4.840 * * [simplify]: Extracting #3: cost 9 inf + 2 4.840 * * [simplify]: Extracting #4: cost 10 inf + 86 4.840 * * [simplify]: Extracting #5: cost 12 inf + 127 4.840 * * [simplify]: Extracting #6: cost 7 inf + 576 4.841 * * [simplify]: Extracting #7: cost 0 inf + 1628 4.841 * [simplify]: Simplified to (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) 4.841 * [simplify]: Simplified (2 1 2) to (λ (x) (log (* (/ 1 1) (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) 4.842 * * * * [progress]: [ 51 / 67 ] simplifiying candidate # 4.842 * [simplify]: Simplifying (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) 4.842 * * [simplify]: iters left: 6 (8 enodes) 4.846 * * [simplify]: iters left: 5 (29 enodes) 4.855 * * [simplify]: iters left: 4 (37 enodes) 4.866 * * [simplify]: iters left: 3 (39 enodes) 4.877 * * [simplify]: Extracting #0: cost 1 inf + 0 4.877 * * [simplify]: Extracting #1: cost 4 inf + 0 4.877 * * [simplify]: Extracting #2: cost 9 inf + 0 4.877 * * [simplify]: Extracting #3: cost 9 inf + 2 4.877 * * [simplify]: Extracting #4: cost 10 inf + 86 4.877 * * [simplify]: Extracting #5: cost 12 inf + 127 4.877 * * [simplify]: Extracting #6: cost 7 inf + 576 4.878 * * [simplify]: Extracting #7: cost 0 inf + 1628 4.879 * [simplify]: Simplified to (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) 4.879 * [simplify]: Simplified (2 1 2) to (λ (x) (log (* 1 (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) 4.879 * * * * [progress]: [ 52 / 67 ] simplifiying candidate # 4.879 * [simplify]: Simplifying (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) 4.879 * * [simplify]: iters left: 6 (8 enodes) 4.883 * * [simplify]: iters left: 5 (29 enodes) 4.893 * * [simplify]: iters left: 4 (37 enodes) 4.903 * * [simplify]: iters left: 3 (39 enodes) 4.914 * * [simplify]: Extracting #0: cost 1 inf + 0 4.914 * * [simplify]: Extracting #1: cost 4 inf + 0 4.914 * * [simplify]: Extracting #2: cost 9 inf + 0 4.914 * * [simplify]: Extracting #3: cost 9 inf + 2 4.915 * * [simplify]: Extracting #4: cost 10 inf + 86 4.915 * * [simplify]: Extracting #5: cost 12 inf + 127 4.915 * * [simplify]: Extracting #6: cost 7 inf + 576 4.915 * * [simplify]: Extracting #7: cost 0 inf + 1628 4.918 * [simplify]: Simplified to (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) 4.918 * [simplify]: Simplified (2 1 2) to (λ (x) (log (* 1 (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) 4.918 * * * * [progress]: [ 53 / 67 ] simplifiying candidate # 4.918 * [simplify]: Simplifying (+ (/ 1 1) (sqrt (- 1 (* x x)))) 4.918 * * [simplify]: iters left: 6 (7 enodes) 4.922 * * [simplify]: iters left: 5 (24 enodes) 4.929 * * [simplify]: iters left: 4 (32 enodes) 4.939 * * [simplify]: iters left: 3 (34 enodes) 4.948 * * [simplify]: Extracting #0: cost 1 inf + 0 4.948 * * [simplify]: Extracting #1: cost 4 inf + 0 4.948 * * [simplify]: Extracting #2: cost 5 inf + 1 4.948 * * [simplify]: Extracting #3: cost 8 inf + 1 4.948 * * [simplify]: Extracting #4: cost 12 inf + 1 4.948 * * [simplify]: Extracting #5: cost 8 inf + 206 4.949 * * [simplify]: Extracting #6: cost 3 inf + 614 4.949 * * [simplify]: Extracting #7: cost 1 inf + 898 4.950 * * [simplify]: Extracting #8: cost 0 inf + 1060 4.950 * [simplify]: Simplified to (+ (sqrt (- 1 (* x x))) 1) 4.950 * [simplify]: Simplified (2 1 2) to (λ (x) (log (* (/ 1 x) (+ (sqrt (- 1 (* x x))) 1)))) 4.950 * * * * [progress]: [ 54 / 67 ] simplifiying candidate # 4.950 * [simplify]: Simplifying (+ 1 (sqrt (- 1 (* x x)))) 4.951 * * [simplify]: iters left: 6 (6 enodes) 4.954 * * [simplify]: iters left: 5 (23 enodes) 4.961 * * [simplify]: iters left: 4 (31 enodes) 4.970 * * [simplify]: iters left: 3 (33 enodes) 4.978 * * [simplify]: Extracting #0: cost 1 inf + 0 4.979 * * [simplify]: Extracting #1: cost 4 inf + 0 4.979 * * [simplify]: Extracting #2: cost 5 inf + 1 4.979 * * [simplify]: Extracting #3: cost 8 inf + 1 4.979 * * [simplify]: Extracting #4: cost 12 inf + 1 4.979 * * [simplify]: Extracting #5: cost 12 inf + 2 4.979 * * [simplify]: Extracting #6: cost 5 inf + 410 4.979 * * [simplify]: Extracting #7: cost 1 inf + 898 4.980 * * [simplify]: Extracting #8: cost 0 inf + 1060 4.980 * [simplify]: Simplified to (+ 1 (sqrt (- 1 (* x x)))) 4.980 * [simplify]: Simplified (2 1 2) to (λ (x) (log (* (/ 1 x) (+ 1 (sqrt (- 1 (* x x))))))) 4.980 * * * * [progress]: [ 55 / 67 ] simplifiying candidate # 4.981 * [simplify]: Simplifying (+ 1 (sqrt (- 1 (* x x)))) 4.981 * * [simplify]: iters left: 6 (6 enodes) 4.983 * * [simplify]: iters left: 5 (23 enodes) 4.986 * * [simplify]: iters left: 4 (31 enodes) 4.991 * * [simplify]: iters left: 3 (33 enodes) 4.996 * * [simplify]: Extracting #0: cost 1 inf + 0 4.996 * * [simplify]: Extracting #1: cost 4 inf + 0 4.996 * * [simplify]: Extracting #2: cost 5 inf + 1 4.996 * * [simplify]: Extracting #3: cost 8 inf + 1 4.996 * * [simplify]: Extracting #4: cost 12 inf + 1 4.996 * * [simplify]: Extracting #5: cost 12 inf + 2 4.997 * * [simplify]: Extracting #6: cost 5 inf + 410 4.997 * * [simplify]: Extracting #7: cost 1 inf + 898 4.997 * * [simplify]: Extracting #8: cost 0 inf + 1060 4.997 * [simplify]: Simplified to (+ 1 (sqrt (- 1 (* x x)))) 4.997 * [simplify]: Simplified (2 1 2) to (λ (x) (log (* (/ 1 x) (+ 1 (sqrt (- 1 (* x x))))))) 4.997 * * * * [progress]: [ 56 / 67 ] simplifiying candidate # 4.998 * [simplify]: Simplifying (+ (sqrt (- 1 (* x x))) 1) 4.998 * * [simplify]: iters left: 6 (6 enodes) 4.999 * * [simplify]: iters left: 5 (23 enodes) 5.003 * * [simplify]: iters left: 4 (31 enodes) 5.008 * * [simplify]: iters left: 3 (33 enodes) 5.015 * * [simplify]: Extracting #0: cost 1 inf + 0 5.015 * * [simplify]: Extracting #1: cost 4 inf + 0 5.015 * * [simplify]: Extracting #2: cost 5 inf + 1 5.015 * * [simplify]: Extracting #3: cost 8 inf + 1 5.015 * * [simplify]: Extracting #4: cost 12 inf + 1 5.015 * * [simplify]: Extracting #5: cost 12 inf + 2 5.015 * * [simplify]: Extracting #6: cost 5 inf + 410 5.015 * * [simplify]: Extracting #7: cost 1 inf + 898 5.016 * * [simplify]: Extracting #8: cost 0 inf + 1060 5.016 * [simplify]: Simplified to (+ 1 (sqrt (- 1 (* x x)))) 5.016 * [simplify]: Simplified (2 1 1) to (λ (x) (log (* (+ 1 (sqrt (- 1 (* x x)))) (/ 1 x)))) 5.016 * * * * [progress]: [ 57 / 67 ] simplifiying candidate #real (real->posit16 (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))> 5.017 * [simplify]: Simplifying (real->posit16 (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 5.017 * * [simplify]: iters left: 6 (9 enodes) 5.021 * * [simplify]: iters left: 5 (29 enodes) 5.030 * * [simplify]: iters left: 4 (37 enodes) 5.040 * * [simplify]: iters left: 3 (39 enodes) 5.053 * * [simplify]: Extracting #0: cost 1 inf + 0 5.053 * * [simplify]: Extracting #1: cost 2 inf + 0 5.053 * * [simplify]: Extracting #2: cost 4 inf + 0 5.053 * * [simplify]: Extracting #3: cost 9 inf + 0 5.053 * * [simplify]: Extracting #4: cost 9 inf + 2 5.053 * * [simplify]: Extracting #5: cost 10 inf + 86 5.053 * * [simplify]: Extracting #6: cost 11 inf + 208 5.053 * * [simplify]: Extracting #7: cost 7 inf + 575 5.054 * * [simplify]: Extracting #8: cost 1 inf + 1386 5.055 * * [simplify]: Extracting #9: cost 0 inf + 1628 5.055 * [simplify]: Simplified to (real->posit16 (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 5.055 * [simplify]: Simplified (2 1 1) to (λ (x) (log (posit16->real (real->posit16 (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))) 5.055 * * * * [progress]: [ 58 / 67 ] simplifiying candidate # 5.056 * * * * [progress]: [ 59 / 67 ] simplifiying candidate # 5.056 * [simplify]: Simplifying (- 1 (+ (* 1/2 (pow x 2)) (* 1/8 (pow x 4)))) 5.056 * * [simplify]: iters left: 6 (12 enodes) 5.064 * * [simplify]: iters left: 5 (52 enodes) 5.082 * * [simplify]: iters left: 4 (73 enodes) 5.105 * * [simplify]: iters left: 3 (126 enodes) 5.131 * * [simplify]: iters left: 2 (203 enodes) 5.176 * * [simplify]: iters left: 1 (363 enodes) 5.298 * * [simplify]: Extracting #0: cost 1 inf + 0 5.298 * * [simplify]: Extracting #1: cost 16 inf + 0 5.298 * * [simplify]: Extracting #2: cost 71 inf + 2 5.299 * * [simplify]: Extracting #3: cost 67 inf + 2975 5.302 * * [simplify]: Extracting #4: cost 7 inf + 10559 5.306 * * [simplify]: Extracting #5: cost 0 inf + 11067 5.310 * * [simplify]: Extracting #6: cost 0 inf + 11027 5.314 * [simplify]: Simplified to (- 1 (* (* x x) (- (* 1/8 (* x x)) -1/2))) 5.314 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (/ 1 x) (/ (- 1 (* (* x x) (- (* 1/8 (* x x)) -1/2))) x)))) 5.314 * * * * [progress]: [ 60 / 67 ] simplifiying candidate # 5.314 * [simplify]: Simplifying (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (+ (* 1/8 (/ 1 (* (pow x 3) (sqrt -1)))) (* x (sqrt -1)))) 5.314 * * [simplify]: iters left: 6 (16 enodes) 5.321 * * [simplify]: iters left: 5 (74 enodes) 5.340 * * [simplify]: iters left: 4 (134 enodes) 5.388 * * [simplify]: iters left: 3 (245 enodes) 5.465 * * [simplify]: iters left: 2 (435 enodes) 5.632 * * [simplify]: Extracting #0: cost 1 inf + 0 5.633 * * [simplify]: Extracting #1: cost 8 inf + 0 5.633 * * [simplify]: Extracting #2: cost 122 inf + 0 5.635 * * [simplify]: Extracting #3: cost 270 inf + 4 5.641 * * [simplify]: Extracting #4: cost 197 inf + 20170 5.661 * * [simplify]: Extracting #5: cost 46 inf + 66658 5.687 * * [simplify]: Extracting #6: cost 5 inf + 82856 5.709 * * [simplify]: Extracting #7: cost 0 inf + 84063 5.725 * * [simplify]: Extracting #8: cost 0 inf + 83984 5.738 * [simplify]: Simplified to (+ (* (/ 1 (* (sqrt -1) x)) (+ 1/2 (/ 1/8 (* x x)))) (* (sqrt -1) x)) 5.739 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (/ 1 x) (/ (+ (* (/ 1 (* (sqrt -1) x)) (+ 1/2 (/ 1/8 (* x x)))) (* (sqrt -1) x)) x)))) 5.739 * * * * [progress]: [ 61 / 67 ] simplifiying candidate # 5.739 * [simplify]: Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (+ (* 1/8 (/ 1 (* (pow x 3) (sqrt -1)))) (* x (sqrt -1))))) 5.739 * * [simplify]: iters left: 6 (17 enodes) 5.746 * * [simplify]: iters left: 5 (80 enodes) 5.763 * * [simplify]: iters left: 4 (161 enodes) 5.807 * * [simplify]: iters left: 3 (325 enodes) 5.879 * * [simplify]: Extracting #0: cost 1 inf + 0 5.879 * * [simplify]: Extracting #1: cost 17 inf + 0 5.879 * * [simplify]: Extracting #2: cost 94 inf + 0 5.879 * * [simplify]: Extracting #3: cost 159 inf + 47 5.881 * * [simplify]: Extracting #4: cost 133 inf + 3180 5.884 * * [simplify]: Extracting #5: cost 45 inf + 20883 5.889 * * [simplify]: Extracting #6: cost 10 inf + 31235 5.897 * * [simplify]: Extracting #7: cost 0 inf + 35622 5.904 * [simplify]: Simplified to (- (/ -1/2 (* (sqrt -1) x)) (+ (/ (/ (/ 1/8 x) (* (sqrt -1) x)) x) (* (sqrt -1) x))) 5.905 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ (/ 1 x) (/ (- (/ -1/2 (* (sqrt -1) x)) (+ (/ (/ (/ 1/8 x) (* (sqrt -1) x)) x) (* (sqrt -1) x))) x)))) 5.905 * * * * [progress]: [ 62 / 67 ] simplifiying candidate # 5.905 * [simplify]: Simplifying (- 1 (pow x 2)) 5.905 * * [simplify]: iters left: 3 (5 enodes) 5.909 * * [simplify]: iters left: 2 (23 enodes) 5.917 * * [simplify]: iters left: 1 (31 enodes) 5.925 * * [simplify]: Extracting #0: cost 1 inf + 0 5.925 * * [simplify]: Extracting #1: cost 5 inf + 0 5.925 * * [simplify]: Extracting #2: cost 9 inf + 1 5.926 * * [simplify]: Extracting #3: cost 2 inf + 411 5.926 * * [simplify]: Extracting #4: cost 0 inf + 493 5.926 * [simplify]: Simplified to (- 1 (* x x)) 5.926 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) 5.926 * * * * [progress]: [ 63 / 67 ] simplifiying candidate # 5.927 * [simplify]: Simplifying (- 1 (pow x 2)) 5.927 * * [simplify]: iters left: 3 (5 enodes) 5.931 * * [simplify]: iters left: 2 (23 enodes) 5.938 * * [simplify]: iters left: 1 (31 enodes) 5.947 * * [simplify]: Extracting #0: cost 1 inf + 0 5.947 * * [simplify]: Extracting #1: cost 5 inf + 0 5.947 * * [simplify]: Extracting #2: cost 9 inf + 1 5.947 * * [simplify]: Extracting #3: cost 2 inf + 411 5.947 * * [simplify]: Extracting #4: cost 0 inf + 493 5.948 * [simplify]: Simplified to (- 1 (* x x)) 5.948 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) 5.948 * * * * [progress]: [ 64 / 67 ] simplifiying candidate # 5.948 * [simplify]: Simplifying (- 1 (pow x 2)) 5.948 * * [simplify]: iters left: 3 (5 enodes) 5.952 * * [simplify]: iters left: 2 (23 enodes) 5.959 * * [simplify]: iters left: 1 (31 enodes) 5.968 * * [simplify]: Extracting #0: cost 1 inf + 0 5.968 * * [simplify]: Extracting #1: cost 5 inf + 0 5.968 * * [simplify]: Extracting #2: cost 9 inf + 1 5.968 * * [simplify]: Extracting #3: cost 2 inf + 411 5.969 * * [simplify]: Extracting #4: cost 0 inf + 493 5.969 * [simplify]: Simplified to (- 1 (* x x)) 5.969 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) 5.969 * * * * [progress]: [ 65 / 67 ] simplifiying candidate # 5.969 * [simplify]: Simplifying (- (* 2 (/ 1 x)) (+ (* 1/2 x) (* 1/8 (pow x 3)))) 5.970 * * [simplify]: iters left: 6 (13 enodes) 5.978 * * [simplify]: iters left: 5 (58 enodes) 6.000 * * [simplify]: iters left: 4 (101 enodes) 6.025 * * [simplify]: iters left: 3 (214 enodes) 6.098 * * [simplify]: iters left: 2 (408 enodes) 6.243 * * [simplify]: Extracting #0: cost 1 inf + 0 6.243 * * [simplify]: Extracting #1: cost 17 inf + 0 6.243 * * [simplify]: Extracting #2: cost 116 inf + 0 6.244 * * [simplify]: Extracting #3: cost 189 inf + 172 6.245 * * [simplify]: Extracting #4: cost 158 inf + 3661 6.248 * * [simplify]: Extracting #5: cost 74 inf + 31882 6.256 * * [simplify]: Extracting #6: cost 0 inf + 64621 6.273 * * [simplify]: Extracting #7: cost 0 inf + 63715 6.287 * [simplify]: Simplified to (- (/ 2 x) (* (+ (* (* 1/8 x) x) 1/2) x)) 6.287 * [simplify]: Simplified (2 1) to (λ (x) (log (- (/ 2 x) (* (+ (* (* 1/8 x) x) 1/2) x)))) 6.287 * * * * [progress]: [ 66 / 67 ] simplifiying candidate # 6.287 * [simplify]: Simplifying (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (/ 1 x))) 6.288 * * [simplify]: iters left: 6 (13 enodes) 6.297 * * [simplify]: iters left: 5 (55 enodes) 6.309 * * [simplify]: iters left: 4 (80 enodes) 6.322 * * [simplify]: iters left: 3 (111 enodes) 6.347 * * [simplify]: iters left: 2 (142 enodes) 6.391 * * [simplify]: iters left: 1 (201 enodes) 6.437 * * [simplify]: Extracting #0: cost 1 inf + 0 6.437 * * [simplify]: Extracting #1: cost 8 inf + 0 6.437 * * [simplify]: Extracting #2: cost 41 inf + 0 6.438 * * [simplify]: Extracting #3: cost 58 inf + 251 6.438 * * [simplify]: Extracting #4: cost 30 inf + 2752 6.440 * * [simplify]: Extracting #5: cost 3 inf + 6548 6.442 * * [simplify]: Extracting #6: cost 0 inf + 6997 6.444 * [simplify]: Simplified to (+ (+ (/ 1 x) (/ (/ 1/2 (sqrt -1)) (* x x))) (sqrt -1)) 6.445 * [simplify]: Simplified (2 1) to (λ (x) (log (+ (+ (/ 1 x) (/ (/ 1/2 (sqrt -1)) (* x x))) (sqrt -1)))) 6.445 * * * * [progress]: [ 67 / 67 ] simplifiying candidate # 6.445 * [simplify]: Simplifying (- (/ 1 x) (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (sqrt -1))) 6.445 * * [simplify]: iters left: 6 (13 enodes) 6.450 * * [simplify]: iters left: 5 (56 enodes) 6.462 * * [simplify]: iters left: 4 (86 enodes) 6.493 * * [simplify]: iters left: 3 (142 enodes) 6.518 * * [simplify]: iters left: 2 (222 enodes) 6.558 * * [simplify]: iters left: 1 (355 enodes) 6.676 * * [simplify]: Extracting #0: cost 1 inf + 0 6.676 * * [simplify]: Extracting #1: cost 18 inf + 0 6.677 * * [simplify]: Extracting #2: cost 87 inf + 0 6.677 * * [simplify]: Extracting #3: cost 130 inf + 168 6.679 * * [simplify]: Extracting #4: cost 72 inf + 5848 6.682 * * [simplify]: Extracting #5: cost 6 inf + 15382 6.687 * * [simplify]: Extracting #6: cost 0 inf + 16758 6.692 * [simplify]: Simplified to (- (/ (/ -1/2 (sqrt -1)) (* x x)) (+ (/ -1 x) (sqrt -1))) 6.692 * [simplify]: Simplified (2 1) to (λ (x) (log (- (/ (/ -1/2 (sqrt -1)) (* x x)) (+ (/ -1 x) (sqrt -1))))) 6.692 * * * [progress]: adding candidates to table 7.330 * [progress]: [Phase 3 of 3] Extracting. 7.334 * [simplify]: Simplifying (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 7.334 * * [simplify]: iters left: 6 (9 enodes) 7.335 * * [simplify]: iters left: 5 (12 enodes) 7.336 * * [simplify]: Extracting #0: cost 1 inf + 0 7.336 * * [simplify]: Extracting #1: cost 2 inf + 0 7.336 * * [simplify]: Extracting #2: cost 4 inf + 0 7.336 * * [simplify]: Extracting #3: cost 7 inf + 0 7.336 * * [simplify]: Extracting #4: cost 6 inf + 2 7.336 * * [simplify]: Extracting #5: cost 6 inf + 44 7.337 * * [simplify]: Extracting #6: cost 0 inf + 1005 7.337 * [simplify]: Simplified to (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 12.967 * [regime-testing]: Baseline error score: 0.04174691399157452 12.970 * [regime-testing]: Oracle error score: 0.04174691399157452 12.971 * [regime-testing]: End program error score: 0.04174691399157452