10.432 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.116 * * * [progress]: [2/2] Setting up program.
0.121 * [progress]: [Phase 2 of 3] Improving.
0.121 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y z) (- (fma x y z) (+ 1 (+ (* x y) z))))>
0.122 * [simplify]: Simplifying:
  (- (fma x y z) (+ 1 (+ (* x y) z)))
0.122 * * [simplify]: iteration 0: 9 enodes
0.124 * * [simplify]: iteration 1: 20 enodes
0.131 * * [simplify]: iteration 2: 46 enodes
0.144 * * [simplify]: iteration 3: 89 enodes
0.181 * * [simplify]: iteration 4: 177 enodes
0.282 * * [simplify]: iteration 5: 290 enodes
0.442 * * [simplify]: iteration 6: 566 enodes
0.602 * * [simplify]: iteration 7: 1130 enodes
1.150 * * [simplify]: iteration 8: 1956 enodes
1.614 * * [simplify]: iteration 9: 2223 enodes
1.732 * * [simplify]: iteration complete: 2223 enodes
1.732 * * [simplify]: Extracting #0: cost 1 inf + 0
1.732 * * [simplify]: Extracting #1: cost 30 inf + 0
1.732 * * [simplify]: Extracting #2: cost 31 inf + 3
1.733 * * [simplify]: Extracting #3: cost 22 inf + 312
1.734 * * [simplify]: Extracting #4: cost 2 inf + 2855
1.736 * * [simplify]: Extracting #5: cost 0 inf + 3212
1.738 * [simplify]: Simplified to:
  (- (- -1 z) (- (* y x) (fma x y z)))
