36.510 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.018 * * * [progress]: [2/2] Setting up program.
0.021 * [progress]: [Phase 2 of 3] Improving.
0.021 * [simplify]: Simplifying:
  (+ (* x y) (* (- 1.0 x) z))
0.021 * * [simplify]: iteration 0: 8 enodes
0.023 * * [simplify]: iteration 1: 14 enodes
0.024 * * [simplify]: iteration 2: 24 enodes
0.027 * * [simplify]: iteration 3: 40 enodes
0.034 * * [simplify]: iteration 4: 70 enodes
0.043 * * [simplify]: iteration 5: 103 enodes
0.054 * * [simplify]: iteration 6: 121 enodes
0.071 * * [simplify]: iteration 7: 147 enodes
0.093 * * [simplify]: iteration 8: 199 enodes
0.145 * * [simplify]: iteration 9: 486 enodes
0.367 * * [simplify]: iteration 10: 2087 enodes
3.602 * * [simplify]: iteration complete: 5001 enodes
3.603 * * [simplify]: Extracting #0: cost 1 inf + 0
3.604 * * [simplify]: Extracting #1: cost 250 inf + 0
3.620 * * [simplify]: Extracting #2: cost 771 inf + 6597
3.640 * * [simplify]: Extracting #3: cost 82 inf + 54045
3.677 * * [simplify]: Extracting #4: cost 0 inf + 61473
3.706 * * [simplify]: Extracting #5: cost 0 inf + 61418
3.748 * [simplify]: Simplified to:
  (fma x y (* z (- 1.0 x)))
