3.087 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.020 * * * [progress]: [2/2] Setting up program.
0.024 * [progress]: [Phase 2 of 3] Improving.
0.024 * [simplify]: Simplifying:
  (+ x (/ (- y x) z))
0.025 * * [simplify]: iteration 0: 6 enodes
0.025 * * [simplify]: iteration 1: 12 enodes
0.027 * * [simplify]: iteration 2: 19 enodes
0.029 * * [simplify]: iteration 3: 28 enodes
0.032 * * [simplify]: iteration 4: 39 enodes
0.038 * * [simplify]: iteration 5: 96 enodes
0.051 * * [simplify]: iteration 6: 221 enodes
0.124 * * [simplify]: iteration 7: 621 enodes
0.610 * * [simplify]: iteration 8: 2177 enodes
1.569 * * [simplify]: iteration complete: 5001 enodes
1.569 * * [simplify]: Extracting #0: cost 1 inf + 0
1.575 * * [simplify]: Extracting #1: cost 1630 inf + 0
1.586 * * [simplify]: Extracting #2: cost 1824 inf + 124
1.597 * * [simplify]: Extracting #3: cost 1771 inf + 2748
1.641 * * [simplify]: Extracting #4: cost 175 inf + 178173
1.704 * * [simplify]: Extracting #5: cost 0 inf + 197178
1.754 * [simplify]: Simplified to:
  (+ (/ (- y x) z) x)
