2.784 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.044 * * * [progress]: [2/2] Setting up program.
0.047 * [progress]: [Phase 2 of 3] Improving.
0.048 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (fma x y z) (+ 1.0 (+ (* x y) z)))
0.052 * * [simplify]: iteration  0 :  247  enodes  (cost  12 )
0.053 * * [simplify]: iteration  1 :  247  enodes  (cost  12 )
0.053 * [simplify]: Simplified to:
   (- (fma x y z) (+ z (+ 1.0 (* x y))))
0.056 * * [progress]: iteration 1 / 4
0.056 * * * [progress]: picking best candidate
0.059 * * * * [pick]: Picked  #<alt (λ (x y z) (- (fma x y z) (+ 1.0 (+ (* x y) z))))>
0.059 * * * [progress]: localizing error
0.068 * * * [progress]: generating rewritten candidates
0.068 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.076 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2)
0.081 * * * [progress]: generating series expansions
0.081 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.081 * [approximate]: Taking taylor expansion of (- (fma x y z) (+ (* x y) (+ z 1.0))) in (x y z) around 0
0.081 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) (+ z 1.0))) in z
0.081 * [taylor]: Taking taylor expansion of (fma x y z) in z
0.082 * [taylor]: Taking taylor expansion of (+ (* x y) (+ z 1.0)) in z
0.082 * [taylor]: Taking taylor expansion of (* x y) in z
0.082 * [taylor]: Taking taylor expansion of x in z
0.082 * [taylor]: Taking taylor expansion of y in z
0.082 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
0.082 * [taylor]: Taking taylor expansion of z in z
0.082 * [taylor]: Taking taylor expansion of 1.0 in z
0.082 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) (+ z 1.0))) in y
0.083 * [taylor]: Taking taylor expansion of (fma x y z) in y
0.083 * [taylor]: Taking taylor expansion of (+ (* x y) (+ z 1.0)) in y
0.083 * [taylor]: Taking taylor expansion of (* x y) in y
0.083 * [taylor]: Taking taylor expansion of x in y
0.083 * [taylor]: Taking taylor expansion of y in y
0.083 * [taylor]: Taking taylor expansion of (+ z 1.0) in y
0.083 * [taylor]: Taking taylor expansion of z in y
0.083 * [taylor]: Taking taylor expansion of 1.0 in y
0.083 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) (+ z 1.0))) in x
0.083 * [taylor]: Taking taylor expansion of (fma x y z) in x
0.083 * [taylor]: Taking taylor expansion of (+ (* x y) (+ z 1.0)) in x
0.083 * [taylor]: Taking taylor expansion of (* x y) in x
0.083 * [taylor]: Taking taylor expansion of x in x
0.083 * [taylor]: Taking taylor expansion of y in x
0.083 * [taylor]: Taking taylor expansion of (+ z 1.0) in x
0.083 * [taylor]: Taking taylor expansion of z in x
0.083 * [taylor]: Taking taylor expansion of 1.0 in x
0.083 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) (+ z 1.0))) in x
0.083 * [taylor]: Taking taylor expansion of (fma x y z) in x
0.083 * [taylor]: Taking taylor expansion of (+ (* x y) (+ z 1.0)) in x
0.083 * [taylor]: Taking taylor expansion of (* x y) in x
0.083 * [taylor]: Taking taylor expansion of x in x
0.083 * [taylor]: Taking taylor expansion of y in x
0.083 * [taylor]: Taking taylor expansion of (+ z 1.0) in x
0.083 * [taylor]: Taking taylor expansion of z in x
0.083 * [taylor]: Taking taylor expansion of 1.0 in x
0.083 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ z 1.0)) in y
0.083 * [taylor]: Taking taylor expansion of (fma x y z) in y
0.083 * [taylor]: Taking taylor expansion of (+ z 1.0) in y
0.083 * [taylor]: Taking taylor expansion of z in y
0.083 * [taylor]: Taking taylor expansion of 1.0 in y
0.083 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ z 1.0)) in z
0.083 * [taylor]: Taking taylor expansion of (fma x y z) in z
0.083 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
0.083 * [taylor]: Taking taylor expansion of z in z
0.083 * [taylor]: Taking taylor expansion of 1.0 in z
0.084 * [taylor]: Taking taylor expansion of (neg y) in y
0.084 * [taylor]: Taking taylor expansion of y in y
0.084 * [taylor]: Taking taylor expansion of 0 in z
0.084 * [taylor]: Taking taylor expansion of 0 in z
0.084 * [taylor]: Taking taylor expansion of 0 in y
0.084 * [taylor]: Taking taylor expansion of 0 in z
0.084 * [taylor]: Taking taylor expansion of (neg 1) in z
0.084 * [taylor]: Taking taylor expansion of 1 in z
0.084 * [approximate]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (+ (/ 1 z) (/ 1 (* x y))))) in (x y z) around 0
0.084 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (+ (/ 1 z) (/ 1 (* x y))))) in z
0.084 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in z
0.084 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (/ 1 z) (/ 1 (* x y)))) in z
0.085 * [taylor]: Taking taylor expansion of 1.0 in z
0.085 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in z
0.085 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.085 * [taylor]: Taking taylor expansion of z in z
0.085 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.085 * [taylor]: Taking taylor expansion of (* x y) in z
0.085 * [taylor]: Taking taylor expansion of x in z
0.085 * [taylor]: Taking taylor expansion of y in z
0.085 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (+ (/ 1 z) (/ 1 (* x y))))) in y
0.085 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in y
0.085 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (/ 1 z) (/ 1 (* x y)))) in y
0.085 * [taylor]: Taking taylor expansion of 1.0 in y
0.085 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in y
0.085 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.085 * [taylor]: Taking taylor expansion of z in y
0.085 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.085 * [taylor]: Taking taylor expansion of (* x y) in y
0.085 * [taylor]: Taking taylor expansion of x in y
0.085 * [taylor]: Taking taylor expansion of y in y
0.085 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (+ (/ 1 z) (/ 1 (* x y))))) in x
0.085 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in x
0.085 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (/ 1 z) (/ 1 (* x y)))) in x
0.085 * [taylor]: Taking taylor expansion of 1.0 in x
0.085 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in x
0.085 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.085 * [taylor]: Taking taylor expansion of z in x
0.085 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.085 * [taylor]: Taking taylor expansion of (* x y) in x
0.085 * [taylor]: Taking taylor expansion of x in x
0.085 * [taylor]: Taking taylor expansion of y in x
0.085 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (+ (/ 1 z) (/ 1 (* x y))))) in x
0.085 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in x
0.085 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (/ 1 z) (/ 1 (* x y)))) in x
0.085 * [taylor]: Taking taylor expansion of 1.0 in x
0.085 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in x
0.086 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.086 * [taylor]: Taking taylor expansion of z in x
0.086 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.086 * [taylor]: Taking taylor expansion of (* x y) in x
0.086 * [taylor]: Taking taylor expansion of x in x
0.086 * [taylor]: Taking taylor expansion of y in x
0.086 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.086 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.086 * [taylor]: Taking taylor expansion of y in y
0.086 * [taylor]: Taking taylor expansion of (neg 1) in z
0.086 * [taylor]: Taking taylor expansion of 1 in z
0.086 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (/ 1 z))) in y
0.086 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in y
0.086 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 z)) in y
0.086 * [taylor]: Taking taylor expansion of 1.0 in y
0.086 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.086 * [taylor]: Taking taylor expansion of z in y
0.086 * [taylor]: Taking taylor expansion of 0 in z
0.087 * [taylor]: Taking taylor expansion of 0 in y
0.087 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (/ 1 z))) in z
0.087 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in z
0.087 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 z)) in z
0.087 * [taylor]: Taking taylor expansion of 1.0 in z
0.087 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.087 * [taylor]: Taking taylor expansion of z in z
0.087 * [taylor]: Taking taylor expansion of 0 in z
0.087 * [taylor]: Taking taylor expansion of 0 in y
0.087 * [taylor]: Taking taylor expansion of 0 in z
0.088 * [taylor]: Taking taylor expansion of 0 in z
0.088 * [taylor]: Taking taylor expansion of 0 in z
0.088 * [approximate]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (+ 1.0 (/ 1 (* x y)))) in (x y z) around 0
0.088 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (+ 1.0 (/ 1 (* x y)))) in z
0.088 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in z
0.088 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in z
0.088 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.088 * [taylor]: Taking taylor expansion of z in z
0.088 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in z
0.088 * [taylor]: Taking taylor expansion of 1.0 in z
0.089 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.089 * [taylor]: Taking taylor expansion of (* x y) in z
0.089 * [taylor]: Taking taylor expansion of x in z
0.089 * [taylor]: Taking taylor expansion of y in z
0.089 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (+ 1.0 (/ 1 (* x y)))) in y
0.089 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in y
0.089 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in y
0.089 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.089 * [taylor]: Taking taylor expansion of z in y
0.089 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in y
0.089 * [taylor]: Taking taylor expansion of 1.0 in y
0.089 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.089 * [taylor]: Taking taylor expansion of (* x y) in y
0.089 * [taylor]: Taking taylor expansion of x in y
0.089 * [taylor]: Taking taylor expansion of y in y
0.089 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (+ 1.0 (/ 1 (* x y)))) in x
0.089 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in x
0.089 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in x
0.089 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.089 * [taylor]: Taking taylor expansion of z in x
0.089 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x
0.089 * [taylor]: Taking taylor expansion of 1.0 in x
0.089 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.089 * [taylor]: Taking taylor expansion of (* x y) in x
0.089 * [taylor]: Taking taylor expansion of x in x
0.089 * [taylor]: Taking taylor expansion of y in x
0.089 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (+ 1.0 (/ 1 (* x y)))) in x
0.089 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in x
0.089 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in x
0.089 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.089 * [taylor]: Taking taylor expansion of z in x
0.089 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x
0.089 * [taylor]: Taking taylor expansion of 1.0 in x
0.089 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.089 * [taylor]: Taking taylor expansion of (* x y) in x
0.090 * [taylor]: Taking taylor expansion of x in x
0.090 * [taylor]: Taking taylor expansion of y in x
0.090 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.090 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.090 * [taylor]: Taking taylor expansion of y in y
0.090 * [taylor]: Taking taylor expansion of (neg 1) in z
0.090 * [taylor]: Taking taylor expansion of 1 in z
0.090 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) 1.0) in y
0.090 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in y
0.090 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in y
0.090 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.090 * [taylor]: Taking taylor expansion of z in y
0.090 * [taylor]: Taking taylor expansion of 1.0 in y
0.090 * [taylor]: Taking taylor expansion of 0 in z
0.091 * [taylor]: Taking taylor expansion of 0 in y
0.091 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) 1.0) in z
0.091 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in z
0.091 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in z
0.091 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.091 * [taylor]: Taking taylor expansion of z in z
0.091 * [taylor]: Taking taylor expansion of 1.0 in z
0.091 * [taylor]: Taking taylor expansion of 0 in z
0.091 * [taylor]: Taking taylor expansion of 0 in y
0.091 * [taylor]: Taking taylor expansion of 0 in z
0.091 * [taylor]: Taking taylor expansion of 0 in z
0.092 * [taylor]: Taking taylor expansion of 0 in z
0.092 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2)
0.092 * [approximate]: Taking taylor expansion of (+ (* x y) z) in (x y z) around 0
0.092 * [taylor]: Taking taylor expansion of (+ (* x y) z) in z
0.092 * [taylor]: Taking taylor expansion of (* x y) in z
0.092 * [taylor]: Taking taylor expansion of x in z
0.092 * [taylor]: Taking taylor expansion of y in z
0.092 * [taylor]: Taking taylor expansion of z in z
0.092 * [taylor]: Taking taylor expansion of (+ (* x y) z) in y
0.092 * [taylor]: Taking taylor expansion of (* x y) in y
0.092 * [taylor]: Taking taylor expansion of x in y
0.092 * [taylor]: Taking taylor expansion of y in y
0.092 * [taylor]: Taking taylor expansion of z in y
0.092 * [taylor]: Taking taylor expansion of (+ (* x y) z) in x
0.092 * [taylor]: Taking taylor expansion of (* x y) in x
0.092 * [taylor]: Taking taylor expansion of x in x
0.092 * [taylor]: Taking taylor expansion of y in x
0.092 * [taylor]: Taking taylor expansion of z in x
0.093 * [taylor]: Taking taylor expansion of (+ (* x y) z) in x
0.093 * [taylor]: Taking taylor expansion of (* x y) in x
0.093 * [taylor]: Taking taylor expansion of x in x
0.093 * [taylor]: Taking taylor expansion of y in x
0.093 * [taylor]: Taking taylor expansion of z in x
0.093 * [taylor]: Taking taylor expansion of z in y
0.093 * [taylor]: Taking taylor expansion of z in z
0.093 * [taylor]: Taking taylor expansion of y in y
0.093 * [taylor]: Taking taylor expansion of 0 in z
0.093 * [taylor]: Taking taylor expansion of 0 in z
0.093 * [taylor]: Taking taylor expansion of 0 in y
0.093 * [taylor]: Taking taylor expansion of 0 in z
0.093 * [taylor]: Taking taylor expansion of 1 in z
0.093 * [taylor]: Taking taylor expansion of 0 in z
0.093 * [taylor]: Taking taylor expansion of 0 in y
0.093 * [taylor]: Taking taylor expansion of 0 in z
0.093 * [taylor]: Taking taylor expansion of 0 in z
0.093 * [approximate]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in (x y z) around 0
0.093 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in z
0.093 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.093 * [taylor]: Taking taylor expansion of z in z
0.094 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.094 * [taylor]: Taking taylor expansion of (* x y) in z
0.094 * [taylor]: Taking taylor expansion of x in z
0.094 * [taylor]: Taking taylor expansion of y in z
0.094 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in y
0.094 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.094 * [taylor]: Taking taylor expansion of z in y
0.094 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.094 * [taylor]: Taking taylor expansion of (* x y) in y
0.094 * [taylor]: Taking taylor expansion of x in y
0.094 * [taylor]: Taking taylor expansion of y in y
0.094 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in x
0.094 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.094 * [taylor]: Taking taylor expansion of z in x
0.094 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.094 * [taylor]: Taking taylor expansion of (* x y) in x
0.094 * [taylor]: Taking taylor expansion of x in x
0.094 * [taylor]: Taking taylor expansion of y in x
0.094 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in x
0.094 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.094 * [taylor]: Taking taylor expansion of z in x
0.094 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.094 * [taylor]: Taking taylor expansion of (* x y) in x
0.094 * [taylor]: Taking taylor expansion of x in x
0.094 * [taylor]: Taking taylor expansion of y in x
0.094 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.094 * [taylor]: Taking taylor expansion of y in y
0.094 * [taylor]: Taking taylor expansion of 1 in z
0.094 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.094 * [taylor]: Taking taylor expansion of z in y
0.095 * [taylor]: Taking taylor expansion of 0 in z
0.095 * [taylor]: Taking taylor expansion of 0 in y
0.095 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.095 * [taylor]: Taking taylor expansion of z in z
0.095 * [taylor]: Taking taylor expansion of 0 in z
0.095 * [taylor]: Taking taylor expansion of 0 in y
0.095 * [taylor]: Taking taylor expansion of 0 in z
0.095 * [taylor]: Taking taylor expansion of 0 in z
0.095 * [taylor]: Taking taylor expansion of 0 in z
0.096 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in (x y z) around 0
0.096 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in z
0.096 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.096 * [taylor]: Taking taylor expansion of (* x y) in z
0.096 * [taylor]: Taking taylor expansion of x in z
0.096 * [taylor]: Taking taylor expansion of y in z
0.096 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.096 * [taylor]: Taking taylor expansion of z in z
0.096 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in y
0.096 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.096 * [taylor]: Taking taylor expansion of (* x y) in y
0.096 * [taylor]: Taking taylor expansion of x in y
0.096 * [taylor]: Taking taylor expansion of y in y
0.096 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.096 * [taylor]: Taking taylor expansion of z in y
0.096 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in x
0.096 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.096 * [taylor]: Taking taylor expansion of (* x y) in x
0.096 * [taylor]: Taking taylor expansion of x in x
0.096 * [taylor]: Taking taylor expansion of y in x
0.096 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.096 * [taylor]: Taking taylor expansion of z in x
0.096 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in x
0.096 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.096 * [taylor]: Taking taylor expansion of (* x y) in x
0.096 * [taylor]: Taking taylor expansion of x in x
0.096 * [taylor]: Taking taylor expansion of y in x
0.096 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.096 * [taylor]: Taking taylor expansion of z in x
0.096 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.096 * [taylor]: Taking taylor expansion of y in y
0.096 * [taylor]: Taking taylor expansion of 1 in z
0.097 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in y
0.097 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.097 * [taylor]: Taking taylor expansion of z in y
0.097 * [taylor]: Taking taylor expansion of 0 in z
0.097 * [taylor]: Taking taylor expansion of 0 in y
0.097 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
0.097 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.097 * [taylor]: Taking taylor expansion of z in z
0.097 * [taylor]: Taking taylor expansion of 0 in z
0.097 * [taylor]: Taking taylor expansion of 0 in y
0.097 * [taylor]: Taking taylor expansion of 0 in z
0.098 * [taylor]: Taking taylor expansion of 0 in z
0.098 * [taylor]: Taking taylor expansion of 0 in z
0.098 * * * [progress]: simplifying candidates
0.098 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (fma x y z)) (* (exp 1.0) (* (exp (* x y)) (exp z))))
  (/ (exp (fma x y z)) (* (exp 1.0) (exp (+ (* x y) z))))
  (/ (exp (fma x y z)) (exp (+ 1.0 (+ (* x y) z))))
  (log (- (fma x y z) (+ 1.0 (+ (* x y) z))))
  (exp (- (fma x y z) (+ 1.0 (+ (* x y) z))))
  (* (cbrt (- (fma x y z) (+ 1.0 (+ (* x y) z)))) (cbrt (- (fma x y z) (+ 1.0 (+ (* x y) z)))))
  (cbrt (- (fma x y z) (+ 1.0 (+ (* x y) z))))
  (* (* (- (fma x y z) (+ 1.0 (+ (* x y) z))) (- (fma x y z) (+ 1.0 (+ (* x y) z)))) (- (fma x y z) (+ 1.0 (+ (* x y) z))))
  (sqrt (- (fma x y z) (+ 1.0 (+ (* x y) z))))
  (sqrt (- (fma x y z) (+ 1.0 (+ (* x y) z))))
  (- (pow (fma x y z) 3) (pow (+ 1.0 (+ (* x y) z)) 3))
  (+ (* (fma x y z) (fma x y z)) (+ (* (+ 1.0 (+ (* x y) z)) (+ 1.0 (+ (* x y) z))) (* (fma x y z) (+ 1.0 (+ (* x y) z)))))
  (neg (+ 1.0 (+ (* x y) z)))
  (- (* (fma x y z) (fma x y z)) (* (+ 1.0 (+ (* x y) z)) (+ 1.0 (+ (* x y) z))))
  (+ (fma x y z) (+ 1.0 (+ (* x y) z)))
  (+ (sqrt (fma x y z)) (sqrt (+ 1.0 (+ (* x y) z))))
  (- (sqrt (fma x y z)) (sqrt (+ 1.0 (+ (* x y) z))))
  (- (fma x y z) (+ 1.0 (+ (* x y) z)))
  (- (fma x y z) (+ 1.0 (+ (* x y) z)))
  (- (fma x y z) 1.0)
  (neg (+ 1.0 (+ (* x y) z)))
  (* (exp (* x y)) (exp z))
  (log (+ (* x y) z))
  (exp (+ (* x 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))
  (+ (pow (* x y) 3) (pow z 3))
  (+ (* (* x y) (* x y)) (- (* z z) (* (* x y) z)))
  (- (* (* x y) (* x y)) (* z z))
  (- (* x y) z)
  (- (fma x y z) (+ (* x y) (+ z 1.0)))
  (- (fma x y z) (+ (* x y) (+ z 1.0)))
  (- (fma x y z) (+ (* x y) (+ z 1.0)))
  (+ (* x y) z)
  (+ (* x y) z)
  (+ (* x y) z)
0.122 * * [simplify]: iteration  0 :  4954  enodes  (cost  447 )
0.122 * * [simplify]: iteration  1 :  4954  enodes  (cost  447 )
0.124 * [simplify]: Simplified to:
   (exp (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (exp (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (exp (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (log (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (exp (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (* (cbrt (- (fma x y z) (+ z (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ z (+ 1.0 (* x y))))))
  (cbrt (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (pow (- (fma x y z) (+ z (+ 1.0 (* x y)))) 3)
  (sqrt (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (sqrt (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (- (pow (fma x y z) 3) (pow (+ z (+ 1.0 (* x y))) 3))
  (+ (* (fma x y z) (fma x y z)) (* (+ z (+ 1.0 (* x y))) (+ z (+ (fma x y z) (+ 1.0 (* x y))))))
  (- (neg 1.0) (+ z (* x y)))
  (- (* (fma x y z) (fma x y z)) (* (+ z (+ 1.0 (* x y))) (+ z (+ 1.0 (* x y)))))
  (+ z (+ (fma x y z) (+ 1.0 (* x y))))
  (+ (sqrt (fma x y z)) (sqrt (+ z (+ 1.0 (* x y)))))
  (- (sqrt (fma x y z)) (sqrt (+ z (+ 1.0 (* x y)))))
  (- (fma x y z) (+ z (+ 1.0 (* x y))))
  (- (fma x y z) (+ z (+ 1.0 (* x y))))
  (- (fma x y z) 1.0)
  (- (neg 1.0) (+ z (* x y)))
  (exp (+ z (* x y)))
  (log (+ z (* x y)))
  (exp (+ z (* x y)))
  (* (cbrt (+ z (* x y))) (cbrt (+ z (* x y))))
  (cbrt (+ z (* x y)))
  (pow (+ z (* x y)) 3)
  (sqrt (+ z (* x y)))
  (sqrt (+ z (* x y)))
  (+ (pow (* x y) 3) (pow z 3))
  (+ (* z z) (* x (* y (- (* x y) z))))
  (- (* x (* x (* y y))) (* z z))
  (- (* x y) z)
  (- (fma x y z) (+ z (+ 1.0 (* x y))))
  (- (fma x y z) (+ z (+ 1.0 (* x y))))
  (- (fma x y z) (+ z (+ 1.0 (* x y))))
  (+ z (* x y))
  (+ z (* x y))
  (+ z (* x y))
0.124 * * * [progress]: adding candidates to table
0.168 * * [progress]: iteration 2 / 4
0.169 * * * [progress]: picking best candidate
0.195 * * * * [pick]: Picked  #<alt (λ (x y z) (- (- (fma x y z) 1.0) (+ (* x y) z)))>
0.195 * * * [progress]: localizing error
0.203 * * * [progress]: generating rewritten candidates
0.203 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.213 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.218 * * * [progress]: generating series expansions
0.218 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.219 * [approximate]: Taking taylor expansion of (- (fma x y z) (+ (* x y) (+ z 1.0))) in (x y z) around 0
0.219 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) (+ z 1.0))) in z
0.219 * [taylor]: Taking taylor expansion of (fma x y z) in z
0.219 * [taylor]: Taking taylor expansion of (+ (* x y) (+ z 1.0)) in z
0.219 * [taylor]: Taking taylor expansion of (* x y) in z
0.219 * [taylor]: Taking taylor expansion of x in z
0.219 * [taylor]: Taking taylor expansion of y in z
0.219 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
0.219 * [taylor]: Taking taylor expansion of z in z
0.219 * [taylor]: Taking taylor expansion of 1.0 in z
0.219 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) (+ z 1.0))) in y
0.219 * [taylor]: Taking taylor expansion of (fma x y z) in y
0.219 * [taylor]: Taking taylor expansion of (+ (* x y) (+ z 1.0)) in y
0.219 * [taylor]: Taking taylor expansion of (* x y) in y
0.219 * [taylor]: Taking taylor expansion of x in y
0.219 * [taylor]: Taking taylor expansion of y in y
0.219 * [taylor]: Taking taylor expansion of (+ z 1.0) in y
0.219 * [taylor]: Taking taylor expansion of z in y
0.219 * [taylor]: Taking taylor expansion of 1.0 in y
0.219 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) (+ z 1.0))) in x
0.219 * [taylor]: Taking taylor expansion of (fma x y z) in x
0.219 * [taylor]: Taking taylor expansion of (+ (* x y) (+ z 1.0)) in x
0.219 * [taylor]: Taking taylor expansion of (* x y) in x
0.219 * [taylor]: Taking taylor expansion of x in x
0.219 * [taylor]: Taking taylor expansion of y in x
0.219 * [taylor]: Taking taylor expansion of (+ z 1.0) in x
0.219 * [taylor]: Taking taylor expansion of z in x
0.219 * [taylor]: Taking taylor expansion of 1.0 in x
0.219 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) (+ z 1.0))) in x
0.219 * [taylor]: Taking taylor expansion of (fma x y z) in x
0.219 * [taylor]: Taking taylor expansion of (+ (* x y) (+ z 1.0)) in x
0.219 * [taylor]: Taking taylor expansion of (* x y) in x
0.219 * [taylor]: Taking taylor expansion of x in x
0.219 * [taylor]: Taking taylor expansion of y in x
0.219 * [taylor]: Taking taylor expansion of (+ z 1.0) in x
0.219 * [taylor]: Taking taylor expansion of z in x
0.219 * [taylor]: Taking taylor expansion of 1.0 in x
0.219 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ z 1.0)) in y
0.219 * [taylor]: Taking taylor expansion of (fma x y z) in y
0.220 * [taylor]: Taking taylor expansion of (+ z 1.0) in y
0.220 * [taylor]: Taking taylor expansion of z in y
0.220 * [taylor]: Taking taylor expansion of 1.0 in y
0.220 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ z 1.0)) in z
0.220 * [taylor]: Taking taylor expansion of (fma x y z) in z
0.220 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
0.220 * [taylor]: Taking taylor expansion of z in z
0.220 * [taylor]: Taking taylor expansion of 1.0 in z
0.220 * [taylor]: Taking taylor expansion of (neg y) in y
0.220 * [taylor]: Taking taylor expansion of y in y
0.220 * [taylor]: Taking taylor expansion of 0 in z
0.220 * [taylor]: Taking taylor expansion of 0 in z
0.220 * [taylor]: Taking taylor expansion of 0 in y
0.220 * [taylor]: Taking taylor expansion of 0 in z
0.220 * [taylor]: Taking taylor expansion of (neg 1) in z
0.220 * [taylor]: Taking taylor expansion of 1 in z
0.221 * [approximate]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 (* x y)) (+ (/ 1 z) 1.0))) in (x y z) around 0
0.221 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 (* x y)) (+ (/ 1 z) 1.0))) in z
0.221 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in z
0.221 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 z) 1.0)) in z
0.221 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.221 * [taylor]: Taking taylor expansion of (* x y) in z
0.221 * [taylor]: Taking taylor expansion of x in z
0.221 * [taylor]: Taking taylor expansion of y in z
0.221 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
0.221 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.221 * [taylor]: Taking taylor expansion of z in z
0.221 * [taylor]: Taking taylor expansion of 1.0 in z
0.221 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 (* x y)) (+ (/ 1 z) 1.0))) in y
0.221 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in y
0.221 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 z) 1.0)) in y
0.221 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.221 * [taylor]: Taking taylor expansion of (* x y) in y
0.221 * [taylor]: Taking taylor expansion of x in y
0.221 * [taylor]: Taking taylor expansion of y in y
0.221 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y
0.221 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.221 * [taylor]: Taking taylor expansion of z in y
0.221 * [taylor]: Taking taylor expansion of 1.0 in y
0.221 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 (* x y)) (+ (/ 1 z) 1.0))) in x
0.221 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in x
0.221 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 z) 1.0)) in x
0.221 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.221 * [taylor]: Taking taylor expansion of (* x y) in x
0.221 * [taylor]: Taking taylor expansion of x in x
0.221 * [taylor]: Taking taylor expansion of y in x
0.221 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x
0.222 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.222 * [taylor]: Taking taylor expansion of z in x
0.222 * [taylor]: Taking taylor expansion of 1.0 in x
0.222 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 (* x y)) (+ (/ 1 z) 1.0))) in x
0.222 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in x
0.222 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 z) 1.0)) in x
0.222 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.222 * [taylor]: Taking taylor expansion of (* x y) in x
0.222 * [taylor]: Taking taylor expansion of x in x
0.222 * [taylor]: Taking taylor expansion of y in x
0.222 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x
0.222 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.222 * [taylor]: Taking taylor expansion of z in x
0.222 * [taylor]: Taking taylor expansion of 1.0 in x
0.222 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.222 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.222 * [taylor]: Taking taylor expansion of y in y
0.222 * [taylor]: Taking taylor expansion of (neg 1) in z
0.222 * [taylor]: Taking taylor expansion of 1 in z
0.223 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (/ 1 z))) in y
0.223 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in y
0.223 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 z)) in y
0.223 * [taylor]: Taking taylor expansion of 1.0 in y
0.223 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.223 * [taylor]: Taking taylor expansion of z in y
0.223 * [taylor]: Taking taylor expansion of 0 in z
0.223 * [taylor]: Taking taylor expansion of 0 in y
0.223 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (/ 1 z))) in z
0.223 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in z
0.223 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 z)) in z
0.223 * [taylor]: Taking taylor expansion of 1.0 in z
0.223 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.223 * [taylor]: Taking taylor expansion of z in z
0.224 * [taylor]: Taking taylor expansion of 0 in z
0.224 * [taylor]: Taking taylor expansion of 0 in y
0.224 * [taylor]: Taking taylor expansion of 0 in z
0.224 * [taylor]: Taking taylor expansion of 0 in z
0.224 * [taylor]: Taking taylor expansion of 0 in z
0.225 * [approximate]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (+ (/ 1 (* x y)) 1.0)) in (x y z) around 0
0.225 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (+ (/ 1 (* x y)) 1.0)) in z
0.225 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in z
0.225 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in z
0.225 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.225 * [taylor]: Taking taylor expansion of z in z
0.225 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1.0) in z
0.225 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.225 * [taylor]: Taking taylor expansion of (* x y) in z
0.225 * [taylor]: Taking taylor expansion of x in z
0.225 * [taylor]: Taking taylor expansion of y in z
0.225 * [taylor]: Taking taylor expansion of 1.0 in z
0.225 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (+ (/ 1 (* x y)) 1.0)) in y
0.225 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in y
0.225 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in y
0.225 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.225 * [taylor]: Taking taylor expansion of z in y
0.225 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1.0) in y
0.225 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.225 * [taylor]: Taking taylor expansion of (* x y) in y
0.225 * [taylor]: Taking taylor expansion of x in y
0.225 * [taylor]: Taking taylor expansion of y in y
0.225 * [taylor]: Taking taylor expansion of 1.0 in y
0.225 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (+ (/ 1 (* x y)) 1.0)) in x
0.225 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in x
0.225 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in x
0.225 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.226 * [taylor]: Taking taylor expansion of z in x
0.226 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1.0) in x
0.226 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.226 * [taylor]: Taking taylor expansion of (* x y) in x
0.226 * [taylor]: Taking taylor expansion of x in x
0.226 * [taylor]: Taking taylor expansion of y in x
0.226 * [taylor]: Taking taylor expansion of 1.0 in x
0.226 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (+ (/ 1 (* x y)) 1.0)) in x
0.226 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in x
0.226 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in x
0.226 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.226 * [taylor]: Taking taylor expansion of z in x
0.226 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1.0) in x
0.226 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.226 * [taylor]: Taking taylor expansion of (* x y) in x
0.226 * [taylor]: Taking taylor expansion of x in x
0.226 * [taylor]: Taking taylor expansion of y in x
0.226 * [taylor]: Taking taylor expansion of 1.0 in x
0.226 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.226 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.226 * [taylor]: Taking taylor expansion of y in y
0.226 * [taylor]: Taking taylor expansion of (neg 1) in z
0.226 * [taylor]: Taking taylor expansion of 1 in z
0.227 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) 1.0) in y
0.227 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in y
0.227 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in y
0.227 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.227 * [taylor]: Taking taylor expansion of z in y
0.227 * [taylor]: Taking taylor expansion of 1.0 in y
0.227 * [taylor]: Taking taylor expansion of 0 in z
0.227 * [taylor]: Taking taylor expansion of 0 in y
0.227 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) 1.0) in z
0.227 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in z
0.227 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in z
0.227 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.227 * [taylor]: Taking taylor expansion of z in z
0.227 * [taylor]: Taking taylor expansion of 1.0 in z
0.227 * [taylor]: Taking taylor expansion of 0 in z
0.228 * [taylor]: Taking taylor expansion of 0 in y
0.228 * [taylor]: Taking taylor expansion of 0 in z
0.228 * [taylor]: Taking taylor expansion of 0 in z
0.228 * [taylor]: Taking taylor expansion of 0 in z
0.228 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.229 * [approximate]: Taking taylor expansion of (+ (* x y) z) in (x y z) around 0
0.229 * [taylor]: Taking taylor expansion of (+ (* x y) z) in z
0.229 * [taylor]: Taking taylor expansion of (* x y) in z
0.229 * [taylor]: Taking taylor expansion of x in z
0.229 * [taylor]: Taking taylor expansion of y in z
0.229 * [taylor]: Taking taylor expansion of z in z
0.229 * [taylor]: Taking taylor expansion of (+ (* x y) z) in y
0.229 * [taylor]: Taking taylor expansion of (* x y) in y
0.229 * [taylor]: Taking taylor expansion of x in y
0.229 * [taylor]: Taking taylor expansion of y in y
0.229 * [taylor]: Taking taylor expansion of z in y
0.229 * [taylor]: Taking taylor expansion of (+ (* x y) z) in x
0.229 * [taylor]: Taking taylor expansion of (* x y) in x
0.229 * [taylor]: Taking taylor expansion of x in x
0.229 * [taylor]: Taking taylor expansion of y in x
0.229 * [taylor]: Taking taylor expansion of z in x
0.229 * [taylor]: Taking taylor expansion of (+ (* x y) z) in x
0.229 * [taylor]: Taking taylor expansion of (* x y) in x
0.229 * [taylor]: Taking taylor expansion of x in x
0.229 * [taylor]: Taking taylor expansion of y in x
0.229 * [taylor]: Taking taylor expansion of z in x
0.229 * [taylor]: Taking taylor expansion of z in y
0.229 * [taylor]: Taking taylor expansion of z in z
0.229 * [taylor]: Taking taylor expansion of y in y
0.229 * [taylor]: Taking taylor expansion of 0 in z
0.229 * [taylor]: Taking taylor expansion of 0 in z
0.229 * [taylor]: Taking taylor expansion of 0 in y
0.229 * [taylor]: Taking taylor expansion of 0 in z
0.229 * [taylor]: Taking taylor expansion of 1 in z
0.229 * [taylor]: Taking taylor expansion of 0 in z
0.229 * [taylor]: Taking taylor expansion of 0 in y
0.229 * [taylor]: Taking taylor expansion of 0 in z
0.229 * [taylor]: Taking taylor expansion of 0 in z
0.230 * [approximate]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in (x y z) around 0
0.230 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in z
0.230 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.230 * [taylor]: Taking taylor expansion of z in z
0.230 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.230 * [taylor]: Taking taylor expansion of (* x y) in z
0.230 * [taylor]: Taking taylor expansion of x in z
0.230 * [taylor]: Taking taylor expansion of y in z
0.230 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in y
0.230 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.230 * [taylor]: Taking taylor expansion of z in y
0.230 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.230 * [taylor]: Taking taylor expansion of (* x y) in y
0.230 * [taylor]: Taking taylor expansion of x in y
0.230 * [taylor]: Taking taylor expansion of y in y
0.230 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in x
0.230 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.230 * [taylor]: Taking taylor expansion of z in x
0.230 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.230 * [taylor]: Taking taylor expansion of (* x y) in x
0.230 * [taylor]: Taking taylor expansion of x in x
0.230 * [taylor]: Taking taylor expansion of y in x
0.230 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in x
0.230 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.230 * [taylor]: Taking taylor expansion of z in x
0.230 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.230 * [taylor]: Taking taylor expansion of (* x y) in x
0.230 * [taylor]: Taking taylor expansion of x in x
0.230 * [taylor]: Taking taylor expansion of y in x
0.230 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.230 * [taylor]: Taking taylor expansion of y in y
0.230 * [taylor]: Taking taylor expansion of 1 in z
0.231 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.231 * [taylor]: Taking taylor expansion of z in y
0.231 * [taylor]: Taking taylor expansion of 0 in z
0.231 * [taylor]: Taking taylor expansion of 0 in y
0.231 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.231 * [taylor]: Taking taylor expansion of z in z
0.231 * [taylor]: Taking taylor expansion of 0 in z
0.231 * [taylor]: Taking taylor expansion of 0 in y
0.231 * [taylor]: Taking taylor expansion of 0 in z
0.231 * [taylor]: Taking taylor expansion of 0 in z
0.231 * [taylor]: Taking taylor expansion of 0 in z
0.232 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in (x y z) around 0
0.232 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in z
0.232 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.232 * [taylor]: Taking taylor expansion of (* x y) in z
0.232 * [taylor]: Taking taylor expansion of x in z
0.232 * [taylor]: Taking taylor expansion of y in z
0.232 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.232 * [taylor]: Taking taylor expansion of z in z
0.232 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in y
0.232 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.232 * [taylor]: Taking taylor expansion of (* x y) in y
0.232 * [taylor]: Taking taylor expansion of x in y
0.232 * [taylor]: Taking taylor expansion of y in y
0.232 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.232 * [taylor]: Taking taylor expansion of z in y
0.232 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in x
0.232 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.232 * [taylor]: Taking taylor expansion of (* x y) in x
0.232 * [taylor]: Taking taylor expansion of x in x
0.232 * [taylor]: Taking taylor expansion of y in x
0.232 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.232 * [taylor]: Taking taylor expansion of z in x
0.232 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 z)) in x
0.232 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.232 * [taylor]: Taking taylor expansion of (* x y) in x
0.232 * [taylor]: Taking taylor expansion of x in x
0.232 * [taylor]: Taking taylor expansion of y in x
0.233 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.233 * [taylor]: Taking taylor expansion of z in x
0.233 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.233 * [taylor]: Taking taylor expansion of y in y
0.233 * [taylor]: Taking taylor expansion of 1 in z
0.233 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in y
0.233 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.233 * [taylor]: Taking taylor expansion of z in y
0.233 * [taylor]: Taking taylor expansion of 0 in z
0.233 * [taylor]: Taking taylor expansion of 0 in y
0.233 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z
0.233 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.233 * [taylor]: Taking taylor expansion of z in z
0.233 * [taylor]: Taking taylor expansion of 0 in z
0.234 * [taylor]: Taking taylor expansion of 0 in y
0.234 * [taylor]: Taking taylor expansion of 0 in z
0.234 * [taylor]: Taking taylor expansion of 0 in z
0.234 * [taylor]: Taking taylor expansion of 0 in z
0.234 * * * [progress]: simplifying candidates
0.235 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (/ (exp (fma x y z)) (exp 1.0)) (* (exp (* x y)) (exp z)))
  (/ (/ (exp (fma x y z)) (exp 1.0)) (exp (+ (* x y) z)))
  (/ (exp (- (fma x y z) 1.0)) (* (exp (* x y)) (exp z)))
  (/ (exp (- (fma x y z) 1.0)) (exp (+ (* x y) z)))
  (log (- (- (fma x y z) 1.0) (+ (* x y) z)))
  (exp (- (- (fma x y z) 1.0) (+ (* x y) z)))
  (* (cbrt (- (- (fma x y z) 1.0) (+ (* x y) z))) (cbrt (- (- (fma x y z) 1.0) (+ (* x y) z))))
  (cbrt (- (- (fma x y z) 1.0) (+ (* x y) z)))
  (* (* (- (- (fma x y z) 1.0) (+ (* x y) z)) (- (- (fma x y z) 1.0) (+ (* x y) z))) (- (- (fma x y z) 1.0) (+ (* x y) z)))
  (sqrt (- (- (fma x y z) 1.0) (+ (* x y) z)))
  (sqrt (- (- (fma x y z) 1.0) (+ (* x y) z)))
  (- (* (- (pow (fma x y z) 3) (pow 1.0 3)) (+ (* (* x y) (* x y)) (- (* z z) (* (* x y) z)))) (* (+ (* (fma x y z) (fma x y z)) (+ (* 1.0 1.0) (* (fma x y z) 1.0))) (+ (pow (* x y) 3) (pow z 3))))
  (* (+ (* (fma x y z) (fma x y z)) (+ (* 1.0 1.0) (* (fma x y z) 1.0))) (+ (* (* x y) (* x y)) (- (* z z) (* (* x y) z))))
  (- (* (- (pow (fma x y z) 3) (pow 1.0 3)) (- (* x y) z)) (* (+ (* (fma x y z) (fma x y z)) (+ (* 1.0 1.0) (* (fma x y z) 1.0))) (- (* (* x y) (* x y)) (* z z))))
  (* (+ (* (fma x y z) (fma x y z)) (+ (* 1.0 1.0) (* (fma x y z) 1.0))) (- (* x y) z))
  (- (* (- (* (fma x y z) (fma x y z)) (* 1.0 1.0)) (+ (* (* x y) (* x y)) (- (* z z) (* (* x y) z)))) (* (+ (fma x y z) 1.0) (+ (pow (* x y) 3) (pow z 3))))
  (* (+ (fma x y z) 1.0) (+ (* (* x y) (* x y)) (- (* z z) (* (* x y) z))))
  (- (* (- (* (fma x y z) (fma x y z)) (* 1.0 1.0)) (- (* x y) z)) (* (+ (fma x y z) 1.0) (- (* (* x y) (* x y)) (* z z))))
  (* (+ (fma x y z) 1.0) (- (* x y) z))
  (- (pow (- (fma x y z) 1.0) 3) (pow (+ (* x y) z) 3))
  (+ (* (- (fma x y z) 1.0) (- (fma x y z) 1.0)) (+ (* (+ (* x y) z) (+ (* x y) z)) (* (- (fma x y z) 1.0) (+ (* x y) z))))
  (neg (+ (* x y) z))
  (- (* (- (fma x y z) 1.0) (- (fma x y z) 1.0)) (* (+ (* x y) z) (+ (* x y) z)))
  (+ (- (fma x y z) 1.0) (+ (* x y) z))
  (+ (sqrt (- (fma x y z) 1.0)) (sqrt (+ (* x y) z)))
  (- (sqrt (- (fma x y z) 1.0)) (sqrt (+ (* x y) z)))
  (- (- (fma x y z) 1.0) (+ (* x y) z))
  (- (- (fma x y z) 1.0) (+ (* x y) z))
  (- (- (fma x y z) 1.0) (* x y))
  (- (neg 1.0) (+ (* x y) z))
  (- (neg 1.0) (+ (* x y) z))
  (+ 1.0 (+ (* x y) z))
  (neg (+ (* x y) z))
  (* (exp (* x y)) (exp z))
  (log (+ (* x y) z))
  (exp (+ (* x 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))
  (+ (pow (* x y) 3) (pow z 3))
  (+ (* (* x y) (* x y)) (- (* z z) (* (* x y) z)))
  (- (* (* x y) (* x y)) (* z z))
  (- (* x y) z)
  (- (fma x y z) (+ (* x y) (+ z 1.0)))
  (- (fma x y z) (+ (* x y) (+ z 1.0)))
  (- (fma x y z) (+ (* x y) (+ z 1.0)))
  (+ (* x y) z)
  (+ (* x y) z)
  (+ (* x y) z)
0.247 * * [simplify]: iteration  0 :  5318  enodes  (cost  722 )
0.250 * [simplify]: Simplified to:
   (exp (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (exp (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (exp (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (exp (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (log (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (exp (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (* (cbrt (- (fma x y z) (+ z (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ z (+ 1.0 (* x y))))))
  (cbrt (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (pow (- (fma x y z) (+ z (+ 1.0 (* x y)))) 3)
  (sqrt (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (sqrt (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (- (* (- (pow (fma x y z) 3) (pow 1.0 3)) (+ (* z z) (* (* x y) (- (* x y) z)))) (* (+ (* 1.0 1.0) (* (fma x y z) (+ (fma x y z) 1.0))) (+ (pow (* x y) 3) (pow z 3))))
  (* (+ (* z z) (* (* x y) (- (* x y) z))) (+ (* 1.0 1.0) (* (fma x y z) (+ (fma x y z) 1.0))))
  (* (- (* x y) z) (- (- (pow (fma x y z) 3) (pow 1.0 3)) (* (+ (* 1.0 1.0) (* (fma x y z) (+ (fma x y z) 1.0))) (+ z (* x y)))))
  (* (+ (* 1.0 1.0) (* (fma x y z) (+ (fma x y z) 1.0))) (- (* x y) z))
  (* (+ (fma x y z) 1.0) (- (* (- (fma x y z) 1.0) (+ (* z z) (* (* x y) (- (* x y) z)))) (+ (pow (* x y) 3) (pow z 3))))
  (* (+ (* z z) (* (* x y) (- (* x y) z))) (+ (fma x y z) 1.0))
  (* (+ (fma x y z) 1.0) (- (* (- (fma x y z) 1.0) (- (* x y) z)) (- (* x (* x (* y y))) (* z z))))
  (* (- (* x y) z) (+ (fma x y z) 1.0))
  (- (pow (- (fma x y z) 1.0) 3) (pow (+ z (* x y)) 3))
  (+ (* (+ z (* x y)) (+ z (* x y))) (* (- (fma x y z) 1.0) (+ z (+ (* x y) (- (fma x y z) 1.0)))))
  (- (* x (neg y)) z)
  (- (* (- (fma x y z) 1.0) (- (fma x y z) 1.0)) (* (+ z (* x y)) (+ z (* x y))))
  (+ z (+ (* x y) (- (fma x y z) 1.0)))
  (+ (sqrt (- (fma x y z) 1.0)) (sqrt (+ z (* x y))))
  (- (sqrt (- (fma x y z) 1.0)) (sqrt (+ z (* x y))))
  (- (fma x y z) (+ z (+ 1.0 (* x y))))
  (- (fma x y z) (+ z (+ 1.0 (* x y))))
  (- (fma x y z) (+ 1.0 (* x y)))
  (- (neg 1.0) (+ z (* x y)))
  (- (neg 1.0) (+ z (* x y)))
  (+ z (+ 1.0 (* x y)))
  (- (* x (neg y)) z)
  (exp (+ z (* x y)))
  (log (+ z (* x y)))
  (exp (+ z (* x y)))
  (* (cbrt (+ z (* x y))) (cbrt (+ z (* x y))))
  (cbrt (+ z (* x y)))
  (pow (+ z (* x y)) 3)
  (sqrt (+ z (* x y)))
  (sqrt (+ z (* x y)))
  (+ (pow (* x y) 3) (pow z 3))
  (+ (* z z) (* (* x y) (- (* x y) z)))
  (- (* x (* x (* y y))) (* z z))
  (- (* x y) z)
  (- (fma x y z) (+ z (+ 1.0 (* x y))))
  (- (fma x y z) (+ z (+ 1.0 (* x y))))
  (- (fma x y z) (+ z (+ 1.0 (* x y))))
  (+ z (* x y))
  (+ z (* x y))
  (+ z (* x y))
0.250 * * * [progress]: adding candidates to table
0.297 * * [progress]: iteration 3 / 4
0.297 * * * [progress]: picking best candidate
0.330 * * * * [pick]: Picked  #<alt (λ (x y z) (- (- (fma x y z) (+ 1.0 (* x y))) z))>
0.330 * * * [progress]: localizing error
0.338 * * * [progress]: generating rewritten candidates
0.338 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.343 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.353 * * * [progress]: generating series expansions
0.353 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.353 * [approximate]: Taking taylor expansion of (- (fma x y z) (+ (* x y) 1.0)) in (x y z) around 0
0.353 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) 1.0)) in z
0.353 * [taylor]: Taking taylor expansion of (fma x y z) in z
0.353 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in z
0.353 * [taylor]: Taking taylor expansion of (* x y) in z
0.353 * [taylor]: Taking taylor expansion of x in z
0.353 * [taylor]: Taking taylor expansion of y in z
0.353 * [taylor]: Taking taylor expansion of 1.0 in z
0.353 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) 1.0)) in y
0.353 * [taylor]: Taking taylor expansion of (fma x y z) in y
0.353 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in y
0.353 * [taylor]: Taking taylor expansion of (* x y) in y
0.353 * [taylor]: Taking taylor expansion of x in y
0.353 * [taylor]: Taking taylor expansion of y in y
0.353 * [taylor]: Taking taylor expansion of 1.0 in y
0.353 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) 1.0)) in x
0.353 * [taylor]: Taking taylor expansion of (fma x y z) in x
0.353 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in x
0.353 * [taylor]: Taking taylor expansion of (* x y) in x
0.353 * [taylor]: Taking taylor expansion of x in x
0.353 * [taylor]: Taking taylor expansion of y in x
0.353 * [taylor]: Taking taylor expansion of 1.0 in x
0.353 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) 1.0)) in x
0.353 * [taylor]: Taking taylor expansion of (fma x y z) in x
0.353 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in x
0.353 * [taylor]: Taking taylor expansion of (* x y) in x
0.353 * [taylor]: Taking taylor expansion of x in x
0.353 * [taylor]: Taking taylor expansion of y in x
0.353 * [taylor]: Taking taylor expansion of 1.0 in x
0.353 * [taylor]: Taking taylor expansion of (- (fma x y z) 1.0) in y
0.353 * [taylor]: Taking taylor expansion of (fma x y z) in y
0.354 * [taylor]: Taking taylor expansion of 1.0 in y
0.354 * [taylor]: Taking taylor expansion of (- (fma x y z) 1.0) in z
0.354 * [taylor]: Taking taylor expansion of (fma x y z) in z
0.354 * [taylor]: Taking taylor expansion of 1.0 in z
0.354 * [taylor]: Taking taylor expansion of (neg y) in y
0.354 * [taylor]: Taking taylor expansion of y in y
0.354 * [taylor]: Taking taylor expansion of 0 in z
0.354 * [taylor]: Taking taylor expansion of 0 in z
0.354 * [taylor]: Taking taylor expansion of 0 in y
0.354 * [taylor]: Taking taylor expansion of 0 in z
0.354 * [taylor]: Taking taylor expansion of (neg 1) in z
0.354 * [taylor]: Taking taylor expansion of 1 in z
0.354 * [taylor]: Taking taylor expansion of 0 in z
0.354 * [taylor]: Taking taylor expansion of 0 in y
0.354 * [taylor]: Taking taylor expansion of 0 in z
0.354 * [taylor]: Taking taylor expansion of 0 in z
0.355 * [approximate]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (/ 1 (* x y)))) in (x y z) around 0
0.355 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (/ 1 (* x y)))) in z
0.355 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in z
0.355 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in z
0.355 * [taylor]: Taking taylor expansion of 1.0 in z
0.355 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.355 * [taylor]: Taking taylor expansion of (* x y) in z
0.355 * [taylor]: Taking taylor expansion of x in z
0.355 * [taylor]: Taking taylor expansion of y in z
0.355 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (/ 1 (* x y)))) in y
0.355 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in y
0.355 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in y
0.355 * [taylor]: Taking taylor expansion of 1.0 in y
0.355 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.355 * [taylor]: Taking taylor expansion of (* x y) in y
0.355 * [taylor]: Taking taylor expansion of x in y
0.355 * [taylor]: Taking taylor expansion of y in y
0.355 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (/ 1 (* x y)))) in x
0.355 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in x
0.355 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x
0.355 * [taylor]: Taking taylor expansion of 1.0 in x
0.355 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.355 * [taylor]: Taking taylor expansion of (* x y) in x
0.355 * [taylor]: Taking taylor expansion of x in x
0.355 * [taylor]: Taking taylor expansion of y in x
0.355 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (/ 1 (* x y)))) in x
0.355 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in x
0.355 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x
0.355 * [taylor]: Taking taylor expansion of 1.0 in x
0.356 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.356 * [taylor]: Taking taylor expansion of (* x y) in x
0.356 * [taylor]: Taking taylor expansion of x in x
0.356 * [taylor]: Taking taylor expansion of y in x
0.356 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.356 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.356 * [taylor]: Taking taylor expansion of y in y
0.356 * [taylor]: Taking taylor expansion of (neg 1) in z
0.356 * [taylor]: Taking taylor expansion of 1 in z
0.356 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) 1.0) in y
0.356 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in y
0.356 * [taylor]: Taking taylor expansion of 1.0 in y
0.356 * [taylor]: Taking taylor expansion of 0 in z
0.358 * [taylor]: Taking taylor expansion of 0 in y
0.359 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) 1.0) in z
0.359 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in z
0.359 * [taylor]: Taking taylor expansion of 1.0 in z
0.359 * [taylor]: Taking taylor expansion of 0 in z
0.359 * [taylor]: Taking taylor expansion of 0 in y
0.359 * [taylor]: Taking taylor expansion of 0 in z
0.359 * [taylor]: Taking taylor expansion of 0 in z
0.359 * [taylor]: Taking taylor expansion of 0 in z
0.360 * [approximate]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) (+ 1.0 (/ 1 (* x y)))) in (x y z) around 0
0.360 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) (+ 1.0 (/ 1 (* x y)))) in z
0.360 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in z
0.360 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in z
0.360 * [taylor]: Taking taylor expansion of 1.0 in z
0.360 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.360 * [taylor]: Taking taylor expansion of (* x y) in z
0.360 * [taylor]: Taking taylor expansion of x in z
0.360 * [taylor]: Taking taylor expansion of y in z
0.360 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) (+ 1.0 (/ 1 (* x y)))) in y
0.360 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in y
0.360 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in y
0.360 * [taylor]: Taking taylor expansion of 1.0 in y
0.360 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.360 * [taylor]: Taking taylor expansion of (* x y) in y
0.360 * [taylor]: Taking taylor expansion of x in y
0.360 * [taylor]: Taking taylor expansion of y in y
0.360 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) (+ 1.0 (/ 1 (* x y)))) in x
0.360 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in x
0.360 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x
0.360 * [taylor]: Taking taylor expansion of 1.0 in x
0.360 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.360 * [taylor]: Taking taylor expansion of (* x y) in x
0.360 * [taylor]: Taking taylor expansion of x in x
0.360 * [taylor]: Taking taylor expansion of y in x
0.360 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) (+ 1.0 (/ 1 (* x y)))) in x
0.360 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in x
0.361 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x
0.361 * [taylor]: Taking taylor expansion of 1.0 in x
0.361 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.361 * [taylor]: Taking taylor expansion of (* x y) in x
0.361 * [taylor]: Taking taylor expansion of x in x
0.361 * [taylor]: Taking taylor expansion of y in x
0.361 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.361 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.361 * [taylor]: Taking taylor expansion of y in y
0.361 * [taylor]: Taking taylor expansion of (neg 1) in z
0.361 * [taylor]: Taking taylor expansion of 1 in z
0.361 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) 1.0) in y
0.361 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in y
0.361 * [taylor]: Taking taylor expansion of 1.0 in y
0.361 * [taylor]: Taking taylor expansion of 0 in z
0.361 * [taylor]: Taking taylor expansion of 0 in y
0.362 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) 1.0) in z
0.362 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in z
0.362 * [taylor]: Taking taylor expansion of 1.0 in z
0.362 * [taylor]: Taking taylor expansion of 0 in z
0.362 * [taylor]: Taking taylor expansion of 0 in y
0.362 * [taylor]: Taking taylor expansion of 0 in z
0.362 * [taylor]: Taking taylor expansion of 0 in z
0.362 * [taylor]: Taking taylor expansion of 0 in z
0.363 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.363 * [approximate]: Taking taylor expansion of (- (fma x y z) (+ (* x y) (+ z 1.0))) in (x y z) around 0
0.363 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) (+ z 1.0))) in z
0.363 * [taylor]: Taking taylor expansion of (fma x y z) in z
0.363 * [taylor]: Taking taylor expansion of (+ (* x y) (+ z 1.0)) in z
0.363 * [taylor]: Taking taylor expansion of (* x y) in z
0.363 * [taylor]: Taking taylor expansion of x in z
0.363 * [taylor]: Taking taylor expansion of y in z
0.363 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
0.363 * [taylor]: Taking taylor expansion of z in z
0.363 * [taylor]: Taking taylor expansion of 1.0 in z
0.363 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) (+ z 1.0))) in y
0.363 * [taylor]: Taking taylor expansion of (fma x y z) in y
0.363 * [taylor]: Taking taylor expansion of (+ (* x y) (+ z 1.0)) in y
0.363 * [taylor]: Taking taylor expansion of (* x y) in y
0.363 * [taylor]: Taking taylor expansion of x in y
0.363 * [taylor]: Taking taylor expansion of y in y
0.363 * [taylor]: Taking taylor expansion of (+ z 1.0) in y
0.363 * [taylor]: Taking taylor expansion of z in y
0.363 * [taylor]: Taking taylor expansion of 1.0 in y
0.363 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) (+ z 1.0))) in x
0.363 * [taylor]: Taking taylor expansion of (fma x y z) in x
0.363 * [taylor]: Taking taylor expansion of (+ (* x y) (+ z 1.0)) in x
0.363 * [taylor]: Taking taylor expansion of (* x y) in x
0.363 * [taylor]: Taking taylor expansion of x in x
0.363 * [taylor]: Taking taylor expansion of y in x
0.363 * [taylor]: Taking taylor expansion of (+ z 1.0) in x
0.363 * [taylor]: Taking taylor expansion of z in x
0.363 * [taylor]: Taking taylor expansion of 1.0 in x
0.363 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) (+ z 1.0))) in x
0.363 * [taylor]: Taking taylor expansion of (fma x y z) in x
0.363 * [taylor]: Taking taylor expansion of (+ (* x y) (+ z 1.0)) in x
0.363 * [taylor]: Taking taylor expansion of (* x y) in x
0.363 * [taylor]: Taking taylor expansion of x in x
0.363 * [taylor]: Taking taylor expansion of y in x
0.363 * [taylor]: Taking taylor expansion of (+ z 1.0) in x
0.363 * [taylor]: Taking taylor expansion of z in x
0.363 * [taylor]: Taking taylor expansion of 1.0 in x
0.364 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ z 1.0)) in y
0.364 * [taylor]: Taking taylor expansion of (fma x y z) in y
0.364 * [taylor]: Taking taylor expansion of (+ z 1.0) in y
0.364 * [taylor]: Taking taylor expansion of z in y
0.364 * [taylor]: Taking taylor expansion of 1.0 in y
0.364 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ z 1.0)) in z
0.364 * [taylor]: Taking taylor expansion of (fma x y z) in z
0.364 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
0.364 * [taylor]: Taking taylor expansion of z in z
0.364 * [taylor]: Taking taylor expansion of 1.0 in z
0.364 * [taylor]: Taking taylor expansion of (neg y) in y
0.364 * [taylor]: Taking taylor expansion of y in y
0.364 * [taylor]: Taking taylor expansion of 0 in z
0.364 * [taylor]: Taking taylor expansion of 0 in z
0.364 * [taylor]: Taking taylor expansion of 0 in y
0.364 * [taylor]: Taking taylor expansion of 0 in z
0.364 * [taylor]: Taking taylor expansion of (neg 1) in z
0.364 * [taylor]: Taking taylor expansion of 1 in z
0.365 * [approximate]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 (* x y)) (+ (/ 1 z) 1.0))) in (x y z) around 0
0.365 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 (* x y)) (+ (/ 1 z) 1.0))) in z
0.365 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in z
0.365 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 z) 1.0)) in z
0.365 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.365 * [taylor]: Taking taylor expansion of (* x y) in z
0.365 * [taylor]: Taking taylor expansion of x in z
0.365 * [taylor]: Taking taylor expansion of y in z
0.365 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
0.365 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.365 * [taylor]: Taking taylor expansion of z in z
0.365 * [taylor]: Taking taylor expansion of 1.0 in z
0.365 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 (* x y)) (+ (/ 1 z) 1.0))) in y
0.365 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in y
0.365 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 z) 1.0)) in y
0.365 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.365 * [taylor]: Taking taylor expansion of (* x y) in y
0.365 * [taylor]: Taking taylor expansion of x in y
0.365 * [taylor]: Taking taylor expansion of y in y
0.365 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y
0.365 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.365 * [taylor]: Taking taylor expansion of z in y
0.365 * [taylor]: Taking taylor expansion of 1.0 in y
0.365 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 (* x y)) (+ (/ 1 z) 1.0))) in x
0.365 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in x
0.365 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 z) 1.0)) in x
0.365 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.365 * [taylor]: Taking taylor expansion of (* x y) in x
0.365 * [taylor]: Taking taylor expansion of x in x
0.365 * [taylor]: Taking taylor expansion of y in x
0.366 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x
0.366 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.366 * [taylor]: Taking taylor expansion of z in x
0.366 * [taylor]: Taking taylor expansion of 1.0 in x
0.366 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 (* x y)) (+ (/ 1 z) 1.0))) in x
0.366 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in x
0.366 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 z) 1.0)) in x
0.366 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.366 * [taylor]: Taking taylor expansion of (* x y) in x
0.366 * [taylor]: Taking taylor expansion of x in x
0.366 * [taylor]: Taking taylor expansion of y in x
0.366 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x
0.366 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.366 * [taylor]: Taking taylor expansion of z in x
0.366 * [taylor]: Taking taylor expansion of 1.0 in x
0.366 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.366 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.366 * [taylor]: Taking taylor expansion of y in y
0.366 * [taylor]: Taking taylor expansion of (neg 1) in z
0.366 * [taylor]: Taking taylor expansion of 1 in z
0.366 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (/ 1 z))) in y
0.366 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in y
0.367 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 z)) in y
0.367 * [taylor]: Taking taylor expansion of 1.0 in y
0.367 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.367 * [taylor]: Taking taylor expansion of z in y
0.367 * [taylor]: Taking taylor expansion of 0 in z
0.367 * [taylor]: Taking taylor expansion of 0 in y
0.367 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (/ 1 z))) in z
0.367 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in z
0.367 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 z)) in z
0.367 * [taylor]: Taking taylor expansion of 1.0 in z
0.367 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.367 * [taylor]: Taking taylor expansion of z in z
0.367 * [taylor]: Taking taylor expansion of 0 in z
0.368 * [taylor]: Taking taylor expansion of 0 in y
0.368 * [taylor]: Taking taylor expansion of 0 in z
0.368 * [taylor]: Taking taylor expansion of 0 in z
0.368 * [taylor]: Taking taylor expansion of 0 in z
0.369 * [approximate]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (+ (/ 1 (* x y)) 1.0)) in (x y z) around 0
0.369 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (+ (/ 1 (* x y)) 1.0)) in z
0.369 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in z
0.369 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in z
0.369 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.369 * [taylor]: Taking taylor expansion of z in z
0.369 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1.0) in z
0.369 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.369 * [taylor]: Taking taylor expansion of (* x y) in z
0.369 * [taylor]: Taking taylor expansion of x in z
0.369 * [taylor]: Taking taylor expansion of y in z
0.369 * [taylor]: Taking taylor expansion of 1.0 in z
0.369 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (+ (/ 1 (* x y)) 1.0)) in y
0.369 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in y
0.369 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in y
0.369 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.369 * [taylor]: Taking taylor expansion of z in y
0.369 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1.0) in y
0.369 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.369 * [taylor]: Taking taylor expansion of (* x y) in y
0.369 * [taylor]: Taking taylor expansion of x in y
0.369 * [taylor]: Taking taylor expansion of y in y
0.369 * [taylor]: Taking taylor expansion of 1.0 in y
0.369 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (+ (/ 1 (* x y)) 1.0)) in x
0.369 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in x
0.369 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in x
0.369 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.369 * [taylor]: Taking taylor expansion of z in x
0.369 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1.0) in x
0.369 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.369 * [taylor]: Taking taylor expansion of (* x y) in x
0.369 * [taylor]: Taking taylor expansion of x in x
0.369 * [taylor]: Taking taylor expansion of y in x
0.370 * [taylor]: Taking taylor expansion of 1.0 in x
0.370 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (+ (/ 1 (* x y)) 1.0)) in x
0.370 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in x
0.370 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in x
0.370 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.370 * [taylor]: Taking taylor expansion of z in x
0.370 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1.0) in x
0.370 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.370 * [taylor]: Taking taylor expansion of (* x y) in x
0.370 * [taylor]: Taking taylor expansion of x in x
0.370 * [taylor]: Taking taylor expansion of y in x
0.370 * [taylor]: Taking taylor expansion of 1.0 in x
0.370 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.370 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.370 * [taylor]: Taking taylor expansion of y in y
0.370 * [taylor]: Taking taylor expansion of (neg 1) in z
0.370 * [taylor]: Taking taylor expansion of 1 in z
0.370 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) 1.0) in y
0.370 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in y
0.370 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in y
0.370 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.370 * [taylor]: Taking taylor expansion of z in y
0.371 * [taylor]: Taking taylor expansion of 1.0 in y
0.371 * [taylor]: Taking taylor expansion of 0 in z
0.371 * [taylor]: Taking taylor expansion of 0 in y
0.371 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) 1.0) in z
0.371 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in z
0.371 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in z
0.371 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.371 * [taylor]: Taking taylor expansion of z in z
0.371 * [taylor]: Taking taylor expansion of 1.0 in z
0.371 * [taylor]: Taking taylor expansion of 0 in z
0.372 * [taylor]: Taking taylor expansion of 0 in y
0.372 * [taylor]: Taking taylor expansion of 0 in z
0.372 * [taylor]: Taking taylor expansion of 0 in z
0.372 * [taylor]: Taking taylor expansion of 0 in z
0.372 * * * [progress]: simplifying candidates
0.373 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (fma x y z)) (* (exp 1.0) (exp (* x y))))
  (/ (exp (fma x y z)) (exp (+ 1.0 (* x y))))
  (log (- (fma x y z) (+ 1.0 (* x y))))
  (exp (- (fma x y z) (+ 1.0 (* x y))))
  (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y)))))
  (cbrt (- (fma x y z) (+ 1.0 (* x y))))
  (* (* (- (fma x y z) (+ 1.0 (* x y))) (- (fma x y z) (+ 1.0 (* x y)))) (- (fma x y z) (+ 1.0 (* x y))))
  (sqrt (- (fma x y z) (+ 1.0 (* x y))))
  (sqrt (- (fma x y z) (+ 1.0 (* x y))))
  (- (pow (fma x y z) 3) (pow (+ 1.0 (* x y)) 3))
  (+ (* (fma x y z) (fma x y z)) (+ (* (+ 1.0 (* x y)) (+ 1.0 (* x y))) (* (fma x y z) (+ 1.0 (* x y)))))
  (neg (+ 1.0 (* x y)))
  (- (* (fma x y z) (fma x y z)) (* (+ 1.0 (* x y)) (+ 1.0 (* x y))))
  (+ (fma x y z) (+ 1.0 (* x y)))
  (+ (sqrt (fma x y z)) (sqrt (+ 1.0 (* x y))))
  (- (sqrt (fma x y z)) (sqrt (+ 1.0 (* x y))))
  (- (fma x y z) (+ 1.0 (* x y)))
  (- (fma x y z) 1.0)
  (neg (+ 1.0 (* x y)))
  (/ (/ (exp (fma x y z)) (* (exp 1.0) (exp (* x y)))) (exp z))
  (/ (/ (exp (fma x y z)) (exp (+ 1.0 (* x y)))) (exp z))
  (/ (exp (- (fma x y z) (+ 1.0 (* x y)))) (exp z))
  (log (- (- (fma x y z) (+ 1.0 (* x y))) z))
  (exp (- (- (fma x y z) (+ 1.0 (* x y))) z))
  (* (cbrt (- (- (fma x y z) (+ 1.0 (* x y))) z)) (cbrt (- (- (fma x y z) (+ 1.0 (* x y))) z)))
  (cbrt (- (- (fma x y z) (+ 1.0 (* x y))) z))
  (* (* (- (- (fma x y z) (+ 1.0 (* x y))) z) (- (- (fma x y z) (+ 1.0 (* x y))) z)) (- (- (fma x y z) (+ 1.0 (* x y))) z))
  (sqrt (- (- (fma x y z) (+ 1.0 (* x y))) z))
  (sqrt (- (- (fma x y z) (+ 1.0 (* x y))) z))
  (- (pow (- (fma x y z) (+ 1.0 (* x y))) 3) (pow z 3))
  (+ (* (- (fma x y z) (+ 1.0 (* x y))) (- (fma x y z) (+ 1.0 (* x y)))) (+ (* z z) (* (- (fma x y z) (+ 1.0 (* x y))) z)))
  (neg z)
  (- (* (- (fma x y z) (+ 1.0 (* x y))) (- (fma x y z) (+ 1.0 (* x y)))) (* z z))
  (+ (- (fma x y z) (+ 1.0 (* x y))) z)
  (+ (sqrt (- (fma x y z) (+ 1.0 (* x y)))) (sqrt z))
  (- (sqrt (- (fma x y z) (+ 1.0 (* x y)))) (sqrt z))
  (- (- (fma x y z) (+ 1.0 (* x y))) z)
  (- (- (fma x y z) (+ 1.0 (* x y))) z)
  (- (neg (+ 1.0 (* x y))) z)
  (- (neg (+ 1.0 (* x y))) z)
  (+ (+ 1.0 (* x y)) z)
  (neg z)
  (- (fma x y z) (+ (* x y) 1.0))
  (- (fma x y z) (+ (* x y) 1.0))
  (- (fma x y z) (+ (* x y) 1.0))
  (- (fma x y z) (+ (* x y) (+ z 1.0)))
  (- (fma x y z) (+ (* x y) (+ z 1.0)))
  (- (fma x y z) (+ (* x y) (+ z 1.0)))
