9.029 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.014 * * * [progress]: [2/2] Setting up program.
0.016 * [progress]: [Phase 2 of 3] Improving.
0.016 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* x (- 1.0 (* y z)))
0.017 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
0.017 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
0.019 * * [simplify]: iteration  2 :  24  enodes  (cost  7 )
0.022 * * [simplify]: iteration  3 :  46  enodes  (cost  7 )
0.028 * * [simplify]: iteration  4 :  64  enodes  (cost  7 )
0.040 * * [simplify]: iteration  5 :  72  enodes  (cost  7 )
0.050 * * [simplify]: iteration  done :  72  enodes  (cost  7 )
0.050 * [simplify]: Simplified to:
   (* x (- 1.0 (* y z)))
0.050 * * [progress]: iteration 1 / 4
0.050 * * * [progress]: picking best candidate
0.052 * * * * [pick]: Picked  #<alt (λ (x y z) (* x (- 1.0 (* y z))))>
0.052 * * * [progress]: localizing error
0.056 * * * [progress]: generating rewritten candidates
0.056 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.065 * * * [progress]: generating series expansions
0.065 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.065 * [approximate]: Taking taylor expansion of (* x (- 1.0 (* z y))) in (x y z) around 0
0.065 * [taylor]: Taking taylor expansion of (* x (- 1.0 (* z y))) in z
0.065 * [taylor]: Taking taylor expansion of x in z
0.065 * [taylor]: Taking taylor expansion of (- 1.0 (* z y)) in z
0.065 * [taylor]: Taking taylor expansion of 1.0 in z
0.065 * [taylor]: Taking taylor expansion of (* z y) in z
0.065 * [taylor]: Taking taylor expansion of z in z
0.065 * [taylor]: Taking taylor expansion of y in z
0.065 * [taylor]: Taking taylor expansion of (* x (- 1.0 (* z y))) in y
0.065 * [taylor]: Taking taylor expansion of x in y
0.065 * [taylor]: Taking taylor expansion of (- 1.0 (* z y)) in y
0.065 * [taylor]: Taking taylor expansion of 1.0 in y
0.065 * [taylor]: Taking taylor expansion of (* z y) in y
0.065 * [taylor]: Taking taylor expansion of z in y
0.065 * [taylor]: Taking taylor expansion of y in y
0.065 * [taylor]: Taking taylor expansion of (* x (- 1.0 (* z y))) in x
0.065 * [taylor]: Taking taylor expansion of x in x
0.065 * [taylor]: Taking taylor expansion of (- 1.0 (* z y)) in x
0.065 * [taylor]: Taking taylor expansion of 1.0 in x
0.065 * [taylor]: Taking taylor expansion of (* z y) in x
0.065 * [taylor]: Taking taylor expansion of z in x
0.065 * [taylor]: Taking taylor expansion of y in x
0.065 * [taylor]: Taking taylor expansion of (* x (- 1.0 (* z y))) in x
0.065 * [taylor]: Taking taylor expansion of x in x
0.065 * [taylor]: Taking taylor expansion of (- 1.0 (* z y)) in x
0.065 * [taylor]: Taking taylor expansion of 1.0 in x
0.065 * [taylor]: Taking taylor expansion of (* z y) in x
0.065 * [taylor]: Taking taylor expansion of z in x
0.065 * [taylor]: Taking taylor expansion of y in x
0.066 * [taylor]: Taking taylor expansion of 0 in y
0.066 * [taylor]: Taking taylor expansion of 0 in z
0.067 * [taylor]: Taking taylor expansion of (- 1.0 (* z y)) in y
0.067 * [taylor]: Taking taylor expansion of 1.0 in y
0.067 * [taylor]: Taking taylor expansion of (* z y) in y
0.067 * [taylor]: Taking taylor expansion of z in y
0.067 * [taylor]: Taking taylor expansion of y in y
0.068 * [taylor]: Taking taylor expansion of 1.0 in z
0.068 * [taylor]: Taking taylor expansion of 0 in z
0.069 * [taylor]: Taking taylor expansion of 0 in y
0.069 * [taylor]: Taking taylor expansion of 0 in z
0.069 * [taylor]: Taking taylor expansion of (- z) in z
0.069 * [taylor]: Taking taylor expansion of z in z
0.070 * [taylor]: Taking taylor expansion of 0 in z
0.070 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* z y))) x) in (x y z) around 0
0.070 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* z y))) x) in z
0.070 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* z y))) in z
0.070 * [taylor]: Taking taylor expansion of 1.0 in z
0.070 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.070 * [taylor]: Taking taylor expansion of (* z y) in z
0.070 * [taylor]: Taking taylor expansion of z in z
0.070 * [taylor]: Taking taylor expansion of y in z
0.070 * [taylor]: Taking taylor expansion of x in z
0.071 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* z y))) x) in y
0.071 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* z y))) in y
0.071 * [taylor]: Taking taylor expansion of 1.0 in y
0.071 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.071 * [taylor]: Taking taylor expansion of (* z y) in y
0.071 * [taylor]: Taking taylor expansion of z in y
0.071 * [taylor]: Taking taylor expansion of y in y
0.071 * [taylor]: Taking taylor expansion of x in y
0.071 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* z y))) x) in x
0.071 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* z y))) in x
0.071 * [taylor]: Taking taylor expansion of 1.0 in x
0.071 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.071 * [taylor]: Taking taylor expansion of (* z y) in x
0.071 * [taylor]: Taking taylor expansion of z in x
0.071 * [taylor]: Taking taylor expansion of y in x
0.071 * [taylor]: Taking taylor expansion of x in x
0.071 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* z y))) x) in x
0.071 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* z y))) in x
0.071 * [taylor]: Taking taylor expansion of 1.0 in x
0.071 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.072 * [taylor]: Taking taylor expansion of (* z y) in x
0.072 * [taylor]: Taking taylor expansion of z in x
0.072 * [taylor]: Taking taylor expansion of y in x
0.072 * [taylor]: Taking taylor expansion of x in x
0.072 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* z y))) in y
0.072 * [taylor]: Taking taylor expansion of 1.0 in y
0.072 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.072 * [taylor]: Taking taylor expansion of (* z y) in y
0.072 * [taylor]: Taking taylor expansion of z in y
0.072 * [taylor]: Taking taylor expansion of y in y
0.072 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.072 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.072 * [taylor]: Taking taylor expansion of z in z
0.074 * [taylor]: Taking taylor expansion of 0 in y
0.075 * [taylor]: Taking taylor expansion of 1.0 in z
0.077 * [taylor]: Taking taylor expansion of 0 in y
0.077 * [taylor]: Taking taylor expansion of 0 in z
0.078 * [taylor]: Taking taylor expansion of 0 in z
0.081 * [taylor]: Taking taylor expansion of 0 in y
0.081 * [taylor]: Taking taylor expansion of 0 in z
0.081 * [taylor]: Taking taylor expansion of 0 in z
0.082 * [taylor]: Taking taylor expansion of 0 in z
0.086 * [taylor]: Taking taylor expansion of 0 in y
0.086 * [taylor]: Taking taylor expansion of 0 in z
0.086 * [taylor]: Taking taylor expansion of 0 in z
0.086 * [taylor]: Taking taylor expansion of 0 in z
0.087 * [taylor]: Taking taylor expansion of 0 in z
0.087 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* z y))) x)) in (x y z) around 0
0.087 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* z y))) x)) in z
0.088 * [taylor]: Taking taylor expansion of -1 in z
0.088 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* z y))) x) in z
0.088 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* z y))) in z
0.088 * [taylor]: Taking taylor expansion of 1.0 in z
0.088 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.088 * [taylor]: Taking taylor expansion of (* z y) in z
0.088 * [taylor]: Taking taylor expansion of z in z
0.088 * [taylor]: Taking taylor expansion of y in z
0.088 * [taylor]: Taking taylor expansion of x in z
0.088 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* z y))) x)) in y
0.088 * [taylor]: Taking taylor expansion of -1 in y
0.088 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* z y))) x) in y
0.088 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* z y))) in y
0.088 * [taylor]: Taking taylor expansion of 1.0 in y
0.088 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.088 * [taylor]: Taking taylor expansion of (* z y) in y
0.088 * [taylor]: Taking taylor expansion of z in y
0.088 * [taylor]: Taking taylor expansion of y in y
0.089 * [taylor]: Taking taylor expansion of x in y
0.089 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* z y))) x)) in x
0.089 * [taylor]: Taking taylor expansion of -1 in x
0.089 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* z y))) x) in x
0.089 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* z y))) in x
0.089 * [taylor]: Taking taylor expansion of 1.0 in x
0.089 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.089 * [taylor]: Taking taylor expansion of (* z y) in x
0.089 * [taylor]: Taking taylor expansion of z in x
0.089 * [taylor]: Taking taylor expansion of y in x
0.089 * [taylor]: Taking taylor expansion of x in x
0.089 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 (* z y))) x)) in x
0.089 * [taylor]: Taking taylor expansion of -1 in x
0.089 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (* z y))) x) in x
0.089 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* z y))) in x
0.089 * [taylor]: Taking taylor expansion of 1.0 in x
0.089 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.089 * [taylor]: Taking taylor expansion of (* z y) in x
0.089 * [taylor]: Taking taylor expansion of z in x
0.089 * [taylor]: Taking taylor expansion of y in x
0.089 * [taylor]: Taking taylor expansion of x in x
0.090 * [taylor]: Taking taylor expansion of (* -1 (- 1.0 (/ 1 (* z y)))) in y
0.090 * [taylor]: Taking taylor expansion of -1 in y
0.090 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* z y))) in y
0.090 * [taylor]: Taking taylor expansion of 1.0 in y
0.090 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.090 * [taylor]: Taking taylor expansion of (* z y) in y
0.090 * [taylor]: Taking taylor expansion of z in y
0.090 * [taylor]: Taking taylor expansion of y in y
0.090 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.090 * [taylor]: Taking taylor expansion of z in z
0.092 * [taylor]: Taking taylor expansion of 0 in y
0.093 * [taylor]: Taking taylor expansion of (- 1.0) in z
0.093 * [taylor]: Taking taylor expansion of 1.0 in z
0.096 * [taylor]: Taking taylor expansion of 0 in y
0.096 * [taylor]: Taking taylor expansion of 0 in z
0.097 * [taylor]: Taking taylor expansion of 0 in z
0.104 * [taylor]: Taking taylor expansion of 0 in y
0.104 * [taylor]: Taking taylor expansion of 0 in z
0.104 * [taylor]: Taking taylor expansion of 0 in z
0.106 * [taylor]: Taking taylor expansion of 0 in z
0.110 * [taylor]: Taking taylor expansion of 0 in y
0.110 * [taylor]: Taking taylor expansion of 0 in z
0.110 * [taylor]: Taking taylor expansion of 0 in z
0.110 * [taylor]: Taking taylor expansion of 0 in z
0.113 * [taylor]: Taking taylor expansion of 0 in z
0.113 * * * [progress]: simplifying candidates
0.114 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* x (- 1.0 (* y z)))
  (+ (log x) (log (- 1.0 (* y z))))
  (log (* x (- 1.0 (* y z))))
  (exp (* x (- 1.0 (* y z))))
  (* (* (* x x) x) (* (* (- 1.0 (* y z)) (- 1.0 (* y z))) (- 1.0 (* y z))))
  (* (cbrt (* x (- 1.0 (* y z)))) (cbrt (* x (- 1.0 (* y z)))))
  (cbrt (* x (- 1.0 (* y z))))
  (* (* (* x (- 1.0 (* y z))) (* x (- 1.0 (* y z)))) (* x (- 1.0 (* y z))))
  (sqrt (* x (- 1.0 (* y z))))
  (sqrt (* x (- 1.0 (* y z))))
  (* (sqrt x) (sqrt (- 1.0 (* y z))))
  (* (sqrt x) (sqrt (- 1.0 (* y z))))
  (* x 1.0)
  (* x (- (* y z)))
  (* x 1.0)
  (* x (- (* y z)))
  (* 1.0 x)
  (* (- (* y z)) x)
  (* 1.0 x)
  (* (- (* y z)) x)
  (* x (* (cbrt (- 1.0 (* y z))) (cbrt (- 1.0 (* y z)))))
  (* x (sqrt (- 1.0 (* y z))))
  (* x 1)
  (* (cbrt x) (- 1.0 (* y z)))
  (* (sqrt x) (- 1.0 (* y z)))
  (* x (- 1.0 (* y z)))
  (* x (- (pow 1.0 3) (pow (* y z) 3)))
  (* x (- (* 1.0 1.0) (* (* y z) (* y z))))
  (* 1.0 x)
  (- (* 1.0 x) (* x (* z y)))
  (- (* 1.0 x) (* x (* z y)))
