21.161 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.020 * * * [progress]: [2/2] Setting up program.
0.022 * [progress]: [Phase 2 of 3] Improving.
0.022 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (* 4.0 (- (- x y) (* z 0.5))) z)
0.023 * * [simplify]: iteration  0 :  10  enodes  (cost  11 )
0.024 * * [simplify]: iteration  1 :  20  enodes  (cost  11 )
0.026 * * [simplify]: iteration  2 :  47  enodes  (cost  11 )
0.033 * * [simplify]: iteration  3 :  129  enodes  (cost  11 )
0.053 * * [simplify]: iteration  4 :  270  enodes  (cost  11 )
0.121 * * [simplify]: iteration  5 :  497  enodes  (cost  11 )
0.226 * * [simplify]: iteration  6 :  762  enodes  (cost  11 )
0.472 * * [simplify]: iteration  7 :  1122  enodes  (cost  9 )
1.031 * * [simplify]: iteration  8 :  2855  enodes  (cost  9 )
3.112 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
3.112 * [simplify]: Simplified to:
   (* (- (/ (- x y) z) 0.5) 4.0)
3.115 * * [progress]: iteration 1 / 4
3.115 * * * [progress]: picking best candidate
3.116 * * * * [pick]: Picked  #<alt (λ (x y z) (/ (* 4.0 (- (- x y) (* z 0.5))) z))>
3.116 * * * [progress]: localizing error
3.125 * * * [progress]: generating rewritten candidates
3.125 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.150 * * * [progress]: generating series expansions
3.150 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.150 * [approximate]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in (x y z) around 0
3.150 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in z
3.150 * [taylor]: Taking taylor expansion of 4.0 in z
3.150 * [taylor]: Taking taylor expansion of (/ (- x (+ (* 0.5 z) y)) z) in z
3.150 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in z
3.150 * [taylor]: Taking taylor expansion of x in z
3.150 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in z
3.150 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
3.150 * [taylor]: Taking taylor expansion of 0.5 in z
3.150 * [taylor]: Taking taylor expansion of z in z
3.150 * [taylor]: Taking taylor expansion of y in z
3.150 * [taylor]: Taking taylor expansion of z in z
3.151 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in y
3.151 * [taylor]: Taking taylor expansion of 4.0 in y
3.151 * [taylor]: Taking taylor expansion of (/ (- x (+ (* 0.5 z) y)) z) in y
3.151 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in y
3.151 * [taylor]: Taking taylor expansion of x in y
3.151 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in y
3.151 * [taylor]: Taking taylor expansion of (* 0.5 z) in y
3.151 * [taylor]: Taking taylor expansion of 0.5 in y
3.151 * [taylor]: Taking taylor expansion of z in y
3.151 * [taylor]: Taking taylor expansion of y in y
3.151 * [taylor]: Taking taylor expansion of z in y
3.151 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in x
3.151 * [taylor]: Taking taylor expansion of 4.0 in x
3.151 * [taylor]: Taking taylor expansion of (/ (- x (+ (* 0.5 z) y)) z) in x
3.151 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in x
3.151 * [taylor]: Taking taylor expansion of x in x
3.151 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in x
3.151 * [taylor]: Taking taylor expansion of (* 0.5 z) in x
3.151 * [taylor]: Taking taylor expansion of 0.5 in x
3.151 * [taylor]: Taking taylor expansion of z in x
3.151 * [taylor]: Taking taylor expansion of y in x
3.151 * [taylor]: Taking taylor expansion of z in x
3.152 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in x
3.152 * [taylor]: Taking taylor expansion of 4.0 in x
3.152 * [taylor]: Taking taylor expansion of (/ (- x (+ (* 0.5 z) y)) z) in x
3.152 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in x
3.152 * [taylor]: Taking taylor expansion of x in x
3.152 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in x
3.152 * [taylor]: Taking taylor expansion of (* 0.5 z) in x
3.152 * [taylor]: Taking taylor expansion of 0.5 in x
3.152 * [taylor]: Taking taylor expansion of z in x
3.152 * [taylor]: Taking taylor expansion of y in x
3.152 * [taylor]: Taking taylor expansion of z in x
3.152 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (* 0.5 z) y) z)) in y
3.152 * [taylor]: Taking taylor expansion of -4.0 in y
3.152 * [taylor]: Taking taylor expansion of (/ (+ (* 0.5 z) y) z) in y
3.152 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in y
3.152 * [taylor]: Taking taylor expansion of (* 0.5 z) in y
3.152 * [taylor]: Taking taylor expansion of 0.5 in y
3.152 * [taylor]: Taking taylor expansion of z in y
3.152 * [taylor]: Taking taylor expansion of y in y
3.152 * [taylor]: Taking taylor expansion of z in y
3.153 * [taylor]: Taking taylor expansion of -2.0 in z
3.154 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in y
3.154 * [taylor]: Taking taylor expansion of 4.0 in y
3.154 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.154 * [taylor]: Taking taylor expansion of z in y
3.154 * [taylor]: Taking taylor expansion of (/ 4.0 z) in z
3.154 * [taylor]: Taking taylor expansion of 4.0 in z
3.154 * [taylor]: Taking taylor expansion of z in z
3.155 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
3.156 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
3.156 * [taylor]: Taking taylor expansion of 4.0 in z
3.156 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.156 * [taylor]: Taking taylor expansion of z in z
3.157 * [approximate]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in (x y z) around 0
3.157 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in z
3.157 * [taylor]: Taking taylor expansion of 4.0 in z
3.157 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in z
3.157 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in z
3.157 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.157 * [taylor]: Taking taylor expansion of x in z
3.157 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in z
3.157 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
3.157 * [taylor]: Taking taylor expansion of 0.5 in z
3.157 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.157 * [taylor]: Taking taylor expansion of z in z
3.158 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.158 * [taylor]: Taking taylor expansion of y in z
3.158 * [taylor]: Taking taylor expansion of z in z
3.158 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in y
3.158 * [taylor]: Taking taylor expansion of 4.0 in y
3.158 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in y
3.158 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in y
3.158 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.158 * [taylor]: Taking taylor expansion of x in y
3.158 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in y
3.158 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in y
3.158 * [taylor]: Taking taylor expansion of 0.5 in y
3.158 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.158 * [taylor]: Taking taylor expansion of z in y
3.158 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.158 * [taylor]: Taking taylor expansion of y in y
3.158 * [taylor]: Taking taylor expansion of z in y
3.158 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in x
3.158 * [taylor]: Taking taylor expansion of 4.0 in x
3.158 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in x
3.158 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in x
3.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.158 * [taylor]: Taking taylor expansion of x in x
3.159 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in x
3.159 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
3.159 * [taylor]: Taking taylor expansion of 0.5 in x
3.159 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.159 * [taylor]: Taking taylor expansion of z in x
3.159 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.159 * [taylor]: Taking taylor expansion of y in x
3.159 * [taylor]: Taking taylor expansion of z in x
3.159 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in x
3.159 * [taylor]: Taking taylor expansion of 4.0 in x
3.159 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in x
3.159 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in x
3.159 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.159 * [taylor]: Taking taylor expansion of x in x
3.159 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in x
3.159 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
3.159 * [taylor]: Taking taylor expansion of 0.5 in x
3.159 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.159 * [taylor]: Taking taylor expansion of z in x
3.159 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.159 * [taylor]: Taking taylor expansion of y in x
3.159 * [taylor]: Taking taylor expansion of z in x
3.160 * [taylor]: Taking taylor expansion of (* 4.0 z) in y
3.160 * [taylor]: Taking taylor expansion of 4.0 in y
3.160 * [taylor]: Taking taylor expansion of z in y
3.161 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ z y)) 2.0)) in y
3.161 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ z y)) 2.0) in y
3.161 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y
3.161 * [taylor]: Taking taylor expansion of 4.0 in y
3.161 * [taylor]: Taking taylor expansion of (/ z y) in y
3.161 * [taylor]: Taking taylor expansion of z in y
3.161 * [taylor]: Taking taylor expansion of y in y
3.161 * [taylor]: Taking taylor expansion of 2.0 in y
3.161 * [taylor]: Taking taylor expansion of (- (* 4.0 z)) in z
3.161 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
3.161 * [taylor]: Taking taylor expansion of 4.0 in z
3.161 * [taylor]: Taking taylor expansion of z in z
3.161 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
3.161 * [taylor]: Taking taylor expansion of 4.0 in z
3.161 * [taylor]: Taking taylor expansion of z in z
3.164 * [taylor]: Taking taylor expansion of 0 in y
3.165 * [taylor]: Taking taylor expansion of (- 2.0) in z
3.165 * [taylor]: Taking taylor expansion of 2.0 in z
3.166 * [taylor]: Taking taylor expansion of 0 in z
3.170 * [taylor]: Taking taylor expansion of 0 in y
3.170 * [taylor]: Taking taylor expansion of 0 in z
3.171 * [taylor]: Taking taylor expansion of 0 in z
3.172 * [taylor]: Taking taylor expansion of 0 in z
3.176 * [approximate]: Taking taylor expansion of (* -4.0 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in (x y z) around 0
3.176 * [taylor]: Taking taylor expansion of (* -4.0 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in z
3.176 * [taylor]: Taking taylor expansion of -4.0 in z
3.176 * [taylor]: Taking taylor expansion of (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x))) in z
3.176 * [taylor]: Taking taylor expansion of z in z
3.176 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in z
3.176 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in z
3.176 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
3.176 * [taylor]: Taking taylor expansion of 0.5 in z
3.176 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.176 * [taylor]: Taking taylor expansion of z in z
3.176 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.176 * [taylor]: Taking taylor expansion of y in z
3.176 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.176 * [taylor]: Taking taylor expansion of x in z
3.176 * [taylor]: Taking taylor expansion of (* -4.0 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in y
3.176 * [taylor]: Taking taylor expansion of -4.0 in y
3.176 * [taylor]: Taking taylor expansion of (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x))) in y
3.176 * [taylor]: Taking taylor expansion of z in y
3.176 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in y
3.176 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in y
3.176 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in y
3.176 * [taylor]: Taking taylor expansion of 0.5 in y
3.177 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.177 * [taylor]: Taking taylor expansion of z in y
3.177 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.177 * [taylor]: Taking taylor expansion of y in y
3.177 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.177 * [taylor]: Taking taylor expansion of x in y
3.177 * [taylor]: Taking taylor expansion of (* -4.0 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in x
3.177 * [taylor]: Taking taylor expansion of -4.0 in x
3.177 * [taylor]: Taking taylor expansion of (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x))) in x
3.177 * [taylor]: Taking taylor expansion of z in x
3.177 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in x
3.177 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in x
3.177 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
3.177 * [taylor]: Taking taylor expansion of 0.5 in x
3.177 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.177 * [taylor]: Taking taylor expansion of z in x
3.177 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.177 * [taylor]: Taking taylor expansion of y in x
3.177 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.177 * [taylor]: Taking taylor expansion of x in x
3.177 * [taylor]: Taking taylor expansion of (* -4.0 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in x
3.177 * [taylor]: Taking taylor expansion of -4.0 in x
3.177 * [taylor]: Taking taylor expansion of (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x))) in x
3.177 * [taylor]: Taking taylor expansion of z in x
3.178 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in x
3.178 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in x
3.178 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
3.178 * [taylor]: Taking taylor expansion of 0.5 in x
3.178 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.178 * [taylor]: Taking taylor expansion of z in x
3.178 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.178 * [taylor]: Taking taylor expansion of y in x
3.178 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.178 * [taylor]: Taking taylor expansion of x in x
3.179 * [taylor]: Taking taylor expansion of (* 4.0 z) in y
3.179 * [taylor]: Taking taylor expansion of 4.0 in y
3.179 * [taylor]: Taking taylor expansion of z in y
3.180 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ z y)) 2.0)) in y
3.180 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ z y)) 2.0) in y
3.180 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y
3.180 * [taylor]: Taking taylor expansion of 4.0 in y
3.180 * [taylor]: Taking taylor expansion of (/ z y) in y
3.180 * [taylor]: Taking taylor expansion of z in y
3.180 * [taylor]: Taking taylor expansion of y in y
3.180 * [taylor]: Taking taylor expansion of 2.0 in y
3.181 * [taylor]: Taking taylor expansion of (- (* 4.0 z)) in z
3.181 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
3.181 * [taylor]: Taking taylor expansion of 4.0 in z
3.181 * [taylor]: Taking taylor expansion of z in z
3.181 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
3.181 * [taylor]: Taking taylor expansion of 4.0 in z
3.181 * [taylor]: Taking taylor expansion of z in z
3.183 * [taylor]: Taking taylor expansion of 0 in y
3.184 * [taylor]: Taking taylor expansion of (- 2.0) in z
3.184 * [taylor]: Taking taylor expansion of 2.0 in z
3.185 * [taylor]: Taking taylor expansion of 0 in z
3.189 * [taylor]: Taking taylor expansion of 0 in y
3.189 * [taylor]: Taking taylor expansion of 0 in z
3.191 * [taylor]: Taking taylor expansion of 0 in z
3.191 * [taylor]: Taking taylor expansion of 0 in z
3.195 * * * [progress]: simplifying candidates
3.195 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (log 4.0) (log (- (- x y) (* z 0.5)))) (log z))
  (- (log (* 4.0 (- (- x y) (* z 0.5)))) (log z))
  (log (/ (* 4.0 (- (- x y) (* z 0.5))) z))
  (exp (/ (* 4.0 (- (- x y) (* z 0.5))) z))
  (/ (* (* (* 4.0 4.0) 4.0) (* (* (- (- x y) (* z 0.5)) (- (- x y) (* z 0.5))) (- (- x y) (* z 0.5)))) (* (* z z) z))
  (/ (* (* (* 4.0 (- (- x y) (* z 0.5))) (* 4.0 (- (- x y) (* z 0.5)))) (* 4.0 (- (- x y) (* z 0.5)))) (* (* z z) z))
  (* (cbrt (/ (* 4.0 (- (- x y) (* z 0.5))) z)) (cbrt (/ (* 4.0 (- (- x y) (* z 0.5))) z)))
  (cbrt (/ (* 4.0 (- (- x y) (* z 0.5))) z))
  (* (* (/ (* 4.0 (- (- x y) (* z 0.5))) z) (/ (* 4.0 (- (- x y) (* z 0.5))) z)) (/ (* 4.0 (- (- x y) (* z 0.5))) z))
  (sqrt (/ (* 4.0 (- (- x y) (* z 0.5))) z))
  (sqrt (/ (* 4.0 (- (- x y) (* z 0.5))) z))
  (- (* 4.0 (- (- x y) (* z 0.5))))
  (- z)
  (/ 4.0 (* (cbrt z) (cbrt z)))
  (/ (- (- x y) (* z 0.5)) (cbrt z))
  (/ 4.0 (sqrt z))
  (/ (- (- x y) (* z 0.5)) (sqrt z))
  (/ 4.0 1)
  (/ (- (- x y) (* z 0.5)) z)
  (/ 1 z)
  (/ z (* 4.0 (- (- x y) (* z 0.5))))
  (/ (* 4.0 (- (- x y) (* z 0.5))) (* (cbrt z) (cbrt z)))
  (/ (* 4.0 (- (- x y) (* z 0.5))) (sqrt z))
  (/ (* 4.0 (- (- x y) (* z 0.5))) 1)
  (/ z (- (- x y) (* z 0.5)))
  (* z (+ (* (- x y) (- x y)) (+ (* (* z 0.5) (* z 0.5)) (* (- x y) (* z 0.5)))))
  (* z (+ (- x y) (* z 0.5)))
  (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
  (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
  (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
3.197 * * [simplify]: iteration  0 :  68  enodes  (cost  406 )
3.209 * * [simplify]: iteration  1 :  187  enodes  (cost  395 )
3.247 * * [simplify]: iteration  2 :  630  enodes  (cost  317 )
3.598 * * [simplify]: iteration  3 :  3120  enodes  (cost  317 )
4.357 * * [simplify]: iteration  done :  5000  enodes  (cost  316 )
4.358 * [simplify]: Simplified to:
   (log (/ (* 4.0 (- (- x y) (* z 0.5))) z))
  (log (/ (* 4.0 (- (- x y) (* z 0.5))) z))
  (log (/ (* 4.0 (- (- x y) (* z 0.5))) z))
  (exp (/ (* 4.0 (- (- x y) (* z 0.5))) z))
  (pow (/ (* 4.0 (- (- x y) (* z 0.5))) z) 3)
  (pow (/ (* 4.0 (- (- x y) (* z 0.5))) z) 3)
  (* (cbrt (/ (* 4.0 (- (- x y) (* z 0.5))) z)) (cbrt (/ (* 4.0 (- (- x y) (* z 0.5))) z)))
  (cbrt (/ (* 4.0 (- (- x y) (* z 0.5))) z))
  (pow (/ (* 4.0 (- (- x y) (* z 0.5))) z) 3)
  (sqrt (/ (* 4.0 (- (- x y) (* z 0.5))) z))
  (sqrt (/ (* 4.0 (- (- x y) (* z 0.5))) z))
  (* 4.0 (- (* z 0.5) (- x y)))
  (- z)
  (/ 4.0 (* (cbrt z) (cbrt z)))
  (/ (- (- x y) (* z 0.5)) (cbrt z))
  (/ 4.0 (sqrt z))
  (/ (- (- x y) (* z 0.5)) (sqrt z))
  4.0
  (/ (- (- x y) (* z 0.5)) z)
  (/ 1 z)
  (/ z (* 4.0 (- (- x y) (* z 0.5))))
  (/ (* 4.0 (- (- x y) (* z 0.5))) (* (cbrt z) (cbrt z)))
  (/ (* 4.0 (- (- x y) (* z 0.5))) (sqrt z))
  (* 4.0 (- (- x y) (* z 0.5)))
  (/ z (- (- x y) (* z 0.5)))
  (* z (+ (* (- x y) (- x y)) (* (* z 0.5) (+ (- x y) (* z 0.5)))))
  (* z (+ (- x y) (* z 0.5)))
  (- (* 4.0 (/ (- x y) z)) 2.0)
  (- (* 4.0 (/ (- x y) z)) 2.0)
  (- (* 4.0 (/ (- x y) z)) 2.0)
4.358 * * * [progress]: adding candidates to table
4.409 * * [progress]: iteration 2 / 4
4.409 * * * [progress]: picking best candidate
4.413 * * * * [pick]: Picked  #<alt (λ (x y z) (/ 4.0 (/ z (- (- x y) (* z 0.5)))))>
4.413 * * * [progress]: localizing error
4.420 * * * [progress]: generating rewritten candidates
4.421 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
4.440 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
4.460 * * * [progress]: generating series expansions
4.460 * * * * [progress]: [ 1 / 2 ] generating series at (2)
4.461 * [approximate]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in (z x y) around 0
4.461 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in y
4.461 * [taylor]: Taking taylor expansion of 4.0 in y
4.461 * [taylor]: Taking taylor expansion of (/ (- x (+ (* 0.5 z) y)) z) in y
4.461 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in y
4.461 * [taylor]: Taking taylor expansion of x in y
4.461 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in y
4.461 * [taylor]: Taking taylor expansion of (* 0.5 z) in y
4.461 * [taylor]: Taking taylor expansion of 0.5 in y
4.461 * [taylor]: Taking taylor expansion of z in y
4.461 * [taylor]: Taking taylor expansion of y in y
4.461 * [taylor]: Taking taylor expansion of z in y
4.461 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in x
4.461 * [taylor]: Taking taylor expansion of 4.0 in x
4.461 * [taylor]: Taking taylor expansion of (/ (- x (+ (* 0.5 z) y)) z) in x
4.461 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in x
4.461 * [taylor]: Taking taylor expansion of x in x
4.461 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in x
4.461 * [taylor]: Taking taylor expansion of (* 0.5 z) in x
4.461 * [taylor]: Taking taylor expansion of 0.5 in x
4.461 * [taylor]: Taking taylor expansion of z in x
4.461 * [taylor]: Taking taylor expansion of y in x
4.461 * [taylor]: Taking taylor expansion of z in x
4.461 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in z
4.461 * [taylor]: Taking taylor expansion of 4.0 in z
4.461 * [taylor]: Taking taylor expansion of (/ (- x (+ (* 0.5 z) y)) z) in z
4.461 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in z
4.462 * [taylor]: Taking taylor expansion of x in z
4.462 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in z
4.462 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
4.462 * [taylor]: Taking taylor expansion of 0.5 in z
4.462 * [taylor]: Taking taylor expansion of z in z
4.462 * [taylor]: Taking taylor expansion of y in z
4.462 * [taylor]: Taking taylor expansion of z in z
4.462 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in z
4.462 * [taylor]: Taking taylor expansion of 4.0 in z
4.462 * [taylor]: Taking taylor expansion of (/ (- x (+ (* 0.5 z) y)) z) in z
4.462 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in z
4.462 * [taylor]: Taking taylor expansion of x in z
4.462 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in z
4.462 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
4.462 * [taylor]: Taking taylor expansion of 0.5 in z
4.462 * [taylor]: Taking taylor expansion of z in z
4.462 * [taylor]: Taking taylor expansion of y in z
4.462 * [taylor]: Taking taylor expansion of z in z
4.463 * [taylor]: Taking taylor expansion of (* 4.0 (- x y)) in x
4.463 * [taylor]: Taking taylor expansion of 4.0 in x
4.463 * [taylor]: Taking taylor expansion of (- x y) in x
4.463 * [taylor]: Taking taylor expansion of x in x
4.463 * [taylor]: Taking taylor expansion of y in x
4.463 * [taylor]: Taking taylor expansion of (* -4.0 y) in y
4.463 * [taylor]: Taking taylor expansion of -4.0 in y
4.463 * [taylor]: Taking taylor expansion of y in y
4.470 * [taylor]: Taking taylor expansion of (- 2.0) in x
4.470 * [taylor]: Taking taylor expansion of 2.0 in x
4.470 * [taylor]: Taking taylor expansion of (- 2.0) in y
4.470 * [taylor]: Taking taylor expansion of 2.0 in y
4.471 * [taylor]: Taking taylor expansion of 4.0 in y
4.473 * [approximate]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in (z x y) around 0
4.473 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in y
4.473 * [taylor]: Taking taylor expansion of 4.0 in y
4.473 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in y
4.473 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in y
4.473 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.473 * [taylor]: Taking taylor expansion of x in y
4.473 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in y
4.473 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in y
4.473 * [taylor]: Taking taylor expansion of 0.5 in y
4.473 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.473 * [taylor]: Taking taylor expansion of z in y
4.473 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.474 * [taylor]: Taking taylor expansion of y in y
4.474 * [taylor]: Taking taylor expansion of z in y
4.474 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in x
4.474 * [taylor]: Taking taylor expansion of 4.0 in x
4.474 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in x
4.474 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in x
4.474 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.474 * [taylor]: Taking taylor expansion of x in x
4.474 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in x
4.474 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
4.474 * [taylor]: Taking taylor expansion of 0.5 in x
4.474 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.474 * [taylor]: Taking taylor expansion of z in x
4.474 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.474 * [taylor]: Taking taylor expansion of y in x
4.474 * [taylor]: Taking taylor expansion of z in x
4.474 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in z
4.474 * [taylor]: Taking taylor expansion of 4.0 in z
4.474 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in z
4.474 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in z
4.474 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.474 * [taylor]: Taking taylor expansion of x in z
4.474 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in z
4.474 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
4.475 * [taylor]: Taking taylor expansion of 0.5 in z
4.475 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.475 * [taylor]: Taking taylor expansion of z in z
4.475 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.475 * [taylor]: Taking taylor expansion of y in z
4.475 * [taylor]: Taking taylor expansion of z in z
4.475 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in z
4.475 * [taylor]: Taking taylor expansion of 4.0 in z
4.475 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in z
4.475 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in z
4.475 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.475 * [taylor]: Taking taylor expansion of x in z
4.475 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in z
4.475 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
4.475 * [taylor]: Taking taylor expansion of 0.5 in z
4.475 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.475 * [taylor]: Taking taylor expansion of z in z
4.475 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.475 * [taylor]: Taking taylor expansion of y in z
4.475 * [taylor]: Taking taylor expansion of z in z
4.477 * [taylor]: Taking taylor expansion of 0 in x
4.480 * [taylor]: Taking taylor expansion of (- 2.0) in x
4.480 * [taylor]: Taking taylor expansion of 2.0 in x
4.480 * [taylor]: Taking taylor expansion of 0 in y
4.483 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 y))) in x
4.483 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
4.483 * [taylor]: Taking taylor expansion of 4.0 in x
4.483 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.483 * [taylor]: Taking taylor expansion of x in x
4.483 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
4.483 * [taylor]: Taking taylor expansion of 4.0 in x
4.483 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.483 * [taylor]: Taking taylor expansion of y in x
4.484 * [taylor]: Taking taylor expansion of 4.0 in y
4.484 * [taylor]: Taking taylor expansion of (- 2.0) in y
4.484 * [taylor]: Taking taylor expansion of 2.0 in y
4.484 * [taylor]: Taking taylor expansion of 0 in y
4.488 * [taylor]: Taking taylor expansion of 0 in x
4.489 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y))) in y
4.489 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
4.489 * [taylor]: Taking taylor expansion of 4.0 in y
4.489 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.489 * [taylor]: Taking taylor expansion of y in y
4.490 * [taylor]: Taking taylor expansion of 0 in y
4.490 * [taylor]: Taking taylor expansion of 0 in y
4.492 * [approximate]: Taking taylor expansion of (* -4.0 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in (z x y) around 0
4.492 * [taylor]: Taking taylor expansion of (* -4.0 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in y
4.492 * [taylor]: Taking taylor expansion of -4.0 in y
4.492 * [taylor]: Taking taylor expansion of (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x))) in y
4.492 * [taylor]: Taking taylor expansion of z in y
4.492 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in y
4.492 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in y
4.492 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in y
4.492 * [taylor]: Taking taylor expansion of 0.5 in y
4.492 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.492 * [taylor]: Taking taylor expansion of z in y
4.492 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.492 * [taylor]: Taking taylor expansion of y in y
4.492 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.492 * [taylor]: Taking taylor expansion of x in y
4.492 * [taylor]: Taking taylor expansion of (* -4.0 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in x
4.492 * [taylor]: Taking taylor expansion of -4.0 in x
4.492 * [taylor]: Taking taylor expansion of (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x))) in x
4.492 * [taylor]: Taking taylor expansion of z in x
4.492 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in x
4.492 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in x
4.492 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
4.492 * [taylor]: Taking taylor expansion of 0.5 in x
4.492 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.492 * [taylor]: Taking taylor expansion of z in x
4.492 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.492 * [taylor]: Taking taylor expansion of y in x
4.493 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.493 * [taylor]: Taking taylor expansion of x in x
4.493 * [taylor]: Taking taylor expansion of (* -4.0 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in z
4.493 * [taylor]: Taking taylor expansion of -4.0 in z
4.493 * [taylor]: Taking taylor expansion of (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x))) in z
4.493 * [taylor]: Taking taylor expansion of z in z
4.493 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in z
4.493 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in z
4.493 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
4.493 * [taylor]: Taking taylor expansion of 0.5 in z
4.493 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.493 * [taylor]: Taking taylor expansion of z in z
4.493 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.493 * [taylor]: Taking taylor expansion of y in z
4.493 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.493 * [taylor]: Taking taylor expansion of x in z
4.493 * [taylor]: Taking taylor expansion of (* -4.0 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in z
4.493 * [taylor]: Taking taylor expansion of -4.0 in z
4.493 * [taylor]: Taking taylor expansion of (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x))) in z
4.493 * [taylor]: Taking taylor expansion of z in z
4.493 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in z
4.493 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in z
4.493 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
4.493 * [taylor]: Taking taylor expansion of 0.5 in z
4.493 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.494 * [taylor]: Taking taylor expansion of z in z
4.494 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.494 * [taylor]: Taking taylor expansion of y in z
4.494 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.494 * [taylor]: Taking taylor expansion of x in z
4.495 * [taylor]: Taking taylor expansion of 0 in x
4.497 * [taylor]: Taking taylor expansion of (- 2.0) in x
4.497 * [taylor]: Taking taylor expansion of 2.0 in x
4.497 * [taylor]: Taking taylor expansion of 0 in y
4.500 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 y))) in x
4.500 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
4.500 * [taylor]: Taking taylor expansion of 4.0 in x
4.500 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.500 * [taylor]: Taking taylor expansion of x in x
4.501 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
4.501 * [taylor]: Taking taylor expansion of 4.0 in x
4.501 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.501 * [taylor]: Taking taylor expansion of y in x
4.501 * [taylor]: Taking taylor expansion of 4.0 in y
4.502 * [taylor]: Taking taylor expansion of (- 2.0) in y
4.502 * [taylor]: Taking taylor expansion of 2.0 in y
4.502 * [taylor]: Taking taylor expansion of 0 in y
4.505 * [taylor]: Taking taylor expansion of 0 in x
4.506 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y))) in y
4.506 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
4.506 * [taylor]: Taking taylor expansion of 4.0 in y
4.506 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.506 * [taylor]: Taking taylor expansion of y in y
4.507 * [taylor]: Taking taylor expansion of 0 in y
4.508 * [taylor]: Taking taylor expansion of 0 in y
4.509 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
4.509 * [approximate]: Taking taylor expansion of (/ z (- x (+ (* 0.5 z) y))) in (z x y) around 0
4.509 * [taylor]: Taking taylor expansion of (/ z (- x (+ (* 0.5 z) y))) in y
4.509 * [taylor]: Taking taylor expansion of z in y
4.509 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in y
4.509 * [taylor]: Taking taylor expansion of x in y
4.509 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in y
4.509 * [taylor]: Taking taylor expansion of (* 0.5 z) in y
4.509 * [taylor]: Taking taylor expansion of 0.5 in y
4.509 * [taylor]: Taking taylor expansion of z in y
4.509 * [taylor]: Taking taylor expansion of y in y
4.509 * [taylor]: Taking taylor expansion of (/ z (- x (+ (* 0.5 z) y))) in x
4.509 * [taylor]: Taking taylor expansion of z in x
4.509 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in x
4.509 * [taylor]: Taking taylor expansion of x in x
4.509 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in x
4.509 * [taylor]: Taking taylor expansion of (* 0.5 z) in x
4.509 * [taylor]: Taking taylor expansion of 0.5 in x
4.509 * [taylor]: Taking taylor expansion of z in x
4.509 * [taylor]: Taking taylor expansion of y in x
4.510 * [taylor]: Taking taylor expansion of (/ z (- x (+ (* 0.5 z) y))) in z
4.510 * [taylor]: Taking taylor expansion of z in z
4.510 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in z
4.510 * [taylor]: Taking taylor expansion of x in z
4.510 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in z
4.510 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
4.510 * [taylor]: Taking taylor expansion of 0.5 in z
4.510 * [taylor]: Taking taylor expansion of z in z
4.510 * [taylor]: Taking taylor expansion of y in z
4.510 * [taylor]: Taking taylor expansion of (/ z (- x (+ (* 0.5 z) y))) in z
4.510 * [taylor]: Taking taylor expansion of z in z
4.510 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in z
4.510 * [taylor]: Taking taylor expansion of x in z
4.510 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in z
4.510 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
4.510 * [taylor]: Taking taylor expansion of 0.5 in z
4.510 * [taylor]: Taking taylor expansion of z in z
4.510 * [taylor]: Taking taylor expansion of y in z
4.511 * [taylor]: Taking taylor expansion of (/ 1 (- x y)) in x
4.511 * [taylor]: Taking taylor expansion of (- x y) in x
4.511 * [taylor]: Taking taylor expansion of x in x
4.511 * [taylor]: Taking taylor expansion of y in x
4.511 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.511 * [taylor]: Taking taylor expansion of -1 in y
4.511 * [taylor]: Taking taylor expansion of y in y
4.514 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow (- x y) 2))) in x
4.514 * [taylor]: Taking taylor expansion of 0.5 in x
4.514 * [taylor]: Taking taylor expansion of (/ 1 (pow (- x y) 2)) in x
4.514 * [taylor]: Taking taylor expansion of (pow (- x y) 2) in x
4.514 * [taylor]: Taking taylor expansion of (- x y) in x
4.514 * [taylor]: Taking taylor expansion of x in x
4.514 * [taylor]: Taking taylor expansion of y in x
4.514 * [taylor]: Taking taylor expansion of (/ 0.5 (pow y 2)) in y
4.514 * [taylor]: Taking taylor expansion of 0.5 in y
4.514 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.514 * [taylor]: Taking taylor expansion of y in y
4.517 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y
4.517 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.517 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.517 * [taylor]: Taking taylor expansion of y in y
4.522 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow (- x y) 3))) in x
4.522 * [taylor]: Taking taylor expansion of 0.25 in x
4.522 * [taylor]: Taking taylor expansion of (/ 1 (pow (- x y) 3)) in x
4.522 * [taylor]: Taking taylor expansion of (pow (- x y) 3) in x
4.522 * [taylor]: Taking taylor expansion of (- x y) in x
4.522 * [taylor]: Taking taylor expansion of x in x
4.522 * [taylor]: Taking taylor expansion of y in x
4.522 * [taylor]: Taking taylor expansion of (/ -0.25 (pow y 3)) in y
4.522 * [taylor]: Taking taylor expansion of -0.25 in y
4.522 * [taylor]: Taking taylor expansion of (pow y 3) in y
4.522 * [taylor]: Taking taylor expansion of y in y
4.528 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow y 3))) in y
4.529 * [taylor]: Taking taylor expansion of 1.0 in y
4.529 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
4.529 * [taylor]: Taking taylor expansion of (pow y 3) in y
4.529 * [taylor]: Taking taylor expansion of y in y
4.534 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in (z x y) around 0
4.534 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in y
4.534 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in y
4.534 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in y
4.534 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.534 * [taylor]: Taking taylor expansion of x in y
4.534 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in y
4.534 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in y
4.534 * [taylor]: Taking taylor expansion of 0.5 in y
4.534 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.534 * [taylor]: Taking taylor expansion of z in y
4.534 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.534 * [taylor]: Taking taylor expansion of y in y
4.535 * [taylor]: Taking taylor expansion of z in y
4.535 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in x
4.536 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in x
4.536 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in x
4.536 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.536 * [taylor]: Taking taylor expansion of x in x
4.536 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in x
4.536 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
4.536 * [taylor]: Taking taylor expansion of 0.5 in x
4.536 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.536 * [taylor]: Taking taylor expansion of z in x
4.536 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.536 * [taylor]: Taking taylor expansion of y in x
4.536 * [taylor]: Taking taylor expansion of z in x
4.536 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in z
4.536 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in z
4.536 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in z
4.536 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.536 * [taylor]: Taking taylor expansion of x in z
4.536 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in z
4.536 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
4.536 * [taylor]: Taking taylor expansion of 0.5 in z
4.536 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.537 * [taylor]: Taking taylor expansion of z in z
4.537 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.537 * [taylor]: Taking taylor expansion of y in z
4.537 * [taylor]: Taking taylor expansion of z in z
4.540 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in z
4.541 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in z
4.541 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in z
4.541 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.541 * [taylor]: Taking taylor expansion of x in z
4.541 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in z
4.541 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
4.541 * [taylor]: Taking taylor expansion of 0.5 in z
4.541 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.541 * [taylor]: Taking taylor expansion of z in z
4.541 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.541 * [taylor]: Taking taylor expansion of y in z
4.541 * [taylor]: Taking taylor expansion of z in z
4.545 * [taylor]: Taking taylor expansion of -2.0 in x
4.545 * [taylor]: Taking taylor expansion of 0 in y
4.548 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y)) (* 4.0 (/ 1 x))) in x
4.548 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
4.548 * [taylor]: Taking taylor expansion of 4.0 in x
4.548 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.548 * [taylor]: Taking taylor expansion of y in x
4.548 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
4.548 * [taylor]: Taking taylor expansion of 4.0 in x
4.548 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.548 * [taylor]: Taking taylor expansion of x in x
4.551 * [taylor]: Taking taylor expansion of 0 in y
4.551 * [taylor]: Taking taylor expansion of 0 in y
4.557 * [taylor]: Taking taylor expansion of (- (* 16.0 (/ 1 (* x y))) (+ (* 8.0 (/ 1 (pow x 2))) (* 8.0 (/ 1 (pow y 2))))) in x
4.557 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (* x y))) in x
4.557 * [taylor]: Taking taylor expansion of 16.0 in x
4.557 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.557 * [taylor]: Taking taylor expansion of (* x y) in x
4.557 * [taylor]: Taking taylor expansion of x in x
4.557 * [taylor]: Taking taylor expansion of y in x
4.557 * [taylor]: Taking taylor expansion of (+ (* 8.0 (/ 1 (pow x 2))) (* 8.0 (/ 1 (pow y 2)))) in x
4.557 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (pow x 2))) in x
4.557 * [taylor]: Taking taylor expansion of 8.0 in x
4.557 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.557 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.557 * [taylor]: Taking taylor expansion of x in x
4.558 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (pow y 2))) in x
4.558 * [taylor]: Taking taylor expansion of 8.0 in x
4.558 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.558 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.558 * [taylor]: Taking taylor expansion of y in x
4.564 * [taylor]: Taking taylor expansion of 0 in y
4.567 * [taylor]: Taking taylor expansion of 0 in y
4.567 * [approximate]: Taking taylor expansion of (/ -1 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in (z x y) around 0
4.567 * [taylor]: Taking taylor expansion of (/ -1 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in y
4.567 * [taylor]: Taking taylor expansion of -1 in y
4.567 * [taylor]: Taking taylor expansion of (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x))) in y
4.567 * [taylor]: Taking taylor expansion of z in y
4.567 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in y
4.567 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in y
4.567 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in y
4.567 * [taylor]: Taking taylor expansion of 0.5 in y
4.567 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.567 * [taylor]: Taking taylor expansion of z in y
4.567 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.567 * [taylor]: Taking taylor expansion of y in y
4.567 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.567 * [taylor]: Taking taylor expansion of x in y
4.568 * [taylor]: Taking taylor expansion of (/ -1 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in x
4.568 * [taylor]: Taking taylor expansion of -1 in x
4.568 * [taylor]: Taking taylor expansion of (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x))) in x
4.568 * [taylor]: Taking taylor expansion of z in x
4.568 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in x
4.568 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in x
4.568 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
4.568 * [taylor]: Taking taylor expansion of 0.5 in x
4.568 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.568 * [taylor]: Taking taylor expansion of z in x
4.568 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.568 * [taylor]: Taking taylor expansion of y in x
4.568 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.568 * [taylor]: Taking taylor expansion of x in x
4.569 * [taylor]: Taking taylor expansion of (/ -1 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in z
4.569 * [taylor]: Taking taylor expansion of -1 in z
4.569 * [taylor]: Taking taylor expansion of (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x))) in z
4.569 * [taylor]: Taking taylor expansion of z in z
4.569 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in z
4.569 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in z
4.569 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
4.569 * [taylor]: Taking taylor expansion of 0.5 in z
4.569 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.569 * [taylor]: Taking taylor expansion of z in z
4.570 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.570 * [taylor]: Taking taylor expansion of y in z
4.570 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.570 * [taylor]: Taking taylor expansion of x in z
4.572 * [taylor]: Taking taylor expansion of (/ -1 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in z
4.572 * [taylor]: Taking taylor expansion of -1 in z
4.572 * [taylor]: Taking taylor expansion of (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x))) in z
4.572 * [taylor]: Taking taylor expansion of z in z
4.572 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in z
4.572 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in z
4.572 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
4.572 * [taylor]: Taking taylor expansion of 0.5 in z
4.572 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.572 * [taylor]: Taking taylor expansion of z in z
4.573 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.573 * [taylor]: Taking taylor expansion of y in z
4.573 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.573 * [taylor]: Taking taylor expansion of x in z
4.575 * [taylor]: Taking taylor expansion of -2.0 in x
4.575 * [taylor]: Taking taylor expansion of 0 in y
4.578 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y)) (* 4.0 (/ 1 x))) in x
4.578 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
4.578 * [taylor]: Taking taylor expansion of 4.0 in x
4.578 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.578 * [taylor]: Taking taylor expansion of y in x
4.578 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
4.578 * [taylor]: Taking taylor expansion of 4.0 in x
4.578 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.578 * [taylor]: Taking taylor expansion of x in x
4.581 * [taylor]: Taking taylor expansion of 0 in y
4.581 * [taylor]: Taking taylor expansion of 0 in y
4.584 * [taylor]: Taking taylor expansion of (- (* 16.0 (/ 1 (* x y))) (+ (* 8.0 (/ 1 (pow x 2))) (* 8.0 (/ 1 (pow y 2))))) in x
4.585 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (* x y))) in x
4.585 * [taylor]: Taking taylor expansion of 16.0 in x
4.585 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.585 * [taylor]: Taking taylor expansion of (* x y) in x
4.585 * [taylor]: Taking taylor expansion of x in x
4.585 * [taylor]: Taking taylor expansion of y in x
4.585 * [taylor]: Taking taylor expansion of (+ (* 8.0 (/ 1 (pow x 2))) (* 8.0 (/ 1 (pow y 2)))) in x
4.585 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (pow x 2))) in x
4.585 * [taylor]: Taking taylor expansion of 8.0 in x
4.585 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.585 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.585 * [taylor]: Taking taylor expansion of x in x
4.586 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (pow y 2))) in x
4.586 * [taylor]: Taking taylor expansion of 8.0 in x
4.586 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.586 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.586 * [taylor]: Taking taylor expansion of y in x
4.592 * [taylor]: Taking taylor expansion of 0 in y
4.594 * [taylor]: Taking taylor expansion of 0 in y
4.594 * * * [progress]: simplifying candidates
4.596 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (log 4.0) (- (log z) (log (- (- x y) (* z 0.5)))))
  (- (log 4.0) (log (/ z (- (- x y) (* z 0.5)))))
  (log (/ 4.0 (/ z (- (- x y) (* z 0.5)))))
  (exp (/ 4.0 (/ z (- (- x y) (* z 0.5)))))
  (/ (* (* 4.0 4.0) 4.0) (/ (* (* z z) z) (* (* (- (- x y) (* z 0.5)) (- (- x y) (* z 0.5))) (- (- x y) (* z 0.5)))))
  (/ (* (* 4.0 4.0) 4.0) (* (* (/ z (- (- x y) (* z 0.5))) (/ z (- (- x y) (* z 0.5)))) (/ z (- (- x y) (* z 0.5)))))
  (* (cbrt (/ 4.0 (/ z (- (- x y) (* z 0.5))))) (cbrt (/ 4.0 (/ z (- (- x y) (* z 0.5))))))
  (cbrt (/ 4.0 (/ z (- (- x y) (* z 0.5)))))
  (* (* (/ 4.0 (/ z (- (- x y) (* z 0.5)))) (/ 4.0 (/ z (- (- x y) (* z 0.5))))) (/ 4.0 (/ z (- (- x y) (* z 0.5)))))
  (sqrt (/ 4.0 (/ z (- (- x y) (* z 0.5)))))
  (sqrt (/ 4.0 (/ z (- (- x y) (* z 0.5)))))
  (- 4.0)
  (- (/ z (- (- x y) (* z 0.5))))
  (/ (* (cbrt 4.0) (cbrt 4.0)) (* (cbrt (/ z (- (- x y) (* z 0.5)))) (cbrt (/ z (- (- x y) (* z 0.5))))))
  (/ (cbrt 4.0) (cbrt (/ z (- (- x y) (* z 0.5)))))
  (/ (* (cbrt 4.0) (cbrt 4.0)) (sqrt (/ z (- (- x y) (* z 0.5)))))
  (/ (cbrt 4.0) (sqrt (/ z (- (- x y) (* z 0.5)))))
  (/ (* (cbrt 4.0) (cbrt 4.0)) (/ (* (cbrt z) (cbrt z)) (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5))))))
  (/ (cbrt 4.0) (/ (cbrt z) (cbrt (- (- x y) (* z 0.5)))))
  (/ (* (cbrt 4.0) (cbrt 4.0)) (/ (* (cbrt z) (cbrt z)) (sqrt (- (- x y) (* z 0.5)))))
  (/ (cbrt 4.0) (/ (cbrt z) (sqrt (- (- x y) (* z 0.5)))))
  (/ (* (cbrt 4.0) (cbrt 4.0)) (/ (* (cbrt z) (cbrt z)) 1))
  (/ (cbrt 4.0) (/ (cbrt z) (- (- x y) (* z 0.5))))
  (/ (* (cbrt 4.0) (cbrt 4.0)) (/ (sqrt z) (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5))))))
  (/ (cbrt 4.0) (/ (sqrt z) (cbrt (- (- x y) (* z 0.5)))))
  (/ (* (cbrt 4.0) (cbrt 4.0)) (/ (sqrt z) (sqrt (- (- x y) (* z 0.5)))))
  (/ (cbrt 4.0) (/ (sqrt z) (sqrt (- (- x y) (* z 0.5)))))
  (/ (* (cbrt 4.0) (cbrt 4.0)) (/ (sqrt z) 1))
  (/ (cbrt 4.0) (/ (sqrt z) (- (- x y) (* z 0.5))))
  (/ (* (cbrt 4.0) (cbrt 4.0)) (/ 1 (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5))))))
  (/ (cbrt 4.0) (/ z (cbrt (- (- x y) (* z 0.5)))))
  (/ (* (cbrt 4.0) (cbrt 4.0)) (/ 1 (sqrt (- (- x y) (* z 0.5)))))
  (/ (cbrt 4.0) (/ z (sqrt (- (- x y) (* z 0.5)))))
  (/ (* (cbrt 4.0) (cbrt 4.0)) (/ 1 1))
  (/ (cbrt 4.0) (/ z (- (- x y) (* z 0.5))))
  (/ (* (cbrt 4.0) (cbrt 4.0)) 1)
  (/ (cbrt 4.0) (/ z (- (- x y) (* z 0.5))))
  (/ (* (cbrt 4.0) (cbrt 4.0)) z)
  (/ (cbrt 4.0) (/ 1 (- (- x y) (* z 0.5))))
  (/ (* (cbrt 4.0) (cbrt 4.0)) (/ z (- (pow (- x y) 3) (pow (* z 0.5) 3))))
  (/ (cbrt 4.0) (+ (* (- x y) (- x y)) (+ (* (* z 0.5) (* z 0.5)) (* (- x y) (* z 0.5)))))
  (/ (* (cbrt 4.0) (cbrt 4.0)) (/ z (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))))
  (/ (cbrt 4.0) (+ (- x y) (* z 0.5)))
  (/ (sqrt 4.0) (* (cbrt (/ z (- (- x y) (* z 0.5)))) (cbrt (/ z (- (- x y) (* z 0.5))))))
  (/ (sqrt 4.0) (cbrt (/ z (- (- x y) (* z 0.5)))))
  (/ (sqrt 4.0) (sqrt (/ z (- (- x y) (* z 0.5)))))
  (/ (sqrt 4.0) (sqrt (/ z (- (- x y) (* z 0.5)))))
  (/ (sqrt 4.0) (/ (* (cbrt z) (cbrt z)) (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5))))))
  (/ (sqrt 4.0) (/ (cbrt z) (cbrt (- (- x y) (* z 0.5)))))
  (/ (sqrt 4.0) (/ (* (cbrt z) (cbrt z)) (sqrt (- (- x y) (* z 0.5)))))
  (/ (sqrt 4.0) (/ (cbrt z) (sqrt (- (- x y) (* z 0.5)))))
  (/ (sqrt 4.0) (/ (* (cbrt z) (cbrt z)) 1))
  (/ (sqrt 4.0) (/ (cbrt z) (- (- x y) (* z 0.5))))
  (/ (sqrt 4.0) (/ (sqrt z) (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5))))))
  (/ (sqrt 4.0) (/ (sqrt z) (cbrt (- (- x y) (* z 0.5)))))
  (/ (sqrt 4.0) (/ (sqrt z) (sqrt (- (- x y) (* z 0.5)))))
  (/ (sqrt 4.0) (/ (sqrt z) (sqrt (- (- x y) (* z 0.5)))))
  (/ (sqrt 4.0) (/ (sqrt z) 1))
  (/ (sqrt 4.0) (/ (sqrt z) (- (- x y) (* z 0.5))))
  (/ (sqrt 4.0) (/ 1 (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5))))))
  (/ (sqrt 4.0) (/ z (cbrt (- (- x y) (* z 0.5)))))
  (/ (sqrt 4.0) (/ 1 (sqrt (- (- x y) (* z 0.5)))))
  (/ (sqrt 4.0) (/ z (sqrt (- (- x y) (* z 0.5)))))
  (/ (sqrt 4.0) (/ 1 1))
  (/ (sqrt 4.0) (/ z (- (- x y) (* z 0.5))))
  (/ (sqrt 4.0) 1)
  (/ (sqrt 4.0) (/ z (- (- x y) (* z 0.5))))
  (/ (sqrt 4.0) z)
  (/ (sqrt 4.0) (/ 1 (- (- x y) (* z 0.5))))
  (/ (sqrt 4.0) (/ z (- (pow (- x y) 3) (pow (* z 0.5) 3))))
  (/ (sqrt 4.0) (+ (* (- x y) (- x y)) (+ (* (* z 0.5) (* z 0.5)) (* (- x y) (* z 0.5)))))
  (/ (sqrt 4.0) (/ z (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))))
  (/ (sqrt 4.0) (+ (- x y) (* z 0.5)))
  (/ 1 (* (cbrt (/ z (- (- x y) (* z 0.5)))) (cbrt (/ z (- (- x y) (* z 0.5))))))
  (/ 4.0 (cbrt (/ z (- (- x y) (* z 0.5)))))
  (/ 1 (sqrt (/ z (- (- x y) (* z 0.5)))))
  (/ 4.0 (sqrt (/ z (- (- x y) (* z 0.5)))))
  (/ 1 (/ (* (cbrt z) (cbrt z)) (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5))))))
  (/ 4.0 (/ (cbrt z) (cbrt (- (- x y) (* z 0.5)))))
  (/ 1 (/ (* (cbrt z) (cbrt z)) (sqrt (- (- x y) (* z 0.5)))))
  (/ 4.0 (/ (cbrt z) (sqrt (- (- x y) (* z 0.5)))))
  (/ 1 (/ (* (cbrt z) (cbrt z)) 1))
  (/ 4.0 (/ (cbrt z) (- (- x y) (* z 0.5))))
  (/ 1 (/ (sqrt z) (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5))))))
  (/ 4.0 (/ (sqrt z) (cbrt (- (- x y) (* z 0.5)))))
  (/ 1 (/ (sqrt z) (sqrt (- (- x y) (* z 0.5)))))
  (/ 4.0 (/ (sqrt z) (sqrt (- (- x y) (* z 0.5)))))
  (/ 1 (/ (sqrt z) 1))
  (/ 4.0 (/ (sqrt z) (- (- x y) (* z 0.5))))
  (/ 1 (/ 1 (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5))))))
  (/ 4.0 (/ z (cbrt (- (- x y) (* z 0.5)))))
  (/ 1 (/ 1 (sqrt (- (- x y) (* z 0.5)))))
  (/ 4.0 (/ z (sqrt (- (- x y) (* z 0.5)))))
  (/ 1 (/ 1 1))
  (/ 4.0 (/ z (- (- x y) (* z 0.5))))
  (/ 1 1)
  (/ 4.0 (/ z (- (- x y) (* z 0.5))))
  (/ 1 z)
  (/ 4.0 (/ 1 (- (- x y) (* z 0.5))))
  (/ 1 (/ z (- (pow (- x y) 3) (pow (* z 0.5) 3))))
  (/ 4.0 (+ (* (- x y) (- x y)) (+ (* (* z 0.5) (* z 0.5)) (* (- x y) (* z 0.5)))))
  (/ 1 (/ z (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))))
  (/ 4.0 (+ (- x y) (* z 0.5)))
  (/ 1 (/ z (- (- x y) (* z 0.5))))
  (/ (/ z (- (- x y) (* z 0.5))) 4.0)
  (/ 4.0 (* (cbrt (/ z (- (- x y) (* z 0.5)))) (cbrt (/ z (- (- x y) (* z 0.5))))))
  (/ 4.0 (sqrt (/ z (- (- x y) (* z 0.5)))))
  (/ 4.0 (/ (* (cbrt z) (cbrt z)) (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5))))))
  (/ 4.0 (/ (* (cbrt z) (cbrt z)) (sqrt (- (- x y) (* z 0.5)))))
  (/ 4.0 (/ (* (cbrt z) (cbrt z)) 1))
  (/ 4.0 (/ (sqrt z) (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5))))))
  (/ 4.0 (/ (sqrt z) (sqrt (- (- x y) (* z 0.5)))))
  (/ 4.0 (/ (sqrt z) 1))
  (/ 4.0 (/ 1 (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5))))))
  (/ 4.0 (/ 1 (sqrt (- (- x y) (* z 0.5)))))
  (/ 4.0 (/ 1 1))
  (/ 4.0 1)
  (/ 4.0 z)
  (/ 4.0 (/ z (- (pow (- x y) 3) (pow (* z 0.5) 3))))
  (/ 4.0 (/ z (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))))
  (/ (/ z (- (- x y) (* z 0.5))) (cbrt 4.0))
  (/ (/ z (- (- x y) (* z 0.5))) (sqrt 4.0))
  (/ (/ z (- (- x y) (* z 0.5))) 4.0)
  (/ 4.0 z)
  (- (log z) (log (- (- x y) (* z 0.5))))
  (log (/ z (- (- x y) (* z 0.5))))
  (exp (/ z (- (- x y) (* z 0.5))))
  (/ (* (* z z) z) (* (* (- (- x y) (* z 0.5)) (- (- x y) (* z 0.5))) (- (- x y) (* z 0.5))))
  (* (cbrt (/ z (- (- x y) (* z 0.5)))) (cbrt (/ z (- (- x y) (* z 0.5)))))
  (cbrt (/ z (- (- x y) (* z 0.5))))
  (* (* (/ z (- (- x y) (* z 0.5))) (/ z (- (- x y) (* z 0.5)))) (/ z (- (- x y) (* z 0.5))))
  (sqrt (/ z (- (- x y) (* z 0.5))))
  (sqrt (/ z (- (- x y) (* z 0.5))))
  (- z)
  (- (- (- x y) (* z 0.5)))
  (/ (* (cbrt z) (cbrt z)) (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5)))))
  (/ (cbrt z) (cbrt (- (- x y) (* z 0.5))))
  (/ (* (cbrt z) (cbrt z)) (sqrt (- (- x y) (* z 0.5))))
  (/ (cbrt z) (sqrt (- (- x y) (* z 0.5))))
  (/ (* (cbrt z) (cbrt z)) 1)
  (/ (cbrt z) (- (- x y) (* z 0.5)))
  (/ (sqrt z) (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5)))))
  (/ (sqrt z) (cbrt (- (- x y) (* z 0.5))))
  (/ (sqrt z) (sqrt (- (- x y) (* z 0.5))))
  (/ (sqrt z) (sqrt (- (- x y) (* z 0.5))))
  (/ (sqrt z) 1)
  (/ (sqrt z) (- (- x y) (* z 0.5)))
  (/ 1 (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5)))))
  (/ z (cbrt (- (- x y) (* z 0.5))))
  (/ 1 (sqrt (- (- x y) (* z 0.5))))
  (/ z (sqrt (- (- x y) (* z 0.5))))
  (/ 1 1)
  (/ z (- (- x y) (* z 0.5)))
  (/ 1 (- (- x y) (* z 0.5)))
  (/ (- (- x y) (* z 0.5)) z)
  (/ z (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5)))))
  (/ z (sqrt (- (- x y) (* z 0.5))))
  (/ z 1)
  (/ (- (- x y) (* z 0.5)) (cbrt z))
  (/ (- (- x y) (* z 0.5)) (sqrt z))
  (/ (- (- x y) (* z 0.5)) z)
  (/ z (- (pow (- x y) 3) (pow (* z 0.5) 3)))
  (/ z (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))
  (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
  (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
  (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
  0
  0
  0
4.602 * * [simplify]: iteration  0 :  196  enodes  (cost  2288 )
4.651 * * [simplify]: iteration  1 :  445  enodes  (cost  2200 )
4.747 * * [simplify]: iteration  2 :  1470  enodes  (cost  2076 )
5.183 * * [simplify]: iteration  done :  5001  enodes  (cost  2076 )
5.184 * [simplify]: Simplified to:
   (log (/ 4.0 (/ z (- (- x y) (* z 0.5)))))
  (log (/ 4.0 (/ z (- (- x y) (* z 0.5)))))
  (log (/ 4.0 (/ z (- (- x y) (* z 0.5)))))
  (exp (/ 4.0 (/ z (- (- x y) (* z 0.5)))))
  (pow (/ 4.0 (/ z (- (- x y) (* z 0.5)))) 3)
  (pow (/ 4.0 (/ z (- (- x y) (* z 0.5)))) 3)
  (* (cbrt (/ 4.0 (/ z (- (- x y) (* z 0.5))))) (cbrt (/ 4.0 (/ z (- (- x y) (* z 0.5))))))
  (cbrt (/ 4.0 (/ z (- (- x y) (* z 0.5)))))
  (pow (/ 4.0 (/ z (- (- x y) (* z 0.5)))) 3)
  (sqrt (/ 4.0 (/ z (- (- x y) (* z 0.5)))))
  (sqrt (/ 4.0 (/ z (- (- x y) (* z 0.5)))))
  (- 4.0)
  (- (/ z (- (- x y) (* z 0.5))))
  (/ (* (cbrt 4.0) (cbrt 4.0)) (* (cbrt (/ z (- (- x y) (* z 0.5)))) (cbrt (/ z (- (- x y) (* z 0.5))))))
  (/ (cbrt 4.0) (cbrt (/ z (- (- x y) (* z 0.5)))))
  (/ (* (cbrt 4.0) (cbrt 4.0)) (sqrt (/ z (- (- x y) (* z 0.5)))))
  (/ (cbrt 4.0) (sqrt (/ z (- (- x y) (* z 0.5)))))
  (/ (* (cbrt 4.0) (cbrt 4.0)) (/ (* (cbrt z) (cbrt z)) (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5))))))
  (/ (cbrt 4.0) (/ (cbrt z) (cbrt (- (- x y) (* z 0.5)))))
  (/ (* (cbrt 4.0) (cbrt 4.0)) (/ (* (cbrt z) (cbrt z)) (sqrt (- (- x y) (* z 0.5)))))
  (/ (cbrt 4.0) (/ (cbrt z) (sqrt (- (- x y) (* z 0.5)))))
  (/ (* (cbrt 4.0) (cbrt 4.0)) (* (cbrt z) (cbrt z)))
  (/ (cbrt 4.0) (/ (cbrt z) (- (- x y) (* z 0.5))))
  (/ (* (cbrt 4.0) (cbrt 4.0)) (/ (sqrt z) (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5))))))
  (/ (cbrt 4.0) (/ (sqrt z) (cbrt (- (- x y) (* z 0.5)))))
  (/ (* (cbrt 4.0) (cbrt 4.0)) (/ (sqrt z) (sqrt (- (- x y) (* z 0.5)))))
  (/ (cbrt 4.0) (/ (sqrt z) (sqrt (- (- x y) (* z 0.5)))))
  (/ (* (cbrt 4.0) (cbrt 4.0)) (sqrt z))
  (/ (cbrt 4.0) (/ (sqrt z) (- (- x y) (* z 0.5))))
  (* (* (cbrt 4.0) (cbrt 4.0)) (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5)))))
  (/ (cbrt 4.0) (/ z (cbrt (- (- x y) (* z 0.5)))))
  (* (* (cbrt 4.0) (cbrt 4.0)) (sqrt (- (- x y) (* z 0.5))))
  (/ (cbrt 4.0) (/ z (sqrt (- (- x y) (* z 0.5)))))
  (* (cbrt 4.0) (cbrt 4.0))
  (/ (cbrt 4.0) (/ z (- (- x y) (* z 0.5))))
  (* (cbrt 4.0) (cbrt 4.0))
  (/ (cbrt 4.0) (/ z (- (- x y) (* z 0.5))))
  (/ (* (cbrt 4.0) (cbrt 4.0)) z)
  (* (cbrt 4.0) (- (- x y) (* z 0.5)))
  (/ (* (cbrt 4.0) (cbrt 4.0)) (/ z (- (pow (- x y) 3) (pow (* z 0.5) 3))))
  (/ (cbrt 4.0) (+ (* (- x y) (- x y)) (* (* z 0.5) (+ (- x y) (* z 0.5)))))
  (/ (* (cbrt 4.0) (cbrt 4.0)) (/ z (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))))
  (/ (cbrt 4.0) (+ (- x y) (* z 0.5)))
  (/ (sqrt 4.0) (* (cbrt (/ z (- (- x y) (* z 0.5)))) (cbrt (/ z (- (- x y) (* z 0.5))))))
  (/ (sqrt 4.0) (cbrt (/ z (- (- x y) (* z 0.5)))))
  (/ (sqrt 4.0) (sqrt (/ z (- (- x y) (* z 0.5)))))
  (/ (sqrt 4.0) (sqrt (/ z (- (- x y) (* z 0.5)))))
  (/ (sqrt 4.0) (/ (* (cbrt z) (cbrt z)) (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5))))))
  (/ (sqrt 4.0) (/ (cbrt z) (cbrt (- (- x y) (* z 0.5)))))
  (/ (sqrt 4.0) (/ (* (cbrt z) (cbrt z)) (sqrt (- (- x y) (* z 0.5)))))
  (/ (sqrt 4.0) (/ (cbrt z) (sqrt (- (- x y) (* z 0.5)))))
  (/ (sqrt 4.0) (* (cbrt z) (cbrt z)))
  (/ (sqrt 4.0) (/ (cbrt z) (- (- x y) (* z 0.5))))
  (/ (sqrt 4.0) (/ (sqrt z) (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5))))))
  (/ (sqrt 4.0) (/ (sqrt z) (cbrt (- (- x y) (* z 0.5)))))
  (/ (sqrt 4.0) (/ (sqrt z) (sqrt (- (- x y) (* z 0.5)))))
  (/ (sqrt 4.0) (/ (sqrt z) (sqrt (- (- x y) (* z 0.5)))))
  (/ (sqrt 4.0) (sqrt z))
  (/ (sqrt 4.0) (/ (sqrt z) (- (- x y) (* z 0.5))))
  (* (sqrt 4.0) (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5)))))
  (/ (sqrt 4.0) (/ z (cbrt (- (- x y) (* z 0.5)))))
  (* (sqrt 4.0) (sqrt (- (- x y) (* z 0.5))))
  (/ (sqrt 4.0) (/ z (sqrt (- (- x y) (* z 0.5)))))
  (sqrt 4.0)
  (/ (sqrt 4.0) (/ z (- (- x y) (* z 0.5))))
  (sqrt 4.0)
  (/ (sqrt 4.0) (/ z (- (- x y) (* z 0.5))))
  (/ (sqrt 4.0) z)
  (* (sqrt 4.0) (- (- x y) (* z 0.5)))
  (/ (sqrt 4.0) (/ z (- (pow (- x y) 3) (pow (* z 0.5) 3))))
  (/ (sqrt 4.0) (+ (* (- x y) (- x y)) (* (* z 0.5) (+ (- x y) (* z 0.5)))))
  (/ (sqrt 4.0) (/ z (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))))
  (/ (sqrt 4.0) (+ (- x y) (* z 0.5)))
  (/ 1 (* (cbrt (/ z (- (- x y) (* z 0.5)))) (cbrt (/ z (- (- x y) (* z 0.5))))))
  (/ 4.0 (cbrt (/ z (- (- x y) (* z 0.5)))))
  (/ 1 (sqrt (/ z (- (- x y) (* z 0.5)))))
  (/ 4.0 (sqrt (/ z (- (- x y) (* z 0.5)))))
  (/ (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5)))) (* (cbrt z) (cbrt z)))
  (/ 4.0 (/ (cbrt z) (cbrt (- (- x y) (* z 0.5)))))
  (/ (sqrt (- (- x y) (* z 0.5))) (* (cbrt z) (cbrt z)))
  (/ 4.0 (/ (cbrt z) (sqrt (- (- x y) (* z 0.5)))))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ 4.0 (/ (cbrt z) (- (- x y) (* z 0.5))))
  (/ (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5)))) (sqrt z))
  (/ 4.0 (/ (sqrt z) (cbrt (- (- x y) (* z 0.5)))))
  (/ (sqrt (- (- x y) (* z 0.5))) (sqrt z))
  (/ 4.0 (/ (sqrt z) (sqrt (- (- x y) (* z 0.5)))))
  (/ 1 (sqrt z))
  (/ 4.0 (/ (sqrt z) (- (- x y) (* z 0.5))))
  (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5))))
  (/ 4.0 (/ z (cbrt (- (- x y) (* z 0.5)))))
  (sqrt (- (- x y) (* z 0.5)))
  (/ 4.0 (/ z (sqrt (- (- x y) (* z 0.5)))))
  1
  (/ 4.0 (/ z (- (- x y) (* z 0.5))))
  1
  (/ 4.0 (/ z (- (- x y) (* z 0.5))))
  (/ 1 z)
  (* 4.0 (- (- x y) (* z 0.5)))
  (/ 1 (/ z (- (pow (- x y) 3) (pow (* z 0.5) 3))))
  (/ 4.0 (+ (* (- x y) (- x y)) (* (* z 0.5) (+ (- x y) (* z 0.5)))))
  (/ 1 (/ z (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))))
  (/ 4.0 (+ (- x y) (* z 0.5)))
  (/ 1 (/ z (- (- x y) (* z 0.5))))
  (/ (/ z (- (- x y) (* z 0.5))) 4.0)
  (/ 4.0 (* (cbrt (/ z (- (- x y) (* z 0.5)))) (cbrt (/ z (- (- x y) (* z 0.5))))))
  (/ 4.0 (sqrt (/ z (- (- x y) (* z 0.5)))))
  (/ 4.0 (/ (* (cbrt z) (cbrt z)) (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5))))))
  (/ 4.0 (/ (* (cbrt z) (cbrt z)) (sqrt (- (- x y) (* z 0.5)))))
  (/ 4.0 (* (cbrt z) (cbrt z)))
  (/ 4.0 (/ (sqrt z) (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5))))))
  (/ 4.0 (/ (sqrt z) (sqrt (- (- x y) (* z 0.5)))))
  (/ 4.0 (sqrt z))
  (* 4.0 (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5)))))
  (* 4.0 (sqrt (- (- x y) (* z 0.5))))
  4.0
  4.0
  (/ 4.0 z)
  (/ 4.0 (/ z (- (pow (- x y) 3) (pow (* z 0.5) 3))))
  (/ 4.0 (/ z (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))))
  (/ (/ z (- (- x y) (* z 0.5))) (cbrt 4.0))
  (/ (/ z (- (- x y) (* z 0.5))) (sqrt 4.0))
  (/ (/ z (- (- x y) (* z 0.5))) 4.0)
  (/ 4.0 z)
  (log (/ z (- (- x y) (* z 0.5))))
  (log (/ z (- (- x y) (* z 0.5))))
  (exp (/ z (- (- x y) (* z 0.5))))
  (pow (/ z (- (- x y) (* z 0.5))) 3)
  (* (cbrt (/ z (- (- x y) (* z 0.5)))) (cbrt (/ z (- (- x y) (* z 0.5)))))
  (cbrt (/ z (- (- x y) (* z 0.5))))
  (pow (/ z (- (- x y) (* z 0.5))) 3)
  (sqrt (/ z (- (- x y) (* z 0.5))))
  (sqrt (/ z (- (- x y) (* z 0.5))))
  (- z)
  (- (- (- x y) (* z 0.5)))
  (/ (* (cbrt z) (cbrt z)) (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5)))))
  (/ (cbrt z) (cbrt (- (- x y) (* z 0.5))))
  (* (/ (cbrt z) (sqrt (- (- x y) (* z 0.5)))) (cbrt z))
  (/ (cbrt z) (sqrt (- (- x y) (* z 0.5))))
  (* (cbrt z) (cbrt z))
  (/ (cbrt z) (- (- x y) (* z 0.5)))
  (/ (sqrt z) (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5)))))
  (/ (sqrt z) (cbrt (- (- x y) (* z 0.5))))
  (/ (sqrt z) (sqrt (- (- x y) (* z 0.5))))
  (/ (sqrt z) (sqrt (- (- x y) (* z 0.5))))
  (sqrt z)
  (/ (sqrt z) (- (- x y) (* z 0.5)))
  (/ 1 (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5)))))
  (/ z (cbrt (- (- x y) (* z 0.5))))
  (/ 1 (sqrt (- (- x y) (* z 0.5))))
  (/ z (sqrt (- (- x y) (* z 0.5))))
  1
  (/ z (- (- x y) (* z 0.5)))
  (/ 1 (- (- x y) (* z 0.5)))
  (/ (- (- x y) (* z 0.5)) z)
  (/ z (* (cbrt (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5)))))
  (/ z (sqrt (- (- x y) (* z 0.5))))
  z
  (/ (- (- x y) (* z 0.5)) (cbrt z))
  (/ (- (- x y) (* z 0.5)) (sqrt z))
  (/ (- (- x y) (* z 0.5)) z)
  (/ z (- (pow (- x y) 3) (pow (* z 0.5) 3)))
  (/ z (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))
  (- (* 4.0 (/ (- x y) z)) 2.0)
  (- (* 4.0 (/ (- x y) z)) 2.0)
  (- (* 4.0 (/ (- x y) z)) 2.0)
  0
  0
  0