1.755 * * [progress]: iteration 1 / 4
1.755 * * * [progress]: picking best candidate
1.762 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (/ (- y x) z)))>
1.762 * * * [progress]: localizing error
1.780 * * * [progress]: generating rewritten candidates
1.780 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
1.819 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1.858 * * * [progress]: generating series expansions
1.858 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
1.863 * [backup-simplify]: Simplify (/ (- y x) z) into (/ (- y x) z)
1.863 * [approximate]: Taking taylor expansion of (/ (- y x) z) in (y x z) around 0
1.863 * [taylor]: Taking taylor expansion of (/ (- y x) z) in z
1.864 * [taylor]: Taking taylor expansion of (- y x) in z
1.864 * [taylor]: Taking taylor expansion of y in z
1.864 * [backup-simplify]: Simplify y into y
1.864 * [taylor]: Taking taylor expansion of x in z
1.864 * [backup-simplify]: Simplify x into x
1.864 * [taylor]: Taking taylor expansion of z in z
1.864 * [backup-simplify]: Simplify 0 into 0
1.864 * [backup-simplify]: Simplify 1 into 1
1.864 * [backup-simplify]: Simplify (- x) into (- x)
1.864 * [backup-simplify]: Simplify (+ y (- x)) into (- y x)
1.864 * [backup-simplify]: Simplify (/ (- y x) 1) into (- y x)
1.864 * [taylor]: Taking taylor expansion of (/ (- y x) z) in x
1.864 * [taylor]: Taking taylor expansion of (- y x) in x
1.864 * [taylor]: Taking taylor expansion of y in x
1.864 * [backup-simplify]: Simplify y into y
1.864 * [taylor]: Taking taylor expansion of x in x
1.864 * [backup-simplify]: Simplify 0 into 0
1.864 * [backup-simplify]: Simplify 1 into 1
1.864 * [taylor]: Taking taylor expansion of z in x
1.864 * [backup-simplify]: Simplify z into z
1.865 * [backup-simplify]: Simplify (- 0) into 0
1.865 * [backup-simplify]: Simplify (+ y 0) into y
1.865 * [backup-simplify]: Simplify (/ y z) into (/ y z)
1.865 * [taylor]: Taking taylor expansion of (/ (- y x) z) in y
1.865 * [taylor]: Taking taylor expansion of (- y x) in y
1.865 * [taylor]: Taking taylor expansion of y in y
1.865 * [backup-simplify]: Simplify 0 into 0
1.865 * [backup-simplify]: Simplify 1 into 1
1.865 * [taylor]: Taking taylor expansion of x in y
1.865 * [backup-simplify]: Simplify x into x
1.865 * [taylor]: Taking taylor expansion of z in y
1.865 * [backup-simplify]: Simplify z into z
1.865 * [backup-simplify]: Simplify (- x) into (- x)
1.865 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
1.865 * [backup-simplify]: Simplify (/ (- x) z) into (* -1 (/ x z))
1.865 * [taylor]: Taking taylor expansion of (/ (- y x) z) in y
1.865 * [taylor]: Taking taylor expansion of (- y x) in y
1.865 * [taylor]: Taking taylor expansion of y in y
1.865 * [backup-simplify]: Simplify 0 into 0
1.865 * [backup-simplify]: Simplify 1 into 1
1.865 * [taylor]: Taking taylor expansion of x in y
1.865 * [backup-simplify]: Simplify x into x
1.865 * [taylor]: Taking taylor expansion of z in y
1.865 * [backup-simplify]: Simplify z into z
1.865 * [backup-simplify]: Simplify (- x) into (- x)
1.866 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
1.866 * [backup-simplify]: Simplify (/ (- x) z) into (* -1 (/ x z))
1.866 * [taylor]: Taking taylor expansion of (* -1 (/ x z)) in x
1.866 * [taylor]: Taking taylor expansion of -1 in x
1.866 * [backup-simplify]: Simplify -1 into -1
1.866 * [taylor]: Taking taylor expansion of (/ x z) in x
1.866 * [taylor]: Taking taylor expansion of x in x
1.866 * [backup-simplify]: Simplify 0 into 0
1.866 * [backup-simplify]: Simplify 1 into 1
1.866 * [taylor]: Taking taylor expansion of z in x
1.866 * [backup-simplify]: Simplify z into z
1.866 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.867 * [backup-simplify]: Simplify (- 0) into 0
1.867 * [backup-simplify]: Simplify (+ 1 0) into 1
1.867 * [backup-simplify]: Simplify (- (/ 1 z) (+ (* (* -1 (/ x z)) (/ 0 z)))) into (/ 1 z)
1.867 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.867 * [taylor]: Taking taylor expansion of z in x
1.867 * [backup-simplify]: Simplify z into z
1.868 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.868 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.868 * [taylor]: Taking taylor expansion of z in z
1.868 * [backup-simplify]: Simplify 0 into 0
1.868 * [backup-simplify]: Simplify 1 into 1
1.868 * [backup-simplify]: Simplify (/ 1 1) into 1
1.868 * [backup-simplify]: Simplify 1 into 1
1.868 * [backup-simplify]: Simplify (* -1 (/ 1 z)) into (/ -1 z)
1.868 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.868 * [taylor]: Taking taylor expansion of -1 in z
1.868 * [backup-simplify]: Simplify -1 into -1
1.868 * [taylor]: Taking taylor expansion of z in z
1.868 * [backup-simplify]: Simplify 0 into 0
1.868 * [backup-simplify]: Simplify 1 into 1
1.869 * [backup-simplify]: Simplify (/ -1 1) into -1
1.869 * [backup-simplify]: Simplify -1 into -1
1.869 * [backup-simplify]: Simplify (- 0) into 0
1.869 * [backup-simplify]: Simplify (+ 0 0) into 0
1.869 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (* -1 (/ x z)) (/ 0 z)) (* (/ 1 z) (/ 0 z)))) into 0
1.869 * [taylor]: Taking taylor expansion of 0 in x
1.869 * [backup-simplify]: Simplify 0 into 0
1.869 * [taylor]: Taking taylor expansion of 0 in z
1.869 * [backup-simplify]: Simplify 0 into 0
1.870 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.870 * [taylor]: Taking taylor expansion of 0 in z
1.870 * [backup-simplify]: Simplify 0 into 0
1.870 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
1.870 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 z))) into 0
1.870 * [taylor]: Taking taylor expansion of 0 in z
1.870 * [backup-simplify]: Simplify 0 into 0
1.871 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.871 * [backup-simplify]: Simplify 0 into 0
1.871 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1.871 * [backup-simplify]: Simplify 0 into 0
1.872 * [backup-simplify]: Simplify (- 0) into 0
1.872 * [backup-simplify]: Simplify (+ 0 0) into 0
1.872 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (* -1 (/ x z)) (/ 0 z)) (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.872 * [taylor]: Taking taylor expansion of 0 in x
1.872 * [backup-simplify]: Simplify 0 into 0
1.872 * [taylor]: Taking taylor expansion of 0 in z
1.872 * [backup-simplify]: Simplify 0 into 0
1.872 * [taylor]: Taking taylor expansion of 0 in z
1.872 * [backup-simplify]: Simplify 0 into 0
1.873 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.873 * [taylor]: Taking taylor expansion of 0 in z
1.873 * [backup-simplify]: Simplify 0 into 0
1.873 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.873 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
1.873 * [taylor]: Taking taylor expansion of 0 in z
1.873 * [backup-simplify]: Simplify 0 into 0
1.873 * [backup-simplify]: Simplify 0 into 0
1.873 * [backup-simplify]: Simplify 0 into 0
1.873 * [backup-simplify]: Simplify 0 into 0
1.874 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.874 * [backup-simplify]: Simplify 0 into 0
1.874 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 z) (* x 1))) (* 1 (* (/ 1 z) (* 1 y)))) into (- (/ y z) (/ x z))
1.875 * [backup-simplify]: Simplify (/ (- (/ 1 y) (/ 1 x)) (/ 1 z)) into (* (- (/ 1 y) (/ 1 x)) z)
1.875 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in (y x z) around 0
1.875 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in z
1.875 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
1.875 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.875 * [taylor]: Taking taylor expansion of y in z
1.875 * [backup-simplify]: Simplify y into y
1.875 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.875 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.875 * [taylor]: Taking taylor expansion of x in z
1.875 * [backup-simplify]: Simplify x into x
1.875 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.875 * [taylor]: Taking taylor expansion of z in z
1.875 * [backup-simplify]: Simplify 0 into 0
1.875 * [backup-simplify]: Simplify 1 into 1
1.875 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in x
1.875 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
1.875 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.875 * [taylor]: Taking taylor expansion of y in x
1.875 * [backup-simplify]: Simplify y into y
1.875 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.875 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.875 * [taylor]: Taking taylor expansion of x in x
1.875 * [backup-simplify]: Simplify 0 into 0
1.875 * [backup-simplify]: Simplify 1 into 1
1.875 * [backup-simplify]: Simplify (/ 1 1) into 1
1.876 * [taylor]: Taking taylor expansion of z in x
1.876 * [backup-simplify]: Simplify z into z
1.876 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in y
1.876 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
1.876 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.876 * [taylor]: Taking taylor expansion of y in y
1.876 * [backup-simplify]: Simplify 0 into 0
1.876 * [backup-simplify]: Simplify 1 into 1
1.876 * [backup-simplify]: Simplify (/ 1 1) into 1
1.876 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.876 * [taylor]: Taking taylor expansion of x in y
1.876 * [backup-simplify]: Simplify x into x
1.876 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.876 * [taylor]: Taking taylor expansion of z in y
1.876 * [backup-simplify]: Simplify z into z
1.876 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in y
1.876 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
1.876 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.876 * [taylor]: Taking taylor expansion of y in y
1.876 * [backup-simplify]: Simplify 0 into 0
1.876 * [backup-simplify]: Simplify 1 into 1
1.876 * [backup-simplify]: Simplify (/ 1 1) into 1
1.876 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.877 * [taylor]: Taking taylor expansion of x in y
1.877 * [backup-simplify]: Simplify x into x
1.877 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.877 * [taylor]: Taking taylor expansion of z in y
1.877 * [backup-simplify]: Simplify z into z
1.877 * [backup-simplify]: Simplify (+ 1 0) into 1
1.877 * [backup-simplify]: Simplify (* 1 z) into z
1.877 * [taylor]: Taking taylor expansion of z in x
1.877 * [backup-simplify]: Simplify z into z
1.877 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.878 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
1.878 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
1.878 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 x)) z)) into (- (/ z x))
1.878 * [taylor]: Taking taylor expansion of (- (/ z x)) in x
1.878 * [taylor]: Taking taylor expansion of (/ z x) in x
1.878 * [taylor]: Taking taylor expansion of z in x
1.878 * [backup-simplify]: Simplify z into z
1.878 * [taylor]: Taking taylor expansion of x in x
1.878 * [backup-simplify]: Simplify 0 into 0
1.878 * [backup-simplify]: Simplify 1 into 1
1.878 * [backup-simplify]: Simplify (/ z 1) into z
1.878 * [backup-simplify]: Simplify (- z) into (- z)
1.878 * [taylor]: Taking taylor expansion of (- z) in z
1.878 * [taylor]: Taking taylor expansion of z in z
1.878 * [backup-simplify]: Simplify 0 into 0
1.878 * [backup-simplify]: Simplify 1 into 1
1.879 * [backup-simplify]: Simplify (- 0) into 0
1.879 * [backup-simplify]: Simplify 0 into 0
1.879 * [taylor]: Taking taylor expansion of z in z
1.879 * [backup-simplify]: Simplify 0 into 0
1.879 * [backup-simplify]: Simplify 1 into 1
1.879 * [backup-simplify]: Simplify 0 into 0
1.879 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.879 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.880 * [backup-simplify]: Simplify (- 0) into 0
1.880 * [backup-simplify]: Simplify (+ 0 0) into 0
1.880 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (* 0 z))) into 0
1.880 * [taylor]: Taking taylor expansion of 0 in x
1.880 * [backup-simplify]: Simplify 0 into 0
1.881 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1.881 * [backup-simplify]: Simplify (- 0) into 0
1.881 * [taylor]: Taking taylor expansion of 0 in z
1.881 * [backup-simplify]: Simplify 0 into 0
1.881 * [backup-simplify]: Simplify 0 into 0
1.881 * [taylor]: Taking taylor expansion of 0 in z
1.881 * [backup-simplify]: Simplify 0 into 0
1.881 * [backup-simplify]: Simplify 0 into 0
1.881 * [backup-simplify]: Simplify (- 1) into -1
1.881 * [backup-simplify]: Simplify -1 into -1
1.881 * [backup-simplify]: Simplify 1 into 1
1.882 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.882 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.882 * [backup-simplify]: Simplify (- 0) into 0
1.883 * [backup-simplify]: Simplify (+ 0 0) into 0
1.883 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (+ (* 0 0) (* 0 z)))) into 0
1.883 * [taylor]: Taking taylor expansion of 0 in x
1.883 * [backup-simplify]: Simplify 0 into 0
1.883 * [taylor]: Taking taylor expansion of 0 in z
1.883 * [backup-simplify]: Simplify 0 into 0
1.883 * [backup-simplify]: Simplify 0 into 0
1.884 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.884 * [backup-simplify]: Simplify (- 0) into 0
1.884 * [taylor]: Taking taylor expansion of 0 in z
1.884 * [backup-simplify]: Simplify 0 into 0
1.884 * [backup-simplify]: Simplify 0 into 0
1.885 * [taylor]: Taking taylor expansion of 0 in z
1.885 * [backup-simplify]: Simplify 0 into 0
1.885 * [backup-simplify]: Simplify 0 into 0
1.885 * [backup-simplify]: Simplify 0 into 0
1.885 * [backup-simplify]: Simplify 0 into 0
1.885 * [backup-simplify]: Simplify (- 0) into 0
1.885 * [backup-simplify]: Simplify 0 into 0
1.885 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 z) (* 1 (/ 1 (/ 1 y))))) (* -1 (* (/ 1 z) (* (/ 1 (/ 1 x)) 1)))) into (- (/ y z) (/ x z))
1.885 * [backup-simplify]: Simplify (/ (- (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- z))) into (* -1 (* z (- (/ 1 x) (/ 1 y))))
1.886 * [approximate]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in (y x z) around 0
1.886 * [taylor]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in z
1.886 * [taylor]: Taking taylor expansion of -1 in z
1.886 * [backup-simplify]: Simplify -1 into -1
1.886 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in z
1.886 * [taylor]: Taking taylor expansion of z in z
1.886 * [backup-simplify]: Simplify 0 into 0
1.886 * [backup-simplify]: Simplify 1 into 1
1.886 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
1.886 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.886 * [taylor]: Taking taylor expansion of x in z
1.886 * [backup-simplify]: Simplify x into x
1.886 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.886 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.886 * [taylor]: Taking taylor expansion of y in z
1.886 * [backup-simplify]: Simplify y into y
1.886 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.886 * [taylor]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in x
1.886 * [taylor]: Taking taylor expansion of -1 in x
1.886 * [backup-simplify]: Simplify -1 into -1
1.886 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in x
1.886 * [taylor]: Taking taylor expansion of z in x
1.886 * [backup-simplify]: Simplify z into z
1.886 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
1.886 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.886 * [taylor]: Taking taylor expansion of x in x
1.886 * [backup-simplify]: Simplify 0 into 0
1.886 * [backup-simplify]: Simplify 1 into 1
1.886 * [backup-simplify]: Simplify (/ 1 1) into 1
1.886 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.886 * [taylor]: Taking taylor expansion of y in x
1.886 * [backup-simplify]: Simplify y into y
1.886 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.886 * [taylor]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in y
1.886 * [taylor]: Taking taylor expansion of -1 in y
1.886 * [backup-simplify]: Simplify -1 into -1
1.886 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in y
1.886 * [taylor]: Taking taylor expansion of z in y
1.886 * [backup-simplify]: Simplify z into z
1.886 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
1.886 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.886 * [taylor]: Taking taylor expansion of x in y
1.886 * [backup-simplify]: Simplify x into x
1.887 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.887 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.887 * [taylor]: Taking taylor expansion of y in y
1.887 * [backup-simplify]: Simplify 0 into 0
1.887 * [backup-simplify]: Simplify 1 into 1
1.887 * [backup-simplify]: Simplify (/ 1 1) into 1
1.887 * [taylor]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in y
1.887 * [taylor]: Taking taylor expansion of -1 in y
1.887 * [backup-simplify]: Simplify -1 into -1
1.887 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in y
1.887 * [taylor]: Taking taylor expansion of z in y
1.887 * [backup-simplify]: Simplify z into z
1.887 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
1.887 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.887 * [taylor]: Taking taylor expansion of x in y
1.887 * [backup-simplify]: Simplify x into x
1.887 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.887 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.887 * [taylor]: Taking taylor expansion of y in y
1.887 * [backup-simplify]: Simplify 0 into 0
1.887 * [backup-simplify]: Simplify 1 into 1
1.887 * [backup-simplify]: Simplify (/ 1 1) into 1
1.888 * [backup-simplify]: Simplify (- 1) into -1
1.888 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.888 * [backup-simplify]: Simplify (* z -1) into (* -1 z)
1.888 * [backup-simplify]: Simplify (* -1 (* -1 z)) into z
1.888 * [taylor]: Taking taylor expansion of z in x
1.888 * [backup-simplify]: Simplify z into z
1.889 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.889 * [backup-simplify]: Simplify (- 0) into 0
1.890 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
1.890 * [backup-simplify]: Simplify (+ (* z (/ 1 x)) (* 0 -1)) into (/ z x)
1.890 * [backup-simplify]: Simplify (+ (* -1 (/ z x)) (* 0 (* -1 z))) into (- (/ z x))
1.890 * [taylor]: Taking taylor expansion of (- (/ z x)) in x
1.890 * [taylor]: Taking taylor expansion of (/ z x) in x
1.890 * [taylor]: Taking taylor expansion of z in x
1.890 * [backup-simplify]: Simplify z into z
1.890 * [taylor]: Taking taylor expansion of x in x
1.890 * [backup-simplify]: Simplify 0 into 0
1.890 * [backup-simplify]: Simplify 1 into 1
1.891 * [backup-simplify]: Simplify (/ z 1) into z
1.891 * [backup-simplify]: Simplify (- z) into (- z)
1.891 * [taylor]: Taking taylor expansion of (- z) in z
1.891 * [taylor]: Taking taylor expansion of z in z
1.891 * [backup-simplify]: Simplify 0 into 0
1.891 * [backup-simplify]: Simplify 1 into 1
1.891 * [backup-simplify]: Simplify (- 0) into 0
1.891 * [backup-simplify]: Simplify 0 into 0
1.891 * [taylor]: Taking taylor expansion of z in z
1.891 * [backup-simplify]: Simplify 0 into 0
1.891 * [backup-simplify]: Simplify 1 into 1
1.891 * [backup-simplify]: Simplify 0 into 0
1.891 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.892 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.893 * [backup-simplify]: Simplify (- 0) into 0
1.893 * [backup-simplify]: Simplify (+ 0 0) into 0
1.893 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 (/ 1 x)) (* 0 -1))) into 0
1.894 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ z x)) (* 0 (* -1 z)))) into 0
1.894 * [taylor]: Taking taylor expansion of 0 in x
1.894 * [backup-simplify]: Simplify 0 into 0
1.895 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1.895 * [backup-simplify]: Simplify (- 0) into 0
1.895 * [taylor]: Taking taylor expansion of 0 in z
1.895 * [backup-simplify]: Simplify 0 into 0
1.895 * [backup-simplify]: Simplify 0 into 0
1.896 * [taylor]: Taking taylor expansion of 0 in z
1.896 * [backup-simplify]: Simplify 0 into 0
1.896 * [backup-simplify]: Simplify 0 into 0
1.896 * [backup-simplify]: Simplify (- 1) into -1
1.896 * [backup-simplify]: Simplify -1 into -1
1.896 * [backup-simplify]: Simplify 1 into 1
1.896 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.897 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.897 * [backup-simplify]: Simplify (- 0) into 0
1.898 * [backup-simplify]: Simplify (+ 0 0) into 0
1.899 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 (/ 1 x)) (* 0 -1)))) into 0
1.900 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ z x)) (* 0 (* -1 z))))) into 0
1.900 * [taylor]: Taking taylor expansion of 0 in x
1.900 * [backup-simplify]: Simplify 0 into 0
1.900 * [taylor]: Taking taylor expansion of 0 in z
1.900 * [backup-simplify]: Simplify 0 into 0
1.900 * [backup-simplify]: Simplify 0 into 0
1.901 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.901 * [backup-simplify]: Simplify (- 0) into 0
1.901 * [taylor]: Taking taylor expansion of 0 in z
1.902 * [backup-simplify]: Simplify 0 into 0
1.902 * [backup-simplify]: Simplify 0 into 0
1.902 * [taylor]: Taking taylor expansion of 0 in z
1.902 * [backup-simplify]: Simplify 0 into 0
1.902 * [backup-simplify]: Simplify 0 into 0
1.902 * [backup-simplify]: Simplify 0 into 0
1.902 * [backup-simplify]: Simplify 0 into 0
1.902 * [backup-simplify]: Simplify (- 0) into 0
1.902 * [backup-simplify]: Simplify 0 into 0
1.903 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- z)) (* 1 (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- x))) 1)))) into (- (/ y z) (/ x z))
1.903 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.903 * [backup-simplify]: Simplify (+ x (/ (- y x) z)) into (- (+ x (/ y z)) (/ x z))
1.903 * [approximate]: Taking taylor expansion of (- (+ x (/ y z)) (/ x z)) in (x y z) around 0
1.903 * [taylor]: Taking taylor expansion of (- (+ x (/ y z)) (/ x z)) in z
1.903 * [taylor]: Taking taylor expansion of (+ x (/ y z)) in z
1.903 * [taylor]: Taking taylor expansion of x in z
1.903 * [backup-simplify]: Simplify x into x
1.903 * [taylor]: Taking taylor expansion of (/ y z) in z
1.903 * [taylor]: Taking taylor expansion of y in z
1.903 * [backup-simplify]: Simplify y into y
1.903 * [taylor]: Taking taylor expansion of z in z
1.903 * [backup-simplify]: Simplify 0 into 0
1.903 * [backup-simplify]: Simplify 1 into 1
1.903 * [backup-simplify]: Simplify (/ y 1) into y
1.903 * [taylor]: Taking taylor expansion of (/ x z) in z
1.903 * [taylor]: Taking taylor expansion of x in z
1.903 * [backup-simplify]: Simplify x into x
1.904 * [taylor]: Taking taylor expansion of z in z
1.904 * [backup-simplify]: Simplify 0 into 0
1.904 * [backup-simplify]: Simplify 1 into 1
1.904 * [backup-simplify]: Simplify (/ x 1) into x
1.904 * [taylor]: Taking taylor expansion of (- (+ x (/ y z)) (/ x z)) in y
1.904 * [taylor]: Taking taylor expansion of (+ x (/ y z)) in y
1.904 * [taylor]: Taking taylor expansion of x in y
1.904 * [backup-simplify]: Simplify x into x
1.904 * [taylor]: Taking taylor expansion of (/ y z) in y
1.904 * [taylor]: Taking taylor expansion of y in y
1.904 * [backup-simplify]: Simplify 0 into 0
1.904 * [backup-simplify]: Simplify 1 into 1
1.904 * [taylor]: Taking taylor expansion of z in y
1.904 * [backup-simplify]: Simplify z into z
1.904 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.904 * [taylor]: Taking taylor expansion of (/ x z) in y
1.904 * [taylor]: Taking taylor expansion of x in y
1.904 * [backup-simplify]: Simplify x into x
1.904 * [taylor]: Taking taylor expansion of z in y
1.904 * [backup-simplify]: Simplify z into z
1.904 * [backup-simplify]: Simplify (/ x z) into (/ x z)
1.904 * [taylor]: Taking taylor expansion of (- (+ x (/ y z)) (/ x z)) in x
1.904 * [taylor]: Taking taylor expansion of (+ x (/ y z)) in x
1.904 * [taylor]: Taking taylor expansion of x in x
1.904 * [backup-simplify]: Simplify 0 into 0
1.904 * [backup-simplify]: Simplify 1 into 1
1.904 * [taylor]: Taking taylor expansion of (/ y z) in x
1.904 * [taylor]: Taking taylor expansion of y in x
1.904 * [backup-simplify]: Simplify y into y
1.904 * [taylor]: Taking taylor expansion of z in x
1.904 * [backup-simplify]: Simplify z into z
1.904 * [backup-simplify]: Simplify (/ y z) into (/ y z)
1.904 * [taylor]: Taking taylor expansion of (/ x z) in x
1.904 * [taylor]: Taking taylor expansion of x in x
1.904 * [backup-simplify]: Simplify 0 into 0
1.904 * [backup-simplify]: Simplify 1 into 1
1.904 * [taylor]: Taking taylor expansion of z in x
1.904 * [backup-simplify]: Simplify z into z
1.904 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.904 * [taylor]: Taking taylor expansion of (- (+ x (/ y z)) (/ x z)) in x
1.904 * [taylor]: Taking taylor expansion of (+ x (/ y z)) in x
1.904 * [taylor]: Taking taylor expansion of x in x
1.904 * [backup-simplify]: Simplify 0 into 0
1.904 * [backup-simplify]: Simplify 1 into 1
1.904 * [taylor]: Taking taylor expansion of (/ y z) in x
1.904 * [taylor]: Taking taylor expansion of y in x
1.904 * [backup-simplify]: Simplify y into y
1.904 * [taylor]: Taking taylor expansion of z in x
1.904 * [backup-simplify]: Simplify z into z
1.904 * [backup-simplify]: Simplify (/ y z) into (/ y z)
1.904 * [taylor]: Taking taylor expansion of (/ x z) in x
1.904 * [taylor]: Taking taylor expansion of x in x
1.904 * [backup-simplify]: Simplify 0 into 0
1.904 * [backup-simplify]: Simplify 1 into 1
1.904 * [taylor]: Taking taylor expansion of z in x
1.904 * [backup-simplify]: Simplify z into z
1.904 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.905 * [backup-simplify]: Simplify (+ 0 (/ y z)) into (/ y z)
1.905 * [backup-simplify]: Simplify (+ (/ y z) 0) into (/ y z)
1.905 * [taylor]: Taking taylor expansion of (/ y z) in y
1.905 * [taylor]: Taking taylor expansion of y in y
1.905 * [backup-simplify]: Simplify 0 into 0
1.905 * [backup-simplify]: Simplify 1 into 1
1.905 * [taylor]: Taking taylor expansion of z in y
1.905 * [backup-simplify]: Simplify z into z
1.905 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.905 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
1.905 * [backup-simplify]: Simplify (+ 1 0) into 1
1.905 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
1.905 * [backup-simplify]: Simplify (+ 1 (- (/ 1 z))) into (- 1 (/ 1 z))
1.905 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in y
1.905 * [taylor]: Taking taylor expansion of 1 in y
1.905 * [backup-simplify]: Simplify 1 into 1
1.905 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.905 * [taylor]: Taking taylor expansion of z in y
1.905 * [backup-simplify]: Simplify z into z
1.905 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.906 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
1.906 * [backup-simplify]: Simplify (+ 1 (- (/ 1 z))) into (- 1 (/ 1 z))
1.906 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z
1.906 * [taylor]: Taking taylor expansion of 1 in z
1.906 * [backup-simplify]: Simplify 1 into 1
1.906 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.906 * [taylor]: Taking taylor expansion of z in z
1.906 * [backup-simplify]: Simplify 0 into 0
1.906 * [backup-simplify]: Simplify 1 into 1
1.906 * [backup-simplify]: Simplify (/ 1 1) into 1
1.906 * [backup-simplify]: Simplify (- 1) into -1
1.906 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.906 * [backup-simplify]: Simplify -1 into -1
1.907 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.907 * [taylor]: Taking taylor expansion of z in z
1.907 * [backup-simplify]: Simplify 0 into 0
1.907 * [backup-simplify]: Simplify 1 into 1
1.907 * [backup-simplify]: Simplify (/ 1 1) into 1
1.907 * [backup-simplify]: Simplify 1 into 1
1.907 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.907 * [backup-simplify]: Simplify (+ 0 0) into 0
1.907 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
1.909 * [backup-simplify]: Simplify (- 0) into 0
1.909 * [backup-simplify]: Simplify (+ 0 0) into 0
1.909 * [taylor]: Taking taylor expansion of 0 in y
1.909 * [backup-simplify]: Simplify 0 into 0
1.909 * [taylor]: Taking taylor expansion of 0 in z
1.909 * [backup-simplify]: Simplify 0 into 0
1.909 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.909 * [backup-simplify]: Simplify (- 0) into 0
1.909 * [backup-simplify]: Simplify (+ 0 0) into 0
1.910 * [taylor]: Taking taylor expansion of 0 in z
1.910 * [backup-simplify]: Simplify 0 into 0
1.910 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
1.910 * [taylor]: Taking taylor expansion of 0 in z
1.910 * [backup-simplify]: Simplify 0 into 0
1.910 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.910 * [backup-simplify]: Simplify (- 0) into 0
1.911 * [backup-simplify]: Simplify (+ 1 0) into 1
1.911 * [backup-simplify]: Simplify 1 into 1
1.911 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 x))) (+ (* 1 (* (/ 1 z) (* y 1))) (* -1 (* (/ 1 z) (* 1 x))))) into (- (+ x (/ y z)) (/ x z))
1.911 * [backup-simplify]: Simplify (+ (/ 1 x) (/ (- (/ 1 y) (/ 1 x)) (/ 1 z))) into (- (+ (/ z y) (/ 1 x)) (/ z x))
1.911 * [approximate]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in (x y z) around 0
1.911 * [taylor]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in z
1.911 * [taylor]: Taking taylor expansion of (+ (/ z y) (/ 1 x)) in z
1.911 * [taylor]: Taking taylor expansion of (/ z y) in z
1.911 * [taylor]: Taking taylor expansion of z in z
1.911 * [backup-simplify]: Simplify 0 into 0
1.911 * [backup-simplify]: Simplify 1 into 1
1.911 * [taylor]: Taking taylor expansion of y in z
1.911 * [backup-simplify]: Simplify y into y
1.911 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.911 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.911 * [taylor]: Taking taylor expansion of x in z
1.911 * [backup-simplify]: Simplify x into x
1.911 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.911 * [taylor]: Taking taylor expansion of (/ z x) in z
1.911 * [taylor]: Taking taylor expansion of z in z
1.911 * [backup-simplify]: Simplify 0 into 0
1.911 * [backup-simplify]: Simplify 1 into 1
1.911 * [taylor]: Taking taylor expansion of x in z
1.911 * [backup-simplify]: Simplify x into x
1.911 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.911 * [taylor]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in y
1.911 * [taylor]: Taking taylor expansion of (+ (/ z y) (/ 1 x)) in y
1.912 * [taylor]: Taking taylor expansion of (/ z y) in y
1.912 * [taylor]: Taking taylor expansion of z in y
1.912 * [backup-simplify]: Simplify z into z
1.912 * [taylor]: Taking taylor expansion of y in y
1.912 * [backup-simplify]: Simplify 0 into 0
1.912 * [backup-simplify]: Simplify 1 into 1
1.912 * [backup-simplify]: Simplify (/ z 1) into z
1.912 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.912 * [taylor]: Taking taylor expansion of x in y
1.912 * [backup-simplify]: Simplify x into x
1.912 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.912 * [taylor]: Taking taylor expansion of (/ z x) in y
1.912 * [taylor]: Taking taylor expansion of z in y
1.912 * [backup-simplify]: Simplify z into z
1.912 * [taylor]: Taking taylor expansion of x in y
1.912 * [backup-simplify]: Simplify x into x
1.912 * [backup-simplify]: Simplify (/ z x) into (/ z x)
1.912 * [taylor]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in x
1.912 * [taylor]: Taking taylor expansion of (+ (/ z y) (/ 1 x)) in x
1.912 * [taylor]: Taking taylor expansion of (/ z y) in x
1.912 * [taylor]: Taking taylor expansion of z in x
1.912 * [backup-simplify]: Simplify z into z
1.912 * [taylor]: Taking taylor expansion of y in x
1.912 * [backup-simplify]: Simplify y into y
1.912 * [backup-simplify]: Simplify (/ z y) into (/ z y)
1.912 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.912 * [taylor]: Taking taylor expansion of x in x
1.912 * [backup-simplify]: Simplify 0 into 0
1.912 * [backup-simplify]: Simplify 1 into 1
1.912 * [backup-simplify]: Simplify (/ 1 1) into 1
1.912 * [taylor]: Taking taylor expansion of (/ z x) in x
1.912 * [taylor]: Taking taylor expansion of z in x
1.912 * [backup-simplify]: Simplify z into z
1.912 * [taylor]: Taking taylor expansion of x in x
1.912 * [backup-simplify]: Simplify 0 into 0
1.912 * [backup-simplify]: Simplify 1 into 1
1.912 * [backup-simplify]: Simplify (/ z 1) into z
1.912 * [taylor]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in x
1.912 * [taylor]: Taking taylor expansion of (+ (/ z y) (/ 1 x)) in x
1.912 * [taylor]: Taking taylor expansion of (/ z y) in x
1.912 * [taylor]: Taking taylor expansion of z in x
1.913 * [backup-simplify]: Simplify z into z
1.913 * [taylor]: Taking taylor expansion of y in x
1.913 * [backup-simplify]: Simplify y into y
1.913 * [backup-simplify]: Simplify (/ z y) into (/ z y)
1.913 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.913 * [taylor]: Taking taylor expansion of x in x
1.913 * [backup-simplify]: Simplify 0 into 0
1.913 * [backup-simplify]: Simplify 1 into 1
1.913 * [backup-simplify]: Simplify (/ 1 1) into 1
1.913 * [taylor]: Taking taylor expansion of (/ z x) in x
1.913 * [taylor]: Taking taylor expansion of z in x
1.913 * [backup-simplify]: Simplify z into z
1.913 * [taylor]: Taking taylor expansion of x in x
1.913 * [backup-simplify]: Simplify 0 into 0
1.913 * [backup-simplify]: Simplify 1 into 1
1.913 * [backup-simplify]: Simplify (/ z 1) into z
1.913 * [backup-simplify]: Simplify (+ 0 1) into 1
1.913 * [backup-simplify]: Simplify (- z) into (- z)
1.913 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z)
1.913 * [taylor]: Taking taylor expansion of (- 1 z) in y
1.913 * [taylor]: Taking taylor expansion of 1 in y
1.913 * [backup-simplify]: Simplify 1 into 1
1.913 * [taylor]: Taking taylor expansion of z in y
1.913 * [backup-simplify]: Simplify z into z
1.914 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.914 * [backup-simplify]: Simplify (+ (/ z y) 0) into (/ z y)
1.915 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1.915 * [backup-simplify]: Simplify (- 0) into 0
1.915 * [backup-simplify]: Simplify (+ (/ z y) 0) into (/ z y)
1.915 * [taylor]: Taking taylor expansion of (/ z y) in y
1.915 * [taylor]: Taking taylor expansion of z in y
1.915 * [backup-simplify]: Simplify z into z
1.915 * [taylor]: Taking taylor expansion of y in y
1.915 * [backup-simplify]: Simplify 0 into 0
1.915 * [backup-simplify]: Simplify 1 into 1
1.915 * [backup-simplify]: Simplify (/ z 1) into z
1.915 * [taylor]: Taking taylor expansion of z in z
1.915 * [backup-simplify]: Simplify 0 into 0
1.915 * [backup-simplify]: Simplify 1 into 1
1.915 * [backup-simplify]: Simplify 0 into 0
1.915 * [backup-simplify]: Simplify (- z) into (- z)
1.915 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z)
1.915 * [taylor]: Taking taylor expansion of (- 1 z) in z
1.915 * [taylor]: Taking taylor expansion of 1 in z
1.915 * [backup-simplify]: Simplify 1 into 1
1.915 * [taylor]: Taking taylor expansion of z in z
1.915 * [backup-simplify]: Simplify 0 into 0
1.915 * [backup-simplify]: Simplify 1 into 1
1.916 * [backup-simplify]: Simplify (- 0) into 0
1.916 * [backup-simplify]: Simplify (+ 1 0) into 1
1.916 * [backup-simplify]: Simplify 1 into 1
1.916 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
1.916 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.917 * [backup-simplify]: Simplify (+ 0 0) into 0
1.918 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.918 * [backup-simplify]: Simplify (- 0) into 0
1.918 * [backup-simplify]: Simplify (+ 0 0) into 0
1.918 * [taylor]: Taking taylor expansion of 0 in y
1.918 * [backup-simplify]: Simplify 0 into 0
1.919 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1.919 * [taylor]: Taking taylor expansion of 0 in z
1.919 * [backup-simplify]: Simplify 0 into 0
1.919 * [backup-simplify]: Simplify 0 into 0
1.919 * [backup-simplify]: Simplify (- 0) into 0
1.919 * [backup-simplify]: Simplify (+ 0 0) into 0
1.919 * [taylor]: Taking taylor expansion of 0 in z
1.919 * [backup-simplify]: Simplify 0 into 0
1.919 * [backup-simplify]: Simplify 0 into 0
1.919 * [backup-simplify]: Simplify 1 into 1
1.919 * [backup-simplify]: Simplify (- 1) into -1
1.920 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.920 * [backup-simplify]: Simplify -1 into -1
1.920 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 z) (* 1 (/ 1 (/ 1 x))))) (+ (* 1 (* (/ 1 z) (* (/ 1 (/ 1 y)) 1))) (* 1 (* 1 (* 1 (/ 1 (/ 1 x))))))) into (- (+ x (/ y z)) (/ x z))
1.920 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (/ (- (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- z)))) into (- (/ z y) (+ (/ z x) (/ 1 x)))
1.920 * [approximate]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in (x y z) around 0
1.920 * [taylor]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in z
1.920 * [taylor]: Taking taylor expansion of (/ z y) in z
1.920 * [taylor]: Taking taylor expansion of z in z
1.920 * [backup-simplify]: Simplify 0 into 0
1.920 * [backup-simplify]: Simplify 1 into 1
1.920 * [taylor]: Taking taylor expansion of y in z
1.920 * [backup-simplify]: Simplify y into y
1.920 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.920 * [taylor]: Taking taylor expansion of (+ (/ z x) (/ 1 x)) in z
1.920 * [taylor]: Taking taylor expansion of (/ z x) in z
1.920 * [taylor]: Taking taylor expansion of z in z
1.921 * [backup-simplify]: Simplify 0 into 0
1.921 * [backup-simplify]: Simplify 1 into 1
1.921 * [taylor]: Taking taylor expansion of x in z
1.921 * [backup-simplify]: Simplify x into x
1.921 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.921 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.921 * [taylor]: Taking taylor expansion of x in z
1.921 * [backup-simplify]: Simplify x into x
1.921 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.921 * [taylor]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in y
1.921 * [taylor]: Taking taylor expansion of (/ z y) in y
1.921 * [taylor]: Taking taylor expansion of z in y
1.921 * [backup-simplify]: Simplify z into z
1.921 * [taylor]: Taking taylor expansion of y in y
1.921 * [backup-simplify]: Simplify 0 into 0
1.921 * [backup-simplify]: Simplify 1 into 1
1.921 * [backup-simplify]: Simplify (/ z 1) into z
1.921 * [taylor]: Taking taylor expansion of (+ (/ z x) (/ 1 x)) in y
1.921 * [taylor]: Taking taylor expansion of (/ z x) in y
1.921 * [taylor]: Taking taylor expansion of z in y
1.921 * [backup-simplify]: Simplify z into z
1.921 * [taylor]: Taking taylor expansion of x in y
1.921 * [backup-simplify]: Simplify x into x
1.921 * [backup-simplify]: Simplify (/ z x) into (/ z x)
1.921 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.921 * [taylor]: Taking taylor expansion of x in y
1.921 * [backup-simplify]: Simplify x into x
1.921 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.921 * [taylor]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in x
1.921 * [taylor]: Taking taylor expansion of (/ z y) in x
1.921 * [taylor]: Taking taylor expansion of z in x
1.921 * [backup-simplify]: Simplify z into z
1.921 * [taylor]: Taking taylor expansion of y in x
1.921 * [backup-simplify]: Simplify y into y
1.921 * [backup-simplify]: Simplify (/ z y) into (/ z y)
1.921 * [taylor]: Taking taylor expansion of (+ (/ z x) (/ 1 x)) in x
1.921 * [taylor]: Taking taylor expansion of (/ z x) in x
1.921 * [taylor]: Taking taylor expansion of z in x
1.921 * [backup-simplify]: Simplify z into z
1.921 * [taylor]: Taking taylor expansion of x in x
1.921 * [backup-simplify]: Simplify 0 into 0
1.921 * [backup-simplify]: Simplify 1 into 1
1.921 * [backup-simplify]: Simplify (/ z 1) into z
1.921 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.921 * [taylor]: Taking taylor expansion of x in x
1.921 * [backup-simplify]: Simplify 0 into 0
1.921 * [backup-simplify]: Simplify 1 into 1
1.922 * [backup-simplify]: Simplify (/ 1 1) into 1
1.922 * [taylor]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in x
1.922 * [taylor]: Taking taylor expansion of (/ z y) in x
1.922 * [taylor]: Taking taylor expansion of z in x
1.922 * [backup-simplify]: Simplify z into z
1.922 * [taylor]: Taking taylor expansion of y in x
1.922 * [backup-simplify]: Simplify y into y
1.922 * [backup-simplify]: Simplify (/ z y) into (/ z y)
1.922 * [taylor]: Taking taylor expansion of (+ (/ z x) (/ 1 x)) in x
1.922 * [taylor]: Taking taylor expansion of (/ z x) in x
1.922 * [taylor]: Taking taylor expansion of z in x
1.922 * [backup-simplify]: Simplify z into z
1.922 * [taylor]: Taking taylor expansion of x in x
1.922 * [backup-simplify]: Simplify 0 into 0
1.922 * [backup-simplify]: Simplify 1 into 1
1.922 * [backup-simplify]: Simplify (/ z 1) into z
1.922 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.922 * [taylor]: Taking taylor expansion of x in x
1.922 * [backup-simplify]: Simplify 0 into 0
1.922 * [backup-simplify]: Simplify 1 into 1
1.922 * [backup-simplify]: Simplify (/ 1 1) into 1
1.922 * [backup-simplify]: Simplify (+ z 1) into (+ z 1)
1.922 * [backup-simplify]: Simplify (- (+ z 1)) into (- (+ z 1))
1.922 * [backup-simplify]: Simplify (+ 0 (- (+ z 1))) into (- (+ z 1))
1.922 * [taylor]: Taking taylor expansion of (- (+ z 1)) in y
1.922 * [taylor]: Taking taylor expansion of (+ z 1) in y
1.922 * [taylor]: Taking taylor expansion of z in y
1.922 * [backup-simplify]: Simplify z into z
1.922 * [taylor]: Taking taylor expansion of 1 in y
1.922 * [backup-simplify]: Simplify 1 into 1
1.923 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1.923 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.924 * [backup-simplify]: Simplify (+ 0 0) into 0
1.924 * [backup-simplify]: Simplify (- 0) into 0
1.924 * [backup-simplify]: Simplify (+ (/ z y) 0) into (/ z y)
1.924 * [taylor]: Taking taylor expansion of (/ z y) in y
1.924 * [taylor]: Taking taylor expansion of z in y
1.924 * [backup-simplify]: Simplify z into z
1.924 * [taylor]: Taking taylor expansion of y in y
1.924 * [backup-simplify]: Simplify 0 into 0
1.924 * [backup-simplify]: Simplify 1 into 1
1.924 * [backup-simplify]: Simplify (/ z 1) into z
1.924 * [taylor]: Taking taylor expansion of z in z
1.924 * [backup-simplify]: Simplify 0 into 0
1.924 * [backup-simplify]: Simplify 1 into 1
1.924 * [backup-simplify]: Simplify 0 into 0
1.924 * [backup-simplify]: Simplify (+ z 1) into (+ z 1)
1.924 * [backup-simplify]: Simplify (- (+ z 1)) into (- (+ z 1))
1.924 * [taylor]: Taking taylor expansion of (- (+ z 1)) in z
1.924 * [taylor]: Taking taylor expansion of (+ z 1) in z
1.924 * [taylor]: Taking taylor expansion of z in z
1.924 * [backup-simplify]: Simplify 0 into 0
1.924 * [backup-simplify]: Simplify 1 into 1
1.924 * [taylor]: Taking taylor expansion of 1 in z
1.924 * [backup-simplify]: Simplify 1 into 1
1.925 * [backup-simplify]: Simplify (+ 0 1) into 1
1.925 * [backup-simplify]: Simplify (- 1) into -1
1.925 * [backup-simplify]: Simplify -1 into -1
1.925 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
1.926 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.926 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.927 * [backup-simplify]: Simplify (+ 0 0) into 0
1.927 * [backup-simplify]: Simplify (- 0) into 0
1.927 * [backup-simplify]: Simplify (+ 0 0) into 0
1.927 * [taylor]: Taking taylor expansion of 0 in y
1.927 * [backup-simplify]: Simplify 0 into 0
1.928 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1.928 * [taylor]: Taking taylor expansion of 0 in z
1.928 * [backup-simplify]: Simplify 0 into 0
1.928 * [backup-simplify]: Simplify 0 into 0
1.932 * [backup-simplify]: Simplify (+ 0 0) into 0
1.933 * [backup-simplify]: Simplify (- 0) into 0
1.933 * [taylor]: Taking taylor expansion of 0 in z
1.933 * [backup-simplify]: Simplify 0 into 0
1.933 * [backup-simplify]: Simplify 0 into 0
1.933 * [backup-simplify]: Simplify 1 into 1
1.934 * [backup-simplify]: Simplify (+ 1 0) into 1
1.934 * [backup-simplify]: Simplify (- 1) into -1
1.934 * [backup-simplify]: Simplify -1 into -1
1.935 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (- z)) (* 1 (/ 1 (/ 1 (- x)))))) (+ (* 1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) 1))) (* -1 (* 1 (* 1 (/ 1 (/ 1 (- x)))))))) into (- (+ x (/ y z)) (/ x z))
1.935 * * * [progress]: simplifying candidates
1.937 * [simplify]: Simplifying:
  (expm1 (/ (- y x) z))
  (log1p (/ (- y x) z))
  (- (log (- y x)) (log z))
  (log (/ (- y x) z))
  (exp (/ (- y x) z))
  (/ (* (* (- y x) (- y x)) (- y x)) (* (* z z) z))
  (* (cbrt (/ (- y x) z)) (cbrt (/ (- y x) z)))
  (cbrt (/ (- y x) z))
  (* (* (/ (- y x) z) (/ (- y x) z)) (/ (- y x) z))
  (sqrt (/ (- y x) z))
  (sqrt (/ (- y x) z))
  (- (- y x))
  (- z)
  (/ y z)
  (/ x z)
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (* (cbrt z) (cbrt z)))
  (/ (cbrt (- y x)) (cbrt z))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (sqrt z))
  (/ (cbrt (- y x)) (sqrt z))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) 1)
  (/ (cbrt (- y x)) z)
  (/ (sqrt (- y x)) (* (cbrt z) (cbrt z)))
  (/ (sqrt (- y x)) (cbrt z))
  (/ (sqrt (- y x)) (sqrt z))
  (/ (sqrt (- y x)) (sqrt z))
  (/ (sqrt (- y x)) 1)
  (/ (sqrt (- y x)) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (- y x) (cbrt z))
  (/ 1 (sqrt z))
  (/ (- y x) (sqrt z))
  (/ 1 1)
  (/ (- y x) z)
  (/ (+ (sqrt y) (sqrt x)) (* (cbrt z) (cbrt z)))
  (/ (- (sqrt y) (sqrt x)) (cbrt z))
  (/ (+ (sqrt y) (sqrt x)) (sqrt z))
  (/ (- (sqrt y) (sqrt x)) (sqrt z))
  (/ (+ (sqrt y) (sqrt x)) 1)
  (/ (- (sqrt y) (sqrt x)) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (- y x) (cbrt z))
  (/ 1 (sqrt z))
  (/ (- y x) (sqrt z))
  (/ 1 1)
  (/ (- y x) z)
  (/ 1 z)
  (/ z (- y x))
  (/ (- y x) (* (cbrt z) (cbrt z)))
  (/ (- y x) (sqrt z))
  (/ (- y x) 1)
  (/ z (cbrt (- y x)))
  (/ z (sqrt (- y x)))
  (/ z (- y x))
  (/ z (- (sqrt y) (sqrt x)))
  (/ z (- y x))
  (* z (+ (* y y) (+ (* x x) (* y x))))
  (* z (+ y x))
  (expm1 (+ x (/ (- y x) z)))
  (log1p (+ x (/ (- y x) z)))
  (* (exp x) (exp (/ (- y x) z)))
  (log (+ x (/ (- y x) z)))
  (exp (+ x (/ (- y x) z)))
  (* (cbrt (+ x (/ (- y x) z))) (cbrt (+ x (/ (- y x) z))))
  (cbrt (+ x (/ (- y x) z)))
  (* (* (+ x (/ (- y x) z)) (+ x (/ (- y x) z))) (+ x (/ (- y x) z)))
  (sqrt (+ x (/ (- y x) z)))
  (sqrt (+ x (/ (- y x) z)))
  (+ (pow x 3) (pow (/ (- y x) z) 3))
  (+ (* x x) (- (* (/ (- y x) z) (/ (- y x) z)) (* x (/ (- y x) z))))
  (- (* x x) (* (/ (- y x) z) (/ (- y x) z)))
  (- x (/ (- y x) z))
  (+ x (/ (- y x) z))
  (+ x (/ y z))
  (- (/ y z) (/ x z))
  (- (/ y z) (/ x z))
  (- (/ y z) (/ x z))
  (- (+ x (/ y z)) (/ x z))
  (- (+ x (/ y z)) (/ x z))
  (- (+ x (/ y z)) (/ x z))