0.115 * * [simplify]: iteration  0 :  51  enodes  (cost  267 )
0.124 * * [simplify]: iteration  1 :  125  enodes  (cost  264 )
0.147 * * [simplify]: iteration  2 :  455  enodes  (cost  232 )
0.281 * * [simplify]: iteration  3 :  1625  enodes  (cost  232 )
0.925 * * [simplify]: iteration  done :  5000  enodes  (cost  232 )
0.925 * [simplify]: Simplified to:
   (* x (- 1.0 (* y z)))
  (log (* x (- 1.0 (* y z))))
  (log (* x (- 1.0 (* y z))))
  (exp (* x (- 1.0 (* y z))))
  (pow (* x (- 1.0 (* y z))) 3)
  (* (cbrt (* x (- 1.0 (* y z)))) (cbrt (* x (- 1.0 (* y z)))))
  (cbrt (* x (- 1.0 (* y z))))
  (pow (* x (- 1.0 (* y z))) 3)
  (sqrt (* x (- 1.0 (* y z))))
  (sqrt (* x (- 1.0 (* y z))))
  (* (sqrt x) (sqrt (- 1.0 (* y z))))
  (* (sqrt x) (sqrt (- 1.0 (* y z))))
  (* 1.0 x)
  (* x (- (* y z)))
  (* 1.0 x)
  (* x (- (* y z)))
  (* 1.0 x)
  (* x (- (* y z)))
  (* 1.0 x)
  (* x (- (* y z)))
  (* x (* (cbrt (- 1.0 (* y z))) (cbrt (- 1.0 (* y z)))))
  (* x (sqrt (- 1.0 (* y z))))
  x
  (* (cbrt x) (- 1.0 (* y z)))
  (* (sqrt x) (- 1.0 (* y z)))
  (* x (- 1.0 (* y z)))
  (* x (- (pow 1.0 3) (pow (* y z) 3)))
  (* x (- (* 1.0 1.0) (* (* y z) (* y z))))
  (* 1.0 x)
  (* x (- 1.0 (* y z)))
  (* x (- 1.0 (* y z)))