1.739 * * [progress]: iteration 1 / 4
1.739 * * * [progress]: picking best candidate
1.742 * * * * [pick]: Picked  #<alt (λ (x y z) (- (fma x y z) (+ 1 (+ (* x y) z))))>
1.742 * * * [progress]: localizing error
1.764 * * * [progress]: generating rewritten candidates
1.764 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.829 * * * [progress]: generating series expansions
1.829 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.829 * [backup-simplify]: Simplify (- (fma x y z) (+ 1 (+ (* x y) z))) into (- (fma x y z) (+ z (+ 1 (* x y))))
1.829 * [approximate]: Taking taylor expansion of (- (fma x y z) (+ z (+ 1 (* x y)))) in (x y z) around 0
1.829 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ z (+ 1 (* x y)))) in z
1.829 * [taylor]: Taking taylor expansion of (fma x y z) in z
1.830 * [backup-simplify]: Simplify (fma x y z) into (fma x y z)
1.830 * [taylor]: Taking taylor expansion of (+ z (+ 1 (* x y))) in z
1.830 * [taylor]: Taking taylor expansion of z in z
1.830 * [backup-simplify]: Simplify 0 into 0
1.830 * [backup-simplify]: Simplify 1 into 1
1.831 * [taylor]: Taking taylor expansion of (+ 1 (* x y)) in z
1.831 * [taylor]: Taking taylor expansion of 1 in z
1.831 * [backup-simplify]: Simplify 1 into 1
1.831 * [taylor]: Taking taylor expansion of (* x y) in z
1.831 * [taylor]: Taking taylor expansion of x in z
1.831 * [backup-simplify]: Simplify x into x
1.831 * [taylor]: Taking taylor expansion of y in z
1.831 * [backup-simplify]: Simplify y into y
1.831 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ z (+ 1 (* x y)))) in y
1.831 * [taylor]: Taking taylor expansion of (fma x y z) in y
1.831 * [backup-simplify]: Simplify (fma x y z) into (fma x y z)
1.831 * [taylor]: Taking taylor expansion of (+ z (+ 1 (* x y))) in y
1.831 * [taylor]: Taking taylor expansion of z in y
1.831 * [backup-simplify]: Simplify z into z
1.831 * [taylor]: Taking taylor expansion of (+ 1 (* x y)) in y
1.831 * [taylor]: Taking taylor expansion of 1 in y
1.831 * [backup-simplify]: Simplify 1 into 1
1.831 * [taylor]: Taking taylor expansion of (* x y) in y
1.831 * [taylor]: Taking taylor expansion of x in y
1.831 * [backup-simplify]: Simplify x into x
1.831 * [taylor]: Taking taylor expansion of y in y
1.831 * [backup-simplify]: Simplify 0 into 0
1.831 * [backup-simplify]: Simplify 1 into 1
1.831 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ z (+ 1 (* x y)))) in x
1.831 * [taylor]: Taking taylor expansion of (fma x y z) in x
1.831 * [backup-simplify]: Simplify (fma x y z) into (fma x y z)
1.831 * [taylor]: Taking taylor expansion of (+ z (+ 1 (* x y))) in x
1.831 * [taylor]: Taking taylor expansion of z in x
1.831 * [backup-simplify]: Simplify z into z
1.831 * [taylor]: Taking taylor expansion of (+ 1 (* x y)) in x
1.831 * [taylor]: Taking taylor expansion of 1 in x
1.831 * [backup-simplify]: Simplify 1 into 1
1.831 * [taylor]: Taking taylor expansion of (* x y) in x
1.831 * [taylor]: Taking taylor expansion of x in x
1.831 * [backup-simplify]: Simplify 0 into 0
1.831 * [backup-simplify]: Simplify 1 into 1
1.831 * [taylor]: Taking taylor expansion of y in x
1.831 * [backup-simplify]: Simplify y into y
1.831 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ z (+ 1 (* x y)))) in x
1.831 * [taylor]: Taking taylor expansion of (fma x y z) in x
1.831 * [backup-simplify]: Simplify (fma x y z) into (fma x y z)
1.831 * [taylor]: Taking taylor expansion of (+ z (+ 1 (* x y))) in x
1.831 * [taylor]: Taking taylor expansion of z in x
1.831 * [backup-simplify]: Simplify z into z
1.831 * [taylor]: Taking taylor expansion of (+ 1 (* x y)) in x
1.831 * [taylor]: Taking taylor expansion of 1 in x
1.831 * [backup-simplify]: Simplify 1 into 1
1.831 * [taylor]: Taking taylor expansion of (* x y) in x
1.831 * [taylor]: Taking taylor expansion of x in x
1.832 * [backup-simplify]: Simplify 0 into 0
1.832 * [backup-simplify]: Simplify 1 into 1
1.832 * [taylor]: Taking taylor expansion of y in x
1.832 * [backup-simplify]: Simplify y into y
1.832 * [backup-simplify]: Simplify (* 0 y) into 0
1.832 * [backup-simplify]: Simplify (+ 1 0) into 1
1.832 * [backup-simplify]: Simplify (+ z 1) into (+ z 1)
1.832 * [backup-simplify]: Simplify (- (+ z 1)) into (- (+ z 1))
1.832 * [backup-simplify]: Simplify (+ (fma x y z) (- (+ z 1))) into (- (fma x y z) (+ z 1))
1.832 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ z 1)) in y
1.832 * [taylor]: Taking taylor expansion of (fma x y z) in y
1.832 * [backup-simplify]: Simplify (fma x y z) into (fma x y z)
1.832 * [taylor]: Taking taylor expansion of (+ z 1) in y
1.832 * [taylor]: Taking taylor expansion of z in y
1.832 * [backup-simplify]: Simplify z into z
1.832 * [taylor]: Taking taylor expansion of 1 in y
1.832 * [backup-simplify]: Simplify 1 into 1
1.833 * [backup-simplify]: Simplify (+ z 1) into (+ z 1)
1.833 * [backup-simplify]: Simplify (- (+ z 1)) into (- (+ z 1))
1.833 * [backup-simplify]: Simplify (+ (fma x y z) (- (+ z 1))) into (- (fma x y z) (+ z 1))
1.833 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ z 1)) in z
1.833 * [taylor]: Taking taylor expansion of (fma x y z) in z
1.833 * [backup-simplify]: Simplify (fma x y z) into (fma x y z)
1.833 * [taylor]: Taking taylor expansion of (+ z 1) in z
1.833 * [taylor]: Taking taylor expansion of z in z
1.833 * [backup-simplify]: Simplify 0 into 0
1.833 * [backup-simplify]: Simplify 1 into 1
1.833 * [taylor]: Taking taylor expansion of 1 in z
1.833 * [backup-simplify]: Simplify 1 into 1
1.833 * [backup-simplify]: Simplify (+ 0 1) into 1
1.833 * [backup-simplify]: Simplify (- 1) into -1
1.833 * [backup-simplify]: Simplify (+ (fma x y z) -1) into (- (fma x y z) 1)
1.833 * [backup-simplify]: Simplify (- (fma x y z) 1) into (- (fma x y z) 1)
1.834 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.834 * [backup-simplify]: Simplify (+ 0 y) into y
1.834 * [backup-simplify]: Simplify (+ 0 y) into y
1.834 * [backup-simplify]: Simplify (- y) into (- y)
1.834 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
1.834 * [taylor]: Taking taylor expansion of (- y) in y
1.834 * [taylor]: Taking taylor expansion of y in y
1.834 * [backup-simplify]: Simplify 0 into 0
1.834 * [backup-simplify]: Simplify 1 into 1
1.834 * [backup-simplify]: Simplify (- 0) into 0
1.834 * [taylor]: Taking taylor expansion of 0 in z
1.834 * [backup-simplify]: Simplify 0 into 0
1.834 * [backup-simplify]: Simplify 0 into 0
1.834 * [backup-simplify]: Simplify (+ 0 0) into 0
1.835 * [backup-simplify]: Simplify (- 0) into 0
1.835 * [backup-simplify]: Simplify (+ 0 0) into 0
1.835 * [taylor]: Taking taylor expansion of 0 in z
1.835 * [backup-simplify]: Simplify 0 into 0
1.835 * [backup-simplify]: Simplify 0 into 0
1.835 * [backup-simplify]: Simplify (+ 1 0) into 1
1.836 * [backup-simplify]: Simplify (- 1) into -1
1.836 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.836 * [backup-simplify]: Simplify -1 into -1
1.836 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1.837 * [backup-simplify]: Simplify (+ 0 0) into 0
1.837 * [backup-simplify]: Simplify (+ 0 0) into 0
1.837 * [backup-simplify]: Simplify (- 0) into 0
1.837 * [backup-simplify]: Simplify (+ 0 0) into 0
1.837 * [taylor]: Taking taylor expansion of 0 in y
1.837 * [backup-simplify]: Simplify 0 into 0
1.837 * [taylor]: Taking taylor expansion of 0 in z
1.837 * [backup-simplify]: Simplify 0 into 0
1.837 * [backup-simplify]: Simplify 0 into 0
1.838 * [backup-simplify]: Simplify (- 1) into -1
1.838 * [taylor]: Taking taylor expansion of -1 in z
1.838 * [backup-simplify]: Simplify -1 into -1
1.838 * [backup-simplify]: Simplify -1 into -1
1.838 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* y x))) (+ (* -1 (* z (* 1 1))) (- (fma x y z) 1))) into (- (fma x y z) (+ z (+ 1 (* x y))))
1.838 * [backup-simplify]: Simplify (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1 (+ (* (/ 1 x) (/ 1 y)) (/ 1 z)))) into (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 z) (+ (/ 1 (* x y)) 1)))
1.838 * [approximate]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 z) (+ (/ 1 (* x y)) 1))) in (x y z) around 0
1.838 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 z) (+ (/ 1 (* x y)) 1))) in z
1.838 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in z
1.838 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 y) (/ 1 z)) into (fma (/ 1 x) (/ 1 y) (/ 1 z))
1.838 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 (* x y)) 1)) in z
1.838 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.838 * [taylor]: Taking taylor expansion of z in z
1.838 * [backup-simplify]: Simplify 0 into 0
1.838 * [backup-simplify]: Simplify 1 into 1
1.839 * [backup-simplify]: Simplify (/ 1 1) into 1
1.839 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1) in z
1.839 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.839 * [taylor]: Taking taylor expansion of (* x y) in z
1.839 * [taylor]: Taking taylor expansion of x in z
1.839 * [backup-simplify]: Simplify x into x
1.839 * [taylor]: Taking taylor expansion of y in z
1.839 * [backup-simplify]: Simplify y into y
1.839 * [backup-simplify]: Simplify (* x y) into (* x y)
1.839 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1.839 * [taylor]: Taking taylor expansion of 1 in z
1.839 * [backup-simplify]: Simplify 1 into 1
1.839 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 z) (+ (/ 1 (* x y)) 1))) in y
1.839 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in y
1.839 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 y) (/ 1 z)) into (fma (/ 1 x) (/ 1 y) (/ 1 z))
1.839 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 (* x y)) 1)) in y
1.839 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.839 * [taylor]: Taking taylor expansion of z in y
1.839 * [backup-simplify]: Simplify z into z
1.839 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.839 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1) in y
1.839 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.839 * [taylor]: Taking taylor expansion of (* x y) in y
1.839 * [taylor]: Taking taylor expansion of x in y
1.839 * [backup-simplify]: Simplify x into x
1.839 * [taylor]: Taking taylor expansion of y in y
1.839 * [backup-simplify]: Simplify 0 into 0
1.839 * [backup-simplify]: Simplify 1 into 1
1.839 * [backup-simplify]: Simplify (* x 0) into 0
1.840 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.840 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.840 * [taylor]: Taking taylor expansion of 1 in y
1.840 * [backup-simplify]: Simplify 1 into 1
1.840 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 z) (+ (/ 1 (* x y)) 1))) in x
1.840 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in x
1.840 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 y) (/ 1 z)) into (fma (/ 1 x) (/ 1 y) (/ 1 z))
1.840 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 (* x y)) 1)) in x
1.840 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.840 * [taylor]: Taking taylor expansion of z in x
1.840 * [backup-simplify]: Simplify z into z
1.840 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.840 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1) in x
1.840 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.840 * [taylor]: Taking taylor expansion of (* x y) 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 * [taylor]: Taking taylor expansion of y in x
1.840 * [backup-simplify]: Simplify y into y
1.840 * [backup-simplify]: Simplify (* 0 y) into 0
1.840 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.840 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.840 * [taylor]: Taking taylor expansion of 1 in x
1.840 * [backup-simplify]: Simplify 1 into 1
1.840 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 z) (+ (/ 1 (* x y)) 1))) in x
1.840 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in x
1.840 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 y) (/ 1 z)) into (fma (/ 1 x) (/ 1 y) (/ 1 z))
1.840 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 (* x y)) 1)) in x
1.840 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.840 * [taylor]: Taking taylor expansion of z in x
1.840 * [backup-simplify]: Simplify z into z
1.840 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.840 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1) in x
1.840 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.841 * [taylor]: Taking taylor expansion of (* x y) in x
1.841 * [taylor]: Taking taylor expansion of x in x
1.841 * [backup-simplify]: Simplify 0 into 0
1.841 * [backup-simplify]: Simplify 1 into 1
1.841 * [taylor]: Taking taylor expansion of y in x
1.841 * [backup-simplify]: Simplify y into y
1.841 * [backup-simplify]: Simplify (* 0 y) into 0
1.841 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.841 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.841 * [taylor]: Taking taylor expansion of 1 in x
1.841 * [backup-simplify]: Simplify 1 into 1
1.841 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
1.841 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
1.841 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
1.841 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
1.841 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
1.841 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.841 * [taylor]: Taking taylor expansion of y in y
1.841 * [backup-simplify]: Simplify 0 into 0
1.841 * [backup-simplify]: Simplify 1 into 1
1.841 * [backup-simplify]: Simplify (/ 1 1) into 1
1.842 * [backup-simplify]: Simplify (- 1) into -1
1.842 * [taylor]: Taking taylor expansion of -1 in z
1.842 * [backup-simplify]: Simplify -1 into -1
1.842 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1.842 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.843 * [backup-simplify]: Simplify (+ 0 1) into 1
1.843 * [backup-simplify]: Simplify (+ (/ 1 z) 1) into (+ 1 (/ 1 z))
1.843 * [backup-simplify]: Simplify (- (+ 1 (/ 1 z))) into (- (+ 1 (/ 1 z)))
1.843 * [backup-simplify]: Simplify (+ (fma (/ 1 x) (/ 1 y) (/ 1 z)) (- (+ 1 (/ 1 z)))) into (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 z) 1))
1.843 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 z) 1)) in y
1.843 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in y
1.843 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 y) (/ 1 z)) into (fma (/ 1 x) (/ 1 y) (/ 1 z))
1.843 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in y
1.843 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.843 * [taylor]: Taking taylor expansion of z in y
1.843 * [backup-simplify]: Simplify z into z
1.843 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.843 * [taylor]: Taking taylor expansion of 1 in y
1.843 * [backup-simplify]: Simplify 1 into 1
1.844 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.844 * [backup-simplify]: Simplify (- 0) into 0
1.844 * [taylor]: Taking taylor expansion of 0 in z
1.844 * [backup-simplify]: Simplify 0 into 0
1.844 * [backup-simplify]: Simplify -1 into -1
1.844 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.845 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1.845 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.845 * [backup-simplify]: Simplify (+ 0 0) into 0
1.845 * [backup-simplify]: Simplify (+ 0 0) into 0
1.846 * [backup-simplify]: Simplify (- 0) into 0
1.846 * [backup-simplify]: Simplify (+ 0 0) into 0
1.846 * [taylor]: Taking taylor expansion of 0 in y
1.846 * [backup-simplify]: Simplify 0 into 0
1.846 * [backup-simplify]: Simplify (+ (/ 1 z) 1) into (+ 1 (/ 1 z))
1.846 * [backup-simplify]: Simplify (- (+ 1 (/ 1 z))) into (- (+ 1 (/ 1 z)))
1.846 * [backup-simplify]: Simplify (+ (fma (/ 1 x) (/ 1 y) (/ 1 z)) (- (+ 1 (/ 1 z)))) into (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 z) 1))
1.846 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 z) 1)) in z
1.846 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in z
1.846 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 y) (/ 1 z)) into (fma (/ 1 x) (/ 1 y) (/ 1 z))
1.846 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z
1.846 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.846 * [taylor]: Taking taylor expansion of z in z
1.846 * [backup-simplify]: Simplify 0 into 0
1.846 * [backup-simplify]: Simplify 1 into 1
1.847 * [backup-simplify]: Simplify (/ 1 1) into 1
1.847 * [taylor]: Taking taylor expansion of 1 in z
1.847 * [backup-simplify]: Simplify 1 into 1
1.847 * [backup-simplify]: Simplify (+ 1 0) into 1
1.847 * [backup-simplify]: Simplify (- 1) into -1
1.847 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.847 * [backup-simplify]: Simplify -1 into -1
1.848 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.848 * [backup-simplify]: Simplify (- 0) into 0
1.848 * [taylor]: Taking taylor expansion of 0 in z
1.848 * [backup-simplify]: Simplify 0 into 0
1.848 * [backup-simplify]: Simplify 0 into 0
1.848 * [backup-simplify]: Simplify 0 into 0
1.848 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.849 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
1.849 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.850 * [backup-simplify]: Simplify (+ 0 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 (+ 0 0) into 0
1.850 * [taylor]: Taking taylor expansion of 0 in y
1.850 * [backup-simplify]: Simplify 0 into 0
1.850 * [taylor]: Taking taylor expansion of 0 in z
1.850 * [backup-simplify]: Simplify 0 into 0
1.850 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.851 * [backup-simplify]: Simplify (+ 0 0) into 0
1.851 * [backup-simplify]: Simplify (- 0) into 0
1.851 * [backup-simplify]: Simplify (+ 0 0) into 0
1.851 * [taylor]: Taking taylor expansion of 0 in z
1.851 * [backup-simplify]: Simplify 0 into 0
1.852 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.852 * [backup-simplify]: Simplify (- 0) into 0
1.852 * [taylor]: Taking taylor expansion of 0 in z
1.852 * [backup-simplify]: Simplify 0 into 0
1.852 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.853 * [backup-simplify]: Simplify (+ 0 1) into 1
1.853 * [backup-simplify]: Simplify (- 1) into -1
1.853 * [backup-simplify]: Simplify (+ (fma (/ 1 x) (/ 1 y) (/ 1 z)) -1) into (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) 1)
1.853 * [backup-simplify]: Simplify (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) 1) into (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) 1)
1.854 * [backup-simplify]: Simplify (+ (- (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 y)) (/ 1 (/ 1 z))) 1) (+ (* -1 (* (/ 1 (/ 1 z)) (* 1 1))) (* -1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))))) into (- (fma x y z) (+ z (+ 1 (* x y))))
1.854 * [backup-simplify]: Simplify (- (fma (/ 1 (- x)) (/ 1 (- y)) (/ 1 (- z))) (+ 1 (+ (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))))) into (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (+ (/ 1 (* x y)) 1))
1.854 * [approximate]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (+ (/ 1 (* x y)) 1)) in (x y z) around 0
1.854 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (+ (/ 1 (* x y)) 1)) in z
1.854 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in z
1.854 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in z
1.854 * [backup-simplify]: Simplify (fma (/ -1 x) (/ -1 y) (/ -1 z)) into (fma (/ -1 x) (/ -1 y) (/ -1 z))
1.854 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.854 * [taylor]: Taking taylor expansion of z in z
1.854 * [backup-simplify]: Simplify 0 into 0
1.854 * [backup-simplify]: Simplify 1 into 1
1.854 * [backup-simplify]: Simplify (/ 1 1) into 1
1.854 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1) in z
1.854 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.854 * [taylor]: Taking taylor expansion of (* x y) in z
1.854 * [taylor]: Taking taylor expansion of x in z
1.854 * [backup-simplify]: Simplify x into x
1.854 * [taylor]: Taking taylor expansion of y in z
1.854 * [backup-simplify]: Simplify y into y
1.854 * [backup-simplify]: Simplify (* x y) into (* x y)
1.855 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1.855 * [taylor]: Taking taylor expansion of 1 in z
1.855 * [backup-simplify]: Simplify 1 into 1
1.855 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (+ (/ 1 (* x y)) 1)) in y
1.855 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in y
1.855 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in y
1.855 * [backup-simplify]: Simplify (fma (/ -1 x) (/ -1 y) (/ -1 z)) into (fma (/ -1 x) (/ -1 y) (/ -1 z))
1.855 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.855 * [taylor]: Taking taylor expansion of z in y
1.855 * [backup-simplify]: Simplify z into z
1.855 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.855 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1) in y
1.855 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.855 * [taylor]: Taking taylor expansion of (* x y) in y
1.855 * [taylor]: Taking taylor expansion of x in y
1.855 * [backup-simplify]: Simplify x into x
1.855 * [taylor]: Taking taylor expansion of y in y
1.855 * [backup-simplify]: Simplify 0 into 0
1.855 * [backup-simplify]: Simplify 1 into 1
1.855 * [backup-simplify]: Simplify (* x 0) into 0
1.855 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.855 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.855 * [taylor]: Taking taylor expansion of 1 in y
1.855 * [backup-simplify]: Simplify 1 into 1
1.855 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (+ (/ 1 (* x y)) 1)) in x
1.855 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in x
1.855 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in x
1.855 * [backup-simplify]: Simplify (fma (/ -1 x) (/ -1 y) (/ -1 z)) into (fma (/ -1 x) (/ -1 y) (/ -1 z))
1.855 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.855 * [taylor]: Taking taylor expansion of z in x
1.855 * [backup-simplify]: Simplify z into z
1.855 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.855 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1) in x
1.855 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.855 * [taylor]: Taking taylor expansion of (* x y) in x
1.855 * [taylor]: Taking taylor expansion of x in x
1.856 * [backup-simplify]: Simplify 0 into 0
1.856 * [backup-simplify]: Simplify 1 into 1
1.856 * [taylor]: Taking taylor expansion of y in x
1.856 * [backup-simplify]: Simplify y into y
1.856 * [backup-simplify]: Simplify (* 0 y) into 0
1.856 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.856 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.856 * [taylor]: Taking taylor expansion of 1 in x
1.856 * [backup-simplify]: Simplify 1 into 1
1.856 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (+ (/ 1 (* x y)) 1)) in x
1.856 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in x
1.856 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in x
1.856 * [backup-simplify]: Simplify (fma (/ -1 x) (/ -1 y) (/ -1 z)) into (fma (/ -1 x) (/ -1 y) (/ -1 z))
1.856 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.856 * [taylor]: Taking taylor expansion of z in x
1.856 * [backup-simplify]: Simplify z into z
1.856 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.856 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1) in x
1.856 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.856 * [taylor]: Taking taylor expansion of (* x y) in x
1.856 * [taylor]: Taking taylor expansion of x in x
1.856 * [backup-simplify]: Simplify 0 into 0
1.856 * [backup-simplify]: Simplify 1 into 1
1.856 * [taylor]: Taking taylor expansion of y in x
1.856 * [backup-simplify]: Simplify y into y
1.856 * [backup-simplify]: Simplify (* 0 y) into 0
1.857 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.857 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.857 * [taylor]: Taking taylor expansion of 1 in x
1.857 * [backup-simplify]: Simplify 1 into 1
1.857 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
1.857 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
1.857 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
1.857 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
1.857 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.857 * [taylor]: Taking taylor expansion of y in y
1.857 * [backup-simplify]: Simplify 0 into 0
1.857 * [backup-simplify]: Simplify 1 into 1
1.857 * [backup-simplify]: Simplify (/ 1 1) into 1
1.857 * [backup-simplify]: Simplify (- 1) into -1
1.857 * [taylor]: Taking taylor expansion of -1 in z
1.857 * [backup-simplify]: Simplify -1 into -1
1.858 * [backup-simplify]: Simplify (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) into (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z))
1.858 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1.858 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.858 * [backup-simplify]: Simplify (+ 0 1) into 1
1.859 * [backup-simplify]: Simplify (- 1) into -1
1.859 * [backup-simplify]: Simplify (+ (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) -1) into (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) 1)
1.859 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) 1) in y
1.859 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in y
1.859 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in y
1.859 * [backup-simplify]: Simplify (fma (/ -1 x) (/ -1 y) (/ -1 z)) into (fma (/ -1 x) (/ -1 y) (/ -1 z))
1.859 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.859 * [taylor]: Taking taylor expansion of z in y
1.859 * [backup-simplify]: Simplify z into z
1.859 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.859 * [taylor]: Taking taylor expansion of 1 in y
1.859 * [backup-simplify]: Simplify 1 into 1
1.859 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.860 * [backup-simplify]: Simplify (- 0) into 0
1.860 * [taylor]: Taking taylor expansion of 0 in z
1.860 * [backup-simplify]: Simplify 0 into 0
1.860 * [backup-simplify]: Simplify -1 into -1
1.860 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.860 * [backup-simplify]: Simplify (+ 0 0) into 0
1.861 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1.861 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.861 * [backup-simplify]: Simplify (+ 0 0) into 0
1.861 * [backup-simplify]: Simplify (- 0) into 0
1.862 * [backup-simplify]: Simplify (+ 0 0) into 0
1.862 * [taylor]: Taking taylor expansion of 0 in y
1.862 * [backup-simplify]: Simplify 0 into 0
1.862 * [backup-simplify]: Simplify (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) into (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z))
1.862 * [backup-simplify]: Simplify (- 1) into -1
1.862 * [backup-simplify]: Simplify (+ (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) -1) into (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) 1)
1.862 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) 1) in z
1.862 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in z
1.862 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in z
1.862 * [backup-simplify]: Simplify (fma (/ -1 x) (/ -1 y) (/ -1 z)) into (fma (/ -1 x) (/ -1 y) (/ -1 z))
1.862 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.862 * [taylor]: Taking taylor expansion of z in z
1.862 * [backup-simplify]: Simplify 0 into 0
1.862 * [backup-simplify]: Simplify 1 into 1
1.862 * [backup-simplify]: Simplify (/ 1 1) into 1
1.862 * [taylor]: Taking taylor expansion of 1 in z
1.862 * [backup-simplify]: Simplify 1 into 1
1.863 * [backup-simplify]: Simplify (+ 0 1) into 1
1.863 * [backup-simplify]: Simplify (+ 1 0) into 1
1.863 * [backup-simplify]: Simplify 1 into 1
1.864 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.864 * [backup-simplify]: Simplify (- 0) into 0
1.864 * [taylor]: Taking taylor expansion of 0 in z
1.864 * [backup-simplify]: Simplify 0 into 0
1.864 * [backup-simplify]: Simplify 0 into 0
1.864 * [backup-simplify]: Simplify 0 into 0
1.864 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.864 * [backup-simplify]: Simplify (+ 0 0) into 0
1.865 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
1.865 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.865 * [backup-simplify]: Simplify (+ 0 0) into 0
1.866 * [backup-simplify]: Simplify (- 0) into 0
1.866 * [backup-simplify]: Simplify (+ 0 0) into 0
1.866 * [taylor]: Taking taylor expansion of 0 in y
1.866 * [backup-simplify]: Simplify 0 into 0
1.866 * [taylor]: Taking taylor expansion of 0 in z
1.866 * [backup-simplify]: Simplify 0 into 0
1.866 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.866 * [backup-simplify]: Simplify (+ 0 0) into 0
1.867 * [backup-simplify]: Simplify (- 0) into 0
1.867 * [backup-simplify]: Simplify (+ 0 0) into 0
1.867 * [taylor]: Taking taylor expansion of 0 in z
1.867 * [backup-simplify]: Simplify 0 into 0
1.867 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.868 * [backup-simplify]: Simplify (- 0) into 0
1.868 * [taylor]: Taking taylor expansion of 0 in z
1.868 * [backup-simplify]: Simplify 0 into 0
1.868 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.868 * [backup-simplify]: Simplify (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) 0) into (fma (/ -1 x) (/ -1 y) (/ -1 z))
1.868 * [backup-simplify]: Simplify (- 1) into -1
1.869 * [backup-simplify]: Simplify (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) -1) into (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) 1)
1.869 * [backup-simplify]: Simplify (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) 1) into (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) 1)
1.869 * [backup-simplify]: Simplify (+ (- (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- y))) (/ -1 (/ 1 (- z)))) 1) (+ (* 1 (* (/ 1 (/ 1 (- z))) (* 1 1))) (* -1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))))) into (- (fma x y z) (+ z (+ 1 (* x y))))
1.869 * * * [progress]: simplifying candidates
1.869 * * * * [progress]: [ 1 / 22 ] simplifiying candidate #<alt (λ (x y z) (log (/ (exp (fma x y z)) (* (exp 1) (* (exp (* x y)) (exp z))))))>
1.869 * * * * [progress]: [ 2 / 22 ] simplifiying candidate #<alt (λ (x y z) (log (/ (exp (fma x y z)) (* (exp 1) (exp (+ (* x y) z))))))>
1.869 * * * * [progress]: [ 3 / 22 ] simplifiying candidate #<alt (λ (x y z) (log (/ (exp (fma x y z)) (exp (+ 1 (+ (* x y) z))))))>
1.869 * * * * [progress]: [ 4 / 22 ] simplifiying candidate #<alt (λ (x y z) (pow (- (fma x y z) (+ 1 (+ (* x y) z))) 1))>
1.869 * * * * [progress]: [ 5 / 22 ] simplifiying candidate #<alt (λ (x y z) (exp (log (- (fma x y z) (+ 1 (+ (* x y) z))))))>
1.869 * * * * [progress]: [ 6 / 22 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (fma x y z) (+ 1 (+ (* x y) z))))))>
1.869 * * * * [progress]: [ 7 / 22 ] simplifiying candidate #<alt (λ (x y z) (* (* (cbrt (- (fma x y z) (+ 1 (+ (* x y) z)))) (cbrt (- (fma x y z) (+ 1 (+ (* x y) z))))) (cbrt (- (fma x y z) (+ 1 (+ (* x y) z))))))>
1.870 * * * * [progress]: [ 8 / 22 ] simplifiying candidate #<alt (λ (x y z) (cbrt (* (* (- (fma x y z) (+ 1 (+ (* x y) z))) (- (fma x y z) (+ 1 (+ (* x y) z)))) (- (fma x y z) (+ 1 (+ (* x y) z))))))>
1.870 * * * * [progress]: [ 9 / 22 ] simplifiying candidate #<alt (λ (x y z) (* (sqrt (- (fma x y z) (+ 1 (+ (* x y) z)))) (sqrt (- (fma x y z) (+ 1 (+ (* x y) z))))))>
1.870 * * * * [progress]: [ 10 / 22 ] simplifiying candidate #<alt (λ (x y z) (/ (- (pow (fma x y z) 3) (pow (+ 1 (+ (* x y) z)) 3)) (+ (* (fma x y z) (fma x y z)) (+ (* (+ 1 (+ (* x y) z)) (+ 1 (+ (* x y) z))) (* (fma x y z) (+ 1 (+ (* x y) z)))))))>
1.870 * * * * [progress]: [ 11 / 22 ] simplifiying candidate #<alt (λ (x y z) (+ (fma x y z) (- (+ 1 (+ (* x y) z)))))>
1.870 * * * * [progress]: [ 12 / 22 ] simplifiying candidate #<alt (λ (x y z) (* 1 (- (fma x y z) (+ 1 (+ (* x y) z)))))>
1.870 * * * * [progress]: [ 13 / 22 ] simplifiying candidate #<alt (λ (x y z) (/ (- (* (fma x y z) (fma x y z)) (* (+ 1 (+ (* x y) z)) (+ 1 (+ (* x y) z)))) (+ (fma x y z) (+ 1 (+ (* x y) z)))))>
1.870 * * * * [progress]: [ 14 / 22 ] simplifiying candidate #<alt (λ (x y z) (* (+ (sqrt (fma x y z)) (sqrt (+ 1 (+ (* x y) z)))) (- (sqrt (fma x y z)) (sqrt (+ 1 (+ (* x y) z))))))>
1.870 * * * * [progress]: [ 15 / 22 ] simplifiying candidate #<alt (λ (x y z) (* 1 (- (fma x y z) (+ 1 (+ (* x y) z)))))>
1.870 * * * * [progress]: [ 16 / 22 ] simplifiying candidate #<alt (λ (x y z) (* 1 (- (fma x y z) (+ 1 (+ (* x y) z)))))>
1.870 * * * * [progress]: [ 17 / 22 ] simplifiying candidate #<alt (λ (x y z) (- (- (fma x y z) 1) (+ (* x y) z)))>
1.870 * * * * [progress]: [ 18 / 22 ] simplifiying candidate #<alt (λ (x y z) (+ (fma x y z) (- (+ 1 (+ (* x y) z)))))>
1.870 * * * * [progress]: [ 19 / 22 ] simplifiying candidate #<alt (λ (x y z) (posit16->real (real->posit16 (- (fma x y z) (+ 1 (+ (* x y) z))))))>
1.870 * * * * [progress]: [ 20 / 22 ] simplifiying candidate #<alt (λ (x y z) (- (fma x y z) (+ z (+ 1 (* x y)))))>
1.870 * * * * [progress]: [ 21 / 22 ] simplifiying candidate #<alt (λ (x y z) (- (fma x y z) (+ z (+ 1 (* x y)))))>
1.870 * * * * [progress]: [ 22 / 22 ] simplifiying candidate #<alt (λ (x y z) (- (fma x y z) (+ z (+ 1 (* x y)))))>
1.870 * [simplify]: Simplifying:
  (/ (exp (fma x y z)) (* (exp 1) (* (exp (* x y)) (exp z))))
  (/ (exp (fma x y z)) (* (exp 1) (exp (+ (* x y) z))))
  (/ (exp (fma x y z)) (exp (+ 1 (+ (* x y) z))))
  (log (- (fma x y z) (+ 1 (+ (* x y) z))))
  (exp (- (fma x y z) (+ 1 (+ (* x y) z))))
  (* (cbrt (- (fma x y z) (+ 1 (+ (* x y) z)))) (cbrt (- (fma x y z) (+ 1 (+ (* x y) z)))))
  (cbrt (- (fma x y z) (+ 1 (+ (* x y) z))))
  (* (* (- (fma x y z) (+ 1 (+ (* x y) z))) (- (fma x y z) (+ 1 (+ (* x y) z)))) (- (fma x y z) (+ 1 (+ (* x y) z))))
  (sqrt (- (fma x y z) (+ 1 (+ (* x y) z))))
  (sqrt (- (fma x y z) (+ 1 (+ (* x y) z))))
  (- (pow (fma x y z) 3) (pow (+ 1 (+ (* x y) z)) 3))
  (+ (* (fma x y z) (fma x y z)) (+ (* (+ 1 (+ (* x y) z)) (+ 1 (+ (* x y) z))) (* (fma x y z) (+ 1 (+ (* x y) z)))))
  (- (+ 1 (+ (* x y) z)))
  (- (* (fma x y z) (fma x y z)) (* (+ 1 (+ (* x y) z)) (+ 1 (+ (* x y) z))))
  (+ (fma x y z) (+ 1 (+ (* x y) z)))
  (+ (sqrt (fma x y z)) (sqrt (+ 1 (+ (* x y) z))))
  (- (sqrt (fma x y z)) (sqrt (+ 1 (+ (* x y) z))))
  (- (fma x y z) (+ 1 (+ (* x y) z)))
  (- (fma x y z) (+ 1 (+ (* x y) z)))
  (- (fma x y z) 1)
  (- (+ 1 (+ (* x y) z)))
  (real->posit16 (- (fma x y z) (+ 1 (+ (* x y) z))))
  (- (fma x y z) (+ z (+ 1 (* x y))))
  (- (fma x y z) (+ z (+ 1 (* x y))))
  (- (fma x y z) (+ z (+ 1 (* x y))))
