6.104 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.027 * * * [progress]: [2/2] Setting up program.
0.028 * [progress]: [Phase 2 of 3] Improving.
0.029 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (- (* x y) (* y y)) (* y y)) (* y z))
0.030 * * [simplify]: iteration  0 :  9  enodes  (cost  15 )
0.031 * * [simplify]: iteration  1 :  23  enodes  (cost  13 )
0.036 * * [simplify]: iteration  2 :  76  enodes  (cost  8 )
0.051 * * [simplify]: iteration  3 :  209  enodes  (cost  7 )
0.156 * * [simplify]: iteration  4 :  901  enodes  (cost  5 )
1.312 * * [simplify]: iteration  done :  5001  enodes  (cost  5 )
1.312 * [simplify]: Simplified to:
   (* y (- x z))
1.314 * * [progress]: iteration 1 / 4
1.315 * * * [progress]: picking best candidate
1.316 * * * * [pick]: Picked  #<alt (λ (x y z) (* y (- x z)))>
1.316 * * * [progress]: localizing error
1.319 * * * [progress]: generating rewritten candidates
1.320 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.339 * * * [progress]: generating series expansions
1.339 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.339 * [approximate]: Taking taylor expansion of (* y (- x z)) in (y x z) around 0
1.339 * [taylor]: Taking taylor expansion of (* y (- x z)) in z
1.339 * [taylor]: Taking taylor expansion of y in z
1.339 * [taylor]: Taking taylor expansion of (- x z) in z
1.339 * [taylor]: Taking taylor expansion of x in z
1.339 * [taylor]: Taking taylor expansion of z in z
1.340 * [taylor]: Taking taylor expansion of (* y (- x z)) in x
1.340 * [taylor]: Taking taylor expansion of y in x
1.340 * [taylor]: Taking taylor expansion of (- x z) in x
1.340 * [taylor]: Taking taylor expansion of x in x
1.340 * [taylor]: Taking taylor expansion of z in x
1.340 * [taylor]: Taking taylor expansion of (* y (- x z)) in y
1.340 * [taylor]: Taking taylor expansion of y in y
1.340 * [taylor]: Taking taylor expansion of (- x z) in y
1.340 * [taylor]: Taking taylor expansion of x in y
1.340 * [taylor]: Taking taylor expansion of z in y
1.340 * [taylor]: Taking taylor expansion of (* y (- x z)) in y
1.340 * [taylor]: Taking taylor expansion of y in y
1.340 * [taylor]: Taking taylor expansion of (- x z) in y
1.340 * [taylor]: Taking taylor expansion of x in y
1.340 * [taylor]: Taking taylor expansion of z in y
1.340 * [taylor]: Taking taylor expansion of 0 in x
1.340 * [taylor]: Taking taylor expansion of 0 in z
1.341 * [taylor]: Taking taylor expansion of (- x z) in x
1.341 * [taylor]: Taking taylor expansion of x in x
1.341 * [taylor]: Taking taylor expansion of z in x
1.341 * [taylor]: Taking taylor expansion of (- z) in z
1.341 * [taylor]: Taking taylor expansion of z in z
1.341 * [taylor]: Taking taylor expansion of 0 in z
1.342 * [taylor]: Taking taylor expansion of 0 in x
1.342 * [taylor]: Taking taylor expansion of 0 in z
1.343 * [taylor]: Taking taylor expansion of 1 in z
1.343 * [taylor]: Taking taylor expansion of 0 in z
1.344 * [taylor]: Taking taylor expansion of 0 in x
1.344 * [taylor]: Taking taylor expansion of 0 in z
1.345 * [taylor]: Taking taylor expansion of 0 in z
1.345 * [taylor]: Taking taylor expansion of 0 in z
1.345 * [taylor]: Taking taylor expansion of 0 in z
1.345 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (y x z) around 0
1.345 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z
1.345 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
1.345 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.345 * [taylor]: Taking taylor expansion of x in z
1.345 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.345 * [taylor]: Taking taylor expansion of z in z
1.346 * [taylor]: Taking taylor expansion of y in z
1.346 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x
1.346 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
1.346 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.346 * [taylor]: Taking taylor expansion of x in x
1.346 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.347 * [taylor]: Taking taylor expansion of z in x
1.347 * [taylor]: Taking taylor expansion of y in x
1.347 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
1.347 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
1.347 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.347 * [taylor]: Taking taylor expansion of x in y
1.347 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.347 * [taylor]: Taking taylor expansion of z in y
1.347 * [taylor]: Taking taylor expansion of y in y
1.347 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
1.347 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
1.347 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.347 * [taylor]: Taking taylor expansion of x in y
1.347 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.347 * [taylor]: Taking taylor expansion of z in y
1.347 * [taylor]: Taking taylor expansion of y in y
1.348 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
1.348 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.348 * [taylor]: Taking taylor expansion of x in x
1.348 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.348 * [taylor]: Taking taylor expansion of z in x
1.348 * [taylor]: Taking taylor expansion of 1 in z
1.349 * [taylor]: Taking taylor expansion of 0 in x
1.350 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
1.350 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.350 * [taylor]: Taking taylor expansion of z in z
1.352 * [taylor]: Taking taylor expansion of 0 in x
1.352 * [taylor]: Taking taylor expansion of 0 in z
1.353 * [taylor]: Taking taylor expansion of 0 in z
1.355 * [taylor]: Taking taylor expansion of 0 in x
1.355 * [taylor]: Taking taylor expansion of 0 in z
1.355 * [taylor]: Taking taylor expansion of 0 in z
1.356 * [taylor]: Taking taylor expansion of 0 in z
1.357 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (y x z) around 0
1.358 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z
1.358 * [taylor]: Taking taylor expansion of -1 in z
1.358 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z
1.358 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
1.358 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.358 * [taylor]: Taking taylor expansion of z in z
1.358 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.358 * [taylor]: Taking taylor expansion of x in z
1.358 * [taylor]: Taking taylor expansion of y in z
1.358 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x
1.358 * [taylor]: Taking taylor expansion of -1 in x
1.358 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x
1.358 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
1.358 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.358 * [taylor]: Taking taylor expansion of z in x
1.358 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.358 * [taylor]: Taking taylor expansion of x in x
1.359 * [taylor]: Taking taylor expansion of y in x
1.359 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y
1.359 * [taylor]: Taking taylor expansion of -1 in y
1.359 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
1.359 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
1.359 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.359 * [taylor]: Taking taylor expansion of z in y
1.359 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.359 * [taylor]: Taking taylor expansion of x in y
1.359 * [taylor]: Taking taylor expansion of y in y
1.359 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y
1.359 * [taylor]: Taking taylor expansion of -1 in y
1.359 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
1.360 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
1.360 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.360 * [taylor]: Taking taylor expansion of z in y
1.360 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.360 * [taylor]: Taking taylor expansion of x in y
1.360 * [taylor]: Taking taylor expansion of y in y
1.360 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 z) (/ 1 x))) in x
1.360 * [taylor]: Taking taylor expansion of -1 in x
1.360 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
1.360 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.360 * [taylor]: Taking taylor expansion of z in x
1.360 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.360 * [taylor]: Taking taylor expansion of x in x
1.361 * [taylor]: Taking taylor expansion of 1 in z
1.362 * [taylor]: Taking taylor expansion of 0 in x
1.363 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
1.363 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.363 * [taylor]: Taking taylor expansion of z in z
1.366 * [taylor]: Taking taylor expansion of 0 in x
1.366 * [taylor]: Taking taylor expansion of 0 in z
1.367 * [taylor]: Taking taylor expansion of 0 in z
1.371 * [taylor]: Taking taylor expansion of 0 in x
1.371 * [taylor]: Taking taylor expansion of 0 in z
1.371 * [taylor]: Taking taylor expansion of 0 in z
1.373 * [taylor]: Taking taylor expansion of 0 in z
1.374 * * * [progress]: simplifying candidates
1.375 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* y (- x z)))
  (log1p (* y (- x z)))
  (* y (- x z))
  (+ (log y) (log (- x z)))
  (log (* y (- x z)))
  (exp (* y (- x 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)))
  (* (sqrt y) (sqrt (- x z)))
  (* (sqrt y) (sqrt (- x z)))
  (* y (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt z) (* (cbrt z) (cbrt z))))))
  (* y (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (* y (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt z) (sqrt z)))))
  (* y (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))))
  (* y (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* z 1))))
  (* y (fma (- z) 1 (* z 1)))
  (* y (fma (sqrt x) (sqrt x) (- (* (cbrt z) (* (cbrt z) (cbrt z))))))
  (* y (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (* y (fma (sqrt x) (sqrt x) (- (* (sqrt z) (sqrt z)))))
  (* y (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))))
  (* y (fma (sqrt x) (sqrt x) (- (* z 1))))
  (* y (fma (- z) 1 (* z 1)))
  (* y (fma 1 x (- (* (cbrt z) (* (cbrt z) (cbrt z))))))
  (* y (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (* y (fma 1 x (- (* (sqrt z) (sqrt z)))))
  (* y (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))))
  (* y (fma 1 x (- (* z 1))))
  (* y (fma (- z) 1 (* z 1)))
  (* y x)
  (* y (- z))
  (* y x)
  (* y (- z))
  (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) y)
  (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) y)
  (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt z) (sqrt z)))) y)
  (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) y)
  (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* z 1))) y)
  (* (fma (- z) 1 (* z 1)) y)
  (* (fma (sqrt x) (sqrt x) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) y)
  (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) y)
  (* (fma (sqrt x) (sqrt x) (- (* (sqrt z) (sqrt z)))) y)
  (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) y)
  (* (fma (sqrt x) (sqrt x) (- (* z 1))) y)
  (* (fma (- z) 1 (* z 1)) y)
  (* (fma 1 x (- (* (cbrt z) (* (cbrt z) (cbrt z))))) y)
  (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) y)
  (* (fma 1 x (- (* (sqrt z) (sqrt z)))) y)
  (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) y)
  (* (fma 1 x (- (* z 1))) y)
  (* (fma (- z) 1 (* z 1)) y)
  (* x y)
  (* (- z) y)
  (* x y)
  (* (- z) y)
  (* y (* (cbrt (- x z)) (cbrt (- x z))))
  (* y (sqrt (- x z)))
  (* y 1)
  (* y (+ (sqrt x) (sqrt z)))
  (* y 1)
  (* (cbrt y) (- x z))
  (* (sqrt y) (- x z))
  (* y (- x z))
  (* y (- (pow x 3) (pow z 3)))
  (* y (- (* x x) (* z z)))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
