12.657 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.036 * * * [progress]: [2/2] Setting up program.
0.038 * [progress]: [Phase 2 of 3] Improving.
0.038 * [simplify]: Simplifying:
  (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))
0.038 * * [simplify]: Extracting # 0 : cost  0
0.038 * * [simplify]: Extracting # 1 : cost  0
0.038 * * [simplify]: Extracting # 2 : cost  0
0.038 * * [simplify]: Extracting # 3 : cost  0
0.038 * * [simplify]: Extracting # 4 : cost  0
0.038 * * [simplify]: Extracting # 5 : cost  0
0.038 * * [simplify]: Extracting # 6 : cost  0
0.038 * * [simplify]: Extracting # 7 : cost  0
0.038 * * [simplify]: iteration  0 :  12  enodes  (cost  13 )
0.040 * * [simplify]: Extracting # 0 : cost  0
0.040 * * [simplify]: Extracting # 1 : cost  0
0.040 * * [simplify]: Extracting # 2 : cost  0
0.040 * * [simplify]: iteration  1 :  22  enodes  (cost  13 )
0.043 * * [simplify]: Extracting # 0 : cost  0
0.043 * * [simplify]: Extracting # 1 : cost  0
0.044 * * [simplify]: Extracting # 2 : cost  0
0.044 * * [simplify]: iteration  2 :  46  enodes  (cost  13 )
0.054 * * [simplify]: Extracting # 0 : cost  0
0.054 * * [simplify]: Extracting # 1 : cost  0
0.054 * * [simplify]: Extracting # 2 : cost  0
0.054 * * [simplify]: iteration  3 :  109  enodes  (cost  13 )
0.111 * * [simplify]: Extracting # 0 : cost  0
0.111 * * [simplify]: Extracting # 1 : cost  0
0.111 * * [simplify]: Extracting # 2 : cost  0
0.112 * * [simplify]: iteration  4 :  232  enodes  (cost  13 )
0.191 * * [simplify]: Extracting # 0 : cost  0
0.192 * * [simplify]: Extracting # 1 : cost  0
0.193 * * [simplify]: Extracting # 2 : cost  0
0.193 * * [simplify]: iteration  5 :  364  enodes  (cost  13 )
0.320 * * [simplify]: Extracting # 0 : cost  0
0.321 * * [simplify]: Extracting # 1 : cost  0
0.322 * * [simplify]: Extracting # 2 : cost  0
0.322 * * [simplify]: iteration  6 :  485  enodes  (cost  13 )
0.535 * * [simplify]: Extracting # 0 : cost  0
0.536 * * [simplify]: Extracting # 1 : cost  0
0.536 * * [simplify]: Extracting # 2 : cost  0
0.540 * * [simplify]: Extracting # 3 : cost  0
0.540 * * [simplify]: iteration  7 :  648  enodes  (cost  11 )
0.881 * * [simplify]: Extracting # 0 : cost  0
0.882 * * [simplify]: Extracting # 1 : cost  0
0.883 * * [simplify]: Extracting # 2 : cost  0
0.884 * * [simplify]: Extracting # 3 : cost  0
0.884 * * [simplify]: iteration  8 :  1081  enodes  (cost  11 )
2.600 * * [simplify]: Extracting # 0 : cost  0
2.603 * * [simplify]: Extracting # 1 : cost  0
2.605 * * [simplify]: Extracting # 2 : cost  0
2.606 * * [simplify]: iteration  9 :  2451  enodes  (cost  11 )
7.291 * * [simplify]: Extracting # 0 : cost  0
7.297 * * [simplify]: Extracting # 1 : cost  0
7.301 * * [simplify]: Extracting # 2 : cost  0
7.305 * * [simplify]: Extracting # 3 : cost  0
7.308 * * [simplify]: iteration done:  5001  enodes  (cost  11 )
7.308 * [simplify]: Simplified to:
  (+ 1.0 (* (+ (/ (- x z) y) 0.25) 4.0))