0.925 * * * [progress]: adding candidates to table
0.967 * * [progress]: iteration 2 / 4
0.967 * * * [progress]: picking best candidate
0.982 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* 1.0 x) (* x (- (* y z)))))>
0.982 * * * [progress]: localizing error
0.988 * * * [progress]: generating rewritten candidates
0.988 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.993 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.997 * * * [progress]: generating series expansions
0.997 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.997 * [approximate]: Taking taylor expansion of (* -1 (* x (* z y))) in (x y z) around 0
0.997 * [taylor]: Taking taylor expansion of (* -1 (* x (* z y))) in z
0.997 * [taylor]: Taking taylor expansion of -1 in z
0.997 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
0.997 * [taylor]: Taking taylor expansion of x in z
0.997 * [taylor]: Taking taylor expansion of (* z y) in z
0.997 * [taylor]: Taking taylor expansion of z in z
0.997 * [taylor]: Taking taylor expansion of y in z
0.997 * [taylor]: Taking taylor expansion of (* -1 (* x (* z y))) in y
0.997 * [taylor]: Taking taylor expansion of -1 in y
0.997 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
0.997 * [taylor]: Taking taylor expansion of x in y
0.997 * [taylor]: Taking taylor expansion of (* z y) in y
0.997 * [taylor]: Taking taylor expansion of z in y
0.997 * [taylor]: Taking taylor expansion of y in y
0.997 * [taylor]: Taking taylor expansion of (* -1 (* x (* z y))) in x
0.997 * [taylor]: Taking taylor expansion of -1 in x
0.997 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
0.997 * [taylor]: Taking taylor expansion of x in x
0.997 * [taylor]: Taking taylor expansion of (* z y) in x
0.997 * [taylor]: Taking taylor expansion of z in x
0.997 * [taylor]: Taking taylor expansion of y in x
0.997 * [taylor]: Taking taylor expansion of (* -1 (* x (* z y))) in x
0.997 * [taylor]: Taking taylor expansion of -1 in x
0.997 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
0.997 * [taylor]: Taking taylor expansion of x in x
0.997 * [taylor]: Taking taylor expansion of (* z y) in x
0.997 * [taylor]: Taking taylor expansion of z in x
0.997 * [taylor]: Taking taylor expansion of y in x
0.998 * [taylor]: Taking taylor expansion of 0 in y
0.998 * [taylor]: Taking taylor expansion of 0 in z
0.999 * [taylor]: Taking taylor expansion of (- (* z y)) in y
0.999 * [taylor]: Taking taylor expansion of (* z y) in y
0.999 * [taylor]: Taking taylor expansion of z in y
0.999 * [taylor]: Taking taylor expansion of y in y
0.999 * [taylor]: Taking taylor expansion of 0 in z
0.999 * [taylor]: Taking taylor expansion of 0 in z
1.001 * [taylor]: Taking taylor expansion of 0 in y
1.001 * [taylor]: Taking taylor expansion of 0 in z
1.001 * [taylor]: Taking taylor expansion of (- z) in z
1.001 * [taylor]: Taking taylor expansion of z in z
1.001 * [approximate]: Taking taylor expansion of (/ -1 (* x (* z y))) in (x y z) around 0
1.001 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in z
1.001 * [taylor]: Taking taylor expansion of -1 in z
1.001 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.001 * [taylor]: Taking taylor expansion of x in z
1.002 * [taylor]: Taking taylor expansion of (* z y) in z
1.002 * [taylor]: Taking taylor expansion of z in z
1.002 * [taylor]: Taking taylor expansion of y in z
1.002 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in y
1.002 * [taylor]: Taking taylor expansion of -1 in y
1.002 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.002 * [taylor]: Taking taylor expansion of x in y
1.002 * [taylor]: Taking taylor expansion of (* z y) in y
1.002 * [taylor]: Taking taylor expansion of z in y
1.002 * [taylor]: Taking taylor expansion of y in y
1.003 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in x
1.003 * [taylor]: Taking taylor expansion of -1 in x
1.003 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.003 * [taylor]: Taking taylor expansion of x in x
1.003 * [taylor]: Taking taylor expansion of (* z y) in x
1.003 * [taylor]: Taking taylor expansion of z in x
1.003 * [taylor]: Taking taylor expansion of y in x
1.003 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in x
1.003 * [taylor]: Taking taylor expansion of -1 in x
1.003 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.003 * [taylor]: Taking taylor expansion of x in x
1.003 * [taylor]: Taking taylor expansion of (* z y) in x
1.003 * [taylor]: Taking taylor expansion of z in x
1.003 * [taylor]: Taking taylor expansion of y in x
1.004 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in y
1.004 * [taylor]: Taking taylor expansion of -1 in y
1.004 * [taylor]: Taking taylor expansion of (* z y) in y
1.004 * [taylor]: Taking taylor expansion of z in y
1.004 * [taylor]: Taking taylor expansion of y in y
1.004 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.004 * [taylor]: Taking taylor expansion of -1 in z
1.004 * [taylor]: Taking taylor expansion of z in z
1.005 * [taylor]: Taking taylor expansion of 0 in y
1.006 * [taylor]: Taking taylor expansion of 0 in z
1.008 * [taylor]: Taking taylor expansion of 0 in y
1.008 * [taylor]: Taking taylor expansion of 0 in z
1.008 * [taylor]: Taking taylor expansion of 0 in z
1.011 * [taylor]: Taking taylor expansion of 0 in y
1.011 * [taylor]: Taking taylor expansion of 0 in z
1.011 * [taylor]: Taking taylor expansion of 0 in z
1.011 * [taylor]: Taking taylor expansion of 0 in z
1.012 * [approximate]: Taking taylor expansion of (/ 1 (* x (* z y))) in (x y z) around 0
1.012 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
1.012 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.012 * [taylor]: Taking taylor expansion of x in z
1.012 * [taylor]: Taking taylor expansion of (* z y) in z
1.012 * [taylor]: Taking taylor expansion of z in z
1.012 * [taylor]: Taking taylor expansion of y in z
1.012 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
1.013 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.013 * [taylor]: Taking taylor expansion of x in y
1.013 * [taylor]: Taking taylor expansion of (* z y) in y
1.013 * [taylor]: Taking taylor expansion of z in y
1.013 * [taylor]: Taking taylor expansion of y in y
1.013 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.013 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.013 * [taylor]: Taking taylor expansion of x in x
1.013 * [taylor]: Taking taylor expansion of (* z y) in x
1.013 * [taylor]: Taking taylor expansion of z in x
1.013 * [taylor]: Taking taylor expansion of y in x
1.014 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.014 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.014 * [taylor]: Taking taylor expansion of x in x
1.014 * [taylor]: Taking taylor expansion of (* z y) in x
1.014 * [taylor]: Taking taylor expansion of z in x
1.014 * [taylor]: Taking taylor expansion of y in x
1.014 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.014 * [taylor]: Taking taylor expansion of (* z y) in y
1.014 * [taylor]: Taking taylor expansion of z in y
1.014 * [taylor]: Taking taylor expansion of y in y
1.015 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.015 * [taylor]: Taking taylor expansion of z in z
1.016 * [taylor]: Taking taylor expansion of 0 in y
1.016 * [taylor]: Taking taylor expansion of 0 in z
1.018 * [taylor]: Taking taylor expansion of 0 in y
1.018 * [taylor]: Taking taylor expansion of 0 in z
1.019 * [taylor]: Taking taylor expansion of 0 in z
1.021 * [taylor]: Taking taylor expansion of 0 in y
1.021 * [taylor]: Taking taylor expansion of 0 in z
1.023 * [taylor]: Taking taylor expansion of 0 in z
1.024 * [taylor]: Taking taylor expansion of 0 in z
1.025 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.025 * [approximate]: Taking taylor expansion of (- (* 1.0 x) (* x (* z y))) in (x y z) around 0
1.025 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* x (* z y))) in z
1.025 * [taylor]: Taking taylor expansion of (* 1.0 x) in z
1.025 * [taylor]: Taking taylor expansion of 1.0 in z
1.025 * [taylor]: Taking taylor expansion of x in z
1.025 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.025 * [taylor]: Taking taylor expansion of x in z
1.025 * [taylor]: Taking taylor expansion of (* z y) in z
1.025 * [taylor]: Taking taylor expansion of z in z
1.025 * [taylor]: Taking taylor expansion of y in z
1.025 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* x (* z y))) in y
1.025 * [taylor]: Taking taylor expansion of (* 1.0 x) in y
1.025 * [taylor]: Taking taylor expansion of 1.0 in y
1.025 * [taylor]: Taking taylor expansion of x in y
1.025 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.025 * [taylor]: Taking taylor expansion of x in y
1.025 * [taylor]: Taking taylor expansion of (* z y) in y
1.025 * [taylor]: Taking taylor expansion of z in y
1.025 * [taylor]: Taking taylor expansion of y in y
1.025 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* x (* z y))) in x
1.025 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
1.025 * [taylor]: Taking taylor expansion of 1.0 in x
1.025 * [taylor]: Taking taylor expansion of x in x
1.025 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.025 * [taylor]: Taking taylor expansion of x in x
1.025 * [taylor]: Taking taylor expansion of (* z y) in x
1.025 * [taylor]: Taking taylor expansion of z in x
1.025 * [taylor]: Taking taylor expansion of y in x
1.025 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* x (* z y))) in x
1.025 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
1.025 * [taylor]: Taking taylor expansion of 1.0 in x
1.025 * [taylor]: Taking taylor expansion of x in x
1.025 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.025 * [taylor]: Taking taylor expansion of x in x
1.025 * [taylor]: Taking taylor expansion of (* z y) in x
1.025 * [taylor]: Taking taylor expansion of z in x
1.025 * [taylor]: Taking taylor expansion of y in x
1.026 * [taylor]: Taking taylor expansion of 0 in y
1.026 * [taylor]: Taking taylor expansion of 0 in z
1.027 * [taylor]: Taking taylor expansion of (- 1.0 (* z y)) in y
1.027 * [taylor]: Taking taylor expansion of 1.0 in y
1.027 * [taylor]: Taking taylor expansion of (* z y) in y
1.028 * [taylor]: Taking taylor expansion of z in y
1.028 * [taylor]: Taking taylor expansion of y in y
1.028 * [taylor]: Taking taylor expansion of 1.0 in z
1.028 * [taylor]: Taking taylor expansion of 0 in z
1.030 * [taylor]: Taking taylor expansion of 0 in y
1.030 * [taylor]: Taking taylor expansion of 0 in z
1.030 * [taylor]: Taking taylor expansion of (- z) in z
1.030 * [taylor]: Taking taylor expansion of z in z
1.030 * [taylor]: Taking taylor expansion of 0 in z
1.031 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (/ 1 (* x (* z y)))) in (x y z) around 0
1.031 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (/ 1 (* x (* z y)))) in z
1.031 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in z
1.031 * [taylor]: Taking taylor expansion of 1.0 in z
1.031 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.031 * [taylor]: Taking taylor expansion of x in z
1.031 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
1.031 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.031 * [taylor]: Taking taylor expansion of x in z
1.031 * [taylor]: Taking taylor expansion of (* z y) in z
1.031 * [taylor]: Taking taylor expansion of z in z
1.031 * [taylor]: Taking taylor expansion of y in z
1.032 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (/ 1 (* x (* z y)))) in y
1.032 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y
1.032 * [taylor]: Taking taylor expansion of 1.0 in y
1.032 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.032 * [taylor]: Taking taylor expansion of x in y
1.032 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
1.032 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.032 * [taylor]: Taking taylor expansion of x in y
1.032 * [taylor]: Taking taylor expansion of (* z y) in y
1.032 * [taylor]: Taking taylor expansion of z in y
1.032 * [taylor]: Taking taylor expansion of y in y
1.032 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (/ 1 (* x (* z y)))) in x
1.032 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.032 * [taylor]: Taking taylor expansion of 1.0 in x
1.032 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.032 * [taylor]: Taking taylor expansion of x in x
1.033 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.033 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.033 * [taylor]: Taking taylor expansion of x in x
1.033 * [taylor]: Taking taylor expansion of (* z y) in x
1.033 * [taylor]: Taking taylor expansion of z in x
1.033 * [taylor]: Taking taylor expansion of y in x
1.033 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (/ 1 (* x (* z y)))) in x
1.033 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.033 * [taylor]: Taking taylor expansion of 1.0 in x
1.033 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.033 * [taylor]: Taking taylor expansion of x in x
1.033 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.034 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.034 * [taylor]: Taking taylor expansion of x in x
1.034 * [taylor]: Taking taylor expansion of (* z y) in x
1.034 * [taylor]: Taking taylor expansion of z in x
1.034 * [taylor]: Taking taylor expansion of y in x
1.034 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* z y))) in y
1.034 * [taylor]: Taking taylor expansion of 1.0 in y
1.034 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.034 * [taylor]: Taking taylor expansion of (* z y) in y
1.034 * [taylor]: Taking taylor expansion of z in y
1.034 * [taylor]: Taking taylor expansion of y in y
1.035 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
1.035 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.035 * [taylor]: Taking taylor expansion of z in z
1.037 * [taylor]: Taking taylor expansion of 0 in y
1.038 * [taylor]: Taking taylor expansion of 1.0 in z
1.042 * [taylor]: Taking taylor expansion of 0 in y
1.042 * [taylor]: Taking taylor expansion of 0 in z
1.043 * [taylor]: Taking taylor expansion of 0 in z
1.047 * [taylor]: Taking taylor expansion of 0 in y
1.047 * [taylor]: Taking taylor expansion of 0 in z
1.047 * [taylor]: Taking taylor expansion of 0 in z
1.048 * [taylor]: Taking taylor expansion of 0 in z
1.053 * [taylor]: Taking taylor expansion of 0 in y
1.053 * [taylor]: Taking taylor expansion of 0 in z
1.053 * [taylor]: Taking taylor expansion of 0 in z
1.053 * [taylor]: Taking taylor expansion of 0 in z
1.054 * [taylor]: Taking taylor expansion of 0 in z
1.054 * [approximate]: Taking taylor expansion of (- (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in (x y z) around 0
1.054 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in z
1.054 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
1.055 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.055 * [taylor]: Taking taylor expansion of x in z
1.055 * [taylor]: Taking taylor expansion of (* z y) in z
1.055 * [taylor]: Taking taylor expansion of z in z
1.055 * [taylor]: Taking taylor expansion of y in z
1.055 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in z
1.055 * [taylor]: Taking taylor expansion of 1.0 in z
1.055 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.055 * [taylor]: Taking taylor expansion of x in z
1.055 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in y
1.055 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
1.055 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.055 * [taylor]: Taking taylor expansion of x in y
1.055 * [taylor]: Taking taylor expansion of (* z y) in y
1.055 * [taylor]: Taking taylor expansion of z in y
1.055 * [taylor]: Taking taylor expansion of y in y
1.056 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y
1.056 * [taylor]: Taking taylor expansion of 1.0 in y
1.056 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.056 * [taylor]: Taking taylor expansion of x in y
1.056 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x
1.056 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.056 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.056 * [taylor]: Taking taylor expansion of x in x
1.056 * [taylor]: Taking taylor expansion of (* z y) in x
1.056 * [taylor]: Taking taylor expansion of z in x
1.056 * [taylor]: Taking taylor expansion of y in x
1.057 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.057 * [taylor]: Taking taylor expansion of 1.0 in x
1.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.057 * [taylor]: Taking taylor expansion of x in x
1.057 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x
1.057 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.057 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.057 * [taylor]: Taking taylor expansion of x in x
1.057 * [taylor]: Taking taylor expansion of (* z y) in x
1.057 * [taylor]: Taking taylor expansion of z in x
1.057 * [taylor]: Taking taylor expansion of y in x
1.057 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.057 * [taylor]: Taking taylor expansion of 1.0 in x
1.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.057 * [taylor]: Taking taylor expansion of x in x
1.058 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) 1.0) in y
1.059 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.059 * [taylor]: Taking taylor expansion of (* z y) in y
1.059 * [taylor]: Taking taylor expansion of z in y
1.059 * [taylor]: Taking taylor expansion of y in y
1.059 * [taylor]: Taking taylor expansion of 1.0 in y
1.059 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.059 * [taylor]: Taking taylor expansion of z in z
1.061 * [taylor]: Taking taylor expansion of 0 in y
1.062 * [taylor]: Taking taylor expansion of (- 1.0) in z
1.062 * [taylor]: Taking taylor expansion of 1.0 in z
1.066 * [taylor]: Taking taylor expansion of 0 in y
1.066 * [taylor]: Taking taylor expansion of 0 in z
1.067 * [taylor]: Taking taylor expansion of 0 in z
1.071 * [taylor]: Taking taylor expansion of 0 in y
1.071 * [taylor]: Taking taylor expansion of 0 in z
1.071 * [taylor]: Taking taylor expansion of 0 in z
1.072 * [taylor]: Taking taylor expansion of 0 in z
1.077 * [taylor]: Taking taylor expansion of 0 in y
1.077 * [taylor]: Taking taylor expansion of 0 in z
1.077 * [taylor]: Taking taylor expansion of 0 in z
1.077 * [taylor]: Taking taylor expansion of 0 in z
1.078 * [taylor]: Taking taylor expansion of 0 in z
1.079 * * * [progress]: simplifying candidates
1.079 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* x (- (* y z)))
  (+ (log x) (log (- (* y z))))
  (log (* x (- (* y z))))
  (exp (* x (- (* y z))))
  (* (* (* x x) x) (* (* (- (* y z)) (- (* y z))) (- (* y z))))
  (* (cbrt (* x (- (* y z)))) (cbrt (* x (- (* y z)))))
  (cbrt (* x (- (* y z))))
  (* (* (* x (- (* y z))) (* x (- (* y z)))) (* x (- (* y z))))
  (sqrt (* x (- (* y z))))
  (sqrt (* x (- (* y z))))
  (* (sqrt x) (sqrt (- (* y z))))
  (* (sqrt x) (sqrt (- (* y z))))
  (* x (* y z))
  (* x (* (cbrt (- (* y z))) (cbrt (- (* y z)))))
  (* x (sqrt (- (* y z))))
  (* x 1)
  (* x -1)
  (* x (- y))
  (* x y)
  (* (cbrt x) (- (* y z)))
  (* (sqrt x) (- (* y z)))
  (* x (- (* y z)))
  (* (exp (* 1.0 x)) (exp (* x (- (* y z)))))
  (log (+ (* 1.0 x) (* x (- (* y z)))))
  (exp (+ (* 1.0 x) (* x (- (* y z)))))
  (* (cbrt (+ (* 1.0 x) (* x (- (* y z))))) (cbrt (+ (* 1.0 x) (* x (- (* y z))))))
  (cbrt (+ (* 1.0 x) (* x (- (* y z)))))
  (* (* (+ (* 1.0 x) (* x (- (* y z)))) (+ (* 1.0 x) (* x (- (* y z))))) (+ (* 1.0 x) (* x (- (* y z)))))
  (sqrt (+ (* 1.0 x) (* x (- (* y z)))))
  (sqrt (+ (* 1.0 x) (* x (- (* y z)))))
  (+ (pow (* 1.0 x) 3) (pow (* x (- (* y z))) 3))
  (+ (* (* 1.0 x) (* 1.0 x)) (- (* (* x (- (* y z))) (* x (- (* y z)))) (* (* 1.0 x) (* x (- (* y z))))))
  (- (* (* 1.0 x) (* 1.0 x)) (* (* x (- (* y z))) (* x (- (* y z)))))
  (- (* 1.0 x) (* x (- (* y z))))
  0
  (* -1 (* x (* z y)))
  (* -1 (* x (* z y)))
  (* 1.0 x)
  (- (* 1.0 x) (* x (* z y)))
  (- (* 1.0 x) (* x (* z y)))