5.185 * * * [progress]: adding candidates to table
5.441 * * [progress]: iteration 3 / 4
5.441 * * * [progress]: picking best candidate
5.443 * * * * [pick]: Picked  #<alt (λ (x y z) (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))))>
5.443 * * * [progress]: localizing error
5.458 * * * [progress]: generating rewritten candidates
5.458 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
5.491 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
5.503 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
5.519 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
5.560 * * * [progress]: generating series expansions
5.560 * * * * [progress]: [ 1 / 4 ] generating series at (2)
5.560 * [approximate]: Taking taylor expansion of (* 4.0 (/ (- (+ (pow x 2) (pow y 2)) (+ (* 0.25 (pow z 2)) (* 2 (* x y)))) (* (- (+ x (* 0.5 z)) y) z))) in (x y z) around 0
5.560 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (+ (pow x 2) (pow y 2)) (+ (* 0.25 (pow z 2)) (* 2 (* x y)))) (* (- (+ x (* 0.5 z)) y) z))) in z
5.560 * [taylor]: Taking taylor expansion of 4.0 in z
5.560 * [taylor]: Taking taylor expansion of (/ (- (+ (pow x 2) (pow y 2)) (+ (* 0.25 (pow z 2)) (* 2 (* x y)))) (* (- (+ x (* 0.5 z)) y) z)) in z
5.560 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (pow y 2)) (+ (* 0.25 (pow z 2)) (* 2 (* x y)))) in z
5.560 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in z
5.560 * [taylor]: Taking taylor expansion of (pow x 2) in z
5.560 * [taylor]: Taking taylor expansion of x in z
5.560 * [taylor]: Taking taylor expansion of (pow y 2) in z
5.560 * [taylor]: Taking taylor expansion of y in z
5.560 * [taylor]: Taking taylor expansion of (+ (* 0.25 (pow z 2)) (* 2 (* x y))) in z
5.560 * [taylor]: Taking taylor expansion of (* 0.25 (pow z 2)) in z
5.560 * [taylor]: Taking taylor expansion of 0.25 in z
5.560 * [taylor]: Taking taylor expansion of (pow z 2) in z
5.560 * [taylor]: Taking taylor expansion of z in z
5.560 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in z
5.560 * [taylor]: Taking taylor expansion of 2 in z
5.560 * [taylor]: Taking taylor expansion of (* x y) in z
5.560 * [taylor]: Taking taylor expansion of x in z
5.560 * [taylor]: Taking taylor expansion of y in z
5.560 * [taylor]: Taking taylor expansion of (* (- (+ x (* 0.5 z)) y) z) in z
5.560 * [taylor]: Taking taylor expansion of (- (+ x (* 0.5 z)) y) in z
5.560 * [taylor]: Taking taylor expansion of (+ x (* 0.5 z)) in z
5.560 * [taylor]: Taking taylor expansion of x in z
5.560 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
5.560 * [taylor]: Taking taylor expansion of 0.5 in z
5.561 * [taylor]: Taking taylor expansion of z in z
5.561 * [taylor]: Taking taylor expansion of y in z
5.561 * [taylor]: Taking taylor expansion of z in z
5.564 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (+ (pow x 2) (pow y 2)) (+ (* 0.25 (pow z 2)) (* 2 (* x y)))) (* (- (+ x (* 0.5 z)) y) z))) in y
5.564 * [taylor]: Taking taylor expansion of 4.0 in y
5.564 * [taylor]: Taking taylor expansion of (/ (- (+ (pow x 2) (pow y 2)) (+ (* 0.25 (pow z 2)) (* 2 (* x y)))) (* (- (+ x (* 0.5 z)) y) z)) in y
5.564 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (pow y 2)) (+ (* 0.25 (pow z 2)) (* 2 (* x y)))) in y
5.564 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y
5.564 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.564 * [taylor]: Taking taylor expansion of x in y
5.564 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.564 * [taylor]: Taking taylor expansion of y in y
5.564 * [taylor]: Taking taylor expansion of (+ (* 0.25 (pow z 2)) (* 2 (* x y))) in y
5.564 * [taylor]: Taking taylor expansion of (* 0.25 (pow z 2)) in y
5.564 * [taylor]: Taking taylor expansion of 0.25 in y
5.564 * [taylor]: Taking taylor expansion of (pow z 2) in y
5.564 * [taylor]: Taking taylor expansion of z in y
5.564 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in y
5.564 * [taylor]: Taking taylor expansion of 2 in y
5.564 * [taylor]: Taking taylor expansion of (* x y) in y
5.564 * [taylor]: Taking taylor expansion of x in y
5.564 * [taylor]: Taking taylor expansion of y in y
5.564 * [taylor]: Taking taylor expansion of (* (- (+ x (* 0.5 z)) y) z) in y
5.564 * [taylor]: Taking taylor expansion of (- (+ x (* 0.5 z)) y) in y
5.564 * [taylor]: Taking taylor expansion of (+ x (* 0.5 z)) in y
5.564 * [taylor]: Taking taylor expansion of x in y
5.564 * [taylor]: Taking taylor expansion of (* 0.5 z) in y
5.564 * [taylor]: Taking taylor expansion of 0.5 in y
5.564 * [taylor]: Taking taylor expansion of z in y
5.564 * [taylor]: Taking taylor expansion of y in y
5.564 * [taylor]: Taking taylor expansion of z in y
5.566 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (+ (pow x 2) (pow y 2)) (+ (* 0.25 (pow z 2)) (* 2 (* x y)))) (* (- (+ x (* 0.5 z)) y) z))) in x
5.566 * [taylor]: Taking taylor expansion of 4.0 in x
5.566 * [taylor]: Taking taylor expansion of (/ (- (+ (pow x 2) (pow y 2)) (+ (* 0.25 (pow z 2)) (* 2 (* x y)))) (* (- (+ x (* 0.5 z)) y) z)) in x
5.566 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (pow y 2)) (+ (* 0.25 (pow z 2)) (* 2 (* x y)))) in x
5.566 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x
5.566 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.566 * [taylor]: Taking taylor expansion of x in x
5.566 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.566 * [taylor]: Taking taylor expansion of y in x
5.566 * [taylor]: Taking taylor expansion of (+ (* 0.25 (pow z 2)) (* 2 (* x y))) in x
5.566 * [taylor]: Taking taylor expansion of (* 0.25 (pow z 2)) in x
5.566 * [taylor]: Taking taylor expansion of 0.25 in x
5.566 * [taylor]: Taking taylor expansion of (pow z 2) in x
5.566 * [taylor]: Taking taylor expansion of z in x
5.566 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in x
5.566 * [taylor]: Taking taylor expansion of 2 in x
5.566 * [taylor]: Taking taylor expansion of (* x y) in x
5.566 * [taylor]: Taking taylor expansion of x in x
5.566 * [taylor]: Taking taylor expansion of y in x
5.566 * [taylor]: Taking taylor expansion of (* (- (+ x (* 0.5 z)) y) z) in x
5.566 * [taylor]: Taking taylor expansion of (- (+ x (* 0.5 z)) y) in x
5.566 * [taylor]: Taking taylor expansion of (+ x (* 0.5 z)) in x
5.566 * [taylor]: Taking taylor expansion of x in x
5.566 * [taylor]: Taking taylor expansion of (* 0.5 z) in x
5.566 * [taylor]: Taking taylor expansion of 0.5 in x
5.566 * [taylor]: Taking taylor expansion of z in x
5.566 * [taylor]: Taking taylor expansion of y in x
5.566 * [taylor]: Taking taylor expansion of z in x
5.567 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (+ (pow x 2) (pow y 2)) (+ (* 0.25 (pow z 2)) (* 2 (* x y)))) (* (- (+ x (* 0.5 z)) y) z))) in x
5.567 * [taylor]: Taking taylor expansion of 4.0 in x
5.567 * [taylor]: Taking taylor expansion of (/ (- (+ (pow x 2) (pow y 2)) (+ (* 0.25 (pow z 2)) (* 2 (* x y)))) (* (- (+ x (* 0.5 z)) y) z)) in x
5.567 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (pow y 2)) (+ (* 0.25 (pow z 2)) (* 2 (* x y)))) in x
5.567 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x
5.567 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.567 * [taylor]: Taking taylor expansion of x in x
5.567 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.567 * [taylor]: Taking taylor expansion of y in x
5.567 * [taylor]: Taking taylor expansion of (+ (* 0.25 (pow z 2)) (* 2 (* x y))) in x
5.567 * [taylor]: Taking taylor expansion of (* 0.25 (pow z 2)) in x
5.567 * [taylor]: Taking taylor expansion of 0.25 in x
5.567 * [taylor]: Taking taylor expansion of (pow z 2) in x
5.567 * [taylor]: Taking taylor expansion of z in x
5.567 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in x
5.567 * [taylor]: Taking taylor expansion of 2 in x
5.567 * [taylor]: Taking taylor expansion of (* x y) in x
5.567 * [taylor]: Taking taylor expansion of x in x
5.567 * [taylor]: Taking taylor expansion of y in x
5.567 * [taylor]: Taking taylor expansion of (* (- (+ x (* 0.5 z)) y) z) in x
5.567 * [taylor]: Taking taylor expansion of (- (+ x (* 0.5 z)) y) in x
5.567 * [taylor]: Taking taylor expansion of (+ x (* 0.5 z)) in x
5.568 * [taylor]: Taking taylor expansion of x in x
5.568 * [taylor]: Taking taylor expansion of (* 0.5 z) in x
5.568 * [taylor]: Taking taylor expansion of 0.5 in x
5.568 * [taylor]: Taking taylor expansion of z in x
5.568 * [taylor]: Taking taylor expansion of y in x
5.568 * [taylor]: Taking taylor expansion of z in x
5.569 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (pow y 2) (* 0.25 (pow z 2))) (* (- (* 0.5 z) y) z))) in y
5.569 * [taylor]: Taking taylor expansion of 4.0 in y
5.569 * [taylor]: Taking taylor expansion of (/ (- (pow y 2) (* 0.25 (pow z 2))) (* (- (* 0.5 z) y) z)) in y
5.569 * [taylor]: Taking taylor expansion of (- (pow y 2) (* 0.25 (pow z 2))) in y
5.569 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.569 * [taylor]: Taking taylor expansion of y in y
5.569 * [taylor]: Taking taylor expansion of (* 0.25 (pow z 2)) in y
5.569 * [taylor]: Taking taylor expansion of 0.25 in y
5.569 * [taylor]: Taking taylor expansion of (pow z 2) in y
5.569 * [taylor]: Taking taylor expansion of z in y
5.569 * [taylor]: Taking taylor expansion of (* (- (* 0.5 z) y) z) in y
5.569 * [taylor]: Taking taylor expansion of (- (* 0.5 z) y) in y
5.569 * [taylor]: Taking taylor expansion of (* 0.5 z) in y
5.569 * [taylor]: Taking taylor expansion of 0.5 in y
5.569 * [taylor]: Taking taylor expansion of z in y
5.569 * [taylor]: Taking taylor expansion of y in y
5.569 * [taylor]: Taking taylor expansion of z in y
5.570 * [taylor]: Taking taylor expansion of -2.0 in z
5.574 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ z (pow (- (* 0.5 z) y) 2))) (+ (* 4.0 (/ (pow y 2) (* (pow (- (* 0.5 z) y) 2) z))) (* 8.0 (/ y (* (- (* 0.5 z) y) z))))) in y
5.574 * [taylor]: Taking taylor expansion of (* 1.0 (/ z (pow (- (* 0.5 z) y) 2))) in y
5.574 * [taylor]: Taking taylor expansion of 1.0 in y
5.574 * [taylor]: Taking taylor expansion of (/ z (pow (- (* 0.5 z) y) 2)) in y
5.574 * [taylor]: Taking taylor expansion of z in y
5.574 * [taylor]: Taking taylor expansion of (pow (- (* 0.5 z) y) 2) in y
5.574 * [taylor]: Taking taylor expansion of (- (* 0.5 z) y) in y
5.574 * [taylor]: Taking taylor expansion of (* 0.5 z) in y
5.574 * [taylor]: Taking taylor expansion of 0.5 in y
5.574 * [taylor]: Taking taylor expansion of z in y
5.574 * [taylor]: Taking taylor expansion of y in y
5.574 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ (pow y 2) (* (pow (- (* 0.5 z) y) 2) z))) (* 8.0 (/ y (* (- (* 0.5 z) y) z)))) in y
5.574 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow y 2) (* (pow (- (* 0.5 z) y) 2) z))) in y
5.574 * [taylor]: Taking taylor expansion of 4.0 in y
5.574 * [taylor]: Taking taylor expansion of (/ (pow y 2) (* (pow (- (* 0.5 z) y) 2) z)) in y
5.575 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.575 * [taylor]: Taking taylor expansion of y in y
5.575 * [taylor]: Taking taylor expansion of (* (pow (- (* 0.5 z) y) 2) z) in y
5.575 * [taylor]: Taking taylor expansion of (pow (- (* 0.5 z) y) 2) in y
5.575 * [taylor]: Taking taylor expansion of (- (* 0.5 z) y) in y
5.575 * [taylor]: Taking taylor expansion of (* 0.5 z) in y
5.575 * [taylor]: Taking taylor expansion of 0.5 in y
5.575 * [taylor]: Taking taylor expansion of z in y
5.575 * [taylor]: Taking taylor expansion of y in y
5.575 * [taylor]: Taking taylor expansion of z in y
5.575 * [taylor]: Taking taylor expansion of (* 8.0 (/ y (* (- (* 0.5 z) y) z))) in y
5.575 * [taylor]: Taking taylor expansion of 8.0 in y
5.575 * [taylor]: Taking taylor expansion of (/ y (* (- (* 0.5 z) y) z)) in y
5.575 * [taylor]: Taking taylor expansion of y in y
5.575 * [taylor]: Taking taylor expansion of (* (- (* 0.5 z) y) z) in y
5.575 * [taylor]: Taking taylor expansion of (- (* 0.5 z) y) in y
5.576 * [taylor]: Taking taylor expansion of (* 0.5 z) in y
5.576 * [taylor]: Taking taylor expansion of 0.5 in y
5.576 * [taylor]: Taking taylor expansion of z in y
5.576 * [taylor]: Taking taylor expansion of y in y
5.576 * [taylor]: Taking taylor expansion of z in y
5.576 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
5.576 * [taylor]: Taking taylor expansion of 4.0 in z
5.576 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.576 * [taylor]: Taking taylor expansion of z in z
5.579 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
5.579 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
5.579 * [taylor]: Taking taylor expansion of 4.0 in z
5.579 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.579 * [taylor]: Taking taylor expansion of z in z
5.581 * [approximate]: Taking taylor expansion of (* 4.0 (/ (* z (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))))) (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)))) in (x y z) around 0
5.581 * [taylor]: Taking taylor expansion of (* 4.0 (/ (* z (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))))) (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)))) in z
5.581 * [taylor]: Taking taylor expansion of 4.0 in z
5.581 * [taylor]: Taking taylor expansion of (/ (* z (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))))) (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y))) in z
5.581 * [taylor]: Taking taylor expansion of (* z (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))))) in z
5.581 * [taylor]: Taking taylor expansion of z in z
5.581 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y))))) in z
5.581 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in z
5.581 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
5.581 * [taylor]: Taking taylor expansion of (pow x 2) in z
5.581 * [taylor]: Taking taylor expansion of x in z
5.581 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
5.581 * [taylor]: Taking taylor expansion of (pow y 2) in z
5.581 * [taylor]: Taking taylor expansion of y in z
5.581 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in z
5.581 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in z
5.581 * [taylor]: Taking taylor expansion of 0.25 in z
5.581 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
5.581 * [taylor]: Taking taylor expansion of (pow z 2) in z
5.581 * [taylor]: Taking taylor expansion of z in z
5.582 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in z
5.582 * [taylor]: Taking taylor expansion of 2 in z
5.582 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
5.582 * [taylor]: Taking taylor expansion of (* x y) in z
5.582 * [taylor]: Taking taylor expansion of x in z
5.582 * [taylor]: Taking taylor expansion of y in z
5.582 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)) in z
5.582 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in z
5.582 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
5.582 * [taylor]: Taking taylor expansion of 0.5 in z
5.582 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.582 * [taylor]: Taking taylor expansion of z in z
5.582 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.582 * [taylor]: Taking taylor expansion of x in z
5.582 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.582 * [taylor]: Taking taylor expansion of y in z
5.588 * [taylor]: Taking taylor expansion of (* 4.0 (/ (* z (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))))) (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)))) in y
5.588 * [taylor]: Taking taylor expansion of 4.0 in y
5.588 * [taylor]: Taking taylor expansion of (/ (* z (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))))) (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y))) in y
5.588 * [taylor]: Taking taylor expansion of (* z (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))))) in y
5.588 * [taylor]: Taking taylor expansion of z in y
5.588 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y))))) in y
5.588 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
5.588 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
5.588 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.588 * [taylor]: Taking taylor expansion of x in y
5.589 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.589 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.589 * [taylor]: Taking taylor expansion of y in y
5.589 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in y
5.589 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in y
5.589 * [taylor]: Taking taylor expansion of 0.25 in y
5.589 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
5.589 * [taylor]: Taking taylor expansion of (pow z 2) in y
5.589 * [taylor]: Taking taylor expansion of z in y
5.589 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y
5.589 * [taylor]: Taking taylor expansion of 2 in y
5.589 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
5.589 * [taylor]: Taking taylor expansion of (* x y) in y
5.589 * [taylor]: Taking taylor expansion of x in y
5.589 * [taylor]: Taking taylor expansion of y in y
5.590 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)) in y
5.590 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in y
5.590 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in y
5.590 * [taylor]: Taking taylor expansion of 0.5 in y
5.590 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.590 * [taylor]: Taking taylor expansion of z in y
5.590 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.590 * [taylor]: Taking taylor expansion of x in y
5.590 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.590 * [taylor]: Taking taylor expansion of y in y
5.591 * [taylor]: Taking taylor expansion of (* 4.0 (/ (* z (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))))) (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)))) in x
5.591 * [taylor]: Taking taylor expansion of 4.0 in x
5.591 * [taylor]: Taking taylor expansion of (/ (* z (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))))) (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y))) in x
5.591 * [taylor]: Taking taylor expansion of (* z (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))))) in x
5.591 * [taylor]: Taking taylor expansion of z in x
5.591 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y))))) in x
5.591 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
5.591 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.591 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.591 * [taylor]: Taking taylor expansion of x in x
5.592 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
5.592 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.592 * [taylor]: Taking taylor expansion of y in x
5.592 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in x
5.592 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in x
5.592 * [taylor]: Taking taylor expansion of 0.25 in x
5.592 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
5.592 * [taylor]: Taking taylor expansion of (pow z 2) in x
5.592 * [taylor]: Taking taylor expansion of z in x
5.592 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x
5.592 * [taylor]: Taking taylor expansion of 2 in x
5.592 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.592 * [taylor]: Taking taylor expansion of (* x y) in x
5.592 * [taylor]: Taking taylor expansion of x in x
5.592 * [taylor]: Taking taylor expansion of y in x
5.593 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)) in x
5.593 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in x
5.593 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
5.593 * [taylor]: Taking taylor expansion of 0.5 in x
5.593 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.593 * [taylor]: Taking taylor expansion of z in x
5.593 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.593 * [taylor]: Taking taylor expansion of x in x
5.593 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.593 * [taylor]: Taking taylor expansion of y in x
5.594 * [taylor]: Taking taylor expansion of (* 4.0 (/ (* z (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))))) (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)))) in x
5.594 * [taylor]: Taking taylor expansion of 4.0 in x
5.594 * [taylor]: Taking taylor expansion of (/ (* z (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))))) (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y))) in x
5.595 * [taylor]: Taking taylor expansion of (* z (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))))) in x
5.595 * [taylor]: Taking taylor expansion of z in x
5.595 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y))))) in x
5.595 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
5.595 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.595 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.595 * [taylor]: Taking taylor expansion of x in x
5.595 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
5.595 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.595 * [taylor]: Taking taylor expansion of y in x
5.595 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in x
5.595 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in x
5.595 * [taylor]: Taking taylor expansion of 0.25 in x
5.595 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
5.595 * [taylor]: Taking taylor expansion of (pow z 2) in x
5.595 * [taylor]: Taking taylor expansion of z in x
5.595 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x
5.596 * [taylor]: Taking taylor expansion of 2 in x
5.596 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.596 * [taylor]: Taking taylor expansion of (* x y) in x
5.596 * [taylor]: Taking taylor expansion of x in x
5.596 * [taylor]: Taking taylor expansion of y in x
5.596 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)) in x
5.596 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in x
5.596 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
5.596 * [taylor]: Taking taylor expansion of 0.5 in x
5.596 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.596 * [taylor]: Taking taylor expansion of z in x
5.596 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.596 * [taylor]: Taking taylor expansion of x in x
5.596 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.596 * [taylor]: Taking taylor expansion of y in x
5.598 * [taylor]: Taking taylor expansion of (* 4.0 z) in y
5.598 * [taylor]: Taking taylor expansion of 4.0 in y
5.598 * [taylor]: Taking taylor expansion of z in y
5.600 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ z y)) 2.0)) in y
5.600 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ z y)) 2.0) in y
5.600 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y
5.600 * [taylor]: Taking taylor expansion of 4.0 in y
5.600 * [taylor]: Taking taylor expansion of (/ z y) in y
5.600 * [taylor]: Taking taylor expansion of z in y
5.600 * [taylor]: Taking taylor expansion of y in y
5.601 * [taylor]: Taking taylor expansion of 2.0 in y
5.601 * [taylor]: Taking taylor expansion of (- (* 4.0 z)) in z
5.601 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
5.601 * [taylor]: Taking taylor expansion of 4.0 in z
5.601 * [taylor]: Taking taylor expansion of z in z
5.601 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
5.601 * [taylor]: Taking taylor expansion of 4.0 in z
5.601 * [taylor]: Taking taylor expansion of z in z
5.607 * [taylor]: Taking taylor expansion of 0 in y
5.608 * [taylor]: Taking taylor expansion of (- 2.0) in z
5.609 * [taylor]: Taking taylor expansion of 2.0 in z
5.609 * [taylor]: Taking taylor expansion of 0 in z
5.613 * [approximate]: Taking taylor expansion of (* -4.0 (/ (* z (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))))) (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))))) in (x y z) around 0
5.613 * [taylor]: Taking taylor expansion of (* -4.0 (/ (* z (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))))) (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))))) in z
5.613 * [taylor]: Taking taylor expansion of -4.0 in z
5.613 * [taylor]: Taking taylor expansion of (/ (* z (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))))) (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x)))) in z
5.613 * [taylor]: Taking taylor expansion of (* z (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))))) in z
5.613 * [taylor]: Taking taylor expansion of z in z
5.613 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y))))) in z
5.613 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in z
5.613 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
5.613 * [taylor]: Taking taylor expansion of (pow x 2) in z
5.613 * [taylor]: Taking taylor expansion of x in z
5.613 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
5.613 * [taylor]: Taking taylor expansion of (pow y 2) in z
5.613 * [taylor]: Taking taylor expansion of y in z
5.613 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in z
5.613 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in z
5.613 * [taylor]: Taking taylor expansion of 0.25 in z
5.613 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
5.613 * [taylor]: Taking taylor expansion of (pow z 2) in z
5.613 * [taylor]: Taking taylor expansion of z in z
5.614 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in z
5.614 * [taylor]: Taking taylor expansion of 2 in z
5.614 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
5.614 * [taylor]: Taking taylor expansion of (* x y) in z
5.614 * [taylor]: Taking taylor expansion of x in z
5.614 * [taylor]: Taking taylor expansion of y in z
5.614 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) in z
5.614 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.614 * [taylor]: Taking taylor expansion of y in z
5.614 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in z
5.614 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
5.614 * [taylor]: Taking taylor expansion of 0.5 in z
5.614 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.614 * [taylor]: Taking taylor expansion of z in z
5.614 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.614 * [taylor]: Taking taylor expansion of x in z
5.624 * [taylor]: Taking taylor expansion of (* -4.0 (/ (* z (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))))) (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))))) in y
5.624 * [taylor]: Taking taylor expansion of -4.0 in y
5.624 * [taylor]: Taking taylor expansion of (/ (* z (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))))) (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x)))) in y
5.624 * [taylor]: Taking taylor expansion of (* z (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))))) in y
5.624 * [taylor]: Taking taylor expansion of z in y
5.624 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y))))) in y
5.624 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
5.624 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
5.624 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.624 * [taylor]: Taking taylor expansion of x in y
5.624 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.624 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.624 * [taylor]: Taking taylor expansion of y in y
5.625 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in y
5.625 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in y
5.625 * [taylor]: Taking taylor expansion of 0.25 in y
5.625 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
5.625 * [taylor]: Taking taylor expansion of (pow z 2) in y
5.625 * [taylor]: Taking taylor expansion of z in y
5.625 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y
5.625 * [taylor]: Taking taylor expansion of 2 in y
5.625 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
5.625 * [taylor]: Taking taylor expansion of (* x y) in y
5.625 * [taylor]: Taking taylor expansion of x in y
5.625 * [taylor]: Taking taylor expansion of y in y
5.625 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) in y
5.625 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.625 * [taylor]: Taking taylor expansion of y in y
5.626 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in y
5.626 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in y
5.626 * [taylor]: Taking taylor expansion of 0.5 in y
5.626 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.626 * [taylor]: Taking taylor expansion of z in y
5.626 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.626 * [taylor]: Taking taylor expansion of x in y
5.626 * [taylor]: Taking taylor expansion of (* -4.0 (/ (* z (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))))) (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))))) in x
5.627 * [taylor]: Taking taylor expansion of -4.0 in x
5.627 * [taylor]: Taking taylor expansion of (/ (* z (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))))) (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x)))) in x
5.627 * [taylor]: Taking taylor expansion of (* z (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))))) in x
5.627 * [taylor]: Taking taylor expansion of z in x
5.627 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y))))) in x
5.627 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
5.627 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.627 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.627 * [taylor]: Taking taylor expansion of x in x
5.627 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
5.627 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.627 * [taylor]: Taking taylor expansion of y in x
5.627 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in x
5.627 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in x
5.627 * [taylor]: Taking taylor expansion of 0.25 in x
5.627 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
5.627 * [taylor]: Taking taylor expansion of (pow z 2) in x
5.627 * [taylor]: Taking taylor expansion of z in x
5.628 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x
5.628 * [taylor]: Taking taylor expansion of 2 in x
5.628 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.628 * [taylor]: Taking taylor expansion of (* x y) in x
5.628 * [taylor]: Taking taylor expansion of x in x
5.628 * [taylor]: Taking taylor expansion of y in x
5.628 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) in x
5.628 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.628 * [taylor]: Taking taylor expansion of y in x
5.628 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in x
5.628 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
5.628 * [taylor]: Taking taylor expansion of 0.5 in x
5.628 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.628 * [taylor]: Taking taylor expansion of z in x
5.628 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.628 * [taylor]: Taking taylor expansion of x in x
5.630 * [taylor]: Taking taylor expansion of (* -4.0 (/ (* z (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))))) (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))))) in x
5.630 * [taylor]: Taking taylor expansion of -4.0 in x
5.630 * [taylor]: Taking taylor expansion of (/ (* z (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))))) (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x)))) in x
5.630 * [taylor]: Taking taylor expansion of (* z (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))))) in x
5.630 * [taylor]: Taking taylor expansion of z in x
5.630 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y))))) in x
5.630 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
5.630 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.630 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.630 * [taylor]: Taking taylor expansion of x in x
5.630 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
5.630 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.630 * [taylor]: Taking taylor expansion of y in x
5.631 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in x
5.631 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in x
5.631 * [taylor]: Taking taylor expansion of 0.25 in x
5.631 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
5.631 * [taylor]: Taking taylor expansion of (pow z 2) in x
5.631 * [taylor]: Taking taylor expansion of z in x
5.631 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x
5.631 * [taylor]: Taking taylor expansion of 2 in x
5.631 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.631 * [taylor]: Taking taylor expansion of (* x y) in x
5.631 * [taylor]: Taking taylor expansion of x in x
5.631 * [taylor]: Taking taylor expansion of y in x
5.631 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) in x
5.631 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.631 * [taylor]: Taking taylor expansion of y in x
5.631 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in x
5.631 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
5.631 * [taylor]: Taking taylor expansion of 0.5 in x
5.631 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.631 * [taylor]: Taking taylor expansion of z in x
5.631 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.631 * [taylor]: Taking taylor expansion of x in x
5.633 * [taylor]: Taking taylor expansion of (* 4.0 z) in y
5.633 * [taylor]: Taking taylor expansion of 4.0 in y
5.633 * [taylor]: Taking taylor expansion of z in y
5.635 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ z y)) 2.0)) in y
5.635 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ z y)) 2.0) in y
5.635 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y
5.635 * [taylor]: Taking taylor expansion of 4.0 in y
5.635 * [taylor]: Taking taylor expansion of (/ z y) in y
5.635 * [taylor]: Taking taylor expansion of z in y
5.636 * [taylor]: Taking taylor expansion of y in y
5.636 * [taylor]: Taking taylor expansion of 2.0 in y
5.636 * [taylor]: Taking taylor expansion of (- (* 4.0 z)) in z
5.636 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
5.636 * [taylor]: Taking taylor expansion of 4.0 in z
5.636 * [taylor]: Taking taylor expansion of z in z
5.636 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
5.636 * [taylor]: Taking taylor expansion of 4.0 in z
5.636 * [taylor]: Taking taylor expansion of z in z
5.642 * [taylor]: Taking taylor expansion of 0 in y
5.644 * [taylor]: Taking taylor expansion of (- 2.0) in z
5.644 * [taylor]: Taking taylor expansion of 2.0 in z
5.645 * [taylor]: Taking taylor expansion of 0 in z
5.648 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
5.648 * [approximate]: Taking taylor expansion of (- (+ (pow x 2) (pow y 2)) (+ (* 0.25 (pow z 2)) (* 2 (* x y)))) in (x y z) around 0
5.648 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (pow y 2)) (+ (* 0.25 (pow z 2)) (* 2 (* x y)))) in z
5.648 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in z
5.648 * [taylor]: Taking taylor expansion of (pow x 2) in z
5.648 * [taylor]: Taking taylor expansion of x in z
5.648 * [taylor]: Taking taylor expansion of (pow y 2) in z
5.648 * [taylor]: Taking taylor expansion of y in z
5.648 * [taylor]: Taking taylor expansion of (+ (* 0.25 (pow z 2)) (* 2 (* x y))) in z
5.648 * [taylor]: Taking taylor expansion of (* 0.25 (pow z 2)) in z
5.648 * [taylor]: Taking taylor expansion of 0.25 in z
5.648 * [taylor]: Taking taylor expansion of (pow z 2) in z
5.648 * [taylor]: Taking taylor expansion of z in z
5.648 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in z
5.648 * [taylor]: Taking taylor expansion of 2 in z
5.648 * [taylor]: Taking taylor expansion of (* x y) in z
5.648 * [taylor]: Taking taylor expansion of x in z
5.648 * [taylor]: Taking taylor expansion of y in z
5.648 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (pow y 2)) (+ (* 0.25 (pow z 2)) (* 2 (* x y)))) in y
5.648 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y
5.648 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.648 * [taylor]: Taking taylor expansion of x in y
5.648 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.648 * [taylor]: Taking taylor expansion of y in y
5.648 * [taylor]: Taking taylor expansion of (+ (* 0.25 (pow z 2)) (* 2 (* x y))) in y
5.648 * [taylor]: Taking taylor expansion of (* 0.25 (pow z 2)) in y
5.648 * [taylor]: Taking taylor expansion of 0.25 in y
5.648 * [taylor]: Taking taylor expansion of (pow z 2) in y
5.648 * [taylor]: Taking taylor expansion of z in y
5.648 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in y
5.648 * [taylor]: Taking taylor expansion of 2 in y
5.648 * [taylor]: Taking taylor expansion of (* x y) in y
5.648 * [taylor]: Taking taylor expansion of x in y
5.648 * [taylor]: Taking taylor expansion of y in y
5.648 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (pow y 2)) (+ (* 0.25 (pow z 2)) (* 2 (* x y)))) in x
5.648 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x
5.648 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.648 * [taylor]: Taking taylor expansion of x in x
5.649 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.649 * [taylor]: Taking taylor expansion of y in x
5.649 * [taylor]: Taking taylor expansion of (+ (* 0.25 (pow z 2)) (* 2 (* x y))) in x
5.649 * [taylor]: Taking taylor expansion of (* 0.25 (pow z 2)) in x
5.649 * [taylor]: Taking taylor expansion of 0.25 in x
5.649 * [taylor]: Taking taylor expansion of (pow z 2) in x
5.649 * [taylor]: Taking taylor expansion of z in x
5.649 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in x
5.649 * [taylor]: Taking taylor expansion of 2 in x
5.649 * [taylor]: Taking taylor expansion of (* x y) in x
5.649 * [taylor]: Taking taylor expansion of x in x
5.649 * [taylor]: Taking taylor expansion of y in x
5.649 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (pow y 2)) (+ (* 0.25 (pow z 2)) (* 2 (* x y)))) in x
5.649 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x
5.649 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.649 * [taylor]: Taking taylor expansion of x in x
5.649 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.649 * [taylor]: Taking taylor expansion of y in x
5.649 * [taylor]: Taking taylor expansion of (+ (* 0.25 (pow z 2)) (* 2 (* x y))) in x
5.649 * [taylor]: Taking taylor expansion of (* 0.25 (pow z 2)) in x
5.649 * [taylor]: Taking taylor expansion of 0.25 in x
5.649 * [taylor]: Taking taylor expansion of (pow z 2) in x
5.649 * [taylor]: Taking taylor expansion of z in x
5.649 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in x
5.649 * [taylor]: Taking taylor expansion of 2 in x
5.649 * [taylor]: Taking taylor expansion of (* x y) in x
5.649 * [taylor]: Taking taylor expansion of x in x
5.649 * [taylor]: Taking taylor expansion of y in x
5.650 * [taylor]: Taking taylor expansion of (- (pow y 2) (* 0.25 (pow z 2))) in y
5.650 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.650 * [taylor]: Taking taylor expansion of y in y
5.650 * [taylor]: Taking taylor expansion of (* 0.25 (pow z 2)) in y
5.650 * [taylor]: Taking taylor expansion of 0.25 in y
5.650 * [taylor]: Taking taylor expansion of (pow z 2) in y
5.650 * [taylor]: Taking taylor expansion of z in y
5.650 * [taylor]: Taking taylor expansion of (- (* 0.25 (pow z 2))) in z
5.650 * [taylor]: Taking taylor expansion of (* 0.25 (pow z 2)) in z
5.650 * [taylor]: Taking taylor expansion of 0.25 in z
5.650 * [taylor]: Taking taylor expansion of (pow z 2) in z
5.650 * [taylor]: Taking taylor expansion of z in z
5.652 * [taylor]: Taking taylor expansion of (- (* 2 y)) in y
5.652 * [taylor]: Taking taylor expansion of (* 2 y) in y
5.652 * [taylor]: Taking taylor expansion of 2 in y
5.652 * [taylor]: Taking taylor expansion of y in y
5.652 * [taylor]: Taking taylor expansion of 0 in z
5.653 * [taylor]: Taking taylor expansion of 0 in z
5.656 * [taylor]: Taking taylor expansion of 1 in y
5.656 * [taylor]: Taking taylor expansion of 1 in z
5.657 * [taylor]: Taking taylor expansion of -2 in z
5.659 * [taylor]: Taking taylor expansion of 1 in z
5.659 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y))))) in (x y z) around 0
5.659 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y))))) in z
5.660 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in z
5.660 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
5.660 * [taylor]: Taking taylor expansion of (pow x 2) in z
5.660 * [taylor]: Taking taylor expansion of x in z
5.660 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
5.660 * [taylor]: Taking taylor expansion of (pow y 2) in z
5.660 * [taylor]: Taking taylor expansion of y in z
5.660 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in z
5.660 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in z
5.660 * [taylor]: Taking taylor expansion of 0.25 in z
5.660 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
5.660 * [taylor]: Taking taylor expansion of (pow z 2) in z
5.660 * [taylor]: Taking taylor expansion of z in z
5.661 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in z
5.661 * [taylor]: Taking taylor expansion of 2 in z
5.661 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
5.661 * [taylor]: Taking taylor expansion of (* x y) in z
5.661 * [taylor]: Taking taylor expansion of x in z
5.661 * [taylor]: Taking taylor expansion of y in z
5.661 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y))))) in y
5.661 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
5.661 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
5.661 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.661 * [taylor]: Taking taylor expansion of x in y
5.661 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.661 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.661 * [taylor]: Taking taylor expansion of y in y
5.661 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in y
5.661 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in y
5.661 * [taylor]: Taking taylor expansion of 0.25 in y
5.661 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
5.661 * [taylor]: Taking taylor expansion of (pow z 2) in y
5.662 * [taylor]: Taking taylor expansion of z in y
5.662 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y
5.662 * [taylor]: Taking taylor expansion of 2 in y
5.662 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
5.662 * [taylor]: Taking taylor expansion of (* x y) in y
5.662 * [taylor]: Taking taylor expansion of x in y
5.662 * [taylor]: Taking taylor expansion of y in y
5.662 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y))))) in x
5.662 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
5.662 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.662 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.662 * [taylor]: Taking taylor expansion of x in x
5.663 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
5.663 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.663 * [taylor]: Taking taylor expansion of y in x
5.663 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in x
5.663 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in x
5.663 * [taylor]: Taking taylor expansion of 0.25 in x
5.663 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
5.663 * [taylor]: Taking taylor expansion of (pow z 2) in x
5.663 * [taylor]: Taking taylor expansion of z in x
5.663 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x
5.663 * [taylor]: Taking taylor expansion of 2 in x
5.663 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.663 * [taylor]: Taking taylor expansion of (* x y) in x
5.663 * [taylor]: Taking taylor expansion of x in x
5.663 * [taylor]: Taking taylor expansion of y in x
5.663 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y))))) in x
5.663 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
5.663 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.663 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.663 * [taylor]: Taking taylor expansion of x in x
5.664 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
5.664 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.664 * [taylor]: Taking taylor expansion of y in x
5.664 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in x
5.664 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in x
5.664 * [taylor]: Taking taylor expansion of 0.25 in x
5.664 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
5.664 * [taylor]: Taking taylor expansion of (pow z 2) in x
5.664 * [taylor]: Taking taylor expansion of z in x
5.664 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x
5.664 * [taylor]: Taking taylor expansion of 2 in x
5.664 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.664 * [taylor]: Taking taylor expansion of (* x y) in x
5.664 * [taylor]: Taking taylor expansion of x in x
5.664 * [taylor]: Taking taylor expansion of y in x
5.665 * [taylor]: Taking taylor expansion of 1 in y
5.666 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y
5.666 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
5.666 * [taylor]: Taking taylor expansion of 2 in y
5.666 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.666 * [taylor]: Taking taylor expansion of y in y
5.669 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (* 0.25 (/ 1 (pow z 2)))) in y
5.669 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.669 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.669 * [taylor]: Taking taylor expansion of y in y
5.670 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in y
5.670 * [taylor]: Taking taylor expansion of 0.25 in y
5.670 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
5.670 * [taylor]: Taking taylor expansion of (pow z 2) in y
5.670 * [taylor]: Taking taylor expansion of z in y
5.670 * [taylor]: Taking taylor expansion of 1 in z
5.671 * [taylor]: Taking taylor expansion of -2 in z
5.671 * [taylor]: Taking taylor expansion of 1 in z
5.675 * [taylor]: Taking taylor expansion of 0 in y
5.676 * [taylor]: Taking taylor expansion of 0 in z
5.677 * [taylor]: Taking taylor expansion of 0 in z
5.677 * [taylor]: Taking taylor expansion of 0 in z
5.682 * [taylor]: Taking taylor expansion of 0 in y
5.684 * [taylor]: Taking taylor expansion of (- (* 0.25 (/ 1 (pow z 2)))) in z
5.684 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in z
5.684 * [taylor]: Taking taylor expansion of 0.25 in z
5.684 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
5.684 * [taylor]: Taking taylor expansion of (pow z 2) in z
5.684 * [taylor]: Taking taylor expansion of z in z
5.686 * [taylor]: Taking taylor expansion of 0 in z
5.686 * [taylor]: Taking taylor expansion of 0 in z
5.688 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y))))) in (x y z) around 0
5.688 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y))))) in z
5.688 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in z
5.688 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
5.688 * [taylor]: Taking taylor expansion of (pow x 2) in z
5.688 * [taylor]: Taking taylor expansion of x in z
5.688 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
5.688 * [taylor]: Taking taylor expansion of (pow y 2) in z
5.688 * [taylor]: Taking taylor expansion of y in z
5.688 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in z
5.688 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in z
5.688 * [taylor]: Taking taylor expansion of 0.25 in z
5.688 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
5.688 * [taylor]: Taking taylor expansion of (pow z 2) in z
5.688 * [taylor]: Taking taylor expansion of z in z
5.689 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in z
5.689 * [taylor]: Taking taylor expansion of 2 in z
5.689 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
5.689 * [taylor]: Taking taylor expansion of (* x y) in z
5.689 * [taylor]: Taking taylor expansion of x in z
5.689 * [taylor]: Taking taylor expansion of y in z
5.689 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y))))) in y
5.689 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
5.689 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
5.689 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.689 * [taylor]: Taking taylor expansion of x in y
5.689 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.689 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.689 * [taylor]: Taking taylor expansion of y in y
5.689 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in y
5.689 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in y
5.689 * [taylor]: Taking taylor expansion of 0.25 in y
5.689 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
5.689 * [taylor]: Taking taylor expansion of (pow z 2) in y
5.690 * [taylor]: Taking taylor expansion of z in y
5.690 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y
5.690 * [taylor]: Taking taylor expansion of 2 in y
5.690 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
5.690 * [taylor]: Taking taylor expansion of (* x y) in y
5.690 * [taylor]: Taking taylor expansion of x in y
5.690 * [taylor]: Taking taylor expansion of y in y
5.690 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y))))) in x
5.690 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
5.690 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.690 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.690 * [taylor]: Taking taylor expansion of x in x
5.691 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
5.691 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.691 * [taylor]: Taking taylor expansion of y in x
5.691 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in x
5.691 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in x
5.691 * [taylor]: Taking taylor expansion of 0.25 in x
5.691 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
5.691 * [taylor]: Taking taylor expansion of (pow z 2) in x
5.691 * [taylor]: Taking taylor expansion of z in x
5.691 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x
5.691 * [taylor]: Taking taylor expansion of 2 in x
5.691 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.691 * [taylor]: Taking taylor expansion of (* x y) in x
5.691 * [taylor]: Taking taylor expansion of x in x
5.691 * [taylor]: Taking taylor expansion of y in x
5.692 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y))))) in x
5.692 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
5.692 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.692 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.692 * [taylor]: Taking taylor expansion of x in x
5.692 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
5.692 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.692 * [taylor]: Taking taylor expansion of y in x
5.692 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in x
5.692 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in x
5.692 * [taylor]: Taking taylor expansion of 0.25 in x
5.692 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
5.692 * [taylor]: Taking taylor expansion of (pow z 2) in x
5.692 * [taylor]: Taking taylor expansion of z in x
5.692 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x
5.692 * [taylor]: Taking taylor expansion of 2 in x
5.693 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.693 * [taylor]: Taking taylor expansion of (* x y) in x
5.693 * [taylor]: Taking taylor expansion of x in x
5.693 * [taylor]: Taking taylor expansion of y in x
5.693 * [taylor]: Taking taylor expansion of 1 in y
5.695 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y
5.695 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
5.695 * [taylor]: Taking taylor expansion of 2 in y
5.695 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.695 * [taylor]: Taking taylor expansion of y in y
5.698 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (* 0.25 (/ 1 (pow z 2)))) in y
5.698 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.698 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.698 * [taylor]: Taking taylor expansion of y in y
5.698 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in y
5.698 * [taylor]: Taking taylor expansion of 0.25 in y
5.698 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
5.698 * [taylor]: Taking taylor expansion of (pow z 2) in y
5.698 * [taylor]: Taking taylor expansion of z in y
5.699 * [taylor]: Taking taylor expansion of 1 in z
5.699 * [taylor]: Taking taylor expansion of -2 in z
5.699 * [taylor]: Taking taylor expansion of 1 in z
5.703 * [taylor]: Taking taylor expansion of 0 in y
5.704 * [taylor]: Taking taylor expansion of 0 in z
5.705 * [taylor]: Taking taylor expansion of 0 in z
5.705 * [taylor]: Taking taylor expansion of 0 in z
5.713 * [taylor]: Taking taylor expansion of 0 in y
5.714 * [taylor]: Taking taylor expansion of (- (* 0.25 (/ 1 (pow z 2)))) in z
5.714 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in z
5.714 * [taylor]: Taking taylor expansion of 0.25 in z
5.714 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
5.714 * [taylor]: Taking taylor expansion of (pow z 2) in z
5.715 * [taylor]: Taking taylor expansion of z in z
5.717 * [taylor]: Taking taylor expansion of 0 in z
5.717 * [taylor]: Taking taylor expansion of 0 in z
5.718 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
5.718 * [approximate]: Taking taylor expansion of (pow (- x y) 2) in (x y) around 0
5.718 * [taylor]: Taking taylor expansion of (pow (- x y) 2) in y
5.718 * [taylor]: Taking taylor expansion of (- x y) in y
5.718 * [taylor]: Taking taylor expansion of x in y
5.718 * [taylor]: Taking taylor expansion of y in y
5.719 * [taylor]: Taking taylor expansion of (pow (- x y) 2) in x
5.719 * [taylor]: Taking taylor expansion of (- x y) in x
5.719 * [taylor]: Taking taylor expansion of x in x
5.719 * [taylor]: Taking taylor expansion of y in x
5.719 * [taylor]: Taking taylor expansion of (pow (- x y) 2) in x
5.719 * [taylor]: Taking taylor expansion of (- x y) in x
5.719 * [taylor]: Taking taylor expansion of x in x
5.719 * [taylor]: Taking taylor expansion of y in x
5.719 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.719 * [taylor]: Taking taylor expansion of y in y
5.719 * [taylor]: Taking taylor expansion of (- (* 2 y)) in y
5.719 * [taylor]: Taking taylor expansion of (* 2 y) in y
5.719 * [taylor]: Taking taylor expansion of 2 in y
5.719 * [taylor]: Taking taylor expansion of y in y
5.721 * [taylor]: Taking taylor expansion of 1 in y
5.722 * [approximate]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 y)) 2) in (x y) around 0
5.722 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 y)) 2) in y
5.722 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
5.722 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.722 * [taylor]: Taking taylor expansion of x in y
5.722 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.722 * [taylor]: Taking taylor expansion of y in y
5.723 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 y)) 2) in x
5.723 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
5.723 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.723 * [taylor]: Taking taylor expansion of x in x
5.723 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.723 * [taylor]: Taking taylor expansion of y in x
5.723 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 y)) 2) in x
5.723 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
5.723 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.724 * [taylor]: Taking taylor expansion of x in x
5.724 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.724 * [taylor]: Taking taylor expansion of y in x
5.724 * [taylor]: Taking taylor expansion of 1 in y
5.725 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y
5.725 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
5.725 * [taylor]: Taking taylor expansion of 2 in y
5.725 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.725 * [taylor]: Taking taylor expansion of y in y
5.727 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.727 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.727 * [taylor]: Taking taylor expansion of y in y
5.728 * [approximate]: Taking taylor expansion of (pow (- (/ 1 y) (/ 1 x)) 2) in (x y) around 0
5.728 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) (/ 1 x)) 2) in y
5.728 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
5.728 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.728 * [taylor]: Taking taylor expansion of y in y
5.729 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.729 * [taylor]: Taking taylor expansion of x in y
5.729 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) (/ 1 x)) 2) in x
5.729 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
5.729 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.729 * [taylor]: Taking taylor expansion of y in x
5.729 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.729 * [taylor]: Taking taylor expansion of x in x
5.730 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) (/ 1 x)) 2) in x
5.730 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
5.730 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.730 * [taylor]: Taking taylor expansion of y in x
5.730 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.730 * [taylor]: Taking taylor expansion of x in x
5.731 * [taylor]: Taking taylor expansion of 1 in y
5.732 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y
5.732 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
5.732 * [taylor]: Taking taylor expansion of 2 in y
5.732 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.732 * [taylor]: Taking taylor expansion of y in y
5.734 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.734 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.734 * [taylor]: Taking taylor expansion of y in y
5.735 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
5.735 * [approximate]: Taking taylor expansion of (* (- (+ x (* 0.5 z)) y) z) in (z x y) around 0
5.735 * [taylor]: Taking taylor expansion of (* (- (+ x (* 0.5 z)) y) z) in y
5.735 * [taylor]: Taking taylor expansion of (- (+ x (* 0.5 z)) y) in y
5.735 * [taylor]: Taking taylor expansion of (+ x (* 0.5 z)) in y
5.735 * [taylor]: Taking taylor expansion of x in y
5.735 * [taylor]: Taking taylor expansion of (* 0.5 z) in y
5.735 * [taylor]: Taking taylor expansion of 0.5 in y
5.735 * [taylor]: Taking taylor expansion of z in y
5.735 * [taylor]: Taking taylor expansion of y in y
5.735 * [taylor]: Taking taylor expansion of z in y
5.735 * [taylor]: Taking taylor expansion of (* (- (+ x (* 0.5 z)) y) z) in x
5.735 * [taylor]: Taking taylor expansion of (- (+ x (* 0.5 z)) y) in x
5.735 * [taylor]: Taking taylor expansion of (+ x (* 0.5 z)) in x
5.735 * [taylor]: Taking taylor expansion of x in x
5.735 * [taylor]: Taking taylor expansion of (* 0.5 z) in x
5.735 * [taylor]: Taking taylor expansion of 0.5 in x
5.736 * [taylor]: Taking taylor expansion of z in x
5.736 * [taylor]: Taking taylor expansion of y in x
5.736 * [taylor]: Taking taylor expansion of z in x
5.736 * [taylor]: Taking taylor expansion of (* (- (+ x (* 0.5 z)) y) z) in z
5.736 * [taylor]: Taking taylor expansion of (- (+ x (* 0.5 z)) y) in z
5.736 * [taylor]: Taking taylor expansion of (+ x (* 0.5 z)) in z
5.736 * [taylor]: Taking taylor expansion of x in z
5.736 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
5.736 * [taylor]: Taking taylor expansion of 0.5 in z
5.736 * [taylor]: Taking taylor expansion of z in z
5.736 * [taylor]: Taking taylor expansion of y in z
5.736 * [taylor]: Taking taylor expansion of z in z
5.736 * [taylor]: Taking taylor expansion of (* (- (+ x (* 0.5 z)) y) z) in z
5.736 * [taylor]: Taking taylor expansion of (- (+ x (* 0.5 z)) y) in z
5.736 * [taylor]: Taking taylor expansion of (+ x (* 0.5 z)) in z
5.736 * [taylor]: Taking taylor expansion of x in z
5.736 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
5.736 * [taylor]: Taking taylor expansion of 0.5 in z
5.736 * [taylor]: Taking taylor expansion of z in z
5.736 * [taylor]: Taking taylor expansion of y in z
5.736 * [taylor]: Taking taylor expansion of z in z
5.736 * [taylor]: Taking taylor expansion of 0 in x
5.736 * [taylor]: Taking taylor expansion of 0 in y
5.738 * [taylor]: Taking taylor expansion of (- x y) in x
5.738 * [taylor]: Taking taylor expansion of x in x
5.738 * [taylor]: Taking taylor expansion of y in x
5.738 * [taylor]: Taking taylor expansion of (- y) in y
5.738 * [taylor]: Taking taylor expansion of y in y
5.739 * [taylor]: Taking taylor expansion of 0 in y
5.741 * [taylor]: Taking taylor expansion of 0.5 in x
5.741 * [taylor]: Taking taylor expansion of 0.5 in y
5.741 * [taylor]: Taking taylor expansion of 1 in y
5.741 * [taylor]: Taking taylor expansion of 0 in y
5.742 * [approximate]: Taking taylor expansion of (/ (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)) z) in (z x y) around 0
5.742 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)) z) in y
5.742 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)) in y
5.742 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in y
5.742 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in y
5.742 * [taylor]: Taking taylor expansion of 0.5 in y
5.742 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.742 * [taylor]: Taking taylor expansion of z in y
5.742 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.742 * [taylor]: Taking taylor expansion of x in y
5.742 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.742 * [taylor]: Taking taylor expansion of y in y
5.742 * [taylor]: Taking taylor expansion of z in y
5.743 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)) z) in x
5.743 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)) in x
5.743 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in x
5.743 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
5.743 * [taylor]: Taking taylor expansion of 0.5 in x
5.743 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.743 * [taylor]: Taking taylor expansion of z in x
5.743 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.743 * [taylor]: Taking taylor expansion of x in x
5.744 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.744 * [taylor]: Taking taylor expansion of y in x
5.744 * [taylor]: Taking taylor expansion of z in x
5.744 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)) z) in z
5.744 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)) in z
5.744 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in z
5.744 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
5.745 * [taylor]: Taking taylor expansion of 0.5 in z
5.745 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.745 * [taylor]: Taking taylor expansion of z in z
5.745 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.745 * [taylor]: Taking taylor expansion of x in z
5.745 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.745 * [taylor]: Taking taylor expansion of y in z
5.745 * [taylor]: Taking taylor expansion of z in z
5.746 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)) z) in z
5.746 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)) in z
5.746 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in z
5.746 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
5.746 * [taylor]: Taking taylor expansion of 0.5 in z
5.746 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.746 * [taylor]: Taking taylor expansion of z in z
5.746 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.746 * [taylor]: Taking taylor expansion of x in z
5.746 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.746 * [taylor]: Taking taylor expansion of y in z
5.746 * [taylor]: Taking taylor expansion of z in z
5.748 * [taylor]: Taking taylor expansion of 0.5 in x
5.749 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
5.749 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.749 * [taylor]: Taking taylor expansion of x in x
5.749 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.749 * [taylor]: Taking taylor expansion of y in x
5.750 * [taylor]: Taking taylor expansion of 1 in y
5.750 * [taylor]: Taking taylor expansion of 0.5 in y
5.752 * [taylor]: Taking taylor expansion of 0 in x
5.753 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
5.753 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.753 * [taylor]: Taking taylor expansion of y in y
5.753 * [taylor]: Taking taylor expansion of 0 in y
5.754 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) z)) in (z x y) around 0
5.754 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) z)) in y
5.754 * [taylor]: Taking taylor expansion of -1 in y
5.754 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) z) in y
5.754 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) in y
5.754 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.754 * [taylor]: Taking taylor expansion of y in y
5.754 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in y
5.754 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in y
5.755 * [taylor]: Taking taylor expansion of 0.5 in y
5.755 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.755 * [taylor]: Taking taylor expansion of z in y
5.755 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.755 * [taylor]: Taking taylor expansion of x in y
5.755 * [taylor]: Taking taylor expansion of z in y
5.755 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) z)) in x
5.755 * [taylor]: Taking taylor expansion of -1 in x
5.755 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) z) in x
5.755 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) in x
5.755 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.755 * [taylor]: Taking taylor expansion of y in x
5.755 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in x
5.755 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
5.755 * [taylor]: Taking taylor expansion of 0.5 in x
5.755 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.755 * [taylor]: Taking taylor expansion of z in x
5.755 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.755 * [taylor]: Taking taylor expansion of x in x
5.755 * [taylor]: Taking taylor expansion of z in x
5.756 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) z)) in z
5.756 * [taylor]: Taking taylor expansion of -1 in z
5.756 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) z) in z
5.756 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) in z
5.756 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.756 * [taylor]: Taking taylor expansion of y in z
5.756 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in z
5.756 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
5.756 * [taylor]: Taking taylor expansion of 0.5 in z
5.756 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.756 * [taylor]: Taking taylor expansion of z in z
5.757 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.757 * [taylor]: Taking taylor expansion of x in z
5.757 * [taylor]: Taking taylor expansion of z in z
5.759 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) z)) in z
5.759 * [taylor]: Taking taylor expansion of -1 in z
5.759 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) z) in z
5.759 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) in z
5.759 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.759 * [taylor]: Taking taylor expansion of y in z
5.759 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in z
5.759 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
5.759 * [taylor]: Taking taylor expansion of 0.5 in z
5.759 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.759 * [taylor]: Taking taylor expansion of z in z
5.759 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.759 * [taylor]: Taking taylor expansion of x in z
5.759 * [taylor]: Taking taylor expansion of z in z
5.761 * [taylor]: Taking taylor expansion of 0.5 in x
5.763 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
5.763 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.763 * [taylor]: Taking taylor expansion of x in x
5.763 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.763 * [taylor]: Taking taylor expansion of y in x
5.764 * [taylor]: Taking taylor expansion of 1 in y
5.764 * [taylor]: Taking taylor expansion of 0.5 in y
5.767 * [taylor]: Taking taylor expansion of 0 in x
5.768 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
5.768 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.768 * [taylor]: Taking taylor expansion of y in y
5.768 * [taylor]: Taking taylor expansion of 0 in y
5.769 * * * [progress]: simplifying candidates
5.770 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (log 4.0) (log (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))) (+ (log z) (log (+ (- x y) (* z 0.5)))))
  (- (+ (log 4.0) (log (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))) (log (* z (+ (- x y) (* z 0.5)))))
  (- (log (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))) (+ (log z) (log (+ (- x y) (* z 0.5)))))
  (- (log (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))) (log (* z (+ (- x y) (* z 0.5)))))
  (log (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))))
  (exp (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))))
  (/ (* (* (* 4.0 4.0) 4.0) (* (* (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))) (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))) (* (* (* z z) z) (* (* (+ (- x y) (* z 0.5)) (+ (- x y) (* z 0.5))) (+ (- x y) (* z 0.5)))))
  (/ (* (* (* 4.0 4.0) 4.0) (* (* (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))) (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))) (* (* (* z (+ (- x y) (* z 0.5))) (* z (+ (- x y) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))))
  (/ (* (* (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))) (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))) (* (* (* z z) z) (* (* (+ (- x y) (* z 0.5)) (+ (- x y) (* z 0.5))) (+ (- x y) (* z 0.5)))))
  (/ (* (* (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))) (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))) (* (* (* z (+ (- x y) (* z 0.5))) (* z (+ (- x y) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))))
  (* (cbrt (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5))))) (cbrt (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5))))))
  (cbrt (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))))
  (* (* (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))) (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5))))) (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))))
  (sqrt (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))))
  (sqrt (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))))
  (- (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))))
  (- (* z (+ (- x y) (* z 0.5))))
  (/ 4.0 z)
  (/ (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))) (+ (- x y) (* z 0.5)))
  (/ 1 (* z (+ (- x y) (* z 0.5))))
  (/ (* z (+ (- x y) (* z 0.5))) (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))))
  (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) z)
  (/ (* z (+ (- x y) (* z 0.5))) (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))
  (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (pow (- x y) 3) (pow (* z 0.5) 3))))
  (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))))
  (* (* z (+ (- x y) (* z 0.5))) (+ (* (* (- x y) (- x y)) (* (- x y) (- x y))) (+ (* (* (* z 0.5) (* z 0.5)) (* (* z 0.5) (* z 0.5))) (* (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))))
  (* (* z (+ (- x y) (* z 0.5))) (+ (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))
  (/ (exp (* (- x y) (- x y))) (exp (* (* z 0.5) (* z 0.5))))
  (log (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))
  (exp (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))
  (* (cbrt (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (cbrt (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))))
  (cbrt (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))
  (* (* (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))) (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))
  (sqrt (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))
  (sqrt (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))
  (- (pow (* (- x y) (- x y)) 3) (pow (* (* z 0.5) (* z 0.5)) 3))
  (+ (* (* (- x y) (- x y)) (* (- x y) (- x y))) (+ (* (* (* z 0.5) (* z 0.5)) (* (* z 0.5) (* z 0.5))) (* (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))))
  (- (* (* z 0.5) (* z 0.5)))
  (- (* (* (- x y) (- x y)) (* (- x y) (- x y))) (* (* (* z 0.5) (* z 0.5)) (* (* z 0.5) (* z 0.5))))
  (+ (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))
  (+ (- x y) (* z 0.5))
  (- (- x y) (* z 0.5))
  (- (* (- x y) (- y)) (* (* z 0.5) (* z 0.5)))
  (- (* (- x y) (- y)) (* (* z 0.5) (* z 0.5)))
  (- (* (- y) (- x y)) (* (* z 0.5) (* z 0.5)))
  (- (* (- y) (- x y)) (* (* z 0.5) (* z 0.5)))
  (- (* (* z 0.5) (* z 0.5)))
  (+ 1 1)
  (* (- x y) (- x y))
  (+ 1 1)
  (+ (log (- x y)) (log (- x y)))
  (log (* (- x y) (- x y)))
  (exp (* (- x y) (- x y)))
  (* (* (* (- x y) (- x y)) (- x y)) (* (* (- x y) (- x y)) (- x y)))
  (* (cbrt (* (- x y) (- x y))) (cbrt (* (- x y) (- x y))))
  (cbrt (* (- x y) (- x y)))
  (* (* (* (- x y) (- x y)) (* (- x y) (- x y))) (* (- x y) (- x y)))
  (sqrt (* (- x y) (- x y)))
  (sqrt (* (- x y) (- x y)))
  (* (- (pow x 3) (pow y 3)) (- (pow x 3) (pow y 3)))
  (* (+ (* x x) (+ (* y y) (* x y))) (+ (* x x) (+ (* y y) (* x y))))
  (* (- (pow x 3) (pow y 3)) (- (* x x) (* y y)))
  (* (+ (* x x) (+ (* y y) (* x y))) (+ x y))
  (* (- (* x x) (* y y)) (- (pow x 3) (pow y 3)))
  (* (+ x y) (+ (* x x) (+ (* y y) (* x y))))
  (* (- (* x x) (* y y)) (- (* x x) (* y y)))
  (* (+ x y) (+ x y))
  (* (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt (- x y)) (cbrt (- x y))))
  (* (cbrt (- x y)) (cbrt (- x y)))
  (* (sqrt (- x y)) (sqrt (- x y)))
  (* (sqrt (- x y)) (sqrt (- x y)))
  (* 1 1)
  (* (- x y) (- x y))
  (* 1 1)
  (* (- x y) (- x y))
  (* (+ (sqrt x) (sqrt y)) (+ (sqrt x) (sqrt y)))
  (* (- (sqrt x) (sqrt y)) (- (sqrt x) (sqrt y)))
  (* 1 1)
  (* (- x y) (- x y))
  (* 1 1)
  (* (- x y) (- x y))
  (* (sqrt (- x y)) (sqrt (- x y)))
  (* (sqrt (- x y)) (sqrt (- x y)))
  (* 2 1)
  (* (- x y) x)
  (* (- x y) (- y))
  (* (- x y) x)
  (* (- x y) (- y))
  (* x (- x y))
  (* (- y) (- x y))
  (* x (- x y))
  (* (- y) (- x y))
  (* (- x y) (* (cbrt (- x y)) (cbrt (- x y))))
  (* (- x y) (sqrt (- x y)))
  (* (- x y) 1)
  (* (- x y) (+ (sqrt x) (sqrt y)))
  (* (- x y) 1)
  (* (cbrt (- x y)) (- x y))
  (* (sqrt (- x y)) (- x y))
  (* (- x y) (- x y))
  (* (- (sqrt x) (sqrt y)) (- x y))
  (* (- x y) (- x y))
  (* (- x y) (- (pow x 3) (pow y 3)))
  (* (- x y) (- (* x x) (* y y)))
  (* (- (pow x 3) (pow y 3)) (- x y))
  (* (- (* x x) (* y y)) (- x y))
  (* z (+ (- x y) (* z 0.5)))
  (+ (log z) (log (+ (- x y) (* z 0.5))))
  (log (* z (+ (- x y) (* z 0.5))))
  (exp (* z (+ (- x y) (* z 0.5))))
  (* (* (* z z) z) (* (* (+ (- x y) (* z 0.5)) (+ (- x y) (* z 0.5))) (+ (- x y) (* z 0.5))))
  (* (cbrt (* z (+ (- x y) (* z 0.5)))) (cbrt (* z (+ (- x y) (* z 0.5)))))
  (cbrt (* z (+ (- x y) (* z 0.5))))
  (* (* (* z (+ (- x y) (* z 0.5))) (* z (+ (- x y) (* z 0.5)))) (* z (+ (- x y) (* z 0.5))))
  (sqrt (* z (+ (- x y) (* z 0.5))))
  (sqrt (* z (+ (- x y) (* z 0.5))))
  (* (sqrt z) (sqrt (+ (- x y) (* z 0.5))))
  (* (sqrt z) (sqrt (+ (- x y) (* z 0.5))))
  (* z (- x y))
  (* z (* z 0.5))
  (* (- x y) z)
  (* (* z 0.5) z)
  (* z (* (cbrt (+ (- x y) (* z 0.5))) (cbrt (+ (- x y) (* z 0.5)))))
  (* z (sqrt (+ (- x y) (* z 0.5))))
  (* z 1)
  (* (cbrt z) (+ (- x y) (* z 0.5)))
  (* (sqrt z) (+ (- x y) (* z 0.5)))
  (* z (+ (- x y) (* z 0.5)))
  (* z (+ (pow (- x y) 3) (pow (* z 0.5) 3)))
  (* z (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))
  (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
  (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
  (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0))
  (- (+ (pow x 2) (pow y 2)) (* 2 (* x y)))
  (- (pow y 2) (+ (* 0.25 (pow z 2)) (* 2 (* x y))))
  (- (pow y 2) (+ (* 0.25 (pow z 2)) (* 2 (* x y))))
  (- (+ (pow x 2) (pow y 2)) (* 2 (* x y)))
  (- (+ (pow x 2) (pow y 2)) (* 2 (* x y)))
  (- (+ (pow x 2) (pow y 2)) (* 2 (* x y)))
  (- (+ (* x z) (* 0.5 (pow z 2))) (* z y))
  (- (+ (* x z) (* 0.5 (pow z 2))) (* z y))
  (- (+ (* x z) (* 0.5 (pow z 2))) (* z y))
5.776 * * [simplify]: iteration  0 :  190  enodes  (cost  2374 )
5.824 * * [simplify]: iteration  1 :  558  enodes  (cost  2231 )
6.007 * * [simplify]: iteration  2 :  2674  enodes  (cost  1787 )
6.660 * * [simplify]: iteration  done :  5001  enodes  (cost  1785 )
6.661 * [simplify]: Simplified to:
   (log (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))))
  (log (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))))
  (log (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))))
  (log (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))))
  (log (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))))
  (exp (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))))
  (pow (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))) 3)
  (pow (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))) 3)
  (pow (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))) 3)
  (pow (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))) 3)
  (* (cbrt (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5))))) (cbrt (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5))))))
  (cbrt (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))))
  (pow (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))) 3)
  (sqrt (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))))
  (sqrt (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))))
  (- (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))))
  (- (* z (+ (- x y) (* z 0.5))))
  (/ 4.0 z)
  (/ (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))) (+ (- x y) (* z 0.5)))
  (/ 1 (* z (+ (- x y) (* z 0.5))))
  (/ (* z (+ (- x y) (* z 0.5))) (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))))
  (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) z)
  (* (+ (- x y) (* z 0.5)) (/ z (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))))
  (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (pow (- x y) 3) (pow (* z 0.5) 3))))
  (/ 4.0 z)
  (* (* (+ (- x y) (* z 0.5)) z) (+ (* (* z 0.5) (+ (pow (* z 0.5) 3) (* (* (- x y) (- x y)) (* z 0.5)))) (pow (- x y) 4)))
  (* (* z (+ (- x y) (* z 0.5))) (+ (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))
  (exp (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))
  (log (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))
  (exp (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))
  (* (cbrt (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (cbrt (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))))
  (cbrt (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))
  (pow (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))) 3)
  (sqrt (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))
  (sqrt (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))
  (- (pow (- x y) 6) (pow (* z 0.5) 6))
  (+ (* (* z 0.5) (+ (pow (* z 0.5) 3) (* (* (- x y) (- x y)) (* z 0.5)))) (pow (- x y) 4))
  (- (* (* z 0.5) (* z 0.5)))
  (- (pow (- x y) 4) (pow (* z 0.5) 4))
  (+ (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))
  (+ (- x y) (* z 0.5))
  (- (- x y) (* z 0.5))
  (- (* (- x y) (- y)) (* (* z 0.5) (* z 0.5)))
  (- (* (- x y) (- y)) (* (* z 0.5) (* z 0.5)))
  (- (* (- x y) (- y)) (* (* z 0.5) (* z 0.5)))
  (- (* (- x y) (- y)) (* (* z 0.5) (* z 0.5)))
  (- (* (* z 0.5) (* z 0.5)))
  2
  (* (- x y) (- x y))
  2
  (* 2 (log (- x y)))
  (* 2 (log (- x y)))
  (exp (* (- x y) (- x y)))
  (pow (- x y) 6)
  (* (cbrt (* (- x y) (- x y))) (cbrt (* (- x y) (- x y))))
  (cbrt (* (- x y) (- x y)))
  (pow (- x y) 6)
  (fabs (- x y))
  (fabs (- x y))
  (* (- (pow x 3) (pow y 3)) (- (pow x 3) (pow y 3)))
  (* (+ (* x x) (* y (+ x y))) (+ (* x x) (* y (+ x y))))
  (* (- (* x x) (* y y)) (- (pow x 3) (pow y 3)))
  (* (+ x y) (+ (* x x) (* y (+ x y))))
  (* (- (* x x) (* y y)) (- (pow x 3) (pow y 3)))
  (* (+ x y) (+ (* x x) (* y (+ x y))))
  (* (- (* x x) (* y y)) (- (* x x) (* y y)))
  (* (+ x y) (+ x y))
  (* (pow (cbrt (- x y)) 3) (cbrt (- x y)))
  (* (cbrt (- x y)) (cbrt (- x y)))
  (- x y)
  (- x y)
  1
  (* (- x y) (- x y))
  1
  (* (- x y) (- x y))
  (* (+ (sqrt x) (sqrt y)) (+ (sqrt x) (sqrt y)))
  (* (- (sqrt x) (sqrt y)) (- (sqrt x) (sqrt y)))
  1
  (* (- x y) (- x y))
  1
  (* (- x y) (- x y))
  (- x y)
  (- x y)
  2
  (* (- x y) x)
  (* (- x y) (- y))
  (* (- x y) x)
  (* (- x y) (- y))
  (* (- x y) x)
  (* (- x y) (- y))
  (* (- x y) x)
  (* (- x y) (- y))
  (* (- x y) (* (cbrt (- x y)) (cbrt (- x y))))
  (pow (sqrt (- x y)) 3)
  (- x y)
  (* (- x y) (+ (sqrt x) (sqrt y)))
  (- x y)
  (* (cbrt (- x y)) (- x y))
  (pow (sqrt (- x y)) 3)
  (* (- x y) (- x y))
  (* (- (sqrt x) (sqrt y)) (- x y))
  (* (- x y) (- x y))
  (* (- x y) (- (pow x 3) (pow y 3)))
  (* (- x y) (- (* x x) (* y y)))
  (* (- x y) (- (pow x 3) (pow y 3)))
  (* (- x y) (- (* x x) (* y y)))
  (* (+ (- x y) (* z 0.5)) z)
  (log (* z (+ (- x y) (* z 0.5))))
  (log (* z (+ (- x y) (* z 0.5))))
  (exp (* z (+ (- x y) (* z 0.5))))
  (pow (* z (+ (- x y) (* z 0.5))) 3)
  (* (cbrt (* z (+ (- x y) (* z 0.5)))) (cbrt (* z (+ (- x y) (* z 0.5)))))
  (cbrt (* z (+ (- x y) (* z 0.5))))
  (pow (* z (+ (- x y) (* z 0.5))) 3)
  (sqrt (* z (+ (- x y) (* z 0.5))))
  (sqrt (* z (+ (- x y) (* z 0.5))))
  (* (sqrt z) (sqrt (+ (- x y) (* z 0.5))))
  (* (sqrt z) (sqrt (+ (- x y) (* z 0.5))))
  (* (- x y) z)
  (* (* z 0.5) z)
  (* (- x y) z)
  (* (* z 0.5) z)
  (* z (* (cbrt (+ (- x y) (* z 0.5))) (cbrt (+ (- x y) (* z 0.5)))))
  (* z (sqrt (+ (- x y) (* z 0.5))))
  z
  (* (cbrt z) (+ (- x y) (* z 0.5)))
  (* (sqrt z) (+ (- x y) (* z 0.5)))
  (* (+ (- x y) (* z 0.5)) z)
  (* z (+ (pow (- x y) 3) (pow (* z 0.5) 3)))
  (* z (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5))))
  (- (* 4.0 (- (/ x z) (/ y z))) 2.0)
  (- (* 4.0 (- (/ x z) (/ y z))) 2.0)
  (- (* 4.0 (- (/ x z) (/ y z))) 2.0)
  (+ (* y (- y (* 2 x))) (* x x))
  (- (* y (- y (* 2 x))) (* 0.25 (pow z 2)))
  (- (* y (- y (* 2 x))) (* 0.25 (pow z 2)))
  (+ (* y (- y (* 2 x))) (* x x))
  (+ (* y (- y (* 2 x))) (* x x))
  (+ (* y (- y (* 2 x))) (* x x))
  (* (+ (- x y) (* z 0.5)) z)
  (* (+ (- x y) (* z 0.5)) z)
  (* (+ (- x y) (* z 0.5)) z)