1.378 * * [simplify]: iteration  0 :  102  enodes  (cost  721 )
1.400 * * [simplify]: iteration  1 :  187  enodes  (cost  548 )
1.456 * * [simplify]: iteration  2 :  599  enodes  (cost  420 )
1.733 * * [simplify]: iteration  3 :  2366  enodes  (cost  360 )
2.661 * * [simplify]: iteration  done :  5000  enodes  (cost  360 )
2.661 * [simplify]: Simplified to:
   (expm1 (* y (- x z)))
  (log1p (* y (- x z)))
  (* y (- x z))
  (log (* y (- x z)))
  (log (* y (- x z)))
  (exp (* y (- x z)))
  (pow (* y (- x z)) 3)
  (* (cbrt (* y (- x z))) (cbrt (* y (- x z))))
  (cbrt (* y (- x z)))
  (pow (* y (- x z)) 3)
  (sqrt (* y (- x z)))
  (sqrt (* y (- x z)))
  (* (sqrt y) (sqrt (- x z)))
  (* (sqrt y) (sqrt (- x z)))
  (* y (- (pow (cbrt x) 3) z))
  (* y 0)
  (* y (- (pow (cbrt x) 3) z))
  (* y 0)
  (* y (- (pow (cbrt x) 3) z))
  (* y 0)
  (* y (- x z))
  (* y 0)
  (* y (- x z))
  (* y 0)
  (* y (- x z))
  (* y 0)
  (* y (- x z))
  (* y 0)
  (* y (- x z))
  (* y 0)
  (* y (- x z))
  (* y 0)
  (* x y)
  (* (- z) y)
  (* x y)
  (* (- z) y)
  (* y (- (pow (cbrt x) 3) z))
  (* y 0)
  (* y (- (pow (cbrt x) 3) z))
  (* y 0)
  (* y (- (pow (cbrt x) 3) z))
  (* y 0)
  (* y (- x z))
  (* y 0)
  (* y (- x z))
  (* y 0)
  (* y (- x z))
  (* y 0)
  (* y (- x z))
  (* y 0)
  (* y (- x z))
  (* y 0)
  (* y (- x z))
  (* y 0)
  (* x y)
  (* (- z) y)
  (* x y)
  (* (- z) y)
  (* y (* (cbrt (- x z)) (cbrt (- x z))))
  (* y (sqrt (- x z)))
  y
  (* y (+ (sqrt x) (sqrt z)))
  y
  (* (cbrt y) (- x z))
  (* (sqrt y) (- x z))
  (* y (- x z))
  (* y (- (pow x 3) (pow z 3)))
  (* y (- (* x x) (* z z)))
  (* y (- x z))
  (* y (- x z))
  (* y (- x z))
