44.517 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.110 * * * [progress]: [2/2] Setting up program.
0.114 * [progress]: [Phase 2 of 3] Improving.
0.114 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (log (+ x (sqrt (- (* x x) 1)))))>
0.114 * [simplify]: Simplifying:
  (log (+ x (sqrt (- (* x x) 1))))
0.114 * * [simplify]: iteration 0: 7 enodes
0.117 * * [simplify]: iteration 1: 16 enodes
0.120 * * [simplify]: iteration 2: 19 enodes
0.124 * * [simplify]: iteration 3: 35 enodes
0.134 * * [simplify]: iteration 4: 60 enodes
0.165 * * [simplify]: iteration 5: 156 enodes
0.216 * * [simplify]: iteration 6: 472 enodes
0.579 * * [simplify]: iteration 7: 1825 enodes
1.208 * * [simplify]: iteration 8: 2000 enodes
1.649 * * [simplify]: iteration complete: 2000 enodes
1.649 * * [simplify]: Extracting #0: cost 1 inf + 0
1.649 * * [simplify]: Extracting #1: cost 2 inf + 0
1.649 * * [simplify]: Extracting #2: cost 4 inf + 0
1.650 * * [simplify]: Extracting #3: cost 19 inf + 1
1.650 * * [simplify]: Extracting #4: cost 132 inf + 340
1.653 * * [simplify]: Extracting #5: cost 359 inf + 5669
1.663 * * [simplify]: Extracting #6: cost 61 inf + 31793
1.675 * * [simplify]: Extracting #7: cost 0 inf + 36234
1.689 * [simplify]: Simplified to:
  (log (+ x (sqrt (+ -1 (* x x)))))