1.871 * * [simplify]: iteration 0: 49 enodes
1.879 * * [simplify]: iteration 1: 120 enodes
1.913 * * [simplify]: iteration 2: 518 enodes
2.305 * * [simplify]: iteration 3: 2773 enodes
3.083 * * [simplify]: iteration complete: 5013 enodes
3.083 * * [simplify]: Extracting #0: cost 16 inf + 0
3.084 * * [simplify]: Extracting #1: cost 270 inf + 0
3.089 * * [simplify]: Extracting #2: cost 981 inf + 76
3.096 * * [simplify]: Extracting #3: cost 1511 inf + 8879
3.134 * * [simplify]: Extracting #4: cost 848 inf + 158200
3.258 * * [simplify]: Extracting #5: cost 140 inf + 336965
3.406 * * [simplify]: Extracting #6: cost 13 inf + 370693
3.510 * * [simplify]: Extracting #7: cost 1 inf + 374097
3.637 * * [simplify]: Extracting #8: cost 0 inf + 374473
3.751 * [simplify]: Simplified to:
  (exp (- (- (fma x y z) (+ z (* x y))) 1))
  (exp (- (- (fma x y z) (+ z (* x y))) 1))
  (exp (- (- (fma x y z) (+ z (* x y))) 1))
  (log (- (fma x y z) (+ (+ z 1) (* x y))))
  (exp (- (- (fma x y z) (+ z (* x y))) 1))
  (* (cbrt (- (fma x y z) (+ (+ z 1) (* x y)))) (cbrt (- (fma x y z) (+ (+ z 1) (* x y)))))
  (cbrt (- (fma x y z) (+ (+ z 1) (* x y))))
  (* (* (- (fma x y z) (+ (+ z 1) (* x y))) (- (fma x y z) (+ (+ z 1) (* x y)))) (- (fma x y z) (+ (+ z 1) (* x y))))
  (sqrt (- (fma x y z) (+ (+ z 1) (* x y))))
  (sqrt (- (fma x y z) (+ (+ z 1) (* x y))))
  (- (* (fma x y z) (* (fma x y z) (fma x y z))) (* (+ (+ z 1) (* x y)) (* (+ (+ z 1) (* x y)) (+ (+ z 1) (* x y)))))
  (+ (+ (* (fma x y z) (+ (+ z 1) (* x y))) (* (+ (+ z 1) (* x y)) (+ (+ z 1) (* x y)))) (* (fma x y z) (fma x y z)))
  (- (- -1 z) (* x y))
  (- (* (fma x y z) (fma x y z)) (* (+ (+ z 1) (* x y)) (+ (+ z 1) (* x y))))
  (+ (+ (fma x y z) (+ (* x y) z)) 1)
  (+ (sqrt (+ (+ z 1) (* x y))) (sqrt (fma x y z)))
  (- (sqrt (fma x y z)) (sqrt (+ (+ z 1) (* x y))))
  (- (fma x y z) (+ (+ z 1) (* x y)))
  (- (fma x y z) (+ (+ z 1) (* x y)))
  (- (fma x y z) 1)
  (- (- -1 z) (* x y))
  (real->posit16 (- (fma x y z) (+ (+ z 1) (* x y))))
  (- (fma x y z) (+ (+ z 1) (* x y)))
  (- (fma x y z) (+ (+ z 1) (* x y)))
  (- (fma x y z) (+ (+ z 1) (* x y)))
