28.661 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.047 * * * [progress]: [2/2] Setting up program.
0.050 * [progress]: [Phase 2 of 3] Improving.
0.050 * [simplify]: Simplifying:
  (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))
0.050 * * [simplify]: Extracting # 0 : cost  0
0.050 * * [simplify]: Extracting # 1 : cost  0
0.051 * * [simplify]: Extracting # 2 : cost  0
0.051 * * [simplify]: Extracting # 3 : cost  0
0.051 * * [simplify]: Extracting # 4 : cost  0
0.051 * * [simplify]: Extracting # 5 : cost  0
0.051 * * [simplify]: Extracting # 6 : cost  0
0.051 * * [simplify]: Extracting # 7 : cost  0
0.051 * * [simplify]: iteration  0 :  12  enodes  (cost  13 )
0.054 * * [simplify]: Extracting # 0 : cost  0
0.054 * * [simplify]: Extracting # 1 : cost  0
0.054 * * [simplify]: Extracting # 2 : cost  0
0.054 * * [simplify]: iteration  1 :  22  enodes  (cost  13 )
0.061 * * [simplify]: Extracting # 0 : cost  0
0.061 * * [simplify]: Extracting # 1 : cost  0
0.061 * * [simplify]: Extracting # 2 : cost  0
0.061 * * [simplify]: iteration  2 :  46  enodes  (cost  13 )
0.080 * * [simplify]: Extracting # 0 : cost  0
0.081 * * [simplify]: Extracting # 1 : cost  0
0.081 * * [simplify]: Extracting # 2 : cost  0
0.081 * * [simplify]: iteration  3 :  109  enodes  (cost  13 )
0.144 * * [simplify]: Extracting # 0 : cost  0
0.145 * * [simplify]: Extracting # 1 : cost  0
0.146 * * [simplify]: Extracting # 2 : cost  0
0.146 * * [simplify]: iteration  4 :  232  enodes  (cost  13 )
0.242 * * [simplify]: Extracting # 0 : cost  0
0.242 * * [simplify]: Extracting # 1 : cost  0
0.243 * * [simplify]: Extracting # 2 : cost  0
0.243 * * [simplify]: iteration  5 :  364  enodes  (cost  13 )
0.393 * * [simplify]: Extracting # 0 : cost  0
0.394 * * [simplify]: Extracting # 1 : cost  0
0.395 * * [simplify]: Extracting # 2 : cost  0
0.395 * * [simplify]: iteration  6 :  485  enodes  (cost  13 )
0.563 * * [simplify]: Extracting # 0 : cost  0
0.564 * * [simplify]: Extracting # 1 : cost  0
0.564 * * [simplify]: Extracting # 2 : cost  0
0.565 * * [simplify]: Extracting # 3 : cost  0
0.565 * * [simplify]: iteration  7 :  648  enodes  (cost  11 )
0.943 * * [simplify]: Extracting # 0 : cost  0
0.945 * * [simplify]: Extracting # 1 : cost  0
0.947 * * [simplify]: Extracting # 2 : cost  0
0.949 * * [simplify]: Extracting # 3 : cost  0
0.951 * * [simplify]: iteration  8 :  1081  enodes  (cost  11 )
2.286 * * [simplify]: Extracting # 0 : cost  0
2.290 * * [simplify]: Extracting # 1 : cost  0
2.293 * * [simplify]: Extracting # 2 : cost  0
2.295 * * [simplify]: iteration  9 :  2451  enodes  (cost  11 )
6.008 * * [simplify]: Extracting # 0 : cost  0
6.022 * * [simplify]: Extracting # 1 : cost  0
6.028 * * [simplify]: Extracting # 2 : cost  0
6.033 * * [simplify]: Extracting # 3 : cost  0
6.037 * * [simplify]: iteration done:  5001  enodes  (cost  11 )
6.037 * [simplify]: Simplified to:
  (+ 1.0 (* (+ (/ (- x z) y) 0.25) 4.0))