1.690 * * [progress]: iteration 1 / 4
1.690 * * * [progress]: picking best candidate
1.694 * * * * [pick]: Picked  #<alt (λ (x) (log (+ x (sqrt (- (* x x) 1)))))>
1.694 * * * [progress]: localizing error
1.713 * * * [progress]: generating rewritten candidates
1.713 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2)
1.727 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
1.747 * * * [progress]: generating series expansions
1.748 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2)
1.748 * [backup-simplify]: Simplify (sqrt (- (* x x) 1)) into (sqrt (- (pow x 2) 1))
1.748 * [approximate]: Taking taylor expansion of (sqrt (- (pow x 2) 1)) in (x) around 0
1.748 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1)) in x
1.748 * [taylor]: Taking taylor expansion of (- (pow x 2) 1) in x
1.748 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.748 * [taylor]: Taking taylor expansion of x in x
1.748 * [backup-simplify]: Simplify 0 into 0
1.748 * [backup-simplify]: Simplify 1 into 1
1.748 * [taylor]: Taking taylor expansion of 1 in x
1.748 * [backup-simplify]: Simplify 1 into 1
1.749 * [backup-simplify]: Simplify (- 1) into -1
1.749 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.749 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.750 * [backup-simplify]: Simplify (- 0) into 0
1.750 * [backup-simplify]: Simplify (+ 0 0) into 0
1.751 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
1.751 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1)) in x
1.751 * [taylor]: Taking taylor expansion of (- (pow x 2) 1) in x
1.751 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.751 * [taylor]: Taking taylor expansion of x in x
1.751 * [backup-simplify]: Simplify 0 into 0
1.751 * [backup-simplify]: Simplify 1 into 1
1.751 * [taylor]: Taking taylor expansion of 1 in x
1.751 * [backup-simplify]: Simplify 1 into 1
1.751 * [backup-simplify]: Simplify (- 1) into -1
1.752 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.752 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.752 * [backup-simplify]: Simplify (- 0) into 0
1.753 * [backup-simplify]: Simplify (+ 0 0) into 0
1.753 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
1.754 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.754 * [backup-simplify]: Simplify 0 into 0
1.754 * [backup-simplify]: Simplify (* 1 1) into 1
1.755 * [backup-simplify]: Simplify (- 0) into 0
1.755 * [backup-simplify]: Simplify (+ 1 0) into 1
1.757 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1.758 * [backup-simplify]: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1))
1.759 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.759 * [backup-simplify]: Simplify (- 0) into 0
1.759 * [backup-simplify]: Simplify (+ 0 0) into 0
1.761 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1.761 * [backup-simplify]: Simplify 0 into 0
1.762 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.762 * [backup-simplify]: Simplify (- 0) into 0
1.763 * [backup-simplify]: Simplify (+ 0 0) into 0
1.767 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ 1/8 (sqrt -1))
1.767 * [backup-simplify]: Simplify (/ 1/8 (sqrt -1)) into (/ 1/8 (sqrt -1))
1.770 * [backup-simplify]: Simplify (+ (* (/ 1/8 (sqrt -1)) (pow x 4)) (+ (* (/ 1/2 (sqrt -1)) (pow x 2)) (sqrt -1))) into (+ (* 1/8 (/ (pow x 4) (sqrt -1))) (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1)))
1.770 * [backup-simplify]: Simplify (sqrt (- (* (/ 1 x) (/ 1 x)) 1)) into (sqrt (- (/ 1 (pow x 2)) 1))
1.770 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in (x) around 0
1.770 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x
1.770 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1.770 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.770 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.770 * [taylor]: Taking taylor expansion of x in x
1.770 * [backup-simplify]: Simplify 0 into 0
1.770 * [backup-simplify]: Simplify 1 into 1
1.770 * [backup-simplify]: Simplify (* 1 1) into 1
1.771 * [backup-simplify]: Simplify (/ 1 1) into 1
1.771 * [taylor]: Taking taylor expansion of 1 in x
1.771 * [backup-simplify]: Simplify 1 into 1
1.771 * [backup-simplify]: Simplify (+ 1 0) into 1
1.772 * [backup-simplify]: Simplify (sqrt 1) into 1
1.772 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.773 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.773 * [backup-simplify]: Simplify (+ 0 0) into 0
1.774 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
1.774 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x
1.774 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1.774 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.774 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.774 * [taylor]: Taking taylor expansion of x in x
1.774 * [backup-simplify]: Simplify 0 into 0
1.774 * [backup-simplify]: Simplify 1 into 1
1.774 * [backup-simplify]: Simplify (* 1 1) into 1
1.775 * [backup-simplify]: Simplify (/ 1 1) into 1
1.775 * [taylor]: Taking taylor expansion of 1 in x
1.775 * [backup-simplify]: Simplify 1 into 1
1.775 * [backup-simplify]: Simplify (+ 1 0) into 1
1.775 * [backup-simplify]: Simplify (sqrt 1) into 1
1.776 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.776 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.777 * [backup-simplify]: Simplify (+ 0 0) into 0
1.777 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
1.777 * [backup-simplify]: Simplify 1 into 1
1.778 * [backup-simplify]: Simplify 0 into 0
1.778 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.779 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.779 * [backup-simplify]: Simplify (- 1) into -1
1.780 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.781 * [backup-simplify]: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
1.781 * [backup-simplify]: Simplify -1/2 into -1/2
1.782 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.783 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.783 * [backup-simplify]: Simplify (- 0) into 0
1.783 * [backup-simplify]: Simplify (+ 0 0) into 0
1.784 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
1.784 * [backup-simplify]: Simplify 0 into 0
1.785 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.786 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.787 * [backup-simplify]: Simplify (- 0) into 0
1.787 * [backup-simplify]: Simplify (+ 0 0) into 0
1.788 * [backup-simplify]: Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
1.788 * [backup-simplify]: Simplify -1/8 into -1/8
1.788 * [backup-simplify]: Simplify (+ (* -1/8 (pow (/ 1 x) 3)) (+ (* -1/2 (/ 1 x)) (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1.788 * [backup-simplify]: Simplify (sqrt (- (* (/ 1 (- x)) (/ 1 (- x))) 1)) into (sqrt (- (/ 1 (pow x 2)) 1))
1.789 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in (x) around 0
1.789 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x
1.789 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1.789 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.789 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.789 * [taylor]: Taking taylor expansion of x in x
1.789 * [backup-simplify]: Simplify 0 into 0
1.789 * [backup-simplify]: Simplify 1 into 1
1.789 * [backup-simplify]: Simplify (* 1 1) into 1
1.789 * [backup-simplify]: Simplify (/ 1 1) into 1
1.789 * [taylor]: Taking taylor expansion of 1 in x
1.789 * [backup-simplify]: Simplify 1 into 1
1.790 * [backup-simplify]: Simplify (+ 1 0) into 1
1.790 * [backup-simplify]: Simplify (sqrt 1) into 1
1.791 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.791 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.792 * [backup-simplify]: Simplify (+ 0 0) into 0
1.792 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
1.792 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x
1.792 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1.792 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.792 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.792 * [taylor]: Taking taylor expansion of x in x
1.792 * [backup-simplify]: Simplify 0 into 0
1.792 * [backup-simplify]: Simplify 1 into 1
1.793 * [backup-simplify]: Simplify (* 1 1) into 1
1.793 * [backup-simplify]: Simplify (/ 1 1) into 1
1.793 * [taylor]: Taking taylor expansion of 1 in x
1.793 * [backup-simplify]: Simplify 1 into 1
1.793 * [backup-simplify]: Simplify (+ 1 0) into 1
1.794 * [backup-simplify]: Simplify (sqrt 1) into 1
1.794 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.795 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.795 * [backup-simplify]: Simplify (+ 0 0) into 0
1.796 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
1.796 * [backup-simplify]: Simplify 1 into 1
1.796 * [backup-simplify]: Simplify 0 into 0
1.797 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.797 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.797 * [backup-simplify]: Simplify (- 1) into -1
1.798 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.798 * [backup-simplify]: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
1.798 * [backup-simplify]: Simplify -1/2 into -1/2
1.799 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.799 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.800 * [backup-simplify]: Simplify (- 0) into 0
1.800 * [backup-simplify]: Simplify (+ 0 0) into 0
1.801 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
1.801 * [backup-simplify]: Simplify 0 into 0
1.801 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.802 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.802 * [backup-simplify]: Simplify (- 0) into 0
1.803 * [backup-simplify]: Simplify (+ 0 0) into 0
1.804 * [backup-simplify]: Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
1.804 * [backup-simplify]: Simplify -1/8 into -1/8
1.804 * [backup-simplify]: Simplify (+ (* -1/8 (pow (/ 1 (- x)) 3)) (+ (* -1/2 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- x)))))) into (- (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))) x)
1.804 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
1.805 * [backup-simplify]: Simplify (+ x (sqrt (- (* x x) 1))) into (+ x (sqrt (- (pow x 2) 1)))
1.805 * [approximate]: Taking taylor expansion of (+ x (sqrt (- (pow x 2) 1))) in (x) around 0
1.805 * [taylor]: Taking taylor expansion of (+ x (sqrt (- (pow x 2) 1))) in x
1.805 * [taylor]: Taking taylor expansion of x in x
1.805 * [backup-simplify]: Simplify 0 into 0
1.805 * [backup-simplify]: Simplify 1 into 1
1.805 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1)) in x
1.805 * [taylor]: Taking taylor expansion of (- (pow x 2) 1) in x
1.805 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.805 * [taylor]: Taking taylor expansion of x in x
1.805 * [backup-simplify]: Simplify 0 into 0
1.805 * [backup-simplify]: Simplify 1 into 1
1.805 * [taylor]: Taking taylor expansion of 1 in x
1.805 * [backup-simplify]: Simplify 1 into 1
1.805 * [backup-simplify]: Simplify (- 1) into -1
1.806 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.806 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.806 * [backup-simplify]: Simplify (- 0) into 0
1.807 * [backup-simplify]: Simplify (+ 0 0) into 0
1.807 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
1.807 * [taylor]: Taking taylor expansion of (+ x (sqrt (- (pow x 2) 1))) in x
1.807 * [taylor]: Taking taylor expansion of x in x
1.807 * [backup-simplify]: Simplify 0 into 0
1.807 * [backup-simplify]: Simplify 1 into 1
1.807 * [taylor]: Taking taylor expansion of (sqrt (- (pow x 2) 1)) in x
1.807 * [taylor]: Taking taylor expansion of (- (pow x 2) 1) in x
1.807 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.807 * [taylor]: Taking taylor expansion of x in x
1.807 * [backup-simplify]: Simplify 0 into 0
1.807 * [backup-simplify]: Simplify 1 into 1
1.807 * [taylor]: Taking taylor expansion of 1 in x
1.808 * [backup-simplify]: Simplify 1 into 1
1.808 * [backup-simplify]: Simplify (- 1) into -1
1.808 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.809 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.809 * [backup-simplify]: Simplify (- 0) into 0
1.809 * [backup-simplify]: Simplify (+ 0 0) into 0
1.810 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
1.811 * [backup-simplify]: Simplify (+ 0 (sqrt -1)) into (sqrt -1)
1.811 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.811 * [backup-simplify]: Simplify (+ 1 0) into 1
1.811 * [backup-simplify]: Simplify 1 into 1
1.812 * [backup-simplify]: Simplify (* 1 1) into 1
1.812 * [backup-simplify]: Simplify (- 0) into 0
1.812 * [backup-simplify]: Simplify (+ 1 0) into 1
1.815 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1.816 * [backup-simplify]: Simplify (+ 0 (/ 1/2 (sqrt -1))) into (* 1/2 (/ 1 (sqrt -1)))
1.817 * [backup-simplify]: Simplify (* 1/2 (/ 1 (sqrt -1))) into (/ 1/2 (sqrt -1))
1.818 * [backup-simplify]: Simplify (+ (* (/ 1/2 (sqrt -1)) (pow x 2)) (+ (* 1 x) (sqrt -1))) into (+ x (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1)))
1.818 * [backup-simplify]: Simplify (+ (/ 1 x) (sqrt (- (* (/ 1 x) (/ 1 x)) 1))) into (+ (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x))
1.818 * [approximate]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) in (x) around 0
1.818 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) in x
1.818 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x
1.818 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1.819 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.819 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.819 * [taylor]: Taking taylor expansion of x in x
1.819 * [backup-simplify]: Simplify 0 into 0
1.819 * [backup-simplify]: Simplify 1 into 1
1.819 * [backup-simplify]: Simplify (* 1 1) into 1
1.819 * [backup-simplify]: Simplify (/ 1 1) into 1
1.819 * [taylor]: Taking taylor expansion of 1 in x
1.819 * [backup-simplify]: Simplify 1 into 1
1.819 * [backup-simplify]: Simplify (+ 1 0) into 1
1.820 * [backup-simplify]: Simplify (sqrt 1) into 1
1.820 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.820 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.821 * [backup-simplify]: Simplify (+ 0 0) into 0
1.821 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
1.821 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.821 * [taylor]: Taking taylor expansion of x in x
1.821 * [backup-simplify]: Simplify 0 into 0
1.821 * [backup-simplify]: Simplify 1 into 1
1.821 * [backup-simplify]: Simplify (/ 1 1) into 1
1.821 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) in x
1.821 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x
1.821 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1.821 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.821 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.821 * [taylor]: Taking taylor expansion of x in x
1.821 * [backup-simplify]: Simplify 0 into 0
1.822 * [backup-simplify]: Simplify 1 into 1
1.822 * [backup-simplify]: Simplify (* 1 1) into 1
1.822 * [backup-simplify]: Simplify (/ 1 1) into 1
1.822 * [taylor]: Taking taylor expansion of 1 in x
1.822 * [backup-simplify]: Simplify 1 into 1
1.822 * [backup-simplify]: Simplify (+ 1 0) into 1
1.822 * [backup-simplify]: Simplify (sqrt 1) into 1
1.823 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.825 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.825 * [backup-simplify]: Simplify (+ 0 0) into 0
1.826 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
1.826 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.826 * [taylor]: Taking taylor expansion of x in x
1.826 * [backup-simplify]: Simplify 0 into 0
1.826 * [backup-simplify]: Simplify 1 into 1
1.826 * [backup-simplify]: Simplify (/ 1 1) into 1
1.826 * [backup-simplify]: Simplify (+ 1 1) into 2
1.826 * [backup-simplify]: Simplify 2 into 2
1.827 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.827 * [backup-simplify]: Simplify (+ 0 0) into 0
1.827 * [backup-simplify]: Simplify 0 into 0
1.828 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.828 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.828 * [backup-simplify]: Simplify (- 1) into -1
1.829 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.829 * [backup-simplify]: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
1.830 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.830 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2
1.830 * [backup-simplify]: Simplify -1/2 into -1/2
1.831 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.831 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.832 * [backup-simplify]: Simplify (- 0) into 0
1.832 * [backup-simplify]: Simplify (+ 0 0) into 0
1.833 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
1.834 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.834 * [backup-simplify]: Simplify (+ 0 0) into 0
1.834 * [backup-simplify]: Simplify 0 into 0
1.835 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.836 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.836 * [backup-simplify]: Simplify (- 0) into 0
1.837 * [backup-simplify]: Simplify (+ 0 0) into 0
1.838 * [backup-simplify]: Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
1.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.839 * [backup-simplify]: Simplify (+ -1/8 0) into -1/8
1.839 * [backup-simplify]: Simplify -1/8 into -1/8
1.839 * [backup-simplify]: Simplify (+ (* -1/8 (pow (/ 1 x) 3)) (+ (* -1/2 (/ 1 x)) (* 2 (/ 1 (/ 1 x))))) into (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1.839 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (sqrt (- (* (/ 1 (- x)) (/ 1 (- x))) 1))) into (- (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x))
1.840 * [approximate]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) in (x) around 0
1.840 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) in x
1.840 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x
1.840 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1.840 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.840 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.840 * [taylor]: Taking taylor expansion of x in x
1.840 * [backup-simplify]: Simplify 0 into 0
1.840 * [backup-simplify]: Simplify 1 into 1
1.840 * [backup-simplify]: Simplify (* 1 1) into 1
1.840 * [backup-simplify]: Simplify (/ 1 1) into 1
1.840 * [taylor]: Taking taylor expansion of 1 in x
1.840 * [backup-simplify]: Simplify 1 into 1
1.841 * [backup-simplify]: Simplify (+ 1 0) into 1
1.841 * [backup-simplify]: Simplify (sqrt 1) into 1
1.842 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.842 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.843 * [backup-simplify]: Simplify (+ 0 0) into 0
1.843 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
1.843 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.843 * [taylor]: Taking taylor expansion of x in x
1.843 * [backup-simplify]: Simplify 0 into 0
1.843 * [backup-simplify]: Simplify 1 into 1
1.844 * [backup-simplify]: Simplify (/ 1 1) into 1
1.844 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) in x
1.844 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x
1.844 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x
1.844 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.844 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.844 * [taylor]: Taking taylor expansion of x in x
1.844 * [backup-simplify]: Simplify 0 into 0
1.844 * [backup-simplify]: Simplify 1 into 1
1.844 * [backup-simplify]: Simplify (* 1 1) into 1
1.844 * [backup-simplify]: Simplify (/ 1 1) into 1
1.844 * [taylor]: Taking taylor expansion of 1 in x
1.844 * [backup-simplify]: Simplify 1 into 1
1.845 * [backup-simplify]: Simplify (+ 1 0) into 1
1.845 * [backup-simplify]: Simplify (sqrt 1) into 1
1.846 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.846 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.847 * [backup-simplify]: Simplify (+ 0 0) into 0
1.847 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
1.847 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.847 * [taylor]: Taking taylor expansion of x in x
1.847 * [backup-simplify]: Simplify 0 into 0
1.847 * [backup-simplify]: Simplify 1 into 1
1.848 * [backup-simplify]: Simplify (/ 1 1) into 1
1.848 * [backup-simplify]: Simplify (- 1) into -1
1.848 * [backup-simplify]: Simplify (+ 1 -1) into 0
1.848 * [backup-simplify]: Simplify 0 into 0
1.849 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.849 * [backup-simplify]: Simplify (- 0) into 0
1.850 * [backup-simplify]: Simplify (+ 0 0) into 0
1.850 * [backup-simplify]: Simplify 0 into 0
1.850 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.851 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.851 * [backup-simplify]: Simplify (- 1) into -1
1.852 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.852 * [backup-simplify]: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
1.853 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.853 * [backup-simplify]: Simplify (- 0) into 0
1.853 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2
1.853 * [backup-simplify]: Simplify -1/2 into -1/2
1.854 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.855 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.855 * [backup-simplify]: Simplify (- 0) into 0
1.855 * [backup-simplify]: Simplify (+ 0 0) into 0
1.856 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
1.856 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.857 * [backup-simplify]: Simplify (- 0) into 0
1.857 * [backup-simplify]: Simplify (+ 0 0) into 0
1.857 * [backup-simplify]: Simplify 0 into 0
1.857 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.858 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.858 * [backup-simplify]: Simplify (- 0) into 0
1.859 * [backup-simplify]: Simplify (+ 0 0) into 0
1.859 * [backup-simplify]: Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
1.860 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.860 * [backup-simplify]: Simplify (- 0) into 0
1.860 * [backup-simplify]: Simplify (+ -1/8 0) into -1/8
1.860 * [backup-simplify]: Simplify -1/8 into -1/8
1.861 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.862 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.862 * [backup-simplify]: Simplify (- 0) into 0
1.862 * [backup-simplify]: Simplify (+ 0 0) into 0
1.863 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 -1/8)) (* 2 (* -1/2 0)))) (* 2 1)) into 0
1.864 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.864 * [backup-simplify]: Simplify (- 0) into 0
1.864 * [backup-simplify]: Simplify (+ 0 0) into 0
1.864 * [backup-simplify]: Simplify 0 into 0
1.865 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.866 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.866 * [backup-simplify]: Simplify (- 0) into 0
1.866 * [backup-simplify]: Simplify (+ 0 0) into 0
1.867 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* -1/2 -1/8)))) (* 2 1)) into -1/16
1.868 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.868 * [backup-simplify]: Simplify (- 0) into 0
1.868 * [backup-simplify]: Simplify (+ -1/16 0) into -1/16
1.868 * [backup-simplify]: Simplify -1/16 into -1/16
1.869 * [backup-simplify]: Simplify (+ (* -1/16 (pow (/ 1 (- x)) 5)) (+ (* -1/8 (pow (/ 1 (- x)) 3)) (* -1/2 (/ 1 (- x))))) into (+ (* 1/16 (/ 1 (pow x 5))) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1.869 * * * [progress]: simplifying candidates
1.869 * * * * [progress]: [ 1 / 38 ] simplifiying candidate #<alt (λ (x) (log (+ x (pow (- (* x x) 1) 1/2))))>
1.869 * * * * [progress]: [ 2 / 38 ] simplifiying candidate #<alt (λ (x) (log (+ x (pow (sqrt (- (* x x) 1)) 1))))>
1.869 * * * * [progress]: [ 3 / 38 ] simplifiying candidate #<alt (λ (x) (log (+ x (exp (log (sqrt (- (* x x) 1)))))))>
1.869 * * * * [progress]: [ 4 / 38 ] simplifiying candidate #<alt (λ (x) (log (+ x (log (exp (sqrt (- (* x x) 1)))))))>
1.869 * * * * [progress]: [ 5 / 38 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (* (cbrt (sqrt (- (* x x) 1))) (cbrt (sqrt (- (* x x) 1)))) (cbrt (sqrt (- (* x x) 1)))))))>
1.869 * * * * [progress]: [ 6 / 38 ] simplifiying candidate #<alt (λ (x) (log (+ x (cbrt (* (* (sqrt (- (* x x) 1)) (sqrt (- (* x x) 1))) (sqrt (- (* x x) 1)))))))>
1.869 * * * * [progress]: [ 7 / 38 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (* (cbrt (- (* x x) 1)) (cbrt (- (* x x) 1)))) (sqrt (cbrt (- (* x x) 1)))))))>
1.869 * * * * [progress]: [ 8 / 38 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (sqrt (- (* x x) 1))) (sqrt (sqrt (- (* x x) 1)))))))>
1.869 * * * * [progress]: [ 9 / 38 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt 1) (sqrt (- (* x x) 1))))))>
1.869 * * * * [progress]: [ 10 / 38 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (+ x (sqrt 1))) (sqrt (- x (sqrt 1)))))))>
1.869 * * * * [progress]: [ 11 / 38 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (+ x 1)) (sqrt (- x 1))))))>
1.869 * * * * [progress]: [ 12 / 38 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (+ x 1)) (sqrt (- x 1))))))>
1.869 * * * * [progress]: [ 13 / 38 ] simplifiying candidate #<alt (λ (x) (log (+ x (/ (sqrt (- (pow (* x x) 3) (pow 1 3))) (sqrt (+ (* (* x x) (* x x)) (+ (* 1 1) (* (* x x) 1))))))))>
1.869 * * * * [progress]: [ 14 / 38 ] simplifiying candidate #<alt (λ (x) (log (+ x (/ (sqrt (- (* (* x x) (* x x)) (* 1 1))) (sqrt (+ (* x x) 1))))))>
1.869 * * * * [progress]: [ 15 / 38 ] simplifiying candidate #<alt (λ (x) (log (+ x (pow (- (* x x) 1) (/ 1 2)))))>
1.869 * * * * [progress]: [ 16 / 38 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (sqrt (- (* x x) 1))) (sqrt (sqrt (- (* x x) 1)))))))>
1.869 * * * * [progress]: [ 17 / 38 ] simplifiying candidate #<alt (λ (x) (log (+ x (fabs (sqrt (- (* x x) 1))))))>
1.869 * * * * [progress]: [ 18 / 38 ] simplifiying candidate #<alt (λ (x) (log (+ x (* 1 (sqrt (- (* x x) 1))))))>
1.869 * * * * [progress]: [ 19 / 38 ] simplifiying candidate #<alt (λ (x) (log (+ x (posit16->real (real->posit16 (sqrt (- (* x x) 1)))))))>
1.869 * * * * [progress]: [ 20 / 38 ] simplifiying candidate #<alt (λ (x) (log (log (* (exp x) (exp (sqrt (- (* x x) 1)))))))>
1.869 * * * * [progress]: [ 21 / 38 ] simplifiying candidate #<alt (λ (x) (log (pow (+ x (sqrt (- (* x x) 1))) 1)))>
1.869 * * * * [progress]: [ 22 / 38 ] simplifiying candidate #<alt (λ (x) (log (exp (log (+ x (sqrt (- (* x x) 1)))))))>
1.869 * * * * [progress]: [ 23 / 38 ] simplifiying candidate #<alt (λ (x) (log (log (exp (+ x (sqrt (- (* x x) 1)))))))>
1.870 * * * * [progress]: [ 24 / 38 ] simplifiying candidate #<alt (λ (x) (log (* (* (cbrt (+ x (sqrt (- (* x x) 1)))) (cbrt (+ x (sqrt (- (* x x) 1))))) (cbrt (+ x (sqrt (- (* x x) 1)))))))>
1.870 * * * * [progress]: [ 25 / 38 ] simplifiying candidate #<alt (λ (x) (log (cbrt (* (* (+ x (sqrt (- (* x x) 1))) (+ x (sqrt (- (* x x) 1)))) (+ x (sqrt (- (* x x) 1)))))))>
1.870 * * * * [progress]: [ 26 / 38 ] simplifiying candidate #<alt (λ (x) (log (* (sqrt (+ x (sqrt (- (* x x) 1)))) (sqrt (+ x (sqrt (- (* x x) 1)))))))>
1.870 * * * * [progress]: [ 27 / 38 ] simplifiying candidate #<alt (λ (x) (log (/ (+ (pow x 3) (pow (sqrt (- (* x x) 1)) 3)) (+ (* x x) (- (* (sqrt (- (* x x) 1)) (sqrt (- (* x x) 1))) (* x (sqrt (- (* x x) 1))))))))>
1.870 * * * * [progress]: [ 28 / 38 ] simplifiying candidate #<alt (λ (x) (log (* 1 (+ x (sqrt (- (* x x) 1))))))>
1.870 * * * * [progress]: [ 29 / 38 ] simplifiying candidate #<alt (λ (x) (log (/ (- (* x x) (* (sqrt (- (* x x) 1)) (sqrt (- (* x x) 1)))) (- x (sqrt (- (* x x) 1))))))>
1.870 * * * * [progress]: [ 30 / 38 ] simplifiying candidate #<alt (λ (x) (log (* 1 (+ x (sqrt (- (* x x) 1))))))>
1.870 * * * * [progress]: [ 31 / 38 ] simplifiying candidate #<alt (λ (x) (log (posit16->real (real->posit16 (+ x (sqrt (- (* x x) 1)))))))>
1.870 * * * * [progress]: [ 32 / 38 ] simplifiying candidate #<alt (λ (x) (log (+ (sqrt (- (* x x) 1)) x)))>
1.870 * * * * [progress]: [ 33 / 38 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (* 1/8 (/ (pow x 4) (sqrt -1))) (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1))))))>
1.870 * * * * [progress]: [ 34 / 38 ] simplifiying candidate #<alt (λ (x) (log (+ x (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))))))>
1.870 * * * * [progress]: [ 35 / 38 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))) x))))>
1.870 * * * * [progress]: [ 36 / 38 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1)))))>
1.870 * * * * [progress]: [ 37 / 38 ] simplifiying candidate #<alt (λ (x) (log (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))))>
1.870 * * * * [progress]: [ 38 / 38 ] simplifiying candidate #<alt (λ (x) (log (+ (* 1/16 (/ 1 (pow x 5))) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))))>
1.870 * [simplify]: Simplifying:
  (log (sqrt (- (* x x) 1)))
  (exp (sqrt (- (* x x) 1)))
  (* (cbrt (sqrt (- (* x x) 1))) (cbrt (sqrt (- (* x x) 1))))
  (cbrt (sqrt (- (* x x) 1)))
  (* (* (sqrt (- (* x x) 1)) (sqrt (- (* x x) 1))) (sqrt (- (* x x) 1)))
  (sqrt (* (cbrt (- (* x x) 1)) (cbrt (- (* x x) 1))))
  (sqrt (cbrt (- (* x x) 1)))
  (sqrt (sqrt (- (* x x) 1)))
  (sqrt (sqrt (- (* x x) 1)))
  (sqrt 1)
  (sqrt (- (* x x) 1))
  (sqrt (+ x (sqrt 1)))
  (sqrt (- x (sqrt 1)))
  (sqrt (+ x 1))
  (sqrt (- x 1))
  (sqrt (+ x 1))
  (sqrt (- x 1))
  (sqrt (- (pow (* x x) 3) (pow 1 3)))
  (sqrt (+ (* (* x x) (* x x)) (+ (* 1 1) (* (* x x) 1))))
  (sqrt (- (* (* x x) (* x x)) (* 1 1)))
  (sqrt (+ (* x x) 1))
  (/ 1 2)
  (sqrt (sqrt (- (* x x) 1)))
  (sqrt (sqrt (- (* x x) 1)))
  (real->posit16 (sqrt (- (* x x) 1)))
  (* (exp x) (exp (sqrt (- (* x x) 1))))
  (log (+ x (sqrt (- (* x x) 1))))
  (exp (+ x (sqrt (- (* x x) 1))))
  (* (cbrt (+ x (sqrt (- (* x x) 1)))) (cbrt (+ x (sqrt (- (* x x) 1)))))
  (cbrt (+ x (sqrt (- (* x x) 1))))
  (* (* (+ x (sqrt (- (* x x) 1))) (+ x (sqrt (- (* x x) 1)))) (+ x (sqrt (- (* x x) 1))))
  (sqrt (+ x (sqrt (- (* x x) 1))))
  (sqrt (+ x (sqrt (- (* x x) 1))))
  (+ (pow x 3) (pow (sqrt (- (* x x) 1)) 3))
  (+ (* x x) (- (* (sqrt (- (* x x) 1)) (sqrt (- (* x x) 1))) (* x (sqrt (- (* x x) 1)))))
  (- (* x x) (* (sqrt (- (* x x) 1)) (sqrt (- (* x x) 1))))
  (- x (sqrt (- (* x x) 1)))
  (+ x (sqrt (- (* x x) 1)))
  (real->posit16 (+ x (sqrt (- (* x x) 1))))
  (+ (* 1/8 (/ (pow x 4) (sqrt -1))) (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1)))
  (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
  (- (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))) x)
  (+ x (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1)))
  (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
  (+ (* 1/16 (/ 1 (pow x 5))) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
1.871 * * [simplify]: iteration 0: 91 enodes
1.892 * * [simplify]: iteration 1: 208 enodes
1.950 * * [simplify]: iteration 2: 508 enodes
2.107 * * [simplify]: iteration 3: 1427 enodes
2.421 * * [simplify]: iteration 4: 2000 enodes
2.755 * * [simplify]: iteration complete: 2000 enodes
2.755 * * [simplify]: Extracting #0: cost 35 inf + 0
2.756 * * [simplify]: Extracting #1: cost 133 inf + 2
2.757 * * [simplify]: Extracting #2: cost 351 inf + 119
2.761 * * [simplify]: Extracting #3: cost 442 inf + 7075
2.769 * * [simplify]: Extracting #4: cost 279 inf + 40669
2.789 * * [simplify]: Extracting #5: cost 117 inf + 86441
2.810 * * [simplify]: Extracting #6: cost 52 inf + 105703
2.830 * * [simplify]: Extracting #7: cost 21 inf + 115968
2.849 * * [simplify]: Extracting #8: cost 7 inf + 117520
2.875 * * [simplify]: Extracting #9: cost 0 inf + 119571
2.897 * [simplify]: Simplified to:
  (log (sqrt (+ -1 (* x x))))
  (exp (sqrt (+ -1 (* x x))))
  (* (cbrt (sqrt (+ -1 (* x x)))) (cbrt (sqrt (+ -1 (* x x)))))
  (cbrt (sqrt (+ -1 (* x x))))
  (* (sqrt (+ -1 (* x x))) (+ -1 (* x x)))
  (fabs (cbrt (+ -1 (* x x))))
  (sqrt (cbrt (+ -1 (* x x))))
  (sqrt (sqrt (+ -1 (* x x))))
  (sqrt (sqrt (+ -1 (* x x))))
  1
  (sqrt (+ -1 (* x x)))
  (sqrt (+ 1 x))
  (sqrt (+ x -1))
  (sqrt (+ 1 x))
  (sqrt (+ x -1))
  (sqrt (+ 1 x))
  (sqrt (+ x -1))
  (sqrt (- (* (* x x) (* (* x x) (* x x))) 1))
  (sqrt (+ (+ (* (* x x) (* x x)) 1) (* x x)))
  (sqrt (+ (* (* x x) (* x x)) -1))
  (sqrt (- (* x x) -1))
  1/2
  (sqrt (sqrt (+ -1 (* x x))))
  (sqrt (sqrt (+ -1 (* x x))))
  (real->posit16 (sqrt (+ -1 (* x x))))
  (exp (+ (sqrt (+ -1 (* x x))) x))
  (log (+ x (sqrt (+ -1 (* x x)))))
  (exp (+ (sqrt (+ -1 (* x x))) x))
  (* (cbrt (+ x (sqrt (+ -1 (* x x))))) (cbrt (+ x (sqrt (+ -1 (* x x))))))
  (cbrt (+ x (sqrt (+ -1 (* x x)))))
  (* (* (+ x (sqrt (+ -1 (* x x)))) (+ x (sqrt (+ -1 (* x x))))) (+ x (sqrt (+ -1 (* x x)))))
  (sqrt (+ x (sqrt (+ -1 (* x x)))))
  (sqrt (+ x (sqrt (+ -1 (* x x)))))
  (+ (* x (* x x)) (* (sqrt (+ -1 (* x x))) (+ -1 (* x x))))
  (- (+ -1 (* x x)) (- (* (sqrt (+ -1 (* x x))) x) (* x x)))
  1
  (- x (sqrt (+ -1 (* x x))))
  (+ x (sqrt (+ -1 (* x x))))
  (real->posit16 (+ x (sqrt (+ -1 (* x x)))))
  (+ (sqrt -1) (+ (* 1/2 (/ (* x x) (sqrt -1))) (/ (* (* (* x x) (* x x)) 1/8) (sqrt -1))))
  (- x (+ (/ (/ 1/8 x) (* x x)) (/ 1/2 x)))
  (- (+ (/ (/ 1/8 x) (* x x)) (/ 1/2 x)) x)
  (+ (* 1/2 (/ (* x x) (sqrt -1))) (+ x (sqrt -1)))
  (+ (+ (* x 2) (/ -1/2 x)) (/ -1/8 (* x (* x x))))
  (+ (/ 1/16 (pow x 5)) (+ (/ (/ 1/8 x) (* x x)) (/ 1/2 x)))
2.900 * * * [progress]: adding candidates to table
3.038 * * [progress]: iteration 2 / 4
3.038 * * * [progress]: picking best candidate
3.040 * * * * [pick]: Picked  #<alt (λ (x) (log (+ x (* (sqrt (+ x 1)) (sqrt (- x 1))))))>
3.040 * * * [progress]: localizing error
3.059 * * * [progress]: generating rewritten candidates
3.059 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2)
3.091 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
3.098 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2 2)
3.104 * * * [progress]: generating series expansions
3.104 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2)
3.104 * [backup-simplify]: Simplify (* (sqrt (+ x 1)) (sqrt (- x 1))) into (sqrt (* (+ x 1) (- x 1)))
3.104 * [approximate]: Taking taylor expansion of (sqrt (* (+ x 1) (- x 1))) in (x) around 0
3.104 * [taylor]: Taking taylor expansion of (sqrt (* (+ x 1) (- x 1))) in x
3.104 * [taylor]: Taking taylor expansion of (* (+ x 1) (- x 1)) in x
3.104 * [taylor]: Taking taylor expansion of (+ x 1) in x
3.104 * [taylor]: Taking taylor expansion of x in x
3.104 * [backup-simplify]: Simplify 0 into 0
3.104 * [backup-simplify]: Simplify 1 into 1
3.104 * [taylor]: Taking taylor expansion of 1 in x
3.104 * [backup-simplify]: Simplify 1 into 1
3.104 * [taylor]: Taking taylor expansion of (- x 1) in x
3.104 * [taylor]: Taking taylor expansion of x in x
3.104 * [backup-simplify]: Simplify 0 into 0
3.104 * [backup-simplify]: Simplify 1 into 1
3.104 * [taylor]: Taking taylor expansion of 1 in x
3.104 * [backup-simplify]: Simplify 1 into 1
3.105 * [backup-simplify]: Simplify (+ 0 1) into 1
3.105 * [backup-simplify]: Simplify (- 1) into -1
3.105 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.105 * [backup-simplify]: Simplify (* 1 -1) into -1
3.106 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.106 * [backup-simplify]: Simplify (- 0) into 0
3.106 * [backup-simplify]: Simplify (+ 1 0) into 1
3.106 * [backup-simplify]: Simplify (+ 1 0) into 1
3.107 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 -1)) into 0
3.107 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.107 * [taylor]: Taking taylor expansion of (sqrt (* (+ x 1) (- x 1))) in x
3.107 * [taylor]: Taking taylor expansion of (* (+ x 1) (- x 1)) in x
3.107 * [taylor]: Taking taylor expansion of (+ x 1) in x
3.107 * [taylor]: Taking taylor expansion of x in x
3.107 * [backup-simplify]: Simplify 0 into 0
3.107 * [backup-simplify]: Simplify 1 into 1
3.107 * [taylor]: Taking taylor expansion of 1 in x
3.107 * [backup-simplify]: Simplify 1 into 1
3.107 * [taylor]: Taking taylor expansion of (- x 1) in x
3.107 * [taylor]: Taking taylor expansion of x in x
3.107 * [backup-simplify]: Simplify 0 into 0
3.107 * [backup-simplify]: Simplify 1 into 1
3.107 * [taylor]: Taking taylor expansion of 1 in x
3.108 * [backup-simplify]: Simplify 1 into 1
3.108 * [backup-simplify]: Simplify (+ 0 1) into 1
3.108 * [backup-simplify]: Simplify (- 1) into -1
3.108 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.109 * [backup-simplify]: Simplify (* 1 -1) into -1
3.109 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.109 * [backup-simplify]: Simplify (- 0) into 0
3.110 * [backup-simplify]: Simplify (+ 1 0) into 1
3.110 * [backup-simplify]: Simplify (+ 1 0) into 1
3.110 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 -1)) into 0
3.111 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.111 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.111 * [backup-simplify]: Simplify 0 into 0
3.111 * [backup-simplify]: Simplify (- 0) into 0
3.111 * [backup-simplify]: Simplify (+ 0 0) into 0
3.112 * [backup-simplify]: Simplify (+ 0 0) into 0
3.112 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 1) (* 0 -1))) into 1
3.114 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
3.115 * [backup-simplify]: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1))
3.115 * [backup-simplify]: Simplify (- 0) into 0
3.116 * [backup-simplify]: Simplify (+ 0 0) into 0
3.116 * [backup-simplify]: Simplify (+ 0 0) into 0
3.117 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
3.118 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
3.118 * [backup-simplify]: Simplify 0 into 0
3.119 * [backup-simplify]: Simplify (- 0) into 0
3.119 * [backup-simplify]: Simplify (+ 0 0) into 0
3.119 * [backup-simplify]: Simplify (+ 0 0) into 0
3.120 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))) into 0
3.122 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ 1/8 (sqrt -1))
3.123 * [backup-simplify]: Simplify (/ 1/8 (sqrt -1)) into (/ 1/8 (sqrt -1))
3.125 * [backup-simplify]: Simplify (+ (* (/ 1/8 (sqrt -1)) (pow x 4)) (+ (* (/ 1/2 (sqrt -1)) (pow x 2)) (sqrt -1))) into (+ (* 1/8 (/ (pow x 4) (sqrt -1))) (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1)))
3.125 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))) into (sqrt (* (+ (/ 1 x) 1) (- (/ 1 x) 1)))
3.125 * [approximate]: Taking taylor expansion of (sqrt (* (+ (/ 1 x) 1) (- (/ 1 x) 1))) in (x) around 0
3.125 * [taylor]: Taking taylor expansion of (sqrt (* (+ (/ 1 x) 1) (- (/ 1 x) 1))) in x
3.125 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1) (- (/ 1 x) 1)) in x
3.125 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
3.125 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.125 * [taylor]: Taking taylor expansion of x in x
3.125 * [backup-simplify]: Simplify 0 into 0
3.125 * [backup-simplify]: Simplify 1 into 1
3.125 * [backup-simplify]: Simplify (/ 1 1) into 1
3.125 * [taylor]: Taking taylor expansion of 1 in x
3.125 * [backup-simplify]: Simplify 1 into 1
3.125 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
3.125 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.125 * [taylor]: Taking taylor expansion of x in x
3.125 * [backup-simplify]: Simplify 0 into 0
3.125 * [backup-simplify]: Simplify 1 into 1
3.126 * [backup-simplify]: Simplify (/ 1 1) into 1
3.126 * [taylor]: Taking taylor expansion of 1 in x
3.126 * [backup-simplify]: Simplify 1 into 1
3.126 * [backup-simplify]: Simplify (+ 1 0) into 1
3.126 * [backup-simplify]: Simplify (+ 1 0) into 1
3.126 * [backup-simplify]: Simplify (* 1 1) into 1
3.127 * [backup-simplify]: Simplify (sqrt 1) into 1
3.127 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.127 * [backup-simplify]: Simplify (- 1) into -1
3.128 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.128 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.128 * [backup-simplify]: Simplify (+ 0 1) into 1
3.129 * [backup-simplify]: Simplify (+ (* 1 -1) (* 1 1)) into 0
3.129 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
3.129 * [taylor]: Taking taylor expansion of (sqrt (* (+ (/ 1 x) 1) (- (/ 1 x) 1))) in x
3.129 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1) (- (/ 1 x) 1)) in x
3.129 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
3.129 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.129 * [taylor]: Taking taylor expansion of x in x
3.129 * [backup-simplify]: Simplify 0 into 0
3.129 * [backup-simplify]: Simplify 1 into 1
3.130 * [backup-simplify]: Simplify (/ 1 1) into 1
3.130 * [taylor]: Taking taylor expansion of 1 in x
3.130 * [backup-simplify]: Simplify 1 into 1
3.130 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
3.130 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.130 * [taylor]: Taking taylor expansion of x in x
3.130 * [backup-simplify]: Simplify 0 into 0
3.130 * [backup-simplify]: Simplify 1 into 1
3.130 * [backup-simplify]: Simplify (/ 1 1) into 1
3.130 * [taylor]: Taking taylor expansion of 1 in x
3.130 * [backup-simplify]: Simplify 1 into 1
3.131 * [backup-simplify]: Simplify (+ 1 0) into 1
3.131 * [backup-simplify]: Simplify (+ 1 0) into 1
3.131 * [backup-simplify]: Simplify (* 1 1) into 1
3.132 * [backup-simplify]: Simplify (sqrt 1) into 1
3.132 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.133 * [backup-simplify]: Simplify (- 1) into -1
3.133 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.134 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.134 * [backup-simplify]: Simplify (+ 0 1) into 1
3.135 * [backup-simplify]: Simplify (+ (* 1 -1) (* 1 1)) into 0
3.136 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
3.136 * [backup-simplify]: Simplify 1 into 1
3.136 * [backup-simplify]: Simplify 0 into 0
3.136 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.137 * [backup-simplify]: Simplify (- 0) into 0
3.137 * [backup-simplify]: Simplify (+ 0 0) into 0
3.138 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.138 * [backup-simplify]: Simplify (+ 0 0) into 0
3.139 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 -1) (* 0 1))) into -1
3.140 * [backup-simplify]: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
3.140 * [backup-simplify]: Simplify -1/2 into -1/2
3.140 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.141 * [backup-simplify]: Simplify (- 0) into 0
3.141 * [backup-simplify]: Simplify (+ 0 0) into 0
3.141 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.142 * [backup-simplify]: Simplify (+ 0 0) into 0
3.142 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 -1) (* 0 1)))) into 0
3.143 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
3.143 * [backup-simplify]: Simplify 0 into 0
3.144 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.144 * [backup-simplify]: Simplify (- 0) into 0
3.144 * [backup-simplify]: Simplify (+ 0 0) into 0
3.145 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.145 * [backup-simplify]: Simplify (+ 0 0) into 0
3.146 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 -1) (* 0 1))))) into 0
3.146 * [backup-simplify]: Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
3.147 * [backup-simplify]: Simplify -1/8 into -1/8
3.147 * [backup-simplify]: Simplify (+ (* -1/8 (pow (/ 1 x) 3)) (+ (* -1/2 (/ 1 x)) (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
3.147 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 (- x)) 1)) (sqrt (- (/ 1 (- x)) 1))) into (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (- 1 (/ 1 x))))
3.147 * [approximate]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (- 1 (/ 1 x)))) in (x) around 0
3.147 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (- 1 (/ 1 x)))) in x
3.147 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
3.147 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
3.147 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
3.147 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.147 * [taylor]: Taking taylor expansion of x in x
3.147 * [backup-simplify]: Simplify 0 into 0
3.147 * [backup-simplify]: Simplify 1 into 1
3.147 * [backup-simplify]: Simplify (/ 1 1) into 1
3.147 * [taylor]: Taking taylor expansion of 1 in x
3.147 * [backup-simplify]: Simplify 1 into 1
3.148 * [backup-simplify]: Simplify (+ 1 0) into 1
3.148 * [backup-simplify]: Simplify (- 1) into -1
3.148 * [backup-simplify]: Simplify (sqrt 0) into 0
3.148 * [backup-simplify]: Simplify (- 1) into -1
3.150 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
3.150 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x
3.150 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
3.150 * [taylor]: Taking taylor expansion of 1 in x
3.150 * [backup-simplify]: Simplify 1 into 1
3.150 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.150 * [taylor]: Taking taylor expansion of x in x
3.150 * [backup-simplify]: Simplify 0 into 0
3.150 * [backup-simplify]: Simplify 1 into 1
3.150 * [backup-simplify]: Simplify (/ 1 1) into 1
3.150 * [backup-simplify]: Simplify (- 1) into -1
3.151 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.151 * [backup-simplify]: Simplify (sqrt 0) into 0
3.152 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
3.152 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (- 1 (/ 1 x)))) in x
3.152 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
3.152 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
3.152 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
3.152 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.152 * [taylor]: Taking taylor expansion of x in x
3.152 * [backup-simplify]: Simplify 0 into 0
3.152 * [backup-simplify]: Simplify 1 into 1
3.153 * [backup-simplify]: Simplify (/ 1 1) into 1
3.153 * [taylor]: Taking taylor expansion of 1 in x
3.153 * [backup-simplify]: Simplify 1 into 1
3.153 * [backup-simplify]: Simplify (+ 1 0) into 1
3.154 * [backup-simplify]: Simplify (- 1) into -1
3.154 * [backup-simplify]: Simplify (sqrt 0) into 0
3.154 * [backup-simplify]: Simplify (- 1) into -1
3.155 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
3.155 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x
3.155 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
3.155 * [taylor]: Taking taylor expansion of 1 in x
3.155 * [backup-simplify]: Simplify 1 into 1
3.155 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.155 * [taylor]: Taking taylor expansion of x in x
3.155 * [backup-simplify]: Simplify 0 into 0
3.156 * [backup-simplify]: Simplify 1 into 1
3.156 * [backup-simplify]: Simplify (/ 1 1) into 1
3.156 * [backup-simplify]: Simplify (- 1) into -1
3.157 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.157 * [backup-simplify]: Simplify (sqrt 0) into 0
3.158 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
3.158 * [backup-simplify]: Simplify (* 0 0) into 0
3.158 * [backup-simplify]: Simplify 0 into 0
3.159 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0
3.159 * [backup-simplify]: Simplify 0 into 0
3.160 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.160 * [backup-simplify]: Simplify (- 0) into 0
3.160 * [backup-simplify]: Simplify (+ 1 0) into 1
3.162 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
3.163 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.163 * [backup-simplify]: Simplify (+ 0 1) into 1
3.163 * [backup-simplify]: Simplify (- 1) into -1
3.165 * [backup-simplify]: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
3.166 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0)
3.167 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
3.167 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.168 * [backup-simplify]: Simplify (- 0) into 0
3.168 * [backup-simplify]: Simplify (+ 0 0) into 0
3.170 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
3.171 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.171 * [backup-simplify]: Simplify (+ 0 0) into 0
3.171 * [backup-simplify]: Simplify (- 0) into 0
3.173 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
3.176 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0)
3.176 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
3.177 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.177 * [backup-simplify]: Simplify (- 0) into 0
3.177 * [backup-simplify]: Simplify (+ 0 0) into 0
3.180 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
3.180 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.181 * [backup-simplify]: Simplify (+ 0 0) into 0
3.181 * [backup-simplify]: Simplify (- 0) into 0
3.186 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
3.189 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))))) into (- +nan.0)
3.190 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
3.190 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 (- x)) 2)) (+ (* (- +nan.0) (/ 1 (- x))) (- +nan.0))) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
3.191 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
3.191 * [backup-simplify]: Simplify (+ x (* (sqrt (+ x 1)) (sqrt (- x 1)))) into (+ x (sqrt (* (+ x 1) (- x 1))))
3.191 * [approximate]: Taking taylor expansion of (+ x (sqrt (* (+ x 1) (- x 1)))) in (x) around 0
3.191 * [taylor]: Taking taylor expansion of (+ x (sqrt (* (+ x 1) (- x 1)))) in x
3.191 * [taylor]: Taking taylor expansion of x in x
3.191 * [backup-simplify]: Simplify 0 into 0
3.191 * [backup-simplify]: Simplify 1 into 1
3.191 * [taylor]: Taking taylor expansion of (sqrt (* (+ x 1) (- x 1))) in x
3.191 * [taylor]: Taking taylor expansion of (* (+ x 1) (- x 1)) in x
3.191 * [taylor]: Taking taylor expansion of (+ x 1) in x
3.191 * [taylor]: Taking taylor expansion of x in x
3.191 * [backup-simplify]: Simplify 0 into 0
3.191 * [backup-simplify]: Simplify 1 into 1
3.191 * [taylor]: Taking taylor expansion of 1 in x
3.191 * [backup-simplify]: Simplify 1 into 1
3.191 * [taylor]: Taking taylor expansion of (- x 1) in x
3.191 * [taylor]: Taking taylor expansion of x in x
3.191 * [backup-simplify]: Simplify 0 into 0
3.191 * [backup-simplify]: Simplify 1 into 1
3.191 * [taylor]: Taking taylor expansion of 1 in x
3.191 * [backup-simplify]: Simplify 1 into 1
3.191 * [backup-simplify]: Simplify (+ 0 1) into 1
3.191 * [backup-simplify]: Simplify (- 1) into -1
3.192 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.192 * [backup-simplify]: Simplify (* 1 -1) into -1
3.192 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.192 * [backup-simplify]: Simplify (- 0) into 0
3.193 * [backup-simplify]: Simplify (+ 1 0) into 1
3.193 * [backup-simplify]: Simplify (+ 1 0) into 1
3.193 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 -1)) into 0
3.194 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.194 * [taylor]: Taking taylor expansion of (+ x (sqrt (* (+ x 1) (- x 1)))) in x
3.194 * [taylor]: Taking taylor expansion of x in x
3.194 * [backup-simplify]: Simplify 0 into 0
3.194 * [backup-simplify]: Simplify 1 into 1
3.194 * [taylor]: Taking taylor expansion of (sqrt (* (+ x 1) (- x 1))) in x
3.194 * [taylor]: Taking taylor expansion of (* (+ x 1) (- x 1)) in x
3.194 * [taylor]: Taking taylor expansion of (+ x 1) in x
3.194 * [taylor]: Taking taylor expansion of x in x
3.194 * [backup-simplify]: Simplify 0 into 0
3.194 * [backup-simplify]: Simplify 1 into 1
3.194 * [taylor]: Taking taylor expansion of 1 in x
3.194 * [backup-simplify]: Simplify 1 into 1
3.194 * [taylor]: Taking taylor expansion of (- x 1) in x
3.194 * [taylor]: Taking taylor expansion of x in x
3.194 * [backup-simplify]: Simplify 0 into 0
3.194 * [backup-simplify]: Simplify 1 into 1
3.194 * [taylor]: Taking taylor expansion of 1 in x
3.194 * [backup-simplify]: Simplify 1 into 1
3.194 * [backup-simplify]: Simplify (+ 0 1) into 1
3.195 * [backup-simplify]: Simplify (- 1) into -1
3.195 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.195 * [backup-simplify]: Simplify (* 1 -1) into -1
3.195 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.196 * [backup-simplify]: Simplify (- 0) into 0
3.196 * [backup-simplify]: Simplify (+ 1 0) into 1
3.196 * [backup-simplify]: Simplify (+ 1 0) into 1
3.196 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 -1)) into 0
3.197 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt -1))) into 0
3.198 * [backup-simplify]: Simplify (+ 0 (sqrt -1)) into (sqrt -1)
3.198 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.198 * [backup-simplify]: Simplify (+ 1 0) into 1
3.198 * [backup-simplify]: Simplify 1 into 1
3.198 * [backup-simplify]: Simplify (- 0) into 0
3.199 * [backup-simplify]: Simplify (+ 0 0) into 0
3.199 * [backup-simplify]: Simplify (+ 0 0) into 0
3.199 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 1) (* 0 -1))) into 1
3.201 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
3.202 * [backup-simplify]: Simplify (+ 0 (/ 1/2 (sqrt -1))) into (* 1/2 (/ 1 (sqrt -1)))
3.203 * [backup-simplify]: Simplify (* 1/2 (/ 1 (sqrt -1))) into (/ 1/2 (sqrt -1))
3.205 * [backup-simplify]: Simplify (+ (* (/ 1/2 (sqrt -1)) (pow x 2)) (+ (* 1 x) (sqrt -1))) into (+ x (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1)))
3.205 * [backup-simplify]: Simplify (+ (/ 1 x) (* (sqrt (+ (/ 1 x) 1)) (sqrt (- (/ 1 x) 1)))) into (+ (sqrt (* (+ (/ 1 x) 1) (- (/ 1 x) 1))) (/ 1 x))
3.205 * [approximate]: Taking taylor expansion of (+ (sqrt (* (+ (/ 1 x) 1) (- (/ 1 x) 1))) (/ 1 x)) in (x) around 0
3.205 * [taylor]: Taking taylor expansion of (+ (sqrt (* (+ (/ 1 x) 1) (- (/ 1 x) 1))) (/ 1 x)) in x
3.205 * [taylor]: Taking taylor expansion of (sqrt (* (+ (/ 1 x) 1) (- (/ 1 x) 1))) in x
3.205 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1) (- (/ 1 x) 1)) in x
3.205 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
3.205 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.205 * [taylor]: Taking taylor expansion of x in x
3.205 * [backup-simplify]: Simplify 0 into 0
3.205 * [backup-simplify]: Simplify 1 into 1
3.205 * [backup-simplify]: Simplify (/ 1 1) into 1
3.205 * [taylor]: Taking taylor expansion of 1 in x
3.205 * [backup-simplify]: Simplify 1 into 1
3.205 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
3.205 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.205 * [taylor]: Taking taylor expansion of x in x
3.205 * [backup-simplify]: Simplify 0 into 0
3.205 * [backup-simplify]: Simplify 1 into 1
3.206 * [backup-simplify]: Simplify (/ 1 1) into 1
3.206 * [taylor]: Taking taylor expansion of 1 in x
3.206 * [backup-simplify]: Simplify 1 into 1
3.206 * [backup-simplify]: Simplify (+ 1 0) into 1
3.207 * [backup-simplify]: Simplify (+ 1 0) into 1
3.207 * [backup-simplify]: Simplify (* 1 1) into 1
3.207 * [backup-simplify]: Simplify (sqrt 1) into 1
3.208 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.208 * [backup-simplify]: Simplify (- 1) into -1
3.208 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.209 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.209 * [backup-simplify]: Simplify (+ 0 1) into 1
3.210 * [backup-simplify]: Simplify (+ (* 1 -1) (* 1 1)) into 0
3.210 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
3.210 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.210 * [taylor]: Taking taylor expansion of x in x
3.211 * [backup-simplify]: Simplify 0 into 0
3.211 * [backup-simplify]: Simplify 1 into 1
3.211 * [backup-simplify]: Simplify (/ 1 1) into 1
3.211 * [taylor]: Taking taylor expansion of (+ (sqrt (* (+ (/ 1 x) 1) (- (/ 1 x) 1))) (/ 1 x)) in x
3.211 * [taylor]: Taking taylor expansion of (sqrt (* (+ (/ 1 x) 1) (- (/ 1 x) 1))) in x
3.211 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1) (- (/ 1 x) 1)) in x
3.211 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
3.211 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.211 * [taylor]: Taking taylor expansion of x in x
3.211 * [backup-simplify]: Simplify 0 into 0
3.211 * [backup-simplify]: Simplify 1 into 1
3.211 * [backup-simplify]: Simplify (/ 1 1) into 1
3.211 * [taylor]: Taking taylor expansion of 1 in x
3.211 * [backup-simplify]: Simplify 1 into 1
3.212 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
3.212 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.212 * [taylor]: Taking taylor expansion of x in x
3.212 * [backup-simplify]: Simplify 0 into 0
3.212 * [backup-simplify]: Simplify 1 into 1
3.212 * [backup-simplify]: Simplify (/ 1 1) into 1
3.212 * [taylor]: Taking taylor expansion of 1 in x
3.212 * [backup-simplify]: Simplify 1 into 1
3.212 * [backup-simplify]: Simplify (+ 1 0) into 1
3.213 * [backup-simplify]: Simplify (+ 1 0) into 1
3.213 * [backup-simplify]: Simplify (* 1 1) into 1
3.213 * [backup-simplify]: Simplify (sqrt 1) into 1
3.214 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.214 * [backup-simplify]: Simplify (- 1) into -1
3.215 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.215 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.216 * [backup-simplify]: Simplify (+ 0 1) into 1
3.216 * [backup-simplify]: Simplify (+ (* 1 -1) (* 1 1)) into 0
3.217 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
3.217 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.217 * [taylor]: Taking taylor expansion of x in x
3.217 * [backup-simplify]: Simplify 0 into 0
3.217 * [backup-simplify]: Simplify 1 into 1
3.217 * [backup-simplify]: Simplify (/ 1 1) into 1
3.217 * [backup-simplify]: Simplify (+ 1 1) into 2
3.217 * [backup-simplify]: Simplify 2 into 2
3.218 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.218 * [backup-simplify]: Simplify (+ 0 0) into 0
3.218 * [backup-simplify]: Simplify 0 into 0
3.219 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.219 * [backup-simplify]: Simplify (- 0) into 0
3.220 * [backup-simplify]: Simplify (+ 0 0) into 0
3.220 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.220 * [backup-simplify]: Simplify (+ 0 0) into 0
3.221 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 -1) (* 0 1))) into -1
3.222 * [backup-simplify]: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
3.222 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.222 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2
3.223 * [backup-simplify]: Simplify -1/2 into -1/2
3.223 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.223 * [backup-simplify]: Simplify (- 0) into 0
3.224 * [backup-simplify]: Simplify (+ 0 0) into 0
3.224 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.224 * [backup-simplify]: Simplify (+ 0 0) into 0
3.225 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 -1) (* 0 1)))) into 0
3.226 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
3.227 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.227 * [backup-simplify]: Simplify (+ 0 0) into 0
3.227 * [backup-simplify]: Simplify 0 into 0
3.228 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.229 * [backup-simplify]: Simplify (- 0) into 0
3.229 * [backup-simplify]: Simplify (+ 0 0) into 0
3.229 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.230 * [backup-simplify]: Simplify (+ 0 0) into 0
3.231 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 -1) (* 0 1))))) into 0
3.232 * [backup-simplify]: Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
3.233 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.233 * [backup-simplify]: Simplify (+ -1/8 0) into -1/8
3.233 * [backup-simplify]: Simplify -1/8 into -1/8
3.234 * [backup-simplify]: Simplify (+ (* -1/8 (pow (/ 1 x) 3)) (+ (* -1/2 (/ 1 x)) (* 2 (/ 1 (/ 1 x))))) into (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
3.234 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (* (sqrt (+ (/ 1 (- x)) 1)) (sqrt (- (/ 1 (- x)) 1)))) into (- (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (- 1 (/ 1 x)))) (/ 1 x))
3.234 * [approximate]: Taking taylor expansion of (- (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (- 1 (/ 1 x)))) (/ 1 x)) in (x) around 0
3.234 * [taylor]: Taking taylor expansion of (- (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (- 1 (/ 1 x)))) (/ 1 x)) in x
3.234 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (- 1 (/ 1 x)))) in x
3.234 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
3.234 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
3.234 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
3.234 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.234 * [taylor]: Taking taylor expansion of x in x
3.234 * [backup-simplify]: Simplify 0 into 0
3.234 * [backup-simplify]: Simplify 1 into 1
3.234 * [backup-simplify]: Simplify (/ 1 1) into 1
3.234 * [taylor]: Taking taylor expansion of 1 in x
3.234 * [backup-simplify]: Simplify 1 into 1
3.235 * [backup-simplify]: Simplify (+ 1 0) into 1
3.235 * [backup-simplify]: Simplify (- 1) into -1
3.235 * [backup-simplify]: Simplify (sqrt 0) into 0
3.236 * [backup-simplify]: Simplify (- 1) into -1
3.237 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
3.237 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x
3.237 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
3.237 * [taylor]: Taking taylor expansion of 1 in x
3.237 * [backup-simplify]: Simplify 1 into 1
3.237 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.237 * [taylor]: Taking taylor expansion of x in x
3.237 * [backup-simplify]: Simplify 0 into 0
3.237 * [backup-simplify]: Simplify 1 into 1
3.237 * [backup-simplify]: Simplify (/ 1 1) into 1
3.238 * [backup-simplify]: Simplify (- 1) into -1
3.238 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.238 * [backup-simplify]: Simplify (sqrt 0) into 0
3.239 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
3.240 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.240 * [taylor]: Taking taylor expansion of x in x
3.240 * [backup-simplify]: Simplify 0 into 0
3.240 * [backup-simplify]: Simplify 1 into 1
3.240 * [backup-simplify]: Simplify (/ 1 1) into 1
3.240 * [taylor]: Taking taylor expansion of (- (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (- 1 (/ 1 x)))) (/ 1 x)) in x
3.240 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (- 1 (/ 1 x)))) in x
3.240 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
3.240 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
3.240 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
3.240 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.240 * [taylor]: Taking taylor expansion of x in x
3.240 * [backup-simplify]: Simplify 0 into 0
3.240 * [backup-simplify]: Simplify 1 into 1
3.240 * [backup-simplify]: Simplify (/ 1 1) into 1
3.240 * [taylor]: Taking taylor expansion of 1 in x
3.240 * [backup-simplify]: Simplify 1 into 1
3.241 * [backup-simplify]: Simplify (+ 1 0) into 1
3.241 * [backup-simplify]: Simplify (- 1) into -1
3.241 * [backup-simplify]: Simplify (sqrt 0) into 0
3.241 * [backup-simplify]: Simplify (- 1) into -1
3.242 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
3.242 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x
3.242 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
3.242 * [taylor]: Taking taylor expansion of 1 in x
3.242 * [backup-simplify]: Simplify 1 into 1
3.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.242 * [taylor]: Taking taylor expansion of x in x
3.242 * [backup-simplify]: Simplify 0 into 0
3.242 * [backup-simplify]: Simplify 1 into 1
3.242 * [backup-simplify]: Simplify (/ 1 1) into 1
3.243 * [backup-simplify]: Simplify (- 1) into -1
3.243 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.243 * [backup-simplify]: Simplify (sqrt 0) into 0
3.244 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
3.244 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.244 * [taylor]: Taking taylor expansion of x in x
3.244 * [backup-simplify]: Simplify 0 into 0
3.244 * [backup-simplify]: Simplify 1 into 1
3.244 * [backup-simplify]: Simplify (/ 1 1) into 1
3.244 * [backup-simplify]: Simplify (* 0 0) into 0
3.245 * [backup-simplify]: Simplify (+ 0 0) into 0
3.245 * [backup-simplify]: Simplify 0 into 0
3.245 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0
3.245 * [backup-simplify]: Simplify (- 1) into -1
3.246 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.246 * [backup-simplify]: Simplify -1 into -1
3.246 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.246 * [backup-simplify]: Simplify (- 0) into 0
3.247 * [backup-simplify]: Simplify (+ 1 0) into 1
3.249 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
3.249 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.249 * [backup-simplify]: Simplify (+ 0 1) into 1
3.250 * [backup-simplify]: Simplify (- 1) into -1
3.252 * [backup-simplify]: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
3.254 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0)
3.255 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.255 * [backup-simplify]: Simplify (- 0) into 0
3.256 * [backup-simplify]: Simplify (+ (- +nan.0) 0) into (- +nan.0)
3.256 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
3.257 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.257 * [backup-simplify]: Simplify (- 0) into 0
3.258 * [backup-simplify]: Simplify (+ 0 0) into 0
3.261 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
3.262 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.262 * [backup-simplify]: Simplify (+ 0 0) into 0
3.262 * [backup-simplify]: Simplify (- 0) into 0
3.266 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
3.269 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0)
3.270 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.270 * [backup-simplify]: Simplify (- 0) into 0
3.271 * [backup-simplify]: Simplify (+ (- +nan.0) 0) into (- +nan.0)
3.271 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
3.271 * [backup-simplify]: Simplify (+ (* (- +nan.0) (/ 1 (- x))) (+ (- +nan.0) (* -1 (/ 1 (/ 1 (- x)))))) into (- x (+ (* +nan.0 (/ 1 x)) (- +nan.0)))
3.271 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2 2)
3.272 * [backup-simplify]: Simplify (sqrt (- x 1)) into (sqrt (- x 1))
3.272 * [approximate]: Taking taylor expansion of (sqrt (- x 1)) in (x) around 0
3.272 * [taylor]: Taking taylor expansion of (sqrt (- x 1)) in x
3.272 * [taylor]: Taking taylor expansion of (- x 1) in x
3.272 * [taylor]: Taking taylor expansion of x in x
3.272 * [backup-simplify]: Simplify 0 into 0
3.272 * [backup-simplify]: Simplify 1 into 1
3.272 * [taylor]: Taking taylor expansion of 1 in x
3.272 * [backup-simplify]: Simplify 1 into 1
3.272 * [backup-simplify]: Simplify (- 1) into -1
3.272 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.272 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.273 * [backup-simplify]: Simplify (- 0) into 0
3.273 * [backup-simplify]: Simplify (+ 1 0) into 1
3.274 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
3.274 * [taylor]: Taking taylor expansion of (sqrt (- x 1)) in x
3.274 * [taylor]: Taking taylor expansion of (- x 1) in x
3.274 * [taylor]: Taking taylor expansion of x in x
3.274 * [backup-simplify]: Simplify 0 into 0
3.274 * [backup-simplify]: Simplify 1 into 1
3.274 * [taylor]: Taking taylor expansion of 1 in x
3.274 * [backup-simplify]: Simplify 1 into 1
3.274 * [backup-simplify]: Simplify (- 1) into -1
3.274 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.275 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.275 * [backup-simplify]: Simplify (- 0) into 0
3.275 * [backup-simplify]: Simplify (+ 1 0) into 1
3.276 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
3.276 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
3.277 * [backup-simplify]: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1))
3.277 * [backup-simplify]: Simplify (- 0) into 0
3.277 * [backup-simplify]: Simplify (+ 0 0) into 0
3.279 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ 1/8 (sqrt -1))
3.280 * [backup-simplify]: Simplify (/ 1/8 (sqrt -1)) into (/ 1/8 (sqrt -1))
3.281 * [backup-simplify]: Simplify (+ (* (/ 1/8 (sqrt -1)) (pow x 2)) (+ (* (/ 1/2 (sqrt -1)) x) (sqrt -1))) into (+ (* 1/2 (/ x (sqrt -1))) (+ (* 1/8 (/ (pow x 2) (sqrt -1))) (sqrt -1)))
3.281 * [backup-simplify]: Simplify (sqrt (- (/ 1 x) 1)) into (sqrt (- (/ 1 x) 1))
3.281 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in (x) around 0
3.281 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
3.282 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
3.282 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.282 * [taylor]: Taking taylor expansion of x in x
3.282 * [backup-simplify]: Simplify 0 into 0
3.282 * [backup-simplify]: Simplify 1 into 1
3.282 * [backup-simplify]: Simplify (/ 1 1) into 1
3.282 * [taylor]: Taking taylor expansion of 1 in x
3.282 * [backup-simplify]: Simplify 1 into 1
3.282 * [backup-simplify]: Simplify (+ 1 0) into 1
3.282 * [backup-simplify]: Simplify (sqrt 0) into 0
3.283 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
3.283 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
3.283 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
3.283 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.283 * [taylor]: Taking taylor expansion of x in x
3.283 * [backup-simplify]: Simplify 0 into 0
3.283 * [backup-simplify]: Simplify 1 into 1
3.283 * [backup-simplify]: Simplify (/ 1 1) into 1
3.283 * [taylor]: Taking taylor expansion of 1 in x
3.284 * [backup-simplify]: Simplify 1 into 1
3.285 * [backup-simplify]: Simplify (+ 1 0) into 1
3.285 * [backup-simplify]: Simplify (sqrt 0) into 0
3.286 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
3.286 * [backup-simplify]: Simplify 0 into 0
3.286 * [backup-simplify]: Simplify +nan.0 into +nan.0
3.287 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.287 * [backup-simplify]: Simplify (- 1) into -1
3.287 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.289 * [backup-simplify]: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
3.289 * [backup-simplify]: Simplify +nan.0 into +nan.0
3.290 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.290 * [backup-simplify]: Simplify (- 0) into 0
3.290 * [backup-simplify]: Simplify (+ 0 0) into 0
3.292 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
3.292 * [backup-simplify]: Simplify +nan.0 into +nan.0
3.293 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 x) 2)) (+ (* +nan.0 (/ 1 x)) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
3.293 * [backup-simplify]: Simplify (sqrt (- (/ 1 (- x)) 1)) into (sqrt (- (+ (/ 1 x) 1)))
3.293 * [approximate]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in (x) around 0
3.293 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
3.293 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
3.293 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
3.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.293 * [taylor]: Taking taylor expansion of x in x
3.293 * [backup-simplify]: Simplify 0 into 0
3.293 * [backup-simplify]: Simplify 1 into 1
3.293 * [backup-simplify]: Simplify (/ 1 1) into 1
3.293 * [taylor]: Taking taylor expansion of 1 in x
3.293 * [backup-simplify]: Simplify 1 into 1
3.293 * [backup-simplify]: Simplify (+ 1 0) into 1
3.294 * [backup-simplify]: Simplify (- 1) into -1
3.294 * [backup-simplify]: Simplify (sqrt 0) into 0
3.294 * [backup-simplify]: Simplify (- 1) into -1
3.295 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
3.295 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
3.295 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
3.295 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
3.295 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.295 * [taylor]: Taking taylor expansion of x in x
3.295 * [backup-simplify]: Simplify 0 into 0
3.295 * [backup-simplify]: Simplify 1 into 1
3.295 * [backup-simplify]: Simplify (/ 1 1) into 1
3.295 * [taylor]: Taking taylor expansion of 1 in x
3.295 * [backup-simplify]: Simplify 1 into 1
3.295 * [backup-simplify]: Simplify (+ 1 0) into 1
3.296 * [backup-simplify]: Simplify (- 1) into -1
3.296 * [backup-simplify]: Simplify (sqrt 0) into 0
3.296 * [backup-simplify]: Simplify (- 1) into -1
3.297 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
3.297 * [backup-simplify]: Simplify 0 into 0
3.297 * [backup-simplify]: Simplify +nan.0 into +nan.0
3.297 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.298 * [backup-simplify]: Simplify (+ 0 1) into 1
3.298 * [backup-simplify]: Simplify (- 1) into -1
3.300 * [backup-simplify]: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
3.300 * [backup-simplify]: Simplify +nan.0 into +nan.0
3.300 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.301 * [backup-simplify]: Simplify (+ 0 0) into 0
3.301 * [backup-simplify]: Simplify (- 0) into 0
3.303 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
3.303 * [backup-simplify]: Simplify +nan.0 into +nan.0
3.303 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
3.303 * * * [progress]: simplifying candidates
3.303 * * * * [progress]: [ 1 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (pow (* (+ x 1) (- x 1)) 1/2))))>
3.303 * * * * [progress]: [ 2 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (pow (* (sqrt (+ x 1)) (sqrt (- x 1))) 1))))>
3.303 * * * * [progress]: [ 3 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (pow (* (+ x 1) (- x 1)) (/ 1 2)))))>
3.304 * * * * [progress]: [ 4 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (pow (* (sqrt (+ x 1)) (sqrt (- x 1))) 1))))>
3.304 * * * * [progress]: [ 5 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (exp (+ (log (sqrt (+ x 1))) (log (sqrt (- x 1))))))))>
3.304 * * * * [progress]: [ 6 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (exp (log (* (sqrt (+ x 1)) (sqrt (- x 1))))))))>
3.304 * * * * [progress]: [ 7 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (log (exp (* (sqrt (+ x 1)) (sqrt (- x 1))))))))>
3.304 * * * * [progress]: [ 8 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (cbrt (* (* (* (sqrt (+ x 1)) (sqrt (+ x 1))) (sqrt (+ x 1))) (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))))))))>
3.304 * * * * [progress]: [ 9 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (* (cbrt (* (sqrt (+ x 1)) (sqrt (- x 1)))) (cbrt (* (sqrt (+ x 1)) (sqrt (- x 1))))) (cbrt (* (sqrt (+ x 1)) (sqrt (- x 1))))))))>
3.304 * * * * [progress]: [ 10 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (cbrt (* (* (* (sqrt (+ x 1)) (sqrt (- x 1))) (* (sqrt (+ x 1)) (sqrt (- x 1)))) (* (sqrt (+ x 1)) (sqrt (- x 1))))))))>
3.304 * * * * [progress]: [ 11 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (sqrt (* (+ x 1) (- x 1))))))>
3.304 * * * * [progress]: [ 12 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (* (sqrt (+ x 1)) (sqrt (- x 1)))) (sqrt (* (sqrt (+ x 1)) (sqrt (- x 1))))))))>
3.304 * * * * [progress]: [ 13 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (/ (* (sqrt (+ (pow x 3) (pow 1 3))) (sqrt (- (pow x 3) (pow 1 3)))) (* (sqrt (+ (* x x) (- (* 1 1) (* x 1)))) (sqrt (+ (* x x) (+ (* 1 1) (* x 1)))))))))>
3.304 * * * * [progress]: [ 14 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (/ (* (sqrt (+ (pow x 3) (pow 1 3))) (sqrt (- (* x x) (* 1 1)))) (* (sqrt (+ (* x x) (- (* 1 1) (* x 1)))) (sqrt (+ x 1)))))))>
3.304 * * * * [progress]: [ 15 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (/ (* (sqrt (- (* x x) (* 1 1))) (sqrt (- (pow x 3) (pow 1 3)))) (* (sqrt (- x 1)) (sqrt (+ (* x x) (+ (* 1 1) (* x 1)))))))))>
3.304 * * * * [progress]: [ 16 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (/ (* (sqrt (- (* x x) (* 1 1))) (sqrt (- (* x x) (* 1 1)))) (* (sqrt (- x 1)) (sqrt (+ x 1)))))))>
3.304 * * * * [progress]: [ 17 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* 1 (* (sqrt (+ x 1)) (sqrt (- x 1)))))))>
3.304 * * * * [progress]: [ 18 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1)))) (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1))))))))>
3.304 * * * * [progress]: [ 19 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1)))) (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1))))))))>
3.304 * * * * [progress]: [ 20 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1)))) (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1))))))))>
3.304 * * * * [progress]: [ 21 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1)))) (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1))))))))>
3.304 * * * * [progress]: [ 22 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (* (sqrt (+ x 1)) (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1))))) (cbrt (sqrt (- x 1)))))))>
3.304 * * * * [progress]: [ 23 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (* (sqrt (+ x 1)) (sqrt (* (cbrt (- x 1)) (cbrt (- x 1))))) (sqrt (cbrt (- x 1)))))))>
3.304 * * * * [progress]: [ 24 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (* (sqrt (+ x 1)) (sqrt (sqrt (- x 1)))) (sqrt (sqrt (- x 1)))))))>
3.304 * * * * [progress]: [ 25 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (* (sqrt (+ x 1)) (sqrt 1)) (sqrt (- x 1))))))>
3.304 * * * * [progress]: [ 26 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (* (sqrt (+ x 1)) (sqrt (+ (sqrt x) (sqrt 1)))) (sqrt (- (sqrt x) (sqrt 1)))))))>
3.304 * * * * [progress]: [ 27 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (* (sqrt (+ x 1)) (sqrt (+ (sqrt x) 1))) (sqrt (- (sqrt x) 1))))))>
3.304 * * * * [progress]: [ 28 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (* (sqrt (+ x 1)) (sqrt (+ (sqrt x) 1))) (sqrt (- (sqrt x) 1))))))>
3.305 * * * * [progress]: [ 29 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (* (sqrt (+ x 1)) (sqrt 1)) (sqrt (- x 1))))))>
3.305 * * * * [progress]: [ 30 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (* (sqrt (+ x 1)) (sqrt (sqrt (- x 1)))) (sqrt (sqrt (- x 1)))))))>
3.305 * * * * [progress]: [ 31 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (* (sqrt (+ x 1)) 1) (sqrt (- x 1))))))>
3.305 * * * * [progress]: [ 32 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1)))) (* (cbrt (sqrt (+ x 1))) (sqrt (- x 1)))))))>
3.305 * * * * [progress]: [ 33 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (* (sqrt (cbrt (+ x 1))) (sqrt (- x 1)))))))>
3.305 * * * * [progress]: [ 34 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (sqrt (+ x 1))) (* (sqrt (sqrt (+ x 1))) (sqrt (- x 1)))))))>
3.305 * * * * [progress]: [ 35 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt 1) (* (sqrt (+ x 1)) (sqrt (- x 1)))))))>
3.305 * * * * [progress]: [ 36 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt 1) (* (sqrt (+ x 1)) (sqrt (- x 1)))))))>
3.305 * * * * [progress]: [ 37 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (sqrt (+ x 1))) (* (sqrt (sqrt (+ x 1))) (sqrt (- x 1)))))))>
3.305 * * * * [progress]: [ 38 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* 1 (* (sqrt (+ x 1)) (sqrt (- x 1)))))))>
3.305 * * * * [progress]: [ 39 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (/ (* (sqrt (+ x 1)) (sqrt (- (pow x 3) (pow 1 3)))) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))))>
3.305 * * * * [progress]: [ 40 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (/ (* (sqrt (+ x 1)) (sqrt (- (* x x) (* 1 1)))) (sqrt (+ x 1))))))>
3.305 * * * * [progress]: [ 41 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (/ (* (sqrt (+ (pow x 3) (pow 1 3))) (sqrt (- x 1))) (sqrt (+ (* x x) (- (* 1 1) (* x 1))))))))>
3.305 * * * * [progress]: [ 42 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (/ (* (sqrt (- (* x x) (* 1 1))) (sqrt (- x 1))) (sqrt (- x 1))))))>
3.305 * * * * [progress]: [ 43 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (posit16->real (real->posit16 (* (sqrt (+ x 1)) (sqrt (- x 1))))))))>
3.305 * * * * [progress]: [ 44 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))))>
3.305 * * * * [progress]: [ 45 / 85 ] simplifiying candidate #<alt (λ (x) (log (log (* (exp x) (exp (* (sqrt (+ x 1)) (sqrt (- x 1))))))))>
3.305 * * * * [progress]: [ 46 / 85 ] simplifiying candidate #<alt (λ (x) (log (pow (+ x (* (sqrt (+ x 1)) (sqrt (- x 1)))) 1)))>
3.305 * * * * [progress]: [ 47 / 85 ] simplifiying candidate #<alt (λ (x) (log (exp (log (+ x (* (sqrt (+ x 1)) (sqrt (- x 1))))))))>
3.305 * * * * [progress]: [ 48 / 85 ] simplifiying candidate #<alt (λ (x) (log (log (exp (+ x (* (sqrt (+ x 1)) (sqrt (- x 1))))))))>
3.305 * * * * [progress]: [ 49 / 85 ] simplifiying candidate #<alt (λ (x) (log (* (* (cbrt (+ x (* (sqrt (+ x 1)) (sqrt (- x 1))))) (cbrt (+ x (* (sqrt (+ x 1)) (sqrt (- x 1)))))) (cbrt (+ x (* (sqrt (+ x 1)) (sqrt (- x 1))))))))>
3.305 * * * * [progress]: [ 50 / 85 ] simplifiying candidate #<alt (λ (x) (log (cbrt (* (* (+ x (* (sqrt (+ x 1)) (sqrt (- x 1)))) (+ x (* (sqrt (+ x 1)) (sqrt (- x 1))))) (+ x (* (sqrt (+ x 1)) (sqrt (- x 1))))))))>
3.305 * * * * [progress]: [ 51 / 85 ] simplifiying candidate #<alt (λ (x) (log (* (sqrt (+ x (* (sqrt (+ x 1)) (sqrt (- x 1))))) (sqrt (+ x (* (sqrt (+ x 1)) (sqrt (- x 1))))))))>
3.305 * * * * [progress]: [ 52 / 85 ] simplifiying candidate #<alt (λ (x) (log (/ (+ (pow x 3) (pow (* (sqrt (+ x 1)) (sqrt (- x 1))) 3)) (+ (* x x) (- (* (* (sqrt (+ x 1)) (sqrt (- x 1))) (* (sqrt (+ x 1)) (sqrt (- x 1)))) (* x (* (sqrt (+ x 1)) (sqrt (- x 1)))))))))>
3.305 * * * * [progress]: [ 53 / 85 ] simplifiying candidate #<alt (λ (x) (log (* 1 (+ x (* (sqrt (+ x 1)) (sqrt (- x 1)))))))>
3.305 * * * * [progress]: [ 54 / 85 ] simplifiying candidate #<alt (λ (x) (log (/ (- (* x x) (* (* (sqrt (+ x 1)) (sqrt (- x 1))) (* (sqrt (+ x 1)) (sqrt (- x 1))))) (- x (* (sqrt (+ x 1)) (sqrt (- x 1)))))))>
3.306 * * * * [progress]: [ 55 / 85 ] simplifiying candidate #<alt (λ (x) (log (posit16->real (real->posit16 (+ x (* (sqrt (+ x 1)) (sqrt (- x 1))))))))>
3.306 * * * * [progress]: [ 56 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ (* (sqrt (+ x 1)) (sqrt (- x 1))) x)))>
3.306 * * * * [progress]: [ 57 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (+ x 1)) (pow (- x 1) 1/2)))))>
3.306 * * * * [progress]: [ 58 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (+ x 1)) (pow (sqrt (- x 1)) 1)))))>
3.306 * * * * [progress]: [ 59 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (+ x 1)) (exp (log (sqrt (- x 1))))))))>
3.306 * * * * [progress]: [ 60 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (+ x 1)) (log (exp (sqrt (- x 1))))))))>
3.306 * * * * [progress]: [ 61 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (+ x 1)) (* (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1)))) (cbrt (sqrt (- x 1))))))))>
3.306 * * * * [progress]: [ 62 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (+ x 1)) (cbrt (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))))))))>
3.306 * * * * [progress]: [ 63 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (+ x 1)) (* (sqrt (* (cbrt (- x 1)) (cbrt (- x 1)))) (sqrt (cbrt (- x 1))))))))>
3.306 * * * * [progress]: [ 64 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (+ x 1)) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (- x 1))))))))>
3.306 * * * * [progress]: [ 65 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (+ x 1)) (* (sqrt 1) (sqrt (- x 1)))))))>
3.306 * * * * [progress]: [ 66 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (+ x 1)) (* (sqrt (+ (sqrt x) (sqrt 1))) (sqrt (- (sqrt x) (sqrt 1))))))))>
3.306 * * * * [progress]: [ 67 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (+ x 1)) (* (sqrt (+ (sqrt x) 1)) (sqrt (- (sqrt x) 1)))))))>
3.306 * * * * [progress]: [ 68 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (+ x 1)) (* (sqrt (+ (sqrt x) 1)) (sqrt (- (sqrt x) 1)))))))>
3.306 * * * * [progress]: [ 69 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (+ x 1)) (* (sqrt 1) (sqrt (- x 1)))))))>
3.306 * * * * [progress]: [ 70 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (+ x 1)) (/ (sqrt (- (pow x 3) (pow 1 3))) (sqrt (+ (* x x) (+ (* 1 1) (* x 1)))))))))>
3.306 * * * * [progress]: [ 71 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (+ x 1)) (/ (sqrt (- (* x x) (* 1 1))) (sqrt (+ x 1)))))))>
3.306 * * * * [progress]: [ 72 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (+ x 1)) (pow (- x 1) (/ 1 2))))))>
3.306 * * * * [progress]: [ 73 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (+ x 1)) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt (- x 1))))))))>
3.306 * * * * [progress]: [ 74 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (+ x 1)) (fabs (sqrt (- x 1)))))))>
3.306 * * * * [progress]: [ 75 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (+ x 1)) (* 1 (sqrt (- x 1)))))))>
3.306 * * * * [progress]: [ 76 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (+ x 1)) (posit16->real (real->posit16 (sqrt (- x 1))))))))>
3.306 * * * * [progress]: [ 77 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (* 1/8 (/ (pow x 4) (sqrt -1))) (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1))))))>
3.306 * * * * [progress]: [ 78 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))))))>
3.306 * * * * [progress]: [ 79 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))))))>
3.306 * * * * [progress]: [ 80 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1)))))>
3.306 * * * * [progress]: [ 81 / 85 ] simplifiying candidate #<alt (λ (x) (log (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))))>
3.307 * * * * [progress]: [ 82 / 85 ] simplifiying candidate #<alt (λ (x) (log (- x (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))>
3.307 * * * * [progress]: [ 83 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (+ x 1)) (+ (* 1/2 (/ x (sqrt -1))) (+ (* 1/8 (/ (pow x 2) (sqrt -1))) (sqrt -1)))))))>
3.307 * * * * [progress]: [ 84 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (+ x 1)) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))))))>
3.307 * * * * [progress]: [ 85 / 85 ] simplifiying candidate #<alt (λ (x) (log (+ x (* (sqrt (+ x 1)) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))))))>
3.307 * [simplify]: Simplifying:
  (* (+ x 1) (- x 1))
  (* (sqrt (+ x 1)) (sqrt (- x 1)))
  (* (+ x 1) (- x 1))
  (+ (log (sqrt (+ x 1))) (log (sqrt (- x 1))))
  (log (* (sqrt (+ x 1)) (sqrt (- x 1))))
  (exp (* (sqrt (+ x 1)) (sqrt (- x 1))))
  (* (* (* (sqrt (+ x 1)) (sqrt (+ x 1))) (sqrt (+ x 1))) (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))))
  (* (cbrt (* (sqrt (+ x 1)) (sqrt (- x 1)))) (cbrt (* (sqrt (+ x 1)) (sqrt (- x 1)))))
  (cbrt (* (sqrt (+ x 1)) (sqrt (- x 1))))
  (* (* (* (sqrt (+ x 1)) (sqrt (- x 1))) (* (sqrt (+ x 1)) (sqrt (- x 1)))) (* (sqrt (+ x 1)) (sqrt (- x 1))))
  (* (+ x 1) (- x 1))
  (sqrt (* (sqrt (+ x 1)) (sqrt (- x 1))))
  (sqrt (* (sqrt (+ x 1)) (sqrt (- x 1))))
  (* (sqrt (+ (pow x 3) (pow 1 3))) (sqrt (- (pow x 3) (pow 1 3))))
  (* (sqrt (+ (* x x) (- (* 1 1) (* x 1)))) (sqrt (+ (* x x) (+ (* 1 1) (* x 1)))))
  (* (sqrt (+ (pow x 3) (pow 1 3))) (sqrt (- (* x x) (* 1 1))))
  (* (sqrt (+ (* x x) (- (* 1 1) (* x 1)))) (sqrt (+ x 1)))
  (* (sqrt (- (* x x) (* 1 1))) (sqrt (- (pow x 3) (pow 1 3))))
  (* (sqrt (- x 1)) (sqrt (+ (* x x) (+ (* 1 1) (* x 1)))))
  (* (sqrt (- (* x x) (* 1 1))) (sqrt (- (* x x) (* 1 1))))
  (* (sqrt (- x 1)) (sqrt (+ x 1)))
  (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1))))
  (* (sqrt (+ x 1)) (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1)))))
  (* (sqrt (+ x 1)) (sqrt (* (cbrt (- x 1)) (cbrt (- x 1)))))
  (* (sqrt (+ x 1)) (sqrt (sqrt (- x 1))))
  (* (sqrt (+ x 1)) (sqrt 1))
  (* (sqrt (+ x 1)) (sqrt (+ (sqrt x) (sqrt 1))))
  (* (sqrt (+ x 1)) (sqrt (+ (sqrt x) 1)))
  (* (sqrt (+ x 1)) (sqrt (+ (sqrt x) 1)))
  (* (sqrt (+ x 1)) (sqrt 1))
  (* (sqrt (+ x 1)) (sqrt (sqrt (- x 1))))
  (* (sqrt (+ x 1)) 1)
  (* (cbrt (sqrt (+ x 1))) (sqrt (- x 1)))
  (* (sqrt (cbrt (+ x 1))) (sqrt (- x 1)))
  (* (sqrt (sqrt (+ x 1))) (sqrt (- x 1)))
  (* (sqrt (+ x 1)) (sqrt (- x 1)))
  (* (sqrt (+ x 1)) (sqrt (- x 1)))
  (* (sqrt (sqrt (+ x 1))) (sqrt (- x 1)))
  (* (sqrt (+ x 1)) (sqrt (- x 1)))
  (* (sqrt (+ x 1)) (sqrt (- (pow x 3) (pow 1 3))))
  (* (sqrt (+ x 1)) (sqrt (- (* x x) (* 1 1))))
  (* (sqrt (+ (pow x 3) (pow 1 3))) (sqrt (- x 1)))
  (* (sqrt (- (* x x) (* 1 1))) (sqrt (- x 1)))
  (real->posit16 (* (sqrt (+ x 1)) (sqrt (- x 1))))
  (* (exp x) (exp (* (sqrt (+ x 1)) (sqrt (- x 1)))))
  (log (+ x (* (sqrt (+ x 1)) (sqrt (- x 1)))))
  (exp (+ x (* (sqrt (+ x 1)) (sqrt (- x 1)))))
  (* (cbrt (+ x (* (sqrt (+ x 1)) (sqrt (- x 1))))) (cbrt (+ x (* (sqrt (+ x 1)) (sqrt (- x 1))))))
  (cbrt (+ x (* (sqrt (+ x 1)) (sqrt (- x 1)))))
  (* (* (+ x (* (sqrt (+ x 1)) (sqrt (- x 1)))) (+ x (* (sqrt (+ x 1)) (sqrt (- x 1))))) (+ x (* (sqrt (+ x 1)) (sqrt (- x 1)))))
  (sqrt (+ x (* (sqrt (+ x 1)) (sqrt (- x 1)))))
  (sqrt (+ x (* (sqrt (+ x 1)) (sqrt (- x 1)))))
  (+ (pow x 3) (pow (* (sqrt (+ x 1)) (sqrt (- x 1))) 3))
  (+ (* x x) (- (* (* (sqrt (+ x 1)) (sqrt (- x 1))) (* (sqrt (+ x 1)) (sqrt (- x 1)))) (* x (* (sqrt (+ x 1)) (sqrt (- x 1))))))
  (- (* x x) (* (* (sqrt (+ x 1)) (sqrt (- x 1))) (* (sqrt (+ x 1)) (sqrt (- x 1)))))
  (- x (* (sqrt (+ x 1)) (sqrt (- x 1))))
  (real->posit16 (+ x (* (sqrt (+ x 1)) (sqrt (- x 1)))))
  (log (sqrt (- x 1)))
  (exp (sqrt (- x 1)))
  (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1))))
  (cbrt (sqrt (- x 1)))
  (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1)))
  (sqrt (* (cbrt (- x 1)) (cbrt (- x 1))))
  (sqrt (cbrt (- x 1)))
  (sqrt (sqrt (- x 1)))
  (sqrt (sqrt (- x 1)))
  (sqrt 1)
  (sqrt (- x 1))
  (sqrt (+ (sqrt x) (sqrt 1)))
  (sqrt (- (sqrt x) (sqrt 1)))
  (sqrt (+ (sqrt x) 1))
  (sqrt (- (sqrt x) 1))
  (sqrt (+ (sqrt x) 1))
  (sqrt (- (sqrt x) 1))
  (sqrt 1)
  (sqrt (- x 1))
  (sqrt (- (pow x 3) (pow 1 3)))
  (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))
  (sqrt (- (* x x) (* 1 1)))
  (sqrt (+ x 1))
  (/ 1 2)
  (sqrt (sqrt (- x 1)))
  (sqrt (sqrt (- x 1)))
  (real->posit16 (sqrt (- x 1)))
  (+ (* 1/8 (/ (pow x 4) (sqrt -1))) (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1)))
  (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (+ x (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1)))
  (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
  (- x (+ (* +nan.0 (/ 1 x)) (- +nan.0)))
  (+ (* 1/2 (/ x (sqrt -1))) (+ (* 1/8 (/ (pow x 2) (sqrt -1))) (sqrt -1)))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
3.309 * * [simplify]: iteration 0: 145 enodes
3.357 * * [simplify]: iteration 1: 331 enodes
3.451 * * [simplify]: iteration 2: 757 enodes
3.620 * * [simplify]: iteration 3: 2000 enodes
4.020 * * [simplify]: iteration complete: 2000 enodes
4.020 * * [simplify]: Extracting #0: cost 65 inf + 0
4.022 * * [simplify]: Extracting #1: cost 311 inf + 2
4.025 * * [simplify]: Extracting #2: cost 659 inf + 1621
4.042 * * [simplify]: Extracting #3: cost 601 inf + 48631
4.071 * * [simplify]: Extracting #4: cost 214 inf + 139510
4.115 * * [simplify]: Extracting #5: cost 35 inf + 196435
4.160 * * [simplify]: Extracting #6: cost 1 inf + 205456
4.201 * * [simplify]: Extracting #7: cost 0 inf + 205709
4.251 * [simplify]: Simplified to:
  (* (+ x 1) (- x 1))
  (* (sqrt (+ x 1)) (sqrt (- x 1)))
  (* (+ x 1) (- x 1))
  (log (* (sqrt (+ x 1)) (sqrt (- x 1))))
  (log (* (sqrt (+ x 1)) (sqrt (- x 1))))
  (exp (* (sqrt (+ x 1)) (sqrt (- x 1))))
  (* (* (sqrt (+ x 1)) (sqrt (- x 1))) (* (+ x 1) (- x 1)))
  (* (cbrt (* (sqrt (+ x 1)) (sqrt (- x 1)))) (cbrt (* (sqrt (+ x 1)) (sqrt (- x 1)))))
  (cbrt (* (sqrt (+ x 1)) (sqrt (- x 1))))
  (* (* (sqrt (+ x 1)) (sqrt (- x 1))) (* (+ x 1) (- x 1)))
  (* (+ x 1) (- x 1))
  (sqrt (* (sqrt (+ x 1)) (sqrt (- x 1))))
  (sqrt (* (sqrt (+ x 1)) (sqrt (- x 1))))
  (* (sqrt (+ -1 (* x (* x x)))) (sqrt (+ 1 (* x (* x x)))))
  (* (sqrt (- 1 (- x (* x x)))) (sqrt (+ (* x x) (+ 1 x))))
  (* (sqrt (- (* x x) 1)) (sqrt (+ 1 (* x (* x x)))))
  (* (sqrt (+ x 1)) (sqrt (- 1 (- x (* x x)))))
  (* (sqrt (+ -1 (* x (* x x)))) (sqrt (- (* x x) 1)))
  (* (sqrt (+ (* x x) (+ 1 x))) (sqrt (- x 1)))
  (- (* x x) 1)
  (* (sqrt (+ x 1)) (sqrt (- x 1)))
  (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1))))
  (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (- x 1))))
  (* (* (sqrt (+ x 1)) (cbrt (sqrt (- x 1)))) (cbrt (sqrt (- x 1))))
  (* (fabs (cbrt (- x 1))) (sqrt (+ x 1)))
  (* (sqrt (+ x 1)) (sqrt (sqrt (- x 1))))
  (sqrt (+ x 1))
  (* (sqrt (+ x 1)) (sqrt (+ (sqrt x) 1)))
  (* (sqrt (+ x 1)) (sqrt (+ (sqrt x) 1)))
  (* (sqrt (+ x 1)) (sqrt (+ (sqrt x) 1)))
  (sqrt (+ x 1))
  (* (sqrt (+ x 1)) (sqrt (sqrt (- x 1))))
  (sqrt (+ x 1))
  (* (cbrt (sqrt (+ x 1))) (sqrt (- x 1)))
  (* (sqrt (cbrt (+ x 1))) (sqrt (- x 1)))
  (* (sqrt (sqrt (+ x 1))) (sqrt (- x 1)))
  (* (sqrt (+ x 1)) (sqrt (- x 1)))
  (* (sqrt (+ x 1)) (sqrt (- x 1)))
  (* (sqrt (sqrt (+ x 1))) (sqrt (- x 1)))
  (* (sqrt (+ x 1)) (sqrt (- x 1)))
  (* (sqrt (+ -1 (* x (* x x)))) (sqrt (+ x 1)))
  (* (sqrt (+ x 1)) (sqrt (- (* x x) 1)))
  (* (sqrt (+ 1 (* x (* x x)))) (sqrt (- x 1)))
  (* (sqrt (- (* x x) 1)) (sqrt (- x 1)))
  (real->posit16 (* (sqrt (+ x 1)) (sqrt (- x 1))))
  (exp (+ x (* (sqrt (+ x 1)) (sqrt (- x 1)))))
  (log (+ x (* (sqrt (+ x 1)) (sqrt (- x 1)))))
  (exp (+ x (* (sqrt (+ x 1)) (sqrt (- x 1)))))
  (* (cbrt (+ x (* (sqrt (+ x 1)) (sqrt (- x 1))))) (cbrt (+ x (* (sqrt (+ x 1)) (sqrt (- x 1))))))
  (cbrt (+ x (* (sqrt (+ x 1)) (sqrt (- x 1)))))
  (* (* (+ x (* (sqrt (+ x 1)) (sqrt (- x 1)))) (+ x (* (sqrt (+ x 1)) (sqrt (- x 1))))) (+ x (* (sqrt (+ x 1)) (sqrt (- x 1)))))
  (sqrt (+ x (* (sqrt (+ x 1)) (sqrt (- x 1)))))
  (sqrt (+ x (* (sqrt (+ x 1)) (sqrt (- x 1)))))
  (+ (* (* (sqrt (+ x 1)) (sqrt (- x 1))) (* (+ x 1) (- x 1))) (* x (* x x)))
  (+ (* x x) (* (- (* (sqrt (+ x 1)) (sqrt (- x 1))) x) (* (sqrt (+ x 1)) (sqrt (- x 1)))))
  (- (* x x) (* (+ x 1) (- x 1)))
  (- x (* (sqrt (+ x 1)) (sqrt (- x 1))))
  (real->posit16 (+ x (* (sqrt (+ x 1)) (sqrt (- x 1)))))
  (log (sqrt (- x 1)))
  (exp (sqrt (- x 1)))
  (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1))))
  (cbrt (sqrt (- x 1)))
  (* (- x 1) (sqrt (- x 1)))
  (fabs (cbrt (- x 1)))
  (sqrt (cbrt (- x 1)))
  (sqrt (sqrt (- x 1)))
  (sqrt (sqrt (- x 1)))
  1
  (sqrt (- x 1))
  (sqrt (+ (sqrt x) 1))
  (sqrt (- (sqrt x) 1))
  (sqrt (+ (sqrt x) 1))
  (sqrt (- (sqrt x) 1))
  (sqrt (+ (sqrt x) 1))
  (sqrt (- (sqrt x) 1))
  1
  (sqrt (- x 1))
  (sqrt (+ -1 (* x (* x x))))
  (sqrt (+ (* x x) (+ 1 x)))
  (sqrt (- (* x x) 1))
  (sqrt (+ x 1))
  1/2
  (sqrt (sqrt (- x 1)))
  (sqrt (sqrt (- x 1)))
  (real->posit16 (sqrt (- x 1)))
  (+ (+ (sqrt -1) (/ (* 1/2 (* x x)) (sqrt -1))) (/ (* (* 1/8 (* x x)) (* x x)) (sqrt -1)))
  (- (- x (/ 1/2 x)) (/ (/ 1/8 x) (* x x)))
  (- (- (/ +nan.0 (* x x)) (- (/ +nan.0 x) +nan.0)))
  (+ (+ x (sqrt -1)) (/ (* 1/2 (* x x)) (sqrt -1)))
  (- (- (* 2 x) (/ 1/2 x)) (/ (/ 1/8 x) (* x x)))
  (- x (- (/ +nan.0 x) +nan.0))
  (+ (+ (/ (* x 1/2) (sqrt -1)) (sqrt -1)) (/ (* (* x x) 1/8) (sqrt -1)))
  (- (- (/ +nan.0 (* x x)) (- (/ +nan.0 x) +nan.0)))
  (- (- (/ +nan.0 (* x x)) (- (/ +nan.0 x) +nan.0)))