1.939 * * [simplify]: iteration 0: 98 enodes
1.973 * * [simplify]: iteration 1: 239 enodes
2.091 * * [simplify]: iteration 2: 944 enodes
2.473 * * [simplify]: iteration complete: 5000 enodes
2.473 * * [simplify]: Extracting #0: cost 58 inf + 0
2.474 * * [simplify]: Extracting #1: cost 490 inf + 1
2.478 * * [simplify]: Extracting #2: cost 1705 inf + 2867
2.488 * * [simplify]: Extracting #3: cost 2123 inf + 35626
2.568 * * [simplify]: Extracting #4: cost 650 inf + 283210
2.702 * * [simplify]: Extracting #5: cost 12 inf + 414328
3.173 * * [simplify]: Extracting #6: cost 0 inf + 417236
3.314 * [simplify]: Simplified to:
  (expm1 (/ (- y x) z))
  (log1p (/ (- y x) z))
  (log (/ (- y x) z))
  (log (/ (- y x) z))
  (exp (/ (- y x) z))
  (* (/ (- y x) z) (* (/ (- y x) z) (/ (- y x) z)))
  (* (cbrt (/ (- y x) z)) (cbrt (/ (- y x) z)))
  (cbrt (/ (- y x) z))
  (* (/ (- y x) z) (* (/ (- y x) z) (/ (- y x) z)))
  (sqrt (/ (- y x) z))
  (sqrt (/ (- y x) z))
  (+ (- y) x)
  (- z)
  (/ y z)
  (/ x z)
  (* (/ (cbrt (- y x)) (cbrt z)) (/ (cbrt (- y x)) (cbrt z)))
  (/ (cbrt (- y x)) (cbrt z))
  (* (/ (cbrt (- y x)) (sqrt z)) (cbrt (- y x)))
  (/ (cbrt (- y x)) (sqrt z))
  (* (cbrt (- y x)) (cbrt (- y x)))
  (/ (cbrt (- y x)) z)
  (/ (sqrt (- y x)) (* (cbrt z) (cbrt z)))
  (/ (sqrt (- y x)) (cbrt z))
  (/ (sqrt (- y x)) (sqrt z))
  (/ (sqrt (- y x)) (sqrt z))
  (sqrt (- y x))
  (/ (sqrt (- y x)) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (- y x) (cbrt z))
  (/ 1 (sqrt z))
  (/ (- y x) (sqrt z))
  1
  (/ (- y x) z)
  (/ (+ (sqrt x) (sqrt y)) (* (cbrt z) (cbrt z)))
  (/ (- (sqrt y) (sqrt x)) (cbrt z))
  (/ (+ (sqrt x) (sqrt y)) (sqrt z))
  (/ (- (sqrt y) (sqrt x)) (sqrt z))
  (+ (sqrt x) (sqrt y))
  (/ (- (sqrt y) (sqrt x)) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (- y x) (cbrt z))
  (/ 1 (sqrt z))
  (/ (- y x) (sqrt z))
  1
  (/ (- y x) z)
  (/ 1 z)
  (/ z (- y x))
  (/ (- y x) (* (cbrt z) (cbrt z)))
  (/ (- y x) (sqrt z))
  (- y x)
  (/ z (cbrt (- y x)))
  (/ z (sqrt (- y x)))
  (/ z (- y x))
  (/ z (- (sqrt y) (sqrt x)))
  (/ z (- y x))
  (* (fma x (+ x y) (* y y)) z)
  (* (+ x y) z)
  (expm1 (+ x (/ (- y x) z)))
  (log1p (+ x (/ (- y x) z)))
  (exp (+ x (/ (- y x) z)))
  (log (+ x (/ (- y x) z)))
  (exp (+ x (/ (- y x) z)))
  (* (cbrt (+ x (/ (- y x) z))) (cbrt (+ x (/ (- y x) z))))
  (cbrt (+ x (/ (- y x) z)))
  (* (* (+ x (/ (- y x) z)) (+ x (/ (- y x) z))) (+ x (/ (- y x) z)))
  (sqrt (+ x (/ (- y x) z)))
  (sqrt (+ x (/ (- y x) z)))
  (fma (/ (- y x) z) (* (/ (- y x) z) (/ (- y x) z)) (* x (* x x)))
  (fma (/ (- y x) z) (- (/ (- y x) z) x) (* x x))
  (* (+ x (/ (- y x) z)) (- x (/ (- y x) z)))
  (- x (/ (- y x) z))
  (+ x (/ (- y x) z))
  (+ (/ y z) x)
  (/ (- y x) z)
  (/ (- y x) z)
  (/ (- y x) z)
  (+ x (/ (- y x) z))
  (+ x (/ (- y x) z))
  (+ x (/ (- y x) z))
