0.002 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.091 * * * [progress]: [2/2] Setting up program. 0.093 * [progress]: [Phase 2 of 3] Improving. 0.093 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.093 * [simplify]: Simplifying (log (+ x (sqrt (- (* x x) 1)))) 0.093 * * [simplify]: iters left: 6 (7 enodes) 0.096 * * [simplify]: iters left: 5 (30 enodes) 0.123 * * [simplify]: iters left: 4 (41 enodes) 0.137 * * [simplify]: iters left: 3 (57 enodes) 0.157 * * [simplify]: iters left: 2 (94 enodes) 0.185 * * [simplify]: iters left: 1 (136 enodes) 0.239 * * [simplify]: Extracting #0: cost 1 inf + 0 0.239 * * [simplify]: Extracting #1: cost 3 inf + 0 0.239 * * [simplify]: Extracting #2: cost 6 inf + 0 0.239 * * [simplify]: Extracting #3: cost 7 inf + 1 0.240 * * [simplify]: Extracting #4: cost 45 inf + 1 0.241 * * [simplify]: Extracting #5: cost 39 inf + 3054 0.244 * * [simplify]: Extracting #6: cost 2 inf + 6856 0.252 * * [simplify]: Extracting #7: cost 0 inf + 6820 0.256 * [simplify]: Simplified to (log (+ x (sqrt (- (* x x) 1)))) 0.256 * [simplify]: Simplified (2) to (λ (x) (log (+ x (sqrt (- (* x x) 1))))) 0.261 * * [progress]: iteration 1 / 4 0.261 * * * [progress]: picking best candidate 0.265 * * * * [pick]: Picked # 0.265 * * * [progress]: localizing error 0.291 * * * [progress]: generating rewritten candidates 0.291 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 2) 0.307 * * * [progress]: generating series expansions 0.307 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 2) 0.307 * [backup-simplify]: Simplify (sqrt (- (* x x) 1)) into (sqrt (- (pow x 2) 1)) 0.307 * [approximate]: Taking taylor expansion of (sqrt (- (pow x 2) 1)) in (x) around 0 0.307 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1)) in x 0.307 * [taylor]: Taking taylor expansion of (- (pow x 2) 1) in x 0.307 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.307 * [taylor]: Taking taylor expansion of x in x 0.307 * [backup-simplify]: Simplify 0 into 0 0.307 * [backup-simplify]: Simplify 1 into 1 0.307 * [taylor]: Taking taylor expansion of 1 in x 0.307 * [backup-simplify]: Simplify 1 into 1 0.308 * [backup-simplify]: Simplify (- 1) into -1 0.308 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.309 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 0.309 * [backup-simplify]: Simplify (- 0) into 0 0.309 * [backup-simplify]: Simplify (+ 0 0) into 0 0.310 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 0.310 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1)) in x 0.310 * [taylor]: Taking taylor expansion of (- (pow x 2) 1) in x 0.310 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.310 * [taylor]: Taking taylor expansion of x in x 0.310 * [backup-simplify]: Simplify 0 into 0 0.310 * [backup-simplify]: Simplify 1 into 1 0.310 * [taylor]: Taking taylor expansion of 1 in x 0.310 * [backup-simplify]: Simplify 1 into 1 0.311 * [backup-simplify]: Simplify (- 1) into -1 0.311 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.311 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 0.312 * [backup-simplify]: Simplify (- 0) into 0 0.312 * [backup-simplify]: Simplify (+ 0 0) into 0 0.313 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 0.313 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 0.313 * [backup-simplify]: Simplify 0 into 0 0.314 * [backup-simplify]: Simplify (* 1 1) into 1 0.314 * [backup-simplify]: Simplify (- 0) into 0 0.315 * [backup-simplify]: Simplify (+ 1 0) into 1 0.317 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 0.318 * [backup-simplify]: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1)) 0.319 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.319 * [backup-simplify]: Simplify (- 0) into 0 0.320 * [backup-simplify]: Simplify (+ 0 0) into 0 0.321 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0 0.322 * [backup-simplify]: Simplify 0 into 0 0.323 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.323 * [backup-simplify]: Simplify (- 0) into 0 0.324 * [backup-simplify]: Simplify (+ 0 0) into 0 0.328 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ 1/8 (sqrt -1)) 0.329 * [backup-simplify]: Simplify (/ 1/8 (sqrt -1)) into (/ 1/8 (sqrt -1)) 0.331 * [backup-simplify]: Simplify (+ (* (/ 1/8 (sqrt -1)) (pow x 4)) (+ (* (/ 1/2 (sqrt -1)) (pow x 2)) (sqrt -1))) into (+ (* 1/8 (/ (pow x 4) (sqrt -1))) (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1))) 0.332 * [backup-simplify]: Simplify (sqrt (- (* (/ 1 x) (/ 1 x)) 1)) into (sqrt (- (/ 1 (pow x 2)) 1)) 0.332 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in (x) around 0 0.332 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x 0.332 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 0.332 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.332 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.332 * [taylor]: Taking taylor expansion of x in x 0.332 * [backup-simplify]: Simplify 0 into 0 0.332 * [backup-simplify]: Simplify 1 into 1 0.332 * [backup-simplify]: Simplify (* 1 1) into 1 0.333 * [backup-simplify]: Simplify (/ 1 1) into 1 0.333 * [taylor]: Taking taylor expansion of 1 in x 0.333 * [backup-simplify]: Simplify 1 into 1 0.333 * [backup-simplify]: Simplify (+ 1 0) into 1 0.333 * [backup-simplify]: Simplify (sqrt 1) into 1 0.334 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.335 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.335 * [backup-simplify]: Simplify (+ 0 0) into 0 0.336 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 0.336 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x 0.336 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 0.336 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.336 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.336 * [taylor]: Taking taylor expansion of x in x 0.336 * [backup-simplify]: Simplify 0 into 0 0.336 * [backup-simplify]: Simplify 1 into 1 0.336 * [backup-simplify]: Simplify (* 1 1) into 1 0.337 * [backup-simplify]: Simplify (/ 1 1) into 1 0.337 * [taylor]: Taking taylor expansion of 1 in x 0.337 * [backup-simplify]: Simplify 1 into 1 0.337 * [backup-simplify]: Simplify (+ 1 0) into 1 0.338 * [backup-simplify]: Simplify (sqrt 1) into 1 0.338 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.339 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.339 * [backup-simplify]: Simplify (+ 0 0) into 0 0.340 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 0.340 * [backup-simplify]: Simplify 1 into 1 0.340 * [backup-simplify]: Simplify 0 into 0 0.341 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.343 * [backup-simplify]: Simplify (- 1) into -1 0.343 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.344 * [backup-simplify]: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2 0.344 * [backup-simplify]: Simplify -1/2 into -1/2 0.345 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.346 * [backup-simplify]: Simplify (- 0) into 0 0.347 * [backup-simplify]: Simplify (+ 0 0) into 0 0.348 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0 0.348 * [backup-simplify]: Simplify 0 into 0 0.349 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.350 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.350 * [backup-simplify]: Simplify (- 0) into 0 0.350 * [backup-simplify]: Simplify (+ 0 0) into 0 0.351 * [backup-simplify]: Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8 0.351 * [backup-simplify]: Simplify -1/8 into -1/8 0.351 * [backup-simplify]: Simplify (+ (* -1/8 (pow (/ 1 x) 3)) (+ (* -1/2 (/ 1 x)) (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) 0.352 * [backup-simplify]: Simplify (sqrt (- (* (/ 1 (- x)) (/ 1 (- x))) 1)) into (sqrt (- (/ 1 (pow x 2)) 1)) 0.352 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in (x) around 0 0.352 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x 0.352 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 0.352 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.352 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.352 * [taylor]: Taking taylor expansion of x in x 0.352 * [backup-simplify]: Simplify 0 into 0 0.352 * [backup-simplify]: Simplify 1 into 1 0.352 * [backup-simplify]: Simplify (* 1 1) into 1 0.352 * [backup-simplify]: Simplify (/ 1 1) into 1 0.352 * [taylor]: Taking taylor expansion of 1 in x 0.352 * [backup-simplify]: Simplify 1 into 1 0.352 * [backup-simplify]: Simplify (+ 1 0) into 1 0.353 * [backup-simplify]: Simplify (sqrt 1) into 1 0.353 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.354 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.354 * [backup-simplify]: Simplify (+ 0 0) into 0 0.354 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 0.354 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x 0.354 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 0.354 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.354 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.354 * [taylor]: Taking taylor expansion of x in x 0.354 * [backup-simplify]: Simplify 0 into 0 0.354 * [backup-simplify]: Simplify 1 into 1 0.355 * [backup-simplify]: Simplify (* 1 1) into 1 0.355 * [backup-simplify]: Simplify (/ 1 1) into 1 0.355 * [taylor]: Taking taylor expansion of 1 in x 0.355 * [backup-simplify]: Simplify 1 into 1 0.355 * [backup-simplify]: Simplify (+ 1 0) into 1 0.355 * [backup-simplify]: Simplify (sqrt 1) into 1 0.356 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.356 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.356 * [backup-simplify]: Simplify (+ 0 0) into 0 0.357 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 0.357 * [backup-simplify]: Simplify 1 into 1 0.357 * [backup-simplify]: Simplify 0 into 0 0.357 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.358 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.358 * [backup-simplify]: Simplify (- 1) into -1 0.358 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.359 * [backup-simplify]: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2 0.359 * [backup-simplify]: Simplify -1/2 into -1/2 0.360 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.360 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.360 * [backup-simplify]: Simplify (- 0) into 0 0.361 * [backup-simplify]: Simplify (+ 0 0) into 0 0.361 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0 0.361 * [backup-simplify]: Simplify 0 into 0 0.362 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.362 * [backup-simplify]: Simplify (- (+ (* 1 (/ 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.364 * [backup-simplify]: Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8 0.364 * [backup-simplify]: Simplify -1/8 into -1/8 0.364 * [backup-simplify]: Simplify (+ (* -1/8 (pow (/ 1 (- x)) 3)) (+ (* -1/2 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- x)))))) into (- (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))) x) 0.364 * * * [progress]: simplifying candidates 0.364 * * * * [progress]: [ 1 / 22 ] simplifiying candidate # 0.364 * * * * [progress]: [ 2 / 22 ] simplifiying candidate # 0.364 * * * * [progress]: [ 3 / 22 ] simplifiying candidate # 0.364 * * * * [progress]: [ 4 / 22 ] simplifiying candidate # 0.364 * * * * [progress]: [ 5 / 22 ] simplifiying candidate # 0.364 * * * * [progress]: [ 6 / 22 ] simplifiying candidate # 0.364 * * * * [progress]: [ 7 / 22 ] simplifiying candidate # 0.364 * [simplify]: Simplifying (sqrt (* (cbrt (- (* x x) 1)) (cbrt (- (* x x) 1)))) 0.365 * * [simplify]: iters left: 6 (7 enodes) 0.367 * * [simplify]: iters left: 5 (30 enodes) 0.375 * * [simplify]: iters left: 4 (41 enodes) 0.381 * * [simplify]: iters left: 3 (57 enodes) 0.401 * * [simplify]: iters left: 2 (94 enodes) 0.428 * * [simplify]: iters left: 1 (136 enodes) 0.480 * * [simplify]: Extracting #0: cost 1 inf + 0 0.480 * * [simplify]: Extracting #1: cost 4 inf + 0 0.480 * * [simplify]: Extracting #2: cost 7 inf + 0 0.481 * * [simplify]: Extracting #3: cost 48 inf + 0 0.481 * * [simplify]: Extracting #4: cost 64 inf + 126 0.483 * * [simplify]: Extracting #5: cost 28 inf + 3789 0.486 * * [simplify]: Extracting #6: cost 1 inf + 6840 0.492 * * [simplify]: Extracting #7: cost 0 inf + 6922 0.496 * [simplify]: Simplified to (fabs (cbrt (- (* x x) 1))) 0.496 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (* (fabs (cbrt (- (* x x) 1))) (sqrt (cbrt (- (* x x) 1))))))) 0.496 * * * * [progress]: [ 8 / 22 ] simplifiying candidate # 0.496 * [simplify]: Simplifying (sqrt (sqrt (- (* x x) 1))) 0.497 * * [simplify]: iters left: 6 (6 enodes) 0.500 * * [simplify]: iters left: 5 (26 enodes) 0.508 * * [simplify]: iters left: 4 (37 enodes) 0.518 * * [simplify]: iters left: 3 (53 enodes) 0.534 * * [simplify]: iters left: 2 (90 enodes) 0.547 * * [simplify]: iters left: 1 (132 enodes) 0.587 * * [simplify]: Extracting #0: cost 1 inf + 0 0.587 * * [simplify]: Extracting #1: cost 3 inf + 0 0.587 * * [simplify]: Extracting #2: cost 5 inf + 0 0.588 * * [simplify]: Extracting #3: cost 44 inf + 0 0.588 * * [simplify]: Extracting #4: cost 60 inf + 169 0.590 * * [simplify]: Extracting #5: cost 14 inf + 4649 0.593 * * [simplify]: Extracting #6: cost 0 inf + 6317 0.596 * [simplify]: Simplified to (sqrt (sqrt (- (* x x) 1))) 0.597 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (* (sqrt (sqrt (- (* x x) 1))) (sqrt (sqrt (- (* x x) 1))))))) 0.597 * * * * [progress]: [ 9 / 22 ] simplifiying candidate # 0.597 * [simplify]: Simplifying (sqrt 1) 0.597 * * [simplify]: iters left: 1 (2 enodes) 0.600 * * [simplify]: Extracting #0: cost 1 inf + 0 0.600 * * [simplify]: Extracting #1: cost 0 inf + 1 0.600 * [simplify]: Simplified to 1 0.600 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (* 1 (sqrt (- (* x x) 1)))))) 0.600 * * * * [progress]: [ 10 / 22 ] simplifiying candidate # 0.601 * [simplify]: Simplifying (sqrt (+ x (sqrt 1))) 0.601 * * [simplify]: iters left: 4 (5 enodes) 0.605 * * [simplify]: iters left: 3 (18 enodes) 0.610 * * [simplify]: iters left: 2 (20 enodes) 0.615 * * [simplify]: Extracting #0: cost 1 inf + 0 0.615 * * [simplify]: Extracting #1: cost 3 inf + 0 0.615 * * [simplify]: Extracting #2: cost 6 inf + 0 0.615 * * [simplify]: Extracting #3: cost 4 inf + 2 0.615 * * [simplify]: Extracting #4: cost 0 inf + 250 0.615 * [simplify]: Simplified to (sqrt (+ 1 x)) 0.616 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (* (sqrt (+ 1 x)) (sqrt (- x (sqrt 1))))))) 0.616 * * * * [progress]: [ 11 / 22 ] simplifiying candidate # 0.616 * [simplify]: Simplifying (sqrt (+ x 1)) 0.616 * * [simplify]: iters left: 3 (4 enodes) 0.618 * * [simplify]: iters left: 2 (15 enodes) 0.622 * * [simplify]: iters left: 1 (17 enodes) 0.625 * * [simplify]: Extracting #0: cost 1 inf + 0 0.625 * * [simplify]: Extracting #1: cost 3 inf + 0 0.625 * * [simplify]: Extracting #2: cost 6 inf + 0 0.625 * * [simplify]: Extracting #3: cost 2 inf + 86 0.625 * * [simplify]: Extracting #4: cost 1 inf + 168 0.625 * * [simplify]: Extracting #5: cost 0 inf + 250 0.625 * [simplify]: Simplified to (sqrt (+ 1 x)) 0.625 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (* (sqrt (+ 1 x)) (sqrt (- x 1)))))) 0.625 * * * * [progress]: [ 12 / 22 ] simplifiying candidate # 0.626 * [simplify]: Simplifying (sqrt (+ x 1)) 0.626 * * [simplify]: iters left: 3 (4 enodes) 0.627 * * [simplify]: iters left: 2 (15 enodes) 0.629 * * [simplify]: iters left: 1 (17 enodes) 0.632 * * [simplify]: Extracting #0: cost 1 inf + 0 0.632 * * [simplify]: Extracting #1: cost 3 inf + 0 0.632 * * [simplify]: Extracting #2: cost 6 inf + 0 0.632 * * [simplify]: Extracting #3: cost 2 inf + 86 0.632 * * [simplify]: Extracting #4: cost 1 inf + 168 0.632 * * [simplify]: Extracting #5: cost 0 inf + 250 0.632 * [simplify]: Simplified to (sqrt (+ 1 x)) 0.632 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (* (sqrt (+ 1 x)) (sqrt (- x 1)))))) 0.632 * * * * [progress]: [ 13 / 22 ] simplifiying candidate # 0.632 * [simplify]: Simplifying (sqrt (- (pow (* x x) 3) (pow 1 3))) 0.632 * * [simplify]: iters left: 6 (8 enodes) 0.635 * * [simplify]: iters left: 5 (39 enodes) 0.643 * * [simplify]: iters left: 4 (80 enodes) 0.672 * * [simplify]: iters left: 3 (149 enodes) 0.730 * * [simplify]: iters left: 2 (298 enodes) 0.877 * * [simplify]: Extracting #0: cost 1 inf + 0 0.877 * * [simplify]: Extracting #1: cost 3 inf + 0 0.877 * * [simplify]: Extracting #2: cost 31 inf + 0 0.878 * * [simplify]: Extracting #3: cost 128 inf + 2 0.879 * * [simplify]: Extracting #4: cost 176 inf + 885 0.881 * * [simplify]: Extracting #5: cost 159 inf + 6736 0.887 * * [simplify]: Extracting #6: cost 77 inf + 32760 0.899 * * [simplify]: Extracting #7: cost 2 inf + 61285 0.911 * * [simplify]: Extracting #8: cost 0 inf + 61840 0.923 * [simplify]: Simplified to (sqrt (- (* (* (* x x) (* x x)) (* x x)) 1)) 0.924 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (/ (sqrt (- (* (* (* x x) (* x x)) (* x x)) 1)) (sqrt (+ (* (* x x) (* x x)) (+ (* 1 1) (* (* x x) 1)))))))) 0.924 * * * * [progress]: [ 14 / 22 ] simplifiying candidate # 0.924 * [simplify]: Simplifying (sqrt (- (* (* x x) (* x x)) (* 1 1))) 0.924 * * [simplify]: iters left: 6 (7 enodes) 0.929 * * [simplify]: iters left: 5 (28 enodes) 0.939 * * [simplify]: iters left: 4 (39 enodes) 0.951 * * [simplify]: iters left: 3 (59 enodes) 0.973 * * [simplify]: iters left: 2 (106 enodes) 1.022 * * [simplify]: iters left: 1 (251 enodes) 1.150 * * [simplify]: Extracting #0: cost 1 inf + 0 1.150 * * [simplify]: Extracting #1: cost 3 inf + 0 1.150 * * [simplify]: Extracting #2: cost 47 inf + 0 1.151 * * [simplify]: Extracting #3: cost 106 inf + 2 1.152 * * [simplify]: Extracting #4: cost 121 inf + 1185 1.156 * * [simplify]: Extracting #5: cost 53 inf + 10370 1.164 * * [simplify]: Extracting #6: cost 15 inf + 17105 1.173 * * [simplify]: Extracting #7: cost 3 inf + 21444 1.181 * * [simplify]: Extracting #8: cost 0 inf + 22582 1.189 * [simplify]: Simplified to (sqrt (+ (* (* x x) (* x x)) -1)) 1.189 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (/ (sqrt (+ (* (* x x) (* x x)) -1)) (sqrt (+ (* x x) 1)))))) 1.190 * * * * [progress]: [ 15 / 22 ] simplifiying candidate # 1.190 * [simplify]: Simplifying (- (* x x) 1) 1.190 * * [simplify]: iters left: 4 (4 enodes) 1.193 * * [simplify]: iters left: 3 (20 enodes) 1.200 * * [simplify]: iters left: 2 (31 enodes) 1.209 * * [simplify]: iters left: 1 (47 enodes) 1.219 * * [simplify]: Extracting #0: cost 1 inf + 0 1.219 * * [simplify]: Extracting #1: cost 10 inf + 0 1.219 * * [simplify]: Extracting #2: cost 19 inf + 2 1.219 * * [simplify]: Extracting #3: cost 18 inf + 3 1.219 * * [simplify]: Extracting #4: cost 4 inf + 749 1.219 * * [simplify]: Extracting #5: cost 0 inf + 1077 1.220 * [simplify]: Simplified to (- (* x x) 1) 1.220 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (pow (- (* x x) 1) (/ 1 2))))) 1.220 * * * * [progress]: [ 16 / 22 ] simplifiying candidate # 1.220 * * * * [progress]: [ 17 / 22 ] simplifiying candidate # 1.220 * [simplify]: Simplifying (sqrt (- (* x x) 1)) 1.220 * * [simplify]: iters left: 5 (5 enodes) 1.222 * * [simplify]: iters left: 4 (23 enodes) 1.226 * * [simplify]: iters left: 3 (34 enodes) 1.234 * * [simplify]: iters left: 2 (50 enodes) 1.244 * * [simplify]: iters left: 1 (87 enodes) 1.261 * * [simplify]: Extracting #0: cost 1 inf + 0 1.261 * * [simplify]: Extracting #1: cost 3 inf + 0 1.261 * * [simplify]: Extracting #2: cost 25 inf + 0 1.261 * * [simplify]: Extracting #3: cost 19 inf + 942 1.262 * * [simplify]: Extracting #4: cost 2 inf + 2293 1.264 * * [simplify]: Extracting #5: cost 0 inf + 2496 1.265 * [simplify]: Simplified to (sqrt (- (* x x) 1)) 1.265 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (fabs (sqrt (- (* x x) 1)))))) 1.265 * * * * [progress]: [ 18 / 22 ] simplifiying candidate # 1.265 * * * * [progress]: [ 19 / 22 ] simplifiying candidate #real (real->posit16 (sqrt (- (* x x) 1)))))))> 1.265 * * * * [progress]: [ 20 / 22 ] simplifiying candidate # 1.266 * [simplify]: Simplifying (+ (* 1/8 (/ (pow x 4) (sqrt -1))) (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1))) 1.266 * * [simplify]: iters left: 6 (15 enodes) 1.275 * * [simplify]: iters left: 5 (63 enodes) 1.297 * * [simplify]: iters left: 4 (93 enodes) 1.323 * * [simplify]: iters left: 3 (124 enodes) 1.357 * * [simplify]: iters left: 2 (163 enodes) 1.408 * * [simplify]: iters left: 1 (241 enodes) 1.454 * * [simplify]: Extracting #0: cost 1 inf + 0 1.455 * * [simplify]: Extracting #1: cost 8 inf + 0 1.455 * * [simplify]: Extracting #2: cost 59 inf + 0 1.455 * * [simplify]: Extracting #3: cost 87 inf + 127 1.457 * * [simplify]: Extracting #4: cost 19 inf + 8843 1.462 * * [simplify]: Extracting #5: cost 2 inf + 11487 1.464 * * [simplify]: Extracting #6: cost 0 inf + 11893 1.467 * [simplify]: Simplified to (+ (sqrt -1) (* (/ (* x x) (sqrt -1)) (+ 1/2 (* 1/8 (* x x))))) 1.467 * [simplify]: Simplified (2 1 2) to (λ (x) (log (+ x (+ (sqrt -1) (* (/ (* x x) (sqrt -1)) (+ 1/2 (* 1/8 (* x x)))))))) 1.467 * * * * [progress]: [ 21 / 22 ] simplifiying candidate # 1.467 * [simplify]: Simplifying (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) 1.467 * * [simplify]: iters left: 6 (12 enodes) 1.473 * * [simplify]: iters left: 5 (57 enodes) 1.494 * * [simplify]: iters left: 4 (97 enodes) 1.527 * * [simplify]: iters left: 3 (170 enodes) 1.582 * * [simplify]: iters left: 2 (285 enodes) 1.674 * * [simplify]: Extracting #0: cost 1 inf + 0 1.674 * * [simplify]: Extracting #1: cost 17 inf + 0 1.674 * * [simplify]: Extracting #2: cost 72 inf + 1 1.675 * * [simplify]: Extracting #3: cost 124 inf + 335 1.676 * * [simplify]: Extracting #4: cost 87 inf + 7689 1.679 * * [simplify]: Extracting #5: cost 20 inf + 28115 1.683 * * [simplify]: Extracting #6: cost 1 inf + 32556 1.688 * * [simplify]: Extracting #7: cost 0 inf + 32506 1.695 * [simplify]: Simplified to (+ (+ x (/ (/ -1/8 (* x x)) x)) (/ -1/2 x)) 1.695 * [simplify]: Simplified (2 1 2) to (λ (x) (log (+ x (+ (+ x (/ (/ -1/8 (* x x)) x)) (/ -1/2 x))))) 1.695 * * * * [progress]: [ 22 / 22 ] simplifiying candidate # 1.696 * [simplify]: Simplifying (- (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))) x) 1.696 * * [simplify]: iters left: 6 (12 enodes) 1.707 * * [simplify]: iters left: 5 (57 enodes) 1.718 * * [simplify]: iters left: 4 (96 enodes) 1.734 * * [simplify]: iters left: 3 (144 enodes) 1.771 * * [simplify]: iters left: 2 (225 enodes) 1.821 * * [simplify]: iters left: 1 (447 enodes) 2.061 * * [simplify]: Extracting #0: cost 1 inf + 0 2.061 * * [simplify]: Extracting #1: cost 16 inf + 0 2.061 * * [simplify]: Extracting #2: cost 143 inf + 42 2.062 * * [simplify]: Extracting #3: cost 262 inf + 620 2.064 * * [simplify]: Extracting #4: cost 227 inf + 7352 2.069 * * [simplify]: Extracting #5: cost 113 inf + 63033 2.083 * * [simplify]: Extracting #6: cost 6 inf + 122361 2.101 * * [simplify]: Extracting #7: cost 0 inf + 123770 2.113 * * [simplify]: Extracting #8: cost 0 inf + 123691 2.125 * [simplify]: Simplified to (- (+ (/ (/ 1/8 (* x x)) x) (/ 1/2 x)) x) 2.125 * [simplify]: Simplified (2 1 2) to (λ (x) (log (+ x (- (+ (/ (/ 1/8 (* x x)) x) (/ 1/2 x)) x)))) 2.125 * * * [progress]: adding candidates to table 2.273 * * [progress]: iteration 2 / 4 2.273 * * * [progress]: picking best candidate 2.276 * * * * [pick]: Picked # 2.276 * * * [progress]: localizing error 2.301 * * * [progress]: generating rewritten candidates 2.301 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 2) 2.335 * * * [progress]: generating series expansions 2.336 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 2) 2.336 * [backup-simplify]: Simplify (* (sqrt (+ x 1)) (sqrt (- x 1))) into (sqrt (* (+ x 1) (- x 1))) 2.336 * [approximate]: Taking taylor expansion of (sqrt (* (+ x 1) (- x 1))) in (x) around 0 2.336 * [taylor]: Taking taylor expansion of (sqrt (* (+ x 1) (- x 1))) in x 2.336 * [taylor]: Taking taylor expansion of (* (+ x 1) (- x 1)) in x 2.336 * [taylor]: Taking taylor expansion of (+ x 1) in x 2.336 * [taylor]: Taking taylor expansion of x in x 2.336 * [backup-simplify]: Simplify 0 into 0 2.336 * [backup-simplify]: Simplify 1 into 1 2.336 * [taylor]: Taking taylor expansion of 1 in x 2.336 * [backup-simplify]: Simplify 1 into 1 2.336 * [taylor]: Taking taylor expansion of (- x 1) in x 2.336 * [taylor]: Taking taylor expansion of x in x 2.336 * [backup-simplify]: Simplify 0 into 0 2.336 * [backup-simplify]: Simplify 1 into 1 2.336 * [taylor]: Taking taylor expansion of 1 in x 2.336 * [backup-simplify]: Simplify 1 into 1 2.337 * [backup-simplify]: Simplify (+ 0 1) into 1 2.337 * [backup-simplify]: Simplify (- 1) into -1 2.338 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.338 * [backup-simplify]: Simplify (* 1 -1) into -1 2.339 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 2.339 * [backup-simplify]: Simplify (- 0) into 0 2.339 * [backup-simplify]: Simplify (+ 1 0) into 1 2.340 * [backup-simplify]: Simplify (+ 1 0) into 1 2.340 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 -1)) into 0 2.341 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 2.341 * [taylor]: Taking taylor expansion of (sqrt (* (+ x 1) (- x 1))) in x 2.341 * [taylor]: Taking taylor expansion of (* (+ x 1) (- x 1)) in x 2.341 * [taylor]: Taking taylor expansion of (+ x 1) in x 2.341 * [taylor]: Taking taylor expansion of x in x 2.341 * [backup-simplify]: Simplify 0 into 0 2.341 * [backup-simplify]: Simplify 1 into 1 2.341 * [taylor]: Taking taylor expansion of 1 in x 2.341 * [backup-simplify]: Simplify 1 into 1 2.341 * [taylor]: Taking taylor expansion of (- x 1) in x 2.341 * [taylor]: Taking taylor expansion of x in x 2.341 * [backup-simplify]: Simplify 0 into 0 2.341 * [backup-simplify]: Simplify 1 into 1 2.341 * [taylor]: Taking taylor expansion of 1 in x 2.341 * [backup-simplify]: Simplify 1 into 1 2.342 * [backup-simplify]: Simplify (+ 0 1) into 1 2.342 * [backup-simplify]: Simplify (- 1) into -1 2.342 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.343 * [backup-simplify]: Simplify (* 1 -1) into -1 2.343 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 2.344 * [backup-simplify]: Simplify (- 0) into 0 2.344 * [backup-simplify]: Simplify (+ 1 0) into 1 2.344 * [backup-simplify]: Simplify (+ 1 0) into 1 2.345 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 -1)) into 0 2.346 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0 2.346 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 2.346 * [backup-simplify]: Simplify 0 into 0 2.347 * [backup-simplify]: Simplify (- 0) into 0 2.347 * [backup-simplify]: Simplify (+ 0 0) into 0 2.347 * [backup-simplify]: Simplify (+ 0 0) into 0 2.348 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 1) (* 0 -1))) into 1 2.351 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 2.352 * [backup-simplify]: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1)) 2.352 * [backup-simplify]: Simplify (- 0) into 0 2.353 * [backup-simplify]: Simplify (+ 0 0) into 0 2.353 * [backup-simplify]: Simplify (+ 0 0) into 0 2.354 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0 2.356 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0 2.356 * [backup-simplify]: Simplify 0 into 0 2.356 * [backup-simplify]: Simplify (- 0) into 0 2.356 * [backup-simplify]: Simplify (+ 0 0) into 0 2.357 * [backup-simplify]: Simplify (+ 0 0) into 0 2.358 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))) into 0 2.362 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ 1/8 (sqrt -1)) 2.363 * [backup-simplify]: Simplify (/ 1/8 (sqrt -1)) into (/ 1/8 (sqrt -1)) 2.366 * [backup-simplify]: Simplify (+ (* (/ 1/8 (sqrt -1)) (pow x 4)) (+ (* (/ 1/2 (sqrt -1)) (pow x 2)) (sqrt -1))) into (+ (* 1/8 (/ (pow x 4) (sqrt -1))) (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1))) 2.366 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))) into (sqrt (* (+ (/ 1 x) 1) (- (/ 1 x) 1))) 2.366 * [approximate]: Taking taylor expansion of (sqrt (* (+ (/ 1 x) 1) (- (/ 1 x) 1))) in (x) around 0 2.366 * [taylor]: Taking taylor expansion of (sqrt (* (+ (/ 1 x) 1) (- (/ 1 x) 1))) in x 2.366 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1) (- (/ 1 x) 1)) in x 2.366 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 2.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.366 * [taylor]: Taking taylor expansion of x in x 2.366 * [backup-simplify]: Simplify 0 into 0 2.366 * [backup-simplify]: Simplify 1 into 1 2.366 * [backup-simplify]: Simplify (/ 1 1) into 1 2.367 * [taylor]: Taking taylor expansion of 1 in x 2.367 * [backup-simplify]: Simplify 1 into 1 2.367 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x 2.367 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.367 * [taylor]: Taking taylor expansion of x in x 2.367 * [backup-simplify]: Simplify 0 into 0 2.367 * [backup-simplify]: Simplify 1 into 1 2.367 * [backup-simplify]: Simplify (/ 1 1) into 1 2.367 * [taylor]: Taking taylor expansion of 1 in x 2.367 * [backup-simplify]: Simplify 1 into 1 2.368 * [backup-simplify]: Simplify (+ 1 0) into 1 2.368 * [backup-simplify]: Simplify (+ 1 0) into 1 2.368 * [backup-simplify]: Simplify (* 1 1) into 1 2.369 * [backup-simplify]: Simplify (sqrt 1) into 1 2.370 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.370 * [backup-simplify]: Simplify (- 1) into -1 2.370 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.371 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.372 * [backup-simplify]: Simplify (+ 0 1) into 1 2.372 * [backup-simplify]: Simplify (+ (* 1 -1) (* 1 1)) into 0 2.373 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 2.373 * [taylor]: Taking taylor expansion of (sqrt (* (+ (/ 1 x) 1) (- (/ 1 x) 1))) in x 2.373 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1) (- (/ 1 x) 1)) in x 2.373 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 2.373 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.373 * [taylor]: Taking taylor expansion of x in x 2.373 * [backup-simplify]: Simplify 0 into 0 2.373 * [backup-simplify]: Simplify 1 into 1 2.374 * [backup-simplify]: Simplify (/ 1 1) into 1 2.374 * [taylor]: Taking taylor expansion of 1 in x 2.374 * [backup-simplify]: Simplify 1 into 1 2.374 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x 2.374 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.374 * [taylor]: Taking taylor expansion of x in x 2.374 * [backup-simplify]: Simplify 0 into 0 2.374 * [backup-simplify]: Simplify 1 into 1 2.374 * [backup-simplify]: Simplify (/ 1 1) into 1 2.374 * [taylor]: Taking taylor expansion of 1 in x 2.374 * [backup-simplify]: Simplify 1 into 1 2.375 * [backup-simplify]: Simplify (+ 1 0) into 1 2.375 * [backup-simplify]: Simplify (+ 1 0) into 1 2.376 * [backup-simplify]: Simplify (* 1 1) into 1 2.376 * [backup-simplify]: Simplify (sqrt 1) into 1 2.377 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.377 * [backup-simplify]: Simplify (- 1) into -1 2.377 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.378 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.379 * [backup-simplify]: Simplify (+ 0 1) into 1 2.380 * [backup-simplify]: Simplify (+ (* 1 -1) (* 1 1)) into 0 2.380 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0 2.380 * [backup-simplify]: Simplify 1 into 1 2.380 * [backup-simplify]: Simplify 0 into 0 2.381 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.382 * [backup-simplify]: Simplify (- 0) into 0 2.382 * [backup-simplify]: Simplify (+ 0 0) into 0 2.383 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.383 * [backup-simplify]: Simplify (+ 0 0) into 0 2.384 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 -1) (* 0 1))) into -1 2.385 * [backup-simplify]: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2 2.385 * [backup-simplify]: Simplify -1/2 into -1/2 2.386 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.387 * [backup-simplify]: Simplify (- 0) into 0 2.387 * [backup-simplify]: Simplify (+ 0 0) into 0 2.388 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.388 * [backup-simplify]: Simplify (+ 0 0) into 0 2.389 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 -1) (* 0 1)))) into 0 2.390 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0 2.390 * [backup-simplify]: Simplify 0 into 0 2.391 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.392 * [backup-simplify]: Simplify (- 0) into 0 2.392 * [backup-simplify]: Simplify (+ 0 0) into 0 2.393 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.393 * [backup-simplify]: Simplify (+ 0 0) into 0 2.395 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 -1) (* 0 1))))) into 0 2.396 * [backup-simplify]: Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8 2.396 * [backup-simplify]: Simplify -1/8 into -1/8 2.397 * [backup-simplify]: Simplify (+ (* -1/8 (pow (/ 1 x) 3)) (+ (* -1/2 (/ 1 x)) (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) 2.397 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 (- x)) 1)) (sqrt (- (/ 1 (- x)) 1))) into (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (- 1 (/ 1 x)))) 2.397 * [approximate]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (- 1 (/ 1 x)))) in (x) around 0 2.397 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (- 1 (/ 1 x)))) in x 2.397 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x 2.397 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x 2.397 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 2.397 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.397 * [taylor]: Taking taylor expansion of x in x 2.397 * [backup-simplify]: Simplify 0 into 0 2.397 * [backup-simplify]: Simplify 1 into 1 2.397 * [backup-simplify]: Simplify (/ 1 1) into 1 2.397 * [taylor]: Taking taylor expansion of 1 in x 2.398 * [backup-simplify]: Simplify 1 into 1 2.398 * [backup-simplify]: Simplify (+ 1 0) into 1 2.398 * [backup-simplify]: Simplify (- 1) into -1 2.399 * [backup-simplify]: Simplify (sqrt 0) into 0 2.399 * [backup-simplify]: Simplify (- 1) into -1 2.401 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 2.401 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 2.401 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 2.401 * [taylor]: Taking taylor expansion of 1 in x 2.401 * [backup-simplify]: Simplify 1 into 1 2.401 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.401 * [taylor]: Taking taylor expansion of x in x 2.401 * [backup-simplify]: Simplify 0 into 0 2.401 * [backup-simplify]: Simplify 1 into 1 2.401 * [backup-simplify]: Simplify (/ 1 1) into 1 2.402 * [backup-simplify]: Simplify (- 1) into -1 2.402 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.402 * [backup-simplify]: Simplify (sqrt 0) into 0 2.404 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 2.404 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (- 1 (/ 1 x)))) in x 2.404 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x 2.404 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x 2.404 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 2.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.404 * [taylor]: Taking taylor expansion of x in x 2.404 * [backup-simplify]: Simplify 0 into 0 2.404 * [backup-simplify]: Simplify 1 into 1 2.404 * [backup-simplify]: Simplify (/ 1 1) into 1 2.404 * [taylor]: Taking taylor expansion of 1 in x 2.404 * [backup-simplify]: Simplify 1 into 1 2.405 * [backup-simplify]: Simplify (+ 1 0) into 1 2.405 * [backup-simplify]: Simplify (- 1) into -1 2.405 * [backup-simplify]: Simplify (sqrt 0) into 0 2.406 * [backup-simplify]: Simplify (- 1) into -1 2.407 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 2.407 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 2.407 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 2.407 * [taylor]: Taking taylor expansion of 1 in x 2.407 * [backup-simplify]: Simplify 1 into 1 2.407 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.407 * [taylor]: Taking taylor expansion of x in x 2.407 * [backup-simplify]: Simplify 0 into 0 2.407 * [backup-simplify]: Simplify 1 into 1 2.408 * [backup-simplify]: Simplify (/ 1 1) into 1 2.408 * [backup-simplify]: Simplify (- 1) into -1 2.408 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.409 * [backup-simplify]: Simplify (sqrt 0) into 0 2.410 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 2.410 * [backup-simplify]: Simplify (* 0 0) into 0 2.410 * [backup-simplify]: Simplify 0 into 0 2.411 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0 2.411 * [backup-simplify]: Simplify 0 into 0 2.412 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.412 * [backup-simplify]: Simplify (- 0) into 0 2.413 * [backup-simplify]: Simplify (+ 1 0) into 1 2.416 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 2.416 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.417 * [backup-simplify]: Simplify (+ 0 1) into 1 2.417 * [backup-simplify]: Simplify (- 1) into -1 2.420 * [backup-simplify]: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 2.422 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0) 2.423 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 2.423 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.424 * [backup-simplify]: Simplify (- 0) into 0 2.424 * [backup-simplify]: Simplify (+ 0 0) into 0 2.427 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 2.428 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.429 * [backup-simplify]: Simplify (+ 0 0) into 0 2.429 * [backup-simplify]: Simplify (- 0) into 0 2.432 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 2.439 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0) 2.439 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 2.440 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.441 * [backup-simplify]: Simplify (- 0) into 0 2.441 * [backup-simplify]: Simplify (+ 0 0) into 0 2.445 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 2.446 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.447 * [backup-simplify]: Simplify (+ 0 0) into 0 2.447 * [backup-simplify]: Simplify (- 0) into 0 2.451 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 2.457 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))))) into (- +nan.0) 2.457 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 2.458 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 (- x)) 2)) (+ (* (- +nan.0) (/ 1 (- x))) (- +nan.0))) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 2.459 * * * [progress]: simplifying candidates 2.459 * * * * [progress]: [ 1 / 47 ] simplifiying candidate # 2.459 * [simplify]: Simplifying (* (+ x 1) (- x 1)) 2.459 * * [simplify]: iters left: 4 (5 enodes) 2.462 * * [simplify]: iters left: 3 (22 enodes) 2.469 * * [simplify]: iters left: 2 (40 enodes) 2.478 * * [simplify]: iters left: 1 (74 enodes) 2.490 * * [simplify]: Extracting #0: cost 1 inf + 0 2.490 * * [simplify]: Extracting #1: cost 19 inf + 0 2.490 * * [simplify]: Extracting #2: cost 23 inf + 3 2.490 * * [simplify]: Extracting #3: cost 9 inf + 908 2.491 * * [simplify]: Extracting #4: cost 0 inf + 1844 2.491 * [simplify]: Simplified to (- (* x (+ 1 x)) (+ 1 x)) 2.491 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (pow (- (* x (+ 1 x)) (+ 1 x)) 1/2)))) 2.491 * * * * [progress]: [ 2 / 47 ] simplifiying candidate # 2.491 * [simplify]: Simplifying (* (sqrt (+ x 1)) (sqrt (- x 1))) 2.492 * * [simplify]: iters left: 5 (7 enodes) 2.494 * * [simplify]: iters left: 4 (28 enodes) 2.498 * * [simplify]: iters left: 3 (32 enodes) 2.507 * * [simplify]: Extracting #0: cost 1 inf + 0 2.507 * * [simplify]: Extracting #1: cost 4 inf + 0 2.507 * * [simplify]: Extracting #2: cost 8 inf + 0 2.507 * * [simplify]: Extracting #3: cost 13 inf + 0 2.507 * * [simplify]: Extracting #4: cost 10 inf + 3 2.507 * * [simplify]: Extracting #5: cost 4 inf + 375 2.508 * * [simplify]: Extracting #6: cost 1 inf + 701 2.508 * * [simplify]: Extracting #7: cost 0 inf + 903 2.508 * [simplify]: Simplified to (* (sqrt (+ 1 x)) (sqrt (- x 1))) 2.508 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (pow (* (sqrt (+ 1 x)) (sqrt (- x 1))) 1)))) 2.508 * * * * [progress]: [ 3 / 47 ] simplifiying candidate # 2.509 * [simplify]: Simplifying (* (+ x 1) (- x 1)) 2.509 * * [simplify]: iters left: 4 (5 enodes) 2.512 * * [simplify]: iters left: 3 (22 enodes) 2.519 * * [simplify]: iters left: 2 (40 enodes) 2.533 * * [simplify]: iters left: 1 (74 enodes) 2.558 * * [simplify]: Extracting #0: cost 1 inf + 0 2.559 * * [simplify]: Extracting #1: cost 19 inf + 0 2.559 * * [simplify]: Extracting #2: cost 23 inf + 3 2.559 * * [simplify]: Extracting #3: cost 9 inf + 908 2.560 * * [simplify]: Extracting #4: cost 0 inf + 1844 2.561 * [simplify]: Simplified to (- (* x (+ 1 x)) (+ 1 x)) 2.561 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (pow (- (* x (+ 1 x)) (+ 1 x)) (/ 1 2))))) 2.562 * [simplify]: Simplifying (/ 1 2) 2.562 * * [simplify]: iters left: 2 (3 enodes) 2.565 * * [simplify]: iters left: 1 (12 enodes) 2.569 * * [simplify]: Extracting #0: cost 1 inf + 0 2.569 * * [simplify]: Extracting #1: cost 0 inf + 1 2.569 * [simplify]: Simplified to 1/2 2.569 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ x (pow (* (+ x 1) (- x 1)) 1/2)))) 2.569 * * * * [progress]: [ 4 / 47 ] simplifiying candidate # 2.569 * * * * [progress]: [ 5 / 47 ] simplifiying candidate # 2.570 * [simplify]: Simplifying (+ (log (sqrt (+ x 1))) (log (sqrt (- x 1)))) 2.570 * * [simplify]: iters left: 6 (9 enodes) 2.574 * * [simplify]: iters left: 5 (34 enodes) 2.583 * * [simplify]: iters left: 4 (38 enodes) 2.593 * * [simplify]: Extracting #0: cost 1 inf + 0 2.593 * * [simplify]: Extracting #1: cost 4 inf + 0 2.593 * * [simplify]: Extracting #2: cost 8 inf + 0 2.593 * * [simplify]: Extracting #3: cost 12 inf + 0 2.593 * * [simplify]: Extracting #4: cost 17 inf + 0 2.594 * * [simplify]: Extracting #5: cost 14 inf + 3 2.594 * * [simplify]: Extracting #6: cost 10 inf + 211 2.594 * * [simplify]: Extracting #7: cost 4 inf + 803 2.595 * * [simplify]: Extracting #8: cost 0 inf + 1791 2.595 * [simplify]: Simplified to (+ (log (sqrt (- x 1))) (log (sqrt (+ 1 x)))) 2.595 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (exp (+ (log (sqrt (- x 1))) (log (sqrt (+ 1 x)))))))) 2.595 * * * * [progress]: [ 6 / 47 ] simplifiying candidate # 2.595 * * * * [progress]: [ 7 / 47 ] simplifiying candidate # 2.595 * * * * [progress]: [ 8 / 47 ] simplifiying candidate # 2.596 * [simplify]: Simplifying (* (* (* (sqrt (+ x 1)) (sqrt (+ x 1))) (sqrt (+ x 1))) (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1)))) 2.596 * * [simplify]: iters left: 6 (11 enodes) 2.602 * * [simplify]: iters left: 5 (42 enodes) 2.611 * * [simplify]: iters left: 4 (85 enodes) 2.629 * * [simplify]: iters left: 3 (207 enodes) 2.724 * * [simplify]: Extracting #0: cost 1 inf + 0 2.724 * * [simplify]: Extracting #1: cost 36 inf + 0 2.725 * * [simplify]: Extracting #2: cost 118 inf + 1 2.725 * * [simplify]: Extracting #3: cost 136 inf + 172 2.726 * * [simplify]: Extracting #4: cost 110 inf + 2596 2.729 * * [simplify]: Extracting #5: cost 29 inf + 22705 2.742 * * [simplify]: Extracting #6: cost 0 inf + 30584 2.755 * [simplify]: Simplified to (* (* (sqrt (+ x -1)) (+ x -1)) (* (sqrt (+ 1 x)) (+ 1 x))) 2.755 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (cbrt (* (* (sqrt (+ x -1)) (+ x -1)) (* (sqrt (+ 1 x)) (+ 1 x))))))) 2.755 * * * * [progress]: [ 9 / 47 ] simplifiying candidate # 2.755 * * * * [progress]: [ 10 / 47 ] simplifiying candidate # 2.755 * * * * [progress]: [ 11 / 47 ] simplifiying candidate # 2.755 * [simplify]: Simplifying (* (+ x 1) (- x 1)) 2.755 * * [simplify]: iters left: 4 (5 enodes) 2.758 * * [simplify]: iters left: 3 (22 enodes) 2.762 * * [simplify]: iters left: 2 (40 enodes) 2.770 * * [simplify]: iters left: 1 (74 enodes) 2.782 * * [simplify]: Extracting #0: cost 1 inf + 0 2.782 * * [simplify]: Extracting #1: cost 19 inf + 0 2.782 * * [simplify]: Extracting #2: cost 23 inf + 3 2.782 * * [simplify]: Extracting #3: cost 9 inf + 908 2.783 * * [simplify]: Extracting #4: cost 0 inf + 1844 2.783 * [simplify]: Simplified to (- (* x (+ 1 x)) (+ 1 x)) 2.783 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (sqrt (- (* x (+ 1 x)) (+ 1 x)))))) 2.783 * * * * [progress]: [ 12 / 47 ] simplifiying candidate # 2.783 * * * * [progress]: [ 13 / 47 ] simplifiying candidate # 2.784 * [simplify]: Simplifying (* (sqrt (+ (pow x 3) (pow 1 3))) (sqrt (- (pow x 3) (pow 1 3)))) 2.784 * * [simplify]: iters left: 6 (10 enodes) 2.788 * * [simplify]: iters left: 5 (45 enodes) 2.804 * * [simplify]: iters left: 4 (68 enodes) 2.830 * * [simplify]: iters left: 3 (101 enodes) 2.853 * * [simplify]: iters left: 2 (161 enodes) 2.892 * * [simplify]: iters left: 1 (337 enodes) 3.005 * * [simplify]: Extracting #0: cost 1 inf + 0 3.005 * * [simplify]: Extracting #1: cost 4 inf + 0 3.005 * * [simplify]: Extracting #2: cost 8 inf + 0 3.006 * * [simplify]: Extracting #3: cost 42 inf + 0 3.006 * * [simplify]: Extracting #4: cost 134 inf + 2 3.008 * * [simplify]: Extracting #5: cost 192 inf + 1936 3.010 * * [simplify]: Extracting #6: cost 180 inf + 4629 3.015 * * [simplify]: Extracting #7: cost 110 inf + 32376 3.028 * * [simplify]: Extracting #8: cost 13 inf + 83570 3.044 * * [simplify]: Extracting #9: cost 0 inf + 92381 3.060 * [simplify]: Simplified to (* (sqrt (+ 1 (* x (* x x)))) (sqrt (+ -1 (* x (* x x))))) 3.060 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (/ (* (sqrt (+ 1 (* x (* x x)))) (sqrt (+ -1 (* x (* x x))))) (* (sqrt (+ (* x x) (- (* 1 1) (* x 1)))) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))))) 3.061 * [simplify]: Simplifying (* (sqrt (+ (* x x) (- (* 1 1) (* x 1)))) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))) 3.061 * * [simplify]: iters left: 6 (12 enodes) 3.068 * * [simplify]: iters left: 5 (44 enodes) 3.081 * * [simplify]: iters left: 4 (70 enodes) 3.095 * * [simplify]: iters left: 3 (92 enodes) 3.105 * * [simplify]: iters left: 2 (106 enodes) 3.121 * * [simplify]: iters left: 1 (127 enodes) 3.152 * * [simplify]: Extracting #0: cost 1 inf + 0 3.153 * * [simplify]: Extracting #1: cost 4 inf + 0 3.153 * * [simplify]: Extracting #2: cost 8 inf + 0 3.153 * * [simplify]: Extracting #3: cost 24 inf + 0 3.153 * * [simplify]: Extracting #4: cost 30 inf + 412 3.154 * * [simplify]: Extracting #5: cost 4 inf + 2810 3.156 * * [simplify]: Extracting #6: cost 0 inf + 3338 3.157 * [simplify]: Simplified to (* (sqrt (- (* x x) (- x 1))) (sqrt (+ (* x x) (+ x 1)))) 3.157 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ x (/ (* (sqrt (+ 1 (* x (* x x)))) (sqrt (+ -1 (* x (* x x))))) (* (sqrt (- (* x x) (- x 1))) (sqrt (+ (* x x) (+ x 1)))))))) 3.158 * * * * [progress]: [ 14 / 47 ] simplifiying candidate # 3.158 * [simplify]: Simplifying (* (sqrt (+ (pow x 3) (pow 1 3))) (sqrt (- (* x x) (* 1 1)))) 3.158 * * [simplify]: iters left: 6 (12 enodes) 3.165 * * [simplify]: iters left: 5 (47 enodes) 3.182 * * [simplify]: iters left: 4 (68 enodes) 3.193 * * [simplify]: iters left: 3 (101 enodes) 3.210 * * [simplify]: iters left: 2 (158 enodes) 3.262 * * [simplify]: iters left: 1 (292 enodes) 3.337 * * [simplify]: Extracting #0: cost 1 inf + 0 3.337 * * [simplify]: Extracting #1: cost 4 inf + 0 3.337 * * [simplify]: Extracting #2: cost 8 inf + 0 3.337 * * [simplify]: Extracting #3: cost 32 inf + 0 3.338 * * [simplify]: Extracting #4: cost 49 inf + 44 3.339 * * [simplify]: Extracting #5: cost 74 inf + 950 3.341 * * [simplify]: Extracting #6: cost 57 inf + 3755 3.344 * * [simplify]: Extracting #7: cost 22 inf + 19611 3.349 * * [simplify]: Extracting #8: cost 2 inf + 29924 3.355 * * [simplify]: Extracting #9: cost 0 inf + 31061 3.361 * [simplify]: Simplified to (* (sqrt (- (* x x) 1)) (sqrt (+ 1 (* (* x x) x)))) 3.361 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (/ (* (sqrt (- (* x x) 1)) (sqrt (+ 1 (* (* x x) x)))) (* (sqrt (+ (* x x) (- (* 1 1) (* x 1)))) (sqrt (+ x 1))))))) 3.361 * [simplify]: Simplifying (* (sqrt (+ (* x x) (- (* 1 1) (* x 1)))) (sqrt (+ x 1))) 3.362 * * [simplify]: iters left: 6 (11 enodes) 3.367 * * [simplify]: iters left: 5 (38 enodes) 3.377 * * [simplify]: iters left: 4 (55 enodes) 3.384 * * [simplify]: iters left: 3 (72 enodes) 3.393 * * [simplify]: iters left: 2 (85 enodes) 3.405 * * [simplify]: iters left: 1 (103 enodes) 3.437 * * [simplify]: Extracting #0: cost 1 inf + 0 3.437 * * [simplify]: Extracting #1: cost 4 inf + 0 3.437 * * [simplify]: Extracting #2: cost 8 inf + 0 3.437 * * [simplify]: Extracting #3: cost 22 inf + 0 3.437 * * [simplify]: Extracting #4: cost 32 inf + 2 3.438 * * [simplify]: Extracting #5: cost 18 inf + 700 3.439 * * [simplify]: Extracting #6: cost 2 inf + 2128 3.440 * * [simplify]: Extracting #7: cost 0 inf + 2692 3.441 * [simplify]: Simplified to (* (sqrt (+ x 1)) (sqrt (- 1 (- x (* x x))))) 3.442 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ x (/ (* (sqrt (- (* x x) 1)) (sqrt (+ 1 (* (* x x) x)))) (* (sqrt (+ x 1)) (sqrt (- 1 (- x (* x x))))))))) 3.442 * * * * [progress]: [ 15 / 47 ] simplifiying candidate # 3.442 * [simplify]: Simplifying (* (sqrt (- (* x x) (* 1 1))) (sqrt (- (pow x 3) (pow 1 3)))) 3.442 * * [simplify]: iters left: 6 (12 enodes) 3.450 * * [simplify]: iters left: 5 (48 enodes) 3.467 * * [simplify]: iters left: 4 (72 enodes) 3.491 * * [simplify]: iters left: 3 (112 enodes) 3.526 * * [simplify]: iters left: 2 (188 enodes) 3.602 * * [simplify]: iters left: 1 (404 enodes) 3.735 * * [simplify]: Extracting #0: cost 1 inf + 0 3.735 * * [simplify]: Extracting #1: cost 4 inf + 0 3.735 * * [simplify]: Extracting #2: cost 8 inf + 0 3.735 * * [simplify]: Extracting #3: cost 61 inf + 0 3.736 * * [simplify]: Extracting #4: cost 160 inf + 85 3.737 * * [simplify]: Extracting #5: cost 206 inf + 2860 3.739 * * [simplify]: Extracting #6: cost 159 inf + 14455 3.746 * * [simplify]: Extracting #7: cost 79 inf + 57309 3.762 * * [simplify]: Extracting #8: cost 1 inf + 103240 3.779 * * [simplify]: Extracting #9: cost 0 inf + 100699 3.788 * * [simplify]: Extracting #10: cost 0 inf + 100517 3.797 * [simplify]: Simplified to (* (sqrt (- (* x x) 1)) (sqrt (+ -1 (* x (* x x))))) 3.797 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (/ (* (sqrt (- (* x x) 1)) (sqrt (+ -1 (* x (* x x))))) (* (sqrt (- x 1)) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))))) 3.798 * [simplify]: Simplifying (* (sqrt (- x 1)) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))) 3.798 * * [simplify]: iters left: 6 (11 enodes) 3.801 * * [simplify]: iters left: 5 (39 enodes) 3.807 * * [simplify]: iters left: 4 (53 enodes) 3.814 * * [simplify]: iters left: 3 (58 enodes) 3.824 * * [simplify]: iters left: 2 (59 enodes) 3.841 * * [simplify]: iters left: 1 (62 enodes) 3.849 * * [simplify]: Extracting #0: cost 1 inf + 0 3.849 * * [simplify]: Extracting #1: cost 4 inf + 0 3.849 * * [simplify]: Extracting #2: cost 8 inf + 0 3.849 * * [simplify]: Extracting #3: cost 17 inf + 0 3.849 * * [simplify]: Extracting #4: cost 18 inf + 3 3.850 * * [simplify]: Extracting #5: cost 9 inf + 538 3.850 * * [simplify]: Extracting #6: cost 4 inf + 1027 3.850 * * [simplify]: Extracting #7: cost 0 inf + 1877 3.851 * [simplify]: Simplified to (* (sqrt (+ x -1)) (sqrt (+ (+ 1 x) (* x x)))) 3.851 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ x (/ (* (sqrt (- (* x x) 1)) (sqrt (+ -1 (* x (* x x))))) (* (sqrt (+ x -1)) (sqrt (+ (+ 1 x) (* x x)))))))) 3.851 * * * * [progress]: [ 16 / 47 ] simplifiying candidate # 3.851 * [simplify]: Simplifying (* (sqrt (- (* x x) (* 1 1))) (sqrt (- (* x x) (* 1 1)))) 3.851 * * [simplify]: iters left: 6 (7 enodes) 3.853 * * [simplify]: iters left: 5 (22 enodes) 3.857 * * [simplify]: iters left: 4 (30 enodes) 3.861 * * [simplify]: iters left: 3 (37 enodes) 3.866 * * [simplify]: iters left: 2 (53 enodes) 3.881 * * [simplify]: iters left: 1 (90 enodes) 3.896 * * [simplify]: Extracting #0: cost 1 inf + 0 3.897 * * [simplify]: Extracting #1: cost 24 inf + 0 3.897 * * [simplify]: Extracting #2: cost 26 inf + 127 3.897 * * [simplify]: Extracting #3: cost 2 inf + 2252 3.898 * * [simplify]: Extracting #4: cost 0 inf + 2497 3.898 * [simplify]: Simplified to (- (* x x) 1) 3.898 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (/ (- (* x x) 1) (* (sqrt (- x 1)) (sqrt (+ x 1))))))) 3.899 * [simplify]: Simplifying (* (sqrt (- x 1)) (sqrt (+ x 1))) 3.899 * * [simplify]: iters left: 5 (7 enodes) 3.901 * * [simplify]: iters left: 4 (28 enodes) 3.905 * * [simplify]: iters left: 3 (32 enodes) 3.909 * * [simplify]: Extracting #0: cost 1 inf + 0 3.909 * * [simplify]: Extracting #1: cost 4 inf + 0 3.909 * * [simplify]: Extracting #2: cost 8 inf + 0 3.909 * * [simplify]: Extracting #3: cost 13 inf + 0 3.909 * * [simplify]: Extracting #4: cost 10 inf + 3 3.910 * * [simplify]: Extracting #5: cost 4 inf + 375 3.910 * * [simplify]: Extracting #6: cost 1 inf + 701 3.910 * * [simplify]: Extracting #7: cost 0 inf + 903 3.910 * [simplify]: Simplified to (* (sqrt (- x 1)) (sqrt (+ 1 x))) 3.910 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ x (/ (- (* x x) 1) (* (sqrt (- x 1)) (sqrt (+ 1 x))))))) 3.910 * * * * [progress]: [ 17 / 47 ] simplifiying candidate # 3.910 * * * * [progress]: [ 18 / 47 ] simplifiying candidate # 3.910 * [simplify]: Simplifying (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1)))) 3.910 * * [simplify]: iters left: 6 (9 enodes) 3.913 * * [simplify]: iters left: 5 (34 enodes) 3.922 * * [simplify]: iters left: 4 (38 enodes) 3.934 * * [simplify]: Extracting #0: cost 1 inf + 0 3.934 * * [simplify]: Extracting #1: cost 4 inf + 0 3.934 * * [simplify]: Extracting #2: cost 8 inf + 0 3.934 * * [simplify]: Extracting #3: cost 12 inf + 0 3.934 * * [simplify]: Extracting #4: cost 17 inf + 0 3.934 * * [simplify]: Extracting #5: cost 14 inf + 3 3.934 * * [simplify]: Extracting #6: cost 10 inf + 211 3.934 * * [simplify]: Extracting #7: cost 4 inf + 743 3.935 * * [simplify]: Extracting #8: cost 0 inf + 1551 3.935 * [simplify]: Simplified to (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (+ 1 x)))) 3.935 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (+ 1 x)))) (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1)))))))) 3.935 * [simplify]: Simplifying (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1)))) 3.935 * * [simplify]: iters left: 6 (9 enodes) 3.938 * * [simplify]: iters left: 5 (34 enodes) 3.943 * * [simplify]: iters left: 4 (38 enodes) 3.948 * * [simplify]: Extracting #0: cost 1 inf + 0 3.948 * * [simplify]: Extracting #1: cost 4 inf + 0 3.948 * * [simplify]: Extracting #2: cost 8 inf + 0 3.948 * * [simplify]: Extracting #3: cost 12 inf + 0 3.948 * * [simplify]: Extracting #4: cost 17 inf + 0 3.948 * * [simplify]: Extracting #5: cost 14 inf + 3 3.948 * * [simplify]: Extracting #6: cost 10 inf + 211 3.948 * * [simplify]: Extracting #7: cost 4 inf + 743 3.948 * * [simplify]: Extracting #8: cost 0 inf + 1551 3.949 * [simplify]: Simplified to (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (+ 1 x)))) 3.949 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ x (* (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (+ 1 x)))))))) 3.949 * * * * [progress]: [ 19 / 47 ] simplifiying candidate # 3.949 * [simplify]: Simplifying (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1)))) 3.949 * * [simplify]: iters left: 6 (9 enodes) 3.951 * * [simplify]: iters left: 5 (34 enodes) 3.956 * * [simplify]: iters left: 4 (38 enodes) 3.961 * * [simplify]: Extracting #0: cost 1 inf + 0 3.961 * * [simplify]: Extracting #1: cost 4 inf + 0 3.961 * * [simplify]: Extracting #2: cost 8 inf + 0 3.961 * * [simplify]: Extracting #3: cost 12 inf + 0 3.961 * * [simplify]: Extracting #4: cost 17 inf + 0 3.962 * * [simplify]: Extracting #5: cost 14 inf + 3 3.962 * * [simplify]: Extracting #6: cost 10 inf + 211 3.962 * * [simplify]: Extracting #7: cost 4 inf + 743 3.962 * * [simplify]: Extracting #8: cost 0 inf + 1551 3.963 * [simplify]: Simplified to (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (+ 1 x)))) 3.963 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (+ 1 x)))) (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1)))))))) 3.963 * [simplify]: Simplifying (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1)))) 3.963 * * [simplify]: iters left: 6 (9 enodes) 3.968 * * [simplify]: iters left: 5 (34 enodes) 3.978 * * [simplify]: iters left: 4 (38 enodes) 3.983 * * [simplify]: Extracting #0: cost 1 inf + 0 3.983 * * [simplify]: Extracting #1: cost 4 inf + 0 3.983 * * [simplify]: Extracting #2: cost 8 inf + 0 3.983 * * [simplify]: Extracting #3: cost 12 inf + 0 3.983 * * [simplify]: Extracting #4: cost 17 inf + 0 3.983 * * [simplify]: Extracting #5: cost 14 inf + 3 3.983 * * [simplify]: Extracting #6: cost 10 inf + 211 3.983 * * [simplify]: Extracting #7: cost 4 inf + 743 3.983 * * [simplify]: Extracting #8: cost 0 inf + 1551 3.984 * [simplify]: Simplified to (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (+ 1 x)))) 3.984 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ x (* (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (+ 1 x)))))))) 3.984 * * * * [progress]: [ 20 / 47 ] simplifiying candidate # 3.984 * [simplify]: Simplifying (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1)))) 3.984 * * [simplify]: iters left: 6 (9 enodes) 3.986 * * [simplify]: iters left: 5 (34 enodes) 3.991 * * [simplify]: iters left: 4 (38 enodes) 3.996 * * [simplify]: Extracting #0: cost 1 inf + 0 3.996 * * [simplify]: Extracting #1: cost 4 inf + 0 3.996 * * [simplify]: Extracting #2: cost 8 inf + 0 3.996 * * [simplify]: Extracting #3: cost 12 inf + 0 3.997 * * [simplify]: Extracting #4: cost 17 inf + 0 3.997 * * [simplify]: Extracting #5: cost 14 inf + 3 3.997 * * [simplify]: Extracting #6: cost 10 inf + 211 3.997 * * [simplify]: Extracting #7: cost 4 inf + 743 3.997 * * [simplify]: Extracting #8: cost 0 inf + 1551 3.997 * [simplify]: Simplified to (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (+ 1 x)))) 3.997 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (+ 1 x)))) (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1)))))))) 3.998 * [simplify]: Simplifying (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1)))) 3.998 * * [simplify]: iters left: 6 (9 enodes) 4.000 * * [simplify]: iters left: 5 (34 enodes) 4.005 * * [simplify]: iters left: 4 (38 enodes) 4.011 * * [simplify]: Extracting #0: cost 1 inf + 0 4.011 * * [simplify]: Extracting #1: cost 4 inf + 0 4.011 * * [simplify]: Extracting #2: cost 8 inf + 0 4.011 * * [simplify]: Extracting #3: cost 12 inf + 0 4.011 * * [simplify]: Extracting #4: cost 17 inf + 0 4.011 * * [simplify]: Extracting #5: cost 14 inf + 3 4.011 * * [simplify]: Extracting #6: cost 10 inf + 211 4.011 * * [simplify]: Extracting #7: cost 4 inf + 743 4.012 * * [simplify]: Extracting #8: cost 0 inf + 1551 4.012 * [simplify]: Simplified to (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (+ 1 x)))) 4.012 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ x (* (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (+ 1 x)))))))) 4.012 * * * * [progress]: [ 21 / 47 ] simplifiying candidate # 4.012 * [simplify]: Simplifying (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1)))) 4.012 * * [simplify]: iters left: 6 (9 enodes) 4.018 * * [simplify]: iters left: 5 (34 enodes) 4.027 * * [simplify]: iters left: 4 (38 enodes) 4.036 * * [simplify]: Extracting #0: cost 1 inf + 0 4.036 * * [simplify]: Extracting #1: cost 4 inf + 0 4.036 * * [simplify]: Extracting #2: cost 8 inf + 0 4.036 * * [simplify]: Extracting #3: cost 12 inf + 0 4.036 * * [simplify]: Extracting #4: cost 17 inf + 0 4.036 * * [simplify]: Extracting #5: cost 14 inf + 3 4.036 * * [simplify]: Extracting #6: cost 10 inf + 211 4.037 * * [simplify]: Extracting #7: cost 4 inf + 743 4.037 * * [simplify]: Extracting #8: cost 0 inf + 1551 4.037 * [simplify]: Simplified to (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (+ 1 x)))) 4.037 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (+ 1 x)))) (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1)))))))) 4.038 * [simplify]: Simplifying (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1)))) 4.038 * * [simplify]: iters left: 6 (9 enodes) 4.040 * * [simplify]: iters left: 5 (34 enodes) 4.045 * * [simplify]: iters left: 4 (38 enodes) 4.050 * * [simplify]: Extracting #0: cost 1 inf + 0 4.050 * * [simplify]: Extracting #1: cost 4 inf + 0 4.050 * * [simplify]: Extracting #2: cost 8 inf + 0 4.050 * * [simplify]: Extracting #3: cost 12 inf + 0 4.050 * * [simplify]: Extracting #4: cost 17 inf + 0 4.051 * * [simplify]: Extracting #5: cost 14 inf + 3 4.051 * * [simplify]: Extracting #6: cost 10 inf + 211 4.051 * * [simplify]: Extracting #7: cost 4 inf + 743 4.051 * * [simplify]: Extracting #8: cost 0 inf + 1551 4.051 * [simplify]: Simplified to (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (+ 1 x)))) 4.051 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ x (* (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (+ 1 x)))))))) 4.051 * * * * [progress]: [ 22 / 47 ] simplifiying candidate # 4.052 * [simplify]: Simplifying (cbrt (sqrt (- x 1))) 4.052 * * [simplify]: iters left: 4 (5 enodes) 4.053 * * [simplify]: iters left: 3 (20 enodes) 4.056 * * [simplify]: iters left: 2 (24 enodes) 4.060 * * [simplify]: Extracting #0: cost 1 inf + 0 4.060 * * [simplify]: Extracting #1: cost 3 inf + 0 4.060 * * [simplify]: Extracting #2: cost 5 inf + 0 4.060 * * [simplify]: Extracting #3: cost 9 inf + 0 4.060 * * [simplify]: Extracting #4: cost 6 inf + 3 4.060 * * [simplify]: Extracting #5: cost 0 inf + 575 4.060 * [simplify]: Simplified to (cbrt (sqrt (+ x -1))) 4.060 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ x (* (* (sqrt (+ x 1)) (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1))))) (cbrt (sqrt (+ x -1))))))) 4.060 * * * * [progress]: [ 23 / 47 ] simplifiying candidate # 4.061 * [simplify]: Simplifying (sqrt (cbrt (- x 1))) 4.061 * * [simplify]: iters left: 4 (5 enodes) 4.062 * * [simplify]: iters left: 3 (20 enodes) 4.065 * * [simplify]: iters left: 2 (24 enodes) 4.069 * * [simplify]: Extracting #0: cost 1 inf + 0 4.069 * * [simplify]: Extracting #1: cost 3 inf + 0 4.069 * * [simplify]: Extracting #2: cost 5 inf + 0 4.069 * * [simplify]: Extracting #3: cost 9 inf + 0 4.069 * * [simplify]: Extracting #4: cost 6 inf + 3 4.069 * * [simplify]: Extracting #5: cost 0 inf + 655 4.069 * [simplify]: Simplified to (sqrt (cbrt (+ x -1))) 4.069 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ x (* (* (sqrt (+ x 1)) (sqrt (* (cbrt (- x 1)) (cbrt (- x 1))))) (sqrt (cbrt (+ x -1))))))) 4.069 * * * * [progress]: [ 24 / 47 ] simplifiying candidate # 4.070 * [simplify]: Simplifying (sqrt (sqrt (- x 1))) 4.070 * * [simplify]: iters left: 4 (5 enodes) 4.073 * * [simplify]: iters left: 3 (20 enodes) 4.079 * * [simplify]: iters left: 2 (24 enodes) 4.085 * * [simplify]: Extracting #0: cost 1 inf + 0 4.085 * * [simplify]: Extracting #1: cost 3 inf + 0 4.085 * * [simplify]: Extracting #2: cost 5 inf + 0 4.085 * * [simplify]: Extracting #3: cost 9 inf + 0 4.085 * * [simplify]: Extracting #4: cost 6 inf + 3 4.086 * * [simplify]: Extracting #5: cost 0 inf + 495 4.086 * [simplify]: Simplified to (sqrt (sqrt (+ x -1))) 4.086 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ x (* (* (sqrt (+ x 1)) (sqrt (sqrt (- x 1)))) (sqrt (sqrt (+ x -1))))))) 4.086 * * * * [progress]: [ 25 / 47 ] simplifiying candidate # 4.086 * [simplify]: Simplifying (sqrt (- x 1)) 4.086 * * [simplify]: iters left: 3 (4 enodes) 4.089 * * [simplify]: iters left: 2 (17 enodes) 4.094 * * [simplify]: iters left: 1 (21 enodes) 4.100 * * [simplify]: Extracting #0: cost 1 inf + 0 4.101 * * [simplify]: Extracting #1: cost 3 inf + 0 4.101 * * [simplify]: Extracting #2: cost 7 inf + 0 4.101 * * [simplify]: Extracting #3: cost 4 inf + 3 4.101 * * [simplify]: Extracting #4: cost 0 inf + 251 4.101 * [simplify]: Simplified to (sqrt (+ x -1)) 4.101 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ x (* (* (sqrt (+ x 1)) (sqrt 1)) (sqrt (+ x -1)))))) 4.101 * * * * [progress]: [ 26 / 47 ] simplifiying candidate # 4.101 * [simplify]: Simplifying (sqrt (- (sqrt x) (sqrt 1))) 4.102 * * [simplify]: iters left: 4 (6 enodes) 4.105 * * [simplify]: iters left: 3 (22 enodes) 4.112 * * [simplify]: iters left: 2 (31 enodes) 4.119 * * [simplify]: Extracting #0: cost 1 inf + 0 4.119 * * [simplify]: Extracting #1: cost 3 inf + 0 4.119 * * [simplify]: Extracting #2: cost 7 inf + 0 4.119 * * [simplify]: Extracting #3: cost 7 inf + 2 4.119 * * [simplify]: Extracting #4: cost 6 inf + 3 4.120 * * [simplify]: Extracting #5: cost 1 inf + 371 4.120 * * [simplify]: Extracting #6: cost 0 inf + 493 4.120 * [simplify]: Simplified to (sqrt (- (sqrt x) 1)) 4.120 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ x (* (* (sqrt (+ x 1)) (sqrt (+ (sqrt x) (sqrt 1)))) (sqrt (- (sqrt x) 1)))))) 4.120 * * * * [progress]: [ 27 / 47 ] simplifiying candidate # 4.121 * [simplify]: Simplifying (sqrt (- (sqrt x) 1)) 4.121 * * [simplify]: iters left: 4 (5 enodes) 4.124 * * [simplify]: iters left: 3 (20 enodes) 4.130 * * [simplify]: iters left: 2 (24 enodes) 4.134 * * [simplify]: Extracting #0: cost 1 inf + 0 4.134 * * [simplify]: Extracting #1: cost 3 inf + 0 4.134 * * [simplify]: Extracting #2: cost 7 inf + 0 4.134 * * [simplify]: Extracting #3: cost 7 inf + 2 4.134 * * [simplify]: Extracting #4: cost 6 inf + 3 4.134 * * [simplify]: Extracting #5: cost 0 inf + 493 4.134 * [simplify]: Simplified to (sqrt (- (sqrt x) 1)) 4.134 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ x (* (* (sqrt (+ x 1)) (sqrt (+ (sqrt x) 1))) (sqrt (- (sqrt x) 1)))))) 4.134 * * * * [progress]: [ 28 / 47 ] simplifiying candidate # 4.134 * [simplify]: Simplifying (sqrt (- (sqrt x) 1)) 4.134 * * [simplify]: iters left: 4 (5 enodes) 4.138 * * [simplify]: iters left: 3 (20 enodes) 4.141 * * [simplify]: iters left: 2 (24 enodes) 4.145 * * [simplify]: Extracting #0: cost 1 inf + 0 4.145 * * [simplify]: Extracting #1: cost 3 inf + 0 4.145 * * [simplify]: Extracting #2: cost 7 inf + 0 4.145 * * [simplify]: Extracting #3: cost 7 inf + 2 4.145 * * [simplify]: Extracting #4: cost 6 inf + 3 4.145 * * [simplify]: Extracting #5: cost 0 inf + 493 4.145 * [simplify]: Simplified to (sqrt (- (sqrt x) 1)) 4.145 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ x (* (* (sqrt (+ x 1)) (sqrt (+ (sqrt x) 1))) (sqrt (- (sqrt x) 1)))))) 4.145 * * * * [progress]: [ 29 / 47 ] simplifiying candidate # 4.146 * [simplify]: Simplifying (sqrt (- x 1)) 4.146 * * [simplify]: iters left: 3 (4 enodes) 4.147 * * [simplify]: iters left: 2 (17 enodes) 4.150 * * [simplify]: iters left: 1 (21 enodes) 4.153 * * [simplify]: Extracting #0: cost 1 inf + 0 4.153 * * [simplify]: Extracting #1: cost 3 inf + 0 4.153 * * [simplify]: Extracting #2: cost 7 inf + 0 4.153 * * [simplify]: Extracting #3: cost 4 inf + 3 4.153 * * [simplify]: Extracting #4: cost 0 inf + 251 4.153 * [simplify]: Simplified to (sqrt (+ x -1)) 4.153 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ x (* (* (sqrt (+ x 1)) (sqrt 1)) (sqrt (+ x -1)))))) 4.153 * * * * [progress]: [ 30 / 47 ] simplifiying candidate # 4.153 * [simplify]: Simplifying (sqrt (sqrt (- x 1))) 4.153 * * [simplify]: iters left: 4 (5 enodes) 4.155 * * [simplify]: iters left: 3 (20 enodes) 4.158 * * [simplify]: iters left: 2 (24 enodes) 4.161 * * [simplify]: Extracting #0: cost 1 inf + 0 4.161 * * [simplify]: Extracting #1: cost 3 inf + 0 4.162 * * [simplify]: Extracting #2: cost 5 inf + 0 4.162 * * [simplify]: Extracting #3: cost 9 inf + 0 4.162 * * [simplify]: Extracting #4: cost 6 inf + 3 4.162 * * [simplify]: Extracting #5: cost 0 inf + 495 4.162 * [simplify]: Simplified to (sqrt (sqrt (+ x -1))) 4.162 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ x (* (* (sqrt (+ x 1)) (sqrt (sqrt (- x 1)))) (sqrt (sqrt (+ x -1))))))) 4.162 * * * * [progress]: [ 31 / 47 ] simplifiying candidate # 4.162 * [simplify]: Simplifying (sqrt (- x 1)) 4.162 * * [simplify]: iters left: 3 (4 enodes) 4.164 * * [simplify]: iters left: 2 (17 enodes) 4.166 * * [simplify]: iters left: 1 (21 enodes) 4.169 * * [simplify]: Extracting #0: cost 1 inf + 0 4.169 * * [simplify]: Extracting #1: cost 3 inf + 0 4.169 * * [simplify]: Extracting #2: cost 7 inf + 0 4.169 * * [simplify]: Extracting #3: cost 4 inf + 3 4.169 * * [simplify]: Extracting #4: cost 0 inf + 251 4.169 * [simplify]: Simplified to (sqrt (+ x -1)) 4.169 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ x (* (* (sqrt (+ x 1)) 1) (sqrt (+ x -1)))))) 4.170 * * * * [progress]: [ 32 / 47 ] simplifiying candidate # 4.170 * [simplify]: Simplifying (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1)))) 4.170 * * [simplify]: iters left: 6 (6 enodes) 4.173 * * [simplify]: iters left: 5 (21 enodes) 4.178 * * [simplify]: iters left: 4 (23 enodes) 4.182 * * [simplify]: Extracting #0: cost 1 inf + 0 4.182 * * [simplify]: Extracting #1: cost 3 inf + 0 4.182 * * [simplify]: Extracting #2: cost 5 inf + 0 4.182 * * [simplify]: Extracting #3: cost 7 inf + 0 4.182 * * [simplify]: Extracting #4: cost 10 inf + 0 4.182 * * [simplify]: Extracting #5: cost 8 inf + 2 4.182 * * [simplify]: Extracting #6: cost 0 inf + 978 4.182 * [simplify]: Simplified to (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x)))) 4.182 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (* (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x)))) (* (cbrt (sqrt (+ x 1))) (sqrt (- x 1))))))) 4.182 * * * * [progress]: [ 33 / 47 ] simplifiying candidate # 4.182 * [simplify]: Simplifying (sqrt (* (cbrt (+ x 1)) (cbrt (+ x 1)))) 4.182 * * [simplify]: iters left: 6 (6 enodes) 4.184 * * [simplify]: iters left: 5 (22 enodes) 4.187 * * [simplify]: iters left: 4 (24 enodes) 4.190 * * [simplify]: Extracting #0: cost 1 inf + 0 4.190 * * [simplify]: Extracting #1: cost 4 inf + 0 4.190 * * [simplify]: Extracting #2: cost 7 inf + 0 4.190 * * [simplify]: Extracting #3: cost 10 inf + 0 4.190 * * [simplify]: Extracting #4: cost 8 inf + 2 4.190 * * [simplify]: Extracting #5: cost 1 inf + 816 4.191 * * [simplify]: Extracting #6: cost 0 inf + 978 4.191 * [simplify]: Simplified to (fabs (cbrt (+ 1 x))) 4.191 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (* (fabs (cbrt (+ 1 x))) (* (sqrt (cbrt (+ x 1))) (sqrt (- x 1))))))) 4.191 * * * * [progress]: [ 34 / 47 ] simplifiying candidate # 4.191 * [simplify]: Simplifying (sqrt (sqrt (+ x 1))) 4.191 * * [simplify]: iters left: 4 (5 enodes) 4.192 * * [simplify]: iters left: 3 (18 enodes) 4.195 * * [simplify]: iters left: 2 (20 enodes) 4.198 * * [simplify]: Extracting #0: cost 1 inf + 0 4.198 * * [simplify]: Extracting #1: cost 3 inf + 0 4.198 * * [simplify]: Extracting #2: cost 5 inf + 0 4.198 * * [simplify]: Extracting #3: cost 8 inf + 0 4.198 * * [simplify]: Extracting #4: cost 6 inf + 2 4.199 * * [simplify]: Extracting #5: cost 0 inf + 494 4.199 * [simplify]: Simplified to (sqrt (sqrt (+ 1 x))) 4.199 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (* (sqrt (sqrt (+ 1 x))) (* (sqrt (sqrt (+ x 1))) (sqrt (- x 1))))))) 4.199 * * * * [progress]: [ 35 / 47 ] simplifiying candidate # 4.199 * [simplify]: Simplifying (sqrt 1) 4.199 * * [simplify]: iters left: 1 (2 enodes) 4.201 * * [simplify]: Extracting #0: cost 1 inf + 0 4.201 * * [simplify]: Extracting #1: cost 0 inf + 1 4.201 * [simplify]: Simplified to 1 4.201 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (* 1 (* (sqrt (+ x 1)) (sqrt (- x 1))))))) 4.201 * * * * [progress]: [ 36 / 47 ] simplifiying candidate # 4.201 * [simplify]: Simplifying (sqrt 1) 4.201 * * [simplify]: iters left: 1 (2 enodes) 4.203 * * [simplify]: Extracting #0: cost 1 inf + 0 4.203 * * [simplify]: Extracting #1: cost 0 inf + 1 4.203 * [simplify]: Simplified to 1 4.203 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (* 1 (* (sqrt (+ x 1)) (sqrt (- x 1))))))) 4.203 * * * * [progress]: [ 37 / 47 ] simplifiying candidate # 4.203 * [simplify]: Simplifying (sqrt (sqrt (+ x 1))) 4.203 * * [simplify]: iters left: 4 (5 enodes) 4.204 * * [simplify]: iters left: 3 (18 enodes) 4.207 * * [simplify]: iters left: 2 (20 enodes) 4.210 * * [simplify]: Extracting #0: cost 1 inf + 0 4.210 * * [simplify]: Extracting #1: cost 3 inf + 0 4.210 * * [simplify]: Extracting #2: cost 5 inf + 0 4.210 * * [simplify]: Extracting #3: cost 8 inf + 0 4.210 * * [simplify]: Extracting #4: cost 6 inf + 2 4.210 * * [simplify]: Extracting #5: cost 0 inf + 494 4.210 * [simplify]: Simplified to (sqrt (sqrt (+ 1 x))) 4.210 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (* (sqrt (sqrt (+ 1 x))) (* (sqrt (sqrt (+ x 1))) (sqrt (- x 1))))))) 4.210 * * * * [progress]: [ 38 / 47 ] simplifiying candidate # 4.210 * * * * [progress]: [ 39 / 47 ] simplifiying candidate # 4.211 * [simplify]: Simplifying (sqrt (+ (* x x) (+ (* 1 1) (* x 1)))) 4.211 * * [simplify]: iters left: 6 (8 enodes) 4.215 * * [simplify]: iters left: 5 (26 enodes) 4.223 * * [simplify]: iters left: 4 (38 enodes) 4.236 * * [simplify]: iters left: 3 (44 enodes) 4.247 * * [simplify]: iters left: 2 (45 enodes) 4.254 * * [simplify]: iters left: 1 (48 enodes) 4.259 * * [simplify]: Extracting #0: cost 1 inf + 0 4.259 * * [simplify]: Extracting #1: cost 3 inf + 0 4.259 * * [simplify]: Extracting #2: cost 10 inf + 0 4.259 * * [simplify]: Extracting #3: cost 12 inf + 2 4.259 * * [simplify]: Extracting #4: cost 7 inf + 329 4.259 * * [simplify]: Extracting #5: cost 1 inf + 900 4.260 * * [simplify]: Extracting #6: cost 0 inf + 1062 4.260 * [simplify]: Simplified to (sqrt (+ x (+ (* x x) 1))) 4.260 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ x (/ (* (sqrt (+ x 1)) (sqrt (- (pow x 3) (pow 1 3)))) (sqrt (+ x (+ (* x x) 1))))))) 4.260 * * * * [progress]: [ 40 / 47 ] simplifiying candidate # 4.260 * [simplify]: Simplifying (sqrt (+ x 1)) 4.260 * * [simplify]: iters left: 3 (4 enodes) 4.262 * * [simplify]: iters left: 2 (15 enodes) 4.264 * * [simplify]: iters left: 1 (17 enodes) 4.267 * * [simplify]: Extracting #0: cost 1 inf + 0 4.267 * * [simplify]: Extracting #1: cost 3 inf + 0 4.267 * * [simplify]: Extracting #2: cost 6 inf + 0 4.267 * * [simplify]: Extracting #3: cost 2 inf + 86 4.267 * * [simplify]: Extracting #4: cost 1 inf + 168 4.267 * * [simplify]: Extracting #5: cost 0 inf + 250 4.267 * [simplify]: Simplified to (sqrt (+ 1 x)) 4.267 * [simplify]: Simplified (2 1 2 2) to (λ (x) (log (+ x (/ (* (sqrt (+ x 1)) (sqrt (- (* x x) (* 1 1)))) (sqrt (+ 1 x)))))) 4.267 * * * * [progress]: [ 41 / 47 ] simplifiying candidate # 4.267 * [simplify]: Simplifying (* (sqrt (+ (pow x 3) (pow 1 3))) (sqrt (- x 1))) 4.267 * * [simplify]: iters left: 6 (10 enodes) 4.271 * * [simplify]: iters left: 5 (45 enodes) 4.279 * * [simplify]: iters left: 4 (65 enodes) 4.298 * * [simplify]: iters left: 3 (91 enodes) 4.318 * * [simplify]: iters left: 2 (132 enodes) 4.346 * * [simplify]: iters left: 1 (228 enodes) 4.408 * * [simplify]: Extracting #0: cost 1 inf + 0 4.408 * * [simplify]: Extracting #1: cost 4 inf + 0 4.408 * * [simplify]: Extracting #2: cost 8 inf + 0 4.408 * * [simplify]: Extracting #3: cost 14 inf + 0 4.408 * * [simplify]: Extracting #4: cost 28 inf + 3 4.409 * * [simplify]: Extracting #5: cost 66 inf + 252 4.409 * * [simplify]: Extracting #6: cost 54 inf + 3044 4.411 * * [simplify]: Extracting #7: cost 18 inf + 22283 4.414 * * [simplify]: Extracting #8: cost 11 inf + 25695 4.426 * * [simplify]: Extracting #9: cost 0 inf + 31210 4.430 * [simplify]: Simplified to (* (sqrt (+ 1 (* x (* x x)))) (sqrt (- x 1))) 4.431 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (/ (* (sqrt (+ 1 (* x (* x x)))) (sqrt (- x 1))) (sqrt (+ (* x x) (- (* 1 1) (* x 1)))))))) 4.431 * * * * [progress]: [ 42 / 47 ] simplifiying candidate # 4.431 * [simplify]: Simplifying (* (sqrt (- (* x x) (* 1 1))) (sqrt (- x 1))) 4.431 * * [simplify]: iters left: 6 (9 enodes) 4.437 * * [simplify]: iters left: 5 (32 enodes) 4.445 * * [simplify]: iters left: 4 (38 enodes) 4.456 * * [simplify]: iters left: 3 (48 enodes) 4.471 * * [simplify]: iters left: 2 (82 enodes) 4.494 * * [simplify]: iters left: 1 (96 enodes) 4.519 * * [simplify]: Extracting #0: cost 1 inf + 0 4.519 * * [simplify]: Extracting #1: cost 4 inf + 0 4.519 * * [simplify]: Extracting #2: cost 8 inf + 0 4.519 * * [simplify]: Extracting #3: cost 38 inf + 0 4.519 * * [simplify]: Extracting #4: cost 39 inf + 86 4.520 * * [simplify]: Extracting #5: cost 13 inf + 2288 4.522 * * [simplify]: Extracting #6: cost 1 inf + 3751 4.524 * * [simplify]: Extracting #7: cost 0 inf + 3993 4.525 * [simplify]: Simplified to (* (sqrt (- x 1)) (sqrt (- (* x x) 1))) 4.525 * [simplify]: Simplified (2 1 2 1) to (λ (x) (log (+ x (/ (* (sqrt (- x 1)) (sqrt (- (* x x) 1))) (sqrt (- x 1)))))) 4.526 * * * * [progress]: [ 43 / 47 ] simplifiying candidate #real (real->posit16 (* (sqrt (+ x 1)) (sqrt (- x 1))))))))> 4.526 * * * * [progress]: [ 44 / 47 ] simplifiying candidate # 4.526 * * * * [progress]: [ 45 / 47 ] simplifiying candidate # 4.526 * [simplify]: Simplifying (+ (* 1/8 (/ (pow x 4) (sqrt -1))) (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1))) 4.526 * * [simplify]: iters left: 6 (15 enodes) 4.536 * * [simplify]: iters left: 5 (63 enodes) 4.556 * * [simplify]: iters left: 4 (93 enodes) 4.573 * * [simplify]: iters left: 3 (124 enodes) 4.602 * * [simplify]: iters left: 2 (163 enodes) 4.644 * * [simplify]: iters left: 1 (241 enodes) 4.689 * * [simplify]: Extracting #0: cost 1 inf + 0 4.689 * * [simplify]: Extracting #1: cost 8 inf + 0 4.689 * * [simplify]: Extracting #2: cost 59 inf + 0 4.689 * * [simplify]: Extracting #3: cost 87 inf + 127 4.691 * * [simplify]: Extracting #4: cost 19 inf + 8843 4.694 * * [simplify]: Extracting #5: cost 2 inf + 11487 4.696 * * [simplify]: Extracting #6: cost 0 inf + 11893 4.699 * [simplify]: Simplified to (+ (sqrt -1) (* (/ (* x x) (sqrt -1)) (+ 1/2 (* 1/8 (* x x))))) 4.699 * [simplify]: Simplified (2 1 2) to (λ (x) (log (+ x (+ (sqrt -1) (* (/ (* x x) (sqrt -1)) (+ 1/2 (* 1/8 (* x x)))))))) 4.699 * * * * [progress]: [ 46 / 47 ] simplifiying candidate # 4.699 * [simplify]: Simplifying (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) 4.700 * * [simplify]: iters left: 6 (12 enodes) 4.704 * * [simplify]: iters left: 5 (57 enodes) 4.718 * * [simplify]: iters left: 4 (97 enodes) 4.751 * * [simplify]: iters left: 3 (170 enodes) 4.798 * * [simplify]: iters left: 2 (285 enodes) 4.854 * * [simplify]: Extracting #0: cost 1 inf + 0 4.854 * * [simplify]: Extracting #1: cost 17 inf + 0 4.854 * * [simplify]: Extracting #2: cost 72 inf + 1 4.855 * * [simplify]: Extracting #3: cost 124 inf + 335 4.856 * * [simplify]: Extracting #4: cost 87 inf + 7689 4.860 * * [simplify]: Extracting #5: cost 20 inf + 28115 4.864 * * [simplify]: Extracting #6: cost 1 inf + 32556 4.868 * * [simplify]: Extracting #7: cost 0 inf + 32506 4.876 * [simplify]: Simplified to (+ (+ x (/ (/ -1/8 (* x x)) x)) (/ -1/2 x)) 4.876 * [simplify]: Simplified (2 1 2) to (λ (x) (log (+ x (+ (+ x (/ (/ -1/8 (* x x)) x)) (/ -1/2 x))))) 4.876 * * * * [progress]: [ 47 / 47 ] simplifiying candidate # 4.876 * [simplify]: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 4.876 * [simplify]: Simplified (2 1 2) to (λ (x) (log (+ x +nan.0))) 4.877 * * * [progress]: adding candidates to table 5.405 * [progress]: [Phase 3 of 3] Extracting. 5.411 * [simplify]: Simplifying (log (+ x (* (sqrt (+ x 1)) (sqrt (- x 1))))) 5.411 * * [simplify]: iters left: 6 (9 enodes) 5.412 * * [simplify]: iters left: 5 (14 enodes) 5.413 * * [simplify]: Extracting #0: cost 1 inf + 0 5.413 * * [simplify]: Extracting #1: cost 2 inf + 0 5.413 * * [simplify]: Extracting #2: cost 4 inf + 0 5.413 * * [simplify]: Extracting #3: cost 5 inf + 1 5.413 * * [simplify]: Extracting #4: cost 7 inf + 1 5.413 * * [simplify]: Extracting #5: cost 8 inf + 1 5.413 * * [simplify]: Extracting #6: cost 0 inf + 1006 5.414 * [simplify]: Simplified to (log (+ x (* (sqrt (+ 1 x)) (sqrt (- x 1))))) 9.545 * [regime-testing]: Baseline error score: 0.04257013776602948 9.548 * [regime-testing]: Oracle error score: 0.04257013776602948 9.548 * [regime-testing]: End program error score: 0.04257013776602948