0.501 * [progress]: [Phase 1 of 3] Setting up. 0.005 * * * [progress]: [1/2] Preparing points 0.211 * * * [progress]: [2/2] Setting up program. 0.217 * [progress]: [Phase 2 of 3] Improving. 0.221 * [simplify]: Simplifying: (- (log (- (/ 1.0 x) 1.0))) 0.222 * * [simplify]: Extracting # 0 : cost 0 0.223 * * [simplify]: Extracting # 1 : cost 0 0.223 * * [simplify]: Extracting # 2 : cost 0 0.223 * * [simplify]: Extracting # 3 : cost 0 0.223 * * [simplify]: Extracting # 4 : cost 0 0.223 * * [simplify]: Extracting # 5 : cost 0 0.223 * * [simplify]: Extracting # 6 : cost 0 0.223 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.231 * * [simplify]: Extracting # 0 : cost 0 0.231 * * [simplify]: Extracting # 1 : cost 0 0.231 * * [simplify]: Extracting # 2 : cost 0 0.232 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 0.380 * * [simplify]: Extracting # 0 : cost 0 0.380 * * [simplify]: iteration 2 : 9 enodes (cost 7 ) 0.384 * * [simplify]: Extracting # 0 : cost 0 0.384 * * [simplify]: iteration done: 9 enodes (cost 7 ) 0.385 * [simplify]: Simplified to: (- (log (- (/ 1.0 x) 1.0))) 0.387 * * [progress]: iteration 1 / 4 0.387 * * * [progress]: picking best candidate 0.392 * * * * [pick]: Picked # 0.392 * * * [progress]: localizing error 0.445 * * * [progress]: generating rewritten candidates 0.446 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.484 * * * [progress]: generating series expansions 0.484 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.492 * [backup-simplify]: Simplify (log (- (/ 1.0 x) 1.0)) into (log (- (* 1.0 (/ 1 x)) 1.0)) 0.492 * [approximate]: Taking taylor expansion of (log (- (* 1.0 (/ 1 x)) 1.0)) in (x) around 0 0.493 * [taylor]: Taking taylor expansion of (log (- (* 1.0 (/ 1 x)) 1.0)) in x 0.493 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) 1.0) in x 0.493 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.493 * [taylor]: Taking taylor expansion of 1.0 in x 0.494 * [backup-simplify]: Simplify 1.0 into 1.0 0.494 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.494 * [taylor]: Taking taylor expansion of x in x 0.494 * [backup-simplify]: Simplify 0 into 0 0.494 * [backup-simplify]: Simplify 1 into 1 0.495 * [backup-simplify]: Simplify (/ 1 1) into 1 0.495 * [taylor]: Taking taylor expansion of 1.0 in x 0.495 * [backup-simplify]: Simplify 1.0 into 1.0 0.496 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 0.497 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.497 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 0.497 * [taylor]: Taking taylor expansion of (log (- (* 1.0 (/ 1 x)) 1.0)) in x 0.498 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) 1.0) in x 0.498 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.498 * [taylor]: Taking taylor expansion of 1.0 in x 0.498 * [backup-simplify]: Simplify 1.0 into 1.0 0.498 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.498 * [taylor]: Taking taylor expansion of x in x 0.498 * [backup-simplify]: Simplify 0 into 0 0.498 * [backup-simplify]: Simplify 1 into 1 0.498 * [backup-simplify]: Simplify (/ 1 1) into 1 0.498 * [taylor]: Taking taylor expansion of 1.0 in x 0.498 * [backup-simplify]: Simplify 1.0 into 1.0 0.499 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 0.499 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.500 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 0.502 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log 1.0)) into (- (log 1.0) (log x)) 0.503 * [backup-simplify]: Simplify (- (log 1.0) (log x)) into (- (log 1.0) (log x)) 0.504 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.505 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 0.506 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.507 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 0.516 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 1.0)) 1)) (pow 1.0 1)))) 1) into -1.0 0.516 * [backup-simplify]: Simplify -1.0 into -1.0 0.518 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.519 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 0.520 * [backup-simplify]: Simplify (- 0) into 0 0.520 * [backup-simplify]: Simplify (+ 0 0) into 0 0.537 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- 1.0)) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -0.5 (pow 1.0 2)) 0.538 * [backup-simplify]: Simplify (/ -0.5 (pow 1.0 2)) into (/ -0.5 (pow 1.0 2)) 0.541 * [backup-simplify]: Simplify (+ (* (/ -0.5 (pow 1.0 2)) (pow x 2)) (+ (* -1.0 x) (- (log 1.0) (log x)))) into (- (log 1.0) (+ (log x) (+ (* 1.0 x) (* 0.5 (/ (pow x 2) (pow 1.0 2)))))) 0.542 * [backup-simplify]: Simplify (log (- (/ 1.0 (/ 1 x)) 1.0)) into (log (- (* 1.0 x) 1.0)) 0.542 * [approximate]: Taking taylor expansion of (log (- (* 1.0 x) 1.0)) in (x) around 0 0.542 * [taylor]: Taking taylor expansion of (log (- (* 1.0 x) 1.0)) in x 0.542 * [taylor]: Taking taylor expansion of (- (* 1.0 x) 1.0) in x 0.542 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.542 * [taylor]: Taking taylor expansion of 1.0 in x 0.542 * [backup-simplify]: Simplify 1.0 into 1.0 0.542 * [taylor]: Taking taylor expansion of x in x 0.542 * [backup-simplify]: Simplify 0 into 0 0.542 * [backup-simplify]: Simplify 1 into 1 0.542 * [taylor]: Taking taylor expansion of 1.0 in x 0.542 * [backup-simplify]: Simplify 1.0 into 1.0 0.542 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.543 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.544 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 0.545 * [backup-simplify]: Simplify (log (- 1.0)) into (log (- 1.0)) 0.545 * [taylor]: Taking taylor expansion of (log (- (* 1.0 x) 1.0)) in x 0.545 * [taylor]: Taking taylor expansion of (- (* 1.0 x) 1.0) in x 0.545 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.545 * [taylor]: Taking taylor expansion of 1.0 in x 0.545 * [backup-simplify]: Simplify 1.0 into 1.0 0.545 * [taylor]: Taking taylor expansion of x in x 0.545 * [backup-simplify]: Simplify 0 into 0 0.545 * [backup-simplify]: Simplify 1 into 1 0.545 * [taylor]: Taking taylor expansion of 1.0 in x 0.545 * [backup-simplify]: Simplify 1.0 into 1.0 0.546 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.546 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.547 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 0.548 * [backup-simplify]: Simplify (log (- 1.0)) into (log (- 1.0)) 0.549 * [backup-simplify]: Simplify (log (- 1.0)) into (log (- 1.0)) 0.551 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 0.551 * [backup-simplify]: Simplify (- 0) into 0 0.552 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.561 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow (- 1.0) 1)))) 1) into -1.0 0.561 * [backup-simplify]: Simplify -1.0 into -1.0 0.562 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 0.562 * [backup-simplify]: Simplify (- 0) into 0 0.563 * [backup-simplify]: Simplify (+ 0 0) into 0 0.592 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow (- 1.0) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- 1.0) 1)))) 2) into (/ -0.5 (pow -1.0 2)) 0.594 * [backup-simplify]: Simplify (/ -0.5 (pow -1.0 2)) into (/ -0.5 (pow -1.0 2)) 0.597 * [backup-simplify]: Simplify (+ (* (/ -0.5 (pow -1.0 2)) (pow (/ 1 x) 2)) (+ (* -1.0 (/ 1 x)) (log (- 1.0)))) into (- (log (- 1.0)) (+ (* 0.5 (/ 1 (* (pow x 2) (pow -1.0 2)))) (* 1.0 (/ 1 x)))) 0.597 * [backup-simplify]: Simplify (log (- (/ 1.0 (/ 1 (- x))) 1.0)) into (log (- (+ (* 1.0 x) 1.0))) 0.597 * [approximate]: Taking taylor expansion of (log (- (+ (* 1.0 x) 1.0))) in (x) around 0 0.597 * [taylor]: Taking taylor expansion of (log (- (+ (* 1.0 x) 1.0))) in x 0.597 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) 1.0)) in x 0.597 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) 1.0) in x 0.597 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.597 * [taylor]: Taking taylor expansion of 1.0 in x 0.597 * [backup-simplify]: Simplify 1.0 into 1.0 0.597 * [taylor]: Taking taylor expansion of x in x 0.597 * [backup-simplify]: Simplify 0 into 0 0.598 * [backup-simplify]: Simplify 1 into 1 0.598 * [taylor]: Taking taylor expansion of 1.0 in x 0.598 * [backup-simplify]: Simplify 1.0 into 1.0 0.598 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.599 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.599 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.599 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.600 * [backup-simplify]: Simplify (log (- 1.0)) into (log (- 1.0)) 0.600 * [taylor]: Taking taylor expansion of (log (- (+ (* 1.0 x) 1.0))) in x 0.600 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) 1.0)) in x 0.600 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) 1.0) in x 0.600 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.600 * [taylor]: Taking taylor expansion of 1.0 in x 0.600 * [backup-simplify]: Simplify 1.0 into 1.0 0.600 * [taylor]: Taking taylor expansion of x in x 0.600 * [backup-simplify]: Simplify 0 into 0 0.600 * [backup-simplify]: Simplify 1 into 1 0.600 * [taylor]: Taking taylor expansion of 1.0 in x 0.600 * [backup-simplify]: Simplify 1.0 into 1.0 0.601 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.601 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.602 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.602 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.603 * [backup-simplify]: Simplify (log (- 1.0)) into (log (- 1.0)) 0.605 * [backup-simplify]: Simplify (log (- 1.0)) into (log (- 1.0)) 0.607 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 0.607 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.608 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.608 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.617 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 1.0)) 1)) (pow (- 1.0) 1)))) 1) into 1.0 0.617 * [backup-simplify]: Simplify 1.0 into 1.0 0.618 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.618 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.619 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 0.619 * [backup-simplify]: Simplify (+ 0 0) into 0 0.620 * [backup-simplify]: Simplify (- 0) into 0 0.620 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.634 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- 1.0)) 2)) (pow (- 1.0) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- 1.0) 1)))) 2) into -1/2 0.634 * [backup-simplify]: Simplify -1/2 into -1/2 0.635 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* 1.0 (/ 1 (- x))) (log (- 1.0)))) into (- (log (- 1.0)) (+ (* 1/2 (/ 1 (pow x 2))) (* 1.0 (/ 1 x)))) 0.636 * * * [progress]: simplifying candidates 0.637 * [simplify]: Simplifying: (log (* (cbrt (- (/ 1.0 x) 1.0)) (cbrt (- (/ 1.0 x) 1.0)))) (log (cbrt (- (/ 1.0 x) 1.0))) (log (sqrt (- (/ 1.0 x) 1.0))) (log (sqrt (- (/ 1.0 x) 1.0))) (log 1) (log (- (/ 1.0 x) 1.0)) (log (+ (sqrt (/ 1.0 x)) (sqrt 1.0))) (log (- (sqrt (/ 1.0 x)) (sqrt 1.0))) (log (+ (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0))) (log (- (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0))) (log 1) (log (- (/ 1.0 x) 1.0)) (log (- (pow (/ 1.0 x) 3) (pow 1.0 3))) (log (+ (* (/ 1.0 x) (/ 1.0 x)) (+ (* 1.0 1.0) (* (/ 1.0 x) 1.0)))) (log (- (* (/ 1.0 x) (/ 1.0 x)) (* 1.0 1.0))) (log (+ (/ 1.0 x) 1.0)) (log (- (/ 1.0 x) 1.0)) (log (log (- (/ 1.0 x) 1.0))) (exp (log (- (/ 1.0 x) 1.0))) (* (cbrt (log (- (/ 1.0 x) 1.0))) (cbrt (log (- (/ 1.0 x) 1.0)))) (cbrt (log (- (/ 1.0 x) 1.0))) (* (* (log (- (/ 1.0 x) 1.0)) (log (- (/ 1.0 x) 1.0))) (log (- (/ 1.0 x) 1.0))) (sqrt (log (- (/ 1.0 x) 1.0))) (sqrt (log (- (/ 1.0 x) 1.0))) (- (log 1.0) (+ (log x) (+ (* 1.0 x) (* 0.5 (/ (pow x 2) (pow 1.0 2)))))) (- (log (- 1.0)) (+ (* 0.5 (/ 1 (* (pow x 2) (pow -1.0 2)))) (* 1.0 (/ 1 x)))) (- (log (- 1.0)) (+ (* 1/2 (/ 1 (pow x 2))) (* 1.0 (/ 1 x)))) 0.638 * * [simplify]: Extracting # 0 : cost 0 0.638 * * [simplify]: Extracting # 1 : cost 0 0.638 * * [simplify]: Extracting # 2 : cost 0 0.638 * * [simplify]: Extracting # 3 : cost 0 0.638 * * [simplify]: Extracting # 4 : cost 0 0.639 * * [simplify]: Extracting # 5 : cost 0 0.639 * * [simplify]: Extracting # 6 : cost 0 0.639 * * [simplify]: Extracting # 7 : cost 0 0.639 * * [simplify]: Extracting # 8 : cost 0 0.639 * * [simplify]: Extracting # 9 : cost 0 0.639 * * [simplify]: Extracting # 10 : cost 0 0.640 * * [simplify]: Extracting # 11 : cost 0 0.640 * * [simplify]: iteration 0 : 75 enodes (cost 264 ) 0.673 * * [simplify]: Extracting # 0 : cost 0 0.673 * * [simplify]: Extracting # 1 : cost 0 0.674 * * [simplify]: Extracting # 2 : cost 0 0.674 * * [simplify]: Extracting # 3 : cost 0 0.674 * * [simplify]: Extracting # 4 : cost 0 0.675 * * [simplify]: iteration 1 : 154 enodes (cost 256 ) 0.834 * * [simplify]: Extracting # 0 : cost 0 0.835 * * [simplify]: Extracting # 1 : cost 0 0.836 * * [simplify]: Extracting # 2 : cost 0 0.837 * * [simplify]: Extracting # 3 : cost 0 0.837 * * [simplify]: Extracting # 4 : cost 0 0.838 * * [simplify]: iteration 2 : 328 enodes (cost 233 ) 1.047 * * [simplify]: Extracting # 0 : cost 0 1.049 * * [simplify]: Extracting # 1 : cost 0 1.050 * * [simplify]: Extracting # 2 : cost 0 1.051 * * [simplify]: Extracting # 3 : cost 0 1.053 * * [simplify]: iteration 3 : 744 enodes (cost 231 ) 1.539 * * [simplify]: Extracting # 0 : cost 0 1.543 * * [simplify]: Extracting # 1 : cost 0 1.547 * * [simplify]: Extracting # 2 : cost 0 1.550 * * [simplify]: Extracting # 3 : cost 0 1.551 * * [simplify]: Extracting # 4 : cost 0 1.553 * * [simplify]: iteration 4 : 2075 enodes (cost 227 ) 3.426 * * [simplify]: Extracting # 0 : cost 0 3.439 * * [simplify]: Extracting # 1 : cost 0 3.457 * * [simplify]: Extracting # 2 : cost 0 3.467 * * [simplify]: Extracting # 3 : cost 0 3.477 * * [simplify]: Extracting # 4 : cost 0 3.486 * * [simplify]: iteration done: 5000 enodes (cost 225 ) 3.487 * [simplify]: Simplified to: (* 2 (log (cbrt (- (/ 1.0 x) 1.0)))) (log (cbrt (- (/ 1.0 x) 1.0))) (log (sqrt (- (/ 1.0 x) 1.0))) (log (sqrt (- (/ 1.0 x) 1.0))) 0 (log (- (/ 1.0 x) 1.0)) (log (+ (sqrt (/ 1.0 x)) (sqrt 1.0))) (log (- (sqrt (/ 1.0 x)) (sqrt 1.0))) (log (+ (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0))) (log (- (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0))) 0 (log (- (/ 1.0 x) 1.0)) (log (- (pow (/ 1.0 x) 3) (pow 1.0 3))) (log (* 1.0 (+ (/ (+ (/ 1.0 x) 1.0) x) 1.0))) (log (* 1.0 (- (/ 1.0 (pow x 2)) 1.0))) (log (+ (/ 1.0 x) 1.0)) (log (- (/ 1.0 x) 1.0)) (log (log (- (/ 1.0 x) 1.0))) (- (/ 1.0 x) 1.0) (* (cbrt (log (- (/ 1.0 x) 1.0))) (cbrt (log (- (/ 1.0 x) 1.0)))) (cbrt (log (- (/ 1.0 x) 1.0))) (pow (log (- (/ 1.0 x) 1.0)) 3) (sqrt (log (- (/ 1.0 x) 1.0))) (sqrt (log (- (/ 1.0 x) 1.0))) (- (- (log 1.0) (* x (+ 1.0 (/ 0.5 (* (/ 1.0 x) 1.0))))) (log x)) (- (log (- 1.0)) (+ (/ 1.0 x) (/ 0.5 (* (pow x 2) (pow -1.0 2))))) (- (log (- 1.0)) (+ (/ 1/2 (pow x 2)) (/ 1.0 x))) 3.488 * * * [progress]: adding candidates to table 3.574 * * [progress]: iteration 2 / 4 3.574 * * * [progress]: picking best candidate 3.576 * * * * [pick]: Picked # 3.576 * * * [progress]: localizing error 3.586 * * * [progress]: generating rewritten candidates 3.586 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2 1) 3.617 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 1) 3.644 * * * [progress]: generating series expansions 3.644 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2 1) 3.644 * [backup-simplify]: Simplify (sqrt (- (/ 1.0 x) 1.0)) into (sqrt (- (* 1.0 (/ 1 x)) 1.0)) 3.645 * [approximate]: Taking taylor expansion of (sqrt (- (* 1.0 (/ 1 x)) 1.0)) in (x) around 0 3.645 * [taylor]: Taking taylor expansion of (sqrt (- (* 1.0 (/ 1 x)) 1.0)) in x 3.645 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) 1.0) in x 3.645 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 3.645 * [taylor]: Taking taylor expansion of 1.0 in x 3.645 * [backup-simplify]: Simplify 1.0 into 1.0 3.645 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.645 * [taylor]: Taking taylor expansion of x in x 3.645 * [backup-simplify]: Simplify 0 into 0 3.645 * [backup-simplify]: Simplify 1 into 1 3.645 * [backup-simplify]: Simplify (/ 1 1) into 1 3.645 * [taylor]: Taking taylor expansion of 1.0 in x 3.645 * [backup-simplify]: Simplify 1.0 into 1.0 3.646 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.646 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.646 * [backup-simplify]: Simplify (sqrt 0) into 0 3.647 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt 0))) into +nan.0 3.648 * [taylor]: Taking taylor expansion of (sqrt (- (* 1.0 (/ 1 x)) 1.0)) in x 3.648 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) 1.0) in x 3.648 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 3.648 * [taylor]: Taking taylor expansion of 1.0 in x 3.648 * [backup-simplify]: Simplify 1.0 into 1.0 3.648 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.648 * [taylor]: Taking taylor expansion of x in x 3.648 * [backup-simplify]: Simplify 0 into 0 3.648 * [backup-simplify]: Simplify 1 into 1 3.648 * [backup-simplify]: Simplify (/ 1 1) into 1 3.648 * [taylor]: Taking taylor expansion of 1.0 in x 3.648 * [backup-simplify]: Simplify 1.0 into 1.0 3.648 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.649 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.649 * [backup-simplify]: Simplify (sqrt 0) into 0 3.650 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt 0))) into +nan.0 3.650 * [backup-simplify]: Simplify 0 into 0 3.650 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.651 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.651 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 3.651 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.652 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 3.655 * [backup-simplify]: Simplify (/ (- (- 1.0) (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 3.655 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.655 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.656 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 3.656 * [backup-simplify]: Simplify (- 0) into 0 3.656 * [backup-simplify]: Simplify (+ 0 0) into 0 3.659 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 3.659 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.659 * [backup-simplify]: Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) +nan.0)) into (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- +nan.0))))) 3.659 * [backup-simplify]: Simplify (sqrt (- (/ 1.0 (/ 1 x)) 1.0)) into (sqrt (- (* 1.0 x) 1.0)) 3.659 * [approximate]: Taking taylor expansion of (sqrt (- (* 1.0 x) 1.0)) in (x) around 0 3.659 * [taylor]: Taking taylor expansion of (sqrt (- (* 1.0 x) 1.0)) in x 3.659 * [taylor]: Taking taylor expansion of (- (* 1.0 x) 1.0) in x 3.659 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 3.659 * [taylor]: Taking taylor expansion of 1.0 in x 3.659 * [backup-simplify]: Simplify 1.0 into 1.0 3.659 * [taylor]: Taking taylor expansion of x in x 3.659 * [backup-simplify]: Simplify 0 into 0 3.659 * [backup-simplify]: Simplify 1 into 1 3.659 * [taylor]: Taking taylor expansion of 1.0 in x 3.659 * [backup-simplify]: Simplify 1.0 into 1.0 3.660 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.660 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.660 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 3.661 * [backup-simplify]: Simplify (sqrt (- 1.0)) into (sqrt (- 1.0)) 3.662 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 3.662 * [backup-simplify]: Simplify (- 0) into 0 3.663 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.664 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt (- 1.0)))) into (/ 0.5 (sqrt (- 1.0))) 3.664 * [taylor]: Taking taylor expansion of (sqrt (- (* 1.0 x) 1.0)) in x 3.664 * [taylor]: Taking taylor expansion of (- (* 1.0 x) 1.0) in x 3.664 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 3.664 * [taylor]: Taking taylor expansion of 1.0 in x 3.664 * [backup-simplify]: Simplify 1.0 into 1.0 3.664 * [taylor]: Taking taylor expansion of x in x 3.664 * [backup-simplify]: Simplify 0 into 0 3.664 * [backup-simplify]: Simplify 1 into 1 3.664 * [taylor]: Taking taylor expansion of 1.0 in x 3.664 * [backup-simplify]: Simplify 1.0 into 1.0 3.664 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.665 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.665 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 3.666 * [backup-simplify]: Simplify (sqrt (- 1.0)) into (sqrt (- 1.0)) 3.667 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 3.667 * [backup-simplify]: Simplify (- 0) into 0 3.667 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.668 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt (- 1.0)))) into (/ 0.5 (sqrt (- 1.0))) 3.669 * [backup-simplify]: Simplify (sqrt (- 1.0)) into (sqrt (- 1.0)) 3.670 * [backup-simplify]: Simplify (/ 0.5 (sqrt (- 1.0))) into (/ 0.5 (sqrt (- 1.0))) 3.670 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 3.671 * [backup-simplify]: Simplify (- 0) into 0 3.671 * [backup-simplify]: Simplify (+ 0 0) into 0 3.675 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 0.5 (sqrt (- 1.0))) 2) (+)) (* 2 (sqrt (- 1.0)))) into (/ -0.125 (pow (sqrt (- 1.0)) 3)) 3.677 * [backup-simplify]: Simplify (/ -0.125 (pow (sqrt (- 1.0)) 3)) into (/ -0.125 (pow (sqrt (- 1.0)) 3)) 3.681 * [backup-simplify]: Simplify (+ (* (/ -0.125 (pow (sqrt (- 1.0)) 3)) (pow (/ 1 x) 2)) (+ (* (/ 0.5 (sqrt (- 1.0))) (/ 1 x)) (sqrt (- 1.0)))) into (- (+ (* 0.5 (/ 1 (* x (sqrt (- 1.0))))) (sqrt (- 1.0))) (* 0.125 (/ 1 (* (pow x 2) (pow (sqrt (- 1.0)) 3))))) 3.682 * [backup-simplify]: Simplify (sqrt (- (/ 1.0 (/ 1 (- x))) 1.0)) into (sqrt (- (+ (* 1.0 x) 1.0))) 3.682 * [approximate]: Taking taylor expansion of (sqrt (- (+ (* 1.0 x) 1.0))) in (x) around 0 3.682 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 1.0 x) 1.0))) in x 3.682 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) 1.0)) in x 3.682 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) 1.0) in x 3.682 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 3.682 * [taylor]: Taking taylor expansion of 1.0 in x 3.682 * [backup-simplify]: Simplify 1.0 into 1.0 3.682 * [taylor]: Taking taylor expansion of x in x 3.682 * [backup-simplify]: Simplify 0 into 0 3.682 * [backup-simplify]: Simplify 1 into 1 3.682 * [taylor]: Taking taylor expansion of 1.0 in x 3.682 * [backup-simplify]: Simplify 1.0 into 1.0 3.682 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.683 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.683 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.684 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.684 * [backup-simplify]: Simplify (sqrt (- 1.0)) into (sqrt (- 1.0)) 3.686 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 3.686 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.687 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.687 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.690 * [backup-simplify]: Simplify (/ (- 1.0) (* 2 (sqrt (- 1.0)))) into (/ -0.5 (sqrt (- 1.0))) 3.690 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 1.0 x) 1.0))) in x 3.690 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) 1.0)) in x 3.690 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) 1.0) in x 3.690 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 3.690 * [taylor]: Taking taylor expansion of 1.0 in x 3.690 * [backup-simplify]: Simplify 1.0 into 1.0 3.690 * [taylor]: Taking taylor expansion of x in x 3.691 * [backup-simplify]: Simplify 0 into 0 3.691 * [backup-simplify]: Simplify 1 into 1 3.691 * [taylor]: Taking taylor expansion of 1.0 in x 3.691 * [backup-simplify]: Simplify 1.0 into 1.0 3.691 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.692 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.692 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.693 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.693 * [backup-simplify]: Simplify (sqrt (- 1.0)) into (sqrt (- 1.0)) 3.694 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 3.695 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.695 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.695 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.697 * [backup-simplify]: Simplify (/ (- 1.0) (* 2 (sqrt (- 1.0)))) into (/ -0.5 (sqrt (- 1.0))) 3.698 * [backup-simplify]: Simplify (sqrt (- 1.0)) into (sqrt (- 1.0)) 3.699 * [backup-simplify]: Simplify (/ -0.5 (sqrt (- 1.0))) into (/ -0.5 (sqrt (- 1.0))) 3.699 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 3.699 * [backup-simplify]: Simplify (+ 0 0) into 0 3.700 * [backup-simplify]: Simplify (- 0) into 0 3.705 * [backup-simplify]: Simplify (/ (- 0 (pow (/ -0.5 (sqrt (- 1.0))) 2) (+)) (* 2 (sqrt (- 1.0)))) into (/ -0.125 (pow (sqrt (- 1.0)) 3)) 3.706 * [backup-simplify]: Simplify (/ -0.125 (pow (sqrt (- 1.0)) 3)) into (/ -0.125 (pow (sqrt (- 1.0)) 3)) 3.709 * [backup-simplify]: Simplify (+ (* (/ -0.125 (pow (sqrt (- 1.0)) 3)) (pow (/ 1 (- x)) 2)) (+ (* (/ -0.5 (sqrt (- 1.0))) (/ 1 (- x))) (sqrt (- 1.0)))) into (- (+ (* 0.5 (/ 1 (* x (sqrt (- 1.0))))) (sqrt (- 1.0))) (* 0.125 (/ 1 (* (pow x 2) (pow (sqrt (- 1.0)) 3))))) 3.710 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 1) 3.710 * [backup-simplify]: Simplify (sqrt (- (/ 1.0 x) 1.0)) into (sqrt (- (* 1.0 (/ 1 x)) 1.0)) 3.710 * [approximate]: Taking taylor expansion of (sqrt (- (* 1.0 (/ 1 x)) 1.0)) in (x) around 0 3.710 * [taylor]: Taking taylor expansion of (sqrt (- (* 1.0 (/ 1 x)) 1.0)) in x 3.710 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) 1.0) in x 3.710 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 3.710 * [taylor]: Taking taylor expansion of 1.0 in x 3.710 * [backup-simplify]: Simplify 1.0 into 1.0 3.710 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.710 * [taylor]: Taking taylor expansion of x in x 3.710 * [backup-simplify]: Simplify 0 into 0 3.710 * [backup-simplify]: Simplify 1 into 1 3.710 * [backup-simplify]: Simplify (/ 1 1) into 1 3.710 * [taylor]: Taking taylor expansion of 1.0 in x 3.710 * [backup-simplify]: Simplify 1.0 into 1.0 3.710 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.711 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.711 * [backup-simplify]: Simplify (sqrt 0) into 0 3.712 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt 0))) into +nan.0 3.712 * [taylor]: Taking taylor expansion of (sqrt (- (* 1.0 (/ 1 x)) 1.0)) in x 3.712 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) 1.0) in x 3.712 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 3.712 * [taylor]: Taking taylor expansion of 1.0 in x 3.712 * [backup-simplify]: Simplify 1.0 into 1.0 3.712 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.712 * [taylor]: Taking taylor expansion of x in x 3.712 * [backup-simplify]: Simplify 0 into 0 3.712 * [backup-simplify]: Simplify 1 into 1 3.713 * [backup-simplify]: Simplify (/ 1 1) into 1 3.713 * [taylor]: Taking taylor expansion of 1.0 in x 3.713 * [backup-simplify]: Simplify 1.0 into 1.0 3.713 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.713 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.713 * [backup-simplify]: Simplify (sqrt 0) into 0 3.714 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt 0))) into +nan.0 3.714 * [backup-simplify]: Simplify 0 into 0 3.714 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.715 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.715 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 3.716 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.716 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 3.718 * [backup-simplify]: Simplify (/ (- (- 1.0) (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 3.718 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.719 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.720 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 3.720 * [backup-simplify]: Simplify (- 0) into 0 3.720 * [backup-simplify]: Simplify (+ 0 0) into 0 3.723 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 3.723 * [backup-simplify]: Simplify +nan.0 into +nan.0 3.723 * [backup-simplify]: Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) +nan.0)) into (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- +nan.0))))) 3.724 * [backup-simplify]: Simplify (sqrt (- (/ 1.0 (/ 1 x)) 1.0)) into (sqrt (- (* 1.0 x) 1.0)) 3.724 * [approximate]: Taking taylor expansion of (sqrt (- (* 1.0 x) 1.0)) in (x) around 0 3.724 * [taylor]: Taking taylor expansion of (sqrt (- (* 1.0 x) 1.0)) in x 3.724 * [taylor]: Taking taylor expansion of (- (* 1.0 x) 1.0) in x 3.724 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 3.724 * [taylor]: Taking taylor expansion of 1.0 in x 3.724 * [backup-simplify]: Simplify 1.0 into 1.0 3.724 * [taylor]: Taking taylor expansion of x in x 3.724 * [backup-simplify]: Simplify 0 into 0 3.724 * [backup-simplify]: Simplify 1 into 1 3.724 * [taylor]: Taking taylor expansion of 1.0 in x 3.724 * [backup-simplify]: Simplify 1.0 into 1.0 3.724 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.724 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.725 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 3.725 * [backup-simplify]: Simplify (sqrt (- 1.0)) into (sqrt (- 1.0)) 3.726 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 3.726 * [backup-simplify]: Simplify (- 0) into 0 3.727 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.728 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt (- 1.0)))) into (/ 0.5 (sqrt (- 1.0))) 3.728 * [taylor]: Taking taylor expansion of (sqrt (- (* 1.0 x) 1.0)) in x 3.728 * [taylor]: Taking taylor expansion of (- (* 1.0 x) 1.0) in x 3.728 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 3.728 * [taylor]: Taking taylor expansion of 1.0 in x 3.728 * [backup-simplify]: Simplify 1.0 into 1.0 3.728 * [taylor]: Taking taylor expansion of x in x 3.728 * [backup-simplify]: Simplify 0 into 0 3.728 * [backup-simplify]: Simplify 1 into 1 3.728 * [taylor]: Taking taylor expansion of 1.0 in x 3.728 * [backup-simplify]: Simplify 1.0 into 1.0 3.729 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.729 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.729 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 3.730 * [backup-simplify]: Simplify (sqrt (- 1.0)) into (sqrt (- 1.0)) 3.731 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 3.731 * [backup-simplify]: Simplify (- 0) into 0 3.731 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.733 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt (- 1.0)))) into (/ 0.5 (sqrt (- 1.0))) 3.733 * [backup-simplify]: Simplify (sqrt (- 1.0)) into (sqrt (- 1.0)) 3.734 * [backup-simplify]: Simplify (/ 0.5 (sqrt (- 1.0))) into (/ 0.5 (sqrt (- 1.0))) 3.735 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 3.735 * [backup-simplify]: Simplify (- 0) into 0 3.735 * [backup-simplify]: Simplify (+ 0 0) into 0 3.740 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 0.5 (sqrt (- 1.0))) 2) (+)) (* 2 (sqrt (- 1.0)))) into (/ -0.125 (pow (sqrt (- 1.0)) 3)) 3.747 * [backup-simplify]: Simplify (/ -0.125 (pow (sqrt (- 1.0)) 3)) into (/ -0.125 (pow (sqrt (- 1.0)) 3)) 3.751 * [backup-simplify]: Simplify (+ (* (/ -0.125 (pow (sqrt (- 1.0)) 3)) (pow (/ 1 x) 2)) (+ (* (/ 0.5 (sqrt (- 1.0))) (/ 1 x)) (sqrt (- 1.0)))) into (- (+ (* 0.5 (/ 1 (* x (sqrt (- 1.0))))) (sqrt (- 1.0))) (* 0.125 (/ 1 (* (pow x 2) (pow (sqrt (- 1.0)) 3))))) 3.751 * [backup-simplify]: Simplify (sqrt (- (/ 1.0 (/ 1 (- x))) 1.0)) into (sqrt (- (+ (* 1.0 x) 1.0))) 3.751 * [approximate]: Taking taylor expansion of (sqrt (- (+ (* 1.0 x) 1.0))) in (x) around 0 3.751 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 1.0 x) 1.0))) in x 3.751 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) 1.0)) in x 3.751 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) 1.0) in x 3.751 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 3.751 * [taylor]: Taking taylor expansion of 1.0 in x 3.751 * [backup-simplify]: Simplify 1.0 into 1.0 3.751 * [taylor]: Taking taylor expansion of x in x 3.751 * [backup-simplify]: Simplify 0 into 0 3.751 * [backup-simplify]: Simplify 1 into 1 3.751 * [taylor]: Taking taylor expansion of 1.0 in x 3.751 * [backup-simplify]: Simplify 1.0 into 1.0 3.751 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.752 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.752 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.752 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.753 * [backup-simplify]: Simplify (sqrt (- 1.0)) into (sqrt (- 1.0)) 3.754 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 3.754 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.754 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.754 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.756 * [backup-simplify]: Simplify (/ (- 1.0) (* 2 (sqrt (- 1.0)))) into (/ -0.5 (sqrt (- 1.0))) 3.756 * [taylor]: Taking taylor expansion of (sqrt (- (+ (* 1.0 x) 1.0))) in x 3.756 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) 1.0)) in x 3.756 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) 1.0) in x 3.756 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 3.756 * [taylor]: Taking taylor expansion of 1.0 in x 3.756 * [backup-simplify]: Simplify 1.0 into 1.0 3.756 * [taylor]: Taking taylor expansion of x in x 3.756 * [backup-simplify]: Simplify 0 into 0 3.756 * [backup-simplify]: Simplify 1 into 1 3.756 * [taylor]: Taking taylor expansion of 1.0 in x 3.756 * [backup-simplify]: Simplify 1.0 into 1.0 3.756 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.757 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.757 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.757 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.758 * [backup-simplify]: Simplify (sqrt (- 1.0)) into (sqrt (- 1.0)) 3.758 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 3.759 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.759 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.759 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.761 * [backup-simplify]: Simplify (/ (- 1.0) (* 2 (sqrt (- 1.0)))) into (/ -0.5 (sqrt (- 1.0))) 3.761 * [backup-simplify]: Simplify (sqrt (- 1.0)) into (sqrt (- 1.0)) 3.762 * [backup-simplify]: Simplify (/ -0.5 (sqrt (- 1.0))) into (/ -0.5 (sqrt (- 1.0))) 3.763 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 3.763 * [backup-simplify]: Simplify (+ 0 0) into 0 3.764 * [backup-simplify]: Simplify (- 0) into 0 3.768 * [backup-simplify]: Simplify (/ (- 0 (pow (/ -0.5 (sqrt (- 1.0))) 2) (+)) (* 2 (sqrt (- 1.0)))) into (/ -0.125 (pow (sqrt (- 1.0)) 3)) 3.769 * [backup-simplify]: Simplify (/ -0.125 (pow (sqrt (- 1.0)) 3)) into (/ -0.125 (pow (sqrt (- 1.0)) 3)) 3.772 * [backup-simplify]: Simplify (+ (* (/ -0.125 (pow (sqrt (- 1.0)) 3)) (pow (/ 1 (- x)) 2)) (+ (* (/ -0.5 (sqrt (- 1.0))) (/ 1 (- x))) (sqrt (- 1.0)))) into (- (+ (* 0.5 (/ 1 (* x (sqrt (- 1.0))))) (sqrt (- 1.0))) (* 0.125 (/ 1 (* (pow x 2) (pow (sqrt (- 1.0)) 3))))) 3.773 * * * [progress]: simplifying candidates 3.773 * [simplify]: Simplifying: (log (sqrt (- (/ 1.0 x) 1.0))) (exp (sqrt (- (/ 1.0 x) 1.0))) (* (cbrt (sqrt (- (/ 1.0 x) 1.0))) (cbrt (sqrt (- (/ 1.0 x) 1.0)))) (cbrt (sqrt (- (/ 1.0 x) 1.0))) (* (* (sqrt (- (/ 1.0 x) 1.0)) (sqrt (- (/ 1.0 x) 1.0))) (sqrt (- (/ 1.0 x) 1.0))) (sqrt (* (cbrt (- (/ 1.0 x) 1.0)) (cbrt (- (/ 1.0 x) 1.0)))) (sqrt (cbrt (- (/ 1.0 x) 1.0))) (sqrt (sqrt (- (/ 1.0 x) 1.0))) (sqrt (sqrt (- (/ 1.0 x) 1.0))) (sqrt 1) (sqrt (- (/ 1.0 x) 1.0)) (sqrt (+ (sqrt (/ 1.0 x)) (sqrt 1.0))) (sqrt (- (sqrt (/ 1.0 x)) (sqrt 1.0))) (sqrt (+ (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0))) (sqrt (- (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0))) (sqrt 1) (sqrt (- (/ 1.0 x) 1.0)) (sqrt (- (pow (/ 1.0 x) 3) (pow 1.0 3))) (sqrt (+ (* (/ 1.0 x) (/ 1.0 x)) (+ (* 1.0 1.0) (* (/ 1.0 x) 1.0)))) (sqrt (- (* (/ 1.0 x) (/ 1.0 x)) (* 1.0 1.0))) (sqrt (+ (/ 1.0 x) 1.0)) (/ 1 2) (sqrt (sqrt (- (/ 1.0 x) 1.0))) (sqrt (sqrt (- (/ 1.0 x) 1.0))) (log (sqrt (- (/ 1.0 x) 1.0))) (exp (sqrt (- (/ 1.0 x) 1.0))) (* (cbrt (sqrt (- (/ 1.0 x) 1.0))) (cbrt (sqrt (- (/ 1.0 x) 1.0)))) (cbrt (sqrt (- (/ 1.0 x) 1.0))) (* (* (sqrt (- (/ 1.0 x) 1.0)) (sqrt (- (/ 1.0 x) 1.0))) (sqrt (- (/ 1.0 x) 1.0))) (sqrt (* (cbrt (- (/ 1.0 x) 1.0)) (cbrt (- (/ 1.0 x) 1.0)))) (sqrt (cbrt (- (/ 1.0 x) 1.0))) (sqrt (sqrt (- (/ 1.0 x) 1.0))) (sqrt (sqrt (- (/ 1.0 x) 1.0))) (sqrt 1) (sqrt (- (/ 1.0 x) 1.0)) (sqrt (+ (sqrt (/ 1.0 x)) (sqrt 1.0))) (sqrt (- (sqrt (/ 1.0 x)) (sqrt 1.0))) (sqrt (+ (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0))) (sqrt (- (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0))) (sqrt 1) (sqrt (- (/ 1.0 x) 1.0)) (sqrt (- (pow (/ 1.0 x) 3) (pow 1.0 3))) (sqrt (+ (* (/ 1.0 x) (/ 1.0 x)) (+ (* 1.0 1.0) (* (/ 1.0 x) 1.0)))) (sqrt (- (* (/ 1.0 x) (/ 1.0 x)) (* 1.0 1.0))) (sqrt (+ (/ 1.0 x) 1.0)) (/ 1 2) (sqrt (sqrt (- (/ 1.0 x) 1.0))) (sqrt (sqrt (- (/ 1.0 x) 1.0))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- +nan.0))))) (- (+ (* 0.5 (/ 1 (* x (sqrt (- 1.0))))) (sqrt (- 1.0))) (* 0.125 (/ 1 (* (pow x 2) (pow (sqrt (- 1.0)) 3))))) (- (+ (* 0.5 (/ 1 (* x (sqrt (- 1.0))))) (sqrt (- 1.0))) (* 0.125 (/ 1 (* (pow x 2) (pow (sqrt (- 1.0)) 3))))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- +nan.0))))) (- (+ (* 0.5 (/ 1 (* x (sqrt (- 1.0))))) (sqrt (- 1.0))) (* 0.125 (/ 1 (* (pow x 2) (pow (sqrt (- 1.0)) 3))))) (- (+ (* 0.5 (/ 1 (* x (sqrt (- 1.0))))) (sqrt (- 1.0))) (* 0.125 (/ 1 (* (pow x 2) (pow (sqrt (- 1.0)) 3))))) 3.774 * * [simplify]: Extracting # 0 : cost 0 3.774 * * [simplify]: Extracting # 1 : cost 0 3.774 * * [simplify]: Extracting # 2 : cost 0 3.774 * * [simplify]: Extracting # 3 : cost 0 3.775 * * [simplify]: Extracting # 4 : cost 0 3.775 * * [simplify]: Extracting # 5 : cost 0 3.775 * * [simplify]: Extracting # 6 : cost 0 3.775 * * [simplify]: Extracting # 7 : cost 0 3.775 * * [simplify]: Extracting # 8 : cost 0 3.775 * * [simplify]: Extracting # 9 : cost 0 3.775 * * [simplify]: iteration 0 : 69 enodes (cost 544 ) 3.790 * * [simplify]: Extracting # 0 : cost 0 3.790 * * [simplify]: Extracting # 1 : cost 0 3.790 * * [simplify]: Extracting # 2 : cost 0 3.791 * * [simplify]: Extracting # 3 : cost 0 3.791 * * [simplify]: Extracting # 4 : cost 0 3.791 * * [simplify]: iteration 1 : 145 enodes (cost 498 ) 3.838 * * [simplify]: Extracting # 0 : cost 0 3.838 * * [simplify]: Extracting # 1 : cost 0 3.839 * * [simplify]: Extracting # 2 : cost 0 3.839 * * [simplify]: Extracting # 3 : cost 0 3.839 * * [simplify]: iteration 2 : 327 enodes (cost 474 ) 3.964 * * [simplify]: Extracting # 0 : cost 0 3.965 * * [simplify]: Extracting # 1 : cost 0 3.966 * * [simplify]: Extracting # 2 : cost 0 3.966 * * [simplify]: Extracting # 3 : cost 0 3.967 * * [simplify]: Extracting # 4 : cost 0 3.968 * * [simplify]: iteration 3 : 811 enodes (cost 466 ) 4.744 * * [simplify]: Extracting # 0 : cost 0 4.747 * * [simplify]: Extracting # 1 : cost 0 4.750 * * [simplify]: Extracting # 2 : cost 0 4.752 * * [simplify]: Extracting # 3 : cost 0 4.755 * * [simplify]: Extracting # 4 : cost 0 4.758 * * [simplify]: iteration 4 : 2394 enodes (cost 460 ) 6.498 * * [simplify]: Extracting # 0 : cost 0 6.504 * * [simplify]: Extracting # 1 : cost 0 6.510 * * [simplify]: Extracting # 2 : cost 0 6.515 * * [simplify]: Extracting # 3 : cost 0 6.520 * * [simplify]: iteration done: 5000 enodes (cost 456 ) 6.521 * [simplify]: Simplified to: (log (sqrt (- (/ 1.0 x) 1.0))) (exp (sqrt (- (/ 1.0 x) 1.0))) (* (cbrt (sqrt (- (/ 1.0 x) 1.0))) (cbrt (sqrt (- (/ 1.0 x) 1.0)))) (cbrt (sqrt (- (/ 1.0 x) 1.0))) (pow (sqrt (- (/ 1.0 x) 1.0)) 3) (fabs (cbrt (- (/ 1.0 x) 1.0))) (sqrt (cbrt (- (/ 1.0 x) 1.0))) (sqrt (sqrt (- (/ 1.0 x) 1.0))) (sqrt (sqrt (- (/ 1.0 x) 1.0))) 1 (sqrt (- (/ 1.0 x) 1.0)) (sqrt (+ (sqrt (/ 1.0 x)) (sqrt 1.0))) (sqrt (- (sqrt (/ 1.0 x)) (sqrt 1.0))) (sqrt (+ (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0))) (sqrt (- (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0))) 1 (sqrt (- (/ 1.0 x) 1.0)) (sqrt (- (pow (/ 1.0 x) 3) (pow 1.0 3))) (sqrt (+ (* 1.0 1.0) (* (/ 1.0 x) (+ (/ 1.0 x) 1.0)))) (sqrt (* 1.0 (- (/ (/ 1.0 x) x) 1.0))) (sqrt (+ (/ 1.0 x) 1.0)) 1/2 (sqrt (sqrt (- (/ 1.0 x) 1.0))) (sqrt (sqrt (- (/ 1.0 x) 1.0))) (log (sqrt (- (/ 1.0 x) 1.0))) (exp (sqrt (- (/ 1.0 x) 1.0))) (* (cbrt (sqrt (- (/ 1.0 x) 1.0))) (cbrt (sqrt (- (/ 1.0 x) 1.0)))) (cbrt (sqrt (- (/ 1.0 x) 1.0))) (pow (sqrt (- (/ 1.0 x) 1.0)) 3) (fabs (cbrt (- (/ 1.0 x) 1.0))) (sqrt (cbrt (- (/ 1.0 x) 1.0))) (sqrt (sqrt (- (/ 1.0 x) 1.0))) (sqrt (sqrt (- (/ 1.0 x) 1.0))) 1 (sqrt (- (/ 1.0 x) 1.0)) (sqrt (+ (sqrt (/ 1.0 x)) (sqrt 1.0))) (sqrt (- (sqrt (/ 1.0 x)) (sqrt 1.0))) (sqrt (+ (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0))) (sqrt (- (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0))) 1 (sqrt (- (/ 1.0 x) 1.0)) (sqrt (- (pow (/ 1.0 x) 3) (pow 1.0 3))) (sqrt (+ (* 1.0 1.0) (* (/ 1.0 x) (+ (/ 1.0 x) 1.0)))) (sqrt (* 1.0 (- (/ (/ 1.0 x) x) 1.0))) (sqrt (+ (/ 1.0 x) 1.0)) 1/2 (sqrt (sqrt (- (/ 1.0 x) 1.0))) (sqrt (sqrt (- (/ 1.0 x) 1.0))) (- (* x (- +nan.0 (* +nan.0 x))) +nan.0) (+ (sqrt (- 1.0)) (* (/ 1 (sqrt (- 1.0))) (- (/ 0.5 x) (/ (/ 0.125 (- 1.0)) (pow x 2))))) (+ (sqrt (- 1.0)) (* (/ 1 (sqrt (- 1.0))) (- (/ 0.5 x) (/ (/ 0.125 (- 1.0)) (pow x 2))))) (- (* x (- +nan.0 (* +nan.0 x))) +nan.0) (+ (sqrt (- 1.0)) (* (/ 1 (sqrt (- 1.0))) (- (/ 0.5 x) (/ (/ 0.125 (- 1.0)) (pow x 2))))) (+ (sqrt (- 1.0)) (* (/ 1 (sqrt (- 1.0))) (- (/ 0.5 x) (/ (/ 0.125 (- 1.0)) (pow x 2))))) 6.521 * * * [progress]: adding candidates to table 6.702 * [progress]: [Phase 3 of 3] Extracting. 6.706 * [simplify]: Simplifying: (- (+ (log (sqrt (- (/ 1.0 x) 1.0))) (log (sqrt (- (/ 1.0 x) 1.0))))) 6.706 * * [simplify]: Extracting # 0 : cost 0 6.707 * * [simplify]: Extracting # 1 : cost 0 6.707 * * [simplify]: Extracting # 2 : cost 0 6.707 * * [simplify]: Extracting # 3 : cost 0 6.707 * * [simplify]: Extracting # 4 : cost 0 6.707 * * [simplify]: Extracting # 5 : cost 0 6.707 * * [simplify]: Extracting # 6 : cost 0 6.707 * * [simplify]: Extracting # 7 : cost 0 6.707 * * [simplify]: Extracting # 8 : cost 0 6.707 * * [simplify]: iteration 0 : 8 enodes (cost 16 ) 6.707 * * [simplify]: Extracting # 0 : cost 0 6.707 * * [simplify]: Extracting # 1 : cost 0 6.708 * * [simplify]: Extracting # 2 : cost 0 6.708 * * [simplify]: iteration 1 : 10 enodes (cost 16 ) 6.708 * * [simplify]: Extracting # 0 : cost 0 6.708 * * [simplify]: iteration done: 10 enodes (cost 16 ) 6.708 * [simplify]: Simplified to: (- (+ (log (sqrt (- (/ 1.0 x) 1.0))) (log (sqrt (- (/ 1.0 x) 1.0))))) 9.751 * [regime-testing]: End program error score: 0.0058524542056778385