3.319 * * * [progress]: adding candidates to table
3.653 * * [progress]: iteration 2 / 4
3.653 * * * [progress]: picking best candidate
3.664 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (- (/ y z) (/ x z))))>
3.664 * * * [progress]: localizing error
3.683 * * * [progress]: generating rewritten candidates
3.684 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.793 * * * [progress]: generating series expansions
3.793 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.794 * [backup-simplify]: Simplify (+ x (- (/ y z) (/ x z))) into (- (+ x (/ y z)) (/ x z))
3.794 * [approximate]: Taking taylor expansion of (- (+ x (/ y z)) (/ x z)) in (x y z) around 0
3.794 * [taylor]: Taking taylor expansion of (- (+ x (/ y z)) (/ x z)) in z
3.794 * [taylor]: Taking taylor expansion of (+ x (/ y z)) in z
3.794 * [taylor]: Taking taylor expansion of x in z
3.794 * [backup-simplify]: Simplify x into x
3.794 * [taylor]: Taking taylor expansion of (/ y z) in z
3.794 * [taylor]: Taking taylor expansion of y in z
3.794 * [backup-simplify]: Simplify y into y
3.794 * [taylor]: Taking taylor expansion of z in z
3.794 * [backup-simplify]: Simplify 0 into 0
3.794 * [backup-simplify]: Simplify 1 into 1
3.794 * [backup-simplify]: Simplify (/ y 1) into y
3.794 * [taylor]: Taking taylor expansion of (/ x z) in z
3.794 * [taylor]: Taking taylor expansion of x in z
3.794 * [backup-simplify]: Simplify x into x
3.794 * [taylor]: Taking taylor expansion of z in z
3.794 * [backup-simplify]: Simplify 0 into 0
3.794 * [backup-simplify]: Simplify 1 into 1
3.794 * [backup-simplify]: Simplify (/ x 1) into x
3.794 * [taylor]: Taking taylor expansion of (- (+ x (/ y z)) (/ x z)) in y
3.794 * [taylor]: Taking taylor expansion of (+ x (/ y z)) in y
3.794 * [taylor]: Taking taylor expansion of x in y
3.794 * [backup-simplify]: Simplify x into x
3.794 * [taylor]: Taking taylor expansion of (/ y z) in y
3.794 * [taylor]: Taking taylor expansion of y in y
3.794 * [backup-simplify]: Simplify 0 into 0
3.794 * [backup-simplify]: Simplify 1 into 1
3.794 * [taylor]: Taking taylor expansion of z in y
3.795 * [backup-simplify]: Simplify z into z
3.795 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.795 * [taylor]: Taking taylor expansion of (/ x z) in y
3.795 * [taylor]: Taking taylor expansion of x in y
3.795 * [backup-simplify]: Simplify x into x
3.795 * [taylor]: Taking taylor expansion of z in y
3.795 * [backup-simplify]: Simplify z into z
3.795 * [backup-simplify]: Simplify (/ x z) into (/ x z)
3.795 * [taylor]: Taking taylor expansion of (- (+ x (/ y z)) (/ x z)) in x
3.795 * [taylor]: Taking taylor expansion of (+ x (/ y z)) in x
3.795 * [taylor]: Taking taylor expansion of x in x
3.795 * [backup-simplify]: Simplify 0 into 0
3.795 * [backup-simplify]: Simplify 1 into 1
3.795 * [taylor]: Taking taylor expansion of (/ y z) in x
3.795 * [taylor]: Taking taylor expansion of y in x
3.795 * [backup-simplify]: Simplify y into y
3.795 * [taylor]: Taking taylor expansion of z in x
3.795 * [backup-simplify]: Simplify z into z
3.795 * [backup-simplify]: Simplify (/ y z) into (/ y z)
3.795 * [taylor]: Taking taylor expansion of (/ x z) in x
3.795 * [taylor]: Taking taylor expansion of x in x
3.795 * [backup-simplify]: Simplify 0 into 0
3.795 * [backup-simplify]: Simplify 1 into 1
3.795 * [taylor]: Taking taylor expansion of z in x
3.795 * [backup-simplify]: Simplify z into z
3.795 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.795 * [taylor]: Taking taylor expansion of (- (+ x (/ y z)) (/ x z)) in x
3.795 * [taylor]: Taking taylor expansion of (+ x (/ y z)) in x
3.795 * [taylor]: Taking taylor expansion of x in x
3.795 * [backup-simplify]: Simplify 0 into 0
3.796 * [backup-simplify]: Simplify 1 into 1
3.796 * [taylor]: Taking taylor expansion of (/ y z) in x
3.796 * [taylor]: Taking taylor expansion of y in x
3.796 * [backup-simplify]: Simplify y into y
3.796 * [taylor]: Taking taylor expansion of z in x
3.796 * [backup-simplify]: Simplify z into z
3.796 * [backup-simplify]: Simplify (/ y z) into (/ y z)
3.796 * [taylor]: Taking taylor expansion of (/ x z) in x
3.796 * [taylor]: Taking taylor expansion of x in x
3.796 * [backup-simplify]: Simplify 0 into 0
3.796 * [backup-simplify]: Simplify 1 into 1
3.796 * [taylor]: Taking taylor expansion of z in x
3.796 * [backup-simplify]: Simplify z into z
3.796 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.796 * [backup-simplify]: Simplify (+ 0 (/ y z)) into (/ y z)
3.796 * [backup-simplify]: Simplify (+ (/ y z) 0) into (/ y z)
3.796 * [taylor]: Taking taylor expansion of (/ y z) in y
3.796 * [taylor]: Taking taylor expansion of y in y
3.796 * [backup-simplify]: Simplify 0 into 0
3.796 * [backup-simplify]: Simplify 1 into 1
3.796 * [taylor]: Taking taylor expansion of z in y
3.796 * [backup-simplify]: Simplify z into z
3.796 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.797 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
3.797 * [backup-simplify]: Simplify (+ 1 0) into 1
3.798 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
3.798 * [backup-simplify]: Simplify (+ 1 (- (/ 1 z))) into (- 1 (/ 1 z))
3.798 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in y
3.798 * [taylor]: Taking taylor expansion of 1 in y
3.798 * [backup-simplify]: Simplify 1 into 1
3.798 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.798 * [taylor]: Taking taylor expansion of z in y
3.798 * [backup-simplify]: Simplify z into z
3.798 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.798 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
3.798 * [backup-simplify]: Simplify (+ 1 (- (/ 1 z))) into (- 1 (/ 1 z))
3.798 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z
3.798 * [taylor]: Taking taylor expansion of 1 in z
3.798 * [backup-simplify]: Simplify 1 into 1
3.798 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.798 * [taylor]: Taking taylor expansion of z in z
3.798 * [backup-simplify]: Simplify 0 into 0
3.798 * [backup-simplify]: Simplify 1 into 1
3.799 * [backup-simplify]: Simplify (/ 1 1) into 1
3.799 * [backup-simplify]: Simplify (- 1) into -1
3.800 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.800 * [backup-simplify]: Simplify -1 into -1
3.800 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.800 * [taylor]: Taking taylor expansion of z in z
3.800 * [backup-simplify]: Simplify 0 into 0
3.800 * [backup-simplify]: Simplify 1 into 1
3.800 * [backup-simplify]: Simplify (/ 1 1) into 1
3.801 * [backup-simplify]: Simplify 1 into 1
3.801 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.801 * [backup-simplify]: Simplify (+ 0 0) into 0
3.801 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
3.802 * [backup-simplify]: Simplify (- 0) into 0
3.802 * [backup-simplify]: Simplify (+ 0 0) into 0
3.802 * [taylor]: Taking taylor expansion of 0 in y
3.802 * [backup-simplify]: Simplify 0 into 0
3.802 * [taylor]: Taking taylor expansion of 0 in z
3.802 * [backup-simplify]: Simplify 0 into 0
3.802 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
3.803 * [backup-simplify]: Simplify (- 0) into 0
3.803 * [backup-simplify]: Simplify (+ 0 0) into 0
3.803 * [taylor]: Taking taylor expansion of 0 in z
3.803 * [backup-simplify]: Simplify 0 into 0
3.803 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
3.803 * [taylor]: Taking taylor expansion of 0 in z
3.804 * [backup-simplify]: Simplify 0 into 0
3.804 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.805 * [backup-simplify]: Simplify (- 0) into 0
3.805 * [backup-simplify]: Simplify (+ 1 0) into 1
3.805 * [backup-simplify]: Simplify 1 into 1
3.806 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 x))) (+ (* 1 (* (/ 1 z) (* y 1))) (* -1 (* (/ 1 z) (* 1 x))))) into (- (+ x (/ y z)) (/ x z))
3.806 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ (/ 1 y) (/ 1 z)) (/ (/ 1 x) (/ 1 z)))) into (- (+ (/ z y) (/ 1 x)) (/ z x))
3.806 * [approximate]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in (x y z) around 0
3.806 * [taylor]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in z
3.806 * [taylor]: Taking taylor expansion of (+ (/ z y) (/ 1 x)) in z
3.806 * [taylor]: Taking taylor expansion of (/ z y) in z
3.806 * [taylor]: Taking taylor expansion of z in z
3.806 * [backup-simplify]: Simplify 0 into 0
3.806 * [backup-simplify]: Simplify 1 into 1
3.807 * [taylor]: Taking taylor expansion of y in z
3.807 * [backup-simplify]: Simplify y into y
3.807 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.807 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.807 * [taylor]: Taking taylor expansion of x in z
3.807 * [backup-simplify]: Simplify x into x
3.807 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.807 * [taylor]: Taking taylor expansion of (/ z x) in z
3.807 * [taylor]: Taking taylor expansion of z in z
3.807 * [backup-simplify]: Simplify 0 into 0
3.807 * [backup-simplify]: Simplify 1 into 1
3.807 * [taylor]: Taking taylor expansion of x in z
3.807 * [backup-simplify]: Simplify x into x
3.807 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.807 * [taylor]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in y
3.807 * [taylor]: Taking taylor expansion of (+ (/ z y) (/ 1 x)) in y
3.807 * [taylor]: Taking taylor expansion of (/ z y) in y
3.807 * [taylor]: Taking taylor expansion of z in y
3.807 * [backup-simplify]: Simplify z into z
3.807 * [taylor]: Taking taylor expansion of y in y
3.807 * [backup-simplify]: Simplify 0 into 0
3.807 * [backup-simplify]: Simplify 1 into 1
3.807 * [backup-simplify]: Simplify (/ z 1) into z
3.807 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.807 * [taylor]: Taking taylor expansion of x in y
3.807 * [backup-simplify]: Simplify x into x
3.807 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.807 * [taylor]: Taking taylor expansion of (/ z x) in y
3.808 * [taylor]: Taking taylor expansion of z in y
3.808 * [backup-simplify]: Simplify z into z
3.808 * [taylor]: Taking taylor expansion of x in y
3.808 * [backup-simplify]: Simplify x into x
3.808 * [backup-simplify]: Simplify (/ z x) into (/ z x)
3.808 * [taylor]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in x
3.808 * [taylor]: Taking taylor expansion of (+ (/ z y) (/ 1 x)) in x
3.808 * [taylor]: Taking taylor expansion of (/ z y) in x
3.808 * [taylor]: Taking taylor expansion of z in x
3.808 * [backup-simplify]: Simplify z into z
3.808 * [taylor]: Taking taylor expansion of y in x
3.808 * [backup-simplify]: Simplify y into y
3.808 * [backup-simplify]: Simplify (/ z y) into (/ z y)
3.808 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.808 * [taylor]: Taking taylor expansion of x in x
3.808 * [backup-simplify]: Simplify 0 into 0
3.808 * [backup-simplify]: Simplify 1 into 1
3.809 * [backup-simplify]: Simplify (/ 1 1) into 1
3.809 * [taylor]: Taking taylor expansion of (/ z x) in x
3.809 * [taylor]: Taking taylor expansion of z in x
3.809 * [backup-simplify]: Simplify z into z
3.809 * [taylor]: Taking taylor expansion of x in x
3.809 * [backup-simplify]: Simplify 0 into 0
3.809 * [backup-simplify]: Simplify 1 into 1
3.809 * [backup-simplify]: Simplify (/ z 1) into z
3.809 * [taylor]: Taking taylor expansion of (- (+ (/ z y) (/ 1 x)) (/ z x)) in x
3.809 * [taylor]: Taking taylor expansion of (+ (/ z y) (/ 1 x)) in x
3.809 * [taylor]: Taking taylor expansion of (/ z y) in x
3.809 * [taylor]: Taking taylor expansion of z in x
3.809 * [backup-simplify]: Simplify z into z
3.809 * [taylor]: Taking taylor expansion of y in x
3.809 * [backup-simplify]: Simplify y into y
3.809 * [backup-simplify]: Simplify (/ z y) into (/ z y)
3.809 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.809 * [taylor]: Taking taylor expansion of x in x
3.809 * [backup-simplify]: Simplify 0 into 0
3.809 * [backup-simplify]: Simplify 1 into 1
3.810 * [backup-simplify]: Simplify (/ 1 1) into 1
3.810 * [taylor]: Taking taylor expansion of (/ z x) in x
3.810 * [taylor]: Taking taylor expansion of z in x
3.810 * [backup-simplify]: Simplify z into z
3.810 * [taylor]: Taking taylor expansion of x in x
3.810 * [backup-simplify]: Simplify 0 into 0
3.810 * [backup-simplify]: Simplify 1 into 1
3.810 * [backup-simplify]: Simplify (/ z 1) into z
3.810 * [backup-simplify]: Simplify (+ 0 1) into 1
3.810 * [backup-simplify]: Simplify (- z) into (- z)
3.811 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z)
3.811 * [taylor]: Taking taylor expansion of (- 1 z) in y
3.811 * [taylor]: Taking taylor expansion of 1 in y
3.811 * [backup-simplify]: Simplify 1 into 1
3.811 * [taylor]: Taking taylor expansion of z in y
3.811 * [backup-simplify]: Simplify z into z
3.812 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.812 * [backup-simplify]: Simplify (+ (/ z y) 0) into (/ z y)
3.813 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
3.813 * [backup-simplify]: Simplify (- 0) into 0
3.813 * [backup-simplify]: Simplify (+ (/ z y) 0) into (/ z y)
3.813 * [taylor]: Taking taylor expansion of (/ z y) in y
3.813 * [taylor]: Taking taylor expansion of z in y
3.813 * [backup-simplify]: Simplify z into z
3.813 * [taylor]: Taking taylor expansion of y in y
3.813 * [backup-simplify]: Simplify 0 into 0
3.813 * [backup-simplify]: Simplify 1 into 1
3.813 * [backup-simplify]: Simplify (/ z 1) into z
3.813 * [taylor]: Taking taylor expansion of z in z
3.813 * [backup-simplify]: Simplify 0 into 0
3.813 * [backup-simplify]: Simplify 1 into 1
3.813 * [backup-simplify]: Simplify 0 into 0
3.813 * [backup-simplify]: Simplify (- z) into (- z)
3.814 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z)
3.814 * [taylor]: Taking taylor expansion of (- 1 z) in z
3.814 * [taylor]: Taking taylor expansion of 1 in z
3.814 * [backup-simplify]: Simplify 1 into 1
3.814 * [taylor]: Taking taylor expansion of z in z
3.814 * [backup-simplify]: Simplify 0 into 0
3.814 * [backup-simplify]: Simplify 1 into 1
3.814 * [backup-simplify]: Simplify (- 0) into 0
3.815 * [backup-simplify]: Simplify (+ 1 0) into 1
3.815 * [backup-simplify]: Simplify 1 into 1
3.815 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
3.816 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.816 * [backup-simplify]: Simplify (+ 0 0) into 0
3.818 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.818 * [backup-simplify]: Simplify (- 0) into 0
3.818 * [backup-simplify]: Simplify (+ 0 0) into 0
3.818 * [taylor]: Taking taylor expansion of 0 in y
3.819 * [backup-simplify]: Simplify 0 into 0
3.820 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
3.820 * [taylor]: Taking taylor expansion of 0 in z
3.820 * [backup-simplify]: Simplify 0 into 0
3.820 * [backup-simplify]: Simplify 0 into 0
3.820 * [backup-simplify]: Simplify (- 0) into 0
3.820 * [backup-simplify]: Simplify (+ 0 0) into 0
3.820 * [taylor]: Taking taylor expansion of 0 in z
3.821 * [backup-simplify]: Simplify 0 into 0
3.821 * [backup-simplify]: Simplify 0 into 0
3.821 * [backup-simplify]: Simplify 1 into 1
3.821 * [backup-simplify]: Simplify (- 1) into -1
3.821 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.821 * [backup-simplify]: Simplify -1 into -1
3.822 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 z) (* 1 (/ 1 (/ 1 x))))) (+ (* 1 (* (/ 1 z) (* (/ 1 (/ 1 y)) 1))) (* 1 (* 1 (* 1 (/ 1 (/ 1 x))))))) into (- (+ x (/ y z)) (/ x z))
3.822 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (- (/ (/ 1 (- y)) (/ 1 (- z))) (/ (/ 1 (- x)) (/ 1 (- z))))) into (- (/ z y) (+ (/ z x) (/ 1 x)))
3.822 * [approximate]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in (x y z) around 0
3.822 * [taylor]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in z
3.822 * [taylor]: Taking taylor expansion of (/ z y) in z
3.822 * [taylor]: Taking taylor expansion of z in z
3.823 * [backup-simplify]: Simplify 0 into 0
3.823 * [backup-simplify]: Simplify 1 into 1
3.823 * [taylor]: Taking taylor expansion of y in z
3.823 * [backup-simplify]: Simplify y into y
3.823 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.823 * [taylor]: Taking taylor expansion of (+ (/ z x) (/ 1 x)) in z
3.823 * [taylor]: Taking taylor expansion of (/ z x) in z
3.823 * [taylor]: Taking taylor expansion of z in z
3.823 * [backup-simplify]: Simplify 0 into 0
3.823 * [backup-simplify]: Simplify 1 into 1
3.823 * [taylor]: Taking taylor expansion of x in z
3.823 * [backup-simplify]: Simplify x into x
3.823 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.823 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.823 * [taylor]: Taking taylor expansion of x in z
3.823 * [backup-simplify]: Simplify x into x
3.823 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.823 * [taylor]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in y
3.823 * [taylor]: Taking taylor expansion of (/ z y) in y
3.823 * [taylor]: Taking taylor expansion of z in y
3.823 * [backup-simplify]: Simplify z into z
3.823 * [taylor]: Taking taylor expansion of y in y
3.823 * [backup-simplify]: Simplify 0 into 0
3.823 * [backup-simplify]: Simplify 1 into 1
3.823 * [backup-simplify]: Simplify (/ z 1) into z
3.823 * [taylor]: Taking taylor expansion of (+ (/ z x) (/ 1 x)) in y
3.823 * [taylor]: Taking taylor expansion of (/ z x) in y
3.823 * [taylor]: Taking taylor expansion of z in y
3.824 * [backup-simplify]: Simplify z into z
3.824 * [taylor]: Taking taylor expansion of x in y
3.824 * [backup-simplify]: Simplify x into x
3.824 * [backup-simplify]: Simplify (/ z x) into (/ z x)
3.824 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.824 * [taylor]: Taking taylor expansion of x in y
3.824 * [backup-simplify]: Simplify x into x
3.824 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.824 * [taylor]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in x
3.824 * [taylor]: Taking taylor expansion of (/ z y) in x
3.824 * [taylor]: Taking taylor expansion of z in x
3.824 * [backup-simplify]: Simplify z into z
3.824 * [taylor]: Taking taylor expansion of y in x
3.824 * [backup-simplify]: Simplify y into y
3.824 * [backup-simplify]: Simplify (/ z y) into (/ z y)
3.824 * [taylor]: Taking taylor expansion of (+ (/ z x) (/ 1 x)) in x
3.824 * [taylor]: Taking taylor expansion of (/ z x) in x
3.824 * [taylor]: Taking taylor expansion of z in x
3.824 * [backup-simplify]: Simplify z into z
3.824 * [taylor]: Taking taylor expansion of x in x
3.824 * [backup-simplify]: Simplify 0 into 0
3.824 * [backup-simplify]: Simplify 1 into 1
3.824 * [backup-simplify]: Simplify (/ z 1) into z
3.824 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.824 * [taylor]: Taking taylor expansion of x in x
3.824 * [backup-simplify]: Simplify 0 into 0
3.824 * [backup-simplify]: Simplify 1 into 1
3.825 * [backup-simplify]: Simplify (/ 1 1) into 1
3.825 * [taylor]: Taking taylor expansion of (- (/ z y) (+ (/ z x) (/ 1 x))) in x
3.825 * [taylor]: Taking taylor expansion of (/ z y) in x
3.825 * [taylor]: Taking taylor expansion of z in x
3.825 * [backup-simplify]: Simplify z into z
3.825 * [taylor]: Taking taylor expansion of y in x
3.825 * [backup-simplify]: Simplify y into y
3.825 * [backup-simplify]: Simplify (/ z y) into (/ z y)
3.825 * [taylor]: Taking taylor expansion of (+ (/ z x) (/ 1 x)) in x
3.825 * [taylor]: Taking taylor expansion of (/ z x) in x
3.825 * [taylor]: Taking taylor expansion of z in x
3.825 * [backup-simplify]: Simplify z into z
3.825 * [taylor]: Taking taylor expansion of x in x
3.825 * [backup-simplify]: Simplify 0 into 0
3.825 * [backup-simplify]: Simplify 1 into 1
3.825 * [backup-simplify]: Simplify (/ z 1) into z
3.826 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.826 * [taylor]: Taking taylor expansion of x in x
3.826 * [backup-simplify]: Simplify 0 into 0
3.826 * [backup-simplify]: Simplify 1 into 1
3.826 * [backup-simplify]: Simplify (/ 1 1) into 1
3.826 * [backup-simplify]: Simplify (+ z 1) into (+ z 1)
3.826 * [backup-simplify]: Simplify (- (+ z 1)) into (- (+ z 1))
3.826 * [backup-simplify]: Simplify (+ 0 (- (+ z 1))) into (- (+ z 1))
3.826 * [taylor]: Taking taylor expansion of (- (+ z 1)) in y
3.826 * [taylor]: Taking taylor expansion of (+ z 1) in y
3.826 * [taylor]: Taking taylor expansion of z in y
3.826 * [backup-simplify]: Simplify z into z
3.826 * [taylor]: Taking taylor expansion of 1 in y
3.826 * [backup-simplify]: Simplify 1 into 1
3.827 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
3.828 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.829 * [backup-simplify]: Simplify (+ 0 0) into 0
3.829 * [backup-simplify]: Simplify (- 0) into 0
3.829 * [backup-simplify]: Simplify (+ (/ z y) 0) into (/ z y)
3.829 * [taylor]: Taking taylor expansion of (/ z y) in y
3.829 * [taylor]: Taking taylor expansion of z in y
3.829 * [backup-simplify]: Simplify z into z
3.829 * [taylor]: Taking taylor expansion of y in y
3.829 * [backup-simplify]: Simplify 0 into 0
3.829 * [backup-simplify]: Simplify 1 into 1
3.829 * [backup-simplify]: Simplify (/ z 1) into z
3.829 * [taylor]: Taking taylor expansion of z in z
3.829 * [backup-simplify]: Simplify 0 into 0
3.829 * [backup-simplify]: Simplify 1 into 1
3.829 * [backup-simplify]: Simplify 0 into 0
3.830 * [backup-simplify]: Simplify (+ z 1) into (+ z 1)
3.830 * [backup-simplify]: Simplify (- (+ z 1)) into (- (+ z 1))
3.830 * [taylor]: Taking taylor expansion of (- (+ z 1)) in z
3.830 * [taylor]: Taking taylor expansion of (+ z 1) in z
3.830 * [taylor]: Taking taylor expansion of z in z
3.830 * [backup-simplify]: Simplify 0 into 0
3.830 * [backup-simplify]: Simplify 1 into 1
3.830 * [taylor]: Taking taylor expansion of 1 in z
3.830 * [backup-simplify]: Simplify 1 into 1
3.830 * [backup-simplify]: Simplify (+ 0 1) into 1
3.831 * [backup-simplify]: Simplify (- 1) into -1
3.831 * [backup-simplify]: Simplify -1 into -1
3.831 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
3.832 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.833 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.834 * [backup-simplify]: Simplify (+ 0 0) into 0
3.834 * [backup-simplify]: Simplify (- 0) into 0
3.834 * [backup-simplify]: Simplify (+ 0 0) into 0
3.834 * [taylor]: Taking taylor expansion of 0 in y
3.834 * [backup-simplify]: Simplify 0 into 0
3.835 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
3.835 * [taylor]: Taking taylor expansion of 0 in z
3.835 * [backup-simplify]: Simplify 0 into 0
3.835 * [backup-simplify]: Simplify 0 into 0
3.836 * [backup-simplify]: Simplify (+ 0 0) into 0
3.836 * [backup-simplify]: Simplify (- 0) into 0
3.836 * [taylor]: Taking taylor expansion of 0 in z
3.836 * [backup-simplify]: Simplify 0 into 0
3.836 * [backup-simplify]: Simplify 0 into 0
3.836 * [backup-simplify]: Simplify 1 into 1
3.837 * [backup-simplify]: Simplify (+ 1 0) into 1
3.837 * [backup-simplify]: Simplify (- 1) into -1
3.837 * [backup-simplify]: Simplify -1 into -1
3.838 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (- z)) (* 1 (/ 1 (/ 1 (- x)))))) (+ (* 1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) 1))) (* -1 (* 1 (* 1 (/ 1 (/ 1 (- x)))))))) into (- (+ x (/ y z)) (/ x z))
3.838 * * * [progress]: simplifying candidates
3.842 * [simplify]: Simplifying:
  (expm1 (+ x (- (/ y z) (/ x z))))
  (log1p (+ x (- (/ y z) (/ x z))))
  (* (exp x) (/ (exp (/ y z)) (exp (/ x z))))
  (* (exp x) (exp (- (/ y z) (/ x z))))
  (log (+ x (- (/ y z) (/ x z))))
  (exp (+ x (- (/ y z) (/ x z))))
  (* (cbrt (+ x (- (/ y z) (/ x z)))) (cbrt (+ x (- (/ y z) (/ x z)))))
  (cbrt (+ x (- (/ y z) (/ x z))))
  (* (* (+ x (- (/ y z) (/ x z))) (+ x (- (/ y z) (/ x z)))) (+ x (- (/ y z) (/ x z))))
  (sqrt (+ x (- (/ y z) (/ x z))))
  (sqrt (+ x (- (/ y z) (/ x z))))
  (+ (pow x 3) (pow (- (/ y z) (/ x z)) 3))
  (+ (* x x) (- (* (- (/ y z) (/ x z)) (- (/ y z) (/ x z))) (* x (- (/ y z) (/ x z)))))
  (- (* x x) (* (- (/ y z) (/ x z)) (- (/ y z) (/ x z))))
  (- x (- (/ y z) (/ x z)))
  (+ x (- (/ y z) (/ x z)))
  (+ x (- (/ y z) (/ x z)))
  (+ x (fma (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z)) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))))))
  (+ x (fma (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z)) (- (* (sqrt (/ x z)) (sqrt (/ x z))))))
  (+ x (fma (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z)) (- (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))))))
  (+ x (fma (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z)) (- (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z))))))
  (+ x (fma (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z)) (- (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1)))))
  (+ x (fma (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z)) (- (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z)))))))
  (+ x (fma (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z)) (- (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z))))))
  (+ x (fma (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z)) (- (* (/ (sqrt x) z) (/ (sqrt x) 1)))))
  (+ x (fma (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z)) (- (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))))
  (+ x (fma (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z)) (- (* (/ x (sqrt z)) (/ 1 (sqrt z))))))
  (+ x (fma (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z)) (- (* (/ x z) (/ 1 1)))))
  (+ x (fma (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z)) (- (* (/ x z) 1))))
  (+ x (fma (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z)) (- (* (/ 1 z) x))))
  (+ x (fma (sqrt (/ y z)) (sqrt (/ y z)) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))))))
  (+ x (fma (sqrt (/ y z)) (sqrt (/ y z)) (- (* (sqrt (/ x z)) (sqrt (/ x z))))))
  (+ x (fma (sqrt (/ y z)) (sqrt (/ y z)) (- (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))))))
  (+ x (fma (sqrt (/ y z)) (sqrt (/ y z)) (- (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z))))))
  (+ x (fma (sqrt (/ y z)) (sqrt (/ y z)) (- (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1)))))
  (+ x (fma (sqrt (/ y z)) (sqrt (/ y z)) (- (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z)))))))
  (+ x (fma (sqrt (/ y z)) (sqrt (/ y z)) (- (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z))))))
  (+ x (fma (sqrt (/ y z)) (sqrt (/ y z)) (- (* (/ (sqrt x) z) (/ (sqrt x) 1)))))
  (+ x (fma (sqrt (/ y z)) (sqrt (/ y z)) (- (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))))
  (+ x (fma (sqrt (/ y z)) (sqrt (/ y z)) (- (* (/ x (sqrt z)) (/ 1 (sqrt z))))))
  (+ x (fma (sqrt (/ y z)) (sqrt (/ y z)) (- (* (/ x z) (/ 1 1)))))
  (+ x (fma (sqrt (/ y z)) (sqrt (/ y z)) (- (* (/ x z) 1))))
  (+ x (fma (sqrt (/ y z)) (sqrt (/ y z)) (- (* (/ 1 z) x))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (cbrt z)) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (cbrt z)) (- (* (sqrt (/ x z)) (sqrt (/ x z))))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (cbrt z)) (- (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (cbrt z)) (- (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z))))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (cbrt z)) (- (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1)))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (cbrt z)) (- (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z)))))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (cbrt z)) (- (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z))))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (cbrt z)) (- (* (/ (sqrt x) z) (/ (sqrt x) 1)))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (cbrt z)) (- (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (cbrt z)) (- (* (/ x (sqrt z)) (/ 1 (sqrt z))))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (cbrt z)) (- (* (/ x z) (/ 1 1)))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (cbrt z)) (- (* (/ x z) 1))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (cbrt z)) (- (* (/ 1 z) x))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z)) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z)) (- (* (sqrt (/ x z)) (sqrt (/ x z))))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z)) (- (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z)) (- (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z))))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z)) (- (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1)))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z)) (- (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z)))))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z)) (- (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z))))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z)) (- (* (/ (sqrt x) z) (/ (sqrt x) 1)))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z)) (- (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z)) (- (* (/ x (sqrt z)) (/ 1 (sqrt z))))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z)) (- (* (/ x z) (/ 1 1)))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z)) (- (* (/ x z) 1))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z)) (- (* (/ 1 z) x))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) z) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) z) (- (* (sqrt (/ x z)) (sqrt (/ x z))))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) z) (- (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) z) (- (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z))))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) z) (- (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1)))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) z) (- (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z)))))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) z) (- (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z))))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) z) (- (* (/ (sqrt x) z) (/ (sqrt x) 1)))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) z) (- (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) z) (- (* (/ x (sqrt z)) (/ 1 (sqrt z))))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) z) (- (* (/ x z) (/ 1 1)))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) z) (- (* (/ x z) 1))))
  (+ x (fma (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) z) (- (* (/ 1 z) x))))
  (+ x (fma (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt z)) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))))))
  (+ x (fma (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt z)) (- (* (sqrt (/ x z)) (sqrt (/ x z))))))
  (+ x (fma (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt z)) (- (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))))))
  (+ x (fma (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt z)) (- (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z))))))
  (+ x (fma (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt z)) (- (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1)))))
  (+ x (fma (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt z)) (- (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z)))))))
  (+ x (fma (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt z)) (- (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z))))))
  (+ x (fma (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt z)) (- (* (/ (sqrt x) z) (/ (sqrt x) 1)))))
  (+ x (fma (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt z)) (- (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))))
  (+ x (fma (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt z)) (- (* (/ x (sqrt z)) (/ 1 (sqrt z))))))
  (+ x (fma (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt z)) (- (* (/ x z) (/ 1 1)))))
  (+ x (fma (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt z)) (- (* (/ x z) 1))))
  (+ x (fma (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt z)) (- (* (/ 1 z) x))))
  (+ x (fma (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))))))
  (+ x (fma (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)) (- (* (sqrt (/ x z)) (sqrt (/ x z))))))
  (+ x (fma (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)) (- (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))))))
  (+ x (fma (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)) (- (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z))))))
  (+ x (fma (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)) (- (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1)))))
  (+ x (fma (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)) (- (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z)))))))
  (+ x (fma (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)) (- (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z))))))
  (+ x (fma (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)) (- (* (/ (sqrt x) z) (/ (sqrt x) 1)))))
  (+ x (fma (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)) (- (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))))
  (+ x (fma (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)) (- (* (/ x (sqrt z)) (/ 1 (sqrt z))))))
  (+ x (fma (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)) (- (* (/ x z) (/ 1 1)))))
  (+ x (fma (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)) (- (* (/ x z) 1))))
  (+ x (fma (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)) (- (* (/ 1 z) x))))
  (+ x (fma (/ (sqrt y) 1) (/ (sqrt y) z) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))))))
  (+ x (fma (/ (sqrt y) 1) (/ (sqrt y) z) (- (* (sqrt (/ x z)) (sqrt (/ x z))))))
  (+ x (fma (/ (sqrt y) 1) (/ (sqrt y) z) (- (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))))))
  (+ x (fma (/ (sqrt y) 1) (/ (sqrt y) z) (- (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z))))))
  (+ x (fma (/ (sqrt y) 1) (/ (sqrt y) z) (- (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1)))))
  (+ x (fma (/ (sqrt y) 1) (/ (sqrt y) z) (- (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z)))))))
  (+ x (fma (/ (sqrt y) 1) (/ (sqrt y) z) (- (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z))))))
  (+ x (fma (/ (sqrt y) 1) (/ (sqrt y) z) (- (* (/ (sqrt x) z) (/ (sqrt x) 1)))))
  (+ x (fma (/ (sqrt y) 1) (/ (sqrt y) z) (- (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))))
  (+ x (fma (/ (sqrt y) 1) (/ (sqrt y) z) (- (* (/ x (sqrt z)) (/ 1 (sqrt z))))))
  (+ x (fma (/ (sqrt y) 1) (/ (sqrt y) z) (- (* (/ x z) (/ 1 1)))))
  (+ x (fma (/ (sqrt y) 1) (/ (sqrt y) z) (- (* (/ x z) 1))))
  (+ x (fma (/ (sqrt y) 1) (/ (sqrt y) z) (- (* (/ 1 z) x))))
  (+ x (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))))))
  (+ x (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* (sqrt (/ x z)) (sqrt (/ x z))))))
  (+ x (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))))))
  (+ x (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z))))))
  (+ x (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1)))))
  (+ x (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z)))))))
  (+ x (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z))))))
  (+ x (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* (/ (sqrt x) z) (/ (sqrt x) 1)))))
  (+ x (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))))
  (+ x (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* (/ x (sqrt z)) (/ 1 (sqrt z))))))
  (+ x (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* (/ x z) (/ 1 1)))))
  (+ x (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* (/ x z) 1))))
  (+ x (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* (/ 1 z) x))))
  (+ x (fma (/ 1 (sqrt z)) (/ y (sqrt z)) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))))))
  (+ x (fma (/ 1 (sqrt z)) (/ y (sqrt z)) (- (* (sqrt (/ x z)) (sqrt (/ x z))))))
  (+ x (fma (/ 1 (sqrt z)) (/ y (sqrt z)) (- (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))))))
  (+ x (fma (/ 1 (sqrt z)) (/ y (sqrt z)) (- (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z))))))
  (+ x (fma (/ 1 (sqrt z)) (/ y (sqrt z)) (- (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1)))))
  (+ x (fma (/ 1 (sqrt z)) (/ y (sqrt z)) (- (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z)))))))
  (+ x (fma (/ 1 (sqrt z)) (/ y (sqrt z)) (- (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z))))))
  (+ x (fma (/ 1 (sqrt z)) (/ y (sqrt z)) (- (* (/ (sqrt x) z) (/ (sqrt x) 1)))))
  (+ x (fma (/ 1 (sqrt z)) (/ y (sqrt z)) (- (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))))
  (+ x (fma (/ 1 (sqrt z)) (/ y (sqrt z)) (- (* (/ x (sqrt z)) (/ 1 (sqrt z))))))
  (+ x (fma (/ 1 (sqrt z)) (/ y (sqrt z)) (- (* (/ x z) (/ 1 1)))))
  (+ x (fma (/ 1 (sqrt z)) (/ y (sqrt z)) (- (* (/ x z) 1))))
  (+ x (fma (/ 1 (sqrt z)) (/ y (sqrt z)) (- (* (/ 1 z) x))))
  (+ x (fma (/ 1 1) (/ y z) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))))))
  (+ x (fma (/ 1 1) (/ y z) (- (* (sqrt (/ x z)) (sqrt (/ x z))))))
  (+ x (fma (/ 1 1) (/ y z) (- (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))))))
  (+ x (fma (/ 1 1) (/ y z) (- (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z))))))
  (+ x (fma (/ 1 1) (/ y z) (- (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1)))))
  (+ x (fma (/ 1 1) (/ y z) (- (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z)))))))
  (+ x (fma (/ 1 1) (/ y z) (- (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z))))))
  (+ x (fma (/ 1 1) (/ y z) (- (* (/ (sqrt x) z) (/ (sqrt x) 1)))))
  (+ x (fma (/ 1 1) (/ y z) (- (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))))
  (+ x (fma (/ 1 1) (/ y z) (- (* (/ x (sqrt z)) (/ 1 (sqrt z))))))
  (+ x (fma (/ 1 1) (/ y z) (- (* (/ x z) (/ 1 1)))))
  (+ x (fma (/ 1 1) (/ y z) (- (* (/ x z) 1))))
  (+ x (fma (/ 1 1) (/ y z) (- (* (/ 1 z) x))))
  (+ x (fma 1 (/ y z) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))))))
  (+ x (fma 1 (/ y z) (- (* (sqrt (/ x z)) (sqrt (/ x z))))))
  (+ x (fma 1 (/ y z) (- (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))))))
  (+ x (fma 1 (/ y z) (- (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z))))))
  (+ x (fma 1 (/ y z) (- (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1)))))
  (+ x (fma 1 (/ y z) (- (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z)))))))
  (+ x (fma 1 (/ y z) (- (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z))))))
  (+ x (fma 1 (/ y z) (- (* (/ (sqrt x) z) (/ (sqrt x) 1)))))
  (+ x (fma 1 (/ y z) (- (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))))
  (+ x (fma 1 (/ y z) (- (* (/ x (sqrt z)) (/ 1 (sqrt z))))))
  (+ x (fma 1 (/ y z) (- (* (/ x z) (/ 1 1)))))
  (+ x (fma 1 (/ y z) (- (* (/ x z) 1))))
  (+ x (fma 1 (/ y z) (- (* (/ 1 z) x))))
  (+ x (fma y (/ 1 z) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))))))
  (+ x (fma y (/ 1 z) (- (* (sqrt (/ x z)) (sqrt (/ x z))))))
  (+ x (fma y (/ 1 z) (- (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))))))
  (+ x (fma y (/ 1 z) (- (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z))))))
  (+ x (fma y (/ 1 z) (- (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1)))))
  (+ x (fma y (/ 1 z) (- (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z)))))))
  (+ x (fma y (/ 1 z) (- (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z))))))
  (+ x (fma y (/ 1 z) (- (* (/ (sqrt x) z) (/ (sqrt x) 1)))))
  (+ x (fma y (/ 1 z) (- (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))))
  (+ x (fma y (/ 1 z) (- (* (/ x (sqrt z)) (/ 1 (sqrt z))))))
  (+ x (fma y (/ 1 z) (- (* (/ x z) (/ 1 1)))))
  (+ x (fma y (/ 1 z) (- (* (/ x z) 1))))
  (+ x (fma y (/ 1 z) (- (* (/ 1 z) x))))
  (+ x (/ y z))
  (+ x (/ y z))
  (+ x (/ y z))
  (- (+ x (/ y z)) (/ x z))
  (- (+ x (/ y z)) (/ x z))
  (- (+ x (/ y z)) (/ x z))
