16.881 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.051 * * * [progress]: [2/2] Setting up program.
0.056 * [progress]: [Phase 2 of 3] Improving.
0.056 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y z) (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)))>
0.056 * [simplify]: Simplifying:
  (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))
0.056 * * [simplify]: iteration 0: 12 enodes
0.059 * * [simplify]: iteration 1: 22 enodes
0.062 * * [simplify]: iteration 2: 46 enodes
0.075 * * [simplify]: iteration 3: 110 enodes
0.124 * * [simplify]: iteration 4: 254 enodes
0.186 * * [simplify]: iteration 5: 476 enodes
0.311 * * [simplify]: iteration 6: 1000 enodes
0.833 * * [simplify]: iteration 7: 3848 enodes
1.630 * * [simplify]: iteration complete: 5001 enodes
1.630 * * [simplify]: Extracting #0: cost 1 inf + 0
1.630 * * [simplify]: Extracting #1: cost 159 inf + 0
1.632 * * [simplify]: Extracting #2: cost 905 inf + 42
1.638 * * [simplify]: Extracting #3: cost 1339 inf + 16369
1.665 * * [simplify]: Extracting #4: cost 462 inf + 118962
1.716 * * [simplify]: Extracting #5: cost 16 inf + 167840
1.760 * * [simplify]: Extracting #6: cost 0 inf + 168483
1.798 * [simplify]: Simplified to:
  (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0)
