146.679 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.078 * * * [progress]: [2/2] Setting up program. 0.091 * [progress]: [Phase 2 of 3] Improving. 0.091 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.091 * [simplify]: Simplifying: (- (/ x x) (* (/ 1.0 x) (sqrt (* x x)))) 0.092 * * [simplify]: iteration 0: 8 enodes 0.106 * * [simplify]: iteration 1: 15 enodes 0.126 * * [simplify]: iteration 2: 30 enodes 0.159 * * [simplify]: iteration 3: 36 enodes 0.197 * * [simplify]: iteration 4: 43 enodes 0.241 * * [simplify]: iteration 5: 49 enodes 0.294 * * [simplify]: iteration 6: 52 enodes 0.319 * * [simplify]: iteration 7: 55 enodes 0.351 * * [simplify]: iteration complete: 55 enodes 0.351 * * [simplify]: Extracting #0: cost 1 inf + 0 0.351 * * [simplify]: Extracting #1: cost 4 inf + 0 0.351 * * [simplify]: Extracting #2: cost 18 inf + 1 0.351 * * [simplify]: Extracting #3: cost 16 inf + 44 0.351 * * [simplify]: Extracting #4: cost 8 inf + 577 0.351 * * [simplify]: Extracting #5: cost 0 inf + 1510 0.352 * [simplify]: Simplified to: (- 1 (* (/ 1.0 x) (fabs x))) 0.362 * * [progress]: iteration 1 / 4 0.362 * * * [progress]: picking best candidate 0.375 * * * * [pick]: Picked # 0.375 * * * [progress]: localizing error 0.454 * * * [progress]: generating rewritten candidates 0.454 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.471 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.514 * * * [progress]: generating series expansions 0.514 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.515 * [backup-simplify]: Simplify (- 1 (* (/ 1.0 x) (fabs x))) into (- 1 (* 1.0 (/ (fabs x) x))) 0.515 * [approximate]: Taking taylor expansion of (- 1 (* 1.0 (/ (fabs x) x))) in (x) around 0 0.515 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ (fabs x) x))) in x 0.515 * [taylor]: Taking taylor expansion of 1 in x 0.515 * [backup-simplify]: Simplify 1 into 1 0.515 * [taylor]: Taking taylor expansion of (* 1.0 (/ (fabs x) x)) in x 0.515 * [taylor]: Taking taylor expansion of 1.0 in x 0.515 * [backup-simplify]: Simplify 1.0 into 1.0 0.515 * [taylor]: Taking taylor expansion of (/ (fabs x) x) in x 0.515 * [taylor]: Taking taylor expansion of (fabs x) in x 0.518 * [backup-simplify]: Simplify (fabs x) into (fabs x) 0.518 * [taylor]: Taking taylor expansion of x in x 0.518 * [backup-simplify]: Simplify 0 into 0 0.518 * [backup-simplify]: Simplify 1 into 1 0.518 * [backup-simplify]: Simplify (/ (fabs x) 1) into (fabs x) 0.519 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ (fabs x) x))) in x 0.519 * [taylor]: Taking taylor expansion of 1 in x 0.519 * [backup-simplify]: Simplify 1 into 1 0.519 * [taylor]: Taking taylor expansion of (* 1.0 (/ (fabs x) x)) in x 0.519 * [taylor]: Taking taylor expansion of 1.0 in x 0.519 * [backup-simplify]: Simplify 1.0 into 1.0 0.519 * [taylor]: Taking taylor expansion of (/ (fabs x) x) in x 0.519 * [taylor]: Taking taylor expansion of (fabs x) in x 0.519 * [backup-simplify]: Simplify (fabs x) into (fabs x) 0.519 * [taylor]: Taking taylor expansion of x in x 0.519 * [backup-simplify]: Simplify 0 into 0 0.519 * [backup-simplify]: Simplify 1 into 1 0.519 * [backup-simplify]: Simplify (/ (fabs x) 1) into (fabs x) 0.520 * [backup-simplify]: Simplify (* 1.0 (fabs x)) into (* 1.0 (fabs x)) 0.520 * [backup-simplify]: Simplify (- (* 1.0 (fabs x))) into (- (* 1.0 (fabs x))) 0.520 * [backup-simplify]: Simplify (+ 0 (- (* 1.0 (fabs x)))) into (- (* 1.0 (fabs x))) 0.521 * [backup-simplify]: Simplify (- (* 1.0 (fabs x))) into (- (* 1.0 (fabs x))) 0.522 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)))) into 0 0.523 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (fabs x))) into 0 0.524 * [backup-simplify]: Simplify (- 0) into 0 0.524 * [backup-simplify]: Simplify (+ 1 0) into 1 0.524 * [backup-simplify]: Simplify 1 into 1 0.526 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.528 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 0.528 * [backup-simplify]: Simplify (- 0) into 0 0.528 * [backup-simplify]: Simplify (+ 0 0) into 0 0.528 * [backup-simplify]: Simplify 0 into 0 0.531 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.533 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 0.533 * [backup-simplify]: Simplify (- 0) into 0 0.533 * [backup-simplify]: Simplify (+ 0 0) into 0 0.533 * [backup-simplify]: Simplify 0 into 0 0.536 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.538 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 0.539 * [backup-simplify]: Simplify (- 0) into 0 0.539 * [backup-simplify]: Simplify (+ 0 0) into 0 0.539 * [backup-simplify]: Simplify 0 into 0 0.543 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.545 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 0.546 * [backup-simplify]: Simplify (- 0) into 0 0.546 * [backup-simplify]: Simplify (+ 0 0) into 0 0.546 * [backup-simplify]: Simplify 0 into 0 0.550 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.553 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 0.554 * [backup-simplify]: Simplify (- 0) into 0 0.554 * [backup-simplify]: Simplify (+ 0 0) into 0 0.554 * [backup-simplify]: Simplify 0 into 0 0.559 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.562 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))))) into 0 0.565 * [backup-simplify]: Simplify (- 0) into 0 0.566 * [backup-simplify]: Simplify (+ 0 0) into 0 0.566 * [backup-simplify]: Simplify 0 into 0 0.567 * [backup-simplify]: Simplify (+ 1 (* (- (* 1.0 (fabs x))) (/ 1 x))) into (- 1 (* 1.0 (/ (fabs x) x))) 0.568 * [backup-simplify]: Simplify (- 1 (* (/ 1.0 (/ 1 x)) (fabs (/ 1 x)))) into (- 1 (* 1.0 (* x (fabs (/ 1 x))))) 0.568 * [approximate]: Taking taylor expansion of (- 1 (* 1.0 (* x (fabs (/ 1 x))))) in (x) around 0 0.568 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (* x (fabs (/ 1 x))))) in x 0.568 * [taylor]: Taking taylor expansion of 1 in x 0.568 * [backup-simplify]: Simplify 1 into 1 0.568 * [taylor]: Taking taylor expansion of (* 1.0 (* x (fabs (/ 1 x)))) in x 0.568 * [taylor]: Taking taylor expansion of 1.0 in x 0.568 * [backup-simplify]: Simplify 1.0 into 1.0 0.568 * [taylor]: Taking taylor expansion of (* x (fabs (/ 1 x))) in x 0.568 * [taylor]: Taking taylor expansion of x in x 0.568 * [backup-simplify]: Simplify 0 into 0 0.568 * [backup-simplify]: Simplify 1 into 1 0.568 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.568 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 0.568 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (* x (fabs (/ 1 x))))) in x 0.568 * [taylor]: Taking taylor expansion of 1 in x 0.568 * [backup-simplify]: Simplify 1 into 1 0.568 * [taylor]: Taking taylor expansion of (* 1.0 (* x (fabs (/ 1 x)))) in x 0.568 * [taylor]: Taking taylor expansion of 1.0 in x 0.569 * [backup-simplify]: Simplify 1.0 into 1.0 0.569 * [taylor]: Taking taylor expansion of (* x (fabs (/ 1 x))) in x 0.569 * [taylor]: Taking taylor expansion of x in x 0.569 * [backup-simplify]: Simplify 0 into 0 0.569 * [backup-simplify]: Simplify 1 into 1 0.569 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.569 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 0.569 * [backup-simplify]: Simplify (* 0 (fabs (/ 1 x))) into 0 0.570 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.570 * [backup-simplify]: Simplify (- 0) into 0 0.571 * [backup-simplify]: Simplify (+ 1 0) into 1 0.571 * [backup-simplify]: Simplify 1 into 1 0.572 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (fabs (/ 1 x)))) into (fabs (/ 1 x)) 0.573 * [backup-simplify]: Simplify (+ (* 1.0 (fabs (/ 1 x))) (* 0 0)) into (* 1.0 (fabs (/ 1 x))) 0.573 * [backup-simplify]: Simplify (- (* 1.0 (fabs (/ 1 x)))) into (- (* 1.0 (fabs (/ 1 x)))) 0.573 * [backup-simplify]: Simplify (+ 0 (- (* 1.0 (fabs (/ 1 x))))) into (- (* 1.0 (fabs (/ 1 x)))) 0.573 * [backup-simplify]: Simplify (- (* 1.0 (fabs (/ 1 x)))) into (- (* 1.0 (fabs (/ 1 x)))) 0.574 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (fabs (/ 1 x))))) into 0 0.575 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0))) into 0 0.575 * [backup-simplify]: Simplify (- 0) into 0 0.576 * [backup-simplify]: Simplify (+ 0 0) into 0 0.576 * [backup-simplify]: Simplify 0 into 0 0.577 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 0.578 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0)))) into 0 0.578 * [backup-simplify]: Simplify (- 0) into 0 0.579 * [backup-simplify]: Simplify (+ 0 0) into 0 0.579 * [backup-simplify]: Simplify 0 into 0 0.580 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 0.582 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0))))) into 0 0.582 * [backup-simplify]: Simplify (- 0) into 0 0.582 * [backup-simplify]: Simplify (+ 0 0) into 0 0.582 * [backup-simplify]: Simplify 0 into 0 0.584 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 0.586 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0)))))) into 0 0.586 * [backup-simplify]: Simplify (- 0) into 0 0.586 * [backup-simplify]: Simplify (+ 0 0) into 0 0.586 * [backup-simplify]: Simplify 0 into 0 0.588 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 0.590 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0))))))) into 0 0.590 * [backup-simplify]: Simplify (- 0) into 0 0.591 * [backup-simplify]: Simplify (+ 0 0) into 0 0.591 * [backup-simplify]: Simplify 0 into 0 0.593 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))))) into 0 0.597 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0)))))))) into 0 0.597 * [backup-simplify]: Simplify (- 0) into 0 0.598 * [backup-simplify]: Simplify (+ 0 0) into 0 0.598 * [backup-simplify]: Simplify 0 into 0 0.598 * [backup-simplify]: Simplify (+ (* (- (* 1.0 (fabs (/ 1 (/ 1 x))))) (/ 1 x)) 1) into (- 1 (* 1.0 (/ (fabs x) x))) 0.599 * [backup-simplify]: Simplify (- 1 (* (/ 1.0 (/ 1 (- x))) (fabs (/ 1 (- x))))) into (+ 1 (* 1.0 (* x (fabs (/ -1 x))))) 0.599 * [approximate]: Taking taylor expansion of (+ 1 (* 1.0 (* x (fabs (/ -1 x))))) in (x) around 0 0.599 * [taylor]: Taking taylor expansion of (+ 1 (* 1.0 (* x (fabs (/ -1 x))))) in x 0.599 * [taylor]: Taking taylor expansion of 1 in x 0.599 * [backup-simplify]: Simplify 1 into 1 0.599 * [taylor]: Taking taylor expansion of (* 1.0 (* x (fabs (/ -1 x)))) in x 0.599 * [taylor]: Taking taylor expansion of 1.0 in x 0.599 * [backup-simplify]: Simplify 1.0 into 1.0 0.599 * [taylor]: Taking taylor expansion of (* x (fabs (/ -1 x))) in x 0.599 * [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 (fabs (/ -1 x)) in x 0.600 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 0.600 * [taylor]: Taking taylor expansion of (+ 1 (* 1.0 (* x (fabs (/ -1 x))))) in x 0.600 * [taylor]: Taking taylor expansion of 1 in x 0.600 * [backup-simplify]: Simplify 1 into 1 0.600 * [taylor]: Taking taylor expansion of (* 1.0 (* x (fabs (/ -1 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 (fabs (/ -1 x))) in x 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 (fabs (/ -1 x)) in x 0.600 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 0.601 * [backup-simplify]: Simplify (* 0 (fabs (/ -1 x))) into 0 0.601 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.602 * [backup-simplify]: Simplify (+ 1 0) into 1 0.602 * [backup-simplify]: Simplify 1 into 1 0.603 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (fabs (/ -1 x)))) into (fabs (/ -1 x)) 0.604 * [backup-simplify]: Simplify (+ (* 1.0 (fabs (/ -1 x))) (* 0 0)) into (* 1.0 (fabs (/ -1 x))) 0.605 * [backup-simplify]: Simplify (+ 0 (* 1.0 (fabs (/ -1 x)))) into (* 1.0 (fabs (/ -1 x))) 0.605 * [backup-simplify]: Simplify (* 1.0 (fabs (/ -1 x))) into (* 1.0 (fabs (/ -1 x))) 0.606 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (fabs (/ -1 x))))) into 0 0.608 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0))) into 0 0.608 * [backup-simplify]: Simplify (+ 0 0) into 0 0.608 * [backup-simplify]: Simplify 0 into 0 0.610 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 0.612 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0)))) into 0 0.612 * [backup-simplify]: Simplify (+ 0 0) into 0 0.612 * [backup-simplify]: Simplify 0 into 0 0.615 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 0.617 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0))))) into 0 0.617 * [backup-simplify]: Simplify (+ 0 0) into 0 0.617 * [backup-simplify]: Simplify 0 into 0 0.620 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 0.623 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0)))))) into 0 0.623 * [backup-simplify]: Simplify (+ 0 0) into 0 0.623 * [backup-simplify]: Simplify 0 into 0 0.626 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 0.629 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0))))))) into 0 0.630 * [backup-simplify]: Simplify (+ 0 0) into 0 0.630 * [backup-simplify]: Simplify 0 into 0 0.633 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))))) into 0 0.637 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0)))))))) into 0 0.637 * [backup-simplify]: Simplify (+ 0 0) into 0 0.637 * [backup-simplify]: Simplify 0 into 0 0.638 * [backup-simplify]: Simplify (+ (* (* 1.0 (fabs (/ -1 (/ 1 (- x))))) (/ 1 (- x))) 1) into (- 1 (* 1.0 (/ (fabs x) x))) 0.638 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.639 * [backup-simplify]: Simplify (* (/ 1.0 x) (fabs x)) into (* 1.0 (/ (fabs x) x)) 0.639 * [approximate]: Taking taylor expansion of (* 1.0 (/ (fabs x) x)) in (x) around 0 0.639 * [taylor]: Taking taylor expansion of (* 1.0 (/ (fabs x) x)) in x 0.639 * [taylor]: Taking taylor expansion of 1.0 in x 0.639 * [backup-simplify]: Simplify 1.0 into 1.0 0.639 * [taylor]: Taking taylor expansion of (/ (fabs x) x) in x 0.639 * [taylor]: Taking taylor expansion of (fabs x) in x 0.639 * [backup-simplify]: Simplify (fabs x) into (fabs x) 0.639 * [taylor]: Taking taylor expansion of x in x 0.639 * [backup-simplify]: Simplify 0 into 0 0.639 * [backup-simplify]: Simplify 1 into 1 0.639 * [backup-simplify]: Simplify (/ (fabs x) 1) into (fabs x) 0.639 * [taylor]: Taking taylor expansion of (* 1.0 (/ (fabs x) x)) in x 0.640 * [taylor]: Taking taylor expansion of 1.0 in x 0.640 * [backup-simplify]: Simplify 1.0 into 1.0 0.640 * [taylor]: Taking taylor expansion of (/ (fabs x) x) in x 0.640 * [taylor]: Taking taylor expansion of (fabs x) in x 0.640 * [backup-simplify]: Simplify (fabs x) into (fabs x) 0.640 * [taylor]: Taking taylor expansion of x in x 0.640 * [backup-simplify]: Simplify 0 into 0 0.640 * [backup-simplify]: Simplify 1 into 1 0.640 * [backup-simplify]: Simplify (/ (fabs x) 1) into (fabs x) 0.640 * [backup-simplify]: Simplify (* 1.0 (fabs x)) into (* 1.0 (fabs x)) 0.641 * [backup-simplify]: Simplify (* 1.0 (fabs x)) into (* 1.0 (fabs x)) 0.642 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)))) into 0 0.642 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (fabs x))) into 0 0.642 * [backup-simplify]: Simplify 0 into 0 0.644 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.644 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 0.644 * [backup-simplify]: Simplify 0 into 0 0.646 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.647 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 0.647 * [backup-simplify]: Simplify 0 into 0 0.649 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.652 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 0.652 * [backup-simplify]: Simplify 0 into 0 0.654 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.656 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 0.656 * [backup-simplify]: Simplify 0 into 0 0.659 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.661 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 0.661 * [backup-simplify]: Simplify 0 into 0 0.661 * [backup-simplify]: Simplify (* (* 1.0 (fabs x)) (/ 1 x)) into (* 1.0 (/ (fabs x) x)) 0.662 * [backup-simplify]: Simplify (* (/ 1.0 (/ 1 x)) (fabs (/ 1 x))) into (* 1.0 (* x (fabs (/ 1 x)))) 0.662 * [approximate]: Taking taylor expansion of (* 1.0 (* x (fabs (/ 1 x)))) in (x) around 0 0.662 * [taylor]: Taking taylor expansion of (* 1.0 (* x (fabs (/ 1 x)))) in x 0.662 * [taylor]: Taking taylor expansion of 1.0 in x 0.662 * [backup-simplify]: Simplify 1.0 into 1.0 0.662 * [taylor]: Taking taylor expansion of (* x (fabs (/ 1 x))) in x 0.662 * [taylor]: Taking taylor expansion of x in x 0.662 * [backup-simplify]: Simplify 0 into 0 0.662 * [backup-simplify]: Simplify 1 into 1 0.662 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.662 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 0.662 * [taylor]: Taking taylor expansion of (* 1.0 (* x (fabs (/ 1 x)))) in x 0.662 * [taylor]: Taking taylor expansion of 1.0 in x 0.662 * [backup-simplify]: Simplify 1.0 into 1.0 0.662 * [taylor]: Taking taylor expansion of (* x (fabs (/ 1 x))) in x 0.662 * [taylor]: Taking taylor expansion of x in x 0.662 * [backup-simplify]: Simplify 0 into 0 0.662 * [backup-simplify]: Simplify 1 into 1 0.662 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.663 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 0.663 * [backup-simplify]: Simplify (* 0 (fabs (/ 1 x))) into 0 0.663 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.663 * [backup-simplify]: Simplify 0 into 0 0.664 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (fabs (/ 1 x)))) into (fabs (/ 1 x)) 0.665 * [backup-simplify]: Simplify (+ (* 1.0 (fabs (/ 1 x))) (* 0 0)) into (* 1.0 (fabs (/ 1 x))) 0.665 * [backup-simplify]: Simplify (* 1.0 (fabs (/ 1 x))) into (* 1.0 (fabs (/ 1 x))) 0.666 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (fabs (/ 1 x))))) into 0 0.667 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0))) into 0 0.667 * [backup-simplify]: Simplify 0 into 0 0.668 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 0.669 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0)))) into 0 0.669 * [backup-simplify]: Simplify 0 into 0 0.671 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 0.673 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0))))) into 0 0.673 * [backup-simplify]: Simplify 0 into 0 0.677 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 0.680 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0)))))) into 0 0.680 * [backup-simplify]: Simplify 0 into 0 0.683 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 0.687 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0))))))) into 0 0.687 * [backup-simplify]: Simplify 0 into 0 0.691 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))))) into 0 0.695 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0)))))))) into 0 0.696 * [backup-simplify]: Simplify 0 into 0 0.696 * [backup-simplify]: Simplify (* (* 1.0 (fabs (/ 1 (/ 1 x)))) (/ 1 x)) into (* 1.0 (/ (fabs x) x)) 0.697 * [backup-simplify]: Simplify (* (/ 1.0 (/ 1 (- x))) (fabs (/ 1 (- x)))) into (* -1.0 (* x (fabs (/ -1 x)))) 0.697 * [approximate]: Taking taylor expansion of (* -1.0 (* x (fabs (/ -1 x)))) in (x) around 0 0.697 * [taylor]: Taking taylor expansion of (* -1.0 (* x (fabs (/ -1 x)))) in x 0.697 * [taylor]: Taking taylor expansion of -1.0 in x 0.697 * [backup-simplify]: Simplify -1.0 into -1.0 0.697 * [taylor]: Taking taylor expansion of (* x (fabs (/ -1 x))) in x 0.697 * [taylor]: Taking taylor expansion of x in x 0.697 * [backup-simplify]: Simplify 0 into 0 0.697 * [backup-simplify]: Simplify 1 into 1 0.697 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.697 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 0.698 * [taylor]: Taking taylor expansion of (* -1.0 (* x (fabs (/ -1 x)))) in x 0.698 * [taylor]: Taking taylor expansion of -1.0 in x 0.698 * [backup-simplify]: Simplify -1.0 into -1.0 0.698 * [taylor]: Taking taylor expansion of (* x (fabs (/ -1 x))) in x 0.698 * [taylor]: Taking taylor expansion of x in x 0.698 * [backup-simplify]: Simplify 0 into 0 0.698 * [backup-simplify]: Simplify 1 into 1 0.698 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.698 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 0.698 * [backup-simplify]: Simplify (* 0 (fabs (/ -1 x))) into 0 0.699 * [backup-simplify]: Simplify (* -1.0 0) into 0 0.699 * [backup-simplify]: Simplify 0 into 0 0.703 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (fabs (/ -1 x)))) into (fabs (/ -1 x)) 0.704 * [backup-simplify]: Simplify (+ (* -1.0 (fabs (/ -1 x))) (* 0 0)) into (- (* 1.0 (fabs (/ -1 x)))) 0.704 * [backup-simplify]: Simplify (- (* 1.0 (fabs (/ -1 x)))) into (- (* 1.0 (fabs (/ -1 x)))) 0.706 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (fabs (/ -1 x))))) into 0 0.708 * [backup-simplify]: Simplify (+ (* -1.0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0))) into 0 0.708 * [backup-simplify]: Simplify 0 into 0 0.710 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 0.712 * [backup-simplify]: Simplify (+ (* -1.0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0)))) into 0 0.712 * [backup-simplify]: Simplify 0 into 0 0.715 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 0.717 * [backup-simplify]: Simplify (+ (* -1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0))))) into 0 0.718 * [backup-simplify]: Simplify 0 into 0 0.721 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 0.724 * [backup-simplify]: Simplify (+ (* -1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0)))))) into 0 0.724 * [backup-simplify]: Simplify 0 into 0 0.727 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 0.731 * [backup-simplify]: Simplify (+ (* -1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0))))))) into 0 0.731 * [backup-simplify]: Simplify 0 into 0 0.735 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))))) into 0 0.739 * [backup-simplify]: Simplify (+ (* -1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0)))))))) into 0 0.739 * [backup-simplify]: Simplify 0 into 0 0.740 * [backup-simplify]: Simplify (* (- (* 1.0 (fabs (/ -1 (/ 1 (- x)))))) (/ 1 (- x))) into (* 1.0 (/ (fabs x) x)) 0.740 * * * [progress]: simplifying candidates 0.740 * * * * [progress]: [ 1 / 52 ] simplifiying candidate #real (real->posit16 (- 1 (* (/ 1.0 x) (fabs x))))))> 0.740 * * * * [progress]: [ 2 / 52 ] simplifiying candidate # 0.740 * * * * [progress]: [ 3 / 52 ] simplifiying candidate # 0.740 * * * * [progress]: [ 4 / 52 ] simplifiying candidate # 0.740 * * * * [progress]: [ 5 / 52 ] simplifiying candidate # 0.740 * * * * [progress]: [ 6 / 52 ] simplifiying candidate # 0.741 * * * * [progress]: [ 7 / 52 ] simplifiying candidate # 0.741 * * * * [progress]: [ 8 / 52 ] simplifiying candidate # 0.741 * * * * [progress]: [ 9 / 52 ] simplifiying candidate # 0.741 * * * * [progress]: [ 10 / 52 ] simplifiying candidate # 0.741 * * * * [progress]: [ 11 / 52 ] simplifiying candidate # 0.741 * * * * [progress]: [ 12 / 52 ] simplifiying candidate # 0.741 * * * * [progress]: [ 13 / 52 ] simplifiying candidate # 0.741 * * * * [progress]: [ 14 / 52 ] simplifiying candidate #real (real->posit16 (* (/ 1.0 x) (fabs x))))))> 0.741 * * * * [progress]: [ 15 / 52 ] simplifiying candidate # 0.741 * * * * [progress]: [ 16 / 52 ] simplifiying candidate # 0.741 * * * * [progress]: [ 17 / 52 ] simplifiying candidate # 0.741 * * * * [progress]: [ 18 / 52 ] simplifiying candidate # 0.741 * * * * [progress]: [ 19 / 52 ] simplifiying candidate # 0.741 * * * * [progress]: [ 20 / 52 ] simplifiying candidate # 0.741 * * * * [progress]: [ 21 / 52 ] simplifiying candidate # 0.741 * * * * [progress]: [ 22 / 52 ] simplifiying candidate # 0.742 * * * * [progress]: [ 23 / 52 ] simplifiying candidate # 0.742 * * * * [progress]: [ 24 / 52 ] simplifiying candidate # 0.742 * * * * [progress]: [ 25 / 52 ] simplifiying candidate # 0.742 * * * * [progress]: [ 26 / 52 ] simplifiying candidate # 0.742 * * * * [progress]: [ 27 / 52 ] simplifiying candidate # 0.742 * * * * [progress]: [ 28 / 52 ] simplifiying candidate # 0.742 * * * * [progress]: [ 29 / 52 ] simplifiying candidate # 0.742 * * * * [progress]: [ 30 / 52 ] simplifiying candidate # 0.742 * * * * [progress]: [ 31 / 52 ] simplifiying candidate # 0.742 * * * * [progress]: [ 32 / 52 ] simplifiying candidate # 0.742 * * * * [progress]: [ 33 / 52 ] simplifiying candidate # 0.742 * * * * [progress]: [ 34 / 52 ] simplifiying candidate # 0.742 * * * * [progress]: [ 35 / 52 ] simplifiying candidate # 0.742 * * * * [progress]: [ 36 / 52 ] simplifiying candidate # 0.742 * * * * [progress]: [ 37 / 52 ] simplifiying candidate # 0.743 * * * * [progress]: [ 38 / 52 ] simplifiying candidate # 0.743 * * * * [progress]: [ 39 / 52 ] simplifiying candidate # 0.743 * * * * [progress]: [ 40 / 52 ] simplifiying candidate # 0.743 * * * * [progress]: [ 41 / 52 ] simplifiying candidate # 0.743 * * * * [progress]: [ 42 / 52 ] simplifiying candidate # 0.743 * * * * [progress]: [ 43 / 52 ] simplifiying candidate # 0.743 * * * * [progress]: [ 44 / 52 ] simplifiying candidate # 0.743 * * * * [progress]: [ 45 / 52 ] simplifiying candidate # 0.743 * * * * [progress]: [ 46 / 52 ] simplifiying candidate # 0.743 * * * * [progress]: [ 47 / 52 ] simplifiying candidate # 0.743 * * * * [progress]: [ 48 / 52 ] simplifiying candidate # 0.743 * * * * [progress]: [ 49 / 52 ] simplifiying candidate # 0.743 * * * * [progress]: [ 50 / 52 ] simplifiying candidate # 0.743 * * * * [progress]: [ 51 / 52 ] simplifiying candidate # 0.743 * * * * [progress]: [ 52 / 52 ] simplifiying candidate # 0.744 * [simplify]: Simplifying: (real->posit16 (- 1 (* (/ 1.0 x) (fabs x)))) (/ (exp 1) (exp (* (/ 1.0 x) (fabs x)))) (log (- 1 (* (/ 1.0 x) (fabs x)))) (exp (- 1 (* (/ 1.0 x) (fabs x)))) (* (cbrt (- 1 (* (/ 1.0 x) (fabs x)))) (cbrt (- 1 (* (/ 1.0 x) (fabs x))))) (cbrt (- 1 (* (/ 1.0 x) (fabs x)))) (* (* (- 1 (* (/ 1.0 x) (fabs x))) (- 1 (* (/ 1.0 x) (fabs x)))) (- 1 (* (/ 1.0 x) (fabs x)))) (sqrt (- 1 (* (/ 1.0 x) (fabs x)))) (sqrt (- 1 (* (/ 1.0 x) (fabs x)))) (- (pow 1 3) (pow (* (/ 1.0 x) (fabs x)) 3)) (+ (* 1 1) (+ (* (* (/ 1.0 x) (fabs x)) (* (/ 1.0 x) (fabs x))) (* 1 (* (/ 1.0 x) (fabs x))))) (- (* (/ 1.0 x) (fabs x))) (- (* 1 1) (* (* (/ 1.0 x) (fabs x)) (* (/ 1.0 x) (fabs x)))) (+ 1 (* (/ 1.0 x) (fabs x))) (- (* (/ 1.0 x) (fabs x))) (real->posit16 (* (/ 1.0 x) (fabs x))) (* (/ 1.0 x) (fabs x)) (+ (- (log 1.0) (log x)) (log (fabs x))) (+ (log (/ 1.0 x)) (log (fabs x))) (log (* (/ 1.0 x) (fabs x))) (exp (* (/ 1.0 x) (fabs x))) (* (/ (* (* 1.0 1.0) 1.0) (* (* x x) x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (/ 1.0 x) (/ 1.0 x)) (/ 1.0 x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (/ 1.0 x) (fabs x))) (cbrt (* (/ 1.0 x) (fabs x)))) (cbrt (* (/ 1.0 x) (fabs x))) (* (* (* (/ 1.0 x) (fabs x)) (* (/ 1.0 x) (fabs x))) (* (/ 1.0 x) (fabs x))) (sqrt (* (/ 1.0 x) (fabs x))) (sqrt (* (/ 1.0 x) (fabs x))) (* (sqrt (/ 1.0 x)) (sqrt (fabs x))) (* (sqrt (/ 1.0 x)) (sqrt (fabs x))) (* (/ (sqrt 1.0) (sqrt x)) (sqrt (fabs x))) (* (/ (sqrt 1.0) (sqrt x)) (sqrt (fabs x))) (* (/ 1.0 x) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (/ 1.0 x) (sqrt (fabs x))) (* (/ 1.0 x) 1) (* (cbrt (/ 1.0 x)) (fabs x)) (* (sqrt (/ 1.0 x)) (fabs x)) (* (/ (cbrt 1.0) (cbrt x)) (fabs x)) (* (/ (cbrt 1.0) (sqrt x)) (fabs x)) (* (/ (cbrt 1.0) x) (fabs x)) (* (/ (sqrt 1.0) (cbrt x)) (fabs x)) (* (/ (sqrt 1.0) (sqrt x)) (fabs x)) (* (/ (sqrt 1.0) x) (fabs x)) (* (/ 1.0 (cbrt x)) (fabs x)) (* (/ 1.0 (sqrt x)) (fabs x)) (* (/ 1.0 x) (fabs x)) (* (/ 1.0 x) (fabs x)) (* (/ 1 x) (fabs x)) (* 1.0 (fabs x)) (- 1 (* 1.0 (/ (fabs x) x))) (- 1 (* 1.0 (/ (fabs x) x))) (- 1 (* 1.0 (/ (fabs x) x))) (* 1.0 (/ (fabs x) x)) (* 1.0 (/ (fabs x) x)) (* 1.0 (/ (fabs x) x)) 0.747 * * [simplify]: iteration 0: 92 enodes 0.894 * * [simplify]: iteration 1: 224 enodes 1.248 * * [simplify]: iteration 2: 648 enodes 2.457 * * [simplify]: iteration 3: 2222 enodes 5.677 * * [simplify]: iteration complete: 5003 enodes 5.677 * * [simplify]: Extracting #0: cost 38 inf + 0 5.679 * * [simplify]: Extracting #1: cost 453 inf + 0 5.683 * * [simplify]: Extracting #2: cost 1111 inf + 3737 5.708 * * [simplify]: Extracting #3: cost 903 inf + 74731 5.766 * * [simplify]: Extracting #4: cost 209 inf + 219502 5.843 * * [simplify]: Extracting #5: cost 14 inf + 265881 5.925 * * [simplify]: Extracting #6: cost 0 inf + 270101 6.024 * * [simplify]: Extracting #7: cost 0 inf + 270061 6.104 * [simplify]: Simplified to: (real->posit16 (- 1 (/ (* 1.0 (fabs x)) x))) (/ E (exp (/ (* 1.0 (fabs x)) x))) (log (- 1 (/ (* 1.0 (fabs x)) x))) (/ E (exp (/ (* 1.0 (fabs x)) x))) (* (cbrt (- 1 (/ (* 1.0 (fabs x)) x))) (cbrt (- 1 (/ (* 1.0 (fabs x)) x)))) (cbrt (- 1 (/ (* 1.0 (fabs x)) x))) (* (* (- 1 (/ (* 1.0 (fabs x)) x)) (- 1 (/ (* 1.0 (fabs x)) x))) (- 1 (/ (* 1.0 (fabs x)) x))) (sqrt (- 1 (/ (* 1.0 (fabs x)) x))) (sqrt (- 1 (/ (* 1.0 (fabs x)) x))) (- 1 (* (/ (* 1.0 (fabs x)) x) (* (/ (* 1.0 (fabs x)) x) (/ (* 1.0 (fabs x)) x)))) (+ (+ (/ (* 1.0 (fabs x)) x) (* (/ (* 1.0 (fabs x)) x) (/ (* 1.0 (fabs x)) x))) 1) (- (/ (* 1.0 (fabs x)) x)) (- 1 (* (/ (* 1.0 (fabs x)) x) (/ (* 1.0 (fabs x)) x))) (+ (/ (* 1.0 (fabs x)) x) 1) (- (/ (* 1.0 (fabs x)) x)) (real->posit16 (/ (* 1.0 (fabs x)) x)) (/ (* 1.0 (fabs x)) x) (log (/ (* 1.0 (fabs x)) x)) (log (/ (* 1.0 (fabs x)) x)) (log (/ (* 1.0 (fabs x)) x)) (exp (/ (* 1.0 (fabs x)) x)) (* (/ (* 1.0 (fabs x)) x) (* (/ (* 1.0 (fabs x)) x) (/ (* 1.0 (fabs x)) x))) (* (/ (* 1.0 (fabs x)) x) (* (/ (* 1.0 (fabs x)) x) (/ (* 1.0 (fabs x)) x))) (* (cbrt (/ (* 1.0 (fabs x)) x)) (cbrt (/ (* 1.0 (fabs x)) x))) (cbrt (/ (* 1.0 (fabs x)) x)) (* (/ (* 1.0 (fabs x)) x) (* (/ (* 1.0 (fabs x)) x) (/ (* 1.0 (fabs x)) x))) (sqrt (/ (* 1.0 (fabs x)) x)) (sqrt (/ (* 1.0 (fabs x)) x)) (* (sqrt (/ 1.0 x)) (sqrt (fabs x))) (* (sqrt (/ 1.0 x)) (sqrt (fabs x))) (/ (* (sqrt 1.0) (sqrt (fabs x))) (sqrt x)) (/ (* (sqrt 1.0) (sqrt (fabs x))) (sqrt x)) (* (cbrt (fabs x)) (* (cbrt (fabs x)) (/ 1.0 x))) (/ (* 1.0 (sqrt (fabs x))) x) (/ 1.0 x) (* (cbrt (/ 1.0 x)) (fabs x)) (* (sqrt (/ 1.0 x)) (fabs x)) (/ (* (cbrt 1.0) (fabs x)) (cbrt x)) (/ (cbrt 1.0) (/ (sqrt x) (fabs x))) (* (/ (cbrt 1.0) x) (fabs x)) (/ (* (fabs x) (sqrt 1.0)) (cbrt x)) (* (/ (sqrt 1.0) (sqrt x)) (fabs x)) (/ (sqrt 1.0) (/ x (fabs x))) (* (/ (fabs x) (cbrt x)) 1.0) (/ (* (fabs x) 1.0) (sqrt x)) (/ (* 1.0 (fabs x)) x) (/ (* 1.0 (fabs x)) x) (/ (fabs x) x) (* (fabs x) 1.0) (- 1 (/ (* 1.0 (fabs x)) x)) (- 1 (/ (* 1.0 (fabs x)) x)) (- 1 (/ (* 1.0 (fabs x)) x)) (/ (* 1.0 (fabs x)) x) (/ (* 1.0 (fabs x)) x) (/ (* 1.0 (fabs x)) x) 6.108 * * * [progress]: adding candidates to table 6.611 * * [progress]: iteration 2 / 4 6.611 * * * [progress]: picking best candidate 6.625 * * * * [pick]: Picked #real (real->posit16 (* (/ 1.0 x) (fabs x))))))> 6.626 * * * [progress]: localizing error 6.716 * * * [progress]: generating rewritten candidates 6.716 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 6.750 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1 1) 6.819 * * * [progress]: generating series expansions 6.819 * * * * [progress]: [ 1 / 2 ] generating series at (2) 6.820 * [backup-simplify]: Simplify (- 1 (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x))))) into (- 1 (* 1.0 (/ (fabs x) x))) 6.820 * [approximate]: Taking taylor expansion of (- 1 (* 1.0 (/ (fabs x) x))) in (x) around 0 6.820 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ (fabs x) x))) in x 6.820 * [taylor]: Taking taylor expansion of 1 in x 6.820 * [backup-simplify]: Simplify 1 into 1 6.820 * [taylor]: Taking taylor expansion of (* 1.0 (/ (fabs x) x)) in x 6.820 * [taylor]: Taking taylor expansion of 1.0 in x 6.820 * [backup-simplify]: Simplify 1.0 into 1.0 6.820 * [taylor]: Taking taylor expansion of (/ (fabs x) x) in x 6.820 * [taylor]: Taking taylor expansion of (fabs x) in x 6.821 * [backup-simplify]: Simplify (fabs x) into (fabs x) 6.821 * [taylor]: Taking taylor expansion of x in x 6.821 * [backup-simplify]: Simplify 0 into 0 6.821 * [backup-simplify]: Simplify 1 into 1 6.821 * [backup-simplify]: Simplify (/ (fabs x) 1) into (fabs x) 6.821 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ (fabs x) x))) in x 6.821 * [taylor]: Taking taylor expansion of 1 in x 6.821 * [backup-simplify]: Simplify 1 into 1 6.821 * [taylor]: Taking taylor expansion of (* 1.0 (/ (fabs x) x)) in x 6.821 * [taylor]: Taking taylor expansion of 1.0 in x 6.821 * [backup-simplify]: Simplify 1.0 into 1.0 6.821 * [taylor]: Taking taylor expansion of (/ (fabs x) x) in x 6.821 * [taylor]: Taking taylor expansion of (fabs x) in x 6.822 * [backup-simplify]: Simplify (fabs x) into (fabs x) 6.822 * [taylor]: Taking taylor expansion of x in x 6.822 * [backup-simplify]: Simplify 0 into 0 6.822 * [backup-simplify]: Simplify 1 into 1 6.822 * [backup-simplify]: Simplify (/ (fabs x) 1) into (fabs x) 6.822 * [backup-simplify]: Simplify (* 1.0 (fabs x)) into (* 1.0 (fabs x)) 6.823 * [backup-simplify]: Simplify (- (* 1.0 (fabs x))) into (- (* 1.0 (fabs x))) 6.823 * [backup-simplify]: Simplify (+ 0 (- (* 1.0 (fabs x)))) into (- (* 1.0 (fabs x))) 6.824 * [backup-simplify]: Simplify (- (* 1.0 (fabs x))) into (- (* 1.0 (fabs x))) 6.826 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)))) into 0 6.827 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (fabs x))) into 0 6.827 * [backup-simplify]: Simplify (- 0) into 0 6.828 * [backup-simplify]: Simplify (+ 1 0) into 1 6.828 * [backup-simplify]: Simplify 1 into 1 6.830 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.832 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 6.832 * [backup-simplify]: Simplify (- 0) into 0 6.833 * [backup-simplify]: Simplify (+ 0 0) into 0 6.833 * [backup-simplify]: Simplify 0 into 0 6.836 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.838 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 6.838 * [backup-simplify]: Simplify (- 0) into 0 6.839 * [backup-simplify]: Simplify (+ 0 0) into 0 6.839 * [backup-simplify]: Simplify 0 into 0 6.842 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.845 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 6.845 * [backup-simplify]: Simplify (- 0) into 0 6.845 * [backup-simplify]: Simplify (+ 0 0) into 0 6.845 * [backup-simplify]: Simplify 0 into 0 6.849 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.852 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 6.853 * [backup-simplify]: Simplify (- 0) into 0 6.853 * [backup-simplify]: Simplify (+ 0 0) into 0 6.853 * [backup-simplify]: Simplify 0 into 0 6.858 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.861 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 6.862 * [backup-simplify]: Simplify (- 0) into 0 6.862 * [backup-simplify]: Simplify (+ 0 0) into 0 6.862 * [backup-simplify]: Simplify 0 into 0 6.867 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.871 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))))) into 0 6.872 * [backup-simplify]: Simplify (- 0) into 0 6.872 * [backup-simplify]: Simplify (+ 0 0) into 0 6.872 * [backup-simplify]: Simplify 0 into 0 6.873 * [backup-simplify]: Simplify (+ 1 (* (- (* 1.0 (fabs x))) (/ 1 x))) into (- 1 (* 1.0 (/ (fabs x) x))) 6.874 * [backup-simplify]: Simplify (- 1 (posit16->real (real->posit16 (* (/ 1.0 (/ 1 x)) (fabs (/ 1 x)))))) into (- 1 (* 1.0 (* x (fabs (/ 1 x))))) 6.874 * [approximate]: Taking taylor expansion of (- 1 (* 1.0 (* x (fabs (/ 1 x))))) in (x) around 0 6.874 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (* x (fabs (/ 1 x))))) in x 6.874 * [taylor]: Taking taylor expansion of 1 in x 6.874 * [backup-simplify]: Simplify 1 into 1 6.874 * [taylor]: Taking taylor expansion of (* 1.0 (* x (fabs (/ 1 x)))) in x 6.875 * [taylor]: Taking taylor expansion of 1.0 in x 6.875 * [backup-simplify]: Simplify 1.0 into 1.0 6.875 * [taylor]: Taking taylor expansion of (* x (fabs (/ 1 x))) in x 6.875 * [taylor]: Taking taylor expansion of x in x 6.875 * [backup-simplify]: Simplify 0 into 0 6.875 * [backup-simplify]: Simplify 1 into 1 6.875 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 6.875 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 6.875 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (* x (fabs (/ 1 x))))) in x 6.875 * [taylor]: Taking taylor expansion of 1 in x 6.875 * [backup-simplify]: Simplify 1 into 1 6.875 * [taylor]: Taking taylor expansion of (* 1.0 (* x (fabs (/ 1 x)))) in x 6.875 * [taylor]: Taking taylor expansion of 1.0 in x 6.875 * [backup-simplify]: Simplify 1.0 into 1.0 6.875 * [taylor]: Taking taylor expansion of (* x (fabs (/ 1 x))) in x 6.875 * [taylor]: Taking taylor expansion of x in x 6.875 * [backup-simplify]: Simplify 0 into 0 6.875 * [backup-simplify]: Simplify 1 into 1 6.875 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 6.876 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 6.876 * [backup-simplify]: Simplify (* 0 (fabs (/ 1 x))) into 0 6.877 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.877 * [backup-simplify]: Simplify (- 0) into 0 6.878 * [backup-simplify]: Simplify (+ 1 0) into 1 6.878 * [backup-simplify]: Simplify 1 into 1 6.879 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (fabs (/ 1 x)))) into (fabs (/ 1 x)) 6.880 * [backup-simplify]: Simplify (+ (* 1.0 (fabs (/ 1 x))) (* 0 0)) into (* 1.0 (fabs (/ 1 x))) 6.880 * [backup-simplify]: Simplify (- (* 1.0 (fabs (/ 1 x)))) into (- (* 1.0 (fabs (/ 1 x)))) 6.881 * [backup-simplify]: Simplify (+ 0 (- (* 1.0 (fabs (/ 1 x))))) into (- (* 1.0 (fabs (/ 1 x)))) 6.881 * [backup-simplify]: Simplify (- (* 1.0 (fabs (/ 1 x)))) into (- (* 1.0 (fabs (/ 1 x)))) 6.883 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (fabs (/ 1 x))))) into 0 6.885 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0))) into 0 6.886 * [backup-simplify]: Simplify (- 0) into 0 6.886 * [backup-simplify]: Simplify (+ 0 0) into 0 6.886 * [backup-simplify]: Simplify 0 into 0 6.888 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 6.891 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0)))) into 0 6.891 * [backup-simplify]: Simplify (- 0) into 0 6.892 * [backup-simplify]: Simplify (+ 0 0) into 0 6.892 * [backup-simplify]: Simplify 0 into 0 6.894 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 6.897 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0))))) into 0 6.897 * [backup-simplify]: Simplify (- 0) into 0 6.898 * [backup-simplify]: Simplify (+ 0 0) into 0 6.898 * [backup-simplify]: Simplify 0 into 0 6.901 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 6.903 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0)))))) into 0 6.903 * [backup-simplify]: Simplify (- 0) into 0 6.903 * [backup-simplify]: Simplify (+ 0 0) into 0 6.903 * [backup-simplify]: Simplify 0 into 0 6.905 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 6.910 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0))))))) into 0 6.910 * [backup-simplify]: Simplify (- 0) into 0 6.910 * [backup-simplify]: Simplify (+ 0 0) into 0 6.910 * [backup-simplify]: Simplify 0 into 0 6.913 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))))) into 0 6.915 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0)))))))) into 0 6.916 * [backup-simplify]: Simplify (- 0) into 0 6.916 * [backup-simplify]: Simplify (+ 0 0) into 0 6.916 * [backup-simplify]: Simplify 0 into 0 6.916 * [backup-simplify]: Simplify (+ (* (- (* 1.0 (fabs (/ 1 (/ 1 x))))) (/ 1 x)) 1) into (- 1 (* 1.0 (/ (fabs x) x))) 6.917 * [backup-simplify]: Simplify (- 1 (posit16->real (real->posit16 (* (/ 1.0 (/ 1 (- x))) (fabs (/ 1 (- x))))))) into (+ 1 (* 1.0 (* x (fabs (/ -1 x))))) 6.917 * [approximate]: Taking taylor expansion of (+ 1 (* 1.0 (* x (fabs (/ -1 x))))) in (x) around 0 6.917 * [taylor]: Taking taylor expansion of (+ 1 (* 1.0 (* x (fabs (/ -1 x))))) in x 6.917 * [taylor]: Taking taylor expansion of 1 in x 6.917 * [backup-simplify]: Simplify 1 into 1 6.917 * [taylor]: Taking taylor expansion of (* 1.0 (* x (fabs (/ -1 x)))) in x 6.917 * [taylor]: Taking taylor expansion of 1.0 in x 6.917 * [backup-simplify]: Simplify 1.0 into 1.0 6.917 * [taylor]: Taking taylor expansion of (* x (fabs (/ -1 x))) in x 6.917 * [taylor]: Taking taylor expansion of x in x 6.917 * [backup-simplify]: Simplify 0 into 0 6.917 * [backup-simplify]: Simplify 1 into 1 6.917 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 6.918 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 6.918 * [taylor]: Taking taylor expansion of (+ 1 (* 1.0 (* x (fabs (/ -1 x))))) in x 6.918 * [taylor]: Taking taylor expansion of 1 in x 6.918 * [backup-simplify]: Simplify 1 into 1 6.918 * [taylor]: Taking taylor expansion of (* 1.0 (* x (fabs (/ -1 x)))) in x 6.918 * [taylor]: Taking taylor expansion of 1.0 in x 6.918 * [backup-simplify]: Simplify 1.0 into 1.0 6.918 * [taylor]: Taking taylor expansion of (* x (fabs (/ -1 x))) in x 6.918 * [taylor]: Taking taylor expansion of x in x 6.918 * [backup-simplify]: Simplify 0 into 0 6.918 * [backup-simplify]: Simplify 1 into 1 6.918 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 6.918 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 6.918 * [backup-simplify]: Simplify (* 0 (fabs (/ -1 x))) into 0 6.919 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.919 * [backup-simplify]: Simplify (+ 1 0) into 1 6.919 * [backup-simplify]: Simplify 1 into 1 6.920 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (fabs (/ -1 x)))) into (fabs (/ -1 x)) 6.920 * [backup-simplify]: Simplify (+ (* 1.0 (fabs (/ -1 x))) (* 0 0)) into (* 1.0 (fabs (/ -1 x))) 6.920 * [backup-simplify]: Simplify (+ 0 (* 1.0 (fabs (/ -1 x)))) into (* 1.0 (fabs (/ -1 x))) 6.921 * [backup-simplify]: Simplify (* 1.0 (fabs (/ -1 x))) into (* 1.0 (fabs (/ -1 x))) 6.922 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (fabs (/ -1 x))))) into 0 6.922 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0))) into 0 6.923 * [backup-simplify]: Simplify (+ 0 0) into 0 6.923 * [backup-simplify]: Simplify 0 into 0 6.924 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 6.925 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0)))) into 0 6.926 * [backup-simplify]: Simplify (+ 0 0) into 0 6.926 * [backup-simplify]: Simplify 0 into 0 6.927 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 6.929 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0))))) into 0 6.929 * [backup-simplify]: Simplify (+ 0 0) into 0 6.929 * [backup-simplify]: Simplify 0 into 0 6.931 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 6.933 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0)))))) into 0 6.933 * [backup-simplify]: Simplify (+ 0 0) into 0 6.933 * [backup-simplify]: Simplify 0 into 0 6.937 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 6.940 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0))))))) into 0 6.941 * [backup-simplify]: Simplify (+ 0 0) into 0 6.941 * [backup-simplify]: Simplify 0 into 0 6.944 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))))) into 0 6.948 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0)))))))) into 0 6.949 * [backup-simplify]: Simplify (+ 0 0) into 0 6.949 * [backup-simplify]: Simplify 0 into 0 6.950 * [backup-simplify]: Simplify (+ (* (* 1.0 (fabs (/ -1 (/ 1 (- x))))) (/ 1 (- x))) 1) into (- 1 (* 1.0 (/ (fabs x) x))) 6.950 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1 1) 6.950 * [backup-simplify]: Simplify (* (/ 1.0 x) (fabs x)) into (* 1.0 (/ (fabs x) x)) 6.950 * [approximate]: Taking taylor expansion of (* 1.0 (/ (fabs x) x)) in (x) around 0 6.950 * [taylor]: Taking taylor expansion of (* 1.0 (/ (fabs x) x)) in x 6.950 * [taylor]: Taking taylor expansion of 1.0 in x 6.951 * [backup-simplify]: Simplify 1.0 into 1.0 6.951 * [taylor]: Taking taylor expansion of (/ (fabs x) x) in x 6.951 * [taylor]: Taking taylor expansion of (fabs x) in x 6.951 * [backup-simplify]: Simplify (fabs x) into (fabs x) 6.951 * [taylor]: Taking taylor expansion of x in x 6.951 * [backup-simplify]: Simplify 0 into 0 6.951 * [backup-simplify]: Simplify 1 into 1 6.951 * [backup-simplify]: Simplify (/ (fabs x) 1) into (fabs x) 6.951 * [taylor]: Taking taylor expansion of (* 1.0 (/ (fabs x) x)) in x 6.951 * [taylor]: Taking taylor expansion of 1.0 in x 6.951 * [backup-simplify]: Simplify 1.0 into 1.0 6.951 * [taylor]: Taking taylor expansion of (/ (fabs x) x) in x 6.951 * [taylor]: Taking taylor expansion of (fabs x) in x 6.952 * [backup-simplify]: Simplify (fabs x) into (fabs x) 6.952 * [taylor]: Taking taylor expansion of x in x 6.952 * [backup-simplify]: Simplify 0 into 0 6.952 * [backup-simplify]: Simplify 1 into 1 6.952 * [backup-simplify]: Simplify (/ (fabs x) 1) into (fabs x) 6.952 * [backup-simplify]: Simplify (* 1.0 (fabs x)) into (* 1.0 (fabs x)) 6.953 * [backup-simplify]: Simplify (* 1.0 (fabs x)) into (* 1.0 (fabs x)) 6.954 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)))) into 0 6.955 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (fabs x))) into 0 6.955 * [backup-simplify]: Simplify 0 into 0 6.957 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.959 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 6.959 * [backup-simplify]: Simplify 0 into 0 6.961 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.962 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 6.962 * [backup-simplify]: Simplify 0 into 0 6.964 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.965 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 6.966 * [backup-simplify]: Simplify 0 into 0 6.968 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.969 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 6.969 * [backup-simplify]: Simplify 0 into 0 6.972 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs x) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.974 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 6.974 * [backup-simplify]: Simplify 0 into 0 6.974 * [backup-simplify]: Simplify (* (* 1.0 (fabs x)) (/ 1 x)) into (* 1.0 (/ (fabs x) x)) 6.975 * [backup-simplify]: Simplify (* (/ 1.0 (/ 1 x)) (fabs (/ 1 x))) into (* 1.0 (* x (fabs (/ 1 x)))) 6.975 * [approximate]: Taking taylor expansion of (* 1.0 (* x (fabs (/ 1 x)))) in (x) around 0 6.975 * [taylor]: Taking taylor expansion of (* 1.0 (* x (fabs (/ 1 x)))) in x 6.975 * [taylor]: Taking taylor expansion of 1.0 in x 6.975 * [backup-simplify]: Simplify 1.0 into 1.0 6.975 * [taylor]: Taking taylor expansion of (* x (fabs (/ 1 x))) in x 6.975 * [taylor]: Taking taylor expansion of x in x 6.975 * [backup-simplify]: Simplify 0 into 0 6.975 * [backup-simplify]: Simplify 1 into 1 6.975 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 6.975 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 6.975 * [taylor]: Taking taylor expansion of (* 1.0 (* x (fabs (/ 1 x)))) in x 6.975 * [taylor]: Taking taylor expansion of 1.0 in x 6.975 * [backup-simplify]: Simplify 1.0 into 1.0 6.975 * [taylor]: Taking taylor expansion of (* x (fabs (/ 1 x))) in x 6.975 * [taylor]: Taking taylor expansion of x in x 6.975 * [backup-simplify]: Simplify 0 into 0 6.975 * [backup-simplify]: Simplify 1 into 1 6.975 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 6.975 * [backup-simplify]: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 6.976 * [backup-simplify]: Simplify (* 0 (fabs (/ 1 x))) into 0 6.976 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.976 * [backup-simplify]: Simplify 0 into 0 6.977 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (fabs (/ 1 x)))) into (fabs (/ 1 x)) 6.977 * [backup-simplify]: Simplify (+ (* 1.0 (fabs (/ 1 x))) (* 0 0)) into (* 1.0 (fabs (/ 1 x))) 6.977 * [backup-simplify]: Simplify (* 1.0 (fabs (/ 1 x))) into (* 1.0 (fabs (/ 1 x))) 6.978 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (fabs (/ 1 x))))) into 0 6.979 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0))) into 0 6.979 * [backup-simplify]: Simplify 0 into 0 6.980 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 6.982 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0)))) into 0 6.982 * [backup-simplify]: Simplify 0 into 0 6.983 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 6.985 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0))))) into 0 6.985 * [backup-simplify]: Simplify 0 into 0 6.986 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 6.988 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0)))))) into 0 6.988 * [backup-simplify]: Simplify 0 into 0 6.990 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 6.992 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0))))))) into 0 6.992 * [backup-simplify]: Simplify 0 into 0 6.996 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))))) into 0 6.999 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ 1 x))) (* 0 0)))))))) into 0 6.999 * [backup-simplify]: Simplify 0 into 0 6.999 * [backup-simplify]: Simplify (* (* 1.0 (fabs (/ 1 (/ 1 x)))) (/ 1 x)) into (* 1.0 (/ (fabs x) x)) 6.999 * [backup-simplify]: Simplify (* (/ 1.0 (/ 1 (- x))) (fabs (/ 1 (- x)))) into (* -1.0 (* x (fabs (/ -1 x)))) 6.999 * [approximate]: Taking taylor expansion of (* -1.0 (* x (fabs (/ -1 x)))) in (x) around 0 6.999 * [taylor]: Taking taylor expansion of (* -1.0 (* x (fabs (/ -1 x)))) in x 6.999 * [taylor]: Taking taylor expansion of -1.0 in x 6.999 * [backup-simplify]: Simplify -1.0 into -1.0 7.000 * [taylor]: Taking taylor expansion of (* x (fabs (/ -1 x))) in x 7.000 * [taylor]: Taking taylor expansion of x in x 7.000 * [backup-simplify]: Simplify 0 into 0 7.000 * [backup-simplify]: Simplify 1 into 1 7.000 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 7.000 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 7.000 * [taylor]: Taking taylor expansion of (* -1.0 (* x (fabs (/ -1 x)))) in x 7.000 * [taylor]: Taking taylor expansion of -1.0 in x 7.000 * [backup-simplify]: Simplify -1.0 into -1.0 7.000 * [taylor]: Taking taylor expansion of (* x (fabs (/ -1 x))) in x 7.000 * [taylor]: Taking taylor expansion of x in x 7.000 * [backup-simplify]: Simplify 0 into 0 7.000 * [backup-simplify]: Simplify 1 into 1 7.000 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 7.000 * [backup-simplify]: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 7.000 * [backup-simplify]: Simplify (* 0 (fabs (/ -1 x))) into 0 7.001 * [backup-simplify]: Simplify (* -1.0 0) into 0 7.001 * [backup-simplify]: Simplify 0 into 0 7.001 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (fabs (/ -1 x)))) into (fabs (/ -1 x)) 7.002 * [backup-simplify]: Simplify (+ (* -1.0 (fabs (/ -1 x))) (* 0 0)) into (- (* 1.0 (fabs (/ -1 x)))) 7.002 * [backup-simplify]: Simplify (- (* 1.0 (fabs (/ -1 x)))) into (- (* 1.0 (fabs (/ -1 x)))) 7.003 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (fabs (/ -1 x))))) into 0 7.004 * [backup-simplify]: Simplify (+ (* -1.0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0))) into 0 7.004 * [backup-simplify]: Simplify 0 into 0 7.005 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 7.006 * [backup-simplify]: Simplify (+ (* -1.0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0)))) into 0 7.006 * [backup-simplify]: Simplify 0 into 0 7.008 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 7.010 * [backup-simplify]: Simplify (+ (* -1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0))))) into 0 7.010 * [backup-simplify]: Simplify 0 into 0 7.011 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 7.013 * [backup-simplify]: Simplify (+ (* -1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0)))))) into 0 7.013 * [backup-simplify]: Simplify 0 into 0 7.015 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 7.017 * [backup-simplify]: Simplify (+ (* -1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0))))))) into 0 7.017 * [backup-simplify]: Simplify 0 into 0 7.020 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))))) into 0 7.024 * [backup-simplify]: Simplify (+ (* -1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs (/ -1 x))) (* 0 0)))))))) into 0 7.024 * [backup-simplify]: Simplify 0 into 0 7.025 * [backup-simplify]: Simplify (* (- (* 1.0 (fabs (/ -1 (/ 1 (- x)))))) (/ 1 (- x))) into (* 1.0 (/ (fabs x) x)) 7.025 * * * [progress]: simplifying candidates 7.025 * * * * [progress]: [ 1 / 55 ] simplifiying candidate #real (real->posit16 (- 1 (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x))))))))> 7.025 * * * * [progress]: [ 2 / 55 ] simplifiying candidate #real (real->posit16 (* (/ 1.0 x) (fabs x))))))))> 7.025 * * * * [progress]: [ 3 / 55 ] simplifiying candidate #real (real->posit16 (* (/ 1.0 x) (fabs x))))) 1))> 7.025 * * * * [progress]: [ 4 / 55 ] simplifiying candidate #real (real->posit16 (* (/ 1.0 x) (fabs x))))))))> 7.025 * * * * [progress]: [ 5 / 55 ] simplifiying candidate #real (real->posit16 (* (/ 1.0 x) (fabs x))))))))> 7.025 * * * * [progress]: [ 6 / 55 ] simplifiying candidate #real (real->posit16 (* (/ 1.0 x) (fabs x)))))) (cbrt (- 1 (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x))))))) (cbrt (- 1 (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x))))))))> 7.025 * * * * [progress]: [ 7 / 55 ] simplifiying candidate #real (real->posit16 (* (/ 1.0 x) (fabs x))))) (- 1 (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x)))))) (- 1 (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x))))))))> 7.025 * * * * [progress]: [ 8 / 55 ] simplifiying candidate #real (real->posit16 (* (/ 1.0 x) (fabs x)))))) (sqrt (- 1 (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x))))))))> 7.025 * * * * [progress]: [ 9 / 55 ] simplifiying candidate #real (real->posit16 (* (/ 1.0 x) (fabs x)))) 3)) (+ (* 1 1) (+ (* (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x)))) (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x))))) (* 1 (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x)))))))))> 7.025 * * * * [progress]: [ 10 / 55 ] simplifiying candidate #real (real->posit16 (* (/ 1.0 x) (fabs x)))))))> 7.026 * * * * [progress]: [ 11 / 55 ] simplifiying candidate #real (real->posit16 (* (/ 1.0 x) (fabs x)))))))> 7.026 * * * * [progress]: [ 12 / 55 ] simplifiying candidate #real (real->posit16 (* (/ 1.0 x) (fabs x)))) (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x)))))) (+ 1 (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x)))))))> 7.026 * * * * [progress]: [ 13 / 55 ] simplifiying candidate #real (real->posit16 (* (/ 1.0 x) (fabs x)))))) (- (sqrt 1) (sqrt (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x))))))))> 7.026 * * * * [progress]: [ 14 / 55 ] simplifiying candidate #real (real->posit16 (* (/ 1.0 x) (fabs x)))))) (- 1 (sqrt (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x))))))))> 7.026 * * * * [progress]: [ 15 / 55 ] simplifiying candidate #real (real->posit16 (* (/ 1.0 x) (fabs x)))))))> 7.026 * * * * [progress]: [ 16 / 55 ] simplifiying candidate #real (real->posit16 (* (/ 1.0 x) (fabs x)))))))> 7.026 * * * * [progress]: [ 17 / 55 ] simplifiying candidate #real (real->posit16 (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x))))))))> 7.026 * * * * [progress]: [ 18 / 55 ] simplifiying candidate #real (real->posit16 (pow (* (/ 1.0 x) (fabs x)) 1)))))> 7.026 * * * * [progress]: [ 19 / 55 ] simplifiying candidate #real (real->posit16 (pow (* (/ 1.0 x) (fabs x)) 1)))))> 7.026 * * * * [progress]: [ 20 / 55 ] simplifiying candidate #real (real->posit16 (exp (+ (- (log 1.0) (log x)) (log (fabs x))))))))> 7.026 * * * * [progress]: [ 21 / 55 ] simplifiying candidate #real (real->posit16 (exp (+ (log (/ 1.0 x)) (log (fabs x))))))))> 7.026 * * * * [progress]: [ 22 / 55 ] simplifiying candidate #real (real->posit16 (exp (log (* (/ 1.0 x) (fabs x))))))))> 7.026 * * * * [progress]: [ 23 / 55 ] simplifiying candidate #real (real->posit16 (log (exp (* (/ 1.0 x) (fabs x))))))))> 7.026 * * * * [progress]: [ 24 / 55 ] simplifiying candidate #real (real->posit16 (cbrt (* (/ (* (* 1.0 1.0) 1.0) (* (* x x) x)) (* (* (fabs x) (fabs x)) (fabs x))))))))> 7.026 * * * * [progress]: [ 25 / 55 ] simplifiying candidate #real (real->posit16 (cbrt (* (* (* (/ 1.0 x) (/ 1.0 x)) (/ 1.0 x)) (* (* (fabs x) (fabs x)) (fabs x))))))))> 7.026 * * * * [progress]: [ 26 / 55 ] simplifiying candidate #real (real->posit16 (* (* (cbrt (* (/ 1.0 x) (fabs x))) (cbrt (* (/ 1.0 x) (fabs x)))) (cbrt (* (/ 1.0 x) (fabs x))))))))> 7.027 * * * * [progress]: [ 27 / 55 ] simplifiying candidate #real (real->posit16 (cbrt (* (* (* (/ 1.0 x) (fabs x)) (* (/ 1.0 x) (fabs x))) (* (/ 1.0 x) (fabs x))))))))> 7.027 * * * * [progress]: [ 28 / 55 ] simplifiying candidate #real (real->posit16 (* (sqrt (* (/ 1.0 x) (fabs x))) (sqrt (* (/ 1.0 x) (fabs x))))))))> 7.027 * * * * [progress]: [ 29 / 55 ] simplifiying candidate #real (real->posit16 (* 1 (* (/ 1.0 x) (fabs x)))))))> 7.027 * * * * [progress]: [ 30 / 55 ] simplifiying candidate #real (real->posit16 (* (* (sqrt (/ 1.0 x)) (sqrt (fabs x))) (* (sqrt (/ 1.0 x)) (sqrt (fabs x))))))))> 7.027 * * * * [progress]: [ 31 / 55 ] simplifiying candidate #real (real->posit16 (* (* (/ (sqrt 1.0) (sqrt x)) (sqrt (fabs x))) (* (/ (sqrt 1.0) (sqrt x)) (sqrt (fabs x))))))))> 7.027 * * * * [progress]: [ 32 / 55 ] simplifiying candidate #real (real->posit16 (* (* (/ 1.0 x) (* (cbrt (fabs x)) (cbrt (fabs x)))) (cbrt (fabs x)))))))> 7.027 * * * * [progress]: [ 33 / 55 ] simplifiying candidate #real (real->posit16 (* (* (/ 1.0 x) (sqrt (fabs x))) (sqrt (fabs x)))))))> 7.027 * * * * [progress]: [ 34 / 55 ] simplifiying candidate #real (real->posit16 (* (* (/ 1.0 x) 1) (fabs x))))))> 7.027 * * * * [progress]: [ 35 / 55 ] simplifiying candidate #real (real->posit16 (* (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (* (cbrt (/ 1.0 x)) (fabs x)))))))> 7.027 * * * * [progress]: [ 36 / 55 ] simplifiying candidate #real (real->posit16 (* (sqrt (/ 1.0 x)) (* (sqrt (/ 1.0 x)) (fabs x)))))))> 7.027 * * * * [progress]: [ 37 / 55 ] simplifiying candidate #real (real->posit16 (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (* (/ (cbrt 1.0) (cbrt x)) (fabs x)))))))> 7.027 * * * * [progress]: [ 38 / 55 ] simplifiying candidate #real (real->posit16 (* (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) (* (/ (cbrt 1.0) (sqrt x)) (fabs x)))))))> 7.027 * * * * [progress]: [ 39 / 55 ] simplifiying candidate #real (real->posit16 (* (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (* (/ (cbrt 1.0) x) (fabs x)))))))> 7.027 * * * * [progress]: [ 40 / 55 ] simplifiying candidate #real (real->posit16 (* (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (* (/ (sqrt 1.0) (cbrt x)) (fabs x)))))))> 7.027 * * * * [progress]: [ 41 / 55 ] simplifiying candidate #real (real->posit16 (* (/ (sqrt 1.0) (sqrt x)) (* (/ (sqrt 1.0) (sqrt x)) (fabs x)))))))> 7.028 * * * * [progress]: [ 42 / 55 ] simplifiying candidate #real (real->posit16 (* (/ (sqrt 1.0) 1) (* (/ (sqrt 1.0) x) (fabs x)))))))> 7.028 * * * * [progress]: [ 43 / 55 ] simplifiying candidate #real (real->posit16 (* (/ 1 (* (cbrt x) (cbrt x))) (* (/ 1.0 (cbrt x)) (fabs x)))))))> 7.028 * * * * [progress]: [ 44 / 55 ] simplifiying candidate #real (real->posit16 (* (/ 1 (sqrt x)) (* (/ 1.0 (sqrt x)) (fabs x)))))))> 7.028 * * * * [progress]: [ 45 / 55 ] simplifiying candidate #real (real->posit16 (* (/ 1 1) (* (/ 1.0 x) (fabs x)))))))> 7.028 * * * * [progress]: [ 46 / 55 ] simplifiying candidate #real (real->posit16 (* 1 (* (/ 1.0 x) (fabs x)))))))> 7.028 * * * * [progress]: [ 47 / 55 ] simplifiying candidate #real (real->posit16 (* 1.0 (* (/ 1 x) (fabs x)))))))> 7.028 * * * * [progress]: [ 48 / 55 ] simplifiying candidate #real (real->posit16 (/ (* 1.0 (fabs x)) x)))))> 7.028 * * * * [progress]: [ 49 / 55 ] simplifiying candidate #real (real->posit16 (* (fabs x) (/ 1.0 x))))))> 7.028 * * * * [progress]: [ 50 / 55 ] simplifiying candidate # 7.028 * * * * [progress]: [ 51 / 55 ] simplifiying candidate # 7.028 * * * * [progress]: [ 52 / 55 ] simplifiying candidate # 7.028 * * * * [progress]: [ 53 / 55 ] simplifiying candidate #real (real->posit16 (* 1.0 (/ (fabs x) x))))))> 7.028 * * * * [progress]: [ 54 / 55 ] simplifiying candidate #real (real->posit16 (* 1.0 (/ (fabs x) x))))))> 7.028 * * * * [progress]: [ 55 / 55 ] simplifiying candidate #real (real->posit16 (* 1.0 (/ (fabs x) x))))))> 7.029 * [simplify]: Simplifying: (real->posit16 (- 1 (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x)))))) (/ (exp 1) (exp (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x)))))) (log (- 1 (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x)))))) (exp (- 1 (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x)))))) (* (cbrt (- 1 (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x)))))) (cbrt (- 1 (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x))))))) (cbrt (- 1 (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x)))))) (* (* (- 1 (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x))))) (- 1 (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x)))))) (- 1 (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x)))))) (sqrt (- 1 (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x)))))) (sqrt (- 1 (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x)))))) (- (pow 1 3) (pow (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x)))) 3)) (+ (* 1 1) (+ (* (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x)))) (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x))))) (* 1 (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x))))))) (- (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x))))) (- (* 1 1) (* (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x)))) (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x)))))) (+ 1 (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x))))) (+ (sqrt 1) (sqrt (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x)))))) (- (sqrt 1) (sqrt (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x)))))) (+ 1 (sqrt (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x)))))) (- 1 (sqrt (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x)))))) (- 1 (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x))))) (- (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x))))) (real->posit16 (* (/ 1.0 x) (fabs x))) (* (/ 1.0 x) (fabs x)) (+ (- (log 1.0) (log x)) (log (fabs x))) (+ (log (/ 1.0 x)) (log (fabs x))) (log (* (/ 1.0 x) (fabs x))) (exp (* (/ 1.0 x) (fabs x))) (* (/ (* (* 1.0 1.0) 1.0) (* (* x x) x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (/ 1.0 x) (/ 1.0 x)) (/ 1.0 x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (/ 1.0 x) (fabs x))) (cbrt (* (/ 1.0 x) (fabs x)))) (cbrt (* (/ 1.0 x) (fabs x))) (* (* (* (/ 1.0 x) (fabs x)) (* (/ 1.0 x) (fabs x))) (* (/ 1.0 x) (fabs x))) (sqrt (* (/ 1.0 x) (fabs x))) (sqrt (* (/ 1.0 x) (fabs x))) (* (sqrt (/ 1.0 x)) (sqrt (fabs x))) (* (sqrt (/ 1.0 x)) (sqrt (fabs x))) (* (/ (sqrt 1.0) (sqrt x)) (sqrt (fabs x))) (* (/ (sqrt 1.0) (sqrt x)) (sqrt (fabs x))) (* (/ 1.0 x) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (/ 1.0 x) (sqrt (fabs x))) (* (/ 1.0 x) 1) (* (cbrt (/ 1.0 x)) (fabs x)) (* (sqrt (/ 1.0 x)) (fabs x)) (* (/ (cbrt 1.0) (cbrt x)) (fabs x)) (* (/ (cbrt 1.0) (sqrt x)) (fabs x)) (* (/ (cbrt 1.0) x) (fabs x)) (* (/ (sqrt 1.0) (cbrt x)) (fabs x)) (* (/ (sqrt 1.0) (sqrt x)) (fabs x)) (* (/ (sqrt 1.0) x) (fabs x)) (* (/ 1.0 (cbrt x)) (fabs x)) (* (/ 1.0 (sqrt x)) (fabs x)) (* (/ 1.0 x) (fabs x)) (* (/ 1.0 x) (fabs x)) (* (/ 1 x) (fabs x)) (* 1.0 (fabs x)) (- 1 (* 1.0 (/ (fabs x) x))) (- 1 (* 1.0 (/ (fabs x) x))) (- 1 (* 1.0 (/ (fabs x) x))) (* 1.0 (/ (fabs x) x)) (* 1.0 (/ (fabs x) x)) (* 1.0 (/ (fabs x) x)) 7.033 * * [simplify]: iteration 0: 101 enodes 7.210 * * [simplify]: iteration 1: 227 enodes 7.575 * * [simplify]: iteration 2: 616 enodes 8.670 * * [simplify]: iteration 3: 2039 enodes 12.027 * * [simplify]: iteration complete: 5000 enodes 12.027 * * [simplify]: Extracting #0: cost 40 inf + 0 12.028 * * [simplify]: Extracting #1: cost 465 inf + 0 12.033 * * [simplify]: Extracting #2: cost 1139 inf + 4635 12.052 * * [simplify]: Extracting #3: cost 838 inf + 103516 12.122 * * [simplify]: Extracting #4: cost 126 inf + 217800 12.200 * * [simplify]: Extracting #5: cost 9 inf + 239880 12.287 * * [simplify]: Extracting #6: cost 0 inf + 241527 12.368 * [simplify]: Simplified to: (real->posit16 (- 1 (/ (* 1.0 (fabs x)) x))) (/ E (exp (/ (* 1.0 (fabs x)) x))) (log (- 1 (/ (* 1.0 (fabs x)) x))) (/ E (exp (/ (* 1.0 (fabs x)) x))) (* (cbrt (- 1 (/ (* 1.0 (fabs x)) x))) (cbrt (- 1 (/ (* 1.0 (fabs x)) x)))) (cbrt (- 1 (/ (* 1.0 (fabs x)) x))) (* (- 1 (/ (* 1.0 (fabs x)) x)) (* (- 1 (/ (* 1.0 (fabs x)) x)) (- 1 (/ (* 1.0 (fabs x)) x)))) (sqrt (- 1 (/ (* 1.0 (fabs x)) x))) (sqrt (- 1 (/ (* 1.0 (fabs x)) x))) (- 1 (* (* (/ (* 1.0 (fabs x)) x) (/ (* 1.0 (fabs x)) x)) (/ (* 1.0 (fabs x)) x))) (+ (+ (* (/ (* 1.0 (fabs x)) x) (/ (* 1.0 (fabs x)) x)) 1) (/ (* 1.0 (fabs x)) x)) (/ (- 1.0) (/ x (fabs x))) (- 1 (* (/ (* 1.0 (fabs x)) x) (/ (* 1.0 (fabs x)) x))) (+ 1 (/ (* 1.0 (fabs x)) x)) (+ 1 (sqrt (/ (* 1.0 (fabs x)) x))) (- 1 (sqrt (/ (* 1.0 (fabs x)) x))) (+ 1 (sqrt (/ (* 1.0 (fabs x)) x))) (- 1 (sqrt (/ (* 1.0 (fabs x)) x))) (- 1 (/ (* 1.0 (fabs x)) x)) (/ (- 1.0) (/ x (fabs x))) (real->posit16 (/ (* 1.0 (fabs x)) x)) (/ (* 1.0 (fabs x)) x) (log (/ (* 1.0 (fabs x)) x)) (log (/ (* 1.0 (fabs x)) x)) (log (/ (* 1.0 (fabs x)) x)) (exp (/ (* 1.0 (fabs x)) x)) (* (* (/ (* 1.0 (fabs x)) x) (/ (* 1.0 (fabs x)) x)) (/ (* 1.0 (fabs x)) x)) (* (* (/ (* 1.0 (fabs x)) x) (/ (* 1.0 (fabs x)) x)) (/ (* 1.0 (fabs x)) x)) (* (cbrt (/ (* 1.0 (fabs x)) x)) (cbrt (/ (* 1.0 (fabs x)) x))) (cbrt (/ (* 1.0 (fabs x)) x)) (* (* (/ (* 1.0 (fabs x)) x) (/ (* 1.0 (fabs x)) x)) (/ (* 1.0 (fabs x)) x)) (sqrt (/ (* 1.0 (fabs x)) x)) (sqrt (/ (* 1.0 (fabs x)) x)) (* (sqrt (fabs x)) (sqrt (/ 1.0 x))) (* (sqrt (fabs x)) (sqrt (/ 1.0 x))) (* (/ (sqrt 1.0) (sqrt x)) (sqrt (fabs x))) (* (/ (sqrt 1.0) (sqrt x)) (sqrt (fabs x))) (* (/ 1.0 x) (* (cbrt (fabs x)) (cbrt (fabs x)))) (/ 1.0 (/ x (sqrt (fabs x)))) (/ 1.0 x) (* (cbrt (/ 1.0 x)) (fabs x)) (* (fabs x) (sqrt (/ 1.0 x))) (/ (cbrt 1.0) (/ (cbrt x) (fabs x))) (/ (cbrt 1.0) (/ (sqrt x) (fabs x))) (* (fabs x) (/ (cbrt 1.0) x)) (/ (sqrt 1.0) (/ (cbrt x) (fabs x))) (/ (* (fabs x) (sqrt 1.0)) (sqrt x)) (/ (sqrt 1.0) (/ x (fabs x))) (/ (* 1.0 (fabs x)) (cbrt x)) (* (/ (fabs x) (sqrt x)) 1.0) (/ (* 1.0 (fabs x)) x) (/ (* 1.0 (fabs x)) x) (/ (fabs x) x) (* 1.0 (fabs x)) (- 1 (/ (* 1.0 (fabs x)) x)) (- 1 (/ (* 1.0 (fabs x)) x)) (- 1 (/ (* 1.0 (fabs x)) x)) (/ (* 1.0 (fabs x)) x) (/ (* 1.0 (fabs x)) x) (/ (* 1.0 (fabs x)) x) 12.374 * * * [progress]: adding candidates to table 13.198 * [progress]: [Phase 3 of 3] Extracting. 13.211 * [simplify]: Simplifying: (- 1 (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x))))) 13.211 * * [simplify]: iteration 0: 9 enodes 13.213 * * [simplify]: iteration 1: 12 enodes 13.215 * * [simplify]: iteration complete: 12 enodes 13.215 * * [simplify]: Extracting #0: cost 1 inf + 0 13.215 * * [simplify]: Extracting #1: cost 3 inf + 0 13.215 * * [simplify]: Extracting #2: cost 3 inf + 1 13.215 * * [simplify]: Extracting #3: cost 4 inf + 1 13.215 * * [simplify]: Extracting #4: cost 6 inf + 1 13.215 * * [simplify]: Extracting #5: cost 8 inf + 1 13.215 * * [simplify]: Extracting #6: cost 0 inf + 615 13.215 * [simplify]: Simplified to: (- 1 (posit16->real (real->posit16 (* (/ 1.0 x) (fabs x))))) 17.682 * [regime-testing]: Baseline error score: 0 17.710 * [regime-testing]: Oracle error score: 0 17.710 * [regime-testing]: End program error score: 0 17.993 * [regime-testing]: Target error score: 0