3.854 * * [simplify]: iteration 0: 446 enodes
3.990 * * [simplify]: iteration 1: 969 enodes
4.470 * * [simplify]: iteration 2: 3040 enodes
5.124 * * [simplify]: iteration complete: 5000 enodes
5.124 * * [simplify]: Extracting #0: cost 91 inf + 0
5.126 * * [simplify]: Extracting #1: cost 588 inf + 0
5.132 * * [simplify]: Extracting #2: cost 850 inf + 491
5.143 * * [simplify]: Extracting #3: cost 781 inf + 16980
5.197 * * [simplify]: Extracting #4: cost 339 inf + 114070
5.265 * * [simplify]: Extracting #5: cost 34 inf + 203830
5.375 * * [simplify]: Extracting #6: cost 0 inf + 211717
5.464 * * [simplify]: Extracting #7: cost 0 inf + 211562
5.570 * [simplify]: Simplified to:
  (expm1 (+ (- (/ y z) (/ x z)) x))
  (log1p (+ (- (/ y z) (/ x z)) x))
  (exp (+ (- (/ y z) (/ x z)) x))
  (exp (+ (- (/ y z) (/ x z)) x))
  (log (+ (- (/ y z) (/ x z)) x))
  (exp (+ (- (/ y z) (/ x z)) x))
  (* (cbrt (+ (- (/ y z) (/ x z)) x)) (cbrt (+ (- (/ y z) (/ x z)) x)))
  (cbrt (+ (- (/ y z) (/ x z)) x))
  (* (+ (- (/ y z) (/ x z)) x) (* (+ (- (/ y z) (/ x z)) x) (+ (- (/ y z) (/ x z)) x)))
  (sqrt (+ (- (/ y z) (/ x z)) x))
  (sqrt (+ (- (/ y z) (/ x z)) x))
  (fma x (* x x) (* (* (- (/ y z) (/ x z)) (- (/ y z) (/ x z))) (- (/ y z) (/ x z))))
  (fma x x (* (- (/ y z) (/ x z)) (- (- (/ y z) (/ x z)) x)))
  (- (* x x) (* (- (/ y z) (/ x z)) (- (/ y z) (/ x z))))
  (- x (- (/ y z) (/ x z)))
  (+ (- (/ y z) (/ x z)) x)
  (+ (- (/ y z) (/ x z)) x)
  (fma (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))) (fma -1 (/ x z) x))
  (fma (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))) (fma -1 (/ x z) x))
  (fma (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))) (fma (- (/ (cbrt x) (cbrt z))) (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))) x))
  (+ x (- (* (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z))) (/ (/ (cbrt x) (/ (sqrt z) (cbrt x))) (/ (sqrt z) (cbrt x)))))
  (+ (- (* (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z))) (* (* (/ (cbrt x) z) (cbrt x)) (cbrt x))) x)
  (+ x (- (* (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z))) (* (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (/ (sqrt x) (cbrt z)))))
  (fma (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))) (fma (/ -1 (sqrt z)) (/ x (sqrt z)) x))
  (fma (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))) (fma -1 (/ x z) x))
  (+ x (- (* (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z))) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z)))))
  (fma (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))) (fma (/ -1 (sqrt z)) (/ x (sqrt z)) x))
  (fma (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))) (fma -1 (/ x z) x))
  (fma (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))) (fma -1 (/ x z) x))
  (fma (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))) (fma -1 (/ x z) x))
  (+ (- (/ y z) (/ x z)) x)
  (+ (- (/ y z) (/ x z)) x)
  (+ (- (/ y z) (* (/ (cbrt x) (cbrt z)) (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))))) x)
  (+ x (- (/ y z) (/ (/ (cbrt x) (/ (sqrt z) (cbrt x))) (/ (sqrt z) (cbrt x)))))
  (+ x (- (/ y z) (* (* (/ (cbrt x) z) (cbrt x)) (cbrt x))))
  (+ x (- (/ y z) (* (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (/ (sqrt x) (cbrt z)))))
  (+ (- (/ y z) (/ (/ x (sqrt z)) (sqrt z))) x)
  (+ (- (/ y z) (/ x z)) x)
  (+ x (- (/ y z) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z)))))
  (+ (- (/ y z) (/ (/ x (sqrt z)) (sqrt z))) x)
  (+ (- (/ y z) (/ x z)) x)
  (+ (- (/ y z) (/ x z)) x)
  (+ (- (/ y z) (/ x z)) x)
  (fma (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z))) (/ (cbrt y) (cbrt z)) (fma -1 (/ x z) x))
  (fma (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z))) (/ (cbrt y) (cbrt z)) (fma -1 (/ x z) x))
  (fma (/ (cbrt y) (cbrt z)) (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z))) (fma (- (/ (cbrt x) (cbrt z))) (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))) x))
  (+ (- (* (/ (cbrt y) (cbrt z)) (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z)))) (/ (/ (cbrt x) (/ (sqrt z) (cbrt x))) (/ (sqrt z) (cbrt x)))) x)
  (fma (/ (cbrt y) (cbrt z)) (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z))) (fma (* (cbrt x) (cbrt x)) (/ (- (cbrt x)) z) x))
  (+ x (- (* (/ (cbrt y) (cbrt z)) (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z)))) (* (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (/ (sqrt x) (cbrt z)))))
  (+ x (- (* (/ (cbrt y) (cbrt z)) (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z)))) (/ (/ x (sqrt z)) (sqrt z))))
  (fma (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z))) (/ (cbrt y) (cbrt z)) (fma -1 (/ x z) x))
  (+ (- (* (/ (cbrt y) (cbrt z)) (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z)))) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z)))) x)
  (+ x (- (* (/ (cbrt y) (cbrt z)) (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z)))) (/ (/ x (sqrt z)) (sqrt z))))
  (fma (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z))) (/ (cbrt y) (cbrt z)) (fma -1 (/ x z) x))
  (fma (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z))) (/ (cbrt y) (cbrt z)) (fma -1 (/ x z) x))
  (fma (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z))) (/ (cbrt y) (cbrt z)) (fma -1 (/ x z) x))
  (fma (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (fma -1 (/ x z) x))
  (fma (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (fma -1 (/ x z) x))
  (fma (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z)) (fma (- (/ (cbrt x) (cbrt z))) (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))) x))
  (+ x (- (/ (* (/ (* (cbrt y) (cbrt y)) (sqrt z)) (cbrt y)) (sqrt z)) (/ (/ (cbrt x) (/ (sqrt z) (cbrt x))) (/ (sqrt z) (cbrt x)))))
  (fma (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z)) (fma (* (cbrt x) (cbrt x)) (/ (- (cbrt x)) z) x))
  (+ (- (/ (* (/ (* (cbrt y) (cbrt y)) (sqrt z)) (cbrt y)) (sqrt z)) (* (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (/ (sqrt x) (cbrt z)))) x)
  (+ (- (/ (* (/ (* (cbrt y) (cbrt y)) (sqrt z)) (cbrt y)) (sqrt z)) (/ (/ x (sqrt z)) (sqrt z))) x)
  (fma (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (fma -1 (/ x z) x))
  (+ (- (/ (* (/ (* (cbrt y) (cbrt y)) (sqrt z)) (cbrt y)) (sqrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z)))) x)
  (+ (- (/ (* (/ (* (cbrt y) (cbrt y)) (sqrt z)) (cbrt y)) (sqrt z)) (/ (/ x (sqrt z)) (sqrt z))) x)
  (fma (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (fma -1 (/ x z) x))
  (fma (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (fma -1 (/ x z) x))
  (fma (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (fma -1 (/ x z) x))
  (fma (cbrt y) (* (cbrt y) (/ (cbrt y) z)) (fma -1 (/ x z) x))
  (fma (cbrt y) (* (cbrt y) (/ (cbrt y) z)) (fma -1 (/ x z) x))
  (fma (cbrt y) (* (cbrt y) (/ (cbrt y) z)) (fma (- (/ (cbrt x) (cbrt z))) (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))) x))
  (+ (- (* (* (cbrt y) (cbrt y)) (/ (cbrt y) z)) (/ (/ (cbrt x) (/ (sqrt z) (cbrt x))) (/ (sqrt z) (cbrt x)))) x)
  (+ (- (* (* (cbrt y) (cbrt y)) (/ (cbrt y) z)) (* (* (/ (cbrt x) z) (cbrt x)) (cbrt x))) x)
  (+ (- (* (* (cbrt y) (cbrt y)) (/ (cbrt y) z)) (* (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (/ (sqrt x) (cbrt z)))) x)
  (+ (- (* (* (cbrt y) (cbrt y)) (/ (cbrt y) z)) (/ (/ x (sqrt z)) (sqrt z))) x)
  (fma (cbrt y) (* (cbrt y) (/ (cbrt y) z)) (fma -1 (/ x z) x))
  (fma (/ (cbrt y) z) (* (cbrt y) (cbrt y)) (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) x))
  (+ (- (* (* (cbrt y) (cbrt y)) (/ (cbrt y) z)) (/ (/ x (sqrt z)) (sqrt z))) x)
  (fma (cbrt y) (* (cbrt y) (/ (cbrt y) z)) (fma -1 (/ x z) x))
  (fma (cbrt y) (* (cbrt y) (/ (cbrt y) z)) (fma -1 (/ x z) x))
  (fma (cbrt y) (* (cbrt y) (/ (cbrt y) z)) (fma -1 (/ x z) x))
  (+ (- (* (/ (/ (sqrt y) (cbrt z)) (cbrt z)) (/ (sqrt y) (cbrt z))) (/ x z)) x)
  (+ (- (* (/ (/ (sqrt y) (cbrt z)) (cbrt z)) (/ (sqrt y) (cbrt z))) (/ x z)) x)
  (+ (- (* (/ (/ (sqrt y) (cbrt z)) (cbrt z)) (/ (sqrt y) (cbrt z))) (* (/ (cbrt x) (cbrt z)) (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))))) x)
  (+ (- (* (/ (/ (sqrt y) (cbrt z)) (cbrt z)) (/ (sqrt y) (cbrt z))) (/ (/ (cbrt x) (/ (sqrt z) (cbrt x))) (/ (sqrt z) (cbrt x)))) x)
  (fma (/ (sqrt y) (cbrt z)) (/ (/ (sqrt y) (cbrt z)) (cbrt z)) (fma (* (cbrt x) (cbrt x)) (/ (- (cbrt x)) z) x))
  (+ x (- (* (/ (/ (sqrt y) (cbrt z)) (cbrt z)) (/ (sqrt y) (cbrt z))) (* (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (/ (sqrt x) (cbrt z)))))
  (fma (/ (sqrt y) (cbrt z)) (/ (/ (sqrt y) (cbrt z)) (cbrt z)) (fma (/ -1 (sqrt z)) (/ x (sqrt z)) x))
  (+ (- (* (/ (/ (sqrt y) (cbrt z)) (cbrt z)) (/ (sqrt y) (cbrt z))) (/ x z)) x)
  (+ x (- (* (/ (/ (sqrt y) (cbrt z)) (cbrt z)) (/ (sqrt y) (cbrt z))) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z)))))
  (fma (/ (sqrt y) (cbrt z)) (/ (/ (sqrt y) (cbrt z)) (cbrt z)) (fma (/ -1 (sqrt z)) (/ x (sqrt z)) x))
  (+ (- (* (/ (/ (sqrt y) (cbrt z)) (cbrt z)) (/ (sqrt y) (cbrt z))) (/ x z)) x)
  (+ (- (* (/ (/ (sqrt y) (cbrt z)) (cbrt z)) (/ (sqrt y) (cbrt z))) (/ x z)) x)
  (+ (- (* (/ (/ (sqrt y) (cbrt z)) (cbrt z)) (/ (sqrt y) (cbrt z))) (/ x z)) x)
  (+ (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))) (/ x z)) x)
  (+ (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))) (/ x z)) x)
  (+ (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))) (* (/ (cbrt x) (cbrt z)) (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))))) x)
  (+ x (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))) (/ (/ (cbrt x) (/ (sqrt z) (cbrt x))) (/ (sqrt z) (cbrt x)))))
  (+ (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))) (* (* (/ (cbrt x) z) (cbrt x)) (cbrt x))) x)
  (+ x (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))) (* (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (/ (sqrt x) (cbrt z)))))
  (fma (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)) (fma (/ -1 (sqrt z)) (/ x (sqrt z)) x))
  (+ (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))) (/ x z)) x)
  (+ (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z)))) x)
  (fma (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)) (fma (/ -1 (sqrt z)) (/ x (sqrt z)) x))
  (+ (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))) (/ x z)) x)
  (+ (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))) (/ x z)) x)
  (+ (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))) (/ x z)) x)
  (+ x (- (* (/ (sqrt y) z) (sqrt y)) (/ x z)))
  (+ x (- (* (/ (sqrt y) z) (sqrt y)) (/ x z)))
  (+ x (- (* (/ (sqrt y) z) (sqrt y)) (* (/ (cbrt x) (cbrt z)) (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))))))
  (+ (- (* (/ (sqrt y) z) (sqrt y)) (/ (/ (cbrt x) (/ (sqrt z) (cbrt x))) (/ (sqrt z) (cbrt x)))) x)
  (+ (- (* (/ (sqrt y) z) (sqrt y)) (* (* (/ (cbrt x) z) (cbrt x)) (cbrt x))) x)
  (+ (- (* (/ (sqrt y) z) (sqrt y)) (* (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (/ (sqrt x) (cbrt z)))) x)
  (fma (sqrt y) (/ (sqrt y) z) (fma (/ -1 (sqrt z)) (/ x (sqrt z)) x))
  (+ x (- (* (/ (sqrt y) z) (sqrt y)) (/ x z)))
  (+ (- (* (/ (sqrt y) z) (sqrt y)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z)))) x)
  (fma (sqrt y) (/ (sqrt y) z) (fma (/ -1 (sqrt z)) (/ x (sqrt z)) x))
  (+ x (- (* (/ (sqrt y) z) (sqrt y)) (/ x z)))
  (+ x (- (* (/ (sqrt y) z) (sqrt y)) (/ x z)))
  (+ x (- (* (/ (sqrt y) z) (sqrt y)) (/ x z)))
  (+ (- (/ (* (/ (/ 1 (cbrt z)) (cbrt z)) y) (cbrt z)) (/ x z)) x)
  (+ (- (/ (* (/ (/ 1 (cbrt z)) (cbrt z)) y) (cbrt z)) (/ x z)) x)
  (+ (- (/ (* (/ (/ 1 (cbrt z)) (cbrt z)) y) (cbrt z)) (* (/ (cbrt x) (cbrt z)) (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))))) x)
  (+ (- (/ (* (/ (/ 1 (cbrt z)) (cbrt z)) y) (cbrt z)) (/ (/ (cbrt x) (/ (sqrt z) (cbrt x))) (/ (sqrt z) (cbrt x)))) x)
  (+ (- (/ (* (/ (/ 1 (cbrt z)) (cbrt z)) y) (cbrt z)) (* (* (/ (cbrt x) z) (cbrt x)) (cbrt x))) x)
  (+ (- (/ (* (/ (/ 1 (cbrt z)) (cbrt z)) y) (cbrt z)) (* (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (/ (sqrt x) (cbrt z)))) x)
  (fma (/ (/ 1 (cbrt z)) (cbrt z)) (/ y (cbrt z)) (fma (/ -1 (sqrt z)) (/ x (sqrt z)) x))
  (+ (- (/ (* (/ (/ 1 (cbrt z)) (cbrt z)) y) (cbrt z)) (/ x z)) x)
  (+ (fma (/ (/ 1 (cbrt z)) (cbrt z)) (- (/ x (cbrt z))) (/ (* (/ (/ 1 (cbrt z)) (cbrt z)) y) (cbrt z))) x)
  (fma (/ (/ 1 (cbrt z)) (cbrt z)) (/ y (cbrt z)) (fma (/ -1 (sqrt z)) (/ x (sqrt z)) x))
  (+ (- (/ (* (/ (/ 1 (cbrt z)) (cbrt z)) y) (cbrt z)) (/ x z)) x)
  (+ (- (/ (* (/ (/ 1 (cbrt z)) (cbrt z)) y) (cbrt z)) (/ x z)) x)
  (+ (- (/ (* (/ (/ 1 (cbrt z)) (cbrt z)) y) (cbrt z)) (/ x z)) x)
  (fma (/ y (sqrt z)) (/ 1 (sqrt z)) (fma -1 (/ x z) x))
  (fma (/ y (sqrt z)) (/ 1 (sqrt z)) (fma -1 (/ x z) x))
  (+ (- (/ (* 1 (/ y (sqrt z))) (sqrt z)) (* (/ (cbrt x) (cbrt z)) (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))))) x)
  (+ x (- (/ (* 1 (/ y (sqrt z))) (sqrt z)) (/ (/ (cbrt x) (/ (sqrt z) (cbrt x))) (/ (sqrt z) (cbrt x)))))
  (fma (/ y (sqrt z)) (/ 1 (sqrt z)) (fma (* (cbrt x) (cbrt x)) (/ (- (cbrt x)) z) x))
  (+ (- (/ (* 1 (/ y (sqrt z))) (sqrt z)) (* (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (/ (sqrt x) (cbrt z)))) x)
  (+ x (- (/ (* 1 (/ y (sqrt z))) (sqrt z)) (/ (/ x (sqrt z)) (sqrt z))))
  (fma (/ y (sqrt z)) (/ 1 (sqrt z)) (fma -1 (/ x z) x))
  (+ x (- (/ (* 1 (/ y (sqrt z))) (sqrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z)))))
  (+ x (- (/ (* 1 (/ y (sqrt z))) (sqrt z)) (/ (/ x (sqrt z)) (sqrt z))))
  (fma (/ y (sqrt z)) (/ 1 (sqrt z)) (fma -1 (/ x z) x))
  (fma (/ y (sqrt z)) (/ 1 (sqrt z)) (fma -1 (/ x z) x))
  (fma (/ y (sqrt z)) (/ 1 (sqrt z)) (fma -1 (/ x z) x))
  (+ (- (/ y z) (/ x z)) x)
  (+ (- (/ y z) (/ x z)) x)
  (+ (- (/ y z) (* (/ (cbrt x) (cbrt z)) (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))))) x)
  (+ x (- (/ y z) (/ (/ (cbrt x) (/ (sqrt z) (cbrt x))) (/ (sqrt z) (cbrt x)))))
  (+ x (- (/ y z) (* (* (/ (cbrt x) z) (cbrt x)) (cbrt x))))
  (+ x (- (/ y z) (* (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (/ (sqrt x) (cbrt z)))))
  (+ (- (/ y z) (/ (/ x (sqrt z)) (sqrt z))) x)
  (+ (- (/ y z) (/ x z)) x)
  (+ x (- (/ y z) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z)))))
  (+ (- (/ y z) (/ (/ x (sqrt z)) (sqrt z))) x)
  (+ (- (/ y z) (/ x z)) x)
  (+ (- (/ y z) (/ x z)) x)
  (+ (- (/ y z) (/ x z)) x)
  (+ (- (/ y z) (/ x z)) x)
  (+ (- (/ y z) (/ x z)) x)
  (+ (- (/ y z) (* (/ (cbrt x) (cbrt z)) (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))))) x)
  (+ x (- (/ y z) (/ (/ (cbrt x) (/ (sqrt z) (cbrt x))) (/ (sqrt z) (cbrt x)))))
  (+ x (- (/ y z) (* (* (/ (cbrt x) z) (cbrt x)) (cbrt x))))
  (+ x (- (/ y z) (* (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (/ (sqrt x) (cbrt z)))))
  (+ (- (/ y z) (/ (/ x (sqrt z)) (sqrt z))) x)
  (+ (- (/ y z) (/ x z)) x)
  (+ x (- (/ y z) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z)))))
  (+ (- (/ y z) (/ (/ x (sqrt z)) (sqrt z))) x)
  (+ (- (/ y z) (/ x z)) x)
  (+ (- (/ y z) (/ x z)) x)
  (+ (- (/ y z) (/ x z)) x)
  (fma y (/ 1 z) (fma -1 (/ x z) x))
  (fma y (/ 1 z) (fma -1 (/ x z) x))
  (+ x (- (/ (* y 1) z) (* (/ (cbrt x) (cbrt z)) (* (/ (cbrt x) (cbrt z)) (/ (cbrt x) (cbrt z))))))
  (+ (- (/ (* y 1) z) (/ (/ (cbrt x) (/ (sqrt z) (cbrt x))) (/ (sqrt z) (cbrt x)))) x)
  (+ (- (/ (* y 1) z) (* (* (/ (cbrt x) z) (cbrt x)) (cbrt x))) x)
  (+ x (- (/ (* y 1) z) (* (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (/ (sqrt x) (cbrt z)))))
  (+ x (- (/ (* y 1) z) (/ (/ x (sqrt z)) (sqrt z))))
  (fma y (/ 1 z) (fma -1 (/ x z) x))
  (+ (- (/ (* y 1) z) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z)))) x)
  (+ x (- (/ (* y 1) z) (/ (/ x (sqrt z)) (sqrt z))))
  (fma y (/ 1 z) (fma -1 (/ x z) x))
  (fma y (/ 1 z) (fma -1 (/ x z) x))
  (fma y (/ 1 z) (fma -1 (/ x z) x))
  (+ x (/ y z))
  (+ x (/ y z))
  (+ x (/ y z))
  (- (+ x (/ y z)) (/ x z))
  (- (+ x (/ y z)) (/ x z))
  (- (+ x (/ y z)) (/ x z))