1.081 * * [simplify]: iteration  0 :  66  enodes  (cost  413 )
1.092 * * [simplify]: iteration  1 :  186  enodes  (cost  373 )
1.141 * * [simplify]: iteration  2 :  890  enodes  (cost  315 )
1.559 * * [simplify]: iteration  done :  5000  enodes  (cost  310 )
1.559 * [simplify]: Simplified to:
   (* x (- (* y z)))
  (log (* x (- (* y z))))
  (log (* x (- (* y z))))
  (exp (* x (- (* y z))))
  (pow (* x (- (* y z))) 3)
  (* (cbrt (* x (- (* y z)))) (cbrt (* x (- (* y z)))))
  (cbrt (* x (- (* y z))))
  (pow (* x (- (* y z))) 3)
  (sqrt (* x (- (* y z))))
  (sqrt (* x (- (* y z))))
  (* (sqrt x) (sqrt (- (* y z))))
  (* (sqrt x) (sqrt (- (* y z))))
  (* y (* x z))
  (* x (* (cbrt (- (* y z))) (cbrt (- (* y z)))))
  (* x (sqrt (- (* y z))))
  x
  (- x)
  (- (* x y))
  (* x y)
  (* (cbrt x) (- (* y z)))
  (* (sqrt x) (- (* y z)))
  (* x (- (* y z)))
  (exp (* x (- 1.0 (* y z))))
  (log (* x (- 1.0 (* y z))))
  (exp (* x (- 1.0 (* y z))))
  (* (cbrt (* x (- 1.0 (* y z)))) (cbrt (* x (- 1.0 (* y z)))))
  (cbrt (* x (- 1.0 (* y z))))
  (pow (* x (- 1.0 (* y z))) 3)
  (sqrt (* x (- 1.0 (* y z))))
  (sqrt (* x (- 1.0 (* y z))))
  (- (pow (* 1.0 x) 3) (pow (* y (* x z)) 3))
  (* x (+ (* (- (* y z)) (* x (- (- (* y z)) 1.0))) (* (* 1.0 1.0) x)))
  (* (* x (+ 1.0 (* y z))) (* x (- 1.0 (* y z))))
  (* x (+ 1.0 (* y z)))
  0
  (* x (- (* y z)))
  (* x (- (* y z)))
  (* 1.0 x)
  (* x (- 1.0 (* y z)))
  (* x (- 1.0 (* y z)))