3.758 * * [progress]: iteration 1 / 4
3.758 * * * [progress]: picking best candidate
3.765 * * * * [pick]: Picked  #<alt (λ (x y z) (fma x y (* z (- 1.0 x))))>
3.765 * * * [progress]: localizing error
3.777 * * * [progress]: generating rewritten candidates
3.777 * * * * [progress]: [ 1 / 1 ] rewriting at (2 3)
3.803 * * * [progress]: generating series expansions
3.803 * * * * [progress]: [ 1 / 1 ] generating series at (2 3)
3.803 * [backup-simplify]: Simplify (* z (- 1.0 x)) into (* z (- 1.0 x))
3.803 * [approximate]: Taking taylor expansion of (* z (- 1.0 x)) in (z x) around 0
3.803 * [taylor]: Taking taylor expansion of (* z (- 1.0 x)) in x
3.803 * [taylor]: Taking taylor expansion of z in x
3.803 * [backup-simplify]: Simplify z into z
3.803 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
3.803 * [taylor]: Taking taylor expansion of 1.0 in x
3.803 * [backup-simplify]: Simplify 1.0 into 1.0
3.803 * [taylor]: Taking taylor expansion of x in x
3.803 * [backup-simplify]: Simplify 0 into 0
3.803 * [backup-simplify]: Simplify 1 into 1
3.803 * [taylor]: Taking taylor expansion of (* z (- 1.0 x)) in z
3.803 * [taylor]: Taking taylor expansion of z in z
3.803 * [backup-simplify]: Simplify 0 into 0
3.803 * [backup-simplify]: Simplify 1 into 1
3.803 * [taylor]: Taking taylor expansion of (- 1.0 x) in z
3.804 * [taylor]: Taking taylor expansion of 1.0 in z
3.804 * [backup-simplify]: Simplify 1.0 into 1.0
3.804 * [taylor]: Taking taylor expansion of x in z
3.804 * [backup-simplify]: Simplify x into x
3.804 * [taylor]: Taking taylor expansion of (* z (- 1.0 x)) in z
3.804 * [taylor]: Taking taylor expansion of z in z
3.804 * [backup-simplify]: Simplify 0 into 0
3.804 * [backup-simplify]: Simplify 1 into 1
3.804 * [taylor]: Taking taylor expansion of (- 1.0 x) in z
3.804 * [taylor]: Taking taylor expansion of 1.0 in z
3.804 * [backup-simplify]: Simplify 1.0 into 1.0
3.804 * [taylor]: Taking taylor expansion of x in z
3.804 * [backup-simplify]: Simplify x into x
3.804 * [backup-simplify]: Simplify (- x) into (- x)
3.804 * [backup-simplify]: Simplify (+ 1.0 (- x)) into (- 1.0 x)
3.804 * [backup-simplify]: Simplify (* 0 (- 1.0 x)) into 0
3.804 * [taylor]: Taking taylor expansion of 0 in x
3.804 * [backup-simplify]: Simplify 0 into 0
3.804 * [backup-simplify]: Simplify 0 into 0
3.805 * [backup-simplify]: Simplify (- 0) into 0
3.805 * [backup-simplify]: Simplify (+ 0 0) into 0
3.806 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- 1.0 x))) into (- 1.0 x)
3.806 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
3.806 * [taylor]: Taking taylor expansion of 1.0 in x
3.806 * [backup-simplify]: Simplify 1.0 into 1.0
3.806 * [taylor]: Taking taylor expansion of x in x
3.806 * [backup-simplify]: Simplify 0 into 0
3.806 * [backup-simplify]: Simplify 1 into 1
3.806 * [backup-simplify]: Simplify (- 0) into 0
3.807 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.807 * [backup-simplify]: Simplify 1.0 into 1.0
3.807 * [backup-simplify]: Simplify 0 into 0
3.807 * [backup-simplify]: Simplify (- 0) into 0
3.808 * [backup-simplify]: Simplify (+ 0 0) into 0
3.808 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- 1.0 x)))) into 0
3.808 * [taylor]: Taking taylor expansion of 0 in x
3.808 * [backup-simplify]: Simplify 0 into 0
3.809 * [backup-simplify]: Simplify 0 into 0
3.809 * [backup-simplify]: Simplify (- 1) into -1
3.809 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.809 * [backup-simplify]: Simplify -1 into -1
3.809 * [backup-simplify]: Simplify 0 into 0
3.810 * [backup-simplify]: Simplify (- 0) into 0
3.810 * [backup-simplify]: Simplify (+ 0 0) into 0
3.812 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- 1.0 x))))) into 0
3.812 * [taylor]: Taking taylor expansion of 0 in x
3.812 * [backup-simplify]: Simplify 0 into 0
3.812 * [backup-simplify]: Simplify 0 into 0
3.812 * [backup-simplify]: Simplify 0 into 0
3.812 * [backup-simplify]: Simplify (- 0) into 0
3.812 * [backup-simplify]: Simplify (+ 0 0) into 0
3.812 * [backup-simplify]: Simplify 0 into 0
3.812 * [backup-simplify]: Simplify 0 into 0
3.813 * [backup-simplify]: Simplify (- 0) into 0
3.813 * [backup-simplify]: Simplify (+ 0 0) into 0
3.815 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- 1.0 x)))))) into 0
3.815 * [taylor]: Taking taylor expansion of 0 in x
3.815 * [backup-simplify]: Simplify 0 into 0
3.815 * [backup-simplify]: Simplify 0 into 0
3.815 * [backup-simplify]: Simplify (+ (* -1 (* x z)) (* 1.0 (* 1 z))) into (- (* 1.0 z) (* x z))
3.815 * [backup-simplify]: Simplify (* (/ 1 z) (- 1.0 (/ 1 x))) into (/ (- 1.0 (/ 1 x)) z)
3.815 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in (z x) around 0
3.815 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in x
3.815 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
3.815 * [taylor]: Taking taylor expansion of 1.0 in x
3.815 * [backup-simplify]: Simplify 1.0 into 1.0
3.815 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.815 * [taylor]: Taking taylor expansion of x in x
3.815 * [backup-simplify]: Simplify 0 into 0
3.816 * [backup-simplify]: Simplify 1 into 1
3.816 * [backup-simplify]: Simplify (/ 1 1) into 1
3.816 * [taylor]: Taking taylor expansion of z in x
3.816 * [backup-simplify]: Simplify z into z
3.816 * [backup-simplify]: Simplify (- 1) into -1
3.817 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.817 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
3.817 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in z
3.817 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in z
3.817 * [taylor]: Taking taylor expansion of 1.0 in z
3.817 * [backup-simplify]: Simplify 1.0 into 1.0
3.817 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.817 * [taylor]: Taking taylor expansion of x in z
3.817 * [backup-simplify]: Simplify x into x
3.817 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.817 * [taylor]: Taking taylor expansion of z in z
3.817 * [backup-simplify]: Simplify 0 into 0
3.817 * [backup-simplify]: Simplify 1 into 1
3.817 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
3.817 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x))
3.817 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 x)) 1) into (- 1.0 (/ 1 x))
3.818 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in z
3.818 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in z
3.818 * [taylor]: Taking taylor expansion of 1.0 in z
3.818 * [backup-simplify]: Simplify 1.0 into 1.0
3.818 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.818 * [taylor]: Taking taylor expansion of x in z
3.818 * [backup-simplify]: Simplify x into x
3.818 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.818 * [taylor]: Taking taylor expansion of z in z
3.818 * [backup-simplify]: Simplify 0 into 0
3.818 * [backup-simplify]: Simplify 1 into 1
3.818 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
3.818 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x))
3.818 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 x)) 1) into (- 1.0 (/ 1 x))
3.818 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
3.818 * [taylor]: Taking taylor expansion of 1.0 in x
3.818 * [backup-simplify]: Simplify 1.0 into 1.0
3.818 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.818 * [taylor]: Taking taylor expansion of x in x
3.818 * [backup-simplify]: Simplify 0 into 0
3.818 * [backup-simplify]: Simplify 1 into 1
3.819 * [backup-simplify]: Simplify (/ 1 1) into 1
3.819 * [backup-simplify]: Simplify (- 1) into -1
3.820 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.820 * [backup-simplify]: Simplify -1 into -1
3.820 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.820 * [backup-simplify]: Simplify (- 0) into 0
3.820 * [backup-simplify]: Simplify (+ 0 0) into 0
3.821 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 1.0 (/ 1 x)) (/ 0 1)))) into 0
3.821 * [taylor]: Taking taylor expansion of 0 in x
3.821 * [backup-simplify]: Simplify 0 into 0
3.822 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.823 * [backup-simplify]: Simplify (- 0) into 0
3.823 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.823 * [backup-simplify]: Simplify 1.0 into 1.0
3.823 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.824 * [backup-simplify]: Simplify (- 0) into 0
3.824 * [backup-simplify]: Simplify (+ 0 0) into 0
3.825 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 1.0 (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.825 * [taylor]: Taking taylor expansion of 0 in x
3.825 * [backup-simplify]: Simplify 0 into 0
3.825 * [backup-simplify]: Simplify 0 into 0
3.826 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.827 * [backup-simplify]: Simplify (- 0) into 0
3.827 * [backup-simplify]: Simplify (+ 0 0) into 0
3.827 * [backup-simplify]: Simplify 0 into 0
3.827 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.828 * [backup-simplify]: Simplify (- 0) into 0
3.828 * [backup-simplify]: Simplify (+ 0 0) into 0
3.830 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 1.0 (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.830 * [taylor]: Taking taylor expansion of 0 in x
3.830 * [backup-simplify]: Simplify 0 into 0
3.830 * [backup-simplify]: Simplify 0 into 0
3.830 * [backup-simplify]: Simplify 0 into 0
3.831 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.831 * [backup-simplify]: Simplify (- 0) into 0
3.832 * [backup-simplify]: Simplify (+ 0 0) into 0
3.832 * [backup-simplify]: Simplify 0 into 0
3.832 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.832 * [backup-simplify]: Simplify (- 0) into 0
3.833 * [backup-simplify]: Simplify (+ 0 0) into 0
3.835 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 1.0 (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.835 * [taylor]: Taking taylor expansion of 0 in x
3.835 * [backup-simplify]: Simplify 0 into 0
3.835 * [backup-simplify]: Simplify 0 into 0
3.836 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (/ 1 (/ 1 z)))) (* -1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 z))))) into (- (* 1.0 z) (* x z))
3.836 * [backup-simplify]: Simplify (* (/ 1 (- z)) (- 1.0 (/ 1 (- x)))) into (* -1 (/ (+ (/ 1 x) 1.0) z))
3.836 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in (z x) around 0
3.836 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in x
3.836 * [taylor]: Taking taylor expansion of -1 in x
3.836 * [backup-simplify]: Simplify -1 into -1
3.836 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) z) in x
3.836 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
3.836 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.836 * [taylor]: Taking taylor expansion of x in x
3.836 * [backup-simplify]: Simplify 0 into 0
3.836 * [backup-simplify]: Simplify 1 into 1
3.836 * [backup-simplify]: Simplify (/ 1 1) into 1
3.836 * [taylor]: Taking taylor expansion of 1.0 in x
3.837 * [backup-simplify]: Simplify 1.0 into 1.0
3.837 * [taylor]: Taking taylor expansion of z in x
3.837 * [backup-simplify]: Simplify z into z
3.837 * [backup-simplify]: Simplify (+ 1 0) into 1
3.837 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.837 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in z
3.837 * [taylor]: Taking taylor expansion of -1 in z
3.837 * [backup-simplify]: Simplify -1 into -1
3.837 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) z) in z
3.837 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in z
3.837 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.837 * [taylor]: Taking taylor expansion of x in z
3.837 * [backup-simplify]: Simplify x into x
3.837 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.837 * [taylor]: Taking taylor expansion of 1.0 in z
3.837 * [backup-simplify]: Simplify 1.0 into 1.0
3.837 * [taylor]: Taking taylor expansion of z in z
3.837 * [backup-simplify]: Simplify 0 into 0
3.838 * [backup-simplify]: Simplify 1 into 1
3.838 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ (/ 1 x) 1.0)
3.838 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 1.0) 1) into (+ (/ 1 x) 1.0)
3.838 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in z
3.838 * [taylor]: Taking taylor expansion of -1 in z
3.838 * [backup-simplify]: Simplify -1 into -1
3.838 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) z) in z
3.838 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in z
3.838 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.838 * [taylor]: Taking taylor expansion of x in z
3.838 * [backup-simplify]: Simplify x into x
3.838 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.838 * [taylor]: Taking taylor expansion of 1.0 in z
3.838 * [backup-simplify]: Simplify 1.0 into 1.0
3.838 * [taylor]: Taking taylor expansion of z in z
3.838 * [backup-simplify]: Simplify 0 into 0
3.838 * [backup-simplify]: Simplify 1 into 1
3.838 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ (/ 1 x) 1.0)
3.838 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 1.0) 1) into (+ (/ 1 x) 1.0)
3.838 * [backup-simplify]: Simplify (* -1 (+ (/ 1 x) 1.0)) into (* -1 (+ (/ 1 x) 1.0))
3.838 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 x) 1.0)) in x
3.839 * [taylor]: Taking taylor expansion of -1 in x
3.839 * [backup-simplify]: Simplify -1 into -1
3.839 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
3.839 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.839 * [taylor]: Taking taylor expansion of x in x
3.839 * [backup-simplify]: Simplify 0 into 0
3.839 * [backup-simplify]: Simplify 1 into 1
3.839 * [backup-simplify]: Simplify (/ 1 1) into 1
3.839 * [taylor]: Taking taylor expansion of 1.0 in x
3.839 * [backup-simplify]: Simplify 1.0 into 1.0
3.840 * [backup-simplify]: Simplify (+ 1 0) into 1
3.840 * [backup-simplify]: Simplify (* -1 1) into -1
3.840 * [backup-simplify]: Simplify -1 into -1
3.840 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.841 * [backup-simplify]: Simplify (+ 0 0) into 0
3.842 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 x) 1.0) (/ 0 1)))) into 0
3.842 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (+ (/ 1 x) 1.0))) into 0
3.842 * [taylor]: Taking taylor expansion of 0 in x
3.842 * [backup-simplify]: Simplify 0 into 0
3.843 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.843 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.845 * [backup-simplify]: Simplify (+ (* -1 1.0) (* 0 1)) into (- 1.0)
3.845 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.845 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.846 * [backup-simplify]: Simplify (+ 0 0) into 0
3.847 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 x) 1.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.848 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (+ (/ 1 x) 1.0)))) into 0
3.848 * [taylor]: Taking taylor expansion of 0 in x
3.848 * [backup-simplify]: Simplify 0 into 0
3.848 * [backup-simplify]: Simplify 0 into 0
3.849 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.850 * [backup-simplify]: Simplify (+ 0 0) into 0
3.851 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1.0) (* 0 1))) into 0
3.851 * [backup-simplify]: Simplify 0 into 0
3.851 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.852 * [backup-simplify]: Simplify (+ 0 0) into 0
3.854 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 x) 1.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.855 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (/ 1 x) 1.0))))) into 0
3.855 * [taylor]: Taking taylor expansion of 0 in x
3.855 * [backup-simplify]: Simplify 0 into 0
3.855 * [backup-simplify]: Simplify 0 into 0
3.855 * [backup-simplify]: Simplify 0 into 0
3.856 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.856 * [backup-simplify]: Simplify (+ 0 0) into 0
3.858 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1)))) into 0
3.858 * [backup-simplify]: Simplify 0 into 0
3.858 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.859 * [backup-simplify]: Simplify (+ 0 0) into 0
3.861 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 x) 1.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.863 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (/ 1 x) 1.0)))))) into 0
3.863 * [taylor]: Taking taylor expansion of 0 in x
3.863 * [backup-simplify]: Simplify 0 into 0
3.863 * [backup-simplify]: Simplify 0 into 0
3.864 * [backup-simplify]: Simplify (+ (* (- 1.0) (* 1 (/ 1 (/ 1 (- z))))) (* -1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- z)))))) into (- (* 1.0 z) (* x z))
3.864 * * * [progress]: simplifying candidates
3.865 * [simplify]: Simplifying:
  (expm1 (* z (- 1.0 x)))
  (log1p (* z (- 1.0 x)))
  (* z (- 1.0 x))
  (+ (log z) (log (- 1.0 x)))
  (log (* z (- 1.0 x)))
  (exp (* z (- 1.0 x)))
  (* (* (* z z) z) (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)))
  (* (cbrt (* z (- 1.0 x))) (cbrt (* z (- 1.0 x))))
  (cbrt (* z (- 1.0 x)))
  (* (* (* z (- 1.0 x)) (* z (- 1.0 x))) (* z (- 1.0 x)))
  (sqrt (* z (- 1.0 x)))
  (sqrt (* z (- 1.0 x)))
  (* (sqrt z) (sqrt (- 1.0 x)))
  (* (sqrt z) (sqrt (- 1.0 x)))
  (* z (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))
  (* z (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))
  (* z (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt x) (sqrt x)))))
  (* z (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))
  (* z (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* x 1))))
  (* z (fma (- x) 1 (* x 1)))
  (* z (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))
  (* z (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))
  (* z (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt x) (sqrt x)))))
  (* z (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))
  (* z (fma (sqrt 1.0) (sqrt 1.0) (- (* x 1))))
  (* z (fma (- x) 1 (* x 1)))
  (* z (fma 1 1.0 (- (* (cbrt x) (* (cbrt x) (cbrt x))))))
  (* z (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))
  (* z (fma 1 1.0 (- (* (sqrt x) (sqrt x)))))
  (* z (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))
  (* z (fma 1 1.0 (- (* x 1))))
  (* z (fma (- x) 1 (* x 1)))
  (* z 1.0)
  (* z (- x))
  (* z 1.0)
  (* z (- x))
  (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x))))) z)
  (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) z)
  (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt x) (sqrt x)))) z)
  (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) z)
  (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* x 1))) z)
  (* (fma (- x) 1 (* x 1)) z)
  (* (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x))))) z)
  (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) z)
  (* (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt x) (sqrt x)))) z)
  (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) z)
  (* (fma (sqrt 1.0) (sqrt 1.0) (- (* x 1))) z)
  (* (fma (- x) 1 (* x 1)) z)
  (* (fma 1 1.0 (- (* (cbrt x) (* (cbrt x) (cbrt x))))) z)
  (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) z)
  (* (fma 1 1.0 (- (* (sqrt x) (sqrt x)))) z)
  (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) z)
  (* (fma 1 1.0 (- (* x 1))) z)
  (* (fma (- x) 1 (* x 1)) z)
  (* 1.0 z)
  (* (- x) z)
  (* 1.0 z)
  (* (- x) z)
  (* z (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (* z (sqrt (- 1.0 x)))
  (* z 1)
  (* z (+ (sqrt 1.0) (sqrt x)))
  (* z 1)
  (* (cbrt z) (- 1.0 x))
  (* (sqrt z) (- 1.0 x))
  (* z (- 1.0 x))
  (* z (- (pow 1.0 3) (pow x 3)))
  (* z (- (* 1.0 1.0) (* x x)))
  (- (* 1.0 z) (* x z))
  (- (* 1.0 z) (* x z))
  (- (* 1.0 z) (* x z))
3.867 * * [simplify]: iteration 0: 102 enodes
3.910 * * [simplify]: iteration 1: 235 enodes
3.983 * * [simplify]: iteration 2: 835 enodes
4.299 * * [simplify]: iteration complete: 5000 enodes
4.299 * * [simplify]: Extracting #0: cost 25 inf + 0
4.301 * * [simplify]: Extracting #1: cost 762 inf + 1
4.306 * * [simplify]: Extracting #2: cost 2136 inf + 7580
4.329 * * [simplify]: Extracting #3: cost 1289 inf + 113087
4.400 * * [simplify]: Extracting #4: cost 147 inf + 294027
4.475 * * [simplify]: Extracting #5: cost 30 inf + 317756
4.552 * * [simplify]: Extracting #6: cost 4 inf + 323310
4.606 * * [simplify]: Extracting #7: cost 0 inf + 324322
4.698 * [simplify]: Simplified to:
  (expm1 (* z (- 1.0 x)))
  (log1p (* z (- 1.0 x)))
  (* z (- 1.0 x))
  (log (* z (- 1.0 x)))
  (log (* z (- 1.0 x)))
  (exp (* z (- 1.0 x)))
  (* (* z (- 1.0 x)) (* (* z (- 1.0 x)) (* z (- 1.0 x))))
  (* (cbrt (* z (- 1.0 x))) (cbrt (* z (- 1.0 x))))
  (cbrt (* z (- 1.0 x)))
  (* (* z (- 1.0 x)) (* (* z (- 1.0 x)) (* z (- 1.0 x))))
  (sqrt (* z (- 1.0 x)))
  (sqrt (* z (- 1.0 x)))
  (* (sqrt (- 1.0 x)) (sqrt z))
  (* (sqrt (- 1.0 x)) (sqrt z))
  (* z (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x))
  (* z (fma -1 x x))
  (* z (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x))
  (* z (fma -1 x x))
  (* z (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z 1.0)
  (* (- z) x)
  (* z 1.0)
  (* (- z) x)
  (* z (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x))
  (* z (fma -1 x x))
  (* z (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x))
  (* z (fma -1 x x))
  (* z (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z 1.0)
  (* (- z) x)
  (* z 1.0)
  (* (- z) x)
  (* (cbrt (- 1.0 x)) (* (cbrt (- 1.0 x)) z))
  (* (sqrt (- 1.0 x)) z)
  z
  (* z (+ (sqrt x) (sqrt 1.0)))
  z
  (* (- 1.0 x) (cbrt z))
  (* (- 1.0 x) (sqrt z))
  (* z (- 1.0 x))
  (* z (- (* (* 1.0 1.0) 1.0) (* (* x x) x)))
  (* (* z (+ x 1.0)) (- 1.0 x))
  (* z (- 1.0 x))
  (* z (- 1.0 x))
  (* z (- 1.0 x))
4.701 * * * [progress]: adding candidates to table
4.849 * * [progress]: iteration 2 / 4
4.849 * * * [progress]: picking best candidate
4.853 * * * * [pick]: Picked  #<alt (λ (x y z) (fma x y (* (sqrt z) (* (sqrt z) (- 1.0 x)))))>
4.853 * * * [progress]: localizing error
4.865 * * * [progress]: generating rewritten candidates
4.865 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3)
4.910 * * * * [progress]: [ 2 / 2 ] rewriting at (2 3 2)
4.937 * * * [progress]: generating series expansions
4.937 * * * * [progress]: [ 1 / 2 ] generating series at (2 3)
4.937 * [backup-simplify]: Simplify (* (sqrt z) (* (sqrt z) (- 1.0 x))) into (* z (- 1.0 x))
4.937 * [approximate]: Taking taylor expansion of (* z (- 1.0 x)) in (z x) around 0
4.937 * [taylor]: Taking taylor expansion of (* z (- 1.0 x)) in x
4.937 * [taylor]: Taking taylor expansion of z in x
4.937 * [backup-simplify]: Simplify z into z
4.937 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
4.937 * [taylor]: Taking taylor expansion of 1.0 in x
4.937 * [backup-simplify]: Simplify 1.0 into 1.0
4.937 * [taylor]: Taking taylor expansion of x in x
4.937 * [backup-simplify]: Simplify 0 into 0
4.937 * [backup-simplify]: Simplify 1 into 1
4.937 * [taylor]: Taking taylor expansion of (* z (- 1.0 x)) in z
4.937 * [taylor]: Taking taylor expansion of z in z
4.937 * [backup-simplify]: Simplify 0 into 0
4.938 * [backup-simplify]: Simplify 1 into 1
4.938 * [taylor]: Taking taylor expansion of (- 1.0 x) in z
4.938 * [taylor]: Taking taylor expansion of 1.0 in z
4.938 * [backup-simplify]: Simplify 1.0 into 1.0
4.938 * [taylor]: Taking taylor expansion of x in z
4.938 * [backup-simplify]: Simplify x into x
4.938 * [taylor]: Taking taylor expansion of (* z (- 1.0 x)) in z
4.938 * [taylor]: Taking taylor expansion of z in z
4.938 * [backup-simplify]: Simplify 0 into 0
4.938 * [backup-simplify]: Simplify 1 into 1
4.938 * [taylor]: Taking taylor expansion of (- 1.0 x) in z
4.938 * [taylor]: Taking taylor expansion of 1.0 in z
4.938 * [backup-simplify]: Simplify 1.0 into 1.0
4.938 * [taylor]: Taking taylor expansion of x in z
4.938 * [backup-simplify]: Simplify x into x
4.938 * [backup-simplify]: Simplify (- x) into (- x)
4.938 * [backup-simplify]: Simplify (+ 1.0 (- x)) into (- 1.0 x)
4.938 * [backup-simplify]: Simplify (* 0 (- 1.0 x)) into 0
4.938 * [taylor]: Taking taylor expansion of 0 in x
4.938 * [backup-simplify]: Simplify 0 into 0
4.938 * [backup-simplify]: Simplify 0 into 0
4.938 * [backup-simplify]: Simplify (- 0) into 0
4.939 * [backup-simplify]: Simplify (+ 0 0) into 0
4.939 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- 1.0 x))) into (- 1.0 x)
4.939 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
4.939 * [taylor]: Taking taylor expansion of 1.0 in x
4.939 * [backup-simplify]: Simplify 1.0 into 1.0
4.939 * [taylor]: Taking taylor expansion of x in x
4.939 * [backup-simplify]: Simplify 0 into 0
4.939 * [backup-simplify]: Simplify 1 into 1
4.939 * [backup-simplify]: Simplify (- 0) into 0
4.940 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.940 * [backup-simplify]: Simplify 1.0 into 1.0
4.940 * [backup-simplify]: Simplify 0 into 0
4.940 * [backup-simplify]: Simplify (- 0) into 0
4.940 * [backup-simplify]: Simplify (+ 0 0) into 0
4.941 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- 1.0 x)))) into 0
4.941 * [taylor]: Taking taylor expansion of 0 in x
4.941 * [backup-simplify]: Simplify 0 into 0
4.941 * [backup-simplify]: Simplify 0 into 0
4.941 * [backup-simplify]: Simplify (- 1) into -1
4.941 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.941 * [backup-simplify]: Simplify -1 into -1
4.942 * [backup-simplify]: Simplify 0 into 0
4.942 * [backup-simplify]: Simplify (- 0) into 0
4.942 * [backup-simplify]: Simplify (+ 0 0) into 0
4.943 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- 1.0 x))))) into 0
4.943 * [taylor]: Taking taylor expansion of 0 in x
4.943 * [backup-simplify]: Simplify 0 into 0
4.943 * [backup-simplify]: Simplify 0 into 0
4.943 * [backup-simplify]: Simplify 0 into 0
4.944 * [backup-simplify]: Simplify (- 0) into 0
4.944 * [backup-simplify]: Simplify (+ 0 0) into 0
4.944 * [backup-simplify]: Simplify 0 into 0
4.944 * [backup-simplify]: Simplify 0 into 0
4.945 * [backup-simplify]: Simplify (- 0) into 0
4.945 * [backup-simplify]: Simplify (+ 0 0) into 0
4.946 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- 1.0 x)))))) into 0
4.947 * [taylor]: Taking taylor expansion of 0 in x
4.947 * [backup-simplify]: Simplify 0 into 0
4.947 * [backup-simplify]: Simplify 0 into 0
4.947 * [backup-simplify]: Simplify (+ (* -1 (* x z)) (* 1.0 (* 1 z))) into (- (* 1.0 z) (* x z))
4.947 * [backup-simplify]: Simplify (* (sqrt (/ 1 z)) (* (sqrt (/ 1 z)) (- 1.0 (/ 1 x)))) into (/ (- 1.0 (/ 1 x)) z)
4.947 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in (z x) around 0
4.947 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in x
4.947 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
4.947 * [taylor]: Taking taylor expansion of 1.0 in x
4.947 * [backup-simplify]: Simplify 1.0 into 1.0
4.947 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.947 * [taylor]: Taking taylor expansion of x in x
4.947 * [backup-simplify]: Simplify 0 into 0
4.947 * [backup-simplify]: Simplify 1 into 1
4.948 * [backup-simplify]: Simplify (/ 1 1) into 1
4.948 * [taylor]: Taking taylor expansion of z in x
4.948 * [backup-simplify]: Simplify z into z
4.948 * [backup-simplify]: Simplify (- 1) into -1
4.948 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.949 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
4.949 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in z
4.949 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in z
4.949 * [taylor]: Taking taylor expansion of 1.0 in z
4.949 * [backup-simplify]: Simplify 1.0 into 1.0
4.949 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.949 * [taylor]: Taking taylor expansion of x in z
4.949 * [backup-simplify]: Simplify x into x
4.949 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.949 * [taylor]: Taking taylor expansion of z in z
4.949 * [backup-simplify]: Simplify 0 into 0
4.949 * [backup-simplify]: Simplify 1 into 1
4.949 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.949 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x))
4.949 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 x)) 1) into (- 1.0 (/ 1 x))
4.949 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in z
4.949 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in z
4.949 * [taylor]: Taking taylor expansion of 1.0 in z
4.949 * [backup-simplify]: Simplify 1.0 into 1.0
4.949 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.949 * [taylor]: Taking taylor expansion of x in z
4.949 * [backup-simplify]: Simplify x into x
4.949 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.949 * [taylor]: Taking taylor expansion of z in z
4.949 * [backup-simplify]: Simplify 0 into 0
4.949 * [backup-simplify]: Simplify 1 into 1
4.949 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.950 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x))
4.950 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 x)) 1) into (- 1.0 (/ 1 x))
4.950 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
4.950 * [taylor]: Taking taylor expansion of 1.0 in x
4.950 * [backup-simplify]: Simplify 1.0 into 1.0
4.950 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.950 * [taylor]: Taking taylor expansion of x in x
4.950 * [backup-simplify]: Simplify 0 into 0
4.950 * [backup-simplify]: Simplify 1 into 1
4.950 * [backup-simplify]: Simplify (/ 1 1) into 1
4.950 * [backup-simplify]: Simplify (- 1) into -1
4.951 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.951 * [backup-simplify]: Simplify -1 into -1
4.951 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.951 * [backup-simplify]: Simplify (- 0) into 0
4.951 * [backup-simplify]: Simplify (+ 0 0) into 0
4.952 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 1.0 (/ 1 x)) (/ 0 1)))) into 0
4.952 * [taylor]: Taking taylor expansion of 0 in x
4.952 * [backup-simplify]: Simplify 0 into 0
4.952 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.952 * [backup-simplify]: Simplify (- 0) into 0
4.953 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.953 * [backup-simplify]: Simplify 1.0 into 1.0
4.953 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.953 * [backup-simplify]: Simplify (- 0) into 0
4.953 * [backup-simplify]: Simplify (+ 0 0) into 0
4.954 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 1.0 (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.954 * [taylor]: Taking taylor expansion of 0 in x
4.954 * [backup-simplify]: Simplify 0 into 0
4.954 * [backup-simplify]: Simplify 0 into 0
4.955 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.955 * [backup-simplify]: Simplify (- 0) into 0
4.955 * [backup-simplify]: Simplify (+ 0 0) into 0
4.955 * [backup-simplify]: Simplify 0 into 0
4.955 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.959 * [backup-simplify]: Simplify (- 0) into 0
4.959 * [backup-simplify]: Simplify (+ 0 0) into 0
4.960 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 1.0 (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.960 * [taylor]: Taking taylor expansion of 0 in x
4.960 * [backup-simplify]: Simplify 0 into 0
4.960 * [backup-simplify]: Simplify 0 into 0
4.960 * [backup-simplify]: Simplify 0 into 0
4.961 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.961 * [backup-simplify]: Simplify (- 0) into 0
4.961 * [backup-simplify]: Simplify (+ 0 0) into 0
4.961 * [backup-simplify]: Simplify 0 into 0
4.962 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.962 * [backup-simplify]: Simplify (- 0) into 0
4.962 * [backup-simplify]: Simplify (+ 0 0) into 0
4.964 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 1.0 (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.964 * [taylor]: Taking taylor expansion of 0 in x
4.964 * [backup-simplify]: Simplify 0 into 0
4.964 * [backup-simplify]: Simplify 0 into 0
4.964 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (/ 1 (/ 1 z)))) (* -1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 z))))) into (- (* 1.0 z) (* x z))
4.964 * [backup-simplify]: Simplify (* (sqrt (/ 1 (- z))) (* (sqrt (/ 1 (- z))) (- 1.0 (/ 1 (- x))))) into (* (+ (/ 1 x) 1.0) (pow (sqrt (/ -1 z)) 2))
4.964 * [approximate]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (pow (sqrt (/ -1 z)) 2)) in (z x) around 0
4.964 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (pow (sqrt (/ -1 z)) 2)) in x
4.964 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
4.964 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.964 * [taylor]: Taking taylor expansion of x in x
4.964 * [backup-simplify]: Simplify 0 into 0
4.964 * [backup-simplify]: Simplify 1 into 1
4.964 * [backup-simplify]: Simplify (/ 1 1) into 1
4.964 * [taylor]: Taking taylor expansion of 1.0 in x
4.965 * [backup-simplify]: Simplify 1.0 into 1.0
4.965 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in x
4.965 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
4.965 * [taylor]: Taking taylor expansion of (/ -1 z) in x
4.965 * [taylor]: Taking taylor expansion of -1 in x
4.965 * [backup-simplify]: Simplify -1 into -1
4.965 * [taylor]: Taking taylor expansion of z in x
4.965 * [backup-simplify]: Simplify z into z
4.965 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
4.965 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z))
4.965 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0
4.965 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0
4.965 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (pow (sqrt (/ -1 z)) 2)) in z
4.965 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in z
4.965 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.965 * [taylor]: Taking taylor expansion of x in z
4.965 * [backup-simplify]: Simplify x into x
4.965 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.965 * [taylor]: Taking taylor expansion of 1.0 in z
4.965 * [backup-simplify]: Simplify 1.0 into 1.0
4.965 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z
4.965 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
4.965 * [taylor]: Taking taylor expansion of (/ -1 z) in z
4.965 * [taylor]: Taking taylor expansion of -1 in z
4.965 * [backup-simplify]: Simplify -1 into -1
4.965 * [taylor]: Taking taylor expansion of z in z
4.965 * [backup-simplify]: Simplify 0 into 0
4.965 * [backup-simplify]: Simplify 1 into 1
4.965 * [backup-simplify]: Simplify (/ -1 1) into -1
4.966 * [backup-simplify]: Simplify (sqrt 0) into 0
4.967 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.967 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (pow (sqrt (/ -1 z)) 2)) in z
4.967 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in z
4.967 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.967 * [taylor]: Taking taylor expansion of x in z
4.967 * [backup-simplify]: Simplify x into x
4.967 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.967 * [taylor]: Taking taylor expansion of 1.0 in z
4.967 * [backup-simplify]: Simplify 1.0 into 1.0
4.967 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z
4.967 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
4.967 * [taylor]: Taking taylor expansion of (/ -1 z) in z
4.967 * [taylor]: Taking taylor expansion of -1 in z
4.967 * [backup-simplify]: Simplify -1 into -1
4.967 * [taylor]: Taking taylor expansion of z in z
4.967 * [backup-simplify]: Simplify 0 into 0
4.967 * [backup-simplify]: Simplify 1 into 1
4.968 * [backup-simplify]: Simplify (/ -1 1) into -1
4.968 * [backup-simplify]: Simplify (sqrt 0) into 0
4.968 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.969 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ (/ 1 x) 1.0)
4.969 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0
4.969 * [backup-simplify]: Simplify (* (+ (/ 1 x) 1.0) +nan.0) into (* +nan.0 (+ (/ 1 x) 1.0))
4.969 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 x) 1.0)) in x
4.969 * [taylor]: Taking taylor expansion of +nan.0 in x
4.969 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.969 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
4.969 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.969 * [taylor]: Taking taylor expansion of x in x
4.969 * [backup-simplify]: Simplify 0 into 0
4.969 * [backup-simplify]: Simplify 1 into 1
4.969 * [backup-simplify]: Simplify (/ 1 1) into 1
4.969 * [taylor]: Taking taylor expansion of 1.0 in x
4.969 * [backup-simplify]: Simplify 1.0 into 1.0
4.970 * [backup-simplify]: Simplify (+ 1 0) into 1
4.970 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
4.970 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.970 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.972 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.973 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0)) into (- +nan.0)
4.973 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.973 * [backup-simplify]: Simplify (+ 0 0) into 0
4.974 * [backup-simplify]: Simplify (+ (* (+ (/ 1 x) 1.0) (- +nan.0)) (* 0 +nan.0)) into (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))
4.974 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))) in x
4.974 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 x)) (- +nan.0)) in x
4.974 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 x)) in x
4.974 * [taylor]: Taking taylor expansion of +nan.0 in x
4.974 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.974 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.974 * [taylor]: Taking taylor expansion of x in x
4.974 * [backup-simplify]: Simplify 0 into 0
4.974 * [backup-simplify]: Simplify 1 into 1
4.974 * [backup-simplify]: Simplify (/ 1 1) into 1
4.974 * [taylor]: Taking taylor expansion of (- +nan.0) in x
4.974 * [taylor]: Taking taylor expansion of +nan.0 in x
4.974 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.974 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
4.975 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
4.975 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
4.975 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
4.976 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.976 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
4.977 * [backup-simplify]: Simplify (+ (* +nan.0 1.0) (* 0 1)) into (- +nan.0)
4.977 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
4.978 * [backup-simplify]: Simplify (+ (- +nan.0) (+ (* (- +nan.0) (* (/ 1 (/ 1 (- x))) (/ 1 (- z)))) (* +nan.0 (* (/ 1 (/ 1 (- x))) 1)))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ x z)) (- +nan.0)))))
4.978 * * * * [progress]: [ 2 / 2 ] generating series at (2 3 2)
4.978 * [backup-simplify]: Simplify (* (sqrt z) (- 1.0 x)) into (* (sqrt z) (- 1.0 x))
4.978 * [approximate]: Taking taylor expansion of (* (sqrt z) (- 1.0 x)) in (z x) around 0
4.978 * [taylor]: Taking taylor expansion of (* (sqrt z) (- 1.0 x)) in x
4.978 * [taylor]: Taking taylor expansion of (sqrt z) in x
4.978 * [taylor]: Taking taylor expansion of z in x
4.978 * [backup-simplify]: Simplify z into z
4.978 * [backup-simplify]: Simplify (sqrt z) into (sqrt z)
4.978 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt z))) into 0
4.978 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
4.979 * [taylor]: Taking taylor expansion of 1.0 in x
4.979 * [backup-simplify]: Simplify 1.0 into 1.0
4.979 * [taylor]: Taking taylor expansion of x in x
4.979 * [backup-simplify]: Simplify 0 into 0
4.979 * [backup-simplify]: Simplify 1 into 1
4.979 * [taylor]: Taking taylor expansion of (* (sqrt z) (- 1.0 x)) in z
4.979 * [taylor]: Taking taylor expansion of (sqrt z) in z
4.979 * [taylor]: Taking taylor expansion of z in z
4.979 * [backup-simplify]: Simplify 0 into 0
4.979 * [backup-simplify]: Simplify 1 into 1
4.979 * [backup-simplify]: Simplify (sqrt 0) into 0
4.980 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.980 * [taylor]: Taking taylor expansion of (- 1.0 x) in z
4.980 * [taylor]: Taking taylor expansion of 1.0 in z
4.980 * [backup-simplify]: Simplify 1.0 into 1.0
4.980 * [taylor]: Taking taylor expansion of x in z
4.980 * [backup-simplify]: Simplify x into x
4.980 * [taylor]: Taking taylor expansion of (* (sqrt z) (- 1.0 x)) in z
4.980 * [taylor]: Taking taylor expansion of (sqrt z) in z
4.980 * [taylor]: Taking taylor expansion of z in z
4.980 * [backup-simplify]: Simplify 0 into 0
4.980 * [backup-simplify]: Simplify 1 into 1
4.980 * [backup-simplify]: Simplify (sqrt 0) into 0
4.981 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.981 * [taylor]: Taking taylor expansion of (- 1.0 x) in z
4.981 * [taylor]: Taking taylor expansion of 1.0 in z
4.981 * [backup-simplify]: Simplify 1.0 into 1.0
4.981 * [taylor]: Taking taylor expansion of x in z
4.981 * [backup-simplify]: Simplify x into x
4.981 * [backup-simplify]: Simplify (- x) into (- x)
4.981 * [backup-simplify]: Simplify (+ 1.0 (- x)) into (- 1.0 x)
4.981 * [backup-simplify]: Simplify (* 0 (- 1.0 x)) into 0
4.981 * [taylor]: Taking taylor expansion of 0 in x
4.981 * [backup-simplify]: Simplify 0 into 0
4.981 * [backup-simplify]: Simplify 0 into 0
4.981 * [backup-simplify]: Simplify (- 0) into 0
4.982 * [backup-simplify]: Simplify (+ 0 0) into 0
4.982 * [backup-simplify]: Simplify (+ (* 0 0) (* +nan.0 (- 1.0 x))) into (- (+ (* +nan.0 x) (- +nan.0)))
4.982 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 x) (- +nan.0))) in x
4.982 * [taylor]: Taking taylor expansion of (+ (* +nan.0 x) (- +nan.0)) in x
4.982 * [taylor]: Taking taylor expansion of (* +nan.0 x) in x
4.982 * [taylor]: Taking taylor expansion of +nan.0 in x
4.982 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.982 * [taylor]: Taking taylor expansion of x in x
4.982 * [backup-simplify]: Simplify 0 into 0
4.982 * [backup-simplify]: Simplify 1 into 1
4.982 * [taylor]: Taking taylor expansion of (- +nan.0) in x
4.982 * [taylor]: Taking taylor expansion of +nan.0 in x
4.982 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.982 * [backup-simplify]: Simplify (* +nan.0 0) into 0
4.983 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
4.983 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
4.984 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
4.984 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
4.984 * [backup-simplify]: Simplify 0 into 0
4.984 * [backup-simplify]: Simplify (- 0) into 0
4.984 * [backup-simplify]: Simplify (+ 0 0) into 0
4.986 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.987 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 0) (* +nan.0 (- 1.0 x)))) into (- (+ (* +nan.0 x) (- +nan.0)))
4.987 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 x) (- +nan.0))) in x
4.987 * [taylor]: Taking taylor expansion of (+ (* +nan.0 x) (- +nan.0)) in x
4.987 * [taylor]: Taking taylor expansion of (* +nan.0 x) in x
4.987 * [taylor]: Taking taylor expansion of +nan.0 in x
4.987 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.987 * [taylor]: Taking taylor expansion of x in x
4.987 * [backup-simplify]: Simplify 0 into 0
4.987 * [backup-simplify]: Simplify 1 into 1
4.987 * [taylor]: Taking taylor expansion of (- +nan.0) in x
4.987 * [taylor]: Taking taylor expansion of +nan.0 in x
4.987 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.987 * [backup-simplify]: Simplify (* +nan.0 0) into 0
4.988 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
4.988 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
4.989 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
4.989 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
4.990 * [backup-simplify]: Simplify (+ (* +nan.0 1) (* 0 0)) into (- +nan.0)
4.990 * [backup-simplify]: Simplify (- 0) into 0
4.990 * [backup-simplify]: Simplify (+ (- +nan.0) 0) into (- +nan.0)
4.991 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
4.991 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
4.992 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* x z)) (+ (* (- +nan.0) (pow (* 1 z) 2)) (* (- +nan.0) (* 1 z)))) into (- (+ (* +nan.0 z) (- (+ (* +nan.0 (pow z 2)) (- (* +nan.0 (* x z)))))))
4.992 * [backup-simplify]: Simplify (* (sqrt (/ 1 z)) (- 1.0 (/ 1 x))) into (* (- 1.0 (/ 1 x)) (sqrt (/ 1 z)))
4.992 * [approximate]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (sqrt (/ 1 z))) in (z x) around 0
4.992 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (sqrt (/ 1 z))) in x
4.992 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
4.992 * [taylor]: Taking taylor expansion of 1.0 in x
4.992 * [backup-simplify]: Simplify 1.0 into 1.0
4.992 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.992 * [taylor]: Taking taylor expansion of x in x
4.992 * [backup-simplify]: Simplify 0 into 0
4.992 * [backup-simplify]: Simplify 1 into 1
4.993 * [backup-simplify]: Simplify (/ 1 1) into 1
4.993 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
4.993 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.993 * [taylor]: Taking taylor expansion of z in x
4.993 * [backup-simplify]: Simplify z into z
4.993 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.993 * [backup-simplify]: Simplify (sqrt (/ 1 z)) into (sqrt (/ 1 z))
4.993 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.993 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 z)))) into 0
4.993 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (sqrt (/ 1 z))) in z
4.993 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in z
4.993 * [taylor]: Taking taylor expansion of 1.0 in z
4.993 * [backup-simplify]: Simplify 1.0 into 1.0
4.993 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.993 * [taylor]: Taking taylor expansion of x in z
4.993 * [backup-simplify]: Simplify x into x
4.993 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.993 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
4.993 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.993 * [taylor]: Taking taylor expansion of z in z
4.993 * [backup-simplify]: Simplify 0 into 0
4.993 * [backup-simplify]: Simplify 1 into 1
4.993 * [backup-simplify]: Simplify (/ 1 1) into 1
4.994 * [backup-simplify]: Simplify (sqrt 0) into 0
4.995 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.995 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (sqrt (/ 1 z))) in z
4.995 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in z
4.995 * [taylor]: Taking taylor expansion of 1.0 in z
4.995 * [backup-simplify]: Simplify 1.0 into 1.0
4.995 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.995 * [taylor]: Taking taylor expansion of x in z
4.995 * [backup-simplify]: Simplify x into x
4.995 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.995 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
4.996 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.996 * [taylor]: Taking taylor expansion of z in z
4.996 * [backup-simplify]: Simplify 0 into 0
4.996 * [backup-simplify]: Simplify 1 into 1
4.996 * [backup-simplify]: Simplify (/ 1 1) into 1
4.996 * [backup-simplify]: Simplify (sqrt 0) into 0
4.998 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.998 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.998 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x))
4.998 * [backup-simplify]: Simplify (* (- 1.0 (/ 1 x)) 0) into 0
4.998 * [taylor]: Taking taylor expansion of 0 in x
4.998 * [backup-simplify]: Simplify 0 into 0
4.998 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.998 * [backup-simplify]: Simplify (- 0) into 0
4.998 * [backup-simplify]: Simplify (+ 0 0) into 0
4.999 * [backup-simplify]: Simplify (+ (* (- 1.0 (/ 1 x)) +nan.0) (* 0 0)) into (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))
4.999 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))) in x
4.999 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 x)) (- +nan.0)) in x
4.999 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 x)) in x
4.999 * [taylor]: Taking taylor expansion of +nan.0 in x
4.999 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.999 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.999 * [taylor]: Taking taylor expansion of x in x
4.999 * [backup-simplify]: Simplify 0 into 0
4.999 * [backup-simplify]: Simplify 1 into 1
4.999 * [backup-simplify]: Simplify (/ 1 1) into 1
4.999 * [taylor]: Taking taylor expansion of (- +nan.0) in x
4.999 * [taylor]: Taking taylor expansion of +nan.0 in x
4.999 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.999 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
5.000 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
5.000 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
5.000 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
5.000 * [backup-simplify]: Simplify 0 into 0
5.001 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.003 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
5.003 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.003 * [backup-simplify]: Simplify (- 0) into 0
5.003 * [backup-simplify]: Simplify (+ 0 0) into 0
5.004 * [backup-simplify]: Simplify (+ (* (- 1.0 (/ 1 x)) +nan.0) (+ (* 0 +nan.0) (* 0 0))) into (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))
5.004 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))) in x
5.004 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 x)) (- +nan.0)) in x
5.004 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 x)) in x
5.004 * [taylor]: Taking taylor expansion of +nan.0 in x
5.004 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.004 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.004 * [taylor]: Taking taylor expansion of x in x
5.004 * [backup-simplify]: Simplify 0 into 0
5.004 * [backup-simplify]: Simplify 1 into 1
5.004 * [backup-simplify]: Simplify (/ 1 1) into 1
5.004 * [taylor]: Taking taylor expansion of (- +nan.0) in x
5.004 * [taylor]: Taking taylor expansion of +nan.0 in x
5.004 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.004 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
5.005 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
5.005 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
5.005 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
5.006 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.006 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
5.006 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
5.007 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
5.008 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
5.008 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
5.009 * [backup-simplify]: Simplify (+ (- +nan.0) (+ (* (- +nan.0) (* (/ 1 (/ 1 x)) (/ 1 z))) (* (- +nan.0) (* (/ 1 (/ 1 x)) 1)))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ x z)) (- +nan.0)))))
5.009 * [backup-simplify]: Simplify (* (sqrt (/ 1 (- z))) (- 1.0 (/ 1 (- x)))) into (* (+ (/ 1 x) 1.0) (sqrt (/ -1 z)))
5.009 * [approximate]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (sqrt (/ -1 z))) in (z x) around 0
5.009 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (sqrt (/ -1 z))) in x
5.009 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
5.009 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.009 * [taylor]: Taking taylor expansion of x in x
5.009 * [backup-simplify]: Simplify 0 into 0
5.009 * [backup-simplify]: Simplify 1 into 1
5.009 * [backup-simplify]: Simplify (/ 1 1) into 1
5.009 * [taylor]: Taking taylor expansion of 1.0 in x
5.009 * [backup-simplify]: Simplify 1.0 into 1.0
5.009 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
5.009 * [taylor]: Taking taylor expansion of (/ -1 z) in x
5.009 * [taylor]: Taking taylor expansion of -1 in x
5.009 * [backup-simplify]: Simplify -1 into -1
5.009 * [taylor]: Taking taylor expansion of z in x
5.009 * [backup-simplify]: Simplify z into z
5.009 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
5.009 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z))
5.009 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0
5.010 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0
5.010 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (sqrt (/ -1 z))) in z
5.010 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in z
5.010 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.010 * [taylor]: Taking taylor expansion of x in z
5.010 * [backup-simplify]: Simplify x into x
5.010 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.010 * [taylor]: Taking taylor expansion of 1.0 in z
5.010 * [backup-simplify]: Simplify 1.0 into 1.0
5.010 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
5.010 * [taylor]: Taking taylor expansion of (/ -1 z) in z
5.010 * [taylor]: Taking taylor expansion of -1 in z
5.010 * [backup-simplify]: Simplify -1 into -1
5.010 * [taylor]: Taking taylor expansion of z in z
5.010 * [backup-simplify]: Simplify 0 into 0
5.010 * [backup-simplify]: Simplify 1 into 1
5.010 * [backup-simplify]: Simplify (/ -1 1) into -1
5.010 * [backup-simplify]: Simplify (sqrt 0) into 0
5.011 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
5.011 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (sqrt (/ -1 z))) in z
5.011 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in z
5.011 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.011 * [taylor]: Taking taylor expansion of x in z
5.011 * [backup-simplify]: Simplify x into x
5.011 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.011 * [taylor]: Taking taylor expansion of 1.0 in z
5.011 * [backup-simplify]: Simplify 1.0 into 1.0
5.011 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
5.011 * [taylor]: Taking taylor expansion of (/ -1 z) in z
5.011 * [taylor]: Taking taylor expansion of -1 in z
5.011 * [backup-simplify]: Simplify -1 into -1
5.011 * [taylor]: Taking taylor expansion of z in z
5.011 * [backup-simplify]: Simplify 0 into 0
5.011 * [backup-simplify]: Simplify 1 into 1
5.012 * [backup-simplify]: Simplify (/ -1 1) into -1
5.012 * [backup-simplify]: Simplify (sqrt 0) into 0
5.013 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
5.013 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ (/ 1 x) 1.0)
5.013 * [backup-simplify]: Simplify (* (+ (/ 1 x) 1.0) 0) into 0
5.013 * [taylor]: Taking taylor expansion of 0 in x
5.013 * [backup-simplify]: Simplify 0 into 0
5.013 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
5.013 * [backup-simplify]: Simplify (+ 0 0) into 0
5.013 * [backup-simplify]: Simplify (+ (* (+ (/ 1 x) 1.0) +nan.0) (* 0 0)) into (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))
5.013 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))) in x
5.013 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 x)) (- +nan.0)) in x
5.013 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 x)) in x
5.013 * [taylor]: Taking taylor expansion of +nan.0 in x
5.014 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.014 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.014 * [taylor]: Taking taylor expansion of x in x
5.014 * [backup-simplify]: Simplify 0 into 0
5.014 * [backup-simplify]: Simplify 1 into 1
5.014 * [backup-simplify]: Simplify (/ 1 1) into 1
5.014 * [taylor]: Taking taylor expansion of (- +nan.0) in x
5.014 * [taylor]: Taking taylor expansion of +nan.0 in x
5.014 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.014 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
5.014 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
5.015 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
5.015 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
5.015 * [backup-simplify]: Simplify 0 into 0
5.016 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
5.017 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
5.018 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.018 * [backup-simplify]: Simplify (+ 0 0) into 0
5.018 * [backup-simplify]: Simplify (+ (* (+ (/ 1 x) 1.0) +nan.0) (+ (* 0 +nan.0) (* 0 0))) into (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))
5.018 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))) in x
5.018 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 x)) (- +nan.0)) in x
5.018 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 x)) in x
5.018 * [taylor]: Taking taylor expansion of +nan.0 in x
5.018 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.018 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.018 * [taylor]: Taking taylor expansion of x in x
5.018 * [backup-simplify]: Simplify 0 into 0
5.018 * [backup-simplify]: Simplify 1 into 1
5.019 * [backup-simplify]: Simplify (/ 1 1) into 1
5.019 * [taylor]: Taking taylor expansion of (- +nan.0) in x
5.019 * [taylor]: Taking taylor expansion of +nan.0 in x
5.019 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.019 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
5.019 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
5.020 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
5.020 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
5.020 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.021 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
5.021 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
5.022 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
5.022 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
5.022 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
5.023 * [backup-simplify]: Simplify (+ (- +nan.0) (+ (* (- +nan.0) (* (/ 1 (/ 1 (- x))) (/ 1 (- z)))) (* (- +nan.0) (* (/ 1 (/ 1 (- x))) 1)))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ x z)) (- +nan.0)))))
5.023 * * * [progress]: simplifying candidates
5.026 * [simplify]: Simplifying:
  (expm1 (* (sqrt z) (* (sqrt z) (- 1.0 x))))
  (log1p (* (sqrt z) (* (sqrt z) (- 1.0 x))))
  (* (sqrt z) (* (sqrt z) (- 1.0 x)))
  (* (sqrt z) (* (sqrt z) (- 1.0 x)))
  (+ (log (sqrt z)) (+ (log (sqrt z)) (log (- 1.0 x))))
  (+ (log (sqrt z)) (log (* (sqrt z) (- 1.0 x))))
  (log (* (sqrt z) (* (sqrt z) (- 1.0 x))))
  (exp (* (sqrt z) (* (sqrt z) (- 1.0 x))))
  (* (* (* (sqrt z) (sqrt z)) (sqrt z)) (* (* (* (sqrt z) (sqrt z)) (sqrt z)) (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x))))
  (* (* (* (sqrt z) (sqrt z)) (sqrt z)) (* (* (* (sqrt z) (- 1.0 x)) (* (sqrt z) (- 1.0 x))) (* (sqrt z) (- 1.0 x))))
  (* (cbrt (* (sqrt z) (* (sqrt z) (- 1.0 x)))) (cbrt (* (sqrt z) (* (sqrt z) (- 1.0 x)))))
  (cbrt (* (sqrt z) (* (sqrt z) (- 1.0 x))))
  (* (* (* (sqrt z) (* (sqrt z) (- 1.0 x))) (* (sqrt z) (* (sqrt z) (- 1.0 x)))) (* (sqrt z) (* (sqrt z) (- 1.0 x))))
  (sqrt (* (sqrt z) (* (sqrt z) (- 1.0 x))))
  (sqrt (* (sqrt z) (* (sqrt z) (- 1.0 x))))
  (* (sqrt z) (* (sqrt z) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))))
  (* (sqrt z) (* (sqrt z) (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))))
  (* (sqrt z) (* (sqrt z) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt x) (sqrt x))))))
  (* (sqrt z) (* (sqrt z) (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))))
  (* (sqrt z) (* (sqrt z) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* x 1)))))
  (* (sqrt z) (* (sqrt z) (fma (- x) 1 (* x 1))))
  (* (sqrt z) (* (sqrt z) (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))))
  (* (sqrt z) (* (sqrt z) (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))))
  (* (sqrt z) (* (sqrt z) (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt x) (sqrt x))))))
  (* (sqrt z) (* (sqrt z) (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))))
  (* (sqrt z) (* (sqrt z) (fma (sqrt 1.0) (sqrt 1.0) (- (* x 1)))))
  (* (sqrt z) (* (sqrt z) (fma (- x) 1 (* x 1))))
  (* (sqrt z) (* (sqrt z) (fma 1 1.0 (- (* (cbrt x) (* (cbrt x) (cbrt x)))))))
  (* (sqrt z) (* (sqrt z) (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))))
  (* (sqrt z) (* (sqrt z) (fma 1 1.0 (- (* (sqrt x) (sqrt x))))))
  (* (sqrt z) (* (sqrt z) (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))))
  (* (sqrt z) (* (sqrt z) (fma 1 1.0 (- (* x 1)))))
  (* (sqrt z) (* (sqrt z) (fma (- x) 1 (* x 1))))
  (* (sqrt z) (* (sqrt z) 1.0))
  (* (sqrt z) (* (sqrt z) (- x)))
  (* (sqrt z) (* (sqrt z) 1.0))
  (* (sqrt z) (* (sqrt z) (- x)))
  (* (sqrt z) (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x))))) (sqrt z)))
  (* (sqrt z) (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) (sqrt z)))
  (* (sqrt z) (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt x) (sqrt x)))) (sqrt z)))
  (* (sqrt z) (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) (sqrt z)))
  (* (sqrt z) (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* x 1))) (sqrt z)))
  (* (sqrt z) (* (fma (- x) 1 (* x 1)) (sqrt z)))
  (* (sqrt z) (* (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x))))) (sqrt z)))
  (* (sqrt z) (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) (sqrt z)))
  (* (sqrt z) (* (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt x) (sqrt x)))) (sqrt z)))
  (* (sqrt z) (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) (sqrt z)))
  (* (sqrt z) (* (fma (sqrt 1.0) (sqrt 1.0) (- (* x 1))) (sqrt z)))
  (* (sqrt z) (* (fma (- x) 1 (* x 1)) (sqrt z)))
  (* (sqrt z) (* (fma 1 1.0 (- (* (cbrt x) (* (cbrt x) (cbrt x))))) (sqrt z)))
  (* (sqrt z) (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) (sqrt z)))
  (* (sqrt z) (* (fma 1 1.0 (- (* (sqrt x) (sqrt x)))) (sqrt z)))
  (* (sqrt z) (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) (sqrt z)))
  (* (sqrt z) (* (fma 1 1.0 (- (* x 1))) (sqrt z)))
  (* (sqrt z) (* (fma (- x) 1 (* x 1)) (sqrt z)))
  (* (sqrt z) (* 1.0 (sqrt z)))
  (* (sqrt z) (* (- x) (sqrt z)))
  (* (sqrt z) (* 1.0 (sqrt z)))
  (* (sqrt z) (* (- x) (sqrt z)))
  (* (* (sqrt z) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))) (sqrt z))
  (* (* (sqrt z) (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))) (sqrt z))
  (* (* (sqrt z) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt x) (sqrt x))))) (sqrt z))
  (* (* (sqrt z) (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))) (sqrt z))
  (* (* (sqrt z) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* x 1)))) (sqrt z))
  (* (* (sqrt z) (fma (- x) 1 (* x 1))) (sqrt z))
  (* (* (sqrt z) (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))) (sqrt z))
  (* (* (sqrt z) (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))) (sqrt z))
  (* (* (sqrt z) (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt x) (sqrt x))))) (sqrt z))
  (* (* (sqrt z) (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))) (sqrt z))
  (* (* (sqrt z) (fma (sqrt 1.0) (sqrt 1.0) (- (* x 1)))) (sqrt z))
  (* (* (sqrt z) (fma (- x) 1 (* x 1))) (sqrt z))
  (* (* (sqrt z) (fma 1 1.0 (- (* (cbrt x) (* (cbrt x) (cbrt x)))))) (sqrt z))
  (* (* (sqrt z) (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))) (sqrt z))
  (* (* (sqrt z) (fma 1 1.0 (- (* (sqrt x) (sqrt x))))) (sqrt z))
  (* (* (sqrt z) (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))) (sqrt z))
  (* (* (sqrt z) (fma 1 1.0 (- (* x 1)))) (sqrt z))
  (* (* (sqrt z) (fma (- x) 1 (* x 1))) (sqrt z))
  (* (* (sqrt z) 1.0) (sqrt z))
  (* (* (sqrt z) (- x)) (sqrt z))
  (* (* (sqrt z) 1.0) (sqrt z))
  (* (* (sqrt z) (- x)) (sqrt z))
  (* (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x))))) (sqrt z)) (sqrt z))
  (* (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) (sqrt z)) (sqrt z))
  (* (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt x) (sqrt x)))) (sqrt z)) (sqrt z))
  (* (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) (sqrt z)) (sqrt z))
  (* (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* x 1))) (sqrt z)) (sqrt z))
  (* (* (fma (- x) 1 (* x 1)) (sqrt z)) (sqrt z))
  (* (* (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x))))) (sqrt z)) (sqrt z))
  (* (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) (sqrt z)) (sqrt z))
  (* (* (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt x) (sqrt x)))) (sqrt z)) (sqrt z))
  (* (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) (sqrt z)) (sqrt z))
  (* (* (fma (sqrt 1.0) (sqrt 1.0) (- (* x 1))) (sqrt z)) (sqrt z))
  (* (* (fma (- x) 1 (* x 1)) (sqrt z)) (sqrt z))
  (* (* (fma 1 1.0 (- (* (cbrt x) (* (cbrt x) (cbrt x))))) (sqrt z)) (sqrt z))
  (* (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) (sqrt z)) (sqrt z))
  (* (* (fma 1 1.0 (- (* (sqrt x) (sqrt x)))) (sqrt z)) (sqrt z))
  (* (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) (sqrt z)) (sqrt z))
  (* (* (fma 1 1.0 (- (* x 1))) (sqrt z)) (sqrt z))
  (* (* (fma (- x) 1 (* x 1)) (sqrt z)) (sqrt z))
  (* (* 1.0 (sqrt z)) (sqrt z))
  (* (* (- x) (sqrt z)) (sqrt z))
  (* (* 1.0 (sqrt z)) (sqrt z))
  (* (* (- x) (sqrt z)) (sqrt z))
  (* (sqrt z) (sqrt z))
  (* (cbrt (sqrt z)) (* (sqrt z) (- 1.0 x)))
  (* (sqrt (cbrt z)) (* (sqrt z) (- 1.0 x)))
  (* (sqrt (sqrt z)) (* (sqrt z) (- 1.0 x)))
  (* (sqrt z) (* (sqrt z) (- 1.0 x)))
  (* (sqrt (sqrt z)) (* (sqrt z) (- 1.0 x)))
  (* (sqrt z) (* (sqrt z) (- 1.0 x)))
  (* (sqrt z) (* (sqrt z) (- (pow 1.0 3) (pow x 3))))
  (* (sqrt z) (* (sqrt z) (- (* 1.0 1.0) (* x x))))
  (expm1 (* (sqrt z) (- 1.0 x)))
  (log1p (* (sqrt z) (- 1.0 x)))
  (* (sqrt z) (- 1.0 x))
  (+ (log (sqrt z)) (log (- 1.0 x)))
  (log (* (sqrt z) (- 1.0 x)))
  (exp (* (sqrt z) (- 1.0 x)))
  (* (* (* (sqrt z) (sqrt z)) (sqrt z)) (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)))
  (* (cbrt (* (sqrt z) (- 1.0 x))) (cbrt (* (sqrt z) (- 1.0 x))))
  (cbrt (* (sqrt z) (- 1.0 x)))
  (* (* (* (sqrt z) (- 1.0 x)) (* (sqrt z) (- 1.0 x))) (* (sqrt z) (- 1.0 x)))
  (sqrt (* (sqrt z) (- 1.0 x)))
  (sqrt (* (sqrt z) (- 1.0 x)))
  (* (sqrt (sqrt z)) (sqrt (- 1.0 x)))
  (* (sqrt (sqrt z)) (sqrt (- 1.0 x)))
  (* (sqrt (sqrt z)) (sqrt (- 1.0 x)))
  (* (sqrt (sqrt z)) (sqrt (- 1.0 x)))
  (* (sqrt z) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))
  (* (sqrt z) (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))
  (* (sqrt z) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt x) (sqrt x)))))
  (* (sqrt z) (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))
  (* (sqrt z) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* x 1))))
  (* (sqrt z) (fma (- x) 1 (* x 1)))
  (* (sqrt z) (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))
  (* (sqrt z) (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))
  (* (sqrt z) (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt x) (sqrt x)))))
  (* (sqrt z) (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))
  (* (sqrt z) (fma (sqrt 1.0) (sqrt 1.0) (- (* x 1))))
  (* (sqrt z) (fma (- x) 1 (* x 1)))
  (* (sqrt z) (fma 1 1.0 (- (* (cbrt x) (* (cbrt x) (cbrt x))))))
  (* (sqrt z) (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))
  (* (sqrt z) (fma 1 1.0 (- (* (sqrt x) (sqrt x)))))
  (* (sqrt z) (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))
  (* (sqrt z) (fma 1 1.0 (- (* x 1))))
  (* (sqrt z) (fma (- x) 1 (* x 1)))
  (* (sqrt z) 1.0)
  (* (sqrt z) (- x))
  (* (sqrt z) 1.0)
  (* (sqrt z) (- x))
  (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x))))) (sqrt z))
  (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) (sqrt z))
  (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt x) (sqrt x)))) (sqrt z))
  (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) (sqrt z))
  (* (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* x 1))) (sqrt z))
  (* (fma (- x) 1 (* x 1)) (sqrt z))
  (* (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt x) (* (cbrt x) (cbrt x))))) (sqrt z))
  (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) (sqrt z))
  (* (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt x) (sqrt x)))) (sqrt z))
  (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) (sqrt z))
  (* (fma (sqrt 1.0) (sqrt 1.0) (- (* x 1))) (sqrt z))
  (* (fma (- x) 1 (* x 1)) (sqrt z))
  (* (fma 1 1.0 (- (* (cbrt x) (* (cbrt x) (cbrt x))))) (sqrt z))
  (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) (sqrt z))
  (* (fma 1 1.0 (- (* (sqrt x) (sqrt x)))) (sqrt z))
  (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) (sqrt z))
  (* (fma 1 1.0 (- (* x 1))) (sqrt z))
  (* (fma (- x) 1 (* x 1)) (sqrt z))
  (* 1.0 (sqrt z))
  (* (- x) (sqrt z))
  (* 1.0 (sqrt z))
  (* (- x) (sqrt z))
  (* (sqrt z) (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (* (sqrt z) (sqrt (- 1.0 x)))
  (* (sqrt z) 1)
  (* (sqrt z) (+ (sqrt 1.0) (sqrt x)))
  (* (sqrt z) 1)
  (* (cbrt (sqrt z)) (- 1.0 x))
  (* (sqrt (cbrt z)) (- 1.0 x))
  (* (sqrt (sqrt z)) (- 1.0 x))
  (* (sqrt z) (- 1.0 x))
  (* (sqrt (sqrt z)) (- 1.0 x))
  (* (sqrt z) (- 1.0 x))
  (* (sqrt z) (- (pow 1.0 3) (pow x 3)))
  (* (sqrt z) (- (* 1.0 1.0) (* x x)))
  (- (* 1.0 z) (* x z))
  (- (* 1.0 z) (* x z))
  (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ x z)) (- +nan.0)))))
  (- (+ (* +nan.0 z) (- (+ (* +nan.0 (pow z 2)) (- (* +nan.0 (* x z)))))))
  (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ x z)) (- +nan.0)))))
  (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ x z)) (- +nan.0)))))