0.396 * * [simplify]: iteration  0 :  4945  enodes  (cost  605 )
0.396 * * [simplify]: iteration  1 :  4945  enodes  (cost  605 )
0.398 * [simplify]: Simplified to:
   (exp (- (fma x y z) (+ 1.0 (* x y))))
  (exp (- (fma x y z) (+ 1.0 (* x y))))
  (log (- (fma x y z) (+ 1.0 (* x y))))
  (exp (- (fma x y z) (+ 1.0 (* x y))))
  (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y)))))
  (cbrt (- (fma x y z) (+ 1.0 (* x y))))
  (pow (- (fma x y z) (+ 1.0 (* x y))) 3)
  (sqrt (- (fma x y z) (+ 1.0 (* x y))))
  (sqrt (- (fma x y z) (+ 1.0 (* x y))))
  (- (pow (fma x y z) 3) (pow (+ 1.0 (* x y)) 3))
  (+ (* (fma x y z) (fma x y z)) (* (+ 1.0 (* x y)) (+ (fma x y z) (+ 1.0 (* x y)))))
  (- (neg 1.0) (* x y))
  (- (* (fma x y z) (fma x y z)) (* (+ 1.0 (* x y)) (+ 1.0 (* x y))))
  (+ (fma x y z) (+ 1.0 (* x y)))
  (+ (sqrt (fma x y z)) (sqrt (+ 1.0 (* x y))))
  (- (sqrt (fma x y z)) (sqrt (+ 1.0 (* x y))))
  (- (fma x y z) (+ 1.0 (* x y)))
  (- (fma x y z) 1.0)
  (- (neg 1.0) (* x y))
  (exp (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (exp (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (exp (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (log (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (exp (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (* (cbrt (- (fma x y z) (+ z (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ z (+ 1.0 (* x y))))))
  (cbrt (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (pow (- (fma x y z) (+ z (+ 1.0 (* x y)))) 3)
  (sqrt (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (sqrt (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (- (pow (- (fma x y z) (+ 1.0 (* x y))) 3) (pow z 3))
  (+ (* z z) (* (- (fma x y z) (+ 1.0 (* x y))) (+ z (- (fma x y z) (+ 1.0 (* x y))))))
  (neg z)
  (- (* (- (fma x y z) (+ 1.0 (* x y))) (- (fma x y z) (+ 1.0 (* x y)))) (* z z))
  (+ z (- (fma x y z) (+ 1.0 (* x y))))
  (+ (sqrt (- (fma x y z) (+ 1.0 (* x y)))) (sqrt z))
  (- (sqrt (- (fma x y z) (+ 1.0 (* x y)))) (sqrt z))
  (- (fma x y z) (+ z (+ 1.0 (* x y))))
  (- (fma x y z) (+ z (+ 1.0 (* x y))))
  (- (- (neg 1.0) (* x y)) z)
  (- (- (neg 1.0) (* x y)) z)
  (+ z (+ 1.0 (* x y)))
  (neg z)
  (- (fma x y z) (+ 1.0 (* x y)))
  (- (fma x y z) (+ 1.0 (* x y)))
  (- (fma x y z) (+ 1.0 (* x y)))
  (- (fma x y z) (+ z (+ 1.0 (* x y))))
  (- (fma x y z) (+ z (+ 1.0 (* x y))))
  (- (fma x y z) (+ z (+ 1.0 (* x y))))
0.398 * * * [progress]: adding candidates to table
0.443 * * [progress]: iteration 4 / 4
0.443 * * * [progress]: picking best candidate
0.497 * * * * [pick]: Picked  #<alt (λ (x y z) (- (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) z))>
0.498 * * * [progress]: localizing error
0.510 * * * [progress]: generating rewritten candidates
0.510 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.535 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
0.540 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1)
0.546 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
0.553 * * * [progress]: generating series expansions
0.553 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.553 * [approximate]: Taking taylor expansion of (- (fma x y z) (+ (* x y) (+ z 1.0))) in (x y z) around 0
0.553 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) (+ z 1.0))) in z
0.553 * [taylor]: Taking taylor expansion of (fma x y z) in z
0.553 * [taylor]: Taking taylor expansion of (+ (* x y) (+ z 1.0)) in z
0.553 * [taylor]: Taking taylor expansion of (* x y) in z
0.553 * [taylor]: Taking taylor expansion of x in z
0.553 * [taylor]: Taking taylor expansion of y in z
0.553 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
0.553 * [taylor]: Taking taylor expansion of z in z
0.553 * [taylor]: Taking taylor expansion of 1.0 in z
0.553 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) (+ z 1.0))) in y
0.554 * [taylor]: Taking taylor expansion of (fma x y z) in y
0.554 * [taylor]: Taking taylor expansion of (+ (* x y) (+ z 1.0)) in y
0.554 * [taylor]: Taking taylor expansion of (* x y) in y
0.554 * [taylor]: Taking taylor expansion of x in y
0.554 * [taylor]: Taking taylor expansion of y in y
0.554 * [taylor]: Taking taylor expansion of (+ z 1.0) in y
0.554 * [taylor]: Taking taylor expansion of z in y
0.554 * [taylor]: Taking taylor expansion of 1.0 in y
0.554 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) (+ z 1.0))) in x
0.554 * [taylor]: Taking taylor expansion of (fma x y z) in x
0.554 * [taylor]: Taking taylor expansion of (+ (* x y) (+ z 1.0)) in x
0.554 * [taylor]: Taking taylor expansion of (* x y) in x
0.554 * [taylor]: Taking taylor expansion of x in x
0.554 * [taylor]: Taking taylor expansion of y in x
0.554 * [taylor]: Taking taylor expansion of (+ z 1.0) in x
0.554 * [taylor]: Taking taylor expansion of z in x
0.554 * [taylor]: Taking taylor expansion of 1.0 in x
0.554 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) (+ z 1.0))) in x
0.554 * [taylor]: Taking taylor expansion of (fma x y z) in x
0.554 * [taylor]: Taking taylor expansion of (+ (* x y) (+ z 1.0)) in x
0.554 * [taylor]: Taking taylor expansion of (* x y) in x
0.554 * [taylor]: Taking taylor expansion of x in x
0.554 * [taylor]: Taking taylor expansion of y in x
0.554 * [taylor]: Taking taylor expansion of (+ z 1.0) in x
0.554 * [taylor]: Taking taylor expansion of z in x
0.554 * [taylor]: Taking taylor expansion of 1.0 in x
0.554 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ z 1.0)) in y
0.554 * [taylor]: Taking taylor expansion of (fma x y z) in y
0.554 * [taylor]: Taking taylor expansion of (+ z 1.0) in y
0.554 * [taylor]: Taking taylor expansion of z in y
0.554 * [taylor]: Taking taylor expansion of 1.0 in y
0.554 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ z 1.0)) in z
0.554 * [taylor]: Taking taylor expansion of (fma x y z) in z
0.554 * [taylor]: Taking taylor expansion of (+ z 1.0) in z
0.554 * [taylor]: Taking taylor expansion of z in z
0.554 * [taylor]: Taking taylor expansion of 1.0 in z
0.555 * [taylor]: Taking taylor expansion of (neg y) in y
0.555 * [taylor]: Taking taylor expansion of y in y
0.555 * [taylor]: Taking taylor expansion of 0 in z
0.555 * [taylor]: Taking taylor expansion of 0 in z
0.555 * [taylor]: Taking taylor expansion of 0 in y
0.555 * [taylor]: Taking taylor expansion of 0 in z
0.555 * [taylor]: Taking taylor expansion of (neg 1) in z
0.555 * [taylor]: Taking taylor expansion of 1 in z
0.556 * [approximate]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 (* x y)) (+ (/ 1 z) 1.0))) in (x y z) around 0
0.556 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 (* x y)) (+ (/ 1 z) 1.0))) in z
0.556 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in z
0.556 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 z) 1.0)) in z
0.556 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.556 * [taylor]: Taking taylor expansion of (* x y) in z
0.556 * [taylor]: Taking taylor expansion of x in z
0.556 * [taylor]: Taking taylor expansion of y in z
0.556 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
0.556 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.556 * [taylor]: Taking taylor expansion of z in z
0.556 * [taylor]: Taking taylor expansion of 1.0 in z
0.556 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 (* x y)) (+ (/ 1 z) 1.0))) in y
0.556 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in y
0.556 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 z) 1.0)) in y
0.556 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.556 * [taylor]: Taking taylor expansion of (* x y) in y
0.556 * [taylor]: Taking taylor expansion of x in y
0.556 * [taylor]: Taking taylor expansion of y in y
0.556 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y
0.556 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.556 * [taylor]: Taking taylor expansion of z in y
0.556 * [taylor]: Taking taylor expansion of 1.0 in y
0.556 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 (* x y)) (+ (/ 1 z) 1.0))) in x
0.556 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in x
0.556 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 z) 1.0)) in x
0.556 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.556 * [taylor]: Taking taylor expansion of (* x y) in x
0.556 * [taylor]: Taking taylor expansion of x in x
0.556 * [taylor]: Taking taylor expansion of y in x
0.557 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x
0.557 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.557 * [taylor]: Taking taylor expansion of z in x
0.557 * [taylor]: Taking taylor expansion of 1.0 in x
0.557 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ (/ 1 (* x y)) (+ (/ 1 z) 1.0))) in x
0.557 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in x
0.557 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 z) 1.0)) in x
0.557 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.557 * [taylor]: Taking taylor expansion of (* x y) in x
0.557 * [taylor]: Taking taylor expansion of x in x
0.557 * [taylor]: Taking taylor expansion of y in x
0.557 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x
0.557 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.557 * [taylor]: Taking taylor expansion of z in x
0.557 * [taylor]: Taking taylor expansion of 1.0 in x
0.557 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.557 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.557 * [taylor]: Taking taylor expansion of y in y
0.557 * [taylor]: Taking taylor expansion of (neg 1) in z
0.557 * [taylor]: Taking taylor expansion of 1 in z
0.557 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (/ 1 z))) in y
0.557 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in y
0.558 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 z)) in y
0.558 * [taylor]: Taking taylor expansion of 1.0 in y
0.558 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.558 * [taylor]: Taking taylor expansion of z in y
0.558 * [taylor]: Taking taylor expansion of 0 in z
0.558 * [taylor]: Taking taylor expansion of 0 in y
0.558 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (/ 1 z))) in z
0.558 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in z
0.558 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 z)) in z
0.558 * [taylor]: Taking taylor expansion of 1.0 in z
0.558 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.558 * [taylor]: Taking taylor expansion of z in z
0.558 * [taylor]: Taking taylor expansion of 0 in z
0.559 * [taylor]: Taking taylor expansion of 0 in y
0.559 * [taylor]: Taking taylor expansion of 0 in z
0.559 * [taylor]: Taking taylor expansion of 0 in z
0.559 * [taylor]: Taking taylor expansion of 0 in z
0.560 * [approximate]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (+ (/ 1 (* x y)) 1.0)) in (x y z) around 0
0.560 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (+ (/ 1 (* x y)) 1.0)) in z
0.560 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in z
0.560 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in z
0.560 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.560 * [taylor]: Taking taylor expansion of z in z
0.560 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1.0) in z
0.560 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.560 * [taylor]: Taking taylor expansion of (* x y) in z
0.560 * [taylor]: Taking taylor expansion of x in z
0.560 * [taylor]: Taking taylor expansion of y in z
0.560 * [taylor]: Taking taylor expansion of 1.0 in z
0.560 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (+ (/ 1 (* x y)) 1.0)) in y
0.560 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in y
0.560 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in y
0.560 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.560 * [taylor]: Taking taylor expansion of z in y
0.560 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1.0) in y
0.560 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.560 * [taylor]: Taking taylor expansion of (* x y) in y
0.560 * [taylor]: Taking taylor expansion of x in y
0.560 * [taylor]: Taking taylor expansion of y in y
0.561 * [taylor]: Taking taylor expansion of 1.0 in y
0.561 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (+ (/ 1 (* x y)) 1.0)) in x
0.561 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in x
0.561 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in x
0.561 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.561 * [taylor]: Taking taylor expansion of z in x
0.561 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1.0) in x
0.561 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.561 * [taylor]: Taking taylor expansion of (* x y) in x
0.561 * [taylor]: Taking taylor expansion of x in x
0.561 * [taylor]: Taking taylor expansion of y in x
0.561 * [taylor]: Taking taylor expansion of 1.0 in x
0.561 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) (+ (/ 1 (* x y)) 1.0)) in x
0.561 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in x
0.561 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in x
0.561 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.561 * [taylor]: Taking taylor expansion of z in x
0.561 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1.0) in x
0.561 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.561 * [taylor]: Taking taylor expansion of (* x y) in x
0.561 * [taylor]: Taking taylor expansion of x in x
0.561 * [taylor]: Taking taylor expansion of y in x
0.561 * [taylor]: Taking taylor expansion of 1.0 in x
0.561 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.561 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.561 * [taylor]: Taking taylor expansion of y in y
0.561 * [taylor]: Taking taylor expansion of (neg 1) in z
0.561 * [taylor]: Taking taylor expansion of 1 in z
0.562 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) 1.0) in y
0.562 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in y
0.562 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in y
0.562 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.562 * [taylor]: Taking taylor expansion of z in y
0.562 * [taylor]: Taking taylor expansion of 1.0 in y
0.562 * [taylor]: Taking taylor expansion of 0 in z
0.562 * [taylor]: Taking taylor expansion of 0 in y
0.562 * [taylor]: Taking taylor expansion of (- (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) 1.0) in z
0.562 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 x) (/ -1 y) (/ -1 z)) (/ 1 z)) in z
0.562 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in z
0.562 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.563 * [taylor]: Taking taylor expansion of z in z
0.563 * [taylor]: Taking taylor expansion of 1.0 in z
0.563 * [taylor]: Taking taylor expansion of 0 in z
0.563 * [taylor]: Taking taylor expansion of 0 in y
0.563 * [taylor]: Taking taylor expansion of 0 in z
0.563 * [taylor]: Taking taylor expansion of 0 in z
0.563 * [taylor]: Taking taylor expansion of 0 in z
0.564 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
0.564 * [approximate]: Taking taylor expansion of (- (fma x y z) (+ (* x y) 1.0)) in (x y z) around 0
0.564 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) 1.0)) in z
0.564 * [taylor]: Taking taylor expansion of (fma x y z) in z
0.564 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in z
0.564 * [taylor]: Taking taylor expansion of (* x y) in z
0.564 * [taylor]: Taking taylor expansion of x in z
0.564 * [taylor]: Taking taylor expansion of y in z
0.564 * [taylor]: Taking taylor expansion of 1.0 in z
0.564 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) 1.0)) in y
0.564 * [taylor]: Taking taylor expansion of (fma x y z) in y
0.564 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in y
0.564 * [taylor]: Taking taylor expansion of (* x y) in y
0.564 * [taylor]: Taking taylor expansion of x in y
0.564 * [taylor]: Taking taylor expansion of y in y
0.564 * [taylor]: Taking taylor expansion of 1.0 in y
0.564 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) 1.0)) in x
0.564 * [taylor]: Taking taylor expansion of (fma x y z) in x
0.564 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in x
0.564 * [taylor]: Taking taylor expansion of (* x y) in x
0.564 * [taylor]: Taking taylor expansion of x in x
0.564 * [taylor]: Taking taylor expansion of y in x
0.564 * [taylor]: Taking taylor expansion of 1.0 in x
0.564 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) 1.0)) in x
0.564 * [taylor]: Taking taylor expansion of (fma x y z) in x
0.564 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in x
0.564 * [taylor]: Taking taylor expansion of (* x y) in x
0.564 * [taylor]: Taking taylor expansion of x in x
0.564 * [taylor]: Taking taylor expansion of y in x
0.564 * [taylor]: Taking taylor expansion of 1.0 in x
0.564 * [taylor]: Taking taylor expansion of (- (fma x y z) 1.0) in y
0.564 * [taylor]: Taking taylor expansion of (fma x y z) in y
0.565 * [taylor]: Taking taylor expansion of 1.0 in y
0.565 * [taylor]: Taking taylor expansion of (- (fma x y z) 1.0) in z
0.565 * [taylor]: Taking taylor expansion of (fma x y z) in z
0.565 * [taylor]: Taking taylor expansion of 1.0 in z
0.565 * [taylor]: Taking taylor expansion of (neg y) in y
0.565 * [taylor]: Taking taylor expansion of y in y
0.565 * [taylor]: Taking taylor expansion of 0 in z
0.565 * [taylor]: Taking taylor expansion of 0 in z
0.565 * [taylor]: Taking taylor expansion of 0 in y
0.565 * [taylor]: Taking taylor expansion of 0 in z
0.565 * [taylor]: Taking taylor expansion of (neg 1) in z
0.565 * [taylor]: Taking taylor expansion of 1 in z
0.565 * [taylor]: Taking taylor expansion of 0 in z
0.565 * [taylor]: Taking taylor expansion of 0 in y
0.565 * [taylor]: Taking taylor expansion of 0 in z
0.565 * [taylor]: Taking taylor expansion of 0 in z
0.566 * [approximate]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (/ 1 (* x y)))) in (x y z) around 0
0.566 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (/ 1 (* x y)))) in z
0.566 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in z
0.566 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in z
0.566 * [taylor]: Taking taylor expansion of 1.0 in z
0.566 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.566 * [taylor]: Taking taylor expansion of (* x y) in z
0.566 * [taylor]: Taking taylor expansion of x in z
0.566 * [taylor]: Taking taylor expansion of y in z
0.566 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (/ 1 (* x y)))) in y
0.566 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in y
0.566 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in y
0.566 * [taylor]: Taking taylor expansion of 1.0 in y
0.566 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.566 * [taylor]: Taking taylor expansion of (* x y) in y
0.566 * [taylor]: Taking taylor expansion of x in y
0.566 * [taylor]: Taking taylor expansion of y in y
0.566 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (/ 1 (* x y)))) in x
0.566 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in x
0.566 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x
0.566 * [taylor]: Taking taylor expansion of 1.0 in x
0.566 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.566 * [taylor]: Taking taylor expansion of (* x y) in x
0.566 * [taylor]: Taking taylor expansion of x in x
0.566 * [taylor]: Taking taylor expansion of y in x
0.566 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (/ 1 (* x y)))) in x
0.567 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in x
0.567 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x
0.567 * [taylor]: Taking taylor expansion of 1.0 in x
0.567 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.567 * [taylor]: Taking taylor expansion of (* x y) in x
0.567 * [taylor]: Taking taylor expansion of x in x
0.567 * [taylor]: Taking taylor expansion of y in x
0.567 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.567 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.567 * [taylor]: Taking taylor expansion of y in y
0.567 * [taylor]: Taking taylor expansion of (neg 1) in z
0.567 * [taylor]: Taking taylor expansion of 1 in z
0.567 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) 1.0) in y
0.567 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in y
0.567 * [taylor]: Taking taylor expansion of 1.0 in y
0.567 * [taylor]: Taking taylor expansion of 0 in z
0.567 * [taylor]: Taking taylor expansion of 0 in y
0.568 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) 1.0) in z
0.568 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in z
0.568 * [taylor]: Taking taylor expansion of 1.0 in z
0.568 * [taylor]: Taking taylor expansion of 0 in z
0.568 * [taylor]: Taking taylor expansion of 0 in y
0.568 * [taylor]: Taking taylor expansion of 0 in z
0.568 * [taylor]: Taking taylor expansion of 0 in z
0.568 * [taylor]: Taking taylor expansion of 0 in z
0.569 * [approximate]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) (+ 1.0 (/ 1 (* x y)))) in (x y z) around 0
0.569 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) (+ 1.0 (/ 1 (* x y)))) in z
0.569 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in z
0.569 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in z
0.569 * [taylor]: Taking taylor expansion of 1.0 in z
0.569 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.569 * [taylor]: Taking taylor expansion of (* x y) in z
0.569 * [taylor]: Taking taylor expansion of x in z
0.569 * [taylor]: Taking taylor expansion of y in z
0.569 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) (+ 1.0 (/ 1 (* x y)))) in y
0.569 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in y
0.569 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in y
0.569 * [taylor]: Taking taylor expansion of 1.0 in y
0.569 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.569 * [taylor]: Taking taylor expansion of (* x y) in y
0.569 * [taylor]: Taking taylor expansion of x in y
0.569 * [taylor]: Taking taylor expansion of y in y
0.569 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) (+ 1.0 (/ 1 (* x y)))) in x
0.569 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in x
0.569 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x
0.569 * [taylor]: Taking taylor expansion of 1.0 in x
0.569 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.569 * [taylor]: Taking taylor expansion of (* x y) in x
0.569 * [taylor]: Taking taylor expansion of x in x
0.569 * [taylor]: Taking taylor expansion of y in x
0.569 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) (+ 1.0 (/ 1 (* x y)))) in x
0.569 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in x
0.570 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x
0.570 * [taylor]: Taking taylor expansion of 1.0 in x
0.570 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.570 * [taylor]: Taking taylor expansion of (* x y) in x
0.570 * [taylor]: Taking taylor expansion of x in x
0.570 * [taylor]: Taking taylor expansion of y in x
0.570 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.570 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.570 * [taylor]: Taking taylor expansion of y in y
0.570 * [taylor]: Taking taylor expansion of (neg 1) in z
0.570 * [taylor]: Taking taylor expansion of 1 in z
0.570 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) 1.0) in y
0.570 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in y
0.570 * [taylor]: Taking taylor expansion of 1.0 in y
0.570 * [taylor]: Taking taylor expansion of 0 in z
0.570 * [taylor]: Taking taylor expansion of 0 in y
0.571 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) 1.0) in z
0.571 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in z
0.571 * [taylor]: Taking taylor expansion of 1.0 in z
0.571 * [taylor]: Taking taylor expansion of 0 in z
0.571 * [taylor]: Taking taylor expansion of 0 in y
0.571 * [taylor]: Taking taylor expansion of 0 in z
0.571 * [taylor]: Taking taylor expansion of 0 in z
0.571 * [taylor]: Taking taylor expansion of 0 in z
0.571 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1)
0.572 * [approximate]: Taking taylor expansion of (- (fma x y z) (+ (* x y) 1.0)) in (x y z) around 0
0.572 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) 1.0)) in z
0.572 * [taylor]: Taking taylor expansion of (fma x y z) in z
0.572 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in z
0.572 * [taylor]: Taking taylor expansion of (* x y) in z
0.572 * [taylor]: Taking taylor expansion of x in z
0.572 * [taylor]: Taking taylor expansion of y in z
0.572 * [taylor]: Taking taylor expansion of 1.0 in z
0.572 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) 1.0)) in y
0.572 * [taylor]: Taking taylor expansion of (fma x y z) in y
0.572 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in y
0.572 * [taylor]: Taking taylor expansion of (* x y) in y
0.572 * [taylor]: Taking taylor expansion of x in y
0.572 * [taylor]: Taking taylor expansion of y in y
0.572 * [taylor]: Taking taylor expansion of 1.0 in y
0.572 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) 1.0)) in x
0.572 * [taylor]: Taking taylor expansion of (fma x y z) in x
0.572 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in x
0.572 * [taylor]: Taking taylor expansion of (* x y) in x
0.572 * [taylor]: Taking taylor expansion of x in x
0.572 * [taylor]: Taking taylor expansion of y in x
0.572 * [taylor]: Taking taylor expansion of 1.0 in x
0.572 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) 1.0)) in x
0.572 * [taylor]: Taking taylor expansion of (fma x y z) in x
0.572 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in x
0.572 * [taylor]: Taking taylor expansion of (* x y) in x
0.572 * [taylor]: Taking taylor expansion of x in x
0.572 * [taylor]: Taking taylor expansion of y in x
0.572 * [taylor]: Taking taylor expansion of 1.0 in x
0.572 * [taylor]: Taking taylor expansion of (- (fma x y z) 1.0) in y
0.572 * [taylor]: Taking taylor expansion of (fma x y z) in y
0.572 * [taylor]: Taking taylor expansion of 1.0 in y
0.572 * [taylor]: Taking taylor expansion of (- (fma x y z) 1.0) in z
0.572 * [taylor]: Taking taylor expansion of (fma x y z) in z
0.572 * [taylor]: Taking taylor expansion of 1.0 in z
0.573 * [taylor]: Taking taylor expansion of (neg y) in y
0.573 * [taylor]: Taking taylor expansion of y in y
0.573 * [taylor]: Taking taylor expansion of 0 in z
0.573 * [taylor]: Taking taylor expansion of 0 in z
0.573 * [taylor]: Taking taylor expansion of 0 in y
0.573 * [taylor]: Taking taylor expansion of 0 in z
0.573 * [taylor]: Taking taylor expansion of (neg 1) in z
0.573 * [taylor]: Taking taylor expansion of 1 in z
0.573 * [taylor]: Taking taylor expansion of 0 in z
0.573 * [taylor]: Taking taylor expansion of 0 in y
0.573 * [taylor]: Taking taylor expansion of 0 in z
0.573 * [taylor]: Taking taylor expansion of 0 in z
0.573 * [approximate]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (/ 1 (* x y)))) in (x y z) around 0
0.573 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (/ 1 (* x y)))) in z
0.573 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in z
0.573 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in z
0.574 * [taylor]: Taking taylor expansion of 1.0 in z
0.574 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.574 * [taylor]: Taking taylor expansion of (* x y) in z
0.574 * [taylor]: Taking taylor expansion of x in z
0.574 * [taylor]: Taking taylor expansion of y in z
0.574 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (/ 1 (* x y)))) in y
0.574 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in y
0.574 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in y
0.574 * [taylor]: Taking taylor expansion of 1.0 in y
0.574 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.574 * [taylor]: Taking taylor expansion of (* x y) in y
0.574 * [taylor]: Taking taylor expansion of x in y
0.574 * [taylor]: Taking taylor expansion of y in y
0.574 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (/ 1 (* x y)))) in x
0.574 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in x
0.574 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x
0.574 * [taylor]: Taking taylor expansion of 1.0 in x
0.574 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.574 * [taylor]: Taking taylor expansion of (* x y) in x
0.574 * [taylor]: Taking taylor expansion of x in x
0.574 * [taylor]: Taking taylor expansion of y in x
0.574 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (/ 1 (* x y)))) in x
0.574 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in x
0.574 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x
0.574 * [taylor]: Taking taylor expansion of 1.0 in x
0.574 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.574 * [taylor]: Taking taylor expansion of (* x y) in x
0.574 * [taylor]: Taking taylor expansion of x in x
0.574 * [taylor]: Taking taylor expansion of y in x
0.575 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.575 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.575 * [taylor]: Taking taylor expansion of y in y
0.575 * [taylor]: Taking taylor expansion of (neg 1) in z
0.575 * [taylor]: Taking taylor expansion of 1 in z
0.575 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) 1.0) in y
0.575 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in y
0.575 * [taylor]: Taking taylor expansion of 1.0 in y
0.575 * [taylor]: Taking taylor expansion of 0 in z
0.575 * [taylor]: Taking taylor expansion of 0 in y
0.575 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) 1.0) in z
0.575 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in z
0.575 * [taylor]: Taking taylor expansion of 1.0 in z
0.576 * [taylor]: Taking taylor expansion of 0 in z
0.576 * [taylor]: Taking taylor expansion of 0 in y
0.576 * [taylor]: Taking taylor expansion of 0 in z
0.576 * [taylor]: Taking taylor expansion of 0 in z
0.576 * [taylor]: Taking taylor expansion of 0 in z
0.576 * [approximate]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) (+ 1.0 (/ 1 (* x y)))) in (x y z) around 0
0.576 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) (+ 1.0 (/ 1 (* x y)))) in z
0.576 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in z
0.576 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in z
0.576 * [taylor]: Taking taylor expansion of 1.0 in z
0.576 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.576 * [taylor]: Taking taylor expansion of (* x y) in z
0.577 * [taylor]: Taking taylor expansion of x in z
0.577 * [taylor]: Taking taylor expansion of y in z
0.577 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) (+ 1.0 (/ 1 (* x y)))) in y
0.577 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in y
0.577 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in y
0.577 * [taylor]: Taking taylor expansion of 1.0 in y
0.577 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.577 * [taylor]: Taking taylor expansion of (* x y) in y
0.577 * [taylor]: Taking taylor expansion of x in y
0.577 * [taylor]: Taking taylor expansion of y in y
0.577 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) (+ 1.0 (/ 1 (* x y)))) in x
0.577 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in x
0.577 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x
0.577 * [taylor]: Taking taylor expansion of 1.0 in x
0.577 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.577 * [taylor]: Taking taylor expansion of (* x y) in x
0.577 * [taylor]: Taking taylor expansion of x in x
0.577 * [taylor]: Taking taylor expansion of y in x
0.577 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) (+ 1.0 (/ 1 (* x y)))) in x
0.577 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in x
0.577 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x
0.577 * [taylor]: Taking taylor expansion of 1.0 in x
0.577 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.577 * [taylor]: Taking taylor expansion of (* x y) in x
0.577 * [taylor]: Taking taylor expansion of x in x
0.577 * [taylor]: Taking taylor expansion of y in x
0.578 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.578 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.578 * [taylor]: Taking taylor expansion of y in y
0.578 * [taylor]: Taking taylor expansion of (neg 1) in z
0.578 * [taylor]: Taking taylor expansion of 1 in z
0.578 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) 1.0) in y
0.578 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in y
0.578 * [taylor]: Taking taylor expansion of 1.0 in y
0.578 * [taylor]: Taking taylor expansion of 0 in z
0.578 * [taylor]: Taking taylor expansion of 0 in y
0.578 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) 1.0) in z
0.578 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in z
0.578 * [taylor]: Taking taylor expansion of 1.0 in z
0.579 * [taylor]: Taking taylor expansion of 0 in z
0.579 * [taylor]: Taking taylor expansion of 0 in y
0.579 * [taylor]: Taking taylor expansion of 0 in z
0.579 * [taylor]: Taking taylor expansion of 0 in z
0.579 * [taylor]: Taking taylor expansion of 0 in z
0.579 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
0.579 * [approximate]: Taking taylor expansion of (- (fma x y z) (+ (* x y) 1.0)) in (x y z) around 0
0.579 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) 1.0)) in z
0.579 * [taylor]: Taking taylor expansion of (fma x y z) in z
0.580 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in z
0.580 * [taylor]: Taking taylor expansion of (* x y) in z
0.580 * [taylor]: Taking taylor expansion of x in z
0.580 * [taylor]: Taking taylor expansion of y in z
0.580 * [taylor]: Taking taylor expansion of 1.0 in z
0.580 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) 1.0)) in y
0.580 * [taylor]: Taking taylor expansion of (fma x y z) in y
0.580 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in y
0.580 * [taylor]: Taking taylor expansion of (* x y) in y
0.580 * [taylor]: Taking taylor expansion of x in y
0.580 * [taylor]: Taking taylor expansion of y in y
0.580 * [taylor]: Taking taylor expansion of 1.0 in y
0.580 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) 1.0)) in x
0.580 * [taylor]: Taking taylor expansion of (fma x y z) in x
0.580 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in x
0.580 * [taylor]: Taking taylor expansion of (* x y) in x
0.580 * [taylor]: Taking taylor expansion of x in x
0.580 * [taylor]: Taking taylor expansion of y in x
0.580 * [taylor]: Taking taylor expansion of 1.0 in x
0.580 * [taylor]: Taking taylor expansion of (- (fma x y z) (+ (* x y) 1.0)) in x
0.580 * [taylor]: Taking taylor expansion of (fma x y z) in x
0.580 * [taylor]: Taking taylor expansion of (+ (* x y) 1.0) in x
0.580 * [taylor]: Taking taylor expansion of (* x y) in x
0.580 * [taylor]: Taking taylor expansion of x in x
0.580 * [taylor]: Taking taylor expansion of y in x
0.580 * [taylor]: Taking taylor expansion of 1.0 in x
0.580 * [taylor]: Taking taylor expansion of (- (fma x y z) 1.0) in y
0.580 * [taylor]: Taking taylor expansion of (fma x y z) in y
0.580 * [taylor]: Taking taylor expansion of 1.0 in y
0.580 * [taylor]: Taking taylor expansion of (- (fma x y z) 1.0) in z
0.580 * [taylor]: Taking taylor expansion of (fma x y z) in z
0.580 * [taylor]: Taking taylor expansion of 1.0 in z
0.580 * [taylor]: Taking taylor expansion of (neg y) in y
0.580 * [taylor]: Taking taylor expansion of y in y
0.580 * [taylor]: Taking taylor expansion of 0 in z
0.581 * [taylor]: Taking taylor expansion of 0 in z
0.581 * [taylor]: Taking taylor expansion of 0 in y
0.581 * [taylor]: Taking taylor expansion of 0 in z
0.581 * [taylor]: Taking taylor expansion of (neg 1) in z
0.581 * [taylor]: Taking taylor expansion of 1 in z
0.581 * [taylor]: Taking taylor expansion of 0 in z
0.581 * [taylor]: Taking taylor expansion of 0 in y
0.581 * [taylor]: Taking taylor expansion of 0 in z
0.581 * [taylor]: Taking taylor expansion of 0 in z
0.581 * [approximate]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (/ 1 (* x y)))) in (x y z) around 0
0.581 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (/ 1 (* x y)))) in z
0.581 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in z
0.581 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in z
0.581 * [taylor]: Taking taylor expansion of 1.0 in z
0.581 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.581 * [taylor]: Taking taylor expansion of (* x y) in z
0.581 * [taylor]: Taking taylor expansion of x in z
0.581 * [taylor]: Taking taylor expansion of y in z
0.582 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (/ 1 (* x y)))) in y
0.582 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in y
0.582 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in y
0.582 * [taylor]: Taking taylor expansion of 1.0 in y
0.582 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.582 * [taylor]: Taking taylor expansion of (* x y) in y
0.582 * [taylor]: Taking taylor expansion of x in y
0.582 * [taylor]: Taking taylor expansion of y in y
0.582 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (/ 1 (* x y)))) in x
0.582 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in x
0.582 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x
0.582 * [taylor]: Taking taylor expansion of 1.0 in x
0.582 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.582 * [taylor]: Taking taylor expansion of (* x y) in x
0.582 * [taylor]: Taking taylor expansion of x in x
0.582 * [taylor]: Taking taylor expansion of y in x
0.582 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) (+ 1.0 (/ 1 (* x y)))) in x
0.582 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in x
0.582 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x
0.582 * [taylor]: Taking taylor expansion of 1.0 in x
0.582 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.582 * [taylor]: Taking taylor expansion of (* x y) in x
0.582 * [taylor]: Taking taylor expansion of x in x
0.582 * [taylor]: Taking taylor expansion of y in x
0.582 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.582 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.582 * [taylor]: Taking taylor expansion of y in y
0.582 * [taylor]: Taking taylor expansion of (neg 1) in z
0.582 * [taylor]: Taking taylor expansion of 1 in z
0.583 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) 1.0) in y
0.583 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in y
0.583 * [taylor]: Taking taylor expansion of 1.0 in y
0.583 * [taylor]: Taking taylor expansion of 0 in z
0.583 * [taylor]: Taking taylor expansion of 0 in y
0.583 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 y) (/ 1 z)) 1.0) in z
0.583 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 z)) in z
0.583 * [taylor]: Taking taylor expansion of 1.0 in z
0.583 * [taylor]: Taking taylor expansion of 0 in z
0.584 * [taylor]: Taking taylor expansion of 0 in y
0.584 * [taylor]: Taking taylor expansion of 0 in z
0.584 * [taylor]: Taking taylor expansion of 0 in z
0.584 * [taylor]: Taking taylor expansion of 0 in z
0.584 * [approximate]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) (+ 1.0 (/ 1 (* x y)))) in (x y z) around 0
0.584 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) (+ 1.0 (/ 1 (* x y)))) in z
0.584 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in z
0.584 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in z
0.584 * [taylor]: Taking taylor expansion of 1.0 in z
0.584 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.584 * [taylor]: Taking taylor expansion of (* x y) in z
0.584 * [taylor]: Taking taylor expansion of x in z
0.584 * [taylor]: Taking taylor expansion of y in z
0.584 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) (+ 1.0 (/ 1 (* x y)))) in y
0.584 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in y
0.585 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in y
0.585 * [taylor]: Taking taylor expansion of 1.0 in y
0.585 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.585 * [taylor]: Taking taylor expansion of (* x y) in y
0.585 * [taylor]: Taking taylor expansion of x in y
0.585 * [taylor]: Taking taylor expansion of y in y
0.585 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) (+ 1.0 (/ 1 (* x y)))) in x
0.585 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in x
0.585 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x
0.585 * [taylor]: Taking taylor expansion of 1.0 in x
0.585 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.585 * [taylor]: Taking taylor expansion of (* x y) in x
0.585 * [taylor]: Taking taylor expansion of x in x
0.585 * [taylor]: Taking taylor expansion of y in x
0.585 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) (+ 1.0 (/ 1 (* x y)))) in x
0.585 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in x
0.585 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (* x y))) in x
0.585 * [taylor]: Taking taylor expansion of 1.0 in x
0.585 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.585 * [taylor]: Taking taylor expansion of (* x y) in x
0.585 * [taylor]: Taking taylor expansion of x in x
0.585 * [taylor]: Taking taylor expansion of y in x
0.585 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.585 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.585 * [taylor]: Taking taylor expansion of y in y
0.585 * [taylor]: Taking taylor expansion of (neg 1) in z
0.585 * [taylor]: Taking taylor expansion of 1 in z
0.586 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) 1.0) in y
0.586 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in y
0.586 * [taylor]: Taking taylor expansion of 1.0 in y
0.586 * [taylor]: Taking taylor expansion of 0 in z
0.586 * [taylor]: Taking taylor expansion of 0 in y
0.586 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 z)) 1.0) in z
0.586 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 z)) in z
0.586 * [taylor]: Taking taylor expansion of 1.0 in z
0.586 * [taylor]: Taking taylor expansion of 0 in z
0.587 * [taylor]: Taking taylor expansion of 0 in y
0.587 * [taylor]: Taking taylor expansion of 0 in z
0.587 * [taylor]: Taking taylor expansion of 0 in z
0.587 * [taylor]: Taking taylor expansion of 0 in z
0.587 * * * [progress]: simplifying candidates
0.588 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ 1.0 (* x y)))))) (exp z))
  (log (- (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) z))
  (exp (- (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) z))
  (* (cbrt (- (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) z)) (cbrt (- (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) z)))
  (cbrt (- (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) z))
  (* (* (- (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) z) (- (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) z)) (- (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) z))
  (sqrt (- (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) z))
  (sqrt (- (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) z))
  (- (pow (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) 3) (pow z 3))
  (+ (* (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ 1.0 (* x y)))))) (+ (* z z) (* (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) z)))
  (neg z)
  (- (* (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ 1.0 (* x y)))))) (* z z))
  (+ (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) z)
  (neg z)
  (/ (exp (fma x y z)) (* (exp 1.0) (exp (* x y))))
  (/ (exp (fma x y z)) (exp (+ 1.0 (* x y))))
  (log (- (fma x y z) (+ 1.0 (* x y))))
  (exp (- (fma x y z) (+ 1.0 (* x y))))
  (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y)))))
  (cbrt (- (fma x y z) (+ 1.0 (* x y))))
  (* (* (- (fma x y z) (+ 1.0 (* x y))) (- (fma x y z) (+ 1.0 (* x y)))) (- (fma x y z) (+ 1.0 (* x y))))
  (sqrt (- (fma x y z) (+ 1.0 (* x y))))
  (sqrt (- (fma x y z) (+ 1.0 (* x y))))
  (- (pow (fma x y z) 3) (pow (+ 1.0 (* x y)) 3))
  (+ (* (fma x y z) (fma x y z)) (+ (* (+ 1.0 (* x y)) (+ 1.0 (* x y))) (* (fma x y z) (+ 1.0 (* x y)))))
  (neg (+ 1.0 (* x y)))
  (- (* (fma x y z) (fma x y z)) (* (+ 1.0 (* x y)) (+ 1.0 (* x y))))
  (+ (fma x y z) (+ 1.0 (* x y)))
  (+ (sqrt (fma x y z)) (sqrt (+ 1.0 (* x y))))
  (- (sqrt (fma x y z)) (sqrt (+ 1.0 (* x y))))
  (- (fma x y z) (+ 1.0 (* x y)))
  (- (fma x y z) 1.0)
  (neg (+ 1.0 (* x y)))
  (/ (exp (fma x y z)) (* (exp 1.0) (exp (* x y))))
  (/ (exp (fma x y z)) (exp (+ 1.0 (* x y))))
  (log (- (fma x y z) (+ 1.0 (* x y))))
  (exp (- (fma x y z) (+ 1.0 (* x y))))
  (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y)))))
  (cbrt (- (fma x y z) (+ 1.0 (* x y))))
  (* (* (- (fma x y z) (+ 1.0 (* x y))) (- (fma x y z) (+ 1.0 (* x y)))) (- (fma x y z) (+ 1.0 (* x y))))
  (sqrt (- (fma x y z) (+ 1.0 (* x y))))
  (sqrt (- (fma x y z) (+ 1.0 (* x y))))
  (- (pow (fma x y z) 3) (pow (+ 1.0 (* x y)) 3))
  (+ (* (fma x y z) (fma x y z)) (+ (* (+ 1.0 (* x y)) (+ 1.0 (* x y))) (* (fma x y z) (+ 1.0 (* x y)))))
  (neg (+ 1.0 (* x y)))
  (- (* (fma x y z) (fma x y z)) (* (+ 1.0 (* x y)) (+ 1.0 (* x y))))
  (+ (fma x y z) (+ 1.0 (* x y)))
  (+ (sqrt (fma x y z)) (sqrt (+ 1.0 (* x y))))
  (- (sqrt (fma x y z)) (sqrt (+ 1.0 (* x y))))
  (- (fma x y z) (+ 1.0 (* x y)))
  (- (fma x y z) 1.0)
  (neg (+ 1.0 (* x y)))
  (/ (exp (fma x y z)) (* (exp 1.0) (exp (* x y))))
  (/ (exp (fma x y z)) (exp (+ 1.0 (* x y))))
  (log (- (fma x y z) (+ 1.0 (* x y))))
  (exp (- (fma x y z) (+ 1.0 (* x y))))
  (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y)))))
  (cbrt (- (fma x y z) (+ 1.0 (* x y))))
  (* (* (- (fma x y z) (+ 1.0 (* x y))) (- (fma x y z) (+ 1.0 (* x y)))) (- (fma x y z) (+ 1.0 (* x y))))
  (sqrt (- (fma x y z) (+ 1.0 (* x y))))
  (sqrt (- (fma x y z) (+ 1.0 (* x y))))
  (- (pow (fma x y z) 3) (pow (+ 1.0 (* x y)) 3))
  (+ (* (fma x y z) (fma x y z)) (+ (* (+ 1.0 (* x y)) (+ 1.0 (* x y))) (* (fma x y z) (+ 1.0 (* x y)))))
  (neg (+ 1.0 (* x y)))
  (- (* (fma x y z) (fma x y z)) (* (+ 1.0 (* x y)) (+ 1.0 (* x y))))
  (+ (fma x y z) (+ 1.0 (* x y)))
  (+ (sqrt (fma x y z)) (sqrt (+ 1.0 (* x y))))
  (- (sqrt (fma x y z)) (sqrt (+ 1.0 (* x y))))
  (- (fma x y z) (+ 1.0 (* x y)))
  (- (fma x y z) 1.0)
  (neg (+ 1.0 (* x y)))
  (- (fma x y z) (+ (* x y) (+ z 1.0)))
  (- (fma x y z) (+ (* x y) (+ z 1.0)))
  (- (fma x y z) (+ (* x y) (+ z 1.0)))
  (- (fma x y z) (+ (* x y) 1.0))
  (- (fma x y z) (+ (* x y) 1.0))
  (- (fma x y z) (+ (* x y) 1.0))
  (- (fma x y z) (+ (* x y) 1.0))
  (- (fma x y z) (+ (* x y) 1.0))
  (- (fma x y z) (+ (* x y) 1.0))
  (- (fma x y z) (+ (* x y) 1.0))
  (- (fma x y z) (+ (* x y) 1.0))
  (- (fma x y z) (+ (* x y) 1.0))
