35.655 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.022 * * * [progress]: [2/2] Setting up program.
0.026 * [progress]: [Phase 2 of 3] Improving.
0.026 * [simplify]: Simplifying:
  (* (+ x y) (- 1.0 z))
0.026 * * [simplify]: iteration 0: 7 enodes
0.028 * * [simplify]: iteration 1: 11 enodes
0.030 * * [simplify]: iteration 2: 26 enodes
0.035 * * [simplify]: iteration 3: 56 enodes
0.048 * * [simplify]: iteration 4: 137 enodes
0.083 * * [simplify]: iteration 5: 291 enodes
0.194 * * [simplify]: iteration 6: 419 enodes
0.262 * * [simplify]: iteration 7: 507 enodes
0.379 * * [simplify]: iteration 8: 652 enodes
0.563 * * [simplify]: iteration 9: 931 enodes
0.880 * * [simplify]: iteration 10: 2054 enodes
2.163 * * [simplify]: iteration 11: 3808 enodes
3.284 * * [simplify]: iteration 12: 4336 enodes
3.730 * * [simplify]: iteration 13: 4603 enodes
4.037 * * [simplify]: iteration 14: 4866 enodes
4.189 * * [simplify]: iteration complete: 5000 enodes
4.189 * * [simplify]: Extracting #0: cost 1 inf + 0
4.189 * * [simplify]: Extracting #1: cost 34 inf + 0
4.189 * * [simplify]: Extracting #2: cost 109 inf + 0
4.190 * * [simplify]: Extracting #3: cost 97 inf + 698
4.198 * * [simplify]: Extracting #4: cost 40 inf + 6149
4.205 * * [simplify]: Extracting #5: cost 0 inf + 10862
4.213 * [simplify]: Simplified to:
  (* (- 1.0 z) (+ x y))
4.214 * * [progress]: iteration 1 / 4
4.214 * * * [progress]: picking best candidate
4.221 * * * * [pick]: Picked  #<alt (λ (x y z) (* (+ x y) (- 1.0 z)))>
4.221 * * * [progress]: localizing error
4.236 * * * [progress]: generating rewritten candidates
4.236 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
4.283 * * * [progress]: generating series expansions
4.283 * * * * [progress]: [ 1 / 1 ] generating series at (2)
4.283 * [backup-simplify]: Simplify (* (+ x y) (- 1.0 z)) into (* (+ x y) (- 1.0 z))
4.283 * [approximate]: Taking taylor expansion of (* (+ x y) (- 1.0 z)) in (x y z) around 0
4.283 * [taylor]: Taking taylor expansion of (* (+ x y) (- 1.0 z)) in z
4.283 * [taylor]: Taking taylor expansion of (+ x y) in z
4.283 * [taylor]: Taking taylor expansion of x in z
4.283 * [backup-simplify]: Simplify x into x
4.283 * [taylor]: Taking taylor expansion of y in z
4.283 * [backup-simplify]: Simplify y into y
4.283 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
4.283 * [taylor]: Taking taylor expansion of 1.0 in z
4.283 * [backup-simplify]: Simplify 1.0 into 1.0
4.283 * [taylor]: Taking taylor expansion of z in z
4.283 * [backup-simplify]: Simplify 0 into 0
4.283 * [backup-simplify]: Simplify 1 into 1
4.283 * [taylor]: Taking taylor expansion of (* (+ x y) (- 1.0 z)) in y
4.283 * [taylor]: Taking taylor expansion of (+ x y) in y
4.283 * [taylor]: Taking taylor expansion of x in y
4.283 * [backup-simplify]: Simplify x into x
4.283 * [taylor]: Taking taylor expansion of y in y
4.283 * [backup-simplify]: Simplify 0 into 0
4.283 * [backup-simplify]: Simplify 1 into 1
4.283 * [taylor]: Taking taylor expansion of (- 1.0 z) in y
4.283 * [taylor]: Taking taylor expansion of 1.0 in y
4.284 * [backup-simplify]: Simplify 1.0 into 1.0
4.284 * [taylor]: Taking taylor expansion of z in y
4.284 * [backup-simplify]: Simplify z into z
4.284 * [taylor]: Taking taylor expansion of (* (+ x y) (- 1.0 z)) in x
4.284 * [taylor]: Taking taylor expansion of (+ x y) in x
4.284 * [taylor]: Taking taylor expansion of x in x
4.284 * [backup-simplify]: Simplify 0 into 0
4.284 * [backup-simplify]: Simplify 1 into 1
4.284 * [taylor]: Taking taylor expansion of y in x
4.284 * [backup-simplify]: Simplify y into y
4.284 * [taylor]: Taking taylor expansion of (- 1.0 z) in x
4.284 * [taylor]: Taking taylor expansion of 1.0 in x
4.284 * [backup-simplify]: Simplify 1.0 into 1.0
4.284 * [taylor]: Taking taylor expansion of z in x
4.284 * [backup-simplify]: Simplify z into z
4.284 * [taylor]: Taking taylor expansion of (* (+ x y) (- 1.0 z)) in x
4.284 * [taylor]: Taking taylor expansion of (+ x y) in x
4.284 * [taylor]: Taking taylor expansion of x in x
4.284 * [backup-simplify]: Simplify 0 into 0
4.284 * [backup-simplify]: Simplify 1 into 1
4.284 * [taylor]: Taking taylor expansion of y in x
4.284 * [backup-simplify]: Simplify y into y
4.284 * [taylor]: Taking taylor expansion of (- 1.0 z) in x
4.284 * [taylor]: Taking taylor expansion of 1.0 in x
4.284 * [backup-simplify]: Simplify 1.0 into 1.0
4.284 * [taylor]: Taking taylor expansion of z in x
4.284 * [backup-simplify]: Simplify z into z
4.284 * [backup-simplify]: Simplify (+ 0 y) into y
4.284 * [backup-simplify]: Simplify (- z) into (- z)
4.284 * [backup-simplify]: Simplify (+ 1.0 (- z)) into (- 1.0 z)
4.284 * [backup-simplify]: Simplify (* y (- 1.0 z)) into (* y (- 1.0 z))
4.284 * [taylor]: Taking taylor expansion of (* y (- 1.0 z)) in y
4.284 * [taylor]: Taking taylor expansion of y in y
4.284 * [backup-simplify]: Simplify 0 into 0
4.284 * [backup-simplify]: Simplify 1 into 1
4.284 * [taylor]: Taking taylor expansion of (- 1.0 z) in y
4.284 * [taylor]: Taking taylor expansion of 1.0 in y
4.284 * [backup-simplify]: Simplify 1.0 into 1.0
4.284 * [taylor]: Taking taylor expansion of z in y
4.284 * [backup-simplify]: Simplify z into z
4.284 * [backup-simplify]: Simplify (- z) into (- z)
4.284 * [backup-simplify]: Simplify (+ 1.0 (- z)) into (- 1.0 z)
4.284 * [backup-simplify]: Simplify (* 0 (- 1.0 z)) into 0
4.284 * [taylor]: Taking taylor expansion of 0 in z
4.284 * [backup-simplify]: Simplify 0 into 0
4.284 * [backup-simplify]: Simplify 0 into 0
4.285 * [backup-simplify]: Simplify (- 0) into 0
4.285 * [backup-simplify]: Simplify (+ 0 0) into 0
4.285 * [backup-simplify]: Simplify (+ 1 0) into 1
4.285 * [backup-simplify]: Simplify (+ (* y 0) (* 1 (- 1.0 z))) into (- 1.0 z)
4.285 * [taylor]: Taking taylor expansion of (- 1.0 z) in y
4.285 * [taylor]: Taking taylor expansion of 1.0 in y
4.286 * [backup-simplify]: Simplify 1.0 into 1.0
4.286 * [taylor]: Taking taylor expansion of z in y
4.286 * [backup-simplify]: Simplify z into z
4.286 * [backup-simplify]: Simplify (- z) into (- z)
4.286 * [backup-simplify]: Simplify (+ 1.0 (- z)) into (- 1.0 z)
4.286 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
4.286 * [taylor]: Taking taylor expansion of 1.0 in z
4.286 * [backup-simplify]: Simplify 1.0 into 1.0
4.286 * [taylor]: Taking taylor expansion of z in z
4.286 * [backup-simplify]: Simplify 0 into 0
4.286 * [backup-simplify]: Simplify 1 into 1
4.286 * [backup-simplify]: Simplify (- 0) into 0
4.286 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.286 * [backup-simplify]: Simplify 1.0 into 1.0
4.287 * [backup-simplify]: Simplify (- 0) into 0
4.287 * [backup-simplify]: Simplify (+ 0 0) into 0
4.287 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- 1.0 z))) into (- 1.0 z)
4.287 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
4.287 * [taylor]: Taking taylor expansion of 1.0 in z
4.287 * [backup-simplify]: Simplify 1.0 into 1.0
4.287 * [taylor]: Taking taylor expansion of z in z
4.287 * [backup-simplify]: Simplify 0 into 0
4.287 * [backup-simplify]: Simplify 1 into 1
4.287 * [backup-simplify]: Simplify (- 0) into 0
4.288 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.288 * [backup-simplify]: Simplify 1.0 into 1.0
4.288 * [backup-simplify]: Simplify 0 into 0
4.288 * [backup-simplify]: Simplify (- 0) into 0
4.288 * [backup-simplify]: Simplify (+ 0 0) into 0
4.289 * [backup-simplify]: Simplify (+ 0 0) into 0
4.289 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 1 0) (* 0 (- 1.0 z)))) into 0
4.289 * [taylor]: Taking taylor expansion of 0 in y
4.289 * [backup-simplify]: Simplify 0 into 0
4.289 * [taylor]: Taking taylor expansion of 0 in z
4.289 * [backup-simplify]: Simplify 0 into 0
4.289 * [backup-simplify]: Simplify 0 into 0
4.289 * [backup-simplify]: Simplify (- 0) into 0
4.289 * [backup-simplify]: Simplify (+ 0 0) into 0
4.289 * [taylor]: Taking taylor expansion of 0 in z
4.289 * [backup-simplify]: Simplify 0 into 0
4.289 * [backup-simplify]: Simplify 0 into 0
4.290 * [backup-simplify]: Simplify (- 0) into 0
4.290 * [backup-simplify]: Simplify (+ 0 0) into 0
4.291 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- 1.0 z)))) into 0
4.291 * [taylor]: Taking taylor expansion of 0 in z
4.291 * [backup-simplify]: Simplify 0 into 0
4.291 * [backup-simplify]: Simplify 0 into 0
4.291 * [backup-simplify]: Simplify (- 1) into -1
4.291 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.291 * [backup-simplify]: Simplify -1 into -1
4.291 * [backup-simplify]: Simplify (+ (* -1 (* z (* 1 x))) (+ (* 1.0 (* 1 (* y 1))) (* 1.0 (* 1 (* 1 x))))) into (- (+ (* 1.0 x) (* 1.0 y)) (* x z))
4.291 * [backup-simplify]: Simplify (* (+ (/ 1 x) (/ 1 y)) (- 1.0 (/ 1 z))) into (* (- 1.0 (/ 1 z)) (+ (/ 1 x) (/ 1 y)))
4.291 * [approximate]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (+ (/ 1 x) (/ 1 y))) in (x y z) around 0
4.292 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (+ (/ 1 x) (/ 1 y))) in z
4.292 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
4.292 * [taylor]: Taking taylor expansion of 1.0 in z
4.292 * [backup-simplify]: Simplify 1.0 into 1.0
4.292 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.292 * [taylor]: Taking taylor expansion of z in z
4.292 * [backup-simplify]: Simplify 0 into 0
4.292 * [backup-simplify]: Simplify 1 into 1
4.292 * [backup-simplify]: Simplify (/ 1 1) into 1
4.292 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z
4.292 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.292 * [taylor]: Taking taylor expansion of x in z
4.292 * [backup-simplify]: Simplify x into x
4.292 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.292 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.292 * [taylor]: Taking taylor expansion of y in z
4.292 * [backup-simplify]: Simplify y into y
4.292 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.292 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (+ (/ 1 x) (/ 1 y))) in y
4.292 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y
4.292 * [taylor]: Taking taylor expansion of 1.0 in y
4.292 * [backup-simplify]: Simplify 1.0 into 1.0
4.292 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.292 * [taylor]: Taking taylor expansion of z in y
4.292 * [backup-simplify]: Simplify z into z
4.292 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.292 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
4.292 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.292 * [taylor]: Taking taylor expansion of x in y
4.292 * [backup-simplify]: Simplify x into x
4.292 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.292 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.292 * [taylor]: Taking taylor expansion of y in y
4.292 * [backup-simplify]: Simplify 0 into 0
4.292 * [backup-simplify]: Simplify 1 into 1
4.293 * [backup-simplify]: Simplify (/ 1 1) into 1
4.293 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (+ (/ 1 x) (/ 1 y))) in x
4.293 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x
4.293 * [taylor]: Taking taylor expansion of 1.0 in x
4.293 * [backup-simplify]: Simplify 1.0 into 1.0
4.293 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.293 * [taylor]: Taking taylor expansion of z in x
4.293 * [backup-simplify]: Simplify z into z
4.293 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.293 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
4.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.293 * [taylor]: Taking taylor expansion of x in x
4.293 * [backup-simplify]: Simplify 0 into 0
4.293 * [backup-simplify]: Simplify 1 into 1
4.293 * [backup-simplify]: Simplify (/ 1 1) into 1
4.293 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.293 * [taylor]: Taking taylor expansion of y in x
4.293 * [backup-simplify]: Simplify y into y
4.293 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.293 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (+ (/ 1 x) (/ 1 y))) in x
4.293 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x
4.293 * [taylor]: Taking taylor expansion of 1.0 in x
4.293 * [backup-simplify]: Simplify 1.0 into 1.0
4.293 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.293 * [taylor]: Taking taylor expansion of z in x
4.293 * [backup-simplify]: Simplify z into z
4.293 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.293 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
4.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.293 * [taylor]: Taking taylor expansion of x in x
4.293 * [backup-simplify]: Simplify 0 into 0
4.294 * [backup-simplify]: Simplify 1 into 1
4.294 * [backup-simplify]: Simplify (/ 1 1) into 1
4.294 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.294 * [taylor]: Taking taylor expansion of y in x
4.294 * [backup-simplify]: Simplify y into y
4.294 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.294 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
4.294 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 z))) into (- 1.0 (/ 1 z))
4.294 * [backup-simplify]: Simplify (+ 1 0) into 1
4.294 * [backup-simplify]: Simplify (* (- 1.0 (/ 1 z)) 1) into (- 1.0 (/ 1 z))
4.294 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y
4.294 * [taylor]: Taking taylor expansion of 1.0 in y
4.294 * [backup-simplify]: Simplify 1.0 into 1.0
4.294 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.294 * [taylor]: Taking taylor expansion of z in y
4.294 * [backup-simplify]: Simplify z into z
4.295 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.295 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.295 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
4.295 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.295 * [backup-simplify]: Simplify (- 0) into 0
4.296 * [backup-simplify]: Simplify (+ 0 0) into 0
4.296 * [backup-simplify]: Simplify (+ (* (- 1.0 (/ 1 z)) (/ 1 y)) (* 0 1)) into (- (* 1.0 (/ 1 y)) (/ 1 (* z y)))
4.296 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y)) (/ 1 (* z y))) in y
4.296 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y
4.296 * [taylor]: Taking taylor expansion of 1.0 in y
4.296 * [backup-simplify]: Simplify 1.0 into 1.0
4.296 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.296 * [taylor]: Taking taylor expansion of y in y
4.296 * [backup-simplify]: Simplify 0 into 0
4.296 * [backup-simplify]: Simplify 1 into 1
4.297 * [backup-simplify]: Simplify (/ 1 1) into 1
4.297 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
4.297 * [taylor]: Taking taylor expansion of (* z y) in y
4.297 * [taylor]: Taking taylor expansion of z in y
4.297 * [backup-simplify]: Simplify z into z
4.297 * [taylor]: Taking taylor expansion of y in y
4.297 * [backup-simplify]: Simplify 0 into 0
4.297 * [backup-simplify]: Simplify 1 into 1
4.297 * [backup-simplify]: Simplify (* z 0) into 0
4.297 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.297 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.297 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
4.297 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
4.297 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 z))) into (- 1.0 (/ 1 z))
4.297 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
4.297 * [taylor]: Taking taylor expansion of 1.0 in z
4.297 * [backup-simplify]: Simplify 1.0 into 1.0
4.298 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.298 * [taylor]: Taking taylor expansion of z in z
4.298 * [backup-simplify]: Simplify 0 into 0
4.298 * [backup-simplify]: Simplify 1 into 1
4.298 * [backup-simplify]: Simplify (/ 1 1) into 1
4.298 * [backup-simplify]: Simplify (- 1) into -1
4.298 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.298 * [backup-simplify]: Simplify -1 into -1
4.298 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
4.298 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 z))) into (- 1.0 (/ 1 z))
4.298 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
4.299 * [taylor]: Taking taylor expansion of 1.0 in z
4.299 * [backup-simplify]: Simplify 1.0 into 1.0
4.299 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.299 * [taylor]: Taking taylor expansion of z in z
4.299 * [backup-simplify]: Simplify 0 into 0
4.299 * [backup-simplify]: Simplify 1 into 1
4.299 * [backup-simplify]: Simplify (/ 1 1) into 1
4.299 * [backup-simplify]: Simplify (- 1) into -1
4.299 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.299 * [backup-simplify]: Simplify -1 into -1
4.300 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.300 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.300 * [backup-simplify]: Simplify (+ 0 0) into 0
4.300 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.301 * [backup-simplify]: Simplify (- 0) into 0
4.301 * [backup-simplify]: Simplify (+ 0 0) into 0
4.301 * [backup-simplify]: Simplify (+ (* (- 1.0 (/ 1 z)) 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0
4.301 * [taylor]: Taking taylor expansion of 0 in y
4.301 * [backup-simplify]: Simplify 0 into 0
4.302 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.302 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
4.303 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
4.303 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.303 * [backup-simplify]: Simplify (- 0) into 0
4.303 * [backup-simplify]: Simplify (+ 0 0) into 0
4.303 * [taylor]: Taking taylor expansion of 0 in z
4.303 * [backup-simplify]: Simplify 0 into 0
4.303 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.303 * [backup-simplify]: Simplify (- 0) into 0
4.304 * [backup-simplify]: Simplify (+ 0 0) into 0
4.304 * [taylor]: Taking taylor expansion of 0 in z
4.304 * [backup-simplify]: Simplify 0 into 0
4.304 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.304 * [backup-simplify]: Simplify (- 0) into 0
4.305 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.305 * [backup-simplify]: Simplify 1.0 into 1.0
4.305 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (* (/ 1 (/ 1 y)) 1))) (+ (* -1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) 1))))) into (- (* 1.0 y) (+ (* z y) (* x z)))
4.305 * [backup-simplify]: Simplify (* (+ (/ 1 (- x)) (/ 1 (- y))) (- 1.0 (/ 1 (- z)))) into (* -1 (* (+ 1.0 (/ 1 z)) (+ (/ 1 x) (/ 1 y))))
4.305 * [approximate]: Taking taylor expansion of (* -1 (* (+ 1.0 (/ 1 z)) (+ (/ 1 x) (/ 1 y)))) in (x y z) around 0
4.305 * [taylor]: Taking taylor expansion of (* -1 (* (+ 1.0 (/ 1 z)) (+ (/ 1 x) (/ 1 y)))) in z
4.305 * [taylor]: Taking taylor expansion of -1 in z
4.305 * [backup-simplify]: Simplify -1 into -1
4.306 * [taylor]: Taking taylor expansion of (* (+ 1.0 (/ 1 z)) (+ (/ 1 x) (/ 1 y))) in z
4.306 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 z)) in z
4.306 * [taylor]: Taking taylor expansion of 1.0 in z
4.306 * [backup-simplify]: Simplify 1.0 into 1.0
4.306 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.306 * [taylor]: Taking taylor expansion of z in z
4.306 * [backup-simplify]: Simplify 0 into 0
4.306 * [backup-simplify]: Simplify 1 into 1
4.306 * [backup-simplify]: Simplify (/ 1 1) into 1
4.306 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z
4.306 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.306 * [taylor]: Taking taylor expansion of x in z
4.306 * [backup-simplify]: Simplify x into x
4.306 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.306 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.306 * [taylor]: Taking taylor expansion of y in z
4.306 * [backup-simplify]: Simplify y into y
4.306 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.306 * [taylor]: Taking taylor expansion of (* -1 (* (+ 1.0 (/ 1 z)) (+ (/ 1 x) (/ 1 y)))) in y
4.306 * [taylor]: Taking taylor expansion of -1 in y
4.306 * [backup-simplify]: Simplify -1 into -1
4.306 * [taylor]: Taking taylor expansion of (* (+ 1.0 (/ 1 z)) (+ (/ 1 x) (/ 1 y))) in y
4.306 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 z)) in y
4.306 * [taylor]: Taking taylor expansion of 1.0 in y
4.306 * [backup-simplify]: Simplify 1.0 into 1.0
4.306 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.306 * [taylor]: Taking taylor expansion of z in y
4.306 * [backup-simplify]: Simplify z into z
4.306 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.306 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
4.306 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.306 * [taylor]: Taking taylor expansion of x in y
4.306 * [backup-simplify]: Simplify x into x
4.306 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.306 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.306 * [taylor]: Taking taylor expansion of y in y
4.306 * [backup-simplify]: Simplify 0 into 0
4.306 * [backup-simplify]: Simplify 1 into 1
4.307 * [backup-simplify]: Simplify (/ 1 1) into 1
4.307 * [taylor]: Taking taylor expansion of (* -1 (* (+ 1.0 (/ 1 z)) (+ (/ 1 x) (/ 1 y)))) in x
4.307 * [taylor]: Taking taylor expansion of -1 in x
4.307 * [backup-simplify]: Simplify -1 into -1
4.307 * [taylor]: Taking taylor expansion of (* (+ 1.0 (/ 1 z)) (+ (/ 1 x) (/ 1 y))) in x
4.307 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 z)) in x
4.307 * [taylor]: Taking taylor expansion of 1.0 in x
4.307 * [backup-simplify]: Simplify 1.0 into 1.0
4.307 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.307 * [taylor]: Taking taylor expansion of z in x
4.307 * [backup-simplify]: Simplify z into z
4.307 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.307 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
4.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.307 * [taylor]: Taking taylor expansion of x in x
4.307 * [backup-simplify]: Simplify 0 into 0
4.307 * [backup-simplify]: Simplify 1 into 1
4.310 * [backup-simplify]: Simplify (/ 1 1) into 1
4.310 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.310 * [taylor]: Taking taylor expansion of y in x
4.311 * [backup-simplify]: Simplify y into y
4.311 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.311 * [taylor]: Taking taylor expansion of (* -1 (* (+ 1.0 (/ 1 z)) (+ (/ 1 x) (/ 1 y)))) in x
4.311 * [taylor]: Taking taylor expansion of -1 in x
4.311 * [backup-simplify]: Simplify -1 into -1
4.311 * [taylor]: Taking taylor expansion of (* (+ 1.0 (/ 1 z)) (+ (/ 1 x) (/ 1 y))) in x
4.311 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 z)) in x
4.311 * [taylor]: Taking taylor expansion of 1.0 in x
4.311 * [backup-simplify]: Simplify 1.0 into 1.0
4.311 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.311 * [taylor]: Taking taylor expansion of z in x
4.311 * [backup-simplify]: Simplify z into z
4.311 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.311 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
4.311 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.311 * [taylor]: Taking taylor expansion of x in x
4.311 * [backup-simplify]: Simplify 0 into 0
4.311 * [backup-simplify]: Simplify 1 into 1
4.312 * [backup-simplify]: Simplify (/ 1 1) into 1
4.312 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.312 * [taylor]: Taking taylor expansion of y in x
4.312 * [backup-simplify]: Simplify y into y
4.312 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.312 * [backup-simplify]: Simplify (+ 1.0 (/ 1 z)) into (+ 1.0 (/ 1 z))
4.313 * [backup-simplify]: Simplify (+ 1 0) into 1
4.313 * [backup-simplify]: Simplify (* (+ 1.0 (/ 1 z)) 1) into (+ 1.0 (/ 1 z))
4.313 * [backup-simplify]: Simplify (* -1 (+ 1.0 (/ 1 z))) into (* -1 (+ 1.0 (/ 1 z)))
4.313 * [taylor]: Taking taylor expansion of (* -1 (+ 1.0 (/ 1 z))) in y
4.313 * [taylor]: Taking taylor expansion of -1 in y
4.313 * [backup-simplify]: Simplify -1 into -1
4.313 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 z)) in y
4.313 * [taylor]: Taking taylor expansion of 1.0 in y
4.313 * [backup-simplify]: Simplify 1.0 into 1.0
4.313 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.313 * [taylor]: Taking taylor expansion of z in y
4.313 * [backup-simplify]: Simplify z into z
4.313 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.314 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.314 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
4.314 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.315 * [backup-simplify]: Simplify (+ 0 0) into 0
4.315 * [backup-simplify]: Simplify (+ (* (+ 1.0 (/ 1 z)) (/ 1 y)) (* 0 1)) into (+ (/ 1 (* z y)) (* 1.0 (/ 1 y)))
4.316 * [backup-simplify]: Simplify (+ (* -1 (+ (/ 1 (* z y)) (* 1.0 (/ 1 y)))) (* 0 (+ 1.0 (/ 1 z)))) into (- (+ (/ 1 (* z y)) (* 1.0 (/ 1 y))))
4.316 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (* 1.0 (/ 1 y)))) in y
4.316 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (* 1.0 (/ 1 y))) in y
4.316 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
4.316 * [taylor]: Taking taylor expansion of (* z y) in y
4.316 * [taylor]: Taking taylor expansion of z in y
4.316 * [backup-simplify]: Simplify z into z
4.316 * [taylor]: Taking taylor expansion of y in y
4.316 * [backup-simplify]: Simplify 0 into 0
4.316 * [backup-simplify]: Simplify 1 into 1
4.316 * [backup-simplify]: Simplify (* z 0) into 0
4.317 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
4.317 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.317 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y
4.317 * [taylor]: Taking taylor expansion of 1.0 in y
4.317 * [backup-simplify]: Simplify 1.0 into 1.0
4.317 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.317 * [taylor]: Taking taylor expansion of y in y
4.317 * [backup-simplify]: Simplify 0 into 0
4.317 * [backup-simplify]: Simplify 1 into 1
4.317 * [backup-simplify]: Simplify (/ 1 1) into 1
4.318 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
4.318 * [backup-simplify]: Simplify (+ (/ 1 z) 1.0) into (+ 1.0 (/ 1 z))
4.318 * [backup-simplify]: Simplify (- (+ 1.0 (/ 1 z))) into (- (+ 1.0 (/ 1 z)))
4.318 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 z))) in z
4.318 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 z)) in z
4.318 * [taylor]: Taking taylor expansion of 1.0 in z
4.318 * [backup-simplify]: Simplify 1.0 into 1.0
4.318 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.318 * [taylor]: Taking taylor expansion of z in z
4.318 * [backup-simplify]: Simplify 0 into 0
4.318 * [backup-simplify]: Simplify 1 into 1
4.319 * [backup-simplify]: Simplify (/ 1 1) into 1
4.319 * [backup-simplify]: Simplify (+ 0 1) into 1
4.319 * [backup-simplify]: Simplify (- 1) into -1
4.319 * [backup-simplify]: Simplify -1 into -1
4.320 * [backup-simplify]: Simplify (+ 1.0 (/ 1 z)) into (+ 1.0 (/ 1 z))
4.320 * [backup-simplify]: Simplify (* -1 (+ 1.0 (/ 1 z))) into (* -1 (+ 1.0 (/ 1 z)))
4.320 * [taylor]: Taking taylor expansion of (* -1 (+ 1.0 (/ 1 z))) in z
4.320 * [taylor]: Taking taylor expansion of -1 in z
4.320 * [backup-simplify]: Simplify -1 into -1
4.320 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 z)) in z
4.320 * [taylor]: Taking taylor expansion of 1.0 in z
4.320 * [backup-simplify]: Simplify 1.0 into 1.0
4.320 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.320 * [taylor]: Taking taylor expansion of z in z
4.320 * [backup-simplify]: Simplify 0 into 0
4.320 * [backup-simplify]: Simplify 1 into 1
4.320 * [backup-simplify]: Simplify (/ 1 1) into 1
4.321 * [backup-simplify]: Simplify (+ 0 1) into 1
4.321 * [backup-simplify]: Simplify (* -1 1) into -1
4.321 * [backup-simplify]: Simplify -1 into -1
4.322 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.322 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.322 * [backup-simplify]: Simplify (+ 0 0) into 0
4.323 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.323 * [backup-simplify]: Simplify (+ 0 0) into 0
4.323 * [backup-simplify]: Simplify (+ (* (+ 1.0 (/ 1 z)) 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0
4.324 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (+ (/ 1 (* z y)) (* 1.0 (/ 1 y)))) (* 0 (+ 1.0 (/ 1 z))))) into 0
4.324 * [taylor]: Taking taylor expansion of 0 in y
4.324 * [backup-simplify]: Simplify 0 into 0
4.325 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
4.325 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.326 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.326 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
4.327 * [backup-simplify]: Simplify (+ 0 0) into 0
4.327 * [backup-simplify]: Simplify (- 0) into 0
4.327 * [taylor]: Taking taylor expansion of 0 in z
4.327 * [backup-simplify]: Simplify 0 into 0
4.327 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.327 * [backup-simplify]: Simplify (+ 0 0) into 0
4.328 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (+ 1.0 (/ 1 z)))) into 0
4.328 * [taylor]: Taking taylor expansion of 0 in z
4.328 * [backup-simplify]: Simplify 0 into 0
4.329 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.329 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.330 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.330 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.331 * [backup-simplify]: Simplify (+ (* (- 1.0) (* 1 (* (/ 1 (/ 1 (- y))) 1))) (+ (* -1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- y))) 1))))) into (- (* 1.0 y) (+ (* z y) (* x z)))
4.331 * * * [progress]: simplifying candidates
4.332 * [simplify]: Simplifying:
  (* (+ x y) (- 1.0 z))
  (+ (log (+ x y)) (log (- 1.0 z)))
  (log (* (+ x y) (- 1.0 z)))
  (exp (* (+ x y) (- 1.0 z)))
  (* (* (* (+ x y) (+ x y)) (+ x y)) (* (* (- 1.0 z) (- 1.0 z)) (- 1.0 z)))
  (* (cbrt (* (+ x y) (- 1.0 z))) (cbrt (* (+ x y) (- 1.0 z))))
  (cbrt (* (+ x y) (- 1.0 z)))
  (* (* (* (+ x y) (- 1.0 z)) (* (+ x y) (- 1.0 z))) (* (+ x y) (- 1.0 z)))
  (sqrt (* (+ x y) (- 1.0 z)))
  (sqrt (* (+ x y) (- 1.0 z)))
  (* (+ (pow x 3) (pow y 3)) (- (pow 1.0 3) (pow z 3)))
  (* (+ (* x x) (- (* y y) (* x y))) (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z))))
  (* (+ (pow x 3) (pow y 3)) (- (* 1.0 1.0) (* z z)))
  (* (+ (* x x) (- (* y y) (* x y))) (+ 1.0 z))
  (* (- (* x x) (* y y)) (- (pow 1.0 3) (pow z 3)))
  (* (- x y) (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z))))
  (* (- (* x x) (* y y)) (- (* 1.0 1.0) (* z z)))
  (* (- x y) (+ 1.0 z))
  (* (sqrt (+ x y)) (sqrt (- 1.0 z)))
  (* (sqrt (+ x y)) (sqrt (- 1.0 z)))
  (* (+ x y) 1.0)
  (* (+ x y) (- z))
  (* (+ x y) 1.0)
  (* (+ x y) (- z))
  (* 1.0 (+ x y))
  (* (- z) (+ x y))
  (* 1.0 (+ x y))
  (* (- z) (+ x y))
  (* (+ x y) (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))))
  (* (+ x y) (sqrt (- 1.0 z)))
  (* (+ x y) 1)
  (* (+ x y) (+ (sqrt 1.0) (sqrt z)))
  (* (+ x y) 1)
  (* (cbrt (+ x y)) (- 1.0 z))
  (* (sqrt (+ x y)) (- 1.0 z))
  (* (+ x y) (- 1.0 z))
  (* (+ x y) (- 1.0 z))
  (* (+ x y) (- (pow 1.0 3) (pow z 3)))
  (* (+ x y) (- (* 1.0 1.0) (* z z)))
  (* (+ (pow x 3) (pow y 3)) (- 1.0 z))
  (* (- (* x x) (* y y)) (- 1.0 z))
  (- (+ (* 1.0 x) (* 1.0 y)) (* x z))
  (- (* 1.0 y) (+ (* z y) (* x z)))
  (- (* 1.0 y) (+ (* z y) (* x z)))
