3.394 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.015 * * * [progress]: [2/2] Setting up program.
0.017 * [progress]: [Phase 2 of 3] Improving.
0.017 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (+ x y) (- 1.0 z))
0.018 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
0.019 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
0.021 * * [simplify]: iteration  2 :  26  enodes  (cost  7 )
0.024 * * [simplify]: iteration  3 :  55  enodes  (cost  7 )
0.033 * * [simplify]: iteration  4 :  103  enodes  (cost  7 )
0.052 * * [simplify]: iteration  5 :  147  enodes  (cost  7 )
0.085 * * [simplify]: iteration  6 :  185  enodes  (cost  7 )
0.134 * * [simplify]: iteration  7 :  271  enodes  (cost  7 )
0.228 * * [simplify]: iteration  8 :  460  enodes  (cost  7 )
0.421 * * [simplify]: iteration  9 :  707  enodes  (cost  7 )
0.576 * * [simplify]: iteration  10 :  776  enodes  (cost  7 )
0.738 * * [simplify]: iteration  11 :  780  enodes  (cost  7 )
0.905 * * [simplify]: iteration  done :  780  enodes  (cost  7 )
0.905 * [simplify]: Simplified to:
   (* (+ x y) (- 1.0 z))
0.905 * * [progress]: iteration 1 / 4
0.905 * * * [progress]: picking best candidate
0.907 * * * * [pick]: Picked  #<alt (λ (x y z) (* (+ x y) (- 1.0 z)))>
0.907 * * * [progress]: localizing error
0.912 * * * [progress]: generating rewritten candidates
0.912 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.930 * * * [progress]: generating series expansions
0.931 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.931 * [approximate]: Taking taylor expansion of (* (- 1.0 z) (+ x y)) in (x y z) around 0
0.931 * [taylor]: Taking taylor expansion of (* (- 1.0 z) (+ x y)) in z
0.931 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
0.931 * [taylor]: Taking taylor expansion of 1.0 in z
0.931 * [taylor]: Taking taylor expansion of z in z
0.931 * [taylor]: Taking taylor expansion of (+ x y) in z
0.931 * [taylor]: Taking taylor expansion of x in z
0.931 * [taylor]: Taking taylor expansion of y in z
0.931 * [taylor]: Taking taylor expansion of (* (- 1.0 z) (+ x y)) in y
0.931 * [taylor]: Taking taylor expansion of (- 1.0 z) in y
0.931 * [taylor]: Taking taylor expansion of 1.0 in y
0.931 * [taylor]: Taking taylor expansion of z in y
0.931 * [taylor]: Taking taylor expansion of (+ x y) in y
0.931 * [taylor]: Taking taylor expansion of x in y
0.931 * [taylor]: Taking taylor expansion of y in y
0.931 * [taylor]: Taking taylor expansion of (* (- 1.0 z) (+ x y)) in x
0.931 * [taylor]: Taking taylor expansion of (- 1.0 z) in x
0.931 * [taylor]: Taking taylor expansion of 1.0 in x
0.931 * [taylor]: Taking taylor expansion of z in x
0.931 * [taylor]: Taking taylor expansion of (+ x y) in x
0.931 * [taylor]: Taking taylor expansion of x in x
0.931 * [taylor]: Taking taylor expansion of y in x
0.931 * [taylor]: Taking taylor expansion of (* (- 1.0 z) (+ x y)) in x
0.931 * [taylor]: Taking taylor expansion of (- 1.0 z) in x
0.931 * [taylor]: Taking taylor expansion of 1.0 in x
0.931 * [taylor]: Taking taylor expansion of z in x
0.931 * [taylor]: Taking taylor expansion of (+ x y) in x
0.931 * [taylor]: Taking taylor expansion of x in x
0.931 * [taylor]: Taking taylor expansion of y in x
0.931 * [taylor]: Taking taylor expansion of (* y (- 1.0 z)) in y
0.931 * [taylor]: Taking taylor expansion of y in y
0.931 * [taylor]: Taking taylor expansion of (- 1.0 z) in y
0.931 * [taylor]: Taking taylor expansion of 1.0 in y
0.931 * [taylor]: Taking taylor expansion of z in y
0.932 * [taylor]: Taking taylor expansion of 0 in z
0.933 * [taylor]: Taking taylor expansion of (- 1.0 z) in y
0.933 * [taylor]: Taking taylor expansion of 1.0 in y
0.933 * [taylor]: Taking taylor expansion of z in y
0.933 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
0.933 * [taylor]: Taking taylor expansion of 1.0 in z
0.933 * [taylor]: Taking taylor expansion of z in z
0.934 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
0.934 * [taylor]: Taking taylor expansion of 1.0 in z
0.934 * [taylor]: Taking taylor expansion of z in z
0.936 * [taylor]: Taking taylor expansion of 0 in y
0.936 * [taylor]: Taking taylor expansion of 0 in z
0.936 * [taylor]: Taking taylor expansion of 0 in z
0.937 * [taylor]: Taking taylor expansion of 0 in z
0.938 * [approximate]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (+ (/ 1 y) (/ 1 x))) in (x y z) around 0
0.938 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (+ (/ 1 y) (/ 1 x))) in z
0.938 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
0.938 * [taylor]: Taking taylor expansion of 1.0 in z
0.938 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.938 * [taylor]: Taking taylor expansion of z in z
0.939 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
0.939 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.939 * [taylor]: Taking taylor expansion of y in z
0.939 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.939 * [taylor]: Taking taylor expansion of x in z
0.939 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (+ (/ 1 y) (/ 1 x))) in y
0.939 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y
0.939 * [taylor]: Taking taylor expansion of 1.0 in y
0.939 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.939 * [taylor]: Taking taylor expansion of z in y
0.939 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.939 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.939 * [taylor]: Taking taylor expansion of y in y
0.939 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.939 * [taylor]: Taking taylor expansion of x in y
0.939 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (+ (/ 1 y) (/ 1 x))) in x
0.939 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x
0.939 * [taylor]: Taking taylor expansion of 1.0 in x
0.939 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.939 * [taylor]: Taking taylor expansion of z in x
0.939 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.939 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.939 * [taylor]: Taking taylor expansion of y in x
0.939 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.939 * [taylor]: Taking taylor expansion of x in x
0.940 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (+ (/ 1 y) (/ 1 x))) in x
0.940 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x
0.940 * [taylor]: Taking taylor expansion of 1.0 in x
0.940 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.940 * [taylor]: Taking taylor expansion of z in x
0.940 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.940 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.940 * [taylor]: Taking taylor expansion of y in x
0.940 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.940 * [taylor]: Taking taylor expansion of x in x
0.941 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y
0.941 * [taylor]: Taking taylor expansion of 1.0 in y
0.941 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.941 * [taylor]: Taking taylor expansion of z in y
0.942 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y)) (/ 1 (* z y))) in y
0.942 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y
0.942 * [taylor]: Taking taylor expansion of 1.0 in y
0.942 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.942 * [taylor]: Taking taylor expansion of y in y
0.942 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.942 * [taylor]: Taking taylor expansion of (* z y) in y
0.942 * [taylor]: Taking taylor expansion of z in y
0.942 * [taylor]: Taking taylor expansion of y in y
0.943 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
0.943 * [taylor]: Taking taylor expansion of 1.0 in z
0.943 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.943 * [taylor]: Taking taylor expansion of z in z
0.944 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
0.944 * [taylor]: Taking taylor expansion of 1.0 in z
0.944 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.944 * [taylor]: Taking taylor expansion of z in z
0.946 * [taylor]: Taking taylor expansion of 0 in y
0.948 * [taylor]: Taking taylor expansion of 0 in z
0.949 * [taylor]: Taking taylor expansion of 0 in z
0.950 * [approximate]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 z) 1.0))) in (x y z) around 0
0.950 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 z) 1.0))) in z
0.950 * [taylor]: Taking taylor expansion of -1 in z
0.950 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 z) 1.0)) in z
0.950 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
0.950 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.950 * [taylor]: Taking taylor expansion of y in z
0.950 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.950 * [taylor]: Taking taylor expansion of x in z
0.950 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
0.950 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.950 * [taylor]: Taking taylor expansion of z in z
0.951 * [taylor]: Taking taylor expansion of 1.0 in z
0.951 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 z) 1.0))) in y
0.951 * [taylor]: Taking taylor expansion of -1 in y
0.951 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 z) 1.0)) in y
0.951 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.951 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.951 * [taylor]: Taking taylor expansion of y in y
0.951 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.951 * [taylor]: Taking taylor expansion of x in y
0.951 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y
0.951 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.951 * [taylor]: Taking taylor expansion of z in y
0.951 * [taylor]: Taking taylor expansion of 1.0 in y
0.951 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 z) 1.0))) in x
0.951 * [taylor]: Taking taylor expansion of -1 in x
0.951 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 z) 1.0)) in x
0.951 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.951 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.951 * [taylor]: Taking taylor expansion of y in x
0.951 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.951 * [taylor]: Taking taylor expansion of x in x
0.952 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x
0.952 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.952 * [taylor]: Taking taylor expansion of z in x
0.952 * [taylor]: Taking taylor expansion of 1.0 in x
0.952 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 z) 1.0))) in x
0.952 * [taylor]: Taking taylor expansion of -1 in x
0.952 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 z) 1.0)) in x
0.952 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.952 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.952 * [taylor]: Taking taylor expansion of y in x
0.952 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.952 * [taylor]: Taking taylor expansion of x in x
0.952 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x
0.952 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.952 * [taylor]: Taking taylor expansion of z in x
0.952 * [taylor]: Taking taylor expansion of 1.0 in x
0.953 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 z) 1.0)) in y
0.953 * [taylor]: Taking taylor expansion of -1 in y
0.953 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y
0.953 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.953 * [taylor]: Taking taylor expansion of z in y
0.953 * [taylor]: Taking taylor expansion of 1.0 in y
0.954 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (* 1.0 (/ 1 y)))) in y
0.954 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (* 1.0 (/ 1 y))) in y
0.954 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.954 * [taylor]: Taking taylor expansion of (* z y) in y
0.954 * [taylor]: Taking taylor expansion of z in y
0.954 * [taylor]: Taking taylor expansion of y in y
0.954 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y
0.954 * [taylor]: Taking taylor expansion of 1.0 in y
0.954 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.954 * [taylor]: Taking taylor expansion of y in y
0.955 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0)) in z
0.955 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
0.955 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.955 * [taylor]: Taking taylor expansion of z in z
0.955 * [taylor]: Taking taylor expansion of 1.0 in z
0.956 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 z) 1.0)) in z
0.956 * [taylor]: Taking taylor expansion of -1 in z
0.956 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
0.956 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.956 * [taylor]: Taking taylor expansion of z in z
0.956 * [taylor]: Taking taylor expansion of 1.0 in z
0.959 * [taylor]: Taking taylor expansion of 0 in y
0.960 * [taylor]: Taking taylor expansion of 0 in z
0.961 * [taylor]: Taking taylor expansion of 0 in z
0.963 * * * [progress]: simplifying candidates
0.964 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (+ x y) (- 1.0 z))
  (+ (log (+ x y)) (log (- 1.0 z)))
  (log (* (+ x y) (- 1.0 z)))
  (exp (* (+ x y) (- 1.0 z)))
  (* (* (* (+ x y) (+ x y)) (+ x y)) (* (* (- 1.0 z) (- 1.0 z)) (- 1.0 z)))
  (* (cbrt (* (+ x y) (- 1.0 z))) (cbrt (* (+ x y) (- 1.0 z))))
  (cbrt (* (+ x y) (- 1.0 z)))
  (* (* (* (+ x y) (- 1.0 z)) (* (+ x y) (- 1.0 z))) (* (+ x y) (- 1.0 z)))
  (sqrt (* (+ x y) (- 1.0 z)))
  (sqrt (* (+ x y) (- 1.0 z)))
  (* (+ (pow x 3) (pow y 3)) (- (pow 1.0 3) (pow z 3)))
  (* (+ (* x x) (- (* y y) (* x y))) (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z))))
  (* (+ (pow x 3) (pow y 3)) (- (* 1.0 1.0) (* z z)))
  (* (+ (* x x) (- (* y y) (* x y))) (+ 1.0 z))
  (* (- (* x x) (* y y)) (- (pow 1.0 3) (pow z 3)))
  (* (- x y) (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z))))
  (* (- (* x x) (* y y)) (- (* 1.0 1.0) (* z z)))
  (* (- x y) (+ 1.0 z))
  (* (sqrt (+ x y)) (sqrt (- 1.0 z)))
  (* (sqrt (+ x y)) (sqrt (- 1.0 z)))
  (* (+ x y) 1.0)
  (* (+ x y) (- z))
  (* (+ x y) 1.0)
  (* (+ x y) (- z))
  (* 1.0 (+ x y))
  (* (- z) (+ x y))
  (* 1.0 (+ x y))
  (* (- z) (+ x y))
  (* (+ x y) (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))))
  (* (+ x y) (sqrt (- 1.0 z)))
  (* (+ x y) 1)
  (* (+ x y) (+ (sqrt 1.0) (sqrt z)))
  (* (+ x y) 1)
  (* (cbrt (+ x y)) (- 1.0 z))
  (* (sqrt (+ x y)) (- 1.0 z))
  (* (+ x y) (- 1.0 z))
  (* (+ x y) (- 1.0 z))
  (* (+ x y) (- (pow 1.0 3) (pow z 3)))
  (* (+ x y) (- (* 1.0 1.0) (* z z)))
  (* (+ (pow x 3) (pow y 3)) (- 1.0 z))
  (* (- (* x x) (* y y)) (- 1.0 z))
  (- (+ (* 1.0 x) (* 1.0 y)) (* x z))
  (- (* 1.0 y) (+ (* x z) (* z y)))
  (- (* 1.0 y) (+ (* x z) (* z y)))