5.597 * * * [progress]: adding candidates to table
6.770 * * [progress]: iteration 3 / 4
6.770 * * * [progress]: picking best candidate
6.775 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (+ x (fma y (/ 1 z) (- (* (/ 1 z) x)))) (fma (- (/ 1 z)) x (* (/ 1 z) x))))>
6.775 * * * [progress]: localizing error
6.810 * * * [progress]: generating rewritten candidates
6.810 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
6.810 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 3)
6.833 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 3 1)
6.856 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
6.861 * * * [progress]: generating series expansions
6.861 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
6.861 * [backup-simplify]: Simplify (fma (- (/ 1 z)) x (* (/ 1 z) x)) into (fma (- (/ 1 z)) x (/ x z))
6.861 * [approximate]: Taking taylor expansion of (fma (- (/ 1 z)) x (/ x z)) in (z x) around 0
6.862 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z)) x (/ x z)) in x
6.864 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z)) x) (/ x z))
6.864 * [taylor]: Taking taylor expansion of (* (- (/ 1 z)) x) in x
6.864 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in x
6.864 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.864 * [taylor]: Taking taylor expansion of z in x
6.864 * [backup-simplify]: Simplify z into z
6.864 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.864 * [taylor]: Taking taylor expansion of x in x
6.864 * [backup-simplify]: Simplify 0 into 0
6.864 * [backup-simplify]: Simplify 1 into 1
6.864 * [taylor]: Taking taylor expansion of (/ x z) in x
6.864 * [taylor]: Taking taylor expansion of x in x
6.864 * [backup-simplify]: Simplify 0 into 0
6.864 * [backup-simplify]: Simplify 1 into 1
6.864 * [taylor]: Taking taylor expansion of z in x
6.864 * [backup-simplify]: Simplify z into z
6.864 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.864 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z)) x (/ x z)) in z
6.864 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z)) x) (/ x z))
6.864 * [taylor]: Taking taylor expansion of (* (- (/ 1 z)) x) in z
6.864 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
6.865 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.865 * [taylor]: Taking taylor expansion of z in z
6.865 * [backup-simplify]: Simplify 0 into 0
6.865 * [backup-simplify]: Simplify 1 into 1
6.865 * [backup-simplify]: Simplify (/ 1 1) into 1
6.865 * [taylor]: Taking taylor expansion of x in z
6.865 * [backup-simplify]: Simplify x into x
6.865 * [taylor]: Taking taylor expansion of (/ x z) in z
6.865 * [taylor]: Taking taylor expansion of x in z
6.865 * [backup-simplify]: Simplify x into x
6.865 * [taylor]: Taking taylor expansion of z in z
6.865 * [backup-simplify]: Simplify 0 into 0
6.865 * [backup-simplify]: Simplify 1 into 1
6.865 * [backup-simplify]: Simplify (/ x 1) into x
6.865 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z)) x (/ x z)) in z
6.866 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z)) x) (/ x z))
6.866 * [taylor]: Taking taylor expansion of (* (- (/ 1 z)) x) in z
6.866 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
6.866 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.866 * [taylor]: Taking taylor expansion of z in z
6.866 * [backup-simplify]: Simplify 0 into 0
6.866 * [backup-simplify]: Simplify 1 into 1
6.866 * [backup-simplify]: Simplify (/ 1 1) into 1
6.866 * [taylor]: Taking taylor expansion of x in z
6.866 * [backup-simplify]: Simplify x into x
6.866 * [taylor]: Taking taylor expansion of (/ x z) in z
6.866 * [taylor]: Taking taylor expansion of x in z
6.866 * [backup-simplify]: Simplify x into x
6.866 * [taylor]: Taking taylor expansion of z in z
6.866 * [backup-simplify]: Simplify 0 into 0
6.866 * [backup-simplify]: Simplify 1 into 1
6.866 * [backup-simplify]: Simplify (/ x 1) into x
6.867 * [backup-simplify]: Simplify (- 1) into -1
6.867 * [backup-simplify]: Simplify (* -1 x) into (* -1 x)
6.867 * [backup-simplify]: Simplify (+ (* -1 x) x) into 0
6.867 * [taylor]: Taking taylor expansion of 0 in x
6.867 * [backup-simplify]: Simplify 0 into 0
6.867 * [backup-simplify]: Simplify 0 into 0
6.868 * [backup-simplify]: Simplify (- 1) into -1
6.868 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.869 * [backup-simplify]: Simplify (- 0) into 0
6.869 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 x)) into 0
6.870 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0
6.870 * [backup-simplify]: Simplify (+ 0 0) into 0
6.870 * [taylor]: Taking taylor expansion of 0 in x
6.870 * [backup-simplify]: Simplify 0 into 0
6.870 * [backup-simplify]: Simplify 0 into 0
6.870 * [backup-simplify]: Simplify 0 into 0
6.871 * [backup-simplify]: Simplify (- 1) into -1
6.871 * [backup-simplify]: Simplify (- 0) into 0
6.872 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.872 * [backup-simplify]: Simplify (- 0) into 0
6.873 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 x))) into 0
6.874 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.875 * [backup-simplify]: Simplify (+ 0 0) into 0
6.875 * [taylor]: Taking taylor expansion of 0 in x
6.875 * [backup-simplify]: Simplify 0 into 0
6.875 * [backup-simplify]: Simplify 0 into 0
6.875 * [backup-simplify]: Simplify 0 into 0
6.875 * [backup-simplify]: Simplify 0 into 0
6.875 * [backup-simplify]: Simplify 0 into 0
6.875 * [backup-simplify]: Simplify (fma (- (/ 1 (/ 1 z))) (/ 1 x) (* (/ 1 (/ 1 z)) (/ 1 x))) into (fma (- z) (/ 1 x) (/ z x))
6.875 * [approximate]: Taking taylor expansion of (fma (- z) (/ 1 x) (/ z x)) in (z x) around 0
6.875 * [taylor]: Taking taylor expansion of (fma (- z) (/ 1 x) (/ z x)) in x
6.875 * [taylor]: Rewrote expression to (+ (* (- z) (/ 1 x)) (/ z x))
6.876 * [taylor]: Taking taylor expansion of (* (- z) (/ 1 x)) in x
6.876 * [taylor]: Taking taylor expansion of (- z) in x
6.876 * [taylor]: Taking taylor expansion of z in x
6.876 * [backup-simplify]: Simplify z into z
6.876 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.876 * [taylor]: Taking taylor expansion of x in x
6.876 * [backup-simplify]: Simplify 0 into 0
6.876 * [backup-simplify]: Simplify 1 into 1
6.876 * [backup-simplify]: Simplify (/ 1 1) into 1
6.876 * [taylor]: Taking taylor expansion of (/ z x) in x
6.876 * [taylor]: Taking taylor expansion of z in x
6.876 * [backup-simplify]: Simplify z into z
6.876 * [taylor]: Taking taylor expansion of x in x
6.876 * [backup-simplify]: Simplify 0 into 0
6.876 * [backup-simplify]: Simplify 1 into 1
6.876 * [backup-simplify]: Simplify (/ z 1) into z
6.876 * [taylor]: Taking taylor expansion of (fma (- z) (/ 1 x) (/ z x)) in z
6.876 * [taylor]: Rewrote expression to (+ (* (- z) (/ 1 x)) (/ z x))
6.876 * [taylor]: Taking taylor expansion of (* (- z) (/ 1 x)) in z
6.877 * [taylor]: Taking taylor expansion of (- z) in z
6.877 * [taylor]: Taking taylor expansion of z in z
6.877 * [backup-simplify]: Simplify 0 into 0
6.877 * [backup-simplify]: Simplify 1 into 1
6.877 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.877 * [taylor]: Taking taylor expansion of x in z
6.877 * [backup-simplify]: Simplify x into x
6.877 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.877 * [taylor]: Taking taylor expansion of (/ z x) in z
6.877 * [taylor]: Taking taylor expansion of z in z
6.877 * [backup-simplify]: Simplify 0 into 0
6.877 * [backup-simplify]: Simplify 1 into 1
6.877 * [taylor]: Taking taylor expansion of x in z
6.877 * [backup-simplify]: Simplify x into x
6.877 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.877 * [taylor]: Taking taylor expansion of (fma (- z) (/ 1 x) (/ z x)) in z
6.877 * [taylor]: Rewrote expression to (+ (* (- z) (/ 1 x)) (/ z x))
6.877 * [taylor]: Taking taylor expansion of (* (- z) (/ 1 x)) in z
6.877 * [taylor]: Taking taylor expansion of (- z) in z
6.877 * [taylor]: Taking taylor expansion of z in z
6.877 * [backup-simplify]: Simplify 0 into 0
6.877 * [backup-simplify]: Simplify 1 into 1
6.877 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.877 * [taylor]: Taking taylor expansion of x in z
6.877 * [backup-simplify]: Simplify x into x
6.877 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.877 * [taylor]: Taking taylor expansion of (/ z x) in z
6.877 * [taylor]: Taking taylor expansion of z in z
6.877 * [backup-simplify]: Simplify 0 into 0
6.877 * [backup-simplify]: Simplify 1 into 1
6.878 * [taylor]: Taking taylor expansion of x in z
6.878 * [backup-simplify]: Simplify x into x
6.878 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.878 * [backup-simplify]: Simplify (- 0) into 0
6.878 * [backup-simplify]: Simplify (* 0 (/ 1 x)) into 0
6.878 * [backup-simplify]: Simplify (+ 0 0) into 0
6.878 * [taylor]: Taking taylor expansion of 0 in x
6.878 * [backup-simplify]: Simplify 0 into 0
6.879 * [backup-simplify]: Simplify (- 0) into 0
6.879 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
6.879 * [backup-simplify]: Simplify (- 1) into -1
6.880 * [backup-simplify]: Simplify (+ (* 0 0) (* -1 (/ 1 x))) into (- (/ 1 x))
6.880 * [backup-simplify]: Simplify (+ (- (/ 1 x)) (/ 1 x)) into 0
6.880 * [taylor]: Taking taylor expansion of 0 in x
6.880 * [backup-simplify]: Simplify 0 into 0
6.880 * [backup-simplify]: Simplify 0 into 0
6.880 * [backup-simplify]: Simplify (- 0) into 0
6.880 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.881 * [backup-simplify]: Simplify (- 1) into -1
6.881 * [backup-simplify]: Simplify (- 0) into 0
6.882 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* -1 0) (* 0 (/ 1 x)))) into 0
6.882 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
6.882 * [backup-simplify]: Simplify (+ 0 0) into 0
6.882 * [taylor]: Taking taylor expansion of 0 in x
6.882 * [backup-simplify]: Simplify 0 into 0
6.883 * [backup-simplify]: Simplify 0 into 0
6.883 * [backup-simplify]: Simplify 0 into 0
6.883 * [backup-simplify]: Simplify (- 0) into 0
6.883 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.883 * [backup-simplify]: Simplify (- 1) into -1
6.884 * [backup-simplify]: Simplify (- 0) into 0
6.884 * [backup-simplify]: Simplify (- 0) into 0
6.885 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0
6.885 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.886 * [backup-simplify]: Simplify (+ 0 0) into 0
6.886 * [taylor]: Taking taylor expansion of 0 in x
6.886 * [backup-simplify]: Simplify 0 into 0
6.886 * [backup-simplify]: Simplify 0 into 0
6.886 * [backup-simplify]: Simplify 0 into 0
6.886 * [backup-simplify]: Simplify 0 into 0
6.886 * [backup-simplify]: Simplify 0 into 0
6.886 * [backup-simplify]: Simplify (fma (- (/ 1 (/ 1 (- z)))) (/ 1 (- x)) (* (/ 1 (/ 1 (- z))) (/ 1 (- x)))) into (fma z (/ -1 x) (/ z x))
6.886 * [approximate]: Taking taylor expansion of (fma z (/ -1 x) (/ z x)) in (z x) around 0
6.886 * [taylor]: Taking taylor expansion of (fma z (/ -1 x) (/ z x)) in x
6.887 * [taylor]: Rewrote expression to (+ (* z (/ -1 x)) (/ z x))
6.887 * [taylor]: Taking taylor expansion of (* z (/ -1 x)) in x
6.887 * [taylor]: Taking taylor expansion of z in x
6.887 * [backup-simplify]: Simplify z into z
6.887 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.887 * [taylor]: Taking taylor expansion of -1 in x
6.887 * [backup-simplify]: Simplify -1 into -1
6.887 * [taylor]: Taking taylor expansion of x in x
6.887 * [backup-simplify]: Simplify 0 into 0
6.887 * [backup-simplify]: Simplify 1 into 1
6.887 * [backup-simplify]: Simplify (/ -1 1) into -1
6.887 * [taylor]: Taking taylor expansion of (/ z x) in x
6.887 * [taylor]: Taking taylor expansion of z in x
6.887 * [backup-simplify]: Simplify z into z
6.887 * [taylor]: Taking taylor expansion of x in x
6.887 * [backup-simplify]: Simplify 0 into 0
6.887 * [backup-simplify]: Simplify 1 into 1
6.888 * [backup-simplify]: Simplify (/ z 1) into z
6.888 * [taylor]: Taking taylor expansion of (fma z (/ -1 x) (/ z x)) in z
6.888 * [taylor]: Rewrote expression to (+ (* z (/ -1 x)) (/ z x))
6.888 * [taylor]: Taking taylor expansion of (* z (/ -1 x)) in z
6.888 * [taylor]: Taking taylor expansion of z in z
6.888 * [backup-simplify]: Simplify 0 into 0
6.888 * [backup-simplify]: Simplify 1 into 1
6.888 * [taylor]: Taking taylor expansion of (/ -1 x) in z
6.888 * [taylor]: Taking taylor expansion of -1 in z
6.888 * [backup-simplify]: Simplify -1 into -1
6.888 * [taylor]: Taking taylor expansion of x in z
6.888 * [backup-simplify]: Simplify x into x
6.888 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
6.888 * [taylor]: Taking taylor expansion of (/ z x) in z
6.888 * [taylor]: Taking taylor expansion of z in z
6.888 * [backup-simplify]: Simplify 0 into 0
6.888 * [backup-simplify]: Simplify 1 into 1
6.888 * [taylor]: Taking taylor expansion of x in z
6.888 * [backup-simplify]: Simplify x into x
6.888 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.888 * [taylor]: Taking taylor expansion of (fma z (/ -1 x) (/ z x)) in z
6.888 * [taylor]: Rewrote expression to (+ (* z (/ -1 x)) (/ z x))
6.888 * [taylor]: Taking taylor expansion of (* z (/ -1 x)) in z
6.888 * [taylor]: Taking taylor expansion of z in z
6.888 * [backup-simplify]: Simplify 0 into 0
6.888 * [backup-simplify]: Simplify 1 into 1
6.888 * [taylor]: Taking taylor expansion of (/ -1 x) in z
6.888 * [taylor]: Taking taylor expansion of -1 in z
6.889 * [backup-simplify]: Simplify -1 into -1
6.889 * [taylor]: Taking taylor expansion of x in z
6.889 * [backup-simplify]: Simplify x into x
6.889 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
6.889 * [taylor]: Taking taylor expansion of (/ z x) in z
6.889 * [taylor]: Taking taylor expansion of z in z
6.889 * [backup-simplify]: Simplify 0 into 0
6.889 * [backup-simplify]: Simplify 1 into 1
6.889 * [taylor]: Taking taylor expansion of x in z
6.889 * [backup-simplify]: Simplify x into x
6.889 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.889 * [backup-simplify]: Simplify (* 0 (/ -1 x)) into 0
6.889 * [backup-simplify]: Simplify (+ 0 0) into 0
6.889 * [taylor]: Taking taylor expansion of 0 in x
6.889 * [backup-simplify]: Simplify 0 into 0
6.890 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
6.890 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (/ -1 x))) into (- (/ 1 x))
6.890 * [backup-simplify]: Simplify (+ (- (/ 1 x)) (/ 1 x)) into 0
6.890 * [taylor]: Taking taylor expansion of 0 in x
6.890 * [backup-simplify]: Simplify 0 into 0
6.890 * [backup-simplify]: Simplify 0 into 0
6.890 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.891 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (/ -1 x)))) into 0
6.891 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
6.892 * [backup-simplify]: Simplify (+ 0 0) into 0
6.892 * [taylor]: Taking taylor expansion of 0 in x
6.892 * [backup-simplify]: Simplify 0 into 0
6.892 * [backup-simplify]: Simplify 0 into 0
6.892 * [backup-simplify]: Simplify 0 into 0
6.892 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.893 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (/ -1 x))))) into 0
6.893 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.894 * [backup-simplify]: Simplify (+ 0 0) into 0
6.894 * [taylor]: Taking taylor expansion of 0 in x
6.894 * [backup-simplify]: Simplify 0 into 0
6.894 * [backup-simplify]: Simplify 0 into 0
6.894 * [backup-simplify]: Simplify 0 into 0
6.894 * [backup-simplify]: Simplify 0 into 0
6.894 * [backup-simplify]: Simplify 0 into 0
6.894 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 3)
6.894 * [backup-simplify]: Simplify (* (/ 1 z) x) into (/ x z)
6.894 * [approximate]: Taking taylor expansion of (/ x z) in (z x) around 0
6.894 * [taylor]: Taking taylor expansion of (/ x z) in x
6.894 * [taylor]: Taking taylor expansion of x in x
6.894 * [backup-simplify]: Simplify 0 into 0
6.894 * [backup-simplify]: Simplify 1 into 1
6.894 * [taylor]: Taking taylor expansion of z in x
6.894 * [backup-simplify]: Simplify z into z
6.894 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.894 * [taylor]: Taking taylor expansion of (/ x z) in z
6.894 * [taylor]: Taking taylor expansion of x in z
6.894 * [backup-simplify]: Simplify x into x
6.894 * [taylor]: Taking taylor expansion of z in z
6.894 * [backup-simplify]: Simplify 0 into 0
6.895 * [backup-simplify]: Simplify 1 into 1
6.895 * [backup-simplify]: Simplify (/ x 1) into x
6.895 * [taylor]: Taking taylor expansion of (/ x z) in z
6.895 * [taylor]: Taking taylor expansion of x in z
6.895 * [backup-simplify]: Simplify x into x
6.895 * [taylor]: Taking taylor expansion of z in z
6.895 * [backup-simplify]: Simplify 0 into 0
6.895 * [backup-simplify]: Simplify 1 into 1
6.895 * [backup-simplify]: Simplify (/ x 1) into x
6.895 * [taylor]: Taking taylor expansion of x in x
6.895 * [backup-simplify]: Simplify 0 into 0
6.895 * [backup-simplify]: Simplify 1 into 1
6.895 * [backup-simplify]: Simplify 1 into 1
6.896 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0
6.896 * [taylor]: Taking taylor expansion of 0 in x
6.896 * [backup-simplify]: Simplify 0 into 0
6.896 * [backup-simplify]: Simplify 0 into 0
6.896 * [backup-simplify]: Simplify 0 into 0
6.897 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.897 * [taylor]: Taking taylor expansion of 0 in x
6.897 * [backup-simplify]: Simplify 0 into 0
6.897 * [backup-simplify]: Simplify 0 into 0
6.897 * [backup-simplify]: Simplify 0 into 0
6.897 * [backup-simplify]: Simplify 0 into 0
6.899 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.899 * [taylor]: Taking taylor expansion of 0 in x
6.899 * [backup-simplify]: Simplify 0 into 0
6.899 * [backup-simplify]: Simplify 0 into 0
6.899 * [backup-simplify]: Simplify (* 1 (* x (/ 1 z))) into (/ x z)
6.899 * [backup-simplify]: Simplify (* (/ 1 (/ 1 z)) (/ 1 x)) into (/ z x)
6.899 * [approximate]: Taking taylor expansion of (/ z x) in (z x) around 0
6.899 * [taylor]: Taking taylor expansion of (/ z x) in x
6.899 * [taylor]: Taking taylor expansion of z in x
6.900 * [backup-simplify]: Simplify z into z
6.900 * [taylor]: Taking taylor expansion of x in x
6.900 * [backup-simplify]: Simplify 0 into 0
6.900 * [backup-simplify]: Simplify 1 into 1
6.900 * [backup-simplify]: Simplify (/ z 1) into z
6.900 * [taylor]: Taking taylor expansion of (/ z x) in z
6.900 * [taylor]: Taking taylor expansion of z in z
6.900 * [backup-simplify]: Simplify 0 into 0
6.900 * [backup-simplify]: Simplify 1 into 1
6.900 * [taylor]: Taking taylor expansion of x in z
6.900 * [backup-simplify]: Simplify x into x
6.900 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.900 * [taylor]: Taking taylor expansion of (/ z x) in z
6.900 * [taylor]: Taking taylor expansion of z in z
6.900 * [backup-simplify]: Simplify 0 into 0
6.900 * [backup-simplify]: Simplify 1 into 1
6.900 * [taylor]: Taking taylor expansion of x in z
6.900 * [backup-simplify]: Simplify x into x
6.900 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.900 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.900 * [taylor]: Taking taylor expansion of x in x
6.900 * [backup-simplify]: Simplify 0 into 0
6.900 * [backup-simplify]: Simplify 1 into 1
6.901 * [backup-simplify]: Simplify (/ 1 1) into 1
6.901 * [backup-simplify]: Simplify 1 into 1
6.901 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
6.901 * [taylor]: Taking taylor expansion of 0 in x
6.901 * [backup-simplify]: Simplify 0 into 0
6.901 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.902 * [backup-simplify]: Simplify 0 into 0
6.902 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.902 * [taylor]: Taking taylor expansion of 0 in x
6.902 * [backup-simplify]: Simplify 0 into 0
6.902 * [backup-simplify]: Simplify 0 into 0
6.903 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.903 * [backup-simplify]: Simplify 0 into 0
6.903 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.903 * [taylor]: Taking taylor expansion of 0 in x
6.903 * [backup-simplify]: Simplify 0 into 0
6.903 * [backup-simplify]: Simplify 0 into 0
6.903 * [backup-simplify]: Simplify 0 into 0
6.904 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.904 * [backup-simplify]: Simplify 0 into 0
6.904 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 x)) (/ 1 z))) into (/ x z)
6.904 * [backup-simplify]: Simplify (* (/ 1 (/ 1 (- z))) (/ 1 (- x))) into (/ z x)
6.904 * [approximate]: Taking taylor expansion of (/ z x) in (z x) around 0
6.904 * [taylor]: Taking taylor expansion of (/ z x) in x
6.904 * [taylor]: Taking taylor expansion of z in x
6.904 * [backup-simplify]: Simplify z into z
6.904 * [taylor]: Taking taylor expansion of x in x
6.904 * [backup-simplify]: Simplify 0 into 0
6.904 * [backup-simplify]: Simplify 1 into 1
6.905 * [backup-simplify]: Simplify (/ z 1) into z
6.905 * [taylor]: Taking taylor expansion of (/ z x) in z
6.905 * [taylor]: Taking taylor expansion of z in z
6.905 * [backup-simplify]: Simplify 0 into 0
6.905 * [backup-simplify]: Simplify 1 into 1
6.905 * [taylor]: Taking taylor expansion of x in z
6.905 * [backup-simplify]: Simplify x into x
6.905 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.905 * [taylor]: Taking taylor expansion of (/ z x) in z
6.905 * [taylor]: Taking taylor expansion of z in z
6.905 * [backup-simplify]: Simplify 0 into 0
6.905 * [backup-simplify]: Simplify 1 into 1
6.905 * [taylor]: Taking taylor expansion of x in z
6.905 * [backup-simplify]: Simplify x into x
6.905 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.905 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.905 * [taylor]: Taking taylor expansion of x in x
6.905 * [backup-simplify]: Simplify 0 into 0
6.905 * [backup-simplify]: Simplify 1 into 1
6.906 * [backup-simplify]: Simplify (/ 1 1) into 1
6.906 * [backup-simplify]: Simplify 1 into 1
6.906 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
6.906 * [taylor]: Taking taylor expansion of 0 in x
6.906 * [backup-simplify]: Simplify 0 into 0
6.906 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.907 * [backup-simplify]: Simplify 0 into 0
6.907 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.907 * [taylor]: Taking taylor expansion of 0 in x
6.907 * [backup-simplify]: Simplify 0 into 0
6.907 * [backup-simplify]: Simplify 0 into 0
6.908 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.908 * [backup-simplify]: Simplify 0 into 0
6.909 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.909 * [taylor]: Taking taylor expansion of 0 in x
6.909 * [backup-simplify]: Simplify 0 into 0
6.909 * [backup-simplify]: Simplify 0 into 0
6.910 * [backup-simplify]: Simplify 0 into 0
6.910 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.911 * [backup-simplify]: Simplify 0 into 0
6.911 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (- z)))) into (/ x z)
6.911 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 3 1)
6.911 * [backup-simplify]: Simplify (* (/ 1 z) x) into (/ x z)
6.911 * [approximate]: Taking taylor expansion of (/ x z) in (z x) around 0
6.911 * [taylor]: Taking taylor expansion of (/ x z) in x
6.911 * [taylor]: Taking taylor expansion of x in x
6.911 * [backup-simplify]: Simplify 0 into 0
6.911 * [backup-simplify]: Simplify 1 into 1
6.911 * [taylor]: Taking taylor expansion of z in x
6.911 * [backup-simplify]: Simplify z into z
6.911 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.911 * [taylor]: Taking taylor expansion of (/ x z) in z
6.911 * [taylor]: Taking taylor expansion of x in z
6.911 * [backup-simplify]: Simplify x into x
6.911 * [taylor]: Taking taylor expansion of z in z
6.911 * [backup-simplify]: Simplify 0 into 0
6.911 * [backup-simplify]: Simplify 1 into 1
6.911 * [backup-simplify]: Simplify (/ x 1) into x
6.911 * [taylor]: Taking taylor expansion of (/ x z) in z
6.911 * [taylor]: Taking taylor expansion of x in z
6.911 * [backup-simplify]: Simplify x into x
6.911 * [taylor]: Taking taylor expansion of z in z
6.911 * [backup-simplify]: Simplify 0 into 0
6.912 * [backup-simplify]: Simplify 1 into 1
6.912 * [backup-simplify]: Simplify (/ x 1) into x
6.912 * [taylor]: Taking taylor expansion of x in x
6.912 * [backup-simplify]: Simplify 0 into 0
6.912 * [backup-simplify]: Simplify 1 into 1
6.912 * [backup-simplify]: Simplify 1 into 1
6.913 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0
6.913 * [taylor]: Taking taylor expansion of 0 in x
6.913 * [backup-simplify]: Simplify 0 into 0
6.913 * [backup-simplify]: Simplify 0 into 0
6.913 * [backup-simplify]: Simplify 0 into 0
6.914 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.914 * [taylor]: Taking taylor expansion of 0 in x
6.914 * [backup-simplify]: Simplify 0 into 0
6.914 * [backup-simplify]: Simplify 0 into 0
6.914 * [backup-simplify]: Simplify 0 into 0
6.914 * [backup-simplify]: Simplify 0 into 0
6.916 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.916 * [taylor]: Taking taylor expansion of 0 in x
6.916 * [backup-simplify]: Simplify 0 into 0
6.916 * [backup-simplify]: Simplify 0 into 0
6.916 * [backup-simplify]: Simplify (* 1 (* x (/ 1 z))) into (/ x z)
6.916 * [backup-simplify]: Simplify (* (/ 1 (/ 1 z)) (/ 1 x)) into (/ z x)
6.916 * [approximate]: Taking taylor expansion of (/ z x) in (z x) around 0
6.917 * [taylor]: Taking taylor expansion of (/ z x) in x
6.917 * [taylor]: Taking taylor expansion of z in x
6.917 * [backup-simplify]: Simplify z into z
6.917 * [taylor]: Taking taylor expansion of x in x
6.917 * [backup-simplify]: Simplify 0 into 0
6.917 * [backup-simplify]: Simplify 1 into 1
6.917 * [backup-simplify]: Simplify (/ z 1) into z
6.917 * [taylor]: Taking taylor expansion of (/ z x) in z
6.917 * [taylor]: Taking taylor expansion of z in z
6.917 * [backup-simplify]: Simplify 0 into 0
6.917 * [backup-simplify]: Simplify 1 into 1
6.917 * [taylor]: Taking taylor expansion of x in z
6.917 * [backup-simplify]: Simplify x into x
6.917 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.917 * [taylor]: Taking taylor expansion of (/ z x) in z
6.917 * [taylor]: Taking taylor expansion of z in z
6.917 * [backup-simplify]: Simplify 0 into 0
6.917 * [backup-simplify]: Simplify 1 into 1
6.917 * [taylor]: Taking taylor expansion of x in z
6.917 * [backup-simplify]: Simplify x into x
6.917 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.917 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.917 * [taylor]: Taking taylor expansion of x in x
6.917 * [backup-simplify]: Simplify 0 into 0
6.918 * [backup-simplify]: Simplify 1 into 1
6.918 * [backup-simplify]: Simplify (/ 1 1) into 1
6.918 * [backup-simplify]: Simplify 1 into 1
6.918 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
6.918 * [taylor]: Taking taylor expansion of 0 in x
6.918 * [backup-simplify]: Simplify 0 into 0
6.919 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.919 * [backup-simplify]: Simplify 0 into 0
6.919 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.919 * [taylor]: Taking taylor expansion of 0 in x
6.919 * [backup-simplify]: Simplify 0 into 0
6.919 * [backup-simplify]: Simplify 0 into 0
6.920 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.920 * [backup-simplify]: Simplify 0 into 0
6.921 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.921 * [taylor]: Taking taylor expansion of 0 in x
6.921 * [backup-simplify]: Simplify 0 into 0
6.921 * [backup-simplify]: Simplify 0 into 0
6.921 * [backup-simplify]: Simplify 0 into 0
6.922 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.922 * [backup-simplify]: Simplify 0 into 0
6.922 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 x)) (/ 1 z))) into (/ x z)
6.922 * [backup-simplify]: Simplify (* (/ 1 (/ 1 (- z))) (/ 1 (- x))) into (/ z x)
6.922 * [approximate]: Taking taylor expansion of (/ z x) in (z x) around 0
6.922 * [taylor]: Taking taylor expansion of (/ z x) in x
6.922 * [taylor]: Taking taylor expansion of z in x
6.922 * [backup-simplify]: Simplify z into z
6.922 * [taylor]: Taking taylor expansion of x in x
6.922 * [backup-simplify]: Simplify 0 into 0
6.922 * [backup-simplify]: Simplify 1 into 1
6.922 * [backup-simplify]: Simplify (/ z 1) into z
6.922 * [taylor]: Taking taylor expansion of (/ z x) in z
6.922 * [taylor]: Taking taylor expansion of z in z
6.922 * [backup-simplify]: Simplify 0 into 0
6.922 * [backup-simplify]: Simplify 1 into 1
6.922 * [taylor]: Taking taylor expansion of x in z
6.922 * [backup-simplify]: Simplify x into x
6.922 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.922 * [taylor]: Taking taylor expansion of (/ z x) in z
6.922 * [taylor]: Taking taylor expansion of z in z
6.923 * [backup-simplify]: Simplify 0 into 0
6.923 * [backup-simplify]: Simplify 1 into 1
6.923 * [taylor]: Taking taylor expansion of x in z
6.923 * [backup-simplify]: Simplify x into x
6.923 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.923 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.923 * [taylor]: Taking taylor expansion of x in x
6.923 * [backup-simplify]: Simplify 0 into 0
6.923 * [backup-simplify]: Simplify 1 into 1
6.923 * [backup-simplify]: Simplify (/ 1 1) into 1
6.923 * [backup-simplify]: Simplify 1 into 1
6.923 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
6.923 * [taylor]: Taking taylor expansion of 0 in x
6.924 * [backup-simplify]: Simplify 0 into 0
6.924 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.924 * [backup-simplify]: Simplify 0 into 0
6.924 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.924 * [taylor]: Taking taylor expansion of 0 in x
6.925 * [backup-simplify]: Simplify 0 into 0
6.925 * [backup-simplify]: Simplify 0 into 0
6.930 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.930 * [backup-simplify]: Simplify 0 into 0
6.931 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.931 * [taylor]: Taking taylor expansion of 0 in x
6.931 * [backup-simplify]: Simplify 0 into 0
6.931 * [backup-simplify]: Simplify 0 into 0
6.931 * [backup-simplify]: Simplify 0 into 0
6.932 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.932 * [backup-simplify]: Simplify 0 into 0
6.932 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (- z)))) into (/ x z)
6.932 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
6.933 * [backup-simplify]: Simplify (fma y (/ 1 z) (- (* (/ 1 z) x))) into (fma y (/ 1 z) (- (/ x z)))
6.933 * [approximate]: Taking taylor expansion of (fma y (/ 1 z) (- (/ x z))) in (y z x) around 0
6.933 * [taylor]: Taking taylor expansion of (fma y (/ 1 z) (- (/ x z))) in x
6.933 * [taylor]: Rewrote expression to (+ (* y (/ 1 z)) (- (/ x z)))
6.933 * [taylor]: Taking taylor expansion of (* y (/ 1 z)) in x
6.933 * [taylor]: Taking taylor expansion of y in x
6.933 * [backup-simplify]: Simplify y into y
6.933 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.933 * [taylor]: Taking taylor expansion of z in x
6.933 * [backup-simplify]: Simplify z into z
6.933 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.933 * [taylor]: Taking taylor expansion of (- (/ x z)) in x
6.933 * [taylor]: Taking taylor expansion of (/ x z) in x
6.933 * [taylor]: Taking taylor expansion of x in x
6.933 * [backup-simplify]: Simplify 0 into 0
6.933 * [backup-simplify]: Simplify 1 into 1
6.933 * [taylor]: Taking taylor expansion of z in x
6.933 * [backup-simplify]: Simplify z into z
6.933 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.933 * [taylor]: Taking taylor expansion of (fma y (/ 1 z) (- (/ x z))) in z
6.934 * [taylor]: Rewrote expression to (+ (* y (/ 1 z)) (- (/ x z)))
6.934 * [taylor]: Taking taylor expansion of (* y (/ 1 z)) in z
6.934 * [taylor]: Taking taylor expansion of y in z
6.934 * [backup-simplify]: Simplify y into y
6.934 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.934 * [taylor]: Taking taylor expansion of z in z
6.934 * [backup-simplify]: Simplify 0 into 0
6.934 * [backup-simplify]: Simplify 1 into 1
6.934 * [backup-simplify]: Simplify (/ 1 1) into 1
6.934 * [taylor]: Taking taylor expansion of (- (/ x z)) in z
6.934 * [taylor]: Taking taylor expansion of (/ x z) in z
6.934 * [taylor]: Taking taylor expansion of x in z
6.934 * [backup-simplify]: Simplify x into x
6.934 * [taylor]: Taking taylor expansion of z in z
6.934 * [backup-simplify]: Simplify 0 into 0
6.934 * [backup-simplify]: Simplify 1 into 1
6.934 * [backup-simplify]: Simplify (/ x 1) into x
6.934 * [taylor]: Taking taylor expansion of (fma y (/ 1 z) (- (/ x z))) in y
6.935 * [taylor]: Rewrote expression to (+ (* y (/ 1 z)) (- (/ x z)))
6.935 * [taylor]: Taking taylor expansion of (* y (/ 1 z)) in y
6.935 * [taylor]: Taking taylor expansion of y in y
6.935 * [backup-simplify]: Simplify 0 into 0
6.935 * [backup-simplify]: Simplify 1 into 1
6.935 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.935 * [taylor]: Taking taylor expansion of z in y
6.935 * [backup-simplify]: Simplify z into z
6.935 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.935 * [taylor]: Taking taylor expansion of (- (/ x z)) in y
6.935 * [taylor]: Taking taylor expansion of (/ x z) in y
6.935 * [taylor]: Taking taylor expansion of x in y
6.935 * [backup-simplify]: Simplify x into x
6.935 * [taylor]: Taking taylor expansion of z in y
6.935 * [backup-simplify]: Simplify z into z
6.935 * [backup-simplify]: Simplify (/ x z) into (/ x z)
6.935 * [taylor]: Taking taylor expansion of (fma y (/ 1 z) (- (/ x z))) in y
6.935 * [taylor]: Rewrote expression to (+ (* y (/ 1 z)) (- (/ x z)))
6.935 * [taylor]: Taking taylor expansion of (* y (/ 1 z)) in y
6.935 * [taylor]: Taking taylor expansion of y in y
6.935 * [backup-simplify]: Simplify 0 into 0
6.935 * [backup-simplify]: Simplify 1 into 1
6.935 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.935 * [taylor]: Taking taylor expansion of z in y
6.935 * [backup-simplify]: Simplify z into z
6.935 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.935 * [taylor]: Taking taylor expansion of (- (/ x z)) in y
6.936 * [taylor]: Taking taylor expansion of (/ x z) in y
6.936 * [taylor]: Taking taylor expansion of x in y
6.936 * [backup-simplify]: Simplify x into x
6.936 * [taylor]: Taking taylor expansion of z in y
6.936 * [backup-simplify]: Simplify z into z
6.936 * [backup-simplify]: Simplify (/ x z) into (/ x z)
6.936 * [backup-simplify]: Simplify (* 0 (/ 1 z)) into 0
6.936 * [backup-simplify]: Simplify (- (/ x z)) into (- (/ x z))
6.936 * [backup-simplify]: Simplify (+ 0 (- (/ x z))) into (- (/ x z))
6.936 * [taylor]: Taking taylor expansion of (- (/ x z)) in z
6.936 * [taylor]: Taking taylor expansion of (/ x z) in z
6.936 * [taylor]: Taking taylor expansion of x in z
6.936 * [backup-simplify]: Simplify x into x
6.936 * [taylor]: Taking taylor expansion of z in z
6.936 * [backup-simplify]: Simplify 0 into 0
6.936 * [backup-simplify]: Simplify 1 into 1
6.936 * [backup-simplify]: Simplify (/ x 1) into x
6.936 * [backup-simplify]: Simplify (- x) into (- x)
6.936 * [taylor]: Taking taylor expansion of (- x) in x
6.936 * [taylor]: Taking taylor expansion of x in x
6.936 * [backup-simplify]: Simplify 0 into 0
6.936 * [backup-simplify]: Simplify 1 into 1
6.937 * [backup-simplify]: Simplify (- 0) into 0
6.937 * [backup-simplify]: Simplify 0 into 0
6.937 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
6.938 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (/ 1 z))) into (/ 1 z)
6.938 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0
6.938 * [backup-simplify]: Simplify (- 0) into 0
6.938 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
6.938 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.938 * [taylor]: Taking taylor expansion of z in z
6.938 * [backup-simplify]: Simplify 0 into 0
6.938 * [backup-simplify]: Simplify 1 into 1
6.939 * [backup-simplify]: Simplify (/ 1 1) into 1
6.939 * [taylor]: Taking taylor expansion of 1 in x
6.939 * [backup-simplify]: Simplify 1 into 1
6.939 * [backup-simplify]: Simplify 1 into 1
6.940 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0
6.940 * [backup-simplify]: Simplify (- 0) into 0
6.940 * [taylor]: Taking taylor expansion of 0 in x
6.940 * [backup-simplify]: Simplify 0 into 0
6.940 * [backup-simplify]: Simplify 0 into 0
6.940 * [backup-simplify]: Simplify (- 1) into -1
6.940 * [backup-simplify]: Simplify -1 into -1
6.941 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
6.941 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (/ 1 z)))) into 0
6.942 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
6.942 * [backup-simplify]: Simplify (- 0) into 0
6.942 * [backup-simplify]: Simplify (+ 0 0) into 0
6.942 * [taylor]: Taking taylor expansion of 0 in z
6.942 * [backup-simplify]: Simplify 0 into 0
6.943 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.943 * [taylor]: Taking taylor expansion of 0 in x
6.943 * [backup-simplify]: Simplify 0 into 0
6.943 * [backup-simplify]: Simplify 0 into 0
6.944 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.945 * [backup-simplify]: Simplify (- 0) into 0
6.945 * [taylor]: Taking taylor expansion of 0 in x
6.945 * [backup-simplify]: Simplify 0 into 0
6.945 * [backup-simplify]: Simplify 0 into 0
6.945 * [backup-simplify]: Simplify 0 into 0
6.945 * [backup-simplify]: Simplify 0 into 0
6.945 * [backup-simplify]: Simplify (- 0) into 0
6.945 * [backup-simplify]: Simplify 0 into 0
6.946 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
6.947 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 z))))) into 0
6.947 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
6.948 * [backup-simplify]: Simplify (- 0) into 0
6.948 * [backup-simplify]: Simplify (+ 0 0) into 0
6.948 * [taylor]: Taking taylor expansion of 0 in z
6.948 * [backup-simplify]: Simplify 0 into 0
6.948 * [taylor]: Taking taylor expansion of 0 in x
6.948 * [backup-simplify]: Simplify 0 into 0
6.948 * [backup-simplify]: Simplify 0 into 0
6.948 * [backup-simplify]: Simplify (+ (* -1 (* x (* (/ 1 z) 1))) (* 1 (* 1 (* (/ 1 z) y)))) into (- (/ y z) (/ x z))
6.949 * [backup-simplify]: Simplify (fma (/ 1 y) (/ 1 (/ 1 z)) (- (* (/ 1 (/ 1 z)) (/ 1 x)))) into (fma (/ 1 y) z (- (/ z x)))
6.949 * [approximate]: Taking taylor expansion of (fma (/ 1 y) z (- (/ z x))) in (y z x) around 0
6.949 * [taylor]: Taking taylor expansion of (fma (/ 1 y) z (- (/ z x))) in x
6.949 * [taylor]: Rewrote expression to (+ (* (/ 1 y) z) (- (/ z x)))
6.949 * [taylor]: Taking taylor expansion of (* (/ 1 y) z) in x
6.949 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.949 * [taylor]: Taking taylor expansion of y in x
6.949 * [backup-simplify]: Simplify y into y
6.949 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.949 * [taylor]: Taking taylor expansion of z in x
6.949 * [backup-simplify]: Simplify z into z
6.949 * [taylor]: Taking taylor expansion of (- (/ z x)) in x
6.949 * [taylor]: Taking taylor expansion of (/ z x) in x
6.949 * [taylor]: Taking taylor expansion of z in x
6.949 * [backup-simplify]: Simplify z into z
6.949 * [taylor]: Taking taylor expansion of x in x
6.949 * [backup-simplify]: Simplify 0 into 0
6.949 * [backup-simplify]: Simplify 1 into 1
6.949 * [backup-simplify]: Simplify (/ z 1) into z
6.950 * [taylor]: Taking taylor expansion of (fma (/ 1 y) z (- (/ z x))) in z
6.950 * [taylor]: Rewrote expression to (+ (* (/ 1 y) z) (- (/ z x)))
6.950 * [taylor]: Taking taylor expansion of (* (/ 1 y) z) in z
6.950 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.950 * [taylor]: Taking taylor expansion of y in z
6.950 * [backup-simplify]: Simplify y into y
6.950 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.950 * [taylor]: Taking taylor expansion of z in z
6.950 * [backup-simplify]: Simplify 0 into 0
6.950 * [backup-simplify]: Simplify 1 into 1
6.950 * [taylor]: Taking taylor expansion of (- (/ z x)) in z
6.950 * [taylor]: Taking taylor expansion of (/ z x) in z
6.950 * [taylor]: Taking taylor expansion of z in z
6.950 * [backup-simplify]: Simplify 0 into 0
6.950 * [backup-simplify]: Simplify 1 into 1
6.950 * [taylor]: Taking taylor expansion of x in z
6.950 * [backup-simplify]: Simplify x into x
6.950 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.950 * [taylor]: Taking taylor expansion of (fma (/ 1 y) z (- (/ z x))) in y
6.950 * [taylor]: Rewrote expression to (+ (* (/ 1 y) z) (- (/ z x)))
6.950 * [taylor]: Taking taylor expansion of (* (/ 1 y) z) in y
6.950 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.950 * [taylor]: Taking taylor expansion of y in y
6.950 * [backup-simplify]: Simplify 0 into 0
6.950 * [backup-simplify]: Simplify 1 into 1
6.951 * [backup-simplify]: Simplify (/ 1 1) into 1
6.951 * [taylor]: Taking taylor expansion of z in y
6.951 * [backup-simplify]: Simplify z into z
6.951 * [taylor]: Taking taylor expansion of (- (/ z x)) in y
6.951 * [taylor]: Taking taylor expansion of (/ z x) in y
6.951 * [taylor]: Taking taylor expansion of z in y
6.951 * [backup-simplify]: Simplify z into z
6.951 * [taylor]: Taking taylor expansion of x in y
6.951 * [backup-simplify]: Simplify x into x
6.951 * [backup-simplify]: Simplify (/ z x) into (/ z x)
6.951 * [taylor]: Taking taylor expansion of (fma (/ 1 y) z (- (/ z x))) in y
6.951 * [taylor]: Rewrote expression to (+ (* (/ 1 y) z) (- (/ z x)))
6.951 * [taylor]: Taking taylor expansion of (* (/ 1 y) z) in y
6.951 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.951 * [taylor]: Taking taylor expansion of y in y
6.951 * [backup-simplify]: Simplify 0 into 0
6.951 * [backup-simplify]: Simplify 1 into 1
6.952 * [backup-simplify]: Simplify (/ 1 1) into 1
6.952 * [taylor]: Taking taylor expansion of z in y
6.952 * [backup-simplify]: Simplify z into z
6.952 * [taylor]: Taking taylor expansion of (- (/ z x)) in y
6.952 * [taylor]: Taking taylor expansion of (/ z x) in y
6.952 * [taylor]: Taking taylor expansion of z in y
6.952 * [backup-simplify]: Simplify z into z
6.952 * [taylor]: Taking taylor expansion of x in y
6.952 * [backup-simplify]: Simplify x into x
6.952 * [backup-simplify]: Simplify (/ z x) into (/ z x)
6.952 * [backup-simplify]: Simplify (* 1 z) into z
6.952 * [backup-simplify]: Simplify (+ z 0) into z
6.952 * [taylor]: Taking taylor expansion of z in z
6.952 * [backup-simplify]: Simplify 0 into 0
6.952 * [backup-simplify]: Simplify 1 into 1
6.952 * [taylor]: Taking taylor expansion of 0 in x
6.952 * [backup-simplify]: Simplify 0 into 0
6.953 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.953 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 z)) into 0
6.954 * [backup-simplify]: Simplify (- (/ z x)) into (- (/ z x))
6.954 * [backup-simplify]: Simplify (+ 0 (- (/ z x))) into (- (/ z x))
6.954 * [taylor]: Taking taylor expansion of (- (/ z x)) in z
6.954 * [taylor]: Taking taylor expansion of (/ z x) in z
6.954 * [taylor]: Taking taylor expansion of z in z
6.954 * [backup-simplify]: Simplify 0 into 0
6.954 * [backup-simplify]: Simplify 1 into 1
6.954 * [taylor]: Taking taylor expansion of x in z
6.954 * [backup-simplify]: Simplify x into x
6.954 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.954 * [taylor]: Taking taylor expansion of 1 in x
6.954 * [backup-simplify]: Simplify 1 into 1
6.954 * [backup-simplify]: Simplify 0 into 0
6.955 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.956 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 z))) into 0
6.956 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
6.956 * [backup-simplify]: Simplify (- 0) into 0
6.956 * [backup-simplify]: Simplify (+ 0 0) into 0
6.956 * [taylor]: Taking taylor expansion of 0 in z
6.956 * [backup-simplify]: Simplify 0 into 0
6.957 * [taylor]: Taking taylor expansion of 0 in x
6.957 * [backup-simplify]: Simplify 0 into 0
6.957 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
6.957 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
6.957 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.957 * [taylor]: Taking taylor expansion of x in x
6.957 * [backup-simplify]: Simplify 0 into 0
6.957 * [backup-simplify]: Simplify 1 into 1
6.957 * [backup-simplify]: Simplify (/ 1 1) into 1
6.957 * [backup-simplify]: Simplify (- 1) into -1
6.958 * [backup-simplify]: Simplify -1 into -1
6.958 * [taylor]: Taking taylor expansion of 0 in x
6.958 * [backup-simplify]: Simplify 0 into 0
6.958 * [backup-simplify]: Simplify 1 into 1
6.958 * [backup-simplify]: Simplify 0 into 0
6.959 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.960 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
6.960 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.960 * [backup-simplify]: Simplify (- 0) into 0
6.961 * [backup-simplify]: Simplify (+ 0 0) into 0
6.961 * [taylor]: Taking taylor expansion of 0 in z
6.961 * [backup-simplify]: Simplify 0 into 0
6.961 * [taylor]: Taking taylor expansion of 0 in x
6.961 * [backup-simplify]: Simplify 0 into 0
6.961 * [taylor]: Taking taylor expansion of 0 in x
6.961 * [backup-simplify]: Simplify 0 into 0
6.961 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
6.962 * [backup-simplify]: Simplify (- 0) into 0
6.962 * [taylor]: Taking taylor expansion of 0 in x
6.962 * [backup-simplify]: Simplify 0 into 0
6.962 * [taylor]: Taking taylor expansion of 0 in x
6.962 * [backup-simplify]: Simplify 0 into 0
6.962 * [backup-simplify]: Simplify 0 into 0
6.962 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.963 * [backup-simplify]: Simplify (- 0) into 0
6.963 * [backup-simplify]: Simplify 0 into 0
6.963 * [backup-simplify]: Simplify 0 into 0
6.963 * [backup-simplify]: Simplify 0 into 0
6.963 * [backup-simplify]: Simplify 0 into 0
6.963 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 z) (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 x)) (* (/ 1 z) 1)))) into (- (/ y z) (/ x z))
6.964 * [backup-simplify]: Simplify (fma (/ 1 (- y)) (/ 1 (/ 1 (- z))) (- (* (/ 1 (/ 1 (- z))) (/ 1 (- x))))) into (fma (/ -1 y) (* -1 z) (- (/ z x)))
6.964 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (* -1 z) (- (/ z x))) in (y z x) around 0
6.964 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (* -1 z) (- (/ z x))) in x
6.964 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (* -1 z)) (- (/ z x)))
6.964 * [taylor]: Taking taylor expansion of (* (/ -1 y) (* -1 z)) in x
6.964 * [taylor]: Taking taylor expansion of (/ -1 y) in x
6.964 * [taylor]: Taking taylor expansion of -1 in x
6.964 * [backup-simplify]: Simplify -1 into -1
6.964 * [taylor]: Taking taylor expansion of y in x
6.964 * [backup-simplify]: Simplify y into y
6.964 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.964 * [taylor]: Taking taylor expansion of (* -1 z) in x
6.964 * [taylor]: Taking taylor expansion of -1 in x
6.964 * [backup-simplify]: Simplify -1 into -1
6.964 * [taylor]: Taking taylor expansion of z in x
6.964 * [backup-simplify]: Simplify z into z
6.964 * [taylor]: Taking taylor expansion of (- (/ z x)) in x
6.964 * [taylor]: Taking taylor expansion of (/ z x) in x
6.964 * [taylor]: Taking taylor expansion of z in x
6.964 * [backup-simplify]: Simplify z into z
6.964 * [taylor]: Taking taylor expansion of x in x
6.964 * [backup-simplify]: Simplify 0 into 0
6.964 * [backup-simplify]: Simplify 1 into 1
6.964 * [backup-simplify]: Simplify (/ z 1) into z
6.964 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (* -1 z) (- (/ z x))) in z
6.965 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (* -1 z)) (- (/ z x)))
6.965 * [taylor]: Taking taylor expansion of (* (/ -1 y) (* -1 z)) in z
6.965 * [taylor]: Taking taylor expansion of (/ -1 y) in z
6.965 * [taylor]: Taking taylor expansion of -1 in z
6.965 * [backup-simplify]: Simplify -1 into -1
6.965 * [taylor]: Taking taylor expansion of y in z
6.965 * [backup-simplify]: Simplify y into y
6.965 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.965 * [taylor]: Taking taylor expansion of (* -1 z) in z
6.965 * [taylor]: Taking taylor expansion of -1 in z
6.965 * [backup-simplify]: Simplify -1 into -1
6.965 * [taylor]: Taking taylor expansion of z in z
6.965 * [backup-simplify]: Simplify 0 into 0
6.965 * [backup-simplify]: Simplify 1 into 1
6.965 * [taylor]: Taking taylor expansion of (- (/ z x)) in z
6.965 * [taylor]: Taking taylor expansion of (/ z x) in z
6.965 * [taylor]: Taking taylor expansion of z in z
6.965 * [backup-simplify]: Simplify 0 into 0
6.965 * [backup-simplify]: Simplify 1 into 1
6.965 * [taylor]: Taking taylor expansion of x in z
6.965 * [backup-simplify]: Simplify x into x
6.965 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.965 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (* -1 z) (- (/ z x))) in y
6.965 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (* -1 z)) (- (/ z x)))
6.965 * [taylor]: Taking taylor expansion of (* (/ -1 y) (* -1 z)) in y
6.965 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.965 * [taylor]: Taking taylor expansion of -1 in y
6.965 * [backup-simplify]: Simplify -1 into -1
6.965 * [taylor]: Taking taylor expansion of y in y
6.965 * [backup-simplify]: Simplify 0 into 0
6.966 * [backup-simplify]: Simplify 1 into 1
6.966 * [backup-simplify]: Simplify (/ -1 1) into -1
6.966 * [taylor]: Taking taylor expansion of (* -1 z) in y
6.966 * [taylor]: Taking taylor expansion of -1 in y
6.966 * [backup-simplify]: Simplify -1 into -1
6.966 * [taylor]: Taking taylor expansion of z in y
6.966 * [backup-simplify]: Simplify z into z
6.966 * [taylor]: Taking taylor expansion of (- (/ z x)) in y
6.966 * [taylor]: Taking taylor expansion of (/ z x) in y
6.966 * [taylor]: Taking taylor expansion of z in y
6.966 * [backup-simplify]: Simplify z into z
6.966 * [taylor]: Taking taylor expansion of x in y
6.966 * [backup-simplify]: Simplify x into x
6.966 * [backup-simplify]: Simplify (/ z x) into (/ z x)
6.966 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (* -1 z) (- (/ z x))) in y
6.966 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (* -1 z)) (- (/ z x)))
6.966 * [taylor]: Taking taylor expansion of (* (/ -1 y) (* -1 z)) in y
6.967 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.967 * [taylor]: Taking taylor expansion of -1 in y
6.967 * [backup-simplify]: Simplify -1 into -1
6.967 * [taylor]: Taking taylor expansion of y in y
6.967 * [backup-simplify]: Simplify 0 into 0
6.967 * [backup-simplify]: Simplify 1 into 1
6.967 * [backup-simplify]: Simplify (/ -1 1) into -1
6.967 * [taylor]: Taking taylor expansion of (* -1 z) in y
6.967 * [taylor]: Taking taylor expansion of -1 in y
6.967 * [backup-simplify]: Simplify -1 into -1
6.967 * [taylor]: Taking taylor expansion of z in y
6.967 * [backup-simplify]: Simplify z into z
6.967 * [taylor]: Taking taylor expansion of (- (/ z x)) in y
6.967 * [taylor]: Taking taylor expansion of (/ z x) in y
6.967 * [taylor]: Taking taylor expansion of z in y
6.967 * [backup-simplify]: Simplify z into z
6.967 * [taylor]: Taking taylor expansion of x in y
6.967 * [backup-simplify]: Simplify x into x
6.967 * [backup-simplify]: Simplify (/ z x) into (/ z x)
6.968 * [backup-simplify]: Simplify (* -1 z) into (* -1 z)
6.968 * [backup-simplify]: Simplify (* -1 (* -1 z)) into z
6.968 * [backup-simplify]: Simplify (+ z 0) into z
6.968 * [taylor]: Taking taylor expansion of z in z
6.968 * [backup-simplify]: Simplify 0 into 0
6.968 * [backup-simplify]: Simplify 1 into 1
6.968 * [taylor]: Taking taylor expansion of 0 in x
6.968 * [backup-simplify]: Simplify 0 into 0
6.968 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 z)) into 0
6.969 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
6.969 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (* -1 z))) into 0
6.970 * [backup-simplify]: Simplify (- (/ z x)) into (- (/ z x))
6.970 * [backup-simplify]: Simplify (+ 0 (- (/ z x))) into (- (/ z x))
6.970 * [taylor]: Taking taylor expansion of (- (/ z x)) in z
6.970 * [taylor]: Taking taylor expansion of (/ z x) in z
6.970 * [taylor]: Taking taylor expansion of z in z
6.970 * [backup-simplify]: Simplify 0 into 0
6.970 * [backup-simplify]: Simplify 1 into 1
6.970 * [taylor]: Taking taylor expansion of x in z
6.970 * [backup-simplify]: Simplify x into x
6.970 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.970 * [taylor]: Taking taylor expansion of 1 in x
6.970 * [backup-simplify]: Simplify 1 into 1
6.970 * [backup-simplify]: Simplify 0 into 0
6.971 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0
6.972 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.973 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (* -1 z)))) into 0
6.973 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
6.973 * [backup-simplify]: Simplify (- 0) into 0
6.973 * [backup-simplify]: Simplify (+ 0 0) into 0
6.973 * [taylor]: Taking taylor expansion of 0 in z
6.973 * [backup-simplify]: Simplify 0 into 0
6.973 * [taylor]: Taking taylor expansion of 0 in x
6.973 * [backup-simplify]: Simplify 0 into 0
6.974 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
6.974 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
6.974 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.974 * [taylor]: Taking taylor expansion of x in x
6.974 * [backup-simplify]: Simplify 0 into 0
6.974 * [backup-simplify]: Simplify 1 into 1
6.974 * [backup-simplify]: Simplify (/ 1 1) into 1
6.974 * [backup-simplify]: Simplify (- 1) into -1
6.974 * [backup-simplify]: Simplify -1 into -1
6.974 * [taylor]: Taking taylor expansion of 0 in x
6.975 * [backup-simplify]: Simplify 0 into 0
6.975 * [backup-simplify]: Simplify 1 into 1
6.975 * [backup-simplify]: Simplify 0 into 0
6.976 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
6.977 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.978 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* -1 z))))) into 0
6.978 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.978 * [backup-simplify]: Simplify (- 0) into 0
6.979 * [backup-simplify]: Simplify (+ 0 0) into 0
6.979 * [taylor]: Taking taylor expansion of 0 in z
6.979 * [backup-simplify]: Simplify 0 into 0
6.979 * [taylor]: Taking taylor expansion of 0 in x
6.979 * [backup-simplify]: Simplify 0 into 0
6.979 * [taylor]: Taking taylor expansion of 0 in x
6.979 * [backup-simplify]: Simplify 0 into 0
6.979 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
6.979 * [backup-simplify]: Simplify (- 0) into 0
6.979 * [taylor]: Taking taylor expansion of 0 in x
6.979 * [backup-simplify]: Simplify 0 into 0
6.979 * [taylor]: Taking taylor expansion of 0 in x
6.979 * [backup-simplify]: Simplify 0 into 0
6.979 * [backup-simplify]: Simplify 0 into 0
6.980 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.981 * [backup-simplify]: Simplify (- 0) into 0
6.981 * [backup-simplify]: Simplify 0 into 0
6.981 * [backup-simplify]: Simplify 0 into 0
6.981 * [backup-simplify]: Simplify 0 into 0
6.981 * [backup-simplify]: Simplify 0 into 0
6.981 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (- z)) (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (- z)) 1)))) into (- (/ y z) (/ x z))
6.981 * * * [progress]: simplifying candidates
6.983 * [simplify]: Simplifying:
  (expm1 (fma (- (/ 1 z)) x (* (/ 1 z) x)))
  (log1p (fma (- (/ 1 z)) x (* (/ 1 z) x)))
  (* (- (/ 1 z)) x)
  (log (fma (- (/ 1 z)) x (* (/ 1 z) x)))
  (exp (fma (- (/ 1 z)) x (* (/ 1 z) x)))
  (* (cbrt (fma (- (/ 1 z)) x (* (/ 1 z) x))) (cbrt (fma (- (/ 1 z)) x (* (/ 1 z) x))))
  (cbrt (fma (- (/ 1 z)) x (* (/ 1 z) x)))
  (* (* (fma (- (/ 1 z)) x (* (/ 1 z) x)) (fma (- (/ 1 z)) x (* (/ 1 z) x))) (fma (- (/ 1 z)) x (* (/ 1 z) x)))
  (sqrt (fma (- (/ 1 z)) x (* (/ 1 z) x)))
  (sqrt (fma (- (/ 1 z)) x (* (/ 1 z) x)))
  (expm1 (* (/ 1 z) x))
  (log1p (* (/ 1 z) x))
  (* (/ 1 z) x)
  (+ (- (log z)) (log x))
  (+ (- 0 (log z)) (log x))
  (+ (- (log 1) (log z)) (log x))
  (+ (log (/ 1 z)) (log x))
  (log (* (/ 1 z) x))
  (exp (* (/ 1 z) x))
  (* (/ (* (* 1 1) 1) (* (* z z) z)) (* (* x x) x))
  (* (* (* (/ 1 z) (/ 1 z)) (/ 1 z)) (* (* x x) x))
  (* (cbrt (* (/ 1 z) x)) (cbrt (* (/ 1 z) x)))
  (cbrt (* (/ 1 z) x))
  (* (* (* (/ 1 z) x) (* (/ 1 z) x)) (* (/ 1 z) x))
  (sqrt (* (/ 1 z) x))
  (sqrt (* (/ 1 z) x))
  (* (sqrt (/ 1 z)) (sqrt x))
  (* (sqrt (/ 1 z)) (sqrt x))
  (* (/ (sqrt 1) (sqrt z)) (sqrt x))
  (* (/ (sqrt 1) (sqrt z)) (sqrt x))
  (* (/ 1 (sqrt z)) (sqrt x))
  (* (/ 1 (sqrt z)) (sqrt x))
  (* (/ 1 z) (* (cbrt x) (cbrt x)))
  (* (/ 1 z) (sqrt x))
  (* (/ 1 z) 1)
  (* (cbrt (/ 1 z)) x)
  (* (sqrt (/ 1 z)) x)
  (* (/ (cbrt 1) (cbrt z)) x)
  (* (/ (cbrt 1) (sqrt z)) x)
  (* (/ (cbrt 1) z) x)
  (* (/ (sqrt 1) (cbrt z)) x)
  (* (/ (sqrt 1) (sqrt z)) x)
  (* (/ (sqrt 1) z) x)
  (* (/ 1 (cbrt z)) x)
  (* (/ 1 (sqrt z)) x)
  (* (/ 1 z) x)
  (* (/ 1 z) x)
  (* (/ 1 z) x)
  (* 1 x)
  (expm1 (* (/ 1 z) x))
  (log1p (* (/ 1 z) x))
  (* (/ 1 z) x)
  (+ (- (log z)) (log x))
  (+ (- 0 (log z)) (log x))
  (+ (- (log 1) (log z)) (log x))
  (+ (log (/ 1 z)) (log x))
  (log (* (/ 1 z) x))
  (exp (* (/ 1 z) x))
  (* (/ (* (* 1 1) 1) (* (* z z) z)) (* (* x x) x))
  (* (* (* (/ 1 z) (/ 1 z)) (/ 1 z)) (* (* x x) x))
  (* (cbrt (* (/ 1 z) x)) (cbrt (* (/ 1 z) x)))
  (cbrt (* (/ 1 z) x))
  (* (* (* (/ 1 z) x) (* (/ 1 z) x)) (* (/ 1 z) x))
  (sqrt (* (/ 1 z) x))
  (sqrt (* (/ 1 z) x))
  (* (sqrt (/ 1 z)) (sqrt x))
  (* (sqrt (/ 1 z)) (sqrt x))
  (* (/ (sqrt 1) (sqrt z)) (sqrt x))
  (* (/ (sqrt 1) (sqrt z)) (sqrt x))
  (* (/ 1 (sqrt z)) (sqrt x))
  (* (/ 1 (sqrt z)) (sqrt x))
  (* (/ 1 z) (* (cbrt x) (cbrt x)))
  (* (/ 1 z) (sqrt x))
  (* (/ 1 z) 1)
  (* (cbrt (/ 1 z)) x)
  (* (sqrt (/ 1 z)) x)
  (* (/ (cbrt 1) (cbrt z)) x)
  (* (/ (cbrt 1) (sqrt z)) x)
  (* (/ (cbrt 1) z) x)
  (* (/ (sqrt 1) (cbrt z)) x)
  (* (/ (sqrt 1) (sqrt z)) x)
  (* (/ (sqrt 1) z) x)
  (* (/ 1 (cbrt z)) x)
  (* (/ 1 (sqrt z)) x)
  (* (/ 1 z) x)
  (* (/ 1 z) x)
  (* (/ 1 z) x)
  (* 1 x)
  (expm1 (fma y (/ 1 z) (- (* (/ 1 z) x))))
  (log1p (fma y (/ 1 z) (- (* (/ 1 z) x))))
  (* y (/ 1 z))
  (log (fma y (/ 1 z) (- (* (/ 1 z) x))))
  (exp (fma y (/ 1 z) (- (* (/ 1 z) x))))
  (* (cbrt (fma y (/ 1 z) (- (* (/ 1 z) x)))) (cbrt (fma y (/ 1 z) (- (* (/ 1 z) x)))))
  (cbrt (fma y (/ 1 z) (- (* (/ 1 z) x))))
  (* (* (fma y (/ 1 z) (- (* (/ 1 z) x))) (fma y (/ 1 z) (- (* (/ 1 z) x)))) (fma y (/ 1 z) (- (* (/ 1 z) x))))
  (sqrt (fma y (/ 1 z) (- (* (/ 1 z) x))))
  (sqrt (fma y (/ 1 z) (- (* (/ 1 z) x))))
  0
  0
  0
  (/ x z)
  (/ x z)
  (/ x z)
  (/ x z)
  (/ x z)
  (/ x z)
  (- (/ y z) (/ x z))
  (- (/ y z) (/ x z))
  (- (/ y z) (/ x z))