4.333 * * [simplify]: iteration 0: 84 enodes
4.352 * * [simplify]: iteration 1: 248 enodes
4.470 * * [simplify]: iteration 2: 892 enodes
5.203 * * [simplify]: iteration 3: 4900 enodes
6.533 * * [simplify]: iteration complete: 5001 enodes
6.533 * * [simplify]: Extracting #0: cost 30 inf + 0
6.535 * * [simplify]: Extracting #1: cost 567 inf + 0
6.548 * * [simplify]: Extracting #2: cost 1746 inf + 10552
6.580 * * [simplify]: Extracting #3: cost 1091 inf + 144744
6.657 * * [simplify]: Extracting #4: cost 201 inf + 292668
6.784 * * [simplify]: Extracting #5: cost 41 inf + 335635
6.889 * * [simplify]: Extracting #6: cost 11 inf + 349157
6.988 * * [simplify]: Extracting #7: cost 0 inf + 353271
7.086 * [simplify]: Simplified to:
  (* (- 1.0 z) (+ x y))
  (log (* (- 1.0 z) (+ x y)))
  (log (* (- 1.0 z) (+ x y)))
  (exp (* (- 1.0 z) (+ x y)))
  (* (* (- 1.0 z) (+ x y)) (* (* (- 1.0 z) (+ x y)) (* (- 1.0 z) (+ x y))))
  (* (cbrt (* (- 1.0 z) (+ x y))) (cbrt (* (- 1.0 z) (+ x y))))
  (cbrt (* (- 1.0 z) (+ x y)))
  (* (* (- 1.0 z) (+ x y)) (* (* (- 1.0 z) (+ x y)) (* (- 1.0 z) (+ x y))))
  (sqrt (* (- 1.0 z) (+ x y)))
  (sqrt (* (- 1.0 z) (+ x y)))
  (* (- (* (* 1.0 1.0) 1.0) (* z (* z z))) (+ (* (* y y) y) (* x (* x x))))
  (* (+ (* z (+ 1.0 z)) (* 1.0 1.0)) (+ (* x x) (* (- y x) y)))
  (* (* (- 1.0 z) (+ 1.0 z)) (+ (* (* y y) y) (* x (* x x))))
  (* (+ (* x x) (* (- y x) y)) (+ 1.0 z))
  (* (* (- x y) (- (* (* 1.0 1.0) 1.0) (* z (* z z)))) (+ x y))
  (* (+ (* z (+ 1.0 z)) (* 1.0 1.0)) (- x y))
  (* (* (+ 1.0 z) (* (- 1.0 z) (+ x y))) (- x y))
  (* (+ 1.0 z) (- x y))
  (* (sqrt (+ x y)) (sqrt (- 1.0 z)))
  (* (sqrt (+ x y)) (sqrt (- 1.0 z)))
  (* 1.0 (+ x y))
  (* (- z) (+ y x))
  (* 1.0 (+ x y))
  (* (- z) (+ y x))
  (* 1.0 (+ x y))
  (* (- z) (+ y x))
  (* 1.0 (+ x y))
  (* (- z) (+ y x))
  (* (* (+ x y) (cbrt (- 1.0 z))) (cbrt (- 1.0 z)))
  (* (sqrt (- 1.0 z)) (+ y x))
  (+ x y)
  (* (+ (sqrt z) (sqrt 1.0)) (+ y x))
  (+ x y)
  (* (cbrt (+ x y)) (- 1.0 z))
  (* (sqrt (+ x y)) (- 1.0 z))
  (* (- 1.0 z) (+ x y))
  (* (- 1.0 z) (+ x y))
  (* (- (* (* 1.0 1.0) 1.0) (* z (* z z))) (+ x y))
  (* (+ 1.0 z) (* (- 1.0 z) (+ x y)))
  (* (- 1.0 z) (+ (* (* y y) y) (* x (* x x))))
  (* (* (- 1.0 z) (+ x y)) (- x y))
  (- (* 1.0 (+ x y)) (* z x))
  (- (* 1.0 y) (* (+ x y) z))
  (- (* 1.0 y) (* (+ x y) z))