6.040 * * [progress]: iteration 1 / 4
6.040 * * * [progress]: picking best candidate
6.043 * * * * [pick]: Picked  #<alt (λ (x y z) (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)))>
6.043 * * * [progress]: localizing error
6.054 * * * [progress]: generating rewritten candidates
6.054 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
6.096 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
6.116 * * * [progress]: generating series expansions
6.116 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
6.116 * [backup-simplify]: Simplify (/ (* 4.0 (- (+ x (* y 0.25)) z)) y) into (* 4.0 (/ (- (+ x (* 0.25 y)) z) y))
6.116 * [approximate]: Taking taylor expansion of (* 4.0 (/ (- (+ x (* 0.25 y)) z) y)) in (x y z) around 0
6.116 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (+ x (* 0.25 y)) z) y)) in z
6.116 * [taylor]: Taking taylor expansion of 4.0 in z
6.116 * [backup-simplify]: Simplify 4.0 into 4.0
6.116 * [taylor]: Taking taylor expansion of (/ (- (+ x (* 0.25 y)) z) y) in z
6.116 * [taylor]: Taking taylor expansion of (- (+ x (* 0.25 y)) z) in z
6.116 * [taylor]: Taking taylor expansion of (+ x (* 0.25 y)) in z
6.116 * [taylor]: Taking taylor expansion of x in z
6.116 * [backup-simplify]: Simplify x into x
6.116 * [taylor]: Taking taylor expansion of (* 0.25 y) in z
6.116 * [taylor]: Taking taylor expansion of 0.25 in z
6.116 * [backup-simplify]: Simplify 0.25 into 0.25
6.116 * [taylor]: Taking taylor expansion of y in z
6.116 * [backup-simplify]: Simplify y into y
6.116 * [taylor]: Taking taylor expansion of z in z
6.116 * [backup-simplify]: Simplify 0 into 0
6.116 * [backup-simplify]: Simplify 1 into 1
6.117 * [taylor]: Taking taylor expansion of y in z
6.117 * [backup-simplify]: Simplify y into y
6.117 * [backup-simplify]: Simplify (* 0.25 y) into (* 0.25 y)
6.117 * [backup-simplify]: Simplify (+ x (* 0.25 y)) into (+ x (* 0.25 y))
6.117 * [backup-simplify]: Simplify (- 0) into 0
6.117 * [backup-simplify]: Simplify (+ (+ x (* 0.25 y)) 0) into (+ x (* 0.25 y))
6.117 * [backup-simplify]: Simplify (/ (+ x (* 0.25 y)) y) into (/ (+ x (* 0.25 y)) y)
6.117 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (+ x (* 0.25 y)) z) y)) in y
6.117 * [taylor]: Taking taylor expansion of 4.0 in y
6.117 * [backup-simplify]: Simplify 4.0 into 4.0
6.117 * [taylor]: Taking taylor expansion of (/ (- (+ x (* 0.25 y)) z) y) in y
6.117 * [taylor]: Taking taylor expansion of (- (+ x (* 0.25 y)) z) in y
6.117 * [taylor]: Taking taylor expansion of (+ x (* 0.25 y)) in y
6.117 * [taylor]: Taking taylor expansion of x in y
6.118 * [backup-simplify]: Simplify x into x
6.118 * [taylor]: Taking taylor expansion of (* 0.25 y) in y
6.118 * [taylor]: Taking taylor expansion of 0.25 in y
6.118 * [backup-simplify]: Simplify 0.25 into 0.25
6.118 * [taylor]: Taking taylor expansion of y in y
6.118 * [backup-simplify]: Simplify 0 into 0
6.118 * [backup-simplify]: Simplify 1 into 1
6.118 * [taylor]: Taking taylor expansion of z in y
6.118 * [backup-simplify]: Simplify z into z
6.118 * [taylor]: Taking taylor expansion of y in y
6.118 * [backup-simplify]: Simplify 0 into 0
6.118 * [backup-simplify]: Simplify 1 into 1
6.118 * [backup-simplify]: Simplify (* 0.25 0) into 0
6.118 * [backup-simplify]: Simplify (+ x 0) into x
6.118 * [backup-simplify]: Simplify (- z) into (- z)
6.118 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
6.118 * [backup-simplify]: Simplify (/ (- x z) 1) into (- x z)
6.118 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (+ x (* 0.25 y)) z) y)) in x
6.118 * [taylor]: Taking taylor expansion of 4.0 in x
6.118 * [backup-simplify]: Simplify 4.0 into 4.0
6.118 * [taylor]: Taking taylor expansion of (/ (- (+ x (* 0.25 y)) z) y) in x
6.118 * [taylor]: Taking taylor expansion of (- (+ x (* 0.25 y)) z) in x
6.118 * [taylor]: Taking taylor expansion of (+ x (* 0.25 y)) in x
6.118 * [taylor]: Taking taylor expansion of x in x
6.118 * [backup-simplify]: Simplify 0 into 0
6.118 * [backup-simplify]: Simplify 1 into 1
6.118 * [taylor]: Taking taylor expansion of (* 0.25 y) in x
6.118 * [taylor]: Taking taylor expansion of 0.25 in x
6.118 * [backup-simplify]: Simplify 0.25 into 0.25
6.118 * [taylor]: Taking taylor expansion of y in x
6.118 * [backup-simplify]: Simplify y into y
6.118 * [taylor]: Taking taylor expansion of z in x
6.118 * [backup-simplify]: Simplify z into z
6.118 * [taylor]: Taking taylor expansion of y in x
6.118 * [backup-simplify]: Simplify y into y
6.119 * [backup-simplify]: Simplify (* 0.25 y) into (* 0.25 y)
6.119 * [backup-simplify]: Simplify (+ 0 (* 0.25 y)) into (* 0.25 y)
6.119 * [backup-simplify]: Simplify (- z) into (- z)
6.119 * [backup-simplify]: Simplify (+ (* 0.25 y) (- z)) into (- (* 0.25 y) z)
6.119 * [backup-simplify]: Simplify (/ (- (* 0.25 y) z) y) into (/ (- (* 0.25 y) z) y)
6.119 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (+ x (* 0.25 y)) z) y)) in x
6.119 * [taylor]: Taking taylor expansion of 4.0 in x
6.119 * [backup-simplify]: Simplify 4.0 into 4.0
6.119 * [taylor]: Taking taylor expansion of (/ (- (+ x (* 0.25 y)) z) y) in x
6.119 * [taylor]: Taking taylor expansion of (- (+ x (* 0.25 y)) z) in x
6.119 * [taylor]: Taking taylor expansion of (+ x (* 0.25 y)) in x
6.119 * [taylor]: Taking taylor expansion of x in x
6.119 * [backup-simplify]: Simplify 0 into 0
6.119 * [backup-simplify]: Simplify 1 into 1
6.119 * [taylor]: Taking taylor expansion of (* 0.25 y) in x
6.119 * [taylor]: Taking taylor expansion of 0.25 in x
6.119 * [backup-simplify]: Simplify 0.25 into 0.25
6.119 * [taylor]: Taking taylor expansion of y in x
6.119 * [backup-simplify]: Simplify y into y
6.119 * [taylor]: Taking taylor expansion of z in x
6.119 * [backup-simplify]: Simplify z into z
6.119 * [taylor]: Taking taylor expansion of y in x
6.119 * [backup-simplify]: Simplify y into y
6.119 * [backup-simplify]: Simplify (* 0.25 y) into (* 0.25 y)
6.119 * [backup-simplify]: Simplify (+ 0 (* 0.25 y)) into (* 0.25 y)
6.119 * [backup-simplify]: Simplify (- z) into (- z)
6.119 * [backup-simplify]: Simplify (+ (* 0.25 y) (- z)) into (- (* 0.25 y) z)
6.119 * [backup-simplify]: Simplify (/ (- (* 0.25 y) z) y) into (/ (- (* 0.25 y) z) y)
6.120 * [backup-simplify]: Simplify (* 4.0 (/ (- (* 0.25 y) z) y)) into (* 4.0 (/ (- (* 0.25 y) z) y))
6.120 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (* 0.25 y) z) y)) in y
6.120 * [taylor]: Taking taylor expansion of 4.0 in y
6.120 * [backup-simplify]: Simplify 4.0 into 4.0
6.120 * [taylor]: Taking taylor expansion of (/ (- (* 0.25 y) z) y) in y
6.120 * [taylor]: Taking taylor expansion of (- (* 0.25 y) z) in y
6.120 * [taylor]: Taking taylor expansion of (* 0.25 y) in y
6.120 * [taylor]: Taking taylor expansion of 0.25 in y
6.120 * [backup-simplify]: Simplify 0.25 into 0.25
6.120 * [taylor]: Taking taylor expansion of y in y
6.120 * [backup-simplify]: Simplify 0 into 0
6.120 * [backup-simplify]: Simplify 1 into 1
6.120 * [taylor]: Taking taylor expansion of z in y
6.120 * [backup-simplify]: Simplify z into z
6.120 * [taylor]: Taking taylor expansion of y in y
6.120 * [backup-simplify]: Simplify 0 into 0
6.120 * [backup-simplify]: Simplify 1 into 1
6.120 * [backup-simplify]: Simplify (* 0.25 0) into 0
6.120 * [backup-simplify]: Simplify (- z) into (- z)
6.120 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
6.120 * [backup-simplify]: Simplify (/ (- z) 1) into (* -1 z)
6.120 * [backup-simplify]: Simplify (* 4.0 (* -1 z)) into (* -4.0 z)
6.120 * [taylor]: Taking taylor expansion of (* -4.0 z) in z
6.120 * [taylor]: Taking taylor expansion of -4.0 in z
6.120 * [backup-simplify]: Simplify -4.0 into -4.0
6.120 * [taylor]: Taking taylor expansion of z in z
6.120 * [backup-simplify]: Simplify 0 into 0
6.120 * [backup-simplify]: Simplify 1 into 1
6.121 * [backup-simplify]: Simplify (* -4.0 0) into 0
6.121 * [backup-simplify]: Simplify 0 into 0
6.121 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 y)) into 0
6.121 * [backup-simplify]: Simplify (+ 1 0) into 1
6.122 * [backup-simplify]: Simplify (- 0) into 0
6.122 * [backup-simplify]: Simplify (+ 1 0) into 1
6.122 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* (/ (- (* 0.25 y) z) y) (/ 0 y)))) into (/ 1 y)
6.122 * [backup-simplify]: Simplify (+ (* 4.0 (/ 1 y)) (* 0 (/ (- (* 0.25 y) z) y))) into (* 4.0 (/ 1 y))
6.122 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
6.122 * [taylor]: Taking taylor expansion of 4.0 in y
6.122 * [backup-simplify]: Simplify 4.0 into 4.0
6.122 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.122 * [taylor]: Taking taylor expansion of y in y
6.122 * [backup-simplify]: Simplify 0 into 0
6.122 * [backup-simplify]: Simplify 1 into 1
6.123 * [backup-simplify]: Simplify (/ 1 1) into 1
6.123 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
6.123 * [taylor]: Taking taylor expansion of 4.0 in z
6.123 * [backup-simplify]: Simplify 4.0 into 4.0
6.123 * [backup-simplify]: Simplify 4.0 into 4.0
6.124 * [backup-simplify]: Simplify (+ (* 0.25 1) (* 0 0)) into 0.25
6.124 * [backup-simplify]: Simplify (- 0) into 0
6.125 * [backup-simplify]: Simplify (+ 0.25 0) into 0.25
6.125 * [backup-simplify]: Simplify (- (/ 0.25 1) (+ (* (* -1 z) (/ 0 1)))) into 0.25
6.125 * [backup-simplify]: Simplify (+ (* 4.0 0.25) (* 0 (* -1 z))) into 1.0
6.125 * [taylor]: Taking taylor expansion of 1.0 in z
6.126 * [backup-simplify]: Simplify 1.0 into 1.0
6.126 * [backup-simplify]: Simplify 1.0 into 1.0
6.126 * [backup-simplify]: Simplify (+ (* -4.0 1) (* 0 0)) into (- 4.0)
6.127 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.127 * [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.127 * [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.127 * [approximate]: Taking taylor expansion of (* 4.0 (* (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) y)) in (x y z) around 0
6.127 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) y)) in z
6.127 * [taylor]: Taking taylor expansion of 4.0 in z
6.128 * [backup-simplify]: Simplify 4.0 into 4.0
6.128 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) y) in z
6.128 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) in z
6.128 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 y)) (/ 1 x)) in z
6.128 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 y)) in z
6.128 * [taylor]: Taking taylor expansion of 0.25 in z
6.128 * [backup-simplify]: Simplify 0.25 into 0.25
6.128 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.128 * [taylor]: Taking taylor expansion of y in z
6.128 * [backup-simplify]: Simplify y into y
6.128 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.128 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.128 * [taylor]: Taking taylor expansion of x in z
6.128 * [backup-simplify]: Simplify x into x
6.128 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.128 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.128 * [taylor]: Taking taylor expansion of z in z
6.128 * [backup-simplify]: Simplify 0 into 0
6.128 * [backup-simplify]: Simplify 1 into 1
6.128 * [backup-simplify]: Simplify (/ 1 1) into 1
6.128 * [taylor]: Taking taylor expansion of y in z
6.128 * [backup-simplify]: Simplify y into y
6.128 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) y)) in y
6.128 * [taylor]: Taking taylor expansion of 4.0 in y
6.128 * [backup-simplify]: Simplify 4.0 into 4.0
6.128 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) y) in y
6.128 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) in y
6.128 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 y)) (/ 1 x)) in y
6.128 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 y)) in y
6.128 * [taylor]: Taking taylor expansion of 0.25 in y
6.128 * [backup-simplify]: Simplify 0.25 into 0.25
6.128 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.128 * [taylor]: Taking taylor expansion of y in y
6.128 * [backup-simplify]: Simplify 0 into 0
6.128 * [backup-simplify]: Simplify 1 into 1
6.129 * [backup-simplify]: Simplify (/ 1 1) into 1
6.129 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.129 * [taylor]: Taking taylor expansion of x in y
6.129 * [backup-simplify]: Simplify x into x
6.129 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.129 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.129 * [taylor]: Taking taylor expansion of z in y
6.129 * [backup-simplify]: Simplify z into z
6.129 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.129 * [taylor]: Taking taylor expansion of y in y
6.129 * [backup-simplify]: Simplify 0 into 0
6.129 * [backup-simplify]: Simplify 1 into 1
6.129 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) y)) in x
6.129 * [taylor]: Taking taylor expansion of 4.0 in x
6.129 * [backup-simplify]: Simplify 4.0 into 4.0
6.129 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) y) in x
6.129 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) in x
6.129 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 y)) (/ 1 x)) in x
6.129 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 y)) in x
6.129 * [taylor]: Taking taylor expansion of 0.25 in x
6.129 * [backup-simplify]: Simplify 0.25 into 0.25
6.129 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.129 * [taylor]: Taking taylor expansion of y in x
6.129 * [backup-simplify]: Simplify y into y
6.129 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.129 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.129 * [taylor]: Taking taylor expansion of x in x
6.129 * [backup-simplify]: Simplify 0 into 0
6.129 * [backup-simplify]: Simplify 1 into 1
6.129 * [backup-simplify]: Simplify (/ 1 1) into 1
6.130 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.130 * [taylor]: Taking taylor expansion of z in x
6.130 * [backup-simplify]: Simplify z into z
6.130 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.130 * [taylor]: Taking taylor expansion of y in x
6.130 * [backup-simplify]: Simplify y into y
6.130 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) y)) in x
6.130 * [taylor]: Taking taylor expansion of 4.0 in x
6.130 * [backup-simplify]: Simplify 4.0 into 4.0
6.130 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) y) in x
6.130 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 y)) (/ 1 x)) (/ 1 z)) in x
6.130 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 y)) (/ 1 x)) in x
6.130 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 y)) in x
6.130 * [taylor]: Taking taylor expansion of 0.25 in x
6.130 * [backup-simplify]: Simplify 0.25 into 0.25
6.130 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.130 * [taylor]: Taking taylor expansion of y in x
6.130 * [backup-simplify]: Simplify y into y
6.130 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.130 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.130 * [taylor]: Taking taylor expansion of x in x
6.130 * [backup-simplify]: Simplify 0 into 0
6.130 * [backup-simplify]: Simplify 1 into 1
6.130 * [backup-simplify]: Simplify (/ 1 1) into 1
6.130 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.130 * [taylor]: Taking taylor expansion of z in x
6.130 * [backup-simplify]: Simplify z into z
6.130 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.130 * [taylor]: Taking taylor expansion of y in x
6.130 * [backup-simplify]: Simplify y into y
6.131 * [backup-simplify]: Simplify (+ 0 1) into 1
6.131 * [backup-simplify]: Simplify (+ 1 0) into 1
6.131 * [backup-simplify]: Simplify (* 1 y) into y
6.131 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
6.131 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
6.131 * [taylor]: Taking taylor expansion of 4.0 in y
6.131 * [backup-simplify]: Simplify 4.0 into 4.0
6.131 * [taylor]: Taking taylor expansion of y in y
6.131 * [backup-simplify]: Simplify 0 into 0
6.131 * [backup-simplify]: Simplify 1 into 1
6.131 * [backup-simplify]: Simplify (* 0.25 (/ 1 y)) into (/ 0.25 y)
6.132 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.132 * [backup-simplify]: Simplify (+ (/ 0.25 y) 0) into (* 0.25 (/ 1 y))
6.132 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
6.132 * [backup-simplify]: Simplify (+ (* 0.25 (/ 1 y)) (- (/ 1 z))) into (- (* 0.25 (/ 1 y)) (/ 1 z))
6.133 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (* 0.25 (/ 1 y)) (/ 1 z)) y)) into (- 0.25 (/ y z))
6.133 * [backup-simplify]: Simplify (+ (* 4.0 (- 0.25 (/ y z))) (* 0 y)) into (- 1.0 (* 4.0 (/ y z)))
6.133 * [taylor]: Taking taylor expansion of (- 1.0 (* 4.0 (/ y z))) in y
6.133 * [taylor]: Taking taylor expansion of 1.0 in y
6.133 * [backup-simplify]: Simplify 1.0 into 1.0
6.133 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
6.133 * [taylor]: Taking taylor expansion of 4.0 in y
6.133 * [backup-simplify]: Simplify 4.0 into 4.0
6.133 * [taylor]: Taking taylor expansion of (/ y z) in y
6.133 * [taylor]: Taking taylor expansion of y in y
6.133 * [backup-simplify]: Simplify 0 into 0
6.133 * [backup-simplify]: Simplify 1 into 1
6.133 * [taylor]: Taking taylor expansion of z in y
6.133 * [backup-simplify]: Simplify z into z
6.133 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.133 * [backup-simplify]: Simplify (* 4.0 0) into 0
6.133 * [taylor]: Taking taylor expansion of 0 in z
6.133 * [backup-simplify]: Simplify 0 into 0
6.133 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.134 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 y))) into 0
6.134 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.135 * [backup-simplify]: Simplify (+ 0 0) into 0
6.135 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
6.135 * [backup-simplify]: Simplify (- 0) into 0
6.135 * [backup-simplify]: Simplify (+ 0 0) into 0
6.136 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (* 0.25 (/ 1 y)) (/ 1 z)) 0) (* 0 y))) into 0
6.136 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (- 0.25 (/ y z))) (* 0 y))) into 0
6.136 * [taylor]: Taking taylor expansion of 0 in y
6.136 * [backup-simplify]: Simplify 0 into 0
6.136 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.136 * [taylor]: Taking taylor expansion of 1.0 in z
6.136 * [backup-simplify]: Simplify 1.0 into 1.0
6.137 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
6.137 * [taylor]: Taking taylor expansion of 4.0 in z
6.137 * [backup-simplify]: Simplify 4.0 into 4.0
6.137 * [backup-simplify]: Simplify 0 into 0
6.137 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.138 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
6.138 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.139 * [backup-simplify]: Simplify (+ 0 0) into 0
6.139 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
6.139 * [backup-simplify]: Simplify (- 0) into 0
6.139 * [backup-simplify]: Simplify (+ 0 0) into 0
6.140 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (* 0.25 (/ 1 y)) (/ 1 z)) 0) (+ (* 0 0) (* 0 y)))) into 0
6.140 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 (- 0.25 (/ y z))) (* 0 y)))) into 0
6.141 * [taylor]: Taking taylor expansion of 0 in y
6.141 * [backup-simplify]: Simplify 0 into 0
6.141 * [taylor]: Taking taylor expansion of 0 in z
6.141 * [backup-simplify]: Simplify 0 into 0
6.141 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
6.141 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
6.141 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 z)))) into (- (* 4.0 (/ 1 z)))
6.141 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
6.141 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
6.141 * [taylor]: Taking taylor expansion of 4.0 in z
6.141 * [backup-simplify]: Simplify 4.0 into 4.0
6.141 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.141 * [taylor]: Taking taylor expansion of z in z
6.141 * [backup-simplify]: Simplify 0 into 0
6.141 * [backup-simplify]: Simplify 1 into 1
6.141 * [backup-simplify]: Simplify (/ 1 1) into 1
6.142 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
6.142 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.142 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.143 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
6.143 * [taylor]: Taking taylor expansion of 0 in z
6.143 * [backup-simplify]: Simplify 0 into 0
6.143 * [backup-simplify]: Simplify 1.0 into 1.0
6.143 * [backup-simplify]: Simplify 4.0 into 4.0
6.143 * [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.144 * [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.144 * [approximate]: Taking taylor expansion of (* -4.0 (* (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) y)) in (x y z) around 0
6.144 * [taylor]: Taking taylor expansion of (* -4.0 (* (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) y)) in z
6.144 * [taylor]: Taking taylor expansion of -4.0 in z
6.144 * [backup-simplify]: Simplify -4.0 into -4.0
6.144 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) y) in z
6.144 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) in z
6.144 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.144 * [taylor]: Taking taylor expansion of z in z
6.144 * [backup-simplify]: Simplify 0 into 0
6.144 * [backup-simplify]: Simplify 1 into 1
6.144 * [backup-simplify]: Simplify (/ 1 1) into 1
6.144 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 y)) (/ 1 x)) in z
6.144 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 y)) in z
6.144 * [taylor]: Taking taylor expansion of 0.25 in z
6.144 * [backup-simplify]: Simplify 0.25 into 0.25
6.144 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.144 * [taylor]: Taking taylor expansion of y in z
6.144 * [backup-simplify]: Simplify y into y
6.144 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.144 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.144 * [taylor]: Taking taylor expansion of x in z
6.144 * [backup-simplify]: Simplify x into x
6.144 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.144 * [taylor]: Taking taylor expansion of y in z
6.144 * [backup-simplify]: Simplify y into y
6.144 * [taylor]: Taking taylor expansion of (* -4.0 (* (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) y)) in y
6.145 * [taylor]: Taking taylor expansion of -4.0 in y
6.145 * [backup-simplify]: Simplify -4.0 into -4.0
6.145 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) y) in y
6.145 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) in y
6.145 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.145 * [taylor]: Taking taylor expansion of z in y
6.145 * [backup-simplify]: Simplify z into z
6.145 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.145 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 y)) (/ 1 x)) in y
6.145 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 y)) in y
6.145 * [taylor]: Taking taylor expansion of 0.25 in y
6.145 * [backup-simplify]: Simplify 0.25 into 0.25
6.145 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.145 * [taylor]: Taking taylor expansion of y in y
6.145 * [backup-simplify]: Simplify 0 into 0
6.145 * [backup-simplify]: Simplify 1 into 1
6.145 * [backup-simplify]: Simplify (/ 1 1) into 1
6.145 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.145 * [taylor]: Taking taylor expansion of x in y
6.145 * [backup-simplify]: Simplify x into x
6.145 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.145 * [taylor]: Taking taylor expansion of y in y
6.145 * [backup-simplify]: Simplify 0 into 0
6.145 * [backup-simplify]: Simplify 1 into 1
6.145 * [taylor]: Taking taylor expansion of (* -4.0 (* (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) y)) in x
6.145 * [taylor]: Taking taylor expansion of -4.0 in x
6.145 * [backup-simplify]: Simplify -4.0 into -4.0
6.145 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) y) in x
6.145 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) in x
6.145 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.145 * [taylor]: Taking taylor expansion of z in x
6.145 * [backup-simplify]: Simplify z into z
6.145 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.145 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 y)) (/ 1 x)) in x
6.145 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 y)) in x
6.146 * [taylor]: Taking taylor expansion of 0.25 in x
6.146 * [backup-simplify]: Simplify 0.25 into 0.25
6.146 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.146 * [taylor]: Taking taylor expansion of y in x
6.146 * [backup-simplify]: Simplify y into y
6.146 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.146 * [taylor]: Taking taylor expansion of x in x
6.146 * [backup-simplify]: Simplify 0 into 0
6.146 * [backup-simplify]: Simplify 1 into 1
6.146 * [backup-simplify]: Simplify (/ 1 1) into 1
6.146 * [taylor]: Taking taylor expansion of y in x
6.146 * [backup-simplify]: Simplify y into y
6.146 * [taylor]: Taking taylor expansion of (* -4.0 (* (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) y)) in x
6.146 * [taylor]: Taking taylor expansion of -4.0 in x
6.146 * [backup-simplify]: Simplify -4.0 into -4.0
6.146 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) y) in x
6.146 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (* 0.25 (/ 1 y)) (/ 1 x))) in x
6.146 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.146 * [taylor]: Taking taylor expansion of z in x
6.146 * [backup-simplify]: Simplify z into z
6.146 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.146 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 y)) (/ 1 x)) in x
6.146 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 y)) in x
6.147 * [taylor]: Taking taylor expansion of 0.25 in x
6.147 * [backup-simplify]: Simplify 0.25 into 0.25
6.147 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.147 * [taylor]: Taking taylor expansion of y in x
6.147 * [backup-simplify]: Simplify y into y
6.147 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.147 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.147 * [taylor]: Taking taylor expansion of x in x
6.147 * [backup-simplify]: Simplify 0 into 0
6.147 * [backup-simplify]: Simplify 1 into 1
6.147 * [backup-simplify]: Simplify (/ 1 1) into 1
6.147 * [taylor]: Taking taylor expansion of y in x
6.147 * [backup-simplify]: Simplify y into y
6.147 * [backup-simplify]: Simplify (+ 0 1) into 1
6.148 * [backup-simplify]: Simplify (- 1) into -1
6.148 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.148 * [backup-simplify]: Simplify (* -1 y) into (* -1 y)
6.148 * [backup-simplify]: Simplify (* -4.0 (* -1 y)) into (* 4.0 y)
6.148 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
6.148 * [taylor]: Taking taylor expansion of 4.0 in y
6.148 * [backup-simplify]: Simplify 4.0 into 4.0
6.148 * [taylor]: Taking taylor expansion of y in y
6.148 * [backup-simplify]: Simplify 0 into 0
6.148 * [backup-simplify]: Simplify 1 into 1
6.148 * [backup-simplify]: Simplify (* 0.25 (/ 1 y)) into (/ 0.25 y)
6.149 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.149 * [backup-simplify]: Simplify (+ (/ 0.25 y) 0) into (* 0.25 (/ 1 y))
6.149 * [backup-simplify]: Simplify (- (* 0.25 (/ 1 y))) into (- (* 0.25 (/ 1 y)))
6.149 * [backup-simplify]: Simplify (+ (/ 1 z) (- (* 0.25 (/ 1 y)))) into (- (/ 1 z) (* 0.25 (/ 1 y)))
6.149 * [backup-simplify]: Simplify (+ (* -1 0) (* (- (/ 1 z) (* 0.25 (/ 1 y))) y)) into (- (/ y z) 0.25)
6.149 * [backup-simplify]: Simplify (+ (* -4.0 (- (/ y z) 0.25)) (* 0 (* -1 y))) into (- 1.0 (* 4.0 (/ y z)))
6.150 * [taylor]: Taking taylor expansion of (- 1.0 (* 4.0 (/ y z))) in y
6.150 * [taylor]: Taking taylor expansion of 1.0 in y
6.150 * [backup-simplify]: Simplify 1.0 into 1.0
6.150 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
6.150 * [taylor]: Taking taylor expansion of 4.0 in y
6.150 * [backup-simplify]: Simplify 4.0 into 4.0
6.150 * [taylor]: Taking taylor expansion of (/ y z) in y
6.150 * [taylor]: Taking taylor expansion of y in y
6.150 * [backup-simplify]: Simplify 0 into 0
6.150 * [backup-simplify]: Simplify 1 into 1
6.150 * [taylor]: Taking taylor expansion of z in y
6.150 * [backup-simplify]: Simplify z into z
6.150 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.150 * [backup-simplify]: Simplify (* 4.0 0) into 0
6.150 * [taylor]: Taking taylor expansion of 0 in z
6.150 * [backup-simplify]: Simplify 0 into 0
6.150 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
6.150 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.151 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 (/ 1 y))) into 0
6.151 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.152 * [backup-simplify]: Simplify (+ 0 0) into 0
6.152 * [backup-simplify]: Simplify (- 0) into 0
6.152 * [backup-simplify]: Simplify (+ 0 0) into 0
6.153 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (- (/ 1 z) (* 0.25 (/ 1 y))) 0) (* 0 y))) into 0
6.153 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 (- (/ y z) 0.25)) (* 0 (* -1 y)))) into 0
6.153 * [taylor]: Taking taylor expansion of 0 in y
6.153 * [backup-simplify]: Simplify 0 into 0
6.154 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.154 * [taylor]: Taking taylor expansion of 1.0 in z
6.154 * [backup-simplify]: Simplify 1.0 into 1.0
6.154 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
6.154 * [taylor]: Taking taylor expansion of 4.0 in z
6.154 * [backup-simplify]: Simplify 4.0 into 4.0
6.155 * [backup-simplify]: Simplify 0 into 0
6.155 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
6.155 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.155 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
6.156 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.156 * [backup-simplify]: Simplify (+ 0 0) into 0
6.156 * [backup-simplify]: Simplify (- 0) into 0
6.156 * [backup-simplify]: Simplify (+ 0 0) into 0
6.157 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (- (/ 1 z) (* 0.25 (/ 1 y))) 0) (+ (* 0 0) (* 0 y)))) into 0
6.158 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 0) (+ (* 0 (- (/ y z) 0.25)) (* 0 (* -1 y))))) into 0
6.158 * [taylor]: Taking taylor expansion of 0 in y
6.158 * [backup-simplify]: Simplify 0 into 0
6.158 * [taylor]: Taking taylor expansion of 0 in z
6.158 * [backup-simplify]: Simplify 0 into 0
6.158 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
6.158 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
6.158 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 z)))) into (- (* 4.0 (/ 1 z)))
6.158 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
6.158 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
6.158 * [taylor]: Taking taylor expansion of 4.0 in z
6.158 * [backup-simplify]: Simplify 4.0 into 4.0
6.158 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.158 * [taylor]: Taking taylor expansion of z in z
6.158 * [backup-simplify]: Simplify 0 into 0
6.158 * [backup-simplify]: Simplify 1 into 1
6.158 * [backup-simplify]: Simplify (/ 1 1) into 1
6.159 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
6.159 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.159 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.160 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
6.160 * [taylor]: Taking taylor expansion of 0 in z
6.160 * [backup-simplify]: Simplify 0 into 0
6.160 * [backup-simplify]: Simplify 1.0 into 1.0
6.160 * [backup-simplify]: Simplify 4.0 into 4.0
6.160 * [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.160 * * * * [progress]: [ 2 / 2 ] generating series at (2)
6.161 * [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.161 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in (x y z) around 0
6.161 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in z
6.161 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in z
6.161 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in z
6.161 * [taylor]: Taking taylor expansion of 4.0 in z
6.161 * [backup-simplify]: Simplify 4.0 into 4.0
6.161 * [taylor]: Taking taylor expansion of (/ x y) in z
6.161 * [taylor]: Taking taylor expansion of x in z
6.161 * [backup-simplify]: Simplify x into x
6.161 * [taylor]: Taking taylor expansion of y in z
6.161 * [backup-simplify]: Simplify y into y
6.161 * [backup-simplify]: Simplify (/ x y) into (/ x y)
6.161 * [taylor]: Taking taylor expansion of 2.0 in z
6.161 * [backup-simplify]: Simplify 2.0 into 2.0
6.161 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in z
6.161 * [taylor]: Taking taylor expansion of 4.0 in z
6.161 * [backup-simplify]: Simplify 4.0 into 4.0
6.161 * [taylor]: Taking taylor expansion of (/ z y) in z
6.161 * [taylor]: Taking taylor expansion of z in z
6.161 * [backup-simplify]: Simplify 0 into 0
6.161 * [backup-simplify]: Simplify 1 into 1
6.161 * [taylor]: Taking taylor expansion of y in z
6.161 * [backup-simplify]: Simplify y into y
6.161 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.161 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in y
6.161 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in y
6.161 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in y
6.161 * [taylor]: Taking taylor expansion of 4.0 in y
6.161 * [backup-simplify]: Simplify 4.0 into 4.0
6.161 * [taylor]: Taking taylor expansion of (/ x y) in y
6.161 * [taylor]: Taking taylor expansion of x in y
6.161 * [backup-simplify]: Simplify x into x
6.161 * [taylor]: Taking taylor expansion of y in y
6.161 * [backup-simplify]: Simplify 0 into 0
6.161 * [backup-simplify]: Simplify 1 into 1
6.161 * [backup-simplify]: Simplify (/ x 1) into x
6.161 * [taylor]: Taking taylor expansion of 2.0 in y
6.161 * [backup-simplify]: Simplify 2.0 into 2.0
6.161 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y
6.161 * [taylor]: Taking taylor expansion of 4.0 in y
6.161 * [backup-simplify]: Simplify 4.0 into 4.0
6.161 * [taylor]: Taking taylor expansion of (/ z y) in y
6.161 * [taylor]: Taking taylor expansion of z in y
6.162 * [backup-simplify]: Simplify z into z
6.162 * [taylor]: Taking taylor expansion of y in y
6.162 * [backup-simplify]: Simplify 0 into 0
6.162 * [backup-simplify]: Simplify 1 into 1
6.162 * [backup-simplify]: Simplify (/ z 1) into z
6.162 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in x
6.162 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in x
6.162 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in x
6.162 * [taylor]: Taking taylor expansion of 4.0 in x
6.162 * [backup-simplify]: Simplify 4.0 into 4.0
6.162 * [taylor]: Taking taylor expansion of (/ x y) in x
6.162 * [taylor]: Taking taylor expansion of x in x
6.162 * [backup-simplify]: Simplify 0 into 0
6.162 * [backup-simplify]: Simplify 1 into 1
6.162 * [taylor]: Taking taylor expansion of y in x
6.162 * [backup-simplify]: Simplify y into y
6.162 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.162 * [taylor]: Taking taylor expansion of 2.0 in x
6.162 * [backup-simplify]: Simplify 2.0 into 2.0
6.162 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in x
6.162 * [taylor]: Taking taylor expansion of 4.0 in x
6.162 * [backup-simplify]: Simplify 4.0 into 4.0
6.162 * [taylor]: Taking taylor expansion of (/ z y) in x
6.162 * [taylor]: Taking taylor expansion of z in x
6.162 * [backup-simplify]: Simplify z into z
6.162 * [taylor]: Taking taylor expansion of y in x
6.162 * [backup-simplify]: Simplify y into y
6.162 * [backup-simplify]: Simplify (/ z y) into (/ z y)
6.162 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in x
6.162 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in x
6.162 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in x
6.162 * [taylor]: Taking taylor expansion of 4.0 in x
6.162 * [backup-simplify]: Simplify 4.0 into 4.0
6.162 * [taylor]: Taking taylor expansion of (/ x y) in x
6.162 * [taylor]: Taking taylor expansion of x in x
6.162 * [backup-simplify]: Simplify 0 into 0
6.162 * [backup-simplify]: Simplify 1 into 1
6.162 * [taylor]: Taking taylor expansion of y in x
6.162 * [backup-simplify]: Simplify y into y
6.162 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.162 * [taylor]: Taking taylor expansion of 2.0 in x
6.162 * [backup-simplify]: Simplify 2.0 into 2.0
6.162 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in x
6.162 * [taylor]: Taking taylor expansion of 4.0 in x
6.162 * [backup-simplify]: Simplify 4.0 into 4.0
6.162 * [taylor]: Taking taylor expansion of (/ z y) in x
6.162 * [taylor]: Taking taylor expansion of z in x
6.162 * [backup-simplify]: Simplify z into z
6.162 * [taylor]: Taking taylor expansion of y in x
6.162 * [backup-simplify]: Simplify y into y
6.162 * [backup-simplify]: Simplify (/ z y) into (/ z y)
6.163 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
6.163 * [backup-simplify]: Simplify (* 4.0 (/ z y)) into (* 4.0 (/ z y))
6.163 * [backup-simplify]: Simplify (- (* 4.0 (/ z y))) into (- (* 4.0 (/ z y)))
6.163 * [backup-simplify]: Simplify (+ 2.0 (- (* 4.0 (/ z y)))) into (- 2.0 (* 4.0 (/ z y)))
6.163 * [taylor]: Taking taylor expansion of (- 2.0 (* 4.0 (/ z y))) in y
6.163 * [taylor]: Taking taylor expansion of 2.0 in y
6.163 * [backup-simplify]: Simplify 2.0 into 2.0
6.163 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y
6.163 * [taylor]: Taking taylor expansion of 4.0 in y
6.163 * [backup-simplify]: Simplify 4.0 into 4.0
6.163 * [taylor]: Taking taylor expansion of (/ z y) in y
6.163 * [taylor]: Taking taylor expansion of z in y
6.163 * [backup-simplify]: Simplify z into z
6.163 * [taylor]: Taking taylor expansion of y in y
6.163 * [backup-simplify]: Simplify 0 into 0
6.163 * [backup-simplify]: Simplify 1 into 1
6.163 * [backup-simplify]: Simplify (/ z 1) into z
6.163 * [backup-simplify]: Simplify (* 4.0 z) into (* 4.0 z)
6.164 * [backup-simplify]: Simplify (- (* 4.0 z)) into (- (* 4.0 z))
6.164 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 z))) into (- (* 4.0 z))
6.164 * [taylor]: Taking taylor expansion of (- (* 4.0 z)) in z
6.164 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
6.164 * [taylor]: Taking taylor expansion of 4.0 in z
6.164 * [backup-simplify]: Simplify 4.0 into 4.0
6.164 * [taylor]: Taking taylor expansion of z in z
6.164 * [backup-simplify]: Simplify 0 into 0
6.164 * [backup-simplify]: Simplify 1 into 1
6.164 * [backup-simplify]: Simplify (* 4.0 0) into 0
6.164 * [backup-simplify]: Simplify (- 0) into 0
6.164 * [backup-simplify]: Simplify 0 into 0
6.164 * [backup-simplify]: Simplify (* 4.0 (/ 1 y)) into (/ 4.0 y)
6.164 * [backup-simplify]: Simplify (+ (/ 4.0 y) 0) into (* 4.0 (/ 1 y))
6.165 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
6.165 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ z y))) into 0
6.165 * [backup-simplify]: Simplify (- 0) into 0
6.165 * [backup-simplify]: Simplify (+ (* 4.0 (/ 1 y)) 0) into (* 4.0 (/ 1 y))
6.165 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
6.165 * [taylor]: Taking taylor expansion of 4.0 in y
6.165 * [backup-simplify]: Simplify 4.0 into 4.0
6.165 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.165 * [taylor]: Taking taylor expansion of y in y
6.165 * [backup-simplify]: Simplify 0 into 0
6.165 * [backup-simplify]: Simplify 1 into 1
6.166 * [backup-simplify]: Simplify (/ 1 1) into 1
6.166 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
6.166 * [taylor]: Taking taylor expansion of 4.0 in z
6.166 * [backup-simplify]: Simplify 4.0 into 4.0
6.166 * [backup-simplify]: Simplify 4.0 into 4.0
6.167 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
6.167 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 z)) into 0
6.167 * [backup-simplify]: Simplify (- 0) into 0
6.167 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
6.167 * [taylor]: Taking taylor expansion of 2.0 in z
6.168 * [backup-simplify]: Simplify 2.0 into 2.0
6.168 * [backup-simplify]: Simplify 2.0 into 2.0
6.169 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
6.169 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.169 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.170 * [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.170 * [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.170 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in (x y z) around 0
6.170 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in z
6.170 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in z
6.170 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z
6.170 * [taylor]: Taking taylor expansion of 4.0 in z
6.170 * [backup-simplify]: Simplify 4.0 into 4.0
6.170 * [taylor]: Taking taylor expansion of (/ y x) in z
6.170 * [taylor]: Taking taylor expansion of y in z
6.170 * [backup-simplify]: Simplify y into y
6.170 * [taylor]: Taking taylor expansion of x in z
6.170 * [backup-simplify]: Simplify x into x
6.170 * [backup-simplify]: Simplify (/ y x) into (/ y x)
6.170 * [taylor]: Taking taylor expansion of 2.0 in z
6.170 * [backup-simplify]: Simplify 2.0 into 2.0
6.170 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z
6.170 * [taylor]: Taking taylor expansion of 4.0 in z
6.170 * [backup-simplify]: Simplify 4.0 into 4.0
6.170 * [taylor]: Taking taylor expansion of (/ y z) in z
6.170 * [taylor]: Taking taylor expansion of y in z
6.170 * [backup-simplify]: Simplify y into y
6.170 * [taylor]: Taking taylor expansion of z in z
6.170 * [backup-simplify]: Simplify 0 into 0
6.170 * [backup-simplify]: Simplify 1 into 1
6.170 * [backup-simplify]: Simplify (/ y 1) into y
6.170 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in y
6.170 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in y
6.170 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in y
6.170 * [taylor]: Taking taylor expansion of 4.0 in y
6.170 * [backup-simplify]: Simplify 4.0 into 4.0
6.171 * [taylor]: Taking taylor expansion of (/ y x) in y
6.171 * [taylor]: Taking taylor expansion of y in y
6.171 * [backup-simplify]: Simplify 0 into 0
6.171 * [backup-simplify]: Simplify 1 into 1
6.171 * [taylor]: Taking taylor expansion of x in y
6.171 * [backup-simplify]: Simplify x into x
6.171 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.171 * [taylor]: Taking taylor expansion of 2.0 in y
6.171 * [backup-simplify]: Simplify 2.0 into 2.0
6.171 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
6.171 * [taylor]: Taking taylor expansion of 4.0 in y
6.171 * [backup-simplify]: Simplify 4.0 into 4.0
6.171 * [taylor]: Taking taylor expansion of (/ y z) in y
6.171 * [taylor]: Taking taylor expansion of y in y
6.171 * [backup-simplify]: Simplify 0 into 0
6.171 * [backup-simplify]: Simplify 1 into 1
6.171 * [taylor]: Taking taylor expansion of z in y
6.171 * [backup-simplify]: Simplify z into z
6.171 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.171 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in x
6.171 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x
6.171 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x
6.171 * [taylor]: Taking taylor expansion of 4.0 in x
6.171 * [backup-simplify]: Simplify 4.0 into 4.0
6.171 * [taylor]: Taking taylor expansion of (/ y x) in x
6.171 * [taylor]: Taking taylor expansion of y in x
6.171 * [backup-simplify]: Simplify y into y
6.171 * [taylor]: Taking taylor expansion of x in x
6.171 * [backup-simplify]: Simplify 0 into 0
6.171 * [backup-simplify]: Simplify 1 into 1
6.171 * [backup-simplify]: Simplify (/ y 1) into y
6.171 * [taylor]: Taking taylor expansion of 2.0 in x
6.171 * [backup-simplify]: Simplify 2.0 into 2.0
6.171 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x
6.171 * [taylor]: Taking taylor expansion of 4.0 in x
6.171 * [backup-simplify]: Simplify 4.0 into 4.0
6.171 * [taylor]: Taking taylor expansion of (/ y z) in x
6.171 * [taylor]: Taking taylor expansion of y in x
6.171 * [backup-simplify]: Simplify y into y
6.171 * [taylor]: Taking taylor expansion of z in x
6.171 * [backup-simplify]: Simplify z into z
6.171 * [backup-simplify]: Simplify (/ y z) into (/ y z)
6.171 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in x
6.171 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x
6.171 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x
6.171 * [taylor]: Taking taylor expansion of 4.0 in x
6.172 * [backup-simplify]: Simplify 4.0 into 4.0
6.172 * [taylor]: Taking taylor expansion of (/ y x) in x
6.172 * [taylor]: Taking taylor expansion of y in x
6.172 * [backup-simplify]: Simplify y into y
6.172 * [taylor]: Taking taylor expansion of x in x
6.172 * [backup-simplify]: Simplify 0 into 0
6.172 * [backup-simplify]: Simplify 1 into 1
6.172 * [backup-simplify]: Simplify (/ y 1) into y
6.172 * [taylor]: Taking taylor expansion of 2.0 in x
6.172 * [backup-simplify]: Simplify 2.0 into 2.0
6.172 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x
6.172 * [taylor]: Taking taylor expansion of 4.0 in x
6.172 * [backup-simplify]: Simplify 4.0 into 4.0
6.172 * [taylor]: Taking taylor expansion of (/ y z) in x
6.172 * [taylor]: Taking taylor expansion of y in x
6.172 * [backup-simplify]: Simplify y into y
6.172 * [taylor]: Taking taylor expansion of z in x
6.172 * [backup-simplify]: Simplify z into z
6.172 * [backup-simplify]: Simplify (/ y z) into (/ y z)
6.172 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
6.172 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y)
6.172 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y)
6.172 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
6.172 * [taylor]: Taking taylor expansion of 4.0 in y
6.172 * [backup-simplify]: Simplify 4.0 into 4.0
6.172 * [taylor]: Taking taylor expansion of y in y
6.172 * [backup-simplify]: Simplify 0 into 0
6.172 * [backup-simplify]: Simplify 1 into 1
6.173 * [backup-simplify]: Simplify (* 4.0 0) into 0
6.173 * [taylor]: Taking taylor expansion of 0 in z
6.173 * [backup-simplify]: Simplify 0 into 0
6.173 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
6.173 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0
6.174 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
6.174 * [backup-simplify]: Simplify (* 4.0 (/ y z)) into (* 4.0 (/ y z))
6.174 * [backup-simplify]: Simplify (- (* 4.0 (/ y z))) into (- (* 4.0 (/ y z)))
6.174 * [backup-simplify]: Simplify (+ 2.0 (- (* 4.0 (/ y z)))) into (- 2.0 (* 4.0 (/ y z)))
6.174 * [taylor]: Taking taylor expansion of (- 2.0 (* 4.0 (/ y z))) in y
6.174 * [taylor]: Taking taylor expansion of 2.0 in y
6.174 * [backup-simplify]: Simplify 2.0 into 2.0
6.174 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
6.174 * [taylor]: Taking taylor expansion of 4.0 in y
6.174 * [backup-simplify]: Simplify 4.0 into 4.0
6.174 * [taylor]: Taking taylor expansion of (/ y z) in y
6.174 * [taylor]: Taking taylor expansion of y in y
6.174 * [backup-simplify]: Simplify 0 into 0
6.174 * [backup-simplify]: Simplify 1 into 1
6.174 * [taylor]: Taking taylor expansion of z in y
6.174 * [backup-simplify]: Simplify z into z
6.174 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.175 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
6.175 * [taylor]: Taking taylor expansion of 2.0 in z
6.175 * [backup-simplify]: Simplify 2.0 into 2.0
6.176 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
6.176 * [taylor]: Taking taylor expansion of 4.0 in z
6.176 * [backup-simplify]: Simplify 4.0 into 4.0
6.176 * [backup-simplify]: Simplify 0 into 0
6.176 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.177 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 y))) into 0
6.177 * [backup-simplify]: Simplify (+ 0 0) into 0
6.177 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
6.178 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ y z))) into 0
6.178 * [backup-simplify]: Simplify (- 0) into 0
6.178 * [backup-simplify]: Simplify (+ 0 0) into 0
6.178 * [taylor]: Taking taylor expansion of 0 in y
6.178 * [backup-simplify]: Simplify 0 into 0
6.178 * [taylor]: Taking taylor expansion of 0 in z
6.178 * [backup-simplify]: Simplify 0 into 0
6.178 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
6.178 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
6.178 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 z)))) into (- (* 4.0 (/ 1 z)))
6.178 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
6.178 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
6.178 * [taylor]: Taking taylor expansion of 4.0 in z
6.179 * [backup-simplify]: Simplify 4.0 into 4.0
6.179 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.179 * [taylor]: Taking taylor expansion of z in z
6.179 * [backup-simplify]: Simplify 0 into 0
6.179 * [backup-simplify]: Simplify 1 into 1
6.179 * [backup-simplify]: Simplify (/ 1 1) into 1
6.179 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
6.179 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.183 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.184 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
6.184 * [taylor]: Taking taylor expansion of 0 in z
6.184 * [backup-simplify]: Simplify 0 into 0
6.184 * [backup-simplify]: Simplify 2.0 into 2.0
6.184 * [backup-simplify]: Simplify 4.0 into 4.0
6.184 * [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.185 * [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.185 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in (x y z) around 0
6.185 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in z
6.185 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in z
6.185 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z
6.185 * [taylor]: Taking taylor expansion of 4.0 in z
6.185 * [backup-simplify]: Simplify 4.0 into 4.0
6.185 * [taylor]: Taking taylor expansion of (/ y x) in z
6.185 * [taylor]: Taking taylor expansion of y in z
6.185 * [backup-simplify]: Simplify y into y
6.185 * [taylor]: Taking taylor expansion of x in z
6.185 * [backup-simplify]: Simplify x into x
6.185 * [backup-simplify]: Simplify (/ y x) into (/ y x)
6.185 * [taylor]: Taking taylor expansion of 2.0 in z
6.185 * [backup-simplify]: Simplify 2.0 into 2.0
6.185 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z
6.185 * [taylor]: Taking taylor expansion of 4.0 in z
6.185 * [backup-simplify]: Simplify 4.0 into 4.0
6.185 * [taylor]: Taking taylor expansion of (/ y z) in z
6.185 * [taylor]: Taking taylor expansion of y in z
6.185 * [backup-simplify]: Simplify y into y
6.185 * [taylor]: Taking taylor expansion of z in z
6.185 * [backup-simplify]: Simplify 0 into 0
6.185 * [backup-simplify]: Simplify 1 into 1
6.185 * [backup-simplify]: Simplify (/ y 1) into y
6.185 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in y
6.185 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in y
6.185 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in y
6.185 * [taylor]: Taking taylor expansion of 4.0 in y
6.186 * [backup-simplify]: Simplify 4.0 into 4.0
6.186 * [taylor]: Taking taylor expansion of (/ y x) in y
6.186 * [taylor]: Taking taylor expansion of y in y
6.186 * [backup-simplify]: Simplify 0 into 0
6.186 * [backup-simplify]: Simplify 1 into 1
6.186 * [taylor]: Taking taylor expansion of x in y
6.186 * [backup-simplify]: Simplify x into x
6.186 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.186 * [taylor]: Taking taylor expansion of 2.0 in y
6.186 * [backup-simplify]: Simplify 2.0 into 2.0
6.186 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
6.186 * [taylor]: Taking taylor expansion of 4.0 in y
6.186 * [backup-simplify]: Simplify 4.0 into 4.0
6.186 * [taylor]: Taking taylor expansion of (/ y z) in y
6.186 * [taylor]: Taking taylor expansion of y in y
6.186 * [backup-simplify]: Simplify 0 into 0
6.186 * [backup-simplify]: Simplify 1 into 1
6.186 * [taylor]: Taking taylor expansion of z in y
6.186 * [backup-simplify]: Simplify z into z
6.186 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.186 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in x
6.186 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x
6.186 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x
6.186 * [taylor]: Taking taylor expansion of 4.0 in x
6.186 * [backup-simplify]: Simplify 4.0 into 4.0
6.186 * [taylor]: Taking taylor expansion of (/ y x) in x
6.186 * [taylor]: Taking taylor expansion of y in x
6.186 * [backup-simplify]: Simplify y into y
6.186 * [taylor]: Taking taylor expansion of x in x
6.186 * [backup-simplify]: Simplify 0 into 0
6.186 * [backup-simplify]: Simplify 1 into 1
6.186 * [backup-simplify]: Simplify (/ y 1) into y
6.186 * [taylor]: Taking taylor expansion of 2.0 in x
6.186 * [backup-simplify]: Simplify 2.0 into 2.0
6.186 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x
6.186 * [taylor]: Taking taylor expansion of 4.0 in x
6.186 * [backup-simplify]: Simplify 4.0 into 4.0
6.186 * [taylor]: Taking taylor expansion of (/ y z) in x
6.186 * [taylor]: Taking taylor expansion of y in x
6.186 * [backup-simplify]: Simplify y into y
6.186 * [taylor]: Taking taylor expansion of z in x
6.186 * [backup-simplify]: Simplify z into z
6.186 * [backup-simplify]: Simplify (/ y z) into (/ y z)
6.186 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in x
6.186 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x
6.186 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x
6.186 * [taylor]: Taking taylor expansion of 4.0 in x
6.186 * [backup-simplify]: Simplify 4.0 into 4.0
6.186 * [taylor]: Taking taylor expansion of (/ y x) in x
6.186 * [taylor]: Taking taylor expansion of y in x
6.186 * [backup-simplify]: Simplify y into y
6.186 * [taylor]: Taking taylor expansion of x in x
6.186 * [backup-simplify]: Simplify 0 into 0
6.186 * [backup-simplify]: Simplify 1 into 1
6.187 * [backup-simplify]: Simplify (/ y 1) into y
6.187 * [taylor]: Taking taylor expansion of 2.0 in x
6.187 * [backup-simplify]: Simplify 2.0 into 2.0
6.187 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x
6.187 * [taylor]: Taking taylor expansion of 4.0 in x
6.187 * [backup-simplify]: Simplify 4.0 into 4.0
6.187 * [taylor]: Taking taylor expansion of (/ y z) in x
6.187 * [taylor]: Taking taylor expansion of y in x
6.187 * [backup-simplify]: Simplify y into y
6.187 * [taylor]: Taking taylor expansion of z in x
6.187 * [backup-simplify]: Simplify z into z
6.187 * [backup-simplify]: Simplify (/ y z) into (/ y z)
6.187 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
6.187 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y)
6.187 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y)
6.187 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
6.187 * [taylor]: Taking taylor expansion of 4.0 in y
6.187 * [backup-simplify]: Simplify 4.0 into 4.0
6.187 * [taylor]: Taking taylor expansion of y in y
6.187 * [backup-simplify]: Simplify 0 into 0
6.187 * [backup-simplify]: Simplify 1 into 1
6.187 * [backup-simplify]: Simplify (* 4.0 0) into 0
6.187 * [taylor]: Taking taylor expansion of 0 in z
6.187 * [backup-simplify]: Simplify 0 into 0
6.188 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
6.188 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0
6.189 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
6.189 * [backup-simplify]: Simplify (* 4.0 (/ y z)) into (* 4.0 (/ y z))
6.189 * [backup-simplify]: Simplify (- (* 4.0 (/ y z))) into (- (* 4.0 (/ y z)))
6.189 * [backup-simplify]: Simplify (+ 2.0 (- (* 4.0 (/ y z)))) into (- 2.0 (* 4.0 (/ y z)))
6.189 * [taylor]: Taking taylor expansion of (- 2.0 (* 4.0 (/ y z))) in y
6.189 * [taylor]: Taking taylor expansion of 2.0 in y
6.189 * [backup-simplify]: Simplify 2.0 into 2.0
6.189 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
6.189 * [taylor]: Taking taylor expansion of 4.0 in y
6.189 * [backup-simplify]: Simplify 4.0 into 4.0
6.189 * [taylor]: Taking taylor expansion of (/ y z) in y
6.189 * [taylor]: Taking taylor expansion of y in y
6.189 * [backup-simplify]: Simplify 0 into 0
6.189 * [backup-simplify]: Simplify 1 into 1
6.189 * [taylor]: Taking taylor expansion of z in y
6.189 * [backup-simplify]: Simplify z into z
6.189 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.189 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
6.189 * [taylor]: Taking taylor expansion of 2.0 in z
6.190 * [backup-simplify]: Simplify 2.0 into 2.0
6.190 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
6.190 * [taylor]: Taking taylor expansion of 4.0 in z
6.190 * [backup-simplify]: Simplify 4.0 into 4.0
6.190 * [backup-simplify]: Simplify 0 into 0
6.191 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.192 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 y))) into 0
6.192 * [backup-simplify]: Simplify (+ 0 0) into 0
6.192 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
6.193 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ y z))) into 0
6.193 * [backup-simplify]: Simplify (- 0) into 0
6.193 * [backup-simplify]: Simplify (+ 0 0) into 0
6.193 * [taylor]: Taking taylor expansion of 0 in y
6.193 * [backup-simplify]: Simplify 0 into 0
6.193 * [taylor]: Taking taylor expansion of 0 in z
6.193 * [backup-simplify]: Simplify 0 into 0
6.193 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
6.193 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
6.193 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 z)))) into (- (* 4.0 (/ 1 z)))
6.193 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
6.193 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
6.193 * [taylor]: Taking taylor expansion of 4.0 in z
6.193 * [backup-simplify]: Simplify 4.0 into 4.0
6.193 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.193 * [taylor]: Taking taylor expansion of z in z
6.193 * [backup-simplify]: Simplify 0 into 0
6.193 * [backup-simplify]: Simplify 1 into 1
6.194 * [backup-simplify]: Simplify (/ 1 1) into 1
6.194 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
6.194 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.194 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.195 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
6.195 * [taylor]: Taking taylor expansion of 0 in z
6.195 * [backup-simplify]: Simplify 0 into 0
6.195 * [backup-simplify]: Simplify 2.0 into 2.0
6.195 * [backup-simplify]: Simplify 4.0 into 4.0
6.196 * [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.196 * * * [progress]: simplifying candidates
6.197 * [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.198 * * [simplify]: Extracting # 0 : cost  0
6.198 * * [simplify]: Extracting # 1 : cost  0
6.198 * * [simplify]: Extracting # 2 : cost  0
6.198 * * [simplify]: Extracting # 3 : cost  0
6.198 * * [simplify]: Extracting # 4 : cost  0
6.198 * * [simplify]: Extracting # 5 : cost  0
6.198 * * [simplify]: Extracting # 6 : cost  0
6.199 * * [simplify]: Extracting # 7 : cost  0
6.199 * * [simplify]: Extracting # 8 : cost  0
6.199 * * [simplify]: iteration  0 :  91  enodes  (cost  711 )
6.225 * * [simplify]: Extracting # 0 : cost  0
6.226 * * [simplify]: Extracting # 1 : cost  0
6.226 * * [simplify]: Extracting # 2 : cost  0
6.227 * * [simplify]: Extracting # 3 : cost  0
6.228 * * [simplify]: Extracting # 4 : cost  0
6.228 * * [simplify]: iteration  1 :  254  enodes  (cost  667 )
6.368 * * [simplify]: Extracting # 0 : cost  0
6.370 * * [simplify]: Extracting # 1 : cost  0
6.371 * * [simplify]: Extracting # 2 : cost  0
6.372 * * [simplify]: Extracting # 3 : cost  0
6.373 * * [simplify]: Extracting # 4 : cost  0
6.374 * * [simplify]: iteration  2 :  882  enodes  (cost  597 )
7.504 * * [simplify]: Extracting # 0 : cost  0
7.515 * * [simplify]: Extracting # 1 : cost  0
7.527 * * [simplify]: Extracting # 2 : cost  0
7.535 * * [simplify]: Extracting # 3 : cost  0
7.543 * * [simplify]: iteration  3 :  4790  enodes  (cost  581 )
8.908 * * [simplify]: Extracting # 0 : cost  0
8.918 * * [simplify]: Extracting # 1 : cost  0
8.924 * * [simplify]: Extracting # 2 : cost  0
8.930 * * [simplify]: Extracting # 3 : cost  0
9.369 * * [simplify]: iteration done:  5001  enodes  (cost  581 )
9.370 * [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))))
9.370 * * * [progress]: adding candidates to table
9.503 * * [progress]: iteration 2 / 4
9.503 * * * [progress]: picking best candidate
9.506 * * * * [pick]: Picked  #<alt (λ (x y z) (+ 2.0 (* 4.0 (- (/ x y) (/ z y)))))>
9.506 * * * [progress]: localizing error
9.515 * * * [progress]: generating rewritten candidates
9.515 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2)
9.551 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
9.682 * * * [progress]: generating series expansions
9.683 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2)
9.683 * [backup-simplify]: Simplify (- (/ x y) (/ z y)) into (- (/ x y) (/ z y))
9.683 * [approximate]: Taking taylor expansion of (- (/ x y) (/ z y)) in (x y z) around 0
9.683 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in z
9.683 * [taylor]: Taking taylor expansion of (/ x y) in z
9.683 * [taylor]: Taking taylor expansion of x in z
9.683 * [backup-simplify]: Simplify x into x
9.683 * [taylor]: Taking taylor expansion of y in z
9.683 * [backup-simplify]: Simplify y into y
9.683 * [backup-simplify]: Simplify (/ x y) into (/ x y)
9.683 * [taylor]: Taking taylor expansion of (/ z y) in z
9.683 * [taylor]: Taking taylor expansion of z in z
9.683 * [backup-simplify]: Simplify 0 into 0
9.683 * [backup-simplify]: Simplify 1 into 1
9.683 * [taylor]: Taking taylor expansion of y in z
9.683 * [backup-simplify]: Simplify y into y
9.683 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.683 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in y
9.683 * [taylor]: Taking taylor expansion of (/ x y) in y
9.683 * [taylor]: Taking taylor expansion of x in y
9.683 * [backup-simplify]: Simplify x into x
9.683 * [taylor]: Taking taylor expansion of y in y
9.683 * [backup-simplify]: Simplify 0 into 0
9.683 * [backup-simplify]: Simplify 1 into 1
9.683 * [backup-simplify]: Simplify (/ x 1) into x
9.683 * [taylor]: Taking taylor expansion of (/ z y) in y
9.683 * [taylor]: Taking taylor expansion of z in y
9.683 * [backup-simplify]: Simplify z into z
9.683 * [taylor]: Taking taylor expansion of y in y
9.683 * [backup-simplify]: Simplify 0 into 0
9.683 * [backup-simplify]: Simplify 1 into 1
9.683 * [backup-simplify]: Simplify (/ z 1) into z
9.683 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in x
9.683 * [taylor]: Taking taylor expansion of (/ x y) in x
9.683 * [taylor]: Taking taylor expansion of x in x
9.683 * [backup-simplify]: Simplify 0 into 0
9.684 * [backup-simplify]: Simplify 1 into 1
9.684 * [taylor]: Taking taylor expansion of y in x
9.684 * [backup-simplify]: Simplify y into y
9.684 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.684 * [taylor]: Taking taylor expansion of (/ z y) in x
9.684 * [taylor]: Taking taylor expansion of z in x
9.684 * [backup-simplify]: Simplify z into z
9.684 * [taylor]: Taking taylor expansion of y in x
9.684 * [backup-simplify]: Simplify y into y
9.684 * [backup-simplify]: Simplify (/ z y) into (/ z y)
9.684 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in x
9.684 * [taylor]: Taking taylor expansion of (/ x y) in x
9.684 * [taylor]: Taking taylor expansion of x in x
9.684 * [backup-simplify]: Simplify 0 into 0
9.684 * [backup-simplify]: Simplify 1 into 1
9.684 * [taylor]: Taking taylor expansion of y in x
9.684 * [backup-simplify]: Simplify y into y
9.684 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.684 * [taylor]: Taking taylor expansion of (/ z y) in x
9.684 * [taylor]: Taking taylor expansion of z in x
9.684 * [backup-simplify]: Simplify z into z
9.684 * [taylor]: Taking taylor expansion of y in x
9.684 * [backup-simplify]: Simplify y into y
9.684 * [backup-simplify]: Simplify (/ z y) into (/ z y)
9.684 * [backup-simplify]: Simplify (- (/ z y)) into (- (/ z y))
9.684 * [backup-simplify]: Simplify (+ 0 (- (/ z y))) into (- (/ z y))
9.684 * [taylor]: Taking taylor expansion of (- (/ z y)) in y
9.684 * [taylor]: Taking taylor expansion of (/ z y) in y
9.684 * [taylor]: Taking taylor expansion of z in y
9.684 * [backup-simplify]: Simplify z into z
9.684 * [taylor]: Taking taylor expansion of y in y
9.684 * [backup-simplify]: Simplify 0 into 0
9.684 * [backup-simplify]: Simplify 1 into 1
9.684 * [backup-simplify]: Simplify (/ z 1) into z
9.684 * [backup-simplify]: Simplify (- z) into (- z)
9.684 * [taylor]: Taking taylor expansion of (- z) in z
9.684 * [taylor]: Taking taylor expansion of z in z
9.684 * [backup-simplify]: Simplify 0 into 0
9.684 * [backup-simplify]: Simplify 1 into 1
9.685 * [backup-simplify]: Simplify (- 0) into 0
9.685 * [backup-simplify]: Simplify 0 into 0
9.685 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
9.685 * [backup-simplify]: Simplify (- 0) into 0
9.685 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
9.685 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.685 * [taylor]: Taking taylor expansion of y in y
9.685 * [backup-simplify]: Simplify 0 into 0
9.685 * [backup-simplify]: Simplify 1 into 1
9.686 * [backup-simplify]: Simplify (/ 1 1) into 1
9.686 * [taylor]: Taking taylor expansion of 1 in z
9.686 * [backup-simplify]: Simplify 1 into 1
9.686 * [backup-simplify]: Simplify 1 into 1
9.686 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
9.687 * [backup-simplify]: Simplify (- 0) into 0
9.687 * [taylor]: Taking taylor expansion of 0 in z
9.687 * [backup-simplify]: Simplify 0 into 0
9.687 * [backup-simplify]: Simplify 0 into 0
9.687 * [backup-simplify]: Simplify (- 1) into -1
9.687 * [backup-simplify]: Simplify -1 into -1
9.687 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
9.687 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.687 * [backup-simplify]: Simplify (- 0) into 0
9.688 * [backup-simplify]: Simplify (+ 0 0) into 0
9.688 * [taylor]: Taking taylor expansion of 0 in y
9.688 * [backup-simplify]: Simplify 0 into 0
9.688 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.688 * [taylor]: Taking taylor expansion of 0 in z
9.688 * [backup-simplify]: Simplify 0 into 0
9.688 * [backup-simplify]: Simplify 0 into 0
9.689 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.689 * [backup-simplify]: Simplify (- 0) into 0
9.689 * [taylor]: Taking taylor expansion of 0 in z
9.689 * [backup-simplify]: Simplify 0 into 0
9.689 * [backup-simplify]: Simplify 0 into 0
9.689 * [backup-simplify]: Simplify 0 into 0
9.689 * [backup-simplify]: Simplify 0 into 0
9.689 * [backup-simplify]: Simplify (- 0) into 0
9.690 * [backup-simplify]: Simplify 0 into 0
9.690 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.690 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.690 * [backup-simplify]: Simplify (- 0) into 0
9.690 * [backup-simplify]: Simplify (+ 0 0) into 0
9.690 * [taylor]: Taking taylor expansion of 0 in y
9.690 * [backup-simplify]: Simplify 0 into 0
9.690 * [taylor]: Taking taylor expansion of 0 in z
9.690 * [backup-simplify]: Simplify 0 into 0
9.690 * [backup-simplify]: Simplify 0 into 0
9.691 * [backup-simplify]: Simplify (+ (* -1 (* z (* (/ 1 y) 1))) (* 1 (* 1 (* (/ 1 y) x)))) into (- (/ x y) (/ z y))
9.691 * [backup-simplify]: Simplify (- (/ (/ 1 x) (/ 1 y)) (/ (/ 1 z) (/ 1 y))) into (- (/ y x) (/ y z))
9.691 * [approximate]: Taking taylor expansion of (- (/ y x) (/ y z)) in (x y z) around 0
9.691 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in z
9.691 * [taylor]: Taking taylor expansion of (/ y x) in z
9.691 * [taylor]: Taking taylor expansion of y in z
9.691 * [backup-simplify]: Simplify y into y
9.691 * [taylor]: Taking taylor expansion of x in z
9.691 * [backup-simplify]: Simplify x into x
9.691 * [backup-simplify]: Simplify (/ y x) into (/ y x)
9.691 * [taylor]: Taking taylor expansion of (/ y z) in z
9.691 * [taylor]: Taking taylor expansion of y in z
9.691 * [backup-simplify]: Simplify y into y
9.691 * [taylor]: Taking taylor expansion of z in z
9.691 * [backup-simplify]: Simplify 0 into 0
9.691 * [backup-simplify]: Simplify 1 into 1
9.691 * [backup-simplify]: Simplify (/ y 1) into y
9.691 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in y
9.691 * [taylor]: Taking taylor expansion of (/ y x) in y
9.691 * [taylor]: Taking taylor expansion of y in y
9.691 * [backup-simplify]: Simplify 0 into 0
9.691 * [backup-simplify]: Simplify 1 into 1
9.691 * [taylor]: Taking taylor expansion of x in y
9.691 * [backup-simplify]: Simplify x into x
9.691 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.691 * [taylor]: Taking taylor expansion of (/ y z) in y
9.691 * [taylor]: Taking taylor expansion of y in y
9.691 * [backup-simplify]: Simplify 0 into 0
9.691 * [backup-simplify]: Simplify 1 into 1
9.691 * [taylor]: Taking taylor expansion of z in y
9.691 * [backup-simplify]: Simplify z into z
9.691 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.691 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
9.691 * [taylor]: Taking taylor expansion of (/ y x) in x
9.691 * [taylor]: Taking taylor expansion of y in x
9.691 * [backup-simplify]: Simplify y into y
9.691 * [taylor]: Taking taylor expansion of x in x
9.691 * [backup-simplify]: Simplify 0 into 0
9.691 * [backup-simplify]: Simplify 1 into 1
9.691 * [backup-simplify]: Simplify (/ y 1) into y
9.691 * [taylor]: Taking taylor expansion of (/ y z) in x
9.691 * [taylor]: Taking taylor expansion of y in x
9.691 * [backup-simplify]: Simplify y into y
9.691 * [taylor]: Taking taylor expansion of z in x
9.691 * [backup-simplify]: Simplify z into z
9.692 * [backup-simplify]: Simplify (/ y z) into (/ y z)
9.692 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
9.692 * [taylor]: Taking taylor expansion of (/ y x) in x
9.692 * [taylor]: Taking taylor expansion of y in x
9.692 * [backup-simplify]: Simplify y into y
9.692 * [taylor]: Taking taylor expansion of x in x
9.692 * [backup-simplify]: Simplify 0 into 0
9.692 * [backup-simplify]: Simplify 1 into 1
9.692 * [backup-simplify]: Simplify (/ y 1) into y
9.692 * [taylor]: Taking taylor expansion of (/ y z) in x
9.692 * [taylor]: Taking taylor expansion of y in x
9.692 * [backup-simplify]: Simplify y into y
9.692 * [taylor]: Taking taylor expansion of z in x
9.692 * [backup-simplify]: Simplify z into z
9.692 * [backup-simplify]: Simplify (/ y z) into (/ y z)
9.692 * [backup-simplify]: Simplify (+ y 0) into y
9.692 * [taylor]: Taking taylor expansion of y in y
9.692 * [backup-simplify]: Simplify 0 into 0
9.692 * [backup-simplify]: Simplify 1 into 1
9.692 * [taylor]: Taking taylor expansion of 1 in z
9.692 * [backup-simplify]: Simplify 1 into 1
9.692 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
9.693 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z))
9.693 * [backup-simplify]: Simplify (+ 0 (- (/ y z))) into (- (/ y z))
9.693 * [taylor]: Taking taylor expansion of (- (/ y z)) in y
9.693 * [taylor]: Taking taylor expansion of (/ y z) in y
9.693 * [taylor]: Taking taylor expansion of y in y
9.693 * [backup-simplify]: Simplify 0 into 0
9.693 * [backup-simplify]: Simplify 1 into 1
9.693 * [taylor]: Taking taylor expansion of z in y
9.693 * [backup-simplify]: Simplify z into z
9.693 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.693 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
9.693 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
9.693 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.693 * [taylor]: Taking taylor expansion of z in z
9.693 * [backup-simplify]: Simplify 0 into 0
9.693 * [backup-simplify]: Simplify 1 into 1
9.693 * [backup-simplify]: Simplify (/ 1 1) into 1
9.693 * [backup-simplify]: Simplify (- 1) into -1
9.693 * [backup-simplify]: Simplify -1 into -1
9.693 * [taylor]: Taking taylor expansion of 0 in z
9.693 * [backup-simplify]: Simplify 0 into 0
9.694 * [backup-simplify]: Simplify 1 into 1
9.694 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.694 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
9.695 * [backup-simplify]: Simplify (- 0) into 0
9.695 * [backup-simplify]: Simplify (+ 0 0) into 0
9.695 * [taylor]: Taking taylor expansion of 0 in y
9.695 * [backup-simplify]: Simplify 0 into 0
9.695 * [taylor]: Taking taylor expansion of 0 in z
9.695 * [backup-simplify]: Simplify 0 into 0
9.695 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
9.695 * [backup-simplify]: Simplify (- 0) into 0
9.695 * [taylor]: Taking taylor expansion of 0 in z
9.695 * [backup-simplify]: Simplify 0 into 0
9.695 * [taylor]: Taking taylor expansion of 0 in z
9.695 * [backup-simplify]: Simplify 0 into 0
9.696 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.696 * [backup-simplify]: Simplify (- 0) into 0
9.696 * [backup-simplify]: Simplify 0 into 0
9.696 * [backup-simplify]: Simplify 0 into 0
9.696 * [backup-simplify]: Simplify 0 into 0
9.697 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.697 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
9.698 * [backup-simplify]: Simplify (- 0) into 0
9.698 * [backup-simplify]: Simplify (+ 0 0) into 0
9.698 * [taylor]: Taking taylor expansion of 0 in y
9.698 * [backup-simplify]: Simplify 0 into 0
9.698 * [taylor]: Taking taylor expansion of 0 in z
9.698 * [backup-simplify]: Simplify 0 into 0
9.698 * [taylor]: Taking taylor expansion of 0 in z
9.698 * [backup-simplify]: Simplify 0 into 0
9.698 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
9.698 * [backup-simplify]: Simplify (- 0) into 0
9.698 * [taylor]: Taking taylor expansion of 0 in z
9.698 * [backup-simplify]: Simplify 0 into 0
9.698 * [taylor]: Taking taylor expansion of 0 in z
9.699 * [backup-simplify]: Simplify 0 into 0
9.699 * [backup-simplify]: Simplify 0 into 0
9.699 * [backup-simplify]: Simplify 0 into 0
9.699 * [backup-simplify]: Simplify 0 into 0
9.699 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 y) (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 y) 1)))) into (- (/ x y) (/ z y))
9.699 * [backup-simplify]: Simplify (- (/ (/ 1 (- x)) (/ 1 (- y))) (/ (/ 1 (- z)) (/ 1 (- y)))) into (- (/ y x) (/ y z))
9.699 * [approximate]: Taking taylor expansion of (- (/ y x) (/ y z)) in (x y z) around 0
9.699 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in z
9.699 * [taylor]: Taking taylor expansion of (/ y x) in z
9.699 * [taylor]: Taking taylor expansion of y in z
9.699 * [backup-simplify]: Simplify y into y
9.699 * [taylor]: Taking taylor expansion of x in z
9.699 * [backup-simplify]: Simplify x into x
9.699 * [backup-simplify]: Simplify (/ y x) into (/ y x)
9.699 * [taylor]: Taking taylor expansion of (/ y z) in z
9.699 * [taylor]: Taking taylor expansion of y in z
9.699 * [backup-simplify]: Simplify y into y
9.699 * [taylor]: Taking taylor expansion of z in z
9.699 * [backup-simplify]: Simplify 0 into 0
9.699 * [backup-simplify]: Simplify 1 into 1
9.699 * [backup-simplify]: Simplify (/ y 1) into y
9.699 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in y
9.699 * [taylor]: Taking taylor expansion of (/ y x) in y
9.699 * [taylor]: Taking taylor expansion of y in y
9.699 * [backup-simplify]: Simplify 0 into 0
9.699 * [backup-simplify]: Simplify 1 into 1
9.699 * [taylor]: Taking taylor expansion of x in y
9.699 * [backup-simplify]: Simplify x into x
9.699 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.699 * [taylor]: Taking taylor expansion of (/ y z) in y
9.699 * [taylor]: Taking taylor expansion of y in y
9.699 * [backup-simplify]: Simplify 0 into 0
9.700 * [backup-simplify]: Simplify 1 into 1
9.700 * [taylor]: Taking taylor expansion of z in y
9.700 * [backup-simplify]: Simplify z into z
9.700 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.700 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
9.700 * [taylor]: Taking taylor expansion of (/ y x) in x
9.700 * [taylor]: Taking taylor expansion of y in x
9.700 * [backup-simplify]: Simplify y into y
9.700 * [taylor]: Taking taylor expansion of x in x
9.700 * [backup-simplify]: Simplify 0 into 0
9.700 * [backup-simplify]: Simplify 1 into 1
9.700 * [backup-simplify]: Simplify (/ y 1) into y
9.700 * [taylor]: Taking taylor expansion of (/ y z) in x
9.700 * [taylor]: Taking taylor expansion of y in x
9.700 * [backup-simplify]: Simplify y into y
9.700 * [taylor]: Taking taylor expansion of z in x
9.700 * [backup-simplify]: Simplify z into z
9.700 * [backup-simplify]: Simplify (/ y z) into (/ y z)
9.700 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
9.700 * [taylor]: Taking taylor expansion of (/ y x) in x
9.700 * [taylor]: Taking taylor expansion of y in x
9.700 * [backup-simplify]: Simplify y into y
9.700 * [taylor]: Taking taylor expansion of x in x
9.700 * [backup-simplify]: Simplify 0 into 0
9.700 * [backup-simplify]: Simplify 1 into 1
9.700 * [backup-simplify]: Simplify (/ y 1) into y
9.700 * [taylor]: Taking taylor expansion of (/ y z) in x
9.700 * [taylor]: Taking taylor expansion of y in x
9.700 * [backup-simplify]: Simplify y into y
9.700 * [taylor]: Taking taylor expansion of z in x
9.700 * [backup-simplify]: Simplify z into z
9.700 * [backup-simplify]: Simplify (/ y z) into (/ y z)
9.700 * [backup-simplify]: Simplify (+ y 0) into y
9.700 * [taylor]: Taking taylor expansion of y in y
9.700 * [backup-simplify]: Simplify 0 into 0
9.700 * [backup-simplify]: Simplify 1 into 1
9.700 * [taylor]: Taking taylor expansion of 1 in z
9.700 * [backup-simplify]: Simplify 1 into 1
9.701 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
9.701 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z))
9.701 * [backup-simplify]: Simplify (+ 0 (- (/ y z))) into (- (/ y z))
9.701 * [taylor]: Taking taylor expansion of (- (/ y z)) in y
9.701 * [taylor]: Taking taylor expansion of (/ y z) in y
9.701 * [taylor]: Taking taylor expansion of y in y
9.701 * [backup-simplify]: Simplify 0 into 0
9.701 * [backup-simplify]: Simplify 1 into 1
9.701 * [taylor]: Taking taylor expansion of z in y
9.701 * [backup-simplify]: Simplify z into z
9.701 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.701 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
9.701 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
9.701 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.701 * [taylor]: Taking taylor expansion of z in z
9.701 * [backup-simplify]: Simplify 0 into 0
9.701 * [backup-simplify]: Simplify 1 into 1
9.701 * [backup-simplify]: Simplify (/ 1 1) into 1
9.702 * [backup-simplify]: Simplify (- 1) into -1
9.702 * [backup-simplify]: Simplify -1 into -1
9.702 * [taylor]: Taking taylor expansion of 0 in z
9.702 * [backup-simplify]: Simplify 0 into 0
9.702 * [backup-simplify]: Simplify 1 into 1
9.703 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.703 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
9.703 * [backup-simplify]: Simplify (- 0) into 0
9.703 * [backup-simplify]: Simplify (+ 0 0) into 0
9.703 * [taylor]: Taking taylor expansion of 0 in y
9.703 * [backup-simplify]: Simplify 0 into 0
9.703 * [taylor]: Taking taylor expansion of 0 in z
9.703 * [backup-simplify]: Simplify 0 into 0
9.703 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
9.704 * [backup-simplify]: Simplify (- 0) into 0
9.704 * [taylor]: Taking taylor expansion of 0 in z
9.704 * [backup-simplify]: Simplify 0 into 0
9.704 * [taylor]: Taking taylor expansion of 0 in z
9.704 * [backup-simplify]: Simplify 0 into 0
9.704 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.704 * [backup-simplify]: Simplify (- 0) into 0
9.704 * [backup-simplify]: Simplify 0 into 0
9.704 * [backup-simplify]: Simplify 0 into 0
9.704 * [backup-simplify]: Simplify 0 into 0
9.706 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.706 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
9.706 * [backup-simplify]: Simplify (- 0) into 0
9.706 * [backup-simplify]: Simplify (+ 0 0) into 0
9.706 * [taylor]: Taking taylor expansion of 0 in y
9.706 * [backup-simplify]: Simplify 0 into 0
9.706 * [taylor]: Taking taylor expansion of 0 in z
9.706 * [backup-simplify]: Simplify 0 into 0
9.706 * [taylor]: Taking taylor expansion of 0 in z
9.706 * [backup-simplify]: Simplify 0 into 0
9.706 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
9.707 * [backup-simplify]: Simplify (- 0) into 0
9.707 * [taylor]: Taking taylor expansion of 0 in z
9.707 * [backup-simplify]: Simplify 0 into 0
9.707 * [taylor]: Taking taylor expansion of 0 in z
9.707 * [backup-simplify]: Simplify 0 into 0
9.707 * [backup-simplify]: Simplify 0 into 0
9.707 * [backup-simplify]: Simplify 0 into 0
9.707 * [backup-simplify]: Simplify 0 into 0
9.707 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (- y)) (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (- y)) 1)))) into (- (/ x y) (/ z y))
9.707 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
9.707 * [backup-simplify]: Simplify (* 4.0 (- (/ x y) (/ z y))) into (* 4.0 (- (/ x y) (/ z y)))
9.707 * [approximate]: Taking taylor expansion of (* 4.0 (- (/ x y) (/ z y))) in (x y z) around 0
9.707 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ x y) (/ z y))) in z
9.707 * [taylor]: Taking taylor expansion of 4.0 in z
9.708 * [backup-simplify]: Simplify 4.0 into 4.0
9.708 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in z
9.708 * [taylor]: Taking taylor expansion of (/ x y) in z
9.708 * [taylor]: Taking taylor expansion of x in z
9.708 * [backup-simplify]: Simplify x into x
9.708 * [taylor]: Taking taylor expansion of y in z
9.708 * [backup-simplify]: Simplify y into y
9.708 * [backup-simplify]: Simplify (/ x y) into (/ x y)
9.708 * [taylor]: Taking taylor expansion of (/ z y) in z
9.708 * [taylor]: Taking taylor expansion of z in z
9.708 * [backup-simplify]: Simplify 0 into 0
9.708 * [backup-simplify]: Simplify 1 into 1
9.708 * [taylor]: Taking taylor expansion of y in z
9.708 * [backup-simplify]: Simplify y into y
9.708 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.708 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ x y) (/ z y))) in y
9.708 * [taylor]: Taking taylor expansion of 4.0 in y
9.708 * [backup-simplify]: Simplify 4.0 into 4.0
9.708 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in y
9.708 * [taylor]: Taking taylor expansion of (/ x y) in y
9.708 * [taylor]: Taking taylor expansion of x in y
9.708 * [backup-simplify]: Simplify x into x
9.708 * [taylor]: Taking taylor expansion of y in y
9.708 * [backup-simplify]: Simplify 0 into 0
9.708 * [backup-simplify]: Simplify 1 into 1
9.708 * [backup-simplify]: Simplify (/ x 1) into x
9.708 * [taylor]: Taking taylor expansion of (/ z y) in y
9.708 * [taylor]: Taking taylor expansion of z in y
9.708 * [backup-simplify]: Simplify z into z
9.708 * [taylor]: Taking taylor expansion of y in y
9.708 * [backup-simplify]: Simplify 0 into 0
9.709 * [backup-simplify]: Simplify 1 into 1
9.709 * [backup-simplify]: Simplify (/ z 1) into z
9.709 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ x y) (/ z y))) in x
9.709 * [taylor]: Taking taylor expansion of 4.0 in x
9.709 * [backup-simplify]: Simplify 4.0 into 4.0
9.709 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in x
9.709 * [taylor]: Taking taylor expansion of (/ x y) in x
9.709 * [taylor]: Taking taylor expansion of x in x
9.709 * [backup-simplify]: Simplify 0 into 0
9.709 * [backup-simplify]: Simplify 1 into 1
9.709 * [taylor]: Taking taylor expansion of y in x
9.709 * [backup-simplify]: Simplify y into y
9.709 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.709 * [taylor]: Taking taylor expansion of (/ z y) in x
9.709 * [taylor]: Taking taylor expansion of z in x
9.709 * [backup-simplify]: Simplify z into z
9.709 * [taylor]: Taking taylor expansion of y in x
9.709 * [backup-simplify]: Simplify y into y
9.709 * [backup-simplify]: Simplify (/ z y) into (/ z y)
9.709 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ x y) (/ z y))) in x
9.709 * [taylor]: Taking taylor expansion of 4.0 in x
9.709 * [backup-simplify]: Simplify 4.0 into 4.0
9.709 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in x
9.709 * [taylor]: Taking taylor expansion of (/ x y) in x
9.709 * [taylor]: Taking taylor expansion of x in x
9.709 * [backup-simplify]: Simplify 0 into 0
9.709 * [backup-simplify]: Simplify 1 into 1
9.709 * [taylor]: Taking taylor expansion of y in x
9.709 * [backup-simplify]: Simplify y into y
9.710 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
9.710 * [taylor]: Taking taylor expansion of (/ z y) in x
9.710 * [taylor]: Taking taylor expansion of z in x
9.710 * [backup-simplify]: Simplify z into z
9.710 * [taylor]: Taking taylor expansion of y in x
9.710 * [backup-simplify]: Simplify y into y
9.710 * [backup-simplify]: Simplify (/ z y) into (/ z y)
9.710 * [backup-simplify]: Simplify (- (/ z y)) into (- (/ z y))
9.710 * [backup-simplify]: Simplify (+ 0 (- (/ z y))) into (- (/ z y))
9.710 * [backup-simplify]: Simplify (* 4.0 (- (/ z y))) into (* -4.0 (/ z y))
9.710 * [taylor]: Taking taylor expansion of (* -4.0 (/ z y)) in y
9.710 * [taylor]: Taking taylor expansion of -4.0 in y
9.710 * [backup-simplify]: Simplify -4.0 into -4.0
9.710 * [taylor]: Taking taylor expansion of (/ z y) in y
9.710 * [taylor]: Taking taylor expansion of z in y
9.710 * [backup-simplify]: Simplify z into z
9.710 * [taylor]: Taking taylor expansion of y in y
9.710 * [backup-simplify]: Simplify 0 into 0
9.710 * [backup-simplify]: Simplify 1 into 1
9.710 * [backup-simplify]: Simplify (/ z 1) into z
9.710 * [backup-simplify]: Simplify (* -4.0 z) into (* -4.0 z)
9.710 * [taylor]: Taking taylor expansion of (* -4.0 z) in z
9.711 * [taylor]: Taking taylor expansion of -4.0 in z
9.711 * [backup-simplify]: Simplify -4.0 into -4.0
9.711 * [taylor]: Taking taylor expansion of z in z
9.711 * [backup-simplify]: Simplify 0 into 0
9.711 * [backup-simplify]: Simplify 1 into 1
9.711 * [backup-simplify]: Simplify (* -4.0 0) into 0
9.711 * [backup-simplify]: Simplify 0 into 0
9.711 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
9.712 * [backup-simplify]: Simplify (- 0) into 0
9.712 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
9.712 * [backup-simplify]: Simplify (+ (* 4.0 (/ 1 y)) (* 0 (- (/ z y)))) into (* 4.0 (/ 1 y))
9.712 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
9.712 * [taylor]: Taking taylor expansion of 4.0 in y
9.712 * [backup-simplify]: Simplify 4.0 into 4.0
9.712 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.712 * [taylor]: Taking taylor expansion of y in y
9.712 * [backup-simplify]: Simplify 0 into 0
9.712 * [backup-simplify]: Simplify 1 into 1
9.713 * [backup-simplify]: Simplify (/ 1 1) into 1
9.713 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
9.716 * [taylor]: Taking taylor expansion of 4.0 in z
9.717 * [backup-simplify]: Simplify 4.0 into 4.0
9.717 * [backup-simplify]: Simplify 4.0 into 4.0
9.718 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
9.718 * [backup-simplify]: Simplify (+ (* -4.0 0) (* 0 z)) into 0
9.718 * [taylor]: Taking taylor expansion of 0 in z
9.718 * [backup-simplify]: Simplify 0 into 0
9.718 * [backup-simplify]: Simplify 0 into 0
9.720 * [backup-simplify]: Simplify (+ (* -4.0 1) (* 0 0)) into (- 4.0)
9.720 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
9.720 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
9.721 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.721 * [backup-simplify]: Simplify (- 0) into 0
9.721 * [backup-simplify]: Simplify (+ 0 0) into 0
9.722 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (/ 1 y)) (* 0 (- (/ z y))))) into 0
9.722 * [taylor]: Taking taylor expansion of 0 in y
9.722 * [backup-simplify]: Simplify 0 into 0
9.723 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.724 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
9.724 * [taylor]: Taking taylor expansion of 0 in z
9.724 * [backup-simplify]: Simplify 0 into 0
9.724 * [backup-simplify]: Simplify 0 into 0
9.725 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.726 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 0) (* 0 z))) into 0
9.726 * [taylor]: Taking taylor expansion of 0 in z
9.726 * [backup-simplify]: Simplify 0 into 0
9.726 * [backup-simplify]: Simplify 0 into 0
9.726 * [backup-simplify]: Simplify 0 into 0
9.726 * [backup-simplify]: Simplify 0 into 0
9.727 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 1) (* 0 0))) into 0
9.727 * [backup-simplify]: Simplify 0 into 0
9.728 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.728 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
9.729 * [backup-simplify]: Simplify (- 0) into 0
9.729 * [backup-simplify]: Simplify (+ 0 0) into 0
9.730 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 (- (/ z y)))))) into 0
9.730 * [taylor]: Taking taylor expansion of 0 in y
9.730 * [backup-simplify]: Simplify 0 into 0
9.730 * [taylor]: Taking taylor expansion of 0 in z
9.730 * [backup-simplify]: Simplify 0 into 0
9.730 * [backup-simplify]: Simplify 0 into 0
9.731 * [backup-simplify]: Simplify (+ (* (- 4.0) (* z (* (/ 1 y) 1))) (* 4.0 (* 1 (* (/ 1 y) x)))) into (- (* 4.0 (/ x y)) (* 4.0 (/ z y)))
9.731 * [backup-simplify]: Simplify (* 4.0 (- (/ (/ 1 x) (/ 1 y)) (/ (/ 1 z) (/ 1 y)))) into (* 4.0 (- (/ y x) (/ y z)))
9.731 * [approximate]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in (x y z) around 0
9.731 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in z
9.731 * [taylor]: Taking taylor expansion of 4.0 in z
9.731 * [backup-simplify]: Simplify 4.0 into 4.0
9.731 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in z
9.732 * [taylor]: Taking taylor expansion of (/ y x) in z
9.732 * [taylor]: Taking taylor expansion of y in z
9.732 * [backup-simplify]: Simplify y into y
9.732 * [taylor]: Taking taylor expansion of x in z
9.732 * [backup-simplify]: Simplify x into x
9.732 * [backup-simplify]: Simplify (/ y x) into (/ y x)
9.732 * [taylor]: Taking taylor expansion of (/ y z) in z
9.732 * [taylor]: Taking taylor expansion of y in z
9.732 * [backup-simplify]: Simplify y into y
9.732 * [taylor]: Taking taylor expansion of z in z
9.732 * [backup-simplify]: Simplify 0 into 0
9.732 * [backup-simplify]: Simplify 1 into 1
9.732 * [backup-simplify]: Simplify (/ y 1) into y
9.732 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in y
9.732 * [taylor]: Taking taylor expansion of 4.0 in y
9.732 * [backup-simplify]: Simplify 4.0 into 4.0
9.732 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in y
9.732 * [taylor]: Taking taylor expansion of (/ y x) in y
9.732 * [taylor]: Taking taylor expansion of y in y
9.732 * [backup-simplify]: Simplify 0 into 0
9.732 * [backup-simplify]: Simplify 1 into 1
9.732 * [taylor]: Taking taylor expansion of x in y
9.732 * [backup-simplify]: Simplify x into x
9.732 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.732 * [taylor]: Taking taylor expansion of (/ y z) in y
9.732 * [taylor]: Taking taylor expansion of y in y
9.732 * [backup-simplify]: Simplify 0 into 0
9.732 * [backup-simplify]: Simplify 1 into 1
9.732 * [taylor]: Taking taylor expansion of z in y
9.732 * [backup-simplify]: Simplify z into z
9.733 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.733 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in x
9.733 * [taylor]: Taking taylor expansion of 4.0 in x
9.733 * [backup-simplify]: Simplify 4.0 into 4.0
9.733 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
9.733 * [taylor]: Taking taylor expansion of (/ y x) in x
9.733 * [taylor]: Taking taylor expansion of y in x
9.733 * [backup-simplify]: Simplify y into y
9.733 * [taylor]: Taking taylor expansion of x in x
9.733 * [backup-simplify]: Simplify 0 into 0
9.733 * [backup-simplify]: Simplify 1 into 1
9.733 * [backup-simplify]: Simplify (/ y 1) into y
9.733 * [taylor]: Taking taylor expansion of (/ y z) in x
9.733 * [taylor]: Taking taylor expansion of y in x
9.733 * [backup-simplify]: Simplify y into y
9.733 * [taylor]: Taking taylor expansion of z in x
9.733 * [backup-simplify]: Simplify z into z
9.733 * [backup-simplify]: Simplify (/ y z) into (/ y z)
9.733 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in x
9.733 * [taylor]: Taking taylor expansion of 4.0 in x
9.733 * [backup-simplify]: Simplify 4.0 into 4.0
9.733 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
9.733 * [taylor]: Taking taylor expansion of (/ y x) in x
9.733 * [taylor]: Taking taylor expansion of y in x
9.733 * [backup-simplify]: Simplify y into y
9.733 * [taylor]: Taking taylor expansion of x in x
9.733 * [backup-simplify]: Simplify 0 into 0
9.733 * [backup-simplify]: Simplify 1 into 1
9.733 * [backup-simplify]: Simplify (/ y 1) into y
9.733 * [taylor]: Taking taylor expansion of (/ y z) in x
9.734 * [taylor]: Taking taylor expansion of y in x
9.734 * [backup-simplify]: Simplify y into y
9.734 * [taylor]: Taking taylor expansion of z in x
9.734 * [backup-simplify]: Simplify z into z
9.734 * [backup-simplify]: Simplify (/ y z) into (/ y z)
9.734 * [backup-simplify]: Simplify (+ y 0) into y
9.734 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
9.734 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
9.734 * [taylor]: Taking taylor expansion of 4.0 in y
9.734 * [backup-simplify]: Simplify 4.0 into 4.0
9.734 * [taylor]: Taking taylor expansion of y in y
9.734 * [backup-simplify]: Simplify 0 into 0
9.734 * [backup-simplify]: Simplify 1 into 1
9.736 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
9.736 * [taylor]: Taking taylor expansion of 4.0 in z
9.736 * [backup-simplify]: Simplify 4.0 into 4.0
9.737 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
9.737 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z))
9.737 * [backup-simplify]: Simplify (+ 0 (- (/ y z))) into (- (/ y z))
9.737 * [backup-simplify]: Simplify (+ (* 4.0 (- (/ y z))) (* 0 y)) into (- (* 4.0 (/ y z)))
9.738 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ y z))) in y
9.738 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
9.738 * [taylor]: Taking taylor expansion of 4.0 in y
9.738 * [backup-simplify]: Simplify 4.0 into 4.0
9.738 * [taylor]: Taking taylor expansion of (/ y z) in y
9.738 * [taylor]: Taking taylor expansion of y in y
9.738 * [backup-simplify]: Simplify 0 into 0
9.738 * [backup-simplify]: Simplify 1 into 1
9.738 * [taylor]: Taking taylor expansion of z in y
9.738 * [backup-simplify]: Simplify z into z
9.738 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.738 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
9.738 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
9.738 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
9.738 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
9.738 * [taylor]: Taking taylor expansion of 4.0 in z
9.738 * [backup-simplify]: Simplify 4.0 into 4.0
9.738 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.738 * [taylor]: Taking taylor expansion of z in z
9.738 * [backup-simplify]: Simplify 0 into 0
9.738 * [backup-simplify]: Simplify 1 into 1
9.739 * [backup-simplify]: Simplify (/ 1 1) into 1
9.739 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
9.740 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
9.740 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
9.741 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
9.741 * [taylor]: Taking taylor expansion of 0 in z
9.741 * [backup-simplify]: Simplify 0 into 0
9.741 * [backup-simplify]: Simplify 4.0 into 4.0
9.743 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.743 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
9.743 * [backup-simplify]: Simplify (- 0) into 0
9.744 * [backup-simplify]: Simplify (+ 0 0) into 0
9.744 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (- (/ y z))) (* 0 y))) into 0
9.744 * [taylor]: Taking taylor expansion of 0 in y
9.744 * [backup-simplify]: Simplify 0 into 0
9.744 * [taylor]: Taking taylor expansion of 0 in z
9.744 * [backup-simplify]: Simplify 0 into 0
9.745 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
9.745 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ 1 z))) into 0
9.746 * [backup-simplify]: Simplify (- 0) into 0
9.746 * [taylor]: Taking taylor expansion of 0 in z
9.746 * [backup-simplify]: Simplify 0 into 0
9.747 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
9.747 * [taylor]: Taking taylor expansion of 0 in z
9.747 * [backup-simplify]: Simplify 0 into 0
9.748 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.748 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
9.749 * [backup-simplify]: Simplify (- 0) into 0
9.749 * [backup-simplify]: Simplify 0 into 0
9.749 * [backup-simplify]: Simplify 0 into 0
9.749 * [backup-simplify]: Simplify 0 into 0
9.751 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.751 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
9.751 * [backup-simplify]: Simplify (- 0) into 0
9.752 * [backup-simplify]: Simplify (+ 0 0) into 0
9.753 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 (- (/ y z))) (* 0 y)))) into 0
9.753 * [taylor]: Taking taylor expansion of 0 in y
9.753 * [backup-simplify]: Simplify 0 into 0
9.753 * [taylor]: Taking taylor expansion of 0 in z
9.753 * [backup-simplify]: Simplify 0 into 0
9.753 * [taylor]: Taking taylor expansion of 0 in z
9.753 * [backup-simplify]: Simplify 0 into 0
9.753 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
9.754 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
9.755 * [backup-simplify]: Simplify (- 0) into 0
9.755 * [taylor]: Taking taylor expansion of 0 in z
9.755 * [backup-simplify]: Simplify 0 into 0
9.756 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
9.756 * [taylor]: Taking taylor expansion of 0 in z
9.756 * [backup-simplify]: Simplify 0 into 0
9.756 * [backup-simplify]: Simplify 0 into 0
9.756 * [backup-simplify]: Simplify 0 into 0
9.756 * [backup-simplify]: Simplify 0 into 0
9.756 * [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)))
9.756 * [backup-simplify]: Simplify (* 4.0 (- (/ (/ 1 (- x)) (/ 1 (- y))) (/ (/ 1 (- z)) (/ 1 (- y))))) into (* 4.0 (- (/ y x) (/ y z)))
9.756 * [approximate]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in (x y z) around 0
9.756 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in z
9.756 * [taylor]: Taking taylor expansion of 4.0 in z
9.756 * [backup-simplify]: Simplify 4.0 into 4.0
9.756 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in z
9.757 * [taylor]: Taking taylor expansion of (/ y x) in z
9.757 * [taylor]: Taking taylor expansion of y in z
9.757 * [backup-simplify]: Simplify y into y
9.757 * [taylor]: Taking taylor expansion of x in z
9.757 * [backup-simplify]: Simplify x into x
9.757 * [backup-simplify]: Simplify (/ y x) into (/ y x)
9.757 * [taylor]: Taking taylor expansion of (/ y z) in z
9.757 * [taylor]: Taking taylor expansion of y in z
9.757 * [backup-simplify]: Simplify y into y
9.757 * [taylor]: Taking taylor expansion of z in z
9.757 * [backup-simplify]: Simplify 0 into 0
9.757 * [backup-simplify]: Simplify 1 into 1
9.757 * [backup-simplify]: Simplify (/ y 1) into y
9.757 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in y
9.757 * [taylor]: Taking taylor expansion of 4.0 in y
9.757 * [backup-simplify]: Simplify 4.0 into 4.0
9.757 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in y
9.757 * [taylor]: Taking taylor expansion of (/ y x) in y
9.757 * [taylor]: Taking taylor expansion of y in y
9.757 * [backup-simplify]: Simplify 0 into 0
9.757 * [backup-simplify]: Simplify 1 into 1
9.757 * [taylor]: Taking taylor expansion of x in y
9.757 * [backup-simplify]: Simplify x into x
9.757 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
9.757 * [taylor]: Taking taylor expansion of (/ y z) in y
9.757 * [taylor]: Taking taylor expansion of y in y
9.757 * [backup-simplify]: Simplify 0 into 0
9.757 * [backup-simplify]: Simplify 1 into 1
9.757 * [taylor]: Taking taylor expansion of z in y
9.757 * [backup-simplify]: Simplify z into z
9.757 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.757 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in x
9.757 * [taylor]: Taking taylor expansion of 4.0 in x
9.757 * [backup-simplify]: Simplify 4.0 into 4.0
9.757 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
9.757 * [taylor]: Taking taylor expansion of (/ y x) in x
9.757 * [taylor]: Taking taylor expansion of y in x
9.757 * [backup-simplify]: Simplify y into y
9.757 * [taylor]: Taking taylor expansion of x in x
9.757 * [backup-simplify]: Simplify 0 into 0
9.757 * [backup-simplify]: Simplify 1 into 1
9.757 * [backup-simplify]: Simplify (/ y 1) into y
9.757 * [taylor]: Taking taylor expansion of (/ y z) in x
9.757 * [taylor]: Taking taylor expansion of y in x
9.757 * [backup-simplify]: Simplify y into y
9.757 * [taylor]: Taking taylor expansion of z in x
9.757 * [backup-simplify]: Simplify z into z
9.757 * [backup-simplify]: Simplify (/ y z) into (/ y z)
9.757 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in x
9.757 * [taylor]: Taking taylor expansion of 4.0 in x
9.757 * [backup-simplify]: Simplify 4.0 into 4.0
9.757 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
9.757 * [taylor]: Taking taylor expansion of (/ y x) in x
9.757 * [taylor]: Taking taylor expansion of y in x
9.758 * [backup-simplify]: Simplify y into y
9.758 * [taylor]: Taking taylor expansion of x in x
9.758 * [backup-simplify]: Simplify 0 into 0
9.758 * [backup-simplify]: Simplify 1 into 1
9.758 * [backup-simplify]: Simplify (/ y 1) into y
9.758 * [taylor]: Taking taylor expansion of (/ y z) in x
9.758 * [taylor]: Taking taylor expansion of y in x
9.758 * [backup-simplify]: Simplify y into y
9.758 * [taylor]: Taking taylor expansion of z in x
9.758 * [backup-simplify]: Simplify z into z
9.758 * [backup-simplify]: Simplify (/ y z) into (/ y z)
9.758 * [backup-simplify]: Simplify (+ y 0) into y
9.758 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
9.758 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
9.758 * [taylor]: Taking taylor expansion of 4.0 in y
9.758 * [backup-simplify]: Simplify 4.0 into 4.0
9.758 * [taylor]: Taking taylor expansion of y in y
9.758 * [backup-simplify]: Simplify 0 into 0
9.758 * [backup-simplify]: Simplify 1 into 1
9.759 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
9.759 * [taylor]: Taking taylor expansion of 4.0 in z
9.759 * [backup-simplify]: Simplify 4.0 into 4.0
9.759 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
9.759 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z))
9.760 * [backup-simplify]: Simplify (+ 0 (- (/ y z))) into (- (/ y z))
9.760 * [backup-simplify]: Simplify (+ (* 4.0 (- (/ y z))) (* 0 y)) into (- (* 4.0 (/ y z)))
9.760 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ y z))) in y
9.760 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
9.760 * [taylor]: Taking taylor expansion of 4.0 in y
9.760 * [backup-simplify]: Simplify 4.0 into 4.0
9.760 * [taylor]: Taking taylor expansion of (/ y z) in y
9.760 * [taylor]: Taking taylor expansion of y in y
9.760 * [backup-simplify]: Simplify 0 into 0
9.760 * [backup-simplify]: Simplify 1 into 1
9.760 * [taylor]: Taking taylor expansion of z in y
9.760 * [backup-simplify]: Simplify z into z
9.760 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
9.760 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
9.760 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
9.760 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
9.760 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
9.760 * [taylor]: Taking taylor expansion of 4.0 in z
9.760 * [backup-simplify]: Simplify 4.0 into 4.0
9.760 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.760 * [taylor]: Taking taylor expansion of z in z
9.760 * [backup-simplify]: Simplify 0 into 0
9.760 * [backup-simplify]: Simplify 1 into 1
9.760 * [backup-simplify]: Simplify (/ 1 1) into 1
9.761 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
9.761 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
9.761 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
9.762 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
9.762 * [taylor]: Taking taylor expansion of 0 in z
9.762 * [backup-simplify]: Simplify 0 into 0
9.762 * [backup-simplify]: Simplify 4.0 into 4.0
9.763 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.763 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
9.763 * [backup-simplify]: Simplify (- 0) into 0
9.763 * [backup-simplify]: Simplify (+ 0 0) into 0
9.764 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (- (/ y z))) (* 0 y))) into 0
9.764 * [taylor]: Taking taylor expansion of 0 in y
9.764 * [backup-simplify]: Simplify 0 into 0
9.764 * [taylor]: Taking taylor expansion of 0 in z
9.764 * [backup-simplify]: Simplify 0 into 0
9.764 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
9.764 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ 1 z))) into 0
9.764 * [backup-simplify]: Simplify (- 0) into 0
9.764 * [taylor]: Taking taylor expansion of 0 in z
9.764 * [backup-simplify]: Simplify 0 into 0
9.765 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
9.765 * [taylor]: Taking taylor expansion of 0 in z
9.765 * [backup-simplify]: Simplify 0 into 0
9.765 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.766 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
9.766 * [backup-simplify]: Simplify (- 0) into 0
9.766 * [backup-simplify]: Simplify 0 into 0
9.766 * [backup-simplify]: Simplify 0 into 0
9.766 * [backup-simplify]: Simplify 0 into 0
9.767 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.767 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
9.768 * [backup-simplify]: Simplify (- 0) into 0
9.768 * [backup-simplify]: Simplify (+ 0 0) into 0
9.768 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 (- (/ y z))) (* 0 y)))) into 0
9.769 * [taylor]: Taking taylor expansion of 0 in y
9.769 * [backup-simplify]: Simplify 0 into 0
9.769 * [taylor]: Taking taylor expansion of 0 in z
9.769 * [backup-simplify]: Simplify 0 into 0
9.769 * [taylor]: Taking taylor expansion of 0 in z
9.769 * [backup-simplify]: Simplify 0 into 0
9.769 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
9.769 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
9.770 * [backup-simplify]: Simplify (- 0) into 0
9.770 * [taylor]: Taking taylor expansion of 0 in z
9.770 * [backup-simplify]: Simplify 0 into 0
9.770 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
9.770 * [taylor]: Taking taylor expansion of 0 in z
9.770 * [backup-simplify]: Simplify 0 into 0
9.770 * [backup-simplify]: Simplify 0 into 0
9.770 * [backup-simplify]: Simplify 0 into 0
9.770 * [backup-simplify]: Simplify 0 into 0
9.771 * [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)))
9.771 * * * [progress]: simplifying candidates
9.773 * [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)))
9.774 * * [simplify]: Extracting # 0 : cost  0
9.774 * * [simplify]: Extracting # 1 : cost  0
9.774 * * [simplify]: Extracting # 2 : cost  0
9.774 * * [simplify]: Extracting # 3 : cost  0
9.774 * * [simplify]: Extracting # 4 : cost  0
9.774 * * [simplify]: Extracting # 5 : cost  0
9.775 * * [simplify]: iteration  0 :  101  enodes  (cost  731 )
9.820 * * [simplify]: Extracting # 0 : cost  0
9.821 * * [simplify]: Extracting # 1 : cost  0
9.821 * * [simplify]: Extracting # 2 : cost  0
9.822 * * [simplify]: Extracting # 3 : cost  0
9.822 * * [simplify]: Extracting # 4 : cost  0
9.823 * * [simplify]: iteration  1 :  235  enodes  (cost  705 )
9.892 * * [simplify]: Extracting # 0 : cost  0
9.893 * * [simplify]: Extracting # 1 : cost  0
9.894 * * [simplify]: Extracting # 2 : cost  0
9.894 * * [simplify]: Extracting # 3 : cost  0
9.895 * * [simplify]: Extracting # 4 : cost  0
9.896 * * [simplify]: Extracting # 5 : cost  0
9.897 * * [simplify]: iteration  2 :  536  enodes  (cost  651 )
10.273 * * [simplify]: Extracting # 0 : cost  0
10.278 * * [simplify]: Extracting # 1 : cost  0
10.281 * * [simplify]: Extracting # 2 : cost  0
10.291 * * [simplify]: Extracting # 3 : cost  0
10.294 * * [simplify]: Extracting # 4 : cost  0
10.298 * * [simplify]: iteration  3 :  1602  enodes  (cost  651 )
12.280 * * [simplify]: Extracting # 0 : cost  0
12.288 * * [simplify]: Extracting # 1 : cost  0
12.293 * * [simplify]: Extracting # 2 : cost  0
12.297 * * [simplify]: Extracting # 3 : cost  0
12.301 * * [simplify]: Extracting # 4 : cost  0
12.310 * * [simplify]: iteration done:  5000  enodes  (cost  617 )
12.310 * [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))
12.311 * * * [progress]: adding candidates to table
12.542 * * [progress]: iteration 3 / 4
12.542 * * * [progress]: picking best candidate
12.544 * * * * [pick]: Picked  #<alt (λ (x y z) (+ 2.0 (* (/ 4.0 y) (- x z))))>
12.544 * * * [progress]: localizing error
12.559 * * * [progress]: generating rewritten candidates
12.559 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
12.627 * * * [progress]: generating series expansions
12.627 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
12.627 * [backup-simplify]: Simplify (* (/ 4.0 y) (- x z)) into (* 4.0 (/ (- x z) y))
12.627 * [approximate]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in (y x z) around 0
12.627 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in z
12.627 * [taylor]: Taking taylor expansion of 4.0 in z
12.627 * [backup-simplify]: Simplify 4.0 into 4.0
12.627 * [taylor]: Taking taylor expansion of (/ (- x z) y) in z
12.628 * [taylor]: Taking taylor expansion of (- x z) in z
12.628 * [taylor]: Taking taylor expansion of x in z
12.628 * [backup-simplify]: Simplify x into x
12.628 * [taylor]: Taking taylor expansion of z in z
12.628 * [backup-simplify]: Simplify 0 into 0
12.628 * [backup-simplify]: Simplify 1 into 1
12.628 * [taylor]: Taking taylor expansion of y in z
12.628 * [backup-simplify]: Simplify y into y
12.628 * [backup-simplify]: Simplify (- 0) into 0
12.628 * [backup-simplify]: Simplify (+ x 0) into x
12.629 * [backup-simplify]: Simplify (/ x y) into (/ x y)
12.629 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in x
12.629 * [taylor]: Taking taylor expansion of 4.0 in x
12.629 * [backup-simplify]: Simplify 4.0 into 4.0
12.629 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x
12.629 * [taylor]: Taking taylor expansion of (- x z) in x
12.629 * [taylor]: Taking taylor expansion of x in x
12.629 * [backup-simplify]: Simplify 0 into 0
12.629 * [backup-simplify]: Simplify 1 into 1
12.629 * [taylor]: Taking taylor expansion of z in x
12.629 * [backup-simplify]: Simplify z into z
12.629 * [taylor]: Taking taylor expansion of y in x
12.629 * [backup-simplify]: Simplify y into y
12.629 * [backup-simplify]: Simplify (- z) into (- z)
12.629 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
12.629 * [backup-simplify]: Simplify (/ (- z) y) into (* -1 (/ z y))
12.629 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in y
12.629 * [taylor]: Taking taylor expansion of 4.0 in y
12.629 * [backup-simplify]: Simplify 4.0 into 4.0
12.629 * [taylor]: Taking taylor expansion of (/ (- x z) y) in y
12.629 * [taylor]: Taking taylor expansion of (- x z) in y
12.629 * [taylor]: Taking taylor expansion of x in y
12.629 * [backup-simplify]: Simplify x into x
12.629 * [taylor]: Taking taylor expansion of z in y
12.629 * [backup-simplify]: Simplify z into z
12.629 * [taylor]: Taking taylor expansion of y in y
12.629 * [backup-simplify]: Simplify 0 into 0
12.629 * [backup-simplify]: Simplify 1 into 1
12.629 * [backup-simplify]: Simplify (- z) into (- z)
12.629 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
12.630 * [backup-simplify]: Simplify (/ (- x z) 1) into (- x z)
12.630 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in y
12.630 * [taylor]: Taking taylor expansion of 4.0 in y
12.630 * [backup-simplify]: Simplify 4.0 into 4.0
12.630 * [taylor]: Taking taylor expansion of (/ (- x z) y) in y
12.630 * [taylor]: Taking taylor expansion of (- x z) in y
12.630 * [taylor]: Taking taylor expansion of x in y
12.630 * [backup-simplify]: Simplify x into x
12.630 * [taylor]: Taking taylor expansion of z in y
12.630 * [backup-simplify]: Simplify z into z
12.630 * [taylor]: Taking taylor expansion of y in y
12.630 * [backup-simplify]: Simplify 0 into 0
12.630 * [backup-simplify]: Simplify 1 into 1
12.630 * [backup-simplify]: Simplify (- z) into (- z)
12.630 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
12.630 * [backup-simplify]: Simplify (/ (- x z) 1) into (- x z)
12.630 * [backup-simplify]: Simplify (* 4.0 (- x z)) into (* 4.0 (- x z))
12.630 * [taylor]: Taking taylor expansion of (* 4.0 (- x z)) in x
12.630 * [taylor]: Taking taylor expansion of 4.0 in x
12.630 * [backup-simplify]: Simplify 4.0 into 4.0
12.630 * [taylor]: Taking taylor expansion of (- x z) in x
12.630 * [taylor]: Taking taylor expansion of x in x
12.631 * [backup-simplify]: Simplify 0 into 0
12.631 * [backup-simplify]: Simplify 1 into 1
12.631 * [taylor]: Taking taylor expansion of z in x
12.631 * [backup-simplify]: Simplify z into z
12.631 * [backup-simplify]: Simplify (- z) into (- z)
12.631 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
12.631 * [backup-simplify]: Simplify (* 4.0 (- z)) into (* -4.0 z)
12.631 * [taylor]: Taking taylor expansion of (* -4.0 z) in z
12.631 * [taylor]: Taking taylor expansion of -4.0 in z
12.631 * [backup-simplify]: Simplify -4.0 into -4.0
12.631 * [taylor]: Taking taylor expansion of z in z
12.631 * [backup-simplify]: Simplify 0 into 0
12.631 * [backup-simplify]: Simplify 1 into 1
12.631 * [backup-simplify]: Simplify (* -4.0 0) into 0
12.632 * [backup-simplify]: Simplify 0 into 0
12.632 * [backup-simplify]: Simplify (- 0) into 0
12.632 * [backup-simplify]: Simplify (+ 0 0) into 0
12.633 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- x z) (/ 0 1)))) into 0
12.634 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (- x z))) into 0
12.634 * [taylor]: Taking taylor expansion of 0 in x
12.634 * [backup-simplify]: Simplify 0 into 0
12.634 * [taylor]: Taking taylor expansion of 0 in z
12.634 * [backup-simplify]: Simplify 0 into 0
12.634 * [backup-simplify]: Simplify 0 into 0
12.634 * [backup-simplify]: Simplify (- 0) into 0
12.635 * [backup-simplify]: Simplify (+ 1 0) into 1
12.636 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 (- z))) into 4.0
12.636 * [taylor]: Taking taylor expansion of 4.0 in z
12.636 * [backup-simplify]: Simplify 4.0 into 4.0
12.636 * [backup-simplify]: Simplify 4.0 into 4.0
12.637 * [backup-simplify]: Simplify (+ (* -4.0 1) (* 0 0)) into (- 4.0)
12.638 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
12.638 * [backup-simplify]: Simplify (- 0) into 0
12.638 * [backup-simplify]: Simplify (+ 0 0) into 0
12.640 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- x z) (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.641 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 (- x z)))) into 0
12.641 * [taylor]: Taking taylor expansion of 0 in x
12.641 * [backup-simplify]: Simplify 0 into 0
12.641 * [taylor]: Taking taylor expansion of 0 in z
12.641 * [backup-simplify]: Simplify 0 into 0
12.641 * [backup-simplify]: Simplify 0 into 0
12.641 * [taylor]: Taking taylor expansion of 0 in z
12.641 * [backup-simplify]: Simplify 0 into 0
12.641 * [backup-simplify]: Simplify 0 into 0
12.641 * [backup-simplify]: Simplify (- 0) into 0
12.642 * [backup-simplify]: Simplify (+ 0 0) into 0
12.643 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 (- z)))) into 0
12.643 * [taylor]: Taking taylor expansion of 0 in z
12.643 * [backup-simplify]: Simplify 0 into 0
12.643 * [backup-simplify]: Simplify 0 into 0
12.643 * [backup-simplify]: Simplify 0 into 0
12.643 * [backup-simplify]: Simplify 0 into 0
12.644 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 1) (* 0 0))) into 0
12.644 * [backup-simplify]: Simplify 0 into 0
12.644 * [backup-simplify]: Simplify (+ (* (- 4.0) (* z (* 1 (/ 1 y)))) (* 4.0 (* 1 (* x (/ 1 y))))) into (- (* 4.0 (/ x y)) (* 4.0 (/ z y)))
12.645 * [backup-simplify]: Simplify (* (/ 4.0 (/ 1 y)) (- (/ 1 x) (/ 1 z))) into (* 4.0 (* y (- (/ 1 x) (/ 1 z))))
12.645 * [approximate]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in (y x z) around 0
12.645 * [taylor]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in z
12.645 * [taylor]: Taking taylor expansion of 4.0 in z
12.645 * [backup-simplify]: Simplify 4.0 into 4.0
12.645 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in z
12.645 * [taylor]: Taking taylor expansion of y in z
12.645 * [backup-simplify]: Simplify y into y
12.645 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
12.645 * [taylor]: Taking taylor expansion of (/ 1 x) in z
12.645 * [taylor]: Taking taylor expansion of x in z
12.645 * [backup-simplify]: Simplify x into x
12.645 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
12.645 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.645 * [taylor]: Taking taylor expansion of z in z
12.645 * [backup-simplify]: Simplify 0 into 0
12.645 * [backup-simplify]: Simplify 1 into 1
12.646 * [backup-simplify]: Simplify (/ 1 1) into 1
12.646 * [taylor]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in x
12.646 * [taylor]: Taking taylor expansion of 4.0 in x
12.646 * [backup-simplify]: Simplify 4.0 into 4.0
12.646 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in x
12.646 * [taylor]: Taking taylor expansion of y in x
12.646 * [backup-simplify]: Simplify y into y
12.646 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
12.646 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.646 * [taylor]: Taking taylor expansion of x in x
12.646 * [backup-simplify]: Simplify 0 into 0
12.646 * [backup-simplify]: Simplify 1 into 1
12.646 * [backup-simplify]: Simplify (/ 1 1) into 1
12.646 * [taylor]: Taking taylor expansion of (/ 1 z) in x
12.646 * [taylor]: Taking taylor expansion of z in x
12.646 * [backup-simplify]: Simplify z into z
12.647 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
12.647 * [taylor]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in y
12.647 * [taylor]: Taking taylor expansion of 4.0 in y
12.647 * [backup-simplify]: Simplify 4.0 into 4.0
12.647 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in y
12.647 * [taylor]: Taking taylor expansion of y in y
12.647 * [backup-simplify]: Simplify 0 into 0
12.647 * [backup-simplify]: Simplify 1 into 1
12.647 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
12.647 * [taylor]: Taking taylor expansion of (/ 1 x) in y
12.647 * [taylor]: Taking taylor expansion of x in y
12.647 * [backup-simplify]: Simplify x into x
12.647 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
12.647 * [taylor]: Taking taylor expansion of (/ 1 z) in y
12.647 * [taylor]: Taking taylor expansion of z in y
12.647 * [backup-simplify]: Simplify z into z
12.647 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
12.647 * [taylor]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in y
12.647 * [taylor]: Taking taylor expansion of 4.0 in y
12.647 * [backup-simplify]: Simplify 4.0 into 4.0
12.647 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in y
12.647 * [taylor]: Taking taylor expansion of y in y
12.647 * [backup-simplify]: Simplify 0 into 0
12.647 * [backup-simplify]: Simplify 1 into 1
12.647 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
12.647 * [taylor]: Taking taylor expansion of (/ 1 x) in y
12.647 * [taylor]: Taking taylor expansion of x in y
12.647 * [backup-simplify]: Simplify x into x
12.647 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
12.647 * [taylor]: Taking taylor expansion of (/ 1 z) in y
12.647 * [taylor]: Taking taylor expansion of z in y
12.647 * [backup-simplify]: Simplify z into z
12.647 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
12.648 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
12.648 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
12.648 * [backup-simplify]: Simplify (* 0 (- (/ 1 x) (/ 1 z))) into 0
12.648 * [backup-simplify]: Simplify (* 4.0 0) into 0
12.648 * [taylor]: Taking taylor expansion of 0 in x
12.648 * [backup-simplify]: Simplify 0 into 0
12.648 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
12.648 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
12.649 * [backup-simplify]: Simplify (- 0) into 0
12.649 * [backup-simplify]: Simplify (+ 0 0) into 0
12.649 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (/ 1 x) (/ 1 z)))) into (- (/ 1 x) (/ 1 z))
12.649 * [backup-simplify]: Simplify (+ (* 4.0 (- (/ 1 x) (/ 1 z))) (* 0 0)) into (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 z)))
12.649 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 z))) in x
12.649 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
12.649 * [taylor]: Taking taylor expansion of 4.0 in x
12.650 * [backup-simplify]: Simplify 4.0 into 4.0
12.650 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.650 * [taylor]: Taking taylor expansion of x in x
12.650 * [backup-simplify]: Simplify 0 into 0
12.650 * [backup-simplify]: Simplify 1 into 1
12.650 * [backup-simplify]: Simplify (/ 1 1) into 1
12.650 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in x
12.650 * [taylor]: Taking taylor expansion of 4.0 in x
12.650 * [backup-simplify]: Simplify 4.0 into 4.0
12.650 * [taylor]: Taking taylor expansion of (/ 1 z) in x
12.650 * [taylor]: Taking taylor expansion of z in x
12.650 * [backup-simplify]: Simplify z into z
12.650 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
12.650 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
12.651 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
12.651 * [taylor]: Taking taylor expansion of 4.0 in z
12.651 * [backup-simplify]: Simplify 4.0 into 4.0
12.651 * [taylor]: Taking taylor expansion of 0 in z
12.651 * [backup-simplify]: Simplify 0 into 0
12.651 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
12.651 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
12.651 * [backup-simplify]: Simplify (- 0) into 0
12.651 * [backup-simplify]: Simplify (+ 0 0) into 0
12.652 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (/ 1 x) (/ 1 z))))) into 0
12.652 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (- (/ 1 x) (/ 1 z))) (* 0 0))) into 0
12.652 * [taylor]: Taking taylor expansion of 0 in x
12.652 * [backup-simplify]: Simplify 0 into 0
12.653 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.653 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
12.653 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
12.653 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
12.654 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 z)))) into (- (* 4.0 (/ 1 z)))
12.654 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
12.654 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
12.654 * [taylor]: Taking taylor expansion of 4.0 in z
12.654 * [backup-simplify]: Simplify 4.0 into 4.0
12.654 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.654 * [taylor]: Taking taylor expansion of z in z
12.654 * [backup-simplify]: Simplify 0 into 0
12.654 * [backup-simplify]: Simplify 1 into 1
12.654 * [backup-simplify]: Simplify (/ 1 1) into 1
12.654 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
12.654 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
12.655 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
12.655 * [taylor]: Taking taylor expansion of 0 in z
12.655 * [backup-simplify]: Simplify 0 into 0
12.655 * [backup-simplify]: Simplify 4.0 into 4.0
12.655 * [backup-simplify]: Simplify 0 into 0
12.655 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
12.655 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
12.655 * [backup-simplify]: Simplify (- 0) into 0
12.656 * [backup-simplify]: Simplify (+ 0 0) into 0
12.656 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 z)))))) into 0
12.657 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 x) (/ 1 z))) (* 0 0)))) into 0
12.657 * [taylor]: Taking taylor expansion of 0 in x
12.657 * [backup-simplify]: Simplify 0 into 0
12.657 * [taylor]: Taking taylor expansion of 0 in z
12.657 * [backup-simplify]: Simplify 0 into 0
12.658 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.658 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
12.658 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
12.659 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ 1 z))) into 0
12.659 * [backup-simplify]: Simplify (- 0) into 0
12.659 * [backup-simplify]: Simplify (+ 0 0) into 0
12.659 * [taylor]: Taking taylor expansion of 0 in z
12.659 * [backup-simplify]: Simplify 0 into 0
12.659 * [taylor]: Taking taylor expansion of 0 in z
12.659 * [backup-simplify]: Simplify 0 into 0
12.660 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.660 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
12.660 * [backup-simplify]: Simplify (- 0) into 0
12.660 * [backup-simplify]: Simplify 0 into 0
12.660 * [backup-simplify]: Simplify 0 into 0
12.660 * [backup-simplify]: Simplify 0 into 0
12.660 * [backup-simplify]: Simplify 0 into 0
12.661 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
12.661 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
12.661 * [backup-simplify]: Simplify (- 0) into 0
12.661 * [backup-simplify]: Simplify (+ 0 0) into 0
12.662 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 z))))))) into 0
12.663 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 x) (/ 1 z))) (* 0 0))))) into 0
12.663 * [taylor]: Taking taylor expansion of 0 in x
12.663 * [backup-simplify]: Simplify 0 into 0
12.663 * [taylor]: Taking taylor expansion of 0 in z
12.663 * [backup-simplify]: Simplify 0 into 0
12.663 * [taylor]: Taking taylor expansion of 0 in z
12.663 * [backup-simplify]: Simplify 0 into 0
12.664 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.665 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.665 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
12.665 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
12.665 * [backup-simplify]: Simplify (- 0) into 0
12.666 * [backup-simplify]: Simplify (+ 0 0) into 0
12.666 * [taylor]: Taking taylor expansion of 0 in z
12.666 * [backup-simplify]: Simplify 0 into 0
12.666 * [taylor]: Taking taylor expansion of 0 in z
12.666 * [backup-simplify]: Simplify 0 into 0
12.666 * [backup-simplify]: Simplify 0 into 0
12.666 * [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)))
12.667 * [backup-simplify]: Simplify (* (/ 4.0 (/ 1 (- y))) (- (/ 1 (- x)) (/ 1 (- z)))) into (* -4.0 (* y (- (/ 1 z) (/ 1 x))))
12.667 * [approximate]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in (y x z) around 0
12.667 * [taylor]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in z
12.667 * [taylor]: Taking taylor expansion of -4.0 in z
12.667 * [backup-simplify]: Simplify -4.0 into -4.0
12.667 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in z
12.667 * [taylor]: Taking taylor expansion of y in z
12.667 * [backup-simplify]: Simplify y into y
12.667 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
12.667 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.667 * [taylor]: Taking taylor expansion of z in z
12.667 * [backup-simplify]: Simplify 0 into 0
12.667 * [backup-simplify]: Simplify 1 into 1
12.667 * [backup-simplify]: Simplify (/ 1 1) into 1
12.667 * [taylor]: Taking taylor expansion of (/ 1 x) in z
12.667 * [taylor]: Taking taylor expansion of x in z
12.667 * [backup-simplify]: Simplify x into x
12.667 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
12.667 * [taylor]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in x
12.667 * [taylor]: Taking taylor expansion of -4.0 in x
12.667 * [backup-simplify]: Simplify -4.0 into -4.0
12.667 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x
12.667 * [taylor]: Taking taylor expansion of y in x
12.667 * [backup-simplify]: Simplify y into y
12.667 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
12.668 * [taylor]: Taking taylor expansion of (/ 1 z) in x
12.668 * [taylor]: Taking taylor expansion of z in x
12.668 * [backup-simplify]: Simplify z into z
12.668 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
12.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.668 * [taylor]: Taking taylor expansion of x in x
12.668 * [backup-simplify]: Simplify 0 into 0
12.668 * [backup-simplify]: Simplify 1 into 1
12.668 * [backup-simplify]: Simplify (/ 1 1) into 1
12.668 * [taylor]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in y
12.668 * [taylor]: Taking taylor expansion of -4.0 in y
12.668 * [backup-simplify]: Simplify -4.0 into -4.0
12.668 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y
12.668 * [taylor]: Taking taylor expansion of y in y
12.668 * [backup-simplify]: Simplify 0 into 0
12.668 * [backup-simplify]: Simplify 1 into 1
12.668 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
12.668 * [taylor]: Taking taylor expansion of (/ 1 z) in y
12.668 * [taylor]: Taking taylor expansion of z in y
12.668 * [backup-simplify]: Simplify z into z
12.668 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
12.668 * [taylor]: Taking taylor expansion of (/ 1 x) in y
12.668 * [taylor]: Taking taylor expansion of x in y
12.668 * [backup-simplify]: Simplify x into x
12.668 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
12.668 * [taylor]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in y
12.668 * [taylor]: Taking taylor expansion of -4.0 in y
12.668 * [backup-simplify]: Simplify -4.0 into -4.0
12.668 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y
12.668 * [taylor]: Taking taylor expansion of y in y
12.668 * [backup-simplify]: Simplify 0 into 0
12.668 * [backup-simplify]: Simplify 1 into 1
12.668 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
12.668 * [taylor]: Taking taylor expansion of (/ 1 z) in y
12.668 * [taylor]: Taking taylor expansion of z in y
12.668 * [backup-simplify]: Simplify z into z
12.668 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
12.668 * [taylor]: Taking taylor expansion of (/ 1 x) in y
12.668 * [taylor]: Taking taylor expansion of x in y
12.668 * [backup-simplify]: Simplify x into x
12.668 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
12.669 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
12.669 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
12.669 * [backup-simplify]: Simplify (* 0 (- (/ 1 z) (/ 1 x))) into 0
12.669 * [backup-simplify]: Simplify (* -4.0 0) into 0
12.669 * [taylor]: Taking taylor expansion of 0 in x
12.669 * [backup-simplify]: Simplify 0 into 0
12.669 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
12.669 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
12.670 * [backup-simplify]: Simplify (- 0) into 0
12.670 * [backup-simplify]: Simplify (+ 0 0) into 0
12.670 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (/ 1 z) (/ 1 x)))) into (- (/ 1 z) (/ 1 x))
12.670 * [backup-simplify]: Simplify (+ (* -4.0 (- (/ 1 z) (/ 1 x))) (* 0 0)) into (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 z)))
12.670 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 z))) in x
12.670 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
12.671 * [taylor]: Taking taylor expansion of 4.0 in x
12.671 * [backup-simplify]: Simplify 4.0 into 4.0
12.671 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.671 * [taylor]: Taking taylor expansion of x in x
12.671 * [backup-simplify]: Simplify 0 into 0
12.671 * [backup-simplify]: Simplify 1 into 1
12.671 * [backup-simplify]: Simplify (/ 1 1) into 1
12.671 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in x
12.671 * [taylor]: Taking taylor expansion of 4.0 in x
12.671 * [backup-simplify]: Simplify 4.0 into 4.0
12.671 * [taylor]: Taking taylor expansion of (/ 1 z) in x
12.671 * [taylor]: Taking taylor expansion of z in x
12.671 * [backup-simplify]: Simplify z into z
12.671 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
12.671 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
12.672 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
12.672 * [taylor]: Taking taylor expansion of 4.0 in z
12.672 * [backup-simplify]: Simplify 4.0 into 4.0
12.672 * [taylor]: Taking taylor expansion of 0 in z
12.672 * [backup-simplify]: Simplify 0 into 0
12.672 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
12.672 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
12.672 * [backup-simplify]: Simplify (- 0) into 0
12.672 * [backup-simplify]: Simplify (+ 0 0) into 0
12.673 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (/ 1 z) (/ 1 x))))) into 0
12.673 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 (- (/ 1 z) (/ 1 x))) (* 0 0))) into 0
12.674 * [taylor]: Taking taylor expansion of 0 in x
12.674 * [backup-simplify]: Simplify 0 into 0
12.674 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.674 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
12.674 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
12.675 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
12.675 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 z)))) into (- (* 4.0 (/ 1 z)))
12.675 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
12.675 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
12.675 * [taylor]: Taking taylor expansion of 4.0 in z
12.675 * [backup-simplify]: Simplify 4.0 into 4.0
12.675 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.675 * [taylor]: Taking taylor expansion of z in z
12.675 * [backup-simplify]: Simplify 0 into 0
12.675 * [backup-simplify]: Simplify 1 into 1
12.675 * [backup-simplify]: Simplify (/ 1 1) into 1
12.675 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
12.676 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
12.676 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
12.676 * [taylor]: Taking taylor expansion of 0 in z
12.676 * [backup-simplify]: Simplify 0 into 0
12.676 * [backup-simplify]: Simplify 4.0 into 4.0
12.676 * [backup-simplify]: Simplify 0 into 0
12.676 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
12.676 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
12.676 * [backup-simplify]: Simplify (- 0) into 0
12.677 * [backup-simplify]: Simplify (+ 0 0) into 0
12.677 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x)))))) into 0
12.678 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 z) (/ 1 x))) (* 0 0)))) into 0
12.678 * [taylor]: Taking taylor expansion of 0 in x
12.678 * [backup-simplify]: Simplify 0 into 0
12.678 * [taylor]: Taking taylor expansion of 0 in z
12.678 * [backup-simplify]: Simplify 0 into 0
12.679 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.680 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
12.680 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
12.680 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ 1 z))) into 0
12.681 * [backup-simplify]: Simplify (- 0) into 0
12.681 * [backup-simplify]: Simplify (+ 0 0) into 0
12.681 * [taylor]: Taking taylor expansion of 0 in z
12.681 * [backup-simplify]: Simplify 0 into 0
12.681 * [taylor]: Taking taylor expansion of 0 in z
12.681 * [backup-simplify]: Simplify 0 into 0
12.682 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.683 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
12.683 * [backup-simplify]: Simplify (- 0) into 0
12.683 * [backup-simplify]: Simplify 0 into 0
12.683 * [backup-simplify]: Simplify 0 into 0
12.683 * [backup-simplify]: Simplify 0 into 0
12.683 * [backup-simplify]: Simplify 0 into 0
12.683 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
12.684 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
12.684 * [backup-simplify]: Simplify (- 0) into 0
12.684 * [backup-simplify]: Simplify (+ 0 0) into 0
12.686 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x))))))) into 0
12.688 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 z) (/ 1 x))) (* 0 0))))) into 0
12.688 * [taylor]: Taking taylor expansion of 0 in x
12.688 * [backup-simplify]: Simplify 0 into 0
12.688 * [taylor]: Taking taylor expansion of 0 in z
12.688 * [backup-simplify]: Simplify 0 into 0
12.688 * [taylor]: Taking taylor expansion of 0 in z
12.688 * [backup-simplify]: Simplify 0 into 0
12.689 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.690 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.690 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
12.691 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
12.691 * [backup-simplify]: Simplify (- 0) into 0
12.692 * [backup-simplify]: Simplify (+ 0 0) into 0
12.692 * [taylor]: Taking taylor expansion of 0 in z
12.692 * [backup-simplify]: Simplify 0 into 0
12.692 * [taylor]: Taking taylor expansion of 0 in z
12.692 * [backup-simplify]: Simplify 0 into 0
12.692 * [backup-simplify]: Simplify 0 into 0
12.693 * [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)))
12.693 * * * [progress]: simplifying candidates
12.694 * [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)))
12.696 * * [simplify]: Extracting # 0 : cost  0
12.697 * * [simplify]: Extracting # 1 : cost  0
12.697 * * [simplify]: Extracting # 2 : cost  0
12.697 * * [simplify]: Extracting # 3 : cost  0
12.697 * * [simplify]: Extracting # 4 : cost  0
12.698 * * [simplify]: Extracting # 5 : cost  0
12.698 * * [simplify]: Extracting # 6 : cost  0
12.698 * * [simplify]: iteration  0 :  99  enodes  (cost  475 )
12.749 * * [simplify]: Extracting # 0 : cost  0
12.750 * * [simplify]: Extracting # 1 : cost  0
12.750 * * [simplify]: Extracting # 2 : cost  0
12.751 * * [simplify]: Extracting # 3 : cost  0
12.752 * * [simplify]: iteration  1 :  257  enodes  (cost  460 )
12.929 * * [simplify]: Extracting # 0 : cost  0
12.931 * * [simplify]: Extracting # 1 : cost  0
12.933 * * [simplify]: Extracting # 2 : cost  0
12.935 * * [simplify]: Extracting # 3 : cost  0
12.937 * * [simplify]: Extracting # 4 : cost  0
12.938 * * [simplify]: iteration  2 :  817  enodes  (cost  410 )
13.821 * * [simplify]: Extracting # 0 : cost  0
13.825 * * [simplify]: Extracting # 1 : cost  0
13.828 * * [simplify]: Extracting # 2 : cost  0
13.836 * * [simplify]: Extracting # 3 : cost  0
13.842 * * [simplify]: Extracting # 4 : cost  0
13.848 * * [simplify]: iteration  3 :  2804  enodes  (cost  410 )
15.260 * * [simplify]: Extracting # 0 : cost  0
15.267 * * [simplify]: Extracting # 1 : cost  0
15.273 * * [simplify]: Extracting # 2 : cost  0
15.279 * * [simplify]: Extracting # 3 : cost  0
15.285 * * [simplify]: Extracting # 4 : cost  0
15.295 * * [simplify]: iteration done:  5002  enodes  (cost  410 )
15.296 * [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))
15.296 * * * [progress]: adding candidates to table
15.478 * [progress]: [Phase 3 of 3] Extracting.
15.478 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ 2.0 (* 4.0 (- (/ x y) (/ z y)))))> #<alt (λ (x y z) (+ 2.0 (* (/ 4.0 y) (- x z))))>)
15.479 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
15.479 * * * * [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 (* (/ 4.0 y) (- x z))))>)
15.503 * * * * [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 (* (/ 4.0 y) (- x z))))>)
15.529 * * * * [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 (* (/ 4.0 y) (- x z))))>)
15.541 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
15.542 * [simplify]: Simplifying:
  (+ 2.0 (* 4.0 (- (/ x y) (/ z y))))
15.542 * * [simplify]: Extracting # 0 : cost  0
15.542 * * [simplify]: Extracting # 1 : cost  0
15.542 * * [simplify]: Extracting # 2 : cost  0
15.542 * * [simplify]: Extracting # 3 : cost  0
15.542 * * [simplify]: Extracting # 4 : cost  0
15.542 * * [simplify]: Extracting # 5 : cost  0
15.542 * * [simplify]: Extracting # 6 : cost  0
15.542 * * [simplify]: iteration  0 :  10  enodes  (cost  11 )
15.542 * * [simplify]: Extracting # 0 : cost  0
15.542 * * [simplify]: iteration  1 :  12  enodes  (cost  11 )
15.543 * * [simplify]: Extracting # 0 : cost  0
15.543 * * [simplify]: iteration done:  12  enodes  (cost  11 )
15.543 * [simplify]: Simplified to:
  (+ 2.0 (* 4.0 (- (/ x y) (/ z y))))
17.098 * [regime-testing]: Baseline error score: 0.0084491764596476
17.099 * [regime-testing]: Oracle error score: 0.004073629516279679
17.100 * [regime-testing]: End program error score: 0.0084491764596476