60.605 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.018 * * * [progress]: [2/2] Setting up program.
0.020 * [progress]: [Phase 2 of 3] Improving.
0.020 * [simplify]: Simplifying:
  (/ (* x (+ y z)) z)
0.020 * * [simplify]: Extracting # 0 : cost  0
0.020 * * [simplify]: Extracting # 1 : cost  0
0.020 * * [simplify]: Extracting # 2 : cost  0
0.020 * * [simplify]: Extracting # 3 : cost  0
0.020 * * [simplify]: Extracting # 4 : cost  0
0.021 * * [simplify]: Extracting # 5 : cost  0
0.021 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.022 * * [simplify]: Extracting # 0 : cost  0
0.022 * * [simplify]: Extracting # 1 : cost  0
0.022 * * [simplify]: Extracting # 2 : cost  0
0.022 * * [simplify]: iteration  1 :  16  enodes  (cost  7 )
0.025 * * [simplify]: Extracting # 0 : cost  0
0.025 * * [simplify]: Extracting # 1 : cost  0
0.025 * * [simplify]: Extracting # 2 : cost  0
0.025 * * [simplify]: iteration  2 :  22  enodes  (cost  7 )
0.029 * * [simplify]: Extracting # 0 : cost  0
0.029 * * [simplify]: Extracting # 1 : cost  0
0.029 * * [simplify]: Extracting # 2 : cost  0
0.029 * * [simplify]: iteration  3 :  33  enodes  (cost  7 )
0.035 * * [simplify]: Extracting # 0 : cost  0
0.035 * * [simplify]: iteration  4 :  38  enodes  (cost  7 )
0.041 * * [simplify]: Extracting # 0 : cost  0
0.041 * * [simplify]: Extracting # 1 : cost  0
0.041 * * [simplify]: Extracting # 2 : cost  0
0.041 * * [simplify]: iteration  5 :  44  enodes  (cost  7 )
0.049 * * [simplify]: Extracting # 0 : cost  0
0.049 * * [simplify]: Extracting # 1 : cost  0
0.049 * * [simplify]: Extracting # 2 : cost  0
0.049 * * [simplify]: iteration  6 :  48  enodes  (cost  7 )
0.069 * * [simplify]: Extracting # 0 : cost  0
0.069 * * [simplify]: Extracting # 1 : cost  0
0.069 * * [simplify]: Extracting # 2 : cost  0
0.070 * * [simplify]: iteration  7 :  114  enodes  (cost  7 )
0.097 * * [simplify]: Extracting # 0 : cost  0
0.098 * * [simplify]: Extracting # 1 : cost  0
0.098 * * [simplify]: Extracting # 2 : cost  0
0.098 * * [simplify]: iteration  8 :  254  enodes  (cost  7 )
0.164 * * [simplify]: Extracting # 0 : cost  0
0.165 * * [simplify]: Extracting # 1 : cost  0
0.165 * * [simplify]: Extracting # 2 : cost  0
0.166 * * [simplify]: iteration  9 :  587  enodes  (cost  7 )
0.313 * * [simplify]: Extracting # 0 : cost  0
0.315 * * [simplify]: Extracting # 1 : cost  0
0.317 * * [simplify]: Extracting # 2 : cost  0
0.318 * * [simplify]: iteration  10 :  1391  enodes  (cost  7 )
0.705 * * [simplify]: Extracting # 0 : cost  0
0.708 * * [simplify]: Extracting # 1 : cost  0
0.710 * * [simplify]: Extracting # 2 : cost  0
0.713 * * [simplify]: iteration  11 :  3130  enodes  (cost  7 )
1.202 * * [simplify]: Extracting # 0 : cost  0
1.208 * * [simplify]: Extracting # 1 : cost  0
1.216 * * [simplify]: Extracting # 2 : cost  0
1.224 * * [simplify]: iteration done:  5001  enodes  (cost  7 )
1.224 * [simplify]: Simplified to:
  (/ (* x (+ y z)) z)