6.662 * * * [progress]: adding candidates to table
6.893 * [progress]: [Phase 3 of 3] Extracting.
6.893 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (/ 4.0 (/ z (- (- x y) (* z 0.5)))))> #<alt (λ (x y z) (/ (* 4.0 (- (- x y) (* z 0.5))) z))> #<alt (λ (x y z) (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))))>)
6.895 * * * [regime-changes]: Trying 5 branch expressions: ((- x y) (/ (* 4.0 (- (- x y) (* z 0.5))) z) z y x)
6.895 * * * * [regimes]: Trying to branch on (- x y) from (#<alt (λ (x y z) (/ 4.0 (/ z (- (- x y) (* z 0.5)))))> #<alt (λ (x y z) (/ (* 4.0 (- (- x y) (* z 0.5))) z))> #<alt (λ (x y z) (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))))>)
6.910 * * * * [regimes]: Trying to branch on (/ (* 4.0 (- (- x y) (* z 0.5))) z) from (#<alt (λ (x y z) (/ 4.0 (/ z (- (- x y) (* z 0.5)))))> #<alt (λ (x y z) (/ (* 4.0 (- (- x y) (* z 0.5))) z))> #<alt (λ (x y z) (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))))>)
6.925 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (/ 4.0 (/ z (- (- x y) (* z 0.5)))))> #<alt (λ (x y z) (/ (* 4.0 (- (- x y) (* z 0.5))) z))> #<alt (λ (x y z) (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))))>)
6.942 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (/ 4.0 (/ z (- (- x y) (* z 0.5)))))> #<alt (λ (x y z) (/ (* 4.0 (- (- x y) (* z 0.5))) z))> #<alt (λ (x y z) (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))))>)
6.957 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (/ 4.0 (/ z (- (- x y) (* z 0.5)))))> #<alt (λ (x y z) (/ (* 4.0 (- (- x y) (* z 0.5))) z))> #<alt (λ (x y z) (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))))>)
6.973 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
6.974 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (* 4.0 (- (- x y) (* z 0.5))) z)
6.974 * * [simplify]: iteration  0 :  10  enodes  (cost  11 )
6.974 * * [simplify]: iteration  1 :  12  enodes  (cost  11 )
6.974 * * [simplify]: iteration  done :  12  enodes  (cost  11 )
6.975 * [simplify]: Simplified to:
   (/ (* 4.0 (- (- x y) (* z 0.5))) z)
7.559 * [regime-testing]: Baseline error score: 0.12801600200025004
7.560 * [regime-testing]: Oracle error score: 0.011876484560570071
7.560 * [regime-testing]: End program error score: 0.12801600200025004
7.581 * [regime-testing]: Target error score: 0.007125890736342043