7.311 * * [progress]: iteration 1 / 4
7.311 * * * [progress]: picking best candidate
7.314 * * * * [pick]: Picked  #<alt (λ (x y z) (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)))>
7.314 * * * [progress]: localizing error
7.328 * * * [progress]: generating rewritten candidates
7.328 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
7.371 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
7.390 * * * [progress]: generating series expansions
7.390 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
7.390 * [backup-simplify]: Simplify (/ (* 4.0 (- (+ x (* y 0.25)) z)) y) into (* 4.0 (/ (- (+ x (* 0.25 y)) z) y))
7.390 * [approximate]: Taking taylor expansion of (* 4.0 (/ (- (+ x (* 0.25 y)) z) y)) in (x y z) around 0
7.390 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (+ x (* 0.25 y)) z) y)) in z
7.390 * [taylor]: Taking taylor expansion of 4.0 in z
7.390 * [backup-simplify]: Simplify 4.0 into 4.0
7.390 * [taylor]: Taking taylor expansion of (/ (- (+ x (* 0.25 y)) z) y) in z
7.390 * [taylor]: Taking taylor expansion of (- (+ x (* 0.25 y)) z) in z
7.390 * [taylor]: Taking taylor expansion of (+ x (* 0.25 y)) in z
7.391 * [taylor]: Taking taylor expansion of x in z
7.391 * [backup-simplify]: Simplify x into x
7.391 * [taylor]: Taking taylor expansion of (* 0.25 y) in z
7.391 * [taylor]: Taking taylor expansion of 0.25 in z
7.391 * [backup-simplify]: Simplify 0.25 into 0.25
7.391 * [taylor]: Taking taylor expansion of y in z
7.391 * [backup-simplify]: Simplify y into y
7.391 * [taylor]: Taking taylor expansion of z in z
7.391 * [backup-simplify]: Simplify 0 into 0
7.391 * [backup-simplify]: Simplify 1 into 1
7.391 * [taylor]: Taking taylor expansion of y in z
7.391 * [backup-simplify]: Simplify y into y
7.391 * [backup-simplify]: Simplify (* 0.25 y) into (* 0.25 y)
7.391 * [backup-simplify]: Simplify (+ x (* 0.25 y)) into (+ x (* 0.25 y))
7.391 * [backup-simplify]: Simplify (- 0) into 0
7.391 * [backup-simplify]: Simplify (+ (+ x (* 0.25 y)) 0) into (+ x (* 0.25 y))
7.392 * [backup-simplify]: Simplify (/ (+ x (* 0.25 y)) y) into (/ (+ x (* 0.25 y)) y)
7.392 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (+ x (* 0.25 y)) z) y)) in y
7.392 * [taylor]: Taking taylor expansion of 4.0 in y
7.392 * [backup-simplify]: Simplify 4.0 into 4.0
7.392 * [taylor]: Taking taylor expansion of (/ (- (+ x (* 0.25 y)) z) y) in y
7.392 * [taylor]: Taking taylor expansion of (- (+ x (* 0.25 y)) z) in y
7.392 * [taylor]: Taking taylor expansion of (+ x (* 0.25 y)) in y
7.392 * [taylor]: Taking taylor expansion of x in y
7.392 * [backup-simplify]: Simplify x into x
7.392 * [taylor]: Taking taylor expansion of (* 0.25 y) in y
7.392 * [taylor]: Taking taylor expansion of 0.25 in y
7.392 * [backup-simplify]: Simplify 0.25 into 0.25
7.392 * [taylor]: Taking taylor expansion of y in y
7.392 * [backup-simplify]: Simplify 0 into 0
7.392 * [backup-simplify]: Simplify 1 into 1
7.392 * [taylor]: Taking taylor expansion of z in y
7.392 * [backup-simplify]: Simplify z into z
7.392 * [taylor]: Taking taylor expansion of y in y
7.392 * [backup-simplify]: Simplify 0 into 0
7.392 * [backup-simplify]: Simplify 1 into 1
7.392 * [backup-simplify]: Simplify (* 0.25 0) into 0
7.392 * [backup-simplify]: Simplify (+ x 0) into x
7.392 * [backup-simplify]: Simplify (- z) into (- z)
7.392 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
7.392 * [backup-simplify]: Simplify (/ (- x z) 1) into (- x z)
7.392 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (+ x (* 0.25 y)) z) y)) in x
7.392 * [taylor]: Taking taylor expansion of 4.0 in x
7.392 * [backup-simplify]: Simplify 4.0 into 4.0
7.392 * [taylor]: Taking taylor expansion of (/ (- (+ x (* 0.25 y)) z) y) in x
7.392 * [taylor]: Taking taylor expansion of (- (+ x (* 0.25 y)) z) in x
7.392 * [taylor]: Taking taylor expansion of (+ x (* 0.25 y)) in x
7.392 * [taylor]: Taking taylor expansion of x in x
7.393 * [backup-simplify]: Simplify 0 into 0
7.393 * [backup-simplify]: Simplify 1 into 1
7.393 * [taylor]: Taking taylor expansion of (* 0.25 y) in x
7.393 * [taylor]: Taking taylor expansion of 0.25 in x
7.393 * [backup-simplify]: Simplify 0.25 into 0.25
7.393 * [taylor]: Taking taylor expansion of y in x
7.393 * [backup-simplify]: Simplify y into y
7.393 * [taylor]: Taking taylor expansion of z in x
7.393 * [backup-simplify]: Simplify z into z
7.393 * [taylor]: Taking taylor expansion of y in x
7.393 * [backup-simplify]: Simplify y into y
7.393 * [backup-simplify]: Simplify (* 0.25 y) into (* 0.25 y)
7.393 * [backup-simplify]: Simplify (+ 0 (* 0.25 y)) into (* 0.25 y)
7.393 * [backup-simplify]: Simplify (- z) into (- z)
7.393 * [backup-simplify]: Simplify (+ (* 0.25 y) (- z)) into (- (* 0.25 y) z)
7.393 * [backup-simplify]: Simplify (/ (- (* 0.25 y) z) y) into (/ (- (* 0.25 y) z) y)
7.393 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (+ x (* 0.25 y)) z) y)) in x
7.393 * [taylor]: Taking taylor expansion of 4.0 in x
7.393 * [backup-simplify]: Simplify 4.0 into 4.0
7.393 * [taylor]: Taking taylor expansion of (/ (- (+ x (* 0.25 y)) z) y) in x
7.393 * [taylor]: Taking taylor expansion of (- (+ x (* 0.25 y)) z) in x
7.393 * [taylor]: Taking taylor expansion of (+ x (* 0.25 y)) in x
7.393 * [taylor]: Taking taylor expansion of x in x
7.393 * [backup-simplify]: Simplify 0 into 0
7.393 * [backup-simplify]: Simplify 1 into 1
7.393 * [taylor]: Taking taylor expansion of (* 0.25 y) in x
7.393 * [taylor]: Taking taylor expansion of 0.25 in x
7.393 * [backup-simplify]: Simplify 0.25 into 0.25
7.393 * [taylor]: Taking taylor expansion of y in x
7.393 * [backup-simplify]: Simplify y into y
7.393 * [taylor]: Taking taylor expansion of z in x
7.393 * [backup-simplify]: Simplify z into z
7.393 * [taylor]: Taking taylor expansion of y in x
7.393 * [backup-simplify]: Simplify y into y
7.393 * [backup-simplify]: Simplify (* 0.25 y) into (* 0.25 y)
7.393 * [backup-simplify]: Simplify (+ 0 (* 0.25 y)) into (* 0.25 y)
7.393 * [backup-simplify]: Simplify (- z) into (- z)
7.393 * [backup-simplify]: Simplify (+ (* 0.25 y) (- z)) into (- (* 0.25 y) z)
7.394 * [backup-simplify]: Simplify (/ (- (* 0.25 y) z) y) into (/ (- (* 0.25 y) z) y)
7.394 * [backup-simplify]: Simplify (* 4.0 (/ (- (* 0.25 y) z) y)) into (* 4.0 (/ (- (* 0.25 y) z) y))
7.394 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (* 0.25 y) z) y)) in y
7.394 * [taylor]: Taking taylor expansion of 4.0 in y
7.394 * [backup-simplify]: Simplify 4.0 into 4.0
7.394 * [taylor]: Taking taylor expansion of (/ (- (* 0.25 y) z) y) in y
7.394 * [taylor]: Taking taylor expansion of (- (* 0.25 y) z) in y
7.394 * [taylor]: Taking taylor expansion of (* 0.25 y) in y
7.394 * [taylor]: Taking taylor expansion of 0.25 in y
7.394 * [backup-simplify]: Simplify 0.25 into 0.25
7.394 * [taylor]: Taking taylor expansion of y in y
7.394 * [backup-simplify]: Simplify 0 into 0
7.394 * [backup-simplify]: Simplify 1 into 1
7.394 * [taylor]: Taking taylor expansion of z in y
7.394 * [backup-simplify]: Simplify z into z
7.394 * [taylor]: Taking taylor expansion of y in y
7.394 * [backup-simplify]: Simplify 0 into 0
7.394 * [backup-simplify]: Simplify 1 into 1
7.394 * [backup-simplify]: Simplify (* 0.25 0) into 0
7.394 * [backup-simplify]: Simplify (- z) into (- z)
7.395 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
7.395 * [backup-simplify]: Simplify (/ (- z) 1) into (* -1 z)
7.395 * [backup-simplify]: Simplify (* 4.0 (* -1 z)) into (* -4.0 z)
7.395 * [taylor]: Taking taylor expansion of (* -4.0 z) in z
7.395 * [taylor]: Taking taylor expansion of -4.0 in z
7.395 * [backup-simplify]: Simplify -4.0 into -4.0
7.395 * [taylor]: Taking taylor expansion of z in z
7.395 * [backup-simplify]: Simplify 0 into 0
7.395 * [backup-simplify]: Simplify 1 into 1
7.395 * [backup-simplify]: Simplify (* -4.0 0) into 0
7.395 * [backup-simplify]: Simplify 0 into 0
7.395 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 y)) into 0
7.396 * [backup-simplify]: Simplify (+ 1 0) into 1
7.396 * [backup-simplify]: Simplify (- 0) into 0
7.396 * [backup-simplify]: Simplify (+ 1 0) into 1
7.396 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* (/ (- (* 0.25 y) z) y) (/ 0 y)))) into (/ 1 y)
7.397 * [backup-simplify]: Simplify (+ (* 4.0 (/ 1 y)) (* 0 (/ (- (* 0.25 y) z) y))) into (* 4.0 (/ 1 y))
7.397 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
7.397 * [taylor]: Taking taylor expansion of 4.0 in y
7.397 * [backup-simplify]: Simplify 4.0 into 4.0
7.397 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.397 * [taylor]: Taking taylor expansion of y in y
7.397 * [backup-simplify]: Simplify 0 into 0
7.397 * [backup-simplify]: Simplify 1 into 1
7.397 * [backup-simplify]: Simplify (/ 1 1) into 1
7.397 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
7.397 * [taylor]: Taking taylor expansion of 4.0 in z
7.397 * [backup-simplify]: Simplify 4.0 into 4.0
7.397 * [backup-simplify]: Simplify 4.0 into 4.0
7.398 * [backup-simplify]: Simplify (+ (* 0.25 1) (* 0 0)) into 0.25
7.398 * [backup-simplify]: Simplify (- 0) into 0
7.399 * [backup-simplify]: Simplify (+ 0.25 0) into 0.25
7.399 * [backup-simplify]: Simplify (- (/ 0.25 1) (+ (* (* -1 z) (/ 0 1)))) into 0.25
7.400 * [backup-simplify]: Simplify (+ (* 4.0 0.25) (* 0 (* -1 z))) into 1.0
7.400 * [taylor]: Taking taylor expansion of 1.0 in z
7.400 * [backup-simplify]: Simplify 1.0 into 1.0
7.400 * [backup-simplify]: Simplify 1.0 into 1.0
7.401 * [backup-simplify]: Simplify (+ (* -4.0 1) (* 0 0)) into (- 4.0)
7.401 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.401 * [backup-simplify]: Simplify (+ (* (- 4.0) (* z (* (/ 1 y) 1))) (+ 1.0 (* 4.0 (* 1 (* (/ 1 y) x))))) into (- (+ (* 4.0 (/ x y)) 1.0) (* 4.0 (/ z y)))
7.402 * [backup-simplify]: Simplify (/ (* 4.0 (- (+ (/ 1 x) (* (/ 1 y) 0.25)) (/ 1 z))) (/ 1 y)) into (* 4.0 (* (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) y))
7.402 * [approximate]: Taking taylor expansion of (* 4.0 (* (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) y)) in (x y z) around 0
7.402 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) y)) in z
7.402 * [taylor]: Taking taylor expansion of 4.0 in z
7.402 * [backup-simplify]: Simplify 4.0 into 4.0
7.402 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) y) in z
7.402 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) in z
7.402 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 y)) (/ 1 x)) in z
7.402 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 y)) in z
7.402 * [taylor]: Taking taylor expansion of 0.25 in z
7.402 * [backup-simplify]: Simplify 0.25 into 0.25
7.402 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.402 * [taylor]: Taking taylor expansion of y in z
7.402 * [backup-simplify]: Simplify y into y
7.402 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.402 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.402 * [taylor]: Taking taylor expansion of x in z
7.402 * [backup-simplify]: Simplify x into x
7.402 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.402 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.402 * [taylor]: Taking taylor expansion of z in z
7.402 * [backup-simplify]: Simplify 0 into 0
7.402 * [backup-simplify]: Simplify 1 into 1
7.402 * [backup-simplify]: Simplify (/ 1 1) into 1
7.403 * [taylor]: Taking taylor expansion of y in z
7.403 * [backup-simplify]: Simplify y into y
7.403 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) y)) in y
7.403 * [taylor]: Taking taylor expansion of 4.0 in y
7.403 * [backup-simplify]: Simplify 4.0 into 4.0
7.403 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) y) in y
7.403 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) in y
7.403 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 y)) (/ 1 x)) in y
7.403 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 y)) in y
7.403 * [taylor]: Taking taylor expansion of 0.25 in y
7.403 * [backup-simplify]: Simplify 0.25 into 0.25
7.403 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.403 * [taylor]: Taking taylor expansion of y in y
7.403 * [backup-simplify]: Simplify 0 into 0
7.403 * [backup-simplify]: Simplify 1 into 1
7.403 * [backup-simplify]: Simplify (/ 1 1) into 1
7.403 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.403 * [taylor]: Taking taylor expansion of x in y
7.403 * [backup-simplify]: Simplify x into x
7.403 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.403 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.403 * [taylor]: Taking taylor expansion of z in y
7.403 * [backup-simplify]: Simplify z into z
7.403 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.403 * [taylor]: Taking taylor expansion of y in y
7.403 * [backup-simplify]: Simplify 0 into 0
7.403 * [backup-simplify]: Simplify 1 into 1
7.403 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) y)) in x
7.403 * [taylor]: Taking taylor expansion of 4.0 in x
7.403 * [backup-simplify]: Simplify 4.0 into 4.0
7.403 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) y) in x
7.403 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) in x
7.403 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 y)) (/ 1 x)) in x
7.403 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 y)) in x
7.403 * [taylor]: Taking taylor expansion of 0.25 in x
7.403 * [backup-simplify]: Simplify 0.25 into 0.25
7.404 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.404 * [taylor]: Taking taylor expansion of y in x
7.404 * [backup-simplify]: Simplify y into y
7.404 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.404 * [taylor]: Taking taylor expansion of x in x
7.404 * [backup-simplify]: Simplify 0 into 0
7.404 * [backup-simplify]: Simplify 1 into 1
7.404 * [backup-simplify]: Simplify (/ 1 1) into 1
7.404 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.404 * [taylor]: Taking taylor expansion of z in x
7.404 * [backup-simplify]: Simplify z into z
7.404 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.404 * [taylor]: Taking taylor expansion of y in x
7.404 * [backup-simplify]: Simplify y into y
7.404 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) y)) in x
7.404 * [taylor]: Taking taylor expansion of 4.0 in x
7.404 * [backup-simplify]: Simplify 4.0 into 4.0
7.404 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) y) in x
7.404 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) in x
7.404 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 y)) (/ 1 x)) in x
7.404 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 y)) in x
7.404 * [taylor]: Taking taylor expansion of 0.25 in x
7.404 * [backup-simplify]: Simplify 0.25 into 0.25
7.404 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.404 * [taylor]: Taking taylor expansion of y in x
7.404 * [backup-simplify]: Simplify y into y
7.404 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.404 * [taylor]: Taking taylor expansion of x in x
7.404 * [backup-simplify]: Simplify 0 into 0
7.404 * [backup-simplify]: Simplify 1 into 1
7.405 * [backup-simplify]: Simplify (/ 1 1) into 1
7.405 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.405 * [taylor]: Taking taylor expansion of z in x
7.405 * [backup-simplify]: Simplify z into z
7.405 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.405 * [taylor]: Taking taylor expansion of y in x
7.405 * [backup-simplify]: Simplify y into y
7.405 * [backup-simplify]: Simplify (+ 0 1) into 1
7.405 * [backup-simplify]: Simplify (+ 1 0) into 1
7.405 * [backup-simplify]: Simplify (* 1 y) into y
7.405 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
7.405 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
7.406 * [taylor]: Taking taylor expansion of 4.0 in y
7.406 * [backup-simplify]: Simplify 4.0 into 4.0
7.406 * [taylor]: Taking taylor expansion of y in y
7.406 * [backup-simplify]: Simplify 0 into 0
7.406 * [backup-simplify]: Simplify 1 into 1
7.406 * [backup-simplify]: Simplify (* 0.25 (/ 1 y)) into (/ 0.25 y)
7.406 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.406 * [backup-simplify]: Simplify (+ (/ 0.25 y) 0) into (* 0.25 (/ 1 y))
7.406 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.406 * [backup-simplify]: Simplify (+ (* 0.25 (/ 1 y)) (- (/ 1 z))) into (- (* 0.25 (/ 1 y)) (/ 1 z))
7.407 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (* 0.25 (/ 1 y)) (/ 1 z)) y)) into (- 0.25 (/ y z))
7.407 * [backup-simplify]: Simplify (+ (* 4.0 (- 0.25 (/ y z))) (* 0 y)) into (- 1.0 (* 4.0 (/ y z)))
7.407 * [taylor]: Taking taylor expansion of (- 1.0 (* 4.0 (/ y z))) in y
7.407 * [taylor]: Taking taylor expansion of 1.0 in y
7.407 * [backup-simplify]: Simplify 1.0 into 1.0
7.407 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
7.407 * [taylor]: Taking taylor expansion of 4.0 in y
7.407 * [backup-simplify]: Simplify 4.0 into 4.0
7.407 * [taylor]: Taking taylor expansion of (/ y z) in y
7.407 * [taylor]: Taking taylor expansion of y in y
7.407 * [backup-simplify]: Simplify 0 into 0
7.407 * [backup-simplify]: Simplify 1 into 1
7.407 * [taylor]: Taking taylor expansion of z in y
7.407 * [backup-simplify]: Simplify z into z
7.407 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.408 * [backup-simplify]: Simplify (* 4.0 0) into 0
7.408 * [taylor]: Taking taylor expansion of 0 in z
7.408 * [backup-simplify]: Simplify 0 into 0
7.408 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.408 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 y))) into 0
7.409 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.409 * [backup-simplify]: Simplify (+ 0 0) into 0
7.409 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.409 * [backup-simplify]: Simplify (- 0) into 0
7.409 * [backup-simplify]: Simplify (+ 0 0) into 0
7.410 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (* 0.25 (/ 1 y)) (/ 1 z)) 0) (* 0 y))) into 0
7.410 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (- 0.25 (/ y z))) (* 0 y))) into 0
7.410 * [taylor]: Taking taylor expansion of 0 in y
7.410 * [backup-simplify]: Simplify 0 into 0
7.411 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
7.411 * [taylor]: Taking taylor expansion of 1.0 in z
7.411 * [backup-simplify]: Simplify 1.0 into 1.0
7.412 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
7.412 * [taylor]: Taking taylor expansion of 4.0 in z
7.412 * [backup-simplify]: Simplify 4.0 into 4.0
7.412 * [backup-simplify]: Simplify 0 into 0
7.412 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.412 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
7.413 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.413 * [backup-simplify]: Simplify (+ 0 0) into 0
7.414 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.414 * [backup-simplify]: Simplify (- 0) into 0
7.414 * [backup-simplify]: Simplify (+ 0 0) into 0
7.415 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (* 0.25 (/ 1 y)) (/ 1 z)) 0) (+ (* 0 0) (* 0 y)))) into 0
7.415 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 (- 0.25 (/ y z))) (* 0 y)))) into 0
7.415 * [taylor]: Taking taylor expansion of 0 in y
7.415 * [backup-simplify]: Simplify 0 into 0
7.415 * [taylor]: Taking taylor expansion of 0 in z
7.415 * [backup-simplify]: Simplify 0 into 0
7.416 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
7.416 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
7.416 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 z)))) into (- (* 4.0 (/ 1 z)))
7.416 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
7.416 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
7.416 * [taylor]: Taking taylor expansion of 4.0 in z
7.416 * [backup-simplify]: Simplify 4.0 into 4.0
7.416 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.416 * [taylor]: Taking taylor expansion of z in z
7.416 * [backup-simplify]: Simplify 0 into 0
7.416 * [backup-simplify]: Simplify 1 into 1
7.416 * [backup-simplify]: Simplify (/ 1 1) into 1
7.417 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
7.417 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.417 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.418 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
7.418 * [taylor]: Taking taylor expansion of 0 in z
7.418 * [backup-simplify]: Simplify 0 into 0
7.418 * [backup-simplify]: Simplify 1.0 into 1.0
7.418 * [backup-simplify]: Simplify 4.0 into 4.0
7.418 * [backup-simplify]: Simplify (+ (* 4.0 (* 1 (* (/ 1 y) (/ 1 (/ 1 x))))) (+ 1.0 (* (- 4.0) (* (/ 1 (/ 1 z)) (* (/ 1 y) 1))))) into (- (+ (* 4.0 (/ x y)) 1.0) (* 4.0 (/ z y)))
7.419 * [backup-simplify]: Simplify (/ (* 4.0 (- (+ (/ 1 (- x)) (* (/ 1 (- y)) 0.25)) (/ 1 (- z)))) (/ 1 (- y))) into (* -4.0 (* (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) y))
7.419 * [approximate]: Taking taylor expansion of (* -4.0 (* (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) y)) in (x y z) around 0
7.419 * [taylor]: Taking taylor expansion of (* -4.0 (* (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) y)) in z
7.419 * [taylor]: Taking taylor expansion of -4.0 in z
7.419 * [backup-simplify]: Simplify -4.0 into -4.0
7.419 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) y) in z
7.419 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) in z
7.419 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.419 * [taylor]: Taking taylor expansion of z in z
7.419 * [backup-simplify]: Simplify 0 into 0
7.419 * [backup-simplify]: Simplify 1 into 1
7.419 * [backup-simplify]: Simplify (/ 1 1) into 1
7.419 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 y)) (/ 1 x)) in z
7.419 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 y)) in z
7.419 * [taylor]: Taking taylor expansion of 0.25 in z
7.419 * [backup-simplify]: Simplify 0.25 into 0.25
7.419 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.419 * [taylor]: Taking taylor expansion of y in z
7.419 * [backup-simplify]: Simplify y into y
7.419 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.419 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.419 * [taylor]: Taking taylor expansion of x in z
7.419 * [backup-simplify]: Simplify x into x
7.420 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.420 * [taylor]: Taking taylor expansion of y in z
7.420 * [backup-simplify]: Simplify y into y
7.420 * [taylor]: Taking taylor expansion of (* -4.0 (* (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) y)) in y
7.420 * [taylor]: Taking taylor expansion of -4.0 in y
7.420 * [backup-simplify]: Simplify -4.0 into -4.0
7.420 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) y) in y
7.420 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) in y
7.420 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.420 * [taylor]: Taking taylor expansion of z in y
7.420 * [backup-simplify]: Simplify z into z
7.420 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.420 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 y)) (/ 1 x)) in y
7.420 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 y)) in y
7.420 * [taylor]: Taking taylor expansion of 0.25 in y
7.420 * [backup-simplify]: Simplify 0.25 into 0.25
7.420 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.420 * [taylor]: Taking taylor expansion of y in y
7.420 * [backup-simplify]: Simplify 0 into 0
7.420 * [backup-simplify]: Simplify 1 into 1
7.420 * [backup-simplify]: Simplify (/ 1 1) into 1
7.420 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.420 * [taylor]: Taking taylor expansion of x in y
7.420 * [backup-simplify]: Simplify x into x
7.420 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.420 * [taylor]: Taking taylor expansion of y in y
7.420 * [backup-simplify]: Simplify 0 into 0
7.420 * [backup-simplify]: Simplify 1 into 1
7.420 * [taylor]: Taking taylor expansion of (* -4.0 (* (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) y)) in x
7.420 * [taylor]: Taking taylor expansion of -4.0 in x
7.420 * [backup-simplify]: Simplify -4.0 into -4.0
7.420 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) y) in x
7.420 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) in x
7.420 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.420 * [taylor]: Taking taylor expansion of z in x
7.421 * [backup-simplify]: Simplify z into z
7.421 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.421 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 y)) (/ 1 x)) in x
7.421 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 y)) in x
7.421 * [taylor]: Taking taylor expansion of 0.25 in x
7.421 * [backup-simplify]: Simplify 0.25 into 0.25
7.421 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.421 * [taylor]: Taking taylor expansion of y in x
7.421 * [backup-simplify]: Simplify y into y
7.421 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.421 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.421 * [taylor]: Taking taylor expansion of x in x
7.421 * [backup-simplify]: Simplify 0 into 0
7.421 * [backup-simplify]: Simplify 1 into 1
7.421 * [backup-simplify]: Simplify (/ 1 1) into 1
7.421 * [taylor]: Taking taylor expansion of y in x
7.421 * [backup-simplify]: Simplify y into y
7.421 * [taylor]: Taking taylor expansion of (* -4.0 (* (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) y)) in x
7.421 * [taylor]: Taking taylor expansion of -4.0 in x
7.421 * [backup-simplify]: Simplify -4.0 into -4.0
7.421 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) y) in x
7.421 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) in x
7.421 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.421 * [taylor]: Taking taylor expansion of z in x
7.421 * [backup-simplify]: Simplify z into z
7.421 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.421 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 y)) (/ 1 x)) in x
7.421 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 y)) in x
7.422 * [taylor]: Taking taylor expansion of 0.25 in x
7.422 * [backup-simplify]: Simplify 0.25 into 0.25
7.422 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.422 * [taylor]: Taking taylor expansion of y in x
7.422 * [backup-simplify]: Simplify y into y
7.422 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.422 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.422 * [taylor]: Taking taylor expansion of x in x
7.422 * [backup-simplify]: Simplify 0 into 0
7.422 * [backup-simplify]: Simplify 1 into 1
7.422 * [backup-simplify]: Simplify (/ 1 1) into 1
7.422 * [taylor]: Taking taylor expansion of y in x
7.422 * [backup-simplify]: Simplify y into y
7.423 * [backup-simplify]: Simplify (+ 0 1) into 1
7.423 * [backup-simplify]: Simplify (- 1) into -1
7.424 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.424 * [backup-simplify]: Simplify (* -1 y) into (* -1 y)
7.424 * [backup-simplify]: Simplify (* -4.0 (* -1 y)) into (* 4.0 y)
7.424 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
7.424 * [taylor]: Taking taylor expansion of 4.0 in y
7.424 * [backup-simplify]: Simplify 4.0 into 4.0
7.424 * [taylor]: Taking taylor expansion of y in y
7.424 * [backup-simplify]: Simplify 0 into 0
7.424 * [backup-simplify]: Simplify 1 into 1
7.424 * [backup-simplify]: Simplify (* 0.25 (/ 1 y)) into (/ 0.25 y)
7.425 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.425 * [backup-simplify]: Simplify (+ (/ 0.25 y) 0) into (* 0.25 (/ 1 y))
7.425 * [backup-simplify]: Simplify (- (* 0.25 (/ 1 y))) into (- (* 0.25 (/ 1 y)))
7.425 * [backup-simplify]: Simplify (+ (/ 1 z) (- (* 0.25 (/ 1 y)))) into (- (/ 1 z) (* 0.25 (/ 1 y)))
7.426 * [backup-simplify]: Simplify (+ (* -1 0) (* (- (/ 1 z) (* 0.25 (/ 1 y))) y)) into (- (/ y z) 0.25)
7.426 * [backup-simplify]: Simplify (+ (* -4.0 (- (/ y z) 0.25)) (* 0 (* -1 y))) into (- 1.0 (* 4.0 (/ y z)))
7.426 * [taylor]: Taking taylor expansion of (- 1.0 (* 4.0 (/ y z))) in y
7.426 * [taylor]: Taking taylor expansion of 1.0 in y
7.426 * [backup-simplify]: Simplify 1.0 into 1.0
7.426 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
7.426 * [taylor]: Taking taylor expansion of 4.0 in y
7.426 * [backup-simplify]: Simplify 4.0 into 4.0
7.426 * [taylor]: Taking taylor expansion of (/ y z) in y
7.426 * [taylor]: Taking taylor expansion of y in y
7.426 * [backup-simplify]: Simplify 0 into 0
7.426 * [backup-simplify]: Simplify 1 into 1
7.426 * [taylor]: Taking taylor expansion of z in y
7.427 * [backup-simplify]: Simplify z into z
7.427 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.435 * [backup-simplify]: Simplify (* 4.0 0) into 0
7.435 * [taylor]: Taking taylor expansion of 0 in z
7.435 * [backup-simplify]: Simplify 0 into 0
7.435 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.435 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.436 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 y))) into 0
7.438 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.438 * [backup-simplify]: Simplify (+ 0 0) into 0
7.438 * [backup-simplify]: Simplify (- 0) into 0
7.439 * [backup-simplify]: Simplify (+ 0 0) into 0
7.439 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (- (/ 1 z) (* 0.25 (/ 1 y))) 0) (* 0 y))) into 0
7.440 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 (- (/ y z) 0.25)) (* 0 (* -1 y)))) into 0
7.440 * [taylor]: Taking taylor expansion of 0 in y
7.440 * [backup-simplify]: Simplify 0 into 0
7.441 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
7.441 * [taylor]: Taking taylor expansion of 1.0 in z
7.441 * [backup-simplify]: Simplify 1.0 into 1.0
7.442 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
7.442 * [taylor]: Taking taylor expansion of 4.0 in z
7.442 * [backup-simplify]: Simplify 4.0 into 4.0
7.442 * [backup-simplify]: Simplify 0 into 0
7.443 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.443 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.444 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
7.444 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.445 * [backup-simplify]: Simplify (+ 0 0) into 0
7.445 * [backup-simplify]: Simplify (- 0) into 0
7.446 * [backup-simplify]: Simplify (+ 0 0) into 0
7.447 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (- (/ 1 z) (* 0.25 (/ 1 y))) 0) (+ (* 0 0) (* 0 y)))) into 0
7.448 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 0) (+ (* 0 (- (/ y z) 0.25)) (* 0 (* -1 y))))) into 0
7.448 * [taylor]: Taking taylor expansion of 0 in y
7.448 * [backup-simplify]: Simplify 0 into 0
7.448 * [taylor]: Taking taylor expansion of 0 in z
7.448 * [backup-simplify]: Simplify 0 into 0
7.448 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
7.448 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
7.448 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 z)))) into (- (* 4.0 (/ 1 z)))
7.448 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
7.448 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
7.448 * [taylor]: Taking taylor expansion of 4.0 in z
7.448 * [backup-simplify]: Simplify 4.0 into 4.0
7.448 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.448 * [taylor]: Taking taylor expansion of z in z
7.448 * [backup-simplify]: Simplify 0 into 0
7.448 * [backup-simplify]: Simplify 1 into 1
7.449 * [backup-simplify]: Simplify (/ 1 1) into 1
7.449 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
7.450 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.450 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.451 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
7.451 * [taylor]: Taking taylor expansion of 0 in z
7.451 * [backup-simplify]: Simplify 0 into 0
7.451 * [backup-simplify]: Simplify 1.0 into 1.0
7.451 * [backup-simplify]: Simplify 4.0 into 4.0
7.452 * [backup-simplify]: Simplify (+ (* 4.0 (* 1 (* (/ 1 (- y)) (/ 1 (/ 1 (- x)))))) (+ 1.0 (* (- 4.0) (* (/ 1 (/ 1 (- z))) (* (/ 1 (- y)) 1))))) into (- (+ (* 4.0 (/ x y)) 1.0) (* 4.0 (/ z y)))
7.452 * * * * [progress]: [ 2 / 2 ] generating series at (2)
7.453 * [backup-simplify]: Simplify (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)) into (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y)))
7.453 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in (x y z) around 0
7.453 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in z
7.453 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in z
7.453 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in z
7.453 * [taylor]: Taking taylor expansion of 4.0 in z
7.453 * [backup-simplify]: Simplify 4.0 into 4.0
7.453 * [taylor]: Taking taylor expansion of (/ x y) in z
7.453 * [taylor]: Taking taylor expansion of x in z
7.453 * [backup-simplify]: Simplify x into x
7.453 * [taylor]: Taking taylor expansion of y in z
7.453 * [backup-simplify]: Simplify y into y
7.453 * [backup-simplify]: Simplify (/ x y) into (/ x y)
7.453 * [taylor]: Taking taylor expansion of 2.0 in z
7.453 * [backup-simplify]: Simplify 2.0 into 2.0
7.453 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in z
7.453 * [taylor]: Taking taylor expansion of 4.0 in z
7.453 * [backup-simplify]: Simplify 4.0 into 4.0
7.453 * [taylor]: Taking taylor expansion of (/ z y) in z
7.453 * [taylor]: Taking taylor expansion of z in z
7.453 * [backup-simplify]: Simplify 0 into 0
7.453 * [backup-simplify]: Simplify 1 into 1
7.453 * [taylor]: Taking taylor expansion of y in z
7.453 * [backup-simplify]: Simplify y into y
7.453 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.454 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in y
7.454 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in y
7.454 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in y
7.454 * [taylor]: Taking taylor expansion of 4.0 in y
7.454 * [backup-simplify]: Simplify 4.0 into 4.0
7.454 * [taylor]: Taking taylor expansion of (/ x y) in y
7.454 * [taylor]: Taking taylor expansion of x in y
7.454 * [backup-simplify]: Simplify x into x
7.454 * [taylor]: Taking taylor expansion of y in y
7.454 * [backup-simplify]: Simplify 0 into 0
7.454 * [backup-simplify]: Simplify 1 into 1
7.454 * [backup-simplify]: Simplify (/ x 1) into x
7.454 * [taylor]: Taking taylor expansion of 2.0 in y
7.454 * [backup-simplify]: Simplify 2.0 into 2.0
7.454 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y
7.454 * [taylor]: Taking taylor expansion of 4.0 in y
7.454 * [backup-simplify]: Simplify 4.0 into 4.0
7.454 * [taylor]: Taking taylor expansion of (/ z y) in y
7.454 * [taylor]: Taking taylor expansion of z in y
7.454 * [backup-simplify]: Simplify z into z
7.454 * [taylor]: Taking taylor expansion of y in y
7.454 * [backup-simplify]: Simplify 0 into 0
7.454 * [backup-simplify]: Simplify 1 into 1
7.454 * [backup-simplify]: Simplify (/ z 1) into z
7.454 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in x
7.454 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in x
7.454 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in x
7.454 * [taylor]: Taking taylor expansion of 4.0 in x
7.454 * [backup-simplify]: Simplify 4.0 into 4.0
7.454 * [taylor]: Taking taylor expansion of (/ x y) in x
7.454 * [taylor]: Taking taylor expansion of x in x
7.454 * [backup-simplify]: Simplify 0 into 0
7.454 * [backup-simplify]: Simplify 1 into 1
7.454 * [taylor]: Taking taylor expansion of y in x
7.455 * [backup-simplify]: Simplify y into y
7.455 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.455 * [taylor]: Taking taylor expansion of 2.0 in x
7.455 * [backup-simplify]: Simplify 2.0 into 2.0
7.455 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in x
7.455 * [taylor]: Taking taylor expansion of 4.0 in x
7.455 * [backup-simplify]: Simplify 4.0 into 4.0
7.455 * [taylor]: Taking taylor expansion of (/ z y) in x
7.455 * [taylor]: Taking taylor expansion of z in x
7.455 * [backup-simplify]: Simplify z into z
7.455 * [taylor]: Taking taylor expansion of y in x
7.455 * [backup-simplify]: Simplify y into y
7.455 * [backup-simplify]: Simplify (/ z y) into (/ z y)
7.455 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in x
7.455 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in x
7.455 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in x
7.455 * [taylor]: Taking taylor expansion of 4.0 in x
7.455 * [backup-simplify]: Simplify 4.0 into 4.0
7.455 * [taylor]: Taking taylor expansion of (/ x y) in x
7.455 * [taylor]: Taking taylor expansion of x in x
7.455 * [backup-simplify]: Simplify 0 into 0
7.455 * [backup-simplify]: Simplify 1 into 1
7.455 * [taylor]: Taking taylor expansion of y in x
7.455 * [backup-simplify]: Simplify y into y
7.455 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.455 * [taylor]: Taking taylor expansion of 2.0 in x
7.455 * [backup-simplify]: Simplify 2.0 into 2.0
7.455 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in x
7.455 * [taylor]: Taking taylor expansion of 4.0 in x
7.455 * [backup-simplify]: Simplify 4.0 into 4.0
7.455 * [taylor]: Taking taylor expansion of (/ z y) in x
7.455 * [taylor]: Taking taylor expansion of z in x
7.455 * [backup-simplify]: Simplify z into z
7.455 * [taylor]: Taking taylor expansion of y in x
7.455 * [backup-simplify]: Simplify y into y
7.456 * [backup-simplify]: Simplify (/ z y) into (/ z y)
7.456 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
7.456 * [backup-simplify]: Simplify (* 4.0 (/ z y)) into (* 4.0 (/ z y))
7.456 * [backup-simplify]: Simplify (- (* 4.0 (/ z y))) into (- (* 4.0 (/ z y)))
7.457 * [backup-simplify]: Simplify (+ 2.0 (- (* 4.0 (/ z y)))) into (- 2.0 (* 4.0 (/ z y)))
7.457 * [taylor]: Taking taylor expansion of (- 2.0 (* 4.0 (/ z y))) in y
7.457 * [taylor]: Taking taylor expansion of 2.0 in y
7.457 * [backup-simplify]: Simplify 2.0 into 2.0
7.457 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y
7.457 * [taylor]: Taking taylor expansion of 4.0 in y
7.457 * [backup-simplify]: Simplify 4.0 into 4.0
7.457 * [taylor]: Taking taylor expansion of (/ z y) in y
7.457 * [taylor]: Taking taylor expansion of z in y
7.457 * [backup-simplify]: Simplify z into z
7.457 * [taylor]: Taking taylor expansion of y in y
7.457 * [backup-simplify]: Simplify 0 into 0
7.457 * [backup-simplify]: Simplify 1 into 1
7.457 * [backup-simplify]: Simplify (/ z 1) into z
7.457 * [backup-simplify]: Simplify (* 4.0 z) into (* 4.0 z)
7.457 * [backup-simplify]: Simplify (- (* 4.0 z)) into (- (* 4.0 z))
7.457 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 z))) into (- (* 4.0 z))
7.457 * [taylor]: Taking taylor expansion of (- (* 4.0 z)) in z
7.457 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
7.457 * [taylor]: Taking taylor expansion of 4.0 in z
7.457 * [backup-simplify]: Simplify 4.0 into 4.0
7.457 * [taylor]: Taking taylor expansion of z in z
7.457 * [backup-simplify]: Simplify 0 into 0
7.458 * [backup-simplify]: Simplify 1 into 1
7.458 * [backup-simplify]: Simplify (* 4.0 0) into 0
7.458 * [backup-simplify]: Simplify (- 0) into 0
7.458 * [backup-simplify]: Simplify 0 into 0
7.458 * [backup-simplify]: Simplify (* 4.0 (/ 1 y)) into (/ 4.0 y)
7.459 * [backup-simplify]: Simplify (+ (/ 4.0 y) 0) into (* 4.0 (/ 1 y))
7.459 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
7.459 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ z y))) into 0
7.460 * [backup-simplify]: Simplify (- 0) into 0
7.460 * [backup-simplify]: Simplify (+ (* 4.0 (/ 1 y)) 0) into (* 4.0 (/ 1 y))
7.460 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
7.460 * [taylor]: Taking taylor expansion of 4.0 in y
7.460 * [backup-simplify]: Simplify 4.0 into 4.0
7.460 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.460 * [taylor]: Taking taylor expansion of y in y
7.460 * [backup-simplify]: Simplify 0 into 0
7.460 * [backup-simplify]: Simplify 1 into 1
7.460 * [backup-simplify]: Simplify (/ 1 1) into 1
7.461 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
7.461 * [taylor]: Taking taylor expansion of 4.0 in z
7.461 * [backup-simplify]: Simplify 4.0 into 4.0
7.461 * [backup-simplify]: Simplify 4.0 into 4.0
7.462 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
7.462 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 z)) into 0
7.463 * [backup-simplify]: Simplify (- 0) into 0
7.463 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
7.463 * [taylor]: Taking taylor expansion of 2.0 in z
7.463 * [backup-simplify]: Simplify 2.0 into 2.0
7.463 * [backup-simplify]: Simplify 2.0 into 2.0
7.465 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
7.465 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.466 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.466 * [backup-simplify]: Simplify (+ (* (- 4.0) (* z (* (/ 1 y) 1))) (+ 2.0 (* 4.0 (* 1 (* (/ 1 y) x))))) into (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y)))
7.467 * [backup-simplify]: Simplify (+ 1.0 (/ (* 4.0 (- (+ (/ 1 x) (* (/ 1 y) 0.25)) (/ 1 z))) (/ 1 y))) into (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z)))
7.467 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in (x y z) around 0
7.467 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in z
7.467 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in z
7.467 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z
7.467 * [taylor]: Taking taylor expansion of 4.0 in z
7.467 * [backup-simplify]: Simplify 4.0 into 4.0
7.467 * [taylor]: Taking taylor expansion of (/ y x) in z
7.467 * [taylor]: Taking taylor expansion of y in z
7.467 * [backup-simplify]: Simplify y into y
7.467 * [taylor]: Taking taylor expansion of x in z
7.467 * [backup-simplify]: Simplify x into x
7.467 * [backup-simplify]: Simplify (/ y x) into (/ y x)
7.467 * [taylor]: Taking taylor expansion of 2.0 in z
7.467 * [backup-simplify]: Simplify 2.0 into 2.0
7.468 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z
7.468 * [taylor]: Taking taylor expansion of 4.0 in z
7.468 * [backup-simplify]: Simplify 4.0 into 4.0
7.468 * [taylor]: Taking taylor expansion of (/ y z) in z
7.468 * [taylor]: Taking taylor expansion of y in z
7.468 * [backup-simplify]: Simplify y into y
7.468 * [taylor]: Taking taylor expansion of z in z
7.468 * [backup-simplify]: Simplify 0 into 0
7.468 * [backup-simplify]: Simplify 1 into 1
7.468 * [backup-simplify]: Simplify (/ y 1) into y
7.468 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in y
7.468 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in y
7.468 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in y
7.468 * [taylor]: Taking taylor expansion of 4.0 in y
7.468 * [backup-simplify]: Simplify 4.0 into 4.0
7.468 * [taylor]: Taking taylor expansion of (/ y x) in y
7.468 * [taylor]: Taking taylor expansion of y in y
7.468 * [backup-simplify]: Simplify 0 into 0
7.468 * [backup-simplify]: Simplify 1 into 1
7.468 * [taylor]: Taking taylor expansion of x in y
7.468 * [backup-simplify]: Simplify x into x
7.468 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.468 * [taylor]: Taking taylor expansion of 2.0 in y
7.468 * [backup-simplify]: Simplify 2.0 into 2.0
7.468 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
7.468 * [taylor]: Taking taylor expansion of 4.0 in y
7.468 * [backup-simplify]: Simplify 4.0 into 4.0
7.468 * [taylor]: Taking taylor expansion of (/ y z) in y
7.468 * [taylor]: Taking taylor expansion of y in y
7.468 * [backup-simplify]: Simplify 0 into 0
7.468 * [backup-simplify]: Simplify 1 into 1
7.468 * [taylor]: Taking taylor expansion of z in y
7.469 * [backup-simplify]: Simplify z into z
7.469 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.469 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in x
7.469 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x
7.469 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x
7.469 * [taylor]: Taking taylor expansion of 4.0 in x
7.469 * [backup-simplify]: Simplify 4.0 into 4.0
7.469 * [taylor]: Taking taylor expansion of (/ y x) in x
7.469 * [taylor]: Taking taylor expansion of y in x
7.469 * [backup-simplify]: Simplify y into y
7.469 * [taylor]: Taking taylor expansion of x in x
7.469 * [backup-simplify]: Simplify 0 into 0
7.469 * [backup-simplify]: Simplify 1 into 1
7.469 * [backup-simplify]: Simplify (/ y 1) into y
7.469 * [taylor]: Taking taylor expansion of 2.0 in x
7.469 * [backup-simplify]: Simplify 2.0 into 2.0
7.469 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x
7.469 * [taylor]: Taking taylor expansion of 4.0 in x
7.469 * [backup-simplify]: Simplify 4.0 into 4.0
7.469 * [taylor]: Taking taylor expansion of (/ y z) in x
7.469 * [taylor]: Taking taylor expansion of y in x
7.469 * [backup-simplify]: Simplify y into y
7.469 * [taylor]: Taking taylor expansion of z in x
7.469 * [backup-simplify]: Simplify z into z
7.469 * [backup-simplify]: Simplify (/ y z) into (/ y z)
7.469 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in x
7.469 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x
7.469 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x
7.469 * [taylor]: Taking taylor expansion of 4.0 in x
7.470 * [backup-simplify]: Simplify 4.0 into 4.0
7.470 * [taylor]: Taking taylor expansion of (/ y x) in x
7.470 * [taylor]: Taking taylor expansion of y in x
7.470 * [backup-simplify]: Simplify y into y
7.470 * [taylor]: Taking taylor expansion of x in x
7.470 * [backup-simplify]: Simplify 0 into 0
7.470 * [backup-simplify]: Simplify 1 into 1
7.470 * [backup-simplify]: Simplify (/ y 1) into y
7.470 * [taylor]: Taking taylor expansion of 2.0 in x
7.470 * [backup-simplify]: Simplify 2.0 into 2.0
7.470 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x
7.470 * [taylor]: Taking taylor expansion of 4.0 in x
7.470 * [backup-simplify]: Simplify 4.0 into 4.0
7.470 * [taylor]: Taking taylor expansion of (/ y z) in x
7.470 * [taylor]: Taking taylor expansion of y in x
7.470 * [backup-simplify]: Simplify y into y
7.470 * [taylor]: Taking taylor expansion of z in x
7.470 * [backup-simplify]: Simplify z into z
7.470 * [backup-simplify]: Simplify (/ y z) into (/ y z)
7.470 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
7.470 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y)
7.470 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y)
7.470 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
7.471 * [taylor]: Taking taylor expansion of 4.0 in y
7.471 * [backup-simplify]: Simplify 4.0 into 4.0
7.471 * [taylor]: Taking taylor expansion of y in y
7.471 * [backup-simplify]: Simplify 0 into 0
7.471 * [backup-simplify]: Simplify 1 into 1
7.471 * [backup-simplify]: Simplify (* 4.0 0) into 0
7.471 * [taylor]: Taking taylor expansion of 0 in z
7.471 * [backup-simplify]: Simplify 0 into 0
7.472 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
7.473 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0
7.473 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
7.473 * [backup-simplify]: Simplify (* 4.0 (/ y z)) into (* 4.0 (/ y z))
7.473 * [backup-simplify]: Simplify (- (* 4.0 (/ y z))) into (- (* 4.0 (/ y z)))
7.474 * [backup-simplify]: Simplify (+ 2.0 (- (* 4.0 (/ y z)))) into (- 2.0 (* 4.0 (/ y z)))
7.474 * [taylor]: Taking taylor expansion of (- 2.0 (* 4.0 (/ y z))) in y
7.474 * [taylor]: Taking taylor expansion of 2.0 in y
7.474 * [backup-simplify]: Simplify 2.0 into 2.0
7.474 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
7.474 * [taylor]: Taking taylor expansion of 4.0 in y
7.474 * [backup-simplify]: Simplify 4.0 into 4.0
7.474 * [taylor]: Taking taylor expansion of (/ y z) in y
7.474 * [taylor]: Taking taylor expansion of y in y
7.474 * [backup-simplify]: Simplify 0 into 0
7.474 * [backup-simplify]: Simplify 1 into 1
7.474 * [taylor]: Taking taylor expansion of z in y
7.474 * [backup-simplify]: Simplify z into z
7.474 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.474 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
7.474 * [taylor]: Taking taylor expansion of 2.0 in z
7.475 * [backup-simplify]: Simplify 2.0 into 2.0
7.476 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
7.476 * [taylor]: Taking taylor expansion of 4.0 in z
7.476 * [backup-simplify]: Simplify 4.0 into 4.0
7.476 * [backup-simplify]: Simplify 0 into 0
7.478 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.479 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 y))) into 0
7.479 * [backup-simplify]: Simplify (+ 0 0) into 0
7.479 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
7.480 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ y z))) into 0
7.480 * [backup-simplify]: Simplify (- 0) into 0
7.481 * [backup-simplify]: Simplify (+ 0 0) into 0
7.481 * [taylor]: Taking taylor expansion of 0 in y
7.481 * [backup-simplify]: Simplify 0 into 0
7.481 * [taylor]: Taking taylor expansion of 0 in z
7.481 * [backup-simplify]: Simplify 0 into 0
7.481 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
7.481 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
7.481 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 z)))) into (- (* 4.0 (/ 1 z)))
7.481 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
7.481 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
7.481 * [taylor]: Taking taylor expansion of 4.0 in z
7.481 * [backup-simplify]: Simplify 4.0 into 4.0
7.481 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.481 * [taylor]: Taking taylor expansion of z in z
7.481 * [backup-simplify]: Simplify 0 into 0
7.482 * [backup-simplify]: Simplify 1 into 1
7.482 * [backup-simplify]: Simplify (/ 1 1) into 1
7.482 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
7.483 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.483 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.484 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
7.484 * [taylor]: Taking taylor expansion of 0 in z
7.484 * [backup-simplify]: Simplify 0 into 0
7.485 * [backup-simplify]: Simplify 2.0 into 2.0
7.485 * [backup-simplify]: Simplify 4.0 into 4.0
7.486 * [backup-simplify]: Simplify (+ (* 4.0 (* 1 (* (/ 1 y) (/ 1 (/ 1 x))))) (+ 2.0 (* (- 4.0) (* (/ 1 (/ 1 z)) (* (/ 1 y) 1))))) into (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y)))
7.486 * [backup-simplify]: Simplify (+ 1.0 (/ (* 4.0 (- (+ (/ 1 (- x)) (* (/ 1 (- y)) 0.25)) (/ 1 (- z)))) (/ 1 (- y)))) into (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z)))
7.486 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in (x y z) around 0
7.486 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in z
7.487 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in z
7.487 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z
7.487 * [taylor]: Taking taylor expansion of 4.0 in z
7.487 * [backup-simplify]: Simplify 4.0 into 4.0
7.487 * [taylor]: Taking taylor expansion of (/ y x) in z
7.487 * [taylor]: Taking taylor expansion of y in z
7.487 * [backup-simplify]: Simplify y into y
7.487 * [taylor]: Taking taylor expansion of x in z
7.487 * [backup-simplify]: Simplify x into x
7.487 * [backup-simplify]: Simplify (/ y x) into (/ y x)
7.487 * [taylor]: Taking taylor expansion of 2.0 in z
7.487 * [backup-simplify]: Simplify 2.0 into 2.0
7.487 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z
7.487 * [taylor]: Taking taylor expansion of 4.0 in z
7.487 * [backup-simplify]: Simplify 4.0 into 4.0
7.487 * [taylor]: Taking taylor expansion of (/ y z) in z
7.487 * [taylor]: Taking taylor expansion of y in z
7.487 * [backup-simplify]: Simplify y into y
7.487 * [taylor]: Taking taylor expansion of z in z
7.487 * [backup-simplify]: Simplify 0 into 0
7.487 * [backup-simplify]: Simplify 1 into 1
7.487 * [backup-simplify]: Simplify (/ y 1) into y
7.487 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in y
7.487 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in y
7.487 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in y
7.487 * [taylor]: Taking taylor expansion of 4.0 in y
7.487 * [backup-simplify]: Simplify 4.0 into 4.0
7.487 * [taylor]: Taking taylor expansion of (/ y x) in y
7.487 * [taylor]: Taking taylor expansion of y in y
7.487 * [backup-simplify]: Simplify 0 into 0
7.488 * [backup-simplify]: Simplify 1 into 1
7.488 * [taylor]: Taking taylor expansion of x in y
7.488 * [backup-simplify]: Simplify x into x
7.488 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.488 * [taylor]: Taking taylor expansion of 2.0 in y
7.488 * [backup-simplify]: Simplify 2.0 into 2.0
7.488 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
7.488 * [taylor]: Taking taylor expansion of 4.0 in y
7.488 * [backup-simplify]: Simplify 4.0 into 4.0
7.488 * [taylor]: Taking taylor expansion of (/ y z) in y
7.488 * [taylor]: Taking taylor expansion of y in y
7.488 * [backup-simplify]: Simplify 0 into 0
7.488 * [backup-simplify]: Simplify 1 into 1
7.488 * [taylor]: Taking taylor expansion of z in y
7.488 * [backup-simplify]: Simplify z into z
7.488 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.488 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in x
7.488 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x
7.488 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x
7.488 * [taylor]: Taking taylor expansion of 4.0 in x
7.488 * [backup-simplify]: Simplify 4.0 into 4.0
7.488 * [taylor]: Taking taylor expansion of (/ y x) in x
7.488 * [taylor]: Taking taylor expansion of y in x
7.488 * [backup-simplify]: Simplify y into y
7.488 * [taylor]: Taking taylor expansion of x in x
7.488 * [backup-simplify]: Simplify 0 into 0
7.488 * [backup-simplify]: Simplify 1 into 1
7.488 * [backup-simplify]: Simplify (/ y 1) into y
7.488 * [taylor]: Taking taylor expansion of 2.0 in x
7.489 * [backup-simplify]: Simplify 2.0 into 2.0
7.489 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x
7.489 * [taylor]: Taking taylor expansion of 4.0 in x
7.489 * [backup-simplify]: Simplify 4.0 into 4.0
7.489 * [taylor]: Taking taylor expansion of (/ y z) in x
7.489 * [taylor]: Taking taylor expansion of y in x
7.489 * [backup-simplify]: Simplify y into y
7.489 * [taylor]: Taking taylor expansion of z in x
7.489 * [backup-simplify]: Simplify z into z
7.489 * [backup-simplify]: Simplify (/ y z) into (/ y z)
7.489 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in x
7.489 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x
7.489 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x
7.489 * [taylor]: Taking taylor expansion of 4.0 in x
7.489 * [backup-simplify]: Simplify 4.0 into 4.0
7.489 * [taylor]: Taking taylor expansion of (/ y x) in x
7.489 * [taylor]: Taking taylor expansion of y in x
7.489 * [backup-simplify]: Simplify y into y
7.489 * [taylor]: Taking taylor expansion of x in x
7.489 * [backup-simplify]: Simplify 0 into 0
7.489 * [backup-simplify]: Simplify 1 into 1
7.489 * [backup-simplify]: Simplify (/ y 1) into y
7.489 * [taylor]: Taking taylor expansion of 2.0 in x
7.489 * [backup-simplify]: Simplify 2.0 into 2.0
7.489 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x
7.489 * [taylor]: Taking taylor expansion of 4.0 in x
7.489 * [backup-simplify]: Simplify 4.0 into 4.0
7.489 * [taylor]: Taking taylor expansion of (/ y z) in x
7.489 * [taylor]: Taking taylor expansion of y in x
7.489 * [backup-simplify]: Simplify y into y
7.489 * [taylor]: Taking taylor expansion of z in x
7.490 * [backup-simplify]: Simplify z into z
7.490 * [backup-simplify]: Simplify (/ y z) into (/ y z)
7.490 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
7.490 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y)
7.490 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y)
7.490 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
7.490 * [taylor]: Taking taylor expansion of 4.0 in y
7.490 * [backup-simplify]: Simplify 4.0 into 4.0
7.490 * [taylor]: Taking taylor expansion of y in y
7.490 * [backup-simplify]: Simplify 0 into 0
7.490 * [backup-simplify]: Simplify 1 into 1
7.491 * [backup-simplify]: Simplify (* 4.0 0) into 0
7.491 * [taylor]: Taking taylor expansion of 0 in z
7.491 * [backup-simplify]: Simplify 0 into 0
7.492 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
7.492 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0
7.493 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
7.493 * [backup-simplify]: Simplify (* 4.0 (/ y z)) into (* 4.0 (/ y z))
7.493 * [backup-simplify]: Simplify (- (* 4.0 (/ y z))) into (- (* 4.0 (/ y z)))
7.493 * [backup-simplify]: Simplify (+ 2.0 (- (* 4.0 (/ y z)))) into (- 2.0 (* 4.0 (/ y z)))
7.493 * [taylor]: Taking taylor expansion of (- 2.0 (* 4.0 (/ y z))) in y
7.493 * [taylor]: Taking taylor expansion of 2.0 in y
7.493 * [backup-simplify]: Simplify 2.0 into 2.0
7.493 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
7.493 * [taylor]: Taking taylor expansion of 4.0 in y
7.493 * [backup-simplify]: Simplify 4.0 into 4.0
7.493 * [taylor]: Taking taylor expansion of (/ y z) in y
7.493 * [taylor]: Taking taylor expansion of y in y
7.494 * [backup-simplify]: Simplify 0 into 0
7.494 * [backup-simplify]: Simplify 1 into 1
7.494 * [taylor]: Taking taylor expansion of z in y
7.494 * [backup-simplify]: Simplify z into z
7.494 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.494 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
7.494 * [taylor]: Taking taylor expansion of 2.0 in z
7.494 * [backup-simplify]: Simplify 2.0 into 2.0
7.496 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
7.496 * [taylor]: Taking taylor expansion of 4.0 in z
7.496 * [backup-simplify]: Simplify 4.0 into 4.0
7.496 * [backup-simplify]: Simplify 0 into 0
7.498 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.499 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 y))) into 0
7.499 * [backup-simplify]: Simplify (+ 0 0) into 0
7.499 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
7.500 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ y z))) into 0
7.500 * [backup-simplify]: Simplify (- 0) into 0
7.500 * [backup-simplify]: Simplify (+ 0 0) into 0
7.501 * [taylor]: Taking taylor expansion of 0 in y
7.501 * [backup-simplify]: Simplify 0 into 0
7.501 * [taylor]: Taking taylor expansion of 0 in z
7.501 * [backup-simplify]: Simplify 0 into 0
7.501 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
7.501 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
7.501 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 z)))) into (- (* 4.0 (/ 1 z)))
7.501 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
7.501 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
7.501 * [taylor]: Taking taylor expansion of 4.0 in z
7.501 * [backup-simplify]: Simplify 4.0 into 4.0
7.501 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.501 * [taylor]: Taking taylor expansion of z in z
7.501 * [backup-simplify]: Simplify 0 into 0
7.501 * [backup-simplify]: Simplify 1 into 1
7.502 * [backup-simplify]: Simplify (/ 1 1) into 1
7.502 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
7.502 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.503 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.504 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
7.504 * [taylor]: Taking taylor expansion of 0 in z
7.504 * [backup-simplify]: Simplify 0 into 0
7.504 * [backup-simplify]: Simplify 2.0 into 2.0
7.504 * [backup-simplify]: Simplify 4.0 into 4.0
7.505 * [backup-simplify]: Simplify (+ (* 4.0 (* 1 (* (/ 1 (- y)) (/ 1 (/ 1 (- x)))))) (+ 2.0 (* (- 4.0) (* (/ 1 (/ 1 (- z))) (* (/ 1 (- y)) 1))))) into (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y)))
7.505 * * * [progress]: simplifying candidates
7.507 * [simplify]: Simplifying:
  (- (+ (log 4.0) (log (- (+ x (* y 0.25)) z))) (log y))
  (- (log (* 4.0 (- (+ x (* y 0.25)) z))) (log y))
  (log (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))
  (exp (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))
  (/ (* (* (* 4.0 4.0) 4.0) (* (* (- (+ x (* y 0.25)) z) (- (+ x (* y 0.25)) z)) (- (+ x (* y 0.25)) z))) (* (* y y) y))
  (/ (* (* (* 4.0 (- (+ x (* y 0.25)) z)) (* 4.0 (- (+ x (* y 0.25)) z))) (* 4.0 (- (+ x (* y 0.25)) z))) (* (* y y) y))
  (* (cbrt (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)) (cbrt (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)))
  (cbrt (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))
  (* (* (/ (* 4.0 (- (+ x (* y 0.25)) z)) y) (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)) (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))
  (sqrt (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))
  (sqrt (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))
  (- (* 4.0 (- (+ x (* y 0.25)) z)))
  (- y)
  (/ 4.0 (* (cbrt y) (cbrt y)))
  (/ (- (+ x (* y 0.25)) z) (cbrt y))
  (/ 4.0 (sqrt y))
  (/ (- (+ x (* y 0.25)) z) (sqrt y))
  (/ 4.0 1)
  (/ (- (+ x (* y 0.25)) z) y)
  (/ 1 y)
  (/ y (* 4.0 (- (+ x (* y 0.25)) z)))
  (/ (* 4.0 (- (+ x (* y 0.25)) z)) (* (cbrt y) (cbrt y)))
  (/ (* 4.0 (- (+ x (* y 0.25)) z)) (sqrt y))
  (/ (* 4.0 (- (+ x (* y 0.25)) z)) 1)
  (/ y (- (+ x (* y 0.25)) z))
  (* y (+ (* (+ x (* y 0.25)) (+ x (* y 0.25))) (+ (* z z) (* (+ x (* y 0.25)) z))))
  (* y (+ (+ x (* y 0.25)) z))
  (* (exp 1.0) (exp (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)))
  (log (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)))
  (exp (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)))
  (* (cbrt (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))) (cbrt (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))))
  (cbrt (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)))
  (* (* (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)) (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))) (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)))
  (sqrt (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)))
  (sqrt (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)))
  (+ (pow 1.0 3) (pow (/ (* 4.0 (- (+ x (* y 0.25)) z)) y) 3))
  (+ (* 1.0 1.0) (- (* (/ (* 4.0 (- (+ x (* y 0.25)) z)) y) (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)) (* 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))))
  (- (* 1.0 1.0) (* (/ (* 4.0 (- (+ x (* y 0.25)) z)) y) (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)))
  (- 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))
  (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))
  (- (+ (* 4.0 (/ x y)) 1.0) (* 4.0 (/ z y)))
  (- (+ (* 4.0 (/ x y)) 1.0) (* 4.0 (/ z y)))
  (- (+ (* 4.0 (/ x y)) 1.0) (* 4.0 (/ z y)))
  (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y)))
  (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y)))
  (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y)))