2.662 * * * [progress]: adding candidates to table
2.711 * * [progress]: iteration 2 / 4
2.711 * * * [progress]: picking best candidate
2.712 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* x y) (* (- z) y)))>
2.712 * * * [progress]: localizing error
2.718 * * * [progress]: generating rewritten candidates
2.718 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
2.721 * * * [progress]: generating series expansions
2.721 * * * * [progress]: [ 1 / 1 ] generating series at (2)
2.721 * [approximate]: Taking taylor expansion of (- (* x y) (* z y)) in (x y z) around 0
2.721 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in z
2.721 * [taylor]: Taking taylor expansion of (* x y) in z
2.721 * [taylor]: Taking taylor expansion of x in z
2.721 * [taylor]: Taking taylor expansion of y in z
2.721 * [taylor]: Taking taylor expansion of (* z y) in z
2.721 * [taylor]: Taking taylor expansion of z in z
2.721 * [taylor]: Taking taylor expansion of y in z
2.721 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in y
2.721 * [taylor]: Taking taylor expansion of (* x y) in y
2.721 * [taylor]: Taking taylor expansion of x in y
2.721 * [taylor]: Taking taylor expansion of y in y
2.721 * [taylor]: Taking taylor expansion of (* z y) in y
2.721 * [taylor]: Taking taylor expansion of z in y
2.721 * [taylor]: Taking taylor expansion of y in y
2.721 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x
2.721 * [taylor]: Taking taylor expansion of (* x y) in x
2.721 * [taylor]: Taking taylor expansion of x in x
2.721 * [taylor]: Taking taylor expansion of y in x
2.721 * [taylor]: Taking taylor expansion of (* z y) in x
2.721 * [taylor]: Taking taylor expansion of z in x
2.722 * [taylor]: Taking taylor expansion of y in x
2.722 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x
2.722 * [taylor]: Taking taylor expansion of (* x y) in x
2.722 * [taylor]: Taking taylor expansion of x in x
2.722 * [taylor]: Taking taylor expansion of y in x
2.722 * [taylor]: Taking taylor expansion of (* z y) in x
2.722 * [taylor]: Taking taylor expansion of z in x
2.722 * [taylor]: Taking taylor expansion of y in x
2.722 * [taylor]: Taking taylor expansion of (- (* z y)) in y
2.722 * [taylor]: Taking taylor expansion of (* z y) in y
2.722 * [taylor]: Taking taylor expansion of z in y
2.722 * [taylor]: Taking taylor expansion of y in y
2.722 * [taylor]: Taking taylor expansion of 0 in z
2.723 * [taylor]: Taking taylor expansion of y in y
2.723 * [taylor]: Taking taylor expansion of 0 in z
2.723 * [taylor]: Taking taylor expansion of (- z) in z
2.723 * [taylor]: Taking taylor expansion of z in z
2.725 * [taylor]: Taking taylor expansion of 0 in y
2.725 * [taylor]: Taking taylor expansion of 0 in z
2.725 * [taylor]: Taking taylor expansion of 1 in z
2.725 * [taylor]: Taking taylor expansion of 0 in z
2.727 * [taylor]: Taking taylor expansion of 0 in y
2.727 * [taylor]: Taking taylor expansion of 0 in z
2.727 * [taylor]: Taking taylor expansion of 0 in z
2.727 * [taylor]: Taking taylor expansion of 0 in z
2.728 * [taylor]: Taking taylor expansion of 0 in z
2.728 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0
2.728 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z
2.728 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
2.728 * [taylor]: Taking taylor expansion of (* x y) in z
2.728 * [taylor]: Taking taylor expansion of x in z
2.728 * [taylor]: Taking taylor expansion of y in z
2.728 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
2.728 * [taylor]: Taking taylor expansion of (* z y) in z
2.728 * [taylor]: Taking taylor expansion of z in z
2.728 * [taylor]: Taking taylor expansion of y in z
2.729 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y
2.729 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.729 * [taylor]: Taking taylor expansion of (* x y) in y
2.729 * [taylor]: Taking taylor expansion of x in y
2.729 * [taylor]: Taking taylor expansion of y in y
2.729 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.729 * [taylor]: Taking taylor expansion of (* z y) in y
2.729 * [taylor]: Taking taylor expansion of z in y
2.729 * [taylor]: Taking taylor expansion of y in y
2.730 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
2.730 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.730 * [taylor]: Taking taylor expansion of (* x y) in x
2.730 * [taylor]: Taking taylor expansion of x in x
2.730 * [taylor]: Taking taylor expansion of y in x
2.730 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
2.730 * [taylor]: Taking taylor expansion of (* z y) in x
2.730 * [taylor]: Taking taylor expansion of z in x
2.730 * [taylor]: Taking taylor expansion of y in x
2.730 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
2.730 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.730 * [taylor]: Taking taylor expansion of (* x y) in x
2.730 * [taylor]: Taking taylor expansion of x in x
2.730 * [taylor]: Taking taylor expansion of y in x
2.730 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
2.730 * [taylor]: Taking taylor expansion of (* z y) in x
2.730 * [taylor]: Taking taylor expansion of z in x
2.730 * [taylor]: Taking taylor expansion of y in x
2.731 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.731 * [taylor]: Taking taylor expansion of y in y
2.731 * [taylor]: Taking taylor expansion of 1 in z
2.732 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
2.732 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.732 * [taylor]: Taking taylor expansion of (* z y) in y
2.732 * [taylor]: Taking taylor expansion of z in y
2.732 * [taylor]: Taking taylor expansion of y in y
2.732 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
2.732 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.732 * [taylor]: Taking taylor expansion of z in z
2.733 * [taylor]: Taking taylor expansion of 0 in z
2.734 * [taylor]: Taking taylor expansion of 0 in y
2.735 * [taylor]: Taking taylor expansion of 0 in z
2.735 * [taylor]: Taking taylor expansion of 0 in z
2.740 * [taylor]: Taking taylor expansion of 0 in y
2.740 * [taylor]: Taking taylor expansion of 0 in z
2.741 * [taylor]: Taking taylor expansion of 0 in z
2.742 * [taylor]: Taking taylor expansion of 0 in z
2.743 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0
2.743 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z
2.743 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
2.743 * [taylor]: Taking taylor expansion of (* x y) in z
2.743 * [taylor]: Taking taylor expansion of x in z
2.743 * [taylor]: Taking taylor expansion of y in z
2.743 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
2.743 * [taylor]: Taking taylor expansion of (* z y) in z
2.743 * [taylor]: Taking taylor expansion of z in z
2.743 * [taylor]: Taking taylor expansion of y in z
2.743 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y
2.743 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.743 * [taylor]: Taking taylor expansion of (* x y) in y
2.743 * [taylor]: Taking taylor expansion of x in y
2.743 * [taylor]: Taking taylor expansion of y in y
2.744 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.744 * [taylor]: Taking taylor expansion of (* z y) in y
2.744 * [taylor]: Taking taylor expansion of z in y
2.744 * [taylor]: Taking taylor expansion of y in y
2.744 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
2.744 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.744 * [taylor]: Taking taylor expansion of (* x y) in x
2.744 * [taylor]: Taking taylor expansion of x in x
2.744 * [taylor]: Taking taylor expansion of y in x
2.744 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
2.744 * [taylor]: Taking taylor expansion of (* z y) in x
2.744 * [taylor]: Taking taylor expansion of z in x
2.744 * [taylor]: Taking taylor expansion of y in x
2.745 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x
2.745 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.745 * [taylor]: Taking taylor expansion of (* x y) in x
2.745 * [taylor]: Taking taylor expansion of x in x
2.745 * [taylor]: Taking taylor expansion of y in x
2.745 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
2.745 * [taylor]: Taking taylor expansion of (* z y) in x
2.745 * [taylor]: Taking taylor expansion of z in x
2.745 * [taylor]: Taking taylor expansion of y in x
2.745 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.745 * [taylor]: Taking taylor expansion of y in y
2.745 * [taylor]: Taking taylor expansion of 1 in z
2.746 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
2.746 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.746 * [taylor]: Taking taylor expansion of (* z y) in y
2.746 * [taylor]: Taking taylor expansion of z in y
2.746 * [taylor]: Taking taylor expansion of y in y
2.746 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
2.747 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.747 * [taylor]: Taking taylor expansion of z in z
2.747 * [taylor]: Taking taylor expansion of 0 in z
2.749 * [taylor]: Taking taylor expansion of 0 in y
2.749 * [taylor]: Taking taylor expansion of 0 in z
2.750 * [taylor]: Taking taylor expansion of 0 in z
2.752 * [taylor]: Taking taylor expansion of 0 in y
2.752 * [taylor]: Taking taylor expansion of 0 in z
2.753 * [taylor]: Taking taylor expansion of 0 in z
2.754 * [taylor]: Taking taylor expansion of 0 in z
2.755 * * * [progress]: simplifying candidates
2.755 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (+ (* x y) (* (- z) y)))
  (log1p (+ (* x y) (* (- z) y)))
  (* (exp (* x y)) (exp (* (- z) y)))
  (log (+ (* x y) (* (- z) y)))
  (exp (+ (* x y) (* (- z) y)))
  (* (cbrt (+ (* x y) (* (- z) y))) (cbrt (+ (* x y) (* (- z) y))))
  (cbrt (+ (* x y) (* (- z) y)))
  (* (* (+ (* x y) (* (- z) y)) (+ (* x y) (* (- z) y))) (+ (* x y) (* (- z) y)))
  (sqrt (+ (* x y) (* (- z) y)))
  (sqrt (+ (* x y) (* (- z) y)))
  (+ (pow (* x y) 3) (pow (* (- z) y) 3))
  (+ (* (* x y) (* x y)) (- (* (* (- z) y) (* (- z) y)) (* (* x y) (* (- z) y))))
  (- (* (* x y) (* x y)) (* (* (- z) y) (* (- z) y)))
  (- (* x y) (* (- z) y))
  (+ x (- z))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