6.985 * * [simplify]: iteration 0: 99 enodes
7.011 * * [simplify]: iteration 1: 216 enodes
7.071 * * [simplify]: iteration 2: 960 enodes
7.459 * * [simplify]: iteration complete: 5000 enodes
7.459 * * [simplify]: Extracting #0: cost 40 inf + 0
7.460 * * [simplify]: Extracting #1: cost 672 inf + 2
7.466 * * [simplify]: Extracting #2: cost 1529 inf + 17229
7.492 * * [simplify]: Extracting #3: cost 708 inf + 112336
7.530 * * [simplify]: Extracting #4: cost 89 inf + 201103
7.574 * * [simplify]: Extracting #5: cost 11 inf + 216342
7.617 * * [simplify]: Extracting #6: cost 0 inf + 219747
7.698 * [simplify]: Simplified to:
  (expm1 (fma (/ -1 z) x (/ x z)))
  (log1p (fma (/ -1 z) x (/ x z)))
  (/ (- x) z)
  (log (fma (/ -1 z) x (/ x z)))
  (exp (fma (/ -1 z) x (/ x z)))
  (* (cbrt (fma (/ -1 z) x (/ x z))) (cbrt (fma (/ -1 z) x (/ x z))))
  (cbrt (fma (/ -1 z) x (/ x z)))
  (* (* (fma (/ -1 z) x (/ x z)) (fma (/ -1 z) x (/ x z))) (fma (/ -1 z) x (/ x z)))
  (sqrt (fma (/ -1 z) x (/ x z)))
  (sqrt (fma (/ -1 z) x (/ x z)))
  (expm1 (/ x z))
  (log1p (/ x z))
  (/ x z)
  (log (/ x z))
  (log (/ x z))
  (log (/ x z))
  (log (/ x z))
  (log (/ x z))
  (exp (/ x z))
  (* (/ x z) (/ (* x x) (* z z)))
  (* (/ x z) (/ (* x x) (* z z)))
  (* (cbrt (/ x z)) (cbrt (/ x z)))
  (cbrt (/ x z))
  (* (* (/ x z) (/ x z)) (/ x z))
  (sqrt (/ x z))
  (sqrt (/ x z))
  (* (sqrt x) (sqrt (/ 1 z)))
  (* (sqrt x) (sqrt (/ 1 z)))
  (/ (sqrt x) (sqrt z))
  (/ (sqrt x) (sqrt z))
  (/ (sqrt x) (sqrt z))
  (/ (sqrt x) (sqrt z))
  (* (/ (cbrt x) z) (cbrt x))
  (/ (sqrt x) z)
  (/ 1 z)
  (* x (cbrt (/ 1 z)))
  (* (sqrt (/ 1 z)) x)
  (/ x (cbrt z))
  (/ x (sqrt z))
  (/ x z)
  (/ x (cbrt z))
  (/ x (sqrt z))
  (/ x z)
  (/ x (cbrt z))
  (/ x (sqrt z))
  (/ x z)
  (/ x z)
  (/ x z)
  x
  (expm1 (/ x z))
  (log1p (/ x z))
  (/ x z)
  (log (/ x z))
  (log (/ x z))
  (log (/ x z))
  (log (/ x z))
  (log (/ x z))
  (exp (/ x z))
  (* (/ x z) (/ (* x x) (* z z)))
  (* (/ x z) (/ (* x x) (* z z)))
  (* (cbrt (/ x z)) (cbrt (/ x z)))
  (cbrt (/ x z))
  (* (* (/ x z) (/ x z)) (/ x z))
  (sqrt (/ x z))
  (sqrt (/ x z))
  (* (sqrt x) (sqrt (/ 1 z)))
  (* (sqrt x) (sqrt (/ 1 z)))
  (/ (sqrt x) (sqrt z))
  (/ (sqrt x) (sqrt z))
  (/ (sqrt x) (sqrt z))
  (/ (sqrt x) (sqrt z))
  (* (/ (cbrt x) z) (cbrt x))
  (/ (sqrt x) z)
  (/ 1 z)
  (* x (cbrt (/ 1 z)))
  (* (sqrt (/ 1 z)) x)
  (/ x (cbrt z))
  (/ x (sqrt z))
  (/ x z)
  (/ x (cbrt z))
  (/ x (sqrt z))
  (/ x z)
  (/ x (cbrt z))
  (/ x (sqrt z))
  (/ x z)
  (/ x z)
  (/ x z)
  x
  (expm1 (- (/ y z) (/ x z)))
  (log1p (- (/ y z) (/ x z)))
  (/ y z)
  (log (- (/ y z) (/ x z)))
  (exp (- (/ y z) (/ x z)))
  (* (cbrt (- (/ y z) (/ x z))) (cbrt (- (/ y z) (/ x z))))
  (cbrt (- (/ y z) (/ x z)))
  (* (* (- (/ y z) (/ x z)) (- (/ y z) (/ x z))) (- (/ y z) (/ x z)))
  (sqrt (- (/ y z) (/ x z)))
  (sqrt (- (/ y z) (/ x z)))
  0
  0
  0
  (/ x z)
  (/ x z)
  (/ x z)
  (/ x z)
  (/ x z)
  (/ x z)
  (- (/ y z) (/ x z))
  (- (/ y z) (/ x z))
  (- (/ y z) (/ x z))