7.509 * * [simplify]: Extracting # 0 : cost  0
7.509 * * [simplify]: Extracting # 1 : cost  0
7.509 * * [simplify]: Extracting # 2 : cost  0
7.510 * * [simplify]: Extracting # 3 : cost  0
7.510 * * [simplify]: Extracting # 4 : cost  0
7.510 * * [simplify]: Extracting # 5 : cost  0
7.510 * * [simplify]: Extracting # 6 : cost  0
7.511 * * [simplify]: Extracting # 7 : cost  0
7.511 * * [simplify]: Extracting # 8 : cost  0
7.511 * * [simplify]: iteration  0 :  91  enodes  (cost  711 )
7.555 * * [simplify]: Extracting # 0 : cost  0
7.555 * * [simplify]: Extracting # 1 : cost  0
7.556 * * [simplify]: Extracting # 2 : cost  0
7.556 * * [simplify]: Extracting # 3 : cost  0
7.557 * * [simplify]: Extracting # 4 : cost  0
7.557 * * [simplify]: iteration  1 :  254  enodes  (cost  667 )
7.673 * * [simplify]: Extracting # 0 : cost  0
7.674 * * [simplify]: Extracting # 1 : cost  0
7.675 * * [simplify]: Extracting # 2 : cost  0
7.676 * * [simplify]: Extracting # 3 : cost  0
7.677 * * [simplify]: Extracting # 4 : cost  0
7.678 * * [simplify]: iteration  2 :  882  enodes  (cost  597 )
9.509 * * [simplify]: Extracting # 0 : cost  0
9.514 * * [simplify]: Extracting # 1 : cost  0
9.520 * * [simplify]: Extracting # 2 : cost  0
9.526 * * [simplify]: Extracting # 3 : cost  0
9.534 * * [simplify]: iteration  3 :  4790  enodes  (cost  581 )
11.211 * * [simplify]: Extracting # 0 : cost  0
11.222 * * [simplify]: Extracting # 1 : cost  0
11.234 * * [simplify]: Extracting # 2 : cost  0
11.240 * * [simplify]: Extracting # 3 : cost  0
11.246 * * [simplify]: iteration done:  5001  enodes  (cost  581 )
11.246 * [simplify]: Simplified to:
  (log (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))
  (log (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))
  (log (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))
  (exp (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))
  (pow (/ (* 4.0 (- (+ x (* y 0.25)) z)) y) 3)
  (pow (/ (* 4.0 (- (+ x (* y 0.25)) z)) y) 3)
  (* (cbrt (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)) (cbrt (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)))
  (cbrt (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))
  (pow (/ (* 4.0 (- (+ x (* y 0.25)) z)) y) 3)
  (sqrt (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))
  (sqrt (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))
  (- (* 4.0 (- (+ x (* y 0.25)) z)))
  (- y)
  (/ 4.0 (* (cbrt y) (cbrt y)))
  (/ (- (+ x (* y 0.25)) z) (cbrt y))
  (/ 4.0 (sqrt y))
  (/ (- (+ x (* y 0.25)) z) (sqrt y))
  4.0
  (/ (- (+ x (* y 0.25)) z) y)
  (/ 1 y)
  (/ y (* 4.0 (- (+ x (* y 0.25)) z)))
  (/ (* 4.0 (- (+ x (* y 0.25)) z)) (* (cbrt y) (cbrt y)))
  (/ (* 4.0 (- (+ x (* y 0.25)) z)) (sqrt y))
  (* 4.0 (- (+ x (* y 0.25)) z))
  (/ y (- (+ x (* y 0.25)) z))
  (* (+ (* (+ x (* y 0.25)) (+ (+ x (* y 0.25)) z)) (* z z)) y)
  (* y (+ (+ x (* y 0.25)) z))
  (exp (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)))
  (log (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)))
  (exp (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)))
  (* (cbrt (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))) (cbrt (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))))
  (cbrt (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)))
  (pow (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)) 3)
  (sqrt (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)))
  (sqrt (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)))
  (+ (pow 1.0 3) (pow (/ (* 4.0 (- (+ x (* y 0.25)) z)) y) 3))
  (+ (* (/ (* 4.0 (- (+ x (* y 0.25)) z)) y) (- (/ (* 4.0 (- (+ x (* y 0.25)) z)) y) 1.0)) (* 1.0 1.0))
  (- (* 1.0 1.0) (* (/ (* 4.0 (- (+ x (* y 0.25)) z)) y) (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)))
  (- 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))
  (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))
  (+ (* 4.0 (- (/ x y) (/ z y))) 1.0)
  (+ (* 4.0 (- (/ x y) (/ z y))) 1.0)
  (+ (* 4.0 (- (/ x y) (/ z y))) 1.0)
  (+ 2.0 (* 4.0 (- (/ x y) (/ z y))))
  (+ 2.0 (* 4.0 (- (/ x y) (/ z y))))
  (+ 2.0 (* 4.0 (- (/ x y) (/ z y))))