1.559 * * * [progress]: adding candidates to table
1.633 * * [progress]: iteration 3 / 4
1.633 * * * [progress]: picking best candidate
1.639 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* 1.0 x) (* (- (* x y)) z)))>
1.639 * * * [progress]: localizing error
1.646 * * * [progress]: generating rewritten candidates
1.646 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
1.650 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1.654 * * * [progress]: generating series expansions
1.654 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
1.654 * [approximate]: Taking taylor expansion of (* -1 (* x (* z y))) in (x y z) around 0
1.654 * [taylor]: Taking taylor expansion of (* -1 (* x (* z y))) in z
1.654 * [taylor]: Taking taylor expansion of -1 in z
1.654 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.654 * [taylor]: Taking taylor expansion of x in z
1.654 * [taylor]: Taking taylor expansion of (* z y) in z
1.654 * [taylor]: Taking taylor expansion of z in z
1.654 * [taylor]: Taking taylor expansion of y in z
1.654 * [taylor]: Taking taylor expansion of (* -1 (* x (* z y))) in y
1.654 * [taylor]: Taking taylor expansion of -1 in y
1.654 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.654 * [taylor]: Taking taylor expansion of x in y
1.654 * [taylor]: Taking taylor expansion of (* z y) in y
1.654 * [taylor]: Taking taylor expansion of z in y
1.654 * [taylor]: Taking taylor expansion of y in y
1.654 * [taylor]: Taking taylor expansion of (* -1 (* x (* z y))) in x
1.654 * [taylor]: Taking taylor expansion of -1 in x
1.654 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.654 * [taylor]: Taking taylor expansion of x in x
1.654 * [taylor]: Taking taylor expansion of (* z y) in x
1.654 * [taylor]: Taking taylor expansion of z in x
1.654 * [taylor]: Taking taylor expansion of y in x
1.654 * [taylor]: Taking taylor expansion of (* -1 (* x (* z y))) in x
1.654 * [taylor]: Taking taylor expansion of -1 in x
1.654 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.654 * [taylor]: Taking taylor expansion of x in x
1.654 * [taylor]: Taking taylor expansion of (* z y) in x
1.654 * [taylor]: Taking taylor expansion of z in x
1.654 * [taylor]: Taking taylor expansion of y in x
1.655 * [taylor]: Taking taylor expansion of 0 in y
1.655 * [taylor]: Taking taylor expansion of 0 in z
1.656 * [taylor]: Taking taylor expansion of (- (* z y)) in y
1.656 * [taylor]: Taking taylor expansion of (* z y) in y
1.656 * [taylor]: Taking taylor expansion of z in y
1.656 * [taylor]: Taking taylor expansion of y in y
1.656 * [taylor]: Taking taylor expansion of 0 in z
1.656 * [taylor]: Taking taylor expansion of 0 in z
1.657 * [taylor]: Taking taylor expansion of 0 in y
1.657 * [taylor]: Taking taylor expansion of 0 in z
1.658 * [taylor]: Taking taylor expansion of (- z) in z
1.658 * [taylor]: Taking taylor expansion of z in z
1.658 * [approximate]: Taking taylor expansion of (/ -1 (* x (* z y))) in (x y z) around 0
1.658 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in z
1.658 * [taylor]: Taking taylor expansion of -1 in z
1.658 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.658 * [taylor]: Taking taylor expansion of x in z
1.658 * [taylor]: Taking taylor expansion of (* z y) in z
1.658 * [taylor]: Taking taylor expansion of z in z
1.658 * [taylor]: Taking taylor expansion of y in z
1.659 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in y
1.659 * [taylor]: Taking taylor expansion of -1 in y
1.659 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.659 * [taylor]: Taking taylor expansion of x in y
1.659 * [taylor]: Taking taylor expansion of (* z y) in y
1.659 * [taylor]: Taking taylor expansion of z in y
1.659 * [taylor]: Taking taylor expansion of y in y
1.659 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in x
1.659 * [taylor]: Taking taylor expansion of -1 in x
1.659 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.659 * [taylor]: Taking taylor expansion of x in x
1.659 * [taylor]: Taking taylor expansion of (* z y) in x
1.659 * [taylor]: Taking taylor expansion of z in x
1.660 * [taylor]: Taking taylor expansion of y in x
1.660 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in x
1.660 * [taylor]: Taking taylor expansion of -1 in x
1.660 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.660 * [taylor]: Taking taylor expansion of x in x
1.660 * [taylor]: Taking taylor expansion of (* z y) in x
1.660 * [taylor]: Taking taylor expansion of z in x
1.660 * [taylor]: Taking taylor expansion of y in x
1.660 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in y
1.660 * [taylor]: Taking taylor expansion of -1 in y
1.661 * [taylor]: Taking taylor expansion of (* z y) in y
1.661 * [taylor]: Taking taylor expansion of z in y
1.661 * [taylor]: Taking taylor expansion of y in y
1.661 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.661 * [taylor]: Taking taylor expansion of -1 in z
1.661 * [taylor]: Taking taylor expansion of z in z
1.662 * [taylor]: Taking taylor expansion of 0 in y
1.663 * [taylor]: Taking taylor expansion of 0 in z
1.664 * [taylor]: Taking taylor expansion of 0 in y
1.664 * [taylor]: Taking taylor expansion of 0 in z
1.665 * [taylor]: Taking taylor expansion of 0 in z
1.667 * [taylor]: Taking taylor expansion of 0 in y
1.667 * [taylor]: Taking taylor expansion of 0 in z
1.667 * [taylor]: Taking taylor expansion of 0 in z
1.668 * [taylor]: Taking taylor expansion of 0 in z
1.668 * [approximate]: Taking taylor expansion of (/ 1 (* x (* z y))) in (x y z) around 0
1.668 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
1.668 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.669 * [taylor]: Taking taylor expansion of x in z
1.669 * [taylor]: Taking taylor expansion of (* z y) in z
1.669 * [taylor]: Taking taylor expansion of z in z
1.669 * [taylor]: Taking taylor expansion of y in z
1.669 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
1.669 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.669 * [taylor]: Taking taylor expansion of x in y
1.669 * [taylor]: Taking taylor expansion of (* z y) in y
1.669 * [taylor]: Taking taylor expansion of z in y
1.669 * [taylor]: Taking taylor expansion of y in y
1.670 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.670 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.670 * [taylor]: Taking taylor expansion of x in x
1.670 * [taylor]: Taking taylor expansion of (* z y) in x
1.670 * [taylor]: Taking taylor expansion of z in x
1.670 * [taylor]: Taking taylor expansion of y in x
1.670 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.670 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.670 * [taylor]: Taking taylor expansion of x in x
1.670 * [taylor]: Taking taylor expansion of (* z y) in x
1.670 * [taylor]: Taking taylor expansion of z in x
1.670 * [taylor]: Taking taylor expansion of y in x
1.671 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.671 * [taylor]: Taking taylor expansion of (* z y) in y
1.671 * [taylor]: Taking taylor expansion of z in y
1.671 * [taylor]: Taking taylor expansion of y in y
1.671 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.671 * [taylor]: Taking taylor expansion of z in z
1.672 * [taylor]: Taking taylor expansion of 0 in y
1.673 * [taylor]: Taking taylor expansion of 0 in z
1.675 * [taylor]: Taking taylor expansion of 0 in y
1.675 * [taylor]: Taking taylor expansion of 0 in z
1.675 * [taylor]: Taking taylor expansion of 0 in z
1.678 * [taylor]: Taking taylor expansion of 0 in y
1.678 * [taylor]: Taking taylor expansion of 0 in z
1.678 * [taylor]: Taking taylor expansion of 0 in z
1.678 * [taylor]: Taking taylor expansion of 0 in z
1.678 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.679 * [approximate]: Taking taylor expansion of (- (* 1.0 x) (* x (* z y))) in (x y z) around 0
1.679 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* x (* z y))) in z
1.679 * [taylor]: Taking taylor expansion of (* 1.0 x) in z
1.679 * [taylor]: Taking taylor expansion of 1.0 in z
1.679 * [taylor]: Taking taylor expansion of x in z
1.679 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.679 * [taylor]: Taking taylor expansion of x in z
1.679 * [taylor]: Taking taylor expansion of (* z y) in z
1.679 * [taylor]: Taking taylor expansion of z in z
1.679 * [taylor]: Taking taylor expansion of y in z
1.679 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* x (* z y))) in y
1.679 * [taylor]: Taking taylor expansion of (* 1.0 x) in y
1.679 * [taylor]: Taking taylor expansion of 1.0 in y
1.679 * [taylor]: Taking taylor expansion of x in y
1.679 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.679 * [taylor]: Taking taylor expansion of x in y
1.679 * [taylor]: Taking taylor expansion of (* z y) in y
1.679 * [taylor]: Taking taylor expansion of z in y
1.679 * [taylor]: Taking taylor expansion of y in y
1.679 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* x (* z y))) in x
1.679 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
1.679 * [taylor]: Taking taylor expansion of 1.0 in x
1.679 * [taylor]: Taking taylor expansion of x in x
1.679 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.679 * [taylor]: Taking taylor expansion of x in x
1.679 * [taylor]: Taking taylor expansion of (* z y) in x
1.679 * [taylor]: Taking taylor expansion of z in x
1.679 * [taylor]: Taking taylor expansion of y in x
1.679 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* x (* z y))) in x
1.679 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
1.679 * [taylor]: Taking taylor expansion of 1.0 in x
1.679 * [taylor]: Taking taylor expansion of x in x
1.679 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.679 * [taylor]: Taking taylor expansion of x in x
1.679 * [taylor]: Taking taylor expansion of (* z y) in x
1.679 * [taylor]: Taking taylor expansion of z in x
1.679 * [taylor]: Taking taylor expansion of y in x
1.680 * [taylor]: Taking taylor expansion of 0 in y
1.680 * [taylor]: Taking taylor expansion of 0 in z
1.681 * [taylor]: Taking taylor expansion of (- 1.0 (* z y)) in y
1.681 * [taylor]: Taking taylor expansion of 1.0 in y
1.681 * [taylor]: Taking taylor expansion of (* z y) in y
1.681 * [taylor]: Taking taylor expansion of z in y
1.681 * [taylor]: Taking taylor expansion of y in y
1.682 * [taylor]: Taking taylor expansion of 1.0 in z
1.682 * [taylor]: Taking taylor expansion of 0 in z
1.684 * [taylor]: Taking taylor expansion of 0 in y
1.684 * [taylor]: Taking taylor expansion of 0 in z
1.684 * [taylor]: Taking taylor expansion of (- z) in z
1.684 * [taylor]: Taking taylor expansion of z in z
1.684 * [taylor]: Taking taylor expansion of 0 in z
1.685 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (/ 1 (* x (* z y)))) in (x y z) around 0
1.685 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (/ 1 (* x (* z y)))) in z
1.685 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in z
1.685 * [taylor]: Taking taylor expansion of 1.0 in z
1.685 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.685 * [taylor]: Taking taylor expansion of x in z
1.685 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
1.685 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.685 * [taylor]: Taking taylor expansion of x in z
1.685 * [taylor]: Taking taylor expansion of (* z y) in z
1.685 * [taylor]: Taking taylor expansion of z in z
1.685 * [taylor]: Taking taylor expansion of y in z
1.685 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (/ 1 (* x (* z y)))) in y
1.686 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y
1.686 * [taylor]: Taking taylor expansion of 1.0 in y
1.686 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.686 * [taylor]: Taking taylor expansion of x in y
1.686 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
1.686 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.686 * [taylor]: Taking taylor expansion of x in y
1.686 * [taylor]: Taking taylor expansion of (* z y) in y
1.686 * [taylor]: Taking taylor expansion of z in y
1.686 * [taylor]: Taking taylor expansion of y in y
1.686 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (/ 1 (* x (* z y)))) in x
1.686 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.686 * [taylor]: Taking taylor expansion of 1.0 in x
1.686 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.686 * [taylor]: Taking taylor expansion of x in x
1.687 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.687 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.687 * [taylor]: Taking taylor expansion of x in x
1.687 * [taylor]: Taking taylor expansion of (* z y) in x
1.687 * [taylor]: Taking taylor expansion of z in x
1.687 * [taylor]: Taking taylor expansion of y in x
1.687 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (/ 1 (* x (* z y)))) in x
1.687 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.687 * [taylor]: Taking taylor expansion of 1.0 in x
1.687 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.687 * [taylor]: Taking taylor expansion of x in x
1.687 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.687 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.687 * [taylor]: Taking taylor expansion of x in x
1.687 * [taylor]: Taking taylor expansion of (* z y) in x
1.688 * [taylor]: Taking taylor expansion of z in x
1.688 * [taylor]: Taking taylor expansion of y in x
1.688 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* z y))) in y
1.688 * [taylor]: Taking taylor expansion of 1.0 in y
1.688 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.688 * [taylor]: Taking taylor expansion of (* z y) in y
1.688 * [taylor]: Taking taylor expansion of z in y
1.688 * [taylor]: Taking taylor expansion of y in y
1.689 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
1.689 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.689 * [taylor]: Taking taylor expansion of z in z
1.691 * [taylor]: Taking taylor expansion of 0 in y
1.692 * [taylor]: Taking taylor expansion of 1.0 in z
1.696 * [taylor]: Taking taylor expansion of 0 in y
1.696 * [taylor]: Taking taylor expansion of 0 in z
1.697 * [taylor]: Taking taylor expansion of 0 in z
1.701 * [taylor]: Taking taylor expansion of 0 in y
1.701 * [taylor]: Taking taylor expansion of 0 in z
1.701 * [taylor]: Taking taylor expansion of 0 in z
1.702 * [taylor]: Taking taylor expansion of 0 in z
1.707 * [taylor]: Taking taylor expansion of 0 in y
1.707 * [taylor]: Taking taylor expansion of 0 in z
1.707 * [taylor]: Taking taylor expansion of 0 in z
1.707 * [taylor]: Taking taylor expansion of 0 in z
1.708 * [taylor]: Taking taylor expansion of 0 in z
1.711 * [approximate]: Taking taylor expansion of (- (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in (x y z) around 0
1.711 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in z
1.711 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
1.711 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.711 * [taylor]: Taking taylor expansion of x in z
1.711 * [taylor]: Taking taylor expansion of (* z y) in z
1.711 * [taylor]: Taking taylor expansion of z in z
1.711 * [taylor]: Taking taylor expansion of y in z
1.712 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in z
1.712 * [taylor]: Taking taylor expansion of 1.0 in z
1.712 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.712 * [taylor]: Taking taylor expansion of x in z
1.712 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in y
1.712 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
1.712 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.712 * [taylor]: Taking taylor expansion of x in y
1.712 * [taylor]: Taking taylor expansion of (* z y) in y
1.712 * [taylor]: Taking taylor expansion of z in y
1.712 * [taylor]: Taking taylor expansion of y in y
1.713 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y
1.713 * [taylor]: Taking taylor expansion of 1.0 in y
1.713 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.713 * [taylor]: Taking taylor expansion of x in y
1.713 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x
1.713 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.713 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.713 * [taylor]: Taking taylor expansion of x in x
1.713 * [taylor]: Taking taylor expansion of (* z y) in x
1.713 * [taylor]: Taking taylor expansion of z in x
1.713 * [taylor]: Taking taylor expansion of y in x
1.714 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.714 * [taylor]: Taking taylor expansion of 1.0 in x
1.714 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.714 * [taylor]: Taking taylor expansion of x in x
1.714 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x
1.714 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
1.714 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.714 * [taylor]: Taking taylor expansion of x in x
1.714 * [taylor]: Taking taylor expansion of (* z y) in x
1.714 * [taylor]: Taking taylor expansion of z in x
1.714 * [taylor]: Taking taylor expansion of y in x
1.714 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.714 * [taylor]: Taking taylor expansion of 1.0 in x
1.714 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.714 * [taylor]: Taking taylor expansion of x in x
1.715 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) 1.0) in y
1.715 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.716 * [taylor]: Taking taylor expansion of (* z y) in y
1.716 * [taylor]: Taking taylor expansion of z in y
1.716 * [taylor]: Taking taylor expansion of y in y
1.716 * [taylor]: Taking taylor expansion of 1.0 in y
1.716 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.716 * [taylor]: Taking taylor expansion of z in z
1.718 * [taylor]: Taking taylor expansion of 0 in y
1.719 * [taylor]: Taking taylor expansion of (- 1.0) in z
1.719 * [taylor]: Taking taylor expansion of 1.0 in z
1.723 * [taylor]: Taking taylor expansion of 0 in y
1.723 * [taylor]: Taking taylor expansion of 0 in z
1.724 * [taylor]: Taking taylor expansion of 0 in z
1.728 * [taylor]: Taking taylor expansion of 0 in y
1.728 * [taylor]: Taking taylor expansion of 0 in z
1.728 * [taylor]: Taking taylor expansion of 0 in z
1.729 * [taylor]: Taking taylor expansion of 0 in z
1.733 * [taylor]: Taking taylor expansion of 0 in y
1.734 * [taylor]: Taking taylor expansion of 0 in z
1.734 * [taylor]: Taking taylor expansion of 0 in z
1.734 * [taylor]: Taking taylor expansion of 0 in z
1.735 * [taylor]: Taking taylor expansion of 0 in z
1.735 * * * [progress]: simplifying candidates
1.736 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (- (* x y)) z)
  (+ (log (- (* x y))) (log z))
  (log (* (- (* x y)) z))
  (exp (* (- (* x y)) z))
  (* (* (* (- (* x y)) (- (* x y))) (- (* x y))) (* (* z z) z))
  (* (cbrt (* (- (* x y)) z)) (cbrt (* (- (* x y)) z)))
  (cbrt (* (- (* x y)) z))
  (* (* (* (- (* x y)) z) (* (- (* x y)) z)) (* (- (* x y)) z))
  (sqrt (* (- (* x y)) z))
  (sqrt (* (- (* x y)) z))
  (* (sqrt (- (* x y))) (sqrt z))
  (* (sqrt (- (* x y))) (sqrt z))
  (* (* x y) z)
  (* (- (* x y)) (* (cbrt z) (cbrt z)))
  (* (- (* x y)) (sqrt z))
  (* (- (* x y)) 1)
  (* (cbrt (- (* x y))) z)
  (* (sqrt (- (* x y))) z)
  (* (- (* x y)) z)
  (* (* x y) z)
  (* y z)
  (* (- y) z)
  (* (exp (* 1.0 x)) (exp (* (- (* x y)) z)))
  (log (+ (* 1.0 x) (* (- (* x y)) z)))
  (exp (+ (* 1.0 x) (* (- (* x y)) z)))
  (* (cbrt (+ (* 1.0 x) (* (- (* x y)) z))) (cbrt (+ (* 1.0 x) (* (- (* x y)) z))))
  (cbrt (+ (* 1.0 x) (* (- (* x y)) z)))
  (* (* (+ (* 1.0 x) (* (- (* x y)) z)) (+ (* 1.0 x) (* (- (* x y)) z))) (+ (* 1.0 x) (* (- (* x y)) z)))
  (sqrt (+ (* 1.0 x) (* (- (* x y)) z)))
  (sqrt (+ (* 1.0 x) (* (- (* x y)) z)))
  (+ (pow (* 1.0 x) 3) (pow (* (- (* x y)) z) 3))
  (+ (* (* 1.0 x) (* 1.0 x)) (- (* (* (- (* x y)) z) (* (- (* x y)) z)) (* (* 1.0 x) (* (- (* x y)) z))))
  (- (* (* 1.0 x) (* 1.0 x)) (* (* (- (* x y)) z) (* (- (* x y)) z)))
  (- (* 1.0 x) (* (- (* x y)) z))
  0
  (* -1 (* x (* z y)))
  (* -1 (* x (* z y)))
  (* 1.0 x)
  (- (* 1.0 x) (* x (* z y)))
  (- (* 1.0 x) (* x (* z y)))
