10.152 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.042 * * * [progress]: [2/2] Setting up program.
0.048 * [progress]: [Phase 2 of 3] Improving.
0.048 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y z) (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)))>
0.048 * [simplify]: Simplifying:
  (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))
0.048 * * [simplify]: iteration 0: 12 enodes
0.053 * * [simplify]: iteration 1: 22 enodes
0.060 * * [simplify]: iteration 2: 48 enodes
0.079 * * [simplify]: iteration 3: 113 enodes
0.139 * * [simplify]: iteration 4: 258 enodes
0.230 * * [simplify]: iteration 5: 462 enodes
0.367 * * [simplify]: iteration 6: 779 enodes
1.076 * * [simplify]: iteration 7: 1577 enodes
2.036 * * [simplify]: iteration 8: 3385 enodes
2.924 * * [simplify]: iteration complete: 5000 enodes
2.924 * * [simplify]: Extracting #0: cost 1 inf + 0
2.925 * * [simplify]: Extracting #1: cost 127 inf + 0
2.928 * * [simplify]: Extracting #2: cost 323 inf + 988
2.937 * * [simplify]: Extracting #3: cost 186 inf + 21090
2.975 * * [simplify]: Extracting #4: cost 36 inf + 39224
3.010 * * [simplify]: Extracting #5: cost 0 inf + 42514
3.046 * * [simplify]: Extracting #6: cost 0 inf + 42499
3.094 * [simplify]: Simplified to:
  (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0)
