10.442 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.016 * * * [progress]: [2/2] Setting up program.
0.018 * [progress]: [Phase 2 of 3] Improving.
0.019 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (* 4.0 (- (- x y) (* z 0.5))) z)
0.019 * * [simplify]: iteration  0 :  10  enodes  (cost  11 )
0.021 * * [simplify]: iteration  1 :  20  enodes  (cost  11 )
0.023 * * [simplify]: iteration  2 :  47  enodes  (cost  11 )
0.030 * * [simplify]: iteration  3 :  130  enodes  (cost  11 )
0.051 * * [simplify]: iteration  4 :  281  enodes  (cost  11 )
0.105 * * [simplify]: iteration  5 :  555  enodes  (cost  11 )
0.242 * * [simplify]: iteration  6 :  1069  enodes  (cost  11 )
0.619 * * [simplify]: iteration  7 :  1534  enodes  (cost  9 )
1.812 * * [simplify]: iteration  8 :  3671  enodes  (cost  9 )
6.918 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
6.918 * [simplify]: Simplified to:
   (* (- (/ (- x y) z) 0.5) 4.0)
6.921 * * [progress]: iteration 1 / 4
6.921 * * * [progress]: picking best candidate
6.922 * * * * [pick]: Picked  #<alt (λ (x y z) (/ (* 4.0 (- (- x y) (* z 0.5))) z))>
6.922 * * * [progress]: localizing error
6.933 * * * [progress]: generating rewritten candidates
6.933 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
6.953 * * * [progress]: generating series expansions
6.953 * * * * [progress]: [ 1 / 1 ] generating series at (2)
6.953 * [approximate]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in (x y z) around 0
6.953 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in z
6.953 * [taylor]: Taking taylor expansion of 4.0 in z
6.953 * [taylor]: Taking taylor expansion of (/ (- x (+ (* 0.5 z) y)) z) in z
6.953 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in z
6.953 * [taylor]: Taking taylor expansion of x in z
6.953 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in z
6.953 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
6.953 * [taylor]: Taking taylor expansion of 0.5 in z
6.953 * [taylor]: Taking taylor expansion of z in z
6.953 * [taylor]: Taking taylor expansion of y in z
6.953 * [taylor]: Taking taylor expansion of z in z
6.954 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in y
6.954 * [taylor]: Taking taylor expansion of 4.0 in y
6.954 * [taylor]: Taking taylor expansion of (/ (- x (+ (* 0.5 z) y)) z) in y
6.954 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in y
6.954 * [taylor]: Taking taylor expansion of x in y
6.954 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in y
6.954 * [taylor]: Taking taylor expansion of (* 0.5 z) in y
6.954 * [taylor]: Taking taylor expansion of 0.5 in y
6.954 * [taylor]: Taking taylor expansion of z in y
6.954 * [taylor]: Taking taylor expansion of y in y
6.954 * [taylor]: Taking taylor expansion of z in y
6.954 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in x
6.954 * [taylor]: Taking taylor expansion of 4.0 in x
6.954 * [taylor]: Taking taylor expansion of (/ (- x (+ (* 0.5 z) y)) z) in x
6.954 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in x
6.954 * [taylor]: Taking taylor expansion of x in x
6.954 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in x
6.954 * [taylor]: Taking taylor expansion of (* 0.5 z) in x
6.954 * [taylor]: Taking taylor expansion of 0.5 in x
6.955 * [taylor]: Taking taylor expansion of z in x
6.955 * [taylor]: Taking taylor expansion of y in x
6.955 * [taylor]: Taking taylor expansion of z in x
6.955 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in x
6.955 * [taylor]: Taking taylor expansion of 4.0 in x
6.955 * [taylor]: Taking taylor expansion of (/ (- x (+ (* 0.5 z) y)) z) in x
6.955 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in x
6.955 * [taylor]: Taking taylor expansion of x in x
6.955 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in x
6.955 * [taylor]: Taking taylor expansion of (* 0.5 z) in x
6.955 * [taylor]: Taking taylor expansion of 0.5 in x
6.955 * [taylor]: Taking taylor expansion of z in x
6.955 * [taylor]: Taking taylor expansion of y in x
6.955 * [taylor]: Taking taylor expansion of z in x
6.955 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (* 0.5 z) y) z)) in y
6.955 * [taylor]: Taking taylor expansion of -4.0 in y
6.955 * [taylor]: Taking taylor expansion of (/ (+ (* 0.5 z) y) z) in y
6.955 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in y
6.955 * [taylor]: Taking taylor expansion of (* 0.5 z) in y
6.955 * [taylor]: Taking taylor expansion of 0.5 in y
6.955 * [taylor]: Taking taylor expansion of z in y
6.955 * [taylor]: Taking taylor expansion of y in y
6.955 * [taylor]: Taking taylor expansion of z in y
6.956 * [taylor]: Taking taylor expansion of -2.0 in z
6.957 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in y
6.957 * [taylor]: Taking taylor expansion of 4.0 in y
6.957 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.957 * [taylor]: Taking taylor expansion of z in y
6.957 * [taylor]: Taking taylor expansion of (/ 4.0 z) in z
6.957 * [taylor]: Taking taylor expansion of 4.0 in z
6.957 * [taylor]: Taking taylor expansion of z in z
6.958 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
6.958 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
6.958 * [taylor]: Taking taylor expansion of 4.0 in z
6.958 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.958 * [taylor]: Taking taylor expansion of z in z
6.960 * [approximate]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in (x y z) around 0
6.960 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in z
6.960 * [taylor]: Taking taylor expansion of 4.0 in z
6.960 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in z
6.960 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in z
6.960 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.960 * [taylor]: Taking taylor expansion of x in z
6.960 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in z
6.960 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
6.960 * [taylor]: Taking taylor expansion of 0.5 in z
6.960 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.960 * [taylor]: Taking taylor expansion of z in z
6.960 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.961 * [taylor]: Taking taylor expansion of y in z
6.961 * [taylor]: Taking taylor expansion of z in z
6.961 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in y
6.961 * [taylor]: Taking taylor expansion of 4.0 in y
6.961 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in y
6.961 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in y
6.961 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.961 * [taylor]: Taking taylor expansion of x in y
6.961 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in y
6.961 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in y
6.961 * [taylor]: Taking taylor expansion of 0.5 in y
6.961 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.961 * [taylor]: Taking taylor expansion of z in y
6.961 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.961 * [taylor]: Taking taylor expansion of y in y
6.961 * [taylor]: Taking taylor expansion of z in y
6.961 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in x
6.961 * [taylor]: Taking taylor expansion of 4.0 in x
6.961 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in x
6.961 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in x
6.961 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.961 * [taylor]: Taking taylor expansion of x in x
6.961 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in x
6.961 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
6.962 * [taylor]: Taking taylor expansion of 0.5 in x
6.962 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.962 * [taylor]: Taking taylor expansion of z in x
6.962 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.962 * [taylor]: Taking taylor expansion of y in x
6.962 * [taylor]: Taking taylor expansion of z in x
6.962 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in x
6.962 * [taylor]: Taking taylor expansion of 4.0 in x
6.962 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in x
6.962 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in x
6.962 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.962 * [taylor]: Taking taylor expansion of x in x
6.962 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in x
6.962 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
6.962 * [taylor]: Taking taylor expansion of 0.5 in x
6.962 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.962 * [taylor]: Taking taylor expansion of z in x
6.962 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.962 * [taylor]: Taking taylor expansion of y in x
6.962 * [taylor]: Taking taylor expansion of z in x
6.963 * [taylor]: Taking taylor expansion of (* 4.0 z) in y
6.963 * [taylor]: Taking taylor expansion of 4.0 in y
6.963 * [taylor]: Taking taylor expansion of z in y
6.964 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ z y)) 2.0)) in y
6.964 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ z y)) 2.0) in y
6.964 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y
6.964 * [taylor]: Taking taylor expansion of 4.0 in y
6.964 * [taylor]: Taking taylor expansion of (/ z y) in y
6.964 * [taylor]: Taking taylor expansion of z in y
6.964 * [taylor]: Taking taylor expansion of y in y
6.964 * [taylor]: Taking taylor expansion of 2.0 in y
6.964 * [taylor]: Taking taylor expansion of (- (* 4.0 z)) in z
6.964 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
6.964 * [taylor]: Taking taylor expansion of 4.0 in z
6.964 * [taylor]: Taking taylor expansion of z in z
6.964 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
6.964 * [taylor]: Taking taylor expansion of 4.0 in z
6.964 * [taylor]: Taking taylor expansion of z in z
6.967 * [taylor]: Taking taylor expansion of 0 in y
6.968 * [taylor]: Taking taylor expansion of (- 2.0) in z
6.968 * [taylor]: Taking taylor expansion of 2.0 in z
6.968 * [taylor]: Taking taylor expansion of 0 in z
6.972 * [taylor]: Taking taylor expansion of 0 in y
6.972 * [taylor]: Taking taylor expansion of 0 in z
6.974 * [taylor]: Taking taylor expansion of 0 in z
6.974 * [taylor]: Taking taylor expansion of 0 in z
6.978 * [approximate]: Taking taylor expansion of (* -4.0 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in (x y z) around 0
6.978 * [taylor]: Taking taylor expansion of (* -4.0 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in z
6.978 * [taylor]: Taking taylor expansion of -4.0 in z
6.978 * [taylor]: Taking taylor expansion of (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x))) in z
6.978 * [taylor]: Taking taylor expansion of z in z
6.978 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in z
6.978 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in z
6.978 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
6.978 * [taylor]: Taking taylor expansion of 0.5 in z
6.978 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.978 * [taylor]: Taking taylor expansion of z in z
6.979 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.979 * [taylor]: Taking taylor expansion of y in z
6.979 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.979 * [taylor]: Taking taylor expansion of x in z
6.979 * [taylor]: Taking taylor expansion of (* -4.0 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in y
6.979 * [taylor]: Taking taylor expansion of -4.0 in y
6.979 * [taylor]: Taking taylor expansion of (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x))) in y
6.979 * [taylor]: Taking taylor expansion of z in y
6.979 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in y
6.979 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in y
6.979 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in y
6.979 * [taylor]: Taking taylor expansion of 0.5 in y
6.979 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.979 * [taylor]: Taking taylor expansion of z in y
6.979 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.979 * [taylor]: Taking taylor expansion of y in y
6.979 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.979 * [taylor]: Taking taylor expansion of x in y
6.979 * [taylor]: Taking taylor expansion of (* -4.0 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in x
6.979 * [taylor]: Taking taylor expansion of -4.0 in x
6.979 * [taylor]: Taking taylor expansion of (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x))) in x
6.979 * [taylor]: Taking taylor expansion of z in x
6.979 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in x
6.979 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in x
6.979 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
6.979 * [taylor]: Taking taylor expansion of 0.5 in x
6.979 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.979 * [taylor]: Taking taylor expansion of z in x
6.979 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.979 * [taylor]: Taking taylor expansion of y in x
6.979 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.979 * [taylor]: Taking taylor expansion of x in x
6.980 * [taylor]: Taking taylor expansion of (* -4.0 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in x
6.980 * [taylor]: Taking taylor expansion of -4.0 in x
6.980 * [taylor]: Taking taylor expansion of (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x))) in x
6.980 * [taylor]: Taking taylor expansion of z in x
6.980 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in x
6.980 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in x
6.980 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
6.980 * [taylor]: Taking taylor expansion of 0.5 in x
6.980 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.980 * [taylor]: Taking taylor expansion of z in x
6.980 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.980 * [taylor]: Taking taylor expansion of y in x
6.980 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.980 * [taylor]: Taking taylor expansion of x in x
6.981 * [taylor]: Taking taylor expansion of (* 4.0 z) in y
6.981 * [taylor]: Taking taylor expansion of 4.0 in y
6.981 * [taylor]: Taking taylor expansion of z in y
6.982 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ z y)) 2.0)) in y
6.982 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ z y)) 2.0) in y
6.982 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y
6.982 * [taylor]: Taking taylor expansion of 4.0 in y
6.982 * [taylor]: Taking taylor expansion of (/ z y) in y
6.982 * [taylor]: Taking taylor expansion of z in y
6.982 * [taylor]: Taking taylor expansion of y in y
6.982 * [taylor]: Taking taylor expansion of 2.0 in y
6.982 * [taylor]: Taking taylor expansion of (- (* 4.0 z)) in z
6.982 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
6.982 * [taylor]: Taking taylor expansion of 4.0 in z
6.983 * [taylor]: Taking taylor expansion of z in z
6.983 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
6.983 * [taylor]: Taking taylor expansion of 4.0 in z
6.983 * [taylor]: Taking taylor expansion of z in z
6.985 * [taylor]: Taking taylor expansion of 0 in y
6.986 * [taylor]: Taking taylor expansion of (- 2.0) in z
6.986 * [taylor]: Taking taylor expansion of 2.0 in z
6.986 * [taylor]: Taking taylor expansion of 0 in z
6.990 * [taylor]: Taking taylor expansion of 0 in y
6.990 * [taylor]: Taking taylor expansion of 0 in z
6.992 * [taylor]: Taking taylor expansion of 0 in z
6.992 * [taylor]: Taking taylor expansion of 0 in z
6.996 * * * [progress]: simplifying candidates
6.997 * [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))
6.999 * * [simplify]: iteration  0 :  68  enodes  (cost  406 )
7.014 * * [simplify]: iteration  1 :  193  enodes  (cost  395 )
7.052 * * [simplify]: iteration  2 :  732  enodes  (cost  317 )
7.283 * * [simplify]: iteration  3 :  3583  enodes  (cost  317 )
8.261 * * [simplify]: iteration  done :  5000  enodes  (cost  316 )
8.262 * [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)
8.262 * * * [progress]: adding candidates to table
8.311 * * [progress]: iteration 2 / 4
8.311 * * * [progress]: picking best candidate
8.314 * * * * [pick]: Picked  #<alt (λ (x y z) (/ 4.0 (/ z (- (- x y) (* z 0.5)))))>
8.314 * * * [progress]: localizing error
8.321 * * * [progress]: generating rewritten candidates
8.321 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
8.341 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
8.364 * * * [progress]: generating series expansions
8.364 * * * * [progress]: [ 1 / 2 ] generating series at (2)
8.365 * [approximate]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in (z x y) around 0
8.365 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in y
8.365 * [taylor]: Taking taylor expansion of 4.0 in y
8.365 * [taylor]: Taking taylor expansion of (/ (- x (+ (* 0.5 z) y)) z) in y
8.365 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in y
8.365 * [taylor]: Taking taylor expansion of x in y
8.365 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in y
8.365 * [taylor]: Taking taylor expansion of (* 0.5 z) in y
8.365 * [taylor]: Taking taylor expansion of 0.5 in y
8.365 * [taylor]: Taking taylor expansion of z in y
8.365 * [taylor]: Taking taylor expansion of y in y
8.365 * [taylor]: Taking taylor expansion of z in y
8.365 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in x
8.365 * [taylor]: Taking taylor expansion of 4.0 in x
8.365 * [taylor]: Taking taylor expansion of (/ (- x (+ (* 0.5 z) y)) z) in x
8.365 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in x
8.365 * [taylor]: Taking taylor expansion of x in x
8.365 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in x
8.365 * [taylor]: Taking taylor expansion of (* 0.5 z) in x
8.365 * [taylor]: Taking taylor expansion of 0.5 in x
8.365 * [taylor]: Taking taylor expansion of z in x
8.365 * [taylor]: Taking taylor expansion of y in x
8.365 * [taylor]: Taking taylor expansion of z in x
8.366 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in z
8.366 * [taylor]: Taking taylor expansion of 4.0 in z
8.366 * [taylor]: Taking taylor expansion of (/ (- x (+ (* 0.5 z) y)) z) in z
8.366 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in z
8.366 * [taylor]: Taking taylor expansion of x in z
8.366 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in z
8.366 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
8.366 * [taylor]: Taking taylor expansion of 0.5 in z
8.366 * [taylor]: Taking taylor expansion of z in z
8.366 * [taylor]: Taking taylor expansion of y in z
8.366 * [taylor]: Taking taylor expansion of z in z
8.366 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in z
8.366 * [taylor]: Taking taylor expansion of 4.0 in z
8.366 * [taylor]: Taking taylor expansion of (/ (- x (+ (* 0.5 z) y)) z) in z
8.366 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in z
8.366 * [taylor]: Taking taylor expansion of x in z
8.366 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in z
8.366 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
8.366 * [taylor]: Taking taylor expansion of 0.5 in z
8.366 * [taylor]: Taking taylor expansion of z in z
8.366 * [taylor]: Taking taylor expansion of y in z
8.367 * [taylor]: Taking taylor expansion of z in z
8.367 * [taylor]: Taking taylor expansion of (* 4.0 (- x y)) in x
8.367 * [taylor]: Taking taylor expansion of 4.0 in x
8.367 * [taylor]: Taking taylor expansion of (- x y) in x
8.367 * [taylor]: Taking taylor expansion of x in x
8.367 * [taylor]: Taking taylor expansion of y in x
8.367 * [taylor]: Taking taylor expansion of (* -4.0 y) in y
8.367 * [taylor]: Taking taylor expansion of -4.0 in y
8.367 * [taylor]: Taking taylor expansion of y in y
8.371 * [taylor]: Taking taylor expansion of (- 2.0) in x
8.371 * [taylor]: Taking taylor expansion of 2.0 in x
8.371 * [taylor]: Taking taylor expansion of (- 2.0) in y
8.371 * [taylor]: Taking taylor expansion of 2.0 in y
8.372 * [taylor]: Taking taylor expansion of 4.0 in y
8.374 * [approximate]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in (z x y) around 0
8.374 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in y
8.375 * [taylor]: Taking taylor expansion of 4.0 in y
8.375 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in y
8.375 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in y
8.375 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.375 * [taylor]: Taking taylor expansion of x in y
8.375 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in y
8.375 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in y
8.375 * [taylor]: Taking taylor expansion of 0.5 in y
8.375 * [taylor]: Taking taylor expansion of (/ 1 z) in y
8.375 * [taylor]: Taking taylor expansion of z in y
8.375 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.375 * [taylor]: Taking taylor expansion of y in y
8.375 * [taylor]: Taking taylor expansion of z in y
8.375 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in x
8.375 * [taylor]: Taking taylor expansion of 4.0 in x
8.375 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in x
8.375 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in x
8.375 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.375 * [taylor]: Taking taylor expansion of x in x
8.375 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in x
8.375 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
8.375 * [taylor]: Taking taylor expansion of 0.5 in x
8.375 * [taylor]: Taking taylor expansion of (/ 1 z) in x
8.376 * [taylor]: Taking taylor expansion of z in x
8.376 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.376 * [taylor]: Taking taylor expansion of y in x
8.376 * [taylor]: Taking taylor expansion of z in x
8.376 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in z
8.376 * [taylor]: Taking taylor expansion of 4.0 in z
8.376 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in z
8.376 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in z
8.376 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.376 * [taylor]: Taking taylor expansion of x in z
8.376 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in z
8.376 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
8.376 * [taylor]: Taking taylor expansion of 0.5 in z
8.376 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.376 * [taylor]: Taking taylor expansion of z in z
8.376 * [taylor]: Taking taylor expansion of (/ 1 y) in z
8.376 * [taylor]: Taking taylor expansion of y in z
8.376 * [taylor]: Taking taylor expansion of z in z
8.376 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in z
8.376 * [taylor]: Taking taylor expansion of 4.0 in z
8.376 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in z
8.376 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in z
8.376 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.376 * [taylor]: Taking taylor expansion of x in z
8.376 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in z
8.376 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
8.376 * [taylor]: Taking taylor expansion of 0.5 in z
8.376 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.376 * [taylor]: Taking taylor expansion of z in z
8.377 * [taylor]: Taking taylor expansion of (/ 1 y) in z
8.377 * [taylor]: Taking taylor expansion of y in z
8.377 * [taylor]: Taking taylor expansion of z in z
8.379 * [taylor]: Taking taylor expansion of 0 in x
8.381 * [taylor]: Taking taylor expansion of (- 2.0) in x
8.381 * [taylor]: Taking taylor expansion of 2.0 in x
8.381 * [taylor]: Taking taylor expansion of 0 in y
8.384 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 y))) in x
8.384 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
8.384 * [taylor]: Taking taylor expansion of 4.0 in x
8.385 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.385 * [taylor]: Taking taylor expansion of x in x
8.385 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
8.385 * [taylor]: Taking taylor expansion of 4.0 in x
8.385 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.385 * [taylor]: Taking taylor expansion of y in x
8.385 * [taylor]: Taking taylor expansion of 4.0 in y
8.386 * [taylor]: Taking taylor expansion of (- 2.0) in y
8.386 * [taylor]: Taking taylor expansion of 2.0 in y
8.386 * [taylor]: Taking taylor expansion of 0 in y
8.389 * [taylor]: Taking taylor expansion of 0 in x
8.390 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y))) in y
8.390 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
8.390 * [taylor]: Taking taylor expansion of 4.0 in y
8.390 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.390 * [taylor]: Taking taylor expansion of y in y
8.391 * [taylor]: Taking taylor expansion of 0 in y
8.391 * [taylor]: Taking taylor expansion of 0 in y
8.393 * [approximate]: Taking taylor expansion of (* -4.0 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in (z x y) around 0
8.393 * [taylor]: Taking taylor expansion of (* -4.0 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in y
8.393 * [taylor]: Taking taylor expansion of -4.0 in y
8.393 * [taylor]: Taking taylor expansion of (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x))) in y
8.393 * [taylor]: Taking taylor expansion of z in y
8.393 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in y
8.393 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in y
8.393 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in y
8.393 * [taylor]: Taking taylor expansion of 0.5 in y
8.393 * [taylor]: Taking taylor expansion of (/ 1 z) in y
8.393 * [taylor]: Taking taylor expansion of z in y
8.393 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.393 * [taylor]: Taking taylor expansion of y in y
8.393 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.393 * [taylor]: Taking taylor expansion of x in y
8.394 * [taylor]: Taking taylor expansion of (* -4.0 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in x
8.394 * [taylor]: Taking taylor expansion of -4.0 in x
8.394 * [taylor]: Taking taylor expansion of (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x))) in x
8.394 * [taylor]: Taking taylor expansion of z in x
8.394 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in x
8.394 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in x
8.394 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
8.394 * [taylor]: Taking taylor expansion of 0.5 in x
8.394 * [taylor]: Taking taylor expansion of (/ 1 z) in x
8.394 * [taylor]: Taking taylor expansion of z in x
8.394 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.394 * [taylor]: Taking taylor expansion of y in x
8.394 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.394 * [taylor]: Taking taylor expansion of x in x
8.394 * [taylor]: Taking taylor expansion of (* -4.0 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in z
8.394 * [taylor]: Taking taylor expansion of -4.0 in z
8.394 * [taylor]: Taking taylor expansion of (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x))) in z
8.394 * [taylor]: Taking taylor expansion of z in z
8.394 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in z
8.394 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in z
8.394 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
8.394 * [taylor]: Taking taylor expansion of 0.5 in z
8.394 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.394 * [taylor]: Taking taylor expansion of z in z
8.395 * [taylor]: Taking taylor expansion of (/ 1 y) in z
8.395 * [taylor]: Taking taylor expansion of y in z
8.395 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.395 * [taylor]: Taking taylor expansion of x in z
8.395 * [taylor]: Taking taylor expansion of (* -4.0 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in z
8.395 * [taylor]: Taking taylor expansion of -4.0 in z
8.395 * [taylor]: Taking taylor expansion of (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x))) in z
8.395 * [taylor]: Taking taylor expansion of z in z
8.395 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in z
8.395 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in z
8.395 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
8.395 * [taylor]: Taking taylor expansion of 0.5 in z
8.395 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.395 * [taylor]: Taking taylor expansion of z in z
8.395 * [taylor]: Taking taylor expansion of (/ 1 y) in z
8.395 * [taylor]: Taking taylor expansion of y in z
8.395 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.395 * [taylor]: Taking taylor expansion of x in z
8.396 * [taylor]: Taking taylor expansion of 0 in x
8.399 * [taylor]: Taking taylor expansion of (- 2.0) in x
8.399 * [taylor]: Taking taylor expansion of 2.0 in x
8.399 * [taylor]: Taking taylor expansion of 0 in y
8.402 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 y))) in x
8.402 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
8.402 * [taylor]: Taking taylor expansion of 4.0 in x
8.402 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.402 * [taylor]: Taking taylor expansion of x in x
8.402 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
8.402 * [taylor]: Taking taylor expansion of 4.0 in x
8.402 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.402 * [taylor]: Taking taylor expansion of y in x
8.403 * [taylor]: Taking taylor expansion of 4.0 in y
8.403 * [taylor]: Taking taylor expansion of (- 2.0) in y
8.403 * [taylor]: Taking taylor expansion of 2.0 in y
8.403 * [taylor]: Taking taylor expansion of 0 in y
8.407 * [taylor]: Taking taylor expansion of 0 in x
8.408 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y))) in y
8.408 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
8.408 * [taylor]: Taking taylor expansion of 4.0 in y
8.408 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.408 * [taylor]: Taking taylor expansion of y in y
8.409 * [taylor]: Taking taylor expansion of 0 in y
8.409 * [taylor]: Taking taylor expansion of 0 in y
8.410 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
8.411 * [approximate]: Taking taylor expansion of (/ z (- x (+ (* 0.5 z) y))) in (z x y) around 0
8.411 * [taylor]: Taking taylor expansion of (/ z (- x (+ (* 0.5 z) y))) in y
8.411 * [taylor]: Taking taylor expansion of z in y
8.411 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in y
8.411 * [taylor]: Taking taylor expansion of x in y
8.411 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in y
8.411 * [taylor]: Taking taylor expansion of (* 0.5 z) in y
8.411 * [taylor]: Taking taylor expansion of 0.5 in y
8.411 * [taylor]: Taking taylor expansion of z in y
8.411 * [taylor]: Taking taylor expansion of y in y
8.411 * [taylor]: Taking taylor expansion of (/ z (- x (+ (* 0.5 z) y))) in x
8.411 * [taylor]: Taking taylor expansion of z in x
8.411 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in x
8.411 * [taylor]: Taking taylor expansion of x in x
8.411 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in x
8.411 * [taylor]: Taking taylor expansion of (* 0.5 z) in x
8.411 * [taylor]: Taking taylor expansion of 0.5 in x
8.411 * [taylor]: Taking taylor expansion of z in x
8.411 * [taylor]: Taking taylor expansion of y in x
8.411 * [taylor]: Taking taylor expansion of (/ z (- x (+ (* 0.5 z) y))) in z
8.411 * [taylor]: Taking taylor expansion of z in z
8.411 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in z
8.411 * [taylor]: Taking taylor expansion of x in z
8.411 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in z
8.411 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
8.411 * [taylor]: Taking taylor expansion of 0.5 in z
8.411 * [taylor]: Taking taylor expansion of z in z
8.411 * [taylor]: Taking taylor expansion of y in z
8.412 * [taylor]: Taking taylor expansion of (/ z (- x (+ (* 0.5 z) y))) in z
8.412 * [taylor]: Taking taylor expansion of z in z
8.412 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in z
8.412 * [taylor]: Taking taylor expansion of x in z
8.412 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in z
8.412 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
8.412 * [taylor]: Taking taylor expansion of 0.5 in z
8.412 * [taylor]: Taking taylor expansion of z in z
8.412 * [taylor]: Taking taylor expansion of y in z
8.412 * [taylor]: Taking taylor expansion of (/ 1 (- x y)) in x
8.412 * [taylor]: Taking taylor expansion of (- x y) in x
8.412 * [taylor]: Taking taylor expansion of x in x
8.412 * [taylor]: Taking taylor expansion of y in x
8.412 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.413 * [taylor]: Taking taylor expansion of -1 in y
8.413 * [taylor]: Taking taylor expansion of y in y
8.416 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow (- x y) 2))) in x
8.416 * [taylor]: Taking taylor expansion of 0.5 in x
8.416 * [taylor]: Taking taylor expansion of (/ 1 (pow (- x y) 2)) in x
8.416 * [taylor]: Taking taylor expansion of (pow (- x y) 2) in x
8.416 * [taylor]: Taking taylor expansion of (- x y) in x
8.416 * [taylor]: Taking taylor expansion of x in x
8.416 * [taylor]: Taking taylor expansion of y in x
8.416 * [taylor]: Taking taylor expansion of (/ 0.5 (pow y 2)) in y
8.416 * [taylor]: Taking taylor expansion of 0.5 in y
8.416 * [taylor]: Taking taylor expansion of (pow y 2) in y
8.416 * [taylor]: Taking taylor expansion of y in y
8.419 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y
8.419 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
8.419 * [taylor]: Taking taylor expansion of (pow y 2) in y
8.419 * [taylor]: Taking taylor expansion of y in y
8.424 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow (- x y) 3))) in x
8.424 * [taylor]: Taking taylor expansion of 0.25 in x
8.424 * [taylor]: Taking taylor expansion of (/ 1 (pow (- x y) 3)) in x
8.424 * [taylor]: Taking taylor expansion of (pow (- x y) 3) in x
8.424 * [taylor]: Taking taylor expansion of (- x y) in x
8.424 * [taylor]: Taking taylor expansion of x in x
8.424 * [taylor]: Taking taylor expansion of y in x
8.424 * [taylor]: Taking taylor expansion of (/ -0.25 (pow y 3)) in y
8.424 * [taylor]: Taking taylor expansion of -0.25 in y
8.424 * [taylor]: Taking taylor expansion of (pow y 3) in y
8.424 * [taylor]: Taking taylor expansion of y in y
8.430 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow y 3))) in y
8.430 * [taylor]: Taking taylor expansion of 1.0 in y
8.430 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
8.430 * [taylor]: Taking taylor expansion of (pow y 3) in y
8.430 * [taylor]: Taking taylor expansion of y in y
8.436 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in (z x y) around 0
8.436 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in y
8.436 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in y
8.436 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in y
8.436 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.436 * [taylor]: Taking taylor expansion of x in y
8.437 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in y
8.437 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in y
8.437 * [taylor]: Taking taylor expansion of 0.5 in y
8.437 * [taylor]: Taking taylor expansion of (/ 1 z) in y
8.437 * [taylor]: Taking taylor expansion of z in y
8.437 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.437 * [taylor]: Taking taylor expansion of y in y
8.437 * [taylor]: Taking taylor expansion of z in y
8.438 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in x
8.438 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in x
8.438 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in x
8.438 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.438 * [taylor]: Taking taylor expansion of x in x
8.441 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in x
8.441 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
8.441 * [taylor]: Taking taylor expansion of 0.5 in x
8.441 * [taylor]: Taking taylor expansion of (/ 1 z) in x
8.441 * [taylor]: Taking taylor expansion of z in x
8.441 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.441 * [taylor]: Taking taylor expansion of y in x
8.441 * [taylor]: Taking taylor expansion of z in x
8.442 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in z
8.442 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in z
8.442 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in z
8.442 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.442 * [taylor]: Taking taylor expansion of x in z
8.442 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in z
8.442 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
8.442 * [taylor]: Taking taylor expansion of 0.5 in z
8.442 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.442 * [taylor]: Taking taylor expansion of z in z
8.442 * [taylor]: Taking taylor expansion of (/ 1 y) in z
8.442 * [taylor]: Taking taylor expansion of y in z
8.442 * [taylor]: Taking taylor expansion of z in z
8.446 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in z
8.446 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in z
8.446 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in z
8.446 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.446 * [taylor]: Taking taylor expansion of x in z
8.446 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in z
8.446 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
8.446 * [taylor]: Taking taylor expansion of 0.5 in z
8.446 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.446 * [taylor]: Taking taylor expansion of z in z
8.446 * [taylor]: Taking taylor expansion of (/ 1 y) in z
8.447 * [taylor]: Taking taylor expansion of y in z
8.447 * [taylor]: Taking taylor expansion of z in z
8.450 * [taylor]: Taking taylor expansion of -2.0 in x
8.450 * [taylor]: Taking taylor expansion of 0 in y
8.453 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y)) (* 4.0 (/ 1 x))) in x
8.453 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
8.453 * [taylor]: Taking taylor expansion of 4.0 in x
8.453 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.453 * [taylor]: Taking taylor expansion of y in x
8.453 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
8.453 * [taylor]: Taking taylor expansion of 4.0 in x
8.453 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.453 * [taylor]: Taking taylor expansion of x in x
8.456 * [taylor]: Taking taylor expansion of 0 in y
8.456 * [taylor]: Taking taylor expansion of 0 in y
8.459 * [taylor]: Taking taylor expansion of (- (* 16.0 (/ 1 (* x y))) (+ (* 8.0 (/ 1 (pow x 2))) (* 8.0 (/ 1 (pow y 2))))) in x
8.459 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (* x y))) in x
8.459 * [taylor]: Taking taylor expansion of 16.0 in x
8.459 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
8.460 * [taylor]: Taking taylor expansion of (* x y) in x
8.460 * [taylor]: Taking taylor expansion of x in x
8.460 * [taylor]: Taking taylor expansion of y in x
8.460 * [taylor]: Taking taylor expansion of (+ (* 8.0 (/ 1 (pow x 2))) (* 8.0 (/ 1 (pow y 2)))) in x
8.460 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (pow x 2))) in x
8.460 * [taylor]: Taking taylor expansion of 8.0 in x
8.460 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.460 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.460 * [taylor]: Taking taylor expansion of x in x
8.460 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (pow y 2))) in x
8.460 * [taylor]: Taking taylor expansion of 8.0 in x
8.461 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
8.461 * [taylor]: Taking taylor expansion of (pow y 2) in x
8.461 * [taylor]: Taking taylor expansion of y in x
8.467 * [taylor]: Taking taylor expansion of 0 in y
8.469 * [taylor]: Taking taylor expansion of 0 in y
8.469 * [approximate]: Taking taylor expansion of (/ -1 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in (z x y) around 0
8.469 * [taylor]: Taking taylor expansion of (/ -1 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in y
8.469 * [taylor]: Taking taylor expansion of -1 in y
8.470 * [taylor]: Taking taylor expansion of (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x))) in y
8.470 * [taylor]: Taking taylor expansion of z in y
8.470 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in y
8.470 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in y
8.470 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in y
8.470 * [taylor]: Taking taylor expansion of 0.5 in y
8.470 * [taylor]: Taking taylor expansion of (/ 1 z) in y
8.470 * [taylor]: Taking taylor expansion of z in y
8.470 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.470 * [taylor]: Taking taylor expansion of y in y
8.470 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.470 * [taylor]: Taking taylor expansion of x in y
8.471 * [taylor]: Taking taylor expansion of (/ -1 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in x
8.471 * [taylor]: Taking taylor expansion of -1 in x
8.471 * [taylor]: Taking taylor expansion of (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x))) in x
8.471 * [taylor]: Taking taylor expansion of z in x
8.471 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in x
8.471 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in x
8.471 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
8.471 * [taylor]: Taking taylor expansion of 0.5 in x
8.471 * [taylor]: Taking taylor expansion of (/ 1 z) in x
8.471 * [taylor]: Taking taylor expansion of z in x
8.471 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.471 * [taylor]: Taking taylor expansion of y in x
8.471 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.471 * [taylor]: Taking taylor expansion of x in x
8.472 * [taylor]: Taking taylor expansion of (/ -1 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in z
8.472 * [taylor]: Taking taylor expansion of -1 in z
8.472 * [taylor]: Taking taylor expansion of (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x))) in z
8.472 * [taylor]: Taking taylor expansion of z in z
8.472 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in z
8.472 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in z
8.472 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
8.472 * [taylor]: Taking taylor expansion of 0.5 in z
8.472 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.472 * [taylor]: Taking taylor expansion of z in z
8.472 * [taylor]: Taking taylor expansion of (/ 1 y) in z
8.472 * [taylor]: Taking taylor expansion of y in z
8.472 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.472 * [taylor]: Taking taylor expansion of x in z
8.475 * [taylor]: Taking taylor expansion of (/ -1 (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)))) in z
8.475 * [taylor]: Taking taylor expansion of -1 in z
8.475 * [taylor]: Taking taylor expansion of (* z (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x))) in z
8.475 * [taylor]: Taking taylor expansion of z in z
8.475 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in z
8.475 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in z
8.475 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
8.475 * [taylor]: Taking taylor expansion of 0.5 in z
8.475 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.475 * [taylor]: Taking taylor expansion of z in z
8.475 * [taylor]: Taking taylor expansion of (/ 1 y) in z
8.475 * [taylor]: Taking taylor expansion of y in z
8.475 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.475 * [taylor]: Taking taylor expansion of x in z
8.478 * [taylor]: Taking taylor expansion of -2.0 in x
8.478 * [taylor]: Taking taylor expansion of 0 in y
8.480 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y)) (* 4.0 (/ 1 x))) in x
8.481 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in x
8.481 * [taylor]: Taking taylor expansion of 4.0 in x
8.481 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.481 * [taylor]: Taking taylor expansion of y in x
8.481 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
8.481 * [taylor]: Taking taylor expansion of 4.0 in x
8.481 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.481 * [taylor]: Taking taylor expansion of x in x
8.483 * [taylor]: Taking taylor expansion of 0 in y
8.483 * [taylor]: Taking taylor expansion of 0 in y
8.487 * [taylor]: Taking taylor expansion of (- (* 16.0 (/ 1 (* x y))) (+ (* 8.0 (/ 1 (pow x 2))) (* 8.0 (/ 1 (pow y 2))))) in x
8.487 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (* x y))) in x
8.487 * [taylor]: Taking taylor expansion of 16.0 in x
8.487 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
8.487 * [taylor]: Taking taylor expansion of (* x y) in x
8.487 * [taylor]: Taking taylor expansion of x in x
8.487 * [taylor]: Taking taylor expansion of y in x
8.487 * [taylor]: Taking taylor expansion of (+ (* 8.0 (/ 1 (pow x 2))) (* 8.0 (/ 1 (pow y 2)))) in x
8.487 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (pow x 2))) in x
8.487 * [taylor]: Taking taylor expansion of 8.0 in x
8.487 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.487 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.487 * [taylor]: Taking taylor expansion of x in x
8.488 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (pow y 2))) in x
8.488 * [taylor]: Taking taylor expansion of 8.0 in x
8.488 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
8.488 * [taylor]: Taking taylor expansion of (pow y 2) in x
8.488 * [taylor]: Taking taylor expansion of y in x
8.494 * [taylor]: Taking taylor expansion of 0 in y
8.497 * [taylor]: Taking taylor expansion of 0 in y
8.497 * * * [progress]: simplifying candidates
8.498 * [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
8.504 * * [simplify]: iteration  0 :  196  enodes  (cost  2288 )
8.539 * * [simplify]: iteration  1 :  451  enodes  (cost  2200 )
8.643 * * [simplify]: iteration  2 :  1952  enodes  (cost  2076 )
9.111 * * [simplify]: iteration  done :  5000  enodes  (cost  2076 )
9.112 * [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)
  (* (- (- x y) (* z 0.5)) (cbrt 4.0))
  (/ (* (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 (- (- x y) (* z 0.5))) (cbrt (- (- x y) (* z 0.5)))) (cbrt z)))
  (/ (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))
  (/ (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) (* z 0.5))) (+ (- 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)
  0
  0
  0
9.112 * * * [progress]: adding candidates to table
9.364 * * [progress]: iteration 3 / 4
9.364 * * * [progress]: picking best candidate
9.366 * * * * [pick]: Picked  #<alt (λ (x y z) (/ (* 4.0 (- (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) (* z (+ (- x y) (* z 0.5)))))>
9.366 * * * [progress]: localizing error
9.378 * * * [progress]: generating rewritten candidates
9.378 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
9.413 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
9.424 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
9.441 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
9.479 * * * [progress]: generating series expansions
9.479 * * * * [progress]: [ 1 / 4 ] generating series at (2)
9.480 * [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
9.480 * [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
9.480 * [taylor]: Taking taylor expansion of 4.0 in z
9.480 * [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
9.480 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (pow y 2)) (+ (* 0.25 (pow z 2)) (* 2 (* x y)))) in z
9.480 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in z
9.480 * [taylor]: Taking taylor expansion of (pow x 2) in z
9.480 * [taylor]: Taking taylor expansion of x in z
9.480 * [taylor]: Taking taylor expansion of (pow y 2) in z
9.480 * [taylor]: Taking taylor expansion of y in z
9.480 * [taylor]: Taking taylor expansion of (+ (* 0.25 (pow z 2)) (* 2 (* x y))) in z
9.480 * [taylor]: Taking taylor expansion of (* 0.25 (pow z 2)) in z
9.480 * [taylor]: Taking taylor expansion of 0.25 in z
9.480 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.480 * [taylor]: Taking taylor expansion of z in z
9.480 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in z
9.480 * [taylor]: Taking taylor expansion of 2 in z
9.480 * [taylor]: Taking taylor expansion of (* x y) in z
9.480 * [taylor]: Taking taylor expansion of x in z
9.480 * [taylor]: Taking taylor expansion of y in z
9.480 * [taylor]: Taking taylor expansion of (* (- (+ x (* 0.5 z)) y) z) in z
9.480 * [taylor]: Taking taylor expansion of (- (+ x (* 0.5 z)) y) in z
9.480 * [taylor]: Taking taylor expansion of (+ x (* 0.5 z)) in z
9.480 * [taylor]: Taking taylor expansion of x in z
9.480 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
9.480 * [taylor]: Taking taylor expansion of 0.5 in z
9.480 * [taylor]: Taking taylor expansion of z in z
9.480 * [taylor]: Taking taylor expansion of y in z
9.480 * [taylor]: Taking taylor expansion of z in z
9.483 * [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
9.483 * [taylor]: Taking taylor expansion of 4.0 in y
9.483 * [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
9.483 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (pow y 2)) (+ (* 0.25 (pow z 2)) (* 2 (* x y)))) in y
9.483 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y
9.484 * [taylor]: Taking taylor expansion of (pow x 2) in y
9.484 * [taylor]: Taking taylor expansion of x in y
9.484 * [taylor]: Taking taylor expansion of (pow y 2) in y
9.484 * [taylor]: Taking taylor expansion of y in y
9.484 * [taylor]: Taking taylor expansion of (+ (* 0.25 (pow z 2)) (* 2 (* x y))) in y
9.484 * [taylor]: Taking taylor expansion of (* 0.25 (pow z 2)) in y
9.484 * [taylor]: Taking taylor expansion of 0.25 in y
9.484 * [taylor]: Taking taylor expansion of (pow z 2) in y
9.484 * [taylor]: Taking taylor expansion of z in y
9.484 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in y
9.484 * [taylor]: Taking taylor expansion of 2 in y
9.484 * [taylor]: Taking taylor expansion of (* x y) in y
9.484 * [taylor]: Taking taylor expansion of x in y
9.484 * [taylor]: Taking taylor expansion of y in y
9.484 * [taylor]: Taking taylor expansion of (* (- (+ x (* 0.5 z)) y) z) in y
9.484 * [taylor]: Taking taylor expansion of (- (+ x (* 0.5 z)) y) in y
9.484 * [taylor]: Taking taylor expansion of (+ x (* 0.5 z)) in y
9.484 * [taylor]: Taking taylor expansion of x in y
9.484 * [taylor]: Taking taylor expansion of (* 0.5 z) in y
9.484 * [taylor]: Taking taylor expansion of 0.5 in y
9.484 * [taylor]: Taking taylor expansion of z in y
9.484 * [taylor]: Taking taylor expansion of y in y
9.484 * [taylor]: Taking taylor expansion of z in y
9.485 * [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
9.485 * [taylor]: Taking taylor expansion of 4.0 in x
9.485 * [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
9.485 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (pow y 2)) (+ (* 0.25 (pow z 2)) (* 2 (* x y)))) in x
9.485 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x
9.485 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.485 * [taylor]: Taking taylor expansion of x in x
9.485 * [taylor]: Taking taylor expansion of (pow y 2) in x
9.485 * [taylor]: Taking taylor expansion of y in x
9.485 * [taylor]: Taking taylor expansion of (+ (* 0.25 (pow z 2)) (* 2 (* x y))) in x
9.485 * [taylor]: Taking taylor expansion of (* 0.25 (pow z 2)) in x
9.485 * [taylor]: Taking taylor expansion of 0.25 in x
9.485 * [taylor]: Taking taylor expansion of (pow z 2) in x
9.485 * [taylor]: Taking taylor expansion of z in x
9.485 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in x
9.485 * [taylor]: Taking taylor expansion of 2 in x
9.486 * [taylor]: Taking taylor expansion of (* x y) in x
9.486 * [taylor]: Taking taylor expansion of x in x
9.486 * [taylor]: Taking taylor expansion of y in x
9.486 * [taylor]: Taking taylor expansion of (* (- (+ x (* 0.5 z)) y) z) in x
9.486 * [taylor]: Taking taylor expansion of (- (+ x (* 0.5 z)) y) in x
9.486 * [taylor]: Taking taylor expansion of (+ x (* 0.5 z)) in x
9.486 * [taylor]: Taking taylor expansion of x in x
9.486 * [taylor]: Taking taylor expansion of (* 0.5 z) in x
9.486 * [taylor]: Taking taylor expansion of 0.5 in x
9.486 * [taylor]: Taking taylor expansion of z in x
9.486 * [taylor]: Taking taylor expansion of y in x
9.486 * [taylor]: Taking taylor expansion of z in x
9.487 * [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
9.487 * [taylor]: Taking taylor expansion of 4.0 in x
9.487 * [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
9.487 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (pow y 2)) (+ (* 0.25 (pow z 2)) (* 2 (* x y)))) in x
9.487 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x
9.487 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.487 * [taylor]: Taking taylor expansion of x in x
9.487 * [taylor]: Taking taylor expansion of (pow y 2) in x
9.487 * [taylor]: Taking taylor expansion of y in x
9.487 * [taylor]: Taking taylor expansion of (+ (* 0.25 (pow z 2)) (* 2 (* x y))) in x
9.487 * [taylor]: Taking taylor expansion of (* 0.25 (pow z 2)) in x
9.487 * [taylor]: Taking taylor expansion of 0.25 in x
9.487 * [taylor]: Taking taylor expansion of (pow z 2) in x
9.487 * [taylor]: Taking taylor expansion of z in x
9.487 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in x
9.487 * [taylor]: Taking taylor expansion of 2 in x
9.487 * [taylor]: Taking taylor expansion of (* x y) in x
9.487 * [taylor]: Taking taylor expansion of x in x
9.487 * [taylor]: Taking taylor expansion of y in x
9.487 * [taylor]: Taking taylor expansion of (* (- (+ x (* 0.5 z)) y) z) in x
9.487 * [taylor]: Taking taylor expansion of (- (+ x (* 0.5 z)) y) in x
9.487 * [taylor]: Taking taylor expansion of (+ x (* 0.5 z)) in x
9.487 * [taylor]: Taking taylor expansion of x in x
9.487 * [taylor]: Taking taylor expansion of (* 0.5 z) in x
9.487 * [taylor]: Taking taylor expansion of 0.5 in x
9.487 * [taylor]: Taking taylor expansion of z in x
9.487 * [taylor]: Taking taylor expansion of y in x
9.487 * [taylor]: Taking taylor expansion of z in x
9.489 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (pow y 2) (* 0.25 (pow z 2))) (* (- (* 0.5 z) y) z))) in y
9.489 * [taylor]: Taking taylor expansion of 4.0 in y
9.489 * [taylor]: Taking taylor expansion of (/ (- (pow y 2) (* 0.25 (pow z 2))) (* (- (* 0.5 z) y) z)) in y
9.489 * [taylor]: Taking taylor expansion of (- (pow y 2) (* 0.25 (pow z 2))) in y
9.489 * [taylor]: Taking taylor expansion of (pow y 2) in y
9.489 * [taylor]: Taking taylor expansion of y in y
9.489 * [taylor]: Taking taylor expansion of (* 0.25 (pow z 2)) in y
9.489 * [taylor]: Taking taylor expansion of 0.25 in y
9.489 * [taylor]: Taking taylor expansion of (pow z 2) in y
9.489 * [taylor]: Taking taylor expansion of z in y
9.489 * [taylor]: Taking taylor expansion of (* (- (* 0.5 z) y) z) in y
9.489 * [taylor]: Taking taylor expansion of (- (* 0.5 z) y) in y
9.489 * [taylor]: Taking taylor expansion of (* 0.5 z) in y
9.489 * [taylor]: Taking taylor expansion of 0.5 in y
9.489 * [taylor]: Taking taylor expansion of z in y
9.489 * [taylor]: Taking taylor expansion of y in y
9.489 * [taylor]: Taking taylor expansion of z in y
9.490 * [taylor]: Taking taylor expansion of -2.0 in z
9.493 * [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
9.493 * [taylor]: Taking taylor expansion of (* 1.0 (/ z (pow (- (* 0.5 z) y) 2))) in y
9.493 * [taylor]: Taking taylor expansion of 1.0 in y
9.493 * [taylor]: Taking taylor expansion of (/ z (pow (- (* 0.5 z) y) 2)) in y
9.493 * [taylor]: Taking taylor expansion of z in y
9.493 * [taylor]: Taking taylor expansion of (pow (- (* 0.5 z) y) 2) in y
9.493 * [taylor]: Taking taylor expansion of (- (* 0.5 z) y) in y
9.493 * [taylor]: Taking taylor expansion of (* 0.5 z) in y
9.493 * [taylor]: Taking taylor expansion of 0.5 in y
9.493 * [taylor]: Taking taylor expansion of z in y
9.493 * [taylor]: Taking taylor expansion of y in y
9.494 * [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
9.494 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow y 2) (* (pow (- (* 0.5 z) y) 2) z))) in y
9.494 * [taylor]: Taking taylor expansion of 4.0 in y
9.494 * [taylor]: Taking taylor expansion of (/ (pow y 2) (* (pow (- (* 0.5 z) y) 2) z)) in y
9.494 * [taylor]: Taking taylor expansion of (pow y 2) in y
9.494 * [taylor]: Taking taylor expansion of y in y
9.494 * [taylor]: Taking taylor expansion of (* (pow (- (* 0.5 z) y) 2) z) in y
9.494 * [taylor]: Taking taylor expansion of (pow (- (* 0.5 z) y) 2) in y
9.494 * [taylor]: Taking taylor expansion of (- (* 0.5 z) y) in y
9.494 * [taylor]: Taking taylor expansion of (* 0.5 z) in y
9.494 * [taylor]: Taking taylor expansion of 0.5 in y
9.494 * [taylor]: Taking taylor expansion of z in y
9.494 * [taylor]: Taking taylor expansion of y in y
9.494 * [taylor]: Taking taylor expansion of z in y
9.495 * [taylor]: Taking taylor expansion of (* 8.0 (/ y (* (- (* 0.5 z) y) z))) in y
9.495 * [taylor]: Taking taylor expansion of 8.0 in y
9.495 * [taylor]: Taking taylor expansion of (/ y (* (- (* 0.5 z) y) z)) in y
9.495 * [taylor]: Taking taylor expansion of y in y
9.495 * [taylor]: Taking taylor expansion of (* (- (* 0.5 z) y) z) in y
9.495 * [taylor]: Taking taylor expansion of (- (* 0.5 z) y) in y
9.495 * [taylor]: Taking taylor expansion of (* 0.5 z) in y
9.495 * [taylor]: Taking taylor expansion of 0.5 in y
9.495 * [taylor]: Taking taylor expansion of z in y
9.495 * [taylor]: Taking taylor expansion of y in y
9.495 * [taylor]: Taking taylor expansion of z in y
9.496 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
9.496 * [taylor]: Taking taylor expansion of 4.0 in z
9.496 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.496 * [taylor]: Taking taylor expansion of z in z
9.498 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
9.498 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
9.498 * [taylor]: Taking taylor expansion of 4.0 in z
9.498 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.498 * [taylor]: Taking taylor expansion of z in z
9.500 * [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
9.500 * [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
9.500 * [taylor]: Taking taylor expansion of 4.0 in z
9.500 * [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
9.500 * [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
9.500 * [taylor]: Taking taylor expansion of z in z
9.500 * [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
9.500 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in z
9.500 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
9.500 * [taylor]: Taking taylor expansion of (pow x 2) in z
9.500 * [taylor]: Taking taylor expansion of x in z
9.501 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
9.501 * [taylor]: Taking taylor expansion of (pow y 2) in z
9.501 * [taylor]: Taking taylor expansion of y in z
9.501 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in z
9.501 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in z
9.501 * [taylor]: Taking taylor expansion of 0.25 in z
9.501 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
9.501 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.501 * [taylor]: Taking taylor expansion of z in z
9.501 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in z
9.501 * [taylor]: Taking taylor expansion of 2 in z
9.501 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
9.501 * [taylor]: Taking taylor expansion of (* x y) in z
9.501 * [taylor]: Taking taylor expansion of x in z
9.501 * [taylor]: Taking taylor expansion of y in z
9.501 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)) in z
9.501 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in z
9.501 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
9.501 * [taylor]: Taking taylor expansion of 0.5 in z
9.501 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.502 * [taylor]: Taking taylor expansion of z in z
9.502 * [taylor]: Taking taylor expansion of (/ 1 x) in z
9.502 * [taylor]: Taking taylor expansion of x in z
9.502 * [taylor]: Taking taylor expansion of (/ 1 y) in z
9.502 * [taylor]: Taking taylor expansion of y in z
9.508 * [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
9.508 * [taylor]: Taking taylor expansion of 4.0 in y
9.508 * [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
9.508 * [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
9.508 * [taylor]: Taking taylor expansion of z in y
9.508 * [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
9.508 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
9.508 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
9.508 * [taylor]: Taking taylor expansion of (pow x 2) in y
9.508 * [taylor]: Taking taylor expansion of x in y
9.508 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
9.508 * [taylor]: Taking taylor expansion of (pow y 2) in y
9.508 * [taylor]: Taking taylor expansion of y in y
9.509 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in y
9.509 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in y
9.509 * [taylor]: Taking taylor expansion of 0.25 in y
9.509 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
9.509 * [taylor]: Taking taylor expansion of (pow z 2) in y
9.509 * [taylor]: Taking taylor expansion of z in y
9.509 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y
9.509 * [taylor]: Taking taylor expansion of 2 in y
9.509 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
9.509 * [taylor]: Taking taylor expansion of (* x y) in y
9.509 * [taylor]: Taking taylor expansion of x in y
9.509 * [taylor]: Taking taylor expansion of y in y
9.509 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)) in y
9.509 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in y
9.509 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in y
9.509 * [taylor]: Taking taylor expansion of 0.5 in y
9.509 * [taylor]: Taking taylor expansion of (/ 1 z) in y
9.509 * [taylor]: Taking taylor expansion of z in y
9.509 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.510 * [taylor]: Taking taylor expansion of x in y
9.510 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.510 * [taylor]: Taking taylor expansion of y in y
9.511 * [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
9.511 * [taylor]: Taking taylor expansion of 4.0 in x
9.511 * [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
9.511 * [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
9.511 * [taylor]: Taking taylor expansion of z in x
9.511 * [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
9.511 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
9.511 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.511 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.511 * [taylor]: Taking taylor expansion of x in x
9.511 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
9.511 * [taylor]: Taking taylor expansion of (pow y 2) in x
9.512 * [taylor]: Taking taylor expansion of y in x
9.512 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in x
9.512 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in x
9.512 * [taylor]: Taking taylor expansion of 0.25 in x
9.512 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
9.512 * [taylor]: Taking taylor expansion of (pow z 2) in x
9.512 * [taylor]: Taking taylor expansion of z in x
9.512 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x
9.512 * [taylor]: Taking taylor expansion of 2 in x
9.512 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
9.512 * [taylor]: Taking taylor expansion of (* x y) in x
9.512 * [taylor]: Taking taylor expansion of x in x
9.512 * [taylor]: Taking taylor expansion of y in x
9.512 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)) in x
9.512 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in x
9.512 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
9.512 * [taylor]: Taking taylor expansion of 0.5 in x
9.512 * [taylor]: Taking taylor expansion of (/ 1 z) in x
9.512 * [taylor]: Taking taylor expansion of z in x
9.512 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.512 * [taylor]: Taking taylor expansion of x in x
9.513 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.513 * [taylor]: Taking taylor expansion of y in x
9.514 * [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
9.514 * [taylor]: Taking taylor expansion of 4.0 in x
9.514 * [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
9.514 * [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
9.514 * [taylor]: Taking taylor expansion of z in x
9.514 * [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
9.514 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
9.514 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.514 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.514 * [taylor]: Taking taylor expansion of x in x
9.514 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
9.514 * [taylor]: Taking taylor expansion of (pow y 2) in x
9.514 * [taylor]: Taking taylor expansion of y in x
9.515 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in x
9.515 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in x
9.515 * [taylor]: Taking taylor expansion of 0.25 in x
9.515 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
9.515 * [taylor]: Taking taylor expansion of (pow z 2) in x
9.515 * [taylor]: Taking taylor expansion of z in x
9.515 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x
9.515 * [taylor]: Taking taylor expansion of 2 in x
9.515 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
9.515 * [taylor]: Taking taylor expansion of (* x y) in x
9.515 * [taylor]: Taking taylor expansion of x in x
9.515 * [taylor]: Taking taylor expansion of y in x
9.515 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)) in x
9.515 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in x
9.515 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
9.515 * [taylor]: Taking taylor expansion of 0.5 in x
9.515 * [taylor]: Taking taylor expansion of (/ 1 z) in x
9.515 * [taylor]: Taking taylor expansion of z in x
9.515 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.515 * [taylor]: Taking taylor expansion of x in x
9.516 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.516 * [taylor]: Taking taylor expansion of y in x
9.517 * [taylor]: Taking taylor expansion of (* 4.0 z) in y
9.517 * [taylor]: Taking taylor expansion of 4.0 in y
9.517 * [taylor]: Taking taylor expansion of z in y
9.519 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ z y)) 2.0)) in y
9.519 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ z y)) 2.0) in y
9.519 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y
9.519 * [taylor]: Taking taylor expansion of 4.0 in y
9.519 * [taylor]: Taking taylor expansion of (/ z y) in y
9.519 * [taylor]: Taking taylor expansion of z in y
9.519 * [taylor]: Taking taylor expansion of y in y
9.519 * [taylor]: Taking taylor expansion of 2.0 in y
9.519 * [taylor]: Taking taylor expansion of (- (* 4.0 z)) in z
9.519 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
9.519 * [taylor]: Taking taylor expansion of 4.0 in z
9.519 * [taylor]: Taking taylor expansion of z in z
9.520 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
9.520 * [taylor]: Taking taylor expansion of 4.0 in z
9.520 * [taylor]: Taking taylor expansion of z in z
9.526 * [taylor]: Taking taylor expansion of 0 in y
9.527 * [taylor]: Taking taylor expansion of (- 2.0) in z
9.527 * [taylor]: Taking taylor expansion of 2.0 in z
9.528 * [taylor]: Taking taylor expansion of 0 in z
9.531 * [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
9.531 * [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
9.531 * [taylor]: Taking taylor expansion of -4.0 in z
9.531 * [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
9.532 * [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
9.532 * [taylor]: Taking taylor expansion of z in z
9.532 * [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
9.532 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in z
9.532 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
9.532 * [taylor]: Taking taylor expansion of (pow x 2) in z
9.532 * [taylor]: Taking taylor expansion of x in z
9.532 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
9.532 * [taylor]: Taking taylor expansion of (pow y 2) in z
9.532 * [taylor]: Taking taylor expansion of y in z
9.532 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in z
9.532 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in z
9.532 * [taylor]: Taking taylor expansion of 0.25 in z
9.532 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
9.532 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.532 * [taylor]: Taking taylor expansion of z in z
9.532 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in z
9.533 * [taylor]: Taking taylor expansion of 2 in z
9.533 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
9.533 * [taylor]: Taking taylor expansion of (* x y) in z
9.533 * [taylor]: Taking taylor expansion of x in z
9.533 * [taylor]: Taking taylor expansion of y in z
9.533 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) in z
9.533 * [taylor]: Taking taylor expansion of (/ 1 y) in z
9.533 * [taylor]: Taking taylor expansion of y in z
9.533 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in z
9.533 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
9.533 * [taylor]: Taking taylor expansion of 0.5 in z
9.533 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.533 * [taylor]: Taking taylor expansion of z in z
9.533 * [taylor]: Taking taylor expansion of (/ 1 x) in z
9.533 * [taylor]: Taking taylor expansion of x in z
9.540 * [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
9.540 * [taylor]: Taking taylor expansion of -4.0 in y
9.540 * [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
9.540 * [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
9.540 * [taylor]: Taking taylor expansion of z in y
9.540 * [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
9.540 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
9.540 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
9.540 * [taylor]: Taking taylor expansion of (pow x 2) in y
9.540 * [taylor]: Taking taylor expansion of x in y
9.540 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
9.540 * [taylor]: Taking taylor expansion of (pow y 2) in y
9.540 * [taylor]: Taking taylor expansion of y in y
9.540 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in y
9.540 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in y
9.541 * [taylor]: Taking taylor expansion of 0.25 in y
9.541 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
9.541 * [taylor]: Taking taylor expansion of (pow z 2) in y
9.541 * [taylor]: Taking taylor expansion of z in y
9.541 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y
9.541 * [taylor]: Taking taylor expansion of 2 in y
9.541 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
9.541 * [taylor]: Taking taylor expansion of (* x y) in y
9.541 * [taylor]: Taking taylor expansion of x in y
9.541 * [taylor]: Taking taylor expansion of y in y
9.541 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) in y
9.541 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.541 * [taylor]: Taking taylor expansion of y in y
9.541 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in y
9.541 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in y
9.541 * [taylor]: Taking taylor expansion of 0.5 in y
9.541 * [taylor]: Taking taylor expansion of (/ 1 z) in y
9.541 * [taylor]: Taking taylor expansion of z in y
9.541 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.542 * [taylor]: Taking taylor expansion of x in y
9.542 * [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
9.542 * [taylor]: Taking taylor expansion of -4.0 in x
9.542 * [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
9.542 * [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
9.542 * [taylor]: Taking taylor expansion of z in x
9.542 * [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
9.542 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
9.543 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.543 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.543 * [taylor]: Taking taylor expansion of x in x
9.543 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
9.543 * [taylor]: Taking taylor expansion of (pow y 2) in x
9.543 * [taylor]: Taking taylor expansion of y in x
9.543 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in x
9.543 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in x
9.543 * [taylor]: Taking taylor expansion of 0.25 in x
9.543 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
9.543 * [taylor]: Taking taylor expansion of (pow z 2) in x
9.543 * [taylor]: Taking taylor expansion of z in x
9.543 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x
9.543 * [taylor]: Taking taylor expansion of 2 in x
9.543 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
9.543 * [taylor]: Taking taylor expansion of (* x y) in x
9.543 * [taylor]: Taking taylor expansion of x in x
9.543 * [taylor]: Taking taylor expansion of y in x
9.544 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) in x
9.544 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.544 * [taylor]: Taking taylor expansion of y in x
9.544 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in x
9.544 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
9.544 * [taylor]: Taking taylor expansion of 0.5 in x
9.544 * [taylor]: Taking taylor expansion of (/ 1 z) in x
9.544 * [taylor]: Taking taylor expansion of z in x
9.544 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.544 * [taylor]: Taking taylor expansion of x in x
9.545 * [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
9.546 * [taylor]: Taking taylor expansion of -4.0 in x
9.546 * [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
9.546 * [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
9.546 * [taylor]: Taking taylor expansion of z in x
9.546 * [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
9.546 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
9.546 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.546 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.546 * [taylor]: Taking taylor expansion of x in x
9.546 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
9.546 * [taylor]: Taking taylor expansion of (pow y 2) in x
9.546 * [taylor]: Taking taylor expansion of y in x
9.546 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in x
9.546 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in x
9.546 * [taylor]: Taking taylor expansion of 0.25 in x
9.546 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
9.546 * [taylor]: Taking taylor expansion of (pow z 2) in x
9.546 * [taylor]: Taking taylor expansion of z in x
9.547 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x
9.547 * [taylor]: Taking taylor expansion of 2 in x
9.547 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
9.547 * [taylor]: Taking taylor expansion of (* x y) in x
9.547 * [taylor]: Taking taylor expansion of x in x
9.547 * [taylor]: Taking taylor expansion of y in x
9.547 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) in x
9.547 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.547 * [taylor]: Taking taylor expansion of y in x
9.547 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in x
9.547 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
9.547 * [taylor]: Taking taylor expansion of 0.5 in x
9.547 * [taylor]: Taking taylor expansion of (/ 1 z) in x
9.547 * [taylor]: Taking taylor expansion of z in x
9.547 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.547 * [taylor]: Taking taylor expansion of x in x
9.549 * [taylor]: Taking taylor expansion of (* 4.0 z) in y
9.549 * [taylor]: Taking taylor expansion of 4.0 in y
9.549 * [taylor]: Taking taylor expansion of z in y
9.554 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ z y)) 2.0)) in y
9.554 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ z y)) 2.0) in y
9.554 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y
9.554 * [taylor]: Taking taylor expansion of 4.0 in y
9.554 * [taylor]: Taking taylor expansion of (/ z y) in y
9.554 * [taylor]: Taking taylor expansion of z in y
9.554 * [taylor]: Taking taylor expansion of y in y
9.554 * [taylor]: Taking taylor expansion of 2.0 in y
9.554 * [taylor]: Taking taylor expansion of (- (* 4.0 z)) in z
9.554 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
9.554 * [taylor]: Taking taylor expansion of 4.0 in z
9.554 * [taylor]: Taking taylor expansion of z in z
9.555 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
9.555 * [taylor]: Taking taylor expansion of 4.0 in z
9.555 * [taylor]: Taking taylor expansion of z in z
9.561 * [taylor]: Taking taylor expansion of 0 in y
9.562 * [taylor]: Taking taylor expansion of (- 2.0) in z
9.562 * [taylor]: Taking taylor expansion of 2.0 in z
9.563 * [taylor]: Taking taylor expansion of 0 in z
9.566 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
9.566 * [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
9.566 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (pow y 2)) (+ (* 0.25 (pow z 2)) (* 2 (* x y)))) in z
9.566 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in z
9.566 * [taylor]: Taking taylor expansion of (pow x 2) in z
9.566 * [taylor]: Taking taylor expansion of x in z
9.566 * [taylor]: Taking taylor expansion of (pow y 2) in z
9.566 * [taylor]: Taking taylor expansion of y in z
9.566 * [taylor]: Taking taylor expansion of (+ (* 0.25 (pow z 2)) (* 2 (* x y))) in z
9.566 * [taylor]: Taking taylor expansion of (* 0.25 (pow z 2)) in z
9.566 * [taylor]: Taking taylor expansion of 0.25 in z
9.566 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.566 * [taylor]: Taking taylor expansion of z in z
9.566 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in z
9.566 * [taylor]: Taking taylor expansion of 2 in z
9.566 * [taylor]: Taking taylor expansion of (* x y) in z
9.566 * [taylor]: Taking taylor expansion of x in z
9.566 * [taylor]: Taking taylor expansion of y in z
9.567 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (pow y 2)) (+ (* 0.25 (pow z 2)) (* 2 (* x y)))) in y
9.567 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y
9.567 * [taylor]: Taking taylor expansion of (pow x 2) in y
9.567 * [taylor]: Taking taylor expansion of x in y
9.567 * [taylor]: Taking taylor expansion of (pow y 2) in y
9.567 * [taylor]: Taking taylor expansion of y in y
9.567 * [taylor]: Taking taylor expansion of (+ (* 0.25 (pow z 2)) (* 2 (* x y))) in y
9.567 * [taylor]: Taking taylor expansion of (* 0.25 (pow z 2)) in y
9.567 * [taylor]: Taking taylor expansion of 0.25 in y
9.567 * [taylor]: Taking taylor expansion of (pow z 2) in y
9.567 * [taylor]: Taking taylor expansion of z in y
9.567 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in y
9.567 * [taylor]: Taking taylor expansion of 2 in y
9.567 * [taylor]: Taking taylor expansion of (* x y) in y
9.567 * [taylor]: Taking taylor expansion of x in y
9.567 * [taylor]: Taking taylor expansion of y in y
9.567 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (pow y 2)) (+ (* 0.25 (pow z 2)) (* 2 (* x y)))) in x
9.567 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x
9.567 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.567 * [taylor]: Taking taylor expansion of x in x
9.567 * [taylor]: Taking taylor expansion of (pow y 2) in x
9.567 * [taylor]: Taking taylor expansion of y in x
9.567 * [taylor]: Taking taylor expansion of (+ (* 0.25 (pow z 2)) (* 2 (* x y))) in x
9.567 * [taylor]: Taking taylor expansion of (* 0.25 (pow z 2)) in x
9.567 * [taylor]: Taking taylor expansion of 0.25 in x
9.567 * [taylor]: Taking taylor expansion of (pow z 2) in x
9.567 * [taylor]: Taking taylor expansion of z in x
9.567 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in x
9.567 * [taylor]: Taking taylor expansion of 2 in x
9.567 * [taylor]: Taking taylor expansion of (* x y) in x
9.567 * [taylor]: Taking taylor expansion of x in x
9.567 * [taylor]: Taking taylor expansion of y in x
9.567 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (pow y 2)) (+ (* 0.25 (pow z 2)) (* 2 (* x y)))) in x
9.567 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x
9.567 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.567 * [taylor]: Taking taylor expansion of x in x
9.567 * [taylor]: Taking taylor expansion of (pow y 2) in x
9.567 * [taylor]: Taking taylor expansion of y in x
9.567 * [taylor]: Taking taylor expansion of (+ (* 0.25 (pow z 2)) (* 2 (* x y))) in x
9.567 * [taylor]: Taking taylor expansion of (* 0.25 (pow z 2)) in x
9.567 * [taylor]: Taking taylor expansion of 0.25 in x
9.567 * [taylor]: Taking taylor expansion of (pow z 2) in x
9.567 * [taylor]: Taking taylor expansion of z in x
9.567 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in x
9.567 * [taylor]: Taking taylor expansion of 2 in x
9.567 * [taylor]: Taking taylor expansion of (* x y) in x
9.567 * [taylor]: Taking taylor expansion of x in x
9.567 * [taylor]: Taking taylor expansion of y in x
9.568 * [taylor]: Taking taylor expansion of (- (pow y 2) (* 0.25 (pow z 2))) in y
9.568 * [taylor]: Taking taylor expansion of (pow y 2) in y
9.568 * [taylor]: Taking taylor expansion of y in y
9.568 * [taylor]: Taking taylor expansion of (* 0.25 (pow z 2)) in y
9.568 * [taylor]: Taking taylor expansion of 0.25 in y
9.568 * [taylor]: Taking taylor expansion of (pow z 2) in y
9.568 * [taylor]: Taking taylor expansion of z in y
9.569 * [taylor]: Taking taylor expansion of (- (* 0.25 (pow z 2))) in z
9.569 * [taylor]: Taking taylor expansion of (* 0.25 (pow z 2)) in z
9.569 * [taylor]: Taking taylor expansion of 0.25 in z
9.569 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.569 * [taylor]: Taking taylor expansion of z in z
9.570 * [taylor]: Taking taylor expansion of (- (* 2 y)) in y
9.570 * [taylor]: Taking taylor expansion of (* 2 y) in y
9.570 * [taylor]: Taking taylor expansion of 2 in y
9.570 * [taylor]: Taking taylor expansion of y in y
9.571 * [taylor]: Taking taylor expansion of 0 in z
9.571 * [taylor]: Taking taylor expansion of 0 in z
9.575 * [taylor]: Taking taylor expansion of 1 in y
9.575 * [taylor]: Taking taylor expansion of 1 in z
9.575 * [taylor]: Taking taylor expansion of -2 in z
9.577 * [taylor]: Taking taylor expansion of 1 in z
9.577 * [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
9.577 * [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
9.577 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in z
9.577 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
9.577 * [taylor]: Taking taylor expansion of (pow x 2) in z
9.577 * [taylor]: Taking taylor expansion of x in z
9.578 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
9.578 * [taylor]: Taking taylor expansion of (pow y 2) in z
9.578 * [taylor]: Taking taylor expansion of y in z
9.578 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in z
9.578 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in z
9.578 * [taylor]: Taking taylor expansion of 0.25 in z
9.578 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
9.578 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.578 * [taylor]: Taking taylor expansion of z in z
9.578 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in z
9.578 * [taylor]: Taking taylor expansion of 2 in z
9.578 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
9.578 * [taylor]: Taking taylor expansion of (* x y) in z
9.578 * [taylor]: Taking taylor expansion of x in z
9.578 * [taylor]: Taking taylor expansion of y in z
9.578 * [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
9.578 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
9.579 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
9.579 * [taylor]: Taking taylor expansion of (pow x 2) in y
9.579 * [taylor]: Taking taylor expansion of x in y
9.579 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
9.579 * [taylor]: Taking taylor expansion of (pow y 2) in y
9.579 * [taylor]: Taking taylor expansion of y in y
9.579 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in y
9.579 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in y
9.579 * [taylor]: Taking taylor expansion of 0.25 in y
9.579 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
9.579 * [taylor]: Taking taylor expansion of (pow z 2) in y
9.579 * [taylor]: Taking taylor expansion of z in y
9.579 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y
9.579 * [taylor]: Taking taylor expansion of 2 in y
9.579 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
9.579 * [taylor]: Taking taylor expansion of (* x y) in y
9.579 * [taylor]: Taking taylor expansion of x in y
9.579 * [taylor]: Taking taylor expansion of y in y
9.580 * [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
9.580 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
9.580 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.580 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.580 * [taylor]: Taking taylor expansion of x in x
9.580 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
9.580 * [taylor]: Taking taylor expansion of (pow y 2) in x
9.580 * [taylor]: Taking taylor expansion of y in x
9.580 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in x
9.581 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in x
9.581 * [taylor]: Taking taylor expansion of 0.25 in x
9.581 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
9.581 * [taylor]: Taking taylor expansion of (pow z 2) in x
9.581 * [taylor]: Taking taylor expansion of z in x
9.581 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x
9.581 * [taylor]: Taking taylor expansion of 2 in x
9.581 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
9.581 * [taylor]: Taking taylor expansion of (* x y) in x
9.581 * [taylor]: Taking taylor expansion of x in x
9.581 * [taylor]: Taking taylor expansion of y in x
9.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 x
9.581 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
9.581 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.581 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.581 * [taylor]: Taking taylor expansion of x in x
9.582 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
9.582 * [taylor]: Taking taylor expansion of (pow y 2) in x
9.582 * [taylor]: Taking taylor expansion of y in x
9.582 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in x
9.582 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in x
9.582 * [taylor]: Taking taylor expansion of 0.25 in x
9.582 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
9.582 * [taylor]: Taking taylor expansion of (pow z 2) in x
9.582 * [taylor]: Taking taylor expansion of z in x
9.582 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x
9.582 * [taylor]: Taking taylor expansion of 2 in x
9.582 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
9.582 * [taylor]: Taking taylor expansion of (* x y) in x
9.582 * [taylor]: Taking taylor expansion of x in x
9.582 * [taylor]: Taking taylor expansion of y in x
9.583 * [taylor]: Taking taylor expansion of 1 in y
9.584 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y
9.584 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
9.584 * [taylor]: Taking taylor expansion of 2 in y
9.584 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.584 * [taylor]: Taking taylor expansion of y in y
9.587 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (* 0.25 (/ 1 (pow z 2)))) in y
9.587 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
9.587 * [taylor]: Taking taylor expansion of (pow y 2) in y
9.587 * [taylor]: Taking taylor expansion of y in y
9.587 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in y
9.587 * [taylor]: Taking taylor expansion of 0.25 in y
9.587 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
9.587 * [taylor]: Taking taylor expansion of (pow z 2) in y
9.587 * [taylor]: Taking taylor expansion of z in y
9.588 * [taylor]: Taking taylor expansion of 1 in z
9.588 * [taylor]: Taking taylor expansion of -2 in z
9.588 * [taylor]: Taking taylor expansion of 1 in z
9.592 * [taylor]: Taking taylor expansion of 0 in y
9.593 * [taylor]: Taking taylor expansion of 0 in z
9.594 * [taylor]: Taking taylor expansion of 0 in z
9.594 * [taylor]: Taking taylor expansion of 0 in z
9.600 * [taylor]: Taking taylor expansion of 0 in y
9.601 * [taylor]: Taking taylor expansion of (- (* 0.25 (/ 1 (pow z 2)))) in z
9.601 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in z
9.601 * [taylor]: Taking taylor expansion of 0.25 in z
9.601 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
9.601 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.601 * [taylor]: Taking taylor expansion of z in z
9.603 * [taylor]: Taking taylor expansion of 0 in z
9.604 * [taylor]: Taking taylor expansion of 0 in z
9.605 * [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
9.605 * [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
9.605 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in z
9.605 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
9.605 * [taylor]: Taking taylor expansion of (pow x 2) in z
9.605 * [taylor]: Taking taylor expansion of x in z
9.605 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
9.605 * [taylor]: Taking taylor expansion of (pow y 2) in z
9.605 * [taylor]: Taking taylor expansion of y in z
9.605 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in z
9.605 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in z
9.605 * [taylor]: Taking taylor expansion of 0.25 in z
9.605 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
9.605 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.605 * [taylor]: Taking taylor expansion of z in z
9.606 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in z
9.606 * [taylor]: Taking taylor expansion of 2 in z
9.606 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
9.606 * [taylor]: Taking taylor expansion of (* x y) in z
9.606 * [taylor]: Taking taylor expansion of x in z
9.606 * [taylor]: Taking taylor expansion of y in z
9.606 * [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
9.606 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
9.606 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
9.606 * [taylor]: Taking taylor expansion of (pow x 2) in y
9.606 * [taylor]: Taking taylor expansion of x in y
9.606 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
9.606 * [taylor]: Taking taylor expansion of (pow y 2) in y
9.606 * [taylor]: Taking taylor expansion of y in y
9.607 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in y
9.607 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in y
9.607 * [taylor]: Taking taylor expansion of 0.25 in y
9.607 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
9.607 * [taylor]: Taking taylor expansion of (pow z 2) in y
9.607 * [taylor]: Taking taylor expansion of z in y
9.607 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y
9.607 * [taylor]: Taking taylor expansion of 2 in y
9.607 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
9.607 * [taylor]: Taking taylor expansion of (* x y) in y
9.607 * [taylor]: Taking taylor expansion of x in y
9.607 * [taylor]: Taking taylor expansion of y in y
9.607 * [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
9.607 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
9.607 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.607 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.607 * [taylor]: Taking taylor expansion of x in x
9.608 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
9.608 * [taylor]: Taking taylor expansion of (pow y 2) in x
9.608 * [taylor]: Taking taylor expansion of y in x
9.608 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in x
9.608 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in x
9.608 * [taylor]: Taking taylor expansion of 0.25 in x
9.608 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
9.608 * [taylor]: Taking taylor expansion of (pow z 2) in x
9.608 * [taylor]: Taking taylor expansion of z in x
9.608 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x
9.608 * [taylor]: Taking taylor expansion of 2 in x
9.608 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
9.608 * [taylor]: Taking taylor expansion of (* x y) in x
9.608 * [taylor]: Taking taylor expansion of x in x
9.609 * [taylor]: Taking taylor expansion of y in x
9.609 * [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
9.609 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
9.609 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.609 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.609 * [taylor]: Taking taylor expansion of x in x
9.609 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
9.609 * [taylor]: Taking taylor expansion of (pow y 2) in x
9.609 * [taylor]: Taking taylor expansion of y in x
9.610 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow z 2))) (* 2 (/ 1 (* x y)))) in x
9.610 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in x
9.610 * [taylor]: Taking taylor expansion of 0.25 in x
9.610 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
9.610 * [taylor]: Taking taylor expansion of (pow z 2) in x
9.610 * [taylor]: Taking taylor expansion of z in x
9.610 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x
9.610 * [taylor]: Taking taylor expansion of 2 in x
9.610 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
9.610 * [taylor]: Taking taylor expansion of (* x y) in x
9.610 * [taylor]: Taking taylor expansion of x in x
9.610 * [taylor]: Taking taylor expansion of y in x
9.611 * [taylor]: Taking taylor expansion of 1 in y
9.612 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y
9.612 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
9.612 * [taylor]: Taking taylor expansion of 2 in y
9.612 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.612 * [taylor]: Taking taylor expansion of y in y
9.615 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (* 0.25 (/ 1 (pow z 2)))) in y
9.615 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
9.615 * [taylor]: Taking taylor expansion of (pow y 2) in y
9.615 * [taylor]: Taking taylor expansion of y in y
9.615 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in y
9.615 * [taylor]: Taking taylor expansion of 0.25 in y
9.615 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
9.615 * [taylor]: Taking taylor expansion of (pow z 2) in y
9.615 * [taylor]: Taking taylor expansion of z in y
9.616 * [taylor]: Taking taylor expansion of 1 in z
9.616 * [taylor]: Taking taylor expansion of -2 in z
9.616 * [taylor]: Taking taylor expansion of 1 in z
9.620 * [taylor]: Taking taylor expansion of 0 in y
9.621 * [taylor]: Taking taylor expansion of 0 in z
9.622 * [taylor]: Taking taylor expansion of 0 in z
9.622 * [taylor]: Taking taylor expansion of 0 in z
9.628 * [taylor]: Taking taylor expansion of 0 in y
9.629 * [taylor]: Taking taylor expansion of (- (* 0.25 (/ 1 (pow z 2)))) in z
9.629 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow z 2))) in z
9.629 * [taylor]: Taking taylor expansion of 0.25 in z
9.629 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
9.629 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.629 * [taylor]: Taking taylor expansion of z in z
9.631 * [taylor]: Taking taylor expansion of 0 in z
9.631 * [taylor]: Taking taylor expansion of 0 in z
9.632 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
9.633 * [approximate]: Taking taylor expansion of (pow (- x y) 2) in (x y) around 0
9.633 * [taylor]: Taking taylor expansion of (pow (- x y) 2) in y
9.633 * [taylor]: Taking taylor expansion of (- x y) in y
9.633 * [taylor]: Taking taylor expansion of x in y
9.633 * [taylor]: Taking taylor expansion of y in y
9.633 * [taylor]: Taking taylor expansion of (pow (- x y) 2) in x
9.633 * [taylor]: Taking taylor expansion of (- x y) in x
9.633 * [taylor]: Taking taylor expansion of x in x
9.633 * [taylor]: Taking taylor expansion of y in x
9.633 * [taylor]: Taking taylor expansion of (pow (- x y) 2) in x
9.633 * [taylor]: Taking taylor expansion of (- x y) in x
9.633 * [taylor]: Taking taylor expansion of x in x
9.633 * [taylor]: Taking taylor expansion of y in x
9.633 * [taylor]: Taking taylor expansion of (pow y 2) in y
9.633 * [taylor]: Taking taylor expansion of y in y
9.634 * [taylor]: Taking taylor expansion of (- (* 2 y)) in y
9.634 * [taylor]: Taking taylor expansion of (* 2 y) in y
9.634 * [taylor]: Taking taylor expansion of 2 in y
9.634 * [taylor]: Taking taylor expansion of y in y
9.635 * [taylor]: Taking taylor expansion of 1 in y
9.636 * [approximate]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 y)) 2) in (x y) around 0
9.636 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 y)) 2) in y
9.636 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
9.636 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.636 * [taylor]: Taking taylor expansion of x in y
9.636 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.636 * [taylor]: Taking taylor expansion of y in y
9.637 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 y)) 2) in x
9.637 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
9.637 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.637 * [taylor]: Taking taylor expansion of x in x
9.637 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.638 * [taylor]: Taking taylor expansion of y in x
9.638 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 y)) 2) in x
9.638 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
9.638 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.638 * [taylor]: Taking taylor expansion of x in x
9.638 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.638 * [taylor]: Taking taylor expansion of y in x
9.641 * [taylor]: Taking taylor expansion of 1 in y
9.642 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y
9.642 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
9.642 * [taylor]: Taking taylor expansion of 2 in y
9.642 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.642 * [taylor]: Taking taylor expansion of y in y
9.644 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
9.644 * [taylor]: Taking taylor expansion of (pow y 2) in y
9.644 * [taylor]: Taking taylor expansion of y in y
9.645 * [approximate]: Taking taylor expansion of (pow (- (/ 1 y) (/ 1 x)) 2) in (x y) around 0
9.645 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) (/ 1 x)) 2) in y
9.645 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
9.645 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.645 * [taylor]: Taking taylor expansion of y in y
9.645 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.645 * [taylor]: Taking taylor expansion of x in y
9.646 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) (/ 1 x)) 2) in x
9.646 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
9.646 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.646 * [taylor]: Taking taylor expansion of y in x
9.646 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.646 * [taylor]: Taking taylor expansion of x in x
9.647 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) (/ 1 x)) 2) in x
9.647 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
9.647 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.647 * [taylor]: Taking taylor expansion of y in x
9.647 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.647 * [taylor]: Taking taylor expansion of x in x
9.648 * [taylor]: Taking taylor expansion of 1 in y
9.648 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y
9.648 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
9.648 * [taylor]: Taking taylor expansion of 2 in y
9.648 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.648 * [taylor]: Taking taylor expansion of y in y
9.650 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
9.650 * [taylor]: Taking taylor expansion of (pow y 2) in y
9.650 * [taylor]: Taking taylor expansion of y in y
9.652 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
9.652 * [approximate]: Taking taylor expansion of (* (- (+ x (* 0.5 z)) y) z) in (z x y) around 0
9.652 * [taylor]: Taking taylor expansion of (* (- (+ x (* 0.5 z)) y) z) in y
9.652 * [taylor]: Taking taylor expansion of (- (+ x (* 0.5 z)) y) in y
9.652 * [taylor]: Taking taylor expansion of (+ x (* 0.5 z)) in y
9.652 * [taylor]: Taking taylor expansion of x in y
9.652 * [taylor]: Taking taylor expansion of (* 0.5 z) in y
9.652 * [taylor]: Taking taylor expansion of 0.5 in y
9.652 * [taylor]: Taking taylor expansion of z in y
9.652 * [taylor]: Taking taylor expansion of y in y
9.652 * [taylor]: Taking taylor expansion of z in y
9.652 * [taylor]: Taking taylor expansion of (* (- (+ x (* 0.5 z)) y) z) in x
9.652 * [taylor]: Taking taylor expansion of (- (+ x (* 0.5 z)) y) in x
9.652 * [taylor]: Taking taylor expansion of (+ x (* 0.5 z)) in x
9.652 * [taylor]: Taking taylor expansion of x in x
9.652 * [taylor]: Taking taylor expansion of (* 0.5 z) in x
9.652 * [taylor]: Taking taylor expansion of 0.5 in x
9.652 * [taylor]: Taking taylor expansion of z in x
9.652 * [taylor]: Taking taylor expansion of y in x
9.652 * [taylor]: Taking taylor expansion of z in x
9.652 * [taylor]: Taking taylor expansion of (* (- (+ x (* 0.5 z)) y) z) in z
9.652 * [taylor]: Taking taylor expansion of (- (+ x (* 0.5 z)) y) in z
9.652 * [taylor]: Taking taylor expansion of (+ x (* 0.5 z)) in z
9.652 * [taylor]: Taking taylor expansion of x in z
9.652 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
9.652 * [taylor]: Taking taylor expansion of 0.5 in z
9.652 * [taylor]: Taking taylor expansion of z in z
9.652 * [taylor]: Taking taylor expansion of y in z
9.652 * [taylor]: Taking taylor expansion of z in z
9.652 * [taylor]: Taking taylor expansion of (* (- (+ x (* 0.5 z)) y) z) in z
9.652 * [taylor]: Taking taylor expansion of (- (+ x (* 0.5 z)) y) in z
9.652 * [taylor]: Taking taylor expansion of (+ x (* 0.5 z)) in z
9.652 * [taylor]: Taking taylor expansion of x in z
9.652 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
9.652 * [taylor]: Taking taylor expansion of 0.5 in z
9.652 * [taylor]: Taking taylor expansion of z in z
9.652 * [taylor]: Taking taylor expansion of y in z
9.652 * [taylor]: Taking taylor expansion of z in z
9.653 * [taylor]: Taking taylor expansion of 0 in x
9.653 * [taylor]: Taking taylor expansion of 0 in y
9.655 * [taylor]: Taking taylor expansion of (- x y) in x
9.655 * [taylor]: Taking taylor expansion of x in x
9.655 * [taylor]: Taking taylor expansion of y in x
9.655 * [taylor]: Taking taylor expansion of (- y) in y
9.655 * [taylor]: Taking taylor expansion of y in y
9.655 * [taylor]: Taking taylor expansion of 0 in y
9.657 * [taylor]: Taking taylor expansion of 0.5 in x
9.657 * [taylor]: Taking taylor expansion of 0.5 in y
9.658 * [taylor]: Taking taylor expansion of 1 in y
9.658 * [taylor]: Taking taylor expansion of 0 in y
9.659 * [approximate]: Taking taylor expansion of (/ (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)) z) in (z x y) around 0
9.659 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)) z) in y
9.659 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)) in y
9.659 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in y
9.659 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in y
9.659 * [taylor]: Taking taylor expansion of 0.5 in y
9.659 * [taylor]: Taking taylor expansion of (/ 1 z) in y
9.659 * [taylor]: Taking taylor expansion of z in y
9.659 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.659 * [taylor]: Taking taylor expansion of x in y
9.659 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.659 * [taylor]: Taking taylor expansion of y in y
9.660 * [taylor]: Taking taylor expansion of z in y
9.660 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)) z) in x
9.660 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)) in x
9.660 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in x
9.660 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
9.660 * [taylor]: Taking taylor expansion of 0.5 in x
9.660 * [taylor]: Taking taylor expansion of (/ 1 z) in x
9.660 * [taylor]: Taking taylor expansion of z in x
9.660 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.661 * [taylor]: Taking taylor expansion of x in x
9.661 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.661 * [taylor]: Taking taylor expansion of y in x
9.661 * [taylor]: Taking taylor expansion of z in x
9.661 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)) z) in z
9.661 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)) in z
9.661 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in z
9.661 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
9.661 * [taylor]: Taking taylor expansion of 0.5 in z
9.661 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.661 * [taylor]: Taking taylor expansion of z in z
9.662 * [taylor]: Taking taylor expansion of (/ 1 x) in z
9.662 * [taylor]: Taking taylor expansion of x in z
9.662 * [taylor]: Taking taylor expansion of (/ 1 y) in z
9.662 * [taylor]: Taking taylor expansion of y in z
9.662 * [taylor]: Taking taylor expansion of z in z
9.663 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)) z) in z
9.663 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 x)) (/ 1 y)) in z
9.663 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in z
9.663 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
9.663 * [taylor]: Taking taylor expansion of 0.5 in z
9.663 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.663 * [taylor]: Taking taylor expansion of z in z
9.663 * [taylor]: Taking taylor expansion of (/ 1 x) in z
9.663 * [taylor]: Taking taylor expansion of x in z
9.663 * [taylor]: Taking taylor expansion of (/ 1 y) in z
9.663 * [taylor]: Taking taylor expansion of y in z
9.663 * [taylor]: Taking taylor expansion of z in z
9.665 * [taylor]: Taking taylor expansion of 0.5 in x
9.666 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
9.666 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.666 * [taylor]: Taking taylor expansion of x in x
9.666 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.666 * [taylor]: Taking taylor expansion of y in x
9.667 * [taylor]: Taking taylor expansion of 1 in y
9.667 * [taylor]: Taking taylor expansion of 0.5 in y
9.669 * [taylor]: Taking taylor expansion of 0 in x
9.670 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
9.670 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.670 * [taylor]: Taking taylor expansion of y in y
9.670 * [taylor]: Taking taylor expansion of 0 in y
9.671 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) z)) in (z x y) around 0
9.671 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) z)) in y
9.671 * [taylor]: Taking taylor expansion of -1 in y
9.671 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) z) in y
9.671 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) in y
9.671 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.671 * [taylor]: Taking taylor expansion of y in y
9.672 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in y
9.672 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in y
9.672 * [taylor]: Taking taylor expansion of 0.5 in y
9.672 * [taylor]: Taking taylor expansion of (/ 1 z) in y
9.672 * [taylor]: Taking taylor expansion of z in y
9.672 * [taylor]: Taking taylor expansion of (/ 1 x) in y
9.672 * [taylor]: Taking taylor expansion of x in y
9.672 * [taylor]: Taking taylor expansion of z in y
9.672 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) z)) in x
9.672 * [taylor]: Taking taylor expansion of -1 in x
9.672 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) z) in x
9.672 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) in x
9.672 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.672 * [taylor]: Taking taylor expansion of y in x
9.672 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in x
9.672 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x
9.672 * [taylor]: Taking taylor expansion of 0.5 in x
9.672 * [taylor]: Taking taylor expansion of (/ 1 z) in x
9.672 * [taylor]: Taking taylor expansion of z in x
9.672 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.672 * [taylor]: Taking taylor expansion of x in x
9.673 * [taylor]: Taking taylor expansion of z in x
9.673 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) z)) in z
9.673 * [taylor]: Taking taylor expansion of -1 in z
9.673 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) z) in z
9.674 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) in z
9.674 * [taylor]: Taking taylor expansion of (/ 1 y) in z
9.674 * [taylor]: Taking taylor expansion of y in z
9.674 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in z
9.674 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
9.674 * [taylor]: Taking taylor expansion of 0.5 in z
9.674 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.674 * [taylor]: Taking taylor expansion of z in z
9.674 * [taylor]: Taking taylor expansion of (/ 1 x) in z
9.674 * [taylor]: Taking taylor expansion of x in z
9.674 * [taylor]: Taking taylor expansion of z in z
9.676 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) z)) in z
9.676 * [taylor]: Taking taylor expansion of -1 in z
9.676 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) z) in z
9.676 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (* 0.5 (/ 1 z)) (/ 1 x))) in z
9.676 * [taylor]: Taking taylor expansion of (/ 1 y) in z
9.676 * [taylor]: Taking taylor expansion of y in z
9.676 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 x)) in z
9.676 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
9.676 * [taylor]: Taking taylor expansion of 0.5 in z
9.676 * [taylor]: Taking taylor expansion of (/ 1 z) in z
9.676 * [taylor]: Taking taylor expansion of z in z
9.676 * [taylor]: Taking taylor expansion of (/ 1 x) in z
9.677 * [taylor]: Taking taylor expansion of x in z
9.677 * [taylor]: Taking taylor expansion of z in z
9.679 * [taylor]: Taking taylor expansion of 0.5 in x
9.681 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
9.681 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.681 * [taylor]: Taking taylor expansion of x in x
9.681 * [taylor]: Taking taylor expansion of (/ 1 y) in x
9.681 * [taylor]: Taking taylor expansion of y in x
9.681 * [taylor]: Taking taylor expansion of 1 in y
9.681 * [taylor]: Taking taylor expansion of 0.5 in y
9.685 * [taylor]: Taking taylor expansion of 0 in x
9.685 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
9.685 * [taylor]: Taking taylor expansion of (/ 1 y) in y
9.685 * [taylor]: Taking taylor expansion of y in y
9.686 * [taylor]: Taking taylor expansion of 0 in y
9.686 * * * [progress]: simplifying candidates
9.688 * [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))
9.693 * * [simplify]: iteration  0 :  190  enodes  (cost  2374 )
9.734 * * [simplify]: iteration  1 :  569  enodes  (cost  2231 )
9.909 * * [simplify]: iteration  2 :  3148  enodes  (cost  1787 )
10.769 * * [simplify]: iteration  done :  5000  enodes  (cost  1785 )
10.770 * [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 (+ (+ (pow (* z 0.5) 4) (* (* (- x y) (- x y)) (* (* z 0.5) (* 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))
  (+ (+ (pow (* z 0.5) 4) (* (* (- x y) (- x y)) (* (* z 0.5) (* 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)))
  (* z (+ (- x y) (* z 0.5)))
  (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))))
  (* z (- x y))
  (* z (* z 0.5))
  (* z (- x y))
  (* z (* z 0.5))
  (* 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)))
  (* 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) (/ 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))
  (* z (+ (- x y) (* z 0.5)))
  (* z (+ (- x y) (* z 0.5)))
  (* z (+ (- x y) (* z 0.5)))
10.770 * * * [progress]: adding candidates to table
10.991 * [progress]: [Phase 3 of 3] Extracting.
10.991 * * [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)))))>)
10.992 * * * [regime-changes]: Trying 5 branch expressions: ((- x y) (/ (* 4.0 (- (- x y) (* z 0.5))) z) z y x)
10.992 * * * * [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)))))>)
11.006 * * * * [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)))))>)
11.021 * * * * [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)))))>)
11.038 * * * * [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)))))>)
11.052 * * * * [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)))))>)
11.068 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
11.068 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (* 4.0 (- (- x y) (* z 0.5))) z)
11.069 * * [simplify]: iteration  0 :  10  enodes  (cost  11 )
11.069 * * [simplify]: iteration  1 :  12  enodes  (cost  11 )
11.069 * * [simplify]: iteration  done :  12  enodes  (cost  11 )
11.069 * [simplify]: Simplified to:
   (/ (* 4.0 (- (- x y) (* z 0.5))) z)
11.616 * [regime-testing]: Baseline error score: 0.12801600200025004
11.617 * [regime-testing]: Oracle error score: 0.011876484560570071
11.618 * [regime-testing]: End program error score: 0.12801600200025004
11.639 * [regime-testing]: Target error score: 0.007125890736342043