1.738 * * [simplify]: iteration  0 :  65  enodes  (cost  415 )
1.748 * * [simplify]: iteration  1 :  183  enodes  (cost  375 )
1.796 * * [simplify]: iteration  2 :  917  enodes  (cost  322 )
2.182 * * [simplify]: iteration  done :  5000  enodes  (cost  320 )
2.183 * [simplify]: Simplified to:
   (* (- (* x y)) z)
  (log (* (- (* x y)) z))
  (log (* (- (* x y)) z))
  (exp (* (- (* x y)) z))
  (pow (* (- (* x y)) z) 3)
  (* (cbrt (* (- (* x y)) z)) (cbrt (* (- (* x y)) z)))
  (cbrt (* (- (* x y)) z))
  (pow (* (- (* x y)) z) 3)
  (sqrt (* (- (* x y)) z))
  (sqrt (* (- (* x y)) z))
  (* (sqrt (- (* x y))) (sqrt z))
  (* (sqrt (- (* x y))) (sqrt z))
  (* x (* z y))
  (* (- (* x y)) (* (cbrt z) (cbrt z)))
  (* (- (* x y)) (sqrt z))
  (* y (- x))
  (* (cbrt (- (* x y))) z)
  (* (sqrt (- (* x y))) z)
  (* (- (* x y)) z)
  (* x (* z y))
  (* z y)
  (* (- y) z)
  (exp (* x (- 1.0 (* z y))))
  (log (* x (- 1.0 (* z y))))
  (exp (* x (- 1.0 (* z y))))
  (* (cbrt (* x (- 1.0 (* z y)))) (cbrt (* x (- 1.0 (* z y)))))
  (cbrt (* x (- 1.0 (* z y))))
  (pow (* x (- 1.0 (* z y))) 3)
  (sqrt (* x (- 1.0 (* z y))))
  (sqrt (* x (- 1.0 (* z y))))
  (- (pow (* 1.0 x) 3) (pow (* x (* z y)) 3))
  (- (* (* 1.0 x) (* 1.0 x)) (* (* x (* z y)) (- (* (- (* x y)) z) (* 1.0 x))))
  (* (+ (* 1.0 x) (* x (* z y))) (* x (- 1.0 (* z y))))
  (+ (* 1.0 x) (* x (* z y)))
  0
  (* (- (* x y)) z)
  (* (- (* x y)) z)
  (* 1.0 x)
  (* x (- 1.0 (* z y)))
  (* x (- 1.0 (* z y)))