4.257 * * * [progress]: adding candidates to table
4.537 * [progress]: [Phase 3 of 3] Extracting.
4.539 * [simplify]: Simplifying:
  (log (+ x (* (sqrt (+ x 1)) (sqrt (- x 1)))))
4.539 * * [simplify]: iteration 0: 9 enodes
4.540 * * [simplify]: iteration 1: 14 enodes
4.540 * * [simplify]: iteration complete: 14 enodes
4.540 * * [simplify]: Extracting #0: cost 1 inf + 0
4.540 * * [simplify]: Extracting #1: cost 2 inf + 0
4.540 * * [simplify]: Extracting #2: cost 4 inf + 0
4.540 * * [simplify]: Extracting #3: cost 5 inf + 1
4.540 * * [simplify]: Extracting #4: cost 7 inf + 1
4.540 * * [simplify]: Extracting #5: cost 8 inf + 1
4.541 * * [simplify]: Extracting #6: cost 0 inf + 1006
4.541 * [simplify]: Simplified to:
  (log (+ x (* (sqrt (+ 1 x)) (sqrt (- x 1)))))
8.659 * [regime-testing]: Baseline error score: 0.04182004410269946
8.662 * [regime-testing]: Oracle error score: 0.04182004410269946
8.662 * [regime-testing]: End program error score: 0.04182004410269946