2.757 * * [simplify]: iteration  0 :  33  enodes  (cost  206 )
2.762 * * [simplify]: iteration  1 :  113  enodes  (cost  146 )
2.786 * * [simplify]: iteration  2 :  433  enodes  (cost  133 )
2.956 * * [simplify]: iteration  3 :  1700  enodes  (cost  129 )
4.325 * * [simplify]: iteration  done :  5000  enodes  (cost  127 )
4.325 * [simplify]: Simplified to:
   (expm1 (* y (- x z)))
  (log1p (* y (- x z)))
  (exp (* y (- x z)))
  (log (* y (- x z)))
  (exp (* y (- x z)))
  (* (cbrt (* y (- x z))) (cbrt (* y (- x z))))
  (cbrt (* y (- x z)))
  (pow (* y (- x z)) 3)
  (sqrt (* y (- x z)))
  (sqrt (* y (- x z)))
  (* (pow y 3) (- (pow x 3) (pow z 3)))
  (* (* y (+ (* x x) (fma z z (* x z)))) y)
  (* (* y y) (- (* x x) (* z z)))
  (* (+ z x) y)
  (- x z)
  (* y (- x z))
  (* y (- x z))
  (* y (- x z))
4.326 * * * [progress]: adding candidates to table
4.363 * * [progress]: iteration 3 / 4
4.363 * * * [progress]: picking best candidate
4.364 * * * * [pick]: Picked  #<alt (λ (x y z) (fma x y (* (- z) y)))>
4.364 * * * [progress]: localizing error
4.369 * * * [progress]: generating rewritten candidates
4.370 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
4.370 * * * [progress]: generating series expansions
4.370 * * * * [progress]: [ 1 / 1 ] generating series at (2)
4.370 * [approximate]: Taking taylor expansion of (fma x y (* -1 (* z y))) in (x y z) around 0
4.370 * [taylor]: Taking taylor expansion of (fma x y (* -1 (* z y))) in z
4.370 * [taylor]: Rewrote expression to (+ (* x y) (* -1 (* z y)))
4.370 * [taylor]: Taking taylor expansion of (* x y) in z
4.370 * [taylor]: Taking taylor expansion of x in z
4.370 * [taylor]: Taking taylor expansion of y in z
4.371 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z
4.371 * [taylor]: Taking taylor expansion of -1 in z
4.371 * [taylor]: Taking taylor expansion of (* z y) in z
4.371 * [taylor]: Taking taylor expansion of z in z
4.371 * [taylor]: Taking taylor expansion of y in z
4.371 * [taylor]: Taking taylor expansion of (fma x y (* -1 (* z y))) in y
4.371 * [taylor]: Rewrote expression to (+ (* x y) (* -1 (* z y)))
4.371 * [taylor]: Taking taylor expansion of (* x y) in y
4.371 * [taylor]: Taking taylor expansion of x in y
4.371 * [taylor]: Taking taylor expansion of y in y
4.371 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in y
4.371 * [taylor]: Taking taylor expansion of -1 in y
4.371 * [taylor]: Taking taylor expansion of (* z y) in y
4.371 * [taylor]: Taking taylor expansion of z in y
4.371 * [taylor]: Taking taylor expansion of y in y
4.371 * [taylor]: Taking taylor expansion of (fma x y (* -1 (* z y))) in x
4.371 * [taylor]: Rewrote expression to (+ (* x y) (* -1 (* z y)))
4.371 * [taylor]: Taking taylor expansion of (* x y) in x
4.371 * [taylor]: Taking taylor expansion of x in x
4.371 * [taylor]: Taking taylor expansion of y in x
4.371 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in x
4.371 * [taylor]: Taking taylor expansion of -1 in x
4.371 * [taylor]: Taking taylor expansion of (* z y) in x
4.371 * [taylor]: Taking taylor expansion of z in x
4.371 * [taylor]: Taking taylor expansion of y in x
4.371 * [taylor]: Taking taylor expansion of (fma x y (* -1 (* z y))) in x
4.371 * [taylor]: Rewrote expression to (+ (* x y) (* -1 (* z y)))
4.371 * [taylor]: Taking taylor expansion of (* x y) in x
4.371 * [taylor]: Taking taylor expansion of x in x
4.371 * [taylor]: Taking taylor expansion of y in x
4.371 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in x
4.371 * [taylor]: Taking taylor expansion of -1 in x
4.371 * [taylor]: Taking taylor expansion of (* z y) in x
4.371 * [taylor]: Taking taylor expansion of z in x
4.371 * [taylor]: Taking taylor expansion of y in x
4.371 * [taylor]: Taking taylor expansion of (- (* z y)) in y
4.371 * [taylor]: Taking taylor expansion of (* z y) in y
4.371 * [taylor]: Taking taylor expansion of z in y
4.371 * [taylor]: Taking taylor expansion of y in y
4.372 * [taylor]: Taking taylor expansion of 0 in z
4.373 * [taylor]: Taking taylor expansion of y in y
4.373 * [taylor]: Taking taylor expansion of 0 in z
4.373 * [taylor]: Taking taylor expansion of (- z) in z
4.373 * [taylor]: Taking taylor expansion of z in z
4.375 * [taylor]: Taking taylor expansion of 0 in y
4.375 * [taylor]: Taking taylor expansion of 0 in z
4.375 * [taylor]: Taking taylor expansion of 1 in z
4.376 * [taylor]: Taking taylor expansion of 0 in z
4.378 * [taylor]: Taking taylor expansion of 0 in y
4.378 * [taylor]: Taking taylor expansion of 0 in z
4.378 * [taylor]: Taking taylor expansion of 0 in z
4.378 * [taylor]: Taking taylor expansion of 0 in z
4.379 * [taylor]: Taking taylor expansion of 0 in z
4.379 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ -1 (* z y))) in (x y z) around 0
4.379 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ -1 (* z y))) in z
4.379 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ -1 (* z y)))
4.379 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in z
4.379 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.379 * [taylor]: Taking taylor expansion of x in z
4.380 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.380 * [taylor]: Taking taylor expansion of y in z
4.380 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in z
4.380 * [taylor]: Taking taylor expansion of -1 in z
4.380 * [taylor]: Taking taylor expansion of (* z y) in z
4.380 * [taylor]: Taking taylor expansion of z in z
4.380 * [taylor]: Taking taylor expansion of y in z
4.380 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ -1 (* z y))) in y
4.380 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ -1 (* z y)))
4.380 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y
4.380 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.380 * [taylor]: Taking taylor expansion of x in y
4.380 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.380 * [taylor]: Taking taylor expansion of y in y
4.380 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in y
4.381 * [taylor]: Taking taylor expansion of -1 in y
4.381 * [taylor]: Taking taylor expansion of (* z y) in y
4.381 * [taylor]: Taking taylor expansion of z in y
4.381 * [taylor]: Taking taylor expansion of y in y
4.381 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ -1 (* z y))) in x
4.381 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ -1 (* z y)))
4.381 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
4.381 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.381 * [taylor]: Taking taylor expansion of x in x
4.381 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.381 * [taylor]: Taking taylor expansion of y in x
4.381 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in x
4.381 * [taylor]: Taking taylor expansion of -1 in x
4.381 * [taylor]: Taking taylor expansion of (* z y) in x
4.381 * [taylor]: Taking taylor expansion of z in x
4.382 * [taylor]: Taking taylor expansion of y in x
4.382 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ -1 (* z y))) in x
4.382 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ -1 (* z y)))
4.382 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
4.382 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.382 * [taylor]: Taking taylor expansion of x in x
4.382 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.382 * [taylor]: Taking taylor expansion of y in x
4.382 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in x
4.382 * [taylor]: Taking taylor expansion of -1 in x
4.382 * [taylor]: Taking taylor expansion of (* z y) in x
4.382 * [taylor]: Taking taylor expansion of z in x
4.382 * [taylor]: Taking taylor expansion of y in x
4.382 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.382 * [taylor]: Taking taylor expansion of y in y
4.383 * [taylor]: Taking taylor expansion of 1 in z
4.384 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
4.384 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
4.384 * [taylor]: Taking taylor expansion of (* z y) in y
4.384 * [taylor]: Taking taylor expansion of z in y
4.384 * [taylor]: Taking taylor expansion of y in y
4.384 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
4.384 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.384 * [taylor]: Taking taylor expansion of z in z
4.385 * [taylor]: Taking taylor expansion of 0 in z
4.387 * [taylor]: Taking taylor expansion of 0 in y
4.387 * [taylor]: Taking taylor expansion of 0 in z
4.388 * [taylor]: Taking taylor expansion of 0 in z
4.390 * [taylor]: Taking taylor expansion of 0 in y
4.390 * [taylor]: Taking taylor expansion of 0 in z
4.391 * [taylor]: Taking taylor expansion of 0 in z
4.392 * [taylor]: Taking taylor expansion of 0 in z
4.393 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 (* z y))) in (x y z) around 0
4.393 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 (* z y))) in z
4.393 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ -1 (* z y)))
4.393 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in z
4.393 * [taylor]: Taking taylor expansion of (/ -1 x) in z
4.393 * [taylor]: Taking taylor expansion of -1 in z
4.393 * [taylor]: Taking taylor expansion of x in z
4.393 * [taylor]: Taking taylor expansion of (/ -1 y) in z
4.393 * [taylor]: Taking taylor expansion of -1 in z
4.393 * [taylor]: Taking taylor expansion of y in z
4.393 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in z
4.393 * [taylor]: Taking taylor expansion of -1 in z
4.393 * [taylor]: Taking taylor expansion of (* z y) in z
4.393 * [taylor]: Taking taylor expansion of z in z
4.393 * [taylor]: Taking taylor expansion of y in z
4.393 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 (* z y))) in y
4.394 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ -1 (* z y)))
4.394 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in y
4.394 * [taylor]: Taking taylor expansion of (/ -1 x) in y
4.394 * [taylor]: Taking taylor expansion of -1 in y
4.394 * [taylor]: Taking taylor expansion of x in y
4.394 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.394 * [taylor]: Taking taylor expansion of -1 in y
4.394 * [taylor]: Taking taylor expansion of y in y
4.394 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in y
4.394 * [taylor]: Taking taylor expansion of -1 in y
4.396 * [taylor]: Taking taylor expansion of (* z y) in y
4.396 * [taylor]: Taking taylor expansion of z in y
4.396 * [taylor]: Taking taylor expansion of y in y
4.397 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 (* z y))) in x
4.397 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ -1 (* z y)))
4.397 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
4.397 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.397 * [taylor]: Taking taylor expansion of -1 in x
4.397 * [taylor]: Taking taylor expansion of x in x
4.397 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.397 * [taylor]: Taking taylor expansion of -1 in x
4.397 * [taylor]: Taking taylor expansion of y in x
4.397 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in x
4.397 * [taylor]: Taking taylor expansion of -1 in x
4.397 * [taylor]: Taking taylor expansion of (* z y) in x
4.397 * [taylor]: Taking taylor expansion of z in x
4.397 * [taylor]: Taking taylor expansion of y in x
4.397 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 (* z y))) in x
4.397 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ -1 (* z y)))
4.398 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
4.398 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.398 * [taylor]: Taking taylor expansion of -1 in x
4.398 * [taylor]: Taking taylor expansion of x in x
4.398 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.398 * [taylor]: Taking taylor expansion of -1 in x
4.398 * [taylor]: Taking taylor expansion of y in x
4.398 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in x
4.398 * [taylor]: Taking taylor expansion of -1 in x
4.398 * [taylor]: Taking taylor expansion of (* z y) in x
4.398 * [taylor]: Taking taylor expansion of z in x
4.398 * [taylor]: Taking taylor expansion of y in x
4.398 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.398 * [taylor]: Taking taylor expansion of y in y
4.398 * [taylor]: Taking taylor expansion of 1 in z
4.399 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
4.399 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
4.399 * [taylor]: Taking taylor expansion of (* z y) in y
4.399 * [taylor]: Taking taylor expansion of z in y
4.399 * [taylor]: Taking taylor expansion of y in y
4.400 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
4.400 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.400 * [taylor]: Taking taylor expansion of z in z
4.401 * [taylor]: Taking taylor expansion of 0 in z
4.402 * [taylor]: Taking taylor expansion of 0 in y
4.403 * [taylor]: Taking taylor expansion of 0 in z
4.403 * [taylor]: Taking taylor expansion of 0 in z
4.406 * [taylor]: Taking taylor expansion of 0 in y
4.406 * [taylor]: Taking taylor expansion of 0 in z
4.407 * [taylor]: Taking taylor expansion of 0 in z
4.407 * [taylor]: Taking taylor expansion of 0 in z
4.408 * * * [progress]: simplifying candidates
4.409 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (fma x y (* (- z) y)))
  (log1p (fma x y (* (- z) y)))
  (* x y)
  (log (fma x y (* (- z) y)))
  (exp (fma x y (* (- z) y)))
  (* (cbrt (fma x y (* (- z) y))) (cbrt (fma x y (* (- z) y))))
  (cbrt (fma x y (* (- z) y)))
  (* (* (fma x y (* (- z) y)) (fma x y (* (- z) y))) (fma x y (* (- z) y)))
  (sqrt (fma x y (* (- z) y)))
  (sqrt (fma x y (* (- z) y)))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
  (- (* x y) (* z y))