2.183 * * * [progress]: adding candidates to table
2.266 * * [progress]: iteration 4 / 4
2.266 * * * [progress]: picking best candidate
2.270 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* 1.0 x) (- (* y (* x z)))))>
2.270 * * * [progress]: localizing error
2.277 * * * [progress]: generating rewritten candidates
2.277 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1)
2.283 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
2.287 * * * [progress]: generating series expansions
2.287 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1)
2.287 * [approximate]: Taking taylor expansion of (* x (* z y)) in (y x z) around 0
2.288 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
2.288 * [taylor]: Taking taylor expansion of x in z
2.288 * [taylor]: Taking taylor expansion of (* z y) in z
2.288 * [taylor]: Taking taylor expansion of z in z
2.288 * [taylor]: Taking taylor expansion of y in z
2.288 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.288 * [taylor]: Taking taylor expansion of x in x
2.288 * [taylor]: Taking taylor expansion of (* z y) in x
2.288 * [taylor]: Taking taylor expansion of z in x
2.288 * [taylor]: Taking taylor expansion of y in x
2.288 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.288 * [taylor]: Taking taylor expansion of x in y
2.288 * [taylor]: Taking taylor expansion of (* z y) in y
2.288 * [taylor]: Taking taylor expansion of z in y
2.288 * [taylor]: Taking taylor expansion of y in y
2.288 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.288 * [taylor]: Taking taylor expansion of x in y
2.288 * [taylor]: Taking taylor expansion of (* z y) in y
2.288 * [taylor]: Taking taylor expansion of z in y
2.288 * [taylor]: Taking taylor expansion of y in y
2.288 * [taylor]: Taking taylor expansion of 0 in x
2.288 * [taylor]: Taking taylor expansion of 0 in z
2.289 * [taylor]: Taking taylor expansion of (* x z) in x
2.289 * [taylor]: Taking taylor expansion of x in x
2.289 * [taylor]: Taking taylor expansion of z in x
2.289 * [taylor]: Taking taylor expansion of 0 in z
2.289 * [taylor]: Taking taylor expansion of 0 in z
2.290 * [taylor]: Taking taylor expansion of 0 in x
2.290 * [taylor]: Taking taylor expansion of 0 in z
2.290 * [taylor]: Taking taylor expansion of z in z
2.290 * [approximate]: Taking taylor expansion of (/ 1 (* x (* z y))) in (y x z) around 0
2.290 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
2.290 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
2.290 * [taylor]: Taking taylor expansion of x in z
2.290 * [taylor]: Taking taylor expansion of (* z y) in z
2.290 * [taylor]: Taking taylor expansion of z in z
2.290 * [taylor]: Taking taylor expansion of y in z
2.291 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
2.291 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.291 * [taylor]: Taking taylor expansion of x in x
2.291 * [taylor]: Taking taylor expansion of (* z y) in x
2.291 * [taylor]: Taking taylor expansion of z in x
2.291 * [taylor]: Taking taylor expansion of y in x
2.291 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
2.291 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.291 * [taylor]: Taking taylor expansion of x in y
2.291 * [taylor]: Taking taylor expansion of (* z y) in y
2.291 * [taylor]: Taking taylor expansion of z in y
2.291 * [taylor]: Taking taylor expansion of y in y
2.292 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
2.292 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.292 * [taylor]: Taking taylor expansion of x in y
2.292 * [taylor]: Taking taylor expansion of (* z y) in y
2.292 * [taylor]: Taking taylor expansion of z in y
2.292 * [taylor]: Taking taylor expansion of y in y
2.293 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
2.293 * [taylor]: Taking taylor expansion of (* x z) in x
2.293 * [taylor]: Taking taylor expansion of x in x
2.293 * [taylor]: Taking taylor expansion of z in x
2.293 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.293 * [taylor]: Taking taylor expansion of z in z
2.294 * [taylor]: Taking taylor expansion of 0 in x
2.295 * [taylor]: Taking taylor expansion of 0 in z
2.296 * [taylor]: Taking taylor expansion of 0 in x
2.296 * [taylor]: Taking taylor expansion of 0 in z
2.297 * [taylor]: Taking taylor expansion of 0 in z
2.299 * [taylor]: Taking taylor expansion of 0 in x
2.299 * [taylor]: Taking taylor expansion of 0 in z
2.299 * [taylor]: Taking taylor expansion of 0 in z
2.300 * [taylor]: Taking taylor expansion of 0 in z
2.300 * [approximate]: Taking taylor expansion of (/ -1 (* x (* z y))) in (y x z) around 0
2.300 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in z
2.300 * [taylor]: Taking taylor expansion of -1 in z
2.300 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
2.300 * [taylor]: Taking taylor expansion of x in z
2.300 * [taylor]: Taking taylor expansion of (* z y) in z
2.300 * [taylor]: Taking taylor expansion of z in z
2.300 * [taylor]: Taking taylor expansion of y in z
2.301 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in x
2.301 * [taylor]: Taking taylor expansion of -1 in x
2.301 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.301 * [taylor]: Taking taylor expansion of x in x
2.301 * [taylor]: Taking taylor expansion of (* z y) in x
2.301 * [taylor]: Taking taylor expansion of z in x
2.301 * [taylor]: Taking taylor expansion of y in x
2.302 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in y
2.302 * [taylor]: Taking taylor expansion of -1 in y
2.302 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.302 * [taylor]: Taking taylor expansion of x in y
2.302 * [taylor]: Taking taylor expansion of (* z y) in y
2.302 * [taylor]: Taking taylor expansion of z in y
2.302 * [taylor]: Taking taylor expansion of y in y
2.302 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in y
2.302 * [taylor]: Taking taylor expansion of -1 in y
2.302 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.302 * [taylor]: Taking taylor expansion of x in y
2.302 * [taylor]: Taking taylor expansion of (* z y) in y
2.302 * [taylor]: Taking taylor expansion of z in y
2.302 * [taylor]: Taking taylor expansion of y in y
2.303 * [taylor]: Taking taylor expansion of (/ -1 (* x z)) in x
2.303 * [taylor]: Taking taylor expansion of -1 in x
2.303 * [taylor]: Taking taylor expansion of (* x z) in x
2.303 * [taylor]: Taking taylor expansion of x in x
2.303 * [taylor]: Taking taylor expansion of z in x
2.303 * [taylor]: Taking taylor expansion of (/ -1 z) in z
2.303 * [taylor]: Taking taylor expansion of -1 in z
2.303 * [taylor]: Taking taylor expansion of z in z
2.304 * [taylor]: Taking taylor expansion of 0 in x
2.305 * [taylor]: Taking taylor expansion of 0 in z
2.307 * [taylor]: Taking taylor expansion of 0 in x
2.307 * [taylor]: Taking taylor expansion of 0 in z
2.307 * [taylor]: Taking taylor expansion of 0 in z
2.309 * [taylor]: Taking taylor expansion of 0 in x
2.309 * [taylor]: Taking taylor expansion of 0 in z
2.310 * [taylor]: Taking taylor expansion of 0 in z
2.311 * [taylor]: Taking taylor expansion of 0 in z
2.311 * * * * [progress]: [ 2 / 2 ] generating series at (2)
2.311 * [approximate]: Taking taylor expansion of (- (* 1.0 x) (* x (* z y))) in (x y z) around 0
2.311 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* x (* z y))) in z
2.311 * [taylor]: Taking taylor expansion of (* 1.0 x) in z
2.311 * [taylor]: Taking taylor expansion of 1.0 in z
2.311 * [taylor]: Taking taylor expansion of x in z
2.311 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
2.311 * [taylor]: Taking taylor expansion of x in z
2.311 * [taylor]: Taking taylor expansion of (* z y) in z
2.312 * [taylor]: Taking taylor expansion of z in z
2.312 * [taylor]: Taking taylor expansion of y in z
2.312 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* x (* z y))) in y
2.312 * [taylor]: Taking taylor expansion of (* 1.0 x) in y
2.312 * [taylor]: Taking taylor expansion of 1.0 in y
2.312 * [taylor]: Taking taylor expansion of x in y
2.312 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.312 * [taylor]: Taking taylor expansion of x in y
2.312 * [taylor]: Taking taylor expansion of (* z y) in y
2.312 * [taylor]: Taking taylor expansion of z in y
2.312 * [taylor]: Taking taylor expansion of y in y
2.312 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* x (* z y))) in x
2.312 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
2.312 * [taylor]: Taking taylor expansion of 1.0 in x
2.312 * [taylor]: Taking taylor expansion of x in x
2.312 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.312 * [taylor]: Taking taylor expansion of x in x
2.312 * [taylor]: Taking taylor expansion of (* z y) in x
2.312 * [taylor]: Taking taylor expansion of z in x
2.312 * [taylor]: Taking taylor expansion of y in x
2.312 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* x (* z y))) in x
2.312 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
2.312 * [taylor]: Taking taylor expansion of 1.0 in x
2.312 * [taylor]: Taking taylor expansion of x in x
2.312 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.312 * [taylor]: Taking taylor expansion of x in x
2.312 * [taylor]: Taking taylor expansion of (* z y) in x
2.312 * [taylor]: Taking taylor expansion of z in x
2.312 * [taylor]: Taking taylor expansion of y in x
2.313 * [taylor]: Taking taylor expansion of 0 in y
2.313 * [taylor]: Taking taylor expansion of 0 in z
2.314 * [taylor]: Taking taylor expansion of (- 1.0 (* z y)) in y
2.314 * [taylor]: Taking taylor expansion of 1.0 in y
2.314 * [taylor]: Taking taylor expansion of (* z y) in y
2.314 * [taylor]: Taking taylor expansion of z in y
2.314 * [taylor]: Taking taylor expansion of y in y
2.315 * [taylor]: Taking taylor expansion of 1.0 in z
2.315 * [taylor]: Taking taylor expansion of 0 in z
2.317 * [taylor]: Taking taylor expansion of 0 in y
2.317 * [taylor]: Taking taylor expansion of 0 in z
2.317 * [taylor]: Taking taylor expansion of (- z) in z
2.317 * [taylor]: Taking taylor expansion of z in z
2.318 * [taylor]: Taking taylor expansion of 0 in z
2.318 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (/ 1 (* x (* z y)))) in (x y z) around 0
2.318 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (/ 1 (* x (* z y)))) in z
2.318 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in z
2.318 * [taylor]: Taking taylor expansion of 1.0 in z
2.318 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.318 * [taylor]: Taking taylor expansion of x in z
2.318 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
2.318 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
2.318 * [taylor]: Taking taylor expansion of x in z
2.318 * [taylor]: Taking taylor expansion of (* z y) in z
2.318 * [taylor]: Taking taylor expansion of z in z
2.318 * [taylor]: Taking taylor expansion of y in z
2.319 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (/ 1 (* x (* z y)))) in y
2.319 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y
2.319 * [taylor]: Taking taylor expansion of 1.0 in y
2.319 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.319 * [taylor]: Taking taylor expansion of x in y
2.319 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
2.319 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.319 * [taylor]: Taking taylor expansion of x in y
2.319 * [taylor]: Taking taylor expansion of (* z y) in y
2.319 * [taylor]: Taking taylor expansion of z in y
2.319 * [taylor]: Taking taylor expansion of y in y
2.319 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (/ 1 (* x (* z y)))) in x
2.319 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
2.319 * [taylor]: Taking taylor expansion of 1.0 in x
2.322 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.322 * [taylor]: Taking taylor expansion of x in x
2.322 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
2.322 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.322 * [taylor]: Taking taylor expansion of x in x
2.323 * [taylor]: Taking taylor expansion of (* z y) in x
2.323 * [taylor]: Taking taylor expansion of z in x
2.323 * [taylor]: Taking taylor expansion of y in x
2.323 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (/ 1 (* x (* z y)))) in x
2.323 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
2.323 * [taylor]: Taking taylor expansion of 1.0 in x
2.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.323 * [taylor]: Taking taylor expansion of x in x
2.323 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
2.323 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.323 * [taylor]: Taking taylor expansion of x in x
2.323 * [taylor]: Taking taylor expansion of (* z y) in x
2.323 * [taylor]: Taking taylor expansion of z in x
2.323 * [taylor]: Taking taylor expansion of y in x
2.324 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (* z y))) in y
2.324 * [taylor]: Taking taylor expansion of 1.0 in y
2.324 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.324 * [taylor]: Taking taylor expansion of (* z y) in y
2.324 * [taylor]: Taking taylor expansion of z in y
2.324 * [taylor]: Taking taylor expansion of y in y
2.325 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
2.325 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.325 * [taylor]: Taking taylor expansion of z in z
2.327 * [taylor]: Taking taylor expansion of 0 in y
2.328 * [taylor]: Taking taylor expansion of 1.0 in z
2.332 * [taylor]: Taking taylor expansion of 0 in y
2.332 * [taylor]: Taking taylor expansion of 0 in z
2.333 * [taylor]: Taking taylor expansion of 0 in z
2.337 * [taylor]: Taking taylor expansion of 0 in y
2.337 * [taylor]: Taking taylor expansion of 0 in z
2.337 * [taylor]: Taking taylor expansion of 0 in z
2.338 * [taylor]: Taking taylor expansion of 0 in z
2.343 * [taylor]: Taking taylor expansion of 0 in y
2.343 * [taylor]: Taking taylor expansion of 0 in z
2.343 * [taylor]: Taking taylor expansion of 0 in z
2.343 * [taylor]: Taking taylor expansion of 0 in z
2.344 * [taylor]: Taking taylor expansion of 0 in z
2.344 * [approximate]: Taking taylor expansion of (- (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in (x y z) around 0
2.344 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in z
2.344 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
2.344 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
2.344 * [taylor]: Taking taylor expansion of x in z
2.344 * [taylor]: Taking taylor expansion of (* z y) in z
2.344 * [taylor]: Taking taylor expansion of z in z
2.344 * [taylor]: Taking taylor expansion of y in z
2.345 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in z
2.345 * [taylor]: Taking taylor expansion of 1.0 in z
2.345 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.345 * [taylor]: Taking taylor expansion of x in z
2.345 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in y
2.345 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
2.345 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.345 * [taylor]: Taking taylor expansion of x in y
2.345 * [taylor]: Taking taylor expansion of (* z y) in y
2.345 * [taylor]: Taking taylor expansion of z in y
2.345 * [taylor]: Taking taylor expansion of y in y
2.346 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y
2.346 * [taylor]: Taking taylor expansion of 1.0 in y
2.346 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.346 * [taylor]: Taking taylor expansion of x in y
2.346 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x
2.346 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
2.346 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.346 * [taylor]: Taking taylor expansion of x in x
2.346 * [taylor]: Taking taylor expansion of (* z y) in x
2.346 * [taylor]: Taking taylor expansion of z in x
2.346 * [taylor]: Taking taylor expansion of y in x
2.346 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
2.346 * [taylor]: Taking taylor expansion of 1.0 in x
2.346 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.346 * [taylor]: Taking taylor expansion of x in x
2.347 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x
2.347 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
2.347 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.347 * [taylor]: Taking taylor expansion of x in x
2.347 * [taylor]: Taking taylor expansion of (* z y) in x
2.347 * [taylor]: Taking taylor expansion of z in x
2.347 * [taylor]: Taking taylor expansion of y in x
2.347 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
2.347 * [taylor]: Taking taylor expansion of 1.0 in x
2.347 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.347 * [taylor]: Taking taylor expansion of x in x
2.348 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) 1.0) in y
2.348 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.348 * [taylor]: Taking taylor expansion of (* z y) in y
2.348 * [taylor]: Taking taylor expansion of z in y
2.348 * [taylor]: Taking taylor expansion of y in y
2.349 * [taylor]: Taking taylor expansion of 1.0 in y
2.349 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.349 * [taylor]: Taking taylor expansion of z in z
2.351 * [taylor]: Taking taylor expansion of 0 in y
2.352 * [taylor]: Taking taylor expansion of (- 1.0) in z
2.352 * [taylor]: Taking taylor expansion of 1.0 in z
2.355 * [taylor]: Taking taylor expansion of 0 in y
2.356 * [taylor]: Taking taylor expansion of 0 in z
2.356 * [taylor]: Taking taylor expansion of 0 in z
2.361 * [taylor]: Taking taylor expansion of 0 in y
2.361 * [taylor]: Taking taylor expansion of 0 in z
2.361 * [taylor]: Taking taylor expansion of 0 in z
2.362 * [taylor]: Taking taylor expansion of 0 in z
2.367 * [taylor]: Taking taylor expansion of 0 in y
2.367 * [taylor]: Taking taylor expansion of 0 in z
2.367 * [taylor]: Taking taylor expansion of 0 in z
2.367 * [taylor]: Taking taylor expansion of 0 in z
2.368 * [taylor]: Taking taylor expansion of 0 in z
2.369 * * * [progress]: simplifying candidates
2.369 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* y (* x z))
  (* y (* x z))
  (+ (log y) (+ (log x) (log z)))
  (+ (log y) (log (* x z)))
  (log (* y (* x z)))
  (exp (* y (* x z)))
  (* (* (* y y) y) (* (* (* x x) x) (* (* z z) z)))
  (* (* (* y y) y) (* (* (* x z) (* x z)) (* x z)))
  (* (cbrt (* y (* x z))) (cbrt (* y (* x z))))
  (cbrt (* y (* x z)))
  (* (* (* y (* x z)) (* y (* x z))) (* y (* x z)))
  (sqrt (* y (* x z)))
  (sqrt (* y (* x z)))
  (* y x)
  (* (cbrt y) (* x z))
  (* (sqrt y) (* x z))
  (* y (* x z))
  (* (exp (* 1.0 x)) (/ 1 (exp (* y (* x z)))))
  (* (exp (* 1.0 x)) (exp (- (* y (* x z)))))
  (log (+ (* 1.0 x) (- (* y (* x z)))))
  (exp (+ (* 1.0 x) (- (* y (* x z)))))
  (* (cbrt (+ (* 1.0 x) (- (* y (* x z))))) (cbrt (+ (* 1.0 x) (- (* y (* x z))))))
  (cbrt (+ (* 1.0 x) (- (* y (* x z)))))
  (* (* (+ (* 1.0 x) (- (* y (* x z)))) (+ (* 1.0 x) (- (* y (* x z))))) (+ (* 1.0 x) (- (* y (* x z)))))
  (sqrt (+ (* 1.0 x) (- (* y (* x z)))))
  (sqrt (+ (* 1.0 x) (- (* y (* x z)))))
  (+ (pow (* 1.0 x) 3) (pow (- (* y (* x z))) 3))
  (+ (* (* 1.0 x) (* 1.0 x)) (- (* (- (* y (* x z))) (- (* y (* x z)))) (* (* 1.0 x) (- (* y (* x z))))))
  (- (* (* 1.0 x) (* 1.0 x)) (* (- (* y (* x z))) (- (* y (* x z)))))
  (- (* 1.0 x) (- (* y (* x z))))
  (+ (* 1.0 x) 0)
  0
  (* x (* z y))
  (* x (* z y))
  (* 1.0 x)
  (- (* 1.0 x) (* x (* z y)))
  (- (* 1.0 x) (* x (* z y)))