11.247 * * * [progress]: adding candidates to table
11.396 * * [progress]: iteration 2 / 4
11.396 * * * [progress]: picking best candidate
11.406 * * * * [pick]: Picked  #<alt (λ (x y z) (+ 2.0 (* 4.0 (- (/ x y) (/ z y)))))>
11.407 * * * [progress]: localizing error
11.425 * * * [progress]: generating rewritten candidates
11.425 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2)
11.478 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
11.598 * * * [progress]: generating series expansions
11.598 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2)
11.598 * [backup-simplify]: Simplify (- (/ x y) (/ z y)) into (- (/ x y) (/ z y))
11.598 * [approximate]: Taking taylor expansion of (- (/ x y) (/ z y)) in (x y z) around 0
11.598 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in z
11.598 * [taylor]: Taking taylor expansion of (/ x y) in z
11.598 * [taylor]: Taking taylor expansion of x in z
11.598 * [backup-simplify]: Simplify x into x
11.598 * [taylor]: Taking taylor expansion of y in z
11.598 * [backup-simplify]: Simplify y into y
11.598 * [backup-simplify]: Simplify (/ x y) into (/ x y)
11.598 * [taylor]: Taking taylor expansion of (/ z y) in z
11.598 * [taylor]: Taking taylor expansion of z in z
11.599 * [backup-simplify]: Simplify 0 into 0
11.599 * [backup-simplify]: Simplify 1 into 1
11.599 * [taylor]: Taking taylor expansion of y in z
11.599 * [backup-simplify]: Simplify y into y
11.599 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.599 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in y
11.599 * [taylor]: Taking taylor expansion of (/ x y) in y
11.599 * [taylor]: Taking taylor expansion of x in y
11.599 * [backup-simplify]: Simplify x into x
11.599 * [taylor]: Taking taylor expansion of y in y
11.599 * [backup-simplify]: Simplify 0 into 0
11.599 * [backup-simplify]: Simplify 1 into 1
11.599 * [backup-simplify]: Simplify (/ x 1) into x
11.599 * [taylor]: Taking taylor expansion of (/ z y) in y
11.599 * [taylor]: Taking taylor expansion of z in y
11.599 * [backup-simplify]: Simplify z into z
11.599 * [taylor]: Taking taylor expansion of y in y
11.599 * [backup-simplify]: Simplify 0 into 0
11.599 * [backup-simplify]: Simplify 1 into 1
11.599 * [backup-simplify]: Simplify (/ z 1) into z
11.599 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in x
11.599 * [taylor]: Taking taylor expansion of (/ x y) in x
11.599 * [taylor]: Taking taylor expansion of x in x
11.599 * [backup-simplify]: Simplify 0 into 0
11.599 * [backup-simplify]: Simplify 1 into 1
11.599 * [taylor]: Taking taylor expansion of y in x
11.599 * [backup-simplify]: Simplify y into y
11.599 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.599 * [taylor]: Taking taylor expansion of (/ z y) in x
11.599 * [taylor]: Taking taylor expansion of z in x
11.599 * [backup-simplify]: Simplify z into z
11.599 * [taylor]: Taking taylor expansion of y in x
11.599 * [backup-simplify]: Simplify y into y
11.599 * [backup-simplify]: Simplify (/ z y) into (/ z y)
11.599 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in x
11.599 * [taylor]: Taking taylor expansion of (/ x y) in x
11.599 * [taylor]: Taking taylor expansion of x in x
11.599 * [backup-simplify]: Simplify 0 into 0
11.599 * [backup-simplify]: Simplify 1 into 1
11.599 * [taylor]: Taking taylor expansion of y in x
11.599 * [backup-simplify]: Simplify y into y
11.599 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.599 * [taylor]: Taking taylor expansion of (/ z y) in x
11.599 * [taylor]: Taking taylor expansion of z in x
11.599 * [backup-simplify]: Simplify z into z
11.599 * [taylor]: Taking taylor expansion of y in x
11.600 * [backup-simplify]: Simplify y into y
11.600 * [backup-simplify]: Simplify (/ z y) into (/ z y)
11.600 * [backup-simplify]: Simplify (- (/ z y)) into (- (/ z y))
11.600 * [backup-simplify]: Simplify (+ 0 (- (/ z y))) into (- (/ z y))
11.600 * [taylor]: Taking taylor expansion of (- (/ z y)) in y
11.600 * [taylor]: Taking taylor expansion of (/ z y) in y
11.600 * [taylor]: Taking taylor expansion of z in y
11.600 * [backup-simplify]: Simplify z into z
11.600 * [taylor]: Taking taylor expansion of y in y
11.600 * [backup-simplify]: Simplify 0 into 0
11.600 * [backup-simplify]: Simplify 1 into 1
11.600 * [backup-simplify]: Simplify (/ z 1) into z
11.600 * [backup-simplify]: Simplify (- z) into (- z)
11.600 * [taylor]: Taking taylor expansion of (- z) in z
11.600 * [taylor]: Taking taylor expansion of z in z
11.600 * [backup-simplify]: Simplify 0 into 0
11.600 * [backup-simplify]: Simplify 1 into 1
11.601 * [backup-simplify]: Simplify (- 0) into 0
11.601 * [backup-simplify]: Simplify 0 into 0
11.601 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
11.601 * [backup-simplify]: Simplify (- 0) into 0
11.601 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
11.601 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.601 * [taylor]: Taking taylor expansion of y in y
11.601 * [backup-simplify]: Simplify 0 into 0
11.601 * [backup-simplify]: Simplify 1 into 1
11.602 * [backup-simplify]: Simplify (/ 1 1) into 1
11.602 * [taylor]: Taking taylor expansion of 1 in z
11.602 * [backup-simplify]: Simplify 1 into 1
11.602 * [backup-simplify]: Simplify 1 into 1
11.603 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
11.603 * [backup-simplify]: Simplify (- 0) into 0
11.603 * [taylor]: Taking taylor expansion of 0 in z
11.603 * [backup-simplify]: Simplify 0 into 0
11.603 * [backup-simplify]: Simplify 0 into 0
11.604 * [backup-simplify]: Simplify (- 1) into -1
11.604 * [backup-simplify]: Simplify -1 into -1
11.604 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
11.604 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.605 * [backup-simplify]: Simplify (- 0) into 0
11.605 * [backup-simplify]: Simplify (+ 0 0) into 0
11.605 * [taylor]: Taking taylor expansion of 0 in y
11.605 * [backup-simplify]: Simplify 0 into 0
11.606 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.606 * [taylor]: Taking taylor expansion of 0 in z
11.606 * [backup-simplify]: Simplify 0 into 0
11.606 * [backup-simplify]: Simplify 0 into 0
11.607 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.608 * [backup-simplify]: Simplify (- 0) into 0
11.608 * [taylor]: Taking taylor expansion of 0 in z
11.608 * [backup-simplify]: Simplify 0 into 0
11.608 * [backup-simplify]: Simplify 0 into 0
11.608 * [backup-simplify]: Simplify 0 into 0
11.608 * [backup-simplify]: Simplify 0 into 0
11.608 * [backup-simplify]: Simplify (- 0) into 0
11.608 * [backup-simplify]: Simplify 0 into 0
11.609 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.609 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.609 * [backup-simplify]: Simplify (- 0) into 0
11.610 * [backup-simplify]: Simplify (+ 0 0) into 0
11.610 * [taylor]: Taking taylor expansion of 0 in y
11.610 * [backup-simplify]: Simplify 0 into 0
11.610 * [taylor]: Taking taylor expansion of 0 in z
11.610 * [backup-simplify]: Simplify 0 into 0
11.610 * [backup-simplify]: Simplify 0 into 0
11.610 * [backup-simplify]: Simplify (+ (* -1 (* z (* (/ 1 y) 1))) (* 1 (* 1 (* (/ 1 y) x)))) into (- (/ x y) (/ z y))
11.610 * [backup-simplify]: Simplify (- (/ (/ 1 x) (/ 1 y)) (/ (/ 1 z) (/ 1 y))) into (- (/ y x) (/ y z))
11.610 * [approximate]: Taking taylor expansion of (- (/ y x) (/ y z)) in (x y z) around 0
11.610 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in z
11.610 * [taylor]: Taking taylor expansion of (/ y x) in z
11.611 * [taylor]: Taking taylor expansion of y in z
11.611 * [backup-simplify]: Simplify y into y
11.611 * [taylor]: Taking taylor expansion of x in z
11.611 * [backup-simplify]: Simplify x into x
11.611 * [backup-simplify]: Simplify (/ y x) into (/ y x)
11.611 * [taylor]: Taking taylor expansion of (/ y z) in z
11.611 * [taylor]: Taking taylor expansion of y in z
11.611 * [backup-simplify]: Simplify y into y
11.611 * [taylor]: Taking taylor expansion of z in z
11.611 * [backup-simplify]: Simplify 0 into 0
11.611 * [backup-simplify]: Simplify 1 into 1
11.611 * [backup-simplify]: Simplify (/ y 1) into y
11.611 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in y
11.611 * [taylor]: Taking taylor expansion of (/ y x) in y
11.611 * [taylor]: Taking taylor expansion of y in y
11.611 * [backup-simplify]: Simplify 0 into 0
11.611 * [backup-simplify]: Simplify 1 into 1
11.611 * [taylor]: Taking taylor expansion of x in y
11.611 * [backup-simplify]: Simplify x into x
11.611 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.611 * [taylor]: Taking taylor expansion of (/ y z) in y
11.611 * [taylor]: Taking taylor expansion of y in y
11.611 * [backup-simplify]: Simplify 0 into 0
11.611 * [backup-simplify]: Simplify 1 into 1
11.611 * [taylor]: Taking taylor expansion of z in y
11.611 * [backup-simplify]: Simplify z into z
11.611 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.611 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
11.611 * [taylor]: Taking taylor expansion of (/ y x) in x
11.611 * [taylor]: Taking taylor expansion of y in x
11.611 * [backup-simplify]: Simplify y into y
11.611 * [taylor]: Taking taylor expansion of x in x
11.612 * [backup-simplify]: Simplify 0 into 0
11.612 * [backup-simplify]: Simplify 1 into 1
11.612 * [backup-simplify]: Simplify (/ y 1) into y
11.612 * [taylor]: Taking taylor expansion of (/ y z) in x
11.612 * [taylor]: Taking taylor expansion of y in x
11.612 * [backup-simplify]: Simplify y into y
11.612 * [taylor]: Taking taylor expansion of z in x
11.612 * [backup-simplify]: Simplify z into z
11.612 * [backup-simplify]: Simplify (/ y z) into (/ y z)
11.612 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
11.612 * [taylor]: Taking taylor expansion of (/ y x) in x
11.612 * [taylor]: Taking taylor expansion of y in x
11.612 * [backup-simplify]: Simplify y into y
11.612 * [taylor]: Taking taylor expansion of x in x
11.612 * [backup-simplify]: Simplify 0 into 0
11.612 * [backup-simplify]: Simplify 1 into 1
11.612 * [backup-simplify]: Simplify (/ y 1) into y
11.612 * [taylor]: Taking taylor expansion of (/ y z) in x
11.612 * [taylor]: Taking taylor expansion of y in x
11.612 * [backup-simplify]: Simplify y into y
11.612 * [taylor]: Taking taylor expansion of z in x
11.612 * [backup-simplify]: Simplify z into z
11.612 * [backup-simplify]: Simplify (/ y z) into (/ y z)
11.612 * [backup-simplify]: Simplify (+ y 0) into y
11.612 * [taylor]: Taking taylor expansion of y in y
11.612 * [backup-simplify]: Simplify 0 into 0
11.612 * [backup-simplify]: Simplify 1 into 1
11.612 * [taylor]: Taking taylor expansion of 1 in z
11.613 * [backup-simplify]: Simplify 1 into 1
11.614 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
11.614 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z))
11.614 * [backup-simplify]: Simplify (+ 0 (- (/ y z))) into (- (/ y z))
11.614 * [taylor]: Taking taylor expansion of (- (/ y z)) in y
11.614 * [taylor]: Taking taylor expansion of (/ y z) in y
11.614 * [taylor]: Taking taylor expansion of y in y
11.614 * [backup-simplify]: Simplify 0 into 0
11.614 * [backup-simplify]: Simplify 1 into 1
11.614 * [taylor]: Taking taylor expansion of z in y
11.614 * [backup-simplify]: Simplify z into z
11.614 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.614 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
11.614 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
11.614 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.614 * [taylor]: Taking taylor expansion of z in z
11.614 * [backup-simplify]: Simplify 0 into 0
11.614 * [backup-simplify]: Simplify 1 into 1
11.615 * [backup-simplify]: Simplify (/ 1 1) into 1
11.615 * [backup-simplify]: Simplify (- 1) into -1
11.615 * [backup-simplify]: Simplify -1 into -1
11.615 * [taylor]: Taking taylor expansion of 0 in z
11.615 * [backup-simplify]: Simplify 0 into 0
11.615 * [backup-simplify]: Simplify 1 into 1
11.617 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.617 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
11.617 * [backup-simplify]: Simplify (- 0) into 0
11.617 * [backup-simplify]: Simplify (+ 0 0) into 0
11.617 * [taylor]: Taking taylor expansion of 0 in y
11.617 * [backup-simplify]: Simplify 0 into 0
11.617 * [taylor]: Taking taylor expansion of 0 in z
11.617 * [backup-simplify]: Simplify 0 into 0
11.618 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
11.618 * [backup-simplify]: Simplify (- 0) into 0
11.618 * [taylor]: Taking taylor expansion of 0 in z
11.618 * [backup-simplify]: Simplify 0 into 0
11.618 * [taylor]: Taking taylor expansion of 0 in z
11.618 * [backup-simplify]: Simplify 0 into 0
11.618 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.619 * [backup-simplify]: Simplify (- 0) into 0
11.619 * [backup-simplify]: Simplify 0 into 0
11.619 * [backup-simplify]: Simplify 0 into 0
11.619 * [backup-simplify]: Simplify 0 into 0
11.620 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.620 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
11.620 * [backup-simplify]: Simplify (- 0) into 0
11.621 * [backup-simplify]: Simplify (+ 0 0) into 0
11.621 * [taylor]: Taking taylor expansion of 0 in y
11.621 * [backup-simplify]: Simplify 0 into 0
11.621 * [taylor]: Taking taylor expansion of 0 in z
11.621 * [backup-simplify]: Simplify 0 into 0
11.621 * [taylor]: Taking taylor expansion of 0 in z
11.621 * [backup-simplify]: Simplify 0 into 0
11.621 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
11.621 * [backup-simplify]: Simplify (- 0) into 0
11.621 * [taylor]: Taking taylor expansion of 0 in z
11.621 * [backup-simplify]: Simplify 0 into 0
11.621 * [taylor]: Taking taylor expansion of 0 in z
11.621 * [backup-simplify]: Simplify 0 into 0
11.621 * [backup-simplify]: Simplify 0 into 0
11.621 * [backup-simplify]: Simplify 0 into 0
11.621 * [backup-simplify]: Simplify 0 into 0
11.622 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 y) (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 y) 1)))) into (- (/ x y) (/ z y))
11.622 * [backup-simplify]: Simplify (- (/ (/ 1 (- x)) (/ 1 (- y))) (/ (/ 1 (- z)) (/ 1 (- y)))) into (- (/ y x) (/ y z))
11.622 * [approximate]: Taking taylor expansion of (- (/ y x) (/ y z)) in (x y z) around 0
11.622 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in z
11.622 * [taylor]: Taking taylor expansion of (/ y x) in z
11.622 * [taylor]: Taking taylor expansion of y in z
11.622 * [backup-simplify]: Simplify y into y
11.622 * [taylor]: Taking taylor expansion of x in z
11.622 * [backup-simplify]: Simplify x into x
11.622 * [backup-simplify]: Simplify (/ y x) into (/ y x)
11.622 * [taylor]: Taking taylor expansion of (/ y z) in z
11.622 * [taylor]: Taking taylor expansion of y in z
11.622 * [backup-simplify]: Simplify y into y
11.622 * [taylor]: Taking taylor expansion of z in z
11.622 * [backup-simplify]: Simplify 0 into 0
11.622 * [backup-simplify]: Simplify 1 into 1
11.622 * [backup-simplify]: Simplify (/ y 1) into y
11.622 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in y
11.622 * [taylor]: Taking taylor expansion of (/ y x) in y
11.622 * [taylor]: Taking taylor expansion of y in y
11.622 * [backup-simplify]: Simplify 0 into 0
11.622 * [backup-simplify]: Simplify 1 into 1
11.622 * [taylor]: Taking taylor expansion of x in y
11.622 * [backup-simplify]: Simplify x into x
11.622 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.622 * [taylor]: Taking taylor expansion of (/ y z) in y
11.622 * [taylor]: Taking taylor expansion of y in y
11.622 * [backup-simplify]: Simplify 0 into 0
11.622 * [backup-simplify]: Simplify 1 into 1
11.622 * [taylor]: Taking taylor expansion of z in y
11.622 * [backup-simplify]: Simplify z into z
11.622 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.622 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
11.622 * [taylor]: Taking taylor expansion of (/ y x) in x
11.622 * [taylor]: Taking taylor expansion of y in x
11.623 * [backup-simplify]: Simplify y into y
11.623 * [taylor]: Taking taylor expansion of x in x
11.623 * [backup-simplify]: Simplify 0 into 0
11.623 * [backup-simplify]: Simplify 1 into 1
11.623 * [backup-simplify]: Simplify (/ y 1) into y
11.623 * [taylor]: Taking taylor expansion of (/ y z) in x
11.623 * [taylor]: Taking taylor expansion of y in x
11.623 * [backup-simplify]: Simplify y into y
11.623 * [taylor]: Taking taylor expansion of z in x
11.623 * [backup-simplify]: Simplify z into z
11.623 * [backup-simplify]: Simplify (/ y z) into (/ y z)
11.623 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
11.623 * [taylor]: Taking taylor expansion of (/ y x) in x
11.623 * [taylor]: Taking taylor expansion of y in x
11.623 * [backup-simplify]: Simplify y into y
11.623 * [taylor]: Taking taylor expansion of x in x
11.623 * [backup-simplify]: Simplify 0 into 0
11.623 * [backup-simplify]: Simplify 1 into 1
11.623 * [backup-simplify]: Simplify (/ y 1) into y
11.623 * [taylor]: Taking taylor expansion of (/ y z) in x
11.623 * [taylor]: Taking taylor expansion of y in x
11.623 * [backup-simplify]: Simplify y into y
11.623 * [taylor]: Taking taylor expansion of z in x
11.623 * [backup-simplify]: Simplify z into z
11.623 * [backup-simplify]: Simplify (/ y z) into (/ y z)
11.623 * [backup-simplify]: Simplify (+ y 0) into y
11.623 * [taylor]: Taking taylor expansion of y in y
11.623 * [backup-simplify]: Simplify 0 into 0
11.623 * [backup-simplify]: Simplify 1 into 1
11.623 * [taylor]: Taking taylor expansion of 1 in z
11.623 * [backup-simplify]: Simplify 1 into 1
11.624 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
11.624 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z))
11.624 * [backup-simplify]: Simplify (+ 0 (- (/ y z))) into (- (/ y z))
11.624 * [taylor]: Taking taylor expansion of (- (/ y z)) in y
11.624 * [taylor]: Taking taylor expansion of (/ y z) in y
11.624 * [taylor]: Taking taylor expansion of y in y
11.624 * [backup-simplify]: Simplify 0 into 0
11.624 * [backup-simplify]: Simplify 1 into 1
11.624 * [taylor]: Taking taylor expansion of z in y
11.624 * [backup-simplify]: Simplify z into z
11.624 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.624 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
11.624 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
11.624 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.624 * [taylor]: Taking taylor expansion of z in z
11.624 * [backup-simplify]: Simplify 0 into 0
11.624 * [backup-simplify]: Simplify 1 into 1
11.624 * [backup-simplify]: Simplify (/ 1 1) into 1
11.625 * [backup-simplify]: Simplify (- 1) into -1
11.625 * [backup-simplify]: Simplify -1 into -1
11.625 * [taylor]: Taking taylor expansion of 0 in z
11.625 * [backup-simplify]: Simplify 0 into 0
11.625 * [backup-simplify]: Simplify 1 into 1
11.626 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.626 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
11.626 * [backup-simplify]: Simplify (- 0) into 0
11.626 * [backup-simplify]: Simplify (+ 0 0) into 0
11.626 * [taylor]: Taking taylor expansion of 0 in y
11.626 * [backup-simplify]: Simplify 0 into 0
11.626 * [taylor]: Taking taylor expansion of 0 in z
11.626 * [backup-simplify]: Simplify 0 into 0
11.626 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
11.627 * [backup-simplify]: Simplify (- 0) into 0
11.627 * [taylor]: Taking taylor expansion of 0 in z
11.627 * [backup-simplify]: Simplify 0 into 0
11.627 * [taylor]: Taking taylor expansion of 0 in z
11.627 * [backup-simplify]: Simplify 0 into 0
11.627 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.628 * [backup-simplify]: Simplify (- 0) into 0
11.628 * [backup-simplify]: Simplify 0 into 0
11.628 * [backup-simplify]: Simplify 0 into 0
11.628 * [backup-simplify]: Simplify 0 into 0
11.629 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.629 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
11.629 * [backup-simplify]: Simplify (- 0) into 0
11.629 * [backup-simplify]: Simplify (+ 0 0) into 0
11.629 * [taylor]: Taking taylor expansion of 0 in y
11.629 * [backup-simplify]: Simplify 0 into 0
11.629 * [taylor]: Taking taylor expansion of 0 in z
11.629 * [backup-simplify]: Simplify 0 into 0
11.629 * [taylor]: Taking taylor expansion of 0 in z
11.630 * [backup-simplify]: Simplify 0 into 0
11.630 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
11.630 * [backup-simplify]: Simplify (- 0) into 0
11.630 * [taylor]: Taking taylor expansion of 0 in z
11.630 * [backup-simplify]: Simplify 0 into 0
11.630 * [taylor]: Taking taylor expansion of 0 in z
11.630 * [backup-simplify]: Simplify 0 into 0
11.630 * [backup-simplify]: Simplify 0 into 0
11.630 * [backup-simplify]: Simplify 0 into 0
11.630 * [backup-simplify]: Simplify 0 into 0
11.630 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (- y)) (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (- y)) 1)))) into (- (/ x y) (/ z y))
11.630 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
11.631 * [backup-simplify]: Simplify (* 4.0 (- (/ x y) (/ z y))) into (* 4.0 (- (/ x y) (/ z y)))
11.631 * [approximate]: Taking taylor expansion of (* 4.0 (- (/ x y) (/ z y))) in (x y z) around 0
11.631 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ x y) (/ z y))) in z
11.631 * [taylor]: Taking taylor expansion of 4.0 in z
11.631 * [backup-simplify]: Simplify 4.0 into 4.0
11.631 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in z
11.631 * [taylor]: Taking taylor expansion of (/ x y) in z
11.631 * [taylor]: Taking taylor expansion of x in z
11.631 * [backup-simplify]: Simplify x into x
11.631 * [taylor]: Taking taylor expansion of y in z
11.631 * [backup-simplify]: Simplify y into y
11.631 * [backup-simplify]: Simplify (/ x y) into (/ x y)
11.631 * [taylor]: Taking taylor expansion of (/ z y) in z
11.631 * [taylor]: Taking taylor expansion of z in z
11.631 * [backup-simplify]: Simplify 0 into 0
11.631 * [backup-simplify]: Simplify 1 into 1
11.631 * [taylor]: Taking taylor expansion of y in z
11.631 * [backup-simplify]: Simplify y into y
11.631 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.631 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ x y) (/ z y))) in y
11.631 * [taylor]: Taking taylor expansion of 4.0 in y
11.631 * [backup-simplify]: Simplify 4.0 into 4.0
11.631 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in y
11.631 * [taylor]: Taking taylor expansion of (/ x y) in y
11.631 * [taylor]: Taking taylor expansion of x in y
11.631 * [backup-simplify]: Simplify x into x
11.631 * [taylor]: Taking taylor expansion of y in y
11.631 * [backup-simplify]: Simplify 0 into 0
11.631 * [backup-simplify]: Simplify 1 into 1
11.631 * [backup-simplify]: Simplify (/ x 1) into x
11.631 * [taylor]: Taking taylor expansion of (/ z y) in y
11.631 * [taylor]: Taking taylor expansion of z in y
11.631 * [backup-simplify]: Simplify z into z
11.631 * [taylor]: Taking taylor expansion of y in y
11.631 * [backup-simplify]: Simplify 0 into 0
11.631 * [backup-simplify]: Simplify 1 into 1
11.631 * [backup-simplify]: Simplify (/ z 1) into z
11.631 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ x y) (/ z y))) in x
11.631 * [taylor]: Taking taylor expansion of 4.0 in x
11.631 * [backup-simplify]: Simplify 4.0 into 4.0
11.631 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in x
11.631 * [taylor]: Taking taylor expansion of (/ x y) in x
11.631 * [taylor]: Taking taylor expansion of x in x
11.631 * [backup-simplify]: Simplify 0 into 0
11.631 * [backup-simplify]: Simplify 1 into 1
11.631 * [taylor]: Taking taylor expansion of y in x
11.631 * [backup-simplify]: Simplify y into y
11.631 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.631 * [taylor]: Taking taylor expansion of (/ z y) in x
11.631 * [taylor]: Taking taylor expansion of z in x
11.631 * [backup-simplify]: Simplify z into z
11.631 * [taylor]: Taking taylor expansion of y in x
11.631 * [backup-simplify]: Simplify y into y
11.632 * [backup-simplify]: Simplify (/ z y) into (/ z y)
11.632 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ x y) (/ z y))) in x
11.632 * [taylor]: Taking taylor expansion of 4.0 in x
11.632 * [backup-simplify]: Simplify 4.0 into 4.0
11.632 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in x
11.632 * [taylor]: Taking taylor expansion of (/ x y) in x
11.632 * [taylor]: Taking taylor expansion of x in x
11.632 * [backup-simplify]: Simplify 0 into 0
11.632 * [backup-simplify]: Simplify 1 into 1
11.632 * [taylor]: Taking taylor expansion of y in x
11.632 * [backup-simplify]: Simplify y into y
11.632 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.632 * [taylor]: Taking taylor expansion of (/ z y) in x
11.632 * [taylor]: Taking taylor expansion of z in x
11.632 * [backup-simplify]: Simplify z into z
11.632 * [taylor]: Taking taylor expansion of y in x
11.632 * [backup-simplify]: Simplify y into y
11.632 * [backup-simplify]: Simplify (/ z y) into (/ z y)
11.632 * [backup-simplify]: Simplify (- (/ z y)) into (- (/ z y))
11.632 * [backup-simplify]: Simplify (+ 0 (- (/ z y))) into (- (/ z y))
11.632 * [backup-simplify]: Simplify (* 4.0 (- (/ z y))) into (* -4.0 (/ z y))
11.632 * [taylor]: Taking taylor expansion of (* -4.0 (/ z y)) in y
11.632 * [taylor]: Taking taylor expansion of -4.0 in y
11.632 * [backup-simplify]: Simplify -4.0 into -4.0
11.632 * [taylor]: Taking taylor expansion of (/ z y) in y
11.632 * [taylor]: Taking taylor expansion of z in y
11.632 * [backup-simplify]: Simplify z into z
11.632 * [taylor]: Taking taylor expansion of y in y
11.632 * [backup-simplify]: Simplify 0 into 0
11.632 * [backup-simplify]: Simplify 1 into 1
11.632 * [backup-simplify]: Simplify (/ z 1) into z
11.632 * [backup-simplify]: Simplify (* -4.0 z) into (* -4.0 z)
11.632 * [taylor]: Taking taylor expansion of (* -4.0 z) in z
11.632 * [taylor]: Taking taylor expansion of -4.0 in z
11.632 * [backup-simplify]: Simplify -4.0 into -4.0
11.632 * [taylor]: Taking taylor expansion of z in z
11.632 * [backup-simplify]: Simplify 0 into 0
11.632 * [backup-simplify]: Simplify 1 into 1
11.633 * [backup-simplify]: Simplify (* -4.0 0) into 0
11.633 * [backup-simplify]: Simplify 0 into 0
11.633 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
11.633 * [backup-simplify]: Simplify (- 0) into 0
11.633 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
11.633 * [backup-simplify]: Simplify (+ (* 4.0 (/ 1 y)) (* 0 (- (/ z y)))) into (* 4.0 (/ 1 y))
11.633 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
11.633 * [taylor]: Taking taylor expansion of 4.0 in y
11.633 * [backup-simplify]: Simplify 4.0 into 4.0
11.633 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.634 * [taylor]: Taking taylor expansion of y in y
11.634 * [backup-simplify]: Simplify 0 into 0
11.634 * [backup-simplify]: Simplify 1 into 1
11.634 * [backup-simplify]: Simplify (/ 1 1) into 1
11.634 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
11.634 * [taylor]: Taking taylor expansion of 4.0 in z
11.634 * [backup-simplify]: Simplify 4.0 into 4.0
11.634 * [backup-simplify]: Simplify 4.0 into 4.0
11.635 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
11.635 * [backup-simplify]: Simplify (+ (* -4.0 0) (* 0 z)) into 0
11.635 * [taylor]: Taking taylor expansion of 0 in z
11.635 * [backup-simplify]: Simplify 0 into 0
11.635 * [backup-simplify]: Simplify 0 into 0
11.636 * [backup-simplify]: Simplify (+ (* -4.0 1) (* 0 0)) into (- 4.0)
11.636 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
11.636 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
11.636 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.637 * [backup-simplify]: Simplify (- 0) into 0
11.637 * [backup-simplify]: Simplify (+ 0 0) into 0
11.637 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (/ 1 y)) (* 0 (- (/ z y))))) into 0
11.637 * [taylor]: Taking taylor expansion of 0 in y
11.637 * [backup-simplify]: Simplify 0 into 0
11.638 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.638 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
11.638 * [taylor]: Taking taylor expansion of 0 in z
11.638 * [backup-simplify]: Simplify 0 into 0
11.638 * [backup-simplify]: Simplify 0 into 0
11.639 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.640 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 0) (* 0 z))) into 0
11.640 * [taylor]: Taking taylor expansion of 0 in z
11.640 * [backup-simplify]: Simplify 0 into 0
11.640 * [backup-simplify]: Simplify 0 into 0
11.640 * [backup-simplify]: Simplify 0 into 0
11.640 * [backup-simplify]: Simplify 0 into 0
11.640 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 1) (* 0 0))) into 0
11.640 * [backup-simplify]: Simplify 0 into 0
11.641 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.641 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.641 * [backup-simplify]: Simplify (- 0) into 0
11.641 * [backup-simplify]: Simplify (+ 0 0) into 0
11.642 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 (- (/ z y)))))) into 0
11.642 * [taylor]: Taking taylor expansion of 0 in y
11.642 * [backup-simplify]: Simplify 0 into 0
11.642 * [taylor]: Taking taylor expansion of 0 in z
11.642 * [backup-simplify]: Simplify 0 into 0
11.642 * [backup-simplify]: Simplify 0 into 0
11.642 * [backup-simplify]: Simplify (+ (* (- 4.0) (* z (* (/ 1 y) 1))) (* 4.0 (* 1 (* (/ 1 y) x)))) into (- (* 4.0 (/ x y)) (* 4.0 (/ z y)))
11.643 * [backup-simplify]: Simplify (* 4.0 (- (/ (/ 1 x) (/ 1 y)) (/ (/ 1 z) (/ 1 y)))) into (* 4.0 (- (/ y x) (/ y z)))
11.643 * [approximate]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in (x y z) around 0
11.643 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in z
11.643 * [taylor]: Taking taylor expansion of 4.0 in z
11.643 * [backup-simplify]: Simplify 4.0 into 4.0
11.643 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in z
11.643 * [taylor]: Taking taylor expansion of (/ y x) in z
11.643 * [taylor]: Taking taylor expansion of y in z
11.643 * [backup-simplify]: Simplify y into y
11.643 * [taylor]: Taking taylor expansion of x in z
11.643 * [backup-simplify]: Simplify x into x
11.643 * [backup-simplify]: Simplify (/ y x) into (/ y x)
11.643 * [taylor]: Taking taylor expansion of (/ y z) in z
11.643 * [taylor]: Taking taylor expansion of y in z
11.643 * [backup-simplify]: Simplify y into y
11.643 * [taylor]: Taking taylor expansion of z in z
11.643 * [backup-simplify]: Simplify 0 into 0
11.643 * [backup-simplify]: Simplify 1 into 1
11.643 * [backup-simplify]: Simplify (/ y 1) into y
11.643 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in y
11.643 * [taylor]: Taking taylor expansion of 4.0 in y
11.643 * [backup-simplify]: Simplify 4.0 into 4.0
11.643 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in y
11.643 * [taylor]: Taking taylor expansion of (/ y x) in y
11.643 * [taylor]: Taking taylor expansion of y in y
11.643 * [backup-simplify]: Simplify 0 into 0
11.643 * [backup-simplify]: Simplify 1 into 1
11.643 * [taylor]: Taking taylor expansion of x in y
11.643 * [backup-simplify]: Simplify x into x
11.643 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.643 * [taylor]: Taking taylor expansion of (/ y z) in y
11.643 * [taylor]: Taking taylor expansion of y in y
11.643 * [backup-simplify]: Simplify 0 into 0
11.643 * [backup-simplify]: Simplify 1 into 1
11.643 * [taylor]: Taking taylor expansion of z in y
11.643 * [backup-simplify]: Simplify z into z
11.643 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.643 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in x
11.643 * [taylor]: Taking taylor expansion of 4.0 in x
11.643 * [backup-simplify]: Simplify 4.0 into 4.0
11.643 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
11.643 * [taylor]: Taking taylor expansion of (/ y x) in x
11.643 * [taylor]: Taking taylor expansion of y in x
11.643 * [backup-simplify]: Simplify y into y
11.643 * [taylor]: Taking taylor expansion of x in x
11.643 * [backup-simplify]: Simplify 0 into 0
11.644 * [backup-simplify]: Simplify 1 into 1
11.644 * [backup-simplify]: Simplify (/ y 1) into y
11.644 * [taylor]: Taking taylor expansion of (/ y z) in x
11.644 * [taylor]: Taking taylor expansion of y in x
11.644 * [backup-simplify]: Simplify y into y
11.644 * [taylor]: Taking taylor expansion of z in x
11.644 * [backup-simplify]: Simplify z into z
11.644 * [backup-simplify]: Simplify (/ y z) into (/ y z)
11.644 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in x
11.644 * [taylor]: Taking taylor expansion of 4.0 in x
11.644 * [backup-simplify]: Simplify 4.0 into 4.0
11.644 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
11.644 * [taylor]: Taking taylor expansion of (/ y x) in x
11.644 * [taylor]: Taking taylor expansion of y in x
11.644 * [backup-simplify]: Simplify y into y
11.644 * [taylor]: Taking taylor expansion of x in x
11.644 * [backup-simplify]: Simplify 0 into 0
11.644 * [backup-simplify]: Simplify 1 into 1
11.644 * [backup-simplify]: Simplify (/ y 1) into y
11.644 * [taylor]: Taking taylor expansion of (/ y z) in x
11.644 * [taylor]: Taking taylor expansion of y in x
11.644 * [backup-simplify]: Simplify y into y
11.644 * [taylor]: Taking taylor expansion of z in x
11.644 * [backup-simplify]: Simplify z into z
11.644 * [backup-simplify]: Simplify (/ y z) into (/ y z)
11.644 * [backup-simplify]: Simplify (+ y 0) into y
11.644 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
11.644 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
11.644 * [taylor]: Taking taylor expansion of 4.0 in y
11.644 * [backup-simplify]: Simplify 4.0 into 4.0
11.644 * [taylor]: Taking taylor expansion of y in y
11.644 * [backup-simplify]: Simplify 0 into 0
11.644 * [backup-simplify]: Simplify 1 into 1
11.645 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
11.645 * [taylor]: Taking taylor expansion of 4.0 in z
11.645 * [backup-simplify]: Simplify 4.0 into 4.0
11.646 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
11.646 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z))
11.646 * [backup-simplify]: Simplify (+ 0 (- (/ y z))) into (- (/ y z))
11.647 * [backup-simplify]: Simplify (+ (* 4.0 (- (/ y z))) (* 0 y)) into (- (* 4.0 (/ y z)))
11.647 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ y z))) in y
11.647 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
11.647 * [taylor]: Taking taylor expansion of 4.0 in y
11.647 * [backup-simplify]: Simplify 4.0 into 4.0
11.647 * [taylor]: Taking taylor expansion of (/ y z) in y
11.647 * [taylor]: Taking taylor expansion of y in y
11.647 * [backup-simplify]: Simplify 0 into 0
11.647 * [backup-simplify]: Simplify 1 into 1
11.647 * [taylor]: Taking taylor expansion of z in y
11.647 * [backup-simplify]: Simplify z into z
11.647 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.647 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
11.647 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
11.647 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
11.647 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
11.647 * [taylor]: Taking taylor expansion of 4.0 in z
11.647 * [backup-simplify]: Simplify 4.0 into 4.0
11.647 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.647 * [taylor]: Taking taylor expansion of z in z
11.647 * [backup-simplify]: Simplify 0 into 0
11.648 * [backup-simplify]: Simplify 1 into 1
11.648 * [backup-simplify]: Simplify (/ 1 1) into 1
11.648 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
11.649 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
11.649 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
11.650 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
11.650 * [taylor]: Taking taylor expansion of 0 in z
11.650 * [backup-simplify]: Simplify 0 into 0
11.650 * [backup-simplify]: Simplify 4.0 into 4.0
11.652 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.652 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
11.652 * [backup-simplify]: Simplify (- 0) into 0
11.653 * [backup-simplify]: Simplify (+ 0 0) into 0
11.653 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (- (/ y z))) (* 0 y))) into 0
11.653 * [taylor]: Taking taylor expansion of 0 in y
11.653 * [backup-simplify]: Simplify 0 into 0
11.653 * [taylor]: Taking taylor expansion of 0 in z
11.653 * [backup-simplify]: Simplify 0 into 0
11.654 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
11.654 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ 1 z))) into 0
11.655 * [backup-simplify]: Simplify (- 0) into 0
11.655 * [taylor]: Taking taylor expansion of 0 in z
11.655 * [backup-simplify]: Simplify 0 into 0
11.656 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
11.656 * [taylor]: Taking taylor expansion of 0 in z
11.656 * [backup-simplify]: Simplify 0 into 0
11.656 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.657 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
11.657 * [backup-simplify]: Simplify (- 0) into 0
11.658 * [backup-simplify]: Simplify 0 into 0
11.658 * [backup-simplify]: Simplify 0 into 0
11.658 * [backup-simplify]: Simplify 0 into 0
11.660 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.660 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
11.660 * [backup-simplify]: Simplify (- 0) into 0
11.661 * [backup-simplify]: Simplify (+ 0 0) into 0
11.662 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 (- (/ y z))) (* 0 y)))) into 0
11.662 * [taylor]: Taking taylor expansion of 0 in y
11.662 * [backup-simplify]: Simplify 0 into 0
11.662 * [taylor]: Taking taylor expansion of 0 in z
11.662 * [backup-simplify]: Simplify 0 into 0
11.662 * [taylor]: Taking taylor expansion of 0 in z
11.662 * [backup-simplify]: Simplify 0 into 0
11.662 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
11.663 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
11.663 * [backup-simplify]: Simplify (- 0) into 0
11.663 * [taylor]: Taking taylor expansion of 0 in z
11.663 * [backup-simplify]: Simplify 0 into 0
11.665 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
11.665 * [taylor]: Taking taylor expansion of 0 in z
11.665 * [backup-simplify]: Simplify 0 into 0
11.665 * [backup-simplify]: Simplify 0 into 0
11.665 * [backup-simplify]: Simplify 0 into 0
11.665 * [backup-simplify]: Simplify 0 into 0
11.666 * [backup-simplify]: Simplify (+ (* 4.0 (* 1 (* (/ 1 y) (/ 1 (/ 1 x))))) (* (- 4.0) (* (/ 1 (/ 1 z)) (* (/ 1 y) 1)))) into (- (* 4.0 (/ x y)) (* 4.0 (/ z y)))
11.666 * [backup-simplify]: Simplify (* 4.0 (- (/ (/ 1 (- x)) (/ 1 (- y))) (/ (/ 1 (- z)) (/ 1 (- y))))) into (* 4.0 (- (/ y x) (/ y z)))
11.666 * [approximate]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in (x y z) around 0
11.666 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in z
11.666 * [taylor]: Taking taylor expansion of 4.0 in z
11.666 * [backup-simplify]: Simplify 4.0 into 4.0
11.666 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in z
11.666 * [taylor]: Taking taylor expansion of (/ y x) in z
11.667 * [taylor]: Taking taylor expansion of y in z
11.667 * [backup-simplify]: Simplify y into y
11.667 * [taylor]: Taking taylor expansion of x in z
11.667 * [backup-simplify]: Simplify x into x
11.667 * [backup-simplify]: Simplify (/ y x) into (/ y x)
11.667 * [taylor]: Taking taylor expansion of (/ y z) in z
11.667 * [taylor]: Taking taylor expansion of y in z
11.667 * [backup-simplify]: Simplify y into y
11.667 * [taylor]: Taking taylor expansion of z in z
11.667 * [backup-simplify]: Simplify 0 into 0
11.667 * [backup-simplify]: Simplify 1 into 1
11.667 * [backup-simplify]: Simplify (/ y 1) into y
11.667 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in y
11.667 * [taylor]: Taking taylor expansion of 4.0 in y
11.667 * [backup-simplify]: Simplify 4.0 into 4.0
11.667 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in y
11.667 * [taylor]: Taking taylor expansion of (/ y x) in y
11.667 * [taylor]: Taking taylor expansion of y in y
11.667 * [backup-simplify]: Simplify 0 into 0
11.667 * [backup-simplify]: Simplify 1 into 1
11.667 * [taylor]: Taking taylor expansion of x in y
11.667 * [backup-simplify]: Simplify x into x
11.667 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.667 * [taylor]: Taking taylor expansion of (/ y z) in y
11.667 * [taylor]: Taking taylor expansion of y in y
11.667 * [backup-simplify]: Simplify 0 into 0
11.667 * [backup-simplify]: Simplify 1 into 1
11.667 * [taylor]: Taking taylor expansion of z in y
11.668 * [backup-simplify]: Simplify z into z
11.668 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.668 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in x
11.668 * [taylor]: Taking taylor expansion of 4.0 in x
11.668 * [backup-simplify]: Simplify 4.0 into 4.0
11.668 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
11.668 * [taylor]: Taking taylor expansion of (/ y x) in x
11.668 * [taylor]: Taking taylor expansion of y in x
11.668 * [backup-simplify]: Simplify y into y
11.668 * [taylor]: Taking taylor expansion of x in x
11.668 * [backup-simplify]: Simplify 0 into 0
11.668 * [backup-simplify]: Simplify 1 into 1
11.668 * [backup-simplify]: Simplify (/ y 1) into y
11.668 * [taylor]: Taking taylor expansion of (/ y z) in x
11.668 * [taylor]: Taking taylor expansion of y in x
11.668 * [backup-simplify]: Simplify y into y
11.668 * [taylor]: Taking taylor expansion of z in x
11.668 * [backup-simplify]: Simplify z into z
11.668 * [backup-simplify]: Simplify (/ y z) into (/ y z)
11.668 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in x
11.668 * [taylor]: Taking taylor expansion of 4.0 in x
11.668 * [backup-simplify]: Simplify 4.0 into 4.0
11.668 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
11.668 * [taylor]: Taking taylor expansion of (/ y x) in x
11.668 * [taylor]: Taking taylor expansion of y in x
11.668 * [backup-simplify]: Simplify y into y
11.668 * [taylor]: Taking taylor expansion of x in x
11.668 * [backup-simplify]: Simplify 0 into 0
11.669 * [backup-simplify]: Simplify 1 into 1
11.669 * [backup-simplify]: Simplify (/ y 1) into y
11.669 * [taylor]: Taking taylor expansion of (/ y z) in x
11.669 * [taylor]: Taking taylor expansion of y in x
11.669 * [backup-simplify]: Simplify y into y
11.669 * [taylor]: Taking taylor expansion of z in x
11.669 * [backup-simplify]: Simplify z into z
11.669 * [backup-simplify]: Simplify (/ y z) into (/ y z)
11.669 * [backup-simplify]: Simplify (+ y 0) into y
11.669 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
11.669 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
11.669 * [taylor]: Taking taylor expansion of 4.0 in y
11.669 * [backup-simplify]: Simplify 4.0 into 4.0
11.669 * [taylor]: Taking taylor expansion of y in y
11.669 * [backup-simplify]: Simplify 0 into 0
11.669 * [backup-simplify]: Simplify 1 into 1
11.671 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
11.671 * [taylor]: Taking taylor expansion of 4.0 in z
11.671 * [backup-simplify]: Simplify 4.0 into 4.0
11.672 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
11.672 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z))
11.672 * [backup-simplify]: Simplify (+ 0 (- (/ y z))) into (- (/ y z))
11.672 * [backup-simplify]: Simplify (+ (* 4.0 (- (/ y z))) (* 0 y)) into (- (* 4.0 (/ y z)))
11.673 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ y z))) in y
11.673 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
11.673 * [taylor]: Taking taylor expansion of 4.0 in y
11.673 * [backup-simplify]: Simplify 4.0 into 4.0
11.673 * [taylor]: Taking taylor expansion of (/ y z) in y
11.673 * [taylor]: Taking taylor expansion of y in y
11.673 * [backup-simplify]: Simplify 0 into 0
11.673 * [backup-simplify]: Simplify 1 into 1
11.673 * [taylor]: Taking taylor expansion of z in y
11.673 * [backup-simplify]: Simplify z into z
11.673 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.673 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
11.673 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
11.673 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
11.673 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
11.673 * [taylor]: Taking taylor expansion of 4.0 in z
11.673 * [backup-simplify]: Simplify 4.0 into 4.0
11.673 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.673 * [taylor]: Taking taylor expansion of z in z
11.673 * [backup-simplify]: Simplify 0 into 0
11.673 * [backup-simplify]: Simplify 1 into 1
11.674 * [backup-simplify]: Simplify (/ 1 1) into 1
11.674 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
11.674 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
11.675 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
11.676 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
11.676 * [taylor]: Taking taylor expansion of 0 in z
11.676 * [backup-simplify]: Simplify 0 into 0
11.676 * [backup-simplify]: Simplify 4.0 into 4.0
11.677 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.677 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
11.678 * [backup-simplify]: Simplify (- 0) into 0
11.678 * [backup-simplify]: Simplify (+ 0 0) into 0
11.679 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (- (/ y z))) (* 0 y))) into 0
11.679 * [taylor]: Taking taylor expansion of 0 in y
11.679 * [backup-simplify]: Simplify 0 into 0
11.679 * [taylor]: Taking taylor expansion of 0 in z
11.679 * [backup-simplify]: Simplify 0 into 0
11.679 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
11.680 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ 1 z))) into 0
11.680 * [backup-simplify]: Simplify (- 0) into 0
11.680 * [taylor]: Taking taylor expansion of 0 in z
11.680 * [backup-simplify]: Simplify 0 into 0
11.681 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
11.682 * [taylor]: Taking taylor expansion of 0 in z
11.682 * [backup-simplify]: Simplify 0 into 0
11.682 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.683 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
11.683 * [backup-simplify]: Simplify (- 0) into 0
11.683 * [backup-simplify]: Simplify 0 into 0
11.684 * [backup-simplify]: Simplify 0 into 0
11.684 * [backup-simplify]: Simplify 0 into 0
11.685 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.686 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
11.686 * [backup-simplify]: Simplify (- 0) into 0
11.687 * [backup-simplify]: Simplify (+ 0 0) into 0
11.687 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 (- (/ y z))) (* 0 y)))) into 0
11.687 * [taylor]: Taking taylor expansion of 0 in y
11.688 * [backup-simplify]: Simplify 0 into 0
11.688 * [taylor]: Taking taylor expansion of 0 in z
11.688 * [backup-simplify]: Simplify 0 into 0
11.688 * [taylor]: Taking taylor expansion of 0 in z
11.688 * [backup-simplify]: Simplify 0 into 0
11.688 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
11.689 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
11.689 * [backup-simplify]: Simplify (- 0) into 0
11.689 * [taylor]: Taking taylor expansion of 0 in z
11.689 * [backup-simplify]: Simplify 0 into 0
11.691 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
11.691 * [taylor]: Taking taylor expansion of 0 in z
11.691 * [backup-simplify]: Simplify 0 into 0
11.691 * [backup-simplify]: Simplify 0 into 0
11.691 * [backup-simplify]: Simplify 0 into 0
11.691 * [backup-simplify]: Simplify 0 into 0
11.692 * [backup-simplify]: Simplify (+ (* 4.0 (* 1 (* (/ 1 (- y)) (/ 1 (/ 1 (- x)))))) (* (- 4.0) (* (/ 1 (/ 1 (- z))) (* (/ 1 (- y)) 1)))) into (- (* 4.0 (/ x y)) (* 4.0 (/ z y)))
11.692 * * * [progress]: simplifying candidates
11.694 * [simplify]: Simplifying:
  (/ (exp (/ x y)) (exp (/ z y)))
  (log (- (/ x y) (/ z y)))
  (exp (- (/ x y) (/ z y)))
  (* (cbrt (- (/ x y) (/ z y))) (cbrt (- (/ x y) (/ z y))))
  (cbrt (- (/ x y) (/ z y)))
  (* (* (- (/ x y) (/ z y)) (- (/ x y) (/ z y))) (- (/ x y) (/ z y)))
  (sqrt (- (/ x y) (/ z y)))
  (sqrt (- (/ x y) (/ z y)))
  (- x z)
  (- (* x y) (* y z))
  (* y y)
  (- (pow (/ x y) 3) (pow (/ z y) 3))
  (+ (* (/ x y) (/ x y)) (+ (* (/ z y) (/ z y)) (* (/ x y) (/ z y))))
  (- (/ z y))
  (- (* (/ x y) (/ x y)) (* (/ z y) (/ z y)))
  (+ (/ x y) (/ z y))
  (+ (sqrt (/ x y)) (sqrt (/ z y)))
  (- (sqrt (/ x y)) (sqrt (/ z y)))
  (+ (sqrt (/ x y)) (/ (sqrt z) (sqrt y)))
  (- (sqrt (/ x y)) (/ (sqrt z) (sqrt y)))
  (+ (/ (sqrt x) (sqrt y)) (sqrt (/ z y)))
  (- (/ (sqrt x) (sqrt y)) (sqrt (/ z y)))
  (+ (/ (sqrt x) (sqrt y)) (/ (sqrt z) (sqrt y)))
  (- (/ (sqrt x) (sqrt y)) (/ (sqrt z) (sqrt y)))
  (- (/ x (cbrt y)) (/ z (cbrt y)))
  (- (/ x (sqrt y)) (/ z (sqrt y)))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
  (- x z)
  (- (/ z y))
  (* 4.0 (- (/ x y) (/ z y)))
  (+ (log 4.0) (log (- (/ x y) (/ z y))))
  (log (* 4.0 (- (/ x y) (/ z y))))
  (exp (* 4.0 (- (/ x y) (/ z y))))
  (* (* (* 4.0 4.0) 4.0) (* (* (- (/ x y) (/ z y)) (- (/ x y) (/ z y))) (- (/ x y) (/ z y))))
  (* (cbrt (* 4.0 (- (/ x y) (/ z y)))) (cbrt (* 4.0 (- (/ x y) (/ z y)))))
  (cbrt (* 4.0 (- (/ x y) (/ z y))))
  (* (* (* 4.0 (- (/ x y) (/ z y))) (* 4.0 (- (/ x y) (/ z y)))) (* 4.0 (- (/ x y) (/ z y))))
  (sqrt (* 4.0 (- (/ x y) (/ z y))))
  (sqrt (* 4.0 (- (/ x y) (/ z y))))
  (* (sqrt 4.0) (sqrt (- (/ x y) (/ z y))))
  (* (sqrt 4.0) (sqrt (- (/ x y) (/ z y))))
  (* 4.0 (/ x y))
  (* 4.0 (- (/ z y)))
  (* 4.0 (/ x y))
  (* 4.0 (- (/ z y)))
  (* (/ x y) 4.0)
  (* (- (/ z y)) 4.0)
  (* (/ x y) 4.0)
  (* (- (/ z y)) 4.0)
  (* 4.0 (* (cbrt (- (/ x y) (/ z y))) (cbrt (- (/ x y) (/ z y)))))
  (* 4.0 (sqrt (- (/ x y) (/ z y))))
  (* 4.0 1)
  (* 4.0 (+ (sqrt (/ x y)) (sqrt (/ z y))))
  (* 4.0 (+ (sqrt (/ x y)) (/ (sqrt z) (sqrt y))))
  (* 4.0 (+ (/ (sqrt x) (sqrt y)) (sqrt (/ z y))))
  (* 4.0 (+ (/ (sqrt x) (sqrt y)) (/ (sqrt z) (sqrt y))))
  (* 4.0 (/ 1 (* (cbrt y) (cbrt y))))
  (* 4.0 (/ 1 (sqrt y)))
  (* 4.0 (/ 1 1))
  (* 4.0 1)
  (* 4.0 (/ 1 y))
  (* (cbrt 4.0) (- (/ x y) (/ z y)))
  (* (sqrt 4.0) (- (/ x y) (/ z y)))
  (* 4.0 (- (/ x y) (/ z y)))
  (* 4.0 (- x z))
  (* 4.0 (- (* x y) (* y z)))
  (* 4.0 (- (pow (/ x y) 3) (pow (/ z y) 3)))
  (* 4.0 (- (* (/ x y) (/ x y)) (* (/ z y) (/ z y))))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
  (- (* 4.0 (/ x y)) (* 4.0 (/ z y)))
  (- (* 4.0 (/ x y)) (* 4.0 (/ z y)))
  (- (* 4.0 (/ x y)) (* 4.0 (/ z y)))