0.603 * * [simplify]: iteration  0 :  4972  enodes  (cost  1026 )
0.604 * * [simplify]: iteration  1 :  4972  enodes  (cost  1026 )
0.607 * [simplify]: Simplified to:
   (exp (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (log (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (exp (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (* (cbrt (- (fma x y z) (+ z (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ z (+ 1.0 (* x y))))))
  (cbrt (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (pow (- (fma x y z) (+ z (+ 1.0 (* x y)))) 3)
  (sqrt (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (sqrt (- (fma x y z) (+ z (+ 1.0 (* x y)))))
  (- (pow (- (fma x y z) (+ 1.0 (* x y))) 3) (pow z 3))
  (+ (* z z) (* (- (fma x y z) (+ 1.0 (* x y))) (+ z (- (fma x y z) (+ 1.0 (* x y))))))
  (neg z)
  (- (pow (cbrt (- (fma x y z) (+ 1.0 (* x y)))) 6) (* z z))
  (+ z (- (fma x y z) (+ 1.0 (* x y))))
  (neg z)
  (exp (- (fma x y z) (+ 1.0 (* x y))))
  (exp (- (fma x y z) (+ 1.0 (* x y))))
  (log (- (fma x y z) (+ 1.0 (* x y))))
  (exp (- (fma x y z) (+ 1.0 (* x y))))
  (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y)))))
  (cbrt (- (fma x y z) (+ 1.0 (* x y))))
  (pow (- (fma x y z) (+ 1.0 (* x y))) 3)
  (sqrt (- (fma x y z) (+ 1.0 (* x y))))
  (sqrt (- (fma x y z) (+ 1.0 (* x y))))
  (- (pow (fma x y z) 3) (pow (+ 1.0 (* x y)) 3))
  (+ (* (fma x y z) (fma x y z)) (* (+ 1.0 (* x y)) (+ (fma x y z) (+ 1.0 (* x y)))))
  (- (neg 1.0) (* x y))
  (- (* (fma x y z) (fma x y z)) (* (+ 1.0 (* x y)) (+ 1.0 (* x y))))
  (+ (fma x y z) (+ 1.0 (* x y)))
  (+ (sqrt (fma x y z)) (sqrt (+ 1.0 (* x y))))
  (- (sqrt (fma x y z)) (sqrt (+ 1.0 (* x y))))
  (- (fma x y z) (+ 1.0 (* x y)))
  (- (fma x y z) 1.0)
  (- (neg 1.0) (* x y))
  (exp (- (fma x y z) (+ 1.0 (* x y))))
  (exp (- (fma x y z) (+ 1.0 (* x y))))
  (log (- (fma x y z) (+ 1.0 (* x y))))
  (exp (- (fma x y z) (+ 1.0 (* x y))))
  (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y)))))
  (cbrt (- (fma x y z) (+ 1.0 (* x y))))
  (pow (- (fma x y z) (+ 1.0 (* x y))) 3)
  (sqrt (- (fma x y z) (+ 1.0 (* x y))))
  (sqrt (- (fma x y z) (+ 1.0 (* x y))))
  (- (pow (fma x y z) 3) (pow (+ 1.0 (* x y)) 3))
  (+ (* (fma x y z) (fma x y z)) (* (+ 1.0 (* x y)) (+ (fma x y z) (+ 1.0 (* x y)))))
  (- (neg 1.0) (* x y))
  (- (* (fma x y z) (fma x y z)) (* (+ 1.0 (* x y)) (+ 1.0 (* x y))))
  (+ (fma x y z) (+ 1.0 (* x y)))
  (+ (sqrt (fma x y z)) (sqrt (+ 1.0 (* x y))))
  (- (sqrt (fma x y z)) (sqrt (+ 1.0 (* x y))))
  (- (fma x y z) (+ 1.0 (* x y)))
  (- (fma x y z) 1.0)
  (- (neg 1.0) (* x y))
  (exp (- (fma x y z) (+ 1.0 (* x y))))
  (exp (- (fma x y z) (+ 1.0 (* x y))))
  (log (- (fma x y z) (+ 1.0 (* x y))))
  (exp (- (fma x y z) (+ 1.0 (* x y))))
  (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y)))))
  (cbrt (- (fma x y z) (+ 1.0 (* x y))))
  (pow (- (fma x y z) (+ 1.0 (* x y))) 3)
  (sqrt (- (fma x y z) (+ 1.0 (* x y))))
  (sqrt (- (fma x y z) (+ 1.0 (* x y))))
  (- (pow (fma x y z) 3) (pow (+ 1.0 (* x y)) 3))
  (+ (* (fma x y z) (fma x y z)) (* (+ 1.0 (* x y)) (+ (fma x y z) (+ 1.0 (* x y)))))
  (- (neg 1.0) (* x y))
  (- (* (fma x y z) (fma x y z)) (* (+ 1.0 (* x y)) (+ 1.0 (* x y))))
  (+ (fma x y z) (+ 1.0 (* x y)))
  (+ (sqrt (fma x y z)) (sqrt (+ 1.0 (* x y))))
  (- (sqrt (fma x y z)) (sqrt (+ 1.0 (* x y))))
  (- (fma x y z) (+ 1.0 (* x y)))
  (- (fma x y z) 1.0)
  (- (neg 1.0) (* x y))
  (- (fma x y z) (+ z (+ 1.0 (* x y))))
  (- (fma x y z) (+ z (+ 1.0 (* x y))))
  (- (fma x y z) (+ z (+ 1.0 (* x y))))
  (- (fma x y z) (+ 1.0 (* x y)))
  (- (fma x y z) (+ 1.0 (* x y)))
  (- (fma x y z) (+ 1.0 (* x y)))
  (- (fma x y z) (+ 1.0 (* x y)))
  (- (fma x y z) (+ 1.0 (* x y)))
  (- (fma x y z) (+ 1.0 (* x y)))
  (- (fma x y z) (+ 1.0 (* x y)))
  (- (fma x y z) (+ 1.0 (* x y)))
  (- (fma x y z) (+ 1.0 (* x y)))