1.802 * * [progress]: iteration 1 / 4
1.802 * * * [progress]: picking best candidate
1.804 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0))>
1.804 * * * [progress]: localizing error
1.817 * * * [progress]: generating rewritten candidates
1.818 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 2)
1.828 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1.846 * * * [progress]: generating series expansions
1.846 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 2)
1.846 * [backup-simplify]: Simplify (/ (- z x) y) into (/ (- z x) y)
1.846 * [approximate]: Taking taylor expansion of (/ (- z x) y) in (z x y) around 0
1.847 * [taylor]: Taking taylor expansion of (/ (- z x) y) in y
1.847 * [taylor]: Taking taylor expansion of (- z x) in y
1.847 * [taylor]: Taking taylor expansion of z in y
1.847 * [backup-simplify]: Simplify z into z
1.847 * [taylor]: Taking taylor expansion of x in y
1.847 * [backup-simplify]: Simplify x into x
1.847 * [taylor]: Taking taylor expansion of y in y
1.847 * [backup-simplify]: Simplify 0 into 0
1.847 * [backup-simplify]: Simplify 1 into 1
1.847 * [backup-simplify]: Simplify (- x) into (- x)
1.847 * [backup-simplify]: Simplify (+ z (- x)) into (- z x)
1.847 * [backup-simplify]: Simplify (/ (- z x) 1) into (- z x)
1.847 * [taylor]: Taking taylor expansion of (/ (- z x) y) in x
1.847 * [taylor]: Taking taylor expansion of (- z x) in x
1.847 * [taylor]: Taking taylor expansion of z in x
1.847 * [backup-simplify]: Simplify z into z
1.847 * [taylor]: Taking taylor expansion of x in x
1.847 * [backup-simplify]: Simplify 0 into 0
1.847 * [backup-simplify]: Simplify 1 into 1
1.847 * [taylor]: Taking taylor expansion of y in x
1.847 * [backup-simplify]: Simplify y into y
1.847 * [backup-simplify]: Simplify (- 0) into 0
1.847 * [backup-simplify]: Simplify (+ z 0) into z
1.847 * [backup-simplify]: Simplify (/ z y) into (/ z y)
1.847 * [taylor]: Taking taylor expansion of (/ (- z x) y) in z
1.847 * [taylor]: Taking taylor expansion of (- z x) in z
1.847 * [taylor]: Taking taylor expansion of z in z
1.847 * [backup-simplify]: Simplify 0 into 0
1.847 * [backup-simplify]: Simplify 1 into 1
1.847 * [taylor]: Taking taylor expansion of x in z
1.847 * [backup-simplify]: Simplify x into x
1.848 * [taylor]: Taking taylor expansion of y in z
1.848 * [backup-simplify]: Simplify y into y
1.848 * [backup-simplify]: Simplify (- x) into (- x)
1.848 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
1.848 * [backup-simplify]: Simplify (/ (- x) y) into (* -1 (/ x y))
1.848 * [taylor]: Taking taylor expansion of (/ (- z x) y) in z
1.848 * [taylor]: Taking taylor expansion of (- z x) in z
1.848 * [taylor]: Taking taylor expansion of z in z
1.848 * [backup-simplify]: Simplify 0 into 0
1.848 * [backup-simplify]: Simplify 1 into 1
1.848 * [taylor]: Taking taylor expansion of x in z
1.848 * [backup-simplify]: Simplify x into x
1.848 * [taylor]: Taking taylor expansion of y in z
1.848 * [backup-simplify]: Simplify y into y
1.848 * [backup-simplify]: Simplify (- x) into (- x)
1.848 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
1.848 * [backup-simplify]: Simplify (/ (- x) y) into (* -1 (/ x y))
1.848 * [taylor]: Taking taylor expansion of (* -1 (/ x y)) in x
1.848 * [taylor]: Taking taylor expansion of -1 in x
1.848 * [backup-simplify]: Simplify -1 into -1
1.848 * [taylor]: Taking taylor expansion of (/ x y) in x
1.848 * [taylor]: Taking taylor expansion of x in x
1.848 * [backup-simplify]: Simplify 0 into 0
1.848 * [backup-simplify]: Simplify 1 into 1
1.848 * [taylor]: Taking taylor expansion of y in x
1.848 * [backup-simplify]: Simplify y into y
1.848 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.848 * [backup-simplify]: Simplify (- 0) into 0
1.849 * [backup-simplify]: Simplify (+ 1 0) into 1
1.849 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* (* -1 (/ x y)) (/ 0 y)))) into (/ 1 y)
1.849 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.849 * [taylor]: Taking taylor expansion of y in x
1.849 * [backup-simplify]: Simplify y into y
1.849 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.849 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.849 * [taylor]: Taking taylor expansion of y in y
1.849 * [backup-simplify]: Simplify 0 into 0
1.849 * [backup-simplify]: Simplify 1 into 1
1.849 * [backup-simplify]: Simplify (/ 1 1) into 1
1.849 * [backup-simplify]: Simplify 1 into 1
1.849 * [backup-simplify]: Simplify (* -1 (/ 1 y)) into (/ -1 y)
1.849 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.849 * [taylor]: Taking taylor expansion of -1 in y
1.849 * [backup-simplify]: Simplify -1 into -1
1.849 * [taylor]: Taking taylor expansion of y in y
1.849 * [backup-simplify]: Simplify 0 into 0
1.849 * [backup-simplify]: Simplify 1 into 1
1.850 * [backup-simplify]: Simplify (/ -1 1) into -1
1.850 * [backup-simplify]: Simplify -1 into -1
1.850 * [backup-simplify]: Simplify (- 0) into 0
1.850 * [backup-simplify]: Simplify (+ 0 0) into 0
1.850 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (* -1 (/ x y)) (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0
1.850 * [taylor]: Taking taylor expansion of 0 in x
1.850 * [backup-simplify]: Simplify 0 into 0
1.850 * [taylor]: Taking taylor expansion of 0 in y
1.850 * [backup-simplify]: Simplify 0 into 0
1.850 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.850 * [taylor]: Taking taylor expansion of 0 in y
1.850 * [backup-simplify]: Simplify 0 into 0
1.850 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
1.851 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 y))) into 0
1.851 * [taylor]: Taking taylor expansion of 0 in y
1.851 * [backup-simplify]: Simplify 0 into 0
1.851 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.851 * [backup-simplify]: Simplify 0 into 0
1.852 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1.852 * [backup-simplify]: Simplify 0 into 0
1.852 * [backup-simplify]: Simplify (- 0) into 0
1.852 * [backup-simplify]: Simplify (+ 0 0) into 0
1.852 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (* -1 (/ x y)) (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.853 * [taylor]: Taking taylor expansion of 0 in x
1.853 * [backup-simplify]: Simplify 0 into 0
1.853 * [taylor]: Taking taylor expansion of 0 in y
1.853 * [backup-simplify]: Simplify 0 into 0
1.853 * [taylor]: Taking taylor expansion of 0 in y
1.853 * [backup-simplify]: Simplify 0 into 0
1.853 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.853 * [taylor]: Taking taylor expansion of 0 in y
1.853 * [backup-simplify]: Simplify 0 into 0
1.853 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.857 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
1.857 * [taylor]: Taking taylor expansion of 0 in y
1.857 * [backup-simplify]: Simplify 0 into 0
1.857 * [backup-simplify]: Simplify 0 into 0
1.857 * [backup-simplify]: Simplify 0 into 0
1.857 * [backup-simplify]: Simplify 0 into 0
1.857 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.858 * [backup-simplify]: Simplify 0 into 0
1.858 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 y) (* x 1))) (* 1 (* (/ 1 y) (* 1 z)))) into (- (/ z y) (/ x y))
1.858 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) (/ 1 y)) into (* y (- (/ 1 z) (/ 1 x)))
1.858 * [approximate]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in (z x y) around 0
1.858 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y
1.858 * [taylor]: Taking taylor expansion of y in y
1.858 * [backup-simplify]: Simplify 0 into 0
1.858 * [backup-simplify]: Simplify 1 into 1
1.858 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
1.858 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.858 * [taylor]: Taking taylor expansion of z in y
1.858 * [backup-simplify]: Simplify z into z
1.858 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.858 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.858 * [taylor]: Taking taylor expansion of x in y
1.858 * [backup-simplify]: Simplify x into x
1.858 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.858 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x
1.858 * [taylor]: Taking taylor expansion of y in x
1.858 * [backup-simplify]: Simplify y into y
1.858 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
1.858 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.858 * [taylor]: Taking taylor expansion of z in x
1.858 * [backup-simplify]: Simplify z into z
1.858 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.858 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.858 * [taylor]: Taking taylor expansion of x in x
1.858 * [backup-simplify]: Simplify 0 into 0
1.858 * [backup-simplify]: Simplify 1 into 1
1.858 * [backup-simplify]: Simplify (/ 1 1) into 1
1.858 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in z
1.859 * [taylor]: Taking taylor expansion of y in z
1.859 * [backup-simplify]: Simplify y into y
1.859 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
1.859 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.859 * [taylor]: Taking taylor expansion of z in z
1.859 * [backup-simplify]: Simplify 0 into 0
1.859 * [backup-simplify]: Simplify 1 into 1
1.859 * [backup-simplify]: Simplify (/ 1 1) into 1
1.859 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.859 * [taylor]: Taking taylor expansion of x in z
1.859 * [backup-simplify]: Simplify x into x
1.859 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.859 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in z
1.859 * [taylor]: Taking taylor expansion of y in z
1.859 * [backup-simplify]: Simplify y into y
1.859 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
1.859 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.859 * [taylor]: Taking taylor expansion of z in z
1.859 * [backup-simplify]: Simplify 0 into 0
1.859 * [backup-simplify]: Simplify 1 into 1
1.859 * [backup-simplify]: Simplify (/ 1 1) into 1
1.859 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.859 * [taylor]: Taking taylor expansion of x in z
1.859 * [backup-simplify]: Simplify x into x
1.859 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.860 * [backup-simplify]: Simplify (+ 1 0) into 1
1.860 * [backup-simplify]: Simplify (* y 1) into y
1.860 * [taylor]: Taking taylor expansion of y in x
1.860 * [backup-simplify]: Simplify y into y
1.860 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.860 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
1.860 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
1.861 * [backup-simplify]: Simplify (+ (* y (- (/ 1 x))) (* 0 1)) into (- (/ y x))
1.861 * [taylor]: Taking taylor expansion of (- (/ y x)) in x
1.861 * [taylor]: Taking taylor expansion of (/ y x) in x
1.861 * [taylor]: Taking taylor expansion of y in x
1.861 * [backup-simplify]: Simplify y into y
1.861 * [taylor]: Taking taylor expansion of x in x
1.861 * [backup-simplify]: Simplify 0 into 0
1.861 * [backup-simplify]: Simplify 1 into 1
1.861 * [backup-simplify]: Simplify (/ y 1) into y
1.861 * [backup-simplify]: Simplify (- y) into (- y)
1.861 * [taylor]: Taking taylor expansion of (- y) in y
1.861 * [taylor]: Taking taylor expansion of y in y
1.861 * [backup-simplify]: Simplify 0 into 0
1.861 * [backup-simplify]: Simplify 1 into 1
1.861 * [backup-simplify]: Simplify (- 0) into 0
1.861 * [backup-simplify]: Simplify 0 into 0
1.861 * [taylor]: Taking taylor expansion of y in y
1.861 * [backup-simplify]: Simplify 0 into 0
1.861 * [backup-simplify]: Simplify 1 into 1
1.861 * [backup-simplify]: Simplify 0 into 0
1.862 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.862 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.862 * [backup-simplify]: Simplify (- 0) into 0
1.862 * [backup-simplify]: Simplify (+ 0 0) into 0
1.863 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (- (/ 1 x))) (* 0 1))) into 0
1.863 * [taylor]: Taking taylor expansion of 0 in x
1.863 * [backup-simplify]: Simplify 0 into 0
1.863 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
1.863 * [backup-simplify]: Simplify (- 0) into 0
1.863 * [taylor]: Taking taylor expansion of 0 in y
1.863 * [backup-simplify]: Simplify 0 into 0
1.863 * [backup-simplify]: Simplify 0 into 0
1.863 * [taylor]: Taking taylor expansion of 0 in y
1.863 * [backup-simplify]: Simplify 0 into 0
1.864 * [backup-simplify]: Simplify 0 into 0
1.864 * [backup-simplify]: Simplify (- 1) into -1
1.864 * [backup-simplify]: Simplify -1 into -1
1.864 * [backup-simplify]: Simplify 1 into 1
1.865 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.865 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.865 * [backup-simplify]: Simplify (- 0) into 0
1.865 * [backup-simplify]: Simplify (+ 0 0) into 0
1.866 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (- (/ 1 x))) (* 0 1)))) into 0
1.866 * [taylor]: Taking taylor expansion of 0 in x
1.866 * [backup-simplify]: Simplify 0 into 0
1.866 * [taylor]: Taking taylor expansion of 0 in y
1.866 * [backup-simplify]: Simplify 0 into 0
1.866 * [backup-simplify]: Simplify 0 into 0
1.867 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.867 * [backup-simplify]: Simplify (- 0) into 0
1.867 * [taylor]: Taking taylor expansion of 0 in y
1.867 * [backup-simplify]: Simplify 0 into 0
1.867 * [backup-simplify]: Simplify 0 into 0
1.867 * [taylor]: Taking taylor expansion of 0 in y
1.867 * [backup-simplify]: Simplify 0 into 0
1.867 * [backup-simplify]: Simplify 0 into 0
1.867 * [backup-simplify]: Simplify 0 into 0
1.867 * [backup-simplify]: Simplify 0 into 0
1.867 * [backup-simplify]: Simplify (- 0) into 0
1.867 * [backup-simplify]: Simplify 0 into 0
1.867 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 y) (* 1 (/ 1 (/ 1 z))))) (* -1 (* (/ 1 y) (* (/ 1 (/ 1 x)) 1)))) into (- (/ z y) (/ x y))
1.868 * [backup-simplify]: Simplify (/ (- (/ 1 (- z)) (/ 1 (- x))) (/ 1 (- y))) into (* -1 (* (- (/ 1 x) (/ 1 z)) y))
1.868 * [approximate]: Taking taylor expansion of (* -1 (* (- (/ 1 x) (/ 1 z)) y)) in (z x y) around 0
1.868 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 x) (/ 1 z)) y)) in y
1.868 * [taylor]: Taking taylor expansion of -1 in y
1.868 * [backup-simplify]: Simplify -1 into -1
1.868 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in y
1.868 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
1.868 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.868 * [taylor]: Taking taylor expansion of x in y
1.868 * [backup-simplify]: Simplify x into x
1.868 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.868 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.868 * [taylor]: Taking taylor expansion of z in y
1.868 * [backup-simplify]: Simplify z into z
1.868 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.868 * [taylor]: Taking taylor expansion of y in y
1.868 * [backup-simplify]: Simplify 0 into 0
1.868 * [backup-simplify]: Simplify 1 into 1
1.868 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 x) (/ 1 z)) y)) in x
1.868 * [taylor]: Taking taylor expansion of -1 in x
1.868 * [backup-simplify]: Simplify -1 into -1
1.868 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in x
1.868 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
1.868 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.868 * [taylor]: Taking taylor expansion of x in x
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 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.868 * [taylor]: Taking taylor expansion of z in x
1.868 * [backup-simplify]: Simplify z into z
1.868 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.868 * [taylor]: Taking taylor expansion of y in x
1.868 * [backup-simplify]: Simplify y into y
1.868 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 x) (/ 1 z)) y)) 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 (* (- (/ 1 x) (/ 1 z)) y) in z
1.868 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
1.868 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.868 * [taylor]: Taking taylor expansion of x in z
1.868 * [backup-simplify]: Simplify x into x
1.868 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
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.869 * [backup-simplify]: Simplify 1 into 1
1.869 * [backup-simplify]: Simplify (/ 1 1) into 1
1.869 * [taylor]: Taking taylor expansion of y in z
1.869 * [backup-simplify]: Simplify y into y
1.869 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 x) (/ 1 z)) y)) in z
1.869 * [taylor]: Taking taylor expansion of -1 in z
1.869 * [backup-simplify]: Simplify -1 into -1
1.869 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in z
1.869 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
1.869 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.869 * [taylor]: Taking taylor expansion of x in z
1.869 * [backup-simplify]: Simplify x into x
1.869 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.869 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.869 * [taylor]: Taking taylor expansion of z in z
1.869 * [backup-simplify]: Simplify 0 into 0
1.869 * [backup-simplify]: Simplify 1 into 1
1.869 * [backup-simplify]: Simplify (/ 1 1) into 1
1.869 * [taylor]: Taking taylor expansion of y in z
1.869 * [backup-simplify]: Simplify y into y
1.870 * [backup-simplify]: Simplify (- 1) into -1
1.870 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.870 * [backup-simplify]: Simplify (* -1 y) into (* -1 y)
1.870 * [backup-simplify]: Simplify (* -1 (* -1 y)) into y
1.870 * [taylor]: Taking taylor expansion of y in x
1.870 * [backup-simplify]: Simplify y into y
1.870 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.871 * [backup-simplify]: Simplify (- 0) into 0
1.871 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
1.871 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 x) y)) into (/ y x)
1.871 * [backup-simplify]: Simplify (+ (* -1 (/ y x)) (* 0 (* -1 y))) into (- (/ y x))
1.871 * [taylor]: Taking taylor expansion of (- (/ y x)) in x
1.871 * [taylor]: Taking taylor expansion of (/ y x) in x
1.871 * [taylor]: Taking taylor expansion of y in x
1.871 * [backup-simplify]: Simplify y into y
1.871 * [taylor]: Taking taylor expansion of x in x
1.871 * [backup-simplify]: Simplify 0 into 0
1.871 * [backup-simplify]: Simplify 1 into 1
1.871 * [backup-simplify]: Simplify (/ y 1) into y
1.871 * [backup-simplify]: Simplify (- y) into (- y)
1.871 * [taylor]: Taking taylor expansion of (- y) in y
1.871 * [taylor]: Taking taylor expansion of y in y
1.871 * [backup-simplify]: Simplify 0 into 0
1.871 * [backup-simplify]: Simplify 1 into 1
1.871 * [backup-simplify]: Simplify (- 0) into 0
1.872 * [backup-simplify]: Simplify 0 into 0
1.872 * [taylor]: Taking taylor expansion of y in y
1.872 * [backup-simplify]: Simplify 0 into 0
1.872 * [backup-simplify]: Simplify 1 into 1
1.872 * [backup-simplify]: Simplify 0 into 0
1.872 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.872 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.872 * [backup-simplify]: Simplify (- 0) into 0
1.873 * [backup-simplify]: Simplify (+ 0 0) into 0
1.873 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (* 0 y))) into 0
1.873 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ y x)) (* 0 (* -1 y)))) into 0
1.873 * [taylor]: Taking taylor expansion of 0 in x
1.873 * [backup-simplify]: Simplify 0 into 0
1.874 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
1.874 * [backup-simplify]: Simplify (- 0) into 0
1.874 * [taylor]: Taking taylor expansion of 0 in y
1.874 * [backup-simplify]: Simplify 0 into 0
1.874 * [backup-simplify]: Simplify 0 into 0
1.874 * [taylor]: Taking taylor expansion of 0 in y
1.874 * [backup-simplify]: Simplify 0 into 0
1.874 * [backup-simplify]: Simplify 0 into 0
1.875 * [backup-simplify]: Simplify (- 1) into -1
1.875 * [backup-simplify]: Simplify -1 into -1
1.875 * [backup-simplify]: Simplify 1 into 1
1.875 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.875 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.876 * [backup-simplify]: Simplify (- 0) into 0
1.876 * [backup-simplify]: Simplify (+ 0 0) into 0
1.876 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (+ (* 0 0) (* 0 y)))) into 0
1.877 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ y x)) (* 0 (* -1 y))))) into 0
1.877 * [taylor]: Taking taylor expansion of 0 in x
1.877 * [backup-simplify]: Simplify 0 into 0
1.877 * [taylor]: Taking taylor expansion of 0 in y
1.877 * [backup-simplify]: Simplify 0 into 0
1.877 * [backup-simplify]: Simplify 0 into 0
1.878 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.878 * [backup-simplify]: Simplify (- 0) into 0
1.878 * [taylor]: Taking taylor expansion of 0 in y
1.878 * [backup-simplify]: Simplify 0 into 0
1.878 * [backup-simplify]: Simplify 0 into 0
1.878 * [taylor]: Taking taylor expansion of 0 in y
1.878 * [backup-simplify]: Simplify 0 into 0
1.878 * [backup-simplify]: Simplify 0 into 0
1.878 * [backup-simplify]: Simplify 0 into 0
1.878 * [backup-simplify]: Simplify 0 into 0
1.878 * [backup-simplify]: Simplify (- 0) into 0
1.878 * [backup-simplify]: Simplify 0 into 0
1.879 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- y)) (* 1 (/ 1 (/ 1 (- z)))))) (* -1 (* (/ 1 (- y)) (* (/ 1 (/ 1 (- x))) 1)))) into (- (/ z y) (/ x y))
1.879 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.879 * [backup-simplify]: Simplify (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0) into (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y)))
1.879 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in (z x y) around 0
1.879 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in y
1.879 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in y
1.879 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in y
1.879 * [taylor]: Taking taylor expansion of 4.0 in y
1.879 * [backup-simplify]: Simplify 4.0 into 4.0
1.879 * [taylor]: Taking taylor expansion of (/ x y) in y
1.879 * [taylor]: Taking taylor expansion of x in y
1.879 * [backup-simplify]: Simplify x into x
1.879 * [taylor]: Taking taylor expansion of y in y
1.879 * [backup-simplify]: Simplify 0 into 0
1.879 * [backup-simplify]: Simplify 1 into 1
1.879 * [backup-simplify]: Simplify (/ x 1) into x
1.879 * [taylor]: Taking taylor expansion of 2.0 in y
1.879 * [backup-simplify]: Simplify 2.0 into 2.0
1.879 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y
1.879 * [taylor]: Taking taylor expansion of 4.0 in y
1.879 * [backup-simplify]: Simplify 4.0 into 4.0
1.879 * [taylor]: Taking taylor expansion of (/ z y) in y
1.879 * [taylor]: Taking taylor expansion of z in y
1.879 * [backup-simplify]: Simplify z into z
1.879 * [taylor]: Taking taylor expansion of y in y
1.879 * [backup-simplify]: Simplify 0 into 0
1.879 * [backup-simplify]: Simplify 1 into 1
1.879 * [backup-simplify]: Simplify (/ z 1) into z
1.879 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in x
1.879 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in x
1.879 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in x
1.879 * [taylor]: Taking taylor expansion of 4.0 in x
1.879 * [backup-simplify]: Simplify 4.0 into 4.0
1.879 * [taylor]: Taking taylor expansion of (/ x y) in x
1.879 * [taylor]: Taking taylor expansion of x in x
1.879 * [backup-simplify]: Simplify 0 into 0
1.879 * [backup-simplify]: Simplify 1 into 1
1.879 * [taylor]: Taking taylor expansion of y in x
1.879 * [backup-simplify]: Simplify y into y
1.880 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.880 * [taylor]: Taking taylor expansion of 2.0 in x
1.880 * [backup-simplify]: Simplify 2.0 into 2.0
1.880 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in x
1.880 * [taylor]: Taking taylor expansion of 4.0 in x
1.880 * [backup-simplify]: Simplify 4.0 into 4.0
1.880 * [taylor]: Taking taylor expansion of (/ z y) in x
1.880 * [taylor]: Taking taylor expansion of z in x
1.880 * [backup-simplify]: Simplify z into z
1.880 * [taylor]: Taking taylor expansion of y in x
1.880 * [backup-simplify]: Simplify y into y
1.880 * [backup-simplify]: Simplify (/ z y) into (/ z y)
1.880 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in z
1.880 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in z
1.880 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in z
1.880 * [taylor]: Taking taylor expansion of 4.0 in z
1.880 * [backup-simplify]: Simplify 4.0 into 4.0
1.880 * [taylor]: Taking taylor expansion of (/ x y) in z
1.880 * [taylor]: Taking taylor expansion of x in z
1.880 * [backup-simplify]: Simplify x into x
1.880 * [taylor]: Taking taylor expansion of y in z
1.880 * [backup-simplify]: Simplify y into y
1.880 * [backup-simplify]: Simplify (/ x y) into (/ x y)
1.880 * [taylor]: Taking taylor expansion of 2.0 in z
1.880 * [backup-simplify]: Simplify 2.0 into 2.0
1.880 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in z
1.880 * [taylor]: Taking taylor expansion of 4.0 in z
1.880 * [backup-simplify]: Simplify 4.0 into 4.0
1.880 * [taylor]: Taking taylor expansion of (/ z y) in z
1.880 * [taylor]: Taking taylor expansion of z in z
1.880 * [backup-simplify]: Simplify 0 into 0
1.880 * [backup-simplify]: Simplify 1 into 1
1.880 * [taylor]: Taking taylor expansion of y in z
1.880 * [backup-simplify]: Simplify y into y
1.880 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.880 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in z
1.880 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in z
1.880 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in z
1.880 * [taylor]: Taking taylor expansion of 4.0 in z
1.880 * [backup-simplify]: Simplify 4.0 into 4.0
1.880 * [taylor]: Taking taylor expansion of (/ x y) in z
1.880 * [taylor]: Taking taylor expansion of x in z
1.880 * [backup-simplify]: Simplify x into x
1.880 * [taylor]: Taking taylor expansion of y in z
1.880 * [backup-simplify]: Simplify y into y
1.880 * [backup-simplify]: Simplify (/ x y) into (/ x y)
1.880 * [taylor]: Taking taylor expansion of 2.0 in z
1.880 * [backup-simplify]: Simplify 2.0 into 2.0
1.880 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in z
1.880 * [taylor]: Taking taylor expansion of 4.0 in z
1.880 * [backup-simplify]: Simplify 4.0 into 4.0
1.880 * [taylor]: Taking taylor expansion of (/ z y) in z
1.880 * [taylor]: Taking taylor expansion of z in z
1.880 * [backup-simplify]: Simplify 0 into 0
1.880 * [backup-simplify]: Simplify 1 into 1
1.880 * [taylor]: Taking taylor expansion of y in z
1.880 * [backup-simplify]: Simplify y into y
1.880 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.881 * [backup-simplify]: Simplify (* 4.0 (/ x y)) into (* 4.0 (/ x y))
1.881 * [backup-simplify]: Simplify (+ (* 4.0 (/ x y)) 2.0) into (+ (* 4.0 (/ x y)) 2.0)
1.881 * [backup-simplify]: Simplify (+ (+ (* 4.0 (/ x y)) 2.0) 0) into (+ (* 4.0 (/ x y)) 2.0)
1.881 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in x
1.881 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in x
1.881 * [taylor]: Taking taylor expansion of 4.0 in x
1.881 * [backup-simplify]: Simplify 4.0 into 4.0
1.881 * [taylor]: Taking taylor expansion of (/ x y) in x
1.881 * [taylor]: Taking taylor expansion of x in x
1.881 * [backup-simplify]: Simplify 0 into 0
1.881 * [backup-simplify]: Simplify 1 into 1
1.881 * [taylor]: Taking taylor expansion of y in x
1.881 * [backup-simplify]: Simplify y into y
1.881 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.881 * [taylor]: Taking taylor expansion of 2.0 in x
1.881 * [backup-simplify]: Simplify 2.0 into 2.0
1.881 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
1.881 * [taylor]: Taking taylor expansion of 2.0 in y
1.881 * [backup-simplify]: Simplify 2.0 into 2.0
1.881 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ x y) (/ 0 y)))) into 0
1.882 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ x y))) into 0
1.882 * [backup-simplify]: Simplify (+ 0 0) into 0
1.882 * [backup-simplify]: Simplify (* 4.0 (/ 1 y)) into (/ 4.0 y)
1.882 * [backup-simplify]: Simplify (- (/ 4.0 y)) into (- (* 4.0 (/ 1 y)))
1.882 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 y)))) into (- (* 4.0 (/ 1 y)))
1.882 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y))) in x
1.882 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
1.882 * [taylor]: Taking taylor expansion of 4.0 in x
1.882 * [backup-simplify]: Simplify 4.0 into 4.0
1.882 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.882 * [taylor]: Taking taylor expansion of y in x
1.882 * [backup-simplify]: Simplify y into y
1.882 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.882 * [backup-simplify]: Simplify (* 4.0 (/ 1 y)) into (/ 4.0 y)
1.882 * [backup-simplify]: Simplify (- (/ 4.0 y)) into (- (* 4.0 (/ 1 y)))
1.882 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y))) in y
1.882 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
1.882 * [taylor]: Taking taylor expansion of 4.0 in y
1.882 * [backup-simplify]: Simplify 4.0 into 4.0
1.882 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.882 * [taylor]: Taking taylor expansion of y in y
1.882 * [backup-simplify]: Simplify 0 into 0
1.882 * [backup-simplify]: Simplify 1 into 1
1.883 * [backup-simplify]: Simplify (/ 1 1) into 1
1.883 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
1.883 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
1.883 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
1.883 * [backup-simplify]: Simplify (* 4.0 (/ 1 y)) into (/ 4.0 y)
1.884 * [backup-simplify]: Simplify (+ (/ 4.0 y) 0) into (* 4.0 (/ 1 y))
1.884 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
1.884 * [taylor]: Taking taylor expansion of 4.0 in y
1.884 * [backup-simplify]: Simplify 4.0 into 4.0
1.884 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.884 * [taylor]: Taking taylor expansion of y in y
1.884 * [backup-simplify]: Simplify 0 into 0
1.884 * [backup-simplify]: Simplify 1 into 1
1.884 * [backup-simplify]: Simplify (/ 1 1) into 1
1.884 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
1.884 * [backup-simplify]: Simplify 4.0 into 4.0
1.884 * [backup-simplify]: Simplify 2.0 into 2.0
1.885 * [backup-simplify]: Simplify (+ 2.0 (+ (* 4.0 (* (/ 1 y) (* x 1))) (* (- 4.0) (* (/ 1 y) (* 1 z))))) into (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y)))
1.885 * [backup-simplify]: Simplify (+ (* (- 0.25 (/ (- (/ 1 z) (/ 1 x)) (/ 1 y))) 4.0) 1.0) into (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z)))
1.885 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in (z x y) around 0
1.885 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in y
1.885 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in y
1.885 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in y
1.885 * [taylor]: Taking taylor expansion of 4.0 in y
1.885 * [backup-simplify]: Simplify 4.0 into 4.0
1.885 * [taylor]: Taking taylor expansion of (/ y x) in y
1.885 * [taylor]: Taking taylor expansion of y in y
1.885 * [backup-simplify]: Simplify 0 into 0
1.885 * [backup-simplify]: Simplify 1 into 1
1.885 * [taylor]: Taking taylor expansion of x in y
1.885 * [backup-simplify]: Simplify x into x
1.885 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.885 * [taylor]: Taking taylor expansion of 2.0 in y
1.885 * [backup-simplify]: Simplify 2.0 into 2.0
1.885 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
1.885 * [taylor]: Taking taylor expansion of 4.0 in y
1.885 * [backup-simplify]: Simplify 4.0 into 4.0
1.885 * [taylor]: Taking taylor expansion of (/ y z) in y
1.885 * [taylor]: Taking taylor expansion of y in y
1.885 * [backup-simplify]: Simplify 0 into 0
1.885 * [backup-simplify]: Simplify 1 into 1
1.885 * [taylor]: Taking taylor expansion of z in y
1.885 * [backup-simplify]: Simplify z into z
1.885 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.885 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in x
1.885 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x
1.885 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x
1.885 * [taylor]: Taking taylor expansion of 4.0 in x
1.885 * [backup-simplify]: Simplify 4.0 into 4.0
1.885 * [taylor]: Taking taylor expansion of (/ y x) in x
1.885 * [taylor]: Taking taylor expansion of y in x
1.885 * [backup-simplify]: Simplify y into y
1.885 * [taylor]: Taking taylor expansion of x in x
1.885 * [backup-simplify]: Simplify 0 into 0
1.885 * [backup-simplify]: Simplify 1 into 1
1.885 * [backup-simplify]: Simplify (/ y 1) into y
1.885 * [taylor]: Taking taylor expansion of 2.0 in x
1.885 * [backup-simplify]: Simplify 2.0 into 2.0
1.885 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x
1.886 * [taylor]: Taking taylor expansion of 4.0 in x
1.886 * [backup-simplify]: Simplify 4.0 into 4.0
1.886 * [taylor]: Taking taylor expansion of (/ y z) in x
1.886 * [taylor]: Taking taylor expansion of y in x
1.886 * [backup-simplify]: Simplify y into y
1.886 * [taylor]: Taking taylor expansion of z in x
1.886 * [backup-simplify]: Simplify z into z
1.886 * [backup-simplify]: Simplify (/ y z) into (/ y z)
1.886 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in z
1.886 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in z
1.886 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z
1.886 * [taylor]: Taking taylor expansion of 4.0 in z
1.886 * [backup-simplify]: Simplify 4.0 into 4.0
1.886 * [taylor]: Taking taylor expansion of (/ y x) in z
1.886 * [taylor]: Taking taylor expansion of y in z
1.886 * [backup-simplify]: Simplify y into y
1.886 * [taylor]: Taking taylor expansion of x in z
1.886 * [backup-simplify]: Simplify x into x
1.886 * [backup-simplify]: Simplify (/ y x) into (/ y x)
1.886 * [taylor]: Taking taylor expansion of 2.0 in z
1.886 * [backup-simplify]: Simplify 2.0 into 2.0
1.886 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z
1.886 * [taylor]: Taking taylor expansion of 4.0 in z
1.886 * [backup-simplify]: Simplify 4.0 into 4.0
1.886 * [taylor]: Taking taylor expansion of (/ y z) in z
1.886 * [taylor]: Taking taylor expansion of y in z
1.886 * [backup-simplify]: Simplify y into y
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 * [backup-simplify]: Simplify (/ y 1) into y
1.886 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in z
1.886 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in z
1.886 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z
1.886 * [taylor]: Taking taylor expansion of 4.0 in z
1.886 * [backup-simplify]: Simplify 4.0 into 4.0
1.886 * [taylor]: Taking taylor expansion of (/ y x) in z
1.886 * [taylor]: Taking taylor expansion of y in z
1.886 * [backup-simplify]: Simplify y into y
1.886 * [taylor]: Taking taylor expansion of x in z
1.886 * [backup-simplify]: Simplify x into x
1.886 * [backup-simplify]: Simplify (/ y x) into (/ y x)
1.886 * [taylor]: Taking taylor expansion of 2.0 in z
1.886 * [backup-simplify]: Simplify 2.0 into 2.0
1.886 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z
1.886 * [taylor]: Taking taylor expansion of 4.0 in z
1.886 * [backup-simplify]: Simplify 4.0 into 4.0
1.886 * [taylor]: Taking taylor expansion of (/ y z) in z
1.886 * [taylor]: Taking taylor expansion of y in z
1.886 * [backup-simplify]: Simplify y into y
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 * [backup-simplify]: Simplify (/ y 1) into y
1.886 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
1.886 * [backup-simplify]: Simplify (- (* 4.0 y)) into (- (* 4.0 y))
1.887 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 y))) into (- (* 4.0 y))
1.887 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in x
1.887 * [taylor]: Taking taylor expansion of (* 4.0 y) in x
1.887 * [taylor]: Taking taylor expansion of 4.0 in x
1.887 * [backup-simplify]: Simplify 4.0 into 4.0
1.887 * [taylor]: Taking taylor expansion of y in x
1.887 * [backup-simplify]: Simplify y into y
1.887 * [backup-simplify]: Simplify (* 4.0 (/ y x)) into (* 4.0 (/ y x))
1.887 * [backup-simplify]: Simplify (+ (* 4.0 (/ y x)) 2.0) into (+ (* 4.0 (/ y x)) 2.0)
1.887 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
1.888 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0
1.888 * [backup-simplify]: Simplify (- 0) into 0
1.888 * [backup-simplify]: Simplify (+ (+ (* 4.0 (/ y x)) 2.0) 0) into (+ (* 4.0 (/ y x)) 2.0)
1.888 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x
1.888 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x
1.888 * [taylor]: Taking taylor expansion of 4.0 in x
1.888 * [backup-simplify]: Simplify 4.0 into 4.0
1.888 * [taylor]: Taking taylor expansion of (/ y x) in x
1.888 * [taylor]: Taking taylor expansion of y in x
1.888 * [backup-simplify]: Simplify y into y
1.888 * [taylor]: Taking taylor expansion of x in x
1.888 * [backup-simplify]: Simplify 0 into 0
1.888 * [backup-simplify]: Simplify 1 into 1
1.888 * [backup-simplify]: Simplify (/ y 1) into y
1.888 * [taylor]: Taking taylor expansion of 2.0 in x
1.888 * [backup-simplify]: Simplify 2.0 into 2.0
1.888 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
1.888 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y)
1.888 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
1.888 * [taylor]: Taking taylor expansion of 4.0 in y
1.888 * [backup-simplify]: Simplify 4.0 into 4.0
1.888 * [taylor]: Taking taylor expansion of y in y
1.888 * [backup-simplify]: Simplify 0 into 0
1.888 * [backup-simplify]: Simplify 1 into 1
1.889 * [backup-simplify]: Simplify (* 4.0 0) into 0
1.889 * [backup-simplify]: Simplify 0 into 0
1.889 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
1.889 * [backup-simplify]: Simplify (- (* 4.0 y)) into (- (* 4.0 y))
1.889 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y
1.889 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
1.889 * [taylor]: Taking taylor expansion of 4.0 in y
1.889 * [backup-simplify]: Simplify 4.0 into 4.0
1.889 * [taylor]: Taking taylor expansion of y in y
1.889 * [backup-simplify]: Simplify 0 into 0
1.889 * [backup-simplify]: Simplify 1 into 1
1.889 * [backup-simplify]: Simplify (* 4.0 0) into 0
1.889 * [backup-simplify]: Simplify (- 0) into 0
1.889 * [backup-simplify]: Simplify 0 into 0
1.889 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ y x) (/ 0 x)))) into 0
1.890 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ y x))) into 0
1.890 * [backup-simplify]: Simplify (+ 0 0) into 0
1.891 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.891 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 y))) into 0
1.892 * [backup-simplify]: Simplify (- 0) into 0
1.892 * [backup-simplify]: Simplify (+ 0 0) into 0
1.892 * [taylor]: Taking taylor expansion of 0 in x
1.892 * [backup-simplify]: Simplify 0 into 0
1.892 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
1.893 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0
1.893 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
1.893 * [taylor]: Taking taylor expansion of 2.0 in y
1.893 * [backup-simplify]: Simplify 2.0 into 2.0
1.893 * [backup-simplify]: Simplify 2.0 into 2.0
1.893 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0
1.893 * [backup-simplify]: Simplify (- 0) into 0
1.894 * [taylor]: Taking taylor expansion of 0 in y
1.894 * [backup-simplify]: Simplify 0 into 0
1.894 * [backup-simplify]: Simplify 0 into 0
1.894 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
1.894 * [backup-simplify]: Simplify 4.0 into 4.0
1.895 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
1.896 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
1.896 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
1.896 * [backup-simplify]: Simplify (+ (* (- 4.0) (* (/ 1 y) (* 1 (/ 1 (/ 1 z))))) (+ (* 4.0 (* (/ 1 y) (* (/ 1 (/ 1 x)) 1))) 2.0)) into (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y)))
1.896 * [backup-simplify]: Simplify (+ (* (- 0.25 (/ (- (/ 1 (- z)) (/ 1 (- x))) (/ 1 (- y)))) 4.0) 1.0) into (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z)))
1.896 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in (z x y) around 0
1.897 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in y
1.897 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in y
1.897 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in y
1.897 * [taylor]: Taking taylor expansion of 4.0 in y
1.897 * [backup-simplify]: Simplify 4.0 into 4.0
1.897 * [taylor]: Taking taylor expansion of (/ y x) in y
1.897 * [taylor]: Taking taylor expansion of y in y
1.897 * [backup-simplify]: Simplify 0 into 0
1.897 * [backup-simplify]: Simplify 1 into 1
1.897 * [taylor]: Taking taylor expansion of x in y
1.897 * [backup-simplify]: Simplify x into x
1.897 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.897 * [taylor]: Taking taylor expansion of 2.0 in y
1.897 * [backup-simplify]: Simplify 2.0 into 2.0
1.897 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
1.897 * [taylor]: Taking taylor expansion of 4.0 in y
1.897 * [backup-simplify]: Simplify 4.0 into 4.0
1.897 * [taylor]: Taking taylor expansion of (/ y z) in y
1.897 * [taylor]: Taking taylor expansion of y in y
1.897 * [backup-simplify]: Simplify 0 into 0
1.897 * [backup-simplify]: Simplify 1 into 1
1.897 * [taylor]: Taking taylor expansion of z in y
1.897 * [backup-simplify]: Simplify z into z
1.897 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.897 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in x
1.897 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x
1.897 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x
1.897 * [taylor]: Taking taylor expansion of 4.0 in x
1.897 * [backup-simplify]: Simplify 4.0 into 4.0
1.897 * [taylor]: Taking taylor expansion of (/ y x) in x
1.897 * [taylor]: Taking taylor expansion of y in x
1.897 * [backup-simplify]: Simplify y into y
1.897 * [taylor]: Taking taylor expansion of x in x
1.897 * [backup-simplify]: Simplify 0 into 0
1.897 * [backup-simplify]: Simplify 1 into 1
1.897 * [backup-simplify]: Simplify (/ y 1) into y
1.897 * [taylor]: Taking taylor expansion of 2.0 in x
1.897 * [backup-simplify]: Simplify 2.0 into 2.0
1.897 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x
1.897 * [taylor]: Taking taylor expansion of 4.0 in x
1.897 * [backup-simplify]: Simplify 4.0 into 4.0
1.897 * [taylor]: Taking taylor expansion of (/ y z) in x
1.897 * [taylor]: Taking taylor expansion of y in x
1.897 * [backup-simplify]: Simplify y into y
1.897 * [taylor]: Taking taylor expansion of z in x
1.897 * [backup-simplify]: Simplify z into z
1.897 * [backup-simplify]: Simplify (/ y z) into (/ y z)
1.897 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in z
1.897 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in z
1.897 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z
1.897 * [taylor]: Taking taylor expansion of 4.0 in z
1.897 * [backup-simplify]: Simplify 4.0 into 4.0
1.897 * [taylor]: Taking taylor expansion of (/ y x) in z
1.897 * [taylor]: Taking taylor expansion of y in z
1.897 * [backup-simplify]: Simplify y into y
1.897 * [taylor]: Taking taylor expansion of x in z
1.897 * [backup-simplify]: Simplify x into x
1.897 * [backup-simplify]: Simplify (/ y x) into (/ y x)
1.897 * [taylor]: Taking taylor expansion of 2.0 in z
1.897 * [backup-simplify]: Simplify 2.0 into 2.0
1.897 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z
1.898 * [taylor]: Taking taylor expansion of 4.0 in z
1.898 * [backup-simplify]: Simplify 4.0 into 4.0
1.898 * [taylor]: Taking taylor expansion of (/ y z) in z
1.898 * [taylor]: Taking taylor expansion of y in z
1.898 * [backup-simplify]: Simplify y into y
1.898 * [taylor]: Taking taylor expansion of z in z
1.898 * [backup-simplify]: Simplify 0 into 0
1.898 * [backup-simplify]: Simplify 1 into 1
1.898 * [backup-simplify]: Simplify (/ y 1) into y
1.898 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in z
1.898 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in z
1.898 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z
1.898 * [taylor]: Taking taylor expansion of 4.0 in z
1.898 * [backup-simplify]: Simplify 4.0 into 4.0
1.898 * [taylor]: Taking taylor expansion of (/ y x) in z
1.898 * [taylor]: Taking taylor expansion of y in z
1.898 * [backup-simplify]: Simplify y into y
1.898 * [taylor]: Taking taylor expansion of x in z
1.898 * [backup-simplify]: Simplify x into x
1.898 * [backup-simplify]: Simplify (/ y x) into (/ y x)
1.898 * [taylor]: Taking taylor expansion of 2.0 in z
1.898 * [backup-simplify]: Simplify 2.0 into 2.0
1.898 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z
1.898 * [taylor]: Taking taylor expansion of 4.0 in z
1.898 * [backup-simplify]: Simplify 4.0 into 4.0
1.898 * [taylor]: Taking taylor expansion of (/ y z) in z
1.898 * [taylor]: Taking taylor expansion of y in z
1.898 * [backup-simplify]: Simplify y into y
1.898 * [taylor]: Taking taylor expansion of z in z
1.898 * [backup-simplify]: Simplify 0 into 0
1.898 * [backup-simplify]: Simplify 1 into 1
1.898 * [backup-simplify]: Simplify (/ y 1) into y
1.898 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
1.898 * [backup-simplify]: Simplify (- (* 4.0 y)) into (- (* 4.0 y))
1.898 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 y))) into (- (* 4.0 y))
1.898 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in x
1.898 * [taylor]: Taking taylor expansion of (* 4.0 y) in x
1.898 * [taylor]: Taking taylor expansion of 4.0 in x
1.898 * [backup-simplify]: Simplify 4.0 into 4.0
1.898 * [taylor]: Taking taylor expansion of y in x
1.898 * [backup-simplify]: Simplify y into y
1.898 * [backup-simplify]: Simplify (* 4.0 (/ y x)) into (* 4.0 (/ y x))
1.898 * [backup-simplify]: Simplify (+ (* 4.0 (/ y x)) 2.0) into (+ (* 4.0 (/ y x)) 2.0)
1.899 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
1.899 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0
1.899 * [backup-simplify]: Simplify (- 0) into 0
1.900 * [backup-simplify]: Simplify (+ (+ (* 4.0 (/ y x)) 2.0) 0) into (+ (* 4.0 (/ y x)) 2.0)
1.900 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x
1.900 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x
1.900 * [taylor]: Taking taylor expansion of 4.0 in x
1.900 * [backup-simplify]: Simplify 4.0 into 4.0
1.900 * [taylor]: Taking taylor expansion of (/ y x) in x
1.900 * [taylor]: Taking taylor expansion of y in x
1.900 * [backup-simplify]: Simplify y into y
1.900 * [taylor]: Taking taylor expansion of x in x
1.900 * [backup-simplify]: Simplify 0 into 0
1.900 * [backup-simplify]: Simplify 1 into 1
1.900 * [backup-simplify]: Simplify (/ y 1) into y
1.900 * [taylor]: Taking taylor expansion of 2.0 in x
1.900 * [backup-simplify]: Simplify 2.0 into 2.0
1.900 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
1.900 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y)
1.900 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
1.900 * [taylor]: Taking taylor expansion of 4.0 in y
1.900 * [backup-simplify]: Simplify 4.0 into 4.0
1.900 * [taylor]: Taking taylor expansion of y in y
1.900 * [backup-simplify]: Simplify 0 into 0
1.900 * [backup-simplify]: Simplify 1 into 1
1.900 * [backup-simplify]: Simplify (* 4.0 0) into 0
1.900 * [backup-simplify]: Simplify 0 into 0
1.900 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
1.900 * [backup-simplify]: Simplify (- (* 4.0 y)) into (- (* 4.0 y))
1.900 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y
1.900 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
1.900 * [taylor]: Taking taylor expansion of 4.0 in y
1.900 * [backup-simplify]: Simplify 4.0 into 4.0
1.900 * [taylor]: Taking taylor expansion of y in y
1.900 * [backup-simplify]: Simplify 0 into 0
1.901 * [backup-simplify]: Simplify 1 into 1
1.901 * [backup-simplify]: Simplify (* 4.0 0) into 0
1.901 * [backup-simplify]: Simplify (- 0) into 0
1.901 * [backup-simplify]: Simplify 0 into 0
1.901 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ y x) (/ 0 x)))) into 0
1.901 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ y x))) into 0
1.902 * [backup-simplify]: Simplify (+ 0 0) into 0
1.902 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.903 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 y))) into 0
1.903 * [backup-simplify]: Simplify (- 0) into 0
1.903 * [backup-simplify]: Simplify (+ 0 0) into 0
1.903 * [taylor]: Taking taylor expansion of 0 in x
1.904 * [backup-simplify]: Simplify 0 into 0
1.904 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
1.904 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0
1.905 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
1.905 * [taylor]: Taking taylor expansion of 2.0 in y
1.905 * [backup-simplify]: Simplify 2.0 into 2.0
1.905 * [backup-simplify]: Simplify 2.0 into 2.0
1.905 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0
1.905 * [backup-simplify]: Simplify (- 0) into 0
1.905 * [taylor]: Taking taylor expansion of 0 in y
1.905 * [backup-simplify]: Simplify 0 into 0
1.905 * [backup-simplify]: Simplify 0 into 0
1.906 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
1.906 * [backup-simplify]: Simplify 4.0 into 4.0
1.907 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
1.907 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
1.908 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
1.908 * [backup-simplify]: Simplify (+ (* (- 4.0) (* (/ 1 (- y)) (* 1 (/ 1 (/ 1 (- z)))))) (+ (* 4.0 (* (/ 1 (- y)) (* (/ 1 (/ 1 (- x))) 1))) 2.0)) into (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y)))
1.908 * * * [progress]: simplifying candidates
1.908 * * * * [progress]: [ 1 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (pow (/ (- z x) y) 1)) 4.0) 1.0))>
1.908 * * * * [progress]: [ 2 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (exp (- (log (- z x)) (log y)))) 4.0) 1.0))>
1.908 * * * * [progress]: [ 3 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (exp (log (/ (- z x) y)))) 4.0) 1.0))>
1.908 * * * * [progress]: [ 4 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (log (exp (/ (- z x) y)))) 4.0) 1.0))>
1.908 * * * * [progress]: [ 5 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (cbrt (/ (* (* (- z x) (- z x)) (- z x)) (* (* y y) y)))) 4.0) 1.0))>
1.908 * * * * [progress]: [ 6 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (* (* (cbrt (/ (- z x) y)) (cbrt (/ (- z x) y))) (cbrt (/ (- z x) y)))) 4.0) 1.0))>
1.908 * * * * [progress]: [ 7 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (cbrt (* (* (/ (- z x) y) (/ (- z x) y)) (/ (- z x) y)))) 4.0) 1.0))>
1.908 * * * * [progress]: [ 8 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (* (sqrt (/ (- z x) y)) (sqrt (/ (- z x) y)))) 4.0) 1.0))>
1.908 * * * * [progress]: [ 9 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (/ (- (- z x)) (- y))) 4.0) 1.0))>
1.909 * * * * [progress]: [ 10 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (- (/ z y) (/ x y))) 4.0) 1.0))>
1.909 * * * * [progress]: [ 11 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (* (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt y) (cbrt y))) (/ (cbrt (- z x)) (cbrt y)))) 4.0) 1.0))>
1.909 * * * * [progress]: [ 12 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (* (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt y)) (/ (cbrt (- z x)) (sqrt y)))) 4.0) 1.0))>
1.909 * * * * [progress]: [ 13 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (* (/ (* (cbrt (- z x)) (cbrt (- z x))) 1) (/ (cbrt (- z x)) y))) 4.0) 1.0))>
1.909 * * * * [progress]: [ 14 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (* (/ (sqrt (- z x)) (* (cbrt y) (cbrt y))) (/ (sqrt (- z x)) (cbrt y)))) 4.0) 1.0))>
1.909 * * * * [progress]: [ 15 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (* (/ (sqrt (- z x)) (sqrt y)) (/ (sqrt (- z x)) (sqrt y)))) 4.0) 1.0))>
1.909 * * * * [progress]: [ 16 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (* (/ (sqrt (- z x)) 1) (/ (sqrt (- z x)) y))) 4.0) 1.0))>
1.909 * * * * [progress]: [ 17 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (* (/ 1 (* (cbrt y) (cbrt y))) (/ (- z x) (cbrt y)))) 4.0) 1.0))>
1.909 * * * * [progress]: [ 18 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (* (/ 1 (sqrt y)) (/ (- z x) (sqrt y)))) 4.0) 1.0))>
1.909 * * * * [progress]: [ 19 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (* (/ 1 1) (/ (- z x) y))) 4.0) 1.0))>
1.909 * * * * [progress]: [ 20 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (* (/ (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y))) (/ (- (sqrt z) (sqrt x)) (cbrt y)))) 4.0) 1.0))>
1.909 * * * * [progress]: [ 21 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (* (/ (+ (sqrt z) (sqrt x)) (sqrt y)) (/ (- (sqrt z) (sqrt x)) (sqrt y)))) 4.0) 1.0))>
1.909 * * * * [progress]: [ 22 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (* (/ (+ (sqrt z) (sqrt x)) 1) (/ (- (sqrt z) (sqrt x)) y))) 4.0) 1.0))>
1.909 * * * * [progress]: [ 23 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (* (/ 1 (* (cbrt y) (cbrt y))) (/ (- z x) (cbrt y)))) 4.0) 1.0))>
1.909 * * * * [progress]: [ 24 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (* (/ 1 (sqrt y)) (/ (- z x) (sqrt y)))) 4.0) 1.0))>
1.909 * * * * [progress]: [ 25 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (* (/ 1 1) (/ (- z x) y))) 4.0) 1.0))>
1.909 * * * * [progress]: [ 26 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (* 1 (/ (- z x) y))) 4.0) 1.0))>
1.909 * * * * [progress]: [ 27 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (* (- z x) (/ 1 y))) 4.0) 1.0))>
1.909 * * * * [progress]: [ 28 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (/ 1 (/ y (- z x)))) 4.0) 1.0))>
1.909 * * * * [progress]: [ 29 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (/ (/ (- z x) (* (cbrt y) (cbrt y))) (cbrt y))) 4.0) 1.0))>
1.909 * * * * [progress]: [ 30 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (/ (/ (- z x) (sqrt y)) (sqrt y))) 4.0) 1.0))>
1.909 * * * * [progress]: [ 31 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (/ (/ (- z x) 1) y)) 4.0) 1.0))>
1.909 * * * * [progress]: [ 32 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ y (cbrt (- z x))))) 4.0) 1.0))>
1.910 * * * * [progress]: [ 33 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (/ (sqrt (- z x)) (/ y (sqrt (- z x))))) 4.0) 1.0))>
1.910 * * * * [progress]: [ 34 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (/ 1 (/ y (- z x)))) 4.0) 1.0))>
1.910 * * * * [progress]: [ 35 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (/ (+ (sqrt z) (sqrt x)) (/ y (- (sqrt z) (sqrt x))))) 4.0) 1.0))>
1.910 * * * * [progress]: [ 36 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (/ 1 (/ y (- z x)))) 4.0) 1.0))>
1.910 * * * * [progress]: [ 37 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (/ (- (pow z 3) (pow x 3)) (* y (+ (* z z) (+ (* x x) (* z x)))))) 4.0) 1.0))>
1.910 * * * * [progress]: [ 38 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (/ (- (* z z) (* x x)) (* y (+ z x)))) 4.0) 1.0))>
1.910 * * * * [progress]: [ 39 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (posit16->real (real->posit16 (/ (- z x) y)))) 4.0) 1.0))>
1.910 * * * * [progress]: [ 40 / 57 ] simplifiying candidate #<alt (λ (x y z) (log (* (exp (* (- 0.25 (/ (- z x) y)) 4.0)) (exp 1.0))))>
1.910 * * * * [progress]: [ 41 / 57 ] simplifiying candidate #<alt (λ (x y z) (pow (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0) 1))>
1.910 * * * * [progress]: [ 42 / 57 ] simplifiying candidate #<alt (λ (x y z) (exp (log (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0))))>
1.910 * * * * [progress]: [ 43 / 57 ] simplifiying candidate #<alt (λ (x y z) (log (exp (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0))))>
1.910 * * * * [progress]: [ 44 / 57 ] simplifiying candidate #<alt (λ (x y z) (* (* (cbrt (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0)) (cbrt (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0))) (cbrt (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0))))>
1.910 * * * * [progress]: [ 45 / 57 ] simplifiying candidate #<alt (λ (x y z) (cbrt (* (* (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0) (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0)) (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0))))>
1.910 * * * * [progress]: [ 46 / 57 ] simplifiying candidate #<alt (λ (x y z) (* (sqrt (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0)) (sqrt (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0))))>
1.910 * * * * [progress]: [ 47 / 57 ] simplifiying candidate #<alt (λ (x y z) (/ (+ (pow (* (- 0.25 (/ (- z x) y)) 4.0) 3) (pow 1.0 3)) (+ (* (* (- 0.25 (/ (- z x) y)) 4.0) (* (- 0.25 (/ (- z x) y)) 4.0)) (- (* 1.0 1.0) (* (* (- 0.25 (/ (- z x) y)) 4.0) 1.0)))))>
1.910 * * * * [progress]: [ 48 / 57 ] simplifiying candidate #<alt (λ (x y z) (* 1 (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0)))>
1.910 * * * * [progress]: [ 49 / 57 ] simplifiying candidate #<alt (λ (x y z) (/ (- (* (* (- 0.25 (/ (- z x) y)) 4.0) (* (- 0.25 (/ (- z x) y)) 4.0)) (* 1.0 1.0)) (- (* (- 0.25 (/ (- z x) y)) 4.0) 1.0)))>
1.910 * * * * [progress]: [ 50 / 57 ] simplifiying candidate #<alt (λ (x y z) (posit16->real (real->posit16 (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0))))>
1.910 * * * * [progress]: [ 51 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ 1.0 (* (- 0.25 (/ (- z x) y)) 4.0)))>
1.910 * * * * [progress]: [ 52 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (- (/ z y) (/ x y))) 4.0) 1.0))>
1.910 * * * * [progress]: [ 53 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (- (/ z y) (/ x y))) 4.0) 1.0))>
1.910 * * * * [progress]: [ 54 / 57 ] simplifiying candidate #<alt (λ (x y z) (+ (* (- 0.25 (- (/ z y) (/ x y))) 4.0) 1.0))>
1.910 * * * * [progress]: [ 55 / 57 ] simplifiying candidate #<alt (λ (x y z) (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))))>
1.910 * * * * [progress]: [ 56 / 57 ] simplifiying candidate #<alt (λ (x y z) (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))))>
1.910 * * * * [progress]: [ 57 / 57 ] simplifiying candidate #<alt (λ (x y z) (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))))>
1.911 * [simplify]: Simplifying:
  (- (log (- z x)) (log y))
  (log (/ (- z x) y))
  (exp (/ (- z x) y))
  (/ (* (* (- z x) (- z x)) (- z x)) (* (* y y) y))
  (* (cbrt (/ (- z x) y)) (cbrt (/ (- z x) y)))
  (cbrt (/ (- z x) y))
  (* (* (/ (- z x) y) (/ (- z x) y)) (/ (- z x) y))
  (sqrt (/ (- z x) y))
  (sqrt (/ (- z x) y))
  (- (- z x))
  (- y)
  (/ z y)
  (/ x y)
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (- z x)) (cbrt y))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt y))
  (/ (cbrt (- z x)) (sqrt y))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) 1)
  (/ (cbrt (- z x)) y)
  (/ (sqrt (- z x)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (- z x)) (cbrt y))
  (/ (sqrt (- z x)) (sqrt y))
  (/ (sqrt (- z x)) (sqrt y))
  (/ (sqrt (- z x)) 1)
  (/ (sqrt (- z x)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (- z x) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- z x) (sqrt y))
  (/ 1 1)
  (/ (- z x) y)
  (/ (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y)))
  (/ (- (sqrt z) (sqrt x)) (cbrt y))
  (/ (+ (sqrt z) (sqrt x)) (sqrt y))
  (/ (- (sqrt z) (sqrt x)) (sqrt y))
  (/ (+ (sqrt z) (sqrt x)) 1)
  (/ (- (sqrt z) (sqrt x)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (- z x) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- z x) (sqrt y))
  (/ 1 1)
  (/ (- z x) y)
  (/ 1 y)
  (/ y (- z x))
  (/ (- z x) (* (cbrt y) (cbrt y)))
  (/ (- z x) (sqrt y))
  (/ (- z x) 1)
  (/ y (cbrt (- z x)))
  (/ y (sqrt (- z x)))
  (/ y (- z x))
  (/ y (- (sqrt z) (sqrt x)))
  (/ y (- z x))
  (* y (+ (* z z) (+ (* x x) (* z x))))
  (* y (+ z x))
  (real->posit16 (/ (- z x) y))
  (* (exp (* (- 0.25 (/ (- z x) y)) 4.0)) (exp 1.0))
  (log (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0))
  (exp (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0))
  (* (cbrt (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0)) (cbrt (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0)))
  (cbrt (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0))
  (* (* (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0) (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0)) (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0))
  (sqrt (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0))
  (sqrt (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0))
  (+ (pow (* (- 0.25 (/ (- z x) y)) 4.0) 3) (pow 1.0 3))
  (+ (* (* (- 0.25 (/ (- z x) y)) 4.0) (* (- 0.25 (/ (- z x) y)) 4.0)) (- (* 1.0 1.0) (* (* (- 0.25 (/ (- z x) y)) 4.0) 1.0)))
  (- (* (* (- 0.25 (/ (- z x) y)) 4.0) (* (- 0.25 (/ (- z x) y)) 4.0)) (* 1.0 1.0))
  (- (* (- 0.25 (/ (- z x) y)) 4.0) 1.0)
  (real->posit16 (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0))
  (- (/ z y) (/ x y))
  (- (/ z y) (/ x y))
  (- (/ z y) (/ x y))
  (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y)))
  (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y)))
  (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y)))
