16.811 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.023 * * * [progress]: [2/2] Setting up program.
0.030 * [progress]: [Phase 2 of 3] Improving.
0.031 * [simplify]: Simplifying:
  (/ (* 4.0 (- (- x y) (* z 0.5))) z)
0.031 * * [simplify]: iteration 0: 10 enodes
0.034 * * [simplify]: iteration 1: 20 enodes
0.040 * * [simplify]: iteration 2: 47 enodes
0.059 * * [simplify]: iteration 3: 138 enodes
0.097 * * [simplify]: iteration 4: 375 enodes
0.368 * * [simplify]: iteration 5: 1379 enodes
1.174 * * [simplify]: iteration complete: 5001 enodes
1.174 * * [simplify]: Extracting #0: cost 1 inf + 0
1.175 * * [simplify]: Extracting #1: cost 254 inf + 0
1.178 * * [simplify]: Extracting #2: cost 1027 inf + 112
1.184 * * [simplify]: Extracting #3: cost 801 inf + 4350
1.195 * * [simplify]: Extracting #4: cost 36 inf + 8911
1.205 * * [simplify]: Extracting #5: cost 0 inf + 9095
1.215 * [simplify]: Simplified to:
  (* (/ 4.0 z) (- x (fma 0.5 z y)))
1.230 * * [progress]: iteration 1 / 4
1.230 * * * [progress]: picking best candidate
1.245 * * * * [pick]: Picked  #<alt (λ (x y z) (* (/ 4.0 z) (- x (fma 0.5 z y))))>
1.245 * * * [progress]: localizing error
1.264 * * * [progress]: generating rewritten candidates
1.264 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.292 * * * [progress]: generating series expansions
1.292 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.293 * [backup-simplify]: Simplify (* (/ 4.0 z) (- x (fma 0.5 z y))) into (* 4.0 (/ (- x (fma 0.5 z y)) z))
1.293 * [approximate]: Taking taylor expansion of (* 4.0 (/ (- x (fma 0.5 z y)) z)) in (z x y) around 0
1.293 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x (fma 0.5 z y)) z)) in y
1.293 * [taylor]: Taking taylor expansion of 4.0 in y
1.293 * [backup-simplify]: Simplify 4.0 into 4.0
1.293 * [taylor]: Taking taylor expansion of (/ (- x (fma 0.5 z y)) z) in y
1.293 * [taylor]: Taking taylor expansion of (- x (fma 0.5 z y)) in y
1.293 * [taylor]: Taking taylor expansion of x in y
1.293 * [backup-simplify]: Simplify x into x
1.293 * [taylor]: Taking taylor expansion of (fma 0.5 z y) in y
1.293 * [taylor]: Rewrote expression to (+ (* 0.5 z) y)
1.293 * [taylor]: Taking taylor expansion of (* 0.5 z) in y
1.293 * [taylor]: Taking taylor expansion of 0.5 in y
1.293 * [backup-simplify]: Simplify 0.5 into 0.5
1.293 * [taylor]: Taking taylor expansion of z in y
1.293 * [backup-simplify]: Simplify z into z
1.293 * [taylor]: Taking taylor expansion of y in y
1.293 * [backup-simplify]: Simplify 0 into 0
1.293 * [backup-simplify]: Simplify 1 into 1
1.293 * [taylor]: Taking taylor expansion of z in y
1.293 * [backup-simplify]: Simplify z into z
1.293 * [backup-simplify]: Simplify (* 0.5 z) into (* 0.5 z)
1.294 * [backup-simplify]: Simplify (+ (* 0.5 z) 0) into (* 0.5 z)
1.294 * [backup-simplify]: Simplify (- (* 0.5 z)) into (- (* 0.5 z))
1.294 * [backup-simplify]: Simplify (+ x (- (* 0.5 z))) into (- x (* 0.5 z))
1.294 * [backup-simplify]: Simplify (/ (- x (* 0.5 z)) z) into (/ (- x (* 0.5 z)) z)
1.294 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x (fma 0.5 z y)) z)) in x
1.294 * [taylor]: Taking taylor expansion of 4.0 in x
1.294 * [backup-simplify]: Simplify 4.0 into 4.0
1.294 * [taylor]: Taking taylor expansion of (/ (- x (fma 0.5 z y)) z) in x
1.294 * [taylor]: Taking taylor expansion of (- x (fma 0.5 z y)) in x
1.294 * [taylor]: Taking taylor expansion of x in x
1.294 * [backup-simplify]: Simplify 0 into 0
1.294 * [backup-simplify]: Simplify 1 into 1
1.294 * [taylor]: Taking taylor expansion of (fma 0.5 z y) in x
1.294 * [taylor]: Rewrote expression to (+ (* 0.5 z) y)
1.294 * [taylor]: Taking taylor expansion of (* 0.5 z) in x
1.294 * [taylor]: Taking taylor expansion of 0.5 in x
1.294 * [backup-simplify]: Simplify 0.5 into 0.5
1.294 * [taylor]: Taking taylor expansion of z in x
1.294 * [backup-simplify]: Simplify z into z
1.294 * [taylor]: Taking taylor expansion of y in x
1.294 * [backup-simplify]: Simplify y into y
1.295 * [taylor]: Taking taylor expansion of z in x
1.295 * [backup-simplify]: Simplify z into z
1.295 * [backup-simplify]: Simplify (* 0.5 z) into (* 0.5 z)
1.295 * [backup-simplify]: Simplify (+ (* 0.5 z) y) into (+ (* 0.5 z) y)
1.295 * [backup-simplify]: Simplify (- (+ (* 0.5 z) y)) into (- (+ (* 0.5 z) y))
1.295 * [backup-simplify]: Simplify (+ 0 (- (+ (* 0.5 z) y))) into (- (+ (* 0.5 z) y))
1.295 * [backup-simplify]: Simplify (/ (- (+ (* 0.5 z) y)) z) into (* -1 (/ (+ (* 0.5 z) y) z))
1.295 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x (fma 0.5 z y)) z)) in z
1.295 * [taylor]: Taking taylor expansion of 4.0 in z
1.295 * [backup-simplify]: Simplify 4.0 into 4.0
1.295 * [taylor]: Taking taylor expansion of (/ (- x (fma 0.5 z y)) z) in z
1.295 * [taylor]: Taking taylor expansion of (- x (fma 0.5 z y)) in z
1.295 * [taylor]: Taking taylor expansion of x in z
1.295 * [backup-simplify]: Simplify x into x
1.295 * [taylor]: Taking taylor expansion of (fma 0.5 z y) in z
1.296 * [taylor]: Rewrote expression to (+ (* 0.5 z) y)
1.296 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
1.296 * [taylor]: Taking taylor expansion of 0.5 in z
1.296 * [backup-simplify]: Simplify 0.5 into 0.5
1.296 * [taylor]: Taking taylor expansion of z in z
1.296 * [backup-simplify]: Simplify 0 into 0
1.296 * [backup-simplify]: Simplify 1 into 1
1.296 * [taylor]: Taking taylor expansion of y in z
1.296 * [backup-simplify]: Simplify y into y
1.296 * [taylor]: Taking taylor expansion of z in z
1.296 * [backup-simplify]: Simplify 0 into 0
1.296 * [backup-simplify]: Simplify 1 into 1
1.297 * [backup-simplify]: Simplify (* 0.5 0) into 0
1.297 * [backup-simplify]: Simplify (+ 0 y) into y
1.297 * [backup-simplify]: Simplify (- y) into (- y)
1.297 * [backup-simplify]: Simplify (+ x (- y)) into (- x y)
1.297 * [backup-simplify]: Simplify (/ (- x y) 1) into (- x y)
1.297 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x (fma 0.5 z y)) z)) in z
1.297 * [taylor]: Taking taylor expansion of 4.0 in z
1.297 * [backup-simplify]: Simplify 4.0 into 4.0
1.297 * [taylor]: Taking taylor expansion of (/ (- x (fma 0.5 z y)) z) in z
1.297 * [taylor]: Taking taylor expansion of (- x (fma 0.5 z y)) in z
1.297 * [taylor]: Taking taylor expansion of x in z
1.297 * [backup-simplify]: Simplify x into x
1.297 * [taylor]: Taking taylor expansion of (fma 0.5 z y) in z
1.297 * [taylor]: Rewrote expression to (+ (* 0.5 z) y)
1.297 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
1.297 * [taylor]: Taking taylor expansion of 0.5 in z
1.297 * [backup-simplify]: Simplify 0.5 into 0.5
1.297 * [taylor]: Taking taylor expansion of z in z
1.297 * [backup-simplify]: Simplify 0 into 0
1.297 * [backup-simplify]: Simplify 1 into 1
1.297 * [taylor]: Taking taylor expansion of y in z
1.297 * [backup-simplify]: Simplify y into y
1.297 * [taylor]: Taking taylor expansion of z in z
1.297 * [backup-simplify]: Simplify 0 into 0
1.297 * [backup-simplify]: Simplify 1 into 1
1.298 * [backup-simplify]: Simplify (* 0.5 0) into 0
1.298 * [backup-simplify]: Simplify (+ 0 y) into y
1.298 * [backup-simplify]: Simplify (- y) into (- y)
1.298 * [backup-simplify]: Simplify (+ x (- y)) into (- x y)
1.298 * [backup-simplify]: Simplify (/ (- x y) 1) into (- x y)
1.298 * [backup-simplify]: Simplify (* 4.0 (- x y)) into (* 4.0 (- x y))
1.298 * [taylor]: Taking taylor expansion of (* 4.0 (- x y)) in x
1.298 * [taylor]: Taking taylor expansion of 4.0 in x
1.299 * [backup-simplify]: Simplify 4.0 into 4.0
1.299 * [taylor]: Taking taylor expansion of (- x y) in x
1.299 * [taylor]: Taking taylor expansion of x in x
1.299 * [backup-simplify]: Simplify 0 into 0
1.299 * [backup-simplify]: Simplify 1 into 1
1.299 * [taylor]: Taking taylor expansion of y in x
1.299 * [backup-simplify]: Simplify y into y
1.299 * [backup-simplify]: Simplify (- y) into (- y)
1.299 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
1.299 * [backup-simplify]: Simplify (* 4.0 (- y)) into (* -4.0 y)
1.299 * [taylor]: Taking taylor expansion of (* -4.0 y) in y
1.299 * [taylor]: Taking taylor expansion of -4.0 in y
1.299 * [backup-simplify]: Simplify -4.0 into -4.0
1.299 * [taylor]: Taking taylor expansion of y in y
1.299 * [backup-simplify]: Simplify 0 into 0
1.299 * [backup-simplify]: Simplify 1 into 1
1.300 * [backup-simplify]: Simplify (* -4.0 0) into 0
1.300 * [backup-simplify]: Simplify 0 into 0
1.301 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
1.302 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5
1.302 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
1.303 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5)
1.304 * [backup-simplify]: Simplify (- (/ (- 0.5) 1) (+ (* (- x y) (/ 0 1)))) into (- 0.5)
1.305 * [backup-simplify]: Simplify (+ (* 4.0 (- 0.5)) (* 0 (- x y))) into (- 2.0)
1.305 * [taylor]: Taking taylor expansion of (- 2.0) in x
1.306 * [taylor]: Taking taylor expansion of 2.0 in x
1.306 * [backup-simplify]: Simplify 2.0 into 2.0
1.306 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.306 * [taylor]: Taking taylor expansion of (- 2.0) in y
1.306 * [taylor]: Taking taylor expansion of 2.0 in y
1.306 * [backup-simplify]: Simplify 2.0 into 2.0
1.307 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.307 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.307 * [backup-simplify]: Simplify (- 0) into 0
1.308 * [backup-simplify]: Simplify (+ 1 0) into 1
1.308 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 (- y))) into 4.0
1.308 * [taylor]: Taking taylor expansion of 4.0 in y
1.308 * [backup-simplify]: Simplify 4.0 into 4.0
1.308 * [backup-simplify]: Simplify 4.0 into 4.0
1.310 * [backup-simplify]: Simplify (+ (* -4.0 1) (* 0 0)) into (- 4.0)
1.311 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
1.312 * [backup-simplify]: Simplify (+ (* (- 4.0) (* y (* 1 (/ 1 z)))) (+ (* 4.0 (* 1 (* x (/ 1 z)))) (- 2.0))) into (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
1.312 * [backup-simplify]: Simplify (* (/ 4.0 (/ 1 z)) (- (/ 1 x) (fma 0.5 (/ 1 z) (/ 1 y)))) into (* 4.0 (* z (- (/ 1 x) (fma 0.5 (/ 1 z) (/ 1 y)))))
1.312 * [approximate]: Taking taylor expansion of (* 4.0 (* z (- (/ 1 x) (fma 0.5 (/ 1 z) (/ 1 y))))) in (z x y) around 0
1.312 * [taylor]: Taking taylor expansion of (* 4.0 (* z (- (/ 1 x) (fma 0.5 (/ 1 z) (/ 1 y))))) in y
1.313 * [taylor]: Taking taylor expansion of 4.0 in y
1.313 * [backup-simplify]: Simplify 4.0 into 4.0
1.313 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (fma 0.5 (/ 1 z) (/ 1 y)))) in y
1.313 * [taylor]: Taking taylor expansion of z in y
1.313 * [backup-simplify]: Simplify z into z
1.313 * [taylor]: Taking taylor expansion of (- (/ 1 x) (fma 0.5 (/ 1 z) (/ 1 y))) in y
1.313 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.313 * [taylor]: Taking taylor expansion of x in y
1.313 * [backup-simplify]: Simplify x into x
1.313 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.313 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 z) (/ 1 y)) in y
1.313 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 z)) (/ 1 y))
1.313 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in y
1.313 * [taylor]: Taking taylor expansion of 0.5 in y
1.313 * [backup-simplify]: Simplify 0.5 into 0.5
1.313 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.313 * [taylor]: Taking taylor expansion of z in y
1.313 * [backup-simplify]: Simplify z into z
1.313 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.313 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.313 * [taylor]: Taking taylor expansion of y in y
1.313 * [backup-simplify]: Simplify 0 into 0
1.313 * [backup-simplify]: Simplify 1 into 1
1.314 * [backup-simplify]: Simplify (/ 1 1) into 1
1.314 * [taylor]: Taking taylor expansion of (* 4.0 (* z (- (/ 1 x) (fma 0.5 (/ 1 z) (/ 1 y))))) in x
1.314 * [taylor]: Taking taylor expansion of 4.0 in x
1.314 * [backup-simplify]: Simplify 4.0 into 4.0
1.314 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (fma 0.5 (/ 1 z) (/ 1 y)))) in x
1.314 * [taylor]: Taking taylor expansion of z in x
1.314 * [backup-simplify]: Simplify z into z
1.314 * [taylor]: Taking taylor expansion of (- (/ 1 x) (fma 0.5 (/ 1 z) (/ 1 y))) in x
1.314 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.314 * [taylor]: Taking taylor expansion of x in x
1.314 * [backup-simplify]: Simplify 0 into 0
1.314 * [backup-simplify]: Simplify 1 into 1
1.315 * [backup-simplify]: Simplify (/ 1 1) into 1
1.315 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 z) (/ 1 y)) in x
1.315 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 z)) (/ 1 y))
1.315 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
1.315 * [taylor]: Taking taylor expansion of 0.5 in x
1.315 * [backup-simplify]: Simplify 0.5 into 0.5
1.315 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.315 * [taylor]: Taking taylor expansion of z in x
1.315 * [backup-simplify]: Simplify z into z
1.315 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.315 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.315 * [taylor]: Taking taylor expansion of y in x
1.315 * [backup-simplify]: Simplify y into y
1.315 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.315 * [taylor]: Taking taylor expansion of (* 4.0 (* z (- (/ 1 x) (fma 0.5 (/ 1 z) (/ 1 y))))) in z
1.315 * [taylor]: Taking taylor expansion of 4.0 in z
1.315 * [backup-simplify]: Simplify 4.0 into 4.0
1.315 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (fma 0.5 (/ 1 z) (/ 1 y)))) in z
1.315 * [taylor]: Taking taylor expansion of z in z
1.315 * [backup-simplify]: Simplify 0 into 0
1.315 * [backup-simplify]: Simplify 1 into 1
1.315 * [taylor]: Taking taylor expansion of (- (/ 1 x) (fma 0.5 (/ 1 z) (/ 1 y))) in z
1.315 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.315 * [taylor]: Taking taylor expansion of x in z
1.315 * [backup-simplify]: Simplify x into x
1.315 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.316 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 z) (/ 1 y)) in z
1.316 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 z)) (/ 1 y))
1.316 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
1.316 * [taylor]: Taking taylor expansion of 0.5 in z
1.316 * [backup-simplify]: Simplify 0.5 into 0.5
1.316 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.316 * [taylor]: Taking taylor expansion of z in z
1.316 * [backup-simplify]: Simplify 0 into 0
1.316 * [backup-simplify]: Simplify 1 into 1
1.316 * [backup-simplify]: Simplify (/ 1 1) into 1
1.316 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.316 * [taylor]: Taking taylor expansion of y in z
1.316 * [backup-simplify]: Simplify y into y
1.316 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.316 * [taylor]: Taking taylor expansion of (* 4.0 (* z (- (/ 1 x) (fma 0.5 (/ 1 z) (/ 1 y))))) in z
1.317 * [taylor]: Taking taylor expansion of 4.0 in z
1.317 * [backup-simplify]: Simplify 4.0 into 4.0
1.317 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (fma 0.5 (/ 1 z) (/ 1 y)))) in z
1.317 * [taylor]: Taking taylor expansion of z in z
1.317 * [backup-simplify]: Simplify 0 into 0
1.317 * [backup-simplify]: Simplify 1 into 1
1.317 * [taylor]: Taking taylor expansion of (- (/ 1 x) (fma 0.5 (/ 1 z) (/ 1 y))) in z
1.317 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.317 * [taylor]: Taking taylor expansion of x in z
1.317 * [backup-simplify]: Simplify x into x
1.317 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.317 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 z) (/ 1 y)) in z
1.317 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 z)) (/ 1 y))
1.317 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
1.317 * [taylor]: Taking taylor expansion of 0.5 in z
1.317 * [backup-simplify]: Simplify 0.5 into 0.5
1.317 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.317 * [taylor]: Taking taylor expansion of z in z
1.317 * [backup-simplify]: Simplify 0 into 0
1.317 * [backup-simplify]: Simplify 1 into 1
1.318 * [backup-simplify]: Simplify (/ 1 1) into 1
1.318 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.318 * [taylor]: Taking taylor expansion of y in z
1.318 * [backup-simplify]: Simplify y into y
1.318 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.318 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
1.319 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5
1.319 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
1.320 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5)
1.321 * [backup-simplify]: Simplify (* 0 (- 0.5)) into 0
1.321 * [backup-simplify]: Simplify (* 4.0 0) into 0
1.321 * [taylor]: Taking taylor expansion of 0 in x
1.321 * [backup-simplify]: Simplify 0 into 0
1.322 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.323 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
1.323 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
1.323 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
1.323 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 y))) into (- (/ 1 x) (/ 1 y))
1.324 * [backup-simplify]: Simplify (+ (* 0 (- (/ 1 x) (/ 1 y))) (* 1 (- 0.5))) into (- 0.5)
1.326 * [backup-simplify]: Simplify (+ (* 4.0 (- 0.5)) (* 0 0)) into (- 2.0)
1.326 * [taylor]: Taking taylor expansion of (- 2.0) in x
1.326 * [taylor]: Taking taylor expansion of 2.0 in x
1.326 * [backup-simplify]: Simplify 2.0 into 2.0
1.327 * [taylor]: Taking taylor expansion of 0 in y
1.327 * [backup-simplify]: Simplify 0 into 0
1.327 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.328 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.329 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
1.329 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.329 * [backup-simplify]: Simplify (+ 0 0) into 0
1.330 * [backup-simplify]: Simplify (- 0) into 0
1.330 * [backup-simplify]: Simplify (+ 0 0) into 0
1.336 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (- (/ 1 x) (/ 1 y))) (* 0 (- 0.5)))) into (- (/ 1 x) (/ 1 y))
1.337 * [backup-simplify]: Simplify (+ (* 4.0 (- (/ 1 x) (/ 1 y))) (+ (* 0 (- 0.5)) (* 0 0))) into (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 y)))
1.338 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 y))) in x
1.338 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
1.338 * [taylor]: Taking taylor expansion of 4.0 in x
1.338 * [backup-simplify]: Simplify 4.0 into 4.0
1.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.338 * [taylor]: Taking taylor expansion of x in x
1.338 * [backup-simplify]: Simplify 0 into 0
1.338 * [backup-simplify]: Simplify 1 into 1
1.338 * [backup-simplify]: Simplify (/ 1 1) into 1
1.338 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
1.338 * [taylor]: Taking taylor expansion of 4.0 in x
1.338 * [backup-simplify]: Simplify 4.0 into 4.0
1.338 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.338 * [taylor]: Taking taylor expansion of y in x
1.338 * [backup-simplify]: Simplify y into y
1.338 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.339 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
1.339 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
1.339 * [taylor]: Taking taylor expansion of 4.0 in y
1.339 * [backup-simplify]: Simplify 4.0 into 4.0
1.340 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.340 * [taylor]: Taking taylor expansion of (- 2.0) in y
1.340 * [taylor]: Taking taylor expansion of 2.0 in y
1.340 * [backup-simplify]: Simplify 2.0 into 2.0
1.340 * [taylor]: Taking taylor expansion of 0 in y
1.340 * [backup-simplify]: Simplify 0 into 0
1.340 * [backup-simplify]: Simplify 0 into 0
1.340 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.343 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.343 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.343 * [backup-simplify]: Simplify (+ 0 0) into 0
1.344 * [backup-simplify]: Simplify (- 0) into 0
1.344 * [backup-simplify]: Simplify (+ 0 0) into 0
1.346 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 (- (/ 1 x) (/ 1 y))) (* 0 (- 0.5))))) into 0
1.347 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (- (/ 1 x) (/ 1 y))) (+ (* 0 (- 0.5)) (* 0 0)))) into 0
1.347 * [taylor]: Taking taylor expansion of 0 in x
1.347 * [backup-simplify]: Simplify 0 into 0
1.348 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.349 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
1.349 * [backup-simplify]: Simplify (* 4.0 (/ 1 y)) into (/ 4.0 y)
1.349 * [backup-simplify]: Simplify (- (/ 4.0 y)) into (- (* 4.0 (/ 1 y)))
1.349 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 y)))) into (- (* 4.0 (/ 1 y)))
1.349 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y))) in y
1.349 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
1.349 * [taylor]: Taking taylor expansion of 4.0 in y
1.349 * [backup-simplify]: Simplify 4.0 into 4.0
1.349 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.349 * [taylor]: Taking taylor expansion of y in y
1.349 * [backup-simplify]: Simplify 0 into 0
1.349 * [backup-simplify]: Simplify 1 into 1
1.350 * [backup-simplify]: Simplify (/ 1 1) into 1
1.350 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
1.351 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
1.351 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
1.351 * [backup-simplify]: Simplify (- 0) into 0
1.351 * [taylor]: Taking taylor expansion of 0 in y
1.351 * [backup-simplify]: Simplify 0 into 0
1.351 * [taylor]: Taking taylor expansion of 0 in y
1.351 * [backup-simplify]: Simplify 0 into 0
1.352 * [backup-simplify]: Simplify 4.0 into 4.0
1.352 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.352 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.354 * [backup-simplify]: Simplify (+ (- 2.0) (+ (* 4.0 (* 1 (* (/ 1 (/ 1 x)) (/ 1 z)))) (* (- 4.0) (* (/ 1 (/ 1 y)) (* 1 (/ 1 z)))))) into (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
1.354 * [backup-simplify]: Simplify (* (/ 4.0 (/ 1 (- z))) (- (/ 1 (- x)) (fma 0.5 (/ 1 (- z)) (/ 1 (- y))))) into (* 4.0 (* z (+ (fma 0.5 (/ -1 z) (/ -1 y)) (/ 1 x))))
1.354 * [approximate]: Taking taylor expansion of (* 4.0 (* z (+ (fma 0.5 (/ -1 z) (/ -1 y)) (/ 1 x)))) in (z x y) around 0
1.354 * [taylor]: Taking taylor expansion of (* 4.0 (* z (+ (fma 0.5 (/ -1 z) (/ -1 y)) (/ 1 x)))) in y
1.354 * [taylor]: Taking taylor expansion of 4.0 in y
1.354 * [backup-simplify]: Simplify 4.0 into 4.0
1.354 * [taylor]: Taking taylor expansion of (* z (+ (fma 0.5 (/ -1 z) (/ -1 y)) (/ 1 x))) in y
1.354 * [taylor]: Taking taylor expansion of z in y
1.354 * [backup-simplify]: Simplify z into z
1.354 * [taylor]: Taking taylor expansion of (+ (fma 0.5 (/ -1 z) (/ -1 y)) (/ 1 x)) in y
1.354 * [taylor]: Taking taylor expansion of (fma 0.5 (/ -1 z) (/ -1 y)) in y
1.355 * [taylor]: Rewrote expression to (+ (* 0.5 (/ -1 z)) (/ -1 y))
1.355 * [taylor]: Taking taylor expansion of (* 0.5 (/ -1 z)) in y
1.355 * [taylor]: Taking taylor expansion of 0.5 in y
1.355 * [backup-simplify]: Simplify 0.5 into 0.5
1.355 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.355 * [taylor]: Taking taylor expansion of -1 in y
1.355 * [backup-simplify]: Simplify -1 into -1
1.355 * [taylor]: Taking taylor expansion of z in y
1.355 * [backup-simplify]: Simplify z into z
1.355 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
1.355 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.355 * [taylor]: Taking taylor expansion of -1 in y
1.355 * [backup-simplify]: Simplify -1 into -1
1.355 * [taylor]: Taking taylor expansion of y in y
1.355 * [backup-simplify]: Simplify 0 into 0
1.355 * [backup-simplify]: Simplify 1 into 1
1.355 * [backup-simplify]: Simplify (/ -1 1) into -1
1.356 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.356 * [taylor]: Taking taylor expansion of x in y
1.356 * [backup-simplify]: Simplify x into x
1.356 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.356 * [taylor]: Taking taylor expansion of (* 4.0 (* z (+ (fma 0.5 (/ -1 z) (/ -1 y)) (/ 1 x)))) in x
1.356 * [taylor]: Taking taylor expansion of 4.0 in x
1.356 * [backup-simplify]: Simplify 4.0 into 4.0
1.356 * [taylor]: Taking taylor expansion of (* z (+ (fma 0.5 (/ -1 z) (/ -1 y)) (/ 1 x))) in x
1.356 * [taylor]: Taking taylor expansion of z in x
1.356 * [backup-simplify]: Simplify z into z
1.356 * [taylor]: Taking taylor expansion of (+ (fma 0.5 (/ -1 z) (/ -1 y)) (/ 1 x)) in x
1.356 * [taylor]: Taking taylor expansion of (fma 0.5 (/ -1 z) (/ -1 y)) in x
1.356 * [taylor]: Rewrote expression to (+ (* 0.5 (/ -1 z)) (/ -1 y))
1.356 * [taylor]: Taking taylor expansion of (* 0.5 (/ -1 z)) in x
1.356 * [taylor]: Taking taylor expansion of 0.5 in x
1.356 * [backup-simplify]: Simplify 0.5 into 0.5
1.356 * [taylor]: Taking taylor expansion of (/ -1 z) in x
1.356 * [taylor]: Taking taylor expansion of -1 in x
1.356 * [backup-simplify]: Simplify -1 into -1
1.356 * [taylor]: Taking taylor expansion of z in x
1.356 * [backup-simplify]: Simplify z into z
1.356 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
1.356 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.356 * [taylor]: Taking taylor expansion of -1 in x
1.356 * [backup-simplify]: Simplify -1 into -1
1.356 * [taylor]: Taking taylor expansion of y in x
1.357 * [backup-simplify]: Simplify y into y
1.357 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
1.357 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.357 * [taylor]: Taking taylor expansion of x in x
1.357 * [backup-simplify]: Simplify 0 into 0
1.357 * [backup-simplify]: Simplify 1 into 1
1.357 * [backup-simplify]: Simplify (/ 1 1) into 1
1.357 * [taylor]: Taking taylor expansion of (* 4.0 (* z (+ (fma 0.5 (/ -1 z) (/ -1 y)) (/ 1 x)))) in z
1.357 * [taylor]: Taking taylor expansion of 4.0 in z
1.357 * [backup-simplify]: Simplify 4.0 into 4.0
1.357 * [taylor]: Taking taylor expansion of (* z (+ (fma 0.5 (/ -1 z) (/ -1 y)) (/ 1 x))) in z
1.357 * [taylor]: Taking taylor expansion of z in z
1.357 * [backup-simplify]: Simplify 0 into 0
1.357 * [backup-simplify]: Simplify 1 into 1
1.357 * [taylor]: Taking taylor expansion of (+ (fma 0.5 (/ -1 z) (/ -1 y)) (/ 1 x)) in z
1.357 * [taylor]: Taking taylor expansion of (fma 0.5 (/ -1 z) (/ -1 y)) in z
1.358 * [taylor]: Rewrote expression to (+ (* 0.5 (/ -1 z)) (/ -1 y))
1.358 * [taylor]: Taking taylor expansion of (* 0.5 (/ -1 z)) in z
1.358 * [taylor]: Taking taylor expansion of 0.5 in z
1.358 * [backup-simplify]: Simplify 0.5 into 0.5
1.358 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.358 * [taylor]: Taking taylor expansion of -1 in z
1.358 * [backup-simplify]: Simplify -1 into -1
1.358 * [taylor]: Taking taylor expansion of z in z
1.358 * [backup-simplify]: Simplify 0 into 0
1.358 * [backup-simplify]: Simplify 1 into 1
1.358 * [backup-simplify]: Simplify (/ -1 1) into -1
1.358 * [taylor]: Taking taylor expansion of (/ -1 y) in z
1.358 * [taylor]: Taking taylor expansion of -1 in z
1.358 * [backup-simplify]: Simplify -1 into -1
1.358 * [taylor]: Taking taylor expansion of y in z
1.358 * [backup-simplify]: Simplify y into y
1.359 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
1.359 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.359 * [taylor]: Taking taylor expansion of x in z
1.359 * [backup-simplify]: Simplify x into x
1.359 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.359 * [taylor]: Taking taylor expansion of (* 4.0 (* z (+ (fma 0.5 (/ -1 z) (/ -1 y)) (/ 1 x)))) in z
1.359 * [taylor]: Taking taylor expansion of 4.0 in z
1.359 * [backup-simplify]: Simplify 4.0 into 4.0
1.359 * [taylor]: Taking taylor expansion of (* z (+ (fma 0.5 (/ -1 z) (/ -1 y)) (/ 1 x))) in z
1.359 * [taylor]: Taking taylor expansion of z in z
1.359 * [backup-simplify]: Simplify 0 into 0
1.359 * [backup-simplify]: Simplify 1 into 1
1.359 * [taylor]: Taking taylor expansion of (+ (fma 0.5 (/ -1 z) (/ -1 y)) (/ 1 x)) in z
1.359 * [taylor]: Taking taylor expansion of (fma 0.5 (/ -1 z) (/ -1 y)) in z
1.359 * [taylor]: Rewrote expression to (+ (* 0.5 (/ -1 z)) (/ -1 y))
1.359 * [taylor]: Taking taylor expansion of (* 0.5 (/ -1 z)) in z
1.359 * [taylor]: Taking taylor expansion of 0.5 in z
1.359 * [backup-simplify]: Simplify 0.5 into 0.5
1.359 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.359 * [taylor]: Taking taylor expansion of -1 in z
1.359 * [backup-simplify]: Simplify -1 into -1
1.359 * [taylor]: Taking taylor expansion of z in z
1.359 * [backup-simplify]: Simplify 0 into 0
1.359 * [backup-simplify]: Simplify 1 into 1
1.360 * [backup-simplify]: Simplify (/ -1 1) into -1
1.360 * [taylor]: Taking taylor expansion of (/ -1 y) in z
1.360 * [taylor]: Taking taylor expansion of -1 in z
1.360 * [backup-simplify]: Simplify -1 into -1
1.360 * [taylor]: Taking taylor expansion of y in z
1.360 * [backup-simplify]: Simplify y into y
1.360 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
1.360 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.360 * [taylor]: Taking taylor expansion of x in z
1.360 * [backup-simplify]: Simplify x into x
1.360 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.361 * [backup-simplify]: Simplify (* 0.5 -1) into -0.5
1.362 * [backup-simplify]: Simplify (+ -0.5 0) into (- 0.5)
1.363 * [backup-simplify]: Simplify (+ (- 0.5) 0) into (- 0.5)
1.363 * [backup-simplify]: Simplify (* 0 (- 0.5)) into 0
1.364 * [backup-simplify]: Simplify (* 4.0 0) into 0
1.364 * [taylor]: Taking taylor expansion of 0 in x
1.364 * [backup-simplify]: Simplify 0 into 0
1.365 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1.366 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 -1)) into 0
1.366 * [backup-simplify]: Simplify (+ 0 (/ -1 y)) into (- (/ 1 y))
1.366 * [backup-simplify]: Simplify (+ (- (/ 1 y)) (/ 1 x)) into (- (/ 1 x) (/ 1 y))
1.367 * [backup-simplify]: Simplify (+ (* 0 (- (/ 1 x) (/ 1 y))) (* 1 (- 0.5))) into (- 0.5)
1.369 * [backup-simplify]: Simplify (+ (* 4.0 (- 0.5)) (* 0 0)) into (- 2.0)
1.369 * [taylor]: Taking taylor expansion of (- 2.0) in x
1.369 * [taylor]: Taking taylor expansion of 2.0 in x
1.369 * [backup-simplify]: Simplify 2.0 into 2.0
1.369 * [taylor]: Taking taylor expansion of 0 in y
1.369 * [backup-simplify]: Simplify 0 into 0
1.370 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.371 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 -1))) into 0
1.372 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
1.372 * [backup-simplify]: Simplify (+ 0 0) into 0
1.372 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.373 * [backup-simplify]: Simplify (+ 0 0) into 0
1.374 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (- (/ 1 x) (/ 1 y))) (* 0 (- 0.5)))) into (- (/ 1 x) (/ 1 y))
1.375 * [backup-simplify]: Simplify (+ (* 4.0 (- (/ 1 x) (/ 1 y))) (+ (* 0 (- 0.5)) (* 0 0))) into (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 y)))
1.375 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 y))) in x
1.375 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
1.375 * [taylor]: Taking taylor expansion of 4.0 in x
1.375 * [backup-simplify]: Simplify 4.0 into 4.0
1.375 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.375 * [taylor]: Taking taylor expansion of x in x
1.375 * [backup-simplify]: Simplify 0 into 0
1.375 * [backup-simplify]: Simplify 1 into 1
1.375 * [backup-simplify]: Simplify (/ 1 1) into 1
1.375 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
1.376 * [taylor]: Taking taylor expansion of 4.0 in x
1.376 * [backup-simplify]: Simplify 4.0 into 4.0
1.376 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.376 * [taylor]: Taking taylor expansion of y in x
1.376 * [backup-simplify]: Simplify y into y
1.376 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.376 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
1.377 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
1.377 * [taylor]: Taking taylor expansion of 4.0 in y
1.377 * [backup-simplify]: Simplify 4.0 into 4.0
1.377 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.377 * [taylor]: Taking taylor expansion of (- 2.0) in y
1.377 * [taylor]: Taking taylor expansion of 2.0 in y
1.377 * [backup-simplify]: Simplify 2.0 into 2.0
1.377 * [taylor]: Taking taylor expansion of 0 in y
1.377 * [backup-simplify]: Simplify 0 into 0
1.377 * [backup-simplify]: Simplify 0 into 0
1.379 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.380 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
1.380 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.380 * [backup-simplify]: Simplify (+ 0 0) into 0
1.381 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.381 * [backup-simplify]: Simplify (+ 0 0) into 0
1.382 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 (- (/ 1 x) (/ 1 y))) (* 0 (- 0.5))))) into 0
1.384 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (- (/ 1 x) (/ 1 y))) (+ (* 0 (- 0.5)) (* 0 0)))) into 0
1.384 * [taylor]: Taking taylor expansion of 0 in x
1.384 * [backup-simplify]: Simplify 0 into 0
1.384 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.385 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
1.385 * [backup-simplify]: Simplify (* 4.0 (/ 1 y)) into (/ 4.0 y)
1.385 * [backup-simplify]: Simplify (- (/ 4.0 y)) into (- (* 4.0 (/ 1 y)))
1.386 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 y)))) into (- (* 4.0 (/ 1 y)))
1.386 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y))) in y
1.386 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
1.386 * [taylor]: Taking taylor expansion of 4.0 in y
1.386 * [backup-simplify]: Simplify 4.0 into 4.0
1.386 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.386 * [taylor]: Taking taylor expansion of y in y
1.386 * [backup-simplify]: Simplify 0 into 0
1.386 * [backup-simplify]: Simplify 1 into 1
1.386 * [backup-simplify]: Simplify (/ 1 1) into 1
1.387 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
1.387 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
1.388 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
1.388 * [backup-simplify]: Simplify (- 0) into 0
1.388 * [taylor]: Taking taylor expansion of 0 in y
1.388 * [backup-simplify]: Simplify 0 into 0
1.388 * [taylor]: Taking taylor expansion of 0 in y
1.388 * [backup-simplify]: Simplify 0 into 0
1.388 * [backup-simplify]: Simplify 4.0 into 4.0
1.389 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.389 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.390 * [backup-simplify]: Simplify (+ (- 2.0) (+ (* 4.0 (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (- z))))) (* (- 4.0) (* (/ 1 (/ 1 (- y))) (* 1 (/ 1 (- z))))))) into (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
1.390 * * * [progress]: simplifying candidates
1.393 * [simplify]: Simplifying:
  (expm1 (* (/ 4.0 z) (- x (fma 0.5 z y))))
  (log1p (* (/ 4.0 z) (- x (fma 0.5 z y))))
  (* (/ 4.0 z) (- x (fma 0.5 z y)))
  (+ (- (log 4.0) (log z)) (log (- x (fma 0.5 z y))))
  (+ (log (/ 4.0 z)) (log (- x (fma 0.5 z y))))
  (log (* (/ 4.0 z) (- x (fma 0.5 z y))))
  (exp (* (/ 4.0 z) (- x (fma 0.5 z y))))
  (* (/ (* (* 4.0 4.0) 4.0) (* (* z z) z)) (* (* (- x (fma 0.5 z y)) (- x (fma 0.5 z y))) (- x (fma 0.5 z y))))
  (* (* (* (/ 4.0 z) (/ 4.0 z)) (/ 4.0 z)) (* (* (- x (fma 0.5 z y)) (- x (fma 0.5 z y))) (- x (fma 0.5 z y))))
  (* (cbrt (* (/ 4.0 z) (- x (fma 0.5 z y)))) (cbrt (* (/ 4.0 z) (- x (fma 0.5 z y)))))
  (cbrt (* (/ 4.0 z) (- x (fma 0.5 z y))))
  (* (* (* (/ 4.0 z) (- x (fma 0.5 z y))) (* (/ 4.0 z) (- x (fma 0.5 z y)))) (* (/ 4.0 z) (- x (fma 0.5 z y))))
  (sqrt (* (/ 4.0 z) (- x (fma 0.5 z y))))
  (sqrt (* (/ 4.0 z) (- x (fma 0.5 z y))))
  (* 4.0 (- (pow x 3) (pow (fma 0.5 z y) 3)))
  (* z (+ (* x x) (+ (* (fma 0.5 z y) (fma 0.5 z y)) (* x (fma 0.5 z y)))))
  (* 4.0 (- (* x x) (* (fma 0.5 z y) (fma 0.5 z y))))
  (* z (+ x (fma 0.5 z y)))
  (* (sqrt (/ 4.0 z)) (sqrt (- x (fma 0.5 z y))))
  (* (sqrt (/ 4.0 z)) (sqrt (- x (fma 0.5 z y))))
  (* (/ (sqrt 4.0) (sqrt z)) (sqrt (- x (fma 0.5 z y))))
  (* (/ (sqrt 4.0) (sqrt z)) (sqrt (- x (fma 0.5 z y))))
  (* (/ 4.0 z) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt (fma 0.5 z y)) (* (cbrt (fma 0.5 z y)) (cbrt (fma 0.5 z y)))))))
  (* (/ 4.0 z) (fma (- (cbrt (fma 0.5 z y))) (* (cbrt (fma 0.5 z y)) (cbrt (fma 0.5 z y))) (* (cbrt (fma 0.5 z y)) (* (cbrt (fma 0.5 z y)) (cbrt (fma 0.5 z y))))))
  (* (/ 4.0 z) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt (fma 0.5 z y)) (sqrt (fma 0.5 z y))))))
  (* (/ 4.0 z) (fma (- (sqrt (fma 0.5 z y))) (sqrt (fma 0.5 z y)) (* (sqrt (fma 0.5 z y)) (sqrt (fma 0.5 z y)))))
  (* (/ 4.0 z) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (fma 0.5 z y) 1))))
  (* (/ 4.0 z) (fma (- (fma 0.5 z y)) 1 (* (fma 0.5 z y) 1)))
  (* (/ 4.0 z) (fma (sqrt x) (sqrt x) (- (* (cbrt (fma 0.5 z y)) (* (cbrt (fma 0.5 z y)) (cbrt (fma 0.5 z y)))))))
  (* (/ 4.0 z) (fma (- (cbrt (fma 0.5 z y))) (* (cbrt (fma 0.5 z y)) (cbrt (fma 0.5 z y))) (* (cbrt (fma 0.5 z y)) (* (cbrt (fma 0.5 z y)) (cbrt (fma 0.5 z y))))))
  (* (/ 4.0 z) (fma (sqrt x) (sqrt x) (- (* (sqrt (fma 0.5 z y)) (sqrt (fma 0.5 z y))))))
  (* (/ 4.0 z) (fma (- (sqrt (fma 0.5 z y))) (sqrt (fma 0.5 z y)) (* (sqrt (fma 0.5 z y)) (sqrt (fma 0.5 z y)))))
  (* (/ 4.0 z) (fma (sqrt x) (sqrt x) (- (* (fma 0.5 z y) 1))))
  (* (/ 4.0 z) (fma (- (fma 0.5 z y)) 1 (* (fma 0.5 z y) 1)))
  (* (/ 4.0 z) (fma 1 x (- (* (cbrt (fma 0.5 z y)) (* (cbrt (fma 0.5 z y)) (cbrt (fma 0.5 z y)))))))
  (* (/ 4.0 z) (fma (- (cbrt (fma 0.5 z y))) (* (cbrt (fma 0.5 z y)) (cbrt (fma 0.5 z y))) (* (cbrt (fma 0.5 z y)) (* (cbrt (fma 0.5 z y)) (cbrt (fma 0.5 z y))))))
  (* (/ 4.0 z) (fma 1 x (- (* (sqrt (fma 0.5 z y)) (sqrt (fma 0.5 z y))))))
  (* (/ 4.0 z) (fma (- (sqrt (fma 0.5 z y))) (sqrt (fma 0.5 z y)) (* (sqrt (fma 0.5 z y)) (sqrt (fma 0.5 z y)))))
  (* (/ 4.0 z) (fma 1 x (- (* (fma 0.5 z y) 1))))
  (* (/ 4.0 z) (fma (- (fma 0.5 z y)) 1 (* (fma 0.5 z y) 1)))
  (* (/ 4.0 z) x)
  (* (/ 4.0 z) (- (fma 0.5 z y)))
  (* (/ 4.0 z) x)
  (* (/ 4.0 z) (- (fma 0.5 z y)))
  (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt (fma 0.5 z y)) (* (cbrt (fma 0.5 z y)) (cbrt (fma 0.5 z y)))))) (/ 4.0 z))
  (* (fma (- (cbrt (fma 0.5 z y))) (* (cbrt (fma 0.5 z y)) (cbrt (fma 0.5 z y))) (* (cbrt (fma 0.5 z y)) (* (cbrt (fma 0.5 z y)) (cbrt (fma 0.5 z y))))) (/ 4.0 z))
  (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt (fma 0.5 z y)) (sqrt (fma 0.5 z y))))) (/ 4.0 z))
  (* (fma (- (sqrt (fma 0.5 z y))) (sqrt (fma 0.5 z y)) (* (sqrt (fma 0.5 z y)) (sqrt (fma 0.5 z y)))) (/ 4.0 z))
  (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (fma 0.5 z y) 1))) (/ 4.0 z))
  (* (fma (- (fma 0.5 z y)) 1 (* (fma 0.5 z y) 1)) (/ 4.0 z))
  (* (fma (sqrt x) (sqrt x) (- (* (cbrt (fma 0.5 z y)) (* (cbrt (fma 0.5 z y)) (cbrt (fma 0.5 z y)))))) (/ 4.0 z))
  (* (fma (- (cbrt (fma 0.5 z y))) (* (cbrt (fma 0.5 z y)) (cbrt (fma 0.5 z y))) (* (cbrt (fma 0.5 z y)) (* (cbrt (fma 0.5 z y)) (cbrt (fma 0.5 z y))))) (/ 4.0 z))
  (* (fma (sqrt x) (sqrt x) (- (* (sqrt (fma 0.5 z y)) (sqrt (fma 0.5 z y))))) (/ 4.0 z))
  (* (fma (- (sqrt (fma 0.5 z y))) (sqrt (fma 0.5 z y)) (* (sqrt (fma 0.5 z y)) (sqrt (fma 0.5 z y)))) (/ 4.0 z))
  (* (fma (sqrt x) (sqrt x) (- (* (fma 0.5 z y) 1))) (/ 4.0 z))
  (* (fma (- (fma 0.5 z y)) 1 (* (fma 0.5 z y) 1)) (/ 4.0 z))
  (* (fma 1 x (- (* (cbrt (fma 0.5 z y)) (* (cbrt (fma 0.5 z y)) (cbrt (fma 0.5 z y)))))) (/ 4.0 z))
  (* (fma (- (cbrt (fma 0.5 z y))) (* (cbrt (fma 0.5 z y)) (cbrt (fma 0.5 z y))) (* (cbrt (fma 0.5 z y)) (* (cbrt (fma 0.5 z y)) (cbrt (fma 0.5 z y))))) (/ 4.0 z))
  (* (fma 1 x (- (* (sqrt (fma 0.5 z y)) (sqrt (fma 0.5 z y))))) (/ 4.0 z))
  (* (fma (- (sqrt (fma 0.5 z y))) (sqrt (fma 0.5 z y)) (* (sqrt (fma 0.5 z y)) (sqrt (fma 0.5 z y)))) (/ 4.0 z))
  (* (fma 1 x (- (* (fma 0.5 z y) 1))) (/ 4.0 z))
  (* (fma (- (fma 0.5 z y)) 1 (* (fma 0.5 z y) 1)) (/ 4.0 z))
  (* x (/ 4.0 z))
  (* (- (fma 0.5 z y)) (/ 4.0 z))
  (* x (/ 4.0 z))
  (* (- (fma 0.5 z y)) (/ 4.0 z))
  (* (/ 4.0 z) (* (cbrt (- x (fma 0.5 z y))) (cbrt (- x (fma 0.5 z y)))))
  (* (/ 4.0 z) (sqrt (- x (fma 0.5 z y))))
  (* (/ 4.0 z) 1)
  (* (/ 4.0 z) (+ (sqrt x) (sqrt (fma 0.5 z y))))
  (* (/ 4.0 z) 1)
  (* (cbrt (/ 4.0 z)) (- x (fma 0.5 z y)))
  (* (sqrt (/ 4.0 z)) (- x (fma 0.5 z y)))
  (* (/ (cbrt 4.0) (cbrt z)) (- x (fma 0.5 z y)))
  (* (/ (cbrt 4.0) (sqrt z)) (- x (fma 0.5 z y)))
  (* (/ (cbrt 4.0) z) (- x (fma 0.5 z y)))
  (* (/ (sqrt 4.0) (cbrt z)) (- x (fma 0.5 z y)))
  (* (/ (sqrt 4.0) (sqrt z)) (- x (fma 0.5 z y)))
  (* (/ (sqrt 4.0) z) (- x (fma 0.5 z y)))
  (* (/ 4.0 (cbrt z)) (- x (fma 0.5 z y)))
  (* (/ 4.0 (sqrt z)) (- x (fma 0.5 z y)))
  (* (/ 4.0 z) (- x (fma 0.5 z y)))
  (* (/ 4.0 z) (- x (fma 0.5 z y)))
  (* (/ 1 z) (- x (fma 0.5 z y)))
  (* (/ 4.0 z) (- (pow x 3) (pow (fma 0.5 z y) 3)))
  (* (/ 4.0 z) (- (* x x) (* (fma 0.5 z y) (fma 0.5 z y))))
  (* 4.0 (- x (fma 0.5 z y)))
  (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
  (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
  (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
1.396 * * [simplify]: iteration 0: 153 enodes
1.455 * * [simplify]: iteration 1: 422 enodes
1.685 * * [simplify]: iteration 2: 2443 enodes
3.187 * * [simplify]: iteration complete: 5001 enodes
3.187 * * [simplify]: Extracting #0: cost 38 inf + 0
3.190 * * [simplify]: Extracting #1: cost 820 inf + 0
3.199 * * [simplify]: Extracting #2: cost 1454 inf + 69
3.209 * * [simplify]: Extracting #3: cost 1427 inf + 1004
3.223 * * [simplify]: Extracting #4: cost 433 inf + 10349
3.229 * * [simplify]: Extracting #5: cost 51 inf + 14349
3.235 * * [simplify]: Extracting #6: cost 6 inf + 14707
3.241 * * [simplify]: Extracting #7: cost 0 inf + 14746
3.247 * [simplify]: Simplified to:
  (expm1 (/ (* 4.0 (- x (fma 0.5 z y))) z))
  (log1p (/ (* 4.0 (- x (fma 0.5 z y))) z))
  (/ (* 4.0 (- x (fma 0.5 z y))) z)
  (log (/ (* 4.0 (- x (fma 0.5 z y))) z))
  (log (/ (* 4.0 (- x (fma 0.5 z y))) z))
  (log (/ (* 4.0 (- x (fma 0.5 z y))) z))
  (pow (exp (/ 4.0 z)) (- x (fma 0.5 z y)))
  (pow (/ (* 4.0 (- x (fma 0.5 z y))) z) 3)
  (pow (/ (* 4.0 (- x (fma 0.5 z y))) z) 3)
  (* (cbrt (/ (* 4.0 (- x (fma 0.5 z y))) z)) (cbrt (/ (* 4.0 (- x (fma 0.5 z y))) z)))
  (cbrt (/ (* 4.0 (- x (fma 0.5 z y))) z))
  (pow (/ (* 4.0 (- x (fma 0.5 z y))) z) 3)
  (sqrt (/ (* 4.0 (- x (fma 0.5 z y))) z))
  (sqrt (/ (* 4.0 (- x (fma 0.5 z y))) z))
  (* 4.0 (- (pow x 3) (pow (fma 0.5 z y) 3)))
  (* (fma (fma 0.5 z y) (+ (fma 0.5 z y) x) (* x x)) z)
  (* 4.0 (fma (fma 0.5 z y) (- (fma 0.5 z y)) (* x x)))
  (* (fma 0.5 z (+ y x)) z)
  (* (sqrt (/ 4.0 z)) (sqrt (- x (fma 0.5 z y))))
  (* (sqrt (/ 4.0 z)) (sqrt (- x (fma 0.5 z y))))
  (/ (* (sqrt 4.0) (sqrt (- x (fma 0.5 z y)))) (sqrt z))
  (/ (* (sqrt 4.0) (sqrt (- x (fma 0.5 z y)))) (sqrt z))
  (* (/ 4.0 z) (- (pow (cbrt x) 3) (fma 0.5 z y)))
  (/ (* 4.0 0) z)
  (* (/ 4.0 z) (- (pow (cbrt x) 3) (fma 0.5 z y)))
  (/ (* 4.0 0) z)
  (* (/ 4.0 z) (- (pow (cbrt x) 3) (fma 0.5 z y)))
  (/ (* 4.0 0) z)
  (/ (* 4.0 (- x (fma 0.5 z y))) z)
  (/ (* 4.0 0) z)
  (/ (* 4.0 (- x (fma 0.5 z y))) z)
  (/ (* 4.0 0) z)
  (/ (* 4.0 (- x (fma 0.5 z y))) z)
  (/ (* 4.0 0) z)
  (/ (* 4.0 (- x (fma 0.5 z y))) z)
  (/ (* 4.0 0) z)
  (/ (* 4.0 (- x (fma 0.5 z y))) z)
  (/ (* 4.0 0) z)
  (/ (* 4.0 (- x (fma 0.5 z y))) z)
  (/ (* 4.0 0) z)
  (/ (* 4.0 x) z)
  (* (/ 4.0 z) (- (fma 0.5 z y)))
  (/ (* 4.0 x) z)
  (* (/ 4.0 z) (- (fma 0.5 z y)))
  (* (/ 4.0 z) (- (pow (cbrt x) 3) (fma 0.5 z y)))
  (/ (* 4.0 0) z)
  (* (/ 4.0 z) (- (pow (cbrt x) 3) (fma 0.5 z y)))
  (/ (* 4.0 0) z)
  (* (/ 4.0 z) (- (pow (cbrt x) 3) (fma 0.5 z y)))
  (/ (* 4.0 0) z)
  (/ (* 4.0 (- x (fma 0.5 z y))) z)
  (/ (* 4.0 0) z)
  (/ (* 4.0 (- x (fma 0.5 z y))) z)
  (/ (* 4.0 0) z)
  (/ (* 4.0 (- x (fma 0.5 z y))) z)
  (/ (* 4.0 0) z)
  (/ (* 4.0 (- x (fma 0.5 z y))) z)
  (/ (* 4.0 0) z)
  (/ (* 4.0 (- x (fma 0.5 z y))) z)
  (/ (* 4.0 0) z)
  (/ (* 4.0 (- x (fma 0.5 z y))) z)
  (/ (* 4.0 0) z)
  (/ (* 4.0 x) z)
  (* (/ 4.0 z) (- (fma 0.5 z y)))
  (/ (* 4.0 x) z)
  (* (/ 4.0 z) (- (fma 0.5 z y)))
  (/ 4.0 (/ z (* (cbrt (- x (fma 0.5 z y))) (cbrt (- x (fma 0.5 z y))))))
  (/ (* (sqrt (- x (fma 0.5 z y))) 4.0) z)
  (/ 4.0 z)
  (/ (* (+ (sqrt x) (sqrt (fma 0.5 z y))) 4.0) z)
  (/ 4.0 z)
  (* (- x (fma 0.5 z y)) (cbrt (/ 4.0 z)))
  (* (sqrt (/ 4.0 z)) (- x (fma 0.5 z y)))
  (* (/ (cbrt 4.0) (cbrt z)) (- x (fma 0.5 z y)))
  (* (- x (fma 0.5 z y)) (/ (cbrt 4.0) (sqrt z)))
  (/ (cbrt 4.0) (/ z (- x (fma 0.5 z y))))
  (* (- x (fma 0.5 z y)) (/ (sqrt 4.0) (cbrt z)))
  (/ (* (sqrt 4.0) (- x (fma 0.5 z y))) (sqrt z))
  (* (- x (fma 0.5 z y)) (/ (sqrt 4.0) z))
  (* (/ 4.0 (cbrt z)) (- x (fma 0.5 z y)))
  (* (- x (fma 0.5 z y)) (/ 4.0 (sqrt z)))
  (/ (* 4.0 (- x (fma 0.5 z y))) z)
  (/ (* 4.0 (- x (fma 0.5 z y))) z)
  (/ (- x (fma 0.5 z y)) z)
  (/ 4.0 (/ z (- (pow x 3) (pow (fma 0.5 z y) 3))))
  (/ (fma (fma 0.5 z y) (- (fma 0.5 z y)) (* x x)) (/ z 4.0))
  (* 4.0 (- x (fma 0.5 z y)))
  (fma 4.0 (- (/ x z) (/ y z)) (- 2.0))
  (fma 4.0 (- (/ x z) (/ y z)) (- 2.0))
  (fma 4.0 (- (/ x z) (/ y z)) (- 2.0))
3.247 * * * [progress]: adding candidates to table
3.491 * * [progress]: iteration 2 / 4
3.491 * * * [progress]: picking best candidate
3.498 * * * * [pick]: Picked  #<alt (λ (x y z) (fma 4.0 (- (/ x z) (/ y z)) (- 2.0)))>
3.498 * * * [progress]: localizing error
3.520 * * * [progress]: generating rewritten candidates
3.521 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
3.580 * * * [progress]: generating series expansions
3.580 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
3.581 * [backup-simplify]: Simplify (- (/ x z) (/ y z)) into (- (/ x z) (/ y z))
3.581 * [approximate]: Taking taylor expansion of (- (/ x z) (/ y z)) in (x z y) around 0
3.581 * [taylor]: Taking taylor expansion of (- (/ x z) (/ y z)) in y
3.581 * [taylor]: Taking taylor expansion of (/ x z) in y
3.581 * [taylor]: Taking taylor expansion of x in y
3.581 * [backup-simplify]: Simplify x into x
3.581 * [taylor]: Taking taylor expansion of z in y
3.581 * [backup-simplify]: Simplify z into z
3.581 * [backup-simplify]: Simplify (/ x z) into (/ x z)
3.581 * [taylor]: Taking taylor expansion of (/ y z) in y
3.581 * [taylor]: Taking taylor expansion of y in y
3.581 * [backup-simplify]: Simplify 0 into 0
3.581 * [backup-simplify]: Simplify 1 into 1
3.581 * [taylor]: Taking taylor expansion of z in y
3.581 * [backup-simplify]: Simplify z into z
3.581 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.581 * [taylor]: Taking taylor expansion of (- (/ x z) (/ y z)) in z
3.581 * [taylor]: Taking taylor expansion of (/ x z) in z
3.581 * [taylor]: Taking taylor expansion of x in z
3.581 * [backup-simplify]: Simplify x into x
3.581 * [taylor]: Taking taylor expansion of z in z
3.581 * [backup-simplify]: Simplify 0 into 0
3.581 * [backup-simplify]: Simplify 1 into 1
3.581 * [backup-simplify]: Simplify (/ x 1) into x
3.581 * [taylor]: Taking taylor expansion of (/ y z) in z
3.581 * [taylor]: Taking taylor expansion of y in z
3.581 * [backup-simplify]: Simplify y into y
3.581 * [taylor]: Taking taylor expansion of z in z
3.581 * [backup-simplify]: Simplify 0 into 0
3.581 * [backup-simplify]: Simplify 1 into 1
3.582 * [backup-simplify]: Simplify (/ y 1) into y
3.582 * [taylor]: Taking taylor expansion of (- (/ x z) (/ y z)) in x
3.582 * [taylor]: Taking taylor expansion of (/ x z) in x
3.582 * [taylor]: Taking taylor expansion of x in x
3.582 * [backup-simplify]: Simplify 0 into 0
3.582 * [backup-simplify]: Simplify 1 into 1
3.582 * [taylor]: Taking taylor expansion of z in x
3.582 * [backup-simplify]: Simplify z into z
3.582 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.582 * [taylor]: Taking taylor expansion of (/ y z) in x
3.582 * [taylor]: Taking taylor expansion of y in x
3.582 * [backup-simplify]: Simplify y into y
3.582 * [taylor]: Taking taylor expansion of z in x
3.582 * [backup-simplify]: Simplify z into z
3.582 * [backup-simplify]: Simplify (/ y z) into (/ y z)
3.582 * [taylor]: Taking taylor expansion of (- (/ x z) (/ y z)) in x
3.582 * [taylor]: Taking taylor expansion of (/ x z) in x
3.582 * [taylor]: Taking taylor expansion of x in x
3.582 * [backup-simplify]: Simplify 0 into 0
3.582 * [backup-simplify]: Simplify 1 into 1
3.582 * [taylor]: Taking taylor expansion of z in x
3.582 * [backup-simplify]: Simplify z into z
3.582 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.582 * [taylor]: Taking taylor expansion of (/ y z) in x
3.582 * [taylor]: Taking taylor expansion of y in x
3.582 * [backup-simplify]: Simplify y into y
3.582 * [taylor]: Taking taylor expansion of z in x
3.582 * [backup-simplify]: Simplify z into z
3.582 * [backup-simplify]: Simplify (/ y z) into (/ y z)
3.582 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z))
3.582 * [backup-simplify]: Simplify (+ 0 (- (/ y z))) into (- (/ y z))
3.582 * [taylor]: Taking taylor expansion of (- (/ y z)) in z
3.582 * [taylor]: Taking taylor expansion of (/ y z) in z
3.582 * [taylor]: Taking taylor expansion of y in z
3.582 * [backup-simplify]: Simplify y into y
3.582 * [taylor]: Taking taylor expansion of z in z
3.582 * [backup-simplify]: Simplify 0 into 0
3.582 * [backup-simplify]: Simplify 1 into 1
3.582 * [backup-simplify]: Simplify (/ y 1) into y
3.582 * [backup-simplify]: Simplify (- y) into (- y)
3.582 * [taylor]: Taking taylor expansion of (- y) in y
3.582 * [taylor]: Taking taylor expansion of y in y
3.582 * [backup-simplify]: Simplify 0 into 0
3.582 * [backup-simplify]: Simplify 1 into 1
3.583 * [backup-simplify]: Simplify (- 0) into 0
3.583 * [backup-simplify]: Simplify 0 into 0
3.583 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
3.583 * [backup-simplify]: Simplify (- 0) into 0
3.583 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
3.583 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.583 * [taylor]: Taking taylor expansion of z in z
3.583 * [backup-simplify]: Simplify 0 into 0
3.583 * [backup-simplify]: Simplify 1 into 1
3.584 * [backup-simplify]: Simplify (/ 1 1) into 1
3.584 * [taylor]: Taking taylor expansion of 1 in y
3.584 * [backup-simplify]: Simplify 1 into 1
3.584 * [backup-simplify]: Simplify 1 into 1
3.584 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
3.584 * [backup-simplify]: Simplify (- 0) into 0
3.584 * [taylor]: Taking taylor expansion of 0 in y
3.584 * [backup-simplify]: Simplify 0 into 0
3.584 * [backup-simplify]: Simplify 0 into 0
3.585 * [backup-simplify]: Simplify (- 1) into -1
3.585 * [backup-simplify]: Simplify -1 into -1
3.585 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
3.585 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.585 * [backup-simplify]: Simplify (- 0) into 0
3.585 * [backup-simplify]: Simplify (+ 0 0) into 0
3.585 * [taylor]: Taking taylor expansion of 0 in z
3.585 * [backup-simplify]: Simplify 0 into 0
3.586 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.586 * [taylor]: Taking taylor expansion of 0 in y
3.586 * [backup-simplify]: Simplify 0 into 0
3.586 * [backup-simplify]: Simplify 0 into 0
3.587 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.587 * [backup-simplify]: Simplify (- 0) into 0
3.587 * [taylor]: Taking taylor expansion of 0 in y
3.587 * [backup-simplify]: Simplify 0 into 0
3.587 * [backup-simplify]: Simplify 0 into 0
3.587 * [backup-simplify]: Simplify 0 into 0
3.587 * [backup-simplify]: Simplify 0 into 0
3.588 * [backup-simplify]: Simplify (- 0) into 0
3.588 * [backup-simplify]: Simplify 0 into 0
3.588 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.588 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
3.588 * [backup-simplify]: Simplify (- 0) into 0
3.588 * [backup-simplify]: Simplify (+ 0 0) into 0
3.588 * [taylor]: Taking taylor expansion of 0 in z
3.588 * [backup-simplify]: Simplify 0 into 0
3.589 * [taylor]: Taking taylor expansion of 0 in y
3.589 * [backup-simplify]: Simplify 0 into 0
3.589 * [backup-simplify]: Simplify 0 into 0
3.589 * [backup-simplify]: Simplify (+ (* -1 (* y (* (/ 1 z) 1))) (* 1 (* 1 (* (/ 1 z) x)))) into (- (/ x z) (/ y z))
3.589 * [backup-simplify]: Simplify (- (/ (/ 1 x) (/ 1 z)) (/ (/ 1 y) (/ 1 z))) into (- (/ z x) (/ z y))
3.589 * [approximate]: Taking taylor expansion of (- (/ z x) (/ z y)) in (x z y) around 0
3.589 * [taylor]: Taking taylor expansion of (- (/ z x) (/ z y)) in y
3.589 * [taylor]: Taking taylor expansion of (/ z x) in y
3.589 * [taylor]: Taking taylor expansion of z in y
3.589 * [backup-simplify]: Simplify z into z
3.589 * [taylor]: Taking taylor expansion of x in y
3.589 * [backup-simplify]: Simplify x into x
3.589 * [backup-simplify]: Simplify (/ z x) into (/ z x)
3.589 * [taylor]: Taking taylor expansion of (/ z y) in y
3.589 * [taylor]: Taking taylor expansion of z in y
3.589 * [backup-simplify]: Simplify z into z
3.589 * [taylor]: Taking taylor expansion of y in y
3.589 * [backup-simplify]: Simplify 0 into 0
3.589 * [backup-simplify]: Simplify 1 into 1
3.589 * [backup-simplify]: Simplify (/ z 1) into z
3.589 * [taylor]: Taking taylor expansion of (- (/ z x) (/ z y)) in z
3.589 * [taylor]: Taking taylor expansion of (/ z x) in z
3.589 * [taylor]: Taking taylor expansion of z in z
3.589 * [backup-simplify]: Simplify 0 into 0
3.589 * [backup-simplify]: Simplify 1 into 1
3.589 * [taylor]: Taking taylor expansion of x in z
3.589 * [backup-simplify]: Simplify x into x
3.589 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.589 * [taylor]: Taking taylor expansion of (/ z y) in z
3.589 * [taylor]: Taking taylor expansion of z in z
3.589 * [backup-simplify]: Simplify 0 into 0
3.589 * [backup-simplify]: Simplify 1 into 1
3.589 * [taylor]: Taking taylor expansion of y in z
3.589 * [backup-simplify]: Simplify y into y
3.589 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.589 * [taylor]: Taking taylor expansion of (- (/ z x) (/ z y)) in x
3.589 * [taylor]: Taking taylor expansion of (/ z x) in x
3.589 * [taylor]: Taking taylor expansion of z in x
3.589 * [backup-simplify]: Simplify z into z
3.589 * [taylor]: Taking taylor expansion of x in x
3.589 * [backup-simplify]: Simplify 0 into 0
3.589 * [backup-simplify]: Simplify 1 into 1
3.590 * [backup-simplify]: Simplify (/ z 1) into z
3.590 * [taylor]: Taking taylor expansion of (/ z y) in x
3.590 * [taylor]: Taking taylor expansion of z in x
3.590 * [backup-simplify]: Simplify z into z
3.590 * [taylor]: Taking taylor expansion of y in x
3.590 * [backup-simplify]: Simplify y into y
3.590 * [backup-simplify]: Simplify (/ z y) into (/ z y)
3.590 * [taylor]: Taking taylor expansion of (- (/ z x) (/ z y)) in x
3.590 * [taylor]: Taking taylor expansion of (/ z x) in x
3.590 * [taylor]: Taking taylor expansion of z in x
3.590 * [backup-simplify]: Simplify z into z
3.590 * [taylor]: Taking taylor expansion of x in x
3.590 * [backup-simplify]: Simplify 0 into 0
3.590 * [backup-simplify]: Simplify 1 into 1
3.590 * [backup-simplify]: Simplify (/ z 1) into z
3.590 * [taylor]: Taking taylor expansion of (/ z y) in x
3.590 * [taylor]: Taking taylor expansion of z in x
3.590 * [backup-simplify]: Simplify z into z
3.590 * [taylor]: Taking taylor expansion of y in x
3.590 * [backup-simplify]: Simplify y into y
3.590 * [backup-simplify]: Simplify (/ z y) into (/ z y)
3.590 * [backup-simplify]: Simplify (+ z 0) into z
3.590 * [taylor]: Taking taylor expansion of z in z
3.590 * [backup-simplify]: Simplify 0 into 0
3.590 * [backup-simplify]: Simplify 1 into 1
3.590 * [taylor]: Taking taylor expansion of 1 in y
3.590 * [backup-simplify]: Simplify 1 into 1
3.591 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
3.591 * [backup-simplify]: Simplify (- (/ z y)) into (- (/ z y))
3.591 * [backup-simplify]: Simplify (+ 0 (- (/ z y))) into (- (/ z y))
3.591 * [taylor]: Taking taylor expansion of (- (/ z y)) in z
3.591 * [taylor]: Taking taylor expansion of (/ z y) in z
3.591 * [taylor]: Taking taylor expansion of z in z
3.591 * [backup-simplify]: Simplify 0 into 0
3.591 * [backup-simplify]: Simplify 1 into 1
3.591 * [taylor]: Taking taylor expansion of y in z
3.591 * [backup-simplify]: Simplify y into y
3.591 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.591 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
3.591 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
3.591 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.591 * [taylor]: Taking taylor expansion of y in y
3.591 * [backup-simplify]: Simplify 0 into 0
3.591 * [backup-simplify]: Simplify 1 into 1
3.591 * [backup-simplify]: Simplify (/ 1 1) into 1
3.591 * [backup-simplify]: Simplify (- 1) into -1
3.591 * [backup-simplify]: Simplify -1 into -1
3.591 * [taylor]: Taking taylor expansion of 0 in y
3.592 * [backup-simplify]: Simplify 0 into 0
3.592 * [backup-simplify]: Simplify 1 into 1
3.592 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.592 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
3.593 * [backup-simplify]: Simplify (- 0) into 0
3.593 * [backup-simplify]: Simplify (+ 0 0) into 0
3.593 * [taylor]: Taking taylor expansion of 0 in z
3.593 * [backup-simplify]: Simplify 0 into 0
3.593 * [taylor]: Taking taylor expansion of 0 in y
3.593 * [backup-simplify]: Simplify 0 into 0
3.593 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
3.593 * [backup-simplify]: Simplify (- 0) into 0
3.593 * [taylor]: Taking taylor expansion of 0 in y
3.593 * [backup-simplify]: Simplify 0 into 0
3.593 * [taylor]: Taking taylor expansion of 0 in y
3.593 * [backup-simplify]: Simplify 0 into 0
3.594 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.594 * [backup-simplify]: Simplify (- 0) into 0
3.594 * [backup-simplify]: Simplify 0 into 0
3.594 * [backup-simplify]: Simplify 0 into 0
3.594 * [backup-simplify]: Simplify 0 into 0
3.595 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.595 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.596 * [backup-simplify]: Simplify (- 0) into 0
3.596 * [backup-simplify]: Simplify (+ 0 0) into 0
3.596 * [taylor]: Taking taylor expansion of 0 in z
3.596 * [backup-simplify]: Simplify 0 into 0
3.596 * [taylor]: Taking taylor expansion of 0 in y
3.596 * [backup-simplify]: Simplify 0 into 0
3.596 * [taylor]: Taking taylor expansion of 0 in y
3.596 * [backup-simplify]: Simplify 0 into 0
3.596 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.596 * [backup-simplify]: Simplify (- 0) into 0
3.596 * [taylor]: Taking taylor expansion of 0 in y
3.596 * [backup-simplify]: Simplify 0 into 0
3.596 * [taylor]: Taking taylor expansion of 0 in y
3.596 * [backup-simplify]: Simplify 0 into 0
3.596 * [backup-simplify]: Simplify 0 into 0
3.596 * [backup-simplify]: Simplify 0 into 0
3.597 * [backup-simplify]: Simplify 0 into 0
3.597 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 z) (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 y)) (* (/ 1 z) 1)))) into (- (/ x z) (/ y z))
3.597 * [backup-simplify]: Simplify (- (/ (/ 1 (- x)) (/ 1 (- z))) (/ (/ 1 (- y)) (/ 1 (- z)))) into (- (/ z x) (/ z y))
3.597 * [approximate]: Taking taylor expansion of (- (/ z x) (/ z y)) in (x z y) around 0
3.597 * [taylor]: Taking taylor expansion of (- (/ z x) (/ z y)) in y
3.597 * [taylor]: Taking taylor expansion of (/ z x) in y
3.597 * [taylor]: Taking taylor expansion of z in y
3.597 * [backup-simplify]: Simplify z into z
3.597 * [taylor]: Taking taylor expansion of x in y
3.597 * [backup-simplify]: Simplify x into x
3.597 * [backup-simplify]: Simplify (/ z x) into (/ z x)
3.597 * [taylor]: Taking taylor expansion of (/ z y) in y
3.597 * [taylor]: Taking taylor expansion of z in y
3.597 * [backup-simplify]: Simplify z into z
3.597 * [taylor]: Taking taylor expansion of y in y
3.597 * [backup-simplify]: Simplify 0 into 0
3.597 * [backup-simplify]: Simplify 1 into 1
3.597 * [backup-simplify]: Simplify (/ z 1) into z
3.597 * [taylor]: Taking taylor expansion of (- (/ z x) (/ z y)) in z
3.597 * [taylor]: Taking taylor expansion of (/ z x) in z
3.597 * [taylor]: Taking taylor expansion of z in z
3.597 * [backup-simplify]: Simplify 0 into 0
3.597 * [backup-simplify]: Simplify 1 into 1
3.597 * [taylor]: Taking taylor expansion of x in z
3.597 * [backup-simplify]: Simplify x into x
3.597 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.597 * [taylor]: Taking taylor expansion of (/ z y) in z
3.597 * [taylor]: Taking taylor expansion of z in z
3.597 * [backup-simplify]: Simplify 0 into 0
3.597 * [backup-simplify]: Simplify 1 into 1
3.597 * [taylor]: Taking taylor expansion of y in z
3.597 * [backup-simplify]: Simplify y into y
3.597 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.597 * [taylor]: Taking taylor expansion of (- (/ z x) (/ z y)) in x
3.597 * [taylor]: Taking taylor expansion of (/ z x) in x
3.597 * [taylor]: Taking taylor expansion of z in x
3.597 * [backup-simplify]: Simplify z into z
3.598 * [taylor]: Taking taylor expansion of x in x
3.598 * [backup-simplify]: Simplify 0 into 0
3.598 * [backup-simplify]: Simplify 1 into 1
3.598 * [backup-simplify]: Simplify (/ z 1) into z
3.598 * [taylor]: Taking taylor expansion of (/ z y) in x
3.598 * [taylor]: Taking taylor expansion of z in x
3.598 * [backup-simplify]: Simplify z into z
3.598 * [taylor]: Taking taylor expansion of y in x
3.598 * [backup-simplify]: Simplify y into y
3.598 * [backup-simplify]: Simplify (/ z y) into (/ z y)
3.598 * [taylor]: Taking taylor expansion of (- (/ z x) (/ z y)) in x
3.598 * [taylor]: Taking taylor expansion of (/ z x) in x
3.598 * [taylor]: Taking taylor expansion of z in x
3.598 * [backup-simplify]: Simplify z into z
3.598 * [taylor]: Taking taylor expansion of x in x
3.598 * [backup-simplify]: Simplify 0 into 0
3.598 * [backup-simplify]: Simplify 1 into 1
3.598 * [backup-simplify]: Simplify (/ z 1) into z
3.598 * [taylor]: Taking taylor expansion of (/ z y) in x
3.598 * [taylor]: Taking taylor expansion of z in x
3.598 * [backup-simplify]: Simplify z into z
3.598 * [taylor]: Taking taylor expansion of y in x
3.598 * [backup-simplify]: Simplify y into y
3.598 * [backup-simplify]: Simplify (/ z y) into (/ z y)
3.598 * [backup-simplify]: Simplify (+ z 0) into z
3.598 * [taylor]: Taking taylor expansion of z in z
3.598 * [backup-simplify]: Simplify 0 into 0
3.598 * [backup-simplify]: Simplify 1 into 1
3.598 * [taylor]: Taking taylor expansion of 1 in y
3.598 * [backup-simplify]: Simplify 1 into 1
3.599 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
3.599 * [backup-simplify]: Simplify (- (/ z y)) into (- (/ z y))
3.599 * [backup-simplify]: Simplify (+ 0 (- (/ z y))) into (- (/ z y))
3.599 * [taylor]: Taking taylor expansion of (- (/ z y)) in z
3.599 * [taylor]: Taking taylor expansion of (/ z y) in z
3.599 * [taylor]: Taking taylor expansion of z in z
3.599 * [backup-simplify]: Simplify 0 into 0
3.599 * [backup-simplify]: Simplify 1 into 1
3.599 * [taylor]: Taking taylor expansion of y in z
3.599 * [backup-simplify]: Simplify y into y
3.599 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.599 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
3.599 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
3.599 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.599 * [taylor]: Taking taylor expansion of y in y
3.599 * [backup-simplify]: Simplify 0 into 0
3.599 * [backup-simplify]: Simplify 1 into 1
3.599 * [backup-simplify]: Simplify (/ 1 1) into 1
3.600 * [backup-simplify]: Simplify (- 1) into -1
3.600 * [backup-simplify]: Simplify -1 into -1
3.600 * [taylor]: Taking taylor expansion of 0 in y
3.600 * [backup-simplify]: Simplify 0 into 0
3.600 * [backup-simplify]: Simplify 1 into 1
3.601 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.601 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
3.601 * [backup-simplify]: Simplify (- 0) into 0
3.601 * [backup-simplify]: Simplify (+ 0 0) into 0
3.601 * [taylor]: Taking taylor expansion of 0 in z
3.601 * [backup-simplify]: Simplify 0 into 0
3.601 * [taylor]: Taking taylor expansion of 0 in y
3.601 * [backup-simplify]: Simplify 0 into 0
3.601 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
3.602 * [backup-simplify]: Simplify (- 0) into 0
3.602 * [taylor]: Taking taylor expansion of 0 in y
3.602 * [backup-simplify]: Simplify 0 into 0
3.602 * [taylor]: Taking taylor expansion of 0 in y
3.602 * [backup-simplify]: Simplify 0 into 0
3.602 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.602 * [backup-simplify]: Simplify (- 0) into 0
3.602 * [backup-simplify]: Simplify 0 into 0
3.603 * [backup-simplify]: Simplify 0 into 0
3.603 * [backup-simplify]: Simplify 0 into 0
3.604 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.604 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.604 * [backup-simplify]: Simplify (- 0) into 0
3.604 * [backup-simplify]: Simplify (+ 0 0) into 0
3.604 * [taylor]: Taking taylor expansion of 0 in z
3.604 * [backup-simplify]: Simplify 0 into 0
3.604 * [taylor]: Taking taylor expansion of 0 in y
3.604 * [backup-simplify]: Simplify 0 into 0
3.604 * [taylor]: Taking taylor expansion of 0 in y
3.604 * [backup-simplify]: Simplify 0 into 0
3.605 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.605 * [backup-simplify]: Simplify (- 0) into 0
3.605 * [taylor]: Taking taylor expansion of 0 in y
3.605 * [backup-simplify]: Simplify 0 into 0
3.605 * [taylor]: Taking taylor expansion of 0 in y
3.605 * [backup-simplify]: Simplify 0 into 0
3.605 * [backup-simplify]: Simplify 0 into 0
3.605 * [backup-simplify]: Simplify 0 into 0
3.605 * [backup-simplify]: Simplify 0 into 0
3.605 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (- z)) (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (- z)) 1)))) into (- (/ x z) (/ y z))
3.605 * * * [progress]: simplifying candidates
3.609 * [simplify]: Simplifying:
  (fma (* (cbrt (/ x z)) (cbrt (/ x z))) (cbrt (/ x z)) (- (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))))))
  (fma (- (cbrt (/ y z))) (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z)))))
  (fma (* (cbrt (/ x z)) (cbrt (/ x z))) (cbrt (/ x z)) (- (* (sqrt (/ y z)) (sqrt (/ y z)))))
  (fma (- (sqrt (/ y z))) (sqrt (/ y z)) (* (sqrt (/ y z)) (sqrt (/ y z))))
  (fma (* (cbrt (/ x z)) (cbrt (/ x z))) (cbrt (/ x z)) (- (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (cbrt y) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (fma (* (cbrt (/ x z)) (cbrt (/ x z))) (cbrt (/ x z)) (- (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)))))
  (fma (- (/ (cbrt y) (sqrt z))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z))))
  (fma (* (cbrt (/ x z)) (cbrt (/ x z))) (cbrt (/ x z)) (- (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1))))
  (fma (- (/ (cbrt y) z)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1)))
  (fma (* (cbrt (/ x z)) (cbrt (/ x z))) (cbrt (/ x z)) (- (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (sqrt y) (cbrt z))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z)))))
  (fma (* (cbrt (/ x z)) (cbrt (/ x z))) (cbrt (/ x z)) (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)))))
  (fma (- (/ (sqrt y) (sqrt z))) (/ (sqrt y) (sqrt z)) (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))))
  (fma (* (cbrt (/ x z)) (cbrt (/ x z))) (cbrt (/ x z)) (- (* (/ (sqrt y) z) (/ (sqrt y) 1))))
  (fma (- (/ (sqrt y) z)) (/ (sqrt y) 1) (* (/ (sqrt y) z) (/ (sqrt y) 1)))
  (fma (* (cbrt (/ x z)) (cbrt (/ x z))) (cbrt (/ x z)) (- (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))))
  (fma (- (/ y (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))
  (fma (* (cbrt (/ x z)) (cbrt (/ x z))) (cbrt (/ x z)) (- (* (/ y (sqrt z)) (/ 1 (sqrt z)))))
  (fma (- (/ y (sqrt z))) (/ 1 (sqrt z)) (* (/ y (sqrt z)) (/ 1 (sqrt z))))
  (fma (* (cbrt (/ x z)) (cbrt (/ x z))) (cbrt (/ x z)) (- (* (/ y z) (/ 1 1))))
  (fma (- (/ y z)) (/ 1 1) (* (/ y z) (/ 1 1)))
  (fma (* (cbrt (/ x z)) (cbrt (/ x z))) (cbrt (/ x z)) (- (* (/ y z) 1)))
  (fma (- (/ y z)) 1 (* (/ y z) 1))
  (fma (* (cbrt (/ x z)) (cbrt (/ x z))) (cbrt (/ x z)) (- (* (/ 1 z) y)))
  (fma (- (/ 1 z)) y (* (/ 1 z) y))
  (fma (sqrt (/ x z)) (sqrt (/ x z)) (- (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))))))
  (fma (- (cbrt (/ y z))) (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z)))))
  (fma (sqrt (/ x z)) (sqrt (/ x z)) (- (* (sqrt (/ y z)) (sqrt (/ y z)))))
  (fma (- (sqrt (/ y z))) (sqrt (/ y z)) (* (sqrt (/ y z)) (sqrt (/ y z))))
  (fma (sqrt (/ x z)) (sqrt (/ x z)) (- (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (cbrt y) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (fma (sqrt (/ x z)) (sqrt (/ x z)) (- (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)))))
  (fma (- (/ (cbrt y) (sqrt z))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z))))
  (fma (sqrt (/ x z)) (sqrt (/ x z)) (- (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1))))
  (fma (- (/ (cbrt y) z)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1)))
  (fma (sqrt (/ x z)) (sqrt (/ x z)) (- (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (sqrt y) (cbrt z))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z)))))
  (fma (sqrt (/ x z)) (sqrt (/ x z)) (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)))))
  (fma (- (/ (sqrt y) (sqrt z))) (/ (sqrt y) (sqrt z)) (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))))
  (fma (sqrt (/ x z)) (sqrt (/ x z)) (- (* (/ (sqrt y) z) (/ (sqrt y) 1))))
  (fma (- (/ (sqrt y) z)) (/ (sqrt y) 1) (* (/ (sqrt y) z) (/ (sqrt y) 1)))
  (fma (sqrt (/ x z)) (sqrt (/ x z)) (- (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))))
  (fma (- (/ y (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))
  (fma (sqrt (/ x z)) (sqrt (/ x z)) (- (* (/ y (sqrt z)) (/ 1 (sqrt z)))))
  (fma (- (/ y (sqrt z))) (/ 1 (sqrt z)) (* (/ y (sqrt z)) (/ 1 (sqrt z))))
  (fma (sqrt (/ x z)) (sqrt (/ x z)) (- (* (/ y z) (/ 1 1))))
  (fma (- (/ y z)) (/ 1 1) (* (/ y z) (/ 1 1)))
  (fma (sqrt (/ x z)) (sqrt (/ x z)) (- (* (/ y z) 1)))
  (fma (- (/ y z)) 1 (* (/ y z) 1))
  (fma (sqrt (/ x z)) (sqrt (/ x z)) (- (* (/ 1 z) y)))
  (fma (- (/ 1 z)) y (* (/ 1 z) y))
  (fma (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (/ (cbrt x) (cbrt z)) (- (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))))))
  (fma (- (cbrt (/ y z))) (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z)))))
  (fma (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (/ (cbrt x) (cbrt z)) (- (* (sqrt (/ y z)) (sqrt (/ y z)))))
  (fma (- (sqrt (/ y z))) (sqrt (/ y z)) (* (sqrt (/ y z)) (sqrt (/ y z))))
  (fma (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (/ (cbrt x) (cbrt z)) (- (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (cbrt y) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (fma (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (/ (cbrt x) (cbrt z)) (- (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)))))
  (fma (- (/ (cbrt y) (sqrt z))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z))))
  (fma (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (/ (cbrt x) (cbrt z)) (- (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1))))
  (fma (- (/ (cbrt y) z)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1)))
  (fma (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (/ (cbrt x) (cbrt z)) (- (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (sqrt y) (cbrt z))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z)))))
  (fma (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (/ (cbrt x) (cbrt z)) (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)))))
  (fma (- (/ (sqrt y) (sqrt z))) (/ (sqrt y) (sqrt z)) (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))))
  (fma (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (/ (cbrt x) (cbrt z)) (- (* (/ (sqrt y) z) (/ (sqrt y) 1))))
  (fma (- (/ (sqrt y) z)) (/ (sqrt y) 1) (* (/ (sqrt y) z) (/ (sqrt y) 1)))
  (fma (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (/ (cbrt x) (cbrt z)) (- (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))))
  (fma (- (/ y (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))
  (fma (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (/ (cbrt x) (cbrt z)) (- (* (/ y (sqrt z)) (/ 1 (sqrt z)))))
  (fma (- (/ y (sqrt z))) (/ 1 (sqrt z)) (* (/ y (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (/ (cbrt x) (cbrt z)) (- (* (/ y z) (/ 1 1))))
  (fma (- (/ y z)) (/ 1 1) (* (/ y z) (/ 1 1)))
  (fma (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (/ (cbrt x) (cbrt z)) (- (* (/ y z) 1)))
  (fma (- (/ y z)) 1 (* (/ y z) 1))
  (fma (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (/ (cbrt x) (cbrt z)) (- (* (/ 1 z) y)))
  (fma (- (/ 1 z)) y (* (/ 1 z) y))
  (fma (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ (cbrt x) (sqrt z)) (- (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))))))
  (fma (- (cbrt (/ y z))) (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z)))))
  (fma (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ (cbrt x) (sqrt z)) (- (* (sqrt (/ y z)) (sqrt (/ y z)))))
  (fma (- (sqrt (/ y z))) (sqrt (/ y z)) (* (sqrt (/ y z)) (sqrt (/ y z))))
  (fma (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ (cbrt x) (sqrt z)) (- (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (cbrt y) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (fma (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ (cbrt x) (sqrt z)) (- (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)))))
  (fma (- (/ (cbrt y) (sqrt z))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z))))
  (fma (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ (cbrt x) (sqrt z)) (- (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1))))
  (fma (- (/ (cbrt y) z)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1)))
  (fma (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ (cbrt x) (sqrt z)) (- (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (sqrt y) (cbrt z))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z)))))
  (fma (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ (cbrt x) (sqrt z)) (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)))))
  (fma (- (/ (sqrt y) (sqrt z))) (/ (sqrt y) (sqrt z)) (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))))
  (fma (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ (cbrt x) (sqrt z)) (- (* (/ (sqrt y) z) (/ (sqrt y) 1))))
  (fma (- (/ (sqrt y) z)) (/ (sqrt y) 1) (* (/ (sqrt y) z) (/ (sqrt y) 1)))
  (fma (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ (cbrt x) (sqrt z)) (- (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))))
  (fma (- (/ y (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))
  (fma (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ (cbrt x) (sqrt z)) (- (* (/ y (sqrt z)) (/ 1 (sqrt z)))))
  (fma (- (/ y (sqrt z))) (/ 1 (sqrt z)) (* (/ y (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ (cbrt x) (sqrt z)) (- (* (/ y z) (/ 1 1))))
  (fma (- (/ y z)) (/ 1 1) (* (/ y z) (/ 1 1)))
  (fma (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ (cbrt x) (sqrt z)) (- (* (/ y z) 1)))
  (fma (- (/ y z)) 1 (* (/ y z) 1))
  (fma (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ (cbrt x) (sqrt z)) (- (* (/ 1 z) y)))
  (fma (- (/ 1 z)) y (* (/ 1 z) y))
  (fma (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) z) (- (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))))))
  (fma (- (cbrt (/ y z))) (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z)))))
  (fma (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) z) (- (* (sqrt (/ y z)) (sqrt (/ y z)))))
  (fma (- (sqrt (/ y z))) (sqrt (/ y z)) (* (sqrt (/ y z)) (sqrt (/ y z))))
  (fma (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) z) (- (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (cbrt y) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (fma (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) z) (- (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)))))
  (fma (- (/ (cbrt y) (sqrt z))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z))))
  (fma (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) z) (- (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1))))
  (fma (- (/ (cbrt y) z)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1)))
  (fma (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) z) (- (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (sqrt y) (cbrt z))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z)))))
  (fma (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) z) (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)))))
  (fma (- (/ (sqrt y) (sqrt z))) (/ (sqrt y) (sqrt z)) (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))))
  (fma (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) z) (- (* (/ (sqrt y) z) (/ (sqrt y) 1))))
  (fma (- (/ (sqrt y) z)) (/ (sqrt y) 1) (* (/ (sqrt y) z) (/ (sqrt y) 1)))
  (fma (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) z) (- (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))))
  (fma (- (/ y (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))
  (fma (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) z) (- (* (/ y (sqrt z)) (/ 1 (sqrt z)))))
  (fma (- (/ y (sqrt z))) (/ 1 (sqrt z)) (* (/ y (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) z) (- (* (/ y z) (/ 1 1))))
  (fma (- (/ y z)) (/ 1 1) (* (/ y z) (/ 1 1)))
  (fma (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) z) (- (* (/ y z) 1)))
  (fma (- (/ y z)) 1 (* (/ y z) 1))
  (fma (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) z) (- (* (/ 1 z) y)))
  (fma (- (/ 1 z)) y (* (/ 1 z) y))
  (fma (/ (sqrt x) (* (cbrt z) (cbrt z))) (/ (sqrt x) (cbrt z)) (- (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))))))
  (fma (- (cbrt (/ y z))) (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z)))))
  (fma (/ (sqrt x) (* (cbrt z) (cbrt z))) (/ (sqrt x) (cbrt z)) (- (* (sqrt (/ y z)) (sqrt (/ y z)))))
  (fma (- (sqrt (/ y z))) (sqrt (/ y z)) (* (sqrt (/ y z)) (sqrt (/ y z))))
  (fma (/ (sqrt x) (* (cbrt z) (cbrt z))) (/ (sqrt x) (cbrt z)) (- (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (cbrt y) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (fma (/ (sqrt x) (* (cbrt z) (cbrt z))) (/ (sqrt x) (cbrt z)) (- (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)))))
  (fma (- (/ (cbrt y) (sqrt z))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z))))
  (fma (/ (sqrt x) (* (cbrt z) (cbrt z))) (/ (sqrt x) (cbrt z)) (- (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1))))
  (fma (- (/ (cbrt y) z)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1)))
  (fma (/ (sqrt x) (* (cbrt z) (cbrt z))) (/ (sqrt x) (cbrt z)) (- (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (sqrt y) (cbrt z))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z)))))
  (fma (/ (sqrt x) (* (cbrt z) (cbrt z))) (/ (sqrt x) (cbrt z)) (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)))))
  (fma (- (/ (sqrt y) (sqrt z))) (/ (sqrt y) (sqrt z)) (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))))
  (fma (/ (sqrt x) (* (cbrt z) (cbrt z))) (/ (sqrt x) (cbrt z)) (- (* (/ (sqrt y) z) (/ (sqrt y) 1))))
  (fma (- (/ (sqrt y) z)) (/ (sqrt y) 1) (* (/ (sqrt y) z) (/ (sqrt y) 1)))
  (fma (/ (sqrt x) (* (cbrt z) (cbrt z))) (/ (sqrt x) (cbrt z)) (- (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))))
  (fma (- (/ y (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))
  (fma (/ (sqrt x) (* (cbrt z) (cbrt z))) (/ (sqrt x) (cbrt z)) (- (* (/ y (sqrt z)) (/ 1 (sqrt z)))))
  (fma (- (/ y (sqrt z))) (/ 1 (sqrt z)) (* (/ y (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ (sqrt x) (* (cbrt z) (cbrt z))) (/ (sqrt x) (cbrt z)) (- (* (/ y z) (/ 1 1))))
  (fma (- (/ y z)) (/ 1 1) (* (/ y z) (/ 1 1)))
  (fma (/ (sqrt x) (* (cbrt z) (cbrt z))) (/ (sqrt x) (cbrt z)) (- (* (/ y z) 1)))
  (fma (- (/ y z)) 1 (* (/ y z) 1))
  (fma (/ (sqrt x) (* (cbrt z) (cbrt z))) (/ (sqrt x) (cbrt z)) (- (* (/ 1 z) y)))
  (fma (- (/ 1 z)) y (* (/ 1 z) y))
  (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (- (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))))))
  (fma (- (cbrt (/ y z))) (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z)))))
  (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (- (* (sqrt (/ y z)) (sqrt (/ y z)))))
  (fma (- (sqrt (/ y z))) (sqrt (/ y z)) (* (sqrt (/ y z)) (sqrt (/ y z))))
  (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (- (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (cbrt y) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (- (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)))))
  (fma (- (/ (cbrt y) (sqrt z))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z))))
  (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (- (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1))))
  (fma (- (/ (cbrt y) z)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1)))
  (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (- (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (sqrt y) (cbrt z))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z)))))
  (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)))))
  (fma (- (/ (sqrt y) (sqrt z))) (/ (sqrt y) (sqrt z)) (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))))
  (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (- (* (/ (sqrt y) z) (/ (sqrt y) 1))))
  (fma (- (/ (sqrt y) z)) (/ (sqrt y) 1) (* (/ (sqrt y) z) (/ (sqrt y) 1)))
  (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (- (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))))
  (fma (- (/ y (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))
  (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (- (* (/ y (sqrt z)) (/ 1 (sqrt z)))))
  (fma (- (/ y (sqrt z))) (/ 1 (sqrt z)) (* (/ y (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (- (* (/ y z) (/ 1 1))))
  (fma (- (/ y z)) (/ 1 1) (* (/ y z) (/ 1 1)))
  (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (- (* (/ y z) 1)))
  (fma (- (/ y z)) 1 (* (/ y z) 1))
  (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (- (* (/ 1 z) y)))
  (fma (- (/ 1 z)) y (* (/ 1 z) y))
  (fma (/ (sqrt x) 1) (/ (sqrt x) z) (- (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))))))
  (fma (- (cbrt (/ y z))) (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z)))))
  (fma (/ (sqrt x) 1) (/ (sqrt x) z) (- (* (sqrt (/ y z)) (sqrt (/ y z)))))
  (fma (- (sqrt (/ y z))) (sqrt (/ y z)) (* (sqrt (/ y z)) (sqrt (/ y z))))
  (fma (/ (sqrt x) 1) (/ (sqrt x) z) (- (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (cbrt y) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (fma (/ (sqrt x) 1) (/ (sqrt x) z) (- (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)))))
  (fma (- (/ (cbrt y) (sqrt z))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z))))
  (fma (/ (sqrt x) 1) (/ (sqrt x) z) (- (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1))))
  (fma (- (/ (cbrt y) z)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1)))
  (fma (/ (sqrt x) 1) (/ (sqrt x) z) (- (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (sqrt y) (cbrt z))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z)))))
  (fma (/ (sqrt x) 1) (/ (sqrt x) z) (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)))))
  (fma (- (/ (sqrt y) (sqrt z))) (/ (sqrt y) (sqrt z)) (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))))
  (fma (/ (sqrt x) 1) (/ (sqrt x) z) (- (* (/ (sqrt y) z) (/ (sqrt y) 1))))
  (fma (- (/ (sqrt y) z)) (/ (sqrt y) 1) (* (/ (sqrt y) z) (/ (sqrt y) 1)))
  (fma (/ (sqrt x) 1) (/ (sqrt x) z) (- (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))))
  (fma (- (/ y (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))
  (fma (/ (sqrt x) 1) (/ (sqrt x) z) (- (* (/ y (sqrt z)) (/ 1 (sqrt z)))))
  (fma (- (/ y (sqrt z))) (/ 1 (sqrt z)) (* (/ y (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ (sqrt x) 1) (/ (sqrt x) z) (- (* (/ y z) (/ 1 1))))
  (fma (- (/ y z)) (/ 1 1) (* (/ y z) (/ 1 1)))
  (fma (/ (sqrt x) 1) (/ (sqrt x) z) (- (* (/ y z) 1)))
  (fma (- (/ y z)) 1 (* (/ y z) 1))
  (fma (/ (sqrt x) 1) (/ (sqrt x) z) (- (* (/ 1 z) y)))
  (fma (- (/ 1 z)) y (* (/ 1 z) y))
  (fma (/ 1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (- (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))))))
  (fma (- (cbrt (/ y z))) (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z)))))
  (fma (/ 1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (- (* (sqrt (/ y z)) (sqrt (/ y z)))))
  (fma (- (sqrt (/ y z))) (sqrt (/ y z)) (* (sqrt (/ y z)) (sqrt (/ y z))))
  (fma (/ 1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (- (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (cbrt y) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (fma (/ 1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (- (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)))))
  (fma (- (/ (cbrt y) (sqrt z))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z))))
  (fma (/ 1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (- (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1))))
  (fma (- (/ (cbrt y) z)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1)))
  (fma (/ 1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (- (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (sqrt y) (cbrt z))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z)))))
  (fma (/ 1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)))))
  (fma (- (/ (sqrt y) (sqrt z))) (/ (sqrt y) (sqrt z)) (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))))
  (fma (/ 1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (- (* (/ (sqrt y) z) (/ (sqrt y) 1))))
  (fma (- (/ (sqrt y) z)) (/ (sqrt y) 1) (* (/ (sqrt y) z) (/ (sqrt y) 1)))
  (fma (/ 1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (- (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))))
  (fma (- (/ y (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))
  (fma (/ 1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (- (* (/ y (sqrt z)) (/ 1 (sqrt z)))))
  (fma (- (/ y (sqrt z))) (/ 1 (sqrt z)) (* (/ y (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ 1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (- (* (/ y z) (/ 1 1))))
  (fma (- (/ y z)) (/ 1 1) (* (/ y z) (/ 1 1)))
  (fma (/ 1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (- (* (/ y z) 1)))
  (fma (- (/ y z)) 1 (* (/ y z) 1))
  (fma (/ 1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (- (* (/ 1 z) y)))
  (fma (- (/ 1 z)) y (* (/ 1 z) y))
  (fma (/ 1 (sqrt z)) (/ x (sqrt z)) (- (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))))))
  (fma (- (cbrt (/ y z))) (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z)))))
  (fma (/ 1 (sqrt z)) (/ x (sqrt z)) (- (* (sqrt (/ y z)) (sqrt (/ y z)))))
  (fma (- (sqrt (/ y z))) (sqrt (/ y z)) (* (sqrt (/ y z)) (sqrt (/ y z))))
  (fma (/ 1 (sqrt z)) (/ x (sqrt z)) (- (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (cbrt y) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (fma (/ 1 (sqrt z)) (/ x (sqrt z)) (- (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)))))
  (fma (- (/ (cbrt y) (sqrt z))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z))))
  (fma (/ 1 (sqrt z)) (/ x (sqrt z)) (- (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1))))
  (fma (- (/ (cbrt y) z)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1)))
  (fma (/ 1 (sqrt z)) (/ x (sqrt z)) (- (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (sqrt y) (cbrt z))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z)))))
  (fma (/ 1 (sqrt z)) (/ x (sqrt z)) (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)))))
  (fma (- (/ (sqrt y) (sqrt z))) (/ (sqrt y) (sqrt z)) (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))))
  (fma (/ 1 (sqrt z)) (/ x (sqrt z)) (- (* (/ (sqrt y) z) (/ (sqrt y) 1))))
  (fma (- (/ (sqrt y) z)) (/ (sqrt y) 1) (* (/ (sqrt y) z) (/ (sqrt y) 1)))
  (fma (/ 1 (sqrt z)) (/ x (sqrt z)) (- (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))))
  (fma (- (/ y (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))
  (fma (/ 1 (sqrt z)) (/ x (sqrt z)) (- (* (/ y (sqrt z)) (/ 1 (sqrt z)))))
  (fma (- (/ y (sqrt z))) (/ 1 (sqrt z)) (* (/ y (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ 1 (sqrt z)) (/ x (sqrt z)) (- (* (/ y z) (/ 1 1))))
  (fma (- (/ y z)) (/ 1 1) (* (/ y z) (/ 1 1)))
  (fma (/ 1 (sqrt z)) (/ x (sqrt z)) (- (* (/ y z) 1)))
  (fma (- (/ y z)) 1 (* (/ y z) 1))
  (fma (/ 1 (sqrt z)) (/ x (sqrt z)) (- (* (/ 1 z) y)))
  (fma (- (/ 1 z)) y (* (/ 1 z) y))
  (fma (/ 1 1) (/ x z) (- (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))))))
  (fma (- (cbrt (/ y z))) (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z)))))
  (fma (/ 1 1) (/ x z) (- (* (sqrt (/ y z)) (sqrt (/ y z)))))
  (fma (- (sqrt (/ y z))) (sqrt (/ y z)) (* (sqrt (/ y z)) (sqrt (/ y z))))
  (fma (/ 1 1) (/ x z) (- (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (cbrt y) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (fma (/ 1 1) (/ x z) (- (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)))))
  (fma (- (/ (cbrt y) (sqrt z))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z))))
  (fma (/ 1 1) (/ x z) (- (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1))))
  (fma (- (/ (cbrt y) z)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1)))
  (fma (/ 1 1) (/ x z) (- (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (sqrt y) (cbrt z))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z)))))
  (fma (/ 1 1) (/ x z) (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)))))
  (fma (- (/ (sqrt y) (sqrt z))) (/ (sqrt y) (sqrt z)) (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))))
  (fma (/ 1 1) (/ x z) (- (* (/ (sqrt y) z) (/ (sqrt y) 1))))
  (fma (- (/ (sqrt y) z)) (/ (sqrt y) 1) (* (/ (sqrt y) z) (/ (sqrt y) 1)))
  (fma (/ 1 1) (/ x z) (- (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))))
  (fma (- (/ y (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))
  (fma (/ 1 1) (/ x z) (- (* (/ y (sqrt z)) (/ 1 (sqrt z)))))
  (fma (- (/ y (sqrt z))) (/ 1 (sqrt z)) (* (/ y (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ 1 1) (/ x z) (- (* (/ y z) (/ 1 1))))
  (fma (- (/ y z)) (/ 1 1) (* (/ y z) (/ 1 1)))
  (fma (/ 1 1) (/ x z) (- (* (/ y z) 1)))
  (fma (- (/ y z)) 1 (* (/ y z) 1))
  (fma (/ 1 1) (/ x z) (- (* (/ 1 z) y)))
  (fma (- (/ 1 z)) y (* (/ 1 z) y))
  (fma 1 (/ x z) (- (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))))))
  (fma (- (cbrt (/ y z))) (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z)))))
  (fma 1 (/ x z) (- (* (sqrt (/ y z)) (sqrt (/ y z)))))
  (fma (- (sqrt (/ y z))) (sqrt (/ y z)) (* (sqrt (/ y z)) (sqrt (/ y z))))
  (fma 1 (/ x z) (- (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (cbrt y) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (fma 1 (/ x z) (- (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)))))
  (fma (- (/ (cbrt y) (sqrt z))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z))))
  (fma 1 (/ x z) (- (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1))))
  (fma (- (/ (cbrt y) z)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1)))
  (fma 1 (/ x z) (- (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (sqrt y) (cbrt z))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z)))))
  (fma 1 (/ x z) (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)))))
  (fma (- (/ (sqrt y) (sqrt z))) (/ (sqrt y) (sqrt z)) (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))))
  (fma 1 (/ x z) (- (* (/ (sqrt y) z) (/ (sqrt y) 1))))
  (fma (- (/ (sqrt y) z)) (/ (sqrt y) 1) (* (/ (sqrt y) z) (/ (sqrt y) 1)))
  (fma 1 (/ x z) (- (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))))
  (fma (- (/ y (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))
  (fma 1 (/ x z) (- (* (/ y (sqrt z)) (/ 1 (sqrt z)))))
  (fma (- (/ y (sqrt z))) (/ 1 (sqrt z)) (* (/ y (sqrt z)) (/ 1 (sqrt z))))
  (fma 1 (/ x z) (- (* (/ y z) (/ 1 1))))
  (fma (- (/ y z)) (/ 1 1) (* (/ y z) (/ 1 1)))
  (fma 1 (/ x z) (- (* (/ y z) 1)))
  (fma (- (/ y z)) 1 (* (/ y z) 1))
  (fma 1 (/ x z) (- (* (/ 1 z) y)))
  (fma (- (/ 1 z)) y (* (/ 1 z) y))
  (fma x (/ 1 z) (- (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z))))))
  (fma (- (cbrt (/ y z))) (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) (* (cbrt (/ y z)) (cbrt (/ y z)))))
  (fma x (/ 1 z) (- (* (sqrt (/ y z)) (sqrt (/ y z)))))
  (fma (- (sqrt (/ y z))) (sqrt (/ y z)) (* (sqrt (/ y z)) (sqrt (/ y z))))
  (fma x (/ 1 z) (- (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (cbrt y) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (fma x (/ 1 z) (- (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z)))))
  (fma (- (/ (cbrt y) (sqrt z))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (/ (cbrt y) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (sqrt z))))
  (fma x (/ 1 z) (- (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1))))
  (fma (- (/ (cbrt y) z)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) (/ (* (cbrt y) (cbrt y)) 1)))
  (fma x (/ 1 z) (- (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (sqrt y) (cbrt z))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z)))))
  (fma x (/ 1 z) (- (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)))))
  (fma (- (/ (sqrt y) (sqrt z))) (/ (sqrt y) (sqrt z)) (* (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z))))
  (fma x (/ 1 z) (- (* (/ (sqrt y) z) (/ (sqrt y) 1))))
  (fma (- (/ (sqrt y) z)) (/ (sqrt y) 1) (* (/ (sqrt y) z) (/ (sqrt y) 1)))
  (fma x (/ 1 z) (- (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))))
  (fma (- (/ y (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ y (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))
  (fma x (/ 1 z) (- (* (/ y (sqrt z)) (/ 1 (sqrt z)))))
  (fma (- (/ y (sqrt z))) (/ 1 (sqrt z)) (* (/ y (sqrt z)) (/ 1 (sqrt z))))
  (fma x (/ 1 z) (- (* (/ y z) (/ 1 1))))
  (fma (- (/ y z)) (/ 1 1) (* (/ y z) (/ 1 1)))
  (fma x (/ 1 z) (- (* (/ y z) 1)))
  (fma (- (/ y z)) 1 (* (/ y z) 1))
  (fma x (/ 1 z) (- (* (/ 1 z) y)))
  (fma (- (/ 1 z)) y (* (/ 1 z) y))
  (expm1 (- (/ x z) (/ y z)))
  (log1p (- (/ x z) (/ y z)))
  (- (/ y z))
  (- (/ y z))
  (- (/ y z))
  (- (/ y z))
  (- (/ y z))
  (- (/ y z))
  (- (/ y z))
  (- (/ y z))
  (- (/ y z))
  (- (/ y z))
  (- (/ y z))
  (- (/ y z))
  (- (/ y z))
  (/ (exp (/ x z)) (exp (/ y z)))
  (log (- (/ x z) (/ y z)))
  (exp (- (/ x z) (/ y z)))
  (* (cbrt (- (/ x z) (/ y z))) (cbrt (- (/ x z) (/ y z))))
  (cbrt (- (/ x z) (/ y z)))
  (* (* (- (/ x z) (/ y z)) (- (/ x z) (/ y z))) (- (/ x z) (/ y z)))
  (sqrt (- (/ x z) (/ y z)))
  (sqrt (- (/ x z) (/ y z)))
  (- x y)
  (- (* x z) (* z y))
  (* z z)
  (- (pow (/ x z) 3) (pow (/ y z) 3))
  (+ (* (/ x z) (/ x z)) (+ (* (/ y z) (/ y z)) (* (/ x z) (/ y z))))
  (- (/ y z))
  (- (* (/ x z) (/ x z)) (* (/ y z) (/ y z)))
  (+ (/ x z) (/ y z))
  (+ (sqrt (/ x z)) (sqrt (/ y z)))
  (- (sqrt (/ x z)) (sqrt (/ y z)))
  (+ (sqrt (/ x z)) (/ (sqrt y) (sqrt z)))
  (- (sqrt (/ x z)) (/ (sqrt y) (sqrt z)))
  (+ (/ (sqrt x) (sqrt z)) (sqrt (/ y z)))
  (- (/ (sqrt x) (sqrt z)) (sqrt (/ y z)))
  (+ (/ (sqrt x) (sqrt z)) (/ (sqrt y) (sqrt z)))
  (- (/ (sqrt x) (sqrt z)) (/ (sqrt y) (sqrt z)))
  (- (/ x (cbrt z)) (/ y (cbrt z)))
  (- (/ x (sqrt z)) (/ y (sqrt z)))
  (- (/ x z) (/ y z))
  (- (/ x z) (/ y z))
  (- x y)
  (- (/ y z))
  (- (/ x z) (/ y z))
  (- (/ x z) (/ y z))
  (- (/ x z) (/ y z))
3.620 * * [simplify]: iteration 0: 310 enodes
3.695 * * [simplify]: iteration 1: 706 enodes
3.963 * * [simplify]: iteration 2: 2147 enodes
5.633 * * [simplify]: iteration complete: 5001 enodes
5.634 * * [simplify]: Extracting #0: cost 56 inf + 0
5.636 * * [simplify]: Extracting #1: cost 416 inf + 1
5.641 * * [simplify]: Extracting #2: cost 944 inf + 34
5.647 * * [simplify]: Extracting #3: cost 761 inf + 1110
5.651 * * [simplify]: Extracting #4: cost 205 inf + 4995
5.655 * * [simplify]: Extracting #5: cost 12 inf + 6603
5.660 * * [simplify]: Extracting #6: cost 0 inf + 6708
5.670 * [simplify]: Simplified to:
  (- (pow (cbrt (/ x z)) 3) (/ y z))
  0
  (- (pow (cbrt (/ x z)) 3) (/ y z))
  0
  (- (pow (cbrt (/ x z)) 3) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (pow (cbrt (/ x z)) 3) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (- (pow (cbrt (/ x z)) 3) (/ y z))
  0
  (- (pow (cbrt (/ x z)) 3) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (pow (cbrt (/ x z)) 3) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (- (pow (cbrt (/ x z)) 3) (/ y z))
  0
  (- (pow (cbrt (/ x z)) 3) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (pow (cbrt (/ x z)) 3) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (- (pow (cbrt (/ x z)) 3) (/ y z))
  0
  (- (pow (cbrt (/ x z)) 3) (/ y z))
  0
  (- (pow (cbrt (/ x z)) 3) (/ y z))
  0
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (/ x z) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (/ x z) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (/ x z) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y z))
  0
  (- (pow (/ (cbrt x) (cbrt z)) 3) (/ y z))
  0
  (- (pow (/ (cbrt x) (cbrt z)) 3) (/ y z))
  0
  (- (pow (/ (cbrt x) (cbrt z)) 3) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (pow (/ (cbrt x) (cbrt z)) 3) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (- (pow (/ (cbrt x) (cbrt z)) 3) (/ y z))
  0
  (- (pow (/ (cbrt x) (cbrt z)) 3) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (pow (/ (cbrt x) (cbrt z)) 3) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (- (pow (/ (cbrt x) (cbrt z)) 3) (/ y z))
  0
  (- (pow (/ (cbrt x) (cbrt z)) 3) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (pow (/ (cbrt x) (cbrt z)) 3) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (- (pow (/ (cbrt x) (cbrt z)) 3) (/ y z))
  0
  (- (pow (/ (cbrt x) (cbrt z)) 3) (/ y z))
  0
  (- (pow (/ (cbrt x) (cbrt z)) 3) (/ y z))
  0
  (fma (/ (cbrt x) (sqrt z)) (* (/ (cbrt x) (sqrt z)) (cbrt x)) (/ (- y) z))
  0
  (fma (/ (cbrt x) (sqrt z)) (* (/ (cbrt x) (sqrt z)) (cbrt x)) (/ (- y) z))
  0
  (fma (/ (cbrt x) (sqrt z)) (* (/ (cbrt x) (sqrt z)) (cbrt x)) (- (/ y (pow (cbrt z) 3))))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (fma (* (/ (cbrt x) (sqrt z)) (cbrt x)) (/ (cbrt x) (sqrt z)) (- (/ (/ y (sqrt z)) (sqrt z))))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ (cbrt x) (sqrt z)) (* (/ (cbrt x) (sqrt z)) (cbrt x)) (/ (- y) z))
  0
  (fma (/ (cbrt x) (sqrt z)) (* (/ (cbrt x) (sqrt z)) (cbrt x)) (- (/ y (pow (cbrt z) 3))))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (fma (* (/ (cbrt x) (sqrt z)) (cbrt x)) (/ (cbrt x) (sqrt z)) (- (/ (/ y (sqrt z)) (sqrt z))))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ (cbrt x) (sqrt z)) (* (/ (cbrt x) (sqrt z)) (cbrt x)) (/ (- y) z))
  0
  (fma (/ (cbrt x) (sqrt z)) (* (/ (cbrt x) (sqrt z)) (cbrt x)) (- (/ y (pow (cbrt z) 3))))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (fma (* (/ (cbrt x) (sqrt z)) (cbrt x)) (/ (cbrt x) (sqrt z)) (- (/ (/ y (sqrt z)) (sqrt z))))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ (cbrt x) (sqrt z)) (* (/ (cbrt x) (sqrt z)) (cbrt x)) (/ (- y) z))
  0
  (fma (/ (cbrt x) (sqrt z)) (* (/ (cbrt x) (sqrt z)) (cbrt x)) (/ (- y) z))
  0
  (fma (/ (cbrt x) (sqrt z)) (* (/ (cbrt x) (sqrt z)) (cbrt x)) (/ (- y) z))
  0
  (fma (/ (cbrt x) z) (* (cbrt x) (cbrt x)) (- (/ y z)))
  0
  (fma (/ (cbrt x) z) (* (cbrt x) (cbrt x)) (- (/ y z)))
  0
  (fma (cbrt x) (* (cbrt x) (/ (cbrt x) z)) (- (/ y (pow (cbrt z) 3))))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (* (/ (cbrt x) z) (* (cbrt x) (cbrt x))) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ (cbrt x) z) (* (cbrt x) (cbrt x)) (- (/ y z)))
  0
  (fma (cbrt x) (* (cbrt x) (/ (cbrt x) z)) (- (/ y (pow (cbrt z) 3))))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (* (/ (cbrt x) z) (* (cbrt x) (cbrt x))) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ (cbrt x) z) (* (cbrt x) (cbrt x)) (- (/ y z)))
  0
  (fma (cbrt x) (* (cbrt x) (/ (cbrt x) z)) (- (/ y (pow (cbrt z) 3))))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (* (/ (cbrt x) z) (* (cbrt x) (cbrt x))) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ (cbrt x) z) (* (cbrt x) (cbrt x)) (- (/ y z)))
  0
  (fma (/ (cbrt x) z) (* (cbrt x) (cbrt x)) (- (/ y z)))
  0
  (fma (/ (cbrt x) z) (* (cbrt x) (cbrt x)) (- (/ y z)))
  0
  (fma (/ (sqrt x) (cbrt z)) (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (- (/ y z)))
  0
  (fma (/ (sqrt x) (cbrt z)) (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (- (/ y z)))
  0
  (fma (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (/ (sqrt x) (cbrt z)) (- (/ y (pow (cbrt z) 3))))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (fma (/ (sqrt x) (cbrt z)) (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (- (/ (/ y (sqrt z)) (sqrt z))))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ (sqrt x) (cbrt z)) (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (- (/ y z)))
  0
  (fma (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (/ (sqrt x) (cbrt z)) (- (/ y (pow (cbrt z) 3))))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (fma (/ (sqrt x) (cbrt z)) (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (- (/ (/ y (sqrt z)) (sqrt z))))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ (sqrt x) (cbrt z)) (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (- (/ y z)))
  0
  (fma (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (/ (sqrt x) (cbrt z)) (- (/ y (pow (cbrt z) 3))))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (fma (/ (sqrt x) (cbrt z)) (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (- (/ (/ y (sqrt z)) (sqrt z))))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ (sqrt x) (cbrt z)) (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (- (/ y z)))
  0
  (fma (/ (sqrt x) (cbrt z)) (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (- (/ y z)))
  0
  (fma (/ (sqrt x) (cbrt z)) (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (- (/ y z)))
  0
  (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (/ (- y) z))
  0
  (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (/ (- y) z))
  0
  (- (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z))) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (- (/ (/ y (sqrt z)) (sqrt z))))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (/ (- y) z))
  0
  (- (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z))) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (- (/ (/ y (sqrt z)) (sqrt z))))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (/ (- y) z))
  0
  (- (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z))) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (- (/ (/ y (sqrt z)) (sqrt z))))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (/ (- y) z))
  0
  (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (/ (- y) z))
  0
  (fma (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)) (/ (- y) z))
  0
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (/ x z) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (/ x z) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (/ x z) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y z))
  0
  (- (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))) (/ y z))
  0
  (- (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))) (/ y z))
  0
  (- (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (- (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))) (/ y z))
  0
  (- (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (- (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))) (/ y z))
  0
  (- (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (- (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))) (/ y z))
  0
  (- (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))) (/ y z))
  0
  (- (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))) (/ y z))
  0
  (- (/ (/ x (sqrt z)) (sqrt z)) (/ y z))
  0
  (- (/ (/ x (sqrt z)) (sqrt z)) (/ y z))
  0
  (- (/ (/ x (sqrt z)) (sqrt z)) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (/ (/ x (sqrt z)) (sqrt z)) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (- (/ (/ x (sqrt z)) (sqrt z)) (/ y z))
  0
  (- (/ (/ x (sqrt z)) (sqrt z)) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (/ (/ x (sqrt z)) (sqrt z)) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (- (/ (/ x (sqrt z)) (sqrt z)) (/ y z))
  0
  (- (/ (/ x (sqrt z)) (sqrt z)) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (/ (/ x (sqrt z)) (sqrt z)) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (- (/ (/ x (sqrt z)) (sqrt z)) (/ y z))
  0
  (- (/ (/ x (sqrt z)) (sqrt z)) (/ y z))
  0
  (- (/ (/ x (sqrt z)) (sqrt z)) (/ y z))
  0
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (/ x z) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (/ x z) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (/ x z) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (/ x z) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (/ x z) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (/ x z) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (/ x z) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (/ x z) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y (pow (cbrt z) 3)))
  (+ (- (/ y (pow (cbrt z) 3))) (/ y (pow (cbrt z) 3)))
  (- (/ x z) (/ (/ y (sqrt z)) (sqrt z)))
  (* (/ y (sqrt z)) (+ (/ -1 (sqrt z)) (/ 1 (sqrt z))))
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y z))
  0
  (- (/ x z) (/ y z))
  0
  (expm1 (- (/ x z) (/ y z)))
  (log1p (- (/ x z) (/ y z)))
  (/ (- y) z)
  (/ (- y) z)
  (/ (- y) z)
  (/ (- y) z)
  (/ (- y) z)
  (/ (- y) z)
  (/ (- y) z)
  (/ (- y) z)
  (/ (- y) z)
  (/ (- y) z)
  (/ (- y) z)
  (/ (- y) z)
  (/ (- y) z)
  (exp (- (/ x z) (/ y z)))
  (log (- (/ x z) (/ y z)))
  (exp (- (/ x z) (/ y z)))
  (* (cbrt (- (/ x z) (/ y z))) (cbrt (- (/ x z) (/ y z))))
  (cbrt (- (/ x z) (/ y z)))
  (pow (- (/ x z) (/ y z)) 3)
  (sqrt (- (/ x z) (/ y z)))
  (sqrt (- (/ x z) (/ y z)))
  (- x y)
  (* z (- x y))
  (* z z)
  (- (pow (/ x z) 3) (pow (/ y z) 3))
  (fma (+ (/ x z) (/ y z)) (/ y z) (/ (/ x z) (/ z x)))
  (/ (- y) z)
  (fma (/ (- y) z) (/ y z) (/ (/ x z) (/ z x)))
  (+ (/ x z) (/ y z))
  (+ (sqrt (/ x z)) (sqrt (/ y z)))
  (- (sqrt (/ x z)) (sqrt (/ y z)))
  (+ (/ (sqrt y) (sqrt z)) (sqrt (/ x z)))
  (- (sqrt (/ x z)) (/ (sqrt y) (sqrt z)))
  (+ (/ (sqrt x) (sqrt z)) (sqrt (/ y z)))
  (- (/ (sqrt x) (sqrt z)) (sqrt (/ y z)))
  (+ (/ (sqrt x) (sqrt z)) (/ (sqrt y) (sqrt z)))
  (- (/ (sqrt x) (sqrt z)) (/ (sqrt y) (sqrt z)))
  (- (/ x (cbrt z)) (/ y (cbrt z)))
  (- (/ x (sqrt z)) (/ y (sqrt z)))
  (- (/ x z) (/ y z))
  (- (/ x z) (/ y z))
  (- x y)
  (/ (- y) z)
  (- (/ x z) (/ y z))
  (- (/ x z) (/ y z))
  (- (/ x z) (/ y z))