0.966 * * [simplify]: iteration  0 :  84  enodes  (cost  448 )
0.985 * * [simplify]: iteration  1 :  239  enodes  (cost  433 )
1.040 * * [simplify]: iteration  2 :  870  enodes  (cost  401 )
1.746 * * [simplify]: iteration  3 :  3699  enodes  (cost  401 )
2.653 * * [simplify]: iteration  done :  5000  enodes  (cost  401 )
2.654 * [simplify]: Simplified to:
   (* (+ x y) (- 1.0 z))
  (log (* (+ x y) (- 1.0 z)))
  (log (* (+ x y) (- 1.0 z)))
  (exp (* (+ x y) (- 1.0 z)))
  (pow (* (+ x y) (- 1.0 z)) 3)
  (* (cbrt (* (+ x y) (- 1.0 z))) (cbrt (* (+ x y) (- 1.0 z))))
  (cbrt (* (+ x y) (- 1.0 z)))
  (pow (* (+ x y) (- 1.0 z)) 3)
  (sqrt (* (+ x y) (- 1.0 z)))
  (sqrt (* (+ x y) (- 1.0 z)))
  (* (+ (pow x 3) (pow y 3)) (- (pow 1.0 3) (pow z 3)))
  (* (+ (* x x) (* y (- y x))) (+ (* z (+ 1.0 z)) (* 1.0 1.0)))
  (* (+ (pow x 3) (pow y 3)) (- (* 1.0 1.0) (* z z)))
  (* (+ (* x x) (* y (- y x))) (+ 1.0 z))
  (* (- (* x x) (* y y)) (- (pow 1.0 3) (pow z 3)))
  (* (- x y) (+ (* z (+ 1.0 z)) (* 1.0 1.0)))
  (* (- (* x x) (* y y)) (- (* 1.0 1.0) (* z z)))
  (* (- x y) (+ 1.0 z))
  (* (sqrt (+ x y)) (sqrt (- 1.0 z)))
  (* (sqrt (+ x y)) (sqrt (- 1.0 z)))
  (* (+ x y) 1.0)
  (* (- z) (+ x y))
  (* (+ x y) 1.0)
  (* (- z) (+ x y))
  (* (+ x y) 1.0)
  (* (- z) (+ x y))
  (* (+ x y) 1.0)
  (* (- z) (+ x y))
  (* (+ x y) (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))))
  (* (+ x y) (sqrt (- 1.0 z)))
  (+ x y)
  (* (+ x y) (+ (sqrt 1.0) (sqrt z)))
  (+ x y)
  (* (cbrt (+ x y)) (- 1.0 z))
  (* (sqrt (+ x y)) (- 1.0 z))
  (* (+ x y) (- 1.0 z))
  (* (+ x y) (- 1.0 z))
  (* (+ x y) (- (pow 1.0 3) (pow z 3)))
  (* (+ x y) (- (* 1.0 1.0) (* z z)))
  (* (+ (pow x 3) (pow y 3)) (- 1.0 z))
  (* (- (* x x) (* y y)) (- 1.0 z))
  (- (* 1.0 (+ x y)) (* x z))
  (- (* 1.0 y) (* z (+ x y)))
  (- (* 1.0 y) (* z (+ x y)))