1.912 * * [simplify]: iteration 0: 107 enodes
1.929 * * [simplify]: iteration 1: 263 enodes
1.991 * * [simplify]: iteration 2: 844 enodes
2.516 * * [simplify]: iteration 3: 4589 enodes
3.340 * * [simplify]: iteration complete: 5000 enodes
3.340 * * [simplify]: Extracting #0: cost 55 inf + 0
3.342 * * [simplify]: Extracting #1: cost 600 inf + 1
3.351 * * [simplify]: Extracting #2: cost 1384 inf + 16782
3.386 * * [simplify]: Extracting #3: cost 904 inf + 134152
3.433 * * [simplify]: Extracting #4: cost 275 inf + 235829
3.494 * * [simplify]: Extracting #5: cost 80 inf + 284959
3.575 * * [simplify]: Extracting #6: cost 0 inf + 311698
3.670 * * [simplify]: Extracting #7: cost 0 inf + 311658
3.745 * [simplify]: Simplified to:
  (log (/ (- z x) y))
  (log (/ (- z x) y))
  (exp (/ (- z x) y))
  (* (* (/ (- z x) y) (/ (- z x) y)) (/ (- z x) y))
  (* (cbrt (/ (- z x) y)) (cbrt (/ (- z x) y)))
  (cbrt (/ (- z x) y))
  (* (* (/ (- z x) y) (/ (- z x) y)) (/ (- z x) y))
  (sqrt (/ (- z x) y))
  (sqrt (/ (- z x) y))
  (- (- z x))
  (- y)
  (/ z y)
  (/ x y)
  (* (/ (cbrt (- z x)) (cbrt y)) (/ (cbrt (- z x)) (cbrt y)))
  (/ (cbrt (- z x)) (cbrt y))
  (* (/ (cbrt (- z x)) (sqrt y)) (cbrt (- z x)))
  (/ (cbrt (- z x)) (sqrt y))
  (* (cbrt (- z x)) (cbrt (- z x)))
  (/ (cbrt (- z x)) y)
  (/ (sqrt (- z x)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (- z x)) (cbrt y))
  (/ (sqrt (- z x)) (sqrt y))
  (/ (sqrt (- z x)) (sqrt y))
  (sqrt (- z x))
  (/ (sqrt (- z x)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (- z x) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- z x) (sqrt y))
  1
  (/ (- z x) y)
  (/ (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y)))
  (/ (- (sqrt z) (sqrt x)) (cbrt y))
  (/ (+ (sqrt z) (sqrt x)) (sqrt y))
  (/ (- (sqrt z) (sqrt x)) (sqrt y))
  (+ (sqrt z) (sqrt x))
  (/ (- (sqrt z) (sqrt x)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (- z x) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- z x) (sqrt y))
  1
  (/ (- z x) y)
  (/ 1 y)
  (/ y (- z x))
  (/ (/ (- z x) (cbrt y)) (cbrt y))
  (/ (- z x) (sqrt y))
  (- z x)
  (/ y (cbrt (- z x)))
  (/ y (sqrt (- z x)))
  (/ y (- z x))
  (/ y (- (sqrt z) (sqrt x)))
  (/ y (- z x))
  (* (+ (* x (+ x z)) (* z z)) y)
  (* y (+ z x))
  (real->posit16 (/ (- z x) y))
  (exp (+ (* 4.0 (- 0.25 (/ (- z x) y))) 1.0))
  (log (+ (* 4.0 (- 0.25 (/ (- z x) y))) 1.0))
  (exp (+ (* 4.0 (- 0.25 (/ (- z x) y))) 1.0))
  (* (cbrt (+ (* 4.0 (- 0.25 (/ (- z x) y))) 1.0)) (cbrt (+ (* 4.0 (- 0.25 (/ (- z x) y))) 1.0)))
  (cbrt (+ (* 4.0 (- 0.25 (/ (- z x) y))) 1.0))
  (* (* (+ (* 4.0 (- 0.25 (/ (- z x) y))) 1.0) (+ (* 4.0 (- 0.25 (/ (- z x) y))) 1.0)) (+ (* 4.0 (- 0.25 (/ (- z x) y))) 1.0))
  (sqrt (+ (* 4.0 (- 0.25 (/ (- z x) y))) 1.0))
  (sqrt (+ (* 4.0 (- 0.25 (/ (- z x) y))) 1.0))
  (+ (* (* 1.0 1.0) 1.0) (* (* (* 4.0 (- 0.25 (/ (- z x) y))) (* 4.0 (- 0.25 (/ (- z x) y)))) (* 4.0 (- 0.25 (/ (- z x) y)))))
  (+ (* 1.0 (- 1.0 (* 4.0 (- 0.25 (/ (- z x) y))))) (* (* 4.0 (- 0.25 (/ (- z x) y))) (* 4.0 (- 0.25 (/ (- z x) y)))))
  (* (- (* 4.0 (- 0.25 (/ (- z x) y))) 1.0) (+ (* 4.0 (- 0.25 (/ (- z x) y))) 1.0))
  (- (* 4.0 (- 0.25 (/ (- z x) y))) 1.0)
  (real->posit16 (+ (* 4.0 (- 0.25 (/ (- z x) y))) 1.0))
  (/ (- z x) y)
  (/ (- z x) y)
  (/ (- z x) y)
  (+ (* 4.0 (- (/ x y) (/ z y))) 2.0)
  (+ (* 4.0 (- (/ x y) (/ z y))) 2.0)
  (+ (* 4.0 (- (/ x y) (/ z y))) 2.0)