11.697 * * [simplify]: Extracting # 0 : cost  0
11.697 * * [simplify]: Extracting # 1 : cost  0
11.697 * * [simplify]: Extracting # 2 : cost  0
11.697 * * [simplify]: Extracting # 3 : cost  0
11.698 * * [simplify]: Extracting # 4 : cost  0
11.698 * * [simplify]: Extracting # 5 : cost  0
11.698 * * [simplify]: iteration  0 :  101  enodes  (cost  731 )
11.731 * * [simplify]: Extracting # 0 : cost  0
11.731 * * [simplify]: Extracting # 1 : cost  0
11.732 * * [simplify]: Extracting # 2 : cost  0
11.732 * * [simplify]: Extracting # 3 : cost  0
11.732 * * [simplify]: Extracting # 4 : cost  0
11.732 * * [simplify]: iteration  1 :  235  enodes  (cost  705 )
11.835 * * [simplify]: Extracting # 0 : cost  0
11.836 * * [simplify]: Extracting # 1 : cost  0
11.838 * * [simplify]: Extracting # 2 : cost  0
11.839 * * [simplify]: Extracting # 3 : cost  0
11.840 * * [simplify]: Extracting # 4 : cost  0
11.841 * * [simplify]: Extracting # 5 : cost  0
11.842 * * [simplify]: iteration  2 :  536  enodes  (cost  651 )
12.209 * * [simplify]: Extracting # 0 : cost  0
12.213 * * [simplify]: Extracting # 1 : cost  0
12.215 * * [simplify]: Extracting # 2 : cost  0
12.217 * * [simplify]: Extracting # 3 : cost  0
12.218 * * [simplify]: Extracting # 4 : cost  0
12.220 * * [simplify]: iteration  3 :  1602  enodes  (cost  651 )
14.030 * * [simplify]: Extracting # 0 : cost  0
14.043 * * [simplify]: Extracting # 1 : cost  0
14.057 * * [simplify]: Extracting # 2 : cost  0
14.065 * * [simplify]: Extracting # 3 : cost  0
14.074 * * [simplify]: Extracting # 4 : cost  0
14.080 * * [simplify]: iteration done:  5000  enodes  (cost  617 )
14.080 * [simplify]: Simplified to:
  (exp (- (/ x y) (/ z y)))
  (log (- (/ x y) (/ z y)))
  (exp (- (/ x y) (/ z y)))
  (* (cbrt (- (/ x y) (/ z y))) (cbrt (- (/ x y) (/ z y))))
  (cbrt (- (/ x y) (/ z y)))
  (pow (- (/ x y) (/ z y)) 3)
  (sqrt (- (/ x y) (/ z y)))
  (sqrt (- (/ x y) (/ z y)))
  (- x z)
  (* y (- x z))
  (* y y)
  (- (pow (/ x y) 3) (pow (/ z y) 3))
  (+ (/ (* z z) (* y y)) (* (/ (/ x y) y) (+ x z)))
  (- (/ z y))
  (- (* (/ x y) (/ x y)) (* (/ z y) (/ z y)))
  (+ (/ x y) (/ z y))
  (+ (sqrt (/ x y)) (sqrt (/ z y)))
  (- (sqrt (/ x y)) (sqrt (/ z y)))
  (+ (sqrt (/ x y)) (/ (sqrt z) (sqrt y)))
  (- (sqrt (/ x y)) (/ (sqrt z) (sqrt y)))
  (+ (/ (sqrt x) (sqrt y)) (sqrt (/ z y)))
  (- (/ (sqrt x) (sqrt y)) (sqrt (/ z y)))
  (+ (/ (sqrt x) (sqrt y)) (/ (sqrt z) (sqrt y)))
  (- (/ (sqrt x) (sqrt y)) (/ (sqrt z) (sqrt y)))
  (- (/ x (cbrt y)) (/ z (cbrt y)))
  (- (/ x (sqrt y)) (/ z (sqrt y)))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
  (- x z)
  (- (/ z y))
  (* (/ 4.0 y) (- x z))
  (log (* (/ 4.0 y) (- x z)))
  (log (* (/ 4.0 y) (- x z)))
  (exp (* (/ 4.0 y) (- x z)))
  (pow (* (/ 4.0 y) (- x z)) 3)
  (* (cbrt (* (/ 4.0 y) (- x z))) (cbrt (* (/ 4.0 y) (- x z))))
  (cbrt (* (/ 4.0 y) (- x z)))
  (pow (* (/ 4.0 y) (- x z)) 3)
  (sqrt (* (/ 4.0 y) (- x z)))
  (sqrt (* (/ 4.0 y) (- x z)))
  (* (sqrt 4.0) (sqrt (- (/ x y) (/ z y))))
  (* (sqrt 4.0) (sqrt (- (/ x y) (/ z y))))
  (* 4.0 (/ x y))
  (* (- (/ z y)) 4.0)
  (* 4.0 (/ x y))
  (* (- (/ z y)) 4.0)
  (* 4.0 (/ x y))
  (* (- (/ z y)) 4.0)
  (* 4.0 (/ x y))
  (* (- (/ z y)) 4.0)
  (* 4.0 (* (cbrt (- (/ x y) (/ z y))) (cbrt (- (/ x y) (/ z y)))))
  (* 4.0 (sqrt (- (/ x y) (/ z y))))
  4.0
  (* 4.0 (+ (sqrt (/ x y)) (sqrt (/ z y))))
  (* 4.0 (+ (sqrt (/ x y)) (/ (sqrt z) (sqrt y))))
  (* 4.0 (+ (/ (sqrt x) (sqrt y)) (sqrt (/ z y))))
  (* 4.0 (+ (/ (sqrt x) (sqrt y)) (/ (sqrt z) (sqrt y))))
  (/ 4.0 (* (cbrt y) (cbrt y)))
  (/ 4.0 (sqrt y))
  4.0
  4.0
  (/ 4.0 y)
  (* (cbrt 4.0) (- (/ x y) (/ z y)))
  (* (sqrt 4.0) (- (/ x y) (/ z y)))
  (* (/ 4.0 y) (- x z))
  (* 4.0 (- x z))
  (* 4.0 (* y (- x z)))
  (* 4.0 (- (pow (/ x y) 3) (pow (/ z y) 3)))
  (* (+ (/ x y) (/ z y)) (* (/ 4.0 y) (- x z)))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
  (* (/ 4.0 y) (- x z))
  (* (/ 4.0 y) (- x z))
  (* (/ 4.0 y) (- x z))