3.752 * * * [progress]: adding candidates to table
3.870 * * [progress]: iteration 2 / 4
3.870 * * * [progress]: picking best candidate
3.884 * * * * [pick]: Picked  #<alt (λ (x y z) (log (exp (- (- (fma x y z) (+ z (* x y))) 1))))>
3.885 * * * [progress]: localizing error
3.906 * * * [progress]: generating rewritten candidates
3.906 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1 1)
3.924 * * * [progress]: generating series expansions
3.924 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1 1)
3.924 * [backup-simplify]: Simplify (- (fma x y z) (+ z (* x y))) into (- (fma x y z) (+ z (* x y)))
3.924 * [approximate]: Taking taylor expansion of (- (fma x y z) (+ z (* x y))) in (x y z) around 0
3.924 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ z (* x y))) in z
3.924 * [taylor]: Taking taylor expansion of (fma x y z) in z
3.924 * [backup-simplify]: Simplify (fma x y z) into (fma x y z)
3.924 * [taylor]: Taking taylor expansion of (+ z (* x y)) in z
3.924 * [taylor]: Taking taylor expansion of z in z
3.924 * [backup-simplify]: Simplify 0 into 0
3.924 * [backup-simplify]: Simplify 1 into 1
3.924 * [taylor]: Taking taylor expansion of (* x y) in z
3.924 * [taylor]: Taking taylor expansion of x in z
3.924 * [backup-simplify]: Simplify x into x
3.924 * [taylor]: Taking taylor expansion of y in z
3.924 * [backup-simplify]: Simplify y into y
3.924 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ z (* x y))) in y
3.925 * [taylor]: Taking taylor expansion of (fma x y z) in y
3.925 * [backup-simplify]: Simplify (fma x y z) into (fma x y z)
3.925 * [taylor]: Taking taylor expansion of (+ z (* x y)) in y
3.925 * [taylor]: Taking taylor expansion of z in y
3.925 * [backup-simplify]: Simplify z into z
3.925 * [taylor]: Taking taylor expansion of (* x y) in y
3.925 * [taylor]: Taking taylor expansion of x in y
3.925 * [backup-simplify]: Simplify x into x
3.925 * [taylor]: Taking taylor expansion of y in y
3.925 * [backup-simplify]: Simplify 0 into 0
3.925 * [backup-simplify]: Simplify 1 into 1
3.925 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ z (* x y))) in x
3.925 * [taylor]: Taking taylor expansion of (fma x y z) in x
3.925 * [backup-simplify]: Simplify (fma x y z) into (fma x y z)
3.925 * [taylor]: Taking taylor expansion of (+ z (* x y)) in x
3.925 * [taylor]: Taking taylor expansion of z in x
3.925 * [backup-simplify]: Simplify z into z
3.925 * [taylor]: Taking taylor expansion of (* x y) in x
3.925 * [taylor]: Taking taylor expansion of x in x
3.925 * [backup-simplify]: Simplify 0 into 0
3.925 * [backup-simplify]: Simplify 1 into 1
3.925 * [taylor]: Taking taylor expansion of y in x
3.925 * [backup-simplify]: Simplify y into y
3.925 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ z (* x y))) in x
3.925 * [taylor]: Taking taylor expansion of (fma x y z) in x
3.925 * [backup-simplify]: Simplify (fma x y z) into (fma x y z)
3.925 * [taylor]: Taking taylor expansion of (+ z (* x y)) in x
3.925 * [taylor]: Taking taylor expansion of z in x
3.925 * [backup-simplify]: Simplify z into z
3.925 * [taylor]: Taking taylor expansion of (* x y) in x
3.925 * [taylor]: Taking taylor expansion of x in x
3.925 * [backup-simplify]: Simplify 0 into 0
3.925 * [backup-simplify]: Simplify 1 into 1
3.925 * [taylor]: Taking taylor expansion of y in x
3.925 * [backup-simplify]: Simplify y into y
3.926 * [backup-simplify]: Simplify (* 0 y) into 0
3.926 * [backup-simplify]: Simplify (+ z 0) into z
3.926 * [backup-simplify]: Simplify (- z) into (- z)
3.926 * [backup-simplify]: Simplify (+ (fma x y z) (- z)) into (- (fma x y z) z)
3.926 * [taylor]: Taking taylor expansion of (- (fma x y z) z) in y
3.926 * [taylor]: Taking taylor expansion of (fma x y z) in y
3.926 * [backup-simplify]: Simplify (fma x y z) into (fma x y z)
3.926 * [taylor]: Taking taylor expansion of z in y
3.926 * [backup-simplify]: Simplify z into z
3.926 * [backup-simplify]: Simplify (- z) into (- z)
3.926 * [backup-simplify]: Simplify (+ (fma x y z) (- z)) into (- (fma x y z) z)
3.926 * [taylor]: Taking taylor expansion of (- (fma x y z) z) in z
3.926 * [taylor]: Taking taylor expansion of (fma x y z) in z
3.926 * [backup-simplify]: Simplify (fma x y z) into (fma x y z)
3.926 * [taylor]: Taking taylor expansion of z in z
3.926 * [backup-simplify]: Simplify 0 into 0
3.926 * [backup-simplify]: Simplify 1 into 1
3.927 * [backup-simplify]: Simplify (- 0) into 0
3.927 * [backup-simplify]: Simplify (+ (fma x y z) 0) into (fma x y z)
3.927 * [backup-simplify]: Simplify (fma x y z) into (fma x y z)
3.927 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.927 * [backup-simplify]: Simplify (+ 0 y) into y
3.927 * [backup-simplify]: Simplify (- y) into (- y)
3.927 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
3.927 * [taylor]: Taking taylor expansion of (- y) in y
3.927 * [taylor]: Taking taylor expansion of y in y
3.928 * [backup-simplify]: Simplify 0 into 0
3.928 * [backup-simplify]: Simplify 1 into 1
3.928 * [backup-simplify]: Simplify (- 0) into 0
3.928 * [taylor]: Taking taylor expansion of 0 in z
3.928 * [backup-simplify]: Simplify 0 into 0
3.928 * [backup-simplify]: Simplify 0 into 0
3.928 * [backup-simplify]: Simplify (- 0) into 0
3.928 * [backup-simplify]: Simplify (+ 0 0) into 0
3.928 * [taylor]: Taking taylor expansion of 0 in z
3.928 * [backup-simplify]: Simplify 0 into 0
3.928 * [backup-simplify]: Simplify 0 into 0
3.929 * [backup-simplify]: Simplify (- 1) into -1
3.929 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.929 * [backup-simplify]: Simplify -1 into -1
3.929 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.930 * [backup-simplify]: Simplify (+ 0 0) into 0
3.930 * [backup-simplify]: Simplify (- 0) into 0
3.930 * [backup-simplify]: Simplify (+ 0 0) into 0
3.930 * [taylor]: Taking taylor expansion of 0 in y
3.930 * [backup-simplify]: Simplify 0 into 0
3.930 * [taylor]: Taking taylor expansion of 0 in z
3.930 * [backup-simplify]: Simplify 0 into 0
3.930 * [backup-simplify]: Simplify 0 into 0
3.930 * [backup-simplify]: Simplify (- 1) into -1
3.930 * [taylor]: Taking taylor expansion of -1 in z
3.931 * [backup-simplify]: Simplify -1 into -1
3.931 * [backup-simplify]: Simplify -1 into -1
3.931 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* y x))) (+ (* -1 (* z (* 1 1))) (fma x y z))) into (- (fma x y z) (+ z (* x y)))
3.931 * [backup-simplify]: Simplify (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 z) (* (/ 1 x) (/ 1 y)))) into (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 (* x y)) (/ 1 z)))
3.931 * [approximate]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 (* x y)) (/ 1 z))) in (x y z) around 0
3.931 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 (* x y)) (/ 1 z))) in z
3.931 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in z
3.931 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 y) (/ 1 z)) into (fma (/ 1 x) (/ 1 y) (/ 1 z))
3.931 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 z)) in z
3.931 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
3.931 * [taylor]: Taking taylor expansion of (* x y) in z
3.931 * [taylor]: Taking taylor expansion of x in z
3.931 * [backup-simplify]: Simplify x into x
3.931 * [taylor]: Taking taylor expansion of y in z
3.931 * [backup-simplify]: Simplify y into y
3.931 * [backup-simplify]: Simplify (* x y) into (* x y)
3.931 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
3.931 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.931 * [taylor]: Taking taylor expansion of z in z
3.931 * [backup-simplify]: Simplify 0 into 0
3.931 * [backup-simplify]: Simplify 1 into 1
3.932 * [backup-simplify]: Simplify (/ 1 1) into 1
3.932 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 (* x y)) (/ 1 z))) in y
3.932 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in y
3.932 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 y) (/ 1 z)) into (fma (/ 1 x) (/ 1 y) (/ 1 z))
3.932 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 z)) in y
3.932 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
3.932 * [taylor]: Taking taylor expansion of (* x y) in y
3.932 * [taylor]: Taking taylor expansion of x in y
3.932 * [backup-simplify]: Simplify x into x
3.932 * [taylor]: Taking taylor expansion of y in y
3.932 * [backup-simplify]: Simplify 0 into 0
3.932 * [backup-simplify]: Simplify 1 into 1
3.932 * [backup-simplify]: Simplify (* x 0) into 0
3.932 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
3.932 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.932 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.932 * [taylor]: Taking taylor expansion of z in y
3.932 * [backup-simplify]: Simplify z into z
3.932 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.932 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 (* x y)) (/ 1 z))) in x
3.932 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in x
3.932 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 y) (/ 1 z)) into (fma (/ 1 x) (/ 1 y) (/ 1 z))
3.932 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 z)) in x
3.932 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.932 * [taylor]: Taking taylor expansion of (* x y) in x
3.932 * [taylor]: Taking taylor expansion of x in x
3.932 * [backup-simplify]: Simplify 0 into 0
3.933 * [backup-simplify]: Simplify 1 into 1
3.933 * [taylor]: Taking taylor expansion of y in x
3.933 * [backup-simplify]: Simplify y into y
3.933 * [backup-simplify]: Simplify (* 0 y) into 0
3.933 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.933 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.933 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.933 * [taylor]: Taking taylor expansion of z in x
3.933 * [backup-simplify]: Simplify z into z
3.933 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.933 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 (* x y)) (/ 1 z))) in x
3.933 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in x
3.933 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 y) (/ 1 z)) into (fma (/ 1 x) (/ 1 y) (/ 1 z))
3.933 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 z)) in x
3.933 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.933 * [taylor]: Taking taylor expansion of (* x y) in x
3.933 * [taylor]: Taking taylor expansion of x in x
3.933 * [backup-simplify]: Simplify 0 into 0
3.933 * [backup-simplify]: Simplify 1 into 1
3.933 * [taylor]: Taking taylor expansion of y in x
3.933 * [backup-simplify]: Simplify y into y
3.933 * [backup-simplify]: Simplify (* 0 y) into 0
3.933 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.933 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.934 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.934 * [taylor]: Taking taylor expansion of z in x
3.934 * [backup-simplify]: Simplify z into z
3.934 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.934 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
3.934 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
3.934 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
3.934 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
3.934 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.934 * [taylor]: Taking taylor expansion of y in y
3.934 * [backup-simplify]: Simplify 0 into 0
3.934 * [backup-simplify]: Simplify 1 into 1
3.934 * [backup-simplify]: Simplify (/ 1 1) into 1
3.934 * [backup-simplify]: Simplify (- 1) into -1
3.934 * [taylor]: Taking taylor expansion of -1 in z
3.934 * [backup-simplify]: Simplify -1 into -1
3.935 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.935 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.935 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
3.935 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
3.935 * [backup-simplify]: Simplify (+ (fma (/ 1 x) (/ 1 y) (/ 1 z)) (- (/ 1 z))) into (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (/ 1 z))
3.935 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (/ 1 z)) in y
3.935 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in y
3.935 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 y) (/ 1 z)) into (fma (/ 1 x) (/ 1 y) (/ 1 z))
3.935 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.935 * [taylor]: Taking taylor expansion of z in y
3.935 * [backup-simplify]: Simplify z into z
3.935 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.936 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.936 * [backup-simplify]: Simplify (- 0) into 0
3.936 * [taylor]: Taking taylor expansion of 0 in z
3.936 * [backup-simplify]: Simplify 0 into 0
3.936 * [backup-simplify]: Simplify -1 into -1
3.937 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
3.937 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.937 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
3.937 * [backup-simplify]: Simplify (+ 0 0) into 0
3.937 * [backup-simplify]: Simplify (- 0) into 0
3.938 * [backup-simplify]: Simplify (+ 0 0) into 0
3.938 * [taylor]: Taking taylor expansion of 0 in y
3.938 * [backup-simplify]: Simplify 0 into 0
3.938 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
3.938 * [backup-simplify]: Simplify (+ (fma (/ 1 x) (/ 1 y) (/ 1 z)) (- (/ 1 z))) into (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (/ 1 z))
3.938 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (/ 1 z)) in z
3.938 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in z
3.938 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 y) (/ 1 z)) into (fma (/ 1 x) (/ 1 y) (/ 1 z))
3.938 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.938 * [taylor]: Taking taylor expansion of z in z
3.938 * [backup-simplify]: Simplify 0 into 0
3.938 * [backup-simplify]: Simplify 1 into 1
3.938 * [backup-simplify]: Simplify (/ 1 1) into 1
3.938 * [backup-simplify]: Simplify (- 1) into -1
3.939 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.939 * [backup-simplify]: Simplify -1 into -1
3.939 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.940 * [backup-simplify]: Simplify (- 0) into 0
3.940 * [taylor]: Taking taylor expansion of 0 in z
3.940 * [backup-simplify]: Simplify 0 into 0
3.940 * [backup-simplify]: Simplify 0 into 0
3.940 * [backup-simplify]: Simplify 0 into 0
3.941 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
3.941 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.941 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.941 * [backup-simplify]: Simplify (+ 0 0) into 0
3.941 * [backup-simplify]: Simplify (- 0) into 0
3.941 * [backup-simplify]: Simplify (+ 0 0) into 0
3.942 * [taylor]: Taking taylor expansion of 0 in y
3.942 * [backup-simplify]: Simplify 0 into 0
3.942 * [taylor]: Taking taylor expansion of 0 in z
3.942 * [backup-simplify]: Simplify 0 into 0
3.942 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
3.942 * [backup-simplify]: Simplify (- 0) into 0
3.942 * [backup-simplify]: Simplify (+ 0 0) into 0
3.942 * [taylor]: Taking taylor expansion of 0 in z
3.942 * [backup-simplify]: Simplify 0 into 0
3.943 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.943 * [backup-simplify]: Simplify (- 0) into 0
3.943 * [taylor]: Taking taylor expansion of 0 in z
3.943 * [backup-simplify]: Simplify 0 into 0
3.943 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.944 * [backup-simplify]: Simplify (- 0) into 0
3.944 * [backup-simplify]: Simplify (+ (fma (/ 1 x) (/ 1 y) (/ 1 z)) 0) into (fma (/ 1 x) (/ 1 y) (/ 1 z))
3.944 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 y) (/ 1 z)) into (fma (/ 1 x) (/ 1 y) (/ 1 z))
3.944 * [backup-simplify]: Simplify (+ (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 y)) (/ 1 (/ 1 z))) (+ (* -1 (* (/ 1 (/ 1 z)) (* 1 1))) (* -1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))))) into (- (fma x y z) (+ z (* x y)))
3.944 * [backup-simplify]: Simplify (- (fma (/ 1 (- x)) (/ 1 (- y)) (/ 1 (- z))) (+ (/ 1 (- z)) (* (/ 1 (- x)) (/ 1 (- y))))) into (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (/ 1 (* x y)))
3.945 * [approximate]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (/ 1 (* x y))) in (x y z) around 0
3.945 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (/ 1 (* x y))) in z
3.945 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in z
3.945 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in z
3.945 * [backup-simplify]: Simplify (fma (/ -1 x) (/ -1 y) (/ -1 z)) into (fma (/ -1 x) (/ -1 y) (/ -1 z))
3.945 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.945 * [taylor]: Taking taylor expansion of z in z
3.945 * [backup-simplify]: Simplify 0 into 0
3.945 * [backup-simplify]: Simplify 1 into 1
3.945 * [backup-simplify]: Simplify (/ 1 1) into 1
3.945 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
3.945 * [taylor]: Taking taylor expansion of (* x y) in z
3.945 * [taylor]: Taking taylor expansion of x in z
3.945 * [backup-simplify]: Simplify x into x
3.945 * [taylor]: Taking taylor expansion of y in z
3.945 * [backup-simplify]: Simplify y into y
3.945 * [backup-simplify]: Simplify (* x y) into (* x y)
3.945 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
3.945 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (/ 1 (* x y))) in y
3.945 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in y
3.945 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in y
3.945 * [backup-simplify]: Simplify (fma (/ -1 x) (/ -1 y) (/ -1 z)) into (fma (/ -1 x) (/ -1 y) (/ -1 z))
3.945 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.945 * [taylor]: Taking taylor expansion of z in y
3.945 * [backup-simplify]: Simplify z into z
3.945 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.945 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
3.945 * [taylor]: Taking taylor expansion of (* x y) in y
3.945 * [taylor]: Taking taylor expansion of x in y
3.945 * [backup-simplify]: Simplify x into x
3.945 * [taylor]: Taking taylor expansion of y in y
3.945 * [backup-simplify]: Simplify 0 into 0
3.945 * [backup-simplify]: Simplify 1 into 1
3.945 * [backup-simplify]: Simplify (* x 0) into 0
3.946 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
3.946 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.946 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (/ 1 (* x y))) in x
3.946 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in x
3.946 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in x
3.946 * [backup-simplify]: Simplify (fma (/ -1 x) (/ -1 y) (/ -1 z)) into (fma (/ -1 x) (/ -1 y) (/ -1 z))
3.946 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.946 * [taylor]: Taking taylor expansion of z in x
3.946 * [backup-simplify]: Simplify z into z
3.946 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.946 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.946 * [taylor]: Taking taylor expansion of (* x y) in x
3.946 * [taylor]: Taking taylor expansion of x in x
3.946 * [backup-simplify]: Simplify 0 into 0
3.946 * [backup-simplify]: Simplify 1 into 1
3.946 * [taylor]: Taking taylor expansion of y in x
3.946 * [backup-simplify]: Simplify y into y
3.946 * [backup-simplify]: Simplify (* 0 y) into 0
3.946 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.946 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.946 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (/ 1 (* x y))) in x
3.946 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in x
3.946 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in x
3.947 * [backup-simplify]: Simplify (fma (/ -1 x) (/ -1 y) (/ -1 z)) into (fma (/ -1 x) (/ -1 y) (/ -1 z))
3.947 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.947 * [taylor]: Taking taylor expansion of z in x
3.947 * [backup-simplify]: Simplify z into z
3.947 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.947 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.947 * [taylor]: Taking taylor expansion of (* x y) in x
3.947 * [taylor]: Taking taylor expansion of x in x
3.947 * [backup-simplify]: Simplify 0 into 0
3.947 * [backup-simplify]: Simplify 1 into 1
3.947 * [taylor]: Taking taylor expansion of y in x
3.947 * [backup-simplify]: Simplify y into y
3.947 * [backup-simplify]: Simplify (* 0 y) into 0
3.947 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.947 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.947 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
3.947 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
3.947 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
3.947 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.947 * [taylor]: Taking taylor expansion of y in y
3.947 * [backup-simplify]: Simplify 0 into 0
3.947 * [backup-simplify]: Simplify 1 into 1
3.947 * [backup-simplify]: Simplify (/ 1 1) into 1
3.948 * [backup-simplify]: Simplify (- 1) into -1
3.948 * [taylor]: Taking taylor expansion of -1 in z
3.948 * [backup-simplify]: Simplify -1 into -1
3.948 * [backup-simplify]: Simplify (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) into (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z))
3.948 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.948 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.949 * [backup-simplify]: Simplify (- 0) into 0
3.949 * [backup-simplify]: Simplify (+ (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) 0) into (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z))
3.949 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in y
3.949 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in y
3.949 * [backup-simplify]: Simplify (fma (/ -1 x) (/ -1 y) (/ -1 z)) into (fma (/ -1 x) (/ -1 y) (/ -1 z))
3.949 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.949 * [taylor]: Taking taylor expansion of z in y
3.949 * [backup-simplify]: Simplify z into z
3.949 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.949 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.950 * [backup-simplify]: Simplify (- 0) into 0
3.950 * [taylor]: Taking taylor expansion of 0 in z
3.950 * [backup-simplify]: Simplify 0 into 0
3.950 * [backup-simplify]: Simplify -1 into -1
3.950 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
3.950 * [backup-simplify]: Simplify (+ 0 0) into 0
3.951 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
3.951 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.951 * [backup-simplify]: Simplify (- 0) into 0
3.951 * [backup-simplify]: Simplify (+ 0 0) into 0
3.951 * [taylor]: Taking taylor expansion of 0 in y
3.951 * [backup-simplify]: Simplify 0 into 0
3.951 * [backup-simplify]: Simplify (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) into (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z))
3.952 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in z
3.952 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in z
3.952 * [backup-simplify]: Simplify (fma (/ -1 x) (/ -1 y) (/ -1 z)) into (fma (/ -1 x) (/ -1 y) (/ -1 z))
3.952 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.952 * [taylor]: Taking taylor expansion of z in z
3.952 * [backup-simplify]: Simplify 0 into 0
3.952 * [backup-simplify]: Simplify 1 into 1
3.952 * [backup-simplify]: Simplify (/ 1 1) into 1
3.952 * [backup-simplify]: Simplify (+ 0 1) into 1
3.952 * [backup-simplify]: Simplify 1 into 1
3.953 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.953 * [backup-simplify]: Simplify (- 0) into 0
3.953 * [taylor]: Taking taylor expansion of 0 in z
3.953 * [backup-simplify]: Simplify 0 into 0
3.953 * [backup-simplify]: Simplify 0 into 0
3.953 * [backup-simplify]: Simplify 0 into 0
3.953 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.953 * [backup-simplify]: Simplify (+ 0 0) into 0
3.954 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
3.954 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.955 * [backup-simplify]: Simplify (- 0) into 0
3.955 * [backup-simplify]: Simplify (+ 0 0) into 0
3.955 * [taylor]: Taking taylor expansion of 0 in y
3.955 * [backup-simplify]: Simplify 0 into 0
3.955 * [taylor]: Taking taylor expansion of 0 in z
3.955 * [backup-simplify]: Simplify 0 into 0
3.955 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
3.955 * [backup-simplify]: Simplify (+ 0 0) into 0
3.955 * [taylor]: Taking taylor expansion of 0 in z
3.955 * [backup-simplify]: Simplify 0 into 0
3.956 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.956 * [backup-simplify]: Simplify (- 0) into 0
3.956 * [taylor]: Taking taylor expansion of 0 in z
3.956 * [backup-simplify]: Simplify 0 into 0
3.957 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.957 * [backup-simplify]: Simplify (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) 0) into (fma (/ -1 x) (/ -1 y) (/ -1 z))
3.957 * [backup-simplify]: Simplify (fma (/ -1 x) (/ -1 y) (/ -1 z)) into (fma (/ -1 x) (/ -1 y) (/ -1 z))
3.957 * [backup-simplify]: Simplify (+ (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- y))) (/ -1 (/ 1 (- z)))) (+ (* 1 (* (/ 1 (/ 1 (- z))) (* 1 1))) (* -1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))))) into (- (fma x y z) (+ z (* x y)))
3.957 * * * [progress]: simplifying candidates
3.957 * * * * [progress]: [ 1 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (log (/ (exp (fma x y z)) (* (exp z) (exp (* x y))))) 1))))>
3.957 * * * * [progress]: [ 2 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (log (/ (exp (fma x y z)) (exp (+ z (* x y))))) 1))))>
3.957 * * * * [progress]: [ 3 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (pow (- (fma x y z) (+ z (* x y))) 1) 1))))>
3.958 * * * * [progress]: [ 4 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (exp (log (- (fma x y z) (+ z (* x y))))) 1))))>
3.958 * * * * [progress]: [ 5 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (log (exp (- (fma x y z) (+ z (* x y))))) 1))))>
3.958 * * * * [progress]: [ 6 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (* (* (cbrt (- (fma x y z) (+ z (* x y)))) (cbrt (- (fma x y z) (+ z (* x y))))) (cbrt (- (fma x y z) (+ z (* x y))))) 1))))>
3.958 * * * * [progress]: [ 7 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (cbrt (* (* (- (fma x y z) (+ z (* x y))) (- (fma x y z) (+ z (* x y)))) (- (fma x y z) (+ z (* x y))))) 1))))>
3.958 * * * * [progress]: [ 8 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (* (sqrt (- (fma x y z) (+ z (* x y)))) (sqrt (- (fma x y z) (+ z (* x y))))) 1))))>
3.958 * * * * [progress]: [ 9 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (/ (- (pow (fma x y z) 3) (pow (+ z (* x y)) 3)) (+ (* (fma x y z) (fma x y z)) (+ (* (+ z (* x y)) (+ z (* x y))) (* (fma x y z) (+ z (* x y)))))) 1))))>
3.958 * * * * [progress]: [ 10 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (+ (fma x y z) (- (+ z (* x y)))) 1))))>
3.958 * * * * [progress]: [ 11 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (* 1 (- (fma x y z) (+ z (* x y)))) 1))))>
3.958 * * * * [progress]: [ 12 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (/ (- (* (fma x y z) (fma x y z)) (* (+ z (* x y)) (+ z (* x y)))) (+ (fma x y z) (+ z (* x y)))) 1))))>
3.958 * * * * [progress]: [ 13 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (* (+ (sqrt (fma x y z)) (sqrt (+ z (* x y)))) (- (sqrt (fma x y z)) (sqrt (+ z (* x y))))) 1))))>
3.958 * * * * [progress]: [ 14 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (* 1 (- (fma x y z) (+ z (* x y)))) 1))))>
3.958 * * * * [progress]: [ 15 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (- (- (fma x y z) z) (* x y)) 1))))>
3.958 * * * * [progress]: [ 16 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (+ (fma x y z) (- (+ z (* x y)))) 1))))>
3.958 * * * * [progress]: [ 17 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (posit16->real (real->posit16 (- (fma x y z) (+ z (* x y))))) 1))))>
3.958 * * * * [progress]: [ 18 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (- (fma x y z) (+ z (* x y))) 1))))>
3.958 * * * * [progress]: [ 19 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (- (fma x y z) (+ z (* x y))) 1))))>
3.958 * * * * [progress]: [ 20 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (- (fma x y z) (+ z (* x y))) 1))))>
3.958 * [simplify]: Simplifying:
  (/ (exp (fma x y z)) (* (exp z) (exp (* x y))))
  (/ (exp (fma x y z)) (exp (+ z (* x y))))
  (log (- (fma x y z) (+ z (* x y))))
  (exp (- (fma x y z) (+ z (* x y))))
  (* (cbrt (- (fma x y z) (+ z (* x y)))) (cbrt (- (fma x y z) (+ z (* x y)))))
  (cbrt (- (fma x y z) (+ z (* x y))))
  (* (* (- (fma x y z) (+ z (* x y))) (- (fma x y z) (+ z (* x y)))) (- (fma x y z) (+ z (* x y))))
  (sqrt (- (fma x y z) (+ z (* x y))))
  (sqrt (- (fma x y z) (+ z (* x y))))
  (- (pow (fma x y z) 3) (pow (+ z (* x y)) 3))
  (+ (* (fma x y z) (fma x y z)) (+ (* (+ z (* x y)) (+ z (* x y))) (* (fma x y z) (+ z (* x y)))))
  (- (+ z (* x y)))
  (- (* (fma x y z) (fma x y z)) (* (+ z (* x y)) (+ z (* x y))))
  (+ (fma x y z) (+ z (* x y)))
  (+ (sqrt (fma x y z)) (sqrt (+ z (* x y))))
  (- (sqrt (fma x y z)) (sqrt (+ z (* x y))))
  (- (fma x y z) (+ z (* x y)))
  (- (fma x y z) z)
  (- (+ z (* x y)))
  (real->posit16 (- (fma x y z) (+ z (* x y))))
  (- (fma x y z) (+ z (* x y)))
  (- (fma x y z) (+ z (* x y)))
  (- (fma x y z) (+ z (* x y)))