3.750 * * * [progress]: adding candidates to table
3.962 * * [progress]: iteration 2 / 4
3.962 * * * [progress]: picking best candidate
3.965 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* 4.0 (- (/ x y) (/ z y))) 2.0))>
3.966 * * * [progress]: localizing error
3.989 * * * [progress]: generating rewritten candidates
3.989 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 2)
4.009 * * * [progress]: generating series expansions
4.009 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 2)
4.009 * [backup-simplify]: Simplify (- (/ x y) (/ z y)) into (- (/ x y) (/ z y))
4.009 * [approximate]: Taking taylor expansion of (- (/ x y) (/ z y)) in (x y z) around 0
4.009 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in z
4.009 * [taylor]: Taking taylor expansion of (/ x y) in z
4.009 * [taylor]: Taking taylor expansion of x in z
4.009 * [backup-simplify]: Simplify x into x
4.009 * [taylor]: Taking taylor expansion of y in z
4.009 * [backup-simplify]: Simplify y into y
4.009 * [backup-simplify]: Simplify (/ x y) into (/ x y)
4.009 * [taylor]: Taking taylor expansion of (/ z y) in z
4.009 * [taylor]: Taking taylor expansion of z in z
4.009 * [backup-simplify]: Simplify 0 into 0
4.009 * [backup-simplify]: Simplify 1 into 1
4.009 * [taylor]: Taking taylor expansion of y in z
4.009 * [backup-simplify]: Simplify y into y
4.009 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.009 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in y
4.009 * [taylor]: Taking taylor expansion of (/ x y) in y
4.009 * [taylor]: Taking taylor expansion of x in y
4.009 * [backup-simplify]: Simplify x into x
4.010 * [taylor]: Taking taylor expansion of y in y
4.010 * [backup-simplify]: Simplify 0 into 0
4.010 * [backup-simplify]: Simplify 1 into 1
4.010 * [backup-simplify]: Simplify (/ x 1) into x
4.010 * [taylor]: Taking taylor expansion of (/ z y) in y
4.010 * [taylor]: Taking taylor expansion of z in y
4.010 * [backup-simplify]: Simplify z into z
4.010 * [taylor]: Taking taylor expansion of y in y
4.010 * [backup-simplify]: Simplify 0 into 0
4.010 * [backup-simplify]: Simplify 1 into 1
4.010 * [backup-simplify]: Simplify (/ z 1) into z
4.010 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in x
4.010 * [taylor]: Taking taylor expansion of (/ x y) in x
4.010 * [taylor]: Taking taylor expansion of x in x
4.010 * [backup-simplify]: Simplify 0 into 0
4.010 * [backup-simplify]: Simplify 1 into 1
4.010 * [taylor]: Taking taylor expansion of y in x
4.010 * [backup-simplify]: Simplify y into y
4.010 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.010 * [taylor]: Taking taylor expansion of (/ z y) in x
4.010 * [taylor]: Taking taylor expansion of z in x
4.010 * [backup-simplify]: Simplify z into z
4.010 * [taylor]: Taking taylor expansion of y in x
4.010 * [backup-simplify]: Simplify y into y
4.010 * [backup-simplify]: Simplify (/ z y) into (/ z y)
4.010 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in x
4.010 * [taylor]: Taking taylor expansion of (/ x y) in x
4.010 * [taylor]: Taking taylor expansion of x in x
4.010 * [backup-simplify]: Simplify 0 into 0
4.010 * [backup-simplify]: Simplify 1 into 1
4.010 * [taylor]: Taking taylor expansion of y in x
4.010 * [backup-simplify]: Simplify y into y
4.010 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.010 * [taylor]: Taking taylor expansion of (/ z y) in x
4.010 * [taylor]: Taking taylor expansion of z in x
4.010 * [backup-simplify]: Simplify z into z
4.010 * [taylor]: Taking taylor expansion of y in x
4.010 * [backup-simplify]: Simplify y into y
4.011 * [backup-simplify]: Simplify (/ z y) into (/ z y)
4.011 * [backup-simplify]: Simplify (- (/ z y)) into (- (/ z y))
4.011 * [backup-simplify]: Simplify (+ 0 (- (/ z y))) into (- (/ z y))
4.011 * [taylor]: Taking taylor expansion of (- (/ z y)) in y
4.011 * [taylor]: Taking taylor expansion of (/ z y) in y
4.011 * [taylor]: Taking taylor expansion of z in y
4.011 * [backup-simplify]: Simplify z into z
4.011 * [taylor]: Taking taylor expansion of y in y
4.011 * [backup-simplify]: Simplify 0 into 0
4.011 * [backup-simplify]: Simplify 1 into 1
4.011 * [backup-simplify]: Simplify (/ z 1) into z
4.011 * [backup-simplify]: Simplify (- z) into (- z)
4.011 * [taylor]: Taking taylor expansion of (- z) in z
4.011 * [taylor]: Taking taylor expansion of z in z
4.011 * [backup-simplify]: Simplify 0 into 0
4.011 * [backup-simplify]: Simplify 1 into 1
4.012 * [backup-simplify]: Simplify (- 0) into 0
4.012 * [backup-simplify]: Simplify 0 into 0
4.012 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
4.012 * [backup-simplify]: Simplify (- 0) into 0
4.012 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
4.012 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.012 * [taylor]: Taking taylor expansion of y in y
4.012 * [backup-simplify]: Simplify 0 into 0
4.013 * [backup-simplify]: Simplify 1 into 1
4.013 * [backup-simplify]: Simplify (/ 1 1) into 1
4.013 * [taylor]: Taking taylor expansion of 1 in z
4.013 * [backup-simplify]: Simplify 1 into 1
4.013 * [backup-simplify]: Simplify 1 into 1
4.014 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
4.014 * [backup-simplify]: Simplify (- 0) into 0
4.014 * [taylor]: Taking taylor expansion of 0 in z
4.014 * [backup-simplify]: Simplify 0 into 0
4.014 * [backup-simplify]: Simplify 0 into 0
4.015 * [backup-simplify]: Simplify (- 1) into -1
4.015 * [backup-simplify]: Simplify -1 into -1
4.015 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
4.015 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.020 * [backup-simplify]: Simplify (- 0) into 0
4.021 * [backup-simplify]: Simplify (+ 0 0) into 0
4.021 * [taylor]: Taking taylor expansion of 0 in y
4.021 * [backup-simplify]: Simplify 0 into 0
4.022 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.022 * [taylor]: Taking taylor expansion of 0 in z
4.022 * [backup-simplify]: Simplify 0 into 0
4.022 * [backup-simplify]: Simplify 0 into 0
4.023 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.023 * [backup-simplify]: Simplify (- 0) into 0
4.023 * [taylor]: Taking taylor expansion of 0 in z
4.023 * [backup-simplify]: Simplify 0 into 0
4.024 * [backup-simplify]: Simplify 0 into 0
4.024 * [backup-simplify]: Simplify 0 into 0
4.024 * [backup-simplify]: Simplify 0 into 0
4.024 * [backup-simplify]: Simplify (- 0) into 0
4.024 * [backup-simplify]: Simplify 0 into 0
4.024 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.024 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.025 * [backup-simplify]: Simplify (- 0) into 0
4.025 * [backup-simplify]: Simplify (+ 0 0) into 0
4.025 * [taylor]: Taking taylor expansion of 0 in y
4.025 * [backup-simplify]: Simplify 0 into 0
4.025 * [taylor]: Taking taylor expansion of 0 in z
4.025 * [backup-simplify]: Simplify 0 into 0
4.025 * [backup-simplify]: Simplify 0 into 0
4.025 * [backup-simplify]: Simplify (+ (* -1 (* z (* (/ 1 y) 1))) (* 1 (* 1 (* (/ 1 y) x)))) into (- (/ x y) (/ z y))
4.026 * [backup-simplify]: Simplify (- (/ (/ 1 x) (/ 1 y)) (/ (/ 1 z) (/ 1 y))) into (- (/ y x) (/ y z))
4.026 * [approximate]: Taking taylor expansion of (- (/ y x) (/ y z)) in (x y z) around 0
4.026 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in z
4.026 * [taylor]: Taking taylor expansion of (/ y x) in z
4.026 * [taylor]: Taking taylor expansion of y in z
4.026 * [backup-simplify]: Simplify y into y
4.026 * [taylor]: Taking taylor expansion of x in z
4.026 * [backup-simplify]: Simplify x into x
4.026 * [backup-simplify]: Simplify (/ y x) into (/ y x)
4.026 * [taylor]: Taking taylor expansion of (/ y z) in z
4.026 * [taylor]: Taking taylor expansion of y in z
4.026 * [backup-simplify]: Simplify y into y
4.026 * [taylor]: Taking taylor expansion of z in z
4.026 * [backup-simplify]: Simplify 0 into 0
4.026 * [backup-simplify]: Simplify 1 into 1
4.026 * [backup-simplify]: Simplify (/ y 1) into y
4.026 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in y
4.026 * [taylor]: Taking taylor expansion of (/ y x) in y
4.026 * [taylor]: Taking taylor expansion of y in y
4.026 * [backup-simplify]: Simplify 0 into 0
4.026 * [backup-simplify]: Simplify 1 into 1
4.026 * [taylor]: Taking taylor expansion of x in y
4.026 * [backup-simplify]: Simplify x into x
4.026 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.026 * [taylor]: Taking taylor expansion of (/ y z) in y
4.026 * [taylor]: Taking taylor expansion of y in y
4.026 * [backup-simplify]: Simplify 0 into 0
4.026 * [backup-simplify]: Simplify 1 into 1
4.026 * [taylor]: Taking taylor expansion of z in y
4.026 * [backup-simplify]: Simplify z into z
4.026 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.026 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
4.026 * [taylor]: Taking taylor expansion of (/ y x) in x
4.027 * [taylor]: Taking taylor expansion of y in x
4.027 * [backup-simplify]: Simplify y into y
4.027 * [taylor]: Taking taylor expansion of x in x
4.027 * [backup-simplify]: Simplify 0 into 0
4.027 * [backup-simplify]: Simplify 1 into 1
4.027 * [backup-simplify]: Simplify (/ y 1) into y
4.027 * [taylor]: Taking taylor expansion of (/ y z) in x
4.027 * [taylor]: Taking taylor expansion of y in x
4.027 * [backup-simplify]: Simplify y into y
4.027 * [taylor]: Taking taylor expansion of z in x
4.027 * [backup-simplify]: Simplify z into z
4.027 * [backup-simplify]: Simplify (/ y z) into (/ y z)
4.027 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
4.027 * [taylor]: Taking taylor expansion of (/ y x) in x
4.027 * [taylor]: Taking taylor expansion of y in x
4.027 * [backup-simplify]: Simplify y into y
4.027 * [taylor]: Taking taylor expansion of x in x
4.027 * [backup-simplify]: Simplify 0 into 0
4.027 * [backup-simplify]: Simplify 1 into 1
4.027 * [backup-simplify]: Simplify (/ y 1) into y
4.027 * [taylor]: Taking taylor expansion of (/ y z) in x
4.027 * [taylor]: Taking taylor expansion of y in x
4.027 * [backup-simplify]: Simplify y into y
4.027 * [taylor]: Taking taylor expansion of z in x
4.027 * [backup-simplify]: Simplify z into z
4.027 * [backup-simplify]: Simplify (/ y z) into (/ y z)
4.027 * [backup-simplify]: Simplify (+ y 0) into y
4.027 * [taylor]: Taking taylor expansion of y in y
4.027 * [backup-simplify]: Simplify 0 into 0
4.028 * [backup-simplify]: Simplify 1 into 1
4.028 * [taylor]: Taking taylor expansion of 1 in z
4.028 * [backup-simplify]: Simplify 1 into 1
4.028 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
4.028 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z))
4.029 * [backup-simplify]: Simplify (+ 0 (- (/ y z))) into (- (/ y z))
4.029 * [taylor]: Taking taylor expansion of (- (/ y z)) in y
4.029 * [taylor]: Taking taylor expansion of (/ y z) in y
4.029 * [taylor]: Taking taylor expansion of y in y
4.029 * [backup-simplify]: Simplify 0 into 0
4.029 * [backup-simplify]: Simplify 1 into 1
4.029 * [taylor]: Taking taylor expansion of z in y
4.029 * [backup-simplify]: Simplify z into z
4.029 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.029 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
4.029 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
4.029 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.029 * [taylor]: Taking taylor expansion of z in z
4.029 * [backup-simplify]: Simplify 0 into 0
4.029 * [backup-simplify]: Simplify 1 into 1
4.029 * [backup-simplify]: Simplify (/ 1 1) into 1
4.030 * [backup-simplify]: Simplify (- 1) into -1
4.030 * [backup-simplify]: Simplify -1 into -1
4.030 * [taylor]: Taking taylor expansion of 0 in z
4.030 * [backup-simplify]: Simplify 0 into 0
4.030 * [backup-simplify]: Simplify 1 into 1
4.031 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.031 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
4.031 * [backup-simplify]: Simplify (- 0) into 0
4.032 * [backup-simplify]: Simplify (+ 0 0) into 0
4.032 * [taylor]: Taking taylor expansion of 0 in y
4.032 * [backup-simplify]: Simplify 0 into 0
4.032 * [taylor]: Taking taylor expansion of 0 in z
4.032 * [backup-simplify]: Simplify 0 into 0
4.032 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
4.032 * [backup-simplify]: Simplify (- 0) into 0
4.032 * [taylor]: Taking taylor expansion of 0 in z
4.032 * [backup-simplify]: Simplify 0 into 0
4.032 * [taylor]: Taking taylor expansion of 0 in z
4.032 * [backup-simplify]: Simplify 0 into 0
4.033 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.033 * [backup-simplify]: Simplify (- 0) into 0
4.033 * [backup-simplify]: Simplify 0 into 0
4.033 * [backup-simplify]: Simplify 0 into 0
4.033 * [backup-simplify]: Simplify 0 into 0
4.035 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.035 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.036 * [backup-simplify]: Simplify (- 0) into 0
4.036 * [backup-simplify]: Simplify (+ 0 0) into 0
4.036 * [taylor]: Taking taylor expansion of 0 in y
4.036 * [backup-simplify]: Simplify 0 into 0
4.036 * [taylor]: Taking taylor expansion of 0 in z
4.036 * [backup-simplify]: Simplify 0 into 0
4.036 * [taylor]: Taking taylor expansion of 0 in z
4.036 * [backup-simplify]: Simplify 0 into 0
4.036 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.037 * [backup-simplify]: Simplify (- 0) into 0
4.037 * [taylor]: Taking taylor expansion of 0 in z
4.037 * [backup-simplify]: Simplify 0 into 0
4.037 * [taylor]: Taking taylor expansion of 0 in z
4.037 * [backup-simplify]: Simplify 0 into 0
4.037 * [backup-simplify]: Simplify 0 into 0
4.037 * [backup-simplify]: Simplify 0 into 0
4.037 * [backup-simplify]: Simplify 0 into 0
4.037 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 y) (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 y) 1)))) into (- (/ x y) (/ z y))
4.037 * [backup-simplify]: Simplify (- (/ (/ 1 (- x)) (/ 1 (- y))) (/ (/ 1 (- z)) (/ 1 (- y)))) into (- (/ y x) (/ y z))
4.037 * [approximate]: Taking taylor expansion of (- (/ y x) (/ y z)) in (x y z) around 0
4.037 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in z
4.037 * [taylor]: Taking taylor expansion of (/ y x) in z
4.038 * [taylor]: Taking taylor expansion of y in z
4.038 * [backup-simplify]: Simplify y into y
4.038 * [taylor]: Taking taylor expansion of x in z
4.038 * [backup-simplify]: Simplify x into x
4.038 * [backup-simplify]: Simplify (/ y x) into (/ y x)
4.038 * [taylor]: Taking taylor expansion of (/ y z) in z
4.038 * [taylor]: Taking taylor expansion of y in z
4.038 * [backup-simplify]: Simplify y into y
4.038 * [taylor]: Taking taylor expansion of z in z
4.038 * [backup-simplify]: Simplify 0 into 0
4.038 * [backup-simplify]: Simplify 1 into 1
4.038 * [backup-simplify]: Simplify (/ y 1) into y
4.038 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in y
4.038 * [taylor]: Taking taylor expansion of (/ y x) in y
4.038 * [taylor]: Taking taylor expansion of y in y
4.038 * [backup-simplify]: Simplify 0 into 0
4.038 * [backup-simplify]: Simplify 1 into 1
4.038 * [taylor]: Taking taylor expansion of x in y
4.038 * [backup-simplify]: Simplify x into x
4.038 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.038 * [taylor]: Taking taylor expansion of (/ y z) in y
4.038 * [taylor]: Taking taylor expansion of y in y
4.038 * [backup-simplify]: Simplify 0 into 0
4.038 * [backup-simplify]: Simplify 1 into 1
4.038 * [taylor]: Taking taylor expansion of z in y
4.038 * [backup-simplify]: Simplify z into z
4.038 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.038 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
4.038 * [taylor]: Taking taylor expansion of (/ y x) in x
4.038 * [taylor]: Taking taylor expansion of y in x
4.038 * [backup-simplify]: Simplify y into y
4.038 * [taylor]: Taking taylor expansion of x in x
4.038 * [backup-simplify]: Simplify 0 into 0
4.038 * [backup-simplify]: Simplify 1 into 1
4.038 * [backup-simplify]: Simplify (/ y 1) into y
4.038 * [taylor]: Taking taylor expansion of (/ y z) in x
4.038 * [taylor]: Taking taylor expansion of y in x
4.038 * [backup-simplify]: Simplify y into y
4.039 * [taylor]: Taking taylor expansion of z in x
4.039 * [backup-simplify]: Simplify z into z
4.039 * [backup-simplify]: Simplify (/ y z) into (/ y z)
4.039 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
4.039 * [taylor]: Taking taylor expansion of (/ y x) in x
4.039 * [taylor]: Taking taylor expansion of y in x
4.039 * [backup-simplify]: Simplify y into y
4.039 * [taylor]: Taking taylor expansion of x in x
4.039 * [backup-simplify]: Simplify 0 into 0
4.039 * [backup-simplify]: Simplify 1 into 1
4.039 * [backup-simplify]: Simplify (/ y 1) into y
4.039 * [taylor]: Taking taylor expansion of (/ y z) in x
4.039 * [taylor]: Taking taylor expansion of y in x
4.039 * [backup-simplify]: Simplify y into y
4.039 * [taylor]: Taking taylor expansion of z in x
4.039 * [backup-simplify]: Simplify z into z
4.039 * [backup-simplify]: Simplify (/ y z) into (/ y z)
4.039 * [backup-simplify]: Simplify (+ y 0) into y
4.039 * [taylor]: Taking taylor expansion of y in y
4.039 * [backup-simplify]: Simplify 0 into 0
4.039 * [backup-simplify]: Simplify 1 into 1
4.039 * [taylor]: Taking taylor expansion of 1 in z
4.039 * [backup-simplify]: Simplify 1 into 1
4.040 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
4.040 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z))
4.040 * [backup-simplify]: Simplify (+ 0 (- (/ y z))) into (- (/ y z))
4.040 * [taylor]: Taking taylor expansion of (- (/ y z)) in y
4.040 * [taylor]: Taking taylor expansion of (/ y z) in y
4.040 * [taylor]: Taking taylor expansion of y in y
4.040 * [backup-simplify]: Simplify 0 into 0
4.040 * [backup-simplify]: Simplify 1 into 1
4.040 * [taylor]: Taking taylor expansion of z in y
4.040 * [backup-simplify]: Simplify z into z
4.040 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.040 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
4.040 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
4.041 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.041 * [taylor]: Taking taylor expansion of z in z
4.041 * [backup-simplify]: Simplify 0 into 0
4.041 * [backup-simplify]: Simplify 1 into 1
4.041 * [backup-simplify]: Simplify (/ 1 1) into 1
4.041 * [backup-simplify]: Simplify (- 1) into -1
4.041 * [backup-simplify]: Simplify -1 into -1
4.041 * [taylor]: Taking taylor expansion of 0 in z
4.041 * [backup-simplify]: Simplify 0 into 0
4.041 * [backup-simplify]: Simplify 1 into 1
4.043 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.043 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
4.043 * [backup-simplify]: Simplify (- 0) into 0
4.043 * [backup-simplify]: Simplify (+ 0 0) into 0
4.043 * [taylor]: Taking taylor expansion of 0 in y
4.043 * [backup-simplify]: Simplify 0 into 0
4.044 * [taylor]: Taking taylor expansion of 0 in z
4.044 * [backup-simplify]: Simplify 0 into 0
4.044 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
4.044 * [backup-simplify]: Simplify (- 0) into 0
4.044 * [taylor]: Taking taylor expansion of 0 in z
4.044 * [backup-simplify]: Simplify 0 into 0
4.044 * [taylor]: Taking taylor expansion of 0 in z
4.044 * [backup-simplify]: Simplify 0 into 0
4.045 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.045 * [backup-simplify]: Simplify (- 0) into 0
4.045 * [backup-simplify]: Simplify 0 into 0
4.045 * [backup-simplify]: Simplify 0 into 0
4.045 * [backup-simplify]: Simplify 0 into 0
4.047 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.048 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.048 * [backup-simplify]: Simplify (- 0) into 0
4.048 * [backup-simplify]: Simplify (+ 0 0) into 0
4.048 * [taylor]: Taking taylor expansion of 0 in y
4.048 * [backup-simplify]: Simplify 0 into 0
4.048 * [taylor]: Taking taylor expansion of 0 in z
4.048 * [backup-simplify]: Simplify 0 into 0
4.048 * [taylor]: Taking taylor expansion of 0 in z
4.048 * [backup-simplify]: Simplify 0 into 0
4.049 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.049 * [backup-simplify]: Simplify (- 0) into 0
4.049 * [taylor]: Taking taylor expansion of 0 in z
4.049 * [backup-simplify]: Simplify 0 into 0
4.049 * [taylor]: Taking taylor expansion of 0 in z
4.049 * [backup-simplify]: Simplify 0 into 0
4.049 * [backup-simplify]: Simplify 0 into 0
4.049 * [backup-simplify]: Simplify 0 into 0
4.049 * [backup-simplify]: Simplify 0 into 0
4.049 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (- y)) (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (- y)) 1)))) into (- (/ x y) (/ z y))
4.050 * * * [progress]: simplifying candidates
4.050 * * * * [progress]: [ 1 / 27 ] simplifiying candidate #<alt (λ (x y z) (+ (* 4.0 (log (/ (exp (/ x y)) (exp (/ z y))))) 2.0))>
4.050 * * * * [progress]: [ 2 / 27 ] simplifiying candidate #<alt (λ (x y z) (+ (* 4.0 (pow (- (/ x y) (/ z y)) 1)) 2.0))>
4.050 * * * * [progress]: [ 3 / 27 ] simplifiying candidate #<alt (λ (x y z) (+ (* 4.0 (exp (log (- (/ x y) (/ z y))))) 2.0))>
4.050 * * * * [progress]: [ 4 / 27 ] simplifiying candidate #<alt (λ (x y z) (+ (* 4.0 (log (exp (- (/ x y) (/ z y))))) 2.0))>
4.050 * * * * [progress]: [ 5 / 27 ] simplifiying candidate #<alt (λ (x y z) (+ (* 4.0 (* (* (cbrt (- (/ x y) (/ z y))) (cbrt (- (/ x y) (/ z y)))) (cbrt (- (/ x y) (/ z y))))) 2.0))>
4.050 * * * * [progress]: [ 6 / 27 ] simplifiying candidate #<alt (λ (x y z) (+ (* 4.0 (cbrt (* (* (- (/ x y) (/ z y)) (- (/ x y) (/ z y))) (- (/ x y) (/ z y))))) 2.0))>
4.050 * * * * [progress]: [ 7 / 27 ] simplifiying candidate #<alt (λ (x y z) (+ (* 4.0 (* (sqrt (- (/ x y) (/ z y))) (sqrt (- (/ x y) (/ z y))))) 2.0))>
4.050 * * * * [progress]: [ 8 / 27 ] simplifiying candidate #<alt (λ (x y z) (+ (* 4.0 (/ (- x z) y)) 2.0))>
4.050 * * * * [progress]: [ 9 / 27 ] simplifiying candidate #<alt (λ (x y z) (+ (* 4.0 (/ (- (* x y) (* y z)) (* y y))) 2.0))>
4.050 * * * * [progress]: [ 10 / 27 ] simplifiying candidate #<alt (λ (x y z) (+ (* 4.0 (/ (- (pow (/ x y) 3) (pow (/ z y) 3)) (+ (* (/ x y) (/ x y)) (+ (* (/ z y) (/ z y)) (* (/ x y) (/ z y)))))) 2.0))>
4.050 * * * * [progress]: [ 11 / 27 ] simplifiying candidate #<alt (λ (x y z) (+ (* 4.0 (+ (/ x y) (- (/ z y)))) 2.0))>
4.050 * * * * [progress]: [ 12 / 27 ] simplifiying candidate #<alt (λ (x y z) (+ (* 4.0 (* 1 (- (/ x y) (/ z y)))) 2.0))>
4.050 * * * * [progress]: [ 13 / 27 ] simplifiying candidate #<alt (λ (x y z) (+ (* 4.0 (/ (- (* (/ x y) (/ x y)) (* (/ z y) (/ z y))) (+ (/ x y) (/ z y)))) 2.0))>
4.050 * * * * [progress]: [ 14 / 27 ] simplifiying candidate #<alt (λ (x y z) (+ (* 4.0 (* (+ (sqrt (/ x y)) (sqrt (/ z y))) (- (sqrt (/ x y)) (sqrt (/ z y))))) 2.0))>
4.050 * * * * [progress]: [ 15 / 27 ] simplifiying candidate #<alt (λ (x y z) (+ (* 4.0 (* (+ (sqrt (/ x y)) (/ (sqrt z) (sqrt y))) (- (sqrt (/ x y)) (/ (sqrt z) (sqrt y))))) 2.0))>
4.051 * * * * [progress]: [ 16 / 27 ] simplifiying candidate #<alt (λ (x y z) (+ (* 4.0 (* (+ (/ (sqrt x) (sqrt y)) (sqrt (/ z y))) (- (/ (sqrt x) (sqrt y)) (sqrt (/ z y))))) 2.0))>
4.051 * * * * [progress]: [ 17 / 27 ] simplifiying candidate #<alt (λ (x y z) (+ (* 4.0 (* (+ (/ (sqrt x) (sqrt y)) (/ (sqrt z) (sqrt y))) (- (/ (sqrt x) (sqrt y)) (/ (sqrt z) (sqrt y))))) 2.0))>
4.051 * * * * [progress]: [ 18 / 27 ] simplifiying candidate #<alt (λ (x y z) (+ (* 4.0 (* (/ 1 (* (cbrt y) (cbrt y))) (- (/ x (cbrt y)) (/ z (cbrt y))))) 2.0))>
4.051 * * * * [progress]: [ 19 / 27 ] simplifiying candidate #<alt (λ (x y z) (+ (* 4.0 (* (/ 1 (sqrt y)) (- (/ x (sqrt y)) (/ z (sqrt y))))) 2.0))>
4.051 * * * * [progress]: [ 20 / 27 ] simplifiying candidate #<alt (λ (x y z) (+ (* 4.0 (* (/ 1 1) (- (/ x y) (/ z y)))) 2.0))>
4.051 * * * * [progress]: [ 21 / 27 ] simplifiying candidate #<alt (λ (x y z) (+ (* 4.0 (* 1 (- (/ x y) (/ z y)))) 2.0))>
4.051 * * * * [progress]: [ 22 / 27 ] simplifiying candidate #<alt (λ (x y z) (+ (* 4.0 (* (/ 1 y) (- x z))) 2.0))>
4.051 * * * * [progress]: [ 23 / 27 ] simplifiying candidate #<alt (λ (x y z) (+ (* 4.0 (+ (/ x y) (- (/ z y)))) 2.0))>
4.051 * * * * [progress]: [ 24 / 27 ] simplifiying candidate #<alt (λ (x y z) (+ (* 4.0 (posit16->real (real->posit16 (- (/ x y) (/ z y))))) 2.0))>
4.051 * * * * [progress]: [ 25 / 27 ] simplifiying candidate #<alt (λ (x y z) (+ (* 4.0 (- (/ x y) (/ z y))) 2.0))>
4.051 * * * * [progress]: [ 26 / 27 ] simplifiying candidate #<alt (λ (x y z) (+ (* 4.0 (- (/ x y) (/ z y))) 2.0))>
4.051 * * * * [progress]: [ 27 / 27 ] simplifiying candidate #<alt (λ (x y z) (+ (* 4.0 (- (/ x y) (/ z y))) 2.0))>
4.052 * [simplify]: Simplifying:
  (/ (exp (/ x y)) (exp (/ z y)))
  (log (- (/ x y) (/ z y)))
  (exp (- (/ x y) (/ z y)))
  (* (cbrt (- (/ x y) (/ z y))) (cbrt (- (/ x y) (/ z y))))
  (cbrt (- (/ x y) (/ z y)))
  (* (* (- (/ x y) (/ z y)) (- (/ x y) (/ z y))) (- (/ x y) (/ z y)))
  (sqrt (- (/ x y) (/ z y)))
  (sqrt (- (/ x y) (/ z y)))
  (- x z)
  (- (* x y) (* y z))
  (* y y)
  (- (pow (/ x y) 3) (pow (/ z y) 3))
  (+ (* (/ x y) (/ x y)) (+ (* (/ z y) (/ z y)) (* (/ x y) (/ z y))))
  (- (/ z y))
  (- (* (/ x y) (/ x y)) (* (/ z y) (/ z y)))
  (+ (/ x y) (/ z y))
  (+ (sqrt (/ x y)) (sqrt (/ z y)))
  (- (sqrt (/ x y)) (sqrt (/ z y)))
  (+ (sqrt (/ x y)) (/ (sqrt z) (sqrt y)))
  (- (sqrt (/ x y)) (/ (sqrt z) (sqrt y)))
  (+ (/ (sqrt x) (sqrt y)) (sqrt (/ z y)))
  (- (/ (sqrt x) (sqrt y)) (sqrt (/ z y)))
  (+ (/ (sqrt x) (sqrt y)) (/ (sqrt z) (sqrt y)))
  (- (/ (sqrt x) (sqrt y)) (/ (sqrt z) (sqrt y)))
  (- (/ x (cbrt y)) (/ z (cbrt y)))
  (- (/ x (sqrt y)) (/ z (sqrt y)))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
  (- x z)
  (- (/ z y))
  (real->posit16 (- (/ x y) (/ z y)))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
