0.413 * [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.018 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ x (/ (* y y) z))
0.019 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.020 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
0.021 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
0.022 * * [simplify]: iteration  3 :  12  enodes  (cost  7 )
0.023 * * [simplify]: iteration  done :  12  enodes  (cost  7 )
0.023 * [simplify]: Simplified to:
   (+ x (/ (* y y) z))
0.024 * * [progress]: iteration 1 / 4
0.024 * * * [progress]: picking best candidate
0.025 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (/ (* y y) z)))>
0.025 * * * [progress]: localizing error
0.030 * * * [progress]: generating rewritten candidates
0.030 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
0.034 * * * [progress]: generating series expansions
0.034 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
0.034 * [approximate]: Taking taylor expansion of (/ (pow y 2) z) in (y z) around 0
0.034 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in z
0.034 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.034 * [taylor]: Taking taylor expansion of y in z
0.034 * [taylor]: Taking taylor expansion of z in z
0.034 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y
0.034 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.035 * [taylor]: Taking taylor expansion of y in y
0.035 * [taylor]: Taking taylor expansion of z in y
0.035 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y
0.035 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.035 * [taylor]: Taking taylor expansion of y in y
0.035 * [taylor]: Taking taylor expansion of z in y
0.035 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.035 * [taylor]: Taking taylor expansion of z in z
0.036 * [taylor]: Taking taylor expansion of 0 in z
0.037 * [taylor]: Taking taylor expansion of 0 in z
0.039 * [taylor]: Taking taylor expansion of 0 in z
0.039 * [approximate]: Taking taylor expansion of (/ z (pow y 2)) in (y z) around 0
0.039 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z
0.039 * [taylor]: Taking taylor expansion of z in z
0.039 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.040 * [taylor]: Taking taylor expansion of y in z
0.040 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
0.040 * [taylor]: Taking taylor expansion of z in y
0.040 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.040 * [taylor]: Taking taylor expansion of y in y
0.040 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
0.040 * [taylor]: Taking taylor expansion of z in y
0.040 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.040 * [taylor]: Taking taylor expansion of y in y
0.040 * [taylor]: Taking taylor expansion of z in z
0.041 * [taylor]: Taking taylor expansion of 0 in z
0.043 * [taylor]: Taking taylor expansion of 0 in z
0.045 * [taylor]: Taking taylor expansion of 0 in z
0.045 * [approximate]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in (y z) around 0
0.045 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in z
0.045 * [taylor]: Taking taylor expansion of -1 in z
0.045 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z
0.045 * [taylor]: Taking taylor expansion of z in z
0.045 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.045 * [taylor]: Taking taylor expansion of y in z
0.045 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in y
0.045 * [taylor]: Taking taylor expansion of -1 in y
0.045 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
0.045 * [taylor]: Taking taylor expansion of z in y
0.045 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.045 * [taylor]: Taking taylor expansion of y in y
0.046 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in y
0.046 * [taylor]: Taking taylor expansion of -1 in y
0.046 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
0.046 * [taylor]: Taking taylor expansion of z in y
0.046 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.046 * [taylor]: Taking taylor expansion of y in y
0.046 * [taylor]: Taking taylor expansion of (* -1 z) in z
0.046 * [taylor]: Taking taylor expansion of -1 in z
0.046 * [taylor]: Taking taylor expansion of z in z
0.048 * [taylor]: Taking taylor expansion of 0 in z
0.050 * [taylor]: Taking taylor expansion of 0 in z
0.053 * [taylor]: Taking taylor expansion of 0 in z
0.054 * * * [progress]: simplifying candidates
0.054 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (log y) (log y)) (log z))
  (- (log (* y y)) (log z))
  (log (/ (* y y) z))
  (exp (/ (* y y) z))
  (/ (* (* (* y y) y) (* (* y y) y)) (* (* z z) z))
  (/ (* (* (* y y) (* y y)) (* y y)) (* (* z z) z))
  (* (cbrt (/ (* y y) z)) (cbrt (/ (* y y) z)))
  (cbrt (/ (* y y) z))
  (* (* (/ (* y y) z) (/ (* y y) z)) (/ (* y y) z))
  (sqrt (/ (* y y) z))
  (sqrt (/ (* y y) z))
  (- (* y y))
  (- z)
  (/ y (* (cbrt z) (cbrt z)))
  (/ y (cbrt z))
  (/ y (sqrt z))
  (/ y (sqrt z))
  (/ y 1)
  (/ y z)
  (/ 1 z)
  (/ z (* y y))
  (/ (* y y) (* (cbrt z) (cbrt z)))
  (/ (* y y) (sqrt z))
  (/ (* y y) 1)
  (/ z y)
  (/ (pow y 2) z)
  (/ (pow y 2) z)
  (/ (pow y 2) z)
0.055 * * [simplify]: iteration  0 :  45  enodes  (cost  186 )
0.069 * * [simplify]: iteration  1 :  108  enodes  (cost  179 )
0.091 * * [simplify]: iteration  2 :  371  enodes  (cost  149 )