26.412 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.027 * * * [progress]: [2/2] Setting up program.
0.029 * [progress]: [Phase 2 of 3] Improving.
0.029 * [simplify]: Simplifying:
  (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))
0.029 * * [simplify]: Extracting # 0 : cost  0
0.029 * * [simplify]: Extracting # 1 : cost  0
0.029 * * [simplify]: Extracting # 2 : cost  0
0.030 * * [simplify]: Extracting # 3 : cost  0
0.030 * * [simplify]: Extracting # 4 : cost  0
0.030 * * [simplify]: Extracting # 5 : cost  0
0.030 * * [simplify]: Extracting # 6 : cost  0
0.030 * * [simplify]: Extracting # 7 : cost  0
0.030 * * [simplify]: iteration  0 :  12  enodes  (cost  13 )
0.032 * * [simplify]: Extracting # 0 : cost  0
0.032 * * [simplify]: Extracting # 1 : cost  0
0.032 * * [simplify]: Extracting # 2 : cost  0
0.032 * * [simplify]: iteration  1 :  22  enodes  (cost  13 )
0.035 * * [simplify]: Extracting # 0 : cost  0
0.035 * * [simplify]: Extracting # 1 : cost  0
0.035 * * [simplify]: Extracting # 2 : cost  0
0.035 * * [simplify]: iteration  2 :  46  enodes  (cost  13 )
0.046 * * [simplify]: Extracting # 0 : cost  0
0.047 * * [simplify]: Extracting # 1 : cost  0
0.047 * * [simplify]: Extracting # 2 : cost  0
0.047 * * [simplify]: iteration  3 :  109  enodes  (cost  13 )
0.095 * * [simplify]: Extracting # 0 : cost  0
0.095 * * [simplify]: Extracting # 1 : cost  0
0.096 * * [simplify]: Extracting # 2 : cost  0
0.096 * * [simplify]: iteration  4 :  232  enodes  (cost  13 )
0.157 * * [simplify]: Extracting # 0 : cost  0
0.157 * * [simplify]: Extracting # 1 : cost  0
0.158 * * [simplify]: Extracting # 2 : cost  0
0.158 * * [simplify]: iteration  5 :  364  enodes  (cost  13 )
0.282 * * [simplify]: Extracting # 0 : cost  0
0.283 * * [simplify]: Extracting # 1 : cost  0
0.283 * * [simplify]: Extracting # 2 : cost  0
0.284 * * [simplify]: iteration  6 :  485  enodes  (cost  13 )
0.468 * * [simplify]: Extracting # 0 : cost  0
0.469 * * [simplify]: Extracting # 1 : cost  0
0.469 * * [simplify]: Extracting # 2 : cost  0
0.470 * * [simplify]: Extracting # 3 : cost  0
0.470 * * [simplify]: iteration  7 :  648  enodes  (cost  11 )
0.842 * * [simplify]: Extracting # 0 : cost  0
0.844 * * [simplify]: Extracting # 1 : cost  0
0.845 * * [simplify]: Extracting # 2 : cost  0
0.846 * * [simplify]: Extracting # 3 : cost  0
0.847 * * [simplify]: iteration  8 :  1081  enodes  (cost  11 )
2.225 * * [simplify]: Extracting # 0 : cost  0
2.227 * * [simplify]: Extracting # 1 : cost  0
2.229 * * [simplify]: Extracting # 2 : cost  0
2.231 * * [simplify]: iteration  9 :  2451  enodes  (cost  11 )
6.496 * * [simplify]: Extracting # 0 : cost  0
6.507 * * [simplify]: Extracting # 1 : cost  0
6.511 * * [simplify]: Extracting # 2 : cost  0
6.514 * * [simplify]: Extracting # 3 : cost  0
6.518 * * [simplify]: iteration done:  5001  enodes  (cost  11 )
6.518 * [simplify]: Simplified to:
  (+ 1.0 (* (+ (/ (- x z) y) 0.25) 4.0))