4.052 * * [simplify]: iteration 0: 56 enodes
4.066 * * [simplify]: iteration 1: 119 enodes
4.094 * * [simplify]: iteration 2: 261 enodes
4.177 * * [simplify]: iteration 3: 619 enodes
4.490 * * [simplify]: iteration 4: 1879 enodes
5.029 * * [simplify]: iteration complete: 5001 enodes
5.029 * * [simplify]: Extracting #0: cost 26 inf + 0
5.030 * * [simplify]: Extracting #1: cost 219 inf + 0
5.033 * * [simplify]: Extracting #2: cost 1063 inf + 3231
5.056 * * [simplify]: Extracting #3: cost 1183 inf + 86656
5.154 * * [simplify]: Extracting #4: cost 682 inf + 274676
5.265 * * [simplify]: Extracting #5: cost 208 inf + 470157
5.384 * * [simplify]: Extracting #6: cost 23 inf + 536710
5.476 * * [simplify]: Extracting #7: cost 0 inf + 543305
5.564 * [simplify]: Simplified to:
  (exp (- (/ x y) (/ z y)))
  (log (- (/ x y) (/ z y)))
  (exp (- (/ x y) (/ z y)))
  (* (cbrt (- (/ x y) (/ z y))) (cbrt (- (/ x y) (/ z y))))
  (cbrt (- (/ x y) (/ z y)))
  (* (* (- (/ x y) (/ z y)) (- (/ x y) (/ z y))) (- (/ x y) (/ z y)))
  (sqrt (- (/ x y) (/ z y)))
  (sqrt (- (/ x y) (/ z y)))
  (- x z)
  (* (- x z) y)
  (* y y)
  (- (* (* (/ x y) (/ x y)) (/ x y)) (* (* (/ z y) (/ z y)) (/ z y)))
  (+ (* (/ z y) (/ z y)) (* (+ (/ z y) (/ x y)) (/ x y)))
  (/ (- z) y)
  (- (* (/ x y) (/ x y)) (* (/ z y) (/ z y)))
  (+ (/ z y) (/ x y))
  (+ (sqrt (/ x y)) (sqrt (/ z y)))
  (- (sqrt (/ x y)) (sqrt (/ z y)))
  (+ (sqrt (/ x y)) (/ (sqrt z) (sqrt y)))
  (- (sqrt (/ x y)) (/ (sqrt z) (sqrt y)))
  (+ (sqrt (/ z y)) (/ (sqrt x) (sqrt y)))
  (- (/ (sqrt x) (sqrt y)) (sqrt (/ z y)))
  (+ (/ (sqrt z) (sqrt y)) (/ (sqrt x) (sqrt y)))
  (- (/ (sqrt x) (sqrt y)) (/ (sqrt z) (sqrt y)))
  (- (/ x (cbrt y)) (/ z (cbrt y)))
  (- (/ x (sqrt y)) (/ z (sqrt y)))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
  (- x z)
  (/ (- z) y)
  (real->posit16 (- (/ x y) (/ z y)))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