1.225 * * [progress]: iteration 1 / 4
1.225 * * * [progress]: picking best candidate
1.228 * * * * [pick]: Picked  #<alt (λ (x y z) (/ (* x (+ y z)) z))>
1.228 * * * [progress]: localizing error
1.240 * * * [progress]: generating rewritten candidates
1.240 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.262 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
1.291 * * * [progress]: generating series expansions
1.291 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.291 * [backup-simplify]: Simplify (/ (* x (+ y z)) z) into (/ (* (+ z y) x) z)
1.291 * [approximate]: Taking taylor expansion of (/ (* (+ z y) x) z) in (x y z) around 0
1.291 * [taylor]: Taking taylor expansion of (/ (* (+ z y) x) z) in z
1.291 * [taylor]: Taking taylor expansion of (* (+ z y) x) in z
1.291 * [taylor]: Taking taylor expansion of (+ z y) in z
1.291 * [taylor]: Taking taylor expansion of z in z
1.291 * [backup-simplify]: Simplify 0 into 0
1.291 * [backup-simplify]: Simplify 1 into 1
1.291 * [taylor]: Taking taylor expansion of y in z
1.291 * [backup-simplify]: Simplify y into y
1.291 * [taylor]: Taking taylor expansion of x in z
1.291 * [backup-simplify]: Simplify x into x
1.291 * [taylor]: Taking taylor expansion of z in z
1.291 * [backup-simplify]: Simplify 0 into 0
1.291 * [backup-simplify]: Simplify 1 into 1
1.292 * [backup-simplify]: Simplify (+ 0 y) into y
1.292 * [backup-simplify]: Simplify (* y x) into (* x y)
1.292 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
1.292 * [taylor]: Taking taylor expansion of (/ (* (+ z y) x) z) in y
1.292 * [taylor]: Taking taylor expansion of (* (+ z y) x) in y
1.292 * [taylor]: Taking taylor expansion of (+ z y) in y
1.292 * [taylor]: Taking taylor expansion of z in y
1.292 * [backup-simplify]: Simplify z into z
1.292 * [taylor]: Taking taylor expansion of y in y
1.292 * [backup-simplify]: Simplify 0 into 0
1.292 * [backup-simplify]: Simplify 1 into 1
1.292 * [taylor]: Taking taylor expansion of x in y
1.292 * [backup-simplify]: Simplify x into x
1.292 * [taylor]: Taking taylor expansion of z in y
1.292 * [backup-simplify]: Simplify z into z
1.292 * [backup-simplify]: Simplify (+ z 0) into z
1.292 * [backup-simplify]: Simplify (* z x) into (* x z)
1.292 * [backup-simplify]: Simplify (/ (* x z) z) into x
1.292 * [taylor]: Taking taylor expansion of (/ (* (+ z y) x) z) in x
1.292 * [taylor]: Taking taylor expansion of (* (+ z y) x) in x
1.292 * [taylor]: Taking taylor expansion of (+ z y) in x
1.292 * [taylor]: Taking taylor expansion of z in x
1.292 * [backup-simplify]: Simplify z into z
1.292 * [taylor]: Taking taylor expansion of y in x
1.292 * [backup-simplify]: Simplify y into y
1.292 * [taylor]: Taking taylor expansion of x in x
1.292 * [backup-simplify]: Simplify 0 into 0
1.292 * [backup-simplify]: Simplify 1 into 1
1.292 * [taylor]: Taking taylor expansion of z in x
1.292 * [backup-simplify]: Simplify z into z
1.292 * [backup-simplify]: Simplify (+ z y) into (+ z y)
1.292 * [backup-simplify]: Simplify (* (+ z y) 0) into 0
1.293 * [backup-simplify]: Simplify (+ 0 0) into 0
1.293 * [backup-simplify]: Simplify (+ (* (+ z y) 1) (* 0 0)) into (+ z y)
1.293 * [backup-simplify]: Simplify (/ (+ z y) z) into (/ (+ z y) z)
1.293 * [taylor]: Taking taylor expansion of (/ (* (+ z y) x) z) in x
1.293 * [taylor]: Taking taylor expansion of (* (+ z y) x) in x
1.293 * [taylor]: Taking taylor expansion of (+ z y) in x
1.293 * [taylor]: Taking taylor expansion of z in x
1.293 * [backup-simplify]: Simplify z into z
1.293 * [taylor]: Taking taylor expansion of y in x
1.293 * [backup-simplify]: Simplify y into y
1.293 * [taylor]: Taking taylor expansion of x in x
1.293 * [backup-simplify]: Simplify 0 into 0
1.293 * [backup-simplify]: Simplify 1 into 1
1.293 * [taylor]: Taking taylor expansion of z in x
1.293 * [backup-simplify]: Simplify z into z
1.293 * [backup-simplify]: Simplify (+ z y) into (+ z y)
1.293 * [backup-simplify]: Simplify (* (+ z y) 0) into 0
1.294 * [backup-simplify]: Simplify (+ 0 0) into 0
1.294 * [backup-simplify]: Simplify (+ (* (+ z y) 1) (* 0 0)) into (+ z y)
1.294 * [backup-simplify]: Simplify (/ (+ z y) z) into (/ (+ z y) z)
1.294 * [taylor]: Taking taylor expansion of (/ (+ z y) z) in y
1.294 * [taylor]: Taking taylor expansion of (+ z y) in y
1.294 * [taylor]: Taking taylor expansion of z in y
1.294 * [backup-simplify]: Simplify z into z
1.294 * [taylor]: Taking taylor expansion of y in y
1.294 * [backup-simplify]: Simplify 0 into 0
1.294 * [backup-simplify]: Simplify 1 into 1
1.294 * [taylor]: Taking taylor expansion of z in y
1.294 * [backup-simplify]: Simplify z into z
1.294 * [backup-simplify]: Simplify (+ z 0) into z
1.294 * [backup-simplify]: Simplify (/ z z) into 1
1.294 * [taylor]: Taking taylor expansion of 1 in z
1.294 * [backup-simplify]: Simplify 1 into 1
1.295 * [backup-simplify]: Simplify (+ 0 0) into 0
1.295 * [backup-simplify]: Simplify (+ (* (+ z y) 0) (+ (* 0 1) (* 0 0))) into 0
1.295 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (+ z y) z) (/ 0 z)))) into 0
1.295 * [taylor]: Taking taylor expansion of 0 in y
1.295 * [backup-simplify]: Simplify 0 into 0
1.295 * [taylor]: Taking taylor expansion of 0 in z
1.295 * [backup-simplify]: Simplify 0 into 0
1.295 * [backup-simplify]: Simplify (+ 0 1) into 1
1.296 * [backup-simplify]: Simplify (- (/ 1 z) (+ (* 1 (/ 0 z)))) into (/ 1 z)
1.296 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.296 * [taylor]: Taking taylor expansion of z in z
1.296 * [backup-simplify]: Simplify 0 into 0
1.296 * [backup-simplify]: Simplify 1 into 1
1.296 * [backup-simplify]: Simplify (/ 1 1) into 1
1.296 * [backup-simplify]: Simplify 1 into 1
1.296 * [backup-simplify]: Simplify 1 into 1
1.296 * [backup-simplify]: Simplify (+ 0 0) into 0
1.297 * [backup-simplify]: Simplify (+ (* (+ z y) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.297 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (+ z y) z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.297 * [taylor]: Taking taylor expansion of 0 in y
1.297 * [backup-simplify]: Simplify 0 into 0
1.297 * [taylor]: Taking taylor expansion of 0 in z
1.297 * [backup-simplify]: Simplify 0 into 0
1.297 * [taylor]: Taking taylor expansion of 0 in z
1.297 * [backup-simplify]: Simplify 0 into 0
1.297 * [backup-simplify]: Simplify (+ 0 0) into 0
1.297 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* 1 (/ 0 z)) (* (/ 1 z) (/ 0 z)))) into 0
1.297 * [taylor]: Taking taylor expansion of 0 in z
1.297 * [backup-simplify]: Simplify 0 into 0
1.297 * [backup-simplify]: Simplify 0 into 0
1.298 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.298 * [backup-simplify]: Simplify 0 into 0
1.298 * [backup-simplify]: Simplify 0 into 0
1.298 * [backup-simplify]: Simplify (+ 0 0) into 0
1.299 * [backup-simplify]: Simplify (+ (* (+ z y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1.299 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (+ z y) z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.299 * [taylor]: Taking taylor expansion of 0 in y
1.299 * [backup-simplify]: Simplify 0 into 0
1.299 * [taylor]: Taking taylor expansion of 0 in z
1.299 * [backup-simplify]: Simplify 0 into 0
1.299 * [taylor]: Taking taylor expansion of 0 in z
1.299 * [backup-simplify]: Simplify 0 into 0
1.299 * [taylor]: Taking taylor expansion of 0 in z
1.299 * [backup-simplify]: Simplify 0 into 0
1.300 * [backup-simplify]: Simplify (+ 0 0) into 0
1.300 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* 1 (/ 0 z)) (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.300 * [taylor]: Taking taylor expansion of 0 in z
1.300 * [backup-simplify]: Simplify 0 into 0
1.300 * [backup-simplify]: Simplify 0 into 0
1.300 * [backup-simplify]: Simplify 0 into 0
1.300 * [backup-simplify]: Simplify 0 into 0
1.300 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 x))) (* 1 (* (/ 1 z) (* y x)))) into (+ (/ (* x y) z) x)
1.300 * [backup-simplify]: Simplify (/ (* (/ 1 x) (+ (/ 1 y) (/ 1 z))) (/ 1 z)) into (/ (* (+ (/ 1 z) (/ 1 y)) z) x)
1.300 * [approximate]: Taking taylor expansion of (/ (* (+ (/ 1 z) (/ 1 y)) z) x) in (x y z) around 0
1.300 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 z) (/ 1 y)) z) x) in z
1.300 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 y)) z) in z
1.300 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
1.300 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.300 * [taylor]: Taking taylor expansion of z in z
1.301 * [backup-simplify]: Simplify 0 into 0
1.301 * [backup-simplify]: Simplify 1 into 1
1.301 * [backup-simplify]: Simplify (/ 1 1) into 1
1.301 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.301 * [taylor]: Taking taylor expansion of y in z
1.301 * [backup-simplify]: Simplify y into y
1.301 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.301 * [taylor]: Taking taylor expansion of z in z
1.301 * [backup-simplify]: Simplify 0 into 0
1.301 * [backup-simplify]: Simplify 1 into 1
1.301 * [taylor]: Taking taylor expansion of x in z
1.301 * [backup-simplify]: Simplify x into x
1.301 * [backup-simplify]: Simplify (+ 1 0) into 1
1.302 * [backup-simplify]: Simplify (* 1 0) into 0
1.302 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.302 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
1.302 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 y) 0)) into 1
1.302 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.302 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 z) (/ 1 y)) z) x) in y
1.303 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 y)) z) in y
1.303 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
1.303 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.303 * [taylor]: Taking taylor expansion of z in y
1.303 * [backup-simplify]: Simplify z into z
1.303 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.303 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.303 * [taylor]: Taking taylor expansion of y in y
1.303 * [backup-simplify]: Simplify 0 into 0
1.303 * [backup-simplify]: Simplify 1 into 1
1.303 * [backup-simplify]: Simplify (/ 1 1) into 1
1.303 * [taylor]: Taking taylor expansion of z in y
1.303 * [backup-simplify]: Simplify z into z
1.303 * [taylor]: Taking taylor expansion of x in y
1.303 * [backup-simplify]: Simplify x into x
1.303 * [backup-simplify]: Simplify (+ 0 1) into 1
1.303 * [backup-simplify]: Simplify (* 1 z) into z
1.303 * [backup-simplify]: Simplify (/ z x) into (/ z x)
1.303 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 z) (/ 1 y)) z) x) in x
1.303 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 y)) z) in x
1.303 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.303 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.303 * [taylor]: Taking taylor expansion of z in x
1.303 * [backup-simplify]: Simplify z into z
1.304 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.304 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.304 * [taylor]: Taking taylor expansion of y in x
1.304 * [backup-simplify]: Simplify y into y
1.304 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.304 * [taylor]: Taking taylor expansion of z in x
1.304 * [backup-simplify]: Simplify z into z
1.304 * [taylor]: Taking taylor expansion of x in x
1.304 * [backup-simplify]: Simplify 0 into 0
1.304 * [backup-simplify]: Simplify 1 into 1
1.304 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
1.304 * [backup-simplify]: Simplify (* (+ (/ 1 y) (/ 1 z)) z) into (* (+ (/ 1 z) (/ 1 y)) z)
1.304 * [backup-simplify]: Simplify (/ (* (+ (/ 1 z) (/ 1 y)) z) 1) into (* (+ (/ 1 y) (/ 1 z)) z)
1.304 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 z) (/ 1 y)) z) x) in x
1.304 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 y)) z) in x
1.304 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.304 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.304 * [taylor]: Taking taylor expansion of z in x
1.304 * [backup-simplify]: Simplify z into z
1.304 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.304 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.304 * [taylor]: Taking taylor expansion of y in x
1.304 * [backup-simplify]: Simplify y into y
1.304 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.304 * [taylor]: Taking taylor expansion of z in x
1.304 * [backup-simplify]: Simplify z into z
1.304 * [taylor]: Taking taylor expansion of x in x
1.304 * [backup-simplify]: Simplify 0 into 0
1.304 * [backup-simplify]: Simplify 1 into 1
1.304 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
1.304 * [backup-simplify]: Simplify (* (+ (/ 1 y) (/ 1 z)) z) into (* (+ (/ 1 z) (/ 1 y)) z)
1.305 * [backup-simplify]: Simplify (/ (* (+ (/ 1 z) (/ 1 y)) z) 1) into (* (+ (/ 1 y) (/ 1 z)) z)
1.305 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in y
1.305 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
1.305 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.305 * [taylor]: Taking taylor expansion of y in y
1.305 * [backup-simplify]: Simplify 0 into 0
1.305 * [backup-simplify]: Simplify 1 into 1
1.305 * [backup-simplify]: Simplify (/ 1 1) into 1
1.305 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.305 * [taylor]: Taking taylor expansion of z in y
1.305 * [backup-simplify]: Simplify z into z
1.305 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.305 * [taylor]: Taking taylor expansion of z in y
1.305 * [backup-simplify]: Simplify z into z
1.305 * [backup-simplify]: Simplify (+ 1 0) into 1
1.305 * [backup-simplify]: Simplify (* 1 z) into z
1.305 * [taylor]: Taking taylor expansion of z in z
1.305 * [backup-simplify]: Simplify 0 into 0
1.305 * [backup-simplify]: Simplify 1 into 1
1.305 * [backup-simplify]: Simplify 0 into 0
1.306 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.306 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.306 * [backup-simplify]: Simplify (+ 0 0) into 0
1.306 * [backup-simplify]: Simplify (+ (* (+ (/ 1 y) (/ 1 z)) 0) (* 0 z)) into 0
1.307 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (+ (/ 1 y) (/ 1 z)) z) (/ 0 1)))) into 0
1.307 * [taylor]: Taking taylor expansion of 0 in y
1.307 * [backup-simplify]: Simplify 0 into 0
1.307 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.307 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
1.308 * [backup-simplify]: Simplify (+ (* 1 0) (* (/ 1 z) z)) into 1
1.308 * [taylor]: Taking taylor expansion of 1 in z
1.308 * [backup-simplify]: Simplify 1 into 1
1.308 * [backup-simplify]: Simplify 1 into 1
1.308 * [backup-simplify]: Simplify 1 into 1
1.308 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.308 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.308 * [backup-simplify]: Simplify (+ 0 0) into 0
1.309 * [backup-simplify]: Simplify (+ (* (+ (/ 1 y) (/ 1 z)) 0) (+ (* 0 0) (* 0 z))) into 0
1.310 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (+ (/ 1 y) (/ 1 z)) z) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.310 * [taylor]: Taking taylor expansion of 0 in y
1.310 * [backup-simplify]: Simplify 0 into 0
1.310 * [taylor]: Taking taylor expansion of 0 in z
1.310 * [backup-simplify]: Simplify 0 into 0
1.310 * [backup-simplify]: Simplify 0 into 0
1.311 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.311 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.311 * [backup-simplify]: Simplify (+ 0 0) into 0
1.311 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 z) 0) (* 0 z))) into 0
1.311 * [taylor]: Taking taylor expansion of 0 in z
1.311 * [backup-simplify]: Simplify 0 into 0
1.311 * [backup-simplify]: Simplify 0 into 0
1.311 * [backup-simplify]: Simplify 0 into 0
1.311 * [backup-simplify]: Simplify 0 into 0
1.312 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.312 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.312 * [backup-simplify]: Simplify (+ 0 0) into 0
1.313 * [backup-simplify]: Simplify (+ (* (+ (/ 1 y) (/ 1 z)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
1.314 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (+ (/ 1 y) (/ 1 z)) z) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.314 * [taylor]: Taking taylor expansion of 0 in y
1.314 * [backup-simplify]: Simplify 0 into 0
1.314 * [taylor]: Taking taylor expansion of 0 in z
1.314 * [backup-simplify]: Simplify 0 into 0
1.314 * [backup-simplify]: Simplify 0 into 0
1.314 * [taylor]: Taking taylor expansion of 0 in z
1.314 * [backup-simplify]: Simplify 0 into 0
1.314 * [backup-simplify]: Simplify 0 into 0
1.314 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 z) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* 1 (* 1 (* 1 (/ 1 (/ 1 x)))))) into (+ (/ (* x y) z) x)
1.314 * [backup-simplify]: Simplify (/ (* (/ 1 (- x)) (+ (/ 1 (- y)) (/ 1 (- z)))) (/ 1 (- z))) into (* -1 (/ (* (+ (/ 1 z) (/ 1 y)) z) x))
1.315 * [approximate]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 z) (/ 1 y)) z) x)) in (x y z) around 0
1.315 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 z) (/ 1 y)) z) x)) in z
1.315 * [taylor]: Taking taylor expansion of -1 in z
1.315 * [backup-simplify]: Simplify -1 into -1
1.315 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 z) (/ 1 y)) z) x) in z
1.315 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 y)) z) in z
1.315 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
1.315 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.315 * [taylor]: Taking taylor expansion of z in z
1.315 * [backup-simplify]: Simplify 0 into 0
1.315 * [backup-simplify]: Simplify 1 into 1
1.315 * [backup-simplify]: Simplify (/ 1 1) into 1
1.315 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.315 * [taylor]: Taking taylor expansion of y in z
1.315 * [backup-simplify]: Simplify y into y
1.315 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.315 * [taylor]: Taking taylor expansion of z in z
1.315 * [backup-simplify]: Simplify 0 into 0
1.315 * [backup-simplify]: Simplify 1 into 1
1.315 * [taylor]: Taking taylor expansion of x in z
1.315 * [backup-simplify]: Simplify x into x
1.315 * [backup-simplify]: Simplify (+ 1 0) into 1
1.316 * [backup-simplify]: Simplify (* 1 0) into 0
1.316 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.316 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
1.316 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 y) 0)) into 1
1.316 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.316 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 z) (/ 1 y)) z) x)) in y
1.316 * [taylor]: Taking taylor expansion of -1 in y
1.316 * [backup-simplify]: Simplify -1 into -1
1.317 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 z) (/ 1 y)) z) x) in y
1.317 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 y)) z) in y
1.317 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
1.317 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.317 * [taylor]: Taking taylor expansion of z in y
1.317 * [backup-simplify]: Simplify z into z
1.317 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.317 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.317 * [taylor]: Taking taylor expansion of y in y
1.317 * [backup-simplify]: Simplify 0 into 0
1.317 * [backup-simplify]: Simplify 1 into 1
1.317 * [backup-simplify]: Simplify (/ 1 1) into 1
1.317 * [taylor]: Taking taylor expansion of z in y
1.317 * [backup-simplify]: Simplify z into z
1.317 * [taylor]: Taking taylor expansion of x in y
1.317 * [backup-simplify]: Simplify x into x
1.317 * [backup-simplify]: Simplify (+ 0 1) into 1
1.317 * [backup-simplify]: Simplify (* 1 z) into z
1.317 * [backup-simplify]: Simplify (/ z x) into (/ z x)
1.317 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 z) (/ 1 y)) z) x)) in x
1.317 * [taylor]: Taking taylor expansion of -1 in x
1.317 * [backup-simplify]: Simplify -1 into -1
1.317 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 z) (/ 1 y)) z) x) in x
1.317 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 y)) z) in x
1.317 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.317 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.317 * [taylor]: Taking taylor expansion of z in x
1.317 * [backup-simplify]: Simplify z into z
1.318 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.318 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.318 * [taylor]: Taking taylor expansion of y in x
1.318 * [backup-simplify]: Simplify y into y
1.318 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.318 * [taylor]: Taking taylor expansion of z in x
1.318 * [backup-simplify]: Simplify z into z
1.318 * [taylor]: Taking taylor expansion of x in x
1.318 * [backup-simplify]: Simplify 0 into 0
1.318 * [backup-simplify]: Simplify 1 into 1
1.318 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
1.318 * [backup-simplify]: Simplify (* (+ (/ 1 y) (/ 1 z)) z) into (* (+ (/ 1 z) (/ 1 y)) z)
1.318 * [backup-simplify]: Simplify (/ (* (+ (/ 1 z) (/ 1 y)) z) 1) into (* (+ (/ 1 y) (/ 1 z)) z)
1.318 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 z) (/ 1 y)) z) x)) in x
1.318 * [taylor]: Taking taylor expansion of -1 in x
1.318 * [backup-simplify]: Simplify -1 into -1
1.318 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 z) (/ 1 y)) z) x) in x
1.318 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 y)) z) in x
1.318 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.318 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.318 * [taylor]: Taking taylor expansion of z in x
1.318 * [backup-simplify]: Simplify z into z
1.318 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.318 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.318 * [taylor]: Taking taylor expansion of y in x
1.318 * [backup-simplify]: Simplify y into y
1.318 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.318 * [taylor]: Taking taylor expansion of z in x
1.318 * [backup-simplify]: Simplify z into z
1.318 * [taylor]: Taking taylor expansion of x in x
1.318 * [backup-simplify]: Simplify 0 into 0
1.318 * [backup-simplify]: Simplify 1 into 1
1.318 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
1.318 * [backup-simplify]: Simplify (* (+ (/ 1 y) (/ 1 z)) z) into (* (+ (/ 1 z) (/ 1 y)) z)
1.319 * [backup-simplify]: Simplify (/ (* (+ (/ 1 z) (/ 1 y)) z) 1) into (* (+ (/ 1 y) (/ 1 z)) z)
1.319 * [backup-simplify]: Simplify (* -1 (* (+ (/ 1 y) (/ 1 z)) z)) into (* -1 (* (+ (/ 1 z) (/ 1 y)) z))
1.319 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 z) (/ 1 y)) z)) in y
1.319 * [taylor]: Taking taylor expansion of -1 in y
1.319 * [backup-simplify]: Simplify -1 into -1
1.319 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 y)) z) in y
1.319 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
1.319 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.319 * [taylor]: Taking taylor expansion of z in y
1.319 * [backup-simplify]: Simplify z into z
1.319 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.319 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.319 * [taylor]: Taking taylor expansion of y in y
1.319 * [backup-simplify]: Simplify 0 into 0
1.319 * [backup-simplify]: Simplify 1 into 1
1.320 * [backup-simplify]: Simplify (/ 1 1) into 1
1.320 * [taylor]: Taking taylor expansion of z in y
1.320 * [backup-simplify]: Simplify z into z
1.320 * [backup-simplify]: Simplify (+ 0 1) into 1
1.320 * [backup-simplify]: Simplify (* 1 z) into z
1.320 * [backup-simplify]: Simplify (* -1 z) into (* -1 z)
1.320 * [taylor]: Taking taylor expansion of (* -1 z) in z
1.320 * [taylor]: Taking taylor expansion of -1 in z
1.320 * [backup-simplify]: Simplify -1 into -1
1.320 * [taylor]: Taking taylor expansion of z in z
1.320 * [backup-simplify]: Simplify 0 into 0
1.320 * [backup-simplify]: Simplify 1 into 1
1.321 * [backup-simplify]: Simplify (* -1 0) into 0
1.321 * [backup-simplify]: Simplify 0 into 0
1.321 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.321 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.322 * [backup-simplify]: Simplify (+ 0 0) into 0
1.322 * [backup-simplify]: Simplify (+ (* (+ (/ 1 y) (/ 1 z)) 0) (* 0 z)) into 0
1.323 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (+ (/ 1 y) (/ 1 z)) z) (/ 0 1)))) into 0
1.323 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (* (+ (/ 1 y) (/ 1 z)) z))) into 0
1.323 * [taylor]: Taking taylor expansion of 0 in y
1.323 * [backup-simplify]: Simplify 0 into 0
1.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.324 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
1.325 * [backup-simplify]: Simplify (+ (* 1 0) (* (/ 1 z) z)) into 1
1.325 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 z)) into (- 1)
1.325 * [taylor]: Taking taylor expansion of (- 1) in z
1.325 * [taylor]: Taking taylor expansion of 1 in z
1.325 * [backup-simplify]: Simplify 1 into 1
1.326 * [backup-simplify]: Simplify (- 1) into -1
1.326 * [backup-simplify]: Simplify -1 into -1
1.326 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1
1.326 * [backup-simplify]: Simplify -1 into -1
1.327 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.327 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.327 * [backup-simplify]: Simplify (+ 0 0) into 0
1.328 * [backup-simplify]: Simplify (+ (* (+ (/ 1 y) (/ 1 z)) 0) (+ (* 0 0) (* 0 z))) into 0
1.329 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (+ (/ 1 y) (/ 1 z)) z) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.330 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (* (+ (/ 1 y) (/ 1 z)) z)))) into 0
1.330 * [taylor]: Taking taylor expansion of 0 in y
1.330 * [backup-simplify]: Simplify 0 into 0
1.330 * [taylor]: Taking taylor expansion of 0 in z
1.330 * [backup-simplify]: Simplify 0 into 0
1.330 * [backup-simplify]: Simplify 0 into 0
1.330 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.331 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.332 * [backup-simplify]: Simplify (+ 0 0) into 0
1.332 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 z) 0) (* 0 z))) into 0
1.333 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 z))) into 0
1.333 * [taylor]: Taking taylor expansion of 0 in z
1.333 * [backup-simplify]: Simplify 0 into 0
1.333 * [backup-simplify]: Simplify 0 into 0
1.333 * [backup-simplify]: Simplify (- 0) into 0
1.334 * [backup-simplify]: Simplify 0 into 0
1.335 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
1.335 * [backup-simplify]: Simplify 0 into 0
1.335 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.335 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.335 * [backup-simplify]: Simplify (+ 0 0) into 0
1.336 * [backup-simplify]: Simplify (+ (* (+ (/ 1 y) (/ 1 z)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
1.338 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (+ (/ 1 y) (/ 1 z)) z) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.339 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (/ 1 y) (/ 1 z)) z))))) into 0
1.339 * [taylor]: Taking taylor expansion of 0 in y
1.340 * [backup-simplify]: Simplify 0 into 0
1.340 * [taylor]: Taking taylor expansion of 0 in z
1.340 * [backup-simplify]: Simplify 0 into 0
1.340 * [backup-simplify]: Simplify 0 into 0
1.340 * [taylor]: Taking taylor expansion of 0 in z
1.340 * [backup-simplify]: Simplify 0 into 0
1.340 * [backup-simplify]: Simplify 0 into 0
1.340 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* -1 (* 1 (* 1 (/ 1 (/ 1 (- x))))))) into (+ (/ (* x y) z) x)
1.340 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
1.340 * [backup-simplify]: Simplify (* x (+ y z)) into (* (+ z y) x)
1.340 * [approximate]: Taking taylor expansion of (* (+ z y) x) in (x y z) around 0
1.340 * [taylor]: Taking taylor expansion of (* (+ z y) x) in z
1.340 * [taylor]: Taking taylor expansion of (+ z y) in z
1.341 * [taylor]: Taking taylor expansion of z in z
1.341 * [backup-simplify]: Simplify 0 into 0
1.341 * [backup-simplify]: Simplify 1 into 1
1.341 * [taylor]: Taking taylor expansion of y in z
1.341 * [backup-simplify]: Simplify y into y
1.341 * [taylor]: Taking taylor expansion of x in z
1.341 * [backup-simplify]: Simplify x into x
1.341 * [taylor]: Taking taylor expansion of (* (+ z y) x) in y
1.341 * [taylor]: Taking taylor expansion of (+ z y) in y
1.341 * [taylor]: Taking taylor expansion of z in y
1.341 * [backup-simplify]: Simplify z into z
1.341 * [taylor]: Taking taylor expansion of y in y
1.341 * [backup-simplify]: Simplify 0 into 0
1.341 * [backup-simplify]: Simplify 1 into 1
1.341 * [taylor]: Taking taylor expansion of x in y
1.341 * [backup-simplify]: Simplify x into x
1.341 * [taylor]: Taking taylor expansion of (* (+ z y) x) in x
1.341 * [taylor]: Taking taylor expansion of (+ z y) in x
1.341 * [taylor]: Taking taylor expansion of z in x
1.341 * [backup-simplify]: Simplify z into z
1.341 * [taylor]: Taking taylor expansion of y in x
1.341 * [backup-simplify]: Simplify y into y
1.341 * [taylor]: Taking taylor expansion of x in x
1.341 * [backup-simplify]: Simplify 0 into 0
1.341 * [backup-simplify]: Simplify 1 into 1
1.341 * [taylor]: Taking taylor expansion of (* (+ z y) x) in x
1.341 * [taylor]: Taking taylor expansion of (+ z y) in x
1.341 * [taylor]: Taking taylor expansion of z in x
1.341 * [backup-simplify]: Simplify z into z
1.341 * [taylor]: Taking taylor expansion of y in x
1.341 * [backup-simplify]: Simplify y into y
1.341 * [taylor]: Taking taylor expansion of x in x
1.341 * [backup-simplify]: Simplify 0 into 0
1.341 * [backup-simplify]: Simplify 1 into 1
1.341 * [backup-simplify]: Simplify (+ z y) into (+ z y)
1.342 * [backup-simplify]: Simplify (* (+ z y) 0) into 0
1.342 * [taylor]: Taking taylor expansion of 0 in y
1.342 * [backup-simplify]: Simplify 0 into 0
1.342 * [taylor]: Taking taylor expansion of 0 in z
1.342 * [backup-simplify]: Simplify 0 into 0
1.342 * [backup-simplify]: Simplify 0 into 0
1.342 * [backup-simplify]: Simplify (+ 0 0) into 0
1.343 * [backup-simplify]: Simplify (+ (* (+ z y) 1) (* 0 0)) into (+ z y)
1.343 * [taylor]: Taking taylor expansion of (+ z y) in y
1.343 * [taylor]: Taking taylor expansion of z in y
1.343 * [backup-simplify]: Simplify z into z
1.343 * [taylor]: Taking taylor expansion of y in y
1.343 * [backup-simplify]: Simplify 0 into 0
1.343 * [backup-simplify]: Simplify 1 into 1
1.343 * [backup-simplify]: Simplify (+ z 0) into z
1.343 * [taylor]: Taking taylor expansion of z in z
1.343 * [backup-simplify]: Simplify 0 into 0
1.343 * [backup-simplify]: Simplify 1 into 1
1.343 * [backup-simplify]: Simplify 0 into 0
1.343 * [taylor]: Taking taylor expansion of 0 in z
1.343 * [backup-simplify]: Simplify 0 into 0
1.343 * [backup-simplify]: Simplify 0 into 0
1.343 * [backup-simplify]: Simplify 0 into 0
1.343 * [backup-simplify]: Simplify (+ 0 0) into 0
1.344 * [backup-simplify]: Simplify (+ (* (+ z y) 0) (+ (* 0 1) (* 0 0))) into 0
1.344 * [taylor]: Taking taylor expansion of 0 in y
1.344 * [backup-simplify]: Simplify 0 into 0
1.344 * [taylor]: Taking taylor expansion of 0 in z
1.344 * [backup-simplify]: Simplify 0 into 0
1.344 * [backup-simplify]: Simplify 0 into 0
1.345 * [backup-simplify]: Simplify (+ 0 1) into 1
1.345 * [taylor]: Taking taylor expansion of 1 in z
1.345 * [backup-simplify]: Simplify 1 into 1
1.345 * [backup-simplify]: Simplify 1 into 1
1.345 * [taylor]: Taking taylor expansion of 0 in z
1.345 * [backup-simplify]: Simplify 0 into 0
1.345 * [backup-simplify]: Simplify 0 into 0
1.345 * [backup-simplify]: Simplify 1 into 1
1.345 * [backup-simplify]: Simplify 0 into 0
1.345 * [backup-simplify]: Simplify 0 into 0
1.345 * [backup-simplify]: Simplify (+ 0 0) into 0
1.346 * [backup-simplify]: Simplify (+ (* (+ z y) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.346 * [taylor]: Taking taylor expansion of 0 in y
1.346 * [backup-simplify]: Simplify 0 into 0
1.346 * [taylor]: Taking taylor expansion of 0 in z
1.346 * [backup-simplify]: Simplify 0 into 0
1.346 * [backup-simplify]: Simplify 0 into 0
1.346 * [taylor]: Taking taylor expansion of 0 in z
1.346 * [backup-simplify]: Simplify 0 into 0
1.347 * [backup-simplify]: Simplify 0 into 0
1.347 * [backup-simplify]: Simplify (+ 0 0) into 0
1.347 * [taylor]: Taking taylor expansion of 0 in z
1.347 * [backup-simplify]: Simplify 0 into 0
1.347 * [backup-simplify]: Simplify 0 into 0
1.347 * [taylor]: Taking taylor expansion of 0 in z
1.347 * [backup-simplify]: Simplify 0 into 0
1.347 * [backup-simplify]: Simplify 0 into 0
1.347 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 x))) (* 1 (* 1 (* y x)))) into (+ (* x z) (* x y))
1.348 * [backup-simplify]: Simplify (* (/ 1 x) (+ (/ 1 y) (/ 1 z))) into (/ (+ (/ 1 z) (/ 1 y)) x)
1.348 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in (x y z) around 0
1.348 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z
1.348 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
1.348 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.348 * [taylor]: Taking taylor expansion of z in z
1.348 * [backup-simplify]: Simplify 0 into 0
1.348 * [backup-simplify]: Simplify 1 into 1
1.348 * [backup-simplify]: Simplify (/ 1 1) into 1
1.348 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.348 * [taylor]: Taking taylor expansion of y in z
1.348 * [backup-simplify]: Simplify y into y
1.348 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.348 * [taylor]: Taking taylor expansion of x in z
1.348 * [backup-simplify]: Simplify x into x
1.349 * [backup-simplify]: Simplify (+ 1 0) into 1
1.349 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.349 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y
1.349 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
1.349 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.349 * [taylor]: Taking taylor expansion of z in y
1.349 * [backup-simplify]: Simplify z into z
1.349 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.349 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.349 * [taylor]: Taking taylor expansion of y in y
1.349 * [backup-simplify]: Simplify 0 into 0
1.349 * [backup-simplify]: Simplify 1 into 1
1.349 * [backup-simplify]: Simplify (/ 1 1) into 1
1.349 * [taylor]: Taking taylor expansion of x in y
1.350 * [backup-simplify]: Simplify x into x
1.350 * [backup-simplify]: Simplify (+ 0 1) into 1
1.350 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.350 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
1.350 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.350 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.350 * [taylor]: Taking taylor expansion of z in x
1.350 * [backup-simplify]: Simplify z into z
1.350 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.350 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.350 * [taylor]: Taking taylor expansion of y in x
1.350 * [backup-simplify]: Simplify y into y
1.350 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.350 * [taylor]: Taking taylor expansion of x in x
1.350 * [backup-simplify]: Simplify 0 into 0
1.350 * [backup-simplify]: Simplify 1 into 1
1.351 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
1.351 * [backup-simplify]: Simplify (/ (+ (/ 1 y) (/ 1 z)) 1) into (+ (/ 1 z) (/ 1 y))
1.351 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
1.351 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.351 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.351 * [taylor]: Taking taylor expansion of z in x
1.351 * [backup-simplify]: Simplify z into z
1.351 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.351 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.351 * [taylor]: Taking taylor expansion of y in x
1.351 * [backup-simplify]: Simplify y into y
1.351 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.351 * [taylor]: Taking taylor expansion of x in x
1.351 * [backup-simplify]: Simplify 0 into 0
1.351 * [backup-simplify]: Simplify 1 into 1
1.351 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
1.351 * [backup-simplify]: Simplify (/ (+ (/ 1 y) (/ 1 z)) 1) into (+ (/ 1 z) (/ 1 y))
1.351 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
1.352 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.352 * [taylor]: Taking taylor expansion of z in y
1.352 * [backup-simplify]: Simplify z into z
1.352 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.352 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.352 * [taylor]: Taking taylor expansion of y in y
1.352 * [backup-simplify]: Simplify 0 into 0
1.352 * [backup-simplify]: Simplify 1 into 1
1.352 * [backup-simplify]: Simplify (/ 1 1) into 1
1.353 * [backup-simplify]: Simplify (+ 0 1) into 1
1.353 * [taylor]: Taking taylor expansion of 1 in z
1.353 * [backup-simplify]: Simplify 1 into 1
1.353 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.353 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.353 * [backup-simplify]: Simplify (+ 0 0) into 0
1.354 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)))) into 0
1.354 * [taylor]: Taking taylor expansion of 0 in y
1.354 * [backup-simplify]: Simplify 0 into 0
1.355 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.355 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
1.355 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.355 * [taylor]: Taking taylor expansion of z in z
1.355 * [backup-simplify]: Simplify 0 into 0
1.355 * [backup-simplify]: Simplify 1 into 1
1.356 * [backup-simplify]: Simplify (/ 1 1) into 1
1.356 * [backup-simplify]: Simplify 1 into 1
1.356 * [backup-simplify]: Simplify 1 into 1
1.356 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.356 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.357 * [backup-simplify]: Simplify (+ 0 0) into 0
1.358 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.358 * [taylor]: Taking taylor expansion of 0 in y
1.358 * [backup-simplify]: Simplify 0 into 0
1.358 * [taylor]: Taking taylor expansion of 0 in z
1.358 * [backup-simplify]: Simplify 0 into 0
1.358 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.359 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.360 * [backup-simplify]: Simplify (+ 0 0) into 0
1.360 * [taylor]: Taking taylor expansion of 0 in z
1.360 * [backup-simplify]: Simplify 0 into 0
1.361 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.361 * [backup-simplify]: Simplify 0 into 0
1.361 * [backup-simplify]: Simplify 0 into 0
1.361 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.361 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.362 * [backup-simplify]: Simplify (+ 0 0) into 0
1.364 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.364 * [taylor]: Taking taylor expansion of 0 in y
1.364 * [backup-simplify]: Simplify 0 into 0
1.364 * [taylor]: Taking taylor expansion of 0 in z
1.364 * [backup-simplify]: Simplify 0 into 0
1.364 * [taylor]: Taking taylor expansion of 0 in z
1.364 * [backup-simplify]: Simplify 0 into 0
1.364 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.365 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.365 * [backup-simplify]: Simplify (+ 0 0) into 0
1.365 * [taylor]: Taking taylor expansion of 0 in z
1.365 * [backup-simplify]: Simplify 0 into 0
1.365 * [backup-simplify]: Simplify 0 into 0
1.366 * [backup-simplify]: Simplify 0 into 0
1.366 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.366 * [backup-simplify]: Simplify 0 into 0
1.366 * [backup-simplify]: Simplify 0 into 0
1.367 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* 1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 x)))))) into (+ (* x z) (* x y))
1.367 * [backup-simplify]: Simplify (* (/ 1 (- x)) (+ (/ 1 (- y)) (/ 1 (- z)))) into (/ (+ (/ 1 z) (/ 1 y)) x)
1.367 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in (x y z) around 0
1.367 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z
1.367 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
1.367 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.367 * [taylor]: Taking taylor expansion of z in z
1.367 * [backup-simplify]: Simplify 0 into 0
1.367 * [backup-simplify]: Simplify 1 into 1
1.368 * [backup-simplify]: Simplify (/ 1 1) into 1
1.368 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.368 * [taylor]: Taking taylor expansion of y in z
1.368 * [backup-simplify]: Simplify y into y
1.368 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.368 * [taylor]: Taking taylor expansion of x in z
1.368 * [backup-simplify]: Simplify x into x
1.368 * [backup-simplify]: Simplify (+ 1 0) into 1
1.368 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.368 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y
1.368 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
1.368 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.369 * [taylor]: Taking taylor expansion of z in y
1.369 * [backup-simplify]: Simplify z into z
1.369 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.369 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.369 * [taylor]: Taking taylor expansion of y in y
1.369 * [backup-simplify]: Simplify 0 into 0
1.369 * [backup-simplify]: Simplify 1 into 1
1.369 * [backup-simplify]: Simplify (/ 1 1) into 1
1.369 * [taylor]: Taking taylor expansion of x in y
1.369 * [backup-simplify]: Simplify x into x
1.370 * [backup-simplify]: Simplify (+ 0 1) into 1
1.370 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.370 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
1.370 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.370 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.370 * [taylor]: Taking taylor expansion of z in x
1.370 * [backup-simplify]: Simplify z into z
1.370 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.370 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.370 * [taylor]: Taking taylor expansion of y in x
1.370 * [backup-simplify]: Simplify y into y
1.370 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.370 * [taylor]: Taking taylor expansion of x in x
1.370 * [backup-simplify]: Simplify 0 into 0
1.370 * [backup-simplify]: Simplify 1 into 1
1.370 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
1.370 * [backup-simplify]: Simplify (/ (+ (/ 1 y) (/ 1 z)) 1) into (+ (/ 1 z) (/ 1 y))
1.370 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
1.370 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.370 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.370 * [taylor]: Taking taylor expansion of z in x
1.370 * [backup-simplify]: Simplify z into z
1.370 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.370 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.371 * [taylor]: Taking taylor expansion of y in x
1.371 * [backup-simplify]: Simplify y into y
1.371 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.371 * [taylor]: Taking taylor expansion of x in x
1.371 * [backup-simplify]: Simplify 0 into 0
1.371 * [backup-simplify]: Simplify 1 into 1
1.371 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
1.371 * [backup-simplify]: Simplify (/ (+ (/ 1 y) (/ 1 z)) 1) into (+ (/ 1 z) (/ 1 y))
1.371 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
1.371 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.371 * [taylor]: Taking taylor expansion of z in y
1.371 * [backup-simplify]: Simplify z into z
1.371 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.371 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.371 * [taylor]: Taking taylor expansion of y in y
1.371 * [backup-simplify]: Simplify 0 into 0
1.371 * [backup-simplify]: Simplify 1 into 1
1.372 * [backup-simplify]: Simplify (/ 1 1) into 1
1.372 * [backup-simplify]: Simplify (+ 0 1) into 1
1.372 * [taylor]: Taking taylor expansion of 1 in z
1.372 * [backup-simplify]: Simplify 1 into 1
1.372 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.372 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.373 * [backup-simplify]: Simplify (+ 0 0) into 0
1.374 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)))) into 0
1.374 * [taylor]: Taking taylor expansion of 0 in y
1.374 * [backup-simplify]: Simplify 0 into 0
1.374 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.375 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
1.375 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.375 * [taylor]: Taking taylor expansion of z in z
1.375 * [backup-simplify]: Simplify 0 into 0
1.375 * [backup-simplify]: Simplify 1 into 1
1.375 * [backup-simplify]: Simplify (/ 1 1) into 1
1.375 * [backup-simplify]: Simplify 1 into 1
1.375 * [backup-simplify]: Simplify 1 into 1
1.375 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.376 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.376 * [backup-simplify]: Simplify (+ 0 0) into 0
1.377 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.377 * [taylor]: Taking taylor expansion of 0 in y
1.377 * [backup-simplify]: Simplify 0 into 0
1.378 * [taylor]: Taking taylor expansion of 0 in z
1.378 * [backup-simplify]: Simplify 0 into 0
1.378 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.379 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.379 * [backup-simplify]: Simplify (+ 0 0) into 0
1.379 * [taylor]: Taking taylor expansion of 0 in z
1.379 * [backup-simplify]: Simplify 0 into 0
1.380 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.380 * [backup-simplify]: Simplify 0 into 0
1.380 * [backup-simplify]: Simplify 0 into 0
1.380 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.381 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.381 * [backup-simplify]: Simplify (+ 0 0) into 0
1.383 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.383 * [taylor]: Taking taylor expansion of 0 in y
1.383 * [backup-simplify]: Simplify 0 into 0
1.383 * [taylor]: Taking taylor expansion of 0 in z
1.383 * [backup-simplify]: Simplify 0 into 0
1.383 * [taylor]: Taking taylor expansion of 0 in z
1.383 * [backup-simplify]: Simplify 0 into 0
1.383 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.384 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.385 * [backup-simplify]: Simplify (+ 0 0) into 0
1.385 * [taylor]: Taking taylor expansion of 0 in z
1.385 * [backup-simplify]: Simplify 0 into 0
1.385 * [backup-simplify]: Simplify 0 into 0
1.385 * [backup-simplify]: Simplify 0 into 0
1.386 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.386 * [backup-simplify]: Simplify 0 into 0
1.386 * [backup-simplify]: Simplify 0 into 0
1.387 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* 1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- x))))))) into (+ (* x z) (* x y))
1.387 * * * [progress]: simplifying candidates
1.388 * [simplify]: Simplifying:
  (- (+ (log x) (log (+ y z))) (log z))
  (- (log (* x (+ y z))) (log z))
  (log (/ (* x (+ y z)) z))
  (exp (/ (* x (+ y z)) z))
  (/ (* (* (* x x) x) (* (* (+ y z) (+ y z)) (+ y z))) (* (* z z) z))
  (/ (* (* (* x (+ y z)) (* x (+ y z))) (* x (+ y z))) (* (* z z) z))
  (* (cbrt (/ (* x (+ y z)) z)) (cbrt (/ (* x (+ y z)) z)))
  (cbrt (/ (* x (+ y z)) z))
  (* (* (/ (* x (+ y z)) z) (/ (* x (+ y z)) z)) (/ (* x (+ y z)) z))
  (sqrt (/ (* x (+ y z)) z))
  (sqrt (/ (* x (+ y z)) z))
  (- (* x (+ y z)))
  (- z)
  (/ x (* (cbrt z) (cbrt z)))
  (/ (+ y z) (cbrt z))
  (/ x (sqrt z))
  (/ (+ y z) (sqrt z))
  (/ x 1)
  (/ (+ y z) z)
  (/ 1 z)
  (/ z (* x (+ y z)))
  (/ (* x (+ y z)) (* (cbrt z) (cbrt z)))
  (/ (* x (+ y z)) (sqrt z))
  (/ (* x (+ y z)) 1)
  (/ z (+ y z))
  (* z (+ (* y y) (- (* z z) (* y z))))
  (* z (- y z))
  (* x (+ y z))
  (+ (log x) (log (+ y z)))
  (log (* x (+ y z)))
  (exp (* x (+ y z)))
  (* (* (* x x) x) (* (* (+ y z) (+ y z)) (+ y z)))
  (* (cbrt (* x (+ y z))) (cbrt (* x (+ y z))))
  (cbrt (* x (+ y z)))
  (* (* (* x (+ y z)) (* x (+ y z))) (* x (+ y z)))
  (sqrt (* x (+ y z)))
  (sqrt (* x (+ y z)))
  (* (sqrt x) (sqrt (+ y z)))
  (* (sqrt x) (sqrt (+ y z)))
  (* x y)
  (* x z)
  (* y x)
  (* z x)
  (* x (* (cbrt (+ y z)) (cbrt (+ y z))))
  (* x (sqrt (+ y z)))
  (* x 1)
  (* x 1)
  (* (cbrt x) (+ y z))
  (* (sqrt x) (+ y z))
  (* x (+ y z))
  (* x (+ (pow y 3) (pow z 3)))
  (* x (- (* y y) (* z z)))
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (* x z) (* x y))
  (+ (* x z) (* x y))
  (+ (* x z) (* x y))
1.390 * * [simplify]: Extracting # 0 : cost  0
1.390 * * [simplify]: Extracting # 1 : cost  0
1.390 * * [simplify]: Extracting # 2 : cost  0
1.390 * * [simplify]: Extracting # 3 : cost  0
1.390 * * [simplify]: Extracting # 4 : cost  0
1.391 * * [simplify]: Extracting # 5 : cost  0
1.391 * * [simplify]: Extracting # 6 : cost  0
1.391 * * [simplify]: Extracting # 7 : cost  0
1.391 * * [simplify]: iteration  0 :  85  enodes  (cost  458 )
1.440 * * [simplify]: Extracting # 0 : cost  0
1.441 * * [simplify]: Extracting # 1 : cost  0
1.441 * * [simplify]: Extracting # 2 : cost  0
1.442 * * [simplify]: Extracting # 3 : cost  0
1.442 * * [simplify]: Extracting # 4 : cost  0
1.443 * * [simplify]: iteration  1 :  244  enodes  (cost  434 )
1.555 * * [simplify]: Extracting # 0 : cost  0
1.556 * * [simplify]: Extracting # 1 : cost  0
1.558 * * [simplify]: Extracting # 2 : cost  0
1.560 * * [simplify]: Extracting # 3 : cost  0
1.561 * * [simplify]: Extracting # 4 : cost  0
1.564 * * [simplify]: Extracting # 5 : cost  0
1.567 * * [simplify]: Extracting # 6 : cost  0
1.569 * * [simplify]: iteration  2 :  1285  enodes  (cost  382 )
2.587 * * [simplify]: Extracting # 0 : cost  0
2.599 * * [simplify]: Extracting # 1 : cost  0
2.611 * * [simplify]: Extracting # 2 : cost  0
2.627 * * [simplify]: Extracting # 3 : cost  0
2.638 * * [simplify]: Extracting # 4 : cost  0
2.649 * * [simplify]: iteration done:  5000  enodes  (cost  376 )
2.650 * [simplify]: Simplified to:
  (log (/ (* x (+ y z)) z))
  (log (/ (* x (+ y z)) z))
  (log (/ (* x (+ y z)) z))
  (exp (/ (* x (+ y z)) z))
  (pow (/ (* x (+ y z)) z) 3)
  (pow (/ (* x (+ y z)) z) 3)
  (* (cbrt (/ (* x (+ y z)) z)) (cbrt (/ (* x (+ y z)) z)))
  (cbrt (/ (* x (+ y z)) z))
  (pow (/ (* x (+ y z)) z) 3)
  (sqrt (/ (* x (+ y z)) z))
  (sqrt (/ (* x (+ y z)) z))
  (- (* x (+ y z)))
  (- z)
  (/ x (* (cbrt z) (cbrt z)))
  (/ (+ y z) (cbrt z))
  (/ x (sqrt z))
  (/ (+ y z) (sqrt z))
  x
  (/ (+ y z) z)
  (/ 1 z)
  (/ z (* x (+ y z)))
  (/ (* x (+ y z)) (* (cbrt z) (cbrt z)))
  (/ (* x (+ y z)) (sqrt z))
  (* x (+ y z))
  (/ z (+ y z))
  (* z (+ (* z (- z y)) (* y y)))
  (* z (- y z))
  (* x (+ y z))
  (log (* x (+ y z)))
  (log (* x (+ y z)))
  (exp (* x (+ y z)))
  (pow (* x (+ y z)) 3)
  (* (cbrt (* x (+ y z))) (cbrt (* x (+ y z))))
  (cbrt (* x (+ y z)))
  (pow (* x (+ y z)) 3)
  (sqrt (* x (+ y z)))
  (sqrt (* x (+ y z)))
  (* (sqrt x) (sqrt (+ y z)))
  (* (sqrt x) (sqrt (+ y z)))
  (* x y)
  (* x z)
  (* y x)
  (* x z)
  (* x (* (cbrt (+ y z)) (cbrt (+ y z))))
  (* x (sqrt (+ y z)))
  x
  x
  (* (cbrt x) (+ y z))
  (* (sqrt x) (+ y z))
  (* x (+ y z))
  (* x (+ (pow y 3) (pow z 3)))
  (* x (- (* y y) (* z z)))
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (* x (+ y z))
  (* x (+ y z))
  (* x (+ y z))