4.410 * * [simplify]: iteration  0 :  18  enodes  (cost  120 )
4.412 * * [simplify]: iteration  1 :  26  enodes  (cost  90 )
4.415 * * [simplify]: iteration  2 :  68  enodes  (cost  80 )
4.428 * * [simplify]: iteration  3 :  264  enodes  (cost  80 )
4.513 * * [simplify]: iteration  4 :  1043  enodes  (cost  80 )
5.348 * * [simplify]: iteration  5 :  3711  enodes  (cost  80 )
6.783 * * [simplify]: iteration  done :  5000  enodes  (cost  80 )
6.783 * [simplify]: Simplified to:
   (expm1 (* y (- x z)))
  (log1p (* y (- x z)))
  (* x y)
  (log (* y (- x z)))
  (exp (* y (- x z)))
  (* (cbrt (* y (- x z))) (cbrt (* y (- x z))))
  (cbrt (* y (- x z)))
  (pow (* y (- x z)) 3)
  (sqrt (* y (- x z)))
  (sqrt (* y (- x z)))
  (* y (- x z))
  (* y (- x z))
  (* y (- x z))
6.783 * * * [progress]: adding candidates to table
6.809 * [progress]: [Phase 3 of 3] Extracting.
6.809 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (* y (- x z)))> #<alt (λ (x y z) (fma x y (* (- z) y)))>)
6.809 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
6.809 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (* y (- x z)))> #<alt (λ (x y z) (fma x y (* (- z) y)))>)
6.821 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (* y (- x z)))> #<alt (λ (x y z) (fma x y (* (- z) y)))>)
6.833 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (* y (- x z)))> #<alt (λ (x y z) (fma x y (* (- z) y)))>)
6.847 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
6.847 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fma x y (* (- z) y))
6.847 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
6.848 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
6.848 * * [simplify]: iteration  2 :  12  enodes  (cost  7 )
6.848 * * [simplify]: iteration  3 :  13  enodes  (cost  7 )
6.849 * * [simplify]: iteration  done :  13  enodes  (cost  7 )
6.849 * [simplify]: Simplified to:
   (fma x y (* (- z) y))
7.671 * [regime-testing]: Baseline error score: 0.007750968871108889
7.672 * [regime-testing]: Oracle error score: 0.0026253281660207524
7.672 * [regime-testing]: End program error score: 0.007750968871108889
7.693 * [regime-testing]: Target error score: 0.014376797099637455