6.521 * * [progress]: iteration 1 / 4
6.521 * * * [progress]: picking best candidate
6.524 * * * * [pick]: Picked  #<alt (λ (x y z) (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)))>
6.524 * * * [progress]: localizing error
6.541 * * * [progress]: generating rewritten candidates
6.541 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
6.591 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
6.627 * * * [progress]: generating series expansions
6.627 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
6.627 * [backup-simplify]: Simplify (/ (* 4.0 (- (+ x (* y 0.25)) z)) y) into (* 4.0 (/ (- (+ x (* 0.25 y)) z) y))
6.627 * [approximate]: Taking taylor expansion of (* 4.0 (/ (- (+ x (* 0.25 y)) z) y)) in (x y z) around 0
6.627 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (+ x (* 0.25 y)) z) y)) in z
6.628 * [taylor]: Taking taylor expansion of 4.0 in z
6.628 * [backup-simplify]: Simplify 4.0 into 4.0
6.628 * [taylor]: Taking taylor expansion of (/ (- (+ x (* 0.25 y)) z) y) in z
6.628 * [taylor]: Taking taylor expansion of (- (+ x (* 0.25 y)) z) in z
6.628 * [taylor]: Taking taylor expansion of (+ x (* 0.25 y)) in z
6.628 * [taylor]: Taking taylor expansion of x in z
6.628 * [backup-simplify]: Simplify x into x
6.628 * [taylor]: Taking taylor expansion of (* 0.25 y) in z
6.628 * [taylor]: Taking taylor expansion of 0.25 in z
6.628 * [backup-simplify]: Simplify 0.25 into 0.25
6.628 * [taylor]: Taking taylor expansion of y in z
6.628 * [backup-simplify]: Simplify y into y
6.628 * [taylor]: Taking taylor expansion of z in z
6.628 * [backup-simplify]: Simplify 0 into 0
6.628 * [backup-simplify]: Simplify 1 into 1
6.628 * [taylor]: Taking taylor expansion of y in z
6.628 * [backup-simplify]: Simplify y into y
6.628 * [backup-simplify]: Simplify (* 0.25 y) into (* 0.25 y)
6.628 * [backup-simplify]: Simplify (+ x (* 0.25 y)) into (+ x (* 0.25 y))
6.629 * [backup-simplify]: Simplify (- 0) into 0
6.629 * [backup-simplify]: Simplify (+ (+ x (* 0.25 y)) 0) into (+ x (* 0.25 y))
6.629 * [backup-simplify]: Simplify (/ (+ x (* 0.25 y)) y) into (/ (+ x (* 0.25 y)) y)
6.629 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (+ x (* 0.25 y)) z) y)) in y
6.629 * [taylor]: Taking taylor expansion of 4.0 in y
6.629 * [backup-simplify]: Simplify 4.0 into 4.0
6.629 * [taylor]: Taking taylor expansion of (/ (- (+ x (* 0.25 y)) z) y) in y
6.629 * [taylor]: Taking taylor expansion of (- (+ x (* 0.25 y)) z) in y
6.629 * [taylor]: Taking taylor expansion of (+ x (* 0.25 y)) in y
6.629 * [taylor]: Taking taylor expansion of x in y
6.629 * [backup-simplify]: Simplify x into x
6.629 * [taylor]: Taking taylor expansion of (* 0.25 y) in y
6.629 * [taylor]: Taking taylor expansion of 0.25 in y
6.629 * [backup-simplify]: Simplify 0.25 into 0.25
6.629 * [taylor]: Taking taylor expansion of y in y
6.629 * [backup-simplify]: Simplify 0 into 0
6.629 * [backup-simplify]: Simplify 1 into 1
6.629 * [taylor]: Taking taylor expansion of z in y
6.629 * [backup-simplify]: Simplify z into z
6.629 * [taylor]: Taking taylor expansion of y in y
6.629 * [backup-simplify]: Simplify 0 into 0
6.629 * [backup-simplify]: Simplify 1 into 1
6.630 * [backup-simplify]: Simplify (* 0.25 0) into 0
6.630 * [backup-simplify]: Simplify (+ x 0) into x
6.630 * [backup-simplify]: Simplify (- z) into (- z)
6.630 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
6.630 * [backup-simplify]: Simplify (/ (- x z) 1) into (- x z)
6.630 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (+ x (* 0.25 y)) z) y)) in x
6.630 * [taylor]: Taking taylor expansion of 4.0 in x
6.630 * [backup-simplify]: Simplify 4.0 into 4.0
6.630 * [taylor]: Taking taylor expansion of (/ (- (+ x (* 0.25 y)) z) y) in x
6.630 * [taylor]: Taking taylor expansion of (- (+ x (* 0.25 y)) z) in x
6.630 * [taylor]: Taking taylor expansion of (+ x (* 0.25 y)) in x
6.630 * [taylor]: Taking taylor expansion of x in x
6.630 * [backup-simplify]: Simplify 0 into 0
6.630 * [backup-simplify]: Simplify 1 into 1
6.630 * [taylor]: Taking taylor expansion of (* 0.25 y) in x
6.630 * [taylor]: Taking taylor expansion of 0.25 in x
6.630 * [backup-simplify]: Simplify 0.25 into 0.25
6.630 * [taylor]: Taking taylor expansion of y in x
6.630 * [backup-simplify]: Simplify y into y
6.630 * [taylor]: Taking taylor expansion of z in x
6.630 * [backup-simplify]: Simplify z into z
6.630 * [taylor]: Taking taylor expansion of y in x
6.630 * [backup-simplify]: Simplify y into y
6.630 * [backup-simplify]: Simplify (* 0.25 y) into (* 0.25 y)
6.630 * [backup-simplify]: Simplify (+ 0 (* 0.25 y)) into (* 0.25 y)
6.630 * [backup-simplify]: Simplify (- z) into (- z)
6.630 * [backup-simplify]: Simplify (+ (* 0.25 y) (- z)) into (- (* 0.25 y) z)
6.630 * [backup-simplify]: Simplify (/ (- (* 0.25 y) z) y) into (/ (- (* 0.25 y) z) y)
6.631 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (+ x (* 0.25 y)) z) y)) in x
6.631 * [taylor]: Taking taylor expansion of 4.0 in x
6.631 * [backup-simplify]: Simplify 4.0 into 4.0
6.631 * [taylor]: Taking taylor expansion of (/ (- (+ x (* 0.25 y)) z) y) in x
6.631 * [taylor]: Taking taylor expansion of (- (+ x (* 0.25 y)) z) in x
6.631 * [taylor]: Taking taylor expansion of (+ x (* 0.25 y)) in x
6.631 * [taylor]: Taking taylor expansion of x in x
6.631 * [backup-simplify]: Simplify 0 into 0
6.631 * [backup-simplify]: Simplify 1 into 1
6.631 * [taylor]: Taking taylor expansion of (* 0.25 y) in x
6.631 * [taylor]: Taking taylor expansion of 0.25 in x
6.631 * [backup-simplify]: Simplify 0.25 into 0.25
6.631 * [taylor]: Taking taylor expansion of y in x
6.631 * [backup-simplify]: Simplify y into y
6.631 * [taylor]: Taking taylor expansion of z in x
6.631 * [backup-simplify]: Simplify z into z
6.631 * [taylor]: Taking taylor expansion of y in x
6.631 * [backup-simplify]: Simplify y into y
6.631 * [backup-simplify]: Simplify (* 0.25 y) into (* 0.25 y)
6.631 * [backup-simplify]: Simplify (+ 0 (* 0.25 y)) into (* 0.25 y)
6.631 * [backup-simplify]: Simplify (- z) into (- z)
6.631 * [backup-simplify]: Simplify (+ (* 0.25 y) (- z)) into (- (* 0.25 y) z)
6.631 * [backup-simplify]: Simplify (/ (- (* 0.25 y) z) y) into (/ (- (* 0.25 y) z) y)
6.631 * [backup-simplify]: Simplify (* 4.0 (/ (- (* 0.25 y) z) y)) into (* 4.0 (/ (- (* 0.25 y) z) y))
6.631 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (* 0.25 y) z) y)) in y
6.631 * [taylor]: Taking taylor expansion of 4.0 in y
6.631 * [backup-simplify]: Simplify 4.0 into 4.0
6.631 * [taylor]: Taking taylor expansion of (/ (- (* 0.25 y) z) y) in y
6.631 * [taylor]: Taking taylor expansion of (- (* 0.25 y) z) in y
6.631 * [taylor]: Taking taylor expansion of (* 0.25 y) in y
6.631 * [taylor]: Taking taylor expansion of 0.25 in y
6.631 * [backup-simplify]: Simplify 0.25 into 0.25
6.631 * [taylor]: Taking taylor expansion of y in y
6.631 * [backup-simplify]: Simplify 0 into 0
6.631 * [backup-simplify]: Simplify 1 into 1
6.631 * [taylor]: Taking taylor expansion of z in y
6.631 * [backup-simplify]: Simplify z into z
6.631 * [taylor]: Taking taylor expansion of y in y
6.631 * [backup-simplify]: Simplify 0 into 0
6.631 * [backup-simplify]: Simplify 1 into 1
6.632 * [backup-simplify]: Simplify (* 0.25 0) into 0
6.632 * [backup-simplify]: Simplify (- z) into (- z)
6.632 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
6.632 * [backup-simplify]: Simplify (/ (- z) 1) into (* -1 z)
6.632 * [backup-simplify]: Simplify (* 4.0 (* -1 z)) into (* -4.0 z)
6.632 * [taylor]: Taking taylor expansion of (* -4.0 z) in z
6.632 * [taylor]: Taking taylor expansion of -4.0 in z
6.632 * [backup-simplify]: Simplify -4.0 into -4.0
6.632 * [taylor]: Taking taylor expansion of z in z
6.632 * [backup-simplify]: Simplify 0 into 0
6.632 * [backup-simplify]: Simplify 1 into 1
6.632 * [backup-simplify]: Simplify (* -4.0 0) into 0
6.632 * [backup-simplify]: Simplify 0 into 0
6.633 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 y)) into 0
6.633 * [backup-simplify]: Simplify (+ 1 0) into 1
6.633 * [backup-simplify]: Simplify (- 0) into 0
6.634 * [backup-simplify]: Simplify (+ 1 0) into 1
6.634 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* (/ (- (* 0.25 y) z) y) (/ 0 y)))) into (/ 1 y)
6.634 * [backup-simplify]: Simplify (+ (* 4.0 (/ 1 y)) (* 0 (/ (- (* 0.25 y) z) y))) into (* 4.0 (/ 1 y))
6.634 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
6.634 * [taylor]: Taking taylor expansion of 4.0 in y
6.634 * [backup-simplify]: Simplify 4.0 into 4.0
6.634 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.634 * [taylor]: Taking taylor expansion of y in y
6.634 * [backup-simplify]: Simplify 0 into 0
6.634 * [backup-simplify]: Simplify 1 into 1
6.634 * [backup-simplify]: Simplify (/ 1 1) into 1
6.634 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
6.634 * [taylor]: Taking taylor expansion of 4.0 in z
6.635 * [backup-simplify]: Simplify 4.0 into 4.0
6.635 * [backup-simplify]: Simplify 4.0 into 4.0
6.635 * [backup-simplify]: Simplify (+ (* 0.25 1) (* 0 0)) into 0.25
6.636 * [backup-simplify]: Simplify (- 0) into 0
6.636 * [backup-simplify]: Simplify (+ 0.25 0) into 0.25
6.637 * [backup-simplify]: Simplify (- (/ 0.25 1) (+ (* (* -1 z) (/ 0 1)))) into 0.25
6.637 * [backup-simplify]: Simplify (+ (* 4.0 0.25) (* 0 (* -1 z))) into 1.0
6.637 * [taylor]: Taking taylor expansion of 1.0 in z
6.637 * [backup-simplify]: Simplify 1.0 into 1.0
6.637 * [backup-simplify]: Simplify 1.0 into 1.0
6.638 * [backup-simplify]: Simplify (+ (* -4.0 1) (* 0 0)) into (- 4.0)
6.638 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.639 * [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)))
6.639 * [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))
6.639 * [approximate]: Taking taylor expansion of (* 4.0 (* (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) y)) in (x y z) around 0
6.639 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) y)) in z
6.639 * [taylor]: Taking taylor expansion of 4.0 in z
6.639 * [backup-simplify]: Simplify 4.0 into 4.0
6.639 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) y) in z
6.639 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) in z
6.639 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 y)) (/ 1 x)) in z
6.639 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 y)) in z
6.639 * [taylor]: Taking taylor expansion of 0.25 in z
6.639 * [backup-simplify]: Simplify 0.25 into 0.25
6.639 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.639 * [taylor]: Taking taylor expansion of y in z
6.639 * [backup-simplify]: Simplify y into y
6.639 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.639 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.639 * [taylor]: Taking taylor expansion of x in z
6.639 * [backup-simplify]: Simplify x into x
6.639 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.639 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.639 * [taylor]: Taking taylor expansion of z in z
6.639 * [backup-simplify]: Simplify 0 into 0
6.639 * [backup-simplify]: Simplify 1 into 1
6.639 * [backup-simplify]: Simplify (/ 1 1) into 1
6.639 * [taylor]: Taking taylor expansion of y in z
6.639 * [backup-simplify]: Simplify y into y
6.639 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) y)) in y
6.640 * [taylor]: Taking taylor expansion of 4.0 in y
6.640 * [backup-simplify]: Simplify 4.0 into 4.0
6.640 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) y) in y
6.640 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) in y
6.640 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 y)) (/ 1 x)) in y
6.640 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 y)) in y
6.640 * [taylor]: Taking taylor expansion of 0.25 in y
6.640 * [backup-simplify]: Simplify 0.25 into 0.25
6.640 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.640 * [taylor]: Taking taylor expansion of y in y
6.640 * [backup-simplify]: Simplify 0 into 0
6.640 * [backup-simplify]: Simplify 1 into 1
6.640 * [backup-simplify]: Simplify (/ 1 1) into 1
6.640 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.640 * [taylor]: Taking taylor expansion of x in y
6.640 * [backup-simplify]: Simplify x into x
6.640 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.640 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.640 * [taylor]: Taking taylor expansion of z in y
6.640 * [backup-simplify]: Simplify z into z
6.640 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.640 * [taylor]: Taking taylor expansion of y in y
6.640 * [backup-simplify]: Simplify 0 into 0
6.640 * [backup-simplify]: Simplify 1 into 1
6.640 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) y)) in x
6.640 * [taylor]: Taking taylor expansion of 4.0 in x
6.640 * [backup-simplify]: Simplify 4.0 into 4.0
6.640 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) y) in x
6.640 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) in x
6.640 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 y)) (/ 1 x)) in x
6.640 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 y)) in x
6.640 * [taylor]: Taking taylor expansion of 0.25 in x
6.640 * [backup-simplify]: Simplify 0.25 into 0.25
6.640 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.640 * [taylor]: Taking taylor expansion of y in x
6.640 * [backup-simplify]: Simplify y into y
6.640 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.640 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.640 * [taylor]: Taking taylor expansion of x in x
6.640 * [backup-simplify]: Simplify 0 into 0
6.641 * [backup-simplify]: Simplify 1 into 1
6.641 * [backup-simplify]: Simplify (/ 1 1) into 1
6.641 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.641 * [taylor]: Taking taylor expansion of z in x
6.641 * [backup-simplify]: Simplify z into z
6.641 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.641 * [taylor]: Taking taylor expansion of y in x
6.641 * [backup-simplify]: Simplify y into y
6.641 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) y)) in x
6.641 * [taylor]: Taking taylor expansion of 4.0 in x
6.641 * [backup-simplify]: Simplify 4.0 into 4.0
6.641 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) y) in x
6.641 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) in x
6.641 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 y)) (/ 1 x)) in x
6.641 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 y)) in x
6.641 * [taylor]: Taking taylor expansion of 0.25 in x
6.641 * [backup-simplify]: Simplify 0.25 into 0.25
6.641 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.641 * [taylor]: Taking taylor expansion of y in x
6.641 * [backup-simplify]: Simplify y into y
6.641 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.641 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.641 * [taylor]: Taking taylor expansion of x in x
6.641 * [backup-simplify]: Simplify 0 into 0
6.641 * [backup-simplify]: Simplify 1 into 1
6.641 * [backup-simplify]: Simplify (/ 1 1) into 1
6.641 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.641 * [taylor]: Taking taylor expansion of z in x
6.642 * [backup-simplify]: Simplify z into z
6.642 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.642 * [taylor]: Taking taylor expansion of y in x
6.642 * [backup-simplify]: Simplify y into y
6.642 * [backup-simplify]: Simplify (+ 0 1) into 1
6.642 * [backup-simplify]: Simplify (+ 1 0) into 1
6.642 * [backup-simplify]: Simplify (* 1 y) into y
6.642 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
6.642 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
6.642 * [taylor]: Taking taylor expansion of 4.0 in y
6.642 * [backup-simplify]: Simplify 4.0 into 4.0
6.642 * [taylor]: Taking taylor expansion of y in y
6.642 * [backup-simplify]: Simplify 0 into 0
6.642 * [backup-simplify]: Simplify 1 into 1
6.642 * [backup-simplify]: Simplify (* 0.25 (/ 1 y)) into (/ 0.25 y)
6.643 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.643 * [backup-simplify]: Simplify (+ (/ 0.25 y) 0) into (* 0.25 (/ 1 y))
6.643 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
6.643 * [backup-simplify]: Simplify (+ (* 0.25 (/ 1 y)) (- (/ 1 z))) into (- (* 0.25 (/ 1 y)) (/ 1 z))
6.644 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (* 0.25 (/ 1 y)) (/ 1 z)) y)) into (- 0.25 (/ y z))
6.644 * [backup-simplify]: Simplify (+ (* 4.0 (- 0.25 (/ y z))) (* 0 y)) into (- 1.0 (* 4.0 (/ y z)))
6.644 * [taylor]: Taking taylor expansion of (- 1.0 (* 4.0 (/ y z))) in y
6.644 * [taylor]: Taking taylor expansion of 1.0 in y
6.644 * [backup-simplify]: Simplify 1.0 into 1.0
6.644 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
6.644 * [taylor]: Taking taylor expansion of 4.0 in y
6.644 * [backup-simplify]: Simplify 4.0 into 4.0
6.644 * [taylor]: Taking taylor expansion of (/ y z) in y
6.644 * [taylor]: Taking taylor expansion of y in y
6.644 * [backup-simplify]: Simplify 0 into 0
6.644 * [backup-simplify]: Simplify 1 into 1
6.644 * [taylor]: Taking taylor expansion of z in y
6.644 * [backup-simplify]: Simplify z into z
6.644 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.644 * [backup-simplify]: Simplify (* 4.0 0) into 0
6.644 * [taylor]: Taking taylor expansion of 0 in z
6.644 * [backup-simplify]: Simplify 0 into 0
6.644 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.645 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 y))) into 0
6.645 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.646 * [backup-simplify]: Simplify (+ 0 0) into 0
6.646 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
6.646 * [backup-simplify]: Simplify (- 0) into 0
6.646 * [backup-simplify]: Simplify (+ 0 0) into 0
6.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (* 0.25 (/ 1 y)) (/ 1 z)) 0) (* 0 y))) into 0
6.647 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (- 0.25 (/ y z))) (* 0 y))) into 0
6.647 * [taylor]: Taking taylor expansion of 0 in y
6.647 * [backup-simplify]: Simplify 0 into 0
6.647 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.647 * [taylor]: Taking taylor expansion of 1.0 in z
6.647 * [backup-simplify]: Simplify 1.0 into 1.0
6.648 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
6.648 * [taylor]: Taking taylor expansion of 4.0 in z
6.648 * [backup-simplify]: Simplify 4.0 into 4.0
6.648 * [backup-simplify]: Simplify 0 into 0
6.649 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.649 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
6.650 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.650 * [backup-simplify]: Simplify (+ 0 0) into 0
6.650 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
6.651 * [backup-simplify]: Simplify (- 0) into 0
6.651 * [backup-simplify]: Simplify (+ 0 0) into 0
6.651 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (* 0.25 (/ 1 y)) (/ 1 z)) 0) (+ (* 0 0) (* 0 y)))) into 0
6.652 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 (- 0.25 (/ y z))) (* 0 y)))) into 0
6.652 * [taylor]: Taking taylor expansion of 0 in y
6.652 * [backup-simplify]: Simplify 0 into 0
6.652 * [taylor]: Taking taylor expansion of 0 in z
6.652 * [backup-simplify]: Simplify 0 into 0
6.652 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
6.652 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
6.652 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 z)))) into (- (* 4.0 (/ 1 z)))
6.652 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
6.652 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
6.652 * [taylor]: Taking taylor expansion of 4.0 in z
6.652 * [backup-simplify]: Simplify 4.0 into 4.0
6.652 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.652 * [taylor]: Taking taylor expansion of z in z
6.652 * [backup-simplify]: Simplify 0 into 0
6.652 * [backup-simplify]: Simplify 1 into 1
6.653 * [backup-simplify]: Simplify (/ 1 1) into 1
6.653 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
6.653 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.654 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.654 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
6.654 * [taylor]: Taking taylor expansion of 0 in z
6.654 * [backup-simplify]: Simplify 0 into 0
6.655 * [backup-simplify]: Simplify 1.0 into 1.0
6.655 * [backup-simplify]: Simplify 4.0 into 4.0
6.655 * [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)))
6.655 * [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))
6.655 * [approximate]: Taking taylor expansion of (* -4.0 (* (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) y)) in (x y z) around 0
6.655 * [taylor]: Taking taylor expansion of (* -4.0 (* (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) y)) in z
6.655 * [taylor]: Taking taylor expansion of -4.0 in z
6.655 * [backup-simplify]: Simplify -4.0 into -4.0
6.655 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) y) in z
6.655 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) in z
6.656 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.656 * [taylor]: Taking taylor expansion of z in z
6.656 * [backup-simplify]: Simplify 0 into 0
6.656 * [backup-simplify]: Simplify 1 into 1
6.656 * [backup-simplify]: Simplify (/ 1 1) into 1
6.656 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 y)) (/ 1 x)) in z
6.656 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 y)) in z
6.656 * [taylor]: Taking taylor expansion of 0.25 in z
6.656 * [backup-simplify]: Simplify 0.25 into 0.25
6.656 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.656 * [taylor]: Taking taylor expansion of y in z
6.656 * [backup-simplify]: Simplify y into y
6.656 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.656 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.656 * [taylor]: Taking taylor expansion of x in z
6.656 * [backup-simplify]: Simplify x into x
6.656 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.656 * [taylor]: Taking taylor expansion of y in z
6.656 * [backup-simplify]: Simplify y into y
6.656 * [taylor]: Taking taylor expansion of (* -4.0 (* (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) y)) in y
6.656 * [taylor]: Taking taylor expansion of -4.0 in y
6.656 * [backup-simplify]: Simplify -4.0 into -4.0
6.656 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) y) in y
6.656 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) in y
6.656 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.656 * [taylor]: Taking taylor expansion of z in y
6.656 * [backup-simplify]: Simplify z into z
6.656 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.656 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 y)) (/ 1 x)) in y
6.656 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 y)) in y
6.656 * [taylor]: Taking taylor expansion of 0.25 in y
6.656 * [backup-simplify]: Simplify 0.25 into 0.25
6.656 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.656 * [taylor]: Taking taylor expansion of y in y
6.656 * [backup-simplify]: Simplify 0 into 0
6.656 * [backup-simplify]: Simplify 1 into 1
6.657 * [backup-simplify]: Simplify (/ 1 1) into 1
6.657 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.657 * [taylor]: Taking taylor expansion of x in y
6.657 * [backup-simplify]: Simplify x into x
6.657 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.657 * [taylor]: Taking taylor expansion of y in y
6.657 * [backup-simplify]: Simplify 0 into 0
6.657 * [backup-simplify]: Simplify 1 into 1
6.657 * [taylor]: Taking taylor expansion of (* -4.0 (* (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) y)) in x
6.657 * [taylor]: Taking taylor expansion of -4.0 in x
6.657 * [backup-simplify]: Simplify -4.0 into -4.0
6.657 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) y) in x
6.657 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) in x
6.657 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.657 * [taylor]: Taking taylor expansion of z in x
6.657 * [backup-simplify]: Simplify z into z
6.657 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.657 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 y)) (/ 1 x)) in x
6.657 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 y)) in x
6.657 * [taylor]: Taking taylor expansion of 0.25 in x
6.657 * [backup-simplify]: Simplify 0.25 into 0.25
6.657 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.657 * [taylor]: Taking taylor expansion of y in x
6.657 * [backup-simplify]: Simplify y into y
6.657 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.657 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.657 * [taylor]: Taking taylor expansion of x in x
6.657 * [backup-simplify]: Simplify 0 into 0
6.657 * [backup-simplify]: Simplify 1 into 1
6.657 * [backup-simplify]: Simplify (/ 1 1) into 1
6.657 * [taylor]: Taking taylor expansion of y in x
6.657 * [backup-simplify]: Simplify y into y
6.658 * [taylor]: Taking taylor expansion of (* -4.0 (* (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) y)) in x
6.658 * [taylor]: Taking taylor expansion of -4.0 in x
6.658 * [backup-simplify]: Simplify -4.0 into -4.0
6.658 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) y) in x
6.658 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) in x
6.658 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.658 * [taylor]: Taking taylor expansion of z in x
6.658 * [backup-simplify]: Simplify z into z
6.658 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.658 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 y)) (/ 1 x)) in x
6.658 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 y)) in x
6.658 * [taylor]: Taking taylor expansion of 0.25 in x
6.658 * [backup-simplify]: Simplify 0.25 into 0.25
6.658 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.658 * [taylor]: Taking taylor expansion of y in x
6.658 * [backup-simplify]: Simplify y into y
6.658 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.658 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.658 * [taylor]: Taking taylor expansion of x in x
6.658 * [backup-simplify]: Simplify 0 into 0
6.658 * [backup-simplify]: Simplify 1 into 1
6.658 * [backup-simplify]: Simplify (/ 1 1) into 1
6.658 * [taylor]: Taking taylor expansion of y in x
6.658 * [backup-simplify]: Simplify y into y
6.659 * [backup-simplify]: Simplify (+ 0 1) into 1
6.659 * [backup-simplify]: Simplify (- 1) into -1
6.659 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.659 * [backup-simplify]: Simplify (* -1 y) into (* -1 y)
6.659 * [backup-simplify]: Simplify (* -4.0 (* -1 y)) into (* 4.0 y)
6.659 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
6.659 * [taylor]: Taking taylor expansion of 4.0 in y
6.659 * [backup-simplify]: Simplify 4.0 into 4.0
6.659 * [taylor]: Taking taylor expansion of y in y
6.659 * [backup-simplify]: Simplify 0 into 0
6.659 * [backup-simplify]: Simplify 1 into 1
6.659 * [backup-simplify]: Simplify (* 0.25 (/ 1 y)) into (/ 0.25 y)
6.660 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.660 * [backup-simplify]: Simplify (+ (/ 0.25 y) 0) into (* 0.25 (/ 1 y))
6.660 * [backup-simplify]: Simplify (- (* 0.25 (/ 1 y))) into (- (* 0.25 (/ 1 y)))
6.660 * [backup-simplify]: Simplify (+ (/ 1 z) (- (* 0.25 (/ 1 y)))) into (- (/ 1 z) (* 0.25 (/ 1 y)))
6.660 * [backup-simplify]: Simplify (+ (* -1 0) (* (- (/ 1 z) (* 0.25 (/ 1 y))) y)) into (- (/ y z) 0.25)
6.661 * [backup-simplify]: Simplify (+ (* -4.0 (- (/ y z) 0.25)) (* 0 (* -1 y))) into (- 1.0 (* 4.0 (/ y z)))
6.661 * [taylor]: Taking taylor expansion of (- 1.0 (* 4.0 (/ y z))) in y
6.661 * [taylor]: Taking taylor expansion of 1.0 in y
6.661 * [backup-simplify]: Simplify 1.0 into 1.0
6.661 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
6.661 * [taylor]: Taking taylor expansion of 4.0 in y
6.661 * [backup-simplify]: Simplify 4.0 into 4.0
6.661 * [taylor]: Taking taylor expansion of (/ y z) in y
6.661 * [taylor]: Taking taylor expansion of y in y
6.661 * [backup-simplify]: Simplify 0 into 0
6.661 * [backup-simplify]: Simplify 1 into 1
6.661 * [taylor]: Taking taylor expansion of z in y
6.661 * [backup-simplify]: Simplify z into z
6.661 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.661 * [backup-simplify]: Simplify (* 4.0 0) into 0
6.661 * [taylor]: Taking taylor expansion of 0 in z
6.661 * [backup-simplify]: Simplify 0 into 0
6.661 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
6.661 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.662 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 y))) into 0
6.662 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.662 * [backup-simplify]: Simplify (+ 0 0) into 0
6.663 * [backup-simplify]: Simplify (- 0) into 0
6.663 * [backup-simplify]: Simplify (+ 0 0) into 0
6.663 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (- (/ 1 z) (* 0.25 (/ 1 y))) 0) (* 0 y))) into 0
6.664 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 (- (/ y z) 0.25)) (* 0 (* -1 y)))) into 0
6.664 * [taylor]: Taking taylor expansion of 0 in y
6.664 * [backup-simplify]: Simplify 0 into 0
6.664 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.664 * [taylor]: Taking taylor expansion of 1.0 in z
6.664 * [backup-simplify]: Simplify 1.0 into 1.0
6.665 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
6.665 * [taylor]: Taking taylor expansion of 4.0 in z
6.665 * [backup-simplify]: Simplify 4.0 into 4.0
6.665 * [backup-simplify]: Simplify 0 into 0
6.665 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
6.665 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.666 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
6.666 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.667 * [backup-simplify]: Simplify (+ 0 0) into 0
6.667 * [backup-simplify]: Simplify (- 0) into 0
6.667 * [backup-simplify]: Simplify (+ 0 0) into 0
6.668 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (- (/ 1 z) (* 0.25 (/ 1 y))) 0) (+ (* 0 0) (* 0 y)))) into 0
6.668 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 0) (+ (* 0 (- (/ y z) 0.25)) (* 0 (* -1 y))))) into 0
6.668 * [taylor]: Taking taylor expansion of 0 in y
6.668 * [backup-simplify]: Simplify 0 into 0
6.668 * [taylor]: Taking taylor expansion of 0 in z
6.668 * [backup-simplify]: Simplify 0 into 0
6.668 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
6.669 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
6.669 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 z)))) into (- (* 4.0 (/ 1 z)))
6.669 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
6.669 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
6.669 * [taylor]: Taking taylor expansion of 4.0 in z
6.669 * [backup-simplify]: Simplify 4.0 into 4.0
6.669 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.669 * [taylor]: Taking taylor expansion of z in z
6.669 * [backup-simplify]: Simplify 0 into 0
6.669 * [backup-simplify]: Simplify 1 into 1
6.669 * [backup-simplify]: Simplify (/ 1 1) into 1
6.669 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
6.670 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.670 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.670 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
6.670 * [taylor]: Taking taylor expansion of 0 in z
6.670 * [backup-simplify]: Simplify 0 into 0
6.670 * [backup-simplify]: Simplify 1.0 into 1.0
6.670 * [backup-simplify]: Simplify 4.0 into 4.0
6.671 * [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)))
6.671 * * * * [progress]: [ 2 / 2 ] generating series at (2)
6.671 * [backup-simplify]: Simplify (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)) into (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y)))
6.671 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in (x y z) around 0
6.671 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in z
6.671 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in z
6.671 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in z
6.671 * [taylor]: Taking taylor expansion of 4.0 in z
6.671 * [backup-simplify]: Simplify 4.0 into 4.0
6.671 * [taylor]: Taking taylor expansion of (/ x y) in z
6.671 * [taylor]: Taking taylor expansion of x in z
6.671 * [backup-simplify]: Simplify x into x
6.671 * [taylor]: Taking taylor expansion of y in z
6.671 * [backup-simplify]: Simplify y into y
6.672 * [backup-simplify]: Simplify (/ x y) into (/ x y)
6.672 * [taylor]: Taking taylor expansion of 2.0 in z
6.672 * [backup-simplify]: Simplify 2.0 into 2.0
6.672 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in z
6.672 * [taylor]: Taking taylor expansion of 4.0 in z
6.672 * [backup-simplify]: Simplify 4.0 into 4.0
6.672 * [taylor]: Taking taylor expansion of (/ z y) in z
6.672 * [taylor]: Taking taylor expansion of z in z
6.672 * [backup-simplify]: Simplify 0 into 0
6.672 * [backup-simplify]: Simplify 1 into 1
6.672 * [taylor]: Taking taylor expansion of y in z
6.672 * [backup-simplify]: Simplify y into y
6.672 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.672 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in y
6.672 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in y
6.672 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in y
6.672 * [taylor]: Taking taylor expansion of 4.0 in y
6.672 * [backup-simplify]: Simplify 4.0 into 4.0
6.672 * [taylor]: Taking taylor expansion of (/ x y) in y
6.672 * [taylor]: Taking taylor expansion of x in y
6.672 * [backup-simplify]: Simplify x into x
6.672 * [taylor]: Taking taylor expansion of y in y
6.672 * [backup-simplify]: Simplify 0 into 0
6.672 * [backup-simplify]: Simplify 1 into 1
6.672 * [backup-simplify]: Simplify (/ x 1) into x
6.672 * [taylor]: Taking taylor expansion of 2.0 in y
6.672 * [backup-simplify]: Simplify 2.0 into 2.0
6.672 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y
6.672 * [taylor]: Taking taylor expansion of 4.0 in y
6.672 * [backup-simplify]: Simplify 4.0 into 4.0
6.672 * [taylor]: Taking taylor expansion of (/ z y) in y
6.672 * [taylor]: Taking taylor expansion of z in y
6.672 * [backup-simplify]: Simplify z into z
6.672 * [taylor]: Taking taylor expansion of y in y
6.672 * [backup-simplify]: Simplify 0 into 0
6.672 * [backup-simplify]: Simplify 1 into 1
6.672 * [backup-simplify]: Simplify (/ z 1) into z
6.672 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in x
6.672 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in x
6.672 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in x
6.672 * [taylor]: Taking taylor expansion of 4.0 in x
6.672 * [backup-simplify]: Simplify 4.0 into 4.0
6.672 * [taylor]: Taking taylor expansion of (/ x y) in x
6.672 * [taylor]: Taking taylor expansion of x in x
6.672 * [backup-simplify]: Simplify 0 into 0
6.672 * [backup-simplify]: Simplify 1 into 1
6.672 * [taylor]: Taking taylor expansion of y in x
6.672 * [backup-simplify]: Simplify y into y
6.672 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.672 * [taylor]: Taking taylor expansion of 2.0 in x
6.672 * [backup-simplify]: Simplify 2.0 into 2.0
6.672 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in x
6.672 * [taylor]: Taking taylor expansion of 4.0 in x
6.672 * [backup-simplify]: Simplify 4.0 into 4.0
6.673 * [taylor]: Taking taylor expansion of (/ z y) in x
6.673 * [taylor]: Taking taylor expansion of z in x
6.673 * [backup-simplify]: Simplify z into z
6.673 * [taylor]: Taking taylor expansion of y in x
6.673 * [backup-simplify]: Simplify y into y
6.673 * [backup-simplify]: Simplify (/ z y) into (/ z y)
6.673 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in x
6.673 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in x
6.673 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in x
6.673 * [taylor]: Taking taylor expansion of 4.0 in x
6.673 * [backup-simplify]: Simplify 4.0 into 4.0
6.673 * [taylor]: Taking taylor expansion of (/ x y) in x
6.673 * [taylor]: Taking taylor expansion of x in x
6.673 * [backup-simplify]: Simplify 0 into 0
6.673 * [backup-simplify]: Simplify 1 into 1
6.673 * [taylor]: Taking taylor expansion of y in x
6.673 * [backup-simplify]: Simplify y into y
6.673 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.673 * [taylor]: Taking taylor expansion of 2.0 in x
6.673 * [backup-simplify]: Simplify 2.0 into 2.0
6.673 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in x
6.673 * [taylor]: Taking taylor expansion of 4.0 in x
6.673 * [backup-simplify]: Simplify 4.0 into 4.0
6.673 * [taylor]: Taking taylor expansion of (/ z y) in x
6.673 * [taylor]: Taking taylor expansion of z in x
6.673 * [backup-simplify]: Simplify z into z
6.673 * [taylor]: Taking taylor expansion of y in x
6.673 * [backup-simplify]: Simplify y into y
6.673 * [backup-simplify]: Simplify (/ z y) into (/ z y)
6.674 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
6.674 * [backup-simplify]: Simplify (* 4.0 (/ z y)) into (* 4.0 (/ z y))
6.674 * [backup-simplify]: Simplify (- (* 4.0 (/ z y))) into (- (* 4.0 (/ z y)))
6.674 * [backup-simplify]: Simplify (+ 2.0 (- (* 4.0 (/ z y)))) into (- 2.0 (* 4.0 (/ z y)))
6.674 * [taylor]: Taking taylor expansion of (- 2.0 (* 4.0 (/ z y))) in y
6.674 * [taylor]: Taking taylor expansion of 2.0 in y
6.674 * [backup-simplify]: Simplify 2.0 into 2.0
6.674 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y
6.674 * [taylor]: Taking taylor expansion of 4.0 in y
6.674 * [backup-simplify]: Simplify 4.0 into 4.0
6.674 * [taylor]: Taking taylor expansion of (/ z y) in y
6.674 * [taylor]: Taking taylor expansion of z in y
6.674 * [backup-simplify]: Simplify z into z
6.674 * [taylor]: Taking taylor expansion of y in y
6.674 * [backup-simplify]: Simplify 0 into 0
6.674 * [backup-simplify]: Simplify 1 into 1
6.675 * [backup-simplify]: Simplify (/ z 1) into z
6.675 * [backup-simplify]: Simplify (* 4.0 z) into (* 4.0 z)
6.675 * [backup-simplify]: Simplify (- (* 4.0 z)) into (- (* 4.0 z))
6.675 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 z))) into (- (* 4.0 z))
6.675 * [taylor]: Taking taylor expansion of (- (* 4.0 z)) in z
6.675 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
6.675 * [taylor]: Taking taylor expansion of 4.0 in z
6.675 * [backup-simplify]: Simplify 4.0 into 4.0
6.675 * [taylor]: Taking taylor expansion of z in z
6.675 * [backup-simplify]: Simplify 0 into 0
6.675 * [backup-simplify]: Simplify 1 into 1
6.675 * [backup-simplify]: Simplify (* 4.0 0) into 0
6.676 * [backup-simplify]: Simplify (- 0) into 0
6.676 * [backup-simplify]: Simplify 0 into 0
6.676 * [backup-simplify]: Simplify (* 4.0 (/ 1 y)) into (/ 4.0 y)
6.676 * [backup-simplify]: Simplify (+ (/ 4.0 y) 0) into (* 4.0 (/ 1 y))
6.676 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
6.677 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ z y))) into 0
6.677 * [backup-simplify]: Simplify (- 0) into 0
6.677 * [backup-simplify]: Simplify (+ (* 4.0 (/ 1 y)) 0) into (* 4.0 (/ 1 y))
6.677 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
6.677 * [taylor]: Taking taylor expansion of 4.0 in y
6.677 * [backup-simplify]: Simplify 4.0 into 4.0
6.677 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.677 * [taylor]: Taking taylor expansion of y in y
6.677 * [backup-simplify]: Simplify 0 into 0
6.677 * [backup-simplify]: Simplify 1 into 1
6.678 * [backup-simplify]: Simplify (/ 1 1) into 1
6.678 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
6.678 * [taylor]: Taking taylor expansion of 4.0 in z
6.678 * [backup-simplify]: Simplify 4.0 into 4.0
6.678 * [backup-simplify]: Simplify 4.0 into 4.0
6.679 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
6.680 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 z)) into 0
6.680 * [backup-simplify]: Simplify (- 0) into 0
6.680 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
6.680 * [taylor]: Taking taylor expansion of 2.0 in z
6.681 * [backup-simplify]: Simplify 2.0 into 2.0
6.681 * [backup-simplify]: Simplify 2.0 into 2.0
6.682 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
6.682 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.683 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.683 * [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)))
6.684 * [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)))
6.684 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in (x y z) around 0
6.684 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in z
6.684 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in z
6.684 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z
6.684 * [taylor]: Taking taylor expansion of 4.0 in z
6.684 * [backup-simplify]: Simplify 4.0 into 4.0
6.684 * [taylor]: Taking taylor expansion of (/ y x) in z
6.684 * [taylor]: Taking taylor expansion of y in z
6.684 * [backup-simplify]: Simplify y into y
6.684 * [taylor]: Taking taylor expansion of x in z
6.684 * [backup-simplify]: Simplify x into x
6.684 * [backup-simplify]: Simplify (/ y x) into (/ y x)
6.684 * [taylor]: Taking taylor expansion of 2.0 in z
6.684 * [backup-simplify]: Simplify 2.0 into 2.0
6.684 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z
6.685 * [taylor]: Taking taylor expansion of 4.0 in z
6.685 * [backup-simplify]: Simplify 4.0 into 4.0
6.685 * [taylor]: Taking taylor expansion of (/ y z) in z
6.685 * [taylor]: Taking taylor expansion of y in z
6.685 * [backup-simplify]: Simplify y into y
6.685 * [taylor]: Taking taylor expansion of z in z
6.685 * [backup-simplify]: Simplify 0 into 0
6.685 * [backup-simplify]: Simplify 1 into 1
6.685 * [backup-simplify]: Simplify (/ y 1) into y
6.685 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in y
6.685 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in y
6.685 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in y
6.685 * [taylor]: Taking taylor expansion of 4.0 in y
6.685 * [backup-simplify]: Simplify 4.0 into 4.0
6.685 * [taylor]: Taking taylor expansion of (/ y x) in y
6.685 * [taylor]: Taking taylor expansion of y in y
6.685 * [backup-simplify]: Simplify 0 into 0
6.685 * [backup-simplify]: Simplify 1 into 1
6.685 * [taylor]: Taking taylor expansion of x in y
6.685 * [backup-simplify]: Simplify x into x
6.685 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.685 * [taylor]: Taking taylor expansion of 2.0 in y
6.685 * [backup-simplify]: Simplify 2.0 into 2.0
6.685 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
6.685 * [taylor]: Taking taylor expansion of 4.0 in y
6.685 * [backup-simplify]: Simplify 4.0 into 4.0
6.685 * [taylor]: Taking taylor expansion of (/ y z) in y
6.685 * [taylor]: Taking taylor expansion of y in y
6.685 * [backup-simplify]: Simplify 0 into 0
6.685 * [backup-simplify]: Simplify 1 into 1
6.685 * [taylor]: Taking taylor expansion of z in y
6.685 * [backup-simplify]: Simplify z into z
6.685 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.685 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in x
6.686 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x
6.686 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x
6.686 * [taylor]: Taking taylor expansion of 4.0 in x
6.686 * [backup-simplify]: Simplify 4.0 into 4.0
6.686 * [taylor]: Taking taylor expansion of (/ y x) in x
6.686 * [taylor]: Taking taylor expansion of y in x
6.686 * [backup-simplify]: Simplify y into y
6.686 * [taylor]: Taking taylor expansion of x in x
6.686 * [backup-simplify]: Simplify 0 into 0
6.686 * [backup-simplify]: Simplify 1 into 1
6.686 * [backup-simplify]: Simplify (/ y 1) into y
6.686 * [taylor]: Taking taylor expansion of 2.0 in x
6.686 * [backup-simplify]: Simplify 2.0 into 2.0
6.686 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x
6.686 * [taylor]: Taking taylor expansion of 4.0 in x
6.686 * [backup-simplify]: Simplify 4.0 into 4.0
6.686 * [taylor]: Taking taylor expansion of (/ y z) in x
6.686 * [taylor]: Taking taylor expansion of y in x
6.686 * [backup-simplify]: Simplify y into y
6.686 * [taylor]: Taking taylor expansion of z in x
6.686 * [backup-simplify]: Simplify z into z
6.686 * [backup-simplify]: Simplify (/ y z) into (/ y z)
6.686 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in x
6.686 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x
6.686 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x
6.686 * [taylor]: Taking taylor expansion of 4.0 in x
6.686 * [backup-simplify]: Simplify 4.0 into 4.0
6.686 * [taylor]: Taking taylor expansion of (/ y x) in x
6.686 * [taylor]: Taking taylor expansion of y in x
6.686 * [backup-simplify]: Simplify y into y
6.686 * [taylor]: Taking taylor expansion of x in x
6.686 * [backup-simplify]: Simplify 0 into 0
6.686 * [backup-simplify]: Simplify 1 into 1
6.686 * [backup-simplify]: Simplify (/ y 1) into y
6.686 * [taylor]: Taking taylor expansion of 2.0 in x
6.687 * [backup-simplify]: Simplify 2.0 into 2.0
6.687 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x
6.687 * [taylor]: Taking taylor expansion of 4.0 in x
6.687 * [backup-simplify]: Simplify 4.0 into 4.0
6.687 * [taylor]: Taking taylor expansion of (/ y z) in x
6.687 * [taylor]: Taking taylor expansion of y in x
6.687 * [backup-simplify]: Simplify y into y
6.687 * [taylor]: Taking taylor expansion of z in x
6.687 * [backup-simplify]: Simplify z into z
6.687 * [backup-simplify]: Simplify (/ y z) into (/ y z)
6.687 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
6.687 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y)
6.687 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y)
6.687 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
6.687 * [taylor]: Taking taylor expansion of 4.0 in y
6.687 * [backup-simplify]: Simplify 4.0 into 4.0
6.687 * [taylor]: Taking taylor expansion of y in y
6.687 * [backup-simplify]: Simplify 0 into 0
6.687 * [backup-simplify]: Simplify 1 into 1
6.688 * [backup-simplify]: Simplify (* 4.0 0) into 0
6.688 * [taylor]: Taking taylor expansion of 0 in z
6.688 * [backup-simplify]: Simplify 0 into 0
6.689 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
6.690 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0
6.690 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
6.690 * [backup-simplify]: Simplify (* 4.0 (/ y z)) into (* 4.0 (/ y z))
6.690 * [backup-simplify]: Simplify (- (* 4.0 (/ y z))) into (- (* 4.0 (/ y z)))
6.690 * [backup-simplify]: Simplify (+ 2.0 (- (* 4.0 (/ y z)))) into (- 2.0 (* 4.0 (/ y z)))
6.690 * [taylor]: Taking taylor expansion of (- 2.0 (* 4.0 (/ y z))) in y
6.690 * [taylor]: Taking taylor expansion of 2.0 in y
6.690 * [backup-simplify]: Simplify 2.0 into 2.0
6.691 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
6.691 * [taylor]: Taking taylor expansion of 4.0 in y
6.691 * [backup-simplify]: Simplify 4.0 into 4.0
6.691 * [taylor]: Taking taylor expansion of (/ y z) in y
6.691 * [taylor]: Taking taylor expansion of y in y
6.691 * [backup-simplify]: Simplify 0 into 0
6.691 * [backup-simplify]: Simplify 1 into 1
6.691 * [taylor]: Taking taylor expansion of z in y
6.691 * [backup-simplify]: Simplify z into z
6.691 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.691 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
6.691 * [taylor]: Taking taylor expansion of 2.0 in z
6.691 * [backup-simplify]: Simplify 2.0 into 2.0
6.693 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
6.693 * [taylor]: Taking taylor expansion of 4.0 in z
6.693 * [backup-simplify]: Simplify 4.0 into 4.0
6.693 * [backup-simplify]: Simplify 0 into 0
6.694 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.699 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 y))) into 0
6.700 * [backup-simplify]: Simplify (+ 0 0) into 0
6.700 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
6.701 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ y z))) into 0
6.701 * [backup-simplify]: Simplify (- 0) into 0
6.701 * [backup-simplify]: Simplify (+ 0 0) into 0
6.701 * [taylor]: Taking taylor expansion of 0 in y
6.701 * [backup-simplify]: Simplify 0 into 0
6.701 * [taylor]: Taking taylor expansion of 0 in z
6.701 * [backup-simplify]: Simplify 0 into 0
6.701 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
6.702 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
6.702 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 z)))) into (- (* 4.0 (/ 1 z)))
6.702 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
6.702 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
6.702 * [taylor]: Taking taylor expansion of 4.0 in z
6.702 * [backup-simplify]: Simplify 4.0 into 4.0
6.702 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.702 * [taylor]: Taking taylor expansion of z in z
6.702 * [backup-simplify]: Simplify 0 into 0
6.702 * [backup-simplify]: Simplify 1 into 1
6.702 * [backup-simplify]: Simplify (/ 1 1) into 1
6.703 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
6.703 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.703 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.704 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
6.705 * [taylor]: Taking taylor expansion of 0 in z
6.705 * [backup-simplify]: Simplify 0 into 0
6.705 * [backup-simplify]: Simplify 2.0 into 2.0
6.705 * [backup-simplify]: Simplify 4.0 into 4.0
6.705 * [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)))
6.706 * [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)))
6.706 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in (x y z) around 0
6.706 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in z
6.706 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in z
6.706 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z
6.706 * [taylor]: Taking taylor expansion of 4.0 in z
6.706 * [backup-simplify]: Simplify 4.0 into 4.0
6.706 * [taylor]: Taking taylor expansion of (/ y x) in z
6.706 * [taylor]: Taking taylor expansion of y in z
6.706 * [backup-simplify]: Simplify y into y
6.706 * [taylor]: Taking taylor expansion of x in z
6.706 * [backup-simplify]: Simplify x into x
6.706 * [backup-simplify]: Simplify (/ y x) into (/ y x)
6.707 * [taylor]: Taking taylor expansion of 2.0 in z
6.707 * [backup-simplify]: Simplify 2.0 into 2.0
6.707 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z
6.707 * [taylor]: Taking taylor expansion of 4.0 in z
6.707 * [backup-simplify]: Simplify 4.0 into 4.0
6.707 * [taylor]: Taking taylor expansion of (/ y z) in z
6.707 * [taylor]: Taking taylor expansion of y in z
6.707 * [backup-simplify]: Simplify y into y
6.707 * [taylor]: Taking taylor expansion of z in z
6.707 * [backup-simplify]: Simplify 0 into 0
6.707 * [backup-simplify]: Simplify 1 into 1
6.707 * [backup-simplify]: Simplify (/ y 1) into y
6.707 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in y
6.707 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in y
6.707 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in y
6.707 * [taylor]: Taking taylor expansion of 4.0 in y
6.707 * [backup-simplify]: Simplify 4.0 into 4.0
6.707 * [taylor]: Taking taylor expansion of (/ y x) in y
6.707 * [taylor]: Taking taylor expansion of y in y
6.707 * [backup-simplify]: Simplify 0 into 0
6.707 * [backup-simplify]: Simplify 1 into 1
6.707 * [taylor]: Taking taylor expansion of x in y
6.707 * [backup-simplify]: Simplify x into x
6.707 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.707 * [taylor]: Taking taylor expansion of 2.0 in y
6.707 * [backup-simplify]: Simplify 2.0 into 2.0
6.707 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
6.707 * [taylor]: Taking taylor expansion of 4.0 in y
6.707 * [backup-simplify]: Simplify 4.0 into 4.0
6.707 * [taylor]: Taking taylor expansion of (/ y z) in y
6.707 * [taylor]: Taking taylor expansion of y in y
6.707 * [backup-simplify]: Simplify 0 into 0
6.707 * [backup-simplify]: Simplify 1 into 1
6.707 * [taylor]: Taking taylor expansion of z in y
6.707 * [backup-simplify]: Simplify z into z
6.708 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.708 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in x
6.708 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x
6.708 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x
6.708 * [taylor]: Taking taylor expansion of 4.0 in x
6.708 * [backup-simplify]: Simplify 4.0 into 4.0
6.708 * [taylor]: Taking taylor expansion of (/ y x) in x
6.708 * [taylor]: Taking taylor expansion of y in x
6.708 * [backup-simplify]: Simplify y into y
6.708 * [taylor]: Taking taylor expansion of x in x
6.708 * [backup-simplify]: Simplify 0 into 0
6.708 * [backup-simplify]: Simplify 1 into 1
6.708 * [backup-simplify]: Simplify (/ y 1) into y
6.708 * [taylor]: Taking taylor expansion of 2.0 in x
6.708 * [backup-simplify]: Simplify 2.0 into 2.0
6.708 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x
6.708 * [taylor]: Taking taylor expansion of 4.0 in x
6.708 * [backup-simplify]: Simplify 4.0 into 4.0
6.708 * [taylor]: Taking taylor expansion of (/ y z) in x
6.708 * [taylor]: Taking taylor expansion of y in x
6.708 * [backup-simplify]: Simplify y into y
6.708 * [taylor]: Taking taylor expansion of z in x
6.708 * [backup-simplify]: Simplify z into z
6.708 * [backup-simplify]: Simplify (/ y z) into (/ y z)
6.708 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in x
6.708 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x
6.708 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x
6.708 * [taylor]: Taking taylor expansion of 4.0 in x
6.708 * [backup-simplify]: Simplify 4.0 into 4.0
6.708 * [taylor]: Taking taylor expansion of (/ y x) in x
6.708 * [taylor]: Taking taylor expansion of y in x
6.708 * [backup-simplify]: Simplify y into y
6.708 * [taylor]: Taking taylor expansion of x in x
6.708 * [backup-simplify]: Simplify 0 into 0
6.709 * [backup-simplify]: Simplify 1 into 1
6.709 * [backup-simplify]: Simplify (/ y 1) into y
6.709 * [taylor]: Taking taylor expansion of 2.0 in x
6.709 * [backup-simplify]: Simplify 2.0 into 2.0
6.709 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x
6.709 * [taylor]: Taking taylor expansion of 4.0 in x
6.709 * [backup-simplify]: Simplify 4.0 into 4.0
6.709 * [taylor]: Taking taylor expansion of (/ y z) in x
6.709 * [taylor]: Taking taylor expansion of y in x
6.709 * [backup-simplify]: Simplify y into y
6.709 * [taylor]: Taking taylor expansion of z in x
6.709 * [backup-simplify]: Simplify z into z
6.709 * [backup-simplify]: Simplify (/ y z) into (/ y z)
6.709 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
6.709 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y)
6.709 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y)
6.709 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
6.709 * [taylor]: Taking taylor expansion of 4.0 in y
6.709 * [backup-simplify]: Simplify 4.0 into 4.0
6.709 * [taylor]: Taking taylor expansion of y in y
6.709 * [backup-simplify]: Simplify 0 into 0
6.709 * [backup-simplify]: Simplify 1 into 1
6.710 * [backup-simplify]: Simplify (* 4.0 0) into 0
6.710 * [taylor]: Taking taylor expansion of 0 in z
6.710 * [backup-simplify]: Simplify 0 into 0
6.711 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
6.711 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0
6.712 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
6.712 * [backup-simplify]: Simplify (* 4.0 (/ y z)) into (* 4.0 (/ y z))
6.712 * [backup-simplify]: Simplify (- (* 4.0 (/ y z))) into (- (* 4.0 (/ y z)))
6.712 * [backup-simplify]: Simplify (+ 2.0 (- (* 4.0 (/ y z)))) into (- 2.0 (* 4.0 (/ y z)))
6.712 * [taylor]: Taking taylor expansion of (- 2.0 (* 4.0 (/ y z))) in y
6.712 * [taylor]: Taking taylor expansion of 2.0 in y
6.712 * [backup-simplify]: Simplify 2.0 into 2.0
6.712 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
6.712 * [taylor]: Taking taylor expansion of 4.0 in y
6.712 * [backup-simplify]: Simplify 4.0 into 4.0
6.712 * [taylor]: Taking taylor expansion of (/ y z) in y
6.712 * [taylor]: Taking taylor expansion of y in y
6.712 * [backup-simplify]: Simplify 0 into 0
6.712 * [backup-simplify]: Simplify 1 into 1
6.712 * [taylor]: Taking taylor expansion of z in y
6.712 * [backup-simplify]: Simplify z into z
6.713 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.713 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
6.713 * [taylor]: Taking taylor expansion of 2.0 in z
6.713 * [backup-simplify]: Simplify 2.0 into 2.0
6.715 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
6.715 * [taylor]: Taking taylor expansion of 4.0 in z
6.715 * [backup-simplify]: Simplify 4.0 into 4.0
6.715 * [backup-simplify]: Simplify 0 into 0
6.716 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.717 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 y))) into 0
6.718 * [backup-simplify]: Simplify (+ 0 0) into 0
6.718 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
6.718 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ y z))) into 0
6.719 * [backup-simplify]: Simplify (- 0) into 0
6.719 * [backup-simplify]: Simplify (+ 0 0) into 0
6.719 * [taylor]: Taking taylor expansion of 0 in y
6.719 * [backup-simplify]: Simplify 0 into 0
6.719 * [taylor]: Taking taylor expansion of 0 in z
6.719 * [backup-simplify]: Simplify 0 into 0
6.719 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
6.719 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
6.720 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 z)))) into (- (* 4.0 (/ 1 z)))
6.720 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
6.720 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
6.720 * [taylor]: Taking taylor expansion of 4.0 in z
6.720 * [backup-simplify]: Simplify 4.0 into 4.0
6.720 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.720 * [taylor]: Taking taylor expansion of z in z
6.720 * [backup-simplify]: Simplify 0 into 0
6.720 * [backup-simplify]: Simplify 1 into 1
6.720 * [backup-simplify]: Simplify (/ 1 1) into 1
6.721 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
6.721 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.721 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.723 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
6.723 * [taylor]: Taking taylor expansion of 0 in z
6.723 * [backup-simplify]: Simplify 0 into 0
6.723 * [backup-simplify]: Simplify 2.0 into 2.0
6.723 * [backup-simplify]: Simplify 4.0 into 4.0
6.724 * [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)))
6.724 * * * [progress]: simplifying candidates
6.726 * [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)))
6.728 * * [simplify]: Extracting # 0 : cost  0
6.728 * * [simplify]: Extracting # 1 : cost  0
6.729 * * [simplify]: Extracting # 2 : cost  0
6.729 * * [simplify]: Extracting # 3 : cost  0
6.729 * * [simplify]: Extracting # 4 : cost  0
6.729 * * [simplify]: Extracting # 5 : cost  0
6.730 * * [simplify]: Extracting # 6 : cost  0
6.730 * * [simplify]: Extracting # 7 : cost  0
6.730 * * [simplify]: Extracting # 8 : cost  0
6.731 * * [simplify]: iteration  0 :  91  enodes  (cost  711 )
6.778 * * [simplify]: Extracting # 0 : cost  0
6.778 * * [simplify]: Extracting # 1 : cost  0
6.779 * * [simplify]: Extracting # 2 : cost  0
6.779 * * [simplify]: Extracting # 3 : cost  0
6.780 * * [simplify]: Extracting # 4 : cost  0
6.781 * * [simplify]: iteration  1 :  254  enodes  (cost  667 )
6.908 * * [simplify]: Extracting # 0 : cost  0
6.910 * * [simplify]: Extracting # 1 : cost  0
6.912 * * [simplify]: Extracting # 2 : cost  0
6.914 * * [simplify]: Extracting # 3 : cost  0
6.916 * * [simplify]: Extracting # 4 : cost  0
6.918 * * [simplify]: iteration  2 :  882  enodes  (cost  597 )
8.619 * * [simplify]: Extracting # 0 : cost  0
8.625 * * [simplify]: Extracting # 1 : cost  0
8.630 * * [simplify]: Extracting # 2 : cost  0
8.636 * * [simplify]: Extracting # 3 : cost  0
8.645 * * [simplify]: iteration  3 :  4790  enodes  (cost  581 )
10.588 * * [simplify]: Extracting # 0 : cost  0
10.594 * * [simplify]: Extracting # 1 : cost  0
10.599 * * [simplify]: Extracting # 2 : cost  0
10.605 * * [simplify]: Extracting # 3 : cost  0
10.621 * * [simplify]: iteration done:  5001  enodes  (cost  581 )
10.621 * [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))))
10.622 * * * [progress]: adding candidates to table
10.763 * * [progress]: iteration 2 / 4
10.763 * * * [progress]: picking best candidate
10.766 * * * * [pick]: Picked  #<alt (λ (x y z) (+ 2.0 (* 4.0 (- (/ x y) (/ z y)))))>
10.766 * * * [progress]: localizing error
10.775 * * * [progress]: generating rewritten candidates
10.775 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2)
10.824 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
10.933 * * * [progress]: generating series expansions
10.934 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2)
10.935 * [backup-simplify]: Simplify (- (/ x y) (/ z y)) into (- (/ x y) (/ z y))
10.935 * [approximate]: Taking taylor expansion of (- (/ x y) (/ z y)) in (x y z) around 0
10.935 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in z
10.935 * [taylor]: Taking taylor expansion of (/ x y) in z
10.935 * [taylor]: Taking taylor expansion of x in z
10.935 * [backup-simplify]: Simplify x into x
10.935 * [taylor]: Taking taylor expansion of y in z
10.935 * [backup-simplify]: Simplify y into y
10.935 * [backup-simplify]: Simplify (/ x y) into (/ x y)
10.935 * [taylor]: Taking taylor expansion of (/ z y) in z
10.935 * [taylor]: Taking taylor expansion of z in z
10.935 * [backup-simplify]: Simplify 0 into 0
10.935 * [backup-simplify]: Simplify 1 into 1
10.935 * [taylor]: Taking taylor expansion of y in z
10.935 * [backup-simplify]: Simplify y into y
10.935 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.936 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in y
10.936 * [taylor]: Taking taylor expansion of (/ x y) in y
10.936 * [taylor]: Taking taylor expansion of x in y
10.936 * [backup-simplify]: Simplify x into x
10.936 * [taylor]: Taking taylor expansion of y in y
10.936 * [backup-simplify]: Simplify 0 into 0
10.936 * [backup-simplify]: Simplify 1 into 1
10.936 * [backup-simplify]: Simplify (/ x 1) into x
10.936 * [taylor]: Taking taylor expansion of (/ z y) in y
10.936 * [taylor]: Taking taylor expansion of z in y
10.936 * [backup-simplify]: Simplify z into z
10.936 * [taylor]: Taking taylor expansion of y in y
10.936 * [backup-simplify]: Simplify 0 into 0
10.936 * [backup-simplify]: Simplify 1 into 1
10.936 * [backup-simplify]: Simplify (/ z 1) into z
10.936 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in x
10.936 * [taylor]: Taking taylor expansion of (/ x y) in x
10.936 * [taylor]: Taking taylor expansion of x in x
10.936 * [backup-simplify]: Simplify 0 into 0
10.936 * [backup-simplify]: Simplify 1 into 1
10.936 * [taylor]: Taking taylor expansion of y in x
10.936 * [backup-simplify]: Simplify y into y
10.936 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.936 * [taylor]: Taking taylor expansion of (/ z y) in x
10.936 * [taylor]: Taking taylor expansion of z in x
10.936 * [backup-simplify]: Simplify z into z
10.936 * [taylor]: Taking taylor expansion of y in x
10.936 * [backup-simplify]: Simplify y into y
10.936 * [backup-simplify]: Simplify (/ z y) into (/ z y)
10.937 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in x
10.937 * [taylor]: Taking taylor expansion of (/ x y) in x
10.937 * [taylor]: Taking taylor expansion of x in x
10.937 * [backup-simplify]: Simplify 0 into 0
10.937 * [backup-simplify]: Simplify 1 into 1
10.937 * [taylor]: Taking taylor expansion of y in x
10.937 * [backup-simplify]: Simplify y into y
10.937 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.937 * [taylor]: Taking taylor expansion of (/ z y) in x
10.937 * [taylor]: Taking taylor expansion of z in x
10.937 * [backup-simplify]: Simplify z into z
10.937 * [taylor]: Taking taylor expansion of y in x
10.937 * [backup-simplify]: Simplify y into y
10.937 * [backup-simplify]: Simplify (/ z y) into (/ z y)
10.937 * [backup-simplify]: Simplify (- (/ z y)) into (- (/ z y))
10.937 * [backup-simplify]: Simplify (+ 0 (- (/ z y))) into (- (/ z y))
10.937 * [taylor]: Taking taylor expansion of (- (/ z y)) in y
10.937 * [taylor]: Taking taylor expansion of (/ z y) in y
10.937 * [taylor]: Taking taylor expansion of z in y
10.937 * [backup-simplify]: Simplify z into z
10.937 * [taylor]: Taking taylor expansion of y in y
10.937 * [backup-simplify]: Simplify 0 into 0
10.938 * [backup-simplify]: Simplify 1 into 1
10.938 * [backup-simplify]: Simplify (/ z 1) into z
10.938 * [backup-simplify]: Simplify (- z) into (- z)
10.938 * [taylor]: Taking taylor expansion of (- z) in z
10.938 * [taylor]: Taking taylor expansion of z in z
10.938 * [backup-simplify]: Simplify 0 into 0
10.938 * [backup-simplify]: Simplify 1 into 1
10.938 * [backup-simplify]: Simplify (- 0) into 0
10.938 * [backup-simplify]: Simplify 0 into 0
10.939 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
10.939 * [backup-simplify]: Simplify (- 0) into 0
10.939 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
10.939 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.939 * [taylor]: Taking taylor expansion of y in y
10.939 * [backup-simplify]: Simplify 0 into 0
10.939 * [backup-simplify]: Simplify 1 into 1
10.940 * [backup-simplify]: Simplify (/ 1 1) into 1
10.940 * [taylor]: Taking taylor expansion of 1 in z
10.940 * [backup-simplify]: Simplify 1 into 1
10.940 * [backup-simplify]: Simplify 1 into 1
10.941 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
10.941 * [backup-simplify]: Simplify (- 0) into 0
10.941 * [taylor]: Taking taylor expansion of 0 in z
10.941 * [backup-simplify]: Simplify 0 into 0
10.941 * [backup-simplify]: Simplify 0 into 0
10.942 * [backup-simplify]: Simplify (- 1) into -1
10.942 * [backup-simplify]: Simplify -1 into -1
10.942 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
10.942 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
10.943 * [backup-simplify]: Simplify (- 0) into 0
10.943 * [backup-simplify]: Simplify (+ 0 0) into 0
10.943 * [taylor]: Taking taylor expansion of 0 in y
10.943 * [backup-simplify]: Simplify 0 into 0
10.944 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.944 * [taylor]: Taking taylor expansion of 0 in z
10.944 * [backup-simplify]: Simplify 0 into 0
10.944 * [backup-simplify]: Simplify 0 into 0
10.945 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.946 * [backup-simplify]: Simplify (- 0) into 0
10.946 * [taylor]: Taking taylor expansion of 0 in z
10.946 * [backup-simplify]: Simplify 0 into 0
10.946 * [backup-simplify]: Simplify 0 into 0
10.946 * [backup-simplify]: Simplify 0 into 0
10.946 * [backup-simplify]: Simplify 0 into 0
10.946 * [backup-simplify]: Simplify (- 0) into 0
10.946 * [backup-simplify]: Simplify 0 into 0
10.947 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
10.947 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
10.947 * [backup-simplify]: Simplify (- 0) into 0
10.948 * [backup-simplify]: Simplify (+ 0 0) into 0
10.948 * [taylor]: Taking taylor expansion of 0 in y
10.948 * [backup-simplify]: Simplify 0 into 0
10.948 * [taylor]: Taking taylor expansion of 0 in z
10.948 * [backup-simplify]: Simplify 0 into 0
10.948 * [backup-simplify]: Simplify 0 into 0
10.948 * [backup-simplify]: Simplify (+ (* -1 (* z (* (/ 1 y) 1))) (* 1 (* 1 (* (/ 1 y) x)))) into (- (/ x y) (/ z y))
10.949 * [backup-simplify]: Simplify (- (/ (/ 1 x) (/ 1 y)) (/ (/ 1 z) (/ 1 y))) into (- (/ y x) (/ y z))
10.949 * [approximate]: Taking taylor expansion of (- (/ y x) (/ y z)) in (x y z) around 0
10.949 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in z
10.949 * [taylor]: Taking taylor expansion of (/ y x) in z
10.949 * [taylor]: Taking taylor expansion of y in z
10.949 * [backup-simplify]: Simplify y into y
10.949 * [taylor]: Taking taylor expansion of x in z
10.949 * [backup-simplify]: Simplify x into x
10.949 * [backup-simplify]: Simplify (/ y x) into (/ y x)
10.949 * [taylor]: Taking taylor expansion of (/ y z) in z
10.949 * [taylor]: Taking taylor expansion of y in z
10.949 * [backup-simplify]: Simplify y into y
10.949 * [taylor]: Taking taylor expansion of z in z
10.949 * [backup-simplify]: Simplify 0 into 0
10.949 * [backup-simplify]: Simplify 1 into 1
10.949 * [backup-simplify]: Simplify (/ y 1) into y
10.949 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in y
10.949 * [taylor]: Taking taylor expansion of (/ y x) in y
10.949 * [taylor]: Taking taylor expansion of y in y
10.949 * [backup-simplify]: Simplify 0 into 0
10.949 * [backup-simplify]: Simplify 1 into 1
10.949 * [taylor]: Taking taylor expansion of x in y
10.949 * [backup-simplify]: Simplify x into x
10.949 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.949 * [taylor]: Taking taylor expansion of (/ y z) in y
10.949 * [taylor]: Taking taylor expansion of y in y
10.949 * [backup-simplify]: Simplify 0 into 0
10.949 * [backup-simplify]: Simplify 1 into 1
10.950 * [taylor]: Taking taylor expansion of z in y
10.950 * [backup-simplify]: Simplify z into z
10.950 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
10.950 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
10.950 * [taylor]: Taking taylor expansion of (/ y x) in x
10.950 * [taylor]: Taking taylor expansion of y in x
10.950 * [backup-simplify]: Simplify y into y
10.950 * [taylor]: Taking taylor expansion of x in x
10.950 * [backup-simplify]: Simplify 0 into 0
10.950 * [backup-simplify]: Simplify 1 into 1
10.950 * [backup-simplify]: Simplify (/ y 1) into y
10.950 * [taylor]: Taking taylor expansion of (/ y z) in x
10.950 * [taylor]: Taking taylor expansion of y in x
10.950 * [backup-simplify]: Simplify y into y
10.950 * [taylor]: Taking taylor expansion of z in x
10.950 * [backup-simplify]: Simplify z into z
10.950 * [backup-simplify]: Simplify (/ y z) into (/ y z)
10.950 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
10.950 * [taylor]: Taking taylor expansion of (/ y x) in x
10.950 * [taylor]: Taking taylor expansion of y in x
10.950 * [backup-simplify]: Simplify y into y
10.950 * [taylor]: Taking taylor expansion of x in x
10.950 * [backup-simplify]: Simplify 0 into 0
10.950 * [backup-simplify]: Simplify 1 into 1
10.950 * [backup-simplify]: Simplify (/ y 1) into y
10.950 * [taylor]: Taking taylor expansion of (/ y z) in x
10.950 * [taylor]: Taking taylor expansion of y in x
10.950 * [backup-simplify]: Simplify y into y
10.950 * [taylor]: Taking taylor expansion of z in x
10.950 * [backup-simplify]: Simplify z into z
10.950 * [backup-simplify]: Simplify (/ y z) into (/ y z)
10.951 * [backup-simplify]: Simplify (+ y 0) into y
10.951 * [taylor]: Taking taylor expansion of y in y
10.951 * [backup-simplify]: Simplify 0 into 0
10.951 * [backup-simplify]: Simplify 1 into 1
10.951 * [taylor]: Taking taylor expansion of 1 in z
10.951 * [backup-simplify]: Simplify 1 into 1
10.952 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
10.952 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z))
10.952 * [backup-simplify]: Simplify (+ 0 (- (/ y z))) into (- (/ y z))
10.952 * [taylor]: Taking taylor expansion of (- (/ y z)) in y
10.952 * [taylor]: Taking taylor expansion of (/ y z) in y
10.952 * [taylor]: Taking taylor expansion of y in y
10.952 * [backup-simplify]: Simplify 0 into 0
10.952 * [backup-simplify]: Simplify 1 into 1
10.952 * [taylor]: Taking taylor expansion of z in y
10.952 * [backup-simplify]: Simplify z into z
10.952 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
10.952 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
10.952 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
10.952 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.952 * [taylor]: Taking taylor expansion of z in z
10.952 * [backup-simplify]: Simplify 0 into 0
10.952 * [backup-simplify]: Simplify 1 into 1
10.953 * [backup-simplify]: Simplify (/ 1 1) into 1
10.953 * [backup-simplify]: Simplify (- 1) into -1
10.953 * [backup-simplify]: Simplify -1 into -1
10.953 * [taylor]: Taking taylor expansion of 0 in z
10.953 * [backup-simplify]: Simplify 0 into 0
10.953 * [backup-simplify]: Simplify 1 into 1
10.955 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.955 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
10.955 * [backup-simplify]: Simplify (- 0) into 0
10.956 * [backup-simplify]: Simplify (+ 0 0) into 0
10.956 * [taylor]: Taking taylor expansion of 0 in y
10.956 * [backup-simplify]: Simplify 0 into 0
10.956 * [taylor]: Taking taylor expansion of 0 in z
10.956 * [backup-simplify]: Simplify 0 into 0
10.956 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
10.956 * [backup-simplify]: Simplify (- 0) into 0
10.956 * [taylor]: Taking taylor expansion of 0 in z
10.956 * [backup-simplify]: Simplify 0 into 0
10.956 * [taylor]: Taking taylor expansion of 0 in z
10.957 * [backup-simplify]: Simplify 0 into 0
10.957 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.958 * [backup-simplify]: Simplify (- 0) into 0
10.958 * [backup-simplify]: Simplify 0 into 0
10.958 * [backup-simplify]: Simplify 0 into 0
10.958 * [backup-simplify]: Simplify 0 into 0
10.960 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.960 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
10.960 * [backup-simplify]: Simplify (- 0) into 0
10.961 * [backup-simplify]: Simplify (+ 0 0) into 0
10.961 * [taylor]: Taking taylor expansion of 0 in y
10.961 * [backup-simplify]: Simplify 0 into 0
10.961 * [taylor]: Taking taylor expansion of 0 in z
10.961 * [backup-simplify]: Simplify 0 into 0
10.961 * [taylor]: Taking taylor expansion of 0 in z
10.961 * [backup-simplify]: Simplify 0 into 0
10.961 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
10.961 * [backup-simplify]: Simplify (- 0) into 0
10.962 * [taylor]: Taking taylor expansion of 0 in z
10.962 * [backup-simplify]: Simplify 0 into 0
10.962 * [taylor]: Taking taylor expansion of 0 in z
10.962 * [backup-simplify]: Simplify 0 into 0
10.962 * [backup-simplify]: Simplify 0 into 0
10.962 * [backup-simplify]: Simplify 0 into 0
10.962 * [backup-simplify]: Simplify 0 into 0
10.962 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 y) (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 y) 1)))) into (- (/ x y) (/ z y))
10.963 * [backup-simplify]: Simplify (- (/ (/ 1 (- x)) (/ 1 (- y))) (/ (/ 1 (- z)) (/ 1 (- y)))) into (- (/ y x) (/ y z))
10.963 * [approximate]: Taking taylor expansion of (- (/ y x) (/ y z)) in (x y z) around 0
10.963 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in z
10.963 * [taylor]: Taking taylor expansion of (/ y x) in z
10.963 * [taylor]: Taking taylor expansion of y in z
10.963 * [backup-simplify]: Simplify y into y
10.963 * [taylor]: Taking taylor expansion of x in z
10.963 * [backup-simplify]: Simplify x into x
10.963 * [backup-simplify]: Simplify (/ y x) into (/ y x)
10.963 * [taylor]: Taking taylor expansion of (/ y z) in z
10.963 * [taylor]: Taking taylor expansion of y in z
10.963 * [backup-simplify]: Simplify y into y
10.963 * [taylor]: Taking taylor expansion of z in z
10.963 * [backup-simplify]: Simplify 0 into 0
10.963 * [backup-simplify]: Simplify 1 into 1
10.963 * [backup-simplify]: Simplify (/ y 1) into y
10.963 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in y
10.963 * [taylor]: Taking taylor expansion of (/ y x) in y
10.963 * [taylor]: Taking taylor expansion of y in y
10.963 * [backup-simplify]: Simplify 0 into 0
10.963 * [backup-simplify]: Simplify 1 into 1
10.963 * [taylor]: Taking taylor expansion of x in y
10.963 * [backup-simplify]: Simplify x into x
10.963 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.963 * [taylor]: Taking taylor expansion of (/ y z) in y
10.963 * [taylor]: Taking taylor expansion of y in y
10.963 * [backup-simplify]: Simplify 0 into 0
10.963 * [backup-simplify]: Simplify 1 into 1
10.963 * [taylor]: Taking taylor expansion of z in y
10.963 * [backup-simplify]: Simplify z into z
10.964 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
10.964 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
10.964 * [taylor]: Taking taylor expansion of (/ y x) in x
10.964 * [taylor]: Taking taylor expansion of y in x
10.964 * [backup-simplify]: Simplify y into y
10.964 * [taylor]: Taking taylor expansion of x in x
10.964 * [backup-simplify]: Simplify 0 into 0
10.964 * [backup-simplify]: Simplify 1 into 1
10.964 * [backup-simplify]: Simplify (/ y 1) into y
10.964 * [taylor]: Taking taylor expansion of (/ y z) in x
10.964 * [taylor]: Taking taylor expansion of y in x
10.964 * [backup-simplify]: Simplify y into y
10.964 * [taylor]: Taking taylor expansion of z in x
10.964 * [backup-simplify]: Simplify z into z
10.964 * [backup-simplify]: Simplify (/ y z) into (/ y z)
10.964 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
10.964 * [taylor]: Taking taylor expansion of (/ y x) in x
10.964 * [taylor]: Taking taylor expansion of y in x
10.964 * [backup-simplify]: Simplify y into y
10.964 * [taylor]: Taking taylor expansion of x in x
10.964 * [backup-simplify]: Simplify 0 into 0
10.964 * [backup-simplify]: Simplify 1 into 1
10.964 * [backup-simplify]: Simplify (/ y 1) into y
10.964 * [taylor]: Taking taylor expansion of (/ y z) in x
10.964 * [taylor]: Taking taylor expansion of y in x
10.964 * [backup-simplify]: Simplify y into y
10.964 * [taylor]: Taking taylor expansion of z in x
10.964 * [backup-simplify]: Simplify z into z
10.964 * [backup-simplify]: Simplify (/ y z) into (/ y z)
10.965 * [backup-simplify]: Simplify (+ y 0) into y
10.965 * [taylor]: Taking taylor expansion of y in y
10.965 * [backup-simplify]: Simplify 0 into 0
10.965 * [backup-simplify]: Simplify 1 into 1
10.965 * [taylor]: Taking taylor expansion of 1 in z
10.965 * [backup-simplify]: Simplify 1 into 1
10.966 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
10.966 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z))
10.966 * [backup-simplify]: Simplify (+ 0 (- (/ y z))) into (- (/ y z))
10.966 * [taylor]: Taking taylor expansion of (- (/ y z)) in y
10.966 * [taylor]: Taking taylor expansion of (/ y z) in y
10.966 * [taylor]: Taking taylor expansion of y in y
10.966 * [backup-simplify]: Simplify 0 into 0
10.966 * [backup-simplify]: Simplify 1 into 1
10.966 * [taylor]: Taking taylor expansion of z in y
10.966 * [backup-simplify]: Simplify z into z
10.966 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
10.966 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
10.966 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
10.966 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.966 * [taylor]: Taking taylor expansion of z in z
10.967 * [backup-simplify]: Simplify 0 into 0
10.967 * [backup-simplify]: Simplify 1 into 1
10.967 * [backup-simplify]: Simplify (/ 1 1) into 1
10.967 * [backup-simplify]: Simplify (- 1) into -1
10.967 * [backup-simplify]: Simplify -1 into -1
10.967 * [taylor]: Taking taylor expansion of 0 in z
10.967 * [backup-simplify]: Simplify 0 into 0
10.967 * [backup-simplify]: Simplify 1 into 1
10.969 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.969 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
10.969 * [backup-simplify]: Simplify (- 0) into 0
10.970 * [backup-simplify]: Simplify (+ 0 0) into 0
10.970 * [taylor]: Taking taylor expansion of 0 in y
10.970 * [backup-simplify]: Simplify 0 into 0
10.970 * [taylor]: Taking taylor expansion of 0 in z
10.970 * [backup-simplify]: Simplify 0 into 0
10.970 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
10.970 * [backup-simplify]: Simplify (- 0) into 0
10.971 * [taylor]: Taking taylor expansion of 0 in z
10.971 * [backup-simplify]: Simplify 0 into 0
10.971 * [taylor]: Taking taylor expansion of 0 in z
10.971 * [backup-simplify]: Simplify 0 into 0
10.971 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.972 * [backup-simplify]: Simplify (- 0) into 0
10.972 * [backup-simplify]: Simplify 0 into 0
10.972 * [backup-simplify]: Simplify 0 into 0
10.972 * [backup-simplify]: Simplify 0 into 0
10.974 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.974 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
10.974 * [backup-simplify]: Simplify (- 0) into 0
10.975 * [backup-simplify]: Simplify (+ 0 0) into 0
10.975 * [taylor]: Taking taylor expansion of 0 in y
10.975 * [backup-simplify]: Simplify 0 into 0
10.975 * [taylor]: Taking taylor expansion of 0 in z
10.975 * [backup-simplify]: Simplify 0 into 0
10.975 * [taylor]: Taking taylor expansion of 0 in z
10.975 * [backup-simplify]: Simplify 0 into 0
10.975 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
10.980 * [backup-simplify]: Simplify (- 0) into 0
10.980 * [taylor]: Taking taylor expansion of 0 in z
10.980 * [backup-simplify]: Simplify 0 into 0
10.980 * [taylor]: Taking taylor expansion of 0 in z
10.980 * [backup-simplify]: Simplify 0 into 0
10.980 * [backup-simplify]: Simplify 0 into 0
10.980 * [backup-simplify]: Simplify 0 into 0
10.980 * [backup-simplify]: Simplify 0 into 0
10.981 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (- y)) (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (- y)) 1)))) into (- (/ x y) (/ z y))
10.981 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
10.981 * [backup-simplify]: Simplify (* 4.0 (- (/ x y) (/ z y))) into (* 4.0 (- (/ x y) (/ z y)))
10.981 * [approximate]: Taking taylor expansion of (* 4.0 (- (/ x y) (/ z y))) in (x y z) around 0
10.981 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ x y) (/ z y))) in z
10.981 * [taylor]: Taking taylor expansion of 4.0 in z
10.981 * [backup-simplify]: Simplify 4.0 into 4.0
10.981 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in z
10.981 * [taylor]: Taking taylor expansion of (/ x y) in z
10.981 * [taylor]: Taking taylor expansion of x in z
10.981 * [backup-simplify]: Simplify x into x
10.981 * [taylor]: Taking taylor expansion of y in z
10.981 * [backup-simplify]: Simplify y into y
10.981 * [backup-simplify]: Simplify (/ x y) into (/ x y)
10.981 * [taylor]: Taking taylor expansion of (/ z y) in z
10.981 * [taylor]: Taking taylor expansion of z in z
10.981 * [backup-simplify]: Simplify 0 into 0
10.981 * [backup-simplify]: Simplify 1 into 1
10.981 * [taylor]: Taking taylor expansion of y in z
10.981 * [backup-simplify]: Simplify y into y
10.982 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.982 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ x y) (/ z y))) in y
10.982 * [taylor]: Taking taylor expansion of 4.0 in y
10.982 * [backup-simplify]: Simplify 4.0 into 4.0
10.982 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in y
10.982 * [taylor]: Taking taylor expansion of (/ x y) in y
10.982 * [taylor]: Taking taylor expansion of x in y
10.982 * [backup-simplify]: Simplify x into x
10.982 * [taylor]: Taking taylor expansion of y in y
10.982 * [backup-simplify]: Simplify 0 into 0
10.982 * [backup-simplify]: Simplify 1 into 1
10.982 * [backup-simplify]: Simplify (/ x 1) into x
10.982 * [taylor]: Taking taylor expansion of (/ z y) in y
10.982 * [taylor]: Taking taylor expansion of z in y
10.982 * [backup-simplify]: Simplify z into z
10.982 * [taylor]: Taking taylor expansion of y in y
10.982 * [backup-simplify]: Simplify 0 into 0
10.982 * [backup-simplify]: Simplify 1 into 1
10.982 * [backup-simplify]: Simplify (/ z 1) into z
10.982 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ x y) (/ z y))) in x
10.982 * [taylor]: Taking taylor expansion of 4.0 in x
10.982 * [backup-simplify]: Simplify 4.0 into 4.0
10.982 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in x
10.982 * [taylor]: Taking taylor expansion of (/ x y) in x
10.982 * [taylor]: Taking taylor expansion of x in x
10.983 * [backup-simplify]: Simplify 0 into 0
10.983 * [backup-simplify]: Simplify 1 into 1
10.983 * [taylor]: Taking taylor expansion of y in x
10.983 * [backup-simplify]: Simplify y into y
10.983 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.983 * [taylor]: Taking taylor expansion of (/ z y) in x
10.983 * [taylor]: Taking taylor expansion of z in x
10.983 * [backup-simplify]: Simplify z into z
10.983 * [taylor]: Taking taylor expansion of y in x
10.983 * [backup-simplify]: Simplify y into y
10.983 * [backup-simplify]: Simplify (/ z y) into (/ z y)
10.983 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ x y) (/ z y))) in x
10.983 * [taylor]: Taking taylor expansion of 4.0 in x
10.983 * [backup-simplify]: Simplify 4.0 into 4.0
10.983 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in x
10.983 * [taylor]: Taking taylor expansion of (/ x y) in x
10.983 * [taylor]: Taking taylor expansion of x in x
10.983 * [backup-simplify]: Simplify 0 into 0
10.983 * [backup-simplify]: Simplify 1 into 1
10.983 * [taylor]: Taking taylor expansion of y in x
10.983 * [backup-simplify]: Simplify y into y
10.983 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.983 * [taylor]: Taking taylor expansion of (/ z y) in x
10.983 * [taylor]: Taking taylor expansion of z in x
10.983 * [backup-simplify]: Simplify z into z
10.983 * [taylor]: Taking taylor expansion of y in x
10.983 * [backup-simplify]: Simplify y into y
10.983 * [backup-simplify]: Simplify (/ z y) into (/ z y)
10.984 * [backup-simplify]: Simplify (- (/ z y)) into (- (/ z y))
10.984 * [backup-simplify]: Simplify (+ 0 (- (/ z y))) into (- (/ z y))
10.984 * [backup-simplify]: Simplify (* 4.0 (- (/ z y))) into (* -4.0 (/ z y))
10.984 * [taylor]: Taking taylor expansion of (* -4.0 (/ z y)) in y
10.984 * [taylor]: Taking taylor expansion of -4.0 in y
10.984 * [backup-simplify]: Simplify -4.0 into -4.0
10.984 * [taylor]: Taking taylor expansion of (/ z y) in y
10.984 * [taylor]: Taking taylor expansion of z in y
10.984 * [backup-simplify]: Simplify z into z
10.984 * [taylor]: Taking taylor expansion of y in y
10.984 * [backup-simplify]: Simplify 0 into 0
10.984 * [backup-simplify]: Simplify 1 into 1
10.984 * [backup-simplify]: Simplify (/ z 1) into z
10.984 * [backup-simplify]: Simplify (* -4.0 z) into (* -4.0 z)
10.984 * [taylor]: Taking taylor expansion of (* -4.0 z) in z
10.984 * [taylor]: Taking taylor expansion of -4.0 in z
10.984 * [backup-simplify]: Simplify -4.0 into -4.0
10.984 * [taylor]: Taking taylor expansion of z in z
10.984 * [backup-simplify]: Simplify 0 into 0
10.984 * [backup-simplify]: Simplify 1 into 1
10.985 * [backup-simplify]: Simplify (* -4.0 0) into 0
10.985 * [backup-simplify]: Simplify 0 into 0
10.985 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
10.986 * [backup-simplify]: Simplify (- 0) into 0
10.986 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
10.986 * [backup-simplify]: Simplify (+ (* 4.0 (/ 1 y)) (* 0 (- (/ z y)))) into (* 4.0 (/ 1 y))
10.986 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
10.986 * [taylor]: Taking taylor expansion of 4.0 in y
10.986 * [backup-simplify]: Simplify 4.0 into 4.0
10.986 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.986 * [taylor]: Taking taylor expansion of y in y
10.986 * [backup-simplify]: Simplify 0 into 0
10.986 * [backup-simplify]: Simplify 1 into 1
10.987 * [backup-simplify]: Simplify (/ 1 1) into 1
10.987 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
10.987 * [taylor]: Taking taylor expansion of 4.0 in z
10.987 * [backup-simplify]: Simplify 4.0 into 4.0
10.987 * [backup-simplify]: Simplify 4.0 into 4.0
10.988 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
10.989 * [backup-simplify]: Simplify (+ (* -4.0 0) (* 0 z)) into 0
10.989 * [taylor]: Taking taylor expansion of 0 in z
10.989 * [backup-simplify]: Simplify 0 into 0
10.989 * [backup-simplify]: Simplify 0 into 0
10.990 * [backup-simplify]: Simplify (+ (* -4.0 1) (* 0 0)) into (- 4.0)
10.991 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
10.991 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
10.991 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
10.991 * [backup-simplify]: Simplify (- 0) into 0
10.992 * [backup-simplify]: Simplify (+ 0 0) into 0
10.992 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (/ 1 y)) (* 0 (- (/ z y))))) into 0
10.993 * [taylor]: Taking taylor expansion of 0 in y
10.993 * [backup-simplify]: Simplify 0 into 0
10.993 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.994 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
10.994 * [taylor]: Taking taylor expansion of 0 in z
10.994 * [backup-simplify]: Simplify 0 into 0
10.994 * [backup-simplify]: Simplify 0 into 0
10.996 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.996 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 0) (* 0 z))) into 0
10.996 * [taylor]: Taking taylor expansion of 0 in z
10.997 * [backup-simplify]: Simplify 0 into 0
10.997 * [backup-simplify]: Simplify 0 into 0
10.997 * [backup-simplify]: Simplify 0 into 0
10.997 * [backup-simplify]: Simplify 0 into 0
10.998 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 1) (* 0 0))) into 0
10.998 * [backup-simplify]: Simplify 0 into 0
10.998 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
10.998 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
10.999 * [backup-simplify]: Simplify (- 0) into 0
10.999 * [backup-simplify]: Simplify (+ 0 0) into 0
11.000 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 (- (/ z y)))))) into 0
11.000 * [taylor]: Taking taylor expansion of 0 in y
11.000 * [backup-simplify]: Simplify 0 into 0
11.000 * [taylor]: Taking taylor expansion of 0 in z
11.000 * [backup-simplify]: Simplify 0 into 0
11.000 * [backup-simplify]: Simplify 0 into 0
11.001 * [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.001 * [backup-simplify]: Simplify (* 4.0 (- (/ (/ 1 x) (/ 1 y)) (/ (/ 1 z) (/ 1 y)))) into (* 4.0 (- (/ y x) (/ y z)))
11.001 * [approximate]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in (x y z) around 0
11.001 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in z
11.001 * [taylor]: Taking taylor expansion of 4.0 in z
11.001 * [backup-simplify]: Simplify 4.0 into 4.0
11.001 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in z
11.001 * [taylor]: Taking taylor expansion of (/ y x) in z
11.001 * [taylor]: Taking taylor expansion of y in z
11.001 * [backup-simplify]: Simplify y into y
11.001 * [taylor]: Taking taylor expansion of x in z
11.001 * [backup-simplify]: Simplify x into x
11.002 * [backup-simplify]: Simplify (/ y x) into (/ y x)
11.002 * [taylor]: Taking taylor expansion of (/ y z) in z
11.002 * [taylor]: Taking taylor expansion of y in z
11.002 * [backup-simplify]: Simplify y into y
11.002 * [taylor]: Taking taylor expansion of z in z
11.002 * [backup-simplify]: Simplify 0 into 0
11.002 * [backup-simplify]: Simplify 1 into 1
11.002 * [backup-simplify]: Simplify (/ y 1) into y
11.002 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in y
11.002 * [taylor]: Taking taylor expansion of 4.0 in y
11.002 * [backup-simplify]: Simplify 4.0 into 4.0
11.002 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in y
11.002 * [taylor]: Taking taylor expansion of (/ y x) in y
11.002 * [taylor]: Taking taylor expansion of y in y
11.002 * [backup-simplify]: Simplify 0 into 0
11.002 * [backup-simplify]: Simplify 1 into 1
11.002 * [taylor]: Taking taylor expansion of x in y
11.002 * [backup-simplify]: Simplify x into x
11.002 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.002 * [taylor]: Taking taylor expansion of (/ y z) in y
11.002 * [taylor]: Taking taylor expansion of y in y
11.002 * [backup-simplify]: Simplify 0 into 0
11.002 * [backup-simplify]: Simplify 1 into 1
11.002 * [taylor]: Taking taylor expansion of z in y
11.002 * [backup-simplify]: Simplify z into z
11.002 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.002 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in x
11.002 * [taylor]: Taking taylor expansion of 4.0 in x
11.002 * [backup-simplify]: Simplify 4.0 into 4.0
11.002 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
11.002 * [taylor]: Taking taylor expansion of (/ y x) in x
11.002 * [taylor]: Taking taylor expansion of y in x
11.002 * [backup-simplify]: Simplify y into y
11.003 * [taylor]: Taking taylor expansion of x in x
11.003 * [backup-simplify]: Simplify 0 into 0
11.003 * [backup-simplify]: Simplify 1 into 1
11.003 * [backup-simplify]: Simplify (/ y 1) into y
11.003 * [taylor]: Taking taylor expansion of (/ y z) in x
11.003 * [taylor]: Taking taylor expansion of y in x
11.003 * [backup-simplify]: Simplify y into y
11.003 * [taylor]: Taking taylor expansion of z in x
11.003 * [backup-simplify]: Simplify z into z
11.003 * [backup-simplify]: Simplify (/ y z) into (/ y z)
11.003 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in x
11.003 * [taylor]: Taking taylor expansion of 4.0 in x
11.003 * [backup-simplify]: Simplify 4.0 into 4.0
11.003 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
11.003 * [taylor]: Taking taylor expansion of (/ y x) in x
11.003 * [taylor]: Taking taylor expansion of y in x
11.003 * [backup-simplify]: Simplify y into y
11.003 * [taylor]: Taking taylor expansion of x in x
11.003 * [backup-simplify]: Simplify 0 into 0
11.003 * [backup-simplify]: Simplify 1 into 1
11.003 * [backup-simplify]: Simplify (/ y 1) into y
11.003 * [taylor]: Taking taylor expansion of (/ y z) in x
11.003 * [taylor]: Taking taylor expansion of y in x
11.003 * [backup-simplify]: Simplify y into y
11.003 * [taylor]: Taking taylor expansion of z in x
11.003 * [backup-simplify]: Simplify z into z
11.003 * [backup-simplify]: Simplify (/ y z) into (/ y z)
11.004 * [backup-simplify]: Simplify (+ y 0) into y
11.004 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
11.004 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
11.004 * [taylor]: Taking taylor expansion of 4.0 in y
11.004 * [backup-simplify]: Simplify 4.0 into 4.0
11.004 * [taylor]: Taking taylor expansion of y in y
11.004 * [backup-simplify]: Simplify 0 into 0
11.004 * [backup-simplify]: Simplify 1 into 1
11.005 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
11.005 * [taylor]: Taking taylor expansion of 4.0 in z
11.005 * [backup-simplify]: Simplify 4.0 into 4.0
11.006 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
11.006 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z))
11.007 * [backup-simplify]: Simplify (+ 0 (- (/ y z))) into (- (/ y z))
11.007 * [backup-simplify]: Simplify (+ (* 4.0 (- (/ y z))) (* 0 y)) into (- (* 4.0 (/ y z)))
11.007 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ y z))) in y
11.007 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
11.007 * [taylor]: Taking taylor expansion of 4.0 in y
11.007 * [backup-simplify]: Simplify 4.0 into 4.0
11.007 * [taylor]: Taking taylor expansion of (/ y z) in y
11.007 * [taylor]: Taking taylor expansion of y in y
11.007 * [backup-simplify]: Simplify 0 into 0
11.007 * [backup-simplify]: Simplify 1 into 1
11.007 * [taylor]: Taking taylor expansion of z in y
11.007 * [backup-simplify]: Simplify z into z
11.007 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.007 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
11.007 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
11.007 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
11.007 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
11.007 * [taylor]: Taking taylor expansion of 4.0 in z
11.007 * [backup-simplify]: Simplify 4.0 into 4.0
11.008 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.008 * [taylor]: Taking taylor expansion of z in z
11.008 * [backup-simplify]: Simplify 0 into 0
11.008 * [backup-simplify]: Simplify 1 into 1
11.008 * [backup-simplify]: Simplify (/ 1 1) into 1
11.008 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
11.009 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
11.009 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
11.010 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
11.010 * [taylor]: Taking taylor expansion of 0 in z
11.010 * [backup-simplify]: Simplify 0 into 0
11.010 * [backup-simplify]: Simplify 4.0 into 4.0
11.012 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.012 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
11.012 * [backup-simplify]: Simplify (- 0) into 0
11.013 * [backup-simplify]: Simplify (+ 0 0) into 0
11.013 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (- (/ y z))) (* 0 y))) into 0
11.013 * [taylor]: Taking taylor expansion of 0 in y
11.013 * [backup-simplify]: Simplify 0 into 0
11.013 * [taylor]: Taking taylor expansion of 0 in z
11.014 * [backup-simplify]: Simplify 0 into 0
11.014 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
11.014 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ 1 z))) into 0
11.015 * [backup-simplify]: Simplify (- 0) into 0
11.015 * [taylor]: Taking taylor expansion of 0 in z
11.015 * [backup-simplify]: Simplify 0 into 0
11.016 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
11.016 * [taylor]: Taking taylor expansion of 0 in z
11.016 * [backup-simplify]: Simplify 0 into 0
11.017 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.017 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
11.018 * [backup-simplify]: Simplify (- 0) into 0
11.018 * [backup-simplify]: Simplify 0 into 0
11.018 * [backup-simplify]: Simplify 0 into 0
11.018 * [backup-simplify]: Simplify 0 into 0
11.020 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.020 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
11.020 * [backup-simplify]: Simplify (- 0) into 0
11.021 * [backup-simplify]: Simplify (+ 0 0) into 0
11.022 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 (- (/ y z))) (* 0 y)))) into 0
11.022 * [taylor]: Taking taylor expansion of 0 in y
11.022 * [backup-simplify]: Simplify 0 into 0
11.022 * [taylor]: Taking taylor expansion of 0 in z
11.022 * [backup-simplify]: Simplify 0 into 0
11.022 * [taylor]: Taking taylor expansion of 0 in z
11.022 * [backup-simplify]: Simplify 0 into 0
11.022 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
11.023 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
11.023 * [backup-simplify]: Simplify (- 0) into 0
11.024 * [taylor]: Taking taylor expansion of 0 in z
11.024 * [backup-simplify]: Simplify 0 into 0
11.025 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
11.025 * [taylor]: Taking taylor expansion of 0 in z
11.025 * [backup-simplify]: Simplify 0 into 0
11.025 * [backup-simplify]: Simplify 0 into 0
11.025 * [backup-simplify]: Simplify 0 into 0
11.025 * [backup-simplify]: Simplify 0 into 0
11.026 * [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.026 * [backup-simplify]: Simplify (* 4.0 (- (/ (/ 1 (- x)) (/ 1 (- y))) (/ (/ 1 (- z)) (/ 1 (- y))))) into (* 4.0 (- (/ y x) (/ y z)))
11.026 * [approximate]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in (x y z) around 0
11.026 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in z
11.026 * [taylor]: Taking taylor expansion of 4.0 in z
11.026 * [backup-simplify]: Simplify 4.0 into 4.0
11.027 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in z
11.027 * [taylor]: Taking taylor expansion of (/ y x) in z
11.027 * [taylor]: Taking taylor expansion of y in z
11.027 * [backup-simplify]: Simplify y into y
11.027 * [taylor]: Taking taylor expansion of x in z
11.027 * [backup-simplify]: Simplify x into x
11.027 * [backup-simplify]: Simplify (/ y x) into (/ y x)
11.027 * [taylor]: Taking taylor expansion of (/ y z) in z
11.027 * [taylor]: Taking taylor expansion of y in z
11.027 * [backup-simplify]: Simplify y into y
11.027 * [taylor]: Taking taylor expansion of z in z
11.027 * [backup-simplify]: Simplify 0 into 0
11.027 * [backup-simplify]: Simplify 1 into 1
11.027 * [backup-simplify]: Simplify (/ y 1) into y
11.027 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in y
11.027 * [taylor]: Taking taylor expansion of 4.0 in y
11.027 * [backup-simplify]: Simplify 4.0 into 4.0
11.027 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in y
11.027 * [taylor]: Taking taylor expansion of (/ y x) in y
11.027 * [taylor]: Taking taylor expansion of y in y
11.027 * [backup-simplify]: Simplify 0 into 0
11.027 * [backup-simplify]: Simplify 1 into 1
11.027 * [taylor]: Taking taylor expansion of x in y
11.027 * [backup-simplify]: Simplify x into x
11.027 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.027 * [taylor]: Taking taylor expansion of (/ y z) in y
11.027 * [taylor]: Taking taylor expansion of y in y
11.027 * [backup-simplify]: Simplify 0 into 0
11.027 * [backup-simplify]: Simplify 1 into 1
11.027 * [taylor]: Taking taylor expansion of z in y
11.028 * [backup-simplify]: Simplify z into z
11.028 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.028 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in x
11.028 * [taylor]: Taking taylor expansion of 4.0 in x
11.028 * [backup-simplify]: Simplify 4.0 into 4.0
11.028 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
11.028 * [taylor]: Taking taylor expansion of (/ y x) in x
11.028 * [taylor]: Taking taylor expansion of y in x
11.028 * [backup-simplify]: Simplify y into y
11.028 * [taylor]: Taking taylor expansion of x in x
11.028 * [backup-simplify]: Simplify 0 into 0
11.028 * [backup-simplify]: Simplify 1 into 1
11.028 * [backup-simplify]: Simplify (/ y 1) into y
11.028 * [taylor]: Taking taylor expansion of (/ y z) in x
11.028 * [taylor]: Taking taylor expansion of y in x
11.028 * [backup-simplify]: Simplify y into y
11.028 * [taylor]: Taking taylor expansion of z in x
11.028 * [backup-simplify]: Simplify z into z
11.028 * [backup-simplify]: Simplify (/ y z) into (/ y z)
11.028 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in x
11.028 * [taylor]: Taking taylor expansion of 4.0 in x
11.028 * [backup-simplify]: Simplify 4.0 into 4.0
11.028 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
11.028 * [taylor]: Taking taylor expansion of (/ y x) in x
11.028 * [taylor]: Taking taylor expansion of y in x
11.028 * [backup-simplify]: Simplify y into y
11.028 * [taylor]: Taking taylor expansion of x in x
11.028 * [backup-simplify]: Simplify 0 into 0
11.028 * [backup-simplify]: Simplify 1 into 1
11.029 * [backup-simplify]: Simplify (/ y 1) into y
11.029 * [taylor]: Taking taylor expansion of (/ y z) in x
11.029 * [taylor]: Taking taylor expansion of y in x
11.029 * [backup-simplify]: Simplify y into y
11.029 * [taylor]: Taking taylor expansion of z in x
11.029 * [backup-simplify]: Simplify z into z
11.029 * [backup-simplify]: Simplify (/ y z) into (/ y z)
11.029 * [backup-simplify]: Simplify (+ y 0) into y
11.029 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
11.029 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
11.029 * [taylor]: Taking taylor expansion of 4.0 in y
11.029 * [backup-simplify]: Simplify 4.0 into 4.0
11.029 * [taylor]: Taking taylor expansion of y in y
11.029 * [backup-simplify]: Simplify 0 into 0
11.029 * [backup-simplify]: Simplify 1 into 1
11.031 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
11.031 * [taylor]: Taking taylor expansion of 4.0 in z
11.031 * [backup-simplify]: Simplify 4.0 into 4.0
11.032 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
11.032 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z))
11.032 * [backup-simplify]: Simplify (+ 0 (- (/ y z))) into (- (/ y z))
11.032 * [backup-simplify]: Simplify (+ (* 4.0 (- (/ y z))) (* 0 y)) into (- (* 4.0 (/ y z)))
11.032 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ y z))) in y
11.032 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
11.032 * [taylor]: Taking taylor expansion of 4.0 in y
11.032 * [backup-simplify]: Simplify 4.0 into 4.0
11.032 * [taylor]: Taking taylor expansion of (/ y z) in y
11.032 * [taylor]: Taking taylor expansion of y in y
11.032 * [backup-simplify]: Simplify 0 into 0
11.032 * [backup-simplify]: Simplify 1 into 1
11.032 * [taylor]: Taking taylor expansion of z in y
11.032 * [backup-simplify]: Simplify z into z
11.033 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.033 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
11.033 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
11.033 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
11.033 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
11.033 * [taylor]: Taking taylor expansion of 4.0 in z
11.033 * [backup-simplify]: Simplify 4.0 into 4.0
11.033 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.033 * [taylor]: Taking taylor expansion of z in z
11.033 * [backup-simplify]: Simplify 0 into 0
11.033 * [backup-simplify]: Simplify 1 into 1
11.034 * [backup-simplify]: Simplify (/ 1 1) into 1
11.034 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
11.035 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
11.035 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
11.036 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
11.036 * [taylor]: Taking taylor expansion of 0 in z
11.036 * [backup-simplify]: Simplify 0 into 0
11.036 * [backup-simplify]: Simplify 4.0 into 4.0
11.037 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.037 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
11.038 * [backup-simplify]: Simplify (- 0) into 0
11.038 * [backup-simplify]: Simplify (+ 0 0) into 0
11.038 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (- (/ y z))) (* 0 y))) into 0
11.038 * [taylor]: Taking taylor expansion of 0 in y
11.038 * [backup-simplify]: Simplify 0 into 0
11.038 * [taylor]: Taking taylor expansion of 0 in z
11.038 * [backup-simplify]: Simplify 0 into 0
11.038 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
11.039 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ 1 z))) into 0
11.039 * [backup-simplify]: Simplify (- 0) into 0
11.039 * [taylor]: Taking taylor expansion of 0 in z
11.039 * [backup-simplify]: Simplify 0 into 0
11.040 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
11.040 * [taylor]: Taking taylor expansion of 0 in z
11.040 * [backup-simplify]: Simplify 0 into 0
11.040 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.041 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
11.041 * [backup-simplify]: Simplify (- 0) into 0
11.041 * [backup-simplify]: Simplify 0 into 0
11.041 * [backup-simplify]: Simplify 0 into 0
11.041 * [backup-simplify]: Simplify 0 into 0
11.042 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.042 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
11.042 * [backup-simplify]: Simplify (- 0) into 0
11.043 * [backup-simplify]: Simplify (+ 0 0) into 0
11.043 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 (- (/ y z))) (* 0 y)))) into 0
11.043 * [taylor]: Taking taylor expansion of 0 in y
11.043 * [backup-simplify]: Simplify 0 into 0
11.043 * [taylor]: Taking taylor expansion of 0 in z
11.043 * [backup-simplify]: Simplify 0 into 0
11.043 * [taylor]: Taking taylor expansion of 0 in z
11.043 * [backup-simplify]: Simplify 0 into 0
11.043 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
11.044 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
11.044 * [backup-simplify]: Simplify (- 0) into 0
11.044 * [taylor]: Taking taylor expansion of 0 in z
11.044 * [backup-simplify]: Simplify 0 into 0
11.045 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
11.045 * [taylor]: Taking taylor expansion of 0 in z
11.045 * [backup-simplify]: Simplify 0 into 0
11.045 * [backup-simplify]: Simplify 0 into 0
11.045 * [backup-simplify]: Simplify 0 into 0
11.045 * [backup-simplify]: Simplify 0 into 0
11.046 * [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.046 * * * [progress]: simplifying candidates
11.047 * [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.048 * * [simplify]: Extracting # 0 : cost  0
11.048 * * [simplify]: Extracting # 1 : cost  0
11.049 * * [simplify]: Extracting # 2 : cost  0
11.049 * * [simplify]: Extracting # 3 : cost  0
11.049 * * [simplify]: Extracting # 4 : cost  0
11.049 * * [simplify]: Extracting # 5 : cost  0
11.049 * * [simplify]: iteration  0 :  101  enodes  (cost  731 )
11.076 * * [simplify]: Extracting # 0 : cost  0
11.076 * * [simplify]: Extracting # 1 : cost  0
11.076 * * [simplify]: Extracting # 2 : cost  0
11.077 * * [simplify]: Extracting # 3 : cost  0
11.077 * * [simplify]: Extracting # 4 : cost  0
11.077 * * [simplify]: iteration  1 :  235  enodes  (cost  705 )
11.160 * * [simplify]: Extracting # 0 : cost  0
11.161 * * [simplify]: Extracting # 1 : cost  0
11.163 * * [simplify]: Extracting # 2 : cost  0
11.164 * * [simplify]: Extracting # 3 : cost  0
11.165 * * [simplify]: Extracting # 4 : cost  0
11.166 * * [simplify]: Extracting # 5 : cost  0
11.166 * * [simplify]: iteration  2 :  536  enodes  (cost  651 )
11.467 * * [simplify]: Extracting # 0 : cost  0
11.472 * * [simplify]: Extracting # 1 : cost  0
11.483 * * [simplify]: Extracting # 2 : cost  0
11.486 * * [simplify]: Extracting # 3 : cost  0
11.489 * * [simplify]: Extracting # 4 : cost  0
11.493 * * [simplify]: iteration  3 :  1602  enodes  (cost  651 )
13.352 * * [simplify]: Extracting # 0 : cost  0
13.364 * * [simplify]: Extracting # 1 : cost  0
13.373 * * [simplify]: Extracting # 2 : cost  0
13.379 * * [simplify]: Extracting # 3 : cost  0
13.388 * * [simplify]: Extracting # 4 : cost  0
13.395 * * [simplify]: iteration done:  5000  enodes  (cost  617 )
13.396 * [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))
13.398 * * * [progress]: adding candidates to table
13.599 * * [progress]: iteration 3 / 4
13.599 * * * [progress]: picking best candidate
13.601 * * * * [pick]: Picked  #<alt (λ (x y z) (+ 2.0 (* 1 (* (/ 4.0 y) (- x z)))))>
13.601 * * * [progress]: localizing error
13.615 * * * [progress]: generating rewritten candidates
13.616 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 2)
13.664 * * * [progress]: generating series expansions
13.664 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 2)
13.665 * [backup-simplify]: Simplify (* (/ 4.0 y) (- x z)) into (* 4.0 (/ (- x z) y))
13.665 * [approximate]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in (y x z) around 0
13.665 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in z
13.665 * [taylor]: Taking taylor expansion of 4.0 in z
13.665 * [backup-simplify]: Simplify 4.0 into 4.0
13.665 * [taylor]: Taking taylor expansion of (/ (- x z) y) in z
13.665 * [taylor]: Taking taylor expansion of (- x z) in z
13.665 * [taylor]: Taking taylor expansion of x in z
13.665 * [backup-simplify]: Simplify x into x
13.665 * [taylor]: Taking taylor expansion of z in z
13.665 * [backup-simplify]: Simplify 0 into 0
13.665 * [backup-simplify]: Simplify 1 into 1
13.665 * [taylor]: Taking taylor expansion of y in z
13.665 * [backup-simplify]: Simplify y into y
13.666 * [backup-simplify]: Simplify (- 0) into 0
13.666 * [backup-simplify]: Simplify (+ x 0) into x
13.666 * [backup-simplify]: Simplify (/ x y) into (/ x y)
13.666 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in x
13.666 * [taylor]: Taking taylor expansion of 4.0 in x
13.666 * [backup-simplify]: Simplify 4.0 into 4.0
13.666 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x
13.666 * [taylor]: Taking taylor expansion of (- x z) in x
13.666 * [taylor]: Taking taylor expansion of x in x
13.666 * [backup-simplify]: Simplify 0 into 0
13.666 * [backup-simplify]: Simplify 1 into 1
13.666 * [taylor]: Taking taylor expansion of z in x
13.666 * [backup-simplify]: Simplify z into z
13.666 * [taylor]: Taking taylor expansion of y in x
13.666 * [backup-simplify]: Simplify y into y
13.666 * [backup-simplify]: Simplify (- z) into (- z)
13.666 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
13.666 * [backup-simplify]: Simplify (/ (- z) y) into (* -1 (/ z y))
13.666 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in y
13.666 * [taylor]: Taking taylor expansion of 4.0 in y
13.666 * [backup-simplify]: Simplify 4.0 into 4.0
13.666 * [taylor]: Taking taylor expansion of (/ (- x z) y) in y
13.666 * [taylor]: Taking taylor expansion of (- x z) in y
13.666 * [taylor]: Taking taylor expansion of x in y
13.666 * [backup-simplify]: Simplify x into x
13.666 * [taylor]: Taking taylor expansion of z in y
13.666 * [backup-simplify]: Simplify z into z
13.666 * [taylor]: Taking taylor expansion of y in y
13.666 * [backup-simplify]: Simplify 0 into 0
13.666 * [backup-simplify]: Simplify 1 into 1
13.666 * [backup-simplify]: Simplify (- z) into (- z)
13.666 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
13.666 * [backup-simplify]: Simplify (/ (- x z) 1) into (- x z)
13.666 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in y
13.666 * [taylor]: Taking taylor expansion of 4.0 in y
13.666 * [backup-simplify]: Simplify 4.0 into 4.0
13.666 * [taylor]: Taking taylor expansion of (/ (- x z) y) in y
13.666 * [taylor]: Taking taylor expansion of (- x z) in y
13.666 * [taylor]: Taking taylor expansion of x in y
13.666 * [backup-simplify]: Simplify x into x
13.667 * [taylor]: Taking taylor expansion of z in y
13.667 * [backup-simplify]: Simplify z into z
13.667 * [taylor]: Taking taylor expansion of y in y
13.667 * [backup-simplify]: Simplify 0 into 0
13.667 * [backup-simplify]: Simplify 1 into 1
13.667 * [backup-simplify]: Simplify (- z) into (- z)
13.667 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
13.667 * [backup-simplify]: Simplify (/ (- x z) 1) into (- x z)
13.667 * [backup-simplify]: Simplify (* 4.0 (- x z)) into (* 4.0 (- x z))
13.667 * [taylor]: Taking taylor expansion of (* 4.0 (- x z)) in x
13.667 * [taylor]: Taking taylor expansion of 4.0 in x
13.667 * [backup-simplify]: Simplify 4.0 into 4.0
13.667 * [taylor]: Taking taylor expansion of (- x z) in x
13.667 * [taylor]: Taking taylor expansion of x in x
13.667 * [backup-simplify]: Simplify 0 into 0
13.667 * [backup-simplify]: Simplify 1 into 1
13.667 * [taylor]: Taking taylor expansion of z in x
13.667 * [backup-simplify]: Simplify z into z
13.667 * [backup-simplify]: Simplify (- z) into (- z)
13.667 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
13.667 * [backup-simplify]: Simplify (* 4.0 (- z)) into (* -4.0 z)
13.667 * [taylor]: Taking taylor expansion of (* -4.0 z) in z
13.667 * [taylor]: Taking taylor expansion of -4.0 in z
13.667 * [backup-simplify]: Simplify -4.0 into -4.0
13.667 * [taylor]: Taking taylor expansion of z in z
13.667 * [backup-simplify]: Simplify 0 into 0
13.667 * [backup-simplify]: Simplify 1 into 1
13.668 * [backup-simplify]: Simplify (* -4.0 0) into 0
13.668 * [backup-simplify]: Simplify 0 into 0
13.668 * [backup-simplify]: Simplify (- 0) into 0
13.668 * [backup-simplify]: Simplify (+ 0 0) into 0
13.669 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- x z) (/ 0 1)))) into 0
13.669 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (- x z))) into 0
13.669 * [taylor]: Taking taylor expansion of 0 in x
13.669 * [backup-simplify]: Simplify 0 into 0
13.669 * [taylor]: Taking taylor expansion of 0 in z
13.669 * [backup-simplify]: Simplify 0 into 0
13.669 * [backup-simplify]: Simplify 0 into 0
13.670 * [backup-simplify]: Simplify (- 0) into 0
13.670 * [backup-simplify]: Simplify (+ 1 0) into 1
13.670 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 (- z))) into 4.0
13.670 * [taylor]: Taking taylor expansion of 4.0 in z
13.670 * [backup-simplify]: Simplify 4.0 into 4.0
13.670 * [backup-simplify]: Simplify 4.0 into 4.0
13.671 * [backup-simplify]: Simplify (+ (* -4.0 1) (* 0 0)) into (- 4.0)
13.671 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
13.672 * [backup-simplify]: Simplify (- 0) into 0
13.672 * [backup-simplify]: Simplify (+ 0 0) into 0
13.673 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- x z) (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.673 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 (- x z)))) into 0
13.673 * [taylor]: Taking taylor expansion of 0 in x
13.673 * [backup-simplify]: Simplify 0 into 0
13.673 * [taylor]: Taking taylor expansion of 0 in z
13.673 * [backup-simplify]: Simplify 0 into 0
13.673 * [backup-simplify]: Simplify 0 into 0
13.673 * [taylor]: Taking taylor expansion of 0 in z
13.673 * [backup-simplify]: Simplify 0 into 0
13.673 * [backup-simplify]: Simplify 0 into 0
13.674 * [backup-simplify]: Simplify (- 0) into 0
13.674 * [backup-simplify]: Simplify (+ 0 0) into 0
13.675 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 (- z)))) into 0
13.675 * [taylor]: Taking taylor expansion of 0 in z
13.675 * [backup-simplify]: Simplify 0 into 0
13.675 * [backup-simplify]: Simplify 0 into 0
13.675 * [backup-simplify]: Simplify 0 into 0
13.675 * [backup-simplify]: Simplify 0 into 0
13.675 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 1) (* 0 0))) into 0
13.675 * [backup-simplify]: Simplify 0 into 0
13.676 * [backup-simplify]: Simplify (+ (* (- 4.0) (* z (* 1 (/ 1 y)))) (* 4.0 (* 1 (* x (/ 1 y))))) into (- (* 4.0 (/ x y)) (* 4.0 (/ z y)))
13.676 * [backup-simplify]: Simplify (* (/ 4.0 (/ 1 y)) (- (/ 1 x) (/ 1 z))) into (* 4.0 (* y (- (/ 1 x) (/ 1 z))))
13.676 * [approximate]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in (y x z) around 0
13.676 * [taylor]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in z
13.676 * [taylor]: Taking taylor expansion of 4.0 in z
13.676 * [backup-simplify]: Simplify 4.0 into 4.0
13.676 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in z
13.676 * [taylor]: Taking taylor expansion of y in z
13.676 * [backup-simplify]: Simplify y into y
13.676 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
13.676 * [taylor]: Taking taylor expansion of (/ 1 x) in z
13.676 * [taylor]: Taking taylor expansion of x in z
13.676 * [backup-simplify]: Simplify x into x
13.676 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
13.676 * [taylor]: Taking taylor expansion of (/ 1 z) in z
13.676 * [taylor]: Taking taylor expansion of z in z
13.676 * [backup-simplify]: Simplify 0 into 0
13.676 * [backup-simplify]: Simplify 1 into 1
13.676 * [backup-simplify]: Simplify (/ 1 1) into 1
13.676 * [taylor]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in x
13.676 * [taylor]: Taking taylor expansion of 4.0 in x
13.676 * [backup-simplify]: Simplify 4.0 into 4.0
13.676 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in x
13.676 * [taylor]: Taking taylor expansion of y in x
13.677 * [backup-simplify]: Simplify y into y
13.677 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
13.677 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.677 * [taylor]: Taking taylor expansion of x in x
13.677 * [backup-simplify]: Simplify 0 into 0
13.677 * [backup-simplify]: Simplify 1 into 1
13.677 * [backup-simplify]: Simplify (/ 1 1) into 1
13.677 * [taylor]: Taking taylor expansion of (/ 1 z) in x
13.677 * [taylor]: Taking taylor expansion of z in x
13.677 * [backup-simplify]: Simplify z into z
13.677 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
13.677 * [taylor]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in y
13.677 * [taylor]: Taking taylor expansion of 4.0 in y
13.677 * [backup-simplify]: Simplify 4.0 into 4.0
13.677 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in y
13.677 * [taylor]: Taking taylor expansion of y in y
13.677 * [backup-simplify]: Simplify 0 into 0
13.677 * [backup-simplify]: Simplify 1 into 1
13.677 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
13.677 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.677 * [taylor]: Taking taylor expansion of x in y
13.677 * [backup-simplify]: Simplify x into x
13.677 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
13.677 * [taylor]: Taking taylor expansion of (/ 1 z) in y
13.677 * [taylor]: Taking taylor expansion of z in y
13.677 * [backup-simplify]: Simplify z into z
13.677 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
13.677 * [taylor]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in y
13.677 * [taylor]: Taking taylor expansion of 4.0 in y
13.677 * [backup-simplify]: Simplify 4.0 into 4.0
13.677 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in y
13.677 * [taylor]: Taking taylor expansion of y in y
13.677 * [backup-simplify]: Simplify 0 into 0
13.677 * [backup-simplify]: Simplify 1 into 1
13.677 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
13.677 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.677 * [taylor]: Taking taylor expansion of x in y
13.677 * [backup-simplify]: Simplify x into x
13.677 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
13.678 * [taylor]: Taking taylor expansion of (/ 1 z) in y
13.678 * [taylor]: Taking taylor expansion of z in y
13.678 * [backup-simplify]: Simplify z into z
13.678 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
13.678 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
13.678 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
13.678 * [backup-simplify]: Simplify (* 0 (- (/ 1 x) (/ 1 z))) into 0
13.678 * [backup-simplify]: Simplify (* 4.0 0) into 0
13.678 * [taylor]: Taking taylor expansion of 0 in x
13.678 * [backup-simplify]: Simplify 0 into 0
13.678 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
13.678 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
13.679 * [backup-simplify]: Simplify (- 0) into 0
13.679 * [backup-simplify]: Simplify (+ 0 0) into 0
13.679 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (/ 1 x) (/ 1 z)))) into (- (/ 1 x) (/ 1 z))
13.680 * [backup-simplify]: Simplify (+ (* 4.0 (- (/ 1 x) (/ 1 z))) (* 0 0)) into (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 z)))
13.680 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 z))) in x
13.680 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
13.680 * [taylor]: Taking taylor expansion of 4.0 in x
13.680 * [backup-simplify]: Simplify 4.0 into 4.0
13.680 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.680 * [taylor]: Taking taylor expansion of x in x
13.680 * [backup-simplify]: Simplify 0 into 0
13.680 * [backup-simplify]: Simplify 1 into 1
13.680 * [backup-simplify]: Simplify (/ 1 1) into 1
13.680 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in x
13.680 * [taylor]: Taking taylor expansion of 4.0 in x
13.680 * [backup-simplify]: Simplify 4.0 into 4.0
13.680 * [taylor]: Taking taylor expansion of (/ 1 z) in x
13.680 * [taylor]: Taking taylor expansion of z in x
13.680 * [backup-simplify]: Simplify z into z
13.680 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
13.680 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
13.681 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
13.681 * [taylor]: Taking taylor expansion of 4.0 in z
13.681 * [backup-simplify]: Simplify 4.0 into 4.0
13.681 * [taylor]: Taking taylor expansion of 0 in z
13.681 * [backup-simplify]: Simplify 0 into 0
13.681 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
13.681 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
13.681 * [backup-simplify]: Simplify (- 0) into 0
13.681 * [backup-simplify]: Simplify (+ 0 0) into 0
13.682 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (/ 1 x) (/ 1 z))))) into 0
13.683 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (- (/ 1 x) (/ 1 z))) (* 0 0))) into 0
13.683 * [taylor]: Taking taylor expansion of 0 in x
13.683 * [backup-simplify]: Simplify 0 into 0
13.683 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.684 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
13.684 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
13.684 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
13.684 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 z)))) into (- (* 4.0 (/ 1 z)))
13.684 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
13.684 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
13.684 * [taylor]: Taking taylor expansion of 4.0 in z
13.684 * [backup-simplify]: Simplify 4.0 into 4.0
13.684 * [taylor]: Taking taylor expansion of (/ 1 z) in z
13.684 * [taylor]: Taking taylor expansion of z in z
13.684 * [backup-simplify]: Simplify 0 into 0
13.684 * [backup-simplify]: Simplify 1 into 1
13.684 * [backup-simplify]: Simplify (/ 1 1) into 1
13.684 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
13.685 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
13.685 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
13.685 * [taylor]: Taking taylor expansion of 0 in z
13.685 * [backup-simplify]: Simplify 0 into 0
13.685 * [backup-simplify]: Simplify 4.0 into 4.0
13.685 * [backup-simplify]: Simplify 0 into 0
13.685 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
13.686 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
13.686 * [backup-simplify]: Simplify (- 0) into 0
13.686 * [backup-simplify]: Simplify (+ 0 0) into 0
13.688 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 z)))))) into 0
13.689 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 x) (/ 1 z))) (* 0 0)))) into 0
13.689 * [taylor]: Taking taylor expansion of 0 in x
13.689 * [backup-simplify]: Simplify 0 into 0
13.689 * [taylor]: Taking taylor expansion of 0 in z
13.689 * [backup-simplify]: Simplify 0 into 0
13.690 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.691 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
13.691 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
13.692 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ 1 z))) into 0
13.692 * [backup-simplify]: Simplify (- 0) into 0
13.693 * [backup-simplify]: Simplify (+ 0 0) into 0
13.693 * [taylor]: Taking taylor expansion of 0 in z
13.693 * [backup-simplify]: Simplify 0 into 0
13.693 * [taylor]: Taking taylor expansion of 0 in z
13.693 * [backup-simplify]: Simplify 0 into 0
13.694 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.694 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
13.695 * [backup-simplify]: Simplify (- 0) into 0
13.695 * [backup-simplify]: Simplify 0 into 0
13.695 * [backup-simplify]: Simplify 0 into 0
13.695 * [backup-simplify]: Simplify 0 into 0
13.695 * [backup-simplify]: Simplify 0 into 0
13.696 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
13.696 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
13.696 * [backup-simplify]: Simplify (- 0) into 0
13.697 * [backup-simplify]: Simplify (+ 0 0) into 0
13.698 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 z))))))) into 0
13.700 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 x) (/ 1 z))) (* 0 0))))) into 0
13.700 * [taylor]: Taking taylor expansion of 0 in x
13.700 * [backup-simplify]: Simplify 0 into 0
13.700 * [taylor]: Taking taylor expansion of 0 in z
13.700 * [backup-simplify]: Simplify 0 into 0
13.700 * [taylor]: Taking taylor expansion of 0 in z
13.700 * [backup-simplify]: Simplify 0 into 0
13.701 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.702 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.702 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
13.703 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
13.704 * [backup-simplify]: Simplify (- 0) into 0
13.704 * [backup-simplify]: Simplify (+ 0 0) into 0
13.704 * [taylor]: Taking taylor expansion of 0 in z
13.704 * [backup-simplify]: Simplify 0 into 0
13.704 * [taylor]: Taking taylor expansion of 0 in z
13.704 * [backup-simplify]: Simplify 0 into 0
13.704 * [backup-simplify]: Simplify 0 into 0
13.705 * [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)))
13.705 * [backup-simplify]: Simplify (* (/ 4.0 (/ 1 (- y))) (- (/ 1 (- x)) (/ 1 (- z)))) into (* -4.0 (* y (- (/ 1 z) (/ 1 x))))
13.705 * [approximate]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in (y x z) around 0
13.706 * [taylor]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in z
13.706 * [taylor]: Taking taylor expansion of -4.0 in z
13.706 * [backup-simplify]: Simplify -4.0 into -4.0
13.706 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in z
13.706 * [taylor]: Taking taylor expansion of y in z
13.706 * [backup-simplify]: Simplify y into y
13.706 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
13.706 * [taylor]: Taking taylor expansion of (/ 1 z) in z
13.706 * [taylor]: Taking taylor expansion of z in z
13.706 * [backup-simplify]: Simplify 0 into 0
13.706 * [backup-simplify]: Simplify 1 into 1
13.706 * [backup-simplify]: Simplify (/ 1 1) into 1
13.706 * [taylor]: Taking taylor expansion of (/ 1 x) in z
13.706 * [taylor]: Taking taylor expansion of x in z
13.706 * [backup-simplify]: Simplify x into x
13.706 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
13.706 * [taylor]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in x
13.706 * [taylor]: Taking taylor expansion of -4.0 in x
13.707 * [backup-simplify]: Simplify -4.0 into -4.0
13.707 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x
13.707 * [taylor]: Taking taylor expansion of y in x
13.707 * [backup-simplify]: Simplify y into y
13.707 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
13.707 * [taylor]: Taking taylor expansion of (/ 1 z) in x
13.707 * [taylor]: Taking taylor expansion of z in x
13.707 * [backup-simplify]: Simplify z into z
13.707 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
13.707 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.707 * [taylor]: Taking taylor expansion of x in x
13.707 * [backup-simplify]: Simplify 0 into 0
13.707 * [backup-simplify]: Simplify 1 into 1
13.707 * [backup-simplify]: Simplify (/ 1 1) into 1
13.707 * [taylor]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in y
13.707 * [taylor]: Taking taylor expansion of -4.0 in y
13.707 * [backup-simplify]: Simplify -4.0 into -4.0
13.707 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y
13.707 * [taylor]: Taking taylor expansion of y in y
13.707 * [backup-simplify]: Simplify 0 into 0
13.708 * [backup-simplify]: Simplify 1 into 1
13.708 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
13.708 * [taylor]: Taking taylor expansion of (/ 1 z) in y
13.708 * [taylor]: Taking taylor expansion of z in y
13.708 * [backup-simplify]: Simplify z into z
13.708 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
13.708 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.708 * [taylor]: Taking taylor expansion of x in y
13.708 * [backup-simplify]: Simplify x into x
13.708 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
13.708 * [taylor]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in y
13.708 * [taylor]: Taking taylor expansion of -4.0 in y
13.708 * [backup-simplify]: Simplify -4.0 into -4.0
13.708 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y
13.708 * [taylor]: Taking taylor expansion of y in y
13.708 * [backup-simplify]: Simplify 0 into 0
13.708 * [backup-simplify]: Simplify 1 into 1
13.708 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
13.708 * [taylor]: Taking taylor expansion of (/ 1 z) in y
13.708 * [taylor]: Taking taylor expansion of z in y
13.708 * [backup-simplify]: Simplify z into z
13.709 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
13.709 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.709 * [taylor]: Taking taylor expansion of x in y
13.709 * [backup-simplify]: Simplify x into x
13.709 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
13.709 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
13.709 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
13.709 * [backup-simplify]: Simplify (* 0 (- (/ 1 z) (/ 1 x))) into 0
13.710 * [backup-simplify]: Simplify (* -4.0 0) into 0
13.710 * [taylor]: Taking taylor expansion of 0 in x
13.710 * [backup-simplify]: Simplify 0 into 0
13.710 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
13.710 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
13.710 * [backup-simplify]: Simplify (- 0) into 0
13.711 * [backup-simplify]: Simplify (+ 0 0) into 0
13.711 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (/ 1 z) (/ 1 x)))) into (- (/ 1 z) (/ 1 x))
13.712 * [backup-simplify]: Simplify (+ (* -4.0 (- (/ 1 z) (/ 1 x))) (* 0 0)) into (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 z)))
13.712 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 z))) in x
13.712 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
13.712 * [taylor]: Taking taylor expansion of 4.0 in x
13.712 * [backup-simplify]: Simplify 4.0 into 4.0
13.712 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.712 * [taylor]: Taking taylor expansion of x in x
13.712 * [backup-simplify]: Simplify 0 into 0
13.712 * [backup-simplify]: Simplify 1 into 1
13.713 * [backup-simplify]: Simplify (/ 1 1) into 1
13.713 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in x
13.713 * [taylor]: Taking taylor expansion of 4.0 in x
13.713 * [backup-simplify]: Simplify 4.0 into 4.0
13.713 * [taylor]: Taking taylor expansion of (/ 1 z) in x
13.713 * [taylor]: Taking taylor expansion of z in x
13.713 * [backup-simplify]: Simplify z into z
13.713 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
13.713 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
13.714 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
13.714 * [taylor]: Taking taylor expansion of 4.0 in z
13.714 * [backup-simplify]: Simplify 4.0 into 4.0
13.714 * [taylor]: Taking taylor expansion of 0 in z
13.714 * [backup-simplify]: Simplify 0 into 0
13.714 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
13.714 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
13.715 * [backup-simplify]: Simplify (- 0) into 0
13.715 * [backup-simplify]: Simplify (+ 0 0) into 0
13.716 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (/ 1 z) (/ 1 x))))) into 0
13.717 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 (- (/ 1 z) (/ 1 x))) (* 0 0))) into 0
13.717 * [taylor]: Taking taylor expansion of 0 in x
13.717 * [backup-simplify]: Simplify 0 into 0
13.718 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.719 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
13.719 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
13.719 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
13.719 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 z)))) into (- (* 4.0 (/ 1 z)))
13.719 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
13.719 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
13.719 * [taylor]: Taking taylor expansion of 4.0 in z
13.719 * [backup-simplify]: Simplify 4.0 into 4.0
13.719 * [taylor]: Taking taylor expansion of (/ 1 z) in z
13.719 * [taylor]: Taking taylor expansion of z in z
13.719 * [backup-simplify]: Simplify 0 into 0
13.719 * [backup-simplify]: Simplify 1 into 1
13.720 * [backup-simplify]: Simplify (/ 1 1) into 1
13.720 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
13.721 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
13.721 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
13.721 * [taylor]: Taking taylor expansion of 0 in z
13.721 * [backup-simplify]: Simplify 0 into 0
13.721 * [backup-simplify]: Simplify 4.0 into 4.0
13.721 * [backup-simplify]: Simplify 0 into 0
13.721 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
13.722 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
13.722 * [backup-simplify]: Simplify (- 0) into 0
13.722 * [backup-simplify]: Simplify (+ 0 0) into 0
13.724 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x)))))) into 0
13.725 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 z) (/ 1 x))) (* 0 0)))) into 0
13.725 * [taylor]: Taking taylor expansion of 0 in x
13.725 * [backup-simplify]: Simplify 0 into 0
13.725 * [taylor]: Taking taylor expansion of 0 in z
13.725 * [backup-simplify]: Simplify 0 into 0
13.726 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.727 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
13.727 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
13.728 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ 1 z))) into 0
13.728 * [backup-simplify]: Simplify (- 0) into 0
13.729 * [backup-simplify]: Simplify (+ 0 0) into 0
13.729 * [taylor]: Taking taylor expansion of 0 in z
13.729 * [backup-simplify]: Simplify 0 into 0
13.729 * [taylor]: Taking taylor expansion of 0 in z
13.729 * [backup-simplify]: Simplify 0 into 0
13.729 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.730 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
13.730 * [backup-simplify]: Simplify (- 0) into 0
13.730 * [backup-simplify]: Simplify 0 into 0
13.730 * [backup-simplify]: Simplify 0 into 0
13.730 * [backup-simplify]: Simplify 0 into 0
13.730 * [backup-simplify]: Simplify 0 into 0
13.730 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
13.730 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
13.731 * [backup-simplify]: Simplify (- 0) into 0
13.731 * [backup-simplify]: Simplify (+ 0 0) into 0
13.732 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x))))))) into 0
13.733 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 z) (/ 1 x))) (* 0 0))))) into 0
13.733 * [taylor]: Taking taylor expansion of 0 in x
13.733 * [backup-simplify]: Simplify 0 into 0
13.733 * [taylor]: Taking taylor expansion of 0 in z
13.733 * [backup-simplify]: Simplify 0 into 0
13.733 * [taylor]: Taking taylor expansion of 0 in z
13.733 * [backup-simplify]: Simplify 0 into 0
13.734 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.734 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.734 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
13.735 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
13.735 * [backup-simplify]: Simplify (- 0) into 0
13.736 * [backup-simplify]: Simplify (+ 0 0) into 0
13.736 * [taylor]: Taking taylor expansion of 0 in z
13.736 * [backup-simplify]: Simplify 0 into 0
13.736 * [taylor]: Taking taylor expansion of 0 in z
13.736 * [backup-simplify]: Simplify 0 into 0
13.736 * [backup-simplify]: Simplify 0 into 0
13.736 * [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)))
13.736 * * * [progress]: simplifying candidates
13.737 * [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)))
13.738 * * [simplify]: Extracting # 0 : cost  0
13.738 * * [simplify]: Extracting # 1 : cost  0
13.738 * * [simplify]: Extracting # 2 : cost  0
13.738 * * [simplify]: Extracting # 3 : cost  0
13.738 * * [simplify]: Extracting # 4 : cost  0
13.739 * * [simplify]: Extracting # 5 : cost  0
13.739 * * [simplify]: Extracting # 6 : cost  0
13.739 * * [simplify]: iteration  0 :  99  enodes  (cost  475 )
13.772 * * [simplify]: Extracting # 0 : cost  0
13.773 * * [simplify]: Extracting # 1 : cost  0
13.773 * * [simplify]: Extracting # 2 : cost  0
13.774 * * [simplify]: Extracting # 3 : cost  0
13.774 * * [simplify]: iteration  1 :  257  enodes  (cost  460 )
13.948 * * [simplify]: Extracting # 0 : cost  0
13.950 * * [simplify]: Extracting # 1 : cost  0
13.952 * * [simplify]: Extracting # 2 : cost  0
13.954 * * [simplify]: Extracting # 3 : cost  0
13.956 * * [simplify]: Extracting # 4 : cost  0
13.957 * * [simplify]: iteration  2 :  817  enodes  (cost  410 )
14.888 * * [simplify]: Extracting # 0 : cost  0
14.896 * * [simplify]: Extracting # 1 : cost  0
14.902 * * [simplify]: Extracting # 2 : cost  0
14.912 * * [simplify]: Extracting # 3 : cost  0
14.918 * * [simplify]: Extracting # 4 : cost  0
14.924 * * [simplify]: iteration  3 :  2804  enodes  (cost  410 )
16.197 * * [simplify]: Extracting # 0 : cost  0
16.208 * * [simplify]: Extracting # 1 : cost  0
16.220 * * [simplify]: Extracting # 2 : cost  0
16.231 * * [simplify]: Extracting # 3 : cost  0
16.242 * * [simplify]: Extracting # 4 : cost  0
16.253 * * [simplify]: iteration done:  5002  enodes  (cost  410 )
16.254 * [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.254 * * * [progress]: adding candidates to table
16.449 * [progress]: [Phase 3 of 3] Extracting.
16.449 * * [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)))))>)
16.450 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
16.450 * * * * [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)))))>)
16.477 * * * * [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)))))>)
16.503 * * * * [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)))))>)
16.528 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
16.528 * [simplify]: Simplifying:
  (+ 2.0 (* 4.0 (- (/ x y) (/ z y))))
16.529 * * [simplify]: Extracting # 0 : cost  0
16.529 * * [simplify]: Extracting # 1 : cost  0
16.529 * * [simplify]: Extracting # 2 : cost  0
16.529 * * [simplify]: Extracting # 3 : cost  0
16.529 * * [simplify]: Extracting # 4 : cost  0
16.529 * * [simplify]: Extracting # 5 : cost  0
16.529 * * [simplify]: Extracting # 6 : cost  0
16.529 * * [simplify]: iteration  0 :  10  enodes  (cost  11 )
16.530 * * [simplify]: Extracting # 0 : cost  0
16.530 * * [simplify]: iteration  1 :  12  enodes  (cost  11 )
16.531 * * [simplify]: Extracting # 0 : cost  0
16.531 * * [simplify]: iteration done:  12  enodes  (cost  11 )
16.531 * [simplify]: Simplified to:
  (+ 2.0 (* 4.0 (- (/ x y) (/ z y))))
18.021 * [regime-testing]: Baseline error score: 0.0084491764596476
18.025 * [regime-testing]: Oracle error score: 0.004073629516279679
18.029 * [regime-testing]: End program error score: 0.0084491764596476