3.101 * * [progress]: iteration 1 / 4
3.101 * * * [progress]: picking best candidate
3.105 * * * * [pick]: Picked  #<alt (λ (x y z) (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0))>
3.105 * * * [progress]: localizing error
3.118 * * * [progress]: generating rewritten candidates
3.118 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2)
3.137 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
3.139 * * * [progress]: generating series expansions
3.139 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2)
3.139 * [backup-simplify]: Simplify (/ (- x z) y) into (/ (- x z) y)
3.139 * [approximate]: Taking taylor expansion of (/ (- x z) y) in (x z y) around 0
3.139 * [taylor]: Taking taylor expansion of (/ (- x z) y) in y
3.139 * [taylor]: Taking taylor expansion of (- x z) in y
3.139 * [taylor]: Taking taylor expansion of x in y
3.139 * [backup-simplify]: Simplify x into x
3.139 * [taylor]: Taking taylor expansion of z in y
3.139 * [backup-simplify]: Simplify z into z
3.139 * [taylor]: Taking taylor expansion of y in y
3.139 * [backup-simplify]: Simplify 0 into 0
3.139 * [backup-simplify]: Simplify 1 into 1
3.139 * [backup-simplify]: Simplify (- z) into (- z)
3.139 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
3.139 * [backup-simplify]: Simplify (/ (- x z) 1) into (- x z)
3.139 * [taylor]: Taking taylor expansion of (/ (- x z) y) in z
3.139 * [taylor]: Taking taylor expansion of (- x z) in z
3.139 * [taylor]: Taking taylor expansion of x in z
3.139 * [backup-simplify]: Simplify x into x
3.139 * [taylor]: Taking taylor expansion of z in z
3.139 * [backup-simplify]: Simplify 0 into 0
3.139 * [backup-simplify]: Simplify 1 into 1
3.139 * [taylor]: Taking taylor expansion of y in z
3.139 * [backup-simplify]: Simplify y into y
3.140 * [backup-simplify]: Simplify (- 0) into 0
3.140 * [backup-simplify]: Simplify (+ x 0) into x
3.140 * [backup-simplify]: Simplify (/ x y) into (/ x y)
3.140 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x
3.140 * [taylor]: Taking taylor expansion of (- x z) in x
3.140 * [taylor]: Taking taylor expansion of x in x
3.140 * [backup-simplify]: Simplify 0 into 0
3.140 * [backup-simplify]: Simplify 1 into 1
3.140 * [taylor]: Taking taylor expansion of z in x
3.140 * [backup-simplify]: Simplify z into z
3.140 * [taylor]: Taking taylor expansion of y in x
3.140 * [backup-simplify]: Simplify y into y
3.140 * [backup-simplify]: Simplify (- z) into (- z)
3.140 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
3.140 * [backup-simplify]: Simplify (/ (- z) y) into (* -1 (/ z y))
3.140 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x
3.140 * [taylor]: Taking taylor expansion of (- x z) in x
3.140 * [taylor]: Taking taylor expansion of x in x
3.140 * [backup-simplify]: Simplify 0 into 0
3.140 * [backup-simplify]: Simplify 1 into 1
3.140 * [taylor]: Taking taylor expansion of z in x
3.140 * [backup-simplify]: Simplify z into z
3.140 * [taylor]: Taking taylor expansion of y in x
3.140 * [backup-simplify]: Simplify y into y
3.140 * [backup-simplify]: Simplify (- z) into (- z)
3.140 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
3.140 * [backup-simplify]: Simplify (/ (- z) y) into (* -1 (/ z y))
3.140 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in z
3.140 * [taylor]: Taking taylor expansion of -1 in z
3.140 * [backup-simplify]: Simplify -1 into -1
3.140 * [taylor]: Taking taylor expansion of (/ z y) in z
3.141 * [taylor]: Taking taylor expansion of z in z
3.141 * [backup-simplify]: Simplify 0 into 0
3.141 * [backup-simplify]: Simplify 1 into 1
3.141 * [taylor]: Taking taylor expansion of y in z
3.141 * [backup-simplify]: Simplify y into y
3.141 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.141 * [backup-simplify]: Simplify (- 0) into 0
3.141 * [backup-simplify]: Simplify (+ 1 0) into 1
3.141 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* (* -1 (/ z y)) (/ 0 y)))) into (/ 1 y)
3.141 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.141 * [taylor]: Taking taylor expansion of y in z
3.141 * [backup-simplify]: Simplify y into y
3.141 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.141 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.141 * [taylor]: Taking taylor expansion of y in y
3.141 * [backup-simplify]: Simplify 0 into 0
3.141 * [backup-simplify]: Simplify 1 into 1
3.142 * [backup-simplify]: Simplify (/ 1 1) into 1
3.142 * [backup-simplify]: Simplify 1 into 1
3.142 * [backup-simplify]: Simplify (* -1 (/ 1 y)) into (/ -1 y)
3.142 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.142 * [taylor]: Taking taylor expansion of -1 in y
3.142 * [backup-simplify]: Simplify -1 into -1
3.142 * [taylor]: Taking taylor expansion of y in y
3.142 * [backup-simplify]: Simplify 0 into 0
3.142 * [backup-simplify]: Simplify 1 into 1
3.142 * [backup-simplify]: Simplify (/ -1 1) into -1
3.142 * [backup-simplify]: Simplify -1 into -1
3.142 * [backup-simplify]: Simplify (- 0) into 0
3.143 * [backup-simplify]: Simplify (+ 0 0) into 0
3.143 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (* -1 (/ z y)) (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0
3.143 * [taylor]: Taking taylor expansion of 0 in z
3.143 * [backup-simplify]: Simplify 0 into 0
3.143 * [taylor]: Taking taylor expansion of 0 in y
3.143 * [backup-simplify]: Simplify 0 into 0
3.143 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.143 * [taylor]: Taking taylor expansion of 0 in y
3.143 * [backup-simplify]: Simplify 0 into 0
3.143 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
3.143 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 y))) into 0
3.143 * [taylor]: Taking taylor expansion of 0 in y
3.143 * [backup-simplify]: Simplify 0 into 0
3.144 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.144 * [backup-simplify]: Simplify 0 into 0
3.144 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
3.144 * [backup-simplify]: Simplify 0 into 0
3.145 * [backup-simplify]: Simplify (- 0) into 0
3.145 * [backup-simplify]: Simplify (+ 0 0) into 0
3.145 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (* -1 (/ z y)) (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.145 * [taylor]: Taking taylor expansion of 0 in z
3.145 * [backup-simplify]: Simplify 0 into 0
3.145 * [taylor]: Taking taylor expansion of 0 in y
3.145 * [backup-simplify]: Simplify 0 into 0
3.145 * [taylor]: Taking taylor expansion of 0 in y
3.145 * [backup-simplify]: Simplify 0 into 0
3.145 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.145 * [taylor]: Taking taylor expansion of 0 in y
3.145 * [backup-simplify]: Simplify 0 into 0
3.145 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.146 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
3.146 * [taylor]: Taking taylor expansion of 0 in y
3.146 * [backup-simplify]: Simplify 0 into 0
3.146 * [backup-simplify]: Simplify 0 into 0
3.146 * [backup-simplify]: Simplify 0 into 0
3.146 * [backup-simplify]: Simplify 0 into 0
3.147 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.147 * [backup-simplify]: Simplify 0 into 0
3.147 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 y) (* z 1))) (* 1 (* (/ 1 y) (* 1 x)))) into (- (/ x y) (/ z y))
3.147 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) (/ 1 y)) into (* (- (/ 1 x) (/ 1 z)) y)
3.147 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in (x z y) around 0
3.147 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in y
3.147 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
3.147 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.147 * [taylor]: Taking taylor expansion of x in y
3.147 * [backup-simplify]: Simplify x into x
3.147 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.147 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.147 * [taylor]: Taking taylor expansion of z in y
3.147 * [backup-simplify]: Simplify z into z
3.147 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.147 * [taylor]: Taking taylor expansion of y in y
3.147 * [backup-simplify]: Simplify 0 into 0
3.147 * [backup-simplify]: Simplify 1 into 1
3.147 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in z
3.147 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
3.147 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.147 * [taylor]: Taking taylor expansion of x in z
3.147 * [backup-simplify]: Simplify x into x
3.147 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.147 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.147 * [taylor]: Taking taylor expansion of z in z
3.147 * [backup-simplify]: Simplify 0 into 0
3.147 * [backup-simplify]: Simplify 1 into 1
3.148 * [backup-simplify]: Simplify (/ 1 1) into 1
3.148 * [taylor]: Taking taylor expansion of y in z
3.148 * [backup-simplify]: Simplify y into y
3.148 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in x
3.148 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
3.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.148 * [taylor]: Taking taylor expansion of x in x
3.148 * [backup-simplify]: Simplify 0 into 0
3.148 * [backup-simplify]: Simplify 1 into 1
3.148 * [backup-simplify]: Simplify (/ 1 1) into 1
3.148 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.148 * [taylor]: Taking taylor expansion of z in x
3.148 * [backup-simplify]: Simplify z into z
3.148 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.148 * [taylor]: Taking taylor expansion of y in x
3.148 * [backup-simplify]: Simplify y into y
3.148 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in x
3.148 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
3.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.148 * [taylor]: Taking taylor expansion of x in x
3.148 * [backup-simplify]: Simplify 0 into 0
3.148 * [backup-simplify]: Simplify 1 into 1
3.148 * [backup-simplify]: Simplify (/ 1 1) into 1
3.149 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.149 * [taylor]: Taking taylor expansion of z in x
3.149 * [backup-simplify]: Simplify z into z
3.149 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.149 * [taylor]: Taking taylor expansion of y in x
3.149 * [backup-simplify]: Simplify y into y
3.149 * [backup-simplify]: Simplify (+ 1 0) into 1
3.149 * [backup-simplify]: Simplify (* 1 y) into y
3.149 * [taylor]: Taking taylor expansion of y in z
3.149 * [backup-simplify]: Simplify y into y
3.150 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.150 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
3.150 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
3.151 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 z)) y)) into (- (/ y z))
3.151 * [taylor]: Taking taylor expansion of (- (/ y z)) in z
3.151 * [taylor]: Taking taylor expansion of (/ y z) in z
3.151 * [taylor]: Taking taylor expansion of y in z
3.151 * [backup-simplify]: Simplify y into y
3.151 * [taylor]: Taking taylor expansion of z in z
3.151 * [backup-simplify]: Simplify 0 into 0
3.151 * [backup-simplify]: Simplify 1 into 1
3.151 * [backup-simplify]: Simplify (/ y 1) into y
3.151 * [backup-simplify]: Simplify (- y) into (- y)
3.151 * [taylor]: Taking taylor expansion of (- y) in y
3.151 * [taylor]: Taking taylor expansion of y in y
3.151 * [backup-simplify]: Simplify 0 into 0
3.151 * [backup-simplify]: Simplify 1 into 1
3.152 * [backup-simplify]: Simplify (- 0) into 0
3.152 * [backup-simplify]: Simplify 0 into 0
3.152 * [taylor]: Taking taylor expansion of y in y
3.152 * [backup-simplify]: Simplify 0 into 0
3.152 * [backup-simplify]: Simplify 1 into 1
3.152 * [backup-simplify]: Simplify 0 into 0
3.153 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.153 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
3.153 * [backup-simplify]: Simplify (- 0) into 0
3.154 * [backup-simplify]: Simplify (+ 0 0) into 0
3.154 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 z)) 0) (* 0 y))) into 0
3.154 * [taylor]: Taking taylor expansion of 0 in z
3.154 * [backup-simplify]: Simplify 0 into 0
3.155 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
3.156 * [backup-simplify]: Simplify (- 0) into 0
3.156 * [taylor]: Taking taylor expansion of 0 in y
3.156 * [backup-simplify]: Simplify 0 into 0
3.156 * [backup-simplify]: Simplify 0 into 0
3.156 * [taylor]: Taking taylor expansion of 0 in y
3.156 * [backup-simplify]: Simplify 0 into 0
3.156 * [backup-simplify]: Simplify 0 into 0
3.156 * [backup-simplify]: Simplify (- 1) into -1
3.156 * [backup-simplify]: Simplify -1 into -1
3.156 * [backup-simplify]: Simplify 1 into 1
3.157 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.157 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.158 * [backup-simplify]: Simplify (- 0) into 0
3.158 * [backup-simplify]: Simplify (+ 0 0) into 0
3.159 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 z)) 0) (+ (* 0 0) (* 0 y)))) into 0
3.159 * [taylor]: Taking taylor expansion of 0 in z
3.159 * [backup-simplify]: Simplify 0 into 0
3.159 * [taylor]: Taking taylor expansion of 0 in y
3.159 * [backup-simplify]: Simplify 0 into 0
3.159 * [backup-simplify]: Simplify 0 into 0
3.161 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.161 * [backup-simplify]: Simplify (- 0) into 0
3.161 * [taylor]: Taking taylor expansion of 0 in y
3.161 * [backup-simplify]: Simplify 0 into 0
3.161 * [backup-simplify]: Simplify 0 into 0
3.161 * [taylor]: Taking taylor expansion of 0 in y
3.161 * [backup-simplify]: Simplify 0 into 0
3.161 * [backup-simplify]: Simplify 0 into 0
3.162 * [backup-simplify]: Simplify 0 into 0
3.162 * [backup-simplify]: Simplify 0 into 0
3.162 * [backup-simplify]: Simplify (- 0) into 0
3.162 * [backup-simplify]: Simplify 0 into 0
3.162 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 y) (* 1 (/ 1 (/ 1 x))))) (* -1 (* (/ 1 y) (* (/ 1 (/ 1 z)) 1)))) into (- (/ x y) (/ z y))
3.162 * [backup-simplify]: Simplify (/ (- (/ 1 (- x)) (/ 1 (- z))) (/ 1 (- y))) into (* -1 (* y (- (/ 1 z) (/ 1 x))))
3.163 * [approximate]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in (x z y) around 0
3.163 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in y
3.163 * [taylor]: Taking taylor expansion of -1 in y
3.163 * [backup-simplify]: Simplify -1 into -1
3.163 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y
3.163 * [taylor]: Taking taylor expansion of y in y
3.163 * [backup-simplify]: Simplify 0 into 0
3.163 * [backup-simplify]: Simplify 1 into 1
3.163 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
3.163 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.163 * [taylor]: Taking taylor expansion of z in y
3.163 * [backup-simplify]: Simplify z into z
3.163 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.163 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.163 * [taylor]: Taking taylor expansion of x in y
3.163 * [backup-simplify]: Simplify x into x
3.163 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.163 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in z
3.163 * [taylor]: Taking taylor expansion of -1 in z
3.163 * [backup-simplify]: Simplify -1 into -1
3.163 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in z
3.163 * [taylor]: Taking taylor expansion of y in z
3.163 * [backup-simplify]: Simplify y into y
3.163 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
3.163 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.163 * [taylor]: Taking taylor expansion of z in z
3.163 * [backup-simplify]: Simplify 0 into 0
3.163 * [backup-simplify]: Simplify 1 into 1
3.164 * [backup-simplify]: Simplify (/ 1 1) into 1
3.164 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.164 * [taylor]: Taking taylor expansion of x in z
3.164 * [backup-simplify]: Simplify x into x
3.164 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.164 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in x
3.164 * [taylor]: Taking taylor expansion of -1 in x
3.164 * [backup-simplify]: Simplify -1 into -1
3.164 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x
3.164 * [taylor]: Taking taylor expansion of y in x
3.164 * [backup-simplify]: Simplify y into y
3.164 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
3.164 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.164 * [taylor]: Taking taylor expansion of z in x
3.164 * [backup-simplify]: Simplify z into z
3.164 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.164 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.164 * [taylor]: Taking taylor expansion of x in x
3.164 * [backup-simplify]: Simplify 0 into 0
3.164 * [backup-simplify]: Simplify 1 into 1
3.165 * [backup-simplify]: Simplify (/ 1 1) into 1
3.165 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in x
3.165 * [taylor]: Taking taylor expansion of -1 in x
3.165 * [backup-simplify]: Simplify -1 into -1
3.165 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x
3.165 * [taylor]: Taking taylor expansion of y in x
3.165 * [backup-simplify]: Simplify y into y
3.165 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
3.165 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.165 * [taylor]: Taking taylor expansion of z in x
3.165 * [backup-simplify]: Simplify z into z
3.165 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.165 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.165 * [taylor]: Taking taylor expansion of x in x
3.165 * [backup-simplify]: Simplify 0 into 0
3.165 * [backup-simplify]: Simplify 1 into 1
3.165 * [backup-simplify]: Simplify (/ 1 1) into 1
3.166 * [backup-simplify]: Simplify (- 1) into -1
3.166 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.166 * [backup-simplify]: Simplify (* y -1) into (* -1 y)
3.166 * [backup-simplify]: Simplify (* -1 (* -1 y)) into y
3.166 * [taylor]: Taking taylor expansion of y in z
3.167 * [backup-simplify]: Simplify y into y
3.167 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.168 * [backup-simplify]: Simplify (- 0) into 0
3.168 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
3.168 * [backup-simplify]: Simplify (+ (* y (/ 1 z)) (* 0 -1)) into (/ y z)
3.168 * [backup-simplify]: Simplify (+ (* -1 (/ y z)) (* 0 (* -1 y))) into (- (/ y z))
3.168 * [taylor]: Taking taylor expansion of (- (/ y z)) in z
3.168 * [taylor]: Taking taylor expansion of (/ y z) in z
3.168 * [taylor]: Taking taylor expansion of y in z
3.169 * [backup-simplify]: Simplify y into y
3.169 * [taylor]: Taking taylor expansion of z in z
3.169 * [backup-simplify]: Simplify 0 into 0
3.169 * [backup-simplify]: Simplify 1 into 1
3.169 * [backup-simplify]: Simplify (/ y 1) into y
3.169 * [backup-simplify]: Simplify (- y) into (- y)
3.169 * [taylor]: Taking taylor expansion of (- y) in y
3.169 * [taylor]: Taking taylor expansion of y in y
3.169 * [backup-simplify]: Simplify 0 into 0
3.169 * [backup-simplify]: Simplify 1 into 1
3.169 * [backup-simplify]: Simplify (- 0) into 0
3.169 * [backup-simplify]: Simplify 0 into 0
3.169 * [taylor]: Taking taylor expansion of y in y
3.169 * [backup-simplify]: Simplify 0 into 0
3.169 * [backup-simplify]: Simplify 1 into 1
3.169 * [backup-simplify]: Simplify 0 into 0
3.170 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
3.170 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.171 * [backup-simplify]: Simplify (- 0) into 0
3.171 * [backup-simplify]: Simplify (+ 0 0) into 0
3.172 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (/ 1 z)) (* 0 -1))) into 0
3.172 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ y z)) (* 0 (* -1 y)))) into 0
3.172 * [taylor]: Taking taylor expansion of 0 in z
3.172 * [backup-simplify]: Simplify 0 into 0
3.173 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
3.173 * [backup-simplify]: Simplify (- 0) into 0
3.174 * [taylor]: Taking taylor expansion of 0 in y
3.174 * [backup-simplify]: Simplify 0 into 0
3.174 * [backup-simplify]: Simplify 0 into 0
3.174 * [taylor]: Taking taylor expansion of 0 in y
3.174 * [backup-simplify]: Simplify 0 into 0
3.174 * [backup-simplify]: Simplify 0 into 0
3.174 * [backup-simplify]: Simplify (- 1) into -1
3.174 * [backup-simplify]: Simplify -1 into -1
3.174 * [backup-simplify]: Simplify 1 into 1
3.174 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.175 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.176 * [backup-simplify]: Simplify (- 0) into 0
3.176 * [backup-simplify]: Simplify (+ 0 0) into 0
3.177 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (/ 1 z)) (* 0 -1)))) into 0
3.178 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ y z)) (* 0 (* -1 y))))) into 0
3.178 * [taylor]: Taking taylor expansion of 0 in z
3.178 * [backup-simplify]: Simplify 0 into 0
3.178 * [taylor]: Taking taylor expansion of 0 in y
3.178 * [backup-simplify]: Simplify 0 into 0
3.178 * [backup-simplify]: Simplify 0 into 0
3.179 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.180 * [backup-simplify]: Simplify (- 0) into 0
3.180 * [taylor]: Taking taylor expansion of 0 in y
3.180 * [backup-simplify]: Simplify 0 into 0
3.180 * [backup-simplify]: Simplify 0 into 0
3.180 * [taylor]: Taking taylor expansion of 0 in y
3.180 * [backup-simplify]: Simplify 0 into 0
3.180 * [backup-simplify]: Simplify 0 into 0
3.180 * [backup-simplify]: Simplify 0 into 0
3.180 * [backup-simplify]: Simplify 0 into 0
3.180 * [backup-simplify]: Simplify (- 0) into 0
3.180 * [backup-simplify]: Simplify 0 into 0
3.181 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- y)) (* 1 (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (- y)) (* (/ 1 (/ 1 (- z))) 1)))) into (- (/ x y) (/ z y))
3.181 * * * * [progress]: [ 2 / 2 ] generating series at (2)
3.181 * [backup-simplify]: Simplify (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0) into (fma (- (+ (/ x y) 0.25) (/ z y)) 4.0 1.0)
3.181 * [approximate]: Taking taylor expansion of (fma (- (+ (/ x y) 0.25) (/ z y)) 4.0 1.0) in (x z y) around 0
3.181 * [taylor]: Taking taylor expansion of (fma (- (+ (/ x y) 0.25) (/ z y)) 4.0 1.0) in y
3.181 * [taylor]: Rewrote expression to (+ (* (- (+ (/ x y) 0.25) (/ z y)) 4.0) 1.0)
3.181 * [taylor]: Taking taylor expansion of (* (- (+ (/ x y) 0.25) (/ z y)) 4.0) in y
3.181 * [taylor]: Taking taylor expansion of (- (+ (/ x y) 0.25) (/ z y)) in y
3.181 * [taylor]: Taking taylor expansion of (+ (/ x y) 0.25) in y
3.181 * [taylor]: Taking taylor expansion of (/ x y) in y
3.181 * [taylor]: Taking taylor expansion of x in y
3.182 * [backup-simplify]: Simplify x into x
3.182 * [taylor]: Taking taylor expansion of y in y
3.182 * [backup-simplify]: Simplify 0 into 0
3.182 * [backup-simplify]: Simplify 1 into 1
3.182 * [backup-simplify]: Simplify (/ x 1) into x
3.182 * [taylor]: Taking taylor expansion of 0.25 in y
3.182 * [backup-simplify]: Simplify 0.25 into 0.25
3.182 * [taylor]: Taking taylor expansion of (/ z y) in y
3.182 * [taylor]: Taking taylor expansion of z in y
3.182 * [backup-simplify]: Simplify z into z
3.182 * [taylor]: Taking taylor expansion of y in y
3.182 * [backup-simplify]: Simplify 0 into 0
3.182 * [backup-simplify]: Simplify 1 into 1
3.182 * [backup-simplify]: Simplify (/ z 1) into z
3.182 * [taylor]: Taking taylor expansion of 4.0 in y
3.182 * [backup-simplify]: Simplify 4.0 into 4.0
3.182 * [taylor]: Taking taylor expansion of 1.0 in y
3.182 * [backup-simplify]: Simplify 1.0 into 1.0
3.182 * [taylor]: Taking taylor expansion of (fma (- (+ (/ x y) 0.25) (/ z y)) 4.0 1.0) in z
3.182 * [taylor]: Rewrote expression to (+ (* (- (+ (/ x y) 0.25) (/ z y)) 4.0) 1.0)
3.182 * [taylor]: Taking taylor expansion of (* (- (+ (/ x y) 0.25) (/ z y)) 4.0) in z
3.182 * [taylor]: Taking taylor expansion of (- (+ (/ x y) 0.25) (/ z y)) in z
3.182 * [taylor]: Taking taylor expansion of (+ (/ x y) 0.25) in z
3.182 * [taylor]: Taking taylor expansion of (/ x y) in z
3.182 * [taylor]: Taking taylor expansion of x in z
3.182 * [backup-simplify]: Simplify x into x
3.182 * [taylor]: Taking taylor expansion of y in z
3.182 * [backup-simplify]: Simplify y into y
3.183 * [backup-simplify]: Simplify (/ x y) into (/ x y)
3.183 * [taylor]: Taking taylor expansion of 0.25 in z
3.183 * [backup-simplify]: Simplify 0.25 into 0.25
3.183 * [taylor]: Taking taylor expansion of (/ z y) in z
3.183 * [taylor]: Taking taylor expansion of z in z
3.183 * [backup-simplify]: Simplify 0 into 0
3.183 * [backup-simplify]: Simplify 1 into 1
3.183 * [taylor]: Taking taylor expansion of y in z
3.183 * [backup-simplify]: Simplify y into y
3.183 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.183 * [taylor]: Taking taylor expansion of 4.0 in z
3.183 * [backup-simplify]: Simplify 4.0 into 4.0
3.183 * [taylor]: Taking taylor expansion of 1.0 in z
3.183 * [backup-simplify]: Simplify 1.0 into 1.0
3.183 * [taylor]: Taking taylor expansion of (fma (- (+ (/ x y) 0.25) (/ z y)) 4.0 1.0) in x
3.183 * [taylor]: Rewrote expression to (+ (* (- (+ (/ x y) 0.25) (/ z y)) 4.0) 1.0)
3.183 * [taylor]: Taking taylor expansion of (* (- (+ (/ x y) 0.25) (/ z y)) 4.0) in x
3.183 * [taylor]: Taking taylor expansion of (- (+ (/ x y) 0.25) (/ z y)) in x
3.183 * [taylor]: Taking taylor expansion of (+ (/ x y) 0.25) in x
3.183 * [taylor]: Taking taylor expansion of (/ x y) in x
3.183 * [taylor]: Taking taylor expansion of x in x
3.183 * [backup-simplify]: Simplify 0 into 0
3.183 * [backup-simplify]: Simplify 1 into 1
3.183 * [taylor]: Taking taylor expansion of y in x
3.183 * [backup-simplify]: Simplify y into y
3.183 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.183 * [taylor]: Taking taylor expansion of 0.25 in x
3.183 * [backup-simplify]: Simplify 0.25 into 0.25
3.183 * [taylor]: Taking taylor expansion of (/ z y) in x
3.183 * [taylor]: Taking taylor expansion of z in x
3.184 * [backup-simplify]: Simplify z into z
3.184 * [taylor]: Taking taylor expansion of y in x
3.184 * [backup-simplify]: Simplify y into y
3.184 * [backup-simplify]: Simplify (/ z y) into (/ z y)
3.184 * [taylor]: Taking taylor expansion of 4.0 in x
3.184 * [backup-simplify]: Simplify 4.0 into 4.0
3.184 * [taylor]: Taking taylor expansion of 1.0 in x
3.184 * [backup-simplify]: Simplify 1.0 into 1.0
3.184 * [taylor]: Taking taylor expansion of (fma (- (+ (/ x y) 0.25) (/ z y)) 4.0 1.0) in x
3.184 * [taylor]: Rewrote expression to (+ (* (- (+ (/ x y) 0.25) (/ z y)) 4.0) 1.0)
3.184 * [taylor]: Taking taylor expansion of (* (- (+ (/ x y) 0.25) (/ z y)) 4.0) in x
3.184 * [taylor]: Taking taylor expansion of (- (+ (/ x y) 0.25) (/ z y)) in x
3.184 * [taylor]: Taking taylor expansion of (+ (/ x y) 0.25) in x
3.184 * [taylor]: Taking taylor expansion of (/ x y) in x
3.184 * [taylor]: Taking taylor expansion of x in x
3.184 * [backup-simplify]: Simplify 0 into 0
3.184 * [backup-simplify]: Simplify 1 into 1
3.184 * [taylor]: Taking taylor expansion of y in x
3.184 * [backup-simplify]: Simplify y into y
3.184 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.184 * [taylor]: Taking taylor expansion of 0.25 in x
3.184 * [backup-simplify]: Simplify 0.25 into 0.25
3.184 * [taylor]: Taking taylor expansion of (/ z y) in x
3.184 * [taylor]: Taking taylor expansion of z in x
3.184 * [backup-simplify]: Simplify z into z
3.184 * [taylor]: Taking taylor expansion of y in x
3.184 * [backup-simplify]: Simplify y into y
3.184 * [backup-simplify]: Simplify (/ z y) into (/ z y)
3.185 * [taylor]: Taking taylor expansion of 4.0 in x
3.185 * [backup-simplify]: Simplify 4.0 into 4.0
3.185 * [taylor]: Taking taylor expansion of 1.0 in x
3.185 * [backup-simplify]: Simplify 1.0 into 1.0
3.185 * [backup-simplify]: Simplify (+ 0 0.25) into 0.25
3.185 * [backup-simplify]: Simplify (- (/ z y)) into (- (/ z y))
3.185 * [backup-simplify]: Simplify (+ 0.25 (- (/ z y))) into (- 0.25 (/ z y))
3.186 * [backup-simplify]: Simplify (* (- 0.25 (/ z y)) 4.0) into (* 4.0 (- 0.25 (/ z y)))
3.186 * [backup-simplify]: Simplify (+ (* 4.0 (- 0.25 (/ z y))) 1.0) into (- 2.0 (* 4.0 (/ z y)))
3.186 * [taylor]: Taking taylor expansion of (- 2.0 (* 4.0 (/ z y))) in z
3.186 * [taylor]: Taking taylor expansion of 2.0 in z
3.186 * [backup-simplify]: Simplify 2.0 into 2.0
3.186 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in z
3.186 * [taylor]: Taking taylor expansion of 4.0 in z
3.186 * [backup-simplify]: Simplify 4.0 into 4.0
3.186 * [taylor]: Taking taylor expansion of (/ z y) in z
3.186 * [taylor]: Taking taylor expansion of z in z
3.186 * [backup-simplify]: Simplify 0 into 0
3.186 * [backup-simplify]: Simplify 1 into 1
3.186 * [taylor]: Taking taylor expansion of y in z
3.186 * [backup-simplify]: Simplify y into y
3.186 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.187 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
3.187 * [taylor]: Taking taylor expansion of 2.0 in y
3.187 * [backup-simplify]: Simplify 2.0 into 2.0
3.187 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
3.187 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
3.187 * [backup-simplify]: Simplify (- 0) into 0
3.187 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
3.188 * [backup-simplify]: Simplify (+ (* (- 0.25 (/ z y)) 0) (* (/ 1 y) 4.0)) into (* 4.0 (/ 1 y))
3.188 * [backup-simplify]: Simplify (+ (* 4.0 (/ 1 y)) 0) into (* 4.0 (/ 1 y))
3.188 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z
3.188 * [taylor]: Taking taylor expansion of 4.0 in z
3.188 * [backup-simplify]: Simplify 4.0 into 4.0
3.188 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.188 * [taylor]: Taking taylor expansion of y in z
3.188 * [backup-simplify]: Simplify y into y
3.188 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.188 * [backup-simplify]: Simplify (* 4.0 (/ 1 y)) into (/ 4.0 y)
3.188 * [taylor]: Taking taylor expansion of (/ 4.0 y) in y
3.188 * [taylor]: Taking taylor expansion of 4.0 in y
3.188 * [backup-simplify]: Simplify 4.0 into 4.0
3.188 * [taylor]: Taking taylor expansion of y in y
3.188 * [backup-simplify]: Simplify 0 into 0
3.188 * [backup-simplify]: Simplify 1 into 1
3.189 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
3.189 * [backup-simplify]: Simplify 4.0 into 4.0
3.189 * [backup-simplify]: Simplify (* 4.0 (/ 1 y)) into (/ 4.0 y)
3.189 * [backup-simplify]: Simplify (- (/ 4.0 y)) into (- (* 4.0 (/ 1 y)))
3.189 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 y)))) into (- (* 4.0 (/ 1 y)))
3.189 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y))) in y
3.189 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
3.189 * [taylor]: Taking taylor expansion of 4.0 in y
3.189 * [backup-simplify]: Simplify 4.0 into 4.0
3.189 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.189 * [taylor]: Taking taylor expansion of y in y
3.189 * [backup-simplify]: Simplify 0 into 0
3.189 * [backup-simplify]: Simplify 1 into 1
3.190 * [backup-simplify]: Simplify (/ 1 1) into 1
3.190 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
3.190 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
3.191 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
3.191 * [backup-simplify]: Simplify 2.0 into 2.0
3.192 * [backup-simplify]: Simplify (+ 2.0 (+ (* (- 4.0) (* (/ 1 y) (* z 1))) (* 4.0 (* (/ 1 y) (* 1 x))))) into (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y)))
3.192 * [backup-simplify]: Simplify (fma (+ 0.25 (/ (- (/ 1 x) (/ 1 z)) (/ 1 y))) 4.0 1.0) into (fma (- (+ (/ y x) 0.25) (/ y z)) 4.0 1.0)
3.192 * [approximate]: Taking taylor expansion of (fma (- (+ (/ y x) 0.25) (/ y z)) 4.0 1.0) in (x z y) around 0
3.192 * [taylor]: Taking taylor expansion of (fma (- (+ (/ y x) 0.25) (/ y z)) 4.0 1.0) in y
3.192 * [taylor]: Rewrote expression to (+ (* (- (+ (/ y x) 0.25) (/ y z)) 4.0) 1.0)
3.192 * [taylor]: Taking taylor expansion of (* (- (+ (/ y x) 0.25) (/ y z)) 4.0) in y
3.192 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in y
3.192 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in y
3.192 * [taylor]: Taking taylor expansion of (/ y x) in y
3.193 * [taylor]: Taking taylor expansion of y in y
3.193 * [backup-simplify]: Simplify 0 into 0
3.193 * [backup-simplify]: Simplify 1 into 1
3.193 * [taylor]: Taking taylor expansion of x in y
3.193 * [backup-simplify]: Simplify x into x
3.193 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.193 * [taylor]: Taking taylor expansion of 0.25 in y
3.193 * [backup-simplify]: Simplify 0.25 into 0.25
3.193 * [taylor]: Taking taylor expansion of (/ y z) in y
3.193 * [taylor]: Taking taylor expansion of y in y
3.193 * [backup-simplify]: Simplify 0 into 0
3.193 * [backup-simplify]: Simplify 1 into 1
3.193 * [taylor]: Taking taylor expansion of z in y
3.193 * [backup-simplify]: Simplify z into z
3.193 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.193 * [taylor]: Taking taylor expansion of 4.0 in y
3.193 * [backup-simplify]: Simplify 4.0 into 4.0
3.193 * [taylor]: Taking taylor expansion of 1.0 in y
3.193 * [backup-simplify]: Simplify 1.0 into 1.0
3.193 * [taylor]: Taking taylor expansion of (fma (- (+ (/ y x) 0.25) (/ y z)) 4.0 1.0) in z
3.193 * [taylor]: Rewrote expression to (+ (* (- (+ (/ y x) 0.25) (/ y z)) 4.0) 1.0)
3.193 * [taylor]: Taking taylor expansion of (* (- (+ (/ y x) 0.25) (/ y z)) 4.0) in z
3.193 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in z
3.193 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in z
3.193 * [taylor]: Taking taylor expansion of (/ y x) in z
3.193 * [taylor]: Taking taylor expansion of y in z
3.193 * [backup-simplify]: Simplify y into y
3.193 * [taylor]: Taking taylor expansion of x in z
3.193 * [backup-simplify]: Simplify x into x
3.194 * [backup-simplify]: Simplify (/ y x) into (/ y x)
3.194 * [taylor]: Taking taylor expansion of 0.25 in z
3.194 * [backup-simplify]: Simplify 0.25 into 0.25
3.194 * [taylor]: Taking taylor expansion of (/ y z) in z
3.194 * [taylor]: Taking taylor expansion of y in z
3.194 * [backup-simplify]: Simplify y into y
3.194 * [taylor]: Taking taylor expansion of z in z
3.194 * [backup-simplify]: Simplify 0 into 0
3.194 * [backup-simplify]: Simplify 1 into 1
3.194 * [backup-simplify]: Simplify (/ y 1) into y
3.194 * [taylor]: Taking taylor expansion of 4.0 in z
3.194 * [backup-simplify]: Simplify 4.0 into 4.0
3.194 * [taylor]: Taking taylor expansion of 1.0 in z
3.194 * [backup-simplify]: Simplify 1.0 into 1.0
3.194 * [taylor]: Taking taylor expansion of (fma (- (+ (/ y x) 0.25) (/ y z)) 4.0 1.0) in x
3.194 * [taylor]: Rewrote expression to (+ (* (- (+ (/ y x) 0.25) (/ y z)) 4.0) 1.0)
3.194 * [taylor]: Taking taylor expansion of (* (- (+ (/ y x) 0.25) (/ y z)) 4.0) in x
3.194 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in x
3.194 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in x
3.194 * [taylor]: Taking taylor expansion of (/ y x) in x
3.194 * [taylor]: Taking taylor expansion of y in x
3.194 * [backup-simplify]: Simplify y into y
3.194 * [taylor]: Taking taylor expansion of x in x
3.194 * [backup-simplify]: Simplify 0 into 0
3.194 * [backup-simplify]: Simplify 1 into 1
3.194 * [backup-simplify]: Simplify (/ y 1) into y
3.194 * [taylor]: Taking taylor expansion of 0.25 in x
3.194 * [backup-simplify]: Simplify 0.25 into 0.25
3.194 * [taylor]: Taking taylor expansion of (/ y z) in x
3.195 * [taylor]: Taking taylor expansion of y in x
3.195 * [backup-simplify]: Simplify y into y
3.195 * [taylor]: Taking taylor expansion of z in x
3.195 * [backup-simplify]: Simplify z into z
3.195 * [backup-simplify]: Simplify (/ y z) into (/ y z)
3.195 * [taylor]: Taking taylor expansion of 4.0 in x
3.195 * [backup-simplify]: Simplify 4.0 into 4.0
3.195 * [taylor]: Taking taylor expansion of 1.0 in x
3.195 * [backup-simplify]: Simplify 1.0 into 1.0
3.195 * [taylor]: Taking taylor expansion of (fma (- (+ (/ y x) 0.25) (/ y z)) 4.0 1.0) in x
3.195 * [taylor]: Rewrote expression to (+ (* (- (+ (/ y x) 0.25) (/ y z)) 4.0) 1.0)
3.195 * [taylor]: Taking taylor expansion of (* (- (+ (/ y x) 0.25) (/ y z)) 4.0) in x
3.195 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in x
3.195 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in x
3.195 * [taylor]: Taking taylor expansion of (/ y x) in x
3.195 * [taylor]: Taking taylor expansion of y in x
3.195 * [backup-simplify]: Simplify y into y
3.195 * [taylor]: Taking taylor expansion of x in x
3.195 * [backup-simplify]: Simplify 0 into 0
3.195 * [backup-simplify]: Simplify 1 into 1
3.195 * [backup-simplify]: Simplify (/ y 1) into y
3.195 * [taylor]: Taking taylor expansion of 0.25 in x
3.195 * [backup-simplify]: Simplify 0.25 into 0.25
3.195 * [taylor]: Taking taylor expansion of (/ y z) in x
3.195 * [taylor]: Taking taylor expansion of y in x
3.195 * [backup-simplify]: Simplify y into y
3.195 * [taylor]: Taking taylor expansion of z in x
3.195 * [backup-simplify]: Simplify z into z
3.195 * [backup-simplify]: Simplify (/ y z) into (/ y z)
3.196 * [taylor]: Taking taylor expansion of 4.0 in x
3.196 * [backup-simplify]: Simplify 4.0 into 4.0
3.196 * [taylor]: Taking taylor expansion of 1.0 in x
3.196 * [backup-simplify]: Simplify 1.0 into 1.0
3.196 * [backup-simplify]: Simplify (+ y 0) into y
3.196 * [backup-simplify]: Simplify (+ y 0) into y
3.196 * [backup-simplify]: Simplify (* y 4.0) into (* 4.0 y)
3.196 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y)
3.196 * [taylor]: Taking taylor expansion of (* 4.0 y) in z
3.196 * [taylor]: Taking taylor expansion of 4.0 in z
3.196 * [backup-simplify]: Simplify 4.0 into 4.0
3.196 * [taylor]: Taking taylor expansion of y in z
3.196 * [backup-simplify]: Simplify y into y
3.197 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
3.198 * [backup-simplify]: Simplify (+ 0 0.25) into 0.25
3.198 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z))
3.198 * [backup-simplify]: Simplify (+ 0.25 (- (/ y z))) into (- 0.25 (/ y z))
3.198 * [backup-simplify]: Simplify (+ (* y 0) (* (- 0.25 (/ y z)) 4.0)) into (- 1.0 (* 4.0 (/ y z)))
3.198 * [backup-simplify]: Simplify (+ (- 1.0 (* 4.0 (/ y z))) 1.0) into (- 2.0 (* 4.0 (/ y z)))
3.198 * [taylor]: Taking taylor expansion of (- 2.0 (* 4.0 (/ y z))) in z
3.198 * [taylor]: Taking taylor expansion of 2.0 in z
3.198 * [backup-simplify]: Simplify 2.0 into 2.0
3.198 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z
3.198 * [taylor]: Taking taylor expansion of 4.0 in z
3.198 * [backup-simplify]: Simplify 4.0 into 4.0
3.198 * [taylor]: Taking taylor expansion of (/ y z) in z
3.198 * [taylor]: Taking taylor expansion of y in z
3.198 * [backup-simplify]: Simplify y into y
3.198 * [taylor]: Taking taylor expansion of z in z
3.198 * [backup-simplify]: Simplify 0 into 0
3.198 * [backup-simplify]: Simplify 1 into 1
3.198 * [backup-simplify]: Simplify (/ y 1) into y
3.199 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
3.199 * [backup-simplify]: Simplify (- (* 4.0 y)) into (- (* 4.0 y))
3.199 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 y))) into (- (* 4.0 y))
3.199 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y
3.199 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
3.199 * [taylor]: Taking taylor expansion of 4.0 in y
3.199 * [backup-simplify]: Simplify 4.0 into 4.0
3.199 * [taylor]: Taking taylor expansion of y in y
3.199 * [backup-simplify]: Simplify 0 into 0
3.199 * [backup-simplify]: Simplify 1 into 1
3.199 * [backup-simplify]: Simplify (* 4.0 0) into 0
3.200 * [backup-simplify]: Simplify (- 0) into 0
3.200 * [backup-simplify]: Simplify 0 into 0
3.200 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
3.200 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
3.200 * [taylor]: Taking taylor expansion of 4.0 in y
3.200 * [backup-simplify]: Simplify 4.0 into 4.0
3.200 * [taylor]: Taking taylor expansion of y in y
3.200 * [backup-simplify]: Simplify 0 into 0
3.200 * [backup-simplify]: Simplify 1 into 1
3.200 * [backup-simplify]: Simplify (* 4.0 0) into 0
3.200 * [backup-simplify]: Simplify 0 into 0
3.202 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.202 * [backup-simplify]: Simplify (+ 0 0) into 0
3.202 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
3.202 * [backup-simplify]: Simplify (- 0) into 0
3.203 * [backup-simplify]: Simplify (+ 0 0) into 0
3.203 * [backup-simplify]: Simplify (+ (* y 0) (+ (* (- 0.25 (/ y z)) 0) (* 0 4.0))) into 0
3.204 * [backup-simplify]: Simplify (+ 0 0) into 0
3.204 * [taylor]: Taking taylor expansion of 0 in z
3.204 * [backup-simplify]: Simplify 0 into 0
3.204 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
3.205 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0
3.205 * [backup-simplify]: Simplify (- 0) into 0
3.206 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
3.206 * [taylor]: Taking taylor expansion of 2.0 in y
3.206 * [backup-simplify]: Simplify 2.0 into 2.0
3.206 * [backup-simplify]: Simplify 2.0 into 2.0
3.206 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0
3.206 * [taylor]: Taking taylor expansion of 0 in y
3.206 * [backup-simplify]: Simplify 0 into 0
3.206 * [backup-simplify]: Simplify 0 into 0
3.208 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
3.208 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
3.208 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
3.210 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
3.210 * [backup-simplify]: Simplify 4.0 into 4.0
3.211 * [backup-simplify]: Simplify (+ (* 4.0 (* (/ 1 y) (* 1 (/ 1 (/ 1 x))))) (+ (* (- 4.0) (* (/ 1 y) (* (/ 1 (/ 1 z)) 1))) 2.0)) into (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y)))
3.211 * [backup-simplify]: Simplify (fma (+ 0.25 (/ (- (/ 1 (- x)) (/ 1 (- z))) (/ 1 (- y)))) 4.0 1.0) into (fma (- (+ 0.25 (/ y x)) (/ y z)) 4.0 1.0)
3.211 * [approximate]: Taking taylor expansion of (fma (- (+ 0.25 (/ y x)) (/ y z)) 4.0 1.0) in (x z y) around 0
3.211 * [taylor]: Taking taylor expansion of (fma (- (+ 0.25 (/ y x)) (/ y z)) 4.0 1.0) in y
3.211 * [taylor]: Rewrote expression to (+ (* (- (+ 0.25 (/ y x)) (/ y z)) 4.0) 1.0)
3.211 * [taylor]: Taking taylor expansion of (* (- (+ 0.25 (/ y x)) (/ y z)) 4.0) in y
3.211 * [taylor]: Taking taylor expansion of (- (+ 0.25 (/ y x)) (/ y z)) in y
3.211 * [taylor]: Taking taylor expansion of (+ 0.25 (/ y x)) in y
3.211 * [taylor]: Taking taylor expansion of 0.25 in y
3.211 * [backup-simplify]: Simplify 0.25 into 0.25
3.211 * [taylor]: Taking taylor expansion of (/ y x) in y
3.211 * [taylor]: Taking taylor expansion of y in y
3.211 * [backup-simplify]: Simplify 0 into 0
3.211 * [backup-simplify]: Simplify 1 into 1
3.211 * [taylor]: Taking taylor expansion of x in y
3.212 * [backup-simplify]: Simplify x into x
3.212 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.212 * [taylor]: Taking taylor expansion of (/ y z) in y
3.212 * [taylor]: Taking taylor expansion of y in y
3.212 * [backup-simplify]: Simplify 0 into 0
3.212 * [backup-simplify]: Simplify 1 into 1
3.212 * [taylor]: Taking taylor expansion of z in y
3.212 * [backup-simplify]: Simplify z into z
3.212 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.212 * [taylor]: Taking taylor expansion of 4.0 in y
3.212 * [backup-simplify]: Simplify 4.0 into 4.0
3.212 * [taylor]: Taking taylor expansion of 1.0 in y
3.212 * [backup-simplify]: Simplify 1.0 into 1.0
3.212 * [taylor]: Taking taylor expansion of (fma (- (+ 0.25 (/ y x)) (/ y z)) 4.0 1.0) in z
3.212 * [taylor]: Rewrote expression to (+ (* (- (+ 0.25 (/ y x)) (/ y z)) 4.0) 1.0)
3.212 * [taylor]: Taking taylor expansion of (* (- (+ 0.25 (/ y x)) (/ y z)) 4.0) in z
3.212 * [taylor]: Taking taylor expansion of (- (+ 0.25 (/ y x)) (/ y z)) in z
3.212 * [taylor]: Taking taylor expansion of (+ 0.25 (/ y x)) in z
3.212 * [taylor]: Taking taylor expansion of 0.25 in z
3.212 * [backup-simplify]: Simplify 0.25 into 0.25
3.212 * [taylor]: Taking taylor expansion of (/ y x) in z
3.212 * [taylor]: Taking taylor expansion of y in z
3.212 * [backup-simplify]: Simplify y into y
3.212 * [taylor]: Taking taylor expansion of x in z
3.212 * [backup-simplify]: Simplify x into x
3.212 * [backup-simplify]: Simplify (/ y x) into (/ y x)
3.212 * [taylor]: Taking taylor expansion of (/ y z) in z
3.212 * [taylor]: Taking taylor expansion of y in z
3.212 * [backup-simplify]: Simplify y into y
3.213 * [taylor]: Taking taylor expansion of z in z
3.213 * [backup-simplify]: Simplify 0 into 0
3.213 * [backup-simplify]: Simplify 1 into 1
3.213 * [backup-simplify]: Simplify (/ y 1) into y
3.213 * [taylor]: Taking taylor expansion of 4.0 in z
3.213 * [backup-simplify]: Simplify 4.0 into 4.0
3.213 * [taylor]: Taking taylor expansion of 1.0 in z
3.213 * [backup-simplify]: Simplify 1.0 into 1.0
3.213 * [taylor]: Taking taylor expansion of (fma (- (+ 0.25 (/ y x)) (/ y z)) 4.0 1.0) in x
3.213 * [taylor]: Rewrote expression to (+ (* (- (+ 0.25 (/ y x)) (/ y z)) 4.0) 1.0)
3.213 * [taylor]: Taking taylor expansion of (* (- (+ 0.25 (/ y x)) (/ y z)) 4.0) in x
3.213 * [taylor]: Taking taylor expansion of (- (+ 0.25 (/ y x)) (/ y z)) in x
3.213 * [taylor]: Taking taylor expansion of (+ 0.25 (/ y x)) in x
3.213 * [taylor]: Taking taylor expansion of 0.25 in x
3.213 * [backup-simplify]: Simplify 0.25 into 0.25
3.213 * [taylor]: Taking taylor expansion of (/ y x) in x
3.213 * [taylor]: Taking taylor expansion of y in x
3.213 * [backup-simplify]: Simplify y into y
3.213 * [taylor]: Taking taylor expansion of x in x
3.213 * [backup-simplify]: Simplify 0 into 0
3.213 * [backup-simplify]: Simplify 1 into 1
3.213 * [backup-simplify]: Simplify (/ y 1) into y
3.213 * [taylor]: Taking taylor expansion of (/ y z) in x
3.213 * [taylor]: Taking taylor expansion of y in x
3.213 * [backup-simplify]: Simplify y into y
3.213 * [taylor]: Taking taylor expansion of z in x
3.213 * [backup-simplify]: Simplify z into z
3.213 * [backup-simplify]: Simplify (/ y z) into (/ y z)
3.213 * [taylor]: Taking taylor expansion of 4.0 in x
3.213 * [backup-simplify]: Simplify 4.0 into 4.0
3.213 * [taylor]: Taking taylor expansion of 1.0 in x
3.213 * [backup-simplify]: Simplify 1.0 into 1.0
3.213 * [taylor]: Taking taylor expansion of (fma (- (+ 0.25 (/ y x)) (/ y z)) 4.0 1.0) in x
3.213 * [taylor]: Rewrote expression to (+ (* (- (+ 0.25 (/ y x)) (/ y z)) 4.0) 1.0)
3.213 * [taylor]: Taking taylor expansion of (* (- (+ 0.25 (/ y x)) (/ y z)) 4.0) in x
3.213 * [taylor]: Taking taylor expansion of (- (+ 0.25 (/ y x)) (/ y z)) in x
3.213 * [taylor]: Taking taylor expansion of (+ 0.25 (/ y x)) in x
3.213 * [taylor]: Taking taylor expansion of 0.25 in x
3.213 * [backup-simplify]: Simplify 0.25 into 0.25
3.213 * [taylor]: Taking taylor expansion of (/ y x) in x
3.213 * [taylor]: Taking taylor expansion of y in x
3.213 * [backup-simplify]: Simplify y into y
3.213 * [taylor]: Taking taylor expansion of x in x
3.213 * [backup-simplify]: Simplify 0 into 0
3.213 * [backup-simplify]: Simplify 1 into 1
3.213 * [backup-simplify]: Simplify (/ y 1) into y
3.214 * [taylor]: Taking taylor expansion of (/ y z) in x
3.214 * [taylor]: Taking taylor expansion of y in x
3.214 * [backup-simplify]: Simplify y into y
3.214 * [taylor]: Taking taylor expansion of z in x
3.214 * [backup-simplify]: Simplify z into z
3.214 * [backup-simplify]: Simplify (/ y z) into (/ y z)
3.214 * [taylor]: Taking taylor expansion of 4.0 in x
3.214 * [backup-simplify]: Simplify 4.0 into 4.0
3.214 * [taylor]: Taking taylor expansion of 1.0 in x
3.214 * [backup-simplify]: Simplify 1.0 into 1.0
3.214 * [backup-simplify]: Simplify (+ 0 y) into y
3.214 * [backup-simplify]: Simplify (+ y 0) into y
3.214 * [backup-simplify]: Simplify (* y 4.0) into (* 4.0 y)
3.214 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y)
3.214 * [taylor]: Taking taylor expansion of (* 4.0 y) in z
3.214 * [taylor]: Taking taylor expansion of 4.0 in z
3.214 * [backup-simplify]: Simplify 4.0 into 4.0
3.214 * [taylor]: Taking taylor expansion of y in z
3.214 * [backup-simplify]: Simplify y into y
3.215 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
3.215 * [backup-simplify]: Simplify (+ 0.25 0) into 0.25
3.215 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z))
3.215 * [backup-simplify]: Simplify (+ 0.25 (- (/ y z))) into (- 0.25 (/ y z))
3.215 * [backup-simplify]: Simplify (+ (* y 0) (* (- 0.25 (/ y z)) 4.0)) into (- 1.0 (* 4.0 (/ y z)))
3.215 * [backup-simplify]: Simplify (+ (- 1.0 (* 4.0 (/ y z))) 1.0) into (- 2.0 (* 4.0 (/ y z)))
3.215 * [taylor]: Taking taylor expansion of (- 2.0 (* 4.0 (/ y z))) in z
3.215 * [taylor]: Taking taylor expansion of 2.0 in z
3.215 * [backup-simplify]: Simplify 2.0 into 2.0
3.215 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z
3.215 * [taylor]: Taking taylor expansion of 4.0 in z
3.215 * [backup-simplify]: Simplify 4.0 into 4.0
3.215 * [taylor]: Taking taylor expansion of (/ y z) in z
3.215 * [taylor]: Taking taylor expansion of y in z
3.215 * [backup-simplify]: Simplify y into y
3.215 * [taylor]: Taking taylor expansion of z in z
3.215 * [backup-simplify]: Simplify 0 into 0
3.215 * [backup-simplify]: Simplify 1 into 1
3.215 * [backup-simplify]: Simplify (/ y 1) into y
3.215 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
3.216 * [backup-simplify]: Simplify (- (* 4.0 y)) into (- (* 4.0 y))
3.216 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 y))) into (- (* 4.0 y))
3.216 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y
3.216 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
3.216 * [taylor]: Taking taylor expansion of 4.0 in y
3.216 * [backup-simplify]: Simplify 4.0 into 4.0
3.216 * [taylor]: Taking taylor expansion of y in y
3.216 * [backup-simplify]: Simplify 0 into 0
3.216 * [backup-simplify]: Simplify 1 into 1
3.216 * [backup-simplify]: Simplify (* 4.0 0) into 0
3.216 * [backup-simplify]: Simplify (- 0) into 0
3.216 * [backup-simplify]: Simplify 0 into 0
3.216 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
3.216 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
3.216 * [taylor]: Taking taylor expansion of 4.0 in y
3.216 * [backup-simplify]: Simplify 4.0 into 4.0
3.216 * [taylor]: Taking taylor expansion of y in y
3.216 * [backup-simplify]: Simplify 0 into 0
3.216 * [backup-simplify]: Simplify 1 into 1
3.217 * [backup-simplify]: Simplify (* 4.0 0) into 0
3.217 * [backup-simplify]: Simplify 0 into 0
3.218 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.218 * [backup-simplify]: Simplify (+ 0 0) into 0
3.218 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
3.218 * [backup-simplify]: Simplify (- 0) into 0
3.218 * [backup-simplify]: Simplify (+ 0 0) into 0
3.219 * [backup-simplify]: Simplify (+ (* y 0) (+ (* (- 0.25 (/ y z)) 0) (* 0 4.0))) into 0
3.219 * [backup-simplify]: Simplify (+ 0 0) into 0
3.219 * [taylor]: Taking taylor expansion of 0 in z
3.219 * [backup-simplify]: Simplify 0 into 0
3.219 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
3.220 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0
3.220 * [backup-simplify]: Simplify (- 0) into 0
3.220 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
3.220 * [taylor]: Taking taylor expansion of 2.0 in y
3.220 * [backup-simplify]: Simplify 2.0 into 2.0
3.220 * [backup-simplify]: Simplify 2.0 into 2.0
3.221 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0
3.221 * [taylor]: Taking taylor expansion of 0 in y
3.221 * [backup-simplify]: Simplify 0 into 0
3.221 * [backup-simplify]: Simplify 0 into 0
3.222 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
3.222 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
3.222 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
3.223 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
3.223 * [backup-simplify]: Simplify 4.0 into 4.0
3.224 * [backup-simplify]: Simplify (+ (* 4.0 (* (/ 1 (- y)) (* 1 (/ 1 (/ 1 (- x)))))) (+ (* (- 4.0) (* (/ 1 (- y)) (* (/ 1 (/ 1 (- z))) 1))) 2.0)) into (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y)))
3.224 * * * [progress]: simplifying candidates
3.224 * * * * [progress]: [ 1 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (log1p (expm1 (/ (- x z) y)))) 4.0 1.0))>
3.224 * * * * [progress]: [ 2 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (expm1 (log1p (/ (- x z) y)))) 4.0 1.0))>
3.224 * * * * [progress]: [ 3 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (pow (/ (- x z) y) 1)) 4.0 1.0))>
3.224 * * * * [progress]: [ 4 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (exp (- (log (- x z)) (log y)))) 4.0 1.0))>
3.224 * * * * [progress]: [ 5 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (exp (log (/ (- x z) y)))) 4.0 1.0))>
3.224 * * * * [progress]: [ 6 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (log (exp (/ (- x z) y)))) 4.0 1.0))>
3.224 * * * * [progress]: [ 7 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (cbrt (/ (* (* (- x z) (- x z)) (- x z)) (* (* y y) y)))) 4.0 1.0))>
3.224 * * * * [progress]: [ 8 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (* (* (cbrt (/ (- x z) y)) (cbrt (/ (- x z) y))) (cbrt (/ (- x z) y)))) 4.0 1.0))>
3.224 * * * * [progress]: [ 9 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (cbrt (* (* (/ (- x z) y) (/ (- x z) y)) (/ (- x z) y)))) 4.0 1.0))>
3.224 * * * * [progress]: [ 10 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (* (sqrt (/ (- x z) y)) (sqrt (/ (- x z) y)))) 4.0 1.0))>
3.224 * * * * [progress]: [ 11 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (/ (- (- x z)) (- y))) 4.0 1.0))>
3.224 * * * * [progress]: [ 12 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (- (/ x y) (/ z y))) 4.0 1.0))>
3.224 * * * * [progress]: [ 13 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (* (/ (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt y) (cbrt y))) (/ (cbrt (- x z)) (cbrt y)))) 4.0 1.0))>
3.224 * * * * [progress]: [ 14 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (* (/ (* (cbrt (- x z)) (cbrt (- x z))) (sqrt y)) (/ (cbrt (- x z)) (sqrt y)))) 4.0 1.0))>
3.224 * * * * [progress]: [ 15 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (* (/ (* (cbrt (- x z)) (cbrt (- x z))) 1) (/ (cbrt (- x z)) y))) 4.0 1.0))>
3.224 * * * * [progress]: [ 16 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (* (/ (sqrt (- x z)) (* (cbrt y) (cbrt y))) (/ (sqrt (- x z)) (cbrt y)))) 4.0 1.0))>
3.224 * * * * [progress]: [ 17 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (* (/ (sqrt (- x z)) (sqrt y)) (/ (sqrt (- x z)) (sqrt y)))) 4.0 1.0))>
3.224 * * * * [progress]: [ 18 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (* (/ (sqrt (- x z)) 1) (/ (sqrt (- x z)) y))) 4.0 1.0))>
3.224 * * * * [progress]: [ 19 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (* (/ 1 (* (cbrt y) (cbrt y))) (/ (- x z) (cbrt y)))) 4.0 1.0))>
3.224 * * * * [progress]: [ 20 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (* (/ 1 (sqrt y)) (/ (- x z) (sqrt y)))) 4.0 1.0))>
3.224 * * * * [progress]: [ 21 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (* (/ 1 1) (/ (- x z) y))) 4.0 1.0))>
3.224 * * * * [progress]: [ 22 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (* (/ (+ (sqrt x) (sqrt z)) (* (cbrt y) (cbrt y))) (/ (- (sqrt x) (sqrt z)) (cbrt y)))) 4.0 1.0))>
3.225 * * * * [progress]: [ 23 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (* (/ (+ (sqrt x) (sqrt z)) (sqrt y)) (/ (- (sqrt x) (sqrt z)) (sqrt y)))) 4.0 1.0))>
3.225 * * * * [progress]: [ 24 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (* (/ (+ (sqrt x) (sqrt z)) 1) (/ (- (sqrt x) (sqrt z)) y))) 4.0 1.0))>
3.225 * * * * [progress]: [ 25 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (* (/ 1 (* (cbrt y) (cbrt y))) (/ (- x z) (cbrt y)))) 4.0 1.0))>
3.225 * * * * [progress]: [ 26 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (* (/ 1 (sqrt y)) (/ (- x z) (sqrt y)))) 4.0 1.0))>
3.225 * * * * [progress]: [ 27 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (* (/ 1 1) (/ (- x z) y))) 4.0 1.0))>
3.225 * * * * [progress]: [ 28 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (* 1 (/ (- x z) y))) 4.0 1.0))>
3.225 * * * * [progress]: [ 29 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (* (- x z) (/ 1 y))) 4.0 1.0))>
3.225 * * * * [progress]: [ 30 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (/ 1 (/ y (- x z)))) 4.0 1.0))>
3.225 * * * * [progress]: [ 31 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (/ (/ (- x z) (* (cbrt y) (cbrt y))) (cbrt y))) 4.0 1.0))>
3.225 * * * * [progress]: [ 32 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (/ (/ (- x z) (sqrt y)) (sqrt y))) 4.0 1.0))>
3.225 * * * * [progress]: [ 33 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (/ (/ (- x z) 1) y)) 4.0 1.0))>
3.225 * * * * [progress]: [ 34 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (/ (* (cbrt (- x z)) (cbrt (- x z))) (/ y (cbrt (- x z))))) 4.0 1.0))>
3.225 * * * * [progress]: [ 35 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (/ (sqrt (- x z)) (/ y (sqrt (- x z))))) 4.0 1.0))>
3.225 * * * * [progress]: [ 36 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (/ 1 (/ y (- x z)))) 4.0 1.0))>
3.225 * * * * [progress]: [ 37 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (/ (+ (sqrt x) (sqrt z)) (/ y (- (sqrt x) (sqrt z))))) 4.0 1.0))>
3.225 * * * * [progress]: [ 38 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (/ 1 (/ y (- x z)))) 4.0 1.0))>
3.225 * * * * [progress]: [ 39 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (/ (- (pow x 3) (pow z 3)) (* y (+ (* x x) (+ (* z z) (* x z)))))) 4.0 1.0))>
3.225 * * * * [progress]: [ 40 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (/ (- (* x x) (* z z)) (* y (+ x z)))) 4.0 1.0))>
3.225 * * * * [progress]: [ 41 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (posit16->real (real->posit16 (/ (- x z) y)))) 4.0 1.0))>
3.225 * * * * [progress]: [ 42 / 58 ] simplifiying candidate #<alt (λ (x y z) (log1p (expm1 (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0))))>
3.225 * * * * [progress]: [ 43 / 58 ] simplifiying candidate #<alt (λ (x y z) (expm1 (log1p (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0))))>
3.225 * * * * [progress]: [ 44 / 58 ] simplifiying candidate #<alt (λ (x y z) (+ (* (+ 0.25 (/ (- x z) y)) 4.0) 1.0))>
3.225 * * * * [progress]: [ 45 / 58 ] simplifiying candidate #<alt (λ (x y z) (pow (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0) 1))>
3.225 * * * * [progress]: [ 46 / 58 ] simplifiying candidate #<alt (λ (x y z) (exp (log (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0))))>
3.225 * * * * [progress]: [ 47 / 58 ] simplifiying candidate #<alt (λ (x y z) (log (exp (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0))))>
3.225 * * * * [progress]: [ 48 / 58 ] simplifiying candidate #<alt (λ (x y z) (* (* (cbrt (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0)) (cbrt (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0))) (cbrt (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0))))>
3.225 * * * * [progress]: [ 49 / 58 ] simplifiying candidate #<alt (λ (x y z) (cbrt (* (* (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0) (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0)) (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0))))>
3.226 * * * * [progress]: [ 50 / 58 ] simplifiying candidate #<alt (λ (x y z) (* (sqrt (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0)) (sqrt (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0))))>
3.226 * * * * [progress]: [ 51 / 58 ] simplifiying candidate #<alt (λ (x y z) (* 1 (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0)))>
3.226 * * * * [progress]: [ 52 / 58 ] simplifiying candidate #<alt (λ (x y z) (posit16->real (real->posit16 (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0))))>
3.226 * * * * [progress]: [ 53 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (- (/ x y) (/ z y))) 4.0 1.0))>
3.226 * * * * [progress]: [ 54 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (- (/ x y) (/ z y))) 4.0 1.0))>
3.226 * * * * [progress]: [ 55 / 58 ] simplifiying candidate #<alt (λ (x y z) (fma (+ 0.25 (- (/ x y) (/ z y))) 4.0 1.0))>
3.226 * * * * [progress]: [ 56 / 58 ] simplifiying candidate #<alt (λ (x y z) (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))))>
3.226 * * * * [progress]: [ 57 / 58 ] simplifiying candidate #<alt (λ (x y z) (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))))>
3.226 * * * * [progress]: [ 58 / 58 ] simplifiying candidate #<alt (λ (x y z) (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))))>
3.226 * [simplify]: Simplifying:
  (expm1 (/ (- x z) y))
  (log1p (/ (- x z) y))
  (- (log (- x z)) (log y))
  (log (/ (- x z) y))
  (exp (/ (- x z) y))
  (/ (* (* (- x z) (- x z)) (- x z)) (* (* y y) y))
  (* (cbrt (/ (- x z) y)) (cbrt (/ (- x z) y)))
  (cbrt (/ (- x z) y))
  (* (* (/ (- x z) y) (/ (- x z) y)) (/ (- x z) y))
  (sqrt (/ (- x z) y))
  (sqrt (/ (- x z) y))
  (- (- x z))
  (- y)
  (/ x y)
  (/ z y)
  (/ (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (- x z)) (cbrt y))
  (/ (* (cbrt (- x z)) (cbrt (- x z))) (sqrt y))
  (/ (cbrt (- x z)) (sqrt y))
  (/ (* (cbrt (- x z)) (cbrt (- x z))) 1)
  (/ (cbrt (- x z)) y)
  (/ (sqrt (- x z)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (- x z)) (cbrt y))
  (/ (sqrt (- x z)) (sqrt y))
  (/ (sqrt (- x z)) (sqrt y))
  (/ (sqrt (- x z)) 1)
  (/ (sqrt (- x z)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (- x z) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- x z) (sqrt y))
  (/ 1 1)
  (/ (- x z) y)
  (/ (+ (sqrt x) (sqrt z)) (* (cbrt y) (cbrt y)))
  (/ (- (sqrt x) (sqrt z)) (cbrt y))
  (/ (+ (sqrt x) (sqrt z)) (sqrt y))
  (/ (- (sqrt x) (sqrt z)) (sqrt y))
  (/ (+ (sqrt x) (sqrt z)) 1)
  (/ (- (sqrt x) (sqrt z)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (- x z) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- x z) (sqrt y))
  (/ 1 1)
  (/ (- x z) y)
  (/ 1 y)
  (/ y (- x z))
  (/ (- x z) (* (cbrt y) (cbrt y)))
  (/ (- x z) (sqrt y))
  (/ (- x z) 1)
  (/ y (cbrt (- x z)))
  (/ y (sqrt (- x z)))
  (/ y (- x z))
  (/ y (- (sqrt x) (sqrt z)))
  (/ y (- x z))
  (* y (+ (* x x) (+ (* z z) (* x z))))
  (* y (+ x z))
  (real->posit16 (/ (- x z) y))
  (expm1 (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0))
  (log1p (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0))
  (* (+ 0.25 (/ (- x z) y)) 4.0)
  (log (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0))
  (exp (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0))
  (* (cbrt (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0)) (cbrt (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0)))
  (cbrt (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0))
  (* (* (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0) (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0)) (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0))
  (sqrt (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0))
  (sqrt (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0))
  (real->posit16 (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z 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)))