2.654 * * * [progress]: adding candidates to table
2.718 * * [progress]: iteration 2 / 4
2.718 * * * [progress]: picking best candidate
2.720 * * * * [pick]: Picked  #<alt (λ (x y z) (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (- 1.0 z))))>
2.720 * * * [progress]: localizing error
2.727 * * * [progress]: generating rewritten candidates
2.728 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
2.761 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
2.783 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
2.786 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
2.796 * * * [progress]: generating series expansions
2.796 * * * * [progress]: [ 1 / 4 ] generating series at (2)
2.796 * [approximate]: Taking taylor expansion of (* (- 1.0 z) (+ x y)) in (x y z) around 0
2.796 * [taylor]: Taking taylor expansion of (* (- 1.0 z) (+ x y)) in z
2.796 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
2.796 * [taylor]: Taking taylor expansion of 1.0 in z
2.796 * [taylor]: Taking taylor expansion of z in z
2.796 * [taylor]: Taking taylor expansion of (+ x y) in z
2.796 * [taylor]: Taking taylor expansion of x in z
2.796 * [taylor]: Taking taylor expansion of y in z
2.796 * [taylor]: Taking taylor expansion of (* (- 1.0 z) (+ x y)) in y
2.796 * [taylor]: Taking taylor expansion of (- 1.0 z) in y
2.796 * [taylor]: Taking taylor expansion of 1.0 in y
2.796 * [taylor]: Taking taylor expansion of z in y
2.796 * [taylor]: Taking taylor expansion of (+ x y) in y
2.796 * [taylor]: Taking taylor expansion of x in y
2.796 * [taylor]: Taking taylor expansion of y in y
2.796 * [taylor]: Taking taylor expansion of (* (- 1.0 z) (+ x y)) in x
2.796 * [taylor]: Taking taylor expansion of (- 1.0 z) in x
2.796 * [taylor]: Taking taylor expansion of 1.0 in x
2.796 * [taylor]: Taking taylor expansion of z in x
2.796 * [taylor]: Taking taylor expansion of (+ x y) in x
2.796 * [taylor]: Taking taylor expansion of x in x
2.796 * [taylor]: Taking taylor expansion of y in x
2.797 * [taylor]: Taking taylor expansion of (* (- 1.0 z) (+ x y)) in x
2.797 * [taylor]: Taking taylor expansion of (- 1.0 z) in x
2.797 * [taylor]: Taking taylor expansion of 1.0 in x
2.797 * [taylor]: Taking taylor expansion of z in x
2.797 * [taylor]: Taking taylor expansion of (+ x y) in x
2.797 * [taylor]: Taking taylor expansion of x in x
2.797 * [taylor]: Taking taylor expansion of y in x
2.797 * [taylor]: Taking taylor expansion of (* y (- 1.0 z)) in y
2.797 * [taylor]: Taking taylor expansion of y in y
2.797 * [taylor]: Taking taylor expansion of (- 1.0 z) in y
2.797 * [taylor]: Taking taylor expansion of 1.0 in y
2.797 * [taylor]: Taking taylor expansion of z in y
2.797 * [taylor]: Taking taylor expansion of 0 in z
2.798 * [taylor]: Taking taylor expansion of (- 1.0 z) in y
2.798 * [taylor]: Taking taylor expansion of 1.0 in y
2.798 * [taylor]: Taking taylor expansion of z in y
2.798 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
2.798 * [taylor]: Taking taylor expansion of 1.0 in z
2.798 * [taylor]: Taking taylor expansion of z in z
2.799 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
2.799 * [taylor]: Taking taylor expansion of 1.0 in z
2.800 * [taylor]: Taking taylor expansion of z in z
2.801 * [taylor]: Taking taylor expansion of 0 in y
2.801 * [taylor]: Taking taylor expansion of 0 in z
2.802 * [taylor]: Taking taylor expansion of 0 in z
2.802 * [taylor]: Taking taylor expansion of 0 in z
2.803 * [approximate]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (+ (/ 1 y) (/ 1 x))) in (x y z) around 0
2.803 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (+ (/ 1 y) (/ 1 x))) in z
2.803 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
2.803 * [taylor]: Taking taylor expansion of 1.0 in z
2.803 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.803 * [taylor]: Taking taylor expansion of z in z
2.804 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
2.804 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.804 * [taylor]: Taking taylor expansion of y in z
2.804 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.804 * [taylor]: Taking taylor expansion of x in z
2.804 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (+ (/ 1 y) (/ 1 x))) in y
2.804 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y
2.804 * [taylor]: Taking taylor expansion of 1.0 in y
2.804 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.804 * [taylor]: Taking taylor expansion of z in y
2.804 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
2.804 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.804 * [taylor]: Taking taylor expansion of y in y
2.804 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.804 * [taylor]: Taking taylor expansion of x in y
2.804 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (+ (/ 1 y) (/ 1 x))) in x
2.804 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x
2.804 * [taylor]: Taking taylor expansion of 1.0 in x
2.804 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.804 * [taylor]: Taking taylor expansion of z in x
2.804 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.805 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.805 * [taylor]: Taking taylor expansion of y in x
2.805 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.805 * [taylor]: Taking taylor expansion of x in x
2.805 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (+ (/ 1 y) (/ 1 x))) in x
2.805 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x
2.805 * [taylor]: Taking taylor expansion of 1.0 in x
2.805 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.805 * [taylor]: Taking taylor expansion of z in x
2.805 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.805 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.805 * [taylor]: Taking taylor expansion of y in x
2.805 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.805 * [taylor]: Taking taylor expansion of x in x
2.806 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y
2.806 * [taylor]: Taking taylor expansion of 1.0 in y
2.806 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.806 * [taylor]: Taking taylor expansion of z in y
2.807 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y)) (/ 1 (* z y))) in y
2.807 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y
2.807 * [taylor]: Taking taylor expansion of 1.0 in y
2.807 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.807 * [taylor]: Taking taylor expansion of y in y
2.808 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.808 * [taylor]: Taking taylor expansion of (* z y) in y
2.808 * [taylor]: Taking taylor expansion of z in y
2.808 * [taylor]: Taking taylor expansion of y in y
2.808 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
2.808 * [taylor]: Taking taylor expansion of 1.0 in z
2.808 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.808 * [taylor]: Taking taylor expansion of z in z
2.809 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
2.809 * [taylor]: Taking taylor expansion of 1.0 in z
2.809 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.809 * [taylor]: Taking taylor expansion of z in z
2.812 * [taylor]: Taking taylor expansion of 0 in y
2.813 * [taylor]: Taking taylor expansion of 0 in z
2.814 * [taylor]: Taking taylor expansion of 0 in z
2.815 * [approximate]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 z) 1.0))) in (x y z) around 0
2.815 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 z) 1.0))) in z
2.815 * [taylor]: Taking taylor expansion of -1 in z
2.816 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 z) 1.0)) in z
2.816 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
2.816 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.816 * [taylor]: Taking taylor expansion of y in z
2.816 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.816 * [taylor]: Taking taylor expansion of x in z
2.816 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
2.816 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.816 * [taylor]: Taking taylor expansion of z in z
2.816 * [taylor]: Taking taylor expansion of 1.0 in z
2.816 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 z) 1.0))) in y
2.816 * [taylor]: Taking taylor expansion of -1 in y
2.816 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 z) 1.0)) in y
2.816 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
2.816 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.816 * [taylor]: Taking taylor expansion of y in y
2.816 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.816 * [taylor]: Taking taylor expansion of x in y
2.816 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y
2.816 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.816 * [taylor]: Taking taylor expansion of z in y
2.817 * [taylor]: Taking taylor expansion of 1.0 in y
2.817 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 z) 1.0))) in x
2.817 * [taylor]: Taking taylor expansion of -1 in x
2.817 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 z) 1.0)) in x
2.817 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.817 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.817 * [taylor]: Taking taylor expansion of y in x
2.817 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.817 * [taylor]: Taking taylor expansion of x in x
2.817 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x
2.817 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.817 * [taylor]: Taking taylor expansion of z in x
2.817 * [taylor]: Taking taylor expansion of 1.0 in x
2.817 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 z) 1.0))) in x
2.817 * [taylor]: Taking taylor expansion of -1 in x
2.817 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (+ (/ 1 z) 1.0)) in x
2.817 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.817 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.817 * [taylor]: Taking taylor expansion of y in x
2.817 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.817 * [taylor]: Taking taylor expansion of x in x
2.817 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x
2.817 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.817 * [taylor]: Taking taylor expansion of z in x
2.818 * [taylor]: Taking taylor expansion of 1.0 in x
2.818 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 z) 1.0)) in y
2.818 * [taylor]: Taking taylor expansion of -1 in y
2.818 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y
2.818 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.818 * [taylor]: Taking taylor expansion of z in y
2.818 * [taylor]: Taking taylor expansion of 1.0 in y
2.819 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (* 1.0 (/ 1 y)))) in y
2.819 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (* 1.0 (/ 1 y))) in y
2.819 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.819 * [taylor]: Taking taylor expansion of (* z y) in y
2.819 * [taylor]: Taking taylor expansion of z in y
2.819 * [taylor]: Taking taylor expansion of y in y
2.820 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y
2.820 * [taylor]: Taking taylor expansion of 1.0 in y
2.820 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.820 * [taylor]: Taking taylor expansion of y in y
2.820 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0)) in z
2.820 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
2.821 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.821 * [taylor]: Taking taylor expansion of z in z
2.821 * [taylor]: Taking taylor expansion of 1.0 in z
2.821 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 z) 1.0)) in z
2.822 * [taylor]: Taking taylor expansion of -1 in z
2.822 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
2.822 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.822 * [taylor]: Taking taylor expansion of z in z
2.822 * [taylor]: Taking taylor expansion of 1.0 in z
2.824 * [taylor]: Taking taylor expansion of 0 in y
2.826 * [taylor]: Taking taylor expansion of 0 in z
2.827 * [taylor]: Taking taylor expansion of 0 in z
2.828 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
2.828 * [approximate]: Taking taylor expansion of (* (sqrt (- 1.0 z)) (+ x y)) in (x y z) around 0
2.829 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 z)) (+ x y)) in z
2.829 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 z)) in z
2.829 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
2.829 * [taylor]: Taking taylor expansion of 1.0 in z
2.829 * [taylor]: Taking taylor expansion of z in z
2.831 * [taylor]: Taking taylor expansion of (+ x y) in z
2.831 * [taylor]: Taking taylor expansion of x in z
2.831 * [taylor]: Taking taylor expansion of y in z
2.831 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 z)) (+ x y)) in y
2.831 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 z)) in y
2.831 * [taylor]: Taking taylor expansion of (- 1.0 z) in y
2.831 * [taylor]: Taking taylor expansion of 1.0 in y
2.831 * [taylor]: Taking taylor expansion of z in y
2.832 * [taylor]: Taking taylor expansion of (+ x y) in y
2.832 * [taylor]: Taking taylor expansion of x in y
2.832 * [taylor]: Taking taylor expansion of y in y
2.832 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 z)) (+ x y)) in x
2.832 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 z)) in x
2.832 * [taylor]: Taking taylor expansion of (- 1.0 z) in x
2.832 * [taylor]: Taking taylor expansion of 1.0 in x
2.832 * [taylor]: Taking taylor expansion of z in x
2.832 * [taylor]: Taking taylor expansion of (+ x y) in x
2.832 * [taylor]: Taking taylor expansion of x in x
2.832 * [taylor]: Taking taylor expansion of y in x
2.832 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 z)) (+ x y)) in x
2.832 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 z)) in x
2.832 * [taylor]: Taking taylor expansion of (- 1.0 z) in x
2.832 * [taylor]: Taking taylor expansion of 1.0 in x
2.832 * [taylor]: Taking taylor expansion of z in x
2.833 * [taylor]: Taking taylor expansion of (+ x y) in x
2.833 * [taylor]: Taking taylor expansion of x in x
2.833 * [taylor]: Taking taylor expansion of y in x
2.833 * [taylor]: Taking taylor expansion of (* y (sqrt (- 1.0 z))) in y
2.833 * [taylor]: Taking taylor expansion of y in y
2.833 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 z)) in y
2.833 * [taylor]: Taking taylor expansion of (- 1.0 z) in y
2.833 * [taylor]: Taking taylor expansion of 1.0 in y
2.833 * [taylor]: Taking taylor expansion of z in y
2.834 * [taylor]: Taking taylor expansion of 0 in z
2.834 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 z)) in y
2.834 * [taylor]: Taking taylor expansion of (- 1.0 z) in y
2.834 * [taylor]: Taking taylor expansion of 1.0 in y
2.834 * [taylor]: Taking taylor expansion of z in y
2.835 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 z)) in z
2.835 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
2.835 * [taylor]: Taking taylor expansion of 1.0 in z
2.835 * [taylor]: Taking taylor expansion of z in z
2.838 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 z)) in z
2.838 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
2.838 * [taylor]: Taking taylor expansion of 1.0 in z
2.838 * [taylor]: Taking taylor expansion of z in z
2.842 * [taylor]: Taking taylor expansion of 0 in y
2.842 * [taylor]: Taking taylor expansion of 0 in z
2.842 * [taylor]: Taking taylor expansion of 0 in z
2.843 * [taylor]: Taking taylor expansion of 0 in z
2.845 * [approximate]: Taking taylor expansion of (* (sqrt (- 1.0 (/ 1 z))) (+ (/ 1 y) (/ 1 x))) in (x y z) around 0
2.845 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (/ 1 z))) (+ (/ 1 y) (/ 1 x))) in z
2.845 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in z
2.845 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
2.845 * [taylor]: Taking taylor expansion of 1.0 in z
2.845 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.845 * [taylor]: Taking taylor expansion of z in z
2.847 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
2.847 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.847 * [taylor]: Taking taylor expansion of y in z
2.847 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.847 * [taylor]: Taking taylor expansion of x in z
2.847 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (/ 1 z))) (+ (/ 1 y) (/ 1 x))) in y
2.847 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in y
2.847 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y
2.847 * [taylor]: Taking taylor expansion of 1.0 in y
2.847 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.847 * [taylor]: Taking taylor expansion of z in y
2.848 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
2.848 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.848 * [taylor]: Taking taylor expansion of y in y
2.848 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.848 * [taylor]: Taking taylor expansion of x in y
2.848 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (/ 1 z))) (+ (/ 1 y) (/ 1 x))) in x
2.848 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in x
2.848 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x
2.848 * [taylor]: Taking taylor expansion of 1.0 in x
2.848 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.848 * [taylor]: Taking taylor expansion of z in x
2.849 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.849 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.849 * [taylor]: Taking taylor expansion of y in x
2.849 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.849 * [taylor]: Taking taylor expansion of x in x
2.850 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (/ 1 z))) (+ (/ 1 y) (/ 1 x))) in x
2.850 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in x
2.850 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x
2.850 * [taylor]: Taking taylor expansion of 1.0 in x
2.850 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.850 * [taylor]: Taking taylor expansion of z in x
2.850 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.850 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.850 * [taylor]: Taking taylor expansion of y in x
2.850 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.850 * [taylor]: Taking taylor expansion of x in x
2.851 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in y
2.851 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y
2.851 * [taylor]: Taking taylor expansion of 1.0 in y
2.851 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.851 * [taylor]: Taking taylor expansion of z in y
2.853 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (/ 1 z))) (/ 1 y)) in y
2.853 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in y
2.853 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y
2.853 * [taylor]: Taking taylor expansion of 1.0 in y
2.853 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.853 * [taylor]: Taking taylor expansion of z in y
2.853 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.853 * [taylor]: Taking taylor expansion of y in y
2.854 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in z
2.854 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
2.854 * [taylor]: Taking taylor expansion of 1.0 in z
2.854 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.854 * [taylor]: Taking taylor expansion of z in z
2.856 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in z
2.856 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
2.856 * [taylor]: Taking taylor expansion of 1.0 in z
2.856 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.856 * [taylor]: Taking taylor expansion of z in z
2.863 * [taylor]: Taking taylor expansion of 0 in y
2.864 * [taylor]: Taking taylor expansion of 0 in z
2.864 * [taylor]: Taking taylor expansion of 0 in z
2.866 * [taylor]: Taking taylor expansion of 0 in y
2.867 * [taylor]: Taking taylor expansion of 0 in z
2.868 * [taylor]: Taking taylor expansion of 0 in z
2.869 * [taylor]: Taking taylor expansion of 0 in z
2.873 * [approximate]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (sqrt (+ (/ 1 z) 1.0)))) in (x y z) around 0
2.873 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (sqrt (+ (/ 1 z) 1.0)))) in z
2.873 * [taylor]: Taking taylor expansion of -1 in z
2.873 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (sqrt (+ (/ 1 z) 1.0))) in z
2.873 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
2.873 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.873 * [taylor]: Taking taylor expansion of y in z
2.873 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.873 * [taylor]: Taking taylor expansion of x in z
2.873 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in z
2.873 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
2.873 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.873 * [taylor]: Taking taylor expansion of z in z
2.873 * [taylor]: Taking taylor expansion of 1.0 in z
2.875 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (sqrt (+ (/ 1 z) 1.0)))) in y
2.875 * [taylor]: Taking taylor expansion of -1 in y
2.875 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (sqrt (+ (/ 1 z) 1.0))) in y
2.875 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
2.875 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.875 * [taylor]: Taking taylor expansion of y in y
2.875 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.875 * [taylor]: Taking taylor expansion of x in y
2.875 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in y
2.875 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y
2.875 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.875 * [taylor]: Taking taylor expansion of z in y
2.875 * [taylor]: Taking taylor expansion of 1.0 in y
2.876 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (sqrt (+ (/ 1 z) 1.0)))) in x
2.876 * [taylor]: Taking taylor expansion of -1 in x
2.876 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (sqrt (+ (/ 1 z) 1.0))) in x
2.876 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.876 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.876 * [taylor]: Taking taylor expansion of y in x
2.876 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.876 * [taylor]: Taking taylor expansion of x in x
2.876 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in x
2.876 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x
2.876 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.876 * [taylor]: Taking taylor expansion of z in x
2.876 * [taylor]: Taking taylor expansion of 1.0 in x
2.877 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (sqrt (+ (/ 1 z) 1.0)))) in x
2.877 * [taylor]: Taking taylor expansion of -1 in x
2.877 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (sqrt (+ (/ 1 z) 1.0))) in x
2.877 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.877 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.877 * [taylor]: Taking taylor expansion of y in x
2.877 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.877 * [taylor]: Taking taylor expansion of x in x
2.877 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in x
2.877 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x
2.877 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.877 * [taylor]: Taking taylor expansion of z in x
2.877 * [taylor]: Taking taylor expansion of 1.0 in x
2.878 * [taylor]: Taking taylor expansion of (* -1 (sqrt (+ (/ 1 z) 1.0))) in y
2.878 * [taylor]: Taking taylor expansion of -1 in y
2.878 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in y
2.878 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y
2.878 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.878 * [taylor]: Taking taylor expansion of z in y
2.878 * [taylor]: Taking taylor expansion of 1.0 in y
2.880 * [taylor]: Taking taylor expansion of (- (* (sqrt (+ (/ 1 z) 1.0)) (/ 1 y))) in y
2.880 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 z) 1.0)) (/ 1 y)) in y
2.880 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in y
2.880 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y
2.880 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.880 * [taylor]: Taking taylor expansion of z in y
2.880 * [taylor]: Taking taylor expansion of 1.0 in y
2.880 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.880 * [taylor]: Taking taylor expansion of y in y
2.880 * [taylor]: Taking taylor expansion of (- (sqrt (+ (/ 1 z) 1.0))) in z
2.881 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in z
2.881 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
2.881 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.881 * [taylor]: Taking taylor expansion of z in z
2.881 * [taylor]: Taking taylor expansion of 1.0 in z
2.882 * [taylor]: Taking taylor expansion of (* -1 (sqrt (+ (/ 1 z) 1.0))) in z
2.882 * [taylor]: Taking taylor expansion of -1 in z
2.882 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in z
2.882 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
2.882 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.882 * [taylor]: Taking taylor expansion of z in z
2.883 * [taylor]: Taking taylor expansion of 1.0 in z
2.887 * [taylor]: Taking taylor expansion of 0 in y
2.888 * [taylor]: Taking taylor expansion of 0 in z
2.888 * [taylor]: Taking taylor expansion of 0 in z
2.892 * [taylor]: Taking taylor expansion of 0 in y
2.892 * [taylor]: Taking taylor expansion of 0 in z
2.894 * [taylor]: Taking taylor expansion of 0 in z
2.896 * [taylor]: Taking taylor expansion of 0 in z
2.900 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
2.900 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 z)) in (z) around 0
2.900 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 z)) in z
2.900 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
2.900 * [taylor]: Taking taylor expansion of 1.0 in z
2.900 * [taylor]: Taking taylor expansion of z in z
2.902 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 z)) in z
2.902 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
2.902 * [taylor]: Taking taylor expansion of 1.0 in z
2.902 * [taylor]: Taking taylor expansion of z in z
2.911 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in (z) around 0
2.912 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in z
2.912 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
2.912 * [taylor]: Taking taylor expansion of 1.0 in z
2.912 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.912 * [taylor]: Taking taylor expansion of z in z
2.913 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in z
2.913 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
2.913 * [taylor]: Taking taylor expansion of 1.0 in z
2.913 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.913 * [taylor]: Taking taylor expansion of z in z
2.921 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in (z) around 0
2.921 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in z
2.921 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
2.922 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.922 * [taylor]: Taking taylor expansion of z in z
2.922 * [taylor]: Taking taylor expansion of 1.0 in z
2.923 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in z
2.923 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
2.923 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.923 * [taylor]: Taking taylor expansion of z in z
2.923 * [taylor]: Taking taylor expansion of 1.0 in z
2.931 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
2.931 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 z)) in (z) around 0
2.931 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 z)) in z
2.931 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
2.931 * [taylor]: Taking taylor expansion of 1.0 in z
2.931 * [taylor]: Taking taylor expansion of z in z
2.933 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 z)) in z
2.933 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
2.933 * [taylor]: Taking taylor expansion of 1.0 in z
2.933 * [taylor]: Taking taylor expansion of z in z
2.943 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in (z) around 0
2.943 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in z
2.943 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
2.943 * [taylor]: Taking taylor expansion of 1.0 in z
2.943 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.943 * [taylor]: Taking taylor expansion of z in z
2.948 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 z))) in z
2.948 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z
2.948 * [taylor]: Taking taylor expansion of 1.0 in z
2.948 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.948 * [taylor]: Taking taylor expansion of z in z
2.956 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in (z) around 0
2.956 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in z
2.956 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
2.956 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.956 * [taylor]: Taking taylor expansion of z in z
2.956 * [taylor]: Taking taylor expansion of 1.0 in z
2.957 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) 1.0)) in z
2.957 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z
2.957 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.957 * [taylor]: Taking taylor expansion of z in z
2.958 * [taylor]: Taking taylor expansion of 1.0 in z
2.965 * * * [progress]: simplifying candidates
2.967 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (- 1.0 z)))
  (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (- 1.0 z)))
  (+ (+ (log (+ x y)) (log (sqrt (- 1.0 z)))) (log (sqrt (- 1.0 z))))
  (+ (log (* (+ x y) (sqrt (- 1.0 z)))) (log (sqrt (- 1.0 z))))
  (log (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (- 1.0 z))))
  (exp (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (- 1.0 z))))
  (* (* (* (* (+ x y) (+ x y)) (+ x y)) (* (* (sqrt (- 1.0 z)) (sqrt (- 1.0 z))) (sqrt (- 1.0 z)))) (* (* (sqrt (- 1.0 z)) (sqrt (- 1.0 z))) (sqrt (- 1.0 z))))
  (* (* (* (* (+ x y) (sqrt (- 1.0 z))) (* (+ x y) (sqrt (- 1.0 z)))) (* (+ x y) (sqrt (- 1.0 z)))) (* (* (sqrt (- 1.0 z)) (sqrt (- 1.0 z))) (sqrt (- 1.0 z))))
  (* (cbrt (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (- 1.0 z)))) (cbrt (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (- 1.0 z)))))
  (cbrt (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (- 1.0 z))))
  (* (* (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (- 1.0 z))) (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (- 1.0 z)))) (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (- 1.0 z))))
  (sqrt (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (- 1.0 z))))
  (sqrt (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (- 1.0 z))))
  (* (* (+ (pow x 3) (pow y 3)) (sqrt (- (pow 1.0 3) (pow z 3)))) (sqrt (- (pow 1.0 3) (pow z 3))))
  (* (* (+ (* x x) (- (* y y) (* x y))) (sqrt (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z))))) (sqrt (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z)))))
  (* (* (+ (pow x 3) (pow y 3)) (sqrt (- (pow 1.0 3) (pow z 3)))) (sqrt (- (* 1.0 1.0) (* z z))))
  (* (* (+ (* x x) (- (* y y) (* x y))) (sqrt (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z))))) (sqrt (+ 1.0 z)))
  (* (* (+ (pow x 3) (pow y 3)) (sqrt (- (* 1.0 1.0) (* z z)))) (sqrt (- (pow 1.0 3) (pow z 3))))
  (* (* (+ (* x x) (- (* y y) (* x y))) (sqrt (+ 1.0 z))) (sqrt (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z)))))
  (* (* (+ (pow x 3) (pow y 3)) (sqrt (- (* 1.0 1.0) (* z z)))) (sqrt (- (* 1.0 1.0) (* z z))))
  (* (* (+ (* x x) (- (* y y) (* x y))) (sqrt (+ 1.0 z))) (sqrt (+ 1.0 z)))
  (* (* (- (* x x) (* y y)) (sqrt (- (pow 1.0 3) (pow z 3)))) (sqrt (- (pow 1.0 3) (pow z 3))))
  (* (* (- x y) (sqrt (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z))))) (sqrt (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z)))))
  (* (* (- (* x x) (* y y)) (sqrt (- (pow 1.0 3) (pow z 3)))) (sqrt (- (* 1.0 1.0) (* z z))))
  (* (* (- x y) (sqrt (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z))))) (sqrt (+ 1.0 z)))
  (* (* (- (* x x) (* y y)) (sqrt (- (* 1.0 1.0) (* z z)))) (sqrt (- (pow 1.0 3) (pow z 3))))
  (* (* (- x y) (sqrt (+ 1.0 z))) (sqrt (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z)))))
  (* (* (- (* x x) (* y y)) (sqrt (- (* 1.0 1.0) (* z z)))) (sqrt (- (* 1.0 1.0) (* z z))))
  (* (* (- x y) (sqrt (+ 1.0 z))) (sqrt (+ 1.0 z)))
  (* (* (+ x y) (sqrt (- (pow 1.0 3) (pow z 3)))) (sqrt (- (pow 1.0 3) (pow z 3))))
  (* (sqrt (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z)))) (sqrt (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z)))))
  (* (* (+ x y) (sqrt (- (pow 1.0 3) (pow z 3)))) (sqrt (- (* 1.0 1.0) (* z z))))
  (* (sqrt (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z)))) (sqrt (+ 1.0 z)))
  (* (* (+ x y) (sqrt (- (* 1.0 1.0) (* z z)))) (sqrt (- (pow 1.0 3) (pow z 3))))
  (* (sqrt (+ 1.0 z)) (sqrt (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z)))))
  (* (* (+ x y) (sqrt (- (* 1.0 1.0) (* z z)))) (sqrt (- (* 1.0 1.0) (* z z))))
  (* (sqrt (+ 1.0 z)) (sqrt (+ 1.0 z)))
  (* (* (+ (pow x 3) (pow y 3)) (sqrt (- 1.0 z))) (sqrt (- (pow 1.0 3) (pow z 3))))
  (* (+ (* x x) (- (* y y) (* x y))) (sqrt (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z)))))
  (* (* (+ (pow x 3) (pow y 3)) (sqrt (- 1.0 z))) (sqrt (- (* 1.0 1.0) (* z z))))
  (* (+ (* x x) (- (* y y) (* x y))) (sqrt (+ 1.0 z)))
  (* (* (- (* x x) (* y y)) (sqrt (- 1.0 z))) (sqrt (- (pow 1.0 3) (pow z 3))))
  (* (- x y) (sqrt (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z)))))
  (* (* (- (* x x) (* y y)) (sqrt (- 1.0 z))) (sqrt (- (* 1.0 1.0) (* z z))))
  (* (- x y) (sqrt (+ 1.0 z)))
  (* (* (+ x y) (sqrt (- 1.0 z))) (* (cbrt (sqrt (- 1.0 z))) (cbrt (sqrt (- 1.0 z)))))
  (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))))
  (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (sqrt (- 1.0 z))))
  (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt 1))
  (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (+ (sqrt 1.0) (sqrt z))))
  (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt 1))
  (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (sqrt (- 1.0 z))))
  (* (* (+ x y) (sqrt (- 1.0 z))) 1)
  (* (sqrt (- 1.0 z)) (sqrt (- 1.0 z)))
  (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (- (pow 1.0 3) (pow z 3))))
  (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (- (* 1.0 1.0) (* z z))))
  (* (* (+ (pow x 3) (pow y 3)) (sqrt (- (pow 1.0 3) (pow z 3)))) (sqrt (- 1.0 z)))
  (* (* (+ (pow x 3) (pow y 3)) (sqrt (- (* 1.0 1.0) (* z z)))) (sqrt (- 1.0 z)))
  (* (* (- (* x x) (* y y)) (sqrt (- (pow 1.0 3) (pow z 3)))) (sqrt (- 1.0 z)))
  (* (* (- (* x x) (* y y)) (sqrt (- (* 1.0 1.0) (* z z)))) (sqrt (- 1.0 z)))
  (* (* (+ x y) (sqrt (- (pow 1.0 3) (pow z 3)))) (sqrt (- 1.0 z)))
  (* (* (+ x y) (sqrt (- (* 1.0 1.0) (* z z)))) (sqrt (- 1.0 z)))
  (* (* (+ (pow x 3) (pow y 3)) (sqrt (- 1.0 z))) (sqrt (- 1.0 z)))
  (* (* (- (* x x) (* y y)) (sqrt (- 1.0 z))) (sqrt (- 1.0 z)))
  (* (+ x y) (sqrt (- 1.0 z)))
  (+ (log (+ x y)) (log (sqrt (- 1.0 z))))
  (log (* (+ x y) (sqrt (- 1.0 z))))
  (exp (* (+ x y) (sqrt (- 1.0 z))))
  (* (* (* (+ x y) (+ x y)) (+ x y)) (* (* (sqrt (- 1.0 z)) (sqrt (- 1.0 z))) (sqrt (- 1.0 z))))
  (* (cbrt (* (+ x y) (sqrt (- 1.0 z)))) (cbrt (* (+ x y) (sqrt (- 1.0 z)))))
  (cbrt (* (+ x y) (sqrt (- 1.0 z))))
  (* (* (* (+ x y) (sqrt (- 1.0 z))) (* (+ x y) (sqrt (- 1.0 z)))) (* (+ x y) (sqrt (- 1.0 z))))
  (sqrt (* (+ x y) (sqrt (- 1.0 z))))
  (sqrt (* (+ x y) (sqrt (- 1.0 z))))
  (* (+ (pow x 3) (pow y 3)) (sqrt (- (pow 1.0 3) (pow z 3))))
  (* (+ (* x x) (- (* y y) (* x y))) (sqrt (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z)))))
  (* (+ (pow x 3) (pow y 3)) (sqrt (- (* 1.0 1.0) (* z z))))
  (* (+ (* x x) (- (* y y) (* x y))) (sqrt (+ 1.0 z)))
  (* (- (* x x) (* y y)) (sqrt (- (pow 1.0 3) (pow z 3))))
  (* (- x y) (sqrt (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z)))))
  (* (- (* x x) (* y y)) (sqrt (- (* 1.0 1.0) (* z z))))
  (* (- x y) (sqrt (+ 1.0 z)))
  (* (sqrt (+ x y)) (sqrt (sqrt (- 1.0 z))))
  (* (sqrt (+ x y)) (sqrt (sqrt (- 1.0 z))))
  (* (sqrt (+ x y)) (sqrt (sqrt (- 1.0 z))))
  (* (sqrt (+ x y)) (sqrt (sqrt (- 1.0 z))))
  (* (+ x y) (* (cbrt (sqrt (- 1.0 z))) (cbrt (sqrt (- 1.0 z)))))
  (* (+ x y) (sqrt (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))))
  (* (+ x y) (sqrt (sqrt (- 1.0 z))))
  (* (+ x y) (sqrt 1))
  (* (+ x y) (sqrt (+ (sqrt 1.0) (sqrt z))))
  (* (+ x y) (sqrt 1))
  (* (+ x y) (sqrt (sqrt (- 1.0 z))))
  (* (+ x y) 1)
  (* (cbrt (+ x y)) (sqrt (- 1.0 z)))
  (* (sqrt (+ x y)) (sqrt (- 1.0 z)))
  (* (+ x y) (sqrt (- 1.0 z)))
  (* (+ x y) (sqrt (- 1.0 z)))
  (* (+ x y) (sqrt (- (pow 1.0 3) (pow z 3))))
  (* (+ x y) (sqrt (- (* 1.0 1.0) (* z z))))
  (* (+ (pow x 3) (pow y 3)) (sqrt (- 1.0 z)))
  (* (- (* x x) (* y y)) (sqrt (- 1.0 z)))
  (log (sqrt (- 1.0 z)))
  (exp (sqrt (- 1.0 z)))
  (* (cbrt (sqrt (- 1.0 z))) (cbrt (sqrt (- 1.0 z))))
  (cbrt (sqrt (- 1.0 z)))
  (* (* (sqrt (- 1.0 z)) (sqrt (- 1.0 z))) (sqrt (- 1.0 z)))
  (sqrt (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))))
  (sqrt (cbrt (- 1.0 z)))
  (sqrt (sqrt (- 1.0 z)))
  (sqrt (sqrt (- 1.0 z)))
  (sqrt 1)
  (sqrt (- 1.0 z))
  (sqrt (+ (sqrt 1.0) (sqrt z)))
  (sqrt (- (sqrt 1.0) (sqrt z)))
  (sqrt 1)
  (sqrt (- 1.0 z))
  (sqrt (- (pow 1.0 3) (pow z 3)))
  (sqrt (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z))))
  (sqrt (- (* 1.0 1.0) (* z z)))
  (sqrt (+ 1.0 z))
  (/ 1 2)
  (sqrt (sqrt (- 1.0 z)))
  (sqrt (sqrt (- 1.0 z)))
  (log (sqrt (- 1.0 z)))
  (exp (sqrt (- 1.0 z)))
  (* (cbrt (sqrt (- 1.0 z))) (cbrt (sqrt (- 1.0 z))))
  (cbrt (sqrt (- 1.0 z)))
  (* (* (sqrt (- 1.0 z)) (sqrt (- 1.0 z))) (sqrt (- 1.0 z)))
  (sqrt (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))))
  (sqrt (cbrt (- 1.0 z)))
  (sqrt (sqrt (- 1.0 z)))
  (sqrt (sqrt (- 1.0 z)))
  (sqrt 1)
  (sqrt (- 1.0 z))
  (sqrt (+ (sqrt 1.0) (sqrt z)))
  (sqrt (- (sqrt 1.0) (sqrt z)))
  (sqrt 1)
  (sqrt (- 1.0 z))
  (sqrt (- (pow 1.0 3) (pow z 3)))
  (sqrt (+ (* 1.0 1.0) (+ (* z z) (* 1.0 z))))
  (sqrt (- (* 1.0 1.0) (* z z)))
  (sqrt (+ 1.0 z))
  (/ 1 2)
  (sqrt (sqrt (- 1.0 z)))
  (sqrt (sqrt (- 1.0 z)))
  (- (+ (* 1.0 x) (* 1.0 y)) (* x z))
  (- (* 1.0 y) (+ (* x z) (* z y)))
  (- (* 1.0 y) (+ (* x z) (* z y)))
  (- (+ (* x (sqrt 1.0)) (* (sqrt 1.0) y)) (* 1/2 (/ (* x z) (sqrt 1.0))))
  (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ y z)) (- (* +nan.0 y))))))
  (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ y z)) (- (* +nan.0 y))))))
  (- (sqrt 1.0) (+ (* 1/2 (/ z (sqrt 1.0))) (* 1/8 (/ (pow z 2) (pow (sqrt 1.0) 3)))))
  (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (pow z 2))) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (pow z 2))) (- +nan.0)))))
  (- (sqrt 1.0) (+ (* 1/2 (/ z (sqrt 1.0))) (* 1/8 (/ (pow z 2) (pow (sqrt 1.0) 3)))))
  (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (pow z 2))) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (pow z 2))) (- +nan.0)))))