3.959 * * [simplify]: iteration 0: 39 enodes
3.975 * * [simplify]: iteration 1: 93 enodes
4.005 * * [simplify]: iteration 2: 270 enodes
4.111 * * [simplify]: iteration 3: 980 enodes
4.952 * * [simplify]: iteration 4: 3993 enodes
5.938 * * [simplify]: iteration complete: 5000 enodes
5.938 * * [simplify]: Extracting #0: cost 16 inf + 0
5.939 * * [simplify]: Extracting #1: cost 287 inf + 0
5.942 * * [simplify]: Extracting #2: cost 886 inf + 73
5.947 * * [simplify]: Extracting #3: cost 1105 inf + 2521
5.966 * * [simplify]: Extracting #4: cost 837 inf + 83107
6.070 * * [simplify]: Extracting #5: cost 219 inf + 260227
6.174 * * [simplify]: Extracting #6: cost 24 inf + 327511
6.300 * * [simplify]: Extracting #7: cost 2 inf + 333838
6.432 * * [simplify]: Extracting #8: cost 0 inf + 334591
6.550 * [simplify]: Simplified to:
  (exp (- (- (fma x y z) z) (* x y)))
  (exp (- (- (fma x y z) z) (* x y)))
  (log (- (- (fma x y z) z) (* x y)))
  (exp (- (- (fma x y z) z) (* x y)))
  (* (cbrt (- (- (fma x y z) z) (* x y))) (cbrt (- (- (fma x y z) z) (* x y))))
  (cbrt (- (- (fma x y z) z) (* x y)))
  (* (* (- (- (fma x y z) z) (* x y)) (- (- (fma x y z) z) (* x y))) (- (- (fma x y z) z) (* x y)))
  (sqrt (- (- (fma x y z) z) (* x y)))
  (sqrt (- (- (fma x y z) z) (* x y)))
  (- (* (fma x y z) (* (fma x y z) (fma x y z))) (* (+ z (* x y)) (* (+ z (* x y)) (+ z (* x y)))))
  (+ (* (+ z (* x y)) (+ z (* x y))) (* (fma x y z) (+ (+ (fma x y z) z) (* x y))))
  (- (* y (- x)) z)
  (- (* (fma x y z) (fma x y z)) (* (+ z (* x y)) (+ z (* x y))))
  (+ (+ (fma x y z) z) (* x y))
  (+ (sqrt (fma x y z)) (sqrt (+ z (* x y))))
  (- (sqrt (fma x y z)) (sqrt (+ z (* x y))))
  (- (- (fma x y z) z) (* x y))
  (- (fma x y z) z)
  (- (* y (- x)) z)
  (real->posit16 (- (- (fma x y z) z) (* x y)))
  (- (- (fma x y z) z) (* x y))
  (- (- (fma x y z) z) (* x y))
  (- (- (fma x y z) z) (* x y))