5.566 * * * [progress]: adding candidates to table
5.652 * [progress]: [Phase 3 of 3] Extracting.
5.652 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ (* 4.0 (- (/ x y) (/ z y))) 2.0))> #<alt (λ (x y z) (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0))>)
5.652 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
5.653 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ (* 4.0 (- (/ x y) (/ z y))) 2.0))> #<alt (λ (x y z) (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0))>)
5.678 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ (* 4.0 (- (/ x y) (/ z y))) 2.0))> #<alt (λ (x y z) (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0))>)
5.701 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ (* 4.0 (- (/ x y) (/ z y))) 2.0))> #<alt (λ (x y z) (+ (* (- 0.25 (/ (- z x) y)) 4.0) 1.0))>)
5.726 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
5.726 * [simplify]: Simplifying:
  (+ (* 4.0 (- (/ x y) (/ z y))) 2.0)
5.726 * * [simplify]: iteration 0: 10 enodes
5.727 * * [simplify]: iteration 1: 12 enodes
5.727 * * [simplify]: iteration complete: 12 enodes
5.727 * * [simplify]: Extracting #0: cost 1 inf + 0
5.727 * * [simplify]: Extracting #1: cost 3 inf + 0
5.727 * * [simplify]: Extracting #2: cost 4 inf + 1
5.727 * * [simplify]: Extracting #3: cost 5 inf + 2
5.727 * * [simplify]: Extracting #4: cost 8 inf + 2
5.727 * * [simplify]: Extracting #5: cost 0 inf + 581
5.728 * [simplify]: Simplified to:
  (+ (* 4.0 (- (/ x y) (/ z y))) 2.0)
7.521 * [regime-testing]: Baseline error score: 0.008272274659512727
7.523 * [regime-testing]: Oracle error score: 0.0029484888736993568
7.528 * [regime-testing]: End program error score: 0.008272274659512727