2.973 * * [simplify]: iteration  0 :  188  enodes  (cost  2209 )
3.014 * * [simplify]: iteration  1 :  489  enodes  (cost  1891 )
3.159 * * [simplify]: iteration  2 :  1458  enodes  (cost  1726 )
3.696 * * [simplify]: iteration  done :  5000  enodes  (cost  1718 )
3.697 * [simplify]: Simplified to:
   (* (+ x y) (- 1.0 z))
  (* (+ x y) (- 1.0 z))
  (log (* (+ x y) (- 1.0 z)))
  (log (* (+ x y) (- 1.0 z)))
  (log (* (+ x y) (- 1.0 z)))
  (exp (* (+ x y) (- 1.0 z)))
  (pow (* (+ x y) (- 1.0 z)) 3)
  (pow (* (+ x y) (- 1.0 z)) 3)
  (* (cbrt (* (+ x y) (- 1.0 z))) (cbrt (* (+ x y) (- 1.0 z))))
  (cbrt (* (+ x y) (- 1.0 z)))
  (pow (* (+ x y) (- 1.0 z)) 3)
  (sqrt (* (+ x y) (- 1.0 z)))
  (sqrt (* (+ x y) (- 1.0 z)))
  (* (- (pow 1.0 3) (pow z 3)) (+ (pow x 3) (pow y 3)))
  (* (+ (* y (- y x)) (* x x)) (+ (* 1.0 1.0) (* z (+ z 1.0))))
  (* (* (+ (pow x 3) (pow y 3)) (sqrt (- (pow 1.0 3) (pow z 3)))) (sqrt (- (* 1.0 1.0) (* z z))))
  (* (* (sqrt (+ (* 1.0 1.0) (* z (+ z 1.0)))) (+ (* y (- y x)) (* x x))) (sqrt (+ 1.0 z)))
  (* (* (+ (pow x 3) (pow y 3)) (sqrt (- (pow 1.0 3) (pow z 3)))) (sqrt (- (* 1.0 1.0) (* z z))))
  (* (* (sqrt (+ (* 1.0 1.0) (* z (+ z 1.0)))) (+ (* y (- y x)) (* x x))) (sqrt (+ 1.0 z)))
  (* (- (* 1.0 1.0) (* z z)) (+ (pow x 3) (pow y 3)))
  (* (+ (* y (- y x)) (* x x)) (+ z 1.0))
  (* (- (pow 1.0 3) (pow z 3)) (- (* x x) (* y y)))
  (* (- x y) (+ (* 1.0 1.0) (* z (+ z 1.0))))
  (* (* (- (* x x) (* y y)) (sqrt (- (pow 1.0 3) (pow z 3)))) (sqrt (- (* 1.0 1.0) (* z z))))
  (* (* (- x y) (sqrt (+ (* 1.0 1.0) (* z (+ z 1.0))))) (sqrt (+ 1.0 z)))
  (* (* (- (* x x) (* y y)) (sqrt (- (pow 1.0 3) (pow z 3)))) (sqrt (- (* 1.0 1.0) (* z z))))
  (* (* (- x y) (sqrt (+ (* 1.0 1.0) (* z (+ z 1.0))))) (sqrt (+ 1.0 z)))
  (* (- (* x x) (* y y)) (- (* 1.0 1.0) (* z z)))
  (* (- x y) (+ z 1.0))
  (* (- (pow 1.0 3) (pow z 3)) (+ x y))
  (+ (* 1.0 1.0) (* z (+ z 1.0)))
  (* (* (+ x y) (sqrt (- (pow 1.0 3) (pow z 3)))) (sqrt (- (* 1.0 1.0) (* z z))))
  (* (sqrt (+ (* 1.0 1.0) (* z (+ z 1.0)))) (sqrt (+ 1.0 z)))
  (* (* (+ x y) (sqrt (- (pow 1.0 3) (pow z 3)))) (sqrt (- (* 1.0 1.0) (* z z))))
  (* (sqrt (+ (* 1.0 1.0) (* z (+ z 1.0)))) (sqrt (+ 1.0 z)))
  (* (+ x y) (- (* 1.0 1.0) (* z z)))
  (+ z 1.0)
  (* (* (+ (pow x 3) (pow y 3)) (sqrt (- (pow 1.0 3) (pow z 3)))) (sqrt (- 1.0 z)))
  (* (sqrt (+ (* 1.0 1.0) (* z (+ z 1.0)))) (+ (* y (- y x)) (* x x)))
  (* (* (+ (pow x 3) (pow y 3)) (sqrt (- (* 1.0 1.0) (* z z)))) (sqrt (- 1.0 z)))
  (* (+ (* y (- y x)) (* x x)) (sqrt (+ 1.0 z)))
  (* (* (- (* x x) (* y y)) (sqrt (- (pow 1.0 3) (pow z 3)))) (sqrt (- 1.0 z)))
  (* (- x y) (sqrt (+ (* 1.0 1.0) (* z (+ z 1.0)))))
  (* (* (- (* x x) (* y y)) (sqrt (- (* 1.0 1.0) (* z z)))) (sqrt (- 1.0 z)))
  (* (- x y) (sqrt (+ 1.0 z)))
  (* (* (+ x y) (sqrt (- 1.0 z))) (* (cbrt (sqrt (- 1.0 z))) (cbrt (sqrt (- 1.0 z)))))
  (* (fabs (cbrt (- 1.0 z))) (* (+ x y) (sqrt (- 1.0 z))))
  (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (sqrt (- 1.0 z))))
  (* (+ x y) (sqrt (- 1.0 z)))
  (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (+ (sqrt 1.0) (sqrt z))))
  (* (+ x y) (sqrt (- 1.0 z)))
  (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (sqrt (- 1.0 z))))
  (* (+ x y) (sqrt (- 1.0 z)))
  (- 1.0 z)
  (* (* (+ x y) (sqrt (- (pow 1.0 3) (pow z 3)))) (sqrt (- 1.0 z)))
  (* (* (+ x y) (sqrt (- (* 1.0 1.0) (* z z)))) (sqrt (- 1.0 z)))
  (* (* (+ (pow x 3) (pow y 3)) (sqrt (- (pow 1.0 3) (pow z 3)))) (sqrt (- 1.0 z)))
  (* (* (+ (pow x 3) (pow y 3)) (sqrt (- (* 1.0 1.0) (* z z)))) (sqrt (- 1.0 z)))
  (* (* (- (* x x) (* y y)) (sqrt (- (pow 1.0 3) (pow z 3)))) (sqrt (- 1.0 z)))
  (* (* (- (* x x) (* y y)) (sqrt (- (* 1.0 1.0) (* z z)))) (sqrt (- 1.0 z)))
  (* (* (+ x y) (sqrt (- (pow 1.0 3) (pow z 3)))) (sqrt (- 1.0 z)))
  (* (* (+ x y) (sqrt (- (* 1.0 1.0) (* z z)))) (sqrt (- 1.0 z)))
  (* (+ (pow x 3) (pow y 3)) (- 1.0 z))
  (* (- (* x x) (* y y)) (- 1.0 z))
  (* (+ x y) (sqrt (- 1.0 z)))
  (log (* (+ x y) (sqrt (- 1.0 z))))
  (log (* (+ x y) (sqrt (- 1.0 z))))
  (exp (* (+ x y) (sqrt (- 1.0 z))))
  (pow (* (+ x y) (sqrt (- 1.0 z))) 3)
  (* (cbrt (* (+ x y) (sqrt (- 1.0 z)))) (cbrt (* (+ x y) (sqrt (- 1.0 z)))))
  (cbrt (* (+ x y) (sqrt (- 1.0 z))))
  (pow (* (+ x y) (sqrt (- 1.0 z))) 3)
  (sqrt (* (+ x y) (sqrt (- 1.0 z))))
  (sqrt (* (+ x y) (sqrt (- 1.0 z))))
  (* (+ (pow x 3) (pow y 3)) (sqrt (- (pow 1.0 3) (pow z 3))))
  (* (sqrt (+ (* 1.0 1.0) (* z (+ z 1.0)))) (+ (* y (- y x)) (* x x)))
  (* (+ (pow x 3) (pow y 3)) (sqrt (- (* 1.0 1.0) (* z z))))
  (* (+ (* y (- y x)) (* x x)) (sqrt (+ 1.0 z)))
  (* (- (* x x) (* y y)) (sqrt (- (pow 1.0 3) (pow z 3))))
  (* (- x y) (sqrt (+ (* 1.0 1.0) (* z (+ z 1.0)))))
  (* (- (* x x) (* y y)) (sqrt (- (* 1.0 1.0) (* z z))))
  (* (- x y) (sqrt (+ 1.0 z)))
  (* (sqrt (+ x y)) (sqrt (sqrt (- 1.0 z))))
  (* (sqrt (+ x y)) (sqrt (sqrt (- 1.0 z))))
  (* (sqrt (+ x y)) (sqrt (sqrt (- 1.0 z))))
  (* (sqrt (+ x y)) (sqrt (sqrt (- 1.0 z))))
  (* (+ x y) (* (cbrt (sqrt (- 1.0 z))) (cbrt (sqrt (- 1.0 z)))))
  (* (+ x y) (fabs (cbrt (- 1.0 z))))
  (* (+ x y) (sqrt (sqrt (- 1.0 z))))
  (+ x y)
  (* (+ x y) (sqrt (+ (sqrt 1.0) (sqrt z))))
  (+ x y)
  (* (+ x y) (sqrt (sqrt (- 1.0 z))))
  (+ x y)
  (* (cbrt (+ x y)) (sqrt (- 1.0 z)))
  (* (sqrt (+ x y)) (sqrt (- 1.0 z)))
  (* (+ x y) (sqrt (- 1.0 z)))
  (* (+ x y) (sqrt (- 1.0 z)))
  (* (+ x y) (sqrt (- (pow 1.0 3) (pow z 3))))
  (* (+ x y) (sqrt (- (* 1.0 1.0) (* z z))))
  (* (+ (pow x 3) (pow y 3)) (sqrt (- 1.0 z)))
  (* (- (* x x) (* y y)) (sqrt (- 1.0 z)))
  (log (sqrt (- 1.0 z)))
  (exp (sqrt (- 1.0 z)))
  (* (cbrt (sqrt (- 1.0 z))) (cbrt (sqrt (- 1.0 z))))
  (cbrt (sqrt (- 1.0 z)))
  (pow (sqrt (- 1.0 z)) 3)
  (fabs (cbrt (- 1.0 z)))
  (sqrt (cbrt (- 1.0 z)))
  (sqrt (sqrt (- 1.0 z)))
  (sqrt (sqrt (- 1.0 z)))
  1
  (sqrt (- 1.0 z))
  (sqrt (+ (sqrt 1.0) (sqrt z)))
  (sqrt (- (sqrt 1.0) (sqrt z)))
  1
  (sqrt (- 1.0 z))
  (sqrt (- (pow 1.0 3) (pow z 3)))
  (sqrt (+ (* 1.0 1.0) (* z (+ z 1.0))))
  (sqrt (- (* 1.0 1.0) (* z z)))
  (sqrt (+ 1.0 z))
  1/2
  (sqrt (sqrt (- 1.0 z)))
  (sqrt (sqrt (- 1.0 z)))
  (log (sqrt (- 1.0 z)))
  (exp (sqrt (- 1.0 z)))
  (* (cbrt (sqrt (- 1.0 z))) (cbrt (sqrt (- 1.0 z))))
  (cbrt (sqrt (- 1.0 z)))
  (pow (sqrt (- 1.0 z)) 3)
  (fabs (cbrt (- 1.0 z)))
  (sqrt (cbrt (- 1.0 z)))
  (sqrt (sqrt (- 1.0 z)))
  (sqrt (sqrt (- 1.0 z)))
  1
  (sqrt (- 1.0 z))
  (sqrt (+ (sqrt 1.0) (sqrt z)))
  (sqrt (- (sqrt 1.0) (sqrt z)))
  1
  (sqrt (- 1.0 z))
  (sqrt (- (pow 1.0 3) (pow z 3)))
  (sqrt (+ (* 1.0 1.0) (* z (+ z 1.0))))
  (sqrt (- (* 1.0 1.0) (* z z)))
  (sqrt (+ 1.0 z))
  1/2
  (sqrt (sqrt (- 1.0 z)))
  (sqrt (sqrt (- 1.0 z)))
  (- (* 1.0 (+ x y)) (* x z))
  (- (* 1.0 y) (* z (+ x y)))
  (- (* 1.0 y) (* z (+ x y)))
  (- (* (sqrt 1.0) (+ x y)) (* 1/2 (/ (* x z) (sqrt 1.0))))
  (- (* +nan.0 (- x (- (/ y z) y))))
  (- (* +nan.0 (- x (- (/ y z) y))))
  (- (sqrt 1.0) (+ (* 1/2 (/ z (sqrt 1.0))) (* 1/8 (/ (pow z 2) (pow (sqrt 1.0) 3)))))
  (- (- (/ +nan.0 (* z z)) +nan.0) (/ +nan.0 z))
  (- (- (/ +nan.0 (* z z)) +nan.0) (/ +nan.0 z))
  (- (sqrt 1.0) (+ (* 1/2 (/ z (sqrt 1.0))) (* 1/8 (/ (pow z 2) (pow (sqrt 1.0) 3)))))
  (- (- (/ +nan.0 (* z z)) +nan.0) (/ +nan.0 z))
  (- (- (/ +nan.0 (* z z)) +nan.0) (/ +nan.0 z))