5.028 * * [simplify]: iteration 0: 201 enodes
5.098 * * [simplify]: iteration 1: 584 enodes
5.622 * * [simplify]: iteration 2: 3586 enodes
6.951 * * [simplify]: iteration complete: 5000 enodes
6.951 * * [simplify]: Extracting #0: cost 51 inf + 0
6.955 * * [simplify]: Extracting #1: cost 1373 inf + 42
6.970 * * [simplify]: Extracting #2: cost 1387 inf + 20664
7.006 * * [simplify]: Extracting #3: cost 836 inf + 87918
7.047 * * [simplify]: Extracting #4: cost 176 inf + 203601
7.137 * * [simplify]: Extracting #5: cost 5 inf + 247424
7.202 * * [simplify]: Extracting #6: cost 0 inf + 248341
7.293 * [simplify]: Simplified to:
  (expm1 (* z (- 1.0 x)))
  (log1p (* z (- 1.0 x)))
  (* z (- 1.0 x))
  (* z (- 1.0 x))
  (log (* z (- 1.0 x)))
  (log (* z (- 1.0 x)))
  (log (* z (- 1.0 x)))
  (exp (* z (- 1.0 x)))
  (* (* z (* z z)) (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)))
  (* z (* (* z (- 1.0 x)) (* z (* (- 1.0 x) (- 1.0 x)))))
  (* (cbrt (* z (- 1.0 x))) (cbrt (* z (- 1.0 x))))
  (cbrt (* z (- 1.0 x)))
  (* (* z (- 1.0 x)) (* (* z (- 1.0 x)) (* z (- 1.0 x))))
  (sqrt (* z (- 1.0 x)))
  (sqrt (* z (- 1.0 x)))
  (* (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x) z)
  (* z (fma -1 x x))
  (* (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x) z)
  (* z (fma -1 x x))
  (* (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x) z)
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* 1.0 z)
  (- (* z x))
  (* 1.0 z)
  (- (* z x))
  (* (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x) (* (sqrt z) (sqrt z)))
  (* z (fma -1 x x))
  (* (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x) z)
  (* z (fma -1 x x))
  (* (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x) z)
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* 1.0 z)
  (- (* z x))
  (* 1.0 z)
  (- (* z x))
  (* (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x) z)
  (* z (fma -1 x x))
  (* (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x) z)
  (* z (fma -1 x x))
  (* (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x) z)
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* 1.0 z)
  (- (* z x))
  (* 1.0 z)
  (- (* z x))
  (* (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x) z)
  (* z (fma -1 x x))
  (* (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x) z)
  (* z (fma -1 x x))
  (* (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x) z)
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* z (- 1.0 x))
  (* z (fma -1 x x))
  (* 1.0 z)
  (- (* z x))
  (* 1.0 z)
  (- (* z x))
  z
  (* (sqrt z) (* (- 1.0 x) (cbrt (sqrt z))))
  (* (sqrt (cbrt z)) (* (sqrt z) (- 1.0 x)))
  (* (sqrt z) (* (- 1.0 x) (sqrt (sqrt z))))
  (* z (- 1.0 x))
  (* (sqrt z) (* (- 1.0 x) (sqrt (sqrt z))))
  (* z (- 1.0 x))
  (* (- (* 1.0 (* 1.0 1.0)) (* x (* x x))) z)
  (* (* z (+ x 1.0)) (- 1.0 x))
  (expm1 (* (- 1.0 x) (sqrt z)))
  (log1p (* (- 1.0 x) (sqrt z)))
  (* (- 1.0 x) (sqrt z))
  (log (* (- 1.0 x) (sqrt z)))
  (log (* (- 1.0 x) (sqrt z)))
  (exp (* (- 1.0 x) (sqrt z)))
  (* (* (* (sqrt z) (- 1.0 x)) (* (- 1.0 x) (- 1.0 x))) z)
  (* (cbrt (* (- 1.0 x) (sqrt z))) (cbrt (* (- 1.0 x) (sqrt z))))
  (cbrt (* (- 1.0 x) (sqrt z)))
  (* (* (* (- 1.0 x) (sqrt z)) (* (- 1.0 x) (sqrt z))) (* (- 1.0 x) (sqrt z)))
  (sqrt (* (- 1.0 x) (sqrt z)))
  (sqrt (* (- 1.0 x) (sqrt z)))
  (* (sqrt (sqrt z)) (sqrt (- 1.0 x)))
  (* (sqrt (sqrt z)) (sqrt (- 1.0 x)))
  (* (sqrt (sqrt z)) (sqrt (- 1.0 x)))
  (* (sqrt (sqrt z)) (sqrt (- 1.0 x)))
  (* (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x) (sqrt z))
  (* (fma -1 x x) (sqrt z))
  (* (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x) (sqrt z))
  (* (fma -1 x x) (sqrt z))
  (* (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x) (sqrt z))
  (* (fma -1 x x) (sqrt z))
  (* (- 1.0 x) (sqrt z))
  (* (fma -1 x x) (sqrt z))
  (* (- 1.0 x) (sqrt z))
  (* (fma -1 x x) (sqrt z))
  (* (- 1.0 x) (sqrt z))
  (* (fma -1 x x) (sqrt z))
  (* (- 1.0 x) (sqrt z))
  (* (fma -1 x x) (sqrt z))
  (* (- 1.0 x) (sqrt z))
  (* (fma -1 x x) (sqrt z))
  (* (- 1.0 x) (sqrt z))
  (* (fma -1 x x) (sqrt z))
  (* (sqrt z) 1.0)
  (- (* x (sqrt z)))
  (* (sqrt z) 1.0)
  (- (* x (sqrt z)))
  (* (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x) (sqrt z))
  (* (fma -1 x x) (sqrt z))
  (* (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x) (sqrt z))
  (* (fma -1 x x) (sqrt z))
  (* (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))) x) (sqrt z))
  (* (fma -1 x x) (sqrt z))
  (* (- 1.0 x) (sqrt z))
  (* (fma -1 x x) (sqrt z))
  (* (- 1.0 x) (sqrt z))
  (* (fma -1 x x) (sqrt z))
  (* (- 1.0 x) (sqrt z))
  (* (fma -1 x x) (sqrt z))
  (* (- 1.0 x) (sqrt z))
  (* (fma -1 x x) (sqrt z))
  (* (- 1.0 x) (sqrt z))
  (* (fma -1 x x) (sqrt z))
  (* (- 1.0 x) (sqrt z))
  (* (fma -1 x x) (sqrt z))
  (* (sqrt z) 1.0)
  (- (* x (sqrt z)))
  (* (sqrt z) 1.0)
  (- (* x (sqrt z)))
  (* (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (sqrt z))
  (* (sqrt (- 1.0 x)) (sqrt z))
  (sqrt z)
  (* (+ (sqrt x) (sqrt 1.0)) (sqrt z))
  (sqrt z)
  (* (- 1.0 x) (cbrt (sqrt z)))
  (* (- 1.0 x) (sqrt (cbrt z)))
  (* (- 1.0 x) (sqrt (sqrt z)))
  (* (- 1.0 x) (sqrt z))
  (* (- 1.0 x) (sqrt (sqrt z)))
  (* (- 1.0 x) (sqrt z))
  (* (- (* 1.0 (* 1.0 1.0)) (* x (* x x))) (sqrt z))
  (* (* (+ x 1.0) (- 1.0 x)) (sqrt z))
  (* z (- 1.0 x))
  (* z (- 1.0 x))
  (- (* (- +nan.0) x) (fma (/ x z) (- +nan.0) +nan.0))
  (fma (- +nan.0) z (* +nan.0 (- (* z z) (* x z))))
  (- (* (- +nan.0) x) (fma (/ x z) (- +nan.0) +nan.0))
  (- (* (- +nan.0) x) (fma (/ x z) (- +nan.0) +nan.0))
7.308 * * * [progress]: adding candidates to table
7.662 * [progress]: [Phase 3 of 3] Extracting.
7.662 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (fma x y (* (sqrt z) (* (sqrt z) (- 1.0 x)))))> #<alt (λ (x y z) (fma x y (* z (- 1.0 x))))>)
7.663 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
7.663 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (fma x y (* (sqrt z) (* (sqrt z) (- 1.0 x)))))> #<alt (λ (x y z) (fma x y (* z (- 1.0 x))))>)
7.722 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (fma x y (* (sqrt z) (* (sqrt z) (- 1.0 x)))))> #<alt (λ (x y z) (fma x y (* z (- 1.0 x))))>)
7.783 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (fma x y (* (sqrt z) (* (sqrt z) (- 1.0 x)))))> #<alt (λ (x y z) (fma x y (* z (- 1.0 x))))>)
7.848 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
7.848 * [simplify]: Simplifying:
  (fma x y (* z (- 1.0 x)))
7.849 * * [simplify]: iteration 0: 7 enodes
7.849 * * [simplify]: iteration 1: 8 enodes
7.850 * * [simplify]: iteration complete: 8 enodes
7.850 * * [simplify]: Extracting #0: cost 1 inf + 0
7.850 * * [simplify]: Extracting #1: cost 4 inf + 0
7.850 * * [simplify]: Extracting #2: cost 4 inf + 2
7.850 * * [simplify]: Extracting #3: cost 4 inf + 3
7.850 * * [simplify]: Extracting #4: cost 0 inf + 268
7.850 * [simplify]: Simplified to:
  (fma x y (* (- 1.0 x) z))
9.242 * [regime-testing]: Baseline error score: 0.008001000125015627
9.257 * [regime-testing]: Oracle error score: 0.006750843855481936
9.283 * [regime-testing]: End program error score: 0.008001000125015627