3.227 * * [simplify]: iteration 0: 97 enodes
3.249 * * [simplify]: iteration 1: 203 enodes
3.299 * * [simplify]: iteration 2: 467 enodes
3.526 * * [simplify]: iteration 3: 1583 enodes
4.202 * * [simplify]: iteration complete: 5001 enodes
4.203 * * [simplify]: Extracting #0: cost 56 inf + 0
4.204 * * [simplify]: Extracting #1: cost 577 inf + 1
4.212 * * [simplify]: Extracting #2: cost 1456 inf + 7341
4.238 * * [simplify]: Extracting #3: cost 1387 inf + 54039
4.304 * * [simplify]: Extracting #4: cost 356 inf + 260102
4.402 * * [simplify]: Extracting #5: cost 8 inf + 353912
4.494 * * [simplify]: Extracting #6: cost 0 inf + 335724
4.561 * * [simplify]: Extracting #7: cost 0 inf + 333054
4.627 * * [simplify]: Extracting #8: cost 0 inf + 333014
4.703 * [simplify]: Simplified to:
  (expm1 (/ (- x z) y))
  (log1p (/ (- x z) y))
  (log (/ (- x z) y))
  (log (/ (- x z) y))
  (exp (/ (- x z) y))
  (* (/ (- x z) y) (* (/ (- x z) y) (/ (- x z) y)))
  (* (cbrt (/ (- x z) y)) (cbrt (/ (- x z) y)))
  (cbrt (/ (- x z) y))
  (* (/ (- x z) y) (* (/ (- x z) y) (/ (- x z) y)))
  (sqrt (/ (- x z) y))
  (sqrt (/ (- x z) y))
  (+ (- x) z)
  (- y)
  (/ x y)
  (/ z y)
  (* (/ (cbrt (- x z)) (cbrt y)) (/ (cbrt (- x z)) (cbrt y)))
  (/ (cbrt (- x z)) (cbrt y))
  (/ (* (cbrt (- x z)) (cbrt (- x z))) (sqrt y))
  (/ (cbrt (- x z)) (sqrt y))
  (* (cbrt (- x z)) (cbrt (- x z)))
  (/ (cbrt (- x z)) y)
  (/ (sqrt (- x z)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (- x z)) (cbrt y))
  (/ (sqrt (- x z)) (sqrt y))
  (/ (sqrt (- x z)) (sqrt y))
  (sqrt (- x z))
  (/ (sqrt (- x z)) y)
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (- x z) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- x z) (sqrt y))
  1
  (/ (- x z) y)
  (/ (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y)))
  (/ (- (sqrt x) (sqrt z)) (cbrt y))
  (/ (+ (sqrt z) (sqrt x)) (sqrt y))
  (/ (- (sqrt x) (sqrt z)) (sqrt y))
  (+ (sqrt z) (sqrt x))
  (/ (- (sqrt x) (sqrt z)) y)
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (- x z) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- x z) (sqrt y))
  1
  (/ (- x z) y)
  (/ 1 y)
  (/ y (- x z))
  (/ (- x z) (* (cbrt y) (cbrt y)))
  (/ (- x z) (sqrt y))
  (- x z)
  (/ y (cbrt (- x z)))
  (/ y (sqrt (- x z)))
  (/ y (- x z))
  (/ y (- (sqrt x) (sqrt z)))
  (/ y (- x z))
  (* (fma x (+ x z) (* z z)) y)
  (* y (+ x z))
  (real->posit16 (/ (- x z) y))
  (expm1 (fma 4.0 (+ (/ (- x z) y) 0.25) 1.0))
  (log1p (fma 4.0 (+ (/ (- x z) y) 0.25) 1.0))
  (* (+ (/ (- x z) y) 0.25) 4.0)
  (log (fma 4.0 (+ (/ (- x z) y) 0.25) 1.0))
  (exp (fma 4.0 (+ (/ (- x z) y) 0.25) 1.0))
  (* (cbrt (fma 4.0 (+ (/ (- x z) y) 0.25) 1.0)) (cbrt (fma 4.0 (+ (/ (- x z) y) 0.25) 1.0)))
  (cbrt (fma 4.0 (+ (/ (- x z) y) 0.25) 1.0))
  (* (fma 4.0 (+ (/ (- x z) y) 0.25) 1.0) (* (fma 4.0 (+ (/ (- x z) y) 0.25) 1.0) (fma 4.0 (+ (/ (- x z) y) 0.25) 1.0)))
  (sqrt (fma 4.0 (+ (/ (- x z) y) 0.25) 1.0))
  (sqrt (fma 4.0 (+ (/ (- x z) y) 0.25) 1.0))
  (real->posit16 (fma 4.0 (+ (/ (- x z) y) 0.25) 1.0))
  (/ (- x z) y)
  (/ (- x z) y)
  (/ (- x z) y)
  (fma 4.0 (/ (- x z) y) 2.0)
  (fma 4.0 (/ (- x z) y) 2.0)
  (fma 4.0 (/ (- x z) y) 2.0)