14.081 * * * [progress]: adding candidates to table
14.253 * * [progress]: iteration 3 / 4
14.253 * * * [progress]: picking best candidate
14.255 * * * * [pick]: Picked  #<alt (λ (x y z) (+ 2.0 (* 1 (* (/ 4.0 y) (- x z)))))>
14.256 * * * [progress]: localizing error
14.276 * * * [progress]: generating rewritten candidates
14.276 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 2)
14.311 * * * [progress]: generating series expansions
14.311 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 2)
14.311 * [backup-simplify]: Simplify (* (/ 4.0 y) (- x z)) into (* 4.0 (/ (- x z) y))
14.312 * [approximate]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in (y x z) around 0
14.312 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in z
14.312 * [taylor]: Taking taylor expansion of 4.0 in z
14.312 * [backup-simplify]: Simplify 4.0 into 4.0
14.312 * [taylor]: Taking taylor expansion of (/ (- x z) y) in z
14.312 * [taylor]: Taking taylor expansion of (- x z) in z
14.312 * [taylor]: Taking taylor expansion of x in z
14.312 * [backup-simplify]: Simplify x into x
14.312 * [taylor]: Taking taylor expansion of z in z
14.312 * [backup-simplify]: Simplify 0 into 0
14.312 * [backup-simplify]: Simplify 1 into 1
14.312 * [taylor]: Taking taylor expansion of y in z
14.312 * [backup-simplify]: Simplify y into y
14.313 * [backup-simplify]: Simplify (- 0) into 0
14.313 * [backup-simplify]: Simplify (+ x 0) into x
14.313 * [backup-simplify]: Simplify (/ x y) into (/ x y)
14.313 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in x
14.313 * [taylor]: Taking taylor expansion of 4.0 in x
14.313 * [backup-simplify]: Simplify 4.0 into 4.0
14.313 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x
14.313 * [taylor]: Taking taylor expansion of (- x z) in x
14.313 * [taylor]: Taking taylor expansion of x in x
14.313 * [backup-simplify]: Simplify 0 into 0
14.313 * [backup-simplify]: Simplify 1 into 1
14.313 * [taylor]: Taking taylor expansion of z in x
14.313 * [backup-simplify]: Simplify z into z
14.313 * [taylor]: Taking taylor expansion of y in x
14.313 * [backup-simplify]: Simplify y into y
14.313 * [backup-simplify]: Simplify (- z) into (- z)
14.313 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
14.313 * [backup-simplify]: Simplify (/ (- z) y) into (* -1 (/ z y))
14.313 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in y
14.313 * [taylor]: Taking taylor expansion of 4.0 in y
14.314 * [backup-simplify]: Simplify 4.0 into 4.0
14.314 * [taylor]: Taking taylor expansion of (/ (- x z) y) in y
14.314 * [taylor]: Taking taylor expansion of (- x z) in y
14.314 * [taylor]: Taking taylor expansion of x in y
14.314 * [backup-simplify]: Simplify x into x
14.314 * [taylor]: Taking taylor expansion of z in y
14.314 * [backup-simplify]: Simplify z into z
14.314 * [taylor]: Taking taylor expansion of y in y
14.314 * [backup-simplify]: Simplify 0 into 0
14.314 * [backup-simplify]: Simplify 1 into 1
14.314 * [backup-simplify]: Simplify (- z) into (- z)
14.314 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
14.314 * [backup-simplify]: Simplify (/ (- x z) 1) into (- x z)
14.314 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in y
14.314 * [taylor]: Taking taylor expansion of 4.0 in y
14.314 * [backup-simplify]: Simplify 4.0 into 4.0
14.314 * [taylor]: Taking taylor expansion of (/ (- x z) y) in y
14.314 * [taylor]: Taking taylor expansion of (- x z) in y
14.314 * [taylor]: Taking taylor expansion of x in y
14.314 * [backup-simplify]: Simplify x into x
14.314 * [taylor]: Taking taylor expansion of z in y
14.314 * [backup-simplify]: Simplify z into z
14.314 * [taylor]: Taking taylor expansion of y in y
14.314 * [backup-simplify]: Simplify 0 into 0
14.314 * [backup-simplify]: Simplify 1 into 1
14.314 * [backup-simplify]: Simplify (- z) into (- z)
14.315 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
14.315 * [backup-simplify]: Simplify (/ (- x z) 1) into (- x z)
14.315 * [backup-simplify]: Simplify (* 4.0 (- x z)) into (* 4.0 (- x z))
14.315 * [taylor]: Taking taylor expansion of (* 4.0 (- x z)) in x
14.315 * [taylor]: Taking taylor expansion of 4.0 in x
14.315 * [backup-simplify]: Simplify 4.0 into 4.0
14.315 * [taylor]: Taking taylor expansion of (- x z) in x
14.315 * [taylor]: Taking taylor expansion of x in x
14.315 * [backup-simplify]: Simplify 0 into 0
14.315 * [backup-simplify]: Simplify 1 into 1
14.315 * [taylor]: Taking taylor expansion of z in x
14.315 * [backup-simplify]: Simplify z into z
14.315 * [backup-simplify]: Simplify (- z) into (- z)
14.315 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
14.315 * [backup-simplify]: Simplify (* 4.0 (- z)) into (* -4.0 z)
14.315 * [taylor]: Taking taylor expansion of (* -4.0 z) in z
14.315 * [taylor]: Taking taylor expansion of -4.0 in z
14.315 * [backup-simplify]: Simplify -4.0 into -4.0
14.315 * [taylor]: Taking taylor expansion of z in z
14.315 * [backup-simplify]: Simplify 0 into 0
14.315 * [backup-simplify]: Simplify 1 into 1
14.316 * [backup-simplify]: Simplify (* -4.0 0) into 0
14.316 * [backup-simplify]: Simplify 0 into 0
14.317 * [backup-simplify]: Simplify (- 0) into 0
14.317 * [backup-simplify]: Simplify (+ 0 0) into 0
14.318 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- x z) (/ 0 1)))) into 0
14.319 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (- x z))) into 0
14.319 * [taylor]: Taking taylor expansion of 0 in x
14.319 * [backup-simplify]: Simplify 0 into 0
14.319 * [taylor]: Taking taylor expansion of 0 in z
14.319 * [backup-simplify]: Simplify 0 into 0
14.319 * [backup-simplify]: Simplify 0 into 0
14.319 * [backup-simplify]: Simplify (- 0) into 0
14.320 * [backup-simplify]: Simplify (+ 1 0) into 1
14.320 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 (- z))) into 4.0
14.320 * [taylor]: Taking taylor expansion of 4.0 in z
14.320 * [backup-simplify]: Simplify 4.0 into 4.0
14.320 * [backup-simplify]: Simplify 4.0 into 4.0
14.322 * [backup-simplify]: Simplify (+ (* -4.0 1) (* 0 0)) into (- 4.0)
14.322 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
14.323 * [backup-simplify]: Simplify (- 0) into 0
14.323 * [backup-simplify]: Simplify (+ 0 0) into 0
14.324 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- x z) (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.325 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 (- x z)))) into 0
14.325 * [taylor]: Taking taylor expansion of 0 in x
14.326 * [backup-simplify]: Simplify 0 into 0
14.326 * [taylor]: Taking taylor expansion of 0 in z
14.326 * [backup-simplify]: Simplify 0 into 0
14.326 * [backup-simplify]: Simplify 0 into 0
14.326 * [taylor]: Taking taylor expansion of 0 in z
14.326 * [backup-simplify]: Simplify 0 into 0
14.326 * [backup-simplify]: Simplify 0 into 0
14.326 * [backup-simplify]: Simplify (- 0) into 0
14.327 * [backup-simplify]: Simplify (+ 0 0) into 0
14.327 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 (- z)))) into 0
14.327 * [taylor]: Taking taylor expansion of 0 in z
14.327 * [backup-simplify]: Simplify 0 into 0
14.328 * [backup-simplify]: Simplify 0 into 0
14.328 * [backup-simplify]: Simplify 0 into 0
14.328 * [backup-simplify]: Simplify 0 into 0
14.329 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 1) (* 0 0))) into 0
14.329 * [backup-simplify]: Simplify 0 into 0
14.329 * [backup-simplify]: Simplify (+ (* (- 4.0) (* z (* 1 (/ 1 y)))) (* 4.0 (* 1 (* x (/ 1 y))))) into (- (* 4.0 (/ x y)) (* 4.0 (/ z y)))
14.330 * [backup-simplify]: Simplify (* (/ 4.0 (/ 1 y)) (- (/ 1 x) (/ 1 z))) into (* 4.0 (* y (- (/ 1 x) (/ 1 z))))
14.330 * [approximate]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in (y x z) around 0
14.330 * [taylor]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in z
14.330 * [taylor]: Taking taylor expansion of 4.0 in z
14.330 * [backup-simplify]: Simplify 4.0 into 4.0
14.330 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in z
14.330 * [taylor]: Taking taylor expansion of y in z
14.330 * [backup-simplify]: Simplify y into y
14.330 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
14.330 * [taylor]: Taking taylor expansion of (/ 1 x) in z
14.330 * [taylor]: Taking taylor expansion of x in z
14.330 * [backup-simplify]: Simplify x into x
14.330 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
14.330 * [taylor]: Taking taylor expansion of (/ 1 z) in z
14.330 * [taylor]: Taking taylor expansion of z in z
14.330 * [backup-simplify]: Simplify 0 into 0
14.330 * [backup-simplify]: Simplify 1 into 1
14.331 * [backup-simplify]: Simplify (/ 1 1) into 1
14.331 * [taylor]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in x
14.331 * [taylor]: Taking taylor expansion of 4.0 in x
14.331 * [backup-simplify]: Simplify 4.0 into 4.0
14.331 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in x
14.331 * [taylor]: Taking taylor expansion of y in x
14.331 * [backup-simplify]: Simplify y into y
14.331 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
14.331 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.331 * [taylor]: Taking taylor expansion of x in x
14.331 * [backup-simplify]: Simplify 0 into 0
14.331 * [backup-simplify]: Simplify 1 into 1
14.331 * [backup-simplify]: Simplify (/ 1 1) into 1
14.331 * [taylor]: Taking taylor expansion of (/ 1 z) in x
14.332 * [taylor]: Taking taylor expansion of z in x
14.332 * [backup-simplify]: Simplify z into z
14.332 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
14.332 * [taylor]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in y
14.332 * [taylor]: Taking taylor expansion of 4.0 in y
14.332 * [backup-simplify]: Simplify 4.0 into 4.0
14.332 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in y
14.332 * [taylor]: Taking taylor expansion of y in y
14.332 * [backup-simplify]: Simplify 0 into 0
14.332 * [backup-simplify]: Simplify 1 into 1
14.332 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
14.332 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.332 * [taylor]: Taking taylor expansion of x in y
14.332 * [backup-simplify]: Simplify x into x
14.332 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
14.332 * [taylor]: Taking taylor expansion of (/ 1 z) in y
14.332 * [taylor]: Taking taylor expansion of z in y
14.332 * [backup-simplify]: Simplify z into z
14.332 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
14.332 * [taylor]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in y
14.332 * [taylor]: Taking taylor expansion of 4.0 in y
14.332 * [backup-simplify]: Simplify 4.0 into 4.0
14.332 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in y
14.332 * [taylor]: Taking taylor expansion of y in y
14.332 * [backup-simplify]: Simplify 0 into 0
14.332 * [backup-simplify]: Simplify 1 into 1
14.332 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
14.332 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.333 * [taylor]: Taking taylor expansion of x in y
14.333 * [backup-simplify]: Simplify x into x
14.333 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
14.333 * [taylor]: Taking taylor expansion of (/ 1 z) in y
14.333 * [taylor]: Taking taylor expansion of z in y
14.333 * [backup-simplify]: Simplify z into z
14.333 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
14.333 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
14.333 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
14.333 * [backup-simplify]: Simplify (* 0 (- (/ 1 x) (/ 1 z))) into 0
14.334 * [backup-simplify]: Simplify (* 4.0 0) into 0
14.334 * [taylor]: Taking taylor expansion of 0 in x
14.334 * [backup-simplify]: Simplify 0 into 0
14.334 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
14.334 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
14.335 * [backup-simplify]: Simplify (- 0) into 0
14.335 * [backup-simplify]: Simplify (+ 0 0) into 0
14.336 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (/ 1 x) (/ 1 z)))) into (- (/ 1 x) (/ 1 z))
14.336 * [backup-simplify]: Simplify (+ (* 4.0 (- (/ 1 x) (/ 1 z))) (* 0 0)) into (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 z)))
14.336 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 z))) in x
14.337 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
14.337 * [taylor]: Taking taylor expansion of 4.0 in x
14.337 * [backup-simplify]: Simplify 4.0 into 4.0
14.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.337 * [taylor]: Taking taylor expansion of x in x
14.337 * [backup-simplify]: Simplify 0 into 0
14.337 * [backup-simplify]: Simplify 1 into 1
14.337 * [backup-simplify]: Simplify (/ 1 1) into 1
14.337 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in x
14.337 * [taylor]: Taking taylor expansion of 4.0 in x
14.337 * [backup-simplify]: Simplify 4.0 into 4.0
14.337 * [taylor]: Taking taylor expansion of (/ 1 z) in x
14.337 * [taylor]: Taking taylor expansion of z in x
14.337 * [backup-simplify]: Simplify z into z
14.337 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
14.338 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
14.338 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
14.338 * [taylor]: Taking taylor expansion of 4.0 in z
14.338 * [backup-simplify]: Simplify 4.0 into 4.0
14.339 * [taylor]: Taking taylor expansion of 0 in z
14.339 * [backup-simplify]: Simplify 0 into 0
14.339 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
14.339 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
14.339 * [backup-simplify]: Simplify (- 0) into 0
14.340 * [backup-simplify]: Simplify (+ 0 0) into 0
14.341 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (/ 1 x) (/ 1 z))))) into 0
14.342 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (- (/ 1 x) (/ 1 z))) (* 0 0))) into 0
14.342 * [taylor]: Taking taylor expansion of 0 in x
14.342 * [backup-simplify]: Simplify 0 into 0
14.343 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
14.343 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
14.344 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
14.344 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
14.344 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 z)))) into (- (* 4.0 (/ 1 z)))
14.344 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
14.344 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
14.344 * [taylor]: Taking taylor expansion of 4.0 in z
14.344 * [backup-simplify]: Simplify 4.0 into 4.0
14.344 * [taylor]: Taking taylor expansion of (/ 1 z) in z
14.344 * [taylor]: Taking taylor expansion of z in z
14.344 * [backup-simplify]: Simplify 0 into 0
14.344 * [backup-simplify]: Simplify 1 into 1
14.344 * [backup-simplify]: Simplify (/ 1 1) into 1
14.345 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
14.345 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
14.346 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
14.346 * [taylor]: Taking taylor expansion of 0 in z
14.346 * [backup-simplify]: Simplify 0 into 0
14.346 * [backup-simplify]: Simplify 4.0 into 4.0
14.346 * [backup-simplify]: Simplify 0 into 0
14.346 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
14.347 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
14.347 * [backup-simplify]: Simplify (- 0) into 0
14.347 * [backup-simplify]: Simplify (+ 0 0) into 0
14.349 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 z)))))) into 0
14.350 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 x) (/ 1 z))) (* 0 0)))) into 0
14.350 * [taylor]: Taking taylor expansion of 0 in x
14.350 * [backup-simplify]: Simplify 0 into 0
14.350 * [taylor]: Taking taylor expansion of 0 in z
14.350 * [backup-simplify]: Simplify 0 into 0
14.351 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.352 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
14.352 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
14.353 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ 1 z))) into 0
14.353 * [backup-simplify]: Simplify (- 0) into 0
14.354 * [backup-simplify]: Simplify (+ 0 0) into 0
14.354 * [taylor]: Taking taylor expansion of 0 in z
14.354 * [backup-simplify]: Simplify 0 into 0
14.354 * [taylor]: Taking taylor expansion of 0 in z
14.354 * [backup-simplify]: Simplify 0 into 0
14.355 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
14.355 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
14.356 * [backup-simplify]: Simplify (- 0) into 0
14.356 * [backup-simplify]: Simplify 0 into 0
14.356 * [backup-simplify]: Simplify 0 into 0
14.356 * [backup-simplify]: Simplify 0 into 0
14.356 * [backup-simplify]: Simplify 0 into 0
14.357 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
14.357 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
14.357 * [backup-simplify]: Simplify (- 0) into 0
14.358 * [backup-simplify]: Simplify (+ 0 0) into 0
14.359 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 z))))))) into 0
14.360 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 x) (/ 1 z))) (* 0 0))))) into 0
14.360 * [taylor]: Taking taylor expansion of 0 in x
14.360 * [backup-simplify]: Simplify 0 into 0
14.360 * [taylor]: Taking taylor expansion of 0 in z
14.360 * [backup-simplify]: Simplify 0 into 0
14.360 * [taylor]: Taking taylor expansion of 0 in z
14.360 * [backup-simplify]: Simplify 0 into 0
14.360 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.361 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.361 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
14.362 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
14.362 * [backup-simplify]: Simplify (- 0) into 0
14.362 * [backup-simplify]: Simplify (+ 0 0) into 0
14.362 * [taylor]: Taking taylor expansion of 0 in z
14.362 * [backup-simplify]: Simplify 0 into 0
14.362 * [taylor]: Taking taylor expansion of 0 in z
14.362 * [backup-simplify]: Simplify 0 into 0
14.362 * [backup-simplify]: Simplify 0 into 0
14.363 * [backup-simplify]: Simplify (+ (* 4.0 (* 1 (* (/ 1 (/ 1 x)) (/ 1 y)))) (* (- 4.0) (* (/ 1 (/ 1 z)) (* 1 (/ 1 y))))) into (- (* 4.0 (/ x y)) (* 4.0 (/ z y)))
14.363 * [backup-simplify]: Simplify (* (/ 4.0 (/ 1 (- y))) (- (/ 1 (- x)) (/ 1 (- z)))) into (* -4.0 (* y (- (/ 1 z) (/ 1 x))))
14.363 * [approximate]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in (y x z) around 0
14.363 * [taylor]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in z
14.363 * [taylor]: Taking taylor expansion of -4.0 in z
14.363 * [backup-simplify]: Simplify -4.0 into -4.0
14.363 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in z
14.363 * [taylor]: Taking taylor expansion of y in z
14.363 * [backup-simplify]: Simplify y into y
14.363 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
14.363 * [taylor]: Taking taylor expansion of (/ 1 z) in z
14.363 * [taylor]: Taking taylor expansion of z in z
14.363 * [backup-simplify]: Simplify 0 into 0
14.363 * [backup-simplify]: Simplify 1 into 1
14.364 * [backup-simplify]: Simplify (/ 1 1) into 1
14.364 * [taylor]: Taking taylor expansion of (/ 1 x) in z
14.364 * [taylor]: Taking taylor expansion of x in z
14.364 * [backup-simplify]: Simplify x into x
14.364 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
14.364 * [taylor]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in x
14.364 * [taylor]: Taking taylor expansion of -4.0 in x
14.364 * [backup-simplify]: Simplify -4.0 into -4.0
14.364 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x
14.364 * [taylor]: Taking taylor expansion of y in x
14.364 * [backup-simplify]: Simplify y into y
14.364 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
14.364 * [taylor]: Taking taylor expansion of (/ 1 z) in x
14.364 * [taylor]: Taking taylor expansion of z in x
14.364 * [backup-simplify]: Simplify z into z
14.364 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
14.364 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.364 * [taylor]: Taking taylor expansion of x in x
14.364 * [backup-simplify]: Simplify 0 into 0
14.364 * [backup-simplify]: Simplify 1 into 1
14.364 * [backup-simplify]: Simplify (/ 1 1) into 1
14.364 * [taylor]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in y
14.364 * [taylor]: Taking taylor expansion of -4.0 in y
14.364 * [backup-simplify]: Simplify -4.0 into -4.0
14.364 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y
14.364 * [taylor]: Taking taylor expansion of y in y
14.364 * [backup-simplify]: Simplify 0 into 0
14.364 * [backup-simplify]: Simplify 1 into 1
14.364 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
14.364 * [taylor]: Taking taylor expansion of (/ 1 z) in y
14.364 * [taylor]: Taking taylor expansion of z in y
14.364 * [backup-simplify]: Simplify z into z
14.364 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
14.364 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.364 * [taylor]: Taking taylor expansion of x in y
14.364 * [backup-simplify]: Simplify x into x
14.364 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
14.365 * [taylor]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in y
14.365 * [taylor]: Taking taylor expansion of -4.0 in y
14.365 * [backup-simplify]: Simplify -4.0 into -4.0
14.365 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y
14.365 * [taylor]: Taking taylor expansion of y in y
14.365 * [backup-simplify]: Simplify 0 into 0
14.365 * [backup-simplify]: Simplify 1 into 1
14.365 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
14.365 * [taylor]: Taking taylor expansion of (/ 1 z) in y
14.365 * [taylor]: Taking taylor expansion of z in y
14.365 * [backup-simplify]: Simplify z into z
14.365 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
14.365 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.365 * [taylor]: Taking taylor expansion of x in y
14.365 * [backup-simplify]: Simplify x into x
14.365 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
14.365 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
14.365 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
14.365 * [backup-simplify]: Simplify (* 0 (- (/ 1 z) (/ 1 x))) into 0
14.365 * [backup-simplify]: Simplify (* -4.0 0) into 0
14.365 * [taylor]: Taking taylor expansion of 0 in x
14.365 * [backup-simplify]: Simplify 0 into 0
14.366 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
14.366 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
14.366 * [backup-simplify]: Simplify (- 0) into 0
14.366 * [backup-simplify]: Simplify (+ 0 0) into 0
14.366 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (/ 1 z) (/ 1 x)))) into (- (/ 1 z) (/ 1 x))
14.367 * [backup-simplify]: Simplify (+ (* -4.0 (- (/ 1 z) (/ 1 x))) (* 0 0)) into (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 z)))
14.367 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 z))) in x
14.367 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
14.367 * [taylor]: Taking taylor expansion of 4.0 in x
14.367 * [backup-simplify]: Simplify 4.0 into 4.0
14.367 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.367 * [taylor]: Taking taylor expansion of x in x
14.367 * [backup-simplify]: Simplify 0 into 0
14.367 * [backup-simplify]: Simplify 1 into 1
14.367 * [backup-simplify]: Simplify (/ 1 1) into 1
14.367 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in x
14.367 * [taylor]: Taking taylor expansion of 4.0 in x
14.367 * [backup-simplify]: Simplify 4.0 into 4.0
14.367 * [taylor]: Taking taylor expansion of (/ 1 z) in x
14.368 * [taylor]: Taking taylor expansion of z in x
14.368 * [backup-simplify]: Simplify z into z
14.368 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
14.368 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
14.368 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
14.368 * [taylor]: Taking taylor expansion of 4.0 in z
14.368 * [backup-simplify]: Simplify 4.0 into 4.0
14.368 * [taylor]: Taking taylor expansion of 0 in z
14.368 * [backup-simplify]: Simplify 0 into 0
14.368 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
14.368 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
14.369 * [backup-simplify]: Simplify (- 0) into 0
14.373 * [backup-simplify]: Simplify (+ 0 0) into 0
14.374 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (/ 1 z) (/ 1 x))))) into 0
14.374 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 (- (/ 1 z) (/ 1 x))) (* 0 0))) into 0
14.374 * [taylor]: Taking taylor expansion of 0 in x
14.374 * [backup-simplify]: Simplify 0 into 0
14.375 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
14.375 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
14.375 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
14.375 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
14.375 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 z)))) into (- (* 4.0 (/ 1 z)))
14.375 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
14.375 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
14.375 * [taylor]: Taking taylor expansion of 4.0 in z
14.375 * [backup-simplify]: Simplify 4.0 into 4.0
14.375 * [taylor]: Taking taylor expansion of (/ 1 z) in z
14.375 * [taylor]: Taking taylor expansion of z in z
14.375 * [backup-simplify]: Simplify 0 into 0
14.376 * [backup-simplify]: Simplify 1 into 1
14.376 * [backup-simplify]: Simplify (/ 1 1) into 1
14.376 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
14.376 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
14.377 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
14.377 * [taylor]: Taking taylor expansion of 0 in z
14.377 * [backup-simplify]: Simplify 0 into 0
14.377 * [backup-simplify]: Simplify 4.0 into 4.0
14.377 * [backup-simplify]: Simplify 0 into 0
14.377 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
14.377 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
14.377 * [backup-simplify]: Simplify (- 0) into 0
14.377 * [backup-simplify]: Simplify (+ 0 0) into 0
14.378 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x)))))) into 0
14.379 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 z) (/ 1 x))) (* 0 0)))) into 0
14.379 * [taylor]: Taking taylor expansion of 0 in x
14.379 * [backup-simplify]: Simplify 0 into 0
14.379 * [taylor]: Taking taylor expansion of 0 in z
14.379 * [backup-simplify]: Simplify 0 into 0
14.380 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.380 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
14.380 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
14.381 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ 1 z))) into 0
14.381 * [backup-simplify]: Simplify (- 0) into 0
14.381 * [backup-simplify]: Simplify (+ 0 0) into 0
14.381 * [taylor]: Taking taylor expansion of 0 in z
14.381 * [backup-simplify]: Simplify 0 into 0
14.381 * [taylor]: Taking taylor expansion of 0 in z
14.381 * [backup-simplify]: Simplify 0 into 0
14.382 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
14.382 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
14.382 * [backup-simplify]: Simplify (- 0) into 0
14.382 * [backup-simplify]: Simplify 0 into 0
14.382 * [backup-simplify]: Simplify 0 into 0
14.382 * [backup-simplify]: Simplify 0 into 0
14.382 * [backup-simplify]: Simplify 0 into 0
14.383 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
14.383 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
14.383 * [backup-simplify]: Simplify (- 0) into 0
14.383 * [backup-simplify]: Simplify (+ 0 0) into 0
14.384 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x))))))) into 0
14.385 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 z) (/ 1 x))) (* 0 0))))) into 0
14.385 * [taylor]: Taking taylor expansion of 0 in x
14.385 * [backup-simplify]: Simplify 0 into 0
14.386 * [taylor]: Taking taylor expansion of 0 in z
14.386 * [backup-simplify]: Simplify 0 into 0
14.386 * [taylor]: Taking taylor expansion of 0 in z
14.386 * [backup-simplify]: Simplify 0 into 0
14.387 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.388 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.388 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
14.389 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
14.389 * [backup-simplify]: Simplify (- 0) into 0
14.390 * [backup-simplify]: Simplify (+ 0 0) into 0
14.390 * [taylor]: Taking taylor expansion of 0 in z
14.390 * [backup-simplify]: Simplify 0 into 0
14.390 * [taylor]: Taking taylor expansion of 0 in z
14.390 * [backup-simplify]: Simplify 0 into 0
14.390 * [backup-simplify]: Simplify 0 into 0
14.391 * [backup-simplify]: Simplify (+ (* 4.0 (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (- y))))) (* (- 4.0) (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (- y)))))) into (- (* 4.0 (/ x y)) (* 4.0 (/ z y)))
14.391 * * * [progress]: simplifying candidates
14.392 * [simplify]: Simplifying:
  (* (/ 4.0 y) (- x z))
  (+ (- (log 4.0) (log y)) (log (- x z)))
  (+ (log (/ 4.0 y)) (log (- x z)))
  (log (* (/ 4.0 y) (- x z)))
  (exp (* (/ 4.0 y) (- x z)))
  (* (/ (* (* 4.0 4.0) 4.0) (* (* y y) y)) (* (* (- x z) (- x z)) (- x z)))
  (* (* (* (/ 4.0 y) (/ 4.0 y)) (/ 4.0 y)) (* (* (- x z) (- x z)) (- x z)))
  (* (cbrt (* (/ 4.0 y) (- x z))) (cbrt (* (/ 4.0 y) (- x z))))
  (cbrt (* (/ 4.0 y) (- x z)))
  (* (* (* (/ 4.0 y) (- x z)) (* (/ 4.0 y) (- x z))) (* (/ 4.0 y) (- x z)))
  (sqrt (* (/ 4.0 y) (- x z)))
  (sqrt (* (/ 4.0 y) (- x z)))
  (* 4.0 (- (pow x 3) (pow z 3)))
  (* y (+ (* x x) (+ (* z z) (* x z))))
  (* 4.0 (- (* x x) (* z z)))
  (* y (+ x z))
  (* (sqrt (/ 4.0 y)) (sqrt (- x z)))
  (* (sqrt (/ 4.0 y)) (sqrt (- x z)))
  (* (/ (sqrt 4.0) (sqrt y)) (sqrt (- x z)))
  (* (/ (sqrt 4.0) (sqrt y)) (sqrt (- x z)))
  (* (/ 4.0 y) x)
  (* (/ 4.0 y) (- z))
  (* (/ 4.0 y) x)
  (* (/ 4.0 y) (- z))
  (* x (/ 4.0 y))
  (* (- z) (/ 4.0 y))
  (* x (/ 4.0 y))
  (* (- z) (/ 4.0 y))
  (* (/ 4.0 y) (* (cbrt (- x z)) (cbrt (- x z))))
  (* (/ 4.0 y) (sqrt (- x z)))
  (* (/ 4.0 y) 1)
  (* (/ 4.0 y) (+ (sqrt x) (sqrt z)))
  (* (/ 4.0 y) 1)
  (* (cbrt (/ 4.0 y)) (- x z))
  (* (sqrt (/ 4.0 y)) (- x z))
  (* (/ (cbrt 4.0) (cbrt y)) (- x z))
  (* (/ (cbrt 4.0) (sqrt y)) (- x z))
  (* (/ (cbrt 4.0) y) (- x z))
  (* (/ (sqrt 4.0) (cbrt y)) (- x z))
  (* (/ (sqrt 4.0) (sqrt y)) (- x z))
  (* (/ (sqrt 4.0) y) (- x z))
  (* (/ 4.0 (cbrt y)) (- x z))
  (* (/ 4.0 (sqrt y)) (- x z))
  (* (/ 4.0 y) (- x z))
  (* (/ 4.0 y) (- x z))
  (* (/ 1 y) (- x z))
  (* (/ 4.0 y) (- (pow x 3) (pow z 3)))
  (* (/ 4.0 y) (- (* x x) (* z z)))
  (* 4.0 (- x z))
  (- (* 4.0 (/ x y)) (* 4.0 (/ z y)))
  (- (* 4.0 (/ x y)) (* 4.0 (/ z y)))
  (- (* 4.0 (/ x y)) (* 4.0 (/ z y)))