2.650 * * * [progress]: adding candidates to table
2.776 * * [progress]: iteration 2 / 4
2.776 * * * [progress]: picking best candidate
2.792 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (/ (* x y) z) x))>
2.792 * * * [progress]: localizing error
2.802 * * * [progress]: generating rewritten candidates
2.802 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
2.821 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
2.851 * * * [progress]: generating series expansions
2.851 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
2.851 * [backup-simplify]: Simplify (/ (* x y) z) into (/ (* x y) z)
2.851 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0
2.851 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
2.851 * [taylor]: Taking taylor expansion of (* x y) in z
2.851 * [taylor]: Taking taylor expansion of x in z
2.851 * [backup-simplify]: Simplify x into x
2.852 * [taylor]: Taking taylor expansion of y in z
2.852 * [backup-simplify]: Simplify y into y
2.852 * [taylor]: Taking taylor expansion of z in z
2.852 * [backup-simplify]: Simplify 0 into 0
2.852 * [backup-simplify]: Simplify 1 into 1
2.852 * [backup-simplify]: Simplify (* x y) into (* x y)
2.852 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
2.852 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
2.852 * [taylor]: Taking taylor expansion of (* x y) in y
2.852 * [taylor]: Taking taylor expansion of x in y
2.852 * [backup-simplify]: Simplify x into x
2.852 * [taylor]: Taking taylor expansion of y in y
2.852 * [backup-simplify]: Simplify 0 into 0
2.852 * [backup-simplify]: Simplify 1 into 1
2.852 * [taylor]: Taking taylor expansion of z in y
2.852 * [backup-simplify]: Simplify z into z
2.852 * [backup-simplify]: Simplify (* x 0) into 0
2.853 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.853 * [backup-simplify]: Simplify (/ x z) into (/ x z)
2.853 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
2.853 * [taylor]: Taking taylor expansion of (* x y) in x
2.853 * [taylor]: Taking taylor expansion of x in x
2.853 * [backup-simplify]: Simplify 0 into 0
2.853 * [backup-simplify]: Simplify 1 into 1
2.853 * [taylor]: Taking taylor expansion of y in x
2.853 * [backup-simplify]: Simplify y into y
2.853 * [taylor]: Taking taylor expansion of z in x
2.853 * [backup-simplify]: Simplify z into z
2.853 * [backup-simplify]: Simplify (* 0 y) into 0
2.854 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.854 * [backup-simplify]: Simplify (/ y z) into (/ y z)
2.854 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
2.854 * [taylor]: Taking taylor expansion of (* x y) in x
2.854 * [taylor]: Taking taylor expansion of x in x
2.854 * [backup-simplify]: Simplify 0 into 0
2.854 * [backup-simplify]: Simplify 1 into 1
2.854 * [taylor]: Taking taylor expansion of y in x
2.854 * [backup-simplify]: Simplify y into y
2.854 * [taylor]: Taking taylor expansion of z in x
2.854 * [backup-simplify]: Simplify z into z
2.854 * [backup-simplify]: Simplify (* 0 y) into 0
2.854 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.854 * [backup-simplify]: Simplify (/ y z) into (/ y z)
2.854 * [taylor]: Taking taylor expansion of (/ y z) in y
2.854 * [taylor]: Taking taylor expansion of y in y
2.855 * [backup-simplify]: Simplify 0 into 0
2.855 * [backup-simplify]: Simplify 1 into 1
2.855 * [taylor]: Taking taylor expansion of z in y
2.855 * [backup-simplify]: Simplify z into z
2.855 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.855 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.855 * [taylor]: Taking taylor expansion of z in z
2.855 * [backup-simplify]: Simplify 0 into 0
2.855 * [backup-simplify]: Simplify 1 into 1
2.855 * [backup-simplify]: Simplify (/ 1 1) into 1
2.855 * [backup-simplify]: Simplify 1 into 1
2.855 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
2.856 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
2.856 * [taylor]: Taking taylor expansion of 0 in y
2.856 * [backup-simplify]: Simplify 0 into 0
2.856 * [taylor]: Taking taylor expansion of 0 in z
2.856 * [backup-simplify]: Simplify 0 into 0
2.856 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
2.856 * [taylor]: Taking taylor expansion of 0 in z
2.856 * [backup-simplify]: Simplify 0 into 0
2.856 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.856 * [backup-simplify]: Simplify 0 into 0
2.857 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
2.857 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.857 * [taylor]: Taking taylor expansion of 0 in y
2.857 * [backup-simplify]: Simplify 0 into 0
2.857 * [taylor]: Taking taylor expansion of 0 in z
2.857 * [backup-simplify]: Simplify 0 into 0
2.857 * [taylor]: Taking taylor expansion of 0 in z
2.857 * [backup-simplify]: Simplify 0 into 0
2.857 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.857 * [taylor]: Taking taylor expansion of 0 in z
2.857 * [backup-simplify]: Simplify 0 into 0
2.857 * [backup-simplify]: Simplify 0 into 0
2.857 * [backup-simplify]: Simplify 0 into 0
2.858 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.858 * [backup-simplify]: Simplify 0 into 0
2.859 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
2.859 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.859 * [taylor]: Taking taylor expansion of 0 in y
2.859 * [backup-simplify]: Simplify 0 into 0
2.859 * [taylor]: Taking taylor expansion of 0 in z
2.859 * [backup-simplify]: Simplify 0 into 0
2.859 * [taylor]: Taking taylor expansion of 0 in z
2.859 * [backup-simplify]: Simplify 0 into 0
2.859 * [taylor]: Taking taylor expansion of 0 in z
2.859 * [backup-simplify]: Simplify 0 into 0
2.859 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.859 * [taylor]: Taking taylor expansion of 0 in z
2.859 * [backup-simplify]: Simplify 0 into 0
2.859 * [backup-simplify]: Simplify 0 into 0
2.859 * [backup-simplify]: Simplify 0 into 0
2.860 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* y x))) into (/ (* x y) z)
2.860 * [backup-simplify]: Simplify (/ (* (/ 1 x) (/ 1 y)) (/ 1 z)) into (/ z (* x y))
2.860 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0
2.860 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
2.860 * [taylor]: Taking taylor expansion of z in z
2.860 * [backup-simplify]: Simplify 0 into 0
2.860 * [backup-simplify]: Simplify 1 into 1
2.860 * [taylor]: Taking taylor expansion of (* x y) in z
2.860 * [taylor]: Taking taylor expansion of x in z
2.860 * [backup-simplify]: Simplify x into x
2.860 * [taylor]: Taking taylor expansion of y in z
2.860 * [backup-simplify]: Simplify y into y
2.860 * [backup-simplify]: Simplify (* x y) into (* x y)
2.860 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
2.860 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
2.860 * [taylor]: Taking taylor expansion of z in y
2.860 * [backup-simplify]: Simplify z into z
2.860 * [taylor]: Taking taylor expansion of (* x y) in y
2.860 * [taylor]: Taking taylor expansion of x in y
2.860 * [backup-simplify]: Simplify x into x
2.860 * [taylor]: Taking taylor expansion of y in y
2.860 * [backup-simplify]: Simplify 0 into 0
2.860 * [backup-simplify]: Simplify 1 into 1
2.860 * [backup-simplify]: Simplify (* x 0) into 0
2.860 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.860 * [backup-simplify]: Simplify (/ z x) into (/ z x)
2.860 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
2.860 * [taylor]: Taking taylor expansion of z in x
2.860 * [backup-simplify]: Simplify z into z
2.860 * [taylor]: Taking taylor expansion of (* x y) in x
2.860 * [taylor]: Taking taylor expansion of x in x
2.861 * [backup-simplify]: Simplify 0 into 0
2.861 * [backup-simplify]: Simplify 1 into 1
2.861 * [taylor]: Taking taylor expansion of y in x
2.861 * [backup-simplify]: Simplify y into y
2.861 * [backup-simplify]: Simplify (* 0 y) into 0
2.861 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.861 * [backup-simplify]: Simplify (/ z y) into (/ z y)
2.861 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
2.861 * [taylor]: Taking taylor expansion of z in x
2.861 * [backup-simplify]: Simplify z into z
2.861 * [taylor]: Taking taylor expansion of (* x y) in x
2.861 * [taylor]: Taking taylor expansion of x in x
2.861 * [backup-simplify]: Simplify 0 into 0
2.861 * [backup-simplify]: Simplify 1 into 1
2.861 * [taylor]: Taking taylor expansion of y in x
2.861 * [backup-simplify]: Simplify y into y
2.861 * [backup-simplify]: Simplify (* 0 y) into 0
2.861 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.861 * [backup-simplify]: Simplify (/ z y) into (/ z y)
2.861 * [taylor]: Taking taylor expansion of (/ z y) in y
2.861 * [taylor]: Taking taylor expansion of z in y
2.861 * [backup-simplify]: Simplify z into z
2.861 * [taylor]: Taking taylor expansion of y in y
2.862 * [backup-simplify]: Simplify 0 into 0
2.862 * [backup-simplify]: Simplify 1 into 1
2.862 * [backup-simplify]: Simplify (/ z 1) into z
2.862 * [taylor]: Taking taylor expansion of z in z
2.862 * [backup-simplify]: Simplify 0 into 0
2.862 * [backup-simplify]: Simplify 1 into 1
2.862 * [backup-simplify]: Simplify 1 into 1
2.862 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
2.862 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
2.862 * [taylor]: Taking taylor expansion of 0 in y
2.862 * [backup-simplify]: Simplify 0 into 0
2.863 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
2.863 * [taylor]: Taking taylor expansion of 0 in z
2.863 * [backup-simplify]: Simplify 0 into 0
2.863 * [backup-simplify]: Simplify 0 into 0
2.863 * [backup-simplify]: Simplify 0 into 0
2.864 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
2.864 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.864 * [taylor]: Taking taylor expansion of 0 in y
2.864 * [backup-simplify]: Simplify 0 into 0
2.864 * [taylor]: Taking taylor expansion of 0 in z
2.864 * [backup-simplify]: Simplify 0 into 0
2.864 * [backup-simplify]: Simplify 0 into 0
2.865 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.865 * [taylor]: Taking taylor expansion of 0 in z
2.865 * [backup-simplify]: Simplify 0 into 0
2.865 * [backup-simplify]: Simplify 0 into 0
2.865 * [backup-simplify]: Simplify 0 into 0
2.865 * [backup-simplify]: Simplify 0 into 0
2.865 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (/ (* x y) z)
2.865 * [backup-simplify]: Simplify (/ (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) into (* -1 (/ z (* x y)))
2.865 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0
2.865 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
2.865 * [taylor]: Taking taylor expansion of -1 in z
2.865 * [backup-simplify]: Simplify -1 into -1
2.865 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
2.865 * [taylor]: Taking taylor expansion of z in z
2.865 * [backup-simplify]: Simplify 0 into 0
2.865 * [backup-simplify]: Simplify 1 into 1
2.865 * [taylor]: Taking taylor expansion of (* x y) in z
2.865 * [taylor]: Taking taylor expansion of x in z
2.865 * [backup-simplify]: Simplify x into x
2.865 * [taylor]: Taking taylor expansion of y in z
2.866 * [backup-simplify]: Simplify y into y
2.866 * [backup-simplify]: Simplify (* x y) into (* x y)
2.866 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
2.866 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
2.866 * [taylor]: Taking taylor expansion of -1 in y
2.866 * [backup-simplify]: Simplify -1 into -1
2.866 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
2.866 * [taylor]: Taking taylor expansion of z in y
2.866 * [backup-simplify]: Simplify z into z
2.866 * [taylor]: Taking taylor expansion of (* x y) in y
2.866 * [taylor]: Taking taylor expansion of x in y
2.866 * [backup-simplify]: Simplify x into x
2.866 * [taylor]: Taking taylor expansion of y in y
2.866 * [backup-simplify]: Simplify 0 into 0
2.866 * [backup-simplify]: Simplify 1 into 1
2.866 * [backup-simplify]: Simplify (* x 0) into 0
2.866 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.866 * [backup-simplify]: Simplify (/ z x) into (/ z x)
2.866 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
2.866 * [taylor]: Taking taylor expansion of -1 in x
2.866 * [backup-simplify]: Simplify -1 into -1
2.866 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
2.866 * [taylor]: Taking taylor expansion of z in x
2.866 * [backup-simplify]: Simplify z into z
2.866 * [taylor]: Taking taylor expansion of (* x y) in x
2.866 * [taylor]: Taking taylor expansion of x in x
2.866 * [backup-simplify]: Simplify 0 into 0
2.866 * [backup-simplify]: Simplify 1 into 1
2.866 * [taylor]: Taking taylor expansion of y in x
2.866 * [backup-simplify]: Simplify y into y
2.866 * [backup-simplify]: Simplify (* 0 y) into 0
2.867 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.867 * [backup-simplify]: Simplify (/ z y) into (/ z y)
2.867 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
2.867 * [taylor]: Taking taylor expansion of -1 in x
2.867 * [backup-simplify]: Simplify -1 into -1
2.867 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
2.867 * [taylor]: Taking taylor expansion of z in x
2.867 * [backup-simplify]: Simplify z into z
2.867 * [taylor]: Taking taylor expansion of (* x y) in x
2.867 * [taylor]: Taking taylor expansion of x in x
2.867 * [backup-simplify]: Simplify 0 into 0
2.867 * [backup-simplify]: Simplify 1 into 1
2.867 * [taylor]: Taking taylor expansion of y in x
2.867 * [backup-simplify]: Simplify y into y
2.867 * [backup-simplify]: Simplify (* 0 y) into 0
2.867 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.867 * [backup-simplify]: Simplify (/ z y) into (/ z y)
2.867 * [backup-simplify]: Simplify (* -1 (/ z y)) into (* -1 (/ z y))
2.867 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y
2.867 * [taylor]: Taking taylor expansion of -1 in y
2.867 * [backup-simplify]: Simplify -1 into -1
2.867 * [taylor]: Taking taylor expansion of (/ z y) in y
2.867 * [taylor]: Taking taylor expansion of z in y
2.867 * [backup-simplify]: Simplify z into z
2.867 * [taylor]: Taking taylor expansion of y in y
2.867 * [backup-simplify]: Simplify 0 into 0
2.867 * [backup-simplify]: Simplify 1 into 1
2.867 * [backup-simplify]: Simplify (/ z 1) into z
2.867 * [backup-simplify]: Simplify (* -1 z) into (* -1 z)
2.867 * [taylor]: Taking taylor expansion of (* -1 z) in z
2.867 * [taylor]: Taking taylor expansion of -1 in z
2.868 * [backup-simplify]: Simplify -1 into -1
2.868 * [taylor]: Taking taylor expansion of z in z
2.868 * [backup-simplify]: Simplify 0 into 0
2.868 * [backup-simplify]: Simplify 1 into 1
2.868 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1
2.868 * [backup-simplify]: Simplify -1 into -1
2.868 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
2.869 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
2.869 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z y))) into 0
2.869 * [taylor]: Taking taylor expansion of 0 in y
2.869 * [backup-simplify]: Simplify 0 into 0
2.869 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
2.870 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 z)) into 0
2.870 * [taylor]: Taking taylor expansion of 0 in z
2.870 * [backup-simplify]: Simplify 0 into 0
2.870 * [backup-simplify]: Simplify 0 into 0
2.870 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
2.870 * [backup-simplify]: Simplify 0 into 0
2.871 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
2.871 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.872 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z y)))) into 0
2.872 * [taylor]: Taking taylor expansion of 0 in y
2.872 * [backup-simplify]: Simplify 0 into 0
2.872 * [taylor]: Taking taylor expansion of 0 in z
2.872 * [backup-simplify]: Simplify 0 into 0
2.872 * [backup-simplify]: Simplify 0 into 0
2.873 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.873 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0
2.873 * [taylor]: Taking taylor expansion of 0 in z
2.873 * [backup-simplify]: Simplify 0 into 0
2.873 * [backup-simplify]: Simplify 0 into 0
2.873 * [backup-simplify]: Simplify 0 into 0
2.874 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.874 * [backup-simplify]: Simplify 0 into 0
2.874 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (/ (* x y) z)
2.874 * * * * [progress]: [ 2 / 2 ] generating series at (2)
2.874 * [backup-simplify]: Simplify (+ (/ (* x y) z) x) into (+ (/ (* x y) z) x)
2.874 * [approximate]: Taking taylor expansion of (+ (/ (* x y) z) x) in (x y z) around 0
2.874 * [taylor]: Taking taylor expansion of (+ (/ (* x y) z) x) in z
2.874 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
2.874 * [taylor]: Taking taylor expansion of (* x y) in z
2.874 * [taylor]: Taking taylor expansion of x in z
2.874 * [backup-simplify]: Simplify x into x
2.874 * [taylor]: Taking taylor expansion of y in z
2.874 * [backup-simplify]: Simplify y into y
2.874 * [taylor]: Taking taylor expansion of z in z
2.874 * [backup-simplify]: Simplify 0 into 0
2.875 * [backup-simplify]: Simplify 1 into 1
2.875 * [backup-simplify]: Simplify (* x y) into (* x y)
2.875 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
2.875 * [taylor]: Taking taylor expansion of x in z
2.875 * [backup-simplify]: Simplify x into x
2.875 * [taylor]: Taking taylor expansion of (+ (/ (* x y) z) x) in y
2.875 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
2.875 * [taylor]: Taking taylor expansion of (* x y) in y
2.875 * [taylor]: Taking taylor expansion of x in y
2.875 * [backup-simplify]: Simplify x into x
2.875 * [taylor]: Taking taylor expansion of y in y
2.875 * [backup-simplify]: Simplify 0 into 0
2.875 * [backup-simplify]: Simplify 1 into 1
2.875 * [taylor]: Taking taylor expansion of z in y
2.875 * [backup-simplify]: Simplify z into z
2.875 * [backup-simplify]: Simplify (* x 0) into 0
2.875 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.875 * [backup-simplify]: Simplify (/ x z) into (/ x z)
2.875 * [taylor]: Taking taylor expansion of x in y
2.875 * [backup-simplify]: Simplify x into x
2.875 * [taylor]: Taking taylor expansion of (+ (/ (* x y) z) x) in x
2.875 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
2.875 * [taylor]: Taking taylor expansion of (* x y) in x
2.875 * [taylor]: Taking taylor expansion of x in x
2.875 * [backup-simplify]: Simplify 0 into 0
2.875 * [backup-simplify]: Simplify 1 into 1
2.875 * [taylor]: Taking taylor expansion of y in x
2.875 * [backup-simplify]: Simplify y into y
2.875 * [taylor]: Taking taylor expansion of z in x
2.875 * [backup-simplify]: Simplify z into z
2.875 * [backup-simplify]: Simplify (* 0 y) into 0
2.876 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.876 * [backup-simplify]: Simplify (/ y z) into (/ y z)
2.876 * [taylor]: Taking taylor expansion of x in x
2.876 * [backup-simplify]: Simplify 0 into 0
2.876 * [backup-simplify]: Simplify 1 into 1
2.876 * [taylor]: Taking taylor expansion of (+ (/ (* x y) z) x) in x
2.876 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
2.876 * [taylor]: Taking taylor expansion of (* x y) in x
2.876 * [taylor]: Taking taylor expansion of x in x
2.876 * [backup-simplify]: Simplify 0 into 0
2.876 * [backup-simplify]: Simplify 1 into 1
2.876 * [taylor]: Taking taylor expansion of y in x
2.876 * [backup-simplify]: Simplify y into y
2.876 * [taylor]: Taking taylor expansion of z in x
2.876 * [backup-simplify]: Simplify z into z
2.876 * [backup-simplify]: Simplify (* 0 y) into 0
2.876 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.876 * [backup-simplify]: Simplify (/ y z) into (/ y z)
2.876 * [taylor]: Taking taylor expansion of x in x
2.876 * [backup-simplify]: Simplify 0 into 0
2.876 * [backup-simplify]: Simplify 1 into 1
2.876 * [backup-simplify]: Simplify (+ 0 0) into 0
2.877 * [taylor]: Taking taylor expansion of 0 in y
2.877 * [backup-simplify]: Simplify 0 into 0
2.877 * [taylor]: Taking taylor expansion of 0 in z
2.877 * [backup-simplify]: Simplify 0 into 0
2.877 * [backup-simplify]: Simplify (+ (/ y z) 1) into (+ (/ y z) 1)
2.877 * [taylor]: Taking taylor expansion of (+ (/ y z) 1) in y
2.877 * [taylor]: Taking taylor expansion of (/ y z) in y
2.877 * [taylor]: Taking taylor expansion of y in y
2.877 * [backup-simplify]: Simplify 0 into 0
2.877 * [backup-simplify]: Simplify 1 into 1
2.877 * [taylor]: Taking taylor expansion of z in y
2.877 * [backup-simplify]: Simplify z into z
2.877 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.877 * [taylor]: Taking taylor expansion of 1 in y
2.877 * [backup-simplify]: Simplify 1 into 1
2.877 * [backup-simplify]: Simplify (+ 0 1) into 1
2.877 * [taylor]: Taking taylor expansion of 1 in z
2.877 * [backup-simplify]: Simplify 1 into 1
2.877 * [taylor]: Taking taylor expansion of 0 in z
2.877 * [backup-simplify]: Simplify 0 into 0
2.877 * [backup-simplify]: Simplify 0 into 0
2.878 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
2.878 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
2.878 * [backup-simplify]: Simplify (+ 0 0) into 0
2.878 * [taylor]: Taking taylor expansion of 0 in y
2.878 * [backup-simplify]: Simplify 0 into 0
2.878 * [taylor]: Taking taylor expansion of 0 in z
2.878 * [backup-simplify]: Simplify 0 into 0
2.878 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
2.878 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.878 * [taylor]: Taking taylor expansion of z in z
2.878 * [backup-simplify]: Simplify 0 into 0
2.878 * [backup-simplify]: Simplify 1 into 1
2.878 * [backup-simplify]: Simplify (/ 1 1) into 1
2.878 * [backup-simplify]: Simplify 1 into 1
2.879 * [taylor]: Taking taylor expansion of 0 in z
2.879 * [backup-simplify]: Simplify 0 into 0
2.879 * [backup-simplify]: Simplify 1 into 1
2.879 * [backup-simplify]: Simplify 0 into 0
2.879 * [backup-simplify]: Simplify 0 into 0
2.879 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
2.879 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.880 * [backup-simplify]: Simplify (+ 0 0) into 0
2.880 * [taylor]: Taking taylor expansion of 0 in y
2.880 * [backup-simplify]: Simplify 0 into 0
2.880 * [taylor]: Taking taylor expansion of 0 in z
2.880 * [backup-simplify]: Simplify 0 into 0
2.880 * [taylor]: Taking taylor expansion of 0 in z
2.880 * [backup-simplify]: Simplify 0 into 0
2.880 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
2.880 * [backup-simplify]: Simplify (+ 0 0) into 0
2.880 * [taylor]: Taking taylor expansion of 0 in z
2.880 * [backup-simplify]: Simplify 0 into 0
2.880 * [taylor]: Taking taylor expansion of 0 in z
2.880 * [backup-simplify]: Simplify 0 into 0
2.880 * [backup-simplify]: Simplify 0 into 0
2.881 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.881 * [backup-simplify]: Simplify 0 into 0
2.881 * [backup-simplify]: Simplify 0 into 0
2.881 * [backup-simplify]: Simplify 0 into 0
2.881 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 x))) (* 1 (* (/ 1 z) (* y x)))) into (+ (/ (* x y) z) x)
2.881 * [backup-simplify]: Simplify (+ (/ (* (/ 1 x) (/ 1 y)) (/ 1 z)) (/ 1 x)) into (+ (/ z (* x y)) (/ 1 x))
2.881 * [approximate]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in (x y z) around 0
2.881 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in z
2.881 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
2.881 * [taylor]: Taking taylor expansion of z in z
2.881 * [backup-simplify]: Simplify 0 into 0
2.881 * [backup-simplify]: Simplify 1 into 1
2.881 * [taylor]: Taking taylor expansion of (* x y) in z
2.881 * [taylor]: Taking taylor expansion of x in z
2.881 * [backup-simplify]: Simplify x into x
2.881 * [taylor]: Taking taylor expansion of y in z
2.881 * [backup-simplify]: Simplify y into y
2.881 * [backup-simplify]: Simplify (* x y) into (* x y)
2.881 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
2.881 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.881 * [taylor]: Taking taylor expansion of x in z
2.881 * [backup-simplify]: Simplify x into x
2.881 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.881 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in y
2.881 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
2.881 * [taylor]: Taking taylor expansion of z in y
2.881 * [backup-simplify]: Simplify z into z
2.881 * [taylor]: Taking taylor expansion of (* x y) in y
2.882 * [taylor]: Taking taylor expansion of x in y
2.882 * [backup-simplify]: Simplify x into x
2.882 * [taylor]: Taking taylor expansion of y in y
2.882 * [backup-simplify]: Simplify 0 into 0
2.882 * [backup-simplify]: Simplify 1 into 1
2.882 * [backup-simplify]: Simplify (* x 0) into 0
2.882 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.882 * [backup-simplify]: Simplify (/ z x) into (/ z x)
2.882 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.882 * [taylor]: Taking taylor expansion of x in y
2.882 * [backup-simplify]: Simplify x into x
2.882 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.882 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in x
2.882 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
2.882 * [taylor]: Taking taylor expansion of z in x
2.882 * [backup-simplify]: Simplify z into z
2.882 * [taylor]: Taking taylor expansion of (* x y) in x
2.882 * [taylor]: Taking taylor expansion of x in x
2.882 * [backup-simplify]: Simplify 0 into 0
2.882 * [backup-simplify]: Simplify 1 into 1
2.882 * [taylor]: Taking taylor expansion of y in x
2.882 * [backup-simplify]: Simplify y into y
2.882 * [backup-simplify]: Simplify (* 0 y) into 0
2.882 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.882 * [backup-simplify]: Simplify (/ z y) into (/ z y)
2.883 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.883 * [taylor]: Taking taylor expansion of x in x
2.883 * [backup-simplify]: Simplify 0 into 0
2.883 * [backup-simplify]: Simplify 1 into 1
2.883 * [backup-simplify]: Simplify (/ 1 1) into 1
2.883 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in x
2.883 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
2.883 * [taylor]: Taking taylor expansion of z in x
2.883 * [backup-simplify]: Simplify z into z
2.883 * [taylor]: Taking taylor expansion of (* x y) in x
2.883 * [taylor]: Taking taylor expansion of x in x
2.883 * [backup-simplify]: Simplify 0 into 0
2.883 * [backup-simplify]: Simplify 1 into 1
2.883 * [taylor]: Taking taylor expansion of y in x
2.883 * [backup-simplify]: Simplify y into y
2.883 * [backup-simplify]: Simplify (* 0 y) into 0
2.883 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.883 * [backup-simplify]: Simplify (/ z y) into (/ z y)
2.883 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.883 * [taylor]: Taking taylor expansion of x in x
2.883 * [backup-simplify]: Simplify 0 into 0
2.883 * [backup-simplify]: Simplify 1 into 1
2.884 * [backup-simplify]: Simplify (/ 1 1) into 1
2.884 * [backup-simplify]: Simplify (+ (/ z y) 1) into (+ (/ z y) 1)
2.884 * [taylor]: Taking taylor expansion of (+ (/ z y) 1) in y
2.884 * [taylor]: Taking taylor expansion of (/ z y) in y
2.884 * [taylor]: Taking taylor expansion of z in y
2.884 * [backup-simplify]: Simplify z into z
2.884 * [taylor]: Taking taylor expansion of y in y
2.884 * [backup-simplify]: Simplify 0 into 0
2.884 * [backup-simplify]: Simplify 1 into 1
2.884 * [backup-simplify]: Simplify (/ z 1) into z
2.884 * [taylor]: Taking taylor expansion of 1 in y
2.884 * [backup-simplify]: Simplify 1 into 1
2.884 * [backup-simplify]: Simplify (+ z 0) into z
2.884 * [taylor]: Taking taylor expansion of z in z
2.884 * [backup-simplify]: Simplify 0 into 0
2.884 * [backup-simplify]: Simplify 1 into 1
2.884 * [backup-simplify]: Simplify 0 into 0
2.884 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
2.885 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
2.885 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.885 * [backup-simplify]: Simplify (+ 0 0) into 0
2.885 * [taylor]: Taking taylor expansion of 0 in y
2.885 * [backup-simplify]: Simplify 0 into 0
2.886 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
2.886 * [backup-simplify]: Simplify (+ 0 1) into 1
2.886 * [taylor]: Taking taylor expansion of 1 in z
2.886 * [backup-simplify]: Simplify 1 into 1
2.886 * [backup-simplify]: Simplify 1 into 1
2.886 * [backup-simplify]: Simplify 1 into 1
2.887 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
2.887 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.888 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.888 * [backup-simplify]: Simplify (+ 0 0) into 0
2.888 * [taylor]: Taking taylor expansion of 0 in y
2.888 * [backup-simplify]: Simplify 0 into 0
2.888 * [taylor]: Taking taylor expansion of 0 in z
2.888 * [backup-simplify]: Simplify 0 into 0
2.888 * [backup-simplify]: Simplify 0 into 0
2.889 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.889 * [backup-simplify]: Simplify (+ 0 0) into 0
2.889 * [taylor]: Taking taylor expansion of 0 in z
2.889 * [backup-simplify]: Simplify 0 into 0
2.889 * [backup-simplify]: Simplify 0 into 0
2.889 * [backup-simplify]: Simplify 0 into 0
2.889 * [backup-simplify]: Simplify 0 into 0
2.894 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
2.894 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.895 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.895 * [backup-simplify]: Simplify (+ 0 0) into 0
2.895 * [taylor]: Taking taylor expansion of 0 in y
2.895 * [backup-simplify]: Simplify 0 into 0
2.895 * [taylor]: Taking taylor expansion of 0 in z
2.895 * [backup-simplify]: Simplify 0 into 0
2.895 * [backup-simplify]: Simplify 0 into 0
2.895 * [taylor]: Taking taylor expansion of 0 in z
2.895 * [backup-simplify]: Simplify 0 into 0
2.895 * [backup-simplify]: Simplify 0 into 0
2.896 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 z) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* 1 (* 1 (* 1 (/ 1 (/ 1 x)))))) into (+ (/ (* x y) z) x)
2.896 * [backup-simplify]: Simplify (+ (/ (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) (/ 1 (- x))) into (- (+ (/ z (* x y)) (/ 1 x)))
2.896 * [approximate]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in (x y z) around 0
2.896 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in z
2.896 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in z
2.896 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
2.896 * [taylor]: Taking taylor expansion of z in z
2.896 * [backup-simplify]: Simplify 0 into 0
2.896 * [backup-simplify]: Simplify 1 into 1
2.896 * [taylor]: Taking taylor expansion of (* x y) in z
2.896 * [taylor]: Taking taylor expansion of x in z
2.896 * [backup-simplify]: Simplify x into x
2.896 * [taylor]: Taking taylor expansion of y in z
2.896 * [backup-simplify]: Simplify y into y
2.896 * [backup-simplify]: Simplify (* x y) into (* x y)
2.896 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
2.896 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.896 * [taylor]: Taking taylor expansion of x in z
2.896 * [backup-simplify]: Simplify x into x
2.896 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.896 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in y
2.896 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in y
2.896 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
2.896 * [taylor]: Taking taylor expansion of z in y
2.896 * [backup-simplify]: Simplify z into z
2.896 * [taylor]: Taking taylor expansion of (* x y) in y
2.896 * [taylor]: Taking taylor expansion of x in y
2.896 * [backup-simplify]: Simplify x into x
2.896 * [taylor]: Taking taylor expansion of y in y
2.896 * [backup-simplify]: Simplify 0 into 0
2.896 * [backup-simplify]: Simplify 1 into 1
2.896 * [backup-simplify]: Simplify (* x 0) into 0
2.897 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.897 * [backup-simplify]: Simplify (/ z x) into (/ z x)
2.897 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.897 * [taylor]: Taking taylor expansion of x in y
2.897 * [backup-simplify]: Simplify x into x
2.897 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.897 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in x
2.897 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in x
2.897 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
2.897 * [taylor]: Taking taylor expansion of z in x
2.897 * [backup-simplify]: Simplify z into z
2.897 * [taylor]: Taking taylor expansion of (* x y) in x
2.897 * [taylor]: Taking taylor expansion of x in x
2.897 * [backup-simplify]: Simplify 0 into 0
2.897 * [backup-simplify]: Simplify 1 into 1
2.897 * [taylor]: Taking taylor expansion of y in x
2.897 * [backup-simplify]: Simplify y into y
2.897 * [backup-simplify]: Simplify (* 0 y) into 0
2.897 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.897 * [backup-simplify]: Simplify (/ z y) into (/ z y)
2.897 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.897 * [taylor]: Taking taylor expansion of x in x
2.897 * [backup-simplify]: Simplify 0 into 0
2.897 * [backup-simplify]: Simplify 1 into 1
2.898 * [backup-simplify]: Simplify (/ 1 1) into 1
2.898 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in x
2.898 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in x
2.898 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
2.898 * [taylor]: Taking taylor expansion of z in x
2.898 * [backup-simplify]: Simplify z into z
2.898 * [taylor]: Taking taylor expansion of (* x y) in x
2.898 * [taylor]: Taking taylor expansion of x in x
2.898 * [backup-simplify]: Simplify 0 into 0
2.898 * [backup-simplify]: Simplify 1 into 1
2.898 * [taylor]: Taking taylor expansion of y in x
2.898 * [backup-simplify]: Simplify y into y
2.898 * [backup-simplify]: Simplify (* 0 y) into 0
2.898 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.898 * [backup-simplify]: Simplify (/ z y) into (/ z y)
2.898 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.898 * [taylor]: Taking taylor expansion of x in x
2.898 * [backup-simplify]: Simplify 0 into 0
2.898 * [backup-simplify]: Simplify 1 into 1
2.898 * [backup-simplify]: Simplify (/ 1 1) into 1
2.899 * [backup-simplify]: Simplify (+ (/ z y) 1) into (+ (/ z y) 1)
2.899 * [backup-simplify]: Simplify (- (+ (/ z y) 1)) into (- (+ (/ z y) 1))
2.899 * [taylor]: Taking taylor expansion of (- (+ (/ z y) 1)) in y
2.899 * [taylor]: Taking taylor expansion of (+ (/ z y) 1) in y
2.899 * [taylor]: Taking taylor expansion of (/ z y) in y
2.899 * [taylor]: Taking taylor expansion of z in y
2.899 * [backup-simplify]: Simplify z into z
2.899 * [taylor]: Taking taylor expansion of y in y
2.899 * [backup-simplify]: Simplify 0 into 0
2.899 * [backup-simplify]: Simplify 1 into 1
2.899 * [backup-simplify]: Simplify (/ z 1) into z
2.899 * [taylor]: Taking taylor expansion of 1 in y
2.899 * [backup-simplify]: Simplify 1 into 1
2.899 * [backup-simplify]: Simplify (+ z 0) into z
2.899 * [backup-simplify]: Simplify (- z) into (- z)
2.899 * [taylor]: Taking taylor expansion of (- z) in z
2.899 * [taylor]: Taking taylor expansion of z in z
2.899 * [backup-simplify]: Simplify 0 into 0
2.899 * [backup-simplify]: Simplify 1 into 1
2.900 * [backup-simplify]: Simplify (- 0) into 0
2.900 * [backup-simplify]: Simplify 0 into 0
2.901 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
2.901 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
2.901 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.902 * [backup-simplify]: Simplify (+ 0 0) into 0
2.902 * [backup-simplify]: Simplify (- 0) into 0
2.902 * [taylor]: Taking taylor expansion of 0 in y
2.902 * [backup-simplify]: Simplify 0 into 0
2.903 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
2.903 * [backup-simplify]: Simplify (+ 0 1) into 1
2.904 * [backup-simplify]: Simplify (- 1) into -1
2.904 * [taylor]: Taking taylor expansion of -1 in z
2.904 * [backup-simplify]: Simplify -1 into -1
2.904 * [backup-simplify]: Simplify -1 into -1
2.904 * [backup-simplify]: Simplify (- 1) into -1
2.904 * [backup-simplify]: Simplify -1 into -1
2.905 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
2.905 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.906 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.906 * [backup-simplify]: Simplify (+ 0 0) into 0
2.907 * [backup-simplify]: Simplify (- 0) into 0
2.907 * [taylor]: Taking taylor expansion of 0 in y
2.907 * [backup-simplify]: Simplify 0 into 0
2.907 * [taylor]: Taking taylor expansion of 0 in z
2.907 * [backup-simplify]: Simplify 0 into 0
2.907 * [backup-simplify]: Simplify 0 into 0
2.908 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.908 * [backup-simplify]: Simplify (+ 0 0) into 0
2.909 * [backup-simplify]: Simplify (- 0) into 0
2.909 * [taylor]: Taking taylor expansion of 0 in z
2.909 * [backup-simplify]: Simplify 0 into 0
2.909 * [backup-simplify]: Simplify 0 into 0
2.909 * [backup-simplify]: Simplify 0 into 0
2.909 * [backup-simplify]: Simplify (- 0) into 0
2.909 * [backup-simplify]: Simplify 0 into 0
2.910 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
2.911 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.911 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.912 * [backup-simplify]: Simplify (+ 0 0) into 0
2.912 * [backup-simplify]: Simplify (- 0) into 0
2.912 * [taylor]: Taking taylor expansion of 0 in y
2.912 * [backup-simplify]: Simplify 0 into 0
2.912 * [taylor]: Taking taylor expansion of 0 in z
2.912 * [backup-simplify]: Simplify 0 into 0
2.912 * [backup-simplify]: Simplify 0 into 0
2.912 * [taylor]: Taking taylor expansion of 0 in z
2.912 * [backup-simplify]: Simplify 0 into 0
2.912 * [backup-simplify]: Simplify 0 into 0
2.913 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* -1 (* 1 (* 1 (/ 1 (/ 1 (- x))))))) into (+ (/ (* x y) z) x)
2.913 * * * [progress]: simplifying candidates
2.914 * [simplify]: Simplifying:
  (- (+ (log x) (log y)) (log z))
  (- (log (* x y)) (log z))
  (log (/ (* x y) z))
  (exp (/ (* x y) z))
  (/ (* (* (* x x) x) (* (* y y) y)) (* (* z z) z))
  (/ (* (* (* x y) (* x y)) (* x y)) (* (* z z) z))
  (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z)))
  (cbrt (/ (* x y) z))
  (* (* (/ (* x y) z) (/ (* x y) z)) (/ (* x y) z))
  (sqrt (/ (* x y) z))
  (sqrt (/ (* x y) z))
  (- (* x y))
  (- z)
  (/ x (* (cbrt z) (cbrt z)))
  (/ y (cbrt z))
  (/ x (sqrt z))
  (/ y (sqrt z))
  (/ x 1)
  (/ y z)
  (/ 1 z)
  (/ z (* x y))
  (/ (* x y) (* (cbrt z) (cbrt z)))
  (/ (* x y) (sqrt z))
  (/ (* x y) 1)
  (/ z y)
  (* (exp (/ (* x y) z)) (exp x))
  (log (+ (/ (* x y) z) x))
  (exp (+ (/ (* x y) z) x))
  (* (cbrt (+ (/ (* x y) z) x)) (cbrt (+ (/ (* x y) z) x)))
  (cbrt (+ (/ (* x y) z) x))
  (* (* (+ (/ (* x y) z) x) (+ (/ (* x y) z) x)) (+ (/ (* x y) z) x))
  (sqrt (+ (/ (* x y) z) x))
  (sqrt (+ (/ (* x y) z) x))
  (+ (pow (/ (* x y) z) 3) (pow x 3))
  (+ (* (/ (* x y) z) (/ (* x y) z)) (- (* x x) (* (/ (* x y) z) x)))
  (- (* (/ (* x y) z) (/ (* x y) z)) (* x x))
  (- (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
2.915 * * [simplify]: Extracting # 0 : cost  0
2.915 * * [simplify]: Extracting # 1 : cost  0
2.915 * * [simplify]: Extracting # 2 : cost  0
2.915 * * [simplify]: Extracting # 3 : cost  0
2.915 * * [simplify]: Extracting # 4 : cost  0
2.916 * * [simplify]: Extracting # 5 : cost  0
2.916 * * [simplify]: Extracting # 6 : cost  0
2.916 * * [simplify]: iteration  0 :  67  enodes  (cost  359 )
2.947 * * [simplify]: Extracting # 0 : cost  0
2.947 * * [simplify]: Extracting # 1 : cost  0
2.947 * * [simplify]: Extracting # 2 : cost  0
2.947 * * [simplify]: Extracting # 3 : cost  0
2.948 * * [simplify]: Extracting # 4 : cost  0
2.948 * * [simplify]: iteration  1 :  183  enodes  (cost  337 )
3.014 * * [simplify]: Extracting # 0 : cost  0
3.016 * * [simplify]: Extracting # 1 : cost  0
3.018 * * [simplify]: Extracting # 2 : cost  0
3.020 * * [simplify]: Extracting # 3 : cost  0
3.022 * * [simplify]: Extracting # 4 : cost  0
3.024 * * [simplify]: iteration  2 :  916  enodes  (cost  305 )
3.706 * * [simplify]: Extracting # 0 : cost  0
3.720 * * [simplify]: Extracting # 1 : cost  0
3.731 * * [simplify]: Extracting # 2 : cost  0
3.739 * * [simplify]: Extracting # 3 : cost  0
3.757 * * [simplify]: Extracting # 4 : cost  0
3.764 * * [simplify]: Extracting # 5 : cost  0
3.771 * * [simplify]: iteration done:  5001  enodes  (cost  301 )
3.771 * [simplify]: Simplified to:
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (exp (/ (* x y) z))
  (pow (/ (* x y) z) 3)
  (pow (/ (* x y) z) 3)
  (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z)))
  (cbrt (/ (* x y) z))
  (pow (/ (* x y) z) 3)
  (sqrt (/ (* x y) z))
  (sqrt (/ (* x y) z))
  (- (* x y))
  (- z)
  (/ x (* (cbrt z) (cbrt z)))
  (/ y (cbrt z))
  (/ x (sqrt z))
  (/ y (sqrt z))
  x
  (/ y z)
  (/ 1 z)
  (/ z (* x y))
  (/ (* x y) (* (cbrt z) (cbrt z)))
  (/ (* x y) (sqrt z))
  (* x y)
  (/ z y)
  (exp (+ (/ (* x y) z) x))
  (log (+ (/ (* x y) z) x))
  (exp (+ (/ (* x y) z) x))
  (* (cbrt (+ (/ (* x y) z) x)) (cbrt (+ (/ (* x y) z) x)))
  (cbrt (+ (/ (* x y) z) x))
  (pow (+ (/ (* x y) z) x) 3)
  (sqrt (+ (/ (* x y) z) x))
  (sqrt (+ (/ (* x y) z) x))
  (+ (pow (/ (* x y) z) 3) (pow x 3))
  (- (* x x) (* (/ (* x y) z) (- x (/ (* x y) z))))
  (- (* (/ (* x y) z) (/ (* x y) z)) (* x x))
  (- (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
3.772 * * * [progress]: adding candidates to table
3.858 * * [progress]: iteration 3 / 4
3.858 * * * [progress]: picking best candidate
3.866 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (/ 1 (/ z (* x y))) x))>
3.866 * * * [progress]: localizing error
3.874 * * * [progress]: generating rewritten candidates
3.874 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2)
3.893 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
3.922 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
3.998 * * * [progress]: generating series expansions
3.998 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2)
3.998 * [backup-simplify]: Simplify (/ z (* x y)) into (/ z (* x y))
3.998 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (z x y) around 0
3.998 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
3.998 * [taylor]: Taking taylor expansion of z in y
3.998 * [backup-simplify]: Simplify z into z
3.998 * [taylor]: Taking taylor expansion of (* x y) in y
3.998 * [taylor]: Taking taylor expansion of x in y
3.998 * [backup-simplify]: Simplify x into x
3.998 * [taylor]: Taking taylor expansion of y in y
3.998 * [backup-simplify]: Simplify 0 into 0
3.998 * [backup-simplify]: Simplify 1 into 1
3.998 * [backup-simplify]: Simplify (* x 0) into 0
3.999 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
3.999 * [backup-simplify]: Simplify (/ z x) into (/ z x)
3.999 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
3.999 * [taylor]: Taking taylor expansion of z in x
3.999 * [backup-simplify]: Simplify z into z
3.999 * [taylor]: Taking taylor expansion of (* x y) in x
3.999 * [taylor]: Taking taylor expansion of x in x
3.999 * [backup-simplify]: Simplify 0 into 0
3.999 * [backup-simplify]: Simplify 1 into 1
3.999 * [taylor]: Taking taylor expansion of y in x
3.999 * [backup-simplify]: Simplify y into y
3.999 * [backup-simplify]: Simplify (* 0 y) into 0
4.000 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.000 * [backup-simplify]: Simplify (/ z y) into (/ z y)
4.000 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
4.000 * [taylor]: Taking taylor expansion of z in z
4.000 * [backup-simplify]: Simplify 0 into 0
4.000 * [backup-simplify]: Simplify 1 into 1
4.000 * [taylor]: Taking taylor expansion of (* x y) in z
4.000 * [taylor]: Taking taylor expansion of x in z
4.000 * [backup-simplify]: Simplify x into x
4.000 * [taylor]: Taking taylor expansion of y in z
4.000 * [backup-simplify]: Simplify y into y
4.000 * [backup-simplify]: Simplify (* x y) into (* x y)
4.000 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
4.000 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
4.000 * [taylor]: Taking taylor expansion of z in z
4.000 * [backup-simplify]: Simplify 0 into 0
4.000 * [backup-simplify]: Simplify 1 into 1
4.000 * [taylor]: Taking taylor expansion of (* x y) in z
4.000 * [taylor]: Taking taylor expansion of x in z
4.000 * [backup-simplify]: Simplify x into x
4.000 * [taylor]: Taking taylor expansion of y in z
4.000 * [backup-simplify]: Simplify y into y
4.000 * [backup-simplify]: Simplify (* x y) into (* x y)
4.000 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
4.001 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.001 * [taylor]: Taking taylor expansion of (* x y) in x
4.001 * [taylor]: Taking taylor expansion of x in x
4.001 * [backup-simplify]: Simplify 0 into 0
4.001 * [backup-simplify]: Simplify 1 into 1
4.001 * [taylor]: Taking taylor expansion of y in x
4.001 * [backup-simplify]: Simplify y into y
4.001 * [backup-simplify]: Simplify (* 0 y) into 0
4.001 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.001 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.001 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.001 * [taylor]: Taking taylor expansion of y in y
4.001 * [backup-simplify]: Simplify 0 into 0
4.001 * [backup-simplify]: Simplify 1 into 1
4.006 * [backup-simplify]: Simplify (/ 1 1) into 1
4.006 * [backup-simplify]: Simplify 1 into 1
4.006 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
4.006 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
4.006 * [taylor]: Taking taylor expansion of 0 in x
4.006 * [backup-simplify]: Simplify 0 into 0
4.007 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.007 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.007 * [taylor]: Taking taylor expansion of 0 in y
4.007 * [backup-simplify]: Simplify 0 into 0
4.008 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.008 * [backup-simplify]: Simplify 0 into 0
4.009 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
4.009 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
4.009 * [taylor]: Taking taylor expansion of 0 in x
4.009 * [backup-simplify]: Simplify 0 into 0
4.009 * [taylor]: Taking taylor expansion of 0 in y
4.009 * [backup-simplify]: Simplify 0 into 0
4.010 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.011 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.011 * [taylor]: Taking taylor expansion of 0 in y
4.011 * [backup-simplify]: Simplify 0 into 0
4.011 * [backup-simplify]: Simplify 0 into 0
4.012 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.012 * [backup-simplify]: Simplify 0 into 0
4.012 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
4.013 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
4.013 * [taylor]: Taking taylor expansion of 0 in x
4.013 * [backup-simplify]: Simplify 0 into 0
4.013 * [taylor]: Taking taylor expansion of 0 in y
4.013 * [backup-simplify]: Simplify 0 into 0
4.013 * [taylor]: Taking taylor expansion of 0 in y
4.013 * [backup-simplify]: Simplify 0 into 0
4.014 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.015 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.015 * [taylor]: Taking taylor expansion of 0 in y
4.015 * [backup-simplify]: Simplify 0 into 0
4.015 * [backup-simplify]: Simplify 0 into 0
4.015 * [backup-simplify]: Simplify 0 into 0
4.015 * [backup-simplify]: Simplify 0 into 0
4.015 * [backup-simplify]: Simplify (* 1 (* (/ 1 y) (* (/ 1 x) z))) into (/ z (* x y))
4.015 * [backup-simplify]: Simplify (/ (/ 1 z) (* (/ 1 x) (/ 1 y))) into (/ (* x y) z)
4.015 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (z x y) around 0
4.015 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
4.015 * [taylor]: Taking taylor expansion of (* x y) in y
4.015 * [taylor]: Taking taylor expansion of x in y
4.015 * [backup-simplify]: Simplify x into x
4.015 * [taylor]: Taking taylor expansion of y in y
4.015 * [backup-simplify]: Simplify 0 into 0
4.015 * [backup-simplify]: Simplify 1 into 1
4.015 * [taylor]: Taking taylor expansion of z in y
4.015 * [backup-simplify]: Simplify z into z
4.015 * [backup-simplify]: Simplify (* x 0) into 0
4.015 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.015 * [backup-simplify]: Simplify (/ x z) into (/ x z)
4.015 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
4.015 * [taylor]: Taking taylor expansion of (* x y) in x
4.015 * [taylor]: Taking taylor expansion of x in x
4.015 * [backup-simplify]: Simplify 0 into 0
4.015 * [backup-simplify]: Simplify 1 into 1
4.015 * [taylor]: Taking taylor expansion of y in x
4.016 * [backup-simplify]: Simplify y into y
4.016 * [taylor]: Taking taylor expansion of z in x
4.016 * [backup-simplify]: Simplify z into z
4.016 * [backup-simplify]: Simplify (* 0 y) into 0
4.016 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.016 * [backup-simplify]: Simplify (/ y z) into (/ y z)
4.016 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
4.016 * [taylor]: Taking taylor expansion of (* x y) in z
4.016 * [taylor]: Taking taylor expansion of x in z
4.016 * [backup-simplify]: Simplify x into x
4.016 * [taylor]: Taking taylor expansion of y in z
4.016 * [backup-simplify]: Simplify y into y
4.016 * [taylor]: Taking taylor expansion of z in z
4.016 * [backup-simplify]: Simplify 0 into 0
4.016 * [backup-simplify]: Simplify 1 into 1
4.016 * [backup-simplify]: Simplify (* x y) into (* x y)
4.016 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
4.016 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
4.016 * [taylor]: Taking taylor expansion of (* x y) in z
4.016 * [taylor]: Taking taylor expansion of x in z
4.016 * [backup-simplify]: Simplify x into x
4.016 * [taylor]: Taking taylor expansion of y in z
4.016 * [backup-simplify]: Simplify y into y
4.016 * [taylor]: Taking taylor expansion of z in z
4.016 * [backup-simplify]: Simplify 0 into 0
4.016 * [backup-simplify]: Simplify 1 into 1
4.017 * [backup-simplify]: Simplify (* x y) into (* x y)
4.017 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
4.017 * [taylor]: Taking taylor expansion of (* x y) in x
4.017 * [taylor]: Taking taylor expansion of x in x
4.017 * [backup-simplify]: Simplify 0 into 0
4.017 * [backup-simplify]: Simplify 1 into 1
4.017 * [taylor]: Taking taylor expansion of y in x
4.017 * [backup-simplify]: Simplify y into y
4.017 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.017 * [taylor]: Taking taylor expansion of y in y
4.017 * [backup-simplify]: Simplify 0 into 0
4.017 * [backup-simplify]: Simplify 1 into 1
4.017 * [backup-simplify]: Simplify 1 into 1
4.017 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
4.018 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0
4.018 * [taylor]: Taking taylor expansion of 0 in x
4.018 * [backup-simplify]: Simplify 0 into 0
4.018 * [taylor]: Taking taylor expansion of 0 in y
4.018 * [backup-simplify]: Simplify 0 into 0
4.018 * [backup-simplify]: Simplify 0 into 0
4.018 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.018 * [taylor]: Taking taylor expansion of 0 in y
4.018 * [backup-simplify]: Simplify 0 into 0
4.018 * [backup-simplify]: Simplify 0 into 0
4.018 * [backup-simplify]: Simplify 0 into 0
4.019 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
4.020 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.020 * [taylor]: Taking taylor expansion of 0 in x
4.020 * [backup-simplify]: Simplify 0 into 0
4.020 * [taylor]: Taking taylor expansion of 0 in y
4.020 * [backup-simplify]: Simplify 0 into 0
4.020 * [backup-simplify]: Simplify 0 into 0
4.020 * [taylor]: Taking taylor expansion of 0 in y
4.020 * [backup-simplify]: Simplify 0 into 0
4.020 * [backup-simplify]: Simplify 0 into 0
4.020 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.020 * [taylor]: Taking taylor expansion of 0 in y
4.020 * [backup-simplify]: Simplify 0 into 0
4.020 * [backup-simplify]: Simplify 0 into 0
4.021 * [backup-simplify]: Simplify (* 1 (* (/ 1 y) (* (/ 1 x) (/ 1 (/ 1 z))))) into (/ z (* x y))
4.021 * [backup-simplify]: Simplify (/ (/ 1 (- z)) (* (/ 1 (- x)) (/ 1 (- y)))) into (* -1 (/ (* x y) z))
4.021 * [approximate]: Taking taylor expansion of (* -1 (/ (* x y) z)) in (z x y) around 0
4.021 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in y
4.021 * [taylor]: Taking taylor expansion of -1 in y
4.021 * [backup-simplify]: Simplify -1 into -1
4.021 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
4.021 * [taylor]: Taking taylor expansion of (* x y) in y
4.021 * [taylor]: Taking taylor expansion of x in y
4.021 * [backup-simplify]: Simplify x into x
4.021 * [taylor]: Taking taylor expansion of y in y
4.021 * [backup-simplify]: Simplify 0 into 0
4.021 * [backup-simplify]: Simplify 1 into 1
4.021 * [taylor]: Taking taylor expansion of z in y
4.021 * [backup-simplify]: Simplify z into z
4.021 * [backup-simplify]: Simplify (* x 0) into 0
4.021 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.021 * [backup-simplify]: Simplify (/ x z) into (/ x z)
4.021 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in x
4.021 * [taylor]: Taking taylor expansion of -1 in x
4.021 * [backup-simplify]: Simplify -1 into -1
4.021 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
4.021 * [taylor]: Taking taylor expansion of (* x y) in x
4.021 * [taylor]: Taking taylor expansion of x in x
4.021 * [backup-simplify]: Simplify 0 into 0
4.021 * [backup-simplify]: Simplify 1 into 1
4.021 * [taylor]: Taking taylor expansion of y in x
4.021 * [backup-simplify]: Simplify y into y
4.021 * [taylor]: Taking taylor expansion of z in x
4.021 * [backup-simplify]: Simplify z into z
4.021 * [backup-simplify]: Simplify (* 0 y) into 0
4.022 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.022 * [backup-simplify]: Simplify (/ y z) into (/ y z)
4.022 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z
4.022 * [taylor]: Taking taylor expansion of -1 in z
4.022 * [backup-simplify]: Simplify -1 into -1
4.022 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
4.022 * [taylor]: Taking taylor expansion of (* x y) in z
4.022 * [taylor]: Taking taylor expansion of x in z
4.022 * [backup-simplify]: Simplify x into x
4.022 * [taylor]: Taking taylor expansion of y in z
4.022 * [backup-simplify]: Simplify y into y
4.022 * [taylor]: Taking taylor expansion of z in z
4.022 * [backup-simplify]: Simplify 0 into 0
4.022 * [backup-simplify]: Simplify 1 into 1
4.022 * [backup-simplify]: Simplify (* x y) into (* x y)
4.022 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
4.022 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z
4.022 * [taylor]: Taking taylor expansion of -1 in z
4.022 * [backup-simplify]: Simplify -1 into -1
4.022 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
4.022 * [taylor]: Taking taylor expansion of (* x y) in z
4.022 * [taylor]: Taking taylor expansion of x in z
4.022 * [backup-simplify]: Simplify x into x
4.022 * [taylor]: Taking taylor expansion of y in z
4.022 * [backup-simplify]: Simplify y into y
4.022 * [taylor]: Taking taylor expansion of z in z
4.022 * [backup-simplify]: Simplify 0 into 0
4.022 * [backup-simplify]: Simplify 1 into 1
4.022 * [backup-simplify]: Simplify (* x y) into (* x y)
4.022 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
4.022 * [backup-simplify]: Simplify (* -1 (* x y)) into (* -1 (* x y))
4.022 * [taylor]: Taking taylor expansion of (* -1 (* x y)) in x
4.022 * [taylor]: Taking taylor expansion of -1 in x
4.022 * [backup-simplify]: Simplify -1 into -1
4.022 * [taylor]: Taking taylor expansion of (* x y) in x
4.023 * [taylor]: Taking taylor expansion of x in x
4.023 * [backup-simplify]: Simplify 0 into 0
4.023 * [backup-simplify]: Simplify 1 into 1
4.023 * [taylor]: Taking taylor expansion of y in x
4.023 * [backup-simplify]: Simplify y into y
4.023 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.023 * [backup-simplify]: Simplify (* 0 y) into 0
4.023 * [backup-simplify]: Simplify (+ (* -1 y) (* 0 0)) into (- y)
4.023 * [taylor]: Taking taylor expansion of (- y) in y
4.023 * [taylor]: Taking taylor expansion of y in y
4.023 * [backup-simplify]: Simplify 0 into 0
4.023 * [backup-simplify]: Simplify 1 into 1
4.023 * [backup-simplify]: Simplify (- 1) into -1
4.023 * [backup-simplify]: Simplify -1 into -1
4.024 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
4.024 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0
4.024 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (* x y))) into 0
4.024 * [taylor]: Taking taylor expansion of 0 in x
4.024 * [backup-simplify]: Simplify 0 into 0
4.024 * [taylor]: Taking taylor expansion of 0 in y
4.024 * [backup-simplify]: Simplify 0 into 0
4.025 * [backup-simplify]: Simplify 0 into 0
4.025 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.026 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 y) (* 0 0))) into 0
4.026 * [taylor]: Taking taylor expansion of 0 in y
4.026 * [backup-simplify]: Simplify 0 into 0
4.026 * [backup-simplify]: Simplify 0 into 0
4.026 * [backup-simplify]: Simplify (- 0) into 0
4.026 * [backup-simplify]: Simplify 0 into 0
4.026 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
4.027 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.027 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (* x y)))) into 0
4.027 * [taylor]: Taking taylor expansion of 0 in x
4.028 * [backup-simplify]: Simplify 0 into 0
4.028 * [taylor]: Taking taylor expansion of 0 in y
4.028 * [backup-simplify]: Simplify 0 into 0
4.028 * [backup-simplify]: Simplify 0 into 0
4.028 * [taylor]: Taking taylor expansion of 0 in y
4.028 * [backup-simplify]: Simplify 0 into 0
4.028 * [backup-simplify]: Simplify 0 into 0
4.028 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.029 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0
4.029 * [taylor]: Taking taylor expansion of 0 in y
4.029 * [backup-simplify]: Simplify 0 into 0
4.029 * [backup-simplify]: Simplify 0 into 0
4.029 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- y)) (* (/ 1 (- x)) (/ 1 (/ 1 (- z)))))) into (/ z (* x y))
4.029 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
4.029 * [backup-simplify]: Simplify (/ 1 (/ z (* x y))) into (/ (* x y) z)
4.029 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (z x y) around 0
4.029 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
4.029 * [taylor]: Taking taylor expansion of (* x y) in y
4.029 * [taylor]: Taking taylor expansion of x in y
4.029 * [backup-simplify]: Simplify x into x
4.029 * [taylor]: Taking taylor expansion of y in y
4.030 * [backup-simplify]: Simplify 0 into 0
4.030 * [backup-simplify]: Simplify 1 into 1
4.030 * [taylor]: Taking taylor expansion of z in y
4.030 * [backup-simplify]: Simplify z into z
4.030 * [backup-simplify]: Simplify (* x 0) into 0
4.030 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.030 * [backup-simplify]: Simplify (/ x z) into (/ x z)
4.030 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
4.030 * [taylor]: Taking taylor expansion of (* x y) in x
4.030 * [taylor]: Taking taylor expansion of x in x
4.030 * [backup-simplify]: Simplify 0 into 0
4.030 * [backup-simplify]: Simplify 1 into 1
4.030 * [taylor]: Taking taylor expansion of y in x
4.030 * [backup-simplify]: Simplify y into y
4.030 * [taylor]: Taking taylor expansion of z in x
4.030 * [backup-simplify]: Simplify z into z
4.030 * [backup-simplify]: Simplify (* 0 y) into 0
4.030 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.030 * [backup-simplify]: Simplify (/ y z) into (/ y z)
4.030 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
4.030 * [taylor]: Taking taylor expansion of (* x y) in z
4.030 * [taylor]: Taking taylor expansion of x in z
4.030 * [backup-simplify]: Simplify x into x
4.030 * [taylor]: Taking taylor expansion of y in z
4.030 * [backup-simplify]: Simplify y into y
4.030 * [taylor]: Taking taylor expansion of z in z
4.031 * [backup-simplify]: Simplify 0 into 0
4.031 * [backup-simplify]: Simplify 1 into 1
4.031 * [backup-simplify]: Simplify (* x y) into (* x y)
4.031 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
4.031 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
4.031 * [taylor]: Taking taylor expansion of (* x y) in z
4.031 * [taylor]: Taking taylor expansion of x in z
4.031 * [backup-simplify]: Simplify x into x
4.031 * [taylor]: Taking taylor expansion of y in z
4.031 * [backup-simplify]: Simplify y into y
4.031 * [taylor]: Taking taylor expansion of z in z
4.031 * [backup-simplify]: Simplify 0 into 0
4.031 * [backup-simplify]: Simplify 1 into 1
4.031 * [backup-simplify]: Simplify (* x y) into (* x y)
4.031 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
4.031 * [taylor]: Taking taylor expansion of (* x y) in x
4.031 * [taylor]: Taking taylor expansion of x in x
4.031 * [backup-simplify]: Simplify 0 into 0
4.031 * [backup-simplify]: Simplify 1 into 1
4.031 * [taylor]: Taking taylor expansion of y in x
4.031 * [backup-simplify]: Simplify y into y
4.031 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.031 * [taylor]: Taking taylor expansion of y in y
4.031 * [backup-simplify]: Simplify 0 into 0
4.031 * [backup-simplify]: Simplify 1 into 1
4.031 * [backup-simplify]: Simplify 1 into 1
4.031 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
4.032 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0
4.032 * [taylor]: Taking taylor expansion of 0 in x
4.032 * [backup-simplify]: Simplify 0 into 0
4.032 * [taylor]: Taking taylor expansion of 0 in y
4.032 * [backup-simplify]: Simplify 0 into 0
4.032 * [backup-simplify]: Simplify 0 into 0
4.033 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.033 * [taylor]: Taking taylor expansion of 0 in y
4.033 * [backup-simplify]: Simplify 0 into 0
4.033 * [backup-simplify]: Simplify 0 into 0
4.033 * [backup-simplify]: Simplify 0 into 0
4.033 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
4.034 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.034 * [taylor]: Taking taylor expansion of 0 in x
4.034 * [backup-simplify]: Simplify 0 into 0
4.034 * [taylor]: Taking taylor expansion of 0 in y
4.034 * [backup-simplify]: Simplify 0 into 0
4.034 * [backup-simplify]: Simplify 0 into 0
4.034 * [taylor]: Taking taylor expansion of 0 in y
4.034 * [backup-simplify]: Simplify 0 into 0
4.034 * [backup-simplify]: Simplify 0 into 0
4.035 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.035 * [taylor]: Taking taylor expansion of 0 in y
4.035 * [backup-simplify]: Simplify 0 into 0
4.035 * [backup-simplify]: Simplify 0 into 0
4.035 * [backup-simplify]: Simplify (* 1 (* y (* x (/ 1 z)))) into (/ (* x y) z)
4.035 * [backup-simplify]: Simplify (/ 1 (/ (/ 1 z) (* (/ 1 x) (/ 1 y)))) into (/ z (* x y))
4.035 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (z x y) around 0
4.035 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
4.035 * [taylor]: Taking taylor expansion of z in y
4.035 * [backup-simplify]: Simplify z into z
4.035 * [taylor]: Taking taylor expansion of (* x y) in y
4.035 * [taylor]: Taking taylor expansion of x in y
4.035 * [backup-simplify]: Simplify x into x
4.035 * [taylor]: Taking taylor expansion of y in y
4.035 * [backup-simplify]: Simplify 0 into 0
4.035 * [backup-simplify]: Simplify 1 into 1
4.035 * [backup-simplify]: Simplify (* x 0) into 0
4.035 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.036 * [backup-simplify]: Simplify (/ z x) into (/ z x)
4.036 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
4.036 * [taylor]: Taking taylor expansion of z in x
4.036 * [backup-simplify]: Simplify z into z
4.036 * [taylor]: Taking taylor expansion of (* x y) in x
4.036 * [taylor]: Taking taylor expansion of x in x
4.036 * [backup-simplify]: Simplify 0 into 0
4.036 * [backup-simplify]: Simplify 1 into 1
4.036 * [taylor]: Taking taylor expansion of y in x
4.036 * [backup-simplify]: Simplify y into y
4.036 * [backup-simplify]: Simplify (* 0 y) into 0
4.036 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.036 * [backup-simplify]: Simplify (/ z y) into (/ z y)
4.036 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
4.036 * [taylor]: Taking taylor expansion of z in z
4.036 * [backup-simplify]: Simplify 0 into 0
4.036 * [backup-simplify]: Simplify 1 into 1
4.036 * [taylor]: Taking taylor expansion of (* x y) in z
4.036 * [taylor]: Taking taylor expansion of x in z
4.036 * [backup-simplify]: Simplify x into x
4.036 * [taylor]: Taking taylor expansion of y in z
4.036 * [backup-simplify]: Simplify y into y
4.036 * [backup-simplify]: Simplify (* x y) into (* x y)
4.036 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
4.036 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
4.036 * [taylor]: Taking taylor expansion of z in z
4.036 * [backup-simplify]: Simplify 0 into 0
4.036 * [backup-simplify]: Simplify 1 into 1
4.036 * [taylor]: Taking taylor expansion of (* x y) in z
4.036 * [taylor]: Taking taylor expansion of x in z
4.036 * [backup-simplify]: Simplify x into x
4.036 * [taylor]: Taking taylor expansion of y in z
4.036 * [backup-simplify]: Simplify y into y
4.036 * [backup-simplify]: Simplify (* x y) into (* x y)
4.036 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
4.037 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.037 * [taylor]: Taking taylor expansion of (* x y) in x
4.037 * [taylor]: Taking taylor expansion of x in x
4.037 * [backup-simplify]: Simplify 0 into 0
4.037 * [backup-simplify]: Simplify 1 into 1
4.037 * [taylor]: Taking taylor expansion of y in x
4.037 * [backup-simplify]: Simplify y into y
4.037 * [backup-simplify]: Simplify (* 0 y) into 0
4.037 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.037 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.037 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.037 * [taylor]: Taking taylor expansion of y in y
4.037 * [backup-simplify]: Simplify 0 into 0
4.037 * [backup-simplify]: Simplify 1 into 1
4.037 * [backup-simplify]: Simplify (/ 1 1) into 1
4.037 * [backup-simplify]: Simplify 1 into 1
4.037 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
4.038 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
4.038 * [taylor]: Taking taylor expansion of 0 in x
4.038 * [backup-simplify]: Simplify 0 into 0
4.038 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.038 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.038 * [taylor]: Taking taylor expansion of 0 in y
4.038 * [backup-simplify]: Simplify 0 into 0
4.039 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.039 * [backup-simplify]: Simplify 0 into 0
4.039 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
4.039 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
4.039 * [taylor]: Taking taylor expansion of 0 in x
4.039 * [backup-simplify]: Simplify 0 into 0
4.039 * [taylor]: Taking taylor expansion of 0 in y
4.039 * [backup-simplify]: Simplify 0 into 0
4.040 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.040 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.040 * [taylor]: Taking taylor expansion of 0 in y
4.040 * [backup-simplify]: Simplify 0 into 0
4.040 * [backup-simplify]: Simplify 0 into 0
4.041 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.041 * [backup-simplify]: Simplify 0 into 0
4.041 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
4.042 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
4.042 * [taylor]: Taking taylor expansion of 0 in x
4.042 * [backup-simplify]: Simplify 0 into 0
4.042 * [taylor]: Taking taylor expansion of 0 in y
4.042 * [backup-simplify]: Simplify 0 into 0
4.042 * [taylor]: Taking taylor expansion of 0 in y
4.042 * [backup-simplify]: Simplify 0 into 0
4.043 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.043 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.043 * [taylor]: Taking taylor expansion of 0 in y
4.044 * [backup-simplify]: Simplify 0 into 0
4.044 * [backup-simplify]: Simplify 0 into 0
4.044 * [backup-simplify]: Simplify 0 into 0
4.044 * [backup-simplify]: Simplify 0 into 0
4.044 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) (/ 1 z)))) into (/ (* x y) z)
4.044 * [backup-simplify]: Simplify (/ 1 (/ (/ 1 (- z)) (* (/ 1 (- x)) (/ 1 (- y))))) into (* -1 (/ z (* x y)))
4.044 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (z x y) around 0
4.044 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
4.044 * [taylor]: Taking taylor expansion of -1 in y
4.044 * [backup-simplify]: Simplify -1 into -1
4.044 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
4.044 * [taylor]: Taking taylor expansion of z in y
4.044 * [backup-simplify]: Simplify z into z
4.044 * [taylor]: Taking taylor expansion of (* x y) in y
4.044 * [taylor]: Taking taylor expansion of x in y
4.044 * [backup-simplify]: Simplify x into x
4.044 * [taylor]: Taking taylor expansion of y in y
4.045 * [backup-simplify]: Simplify 0 into 0
4.045 * [backup-simplify]: Simplify 1 into 1
4.045 * [backup-simplify]: Simplify (* x 0) into 0
4.045 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.045 * [backup-simplify]: Simplify (/ z x) into (/ z x)
4.045 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
4.045 * [taylor]: Taking taylor expansion of -1 in x
4.045 * [backup-simplify]: Simplify -1 into -1
4.045 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
4.045 * [taylor]: Taking taylor expansion of z in x
4.045 * [backup-simplify]: Simplify z into z
4.045 * [taylor]: Taking taylor expansion of (* x y) in x
4.045 * [taylor]: Taking taylor expansion of x in x
4.045 * [backup-simplify]: Simplify 0 into 0
4.045 * [backup-simplify]: Simplify 1 into 1
4.045 * [taylor]: Taking taylor expansion of y in x
4.045 * [backup-simplify]: Simplify y into y
4.045 * [backup-simplify]: Simplify (* 0 y) into 0
4.046 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.046 * [backup-simplify]: Simplify (/ z y) into (/ z y)
4.046 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
4.046 * [taylor]: Taking taylor expansion of -1 in z
4.046 * [backup-simplify]: Simplify -1 into -1
4.046 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
4.046 * [taylor]: Taking taylor expansion of z in z
4.046 * [backup-simplify]: Simplify 0 into 0
4.046 * [backup-simplify]: Simplify 1 into 1
4.046 * [taylor]: Taking taylor expansion of (* x y) in z
4.046 * [taylor]: Taking taylor expansion of x in z
4.046 * [backup-simplify]: Simplify x into x
4.046 * [taylor]: Taking taylor expansion of y in z
4.046 * [backup-simplify]: Simplify y into y
4.046 * [backup-simplify]: Simplify (* x y) into (* x y)
4.046 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
4.046 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
4.047 * [taylor]: Taking taylor expansion of -1 in z
4.047 * [backup-simplify]: Simplify -1 into -1
4.047 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
4.047 * [taylor]: Taking taylor expansion of z in z
4.047 * [backup-simplify]: Simplify 0 into 0
4.047 * [backup-simplify]: Simplify 1 into 1
4.047 * [taylor]: Taking taylor expansion of (* x y) in z
4.047 * [taylor]: Taking taylor expansion of x in z
4.047 * [backup-simplify]: Simplify x into x
4.047 * [taylor]: Taking taylor expansion of y in z
4.047 * [backup-simplify]: Simplify y into y
4.047 * [backup-simplify]: Simplify (* x y) into (* x y)
4.047 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
4.047 * [backup-simplify]: Simplify (* -1 (/ 1 (* x y))) into (/ -1 (* x y))
4.047 * [taylor]: Taking taylor expansion of (/ -1 (* x y)) in x
4.047 * [taylor]: Taking taylor expansion of -1 in x
4.047 * [backup-simplify]: Simplify -1 into -1
4.047 * [taylor]: Taking taylor expansion of (* x y) in x
4.047 * [taylor]: Taking taylor expansion of x in x
4.047 * [backup-simplify]: Simplify 0 into 0
4.047 * [backup-simplify]: Simplify 1 into 1
4.047 * [taylor]: Taking taylor expansion of y in x
4.047 * [backup-simplify]: Simplify y into y
4.047 * [backup-simplify]: Simplify (* 0 y) into 0
4.048 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.048 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.048 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.048 * [taylor]: Taking taylor expansion of -1 in y
4.048 * [backup-simplify]: Simplify -1 into -1
4.048 * [taylor]: Taking taylor expansion of y in y
4.048 * [backup-simplify]: Simplify 0 into 0
4.048 * [backup-simplify]: Simplify 1 into 1
4.048 * [backup-simplify]: Simplify (/ -1 1) into -1
4.049 * [backup-simplify]: Simplify -1 into -1
4.049 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
4.049 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
4.049 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (* x y)))) into 0
4.050 * [taylor]: Taking taylor expansion of 0 in x
4.050 * [backup-simplify]: Simplify 0 into 0
4.050 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.050 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
4.050 * [taylor]: Taking taylor expansion of 0 in y
4.051 * [backup-simplify]: Simplify 0 into 0
4.051 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.051 * [backup-simplify]: Simplify 0 into 0
4.052 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
4.052 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
4.053 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (* x y))))) into 0
4.053 * [taylor]: Taking taylor expansion of 0 in x
4.053 * [backup-simplify]: Simplify 0 into 0
4.053 * [taylor]: Taking taylor expansion of 0 in y
4.053 * [backup-simplify]: Simplify 0 into 0
4.054 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.054 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.055 * [taylor]: Taking taylor expansion of 0 in y
4.055 * [backup-simplify]: Simplify 0 into 0
4.055 * [backup-simplify]: Simplify 0 into 0
4.056 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.056 * [backup-simplify]: Simplify 0 into 0
4.056 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
4.057 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
4.058 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* x y)))))) into 0
4.058 * [taylor]: Taking taylor expansion of 0 in x
4.058 * [backup-simplify]: Simplify 0 into 0
4.058 * [taylor]: Taking taylor expansion of 0 in y
4.058 * [backup-simplify]: Simplify 0 into 0
4.058 * [taylor]: Taking taylor expansion of 0 in y
4.058 * [backup-simplify]: Simplify 0 into 0
4.060 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.060 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.060 * [taylor]: Taking taylor expansion of 0 in y
4.060 * [backup-simplify]: Simplify 0 into 0
4.060 * [backup-simplify]: Simplify 0 into 0
4.060 * [backup-simplify]: Simplify 0 into 0
4.060 * [backup-simplify]: Simplify 0 into 0
4.060 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) (/ 1 (- z))))) into (/ (* x y) z)
4.061 * * * * [progress]: [ 3 / 3 ] generating series at (2)
4.061 * [backup-simplify]: Simplify (+ (/ 1 (/ z (* x y))) x) into (+ (/ (* x y) z) x)
4.061 * [approximate]: Taking taylor expansion of (+ (/ (* x y) z) x) in (z x y) around 0
4.061 * [taylor]: Taking taylor expansion of (+ (/ (* x y) z) x) in y
4.061 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
4.061 * [taylor]: Taking taylor expansion of (* x y) in y
4.061 * [taylor]: Taking taylor expansion of x in y
4.061 * [backup-simplify]: Simplify x into x
4.061 * [taylor]: Taking taylor expansion of y in y
4.061 * [backup-simplify]: Simplify 0 into 0
4.061 * [backup-simplify]: Simplify 1 into 1
4.061 * [taylor]: Taking taylor expansion of z in y
4.061 * [backup-simplify]: Simplify z into z
4.061 * [backup-simplify]: Simplify (* x 0) into 0
4.062 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.062 * [backup-simplify]: Simplify (/ x z) into (/ x z)
4.062 * [taylor]: Taking taylor expansion of x in y
4.062 * [backup-simplify]: Simplify x into x
4.062 * [taylor]: Taking taylor expansion of (+ (/ (* x y) z) x) in x
4.062 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
4.062 * [taylor]: Taking taylor expansion of (* x y) in x
4.062 * [taylor]: Taking taylor expansion of x in x
4.062 * [backup-simplify]: Simplify 0 into 0
4.062 * [backup-simplify]: Simplify 1 into 1
4.062 * [taylor]: Taking taylor expansion of y in x
4.062 * [backup-simplify]: Simplify y into y
4.062 * [taylor]: Taking taylor expansion of z in x
4.062 * [backup-simplify]: Simplify z into z
4.062 * [backup-simplify]: Simplify (* 0 y) into 0
4.062 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.063 * [backup-simplify]: Simplify (/ y z) into (/ y z)
4.063 * [taylor]: Taking taylor expansion of x in x
4.063 * [backup-simplify]: Simplify 0 into 0
4.063 * [backup-simplify]: Simplify 1 into 1
4.063 * [taylor]: Taking taylor expansion of (+ (/ (* x y) z) x) in z
4.063 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
4.063 * [taylor]: Taking taylor expansion of (* x y) in z
4.063 * [taylor]: Taking taylor expansion of x in z
4.063 * [backup-simplify]: Simplify x into x
4.063 * [taylor]: Taking taylor expansion of y in z
4.063 * [backup-simplify]: Simplify y into y
4.063 * [taylor]: Taking taylor expansion of z in z
4.063 * [backup-simplify]: Simplify 0 into 0
4.063 * [backup-simplify]: Simplify 1 into 1
4.063 * [backup-simplify]: Simplify (* x y) into (* x y)
4.063 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
4.063 * [taylor]: Taking taylor expansion of x in z
4.063 * [backup-simplify]: Simplify x into x
4.063 * [taylor]: Taking taylor expansion of (+ (/ (* x y) z) x) in z
4.063 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
4.063 * [taylor]: Taking taylor expansion of (* x y) in z
4.063 * [taylor]: Taking taylor expansion of x in z
4.063 * [backup-simplify]: Simplify x into x
4.063 * [taylor]: Taking taylor expansion of y in z
4.063 * [backup-simplify]: Simplify y into y
4.063 * [taylor]: Taking taylor expansion of z in z
4.063 * [backup-simplify]: Simplify 0 into 0
4.063 * [backup-simplify]: Simplify 1 into 1
4.063 * [backup-simplify]: Simplify (* x y) into (* x y)
4.063 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
4.064 * [taylor]: Taking taylor expansion of x in z
4.064 * [backup-simplify]: Simplify x into x
4.064 * [backup-simplify]: Simplify (+ (* x y) 0) into (* x y)
4.064 * [taylor]: Taking taylor expansion of (* x y) in x
4.064 * [taylor]: Taking taylor expansion of x in x
4.064 * [backup-simplify]: Simplify 0 into 0
4.064 * [backup-simplify]: Simplify 1 into 1
4.064 * [taylor]: Taking taylor expansion of y in x
4.064 * [backup-simplify]: Simplify y into y
4.064 * [backup-simplify]: Simplify (* 0 y) into 0
4.064 * [taylor]: Taking taylor expansion of 0 in y
4.064 * [backup-simplify]: Simplify 0 into 0
4.064 * [backup-simplify]: Simplify 0 into 0
4.064 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
4.065 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0
4.065 * [backup-simplify]: Simplify (+ 0 x) into x
4.065 * [taylor]: Taking taylor expansion of x in x
4.065 * [backup-simplify]: Simplify 0 into 0
4.065 * [backup-simplify]: Simplify 1 into 1
4.065 * [taylor]: Taking taylor expansion of 0 in y
4.065 * [backup-simplify]: Simplify 0 into 0
4.065 * [backup-simplify]: Simplify 0 into 0
4.066 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.066 * [taylor]: Taking taylor expansion of y in y
4.066 * [backup-simplify]: Simplify 0 into 0
4.066 * [backup-simplify]: Simplify 1 into 1
4.066 * [backup-simplify]: Simplify 0 into 0
4.066 * [backup-simplify]: Simplify 0 into 0
4.066 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
4.068 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.068 * [backup-simplify]: Simplify (+ 0 0) into 0
4.068 * [taylor]: Taking taylor expansion of 0 in x
4.068 * [backup-simplify]: Simplify 0 into 0
4.068 * [taylor]: Taking taylor expansion of 0 in y
4.068 * [backup-simplify]: Simplify 0 into 0
4.068 * [backup-simplify]: Simplify 0 into 0
4.068 * [taylor]: Taking taylor expansion of 1 in y
4.068 * [backup-simplify]: Simplify 1 into 1
4.068 * [backup-simplify]: Simplify 1 into 1
4.069 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.069 * [taylor]: Taking taylor expansion of 0 in y
4.069 * [backup-simplify]: Simplify 0 into 0
4.069 * [backup-simplify]: Simplify 0 into 0
4.069 * [backup-simplify]: Simplify 0 into 0
4.069 * [backup-simplify]: Simplify 1 into 1
4.069 * [backup-simplify]: Simplify 0 into 0
4.070 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
4.072 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.072 * [backup-simplify]: Simplify (+ 0 0) into 0
4.072 * [taylor]: Taking taylor expansion of 0 in x
4.072 * [backup-simplify]: Simplify 0 into 0
4.072 * [taylor]: Taking taylor expansion of 0 in y
4.072 * [backup-simplify]: Simplify 0 into 0
4.072 * [backup-simplify]: Simplify 0 into 0
4.072 * [taylor]: Taking taylor expansion of 0 in y
4.073 * [backup-simplify]: Simplify 0 into 0
4.073 * [backup-simplify]: Simplify 0 into 0
4.073 * [taylor]: Taking taylor expansion of 0 in y
4.073 * [backup-simplify]: Simplify 0 into 0
4.073 * [backup-simplify]: Simplify 0 into 0
4.074 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.074 * [taylor]: Taking taylor expansion of 0 in y
4.074 * [backup-simplify]: Simplify 0 into 0
4.074 * [backup-simplify]: Simplify 0 into 0
4.074 * [backup-simplify]: Simplify 0 into 0
4.074 * [backup-simplify]: Simplify (+ (* 1 (* y (* x (/ 1 z)))) (* 1 (* 1 (* x 1)))) into (+ (/ (* x y) z) x)
4.075 * [backup-simplify]: Simplify (+ (/ 1 (/ (/ 1 z) (* (/ 1 x) (/ 1 y)))) (/ 1 x)) into (+ (/ z (* x y)) (/ 1 x))
4.075 * [approximate]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in (z x y) around 0
4.075 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in y
4.075 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
4.075 * [taylor]: Taking taylor expansion of z in y
4.075 * [backup-simplify]: Simplify z into z
4.075 * [taylor]: Taking taylor expansion of (* x y) in y
4.075 * [taylor]: Taking taylor expansion of x in y
4.075 * [backup-simplify]: Simplify x into x
4.075 * [taylor]: Taking taylor expansion of y in y
4.075 * [backup-simplify]: Simplify 0 into 0
4.075 * [backup-simplify]: Simplify 1 into 1
4.075 * [backup-simplify]: Simplify (* x 0) into 0
4.075 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.075 * [backup-simplify]: Simplify (/ z x) into (/ z x)
4.075 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.076 * [taylor]: Taking taylor expansion of x in y
4.076 * [backup-simplify]: Simplify x into x
4.076 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.076 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in x
4.076 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
4.076 * [taylor]: Taking taylor expansion of z in x
4.076 * [backup-simplify]: Simplify z into z
4.076 * [taylor]: Taking taylor expansion of (* x y) in x
4.076 * [taylor]: Taking taylor expansion of x in x
4.076 * [backup-simplify]: Simplify 0 into 0
4.076 * [backup-simplify]: Simplify 1 into 1
4.076 * [taylor]: Taking taylor expansion of y in x
4.076 * [backup-simplify]: Simplify y into y
4.076 * [backup-simplify]: Simplify (* 0 y) into 0
4.076 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.076 * [backup-simplify]: Simplify (/ z y) into (/ z y)
4.076 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.076 * [taylor]: Taking taylor expansion of x in x
4.076 * [backup-simplify]: Simplify 0 into 0
4.077 * [backup-simplify]: Simplify 1 into 1
4.077 * [backup-simplify]: Simplify (/ 1 1) into 1
4.077 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in z
4.077 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
4.077 * [taylor]: Taking taylor expansion of z in z
4.077 * [backup-simplify]: Simplify 0 into 0
4.077 * [backup-simplify]: Simplify 1 into 1
4.077 * [taylor]: Taking taylor expansion of (* x y) in z
4.077 * [taylor]: Taking taylor expansion of x in z
4.077 * [backup-simplify]: Simplify x into x
4.077 * [taylor]: Taking taylor expansion of y in z
4.077 * [backup-simplify]: Simplify y into y
4.077 * [backup-simplify]: Simplify (* x y) into (* x y)
4.077 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
4.077 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.077 * [taylor]: Taking taylor expansion of x in z
4.077 * [backup-simplify]: Simplify x into x
4.077 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.077 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in z
4.077 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
4.078 * [taylor]: Taking taylor expansion of z in z
4.078 * [backup-simplify]: Simplify 0 into 0
4.078 * [backup-simplify]: Simplify 1 into 1
4.078 * [taylor]: Taking taylor expansion of (* x y) in z
4.078 * [taylor]: Taking taylor expansion of x in z
4.078 * [backup-simplify]: Simplify x into x
4.078 * [taylor]: Taking taylor expansion of y in z
4.078 * [backup-simplify]: Simplify y into y
4.078 * [backup-simplify]: Simplify (* x y) into (* x y)
4.078 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
4.078 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.078 * [taylor]: Taking taylor expansion of x in z
4.078 * [backup-simplify]: Simplify x into x
4.078 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.078 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
4.078 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.078 * [taylor]: Taking taylor expansion of x in x
4.078 * [backup-simplify]: Simplify 0 into 0
4.078 * [backup-simplify]: Simplify 1 into 1
4.079 * [backup-simplify]: Simplify (/ 1 1) into 1
4.079 * [taylor]: Taking taylor expansion of 1 in y
4.079 * [backup-simplify]: Simplify 1 into 1
4.079 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.079 * [backup-simplify]: Simplify (+ (/ 1 (* x y)) 0) into (/ 1 (* x y))
4.079 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.079 * [taylor]: Taking taylor expansion of (* x y) in x
4.079 * [taylor]: Taking taylor expansion of x in x
4.079 * [backup-simplify]: Simplify 0 into 0
4.079 * [backup-simplify]: Simplify 1 into 1
4.079 * [taylor]: Taking taylor expansion of y in x
4.079 * [backup-simplify]: Simplify y into y
4.079 * [backup-simplify]: Simplify (* 0 y) into 0
4.080 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.080 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.080 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.080 * [taylor]: Taking taylor expansion of y in y
4.080 * [backup-simplify]: Simplify 0 into 0
4.080 * [backup-simplify]: Simplify 1 into 1
4.080 * [backup-simplify]: Simplify (/ 1 1) into 1
4.080 * [backup-simplify]: Simplify 1 into 1
4.081 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.081 * [taylor]: Taking taylor expansion of 0 in y
4.081 * [backup-simplify]: Simplify 0 into 0
4.081 * [backup-simplify]: Simplify 1 into 1
4.081 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
4.082 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
4.082 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.082 * [backup-simplify]: Simplify (+ 0 0) into 0
4.082 * [taylor]: Taking taylor expansion of 0 in x
4.082 * [backup-simplify]: Simplify 0 into 0
4.083 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.083 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.083 * [taylor]: Taking taylor expansion of 0 in y
4.083 * [backup-simplify]: Simplify 0 into 0
4.084 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.084 * [taylor]: Taking taylor expansion of 0 in y
4.084 * [backup-simplify]: Simplify 0 into 0
4.085 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.085 * [backup-simplify]: Simplify 0 into 0
4.085 * [backup-simplify]: Simplify 0 into 0
4.085 * [backup-simplify]: Simplify 0 into 0
4.086 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
4.086 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
4.086 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.087 * [backup-simplify]: Simplify (+ 0 0) into 0
4.087 * [taylor]: Taking taylor expansion of 0 in x
4.087 * [backup-simplify]: Simplify 0 into 0
4.087 * [taylor]: Taking taylor expansion of 0 in y
4.087 * [backup-simplify]: Simplify 0 into 0
4.088 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.088 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.088 * [taylor]: Taking taylor expansion of 0 in y
4.088 * [backup-simplify]: Simplify 0 into 0
4.089 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.089 * [taylor]: Taking taylor expansion of 0 in y
4.089 * [backup-simplify]: Simplify 0 into 0
4.089 * [backup-simplify]: Simplify 0 into 0
4.089 * [backup-simplify]: Simplify 0 into 0
4.090 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.090 * [backup-simplify]: Simplify 0 into 0
4.090 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) 1))) (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) (/ 1 z))))) into (+ (/ (* x y) z) x)
4.091 * [backup-simplify]: Simplify (+ (/ 1 (/ (/ 1 (- z)) (* (/ 1 (- x)) (/ 1 (- y))))) (/ 1 (- x))) into (- (+ (/ z (* x y)) (/ 1 x)))
4.091 * [approximate]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in (z x y) around 0
4.091 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in y
4.091 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in y
4.091 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
4.091 * [taylor]: Taking taylor expansion of z in y
4.091 * [backup-simplify]: Simplify z into z
4.091 * [taylor]: Taking taylor expansion of (* x y) in y
4.091 * [taylor]: Taking taylor expansion of x in y
4.091 * [backup-simplify]: Simplify x into x
4.091 * [taylor]: Taking taylor expansion of y in y
4.091 * [backup-simplify]: Simplify 0 into 0
4.091 * [backup-simplify]: Simplify 1 into 1
4.091 * [backup-simplify]: Simplify (* x 0) into 0
4.091 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.091 * [backup-simplify]: Simplify (/ z x) into (/ z x)
4.091 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.091 * [taylor]: Taking taylor expansion of x in y
4.091 * [backup-simplify]: Simplify x into x
4.091 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.091 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in x
4.091 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in x
4.091 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
4.091 * [taylor]: Taking taylor expansion of z in x
4.091 * [backup-simplify]: Simplify z into z
4.091 * [taylor]: Taking taylor expansion of (* x y) in x
4.091 * [taylor]: Taking taylor expansion of x in x
4.091 * [backup-simplify]: Simplify 0 into 0
4.091 * [backup-simplify]: Simplify 1 into 1
4.092 * [taylor]: Taking taylor expansion of y in x
4.092 * [backup-simplify]: Simplify y into y
4.092 * [backup-simplify]: Simplify (* 0 y) into 0
4.092 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.092 * [backup-simplify]: Simplify (/ z y) into (/ z y)
4.092 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.092 * [taylor]: Taking taylor expansion of x in x
4.092 * [backup-simplify]: Simplify 0 into 0
4.092 * [backup-simplify]: Simplify 1 into 1
4.092 * [backup-simplify]: Simplify (/ 1 1) into 1
4.092 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in z
4.092 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in z
4.092 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
4.092 * [taylor]: Taking taylor expansion of z in z
4.092 * [backup-simplify]: Simplify 0 into 0
4.092 * [backup-simplify]: Simplify 1 into 1
4.092 * [taylor]: Taking taylor expansion of (* x y) in z
4.092 * [taylor]: Taking taylor expansion of x in z
4.092 * [backup-simplify]: Simplify x into x
4.092 * [taylor]: Taking taylor expansion of y in z
4.092 * [backup-simplify]: Simplify y into y
4.092 * [backup-simplify]: Simplify (* x y) into (* x y)
4.092 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
4.092 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.092 * [taylor]: Taking taylor expansion of x in z
4.092 * [backup-simplify]: Simplify x into x
4.093 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.093 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in z
4.093 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in z
4.093 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
4.093 * [taylor]: Taking taylor expansion of z in z
4.093 * [backup-simplify]: Simplify 0 into 0
4.093 * [backup-simplify]: Simplify 1 into 1
4.093 * [taylor]: Taking taylor expansion of (* x y) in z
4.093 * [taylor]: Taking taylor expansion of x in z
4.093 * [backup-simplify]: Simplify x into x
4.093 * [taylor]: Taking taylor expansion of y in z
4.093 * [backup-simplify]: Simplify y into y
4.093 * [backup-simplify]: Simplify (* x y) into (* x y)
4.093 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
4.093 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.093 * [taylor]: Taking taylor expansion of x in z
4.093 * [backup-simplify]: Simplify x into x
4.093 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.093 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
4.093 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.093 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
4.093 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.093 * [taylor]: Taking taylor expansion of x in x
4.093 * [backup-simplify]: Simplify 0 into 0
4.093 * [backup-simplify]: Simplify 1 into 1
4.093 * [backup-simplify]: Simplify (/ 1 1) into 1
4.094 * [backup-simplify]: Simplify (- 1) into -1
4.094 * [taylor]: Taking taylor expansion of -1 in y
4.094 * [backup-simplify]: Simplify -1 into -1
4.094 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.094 * [backup-simplify]: Simplify (+ (/ 1 (* x y)) 0) into (/ 1 (* x y))
4.094 * [backup-simplify]: Simplify (- (/ 1 (* x y))) into (- (/ 1 (* x y)))
4.094 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y))) in x
4.094 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.094 * [taylor]: Taking taylor expansion of (* x y) in x
4.094 * [taylor]: Taking taylor expansion of x in x
4.094 * [backup-simplify]: Simplify 0 into 0
4.094 * [backup-simplify]: Simplify 1 into 1
4.094 * [taylor]: Taking taylor expansion of y in x
4.094 * [backup-simplify]: Simplify y into y
4.094 * [backup-simplify]: Simplify (* 0 y) into 0
4.094 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.094 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.094 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
4.094 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
4.094 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.094 * [taylor]: Taking taylor expansion of y in y
4.094 * [backup-simplify]: Simplify 0 into 0
4.094 * [backup-simplify]: Simplify 1 into 1
4.095 * [backup-simplify]: Simplify (/ 1 1) into 1
4.095 * [backup-simplify]: Simplify (- 1) into -1
4.095 * [backup-simplify]: Simplify -1 into -1
4.095 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.096 * [backup-simplify]: Simplify (- 0) into 0
4.096 * [taylor]: Taking taylor expansion of 0 in y
4.096 * [backup-simplify]: Simplify 0 into 0
4.096 * [backup-simplify]: Simplify -1 into -1
4.096 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
4.096 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
4.096 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.096 * [backup-simplify]: Simplify (+ 0 0) into 0
4.096 * [backup-simplify]: Simplify (- 0) into 0
4.097 * [taylor]: Taking taylor expansion of 0 in x
4.097 * [backup-simplify]: Simplify 0 into 0
4.097 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.097 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.097 * [backup-simplify]: Simplify (- 0) into 0
4.097 * [taylor]: Taking taylor expansion of 0 in y
4.097 * [backup-simplify]: Simplify 0 into 0
4.098 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.098 * [backup-simplify]: Simplify (- 0) into 0
4.098 * [taylor]: Taking taylor expansion of 0 in y
4.098 * [backup-simplify]: Simplify 0 into 0
4.099 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.099 * [backup-simplify]: Simplify (- 0) into 0
4.099 * [backup-simplify]: Simplify 0 into 0
4.099 * [backup-simplify]: Simplify 0 into 0
4.099 * [backup-simplify]: Simplify 0 into 0
4.099 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
4.099 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
4.100 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.100 * [backup-simplify]: Simplify (+ 0 0) into 0
4.100 * [backup-simplify]: Simplify (- 0) into 0
4.100 * [taylor]: Taking taylor expansion of 0 in x
4.100 * [backup-simplify]: Simplify 0 into 0
4.100 * [taylor]: Taking taylor expansion of 0 in y
4.100 * [backup-simplify]: Simplify 0 into 0
4.101 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.101 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.101 * [backup-simplify]: Simplify (- 0) into 0
4.101 * [taylor]: Taking taylor expansion of 0 in y
4.101 * [backup-simplify]: Simplify 0 into 0
4.102 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.102 * [backup-simplify]: Simplify (- 0) into 0
4.102 * [taylor]: Taking taylor expansion of 0 in y
4.102 * [backup-simplify]: Simplify 0 into 0
4.102 * [backup-simplify]: Simplify 0 into 0
4.102 * [backup-simplify]: Simplify 0 into 0
4.103 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.103 * [backup-simplify]: Simplify (- 0) into 0
4.103 * [backup-simplify]: Simplify 0 into 0
4.103 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (/ 1 (/ 1 (- x))) 1))) (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) (/ 1 (- z)))))) into (+ (/ (* x y) z) x)
4.103 * * * [progress]: simplifying candidates
4.104 * [simplify]: Simplifying:
  (- (log z) (+ (log x) (log y)))
  (- (log z) (log (* x y)))
  (log (/ z (* x y)))
  (exp (/ z (* x y)))
  (/ (* (* z z) z) (* (* (* x x) x) (* (* y y) y)))
  (/ (* (* z z) z) (* (* (* x y) (* x y)) (* x y)))
  (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))
  (cbrt (/ z (* x y)))
  (* (* (/ z (* x y)) (/ z (* x y))) (/ z (* x y)))
  (sqrt (/ z (* x y)))
  (sqrt (/ z (* x y)))
  (- z)
  (- (* x y))
  (/ (* (cbrt z) (cbrt z)) x)
  (/ (cbrt z) y)
  (/ (sqrt z) x)
  (/ (sqrt z) y)
  (/ 1 x)
  (/ z y)
  (/ 1 (* x y))
  (/ (* x y) z)
  (/ z x)
  (/ (* x y) (cbrt z))
  (/ (* x y) (sqrt z))
  (/ (* x y) z)
  (- 1)
  (- (- (log z) (+ (log x) (log y))))
  (- (- (log z) (log (* x y))))
  (- (log (/ z (* x y))))
  (- 0 (- (log z) (+ (log x) (log y))))
  (- 0 (- (log z) (log (* x y))))
  (- 0 (log (/ z (* x y))))
  (- (log 1) (- (log z) (+ (log x) (log y))))
  (- (log 1) (- (log z) (log (* x y))))
  (- (log 1) (log (/ z (* x y))))
  (log (/ 1 (/ z (* x y))))
  (exp (/ 1 (/ z (* x y))))
  (/ (* (* 1 1) 1) (/ (* (* z z) z) (* (* (* x x) x) (* (* y y) y))))
  (/ (* (* 1 1) 1) (/ (* (* z z) z) (* (* (* x y) (* x y)) (* x y))))
  (/ (* (* 1 1) 1) (* (* (/ z (* x y)) (/ z (* x y))) (/ z (* x y))))
  (* (cbrt (/ 1 (/ z (* x y)))) (cbrt (/ 1 (/ z (* x y)))))
  (cbrt (/ 1 (/ z (* x y))))
  (* (* (/ 1 (/ z (* x y))) (/ 1 (/ z (* x y)))) (/ 1 (/ z (* x y))))
  (sqrt (/ 1 (/ z (* x y))))
  (sqrt (/ 1 (/ z (* x y))))
  (- 1)
  (- (/ z (* x y)))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y)))))
  (/ (cbrt 1) (cbrt (/ z (* x y))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ z (* x y))))
  (/ (cbrt 1) (sqrt (/ z (* x y))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt z) (cbrt z)) x))
  (/ (cbrt 1) (/ (cbrt z) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt z) x))
  (/ (cbrt 1) (/ (sqrt z) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 x))
  (/ (cbrt 1) (/ z y))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (/ z (* x y)))
  (/ (* (cbrt 1) (cbrt 1)) z)
  (/ (cbrt 1) (/ 1 (* x y)))
  (/ (sqrt 1) (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y)))))
  (/ (sqrt 1) (cbrt (/ z (* x y))))
  (/ (sqrt 1) (sqrt (/ z (* x y))))
  (/ (sqrt 1) (sqrt (/ z (* x y))))
  (/ (sqrt 1) (/ (* (cbrt z) (cbrt z)) x))
  (/ (sqrt 1) (/ (cbrt z) y))
  (/ (sqrt 1) (/ (sqrt z) x))
  (/ (sqrt 1) (/ (sqrt z) y))
  (/ (sqrt 1) (/ 1 x))
  (/ (sqrt 1) (/ z y))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (/ z (* x y)))
  (/ (sqrt 1) z)
  (/ (sqrt 1) (/ 1 (* x y)))
  (/ 1 (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y)))))
  (/ 1 (cbrt (/ z (* x y))))
  (/ 1 (sqrt (/ z (* x y))))
  (/ 1 (sqrt (/ z (* x y))))
  (/ 1 (/ (* (cbrt z) (cbrt z)) x))
  (/ 1 (/ (cbrt z) y))
  (/ 1 (/ (sqrt z) x))
  (/ 1 (/ (sqrt z) y))
  (/ 1 (/ 1 x))
  (/ 1 (/ z y))
  (/ 1 1)
  (/ 1 (/ z (* x y)))
  (/ 1 z)
  (/ 1 (/ 1 (* x y)))
  (/ 1 (/ z (* x y)))
  (/ (/ z (* x y)) 1)
  (/ 1 (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y)))))
  (/ 1 (sqrt (/ z (* x y))))
  (/ 1 (/ (* (cbrt z) (cbrt z)) x))
  (/ 1 (/ (sqrt z) x))
  (/ 1 (/ 1 x))
  (/ 1 1)
  (/ 1 z)
  (/ (/ z (* x y)) (cbrt 1))
  (/ (/ z (* x y)) (sqrt 1))
  (/ (/ z (* x y)) 1)
  (/ 1 z)
  (* (exp (/ 1 (/ z (* x y)))) (exp x))
  (log (+ (/ 1 (/ z (* x y))) x))
  (exp (+ (/ 1 (/ z (* x y))) x))
  (* (cbrt (+ (/ 1 (/ z (* x y))) x)) (cbrt (+ (/ 1 (/ z (* x y))) x)))
  (cbrt (+ (/ 1 (/ z (* x y))) x))
  (* (* (+ (/ 1 (/ z (* x y))) x) (+ (/ 1 (/ z (* x y))) x)) (+ (/ 1 (/ z (* x y))) x))
  (sqrt (+ (/ 1 (/ z (* x y))) x))
  (sqrt (+ (/ 1 (/ z (* x y))) x))
  (+ (pow (/ 1 (/ z (* x y))) 3) (pow x 3))
  (+ (* (/ 1 (/ z (* x y))) (/ 1 (/ z (* x y)))) (- (* x x) (* (/ 1 (/ z (* x y))) x)))
  (- (* (/ 1 (/ z (* x y))) (/ 1 (/ z (* x y)))) (* x x))
  (- (/ 1 (/ z (* x y))) x)
  (+ (/ 1 (/ z (* x y))) x)
  (+ (/ 1 (/ z (* x y))) x)
  (/ z (* x y))
  (/ z (* x y))
  (/ z (* x y))
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
4.106 * * [simplify]: Extracting # 0 : cost  0
4.106 * * [simplify]: Extracting # 1 : cost  0
4.106 * * [simplify]: Extracting # 2 : cost  0
4.107 * * [simplify]: Extracting # 3 : cost  0
4.107 * * [simplify]: Extracting # 4 : cost  0
4.107 * * [simplify]: Extracting # 5 : cost  0
4.107 * * [simplify]: Extracting # 6 : cost  0
4.107 * * [simplify]: Extracting # 7 : cost  0
4.108 * * [simplify]: iteration  0 :  138  enodes  (cost  1086 )
4.203 * * [simplify]: Extracting # 0 : cost  0
4.204 * * [simplify]: Extracting # 1 : cost  0
4.204 * * [simplify]: Extracting # 2 : cost  0
4.205 * * [simplify]: Extracting # 3 : cost  0
4.206 * * [simplify]: Extracting # 4 : cost  0
4.206 * * [simplify]: iteration  1 :  361  enodes  (cost  934 )
4.399 * * [simplify]: Extracting # 0 : cost  0
4.401 * * [simplify]: Extracting # 1 : cost  0
4.404 * * [simplify]: Extracting # 2 : cost  0
4.406 * * [simplify]: Extracting # 3 : cost  0
4.408 * * [simplify]: Extracting # 4 : cost  0
4.411 * * [simplify]: iteration  2 :  1823  enodes  (cost  864 )
5.109 * * [simplify]: Extracting # 0 : cost  0
5.120 * * [simplify]: Extracting # 1 : cost  0
5.128 * * [simplify]: Extracting # 2 : cost  0
5.135 * * [simplify]: Extracting # 3 : cost  0
5.143 * * [simplify]: iteration done:  5001  enodes  (cost  864 )
5.144 * [simplify]: Simplified to:
  (log (/ z (* y x)))
  (log (/ z (* y x)))
  (log (/ z (* y x)))
  (exp (/ z (* x y)))
  (/ (/ (pow z 3) (pow x 3)) (pow y 3))
  (pow (/ z (* y x)) 3)
  (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))
  (cbrt (/ z (* x y)))
  (pow (/ z (* y x)) 3)
  (sqrt (/ z (* x y)))
  (sqrt (/ z (* x y)))
  (- z)
  (- (* x y))
  (/ (* (cbrt z) (cbrt z)) x)
  (/ (cbrt z) y)
  (/ (sqrt z) x)
  (/ (sqrt z) y)
  (/ 1 x)
  (/ z y)
  (/ 1 (* x y))
  (/ (* x y) z)
  (/ z x)
  (/ (* x y) (cbrt z))
  (/ (* x y) (sqrt z))
  (/ (* x y) z)
  -1
  (- (log (/ z (* y x))))
  (- (log (/ z (* y x))))
  (- (log (/ z (* y x))))
  (- (log (/ z (* y x))))
  (- (log (/ z (* y x))))
  (- (log (/ z (* y x))))
  (- (log (/ z (* y x))))
  (- (log (/ z (* y x))))
  (- (log (/ z (* y x))))
  (- (log (/ z (* y x))))
  (exp (* (* x y) (/ 1 z)))
  (* (/ 1 (/ (pow z 3) (pow x 3))) (pow y 3))
  (pow (/ 1 (/ z (* x y))) 3)
  (pow (/ 1 (/ z (* x y))) 3)
  (* (cbrt (/ 1 (/ z (* x y)))) (cbrt (/ 1 (/ z (* x y)))))
  (cbrt (/ 1 (/ z (* x y))))
  (pow (/ 1 (/ z (* x y))) 3)
  (sqrt (/ 1 (/ z (* x y))))
  (sqrt (/ 1 (/ z (* x y))))
  -1
  (- (/ z (* x y)))
  (/ 1 (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y)))))
  (/ 1 (cbrt (/ z (* x y))))
  (/ 1 (sqrt (/ z (* x y))))
  (/ 1 (sqrt (/ z (* x y))))
  (/ 1 (/ (* (cbrt z) (cbrt z)) x))
  (/ 1 (/ (cbrt z) y))
  (/ 1 (/ (sqrt z) x))
  (/ 1 (/ (sqrt z) y))
  x
  (/ 1 (/ z y))
  1
  (* (* x y) (/ 1 z))
  (/ 1 z)
  (* x y)
  (/ 1 (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y)))))
  (/ 1 (cbrt (/ z (* x y))))
  (/ 1 (sqrt (/ z (* x y))))
  (/ 1 (sqrt (/ z (* x y))))
  (/ 1 (/ (* (cbrt z) (cbrt z)) x))
  (/ 1 (/ (cbrt z) y))
  (/ 1 (/ (sqrt z) x))
  (/ 1 (/ (sqrt z) y))
  x
  (/ 1 (/ z y))
  1
  (* (* x y) (/ 1 z))
  (/ 1 z)
  (* x y)
  (/ 1 (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y)))))
  (/ 1 (cbrt (/ z (* x y))))
  (/ 1 (sqrt (/ z (* x y))))
  (/ 1 (sqrt (/ z (* x y))))
  (/ 1 (/ (* (cbrt z) (cbrt z)) x))
  (/ 1 (/ (cbrt z) y))
  (/ 1 (/ (sqrt z) x))
  (/ 1 (/ (sqrt z) y))
  x
  (/ 1 (/ z y))
  1
  (* (* x y) (/ 1 z))
  (/ 1 z)
  (* x y)
  (* (* x y) (/ 1 z))
  (/ z (* y x))
  (/ 1 (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y)))))
  (/ 1 (sqrt (/ z (* x y))))
  (/ 1 (/ (* (cbrt z) (cbrt z)) x))
  (/ 1 (/ (sqrt z) x))
  x
  1
  (/ 1 z)
  (/ z (* y x))
  (/ z (* y x))
  (/ z (* y x))
  (/ 1 z)
  (exp (+ (/ 1 (/ z (* x y))) x))
  (log (+ (/ 1 (/ z (* x y))) x))
  (exp (+ (/ 1 (/ z (* x y))) x))
  (* (cbrt (+ (/ 1 (/ z (* x y))) x)) (cbrt (+ (/ 1 (/ z (* x y))) x)))
  (cbrt (+ (/ 1 (/ z (* x y))) x))
  (pow (+ (/ 1 (/ z (* x y))) x) 3)
  (sqrt (+ (/ 1 (/ z (* x y))) x))
  (sqrt (+ (/ 1 (/ z (* x y))) x))
  (+ (pow (/ 1 (/ z (* x y))) 3) (pow x 3))
  (+ (* x (- x (/ 1 (/ z (* x y))))) (/ (/ 1 (/ z (* x y))) (/ z (* y x))))
  (- (/ (/ 1 (/ z (* x y))) (/ z (* y x))) (* x x))
  (- (/ 1 (/ z (* x y))) x)
  (+ (/ 1 (/ z (* x y))) x)
  (+ (/ 1 (/ z (* x y))) x)
  (/ z (* y x))
  (/ z (* y x))
  (/ z (* y x))
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
5.145 * * * [progress]: adding candidates to table
5.290 * * [progress]: iteration 4 / 4
5.290 * * * [progress]: picking best candidate
5.297 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* (/ 1 z) (* x y)) x))>
5.297 * * * [progress]: localizing error
5.304 * * * [progress]: generating rewritten candidates
5.304 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
5.332 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
5.360 * * * [progress]: generating series expansions
5.360 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
5.360 * [backup-simplify]: Simplify (* (/ 1 z) (* x y)) into (/ (* x y) z)
5.360 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (z x y) around 0
5.360 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
5.360 * [taylor]: Taking taylor expansion of (* x y) in y
5.360 * [taylor]: Taking taylor expansion of x in y
5.360 * [backup-simplify]: Simplify x into x
5.360 * [taylor]: Taking taylor expansion of y in y
5.360 * [backup-simplify]: Simplify 0 into 0
5.360 * [backup-simplify]: Simplify 1 into 1
5.360 * [taylor]: Taking taylor expansion of z in y
5.360 * [backup-simplify]: Simplify z into z
5.360 * [backup-simplify]: Simplify (* x 0) into 0
5.361 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.361 * [backup-simplify]: Simplify (/ x z) into (/ x z)
5.361 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
5.361 * [taylor]: Taking taylor expansion of (* x y) in x
5.361 * [taylor]: Taking taylor expansion of x in x
5.361 * [backup-simplify]: Simplify 0 into 0
5.361 * [backup-simplify]: Simplify 1 into 1
5.361 * [taylor]: Taking taylor expansion of y in x
5.361 * [backup-simplify]: Simplify y into y
5.361 * [taylor]: Taking taylor expansion of z in x
5.361 * [backup-simplify]: Simplify z into z
5.361 * [backup-simplify]: Simplify (* 0 y) into 0
5.361 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.361 * [backup-simplify]: Simplify (/ y z) into (/ y z)
5.362 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
5.362 * [taylor]: Taking taylor expansion of (* x y) in z
5.362 * [taylor]: Taking taylor expansion of x in z
5.362 * [backup-simplify]: Simplify x into x
5.362 * [taylor]: Taking taylor expansion of y in z
5.362 * [backup-simplify]: Simplify y into y
5.362 * [taylor]: Taking taylor expansion of z in z
5.362 * [backup-simplify]: Simplify 0 into 0
5.362 * [backup-simplify]: Simplify 1 into 1
5.362 * [backup-simplify]: Simplify (* x y) into (* x y)
5.362 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
5.362 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
5.362 * [taylor]: Taking taylor expansion of (* x y) in z
5.362 * [taylor]: Taking taylor expansion of x in z
5.362 * [backup-simplify]: Simplify x into x
5.362 * [taylor]: Taking taylor expansion of y in z
5.362 * [backup-simplify]: Simplify y into y
5.362 * [taylor]: Taking taylor expansion of z in z
5.362 * [backup-simplify]: Simplify 0 into 0
5.362 * [backup-simplify]: Simplify 1 into 1
5.362 * [backup-simplify]: Simplify (* x y) into (* x y)
5.362 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
5.362 * [taylor]: Taking taylor expansion of (* x y) in x
5.362 * [taylor]: Taking taylor expansion of x in x
5.362 * [backup-simplify]: Simplify 0 into 0
5.362 * [backup-simplify]: Simplify 1 into 1
5.362 * [taylor]: Taking taylor expansion of y in x
5.362 * [backup-simplify]: Simplify y into y
5.362 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.362 * [taylor]: Taking taylor expansion of y in y
5.362 * [backup-simplify]: Simplify 0 into 0
5.362 * [backup-simplify]: Simplify 1 into 1
5.362 * [backup-simplify]: Simplify 1 into 1
5.363 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
5.363 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0
5.363 * [taylor]: Taking taylor expansion of 0 in x
5.363 * [backup-simplify]: Simplify 0 into 0
5.363 * [taylor]: Taking taylor expansion of 0 in y
5.363 * [backup-simplify]: Simplify 0 into 0
5.363 * [backup-simplify]: Simplify 0 into 0
5.364 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.364 * [taylor]: Taking taylor expansion of 0 in y
5.364 * [backup-simplify]: Simplify 0 into 0
5.364 * [backup-simplify]: Simplify 0 into 0
5.364 * [backup-simplify]: Simplify 0 into 0
5.364 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
5.365 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.365 * [taylor]: Taking taylor expansion of 0 in x
5.365 * [backup-simplify]: Simplify 0 into 0
5.365 * [taylor]: Taking taylor expansion of 0 in y
5.365 * [backup-simplify]: Simplify 0 into 0
5.365 * [backup-simplify]: Simplify 0 into 0
5.365 * [taylor]: Taking taylor expansion of 0 in y
5.365 * [backup-simplify]: Simplify 0 into 0
5.365 * [backup-simplify]: Simplify 0 into 0
5.366 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.366 * [taylor]: Taking taylor expansion of 0 in y
5.366 * [backup-simplify]: Simplify 0 into 0
5.366 * [backup-simplify]: Simplify 0 into 0
5.366 * [backup-simplify]: Simplify (* 1 (* y (* x (/ 1 z)))) into (/ (* x y) z)
5.366 * [backup-simplify]: Simplify (* (/ 1 (/ 1 z)) (* (/ 1 x) (/ 1 y))) into (/ z (* x y))
5.366 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (z x y) around 0
5.366 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
5.366 * [taylor]: Taking taylor expansion of z in y
5.366 * [backup-simplify]: Simplify z into z
5.366 * [taylor]: Taking taylor expansion of (* x y) in y
5.366 * [taylor]: Taking taylor expansion of x in y
5.366 * [backup-simplify]: Simplify x into x
5.366 * [taylor]: Taking taylor expansion of y in y
5.366 * [backup-simplify]: Simplify 0 into 0
5.366 * [backup-simplify]: Simplify 1 into 1
5.366 * [backup-simplify]: Simplify (* x 0) into 0
5.367 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.367 * [backup-simplify]: Simplify (/ z x) into (/ z x)
5.367 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
5.367 * [taylor]: Taking taylor expansion of z in x
5.367 * [backup-simplify]: Simplify z into z
5.367 * [taylor]: Taking taylor expansion of (* x y) in x
5.367 * [taylor]: Taking taylor expansion of x in x
5.367 * [backup-simplify]: Simplify 0 into 0
5.367 * [backup-simplify]: Simplify 1 into 1
5.367 * [taylor]: Taking taylor expansion of y in x
5.367 * [backup-simplify]: Simplify y into y
5.367 * [backup-simplify]: Simplify (* 0 y) into 0
5.367 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.367 * [backup-simplify]: Simplify (/ z y) into (/ z y)
5.367 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
5.367 * [taylor]: Taking taylor expansion of z in z
5.367 * [backup-simplify]: Simplify 0 into 0
5.367 * [backup-simplify]: Simplify 1 into 1
5.367 * [taylor]: Taking taylor expansion of (* x y) in z
5.367 * [taylor]: Taking taylor expansion of x in z
5.367 * [backup-simplify]: Simplify x into x
5.367 * [taylor]: Taking taylor expansion of y in z
5.367 * [backup-simplify]: Simplify y into y
5.367 * [backup-simplify]: Simplify (* x y) into (* x y)
5.367 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
5.367 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
5.367 * [taylor]: Taking taylor expansion of z in z
5.367 * [backup-simplify]: Simplify 0 into 0
5.367 * [backup-simplify]: Simplify 1 into 1
5.368 * [taylor]: Taking taylor expansion of (* x y) in z
5.368 * [taylor]: Taking taylor expansion of x in z
5.368 * [backup-simplify]: Simplify x into x
5.368 * [taylor]: Taking taylor expansion of y in z
5.368 * [backup-simplify]: Simplify y into y
5.368 * [backup-simplify]: Simplify (* x y) into (* x y)
5.368 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
5.368 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.368 * [taylor]: Taking taylor expansion of (* x y) in x
5.368 * [taylor]: Taking taylor expansion of x in x
5.368 * [backup-simplify]: Simplify 0 into 0
5.368 * [backup-simplify]: Simplify 1 into 1
5.368 * [taylor]: Taking taylor expansion of y in x
5.368 * [backup-simplify]: Simplify y into y
5.368 * [backup-simplify]: Simplify (* 0 y) into 0
5.368 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.368 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.368 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.368 * [taylor]: Taking taylor expansion of y in y
5.368 * [backup-simplify]: Simplify 0 into 0
5.368 * [backup-simplify]: Simplify 1 into 1
5.368 * [backup-simplify]: Simplify (/ 1 1) into 1
5.368 * [backup-simplify]: Simplify 1 into 1
5.369 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
5.369 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
5.369 * [taylor]: Taking taylor expansion of 0 in x
5.369 * [backup-simplify]: Simplify 0 into 0
5.369 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.369 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.369 * [taylor]: Taking taylor expansion of 0 in y
5.369 * [backup-simplify]: Simplify 0 into 0
5.370 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.370 * [backup-simplify]: Simplify 0 into 0
5.370 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
5.370 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
5.371 * [taylor]: Taking taylor expansion of 0 in x
5.371 * [backup-simplify]: Simplify 0 into 0
5.371 * [taylor]: Taking taylor expansion of 0 in y
5.371 * [backup-simplify]: Simplify 0 into 0
5.371 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.371 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.371 * [taylor]: Taking taylor expansion of 0 in y
5.371 * [backup-simplify]: Simplify 0 into 0
5.371 * [backup-simplify]: Simplify 0 into 0
5.372 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.372 * [backup-simplify]: Simplify 0 into 0
5.373 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
5.373 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
5.373 * [taylor]: Taking taylor expansion of 0 in x
5.373 * [backup-simplify]: Simplify 0 into 0
5.373 * [taylor]: Taking taylor expansion of 0 in y
5.373 * [backup-simplify]: Simplify 0 into 0
5.373 * [taylor]: Taking taylor expansion of 0 in y
5.373 * [backup-simplify]: Simplify 0 into 0
5.374 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
5.374 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.374 * [taylor]: Taking taylor expansion of 0 in y
5.374 * [backup-simplify]: Simplify 0 into 0
5.374 * [backup-simplify]: Simplify 0 into 0
5.374 * [backup-simplify]: Simplify 0 into 0
5.374 * [backup-simplify]: Simplify 0 into 0
5.374 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) (/ 1 z)))) into (/ (* x y) z)
5.374 * [backup-simplify]: Simplify (* (/ 1 (/ 1 (- z))) (* (/ 1 (- x)) (/ 1 (- y)))) into (* -1 (/ z (* x y)))
5.374 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (z x y) around 0
5.374 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
5.374 * [taylor]: Taking taylor expansion of -1 in y
5.374 * [backup-simplify]: Simplify -1 into -1
5.374 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
5.374 * [taylor]: Taking taylor expansion of z in y
5.374 * [backup-simplify]: Simplify z into z
5.374 * [taylor]: Taking taylor expansion of (* x y) in y
5.374 * [taylor]: Taking taylor expansion of x in y
5.375 * [backup-simplify]: Simplify x into x
5.375 * [taylor]: Taking taylor expansion of y in y
5.375 * [backup-simplify]: Simplify 0 into 0
5.375 * [backup-simplify]: Simplify 1 into 1
5.375 * [backup-simplify]: Simplify (* x 0) into 0
5.375 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.375 * [backup-simplify]: Simplify (/ z x) into (/ z x)
5.375 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
5.375 * [taylor]: Taking taylor expansion of -1 in x
5.375 * [backup-simplify]: Simplify -1 into -1
5.375 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
5.375 * [taylor]: Taking taylor expansion of z in x
5.375 * [backup-simplify]: Simplify z into z
5.375 * [taylor]: Taking taylor expansion of (* x y) in x
5.375 * [taylor]: Taking taylor expansion of x in x
5.375 * [backup-simplify]: Simplify 0 into 0
5.375 * [backup-simplify]: Simplify 1 into 1
5.375 * [taylor]: Taking taylor expansion of y in x
5.375 * [backup-simplify]: Simplify y into y
5.375 * [backup-simplify]: Simplify (* 0 y) into 0
5.375 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.375 * [backup-simplify]: Simplify (/ z y) into (/ z y)
5.375 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
5.375 * [taylor]: Taking taylor expansion of -1 in z
5.375 * [backup-simplify]: Simplify -1 into -1
5.375 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
5.376 * [taylor]: Taking taylor expansion of z in z
5.376 * [backup-simplify]: Simplify 0 into 0
5.376 * [backup-simplify]: Simplify 1 into 1
5.376 * [taylor]: Taking taylor expansion of (* x y) in z
5.376 * [taylor]: Taking taylor expansion of x in z
5.376 * [backup-simplify]: Simplify x into x
5.376 * [taylor]: Taking taylor expansion of y in z
5.376 * [backup-simplify]: Simplify y into y
5.376 * [backup-simplify]: Simplify (* x y) into (* x y)
5.376 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
5.376 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
5.376 * [taylor]: Taking taylor expansion of -1 in z
5.376 * [backup-simplify]: Simplify -1 into -1
5.376 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
5.376 * [taylor]: Taking taylor expansion of z in z
5.376 * [backup-simplify]: Simplify 0 into 0
5.376 * [backup-simplify]: Simplify 1 into 1
5.376 * [taylor]: Taking taylor expansion of (* x y) in z
5.376 * [taylor]: Taking taylor expansion of x in z
5.376 * [backup-simplify]: Simplify x into x
5.376 * [taylor]: Taking taylor expansion of y in z
5.376 * [backup-simplify]: Simplify y into y
5.376 * [backup-simplify]: Simplify (* x y) into (* x y)
5.376 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
5.376 * [backup-simplify]: Simplify (* -1 (/ 1 (* x y))) into (/ -1 (* x y))
5.376 * [taylor]: Taking taylor expansion of (/ -1 (* x y)) in x
5.376 * [taylor]: Taking taylor expansion of -1 in x
5.376 * [backup-simplify]: Simplify -1 into -1
5.376 * [taylor]: Taking taylor expansion of (* x y) in x
5.376 * [taylor]: Taking taylor expansion of x in x
5.376 * [backup-simplify]: Simplify 0 into 0
5.376 * [backup-simplify]: Simplify 1 into 1
5.376 * [taylor]: Taking taylor expansion of y in x
5.376 * [backup-simplify]: Simplify y into y
5.376 * [backup-simplify]: Simplify (* 0 y) into 0
5.377 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.377 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
5.377 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.377 * [taylor]: Taking taylor expansion of -1 in y
5.377 * [backup-simplify]: Simplify -1 into -1
5.377 * [taylor]: Taking taylor expansion of y in y
5.377 * [backup-simplify]: Simplify 0 into 0
5.377 * [backup-simplify]: Simplify 1 into 1
5.377 * [backup-simplify]: Simplify (/ -1 1) into -1
5.377 * [backup-simplify]: Simplify -1 into -1
5.377 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
5.377 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
5.378 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (* x y)))) into 0
5.378 * [taylor]: Taking taylor expansion of 0 in x
5.378 * [backup-simplify]: Simplify 0 into 0
5.378 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.378 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
5.378 * [taylor]: Taking taylor expansion of 0 in y
5.378 * [backup-simplify]: Simplify 0 into 0
5.379 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
5.379 * [backup-simplify]: Simplify 0 into 0
5.379 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
5.379 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
5.380 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (* x y))))) into 0
5.380 * [taylor]: Taking taylor expansion of 0 in x
5.380 * [backup-simplify]: Simplify 0 into 0
5.380 * [taylor]: Taking taylor expansion of 0 in y
5.380 * [backup-simplify]: Simplify 0 into 0
5.381 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.381 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.381 * [taylor]: Taking taylor expansion of 0 in y
5.381 * [backup-simplify]: Simplify 0 into 0
5.381 * [backup-simplify]: Simplify 0 into 0
5.381 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.381 * [backup-simplify]: Simplify 0 into 0
5.382 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
5.382 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
5.383 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* x y)))))) into 0
5.383 * [taylor]: Taking taylor expansion of 0 in x
5.383 * [backup-simplify]: Simplify 0 into 0
5.383 * [taylor]: Taking taylor expansion of 0 in y
5.383 * [backup-simplify]: Simplify 0 into 0
5.383 * [taylor]: Taking taylor expansion of 0 in y
5.383 * [backup-simplify]: Simplify 0 into 0
5.384 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
5.384 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.384 * [taylor]: Taking taylor expansion of 0 in y
5.384 * [backup-simplify]: Simplify 0 into 0
5.384 * [backup-simplify]: Simplify 0 into 0
5.384 * [backup-simplify]: Simplify 0 into 0
5.384 * [backup-simplify]: Simplify 0 into 0
5.385 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) (/ 1 (- z))))) into (/ (* x y) z)
5.385 * * * * [progress]: [ 2 / 2 ] generating series at (2)
5.385 * [backup-simplify]: Simplify (+ (* (/ 1 z) (* x y)) x) into (+ (/ (* x y) z) x)
5.385 * [approximate]: Taking taylor expansion of (+ (/ (* x y) z) x) in (z x y) around 0
5.385 * [taylor]: Taking taylor expansion of (+ (/ (* x y) z) x) in y
5.385 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
5.385 * [taylor]: Taking taylor expansion of (* x y) in y
5.385 * [taylor]: Taking taylor expansion of x in y
5.385 * [backup-simplify]: Simplify x into x
5.385 * [taylor]: Taking taylor expansion of y in y
5.385 * [backup-simplify]: Simplify 0 into 0
5.385 * [backup-simplify]: Simplify 1 into 1
5.385 * [taylor]: Taking taylor expansion of z in y
5.385 * [backup-simplify]: Simplify z into z
5.385 * [backup-simplify]: Simplify (* x 0) into 0
5.385 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.385 * [backup-simplify]: Simplify (/ x z) into (/ x z)
5.385 * [taylor]: Taking taylor expansion of x in y
5.385 * [backup-simplify]: Simplify x into x
5.385 * [taylor]: Taking taylor expansion of (+ (/ (* x y) z) x) in x
5.385 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
5.385 * [taylor]: Taking taylor expansion of (* x y) in x
5.385 * [taylor]: Taking taylor expansion of x in x
5.385 * [backup-simplify]: Simplify 0 into 0
5.385 * [backup-simplify]: Simplify 1 into 1
5.385 * [taylor]: Taking taylor expansion of y in x
5.386 * [backup-simplify]: Simplify y into y
5.386 * [taylor]: Taking taylor expansion of z in x
5.386 * [backup-simplify]: Simplify z into z
5.386 * [backup-simplify]: Simplify (* 0 y) into 0
5.386 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.386 * [backup-simplify]: Simplify (/ y z) into (/ y z)
5.386 * [taylor]: Taking taylor expansion of x in x
5.386 * [backup-simplify]: Simplify 0 into 0
5.386 * [backup-simplify]: Simplify 1 into 1
5.386 * [taylor]: Taking taylor expansion of (+ (/ (* x y) z) x) in z
5.386 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
5.386 * [taylor]: Taking taylor expansion of (* x y) in z
5.386 * [taylor]: Taking taylor expansion of x in z
5.386 * [backup-simplify]: Simplify x into x
5.386 * [taylor]: Taking taylor expansion of y in z
5.386 * [backup-simplify]: Simplify y into y
5.386 * [taylor]: Taking taylor expansion of z in z
5.386 * [backup-simplify]: Simplify 0 into 0
5.386 * [backup-simplify]: Simplify 1 into 1
5.386 * [backup-simplify]: Simplify (* x y) into (* x y)
5.386 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
5.386 * [taylor]: Taking taylor expansion of x in z
5.386 * [backup-simplify]: Simplify x into x
5.386 * [taylor]: Taking taylor expansion of (+ (/ (* x y) z) x) in z
5.386 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
5.386 * [taylor]: Taking taylor expansion of (* x y) in z
5.386 * [taylor]: Taking taylor expansion of x in z
5.386 * [backup-simplify]: Simplify x into x
5.386 * [taylor]: Taking taylor expansion of y in z
5.386 * [backup-simplify]: Simplify y into y
5.386 * [taylor]: Taking taylor expansion of z in z
5.386 * [backup-simplify]: Simplify 0 into 0
5.386 * [backup-simplify]: Simplify 1 into 1
5.386 * [backup-simplify]: Simplify (* x y) into (* x y)
5.386 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
5.386 * [taylor]: Taking taylor expansion of x in z
5.386 * [backup-simplify]: Simplify x into x
5.387 * [backup-simplify]: Simplify (+ (* x y) 0) into (* x y)
5.387 * [taylor]: Taking taylor expansion of (* x y) in x
5.387 * [taylor]: Taking taylor expansion of x in x
5.387 * [backup-simplify]: Simplify 0 into 0
5.387 * [backup-simplify]: Simplify 1 into 1
5.387 * [taylor]: Taking taylor expansion of y in x
5.387 * [backup-simplify]: Simplify y into y
5.387 * [backup-simplify]: Simplify (* 0 y) into 0
5.387 * [taylor]: Taking taylor expansion of 0 in y
5.387 * [backup-simplify]: Simplify 0 into 0
5.387 * [backup-simplify]: Simplify 0 into 0
5.387 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
5.387 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0
5.387 * [backup-simplify]: Simplify (+ 0 x) into x
5.387 * [taylor]: Taking taylor expansion of x in x
5.387 * [backup-simplify]: Simplify 0 into 0
5.387 * [backup-simplify]: Simplify 1 into 1
5.387 * [taylor]: Taking taylor expansion of 0 in y
5.388 * [backup-simplify]: Simplify 0 into 0
5.388 * [backup-simplify]: Simplify 0 into 0
5.388 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.388 * [taylor]: Taking taylor expansion of y in y
5.388 * [backup-simplify]: Simplify 0 into 0
5.388 * [backup-simplify]: Simplify 1 into 1
5.388 * [backup-simplify]: Simplify 0 into 0
5.388 * [backup-simplify]: Simplify 0 into 0
5.388 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
5.389 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.389 * [backup-simplify]: Simplify (+ 0 0) into 0
5.389 * [taylor]: Taking taylor expansion of 0 in x
5.389 * [backup-simplify]: Simplify 0 into 0
5.389 * [taylor]: Taking taylor expansion of 0 in y
5.389 * [backup-simplify]: Simplify 0 into 0
5.389 * [backup-simplify]: Simplify 0 into 0
5.389 * [taylor]: Taking taylor expansion of 1 in y
5.389 * [backup-simplify]: Simplify 1 into 1
5.389 * [backup-simplify]: Simplify 1 into 1
5.390 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.390 * [taylor]: Taking taylor expansion of 0 in y
5.390 * [backup-simplify]: Simplify 0 into 0
5.390 * [backup-simplify]: Simplify 0 into 0
5.390 * [backup-simplify]: Simplify 0 into 0
5.390 * [backup-simplify]: Simplify 1 into 1
5.390 * [backup-simplify]: Simplify 0 into 0
5.391 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
5.392 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.392 * [backup-simplify]: Simplify (+ 0 0) into 0
5.392 * [taylor]: Taking taylor expansion of 0 in x
5.392 * [backup-simplify]: Simplify 0 into 0
5.392 * [taylor]: Taking taylor expansion of 0 in y
5.392 * [backup-simplify]: Simplify 0 into 0
5.392 * [backup-simplify]: Simplify 0 into 0
5.392 * [taylor]: Taking taylor expansion of 0 in y
5.392 * [backup-simplify]: Simplify 0 into 0
5.392 * [backup-simplify]: Simplify 0 into 0
5.392 * [taylor]: Taking taylor expansion of 0 in y
5.392 * [backup-simplify]: Simplify 0 into 0
5.392 * [backup-simplify]: Simplify 0 into 0
5.393 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.393 * [taylor]: Taking taylor expansion of 0 in y
5.393 * [backup-simplify]: Simplify 0 into 0
5.393 * [backup-simplify]: Simplify 0 into 0
5.393 * [backup-simplify]: Simplify 0 into 0
5.393 * [backup-simplify]: Simplify (+ (* 1 (* y (* x (/ 1 z)))) (* 1 (* 1 (* x 1)))) into (+ (/ (* x y) z) x)
5.393 * [backup-simplify]: Simplify (+ (* (/ 1 (/ 1 z)) (* (/ 1 x) (/ 1 y))) (/ 1 x)) into (+ (/ z (* x y)) (/ 1 x))
5.393 * [approximate]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in (z x y) around 0
5.393 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in y
5.393 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
5.393 * [taylor]: Taking taylor expansion of z in y
5.393 * [backup-simplify]: Simplify z into z
5.393 * [taylor]: Taking taylor expansion of (* x y) in y
5.393 * [taylor]: Taking taylor expansion of x in y
5.393 * [backup-simplify]: Simplify x into x
5.393 * [taylor]: Taking taylor expansion of y in y
5.393 * [backup-simplify]: Simplify 0 into 0
5.394 * [backup-simplify]: Simplify 1 into 1
5.394 * [backup-simplify]: Simplify (* x 0) into 0
5.394 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.394 * [backup-simplify]: Simplify (/ z x) into (/ z x)
5.394 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.394 * [taylor]: Taking taylor expansion of x in y
5.394 * [backup-simplify]: Simplify x into x
5.394 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.394 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in x
5.394 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
5.394 * [taylor]: Taking taylor expansion of z in x
5.394 * [backup-simplify]: Simplify z into z
5.394 * [taylor]: Taking taylor expansion of (* x y) in x
5.394 * [taylor]: Taking taylor expansion of x in x
5.394 * [backup-simplify]: Simplify 0 into 0
5.394 * [backup-simplify]: Simplify 1 into 1
5.394 * [taylor]: Taking taylor expansion of y in x
5.394 * [backup-simplify]: Simplify y into y
5.394 * [backup-simplify]: Simplify (* 0 y) into 0
5.394 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.394 * [backup-simplify]: Simplify (/ z y) into (/ z y)
5.394 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.394 * [taylor]: Taking taylor expansion of x in x
5.394 * [backup-simplify]: Simplify 0 into 0
5.395 * [backup-simplify]: Simplify 1 into 1
5.395 * [backup-simplify]: Simplify (/ 1 1) into 1
5.395 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in z
5.395 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
5.395 * [taylor]: Taking taylor expansion of z in z
5.395 * [backup-simplify]: Simplify 0 into 0
5.395 * [backup-simplify]: Simplify 1 into 1
5.395 * [taylor]: Taking taylor expansion of (* x y) in z
5.395 * [taylor]: Taking taylor expansion of x in z
5.395 * [backup-simplify]: Simplify x into x
5.395 * [taylor]: Taking taylor expansion of y in z
5.395 * [backup-simplify]: Simplify y into y
5.395 * [backup-simplify]: Simplify (* x y) into (* x y)
5.395 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
5.395 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.395 * [taylor]: Taking taylor expansion of x in z
5.395 * [backup-simplify]: Simplify x into x
5.395 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.395 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in z
5.395 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
5.395 * [taylor]: Taking taylor expansion of z in z
5.395 * [backup-simplify]: Simplify 0 into 0
5.395 * [backup-simplify]: Simplify 1 into 1
5.395 * [taylor]: Taking taylor expansion of (* x y) in z
5.395 * [taylor]: Taking taylor expansion of x in z
5.395 * [backup-simplify]: Simplify x into x
5.395 * [taylor]: Taking taylor expansion of y in z
5.395 * [backup-simplify]: Simplify y into y
5.395 * [backup-simplify]: Simplify (* x y) into (* x y)
5.395 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
5.395 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.395 * [taylor]: Taking taylor expansion of x in z
5.395 * [backup-simplify]: Simplify x into x
5.395 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.395 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
5.396 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.396 * [taylor]: Taking taylor expansion of x in x
5.396 * [backup-simplify]: Simplify 0 into 0
5.396 * [backup-simplify]: Simplify 1 into 1
5.396 * [backup-simplify]: Simplify (/ 1 1) into 1
5.396 * [taylor]: Taking taylor expansion of 1 in y
5.396 * [backup-simplify]: Simplify 1 into 1
5.396 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
5.396 * [backup-simplify]: Simplify (+ (/ 1 (* x y)) 0) into (/ 1 (* x y))
5.396 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.396 * [taylor]: Taking taylor expansion of (* x y) in x
5.396 * [taylor]: Taking taylor expansion of x in x
5.396 * [backup-simplify]: Simplify 0 into 0
5.396 * [backup-simplify]: Simplify 1 into 1
5.396 * [taylor]: Taking taylor expansion of y in x
5.396 * [backup-simplify]: Simplify y into y
5.396 * [backup-simplify]: Simplify (* 0 y) into 0
5.396 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.396 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.396 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.397 * [taylor]: Taking taylor expansion of y in y
5.397 * [backup-simplify]: Simplify 0 into 0
5.397 * [backup-simplify]: Simplify 1 into 1
5.397 * [backup-simplify]: Simplify (/ 1 1) into 1
5.397 * [backup-simplify]: Simplify 1 into 1
5.397 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.397 * [taylor]: Taking taylor expansion of 0 in y
5.397 * [backup-simplify]: Simplify 0 into 0
5.397 * [backup-simplify]: Simplify 1 into 1
5.397 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
5.398 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
5.398 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.398 * [backup-simplify]: Simplify (+ 0 0) into 0
5.398 * [taylor]: Taking taylor expansion of 0 in x
5.398 * [backup-simplify]: Simplify 0 into 0
5.398 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.398 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.399 * [taylor]: Taking taylor expansion of 0 in y
5.399 * [backup-simplify]: Simplify 0 into 0
5.399 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.399 * [taylor]: Taking taylor expansion of 0 in y
5.399 * [backup-simplify]: Simplify 0 into 0
5.400 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.400 * [backup-simplify]: Simplify 0 into 0
5.400 * [backup-simplify]: Simplify 0 into 0
5.400 * [backup-simplify]: Simplify 0 into 0
5.400 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
5.400 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
5.400 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.400 * [backup-simplify]: Simplify (+ 0 0) into 0
5.400 * [taylor]: Taking taylor expansion of 0 in x
5.400 * [backup-simplify]: Simplify 0 into 0
5.401 * [taylor]: Taking taylor expansion of 0 in y
5.401 * [backup-simplify]: Simplify 0 into 0
5.401 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.401 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.401 * [taylor]: Taking taylor expansion of 0 in y
5.401 * [backup-simplify]: Simplify 0 into 0
5.402 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.402 * [taylor]: Taking taylor expansion of 0 in y
5.402 * [backup-simplify]: Simplify 0 into 0
5.402 * [backup-simplify]: Simplify 0 into 0
5.402 * [backup-simplify]: Simplify 0 into 0
5.403 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.403 * [backup-simplify]: Simplify 0 into 0
5.403 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) 1))) (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) (/ 1 z))))) into (+ (/ (* x y) z) x)
5.403 * [backup-simplify]: Simplify (+ (* (/ 1 (/ 1 (- z))) (* (/ 1 (- x)) (/ 1 (- y)))) (/ 1 (- x))) into (- (+ (/ z (* x y)) (/ 1 x)))
5.403 * [approximate]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in (z x y) around 0
5.403 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in y
5.403 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in y
5.403 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
5.403 * [taylor]: Taking taylor expansion of z in y
5.403 * [backup-simplify]: Simplify z into z
5.403 * [taylor]: Taking taylor expansion of (* x y) in y
5.403 * [taylor]: Taking taylor expansion of x in y
5.403 * [backup-simplify]: Simplify x into x
5.403 * [taylor]: Taking taylor expansion of y in y
5.403 * [backup-simplify]: Simplify 0 into 0
5.403 * [backup-simplify]: Simplify 1 into 1
5.403 * [backup-simplify]: Simplify (* x 0) into 0
5.404 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.404 * [backup-simplify]: Simplify (/ z x) into (/ z x)
5.404 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.404 * [taylor]: Taking taylor expansion of x in y
5.404 * [backup-simplify]: Simplify x into x
5.404 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.404 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in x
5.404 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in x
5.404 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
5.404 * [taylor]: Taking taylor expansion of z in x
5.404 * [backup-simplify]: Simplify z into z
5.404 * [taylor]: Taking taylor expansion of (* x y) in x
5.404 * [taylor]: Taking taylor expansion of x in x
5.404 * [backup-simplify]: Simplify 0 into 0
5.404 * [backup-simplify]: Simplify 1 into 1
5.404 * [taylor]: Taking taylor expansion of y in x
5.404 * [backup-simplify]: Simplify y into y
5.404 * [backup-simplify]: Simplify (* 0 y) into 0
5.404 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.404 * [backup-simplify]: Simplify (/ z y) into (/ z y)
5.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.404 * [taylor]: Taking taylor expansion of x in x
5.404 * [backup-simplify]: Simplify 0 into 0
5.404 * [backup-simplify]: Simplify 1 into 1
5.405 * [backup-simplify]: Simplify (/ 1 1) into 1
5.405 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in z
5.405 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in z
5.405 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
5.405 * [taylor]: Taking taylor expansion of z in z
5.405 * [backup-simplify]: Simplify 0 into 0
5.405 * [backup-simplify]: Simplify 1 into 1
5.405 * [taylor]: Taking taylor expansion of (* x y) in z
5.405 * [taylor]: Taking taylor expansion of x in z
5.405 * [backup-simplify]: Simplify x into x
5.405 * [taylor]: Taking taylor expansion of y in z
5.405 * [backup-simplify]: Simplify y into y
5.405 * [backup-simplify]: Simplify (* x y) into (* x y)
5.405 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
5.405 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.405 * [taylor]: Taking taylor expansion of x in z
5.405 * [backup-simplify]: Simplify x into x
5.405 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.405 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in z
5.405 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in z
5.405 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
5.405 * [taylor]: Taking taylor expansion of z in z
5.405 * [backup-simplify]: Simplify 0 into 0
5.405 * [backup-simplify]: Simplify 1 into 1
5.405 * [taylor]: Taking taylor expansion of (* x y) in z
5.405 * [taylor]: Taking taylor expansion of x in z
5.405 * [backup-simplify]: Simplify x into x
5.405 * [taylor]: Taking taylor expansion of y in z
5.405 * [backup-simplify]: Simplify y into y
5.405 * [backup-simplify]: Simplify (* x y) into (* x y)
5.405 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
5.405 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.405 * [taylor]: Taking taylor expansion of x in z
5.405 * [backup-simplify]: Simplify x into x
5.405 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.405 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
5.405 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
5.406 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
5.406 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.406 * [taylor]: Taking taylor expansion of x in x
5.406 * [backup-simplify]: Simplify 0 into 0
5.406 * [backup-simplify]: Simplify 1 into 1
5.406 * [backup-simplify]: Simplify (/ 1 1) into 1
5.406 * [backup-simplify]: Simplify (- 1) into -1
5.406 * [taylor]: Taking taylor expansion of -1 in y
5.406 * [backup-simplify]: Simplify -1 into -1
5.406 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
5.406 * [backup-simplify]: Simplify (+ (/ 1 (* x y)) 0) into (/ 1 (* x y))
5.406 * [backup-simplify]: Simplify (- (/ 1 (* x y))) into (- (/ 1 (* x y)))
5.406 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y))) in x
5.406 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.406 * [taylor]: Taking taylor expansion of (* x y) in x
5.406 * [taylor]: Taking taylor expansion of x in x
5.406 * [backup-simplify]: Simplify 0 into 0
5.406 * [backup-simplify]: Simplify 1 into 1
5.406 * [taylor]: Taking taylor expansion of y in x
5.406 * [backup-simplify]: Simplify y into y
5.406 * [backup-simplify]: Simplify (* 0 y) into 0
5.407 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.407 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.407 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
5.407 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
5.407 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.407 * [taylor]: Taking taylor expansion of y in y
5.407 * [backup-simplify]: Simplify 0 into 0
5.407 * [backup-simplify]: Simplify 1 into 1
5.407 * [backup-simplify]: Simplify (/ 1 1) into 1
5.407 * [backup-simplify]: Simplify (- 1) into -1
5.407 * [backup-simplify]: Simplify -1 into -1
5.408 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.408 * [backup-simplify]: Simplify (- 0) into 0
5.408 * [taylor]: Taking taylor expansion of 0 in y
5.408 * [backup-simplify]: Simplify 0 into 0
5.408 * [backup-simplify]: Simplify -1 into -1
5.408 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
5.408 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
5.409 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.409 * [backup-simplify]: Simplify (+ 0 0) into 0
5.409 * [backup-simplify]: Simplify (- 0) into 0
5.409 * [taylor]: Taking taylor expansion of 0 in x
5.409 * [backup-simplify]: Simplify 0 into 0
5.410 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.410 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.410 * [backup-simplify]: Simplify (- 0) into 0
5.410 * [taylor]: Taking taylor expansion of 0 in y
5.410 * [backup-simplify]: Simplify 0 into 0
5.410 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.411 * [backup-simplify]: Simplify (- 0) into 0
5.411 * [taylor]: Taking taylor expansion of 0 in y
5.411 * [backup-simplify]: Simplify 0 into 0
5.411 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.411 * [backup-simplify]: Simplify (- 0) into 0
5.411 * [backup-simplify]: Simplify 0 into 0
5.411 * [backup-simplify]: Simplify 0 into 0
5.411 * [backup-simplify]: Simplify 0 into 0
5.412 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
5.412 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
5.412 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
5.412 * [backup-simplify]: Simplify (+ 0 0) into 0
5.413 * [backup-simplify]: Simplify (- 0) into 0
5.413 * [taylor]: Taking taylor expansion of 0 in x
5.413 * [backup-simplify]: Simplify 0 into 0
5.413 * [taylor]: Taking taylor expansion of 0 in y
5.413 * [backup-simplify]: Simplify 0 into 0
5.413 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.413 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.414 * [backup-simplify]: Simplify (- 0) into 0
5.414 * [taylor]: Taking taylor expansion of 0 in y
5.414 * [backup-simplify]: Simplify 0 into 0
5.414 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.414 * [backup-simplify]: Simplify (- 0) into 0
5.415 * [taylor]: Taking taylor expansion of 0 in y
5.415 * [backup-simplify]: Simplify 0 into 0
5.415 * [backup-simplify]: Simplify 0 into 0
5.415 * [backup-simplify]: Simplify 0 into 0
5.415 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.415 * [backup-simplify]: Simplify (- 0) into 0
5.415 * [backup-simplify]: Simplify 0 into 0
5.416 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (/ 1 (/ 1 (- x))) 1))) (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) (/ 1 (- z)))))) into (+ (/ (* x y) z) x)
5.416 * * * [progress]: simplifying candidates
5.416 * [simplify]: Simplifying:
  (* (/ 1 z) (* x y))
  (* (/ 1 z) (* x y))
  (+ (- (log z)) (+ (log x) (log y)))
  (+ (- (log z)) (log (* x y)))
  (+ (- 0 (log z)) (+ (log x) (log y)))
  (+ (- 0 (log z)) (log (* x y)))
  (+ (- (log 1) (log z)) (+ (log x) (log y)))
  (+ (- (log 1) (log z)) (log (* x y)))
  (+ (log (/ 1 z)) (+ (log x) (log y)))
  (+ (log (/ 1 z)) (log (* x y)))
  (log (* (/ 1 z) (* x y)))
  (exp (* (/ 1 z) (* x y)))
  (* (/ (* (* 1 1) 1) (* (* z z) z)) (* (* (* x x) x) (* (* y y) y)))
  (* (/ (* (* 1 1) 1) (* (* z z) z)) (* (* (* x y) (* x y)) (* x y)))
  (* (* (* (/ 1 z) (/ 1 z)) (/ 1 z)) (* (* (* x x) x) (* (* y y) y)))
  (* (* (* (/ 1 z) (/ 1 z)) (/ 1 z)) (* (* (* x y) (* x y)) (* x y)))
  (* (cbrt (* (/ 1 z) (* x y))) (cbrt (* (/ 1 z) (* x y))))
  (cbrt (* (/ 1 z) (* x y)))
  (* (* (* (/ 1 z) (* x y)) (* (/ 1 z) (* x y))) (* (/ 1 z) (* x y)))
  (sqrt (* (/ 1 z) (* x y)))
  (sqrt (* (/ 1 z) (* x y)))
  (* (/ 1 z) x)
  (* (cbrt (/ 1 z)) (* x y))
  (* (sqrt (/ 1 z)) (* x y))
  (* (/ (cbrt 1) (cbrt z)) (* x y))
  (* (/ (cbrt 1) (sqrt z)) (* x y))
  (* (/ (cbrt 1) z) (* x y))
  (* (/ (sqrt 1) (cbrt z)) (* x y))
  (* (/ (sqrt 1) (sqrt z)) (* x y))
  (* (/ (sqrt 1) z) (* x y))
  (* (/ 1 (cbrt z)) (* x y))
  (* (/ 1 (sqrt z)) (* x y))
  (* (/ 1 z) (* x y))
  (* (/ 1 z) (* x y))
  (* (/ 1 z) (* x y))
  (* 1 (* x y))
  (* (exp (* (/ 1 z) (* x y))) (exp x))
  (log (+ (* (/ 1 z) (* x y)) x))
  (exp (+ (* (/ 1 z) (* x y)) x))
  (* (cbrt (+ (* (/ 1 z) (* x y)) x)) (cbrt (+ (* (/ 1 z) (* x y)) x)))
  (cbrt (+ (* (/ 1 z) (* x y)) x))
  (* (* (+ (* (/ 1 z) (* x y)) x) (+ (* (/ 1 z) (* x y)) x)) (+ (* (/ 1 z) (* x y)) x))
  (sqrt (+ (* (/ 1 z) (* x y)) x))
  (sqrt (+ (* (/ 1 z) (* x y)) x))
  (+ (pow (* (/ 1 z) (* x y)) 3) (pow x 3))
  (+ (* (* (/ 1 z) (* x y)) (* (/ 1 z) (* x y))) (- (* x x) (* (* (/ 1 z) (* x y)) x)))
  (- (* (* (/ 1 z) (* x y)) (* (/ 1 z) (* x y))) (* x x))
  (- (* (/ 1 z) (* x y)) x)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