4.708 * * * [progress]: adding candidates to table
4.926 * * [progress]: iteration 2 / 4
4.926 * * * [progress]: picking best candidate
4.933 * * * * [pick]: Picked  #<alt (λ (x y z) (fma 4.0 (/ (- x z) y) 2.0))>
4.933 * * * [progress]: localizing error
4.948 * * * [progress]: generating rewritten candidates
4.948 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
4.982 * * * [progress]: generating series expansions
4.983 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
4.983 * [backup-simplify]: Simplify (/ (- x z) y) into (/ (- x z) y)
4.983 * [approximate]: Taking taylor expansion of (/ (- x z) y) in (x z y) around 0
4.983 * [taylor]: Taking taylor expansion of (/ (- x z) y) in y
4.983 * [taylor]: Taking taylor expansion of (- x z) in y
4.983 * [taylor]: Taking taylor expansion of x in y
4.983 * [backup-simplify]: Simplify x into x
4.983 * [taylor]: Taking taylor expansion of z in y
4.983 * [backup-simplify]: Simplify z into z
4.983 * [taylor]: Taking taylor expansion of y in y
4.983 * [backup-simplify]: Simplify 0 into 0
4.983 * [backup-simplify]: Simplify 1 into 1
4.983 * [backup-simplify]: Simplify (- z) into (- z)
4.983 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
4.983 * [backup-simplify]: Simplify (/ (- x z) 1) into (- x z)
4.983 * [taylor]: Taking taylor expansion of (/ (- x z) y) in z
4.983 * [taylor]: Taking taylor expansion of (- x z) in z
4.983 * [taylor]: Taking taylor expansion of x in z
4.983 * [backup-simplify]: Simplify x into x
4.983 * [taylor]: Taking taylor expansion of z in z
4.983 * [backup-simplify]: Simplify 0 into 0
4.983 * [backup-simplify]: Simplify 1 into 1
4.983 * [taylor]: Taking taylor expansion of y in z
4.983 * [backup-simplify]: Simplify y into y
4.984 * [backup-simplify]: Simplify (- 0) into 0
4.984 * [backup-simplify]: Simplify (+ x 0) into x
4.984 * [backup-simplify]: Simplify (/ x y) into (/ x y)
4.984 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x
4.984 * [taylor]: Taking taylor expansion of (- x z) in x
4.984 * [taylor]: Taking taylor expansion of x in x
4.984 * [backup-simplify]: Simplify 0 into 0
4.984 * [backup-simplify]: Simplify 1 into 1
4.984 * [taylor]: Taking taylor expansion of z in x
4.984 * [backup-simplify]: Simplify z into z
4.984 * [taylor]: Taking taylor expansion of y in x
4.984 * [backup-simplify]: Simplify y into y
4.984 * [backup-simplify]: Simplify (- z) into (- z)
4.984 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
4.984 * [backup-simplify]: Simplify (/ (- z) y) into (* -1 (/ z y))
4.985 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x
4.985 * [taylor]: Taking taylor expansion of (- x z) in x
4.985 * [taylor]: Taking taylor expansion of x in x
4.985 * [backup-simplify]: Simplify 0 into 0
4.985 * [backup-simplify]: Simplify 1 into 1
4.985 * [taylor]: Taking taylor expansion of z in x
4.985 * [backup-simplify]: Simplify z into z
4.985 * [taylor]: Taking taylor expansion of y in x
4.985 * [backup-simplify]: Simplify y into y
4.985 * [backup-simplify]: Simplify (- z) into (- z)
4.985 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
4.985 * [backup-simplify]: Simplify (/ (- z) y) into (* -1 (/ z y))
4.985 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in z
4.985 * [taylor]: Taking taylor expansion of -1 in z
4.985 * [backup-simplify]: Simplify -1 into -1
4.985 * [taylor]: Taking taylor expansion of (/ z y) in z
4.985 * [taylor]: Taking taylor expansion of z in z
4.985 * [backup-simplify]: Simplify 0 into 0
4.985 * [backup-simplify]: Simplify 1 into 1
4.985 * [taylor]: Taking taylor expansion of y in z
4.985 * [backup-simplify]: Simplify y into y
4.985 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.986 * [backup-simplify]: Simplify (- 0) into 0
4.986 * [backup-simplify]: Simplify (+ 1 0) into 1
4.986 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* (* -1 (/ z y)) (/ 0 y)))) into (/ 1 y)
4.986 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.986 * [taylor]: Taking taylor expansion of y in z
4.986 * [backup-simplify]: Simplify y into y
4.986 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.986 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.986 * [taylor]: Taking taylor expansion of y in y
4.986 * [backup-simplify]: Simplify 0 into 0
4.986 * [backup-simplify]: Simplify 1 into 1
4.987 * [backup-simplify]: Simplify (/ 1 1) into 1
4.987 * [backup-simplify]: Simplify 1 into 1
4.987 * [backup-simplify]: Simplify (* -1 (/ 1 y)) into (/ -1 y)
4.987 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.987 * [taylor]: Taking taylor expansion of -1 in y
4.987 * [backup-simplify]: Simplify -1 into -1
4.987 * [taylor]: Taking taylor expansion of y in y
4.987 * [backup-simplify]: Simplify 0 into 0
4.987 * [backup-simplify]: Simplify 1 into 1
4.987 * [backup-simplify]: Simplify (/ -1 1) into -1
4.987 * [backup-simplify]: Simplify -1 into -1
4.988 * [backup-simplify]: Simplify (- 0) into 0
4.988 * [backup-simplify]: Simplify (+ 0 0) into 0
4.988 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (* -1 (/ z y)) (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0
4.988 * [taylor]: Taking taylor expansion of 0 in z
4.989 * [backup-simplify]: Simplify 0 into 0
4.989 * [taylor]: Taking taylor expansion of 0 in y
4.989 * [backup-simplify]: Simplify 0 into 0
4.989 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.989 * [taylor]: Taking taylor expansion of 0 in y
4.989 * [backup-simplify]: Simplify 0 into 0
4.989 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
4.989 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 y))) into 0
4.989 * [taylor]: Taking taylor expansion of 0 in y
4.989 * [backup-simplify]: Simplify 0 into 0
4.990 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.990 * [backup-simplify]: Simplify 0 into 0
4.991 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.991 * [backup-simplify]: Simplify 0 into 0
4.991 * [backup-simplify]: Simplify (- 0) into 0
4.992 * [backup-simplify]: Simplify (+ 0 0) into 0
4.992 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (* -1 (/ z y)) (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.992 * [taylor]: Taking taylor expansion of 0 in z
4.992 * [backup-simplify]: Simplify 0 into 0
4.992 * [taylor]: Taking taylor expansion of 0 in y
4.992 * [backup-simplify]: Simplify 0 into 0
4.992 * [taylor]: Taking taylor expansion of 0 in y
4.992 * [backup-simplify]: Simplify 0 into 0
4.993 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.993 * [taylor]: Taking taylor expansion of 0 in y
4.993 * [backup-simplify]: Simplify 0 into 0
4.993 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.993 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
4.994 * [taylor]: Taking taylor expansion of 0 in y
4.994 * [backup-simplify]: Simplify 0 into 0
4.994 * [backup-simplify]: Simplify 0 into 0
4.994 * [backup-simplify]: Simplify 0 into 0
4.994 * [backup-simplify]: Simplify 0 into 0
4.994 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.995 * [backup-simplify]: Simplify 0 into 0
4.995 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 y) (* z 1))) (* 1 (* (/ 1 y) (* 1 x)))) into (- (/ x y) (/ z y))
4.995 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) (/ 1 y)) into (* (- (/ 1 x) (/ 1 z)) y)
4.995 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in (x z y) around 0
4.995 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in y
4.995 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
4.995 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.995 * [taylor]: Taking taylor expansion of x in y
4.995 * [backup-simplify]: Simplify x into x
4.995 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.995 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.995 * [taylor]: Taking taylor expansion of z in y
4.995 * [backup-simplify]: Simplify z into z
4.995 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.995 * [taylor]: Taking taylor expansion of y in y
4.995 * [backup-simplify]: Simplify 0 into 0
4.995 * [backup-simplify]: Simplify 1 into 1
4.995 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in z
4.995 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
4.995 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.995 * [taylor]: Taking taylor expansion of x in z
4.995 * [backup-simplify]: Simplify x into x
4.995 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.996 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.996 * [taylor]: Taking taylor expansion of z in z
4.996 * [backup-simplify]: Simplify 0 into 0
4.996 * [backup-simplify]: Simplify 1 into 1
4.996 * [backup-simplify]: Simplify (/ 1 1) into 1
4.996 * [taylor]: Taking taylor expansion of y in z
4.996 * [backup-simplify]: Simplify y into y
4.996 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in x
4.996 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
4.996 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.996 * [taylor]: Taking taylor expansion of x in x
4.996 * [backup-simplify]: Simplify 0 into 0
4.996 * [backup-simplify]: Simplify 1 into 1
4.996 * [backup-simplify]: Simplify (/ 1 1) into 1
4.997 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.997 * [taylor]: Taking taylor expansion of z in x
4.997 * [backup-simplify]: Simplify z into z
4.997 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.997 * [taylor]: Taking taylor expansion of y in x
4.997 * [backup-simplify]: Simplify y into y
4.997 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in x
4.997 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
4.997 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.997 * [taylor]: Taking taylor expansion of x in x
4.997 * [backup-simplify]: Simplify 0 into 0
4.997 * [backup-simplify]: Simplify 1 into 1
4.997 * [backup-simplify]: Simplify (/ 1 1) into 1
4.997 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.997 * [taylor]: Taking taylor expansion of z in x
4.997 * [backup-simplify]: Simplify z into z
4.997 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.997 * [taylor]: Taking taylor expansion of y in x
4.997 * [backup-simplify]: Simplify y into y
4.998 * [backup-simplify]: Simplify (+ 1 0) into 1
4.998 * [backup-simplify]: Simplify (* 1 y) into y
4.998 * [taylor]: Taking taylor expansion of y in z
4.998 * [backup-simplify]: Simplify y into y
4.999 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.999 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
4.999 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
4.999 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 z)) y)) into (- (/ y z))
4.999 * [taylor]: Taking taylor expansion of (- (/ y z)) in z
4.999 * [taylor]: Taking taylor expansion of (/ y z) in z
4.999 * [taylor]: Taking taylor expansion of y in z
4.999 * [backup-simplify]: Simplify y into y
4.999 * [taylor]: Taking taylor expansion of z in z
4.999 * [backup-simplify]: Simplify 0 into 0
4.999 * [backup-simplify]: Simplify 1 into 1
4.999 * [backup-simplify]: Simplify (/ y 1) into y
5.000 * [backup-simplify]: Simplify (- y) into (- y)
5.000 * [taylor]: Taking taylor expansion of (- y) in y
5.000 * [taylor]: Taking taylor expansion of y in y
5.000 * [backup-simplify]: Simplify 0 into 0
5.000 * [backup-simplify]: Simplify 1 into 1
5.000 * [backup-simplify]: Simplify (- 0) into 0
5.000 * [backup-simplify]: Simplify 0 into 0
5.000 * [taylor]: Taking taylor expansion of y in y
5.000 * [backup-simplify]: Simplify 0 into 0
5.000 * [backup-simplify]: Simplify 1 into 1
5.000 * [backup-simplify]: Simplify 0 into 0
5.001 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.001 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.001 * [backup-simplify]: Simplify (- 0) into 0
5.002 * [backup-simplify]: Simplify (+ 0 0) into 0
5.002 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 z)) 0) (* 0 y))) into 0
5.002 * [taylor]: Taking taylor expansion of 0 in z
5.002 * [backup-simplify]: Simplify 0 into 0
5.003 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
5.003 * [backup-simplify]: Simplify (- 0) into 0
5.003 * [taylor]: Taking taylor expansion of 0 in y
5.003 * [backup-simplify]: Simplify 0 into 0
5.003 * [backup-simplify]: Simplify 0 into 0
5.003 * [taylor]: Taking taylor expansion of 0 in y
5.003 * [backup-simplify]: Simplify 0 into 0
5.004 * [backup-simplify]: Simplify 0 into 0
5.004 * [backup-simplify]: Simplify (- 1) into -1
5.004 * [backup-simplify]: Simplify -1 into -1
5.004 * [backup-simplify]: Simplify 1 into 1
5.005 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.005 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.005 * [backup-simplify]: Simplify (- 0) into 0
5.006 * [backup-simplify]: Simplify (+ 0 0) into 0
5.006 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 z)) 0) (+ (* 0 0) (* 0 y)))) into 0
5.006 * [taylor]: Taking taylor expansion of 0 in z
5.006 * [backup-simplify]: Simplify 0 into 0
5.007 * [taylor]: Taking taylor expansion of 0 in y
5.007 * [backup-simplify]: Simplify 0 into 0
5.007 * [backup-simplify]: Simplify 0 into 0
5.008 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.008 * [backup-simplify]: Simplify (- 0) into 0
5.008 * [taylor]: Taking taylor expansion of 0 in y
5.008 * [backup-simplify]: Simplify 0 into 0
5.008 * [backup-simplify]: Simplify 0 into 0
5.008 * [taylor]: Taking taylor expansion of 0 in y
5.008 * [backup-simplify]: Simplify 0 into 0
5.008 * [backup-simplify]: Simplify 0 into 0
5.008 * [backup-simplify]: Simplify 0 into 0
5.008 * [backup-simplify]: Simplify 0 into 0
5.009 * [backup-simplify]: Simplify (- 0) into 0
5.009 * [backup-simplify]: Simplify 0 into 0
5.009 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 y) (* 1 (/ 1 (/ 1 x))))) (* -1 (* (/ 1 y) (* (/ 1 (/ 1 z)) 1)))) into (- (/ x y) (/ z y))
5.009 * [backup-simplify]: Simplify (/ (- (/ 1 (- x)) (/ 1 (- z))) (/ 1 (- y))) into (* -1 (* y (- (/ 1 z) (/ 1 x))))
5.009 * [approximate]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in (x z y) around 0
5.009 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in y
5.009 * [taylor]: Taking taylor expansion of -1 in y
5.009 * [backup-simplify]: Simplify -1 into -1
5.010 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y
5.010 * [taylor]: Taking taylor expansion of y in y
5.010 * [backup-simplify]: Simplify 0 into 0
5.010 * [backup-simplify]: Simplify 1 into 1
5.010 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
5.010 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.010 * [taylor]: Taking taylor expansion of z in y
5.010 * [backup-simplify]: Simplify z into z
5.010 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.010 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.010 * [taylor]: Taking taylor expansion of x in y
5.010 * [backup-simplify]: Simplify x into x
5.010 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.010 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in z
5.010 * [taylor]: Taking taylor expansion of -1 in z
5.010 * [backup-simplify]: Simplify -1 into -1
5.010 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in z
5.010 * [taylor]: Taking taylor expansion of y in z
5.010 * [backup-simplify]: Simplify y into y
5.010 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
5.010 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.010 * [taylor]: Taking taylor expansion of z in z
5.010 * [backup-simplify]: Simplify 0 into 0
5.010 * [backup-simplify]: Simplify 1 into 1
5.010 * [backup-simplify]: Simplify (/ 1 1) into 1
5.011 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.011 * [taylor]: Taking taylor expansion of x in z
5.011 * [backup-simplify]: Simplify x into x
5.011 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.011 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in x
5.011 * [taylor]: Taking taylor expansion of -1 in x
5.011 * [backup-simplify]: Simplify -1 into -1
5.011 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x
5.011 * [taylor]: Taking taylor expansion of y in x
5.011 * [backup-simplify]: Simplify y into y
5.011 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
5.011 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.011 * [taylor]: Taking taylor expansion of z in x
5.011 * [backup-simplify]: Simplify z into z
5.011 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.011 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.011 * [taylor]: Taking taylor expansion of x in x
5.011 * [backup-simplify]: Simplify 0 into 0
5.011 * [backup-simplify]: Simplify 1 into 1
5.011 * [backup-simplify]: Simplify (/ 1 1) into 1
5.011 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in x
5.011 * [taylor]: Taking taylor expansion of -1 in x
5.011 * [backup-simplify]: Simplify -1 into -1
5.011 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x
5.011 * [taylor]: Taking taylor expansion of y in x
5.012 * [backup-simplify]: Simplify y into y
5.012 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
5.012 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.012 * [taylor]: Taking taylor expansion of z in x
5.012 * [backup-simplify]: Simplify z into z
5.012 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.012 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.012 * [taylor]: Taking taylor expansion of x in x
5.012 * [backup-simplify]: Simplify 0 into 0
5.012 * [backup-simplify]: Simplify 1 into 1
5.012 * [backup-simplify]: Simplify (/ 1 1) into 1
5.013 * [backup-simplify]: Simplify (- 1) into -1
5.013 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.013 * [backup-simplify]: Simplify (* y -1) into (* -1 y)
5.013 * [backup-simplify]: Simplify (* -1 (* -1 y)) into y
5.013 * [taylor]: Taking taylor expansion of y in z
5.013 * [backup-simplify]: Simplify y into y
5.014 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.014 * [backup-simplify]: Simplify (- 0) into 0
5.014 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
5.015 * [backup-simplify]: Simplify (+ (* y (/ 1 z)) (* 0 -1)) into (/ y z)
5.015 * [backup-simplify]: Simplify (+ (* -1 (/ y z)) (* 0 (* -1 y))) into (- (/ y z))
5.015 * [taylor]: Taking taylor expansion of (- (/ y z)) in z
5.015 * [taylor]: Taking taylor expansion of (/ y z) in z
5.015 * [taylor]: Taking taylor expansion of y in z
5.015 * [backup-simplify]: Simplify y into y
5.015 * [taylor]: Taking taylor expansion of z in z
5.015 * [backup-simplify]: Simplify 0 into 0
5.015 * [backup-simplify]: Simplify 1 into 1
5.015 * [backup-simplify]: Simplify (/ y 1) into y
5.015 * [backup-simplify]: Simplify (- y) into (- y)
5.015 * [taylor]: Taking taylor expansion of (- y) in y
5.015 * [taylor]: Taking taylor expansion of y in y
5.015 * [backup-simplify]: Simplify 0 into 0
5.015 * [backup-simplify]: Simplify 1 into 1
5.016 * [backup-simplify]: Simplify (- 0) into 0
5.016 * [backup-simplify]: Simplify 0 into 0
5.016 * [taylor]: Taking taylor expansion of y in y
5.016 * [backup-simplify]: Simplify 0 into 0
5.016 * [backup-simplify]: Simplify 1 into 1
5.016 * [backup-simplify]: Simplify 0 into 0
5.016 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.017 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.017 * [backup-simplify]: Simplify (- 0) into 0
5.017 * [backup-simplify]: Simplify (+ 0 0) into 0
5.018 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (/ 1 z)) (* 0 -1))) into 0
5.018 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ y z)) (* 0 (* -1 y)))) into 0
5.018 * [taylor]: Taking taylor expansion of 0 in z
5.018 * [backup-simplify]: Simplify 0 into 0
5.019 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
5.019 * [backup-simplify]: Simplify (- 0) into 0
5.020 * [taylor]: Taking taylor expansion of 0 in y
5.020 * [backup-simplify]: Simplify 0 into 0
5.020 * [backup-simplify]: Simplify 0 into 0
5.020 * [taylor]: Taking taylor expansion of 0 in y
5.020 * [backup-simplify]: Simplify 0 into 0
5.020 * [backup-simplify]: Simplify 0 into 0
5.020 * [backup-simplify]: Simplify (- 1) into -1
5.020 * [backup-simplify]: Simplify -1 into -1
5.020 * [backup-simplify]: Simplify 1 into 1
5.020 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.021 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.021 * [backup-simplify]: Simplify (- 0) into 0
5.022 * [backup-simplify]: Simplify (+ 0 0) into 0
5.023 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (/ 1 z)) (* 0 -1)))) into 0
5.023 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ y z)) (* 0 (* -1 y))))) into 0
5.023 * [taylor]: Taking taylor expansion of 0 in z
5.024 * [backup-simplify]: Simplify 0 into 0
5.024 * [taylor]: Taking taylor expansion of 0 in y
5.024 * [backup-simplify]: Simplify 0 into 0
5.024 * [backup-simplify]: Simplify 0 into 0
5.025 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.025 * [backup-simplify]: Simplify (- 0) into 0
5.025 * [taylor]: Taking taylor expansion of 0 in y
5.025 * [backup-simplify]: Simplify 0 into 0
5.025 * [backup-simplify]: Simplify 0 into 0
5.025 * [taylor]: Taking taylor expansion of 0 in y
5.025 * [backup-simplify]: Simplify 0 into 0
5.025 * [backup-simplify]: Simplify 0 into 0
5.025 * [backup-simplify]: Simplify 0 into 0
5.025 * [backup-simplify]: Simplify 0 into 0
5.026 * [backup-simplify]: Simplify (- 0) into 0
5.026 * [backup-simplify]: Simplify 0 into 0
5.026 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- y)) (* 1 (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (- y)) (* (/ 1 (/ 1 (- z))) 1)))) into (- (/ x y) (/ z y))
5.026 * * * [progress]: simplifying candidates
5.026 * * * * [progress]: [ 1 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (log1p (expm1 (/ (- x z) y))) 2.0))>
5.026 * * * * [progress]: [ 2 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (expm1 (log1p (/ (- x z) y))) 2.0))>
5.026 * * * * [progress]: [ 3 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (pow (/ (- x z) y) 1) 2.0))>
5.026 * * * * [progress]: [ 4 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (exp (- (log (- x z)) (log y))) 2.0))>
5.027 * * * * [progress]: [ 5 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (exp (log (/ (- x z) y))) 2.0))>
5.027 * * * * [progress]: [ 6 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (log (exp (/ (- x z) y))) 2.0))>
5.027 * * * * [progress]: [ 7 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (cbrt (/ (* (* (- x z) (- x z)) (- x z)) (* (* y y) y))) 2.0))>
5.027 * * * * [progress]: [ 8 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (* (cbrt (/ (- x z) y)) (cbrt (/ (- x z) y))) (cbrt (/ (- x z) y))) 2.0))>
5.027 * * * * [progress]: [ 9 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (cbrt (* (* (/ (- x z) y) (/ (- x z) y)) (/ (- x z) y))) 2.0))>
5.027 * * * * [progress]: [ 10 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (sqrt (/ (- x z) y)) (sqrt (/ (- x z) y))) 2.0))>
5.027 * * * * [progress]: [ 11 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (- (- x z)) (- y)) 2.0))>
5.027 * * * * [progress]: [ 12 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (- (/ x y) (/ z y)) 2.0))>
5.027 * * * * [progress]: [ 13 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt y) (cbrt y))) (/ (cbrt (- x z)) (cbrt y))) 2.0))>
5.027 * * * * [progress]: [ 14 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (* (cbrt (- x z)) (cbrt (- x z))) (sqrt y)) (/ (cbrt (- x z)) (sqrt y))) 2.0))>
5.027 * * * * [progress]: [ 15 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (* (cbrt (- x z)) (cbrt (- x z))) 1) (/ (cbrt (- x z)) y)) 2.0))>
5.027 * * * * [progress]: [ 16 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (sqrt (- x z)) (* (cbrt y) (cbrt y))) (/ (sqrt (- x z)) (cbrt y))) 2.0))>
5.027 * * * * [progress]: [ 17 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (sqrt (- x z)) (sqrt y)) (/ (sqrt (- x z)) (sqrt y))) 2.0))>
5.027 * * * * [progress]: [ 18 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (sqrt (- x z)) 1) (/ (sqrt (- x z)) y)) 2.0))>
5.027 * * * * [progress]: [ 19 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ 1 (* (cbrt y) (cbrt y))) (/ (- x z) (cbrt y))) 2.0))>
5.027 * * * * [progress]: [ 20 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ 1 (sqrt y)) (/ (- x z) (sqrt y))) 2.0))>
5.027 * * * * [progress]: [ 21 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ 1 1) (/ (- x z) y)) 2.0))>
5.028 * * * * [progress]: [ 22 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (+ (sqrt x) (sqrt z)) (* (cbrt y) (cbrt y))) (/ (- (sqrt x) (sqrt z)) (cbrt y))) 2.0))>
5.028 * * * * [progress]: [ 23 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (+ (sqrt x) (sqrt z)) (sqrt y)) (/ (- (sqrt x) (sqrt z)) (sqrt y))) 2.0))>
5.028 * * * * [progress]: [ 24 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (+ (sqrt x) (sqrt z)) 1) (/ (- (sqrt x) (sqrt z)) y)) 2.0))>
5.028 * * * * [progress]: [ 25 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ 1 (* (cbrt y) (cbrt y))) (/ (- x z) (cbrt y))) 2.0))>
5.028 * * * * [progress]: [ 26 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ 1 (sqrt y)) (/ (- x z) (sqrt y))) 2.0))>
5.028 * * * * [progress]: [ 27 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ 1 1) (/ (- x z) y)) 2.0))>
5.028 * * * * [progress]: [ 28 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* 1 (/ (- x z) y)) 2.0))>
5.028 * * * * [progress]: [ 29 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (- x z) (/ 1 y)) 2.0))>
5.028 * * * * [progress]: [ 30 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (/ y (- x z))) 2.0))>
5.028 * * * * [progress]: [ 31 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (/ (- x z) (* (cbrt y) (cbrt y))) (cbrt y)) 2.0))>
5.028 * * * * [progress]: [ 32 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (/ (- x z) (sqrt y)) (sqrt y)) 2.0))>
5.028 * * * * [progress]: [ 33 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (/ (- x z) 1) y) 2.0))>
5.028 * * * * [progress]: [ 34 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (* (cbrt (- x z)) (cbrt (- x z))) (/ y (cbrt (- x z)))) 2.0))>
5.028 * * * * [progress]: [ 35 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (sqrt (- x z)) (/ y (sqrt (- x z)))) 2.0))>
5.028 * * * * [progress]: [ 36 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (/ y (- x z))) 2.0))>
5.028 * * * * [progress]: [ 37 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (+ (sqrt x) (sqrt z)) (/ y (- (sqrt x) (sqrt z)))) 2.0))>
5.028 * * * * [progress]: [ 38 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (/ y (- x z))) 2.0))>
5.028 * * * * [progress]: [ 39 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (- (pow x 3) (pow z 3)) (* y (+ (* x x) (+ (* z z) (* x z))))) 2.0))>
5.029 * * * * [progress]: [ 40 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (- (* x x) (* z z)) (* y (+ x z))) 2.0))>
5.029 * * * * [progress]: [ 41 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (posit16->real (real->posit16 (/ (- x z) y))) 2.0))>
5.029 * * * * [progress]: [ 42 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (- (/ x y) (/ z y)) 2.0))>
5.029 * * * * [progress]: [ 43 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (- (/ x y) (/ z y)) 2.0))>
5.029 * * * * [progress]: [ 44 / 44 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (- (/ x y) (/ z y)) 2.0))>
5.029 * [simplify]: Simplifying:
  (expm1 (/ (- x z) y))
  (log1p (/ (- x z) y))
  (- (log (- x z)) (log y))
  (log (/ (- x z) y))
  (exp (/ (- x z) y))
  (/ (* (* (- x z) (- x z)) (- x z)) (* (* y y) y))
  (* (cbrt (/ (- x z) y)) (cbrt (/ (- x z) y)))
  (cbrt (/ (- x z) y))
  (* (* (/ (- x z) y) (/ (- x z) y)) (/ (- x z) y))
  (sqrt (/ (- x z) y))
  (sqrt (/ (- x z) y))
  (- (- x z))
  (- y)
  (/ x y)
  (/ z y)
  (/ (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (- x z)) (cbrt y))
  (/ (* (cbrt (- x z)) (cbrt (- x z))) (sqrt y))
  (/ (cbrt (- x z)) (sqrt y))
  (/ (* (cbrt (- x z)) (cbrt (- x z))) 1)
  (/ (cbrt (- x z)) y)
  (/ (sqrt (- x z)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (- x z)) (cbrt y))
  (/ (sqrt (- x z)) (sqrt y))
  (/ (sqrt (- x z)) (sqrt y))
  (/ (sqrt (- x z)) 1)
  (/ (sqrt (- x z)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (- x z) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- x z) (sqrt y))
  (/ 1 1)
  (/ (- x z) y)
  (/ (+ (sqrt x) (sqrt z)) (* (cbrt y) (cbrt y)))
  (/ (- (sqrt x) (sqrt z)) (cbrt y))
  (/ (+ (sqrt x) (sqrt z)) (sqrt y))
  (/ (- (sqrt x) (sqrt z)) (sqrt y))
  (/ (+ (sqrt x) (sqrt z)) 1)
  (/ (- (sqrt x) (sqrt z)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (- x z) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- x z) (sqrt y))
  (/ 1 1)
  (/ (- x z) y)
  (/ 1 y)
  (/ y (- x z))
  (/ (- x z) (* (cbrt y) (cbrt y)))
  (/ (- x z) (sqrt y))
  (/ (- x z) 1)
  (/ y (cbrt (- x z)))
  (/ y (sqrt (- x z)))
  (/ y (- x z))
  (/ y (- (sqrt x) (sqrt z)))
  (/ y (- x z))
  (* y (+ (* x x) (+ (* z z) (* x z))))
  (* y (+ x z))
  (real->posit16 (/ (- x z) y))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