14.394 * * [simplify]: Extracting # 0 : cost  0
14.394 * * [simplify]: Extracting # 1 : cost  0
14.394 * * [simplify]: Extracting # 2 : cost  0
14.395 * * [simplify]: Extracting # 3 : cost  0
14.395 * * [simplify]: Extracting # 4 : cost  0
14.395 * * [simplify]: Extracting # 5 : cost  0
14.395 * * [simplify]: Extracting # 6 : cost  0
14.395 * * [simplify]: iteration  0 :  99  enodes  (cost  475 )
14.418 * * [simplify]: Extracting # 0 : cost  0
14.418 * * [simplify]: Extracting # 1 : cost  0
14.418 * * [simplify]: Extracting # 2 : cost  0
14.418 * * [simplify]: Extracting # 3 : cost  0
14.419 * * [simplify]: iteration  1 :  257  enodes  (cost  460 )
14.578 * * [simplify]: Extracting # 0 : cost  0
14.580 * * [simplify]: Extracting # 1 : cost  0
14.581 * * [simplify]: Extracting # 2 : cost  0
14.582 * * [simplify]: Extracting # 3 : cost  0
14.583 * * [simplify]: Extracting # 4 : cost  0
14.584 * * [simplify]: iteration  2 :  817  enodes  (cost  410 )
15.491 * * [simplify]: Extracting # 0 : cost  0
15.498 * * [simplify]: Extracting # 1 : cost  0
15.504 * * [simplify]: Extracting # 2 : cost  0
15.509 * * [simplify]: Extracting # 3 : cost  0
15.515 * * [simplify]: Extracting # 4 : cost  0
15.520 * * [simplify]: iteration  3 :  2804  enodes  (cost  410 )
16.936 * * [simplify]: Extracting # 0 : cost  0
16.942 * * [simplify]: Extracting # 1 : cost  0
16.947 * * [simplify]: Extracting # 2 : cost  0
16.952 * * [simplify]: Extracting # 3 : cost  0
16.964 * * [simplify]: Extracting # 4 : cost  0
16.969 * * [simplify]: iteration done:  5002  enodes  (cost  410 )
16.970 * [simplify]: Simplified to:
  (* (/ 4.0 y) (- x z))
  (log (* (/ 4.0 y) (- x z)))
  (log (* (/ 4.0 y) (- x z)))
  (log (* (/ 4.0 y) (- x z)))
  (exp (* (/ 4.0 y) (- x z)))
  (pow (* (/ 4.0 y) (- x z)) 3)
  (pow (* (/ 4.0 y) (- x z)) 3)
  (* (cbrt (* (/ 4.0 y) (- x z))) (cbrt (* (/ 4.0 y) (- x z))))
  (cbrt (* (/ 4.0 y) (- x z)))
  (pow (* (/ 4.0 y) (- x z)) 3)
  (sqrt (* (/ 4.0 y) (- x z)))
  (sqrt (* (/ 4.0 y) (- x z)))
  (* 4.0 (- (pow x 3) (pow z 3)))
  (* (+ (* x x) (* z (+ x z))) y)
  (* (- x z) (* (+ x z) 4.0))
  (* y (+ x z))
  (* (sqrt (/ 4.0 y)) (sqrt (- x z)))
  (* (sqrt (/ 4.0 y)) (sqrt (- x z)))
  (* (/ (sqrt 4.0) (sqrt y)) (sqrt (- x z)))
  (* (/ (sqrt 4.0) (sqrt y)) (sqrt (- x z)))
  (* (/ 4.0 y) x)
  (- (* 4.0 (/ z y)))
  (* (/ 4.0 y) x)
  (- (* 4.0 (/ z y)))
  (* (/ 4.0 y) x)
  (- (* 4.0 (/ z y)))
  (* (/ 4.0 y) x)
  (- (* 4.0 (/ z y)))
  (* (/ 4.0 y) (* (cbrt (- x z)) (cbrt (- x z))))
  (* (/ 4.0 y) (sqrt (- x z)))
  (/ 4.0 y)
  (* (/ 4.0 y) (+ (sqrt x) (sqrt z)))
  (/ 4.0 y)
  (* (cbrt (/ 4.0 y)) (- x z))
  (* (sqrt (/ 4.0 y)) (- x z))
  (* (/ (cbrt 4.0) (cbrt y)) (- x z))
  (* (/ (cbrt 4.0) (sqrt y)) (- x z))
  (* (/ (cbrt 4.0) y) (- x z))
  (* (/ (sqrt 4.0) (cbrt y)) (- x z))
  (* (/ (sqrt 4.0) (sqrt y)) (- x z))
  (* (/ (sqrt 4.0) y) (- x z))
  (* (/ 4.0 (cbrt y)) (- x z))
  (* (/ 4.0 (sqrt y)) (- x z))
  (* (/ 4.0 y) (- x z))
  (* (/ 4.0 y) (- x z))
  (/ (- x z) y)
  (* (/ 4.0 y) (- (pow x 3) (pow z 3)))
  (* (/ 4.0 y) (- (* x x) (* z z)))
  (* 4.0 (- x z))
  (* (/ 4.0 y) (- x z))
  (* (/ 4.0 y) (- x z))
  (* (/ 4.0 y) (- x z))