6.553 * * * [progress]: adding candidates to table
6.658 * * [progress]: iteration 3 / 4
6.658 * * * [progress]: picking best candidate
6.666 * * * * [pick]: Picked  #<alt (λ (x y z) (log (exp (- (posit16->real (real->posit16 (- (fma x y z) (+ z (* x y))))) 1))))>
6.666 * * * [progress]: localizing error
6.720 * * * [progress]: generating rewritten candidates
6.720 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1 1 1 1)
6.741 * * * [progress]: generating series expansions
6.741 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1 1 1 1)
6.741 * [backup-simplify]: Simplify (- (fma x y z) (+ z (* x y))) into (- (fma x y z) (+ z (* x y)))
6.741 * [approximate]: Taking taylor expansion of (- (fma x y z) (+ z (* x y))) in (x y z) around 0
6.741 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ z (* x y))) in z
6.741 * [taylor]: Taking taylor expansion of (fma x y z) in z
6.741 * [backup-simplify]: Simplify (fma x y z) into (fma x y z)
6.741 * [taylor]: Taking taylor expansion of (+ z (* x y)) in z
6.741 * [taylor]: Taking taylor expansion of z in z
6.742 * [backup-simplify]: Simplify 0 into 0
6.742 * [backup-simplify]: Simplify 1 into 1
6.742 * [taylor]: Taking taylor expansion of (* x y) in z
6.742 * [taylor]: Taking taylor expansion of x in z
6.742 * [backup-simplify]: Simplify x into x
6.742 * [taylor]: Taking taylor expansion of y in z
6.742 * [backup-simplify]: Simplify y into y
6.742 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ z (* x y))) in y
6.742 * [taylor]: Taking taylor expansion of (fma x y z) in y
6.742 * [backup-simplify]: Simplify (fma x y z) into (fma x y z)
6.742 * [taylor]: Taking taylor expansion of (+ z (* x y)) in y
6.742 * [taylor]: Taking taylor expansion of z in y
6.742 * [backup-simplify]: Simplify z into z
6.742 * [taylor]: Taking taylor expansion of (* x y) in y
6.742 * [taylor]: Taking taylor expansion of x in y
6.742 * [backup-simplify]: Simplify x into x
6.742 * [taylor]: Taking taylor expansion of y in y
6.742 * [backup-simplify]: Simplify 0 into 0
6.742 * [backup-simplify]: Simplify 1 into 1
6.742 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ z (* x y))) in x
6.742 * [taylor]: Taking taylor expansion of (fma x y z) in x
6.742 * [backup-simplify]: Simplify (fma x y z) into (fma x y z)
6.742 * [taylor]: Taking taylor expansion of (+ z (* x y)) in x
6.742 * [taylor]: Taking taylor expansion of z in x
6.742 * [backup-simplify]: Simplify z into z
6.742 * [taylor]: Taking taylor expansion of (* x y) in x
6.742 * [taylor]: Taking taylor expansion of x in x
6.742 * [backup-simplify]: Simplify 0 into 0
6.742 * [backup-simplify]: Simplify 1 into 1
6.742 * [taylor]: Taking taylor expansion of y in x
6.742 * [backup-simplify]: Simplify y into y
6.742 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ z (* x y))) in x
6.742 * [taylor]: Taking taylor expansion of (fma x y z) in x
6.742 * [backup-simplify]: Simplify (fma x y z) into (fma x y z)
6.742 * [taylor]: Taking taylor expansion of (+ z (* x y)) in x
6.742 * [taylor]: Taking taylor expansion of z in x
6.743 * [backup-simplify]: Simplify z into z
6.743 * [taylor]: Taking taylor expansion of (* x y) in x
6.743 * [taylor]: Taking taylor expansion of x in x
6.743 * [backup-simplify]: Simplify 0 into 0
6.743 * [backup-simplify]: Simplify 1 into 1
6.743 * [taylor]: Taking taylor expansion of y in x
6.743 * [backup-simplify]: Simplify y into y
6.743 * [backup-simplify]: Simplify (* 0 y) into 0
6.743 * [backup-simplify]: Simplify (+ z 0) into z
6.743 * [backup-simplify]: Simplify (- z) into (- z)
6.743 * [backup-simplify]: Simplify (+ (fma x y z) (- z)) into (- (fma x y z) z)
6.743 * [taylor]: Taking taylor expansion of (- (fma x y z) z) in y
6.743 * [taylor]: Taking taylor expansion of (fma x y z) in y
6.743 * [backup-simplify]: Simplify (fma x y z) into (fma x y z)
6.743 * [taylor]: Taking taylor expansion of z in y
6.750 * [backup-simplify]: Simplify z into z
6.750 * [backup-simplify]: Simplify (- z) into (- z)
6.750 * [backup-simplify]: Simplify (+ (fma x y z) (- z)) into (- (fma x y z) z)
6.750 * [taylor]: Taking taylor expansion of (- (fma x y z) z) in z
6.750 * [taylor]: Taking taylor expansion of (fma x y z) in z
6.750 * [backup-simplify]: Simplify (fma x y z) into (fma x y z)
6.750 * [taylor]: Taking taylor expansion of z in z
6.750 * [backup-simplify]: Simplify 0 into 0
6.750 * [backup-simplify]: Simplify 1 into 1
6.751 * [backup-simplify]: Simplify (- 0) into 0
6.751 * [backup-simplify]: Simplify (+ (fma x y z) 0) into (fma x y z)
6.751 * [backup-simplify]: Simplify (fma x y z) into (fma x y z)
6.752 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.752 * [backup-simplify]: Simplify (+ 0 y) into y
6.752 * [backup-simplify]: Simplify (- y) into (- y)
6.752 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
6.752 * [taylor]: Taking taylor expansion of (- y) in y
6.752 * [taylor]: Taking taylor expansion of y in y
6.752 * [backup-simplify]: Simplify 0 into 0
6.752 * [backup-simplify]: Simplify 1 into 1
6.752 * [backup-simplify]: Simplify (- 0) into 0
6.752 * [taylor]: Taking taylor expansion of 0 in z
6.752 * [backup-simplify]: Simplify 0 into 0
6.752 * [backup-simplify]: Simplify 0 into 0
6.753 * [backup-simplify]: Simplify (- 0) into 0
6.753 * [backup-simplify]: Simplify (+ 0 0) into 0
6.753 * [taylor]: Taking taylor expansion of 0 in z
6.753 * [backup-simplify]: Simplify 0 into 0
6.753 * [backup-simplify]: Simplify 0 into 0
6.754 * [backup-simplify]: Simplify (- 1) into -1
6.755 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.755 * [backup-simplify]: Simplify -1 into -1
6.755 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
6.756 * [backup-simplify]: Simplify (+ 0 0) into 0
6.756 * [backup-simplify]: Simplify (- 0) into 0
6.757 * [backup-simplify]: Simplify (+ 0 0) into 0
6.757 * [taylor]: Taking taylor expansion of 0 in y
6.757 * [backup-simplify]: Simplify 0 into 0
6.757 * [taylor]: Taking taylor expansion of 0 in z
6.757 * [backup-simplify]: Simplify 0 into 0
6.757 * [backup-simplify]: Simplify 0 into 0
6.757 * [backup-simplify]: Simplify (- 1) into -1
6.757 * [taylor]: Taking taylor expansion of -1 in z
6.757 * [backup-simplify]: Simplify -1 into -1
6.757 * [backup-simplify]: Simplify -1 into -1
6.758 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* y x))) (+ (* -1 (* z (* 1 1))) (fma x y z))) into (- (fma x y z) (+ z (* x y)))
6.758 * [backup-simplify]: Simplify (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 z) (* (/ 1 x) (/ 1 y)))) into (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 (* x y)) (/ 1 z)))
6.758 * [approximate]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 (* x y)) (/ 1 z))) in (x y z) around 0
6.758 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 (* x y)) (/ 1 z))) in z
6.758 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in z
6.758 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 y) (/ 1 z)) into (fma (/ 1 x) (/ 1 y) (/ 1 z))
6.758 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 z)) in z
6.758 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
6.758 * [taylor]: Taking taylor expansion of (* x y) in z
6.758 * [taylor]: Taking taylor expansion of x in z
6.758 * [backup-simplify]: Simplify x into x
6.758 * [taylor]: Taking taylor expansion of y in z
6.758 * [backup-simplify]: Simplify y into y
6.759 * [backup-simplify]: Simplify (* x y) into (* x y)
6.759 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
6.759 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.759 * [taylor]: Taking taylor expansion of z in z
6.759 * [backup-simplify]: Simplify 0 into 0
6.759 * [backup-simplify]: Simplify 1 into 1
6.759 * [backup-simplify]: Simplify (/ 1 1) into 1
6.759 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 (* x y)) (/ 1 z))) in y
6.759 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in y
6.759 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 y) (/ 1 z)) into (fma (/ 1 x) (/ 1 y) (/ 1 z))
6.759 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 z)) in y
6.759 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
6.759 * [taylor]: Taking taylor expansion of (* x y) in y
6.759 * [taylor]: Taking taylor expansion of x in y
6.759 * [backup-simplify]: Simplify x into x
6.759 * [taylor]: Taking taylor expansion of y in y
6.759 * [backup-simplify]: Simplify 0 into 0
6.759 * [backup-simplify]: Simplify 1 into 1
6.760 * [backup-simplify]: Simplify (* x 0) into 0
6.760 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
6.760 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.760 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.760 * [taylor]: Taking taylor expansion of z in y
6.760 * [backup-simplify]: Simplify z into z
6.760 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.760 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 (* x y)) (/ 1 z))) in x
6.760 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in x
6.760 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 y) (/ 1 z)) into (fma (/ 1 x) (/ 1 y) (/ 1 z))
6.760 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 z)) in x
6.760 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.760 * [taylor]: Taking taylor expansion of (* x y) in x
6.760 * [taylor]: Taking taylor expansion of x in x
6.760 * [backup-simplify]: Simplify 0 into 0
6.760 * [backup-simplify]: Simplify 1 into 1
6.760 * [taylor]: Taking taylor expansion of y in x
6.760 * [backup-simplify]: Simplify y into y
6.761 * [backup-simplify]: Simplify (* 0 y) into 0
6.761 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.761 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.761 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.761 * [taylor]: Taking taylor expansion of z in x
6.761 * [backup-simplify]: Simplify z into z
6.761 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.761 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 (* x y)) (/ 1 z))) in x
6.761 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in x
6.761 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 y) (/ 1 z)) into (fma (/ 1 x) (/ 1 y) (/ 1 z))
6.761 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 z)) in x
6.761 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.761 * [taylor]: Taking taylor expansion of (* x y) in x
6.761 * [taylor]: Taking taylor expansion of x in x
6.761 * [backup-simplify]: Simplify 0 into 0
6.761 * [backup-simplify]: Simplify 1 into 1
6.761 * [taylor]: Taking taylor expansion of y in x
6.762 * [backup-simplify]: Simplify y into y
6.762 * [backup-simplify]: Simplify (* 0 y) into 0
6.762 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.762 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.762 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.762 * [taylor]: Taking taylor expansion of z in x
6.762 * [backup-simplify]: Simplify z into z
6.762 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.762 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
6.762 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
6.763 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
6.763 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
6.763 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.763 * [taylor]: Taking taylor expansion of y in y
6.763 * [backup-simplify]: Simplify 0 into 0
6.763 * [backup-simplify]: Simplify 1 into 1
6.763 * [backup-simplify]: Simplify (/ 1 1) into 1
6.763 * [backup-simplify]: Simplify (- 1) into -1
6.763 * [taylor]: Taking taylor expansion of -1 in z
6.763 * [backup-simplify]: Simplify -1 into -1
6.764 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
6.764 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.764 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
6.765 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
6.765 * [backup-simplify]: Simplify (+ (fma (/ 1 x) (/ 1 y) (/ 1 z)) (- (/ 1 z))) into (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (/ 1 z))
6.765 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (/ 1 z)) in y
6.765 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in y
6.765 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 y) (/ 1 z)) into (fma (/ 1 x) (/ 1 y) (/ 1 z))
6.765 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.765 * [taylor]: Taking taylor expansion of z in y
6.765 * [backup-simplify]: Simplify z into z
6.765 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.766 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.767 * [backup-simplify]: Simplify (- 0) into 0
6.767 * [taylor]: Taking taylor expansion of 0 in z
6.767 * [backup-simplify]: Simplify 0 into 0
6.767 * [backup-simplify]: Simplify -1 into -1
6.768 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
6.768 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.768 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
6.768 * [backup-simplify]: Simplify (+ 0 0) into 0
6.769 * [backup-simplify]: Simplify (- 0) into 0
6.769 * [backup-simplify]: Simplify (+ 0 0) into 0
6.769 * [taylor]: Taking taylor expansion of 0 in y
6.769 * [backup-simplify]: Simplify 0 into 0
6.769 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
6.770 * [backup-simplify]: Simplify (+ (fma (/ 1 x) (/ 1 y) (/ 1 z)) (- (/ 1 z))) into (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (/ 1 z))
6.770 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (/ 1 z)) in z
6.770 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in z
6.770 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 y) (/ 1 z)) into (fma (/ 1 x) (/ 1 y) (/ 1 z))
6.770 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.770 * [taylor]: Taking taylor expansion of z in z
6.770 * [backup-simplify]: Simplify 0 into 0
6.770 * [backup-simplify]: Simplify 1 into 1
6.770 * [backup-simplify]: Simplify (/ 1 1) into 1
6.771 * [backup-simplify]: Simplify (- 1) into -1
6.771 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.771 * [backup-simplify]: Simplify -1 into -1
6.772 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.772 * [backup-simplify]: Simplify (- 0) into 0
6.772 * [taylor]: Taking taylor expansion of 0 in z
6.772 * [backup-simplify]: Simplify 0 into 0
6.772 * [backup-simplify]: Simplify 0 into 0
6.772 * [backup-simplify]: Simplify 0 into 0
6.774 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
6.774 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.775 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
6.775 * [backup-simplify]: Simplify (+ 0 0) into 0
6.775 * [backup-simplify]: Simplify (- 0) into 0
6.775 * [backup-simplify]: Simplify (+ 0 0) into 0
6.776 * [taylor]: Taking taylor expansion of 0 in y
6.776 * [backup-simplify]: Simplify 0 into 0
6.776 * [taylor]: Taking taylor expansion of 0 in z
6.776 * [backup-simplify]: Simplify 0 into 0
6.776 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
6.776 * [backup-simplify]: Simplify (- 0) into 0
6.776 * [backup-simplify]: Simplify (+ 0 0) into 0
6.776 * [taylor]: Taking taylor expansion of 0 in z
6.776 * [backup-simplify]: Simplify 0 into 0
6.777 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.777 * [backup-simplify]: Simplify (- 0) into 0
6.777 * [taylor]: Taking taylor expansion of 0 in z
6.777 * [backup-simplify]: Simplify 0 into 0
6.777 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.778 * [backup-simplify]: Simplify (- 0) into 0
6.778 * [backup-simplify]: Simplify (+ (fma (/ 1 x) (/ 1 y) (/ 1 z)) 0) into (fma (/ 1 x) (/ 1 y) (/ 1 z))
6.778 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 y) (/ 1 z)) into (fma (/ 1 x) (/ 1 y) (/ 1 z))
6.778 * [backup-simplify]: Simplify (+ (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 y)) (/ 1 (/ 1 z))) (+ (* -1 (* (/ 1 (/ 1 z)) (* 1 1))) (* -1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))))) into (- (fma x y z) (+ z (* x y)))
6.779 * [backup-simplify]: Simplify (- (fma (/ 1 (- x)) (/ 1 (- y)) (/ 1 (- z))) (+ (/ 1 (- z)) (* (/ 1 (- x)) (/ 1 (- y))))) into (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (/ 1 (* x y)))
6.779 * [approximate]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (/ 1 (* x y))) in (x y z) around 0
6.779 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (/ 1 (* x y))) in z
6.779 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in z
6.779 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in z
6.779 * [backup-simplify]: Simplify (fma (/ -1 x) (/ -1 y) (/ -1 z)) into (fma (/ -1 x) (/ -1 y) (/ -1 z))
6.779 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.779 * [taylor]: Taking taylor expansion of z in z
6.779 * [backup-simplify]: Simplify 0 into 0
6.779 * [backup-simplify]: Simplify 1 into 1
6.779 * [backup-simplify]: Simplify (/ 1 1) into 1
6.779 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
6.779 * [taylor]: Taking taylor expansion of (* x y) in z
6.779 * [taylor]: Taking taylor expansion of x in z
6.779 * [backup-simplify]: Simplify x into x
6.779 * [taylor]: Taking taylor expansion of y in z
6.779 * [backup-simplify]: Simplify y into y
6.779 * [backup-simplify]: Simplify (* x y) into (* x y)
6.779 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
6.779 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (/ 1 (* x y))) in y
6.779 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in y
6.779 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in y
6.779 * [backup-simplify]: Simplify (fma (/ -1 x) (/ -1 y) (/ -1 z)) into (fma (/ -1 x) (/ -1 y) (/ -1 z))
6.779 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.779 * [taylor]: Taking taylor expansion of z in y
6.779 * [backup-simplify]: Simplify z into z
6.779 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.779 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
6.779 * [taylor]: Taking taylor expansion of (* x y) in y
6.779 * [taylor]: Taking taylor expansion of x in y
6.779 * [backup-simplify]: Simplify x into x
6.779 * [taylor]: Taking taylor expansion of y in y
6.779 * [backup-simplify]: Simplify 0 into 0
6.779 * [backup-simplify]: Simplify 1 into 1
6.779 * [backup-simplify]: Simplify (* x 0) into 0
6.780 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
6.780 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.780 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (/ 1 (* x y))) in x
6.780 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in x
6.780 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in x
6.780 * [backup-simplify]: Simplify (fma (/ -1 x) (/ -1 y) (/ -1 z)) into (fma (/ -1 x) (/ -1 y) (/ -1 z))
6.780 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.780 * [taylor]: Taking taylor expansion of z in x
6.780 * [backup-simplify]: Simplify z into z
6.780 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.780 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.780 * [taylor]: Taking taylor expansion of (* x y) in x
6.780 * [taylor]: Taking taylor expansion of x in x
6.780 * [backup-simplify]: Simplify 0 into 0
6.780 * [backup-simplify]: Simplify 1 into 1
6.780 * [taylor]: Taking taylor expansion of y in x
6.780 * [backup-simplify]: Simplify y into y
6.780 * [backup-simplify]: Simplify (* 0 y) into 0
6.780 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.781 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.781 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (/ 1 (* x y))) in x
6.781 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in x
6.781 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in x
6.781 * [backup-simplify]: Simplify (fma (/ -1 x) (/ -1 y) (/ -1 z)) into (fma (/ -1 x) (/ -1 y) (/ -1 z))
6.781 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.781 * [taylor]: Taking taylor expansion of z in x
6.781 * [backup-simplify]: Simplify z into z
6.781 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.781 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
6.781 * [taylor]: Taking taylor expansion of (* x y) in x
6.781 * [taylor]: Taking taylor expansion of x in x
6.781 * [backup-simplify]: Simplify 0 into 0
6.781 * [backup-simplify]: Simplify 1 into 1
6.781 * [taylor]: Taking taylor expansion of y in x
6.781 * [backup-simplify]: Simplify y into y
6.781 * [backup-simplify]: Simplify (* 0 y) into 0
6.781 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.781 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.781 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
6.781 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
6.781 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
6.781 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.781 * [taylor]: Taking taylor expansion of y in y
6.781 * [backup-simplify]: Simplify 0 into 0
6.781 * [backup-simplify]: Simplify 1 into 1
6.782 * [backup-simplify]: Simplify (/ 1 1) into 1
6.782 * [backup-simplify]: Simplify (- 1) into -1
6.782 * [taylor]: Taking taylor expansion of -1 in z
6.782 * [backup-simplify]: Simplify -1 into -1
6.782 * [backup-simplify]: Simplify (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) into (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z))
6.783 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
6.783 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.783 * [backup-simplify]: Simplify (- 0) into 0
6.783 * [backup-simplify]: Simplify (+ (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) 0) into (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z))
6.783 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in y
6.783 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in y
6.783 * [backup-simplify]: Simplify (fma (/ -1 x) (/ -1 y) (/ -1 z)) into (fma (/ -1 x) (/ -1 y) (/ -1 z))
6.783 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.783 * [taylor]: Taking taylor expansion of z in y
6.783 * [backup-simplify]: Simplify z into z
6.783 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.784 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.784 * [backup-simplify]: Simplify (- 0) into 0
6.784 * [taylor]: Taking taylor expansion of 0 in z
6.784 * [backup-simplify]: Simplify 0 into 0
6.784 * [backup-simplify]: Simplify -1 into -1
6.784 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
6.784 * [backup-simplify]: Simplify (+ 0 0) into 0
6.785 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
6.785 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.785 * [backup-simplify]: Simplify (- 0) into 0
6.786 * [backup-simplify]: Simplify (+ 0 0) into 0
6.786 * [taylor]: Taking taylor expansion of 0 in y
6.786 * [backup-simplify]: Simplify 0 into 0
6.786 * [backup-simplify]: Simplify (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) into (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z))
6.786 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in z
6.786 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in z
6.786 * [backup-simplify]: Simplify (fma (/ -1 x) (/ -1 y) (/ -1 z)) into (fma (/ -1 x) (/ -1 y) (/ -1 z))
6.786 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.786 * [taylor]: Taking taylor expansion of z in z
6.786 * [backup-simplify]: Simplify 0 into 0
6.786 * [backup-simplify]: Simplify 1 into 1
6.786 * [backup-simplify]: Simplify (/ 1 1) into 1
6.786 * [backup-simplify]: Simplify (+ 0 1) into 1
6.786 * [backup-simplify]: Simplify 1 into 1
6.787 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.787 * [backup-simplify]: Simplify (- 0) into 0
6.787 * [taylor]: Taking taylor expansion of 0 in z
6.787 * [backup-simplify]: Simplify 0 into 0
6.787 * [backup-simplify]: Simplify 0 into 0
6.787 * [backup-simplify]: Simplify 0 into 0
6.787 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
6.788 * [backup-simplify]: Simplify (+ 0 0) into 0
6.789 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
6.789 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.789 * [backup-simplify]: Simplify (- 0) into 0
6.789 * [backup-simplify]: Simplify (+ 0 0) into 0
6.789 * [taylor]: Taking taylor expansion of 0 in y
6.789 * [backup-simplify]: Simplify 0 into 0
6.789 * [taylor]: Taking taylor expansion of 0 in z
6.789 * [backup-simplify]: Simplify 0 into 0
6.789 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
6.789 * [backup-simplify]: Simplify (+ 0 0) into 0
6.790 * [taylor]: Taking taylor expansion of 0 in z
6.790 * [backup-simplify]: Simplify 0 into 0
6.790 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.790 * [backup-simplify]: Simplify (- 0) into 0
6.790 * [taylor]: Taking taylor expansion of 0 in z
6.790 * [backup-simplify]: Simplify 0 into 0
6.791 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.791 * [backup-simplify]: Simplify (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) 0) into (fma (/ -1 x) (/ -1 y) (/ -1 z))
6.791 * [backup-simplify]: Simplify (fma (/ -1 x) (/ -1 y) (/ -1 z)) into (fma (/ -1 x) (/ -1 y) (/ -1 z))
6.791 * [backup-simplify]: Simplify (+ (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- y))) (/ -1 (/ 1 (- z)))) (+ (* 1 (* (/ 1 (/ 1 (- z))) (* 1 1))) (* -1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))))) into (- (fma x y z) (+ z (* x y)))
6.792 * * * [progress]: simplifying candidates
6.792 * * * * [progress]: [ 1 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (posit16->real (real->posit16 (log (/ (exp (fma x y z)) (* (exp z) (exp (* x y))))))) 1))))>
6.792 * * * * [progress]: [ 2 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (posit16->real (real->posit16 (log (/ (exp (fma x y z)) (exp (+ z (* x y))))))) 1))))>
6.792 * * * * [progress]: [ 3 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (posit16->real (real->posit16 (pow (- (fma x y z) (+ z (* x y))) 1))) 1))))>
6.792 * * * * [progress]: [ 4 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (posit16->real (real->posit16 (exp (log (- (fma x y z) (+ z (* x y))))))) 1))))>
6.792 * * * * [progress]: [ 5 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (posit16->real (real->posit16 (log (exp (- (fma x y z) (+ z (* x y))))))) 1))))>
6.792 * * * * [progress]: [ 6 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (posit16->real (real->posit16 (* (* (cbrt (- (fma x y z) (+ z (* x y)))) (cbrt (- (fma x y z) (+ z (* x y))))) (cbrt (- (fma x y z) (+ z (* x y))))))) 1))))>
6.792 * * * * [progress]: [ 7 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (posit16->real (real->posit16 (cbrt (* (* (- (fma x y z) (+ z (* x y))) (- (fma x y z) (+ z (* x y)))) (- (fma x y z) (+ z (* x y))))))) 1))))>
6.792 * * * * [progress]: [ 8 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (posit16->real (real->posit16 (* (sqrt (- (fma x y z) (+ z (* x y)))) (sqrt (- (fma x y z) (+ z (* x y))))))) 1))))>
6.792 * * * * [progress]: [ 9 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (posit16->real (real->posit16 (/ (- (pow (fma x y z) 3) (pow (+ z (* x y)) 3)) (+ (* (fma x y z) (fma x y z)) (+ (* (+ z (* x y)) (+ z (* x y))) (* (fma x y z) (+ z (* x y)))))))) 1))))>
6.792 * * * * [progress]: [ 10 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (posit16->real (real->posit16 (+ (fma x y z) (- (+ z (* x y)))))) 1))))>
6.792 * * * * [progress]: [ 11 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (posit16->real (real->posit16 (* 1 (- (fma x y z) (+ z (* x y)))))) 1))))>
6.792 * * * * [progress]: [ 12 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (posit16->real (real->posit16 (/ (- (* (fma x y z) (fma x y z)) (* (+ z (* x y)) (+ z (* x y)))) (+ (fma x y z) (+ z (* x y)))))) 1))))>
6.792 * * * * [progress]: [ 13 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (posit16->real (real->posit16 (* (+ (sqrt (fma x y z)) (sqrt (+ z (* x y)))) (- (sqrt (fma x y z)) (sqrt (+ z (* x y))))))) 1))))>
6.792 * * * * [progress]: [ 14 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (posit16->real (real->posit16 (* 1 (- (fma x y z) (+ z (* x y)))))) 1))))>
6.792 * * * * [progress]: [ 15 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (posit16->real (real->posit16 (- (- (fma x y z) z) (* x y)))) 1))))>
6.792 * * * * [progress]: [ 16 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (posit16->real (real->posit16 (+ (fma x y z) (- (+ z (* x y)))))) 1))))>
6.792 * * * * [progress]: [ 17 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (posit16->real (real->posit16 (posit16->real (real->posit16 (- (fma x y z) (+ z (* x y))))))) 1))))>
6.792 * * * * [progress]: [ 18 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (posit16->real (real->posit16 (- (fma x y z) (+ z (* x y))))) 1))))>
6.792 * * * * [progress]: [ 19 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (posit16->real (real->posit16 (- (fma x y z) (+ z (* x y))))) 1))))>
6.792 * * * * [progress]: [ 20 / 20 ] simplifiying candidate #<alt (λ (x y z) (log (exp (- (posit16->real (real->posit16 (- (fma x y z) (+ z (* x y))))) 1))))>
6.793 * [simplify]: Simplifying:
  (/ (exp (fma x y z)) (* (exp z) (exp (* x y))))
  (/ (exp (fma x y z)) (exp (+ z (* x y))))
  (log (- (fma x y z) (+ z (* x y))))
  (exp (- (fma x y z) (+ z (* x y))))
  (* (cbrt (- (fma x y z) (+ z (* x y)))) (cbrt (- (fma x y z) (+ z (* x y)))))
  (cbrt (- (fma x y z) (+ z (* x y))))
  (* (* (- (fma x y z) (+ z (* x y))) (- (fma x y z) (+ z (* x y)))) (- (fma x y z) (+ z (* x y))))
  (sqrt (- (fma x y z) (+ z (* x y))))
  (sqrt (- (fma x y z) (+ z (* x y))))
  (- (pow (fma x y z) 3) (pow (+ z (* x y)) 3))
  (+ (* (fma x y z) (fma x y z)) (+ (* (+ z (* x y)) (+ z (* x y))) (* (fma x y z) (+ z (* x y)))))
  (- (+ z (* x y)))
  (- (* (fma x y z) (fma x y z)) (* (+ z (* x y)) (+ z (* x y))))
  (+ (fma x y z) (+ z (* x y)))
  (+ (sqrt (fma x y z)) (sqrt (+ z (* x y))))
  (- (sqrt (fma x y z)) (sqrt (+ z (* x y))))
  (- (fma x y z) (+ z (* x y)))
  (- (fma x y z) z)
  (- (+ z (* x y)))
  (real->posit16 (- (fma x y z) (+ z (* x y))))
  (- (fma x y z) (+ z (* x y)))
  (- (fma x y z) (+ z (* x y)))
  (- (fma x y z) (+ z (* x y)))