5.030 * * [simplify]: iteration 0: 76 enodes
5.046 * * [simplify]: iteration 1: 166 enodes
5.091 * * [simplify]: iteration 2: 370 enodes
5.237 * * [simplify]: iteration 3: 1218 enodes
6.122 * * [simplify]: iteration 4: 4383 enodes
7.088 * * [simplify]: iteration complete: 5000 enodes
7.088 * * [simplify]: Extracting #0: cost 45 inf + 0
7.090 * * [simplify]: Extracting #1: cost 506 inf + 1
7.095 * * [simplify]: Extracting #2: cost 1054 inf + 8686
7.111 * * [simplify]: Extracting #3: cost 755 inf + 76298
7.152 * * [simplify]: Extracting #4: cost 98 inf + 183631
7.195 * * [simplify]: Extracting #5: cost 1 inf + 201024
7.264 * * [simplify]: Extracting #6: cost 0 inf + 201227
7.329 * [simplify]: Simplified to:
  (expm1 (/ (- x z) y))
  (log1p (/ (- x z) y))
  (log (/ (- x z) y))
  (log (/ (- x z) y))
  (exp (/ (- x z) y))
  (* (/ (- x z) y) (* (/ (- x z) y) (/ (- x z) y)))
  (* (cbrt (/ (- x z) y)) (cbrt (/ (- x z) y)))
  (cbrt (/ (- x z) y))
  (* (/ (- x z) y) (* (/ (- x z) y) (/ (- x z) y)))
  (sqrt (/ (- x z) y))
  (sqrt (/ (- x z) y))
  (+ (- x) z)
  (- y)
  (/ x y)
  (/ z y)
  (* (/ (cbrt (- x z)) (cbrt y)) (/ (cbrt (- x z)) (cbrt y)))
  (/ (cbrt (- x z)) (cbrt y))
  (* (cbrt (- x z)) (/ (cbrt (- x z)) (sqrt y)))
  (/ (cbrt (- x z)) (sqrt y))
  (* (cbrt (- x z)) (cbrt (- x z)))
  (/ (cbrt (- x z)) y)
  (/ (sqrt (- x z)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (- x z)) (cbrt y))
  (/ (sqrt (- x z)) (sqrt y))
  (/ (sqrt (- x z)) (sqrt y))
  (sqrt (- x z))
  (/ (sqrt (- x z)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (- x z) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- x z) (sqrt y))
  1
  (/ (- x z) y)
  (/ (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y)))
  (/ (- (sqrt x) (sqrt z)) (cbrt y))
  (/ (+ (sqrt z) (sqrt x)) (sqrt y))
  (/ (- (sqrt x) (sqrt z)) (sqrt y))
  (+ (sqrt z) (sqrt x))
  (/ (- (sqrt x) (sqrt z)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (- x z) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- x z) (sqrt y))
  1
  (/ (- x z) y)
  (/ 1 y)
  (/ y (- x z))
  (/ (/ (- x z) (cbrt y)) (cbrt y))
  (/ (- x z) (sqrt y))
  (- x z)
  (/ y (cbrt (- x z)))
  (/ y (sqrt (- x z)))
  (/ y (- x z))
  (/ y (- (sqrt x) (sqrt z)))
  (/ y (- x z))
  (* (fma z (+ z x) (* x x)) y)
  (* y (+ x z))
  (real->posit16 (/ (- x z) y))
  (/ (- x z) y)
  (/ (- x z) y)
  (/ (- x z) y)