16.970 * * * [progress]: adding candidates to table
17.104 * [progress]: [Phase 3 of 3] Extracting.
17.104 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ 2.0 (* 4.0 (- (/ x y) (/ z y)))))> #<alt (λ (x y z) (+ 2.0 (* 1 (* (/ 4.0 y) (- x z)))))>)
17.105 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
17.105 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ 2.0 (* 4.0 (- (/ x y) (/ z y)))))> #<alt (λ (x y z) (+ 2.0 (* 1 (* (/ 4.0 y) (- x z)))))>)
17.119 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ 2.0 (* 4.0 (- (/ x y) (/ z y)))))> #<alt (λ (x y z) (+ 2.0 (* 1 (* (/ 4.0 y) (- x z)))))>)
17.132 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ 2.0 (* 4.0 (- (/ x y) (/ z y)))))> #<alt (λ (x y z) (+ 2.0 (* 1 (* (/ 4.0 y) (- x z)))))>)
17.148 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
17.148 * [simplify]: Simplifying:
  (+ 2.0 (* 4.0 (- (/ x y) (/ z y))))
17.148 * * [simplify]: Extracting # 0 : cost  0
17.148 * * [simplify]: Extracting # 1 : cost  0
17.148 * * [simplify]: Extracting # 2 : cost  0
17.148 * * [simplify]: Extracting # 3 : cost  0
17.149 * * [simplify]: Extracting # 4 : cost  0
17.149 * * [simplify]: Extracting # 5 : cost  0
17.149 * * [simplify]: Extracting # 6 : cost  0
17.149 * * [simplify]: iteration  0 :  10  enodes  (cost  11 )
17.149 * * [simplify]: Extracting # 0 : cost  0
17.149 * * [simplify]: iteration  1 :  12  enodes  (cost  11 )
17.149 * * [simplify]: Extracting # 0 : cost  0
17.149 * * [simplify]: iteration done:  12  enodes  (cost  11 )
17.149 * [simplify]: Simplified to:
  (+ 2.0 (* 4.0 (- (/ x y) (/ z y))))
18.491 * [regime-testing]: Baseline error score: 0.0084491764596476
18.495 * [regime-testing]: Oracle error score: 0.004073629516279679
18.503 * [regime-testing]: End program error score: 0.0084491764596476