7.089 * * * [progress]: adding candidates to table
7.336 * * [progress]: iteration 2 / 4
7.336 * * * [progress]: picking best candidate
7.343 * * * * [pick]: Picked  #<alt (λ (x y z) (* (sqrt (+ x y)) (* (sqrt (+ x y)) (- 1.0 z))))>
7.343 * * * [progress]: localizing error
7.370 * * * [progress]: generating rewritten candidates
7.370 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
7.455 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
7.513 * * * [progress]: generating series expansions
7.513 * * * * [progress]: [ 1 / 2 ] generating series at (2)
7.513 * [backup-simplify]: Simplify (* (sqrt (+ x y)) (* (sqrt (+ x y)) (- 1.0 z))) into (* (+ x y) (- 1.0 z))
7.513 * [approximate]: Taking taylor expansion of (* (+ x y) (- 1.0 z)) in (x y z) around 0
7.513 * [taylor]: Taking taylor expansion of (* (+ x y) (- 1.0 z)) in z
7.513 * [taylor]: Taking taylor expansion of (+ x y) in z
7.513 * [taylor]: Taking taylor expansion of x in z
7.513 * [backup-simplify]: Simplify x into x
7.513 * [taylor]: Taking taylor expansion of y in z
7.513 * [backup-simplify]: Simplify y into y
7.513 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
7.513 * [taylor]: Taking taylor expansion of 1.0 in z
7.513 * [backup-simplify]: Simplify 1.0 into 1.0
7.513 * [taylor]: Taking taylor expansion of z in z
7.513 * [backup-simplify]: Simplify 0 into 0
7.513 * [backup-simplify]: Simplify 1 into 1
7.513 * [taylor]: Taking taylor expansion of (* (+ x y) (- 1.0 z)) in y
7.514 * [taylor]: Taking taylor expansion of (+ x y) in y
7.514 * [taylor]: Taking taylor expansion of x in y
7.514 * [backup-simplify]: Simplify x into x
7.514 * [taylor]: Taking taylor expansion of y in y
7.514 * [backup-simplify]: Simplify 0 into 0
7.514 * [backup-simplify]: Simplify 1 into 1
7.514 * [taylor]: Taking taylor expansion of (- 1.0 z) in y
7.514 * [taylor]: Taking taylor expansion of 1.0 in y
7.514 * [backup-simplify]: Simplify 1.0 into 1.0
7.514 * [taylor]: Taking taylor expansion of z in y
7.514 * [backup-simplify]: Simplify z into z
7.514 * [taylor]: Taking taylor expansion of (* (+ x y) (- 1.0 z)) in x
7.514 * [taylor]: Taking taylor expansion of (+ x y) in x
7.514 * [taylor]: Taking taylor expansion of x in x
7.514 * [backup-simplify]: Simplify 0 into 0
7.514 * [backup-simplify]: Simplify 1 into 1
7.514 * [taylor]: Taking taylor expansion of y in x
7.514 * [backup-simplify]: Simplify y into y
7.514 * [taylor]: Taking taylor expansion of (- 1.0 z) in x
7.514 * [taylor]: Taking taylor expansion of 1.0 in x
7.514 * [backup-simplify]: Simplify 1.0 into 1.0
7.514 * [taylor]: Taking taylor expansion of z in x
7.514 * [backup-simplify]: Simplify z into z
7.514 * [taylor]: Taking taylor expansion of (* (+ x y) (- 1.0 z)) in x
7.514 * [taylor]: Taking taylor expansion of (+ x y) in x
7.514 * [taylor]: Taking taylor expansion of x in x
7.514 * [backup-simplify]: Simplify 0 into 0
7.514 * [backup-simplify]: Simplify 1 into 1
7.514 * [taylor]: Taking taylor expansion of y in x
7.514 * [backup-simplify]: Simplify y into y
7.515 * [taylor]: Taking taylor expansion of (- 1.0 z) in x
7.515 * [taylor]: Taking taylor expansion of 1.0 in x
7.515 * [backup-simplify]: Simplify 1.0 into 1.0
7.515 * [taylor]: Taking taylor expansion of z in x
7.515 * [backup-simplify]: Simplify z into z
7.515 * [backup-simplify]: Simplify (+ 0 y) into y
7.515 * [backup-simplify]: Simplify (- z) into (- z)
7.515 * [backup-simplify]: Simplify (+ 1.0 (- z)) into (- 1.0 z)
7.515 * [backup-simplify]: Simplify (* y (- 1.0 z)) into (* y (- 1.0 z))
7.515 * [taylor]: Taking taylor expansion of (* y (- 1.0 z)) in y
7.515 * [taylor]: Taking taylor expansion of y in y
7.515 * [backup-simplify]: Simplify 0 into 0
7.515 * [backup-simplify]: Simplify 1 into 1
7.515 * [taylor]: Taking taylor expansion of (- 1.0 z) in y
7.515 * [taylor]: Taking taylor expansion of 1.0 in y
7.515 * [backup-simplify]: Simplify 1.0 into 1.0
7.515 * [taylor]: Taking taylor expansion of z in y
7.515 * [backup-simplify]: Simplify z into z
7.515 * [backup-simplify]: Simplify (- z) into (- z)
7.515 * [backup-simplify]: Simplify (+ 1.0 (- z)) into (- 1.0 z)
7.515 * [backup-simplify]: Simplify (* 0 (- 1.0 z)) into 0
7.515 * [taylor]: Taking taylor expansion of 0 in z
7.515 * [backup-simplify]: Simplify 0 into 0
7.516 * [backup-simplify]: Simplify 0 into 0
7.516 * [backup-simplify]: Simplify (- 0) into 0
7.517 * [backup-simplify]: Simplify (+ 0 0) into 0
7.517 * [backup-simplify]: Simplify (+ 1 0) into 1
7.517 * [backup-simplify]: Simplify (+ (* y 0) (* 1 (- 1.0 z))) into (- 1.0 z)
7.517 * [taylor]: Taking taylor expansion of (- 1.0 z) in y
7.517 * [taylor]: Taking taylor expansion of 1.0 in y
7.517 * [backup-simplify]: Simplify 1.0 into 1.0
7.517 * [taylor]: Taking taylor expansion of z in y
7.517 * [backup-simplify]: Simplify z into z
7.517 * [backup-simplify]: Simplify (- z) into (- z)
7.518 * [backup-simplify]: Simplify (+ 1.0 (- z)) into (- 1.0 z)
7.518 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
7.518 * [taylor]: Taking taylor expansion of 1.0 in z
7.518 * [backup-simplify]: Simplify 1.0 into 1.0
7.518 * [taylor]: Taking taylor expansion of z in z
7.518 * [backup-simplify]: Simplify 0 into 0
7.518 * [backup-simplify]: Simplify 1 into 1
7.518 * [backup-simplify]: Simplify (- 0) into 0
7.519 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
7.519 * [backup-simplify]: Simplify 1.0 into 1.0
7.519 * [backup-simplify]: Simplify (- 0) into 0
7.519 * [backup-simplify]: Simplify (+ 0 0) into 0
7.520 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- 1.0 z))) into (- 1.0 z)
7.520 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
7.520 * [taylor]: Taking taylor expansion of 1.0 in z
7.520 * [backup-simplify]: Simplify 1.0 into 1.0
7.520 * [taylor]: Taking taylor expansion of z in z
7.520 * [backup-simplify]: Simplify 0 into 0
7.520 * [backup-simplify]: Simplify 1 into 1
7.520 * [backup-simplify]: Simplify (- 0) into 0
7.521 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
7.521 * [backup-simplify]: Simplify 1.0 into 1.0
7.521 * [backup-simplify]: Simplify 0 into 0
7.521 * [backup-simplify]: Simplify (- 0) into 0
7.522 * [backup-simplify]: Simplify (+ 0 0) into 0
7.522 * [backup-simplify]: Simplify (+ 0 0) into 0
7.523 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 1 0) (* 0 (- 1.0 z)))) into 0
7.523 * [taylor]: Taking taylor expansion of 0 in y
7.523 * [backup-simplify]: Simplify 0 into 0
7.523 * [taylor]: Taking taylor expansion of 0 in z
7.523 * [backup-simplify]: Simplify 0 into 0
7.523 * [backup-simplify]: Simplify 0 into 0
7.523 * [backup-simplify]: Simplify (- 0) into 0
7.524 * [backup-simplify]: Simplify (+ 0 0) into 0
7.524 * [taylor]: Taking taylor expansion of 0 in z
7.524 * [backup-simplify]: Simplify 0 into 0
7.524 * [backup-simplify]: Simplify 0 into 0
7.524 * [backup-simplify]: Simplify (- 0) into 0
7.525 * [backup-simplify]: Simplify (+ 0 0) into 0
7.526 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- 1.0 z)))) into 0
7.526 * [taylor]: Taking taylor expansion of 0 in z
7.526 * [backup-simplify]: Simplify 0 into 0
7.526 * [backup-simplify]: Simplify 0 into 0
7.526 * [backup-simplify]: Simplify (- 1) into -1
7.526 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.526 * [backup-simplify]: Simplify -1 into -1
7.527 * [backup-simplify]: Simplify (+ (* -1 (* z (* 1 x))) (+ (* 1.0 (* 1 (* y 1))) (* 1.0 (* 1 (* 1 x))))) into (- (+ (* 1.0 x) (* 1.0 y)) (* x z))
7.527 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 x) (/ 1 y))) (* (sqrt (+ (/ 1 x) (/ 1 y))) (- 1.0 (/ 1 z)))) into (* (- 1.0 (/ 1 z)) (+ (/ 1 x) (/ 1 y)))
7.527 * [approximate]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (+ (/ 1 x) (/ 1 y))) in (x y z) around 0
7.527 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (+ (/ 1 x) (/ 1 y))) in z
7.527 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
7.527 * [taylor]: Taking taylor expansion of 1.0 in z
7.527 * [backup-simplify]: Simplify 1.0 into 1.0
7.527 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.527 * [taylor]: Taking taylor expansion of z in z
7.527 * [backup-simplify]: Simplify 0 into 0
7.527 * [backup-simplify]: Simplify 1 into 1
7.527 * [backup-simplify]: Simplify (/ 1 1) into 1
7.527 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z
7.527 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.527 * [taylor]: Taking taylor expansion of x in z
7.527 * [backup-simplify]: Simplify x into x
7.527 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.527 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.527 * [taylor]: Taking taylor expansion of y in z
7.527 * [backup-simplify]: Simplify y into y
7.527 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.527 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (+ (/ 1 x) (/ 1 y))) in y
7.527 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y
7.527 * [taylor]: Taking taylor expansion of 1.0 in y
7.527 * [backup-simplify]: Simplify 1.0 into 1.0
7.527 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.527 * [taylor]: Taking taylor expansion of z in y
7.527 * [backup-simplify]: Simplify z into z
7.528 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.528 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
7.528 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.528 * [taylor]: Taking taylor expansion of x in y
7.528 * [backup-simplify]: Simplify x into x
7.528 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.528 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.528 * [taylor]: Taking taylor expansion of y in y
7.528 * [backup-simplify]: Simplify 0 into 0
7.528 * [backup-simplify]: Simplify 1 into 1
7.528 * [backup-simplify]: Simplify (/ 1 1) into 1
7.528 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (+ (/ 1 x) (/ 1 y))) in x
7.528 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x
7.528 * [taylor]: Taking taylor expansion of 1.0 in x
7.528 * [backup-simplify]: Simplify 1.0 into 1.0
7.528 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.528 * [taylor]: Taking taylor expansion of z in x
7.528 * [backup-simplify]: Simplify z into z
7.528 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.528 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
7.528 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.528 * [taylor]: Taking taylor expansion of x in x
7.528 * [backup-simplify]: Simplify 0 into 0
7.528 * [backup-simplify]: Simplify 1 into 1
7.528 * [backup-simplify]: Simplify (/ 1 1) into 1
7.528 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.528 * [taylor]: Taking taylor expansion of y in x
7.528 * [backup-simplify]: Simplify y into y
7.528 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.528 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (+ (/ 1 x) (/ 1 y))) in x
7.529 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x
7.529 * [taylor]: Taking taylor expansion of 1.0 in x
7.529 * [backup-simplify]: Simplify 1.0 into 1.0
7.529 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.529 * [taylor]: Taking taylor expansion of z in x
7.529 * [backup-simplify]: Simplify z into z
7.529 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.529 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
7.529 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.529 * [taylor]: Taking taylor expansion of x in x
7.529 * [backup-simplify]: Simplify 0 into 0
7.529 * [backup-simplify]: Simplify 1 into 1
7.529 * [backup-simplify]: Simplify (/ 1 1) into 1
7.529 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.529 * [taylor]: Taking taylor expansion of y in x
7.529 * [backup-simplify]: Simplify y into y
7.529 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.529 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.529 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 z))) into (- 1.0 (/ 1 z))
7.529 * [backup-simplify]: Simplify (+ 1 0) into 1
7.530 * [backup-simplify]: Simplify (* (- 1.0 (/ 1 z)) 1) into (- 1.0 (/ 1 z))
7.530 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y
7.530 * [taylor]: Taking taylor expansion of 1.0 in y
7.530 * [backup-simplify]: Simplify 1.0 into 1.0
7.530 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.530 * [taylor]: Taking taylor expansion of z in y
7.530 * [backup-simplify]: Simplify z into z
7.530 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.530 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.530 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
7.531 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.531 * [backup-simplify]: Simplify (- 0) into 0
7.531 * [backup-simplify]: Simplify (+ 0 0) into 0
7.532 * [backup-simplify]: Simplify (+ (* (- 1.0 (/ 1 z)) (/ 1 y)) (* 0 1)) into (- (* 1.0 (/ 1 y)) (/ 1 (* z y)))
7.532 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y)) (/ 1 (* z y))) in y
7.532 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y
7.532 * [taylor]: Taking taylor expansion of 1.0 in y
7.532 * [backup-simplify]: Simplify 1.0 into 1.0
7.532 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.532 * [taylor]: Taking taylor expansion of y in y
7.532 * [backup-simplify]: Simplify 0 into 0
7.532 * [backup-simplify]: Simplify 1 into 1
7.532 * [backup-simplify]: Simplify (/ 1 1) into 1
7.532 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
7.532 * [taylor]: Taking taylor expansion of (* z y) in y
7.533 * [taylor]: Taking taylor expansion of z in y
7.533 * [backup-simplify]: Simplify z into z
7.533 * [taylor]: Taking taylor expansion of y in y
7.533 * [backup-simplify]: Simplify 0 into 0
7.533 * [backup-simplify]: Simplify 1 into 1
7.533 * [backup-simplify]: Simplify (* z 0) into 0
7.533 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
7.533 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.534 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
7.534 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.534 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 z))) into (- 1.0 (/ 1 z))
7.534 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
7.534 * [taylor]: Taking taylor expansion of 1.0 in z
7.534 * [backup-simplify]: Simplify 1.0 into 1.0
7.534 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.534 * [taylor]: Taking taylor expansion of z in z
7.534 * [backup-simplify]: Simplify 0 into 0
7.534 * [backup-simplify]: Simplify 1 into 1
7.534 * [backup-simplify]: Simplify (/ 1 1) into 1
7.535 * [backup-simplify]: Simplify (- 1) into -1
7.535 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.535 * [backup-simplify]: Simplify -1 into -1
7.535 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.535 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 z))) into (- 1.0 (/ 1 z))
7.535 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
7.535 * [taylor]: Taking taylor expansion of 1.0 in z
7.535 * [backup-simplify]: Simplify 1.0 into 1.0
7.535 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.536 * [taylor]: Taking taylor expansion of z in z
7.536 * [backup-simplify]: Simplify 0 into 0
7.536 * [backup-simplify]: Simplify 1 into 1
7.536 * [backup-simplify]: Simplify (/ 1 1) into 1
7.536 * [backup-simplify]: Simplify (- 1) into -1
7.537 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.537 * [backup-simplify]: Simplify -1 into -1
7.538 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.538 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.538 * [backup-simplify]: Simplify (+ 0 0) into 0
7.538 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.539 * [backup-simplify]: Simplify (- 0) into 0
7.539 * [backup-simplify]: Simplify (+ 0 0) into 0
7.540 * [backup-simplify]: Simplify (+ (* (- 1.0 (/ 1 z)) 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0
7.540 * [taylor]: Taking taylor expansion of 0 in y
7.540 * [backup-simplify]: Simplify 0 into 0
7.540 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.541 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
7.542 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
7.542 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.542 * [backup-simplify]: Simplify (- 0) into 0
7.543 * [backup-simplify]: Simplify (+ 0 0) into 0
7.543 * [taylor]: Taking taylor expansion of 0 in z
7.543 * [backup-simplify]: Simplify 0 into 0
7.543 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.543 * [backup-simplify]: Simplify (- 0) into 0
7.544 * [backup-simplify]: Simplify (+ 0 0) into 0
7.544 * [taylor]: Taking taylor expansion of 0 in z
7.544 * [backup-simplify]: Simplify 0 into 0
7.545 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.545 * [backup-simplify]: Simplify (- 0) into 0
7.545 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
7.545 * [backup-simplify]: Simplify 1.0 into 1.0
7.546 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (* (/ 1 (/ 1 y)) 1))) (+ (* -1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) 1))))) into (- (* 1.0 y) (+ (* z y) (* x z)))
7.546 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 (- x)) (/ 1 (- y)))) (* (sqrt (+ (/ 1 (- x)) (/ 1 (- y)))) (- 1.0 (/ 1 (- z))))) into (* (pow (sqrt (- (+ (/ 1 x) (/ 1 y)))) 2) (+ 1.0 (/ 1 z)))
7.546 * [approximate]: Taking taylor expansion of (* (pow (sqrt (- (+ (/ 1 x) (/ 1 y)))) 2) (+ 1.0 (/ 1 z))) in (x y z) around 0
7.546 * [taylor]: Taking taylor expansion of (* (pow (sqrt (- (+ (/ 1 x) (/ 1 y)))) 2) (+ 1.0 (/ 1 z))) in z
7.546 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 x) (/ 1 y)))) 2) in z
7.546 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) (/ 1 y)))) in z
7.546 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y))) in z
7.546 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z
7.546 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.546 * [taylor]: Taking taylor expansion of x in z
7.546 * [backup-simplify]: Simplify x into x
7.546 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.546 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.547 * [taylor]: Taking taylor expansion of y in z
7.547 * [backup-simplify]: Simplify y into y
7.547 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.547 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 y)) into (+ (/ 1 x) (/ 1 y))
7.547 * [backup-simplify]: Simplify (- (+ (/ 1 x) (/ 1 y))) into (- (+ (/ 1 x) (/ 1 y)))
7.547 * [backup-simplify]: Simplify (- (+ (/ 1 x) (/ 1 y))) into (- (+ (/ 1 x) (/ 1 y)))
7.547 * [backup-simplify]: Simplify (sqrt (- (+ (/ 1 x) (/ 1 y)))) into (sqrt (- (+ (/ 1 x) (/ 1 y))))
7.547 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
7.547 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.547 * [backup-simplify]: Simplify (+ 0 0) into 0
7.547 * [backup-simplify]: Simplify (- 0) into 0
7.548 * [backup-simplify]: Simplify (- (+ (/ 1 x) (/ 1 y))) into (- (+ (/ 1 x) (/ 1 y)))
7.548 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (+ (/ 1 x) (/ 1 y)))))) into 0
7.548 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 z)) in z
7.548 * [taylor]: Taking taylor expansion of 1.0 in z
7.548 * [backup-simplify]: Simplify 1.0 into 1.0
7.548 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.548 * [taylor]: Taking taylor expansion of z in z
7.548 * [backup-simplify]: Simplify 0 into 0
7.548 * [backup-simplify]: Simplify 1 into 1
7.548 * [backup-simplify]: Simplify (/ 1 1) into 1
7.548 * [taylor]: Taking taylor expansion of (* (pow (sqrt (- (+ (/ 1 x) (/ 1 y)))) 2) (+ 1.0 (/ 1 z))) in y
7.548 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 x) (/ 1 y)))) 2) in y
7.548 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) (/ 1 y)))) in y
7.548 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y))) in y
7.548 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
7.548 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.548 * [taylor]: Taking taylor expansion of x in y
7.548 * [backup-simplify]: Simplify x into x
7.548 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.548 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.548 * [taylor]: Taking taylor expansion of y in y
7.548 * [backup-simplify]: Simplify 0 into 0
7.548 * [backup-simplify]: Simplify 1 into 1
7.549 * [backup-simplify]: Simplify (/ 1 1) into 1
7.549 * [backup-simplify]: Simplify (+ 0 1) into 1
7.549 * [backup-simplify]: Simplify (- 1) into -1
7.549 * [backup-simplify]: Simplify (sqrt 0) into 0
7.549 * [backup-simplify]: Simplify (- 1) into -1
7.550 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
7.550 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 z)) in y
7.550 * [taylor]: Taking taylor expansion of 1.0 in y
7.550 * [backup-simplify]: Simplify 1.0 into 1.0
7.551 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.551 * [taylor]: Taking taylor expansion of z in y
7.551 * [backup-simplify]: Simplify z into z
7.551 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.551 * [taylor]: Taking taylor expansion of (* (pow (sqrt (- (+ (/ 1 x) (/ 1 y)))) 2) (+ 1.0 (/ 1 z))) in x
7.551 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 x) (/ 1 y)))) 2) in x
7.551 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) (/ 1 y)))) in x
7.551 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y))) in x
7.551 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
7.551 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.551 * [taylor]: Taking taylor expansion of x in x
7.551 * [backup-simplify]: Simplify 0 into 0
7.551 * [backup-simplify]: Simplify 1 into 1
7.551 * [backup-simplify]: Simplify (/ 1 1) into 1
7.551 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.551 * [taylor]: Taking taylor expansion of y in x
7.551 * [backup-simplify]: Simplify y into y
7.551 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.551 * [backup-simplify]: Simplify (+ 1 0) into 1
7.552 * [backup-simplify]: Simplify (- 1) into -1
7.552 * [backup-simplify]: Simplify (sqrt 0) into 0
7.552 * [backup-simplify]: Simplify (- 1) into -1
7.553 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
7.553 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 z)) in x
7.553 * [taylor]: Taking taylor expansion of 1.0 in x
7.553 * [backup-simplify]: Simplify 1.0 into 1.0
7.553 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.553 * [taylor]: Taking taylor expansion of z in x
7.553 * [backup-simplify]: Simplify z into z
7.553 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.553 * [taylor]: Taking taylor expansion of (* (pow (sqrt (- (+ (/ 1 x) (/ 1 y)))) 2) (+ 1.0 (/ 1 z))) in x
7.553 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 x) (/ 1 y)))) 2) in x
7.553 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) (/ 1 y)))) in x
7.553 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y))) in x
7.553 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
7.553 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.553 * [taylor]: Taking taylor expansion of x in x
7.553 * [backup-simplify]: Simplify 0 into 0
7.553 * [backup-simplify]: Simplify 1 into 1
7.553 * [backup-simplify]: Simplify (/ 1 1) into 1
7.553 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.553 * [taylor]: Taking taylor expansion of y in x
7.553 * [backup-simplify]: Simplify y into y
7.553 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.554 * [backup-simplify]: Simplify (+ 1 0) into 1
7.554 * [backup-simplify]: Simplify (- 1) into -1
7.554 * [backup-simplify]: Simplify (sqrt 0) into 0
7.554 * [backup-simplify]: Simplify (- 1) into -1
7.555 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
7.555 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 z)) in x
7.555 * [taylor]: Taking taylor expansion of 1.0 in x
7.555 * [backup-simplify]: Simplify 1.0 into 1.0
7.555 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.555 * [taylor]: Taking taylor expansion of z in x
7.555 * [backup-simplify]: Simplify z into z
7.555 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.556 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0
7.556 * [backup-simplify]: Simplify (+ 1.0 (/ 1 z)) into (+ 1.0 (/ 1 z))
7.556 * [backup-simplify]: Simplify (* +nan.0 (+ 1.0 (/ 1 z))) into (* +nan.0 (+ 1.0 (/ 1 z)))
7.556 * [taylor]: Taking taylor expansion of (* +nan.0 (+ 1.0 (/ 1 z))) in y
7.556 * [taylor]: Taking taylor expansion of +nan.0 in y
7.556 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.556 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 z)) in y
7.556 * [taylor]: Taking taylor expansion of 1.0 in y
7.556 * [backup-simplify]: Simplify 1.0 into 1.0
7.556 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.556 * [taylor]: Taking taylor expansion of z in y
7.556 * [backup-simplify]: Simplify z into z
7.556 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.556 * [backup-simplify]: Simplify (+ 1.0 (/ 1 z)) into (+ 1.0 (/ 1 z))
7.556 * [backup-simplify]: Simplify (* +nan.0 (+ 1.0 (/ 1 z))) into (* +nan.0 (+ 1.0 (/ 1 z)))
7.556 * [taylor]: Taking taylor expansion of (* +nan.0 (+ 1.0 (/ 1 z))) in z
7.556 * [taylor]: Taking taylor expansion of +nan.0 in z
7.556 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.556 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 z)) in z
7.556 * [taylor]: Taking taylor expansion of 1.0 in z
7.556 * [backup-simplify]: Simplify 1.0 into 1.0
7.556 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.556 * [taylor]: Taking taylor expansion of z in z
7.556 * [backup-simplify]: Simplify 0 into 0
7.556 * [backup-simplify]: Simplify 1 into 1
7.556 * [backup-simplify]: Simplify (/ 1 1) into 1
7.557 * [backup-simplify]: Simplify (+ 0 1) into 1
7.557 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
7.557 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.557 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.557 * [backup-simplify]: Simplify (+ 0 0) into 0
7.558 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.558 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
7.558 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
7.559 * [backup-simplify]: Simplify (/ (- (- (/ 1 y)) (pow +nan.0 2) (+)) (* 2 0)) into (* +nan.0 (+ +nan.0 (/ 1 y)))
7.559 * [backup-simplify]: Simplify (+ (* +nan.0 (* +nan.0 (+ +nan.0 (/ 1 y)))) (* (* +nan.0 (+ +nan.0 (/ 1 y))) +nan.0)) into (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))
7.560 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* (- (+ +nan.0 (- (* +nan.0 (/ 1 y))))) (+ 1.0 (/ 1 z)))) into (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (* z y))) (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))))))
7.560 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (* z y))) (- (+ +nan.0 (- (* +nan.0 (/ 1 y))))))))) in y
7.560 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (* z y))) (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))))) in y
7.560 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in y
7.560 * [taylor]: Taking taylor expansion of +nan.0 in y
7.560 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.560 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.560 * [taylor]: Taking taylor expansion of z in y
7.560 * [backup-simplify]: Simplify z into z
7.560 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.560 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* z y))) (- (+ +nan.0 (- (* +nan.0 (/ 1 y))))))) in y
7.560 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* z y))) (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))) in y
7.560 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* z y))) in y
7.560 * [taylor]: Taking taylor expansion of +nan.0 in y
7.560 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.560 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
7.560 * [taylor]: Taking taylor expansion of (* z y) in y
7.560 * [taylor]: Taking taylor expansion of z in y
7.560 * [backup-simplify]: Simplify z into z
7.560 * [taylor]: Taking taylor expansion of y in y
7.560 * [backup-simplify]: Simplify 0 into 0
7.560 * [backup-simplify]: Simplify 1 into 1
7.560 * [backup-simplify]: Simplify (* z 0) into 0
7.561 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
7.561 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.561 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 y))))) in y
7.561 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 y)))) in y
7.561 * [taylor]: Taking taylor expansion of +nan.0 in y
7.561 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.561 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y
7.561 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
7.561 * [taylor]: Taking taylor expansion of +nan.0 in y
7.561 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.561 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.561 * [taylor]: Taking taylor expansion of y in y
7.561 * [backup-simplify]: Simplify 0 into 0
7.561 * [backup-simplify]: Simplify 1 into 1
7.561 * [backup-simplify]: Simplify (/ 1 1) into 1
7.561 * [backup-simplify]: Simplify (* +nan.0 (/ 1 z)) into (/ +nan.0 z)
7.562 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
7.562 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.562 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 (/ 1 z))) into 0
7.562 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.563 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
7.563 * [backup-simplify]: Simplify (- 0) into 0
7.563 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
7.564 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
7.564 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
7.565 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
7.565 * [backup-simplify]: Simplify (+ (/ +nan.0 z) (- +nan.0)) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
7.566 * [backup-simplify]: Simplify (- (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
7.566 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))) in z
7.566 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 z)))) in z
7.566 * [taylor]: Taking taylor expansion of +nan.0 in z
7.566 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.566 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z
7.566 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z
7.566 * [taylor]: Taking taylor expansion of +nan.0 in z
7.566 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.566 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.566 * [taylor]: Taking taylor expansion of z in z
7.566 * [backup-simplify]: Simplify 0 into 0
7.566 * [backup-simplify]: Simplify 1 into 1
7.566 * [backup-simplify]: Simplify (/ 1 1) into 1
7.566 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
7.567 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.567 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
7.568 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
7.568 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.568 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.568 * [backup-simplify]: Simplify (+ 0 0) into 0
7.569 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 (+ 1.0 (/ 1 z)))) into 0
7.569 * [taylor]: Taking taylor expansion of 0 in z
7.569 * [backup-simplify]: Simplify 0 into 0
7.569 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.569 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
7.573 * [backup-simplify]: Simplify (+ (* +nan.0 1.0) (* 0 1)) into (- +nan.0)
7.574 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.575 * [backup-simplify]: Simplify (+ (- +nan.0) (+ (* (- +nan.0) (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (- x))))) (* +nan.0 (* (/ 1 (/ 1 (- z))) (* 1 1))))) into (- (+ (* +nan.0 (/ z x)) (- (+ (* +nan.0 z) (- +nan.0)))))
7.575 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
7.576 * [backup-simplify]: Simplify (* (sqrt (+ x y)) (- 1.0 z)) into (* (sqrt (+ x y)) (- 1.0 z))
7.576 * [approximate]: Taking taylor expansion of (* (sqrt (+ x y)) (- 1.0 z)) in (x y z) around 0
7.576 * [taylor]: Taking taylor expansion of (* (sqrt (+ x y)) (- 1.0 z)) in z
7.576 * [taylor]: Taking taylor expansion of (sqrt (+ x y)) in z
7.576 * [taylor]: Taking taylor expansion of (+ x y) in z
7.576 * [taylor]: Taking taylor expansion of x in z
7.576 * [backup-simplify]: Simplify x into x
7.576 * [taylor]: Taking taylor expansion of y in z
7.576 * [backup-simplify]: Simplify y into y
7.576 * [backup-simplify]: Simplify (+ x y) into (+ x y)
7.576 * [backup-simplify]: Simplify (sqrt (+ x y)) into (sqrt (+ x y))
7.576 * [backup-simplify]: Simplify (+ 0 0) into 0
7.577 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ x y)))) into 0
7.577 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
7.577 * [taylor]: Taking taylor expansion of 1.0 in z
7.577 * [backup-simplify]: Simplify 1.0 into 1.0
7.577 * [taylor]: Taking taylor expansion of z in z
7.577 * [backup-simplify]: Simplify 0 into 0
7.577 * [backup-simplify]: Simplify 1 into 1
7.577 * [taylor]: Taking taylor expansion of (* (sqrt (+ x y)) (- 1.0 z)) in y
7.577 * [taylor]: Taking taylor expansion of (sqrt (+ x y)) in y
7.577 * [taylor]: Taking taylor expansion of (+ x y) in y
7.577 * [taylor]: Taking taylor expansion of x in y
7.577 * [backup-simplify]: Simplify x into x
7.577 * [taylor]: Taking taylor expansion of y in y
7.577 * [backup-simplify]: Simplify 0 into 0
7.577 * [backup-simplify]: Simplify 1 into 1
7.577 * [backup-simplify]: Simplify (+ x 0) into x
7.577 * [backup-simplify]: Simplify (sqrt x) into (sqrt x)
7.577 * [backup-simplify]: Simplify (+ 0 1) into 1
7.578 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt x))) into (* 1/2 (sqrt (/ 1 x)))
7.578 * [taylor]: Taking taylor expansion of (- 1.0 z) in y
7.578 * [taylor]: Taking taylor expansion of 1.0 in y
7.578 * [backup-simplify]: Simplify 1.0 into 1.0
7.578 * [taylor]: Taking taylor expansion of z in y
7.578 * [backup-simplify]: Simplify z into z
7.578 * [taylor]: Taking taylor expansion of (* (sqrt (+ x y)) (- 1.0 z)) in x
7.578 * [taylor]: Taking taylor expansion of (sqrt (+ x y)) in x
7.578 * [taylor]: Taking taylor expansion of (+ x y) in x
7.578 * [taylor]: Taking taylor expansion of x in x
7.578 * [backup-simplify]: Simplify 0 into 0
7.578 * [backup-simplify]: Simplify 1 into 1
7.578 * [taylor]: Taking taylor expansion of y in x
7.578 * [backup-simplify]: Simplify y into y
7.578 * [backup-simplify]: Simplify (+ 0 y) into y
7.578 * [backup-simplify]: Simplify (sqrt y) into (sqrt y)
7.579 * [backup-simplify]: Simplify (+ 1 0) into 1
7.579 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt y))) into (* 1/2 (sqrt (/ 1 y)))
7.579 * [taylor]: Taking taylor expansion of (- 1.0 z) in x
7.579 * [taylor]: Taking taylor expansion of 1.0 in x
7.579 * [backup-simplify]: Simplify 1.0 into 1.0
7.579 * [taylor]: Taking taylor expansion of z in x
7.579 * [backup-simplify]: Simplify z into z
7.579 * [taylor]: Taking taylor expansion of (* (sqrt (+ x y)) (- 1.0 z)) in x
7.579 * [taylor]: Taking taylor expansion of (sqrt (+ x y)) in x
7.579 * [taylor]: Taking taylor expansion of (+ x y) in x
7.579 * [taylor]: Taking taylor expansion of x in x
7.579 * [backup-simplify]: Simplify 0 into 0
7.579 * [backup-simplify]: Simplify 1 into 1
7.579 * [taylor]: Taking taylor expansion of y in x
7.579 * [backup-simplify]: Simplify y into y
7.579 * [backup-simplify]: Simplify (+ 0 y) into y
7.579 * [backup-simplify]: Simplify (sqrt y) into (sqrt y)
7.580 * [backup-simplify]: Simplify (+ 1 0) into 1
7.580 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt y))) into (* 1/2 (sqrt (/ 1 y)))
7.580 * [taylor]: Taking taylor expansion of (- 1.0 z) in x
7.580 * [taylor]: Taking taylor expansion of 1.0 in x
7.580 * [backup-simplify]: Simplify 1.0 into 1.0
7.580 * [taylor]: Taking taylor expansion of z in x
7.580 * [backup-simplify]: Simplify z into z
7.580 * [backup-simplify]: Simplify (- z) into (- z)
7.580 * [backup-simplify]: Simplify (+ 1.0 (- z)) into (- 1.0 z)
7.580 * [backup-simplify]: Simplify (* (sqrt y) (- 1.0 z)) into (* (sqrt y) (- 1.0 z))
7.580 * [taylor]: Taking taylor expansion of (* (sqrt y) (- 1.0 z)) in y
7.580 * [taylor]: Taking taylor expansion of (sqrt y) in y
7.580 * [taylor]: Taking taylor expansion of y in y
7.580 * [backup-simplify]: Simplify 0 into 0
7.580 * [backup-simplify]: Simplify 1 into 1
7.581 * [backup-simplify]: Simplify (sqrt 0) into 0
7.582 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
7.582 * [taylor]: Taking taylor expansion of (- 1.0 z) in y
7.582 * [taylor]: Taking taylor expansion of 1.0 in y
7.582 * [backup-simplify]: Simplify 1.0 into 1.0
7.582 * [taylor]: Taking taylor expansion of z in y
7.582 * [backup-simplify]: Simplify z into z
7.582 * [backup-simplify]: Simplify (- z) into (- z)
7.583 * [backup-simplify]: Simplify (+ 1.0 (- z)) into (- 1.0 z)
7.583 * [backup-simplify]: Simplify (* 0 (- 1.0 z)) into 0
7.583 * [taylor]: Taking taylor expansion of 0 in z
7.583 * [backup-simplify]: Simplify 0 into 0
7.583 * [backup-simplify]: Simplify 0 into 0
7.583 * [backup-simplify]: Simplify (- 0) into 0
7.583 * [backup-simplify]: Simplify (+ 0 0) into 0
7.584 * [backup-simplify]: Simplify (+ (* (sqrt y) 0) (* (* 1/2 (sqrt (/ 1 y))) (- 1.0 z))) into (- (* 0.5 (sqrt (/ 1 y))) (* 1/2 (* z (sqrt (/ 1 y)))))
7.584 * [taylor]: Taking taylor expansion of (- (* 0.5 (sqrt (/ 1 y))) (* 1/2 (* z (sqrt (/ 1 y))))) in y
7.584 * [taylor]: Taking taylor expansion of (* 0.5 (sqrt (/ 1 y))) in y
7.584 * [taylor]: Taking taylor expansion of 0.5 in y
7.584 * [backup-simplify]: Simplify 0.5 into 0.5
7.584 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
7.584 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.584 * [taylor]: Taking taylor expansion of y in y
7.584 * [backup-simplify]: Simplify 0 into 0
7.584 * [backup-simplify]: Simplify 1 into 1
7.584 * [backup-simplify]: Simplify (/ 1 1) into 1
7.585 * [backup-simplify]: Simplify (sqrt 0) into 0
7.586 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
7.586 * [taylor]: Taking taylor expansion of (* 1/2 (* z (sqrt (/ 1 y)))) in y
7.586 * [taylor]: Taking taylor expansion of 1/2 in y
7.586 * [backup-simplify]: Simplify 1/2 into 1/2
7.586 * [taylor]: Taking taylor expansion of (* z (sqrt (/ 1 y))) in y
7.586 * [taylor]: Taking taylor expansion of z in y
7.586 * [backup-simplify]: Simplify z into z
7.586 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
7.586 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.586 * [taylor]: Taking taylor expansion of y in y
7.586 * [backup-simplify]: Simplify 0 into 0
7.586 * [backup-simplify]: Simplify 1 into 1
7.587 * [backup-simplify]: Simplify (/ 1 1) into 1
7.587 * [backup-simplify]: Simplify (sqrt 0) into 0
7.588 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
7.590 * [backup-simplify]: Simplify (+ (* 0.5 +nan.0) (* 0 0)) into (- +nan.0)
7.590 * [backup-simplify]: Simplify (+ (* z +nan.0) (* 0 0)) into (- (* +nan.0 z))
7.590 * [backup-simplify]: Simplify (* z 0) into 0
7.591 * [backup-simplify]: Simplify (+ (* 1/2 (- (* +nan.0 z))) (* 0 0)) into (- (* +nan.0 z))
7.591 * [backup-simplify]: Simplify (- (- (* +nan.0 z))) into (- (* +nan.0 z))
7.591 * [backup-simplify]: Simplify (+ (- +nan.0) (- (* +nan.0 z))) into (- (+ (* +nan.0 z) (- +nan.0)))
7.591 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 z) (- +nan.0))) in z
7.591 * [taylor]: Taking taylor expansion of (+ (* +nan.0 z) (- +nan.0)) in z
7.591 * [taylor]: Taking taylor expansion of (* +nan.0 z) in z
7.591 * [taylor]: Taking taylor expansion of +nan.0 in z
7.591 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.591 * [taylor]: Taking taylor expansion of z in z
7.591 * [backup-simplify]: Simplify 0 into 0
7.591 * [backup-simplify]: Simplify 1 into 1
7.591 * [taylor]: Taking taylor expansion of (- +nan.0) in z
7.591 * [taylor]: Taking taylor expansion of +nan.0 in z
7.591 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.591 * [backup-simplify]: Simplify (* +nan.0 0) into 0
7.592 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.592 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
7.593 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
7.593 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.593 * [backup-simplify]: Simplify (- 0) into 0
7.593 * [backup-simplify]: Simplify (+ 0 0) into 0
7.594 * [backup-simplify]: Simplify (+ (* 0 0) (* +nan.0 (- 1.0 z))) into (- (+ (* +nan.0 z) (- +nan.0)))
7.594 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 z) (- +nan.0))) in z
7.594 * [taylor]: Taking taylor expansion of (+ (* +nan.0 z) (- +nan.0)) in z
7.594 * [taylor]: Taking taylor expansion of (* +nan.0 z) in z
7.594 * [taylor]: Taking taylor expansion of +nan.0 in z
7.594 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.594 * [taylor]: Taking taylor expansion of z in z
7.594 * [backup-simplify]: Simplify 0 into 0
7.594 * [backup-simplify]: Simplify 1 into 1
7.594 * [taylor]: Taking taylor expansion of (- +nan.0) in z
7.594 * [taylor]: Taking taylor expansion of +nan.0 in z
7.594 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.594 * [backup-simplify]: Simplify (* +nan.0 0) into 0
7.594 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.595 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
7.596 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
7.596 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.596 * [backup-simplify]: Simplify 0 into 0
7.596 * [backup-simplify]: Simplify (- 0) into 0
7.596 * [backup-simplify]: Simplify (+ 0 0) into 0
7.597 * [backup-simplify]: Simplify (+ 0 0) into 0
7.597 * [backup-simplify]: Simplify (/ (- 0 (pow (* 1/2 (sqrt (/ 1 y))) 2) (+)) (* 2 (sqrt y))) into (* -1/8 (sqrt (/ 1 (pow y 3))))
7.597 * [backup-simplify]: Simplify (+ (* (sqrt y) 0) (+ (* (* 1/2 (sqrt (/ 1 y))) 0) (* (* -1/8 (sqrt (/ 1 (pow y 3)))) (- 1.0 z)))) into (- (* 1/8 (* z (sqrt (/ 1 (pow y 3))))) (* 0.125 (sqrt (/ 1 (pow y 3)))))
7.597 * [taylor]: Taking taylor expansion of (- (* 1/8 (* z (sqrt (/ 1 (pow y 3))))) (* 0.125 (sqrt (/ 1 (pow y 3))))) in y
7.597 * [taylor]: Taking taylor expansion of (* 1/8 (* z (sqrt (/ 1 (pow y 3))))) in y
7.597 * [taylor]: Taking taylor expansion of 1/8 in y
7.597 * [backup-simplify]: Simplify 1/8 into 1/8
7.597 * [taylor]: Taking taylor expansion of (* z (sqrt (/ 1 (pow y 3)))) in y
7.597 * [taylor]: Taking taylor expansion of z in y
7.597 * [backup-simplify]: Simplify z into z
7.597 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow y 3))) in y
7.597 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
7.597 * [taylor]: Taking taylor expansion of (pow y 3) in y
7.598 * [taylor]: Taking taylor expansion of y in y
7.598 * [backup-simplify]: Simplify 0 into 0
7.598 * [backup-simplify]: Simplify 1 into 1
7.598 * [backup-simplify]: Simplify (* 1 1) into 1
7.598 * [backup-simplify]: Simplify (* 1 1) into 1
7.599 * [backup-simplify]: Simplify (/ 1 1) into 1
7.599 * [backup-simplify]: Simplify (sqrt 0) into 0
7.600 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
7.600 * [taylor]: Taking taylor expansion of (* 0.125 (sqrt (/ 1 (pow y 3)))) in y
7.600 * [taylor]: Taking taylor expansion of 0.125 in y
7.600 * [backup-simplify]: Simplify 0.125 into 0.125
7.600 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow y 3))) in y
7.600 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
7.600 * [taylor]: Taking taylor expansion of (pow y 3) in y
7.600 * [taylor]: Taking taylor expansion of y in y
7.600 * [backup-simplify]: Simplify 0 into 0
7.600 * [backup-simplify]: Simplify 1 into 1
7.600 * [backup-simplify]: Simplify (* 1 1) into 1
7.600 * [backup-simplify]: Simplify (* 1 1) into 1
7.601 * [backup-simplify]: Simplify (/ 1 1) into 1
7.601 * [backup-simplify]: Simplify (sqrt 0) into 0
7.602 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
7.602 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.602 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.603 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.605 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
7.605 * [backup-simplify]: Simplify (+ (* z +nan.0) (+ (* 0 +nan.0) (* 0 0))) into (- (* +nan.0 z))
7.606 * [backup-simplify]: Simplify (+ (* z +nan.0) (* 0 0)) into (- (* +nan.0 z))
7.606 * [backup-simplify]: Simplify (* z 0) into 0
7.606 * [backup-simplify]: Simplify (+ (* 1/8 (- (* +nan.0 z))) (+ (* 0 (- (* +nan.0 z))) (* 0 0))) into (- (* +nan.0 z))
7.606 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.607 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.607 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.609 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
7.611 * [backup-simplify]: Simplify (+ (* 0.125 +nan.0) (+ (* 0 +nan.0) (* 0 0))) into (- +nan.0)
7.611 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
7.612 * [backup-simplify]: Simplify (+ (- (* +nan.0 z)) (- +nan.0)) into (- (+ (* +nan.0 z) (- +nan.0)))
7.612 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 z) (- +nan.0))) in z
7.612 * [taylor]: Taking taylor expansion of (+ (* +nan.0 z) (- +nan.0)) in z
7.612 * [taylor]: Taking taylor expansion of (* +nan.0 z) in z
7.612 * [taylor]: Taking taylor expansion of +nan.0 in z
7.612 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.612 * [taylor]: Taking taylor expansion of z in z
7.612 * [backup-simplify]: Simplify 0 into 0
7.612 * [backup-simplify]: Simplify 1 into 1
7.612 * [taylor]: Taking taylor expansion of (- +nan.0) in z
7.612 * [taylor]: Taking taylor expansion of +nan.0 in z
7.612 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.612 * [backup-simplify]: Simplify (* +nan.0 0) into 0
7.612 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.613 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
7.613 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
7.614 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.615 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (* 1 (* 1 x)) 2)) (+ (* (- +nan.0) (* 1 (* y 1))) (* (- +nan.0) (* 1 (* 1 x))))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- (* +nan.0 y))))))
7.615 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 x) (/ 1 y))) (- 1.0 (/ 1 z))) into (* (- 1.0 (/ 1 z)) (sqrt (+ (/ 1 x) (/ 1 y))))
7.615 * [approximate]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (sqrt (+ (/ 1 x) (/ 1 y)))) in (x y z) around 0
7.615 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (sqrt (+ (/ 1 x) (/ 1 y)))) in z
7.615 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
7.615 * [taylor]: Taking taylor expansion of 1.0 in z
7.615 * [backup-simplify]: Simplify 1.0 into 1.0
7.615 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.615 * [taylor]: Taking taylor expansion of z in z
7.615 * [backup-simplify]: Simplify 0 into 0
7.615 * [backup-simplify]: Simplify 1 into 1
7.615 * [backup-simplify]: Simplify (/ 1 1) into 1
7.615 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) (/ 1 y))) in z
7.615 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z
7.615 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.615 * [taylor]: Taking taylor expansion of x in z
7.615 * [backup-simplify]: Simplify x into x
7.615 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.615 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.615 * [taylor]: Taking taylor expansion of y in z
7.616 * [backup-simplify]: Simplify y into y
7.616 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.616 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 y)) into (+ (/ 1 x) (/ 1 y))
7.616 * [backup-simplify]: Simplify (sqrt (+ (/ 1 x) (/ 1 y))) into (sqrt (+ (/ 1 x) (/ 1 y)))
7.616 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
7.616 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.616 * [backup-simplify]: Simplify (+ 0 0) into 0
7.616 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (/ 1 x) (/ 1 y))))) into 0
7.616 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (sqrt (+ (/ 1 x) (/ 1 y)))) in y
7.616 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y
7.616 * [taylor]: Taking taylor expansion of 1.0 in y
7.616 * [backup-simplify]: Simplify 1.0 into 1.0
7.616 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.616 * [taylor]: Taking taylor expansion of z in y
7.616 * [backup-simplify]: Simplify z into z
7.616 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.616 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) (/ 1 y))) in y
7.616 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
7.616 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.616 * [taylor]: Taking taylor expansion of x in y
7.616 * [backup-simplify]: Simplify x into x
7.616 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.616 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.617 * [taylor]: Taking taylor expansion of y in y
7.617 * [backup-simplify]: Simplify 0 into 0
7.617 * [backup-simplify]: Simplify 1 into 1
7.617 * [backup-simplify]: Simplify (/ 1 1) into 1
7.617 * [backup-simplify]: Simplify (+ 0 1) into 1
7.617 * [backup-simplify]: Simplify (sqrt 0) into 0
7.618 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
7.618 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (sqrt (+ (/ 1 x) (/ 1 y)))) in x
7.618 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x
7.618 * [taylor]: Taking taylor expansion of 1.0 in x
7.619 * [backup-simplify]: Simplify 1.0 into 1.0
7.619 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.619 * [taylor]: Taking taylor expansion of z in x
7.619 * [backup-simplify]: Simplify z into z
7.619 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.619 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) (/ 1 y))) in x
7.619 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
7.619 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.619 * [taylor]: Taking taylor expansion of x in x
7.619 * [backup-simplify]: Simplify 0 into 0
7.619 * [backup-simplify]: Simplify 1 into 1
7.619 * [backup-simplify]: Simplify (/ 1 1) into 1
7.619 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.619 * [taylor]: Taking taylor expansion of y in x
7.619 * [backup-simplify]: Simplify y into y
7.619 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.619 * [backup-simplify]: Simplify (+ 1 0) into 1
7.620 * [backup-simplify]: Simplify (sqrt 0) into 0
7.620 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
7.620 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (sqrt (+ (/ 1 x) (/ 1 y)))) in x
7.620 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x
7.620 * [taylor]: Taking taylor expansion of 1.0 in x
7.620 * [backup-simplify]: Simplify 1.0 into 1.0
7.620 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.620 * [taylor]: Taking taylor expansion of z in x
7.620 * [backup-simplify]: Simplify z into z
7.621 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.621 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) (/ 1 y))) in x
7.621 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
7.621 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.621 * [taylor]: Taking taylor expansion of x in x
7.621 * [backup-simplify]: Simplify 0 into 0
7.621 * [backup-simplify]: Simplify 1 into 1
7.621 * [backup-simplify]: Simplify (/ 1 1) into 1
7.621 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.621 * [taylor]: Taking taylor expansion of y in x
7.621 * [backup-simplify]: Simplify y into y
7.621 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.621 * [backup-simplify]: Simplify (+ 1 0) into 1
7.621 * [backup-simplify]: Simplify (sqrt 0) into 0
7.622 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
7.622 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.622 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 z))) into (- 1.0 (/ 1 z))
7.622 * [backup-simplify]: Simplify (* (- 1.0 (/ 1 z)) 0) into 0
7.623 * [taylor]: Taking taylor expansion of 0 in y
7.623 * [backup-simplify]: Simplify 0 into 0
7.623 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.623 * [backup-simplify]: Simplify (- 0) into 0
7.623 * [backup-simplify]: Simplify (+ 0 0) into 0
7.623 * [backup-simplify]: Simplify (+ (* (- 1.0 (/ 1 z)) +nan.0) (* 0 0)) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
7.623 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))) in y
7.623 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 z)))) in y
7.623 * [taylor]: Taking taylor expansion of +nan.0 in y
7.624 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.624 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in y
7.624 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in y
7.624 * [taylor]: Taking taylor expansion of +nan.0 in y
7.624 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.624 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.624 * [taylor]: Taking taylor expansion of z in y
7.624 * [backup-simplify]: Simplify z into z
7.624 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.624 * [taylor]: Taking taylor expansion of 0 in z
7.624 * [backup-simplify]: Simplify 0 into 0
7.624 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.624 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
7.625 * [backup-simplify]: Simplify (/ (- (/ 1 y) (pow +nan.0 2) (+)) (* 2 0)) into (* +nan.0 (- (/ 1 y) +nan.0))
7.625 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.625 * [backup-simplify]: Simplify (- 0) into 0
7.626 * [backup-simplify]: Simplify (+ 0 0) into 0
7.626 * [backup-simplify]: Simplify (+ (* (- 1.0 (/ 1 z)) (* +nan.0 (- (/ 1 y) +nan.0))) (+ (* 0 +nan.0) (* 0 0))) into (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (* z y))) (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))))))
7.626 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (* z y))) (- (+ +nan.0 (- (* +nan.0 (/ 1 y))))))))) in y
7.626 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (* z y))) (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))))) in y
7.626 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in y
7.626 * [taylor]: Taking taylor expansion of +nan.0 in y
7.626 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.626 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.626 * [taylor]: Taking taylor expansion of z in y
7.626 * [backup-simplify]: Simplify z into z
7.626 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.626 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* z y))) (- (+ +nan.0 (- (* +nan.0 (/ 1 y))))))) in y
7.626 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* z y))) (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))) in y
7.626 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* z y))) in y
7.626 * [taylor]: Taking taylor expansion of +nan.0 in y
7.626 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.626 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
7.626 * [taylor]: Taking taylor expansion of (* z y) in y
7.627 * [taylor]: Taking taylor expansion of z in y
7.627 * [backup-simplify]: Simplify z into z
7.627 * [taylor]: Taking taylor expansion of y in y
7.627 * [backup-simplify]: Simplify 0 into 0
7.627 * [backup-simplify]: Simplify 1 into 1
7.627 * [backup-simplify]: Simplify (* z 0) into 0
7.627 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
7.627 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.627 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 y))))) in y
7.627 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 y)))) in y
7.627 * [taylor]: Taking taylor expansion of +nan.0 in y
7.627 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.627 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y
7.627 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
7.627 * [taylor]: Taking taylor expansion of +nan.0 in y
7.627 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.627 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.627 * [taylor]: Taking taylor expansion of y in y
7.627 * [backup-simplify]: Simplify 0 into 0
7.627 * [backup-simplify]: Simplify 1 into 1
7.627 * [backup-simplify]: Simplify (/ 1 1) into 1
7.627 * [backup-simplify]: Simplify (* +nan.0 (/ 1 z)) into (/ +nan.0 z)
7.628 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
7.628 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.628 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
7.629 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
7.629 * [backup-simplify]: Simplify (+ (/ +nan.0 z) (- +nan.0)) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
7.629 * [backup-simplify]: Simplify (- (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
7.629 * [backup-simplify]: Simplify (+ 0 (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
7.630 * [backup-simplify]: Simplify (- (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
7.630 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))) in z
7.630 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 z)))) in z
7.630 * [taylor]: Taking taylor expansion of +nan.0 in z
7.630 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.630 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z
7.630 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z
7.630 * [taylor]: Taking taylor expansion of +nan.0 in z
7.630 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.630 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.630 * [taylor]: Taking taylor expansion of z in z
7.630 * [backup-simplify]: Simplify 0 into 0
7.630 * [backup-simplify]: Simplify 1 into 1
7.630 * [backup-simplify]: Simplify (/ 1 1) into 1
7.630 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
7.631 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.631 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
7.632 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
7.632 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.632 * [backup-simplify]: Simplify (* +nan.0 (/ 1 z)) into (/ +nan.0 z)
7.632 * [backup-simplify]: Simplify (- (/ +nan.0 z)) into (- (* +nan.0 (/ 1 z)))
7.632 * [backup-simplify]: Simplify (+ +nan.0 (- (* +nan.0 (/ 1 z)))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
7.632 * [backup-simplify]: Simplify (- (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
7.632 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))) in z
7.632 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 z)))) in z
7.632 * [taylor]: Taking taylor expansion of +nan.0 in z
7.632 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.632 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z
7.632 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z
7.632 * [taylor]: Taking taylor expansion of +nan.0 in z
7.632 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.632 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.632 * [taylor]: Taking taylor expansion of z in z
7.632 * [backup-simplify]: Simplify 0 into 0
7.632 * [backup-simplify]: Simplify 1 into 1
7.633 * [backup-simplify]: Simplify (/ 1 1) into 1
7.633 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
7.633 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.634 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
7.634 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
7.634 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.634 * [taylor]: Taking taylor expansion of 0 in z
7.634 * [backup-simplify]: Simplify 0 into 0
7.635 * [backup-simplify]: Simplify 0 into 0
7.635 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.635 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.635 * [backup-simplify]: Simplify (+ 0 0) into 0
7.636 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 (* +nan.0 (- (/ 1 y) +nan.0)))))) (* 2 0)) into (* +nan.0 (+ +nan.0 (- (* +nan.0 (/ 1 y)))))
7.636 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.636 * [backup-simplify]: Simplify (- 0) into 0
7.636 * [backup-simplify]: Simplify (+ 0 0) into 0
7.637 * [backup-simplify]: Simplify (+ (* (- 1.0 (/ 1 z)) (* +nan.0 (+ +nan.0 (- (* +nan.0 (/ 1 y)))))) (+ (* 0 (* +nan.0 (- (/ 1 y) +nan.0))) (+ (* 0 +nan.0) (* 0 0)))) into (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (* z y))) (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))))))
7.637 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (* z y))) (- (+ +nan.0 (- (* +nan.0 (/ 1 y))))))))) in y
7.637 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (* z y))) (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))))) in y
7.637 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in y
7.637 * [taylor]: Taking taylor expansion of +nan.0 in y
7.637 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.637 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.637 * [taylor]: Taking taylor expansion of z in y
7.637 * [backup-simplify]: Simplify z into z
7.637 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.637 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* z y))) (- (+ +nan.0 (- (* +nan.0 (/ 1 y))))))) in y
7.637 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* z y))) (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))) in y
7.637 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* z y))) in y
7.637 * [taylor]: Taking taylor expansion of +nan.0 in y
7.637 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.637 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
7.637 * [taylor]: Taking taylor expansion of (* z y) in y
7.637 * [taylor]: Taking taylor expansion of z in y
7.637 * [backup-simplify]: Simplify z into z
7.637 * [taylor]: Taking taylor expansion of y in y
7.637 * [backup-simplify]: Simplify 0 into 0
7.637 * [backup-simplify]: Simplify 1 into 1
7.637 * [backup-simplify]: Simplify (* z 0) into 0
7.638 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
7.638 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.638 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 y))))) in y
7.638 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 y)))) in y
7.638 * [taylor]: Taking taylor expansion of +nan.0 in y
7.638 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.638 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y
7.638 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
7.638 * [taylor]: Taking taylor expansion of +nan.0 in y
7.638 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.638 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.638 * [taylor]: Taking taylor expansion of y in y
7.638 * [backup-simplify]: Simplify 0 into 0
7.638 * [backup-simplify]: Simplify 1 into 1
7.638 * [backup-simplify]: Simplify (/ 1 1) into 1
7.638 * [backup-simplify]: Simplify (* +nan.0 (/ 1 z)) into (/ +nan.0 z)
7.639 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
7.639 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.639 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
7.640 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
7.640 * [backup-simplify]: Simplify (+ (/ +nan.0 z) (- +nan.0)) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
7.640 * [backup-simplify]: Simplify (- (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
7.640 * [backup-simplify]: Simplify (+ 0 (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
7.640 * [backup-simplify]: Simplify (- (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
7.640 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))) in z
7.640 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 z)))) in z
7.640 * [taylor]: Taking taylor expansion of +nan.0 in z
7.641 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.641 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z
7.641 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z
7.641 * [taylor]: Taking taylor expansion of +nan.0 in z
7.641 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.641 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.641 * [taylor]: Taking taylor expansion of z in z
7.641 * [backup-simplify]: Simplify 0 into 0
7.641 * [backup-simplify]: Simplify 1 into 1
7.641 * [backup-simplify]: Simplify (/ 1 1) into 1
7.641 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
7.641 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.642 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
7.642 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
7.643 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.644 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) (pow (/ 1 x) 2)))) (+ (* (- +nan.0) (* (/ 1 (/ 1 z)) (* 1 1))) (* (- +nan.0) (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) (/ 1 x)))))) into (- (+ (* +nan.0 (/ (* z y) x)) (- (+ (* +nan.0 (/ (* z y) (pow x 2))) (- (* +nan.0 z))))))
7.644 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 (- x)) (/ 1 (- y)))) (- 1.0 (/ 1 (- z)))) into (* (sqrt (- (+ (/ 1 x) (/ 1 y)))) (+ 1.0 (/ 1 z)))
7.644 * [approximate]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) (/ 1 y)))) (+ 1.0 (/ 1 z))) in (x y z) around 0
7.644 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) (/ 1 y)))) (+ 1.0 (/ 1 z))) in z
7.644 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) (/ 1 y)))) in z
7.644 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y))) in z
7.644 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z
7.644 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.644 * [taylor]: Taking taylor expansion of x in z
7.644 * [backup-simplify]: Simplify x into x
7.644 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.644 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.644 * [taylor]: Taking taylor expansion of y in z
7.644 * [backup-simplify]: Simplify y into y
7.645 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.645 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 y)) into (+ (/ 1 x) (/ 1 y))
7.645 * [backup-simplify]: Simplify (- (+ (/ 1 x) (/ 1 y))) into (- (+ (/ 1 x) (/ 1 y)))
7.645 * [backup-simplify]: Simplify (- (+ (/ 1 x) (/ 1 y))) into (- (+ (/ 1 x) (/ 1 y)))
7.645 * [backup-simplify]: Simplify (sqrt (- (+ (/ 1 x) (/ 1 y)))) into (sqrt (- (+ (/ 1 x) (/ 1 y))))
7.645 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
7.645 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.645 * [backup-simplify]: Simplify (+ 0 0) into 0
7.645 * [backup-simplify]: Simplify (- 0) into 0
7.646 * [backup-simplify]: Simplify (- (+ (/ 1 x) (/ 1 y))) into (- (+ (/ 1 x) (/ 1 y)))
7.646 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- (+ (/ 1 x) (/ 1 y)))))) into 0
7.646 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 z)) in z
7.646 * [taylor]: Taking taylor expansion of 1.0 in z
7.646 * [backup-simplify]: Simplify 1.0 into 1.0
7.646 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.646 * [taylor]: Taking taylor expansion of z in z
7.646 * [backup-simplify]: Simplify 0 into 0
7.646 * [backup-simplify]: Simplify 1 into 1
7.646 * [backup-simplify]: Simplify (/ 1 1) into 1
7.646 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) (/ 1 y)))) (+ 1.0 (/ 1 z))) in y
7.646 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) (/ 1 y)))) in y
7.646 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y))) in y
7.646 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
7.646 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.646 * [taylor]: Taking taylor expansion of x in y
7.646 * [backup-simplify]: Simplify x into x
7.646 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.646 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.646 * [taylor]: Taking taylor expansion of y in y
7.646 * [backup-simplify]: Simplify 0 into 0
7.646 * [backup-simplify]: Simplify 1 into 1
7.646 * [backup-simplify]: Simplify (/ 1 1) into 1
7.647 * [backup-simplify]: Simplify (+ 0 1) into 1
7.647 * [backup-simplify]: Simplify (- 1) into -1
7.647 * [backup-simplify]: Simplify (sqrt 0) into 0
7.647 * [backup-simplify]: Simplify (- 1) into -1
7.648 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
7.648 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 z)) in y
7.648 * [taylor]: Taking taylor expansion of 1.0 in y
7.648 * [backup-simplify]: Simplify 1.0 into 1.0
7.648 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.648 * [taylor]: Taking taylor expansion of z in y
7.648 * [backup-simplify]: Simplify z into z
7.648 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.648 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) (/ 1 y)))) (+ 1.0 (/ 1 z))) in x
7.648 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) (/ 1 y)))) in x
7.648 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y))) in x
7.648 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
7.648 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.649 * [taylor]: Taking taylor expansion of x in x
7.649 * [backup-simplify]: Simplify 0 into 0
7.649 * [backup-simplify]: Simplify 1 into 1
7.649 * [backup-simplify]: Simplify (/ 1 1) into 1
7.649 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.649 * [taylor]: Taking taylor expansion of y in x
7.649 * [backup-simplify]: Simplify y into y
7.649 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.649 * [backup-simplify]: Simplify (+ 1 0) into 1
7.649 * [backup-simplify]: Simplify (- 1) into -1
7.650 * [backup-simplify]: Simplify (sqrt 0) into 0
7.650 * [backup-simplify]: Simplify (- 1) into -1
7.651 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
7.651 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 z)) in x
7.651 * [taylor]: Taking taylor expansion of 1.0 in x
7.651 * [backup-simplify]: Simplify 1.0 into 1.0
7.651 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.651 * [taylor]: Taking taylor expansion of z in x
7.651 * [backup-simplify]: Simplify z into z
7.651 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.651 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) (/ 1 y)))) (+ 1.0 (/ 1 z))) in x
7.651 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) (/ 1 y)))) in x
7.651 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y))) in x
7.651 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
7.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.651 * [taylor]: Taking taylor expansion of x in x
7.651 * [backup-simplify]: Simplify 0 into 0
7.651 * [backup-simplify]: Simplify 1 into 1
7.651 * [backup-simplify]: Simplify (/ 1 1) into 1
7.651 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.651 * [taylor]: Taking taylor expansion of y in x
7.651 * [backup-simplify]: Simplify y into y
7.651 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.651 * [backup-simplify]: Simplify (+ 1 0) into 1
7.652 * [backup-simplify]: Simplify (- 1) into -1
7.652 * [backup-simplify]: Simplify (sqrt 0) into 0
7.652 * [backup-simplify]: Simplify (- 1) into -1
7.653 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
7.653 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 z)) in x
7.653 * [taylor]: Taking taylor expansion of 1.0 in x
7.653 * [backup-simplify]: Simplify 1.0 into 1.0
7.653 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.653 * [taylor]: Taking taylor expansion of z in x
7.653 * [backup-simplify]: Simplify z into z
7.653 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.653 * [backup-simplify]: Simplify (+ 1.0 (/ 1 z)) into (+ 1.0 (/ 1 z))
7.653 * [backup-simplify]: Simplify (* 0 (+ 1.0 (/ 1 z))) into 0
7.653 * [taylor]: Taking taylor expansion of 0 in y
7.653 * [backup-simplify]: Simplify 0 into 0
7.653 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.654 * [backup-simplify]: Simplify (+ 0 0) into 0
7.654 * [backup-simplify]: Simplify (+ (* 0 0) (* +nan.0 (+ 1.0 (/ 1 z)))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
7.654 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))) in y
7.654 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 z)))) in y
7.654 * [taylor]: Taking taylor expansion of +nan.0 in y
7.654 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.654 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in y
7.654 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in y
7.654 * [taylor]: Taking taylor expansion of +nan.0 in y
7.654 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.654 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.654 * [taylor]: Taking taylor expansion of z in y
7.654 * [backup-simplify]: Simplify z into z
7.654 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.654 * [taylor]: Taking taylor expansion of 0 in z
7.654 * [backup-simplify]: Simplify 0 into 0
7.654 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.655 * [backup-simplify]: Simplify (+ 0 0) into 0
7.655 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.655 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
7.655 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
7.656 * [backup-simplify]: Simplify (/ (- (- (/ 1 y)) (pow +nan.0 2) (+)) (* 2 0)) into (* +nan.0 (+ +nan.0 (/ 1 y)))
7.657 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 0) (* (* +nan.0 (+ +nan.0 (/ 1 y))) (+ 1.0 (/ 1 z))))) into (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (* z y))) (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))))))
7.657 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (* z y))) (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))))))) in y
7.657 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (* z y))) (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))))) in y
7.657 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
7.657 * [taylor]: Taking taylor expansion of +nan.0 in y
7.657 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.657 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.657 * [taylor]: Taking taylor expansion of y in y
7.657 * [backup-simplify]: Simplify 0 into 0
7.657 * [backup-simplify]: Simplify 1 into 1
7.657 * [backup-simplify]: Simplify (/ 1 1) into 1
7.657 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* z y))) (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))))) in y
7.657 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* z y))) (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))) in y
7.657 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* z y))) in y
7.657 * [taylor]: Taking taylor expansion of +nan.0 in y
7.657 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.657 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
7.657 * [taylor]: Taking taylor expansion of (* z y) in y
7.657 * [taylor]: Taking taylor expansion of z in y
7.657 * [backup-simplify]: Simplify z into z
7.657 * [taylor]: Taking taylor expansion of y in y
7.657 * [backup-simplify]: Simplify 0 into 0
7.657 * [backup-simplify]: Simplify 1 into 1
7.657 * [backup-simplify]: Simplify (* z 0) into 0
7.658 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
7.658 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.658 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))) in y
7.658 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 z)))) in y
7.658 * [taylor]: Taking taylor expansion of +nan.0 in y
7.658 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.658 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in y
7.658 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in y
7.658 * [taylor]: Taking taylor expansion of +nan.0 in y
7.658 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.658 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.658 * [taylor]: Taking taylor expansion of z in y
7.658 * [backup-simplify]: Simplify z into z
7.658 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.658 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
7.658 * [backup-simplify]: Simplify (* +nan.0 (/ 1 z)) into (/ +nan.0 z)
7.658 * [backup-simplify]: Simplify (+ (/ +nan.0 z) 0) into (- (* +nan.0 (/ 1 z)))
7.659 * [backup-simplify]: Simplify (- (- (* +nan.0 (/ 1 z)))) into (- (* +nan.0 (/ 1 z)))
7.659 * [backup-simplify]: Simplify (+ +nan.0 (- (* +nan.0 (/ 1 z)))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
7.659 * [backup-simplify]: Simplify (- (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
7.659 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))) in z
7.659 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 z)))) in z
7.659 * [taylor]: Taking taylor expansion of +nan.0 in z
7.659 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.659 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z
7.659 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z
7.659 * [taylor]: Taking taylor expansion of +nan.0 in z
7.659 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.659 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.659 * [taylor]: Taking taylor expansion of z in z
7.659 * [backup-simplify]: Simplify 0 into 0
7.659 * [backup-simplify]: Simplify 1 into 1
7.660 * [backup-simplify]: Simplify (/ 1 1) into 1
7.660 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
7.660 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.661 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
7.662 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
7.662 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.663 * [backup-simplify]: Simplify (* +nan.0 (/ 1 z)) into (/ +nan.0 z)
7.663 * [backup-simplify]: Simplify (- (/ +nan.0 z)) into (- (* +nan.0 (/ 1 z)))
7.663 * [backup-simplify]: Simplify (+ +nan.0 (- (* +nan.0 (/ 1 z)))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
7.663 * [backup-simplify]: Simplify (- (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
7.663 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))) in z
7.663 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 z)))) in z
7.663 * [taylor]: Taking taylor expansion of +nan.0 in z
7.663 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.663 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z
7.663 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z
7.663 * [taylor]: Taking taylor expansion of +nan.0 in z
7.663 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.663 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.663 * [taylor]: Taking taylor expansion of z in z
7.663 * [backup-simplify]: Simplify 0 into 0
7.663 * [backup-simplify]: Simplify 1 into 1
7.664 * [backup-simplify]: Simplify (/ 1 1) into 1
7.664 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
7.664 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.666 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
7.666 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
7.667 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.667 * [taylor]: Taking taylor expansion of 0 in z
7.667 * [backup-simplify]: Simplify 0 into 0
7.667 * [backup-simplify]: Simplify 0 into 0
7.667 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.668 * [backup-simplify]: Simplify (+ 0 0) into 0
7.669 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.669 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.669 * [backup-simplify]: Simplify (+ 0 0) into 0
7.669 * [backup-simplify]: Simplify (- 0) into 0
7.670 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 (* +nan.0 (+ +nan.0 (/ 1 y))))))) (* 2 0)) into (* +nan.0 (+ +nan.0 (- (* +nan.0 (/ 1 y)))))
7.671 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 0) (+ (* (* +nan.0 (+ +nan.0 (/ 1 y))) 0) (* (* +nan.0 (+ +nan.0 (- (* +nan.0 (/ 1 y))))) (+ 1.0 (/ 1 z)))))) into (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (* z y))) (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))))))
7.672 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (* z y))) (- (+ +nan.0 (- (* +nan.0 (/ 1 y))))))))) in y
7.672 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (* z y))) (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))))) in y
7.672 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in y
7.672 * [taylor]: Taking taylor expansion of +nan.0 in y
7.672 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.672 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.672 * [taylor]: Taking taylor expansion of z in y
7.672 * [backup-simplify]: Simplify z into z
7.672 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.672 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* z y))) (- (+ +nan.0 (- (* +nan.0 (/ 1 y))))))) in y
7.672 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* z y))) (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))) in y
7.672 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* z y))) in y
7.672 * [taylor]: Taking taylor expansion of +nan.0 in y
7.672 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.672 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
7.672 * [taylor]: Taking taylor expansion of (* z y) in y
7.672 * [taylor]: Taking taylor expansion of z in y
7.672 * [backup-simplify]: Simplify z into z
7.672 * [taylor]: Taking taylor expansion of y in y
7.672 * [backup-simplify]: Simplify 0 into 0
7.672 * [backup-simplify]: Simplify 1 into 1
7.672 * [backup-simplify]: Simplify (* z 0) into 0
7.673 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
7.673 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.673 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 y))))) in y
7.673 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 y)))) in y
7.673 * [taylor]: Taking taylor expansion of +nan.0 in y
7.673 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.673 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y
7.673 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
7.673 * [taylor]: Taking taylor expansion of +nan.0 in y
7.673 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.673 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.673 * [taylor]: Taking taylor expansion of y in y
7.673 * [backup-simplify]: Simplify 0 into 0
7.673 * [backup-simplify]: Simplify 1 into 1
7.673 * [backup-simplify]: Simplify (/ 1 1) into 1
7.673 * [backup-simplify]: Simplify (* +nan.0 (/ 1 z)) into (/ +nan.0 z)
7.674 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
7.674 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.675 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
7.676 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
7.676 * [backup-simplify]: Simplify (+ (/ +nan.0 z) (- +nan.0)) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
7.677 * [backup-simplify]: Simplify (- (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
7.677 * [backup-simplify]: Simplify (+ 0 (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
7.677 * [backup-simplify]: Simplify (- (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
7.677 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))) in z
7.677 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 z)))) in z
7.677 * [taylor]: Taking taylor expansion of +nan.0 in z
7.677 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.677 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z
7.677 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z
7.677 * [taylor]: Taking taylor expansion of +nan.0 in z
7.677 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.677 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.677 * [taylor]: Taking taylor expansion of z in z
7.677 * [backup-simplify]: Simplify 0 into 0
7.677 * [backup-simplify]: Simplify 1 into 1
7.682 * [backup-simplify]: Simplify (/ 1 1) into 1
7.683 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
7.684 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.684 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
7.685 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
7.686 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.688 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- y))) (pow (/ 1 (- x)) 2)))) (+ (* (- +nan.0) (* (/ 1 (/ 1 (- z))) (* 1 1))) (* (- +nan.0) (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- y))) (/ 1 (- x))))))) into (- (+ (* +nan.0 (/ (* z y) x)) (- (+ (* +nan.0 (/ (* z y) (pow x 2))) (- (* +nan.0 z))))))
7.688 * * * [progress]: simplifying candidates
7.692 * [simplify]: Simplifying:
  (* (sqrt (+ x y)) (* (sqrt (+ x y)) (- 1.0 z)))
  (* (sqrt (+ x y)) (* (sqrt (+ x y)) (- 1.0 z)))
  (+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (log (- 1.0 z))))
  (+ (log (sqrt (+ x y))) (log (* (sqrt (+ x y)) (- 1.0 z))))
  (log (* (sqrt (+ x y)) (* (sqrt (+ x y)) (- 1.0 z))))
  (exp (* (sqrt (+ x y)) (* (sqrt (+ x y)) (- 1.0 z))))
  (* (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y))) (* (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y))) (* (* (- 1.0 z) (- 1.0 z)) (- 1.0 z))))
  (* (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y))) (* (* (* (sqrt (+ x y)) (- 1.0 z)) (* (sqrt (+ x y)) (- 1.0 z))) (* (sqrt (+ x y)) (- 1.0 z))))
  (* (cbrt (* (sqrt (+ x y)) (* (sqrt (+ x y)) (- 1.0 z)))) (cbrt (* (sqrt (+ x y)) (* (sqrt (+ x y)) (- 1.0 z)))))
  (cbrt (* (sqrt (+ x y)) (* (sqrt (+ x y)) (- 1.0 z))))
  (* (* (* (sqrt (+ x y)) (* (sqrt (+ x y)) (- 1.0 z))) (* (sqrt (+ x y)) (* (sqrt (+ x y)) (- 1.0 z)))) (* (sqrt (+ x y)) (* (sqrt (+ x y)) (- 1.0 z))))
  (sqrt (* (sqrt (+ x y)) (* (sqrt (+ x y)) (- 1.0 z))))
  (sqrt (* (sqrt (+ x y)) (* (sqrt (+ x y)) (- 1.0 z))))
  (* (sqrt (+ (pow x 3) (pow y 3))) (* (sqrt (+ (pow x 3) (pow y 3))) (- (pow 1.0 3) (pow z 3))))
  (* (sqrt (+ (* x x) (- (* y y) (* x y)))) (* (sqrt (+ (* x x) (- (* y y) (* x y)))) (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z)))))
  (* (sqrt (+ (pow x 3) (pow y 3))) (* (sqrt (+ (pow x 3) (pow y 3))) (- (* 1.0 1.0) (* z z))))
  (* (sqrt (+ (* x x) (- (* y y) (* x y)))) (* (sqrt (+ (* x x) (- (* y y) (* x y)))) (+ 1.0 z)))
  (* (sqrt (+ (pow x 3) (pow y 3))) (* (sqrt (- (* x x) (* y y))) (- (pow 1.0 3) (pow z 3))))
  (* (sqrt (+ (* x x) (- (* y y) (* x y)))) (* (sqrt (- x y)) (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z)))))
  (* (sqrt (+ (pow x 3) (pow y 3))) (* (sqrt (- (* x x) (* y y))) (- (* 1.0 1.0) (* z z))))
  (* (sqrt (+ (* x x) (- (* y y) (* x y)))) (* (sqrt (- x y)) (+ 1.0 z)))
  (* (sqrt (+ (pow x 3) (pow y 3))) (* (sqrt (+ x y)) (- (pow 1.0 3) (pow z 3))))
  (* (sqrt (+ (* x x) (- (* y y) (* x y)))) (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z))))
  (* (sqrt (+ (pow x 3) (pow y 3))) (* (sqrt (+ x y)) (- (* 1.0 1.0) (* z z))))
  (* (sqrt (+ (* x x) (- (* y y) (* x y)))) (+ 1.0 z))
  (* (sqrt (+ (pow x 3) (pow y 3))) (* (sqrt (+ (pow x 3) (pow y 3))) (- 1.0 z)))
  (* (sqrt (+ (* x x) (- (* y y) (* x y)))) (sqrt (+ (* x x) (- (* y y) (* x y)))))
  (* (sqrt (+ (pow x 3) (pow y 3))) (* (sqrt (- (* x x) (* y y))) (- 1.0 z)))
  (* (sqrt (+ (* x x) (- (* y y) (* x y)))) (sqrt (- x y)))
  (* (sqrt (- (* x x) (* y y))) (* (sqrt (+ (pow x 3) (pow y 3))) (- (pow 1.0 3) (pow z 3))))
  (* (sqrt (- x y)) (* (sqrt (+ (* x x) (- (* y y) (* x y)))) (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z)))))
  (* (sqrt (- (* x x) (* y y))) (* (sqrt (+ (pow x 3) (pow y 3))) (- (* 1.0 1.0) (* z z))))
  (* (sqrt (- x y)) (* (sqrt (+ (* x x) (- (* y y) (* x y)))) (+ 1.0 z)))
  (* (sqrt (- (* x x) (* y y))) (* (sqrt (- (* x x) (* y y))) (- (pow 1.0 3) (pow z 3))))
  (* (sqrt (- x y)) (* (sqrt (- x y)) (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z)))))
  (* (sqrt (- (* x x) (* y y))) (* (sqrt (- (* x x) (* y y))) (- (* 1.0 1.0) (* z z))))
  (* (sqrt (- x y)) (* (sqrt (- x y)) (+ 1.0 z)))
  (* (sqrt (- (* x x) (* y y))) (* (sqrt (+ x y)) (- (pow 1.0 3) (pow z 3))))
  (* (sqrt (- x y)) (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z))))
  (* (sqrt (- (* x x) (* y y))) (* (sqrt (+ x y)) (- (* 1.0 1.0) (* z z))))
  (* (sqrt (- x y)) (+ 1.0 z))
  (* (sqrt (- (* x x) (* y y))) (* (sqrt (+ (pow x 3) (pow y 3))) (- 1.0 z)))
  (* (sqrt (- x y)) (sqrt (+ (* x x) (- (* y y) (* x y)))))
  (* (sqrt (- (* x x) (* y y))) (* (sqrt (- (* x x) (* y y))) (- 1.0 z)))
  (* (sqrt (- x y)) (sqrt (- x y)))
  (* (sqrt (+ x y)) (* (sqrt (+ x y)) 1.0))
  (* (sqrt (+ x y)) (* (sqrt (+ x y)) (- z)))
  (* (sqrt (+ x y)) (* (sqrt (+ x y)) 1.0))
  (* (sqrt (+ x y)) (* (sqrt (+ x y)) (- z)))
  (* (sqrt (+ x y)) (* 1.0 (sqrt (+ x y))))
  (* (sqrt (+ x y)) (* (- z) (sqrt (+ x y))))
  (* (sqrt (+ x y)) (* 1.0 (sqrt (+ x y))))
  (* (sqrt (+ x y)) (* (- z) (sqrt (+ x y))))
  (* (* (sqrt (+ x y)) 1.0) (sqrt (+ x y)))
  (* (* (sqrt (+ x y)) (- z)) (sqrt (+ x y)))
  (* (* (sqrt (+ x y)) 1.0) (sqrt (+ x y)))
  (* (* (sqrt (+ x y)) (- z)) (sqrt (+ x y)))
  (* (* 1.0 (sqrt (+ x y))) (sqrt (+ x y)))
  (* (* (- z) (sqrt (+ x y))) (sqrt (+ x y)))
  (* (* 1.0 (sqrt (+ x y))) (sqrt (+ x y)))
  (* (* (- z) (sqrt (+ x y))) (sqrt (+ x y)))
  (* (sqrt (+ x y)) (sqrt (+ x y)))
  (* (cbrt (sqrt (+ x y))) (* (sqrt (+ x y)) (- 1.0 z)))
  (* (sqrt (cbrt (+ x y))) (* (sqrt (+ x y)) (- 1.0 z)))
  (* (sqrt (sqrt (+ x y))) (* (sqrt (+ x y)) (- 1.0 z)))
  (* (sqrt (+ x y)) (* (sqrt (+ x y)) (- 1.0 z)))
  (* (sqrt (+ x y)) (* (sqrt (+ x y)) (- 1.0 z)))
  (* (sqrt (sqrt (+ x y))) (* (sqrt (+ x y)) (- 1.0 z)))
  (* (sqrt (+ x y)) (* (sqrt (+ x y)) (- 1.0 z)))
  (* (sqrt (+ x y)) (* (sqrt (+ (pow x 3) (pow y 3))) (- (pow 1.0 3) (pow z 3))))
  (* (sqrt (+ x y)) (* (sqrt (+ (pow x 3) (pow y 3))) (- (* 1.0 1.0) (* z z))))
  (* (sqrt (+ x y)) (* (sqrt (- (* x x) (* y y))) (- (pow 1.0 3) (pow z 3))))
  (* (sqrt (+ x y)) (* (sqrt (- (* x x) (* y y))) (- (* 1.0 1.0) (* z z))))
  (* (sqrt (+ x y)) (* (sqrt (+ x y)) (- (pow 1.0 3) (pow z 3))))
  (* (sqrt (+ x y)) (* (sqrt (+ x y)) (- (* 1.0 1.0) (* z z))))
  (* (sqrt (+ x y)) (* (sqrt (+ (pow x 3) (pow y 3))) (- 1.0 z)))
  (* (sqrt (+ x y)) (* (sqrt (- (* x x) (* y y))) (- 1.0 z)))
  (* (sqrt (+ (pow x 3) (pow y 3))) (* (sqrt (+ x y)) (- 1.0 z)))
  (* (sqrt (- (* x x) (* y y))) (* (sqrt (+ x y)) (- 1.0 z)))
  (* (sqrt (+ x y)) (- 1.0 z))
  (+ (log (sqrt (+ x y))) (log (- 1.0 z)))
  (log (* (sqrt (+ x y)) (- 1.0 z)))
  (exp (* (sqrt (+ x y)) (- 1.0 z)))
  (* (* (* (sqrt (+ x y)) (sqrt (+ x y))) (sqrt (+ x y))) (* (* (- 1.0 z) (- 1.0 z)) (- 1.0 z)))
  (* (cbrt (* (sqrt (+ x y)) (- 1.0 z))) (cbrt (* (sqrt (+ x y)) (- 1.0 z))))
  (cbrt (* (sqrt (+ x y)) (- 1.0 z)))
  (* (* (* (sqrt (+ x y)) (- 1.0 z)) (* (sqrt (+ x y)) (- 1.0 z))) (* (sqrt (+ x y)) (- 1.0 z)))
  (sqrt (* (sqrt (+ x y)) (- 1.0 z)))
  (sqrt (* (sqrt (+ x y)) (- 1.0 z)))
  (* (sqrt (+ (pow x 3) (pow y 3))) (- (pow 1.0 3) (pow z 3)))
  (* (sqrt (+ (* x x) (- (* y y) (* x y)))) (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z))))
  (* (sqrt (+ (pow x 3) (pow y 3))) (- (* 1.0 1.0) (* z z)))
  (* (sqrt (+ (* x x) (- (* y y) (* x y)))) (+ 1.0 z))
  (* (sqrt (- (* x x) (* y y))) (- (pow 1.0 3) (pow z 3)))
  (* (sqrt (- x y)) (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z))))
  (* (sqrt (- (* x x) (* y y))) (- (* 1.0 1.0) (* z z)))
  (* (sqrt (- x y)) (+ 1.0 z))
  (* (sqrt (sqrt (+ x y))) (sqrt (- 1.0 z)))
  (* (sqrt (sqrt (+ x y))) (sqrt (- 1.0 z)))
  (* (sqrt (sqrt (+ x y))) (sqrt (- 1.0 z)))
  (* (sqrt (sqrt (+ x y))) (sqrt (- 1.0 z)))
  (* (sqrt (+ x y)) 1.0)
  (* (sqrt (+ x y)) (- z))
  (* (sqrt (+ x y)) 1.0)
  (* (sqrt (+ x y)) (- z))
  (* 1.0 (sqrt (+ x y)))
  (* (- z) (sqrt (+ x y)))
  (* 1.0 (sqrt (+ x y)))
  (* (- z) (sqrt (+ x y)))
  (* (sqrt (+ x y)) (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))))
  (* (sqrt (+ x y)) (sqrt (- 1.0 z)))
  (* (sqrt (+ x y)) 1)
  (* (sqrt (+ x y)) (+ (sqrt 1.0) (sqrt z)))
  (* (sqrt (+ x y)) 1)
  (* (cbrt (sqrt (+ x y))) (- 1.0 z))
  (* (sqrt (cbrt (+ x y))) (- 1.0 z))
  (* (sqrt (sqrt (+ x y))) (- 1.0 z))
  (* (sqrt (+ x y)) (- 1.0 z))
  (* (sqrt (+ x y)) (- 1.0 z))
  (* (sqrt (sqrt (+ x y))) (- 1.0 z))
  (* (sqrt (+ x y)) (- 1.0 z))
  (* (sqrt (+ x y)) (- (pow 1.0 3) (pow z 3)))
  (* (sqrt (+ x y)) (- (* 1.0 1.0) (* z z)))
  (* (sqrt (+ (pow x 3) (pow y 3))) (- 1.0 z))
  (* (sqrt (- (* x x) (* y y))) (- 1.0 z))
  (- (+ (* 1.0 x) (* 1.0 y)) (* x z))
  (- (* 1.0 y) (+ (* z y) (* x z)))
  (- (+ (* +nan.0 (/ z x)) (- (+ (* +nan.0 z) (- +nan.0)))))
  (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- (* +nan.0 y))))))
  (- (+ (* +nan.0 (/ (* z y) x)) (- (+ (* +nan.0 (/ (* z y) (pow x 2))) (- (* +nan.0 z))))))
  (- (+ (* +nan.0 (/ (* z y) x)) (- (+ (* +nan.0 (/ (* z y) (pow x 2))) (- (* +nan.0 z))))))