7.331 * * * [progress]: adding candidates to table
7.501 * * [progress]: iteration 3 / 4
7.501 * * * [progress]: picking best candidate
7.504 * * * * [pick]: Picked  #<alt (λ (x y z) (fma 4.0 (/ 1 (/ y (- x z))) 2.0))>
7.504 * * * [progress]: localizing error
7.531 * * * [progress]: generating rewritten candidates
7.531 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
7.570 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2)
7.591 * * * [progress]: generating series expansions
7.591 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
7.591 * [backup-simplify]: Simplify (/ 1 (/ y (- x z))) into (/ (- x z) y)
7.591 * [approximate]: Taking taylor expansion of (/ (- x z) y) in (y x z) around 0
7.591 * [taylor]: Taking taylor expansion of (/ (- x z) y) in z
7.591 * [taylor]: Taking taylor expansion of (- x z) in z
7.591 * [taylor]: Taking taylor expansion of x in z
7.591 * [backup-simplify]: Simplify x into x
7.591 * [taylor]: Taking taylor expansion of z in z
7.591 * [backup-simplify]: Simplify 0 into 0
7.591 * [backup-simplify]: Simplify 1 into 1
7.591 * [taylor]: Taking taylor expansion of y in z
7.591 * [backup-simplify]: Simplify y into y
7.591 * [backup-simplify]: Simplify (- 0) into 0
7.591 * [backup-simplify]: Simplify (+ x 0) into x
7.592 * [backup-simplify]: Simplify (/ x y) into (/ x y)
7.592 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x
7.592 * [taylor]: Taking taylor expansion of (- x z) in x
7.592 * [taylor]: Taking taylor expansion of x in x
7.592 * [backup-simplify]: Simplify 0 into 0
7.592 * [backup-simplify]: Simplify 1 into 1
7.592 * [taylor]: Taking taylor expansion of z in x
7.592 * [backup-simplify]: Simplify z into z
7.592 * [taylor]: Taking taylor expansion of y in x
7.592 * [backup-simplify]: Simplify y into y
7.592 * [backup-simplify]: Simplify (- z) into (- z)
7.592 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
7.592 * [backup-simplify]: Simplify (/ (- z) y) into (* -1 (/ z y))
7.592 * [taylor]: Taking taylor expansion of (/ (- x z) y) in y
7.592 * [taylor]: Taking taylor expansion of (- x z) in y
7.592 * [taylor]: Taking taylor expansion of x in y
7.592 * [backup-simplify]: Simplify x into x
7.592 * [taylor]: Taking taylor expansion of z in y
7.592 * [backup-simplify]: Simplify z into z
7.592 * [taylor]: Taking taylor expansion of y in y
7.592 * [backup-simplify]: Simplify 0 into 0
7.592 * [backup-simplify]: Simplify 1 into 1
7.592 * [backup-simplify]: Simplify (- z) into (- z)
7.592 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
7.592 * [backup-simplify]: Simplify (/ (- x z) 1) into (- x z)
7.592 * [taylor]: Taking taylor expansion of (/ (- x z) y) in y
7.592 * [taylor]: Taking taylor expansion of (- x z) in y
7.592 * [taylor]: Taking taylor expansion of x in y
7.592 * [backup-simplify]: Simplify x into x
7.592 * [taylor]: Taking taylor expansion of z in y
7.592 * [backup-simplify]: Simplify z into z
7.592 * [taylor]: Taking taylor expansion of y in y
7.592 * [backup-simplify]: Simplify 0 into 0
7.592 * [backup-simplify]: Simplify 1 into 1
7.592 * [backup-simplify]: Simplify (- z) into (- z)
7.592 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
7.592 * [backup-simplify]: Simplify (/ (- x z) 1) into (- x z)
7.592 * [taylor]: Taking taylor expansion of (- x z) in x
7.592 * [taylor]: Taking taylor expansion of x in x
7.592 * [backup-simplify]: Simplify 0 into 0
7.592 * [backup-simplify]: Simplify 1 into 1
7.592 * [taylor]: Taking taylor expansion of z in x
7.592 * [backup-simplify]: Simplify z into z
7.592 * [backup-simplify]: Simplify (- z) into (- z)
7.592 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
7.592 * [taylor]: Taking taylor expansion of (- z) in z
7.592 * [taylor]: Taking taylor expansion of z in z
7.592 * [backup-simplify]: Simplify 0 into 0
7.593 * [backup-simplify]: Simplify 1 into 1
7.593 * [backup-simplify]: Simplify (- 0) into 0
7.593 * [backup-simplify]: Simplify 0 into 0
7.593 * [backup-simplify]: Simplify (- 0) into 0
7.593 * [backup-simplify]: Simplify (+ 0 0) into 0
7.594 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- x z) (/ 0 1)))) into 0
7.594 * [taylor]: Taking taylor expansion of 0 in x
7.594 * [backup-simplify]: Simplify 0 into 0
7.594 * [taylor]: Taking taylor expansion of 0 in z
7.594 * [backup-simplify]: Simplify 0 into 0
7.594 * [backup-simplify]: Simplify 0 into 0
7.594 * [backup-simplify]: Simplify (- 0) into 0
7.594 * [backup-simplify]: Simplify (+ 1 0) into 1
7.594 * [taylor]: Taking taylor expansion of 1 in z
7.595 * [backup-simplify]: Simplify 1 into 1
7.595 * [backup-simplify]: Simplify 1 into 1
7.595 * [backup-simplify]: Simplify (- 1) into -1
7.595 * [backup-simplify]: Simplify -1 into -1
7.595 * [backup-simplify]: Simplify (- 0) into 0
7.595 * [backup-simplify]: Simplify (+ 0 0) into 0
7.596 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- x z) (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.596 * [taylor]: Taking taylor expansion of 0 in x
7.596 * [backup-simplify]: Simplify 0 into 0
7.596 * [taylor]: Taking taylor expansion of 0 in z
7.596 * [backup-simplify]: Simplify 0 into 0
7.596 * [backup-simplify]: Simplify 0 into 0
7.596 * [taylor]: Taking taylor expansion of 0 in z
7.596 * [backup-simplify]: Simplify 0 into 0
7.596 * [backup-simplify]: Simplify 0 into 0
7.597 * [backup-simplify]: Simplify (- 0) into 0
7.597 * [backup-simplify]: Simplify (+ 0 0) into 0
7.597 * [taylor]: Taking taylor expansion of 0 in z
7.597 * [backup-simplify]: Simplify 0 into 0
7.597 * [backup-simplify]: Simplify 0 into 0
7.597 * [backup-simplify]: Simplify 0 into 0
7.597 * [backup-simplify]: Simplify 0 into 0
7.597 * [backup-simplify]: Simplify (- 0) into 0
7.597 * [backup-simplify]: Simplify 0 into 0
7.597 * [backup-simplify]: Simplify (+ (* -1 (* z (* 1 (/ 1 y)))) (* 1 (* 1 (* x (/ 1 y))))) into (- (/ x y) (/ z y))
7.597 * [backup-simplify]: Simplify (/ 1 (/ (/ 1 y) (- (/ 1 x) (/ 1 z)))) into (* (- (/ 1 x) (/ 1 z)) y)
7.598 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in (y x z) around 0
7.598 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in z
7.598 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
7.598 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.598 * [taylor]: Taking taylor expansion of x in z
7.598 * [backup-simplify]: Simplify x into x
7.598 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.598 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.598 * [taylor]: Taking taylor expansion of z in z
7.598 * [backup-simplify]: Simplify 0 into 0
7.598 * [backup-simplify]: Simplify 1 into 1
7.598 * [backup-simplify]: Simplify (/ 1 1) into 1
7.598 * [taylor]: Taking taylor expansion of y in z
7.598 * [backup-simplify]: Simplify y into y
7.598 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in x
7.598 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
7.598 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.598 * [taylor]: Taking taylor expansion of x in x
7.598 * [backup-simplify]: Simplify 0 into 0
7.598 * [backup-simplify]: Simplify 1 into 1
7.598 * [backup-simplify]: Simplify (/ 1 1) into 1
7.598 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.598 * [taylor]: Taking taylor expansion of z in x
7.598 * [backup-simplify]: Simplify z into z
7.598 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.598 * [taylor]: Taking taylor expansion of y in x
7.598 * [backup-simplify]: Simplify y into y
7.598 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in y
7.598 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
7.598 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.598 * [taylor]: Taking taylor expansion of x in y
7.599 * [backup-simplify]: Simplify x into x
7.599 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.599 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.599 * [taylor]: Taking taylor expansion of z in y
7.599 * [backup-simplify]: Simplify z into z
7.599 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.599 * [taylor]: Taking taylor expansion of y in y
7.599 * [backup-simplify]: Simplify 0 into 0
7.599 * [backup-simplify]: Simplify 1 into 1
7.599 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in y
7.599 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
7.599 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.599 * [taylor]: Taking taylor expansion of x in y
7.599 * [backup-simplify]: Simplify x into x
7.599 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.599 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.599 * [taylor]: Taking taylor expansion of z in y
7.599 * [backup-simplify]: Simplify z into z
7.599 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.599 * [taylor]: Taking taylor expansion of y in y
7.599 * [backup-simplify]: Simplify 0 into 0
7.599 * [backup-simplify]: Simplify 1 into 1
7.599 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.599 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
7.599 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 1 z)) 0) into 0
7.599 * [taylor]: Taking taylor expansion of 0 in x
7.599 * [backup-simplify]: Simplify 0 into 0
7.599 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
7.599 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.600 * [backup-simplify]: Simplify (- 0) into 0
7.600 * [backup-simplify]: Simplify (+ 0 0) into 0
7.600 * [backup-simplify]: Simplify (+ (* (- (/ 1 x) (/ 1 z)) 1) (* 0 0)) into (- (/ 1 x) (/ 1 z))
7.600 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
7.600 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.600 * [taylor]: Taking taylor expansion of x in x
7.600 * [backup-simplify]: Simplify 0 into 0
7.600 * [backup-simplify]: Simplify 1 into 1
7.600 * [backup-simplify]: Simplify (/ 1 1) into 1
7.600 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.601 * [taylor]: Taking taylor expansion of z in x
7.601 * [backup-simplify]: Simplify z into z
7.601 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.601 * [backup-simplify]: Simplify (+ 1 0) into 1
7.601 * [taylor]: Taking taylor expansion of 1 in z
7.601 * [backup-simplify]: Simplify 1 into 1
7.601 * [taylor]: Taking taylor expansion of 0 in z
7.601 * [backup-simplify]: Simplify 0 into 0
7.601 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
7.601 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.601 * [backup-simplify]: Simplify (- 0) into 0
7.602 * [backup-simplify]: Simplify (+ 0 0) into 0
7.602 * [backup-simplify]: Simplify (+ (* (- (/ 1 x) (/ 1 z)) 0) (+ (* 0 1) (* 0 0))) into 0
7.602 * [taylor]: Taking taylor expansion of 0 in x
7.602 * [backup-simplify]: Simplify 0 into 0
7.603 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.603 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.603 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
7.603 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
7.603 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.603 * [taylor]: Taking taylor expansion of z in z
7.603 * [backup-simplify]: Simplify 0 into 0
7.603 * [backup-simplify]: Simplify 1 into 1
7.603 * [backup-simplify]: Simplify (/ 1 1) into 1
7.603 * [backup-simplify]: Simplify (- 1) into -1
7.603 * [backup-simplify]: Simplify -1 into -1
7.603 * [taylor]: Taking taylor expansion of 0 in z
7.603 * [backup-simplify]: Simplify 0 into 0
7.603 * [backup-simplify]: Simplify 1 into 1
7.603 * [backup-simplify]: Simplify 0 into 0
7.603 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
7.604 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.604 * [backup-simplify]: Simplify (- 0) into 0
7.604 * [backup-simplify]: Simplify (+ 0 0) into 0
7.605 * [backup-simplify]: Simplify (+ (* (- (/ 1 x) (/ 1 z)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.605 * [taylor]: Taking taylor expansion of 0 in x
7.605 * [backup-simplify]: Simplify 0 into 0
7.605 * [taylor]: Taking taylor expansion of 0 in z
7.605 * [backup-simplify]: Simplify 0 into 0
7.605 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.605 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.606 * [backup-simplify]: Simplify (- 0) into 0
7.606 * [backup-simplify]: Simplify (+ 0 0) into 0
7.606 * [taylor]: Taking taylor expansion of 0 in z
7.606 * [backup-simplify]: Simplify 0 into 0
7.606 * [taylor]: Taking taylor expansion of 0 in z
7.606 * [backup-simplify]: Simplify 0 into 0
7.606 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.607 * [backup-simplify]: Simplify (- 0) into 0
7.607 * [backup-simplify]: Simplify 0 into 0
7.607 * [backup-simplify]: Simplify 0 into 0
7.607 * [backup-simplify]: Simplify 0 into 0
7.607 * [backup-simplify]: Simplify 0 into 0
7.607 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
7.607 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.607 * [backup-simplify]: Simplify (- 0) into 0
7.607 * [backup-simplify]: Simplify (+ 0 0) into 0
7.608 * [backup-simplify]: Simplify (+ (* (- (/ 1 x) (/ 1 z)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
7.608 * [taylor]: Taking taylor expansion of 0 in x
7.608 * [backup-simplify]: Simplify 0 into 0
7.608 * [taylor]: Taking taylor expansion of 0 in z
7.608 * [backup-simplify]: Simplify 0 into 0
7.608 * [taylor]: Taking taylor expansion of 0 in z
7.608 * [backup-simplify]: Simplify 0 into 0
7.609 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.609 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.609 * [backup-simplify]: Simplify (- 0) into 0
7.609 * [backup-simplify]: Simplify (+ 0 0) into 0
7.609 * [taylor]: Taking taylor expansion of 0 in z
7.609 * [backup-simplify]: Simplify 0 into 0
7.609 * [taylor]: Taking taylor expansion of 0 in z
7.609 * [backup-simplify]: Simplify 0 into 0
7.609 * [backup-simplify]: Simplify 0 into 0
7.610 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) (/ 1 y)))) (* -1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 y))))) into (- (/ x y) (/ z y))
7.610 * [backup-simplify]: Simplify (/ 1 (/ (/ 1 (- y)) (- (/ 1 (- x)) (/ 1 (- z))))) into (* -1 (* y (- (/ 1 z) (/ 1 x))))
7.610 * [approximate]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in (y x z) around 0
7.610 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in z
7.610 * [taylor]: Taking taylor expansion of -1 in z
7.610 * [backup-simplify]: Simplify -1 into -1
7.610 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in z
7.610 * [taylor]: Taking taylor expansion of y in z
7.610 * [backup-simplify]: Simplify y into y
7.610 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
7.610 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.610 * [taylor]: Taking taylor expansion of z in z
7.610 * [backup-simplify]: Simplify 0 into 0
7.610 * [backup-simplify]: Simplify 1 into 1
7.610 * [backup-simplify]: Simplify (/ 1 1) into 1
7.610 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.610 * [taylor]: Taking taylor expansion of x in z
7.610 * [backup-simplify]: Simplify x into x
7.610 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.610 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in x
7.610 * [taylor]: Taking taylor expansion of -1 in x
7.610 * [backup-simplify]: Simplify -1 into -1
7.610 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x
7.610 * [taylor]: Taking taylor expansion of y in x
7.610 * [backup-simplify]: Simplify y into y
7.610 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
7.610 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.611 * [taylor]: Taking taylor expansion of z in x
7.611 * [backup-simplify]: Simplify z into z
7.611 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.611 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.611 * [taylor]: Taking taylor expansion of x in x
7.611 * [backup-simplify]: Simplify 0 into 0
7.611 * [backup-simplify]: Simplify 1 into 1
7.611 * [backup-simplify]: Simplify (/ 1 1) into 1
7.611 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in y
7.611 * [taylor]: Taking taylor expansion of -1 in y
7.611 * [backup-simplify]: Simplify -1 into -1
7.611 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y
7.611 * [taylor]: Taking taylor expansion of y in y
7.611 * [backup-simplify]: Simplify 0 into 0
7.611 * [backup-simplify]: Simplify 1 into 1
7.611 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
7.611 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.611 * [taylor]: Taking taylor expansion of z in y
7.611 * [backup-simplify]: Simplify z into z
7.611 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.611 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.611 * [taylor]: Taking taylor expansion of x in y
7.611 * [backup-simplify]: Simplify x into x
7.611 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.611 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in y
7.611 * [taylor]: Taking taylor expansion of -1 in y
7.611 * [backup-simplify]: Simplify -1 into -1
7.611 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y
7.611 * [taylor]: Taking taylor expansion of y in y
7.611 * [backup-simplify]: Simplify 0 into 0
7.611 * [backup-simplify]: Simplify 1 into 1
7.611 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
7.611 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.611 * [taylor]: Taking taylor expansion of z in y
7.611 * [backup-simplify]: Simplify z into z
7.611 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.611 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.611 * [taylor]: Taking taylor expansion of x in y
7.611 * [backup-simplify]: Simplify x into x
7.611 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.612 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
7.612 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
7.612 * [backup-simplify]: Simplify (* 0 (- (/ 1 z) (/ 1 x))) into 0
7.612 * [backup-simplify]: Simplify (* -1 0) into 0
7.612 * [taylor]: Taking taylor expansion of 0 in x
7.612 * [backup-simplify]: Simplify 0 into 0
7.612 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.612 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
7.612 * [backup-simplify]: Simplify (- 0) into 0
7.613 * [backup-simplify]: Simplify (+ 0 0) into 0
7.613 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (/ 1 z) (/ 1 x)))) into (- (/ 1 z) (/ 1 x))
7.614 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 z) (/ 1 x))) (* 0 0)) into (- (/ 1 x) (/ 1 z))
7.614 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
7.614 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.614 * [taylor]: Taking taylor expansion of x in x
7.614 * [backup-simplify]: Simplify 0 into 0
7.614 * [backup-simplify]: Simplify 1 into 1
7.614 * [backup-simplify]: Simplify (/ 1 1) into 1
7.615 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.615 * [taylor]: Taking taylor expansion of z in x
7.615 * [backup-simplify]: Simplify z into z
7.615 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.615 * [backup-simplify]: Simplify (+ 1 0) into 1
7.615 * [taylor]: Taking taylor expansion of 1 in z
7.615 * [backup-simplify]: Simplify 1 into 1
7.615 * [taylor]: Taking taylor expansion of 0 in z
7.615 * [backup-simplify]: Simplify 0 into 0
7.615 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.616 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
7.616 * [backup-simplify]: Simplify (- 0) into 0
7.617 * [backup-simplify]: Simplify (+ 0 0) into 0
7.617 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (/ 1 z) (/ 1 x))))) into 0
7.618 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (/ 1 z) (/ 1 x))) (* 0 0))) into 0
7.618 * [taylor]: Taking taylor expansion of 0 in x
7.618 * [backup-simplify]: Simplify 0 into 0
7.618 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.618 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.618 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
7.618 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
7.618 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.618 * [taylor]: Taking taylor expansion of z in z
7.618 * [backup-simplify]: Simplify 0 into 0
7.618 * [backup-simplify]: Simplify 1 into 1
7.619 * [backup-simplify]: Simplify (/ 1 1) into 1
7.619 * [backup-simplify]: Simplify (- 1) into -1
7.619 * [backup-simplify]: Simplify -1 into -1
7.619 * [taylor]: Taking taylor expansion of 0 in z
7.619 * [backup-simplify]: Simplify 0 into 0
7.619 * [backup-simplify]: Simplify 1 into 1
7.619 * [backup-simplify]: Simplify 0 into 0
7.619 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.619 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
7.619 * [backup-simplify]: Simplify (- 0) into 0
7.620 * [backup-simplify]: Simplify (+ 0 0) into 0
7.620 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x)))))) into 0
7.621 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (/ 1 z) (/ 1 x))) (* 0 0)))) into 0
7.621 * [taylor]: Taking taylor expansion of 0 in x
7.621 * [backup-simplify]: Simplify 0 into 0
7.621 * [taylor]: Taking taylor expansion of 0 in z
7.621 * [backup-simplify]: Simplify 0 into 0
7.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.622 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.622 * [backup-simplify]: Simplify (- 0) into 0
7.622 * [backup-simplify]: Simplify (+ 0 0) into 0
7.622 * [taylor]: Taking taylor expansion of 0 in z
7.622 * [backup-simplify]: Simplify 0 into 0
7.623 * [taylor]: Taking taylor expansion of 0 in z
7.623 * [backup-simplify]: Simplify 0 into 0
7.623 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.623 * [backup-simplify]: Simplify (- 0) into 0
7.623 * [backup-simplify]: Simplify 0 into 0
7.623 * [backup-simplify]: Simplify 0 into 0
7.623 * [backup-simplify]: Simplify 0 into 0
7.623 * [backup-simplify]: Simplify 0 into 0
7.623 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.624 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
7.624 * [backup-simplify]: Simplify (- 0) into 0
7.624 * [backup-simplify]: Simplify (+ 0 0) into 0
7.625 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x))))))) into 0
7.626 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 z) (/ 1 x))) (* 0 0))))) into 0
7.626 * [taylor]: Taking taylor expansion of 0 in x
7.626 * [backup-simplify]: Simplify 0 into 0
7.626 * [taylor]: Taking taylor expansion of 0 in z
7.626 * [backup-simplify]: Simplify 0 into 0
7.626 * [taylor]: Taking taylor expansion of 0 in z
7.626 * [backup-simplify]: Simplify 0 into 0
7.627 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.627 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.627 * [backup-simplify]: Simplify (- 0) into 0
7.627 * [backup-simplify]: Simplify (+ 0 0) into 0
7.627 * [taylor]: Taking taylor expansion of 0 in z
7.627 * [backup-simplify]: Simplify 0 into 0
7.627 * [taylor]: Taking taylor expansion of 0 in z
7.627 * [backup-simplify]: Simplify 0 into 0
7.627 * [backup-simplify]: Simplify 0 into 0
7.628 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (- y))))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (- y)))))) into (- (/ x y) (/ z y))
7.628 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2)
7.628 * [backup-simplify]: Simplify (/ y (- x z)) into (/ y (- x z))
7.628 * [approximate]: Taking taylor expansion of (/ y (- x z)) in (y x z) around 0
7.628 * [taylor]: Taking taylor expansion of (/ y (- x z)) in z
7.628 * [taylor]: Taking taylor expansion of y in z
7.628 * [backup-simplify]: Simplify y into y
7.628 * [taylor]: Taking taylor expansion of (- x z) in z
7.628 * [taylor]: Taking taylor expansion of x in z
7.628 * [backup-simplify]: Simplify x into x
7.628 * [taylor]: Taking taylor expansion of z in z
7.628 * [backup-simplify]: Simplify 0 into 0
7.628 * [backup-simplify]: Simplify 1 into 1
7.628 * [backup-simplify]: Simplify (- 0) into 0
7.628 * [backup-simplify]: Simplify (+ x 0) into x
7.628 * [backup-simplify]: Simplify (/ y x) into (/ y x)
7.628 * [taylor]: Taking taylor expansion of (/ y (- x z)) in x
7.628 * [taylor]: Taking taylor expansion of y in x
7.628 * [backup-simplify]: Simplify y into y
7.628 * [taylor]: Taking taylor expansion of (- x z) in x
7.628 * [taylor]: Taking taylor expansion of x in x
7.628 * [backup-simplify]: Simplify 0 into 0
7.628 * [backup-simplify]: Simplify 1 into 1
7.628 * [taylor]: Taking taylor expansion of z in x
7.628 * [backup-simplify]: Simplify z into z
7.628 * [backup-simplify]: Simplify (- z) into (- z)
7.628 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
7.629 * [backup-simplify]: Simplify (/ y (- z)) into (* -1 (/ y z))
7.629 * [taylor]: Taking taylor expansion of (/ y (- x z)) in y
7.629 * [taylor]: Taking taylor expansion of y in y
7.629 * [backup-simplify]: Simplify 0 into 0
7.629 * [backup-simplify]: Simplify 1 into 1
7.629 * [taylor]: Taking taylor expansion of (- x z) in y
7.629 * [taylor]: Taking taylor expansion of x in y
7.629 * [backup-simplify]: Simplify x into x
7.629 * [taylor]: Taking taylor expansion of z in y
7.629 * [backup-simplify]: Simplify z into z
7.629 * [backup-simplify]: Simplify (- z) into (- z)
7.629 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
7.629 * [backup-simplify]: Simplify (/ 1 (- x z)) into (/ 1 (- x z))
7.629 * [taylor]: Taking taylor expansion of (/ y (- x z)) in y
7.629 * [taylor]: Taking taylor expansion of y in y
7.629 * [backup-simplify]: Simplify 0 into 0
7.629 * [backup-simplify]: Simplify 1 into 1
7.629 * [taylor]: Taking taylor expansion of (- x z) in y
7.629 * [taylor]: Taking taylor expansion of x in y
7.629 * [backup-simplify]: Simplify x into x
7.629 * [taylor]: Taking taylor expansion of z in y
7.629 * [backup-simplify]: Simplify z into z
7.629 * [backup-simplify]: Simplify (- z) into (- z)
7.629 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
7.629 * [backup-simplify]: Simplify (/ 1 (- x z)) into (/ 1 (- x z))
7.629 * [taylor]: Taking taylor expansion of (/ 1 (- x z)) in x
7.629 * [taylor]: Taking taylor expansion of (- x z) in x
7.629 * [taylor]: Taking taylor expansion of x in x
7.629 * [backup-simplify]: Simplify 0 into 0
7.629 * [backup-simplify]: Simplify 1 into 1
7.629 * [taylor]: Taking taylor expansion of z in x
7.629 * [backup-simplify]: Simplify z into z
7.629 * [backup-simplify]: Simplify (- z) into (- z)
7.629 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
7.629 * [backup-simplify]: Simplify (/ 1 (- z)) into (/ -1 z)
7.629 * [taylor]: Taking taylor expansion of (/ -1 z) in z
7.629 * [taylor]: Taking taylor expansion of -1 in z
7.629 * [backup-simplify]: Simplify -1 into -1
7.629 * [taylor]: Taking taylor expansion of z in z
7.629 * [backup-simplify]: Simplify 0 into 0
7.629 * [backup-simplify]: Simplify 1 into 1
7.630 * [backup-simplify]: Simplify (/ -1 1) into -1
7.630 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.630 * [backup-simplify]: Simplify 0 into 0
7.630 * [backup-simplify]: Simplify (- 0) into 0
7.631 * [backup-simplify]: Simplify (+ 0 0) into 0
7.631 * [backup-simplify]: Simplify (- (/ 0 (- x z)) (+ (* (/ 1 (- x z)) (/ 0 (- x z))))) into 0
7.631 * [taylor]: Taking taylor expansion of 0 in x
7.631 * [backup-simplify]: Simplify 0 into 0
7.631 * [taylor]: Taking taylor expansion of 0 in z
7.631 * [backup-simplify]: Simplify 0 into 0
7.631 * [backup-simplify]: Simplify 0 into 0
7.631 * [backup-simplify]: Simplify (- 0) into 0
7.631 * [backup-simplify]: Simplify (+ 1 0) into 1
7.631 * [backup-simplify]: Simplify (- (+ (* (/ -1 z) (/ 1 (- z))))) into (- (/ 1 (pow z 2)))
7.632 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z
7.632 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
7.632 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.632 * [taylor]: Taking taylor expansion of z in z
7.632 * [backup-simplify]: Simplify 0 into 0
7.632 * [backup-simplify]: Simplify 1 into 1
7.632 * [backup-simplify]: Simplify (* 1 1) into 1
7.632 * [backup-simplify]: Simplify (/ 1 1) into 1
7.633 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.633 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.634 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.634 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.635 * [backup-simplify]: Simplify (- 0) into 0
7.635 * [backup-simplify]: Simplify 0 into 0
7.635 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.635 * [backup-simplify]: Simplify 0 into 0
7.636 * [backup-simplify]: Simplify (- 0) into 0
7.636 * [backup-simplify]: Simplify (+ 0 0) into 0
7.636 * [backup-simplify]: Simplify (- (/ 0 (- x z)) (+ (* (/ 1 (- x z)) (/ 0 (- x z))) (* 0 (/ 0 (- x z))))) into 0
7.636 * [taylor]: Taking taylor expansion of 0 in x
7.636 * [backup-simplify]: Simplify 0 into 0
7.636 * [taylor]: Taking taylor expansion of 0 in z
7.636 * [backup-simplify]: Simplify 0 into 0
7.636 * [backup-simplify]: Simplify 0 into 0
7.636 * [taylor]: Taking taylor expansion of 0 in z
7.636 * [backup-simplify]: Simplify 0 into 0
7.636 * [backup-simplify]: Simplify 0 into 0
7.637 * [backup-simplify]: Simplify 0 into 0
7.637 * [backup-simplify]: Simplify (/ (/ 1 y) (- (/ 1 x) (/ 1 z))) into (/ 1 (* (- (/ 1 x) (/ 1 z)) y))
7.637 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 x) (/ 1 z)) y)) in (y x z) around 0
7.637 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 x) (/ 1 z)) y)) in z
7.637 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in z
7.637 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
7.637 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.637 * [taylor]: Taking taylor expansion of x in z
7.637 * [backup-simplify]: Simplify x into x
7.637 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.637 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.637 * [taylor]: Taking taylor expansion of z in z
7.637 * [backup-simplify]: Simplify 0 into 0
7.637 * [backup-simplify]: Simplify 1 into 1
7.637 * [backup-simplify]: Simplify (/ 1 1) into 1
7.637 * [taylor]: Taking taylor expansion of y in z
7.637 * [backup-simplify]: Simplify y into y
7.637 * [backup-simplify]: Simplify (- 1) into -1
7.638 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.638 * [backup-simplify]: Simplify (* -1 y) into (* -1 y)
7.638 * [backup-simplify]: Simplify (/ 1 (* -1 y)) into (/ -1 y)
7.638 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 x) (/ 1 z)) y)) in x
7.638 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in x
7.638 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
7.638 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.638 * [taylor]: Taking taylor expansion of x in x
7.638 * [backup-simplify]: Simplify 0 into 0
7.638 * [backup-simplify]: Simplify 1 into 1
7.638 * [backup-simplify]: Simplify (/ 1 1) into 1
7.638 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.638 * [taylor]: Taking taylor expansion of z in x
7.638 * [backup-simplify]: Simplify z into z
7.638 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.638 * [taylor]: Taking taylor expansion of y in x
7.638 * [backup-simplify]: Simplify y into y
7.639 * [backup-simplify]: Simplify (+ 1 0) into 1
7.639 * [backup-simplify]: Simplify (* 1 y) into y
7.639 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.639 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 x) (/ 1 z)) y)) in y
7.639 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in y
7.639 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
7.639 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.639 * [taylor]: Taking taylor expansion of x in y
7.639 * [backup-simplify]: Simplify x into x
7.639 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.639 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.639 * [taylor]: Taking taylor expansion of z in y
7.639 * [backup-simplify]: Simplify z into z
7.639 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.639 * [taylor]: Taking taylor expansion of y in y
7.639 * [backup-simplify]: Simplify 0 into 0
7.639 * [backup-simplify]: Simplify 1 into 1
7.639 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.639 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
7.639 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 1 z)) 0) into 0
7.639 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
7.639 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.639 * [backup-simplify]: Simplify (- 0) into 0
7.640 * [backup-simplify]: Simplify (+ 0 0) into 0
7.640 * [backup-simplify]: Simplify (+ (* (- (/ 1 x) (/ 1 z)) 1) (* 0 0)) into (- (/ 1 x) (/ 1 z))
7.640 * [backup-simplify]: Simplify (/ 1 (- (/ 1 x) (/ 1 z))) into (/ 1 (- (/ 1 x) (/ 1 z)))
7.640 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 x) (/ 1 z)) y)) in y
7.640 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) y) in y
7.640 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
7.640 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.640 * [taylor]: Taking taylor expansion of x in y
7.640 * [backup-simplify]: Simplify x into x
7.640 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.640 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.640 * [taylor]: Taking taylor expansion of z in y
7.640 * [backup-simplify]: Simplify z into z
7.640 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.640 * [taylor]: Taking taylor expansion of y in y
7.640 * [backup-simplify]: Simplify 0 into 0
7.640 * [backup-simplify]: Simplify 1 into 1
7.640 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.640 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
7.641 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 1 z)) 0) into 0
7.641 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
7.641 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.641 * [backup-simplify]: Simplify (- 0) into 0
7.641 * [backup-simplify]: Simplify (+ 0 0) into 0
7.641 * [backup-simplify]: Simplify (+ (* (- (/ 1 x) (/ 1 z)) 1) (* 0 0)) into (- (/ 1 x) (/ 1 z))
7.642 * [backup-simplify]: Simplify (/ 1 (- (/ 1 x) (/ 1 z))) into (/ 1 (- (/ 1 x) (/ 1 z)))
7.642 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 x) (/ 1 z))) in x
7.642 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
7.642 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.642 * [taylor]: Taking taylor expansion of x in x
7.642 * [backup-simplify]: Simplify 0 into 0
7.642 * [backup-simplify]: Simplify 1 into 1
7.642 * [backup-simplify]: Simplify (/ 1 1) into 1
7.642 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.642 * [taylor]: Taking taylor expansion of z in x
7.642 * [backup-simplify]: Simplify z into z
7.642 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.642 * [backup-simplify]: Simplify (+ 1 0) into 1
7.643 * [backup-simplify]: Simplify (/ 1 1) into 1
7.643 * [taylor]: Taking taylor expansion of 1 in z
7.643 * [backup-simplify]: Simplify 1 into 1
7.643 * [backup-simplify]: Simplify 0 into 0
7.643 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
7.643 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.643 * [backup-simplify]: Simplify (- 0) into 0
7.643 * [backup-simplify]: Simplify (+ 0 0) into 0
7.644 * [backup-simplify]: Simplify (+ (* (- (/ 1 x) (/ 1 z)) 0) (+ (* 0 1) (* 0 0))) into 0
7.644 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- (/ 1 x) (/ 1 z))) (/ 0 (- (/ 1 x) (/ 1 z)))))) into 0
7.644 * [taylor]: Taking taylor expansion of 0 in x
7.644 * [backup-simplify]: Simplify 0 into 0
7.644 * [taylor]: Taking taylor expansion of 0 in z
7.644 * [backup-simplify]: Simplify 0 into 0
7.644 * [backup-simplify]: Simplify 0 into 0
7.644 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.645 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.645 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
7.645 * [backup-simplify]: Simplify (- (+ (* 1 (/ (- (/ 1 z)) 1)))) into (/ 1 z)
7.645 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.645 * [taylor]: Taking taylor expansion of z in z
7.645 * [backup-simplify]: Simplify 0 into 0
7.645 * [backup-simplify]: Simplify 1 into 1
7.645 * [backup-simplify]: Simplify (/ 1 1) into 1
7.645 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.646 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.646 * [backup-simplify]: Simplify 0 into 0
7.646 * [backup-simplify]: Simplify 0 into 0
7.646 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
7.646 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.647 * [backup-simplify]: Simplify (- 0) into 0
7.647 * [backup-simplify]: Simplify (+ 0 0) into 0
7.648 * [backup-simplify]: Simplify (+ (* (- (/ 1 x) (/ 1 z)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.648 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- (/ 1 x) (/ 1 z))) (/ 0 (- (/ 1 x) (/ 1 z)))) (* 0 (/ 0 (- (/ 1 x) (/ 1 z)))))) into 0
7.648 * [taylor]: Taking taylor expansion of 0 in x
7.648 * [backup-simplify]: Simplify 0 into 0
7.648 * [taylor]: Taking taylor expansion of 0 in z
7.648 * [backup-simplify]: Simplify 0 into 0
7.648 * [backup-simplify]: Simplify 0 into 0
7.648 * [taylor]: Taking taylor expansion of 0 in z
7.648 * [backup-simplify]: Simplify 0 into 0
7.648 * [backup-simplify]: Simplify 0 into 0
7.648 * [backup-simplify]: Simplify 0 into 0
7.648 * [backup-simplify]: Simplify (/ (/ 1 (- y)) (- (/ 1 (- x)) (/ 1 (- z)))) into (/ -1 (* y (- (/ 1 z) (/ 1 x))))
7.648 * [approximate]: Taking taylor expansion of (/ -1 (* y (- (/ 1 z) (/ 1 x)))) in (y x z) around 0
7.648 * [taylor]: Taking taylor expansion of (/ -1 (* y (- (/ 1 z) (/ 1 x)))) in z
7.648 * [taylor]: Taking taylor expansion of -1 in z
7.648 * [backup-simplify]: Simplify -1 into -1
7.648 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in z
7.648 * [taylor]: Taking taylor expansion of y in z
7.648 * [backup-simplify]: Simplify y into y
7.648 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
7.648 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.648 * [taylor]: Taking taylor expansion of z in z
7.648 * [backup-simplify]: Simplify 0 into 0
7.648 * [backup-simplify]: Simplify 1 into 1
7.649 * [backup-simplify]: Simplify (/ 1 1) into 1
7.649 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.649 * [taylor]: Taking taylor expansion of x in z
7.649 * [backup-simplify]: Simplify x into x
7.649 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.649 * [backup-simplify]: Simplify (+ 1 0) into 1
7.649 * [backup-simplify]: Simplify (* y 1) into y
7.649 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
7.649 * [taylor]: Taking taylor expansion of (/ -1 (* y (- (/ 1 z) (/ 1 x)))) in x
7.649 * [taylor]: Taking taylor expansion of -1 in x
7.649 * [backup-simplify]: Simplify -1 into -1
7.649 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x
7.649 * [taylor]: Taking taylor expansion of y in x
7.649 * [backup-simplify]: Simplify y into y
7.649 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
7.649 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.649 * [taylor]: Taking taylor expansion of z in x
7.649 * [backup-simplify]: Simplify z into z
7.649 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.649 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.649 * [taylor]: Taking taylor expansion of x in x
7.649 * [backup-simplify]: Simplify 0 into 0
7.649 * [backup-simplify]: Simplify 1 into 1
7.650 * [backup-simplify]: Simplify (/ 1 1) into 1
7.650 * [backup-simplify]: Simplify (- 1) into -1
7.650 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.650 * [backup-simplify]: Simplify (* y -1) into (* -1 y)
7.650 * [backup-simplify]: Simplify (/ -1 (* -1 y)) into (/ 1 y)
7.650 * [taylor]: Taking taylor expansion of (/ -1 (* y (- (/ 1 z) (/ 1 x)))) in y
7.650 * [taylor]: Taking taylor expansion of -1 in y
7.650 * [backup-simplify]: Simplify -1 into -1
7.650 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y
7.650 * [taylor]: Taking taylor expansion of y in y
7.650 * [backup-simplify]: Simplify 0 into 0
7.650 * [backup-simplify]: Simplify 1 into 1
7.650 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
7.650 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.650 * [taylor]: Taking taylor expansion of z in y
7.650 * [backup-simplify]: Simplify z into z
7.650 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.650 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.650 * [taylor]: Taking taylor expansion of x in y
7.651 * [backup-simplify]: Simplify x into x
7.651 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.651 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
7.651 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
7.651 * [backup-simplify]: Simplify (* 0 (- (/ 1 z) (/ 1 x))) into 0
7.651 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.651 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
7.654 * [backup-simplify]: Simplify (- 0) into 0
7.654 * [backup-simplify]: Simplify (+ 0 0) into 0
7.655 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (/ 1 z) (/ 1 x)))) into (- (/ 1 z) (/ 1 x))
7.655 * [backup-simplify]: Simplify (/ -1 (- (/ 1 z) (/ 1 x))) into (/ -1 (- (/ 1 z) (/ 1 x)))
7.655 * [taylor]: Taking taylor expansion of (/ -1 (* y (- (/ 1 z) (/ 1 x)))) in y
7.655 * [taylor]: Taking taylor expansion of -1 in y
7.655 * [backup-simplify]: Simplify -1 into -1
7.655 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y
7.655 * [taylor]: Taking taylor expansion of y in y
7.655 * [backup-simplify]: Simplify 0 into 0
7.655 * [backup-simplify]: Simplify 1 into 1
7.655 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
7.655 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.655 * [taylor]: Taking taylor expansion of z in y
7.655 * [backup-simplify]: Simplify z into z
7.655 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.655 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.655 * [taylor]: Taking taylor expansion of x in y
7.655 * [backup-simplify]: Simplify x into x
7.655 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.655 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
7.655 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
7.655 * [backup-simplify]: Simplify (* 0 (- (/ 1 z) (/ 1 x))) into 0
7.655 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.655 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
7.656 * [backup-simplify]: Simplify (- 0) into 0
7.656 * [backup-simplify]: Simplify (+ 0 0) into 0
7.656 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (/ 1 z) (/ 1 x)))) into (- (/ 1 z) (/ 1 x))
7.656 * [backup-simplify]: Simplify (/ -1 (- (/ 1 z) (/ 1 x))) into (/ -1 (- (/ 1 z) (/ 1 x)))
7.656 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 z) (/ 1 x))) in x
7.656 * [taylor]: Taking taylor expansion of -1 in x
7.656 * [backup-simplify]: Simplify -1 into -1
7.656 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
7.656 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.656 * [taylor]: Taking taylor expansion of z in x
7.656 * [backup-simplify]: Simplify z into z
7.656 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.656 * [taylor]: Taking taylor expansion of x in x
7.657 * [backup-simplify]: Simplify 0 into 0
7.657 * [backup-simplify]: Simplify 1 into 1
7.657 * [backup-simplify]: Simplify (/ 1 1) into 1
7.657 * [backup-simplify]: Simplify (- 1) into -1
7.657 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.658 * [backup-simplify]: Simplify (/ -1 -1) into 1
7.658 * [taylor]: Taking taylor expansion of 1 in z
7.658 * [backup-simplify]: Simplify 1 into 1
7.658 * [backup-simplify]: Simplify 0 into 0
7.658 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.658 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
7.658 * [backup-simplify]: Simplify (- 0) into 0
7.658 * [backup-simplify]: Simplify (+ 0 0) into 0
7.659 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (/ 1 z) (/ 1 x))))) into 0
7.659 * [backup-simplify]: Simplify (- (/ 0 (- (/ 1 z) (/ 1 x))) (+ (* (/ -1 (- (/ 1 z) (/ 1 x))) (/ 0 (- (/ 1 z) (/ 1 x)))))) into 0
7.659 * [taylor]: Taking taylor expansion of 0 in x
7.659 * [backup-simplify]: Simplify 0 into 0
7.659 * [taylor]: Taking taylor expansion of 0 in z
7.659 * [backup-simplify]: Simplify 0 into 0
7.659 * [backup-simplify]: Simplify 0 into 0
7.660 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.660 * [backup-simplify]: Simplify (- 0) into 0
7.660 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
7.660 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 1 (/ (/ 1 z) -1)))) into (/ 1 z)
7.660 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.660 * [taylor]: Taking taylor expansion of z in z
7.660 * [backup-simplify]: Simplify 0 into 0
7.660 * [backup-simplify]: Simplify 1 into 1
7.661 * [backup-simplify]: Simplify (/ 1 1) into 1
7.662 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.663 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.663 * [backup-simplify]: Simplify 0 into 0
7.663 * [backup-simplify]: Simplify 0 into 0
7.663 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.663 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
7.663 * [backup-simplify]: Simplify (- 0) into 0
7.664 * [backup-simplify]: Simplify (+ 0 0) into 0
7.665 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x)))))) into 0
7.666 * [backup-simplify]: Simplify (- (/ 0 (- (/ 1 z) (/ 1 x))) (+ (* (/ -1 (- (/ 1 z) (/ 1 x))) (/ 0 (- (/ 1 z) (/ 1 x)))) (* 0 (/ 0 (- (/ 1 z) (/ 1 x)))))) into 0
7.666 * [taylor]: Taking taylor expansion of 0 in x
7.666 * [backup-simplify]: Simplify 0 into 0
7.666 * [taylor]: Taking taylor expansion of 0 in z
7.666 * [backup-simplify]: Simplify 0 into 0
7.666 * [backup-simplify]: Simplify 0 into 0
7.666 * [taylor]: Taking taylor expansion of 0 in z
7.666 * [backup-simplify]: Simplify 0 into 0
7.666 * [backup-simplify]: Simplify 0 into 0
7.666 * [backup-simplify]: Simplify 0 into 0
7.666 * * * [progress]: simplifying candidates
7.666 * * * * [progress]: [ 1 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (log1p (expm1 (/ 1 (/ y (- x z))))) 2.0))>
7.666 * * * * [progress]: [ 2 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (expm1 (log1p (/ 1 (/ y (- x z))))) 2.0))>
7.666 * * * * [progress]: [ 3 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (pow (/ y (- x z)) -1) 2.0))>
7.666 * * * * [progress]: [ 4 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (pow (/ y (- x z)) (- 1)) 2.0))>
7.666 * * * * [progress]: [ 5 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (pow (/ 1 (/ y (- x z))) 1) 2.0))>
7.666 * * * * [progress]: [ 6 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (exp (- (- (log y) (log (- x z))))) 2.0))>
7.667 * * * * [progress]: [ 7 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (exp (- (log (/ y (- x z))))) 2.0))>
7.667 * * * * [progress]: [ 8 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (exp (- 0 (- (log y) (log (- x z))))) 2.0))>
7.667 * * * * [progress]: [ 9 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (exp (- 0 (log (/ y (- x z))))) 2.0))>
7.667 * * * * [progress]: [ 10 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (exp (- (log 1) (- (log y) (log (- x z))))) 2.0))>
7.667 * * * * [progress]: [ 11 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (exp (- (log 1) (log (/ y (- x z))))) 2.0))>
7.667 * * * * [progress]: [ 12 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (exp (log (/ 1 (/ y (- x z))))) 2.0))>
7.667 * * * * [progress]: [ 13 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (log (exp (/ 1 (/ y (- x z))))) 2.0))>
7.667 * * * * [progress]: [ 14 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (cbrt (/ (* (* 1 1) 1) (/ (* (* y y) y) (* (* (- x z) (- x z)) (- x z))))) 2.0))>
7.667 * * * * [progress]: [ 15 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (cbrt (/ (* (* 1 1) 1) (* (* (/ y (- x z)) (/ y (- x z))) (/ y (- x z))))) 2.0))>
7.667 * * * * [progress]: [ 16 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (* (cbrt (/ 1 (/ y (- x z)))) (cbrt (/ 1 (/ y (- x z))))) (cbrt (/ 1 (/ y (- x z))))) 2.0))>
7.668 * * * * [progress]: [ 17 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (cbrt (* (* (/ 1 (/ y (- x z))) (/ 1 (/ y (- x z)))) (/ 1 (/ y (- x z))))) 2.0))>
7.668 * * * * [progress]: [ 18 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (sqrt (/ 1 (/ y (- x z)))) (sqrt (/ 1 (/ y (- x z))))) 2.0))>
7.668 * * * * [progress]: [ 19 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (- 1) (- (/ y (- x z)))) 2.0))>
7.668 * * * * [progress]: [ 20 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ y (- x z))) (cbrt (/ y (- x z))))) (/ (cbrt 1) (cbrt (/ y (- x z))))) 2.0))>
7.668 * * * * [progress]: [ 21 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ y (- x z)))) (/ (cbrt 1) (sqrt (/ y (- x z))))) 2.0))>
7.668 * * * * [progress]: [ 22 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (- x z)) (cbrt (- x z))))) (/ (cbrt 1) (/ (cbrt y) (cbrt (- x z))))) 2.0))>
7.668 * * * * [progress]: [ 23 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (sqrt (- x z)))) (/ (cbrt 1) (/ (cbrt y) (sqrt (- x z))))) 2.0))>
7.668 * * * * [progress]: [ 24 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) 1)) (/ (cbrt 1) (/ (cbrt y) (- x z)))) 2.0))>
7.668 * * * * [progress]: [ 25 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (+ (sqrt x) (sqrt z)))) (/ (cbrt 1) (/ (cbrt y) (- (sqrt x) (sqrt z))))) 2.0))>
7.668 * * * * [progress]: [ 26 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) 1)) (/ (cbrt 1) (/ (cbrt y) (- x z)))) 2.0))>
7.668 * * * * [progress]: [ 27 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (* (cbrt (- x z)) (cbrt (- x z))))) (/ (cbrt 1) (/ (sqrt y) (cbrt (- x z))))) 2.0))>
7.668 * * * * [progress]: [ 28 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (sqrt (- x z)))) (/ (cbrt 1) (/ (sqrt y) (sqrt (- x z))))) 2.0))>
7.668 * * * * [progress]: [ 29 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) 1)) (/ (cbrt 1) (/ (sqrt y) (- x z)))) 2.0))>
7.669 * * * * [progress]: [ 30 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (+ (sqrt x) (sqrt z)))) (/ (cbrt 1) (/ (sqrt y) (- (sqrt x) (sqrt z))))) 2.0))>
7.669 * * * * [progress]: [ 31 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) 1)) (/ (cbrt 1) (/ (sqrt y) (- x z)))) 2.0))>
7.669 * * * * [progress]: [ 32 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (- x z)) (cbrt (- x z))))) (/ (cbrt 1) (/ y (cbrt (- x z))))) 2.0))>
7.669 * * * * [progress]: [ 33 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (- x z)))) (/ (cbrt 1) (/ y (sqrt (- x z))))) 2.0))>
7.669 * * * * [progress]: [ 34 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ y (- x z)))) 2.0))>
7.669 * * * * [progress]: [ 35 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (* (cbrt 1) (cbrt 1)) (/ 1 (+ (sqrt x) (sqrt z)))) (/ (cbrt 1) (/ y (- (sqrt x) (sqrt z))))) 2.0))>
7.669 * * * * [progress]: [ 36 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ y (- x z)))) 2.0))>
7.669 * * * * [progress]: [ 37 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ y (- x z)))) 2.0))>
7.669 * * * * [progress]: [ 38 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (* (cbrt 1) (cbrt 1)) y) (/ (cbrt 1) (/ 1 (- x z)))) 2.0))>
7.669 * * * * [progress]: [ 39 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (* (cbrt 1) (cbrt 1)) (/ y (- (pow x 3) (pow z 3)))) (/ (cbrt 1) (+ (* x x) (+ (* z z) (* x z))))) 2.0))>
7.669 * * * * [progress]: [ 40 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (* (cbrt 1) (cbrt 1)) (/ y (- (* x x) (* z z)))) (/ (cbrt 1) (+ x z))) 2.0))>
7.669 * * * * [progress]: [ 41 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (sqrt 1) (* (cbrt (/ y (- x z))) (cbrt (/ y (- x z))))) (/ (sqrt 1) (cbrt (/ y (- x z))))) 2.0))>
7.669 * * * * [progress]: [ 42 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (sqrt 1) (sqrt (/ y (- x z)))) (/ (sqrt 1) (sqrt (/ y (- x z))))) 2.0))>
7.670 * * * * [progress]: [ 43 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (* (cbrt (- x z)) (cbrt (- x z))))) (/ (sqrt 1) (/ (cbrt y) (cbrt (- x z))))) 2.0))>
7.670 * * * * [progress]: [ 44 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (sqrt (- x z)))) (/ (sqrt 1) (/ (cbrt y) (sqrt (- x z))))) 2.0))>
7.670 * * * * [progress]: [ 45 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) 1)) (/ (sqrt 1) (/ (cbrt y) (- x z)))) 2.0))>
7.670 * * * * [progress]: [ 46 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (+ (sqrt x) (sqrt z)))) (/ (sqrt 1) (/ (cbrt y) (- (sqrt x) (sqrt z))))) 2.0))>
7.670 * * * * [progress]: [ 47 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) 1)) (/ (sqrt 1) (/ (cbrt y) (- x z)))) 2.0))>
7.670 * * * * [progress]: [ 48 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (sqrt 1) (/ (sqrt y) (* (cbrt (- x z)) (cbrt (- x z))))) (/ (sqrt 1) (/ (sqrt y) (cbrt (- x z))))) 2.0))>
7.670 * * * * [progress]: [ 49 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (sqrt 1) (/ (sqrt y) (sqrt (- x z)))) (/ (sqrt 1) (/ (sqrt y) (sqrt (- x z))))) 2.0))>
7.670 * * * * [progress]: [ 50 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (sqrt 1) (/ (sqrt y) 1)) (/ (sqrt 1) (/ (sqrt y) (- x z)))) 2.0))>
7.670 * * * * [progress]: [ 51 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (sqrt 1) (/ (sqrt y) (+ (sqrt x) (sqrt z)))) (/ (sqrt 1) (/ (sqrt y) (- (sqrt x) (sqrt z))))) 2.0))>
7.670 * * * * [progress]: [ 52 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (sqrt 1) (/ (sqrt y) 1)) (/ (sqrt 1) (/ (sqrt y) (- x z)))) 2.0))>
7.670 * * * * [progress]: [ 53 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (sqrt 1) (/ 1 (* (cbrt (- x z)) (cbrt (- x z))))) (/ (sqrt 1) (/ y (cbrt (- x z))))) 2.0))>
7.670 * * * * [progress]: [ 54 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (sqrt 1) (/ 1 (sqrt (- x z)))) (/ (sqrt 1) (/ y (sqrt (- x z))))) 2.0))>
7.670 * * * * [progress]: [ 55 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ y (- x z)))) 2.0))>
7.670 * * * * [progress]: [ 56 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (sqrt 1) (/ 1 (+ (sqrt x) (sqrt z)))) (/ (sqrt 1) (/ y (- (sqrt x) (sqrt z))))) 2.0))>
7.671 * * * * [progress]: [ 57 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ y (- x z)))) 2.0))>
7.671 * * * * [progress]: [ 58 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (sqrt 1) 1) (/ (sqrt 1) (/ y (- x z)))) 2.0))>
7.671 * * * * [progress]: [ 59 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (sqrt 1) y) (/ (sqrt 1) (/ 1 (- x z)))) 2.0))>
7.671 * * * * [progress]: [ 60 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (sqrt 1) (/ y (- (pow x 3) (pow z 3)))) (/ (sqrt 1) (+ (* x x) (+ (* z z) (* x z))))) 2.0))>
7.671 * * * * [progress]: [ 61 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ (sqrt 1) (/ y (- (* x x) (* z z)))) (/ (sqrt 1) (+ x z))) 2.0))>
7.671 * * * * [progress]: [ 62 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ 1 (* (cbrt (/ y (- x z))) (cbrt (/ y (- x z))))) (/ 1 (cbrt (/ y (- x z))))) 2.0))>
7.671 * * * * [progress]: [ 63 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ 1 (sqrt (/ y (- x z)))) (/ 1 (sqrt (/ y (- x z))))) 2.0))>
7.671 * * * * [progress]: [ 64 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (- x z)) (cbrt (- x z))))) (/ 1 (/ (cbrt y) (cbrt (- x z))))) 2.0))>
7.671 * * * * [progress]: [ 65 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (- x z)))) (/ 1 (/ (cbrt y) (sqrt (- x z))))) 2.0))>
7.671 * * * * [progress]: [ 66 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ 1 (/ (* (cbrt y) (cbrt y)) 1)) (/ 1 (/ (cbrt y) (- x z)))) 2.0))>
7.671 * * * * [progress]: [ 67 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ 1 (/ (* (cbrt y) (cbrt y)) (+ (sqrt x) (sqrt z)))) (/ 1 (/ (cbrt y) (- (sqrt x) (sqrt z))))) 2.0))>
7.671 * * * * [progress]: [ 68 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ 1 (/ (* (cbrt y) (cbrt y)) 1)) (/ 1 (/ (cbrt y) (- x z)))) 2.0))>
7.671 * * * * [progress]: [ 69 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ 1 (/ (sqrt y) (* (cbrt (- x z)) (cbrt (- x z))))) (/ 1 (/ (sqrt y) (cbrt (- x z))))) 2.0))>
7.671 * * * * [progress]: [ 70 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ 1 (/ (sqrt y) (sqrt (- x z)))) (/ 1 (/ (sqrt y) (sqrt (- x z))))) 2.0))>
7.671 * * * * [progress]: [ 71 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ 1 (/ (sqrt y) 1)) (/ 1 (/ (sqrt y) (- x z)))) 2.0))>
7.672 * * * * [progress]: [ 72 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ 1 (/ (sqrt y) (+ (sqrt x) (sqrt z)))) (/ 1 (/ (sqrt y) (- (sqrt x) (sqrt z))))) 2.0))>
7.672 * * * * [progress]: [ 73 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ 1 (/ (sqrt y) 1)) (/ 1 (/ (sqrt y) (- x z)))) 2.0))>
7.672 * * * * [progress]: [ 74 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ 1 (/ 1 (* (cbrt (- x z)) (cbrt (- x z))))) (/ 1 (/ y (cbrt (- x z))))) 2.0))>
7.672 * * * * [progress]: [ 75 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ 1 (/ 1 (sqrt (- x z)))) (/ 1 (/ y (sqrt (- x z))))) 2.0))>
7.672 * * * * [progress]: [ 76 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ 1 (/ 1 1)) (/ 1 (/ y (- x z)))) 2.0))>
7.672 * * * * [progress]: [ 77 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ 1 (/ 1 (+ (sqrt x) (sqrt z)))) (/ 1 (/ y (- (sqrt x) (sqrt z))))) 2.0))>
7.672 * * * * [progress]: [ 78 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ 1 (/ 1 1)) (/ 1 (/ y (- x z)))) 2.0))>
7.672 * * * * [progress]: [ 79 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ 1 1) (/ 1 (/ y (- x z)))) 2.0))>
7.672 * * * * [progress]: [ 80 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ 1 y) (/ 1 (/ 1 (- x z)))) 2.0))>
7.672 * * * * [progress]: [ 81 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ 1 (/ y (- (pow x 3) (pow z 3)))) (/ 1 (+ (* x x) (+ (* z z) (* x z))))) 2.0))>
7.672 * * * * [progress]: [ 82 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ 1 (/ y (- (* x x) (* z z)))) (/ 1 (+ x z))) 2.0))>
7.672 * * * * [progress]: [ 83 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* 1 (/ 1 (/ y (- x z)))) 2.0))>
7.672 * * * * [progress]: [ 84 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* 1 (/ 1 (/ y (- x z)))) 2.0))>
7.672 * * * * [progress]: [ 85 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (/ (/ y (- x z)) 1)) 2.0))>
7.672 * * * * [progress]: [ 86 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (/ 1 (* (cbrt (/ y (- x z))) (cbrt (/ y (- x z))))) (cbrt (/ y (- x z)))) 2.0))>
7.673 * * * * [progress]: [ 87 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (/ 1 (sqrt (/ y (- x z)))) (sqrt (/ y (- x z)))) 2.0))>
7.673 * * * * [progress]: [ 88 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (- x z)) (cbrt (- x z))))) (/ (cbrt y) (cbrt (- x z)))) 2.0))>
7.673 * * * * [progress]: [ 89 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (- x z)))) (/ (cbrt y) (sqrt (- x z)))) 2.0))>
7.673 * * * * [progress]: [ 90 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (/ 1 (/ (* (cbrt y) (cbrt y)) 1)) (/ (cbrt y) (- x z))) 2.0))>
7.673 * * * * [progress]: [ 91 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (/ 1 (/ (* (cbrt y) (cbrt y)) (+ (sqrt x) (sqrt z)))) (/ (cbrt y) (- (sqrt x) (sqrt z)))) 2.0))>
7.673 * * * * [progress]: [ 92 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (/ 1 (/ (* (cbrt y) (cbrt y)) 1)) (/ (cbrt y) (- x z))) 2.0))>
7.673 * * * * [progress]: [ 93 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (/ 1 (/ (sqrt y) (* (cbrt (- x z)) (cbrt (- x z))))) (/ (sqrt y) (cbrt (- x z)))) 2.0))>
7.673 * * * * [progress]: [ 94 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (/ 1 (/ (sqrt y) (sqrt (- x z)))) (/ (sqrt y) (sqrt (- x z)))) 2.0))>
7.673 * * * * [progress]: [ 95 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (/ 1 (/ (sqrt y) 1)) (/ (sqrt y) (- x z))) 2.0))>
7.673 * * * * [progress]: [ 96 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (/ 1 (/ (sqrt y) (+ (sqrt x) (sqrt z)))) (/ (sqrt y) (- (sqrt x) (sqrt z)))) 2.0))>
7.673 * * * * [progress]: [ 97 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (/ 1 (/ (sqrt y) 1)) (/ (sqrt y) (- x z))) 2.0))>
7.673 * * * * [progress]: [ 98 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (/ 1 (/ 1 (* (cbrt (- x z)) (cbrt (- x z))))) (/ y (cbrt (- x z)))) 2.0))>
7.673 * * * * [progress]: [ 99 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (/ 1 (/ 1 (sqrt (- x z)))) (/ y (sqrt (- x z)))) 2.0))>
7.673 * * * * [progress]: [ 100 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (/ 1 (/ 1 1)) (/ y (- x z))) 2.0))>
7.673 * * * * [progress]: [ 101 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (/ 1 (/ 1 (+ (sqrt x) (sqrt z)))) (/ y (- (sqrt x) (sqrt z)))) 2.0))>
7.674 * * * * [progress]: [ 102 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (/ 1 (/ 1 1)) (/ y (- x z))) 2.0))>
7.674 * * * * [progress]: [ 103 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (/ 1 1) (/ y (- x z))) 2.0))>
7.674 * * * * [progress]: [ 104 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (/ 1 y) (/ 1 (- x z))) 2.0))>
7.674 * * * * [progress]: [ 105 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (/ 1 (/ y (- (pow x 3) (pow z 3)))) (+ (* x x) (+ (* z z) (* x z)))) 2.0))>
7.674 * * * * [progress]: [ 106 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (/ 1 (/ y (- (* x x) (* z z)))) (+ x z)) 2.0))>
7.674 * * * * [progress]: [ 107 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (* (cbrt 1) (cbrt 1)) (/ (/ y (- x z)) (cbrt 1))) 2.0))>
7.674 * * * * [progress]: [ 108 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ (sqrt 1) (/ (/ y (- x z)) (sqrt 1))) 2.0))>
7.674 * * * * [progress]: [ 109 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (/ (/ y (- x z)) 1)) 2.0))>
7.674 * * * * [progress]: [ 110 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (* (/ 1 y) (- x z)) 2.0))>
7.674 * * * * [progress]: [ 111 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (posit16->real (real->posit16 (/ 1 (/ y (- x z))))) 2.0))>
7.674 * * * * [progress]: [ 112 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (log1p (expm1 (/ y (- x z))))) 2.0))>
7.674 * * * * [progress]: [ 113 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (expm1 (log1p (/ y (- x z))))) 2.0))>
7.674 * * * * [progress]: [ 114 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (pow (/ y (- x z)) 1)) 2.0))>
7.674 * * * * [progress]: [ 115 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (exp (- (log y) (log (- x z))))) 2.0))>
7.674 * * * * [progress]: [ 116 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (exp (log (/ y (- x z))))) 2.0))>
7.674 * * * * [progress]: [ 117 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (log (exp (/ y (- x z))))) 2.0))>
7.674 * * * * [progress]: [ 118 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (cbrt (/ (* (* y y) y) (* (* (- x z) (- x z)) (- x z))))) 2.0))>
7.675 * * * * [progress]: [ 119 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (* (* (cbrt (/ y (- x z))) (cbrt (/ y (- x z)))) (cbrt (/ y (- x z))))) 2.0))>
7.675 * * * * [progress]: [ 120 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (cbrt (* (* (/ y (- x z)) (/ y (- x z))) (/ y (- x z))))) 2.0))>
7.675 * * * * [progress]: [ 121 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (* (sqrt (/ y (- x z))) (sqrt (/ y (- x z))))) 2.0))>
7.675 * * * * [progress]: [ 122 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (/ (- y) (- (- x z)))) 2.0))>
7.675 * * * * [progress]: [ 123 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (* (/ (* (cbrt y) (cbrt y)) (* (cbrt (- x z)) (cbrt (- x z)))) (/ (cbrt y) (cbrt (- x z))))) 2.0))>
7.675 * * * * [progress]: [ 124 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (* (/ (* (cbrt y) (cbrt y)) (sqrt (- x z))) (/ (cbrt y) (sqrt (- x z))))) 2.0))>
7.675 * * * * [progress]: [ 125 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (* (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (- x z)))) 2.0))>
7.675 * * * * [progress]: [ 126 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (* (/ (* (cbrt y) (cbrt y)) (+ (sqrt x) (sqrt z))) (/ (cbrt y) (- (sqrt x) (sqrt z))))) 2.0))>
7.675 * * * * [progress]: [ 127 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (* (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (- x z)))) 2.0))>
7.675 * * * * [progress]: [ 128 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (* (/ (sqrt y) (* (cbrt (- x z)) (cbrt (- x z)))) (/ (sqrt y) (cbrt (- x z))))) 2.0))>
7.675 * * * * [progress]: [ 129 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (* (/ (sqrt y) (sqrt (- x z))) (/ (sqrt y) (sqrt (- x z))))) 2.0))>
7.675 * * * * [progress]: [ 130 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (* (/ (sqrt y) 1) (/ (sqrt y) (- x z)))) 2.0))>
7.675 * * * * [progress]: [ 131 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (* (/ (sqrt y) (+ (sqrt x) (sqrt z))) (/ (sqrt y) (- (sqrt x) (sqrt z))))) 2.0))>
7.675 * * * * [progress]: [ 132 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (* (/ (sqrt y) 1) (/ (sqrt y) (- x z)))) 2.0))>
7.675 * * * * [progress]: [ 133 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (* (/ 1 (* (cbrt (- x z)) (cbrt (- x z)))) (/ y (cbrt (- x z))))) 2.0))>
7.676 * * * * [progress]: [ 134 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (* (/ 1 (sqrt (- x z))) (/ y (sqrt (- x z))))) 2.0))>
7.676 * * * * [progress]: [ 135 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (* (/ 1 1) (/ y (- x z)))) 2.0))>
7.676 * * * * [progress]: [ 136 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (* (/ 1 (+ (sqrt x) (sqrt z))) (/ y (- (sqrt x) (sqrt z))))) 2.0))>
7.676 * * * * [progress]: [ 137 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (* (/ 1 1) (/ y (- x z)))) 2.0))>
7.676 * * * * [progress]: [ 138 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (* 1 (/ y (- x z)))) 2.0))>
7.676 * * * * [progress]: [ 139 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (* y (/ 1 (- x z)))) 2.0))>
7.676 * * * * [progress]: [ 140 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (/ 1 (/ (- x z) y))) 2.0))>
7.676 * * * * [progress]: [ 141 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (/ (/ y (* (cbrt (- x z)) (cbrt (- x z)))) (cbrt (- x z)))) 2.0))>
7.676 * * * * [progress]: [ 142 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (/ (/ y (sqrt (- x z))) (sqrt (- x z)))) 2.0))>
7.676 * * * * [progress]: [ 143 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (/ (/ y 1) (- x z))) 2.0))>
7.676 * * * * [progress]: [ 144 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (/ (/ y (+ (sqrt x) (sqrt z))) (- (sqrt x) (sqrt z)))) 2.0))>
7.676 * * * * [progress]: [ 145 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (/ (/ y 1) (- x z))) 2.0))>
7.676 * * * * [progress]: [ 146 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (/ (* (cbrt y) (cbrt y)) (/ (- x z) (cbrt y)))) 2.0))>
7.676 * * * * [progress]: [ 147 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (/ (sqrt y) (/ (- x z) (sqrt y)))) 2.0))>
7.676 * * * * [progress]: [ 148 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (/ 1 (/ (- x z) y))) 2.0))>
7.676 * * * * [progress]: [ 149 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (* (/ y (- (pow x 3) (pow z 3))) (+ (* x x) (+ (* z z) (* x z))))) 2.0))>
7.677 * * * * [progress]: [ 150 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (* (/ y (- (* x x) (* z z))) (+ x z))) 2.0))>
7.677 * * * * [progress]: [ 151 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 (posit16->real (real->posit16 (/ y (- x z))))) 2.0))>
7.677 * * * * [progress]: [ 152 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (- (/ x y) (/ z y)) 2.0))>
7.677 * * * * [progress]: [ 153 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (- (/ x y) (/ z y)) 2.0))>
7.677 * * * * [progress]: [ 154 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (- (/ x y) (/ z y)) 2.0))>
7.677 * * * * [progress]: [ 155 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 0) 2.0))>
7.677 * * * * [progress]: [ 156 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 0) 2.0))>
7.677 * * * * [progress]: [ 157 / 157 ] simplifiying candidate #<alt (λ (x y z) (fma 4.0 (/ 1 0) 2.0))>
7.680 * [simplify]: Simplifying:
  (expm1 (/ 1 (/ y (- x z))))
  (log1p (/ 1 (/ y (- x z))))
  (- 1)
  (- (- (log y) (log (- x z))))
  (- (log (/ y (- x z))))
  (- 0 (- (log y) (log (- x z))))
  (- 0 (log (/ y (- x z))))
  (- (log 1) (- (log y) (log (- x z))))
  (- (log 1) (log (/ y (- x z))))
  (log (/ 1 (/ y (- x z))))
  (exp (/ 1 (/ y (- x z))))
  (/ (* (* 1 1) 1) (/ (* (* y y) y) (* (* (- x z) (- x z)) (- x z))))
  (/ (* (* 1 1) 1) (* (* (/ y (- x z)) (/ y (- x z))) (/ y (- x z))))
  (* (cbrt (/ 1 (/ y (- x z)))) (cbrt (/ 1 (/ y (- x z)))))
  (cbrt (/ 1 (/ y (- x z))))
  (* (* (/ 1 (/ y (- x z))) (/ 1 (/ y (- x z)))) (/ 1 (/ y (- x z))))
  (sqrt (/ 1 (/ y (- x z))))
  (sqrt (/ 1 (/ y (- x z))))
  (- 1)
  (- (/ y (- x z)))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ y (- x z))) (cbrt (/ y (- x z)))))
  (/ (cbrt 1) (cbrt (/ y (- x z))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ y (- x z))))
  (/ (cbrt 1) (sqrt (/ y (- x z))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (- x z)) (cbrt (- x z)))))
  (/ (cbrt 1) (/ (cbrt y) (cbrt (- x z))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (sqrt (- x z))))
  (/ (cbrt 1) (/ (cbrt y) (sqrt (- x z))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) 1))
  (/ (cbrt 1) (/ (cbrt y) (- x z)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) (+ (sqrt x) (sqrt z))))
  (/ (cbrt 1) (/ (cbrt y) (- (sqrt x) (sqrt z))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt y) (cbrt y)) 1))
  (/ (cbrt 1) (/ (cbrt y) (- x z)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (* (cbrt (- x z)) (cbrt (- x z)))))
  (/ (cbrt 1) (/ (sqrt y) (cbrt (- x z))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (sqrt (- x z))))
  (/ (cbrt 1) (/ (sqrt y) (sqrt (- x z))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) 1))
  (/ (cbrt 1) (/ (sqrt y) (- x z)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) (+ (sqrt x) (sqrt z))))
  (/ (cbrt 1) (/ (sqrt y) (- (sqrt x) (sqrt z))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt y) 1))
  (/ (cbrt 1) (/ (sqrt y) (- x z)))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (- x z)) (cbrt (- x z)))))
  (/ (cbrt 1) (/ y (cbrt (- x z))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (- x z))))
  (/ (cbrt 1) (/ y (sqrt (- x z))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))
  (/ (cbrt 1) (/ y (- x z)))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (+ (sqrt x) (sqrt z))))
  (/ (cbrt 1) (/ y (- (sqrt x) (sqrt z))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))
  (/ (cbrt 1) (/ y (- x z)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (/ y (- x z)))
  (/ (* (cbrt 1) (cbrt 1)) y)
  (/ (cbrt 1) (/ 1 (- x z)))
  (/ (* (cbrt 1) (cbrt 1)) (/ y (- (pow x 3) (pow z 3))))
  (/ (cbrt 1) (+ (* x x) (+ (* z z) (* x z))))
  (/ (* (cbrt 1) (cbrt 1)) (/ y (- (* x x) (* z z))))
  (/ (cbrt 1) (+ x z))
  (/ (sqrt 1) (* (cbrt (/ y (- x z))) (cbrt (/ y (- x z)))))
  (/ (sqrt 1) (cbrt (/ y (- x z))))
  (/ (sqrt 1) (sqrt (/ y (- x z))))
  (/ (sqrt 1) (sqrt (/ y (- x z))))
  (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (* (cbrt (- x z)) (cbrt (- x z)))))
  (/ (sqrt 1) (/ (cbrt y) (cbrt (- x z))))
  (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (sqrt (- x z))))
  (/ (sqrt 1) (/ (cbrt y) (sqrt (- x z))))
  (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) 1))
  (/ (sqrt 1) (/ (cbrt y) (- x z)))
  (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) (+ (sqrt x) (sqrt z))))
  (/ (sqrt 1) (/ (cbrt y) (- (sqrt x) (sqrt z))))
  (/ (sqrt 1) (/ (* (cbrt y) (cbrt y)) 1))
  (/ (sqrt 1) (/ (cbrt y) (- x z)))
  (/ (sqrt 1) (/ (sqrt y) (* (cbrt (- x z)) (cbrt (- x z)))))
  (/ (sqrt 1) (/ (sqrt y) (cbrt (- x z))))
  (/ (sqrt 1) (/ (sqrt y) (sqrt (- x z))))
  (/ (sqrt 1) (/ (sqrt y) (sqrt (- x z))))
  (/ (sqrt 1) (/ (sqrt y) 1))
  (/ (sqrt 1) (/ (sqrt y) (- x z)))
  (/ (sqrt 1) (/ (sqrt y) (+ (sqrt x) (sqrt z))))
  (/ (sqrt 1) (/ (sqrt y) (- (sqrt x) (sqrt z))))
  (/ (sqrt 1) (/ (sqrt y) 1))
  (/ (sqrt 1) (/ (sqrt y) (- x z)))
  (/ (sqrt 1) (/ 1 (* (cbrt (- x z)) (cbrt (- x z)))))
  (/ (sqrt 1) (/ y (cbrt (- x z))))
  (/ (sqrt 1) (/ 1 (sqrt (- x z))))
  (/ (sqrt 1) (/ y (sqrt (- x z))))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt 1) (/ y (- x z)))
  (/ (sqrt 1) (/ 1 (+ (sqrt x) (sqrt z))))
  (/ (sqrt 1) (/ y (- (sqrt x) (sqrt z))))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt 1) (/ y (- x z)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (/ y (- x z)))
  (/ (sqrt 1) y)
  (/ (sqrt 1) (/ 1 (- x z)))
  (/ (sqrt 1) (/ y (- (pow x 3) (pow z 3))))
  (/ (sqrt 1) (+ (* x x) (+ (* z z) (* x z))))
  (/ (sqrt 1) (/ y (- (* x x) (* z z))))
  (/ (sqrt 1) (+ x z))
  (/ 1 (* (cbrt (/ y (- x z))) (cbrt (/ y (- x z)))))
  (/ 1 (cbrt (/ y (- x z))))
  (/ 1 (sqrt (/ y (- x z))))
  (/ 1 (sqrt (/ y (- x z))))
  (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (- x z)) (cbrt (- x z)))))
  (/ 1 (/ (cbrt y) (cbrt (- x z))))
  (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (- x z))))
  (/ 1 (/ (cbrt y) (sqrt (- x z))))
  (/ 1 (/ (* (cbrt y) (cbrt y)) 1))
  (/ 1 (/ (cbrt y) (- x z)))
  (/ 1 (/ (* (cbrt y) (cbrt y)) (+ (sqrt x) (sqrt z))))
  (/ 1 (/ (cbrt y) (- (sqrt x) (sqrt z))))
  (/ 1 (/ (* (cbrt y) (cbrt y)) 1))
  (/ 1 (/ (cbrt y) (- x z)))
  (/ 1 (/ (sqrt y) (* (cbrt (- x z)) (cbrt (- x z)))))
  (/ 1 (/ (sqrt y) (cbrt (- x z))))
  (/ 1 (/ (sqrt y) (sqrt (- x z))))
  (/ 1 (/ (sqrt y) (sqrt (- x z))))
  (/ 1 (/ (sqrt y) 1))
  (/ 1 (/ (sqrt y) (- x z)))
  (/ 1 (/ (sqrt y) (+ (sqrt x) (sqrt z))))
  (/ 1 (/ (sqrt y) (- (sqrt x) (sqrt z))))
  (/ 1 (/ (sqrt y) 1))
  (/ 1 (/ (sqrt y) (- x z)))
  (/ 1 (/ 1 (* (cbrt (- x z)) (cbrt (- x z)))))
  (/ 1 (/ y (cbrt (- x z))))
  (/ 1 (/ 1 (sqrt (- x z))))
  (/ 1 (/ y (sqrt (- x z))))
  (/ 1 (/ 1 1))
  (/ 1 (/ y (- x z)))
  (/ 1 (/ 1 (+ (sqrt x) (sqrt z))))
  (/ 1 (/ y (- (sqrt x) (sqrt z))))
  (/ 1 (/ 1 1))
  (/ 1 (/ y (- x z)))
  (/ 1 1)
  (/ 1 (/ y (- x z)))
  (/ 1 y)
  (/ 1 (/ 1 (- x z)))
  (/ 1 (/ y (- (pow x 3) (pow z 3))))
  (/ 1 (+ (* x x) (+ (* z z) (* x z))))
  (/ 1 (/ y (- (* x x) (* z z))))
  (/ 1 (+ x z))
  (/ 1 (/ y (- x z)))
  (/ (/ y (- x z)) 1)
  (/ 1 (* (cbrt (/ y (- x z))) (cbrt (/ y (- x z)))))
  (/ 1 (sqrt (/ y (- x z))))
  (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (- x z)) (cbrt (- x z)))))
  (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (- x z))))
  (/ 1 (/ (* (cbrt y) (cbrt y)) 1))
  (/ 1 (/ (* (cbrt y) (cbrt y)) (+ (sqrt x) (sqrt z))))
  (/ 1 (/ (* (cbrt y) (cbrt y)) 1))
  (/ 1 (/ (sqrt y) (* (cbrt (- x z)) (cbrt (- x z)))))
  (/ 1 (/ (sqrt y) (sqrt (- x z))))
  (/ 1 (/ (sqrt y) 1))
  (/ 1 (/ (sqrt y) (+ (sqrt x) (sqrt z))))
  (/ 1 (/ (sqrt y) 1))
  (/ 1 (/ 1 (* (cbrt (- x z)) (cbrt (- x z)))))
  (/ 1 (/ 1 (sqrt (- x z))))
  (/ 1 (/ 1 1))
  (/ 1 (/ 1 (+ (sqrt x) (sqrt z))))
  (/ 1 (/ 1 1))
  (/ 1 1)
  (/ 1 y)
  (/ 1 (/ y (- (pow x 3) (pow z 3))))
  (/ 1 (/ y (- (* x x) (* z z))))
  (/ (/ y (- x z)) (cbrt 1))
  (/ (/ y (- x z)) (sqrt 1))
  (/ (/ y (- x z)) 1)
  (/ 1 y)
  (real->posit16 (/ 1 (/ y (- x z))))
  (expm1 (/ y (- x z)))
  (log1p (/ y (- x z)))
  (- (log y) (log (- x z)))
  (log (/ y (- x z)))
  (exp (/ y (- x z)))
  (/ (* (* y y) y) (* (* (- x z) (- x z)) (- x z)))
  (* (cbrt (/ y (- x z))) (cbrt (/ y (- x z))))
  (cbrt (/ y (- x z)))
  (* (* (/ y (- x z)) (/ y (- x z))) (/ y (- x z)))
  (sqrt (/ y (- x z)))
  (sqrt (/ y (- x z)))
  (- y)
  (- (- x z))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt (- x z)) (cbrt (- x z))))
  (/ (cbrt y) (cbrt (- x z)))
  (/ (* (cbrt y) (cbrt y)) (sqrt (- x z)))
  (/ (cbrt y) (sqrt (- x z)))
  (/ (* (cbrt y) (cbrt y)) 1)
  (/ (cbrt y) (- x z))
  (/ (* (cbrt y) (cbrt y)) (+ (sqrt x) (sqrt z)))
  (/ (cbrt y) (- (sqrt x) (sqrt z)))
  (/ (* (cbrt y) (cbrt y)) 1)
  (/ (cbrt y) (- x z))
  (/ (sqrt y) (* (cbrt (- x z)) (cbrt (- x z))))
  (/ (sqrt y) (cbrt (- x z)))
  (/ (sqrt y) (sqrt (- x z)))
  (/ (sqrt y) (sqrt (- x z)))
  (/ (sqrt y) 1)
  (/ (sqrt y) (- x z))
  (/ (sqrt y) (+ (sqrt x) (sqrt z)))
  (/ (sqrt y) (- (sqrt x) (sqrt z)))
  (/ (sqrt y) 1)
  (/ (sqrt y) (- x z))
  (/ 1 (* (cbrt (- x z)) (cbrt (- x z))))
  (/ y (cbrt (- x z)))
  (/ 1 (sqrt (- x z)))
  (/ y (sqrt (- x z)))
  (/ 1 1)
  (/ y (- x z))
  (/ 1 (+ (sqrt x) (sqrt z)))
  (/ y (- (sqrt x) (sqrt z)))
  (/ 1 1)
  (/ y (- x z))
  (/ 1 (- x z))
  (/ (- x z) y)
  (/ y (* (cbrt (- x z)) (cbrt (- x z))))
  (/ y (sqrt (- x z)))
  (/ y 1)
  (/ y (+ (sqrt x) (sqrt z)))
  (/ y 1)
  (/ (- x z) (cbrt y))
  (/ (- x z) (sqrt y))
  (/ (- x z) y)
  (/ y (- (pow x 3) (pow z 3)))
  (/ y (- (* x x) (* z z)))
  (real->posit16 (/ y (- x z)))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
  0
  0
  0