6.793 * * [simplify]: iteration 0: 39 enodes
6.802 * * [simplify]: iteration 1: 93 enodes
6.822 * * [simplify]: iteration 2: 270 enodes
6.951 * * [simplify]: iteration 3: 980 enodes
8.004 * * [simplify]: iteration 4: 3993 enodes
8.820 * * [simplify]: iteration complete: 5000 enodes
8.820 * * [simplify]: Extracting #0: cost 16 inf + 0
8.821 * * [simplify]: Extracting #1: cost 287 inf + 0
8.826 * * [simplify]: Extracting #2: cost 886 inf + 73
8.834 * * [simplify]: Extracting #3: cost 1105 inf + 2521
8.869 * * [simplify]: Extracting #4: cost 837 inf + 83107
8.935 * * [simplify]: Extracting #5: cost 219 inf + 260227
9.030 * * [simplify]: Extracting #6: cost 24 inf + 327511
9.113 * * [simplify]: Extracting #7: cost 2 inf + 333838
9.230 * * [simplify]: Extracting #8: cost 0 inf + 334591
9.319 * [simplify]: Simplified to:
  (exp (- (- (fma x y z) z) (* x y)))
  (exp (- (- (fma x y z) z) (* x y)))
  (log (- (- (fma x y z) z) (* x y)))
  (exp (- (- (fma x y z) z) (* x y)))
  (* (cbrt (- (- (fma x y z) z) (* x y))) (cbrt (- (- (fma x y z) z) (* x y))))
  (cbrt (- (- (fma x y z) z) (* x y)))
  (* (* (- (- (fma x y z) z) (* x y)) (- (- (fma x y z) z) (* x y))) (- (- (fma x y z) z) (* x y)))
  (sqrt (- (- (fma x y z) z) (* x y)))
  (sqrt (- (- (fma x y z) z) (* x y)))
  (- (* (fma x y z) (* (fma x y z) (fma x y z))) (* (+ z (* x y)) (* (+ z (* x y)) (+ z (* x y)))))
  (+ (* (+ z (* x y)) (+ z (* x y))) (* (fma x y z) (+ (+ (fma x y z) z) (* x y))))
  (- (* y (- x)) z)
  (- (* (fma x y z) (fma x y z)) (* (+ z (* x y)) (+ z (* x y))))
  (+ (+ (fma x y z) z) (* x y))
  (+ (sqrt (fma x y z)) (sqrt (+ z (* x y))))
  (- (sqrt (fma x y z)) (sqrt (+ z (* x y))))
  (- (- (fma x y z) z) (* x y))
  (- (fma x y z) z)
  (- (* y (- x)) z)
  (real->posit16 (- (- (fma x y z) z) (* x y)))
  (- (- (fma x y z) z) (* x y))
  (- (- (fma x y z) z) (* x y))
  (- (- (fma x y z) z) (* x y))