7.695 * * [simplify]: iteration 0: 181 enodes
7.746 * * [simplify]: iteration 1: 524 enodes
8.001 * * [simplify]: iteration 2: 1751 enodes
8.566 * * [simplify]: iteration complete: 5004 enodes
8.566 * * [simplify]: Extracting #0: cost 73 inf + 0
8.570 * * [simplify]: Extracting #1: cost 1339 inf + 0
8.580 * * [simplify]: Extracting #2: cost 2155 inf + 1319
8.597 * * [simplify]: Extracting #3: cost 1963 inf + 69460
8.656 * * [simplify]: Extracting #4: cost 773 inf + 424858
8.778 * * [simplify]: Extracting #5: cost 89 inf + 620072
8.911 * * [simplify]: Extracting #6: cost 39 inf + 620744
9.055 * * [simplify]: Extracting #7: cost 9 inf + 624662
9.190 * * [simplify]: Extracting #8: cost 0 inf + 626938
9.323 * [simplify]: Simplified to:
  (* (- 1.0 z) (+ x y))
  (* (- 1.0 z) (+ x y))
  (log (* (- 1.0 z) (+ x y)))
  (log (* (- 1.0 z) (+ x y)))
  (log (* (- 1.0 z) (+ x y)))
  (exp (* (- 1.0 z) (+ x y)))
  (* (* (* (- 1.0 z) (+ x y)) (* (- 1.0 z) (+ x y))) (* (- 1.0 z) (+ x y)))
  (* (* (* (- 1.0 z) (+ x y)) (* (- 1.0 z) (+ x y))) (* (- 1.0 z) (+ x y)))
  (* (cbrt (* (- 1.0 z) (+ x y))) (cbrt (* (- 1.0 z) (+ x y))))
  (cbrt (* (- 1.0 z) (+ x y)))
  (* (* (* (- 1.0 z) (+ x y)) (* (- 1.0 z) (+ x y))) (* (- 1.0 z) (+ x y)))
  (sqrt (* (- 1.0 z) (+ x y)))
  (sqrt (* (- 1.0 z) (+ x y)))
  (* (- (* 1.0 (* 1.0 1.0)) (* (* z z) z)) (+ (* y (* y y)) (* (* x x) x)))
  (* (+ (* 1.0 1.0) (* z (+ z 1.0))) (+ (* x x) (* y (- y x))))
  (* (* (+ (* y (* y y)) (* (* x x) x)) (+ z 1.0)) (- 1.0 z))
  (* (+ z 1.0) (+ (* x x) (* y (- y x))))
  (* (sqrt (+ (* y (* y y)) (* (* x x) x))) (* (sqrt (* (+ x y) (- x y))) (- (* 1.0 (* 1.0 1.0)) (* (* z z) z))))
  (* (sqrt (- x y)) (* (sqrt (+ (* x x) (* y (- y x)))) (+ (* 1.0 1.0) (* z (+ z 1.0)))))
  (* (* (* (+ 1.0 z) (- 1.0 z)) (sqrt (+ (* y (* y y)) (* (* x x) x)))) (sqrt (* (+ x y) (- x y))))
  (* (sqrt (- x y)) (* (+ z 1.0) (sqrt (+ (* x x) (* y (- y x))))))
  (* (* (sqrt (+ (* y (* y y)) (* (* x x) x))) (- (* 1.0 (* 1.0 1.0)) (* (* z z) z))) (sqrt (+ x y)))
  (* (sqrt (+ (* x x) (* y (- y x)))) (+ (* 1.0 1.0) (* z (+ z 1.0))))
  (* (sqrt (+ (* y (* y y)) (* (* x x) x))) (* (sqrt (+ x y)) (* (+ 1.0 z) (- 1.0 z))))
  (* (+ z 1.0) (sqrt (+ (* x x) (* y (- y x)))))
  (* (- 1.0 z) (+ (* y (* y y)) (* (* x x) x)))
  (+ (* x x) (* y (- y x)))
  (* (* (sqrt (* (+ x y) (- x y))) (- 1.0 z)) (sqrt (+ (* y (* y y)) (* (* x x) x))))
  (* (sqrt (+ (* x x) (* y (- y x)))) (sqrt (- x y)))
  (* (sqrt (+ (* y (* y y)) (* (* x x) x))) (* (sqrt (* (+ x y) (- x y))) (- (* 1.0 (* 1.0 1.0)) (* (* z z) z))))
  (* (sqrt (- x y)) (* (sqrt (+ (* x x) (* y (- y x)))) (+ (* 1.0 1.0) (* z (+ z 1.0)))))
  (* (* (* (+ 1.0 z) (- 1.0 z)) (sqrt (+ (* y (* y y)) (* (* x x) x)))) (sqrt (* (+ x y) (- x y))))
  (* (sqrt (- x y)) (* (+ z 1.0) (sqrt (+ (* x x) (* y (- y x))))))
  (* (* (+ x y) (- x y)) (- (* 1.0 (* 1.0 1.0)) (* (* z z) z)))
  (* (+ (* 1.0 1.0) (* z (+ z 1.0))) (- x y))
  (* (* (+ 1.0 z) (- 1.0 z)) (* (+ x y) (- x y)))
  (* (+ z 1.0) (- x y))
  (* (* (sqrt (* (+ x y) (- x y))) (- (* 1.0 (* 1.0 1.0)) (* (* z z) z))) (sqrt (+ x y)))
  (* (sqrt (- x y)) (+ (* 1.0 1.0) (* z (+ z 1.0))))
  (* (sqrt (* (+ x y) (- x y))) (* (sqrt (+ x y)) (* (+ 1.0 z) (- 1.0 z))))
  (* (+ z 1.0) (sqrt (- x y)))
  (* (* (sqrt (* (+ x y) (- x y))) (- 1.0 z)) (sqrt (+ (* y (* y y)) (* (* x x) x))))
  (* (sqrt (+ (* x x) (* y (- y x)))) (sqrt (- x y)))
  (* (- 1.0 z) (* (+ x y) (- x y)))
  (- x y)
  (* 1.0 (+ x y))
  (* (+ x y) (- z))
  (* 1.0 (+ x y))
  (* (+ x y) (- z))
  (* 1.0 (+ x y))
  (* (+ x y) (- z))
  (* 1.0 (+ x y))
  (* (+ x y) (- z))
  (* 1.0 (+ x y))
  (* (+ x y) (- z))
  (* 1.0 (+ x y))
  (* (+ x y) (- z))
  (* 1.0 (+ x y))
  (* (+ x y) (- z))
  (* 1.0 (+ x y))
  (* (+ x y) (- z))
  (+ x y)
  (* (* (- 1.0 z) (sqrt (+ x y))) (cbrt (sqrt (+ x y))))
  (* (* (- 1.0 z) (sqrt (+ x y))) (sqrt (cbrt (+ x y))))
  (* (- 1.0 z) (* (sqrt (sqrt (+ x y))) (sqrt (+ x y))))
  (* (- 1.0 z) (+ x y))
  (* (- 1.0 z) (+ x y))
  (* (- 1.0 z) (* (sqrt (sqrt (+ x y))) (sqrt (+ x y))))
  (* (- 1.0 z) (+ x y))
  (* (* (sqrt (+ (* y (* y y)) (* (* x x) x))) (- (* 1.0 (* 1.0 1.0)) (* (* z z) z))) (sqrt (+ x y)))
  (* (sqrt (+ (* y (* y y)) (* (* x x) x))) (* (sqrt (+ x y)) (* (+ 1.0 z) (- 1.0 z))))
  (* (* (sqrt (* (+ x y) (- x y))) (- (* 1.0 (* 1.0 1.0)) (* (* z z) z))) (sqrt (+ x y)))
  (* (sqrt (* (+ x y) (- x y))) (* (sqrt (+ x y)) (* (+ 1.0 z) (- 1.0 z))))
  (* (- (* 1.0 (* 1.0 1.0)) (* (* z z) z)) (+ x y))
  (* (* (+ 1.0 z) (- 1.0 z)) (+ x y))
  (* (- 1.0 z) (* (sqrt (+ (* y (* y y)) (* (* x x) x))) (sqrt (+ x y))))
  (* (- 1.0 z) (* (sqrt (* (+ x y) (- x y))) (sqrt (+ x y))))
  (* (- 1.0 z) (* (sqrt (+ (* y (* y y)) (* (* x x) x))) (sqrt (+ x y))))
  (* (- 1.0 z) (* (sqrt (* (+ x y) (- x y))) (sqrt (+ x y))))
  (* (- 1.0 z) (sqrt (+ x y)))
  (log (* (- 1.0 z) (sqrt (+ x y))))
  (log (* (- 1.0 z) (sqrt (+ x y))))
  (exp (* (- 1.0 z) (sqrt (+ x y))))
  (* (- 1.0 z) (* (* (+ x y) (* (- 1.0 z) (- 1.0 z))) (sqrt (+ x y))))
  (* (cbrt (* (- 1.0 z) (sqrt (+ x y)))) (cbrt (* (- 1.0 z) (sqrt (+ x y)))))
  (cbrt (* (- 1.0 z) (sqrt (+ x y))))
  (* (- 1.0 z) (* (* (+ x y) (* (- 1.0 z) (- 1.0 z))) (sqrt (+ x y))))
  (sqrt (* (- 1.0 z) (sqrt (+ x y))))
  (sqrt (* (- 1.0 z) (sqrt (+ x y))))
  (* (sqrt (+ (* y (* y y)) (* (* x x) x))) (- (* 1.0 (* 1.0 1.0)) (* (* z z) z)))
  (* (sqrt (+ (* x x) (* y (- y x)))) (+ (* 1.0 1.0) (* z (+ z 1.0))))
  (* (* (+ 1.0 z) (- 1.0 z)) (sqrt (+ (* y (* y y)) (* (* x x) x))))
  (* (+ z 1.0) (sqrt (+ (* x x) (* y (- y x)))))
  (* (sqrt (* (+ x y) (- x y))) (- (* 1.0 (* 1.0 1.0)) (* (* z z) z)))
  (* (sqrt (- x y)) (+ (* 1.0 1.0) (* z (+ z 1.0))))
  (* (* (sqrt (* (+ x y) (- x y))) (+ z 1.0)) (- 1.0 z))
  (* (+ z 1.0) (sqrt (- x y)))
  (* (sqrt (- 1.0 z)) (sqrt (sqrt (+ x y))))
  (* (sqrt (- 1.0 z)) (sqrt (sqrt (+ x y))))
  (* (sqrt (- 1.0 z)) (sqrt (sqrt (+ x y))))
  (* (sqrt (- 1.0 z)) (sqrt (sqrt (+ x y))))
  (* (sqrt (+ x y)) 1.0)
  (* (- z) (sqrt (+ x y)))
  (* (sqrt (+ x y)) 1.0)
  (* (- z) (sqrt (+ x y)))
  (* (sqrt (+ x y)) 1.0)
  (* (- z) (sqrt (+ x y)))
  (* (sqrt (+ x y)) 1.0)
  (* (- z) (sqrt (+ x y)))
  (* (sqrt (+ x y)) (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))))
  (* (sqrt (- 1.0 z)) (sqrt (+ x y)))
  (sqrt (+ x y))
  (* (+ (sqrt z) (sqrt 1.0)) (sqrt (+ x y)))
  (sqrt (+ x y))
  (* (- 1.0 z) (cbrt (sqrt (+ x y))))
  (* (sqrt (cbrt (+ x y))) (- 1.0 z))
  (* (- 1.0 z) (sqrt (sqrt (+ x y))))
  (* (- 1.0 z) (sqrt (+ x y)))
  (* (- 1.0 z) (sqrt (+ x y)))
  (* (- 1.0 z) (sqrt (sqrt (+ x y))))
  (* (- 1.0 z) (sqrt (+ x y)))
  (* (- (* 1.0 (* 1.0 1.0)) (* (* z z) z)) (sqrt (+ x y)))
  (* (sqrt (+ x y)) (* (+ 1.0 z) (- 1.0 z)))
  (* (sqrt (+ (* y (* y y)) (* (* x x) x))) (- 1.0 z))
  (* (sqrt (* (+ x y) (- x y))) (- 1.0 z))
  (- (* 1.0 (+ x y)) (* z x))
  (- (* y 1.0) (* z (+ x y)))
  (- (- (/ (* z +nan.0) x) (- (* +nan.0 z) +nan.0)))
  (+ (* (- +nan.0) x) (* +nan.0 (+ (* x x) (- y))))
  (+ (- (/ (* (* z y) +nan.0) (* x x)) (* +nan.0 z)) (- (* +nan.0 (/ (* z y) x))))
  (+ (- (/ (* (* z y) +nan.0) (* x x)) (* +nan.0 z)) (- (* +nan.0 (/ (* z y) x))))