7.683 * * [simplify]: iteration 0: 211 enodes
7.772 * * [simplify]: iteration 1: 508 enodes
7.894 * * [simplify]: iteration 2: 1287 enodes
8.637 * * [simplify]: iteration 3: 3880 enodes
9.591 * * [simplify]: iteration complete: 5056 enodes
9.591 * * [simplify]: Extracting #0: cost 86 inf + 0
9.593 * * [simplify]: Extracting #1: cost 686 inf + 4
9.600 * * [simplify]: Extracting #2: cost 1136 inf + 16689
9.651 * * [simplify]: Extracting #3: cost 428 inf + 123400
9.728 * * [simplify]: Extracting #4: cost 65 inf + 188795
9.817 * * [simplify]: Extracting #5: cost 8 inf + 199704
9.873 * * [simplify]: Extracting #6: cost 0 inf + 201811
9.922 * [simplify]: Simplified to:
  (expm1 (/ (- x z) y))
  (log1p (/ (- x z) y))
  -1
  (log (/ (- x z) y))
  (log (/ (- x z) y))
  (log (/ (- x z) y))
  (log (/ (- x z) y))
  (log (/ (- x z) y))
  (log (/ (- x z) y))
  (log (/ (- x z) y))
  (exp (/ (- x z) y))
  (* (/ (- x z) y) (* (/ (- x z) y) (/ (- x z) y)))
  (* (/ (- x z) y) (* (/ (- x z) y) (/ (- x z) y)))
  (* (cbrt (/ (- x z) y)) (cbrt (/ (- x z) y)))
  (cbrt (/ (- x z) y))
  (* (/ (- x z) y) (* (/ (- x z) y) (/ (- x z) y)))
  (sqrt (/ (- x z) y))
  (sqrt (/ (- x z) y))
  -1
  (/ (- y) (- x z))
  (/ (/ 1 (cbrt (/ y (- x z)))) (cbrt (/ y (- x z))))
  (/ 1 (cbrt (/ y (- x z))))
  (/ 1 (sqrt (/ y (- x z))))
  (/ 1 (sqrt (/ y (- x z))))
  (/ (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (- x z)) (cbrt y))
  (/ (sqrt (- x z)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (- x z)) (cbrt y))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (- x z) (cbrt y))
  (/ (+ (sqrt x) (sqrt z)) (* (cbrt y) (cbrt y)))
  (/ (- (sqrt x) (sqrt z)) (cbrt y))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (- x z) (cbrt y))
  (/ (* (cbrt (- x z)) (cbrt (- x z))) (sqrt y))
  (/ (cbrt (- x z)) (sqrt y))
  (/ (sqrt (- x z)) (sqrt y))
  (/ (sqrt (- x z)) (sqrt y))
  (/ 1 (sqrt y))
  (/ (- x z) (sqrt y))
  (/ (+ (sqrt x) (sqrt z)) (sqrt y))
  (/ (- (sqrt x) (sqrt z)) (sqrt y))
  (/ 1 (sqrt y))
  (/ (- x z) (sqrt y))
  (* (cbrt (- x z)) (cbrt (- x z)))
  (/ (cbrt (- x z)) y)
  (sqrt (- x z))
  (/ (sqrt (- x z)) y)
  1
  (/ (- x z) y)
  (+ (sqrt x) (sqrt z))
  (/ (- (sqrt x) (sqrt z)) y)
  1
  (/ (- x z) y)
  1
  (/ (- x z) y)
  (/ 1 y)
  (- x z)
  (/ (- (* (* x x) x) (* z (* z z))) y)
  (/ 1 (fma z z (* x (+ x z))))
  (/ (* (+ x z) (- x z)) y)
  (/ 1 (+ z x))
  (/ (/ 1 (cbrt (/ y (- x z)))) (cbrt (/ y (- x z))))
  (/ 1 (cbrt (/ y (- x z))))
  (/ 1 (sqrt (/ y (- x z))))
  (/ 1 (sqrt (/ y (- x z))))
  (/ (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (- x z)) (cbrt y))
  (/ (sqrt (- x z)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (- x z)) (cbrt y))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (- x z) (cbrt y))
  (/ (+ (sqrt x) (sqrt z)) (* (cbrt y) (cbrt y)))
  (/ (- (sqrt x) (sqrt z)) (cbrt y))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (- x z) (cbrt y))
  (/ (* (cbrt (- x z)) (cbrt (- x z))) (sqrt y))
  (/ (cbrt (- x z)) (sqrt y))
  (/ (sqrt (- x z)) (sqrt y))
  (/ (sqrt (- x z)) (sqrt y))
  (/ 1 (sqrt y))
  (/ (- x z) (sqrt y))
  (/ (+ (sqrt x) (sqrt z)) (sqrt y))
  (/ (- (sqrt x) (sqrt z)) (sqrt y))
  (/ 1 (sqrt y))
  (/ (- x z) (sqrt y))
  (* (cbrt (- x z)) (cbrt (- x z)))
  (/ (cbrt (- x z)) y)
  (sqrt (- x z))
  (/ (sqrt (- x z)) y)
  1
  (/ (- x z) y)
  (+ (sqrt x) (sqrt z))
  (/ (- (sqrt x) (sqrt z)) y)
  1
  (/ (- x z) y)
  1
  (/ (- x z) y)
  (/ 1 y)
  (- x z)
  (/ (- (* (* x x) x) (* z (* z z))) y)
  (/ 1 (fma z z (* x (+ x z))))
  (/ (* (+ x z) (- x z)) y)
  (/ 1 (+ z x))
  (/ (/ 1 (cbrt (/ y (- x z)))) (cbrt (/ y (- x z))))
  (/ 1 (cbrt (/ y (- x z))))
  (/ 1 (sqrt (/ y (- x z))))
  (/ 1 (sqrt (/ y (- x z))))
  (/ (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (- x z)) (cbrt y))
  (/ (sqrt (- x z)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (- x z)) (cbrt y))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (- x z) (cbrt y))
  (/ (+ (sqrt x) (sqrt z)) (* (cbrt y) (cbrt y)))
  (/ (- (sqrt x) (sqrt z)) (cbrt y))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (- x z) (cbrt y))
  (/ (* (cbrt (- x z)) (cbrt (- x z))) (sqrt y))
  (/ (cbrt (- x z)) (sqrt y))
  (/ (sqrt (- x z)) (sqrt y))
  (/ (sqrt (- x z)) (sqrt y))
  (/ 1 (sqrt y))
  (/ (- x z) (sqrt y))
  (/ (+ (sqrt x) (sqrt z)) (sqrt y))
  (/ (- (sqrt x) (sqrt z)) (sqrt y))
  (/ 1 (sqrt y))
  (/ (- x z) (sqrt y))
  (* (cbrt (- x z)) (cbrt (- x z)))
  (/ (cbrt (- x z)) y)
  (sqrt (- x z))
  (/ (sqrt (- x z)) y)
  1
  (/ (- x z) y)
  (+ (sqrt x) (sqrt z))
  (/ (- (sqrt x) (sqrt z)) y)
  1
  (/ (- x z) y)
  1
  (/ (- x z) y)
  (/ 1 y)
  (- x z)
  (/ (- (* (* x x) x) (* z (* z z))) y)
  (/ 1 (fma z z (* x (+ x z))))
  (/ (* (+ x z) (- x z)) y)
  (/ 1 (+ z x))
  (/ (- x z) y)
  (/ y (- x z))
  (/ (/ 1 (cbrt (/ y (- x z)))) (cbrt (/ y (- x z))))
  (/ 1 (sqrt (/ y (- x z))))
  (/ (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt y) (cbrt y)))
  (/ (sqrt (- x z)) (* (cbrt y) (cbrt y)))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (+ (sqrt x) (sqrt z)) (* (cbrt y) (cbrt y)))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (* (cbrt (- x z)) (cbrt (- x z))) (sqrt y))
  (/ (sqrt (- x z)) (sqrt y))
  (/ 1 (sqrt y))
  (/ (+ (sqrt x) (sqrt z)) (sqrt y))
  (/ 1 (sqrt y))
  (* (cbrt (- x z)) (cbrt (- x z)))
  (sqrt (- x z))
  1
  (+ (sqrt x) (sqrt z))
  1
  1
  (/ 1 y)
  (/ (- (* (* x x) x) (* z (* z z))) y)
  (/ (* (+ x z) (- x z)) y)
  (/ y (- x z))
  (/ y (- x z))
  (/ y (- x z))
  (/ 1 y)
  (real->posit16 (/ (- x z) y))
  (expm1 (/ y (- x z)))
  (log1p (/ y (- x z)))
  (log (/ y (- x z)))
  (log (/ y (- x z)))
  (exp (/ y (- x z)))
  (* (* (/ y (- x z)) (/ y (- x z))) (/ y (- x z)))
  (* (cbrt (/ y (- x z))) (cbrt (/ y (- x z))))
  (cbrt (/ y (- x z)))
  (* (* (/ y (- x z)) (/ y (- x z))) (/ y (- x z)))
  (sqrt (/ y (- x z)))
  (sqrt (/ y (- x z)))
  (- y)
  (- (- x z))
  (* (/ (cbrt y) (cbrt (- x z))) (/ (cbrt y) (cbrt (- x z))))
  (/ (cbrt y) (cbrt (- x z)))
  (* (cbrt y) (/ (cbrt y) (sqrt (- x z))))
  (/ (cbrt y) (sqrt (- x z)))
  (* (cbrt y) (cbrt y))
  (/ (cbrt y) (- x z))
  (/ (* (cbrt y) (cbrt y)) (+ (sqrt x) (sqrt z)))
  (/ (cbrt y) (- (sqrt x) (sqrt z)))
  (* (cbrt y) (cbrt y))
  (/ (cbrt y) (- x z))
  (/ (sqrt y) (* (cbrt (- x z)) (cbrt (- x z))))
  (/ (sqrt y) (cbrt (- x z)))
  (/ (sqrt y) (sqrt (- x z)))
  (/ (sqrt y) (sqrt (- x z)))
  (sqrt y)
  (/ (sqrt y) (- x z))
  (/ (sqrt y) (+ (sqrt x) (sqrt z)))
  (/ (sqrt y) (- (sqrt x) (sqrt z)))
  (sqrt y)
  (/ (sqrt y) (- x z))
  (/ 1 (* (cbrt (- x z)) (cbrt (- x z))))
  (/ y (cbrt (- x z)))
  (/ 1 (sqrt (- x z)))
  (/ y (sqrt (- x z)))
  1
  (/ y (- x z))
  (/ 1 (+ (sqrt x) (sqrt z)))
  (/ y (- (sqrt x) (sqrt z)))
  1
  (/ y (- x z))
  (/ 1 (- x z))
  (/ (- x z) y)
  (/ y (* (cbrt (- x z)) (cbrt (- x z))))
  (/ y (sqrt (- x z)))
  y
  (/ y (+ (sqrt x) (sqrt z)))
  y
  (/ (- x z) (cbrt y))
  (/ (- x z) (sqrt y))
  (/ (- x z) y)
  (/ y (- (* (* x x) x) (* z (* z z))))
  (/ y (* (+ x z) (- x z)))
  (real->posit16 (/ y (- x z)))
  (/ (- x z) y)
  (/ (- x z) y)
  (/ (- x z) y)
  0
  0
  0