9.321 * * * [progress]: adding candidates to table
9.518 * [progress]: [Phase 3 of 3] Extracting.
9.526 * [simplify]: Simplifying:
  (log (exp (- (posit16->real (real->posit16 (- (fma x y z) (+ z (* x y))))) 1)))
9.527 * * [simplify]: iteration 0: 13 enodes
9.527 * * [simplify]: iteration 1: 17 enodes
9.527 * * [simplify]: iteration complete: 17 enodes
9.527 * * [simplify]: Extracting #0: cost 1 inf + 0
9.527 * * [simplify]: Extracting #1: cost 2 inf + 0
9.527 * * [simplify]: Extracting #2: cost 3 inf + 0
9.528 * * [simplify]: Extracting #3: cost 5 inf + 0
9.528 * * [simplify]: Extracting #4: cost 5 inf + 1
9.528 * * [simplify]: Extracting #5: cost 6 inf + 1
9.528 * * [simplify]: Extracting #6: cost 8 inf + 1
9.528 * * [simplify]: Extracting #7: cost 12 inf + 1
9.528 * * [simplify]: Extracting #8: cost 9 inf + 4
9.528 * * [simplify]: Extracting #9: cost 6 inf + 187
9.528 * * [simplify]: Extracting #10: cost 4 inf + 543
9.528 * * [simplify]: Extracting #11: cost 1 inf + 1229
9.528 * * [simplify]: Extracting #12: cost 0 inf + 1588
9.528 * [simplify]: Simplified to:
  (log (exp (- (posit16->real (real->posit16 (- (fma x y z) (+ z (* x y))))) 1)))
13.749 * [regime-testing]: Baseline error score: 8.307658408104643
13.751 * [regime-testing]: Oracle error score: 8.307658408104643
13.751 * [regime-testing]: End program error score: 8.307658408104643
13.834 * [regime-testing]: Target error score: 0