5.417 * * [simplify]: Extracting # 0 : cost  0
5.417 * * [simplify]: Extracting # 1 : cost  0
5.418 * * [simplify]: Extracting # 2 : cost  0
5.418 * * [simplify]: Extracting # 3 : cost  0
5.418 * * [simplify]: Extracting # 4 : cost  0
5.418 * * [simplify]: Extracting # 5 : cost  0
5.418 * * [simplify]: Extracting # 6 : cost  0
5.418 * * [simplify]: iteration  0 :  98  enodes  (cost  594 )
5.447 * * [simplify]: Extracting # 0 : cost  0
5.447 * * [simplify]: Extracting # 1 : cost  0
5.448 * * [simplify]: Extracting # 2 : cost  0
5.448 * * [simplify]: Extracting # 3 : cost  0
5.448 * * [simplify]: Extracting # 4 : cost  0
5.448 * * [simplify]: iteration  1 :  283  enodes  (cost  545 )
5.598 * * [simplify]: Extracting # 0 : cost  0
5.602 * * [simplify]: Extracting # 1 : cost  0
5.605 * * [simplify]: Extracting # 2 : cost  0
5.607 * * [simplify]: Extracting # 3 : cost  0
5.609 * * [simplify]: Extracting # 4 : cost  0
5.612 * * [simplify]: Extracting # 5 : cost  0
5.615 * * [simplify]: iteration  2 :  1743  enodes  (cost  383 )
7.314 * * [simplify]: Extracting # 0 : cost  0
7.335 * * [simplify]: Extracting # 1 : cost  0
7.341 * * [simplify]: Extracting # 2 : cost  0
7.347 * * [simplify]: iteration done:  5001  enodes  (cost  383 )
7.347 * [simplify]: Simplified to:
  (* y (/ x z))
  (* y (/ x z))
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (exp (/ (* x y) z))
  (pow (* y (/ x z)) 3)
  (pow (* y (/ x z)) 3)
  (pow (* y (/ x z)) 3)
  (pow (* y (/ x z)) 3)
  (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z)))
  (cbrt (/ (* x y) z))
  (pow (* y (/ x z)) 3)
  (sqrt (/ (* x y) z))
  (sqrt (/ (* x y) z))
  (/ x z)
  (* (* x y) (cbrt (/ 1 z)))
  (* (sqrt (/ 1 z)) (* x y))
  (* (/ x (cbrt z)) y)
  (* y (/ x (sqrt z)))
  (* y (/ x z))
  (* (/ x (cbrt z)) y)
  (* y (/ x (sqrt z)))
  (* y (/ x z))
  (* (/ x (cbrt z)) y)
  (* y (/ x (sqrt z)))
  (* y (/ x z))
  (* y (/ x z))
  (* y (/ x z))
  (* y x)
  (exp (+ (/ (* x y) z) x))
  (log (+ (/ (* x y) z) x))
  (exp (+ (/ (* x y) z) x))
  (* (cbrt (+ (/ (* x y) z) x)) (cbrt (+ (/ (* x y) z) x)))
  (cbrt (+ (/ (* x y) z) x))
  (pow (+ (/ (* x y) z) x) 3)
  (sqrt (+ (/ (* x y) z) x))
  (sqrt (+ (/ (* x y) z) x))
  (+ (pow (/ (* x y) z) 3) (pow x 3))
  (+ (* (- x (/ (* x y) z)) x) (* (/ (* x y) z) (/ (* x y) z)))
  (* (- (/ (* x y) z) x) (+ (/ (* x y) z) x))
  (- (/ (* x y) z) x)
  (* y (/ x z))
  (* y (/ x z))
  (* y (/ x z))
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
7.347 * * * [progress]: adding candidates to table
7.434 * [progress]: [Phase 3 of 3] Extracting.
7.434 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ (/ x (/ z y)) x))> #<alt (λ (x y z) (+ (* (/ 1 z) (* x y)) x))> #<alt (λ (x y z) (+ (/ (* x y) z) x))> #<alt (λ (x y z) (+ (* (/ (* (cbrt 1) (cbrt 1)) 1) (* y (/ x z))) x))>)
7.434 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
7.435 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ (/ x (/ z y)) x))> #<alt (λ (x y z) (+ (* (/ 1 z) (* x y)) x))> #<alt (λ (x y z) (+ (/ (* x y) z) x))> #<alt (λ (x y z) (+ (* (/ (* (cbrt 1) (cbrt 1)) 1) (* y (/ x z))) x))>)
7.465 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ (/ x (/ z y)) x))> #<alt (λ (x y z) (+ (* (/ 1 z) (* x y)) x))> #<alt (λ (x y z) (+ (/ (* x y) z) x))> #<alt (λ (x y z) (+ (* (/ (* (cbrt 1) (cbrt 1)) 1) (* y (/ x z))) x))>)
7.491 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ (/ x (/ z y)) x))> #<alt (λ (x y z) (+ (* (/ 1 z) (* x y)) x))> #<alt (λ (x y z) (+ (/ (* x y) z) x))> #<alt (λ (x y z) (+ (* (/ (* (cbrt 1) (cbrt 1)) 1) (* y (/ x z))) x))>)
7.521 * * * [regime]: Found split indices: #<option (#s(si 0 100) #s(si 2 174) #s(si 0 255))>
7.521 * [binary-search]: Improving bounds with binary search for z and (#<alt (λ (x y z) (+ (/ x (/ z y)) x))> #<alt (λ (x y z) (+ (* (/ 1 z) (* x y)) x))> #<alt (λ (x y z) (+ (/ (* x y) z) x))> #<alt (λ (x y z) (+ (* (/ (* (cbrt 1) (cbrt 1)) 1) (* y (/ x z))) x))>)
7.578 * [regimes]: Found splitpoints: (#s(sp 0 z -4.483651780214682e-120) #s(sp 2 z 3.0078530782066012e-33) #s(sp 0 z +nan.0)) , with alts (#<alt (λ (x y z) (+ (/ x (/ z y)) x))> #<alt (λ (x y z) (+ (* (/ 1 z) (* x y)) x))> #<alt (λ (x y z) (+ (/ (* x y) z) x))> #<alt (λ (x y z) (+ (* (/ (* (cbrt 1) (cbrt 1)) 1) (* y (/ x z))) x))>)
7.578 * [simplify]: Simplifying:
  (if (<= z -4.483651780214682e-120) (+ (/ x (/ z y)) x) (if (<= z 3.0078530782066012e-33) (+ (/ (* x y) z) x) (+ (/ x (/ z y)) x)))
7.578 * * [simplify]: Extracting # 0 : cost  0
7.578 * * [simplify]: Extracting # 1 : cost  0
7.578 * * [simplify]: Extracting # 2 : cost  0
7.578 * * [simplify]: Extracting # 3 : cost  0
7.578 * * [simplify]: Extracting # 4 : cost  0
7.578 * * [simplify]: Extracting # 5 : cost  0
7.578 * * [simplify]: Extracting # 6 : cost  0
7.579 * * [simplify]: Extracting # 7 : cost  0
7.579 * * [simplify]: iteration  0 :  15  enodes  (cost  29 )
7.580 * * [simplify]: Extracting # 0 : cost  0
7.580 * * [simplify]: Extracting # 1 : cost  0
7.580 * * [simplify]: Extracting # 2 : cost  0
7.580 * * [simplify]: Extracting # 3 : cost  0
7.580 * * [simplify]: Extracting # 4 : cost  0
7.580 * * [simplify]: Extracting # 5 : cost  0
7.580 * * [simplify]: iteration  1 :  21  enodes  (cost  23 )
7.582 * * [simplify]: Extracting # 0 : cost  0
7.582 * * [simplify]: iteration done:  21  enodes  (cost  23 )
7.582 * [simplify]: Simplified to:
  (if (or (<= z -4.483651780214682e-120) (not (<= z 3.0078530782066012e-33))) (+ (/ x (/ z y)) x) (+ (/ (* x y) z) x))
8.544 * [regime-testing]: Baseline error score: 4.998078458148581
8.546 * [regime-testing]: Oracle error score: 0.020426593001972592
8.550 * [regime-testing]: End program error score: 1.9519381359435817
8.586 * [regime-testing]: Target error score: 3.0423347933296707