9.934 * * * [progress]: adding candidates to table
10.461 * [progress]: [Phase 3 of 3] Extracting.
10.461 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (fma 4.0 (/ (- x z) y) 2.0))> #<alt (λ (x y z) (fma 4.0 (/ 1 (/ y (- x z))) 2.0))>)
10.462 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
10.462 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (fma 4.0 (/ (- x z) y) 2.0))> #<alt (λ (x y z) (fma 4.0 (/ 1 (/ y (- x z))) 2.0))>)
10.511 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (fma 4.0 (/ (- x z) y) 2.0))> #<alt (λ (x y z) (fma 4.0 (/ 1 (/ y (- x z))) 2.0))>)
10.536 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (fma 4.0 (/ (- x z) y) 2.0))> #<alt (λ (x y z) (fma 4.0 (/ 1 (/ y (- x z))) 2.0))>)
10.567 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
10.567 * [simplify]: Simplifying:
  (fma 4.0 (/ (- x z) y) 2.0)
10.567 * * [simplify]: iteration 0: 8 enodes
10.568 * * [simplify]: iteration complete: 8 enodes
10.568 * * [simplify]: Extracting #0: cost 1 inf + 0
10.568 * * [simplify]: Extracting #1: cost 4 inf + 0
10.568 * * [simplify]: Extracting #2: cost 4 inf + 2
10.568 * * [simplify]: Extracting #3: cost 5 inf + 3
10.568 * * [simplify]: Extracting #4: cost 0 inf + 270
10.568 * [simplify]: Simplified to:
  (fma 4.0 (/ (- x z) y) 2.0)
12.248 * [regime-testing]: Baseline error score: 0.008501062632829104
12.251 * [regime-testing]: Oracle error score: 0.005625703212901613
12.255 * [regime-testing]: End program error score: 0.008501062632829104