9.337 * * * [progress]: adding candidates to table
9.910 * [progress]: [Phase 3 of 3] Extracting.
9.910 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (* (+ x y) (- 1.0 z)))> #<alt (λ (x y z) (* (sqrt (+ x y)) (* (sqrt (+ x y)) (- 1.0 z))))>)
9.910 * * * [regime-changes]: Trying 6 branch expressions: ((- 1.0 z) (+ x y) (* (+ x y) (- 1.0 z)) z y x)
9.910 * * * * [regimes]: Trying to branch on (- 1.0 z) from (#<alt (λ (x y z) (* (+ x y) (- 1.0 z)))> #<alt (λ (x y z) (* (sqrt (+ x y)) (* (sqrt (+ x y)) (- 1.0 z))))>)
9.952 * * * * [regimes]: Trying to branch on (+ x y) from (#<alt (λ (x y z) (* (+ x y) (- 1.0 z)))> #<alt (λ (x y z) (* (sqrt (+ x y)) (* (sqrt (+ x y)) (- 1.0 z))))>)
10.008 * * * * [regimes]: Trying to branch on (* (+ x y) (- 1.0 z)) from (#<alt (λ (x y z) (* (+ x y) (- 1.0 z)))> #<alt (λ (x y z) (* (sqrt (+ x y)) (* (sqrt (+ x y)) (- 1.0 z))))>)
10.071 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (* (+ x y) (- 1.0 z)))> #<alt (λ (x y z) (* (sqrt (+ x y)) (* (sqrt (+ x y)) (- 1.0 z))))>)
10.131 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (* (+ x y) (- 1.0 z)))> #<alt (λ (x y z) (* (sqrt (+ x y)) (* (sqrt (+ x y)) (- 1.0 z))))>)
10.168 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (* (+ x y) (- 1.0 z)))> #<alt (λ (x y z) (* (sqrt (+ x y)) (* (sqrt (+ x y)) (- 1.0 z))))>)
10.241 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
10.241 * [simplify]: Simplifying:
  (* (+ x y) (- 1.0 z))
10.241 * * [simplify]: iteration 0: 7 enodes
10.242 * * [simplify]: iteration 1: 9 enodes
10.243 * * [simplify]: iteration complete: 9 enodes
10.243 * * [simplify]: Extracting #0: cost 1 inf + 0
10.243 * * [simplify]: Extracting #1: cost 3 inf + 0
10.243 * * [simplify]: Extracting #2: cost 7 inf + 0
10.243 * * [simplify]: Extracting #3: cost 2 inf + 46
10.243 * * [simplify]: Extracting #4: cost 0 inf + 212
10.243 * [simplify]: Simplified to:
  (* (+ y x) (- 1.0 z))
11.400 * [regime-testing]: Baseline error score: 0.017252156519564944
11.409 * [regime-testing]: Oracle error score: 0.012626578322290286
11.439 * [regime-testing]: End program error score: 0.017252156519564944