2.371 * * [simplify]: iteration  0 :  68  enodes  (cost  388 )
2.383 * * [simplify]: iteration  1 :  204  enodes  (cost  359 )
2.430 * * [simplify]: iteration  2 :  835  enodes  (cost  283 )
2.765 * * [simplify]: iteration  3 :  4750  enodes  (cost  275 )
10.703 * * [simplify]: iteration  done :  5000  enodes  (cost  275 )
10.703 * [simplify]: Simplified to:
   (* z (* y x))
  (* z (* y x))
  (log (* y (* x z)))
  (log (* y (* x z)))
  (log (* y (* x z)))
  (exp (* y (* x z)))
  (pow (* z (* y x)) 3)
  (pow (* z (* y x)) 3)
  (* (cbrt (* y (* x z))) (cbrt (* y (* x z))))
  (cbrt (* y (* x z)))
  (pow (* z (* y x)) 3)
  (sqrt (* y (* x z)))
  (sqrt (* y (* x z)))
  (* y x)
  (* (cbrt y) (* x z))
  (* (sqrt y) (* x z))
  (* z (* y x))
  (exp (* x (- 1.0 (* z y))))
  (exp (* x (- 1.0 (* z y))))
  (log (* x (- 1.0 (* z y))))
  (exp (* x (- 1.0 (* z y))))
  (* (cbrt (* x (- 1.0 (* z y)))) (cbrt (* x (- 1.0 (* z y)))))
  (cbrt (* x (- 1.0 (* z y))))
  (pow (* x (- 1.0 (* z y))) 3)
  (sqrt (* x (- 1.0 (* z y))))
  (sqrt (* x (- 1.0 (* z y))))
  (- (pow (* 1.0 x) 3) (pow (* y (* x z)) 3))
  (+ (* (* 1.0 x) (* 1.0 x)) (* (* z (* y x)) (* x (+ 1.0 (* z y)))))
  (* (* x (+ 1.0 (* z y))) (* x (- 1.0 (* z y))))
  (* x (+ 1.0 (* z y)))
  (* 1.0 x)
  0
  (* z (* y x))
  (* z (* y x))
  (* 1.0 x)
  (* x (- 1.0 (* z y)))
  (* x (- 1.0 (* z y)))
10.703 * * * [progress]: adding candidates to table
10.775 * [progress]: [Phase 3 of 3] Extracting.
10.776 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ (* 1.0 x) (- (* (sqrt (* y (* x z))) (sqrt (* y (* x z)))))))> #<alt (λ (x y z) (+ (* 1.0 x) (* (* (cbrt (- (* x y))) (cbrt (- (* x y)))) (* (cbrt (- (* x y))) z))))> #<alt (λ (x y z) (+ (* 1.0 x) (- (* y (* x z)))))> #<alt (λ (x y z) (+ (* 1.0 x) (- (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* x z))))))> #<alt (λ (x y z) (+ (* 1.0 x) (* (- (* x y)) z)))> #<alt (λ (x y z) (+ (* 1.0 x) (* (- x) (* z y))))>)
10.777 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
10.777 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ (* 1.0 x) (- (* (sqrt (* y (* x z))) (sqrt (* y (* x z)))))))> #<alt (λ (x y z) (+ (* 1.0 x) (* (* (cbrt (- (* x y))) (cbrt (- (* x y)))) (* (cbrt (- (* x y))) z))))> #<alt (λ (x y z) (+ (* 1.0 x) (- (* y (* x z)))))> #<alt (λ (x y z) (+ (* 1.0 x) (- (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* x z))))))> #<alt (λ (x y z) (+ (* 1.0 x) (* (- (* x y)) z)))> #<alt (λ (x y z) (+ (* 1.0 x) (* (- x) (* z y))))>)
10.809 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ (* 1.0 x) (- (* (sqrt (* y (* x z))) (sqrt (* y (* x z)))))))> #<alt (λ (x y z) (+ (* 1.0 x) (* (* (cbrt (- (* x y))) (cbrt (- (* x y)))) (* (cbrt (- (* x y))) z))))> #<alt (λ (x y z) (+ (* 1.0 x) (- (* y (* x z)))))> #<alt (λ (x y z) (+ (* 1.0 x) (- (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* x z))))))> #<alt (λ (x y z) (+ (* 1.0 x) (* (- (* x y)) z)))> #<alt (λ (x y z) (+ (* 1.0 x) (* (- x) (* z y))))>)
10.842 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ (* 1.0 x) (- (* (sqrt (* y (* x z))) (sqrt (* y (* x z)))))))> #<alt (λ (x y z) (+ (* 1.0 x) (* (* (cbrt (- (* x y))) (cbrt (- (* x y)))) (* (cbrt (- (* x y))) z))))> #<alt (λ (x y z) (+ (* 1.0 x) (- (* y (* x z)))))> #<alt (λ (x y z) (+ (* 1.0 x) (- (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* x z))))))> #<alt (λ (x y z) (+ (* 1.0 x) (* (- (* x y)) z)))> #<alt (λ (x y z) (+ (* 1.0 x) (* (- x) (* z y))))>)
10.870 * * * [regime]: Found split indices: #<option (#s(si 4 45) #s(si 5 221) #s(si 4 255))>
10.870 * [binary-search]: Improving bounds with binary search for z and (#<alt (λ (x y z) (+ (* 1.0 x) (- (* (sqrt (* y (* x z))) (sqrt (* y (* x z)))))))> #<alt (λ (x y z) (+ (* 1.0 x) (* (* (cbrt (- (* x y))) (cbrt (- (* x y)))) (* (cbrt (- (* x y))) z))))> #<alt (λ (x y z) (+ (* 1.0 x) (- (* y (* x z)))))> #<alt (λ (x y z) (+ (* 1.0 x) (- (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* x z))))))> #<alt (λ (x y z) (+ (* 1.0 x) (* (- (* x y)) z)))> #<alt (λ (x y z) (+ (* 1.0 x) (* (- x) (* z y))))>)
10.926 * [regimes]: Found splitpoints: (#s(sp 4 z -4.670761874373816e+51) #s(sp 5 z 1.1215615971575516e+83) #s(sp 4 z +nan.0)) , with alts (#<alt (λ (x y z) (+ (* 1.0 x) (- (* (sqrt (* y (* x z))) (sqrt (* y (* x z)))))))> #<alt (λ (x y z) (+ (* 1.0 x) (* (* (cbrt (- (* x y))) (cbrt (- (* x y)))) (* (cbrt (- (* x y))) z))))> #<alt (λ (x y z) (+ (* 1.0 x) (- (* y (* x z)))))> #<alt (λ (x y z) (+ (* 1.0 x) (- (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* x z))))))> #<alt (λ (x y z) (+ (* 1.0 x) (* (- (* x y)) z)))> #<alt (λ (x y z) (+ (* 1.0 x) (* (- x) (* z y))))>)
10.927 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= z -4.670761874373816e+51) (+ (* 1.0 x) (* (- (* x y)) z)) (if (<= z 1.1215615971575516e+83) (+ (* 1.0 x) (* (- x) (* z y))) (+ (* 1.0 x) (* (- (* x y)) z))))
10.927 * * [simplify]: iteration  0 :  19  enodes  (cost  38 )
10.928 * * [simplify]: iteration  1 :  36  enodes  (cost  29 )
10.929 * * [simplify]: iteration  2 :  44  enodes  (cost  29 )
10.931 * * [simplify]: iteration  3 :  50  enodes  (cost  29 )
10.933 * * [simplify]: iteration  done :  50  enodes  (cost  29 )
10.933 * [simplify]: Simplified to:
   (if (or (<= z -4.670761874373816e+51) (not (<= z 1.1215615971575516e+83))) (+ (* 1.0 x) (* (- (* x y)) z)) (+ (* 1.0 x) (* (- x) (* z y))))
11.473 * [regime-testing]: Baseline error score: 4.745222772753464
11.473 * [regime-testing]: Oracle error score: 0.016127015876984622
11.474 * [regime-testing]: End program error score: 1.6434297065456491