7.711 * * * [progress]: adding candidates to table
8.401 * [progress]: [Phase 3 of 3] Extracting.
8.401 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ (+ x (fma y (/ 1 z) (- (* (/ 1 z) x)))) (fma (- (/ 1 z)) x (* (/ 1 z) x))))> #<alt (λ (x y z) (+ x (- (/ y z) (/ x z))))>)
8.402 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
8.403 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ (+ x (fma y (/ 1 z) (- (* (/ 1 z) x)))) (fma (- (/ 1 z)) x (* (/ 1 z) x))))> #<alt (λ (x y z) (+ x (- (/ y z) (/ x z))))>)
8.443 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ (+ x (fma y (/ 1 z) (- (* (/ 1 z) x)))) (fma (- (/ 1 z)) x (* (/ 1 z) x))))> #<alt (λ (x y z) (+ x (- (/ y z) (/ x z))))>)
8.476 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ (+ x (fma y (/ 1 z) (- (* (/ 1 z) x)))) (fma (- (/ 1 z)) x (* (/ 1 z) x))))> #<alt (λ (x y z) (+ x (- (/ y z) (/ x z))))>)
8.510 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
8.511 * [simplify]: Simplifying:
  (+ x (- (/ y z) (/ x z)))
8.511 * * [simplify]: iteration 0: 7 enodes
8.511 * * [simplify]: iteration 1: 8 enodes
8.511 * * [simplify]: iteration complete: 8 enodes
8.511 * * [simplify]: Extracting #0: cost 1 inf + 0
8.512 * * [simplify]: Extracting #1: cost 3 inf + 0
8.512 * * [simplify]: Extracting #2: cost 4 inf + 1
8.512 * * [simplify]: Extracting #3: cost 6 inf + 1
8.512 * * [simplify]: Extracting #4: cost 0 inf + 373
8.512 * [simplify]: Simplified to:
  (+ (- (/ y z) (/ x z)) x)
9.762 * [regime-testing]: Baseline error score: 0.013147884110694128
9.780 * [regime-testing]: Oracle error score: 0.007522180897792513
9.815 * [regime-testing]: End program error score: 0.013147884110694128