5.674 * * * [progress]: adding candidates to table
6.222 * [progress]: [Phase 3 of 3] Extracting.
6.223 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (* (/ 4.0 z) (- x (fma 0.5 z y))))> #<alt (λ (x y z) (fma 4.0 (- (/ x z) (/ y z)) (- 2.0)))>)
6.223 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
6.223 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (* (/ 4.0 z) (- x (fma 0.5 z y))))> #<alt (λ (x y z) (fma 4.0 (- (/ x z) (/ y z)) (- 2.0)))>)
6.276 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (* (/ 4.0 z) (- x (fma 0.5 z y))))> #<alt (λ (x y z) (fma 4.0 (- (/ x z) (/ y z)) (- 2.0)))>)
6.312 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (* (/ 4.0 z) (- x (fma 0.5 z y))))> #<alt (λ (x y z) (fma 4.0 (- (/ x z) (/ y z)) (- 2.0)))>)
6.353 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
6.354 * [simplify]: Simplifying:
  (fma 4.0 (- (/ x z) (/ y z)) (- 2.0))
6.354 * * [simplify]: iteration 0: 10 enodes
6.354 * * [simplify]: iteration complete: 10 enodes
6.354 * * [simplify]: Extracting #0: cost 1 inf + 0
6.355 * * [simplify]: Extracting #1: cost 4 inf + 0
6.355 * * [simplify]: Extracting #2: cost 6 inf + 1
6.355 * * [simplify]: Extracting #3: cost 7 inf + 4
6.355 * * [simplify]: Extracting #4: cost 0 inf + 31
6.355 * [simplify]: Simplified to:
  (fma 4.0 (- (/ x z) (/ y z)) (- 2.0))
7.902 * [regime-testing]: Baseline error score: 0.011510864611425947
7.911 * [regime-testing]: Oracle error score: 0.003500437554694337
7.929 * [regime-testing]: End program error score: 0.011510864611425947
8.042 * [regime-testing]: Target error score: 0.011885911492286055