0.608 * * * [progress]: adding candidates to table
0.719 * [progress]: [Phase 3 of 3] Extracting.
0.719 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (- (- (fma x y z) 1.0) (+ (* x y) z)))> #<alt (λ (x y z) (- (fma x y z) (+ 1.0 (exp (log (+ z (* x y)))))))> #<alt (λ (x y z) (- (fma x y z) (+ 1.0 (cbrt (pow (+ z (* x y)) 3)))))> #<alt (λ (x y z) (- (fma x y z) (+ 1.0 (/ (+ (pow (* x y) 3) (pow z 3)) (+ (* z z) (* x (* y (- (* x y) z))))))))> #<alt (λ (x y z) (- (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) z))> #<alt (λ (x y z) (/ (- (pow (cbrt (- (fma x y z) (+ 1.0 (* x y)))) 6) (* z z)) (+ z (- (fma x y z) (+ 1.0 (* x y))))))> #<alt (λ (x y z) (- (cbrt (pow (- (fma x y z) (+ 1.0 (* x y))) 3)) z))> #<alt (λ (x y z) (- (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) z))> #<alt (λ (x y z) (- (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (exp (log (- (fma x y z) (+ 1.0 (* x y))))))) z))> #<alt (λ (x y z) (* (+ (sqrt (- (fma x y z) (+ 1.0 (* x y)))) (sqrt z)) (- (sqrt (- (fma x y z) (+ 1.0 (* x y)))) (sqrt z))))> #<alt (λ (x y z) (- (fma x y z) (+ 1.0 (/ (- (* x (* x (* y y))) (* z z)) (- (* x y) z)))))> #<alt (λ (x y z) (/ (* (- (* x y) z) (- (- (pow (fma x y z) 3) (pow 1.0 3)) (* (+ (* 1.0 1.0) (* (fma x y z) (+ (fma x y z) 1.0))) (+ z (* x y))))) (* (+ (* 1.0 1.0) (* (fma x y z) (+ (fma x y z) 1.0))) (- (* x y) z))))> #<alt (λ (x y z) (- (/ (- (pow (fma x y z) 3) (pow (+ 1.0 (* x y)) 3)) (+ (* (fma x y z) (fma x y z)) (* (+ 1.0 (* x y)) (+ (fma x y z) (+ 1.0 (* x y)))))) z))> #<alt (λ (x y z) (- (fma x y z) (+ 1.0 (* (* (cbrt (+ z (* x y))) (cbrt (+ z (* x y)))) (cbrt (+ z (* x y)))))))> #<alt (λ (x y z) (/ (* (+ (fma x y z) 1.0) (- (* (- (fma x y z) 1.0) (+ (* z z) (* (* x y) (- (* x y) z)))) (+ (pow (* x y) 3) (pow z 3)))) (* (+ (* z z) (* (* x y) (- (* x y) z))) (+ (fma x y z) 1.0))))> #<alt (λ (x y z) (- (* (+ (sqrt (fma x y z)) (sqrt (+ 1.0 (* x y)))) (- (sqrt (fma x y z)) (sqrt (+ 1.0 (* x y))))) z))> #<alt (λ (x y z) (- (fma x y z) (+ 1.0 (* (sqrt (+ z (* x y))) (sqrt (+ z (* x y)))))))>)
0.726 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
0.726 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (- (- (fma x y z) 1.0) (+ (* x y) z)))> #<alt (λ (x y z) (- (fma x y z) (+ 1.0 (exp (log (+ z (* x y)))))))> #<alt (λ (x y z) (- (fma x y z) (+ 1.0 (cbrt (pow (+ z (* x y)) 3)))))> #<alt (λ (x y z) (- (fma x y z) (+ 1.0 (/ (+ (pow (* x y) 3) (pow z 3)) (+ (* z z) (* x (* y (- (* x y) z))))))))> #<alt (λ (x y z) (- (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) z))> #<alt (λ (x y z) (/ (- (pow (cbrt (- (fma x y z) (+ 1.0 (* x y)))) 6) (* z z)) (+ z (- (fma x y z) (+ 1.0 (* x y))))))> #<alt (λ (x y z) (- (cbrt (pow (- (fma x y z) (+ 1.0 (* x y))) 3)) z))> #<alt (λ (x y z) (- (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) z))> #<alt (λ (x y z) (- (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (exp (log (- (fma x y z) (+ 1.0 (* x y))))))) z))> #<alt (λ (x y z) (* (+ (sqrt (- (fma x y z) (+ 1.0 (* x y)))) (sqrt z)) (- (sqrt (- (fma x y z) (+ 1.0 (* x y)))) (sqrt z))))> #<alt (λ (x y z) (- (fma x y z) (+ 1.0 (/ (- (* x (* x (* y y))) (* z z)) (- (* x y) z)))))> #<alt (λ (x y z) (/ (* (- (* x y) z) (- (- (pow (fma x y z) 3) (pow 1.0 3)) (* (+ (* 1.0 1.0) (* (fma x y z) (+ (fma x y z) 1.0))) (+ z (* x y))))) (* (+ (* 1.0 1.0) (* (fma x y z) (+ (fma x y z) 1.0))) (- (* x y) z))))> #<alt (λ (x y z) (- (/ (- (pow (fma x y z) 3) (pow (+ 1.0 (* x y)) 3)) (+ (* (fma x y z) (fma x y z)) (* (+ 1.0 (* x y)) (+ (fma x y z) (+ 1.0 (* x y)))))) z))> #<alt (λ (x y z) (- (fma x y z) (+ 1.0 (* (* (cbrt (+ z (* x y))) (cbrt (+ z (* x y)))) (cbrt (+ z (* x y)))))))> #<alt (λ (x y z) (/ (* (+ (fma x y z) 1.0) (- (* (- (fma x y z) 1.0) (+ (* z z) (* (* x y) (- (* x y) z)))) (+ (pow (* x y) 3) (pow z 3)))) (* (+ (* z z) (* (* x y) (- (* x y) z))) (+ (fma x y z) 1.0))))> #<alt (λ (x y z) (- (* (+ (sqrt (fma x y z)) (sqrt (+ 1.0 (* x y)))) (- (sqrt (fma x y z)) (sqrt (+ 1.0 (* x y))))) z))> #<alt (λ (x y z) (- (fma x y z) (+ 1.0 (* (sqrt (+ z (* x y))) (sqrt (+ z (* x y)))))))>)
0.835 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (- (- (fma x y z) 1.0) (+ (* x y) z)))> #<alt (λ (x y z) (- (fma x y z) (+ 1.0 (exp (log (+ z (* x y)))))))> #<alt (λ (x y z) (- (fma x y z) (+ 1.0 (cbrt (pow (+ z (* x y)) 3)))))> #<alt (λ (x y z) (- (fma x y z) (+ 1.0 (/ (+ (pow (* x y) 3) (pow z 3)) (+ (* z z) (* x (* y (- (* x y) z))))))))> #<alt (λ (x y z) (- (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) z))> #<alt (λ (x y z) (/ (- (pow (cbrt (- (fma x y z) (+ 1.0 (* x y)))) 6) (* z z)) (+ z (- (fma x y z) (+ 1.0 (* x y))))))> #<alt (λ (x y z) (- (cbrt (pow (- (fma x y z) (+ 1.0 (* x y))) 3)) z))> #<alt (λ (x y z) (- (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) z))> #<alt (λ (x y z) (- (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (exp (log (- (fma x y z) (+ 1.0 (* x y))))))) z))> #<alt (λ (x y z) (* (+ (sqrt (- (fma x y z) (+ 1.0 (* x y)))) (sqrt z)) (- (sqrt (- (fma x y z) (+ 1.0 (* x y)))) (sqrt z))))> #<alt (λ (x y z) (- (fma x y z) (+ 1.0 (/ (- (* x (* x (* y y))) (* z z)) (- (* x y) z)))))> #<alt (λ (x y z) (/ (* (- (* x y) z) (- (- (pow (fma x y z) 3) (pow 1.0 3)) (* (+ (* 1.0 1.0) (* (fma x y z) (+ (fma x y z) 1.0))) (+ z (* x y))))) (* (+ (* 1.0 1.0) (* (fma x y z) (+ (fma x y z) 1.0))) (- (* x y) z))))> #<alt (λ (x y z) (- (/ (- (pow (fma x y z) 3) (pow (+ 1.0 (* x y)) 3)) (+ (* (fma x y z) (fma x y z)) (* (+ 1.0 (* x y)) (+ (fma x y z) (+ 1.0 (* x y)))))) z))> #<alt (λ (x y z) (- (fma x y z) (+ 1.0 (* (* (cbrt (+ z (* x y))) (cbrt (+ z (* x y)))) (cbrt (+ z (* x y)))))))> #<alt (λ (x y z) (/ (* (+ (fma x y z) 1.0) (- (* (- (fma x y z) 1.0) (+ (* z z) (* (* x y) (- (* x y) z)))) (+ (pow (* x y) 3) (pow z 3)))) (* (+ (* z z) (* (* x y) (- (* x y) z))) (+ (fma x y z) 1.0))))> #<alt (λ (x y z) (- (* (+ (sqrt (fma x y z)) (sqrt (+ 1.0 (* x y)))) (- (sqrt (fma x y z)) (sqrt (+ 1.0 (* x y))))) z))> #<alt (λ (x y z) (- (fma x y z) (+ 1.0 (* (sqrt (+ z (* x y))) (sqrt (+ z (* x y)))))))>)
0.944 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (- (- (fma x y z) 1.0) (+ (* x y) z)))> #<alt (λ (x y z) (- (fma x y z) (+ 1.0 (exp (log (+ z (* x y)))))))> #<alt (λ (x y z) (- (fma x y z) (+ 1.0 (cbrt (pow (+ z (* x y)) 3)))))> #<alt (λ (x y z) (- (fma x y z) (+ 1.0 (/ (+ (pow (* x y) 3) (pow z 3)) (+ (* z z) (* x (* y (- (* x y) z))))))))> #<alt (λ (x y z) (- (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) z))> #<alt (λ (x y z) (/ (- (pow (cbrt (- (fma x y z) (+ 1.0 (* x y)))) 6) (* z z)) (+ z (- (fma x y z) (+ 1.0 (* x y))))))> #<alt (λ (x y z) (- (cbrt (pow (- (fma x y z) (+ 1.0 (* x y))) 3)) z))> #<alt (λ (x y z) (- (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) z))> #<alt (λ (x y z) (- (* (* (cbrt (- (fma x y z) (+ 1.0 (* x y)))) (cbrt (- (fma x y z) (+ 1.0 (* x y))))) (cbrt (exp (log (- (fma x y z) (+ 1.0 (* x y))))))) z))> #<alt (λ (x y z) (* (+ (sqrt (- (fma x y z) (+ 1.0 (* x y)))) (sqrt z)) (- (sqrt (- (fma x y z) (+ 1.0 (* x y)))) (sqrt z))))> #<alt (λ (x y z) (- (fma x y z) (+ 1.0 (/ (- (* x (* x (* y y))) (* z z)) (- (* x y) z)))))> #<alt (λ (x y z) (/ (* (- (* x y) z) (- (- (pow (fma x y z) 3) (pow 1.0 3)) (* (+ (* 1.0 1.0) (* (fma x y z) (+ (fma x y z) 1.0))) (+ z (* x y))))) (* (+ (* 1.0 1.0) (* (fma x y z) (+ (fma x y z) 1.0))) (- (* x y) z))))> #<alt (λ (x y z) (- (/ (- (pow (fma x y z) 3) (pow (+ 1.0 (* x y)) 3)) (+ (* (fma x y z) (fma x y z)) (* (+ 1.0 (* x y)) (+ (fma x y z) (+ 1.0 (* x y)))))) z))> #<alt (λ (x y z) (- (fma x y z) (+ 1.0 (* (* (cbrt (+ z (* x y))) (cbrt (+ z (* x y)))) (cbrt (+ z (* x y)))))))> #<alt (λ (x y z) (/ (* (+ (fma x y z) 1.0) (- (* (- (fma x y z) 1.0) (+ (* z z) (* (* x y) (- (* x y) z)))) (+ (pow (* x y) 3) (pow z 3)))) (* (+ (* z z) (* (* x y) (- (* x y) z))) (+ (fma x y z) 1.0))))> #<alt (λ (x y z) (- (* (+ (sqrt (fma x y z)) (sqrt (+ 1.0 (* x y)))) (- (sqrt (fma x y z)) (sqrt (+ 1.0 (* x y))))) z))> #<alt (λ (x y z) (- (fma x y z) (+ 1.0 (* (sqrt (+ z (* x y))) (sqrt (+ z (* x y)))))))>)
1.054 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
1.055 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (- (fma x y z) 1.0) (+ (* x y) z))
1.055 * * [simplify]: iteration  0 :  11  enodes  (cost  12 )
1.055 * * [simplify]: iteration  1 :  11  enodes  (cost  12 )
1.055 * [simplify]: Simplified to:
   (- (- (fma x y z) 1.0) (+ z (* x y)))
4.392 * [regime-testing]: End program error score: 45.11364193318639
4.467 * [regime-testing]: Target error score: 0