3.698 * * * [progress]: adding candidates to table
4.004 * [progress]: [Phase 3 of 3] Extracting.
4.004 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (* (+ x y) (- 1.0 z)))> #<alt (λ (x y z) (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (- 1.0 z))))>)
4.005 * * * [regime-changes]: Trying 6 branch expressions: ((- 1.0 z) (+ x y) (* (+ x y) (- 1.0 z)) z y x)
4.005 * * * * [regimes]: Trying to branch on (- 1.0 z) from (#<alt (λ (x y z) (* (+ x y) (- 1.0 z)))> #<alt (λ (x y z) (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (- 1.0 z))))>)
4.016 * * * * [regimes]: Trying to branch on (+ x y) from (#<alt (λ (x y z) (* (+ x y) (- 1.0 z)))> #<alt (λ (x y z) (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (- 1.0 z))))>)
4.028 * * * * [regimes]: Trying to branch on (* (+ x y) (- 1.0 z)) from (#<alt (λ (x y z) (* (+ x y) (- 1.0 z)))> #<alt (λ (x y z) (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (- 1.0 z))))>)
4.043 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (* (+ x y) (- 1.0 z)))> #<alt (λ (x y z) (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (- 1.0 z))))>)
4.055 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (* (+ x y) (- 1.0 z)))> #<alt (λ (x y z) (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (- 1.0 z))))>)
4.069 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (* (+ x y) (- 1.0 z)))> #<alt (λ (x y z) (* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (- 1.0 z))))>)
4.081 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
4.082 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (+ x y) (- 1.0 z))
4.082 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
4.082 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
4.083 * * [simplify]: iteration  done :  9  enodes  (cost  7 )
4.083 * [simplify]: Simplified to:
   (* (+ x y) (- 1.0 z))
4.568 * [regime-testing]: Baseline error score: 0.016002000250031255
4.569 * [regime-testing]: Oracle error score: 0.01062632829103638
4.570 * [regime-testing]: End program error score: 0.016002000250031255